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.r483-tall-167912696801272.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 ViralEpidemic-PT-S03D1C1A04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696801272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 852K
-rw-r--r-- 1 mcc users 8.2K Feb 25 20:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 20:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 20:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 20:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 20:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 138K Feb 25 20:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 20:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 105K Feb 25 20:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 325K Mar 5 18:23 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 1679196928717

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=ViralEpidemic-PT-S03D1C1A04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S03D1C1A04
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: 606 places, 847 transitions, 1936 arcs.
AT ITER 0 NEW BEST:: SOT 354234 SOS 192601 HAS SOPS 192601 HAS SOUS 75293 HAS SOUPS 75293 WITH SCORE 75485.601
AT ITER 9 NEW BEST:: SOT 353958 SOS 192048 HAS SOPS 192048 HAS SOUS 75292 HAS SOUPS 75292 WITH SCORE 75484.048
AT ITER 25 NEW BEST:: SOT 353802 SOS 191735 HAS SOPS 191735 HAS SOUS 75291 HAS SOUPS 75291 WITH SCORE 75482.735
AT ITER 32 NEW BEST:: SOT 352999 SOS 190427 HAS SOPS 190427 HAS SOUS 75135 HAS SOUPS 75135 WITH SCORE 75325.427
AT ITER 41 NEW BEST:: SOT 352955 SOS 190338 HAS SOPS 190338 HAS SOUS 75134 HAS SOUPS 75134 WITH SCORE 75324.338
AT ITER 49 NEW BEST:: SOT 352573 SOS 189573 HAS SOPS 189573 HAS SOUS 75133 HAS SOUPS 75133 WITH SCORE 75322.573
AT ITER 57 NEW BEST:: SOT 352359 SOS 189144 HAS SOPS 189144 HAS SOUS 75132 HAS SOUPS 75132 WITH SCORE 75321.144
AT ITER 61 NEW BEST:: SOT 352253 SOS 188930 HAS SOPS 188930 HAS SOUS 75128 HAS SOUPS 75128 WITH SCORE 75316.93
AT ITER 68 NEW BEST:: SOT 352071 SOS 188565 HAS SOPS 188565 HAS SOUS 75127 HAS SOUPS 75127 WITH SCORE 75315.565
AT ITER 70 NEW BEST:: SOT 351605 SOS 187632 HAS SOPS 187632 HAS SOUS 75126 HAS SOUPS 75126 WITH SCORE 75313.632
AT ITER 74 NEW BEST:: SOT 350824 SOS 186362 HAS SOPS 186362 HAS SOUS 75014 HAS SOUPS 75014 WITH SCORE 75200.362
AT ITER 77 NEW BEST:: SOT 350632 SOS 185977 HAS SOPS 185977 HAS SOUS 75013 HAS SOUPS 75013 WITH SCORE 75198.977
AT ITER 98 NEW BEST:: SOT 350166 SOS 185045 HAS SOPS 185045 HAS SOUS 75013 HAS SOUPS 75013 WITH SCORE 75198.045
AT ITER 112 NEW BEST:: SOT 349858 SOS 184428 HAS SOPS 184428 HAS SOUS 75012 HAS SOUPS 75012 WITH SCORE 75196.428
AT ITER 120 NEW BEST:: SOT 349712 SOS 184134 HAS SOPS 184134 HAS SOUS 75008 HAS SOUPS 75008 WITH SCORE 75192.134
AT ITER 127 NEW BEST:: SOT 349410 SOS 183433 HAS SOPS 183433 HAS SOUS 74907 HAS SOUPS 74907 WITH SCORE 75090.433
AT ITER 128 NEW BEST:: SOT 348962 SOS 182313 HAS SOPS 182313 HAS SOUS 74683 HAS SOUPS 74683 WITH SCORE 74865.313
AT ITER 139 NEW BEST:: SOT 348564 SOS 181423 HAS SOPS 181423 HAS SOUS 74647 HAS SOUPS 74647 WITH SCORE 74828.423
AT ITER 156 NEW BEST:: SOT 348268 SOS 180829 HAS SOPS 180829 HAS SOUS 74643 HAS SOUPS 74643 WITH SCORE 74823.829
AT ITER 172 NEW BEST:: SOT 348064 SOS 180420 HAS SOPS 180420 HAS SOUS 74642 HAS SOUPS 74642 WITH SCORE 74822.42
AT ITER 175 NEW BEST:: SOT 347826 SOS 179944 HAS SOPS 179944 HAS SOUS 74642 HAS SOUPS 74642 WITH SCORE 74821.944
AT ITER 176 NEW BEST:: SOT 347863 SOS 179881 HAS SOPS 179881 HAS SOUS 74629 HAS SOUPS 74629 WITH SCORE 74808.881
AT ITER 205 NEW BEST:: SOT 347207 SOS 178870 HAS SOPS 178870 HAS SOUS 74561 HAS SOUPS 74561 WITH SCORE 74739.87
AT ITER 209 NEW BEST:: SOT 346957 SOS 178370 HAS SOPS 178370 HAS SOUS 74561 HAS SOUPS 74561 WITH SCORE 74739.37
AT ITER 222 NEW BEST:: SOT 346753 SOS 177962 HAS SOPS 177962 HAS SOUS 74561 HAS SOUPS 74561 WITH SCORE 74738.962
AT ITER 251 NEW BEST:: SOT 346601 SOS 177587 HAS SOPS 177587 HAS SOUS 74490 HAS SOUPS 74490 WITH SCORE 74667.587
AT ITER 252 NEW BEST:: SOT 346601 SOS 177573 HAS SOPS 177573 HAS SOUS 74472 HAS SOUPS 74472 WITH SCORE 74649.573
AT ITER 261 NEW BEST:: SOT 346245 SOS 176861 HAS SOPS 176861 HAS SOUS 74472 HAS SOUPS 74472 WITH SCORE 74648.861
AT ITER 263 NEW BEST:: SOT 346057 SOS 176483 HAS SOPS 176483 HAS SOUS 74468 HAS SOUPS 74468 WITH SCORE 74644.483
AT ITER 295 NEW BEST:: SOT 345681 SOS 175611 HAS SOPS 175611 HAS SOUS 74348 HAS SOUPS 74348 WITH SCORE 74523.611
AT ITER 298 NEW BEST:: SOT 345268 SOS 174706 HAS SOPS 174706 HAS SOUS 74344 HAS SOUPS 74344 WITH SCORE 74518.706
AT ITER 306 NEW BEST:: SOT 345224 SOS 174616 HAS SOPS 174616 HAS SOUS 74340 HAS SOUPS 74340 WITH SCORE 74514.616
AT ITER 310 NEW BEST:: SOT 345140 SOS 174446 HAS SOPS 174446 HAS SOUS 74336 HAS SOUPS 74336 WITH SCORE 74510.446
AT ITER 335 NEW BEST:: SOT 345140 SOS 174386 HAS SOPS 174386 HAS SOUS 74276 HAS SOUPS 74276 WITH SCORE 74450.386
AT ITER 345 NEW BEST:: SOT 345124 SOS 174354 HAS SOPS 174354 HAS SOUS 74276 HAS SOUPS 74276 WITH SCORE 74450.354
AT ITER 352 NEW BEST:: SOT 344862 SOS 173778 HAS SOPS 173778 HAS SOUS 74222 HAS SOUPS 74222 WITH SCORE 74395.778
AT ITER 358 NEW BEST:: SOT 344550 SOS 173062 HAS SOPS 173062 HAS SOUS 74130 HAS SOUPS 74130 WITH SCORE 74303.062
AT ITER 360 NEW BEST:: SOT 344306 SOS 172574 HAS SOPS 172574 HAS SOUS 74130 HAS SOUPS 74130 WITH SCORE 74302.574
AT ITER 365 NEW BEST:: SOT 344170 SOS 172302 HAS SOPS 172302 HAS SOUS 74130 HAS SOUPS 74130 WITH SCORE 74302.302
AT ITER 370 NEW BEST:: SOT 343905 SOS 171693 HAS SOPS 171693 HAS SOUS 74084 HAS SOUPS 74084 WITH SCORE 74255.693
AT ITER 372 NEW BEST:: SOT 343401 SOS 170506 HAS SOPS 170506 HAS SOUS 73973 HAS SOUPS 73973 WITH SCORE 74143.506
AT ITER 384 NEW BEST:: SOT 343107 SOS 169878 HAS SOPS 169878 HAS SOUS 73957 HAS SOUPS 73957 WITH SCORE 74126.878
AT ITER 387 NEW BEST:: SOT 342740 SOS 169114 HAS SOPS 169114 HAS SOUS 73952 HAS SOUPS 73952 WITH SCORE 74121.114
AT ITER 398 NEW BEST:: SOT 342366 SOS 168276 HAS SOPS 168276 HAS SOUS 73860 HAS SOUPS 73860 WITH SCORE 74028.276
AT ITER 434 NEW BEST:: SOT 341960 SOS 167463 HAS SOPS 167463 HAS SOUS 73859 HAS SOUPS 73859 WITH SCORE 74026.463
AT ITER 435 NEW BEST:: SOT 341975 SOS 167493 HAS SOPS 167493 HAS SOUS 73844 HAS SOUPS 73844 WITH SCORE 74011.493
AT ITER 438 NEW BEST:: SOT 341863 SOS 167267 HAS SOPS 167267 HAS SOUS 73840 HAS SOUPS 73840 WITH SCORE 74007.267
AT ITER 445 NEW BEST:: SOT 341793 SOS 167126 HAS SOPS 167126 HAS SOUS 73839 HAS SOUPS 73839 WITH SCORE 74006.126
AT ITER 447 NEW BEST:: SOT 341713 SOS 166926 HAS SOPS 166926 HAS SOUS 73799 HAS SOUPS 73799 WITH SCORE 73965.926
AT ITER 450 NEW BEST:: SOT 341501 SOS 166448 HAS SOPS 166448 HAS SOUS 73745 HAS SOUPS 73745 WITH SCORE 73911.448
AT ITER 461 NEW BEST:: SOT 341132 SOS 165561 HAS SOPS 165561 HAS SOUS 73381 HAS SOUPS 73381 WITH SCORE 73546.561
AT ITER 465 NEW BEST:: SOT 340359 SOS 164191 HAS SOPS 164191 HAS SOUS 73210 HAS SOUPS 73210 WITH SCORE 73374.191
AT ITER 473 NEW BEST:: SOT 340235 SOS 163858 HAS SOPS 163858 HAS SOUS 73171 HAS SOUPS 73171 WITH SCORE 73334.858
AT ITER 476 NEW BEST:: SOT 339659 SOS 162625 HAS SOPS 162625 HAS SOUS 72891 HAS SOUPS 72891 WITH SCORE 73053.625
AT ITER 477 NEW BEST:: SOT 339155 SOS 161617 HAS SOPS 161617 HAS SOUS 72891 HAS SOUPS 72891 WITH SCORE 73052.617
AT ITER 478 NEW BEST:: SOT 339075 SOS 161377 HAS SOPS 161377 HAS SOUS 72891 HAS SOUPS 72891 WITH SCORE 73052.377
AT ITER 485 NEW BEST:: SOT 338277 SOS 160016 HAS SOPS 160016 HAS SOUS 72675 HAS SOUPS 72675 WITH SCORE 72835.016
AT ITER 499 NEW BEST:: SOT 338373 SOS 160229 HAS SOPS 160229 HAS SOUS 72672 HAS SOUPS 72672 WITH SCORE 72832.229
AT ITER 515 NEW BEST:: SOT 337855 SOS 159193 HAS SOPS 159193 HAS SOUS 72672 HAS SOUPS 72672 WITH SCORE 72831.193
AT ITER 519 NEW BEST:: SOT 337809 SOS 159078 HAS SOPS 159078 HAS SOUS 72649 HAS SOUPS 72649 WITH SCORE 72808.078
AT ITER 525 NEW BEST:: SOT 337374 SOS 158018 HAS SOPS 158018 HAS SOUS 72602 HAS SOUPS 72602 WITH SCORE 72760.018
AT ITER 526 NEW BEST:: SOT 337417 SOS 158104 HAS SOPS 158104 HAS SOUS 72583 HAS SOUPS 72583 WITH SCORE 72741.104
AT ITER 535 NEW BEST:: SOT 337067 SOS 157403 HAS SOPS 157403 HAS SOUS 72582 HAS SOUPS 72582 WITH SCORE 72739.403
AT ITER 557 NEW BEST:: SOT 336841 SOS 157042 HAS SOPS 157042 HAS SOUS 72558 HAS SOUPS 72558 WITH SCORE 72715.042
AT ITER 562 NEW BEST:: SOT 336086 SOS 155844 HAS SOPS 155844 HAS SOUS 72532 HAS SOUPS 72532 WITH SCORE 72687.844
AT ITER 581 NEW BEST:: SOT 335942 SOS 155556 HAS SOPS 155556 HAS SOUS 72532 HAS SOUPS 72532 WITH SCORE 72687.556
AT ITER 597 NEW BEST:: SOT 335580 SOS 154832 HAS SOPS 154832 HAS SOUS 72532 HAS SOUPS 72532 WITH SCORE 72686.832
AT ITER 609 NEW BEST:: SOT 335073 SOS 154019 HAS SOPS 154019 HAS SOUS 72460 HAS SOUPS 72460 WITH SCORE 72614.019
AT ITER 616 NEW BEST:: SOT 335069 SOS 154011 HAS SOPS 154011 HAS SOUS 72456 HAS SOUPS 72456 WITH SCORE 72610.011
AT ITER 619 NEW BEST:: SOT 335025 SOS 153923 HAS SOPS 153923 HAS SOUS 72456 HAS SOUPS 72456 WITH SCORE 72609.923
AT ITER 625 NEW BEST:: SOT 334741 SOS 153265 HAS SOPS 153265 HAS SOUS 72426 HAS SOUPS 72426 WITH SCORE 72579.265
AT ITER 634 NEW BEST:: SOT 334459 SOS 152595 HAS SOPS 152595 HAS SOUS 72425 HAS SOUPS 72425 WITH SCORE 72577.595
AT ITER 637 NEW BEST:: SOT 334434 SOS 152545 HAS SOPS 152545 HAS SOUS 72400 HAS SOUPS 72400 WITH SCORE 72552.545
AT ITER 644 NEW BEST:: SOT 334122 SOS 151739 HAS SOPS 151739 HAS SOUS 72308 HAS SOUPS 72308 WITH SCORE 72459.739
AT ITER 647 NEW BEST:: SOT 333482 SOS 150457 HAS SOPS 150457 HAS SOUS 71936 HAS SOUPS 71936 WITH SCORE 72086.457
AT ITER 650 NEW BEST:: SOT 332908 SOS 149589 HAS SOPS 149589 HAS SOUS 71930 HAS SOUPS 71930 WITH SCORE 72079.589
AT ITER 651 NEW BEST:: SOT 332875 SOS 149523 HAS SOPS 149523 HAS SOUS 71908 HAS SOUPS 71908 WITH SCORE 72057.523
AT ITER 686 NEW BEST:: SOT 332782 SOS 149259 HAS SOPS 149259 HAS SOUS 71893 HAS SOUPS 71893 WITH SCORE 72042.259
AT ITER 689 NEW BEST:: SOT 332740 SOS 149175 HAS SOPS 149175 HAS SOUS 71893 HAS SOUPS 71893 WITH SCORE 72042.175
AT ITER 714 NEW BEST:: SOT 332736 SOS 149167 HAS SOPS 149167 HAS SOUS 71889 HAS SOUPS 71889 WITH SCORE 72038.167
AT ITER 718 NEW BEST:: SOT 333059 SOS 149887 HAS SOPS 149887 HAS SOUS 71804 HAS SOUPS 71804 WITH SCORE 71953.887
AT ITER 722 NEW BEST:: SOT 333059 SOS 149607 HAS SOPS 149607 HAS SOUS 71664 HAS SOUPS 71664 WITH SCORE 71813.607
AT ITER 741 NEW BEST:: SOT 332504 SOS 148354 HAS SOPS 148354 HAS SOUS 71603 HAS SOUPS 71603 WITH SCORE 71751.354
AT ITER 742 NEW BEST:: SOT 332390 SOS 148171 HAS SOPS 148171 HAS SOUS 71508 HAS SOUPS 71508 WITH SCORE 71656.171
AT ITER 750 NEW BEST:: SOT 332374 SOS 148131 HAS SOPS 148131 HAS SOUS 71500 HAS SOUPS 71500 WITH SCORE 71648.131
AT ITER 751 NEW BEST:: SOT 331911 SOS 147171 HAS SOPS 147171 HAS SOUS 71469 HAS SOUPS 71469 WITH SCORE 71616.171
AT ITER 760 NEW BEST:: SOT 331805 SOS 146906 HAS SOPS 146906 HAS SOUS 71410 HAS SOUPS 71410 WITH SCORE 71556.906
AT ITER 761 NEW BEST:: SOT 331475 SOS 146244 HAS SOPS 146244 HAS SOUS 71410 HAS SOUPS 71410 WITH SCORE 71556.244
AT ITER 763 NEW BEST:: SOT 331020 SOS 145491 HAS SOPS 145491 HAS SOUS 71340 HAS SOUPS 71340 WITH SCORE 71485.491
AT ITER 773 NEW BEST:: SOT 330991 SOS 145445 HAS SOPS 145445 HAS SOUS 71338 HAS SOUPS 71338 WITH SCORE 71483.445
AT ITER 799 NEW BEST:: SOT 330468 SOS 144246 HAS SOPS 144246 HAS SOUS 71250 HAS SOUPS 71250 WITH SCORE 71394.246
AT ITER 827 NEW BEST:: SOT 330468 SOS 144246 HAS SOPS 144246 HAS SOUS 71248 HAS SOUPS 71248 WITH SCORE 71392.246
AT ITER 828 NEW BEST:: SOT 330240 SOS 143676 HAS SOPS 143676 HAS SOUS 70906 HAS SOUPS 70906 WITH SCORE 71049.676
AT ITER 835 NEW BEST:: SOT 330240 SOS 143637 HAS SOPS 143637 HAS SOUS 70867 HAS SOUPS 70867 WITH SCORE 71010.637
AT ITER 853 NEW BEST:: SOT 330261 SOS 143679 HAS SOPS 143679 HAS SOUS 70855 HAS SOUPS 70855 WITH SCORE 70998.679
AT ITER 860 NEW BEST:: SOT 329639 SOS 142670 HAS SOPS 142670 HAS SOUS 70783 HAS SOUPS 70783 WITH SCORE 70925.67
AT ITER 882 NEW BEST:: SOT 329637 SOS 142667 HAS SOPS 142667 HAS SOUS 70776 HAS SOUPS 70776 WITH SCORE 70918.667
AT ITER 885 NEW BEST:: SOT 329598 SOS 142506 HAS SOPS 142506 HAS SOUS 70776 HAS SOUPS 70776 WITH SCORE 70918.506
AT ITER 910 NEW BEST:: SOT 329535 SOS 142316 HAS SOPS 142316 HAS SOUS 70649 HAS SOUPS 70649 WITH SCORE 70791.316
AT ITER 912 NEW BEST:: SOT 329493 SOS 142065 HAS SOPS 142065 HAS SOUS 69825 HAS SOUPS 69825 WITH SCORE 69967.065
AT ITER 917 NEW BEST:: SOT 329490 SOS 142059 HAS SOPS 142059 HAS SOUS 69813 HAS SOUPS 69813 WITH SCORE 69955.059
AT ITER 922 NEW BEST:: SOT 329545 SOS 142208 HAS SOPS 142208 HAS SOUS 69778 HAS SOUPS 69778 WITH SCORE 69920.208
AT ITER 942 NEW BEST:: SOT 329312 SOS 141656 HAS SOPS 141656 HAS SOUS 69731 HAS SOUPS 69731 WITH SCORE 69872.656
AT ITER 950 NEW BEST:: SOT 328957 SOS 140820 HAS SOPS 140820 HAS SOUS 69616 HAS SOUPS 69616 WITH SCORE 69756.82
AT ITER 963 NEW BEST:: SOT 328950 SOS 140806 HAS SOPS 140806 HAS SOUS 69609 HAS SOUPS 69609 WITH SCORE 69749.806
AT ITER 969 NEW BEST:: SOT 328605 SOS 139979 HAS SOPS 139979 HAS SOUS 69473 HAS SOUPS 69473 WITH SCORE 69612.979
AT ITER 970 NEW BEST:: SOT 328307 SOS 139382 HAS SOPS 139382 HAS SOUS 69472 HAS SOUPS 69472 WITH SCORE 69611.382
AT ITER 974 NEW BEST:: SOT 328147 SOS 139062 HAS SOPS 139062 HAS SOUS 69472 HAS SOUPS 69472 WITH SCORE 69611.062
AT ITER 987 NEW BEST:: SOT 328147 SOS 138993 HAS SOPS 138993 HAS SOUS 69403 HAS SOUPS 69403 WITH SCORE 69541.993
AT ITER 1003 NEW BEST:: SOT 328105 SOS 138881 HAS SOPS 138881 HAS SOUS 69389 HAS SOUPS 69389 WITH SCORE 69527.881
AT ITER 1010 NEW BEST:: SOT 328332 SOS 139340 HAS SOPS 139340 HAS SOUS 69329 HAS SOUPS 69329 WITH SCORE 69468.34
AT ITER 1022 NEW BEST:: SOT 328154 SOS 138983 HAS SOPS 138983 HAS SOUS 69328 HAS SOUPS 69328 WITH SCORE 69466.983
AT ITER 1028 NEW BEST:: SOT 328151 SOS 138977 HAS SOPS 138977 HAS SOUS 69325 HAS SOUPS 69325 WITH SCORE 69463.977
AT ITER 1039 NEW BEST:: SOT 328148 SOS 138971 HAS SOPS 138971 HAS SOUS 69322 HAS SOUPS 69322 WITH SCORE 69460.971
AT ITER 1043 NEW BEST:: SOT 328647 SOS 139719 HAS SOPS 139719 HAS SOUS 69319 HAS SOUPS 69319 WITH SCORE 69458.719
AT ITER 1062 NEW BEST:: SOT 328646 SOS 139679 HAS SOPS 139679 HAS SOUS 69314 HAS SOUPS 69314 WITH SCORE 69453.679
AT ITER 1065 NEW BEST:: SOT 328646 SOS 139679 HAS SOPS 139679 HAS SOUS 69312 HAS SOUPS 69312 WITH SCORE 69451.679
AT ITER 1068 NEW BEST:: SOT 328496 SOS 139229 HAS SOPS 139229 HAS SOUS 69308 HAS SOUPS 69308 WITH SCORE 69447.229
AT ITER 1076 NEW BEST:: SOT 328094 SOS 138224 HAS SOPS 138224 HAS SOUS 69107 HAS SOUPS 69107 WITH SCORE 69245.224
AT ITER 1080 NEW BEST:: SOT 328094 SOS 138222 HAS SOPS 138222 HAS SOUS 69103 HAS SOUPS 69103 WITH SCORE 69241.222
AT ITER 1081 NEW BEST:: SOT 327654 SOS 137341 HAS SOPS 137341 HAS SOUS 69102 HAS SOUPS 69102 WITH SCORE 69239.341
AT ITER 1096 NEW BEST:: SOT 327599 SOS 137231 HAS SOPS 137231 HAS SOUS 69047 HAS SOUPS 69047 WITH SCORE 69184.231
AT ITER 1123 NEW BEST:: SOT 327495 SOS 137007 HAS SOPS 137007 HAS SOUS 69031 HAS SOUPS 69031 WITH SCORE 69168.007
AT ITER 1143 NEW BEST:: SOT 327243 SOS 136377 HAS SOPS 136377 HAS SOUS 68905 HAS SOUPS 68905 WITH SCORE 69041.377
AT ITER 1147 NEW BEST:: SOT 327150 SOS 135999 HAS SOPS 135999 HAS SOUS 68715 HAS SOUPS 68715 WITH SCORE 68850.999
AT ITER 1156 NEW BEST:: SOT 327074 SOS 135809 HAS SOPS 135809 HAS SOUS 68605 HAS SOUPS 68605 WITH SCORE 68740.809
AT ITER 1163 NEW BEST:: SOT 326995 SOS 135729 HAS SOPS 135729 HAS SOUS 68591 HAS SOUPS 68591 WITH SCORE 68726.729
AT ITER 1169 NEW BEST:: SOT 326777 SOS 135263 HAS SOPS 135263 HAS SOUS 68591 HAS SOUPS 68591 WITH SCORE 68726.263
AT ITER 1172 NEW BEST:: SOT 326371 SOS 134314 HAS SOPS 134314 HAS SOUS 68499 HAS SOUPS 68499 WITH SCORE 68633.314
AT ITER 1173 NEW BEST:: SOT 326199 SOS 133968 HAS SOPS 133968 HAS SOUS 68495 HAS SOUPS 68495 WITH SCORE 68628.968
AT ITER 1179 NEW BEST:: SOT 326044 SOS 133556 HAS SOPS 133556 HAS SOUS 68428 HAS SOUPS 68428 WITH SCORE 68561.556
AT ITER 1181 NEW BEST:: SOT 325798 SOS 132927 HAS SOPS 132927 HAS SOUS 68311 HAS SOUPS 68311 WITH SCORE 68443.927
AT ITER 1188 NEW BEST:: SOT 325749 SOS 132878 HAS SOPS 132878 HAS SOUS 68066 HAS SOUPS 68066 WITH SCORE 68198.878
AT ITER 1196 NEW BEST:: SOT 325659 SOS 132653 HAS SOPS 132653 HAS SOUS 68017 HAS SOUPS 68017 WITH SCORE 68149.653
AT ITER 1202 NEW BEST:: SOT 325650 SOS 132635 HAS SOPS 132635 HAS SOUS 68006 HAS SOUPS 68006 WITH SCORE 68138.635
AT ITER 1213 NEW BEST:: SOT 325336 SOS 132003 HAS SOPS 132003 HAS SOUS 68006 HAS SOUPS 68006 WITH SCORE 68138.003
AT ITER 1217 NEW BEST:: SOT 325329 SOS 131989 HAS SOPS 131989 HAS SOUS 67999 HAS SOUPS 67999 WITH SCORE 68130.989
AT ITER 1239 NEW BEST:: SOT 325293 SOS 131899 HAS SOPS 131899 HAS SOUS 67981 HAS SOUPS 67981 WITH SCORE 68112.899
AT ITER 1240 NEW BEST:: SOT 324803 SOS 130854 HAS SOPS 130854 HAS SOUS 67976 HAS SOUPS 67976 WITH SCORE 68106.854
AT ITER 1275 NEW BEST:: SOT 324684 SOS 130532 HAS SOPS 130532 HAS SOUS 67883 HAS SOUPS 67883 WITH SCORE 68013.532
AT ITER 1282 NEW BEST:: SOT 324659 SOS 130568 HAS SOPS 130568 HAS SOUS 67744 HAS SOUPS 67744 WITH SCORE 67874.568
AT ITER 1289 NEW BEST:: SOT 324425 SOS 130096 HAS SOPS 130096 HAS SOUS 67370 HAS SOUPS 67370 WITH SCORE 67500.096
AT ITER 1321 NEW BEST:: SOT 324468 SOS 130017 HAS SOPS 130017 HAS SOUS 67325 HAS SOUPS 67325 WITH SCORE 67455.017
AT ITER 1330 NEW BEST:: SOT 324442 SOS 129991 HAS SOPS 129991 HAS SOUS 67299 HAS SOUPS 67299 WITH SCORE 67428.991
AT ITER 1331 NEW BEST:: SOT 324420 SOS 129936 HAS SOPS 129936 HAS SOUS 67284 HAS SOUPS 67284 WITH SCORE 67413.936
AT ITER 1336 NEW BEST:: SOT 324243 SOS 129472 HAS SOPS 129472 HAS SOUS 67219 HAS SOUPS 67219 WITH SCORE 67348.472
AT ITER 1337 NEW BEST:: SOT 323771 SOS 128341 HAS SOPS 128341 HAS SOUS 66955 HAS SOUPS 66955 WITH SCORE 67083.341
AT ITER 1340 NEW BEST:: SOT 323393 SOS 127388 HAS SOPS 127388 HAS SOUS 66772 HAS SOUPS 66772 WITH SCORE 66899.388
AT ITER 1358 NEW BEST:: SOT 323150 SOS 126902 HAS SOPS 126902 HAS SOUS 66477 HAS SOUPS 66477 WITH SCORE 66603.902
AT ITER 1370 NEW BEST:: SOT 323147 SOS 126884 HAS SOPS 126884 HAS SOUS 66471 HAS SOUPS 66471 WITH SCORE 66597.884
AT ITER 1379 NEW BEST:: SOT 322971 SOS 126447 HAS SOPS 126447 HAS SOUS 66207 HAS SOUPS 66207 WITH SCORE 66333.447
AT ITER 1386 NEW BEST:: SOT 322524 SOS 125465 HAS SOPS 125465 HAS SOUS 66180 HAS SOUPS 66180 WITH SCORE 66305.465
AT ITER 1401 NEW BEST:: SOT 322503 SOS 125423 HAS SOPS 125423 HAS SOUS 66159 HAS SOUPS 66159 WITH SCORE 66284.423
AT ITER 1409 NEW BEST:: SOT 322445 SOS 125307 HAS SOPS 125307 HAS SOUS 66159 HAS SOUPS 66159 WITH SCORE 66284.307
AT ITER 1410 NEW BEST:: SOT 322411 SOS 125222 HAS SOPS 125222 HAS SOUS 66108 HAS SOUPS 66108 WITH SCORE 66233.222
AT ITER 1411 NEW BEST:: SOT 322179 SOS 124757 HAS SOPS 124757 HAS SOUS 66107 HAS SOUPS 66107 WITH SCORE 66231.757
AT ITER 1413 NEW BEST:: SOT 322122 SOS 124643 HAS SOPS 124643 HAS SOUS 66040 HAS SOUPS 66040 WITH SCORE 66164.643
AT ITER 1420 NEW BEST:: SOT 322043 SOS 124510 HAS SOPS 124510 HAS SOUS 66011 HAS SOUPS 66011 WITH SCORE 66135.51
AT ITER 1426 NEW BEST:: SOT 321681 SOS 123786 HAS SOPS 123786 HAS SOUS 65568 HAS SOUPS 65568 WITH SCORE 65691.786
AT ITER 1444 NEW BEST:: SOT 321358 SOS 123008 HAS SOPS 123008 HAS SOUS 65567 HAS SOUPS 65567 WITH SCORE 65690.008
AT ITER 1456 NEW BEST:: SOT 321395 SOS 123119 HAS SOPS 123119 HAS SOUS 65539 HAS SOUPS 65539 WITH SCORE 65662.119
AT ITER 1466 NEW BEST:: SOT 320974 SOS 122059 HAS SOPS 122059 HAS SOUS 65396 HAS SOUPS 65396 WITH SCORE 65518.059
AT ITER 1475 NEW BEST:: SOT 320859 SOS 121536 HAS SOPS 121536 HAS SOUS 65380 HAS SOUPS 65380 WITH SCORE 65501.536
AT ITER 1487 NEW BEST:: SOT 320472 SOS 121004 HAS SOPS 121004 HAS SOUS 65349 HAS SOUPS 65349 WITH SCORE 65470.004
AT ITER 1496 NEW BEST:: SOT 320360 SOS 120779 HAS SOPS 120779 HAS SOUS 65348 HAS SOUPS 65348 WITH SCORE 65468.779
AT ITER 1516 NEW BEST:: SOT 319658 SOS 119691 HAS SOPS 119691 HAS SOUS 65348 HAS SOUPS 65348 WITH SCORE 65467.691
AT ITER 1518 NEW BEST:: SOT 319571 SOS 119598 HAS SOPS 119598 HAS SOUS 65345 HAS SOUPS 65345 WITH SCORE 65464.598
AT ITER 1525 NEW BEST:: SOT 319569 SOS 119593 HAS SOPS 119593 HAS SOUS 65344 HAS SOUPS 65344 WITH SCORE 65463.593
AT ITER 1556 NEW BEST:: SOT 319589 SOS 119559 HAS SOPS 119559 HAS SOUS 65310 HAS SOUPS 65310 WITH SCORE 65429.559
AT ITER 1563 NEW BEST:: SOT 319523 SOS 119427 HAS SOPS 119427 HAS SOUS 65244 HAS SOUPS 65244 WITH SCORE 65363.427
AT ITER 1565 NEW BEST:: SOT 319523 SOS 119427 HAS SOPS 119427 HAS SOUS 65160 HAS SOUPS 65160 WITH SCORE 65279.427
AT ITER 1569 NEW BEST:: SOT 319343 SOS 118977 HAS SOPS 118977 HAS SOUS 65070 HAS SOUPS 65070 WITH SCORE 65188.977
AT ITER 1579 NEW BEST:: SOT 319285 SOS 118832 HAS SOPS 118832 HAS SOUS 65041 HAS SOUPS 65041 WITH SCORE 65159.832
AT ITER 1582 NEW BEST:: SOT 319018 SOS 118112 HAS SOPS 118112 HAS SOUS 64780 HAS SOUPS 64780 WITH SCORE 64898.112
AT ITER 1583 NEW BEST:: SOT 318836 SOS 117691 HAS SOPS 117691 HAS SOUS 64721 HAS SOUPS 64721 WITH SCORE 64838.691
AT ITER 1589 NEW BEST:: SOT 318668 SOS 117355 HAS SOPS 117355 HAS SOUS 64497 HAS SOUPS 64497 WITH SCORE 64614.355
AT ITER 1612 NEW BEST:: SOT 318591 SOS 117201 HAS SOPS 117201 HAS SOUS 64422 HAS SOUPS 64422 WITH SCORE 64539.201
AT ITER 1619 NEW BEST:: SOT 318082 SOS 115973 HAS SOPS 115973 HAS SOUS 64233 HAS SOUPS 64233 WITH SCORE 64348.973
AT ITER 1633 NEW BEST:: SOT 318218 SOS 116254 HAS SOPS 116254 HAS SOUS 64122 HAS SOUPS 64122 WITH SCORE 64238.254
AT ITER 1647 NEW BEST:: SOT 318206 SOS 116230 HAS SOPS 116230 HAS SOUS 64110 HAS SOUPS 64110 WITH SCORE 64226.23
AT ITER 1664 NEW BEST:: SOT 318060 SOS 115933 HAS SOPS 115933 HAS SOUS 64105 HAS SOUPS 64105 WITH SCORE 64220.933
AT ITER 1691 NEW BEST:: SOT 318007 SOS 115771 HAS SOPS 115771 HAS SOUS 63947 HAS SOUPS 63947 WITH SCORE 64062.771
AT ITER 1692 NEW BEST:: SOT 317886 SOS 115517 HAS SOPS 115517 HAS SOUS 63841 HAS SOUPS 63841 WITH SCORE 63956.517
AT ITER 1696 NEW BEST:: SOT 317836 SOS 115417 HAS SOPS 115417 HAS SOUS 63841 HAS SOUPS 63841 WITH SCORE 63956.417
AT ITER 1703 NEW BEST:: SOT 317752 SOS 115247 HAS SOPS 115247 HAS SOUS 63837 HAS SOUPS 63837 WITH SCORE 63952.247
AT ITER 1707 NEW BEST:: SOT 317691 SOS 115075 HAS SOPS 115075 HAS SOUS 63593 HAS SOUPS 63593 WITH SCORE 63708.075
AT ITER 1713 NEW BEST:: SOT 317658 SOS 115009 HAS SOPS 115009 HAS SOUS 63560 HAS SOUPS 63560 WITH SCORE 63675.009
AT ITER 1725 NEW BEST:: SOT 317618 SOS 114909 HAS SOPS 114909 HAS SOUS 63536 HAS SOUPS 63536 WITH SCORE 63650.909
AT ITER 1728 NEW BEST:: SOT 317600 SOS 114873 HAS SOPS 114873 HAS SOUS 63536 HAS SOUPS 63536 WITH SCORE 63650.873
AT ITER 1733 NEW BEST:: SOT 317584 SOS 114841 HAS SOPS 114841 HAS SOUS 63536 HAS SOUPS 63536 WITH SCORE 63650.841
AT ITER 1737 NEW BEST:: SOT 317175 SOS 114144 HAS SOPS 114144 HAS SOUS 63398 HAS SOUPS 63398 WITH SCORE 63512.144
AT ITER 1743 NEW BEST:: SOT 316929 SOS 113751 HAS SOPS 113751 HAS SOUS 63350 HAS SOUPS 63350 WITH SCORE 63463.751
AT ITER 1758 NEW BEST:: SOT 316840 SOS 113573 HAS SOPS 113573 HAS SOUS 63125 HAS SOUPS 63125 WITH SCORE 63238.573
AT ITER 1760 NEW BEST:: SOT 316816 SOS 113549 HAS SOPS 113549 HAS SOUS 63101 HAS SOUPS 63101 WITH SCORE 63214.549
AT ITER 1767 NEW BEST:: SOT 316783 SOS 113499 HAS SOPS 113499 HAS SOUS 63101 HAS SOUPS 63101 WITH SCORE 63214.499
AT ITER 1781 NEW BEST:: SOT 316717 SOS 113334 HAS SOPS 113334 HAS SOUS 63002 HAS SOUPS 63002 WITH SCORE 63115.334
AT ITER 1789 NEW BEST:: SOT 316628 SOS 113029 HAS SOPS 113029 HAS SOUS 62532 HAS SOUPS 62532 WITH SCORE 62645.029
AT ITER 1802 NEW BEST:: SOT 316661 SOS 113152 HAS SOPS 113152 HAS SOUS 62524 HAS SOUPS 62524 WITH SCORE 62637.152
AT ITER 1804 NEW BEST:: SOT 316663 SOS 113166 HAS SOPS 113166 HAS SOUS 62454 HAS SOUPS 62454 WITH SCORE 62567.166
AT ITER 1831 NEW BEST:: SOT 316584 SOS 113008 HAS SOPS 113008 HAS SOUS 62375 HAS SOUPS 62375 WITH SCORE 62488.008
AT ITER 1839 NEW BEST:: SOT 316574 SOS 112988 HAS SOPS 112988 HAS SOUS 62365 HAS SOUPS 62365 WITH SCORE 62477.988
AT ITER 1848 NEW BEST:: SOT 316488 SOS 112816 HAS SOPS 112816 HAS SOUS 62365 HAS SOUPS 62365 WITH SCORE 62477.816
AT ITER 1862 NEW BEST:: SOT 316402 SOS 112601 HAS SOPS 112601 HAS SOUS 62236 HAS SOUPS 62236 WITH SCORE 62348.601
AT ITER 1865 NEW BEST:: SOT 316464 SOS 112725 HAS SOPS 112725 HAS SOUS 62217 HAS SOUPS 62217 WITH SCORE 62329.725
AT ITER 1877 NEW BEST:: SOT 316255 SOS 112132 HAS SOPS 112132 HAS SOUS 61907 HAS SOUPS 61907 WITH SCORE 62019.132
AT ITER 1879 NEW BEST:: SOT 315730 SOS 111012 HAS SOPS 111012 HAS SOUS 61633 HAS SOUPS 61633 WITH SCORE 61744.012
AT ITER 1886 NEW BEST:: SOT 315730 SOS 111012 HAS SOPS 111012 HAS SOUS 61533 HAS SOUPS 61533 WITH SCORE 61644.012
AT ITER 1895 NEW BEST:: SOT 315799 SOS 111327 HAS SOPS 111327 HAS SOUS 61341 HAS SOUPS 61341 WITH SCORE 61452.327
AT ITER 1898 NEW BEST:: SOT 315608 SOS 111135 HAS SOPS 111135 HAS SOUS 61145 HAS SOUPS 61145 WITH SCORE 61256.135
AT ITER 1919 NEW BEST:: SOT 315608 SOS 111135 HAS SOPS 111135 HAS SOUS 61053 HAS SOUPS 61053 WITH SCORE 61164.135
AT ITER 1928 NEW BEST:: SOT 315548 SOS 111014 HAS SOPS 111014 HAS SOUS 61052 HAS SOUPS 61052 WITH SCORE 61163.014
AT ITER 1942 NEW BEST:: SOT 315548 SOS 111014 HAS SOPS 111014 HAS SOUS 61050 HAS SOUPS 61050 WITH SCORE 61161.014
AT ITER 1957 NEW BEST:: SOT 315331 SOS 110679 HAS SOPS 110679 HAS SOUS 61039 HAS SOUPS 61039 WITH SCORE 61149.679
AT ITER 1962 NEW BEST:: SOT 315296 SOS 110609 HAS SOPS 110609 HAS SOUS 60899 HAS SOUPS 60899 WITH SCORE 61009.609
AT ITER 1964 NEW BEST:: SOT 315301 SOS 110619 HAS SOPS 110619 HAS SOUS 60839 HAS SOUPS 60839 WITH SCORE 60949.619
AT ITER 1967 NEW BEST:: SOT 315334 SOS 110685 HAS SOPS 110685 HAS SOUS 60819 HAS SOUPS 60819 WITH SCORE 60929.685
AT ITER 1968 NEW BEST:: SOT 315333 SOS 110684 HAS SOPS 110684 HAS SOUS 60816 HAS SOUPS 60816 WITH SCORE 60926.684
AT ITER 2025 NEW BEST:: SOT 315333 SOS 110670 HAS SOPS 110670 HAS SOUS 60774 HAS SOUPS 60774 WITH SCORE 60884.67
AT ITER 2028 NEW BEST:: SOT 315297 SOS 110598 HAS SOPS 110598 HAS SOUS 60727 HAS SOUPS 60727 WITH SCORE 60837.598
AT ITER 2036 NEW BEST:: SOT 315083 SOS 110068 HAS SOPS 110068 HAS SOUS 60625 HAS SOUPS 60625 WITH SCORE 60735.068
AT ITER 2040 NEW BEST:: SOT 314847 SOS 109481 HAS SOPS 109481 HAS SOUS 60502 HAS SOUPS 60502 WITH SCORE 60611.481
AT ITER 2045 NEW BEST:: SOT 314753 SOS 109273 HAS SOPS 109273 HAS SOUS 60464 HAS SOUPS 60464 WITH SCORE 60573.273
AT ITER 2056 NEW BEST:: SOT 314729 SOS 109213 HAS SOPS 109213 HAS SOUS 60428 HAS SOUPS 60428 WITH SCORE 60537.213
AT ITER 2081 NEW BEST:: SOT 314625 SOS 109005 HAS SOPS 109005 HAS SOUS 60336 HAS SOUPS 60336 WITH SCORE 60445.005
AT ITER 2083 NEW BEST:: SOT 314562 SOS 108672 HAS SOPS 108672 HAS SOUS 60187 HAS SOUPS 60187 WITH SCORE 60295.672
AT ITER 2084 NEW BEST:: SOT 314593 SOS 108721 HAS SOPS 108721 HAS SOUS 60172 HAS SOUPS 60172 WITH SCORE 60280.721
AT ITER 2085 NEW BEST:: SOT 314564 SOS 108654 HAS SOPS 108654 HAS SOUS 60134 HAS SOUPS 60134 WITH SCORE 60242.654
AT ITER 2123 NEW BEST:: SOT 314498 SOS 108522 HAS SOPS 108522 HAS SOUS 60134 HAS SOUPS 60134 WITH SCORE 60242.522
AT ITER 2129 NEW BEST:: SOT 314413 SOS 108267 HAS SOPS 108267 HAS SOUS 59964 HAS SOUPS 59964 WITH SCORE 60072.267
AT ITER 2151 NEW BEST:: SOT 314410 SOS 108261 HAS SOPS 108261 HAS SOUS 59957 HAS SOUPS 59957 WITH SCORE 60065.261
AT ITER 2156 NEW BEST:: SOT 314428 SOS 108297 HAS SOPS 108297 HAS SOUS 59939 HAS SOUPS 59939 WITH SCORE 60047.297
AT ITER 2159 NEW BEST:: SOT 314124 SOS 107689 HAS SOPS 107689 HAS SOUS 59742 HAS SOUPS 59742 WITH SCORE 59849.689
AT ITER 2162 NEW BEST:: SOT 313820 SOS 107081 HAS SOPS 107081 HAS SOUS 59742 HAS SOUPS 59742 WITH SCORE 59849.081
AT ITER 2164 NEW BEST:: SOT 313813 SOS 107057 HAS SOPS 107057 HAS SOUS 59734 HAS SOUPS 59734 WITH SCORE 59841.057
AT ITER 2167 NEW BEST:: SOT 313810 SOS 107051 HAS SOPS 107051 HAS SOUS 59731 HAS SOUPS 59731 WITH SCORE 59838.051
AT ITER 2169 NEW BEST:: SOT 313757 SOS 106945 HAS SOPS 106945 HAS SOUS 59731 HAS SOUPS 59731 WITH SCORE 59837.945
AT ITER 2178 NEW BEST:: SOT 313608 SOS 106647 HAS SOPS 106647 HAS SOUS 59679 HAS SOUPS 59679 WITH SCORE 59785.647
AT ITER 2179 NEW BEST:: SOT 313596 SOS 106623 HAS SOPS 106623 HAS SOUS 59679 HAS SOUPS 59679 WITH SCORE 59785.623
AT ITER 2187 NEW BEST:: SOT 313392 SOS 106174 HAS SOPS 106174 HAS SOUS 59635 HAS SOUPS 59635 WITH SCORE 59741.174
AT ITER 2188 NEW BEST:: SOT 313352 SOS 106074 HAS SOPS 106074 HAS SOUS 59615 HAS SOUPS 59615 WITH SCORE 59721.074
AT ITER 2193 NEW BEST:: SOT 313275 SOS 105763 HAS SOPS 105763 HAS SOUS 59591 HAS SOUPS 59591 WITH SCORE 59696.763
AT ITER 2209 NEW BEST:: SOT 313278 SOS 105802 HAS SOPS 105802 HAS SOUS 59584 HAS SOUPS 59584 WITH SCORE 59689.802
AT ITER 2217 NEW BEST:: SOT 313264 SOS 105760 HAS SOPS 105760 HAS SOUS 59570 HAS SOUPS 59570 WITH SCORE 59675.76
AT ITER 2224 NEW BEST:: SOT 313128 SOS 105420 HAS SOPS 105420 HAS SOUS 59366 HAS SOUPS 59366 WITH SCORE 59471.42
AT ITER 2231 NEW BEST:: SOT 313128 SOS 105369 HAS SOPS 105369 HAS SOUS 59325 HAS SOUPS 59325 WITH SCORE 59430.369
AT ITER 2232 NEW BEST:: SOT 312932 SOS 104901 HAS SOPS 104901 HAS SOUS 59149 HAS SOUPS 59149 WITH SCORE 59253.901
AT ITER 2238 NEW BEST:: SOT 312794 SOS 104625 HAS SOPS 104625 HAS SOUS 59062 HAS SOUPS 59062 WITH SCORE 59166.625
AT ITER 2241 NEW BEST:: SOT 312486 SOS 104009 HAS SOPS 104009 HAS SOUS 58883 HAS SOUPS 58883 WITH SCORE 58987.009
AT ITER 2243 NEW BEST:: SOT 312456 SOS 103949 HAS SOPS 103949 HAS SOUS 58882 HAS SOUPS 58882 WITH SCORE 58985.949
AT ITER 2254 NEW BEST:: SOT 312461 SOS 103959 HAS SOPS 103959 HAS SOUS 58877 HAS SOUPS 58877 WITH SCORE 58980.959
AT ITER 2264 NEW BEST:: SOT 312428 SOS 103893 HAS SOPS 103893 HAS SOUS 58832 HAS SOUPS 58832 WITH SCORE 58935.893
AT ITER 2288 NEW BEST:: SOT 312432 SOS 103868 HAS SOPS 103868 HAS SOUS 58821 HAS SOUPS 58821 WITH SCORE 58924.868
AT ITER 2291 NEW BEST:: SOT 312308 SOS 103619 HAS SOPS 103619 HAS SOUS 58820 HAS SOUPS 58820 WITH SCORE 58923.619
AT ITER 2300 NEW BEST:: SOT 312308 SOS 103607 HAS SOPS 103607 HAS SOUS 58820 HAS SOUPS 58820 WITH SCORE 58923.607
AT ITER 2302 NEW BEST:: SOT 312308 SOS 103468 HAS SOPS 103468 HAS SOUS 58691 HAS SOUPS 58691 WITH SCORE 58794.468
AT ITER 2308 NEW BEST:: SOT 312305 SOS 103462 HAS SOPS 103462 HAS SOUS 58679 HAS SOUPS 58679 WITH SCORE 58782.462
AT ITER 2320 NEW BEST:: SOT 312252 SOS 103313 HAS SOPS 103313 HAS SOUS 58583 HAS SOUPS 58583 WITH SCORE 58686.313
AT ITER 2353 NEW BEST:: SOT 312218 SOS 103211 HAS SOPS 103211 HAS SOUS 58583 HAS SOUPS 58583 WITH SCORE 58686.211
AT ITER 2363 NEW BEST:: SOT 312174 SOS 103107 HAS SOPS 103107 HAS SOUS 58543 HAS SOUPS 58543 WITH SCORE 58646.107
AT ITER 2371 NEW BEST:: SOT 312159 SOS 103077 HAS SOPS 103077 HAS SOUS 58528 HAS SOUPS 58528 WITH SCORE 58631.077
AT ITER 2375 NEW BEST:: SOT 312098 SOS 102907 HAS SOPS 102907 HAS SOUS 58524 HAS SOUPS 58524 WITH SCORE 58626.907
AT ITER 2386 NEW BEST:: SOT 312007 SOS 102734 HAS SOPS 102734 HAS SOUS 58476 HAS SOUPS 58476 WITH SCORE 58578.734
AT ITER 2403 NEW BEST:: SOT 311941 SOS 102596 HAS SOPS 102596 HAS SOUS 58460 HAS SOUPS 58460 WITH SCORE 58562.596
AT ITER 2412 NEW BEST:: SOT 311859 SOS 102432 HAS SOPS 102432 HAS SOUS 58378 HAS SOUPS 58378 WITH SCORE 58480.432
AT ITER 2432 NEW BEST:: SOT 311674 SOS 101950 HAS SOPS 101950 HAS SOUS 58364 HAS SOUPS 58364 WITH SCORE 58465.95
AT ITER 2437 NEW BEST:: SOT 311600 SOS 101878 HAS SOPS 101878 HAS SOUS 58288 HAS SOUPS 58288 WITH SCORE 58389.878
AT ITER 2444 NEW BEST:: SOT 311600 SOS 101833 HAS SOPS 101833 HAS SOUS 58153 HAS SOUPS 58153 WITH SCORE 58254.833
AT ITER 2452 NEW BEST:: SOT 311577 SOS 101806 HAS SOPS 101806 HAS SOUS 58147 HAS SOUPS 58147 WITH SCORE 58248.806
AT ITER 2453 NEW BEST:: SOT 311205 SOS 100852 HAS SOPS 100852 HAS SOUS 58069 HAS SOUPS 58069 WITH SCORE 58169.852
AT ITER 2462 NEW BEST:: SOT 311183 SOS 100829 HAS SOPS 100829 HAS SOUS 58042 HAS SOUPS 58042 WITH SCORE 58142.829
AT ITER 2475 NEW BEST:: SOT 311180 SOS 100820 HAS SOPS 100820 HAS SOUS 58032 HAS SOUPS 58032 WITH SCORE 58132.82
AT ITER 2480 NEW BEST:: SOT 310918 SOS 100189 HAS SOPS 100189 HAS SOUS 57700 HAS SOUPS 57700 WITH SCORE 57800.189
AT ITER 2489 NEW BEST:: SOT 310865 SOS 100100 HAS SOPS 100100 HAS SOUS 57681 HAS SOUPS 57681 WITH SCORE 57781.1
AT ITER 2495 NEW BEST:: SOT 310811 SOS 99938 HAS SOPS 99938 HAS SOUS 57681 HAS SOUPS 57681 WITH SCORE 57780.938
AT ITER 2515 NEW BEST:: SOT 310748 SOS 99812 HAS SOPS 99812 HAS SOUS 57619 HAS SOUPS 57619 WITH SCORE 57718.812
AT ITER 2516 NEW BEST:: SOT 310732 SOS 99796 HAS SOPS 99796 HAS SOUS 57601 HAS SOUPS 57601 WITH SCORE 57700.796
AT ITER 2524 NEW BEST:: SOT 310698 SOS 99728 HAS SOPS 99728 HAS SOUS 57537 HAS SOUPS 57537 WITH SCORE 57636.728
AT ITER 2527 NEW BEST:: SOT 310628 SOS 99588 HAS SOPS 99588 HAS SOUS 57434 HAS SOUPS 57434 WITH SCORE 57533.588
AT ITER 2536 NEW BEST:: SOT 310605 SOS 99339 HAS SOPS 99339 HAS SOUS 57313 HAS SOUPS 57313 WITH SCORE 57412.339
AT ITER 2547 NEW BEST:: SOT 310130 SOS 98374 HAS SOPS 98374 HAS SOUS 57241 HAS SOUPS 57241 WITH SCORE 57339.374
AT ITER 2571 NEW BEST:: SOT 310130 SOS 98357 HAS SOPS 98357 HAS SOUS 57224 HAS SOUPS 57224 WITH SCORE 57322.357
AT ITER 2574 NEW BEST:: SOT 309988 SOS 97959 HAS SOPS 97959 HAS SOUS 56968 HAS SOUPS 56968 WITH SCORE 57065.959
AT ITER 2580 NEW BEST:: SOT 309953 SOS 97923 HAS SOPS 97923 HAS SOUS 56928 HAS SOUPS 56928 WITH SCORE 57025.923
AT ITER 2583 NEW BEST:: SOT 309844 SOS 97644 HAS SOPS 97644 HAS SOUS 56880 HAS SOUPS 56880 WITH SCORE 56977.644
AT ITER 2606 NEW BEST:: SOT 309833 SOS 97571 HAS SOPS 97571 HAS SOUS 56852 HAS SOUPS 56852 WITH SCORE 56949.571
AT ITER 2633 NEW BEST:: SOT 309695 SOS 97226 HAS SOPS 97226 HAS SOUS 56747 HAS SOUPS 56747 WITH SCORE 56844.226
AT ITER 2635 NEW BEST:: SOT 309683 SOS 97196 HAS SOPS 97196 HAS SOUS 56729 HAS SOUPS 56729 WITH SCORE 56826.196
AT ITER 2661 NEW BEST:: SOT 309722 SOS 97325 HAS SOPS 97325 HAS SOUS 56712 HAS SOUPS 56712 WITH SCORE 56809.325
AT ITER 2662 NEW BEST:: SOT 309512 SOS 96905 HAS SOPS 96905 HAS SOUS 56568 HAS SOUPS 56568 WITH SCORE 56664.905
AT ITER 2665 NEW BEST:: SOT 309428 SOS 96778 HAS SOPS 96778 HAS SOUS 56399 HAS SOUPS 56399 WITH SCORE 56495.778
AT ITER 2668 NEW BEST:: SOT 309167 SOS 96345 HAS SOPS 96345 HAS SOUS 56317 HAS SOUPS 56317 WITH SCORE 56413.345
AT ITER 2678 NEW BEST:: SOT 309063 SOS 96085 HAS SOPS 96085 HAS SOUS 56221 HAS SOUPS 56221 WITH SCORE 56317.085
AT ITER 2694 NEW BEST:: SOT 308904 SOS 95652 HAS SOPS 95652 HAS SOUS 55947 HAS SOUPS 55947 WITH SCORE 56042.652
AT ITER 2700 NEW BEST:: SOT 308877 SOS 95598 HAS SOPS 95598 HAS SOUS 55920 HAS SOUPS 55920 WITH SCORE 56015.598
AT ITER 2708 NEW BEST:: SOT 308856 SOS 95556 HAS SOPS 95556 HAS SOUS 55893 HAS SOUPS 55893 WITH SCORE 55988.556
AT ITER 2723 NEW BEST:: SOT 308856 SOS 95555 HAS SOPS 95555 HAS SOUS 55872 HAS SOUPS 55872 WITH SCORE 55967.555
AT ITER 2779 NEW BEST:: SOT 308795 SOS 95433 HAS SOPS 95433 HAS SOUS 55828 HAS SOUPS 55828 WITH SCORE 55923.433
AT ITER 2806 NEW BEST:: SOT 308795 SOS 95432 HAS SOPS 95432 HAS SOUS 55749 HAS SOUPS 55749 WITH SCORE 55844.432
AT ITER 2821 NEW BEST:: SOT 308795 SOS 95410 HAS SOPS 95410 HAS SOUS 55649 HAS SOUPS 55649 WITH SCORE 55744.41
AT ITER 2823 NEW BEST:: SOT 308851 SOS 95449 HAS SOPS 95449 HAS SOUS 55610 HAS SOUPS 55610 WITH SCORE 55705.449
AT ITER 2828 NEW BEST:: SOT 308768 SOS 95283 HAS SOPS 95283 HAS SOUS 55502 HAS SOUPS 55502 WITH SCORE 55597.283
AT ITER 2829 NEW BEST:: SOT 308776 SOS 95285 HAS SOPS 95285 HAS SOUS 55482 HAS SOUPS 55482 WITH SCORE 55577.285
AT ITER 2838 NEW BEST:: SOT 308623 SOS 94979 HAS SOPS 94979 HAS SOUS 55278 HAS SOUPS 55278 WITH SCORE 55372.979
AT ITER 2867 NEW BEST:: SOT 308623 SOS 94964 HAS SOPS 94964 HAS SOUS 55263 HAS SOUPS 55263 WITH SCORE 55357.964
AT ITER 2902 NEW BEST:: SOT 308597 SOS 94924 HAS SOPS 94924 HAS SOUS 55249 HAS SOUPS 55249 WITH SCORE 55343.924
AT ITER 2912 NEW BEST:: SOT 308574 SOS 94878 HAS SOPS 94878 HAS SOUS 55249 HAS SOUPS 55249 WITH SCORE 55343.878
AT ITER 2940 NEW BEST:: SOT 308574 SOS 94878 HAS SOPS 94878 HAS SOUS 55246 HAS SOUPS 55246 WITH SCORE 55340.878
AT ITER 2945 NEW BEST:: SOT 308559 SOS 94848 HAS SOPS 94848 HAS SOUS 55227 HAS SOUPS 55227 WITH SCORE 55321.848
AT ITER 2965 NEW BEST:: SOT 308372 SOS 94463 HAS SOPS 94463 HAS SOUS 55001 HAS SOUPS 55001 WITH SCORE 55095.463
AT ITER 2967 NEW BEST:: SOT 308325 SOS 94369 HAS SOPS 94369 HAS SOUS 54954 HAS SOUPS 54954 WITH SCORE 55048.369
AT ITER 2970 NEW BEST:: SOT 308350 SOS 94349 HAS SOPS 94349 HAS SOUS 54904 HAS SOUPS 54904 WITH SCORE 54998.349
AT ITER 2975 NEW BEST:: SOT 308007 SOS 93527 HAS SOPS 93527 HAS SOUS 54622 HAS SOUPS 54622 WITH SCORE 54715.527
AT ITER 2978 NEW BEST:: SOT 307960 SOS 93433 HAS SOPS 93433 HAS SOUS 54575 HAS SOUPS 54575 WITH SCORE 54668.433
AT ITER 2993 NEW BEST:: SOT 307418 SOS 92295 HAS SOPS 92295 HAS SOUS 54144 HAS SOUPS 54144 WITH SCORE 54236.295
AT ITER 3017 NEW BEST:: SOT 307260 SOS 91941 HAS SOPS 91941 HAS SOUS 54020 HAS SOUPS 54020 WITH SCORE 54111.941
AT ITER 3022 NEW BEST:: SOT 307233 SOS 91897 HAS SOPS 91897 HAS SOUS 54003 HAS SOUPS 54003 WITH SCORE 54094.897
AT ITER 3034 NEW BEST:: SOT 307146 SOS 91723 HAS SOPS 91723 HAS SOUS 53901 HAS SOUPS 53901 WITH SCORE 53992.723
AT ITER 3064 NEW BEST:: SOT 306940 SOS 91252 HAS SOPS 91252 HAS SOUS 53842 HAS SOUPS 53842 WITH SCORE 53933.252
AT ITER 3067 NEW BEST:: SOT 306653 SOS 90517 HAS SOPS 90517 HAS SOUS 53522 HAS SOUPS 53522 WITH SCORE 53612.517
AT ITER 3075 NEW BEST:: SOT 306629 SOS 90469 HAS SOPS 90469 HAS SOUS 53490 HAS SOUPS 53490 WITH SCORE 53580.469
AT ITER 3076 NEW BEST:: SOT 306627 SOS 90465 HAS SOPS 90465 HAS SOUS 53488 HAS SOUPS 53488 WITH SCORE 53578.465
AT ITER 3103 NEW BEST:: SOT 306734 SOS 90714 HAS SOPS 90714 HAS SOUS 53411 HAS SOUPS 53411 WITH SCORE 53501.714
AT ITER 3121 NEW BEST:: SOT 306546 SOS 90321 HAS SOPS 90321 HAS SOUS 53394 HAS SOUPS 53394 WITH SCORE 53484.321
AT ITER 3131 NEW BEST:: SOT 306482 SOS 90161 HAS SOPS 90161 HAS SOUS 53362 HAS SOUPS 53362 WITH SCORE 53452.161
AT ITER 3143 NEW BEST:: SOT 306481 SOS 90160 HAS SOPS 90160 HAS SOUS 53359 HAS SOUPS 53359 WITH SCORE 53449.16
AT ITER 3145 NEW BEST:: SOT 306467 SOS 90146 HAS SOPS 90146 HAS SOUS 53343 HAS SOUPS 53343 WITH SCORE 53433.146
AT ITER 3147 NEW BEST:: SOT 306392 SOS 89927 HAS SOPS 89927 HAS SOUS 53340 HAS SOUPS 53340 WITH SCORE 53429.927
AT ITER 3161 NEW BEST:: SOT 306278 SOS 89626 HAS SOPS 89626 HAS SOUS 53153 HAS SOUPS 53153 WITH SCORE 53242.626
AT ITER 3171 NEW BEST:: SOT 306278 SOS 89624 HAS SOPS 89624 HAS SOUS 53151 HAS SOUPS 53151 WITH SCORE 53240.624
AT ITER 3189 NEW BEST:: SOT 306274 SOS 89618 HAS SOPS 89618 HAS SOUS 53150 HAS SOUPS 53150 WITH SCORE 53239.618
AT ITER 3193 NEW BEST:: SOT 306274 SOS 89618 HAS SOPS 89618 HAS SOUS 53147 HAS SOUPS 53147 WITH SCORE 53236.618
AT ITER 3217 NEW BEST:: SOT 306092 SOS 89163 HAS SOPS 89163 HAS SOUS 53004 HAS SOUPS 53004 WITH SCORE 53093.163
AT ITER 3218 NEW BEST:: SOT 305413 SOS 87916 HAS SOPS 87916 HAS SOUS 52727 HAS SOUPS 52727 WITH SCORE 52814.916
AT ITER 3226 NEW BEST:: SOT 305320 SOS 87730 HAS SOPS 87730 HAS SOUS 52604 HAS SOUPS 52604 WITH SCORE 52691.73
AT ITER 3264 NEW BEST:: SOT 305288 SOS 87666 HAS SOPS 87666 HAS SOUS 52572 HAS SOUPS 52572 WITH SCORE 52659.666
AT ITER 3286 NEW BEST:: SOT 305272 SOS 87650 HAS SOPS 87650 HAS SOUS 52556 HAS SOUPS 52556 WITH SCORE 52643.65
AT ITER 3310 NEW BEST:: SOT 305551 SOS 88265 HAS SOPS 88265 HAS SOUS 52552 HAS SOUPS 52552 WITH SCORE 52640.265
AT ITER 3313 NEW BEST:: SOT 305482 SOS 88160 HAS SOPS 88160 HAS SOUS 52549 HAS SOUPS 52549 WITH SCORE 52637.16
AT ITER 3323 NEW BEST:: SOT 305482 SOS 88160 HAS SOPS 88160 HAS SOUS 52517 HAS SOUPS 52517 WITH SCORE 52605.16
AT ITER 3339 NEW BEST:: SOT 305456 SOS 88108 HAS SOPS 88108 HAS SOUS 52517 HAS SOUPS 52517 WITH SCORE 52605.108
AT ITER 3347 NEW BEST:: SOT 305418 SOS 88032 HAS SOPS 88032 HAS SOUS 52517 HAS SOUPS 52517 WITH SCORE 52605.032
AT ITER 3352 NEW BEST:: SOT 305342 SOS 87880 HAS SOPS 87880 HAS SOUS 52443 HAS SOUPS 52443 WITH SCORE 52530.88
AT ITER 3355 NEW BEST:: SOT 305342 SOS 87873 HAS SOPS 87873 HAS SOUS 52436 HAS SOUPS 52436 WITH SCORE 52523.873
AT ITER 3363 NEW BEST:: SOT 305342 SOS 87900 HAS SOPS 87900 HAS SOUS 52371 HAS SOUPS 52371 WITH SCORE 52458.9
AT ITER 3399 NEW BEST:: SOT 305279 SOS 87774 HAS SOPS 87774 HAS SOUS 52301 HAS SOUPS 52301 WITH SCORE 52388.774
AT ITER 3407 NEW BEST:: SOT 305270 SOS 87754 HAS SOPS 87754 HAS SOUS 52292 HAS SOUPS 52292 WITH SCORE 52379.754
AT ITER 3419 NEW BEST:: SOT 305238 SOS 87725 HAS SOPS 87725 HAS SOUS 52190 HAS SOUPS 52190 WITH SCORE 52277.725
AT ITER 3427 NEW BEST:: SOT 304915 SOS 86971 HAS SOPS 86971 HAS SOUS 51913 HAS SOUPS 51913 WITH SCORE 51999.971
AT ITER 3433 NEW BEST:: SOT 304851 SOS 86811 HAS SOPS 86811 HAS SOUS 51881 HAS SOUPS 51881 WITH SCORE 51967.811
AT ITER 3458 NEW BEST:: SOT 305095 SOS 87446 HAS SOPS 87446 HAS SOUS 51872 HAS SOUPS 51872 WITH SCORE 51959.446
AT ITER 3471 NEW BEST:: SOT 305095 SOS 87422 HAS SOPS 87422 HAS SOUS 51804 HAS SOUPS 51804 WITH SCORE 51891.422
AT ITER 3475 NEW BEST:: SOT 305095 SOS 87422 HAS SOPS 87422 HAS SOUS 51791 HAS SOUPS 51791 WITH SCORE 51878.422
AT ITER 3477 NEW BEST:: SOT 305051 SOS 87378 HAS SOPS 87378 HAS SOUS 51633 HAS SOUPS 51633 WITH SCORE 51720.378
AT ITER 3484 NEW BEST:: SOT 305047 SOS 87240 HAS SOPS 87240 HAS SOUS 51614 HAS SOUPS 51614 WITH SCORE 51701.24
AT ITER 3488 NEW BEST:: SOT 304993 SOS 87105 HAS SOPS 87105 HAS SOUS 51587 HAS SOUPS 51587 WITH SCORE 51674.105
AT ITER 3543 NEW BEST:: SOT 304603 SOS 86325 HAS SOPS 86325 HAS SOUS 51309 HAS SOUPS 51309 WITH SCORE 51395.325
AT ITER 3548 NEW BEST:: SOT 304593 SOS 86305 HAS SOPS 86305 HAS SOUS 51299 HAS SOUPS 51299 WITH SCORE 51385.305
AT ITER 3550 NEW BEST:: SOT 304498 SOS 86101 HAS SOPS 86101 HAS SOUS 51286 HAS SOUPS 51286 WITH SCORE 51372.101
AT ITER 3575 NEW BEST:: SOT 304488 SOS 86081 HAS SOPS 86081 HAS SOUS 51276 HAS SOUPS 51276 WITH SCORE 51362.081
AT ITER 3583 NEW BEST:: SOT 304500 SOS 86105 HAS SOPS 86105 HAS SOUS 51245 HAS SOUPS 51245 WITH SCORE 51331.105
AT ITER 3609 NEW BEST:: SOT 304391 SOS 85887 HAS SOPS 85887 HAS SOUS 51153 HAS SOUPS 51153 WITH SCORE 51238.887
AT ITER 3663 NEW BEST:: SOT 304403 SOS 85911 HAS SOPS 85911 HAS SOUS 51151 HAS SOUPS 51151 WITH SCORE 51236.911
AT ITER 3690 NEW BEST:: SOT 304389 SOS 85883 HAS SOPS 85883 HAS SOUS 51151 HAS SOUPS 51151 WITH SCORE 51236.883
AT ITER 3709 NEW BEST:: SOT 304377 SOS 85849 HAS SOPS 85849 HAS SOUS 51149 HAS SOUPS 51149 WITH SCORE 51234.849
AT ITER 3713 NEW BEST:: SOT 304249 SOS 85721 HAS SOPS 85721 HAS SOUS 51035 HAS SOUPS 51035 WITH SCORE 51120.721
AT ITER 3715 NEW BEST:: SOT 304183 SOS 85589 HAS SOPS 85589 HAS SOUS 51035 HAS SOUPS 51035 WITH SCORE 51120.589
AT ITER 3742 NEW BEST:: SOT 304117 SOS 85428 HAS SOPS 85428 HAS SOUS 51006 HAS SOUPS 51006 WITH SCORE 51091.428
AT ITER 3757 NEW BEST:: SOT 304133 SOS 85466 HAS SOPS 85466 HAS SOUS 50741 HAS SOUPS 50741 WITH SCORE 50826.466
AT ITER 3758 NEW BEST:: SOT 304176 SOS 85573 HAS SOPS 85573 HAS SOUS 50719 HAS SOUPS 50719 WITH SCORE 50804.573
AT ITER 3777 NEW BEST:: SOT 304137 SOS 85495 HAS SOPS 85495 HAS SOUS 50680 HAS SOUPS 50680 WITH SCORE 50765.495
AT ITER 3778 NEW BEST:: SOT 304023 SOS 85156 HAS SOPS 85156 HAS SOUS 50563 HAS SOUPS 50563 WITH SCORE 50648.156
AT ITER 3783 NEW BEST:: SOT 304017 SOS 85163 HAS SOPS 85163 HAS SOUS 50557 HAS SOUPS 50557 WITH SCORE 50642.163
AT ITER 3790 NEW BEST:: SOT 303991 SOS 85111 HAS SOPS 85111 HAS SOUS 50513 HAS SOUPS 50513 WITH SCORE 50598.111
AT ITER 3798 NEW BEST:: SOT 303944 SOS 84962 HAS SOPS 84962 HAS SOUS 50458 HAS SOUPS 50458 WITH SCORE 50542.962
AT ITER 3833 NEW BEST:: SOT 303926 SOS 84917 HAS SOPS 84917 HAS SOUS 50449 HAS SOUPS 50449 WITH SCORE 50533.917
AT ITER 3856 NEW BEST:: SOT 303926 SOS 84917 HAS SOPS 84917 HAS SOUS 50446 HAS SOUPS 50446 WITH SCORE 50530.917
AT ITER 3878 NEW BEST:: SOT 303873 SOS 84772 HAS SOPS 84772 HAS SOUS 50390 HAS SOUPS 50390 WITH SCORE 50474.772
AT ITER 3879 NEW BEST:: SOT 303731 SOS 84486 HAS SOPS 84486 HAS SOUS 50378 HAS SOUPS 50378 WITH SCORE 50462.486
AT ITER 3886 NEW BEST:: SOT 303713 SOS 84468 HAS SOPS 84468 HAS SOUS 50360 HAS SOUPS 50360 WITH SCORE 50444.468
AT ITER 3892 NEW BEST:: SOT 303704 SOS 84451 HAS SOPS 84451 HAS SOUS 50347 HAS SOUPS 50347 WITH SCORE 50431.451
AT ITER 3904 NEW BEST:: SOT 303691 SOS 84425 HAS SOPS 84425 HAS SOUS 50334 HAS SOUPS 50334 WITH SCORE 50418.425
AT ITER 3939 NEW BEST:: SOT 303665 SOS 84353 HAS SOPS 84353 HAS SOUS 50328 HAS SOUPS 50328 WITH SCORE 50412.353
AT ITER 3942 NEW BEST:: SOT 303651 SOS 84325 HAS SOPS 84325 HAS SOUS 50313 HAS SOUPS 50313 WITH SCORE 50397.325
AT ITER 3959 NEW BEST:: SOT 303620 SOS 84259 HAS SOPS 84259 HAS SOUS 50277 HAS SOUPS 50277 WITH SCORE 50361.259
AT ITER 3961 NEW BEST:: SOT 303473 SOS 83955 HAS SOPS 83955 HAS SOUS 50159 HAS SOUPS 50159 WITH SCORE 50242.955
AT ITER 3974 NEW BEST:: SOT 303470 SOS 83946 HAS SOPS 83946 HAS SOUS 50151 HAS SOUPS 50151 WITH SCORE 50234.946
AT ITER 3994 NEW BEST:: SOT 303465 SOS 83936 HAS SOPS 83936 HAS SOUS 50151 HAS SOUPS 50151 WITH SCORE 50234.936
AT ITER 4042 NEW BEST:: SOT 303465 SOS 83936 HAS SOPS 83936 HAS SOUS 50129 HAS SOUPS 50129 WITH SCORE 50212.936
AT ITER 4048 NEW BEST:: SOT 303301 SOS 83590 HAS SOPS 83590 HAS SOUS 50077 HAS SOUPS 50077 WITH SCORE 50160.59
AT ITER 4061 NEW BEST:: SOT 303365 SOS 83745 HAS SOPS 83745 HAS SOUS 50069 HAS SOUPS 50069 WITH SCORE 50152.745
AT ITER 4068 NEW BEST:: SOT 303364 SOS 83723 HAS SOPS 83723 HAS SOUS 50038 HAS SOUPS 50038 WITH SCORE 50121.723
AT ITER 4083 NEW BEST:: SOT 303354 SOS 83713 HAS SOPS 83713 HAS SOUS 50002 HAS SOUPS 50002 WITH SCORE 50085.713
AT ITER 4101 NEW BEST:: SOT 303354 SOS 83713 HAS SOPS 83713 HAS SOUS 49830 HAS SOUPS 49830 WITH SCORE 49913.713
AT ITER 4135 NEW BEST:: SOT 303289 SOS 83583 HAS SOPS 83583 HAS SOUS 49788 HAS SOUPS 49788 WITH SCORE 49871.583
AT ITER 4152 NEW BEST:: SOT 303233 SOS 83443 HAS SOPS 83443 HAS SOUS 49744 HAS SOUPS 49744 WITH SCORE 49827.443
AT ITER 4162 NEW BEST:: SOT 303218 SOS 83413 HAS SOPS 83413 HAS SOUS 49724 HAS SOUPS 49724 WITH SCORE 49807.413
AT ITER 4188 NEW BEST:: SOT 303154 SOS 83247 HAS SOPS 83247 HAS SOUS 49658 HAS SOUPS 49658 WITH SCORE 49741.247
AT ITER 4200 NEW BEST:: SOT 303126 SOS 83191 HAS SOPS 83191 HAS SOUS 49546 HAS SOUPS 49546 WITH SCORE 49629.191
AT ITER 4202 NEW BEST:: SOT 303084 SOS 83098 HAS SOPS 83098 HAS SOUS 49495 HAS SOUPS 49495 WITH SCORE 49578.098
AT ITER 4224 NEW BEST:: SOT 303067 SOS 83081 HAS SOPS 83081 HAS SOUS 49478 HAS SOUPS 49478 WITH SCORE 49561.081
AT ITER 4255 NEW BEST:: SOT 303070 SOS 83098 HAS SOPS 83098 HAS SOUS 49470 HAS SOUPS 49470 WITH SCORE 49553.098
AT ITER 4262 NEW BEST:: SOT 303054 SOS 83066 HAS SOPS 83066 HAS SOUS 49454 HAS SOUPS 49454 WITH SCORE 49537.066
AT ITER 4272 NEW BEST:: SOT 303044 SOS 83046 HAS SOPS 83046 HAS SOUS 49444 HAS SOUPS 49444 WITH SCORE 49527.046
AT ITER 4276 NEW BEST:: SOT 303016 SOS 83008 HAS SOPS 83008 HAS SOUS 49424 HAS SOUPS 49424 WITH SCORE 49507.008
AT ITER 4311 NEW BEST:: SOT 302611 SOS 82122 HAS SOPS 82122 HAS SOUS 49299 HAS SOUPS 49299 WITH SCORE 49381.122
AT ITER 4336 NEW BEST:: SOT 302704 SOS 82314 HAS SOPS 82314 HAS SOUS 49278 HAS SOUPS 49278 WITH SCORE 49360.314
AT ITER 4349 NEW BEST:: SOT 302605 SOS 82078 HAS SOPS 82078 HAS SOUS 49241 HAS SOUPS 49241 WITH SCORE 49323.078
AT ITER 4358 NEW BEST:: SOT 302309 SOS 81343 HAS SOPS 81343 HAS SOUS 48923 HAS SOUPS 48923 WITH SCORE 49004.343
AT ITER 4375 NEW BEST:: SOT 302378 SOS 81504 HAS SOPS 81504 HAS SOUS 48922 HAS SOUPS 48922 WITH SCORE 49003.504
AT ITER 4388 NEW BEST:: SOT 302290 SOS 81284 HAS SOPS 81284 HAS SOUS 48922 HAS SOUPS 48922 WITH SCORE 49003.284
AT ITER 4424 NEW BEST:: SOT 302281 SOS 81271 HAS SOPS 81271 HAS SOUS 48903 HAS SOUPS 48903 WITH SCORE 48984.271
AT ITER 4450 NEW BEST:: SOT 302275 SOS 81259 HAS SOPS 81259 HAS SOUS 48903 HAS SOUPS 48903 WITH SCORE 48984.259
AT ITER 4451 NEW BEST:: SOT 302246 SOS 81216 HAS SOPS 81216 HAS SOUS 48889 HAS SOUPS 48889 WITH SCORE 48970.216
AT ITER 4467 NEW BEST:: SOT 302145 SOS 81014 HAS SOPS 81014 HAS SOUS 48788 HAS SOUPS 48788 WITH SCORE 48869.014
AT ITER 4479 NEW BEST:: SOT 302112 SOS 80948 HAS SOPS 80948 HAS SOUS 48788 HAS SOUPS 48788 WITH SCORE 48868.948
AT ITER 4485 NEW BEST:: SOT 302034 SOS 80753 HAS SOPS 80753 HAS SOUS 48747 HAS SOUPS 48747 WITH SCORE 48827.753
AT ITER 4489 NEW BEST:: SOT 301934 SOS 80653 HAS SOPS 80653 HAS SOUS 48747 HAS SOUPS 48747 WITH SCORE 48827.653
AT ITER 4491 NEW BEST:: SOT 301890 SOS 80543 HAS SOPS 80543 HAS SOUS 48725 HAS SOUPS 48725 WITH SCORE 48805.543
AT ITER 4503 NEW BEST:: SOT 301890 SOS 80543 HAS SOPS 80543 HAS SOUS 48719 HAS SOUPS 48719 WITH SCORE 48799.543
AT ITER 4515 NEW BEST:: SOT 301831 SOS 80391 HAS SOPS 80391 HAS SOUS 48694 HAS SOUPS 48694 WITH SCORE 48774.391
AT ITER 4526 NEW BEST:: SOT 301631 SOS 79957 HAS SOPS 79957 HAS SOUS 48660 HAS SOUPS 48660 WITH SCORE 48739.957
AT ITER 4532 NEW BEST:: SOT 301631 SOS 79956 HAS SOPS 79956 HAS SOUS 48655 HAS SOUPS 48655 WITH SCORE 48734.956
AT ITER 4593 NEW BEST:: SOT 301631 SOS 79956 HAS SOPS 79956 HAS SOUS 48653 HAS SOUPS 48653 WITH SCORE 48732.956
AT ITER 4602 NEW BEST:: SOT 301555 SOS 79835 HAS SOPS 79835 HAS SOUS 48641 HAS SOUPS 48641 WITH SCORE 48720.835
AT ITER 4605 NEW BEST:: SOT 301508 SOS 79707 HAS SOPS 79707 HAS SOUS 48560 HAS SOUPS 48560 WITH SCORE 48639.707
AT ITER 4624 NEW BEST:: SOT 301430 SOS 79591 HAS SOPS 79591 HAS SOUS 48560 HAS SOUPS 48560 WITH SCORE 48639.591
AT ITER 4644 NEW BEST:: SOT 301386 SOS 79503 HAS SOPS 79503 HAS SOUS 48516 HAS SOUPS 48516 WITH SCORE 48595.503
AT ITER 4652 NEW BEST:: SOT 301377 SOS 79485 HAS SOPS 79485 HAS SOUS 48507 HAS SOUPS 48507 WITH SCORE 48586.485
AT ITER 4661 NEW BEST:: SOT 301377 SOS 79471 HAS SOPS 79471 HAS SOUS 48415 HAS SOUPS 48415 WITH SCORE 48494.471
AT ITER 4692 NEW BEST:: SOT 301292 SOS 79290 HAS SOPS 79290 HAS SOUS 48409 HAS SOUPS 48409 WITH SCORE 48488.29
AT ITER 4698 NEW BEST:: SOT 301194 SOS 79094 HAS SOPS 79094 HAS SOUS 48349 HAS SOUPS 48349 WITH SCORE 48428.094
AT ITER 4701 NEW BEST:: SOT 301130 SOS 79024 HAS SOPS 79024 HAS SOUS 48343 HAS SOUPS 48343 WITH SCORE 48422.024
AT ITER 4727 NEW BEST:: SOT 301118 SOS 79003 HAS SOPS 79003 HAS SOUS 48266 HAS SOUPS 48266 WITH SCORE 48345.003
AT ITER 4735 NEW BEST:: SOT 301091 SOS 78949 HAS SOPS 78949 HAS SOUS 48246 HAS SOUPS 48246 WITH SCORE 48324.949
AT ITER 4741 NEW BEST:: SOT 301047 SOS 78850 HAS SOPS 78850 HAS SOUS 48235 HAS SOUPS 48235 WITH SCORE 48313.85
AT ITER 4785 NEW BEST:: SOT 301045 SOS 78716 HAS SOPS 78716 HAS SOUS 48040 HAS SOUPS 48040 WITH SCORE 48118.716
AT ITER 4790 NEW BEST:: SOT 300999 SOS 78646 HAS SOPS 78646 HAS SOUS 48039 HAS SOUPS 48039 WITH SCORE 48117.646
AT ITER 4807 NEW BEST:: SOT 301003 SOS 78654 HAS SOPS 78654 HAS SOUS 48038 HAS SOUPS 48038 WITH SCORE 48116.654
AT ITER 4808 NEW BEST:: SOT 300766 SOS 78290 HAS SOPS 78290 HAS SOUS 47922 HAS SOUPS 47922 WITH SCORE 48000.29
AT ITER 4809 NEW BEST:: SOT 300574 SOS 77999 HAS SOPS 77999 HAS SOUS 47921 HAS SOUPS 47921 WITH SCORE 47998.999
AT ITER 4811 NEW BEST:: SOT 300536 SOS 78067 HAS SOPS 78067 HAS SOUS 47918 HAS SOUPS 47918 WITH SCORE 47996.067
AT ITER 4835 NEW BEST:: SOT 300539 SOS 78077 HAS SOPS 78077 HAS SOUS 47917 HAS SOUPS 47917 WITH SCORE 47995.077
AT ITER 4841 NEW BEST:: SOT 300434 SOS 77827 HAS SOPS 77827 HAS SOUS 47906 HAS SOUPS 47906 WITH SCORE 47983.827
AT ITER 4843 NEW BEST:: SOT 300443 SOS 77893 HAS SOPS 77893 HAS SOUS 47898 HAS SOUPS 47898 WITH SCORE 47975.893
AT ITER 4868 NEW BEST:: SOT 300441 SOS 77891 HAS SOPS 77891 HAS SOUS 47876 HAS SOUPS 47876 WITH SCORE 47953.891
AT ITER 4891 NEW BEST:: SOT 300413 SOS 77863 HAS SOPS 77863 HAS SOUS 47792 HAS SOUPS 47792 WITH SCORE 47869.863
AT ITER 4929 NEW BEST:: SOT 300396 SOS 77846 HAS SOPS 77846 HAS SOUS 47775 HAS SOUPS 47775 WITH SCORE 47852.846
AT ITER 4950 NEW BEST:: SOT 300151 SOS 77290 HAS SOPS 77290 HAS SOUS 47688 HAS SOUPS 47688 WITH SCORE 47765.29
AT ITER 4955 NEW BEST:: SOT 300117 SOS 77197 HAS SOPS 77197 HAS SOUS 47655 HAS SOUPS 47655 WITH SCORE 47732.197
AT ITER 4959 NEW BEST:: SOT 300090 SOS 77143 HAS SOPS 77143 HAS SOUS 47619 HAS SOUPS 47619 WITH SCORE 47696.143
AT ITER 4971 NEW BEST:: SOT 300087 SOS 77136 HAS SOPS 77136 HAS SOUS 47616 HAS SOUPS 47616 WITH SCORE 47693.136
AT ITER 4989 NEW BEST:: SOT 299971 SOS 76832 HAS SOPS 76832 HAS SOUS 47605 HAS SOUPS 47605 WITH SCORE 47681.832
AT ITER 5030 NEW BEST:: SOT 300076 SOS 77073 HAS SOPS 77073 HAS SOUS 47587 HAS SOUPS 47587 WITH SCORE 47664.073
AT ITER 5041 NEW BEST:: SOT 299926 SOS 76721 HAS SOPS 76721 HAS SOUS 47535 HAS SOUPS 47535 WITH SCORE 47611.721
AT ITER 5045 NEW BEST:: SOT 299987 SOS 76896 HAS SOPS 76896 HAS SOUS 47529 HAS SOUPS 47529 WITH SCORE 47605.896
AT ITER 5062 NEW BEST:: SOT 300055 SOS 77133 HAS SOPS 77133 HAS SOUS 47524 HAS SOUPS 47524 WITH SCORE 47601.133
AT ITER 5065 NEW BEST:: SOT 300020 SOS 77028 HAS SOPS 77028 HAS SOUS 47516 HAS SOUPS 47516 WITH SCORE 47593.028
AT ITER 5076 NEW BEST:: SOT 299930 SOS 76821 HAS SOPS 76821 HAS SOUS 47489 HAS SOUPS 47489 WITH SCORE 47565.821
AT ITER 5102 NEW BEST:: SOT 299816 SOS 76593 HAS SOPS 76593 HAS SOUS 47451 HAS SOUPS 47451 WITH SCORE 47527.593
AT ITER 5105 NEW BEST:: SOT 299781 SOS 76523 HAS SOPS 76523 HAS SOUS 47413 HAS SOUPS 47413 WITH SCORE 47489.523
AT ITER 5119 NEW BEST:: SOT 299745 SOS 76316 HAS SOPS 76316 HAS SOUS 47298 HAS SOUPS 47298 WITH SCORE 47374.316
AT ITER 5138 NEW BEST:: SOT 299742 SOS 76310 HAS SOPS 76310 HAS SOUS 47294 HAS SOUPS 47294 WITH SCORE 47370.31
AT ITER 5141 NEW BEST:: SOT 299738 SOS 76300 HAS SOPS 76300 HAS SOUS 47280 HAS SOUPS 47280 WITH SCORE 47356.3
AT ITER 5154 NEW BEST:: SOT 299738 SOS 76299 HAS SOPS 76299 HAS SOUS 47275 HAS SOUPS 47275 WITH SCORE 47351.299
AT ITER 5184 NEW BEST:: SOT 299696 SOS 76109 HAS SOPS 76109 HAS SOUS 47204 HAS SOUPS 47204 WITH SCORE 47280.109
AT ITER 5187 NEW BEST:: SOT 299674 SOS 76054 HAS SOPS 76054 HAS SOUS 47193 HAS SOUPS 47193 WITH SCORE 47269.054
AT ITER 5197 NEW BEST:: SOT 299666 SOS 76038 HAS SOPS 76038 HAS SOUS 47192 HAS SOUPS 47192 WITH SCORE 47268.038
AT ITER 5199 NEW BEST:: SOT 299664 SOS 76033 HAS SOPS 76033 HAS SOUS 47189 HAS SOUPS 47189 WITH SCORE 47265.033
AT ITER 5213 NEW BEST:: SOT 299529 SOS 75705 HAS SOPS 75705 HAS SOUS 47187 HAS SOUPS 47187 WITH SCORE 47262.705
AT ITER 5249 NEW BEST:: SOT 299472 SOS 75621 HAS SOPS 75621 HAS SOUS 47174 HAS SOUPS 47174 WITH SCORE 47249.621
AT ITER 5260 NEW BEST:: SOT 299479 SOS 75645 HAS SOPS 75645 HAS SOUS 47171 HAS SOUPS 47171 WITH SCORE 47246.645
AT ITER 5272 NEW BEST:: SOT 299456 SOS 75586 HAS SOPS 75586 HAS SOUS 47158 HAS SOUPS 47158 WITH SCORE 47233.586
AT ITER 5278 NEW BEST:: SOT 299456 SOS 75586 HAS SOPS 75586 HAS SOUS 47144 HAS SOUPS 47144 WITH SCORE 47219.586
AT ITER 5279 NEW BEST:: SOT 299328 SOS 75266 HAS SOPS 75266 HAS SOUS 47080 HAS SOUPS 47080 WITH SCORE 47155.266
AT ITER 5293 NEW BEST:: SOT 299264 SOS 75106 HAS SOPS 75106 HAS SOUS 46984 HAS SOUPS 46984 WITH SCORE 47059.106
AT ITER 5309 NEW BEST:: SOT 299278 SOS 75134 HAS SOPS 75134 HAS SOUS 46962 HAS SOUPS 46962 WITH SCORE 47037.134
AT ITER 5312 NEW BEST:: SOT 299264 SOS 75106 HAS SOPS 75106 HAS SOUS 46902 HAS SOUPS 46902 WITH SCORE 46977.106
AT ITER 5333 NEW BEST:: SOT 299238 SOS 75070 HAS SOPS 75070 HAS SOUS 46894 HAS SOUPS 46894 WITH SCORE 46969.07
AT ITER 5358 NEW BEST:: SOT 299199 SOS 74942 HAS SOPS 74942 HAS SOUS 46880 HAS SOUPS 46880 WITH SCORE 46954.942
AT ITER 5365 NEW BEST:: SOT 299185 SOS 74890 HAS SOPS 74890 HAS SOUS 46841 HAS SOUPS 46841 WITH SCORE 46915.89
AT ITER 5383 NEW BEST:: SOT 299185 SOS 74878 HAS SOPS 74878 HAS SOUS 46803 HAS SOUPS 46803 WITH SCORE 46877.878
AT ITER 5404 NEW BEST:: SOT 298933 SOS 74246 HAS SOPS 74246 HAS SOUS 46485 HAS SOUPS 46485 WITH SCORE 46559.246
AT ITER 5408 NEW BEST:: SOT 298872 SOS 74124 HAS SOPS 74124 HAS SOUS 46341 HAS SOUPS 46341 WITH SCORE 46415.124
AT ITER 5453 NEW BEST:: SOT 298781 SOS 73903 HAS SOPS 73903 HAS SOUS 46273 HAS SOUPS 46273 WITH SCORE 46346.903
AT ITER 5465 NEW BEST:: SOT 298774 SOS 73882 HAS SOPS 73882 HAS SOUS 46273 HAS SOUPS 46273 WITH SCORE 46346.882
AT ITER 5467 NEW BEST:: SOT 298737 SOS 73824 HAS SOPS 73824 HAS SOUS 46273 HAS SOUPS 46273 WITH SCORE 46346.824
AT ITER 5477 NEW BEST:: SOT 298858 SOS 74026 HAS SOPS 74026 HAS SOUS 46214 HAS SOUPS 46214 WITH SCORE 46288.026
AT ITER 5480 NEW BEST:: SOT 298764 SOS 73838 HAS SOPS 73838 HAS SOUS 46103 HAS SOUPS 46103 WITH SCORE 46176.838
AT ITER 5496 NEW BEST:: SOT 298554 SOS 73418 HAS SOPS 73418 HAS SOUS 45816 HAS SOUPS 45816 WITH SCORE 45889.418
AT ITER 5516 NEW BEST:: SOT 298554 SOS 73410 HAS SOPS 73410 HAS SOUS 45792 HAS SOUPS 45792 WITH SCORE 45865.41
AT ITER 5525 NEW BEST:: SOT 298494 SOS 73290 HAS SOPS 73290 HAS SOUS 45753 HAS SOUPS 45753 WITH SCORE 45826.29
AT ITER 5528 NEW BEST:: SOT 298535 SOS 73372 HAS SOPS 73372 HAS SOUS 45746 HAS SOUPS 45746 WITH SCORE 45819.372
AT ITER 5572 NEW BEST:: SOT 298586 SOS 73498 HAS SOPS 73498 HAS SOUS 45705 HAS SOUPS 45705 WITH SCORE 45778.498
AT ITER 5597 NEW BEST:: SOT 298459 SOS 73168 HAS SOPS 73168 HAS SOUS 45509 HAS SOUPS 45509 WITH SCORE 45582.168
AT ITER 5600 NEW BEST:: SOT 298454 SOS 73158 HAS SOPS 73158 HAS SOUS 45488 HAS SOUPS 45488 WITH SCORE 45561.158
AT ITER 5608 NEW BEST:: SOT 298406 SOS 73038 HAS SOPS 73038 HAS SOUS 45416 HAS SOUPS 45416 WITH SCORE 45489.038
AT ITER 5632 NEW BEST:: SOT 298184 SOS 72594 HAS SOPS 72594 HAS SOUS 45076 HAS SOUPS 45076 WITH SCORE 45148.594
AT ITER 5646 NEW BEST:: SOT 298132 SOS 72490 HAS SOPS 72490 HAS SOUS 45021 HAS SOUPS 45021 WITH SCORE 45093.49
AT ITER 5669 NEW BEST:: SOT 298127 SOS 72475 HAS SOPS 72475 HAS SOUS 45016 HAS SOUPS 45016 WITH SCORE 45088.475
AT ITER 5696 NEW BEST:: SOT 297915 SOS 72002 HAS SOPS 72002 HAS SOUS 44997 HAS SOUPS 44997 WITH SCORE 45069.002
AT ITER 5701 NEW BEST:: SOT 297894 SOS 71972 HAS SOPS 71972 HAS SOUS 44997 HAS SOUPS 44997 WITH SCORE 45068.972
AT ITER 5707 NEW BEST:: SOT 297747 SOS 71678 HAS SOPS 71678 HAS SOUS 44884 HAS SOUPS 44884 WITH SCORE 44955.678
AT ITER 5716 NEW BEST:: SOT 297586 SOS 71300 HAS SOPS 71300 HAS SOUS 44731 HAS SOUPS 44731 WITH SCORE 44802.3
AT ITER 5743 NEW BEST:: SOT 297562 SOS 71240 HAS SOPS 71240 HAS SOUS 44719 HAS SOUPS 44719 WITH SCORE 44790.24
AT ITER 5745 NEW BEST:: SOT 297482 SOS 71120 HAS SOPS 71120 HAS SOUS 44719 HAS SOUPS 44719 WITH SCORE 44790.12
AT ITER 5751 NEW BEST:: SOT 297502 SOS 71131 HAS SOPS 71131 HAS SOUS 44652 HAS SOUPS 44652 WITH SCORE 44723.131
AT ITER 5756 NEW BEST:: SOT 297486 SOS 71099 HAS SOPS 71099 HAS SOUS 44652 HAS SOUPS 44652 WITH SCORE 44723.099
AT ITER 5802 NEW BEST:: SOT 297462 SOS 70994 HAS SOPS 70994 HAS SOUS 44630 HAS SOUPS 44630 WITH SCORE 44700.994
AT ITER 5808 NEW BEST:: SOT 297278 SOS 70626 HAS SOPS 70626 HAS SOUS 44630 HAS SOUPS 44630 WITH SCORE 44700.626
AT ITER 5813 NEW BEST:: SOT 297267 SOS 70604 HAS SOPS 70604 HAS SOUS 44619 HAS SOUPS 44619 WITH SCORE 44689.604
AT ITER 5827 NEW BEST:: SOT 297263 SOS 70594 HAS SOPS 70594 HAS SOUS 44613 HAS SOUPS 44613 WITH SCORE 44683.594
AT ITER 5845 NEW BEST:: SOT 297239 SOS 70543 HAS SOPS 70543 HAS SOUS 44610 HAS SOUPS 44610 WITH SCORE 44680.543
AT ITER 5858 NEW BEST:: SOT 297188 SOS 70441 HAS SOPS 70441 HAS SOUS 44542 HAS SOUPS 44542 WITH SCORE 44612.441
AT ITER 5929 NEW BEST:: SOT 296947 SOS 70021 HAS SOPS 70021 HAS SOUS 44428 HAS SOUPS 44428 WITH SCORE 44498.021
AT ITER 5931 NEW BEST:: SOT 296927 SOS 69971 HAS SOPS 69971 HAS SOUS 44388 HAS SOUPS 44388 WITH SCORE 44457.971
AT ITER 5933 NEW BEST:: SOT 296871 SOS 69831 HAS SOPS 69831 HAS SOUS 44360 HAS SOUPS 44360 WITH SCORE 44429.831
AT ITER 5934 NEW BEST:: SOT 296726 SOS 69488 HAS SOPS 69488 HAS SOUS 44187 HAS SOUPS 44187 WITH SCORE 44256.488
AT ITER 5950 NEW BEST:: SOT 296762 SOS 69560 HAS SOPS 69560 HAS SOUS 44166 HAS SOUPS 44166 WITH SCORE 44235.56
AT ITER 5970 NEW BEST:: SOT 296693 SOS 69422 HAS SOPS 69422 HAS SOUS 44143 HAS SOUPS 44143 WITH SCORE 44212.422
AT ITER 5971 NEW BEST:: SOT 296653 SOS 69302 HAS SOPS 69302 HAS SOUS 44115 HAS SOUPS 44115 WITH SCORE 44184.302
AT ITER 5973 NEW BEST:: SOT 296649 SOS 69294 HAS SOPS 69294 HAS SOUS 44115 HAS SOUPS 44115 WITH SCORE 44184.294
AT ITER 6001 NEW BEST:: SOT 296632 SOS 69277 HAS SOPS 69277 HAS SOUS 44098 HAS SOUPS 44098 WITH SCORE 44167.277
AT ITER 6011 NEW BEST:: SOT 296627 SOS 69267 HAS SOPS 69267 HAS SOUS 44098 HAS SOUPS 44098 WITH SCORE 44167.267
AT ITER 6016 NEW BEST:: SOT 296486 SOS 68946 HAS SOPS 68946 HAS SOUS 43902 HAS SOUPS 43902 WITH SCORE 43970.946
AT ITER 6047 NEW BEST:: SOT 296442 SOS 68902 HAS SOPS 68902 HAS SOUS 43858 HAS SOUPS 43858 WITH SCORE 43926.902
AT ITER 6053 NEW BEST:: SOT 296430 SOS 68878 HAS SOPS 68878 HAS SOUS 43858 HAS SOUPS 43858 WITH SCORE 43926.878
AT ITER 6060 NEW BEST:: SOT 296433 SOS 68884 HAS SOPS 68884 HAS SOUS 43818 HAS SOUPS 43818 WITH SCORE 43886.884
AT ITER 6083 NEW BEST:: SOT 296448 SOS 68919 HAS SOPS 68919 HAS SOUS 43808 HAS SOUPS 43808 WITH SCORE 43876.919
AT ITER 6084 NEW BEST:: SOT 296397 SOS 68842 HAS SOPS 68842 HAS SOUS 43808 HAS SOUPS 43808 WITH SCORE 43876.842
AT ITER 6089 NEW BEST:: SOT 296370 SOS 68788 HAS SOPS 68788 HAS SOUS 43773 HAS SOUPS 43773 WITH SCORE 43841.788
AT ITER 6098 NEW BEST:: SOT 296370 SOS 68786 HAS SOPS 68786 HAS SOUS 43771 HAS SOUPS 43771 WITH SCORE 43839.786
AT ITER 6101 NEW BEST:: SOT 296306 SOS 68658 HAS SOPS 68658 HAS SOUS 43751 HAS SOUPS 43751 WITH SCORE 43819.658
AT ITER 6145 NEW BEST:: SOT 296328 SOS 68547 HAS SOPS 68547 HAS SOUS 43316 HAS SOUPS 43316 WITH SCORE 43384.547
AT ITER 6180 NEW BEST:: SOT 296311 SOS 68496 HAS SOPS 68496 HAS SOUS 43282 HAS SOUPS 43282 WITH SCORE 43350.496
AT ITER 6210 NEW BEST:: SOT 296275 SOS 68422 HAS SOPS 68422 HAS SOUS 43282 HAS SOUPS 43282 WITH SCORE 43350.422
AT ITER 6211 NEW BEST:: SOT 296342 SOS 68558 HAS SOPS 68558 HAS SOUS 43279 HAS SOUPS 43279 WITH SCORE 43347.558
AT ITER 6218 NEW BEST:: SOT 296304 SOS 68482 HAS SOPS 68482 HAS SOUS 43240 HAS SOUPS 43240 WITH SCORE 43308.482
AT ITER 6235 NEW BEST:: SOT 296287 SOS 68448 HAS SOPS 68448 HAS SOUS 43223 HAS SOUPS 43223 WITH SCORE 43291.448
AT ITER 6240 NEW BEST:: SOT 296253 SOS 68346 HAS SOPS 68346 HAS SOUS 43223 HAS SOUPS 43223 WITH SCORE 43291.346
AT ITER 6242 NEW BEST:: SOT 296255 SOS 68346 HAS SOPS 68346 HAS SOUS 43221 HAS SOUPS 43221 WITH SCORE 43289.346
AT ITER 6298 NEW BEST:: SOT 296255 SOS 68302 HAS SOPS 68302 HAS SOUS 43161 HAS SOUPS 43161 WITH SCORE 43229.302
AT ITER 6323 NEW BEST:: SOT 296199 SOS 68081 HAS SOPS 68081 HAS SOUS 43108 HAS SOUPS 43108 WITH SCORE 43176.081
AT ITER 6339 NEW BEST:: SOT 296193 SOS 68066 HAS SOPS 68066 HAS SOUS 43099 HAS SOUPS 43099 WITH SCORE 43167.066
AT ITER 6361 NEW BEST:: SOT 296173 SOS 68026 HAS SOPS 68026 HAS SOUS 43079 HAS SOUPS 43079 WITH SCORE 43147.026
AT ITER 6362 NEW BEST:: SOT 296165 SOS 68006 HAS SOPS 68006 HAS SOUS 43075 HAS SOUPS 43075 WITH SCORE 43143.006
AT ITER 6372 NEW BEST:: SOT 296061 SOS 67693 HAS SOPS 67693 HAS SOUS 42912 HAS SOUPS 42912 WITH SCORE 42979.693
AT ITER 6381 NEW BEST:: SOT 296042 SOS 67651 HAS SOPS 67651 HAS SOUS 42912 HAS SOUPS 42912 WITH SCORE 42979.651
AT ITER 6399 NEW BEST:: SOT 295933 SOS 67433 HAS SOPS 67433 HAS SOUS 42912 HAS SOUPS 42912 WITH SCORE 42979.433
AT ITER 6454 NEW BEST:: SOT 295868 SOS 67303 HAS SOPS 67303 HAS SOUS 42847 HAS SOUPS 42847 WITH SCORE 42914.303
AT ITER 6455 NEW BEST:: SOT 295856 SOS 67273 HAS SOPS 67273 HAS SOUS 42841 HAS SOUPS 42841 WITH SCORE 42908.273
AT ITER 6472 NEW BEST:: SOT 295715 SOS 66937 HAS SOPS 66937 HAS SOUS 42764 HAS SOUPS 42764 WITH SCORE 42830.937
AT ITER 6512 NEW BEST:: SOT 295668 SOS 66843 HAS SOPS 66843 HAS SOUS 42736 HAS SOUPS 42736 WITH SCORE 42802.843
AT ITER 6522 NEW BEST:: SOT 295637 SOS 66763 HAS SOPS 66763 HAS SOUS 42733 HAS SOUPS 42733 WITH SCORE 42799.763
AT ITER 6523 NEW BEST:: SOT 295612 SOS 66687 HAS SOPS 66687 HAS SOUS 42702 HAS SOUPS 42702 WITH SCORE 42768.687
AT ITER 6547 NEW BEST:: SOT 295605 SOS 66665 HAS SOPS 66665 HAS SOUS 42667 HAS SOUPS 42667 WITH SCORE 42733.665
AT ITER 6554 NEW BEST:: SOT 295482 SOS 66370 HAS SOPS 66370 HAS SOUS 42587 HAS SOUPS 42587 WITH SCORE 42653.37
AT ITER 6555 NEW BEST:: SOT 295469 SOS 66344 HAS SOPS 66344 HAS SOUS 42587 HAS SOUPS 42587 WITH SCORE 42653.344
AT ITER 6556 NEW BEST:: SOT 295469 SOS 66343 HAS SOPS 66343 HAS SOUS 42586 HAS SOUPS 42586 WITH SCORE 42652.343
AT ITER 6575 NEW BEST:: SOT 295399 SOS 66203 HAS SOPS 66203 HAS SOUS 42586 HAS SOUPS 42586 WITH SCORE 42652.203
AT ITER 6578 NEW BEST:: SOT 295352 SOS 66109 HAS SOPS 66109 HAS SOUS 42574 HAS SOUPS 42574 WITH SCORE 42640.109
AT ITER 6579 NEW BEST:: SOT 295352 SOS 66109 HAS SOPS 66109 HAS SOUS 42559 HAS SOUPS 42559 WITH SCORE 42625.109
AT ITER 6602 NEW BEST:: SOT 295498 SOS 66299 HAS SOPS 66299 HAS SOUS 42521 HAS SOUPS 42521 WITH SCORE 42587.299
AT ITER 6610 NEW BEST:: SOT 295480 SOS 66281 HAS SOPS 66281 HAS SOUS 42503 HAS SOUPS 42503 WITH SCORE 42569.281
AT ITER 6611 NEW BEST:: SOT 295462 SOS 66228 HAS SOPS 66228 HAS SOUS 42468 HAS SOUPS 42468 WITH SCORE 42534.228
AT ITER 6625 NEW BEST:: SOT 295380 SOS 66064 HAS SOPS 66064 HAS SOUS 42393 HAS SOUPS 42393 WITH SCORE 42459.064
AT ITER 6638 NEW BEST:: SOT 295380 SOS 66022 HAS SOPS 66022 HAS SOUS 42393 HAS SOUPS 42393 WITH SCORE 42459.022
AT ITER 6668 NEW BEST:: SOT 295350 SOS 65970 HAS SOPS 65970 HAS SOUS 42331 HAS SOUPS 42331 WITH SCORE 42396.97
AT ITER 6669 NEW BEST:: SOT 295334 SOS 65938 HAS SOPS 65938 HAS SOUS 42315 HAS SOUPS 42315 WITH SCORE 42380.938
AT ITER 6710 NEW BEST:: SOT 295300 SOS 65887 HAS SOPS 65887 HAS SOUS 42315 HAS SOUPS 42315 WITH SCORE 42380.887
AT ITER 6719 NEW BEST:: SOT 295261 SOS 65793 HAS SOPS 65793 HAS SOUS 42269 HAS SOUPS 42269 WITH SCORE 42334.793
AT ITER 6722 NEW BEST:: SOT 295140 SOS 65551 HAS SOPS 65551 HAS SOUS 42269 HAS SOUPS 42269 WITH SCORE 42334.551
AT ITER 6741 NEW BEST:: SOT 295140 SOS 65533 HAS SOPS 65533 HAS SOUS 42215 HAS SOUPS 42215 WITH SCORE 42280.533
AT ITER 6748 NEW BEST:: SOT 295066 SOS 65577 HAS SOPS 65577 HAS SOUS 42016 HAS SOUPS 42016 WITH SCORE 42081.577
AT ITER 6755 NEW BEST:: SOT 295066 SOS 65575 HAS SOPS 65575 HAS SOUS 42008 HAS SOUPS 42008 WITH SCORE 42073.575
AT ITER 6759 NEW BEST:: SOT 295066 SOS 65525 HAS SOPS 65525 HAS SOUS 41933 HAS SOUPS 41933 WITH SCORE 41998.525
AT ITER 6772 NEW BEST:: SOT 294998 SOS 65364 HAS SOPS 65364 HAS SOUS 41868 HAS SOUPS 41868 WITH SCORE 41933.364
AT ITER 6786 NEW BEST:: SOT 294935 SOS 65238 HAS SOPS 65238 HAS SOUS 41838 HAS SOUPS 41838 WITH SCORE 41903.238
AT ITER 6848 NEW BEST:: SOT 294930 SOS 65228 HAS SOPS 65228 HAS SOUS 41833 HAS SOUPS 41833 WITH SCORE 41898.228
AT ITER 6868 NEW BEST:: SOT 294780 SOS 64853 HAS SOPS 64853 HAS SOUS 41758 HAS SOUPS 41758 WITH SCORE 41822.853
AT ITER 6877 NEW BEST:: SOT 294784 SOS 64861 HAS SOPS 64861 HAS SOUS 41754 HAS SOUPS 41754 WITH SCORE 41818.861
AT ITER 6900 NEW BEST:: SOT 294748 SOS 64789 HAS SOPS 64789 HAS SOUS 41728 HAS SOUPS 41728 WITH SCORE 41792.789
AT ITER 6922 NEW BEST:: SOT 294722 SOS 64779 HAS SOPS 64779 HAS SOUS 41728 HAS SOUPS 41728 WITH SCORE 41792.779
AT ITER 6931 NEW BEST:: SOT 294648 SOS 64591 HAS SOPS 64591 HAS SOUS 41694 HAS SOUPS 41694 WITH SCORE 41758.591
AT ITER 6949 NEW BEST:: SOT 294639 SOS 64573 HAS SOPS 64573 HAS SOUS 41683 HAS SOUPS 41683 WITH SCORE 41747.573
AT ITER 6979 NEW BEST:: SOT 294605 SOS 64471 HAS SOPS 64471 HAS SOUS 41547 HAS SOUPS 41547 WITH SCORE 41611.471
AT ITER 6982 NEW BEST:: SOT 294604 SOS 64469 HAS SOPS 64469 HAS SOUS 41546 HAS SOUPS 41546 WITH SCORE 41610.469
AT ITER 6988 NEW BEST:: SOT 294534 SOS 64319 HAS SOPS 64319 HAS SOUS 41542 HAS SOUPS 41542 WITH SCORE 41606.319
AT ITER 6999 NEW BEST:: SOT 294575 SOS 64383 HAS SOPS 64383 HAS SOUS 41524 HAS SOUPS 41524 WITH SCORE 41588.383
AT ITER 7028 NEW BEST:: SOT 294575 SOS 64383 HAS SOPS 64383 HAS SOUS 41522 HAS SOUPS 41522 WITH SCORE 41586.383
AT ITER 7029 NEW BEST:: SOT 294533 SOS 64287 HAS SOPS 64287 HAS SOUS 41510 HAS SOUPS 41510 WITH SCORE 41574.287
AT ITER 7052 NEW BEST:: SOT 294529 SOS 64265 HAS SOPS 64265 HAS SOUS 41492 HAS SOUPS 41492 WITH SCORE 41556.265
AT ITER 7057 NEW BEST:: SOT 294039 SOS 63161 HAS SOPS 63161 HAS SOUS 41382 HAS SOUPS 41382 WITH SCORE 41445.161
AT ITER 7079 NEW BEST:: SOT 294033 SOS 63149 HAS SOPS 63149 HAS SOUS 41376 HAS SOUPS 41376 WITH SCORE 41439.149
AT ITER 7083 NEW BEST:: SOT 294033 SOS 63143 HAS SOPS 63143 HAS SOUS 41367 HAS SOUPS 41367 WITH SCORE 41430.143
AT ITER 7095 NEW BEST:: SOT 293987 SOS 63028 HAS SOPS 63028 HAS SOUS 41298 HAS SOUPS 41298 WITH SCORE 41361.028
AT ITER 7100 NEW BEST:: SOT 293949 SOS 62990 HAS SOPS 62990 HAS SOUS 41254 HAS SOUPS 41254 WITH SCORE 41316.99
AT ITER 7111 NEW BEST:: SOT 293928 SOS 62969 HAS SOPS 62969 HAS SOUS 41253 HAS SOUPS 41253 WITH SCORE 41315.969
AT ITER 7151 NEW BEST:: SOT 293873 SOS 62833 HAS SOPS 62833 HAS SOUS 41217 HAS SOUPS 41217 WITH SCORE 41279.833
AT ITER 7180 NEW BEST:: SOT 293861 SOS 62809 HAS SOPS 62809 HAS SOUS 41169 HAS SOUPS 41169 WITH SCORE 41231.809
AT ITER 7201 NEW BEST:: SOT 293860 SOS 62806 HAS SOPS 62806 HAS SOUS 41165 HAS SOUPS 41165 WITH SCORE 41227.806
AT ITER 7241 NEW BEST:: SOT 293849 SOS 62775 HAS SOPS 62775 HAS SOUS 41157 HAS SOUPS 41157 WITH SCORE 41219.775
AT ITER 7257 NEW BEST:: SOT 293811 SOS 62759 HAS SOPS 62759 HAS SOUS 41127 HAS SOUPS 41127 WITH SCORE 41189.759
AT ITER 7309 NEW BEST:: SOT 293862 SOS 62876 HAS SOPS 62876 HAS SOUS 41125 HAS SOUPS 41125 WITH SCORE 41187.876
AT ITER 7339 NEW BEST:: SOT 293848 SOS 62845 HAS SOPS 62845 HAS SOUS 41102 HAS SOUPS 41102 WITH SCORE 41164.845
AT ITER 7358 NEW BEST:: SOT 293881 SOS 62895 HAS SOPS 62895 HAS SOUS 41099 HAS SOUPS 41099 WITH SCORE 41161.895
AT ITER 7363 NEW BEST:: SOT 293873 SOS 62875 HAS SOPS 62875 HAS SOUS 41095 HAS SOUPS 41095 WITH SCORE 41157.875
AT ITER 7385 NEW BEST:: SOT 293873 SOS 62875 HAS SOPS 62875 HAS SOUS 41091 HAS SOUPS 41091 WITH SCORE 41153.875
AT ITER 7427 NEW BEST:: SOT 293849 SOS 62822 HAS SOPS 62822 HAS SOUS 41050 HAS SOUPS 41050 WITH SCORE 41112.822
AT ITER 7449 NEW BEST:: SOT 293811 SOS 62746 HAS SOPS 62746 HAS SOUS 41017 HAS SOUPS 41017 WITH SCORE 41079.746
AT ITER 7460 NEW BEST:: SOT 293840 SOS 62749 HAS SOPS 62749 HAS SOUS 40948 HAS SOUPS 40948 WITH SCORE 41010.749
AT ITER 7473 NEW BEST:: SOT 293831 SOS 62751 HAS SOPS 62751 HAS SOUS 40940 HAS SOUPS 40940 WITH SCORE 41002.751
AT ITER 7517 NEW BEST:: SOT 293819 SOS 62721 HAS SOPS 62721 HAS SOUS 40916 HAS SOUPS 40916 WITH SCORE 40978.721
AT ITER 7548 NEW BEST:: SOT 293785 SOS 62636 HAS SOPS 62636 HAS SOUS 40899 HAS SOUPS 40899 WITH SCORE 40961.636
AT ITER 7581 NEW BEST:: SOT 293756 SOS 62578 HAS SOPS 62578 HAS SOUS 40870 HAS SOUPS 40870 WITH SCORE 40932.578
AT ITER 7604 NEW BEST:: SOT 293756 SOS 62578 HAS SOPS 62578 HAS SOUS 40868 HAS SOUPS 40868 WITH SCORE 40930.578
AT ITER 7605 NEW BEST:: SOT 293722 SOS 62494 HAS SOPS 62494 HAS SOUS 40850 HAS SOUPS 40850 WITH SCORE 40912.494
AT ITER 7610 NEW BEST:: SOT 293697 SOS 62444 HAS SOPS 62444 HAS SOUS 40850 HAS SOUPS 40850 WITH SCORE 40912.444
AT ITER 7625 NEW BEST:: SOT 293697 SOS 62444 HAS SOPS 62444 HAS SOUS 40830 HAS SOUPS 40830 WITH SCORE 40892.444
AT ITER 7628 NEW BEST:: SOT 293695 SOS 62440 HAS SOPS 62440 HAS SOUS 40826 HAS SOUPS 40826 WITH SCORE 40888.44
AT ITER 7631 NEW BEST:: SOT 293695 SOS 62440 HAS SOPS 62440 HAS SOUS 40808 HAS SOUPS 40808 WITH SCORE 40870.44
AT ITER 7654 NEW BEST:: SOT 293693 SOS 62435 HAS SOPS 62435 HAS SOUS 40805 HAS SOUPS 40805 WITH SCORE 40867.435
AT ITER 7724 NEW BEST:: SOT 293679 SOS 62334 HAS SOPS 62334 HAS SOUS 40635 HAS SOUPS 40635 WITH SCORE 40697.334
AT ITER 7742 NEW BEST:: SOT 293603 SOS 62199 HAS SOPS 62199 HAS SOUS 40585 HAS SOUPS 40585 WITH SCORE 40647.199
AT ITER 7762 NEW BEST:: SOT 293583 SOS 62171 HAS SOPS 62171 HAS SOUS 40582 HAS SOUPS 40582 WITH SCORE 40644.171
AT ITER 7763 NEW BEST:: SOT 293483 SOS 61941 HAS SOPS 61941 HAS SOUS 40538 HAS SOUPS 40538 WITH SCORE 40599.941
AT ITER 7769 NEW BEST:: SOT 293457 SOS 61861 HAS SOPS 61861 HAS SOUS 40414 HAS SOUPS 40414 WITH SCORE 40475.861
AT ITER 7779 NEW BEST:: SOT 293315 SOS 61537 HAS SOPS 61537 HAS SOUS 40355 HAS SOUPS 40355 WITH SCORE 40416.537
AT ITER 7780 NEW BEST:: SOT 293283 SOS 61497 HAS SOPS 61497 HAS SOUS 40287 HAS SOUPS 40287 WITH SCORE 40348.497
AT ITER 7785 NEW BEST:: SOT 293305 SOS 61505 HAS SOPS 61505 HAS SOUS 40193 HAS SOUPS 40193 WITH SCORE 40254.505
AT ITER 7815 NEW BEST:: SOT 293275 SOS 61430 HAS SOPS 61430 HAS SOUS 40133 HAS SOUPS 40133 WITH SCORE 40194.43
AT ITER 7873 NEW BEST:: SOT 293270 SOS 61415 HAS SOPS 61415 HAS SOUS 40133 HAS SOUPS 40133 WITH SCORE 40194.415
AT ITER 7874 NEW BEST:: SOT 293269 SOS 61413 HAS SOPS 61413 HAS SOUS 40132 HAS SOUPS 40132 WITH SCORE 40193.413
AT ITER 7877 NEW BEST:: SOT 293257 SOS 61379 HAS SOPS 61379 HAS SOUS 40119 HAS SOUPS 40119 WITH SCORE 40180.379
AT ITER 7892 NEW BEST:: SOT 293149 SOS 61163 HAS SOPS 61163 HAS SOUS 40085 HAS SOUPS 40085 WITH SCORE 40146.163
AT ITER 7894 NEW BEST:: SOT 293115 SOS 61071 HAS SOPS 61071 HAS SOUS 40027 HAS SOUPS 40027 WITH SCORE 40088.071
AT ITER 7901 NEW BEST:: SOT 293111 SOS 61061 HAS SOPS 61061 HAS SOUS 40025 HAS SOUPS 40025 WITH SCORE 40086.061
AT ITER 7908 NEW BEST:: SOT 293037 SOS 60895 HAS SOPS 60895 HAS SOUS 39989 HAS SOUPS 39989 WITH SCORE 40049.895
AT ITER 7910 NEW BEST:: SOT 293021 SOS 60855 HAS SOPS 60855 HAS SOUS 39981 HAS SOUPS 39981 WITH SCORE 40041.855
AT ITER 7937 NEW BEST:: SOT 292928 SOS 60600 HAS SOPS 60600 HAS SOUS 39936 HAS SOUPS 39936 WITH SCORE 39996.6
AT ITER 7955 NEW BEST:: SOT 292922 SOS 60588 HAS SOPS 60588 HAS SOUS 39930 HAS SOUPS 39930 WITH SCORE 39990.588
AT ITER 7969 NEW BEST:: SOT 292914 SOS 60580 HAS SOPS 60580 HAS SOUS 39914 HAS SOUPS 39914 WITH SCORE 39974.58
AT ITER 8026 NEW BEST:: SOT 292908 SOS 60573 HAS SOPS 60573 HAS SOUS 39914 HAS SOUPS 39914 WITH SCORE 39974.573
AT ITER 8041 NEW BEST:: SOT 292773 SOS 60327 HAS SOPS 60327 HAS SOUS 39858 HAS SOUPS 39858 WITH SCORE 39918.327
AT ITER 8063 NEW BEST:: SOT 292675 SOS 60032 HAS SOPS 60032 HAS SOUS 39807 HAS SOUPS 39807 WITH SCORE 39867.032
AT ITER 8104 NEW BEST:: SOT 292597 SOS 59837 HAS SOPS 59837 HAS SOUS 39730 HAS SOUPS 39730 WITH SCORE 39789.837
AT ITER 8143 NEW BEST:: SOT 292448 SOS 59539 HAS SOPS 59539 HAS SOUS 39519 HAS SOUPS 39519 WITH SCORE 39578.539
AT ITER 8158 NEW BEST:: SOT 292280 SOS 59203 HAS SOPS 59203 HAS SOUS 39295 HAS SOUPS 39295 WITH SCORE 39354.203
AT ITER 8170 NEW BEST:: SOT 292150 SOS 58943 HAS SOPS 58943 HAS SOUS 39254 HAS SOUPS 39254 WITH SCORE 39312.943
AT ITER 8225 NEW BEST:: SOT 292120 SOS 58883 HAS SOPS 58883 HAS SOUS 39224 HAS SOUPS 39224 WITH SCORE 39282.883
AT ITER 8229 NEW BEST:: SOT 292072 SOS 58787 HAS SOPS 58787 HAS SOUS 39160 HAS SOUPS 39160 WITH SCORE 39218.787
AT ITER 8238 NEW BEST:: SOT 292072 SOS 58772 HAS SOPS 58772 HAS SOUS 39157 HAS SOUPS 39157 WITH SCORE 39215.772
AT ITER 8338 NEW BEST:: SOT 292012 SOS 58641 HAS SOPS 58641 HAS SOUS 39152 HAS SOUPS 39152 WITH SCORE 39210.641
AT ITER 8346 NEW BEST:: SOT 291719 SOS 57968 HAS SOPS 57968 HAS SOUS 39104 HAS SOUPS 39104 WITH SCORE 39161.968
AT ITER 8373 NEW BEST:: SOT 291777 SOS 58130 HAS SOPS 58130 HAS SOUS 39102 HAS SOUPS 39102 WITH SCORE 39160.13
AT ITER 8383 NEW BEST:: SOT 291765 SOS 58118 HAS SOPS 58118 HAS SOUS 39090 HAS SOUPS 39090 WITH SCORE 39148.118
AT ITER 8404 NEW BEST:: SOT 291765 SOS 58123 HAS SOPS 58123 HAS SOUS 39083 HAS SOUPS 39083 WITH SCORE 39141.123
AT ITER 8461 NEW BEST:: SOT 291761 SOS 58115 HAS SOPS 58115 HAS SOUS 39079 HAS SOUPS 39079 WITH SCORE 39137.115
AT ITER 8474 NEW BEST:: SOT 291752 SOS 58089 HAS SOPS 58089 HAS SOUS 39069 HAS SOUPS 39069 WITH SCORE 39127.089
AT ITER 8493 NEW BEST:: SOT 291733 SOS 58051 HAS SOPS 58051 HAS SOUS 39030 HAS SOUPS 39030 WITH SCORE 39088.051
AT ITER 8532 NEW BEST:: SOT 291733 SOS 58049 HAS SOPS 58049 HAS SOUS 38996 HAS SOUPS 38996 WITH SCORE 39054.049
AT ITER 8534 NEW BEST:: SOT 291697 SOS 57955 HAS SOPS 57955 HAS SOUS 38988 HAS SOUPS 38988 WITH SCORE 39045.955
AT ITER 8540 NEW BEST:: SOT 291666 SOS 57861 HAS SOPS 57861 HAS SOUS 38987 HAS SOUPS 38987 WITH SCORE 39044.861
AT ITER 8568 NEW BEST:: SOT 291757 SOS 57957 HAS SOPS 57957 HAS SOUS 38929 HAS SOUPS 38929 WITH SCORE 38986.957
AT ITER 8623 NEW BEST:: SOT 291749 SOS 57941 HAS SOPS 57941 HAS SOUS 38921 HAS SOUPS 38921 WITH SCORE 38978.941
AT ITER 8631 NEW BEST:: SOT 291810 SOS 57981 HAS SOPS 57981 HAS SOUS 38900 HAS SOUPS 38900 WITH SCORE 38957.981
AT ITER 8651 NEW BEST:: SOT 291816 SOS 58005 HAS SOPS 58005 HAS SOUS 38894 HAS SOUPS 38894 WITH SCORE 38952.005
AT ITER 8666 NEW BEST:: SOT 291857 SOS 57980 HAS SOPS 57980 HAS SOUS 38830 HAS SOUPS 38830 WITH SCORE 38887.98
AT ITER 8687 NEW BEST:: SOT 291811 SOS 57865 HAS SOPS 57865 HAS SOUS 38799 HAS SOUPS 38799 WITH SCORE 38856.865
AT ITER 8704 NEW BEST:: SOT 291805 SOS 57856 HAS SOPS 57856 HAS SOUS 38799 HAS SOUPS 38799 WITH SCORE 38856.856
AT ITER 8718 NEW BEST:: SOT 291795 SOS 57846 HAS SOPS 57846 HAS SOUS 38789 HAS SOUPS 38789 WITH SCORE 38846.846
AT ITER 8735 NEW BEST:: SOT 291834 SOS 57873 HAS SOPS 57873 HAS SOUS 38774 HAS SOUPS 38774 WITH SCORE 38831.873
AT ITER 8773 NEW BEST:: SOT 291893 SOS 58043 HAS SOPS 58043 HAS SOUS 38768 HAS SOUPS 38768 WITH SCORE 38826.043
AT ITER 8797 NEW BEST:: SOT 292004 SOS 58295 HAS SOPS 58295 HAS SOUS 38757 HAS SOUPS 38757 WITH SCORE 38815.295
AT ITER 8842 NEW BEST:: SOT 291914 SOS 58113 HAS SOPS 58113 HAS SOUS 38755 HAS SOUPS 38755 WITH SCORE 38813.113
AT ITER 8876 NEW BEST:: SOT 291914 SOS 58112 HAS SOPS 58112 HAS SOUS 38752 HAS SOUPS 38752 WITH SCORE 38810.112
AT ITER 8882 NEW BEST:: SOT 291914 SOS 58105 HAS SOPS 58105 HAS SOUS 38749 HAS SOUPS 38749 WITH SCORE 38807.105
AT ITER 8885 NEW BEST:: SOT 291812 SOS 57879 HAS SOPS 57879 HAS SOUS 38731 HAS SOUPS 38731 WITH SCORE 38788.879
AT ITER 8898 NEW BEST:: SOT 291657 SOS 57615 HAS SOPS 57615 HAS SOUS 38649 HAS SOUPS 38649 WITH SCORE 38706.615
AT ITER 8906 NEW BEST:: SOT 291644 SOS 57589 HAS SOPS 57589 HAS SOUS 38636 HAS SOUPS 38636 WITH SCORE 38693.589
AT ITER 8918 NEW BEST:: SOT 291639 SOS 57579 HAS SOPS 57579 HAS SOUS 38631 HAS SOUPS 38631 WITH SCORE 38688.579
AT ITER 8941 NEW BEST:: SOT 291631 SOS 57562 HAS SOPS 57562 HAS SOUS 38624 HAS SOUPS 38624 WITH SCORE 38681.562
AT ITER 8956 NEW BEST:: SOT 291632 SOS 57555 HAS SOPS 57555 HAS SOUS 38616 HAS SOUPS 38616 WITH SCORE 38673.555
AT ITER 8975 NEW BEST:: SOT 291558 SOS 57445 HAS SOPS 57445 HAS SOUS 38450 HAS SOUPS 38450 WITH SCORE 38507.445
AT ITER 9005 NEW BEST:: SOT 291558 SOS 57442 HAS SOPS 57442 HAS SOUS 38443 HAS SOUPS 38443 WITH SCORE 38500.442
AT ITER 9014 NEW BEST:: SOT 291461 SOS 57218 HAS SOPS 57218 HAS SOUS 38440 HAS SOUPS 38440 WITH SCORE 38497.218
AT ITER 9017 NEW BEST:: SOT 291399 SOS 57061 HAS SOPS 57061 HAS SOUS 38385 HAS SOUPS 38385 WITH SCORE 38442.061
AT ITER 9075 NEW BEST:: SOT 291354 SOS 56926 HAS SOPS 56926 HAS SOUS 38372 HAS SOUPS 38372 WITH SCORE 38428.926
AT ITER 9124 NEW BEST:: SOT 291338 SOS 56894 HAS SOPS 56894 HAS SOUS 38367 HAS SOUPS 38367 WITH SCORE 38423.894
AT ITER 9194 NEW BEST:: SOT 291284 SOS 56759 HAS SOPS 56759 HAS SOUS 38340 HAS SOUPS 38340 WITH SCORE 38396.759
AT ITER 9211 NEW BEST:: SOT 291275 SOS 56724 HAS SOPS 56724 HAS SOUS 38320 HAS SOUPS 38320 WITH SCORE 38376.724
AT ITER 9216 NEW BEST:: SOT 291267 SOS 56708 HAS SOPS 56708 HAS SOUS 38301 HAS SOUPS 38301 WITH SCORE 38357.708
AT ITER 9243 NEW BEST:: SOT 291227 SOS 56628 HAS SOPS 56628 HAS SOUS 38261 HAS SOUPS 38261 WITH SCORE 38317.628
AT ITER 9258 NEW BEST:: SOT 291221 SOS 56615 HAS SOPS 56615 HAS SOUS 38246 HAS SOUPS 38246 WITH SCORE 38302.615
AT ITER 9263 NEW BEST:: SOT 291195 SOS 56537 HAS SOPS 56537 HAS SOUS 38246 HAS SOUPS 38246 WITH SCORE 38302.537
AT ITER 9271 NEW BEST:: SOT 291134 SOS 56442 HAS SOPS 56442 HAS SOUS 38238 HAS SOUPS 38238 WITH SCORE 38294.442
AT ITER 9287 NEW BEST:: SOT 291043 SOS 56327 HAS SOPS 56327 HAS SOUS 38214 HAS SOUPS 38214 WITH SCORE 38270.327
AT ITER 9306 NEW BEST:: SOT 291043 SOS 56327 HAS SOPS 56327 HAS SOUS 38154 HAS SOUPS 38154 WITH SCORE 38210.327
AT ITER 9366 NEW BEST:: SOT 290802 SOS 55845 HAS SOPS 55845 HAS SOUS 38110 HAS SOUPS 38110 WITH SCORE 38165.845
AT ITER 9437 NEW BEST:: SOT 290764 SOS 55769 HAS SOPS 55769 HAS SOUS 38071 HAS SOUPS 38071 WITH SCORE 38126.769
AT ITER 9467 NEW BEST:: SOT 290763 SOS 55767 HAS SOPS 55767 HAS SOUS 38070 HAS SOUPS 38070 WITH SCORE 38125.767
AT ITER 9504 NEW BEST:: SOT 290644 SOS 55497 HAS SOPS 55497 HAS SOUS 38059 HAS SOUPS 38059 WITH SCORE 38114.497
AT ITER 9556 NEW BEST:: SOT 290611 SOS 55431 HAS SOPS 55431 HAS SOUS 38049 HAS SOUPS 38049 WITH SCORE 38104.431
AT ITER 9569 NEW BEST:: SOT 290488 SOS 55185 HAS SOPS 55185 HAS SOUS 37889 HAS SOUPS 37889 WITH SCORE 37944.185
AT ITER 9600 NEW BEST:: SOT 290468 SOS 55145 HAS SOPS 55145 HAS SOUS 37869 HAS SOUPS 37869 WITH SCORE 37924.145
AT ITER 9641 NEW BEST:: SOT 290393 SOS 54921 HAS SOPS 54921 HAS SOUS 37765 HAS SOUPS 37765 WITH SCORE 37819.921
AT ITER 9649 NEW BEST:: SOT 290315 SOS 54765 HAS SOPS 54765 HAS SOUS 37739 HAS SOUPS 37739 WITH SCORE 37793.765
AT ITER 9654 NEW BEST:: SOT 290255 SOS 54603 HAS SOPS 54603 HAS SOUS 37733 HAS SOUPS 37733 WITH SCORE 37787.603
AT ITER 9661 NEW BEST:: SOT 290236 SOS 54570 HAS SOPS 54570 HAS SOUS 37724 HAS SOUPS 37724 WITH SCORE 37778.57
AT ITER 9663 NEW BEST:: SOT 290217 SOS 54532 HAS SOPS 54532 HAS SOUS 37701 HAS SOUPS 37701 WITH SCORE 37755.532
AT ITER 9682 NEW BEST:: SOT 290217 SOS 54524 HAS SOPS 54524 HAS SOUS 37677 HAS SOUPS 37677 WITH SCORE 37731.524
AT ITER 9692 NEW BEST:: SOT 290187 SOS 54373 HAS SOPS 54373 HAS SOUS 37603 HAS SOUPS 37603 WITH SCORE 37657.373
AT ITER 9703 NEW BEST:: SOT 290168 SOS 54316 HAS SOPS 54316 HAS SOUS 37527 HAS SOUPS 37527 WITH SCORE 37581.316
AT ITER 9762 NEW BEST:: SOT 290115 SOS 54293 HAS SOPS 54293 HAS SOUS 37482 HAS SOUPS 37482 WITH SCORE 37536.293
AT ITER 9768 NEW BEST:: SOT 290015 SOS 54082 HAS SOPS 54082 HAS SOUS 37471 HAS SOUPS 37471 WITH SCORE 37525.082
AT ITER 9783 NEW BEST:: SOT 289999 SOS 54050 HAS SOPS 54050 HAS SOUS 37471 HAS SOUPS 37471 WITH SCORE 37525.05
AT ITER 9786 NEW BEST:: SOT 289994 SOS 54036 HAS SOPS 54036 HAS SOUS 37463 HAS SOUPS 37463 WITH SCORE 37517.036
AT ITER 9829 NEW BEST:: SOT 289987 SOS 54022 HAS SOPS 54022 HAS SOUS 37448 HAS SOUPS 37448 WITH SCORE 37502.022
AT ITER 9874 NEW BEST:: SOT 290026 SOS 54138 HAS SOPS 54138 HAS SOUS 37440 HAS SOUPS 37440 WITH SCORE 37494.138
AT ITER 9912 NEW BEST:: SOT 290020 SOS 54126 HAS SOPS 54126 HAS SOUS 37432 HAS SOUPS 37432 WITH SCORE 37486.126
AT ITER 9921 NEW BEST:: SOT 289999 SOS 54081 HAS SOPS 54081 HAS SOUS 37427 HAS SOUPS 37427 WITH SCORE 37481.081
AT ITER 9925 NEW BEST:: SOT 289963 SOS 53976 HAS SOPS 53976 HAS SOUS 37358 HAS SOUPS 37358 WITH SCORE 37411.976
AT ITER 9966 NEW BEST:: SOT 289949 SOS 53898 HAS SOPS 53898 HAS SOUS 37358 HAS SOUPS 37358 WITH SCORE 37411.898
AT ITER 9995 NEW BEST:: SOT 289927 SOS 53833 HAS SOPS 53833 HAS SOUS 37357 HAS SOUPS 37357 WITH SCORE 37410.833

BK_STOP 1679199456073

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 368 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="ViralEpidemic-PT-S03D1C1A04"
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 ViralEpidemic-PT-S03D1C1A04, 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 r483-tall-167912696801272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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