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-158940140400304.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 HypertorusGrid-PT-d3k3p2b06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140400304
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 708K
-rw-r--r-- 1 mcc users 3.6K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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 3.8K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 24K 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 522K 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 1589613975649

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypertorusGrid (PT), instance d3k3p2b06
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 513 places, 972 transitions, 3888 arcs.
AT ITER 0 NEW BEST:: SOT 309459 SOS 127305 HAS SOPS 127305 HAS SOUS 64373 HAS SOUPS 64373 WITH SCORE 64500.305
AT ITER 1 NEW BEST:: SOT 309139 SOS 126601 HAS SOPS 126601 HAS SOUS 63925 HAS SOUPS 63925 WITH SCORE 64051.601
AT ITER 6 NEW BEST:: SOT 309139 SOS 126545 HAS SOPS 126545 HAS SOUS 63884 HAS SOUPS 63884 WITH SCORE 64010.545
AT ITER 8 NEW BEST:: SOT 309139 SOS 126545 HAS SOPS 126545 HAS SOUS 63874 HAS SOUPS 63874 WITH SCORE 64000.545
AT ITER 12 NEW BEST:: SOT 309207 SOS 126681 HAS SOPS 126681 HAS SOUS 63738 HAS SOUPS 63738 WITH SCORE 63864.681
AT ITER 15 NEW BEST:: SOT 309136 SOS 126539 HAS SOPS 126539 HAS SOUS 63548 HAS SOUPS 63548 WITH SCORE 63674.539
AT ITER 21 NEW BEST:: SOT 309006 SOS 126383 HAS SOPS 126383 HAS SOUS 63392 HAS SOUPS 63392 WITH SCORE 63518.383
AT ITER 35 NEW BEST:: SOT 309006 SOS 126041 HAS SOPS 126041 HAS SOUS 63278 HAS SOUPS 63278 WITH SCORE 63404.041
AT ITER 41 NEW BEST:: SOT 309006 SOS 125855 HAS SOPS 125855 HAS SOUS 63216 HAS SOUPS 63216 WITH SCORE 63341.855
AT ITER 44 NEW BEST:: SOT 308761 SOS 125605 HAS SOPS 125605 HAS SOUS 62970 HAS SOUPS 62970 WITH SCORE 63095.605
AT ITER 45 NEW BEST:: SOT 308701 SOS 125220 HAS SOPS 125220 HAS SOUS 62797 HAS SOUPS 62797 WITH SCORE 62922.22
AT ITER 50 NEW BEST:: SOT 308349 SOS 124516 HAS SOPS 124516 HAS SOUS 62413 HAS SOUPS 62413 WITH SCORE 62537.516
AT ITER 51 NEW BEST:: SOT 308349 SOS 124342 HAS SOPS 124342 HAS SOUS 62355 HAS SOUPS 62355 WITH SCORE 62479.342
AT ITER 54 NEW BEST:: SOT 308328 SOS 124195 HAS SOPS 124195 HAS SOUS 62292 HAS SOUPS 62292 WITH SCORE 62416.195
AT ITER 72 NEW BEST:: SOT 308281 SOS 123866 HAS SOPS 123866 HAS SOUS 62151 HAS SOUPS 62151 WITH SCORE 62274.866
AT ITER 75 NEW BEST:: SOT 308221 SOS 123561 HAS SOPS 123561 HAS SOUS 61994 HAS SOUPS 61994 WITH SCORE 62117.561
AT ITER 120 NEW BEST:: SOT 308171 SOS 123261 HAS SOPS 123261 HAS SOUS 61894 HAS SOUPS 61894 WITH SCORE 62017.261
AT ITER 123 NEW BEST:: SOT 308169 SOS 123259 HAS SOPS 123259 HAS SOUS 61894 HAS SOUPS 61894 WITH SCORE 62017.259
AT ITER 145 NEW BEST:: SOT 308169 SOS 123235 HAS SOPS 123235 HAS SOUS 61894 HAS SOUPS 61894 WITH SCORE 62017.235
AT ITER 166 NEW BEST:: SOT 308125 SOS 122971 HAS SOPS 122971 HAS SOUS 61806 HAS SOUPS 61806 WITH SCORE 61928.971
AT ITER 170 NEW BEST:: SOT 308125 SOS 123055 HAS SOPS 123055 HAS SOUS 61701 HAS SOUPS 61701 WITH SCORE 61824.055
AT ITER 175 NEW BEST:: SOT 308125 SOS 123055 HAS SOPS 123055 HAS SOUS 61697 HAS SOUPS 61697 WITH SCORE 61820.055
AT ITER 185 NEW BEST:: SOT 308085 SOS 123007 HAS SOPS 123007 HAS SOUS 61629 HAS SOUPS 61629 WITH SCORE 61752.007
AT ITER 189 NEW BEST:: SOT 308056 SOS 122978 HAS SOPS 122978 HAS SOUS 61617 HAS SOUPS 61617 WITH SCORE 61739.978
AT ITER 195 NEW BEST:: SOT 308006 SOS 122878 HAS SOPS 122878 HAS SOUS 61389 HAS SOUPS 61389 WITH SCORE 61511.878
AT ITER 199 NEW BEST:: SOT 308006 SOS 122878 HAS SOPS 122878 HAS SOUS 61382 HAS SOUPS 61382 WITH SCORE 61504.878
AT ITER 211 NEW BEST:: SOT 307911 SOS 122783 HAS SOPS 122783 HAS SOUS 61287 HAS SOUPS 61287 WITH SCORE 61409.783
AT ITER 223 NEW BEST:: SOT 307736 SOS 122398 HAS SOPS 122398 HAS SOUS 61042 HAS SOUPS 61042 WITH SCORE 61164.398
AT ITER 224 NEW BEST:: SOT 307736 SOS 122398 HAS SOPS 122398 HAS SOUS 60962 HAS SOUPS 60962 WITH SCORE 61084.398
AT ITER 225 NEW BEST:: SOT 307736 SOS 122350 HAS SOPS 122350 HAS SOUS 60700 HAS SOUPS 60700 WITH SCORE 60822.35
AT ITER 227 NEW BEST:: SOT 307736 SOS 122350 HAS SOPS 122350 HAS SOUS 60684 HAS SOUPS 60684 WITH SCORE 60806.35
AT ITER 231 NEW BEST:: SOT 307669 SOS 122216 HAS SOPS 122216 HAS SOUS 60550 HAS SOUPS 60550 WITH SCORE 60672.216
AT ITER 265 NEW BEST:: SOT 307669 SOS 122216 HAS SOPS 122216 HAS SOUS 60489 HAS SOUPS 60489 WITH SCORE 60611.216
AT ITER 273 NEW BEST:: SOT 307669 SOS 122281 HAS SOPS 122281 HAS SOUS 60466 HAS SOUPS 60466 WITH SCORE 60588.281
AT ITER 288 NEW BEST:: SOT 307393 SOS 122166 HAS SOPS 122166 HAS SOUS 60255 HAS SOUPS 60255 WITH SCORE 60377.166
AT ITER 315 NEW BEST:: SOT 307365 SOS 122222 HAS SOPS 122222 HAS SOUS 60015 HAS SOUPS 60015 WITH SCORE 60137.222
AT ITER 332 NEW BEST:: SOT 307365 SOS 122216 HAS SOPS 122216 HAS SOUS 60009 HAS SOUPS 60009 WITH SCORE 60131.216
AT ITER 333 NEW BEST:: SOT 307365 SOS 122174 HAS SOPS 122174 HAS SOUS 59995 HAS SOUPS 59995 WITH SCORE 60117.174
AT ITER 341 NEW BEST:: SOT 307235 SOS 121914 HAS SOPS 121914 HAS SOUS 59839 HAS SOUPS 59839 WITH SCORE 59960.914
AT ITER 347 NEW BEST:: SOT 307180 SOS 121841 HAS SOPS 121841 HAS SOUS 59778 HAS SOUPS 59778 WITH SCORE 59899.841
AT ITER 354 NEW BEST:: SOT 307186 SOS 121523 HAS SOPS 121523 HAS SOUS 59724 HAS SOUPS 59724 WITH SCORE 59845.523
AT ITER 365 NEW BEST:: SOT 307186 SOS 121748 HAS SOPS 121748 HAS SOUS 59609 HAS SOUPS 59609 WITH SCORE 59730.748
AT ITER 373 NEW BEST:: SOT 306886 SOS 121030 HAS SOPS 121030 HAS SOUS 59215 HAS SOUPS 59215 WITH SCORE 59336.03
AT ITER 388 NEW BEST:: SOT 306886 SOS 120974 HAS SOPS 120974 HAS SOUS 59159 HAS SOUPS 59159 WITH SCORE 59279.974
AT ITER 420 NEW BEST:: SOT 306864 SOS 120930 HAS SOPS 120930 HAS SOUS 59103 HAS SOUPS 59103 WITH SCORE 59223.93
AT ITER 423 NEW BEST:: SOT 306651 SOS 120692 HAS SOPS 120692 HAS SOUS 58885 HAS SOUPS 58885 WITH SCORE 59005.692
AT ITER 428 NEW BEST:: SOT 306401 SOS 120392 HAS SOPS 120392 HAS SOUS 58505 HAS SOUPS 58505 WITH SCORE 58625.392
AT ITER 434 NEW BEST:: SOT 306401 SOS 120356 HAS SOPS 120356 HAS SOUS 58493 HAS SOUPS 58493 WITH SCORE 58613.356
AT ITER 456 NEW BEST:: SOT 306349 SOS 120252 HAS SOPS 120252 HAS SOUS 58349 HAS SOUPS 58349 WITH SCORE 58469.252
AT ITER 464 NEW BEST:: SOT 306299 SOS 120202 HAS SOPS 120202 HAS SOUS 58299 HAS SOUPS 58299 WITH SCORE 58419.202
AT ITER 475 NEW BEST:: SOT 306299 SOS 120202 HAS SOPS 120202 HAS SOUS 58223 HAS SOUPS 58223 WITH SCORE 58343.202
AT ITER 476 NEW BEST:: SOT 306299 SOS 120146 HAS SOPS 120146 HAS SOUS 58167 HAS SOUPS 58167 WITH SCORE 58287.146
AT ITER 481 NEW BEST:: SOT 306279 SOS 120106 HAS SOPS 120106 HAS SOUS 58127 HAS SOUPS 58127 WITH SCORE 58247.106
AT ITER 483 NEW BEST:: SOT 306189 SOS 120016 HAS SOPS 120016 HAS SOUS 58037 HAS SOUPS 58037 WITH SCORE 58157.016
AT ITER 489 NEW BEST:: SOT 306189 SOS 119931 HAS SOPS 119931 HAS SOUS 58020 HAS SOUPS 58020 WITH SCORE 58139.931
AT ITER 524 NEW BEST:: SOT 306189 SOS 119931 HAS SOPS 119931 HAS SOUS 58010 HAS SOUPS 58010 WITH SCORE 58129.931
AT ITER 532 NEW BEST:: SOT 306147 SOS 119889 HAS SOPS 119889 HAS SOUS 57998 HAS SOUPS 57998 WITH SCORE 58117.889
AT ITER 543 NEW BEST:: SOT 306128 SOS 119774 HAS SOPS 119774 HAS SOUS 57947 HAS SOUPS 57947 WITH SCORE 58066.774
AT ITER 560 NEW BEST:: SOT 306128 SOS 119794 HAS SOPS 119794 HAS SOUS 57935 HAS SOUPS 57935 WITH SCORE 58054.794
AT ITER 565 NEW BEST:: SOT 306090 SOS 119836 HAS SOPS 119836 HAS SOUS 57913 HAS SOUPS 57913 WITH SCORE 58032.836
AT ITER 574 NEW BEST:: SOT 306090 SOS 119836 HAS SOPS 119836 HAS SOUS 57894 HAS SOUPS 57894 WITH SCORE 58013.836
AT ITER 622 NEW BEST:: SOT 306079 SOS 119825 HAS SOPS 119825 HAS SOUS 57883 HAS SOUPS 57883 WITH SCORE 58002.825
AT ITER 624 NEW BEST:: SOT 305979 SOS 119570 HAS SOPS 119570 HAS SOUS 57764 HAS SOUPS 57764 WITH SCORE 57883.57
AT ITER 630 NEW BEST:: SOT 305976 SOS 119552 HAS SOPS 119552 HAS SOUS 57758 HAS SOUPS 57758 WITH SCORE 57877.552
AT ITER 632 NEW BEST:: SOT 305976 SOS 119747 HAS SOPS 119747 HAS SOUS 57602 HAS SOUPS 57602 WITH SCORE 57721.747
AT ITER 642 NEW BEST:: SOT 305966 SOS 119687 HAS SOPS 119687 HAS SOUS 57582 HAS SOUPS 57582 WITH SCORE 57701.687
AT ITER 645 NEW BEST:: SOT 305966 SOS 119852 HAS SOPS 119852 HAS SOUS 57489 HAS SOUPS 57489 WITH SCORE 57608.852
AT ITER 649 NEW BEST:: SOT 305953 SOS 119821 HAS SOPS 119821 HAS SOUS 57470 HAS SOUPS 57470 WITH SCORE 57589.821
AT ITER 653 NEW BEST:: SOT 305907 SOS 119545 HAS SOPS 119545 HAS SOUS 57378 HAS SOUPS 57378 WITH SCORE 57497.545
AT ITER 661 NEW BEST:: SOT 305867 SOS 119497 HAS SOPS 119497 HAS SOUS 57309 HAS SOUPS 57309 WITH SCORE 57428.497
AT ITER 665 NEW BEST:: SOT 305767 SOS 119377 HAS SOPS 119377 HAS SOUS 57189 HAS SOUPS 57189 WITH SCORE 57308.377
AT ITER 674 NEW BEST:: SOT 305749 SOS 119359 HAS SOPS 119359 HAS SOUS 57171 HAS SOUPS 57171 WITH SCORE 57290.359
AT ITER 697 NEW BEST:: SOT 305749 SOS 119359 HAS SOPS 119359 HAS SOUS 57141 HAS SOUPS 57141 WITH SCORE 57260.359
AT ITER 708 NEW BEST:: SOT 305749 SOS 119335 HAS SOPS 119335 HAS SOUS 57133 HAS SOUPS 57133 WITH SCORE 57252.335
AT ITER 728 NEW BEST:: SOT 305749 SOS 119515 HAS SOPS 119515 HAS SOUS 56989 HAS SOUPS 56989 WITH SCORE 57108.515
AT ITER 738 NEW BEST:: SOT 305689 SOS 119155 HAS SOPS 119155 HAS SOUS 56869 HAS SOUPS 56869 WITH SCORE 56988.155
AT ITER 742 NEW BEST:: SOT 305689 SOS 119656 HAS SOPS 119656 HAS SOUS 56738 HAS SOUPS 56738 WITH SCORE 56857.656
AT ITER 749 NEW BEST:: SOT 305684 SOS 119651 HAS SOPS 119651 HAS SOUS 56728 HAS SOUPS 56728 WITH SCORE 56847.651
AT ITER 820 NEW BEST:: SOT 305616 SOS 119583 HAS SOPS 119583 HAS SOUS 56660 HAS SOUPS 56660 WITH SCORE 56779.583
AT ITER 841 NEW BEST:: SOT 305616 SOS 119739 HAS SOPS 119739 HAS SOUS 56620 HAS SOUPS 56620 WITH SCORE 56739.739
AT ITER 870 NEW BEST:: SOT 305616 SOS 119379 HAS SOPS 119379 HAS SOUS 56500 HAS SOUPS 56500 WITH SCORE 56619.379
AT ITER 874 NEW BEST:: SOT 305569 SOS 119167 HAS SOPS 119167 HAS SOUS 56372 HAS SOUPS 56372 WITH SCORE 56491.167
AT ITER 878 NEW BEST:: SOT 305315 SOS 118947 HAS SOPS 118947 HAS SOUS 56184 HAS SOUPS 56184 WITH SCORE 56302.947
AT ITER 883 NEW BEST:: SOT 305195 SOS 118683 HAS SOPS 118683 HAS SOUS 56016 HAS SOUPS 56016 WITH SCORE 56134.683
AT ITER 892 NEW BEST:: SOT 305195 SOS 118557 HAS SOPS 118557 HAS SOUS 55974 HAS SOUPS 55974 WITH SCORE 56092.557
AT ITER 898 NEW BEST:: SOT 305232 SOS 118294 HAS SOPS 118294 HAS SOUS 55951 HAS SOUPS 55951 WITH SCORE 56069.294
AT ITER 917 NEW BEST:: SOT 305232 SOS 118294 HAS SOPS 118294 HAS SOUS 55935 HAS SOUPS 55935 WITH SCORE 56053.294
AT ITER 935 NEW BEST:: SOT 305232 SOS 118274 HAS SOPS 118274 HAS SOUS 55931 HAS SOUPS 55931 WITH SCORE 56049.274
AT ITER 962 NEW BEST:: SOT 305092 SOS 118134 HAS SOPS 118134 HAS SOUS 55791 HAS SOUPS 55791 WITH SCORE 55909.134
AT ITER 969 NEW BEST:: SOT 305092 SOS 118134 HAS SOPS 118134 HAS SOUS 55765 HAS SOUPS 55765 WITH SCORE 55883.134
AT ITER 980 NEW BEST:: SOT 305052 SOS 118094 HAS SOPS 118094 HAS SOUS 55725 HAS SOUPS 55725 WITH SCORE 55843.094
AT ITER 981 NEW BEST:: SOT 304752 SOS 117456 HAS SOPS 117456 HAS SOUS 55437 HAS SOUPS 55437 WITH SCORE 55554.456
AT ITER 982 NEW BEST:: SOT 304787 SOS 117491 HAS SOPS 117491 HAS SOUS 55367 HAS SOUPS 55367 WITH SCORE 55484.491
AT ITER 989 NEW BEST:: SOT 304717 SOS 117351 HAS SOPS 117351 HAS SOUS 55283 HAS SOUPS 55283 WITH SCORE 55400.351
AT ITER 990 NEW BEST:: SOT 304692 SOS 117201 HAS SOPS 117201 HAS SOUS 55233 HAS SOUPS 55233 WITH SCORE 55350.201
AT ITER 1039 NEW BEST:: SOT 304488 SOS 116917 HAS SOPS 116917 HAS SOUS 55013 HAS SOUPS 55013 WITH SCORE 55129.917
AT ITER 1095 NEW BEST:: SOT 304433 SOS 116862 HAS SOPS 116862 HAS SOUS 54955 HAS SOUPS 54955 WITH SCORE 55071.862
AT ITER 1097 NEW BEST:: SOT 304373 SOS 116497 HAS SOPS 116497 HAS SOUS 54786 HAS SOUPS 54786 WITH SCORE 54902.497
AT ITER 1125 NEW BEST:: SOT 304373 SOS 116662 HAS SOPS 116662 HAS SOUS 54754 HAS SOUPS 54754 WITH SCORE 54870.662
AT ITER 1127 NEW BEST:: SOT 304493 SOS 116722 HAS SOPS 116722 HAS SOUS 54446 HAS SOUPS 54446 WITH SCORE 54562.722
AT ITER 1139 NEW BEST:: SOT 304493 SOS 116761 HAS SOPS 116761 HAS SOUS 54413 HAS SOUPS 54413 WITH SCORE 54529.761
AT ITER 1141 NEW BEST:: SOT 304443 SOS 116709 HAS SOPS 116709 HAS SOUS 54308 HAS SOUPS 54308 WITH SCORE 54424.709
AT ITER 1152 NEW BEST:: SOT 304449 SOS 116715 HAS SOPS 116715 HAS SOUS 54296 HAS SOUPS 54296 WITH SCORE 54412.715
AT ITER 1170 NEW BEST:: SOT 304449 SOS 116619 HAS SOPS 116619 HAS SOUS 54296 HAS SOUPS 54296 WITH SCORE 54412.619
AT ITER 1177 NEW BEST:: SOT 304389 SOS 116192 HAS SOPS 116192 HAS SOUS 54105 HAS SOUPS 54105 WITH SCORE 54221.192
AT ITER 1183 NEW BEST:: SOT 304389 SOS 116196 HAS SOPS 116196 HAS SOUS 54101 HAS SOUPS 54101 WITH SCORE 54217.196
AT ITER 1188 NEW BEST:: SOT 304355 SOS 115992 HAS SOPS 115992 HAS SOUS 54033 HAS SOUPS 54033 WITH SCORE 54148.992
AT ITER 1190 NEW BEST:: SOT 304355 SOS 115992 HAS SOPS 115992 HAS SOUS 53998 HAS SOUPS 53998 WITH SCORE 54113.992
AT ITER 1212 NEW BEST:: SOT 304355 SOS 115917 HAS SOPS 115917 HAS SOUS 53983 HAS SOUPS 53983 WITH SCORE 54098.917
AT ITER 1219 NEW BEST:: SOT 304355 SOS 115917 HAS SOPS 115917 HAS SOUS 53960 HAS SOUPS 53960 WITH SCORE 54075.917
AT ITER 1235 NEW BEST:: SOT 304289 SOS 115851 HAS SOPS 115851 HAS SOUS 53894 HAS SOUPS 53894 WITH SCORE 54009.851
AT ITER 1241 NEW BEST:: SOT 304189 SOS 115751 HAS SOPS 115751 HAS SOUS 53794 HAS SOUPS 53794 WITH SCORE 53909.751
AT ITER 1245 NEW BEST:: SOT 304189 SOS 115523 HAS SOPS 115523 HAS SOUS 53718 HAS SOUPS 53718 WITH SCORE 53833.523
AT ITER 1248 NEW BEST:: SOT 304196 SOS 115470 HAS SOPS 115470 HAS SOUS 53713 HAS SOUPS 53713 WITH SCORE 53828.47
AT ITER 1264 NEW BEST:: SOT 304222 SOS 115496 HAS SOPS 115496 HAS SOUS 53709 HAS SOUPS 53709 WITH SCORE 53824.496
AT ITER 1364 NEW BEST:: SOT 304222 SOS 115487 HAS SOPS 115487 HAS SOUS 53700 HAS SOUPS 53700 WITH SCORE 53815.487
AT ITER 1405 NEW BEST:: SOT 304206 SOS 115374 HAS SOPS 115374 HAS SOUS 53651 HAS SOUPS 53651 WITH SCORE 53766.374
AT ITER 1407 NEW BEST:: SOT 304206 SOS 115350 HAS SOPS 115350 HAS SOUS 53643 HAS SOUPS 53643 WITH SCORE 53758.35
AT ITER 1412 NEW BEST:: SOT 304182 SOS 115206 HAS SOPS 115206 HAS SOUS 53595 HAS SOUPS 53595 WITH SCORE 53710.206
AT ITER 1416 NEW BEST:: SOT 304012 SOS 114866 HAS SOPS 114866 HAS SOUS 53391 HAS SOUPS 53391 WITH SCORE 53505.866
AT ITER 1434 NEW BEST:: SOT 304012 SOS 114818 HAS SOPS 114818 HAS SOUS 53375 HAS SOUPS 53375 WITH SCORE 53489.818
AT ITER 1479 NEW BEST:: SOT 304012 SOS 114778 HAS SOPS 114778 HAS SOUS 53375 HAS SOUPS 53375 WITH SCORE 53489.778
AT ITER 1504 NEW BEST:: SOT 304012 SOS 114778 HAS SOPS 114778 HAS SOUS 53305 HAS SOUPS 53305 WITH SCORE 53419.778
AT ITER 1535 NEW BEST:: SOT 304012 SOS 114736 HAS SOPS 114736 HAS SOUS 53291 HAS SOUPS 53291 WITH SCORE 53405.736
AT ITER 1558 NEW BEST:: SOT 303921 SOS 114309 HAS SOPS 114309 HAS SOUS 53088 HAS SOUPS 53088 WITH SCORE 53202.309
AT ITER 1581 NEW BEST:: SOT 303922 SOS 114245 HAS SOPS 114245 HAS SOUS 53076 HAS SOUPS 53076 WITH SCORE 53190.245
AT ITER 1600 NEW BEST:: SOT 303922 SOS 114221 HAS SOPS 114221 HAS SOUS 53068 HAS SOUPS 53068 WITH SCORE 53182.221
AT ITER 1614 NEW BEST:: SOT 303915 SOS 114172 HAS SOPS 114172 HAS SOUS 53047 HAS SOUPS 53047 WITH SCORE 53161.172
AT ITER 1632 NEW BEST:: SOT 303867 SOS 113890 HAS SOPS 113890 HAS SOUS 53041 HAS SOUPS 53041 WITH SCORE 53154.89
AT ITER 1635 NEW BEST:: SOT 303727 SOS 113709 HAS SOPS 113709 HAS SOUS 52976 HAS SOUPS 52976 WITH SCORE 53089.709
AT ITER 1653 NEW BEST:: SOT 303727 SOS 113565 HAS SOPS 113565 HAS SOUS 52928 HAS SOUPS 52928 WITH SCORE 53041.565
AT ITER 1674 NEW BEST:: SOT 303726 SOS 113559 HAS SOPS 113559 HAS SOUS 52926 HAS SOUPS 52926 WITH SCORE 53039.559
AT ITER 1738 NEW BEST:: SOT 303726 SOS 113553 HAS SOPS 113553 HAS SOUS 52924 HAS SOUPS 52924 WITH SCORE 53037.553
AT ITER 1749 NEW BEST:: SOT 303726 SOS 113553 HAS SOPS 113553 HAS SOUS 52856 HAS SOUPS 52856 WITH SCORE 52969.553
AT ITER 1760 NEW BEST:: SOT 303726 SOS 113367 HAS SOPS 113367 HAS SOUS 52794 HAS SOUPS 52794 WITH SCORE 52907.367
AT ITER 1763 NEW BEST:: SOT 303636 SOS 112937 HAS SOPS 112937 HAS SOUS 52724 HAS SOUPS 52724 WITH SCORE 52836.937
AT ITER 1791 NEW BEST:: SOT 303611 SOS 112882 HAS SOPS 112882 HAS SOUS 52689 HAS SOUPS 52689 WITH SCORE 52801.882
AT ITER 1799 NEW BEST:: SOT 303591 SOS 112932 HAS SOPS 112932 HAS SOUS 52683 HAS SOUPS 52683 WITH SCORE 52795.932
AT ITER 1813 NEW BEST:: SOT 303591 SOS 112932 HAS SOPS 112932 HAS SOUS 52633 HAS SOUPS 52633 WITH SCORE 52745.932
AT ITER 1831 NEW BEST:: SOT 303591 SOS 112932 HAS SOPS 112932 HAS SOUS 52585 HAS SOUPS 52585 WITH SCORE 52697.932
AT ITER 1860 NEW BEST:: SOT 303591 SOS 112932 HAS SOPS 112932 HAS SOUS 52560 HAS SOUPS 52560 WITH SCORE 52672.932
AT ITER 1888 NEW BEST:: SOT 303575 SOS 112916 HAS SOPS 112916 HAS SOUS 52544 HAS SOUPS 52544 WITH SCORE 52656.916
AT ITER 1900 NEW BEST:: SOT 303559 SOS 112900 HAS SOPS 112900 HAS SOUS 52512 HAS SOUPS 52512 WITH SCORE 52624.9
AT ITER 1919 NEW BEST:: SOT 303230 SOS 112318 HAS SOPS 112318 HAS SOUS 52190 HAS SOUPS 52190 WITH SCORE 52302.318
AT ITER 1935 NEW BEST:: SOT 303230 SOS 112290 HAS SOPS 112290 HAS SOUS 52162 HAS SOUPS 52162 WITH SCORE 52274.29
AT ITER 1950 NEW BEST:: SOT 303155 SOS 112228 HAS SOPS 112228 HAS SOUS 52100 HAS SOUPS 52100 WITH SCORE 52212.228
AT ITER 1973 NEW BEST:: SOT 303105 SOS 112178 HAS SOPS 112178 HAS SOUS 52050 HAS SOUPS 52050 WITH SCORE 52162.178
AT ITER 1975 NEW BEST:: SOT 303089 SOS 112162 HAS SOPS 112162 HAS SOUS 52034 HAS SOUPS 52034 WITH SCORE 52146.162
AT ITER 1982 NEW BEST:: SOT 303100 SOS 111903 HAS SOPS 111903 HAS SOUS 52003 HAS SOUPS 52003 WITH SCORE 52114.903
AT ITER 2004 NEW BEST:: SOT 302870 SOS 111683 HAS SOPS 111683 HAS SOUS 51833 HAS SOUPS 51833 WITH SCORE 51944.683
AT ITER 2010 NEW BEST:: SOT 302839 SOS 111466 HAS SOPS 111466 HAS SOUS 51740 HAS SOUPS 51740 WITH SCORE 51851.466
AT ITER 2014 NEW BEST:: SOT 302821 SOS 111358 HAS SOPS 111358 HAS SOUS 51704 HAS SOUPS 51704 WITH SCORE 51815.358
AT ITER 2039 NEW BEST:: SOT 302821 SOS 111293 HAS SOPS 111293 HAS SOUS 51691 HAS SOUPS 51691 WITH SCORE 51802.293
AT ITER 2047 NEW BEST:: SOT 302869 SOS 111343 HAS SOPS 111343 HAS SOUS 51561 HAS SOUPS 51561 WITH SCORE 51672.343
AT ITER 2049 NEW BEST:: SOT 302869 SOS 111343 HAS SOPS 111343 HAS SOUS 51542 HAS SOUPS 51542 WITH SCORE 51653.343
AT ITER 2054 NEW BEST:: SOT 302809 SOS 111406 HAS SOPS 111406 HAS SOUS 51497 HAS SOUPS 51497 WITH SCORE 51608.406
AT ITER 2072 NEW BEST:: SOT 302804 SOS 111366 HAS SOPS 111366 HAS SOUS 51477 HAS SOUPS 51477 WITH SCORE 51588.366
AT ITER 2086 NEW BEST:: SOT 302796 SOS 111318 HAS SOPS 111318 HAS SOUS 51461 HAS SOUPS 51461 WITH SCORE 51572.318
AT ITER 2095 NEW BEST:: SOT 302796 SOS 111363 HAS SOPS 111363 HAS SOUS 51425 HAS SOUPS 51425 WITH SCORE 51536.363
AT ITER 2096 NEW BEST:: SOT 302783 SOS 111337 HAS SOPS 111337 HAS SOUS 51399 HAS SOUPS 51399 WITH SCORE 51510.337
AT ITER 2102 NEW BEST:: SOT 302563 SOS 110897 HAS SOPS 110897 HAS SOUS 51135 HAS SOUPS 51135 WITH SCORE 51245.897
AT ITER 2125 NEW BEST:: SOT 302476 SOS 110810 HAS SOPS 110810 HAS SOUS 51069 HAS SOUPS 51069 WITH SCORE 51179.81
AT ITER 2216 NEW BEST:: SOT 302476 SOS 110774 HAS SOPS 110774 HAS SOUS 51057 HAS SOUPS 51057 WITH SCORE 51167.774
AT ITER 2225 NEW BEST:: SOT 302437 SOS 110579 HAS SOPS 110579 HAS SOUS 50966 HAS SOUPS 50966 WITH SCORE 51076.579
AT ITER 2227 NEW BEST:: SOT 302368 SOS 110485 HAS SOPS 110485 HAS SOUS 50892 HAS SOUPS 50892 WITH SCORE 51002.485
AT ITER 2249 NEW BEST:: SOT 302352 SOS 110453 HAS SOPS 110453 HAS SOUS 50796 HAS SOUPS 50796 WITH SCORE 50906.453
AT ITER 2250 NEW BEST:: SOT 302352 SOS 110453 HAS SOPS 110453 HAS SOUS 50791 HAS SOUPS 50791 WITH SCORE 50901.453
AT ITER 2256 NEW BEST:: SOT 302157 SOS 110258 HAS SOPS 110258 HAS SOUS 50596 HAS SOUPS 50596 WITH SCORE 50706.258
AT ITER 2278 NEW BEST:: SOT 302153 SOS 110254 HAS SOPS 110254 HAS SOUS 50592 HAS SOUPS 50592 WITH SCORE 50702.254
AT ITER 2293 NEW BEST:: SOT 302153 SOS 110164 HAS SOPS 110164 HAS SOUS 50592 HAS SOUPS 50592 WITH SCORE 50702.164
AT ITER 2294 NEW BEST:: SOT 302123 SOS 110128 HAS SOPS 110128 HAS SOUS 50556 HAS SOUPS 50556 WITH SCORE 50666.128
AT ITER 2297 NEW BEST:: SOT 302085 SOS 110120 HAS SOPS 110120 HAS SOUS 50524 HAS SOUPS 50524 WITH SCORE 50634.12
AT ITER 2318 NEW BEST:: SOT 302071 SOS 110106 HAS SOPS 110106 HAS SOUS 50510 HAS SOUPS 50510 WITH SCORE 50620.106
AT ITER 2335 NEW BEST:: SOT 301890 SOS 109944 HAS SOPS 109944 HAS SOUS 50428 HAS SOUPS 50428 WITH SCORE 50537.944
AT ITER 2340 NEW BEST:: SOT 301890 SOS 109944 HAS SOPS 109944 HAS SOUS 50420 HAS SOUPS 50420 WITH SCORE 50529.944
AT ITER 2342 NEW BEST:: SOT 301890 SOS 109824 HAS SOPS 109824 HAS SOUS 50416 HAS SOUPS 50416 WITH SCORE 50525.824
AT ITER 2368 NEW BEST:: SOT 301890 SOS 109824 HAS SOPS 109824 HAS SOUS 50394 HAS SOUPS 50394 WITH SCORE 50503.824
AT ITER 2391 NEW BEST:: SOT 301864 SOS 109798 HAS SOPS 109798 HAS SOUS 50367 HAS SOUPS 50367 WITH SCORE 50476.798
AT ITER 2411 NEW BEST:: SOT 301590 SOS 109514 HAS SOPS 109514 HAS SOUS 50187 HAS SOUPS 50187 WITH SCORE 50296.514
AT ITER 2440 NEW BEST:: SOT 301510 SOS 109274 HAS SOPS 109274 HAS SOUS 50133 HAS SOUPS 50133 WITH SCORE 50242.274
AT ITER 2442 NEW BEST:: SOT 301435 SOS 109109 HAS SOPS 109109 HAS SOUS 50028 HAS SOUPS 50028 WITH SCORE 50137.109
AT ITER 2469 NEW BEST:: SOT 301435 SOS 109109 HAS SOPS 109109 HAS SOUS 50012 HAS SOUPS 50012 WITH SCORE 50121.109
AT ITER 2500 NEW BEST:: SOT 301435 SOS 109109 HAS SOPS 109109 HAS SOUS 50007 HAS SOUPS 50007 WITH SCORE 50116.109
AT ITER 2503 NEW BEST:: SOT 301429 SOS 109073 HAS SOPS 109073 HAS SOUS 49995 HAS SOUPS 49995 WITH SCORE 50104.073
AT ITER 2568 NEW BEST:: SOT 301429 SOS 109073 HAS SOPS 109073 HAS SOUS 49949 HAS SOUPS 49949 WITH SCORE 50058.073
AT ITER 2572 NEW BEST:: SOT 301417 SOS 109061 HAS SOPS 109061 HAS SOUS 49937 HAS SOUPS 49937 WITH SCORE 50046.061
AT ITER 2587 NEW BEST:: SOT 301388 SOS 109032 HAS SOPS 109032 HAS SOUS 49795 HAS SOUPS 49795 WITH SCORE 49904.032
AT ITER 2598 NEW BEST:: SOT 301385 SOS 109026 HAS SOPS 109026 HAS SOUS 49774 HAS SOUPS 49774 WITH SCORE 49883.026
AT ITER 2607 NEW BEST:: SOT 301362 SOS 108888 HAS SOPS 108888 HAS SOUS 49728 HAS SOUPS 49728 WITH SCORE 49836.888
AT ITER 2612 NEW BEST:: SOT 301081 SOS 108406 HAS SOPS 108406 HAS SOUS 49703 HAS SOUPS 49703 WITH SCORE 49811.406
AT ITER 2644 NEW BEST:: SOT 301066 SOS 108391 HAS SOPS 108391 HAS SOUS 49696 HAS SOUPS 49696 WITH SCORE 49804.391
AT ITER 2664 NEW BEST:: SOT 301052 SOS 108377 HAS SOPS 108377 HAS SOUS 49696 HAS SOUPS 49696 WITH SCORE 49804.377
AT ITER 2706 NEW BEST:: SOT 301052 SOS 108305 HAS SOPS 108305 HAS SOUS 49672 HAS SOUPS 49672 WITH SCORE 49780.305
AT ITER 2716 NEW BEST:: SOT 300958 SOS 108225 HAS SOPS 108225 HAS SOUS 49592 HAS SOUPS 49592 WITH SCORE 49700.225
AT ITER 2728 NEW BEST:: SOT 300958 SOS 108225 HAS SOPS 108225 HAS SOUS 49566 HAS SOUPS 49566 WITH SCORE 49674.225
AT ITER 2736 NEW BEST:: SOT 300958 SOS 108225 HAS SOPS 108225 HAS SOUS 49547 HAS SOUPS 49547 WITH SCORE 49655.225
AT ITER 2756 NEW BEST:: SOT 300958 SOS 108260 HAS SOPS 108260 HAS SOUS 49526 HAS SOUPS 49526 WITH SCORE 49634.26
AT ITER 2796 NEW BEST:: SOT 300958 SOS 108270 HAS SOPS 108270 HAS SOUS 49516 HAS SOUPS 49516 WITH SCORE 49624.27
AT ITER 2872 NEW BEST:: SOT 300870 SOS 108158 HAS SOPS 108158 HAS SOUS 49360 HAS SOUPS 49360 WITH SCORE 49468.158
AT ITER 2951 NEW BEST:: SOT 300594 SOS 107878 HAS SOPS 107878 HAS SOUS 49160 HAS SOUPS 49160 WITH SCORE 49267.878
AT ITER 2965 NEW BEST:: SOT 300574 SOS 107738 HAS SOPS 107738 HAS SOUS 49100 HAS SOUPS 49100 WITH SCORE 49207.738
AT ITER 3011 NEW BEST:: SOT 300606 SOS 107786 HAS SOPS 107786 HAS SOUS 49084 HAS SOUPS 49084 WITH SCORE 49191.786
AT ITER 3014 NEW BEST:: SOT 300587 SOS 107767 HAS SOPS 107767 HAS SOUS 49065 HAS SOUPS 49065 WITH SCORE 49172.767
AT ITER 3038 NEW BEST:: SOT 300587 SOS 107975 HAS SOPS 107975 HAS SOUS 48852 HAS SOUPS 48852 WITH SCORE 48959.975
AT ITER 3078 NEW BEST:: SOT 300392 SOS 107558 HAS SOPS 107558 HAS SOUS 48583 HAS SOUPS 48583 WITH SCORE 48690.558
AT ITER 3109 NEW BEST:: SOT 300374 SOS 107540 HAS SOPS 107540 HAS SOUS 48565 HAS SOUPS 48565 WITH SCORE 48672.54
AT ITER 3110 NEW BEST:: SOT 300374 SOS 107540 HAS SOPS 107540 HAS SOUS 48563 HAS SOUPS 48563 WITH SCORE 48670.54
AT ITER 3111 NEW BEST:: SOT 300432 SOS 107576 HAS SOPS 107576 HAS SOUS 48489 HAS SOUPS 48489 WITH SCORE 48596.576
AT ITER 3115 NEW BEST:: SOT 300445 SOS 107589 HAS SOPS 107589 HAS SOUS 48445 HAS SOUPS 48445 WITH SCORE 48552.589
AT ITER 3123 NEW BEST:: SOT 300426 SOS 107570 HAS SOPS 107570 HAS SOUS 48428 HAS SOUPS 48428 WITH SCORE 48535.57
AT ITER 3148 NEW BEST:: SOT 300422 SOS 107564 HAS SOPS 107564 HAS SOUS 48424 HAS SOUPS 48424 WITH SCORE 48531.564
AT ITER 3232 NEW BEST:: SOT 300361 SOS 107503 HAS SOPS 107503 HAS SOUS 48400 HAS SOUPS 48400 WITH SCORE 48507.503
AT ITER 3250 NEW BEST:: SOT 300281 SOS 107331 HAS SOPS 107331 HAS SOUS 48316 HAS SOUPS 48316 WITH SCORE 48423.331
AT ITER 3285 NEW BEST:: SOT 300255 SOS 107175 HAS SOPS 107175 HAS SOUS 48264 HAS SOUPS 48264 WITH SCORE 48371.175
AT ITER 3314 NEW BEST:: SOT 300230 SOS 107025 HAS SOPS 107025 HAS SOUS 48210 HAS SOUPS 48210 WITH SCORE 48317.025
AT ITER 3333 NEW BEST:: SOT 300230 SOS 107025 HAS SOPS 107025 HAS SOUS 48181 HAS SOUPS 48181 WITH SCORE 48288.025
AT ITER 3366 NEW BEST:: SOT 300229 SOS 107018 HAS SOPS 107018 HAS SOUS 48178 HAS SOUPS 48178 WITH SCORE 48285.018
AT ITER 3376 NEW BEST:: SOT 300222 SOS 107014 HAS SOPS 107014 HAS SOUS 48142 HAS SOUPS 48142 WITH SCORE 48249.014
AT ITER 3380 NEW BEST:: SOT 300177 SOS 106960 HAS SOPS 106960 HAS SOUS 48134 HAS SOUPS 48134 WITH SCORE 48240.96
AT ITER 3401 NEW BEST:: SOT 300085 SOS 106390 HAS SOPS 106390 HAS SOUS 48096 HAS SOUPS 48096 WITH SCORE 48202.39
AT ITER 3409 NEW BEST:: SOT 300036 SOS 106348 HAS SOPS 106348 HAS SOUS 48082 HAS SOUPS 48082 WITH SCORE 48188.348
AT ITER 3444 NEW BEST:: SOT 300036 SOS 106294 HAS SOPS 106294 HAS SOUS 48064 HAS SOUPS 48064 WITH SCORE 48170.294
AT ITER 3451 NEW BEST:: SOT 300012 SOS 106270 HAS SOPS 106270 HAS SOUS 48015 HAS SOUPS 48015 WITH SCORE 48121.27
AT ITER 3510 NEW BEST:: SOT 300018 SOS 106273 HAS SOPS 106273 HAS SOUS 48000 HAS SOUPS 48000 WITH SCORE 48106.273
AT ITER 3538 NEW BEST:: SOT 300018 SOS 106129 HAS SOPS 106129 HAS SOUS 47952 HAS SOUPS 47952 WITH SCORE 48058.129
AT ITER 3578 NEW BEST:: SOT 300018 SOS 106145 HAS SOPS 106145 HAS SOUS 47932 HAS SOUPS 47932 WITH SCORE 48038.145
AT ITER 3603 NEW BEST:: SOT 300015 SOS 106127 HAS SOPS 106127 HAS SOUS 47926 HAS SOUPS 47926 WITH SCORE 48032.127
AT ITER 3624 NEW BEST:: SOT 299963 SOS 105815 HAS SOPS 105815 HAS SOUS 47822 HAS SOUPS 47822 WITH SCORE 47927.815
AT ITER 3634 NEW BEST:: SOT 299963 SOS 105659 HAS SOPS 105659 HAS SOUS 47770 HAS SOUPS 47770 WITH SCORE 47875.659
AT ITER 3641 NEW BEST:: SOT 299952 SOS 105625 HAS SOPS 105625 HAS SOUS 47668 HAS SOUPS 47668 WITH SCORE 47773.625
AT ITER 3678 NEW BEST:: SOT 299897 SOS 105559 HAS SOPS 105559 HAS SOUS 47486 HAS SOUPS 47486 WITH SCORE 47591.559
AT ITER 3746 NEW BEST:: SOT 299897 SOS 105559 HAS SOPS 105559 HAS SOUS 47475 HAS SOUPS 47475 WITH SCORE 47580.559
AT ITER 3751 NEW BEST:: SOT 299928 SOS 105629 HAS SOPS 105629 HAS SOUS 47437 HAS SOUPS 47437 WITH SCORE 47542.629
AT ITER 3752 NEW BEST:: SOT 299928 SOS 105419 HAS SOPS 105419 HAS SOUS 47367 HAS SOUPS 47367 WITH SCORE 47472.419
AT ITER 3755 NEW BEST:: SOT 299928 SOS 105419 HAS SOPS 105419 HAS SOUS 47351 HAS SOUPS 47351 WITH SCORE 47456.419
AT ITER 3756 NEW BEST:: SOT 299928 SOS 105419 HAS SOPS 105419 HAS SOUS 47305 HAS SOUPS 47305 WITH SCORE 47410.419
AT ITER 3791 NEW BEST:: SOT 299928 SOS 105419 HAS SOPS 105419 HAS SOUS 47282 HAS SOUPS 47282 WITH SCORE 47387.419
AT ITER 3809 NEW BEST:: SOT 299892 SOS 105221 HAS SOPS 105221 HAS SOUS 47264 HAS SOUPS 47264 WITH SCORE 47369.221
AT ITER 3812 NEW BEST:: SOT 299827 SOS 105043 HAS SOPS 105043 HAS SOUS 47259 HAS SOUPS 47259 WITH SCORE 47364.043
AT ITER 3835 NEW BEST:: SOT 299808 SOS 104910 HAS SOPS 104910 HAS SOUS 47202 HAS SOUPS 47202 WITH SCORE 47306.91
AT ITER 3875 NEW BEST:: SOT 299792 SOS 104886 HAS SOPS 104886 HAS SOUS 47146 HAS SOUPS 47146 WITH SCORE 47250.886
AT ITER 3921 NEW BEST:: SOT 299776 SOS 104854 HAS SOPS 104854 HAS SOUS 47114 HAS SOUPS 47114 WITH SCORE 47218.854
AT ITER 3978 NEW BEST:: SOT 299631 SOS 104716 HAS SOPS 104716 HAS SOUS 46984 HAS SOUPS 46984 WITH SCORE 47088.716
AT ITER 4012 NEW BEST:: SOT 299626 SOS 104686 HAS SOPS 104686 HAS SOUS 46974 HAS SOUPS 46974 WITH SCORE 47078.686
AT ITER 4033 NEW BEST:: SOT 299476 SOS 104358 HAS SOPS 104358 HAS SOUS 46822 HAS SOUPS 46822 WITH SCORE 46926.358
AT ITER 4039 NEW BEST:: SOT 299468 SOS 104320 HAS SOPS 104320 HAS SOUS 46796 HAS SOUPS 46796 WITH SCORE 46900.32
AT ITER 4041 NEW BEST:: SOT 299454 SOS 104236 HAS SOPS 104236 HAS SOUS 46768 HAS SOUPS 46768 WITH SCORE 46872.236
AT ITER 4056 NEW BEST:: SOT 299454 SOS 103960 HAS SOPS 103960 HAS SOUS 46676 HAS SOUPS 46676 WITH SCORE 46779.96
AT ITER 4057 NEW BEST:: SOT 299384 SOS 103887 HAS SOPS 103887 HAS SOUS 46592 HAS SOUPS 46592 WITH SCORE 46695.887
AT ITER 4062 NEW BEST:: SOT 299339 SOS 103818 HAS SOPS 103818 HAS SOUS 46539 HAS SOUPS 46539 WITH SCORE 46642.818
AT ITER 4083 NEW BEST:: SOT 299339 SOS 103758 HAS SOPS 103758 HAS SOUS 46539 HAS SOUPS 46539 WITH SCORE 46642.758
AT ITER 4090 NEW BEST:: SOT 299338 SOS 103757 HAS SOPS 103757 HAS SOUS 46538 HAS SOUPS 46538 WITH SCORE 46641.757
AT ITER 4092 NEW BEST:: SOT 299067 SOS 103503 HAS SOPS 103503 HAS SOUS 46352 HAS SOUPS 46352 WITH SCORE 46455.503
AT ITER 4097 NEW BEST:: SOT 299067 SOS 103598 HAS SOPS 103598 HAS SOUS 46276 HAS SOUPS 46276 WITH SCORE 46379.598
AT ITER 4101 NEW BEST:: SOT 299057 SOS 103588 HAS SOPS 103588 HAS SOUS 46266 HAS SOUPS 46266 WITH SCORE 46369.588
AT ITER 4141 NEW BEST:: SOT 299047 SOS 103576 HAS SOPS 103576 HAS SOUS 46256 HAS SOUPS 46256 WITH SCORE 46359.576
AT ITER 4173 NEW BEST:: SOT 299047 SOS 103552 HAS SOPS 103552 HAS SOUS 46248 HAS SOUPS 46248 WITH SCORE 46351.552
AT ITER 4219 NEW BEST:: SOT 299019 SOS 103384 HAS SOPS 103384 HAS SOUS 46192 HAS SOUPS 46192 WITH SCORE 46295.384
AT ITER 4236 NEW BEST:: SOT 298995 SOS 103240 HAS SOPS 103240 HAS SOUS 46128 HAS SOUPS 46128 WITH SCORE 46231.24
AT ITER 4269 NEW BEST:: SOT 298971 SOS 103198 HAS SOPS 103198 HAS SOUS 46098 HAS SOUPS 46098 WITH SCORE 46201.198
AT ITER 4270 NEW BEST:: SOT 298971 SOS 103181 HAS SOPS 103181 HAS SOUS 46069 HAS SOUPS 46069 WITH SCORE 46172.181
AT ITER 4314 NEW BEST:: SOT 298971 SOS 103181 HAS SOPS 103181 HAS SOUS 46061 HAS SOUPS 46061 WITH SCORE 46164.181
AT ITER 4358 NEW BEST:: SOT 298882 SOS 102951 HAS SOPS 102951 HAS SOUS 46054 HAS SOUPS 46054 WITH SCORE 46156.951
AT ITER 4363 NEW BEST:: SOT 298871 SOS 102940 HAS SOPS 102940 HAS SOUS 46054 HAS SOUPS 46054 WITH SCORE 46156.94
AT ITER 4388 NEW BEST:: SOT 298836 SOS 102908 HAS SOPS 102908 HAS SOUS 46034 HAS SOUPS 46034 WITH SCORE 46136.908
AT ITER 4403 NEW BEST:: SOT 298818 SOS 102890 HAS SOPS 102890 HAS SOUS 46023 HAS SOUPS 46023 WITH SCORE 46125.89
AT ITER 4420 NEW BEST:: SOT 298818 SOS 102824 HAS SOPS 102824 HAS SOUS 46001 HAS SOUPS 46001 WITH SCORE 46103.824
AT ITER 4437 NEW BEST:: SOT 298814 SOS 102802 HAS SOPS 102802 HAS SOUS 45999 HAS SOUPS 45999 WITH SCORE 46101.802
AT ITER 4442 NEW BEST:: SOT 298814 SOS 102802 HAS SOPS 102802 HAS SOUS 45956 HAS SOUPS 45956 WITH SCORE 46058.802
AT ITER 4449 NEW BEST:: SOT 298857 SOS 102872 HAS SOPS 102872 HAS SOUS 45942 HAS SOUPS 45942 WITH SCORE 46044.872
AT ITER 4451 NEW BEST:: SOT 298857 SOS 102860 HAS SOPS 102860 HAS SOUS 45938 HAS SOUPS 45938 WITH SCORE 46040.86
AT ITER 4475 NEW BEST:: SOT 298809 SOS 102618 HAS SOPS 102618 HAS SOUS 45924 HAS SOUPS 45924 WITH SCORE 46026.618
AT ITER 4576 NEW BEST:: SOT 298759 SOS 102527 HAS SOPS 102527 HAS SOUS 45863 HAS SOUPS 45863 WITH SCORE 45965.527
AT ITER 4654 NEW BEST:: SOT 298759 SOS 102467 HAS SOPS 102467 HAS SOUS 45851 HAS SOUPS 45851 WITH SCORE 45953.467
AT ITER 4667 NEW BEST:: SOT 298747 SOS 102395 HAS SOPS 102395 HAS SOUS 45827 HAS SOUPS 45827 WITH SCORE 45929.395
AT ITER 4673 NEW BEST:: SOT 298732 SOS 102334 HAS SOPS 102334 HAS SOUS 45786 HAS SOUPS 45786 WITH SCORE 45888.334
AT ITER 4690 NEW BEST:: SOT 298679 SOS 101655 HAS SOPS 101655 HAS SOUS 45709 HAS SOUPS 45709 WITH SCORE 45810.655
AT ITER 4744 NEW BEST:: SOT 298663 SOS 101543 HAS SOPS 101543 HAS SOUS 45661 HAS SOUPS 45661 WITH SCORE 45762.543
AT ITER 4748 NEW BEST:: SOT 298653 SOS 101531 HAS SOPS 101531 HAS SOUS 45648 HAS SOUPS 45648 WITH SCORE 45749.531
AT ITER 4801 NEW BEST:: SOT 298647 SOS 101495 HAS SOPS 101495 HAS SOUS 45636 HAS SOUPS 45636 WITH SCORE 45737.495
AT ITER 4928 NEW BEST:: SOT 298627 SOS 101465 HAS SOPS 101465 HAS SOUS 45602 HAS SOUPS 45602 WITH SCORE 45703.465
AT ITER 4931 NEW BEST:: SOT 298587 SOS 101425 HAS SOPS 101425 HAS SOUS 45514 HAS SOUPS 45514 WITH SCORE 45615.425
AT ITER 5009 NEW BEST:: SOT 298583 SOS 101431 HAS SOPS 101431 HAS SOUS 45455 HAS SOUPS 45455 WITH SCORE 45556.431
AT ITER 5026 NEW BEST:: SOT 298589 SOS 101421 HAS SOPS 101421 HAS SOUS 45443 HAS SOUPS 45443 WITH SCORE 45544.421
AT ITER 5047 NEW BEST:: SOT 298559 SOS 101211 HAS SOPS 101211 HAS SOUS 45423 HAS SOUPS 45423 WITH SCORE 45524.211
AT ITER 5055 NEW BEST:: SOT 298553 SOS 101165 HAS SOPS 101165 HAS SOUS 45401 HAS SOUPS 45401 WITH SCORE 45502.165
AT ITER 5057 NEW BEST:: SOT 298469 SOS 101089 HAS SOPS 101089 HAS SOUS 45325 HAS SOUPS 45325 WITH SCORE 45426.089
AT ITER 5067 NEW BEST:: SOT 298469 SOS 101084 HAS SOPS 101084 HAS SOUS 45295 HAS SOUPS 45295 WITH SCORE 45396.084
AT ITER 5072 NEW BEST:: SOT 298494 SOS 101234 HAS SOPS 101234 HAS SOUS 45254 HAS SOUPS 45254 WITH SCORE 45355.234
AT ITER 5077 NEW BEST:: SOT 298494 SOS 101209 HAS SOPS 101209 HAS SOUS 45249 HAS SOUPS 45249 WITH SCORE 45350.209
AT ITER 5141 NEW BEST:: SOT 298462 SOS 101161 HAS SOPS 101161 HAS SOUS 45217 HAS SOUPS 45217 WITH SCORE 45318.161
AT ITER 5197 NEW BEST:: SOT 298437 SOS 101131 HAS SOPS 101131 HAS SOUS 45167 HAS SOUPS 45167 WITH SCORE 45268.131
AT ITER 5208 NEW BEST:: SOT 298422 SOS 101088 HAS SOPS 101088 HAS SOUS 45116 HAS SOUPS 45116 WITH SCORE 45217.088
AT ITER 5219 NEW BEST:: SOT 298403 SOS 100974 HAS SOPS 100974 HAS SOUS 45078 HAS SOUPS 45078 WITH SCORE 45178.974
AT ITER 5284 NEW BEST:: SOT 298427 SOS 100998 HAS SOPS 100998 HAS SOUS 45030 HAS SOUPS 45030 WITH SCORE 45130.998
AT ITER 5293 NEW BEST:: SOT 298412 SOS 100983 HAS SOPS 100983 HAS SOUS 44991 HAS SOUPS 44991 WITH SCORE 45091.983
AT ITER 5389 NEW BEST:: SOT 298047 SOS 100228 HAS SOPS 100228 HAS SOUS 44616 HAS SOUPS 44616 WITH SCORE 44716.228
AT ITER 5431 NEW BEST:: SOT 298012 SOS 100121 HAS SOPS 100121 HAS SOUS 44565 HAS SOUPS 44565 WITH SCORE 44665.121
AT ITER 5466 NEW BEST:: SOT 298010 SOS 100109 HAS SOPS 100109 HAS SOUS 44561 HAS SOUPS 44561 WITH SCORE 44661.109
AT ITER 5497 NEW BEST:: SOT 298002 SOS 100105 HAS SOPS 100105 HAS SOUS 44513 HAS SOUPS 44513 WITH SCORE 44613.105
AT ITER 5499 NEW BEST:: SOT 297953 SOS 99999 HAS SOPS 99999 HAS SOUS 44470 HAS SOUPS 44470 WITH SCORE 44569.999
AT ITER 5545 NEW BEST:: SOT 297936 SOS 99897 HAS SOPS 99897 HAS SOUS 44436 HAS SOUPS 44436 WITH SCORE 44535.897
AT ITER 5632 NEW BEST:: SOT 297910 SOS 99871 HAS SOPS 99871 HAS SOUS 44410 HAS SOUPS 44410 WITH SCORE 44509.871
AT ITER 5663 NEW BEST:: SOT 297905 SOS 99865 HAS SOPS 99865 HAS SOUS 44399 HAS SOUPS 44399 WITH SCORE 44498.865
AT ITER 5668 NEW BEST:: SOT 297870 SOS 99823 HAS SOPS 99823 HAS SOUS 44322 HAS SOUPS 44322 WITH SCORE 44421.823
AT ITER 5684 NEW BEST:: SOT 297835 SOS 99781 HAS SOPS 99781 HAS SOUS 44252 HAS SOUPS 44252 WITH SCORE 44351.781
AT ITER 5724 NEW BEST:: SOT 297800 SOS 99657 HAS SOPS 99657 HAS SOUS 44200 HAS SOUPS 44200 WITH SCORE 44299.657
AT ITER 5759 NEW BEST:: SOT 297800 SOS 99597 HAS SOPS 99597 HAS SOUS 44180 HAS SOUPS 44180 WITH SCORE 44279.597
AT ITER 5804 NEW BEST:: SOT 297799 SOS 99593 HAS SOPS 99593 HAS SOUS 44160 HAS SOUPS 44160 WITH SCORE 44259.593
AT ITER 5840 NEW BEST:: SOT 297739 SOS 99513 HAS SOPS 99513 HAS SOUS 44096 HAS SOUPS 44096 WITH SCORE 44195.513
AT ITER 5871 NEW BEST:: SOT 297739 SOS 99513 HAS SOPS 99513 HAS SOUS 44088 HAS SOUPS 44088 WITH SCORE 44187.513
AT ITER 5900 NEW BEST:: SOT 297739 SOS 99507 HAS SOPS 99507 HAS SOUS 44086 HAS SOUPS 44086 WITH SCORE 44185.507
AT ITER 5911 NEW BEST:: SOT 297739 SOS 99507 HAS SOPS 99507 HAS SOUS 44077 HAS SOUPS 44077 WITH SCORE 44176.507
AT ITER 6002 NEW BEST:: SOT 297738 SOS 99501 HAS SOPS 99501 HAS SOUS 44075 HAS SOUPS 44075 WITH SCORE 44174.501
AT ITER 6059 NEW BEST:: SOT 297733 SOS 99471 HAS SOPS 99471 HAS SOUS 44065 HAS SOUPS 44065 WITH SCORE 44164.471
AT ITER 6060 NEW BEST:: SOT 297658 SOS 99251 HAS SOPS 99251 HAS SOUS 44004 HAS SOUPS 44004 WITH SCORE 44103.251
AT ITER 6102 NEW BEST:: SOT 297603 SOS 99130 HAS SOPS 99130 HAS SOUS 43927 HAS SOUPS 43927 WITH SCORE 44026.13
AT ITER 6105 NEW BEST:: SOT 297593 SOS 99070 HAS SOPS 99070 HAS SOUS 43907 HAS SOUPS 43907 WITH SCORE 44006.07
AT ITER 6124 NEW BEST:: SOT 297577 SOS 98942 HAS SOPS 98942 HAS SOUS 43843 HAS SOUPS 43843 WITH SCORE 43941.942
AT ITER 6149 NEW BEST:: SOT 297569 SOS 98900 HAS SOPS 98900 HAS SOUS 43841 HAS SOUPS 43841 WITH SCORE 43939.9
AT ITER 6207 NEW BEST:: SOT 297566 SOS 98894 HAS SOPS 98894 HAS SOUS 43823 HAS SOUPS 43823 WITH SCORE 43921.894
AT ITER 6281 NEW BEST:: SOT 297556 SOS 98884 HAS SOPS 98884 HAS SOUS 43806 HAS SOUPS 43806 WITH SCORE 43904.884
AT ITER 6324 NEW BEST:: SOT 297556 SOS 98836 HAS SOPS 98836 HAS SOUS 43790 HAS SOUPS 43790 WITH SCORE 43888.836
AT ITER 6400 NEW BEST:: SOT 297535 SOS 98766 HAS SOPS 98766 HAS SOUS 43772 HAS SOUPS 43772 WITH SCORE 43870.766
AT ITER 6419 NEW BEST:: SOT 297481 SOS 98710 HAS SOPS 98710 HAS SOUS 43728 HAS SOUPS 43728 WITH SCORE 43826.71
AT ITER 6424 NEW BEST:: SOT 297451 SOS 98674 HAS SOPS 98674 HAS SOUS 43661 HAS SOUPS 43661 WITH SCORE 43759.674
AT ITER 6451 NEW BEST:: SOT 297451 SOS 98674 HAS SOPS 98674 HAS SOUS 43659 HAS SOUPS 43659 WITH SCORE 43757.674
AT ITER 6466 NEW BEST:: SOT 297437 SOS 98590 HAS SOPS 98590 HAS SOUS 43631 HAS SOUPS 43631 WITH SCORE 43729.59
AT ITER 6482 NEW BEST:: SOT 297429 SOS 98582 HAS SOPS 98582 HAS SOUS 43601 HAS SOUPS 43601 WITH SCORE 43699.582
AT ITER 6497 NEW BEST:: SOT 297407 SOS 98450 HAS SOPS 98450 HAS SOUS 43557 HAS SOUPS 43557 WITH SCORE 43655.45
AT ITER 6528 NEW BEST:: SOT 297406 SOS 98444 HAS SOPS 98444 HAS SOUS 43555 HAS SOUPS 43555 WITH SCORE 43653.444
AT ITER 6539 NEW BEST:: SOT 297430 SOS 98278 HAS SOPS 98278 HAS SOUS 43541 HAS SOUPS 43541 WITH SCORE 43639.278
AT ITER 6587 NEW BEST:: SOT 297445 SOS 98296 HAS SOPS 98296 HAS SOUS 43538 HAS SOUPS 43538 WITH SCORE 43636.296
AT ITER 6607 NEW BEST:: SOT 297440 SOS 98291 HAS SOPS 98291 HAS SOUS 43533 HAS SOUPS 43533 WITH SCORE 43631.291
AT ITER 6616 NEW BEST:: SOT 297440 SOS 98291 HAS SOPS 98291 HAS SOUS 43523 HAS SOUPS 43523 WITH SCORE 43621.291
AT ITER 6630 NEW BEST:: SOT 297317 SOS 98168 HAS SOPS 98168 HAS SOUS 43391 HAS SOUPS 43391 WITH SCORE 43489.168
AT ITER 6632 NEW BEST:: SOT 297288 SOS 98139 HAS SOPS 98139 HAS SOUS 43371 HAS SOUPS 43371 WITH SCORE 43469.139
AT ITER 6675 NEW BEST:: SOT 297141 SOS 98013 HAS SOPS 98013 HAS SOUS 43329 HAS SOUPS 43329 WITH SCORE 43427.013
AT ITER 6712 NEW BEST:: SOT 297134 SOS 98006 HAS SOPS 98006 HAS SOUS 43329 HAS SOUPS 43329 WITH SCORE 43427.006
AT ITER 6732 NEW BEST:: SOT 297134 SOS 98006 HAS SOPS 98006 HAS SOUS 43327 HAS SOUPS 43327 WITH SCORE 43425.006
AT ITER 6756 NEW BEST:: SOT 297134 SOS 98070 HAS SOPS 98070 HAS SOUS 43323 HAS SOUPS 43323 WITH SCORE 43421.07
AT ITER 6761 NEW BEST:: SOT 297110 SOS 98056 HAS SOPS 98056 HAS SOUS 43301 HAS SOUPS 43301 WITH SCORE 43399.056
AT ITER 6781 NEW BEST:: SOT 297113 SOS 98059 HAS SOPS 98059 HAS SOUS 43290 HAS SOUPS 43290 WITH SCORE 43388.059
AT ITER 6818 NEW BEST:: SOT 297108 SOS 98028 HAS SOPS 98028 HAS SOUS 43279 HAS SOUPS 43279 WITH SCORE 43377.028
AT ITER 6919 NEW BEST:: SOT 297093 SOS 98013 HAS SOPS 98013 HAS SOUS 43277 HAS SOUPS 43277 WITH SCORE 43375.013
AT ITER 7037 NEW BEST:: SOT 297088 SOS 98011 HAS SOPS 98011 HAS SOUS 43255 HAS SOUPS 43255 WITH SCORE 43353.011
AT ITER 7111 NEW BEST:: SOT 297060 SOS 97983 HAS SOPS 97983 HAS SOUS 43227 HAS SOUPS 43227 WITH SCORE 43324.983
AT ITER 7135 NEW BEST:: SOT 297060 SOS 97953 HAS SOPS 97953 HAS SOUS 43217 HAS SOUPS 43217 WITH SCORE 43314.953
AT ITER 7201 NEW BEST:: SOT 297045 SOS 97935 HAS SOPS 97935 HAS SOUS 43187 HAS SOUPS 43187 WITH SCORE 43284.935
AT ITER 7207 NEW BEST:: SOT 297059 SOS 97949 HAS SOPS 97949 HAS SOUS 43149 HAS SOUPS 43149 WITH SCORE 43246.949
AT ITER 7290 NEW BEST:: SOT 297059 SOS 97948 HAS SOPS 97948 HAS SOUS 43148 HAS SOUPS 43148 WITH SCORE 43245.948
AT ITER 7312 NEW BEST:: SOT 297039 SOS 97924 HAS SOPS 97924 HAS SOUS 43124 HAS SOUPS 43124 WITH SCORE 43221.924
AT ITER 7316 NEW BEST:: SOT 297039 SOS 97904 HAS SOPS 97904 HAS SOUS 43104 HAS SOUPS 43104 WITH SCORE 43201.904
AT ITER 7323 NEW BEST:: SOT 297023 SOS 97808 HAS SOPS 97808 HAS SOUS 43072 HAS SOUPS 43072 WITH SCORE 43169.808
AT ITER 7371 NEW BEST:: SOT 296973 SOS 97603 HAS SOPS 97603 HAS SOUS 42983 HAS SOUPS 42983 WITH SCORE 43080.603
AT ITER 7408 NEW BEST:: SOT 296973 SOS 97458 HAS SOPS 97458 HAS SOUS 42974 HAS SOUPS 42974 WITH SCORE 43071.458
AT ITER 7458 NEW BEST:: SOT 296912 SOS 97320 HAS SOPS 97320 HAS SOUS 42928 HAS SOUPS 42928 WITH SCORE 43025.32
AT ITER 7483 NEW BEST:: SOT 296897 SOS 97344 HAS SOPS 97344 HAS SOUS 42927 HAS SOUPS 42927 WITH SCORE 43024.344
AT ITER 7484 NEW BEST:: SOT 296897 SOS 97344 HAS SOPS 97344 HAS SOUS 42924 HAS SOUPS 42924 WITH SCORE 43021.344
AT ITER 7504 NEW BEST:: SOT 296897 SOS 97344 HAS SOPS 97344 HAS SOUS 42919 HAS SOUPS 42919 WITH SCORE 43016.344
AT ITER 7523 NEW BEST:: SOT 296895 SOS 97342 HAS SOPS 97342 HAS SOUS 42919 HAS SOUPS 42919 WITH SCORE 43016.342
AT ITER 7544 NEW BEST:: SOT 296868 SOS 97320 HAS SOPS 97320 HAS SOUS 42905 HAS SOUPS 42905 WITH SCORE 43002.32
AT ITER 7582 NEW BEST:: SOT 296868 SOS 97312 HAS SOPS 97312 HAS SOUS 42897 HAS SOUPS 42897 WITH SCORE 42994.312
AT ITER 7604 NEW BEST:: SOT 296828 SOS 97264 HAS SOPS 97264 HAS SOUS 42849 HAS SOUPS 42849 WITH SCORE 42946.264
AT ITER 7616 NEW BEST:: SOT 296828 SOS 97266 HAS SOPS 97266 HAS SOUS 42847 HAS SOUPS 42847 WITH SCORE 42944.266
AT ITER 7710 NEW BEST:: SOT 296828 SOS 97242 HAS SOPS 97242 HAS SOUS 42839 HAS SOUPS 42839 WITH SCORE 42936.242
AT ITER 7718 NEW BEST:: SOT 296827 SOS 97240 HAS SOPS 97240 HAS SOUS 42832 HAS SOUPS 42832 WITH SCORE 42929.24
AT ITER 7737 NEW BEST:: SOT 296827 SOS 97186 HAS SOPS 97186 HAS SOUS 42814 HAS SOUPS 42814 WITH SCORE 42911.186
AT ITER 7769 NEW BEST:: SOT 296826 SOS 97185 HAS SOPS 97185 HAS SOUS 42813 HAS SOUPS 42813 WITH SCORE 42910.185
AT ITER 7780 NEW BEST:: SOT 296776 SOS 97135 HAS SOPS 97135 HAS SOUS 42763 HAS SOUPS 42763 WITH SCORE 42860.135
AT ITER 7844 NEW BEST:: SOT 296776 SOS 97063 HAS SOPS 97063 HAS SOUS 42739 HAS SOUPS 42739 WITH SCORE 42836.063
AT ITER 7961 NEW BEST:: SOT 296776 SOS 97057 HAS SOPS 97057 HAS SOUS 42737 HAS SOUPS 42737 WITH SCORE 42834.057
AT ITER 8007 NEW BEST:: SOT 296736 SOS 97017 HAS SOPS 97017 HAS SOUS 42737 HAS SOUPS 42737 WITH SCORE 42834.017
AT ITER 8016 NEW BEST:: SOT 296736 SOS 97017 HAS SOPS 97017 HAS SOUS 42729 HAS SOUPS 42729 WITH SCORE 42826.017
AT ITER 8068 NEW BEST:: SOT 296710 SOS 96861 HAS SOPS 96861 HAS SOUS 42677 HAS SOUPS 42677 WITH SCORE 42773.861
AT ITER 8135 NEW BEST:: SOT 296706 SOS 96837 HAS SOPS 96837 HAS SOUS 42669 HAS SOUPS 42669 WITH SCORE 42765.837
AT ITER 8143 NEW BEST:: SOT 296706 SOS 96833 HAS SOPS 96833 HAS SOUS 42649 HAS SOUPS 42649 WITH SCORE 42745.833
AT ITER 8164 NEW BEST:: SOT 296696 SOS 96773 HAS SOPS 96773 HAS SOUS 42629 HAS SOUPS 42629 WITH SCORE 42725.773
AT ITER 8220 NEW BEST:: SOT 296601 SOS 96583 HAS SOPS 96583 HAS SOUS 42515 HAS SOUPS 42515 WITH SCORE 42611.583
AT ITER 8303 NEW BEST:: SOT 296593 SOS 96539 HAS SOPS 96539 HAS SOUS 42511 HAS SOUPS 42511 WITH SCORE 42607.539
AT ITER 8364 NEW BEST:: SOT 296593 SOS 96555 HAS SOPS 96555 HAS SOUS 42491 HAS SOUPS 42491 WITH SCORE 42587.555
AT ITER 8371 NEW BEST:: SOT 296587 SOS 96549 HAS SOPS 96549 HAS SOUS 42467 HAS SOUPS 42467 WITH SCORE 42563.549
AT ITER 8398 NEW BEST:: SOT 296587 SOS 96485 HAS SOPS 96485 HAS SOUS 42455 HAS SOUPS 42455 WITH SCORE 42551.485
AT ITER 8418 NEW BEST:: SOT 296564 SOS 96462 HAS SOPS 96462 HAS SOUS 42455 HAS SOUPS 42455 WITH SCORE 42551.462
AT ITER 8429 NEW BEST:: SOT 296564 SOS 96414 HAS SOPS 96414 HAS SOUS 42439 HAS SOUPS 42439 WITH SCORE 42535.414
AT ITER 8469 NEW BEST:: SOT 296600 SOS 96450 HAS SOPS 96450 HAS SOUS 42436 HAS SOUPS 42436 WITH SCORE 42532.45
AT ITER 8584 NEW BEST:: SOT 296600 SOS 96444 HAS SOPS 96444 HAS SOUS 42434 HAS SOUPS 42434 WITH SCORE 42530.444
AT ITER 8587 NEW BEST:: SOT 296600 SOS 96336 HAS SOPS 96336 HAS SOUS 42398 HAS SOUPS 42398 WITH SCORE 42494.336
AT ITER 8610 NEW BEST:: SOT 296587 SOS 96323 HAS SOPS 96323 HAS SOUS 42397 HAS SOUPS 42397 WITH SCORE 42493.323
AT ITER 8623 NEW BEST:: SOT 296587 SOS 96343 HAS SOPS 96343 HAS SOUS 42377 HAS SOUPS 42377 WITH SCORE 42473.343
AT ITER 8645 NEW BEST:: SOT 296555 SOS 96226 HAS SOPS 96226 HAS SOUS 42361 HAS SOUPS 42361 WITH SCORE 42457.226
AT ITER 8665 NEW BEST:: SOT 296577 SOS 96248 HAS SOPS 96248 HAS SOUS 42349 HAS SOUPS 42349 WITH SCORE 42445.248
AT ITER 8670 NEW BEST:: SOT 296552 SOS 96098 HAS SOPS 96098 HAS SOUS 42299 HAS SOUPS 42299 WITH SCORE 42395.098
AT ITER 8724 NEW BEST:: SOT 296547 SOS 96068 HAS SOPS 96068 HAS SOUS 42289 HAS SOUPS 42289 WITH SCORE 42385.068
AT ITER 8789 NEW BEST:: SOT 296522 SOS 96043 HAS SOPS 96043 HAS SOUS 42235 HAS SOUPS 42235 WITH SCORE 42331.043
AT ITER 8804 NEW BEST:: SOT 296522 SOS 96043 HAS SOPS 96043 HAS SOUS 42234 HAS SOUPS 42234 WITH SCORE 42330.043
AT ITER 8908 NEW BEST:: SOT 296532 SOS 96095 HAS SOPS 96095 HAS SOUS 42214 HAS SOUPS 42214 WITH SCORE 42310.095
AT ITER 8910 NEW BEST:: SOT 296532 SOS 96017 HAS SOPS 96017 HAS SOUS 42188 HAS SOUPS 42188 WITH SCORE 42284.017
AT ITER 8911 NEW BEST:: SOT 296524 SOS 96009 HAS SOPS 96009 HAS SOUS 42180 HAS SOUPS 42180 WITH SCORE 42276.009
AT ITER 9001 NEW BEST:: SOT 296504 SOS 95969 HAS SOPS 95969 HAS SOUS 42140 HAS SOUPS 42140 WITH SCORE 42235.969
AT ITER 9078 NEW BEST:: SOT 296504 SOS 95965 HAS SOPS 95965 HAS SOUS 42136 HAS SOUPS 42136 WITH SCORE 42231.965
AT ITER 9089 NEW BEST:: SOT 296456 SOS 95621 HAS SOPS 95621 HAS SOUS 42122 HAS SOUPS 42122 WITH SCORE 42217.621
AT ITER 9092 NEW BEST:: SOT 296406 SOS 95511 HAS SOPS 95511 HAS SOUS 42102 HAS SOUPS 42102 WITH SCORE 42197.511
AT ITER 9132 NEW BEST:: SOT 296406 SOS 95539 HAS SOPS 95539 HAS SOUS 42074 HAS SOUPS 42074 WITH SCORE 42169.539
AT ITER 9156 NEW BEST:: SOT 296401 SOS 95528 HAS SOPS 95528 HAS SOUS 42067 HAS SOUPS 42067 WITH SCORE 42162.528
AT ITER 9272 NEW BEST:: SOT 296397 SOS 95524 HAS SOPS 95524 HAS SOUS 42063 HAS SOUPS 42063 WITH SCORE 42158.524
AT ITER 9287 NEW BEST:: SOT 296438 SOS 95184 HAS SOPS 95184 HAS SOUS 42061 HAS SOUPS 42061 WITH SCORE 42156.184
AT ITER 9288 NEW BEST:: SOT 296438 SOS 95184 HAS SOPS 95184 HAS SOUS 42049 HAS SOUPS 42049 WITH SCORE 42144.184
AT ITER 9291 NEW BEST:: SOT 296434 SOS 95172 HAS SOPS 95172 HAS SOUS 42045 HAS SOUPS 42045 WITH SCORE 42140.172
AT ITER 9295 NEW BEST:: SOT 296427 SOS 95135 HAS SOPS 95135 HAS SOUS 42028 HAS SOUPS 42028 WITH SCORE 42123.135
AT ITER 9298 NEW BEST:: SOT 296427 SOS 95135 HAS SOPS 95135 HAS SOUS 42026 HAS SOUPS 42026 WITH SCORE 42121.135
AT ITER 9340 NEW BEST:: SOT 296389 SOS 95097 HAS SOPS 95097 HAS SOUS 42007 HAS SOUPS 42007 WITH SCORE 42102.097
AT ITER 9385 NEW BEST:: SOT 296348 SOS 95056 HAS SOPS 95056 HAS SOUS 41966 HAS SOUPS 41966 WITH SCORE 42061.056
AT ITER 9390 NEW BEST:: SOT 296339 SOS 95002 HAS SOPS 95002 HAS SOUS 41948 HAS SOUPS 41948 WITH SCORE 42043.002
AT ITER 9430 NEW BEST:: SOT 296339 SOS 95002 HAS SOPS 95002 HAS SOUS 41936 HAS SOUPS 41936 WITH SCORE 42031.002
AT ITER 9517 NEW BEST:: SOT 296274 SOS 94944 HAS SOPS 94944 HAS SOUS 41878 HAS SOUPS 41878 WITH SCORE 41972.944
AT ITER 9562 NEW BEST:: SOT 296274 SOS 94904 HAS SOPS 94904 HAS SOUS 41878 HAS SOUPS 41878 WITH SCORE 41972.904
AT ITER 9596 NEW BEST:: SOT 296234 SOS 94816 HAS SOPS 94816 HAS SOUS 41822 HAS SOUPS 41822 WITH SCORE 41916.816
AT ITER 9656 NEW BEST:: SOT 296234 SOS 94816 HAS SOPS 94816 HAS SOUS 41817 HAS SOUPS 41817 WITH SCORE 41911.816
AT ITER 9671 NEW BEST:: SOT 296229 SOS 94810 HAS SOPS 94810 HAS SOUS 41807 HAS SOUPS 41807 WITH SCORE 41901.81
AT ITER 9693 NEW BEST:: SOT 296229 SOS 94780 HAS SOPS 94780 HAS SOUS 41797 HAS SOUPS 41797 WITH SCORE 41891.78
AT ITER 9719 NEW BEST:: SOT 296219 SOS 94720 HAS SOPS 94720 HAS SOUS 41777 HAS SOUPS 41777 WITH SCORE 41871.72
AT ITER 9728 NEW BEST:: SOT 296208 SOS 94679 HAS SOPS 94679 HAS SOUS 41756 HAS SOUPS 41756 WITH SCORE 41850.679
AT ITER 9783 NEW BEST:: SOT 296200 SOS 94644 HAS SOPS 94644 HAS SOUS 41727 HAS SOUPS 41727 WITH SCORE 41821.644
AT ITER 9796 NEW BEST:: SOT 296200 SOS 94578 HAS SOPS 94578 HAS SOUS 41705 HAS SOUPS 41705 WITH SCORE 41799.578
AT ITER 9845 NEW BEST:: SOT 296180 SOS 94554 HAS SOPS 94554 HAS SOUS 41681 HAS SOUPS 41681 WITH SCORE 41775.554
AT ITER 9946 NEW BEST:: SOT 296161 SOS 94440 HAS SOPS 94440 HAS SOUS 41643 HAS SOUPS 41643 WITH SCORE 41737.44

BK_STOP 1589615244395

--------------------
content from stderr:

/home/mcc/BenchKit/bin/smart.sh: line 117: 463 Segmentation fault ${SMART} ${INPUT_SM}

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="HypertorusGrid-PT-d3k3p2b06"
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 HypertorusGrid-PT-d3k3p2b06, 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-158940140400304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/HypertorusGrid-PT-d3k3p2b06.tgz
mv HypertorusGrid-PT-d3k3p2b06 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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;