Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472500544.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DLCflexbar-PT-4a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472500544
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 7.3K Feb 25 16:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 16:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 15:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 15:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 25 16:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 25 16:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 16:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 16:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.7M Mar 5 18:22 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 1678248974598

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCflexbar-PT-4a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 4a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 927 places, 6615 transitions, 25705 arcs.
AT ITER 0 NEW BEST:: SOT 3762309 SOS 3120198 HAS SOPS 1567339 HAS SOUS 274322 HAS SOUPS 123224 WITH SCORE 126344.198
AT ITER 4 NEW BEST:: SOT 3762309 SOS 3120198 HAS SOPS 1567339 HAS SOUS 274298 HAS SOUPS 123200 WITH SCORE 126320.198
AT ITER 6 NEW BEST:: SOT 3762309 SOS 3120198 HAS SOPS 1567339 HAS SOUS 274210 HAS SOUPS 123112 WITH SCORE 126232.198
AT ITER 8 NEW BEST:: SOT 3762151 SOS 3119666 HAS SOPS 1567455 HAS SOUS 273944 HAS SOUPS 122954 WITH SCORE 126073.666
AT ITER 36 NEW BEST:: SOT 3761346 SOS 3113047 HAS SOPS 1570136 HAS SOUS 273142 HAS SOUPS 122152 WITH SCORE 125265.047
AT ITER 41 NEW BEST:: SOT 3761346 SOS 3113047 HAS SOPS 1570136 HAS SOUS 273054 HAS SOUPS 122064 WITH SCORE 125177.047
AT ITER 77 NEW BEST:: SOT 3761346 SOS 3112249 HAS SOPS 1570136 HAS SOUS 272921 HAS SOUPS 122064 WITH SCORE 125176.249
AT ITER 90 NEW BEST:: SOT 3761231 SOS 3111711 HAS SOPS 1570522 HAS SOUS 272699 HAS SOUPS 121996 WITH SCORE 125107.711
AT ITER 91 NEW BEST:: SOT 3759698 SOS 3115087 HAS SOPS 1570922 HAS SOUS 272220 HAS SOUPS 121517 WITH SCORE 124632.087
AT ITER 115 NEW BEST:: SOT 3759654 SOS 3115043 HAS SOPS 1570878 HAS SOUS 272154 HAS SOUPS 121451 WITH SCORE 124566.043
AT ITER 127 NEW BEST:: SOT 3759728 SOS 3121849 HAS SOPS 1573562 HAS SOUS 272027 HAS SOUPS 121095 WITH SCORE 124216.849
AT ITER 174 NEW BEST:: SOT 3759499 SOS 3121391 HAS SOPS 1574064 HAS SOUS 271524 HAS SOUPS 120752 WITH SCORE 123873.391
AT ITER 176 NEW BEST:: SOT 3759499 SOS 3121391 HAS SOPS 1574064 HAS SOUS 271462 HAS SOUPS 120690 WITH SCORE 123811.391
AT ITER 177 NEW BEST:: SOT 3759456 SOS 3121305 HAS SOPS 1573978 HAS SOUS 271419 HAS SOUPS 120647 WITH SCORE 123768.305
AT ITER 180 NEW BEST:: SOT 3759233 SOS 3120859 HAS SOPS 1574510 HAS SOUS 270922 HAS SOUPS 120313 WITH SCORE 123433.859
AT ITER 183 NEW BEST:: SOT 3759233 SOS 3120859 HAS SOPS 1574510 HAS SOUS 270834 HAS SOUPS 120225 WITH SCORE 123345.859
AT ITER 248 NEW BEST:: SOT 3759063 SOS 3120519 HAS SOPS 1574680 HAS SOUS 270494 HAS SOUPS 119970 WITH SCORE 123090.519
AT ITER 255 NEW BEST:: SOT 3759016 SOS 3120425 HAS SOPS 1574586 HAS SOUS 270400 HAS SOUPS 119876 WITH SCORE 122996.425
AT ITER 265 NEW BEST:: SOT 3758693 SOS 3119361 HAS SOPS 1573522 HAS SOUS 269953 HAS SOUPS 119429 WITH SCORE 122548.361
AT ITER 285 NEW BEST:: SOT 3758631 SOS 3119175 HAS SOPS 1573336 HAS SOUS 269891 HAS SOUPS 119367 WITH SCORE 122486.175
AT ITER 300 NEW BEST:: SOT 3757622 SOS 3122219 HAS SOPS 1573944 HAS SOUS 269148 HAS SOUPS 118624 WITH SCORE 121746.219
AT ITER 311 NEW BEST:: SOT 3757622 SOS 3122219 HAS SOPS 1573944 HAS SOUS 269066 HAS SOUPS 118542 WITH SCORE 121664.219
AT ITER 335 NEW BEST:: SOT 3757622 SOS 3122219 HAS SOPS 1573944 HAS SOUS 269016 HAS SOUPS 118492 WITH SCORE 121614.219
AT ITER 336 NEW BEST:: SOT 3757377 SOS 3121729 HAS SOPS 1574642 HAS SOUS 268526 HAS SOUPS 118200 WITH SCORE 121321.729
AT ITER 352 NEW BEST:: SOT 3757357 SOS 3120709 HAS SOPS 1574602 HAS SOUS 268500 HAS SOUPS 118194 WITH SCORE 121314.709
AT ITER 354 NEW BEST:: SOT 3757357 SOS 3120709 HAS SOPS 1574602 HAS SOUS 268418 HAS SOUPS 118112 WITH SCORE 121232.709
AT ITER 358 NEW BEST:: SOT 3757240 SOS 3121333 HAS SOPS 1574524 HAS SOUS 268340 HAS SOUPS 117995 WITH SCORE 121116.333
AT ITER 367 NEW BEST:: SOT 3757240 SOS 3121333 HAS SOPS 1574524 HAS SOUS 268252 HAS SOUPS 117907 WITH SCORE 121028.333
AT ITER 368 NEW BEST:: SOT 3757148 SOS 3121149 HAS SOPS 1574616 HAS SOUS 268068 HAS SOUPS 117769 WITH SCORE 120890.149
AT ITER 369 NEW BEST:: SOT 3756433 SOS 3122945 HAS SOPS 1574624 HAS SOUS 267528 HAS SOUPS 117229 WITH SCORE 120351.945
AT ITER 402 NEW BEST:: SOT 3756127 SOS 3123345 HAS SOPS 1574196 HAS SOUS 267352 HAS SOUPS 117007 WITH SCORE 120130.345
AT ITER 405 NEW BEST:: SOT 3756127 SOS 3122937 HAS SOPS 1574196 HAS SOUS 267284 HAS SOUPS 117007 WITH SCORE 120129.937
AT ITER 407 NEW BEST:: SOT 3755450 SOS 3120619 HAS SOPS 1573324 HAS SOUS 266171 HAS SOUPS 116135 WITH SCORE 119255.619
AT ITER 417 NEW BEST:: SOT 3755276 SOS 3120313 HAS SOPS 1572190 HAS SOUS 266018 HAS SOUPS 115844 WITH SCORE 118964.313
AT ITER 432 NEW BEST:: SOT 3754303 SOS 3122293 HAS SOPS 1572214 HAS SOUS 265189 HAS SOUPS 115015 WITH SCORE 118137.293
AT ITER 441 NEW BEST:: SOT 3753668 SOS 3123947 HAS SOPS 1572200 HAS SOUS 264807 HAS SOUPS 114633 WITH SCORE 117756.947
AT ITER 453 NEW BEST:: SOT 3753668 SOS 3123947 HAS SOPS 1572200 HAS SOUS 264791 HAS SOUPS 114617 WITH SCORE 117740.947
AT ITER 460 NEW BEST:: SOT 3753505 SOS 3123197 HAS SOPS 1571450 HAS SOUS 264666 HAS SOUPS 114492 WITH SCORE 117615.197
AT ITER 464 NEW BEST:: SOT 3753505 SOS 3123197 HAS SOPS 1571450 HAS SOUS 264606 HAS SOUPS 114432 WITH SCORE 117555.197
AT ITER 479 NEW BEST:: SOT 3752878 SOS 3130157 HAS SOPS 1574918 HAS SOUS 264541 HAS SOUPS 114367 WITH SCORE 117497.157
AT ITER 502 NEW BEST:: SOT 3752878 SOS 3130157 HAS SOPS 1574918 HAS SOUS 264487 HAS SOUPS 114313 WITH SCORE 117443.157
AT ITER 517 NEW BEST:: SOT 3752841 SOS 3130305 HAS SOPS 1575066 HAS SOUS 264450 HAS SOUPS 114276 WITH SCORE 117406.305
AT ITER 518 NEW BEST:: SOT 3752180 SOS 3138637 HAS SOPS 1578322 HAS SOUS 264579 HAS SOUPS 114123 WITH SCORE 117261.637
AT ITER 527 NEW BEST:: SOT 3752154 SOS 3138585 HAS SOPS 1578348 HAS SOUS 264527 HAS SOUPS 114084 WITH SCORE 117222.585
AT ITER 546 NEW BEST:: SOT 3751525 SOS 3140821 HAS SOPS 1578772 HAS SOUS 264163 HAS SOUPS 113720 WITH SCORE 116860.821
AT ITER 552 NEW BEST:: SOT 3750256 SOS 3144869 HAS SOPS 1579700 HAS SOUS 263292 HAS SOUPS 112849 WITH SCORE 115993.869
AT ITER 579 NEW BEST:: SOT 3750256 SOS 3144869 HAS SOPS 1579700 HAS SOUS 263254 HAS SOUPS 112811 WITH SCORE 115955.869
AT ITER 583 NEW BEST:: SOT 3750174 SOS 3144787 HAS SOPS 1579372 HAS SOUS 263131 HAS SOUPS 112647 WITH SCORE 115791.787
AT ITER 588 NEW BEST:: SOT 3748970 SOS 3149577 HAS SOPS 1581006 HAS SOUS 262217 HAS SOUPS 111733 WITH SCORE 114882.577
AT ITER 600 NEW BEST:: SOT 3748970 SOS 3148389 HAS SOPS 1581006 HAS SOUS 262019 HAS SOUPS 111733 WITH SCORE 114881.389
AT ITER 602 NEW BEST:: SOT 3748912 SOS 3148049 HAS SOPS 1580666 HAS SOUS 261961 HAS SOUPS 111675 WITH SCORE 114823.049
AT ITER 619 NEW BEST:: SOT 3747559 SOS 3153877 HAS SOPS 1581778 HAS SOUS 261149 HAS SOUPS 110601 WITH SCORE 113754.877
AT ITER 627 NEW BEST:: SOT 3747534 SOS 3153827 HAS SOPS 1582148 HAS SOUS 261054 HAS SOUPS 110576 WITH SCORE 113729.827
AT ITER 648 NEW BEST:: SOT 3747534 SOS 3153827 HAS SOPS 1582148 HAS SOUS 261040 HAS SOUPS 110562 WITH SCORE 113715.827
AT ITER 679 NEW BEST:: SOT 3747169 SOS 3154995 HAS SOPS 1582440 HAS SOUS 260748 HAS SOUPS 110270 WITH SCORE 113424.995
AT ITER 700 NEW BEST:: SOT 3747169 SOS 3154591 HAS SOPS 1583248 HAS SOUS 260546 HAS SOUPS 110270 WITH SCORE 113424.591
AT ITER 701 NEW BEST:: SOT 3747022 SOS 3154843 HAS SOPS 1583122 HAS SOUS 260483 HAS SOUPS 110186 WITH SCORE 113340.843
AT ITER 703 NEW BEST:: SOT 3746946 SOS 3154463 HAS SOPS 1582970 HAS SOUS 260331 HAS SOUPS 110072 WITH SCORE 113226.463
AT ITER 709 NEW BEST:: SOT 3746144 SOS 3159053 HAS SOPS 1584812 HAS SOUS 259854 HAS SOUPS 109595 WITH SCORE 112754.053
AT ITER 715 NEW BEST:: SOT 3746119 SOS 3158835 HAS SOPS 1584762 HAS SOUS 259775 HAS SOUPS 109544 WITH SCORE 112702.835
AT ITER 727 NEW BEST:: SOT 3746013 SOS 3158371 HAS SOPS 1585054 HAS SOUS 259543 HAS SOUPS 109438 WITH SCORE 112596.371
AT ITER 746 NEW BEST:: SOT 3745975 SOS 3158295 HAS SOPS 1585206 HAS SOUS 259467 HAS SOUPS 109400 WITH SCORE 112558.295
AT ITER 747 NEW BEST:: SOT 3745975 SOS 3158295 HAS SOPS 1585206 HAS SOUS 259427 HAS SOUPS 109360 WITH SCORE 112518.295
AT ITER 752 NEW BEST:: SOT 3744996 SOS 3161027 HAS SOPS 1585718 HAS SOUS 258734 HAS SOUPS 108667 WITH SCORE 111828.027
AT ITER 755 NEW BEST:: SOT 3744996 SOS 3161027 HAS SOPS 1585718 HAS SOUS 258670 HAS SOUPS 108603 WITH SCORE 111764.027
AT ITER 771 NEW BEST:: SOT 3740912 SOS 3154703 HAS SOPS 1583120 HAS SOUS 258298 HAS SOUPS 108520 WITH SCORE 111674.703
AT ITER 790 NEW BEST:: SOT 3740912 SOS 3154703 HAS SOPS 1583120 HAS SOUS 258210 HAS SOUPS 108432 WITH SCORE 111586.703
AT ITER 812 NEW BEST:: SOT 3740844 SOS 3154567 HAS SOPS 1582984 HAS SOUS 258108 HAS SOUPS 108330 WITH SCORE 111484.567
AT ITER 842 NEW BEST:: SOT 3740725 SOS 3153987 HAS SOPS 1582404 HAS SOUS 258002 HAS SOUPS 108224 WITH SCORE 111377.987
AT ITER 853 NEW BEST:: SOT 3740725 SOS 3153987 HAS SOPS 1582404 HAS SOUS 257914 HAS SOUPS 108136 WITH SCORE 111289.987
AT ITER 855 NEW BEST:: SOT 3740036 SOS 3152209 HAS SOPS 1581826 HAS SOUS 257502 HAS SOUPS 107924 WITH SCORE 111076.209
AT ITER 868 NEW BEST:: SOT 3739680 SOS 3151049 HAS SOPS 1582010 HAS SOUS 257229 HAS SOUPS 107875 WITH SCORE 111026.049
AT ITER 891 NEW BEST:: SOT 3738318 SOS 3154975 HAS SOPS 1581580 HAS SOUS 256308 HAS SOUPS 106712 WITH SCORE 109866.975
AT ITER 896 NEW BEST:: SOT 3737878 SOS 3158073 HAS SOPS 1581654 HAS SOUS 256336 HAS SOUPS 106572 WITH SCORE 109730.073
AT ITER 907 NEW BEST:: SOT 3737262 SOS 3161941 HAS SOPS 1583326 HAS SOUS 256074 HAS SOUPS 106310 WITH SCORE 109471.941
AT ITER 916 NEW BEST:: SOT 3737254 SOS 3159724 HAS SOPS 1581109 HAS SOUS 256075 HAS SOUPS 106311 WITH SCORE 109470.724
AT ITER 920 NEW BEST:: SOT 3736987 SOS 3158800 HAS SOPS 1580185 HAS SOUS 255698 HAS SOUPS 105934 WITH SCORE 109092.8
AT ITER 938 NEW BEST:: SOT 3736262 SOS 3161814 HAS SOPS 1581039 HAS SOUS 255281 HAS SOUPS 105517 WITH SCORE 108678.814
AT ITER 939 NEW BEST:: SOT 3736262 SOS 3161814 HAS SOPS 1581039 HAS SOUS 255225 HAS SOUPS 105461 WITH SCORE 108622.814
AT ITER 943 NEW BEST:: SOT 3736262 SOS 3161814 HAS SOPS 1581039 HAS SOUS 255203 HAS SOUPS 105439 WITH SCORE 108600.814
AT ITER 973 NEW BEST:: SOT 3736201 SOS 3161566 HAS SOPS 1581157 HAS SOUS 255080 HAS SOUPS 105377 WITH SCORE 108538.566
AT ITER 982 NEW BEST:: SOT 3735819 SOS 3160802 HAS SOPS 1580393 HAS SOUS 254882 HAS SOUPS 105179 WITH SCORE 108339.802
AT ITER 990 NEW BEST:: SOT 3735746 SOS 3160656 HAS SOPS 1580247 HAS SOUS 254809 HAS SOUPS 105106 WITH SCORE 108266.656
AT ITER 1006 NEW BEST:: SOT 3735746 SOS 3160656 HAS SOPS 1580247 HAS SOUS 254721 HAS SOUPS 105018 WITH SCORE 108178.656
AT ITER 1026 NEW BEST:: SOT 3735746 SOS 3160656 HAS SOPS 1580247 HAS SOUS 254639 HAS SOUPS 104936 WITH SCORE 108096.656
AT ITER 1034 NEW BEST:: SOT 3735724 SOS 3160612 HAS SOPS 1581073 HAS SOUS 254456 HAS SOUPS 104898 WITH SCORE 108058.612
AT ITER 1044 NEW BEST:: SOT 3734978 SOS 3163122 HAS SOPS 1581603 HAS SOUS 253960 HAS SOUPS 104402 WITH SCORE 107565.122
AT ITER 1050 NEW BEST:: SOT 3734815 SOS 3163522 HAS SOPS 1581409 HAS SOUS 253901 HAS SOUPS 104310 WITH SCORE 107473.522
AT ITER 1091 NEW BEST:: SOT 3734815 SOS 3163522 HAS SOPS 1581409 HAS SOUS 253853 HAS SOUPS 104262 WITH SCORE 107425.522
AT ITER 1138 NEW BEST:: SOT 3734211 SOS 3162012 HAS SOPS 1580805 HAS SOUS 253551 HAS SOUPS 104111 WITH SCORE 107273.012
AT ITER 1166 NEW BEST:: SOT 3734349 SOS 3151500 HAS SOPS 1581759 HAS SOUS 253221 HAS SOUPS 104015 WITH SCORE 107166.5
AT ITER 1192 NEW BEST:: SOT 3734524 SOS 3151706 HAS SOPS 1581965 HAS SOUS 253124 HAS SOUPS 103918 WITH SCORE 107069.706
AT ITER 1197 NEW BEST:: SOT 3733828 SOS 3149934 HAS SOPS 1581333 HAS SOUS 252805 HAS SOUPS 103789 WITH SCORE 106938.934
AT ITER 1217 NEW BEST:: SOT 3733828 SOS 3149934 HAS SOPS 1581333 HAS SOUS 252717 HAS SOUPS 103701 WITH SCORE 106850.934
AT ITER 1228 NEW BEST:: SOT 3733718 SOS 3150094 HAS SOPS 1581493 HAS SOUS 252607 HAS SOUPS 103591 WITH SCORE 106741.094
AT ITER 1248 NEW BEST:: SOT 3733546 SOS 3149558 HAS SOPS 1581533 HAS SOUS 252339 HAS SOUPS 103419 WITH SCORE 106568.558
AT ITER 1249 NEW BEST:: SOT 3733515 SOS 3149496 HAS SOPS 1581975 HAS SOUS 252167 HAS SOUPS 103331 WITH SCORE 106480.496
AT ITER 1255 NEW BEST:: SOT 3733467 SOS 3149400 HAS SOPS 1581693 HAS SOUS 252150 HAS SOUPS 103283 WITH SCORE 106432.4
AT ITER 1260 NEW BEST:: SOT 3733467 SOS 3149400 HAS SOPS 1581693 HAS SOUS 252062 HAS SOUPS 103195 WITH SCORE 106344.4
AT ITER 1261 NEW BEST:: SOT 3732485 SOS 3151302 HAS SOPS 1581039 HAS SOUS 251671 HAS SOUPS 102662 WITH SCORE 105813.302
AT ITER 1299 NEW BEST:: SOT 3732300 SOS 3150122 HAS SOPS 1580711 HAS SOUS 251251 HAS SOUPS 102384 WITH SCORE 105534.122
AT ITER 1321 NEW BEST:: SOT 3732300 SOS 3150122 HAS SOPS 1580711 HAS SOUS 251227 HAS SOUPS 102360 WITH SCORE 105510.122
AT ITER 1333 NEW BEST:: SOT 3732238 SOS 3150990 HAS SOPS 1581207 HAS SOUS 251196 HAS SOUPS 102329 WITH SCORE 105479.99
AT ITER 1359 NEW BEST:: SOT 3732238 SOS 3150990 HAS SOPS 1581207 HAS SOUS 251182 HAS SOUPS 102315 WITH SCORE 105465.99
AT ITER 1377 NEW BEST:: SOT 3731482 SOS 3150078 HAS SOPS 1580295 HAS SOUS 250866 HAS SOUPS 101999 WITH SCORE 105149.078
AT ITER 1402 NEW BEST:: SOT 3731368 SOS 3149850 HAS SOPS 1580067 HAS SOUS 250752 HAS SOUPS 101885 WITH SCORE 105034.85
AT ITER 1408 NEW BEST:: SOT 3731452 SOS 3149514 HAS SOPS 1580109 HAS SOUS 250710 HAS SOUPS 101864 WITH SCORE 105013.514
AT ITER 1410 NEW BEST:: SOT 3731353 SOS 3150042 HAS SOPS 1580043 HAS SOUS 250644 HAS SOUPS 101765 WITH SCORE 104915.042
AT ITER 1423 NEW BEST:: SOT 3730905 SOS 3148986 HAS SOPS 1579467 HAS SOUS 250356 HAS SOUPS 101557 WITH SCORE 104705.986
AT ITER 1442 NEW BEST:: SOT 3730586 SOS 3147052 HAS SOPS 1578829 HAS SOUS 249721 HAS SOUPS 101138 WITH SCORE 104285.052
AT ITER 1444 NEW BEST:: SOT 3730460 SOS 3147160 HAS SOPS 1578721 HAS SOUS 249649 HAS SOUPS 101066 WITH SCORE 104213.16
AT ITER 1448 NEW BEST:: SOT 3730380 SOS 3145866 HAS SOPS 1578561 HAS SOUS 249419 HAS SOUPS 101025 WITH SCORE 104170.866
AT ITER 1452 NEW BEST:: SOT 3730312 SOS 3145698 HAS SOPS 1578489 HAS SOUS 249393 HAS SOUPS 101015 WITH SCORE 104160.698
AT ITER 1474 NEW BEST:: SOT 3730295 SOS 3145562 HAS SOPS 1578353 HAS SOUS 249342 HAS SOUPS 100964 WITH SCORE 104109.562
AT ITER 1476 NEW BEST:: SOT 3729987 SOS 3149220 HAS SOPS 1579167 HAS SOUS 249482 HAS SOUPS 100946 WITH SCORE 104095.22
AT ITER 1510 NEW BEST:: SOT 3729904 SOS 3149054 HAS SOPS 1579805 HAS SOUS 249285 HAS SOUPS 100883 WITH SCORE 104032.054
AT ITER 1530 NEW BEST:: SOT 3729904 SOS 3149136 HAS SOPS 1579641 HAS SOUS 249284 HAS SOUPS 100841 WITH SCORE 103990.136
AT ITER 1534 NEW BEST:: SOT 3729904 SOS 3149136 HAS SOPS 1579641 HAS SOUS 249210 HAS SOUPS 100767 WITH SCORE 103916.136
AT ITER 1536 NEW BEST:: SOT 3729844 SOS 3149304 HAS SOPS 1579593 HAS SOUS 249210 HAS SOUPS 100755 WITH SCORE 103904.304
AT ITER 1566 NEW BEST:: SOT 3729741 SOS 3148750 HAS SOPS 1579387 HAS SOUS 248995 HAS SOUPS 100598 WITH SCORE 103746.75
AT ITER 1616 NEW BEST:: SOT 3729141 SOS 3146440 HAS SOPS 1578409 HAS SOUS 248311 HAS SOUPS 100136 WITH SCORE 103282.44
AT ITER 1628 NEW BEST:: SOT 3729037 SOS 3146232 HAS SOPS 1578201 HAS SOUS 248250 HAS SOUPS 100075 WITH SCORE 103221.232
AT ITER 1639 NEW BEST:: SOT 3728929 SOS 3145662 HAS SOPS 1578633 HAS SOUS 247973 HAS SOUPS 99965 WITH SCORE 103110.662
AT ITER 1657 NEW BEST:: SOT 3728781 SOS 3144741 HAS SOPS 1578487 HAS SOUS 247879 HAS SOUPS 99871 WITH SCORE 103015.741
AT ITER 1708 NEW BEST:: SOT 3728734 SOS 3144647 HAS SOPS 1578393 HAS SOUS 247879 HAS SOUPS 99871 WITH SCORE 103015.647
AT ITER 1725 NEW BEST:: SOT 3728734 SOS 3144647 HAS SOPS 1578393 HAS SOUS 247823 HAS SOUPS 99815 WITH SCORE 102959.647
AT ITER 1749 NEW BEST:: SOT 3728702 SOS 3144583 HAS SOPS 1578329 HAS SOUS 247791 HAS SOUPS 99783 WITH SCORE 102927.583
AT ITER 1762 NEW BEST:: SOT 3728755 SOS 3144689 HAS SOPS 1578435 HAS SOUS 247744 HAS SOUPS 99736 WITH SCORE 102880.689
AT ITER 1776 NEW BEST:: SOT 3728517 SOS 3144101 HAS SOPS 1577847 HAS SOUS 247618 HAS SOUPS 99610 WITH SCORE 102754.101
AT ITER 1833 NEW BEST:: SOT 3728493 SOS 3144053 HAS SOPS 1577715 HAS SOUS 247580 HAS SOUPS 99558 WITH SCORE 102702.053
AT ITER 1848 NEW BEST:: SOT 3728493 SOS 3144053 HAS SOPS 1577715 HAS SOUS 247500 HAS SOUPS 99478 WITH SCORE 102622.053
AT ITER 1866 NEW BEST:: SOT 3728493 SOS 3144105 HAS SOPS 1577611 HAS SOUS 247474 HAS SOUPS 99426 WITH SCORE 102570.105
AT ITER 1893 NEW BEST:: SOT 3728493 SOS 3144105 HAS SOPS 1577611 HAS SOUS 247446 HAS SOUPS 99398 WITH SCORE 102542.105
AT ITER 1906 NEW BEST:: SOT 3728439 SOS 3137532 HAS SOPS 1571969 HAS SOUS 247411 HAS SOUPS 99382 WITH SCORE 102519.532
AT ITER 1932 NEW BEST:: SOT 3728135 SOS 3141148 HAS SOPS 1574001 HAS SOUS 247240 HAS SOUPS 99211 WITH SCORE 102352.148
AT ITER 1945 NEW BEST:: SOT 3728135 SOS 3141142 HAS SOPS 1574001 HAS SOUS 247239 HAS SOUPS 99211 WITH SCORE 102352.142
AT ITER 1956 NEW BEST:: SOT 3728493 SOS 3139314 HAS SOPS 1573667 HAS SOUS 247129 HAS SOUPS 99184 WITH SCORE 102323.314
AT ITER 1966 NEW BEST:: SOT 3728206 SOS 3139421 HAS SOPS 1573774 HAS SOUS 247123 HAS SOUPS 99178 WITH SCORE 102317.421
AT ITER 1967 NEW BEST:: SOT 3728206 SOS 3139421 HAS SOPS 1573774 HAS SOUS 247113 HAS SOUPS 99168 WITH SCORE 102307.421
AT ITER 1979 NEW BEST:: SOT 3728036 SOS 3138767 HAS SOPS 1574062 HAS SOUS 246786 HAS SOUPS 98998 WITH SCORE 102136.767
AT ITER 1983 NEW BEST:: SOT 3728017 SOS 3138729 HAS SOPS 1574024 HAS SOUS 246767 HAS SOUPS 98979 WITH SCORE 102117.729
AT ITER 1996 NEW BEST:: SOT 3727550 SOS 3140291 HAS SOPS 1574182 HAS SOUS 246672 HAS SOUPS 98806 WITH SCORE 101946.291
AT ITER 2006 NEW BEST:: SOT 3727215 SOS 3139621 HAS SOPS 1573512 HAS SOUS 246351 HAS SOUPS 98485 WITH SCORE 101624.621
AT ITER 2020 NEW BEST:: SOT 3727215 SOS 3139549 HAS SOPS 1573440 HAS SOUS 246351 HAS SOUPS 98485 WITH SCORE 101624.549
AT ITER 2029 NEW BEST:: SOT 3726493 SOS 3142759 HAS SOPS 1574466 HAS SOUS 245921 HAS SOUPS 98055 WITH SCORE 101197.759
AT ITER 2071 NEW BEST:: SOT 3726415 SOS 3142603 HAS SOPS 1574310 HAS SOUS 245834 HAS SOUPS 97968 WITH SCORE 101110.603
AT ITER 2088 NEW BEST:: SOT 3726415 SOS 3142603 HAS SOPS 1574310 HAS SOUS 245828 HAS SOUPS 97962 WITH SCORE 101104.603
AT ITER 2092 NEW BEST:: SOT 3726362 SOS 3143521 HAS SOPS 1574562 HAS SOUS 245744 HAS SOUPS 97841 WITH SCORE 100984.521
AT ITER 2103 NEW BEST:: SOT 3726362 SOS 3143521 HAS SOPS 1574562 HAS SOUS 245724 HAS SOUPS 97821 WITH SCORE 100964.521
AT ITER 2112 NEW BEST:: SOT 3726362 SOS 3143521 HAS SOPS 1574562 HAS SOUS 245710 HAS SOUPS 97807 WITH SCORE 100950.521
AT ITER 2125 NEW BEST:: SOT 3726317 SOS 3143023 HAS SOPS 1574064 HAS SOUS 245583 HAS SOUPS 97680 WITH SCORE 100823.023
AT ITER 2141 NEW BEST:: SOT 3726317 SOS 3142081 HAS SOPS 1574064 HAS SOUS 245426 HAS SOUPS 97680 WITH SCORE 100822.081
AT ITER 2153 NEW BEST:: SOT 3726297 SOS 3142131 HAS SOPS 1573346 HAS SOUS 245538 HAS SOUPS 97664 WITH SCORE 100806.131
AT ITER 2166 NEW BEST:: SOT 3726289 SOS 3142115 HAS SOPS 1573330 HAS SOUS 245530 HAS SOUPS 97656 WITH SCORE 100798.115
AT ITER 2169 NEW BEST:: SOT 3726012 SOS 3141561 HAS SOPS 1572776 HAS SOUS 245204 HAS SOUPS 97330 WITH SCORE 100471.561
AT ITER 2173 NEW BEST:: SOT 3725966 SOS 3141469 HAS SOPS 1572234 HAS SOUS 245232 HAS SOUPS 97283 WITH SCORE 100424.469
AT ITER 2187 NEW BEST:: SOT 3725758 SOS 3141853 HAS SOPS 1572138 HAS SOUS 245088 HAS SOUPS 97139 WITH SCORE 100280.853
AT ITER 2188 NEW BEST:: SOT 3725641 SOS 3141879 HAS SOPS 1571930 HAS SOUS 245010 HAS SOUPS 97048 WITH SCORE 100189.879
AT ITER 2199 NEW BEST:: SOT 3725590 SOS 3141709 HAS SOPS 1571862 HAS SOUS 244925 HAS SOUPS 96980 WITH SCORE 100121.709
AT ITER 2210 NEW BEST:: SOT 3724930 SOS 3147909 HAS SOPS 1573940 HAS SOUS 244942 HAS SOUPS 96768 WITH SCORE 99915.909
AT ITER 2219 NEW BEST:: SOT 3724789 SOS 3147969 HAS SOPS 1573226 HAS SOUS 244773 HAS SOUPS 96470 WITH SCORE 99617.969
AT ITER 2241 NEW BEST:: SOT 3724251 SOS 3151109 HAS SOPS 1574398 HAS SOUS 244560 HAS SOUPS 96257 WITH SCORE 99408.109
AT ITER 2275 NEW BEST:: SOT 3724209 SOS 3150875 HAS SOPS 1574464 HAS SOUS 244501 HAS SOUPS 96248 WITH SCORE 99398.875
AT ITER 2278 NEW BEST:: SOT 3724155 SOS 3150572 HAS SOPS 1574395 HAS SOUS 244394 HAS SOUPS 96180 WITH SCORE 99330.572
AT ITER 2326 NEW BEST:: SOT 3723547 SOS 3150088 HAS SOPS 1573911 HAS SOUS 244307 HAS SOUPS 96093 WITH SCORE 99243.088
AT ITER 2364 NEW BEST:: SOT 3723391 SOS 3150576 HAS SOPS 1573919 HAS SOUS 244288 HAS SOUPS 96074 WITH SCORE 99224.576
AT ITER 2370 NEW BEST:: SOT 3723391 SOS 3150576 HAS SOPS 1573919 HAS SOUS 244206 HAS SOUPS 95992 WITH SCORE 99142.576
AT ITER 2378 NEW BEST:: SOT 3723391 SOS 3150576 HAS SOPS 1573919 HAS SOUS 244058 HAS SOUPS 95844 WITH SCORE 98994.576
AT ITER 2400 NEW BEST:: SOT 3723391 SOS 3150576 HAS SOPS 1573919 HAS SOUS 244050 HAS SOUPS 95836 WITH SCORE 98986.576
AT ITER 2411 NEW BEST:: SOT 3723399 SOS 3153195 HAS SOPS 1576538 HAS SOUS 244047 HAS SOUPS 95833 WITH SCORE 98986.195
AT ITER 2415 NEW BEST:: SOT 3723477 SOS 3153351 HAS SOPS 1576694 HAS SOUS 244042 HAS SOUPS 95828 WITH SCORE 98981.351
AT ITER 2433 NEW BEST:: SOT 3723477 SOS 3153273 HAS SOPS 1576694 HAS SOUS 244016 HAS SOUPS 95815 WITH SCORE 98968.273
AT ITER 2446 NEW BEST:: SOT 3723460 SOS 3153365 HAS SOPS 1576408 HAS SOUS 244061 HAS SOUPS 95797 WITH SCORE 98950.365
AT ITER 2465 NEW BEST:: SOT 3723420 SOS 3154143 HAS SOPS 1576328 HAS SOUS 244173 HAS SOUPS 95766 WITH SCORE 98920.143
AT ITER 2486 NEW BEST:: SOT 3723406 SOS 3154115 HAS SOPS 1576564 HAS SOUS 244115 HAS SOUPS 95752 WITH SCORE 98906.115
AT ITER 2522 NEW BEST:: SOT 3723399 SOS 3154101 HAS SOPS 1576550 HAS SOUS 244108 HAS SOUPS 95745 WITH SCORE 98899.101
AT ITER 2525 NEW BEST:: SOT 3723316 SOS 3153665 HAS SOPS 1576924 HAS SOUS 243931 HAS SOUPS 95703 WITH SCORE 98856.665
AT ITER 2538 NEW BEST:: SOT 3723316 SOS 3153665 HAS SOPS 1576924 HAS SOUS 243930 HAS SOUPS 95702 WITH SCORE 98855.665
AT ITER 2559 NEW BEST:: SOT 3722934 SOS 3152771 HAS SOPS 1576030 HAS SOUS 243710 HAS SOUPS 95482 WITH SCORE 98634.771
AT ITER 2593 NEW BEST:: SOT 3722808 SOS 3152519 HAS SOPS 1576156 HAS SOUS 243458 HAS SOUPS 95293 WITH SCORE 98445.519
AT ITER 2633 NEW BEST:: SOT 3722776 SOS 3152455 HAS SOPS 1576092 HAS SOUS 243426 HAS SOUPS 95261 WITH SCORE 98413.455
AT ITER 2647 NEW BEST:: SOT 3718287 SOS 3145493 HAS SOPS 1573318 HAS SOUS 243087 HAS SOUPS 95258 WITH SCORE 98403.493
AT ITER 2652 NEW BEST:: SOT 3718123 SOS 3145101 HAS SOPS 1573118 HAS SOUS 242955 HAS SOUPS 95158 WITH SCORE 98303.101
AT ITER 2668 NEW BEST:: SOT 3718158 SOS 3145066 HAS SOPS 1573083 HAS SOUS 242885 HAS SOUPS 95088 WITH SCORE 98233.066
AT ITER 2675 NEW BEST:: SOT 3717873 SOS 3146060 HAS SOPS 1573015 HAS SOUS 242720 HAS SOUPS 94864 WITH SCORE 98010.06
AT ITER 2676 NEW BEST:: SOT 3717901 SOS 3145220 HAS SOPS 1572511 HAS SOUS 242720 HAS SOUPS 94864 WITH SCORE 98009.22
AT ITER 2693 NEW BEST:: SOT 3717779 SOS 3144976 HAS SOPS 1572267 HAS SOUS 242679 HAS SOUPS 94823 WITH SCORE 97967.976
AT ITER 2699 NEW BEST:: SOT 3716982 SOS 3138694 HAS SOPS 1571710 HAS SOUS 242683 HAS SOUPS 94827 WITH SCORE 97965.694
AT ITER 2702 NEW BEST:: SOT 3716982 SOS 3138694 HAS SOPS 1571710 HAS SOUS 242595 HAS SOUPS 94739 WITH SCORE 97877.694
AT ITER 2706 NEW BEST:: SOT 3716690 SOS 3137538 HAS SOPS 1571412 HAS SOUS 242187 HAS SOUPS 94474 WITH SCORE 97611.538
AT ITER 2707 NEW BEST:: SOT 3715562 SOS 3142684 HAS SOPS 1573258 HAS SOUS 241475 HAS SOUPS 93762 WITH SCORE 96904.684
AT ITER 2734 NEW BEST:: SOT 3715552 SOS 3143164 HAS SOPS 1573248 HAS SOUS 241465 HAS SOUPS 93742 WITH SCORE 96885.164
AT ITER 2742 NEW BEST:: SOT 3715552 SOS 3143164 HAS SOPS 1573248 HAS SOUS 241401 HAS SOUPS 93678 WITH SCORE 96821.164
AT ITER 2754 NEW BEST:: SOT 3715552 SOS 3143164 HAS SOPS 1573248 HAS SOUS 241395 HAS SOUPS 93672 WITH SCORE 96815.164
AT ITER 2772 NEW BEST:: SOT 3715457 SOS 3142974 HAS SOPS 1573058 HAS SOUS 241172 HAS SOUPS 93449 WITH SCORE 96591.974
AT ITER 2792 NEW BEST:: SOT 3715457 SOS 3142974 HAS SOPS 1573058 HAS SOUS 241088 HAS SOUPS 93365 WITH SCORE 96507.974
AT ITER 2862 NEW BEST:: SOT 3715445 SOS 3142872 HAS SOPS 1573190 HAS SOUS 241043 HAS SOUPS 93359 WITH SCORE 96501.872
AT ITER 2868 NEW BEST:: SOT 3710098 SOS 3134561 HAS SOPS 1569919 HAS SOUS 240654 HAS SOUPS 93367 WITH SCORE 96501.561
AT ITER 2878 NEW BEST:: SOT 3709883 SOS 3134131 HAS SOPS 1569489 HAS SOUS 240277 HAS SOUPS 92990 WITH SCORE 96124.131
AT ITER 2885 NEW BEST:: SOT 3710878 SOS 3128957 HAS SOPS 1567321 HAS SOUS 240217 HAS SOUPS 92930 WITH SCORE 96058.957
AT ITER 2891 NEW BEST:: SOT 3710871 SOS 3128908 HAS SOPS 1567314 HAS SOUS 240203 HAS SOUPS 92923 WITH SCORE 96051.908
AT ITER 2894 NEW BEST:: SOT 3710855 SOS 3128876 HAS SOPS 1567282 HAS SOUS 240187 HAS SOUPS 92907 WITH SCORE 96035.876
AT ITER 2925 NEW BEST:: SOT 3709045 SOS 3127454 HAS SOPS 1566122 HAS SOUS 240304 HAS SOUPS 92876 WITH SCORE 96003.454
AT ITER 2941 NEW BEST:: SOT 3705324 SOS 3121811 HAS SOPS 1563762 HAS SOUS 240120 HAS SOUPS 92871 WITH SCORE 95992.811
AT ITER 2953 NEW BEST:: SOT 3705304 SOS 3121871 HAS SOPS 1563762 HAS SOUS 240100 HAS SOUPS 92851 WITH SCORE 95972.871
AT ITER 2965 NEW BEST:: SOT 3705046 SOS 3116969 HAS SOPS 1561182 HAS SOUS 239971 HAS SOUPS 92851 WITH SCORE 95967.969
AT ITER 2973 NEW BEST:: SOT 3704960 SOS 3116797 HAS SOPS 1560740 HAS SOUS 239840 HAS SOUPS 92675 WITH SCORE 95791.797
AT ITER 2974 NEW BEST:: SOT 3704960 SOS 3116797 HAS SOPS 1560740 HAS SOUS 239754 HAS SOUPS 92589 WITH SCORE 95705.797
AT ITER 2985 NEW BEST:: SOT 3704960 SOS 3116619 HAS SOPS 1561096 HAS SOUS 239665 HAS SOUPS 92589 WITH SCORE 95705.619
AT ITER 3016 NEW BEST:: SOT 3704960 SOS 3116619 HAS SOPS 1561096 HAS SOUS 239645 HAS SOUPS 92569 WITH SCORE 95685.619
AT ITER 3034 NEW BEST:: SOT 3704800 SOS 3116939 HAS SOPS 1561032 HAS SOUS 239491 HAS SOUPS 92415 WITH SCORE 95531.939
AT ITER 3053 NEW BEST:: SOT 3704801 SOS 3116935 HAS SOPS 1561030 HAS SOUS 239486 HAS SOUPS 92411 WITH SCORE 95527.935
AT ITER 3066 NEW BEST:: SOT 3704805 SOS 3116963 HAS SOPS 1561034 HAS SOUS 239486 HAS SOUPS 92407 WITH SCORE 95523.963
AT ITER 3094 NEW BEST:: SOT 3704927 SOS 3113217 HAS SOPS 1559502 HAS SOUS 239249 HAS SOUPS 92293 WITH SCORE 95406.217
AT ITER 3104 NEW BEST:: SOT 3704903 SOS 3113137 HAS SOPS 1559518 HAS SOUS 239217 HAS SOUPS 92277 WITH SCORE 95390.137
AT ITER 3116 NEW BEST:: SOT 3704749 SOS 3112757 HAS SOPS 1559354 HAS SOUS 239115 HAS SOUPS 92211 WITH SCORE 95323.757
AT ITER 3129 NEW BEST:: SOT 3700540 SOS 3106114 HAS SOPS 1556595 HAS SOUS 238661 HAS SOUPS 92020 WITH SCORE 95126.114
AT ITER 3133 NEW BEST:: SOT 3700506 SOS 3105944 HAS SOPS 1556425 HAS SOUS 238593 HAS SOUPS 91952 WITH SCORE 95057.944
AT ITER 3156 NEW BEST:: SOT 3700293 SOS 3105518 HAS SOPS 1556863 HAS SOUS 238120 HAS SOUPS 91623 WITH SCORE 94728.518
AT ITER 3160 NEW BEST:: SOT 3700288 SOS 3105348 HAS SOPS 1556753 HAS SOUS 238105 HAS SOUPS 91608 WITH SCORE 94713.348
AT ITER 3164 NEW BEST:: SOT 3698715 SOS 3103107 HAS SOPS 1555140 HAS SOUS 237909 HAS SOUPS 91412 WITH SCORE 94515.107
AT ITER 3176 NEW BEST:: SOT 3699315 SOS 3104007 HAS SOPS 1555440 HAS SOUS 237859 HAS SOUPS 91312 WITH SCORE 94416.007
AT ITER 3195 NEW BEST:: SOT 3699444 SOS 3102003 HAS SOPS 1554480 HAS SOUS 237807 HAS SOUPS 91260 WITH SCORE 94362.003
AT ITER 3200 NEW BEST:: SOT 3699429 SOS 3101973 HAS SOPS 1554450 HAS SOUS 237730 HAS SOUPS 91183 WITH SCORE 94284.973
AT ITER 3214 NEW BEST:: SOT 3699405 SOS 3101925 HAS SOPS 1554402 HAS SOUS 237724 HAS SOUPS 91177 WITH SCORE 94278.925
AT ITER 3235 NEW BEST:: SOT 3699405 SOS 3101925 HAS SOPS 1554402 HAS SOUS 237636 HAS SOUPS 91089 WITH SCORE 94190.925
AT ITER 3261 NEW BEST:: SOT 3699372 SOS 3101859 HAS SOPS 1554336 HAS SOUS 237603 HAS SOUPS 91056 WITH SCORE 94157.859
AT ITER 3283 NEW BEST:: SOT 3699416 SOS 3101991 HAS SOPS 1554336 HAS SOUS 237614 HAS SOUPS 91045 WITH SCORE 94146.991
AT ITER 3296 NEW BEST:: SOT 3699303 SOS 3101423 HAS SOPS 1554110 HAS SOUS 237418 HAS SOUPS 90906 WITH SCORE 94007.423
AT ITER 3319 NEW BEST:: SOT 3699293 SOS 3101403 HAS SOPS 1554150 HAS SOUS 237398 HAS SOUPS 90896 WITH SCORE 93997.403
AT ITER 3339 NEW BEST:: SOT 3699293 SOS 3101403 HAS SOPS 1554150 HAS SOUS 237396 HAS SOUPS 90894 WITH SCORE 93995.403
AT ITER 3345 NEW BEST:: SOT 3699293 SOS 3101403 HAS SOPS 1554150 HAS SOUS 237334 HAS SOUPS 90832 WITH SCORE 93933.403
AT ITER 3349 NEW BEST:: SOT 3699353 SOS 3097611 HAS SOPS 1552563 HAS SOUS 237286 HAS SOUPS 90829 WITH SCORE 93926.611
AT ITER 3381 NEW BEST:: SOT 3699349 SOS 3097595 HAS SOPS 1552559 HAS SOUS 237278 HAS SOUPS 90823 WITH SCORE 93920.595
AT ITER 3421 NEW BEST:: SOT 3694896 SOS 3090580 HAS SOPS 1549756 HAS SOUS 236693 HAS SOUPS 90589 WITH SCORE 93679.58
AT ITER 3464 NEW BEST:: SOT 3694894 SOS 3090198 HAS SOPS 1549752 HAS SOUS 236628 HAS SOUPS 90587 WITH SCORE 93677.198
AT ITER 3482 NEW BEST:: SOT 3694883 SOS 3090187 HAS SOPS 1549741 HAS SOUS 236617 HAS SOUPS 90576 WITH SCORE 93666.187
AT ITER 3506 NEW BEST:: SOT 3694839 SOS 3090099 HAS SOPS 1549653 HAS SOUS 236440 HAS SOUPS 90399 WITH SCORE 93489.099
AT ITER 3520 NEW BEST:: SOT 3694839 SOS 3090047 HAS SOPS 1549757 HAS SOUS 236414 HAS SOUPS 90399 WITH SCORE 93489.047
AT ITER 3566 NEW BEST:: SOT 3694838 SOS 3090045 HAS SOPS 1549761 HAS SOUS 236411 HAS SOUPS 90397 WITH SCORE 93487.045
AT ITER 3584 NEW BEST:: SOT 3694838 SOS 3090041 HAS SOPS 1549757 HAS SOUS 236407 HAS SOUPS 90393 WITH SCORE 93483.041
AT ITER 3585 NEW BEST:: SOT 3694838 SOS 3090041 HAS SOPS 1549757 HAS SOUS 236388 HAS SOUPS 90374 WITH SCORE 93464.041
AT ITER 3591 NEW BEST:: SOT 3694478 SOS 3094401 HAS SOPS 1551897 HAS SOUS 236273 HAS SOUPS 90259 WITH SCORE 93353.401
AT ITER 3609 NEW BEST:: SOT 3694460 SOS 3094365 HAS SOPS 1551861 HAS SOUS 236255 HAS SOUPS 90241 WITH SCORE 93335.365
AT ITER 3643 NEW BEST:: SOT 3694420 SOS 3093979 HAS SOPS 1551781 HAS SOUS 236150 HAS SOUPS 90187 WITH SCORE 93280.979
AT ITER 3663 NEW BEST:: SOT 3694473 SOS 3092159 HAS SOPS 1551041 HAS SOUS 236029 HAS SOUPS 90126 WITH SCORE 93218.159
AT ITER 3694 NEW BEST:: SOT 3694473 SOS 3092159 HAS SOPS 1551041 HAS SOUS 236005 HAS SOUPS 90102 WITH SCORE 93194.159
AT ITER 3695 NEW BEST:: SOT 3694631 SOS 3092659 HAS SOPS 1550989 HAS SOUS 236088 HAS SOUPS 90093 WITH SCORE 93185.659
AT ITER 3700 NEW BEST:: SOT 3694631 SOS 3092659 HAS SOPS 1550989 HAS SOUS 236074 HAS SOUPS 90079 WITH SCORE 93171.659
AT ITER 3751 NEW BEST:: SOT 3694515 SOS 3092427 HAS SOPS 1550757 HAS SOUS 235958 HAS SOUPS 89963 WITH SCORE 93055.427
AT ITER 3759 NEW BEST:: SOT 3694515 SOS 3092427 HAS SOPS 1550757 HAS SOUS 235942 HAS SOUPS 89947 WITH SCORE 93039.427
AT ITER 3770 NEW BEST:: SOT 3694515 SOS 3092427 HAS SOPS 1550757 HAS SOUS 235916 HAS SOUPS 89921 WITH SCORE 93013.427
AT ITER 3778 NEW BEST:: SOT 3694486 SOS 3092427 HAS SOPS 1550757 HAS SOUS 235887 HAS SOUPS 89892 WITH SCORE 92984.427
AT ITER 3781 NEW BEST:: SOT 3694472 SOS 3092399 HAS SOPS 1550687 HAS SOUS 235873 HAS SOUPS 89871 WITH SCORE 92963.399
AT ITER 3791 NEW BEST:: SOT 3694472 SOS 3092399 HAS SOPS 1550687 HAS SOUS 235805 HAS SOUPS 89803 WITH SCORE 92895.399
AT ITER 3801 NEW BEST:: SOT 3693689 SOS 3092687 HAS SOPS 1549409 HAS SOUS 235302 HAS SOUPS 89213 WITH SCORE 92305.687
AT ITER 3889 NEW BEST:: SOT 3693473 SOS 3093123 HAS SOPS 1549341 HAS SOUS 235226 HAS SOUPS 89109 WITH SCORE 92202.123
AT ITER 3917 NEW BEST:: SOT 3693565 SOS 3093183 HAS SOPS 1549401 HAS SOUS 235225 HAS SOUPS 89108 WITH SCORE 92201.183
AT ITER 3967 NEW BEST:: SOT 3693489 SOS 3092353 HAS SOPS 1549249 HAS SOUS 235002 HAS SOUPS 88998 WITH SCORE 92090.353
AT ITER 4039 NEW BEST:: SOT 3693489 SOS 3092353 HAS SOPS 1549249 HAS SOUS 234956 HAS SOUPS 88952 WITH SCORE 92044.353
AT ITER 4064 NEW BEST:: SOT 3692984 SOS 3093067 HAS SOPS 1548943 HAS SOUS 234513 HAS SOUPS 88509 WITH SCORE 91602.067
AT ITER 4069 NEW BEST:: SOT 3692909 SOS 3093367 HAS SOPS 1549063 HAS SOUS 234513 HAS SOUPS 88494 WITH SCORE 91587.367
AT ITER 4086 NEW BEST:: SOT 3692919 SOS 3093117 HAS SOPS 1549347 HAS SOUS 234401 HAS SOUPS 88471 WITH SCORE 91564.117
AT ITER 4089 NEW BEST:: SOT 3692831 SOS 3093205 HAS SOPS 1549171 HAS SOUS 234363 HAS SOUPS 88389 WITH SCORE 91482.205
AT ITER 4096 NEW BEST:: SOT 3692766 SOS 3093056 HAS SOPS 1549022 HAS SOUS 234286 HAS SOUPS 88312 WITH SCORE 91405.056
AT ITER 4118 NEW BEST:: SOT 3692624 SOS 3095022 HAS SOPS 1548938 HAS SOUS 234166 HAS SOUPS 88242 WITH SCORE 91337.022
AT ITER 4140 NEW BEST:: SOT 3692624 SOS 3095022 HAS SOPS 1548938 HAS SOUS 234122 HAS SOUPS 88198 WITH SCORE 91293.022
AT ITER 4195 NEW BEST:: SOT 3692627 SOS 3095190 HAS SOPS 1549106 HAS SOUS 234109 HAS SOUPS 88185 WITH SCORE 91280.19
AT ITER 4205 NEW BEST:: SOT 3692787 SOS 3095646 HAS SOPS 1549154 HAS SOUS 234171 HAS SOUPS 88179 WITH SCORE 91274.646
AT ITER 4250 NEW BEST:: SOT 3692787 SOS 3095604 HAS SOPS 1549238 HAS SOUS 234150 HAS SOUPS 88179 WITH SCORE 91274.604
AT ITER 4273 NEW BEST:: SOT 3692785 SOS 3095540 HAS SOPS 1549234 HAS SOUS 234128 HAS SOUPS 88167 WITH SCORE 91262.54
AT ITER 4279 NEW BEST:: SOT 3693101 SOS 3096390 HAS SOPS 1549430 HAS SOUS 234215 HAS SOUPS 88145 WITH SCORE 91241.39
AT ITER 4296 NEW BEST:: SOT 3693101 SOS 3096390 HAS SOPS 1549430 HAS SOUS 234201 HAS SOUPS 88131 WITH SCORE 91227.39
AT ITER 4312 NEW BEST:: SOT 3693127 SOS 3096468 HAS SOPS 1549430 HAS SOUS 234175 HAS SOUPS 88092 WITH SCORE 91188.468
AT ITER 4314 NEW BEST:: SOT 3693127 SOS 3096468 HAS SOPS 1549430 HAS SOUS 234101 HAS SOUPS 88018 WITH SCORE 91114.468
AT ITER 4327 NEW BEST:: SOT 3692814 SOS 3099420 HAS SOPS 1550822 HAS SOUS 233980 HAS SOUPS 87897 WITH SCORE 90996.42
AT ITER 4345 NEW BEST:: SOT 3692809 SOS 3099380 HAS SOPS 1550812 HAS SOUS 233960 HAS SOUPS 87882 WITH SCORE 90981.38
AT ITER 4428 NEW BEST:: SOT 3692728 SOS 3099218 HAS SOPS 1550650 HAS SOUS 233834 HAS SOUPS 87756 WITH SCORE 90855.218
AT ITER 4488 NEW BEST:: SOT 3692728 SOS 3099218 HAS SOPS 1550650 HAS SOUS 233750 HAS SOUPS 87672 WITH SCORE 90771.218
AT ITER 4531 NEW BEST:: SOT 3691841 SOS 3100602 HAS SOPS 1550330 HAS SOUS 233482 HAS SOUPS 87404 WITH SCORE 90504.602
AT ITER 4545 NEW BEST:: SOT 3689065 SOS 3096748 HAS SOPS 1547778 HAS SOUS 233310 HAS SOUPS 87232 WITH SCORE 90328.748
AT ITER 4546 NEW BEST:: SOT 3689145 SOS 3096948 HAS SOPS 1547858 HAS SOUS 233310 HAS SOUPS 87212 WITH SCORE 90308.948
AT ITER 4568 NEW BEST:: SOT 3689242 SOS 3095052 HAS SOPS 1546952 HAS SOUS 233242 HAS SOUPS 87199 WITH SCORE 90294.052
AT ITER 4585 NEW BEST:: SOT 3689414 SOS 3095522 HAS SOPS 1547038 HAS SOUS 233121 HAS SOUPS 87035 WITH SCORE 90130.522
AT ITER 4609 NEW BEST:: SOT 3687558 SOS 3092809 HAS SOPS 1545733 HAS SOUS 233055 HAS SOUPS 87000 WITH SCORE 90092.809
AT ITER 4631 NEW BEST:: SOT 3687532 SOS 3092783 HAS SOPS 1545707 HAS SOUS 233016 HAS SOUPS 86961 WITH SCORE 90053.783
AT ITER 4643 NEW BEST:: SOT 3687532 SOS 3092783 HAS SOPS 1545707 HAS SOUS 232966 HAS SOUPS 86911 WITH SCORE 90003.783
AT ITER 4647 NEW BEST:: SOT 3687605 SOS 3093130 HAS SOPS 1545642 HAS SOUS 232909 HAS SOUPS 86786 WITH SCORE 89879.13
AT ITER 4652 NEW BEST:: SOT 3687506 SOS 3092833 HAS SOPS 1545543 HAS SOUS 232744 HAS SOUPS 86654 WITH SCORE 89746.833
AT ITER 4675 NEW BEST:: SOT 3686547 SOS 3091557 HAS SOPS 1544903 HAS SOUS 232669 HAS SOUPS 86579 WITH SCORE 89670.557
AT ITER 4710 NEW BEST:: SOT 3686358 SOS 3091055 HAS SOPS 1544773 HAS SOUS 232601 HAS SOUPS 86573 WITH SCORE 89664.055
AT ITER 4716 NEW BEST:: SOT 3685187 SOS 3089247 HAS SOPS 1544033 HAS SOUS 232409 HAS SOUPS 86470 WITH SCORE 89559.247
AT ITER 4724 NEW BEST:: SOT 3684982 SOS 3091749 HAS SOPS 1545443 HAS SOUS 232377 HAS SOUPS 86438 WITH SCORE 89529.749
AT ITER 4752 NEW BEST:: SOT 3684255 SOS 3093273 HAS SOPS 1544573 HAS SOUS 232414 HAS SOUPS 86342 WITH SCORE 89435.273
AT ITER 4759 NEW BEST:: SOT 3684259 SOS 3093101 HAS SOPS 1544573 HAS SOUS 232414 HAS SOUPS 86342 WITH SCORE 89435.101
AT ITER 4780 NEW BEST:: SOT 3683772 SOS 3092210 HAS SOPS 1544338 HAS SOUS 232128 HAS SOUPS 86182 WITH SCORE 89274.21
AT ITER 4791 NEW BEST:: SOT 3683772 SOS 3092210 HAS SOPS 1544338 HAS SOUS 232040 HAS SOUPS 86094 WITH SCORE 89186.21
AT ITER 4803 NEW BEST:: SOT 3683772 SOS 3092250 HAS SOPS 1544258 HAS SOUS 232020 HAS SOUPS 86054 WITH SCORE 89146.25
AT ITER 4832 NEW BEST:: SOT 3683772 SOS 3092250 HAS SOPS 1544258 HAS SOUS 231990 HAS SOUPS 86024 WITH SCORE 89116.25
AT ITER 4834 NEW BEST:: SOT 3683748 SOS 3092310 HAS SOPS 1544210 HAS SOUS 231970 HAS SOUPS 85986 WITH SCORE 89078.31
AT ITER 4845 NEW BEST:: SOT 3683748 SOS 3092310 HAS SOPS 1544210 HAS SOUS 231936 HAS SOUPS 85952 WITH SCORE 89044.31
AT ITER 4847 NEW BEST:: SOT 3683760 SOS 3091582 HAS SOPS 1543818 HAS SOUS 231909 HAS SOUPS 85925 WITH SCORE 89016.582
AT ITER 4861 NEW BEST:: SOT 3683752 SOS 3091506 HAS SOPS 1544114 HAS SOUS 231839 HAS SOUPS 85917 WITH SCORE 89008.506
AT ITER 4897 NEW BEST:: SOT 3683716 SOS 3091554 HAS SOPS 1544042 HAS SOUS 231827 HAS SOUPS 85885 WITH SCORE 88976.554
AT ITER 4915 NEW BEST:: SOT 3683359 SOS 3089660 HAS SOPS 1543274 HAS SOUS 231767 HAS SOUPS 85826 WITH SCORE 88915.66
AT ITER 4969 NEW BEST:: SOT 3683379 SOS 3090513 HAS SOPS 1544087 HAS SOUS 231744 HAS SOUPS 85803 WITH SCORE 88893.513
AT ITER 5018 NEW BEST:: SOT 3683401 SOS 3090207 HAS SOPS 1543901 HAS SOUS 231726 HAS SOUPS 85785 WITH SCORE 88875.207
AT ITER 5025 NEW BEST:: SOT 3683054 SOS 3092129 HAS SOPS 1544203 HAS SOUS 231545 HAS SOUPS 85514 WITH SCORE 88606.129
AT ITER 5033 NEW BEST:: SOT 3683054 SOS 3092291 HAS SOPS 1544203 HAS SOUS 231545 HAS SOUPS 85487 WITH SCORE 88579.291
AT ITER 5051 NEW BEST:: SOT 3681569 SOS 3089963 HAS SOPS 1543159 HAS SOUS 231381 HAS SOUPS 85394 WITH SCORE 88483.963
AT ITER 5076 NEW BEST:: SOT 3681569 SOS 3089963 HAS SOPS 1543159 HAS SOUS 231347 HAS SOUPS 85360 WITH SCORE 88449.963
AT ITER 5116 NEW BEST:: SOT 3681555 SOS 3089935 HAS SOPS 1543131 HAS SOUS 231333 HAS SOUPS 85346 WITH SCORE 88435.935
AT ITER 5156 NEW BEST:: SOT 3681552 SOS 3089878 HAS SOPS 1543074 HAS SOUS 231311 HAS SOUPS 85324 WITH SCORE 88413.878
AT ITER 5193 NEW BEST:: SOT 3681552 SOS 3089878 HAS SOPS 1543074 HAS SOUS 231310 HAS SOUPS 85323 WITH SCORE 88412.878
AT ITER 5233 NEW BEST:: SOT 3681532 SOS 3089958 HAS SOPS 1543034 HAS SOUS 231310 HAS SOUPS 85303 WITH SCORE 88392.958
AT ITER 5268 NEW BEST:: SOT 3681532 SOS 3089958 HAS SOPS 1543034 HAS SOUS 231292 HAS SOUPS 85285 WITH SCORE 88374.958
AT ITER 5309 NEW BEST:: SOT 3681544 SOS 3089362 HAS SOPS 1542722 HAS SOUS 231337 HAS SOUPS 85269 WITH SCORE 88358.362
AT ITER 5321 NEW BEST:: SOT 3681544 SOS 3089362 HAS SOPS 1542722 HAS SOUS 231335 HAS SOUPS 85267 WITH SCORE 88356.362
AT ITER 5345 NEW BEST:: SOT 3678950 SOS 3071109 HAS SOPS 1541089 HAS SOUS 231274 HAS SOUPS 85196 WITH SCORE 88267.109
AT ITER 5351 NEW BEST:: SOT 3678504 SOS 3069975 HAS SOPS 1540681 HAS SOUS 231041 HAS SOUPS 85084 WITH SCORE 88153.975
AT ITER 5356 NEW BEST:: SOT 3680670 SOS 3073220 HAS SOPS 1541976 HAS SOUS 231102 HAS SOUPS 85009 WITH SCORE 88082.22
AT ITER 5357 NEW BEST:: SOT 3680670 SOS 3073202 HAS SOPS 1541976 HAS SOUS 231096 HAS SOUPS 85006 WITH SCORE 88079.202
AT ITER 5364 NEW BEST:: SOT 3680670 SOS 3073076 HAS SOPS 1541850 HAS SOUS 231075 HAS SOUPS 84985 WITH SCORE 88058.076
AT ITER 5375 NEW BEST:: SOT 3680670 SOS 3073076 HAS SOPS 1541850 HAS SOUS 231073 HAS SOUPS 84983 WITH SCORE 88056.076
AT ITER 5378 NEW BEST:: SOT 3680670 SOS 3071353 HAS SOPS 1541809 HAS SOUS 230996 HAS SOUPS 84942 WITH SCORE 88013.353
AT ITER 5388 NEW BEST:: SOT 3680635 SOS 3071311 HAS SOPS 1541767 HAS SOUS 230975 HAS SOUPS 84921 WITH SCORE 87992.311
AT ITER 5398 NEW BEST:: SOT 3676193 SOS 3064822 HAS SOPS 1537384 HAS SOUS 230911 HAS SOUPS 84845 WITH SCORE 87909.822
AT ITER 5445 NEW BEST:: SOT 3676193 SOS 3064822 HAS SOPS 1537384 HAS SOUS 230897 HAS SOUPS 84831 WITH SCORE 87895.822
AT ITER 5457 NEW BEST:: SOT 3676130 SOS 3064696 HAS SOPS 1537036 HAS SOUS 230871 HAS SOUPS 84768 WITH SCORE 87832.696
AT ITER 5463 NEW BEST:: SOT 3676130 SOS 3064696 HAS SOPS 1537036 HAS SOUS 230841 HAS SOUPS 84738 WITH SCORE 87802.696
AT ITER 5518 NEW BEST:: SOT 3676122 SOS 3062680 HAS SOPS 1535020 HAS SOUS 230841 HAS SOUPS 84738 WITH SCORE 87800.68
AT ITER 5543 NEW BEST:: SOT 3676122 SOS 3062680 HAS SOPS 1535020 HAS SOUS 230773 HAS SOUPS 84670 WITH SCORE 87732.68
AT ITER 5555 NEW BEST:: SOT 3675906 SOS 3062356 HAS SOPS 1534912 HAS SOUS 230593 HAS SOUPS 84544 WITH SCORE 87606.356
AT ITER 5579 NEW BEST:: SOT 3675928 SOS 3062092 HAS SOPS 1534900 HAS SOUS 230578 HAS SOUPS 84543 WITH SCORE 87605.092
AT ITER 5583 NEW BEST:: SOT 3675945 SOS 3061636 HAS SOPS 1534648 HAS SOUS 230578 HAS SOUPS 84543 WITH SCORE 87604.636
AT ITER 5612 NEW BEST:: SOT 3675950 SOS 3061881 HAS SOPS 1534648 HAS SOUS 230578 HAS SOUPS 84538 WITH SCORE 87599.881
AT ITER 5646 NEW BEST:: SOT 3676659 SOS 3063480 HAS SOPS 1534895 HAS SOUS 230735 HAS SOUPS 84464 WITH SCORE 87527.48
AT ITER 5659 NEW BEST:: SOT 3676599 SOS 3063648 HAS SOPS 1534751 HAS SOUS 230696 HAS SOUPS 84373 WITH SCORE 87436.648
AT ITER 5682 NEW BEST:: SOT 3676599 SOS 3063613 HAS SOPS 1534709 HAS SOUS 230682 HAS SOUPS 84359 WITH SCORE 87422.613
AT ITER 5683 NEW BEST:: SOT 3678207 SOS 3066025 HAS SOPS 1535513 HAS SOUS 230552 HAS SOUPS 84095 WITH SCORE 87161.025
AT ITER 5685 NEW BEST:: SOT 3678185 SOS 3065981 HAS SOPS 1535469 HAS SOUS 230508 HAS SOUPS 84051 WITH SCORE 87116.981
AT ITER 5702 NEW BEST:: SOT 3678111 SOS 3065833 HAS SOPS 1535321 HAS SOUS 230465 HAS SOUPS 84008 WITH SCORE 87073.833
AT ITER 5747 NEW BEST:: SOT 3677952 SOS 3067211 HAS SOPS 1536063 HAS SOUS 230369 HAS SOUPS 83912 WITH SCORE 86979.211
AT ITER 5753 NEW BEST:: SOT 3677947 SOS 3066913 HAS SOPS 1535765 HAS SOUS 230365 HAS SOUPS 83908 WITH SCORE 86974.913
AT ITER 5755 NEW BEST:: SOT 3678709 SOS 3068652 HAS SOPS 1536017 HAS SOUS 230532 HAS SOUPS 83831 WITH SCORE 86899.652
AT ITER 5758 NEW BEST:: SOT 3678709 SOS 3068652 HAS SOPS 1536017 HAS SOUS 230530 HAS SOUPS 83829 WITH SCORE 86897.652
AT ITER 5766 NEW BEST:: SOT 3678709 SOS 3068652 HAS SOPS 1536017 HAS SOUS 230480 HAS SOUPS 83779 WITH SCORE 86847.652
AT ITER 5797 NEW BEST:: SOT 3678684 SOS 3068488 HAS SOPS 1535967 HAS SOUS 230398 HAS SOUPS 83716 WITH SCORE 86784.488
AT ITER 5813 NEW BEST:: SOT 3678684 SOS 3068488 HAS SOPS 1535967 HAS SOUS 230388 HAS SOUPS 83706 WITH SCORE 86774.488
AT ITER 5826 NEW BEST:: SOT 3678684 SOS 3068488 HAS SOPS 1535967 HAS SOUS 230344 HAS SOUPS 83662 WITH SCORE 86730.488
AT ITER 5865 NEW BEST:: SOT 3678684 SOS 3068488 HAS SOPS 1535967 HAS SOUS 230340 HAS SOUPS 83658 WITH SCORE 86726.488
AT ITER 5923 NEW BEST:: SOT 3678668 SOS 3068472 HAS SOPS 1535951 HAS SOUS 230324 HAS SOUPS 83642 WITH SCORE 86710.472
AT ITER 5955 NEW BEST:: SOT 3678670 SOS 3068475 HAS SOPS 1535952 HAS SOUS 230324 HAS SOUPS 83641 WITH SCORE 86709.475
AT ITER 5996 NEW BEST:: SOT 3678623 SOS 3068146 HAS SOPS 1535905 HAS SOUS 230238 HAS SOUPS 83602 WITH SCORE 86670.146
AT ITER 6000 NEW BEST:: SOT 3678623 SOS 3068146 HAS SOPS 1535905 HAS SOUS 230208 HAS SOUPS 83572 WITH SCORE 86640.146
AT ITER 6005 NEW BEST:: SOT 3678623 SOS 3068146 HAS SOPS 1535905 HAS SOUS 230184 HAS SOUPS 83548 WITH SCORE 86616.146
AT ITER 6093 NEW BEST:: SOT 3678661 SOS 3066986 HAS SOPS 1535501 HAS SOUS 230138 HAS SOUPS 83544 WITH SCORE 86610.986
AT ITER 6098 NEW BEST:: SOT 3679239 SOS 2999752 HAS SOPS 1484731 HAS SOUS 229809 HAS SOUPS 83551 WITH SCORE 86550.752
AT ITER 6131 NEW BEST:: SOT 3679230 SOS 2999728 HAS SOPS 1484725 HAS SOUS 229806 HAS SOUPS 83551 WITH SCORE 86550.728
AT ITER 6145 NEW BEST:: SOT 3678978 SOS 2999098 HAS SOPS 1484095 HAS SOUS 229743 HAS SOUPS 83488 WITH SCORE 86487.098
AT ITER 6159 NEW BEST:: SOT 3678978 SOS 2999098 HAS SOPS 1484095 HAS SOUS 229735 HAS SOUPS 83480 WITH SCORE 86479.098
AT ITER 6231 NEW BEST:: SOT 3677786 SOS 2997242 HAS SOPS 1483295 HAS SOUS 229518 HAS SOUPS 83351 WITH SCORE 86348.242
AT ITER 6238 NEW BEST:: SOT 3677786 SOS 2997242 HAS SOPS 1483295 HAS SOUS 229494 HAS SOUPS 83327 WITH SCORE 86324.242
AT ITER 6245 NEW BEST:: SOT 3677722 SOS 2997178 HAS SOPS 1483231 HAS SOUS 229494 HAS SOUPS 83327 WITH SCORE 86324.178
AT ITER 6257 NEW BEST:: SOT 3677383 SOS 2998068 HAS SOPS 1483533 HAS SOUS 229336 HAS SOUPS 83169 WITH SCORE 86167.068
AT ITER 6267 NEW BEST:: SOT 3677418 SOS 2996339 HAS SOPS 1482716 HAS SOUS 229311 HAS SOUPS 83163 WITH SCORE 86159.339
AT ITER 6272 NEW BEST:: SOT 3677418 SOS 2996339 HAS SOPS 1482716 HAS SOUS 229305 HAS SOUPS 83157 WITH SCORE 86153.339
AT ITER 6300 NEW BEST:: SOT 3677350 SOS 2996203 HAS SOPS 1482580 HAS SOUS 229265 HAS SOUPS 83117 WITH SCORE 86113.203
AT ITER 6324 NEW BEST:: SOT 3677317 SOS 2996489 HAS SOPS 1482734 HAS SOUS 229243 HAS SOUPS 83095 WITH SCORE 86091.489
AT ITER 6341 NEW BEST:: SOT 3677317 SOS 2996489 HAS SOPS 1482734 HAS SOUS 229227 HAS SOUPS 83079 WITH SCORE 86075.489
AT ITER 6368 NEW BEST:: SOT 3677253 SOS 2996361 HAS SOPS 1482414 HAS SOUS 229195 HAS SOUPS 83015 WITH SCORE 86011.361
AT ITER 6386 NEW BEST:: SOT 3677090 SOS 2996003 HAS SOPS 1482370 HAS SOUS 229137 HAS SOUPS 83012 WITH SCORE 86008.003
AT ITER 6426 NEW BEST:: SOT 3674140 SOS 2989777 HAS SOPS 1477650 HAS SOUS 229043 HAS SOUPS 82918 WITH SCORE 85907.777
AT ITER 6427 NEW BEST:: SOT 3669910 SOS 2984424 HAS SOPS 1473930 HAS SOUS 229108 HAS SOUPS 82900 WITH SCORE 85884.424
AT ITER 6428 NEW BEST:: SOT 3669902 SOS 2984352 HAS SOPS 1473858 HAS SOUS 229106 HAS SOUPS 82898 WITH SCORE 85882.352
AT ITER 6456 NEW BEST:: SOT 3669242 SOS 2983362 HAS SOPS 1473528 HAS SOUS 229051 HAS SOUPS 82898 WITH SCORE 85881.362
AT ITER 6476 NEW BEST:: SOT 3670484 SOS 2984734 HAS SOPS 1474216 HAS SOUS 229002 HAS SOUPS 82879 WITH SCORE 85863.734
AT ITER 6485 NEW BEST:: SOT 3670425 SOS 2984616 HAS SOPS 1474098 HAS SOUS 228884 HAS SOUPS 82761 WITH SCORE 85745.616
AT ITER 6511 NEW BEST:: SOT 3670440 SOS 2984631 HAS SOPS 1474113 HAS SOUS 228869 HAS SOUPS 82746 WITH SCORE 85730.631
AT ITER 6529 NEW BEST:: SOT 3670433 SOS 2984603 HAS SOPS 1474127 HAS SOUS 228855 HAS SOUPS 82739 WITH SCORE 85723.603
AT ITER 6533 NEW BEST:: SOT 3670433 SOS 2984603 HAS SOPS 1474127 HAS SOUS 228801 HAS SOUPS 82685 WITH SCORE 85669.603
AT ITER 6534 NEW BEST:: SOT 3670433 SOS 2984603 HAS SOPS 1474127 HAS SOUS 228789 HAS SOUPS 82673 WITH SCORE 85657.603
AT ITER 6658 NEW BEST:: SOT 3670381 SOS 2984499 HAS SOPS 1474395 HAS SOUS 228726 HAS SOUPS 82672 WITH SCORE 85656.499
AT ITER 6678 NEW BEST:: SOT 3670381 SOS 2984499 HAS SOPS 1474395 HAS SOUS 228698 HAS SOUPS 82644 WITH SCORE 85628.499
AT ITER 6695 NEW BEST:: SOT 3670243 SOS 2984151 HAS SOPS 1474047 HAS SOUS 228536 HAS SOUPS 82482 WITH SCORE 85466.151
AT ITER 6703 NEW BEST:: SOT 3670287 SOS 2984263 HAS SOPS 1474087 HAS SOUS 228537 HAS SOUPS 82471 WITH SCORE 85455.263
AT ITER 6727 NEW BEST:: SOT 3670185 SOS 2982603 HAS SOPS 1473363 HAS SOUS 228435 HAS SOUPS 82421 WITH SCORE 85403.603
AT ITER 6750 NEW BEST:: SOT 3671934 SOS 2984408 HAS SOPS 1474226 HAS SOUS 228307 HAS SOUPS 82305 WITH SCORE 85289.408
AT ITER 6791 NEW BEST:: SOT 3671837 SOS 2984268 HAS SOPS 1474095 HAS SOUS 228261 HAS SOUPS 82259 WITH SCORE 85243.268
AT ITER 6820 NEW BEST:: SOT 3671735 SOS 2984256 HAS SOPS 1473429 HAS SOUS 228050 HAS SOUPS 81939 WITH SCORE 84923.256
AT ITER 6824 NEW BEST:: SOT 3671735 SOS 2984256 HAS SOPS 1473429 HAS SOUS 228026 HAS SOUPS 81915 WITH SCORE 84899.256
AT ITER 6863 NEW BEST:: SOT 3672095 SOS 2984616 HAS SOPS 1473519 HAS SOUS 227936 HAS SOUPS 81825 WITH SCORE 84809.616
AT ITER 6900 NEW BEST:: SOT 3672072 SOS 2982208 HAS SOPS 1472281 HAS SOUS 227783 HAS SOUPS 81737 WITH SCORE 84719.208
AT ITER 6916 NEW BEST:: SOT 3672143 SOS 2980142 HAS SOPS 1471043 HAS SOUS 227785 HAS SOUPS 81739 WITH SCORE 84719.142
AT ITER 6945 NEW BEST:: SOT 3672443 SOS 2980442 HAS SOPS 1471193 HAS SOUS 227760 HAS SOUPS 81714 WITH SCORE 84694.442
AT ITER 6952 NEW BEST:: SOT 3672443 SOS 2980442 HAS SOPS 1471193 HAS SOUS 227714 HAS SOUPS 81668 WITH SCORE 84648.442
AT ITER 6953 NEW BEST:: SOT 3672412 SOS 2980968 HAS SOPS 1471341 HAS SOUS 227722 HAS SOUPS 81655 WITH SCORE 84635.968
AT ITER 6980 NEW BEST:: SOT 3672656 SOS 2979496 HAS SOPS 1470649 HAS SOUS 227683 HAS SOUPS 81616 WITH SCORE 84595.496
AT ITER 6987 NEW BEST:: SOT 3672640 SOS 2979464 HAS SOPS 1470617 HAS SOUS 227629 HAS SOUPS 81562 WITH SCORE 84541.464
AT ITER 7022 NEW BEST:: SOT 3672629 SOS 2979442 HAS SOPS 1470595 HAS SOUS 227592 HAS SOUPS 81525 WITH SCORE 84504.442
AT ITER 7040 NEW BEST:: SOT 3672973 SOS 2979915 HAS SOPS 1470767 HAS SOUS 227519 HAS SOUPS 81452 WITH SCORE 84431.915
AT ITER 7058 NEW BEST:: SOT 3672946 SOS 2979621 HAS SOPS 1470713 HAS SOUS 227432 HAS SOUPS 81405 WITH SCORE 84384.621
AT ITER 7059 NEW BEST:: SOT 3672938 SOS 2979605 HAS SOPS 1470697 HAS SOUS 227424 HAS SOUPS 81397 WITH SCORE 84376.605
AT ITER 7076 NEW BEST:: SOT 3672837 SOS 2979239 HAS SOPS 1470577 HAS SOUS 227241 HAS SOUPS 81255 WITH SCORE 84234.239
AT ITER 7132 NEW BEST:: SOT 3672831 SOS 2979227 HAS SOPS 1470367 HAS SOUS 227268 HAS SOUPS 81249 WITH SCORE 84228.227
AT ITER 7164 NEW BEST:: SOT 3672831 SOS 2979227 HAS SOPS 1470367 HAS SOUS 227226 HAS SOUPS 81207 WITH SCORE 84186.227
AT ITER 7176 NEW BEST:: SOT 3673071 SOS 2979587 HAS SOPS 1470487 HAS SOUS 227206 HAS SOUPS 81167 WITH SCORE 84146.587
AT ITER 7204 NEW BEST:: SOT 3673168 SOS 2979199 HAS SOPS 1470681 HAS SOUS 227109 HAS SOUPS 81167 WITH SCORE 84146.199
AT ITER 7220 NEW BEST:: SOT 3673084 SOS 2977843 HAS SOPS 1470081 HAS SOUS 227025 HAS SOUPS 81125 WITH SCORE 84102.843
AT ITER 7223 NEW BEST:: SOT 3673754 SOS 2981443 HAS SOPS 1471647 HAS SOUS 226904 HAS SOUPS 81004 WITH SCORE 83985.443
AT ITER 7300 NEW BEST:: SOT 3673764 SOS 2981403 HAS SOPS 1471643 HAS SOUS 226902 HAS SOUPS 81002 WITH SCORE 83983.403
AT ITER 7305 NEW BEST:: SOT 3673759 SOS 2980143 HAS SOPS 1470383 HAS SOUS 226902 HAS SOUPS 81002 WITH SCORE 83982.143
AT ITER 7323 NEW BEST:: SOT 3673767 SOS 2980159 HAS SOPS 1470399 HAS SOUS 226859 HAS SOUPS 80959 WITH SCORE 83939.159
AT ITER 7405 NEW BEST:: SOT 3673641 SOS 2979907 HAS SOPS 1470147 HAS SOUS 226830 HAS SOUPS 80930 WITH SCORE 83909.907
AT ITER 7417 NEW BEST:: SOT 3673338 SOS 2980977 HAS SOPS 1470466 HAS SOUS 226767 HAS SOUPS 80867 WITH SCORE 83847.977
AT ITER 7429 NEW BEST:: SOT 3673352 SOS 2980963 HAS SOPS 1470452 HAS SOUS 226753 HAS SOUPS 80853 WITH SCORE 83833.963
AT ITER 7430 NEW BEST:: SOT 3671408 SOS 2977944 HAS SOPS 1469217 HAS SOUS 226562 HAS SOUPS 80794 WITH SCORE 83771.944
AT ITER 7433 NEW BEST:: SOT 3668874 SOS 2974994 HAS SOPS 1467455 HAS SOUS 226559 HAS SOUPS 80791 WITH SCORE 83765.994
AT ITER 7457 NEW BEST:: SOT 3669844 SOS 2975638 HAS SOPS 1468099 HAS SOUS 226393 HAS SOUPS 80788 WITH SCORE 83763.638
AT ITER 7462 NEW BEST:: SOT 3669826 SOS 2975602 HAS SOPS 1468063 HAS SOUS 226357 HAS SOUPS 80752 WITH SCORE 83727.602
AT ITER 7519 NEW BEST:: SOT 3669822 SOS 2975592 HAS SOPS 1468059 HAS SOUS 226355 HAS SOUPS 80751 WITH SCORE 83726.592
AT ITER 7527 NEW BEST:: SOT 3669822 SOS 2975592 HAS SOPS 1467753 HAS SOUS 226398 HAS SOUPS 80743 WITH SCORE 83718.592
AT ITER 7552 NEW BEST:: SOT 3669730 SOS 2975408 HAS SOPS 1467569 HAS SOUS 226342 HAS SOUPS 80687 WITH SCORE 83662.408
AT ITER 7554 NEW BEST:: SOT 3669730 SOS 2975408 HAS SOPS 1467569 HAS SOUS 226258 HAS SOUPS 80603 WITH SCORE 83578.408
AT ITER 7574 NEW BEST:: SOT 3669730 SOS 2975408 HAS SOPS 1467569 HAS SOUS 226220 HAS SOUPS 80565 WITH SCORE 83540.408
AT ITER 7650 NEW BEST:: SOT 3669730 SOS 2975408 HAS SOPS 1467569 HAS SOUS 226210 HAS SOUPS 80555 WITH SCORE 83530.408
AT ITER 7687 NEW BEST:: SOT 3669746 SOS 2956698 HAS SOPS 1448859 HAS SOUS 226152 HAS SOUPS 80497 WITH SCORE 83453.698
AT ITER 7700 NEW BEST:: SOT 3669712 SOS 2956480 HAS SOPS 1448641 HAS SOUS 226118 HAS SOUPS 80463 WITH SCORE 83419.48
AT ITER 7709 NEW BEST:: SOT 3669685 SOS 2956580 HAS SOPS 1448279 HAS SOUS 226168 HAS SOUPS 80436 WITH SCORE 83392.58
AT ITER 7739 NEW BEST:: SOT 3669685 SOS 2956580 HAS SOPS 1448279 HAS SOUS 226080 HAS SOUPS 80348 WITH SCORE 83304.58
AT ITER 7753 NEW BEST:: SOT 3669685 SOS 2956580 HAS SOPS 1448279 HAS SOUS 226044 HAS SOUPS 80312 WITH SCORE 83268.58
AT ITER 7759 NEW BEST:: SOT 3669685 SOS 2956580 HAS SOPS 1448279 HAS SOUS 226032 HAS SOUPS 80300 WITH SCORE 83256.58
AT ITER 7764 NEW BEST:: SOT 3669626 SOS 2956462 HAS SOPS 1448161 HAS SOUS 226007 HAS SOUPS 80275 WITH SCORE 83231.462
AT ITER 7794 NEW BEST:: SOT 3669497 SOS 2956316 HAS SOPS 1448047 HAS SOUS 226003 HAS SOUPS 80271 WITH SCORE 83227.316
AT ITER 7809 NEW BEST:: SOT 3669493 SOS 2956356 HAS SOPS 1448087 HAS SOUS 225999 HAS SOUPS 80267 WITH SCORE 83223.356
AT ITER 7897 NEW BEST:: SOT 3669470 SOS 2956333 HAS SOPS 1448064 HAS SOUS 225976 HAS SOUPS 80244 WITH SCORE 83200.333
AT ITER 7952 NEW BEST:: SOT 3669470 SOS 2956333 HAS SOPS 1448064 HAS SOUS 225974 HAS SOUPS 80242 WITH SCORE 83198.333
AT ITER 7973 NEW BEST:: SOT 3668162 SOS 2954905 HAS SOPS 1447290 HAS SOUS 225974 HAS SOUPS 80242 WITH SCORE 83196.905
AT ITER 7990 NEW BEST:: SOT 3668151 SOS 2955415 HAS SOPS 1447458 HAS SOUS 225963 HAS SOUPS 80212 WITH SCORE 83167.415
AT ITER 7991 NEW BEST:: SOT 3668151 SOS 2955415 HAS SOPS 1447458 HAS SOUS 225891 HAS SOUPS 80140 WITH SCORE 83095.415
AT ITER 8016 NEW BEST:: SOT 3667231 SOS 2953989 HAS SOPS 1446860 HAS SOUS 225776 HAS SOUPS 80094 WITH SCORE 83047.989
AT ITER 8026 NEW BEST:: SOT 3667187 SOS 2953901 HAS SOPS 1446772 HAS SOUS 225690 HAS SOUPS 80008 WITH SCORE 82961.901
AT ITER 8051 NEW BEST:: SOT 3667187 SOS 2953901 HAS SOPS 1446772 HAS SOUS 225668 HAS SOUPS 79986 WITH SCORE 82939.901
AT ITER 8053 NEW BEST:: SOT 3666548 SOS 2953198 HAS SOPS 1446299 HAS SOUS 225634 HAS SOUPS 79921 WITH SCORE 82874.198
AT ITER 8133 NEW BEST:: SOT 3665323 SOS 2951684 HAS SOPS 1445073 HAS SOUS 225668 HAS SOUPS 79883 WITH SCORE 82834.684
AT ITER 8161 NEW BEST:: SOT 3662597 SOS 2947441 HAS SOPS 1443248 HAS SOUS 225246 HAS SOUPS 79640 WITH SCORE 82587.441
AT ITER 8226 NEW BEST:: SOT 3662591 SOS 2947419 HAS SOPS 1443226 HAS SOUS 225242 HAS SOUPS 79636 WITH SCORE 82583.419
AT ITER 8232 NEW BEST:: SOT 3660904 SOS 2944976 HAS SOPS 1442012 HAS SOUS 225211 HAS SOUPS 79605 WITH SCORE 82549.976
AT ITER 8233 NEW BEST:: SOT 3660912 SOS 2944992 HAS SOPS 1442028 HAS SOUS 225171 HAS SOUPS 79565 WITH SCORE 82509.992
AT ITER 8240 NEW BEST:: SOT 3660901 SOS 2934759 HAS SOPS 1431795 HAS SOUS 225066 HAS SOUPS 79460 WITH SCORE 82394.759
AT ITER 8289 NEW BEST:: SOT 3660881 SOS 2934739 HAS SOPS 1431775 HAS SOUS 225066 HAS SOUPS 79460 WITH SCORE 82394.739
AT ITER 8291 NEW BEST:: SOT 3660291 SOS 2934031 HAS SOPS 1431421 HAS SOUS 225066 HAS SOUPS 79460 WITH SCORE 82394.031
AT ITER 8336 NEW BEST:: SOT 3660291 SOS 2934031 HAS SOPS 1431421 HAS SOUS 225056 HAS SOUPS 79450 WITH SCORE 82384.031
AT ITER 8347 NEW BEST:: SOT 3659311 SOS 2932965 HAS SOPS 1430835 HAS SOUS 225036 HAS SOUPS 79430 WITH SCORE 82362.965
AT ITER 8370 NEW BEST:: SOT 3659291 SOS 2932967 HAS SOPS 1430675 HAS SOUS 225027 HAS SOUPS 79394 WITH SCORE 82326.967
AT ITER 8386 NEW BEST:: SOT 3659341 SOS 2930898 HAS SOPS 1430125 HAS SOUS 224984 HAS SOUPS 79382 WITH SCORE 82312.898
AT ITER 8483 NEW BEST:: SOT 3659223 SOS 2932204 HAS SOPS 1430783 HAS SOUS 224920 HAS SOUPS 79318 WITH SCORE 82250.204
AT ITER 8484 NEW BEST:: SOT 3659388 SOS 2932127 HAS SOPS 1430895 HAS SOUS 224853 HAS SOUPS 79289 WITH SCORE 82221.127
AT ITER 8514 NEW BEST:: SOT 3659346 SOS 2932487 HAS SOPS 1430811 HAS SOUS 224885 HAS SOUPS 79247 WITH SCORE 82179.487
AT ITER 8624 NEW BEST:: SOT 3659533 SOS 2932674 HAS SOPS 1430896 HAS SOUS 224868 HAS SOUPS 79230 WITH SCORE 82162.674
AT ITER 8636 NEW BEST:: SOT 3659959 SOS 2934126 HAS SOPS 1431340 HAS SOUS 224901 HAS SOUPS 79221 WITH SCORE 82155.126
AT ITER 8652 NEW BEST:: SOT 3659787 SOS 2933730 HAS SOPS 1431356 HAS SOUS 224798 HAS SOUPS 79212 WITH SCORE 82145.73
AT ITER 8719 NEW BEST:: SOT 3659805 SOS 2933760 HAS SOPS 1431366 HAS SOUS 224780 HAS SOUPS 79190 WITH SCORE 82123.76
AT ITER 8731 NEW BEST:: SOT 3659802 SOS 2933736 HAS SOPS 1431360 HAS SOUS 224774 HAS SOUPS 79187 WITH SCORE 82120.736
AT ITER 8786 NEW BEST:: SOT 3659802 SOS 2933028 HAS SOPS 1431360 HAS SOUS 224538 HAS SOUPS 79069 WITH SCORE 82002.028
AT ITER 8817 NEW BEST:: SOT 3659795 SOS 2932818 HAS SOPS 1431150 HAS SOUS 224534 HAS SOUPS 79065 WITH SCORE 81997.818
AT ITER 8820 NEW BEST:: SOT 3659337 SOS 2931971 HAS SOPS 1430926 HAS SOUS 224348 HAS SOUPS 78996 WITH SCORE 81927.971
AT ITER 8832 NEW BEST:: SOT 3659221 SOS 2931739 HAS SOPS 1430694 HAS SOUS 224290 HAS SOUPS 78938 WITH SCORE 81869.739
AT ITER 8842 NEW BEST:: SOT 3659195 SOS 2931921 HAS SOPS 1430768 HAS SOUS 224273 HAS SOUPS 78921 WITH SCORE 81852.921
AT ITER 8851 NEW BEST:: SOT 3659303 SOS 2932211 HAS SOPS 1430836 HAS SOUS 224263 HAS SOUPS 78874 WITH SCORE 81806.211
AT ITER 8862 NEW BEST:: SOT 3659110 SOS 2937128 HAS SOPS 1430261 HAS SOUS 224224 HAS SOUPS 78768 WITH SCORE 81705.128
AT ITER 8875 NEW BEST:: SOT 3659119 SOS 2936858 HAS SOPS 1430153 HAS SOUS 224215 HAS SOUPS 78768 WITH SCORE 81704.85800000001
AT ITER 8942 NEW BEST:: SOT 3659057 SOS 2936548 HAS SOPS 1430029 HAS SOUS 224091 HAS SOUPS 78675 WITH SCORE 81611.548
AT ITER 8952 NEW BEST:: SOT 3658935 SOS 2936336 HAS SOPS 1429967 HAS SOUS 224009 HAS SOUPS 78623 WITH SCORE 81559.336
AT ITER 8990 NEW BEST:: SOT 3658581 SOS 2935480 HAS SOPS 1429111 HAS SOUS 223945 HAS SOUPS 78559 WITH SCORE 81494.48
AT ITER 9010 NEW BEST:: SOT 3657682 SOS 2934924 HAS SOPS 1428555 HAS SOUS 224046 HAS SOUPS 78555 WITH SCORE 81489.924
AT ITER 9045 NEW BEST:: SOT 3657684 SOS 2935023 HAS SOPS 1428395 HAS SOUS 224058 HAS SOUPS 78528 WITH SCORE 81463.023
AT ITER 9055 NEW BEST:: SOT 3657684 SOS 2935023 HAS SOPS 1428395 HAS SOUS 224038 HAS SOUPS 78508 WITH SCORE 81443.023
AT ITER 9068 NEW BEST:: SOT 3657606 SOS 2934453 HAS SOPS 1428281 HAS SOUS 223946 HAS SOUPS 78492 WITH SCORE 81426.453
AT ITER 9083 NEW BEST:: SOT 3657606 SOS 2934453 HAS SOPS 1428281 HAS SOUS 223914 HAS SOUPS 78460 WITH SCORE 81394.453
AT ITER 9118 NEW BEST:: SOT 3657597 SOS 2934402 HAS SOPS 1428272 HAS SOUS 223907 HAS SOUPS 78460 WITH SCORE 81394.402
AT ITER 9125 NEW BEST:: SOT 3657597 SOS 2934402 HAS SOPS 1428272 HAS SOUS 223901 HAS SOUPS 78454 WITH SCORE 81388.402
AT ITER 9137 NEW BEST:: SOT 3657490 SOS 2933853 HAS SOPS 1428125 HAS SOUS 223727 HAS SOUPS 78347 WITH SCORE 81280.853
AT ITER 9140 NEW BEST:: SOT 3656842 SOS 2932881 HAS SOPS 1427801 HAS SOUS 223655 HAS SOUPS 78329 WITH SCORE 81261.881
AT ITER 9141 NEW BEST:: SOT 3656270 SOS 2932007 HAS SOPS 1427467 HAS SOUS 223608 HAS SOUPS 78327 WITH SCORE 81259.007
AT ITER 9157 NEW BEST:: SOT 3656270 SOS 2932007 HAS SOPS 1427467 HAS SOUS 223596 HAS SOUPS 78315 WITH SCORE 81247.007
AT ITER 9165 NEW BEST:: SOT 3656260 SOS 2931987 HAS SOPS 1427447 HAS SOUS 223586 HAS SOUPS 78305 WITH SCORE 81236.987
AT ITER 9180 NEW BEST:: SOT 3655731 SOS 2931175 HAS SOPS 1427127 HAS SOUS 223440 HAS SOUPS 78200 WITH SCORE 81131.175
AT ITER 9208 NEW BEST:: SOT 3655597 SOS 2930907 HAS SOPS 1426859 HAS SOUS 223393 HAS SOUPS 78153 WITH SCORE 81083.907
AT ITER 9216 NEW BEST:: SOT 3655605 SOS 2930874 HAS SOPS 1426826 HAS SOUS 223392 HAS SOUPS 78152 WITH SCORE 81082.874
AT ITER 9217 NEW BEST:: SOT 3655535 SOS 2931122 HAS SOPS 1426822 HAS SOUS 223392 HAS SOUPS 78138 WITH SCORE 81069.122
AT ITER 9251 NEW BEST:: SOT 3655085 SOS 2930453 HAS SOPS 1426318 HAS SOUS 223305 HAS SOUPS 78051 WITH SCORE 80981.453
AT ITER 9270 NEW BEST:: SOT 3655085 SOS 2930453 HAS SOPS 1426318 HAS SOUS 223293 HAS SOUPS 78039 WITH SCORE 80969.453
AT ITER 9294 NEW BEST:: SOT 3655085 SOS 2930453 HAS SOPS 1426318 HAS SOUS 223217 HAS SOUPS 77963 WITH SCORE 80893.453
AT ITER 9317 NEW BEST:: SOT 3655283 SOS 2930651 HAS SOPS 1426408 HAS SOUS 223172 HAS SOUPS 77918 WITH SCORE 80848.651
AT ITER 9334 NEW BEST:: SOT 3655283 SOS 2930651 HAS SOPS 1426408 HAS SOUS 223170 HAS SOUPS 77916 WITH SCORE 80846.651
AT ITER 9347 NEW BEST:: SOT 3655283 SOS 2930651 HAS SOPS 1426408 HAS SOUS 223164 HAS SOUPS 77910 WITH SCORE 80840.651
AT ITER 9371 NEW BEST:: SOT 3655222 SOS 2930505 HAS SOPS 1426334 HAS SOUS 223123 HAS SOUPS 77881 WITH SCORE 80811.505
AT ITER 9447 NEW BEST:: SOT 3655320 SOS 2927233 HAS SOPS 1424898 HAS SOUS 223019 HAS SOUPS 77879 WITH SCORE 80806.23300000001
AT ITER 9454 NEW BEST:: SOT 3655310 SOS 2927213 HAS SOPS 1424878 HAS SOUS 223009 HAS SOUPS 77869 WITH SCORE 80796.213
AT ITER 9532 NEW BEST:: SOT 3655302 SOS 2927237 HAS SOPS 1424854 HAS SOUS 222985 HAS SOUPS 77837 WITH SCORE 80764.237
AT ITER 9533 NEW BEST:: SOT 3655302 SOS 2927237 HAS SOPS 1424854 HAS SOUS 222965 HAS SOUPS 77817 WITH SCORE 80744.237
AT ITER 9584 NEW BEST:: SOT 3654374 SOS 2922283 HAS SOPS 1422382 HAS SOUS 222956 HAS SOUPS 77808 WITH SCORE 80730.283
AT ITER 9770 NEW BEST:: SOT 3654194 SOS 2921803 HAS SOPS 1422262 HAS SOUS 222843 HAS SOUPS 77755 WITH SCORE 80676.803
AT ITER 9778 NEW BEST:: SOT 3654194 SOS 2921803 HAS SOPS 1422262 HAS SOUS 222819 HAS SOUPS 77731 WITH SCORE 80652.803
AT ITER 9782 NEW BEST:: SOT 3654156 SOS 2922783 HAS SOPS 1422846 HAS SOUS 222814 HAS SOUPS 77726 WITH SCORE 80648.783
AT ITER 9792 NEW BEST:: SOT 3654102 SOS 2922621 HAS SOPS 1422846 HAS SOUS 222787 HAS SOUPS 77726 WITH SCORE 80648.621
AT ITER 9834 NEW BEST:: SOT 3654102 SOS 2922621 HAS SOPS 1422846 HAS SOUS 222741 HAS SOUPS 77680 WITH SCORE 80602.621
AT ITER 9836 NEW BEST:: SOT 3654102 SOS 2922621 HAS SOPS 1422846 HAS SOUS 222575 HAS SOUPS 77514 WITH SCORE 80436.621
AT ITER 9857 NEW BEST:: SOT 3654071 SOS 2922559 HAS SOPS 1422784 HAS SOUS 222566 HAS SOUPS 77505 WITH SCORE 80427.559
AT ITER 9858 NEW BEST:: SOT 3654075 SOS 2922567 HAS SOPS 1422792 HAS SOUS 222558 HAS SOUPS 77497 WITH SCORE 80419.567
AT ITER 9893 NEW BEST:: SOT 3653786 SOS 2922161 HAS SOPS 1422623 HAS SOUS 222547 HAS SOUPS 77493 WITH SCORE 80415.161
AT ITER 9906 NEW BEST:: SOT 3653964 SOS 2922637 HAS SOPS 1422259 HAS SOUS 222663 HAS SOUPS 77489 WITH SCORE 80411.637
AT ITER 9924 NEW BEST:: SOT 3653958 SOS 2922625 HAS SOPS 1422247 HAS SOUS 222657 HAS SOUPS 77483 WITH SCORE 80405.625
AT ITER 9952 NEW BEST:: SOT 3650638 SOS 2903297 HAS SOPS 1420417 HAS SOUS 222361 HAS SOUPS 77472 WITH SCORE 80375.297
AT ITER 9962 NEW BEST:: SOT 3650621 SOS 2902987 HAS SOPS 1420383 HAS SOUS 222268 HAS SOUPS 77425 WITH SCORE 80327.987
AT ITER 9991 NEW BEST:: SOT 3650621 SOS 2902987 HAS SOPS 1420383 HAS SOUS 222262 HAS SOUPS 77419 WITH SCORE 80321.987

BK_STOP 1678250998002

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 364 Killed ${SMART}/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="DLCflexbar-PT-4a"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is DLCflexbar-PT-4a, 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 r099-tall-167814472500544"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-4a.tgz
mv DLCflexbar-PT-4a 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 ;