About the Execution of smart for HypercubeGrid-PT-C3K4P4B12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.040 | 3600000.00 | 3586030.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r093-oct2-158940140300256.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is HypercubeGrid-PT-C3K4P4B12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140300256
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 4.7K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.4K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 10 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rwxr-xr-x 1 mcc users 1.3M Apr 27 15:14 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1589613906010
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypercubeGrid (PT), instance C3K4P4B12
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 1408 places, 2400 transitions, 9600 arcs.
AT ITER 0 NEW BEST:: SOT 1859212 SOS 340389 HAS SOPS 340389 HAS SOUS 163880 HAS SOUPS 163880 WITH SCORE 164220.389
AT ITER 28 NEW BEST:: SOT 1859212 SOS 340124 HAS SOPS 340124 HAS SOUS 163827 HAS SOUPS 163827 WITH SCORE 164167.124
AT ITER 43 NEW BEST:: SOT 1859027 SOS 339902 HAS SOPS 339902 HAS SOUS 163605 HAS SOUPS 163605 WITH SCORE 163944.902
AT ITER 77 NEW BEST:: SOT 1858999 SOS 339642 HAS SOPS 339642 HAS SOUS 163605 HAS SOUPS 163605 WITH SCORE 163944.642
AT ITER 121 NEW BEST:: SOT 1858775 SOS 339418 HAS SOPS 339418 HAS SOUS 163381 HAS SOUPS 163381 WITH SCORE 163720.418
AT ITER 142 NEW BEST:: SOT 1858430 SOS 338665 HAS SOPS 338665 HAS SOUS 162904 HAS SOUPS 162904 WITH SCORE 163242.665
AT ITER 216 NEW BEST:: SOT 1858390 SOS 338617 HAS SOPS 338617 HAS SOUS 162828 HAS SOUPS 162828 WITH SCORE 163166.617
AT ITER 233 NEW BEST:: SOT 1858110 SOS 338281 HAS SOPS 338281 HAS SOUS 162456 HAS SOUPS 162456 WITH SCORE 162794.281
AT ITER 242 NEW BEST:: SOT 1858110 SOS 338239 HAS SOPS 338239 HAS SOUS 162362 HAS SOUPS 162362 WITH SCORE 162700.239
AT ITER 277 NEW BEST:: SOT 1858110 SOS 338307 HAS SOPS 338307 HAS SOUS 162304 HAS SOUPS 162304 WITH SCORE 162642.307
AT ITER 332 NEW BEST:: SOT 1858110 SOS 337947 HAS SOPS 337947 HAS SOUS 162184 HAS SOUPS 162184 WITH SCORE 162521.947
AT ITER 366 NEW BEST:: SOT 1858110 SOS 337920 HAS SOPS 337920 HAS SOUS 162157 HAS SOUPS 162157 WITH SCORE 162494.92
AT ITER 369 NEW BEST:: SOT 1858100 SOS 337900 HAS SOPS 337900 HAS SOUS 162137 HAS SOUPS 162137 WITH SCORE 162474.9
AT ITER 370 NEW BEST:: SOT 1857825 SOS 337570 HAS SOPS 337570 HAS SOUS 161755 HAS SOUPS 161755 WITH SCORE 162092.57
AT ITER 390 NEW BEST:: SOT 1857825 SOS 337526 HAS SOPS 337526 HAS SOUS 161575 HAS SOUPS 161575 WITH SCORE 161912.526
AT ITER 393 NEW BEST:: SOT 1857825 SOS 337526 HAS SOPS 337526 HAS SOUS 161542 HAS SOUPS 161542 WITH SCORE 161879.526
AT ITER 454 NEW BEST:: SOT 1857655 SOS 337186 HAS SOPS 337186 HAS SOUS 161338 HAS SOUPS 161338 WITH SCORE 161675.186
AT ITER 479 NEW BEST:: SOT 1857655 SOS 337298 HAS SOPS 337298 HAS SOUS 161294 HAS SOUPS 161294 WITH SCORE 161631.298
AT ITER 513 NEW BEST:: SOT 1857455 SOS 336858 HAS SOPS 336858 HAS SOUS 161014 HAS SOUPS 161014 WITH SCORE 161350.858
AT ITER 554 NEW BEST:: SOT 1857430 SOS 336828 HAS SOPS 336828 HAS SOUS 160984 HAS SOUPS 160984 WITH SCORE 161320.828
AT ITER 566 NEW BEST:: SOT 1857516 SOS 337000 HAS SOPS 337000 HAS SOUS 160937 HAS SOUPS 160937 WITH SCORE 161274.0
AT ITER 568 NEW BEST:: SOT 1857509 SOS 336993 HAS SOPS 336993 HAS SOUS 160937 HAS SOUPS 160937 WITH SCORE 161273.993
AT ITER 675 NEW BEST:: SOT 1857509 SOS 336653 HAS SOPS 336653 HAS SOUS 160869 HAS SOUPS 160869 WITH SCORE 161205.653
AT ITER 689 NEW BEST:: SOT 1857509 SOS 336491 HAS SOPS 336491 HAS SOUS 160815 HAS SOUPS 160815 WITH SCORE 161151.491
AT ITER 703 NEW BEST:: SOT 1857209 SOS 336131 HAS SOPS 336131 HAS SOUS 160455 HAS SOUPS 160455 WITH SCORE 160791.131
AT ITER 771 NEW BEST:: SOT 1857164 SOS 336041 HAS SOPS 336041 HAS SOUS 160401 HAS SOUPS 160401 WITH SCORE 160737.041
AT ITER 788 NEW BEST:: SOT 1857151 SOS 335963 HAS SOPS 335963 HAS SOUS 160375 HAS SOUPS 160375 WITH SCORE 160710.963
AT ITER 822 NEW BEST:: SOT 1857116 SOS 335893 HAS SOPS 335893 HAS SOUS 160305 HAS SOUPS 160305 WITH SCORE 160640.893
AT ITER 826 NEW BEST:: SOT 1857065 SOS 335541 HAS SOPS 335541 HAS SOUS 160153 HAS SOUPS 160153 WITH SCORE 160488.541
AT ITER 861 NEW BEST:: SOT 1857019 SOS 335265 HAS SOPS 335265 HAS SOUS 160061 HAS SOUPS 160061 WITH SCORE 160396.265
AT ITER 881 NEW BEST:: SOT 1856969 SOS 335165 HAS SOPS 335165 HAS SOUS 159751 HAS SOUPS 159751 WITH SCORE 160086.165
AT ITER 931 NEW BEST:: SOT 1856625 SOS 334477 HAS SOPS 334477 HAS SOUS 159441 HAS SOUPS 159441 WITH SCORE 159775.477
AT ITER 965 NEW BEST:: SOT 1856578 SOS 334148 HAS SOPS 334148 HAS SOUS 159300 HAS SOUPS 159300 WITH SCORE 159634.148
AT ITER 975 NEW BEST:: SOT 1856578 SOS 334134 HAS SOPS 334134 HAS SOUS 159286 HAS SOUPS 159286 WITH SCORE 159620.134
AT ITER 985 NEW BEST:: SOT 1856234 SOS 333446 HAS SOPS 333446 HAS SOUS 159041 HAS SOUPS 159041 WITH SCORE 159374.446
AT ITER 1077 NEW BEST:: SOT 1856159 SOS 332996 HAS SOPS 332996 HAS SOUS 158891 HAS SOUPS 158891 WITH SCORE 159223.996
AT ITER 1100 NEW BEST:: SOT 1855955 SOS 332588 HAS SOPS 332588 HAS SOUS 158747 HAS SOUPS 158747 WITH SCORE 159079.588
AT ITER 1125 NEW BEST:: SOT 1855805 SOS 332438 HAS SOPS 332438 HAS SOUS 158597 HAS SOUPS 158597 WITH SCORE 158929.438
AT ITER 1126 NEW BEST:: SOT 1855555 SOS 332138 HAS SOPS 332138 HAS SOUS 158297 HAS SOUPS 158297 WITH SCORE 158629.138
AT ITER 1171 NEW BEST:: SOT 1855494 SOS 332077 HAS SOPS 332077 HAS SOUS 158236 HAS SOUPS 158236 WITH SCORE 158568.077
AT ITER 1193 NEW BEST:: SOT 1855501 SOS 331929 HAS SOPS 331929 HAS SOUS 158212 HAS SOUPS 158212 WITH SCORE 158543.929
AT ITER 1209 NEW BEST:: SOT 1855361 SOS 331789 HAS SOPS 331789 HAS SOUS 158072 HAS SOUPS 158072 WITH SCORE 158403.789
AT ITER 1225 NEW BEST:: SOT 1855308 SOS 331683 HAS SOPS 331683 HAS SOUS 157862 HAS SOUPS 157862 WITH SCORE 158193.683
AT ITER 1241 NEW BEST:: SOT 1855213 SOS 331600 HAS SOPS 331600 HAS SOUS 157779 HAS SOUPS 157779 WITH SCORE 158110.6
AT ITER 1267 NEW BEST:: SOT 1855145 SOS 331192 HAS SOPS 331192 HAS SOUS 157643 HAS SOUPS 157643 WITH SCORE 157974.192
AT ITER 1499 NEW BEST:: SOT 1855140 SOS 331186 HAS SOPS 331186 HAS SOUS 157637 HAS SOUPS 157637 WITH SCORE 157968.186
AT ITER 1522 NEW BEST:: SOT 1855095 SOS 331096 HAS SOPS 331096 HAS SOUS 157547 HAS SOUPS 157547 WITH SCORE 157878.096
AT ITER 1538 NEW BEST:: SOT 1855075 SOS 331052 HAS SOPS 331052 HAS SOUS 157519 HAS SOUPS 157519 WITH SCORE 157850.052
AT ITER 1568 NEW BEST:: SOT 1855075 SOS 331068 HAS SOPS 331068 HAS SOUS 157499 HAS SOUPS 157499 WITH SCORE 157830.068
AT ITER 1630 NEW BEST:: SOT 1855015 SOS 330940 HAS SOPS 330940 HAS SOUS 157438 HAS SOUPS 157438 WITH SCORE 157768.94
AT ITER 1639 NEW BEST:: SOT 1854957 SOS 330824 HAS SOPS 330824 HAS SOUS 157223 HAS SOUPS 157223 WITH SCORE 157553.824
AT ITER 1669 NEW BEST:: SOT 1854948 SOS 330806 HAS SOPS 330806 HAS SOUS 157205 HAS SOUPS 157205 WITH SCORE 157535.806
AT ITER 1700 NEW BEST:: SOT 1854940 SOS 330798 HAS SOPS 330798 HAS SOUS 157197 HAS SOUPS 157197 WITH SCORE 157527.798
AT ITER 1717 NEW BEST:: SOT 1854900 SOS 330704 HAS SOPS 330704 HAS SOUS 157115 HAS SOUPS 157115 WITH SCORE 157445.704
AT ITER 1727 NEW BEST:: SOT 1854900 SOS 330704 HAS SOPS 330704 HAS SOUS 157063 HAS SOUPS 157063 WITH SCORE 157393.704
AT ITER 1779 NEW BEST:: SOT 1854885 SOS 330349 HAS SOPS 330349 HAS SOUS 156984 HAS SOUPS 156984 WITH SCORE 157314.349
AT ITER 1819 NEW BEST:: SOT 1854540 SOS 329606 HAS SOPS 329606 HAS SOUS 156586 HAS SOUPS 156586 WITH SCORE 156915.606
AT ITER 1824 NEW BEST:: SOT 1854536 SOS 329598 HAS SOPS 329598 HAS SOUS 156578 HAS SOUPS 156578 WITH SCORE 156907.598
AT ITER 1881 NEW BEST:: SOT 1854436 SOS 329498 HAS SOPS 329498 HAS SOUS 156478 HAS SOUPS 156478 WITH SCORE 156807.498
AT ITER 1890 NEW BEST:: SOT 1854436 SOS 329523 HAS SOPS 329523 HAS SOUS 156447 HAS SOUPS 156447 WITH SCORE 156776.523
AT ITER 1901 NEW BEST:: SOT 1854436 SOS 329523 HAS SOPS 329523 HAS SOUS 156419 HAS SOUPS 156419 WITH SCORE 156748.523
AT ITER 1910 NEW BEST:: SOT 1854372 SOS 329139 HAS SOPS 329139 HAS SOUS 156291 HAS SOUPS 156291 WITH SCORE 156620.139
AT ITER 1918 NEW BEST:: SOT 1854372 SOS 328509 HAS SOPS 328509 HAS SOUS 156081 HAS SOUPS 156081 WITH SCORE 156409.509
AT ITER 1936 NEW BEST:: SOT 1854330 SOS 328425 HAS SOPS 328425 HAS SOUS 155945 HAS SOUPS 155945 WITH SCORE 156273.425
AT ITER 1984 NEW BEST:: SOT 1854329 SOS 328419 HAS SOPS 328419 HAS SOUS 155943 HAS SOUPS 155943 WITH SCORE 156271.419
AT ITER 2048 NEW BEST:: SOT 1854263 SOS 328023 HAS SOPS 328023 HAS SOUS 155811 HAS SOUPS 155811 WITH SCORE 156139.023
AT ITER 2061 NEW BEST:: SOT 1854306 SOS 328066 HAS SOPS 328066 HAS SOUS 155721 HAS SOUPS 155721 WITH SCORE 156049.066
AT ITER 2089 NEW BEST:: SOT 1854306 SOS 327860 HAS SOPS 327860 HAS SOUS 155695 HAS SOUPS 155695 WITH SCORE 156022.86
AT ITER 2119 NEW BEST:: SOT 1854295 SOS 327794 HAS SOPS 327794 HAS SOUS 155673 HAS SOUPS 155673 WITH SCORE 156000.794
AT ITER 2157 NEW BEST:: SOT 1854341 SOS 327886 HAS SOPS 327886 HAS SOUS 155557 HAS SOUPS 155557 WITH SCORE 155884.886
AT ITER 2186 NEW BEST:: SOT 1854341 SOS 327865 HAS SOPS 327865 HAS SOUS 155514 HAS SOUPS 155514 WITH SCORE 155841.865
AT ITER 2187 NEW BEST:: SOT 1854341 SOS 327547 HAS SOPS 327547 HAS SOUS 155472 HAS SOUPS 155472 WITH SCORE 155799.547
AT ITER 2194 NEW BEST:: SOT 1854341 SOS 327415 HAS SOPS 327415 HAS SOUS 155428 HAS SOUPS 155428 WITH SCORE 155755.415
AT ITER 2197 NEW BEST:: SOT 1854218 SOS 327305 HAS SOPS 327305 HAS SOUS 155346 HAS SOUPS 155346 WITH SCORE 155673.305
AT ITER 2229 NEW BEST:: SOT 1854218 SOS 327437 HAS SOPS 327437 HAS SOUS 155242 HAS SOUPS 155242 WITH SCORE 155569.437
AT ITER 2296 NEW BEST:: SOT 1854177 SOS 327150 HAS SOPS 327150 HAS SOUS 155119 HAS SOUPS 155119 WITH SCORE 155446.15
AT ITER 2312 NEW BEST:: SOT 1854148 SOS 326959 HAS SOPS 326959 HAS SOUS 155036 HAS SOUPS 155036 WITH SCORE 155362.959
AT ITER 2313 NEW BEST:: SOT 1853894 SOS 326727 HAS SOPS 326727 HAS SOUS 154804 HAS SOUPS 154804 WITH SCORE 155130.727
AT ITER 2332 NEW BEST:: SOT 1853890 SOS 326719 HAS SOPS 326719 HAS SOUS 154796 HAS SOUPS 154796 WITH SCORE 155122.719
AT ITER 2344 NEW BEST:: SOT 1853885 SOS 326714 HAS SOPS 326714 HAS SOUS 154791 HAS SOUPS 154791 WITH SCORE 155117.714
AT ITER 2353 NEW BEST:: SOT 1853575 SOS 326342 HAS SOPS 326342 HAS SOUS 154231 HAS SOUPS 154231 WITH SCORE 154557.342
AT ITER 2358 NEW BEST:: SOT 1853353 SOS 325898 HAS SOPS 325898 HAS SOUS 154115 HAS SOUPS 154115 WITH SCORE 154440.898
AT ITER 2369 NEW BEST:: SOT 1853188 SOS 325540 HAS SOPS 325540 HAS SOUS 153917 HAS SOUPS 153917 WITH SCORE 154242.54
AT ITER 2373 NEW BEST:: SOT 1853183 SOS 325491 HAS SOPS 325491 HAS SOUS 153888 HAS SOUPS 153888 WITH SCORE 154213.491
AT ITER 2380 NEW BEST:: SOT 1853183 SOS 325566 HAS SOPS 325566 HAS SOUS 153879 HAS SOUPS 153879 WITH SCORE 154204.566
AT ITER 2412 NEW BEST:: SOT 1853177 SOS 325524 HAS SOPS 325524 HAS SOUS 153861 HAS SOUPS 153861 WITH SCORE 154186.524
AT ITER 2457 NEW BEST:: SOT 1853113 SOS 325140 HAS SOPS 325140 HAS SOUS 153733 HAS SOUPS 153733 WITH SCORE 154058.14
AT ITER 2512 NEW BEST:: SOT 1853069 SOS 325052 HAS SOPS 325052 HAS SOUS 153597 HAS SOUPS 153597 WITH SCORE 153922.052
AT ITER 2535 NEW BEST:: SOT 1853057 SOS 325028 HAS SOPS 325028 HAS SOUS 153573 HAS SOUPS 153573 WITH SCORE 153898.028
AT ITER 2542 NEW BEST:: SOT 1853057 SOS 325005 HAS SOPS 325005 HAS SOUS 153550 HAS SOUPS 153550 WITH SCORE 153875.005
AT ITER 2636 NEW BEST:: SOT 1853057 SOS 325005 HAS SOPS 325005 HAS SOUS 153548 HAS SOUPS 153548 WITH SCORE 153873.005
AT ITER 2640 NEW BEST:: SOT 1853034 SOS 324867 HAS SOPS 324867 HAS SOUS 153502 HAS SOUPS 153502 WITH SCORE 153826.867
AT ITER 2789 NEW BEST:: SOT 1853034 SOS 325079 HAS SOPS 325079 HAS SOUS 153490 HAS SOUPS 153490 WITH SCORE 153815.079
AT ITER 2948 NEW BEST:: SOT 1852724 SOS 324707 HAS SOPS 324707 HAS SOUS 152890 HAS SOUPS 152890 WITH SCORE 153214.707
AT ITER 2962 NEW BEST:: SOT 1852659 SOS 324643 HAS SOPS 324643 HAS SOUS 152830 HAS SOUPS 152830 WITH SCORE 153154.643
AT ITER 2967 NEW BEST:: SOT 1852579 SOS 324483 HAS SOPS 324483 HAS SOUS 152734 HAS SOUPS 152734 WITH SCORE 153058.483
AT ITER 2977 NEW BEST:: SOT 1852579 SOS 324483 HAS SOPS 324483 HAS SOUS 152721 HAS SOUPS 152721 WITH SCORE 153045.483
AT ITER 3016 NEW BEST:: SOT 1852204 SOS 323673 HAS SOPS 323673 HAS SOUS 152333 HAS SOUPS 152333 WITH SCORE 152656.673
AT ITER 3034 NEW BEST:: SOT 1852187 SOS 323656 HAS SOPS 323656 HAS SOUS 152316 HAS SOUPS 152316 WITH SCORE 152639.656
AT ITER 3086 NEW BEST:: SOT 1852152 SOS 323529 HAS SOPS 323529 HAS SOUS 152257 HAS SOUPS 152257 WITH SCORE 152580.529
AT ITER 3106 NEW BEST:: SOT 1852112 SOS 323489 HAS SOPS 323489 HAS SOUS 152217 HAS SOUPS 152217 WITH SCORE 152540.489
AT ITER 3125 NEW BEST:: SOT 1852112 SOS 323225 HAS SOPS 323225 HAS SOUS 152129 HAS SOUPS 152129 WITH SCORE 152452.225
AT ITER 3157 NEW BEST:: SOT 1852098 SOS 323211 HAS SOPS 323211 HAS SOUS 152115 HAS SOUPS 152115 WITH SCORE 152438.211
AT ITER 3217 NEW BEST:: SOT 1852098 SOS 323196 HAS SOPS 323196 HAS SOUS 152100 HAS SOUPS 152100 WITH SCORE 152423.196
AT ITER 3222 NEW BEST:: SOT 1852140 SOS 323238 HAS SOPS 323238 HAS SOUS 151992 HAS SOUPS 151992 WITH SCORE 152315.238
AT ITER 3233 NEW BEST:: SOT 1852127 SOS 323147 HAS SOPS 323147 HAS SOUS 151953 HAS SOUPS 151953 WITH SCORE 152276.147
AT ITER 3297 NEW BEST:: SOT 1852127 SOS 323087 HAS SOPS 323087 HAS SOUS 151933 HAS SOUPS 151933 WITH SCORE 152256.087
AT ITER 3306 NEW BEST:: SOT 1851837 SOS 322739 HAS SOPS 322739 HAS SOUS 151469 HAS SOUPS 151469 WITH SCORE 151791.739
AT ITER 3343 NEW BEST:: SOT 1851862 SOS 322695 HAS SOPS 322695 HAS SOUS 151425 HAS SOUPS 151425 WITH SCORE 151747.695
AT ITER 3344 NEW BEST:: SOT 1851862 SOS 322695 HAS SOPS 322695 HAS SOUS 151309 HAS SOUPS 151309 WITH SCORE 151631.695
AT ITER 3350 NEW BEST:: SOT 1851862 SOS 322650 HAS SOPS 322650 HAS SOUS 151300 HAS SOUPS 151300 WITH SCORE 151622.65
AT ITER 3358 NEW BEST:: SOT 1851846 SOS 322634 HAS SOPS 322634 HAS SOUS 151284 HAS SOUPS 151284 WITH SCORE 151606.634
AT ITER 3361 NEW BEST:: SOT 1851724 SOS 322514 HAS SOPS 322514 HAS SOUS 151164 HAS SOUPS 151164 WITH SCORE 151486.514
AT ITER 3389 NEW BEST:: SOT 1851724 SOS 322389 HAS SOPS 322389 HAS SOUS 151139 HAS SOUPS 151139 WITH SCORE 151461.389
AT ITER 3391 NEW BEST:: SOT 1851682 SOS 322350 HAS SOPS 322350 HAS SOUS 151064 HAS SOUPS 151064 WITH SCORE 151386.35
AT ITER 3393 NEW BEST:: SOT 1851744 SOS 322398 HAS SOPS 322398 HAS SOUS 151044 HAS SOUPS 151044 WITH SCORE 151366.398
AT ITER 3409 NEW BEST:: SOT 1851632 SOS 322286 HAS SOPS 322286 HAS SOUS 150932 HAS SOUPS 150932 WITH SCORE 151254.286
AT ITER 3418 NEW BEST:: SOT 1851626 SOS 322256 HAS SOPS 322256 HAS SOUS 150918 HAS SOUPS 150918 WITH SCORE 151240.256
AT ITER 3504 NEW BEST:: SOT 1851581 SOS 322211 HAS SOPS 322211 HAS SOUS 150863 HAS SOUPS 150863 WITH SCORE 151185.211
AT ITER 3555 NEW BEST:: SOT 1851581 SOS 322211 HAS SOPS 322211 HAS SOUS 150853 HAS SOUPS 150853 WITH SCORE 151175.211
AT ITER 3578 NEW BEST:: SOT 1851453 SOS 322083 HAS SOPS 322083 HAS SOUS 150725 HAS SOUPS 150725 WITH SCORE 151047.083
AT ITER 3645 NEW BEST:: SOT 1851430 SOS 321945 HAS SOPS 321945 HAS SOUS 150679 HAS SOUPS 150679 WITH SCORE 151000.945
AT ITER 3650 NEW BEST:: SOT 1851422 SOS 321592 HAS SOPS 321592 HAS SOUS 150626 HAS SOUPS 150626 WITH SCORE 150947.592
AT ITER 3653 NEW BEST:: SOT 1851421 SOS 321590 HAS SOPS 321590 HAS SOUS 150624 HAS SOUPS 150624 WITH SCORE 150945.59
AT ITER 3725 NEW BEST:: SOT 1851386 SOS 321555 HAS SOPS 321555 HAS SOUS 150542 HAS SOUPS 150542 WITH SCORE 150863.555
AT ITER 3755 NEW BEST:: SOT 1851386 SOS 321655 HAS SOPS 321655 HAS SOUS 150486 HAS SOUPS 150486 WITH SCORE 150807.655
AT ITER 3774 NEW BEST:: SOT 1851377 SOS 321646 HAS SOPS 321646 HAS SOUS 150468 HAS SOUPS 150468 WITH SCORE 150789.646
AT ITER 3871 NEW BEST:: SOT 1851277 SOS 321546 HAS SOPS 321546 HAS SOUS 150368 HAS SOUPS 150368 WITH SCORE 150689.546
AT ITER 3897 NEW BEST:: SOT 1851266 SOS 321535 HAS SOPS 321535 HAS SOUS 150358 HAS SOUPS 150358 WITH SCORE 150679.535
AT ITER 3900 NEW BEST:: SOT 1851253 SOS 321509 HAS SOPS 321509 HAS SOUS 150288 HAS SOUPS 150288 WITH SCORE 150609.509
AT ITER 3906 NEW BEST:: SOT 1851225 SOS 321453 HAS SOPS 321453 HAS SOUS 150232 HAS SOUPS 150232 WITH SCORE 150553.453
AT ITER 3907 NEW BEST:: SOT 1851225 SOS 321452 HAS SOPS 321452 HAS SOUS 150226 HAS SOUPS 150226 WITH SCORE 150547.452
AT ITER 3946 NEW BEST:: SOT 1851175 SOS 321102 HAS SOPS 321102 HAS SOUS 150076 HAS SOUPS 150076 WITH SCORE 150397.102
AT ITER 3984 NEW BEST:: SOT 1851150 SOS 320927 HAS SOPS 320927 HAS SOUS 150001 HAS SOUPS 150001 WITH SCORE 150321.927
AT ITER 3988 NEW BEST:: SOT 1851134 SOS 320831 HAS SOPS 320831 HAS SOUS 149969 HAS SOUPS 149969 WITH SCORE 150289.831
AT ITER 4000 NEW BEST:: SOT 1850958 SOS 320655 HAS SOPS 320655 HAS SOUS 149793 HAS SOUPS 149793 WITH SCORE 150113.655
AT ITER 4043 NEW BEST:: SOT 1850958 SOS 320455 HAS SOPS 320455 HAS SOUS 149753 HAS SOUPS 149753 WITH SCORE 150073.455
AT ITER 4067 NEW BEST:: SOT 1850723 SOS 320173 HAS SOPS 320173 HAS SOUS 149471 HAS SOUPS 149471 WITH SCORE 149791.173
AT ITER 4086 NEW BEST:: SOT 1850683 SOS 320085 HAS SOPS 320085 HAS SOUS 149415 HAS SOUPS 149415 WITH SCORE 149735.085
AT ITER 4102 NEW BEST:: SOT 1850675 SOS 319717 HAS SOPS 319717 HAS SOUS 149347 HAS SOUPS 149347 WITH SCORE 149666.717
AT ITER 4138 NEW BEST:: SOT 1850675 SOS 319717 HAS SOPS 319717 HAS SOUS 149320 HAS SOUPS 149320 WITH SCORE 149639.717
AT ITER 4144 NEW BEST:: SOT 1850656 SOS 319284 HAS SOPS 319284 HAS SOUS 149163 HAS SOUPS 149163 WITH SCORE 149482.284
AT ITER 4155 NEW BEST:: SOT 1850638 SOS 319038 HAS SOPS 319038 HAS SOUS 149159 HAS SOUPS 149159 WITH SCORE 149478.038
AT ITER 4190 NEW BEST:: SOT 1850528 SOS 318818 HAS SOPS 318818 HAS SOUS 149027 HAS SOUPS 149027 WITH SCORE 149345.818
AT ITER 4202 NEW BEST:: SOT 1850473 SOS 318708 HAS SOPS 318708 HAS SOUS 148961 HAS SOUPS 148961 WITH SCORE 149279.708
AT ITER 4208 NEW BEST:: SOT 1850504 SOS 318694 HAS SOPS 318694 HAS SOUS 148947 HAS SOUPS 148947 WITH SCORE 149265.694
AT ITER 4227 NEW BEST:: SOT 1850506 SOS 318671 HAS SOPS 318671 HAS SOUS 148944 HAS SOUPS 148944 WITH SCORE 149262.671
AT ITER 4314 NEW BEST:: SOT 1850505 SOS 318664 HAS SOPS 318664 HAS SOUS 148941 HAS SOUPS 148941 WITH SCORE 149259.664
AT ITER 4339 NEW BEST:: SOT 1850505 SOS 318541 HAS SOPS 318541 HAS SOUS 148926 HAS SOUPS 148926 WITH SCORE 149244.541
AT ITER 4374 NEW BEST:: SOT 1850419 SOS 318465 HAS SOPS 318465 HAS SOUS 148890 HAS SOUPS 148890 WITH SCORE 149208.465
AT ITER 4406 NEW BEST:: SOT 1850379 SOS 318245 HAS SOPS 318245 HAS SOUS 148870 HAS SOUPS 148870 WITH SCORE 149188.245
AT ITER 4470 NEW BEST:: SOT 1850386 SOS 317943 HAS SOPS 317943 HAS SOUS 148844 HAS SOUPS 148844 WITH SCORE 149161.943
AT ITER 4481 NEW BEST:: SOT 1850350 SOS 317691 HAS SOPS 317691 HAS SOUS 148736 HAS SOUPS 148736 WITH SCORE 149053.691
AT ITER 4557 NEW BEST:: SOT 1850334 SOS 317675 HAS SOPS 317675 HAS SOUS 148670 HAS SOUPS 148670 WITH SCORE 148987.675
AT ITER 4568 NEW BEST:: SOT 1850304 SOS 317730 HAS SOPS 317730 HAS SOUS 148657 HAS SOUPS 148657 WITH SCORE 148974.73
AT ITER 4585 NEW BEST:: SOT 1850293 SOS 317653 HAS SOPS 317653 HAS SOUS 148624 HAS SOUPS 148624 WITH SCORE 148941.653
AT ITER 4603 NEW BEST:: SOT 1850293 SOS 317587 HAS SOPS 317587 HAS SOUS 148602 HAS SOUPS 148602 WITH SCORE 148919.587
AT ITER 4641 NEW BEST:: SOT 1850293 SOS 317723 HAS SOPS 317723 HAS SOUS 148514 HAS SOUPS 148514 WITH SCORE 148831.723
AT ITER 4681 NEW BEST:: SOT 1850293 SOS 317711 HAS SOPS 317711 HAS SOUS 148514 HAS SOUPS 148514 WITH SCORE 148831.711
AT ITER 4795 NEW BEST:: SOT 1850247 SOS 317435 HAS SOPS 317435 HAS SOUS 148422 HAS SOUPS 148422 WITH SCORE 148739.435
AT ITER 4847 NEW BEST:: SOT 1850207 SOS 317395 HAS SOPS 317395 HAS SOUS 148382 HAS SOUPS 148382 WITH SCORE 148699.395
AT ITER 4852 NEW BEST:: SOT 1850187 SOS 317275 HAS SOPS 317275 HAS SOUS 148342 HAS SOUPS 148342 WITH SCORE 148659.275
AT ITER 4871 NEW BEST:: SOT 1850135 SOS 316963 HAS SOPS 316963 HAS SOUS 148238 HAS SOUPS 148238 WITH SCORE 148554.963
AT ITER 4907 NEW BEST:: SOT 1850015 SOS 316843 HAS SOPS 316843 HAS SOUS 148118 HAS SOUPS 148118 WITH SCORE 148434.843
AT ITER 4927 NEW BEST:: SOT 1849961 SOS 316735 HAS SOPS 316735 HAS SOUS 148010 HAS SOUPS 148010 WITH SCORE 148326.735
AT ITER 4978 NEW BEST:: SOT 1849961 SOS 316607 HAS SOPS 316607 HAS SOUS 147998 HAS SOUPS 147998 WITH SCORE 148314.607
AT ITER 4998 NEW BEST:: SOT 1849961 SOS 316607 HAS SOPS 316607 HAS SOUS 147946 HAS SOUPS 147946 WITH SCORE 148262.607
AT ITER 5053 NEW BEST:: SOT 1849786 SOS 316397 HAS SOPS 316397 HAS SOUS 147717 HAS SOUPS 147717 WITH SCORE 148033.397
AT ITER 5103 NEW BEST:: SOT 1849785 SOS 316396 HAS SOPS 316396 HAS SOUS 147717 HAS SOUPS 147717 WITH SCORE 148033.396
AT ITER 5115 NEW BEST:: SOT 1849740 SOS 316221 HAS SOPS 316221 HAS SOUS 147610 HAS SOUPS 147610 WITH SCORE 147926.221
AT ITER 5154 NEW BEST:: SOT 1849740 SOS 316241 HAS SOPS 316241 HAS SOUS 147598 HAS SOUPS 147598 WITH SCORE 147914.241
AT ITER 5280 NEW BEST:: SOT 1849740 SOS 316066 HAS SOPS 316066 HAS SOUS 147571 HAS SOUPS 147571 WITH SCORE 147887.066
AT ITER 5290 NEW BEST:: SOT 1849816 SOS 316218 HAS SOPS 316218 HAS SOUS 147559 HAS SOUPS 147559 WITH SCORE 147875.218
AT ITER 5298 NEW BEST:: SOT 1849651 SOS 316020 HAS SOPS 316020 HAS SOUS 147209 HAS SOUPS 147209 WITH SCORE 147525.02
AT ITER 5311 NEW BEST:: SOT 1849649 SOS 316006 HAS SOPS 316006 HAS SOUS 147203 HAS SOUPS 147203 WITH SCORE 147519.006
AT ITER 5320 NEW BEST:: SOT 1849635 SOS 315922 HAS SOPS 315922 HAS SOUS 147175 HAS SOUPS 147175 WITH SCORE 147490.922
AT ITER 5407 NEW BEST:: SOT 1849495 SOS 315642 HAS SOPS 315642 HAS SOUS 147007 HAS SOUPS 147007 WITH SCORE 147322.642
AT ITER 5429 NEW BEST:: SOT 1849458 SOS 315383 HAS SOPS 315383 HAS SOUS 146896 HAS SOUPS 146896 WITH SCORE 147211.383
AT ITER 5543 NEW BEST:: SOT 1849443 SOS 315278 HAS SOPS 315278 HAS SOUS 146851 HAS SOUPS 146851 WITH SCORE 147166.278
AT ITER 5595 NEW BEST:: SOT 1849448 SOS 315283 HAS SOPS 315283 HAS SOUS 146841 HAS SOUPS 146841 WITH SCORE 147156.283
AT ITER 5618 NEW BEST:: SOT 1849439 SOS 315229 HAS SOPS 315229 HAS SOUS 146823 HAS SOUPS 146823 WITH SCORE 147138.229
AT ITER 5674 NEW BEST:: SOT 1849439 SOS 315172 HAS SOPS 315172 HAS SOUS 146714 HAS SOUPS 146714 WITH SCORE 147029.172
AT ITER 5750 NEW BEST:: SOT 1849434 SOS 315061 HAS SOPS 315061 HAS SOUS 146699 HAS SOUPS 146699 WITH SCORE 147014.061
AT ITER 5760 NEW BEST:: SOT 1849401 SOS 315028 HAS SOPS 315028 HAS SOUS 146671 HAS SOUPS 146671 WITH SCORE 146986.028
AT ITER 5853 NEW BEST:: SOT 1849350 SOS 315022 HAS SOPS 315022 HAS SOUS 146629 HAS SOUPS 146629 WITH SCORE 146944.022
AT ITER 5881 NEW BEST:: SOT 1849295 SOS 314623 HAS SOPS 314623 HAS SOUS 146450 HAS SOUPS 146450 WITH SCORE 146764.623
AT ITER 5905 NEW BEST:: SOT 1849295 SOS 314513 HAS SOPS 314513 HAS SOUS 146428 HAS SOUPS 146428 WITH SCORE 146742.513
AT ITER 5952 NEW BEST:: SOT 1849175 SOS 314362 HAS SOPS 314362 HAS SOUS 146353 HAS SOUPS 146353 WITH SCORE 146667.362
AT ITER 5977 NEW BEST:: SOT 1849274 SOS 314616 HAS SOPS 314616 HAS SOUS 146123 HAS SOUPS 146123 WITH SCORE 146437.616
AT ITER 5991 NEW BEST:: SOT 1849269 SOS 314606 HAS SOPS 314606 HAS SOUS 146117 HAS SOUPS 146117 WITH SCORE 146431.606
AT ITER 5998 NEW BEST:: SOT 1849303 SOS 314640 HAS SOPS 314640 HAS SOUS 146107 HAS SOUPS 146107 WITH SCORE 146421.64
AT ITER 6011 NEW BEST:: SOT 1849298 SOS 314634 HAS SOPS 314634 HAS SOUS 146097 HAS SOUPS 146097 WITH SCORE 146411.634
AT ITER 6056 NEW BEST:: SOT 1849298 SOS 314634 HAS SOPS 314634 HAS SOUS 146061 HAS SOUPS 146061 WITH SCORE 146375.634
AT ITER 6079 NEW BEST:: SOT 1849238 SOS 314562 HAS SOPS 314562 HAS SOUS 145989 HAS SOUPS 145989 WITH SCORE 146303.562
AT ITER 6087 NEW BEST:: SOT 1849240 SOS 314321 HAS SOPS 314321 HAS SOUS 145944 HAS SOUPS 145944 WITH SCORE 146258.321
AT ITER 6099 NEW BEST:: SOT 1849204 SOS 314285 HAS SOPS 314285 HAS SOUS 145886 HAS SOUPS 145886 WITH SCORE 146200.285
AT ITER 6111 NEW BEST:: SOT 1849204 SOS 314165 HAS SOPS 314165 HAS SOUS 145846 HAS SOUPS 145846 WITH SCORE 146160.165
AT ITER 6149 NEW BEST:: SOT 1849162 SOS 313913 HAS SOPS 313913 HAS SOUS 145762 HAS SOUPS 145762 WITH SCORE 146075.913
AT ITER 6248 NEW BEST:: SOT 1849157 SOS 313908 HAS SOPS 313908 HAS SOUS 145762 HAS SOUPS 145762 WITH SCORE 146075.908
AT ITER 6275 NEW BEST:: SOT 1849157 SOS 313880 HAS SOPS 313880 HAS SOUS 145762 HAS SOUPS 145762 WITH SCORE 146075.88
AT ITER 6311 NEW BEST:: SOT 1849157 SOS 313880 HAS SOPS 313880 HAS SOUS 145682 HAS SOUPS 145682 WITH SCORE 145995.88
AT ITER 6400 NEW BEST:: SOT 1849157 SOS 313630 HAS SOPS 313630 HAS SOUS 145632 HAS SOUPS 145632 WITH SCORE 145945.63
AT ITER 6401 NEW BEST:: SOT 1849157 SOS 313604 HAS SOPS 313604 HAS SOUS 145598 HAS SOUPS 145598 WITH SCORE 145911.604
AT ITER 6503 NEW BEST:: SOT 1849102 SOS 313494 HAS SOPS 313494 HAS SOUS 145384 HAS SOUPS 145384 WITH SCORE 145697.494
AT ITER 6504 NEW BEST:: SOT 1849102 SOS 313559 HAS SOPS 313559 HAS SOUS 145332 HAS SOUPS 145332 WITH SCORE 145645.559
AT ITER 6510 NEW BEST:: SOT 1849133 SOS 313521 HAS SOPS 313521 HAS SOUS 145060 HAS SOUPS 145060 WITH SCORE 145373.521
AT ITER 6559 NEW BEST:: SOT 1848988 SOS 313416 HAS SOPS 313416 HAS SOUS 144939 HAS SOUPS 144939 WITH SCORE 145252.416
AT ITER 6566 NEW BEST:: SOT 1848811 SOS 313214 HAS SOPS 313214 HAS SOUS 144757 HAS SOUPS 144757 WITH SCORE 145070.214
AT ITER 6572 NEW BEST:: SOT 1848556 SOS 312979 HAS SOPS 312979 HAS SOUS 144585 HAS SOUPS 144585 WITH SCORE 144897.979
AT ITER 6591 NEW BEST:: SOT 1848556 SOS 312979 HAS SOPS 312979 HAS SOUS 144580 HAS SOUPS 144580 WITH SCORE 144892.979
AT ITER 6592 NEW BEST:: SOT 1848461 SOS 312789 HAS SOPS 312789 HAS SOUS 144466 HAS SOUPS 144466 WITH SCORE 144778.789
AT ITER 6654 NEW BEST:: SOT 1848461 SOS 312783 HAS SOPS 312783 HAS SOUS 144460 HAS SOUPS 144460 WITH SCORE 144772.783
AT ITER 6684 NEW BEST:: SOT 1848461 SOS 312771 HAS SOPS 312771 HAS SOUS 144456 HAS SOUPS 144456 WITH SCORE 144768.771
AT ITER 6752 NEW BEST:: SOT 1848371 SOS 312663 HAS SOPS 312663 HAS SOUS 144348 HAS SOUPS 144348 WITH SCORE 144660.663
AT ITER 6768 NEW BEST:: SOT 1848371 SOS 312663 HAS SOPS 312663 HAS SOUS 144220 HAS SOUPS 144220 WITH SCORE 144532.663
AT ITER 6849 NEW BEST:: SOT 1848371 SOS 312763 HAS SOPS 312763 HAS SOUS 144216 HAS SOUPS 144216 WITH SCORE 144528.763
AT ITER 6863 NEW BEST:: SOT 1848216 SOS 312333 HAS SOPS 312333 HAS SOUS 144157 HAS SOUPS 144157 WITH SCORE 144469.333
AT ITER 6917 NEW BEST:: SOT 1848216 SOS 312463 HAS SOPS 312463 HAS SOUS 144079 HAS SOUPS 144079 WITH SCORE 144391.463
AT ITER 6930 NEW BEST:: SOT 1848207 SOS 312445 HAS SOPS 312445 HAS SOUS 144061 HAS SOUPS 144061 WITH SCORE 144373.445
AT ITER 6973 NEW BEST:: SOT 1848207 SOS 312445 HAS SOPS 312445 HAS SOUS 144043 HAS SOUPS 144043 WITH SCORE 144355.445
AT ITER 7049 NEW BEST:: SOT 1848142 SOS 312367 HAS SOPS 312367 HAS SOUS 143965 HAS SOUPS 143965 WITH SCORE 144277.367
AT ITER 7053 NEW BEST:: SOT 1848131 SOS 312356 HAS SOPS 312356 HAS SOUS 143906 HAS SOUPS 143906 WITH SCORE 144218.356
AT ITER 7090 NEW BEST:: SOT 1848102 SOS 312182 HAS SOPS 312182 HAS SOUS 143848 HAS SOUPS 143848 WITH SCORE 144160.182
AT ITER 7144 NEW BEST:: SOT 1848096 SOS 312170 HAS SOPS 312170 HAS SOUS 143836 HAS SOUPS 143836 WITH SCORE 144148.17
AT ITER 7150 NEW BEST:: SOT 1848096 SOS 312170 HAS SOPS 312170 HAS SOUS 143782 HAS SOUPS 143782 WITH SCORE 144094.17
AT ITER 7170 NEW BEST:: SOT 1848106 SOS 312180 HAS SOPS 312180 HAS SOUS 143752 HAS SOUPS 143752 WITH SCORE 144064.18
AT ITER 7178 NEW BEST:: SOT 1848106 SOS 312204 HAS SOPS 312204 HAS SOUS 143748 HAS SOUPS 143748 WITH SCORE 144060.204
AT ITER 7216 NEW BEST:: SOT 1848036 SOS 312120 HAS SOPS 312120 HAS SOUS 143608 HAS SOUPS 143608 WITH SCORE 143920.12
AT ITER 7269 NEW BEST:: SOT 1847976 SOS 312048 HAS SOPS 312048 HAS SOUS 143364 HAS SOUPS 143364 WITH SCORE 143676.048
AT ITER 7312 NEW BEST:: SOT 1847984 SOS 311960 HAS SOPS 311960 HAS SOUS 143356 HAS SOUPS 143356 WITH SCORE 143667.96
AT ITER 7355 NEW BEST:: SOT 1847984 SOS 312035 HAS SOPS 312035 HAS SOUS 143331 HAS SOUPS 143331 WITH SCORE 143643.035
AT ITER 7414 NEW BEST:: SOT 1847984 SOS 311935 HAS SOPS 311935 HAS SOUS 143331 HAS SOUPS 143331 WITH SCORE 143642.935
AT ITER 7423 NEW BEST:: SOT 1847637 SOS 311241 HAS SOPS 311241 HAS SOUS 143049 HAS SOUPS 143049 WITH SCORE 143360.241
AT ITER 7490 NEW BEST:: SOT 1847627 SOS 311221 HAS SOPS 311221 HAS SOUS 143029 HAS SOUPS 143029 WITH SCORE 143340.221
AT ITER 7497 NEW BEST:: SOT 1847627 SOS 311617 HAS SOPS 311617 HAS SOUS 142969 HAS SOUPS 142969 WITH SCORE 143280.617
AT ITER 7630 NEW BEST:: SOT 1847732 SOS 311743 HAS SOPS 311743 HAS SOUS 142915 HAS SOUPS 142915 WITH SCORE 143226.743
AT ITER 7655 NEW BEST:: SOT 1847732 SOS 311743 HAS SOPS 311743 HAS SOUS 142895 HAS SOUPS 142895 WITH SCORE 143206.743
AT ITER 7666 NEW BEST:: SOT 1847612 SOS 311609 HAS SOPS 311609 HAS SOUS 142797 HAS SOUPS 142797 WITH SCORE 143108.609
AT ITER 7687 NEW BEST:: SOT 1847612 SOS 311545 HAS SOPS 311545 HAS SOUS 142729 HAS SOUPS 142729 WITH SCORE 143040.545
AT ITER 7726 NEW BEST:: SOT 1847607 SOS 311508 HAS SOPS 311508 HAS SOUS 142712 HAS SOUPS 142712 WITH SCORE 143023.508
AT ITER 7755 NEW BEST:: SOT 1847577 SOS 311472 HAS SOPS 311472 HAS SOUS 142676 HAS SOUPS 142676 WITH SCORE 142987.472
AT ITER 7764 NEW BEST:: SOT 1847367 SOS 311052 HAS SOPS 311052 HAS SOUS 142436 HAS SOUPS 142436 WITH SCORE 142747.052
AT ITER 7806 NEW BEST:: SOT 1847367 SOS 311052 HAS SOPS 311052 HAS SOUS 142384 HAS SOUPS 142384 WITH SCORE 142695.052
AT ITER 7955 NEW BEST:: SOT 1847367 SOS 310872 HAS SOPS 310872 HAS SOUS 142324 HAS SOUPS 142324 WITH SCORE 142634.872
AT ITER 7996 NEW BEST:: SOT 1847359 SOS 310816 HAS SOPS 310816 HAS SOUS 142300 HAS SOUPS 142300 WITH SCORE 142610.816
AT ITER 8072 NEW BEST:: SOT 1847359 SOS 310896 HAS SOPS 310896 HAS SOUS 142288 HAS SOUPS 142288 WITH SCORE 142598.896
AT ITER 8090 NEW BEST:: SOT 1847309 SOS 310542 HAS SOPS 310542 HAS SOUS 142210 HAS SOUPS 142210 WITH SCORE 142520.542
AT ITER 8186 NEW BEST:: SOT 1847309 SOS 310537 HAS SOPS 310537 HAS SOUS 142133 HAS SOUPS 142133 WITH SCORE 142443.537
AT ITER 8190 NEW BEST:: SOT 1847419 SOS 310689 HAS SOPS 310689 HAS SOUS 141959 HAS SOUPS 141959 WITH SCORE 142269.689
AT ITER 8201 NEW BEST:: SOT 1847419 SOS 310499 HAS SOPS 310499 HAS SOUS 141921 HAS SOUPS 141921 WITH SCORE 142231.499
AT ITER 8256 NEW BEST:: SOT 1847294 SOS 310349 HAS SOPS 310349 HAS SOUS 141771 HAS SOUPS 141771 WITH SCORE 142081.349
AT ITER 8287 NEW BEST:: SOT 1847294 SOS 310349 HAS SOPS 310349 HAS SOUS 141746 HAS SOUPS 141746 WITH SCORE 142056.349
AT ITER 8326 NEW BEST:: SOT 1847258 SOS 310313 HAS SOPS 310313 HAS SOUS 141710 HAS SOUPS 141710 WITH SCORE 142020.313
AT ITER 8351 NEW BEST:: SOT 1847196 SOS 310261 HAS SOPS 310261 HAS SOUS 141708 HAS SOUPS 141708 WITH SCORE 142018.261
AT ITER 8393 NEW BEST:: SOT 1847187 SOS 310207 HAS SOPS 310207 HAS SOUS 141690 HAS SOUPS 141690 WITH SCORE 142000.207
AT ITER 8434 NEW BEST:: SOT 1847327 SOS 310855 HAS SOPS 310855 HAS SOUS 141656 HAS SOUPS 141656 WITH SCORE 141966.855
AT ITER 8517 NEW BEST:: SOT 1847258 SOS 310441 HAS SOPS 310441 HAS SOUS 141518 HAS SOUPS 141518 WITH SCORE 141828.441
AT ITER 8607 NEW BEST:: SOT 1847270 SOS 310433 HAS SOPS 310433 HAS SOUS 141430 HAS SOUPS 141430 WITH SCORE 141740.433
AT ITER 8617 NEW BEST:: SOT 1847242 SOS 310237 HAS SOPS 310237 HAS SOUS 141346 HAS SOUPS 141346 WITH SCORE 141656.237
AT ITER 8647 NEW BEST:: SOT 1847252 SOS 310247 HAS SOPS 310247 HAS SOUS 141320 HAS SOUPS 141320 WITH SCORE 141630.247
AT ITER 8684 NEW BEST:: SOT 1847166 SOS 310151 HAS SOPS 310151 HAS SOUS 141232 HAS SOUPS 141232 WITH SCORE 141542.151
AT ITER 8720 NEW BEST:: SOT 1847016 SOS 309997 HAS SOPS 309997 HAS SOUS 141092 HAS SOUPS 141092 WITH SCORE 141401.997
AT ITER 8768 NEW BEST:: SOT 1846956 SOS 309937 HAS SOPS 309937 HAS SOUS 141032 HAS SOUPS 141032 WITH SCORE 141341.937
AT ITER 8825 NEW BEST:: SOT 1846953 SOS 309931 HAS SOPS 309931 HAS SOUS 141026 HAS SOUPS 141026 WITH SCORE 141335.931
AT ITER 8847 NEW BEST:: SOT 1846953 SOS 309931 HAS SOPS 309931 HAS SOUS 140980 HAS SOUPS 140980 WITH SCORE 141289.931
AT ITER 8896 NEW BEST:: SOT 1846951 SOS 309929 HAS SOPS 309929 HAS SOUS 140978 HAS SOUPS 140978 WITH SCORE 141287.929
AT ITER 8948 NEW BEST:: SOT 1846951 SOS 309906 HAS SOPS 309906 HAS SOUS 140904 HAS SOUPS 140904 WITH SCORE 141213.906
AT ITER 8975 NEW BEST:: SOT 1846951 SOS 309854 HAS SOPS 309854 HAS SOUS 140852 HAS SOUPS 140852 WITH SCORE 141161.854
AT ITER 9090 NEW BEST:: SOT 1846927 SOS 309710 HAS SOPS 309710 HAS SOUS 140804 HAS SOUPS 140804 WITH SCORE 141113.71
AT ITER 9170 NEW BEST:: SOT 1846926 SOS 309796 HAS SOPS 309796 HAS SOUS 140744 HAS SOUPS 140744 WITH SCORE 141053.796
AT ITER 9214 NEW BEST:: SOT 1846858 SOS 309728 HAS SOPS 309728 HAS SOUS 140676 HAS SOUPS 140676 WITH SCORE 140985.728
AT ITER 9229 NEW BEST:: SOT 1846797 SOS 309697 HAS SOPS 309697 HAS SOUS 140621 HAS SOUPS 140621 WITH SCORE 140930.697
AT ITER 9238 NEW BEST:: SOT 1846786 SOS 309686 HAS SOPS 309686 HAS SOUS 140621 HAS SOUPS 140621 WITH SCORE 140930.686
AT ITER 9335 NEW BEST:: SOT 1846781 SOS 309676 HAS SOPS 309676 HAS SOUS 140611 HAS SOUPS 140611 WITH SCORE 140920.676
AT ITER 9352 NEW BEST:: SOT 1846781 SOS 309286 HAS SOPS 309286 HAS SOUS 140481 HAS SOUPS 140481 WITH SCORE 140790.286
AT ITER 9368 NEW BEST:: SOT 1846489 SOS 308702 HAS SOPS 308702 HAS SOUS 140293 HAS SOUPS 140293 WITH SCORE 140601.702
AT ITER 9421 NEW BEST:: SOT 1846489 SOS 308707 HAS SOPS 308707 HAS SOUS 140289 HAS SOUPS 140289 WITH SCORE 140597.707
AT ITER 9474 NEW BEST:: SOT 1846485 SOS 308703 HAS SOPS 308703 HAS SOUS 140289 HAS SOUPS 140289 WITH SCORE 140597.703
AT ITER 9479 NEW BEST:: SOT 1846461 SOS 308679 HAS SOPS 308679 HAS SOUS 140289 HAS SOUPS 140289 WITH SCORE 140597.679
AT ITER 9524 NEW BEST:: SOT 1846415 SOS 308575 HAS SOPS 308575 HAS SOUS 140281 HAS SOUPS 140281 WITH SCORE 140589.575
AT ITER 9546 NEW BEST:: SOT 1846506 SOS 308877 HAS SOPS 308877 HAS SOUS 140277 HAS SOUPS 140277 WITH SCORE 140585.877
AT ITER 9572 NEW BEST:: SOT 1846486 SOS 308857 HAS SOPS 308857 HAS SOUS 140257 HAS SOUPS 140257 WITH SCORE 140565.857
AT ITER 9653 NEW BEST:: SOT 1846474 SOS 308828 HAS SOPS 308828 HAS SOUS 140228 HAS SOUPS 140228 WITH SCORE 140536.828
AT ITER 9671 NEW BEST:: SOT 1846449 SOS 308678 HAS SOPS 308678 HAS SOUS 140178 HAS SOUPS 140178 WITH SCORE 140486.678
AT ITER 9702 NEW BEST:: SOT 1846074 SOS 307828 HAS SOPS 307828 HAS SOUS 139728 HAS SOUPS 139728 WITH SCORE 140035.828
AT ITER 9744 NEW BEST:: SOT 1845979 SOS 307733 HAS SOPS 307733 HAS SOUS 139633 HAS SOUPS 139633 WITH SCORE 139940.733
AT ITER 9800 NEW BEST:: SOT 1845909 SOS 307593 HAS SOPS 307593 HAS SOUS 139549 HAS SOUPS 139549 WITH SCORE 139856.593
AT ITER 9900 NEW BEST:: SOT 1845884 SOS 307563 HAS SOPS 307563 HAS SOUS 139519 HAS SOUPS 139519 WITH SCORE 139826.563
AT ITER 9981 NEW BEST:: SOT 1845884 SOS 307563 HAS SOPS 307563 HAS SOUS 139507 HAS SOUPS 139507 WITH SCORE 139814.563
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HypercubeGrid-PT-C3K4P4B12"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is HypercubeGrid-PT-C3K4P4B12, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r093-oct2-158940140300256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HypercubeGrid-PT-C3K4P4B12.tgz
mv HypercubeGrid-PT-C3K4P4B12 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;