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.r003-oct2-167813590400080.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ASLink-PT-05a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590400080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.8K Feb 26 13:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 13:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 13:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 26 13:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 13:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 190K Feb 26 13:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 13:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 13:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 516K 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 1678469061104

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=ASLink-PT-05a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 05a
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: 1211 places, 1827 transitions, 6877 arcs.
AT ITER 0 NEW BEST:: SOT 1220961 SOS 839659 HAS SOPS 839659 HAS SOUS 531968 HAS SOUPS 531968 WITH SCORE 532807.659
AT ITER 4 NEW BEST:: SOT 1220961 SOS 839657 HAS SOPS 839657 HAS SOUS 531966 HAS SOUPS 531966 WITH SCORE 532805.657
AT ITER 9 NEW BEST:: SOT 1219825 SOS 839800 HAS SOPS 839800 HAS SOUS 531421 HAS SOUPS 531421 WITH SCORE 532260.8
AT ITER 15 NEW BEST:: SOT 1220404 SOS 840473 HAS SOPS 840473 HAS SOUS 531255 HAS SOUPS 531255 WITH SCORE 532095.473
AT ITER 20 NEW BEST:: SOT 1219971 SOS 837747 HAS SOPS 837747 HAS SOUS 530582 HAS SOUPS 530582 WITH SCORE 531419.747
AT ITER 22 NEW BEST:: SOT 1219019 SOS 836961 HAS SOPS 836961 HAS SOUS 529942 HAS SOUPS 529942 WITH SCORE 530778.961
AT ITER 29 NEW BEST:: SOT 1218888 SOS 836699 HAS SOPS 836699 HAS SOUS 529807 HAS SOUPS 529807 WITH SCORE 530643.699
AT ITER 40 NEW BEST:: SOT 1218505 SOS 835385 HAS SOPS 835385 HAS SOUS 529098 HAS SOUPS 529098 WITH SCORE 529933.385
AT ITER 44 NEW BEST:: SOT 1218428 SOS 835308 HAS SOPS 835308 HAS SOUS 529096 HAS SOUPS 529096 WITH SCORE 529931.308
AT ITER 51 NEW BEST:: SOT 1217996 SOS 834876 HAS SOPS 834876 HAS SOUS 528664 HAS SOUPS 528664 WITH SCORE 529498.876
AT ITER 59 NEW BEST:: SOT 1207751 SOS 825738 HAS SOPS 825738 HAS SOUS 518654 HAS SOUPS 518654 WITH SCORE 519479.738
AT ITER 62 NEW BEST:: SOT 1207272 SOS 825737 HAS SOPS 825737 HAS SOUS 518652 HAS SOUPS 518652 WITH SCORE 519477.737
AT ITER 70 NEW BEST:: SOT 1206962 SOS 825422 HAS SOPS 825422 HAS SOUS 518643 HAS SOUPS 518643 WITH SCORE 519468.422
AT ITER 73 NEW BEST:: SOT 1206962 SOS 825422 HAS SOPS 825422 HAS SOUS 518609 HAS SOUPS 518609 WITH SCORE 519434.422
AT ITER 78 NEW BEST:: SOT 1206733 SOS 824326 HAS SOPS 824326 HAS SOUS 518120 HAS SOUPS 518120 WITH SCORE 518944.326
AT ITER 82 NEW BEST:: SOT 1206733 SOS 825385 HAS SOPS 825385 HAS SOUS 518078 HAS SOUPS 518078 WITH SCORE 518903.385
AT ITER 84 NEW BEST:: SOT 1206700 SOS 825339 HAS SOPS 825339 HAS SOUS 518061 HAS SOUPS 518061 WITH SCORE 518886.339
AT ITER 87 NEW BEST:: SOT 1195171 SOS 813810 HAS SOPS 813810 HAS SOUS 506640 HAS SOUPS 506640 WITH SCORE 507453.81
AT ITER 88 NEW BEST:: SOT 1195171 SOS 813606 HAS SOPS 813606 HAS SOUS 506633 HAS SOUPS 506633 WITH SCORE 507446.606
AT ITER 89 NEW BEST:: SOT 1195171 SOS 813414 HAS SOPS 813414 HAS SOUS 506441 HAS SOUPS 506441 WITH SCORE 507254.414
AT ITER 91 NEW BEST:: SOT 1194670 SOS 812123 HAS SOPS 812123 HAS SOUS 505364 HAS SOUPS 505364 WITH SCORE 506176.123
AT ITER 94 NEW BEST:: SOT 1192429 SOS 811703 HAS SOPS 811703 HAS SOUS 503596 HAS SOUPS 503596 WITH SCORE 504407.703
AT ITER 99 NEW BEST:: SOT 1191707 SOS 812494 HAS SOPS 812494 HAS SOUS 503238 HAS SOUPS 503238 WITH SCORE 504050.494
AT ITER 103 NEW BEST:: SOT 1191379 SOS 809803 HAS SOPS 809803 HAS SOUS 502565 HAS SOUPS 502565 WITH SCORE 503374.803
AT ITER 105 NEW BEST:: SOT 1191040 SOS 809464 HAS SOPS 809464 HAS SOUS 502565 HAS SOUPS 502565 WITH SCORE 503374.464
AT ITER 110 NEW BEST:: SOT 1190658 SOS 808969 HAS SOPS 808969 HAS SOUS 502448 HAS SOUPS 502448 WITH SCORE 503256.969
AT ITER 130 NEW BEST:: SOT 1190478 SOS 808789 HAS SOPS 808789 HAS SOUS 502268 HAS SOUPS 502268 WITH SCORE 503076.789
AT ITER 134 NEW BEST:: SOT 1190478 SOS 808851 HAS SOPS 808851 HAS SOUS 502266 HAS SOUPS 502266 WITH SCORE 503074.851
AT ITER 137 NEW BEST:: SOT 1190472 SOS 808726 HAS SOPS 808726 HAS SOUS 502252 HAS SOUPS 502252 WITH SCORE 503060.726
AT ITER 143 NEW BEST:: SOT 1189828 SOS 808038 HAS SOPS 808038 HAS SOUS 501564 HAS SOUPS 501564 WITH SCORE 502372.038
AT ITER 145 NEW BEST:: SOT 1189264 SOS 806445 HAS SOPS 806445 HAS SOUS 500074 HAS SOUPS 500074 WITH SCORE 500880.445
AT ITER 149 NEW BEST:: SOT 1188891 SOS 806087 HAS SOPS 806087 HAS SOUS 499730 HAS SOUPS 499730 WITH SCORE 500536.087
AT ITER 152 NEW BEST:: SOT 1188500 SOS 805696 HAS SOPS 805696 HAS SOUS 499728 HAS SOUPS 499728 WITH SCORE 500533.696
AT ITER 163 NEW BEST:: SOT 1188496 SOS 806300 HAS SOPS 806300 HAS SOUS 499726 HAS SOUPS 499726 WITH SCORE 500532.3
AT ITER 164 NEW BEST:: SOT 1188492 SOS 801999 HAS SOPS 801999 HAS SOUS 499367 HAS SOUPS 499367 WITH SCORE 500168.999
AT ITER 168 NEW BEST:: SOT 1188492 SOS 801879 HAS SOPS 801879 HAS SOUS 499367 HAS SOUPS 499367 WITH SCORE 500168.879
AT ITER 173 NEW BEST:: SOT 1188492 SOS 801815 HAS SOPS 801815 HAS SOUS 499335 HAS SOUPS 499335 WITH SCORE 500136.815
AT ITER 177 NEW BEST:: SOT 1181612 SOS 796332 HAS SOPS 796332 HAS SOUS 492702 HAS SOUPS 492702 WITH SCORE 493498.332
AT ITER 185 NEW BEST:: SOT 1181592 SOS 796312 HAS SOPS 796312 HAS SOUS 492694 HAS SOUPS 492694 WITH SCORE 493490.312
AT ITER 188 NEW BEST:: SOT 1180895 SOS 794706 HAS SOPS 794706 HAS SOUS 491300 HAS SOUPS 491300 WITH SCORE 492094.706
AT ITER 192 NEW BEST:: SOT 1180328 SOS 793226 HAS SOPS 793226 HAS SOUS 490140 HAS SOUPS 490140 WITH SCORE 490933.226
AT ITER 194 NEW BEST:: SOT 1173861 SOS 786759 HAS SOPS 786759 HAS SOUS 483670 HAS SOUPS 483670 WITH SCORE 484456.759
AT ITER 195 NEW BEST:: SOT 1173198 SOS 781799 HAS SOPS 781799 HAS SOUS 482548 HAS SOUPS 482548 WITH SCORE 483329.799
AT ITER 201 NEW BEST:: SOT 1171334 SOS 780351 HAS SOPS 780351 HAS SOUS 481099 HAS SOUPS 481099 WITH SCORE 481879.351
AT ITER 210 NEW BEST:: SOT 1171400 SOS 779193 HAS SOPS 779193 HAS SOUS 480554 HAS SOUPS 480554 WITH SCORE 481333.193
AT ITER 216 NEW BEST:: SOT 1171300 SOS 779092 HAS SOPS 779092 HAS SOUS 480503 HAS SOUPS 480503 WITH SCORE 481282.092
AT ITER 217 NEW BEST:: SOT 1171194 SOS 778985 HAS SOPS 778985 HAS SOUS 480396 HAS SOUPS 480396 WITH SCORE 481174.985
AT ITER 222 NEW BEST:: SOT 1171341 SOS 778985 HAS SOPS 778985 HAS SOUS 480395 HAS SOUPS 480395 WITH SCORE 481173.985
AT ITER 223 NEW BEST:: SOT 1171058 SOS 778702 HAS SOPS 778702 HAS SOUS 480111 HAS SOUPS 480111 WITH SCORE 480889.702
AT ITER 227 NEW BEST:: SOT 1163495 SOS 773003 HAS SOPS 773003 HAS SOUS 472778 HAS SOUPS 472778 WITH SCORE 473551.003
AT ITER 232 NEW BEST:: SOT 1163495 SOS 772849 HAS SOPS 772849 HAS SOUS 472624 HAS SOUPS 472624 WITH SCORE 473396.849
AT ITER 233 NEW BEST:: SOT 1163325 SOS 772679 HAS SOPS 772679 HAS SOUS 472454 HAS SOUPS 472454 WITH SCORE 473226.679
AT ITER 239 NEW BEST:: SOT 1163049 SOS 772403 HAS SOPS 772403 HAS SOUS 472178 HAS SOUPS 472178 WITH SCORE 472950.403
AT ITER 242 NEW BEST:: SOT 1163049 SOS 771906 HAS SOPS 771906 HAS SOUS 472124 HAS SOUPS 472124 WITH SCORE 472895.906
AT ITER 244 NEW BEST:: SOT 1163022 SOS 771852 HAS SOPS 771852 HAS SOUS 472070 HAS SOUPS 472070 WITH SCORE 472841.852
AT ITER 247 NEW BEST:: SOT 1161715 SOS 770545 HAS SOPS 770545 HAS SOUS 470679 HAS SOUPS 470679 WITH SCORE 471449.545
AT ITER 250 NEW BEST:: SOT 1162233 SOS 770039 HAS SOPS 770039 HAS SOUS 470679 HAS SOUPS 470679 WITH SCORE 471449.039
AT ITER 252 NEW BEST:: SOT 1162233 SOS 767478 HAS SOPS 767478 HAS SOUS 470676 HAS SOUPS 470676 WITH SCORE 471443.478
AT ITER 254 NEW BEST:: SOT 1161895 SOS 766771 HAS SOPS 766771 HAS SOUS 470369 HAS SOUPS 470369 WITH SCORE 471135.771
AT ITER 260 NEW BEST:: SOT 1161895 SOS 766575 HAS SOPS 766575 HAS SOUS 470173 HAS SOUPS 470173 WITH SCORE 470939.575
AT ITER 272 NEW BEST:: SOT 1161882 SOS 766549 HAS SOPS 766549 HAS SOUS 470147 HAS SOUPS 470147 WITH SCORE 470913.549
AT ITER 276 NEW BEST:: SOT 1161732 SOS 766547 HAS SOPS 766547 HAS SOUS 470144 HAS SOUPS 470144 WITH SCORE 470910.547
AT ITER 284 NEW BEST:: SOT 1161732 SOS 762429 HAS SOPS 762429 HAS SOUS 469235 HAS SOUPS 469235 WITH SCORE 469997.429
AT ITER 298 NEW BEST:: SOT 1152978 SOS 753618 HAS SOPS 753618 HAS SOUS 460424 HAS SOUPS 460424 WITH SCORE 461177.618
AT ITER 300 NEW BEST:: SOT 1152977 SOS 752673 HAS SOPS 752673 HAS SOUS 460420 HAS SOUPS 460420 WITH SCORE 461172.673
AT ITER 308 NEW BEST:: SOT 1154291 SOS 753773 HAS SOPS 753773 HAS SOUS 460384 HAS SOUPS 460384 WITH SCORE 461137.773
AT ITER 313 NEW BEST:: SOT 1153664 SOS 753146 HAS SOPS 753146 HAS SOUS 459757 HAS SOUPS 459757 WITH SCORE 460510.146
AT ITER 317 NEW BEST:: SOT 1153000 SOS 752482 HAS SOPS 752482 HAS SOUS 459093 HAS SOUPS 459093 WITH SCORE 459845.482
AT ITER 329 NEW BEST:: SOT 1153000 SOS 752482 HAS SOPS 752482 HAS SOUS 459090 HAS SOUPS 459090 WITH SCORE 459842.482
AT ITER 335 NEW BEST:: SOT 1153155 SOS 752480 HAS SOPS 752480 HAS SOUS 459078 HAS SOUPS 459078 WITH SCORE 459830.48
AT ITER 337 NEW BEST:: SOT 1152277 SOS 751865 HAS SOPS 751865 HAS SOUS 458304 HAS SOUPS 458304 WITH SCORE 459055.865
AT ITER 344 NEW BEST:: SOT 1152277 SOS 751862 HAS SOPS 751862 HAS SOUS 458303 HAS SOUPS 458303 WITH SCORE 459054.862
AT ITER 346 NEW BEST:: SOT 1151864 SOS 752061 HAS SOPS 752061 HAS SOUS 457737 HAS SOUPS 457737 WITH SCORE 458489.061
AT ITER 348 NEW BEST:: SOT 1151840 SOS 752061 HAS SOPS 752061 HAS SOUS 457713 HAS SOUPS 457713 WITH SCORE 458465.061
AT ITER 355 NEW BEST:: SOT 1151804 SOS 752025 HAS SOPS 752025 HAS SOUS 457641 HAS SOUPS 457641 WITH SCORE 458393.025
AT ITER 363 NEW BEST:: SOT 1149892 SOS 750108 HAS SOPS 750108 HAS SOUS 455724 HAS SOUPS 455724 WITH SCORE 456474.108
AT ITER 371 NEW BEST:: SOT 1151192 SOS 749760 HAS SOPS 749760 HAS SOUS 455276 HAS SOUPS 455276 WITH SCORE 456025.76
AT ITER 374 NEW BEST:: SOT 1151887 SOS 749118 HAS SOPS 749118 HAS SOUS 454766 HAS SOUPS 454766 WITH SCORE 455515.118
AT ITER 375 NEW BEST:: SOT 1151887 SOS 748711 HAS SOPS 748711 HAS SOUS 454751 HAS SOUPS 454751 WITH SCORE 455499.711
AT ITER 376 NEW BEST:: SOT 1151893 SOS 748774 HAS SOPS 748774 HAS SOUS 454499 HAS SOUPS 454499 WITH SCORE 455247.774
AT ITER 377 NEW BEST:: SOT 1151668 SOS 748595 HAS SOPS 748595 HAS SOUS 454252 HAS SOUPS 454252 WITH SCORE 455000.595
AT ITER 381 NEW BEST:: SOT 1151628 SOS 748555 HAS SOPS 748555 HAS SOUS 454252 HAS SOUPS 454252 WITH SCORE 455000.555
AT ITER 386 NEW BEST:: SOT 1151628 SOS 748463 HAS SOPS 748463 HAS SOUS 454068 HAS SOUPS 454068 WITH SCORE 454816.463
AT ITER 394 NEW BEST:: SOT 1151318 SOS 748208 HAS SOPS 748208 HAS SOUS 453804 HAS SOUPS 453804 WITH SCORE 454552.208
AT ITER 399 NEW BEST:: SOT 1151314 SOS 748854 HAS SOPS 748854 HAS SOUS 453802 HAS SOUPS 453802 WITH SCORE 454550.854
AT ITER 402 NEW BEST:: SOT 1151314 SOS 748854 HAS SOPS 748854 HAS SOUS 453800 HAS SOUPS 453800 WITH SCORE 454548.854
AT ITER 410 NEW BEST:: SOT 1151314 SOS 746991 HAS SOPS 746991 HAS SOUS 453505 HAS SOUPS 453505 WITH SCORE 454251.991
AT ITER 414 NEW BEST:: SOT 1145992 SOS 741669 HAS SOPS 741669 HAS SOUS 448183 HAS SOUPS 448183 WITH SCORE 448924.669
AT ITER 417 NEW BEST:: SOT 1145904 SOS 741573 HAS SOPS 741573 HAS SOUS 448087 HAS SOUPS 448087 WITH SCORE 448828.573
AT ITER 425 NEW BEST:: SOT 1144634 SOS 740303 HAS SOPS 740303 HAS SOUS 446817 HAS SOUPS 446817 WITH SCORE 447557.303
AT ITER 433 NEW BEST:: SOT 1144206 SOS 739408 HAS SOPS 739408 HAS SOUS 446102 HAS SOUPS 446102 WITH SCORE 446841.408
AT ITER 438 NEW BEST:: SOT 1140181 SOS 735383 HAS SOPS 735383 HAS SOUS 442076 HAS SOUPS 442076 WITH SCORE 442811.383
AT ITER 443 NEW BEST:: SOT 1140020 SOS 735269 HAS SOPS 735269 HAS SOUS 442037 HAS SOUPS 442037 WITH SCORE 442772.269
AT ITER 445 NEW BEST:: SOT 1139859 SOS 735108 HAS SOPS 735108 HAS SOUS 441859 HAS SOUPS 441859 WITH SCORE 442594.108
AT ITER 446 NEW BEST:: SOT 1139857 SOS 734501 HAS SOPS 734501 HAS SOUS 441729 HAS SOUPS 441729 WITH SCORE 442463.501
AT ITER 462 NEW BEST:: SOT 1139020 SOS 733664 HAS SOPS 733664 HAS SOUS 440892 HAS SOUPS 440892 WITH SCORE 441625.664
AT ITER 466 NEW BEST:: SOT 1135373 SOS 730017 HAS SOPS 730017 HAS SOUS 437238 HAS SOUPS 437238 WITH SCORE 437968.017
AT ITER 469 NEW BEST:: SOT 1135373 SOS 730012 HAS SOPS 730012 HAS SOUS 437238 HAS SOUPS 437238 WITH SCORE 437968.012
AT ITER 472 NEW BEST:: SOT 1129512 SOS 722519 HAS SOPS 722519 HAS SOUS 430924 HAS SOUPS 430924 WITH SCORE 431646.519
AT ITER 476 NEW BEST:: SOT 1129439 SOS 722445 HAS SOPS 722445 HAS SOUS 430923 HAS SOUPS 430923 WITH SCORE 431645.445
AT ITER 481 NEW BEST:: SOT 1129293 SOS 722299 HAS SOPS 722299 HAS SOUS 430923 HAS SOUPS 430923 WITH SCORE 431645.299
AT ITER 487 NEW BEST:: SOT 1128084 SOS 728367 HAS SOPS 728367 HAS SOUS 430623 HAS SOUPS 430623 WITH SCORE 431351.367
AT ITER 488 NEW BEST:: SOT 1127657 SOS 727088 HAS SOPS 727088 HAS SOUS 429344 HAS SOUPS 429344 WITH SCORE 430071.088
AT ITER 490 NEW BEST:: SOT 1127309 SOS 726759 HAS SOPS 726759 HAS SOUS 429015 HAS SOUPS 429015 WITH SCORE 429741.759
AT ITER 498 NEW BEST:: SOT 1127309 SOS 726757 HAS SOPS 726757 HAS SOUS 429015 HAS SOUPS 429015 WITH SCORE 429741.757
AT ITER 500 NEW BEST:: SOT 1127296 SOS 727008 HAS SOPS 727008 HAS SOUS 428989 HAS SOUPS 428989 WITH SCORE 429716.008
AT ITER 506 NEW BEST:: SOT 1127043 SOS 726708 HAS SOPS 726708 HAS SOUS 428802 HAS SOUPS 428802 WITH SCORE 429528.708
AT ITER 520 NEW BEST:: SOT 1127043 SOS 726696 HAS SOPS 726696 HAS SOUS 428798 HAS SOUPS 428798 WITH SCORE 429524.696
AT ITER 522 NEW BEST:: SOT 1127043 SOS 726696 HAS SOPS 726696 HAS SOUS 428796 HAS SOUPS 428796 WITH SCORE 429522.696
AT ITER 525 NEW BEST:: SOT 1126531 SOS 726682 HAS SOPS 726682 HAS SOUS 428782 HAS SOUPS 428782 WITH SCORE 429508.682
AT ITER 527 NEW BEST:: SOT 1126415 SOS 728426 HAS SOPS 728426 HAS SOUS 427806 HAS SOUPS 427806 WITH SCORE 428534.426
AT ITER 530 NEW BEST:: SOT 1126647 SOS 723965 HAS SOPS 723965 HAS SOUS 427333 HAS SOUPS 427333 WITH SCORE 428056.965
AT ITER 534 NEW BEST:: SOT 1126521 SOS 723713 HAS SOPS 723713 HAS SOUS 427111 HAS SOUPS 427111 WITH SCORE 427834.713
AT ITER 537 NEW BEST:: SOT 1121273 SOS 719471 HAS SOPS 719471 HAS SOUS 422252 HAS SOUPS 422252 WITH SCORE 422971.471
AT ITER 547 NEW BEST:: SOT 1120855 SOS 719258 HAS SOPS 719258 HAS SOUS 421424 HAS SOUPS 421424 WITH SCORE 422143.258
AT ITER 562 NEW BEST:: SOT 1120853 SOS 719256 HAS SOPS 719256 HAS SOUS 421422 HAS SOUPS 421422 WITH SCORE 422141.256
AT ITER 565 NEW BEST:: SOT 1120124 SOS 718527 HAS SOPS 718527 HAS SOUS 420693 HAS SOUPS 420693 WITH SCORE 421411.527
AT ITER 571 NEW BEST:: SOT 1120072 SOS 718475 HAS SOPS 718475 HAS SOUS 420658 HAS SOUPS 420658 WITH SCORE 421376.475
AT ITER 574 NEW BEST:: SOT 1120265 SOS 717342 HAS SOPS 717342 HAS SOUS 420290 HAS SOUPS 420290 WITH SCORE 421007.342
AT ITER 587 NEW BEST:: SOT 1119655 SOS 715058 HAS SOPS 715058 HAS SOUS 418889 HAS SOUPS 418889 WITH SCORE 419604.058
AT ITER 589 NEW BEST:: SOT 1119665 SOS 715068 HAS SOPS 715068 HAS SOUS 418753 HAS SOUPS 418753 WITH SCORE 419468.068
AT ITER 590 NEW BEST:: SOT 1119665 SOS 714700 HAS SOPS 714700 HAS SOUS 418529 HAS SOUPS 418529 WITH SCORE 419243.7
AT ITER 605 NEW BEST:: SOT 1119664 SOS 714699 HAS SOPS 714699 HAS SOUS 418527 HAS SOUPS 418527 WITH SCORE 419241.699
AT ITER 611 NEW BEST:: SOT 1114625 SOS 709309 HAS SOPS 709309 HAS SOUS 413137 HAS SOUPS 413137 WITH SCORE 413846.309
AT ITER 620 NEW BEST:: SOT 1114581 SOS 709265 HAS SOPS 709265 HAS SOUS 413093 HAS SOUPS 413093 WITH SCORE 413802.265
AT ITER 630 NEW BEST:: SOT 1114311 SOS 709345 HAS SOPS 709345 HAS SOUS 412687 HAS SOUPS 412687 WITH SCORE 413396.345
AT ITER 631 NEW BEST:: SOT 1112971 SOS 708772 HAS SOPS 708772 HAS SOUS 411606 HAS SOUPS 411606 WITH SCORE 412314.772
AT ITER 635 NEW BEST:: SOT 1112873 SOS 708673 HAS SOPS 708673 HAS SOUS 411507 HAS SOUPS 411507 WITH SCORE 412215.673
AT ITER 638 NEW BEST:: SOT 1112873 SOS 708605 HAS SOPS 708605 HAS SOUS 411507 HAS SOUPS 411507 WITH SCORE 412215.605
AT ITER 646 NEW BEST:: SOT 1113060 SOS 709436 HAS SOPS 709436 HAS SOUS 411350 HAS SOUPS 411350 WITH SCORE 412059.436
AT ITER 649 NEW BEST:: SOT 1112444 SOS 708820 HAS SOPS 708820 HAS SOUS 410733 HAS SOUPS 410733 WITH SCORE 411441.82
AT ITER 653 NEW BEST:: SOT 1112234 SOS 708903 HAS SOPS 708903 HAS SOUS 410352 HAS SOUPS 410352 WITH SCORE 411060.903
AT ITER 659 NEW BEST:: SOT 1110029 SOS 706337 HAS SOPS 706337 HAS SOUS 407895 HAS SOUPS 407895 WITH SCORE 408601.337
AT ITER 669 NEW BEST:: SOT 1109888 SOS 706196 HAS SOPS 706196 HAS SOUS 407754 HAS SOUPS 407754 WITH SCORE 408460.196
AT ITER 673 NEW BEST:: SOT 1109880 SOS 706180 HAS SOPS 706180 HAS SOUS 407738 HAS SOUPS 407738 WITH SCORE 408444.18
AT ITER 691 NEW BEST:: SOT 1110389 SOS 704813 HAS SOPS 704813 HAS SOUS 406689 HAS SOUPS 406689 WITH SCORE 407393.813
AT ITER 703 NEW BEST:: SOT 1110386 SOS 704809 HAS SOPS 704809 HAS SOUS 406655 HAS SOUPS 406655 WITH SCORE 407359.809
AT ITER 704 NEW BEST:: SOT 1110284 SOS 704707 HAS SOPS 704707 HAS SOUS 406553 HAS SOUPS 406553 WITH SCORE 407257.707
AT ITER 705 NEW BEST:: SOT 1109437 SOS 702736 HAS SOPS 702736 HAS SOUS 404696 HAS SOUPS 404696 WITH SCORE 405398.736
AT ITER 711 NEW BEST:: SOT 1105929 SOS 699522 HAS SOPS 699522 HAS SOUS 401321 HAS SOUPS 401321 WITH SCORE 402020.522
AT ITER 722 NEW BEST:: SOT 1106128 SOS 699044 HAS SOPS 699044 HAS SOUS 400844 HAS SOUPS 400844 WITH SCORE 401543.044
AT ITER 723 NEW BEST:: SOT 1106121 SOS 699036 HAS SOPS 699036 HAS SOUS 400836 HAS SOUPS 400836 WITH SCORE 401535.036
AT ITER 726 NEW BEST:: SOT 1105853 SOS 698500 HAS SOPS 698500 HAS SOUS 400568 HAS SOUPS 400568 WITH SCORE 401266.5
AT ITER 729 NEW BEST:: SOT 1100195 SOS 694429 HAS SOPS 694429 HAS SOUS 395367 HAS SOUPS 395367 WITH SCORE 396061.429
AT ITER 731 NEW BEST:: SOT 1099633 SOS 693867 HAS SOPS 693867 HAS SOUS 394805 HAS SOUPS 394805 WITH SCORE 395498.867
AT ITER 757 NEW BEST:: SOT 1099251 SOS 692944 HAS SOPS 692944 HAS SOUS 394041 HAS SOUPS 394041 WITH SCORE 394733.944
AT ITER 764 NEW BEST:: SOT 1097199 SOS 690892 HAS SOPS 690892 HAS SOUS 391989 HAS SOUPS 391989 WITH SCORE 392679.892
AT ITER 772 NEW BEST:: SOT 1097149 SOS 690837 HAS SOPS 690837 HAS SOUS 391934 HAS SOUPS 391934 WITH SCORE 392624.837
AT ITER 773 NEW BEST:: SOT 1096932 SOS 690620 HAS SOPS 690620 HAS SOUS 391717 HAS SOUPS 391717 WITH SCORE 392407.62
AT ITER 777 NEW BEST:: SOT 1096603 SOS 689512 HAS SOPS 689512 HAS SOUS 391059 HAS SOUPS 391059 WITH SCORE 391748.512
AT ITER 782 NEW BEST:: SOT 1096475 SOS 689384 HAS SOPS 689384 HAS SOUS 390931 HAS SOUPS 390931 WITH SCORE 391620.384
AT ITER 785 NEW BEST:: SOT 1096363 SOS 689384 HAS SOPS 689384 HAS SOUS 390819 HAS SOUPS 390819 WITH SCORE 391508.384
AT ITER 787 NEW BEST:: SOT 1095903 SOS 688924 HAS SOPS 688924 HAS SOUS 390359 HAS SOUPS 390359 WITH SCORE 391047.924
AT ITER 795 NEW BEST:: SOT 1095791 SOS 689378 HAS SOPS 689378 HAS SOUS 389612 HAS SOUPS 389612 WITH SCORE 390301.378
AT ITER 796 NEW BEST:: SOT 1096062 SOS 689870 HAS SOPS 689870 HAS SOUS 389333 HAS SOUPS 389333 WITH SCORE 390022.87
AT ITER 799 NEW BEST:: SOT 1096004 SOS 689757 HAS SOPS 689757 HAS SOUS 389220 HAS SOUPS 389220 WITH SCORE 389909.757
AT ITER 808 NEW BEST:: SOT 1096003 SOS 688890 HAS SOPS 688890 HAS SOUS 389218 HAS SOUPS 389218 WITH SCORE 389906.89
AT ITER 818 NEW BEST:: SOT 1096003 SOS 687594 HAS SOPS 687594 HAS SOUS 389214 HAS SOUPS 389214 WITH SCORE 389901.594
AT ITER 827 NEW BEST:: SOT 1096003 SOS 687382 HAS SOPS 687382 HAS SOUS 389196 HAS SOUPS 389196 WITH SCORE 389883.382
AT ITER 828 NEW BEST:: SOT 1095942 SOS 687321 HAS SOPS 687321 HAS SOUS 389158 HAS SOUPS 389158 WITH SCORE 389845.321
AT ITER 832 NEW BEST:: SOT 1095948 SOS 687159 HAS SOPS 687159 HAS SOUS 389120 HAS SOUPS 389120 WITH SCORE 389807.159
AT ITER 840 NEW BEST:: SOT 1095878 SOS 687089 HAS SOPS 687089 HAS SOUS 389050 HAS SOUPS 389050 WITH SCORE 389737.089
AT ITER 850 NEW BEST:: SOT 1094957 SOS 688517 HAS SOPS 688517 HAS SOUS 388049 HAS SOUPS 388049 WITH SCORE 388737.517
AT ITER 852 NEW BEST:: SOT 1094910 SOS 688423 HAS SOPS 688423 HAS SOUS 387999 HAS SOUPS 387999 WITH SCORE 388687.423
AT ITER 854 NEW BEST:: SOT 1094910 SOS 688423 HAS SOPS 688423 HAS SOUS 387918 HAS SOUPS 387918 WITH SCORE 388606.423
AT ITER 856 NEW BEST:: SOT 1089802 SOS 680389 HAS SOPS 680389 HAS SOUS 382014 HAS SOUPS 382014 WITH SCORE 382694.389
AT ITER 859 NEW BEST:: SOT 1090159 SOS 680182 HAS SOPS 680182 HAS SOUS 382012 HAS SOUPS 382012 WITH SCORE 382692.182
AT ITER 880 NEW BEST:: SOT 1089641 SOS 678620 HAS SOPS 678620 HAS SOUS 380976 HAS SOUPS 380976 WITH SCORE 381654.62
AT ITER 885 NEW BEST:: SOT 1089183 SOS 678162 HAS SOPS 678162 HAS SOUS 380518 HAS SOUPS 380518 WITH SCORE 381196.162
AT ITER 915 NEW BEST:: SOT 1089177 SOS 678156 HAS SOPS 678156 HAS SOUS 380489 HAS SOUPS 380489 WITH SCORE 381167.156
AT ITER 924 NEW BEST:: SOT 1088640 SOS 677704 HAS SOPS 677704 HAS SOUS 380350 HAS SOUPS 380350 WITH SCORE 381027.704
AT ITER 938 NEW BEST:: SOT 1088574 SOS 677638 HAS SOPS 677638 HAS SOUS 380328 HAS SOUPS 380328 WITH SCORE 381005.638
AT ITER 940 NEW BEST:: SOT 1088573 SOS 676290 HAS SOPS 676290 HAS SOUS 380326 HAS SOUPS 380326 WITH SCORE 381002.29
AT ITER 941 NEW BEST:: SOT 1087934 SOS 675786 HAS SOPS 675786 HAS SOUS 379915 HAS SOUPS 379915 WITH SCORE 380590.786
AT ITER 949 NEW BEST:: SOT 1087732 SOS 672428 HAS SOPS 672428 HAS SOUS 379625 HAS SOUPS 379625 WITH SCORE 380297.428
AT ITER 951 NEW BEST:: SOT 1087732 SOS 672280 HAS SOPS 672280 HAS SOUS 379551 HAS SOUPS 379551 WITH SCORE 380223.28
AT ITER 952 NEW BEST:: SOT 1087328 SOS 671944 HAS SOPS 671944 HAS SOUS 379232 HAS SOUPS 379232 WITH SCORE 379903.944
AT ITER 964 NEW BEST:: SOT 1087328 SOS 671944 HAS SOPS 671944 HAS SOUS 379212 HAS SOUPS 379212 WITH SCORE 379883.944
AT ITER 969 NEW BEST:: SOT 1078874 SOS 662111 HAS SOPS 662111 HAS SOUS 370484 HAS SOUPS 370484 WITH SCORE 371146.111
AT ITER 976 NEW BEST:: SOT 1078726 SOS 660803 HAS SOPS 660803 HAS SOUS 370258 HAS SOUPS 370258 WITH SCORE 370918.803
AT ITER 985 NEW BEST:: SOT 1077829 SOS 659395 HAS SOPS 659395 HAS SOUS 369240 HAS SOUPS 369240 WITH SCORE 369899.395
AT ITER 1001 NEW BEST:: SOT 1077829 SOS 659893 HAS SOPS 659893 HAS SOUS 369238 HAS SOUPS 369238 WITH SCORE 369897.893
AT ITER 1003 NEW BEST:: SOT 1078062 SOS 660126 HAS SOPS 660126 HAS SOUS 369055 HAS SOUPS 369055 WITH SCORE 369715.126
AT ITER 1010 NEW BEST:: SOT 1078062 SOS 659377 HAS SOPS 659377 HAS SOUS 368610 HAS SOUPS 368610 WITH SCORE 369269.377
AT ITER 1012 NEW BEST:: SOT 1077928 SOS 659096 HAS SOPS 659096 HAS SOUS 368329 HAS SOUPS 368329 WITH SCORE 368988.096
AT ITER 1015 NEW BEST:: SOT 1077363 SOS 658744 HAS SOPS 658744 HAS SOUS 367841 HAS SOUPS 367841 WITH SCORE 368499.744
AT ITER 1021 NEW BEST:: SOT 1077361 SOS 658669 HAS SOPS 658669 HAS SOUS 367839 HAS SOUPS 367839 WITH SCORE 368497.669
AT ITER 1022 NEW BEST:: SOT 1077319 SOS 658607 HAS SOPS 658607 HAS SOUS 367743 HAS SOUPS 367743 WITH SCORE 368401.607
AT ITER 1030 NEW BEST:: SOT 1077276 SOS 658564 HAS SOPS 658564 HAS SOUS 367700 HAS SOUPS 367700 WITH SCORE 368358.564
AT ITER 1047 NEW BEST:: SOT 1077246 SOS 657875 HAS SOPS 657875 HAS SOUS 367656 HAS SOUPS 367656 WITH SCORE 368313.875
AT ITER 1053 NEW BEST:: SOT 1077190 SOS 657763 HAS SOPS 657763 HAS SOUS 367636 HAS SOUPS 367636 WITH SCORE 368293.763
AT ITER 1066 NEW BEST:: SOT 1076796 SOS 657369 HAS SOPS 657369 HAS SOUS 367241 HAS SOUPS 367241 WITH SCORE 367898.369
AT ITER 1068 NEW BEST:: SOT 1076780 SOS 657337 HAS SOPS 657337 HAS SOUS 367241 HAS SOUPS 367241 WITH SCORE 367898.337
AT ITER 1070 NEW BEST:: SOT 1077911 SOS 656100 HAS SOPS 656100 HAS SOUS 366889 HAS SOUPS 366889 WITH SCORE 367545.1
AT ITER 1074 NEW BEST:: SOT 1077867 SOS 656056 HAS SOPS 656056 HAS SOUS 366845 HAS SOUPS 366845 WITH SCORE 367501.056
AT ITER 1075 NEW BEST:: SOT 1076472 SOS 654661 HAS SOPS 654661 HAS SOUS 365450 HAS SOUPS 365450 WITH SCORE 366104.661
AT ITER 1076 NEW BEST:: SOT 1076514 SOS 654440 HAS SOPS 654440 HAS SOUS 365425 HAS SOUPS 365425 WITH SCORE 366079.44
AT ITER 1085 NEW BEST:: SOT 1076309 SOS 654035 HAS SOPS 654035 HAS SOUS 364878 HAS SOUPS 364878 WITH SCORE 365532.035
AT ITER 1086 NEW BEST:: SOT 1076012 SOS 653738 HAS SOPS 653738 HAS SOUS 364810 HAS SOUPS 364810 WITH SCORE 365463.738
AT ITER 1090 NEW BEST:: SOT 1075442 SOS 652752 HAS SOPS 652752 HAS SOUS 363825 HAS SOUPS 363825 WITH SCORE 364477.752
AT ITER 1100 NEW BEST:: SOT 1074970 SOS 652280 HAS SOPS 652280 HAS SOUS 363353 HAS SOUPS 363353 WITH SCORE 364005.28
AT ITER 1104 NEW BEST:: SOT 1074837 SOS 652147 HAS SOPS 652147 HAS SOUS 363220 HAS SOUPS 363220 WITH SCORE 363872.147
AT ITER 1108 NEW BEST:: SOT 1074837 SOS 652403 HAS SOPS 652403 HAS SOUS 363180 HAS SOUPS 363180 WITH SCORE 363832.403
AT ITER 1109 NEW BEST:: SOT 1074628 SOS 651832 HAS SOPS 651832 HAS SOUS 362609 HAS SOUPS 362609 WITH SCORE 363260.832
AT ITER 1127 NEW BEST:: SOT 1074221 SOS 651486 HAS SOPS 651486 HAS SOUS 362450 HAS SOUPS 362450 WITH SCORE 363101.486
AT ITER 1129 NEW BEST:: SOT 1074221 SOS 651597 HAS SOPS 651597 HAS SOUS 362428 HAS SOUPS 362428 WITH SCORE 363079.597
AT ITER 1136 NEW BEST:: SOT 1074399 SOS 651775 HAS SOPS 651775 HAS SOUS 362345 HAS SOUPS 362345 WITH SCORE 362996.775
AT ITER 1137 NEW BEST:: SOT 1074399 SOS 651691 HAS SOPS 651691 HAS SOUS 362261 HAS SOUPS 362261 WITH SCORE 362912.691
AT ITER 1144 NEW BEST:: SOT 1076330 SOS 653074 HAS SOPS 653074 HAS SOUS 360994 HAS SOUPS 360994 WITH SCORE 361647.074
AT ITER 1145 NEW BEST:: SOT 1076062 SOS 652360 HAS SOPS 652360 HAS SOUS 360086 HAS SOUPS 360086 WITH SCORE 360738.36
AT ITER 1149 NEW BEST:: SOT 1076058 SOS 652356 HAS SOPS 652356 HAS SOUS 360082 HAS SOUPS 360082 WITH SCORE 360734.356
AT ITER 1151 NEW BEST:: SOT 1076061 SOS 651700 HAS SOPS 651700 HAS SOUS 360025 HAS SOUPS 360025 WITH SCORE 360676.7
AT ITER 1152 NEW BEST:: SOT 1076061 SOS 651195 HAS SOPS 651195 HAS SOUS 360024 HAS SOUPS 360024 WITH SCORE 360675.195
AT ITER 1177 NEW BEST:: SOT 1076061 SOS 650166 HAS SOPS 650166 HAS SOUS 359470 HAS SOUPS 359470 WITH SCORE 360120.166
AT ITER 1186 NEW BEST:: SOT 1076049 SOS 649985 HAS SOPS 649985 HAS SOUS 359242 HAS SOUPS 359242 WITH SCORE 359891.985
AT ITER 1196 NEW BEST:: SOT 1075960 SOS 649896 HAS SOPS 649896 HAS SOUS 359153 HAS SOUPS 359153 WITH SCORE 359802.896
AT ITER 1208 NEW BEST:: SOT 1075960 SOS 649683 HAS SOPS 649683 HAS SOUS 358940 HAS SOUPS 358940 WITH SCORE 359589.683
AT ITER 1209 NEW BEST:: SOT 1075917 SOS 649640 HAS SOPS 649640 HAS SOUS 358895 HAS SOUPS 358895 WITH SCORE 359544.64
AT ITER 1216 NEW BEST:: SOT 1075777 SOS 649271 HAS SOPS 649271 HAS SOUS 358704 HAS SOUPS 358704 WITH SCORE 359353.271
AT ITER 1218 NEW BEST:: SOT 1070956 SOS 644309 HAS SOPS 644309 HAS SOUS 353742 HAS SOUPS 353742 WITH SCORE 354386.309
AT ITER 1238 NEW BEST:: SOT 1070956 SOS 643762 HAS SOPS 643762 HAS SOUS 353412 HAS SOUPS 353412 WITH SCORE 354055.762
AT ITER 1246 NEW BEST:: SOT 1070877 SOS 643525 HAS SOPS 643525 HAS SOUS 353175 HAS SOUPS 353175 WITH SCORE 353818.525
AT ITER 1247 NEW BEST:: SOT 1070536 SOS 643068 HAS SOPS 643068 HAS SOUS 352718 HAS SOUPS 352718 WITH SCORE 353361.068
AT ITER 1249 NEW BEST:: SOT 1070463 SOS 642620 HAS SOPS 642620 HAS SOUS 351930 HAS SOUPS 351930 WITH SCORE 352572.62
AT ITER 1253 NEW BEST:: SOT 1070286 SOS 642007 HAS SOPS 642007 HAS SOUS 351889 HAS SOUPS 351889 WITH SCORE 352531.007
AT ITER 1266 NEW BEST:: SOT 1070151 SOS 641353 HAS SOPS 641353 HAS SOUS 351344 HAS SOUPS 351344 WITH SCORE 351985.353
AT ITER 1269 NEW BEST:: SOT 1070151 SOS 644000 HAS SOPS 644000 HAS SOUS 351328 HAS SOUPS 351328 WITH SCORE 351972.0
AT ITER 1272 NEW BEST:: SOT 1070125 SOS 643974 HAS SOPS 643974 HAS SOUS 351302 HAS SOUPS 351302 WITH SCORE 351945.974
AT ITER 1273 NEW BEST:: SOT 1069942 SOS 643802 HAS SOPS 643802 HAS SOUS 351212 HAS SOUPS 351212 WITH SCORE 351855.802
AT ITER 1274 NEW BEST:: SOT 1070011 SOS 643592 HAS SOPS 643592 HAS SOUS 351002 HAS SOUPS 351002 WITH SCORE 351645.592
AT ITER 1278 NEW BEST:: SOT 1069891 SOS 643444 HAS SOPS 643444 HAS SOUS 350876 HAS SOUPS 350876 WITH SCORE 351519.444
AT ITER 1281 NEW BEST:: SOT 1069730 SOS 643283 HAS SOPS 643283 HAS SOUS 350715 HAS SOUPS 350715 WITH SCORE 351358.283
AT ITER 1283 NEW BEST:: SOT 1069380 SOS 642618 HAS SOPS 642618 HAS SOUS 349525 HAS SOUPS 349525 WITH SCORE 350167.618
AT ITER 1284 NEW BEST:: SOT 1069024 SOS 642260 HAS SOPS 642260 HAS SOUS 349167 HAS SOUPS 349167 WITH SCORE 349809.26
AT ITER 1290 NEW BEST:: SOT 1064520 SOS 637756 HAS SOPS 637756 HAS SOUS 344663 HAS SOUPS 344663 WITH SCORE 345300.756
AT ITER 1291 NEW BEST:: SOT 1064328 SOS 637468 HAS SOPS 637468 HAS SOUS 344467 HAS SOUPS 344467 WITH SCORE 345104.468
AT ITER 1293 NEW BEST:: SOT 1063698 SOS 636838 HAS SOPS 636838 HAS SOUS 343837 HAS SOUPS 343837 WITH SCORE 344473.838
AT ITER 1296 NEW BEST:: SOT 1063447 SOS 636336 HAS SOPS 636336 HAS SOUS 343701 HAS SOUPS 343701 WITH SCORE 344337.336
AT ITER 1314 NEW BEST:: SOT 1063244 SOS 635720 HAS SOPS 635720 HAS SOUS 343130 HAS SOUPS 343130 WITH SCORE 343765.72
AT ITER 1326 NEW BEST:: SOT 1063046 SOS 635397 HAS SOPS 635397 HAS SOUS 342439 HAS SOUPS 342439 WITH SCORE 343074.397
AT ITER 1329 NEW BEST:: SOT 1062987 SOS 635338 HAS SOPS 635338 HAS SOUS 342436 HAS SOUPS 342436 WITH SCORE 343071.338
AT ITER 1334 NEW BEST:: SOT 1062947 SOS 635258 HAS SOPS 635258 HAS SOUS 342356 HAS SOUPS 342356 WITH SCORE 342991.258
AT ITER 1338 NEW BEST:: SOT 1048879 SOS 619478 HAS SOPS 619478 HAS SOUS 327536 HAS SOUPS 327536 WITH SCORE 328155.478
AT ITER 1340 NEW BEST:: SOT 1048785 SOS 619011 HAS SOPS 619011 HAS SOUS 327069 HAS SOUPS 327069 WITH SCORE 327688.011
AT ITER 1354 NEW BEST:: SOT 1048816 SOS 618576 HAS SOPS 618576 HAS SOUS 326996 HAS SOUPS 326996 WITH SCORE 327614.576
AT ITER 1358 NEW BEST:: SOT 1048939 SOS 618535 HAS SOPS 618535 HAS SOUS 326955 HAS SOUPS 326955 WITH SCORE 327573.535
AT ITER 1362 NEW BEST:: SOT 1048943 SOS 618347 HAS SOPS 618347 HAS SOUS 326820 HAS SOUPS 326820 WITH SCORE 327438.347
AT ITER 1363 NEW BEST:: SOT 1048837 SOS 618241 HAS SOPS 618241 HAS SOUS 326714 HAS SOUPS 326714 WITH SCORE 327332.241
AT ITER 1372 NEW BEST:: SOT 1048780 SOS 617926 HAS SOPS 617926 HAS SOUS 326522 HAS SOUPS 326522 WITH SCORE 327139.926
AT ITER 1392 NEW BEST:: SOT 1048786 SOS 618077 HAS SOPS 618077 HAS SOUS 326281 HAS SOUPS 326281 WITH SCORE 326899.077
AT ITER 1407 NEW BEST:: SOT 1048786 SOS 618018 HAS SOPS 618018 HAS SOUS 326222 HAS SOUPS 326222 WITH SCORE 326840.018
AT ITER 1418 NEW BEST:: SOT 1048280 SOS 617512 HAS SOPS 617512 HAS SOUS 325716 HAS SOUPS 325716 WITH SCORE 326333.512
AT ITER 1421 NEW BEST:: SOT 1048211 SOS 617443 HAS SOPS 617443 HAS SOUS 325716 HAS SOUPS 325716 WITH SCORE 326333.443
AT ITER 1422 NEW BEST:: SOT 1048211 SOS 616999 HAS SOPS 616999 HAS SOUS 325272 HAS SOUPS 325272 WITH SCORE 325888.999
AT ITER 1447 NEW BEST:: SOT 1047274 SOS 616062 HAS SOPS 616062 HAS SOUS 324334 HAS SOUPS 324334 WITH SCORE 324950.062
AT ITER 1452 NEW BEST:: SOT 1047241 SOS 616029 HAS SOPS 616029 HAS SOUS 324334 HAS SOUPS 324334 WITH SCORE 324950.029
AT ITER 1462 NEW BEST:: SOT 1047266 SOS 615823 HAS SOPS 615823 HAS SOUS 324185 HAS SOUPS 324185 WITH SCORE 324800.823
AT ITER 1464 NEW BEST:: SOT 1046924 SOS 616098 HAS SOPS 616098 HAS SOUS 323998 HAS SOUPS 323998 WITH SCORE 324614.098
AT ITER 1493 NEW BEST:: SOT 1046498 SOS 615672 HAS SOPS 615672 HAS SOUS 323572 HAS SOUPS 323572 WITH SCORE 324187.672
AT ITER 1499 NEW BEST:: SOT 1046173 SOS 614368 HAS SOPS 614368 HAS SOUS 322725 HAS SOUPS 322725 WITH SCORE 323339.368
AT ITER 1504 NEW BEST:: SOT 1046106 SOS 614301 HAS SOPS 614301 HAS SOUS 322658 HAS SOUPS 322658 WITH SCORE 323272.301
AT ITER 1508 NEW BEST:: SOT 1046105 SOS 614171 HAS SOPS 614171 HAS SOUS 322656 HAS SOUPS 322656 WITH SCORE 323270.171
AT ITER 1511 NEW BEST:: SOT 1046049 SOS 614115 HAS SOPS 614115 HAS SOUS 322600 HAS SOUPS 322600 WITH SCORE 323214.115
AT ITER 1528 NEW BEST:: SOT 1045920 SOS 614286 HAS SOPS 614286 HAS SOUS 322556 HAS SOUPS 322556 WITH SCORE 323170.286
AT ITER 1546 NEW BEST:: SOT 1045749 SOS 613910 HAS SOPS 613910 HAS SOUS 322264 HAS SOUPS 322264 WITH SCORE 322877.91
AT ITER 1552 NEW BEST:: SOT 1045621 SOS 613694 HAS SOPS 613694 HAS SOUS 322048 HAS SOUPS 322048 WITH SCORE 322661.694
AT ITER 1562 NEW BEST:: SOT 1045665 SOS 613738 HAS SOPS 613738 HAS SOUS 322005 HAS SOUPS 322005 WITH SCORE 322618.738
AT ITER 1563 NEW BEST:: SOT 1045391 SOS 613578 HAS SOPS 613578 HAS SOUS 321620 HAS SOUPS 321620 WITH SCORE 322233.578
AT ITER 1604 NEW BEST:: SOT 1045384 SOS 613571 HAS SOPS 613571 HAS SOUS 321613 HAS SOUPS 321613 WITH SCORE 322226.571
AT ITER 1605 NEW BEST:: SOT 1045338 SOS 613525 HAS SOPS 613525 HAS SOUS 321567 HAS SOUPS 321567 WITH SCORE 322180.525
AT ITER 1609 NEW BEST:: SOT 1045336 SOS 613523 HAS SOPS 613523 HAS SOUS 321565 HAS SOUPS 321565 WITH SCORE 322178.523
AT ITER 1616 NEW BEST:: SOT 1045336 SOS 613516 HAS SOPS 613516 HAS SOUS 321367 HAS SOUPS 321367 WITH SCORE 321980.516
AT ITER 1630 NEW BEST:: SOT 1045212 SOS 613392 HAS SOPS 613392 HAS SOUS 321243 HAS SOUPS 321243 WITH SCORE 321856.392
AT ITER 1636 NEW BEST:: SOT 1045469 SOS 613434 HAS SOPS 613434 HAS SOUS 321075 HAS SOUPS 321075 WITH SCORE 321688.434
AT ITER 1647 NEW BEST:: SOT 1045238 SOS 613145 HAS SOPS 613145 HAS SOUS 320786 HAS SOUPS 320786 WITH SCORE 321399.145
AT ITER 1664 NEW BEST:: SOT 1045245 SOS 612916 HAS SOPS 612916 HAS SOUS 320097 HAS SOUPS 320097 WITH SCORE 320709.916
AT ITER 1671 NEW BEST:: SOT 1043773 SOS 611698 HAS SOPS 611698 HAS SOUS 318876 HAS SOUPS 318876 WITH SCORE 319487.698
AT ITER 1691 NEW BEST:: SOT 1043575 SOS 611640 HAS SOPS 611640 HAS SOUS 318866 HAS SOUPS 318866 WITH SCORE 319477.64
AT ITER 1700 NEW BEST:: SOT 1043206 SOS 610533 HAS SOPS 610533 HAS SOUS 318031 HAS SOUPS 318031 WITH SCORE 318641.533
AT ITER 1720 NEW BEST:: SOT 1043175 SOS 610502 HAS SOPS 610502 HAS SOUS 318003 HAS SOUPS 318003 WITH SCORE 318613.502
AT ITER 1731 NEW BEST:: SOT 1043092 SOS 610271 HAS SOPS 610271 HAS SOUS 317855 HAS SOUPS 317855 WITH SCORE 318465.271
AT ITER 1750 NEW BEST:: SOT 1042884 SOS 609344 HAS SOPS 609344 HAS SOUS 317399 HAS SOUPS 317399 WITH SCORE 318008.344
AT ITER 1752 NEW BEST:: SOT 1035632 SOS 606501 HAS SOPS 606501 HAS SOUS 310410 HAS SOUPS 310410 WITH SCORE 311016.501
AT ITER 1765 NEW BEST:: SOT 1035593 SOS 606461 HAS SOPS 606461 HAS SOUS 310370 HAS SOUPS 310370 WITH SCORE 310976.461
AT ITER 1796 NEW BEST:: SOT 1035587 SOS 606455 HAS SOPS 606455 HAS SOUS 310362 HAS SOUPS 310362 WITH SCORE 310968.455
AT ITER 1801 NEW BEST:: SOT 1035262 SOS 606082 HAS SOPS 606082 HAS SOUS 310314 HAS SOUPS 310314 WITH SCORE 310920.082
AT ITER 1802 NEW BEST:: SOT 1035261 SOS 606081 HAS SOPS 606081 HAS SOUS 310312 HAS SOUPS 310312 WITH SCORE 310918.081
AT ITER 1812 NEW BEST:: SOT 1034688 SOS 604947 HAS SOPS 604947 HAS SOUS 309737 HAS SOUPS 309737 WITH SCORE 310341.947
AT ITER 1822 NEW BEST:: SOT 1034629 SOS 604465 HAS SOPS 604465 HAS SOUS 309255 HAS SOUPS 309255 WITH SCORE 309859.465
AT ITER 1831 NEW BEST:: SOT 1034627 SOS 604406 HAS SOPS 604406 HAS SOUS 309244 HAS SOUPS 309244 WITH SCORE 309848.406
AT ITER 1845 NEW BEST:: SOT 1034627 SOS 604258 HAS SOPS 604258 HAS SOUS 309096 HAS SOUPS 309096 WITH SCORE 309700.258
AT ITER 1846 NEW BEST:: SOT 1034389 SOS 604020 HAS SOPS 604020 HAS SOUS 308858 HAS SOUPS 308858 WITH SCORE 309462.02
AT ITER 1854 NEW BEST:: SOT 1034381 SOS 604012 HAS SOPS 604012 HAS SOUS 308850 HAS SOUPS 308850 WITH SCORE 309454.012
AT ITER 1857 NEW BEST:: SOT 1034282 SOS 603904 HAS SOPS 603904 HAS SOUS 308382 HAS SOUPS 308382 WITH SCORE 308985.904
AT ITER 1867 NEW BEST:: SOT 1034282 SOS 603538 HAS SOPS 603538 HAS SOUS 308016 HAS SOUPS 308016 WITH SCORE 308619.538
AT ITER 1903 NEW BEST:: SOT 1034226 SOS 603482 HAS SOPS 603482 HAS SOUS 307960 HAS SOUPS 307960 WITH SCORE 308563.482
AT ITER 1906 NEW BEST:: SOT 1034128 SOS 603191 HAS SOPS 603191 HAS SOUS 307666 HAS SOUPS 307666 WITH SCORE 308269.191
AT ITER 1927 NEW BEST:: SOT 1034168 SOS 602620 HAS SOPS 602620 HAS SOUS 307606 HAS SOUPS 307606 WITH SCORE 308208.62
AT ITER 1929 NEW BEST:: SOT 1034168 SOS 602420 HAS SOPS 602420 HAS SOUS 307581 HAS SOUPS 307581 WITH SCORE 308183.42
AT ITER 1933 NEW BEST:: SOT 1034078 SOS 602150 HAS SOPS 602150 HAS SOUS 307483 HAS SOUPS 307483 WITH SCORE 308085.15
AT ITER 1940 NEW BEST:: SOT 1034027 SOS 602099 HAS SOPS 602099 HAS SOUS 307483 HAS SOUPS 307483 WITH SCORE 308085.099
AT ITER 1941 NEW BEST:: SOT 1034027 SOS 602079 HAS SOPS 602079 HAS SOUS 307483 HAS SOUPS 307483 WITH SCORE 308085.079
AT ITER 1965 NEW BEST:: SOT 1034243 SOS 602277 HAS SOPS 602277 HAS SOUS 307179 HAS SOUPS 307179 WITH SCORE 307781.277
AT ITER 1973 NEW BEST:: SOT 1034243 SOS 602175 HAS SOPS 602175 HAS SOUS 307077 HAS SOUPS 307077 WITH SCORE 307679.175
AT ITER 1978 NEW BEST:: SOT 1034222 SOS 601801 HAS SOPS 601801 HAS SOUS 307053 HAS SOUPS 307053 WITH SCORE 307654.801
AT ITER 1994 NEW BEST:: SOT 1034222 SOS 601654 HAS SOPS 601654 HAS SOUS 306468 HAS SOUPS 306468 WITH SCORE 307069.654
AT ITER 2008 NEW BEST:: SOT 1034102 SOS 601534 HAS SOPS 601534 HAS SOUS 306348 HAS SOUPS 306348 WITH SCORE 306949.534
AT ITER 2010 NEW BEST:: SOT 1034099 SOS 601531 HAS SOPS 601531 HAS SOUS 306342 HAS SOUPS 306342 WITH SCORE 306943.531
AT ITER 2019 NEW BEST:: SOT 1033362 SOS 601424 HAS SOPS 601424 HAS SOUS 305500 HAS SOUPS 305500 WITH SCORE 306101.424
AT ITER 2024 NEW BEST:: SOT 1032367 SOS 600429 HAS SOPS 600429 HAS SOUS 305273 HAS SOUPS 305273 WITH SCORE 305873.429
AT ITER 2029 NEW BEST:: SOT 1034043 SOS 600870 HAS SOPS 600870 HAS SOUS 304472 HAS SOUPS 304472 WITH SCORE 305072.87
AT ITER 2037 NEW BEST:: SOT 1033429 SOS 600844 HAS SOPS 600844 HAS SOUS 303826 HAS SOUPS 303826 WITH SCORE 304426.844
AT ITER 2041 NEW BEST:: SOT 1033389 SOS 600804 HAS SOPS 600804 HAS SOUS 303786 HAS SOUPS 303786 WITH SCORE 304386.804
AT ITER 2042 NEW BEST:: SOT 1033006 SOS 600535 HAS SOPS 600535 HAS SOUS 303453 HAS SOUPS 303453 WITH SCORE 304053.535
AT ITER 2050 NEW BEST:: SOT 1033055 SOS 600475 HAS SOPS 600475 HAS SOUS 303393 HAS SOUPS 303393 WITH SCORE 303993.475
AT ITER 2059 NEW BEST:: SOT 1033162 SOS 600159 HAS SOPS 600159 HAS SOUS 303238 HAS SOUPS 303238 WITH SCORE 303838.159
AT ITER 2071 NEW BEST:: SOT 1033204 SOS 599720 HAS SOPS 599720 HAS SOUS 303128 HAS SOUPS 303128 WITH SCORE 303727.72
AT ITER 2074 NEW BEST:: SOT 1033204 SOS 599481 HAS SOPS 599481 HAS SOUS 303127 HAS SOUPS 303127 WITH SCORE 303726.481
AT ITER 2100 NEW BEST:: SOT 1033204 SOS 599306 HAS SOPS 599306 HAS SOUS 303127 HAS SOUPS 303127 WITH SCORE 303726.306
AT ITER 2101 NEW BEST:: SOT 1032279 SOS 598613 HAS SOPS 598613 HAS SOUS 302266 HAS SOUPS 302266 WITH SCORE 302864.613
AT ITER 2115 NEW BEST:: SOT 1032221 SOS 597935 HAS SOPS 597935 HAS SOUS 302053 HAS SOUPS 302053 WITH SCORE 302650.935
AT ITER 2120 NEW BEST:: SOT 1031394 SOS 597065 HAS SOPS 597065 HAS SOUS 301165 HAS SOUPS 301165 WITH SCORE 301762.065
AT ITER 2130 NEW BEST:: SOT 1031393 SOS 597064 HAS SOPS 597064 HAS SOUS 301164 HAS SOUPS 301164 WITH SCORE 301761.064
AT ITER 2133 NEW BEST:: SOT 1031388 SOS 597047 HAS SOPS 597047 HAS SOUS 301147 HAS SOUPS 301147 WITH SCORE 301744.047
AT ITER 2135 NEW BEST:: SOT 1031354 SOS 596069 HAS SOPS 596069 HAS SOUS 301079 HAS SOUPS 301079 WITH SCORE 301675.069
AT ITER 2137 NEW BEST:: SOT 1031201 SOS 595844 HAS SOPS 595844 HAS SOUS 300869 HAS SOUPS 300869 WITH SCORE 301464.844
AT ITER 2145 NEW BEST:: SOT 1031097 SOS 595740 HAS SOPS 595740 HAS SOUS 300765 HAS SOUPS 300765 WITH SCORE 301360.74
AT ITER 2164 NEW BEST:: SOT 1030854 SOS 595640 HAS SOPS 595640 HAS SOUS 300612 HAS SOUPS 300612 WITH SCORE 301207.64
AT ITER 2193 NEW BEST:: SOT 1030680 SOS 595466 HAS SOPS 595466 HAS SOUS 300438 HAS SOUPS 300438 WITH SCORE 301033.466
AT ITER 2202 NEW BEST:: SOT 1029660 SOS 594446 HAS SOPS 594446 HAS SOUS 299417 HAS SOUPS 299417 WITH SCORE 300011.446
AT ITER 2209 NEW BEST:: SOT 1029977 SOS 594444 HAS SOPS 594444 HAS SOUS 299413 HAS SOUPS 299413 WITH SCORE 300007.444
AT ITER 2220 NEW BEST:: SOT 1029894 SOS 594201 HAS SOPS 594201 HAS SOUS 299375 HAS SOUPS 299375 WITH SCORE 299969.201
AT ITER 2221 NEW BEST:: SOT 1029961 SOS 594232 HAS SOPS 594232 HAS SOUS 299331 HAS SOUPS 299331 WITH SCORE 299925.232
AT ITER 2231 NEW BEST:: SOT 1029720 SOS 594057 HAS SOPS 594057 HAS SOUS 299156 HAS SOUPS 299156 WITH SCORE 299750.057
AT ITER 2249 NEW BEST:: SOT 1029629 SOS 593958 HAS SOPS 593958 HAS SOUS 299057 HAS SOUPS 299057 WITH SCORE 299650.958
AT ITER 2250 NEW BEST:: SOT 1029500 SOS 593579 HAS SOPS 593579 HAS SOUS 298719 HAS SOUPS 298719 WITH SCORE 299312.579
AT ITER 2255 NEW BEST:: SOT 1029311 SOS 593390 HAS SOPS 593390 HAS SOUS 298530 HAS SOUPS 298530 WITH SCORE 299123.39
AT ITER 2263 NEW BEST:: SOT 1029223 SOS 593214 HAS SOPS 593214 HAS SOUS 298354 HAS SOUPS 298354 WITH SCORE 298947.214
AT ITER 2279 NEW BEST:: SOT 1029193 SOS 593226 HAS SOPS 593226 HAS SOUS 298324 HAS SOUPS 298324 WITH SCORE 298917.226
AT ITER 2296 NEW BEST:: SOT 1029193 SOS 593226 HAS SOPS 593226 HAS SOUS 298283 HAS SOUPS 298283 WITH SCORE 298876.226
AT ITER 2301 NEW BEST:: SOT 1028864 SOS 592897 HAS SOPS 592897 HAS SOUS 297954 HAS SOUPS 297954 WITH SCORE 298546.897
AT ITER 2304 NEW BEST:: SOT 1028829 SOS 592842 HAS SOPS 592842 HAS SOUS 297918 HAS SOUPS 297918 WITH SCORE 298510.842
AT ITER 2321 NEW BEST:: SOT 1028324 SOS 591856 HAS SOPS 591856 HAS SOUS 297663 HAS SOUPS 297663 WITH SCORE 298254.856
AT ITER 2323 NEW BEST:: SOT 1028223 SOS 591755 HAS SOPS 591755 HAS SOUS 297570 HAS SOUPS 297570 WITH SCORE 298161.755
AT ITER 2327 NEW BEST:: SOT 1028222 SOS 591844 HAS SOPS 591844 HAS SOUS 297568 HAS SOUPS 297568 WITH SCORE 298159.844
AT ITER 2335 NEW BEST:: SOT 1028233 SOS 591518 HAS SOPS 591518 HAS SOUS 297201 HAS SOUPS 297201 WITH SCORE 297792.518
AT ITER 2345 NEW BEST:: SOT 1028245 SOS 591331 HAS SOPS 591331 HAS SOUS 297002 HAS SOUPS 297002 WITH SCORE 297593.331
AT ITER 2356 NEW BEST:: SOT 1026754 SOS 590698 HAS SOPS 590698 HAS SOUS 296151 HAS SOUPS 296151 WITH SCORE 296741.698
AT ITER 2366 NEW BEST:: SOT 1026534 SOS 591824 HAS SOPS 591824 HAS SOUS 295827 HAS SOUPS 295827 WITH SCORE 296418.824
AT ITER 2378 NEW BEST:: SOT 1026275 SOS 591565 HAS SOPS 591565 HAS SOUS 295568 HAS SOUPS 295568 WITH SCORE 296159.565
AT ITER 2396 NEW BEST:: SOT 1026231 SOS 591521 HAS SOPS 591521 HAS SOUS 295524 HAS SOUPS 295524 WITH SCORE 296115.521
AT ITER 2398 NEW BEST:: SOT 1026273 SOS 591191 HAS SOPS 591191 HAS SOUS 295466 HAS SOUPS 295466 WITH SCORE 296057.191
AT ITER 2409 NEW BEST:: SOT 1026273 SOS 591205 HAS SOPS 591205 HAS SOUS 295464 HAS SOUPS 295464 WITH SCORE 296055.205
AT ITER 2415 NEW BEST:: SOT 1026269 SOS 591773 HAS SOPS 591773 HAS SOUS 295231 HAS SOUPS 295231 WITH SCORE 295822.773
AT ITER 2441 NEW BEST:: SOT 1026160 SOS 591556 HAS SOPS 591556 HAS SOUS 295121 HAS SOUPS 295121 WITH SCORE 295712.556
AT ITER 2460 NEW BEST:: SOT 1026160 SOS 591397 HAS SOPS 591397 HAS SOUS 295067 HAS SOUPS 295067 WITH SCORE 295658.397
AT ITER 2487 NEW BEST:: SOT 1024944 SOS 589918 HAS SOPS 589918 HAS SOUS 293699 HAS SOUPS 293699 WITH SCORE 294288.918
AT ITER 2508 NEW BEST:: SOT 1024943 SOS 589916 HAS SOPS 589916 HAS SOUS 293697 HAS SOUPS 293697 WITH SCORE 294286.916
AT ITER 2512 NEW BEST:: SOT 1024575 SOS 589548 HAS SOPS 589548 HAS SOUS 293329 HAS SOUPS 293329 WITH SCORE 293918.548
AT ITER 2518 NEW BEST:: SOT 1024265 SOS 588626 HAS SOPS 588626 HAS SOUS 292712 HAS SOUPS 292712 WITH SCORE 293300.626
AT ITER 2521 NEW BEST:: SOT 1024181 SOS 588458 HAS SOPS 588458 HAS SOUS 292544 HAS SOUPS 292544 WITH SCORE 293132.458
AT ITER 2528 NEW BEST:: SOT 1024176 SOS 588256 HAS SOPS 588256 HAS SOUS 292299 HAS SOUPS 292299 WITH SCORE 292887.256
AT ITER 2543 NEW BEST:: SOT 1023247 SOS 587524 HAS SOPS 587524 HAS SOUS 291938 HAS SOUPS 291938 WITH SCORE 292525.524
AT ITER 2544 NEW BEST:: SOT 1021617 SOS 586379 HAS SOPS 586379 HAS SOUS 290439 HAS SOUPS 290439 WITH SCORE 291025.379
AT ITER 2554 NEW BEST:: SOT 1021540 SOS 585990 HAS SOPS 585990 HAS SOUS 289843 HAS SOUPS 289843 WITH SCORE 290428.99
AT ITER 2560 NEW BEST:: SOT 1021514 SOS 585938 HAS SOPS 585938 HAS SOUS 289791 HAS SOUPS 289791 WITH SCORE 290376.938
AT ITER 2567 NEW BEST:: SOT 1021561 SOS 584956 HAS SOPS 584956 HAS SOUS 289732 HAS SOUPS 289732 WITH SCORE 290316.956
AT ITER 2570 NEW BEST:: SOT 1021429 SOS 584543 HAS SOPS 584543 HAS SOUS 289610 HAS SOUPS 289610 WITH SCORE 290194.543
AT ITER 2573 NEW BEST:: SOT 1021335 SOS 584541 HAS SOPS 584541 HAS SOUS 289608 HAS SOUPS 289608 WITH SCORE 290192.541
AT ITER 2577 NEW BEST:: SOT 1021298 SOS 584399 HAS SOPS 584399 HAS SOUS 289442 HAS SOUPS 289442 WITH SCORE 290026.399
AT ITER 2586 NEW BEST:: SOT 1021144 SOS 584245 HAS SOPS 584245 HAS SOUS 289288 HAS SOUPS 289288 WITH SCORE 289872.245
AT ITER 2590 NEW BEST:: SOT 1020735 SOS 583985 HAS SOPS 583985 HAS SOUS 289027 HAS SOUPS 289027 WITH SCORE 289610.985
AT ITER 2606 NEW BEST:: SOT 1020735 SOS 583970 HAS SOPS 583970 HAS SOUS 289027 HAS SOUPS 289027 WITH SCORE 289610.97
AT ITER 2624 NEW BEST:: SOT 1020985 SOS 584028 HAS SOPS 584028 HAS SOUS 289006 HAS SOUPS 289006 WITH SCORE 289590.028
AT ITER 2629 NEW BEST:: SOT 1020844 SOS 583289 HAS SOPS 583289 HAS SOUS 288267 HAS SOUPS 288267 WITH SCORE 288850.289
AT ITER 2635 NEW BEST:: SOT 1020838 SOS 583283 HAS SOPS 583283 HAS SOUS 288261 HAS SOUPS 288261 WITH SCORE 288844.283
AT ITER 2646 NEW BEST:: SOT 1020824 SOS 583269 HAS SOPS 583269 HAS SOUS 288249 HAS SOUPS 288249 WITH SCORE 288832.269
AT ITER 2663 NEW BEST:: SOT 1020625 SOS 583035 HAS SOPS 583035 HAS SOUS 288015 HAS SOUPS 288015 WITH SCORE 288598.035
AT ITER 2671 NEW BEST:: SOT 1020133 SOS 582543 HAS SOPS 582543 HAS SOUS 287523 HAS SOUPS 287523 WITH SCORE 288105.543
AT ITER 2672 NEW BEST:: SOT 1020129 SOS 582539 HAS SOPS 582539 HAS SOUS 287519 HAS SOUPS 287519 WITH SCORE 288101.539
AT ITER 2677 NEW BEST:: SOT 1020126 SOS 582536 HAS SOPS 582536 HAS SOUS 287516 HAS SOUPS 287516 WITH SCORE 288098.536
AT ITER 2694 NEW BEST:: SOT 1020138 SOS 581827 HAS SOPS 581827 HAS SOUS 287159 HAS SOUPS 287159 WITH SCORE 287740.827
AT ITER 2697 NEW BEST:: SOT 1020107 SOS 581765 HAS SOPS 581765 HAS SOUS 287097 HAS SOUPS 287097 WITH SCORE 287678.765
AT ITER 2701 NEW BEST:: SOT 1020106 SOS 581764 HAS SOPS 581764 HAS SOUS 287095 HAS SOUPS 287095 WITH SCORE 287676.764
AT ITER 2707 NEW BEST:: SOT 1020579 SOS 582206 HAS SOPS 582206 HAS SOUS 287066 HAS SOUPS 287066 WITH SCORE 287648.206
AT ITER 2711 NEW BEST:: SOT 1020727 SOS 581006 HAS SOPS 581006 HAS SOUS 286967 HAS SOUPS 286967 WITH SCORE 287548.006
AT ITER 2713 NEW BEST:: SOT 1020709 SOS 580968 HAS SOPS 580968 HAS SOUS 286919 HAS SOUPS 286919 WITH SCORE 287499.968
AT ITER 2715 NEW BEST:: SOT 1020708 SOS 580967 HAS SOPS 580967 HAS SOUS 286917 HAS SOUPS 286917 WITH SCORE 287497.967
AT ITER 2721 NEW BEST:: SOT 1020914 SOS 581699 HAS SOPS 581699 HAS SOUS 286869 HAS SOUPS 286869 WITH SCORE 287450.699
AT ITER 2729 NEW BEST:: SOT 1020170 SOS 580410 HAS SOPS 580410 HAS SOUS 286040 HAS SOUPS 286040 WITH SCORE 286620.41
AT ITER 2730 NEW BEST:: SOT 1020167 SOS 580397 HAS SOPS 580397 HAS SOUS 286038 HAS SOUPS 286038 WITH SCORE 286618.397
AT ITER 2740 NEW BEST:: SOT 1020167 SOS 580123 HAS SOPS 580123 HAS SOUS 285876 HAS SOUPS 285876 WITH SCORE 286456.123
AT ITER 2772 NEW BEST:: SOT 1020073 SOS 579935 HAS SOPS 579935 HAS SOUS 285688 HAS SOUPS 285688 WITH SCORE 286267.935
AT ITER 2780 NEW BEST:: SOT 1019723 SOS 579585 HAS SOPS 579585 HAS SOUS 285338 HAS SOUPS 285338 WITH SCORE 285917.585
AT ITER 2798 NEW BEST:: SOT 1019914 SOS 579456 HAS SOPS 579456 HAS SOUS 284894 HAS SOUPS 284894 WITH SCORE 285473.456
AT ITER 2811 NEW BEST:: SOT 1019878 SOS 578109 HAS SOPS 578109 HAS SOUS 284690 HAS SOUPS 284690 WITH SCORE 285268.109
AT ITER 2819 NEW BEST:: SOT 1019617 SOS 577848 HAS SOPS 577848 HAS SOUS 284301 HAS SOUPS 284301 WITH SCORE 284878.848
AT ITER 2825 NEW BEST:: SOT 1018860 SOS 577026 HAS SOPS 577026 HAS SOUS 283479 HAS SOUPS 283479 WITH SCORE 284056.026
AT ITER 2833 NEW BEST:: SOT 1018804 SOS 576970 HAS SOPS 576970 HAS SOUS 283422 HAS SOUPS 283422 WITH SCORE 283998.97
AT ITER 2848 NEW BEST:: SOT 1018575 SOS 576653 HAS SOPS 576653 HAS SOUS 282770 HAS SOUPS 282770 WITH SCORE 283346.653
AT ITER 2850 NEW BEST:: SOT 1018377 SOS 576298 HAS SOPS 576298 HAS SOUS 282438 HAS SOUPS 282438 WITH SCORE 283014.298
AT ITER 2863 NEW BEST:: SOT 1017939 SOS 575826 HAS SOPS 575826 HAS SOUS 281966 HAS SOUPS 281966 WITH SCORE 282541.826
AT ITER 2877 NEW BEST:: SOT 1017930 SOS 575817 HAS SOPS 575817 HAS SOUS 281948 HAS SOUPS 281948 WITH SCORE 282523.817
AT ITER 2897 NEW BEST:: SOT 1017810 SOS 573557 HAS SOPS 573557 HAS SOUS 281588 HAS SOUPS 281588 WITH SCORE 282161.557
AT ITER 2908 NEW BEST:: SOT 1017808 SOS 573557 HAS SOPS 573557 HAS SOUS 281586 HAS SOUPS 281586 WITH SCORE 282159.557
AT ITER 2911 NEW BEST:: SOT 1017787 SOS 573536 HAS SOPS 573536 HAS SOUS 281564 HAS SOUPS 281564 WITH SCORE 282137.536
AT ITER 2914 NEW BEST:: SOT 1017492 SOS 574933 HAS SOPS 574933 HAS SOUS 281503 HAS SOUPS 281503 WITH SCORE 282077.933
AT ITER 2919 NEW BEST:: SOT 1017584 SOS 574954 HAS SOPS 574954 HAS SOUS 281488 HAS SOUPS 281488 WITH SCORE 282062.954
AT ITER 2920 NEW BEST:: SOT 1017492 SOS 574921 HAS SOPS 574921 HAS SOUS 281455 HAS SOUPS 281455 WITH SCORE 282029.921
AT ITER 2956 NEW BEST:: SOT 1017290 SOS 573799 HAS SOPS 573799 HAS SOUS 281002 HAS SOUPS 281002 WITH SCORE 281575.799
AT ITER 2957 NEW BEST:: SOT 1017240 SOS 573749 HAS SOPS 573749 HAS SOUS 280952 HAS SOUPS 280952 WITH SCORE 281525.749
AT ITER 2958 NEW BEST:: SOT 1017426 SOS 573653 HAS SOPS 573653 HAS SOUS 280574 HAS SOUPS 280574 WITH SCORE 281147.653
AT ITER 2967 NEW BEST:: SOT 1017107 SOS 572355 HAS SOPS 572355 HAS SOUS 280024 HAS SOUPS 280024 WITH SCORE 280596.355
AT ITER 2971 NEW BEST:: SOT 1017020 SOS 572417 HAS SOPS 572417 HAS SOUS 279850 HAS SOUPS 279850 WITH SCORE 280422.417
AT ITER 2978 NEW BEST:: SOT 1017020 SOS 572416 HAS SOPS 572416 HAS SOUS 279849 HAS SOUPS 279849 WITH SCORE 280421.416
AT ITER 3011 NEW BEST:: SOT 1017054 SOS 572450 HAS SOPS 572450 HAS SOUS 279695 HAS SOUPS 279695 WITH SCORE 280267.45
AT ITER 3031 NEW BEST:: SOT 1016991 SOS 572441 HAS SOPS 572441 HAS SOUS 279623 HAS SOUPS 279623 WITH SCORE 280195.441
AT ITER 3035 NEW BEST:: SOT 1016813 SOS 572202 HAS SOPS 572202 HAS SOUS 279197 HAS SOUPS 279197 WITH SCORE 279769.202
AT ITER 3046 NEW BEST:: SOT 1016806 SOS 572195 HAS SOPS 572195 HAS SOUS 279183 HAS SOUPS 279183 WITH SCORE 279755.195
AT ITER 3057 NEW BEST:: SOT 1016551 SOS 571830 HAS SOPS 571830 HAS SOUS 278307 HAS SOUPS 278307 WITH SCORE 278878.83
AT ITER 3066 NEW BEST:: SOT 1016517 SOS 571796 HAS SOPS 571796 HAS SOUS 278260 HAS SOUPS 278260 WITH SCORE 278831.796
AT ITER 3068 NEW BEST:: SOT 1015796 SOS 570744 HAS SOPS 570744 HAS SOUS 277164 HAS SOUPS 277164 WITH SCORE 277734.744
AT ITER 3076 NEW BEST:: SOT 1015804 SOS 570737 HAS SOPS 570737 HAS SOUS 277138 HAS SOUPS 277138 WITH SCORE 277708.737
AT ITER 3085 NEW BEST:: SOT 1015748 SOS 570681 HAS SOPS 570681 HAS SOUS 277082 HAS SOUPS 277082 WITH SCORE 277652.681
AT ITER 3103 NEW BEST:: SOT 1015738 SOS 570661 HAS SOPS 570661 HAS SOUS 277062 HAS SOUPS 277062 WITH SCORE 277632.661
AT ITER 3115 NEW BEST:: SOT 1015643 SOS 570482 HAS SOPS 570482 HAS SOUS 276883 HAS SOUPS 276883 WITH SCORE 277453.482
AT ITER 3116 NEW BEST:: SOT 1015349 SOS 570367 HAS SOPS 570367 HAS SOUS 276588 HAS SOUPS 276588 WITH SCORE 277158.367
AT ITER 3130 NEW BEST:: SOT 1015290 SOS 570308 HAS SOPS 570308 HAS SOUS 276529 HAS SOUPS 276529 WITH SCORE 277099.308
AT ITER 3145 NEW BEST:: SOT 1015244 SOS 570124 HAS SOPS 570124 HAS SOUS 276471 HAS SOUPS 276471 WITH SCORE 277041.124
AT ITER 3163 NEW BEST:: SOT 1015244 SOS 569975 HAS SOPS 569975 HAS SOUS 276322 HAS SOUPS 276322 WITH SCORE 276891.975
AT ITER 3164 NEW BEST:: SOT 1015237 SOS 569968 HAS SOPS 569968 HAS SOUS 276315 HAS SOUPS 276315 WITH SCORE 276884.968
AT ITER 3172 NEW BEST:: SOT 1015232 SOS 569958 HAS SOPS 569958 HAS SOUS 276305 HAS SOUPS 276305 WITH SCORE 276874.958
AT ITER 3194 NEW BEST:: SOT 1015197 SOS 570048 HAS SOPS 570048 HAS SOUS 276128 HAS SOUPS 276128 WITH SCORE 276698.048
AT ITER 3204 NEW BEST:: SOT 1015197 SOS 570038 HAS SOPS 570038 HAS SOUS 276118 HAS SOUPS 276118 WITH SCORE 276688.038
AT ITER 3214 NEW BEST:: SOT 1015170 SOS 569926 HAS SOPS 569926 HAS SOUS 276064 HAS SOUPS 276064 WITH SCORE 276633.926
AT ITER 3227 NEW BEST:: SOT 1015191 SOS 569954 HAS SOPS 569954 HAS SOUS 276044 HAS SOUPS 276044 WITH SCORE 276613.954
AT ITER 3229 NEW BEST:: SOT 1014752 SOS 569515 HAS SOPS 569515 HAS SOUS 275605 HAS SOUPS 275605 WITH SCORE 276174.515
AT ITER 3234 NEW BEST:: SOT 1014729 SOS 569492 HAS SOPS 569492 HAS SOUS 275602 HAS SOUPS 275602 WITH SCORE 276171.492
AT ITER 3239 NEW BEST:: SOT 1014580 SOS 569293 HAS SOPS 569293 HAS SOUS 275403 HAS SOUPS 275403 WITH SCORE 275972.293
AT ITER 3255 NEW BEST:: SOT 1014546 SOS 569214 HAS SOPS 569214 HAS SOUS 275377 HAS SOUPS 275377 WITH SCORE 275946.214
AT ITER 3267 NEW BEST:: SOT 1014180 SOS 568758 HAS SOPS 568758 HAS SOUS 274889 HAS SOUPS 274889 WITH SCORE 275457.758
AT ITER 3269 NEW BEST:: SOT 1014255 SOS 568743 HAS SOPS 568743 HAS SOUS 274874 HAS SOUPS 274874 WITH SCORE 275442.743
AT ITER 3273 NEW BEST:: SOT 1011002 SOS 564914 HAS SOPS 564914 HAS SOUS 272899 HAS SOUPS 272899 WITH SCORE 273463.914
AT ITER 3277 NEW BEST:: SOT 1010930 SOS 564674 HAS SOPS 564674 HAS SOUS 272523 HAS SOUPS 272523 WITH SCORE 273087.674
AT ITER 3282 NEW BEST:: SOT 1010785 SOS 563445 HAS SOPS 563445 HAS SOUS 272171 HAS SOUPS 272171 WITH SCORE 272734.445
AT ITER 3296 NEW BEST:: SOT 1010785 SOS 563336 HAS SOPS 563336 HAS SOUS 272150 HAS SOUPS 272150 WITH SCORE 272713.336
AT ITER 3298 NEW BEST:: SOT 1010604 SOS 562785 HAS SOPS 562785 HAS SOUS 271632 HAS SOUPS 271632 WITH SCORE 272194.785
AT ITER 3302 NEW BEST:: SOT 1010418 SOS 562599 HAS SOPS 562599 HAS SOUS 271446 HAS SOUPS 271446 WITH SCORE 272008.599
AT ITER 3309 NEW BEST:: SOT 1010450 SOS 562442 HAS SOPS 562442 HAS SOUS 271254 HAS SOUPS 271254 WITH SCORE 271816.442
AT ITER 3310 NEW BEST:: SOT 1010449 SOS 562441 HAS SOPS 562441 HAS SOUS 270990 HAS SOUPS 270990 WITH SCORE 271552.441
AT ITER 3311 NEW BEST:: SOT 1010397 SOS 562337 HAS SOPS 562337 HAS SOUS 270973 HAS SOUPS 270973 WITH SCORE 271535.337
AT ITER 3312 NEW BEST:: SOT 1010393 SOS 562329 HAS SOPS 562329 HAS SOUS 270965 HAS SOUPS 270965 WITH SCORE 271527.329
AT ITER 3319 NEW BEST:: SOT 1010393 SOS 561419 HAS SOPS 561419 HAS SOUS 270965 HAS SOUPS 270965 WITH SCORE 271526.419
AT ITER 3322 NEW BEST:: SOT 1010381 SOS 561215 HAS SOPS 561215 HAS SOUS 270761 HAS SOUPS 270761 WITH SCORE 271322.215
AT ITER 3326 NEW BEST:: SOT 1010123 SOS 561086 HAS SOPS 561086 HAS SOUS 270632 HAS SOUPS 270632 WITH SCORE 271193.086
AT ITER 3337 NEW BEST:: SOT 1010083 SOS 561004 HAS SOPS 561004 HAS SOUS 270620 HAS SOUPS 270620 WITH SCORE 271181.004
AT ITER 3366 NEW BEST:: SOT 1010081 SOS 561002 HAS SOPS 561002 HAS SOUS 270618 HAS SOUPS 270618 WITH SCORE 271179.002
AT ITER 3373 NEW BEST:: SOT 1010084 SOS 561892 HAS SOPS 561892 HAS SOUS 270514 HAS SOUPS 270514 WITH SCORE 271075.892
AT ITER 3376 NEW BEST:: SOT 1010084 SOS 561892 HAS SOPS 561892 HAS SOUS 270482 HAS SOUPS 270482 WITH SCORE 271043.892
AT ITER 3392 NEW BEST:: SOT 1010084 SOS 561661 HAS SOPS 561661 HAS SOUS 270251 HAS SOUPS 270251 WITH SCORE 270812.661
AT ITER 3415 NEW BEST:: SOT 1010059 SOS 561636 HAS SOPS 561636 HAS SOUS 270201 HAS SOUPS 270201 WITH SCORE 270762.636
AT ITER 3429 NEW BEST:: SOT 1010057 SOS 561634 HAS SOPS 561634 HAS SOUS 270199 HAS SOUPS 270199 WITH SCORE 270760.634
AT ITER 3436 NEW BEST:: SOT 1010056 SOS 561633 HAS SOPS 561633 HAS SOUS 270198 HAS SOUPS 270198 WITH SCORE 270759.633
AT ITER 3441 NEW BEST:: SOT 1009868 SOS 561683 HAS SOPS 561683 HAS SOUS 270165 HAS SOUPS 270165 WITH SCORE 270726.683
AT ITER 3445 NEW BEST:: SOT 1010295 SOS 561772 HAS SOPS 561772 HAS SOUS 270145 HAS SOUPS 270145 WITH SCORE 270706.772
AT ITER 3456 NEW BEST:: SOT 1010276 SOS 561483 HAS SOPS 561483 HAS SOUS 269873 HAS SOUPS 269873 WITH SCORE 270434.483
AT ITER 3469 NEW BEST:: SOT 1010275 SOS 561482 HAS SOPS 561482 HAS SOUS 269872 HAS SOUPS 269872 WITH SCORE 270433.482
AT ITER 3472 NEW BEST:: SOT 1010153 SOS 561360 HAS SOPS 561360 HAS SOUS 269750 HAS SOUPS 269750 WITH SCORE 270311.36
AT ITER 3473 NEW BEST:: SOT 1010132 SOS 561318 HAS SOPS 561318 HAS SOUS 269708 HAS SOUPS 269708 WITH SCORE 270269.318
AT ITER 3493 NEW BEST:: SOT 1010027 SOS 561213 HAS SOPS 561213 HAS SOUS 269568 HAS SOUPS 269568 WITH SCORE 270129.213
AT ITER 3506 NEW BEST:: SOT 1010049 SOS 560965 HAS SOPS 560965 HAS SOUS 269487 HAS SOUPS 269487 WITH SCORE 270047.965
AT ITER 3513 NEW BEST:: SOT 1009954 SOS 560882 HAS SOPS 560882 HAS SOUS 269297 HAS SOUPS 269297 WITH SCORE 269857.882
AT ITER 3536 NEW BEST:: SOT 1009764 SOS 560692 HAS SOPS 560692 HAS SOUS 268917 HAS SOUPS 268917 WITH SCORE 269477.692
AT ITER 3537 NEW BEST:: SOT 1009764 SOS 560684 HAS SOPS 560684 HAS SOUS 268916 HAS SOUPS 268916 WITH SCORE 269476.684
AT ITER 3544 NEW BEST:: SOT 1009489 SOS 560146 HAS SOPS 560146 HAS SOUS 268459 HAS SOUPS 268459 WITH SCORE 269019.146
AT ITER 3550 NEW BEST:: SOT 1009489 SOS 559600 HAS SOPS 559600 HAS SOUS 267913 HAS SOUPS 267913 WITH SCORE 268472.6
AT ITER 3553 NEW BEST:: SOT 1009459 SOS 559550 HAS SOPS 559550 HAS SOUS 267895 HAS SOUPS 267895 WITH SCORE 268454.55
AT ITER 3557 NEW BEST:: SOT 1009438 SOS 558147 HAS SOPS 558147 HAS SOUS 267822 HAS SOUPS 267822 WITH SCORE 268380.147
AT ITER 3560 NEW BEST:: SOT 1009706 SOS 558060 HAS SOPS 558060 HAS SOUS 267634 HAS SOUPS 267634 WITH SCORE 268192.06
AT ITER 3568 NEW BEST:: SOT 1009579 SOS 557933 HAS SOPS 557933 HAS SOUS 267507 HAS SOUPS 267507 WITH SCORE 268064.933
AT ITER 3587 NEW BEST:: SOT 1010088 SOS 557936 HAS SOPS 557936 HAS SOUS 267485 HAS SOUPS 267485 WITH SCORE 268042.936
AT ITER 3588 NEW BEST:: SOT 1010088 SOS 557738 HAS SOPS 557738 HAS SOUS 267332 HAS SOUPS 267332 WITH SCORE 267889.738
AT ITER 3615 NEW BEST:: SOT 1010086 SOS 557734 HAS SOPS 557734 HAS SOUS 267328 HAS SOUPS 267328 WITH SCORE 267885.734
AT ITER 3631 NEW BEST:: SOT 1010043 SOS 557691 HAS SOPS 557691 HAS SOUS 267268 HAS SOUPS 267268 WITH SCORE 267825.691
AT ITER 3674 NEW BEST:: SOT 1010038 SOS 557686 HAS SOPS 557686 HAS SOUS 267263 HAS SOUPS 267263 WITH SCORE 267820.686
AT ITER 3680 NEW BEST:: SOT 1009385 SOS 557209 HAS SOPS 557209 HAS SOUS 266698 HAS SOUPS 266698 WITH SCORE 267255.209
AT ITER 3702 NEW BEST:: SOT 1009363 SOS 557187 HAS SOPS 557187 HAS SOUS 266676 HAS SOUPS 266676 WITH SCORE 267233.187
AT ITER 3705 NEW BEST:: SOT 1009357 SOS 557164 HAS SOPS 557164 HAS SOUS 266653 HAS SOUPS 266653 WITH SCORE 267210.164
AT ITER 3710 NEW BEST:: SOT 1009356 SOS 556863 HAS SOPS 556863 HAS SOUS 266647 HAS SOUPS 266647 WITH SCORE 267203.863
AT ITER 3711 NEW BEST:: SOT 1009355 SOS 556862 HAS SOPS 556862 HAS SOUS 266645 HAS SOUPS 266645 WITH SCORE 267201.862
AT ITER 3726 NEW BEST:: SOT 1008580 SOS 556087 HAS SOPS 556087 HAS SOUS 265870 HAS SOUPS 265870 WITH SCORE 266426.087
AT ITER 3736 NEW BEST:: SOT 1008392 SOS 555027 HAS SOPS 555027 HAS SOUS 265464 HAS SOUPS 265464 WITH SCORE 266019.027
AT ITER 3746 NEW BEST:: SOT 1008353 SOS 554944 HAS SOPS 554944 HAS SOUS 265456 HAS SOUPS 265456 WITH SCORE 266010.944
AT ITER 3748 NEW BEST:: SOT 1008287 SOS 554878 HAS SOPS 554878 HAS SOUS 265354 HAS SOUPS 265354 WITH SCORE 265908.878
AT ITER 3752 NEW BEST:: SOT 1008286 SOS 554877 HAS SOPS 554877 HAS SOUS 265353 HAS SOUPS 265353 WITH SCORE 265907.877
AT ITER 3760 NEW BEST:: SOT 1008276 SOS 554852 HAS SOPS 554852 HAS SOUS 265333 HAS SOUPS 265333 WITH SCORE 265887.852
AT ITER 3771 NEW BEST:: SOT 1008173 SOS 554223 HAS SOPS 554223 HAS SOUS 265153 HAS SOUPS 265153 WITH SCORE 265707.223
AT ITER 3779 NEW BEST:: SOT 1008011 SOS 553859 HAS SOPS 553859 HAS SOUS 264700 HAS SOUPS 264700 WITH SCORE 265253.859
AT ITER 3781 NEW BEST:: SOT 1008011 SOS 553857 HAS SOPS 553857 HAS SOUS 264698 HAS SOUPS 264698 WITH SCORE 265251.857
AT ITER 3787 NEW BEST:: SOT 1007902 SOS 553748 HAS SOPS 553748 HAS SOUS 264578 HAS SOUPS 264578 WITH SCORE 265131.748
AT ITER 3814 NEW BEST:: SOT 1007902 SOS 552871 HAS SOPS 552871 HAS SOUS 264488 HAS SOUPS 264488 WITH SCORE 265040.871
AT ITER 3816 NEW BEST:: SOT 1007654 SOS 552552 HAS SOPS 552552 HAS SOUS 264125 HAS SOUPS 264125 WITH SCORE 264677.552
AT ITER 3845 NEW BEST:: SOT 1007475 SOS 552088 HAS SOPS 552088 HAS SOUS 263767 HAS SOUPS 263767 WITH SCORE 264319.088
AT ITER 3863 NEW BEST:: SOT 1007486 SOS 552099 HAS SOPS 552099 HAS SOUS 263765 HAS SOUPS 263765 WITH SCORE 264317.099
AT ITER 3873 NEW BEST:: SOT 1007282 SOS 551157 HAS SOPS 551157 HAS SOUS 263729 HAS SOUPS 263729 WITH SCORE 264280.157
AT ITER 3890 NEW BEST:: SOT 1007282 SOS 550947 HAS SOPS 550947 HAS SOUS 263694 HAS SOUPS 263694 WITH SCORE 264244.947
AT ITER 3892 NEW BEST:: SOT 1007282 SOS 550930 HAS SOPS 550930 HAS SOUS 263694 HAS SOUPS 263694 WITH SCORE 264244.93
AT ITER 3896 NEW BEST:: SOT 1007191 SOS 550839 HAS SOPS 550839 HAS SOUS 263603 HAS SOUPS 263603 WITH SCORE 264153.839
AT ITER 3905 NEW BEST:: SOT 1007191 SOS 550631 HAS SOPS 550631 HAS SOUS 263497 HAS SOUPS 263497 WITH SCORE 264047.631
AT ITER 3910 NEW BEST:: SOT 1007281 SOS 550721 HAS SOPS 550721 HAS SOUS 262858 HAS SOUPS 262858 WITH SCORE 263408.721
AT ITER 3934 NEW BEST:: SOT 1007237 SOS 550513 HAS SOPS 550513 HAS SOUS 262780 HAS SOUPS 262780 WITH SCORE 263330.513
AT ITER 3946 NEW BEST:: SOT 1006889 SOS 549817 HAS SOPS 549817 HAS SOUS 262084 HAS SOUPS 262084 WITH SCORE 262633.817
AT ITER 3955 NEW BEST:: SOT 1007130 SOS 550053 HAS SOPS 550053 HAS SOUS 261986 HAS SOUPS 261986 WITH SCORE 262536.053
AT ITER 3957 NEW BEST:: SOT 1007130 SOS 550041 HAS SOPS 550041 HAS SOUS 261986 HAS SOUPS 261986 WITH SCORE 262536.041
AT ITER 3973 NEW BEST:: SOT 1007154 SOS 550041 HAS SOPS 550041 HAS SOUS 261976 HAS SOUPS 261976 WITH SCORE 262526.041
AT ITER 3990 NEW BEST:: SOT 1007154 SOS 549921 HAS SOPS 549921 HAS SOUS 261959 HAS SOUPS 261959 WITH SCORE 262508.921
AT ITER 3992 NEW BEST:: SOT 1007105 SOS 549872 HAS SOPS 549872 HAS SOUS 261829 HAS SOUPS 261829 WITH SCORE 262378.872
AT ITER 3997 NEW BEST:: SOT 1007105 SOS 549626 HAS SOPS 549626 HAS SOUS 261706 HAS SOUPS 261706 WITH SCORE 262255.626
AT ITER 4008 NEW BEST:: SOT 1007002 SOS 549444 HAS SOPS 549444 HAS SOUS 261662 HAS SOUPS 261662 WITH SCORE 262211.444
AT ITER 4012 NEW BEST:: SOT 1006989 SOS 549431 HAS SOPS 549431 HAS SOUS 261649 HAS SOUPS 261649 WITH SCORE 262198.431
AT ITER 4016 NEW BEST:: SOT 1006989 SOS 549293 HAS SOPS 549293 HAS SOUS 261511 HAS SOUPS 261511 WITH SCORE 262060.293
AT ITER 4023 NEW BEST:: SOT 1006869 SOS 549167 HAS SOPS 549167 HAS SOUS 261334 HAS SOUPS 261334 WITH SCORE 261883.167
AT ITER 4049 NEW BEST:: SOT 1006685 SOS 549022 HAS SOPS 549022 HAS SOUS 261189 HAS SOUPS 261189 WITH SCORE 261738.022
AT ITER 4070 NEW BEST:: SOT 1006589 SOS 548926 HAS SOPS 548926 HAS SOUS 261093 HAS SOUPS 261093 WITH SCORE 261641.926
AT ITER 4071 NEW BEST:: SOT 1006789 SOS 549045 HAS SOPS 549045 HAS SOUS 260901 HAS SOUPS 260901 WITH SCORE 261450.045
AT ITER 4076 NEW BEST:: SOT 1006089 SOS 548429 HAS SOPS 548429 HAS SOUS 260873 HAS SOUPS 260873 WITH SCORE 261421.429
AT ITER 4087 NEW BEST:: SOT 1006046 SOS 548386 HAS SOPS 548386 HAS SOUS 260830 HAS SOUPS 260830 WITH SCORE 261378.386
AT ITER 4088 NEW BEST:: SOT 1005910 SOS 545928 HAS SOPS 545928 HAS SOUS 260453 HAS SOUPS 260453 WITH SCORE 260998.928
AT ITER 4120 NEW BEST:: SOT 1005477 SOS 545693 HAS SOPS 545693 HAS SOUS 260217 HAS SOUPS 260217 WITH SCORE 260762.693
AT ITER 4128 NEW BEST:: SOT 1005470 SOS 545678 HAS SOPS 545678 HAS SOUS 260202 HAS SOUPS 260202 WITH SCORE 260747.678
AT ITER 4170 NEW BEST:: SOT 1005243 SOS 544420 HAS SOPS 544420 HAS SOUS 259898 HAS SOUPS 259898 WITH SCORE 260442.42
AT ITER 4177 NEW BEST:: SOT 1005243 SOS 544387 HAS SOPS 544387 HAS SOUS 259865 HAS SOUPS 259865 WITH SCORE 260409.387
AT ITER 4184 NEW BEST:: SOT 1004942 SOS 543720 HAS SOPS 543720 HAS SOUS 258989 HAS SOUPS 258989 WITH SCORE 259532.72
AT ITER 4193 NEW BEST:: SOT 1004914 SOS 543664 HAS SOPS 543664 HAS SOUS 258933 HAS SOUPS 258933 WITH SCORE 259476.664
AT ITER 4215 NEW BEST:: SOT 1004914 SOS 543379 HAS SOPS 543379 HAS SOUS 258914 HAS SOUPS 258914 WITH SCORE 259457.379
AT ITER 4222 NEW BEST:: SOT 1004823 SOS 543288 HAS SOPS 543288 HAS SOUS 258798 HAS SOUPS 258798 WITH SCORE 259341.288
AT ITER 4229 NEW BEST:: SOT 1004932 SOS 543193 HAS SOPS 543193 HAS SOUS 258703 HAS SOUPS 258703 WITH SCORE 259246.193
AT ITER 4248 NEW BEST:: SOT 1004895 SOS 543156 HAS SOPS 543156 HAS SOUS 258689 HAS SOUPS 258689 WITH SCORE 259232.156
AT ITER 4251 NEW BEST:: SOT 1004895 SOS 543148 HAS SOPS 543148 HAS SOUS 258688 HAS SOUPS 258688 WITH SCORE 259231.148
AT ITER 4253 NEW BEST:: SOT 1004895 SOS 543145 HAS SOPS 543145 HAS SOUS 258685 HAS SOUPS 258685 WITH SCORE 259228.145
AT ITER 4255 NEW BEST:: SOT 1004895 SOS 543156 HAS SOPS 543156 HAS SOUS 258537 HAS SOUPS 258537 WITH SCORE 259080.156
AT ITER 4278 NEW BEST:: SOT 1004881 SOS 543205 HAS SOPS 543205 HAS SOUS 258509 HAS SOUPS 258509 WITH SCORE 259052.205
AT ITER 4294 NEW BEST:: SOT 1004884 SOS 543208 HAS SOPS 543208 HAS SOUS 258469 HAS SOUPS 258469 WITH SCORE 259012.208
AT ITER 4343 NEW BEST:: SOT 1004867 SOS 543348 HAS SOPS 543348 HAS SOUS 258445 HAS SOUPS 258445 WITH SCORE 258988.348
AT ITER 4371 NEW BEST:: SOT 1004696 SOS 543159 HAS SOPS 543159 HAS SOUS 258402 HAS SOUPS 258402 WITH SCORE 258945.159
AT ITER 4397 NEW BEST:: SOT 1004622 SOS 542369 HAS SOPS 542369 HAS SOUS 258368 HAS SOUPS 258368 WITH SCORE 258910.369
AT ITER 4403 NEW BEST:: SOT 1004578 SOS 542325 HAS SOPS 542325 HAS SOUS 258324 HAS SOUPS 258324 WITH SCORE 258866.325
AT ITER 4404 NEW BEST:: SOT 1004392 SOS 542139 HAS SOPS 542139 HAS SOUS 258138 HAS SOUPS 258138 WITH SCORE 258680.139
AT ITER 4438 NEW BEST:: SOT 1004301 SOS 541985 HAS SOPS 541985 HAS SOUS 257984 HAS SOUPS 257984 WITH SCORE 258525.985
AT ITER 4442 NEW BEST:: SOT 1004241 SOS 541925 HAS SOPS 541925 HAS SOUS 257924 HAS SOUPS 257924 WITH SCORE 258465.925
AT ITER 4457 NEW BEST:: SOT 1004240 SOS 541940 HAS SOPS 541940 HAS SOUS 257921 HAS SOUPS 257921 WITH SCORE 258462.94
AT ITER 4465 NEW BEST:: SOT 1004143 SOS 541940 HAS SOPS 541940 HAS SOUS 257824 HAS SOUPS 257824 WITH SCORE 258365.94
AT ITER 4474 NEW BEST:: SOT 1004143 SOS 541833 HAS SOPS 541833 HAS SOUS 257822 HAS SOUPS 257822 WITH SCORE 258363.833
AT ITER 4494 NEW BEST:: SOT 1004143 SOS 541705 HAS SOPS 541705 HAS SOUS 257594 HAS SOUPS 257594 WITH SCORE 258135.705
AT ITER 4495 NEW BEST:: SOT 1003902 SOS 543701 HAS SOPS 543701 HAS SOUS 257519 HAS SOUPS 257519 WITH SCORE 258062.701
AT ITER 4508 NEW BEST:: SOT 1003898 SOS 543697 HAS SOPS 543697 HAS SOUS 257515 HAS SOUPS 257515 WITH SCORE 258058.697
AT ITER 4513 NEW BEST:: SOT 1003860 SOS 543640 HAS SOPS 543640 HAS SOUS 257444 HAS SOUPS 257444 WITH SCORE 257987.64
AT ITER 4524 NEW BEST:: SOT 1003778 SOS 543476 HAS SOPS 543476 HAS SOUS 257280 HAS SOUPS 257280 WITH SCORE 257823.476
AT ITER 4543 NEW BEST:: SOT 1003610 SOS 543308 HAS SOPS 543308 HAS SOUS 257112 HAS SOUPS 257112 WITH SCORE 257655.308
AT ITER 4549 NEW BEST:: SOT 1003492 SOS 543233 HAS SOPS 543233 HAS SOUS 256994 HAS SOUPS 256994 WITH SCORE 257537.233
AT ITER 4560 NEW BEST:: SOT 1003423 SOS 543078 HAS SOPS 543078 HAS SOUS 256853 HAS SOUPS 256853 WITH SCORE 257396.078
AT ITER 4573 NEW BEST:: SOT 1002935 SOS 542506 HAS SOPS 542506 HAS SOUS 255877 HAS SOUPS 255877 WITH SCORE 256419.506
AT ITER 4574 NEW BEST:: SOT 1002935 SOS 542393 HAS SOPS 542393 HAS SOUS 255782 HAS SOUPS 255782 WITH SCORE 256324.393
AT ITER 4596 NEW BEST:: SOT 1002922 SOS 542482 HAS SOPS 542482 HAS SOUS 255108 HAS SOUPS 255108 WITH SCORE 255650.482
AT ITER 4610 NEW BEST:: SOT 1002867 SOS 542427 HAS SOPS 542427 HAS SOUS 255053 HAS SOUPS 255053 WITH SCORE 255595.427
AT ITER 4635 NEW BEST:: SOT 1003363 SOS 542694 HAS SOPS 542694 HAS SOUS 254954 HAS SOUPS 254954 WITH SCORE 255496.694
AT ITER 4651 NEW BEST:: SOT 1003363 SOS 543442 HAS SOPS 543442 HAS SOUS 254953 HAS SOUPS 254953 WITH SCORE 255496.442
AT ITER 4659 NEW BEST:: SOT 1003347 SOS 543426 HAS SOPS 543426 HAS SOUS 254932 HAS SOUPS 254932 WITH SCORE 255475.426
AT ITER 4663 NEW BEST:: SOT 1003421 SOS 542871 HAS SOPS 542871 HAS SOUS 254901 HAS SOUPS 254901 WITH SCORE 255443.871
AT ITER 4669 NEW BEST:: SOT 1003421 SOS 542849 HAS SOPS 542849 HAS SOUS 254884 HAS SOUPS 254884 WITH SCORE 255426.849
AT ITER 4672 NEW BEST:: SOT 1003497 SOS 542787 HAS SOPS 542787 HAS SOUS 254822 HAS SOUPS 254822 WITH SCORE 255364.787
AT ITER 4673 NEW BEST:: SOT 1003419 SOS 542657 HAS SOPS 542657 HAS SOUS 254692 HAS SOUPS 254692 WITH SCORE 255234.657
AT ITER 4677 NEW BEST:: SOT 1003250 SOS 541737 HAS SOPS 541737 HAS SOUS 254107 HAS SOUPS 254107 WITH SCORE 254648.737
AT ITER 4688 NEW BEST:: SOT 1003109 SOS 541455 HAS SOPS 541455 HAS SOUS 253825 HAS SOUPS 253825 WITH SCORE 254366.455
AT ITER 4690 NEW BEST:: SOT 1002986 SOS 541209 HAS SOPS 541209 HAS SOUS 253579 HAS SOUPS 253579 WITH SCORE 254120.209
AT ITER 4696 NEW BEST:: SOT 1003018 SOS 541144 HAS SOPS 541144 HAS SOUS 253546 HAS SOUPS 253546 WITH SCORE 254087.144
AT ITER 4707 NEW BEST:: SOT 1003193 SOS 540852 HAS SOPS 540852 HAS SOUS 253419 HAS SOUPS 253419 WITH SCORE 253959.852
AT ITER 4713 NEW BEST:: SOT 1003084 SOS 540750 HAS SOPS 540750 HAS SOUS 253317 HAS SOUPS 253317 WITH SCORE 253857.75
AT ITER 4715 NEW BEST:: SOT 1002576 SOS 539992 HAS SOPS 539992 HAS SOUS 253027 HAS SOUPS 253027 WITH SCORE 253566.992
AT ITER 4716 NEW BEST:: SOT 1002575 SOS 539991 HAS SOPS 539991 HAS SOUS 253024 HAS SOUPS 253024 WITH SCORE 253563.991
AT ITER 4737 NEW BEST:: SOT 1002460 SOS 539890 HAS SOPS 539890 HAS SOUS 252923 HAS SOUPS 252923 WITH SCORE 253462.89
AT ITER 4787 NEW BEST:: SOT 1002460 SOS 539590 HAS SOPS 539590 HAS SOUS 252923 HAS SOUPS 252923 WITH SCORE 253462.59
AT ITER 4790 NEW BEST:: SOT 1002397 SOS 539376 HAS SOPS 539376 HAS SOUS 252837 HAS SOUPS 252837 WITH SCORE 253376.376
AT ITER 4797 NEW BEST:: SOT 1002349 SOS 539328 HAS SOPS 539328 HAS SOUS 252789 HAS SOUPS 252789 WITH SCORE 253328.328
AT ITER 4820 NEW BEST:: SOT 1002218 SOS 539203 HAS SOPS 539203 HAS SOUS 252736 HAS SOUPS 252736 WITH SCORE 253275.203
AT ITER 4839 NEW BEST:: SOT 1001902 SOS 538550 HAS SOPS 538550 HAS SOUS 252034 HAS SOUPS 252034 WITH SCORE 252572.55
AT ITER 4841 NEW BEST:: SOT 1001902 SOS 538517 HAS SOPS 538517 HAS SOUS 252001 HAS SOUPS 252001 WITH SCORE 252539.517
AT ITER 4846 NEW BEST:: SOT 1001867 SOS 538482 HAS SOPS 538482 HAS SOUS 251963 HAS SOUPS 251963 WITH SCORE 252501.482
AT ITER 4848 NEW BEST:: SOT 1001867 SOS 538466 HAS SOPS 538466 HAS SOUS 251947 HAS SOUPS 251947 WITH SCORE 252485.466
AT ITER 4858 NEW BEST:: SOT 1001860 SOS 538303 HAS SOPS 538303 HAS SOUS 251781 HAS SOUPS 251781 WITH SCORE 252319.303
AT ITER 4863 NEW BEST:: SOT 1001702 SOS 537996 HAS SOPS 537996 HAS SOUS 251730 HAS SOUPS 251730 WITH SCORE 252267.996
AT ITER 4892 NEW BEST:: SOT 1001702 SOS 537699 HAS SOPS 537699 HAS SOUS 251433 HAS SOUPS 251433 WITH SCORE 251970.699
AT ITER 4896 NEW BEST:: SOT 1001391 SOS 537077 HAS SOPS 537077 HAS SOUS 250811 HAS SOUPS 250811 WITH SCORE 251348.077
AT ITER 4913 NEW BEST:: SOT 1001503 SOS 537107 HAS SOPS 537107 HAS SOUS 250676 HAS SOUPS 250676 WITH SCORE 251213.107
AT ITER 4914 NEW BEST:: SOT 1001503 SOS 537052 HAS SOPS 537052 HAS SOUS 250621 HAS SOUPS 250621 WITH SCORE 251158.052
AT ITER 4932 NEW BEST:: SOT 1001473 SOS 537007 HAS SOPS 537007 HAS SOUS 250561 HAS SOUPS 250561 WITH SCORE 251098.007
AT ITER 4946 NEW BEST:: SOT 1001460 SOS 536981 HAS SOPS 536981 HAS SOUS 250535 HAS SOUPS 250535 WITH SCORE 251071.981
AT ITER 4949 NEW BEST:: SOT 1001228 SOS 536633 HAS SOPS 536633 HAS SOUS 250187 HAS SOUPS 250187 WITH SCORE 250723.633
AT ITER 4960 NEW BEST:: SOT 1001225 SOS 536459 HAS SOPS 536459 HAS SOUS 250026 HAS SOUPS 250026 WITH SCORE 250562.459
AT ITER 4963 NEW BEST:: SOT 1001067 SOS 536304 HAS SOPS 536304 HAS SOUS 249873 HAS SOUPS 249873 WITH SCORE 250409.304
AT ITER 4965 NEW BEST:: SOT 1001066 SOS 536303 HAS SOPS 536303 HAS SOUS 249870 HAS SOUPS 249870 WITH SCORE 250406.303
AT ITER 4967 NEW BEST:: SOT 1000983 SOS 536220 HAS SOPS 536220 HAS SOUS 249787 HAS SOUPS 249787 WITH SCORE 250323.22
AT ITER 4968 NEW BEST:: SOT 1000871 SOS 536019 HAS SOPS 536019 HAS SOUS 249674 HAS SOUPS 249674 WITH SCORE 250210.019
AT ITER 4980 NEW BEST:: SOT 1000896 SOS 536044 HAS SOPS 536044 HAS SOUS 249641 HAS SOUPS 249641 WITH SCORE 250177.044
AT ITER 4994 NEW BEST:: SOT 1000895 SOS 536043 HAS SOPS 536043 HAS SOUS 249639 HAS SOUPS 249639 WITH SCORE 250175.043
AT ITER 4997 NEW BEST:: SOT 1000774 SOS 536085 HAS SOPS 536085 HAS SOUS 249578 HAS SOUPS 249578 WITH SCORE 250114.085
AT ITER 4998 NEW BEST:: SOT 1000771 SOS 536061 HAS SOPS 536061 HAS SOUS 249572 HAS SOUPS 249572 WITH SCORE 250108.061
AT ITER 5009 NEW BEST:: SOT 1000418 SOS 535658 HAS SOPS 535658 HAS SOUS 249075 HAS SOUPS 249075 WITH SCORE 249610.658
AT ITER 5017 NEW BEST:: SOT 1000066 SOS 535306 HAS SOPS 535306 HAS SOUS 248547 HAS SOUPS 248547 WITH SCORE 249082.306
AT ITER 5024 NEW BEST:: SOT 999876 SOS 534324 HAS SOPS 534324 HAS SOUS 248180 HAS SOUPS 248180 WITH SCORE 248714.324
AT ITER 5030 NEW BEST:: SOT 999816 SOS 534113 HAS SOPS 534113 HAS SOUS 248057 HAS SOUPS 248057 WITH SCORE 248591.113
AT ITER 5047 NEW BEST:: SOT 999741 SOS 533809 HAS SOPS 533809 HAS SOUS 247816 HAS SOUPS 247816 WITH SCORE 248349.809
AT ITER 5054 NEW BEST:: SOT 999637 SOS 533678 HAS SOPS 533678 HAS SOUS 247675 HAS SOUPS 247675 WITH SCORE 248208.678
AT ITER 5070 NEW BEST:: SOT 999660 SOS 533597 HAS SOPS 533597 HAS SOUS 247613 HAS SOUPS 247613 WITH SCORE 248146.597
AT ITER 5100 NEW BEST:: SOT 999626 SOS 533563 HAS SOPS 533563 HAS SOUS 247572 HAS SOUPS 247572 WITH SCORE 248105.563
AT ITER 5103 NEW BEST:: SOT 999626 SOS 532933 HAS SOPS 532933 HAS SOUS 247572 HAS SOUPS 247572 WITH SCORE 248104.933
AT ITER 5108 NEW BEST:: SOT 999748 SOS 533118 HAS SOPS 533118 HAS SOUS 247512 HAS SOUPS 247512 WITH SCORE 248045.118
AT ITER 5160 NEW BEST:: SOT 999494 SOS 532769 HAS SOPS 532769 HAS SOUS 247187 HAS SOUPS 247187 WITH SCORE 247719.769
AT ITER 5181 NEW BEST:: SOT 999459 SOS 532853 HAS SOPS 532853 HAS SOUS 247002 HAS SOUPS 247002 WITH SCORE 247534.853
AT ITER 5189 NEW BEST:: SOT 999229 SOS 532079 HAS SOPS 532079 HAS SOUS 246724 HAS SOUPS 246724 WITH SCORE 247256.079
AT ITER 5197 NEW BEST:: SOT 999108 SOS 531958 HAS SOPS 531958 HAS SOUS 246502 HAS SOUPS 246502 WITH SCORE 247033.958
AT ITER 5199 NEW BEST:: SOT 999108 SOS 530992 HAS SOPS 530992 HAS SOUS 246502 HAS SOUPS 246502 WITH SCORE 247032.992
AT ITER 5209 NEW BEST:: SOT 999006 SOS 531020 HAS SOPS 531020 HAS SOUS 246444 HAS SOUPS 246444 WITH SCORE 246975.02
AT ITER 5224 NEW BEST:: SOT 998910 SOS 531025 HAS SOPS 531025 HAS SOUS 246337 HAS SOUPS 246337 WITH SCORE 246868.025
AT ITER 5227 NEW BEST:: SOT 998910 SOS 530801 HAS SOPS 530801 HAS SOUS 246333 HAS SOUPS 246333 WITH SCORE 246863.801
AT ITER 5233 NEW BEST:: SOT 998883 SOS 530693 HAS SOPS 530693 HAS SOUS 246279 HAS SOUPS 246279 WITH SCORE 246809.693
AT ITER 5234 NEW BEST:: SOT 998766 SOS 530576 HAS SOPS 530576 HAS SOUS 246225 HAS SOUPS 246225 WITH SCORE 246755.576
AT ITER 5251 NEW BEST:: SOT 998677 SOS 530512 HAS SOPS 530512 HAS SOUS 246161 HAS SOUPS 246161 WITH SCORE 246691.512
AT ITER 5258 NEW BEST:: SOT 998676 SOS 530512 HAS SOPS 530512 HAS SOUS 246160 HAS SOUPS 246160 WITH SCORE 246690.512
AT ITER 5262 NEW BEST:: SOT 998625 SOS 530410 HAS SOPS 530410 HAS SOUS 246058 HAS SOUPS 246058 WITH SCORE 246588.41
AT ITER 5270 NEW BEST:: SOT 998452 SOS 530221 HAS SOPS 530221 HAS SOUS 245858 HAS SOUPS 245858 WITH SCORE 246388.221
AT ITER 5302 NEW BEST:: SOT 998402 SOS 530211 HAS SOPS 530211 HAS SOUS 245798 HAS SOUPS 245798 WITH SCORE 246328.211
AT ITER 5326 NEW BEST:: SOT 998345 SOS 530109 HAS SOPS 530109 HAS SOUS 245696 HAS SOUPS 245696 WITH SCORE 246226.109
AT ITER 5352 NEW BEST:: SOT 998410 SOS 529892 HAS SOPS 529892 HAS SOUS 245491 HAS SOUPS 245491 WITH SCORE 246020.892
AT ITER 5357 NEW BEST:: SOT 998065 SOS 529874 HAS SOPS 529874 HAS SOUS 245225 HAS SOUPS 245225 WITH SCORE 245754.874
AT ITER 5358 NEW BEST:: SOT 998065 SOS 530032 HAS SOPS 530032 HAS SOUS 245215 HAS SOUPS 245215 WITH SCORE 245745.032
AT ITER 5364 NEW BEST:: SOT 998008 SOS 529975 HAS SOPS 529975 HAS SOUS 245157 HAS SOUPS 245157 WITH SCORE 245686.975
AT ITER 5366 NEW BEST:: SOT 997882 SOS 529960 HAS SOPS 529960 HAS SOUS 244970 HAS SOUPS 244970 WITH SCORE 245499.96
AT ITER 5379 NEW BEST:: SOT 997920 SOS 529979 HAS SOPS 529979 HAS SOUS 244932 HAS SOUPS 244932 WITH SCORE 245461.979
AT ITER 5401 NEW BEST:: SOT 996868 SOS 529113 HAS SOPS 529113 HAS SOUS 244333 HAS SOUPS 244333 WITH SCORE 244862.113
AT ITER 5426 NEW BEST:: SOT 996851 SOS 529096 HAS SOPS 529096 HAS SOUS 244302 HAS SOUPS 244302 WITH SCORE 244831.096
AT ITER 5430 NEW BEST:: SOT 996793 SOS 529074 HAS SOPS 529074 HAS SOUS 244175 HAS SOUPS 244175 WITH SCORE 244704.074
AT ITER 5432 NEW BEST:: SOT 996793 SOS 528658 HAS SOPS 528658 HAS SOUS 244175 HAS SOUPS 244175 WITH SCORE 244703.658
AT ITER 5480 NEW BEST:: SOT 995727 SOS 527764 HAS SOPS 527764 HAS SOUS 243257 HAS SOUPS 243257 WITH SCORE 243784.764
AT ITER 5482 NEW BEST:: SOT 995405 SOS 527442 HAS SOPS 527442 HAS SOUS 243252 HAS SOUPS 243252 WITH SCORE 243779.442
AT ITER 5512 NEW BEST:: SOT 995257 SOS 527294 HAS SOPS 527294 HAS SOUS 243138 HAS SOUPS 243138 WITH SCORE 243665.294
AT ITER 5526 NEW BEST:: SOT 995256 SOS 527293 HAS SOPS 527293 HAS SOUS 243137 HAS SOUPS 243137 WITH SCORE 243664.293
AT ITER 5545 NEW BEST:: SOT 995209 SOS 527246 HAS SOPS 527246 HAS SOUS 242996 HAS SOUPS 242996 WITH SCORE 243523.246
AT ITER 5548 NEW BEST:: SOT 994693 SOS 526730 HAS SOPS 526730 HAS SOUS 242861 HAS SOUPS 242861 WITH SCORE 243387.73
AT ITER 5552 NEW BEST:: SOT 994613 SOS 526511 HAS SOPS 526511 HAS SOUS 242834 HAS SOUPS 242834 WITH SCORE 243360.511
AT ITER 5574 NEW BEST:: SOT 994611 SOS 526345 HAS SOPS 526345 HAS SOUS 242828 HAS SOUPS 242828 WITH SCORE 243354.345
AT ITER 5607 NEW BEST:: SOT 994300 SOS 526306 HAS SOPS 526306 HAS SOUS 242206 HAS SOUPS 242206 WITH SCORE 242732.306
AT ITER 5619 NEW BEST:: SOT 994296 SOS 526302 HAS SOPS 526302 HAS SOUS 242206 HAS SOUPS 242206 WITH SCORE 242732.302
AT ITER 5633 NEW BEST:: SOT 994296 SOS 526249 HAS SOPS 526249 HAS SOUS 242153 HAS SOUPS 242153 WITH SCORE 242679.249
AT ITER 5634 NEW BEST:: SOT 994130 SOS 526312 HAS SOPS 526312 HAS SOUS 242007 HAS SOUPS 242007 WITH SCORE 242533.312
AT ITER 5647 NEW BEST:: SOT 994177 SOS 526265 HAS SOPS 526265 HAS SOUS 241960 HAS SOUPS 241960 WITH SCORE 242486.265
AT ITER 5648 NEW BEST:: SOT 994067 SOS 526155 HAS SOPS 526155 HAS SOUS 241850 HAS SOUPS 241850 WITH SCORE 242376.155
AT ITER 5650 NEW BEST:: SOT 993994 SOS 526009 HAS SOPS 526009 HAS SOUS 241614 HAS SOUPS 241614 WITH SCORE 242140.009
AT ITER 5658 NEW BEST:: SOT 993951 SOS 525966 HAS SOPS 525966 HAS SOUS 241560 HAS SOUPS 241560 WITH SCORE 242085.966
AT ITER 5670 NEW BEST:: SOT 993941 SOS 525956 HAS SOPS 525956 HAS SOUS 241550 HAS SOUPS 241550 WITH SCORE 242075.956
AT ITER 5671 NEW BEST:: SOT 993896 SOS 525911 HAS SOPS 525911 HAS SOUS 241482 HAS SOUPS 241482 WITH SCORE 242007.911
AT ITER 5673 NEW BEST:: SOT 993797 SOS 525928 HAS SOPS 525928 HAS SOUS 241475 HAS SOUPS 241475 WITH SCORE 242000.928
AT ITER 5681 NEW BEST:: SOT 993530 SOS 525865 HAS SOPS 525865 HAS SOUS 241300 HAS SOUPS 241300 WITH SCORE 241825.865
AT ITER 5700 NEW BEST:: SOT 993392 SOS 525486 HAS SOPS 525486 HAS SOUS 241167 HAS SOUPS 241167 WITH SCORE 241692.486
AT ITER 5715 NEW BEST:: SOT 993392 SOS 525451 HAS SOPS 525451 HAS SOUS 241167 HAS SOUPS 241167 WITH SCORE 241692.451
AT ITER 5762 NEW BEST:: SOT 993002 SOS 524914 HAS SOPS 524914 HAS SOUS 240630 HAS SOUPS 240630 WITH SCORE 241154.914
AT ITER 5771 NEW BEST:: SOT 993002 SOS 524752 HAS SOPS 524752 HAS SOUS 240468 HAS SOUPS 240468 WITH SCORE 240992.752
AT ITER 5776 NEW BEST:: SOT 992953 SOS 524605 HAS SOPS 524605 HAS SOUS 240370 HAS SOUPS 240370 WITH SCORE 240894.605
AT ITER 5793 NEW BEST:: SOT 992941 SOS 524539 HAS SOPS 524539 HAS SOUS 240346 HAS SOUPS 240346 WITH SCORE 240870.539
AT ITER 5794 NEW BEST:: SOT 992857 SOS 524551 HAS SOPS 524551 HAS SOUS 240262 HAS SOUPS 240262 WITH SCORE 240786.551
AT ITER 5799 NEW BEST:: SOT 992931 SOS 524882 HAS SOPS 524882 HAS SOUS 239862 HAS SOUPS 239862 WITH SCORE 240386.882
AT ITER 5825 NEW BEST:: SOT 992931 SOS 524834 HAS SOPS 524834 HAS SOUS 239838 HAS SOUPS 239838 WITH SCORE 240362.834
AT ITER 5827 NEW BEST:: SOT 992875 SOS 524912 HAS SOPS 524912 HAS SOUS 239726 HAS SOUPS 239726 WITH SCORE 240250.912
AT ITER 5828 NEW BEST:: SOT 992827 SOS 524864 HAS SOPS 524864 HAS SOUS 239673 HAS SOUPS 239673 WITH SCORE 240197.864
AT ITER 5837 NEW BEST:: SOT 992867 SOS 524782 HAS SOPS 524782 HAS SOUS 239591 HAS SOUPS 239591 WITH SCORE 240115.782
AT ITER 5868 NEW BEST:: SOT 992763 SOS 524678 HAS SOPS 524678 HAS SOUS 239565 HAS SOUPS 239565 WITH SCORE 240089.678
AT ITER 5878 NEW BEST:: SOT 992762 SOS 524677 HAS SOPS 524677 HAS SOUS 239563 HAS SOUPS 239563 WITH SCORE 240087.677
AT ITER 5887 NEW BEST:: SOT 992675 SOS 524590 HAS SOPS 524590 HAS SOUS 239336 HAS SOUPS 239336 WITH SCORE 239860.59
AT ITER 5899 NEW BEST:: SOT 992569 SOS 524378 HAS SOPS 524378 HAS SOUS 239124 HAS SOUPS 239124 WITH SCORE 239648.378
AT ITER 5906 NEW BEST:: SOT 992569 SOS 524251 HAS SOPS 524251 HAS SOUS 238997 HAS SOUPS 238997 WITH SCORE 239521.251
AT ITER 5907 NEW BEST:: SOT 992569 SOS 524222 HAS SOPS 524222 HAS SOUS 238996 HAS SOUPS 238996 WITH SCORE 239520.222
AT ITER 5930 NEW BEST:: SOT 992538 SOS 524191 HAS SOPS 524191 HAS SOUS 238965 HAS SOUPS 238965 WITH SCORE 239489.191
AT ITER 5936 NEW BEST:: SOT 992536 SOS 524187 HAS SOPS 524187 HAS SOUS 238961 HAS SOUPS 238961 WITH SCORE 239485.187
AT ITER 5959 NEW BEST:: SOT 993117 SOS 524209 HAS SOPS 524209 HAS SOUS 238932 HAS SOUPS 238932 WITH SCORE 239456.209
AT ITER 5966 NEW BEST:: SOT 993386 SOS 523441 HAS SOPS 523441 HAS SOUS 238817 HAS SOUPS 238817 WITH SCORE 239340.441
AT ITER 5995 NEW BEST:: SOT 992985 SOS 522553 HAS SOPS 522553 HAS SOUS 238015 HAS SOUPS 238015 WITH SCORE 238537.553
AT ITER 6005 NEW BEST:: SOT 992764 SOS 520467 HAS SOPS 520467 HAS SOUS 237496 HAS SOUPS 237496 WITH SCORE 238016.467
AT ITER 6016 NEW BEST:: SOT 992704 SOS 520355 HAS SOPS 520355 HAS SOUS 237384 HAS SOUPS 237384 WITH SCORE 237904.355
AT ITER 6038 NEW BEST:: SOT 992704 SOS 520347 HAS SOPS 520347 HAS SOUS 237376 HAS SOUPS 237376 WITH SCORE 237896.347
AT ITER 6051 NEW BEST:: SOT 992613 SOS 520226 HAS SOPS 520226 HAS SOUS 237330 HAS SOUPS 237330 WITH SCORE 237850.226
AT ITER 6052 NEW BEST:: SOT 992931 SOS 520234 HAS SOPS 520234 HAS SOUS 237316 HAS SOUPS 237316 WITH SCORE 237836.234
AT ITER 6073 NEW BEST:: SOT 993010 SOS 519497 HAS SOPS 519497 HAS SOUS 237275 HAS SOUPS 237275 WITH SCORE 237794.497
AT ITER 6082 NEW BEST:: SOT 992737 SOS 520237 HAS SOPS 520237 HAS SOUS 237080 HAS SOUPS 237080 WITH SCORE 237600.237
AT ITER 6088 NEW BEST:: SOT 992698 SOS 520220 HAS SOPS 520220 HAS SOUS 237061 HAS SOUPS 237061 WITH SCORE 237581.22
AT ITER 6093 NEW BEST:: SOT 992641 SOS 520163 HAS SOPS 520163 HAS SOUS 236982 HAS SOUPS 236982 WITH SCORE 237502.163
AT ITER 6097 NEW BEST:: SOT 992641 SOS 519941 HAS SOPS 519941 HAS SOUS 236981 HAS SOUPS 236981 WITH SCORE 237500.941
AT ITER 6119 NEW BEST:: SOT 992846 SOS 520146 HAS SOPS 520146 HAS SOUS 236954 HAS SOUPS 236954 WITH SCORE 237474.146
AT ITER 6158 NEW BEST:: SOT 992801 SOS 519805 HAS SOPS 519805 HAS SOUS 236908 HAS SOUPS 236908 WITH SCORE 237427.805
AT ITER 6182 NEW BEST:: SOT 992792 SOS 519760 HAS SOPS 519760 HAS SOUS 236899 HAS SOUPS 236899 WITH SCORE 237418.76
AT ITER 6195 NEW BEST:: SOT 992783 SOS 519678 HAS SOPS 519678 HAS SOUS 236765 HAS SOUPS 236765 WITH SCORE 237284.678
AT ITER 6218 NEW BEST:: SOT 992783 SOS 519578 HAS SOPS 519578 HAS SOUS 236765 HAS SOUPS 236765 WITH SCORE 237284.578
AT ITER 6232 NEW BEST:: SOT 992783 SOS 519536 HAS SOPS 519536 HAS SOUS 236740 HAS SOUPS 236740 WITH SCORE 237259.536
AT ITER 6240 NEW BEST:: SOT 992741 SOS 519452 HAS SOPS 519452 HAS SOUS 236532 HAS SOUPS 236532 WITH SCORE 237051.452
AT ITER 6255 NEW BEST:: SOT 993259 SOS 519767 HAS SOPS 519767 HAS SOUS 236186 HAS SOUPS 236186 WITH SCORE 236705.767
AT ITER 6277 NEW BEST:: SOT 993335 SOS 519538 HAS SOPS 519538 HAS SOUS 236079 HAS SOUPS 236079 WITH SCORE 236598.538
AT ITER 6293 NEW BEST:: SOT 993141 SOS 519205 HAS SOPS 519205 HAS SOUS 235691 HAS SOUPS 235691 WITH SCORE 236210.205
AT ITER 6342 NEW BEST:: SOT 993239 SOS 519303 HAS SOPS 519303 HAS SOUS 235683 HAS SOUPS 235683 WITH SCORE 236202.303
AT ITER 6352 NEW BEST:: SOT 993239 SOS 519339 HAS SOPS 519339 HAS SOUS 235671 HAS SOUPS 235671 WITH SCORE 236190.339
AT ITER 6396 NEW BEST:: SOT 993208 SOS 519215 HAS SOPS 519215 HAS SOUS 235609 HAS SOUPS 235609 WITH SCORE 236128.215
AT ITER 6404 NEW BEST:: SOT 993294 SOS 519174 HAS SOPS 519174 HAS SOUS 235568 HAS SOUPS 235568 WITH SCORE 236087.174
AT ITER 6406 NEW BEST:: SOT 993288 SOS 519162 HAS SOPS 519162 HAS SOUS 235550 HAS SOUPS 235550 WITH SCORE 236069.162
AT ITER 6429 NEW BEST:: SOT 993134 SOS 518975 HAS SOPS 518975 HAS SOUS 235468 HAS SOUPS 235468 WITH SCORE 235986.975
AT ITER 6431 NEW BEST:: SOT 993134 SOS 518936 HAS SOPS 518936 HAS SOUS 235429 HAS SOUPS 235429 WITH SCORE 235947.936
AT ITER 6436 NEW BEST:: SOT 991730 SOS 518156 HAS SOPS 518156 HAS SOUS 234025 HAS SOUPS 234025 WITH SCORE 234543.156
AT ITER 6463 NEW BEST:: SOT 991678 SOS 518104 HAS SOPS 518104 HAS SOUS 233918 HAS SOUPS 233918 WITH SCORE 234436.104
AT ITER 6499 NEW BEST:: SOT 991771 SOS 518212 HAS SOPS 518212 HAS SOUS 233909 HAS SOUPS 233909 WITH SCORE 234427.212
AT ITER 6522 NEW BEST:: SOT 991972 SOS 518100 HAS SOPS 518100 HAS SOUS 233840 HAS SOUPS 233840 WITH SCORE 234358.1
AT ITER 6534 NEW BEST:: SOT 991912 SOS 518040 HAS SOPS 518040 HAS SOUS 233754 HAS SOUPS 233754 WITH SCORE 234272.04
AT ITER 6536 NEW BEST:: SOT 992026 SOS 518172 HAS SOPS 518172 HAS SOUS 233739 HAS SOUPS 233739 WITH SCORE 234257.172
AT ITER 6558 NEW BEST:: SOT 991847 SOS 517770 HAS SOPS 517770 HAS SOUS 233504 HAS SOUPS 233504 WITH SCORE 234021.77
AT ITER 6560 NEW BEST:: SOT 991842 SOS 517726 HAS SOPS 517726 HAS SOUS 233494 HAS SOUPS 233494 WITH SCORE 234011.726
AT ITER 6561 NEW BEST:: SOT 991842 SOS 517720 HAS SOPS 517720 HAS SOUS 233488 HAS SOUPS 233488 WITH SCORE 234005.72
AT ITER 6574 NEW BEST:: SOT 991734 SOS 517666 HAS SOPS 517666 HAS SOUS 233380 HAS SOUPS 233380 WITH SCORE 233897.666
AT ITER 6579 NEW BEST:: SOT 991816 SOS 517647 HAS SOPS 517647 HAS SOUS 233361 HAS SOUPS 233361 WITH SCORE 233878.647
AT ITER 6591 NEW BEST:: SOT 991723 SOS 517554 HAS SOPS 517554 HAS SOUS 233233 HAS SOUPS 233233 WITH SCORE 233750.554
AT ITER 6599 NEW BEST:: SOT 991803 SOS 517422 HAS SOPS 517422 HAS SOUS 233111 HAS SOUPS 233111 WITH SCORE 233628.422
AT ITER 6626 NEW BEST:: SOT 991778 SOS 517395 HAS SOPS 517395 HAS SOUS 233099 HAS SOUPS 233099 WITH SCORE 233616.395
AT ITER 6627 NEW BEST:: SOT 991768 SOS 517380 HAS SOPS 517380 HAS SOUS 233084 HAS SOUPS 233084 WITH SCORE 233601.38
AT ITER 6642 NEW BEST:: SOT 991768 SOS 517211 HAS SOPS 517211 HAS SOUS 232915 HAS SOUPS 232915 WITH SCORE 233432.211
AT ITER 6676 NEW BEST:: SOT 991221 SOS 517421 HAS SOPS 517421 HAS SOUS 232590 HAS SOUPS 232590 WITH SCORE 233107.421
AT ITER 6690 NEW BEST:: SOT 991110 SOS 517310 HAS SOPS 517310 HAS SOUS 232479 HAS SOUPS 232479 WITH SCORE 232996.31
AT ITER 6718 NEW BEST:: SOT 991084 SOS 517284 HAS SOPS 517284 HAS SOUS 232427 HAS SOUPS 232427 WITH SCORE 232944.284
AT ITER 6728 NEW BEST:: SOT 991188 SOS 517105 HAS SOPS 517105 HAS SOUS 232381 HAS SOUPS 232381 WITH SCORE 232898.105
AT ITER 6741 NEW BEST:: SOT 991130 SOS 517141 HAS SOPS 517141 HAS SOUS 232341 HAS SOUPS 232341 WITH SCORE 232858.141
AT ITER 6757 NEW BEST:: SOT 991070 SOS 517081 HAS SOPS 517081 HAS SOUS 232306 HAS SOUPS 232306 WITH SCORE 232823.081
AT ITER 6761 NEW BEST:: SOT 991293 SOS 517285 HAS SOPS 517285 HAS SOUS 232078 HAS SOUPS 232078 WITH SCORE 232595.285
AT ITER 6781 NEW BEST:: SOT 991286 SOS 517273 HAS SOPS 517273 HAS SOUS 232066 HAS SOUPS 232066 WITH SCORE 232583.273
AT ITER 6786 NEW BEST:: SOT 991139 SOS 517126 HAS SOPS 517126 HAS SOUS 231960 HAS SOUPS 231960 WITH SCORE 232477.126
AT ITER 6796 NEW BEST:: SOT 991139 SOS 517076 HAS SOPS 517076 HAS SOUS 231960 HAS SOUPS 231960 WITH SCORE 232477.076
AT ITER 6803 NEW BEST:: SOT 991111 SOS 517020 HAS SOPS 517020 HAS SOUS 231904 HAS SOUPS 231904 WITH SCORE 232421.02
AT ITER 6812 NEW BEST:: SOT 991070 SOS 516776 HAS SOPS 516776 HAS SOUS 231744 HAS SOUPS 231744 WITH SCORE 232260.776
AT ITER 6839 NEW BEST:: SOT 991066 SOS 516772 HAS SOPS 516772 HAS SOUS 231740 HAS SOUPS 231740 WITH SCORE 232256.772
AT ITER 6847 NEW BEST:: SOT 990958 SOS 516728 HAS SOPS 516728 HAS SOUS 231646 HAS SOUPS 231646 WITH SCORE 232162.728
AT ITER 6860 NEW BEST:: SOT 990787 SOS 516557 HAS SOPS 516557 HAS SOUS 231475 HAS SOUPS 231475 WITH SCORE 231991.557
AT ITER 6900 NEW BEST:: SOT 990746 SOS 516516 HAS SOPS 516516 HAS SOUS 231434 HAS SOUPS 231434 WITH SCORE 231950.516
AT ITER 6909 NEW BEST:: SOT 990717 SOS 516366 HAS SOPS 516366 HAS SOUS 231376 HAS SOUPS 231376 WITH SCORE 231892.366
AT ITER 6929 NEW BEST:: SOT 990717 SOS 516260 HAS SOPS 516260 HAS SOUS 231270 HAS SOUPS 231270 WITH SCORE 231786.26
AT ITER 6938 NEW BEST:: SOT 990452 SOS 515995 HAS SOPS 515995 HAS SOUS 231024 HAS SOUPS 231024 WITH SCORE 231539.995
AT ITER 6968 NEW BEST:: SOT 990452 SOS 515987 HAS SOPS 515987 HAS SOUS 231024 HAS SOUPS 231024 WITH SCORE 231539.987
AT ITER 6980 NEW BEST:: SOT 990452 SOS 515981 HAS SOPS 515981 HAS SOUS 231013 HAS SOUPS 231013 WITH SCORE 231528.981
AT ITER 6999 NEW BEST:: SOT 990408 SOS 515367 HAS SOPS 515367 HAS SOUS 230969 HAS SOUPS 230969 WITH SCORE 231484.367
AT ITER 7026 NEW BEST:: SOT 990383 SOS 515313 HAS SOPS 515313 HAS SOUS 230915 HAS SOUPS 230915 WITH SCORE 231430.313
AT ITER 7028 NEW BEST:: SOT 990360 SOS 515267 HAS SOPS 515267 HAS SOUS 230869 HAS SOUPS 230869 WITH SCORE 231384.267
AT ITER 7068 NEW BEST:: SOT 990370 SOS 515346 HAS SOPS 515346 HAS SOUS 230758 HAS SOUPS 230758 WITH SCORE 231273.346
AT ITER 7069 NEW BEST:: SOT 990337 SOS 515280 HAS SOPS 515280 HAS SOUS 230692 HAS SOUPS 230692 WITH SCORE 231207.28
AT ITER 7076 NEW BEST:: SOT 990265 SOS 515109 HAS SOPS 515109 HAS SOUS 230514 HAS SOUPS 230514 WITH SCORE 231029.109
AT ITER 7102 NEW BEST:: SOT 990230 SOS 515074 HAS SOPS 515074 HAS SOUS 230453 HAS SOUPS 230453 WITH SCORE 230968.074
AT ITER 7111 NEW BEST:: SOT 990391 SOS 514913 HAS SOPS 514913 HAS SOUS 230453 HAS SOUPS 230453 WITH SCORE 230967.913
AT ITER 7128 NEW BEST:: SOT 990383 SOS 514809 HAS SOPS 514809 HAS SOUS 230349 HAS SOUPS 230349 WITH SCORE 230863.809
AT ITER 7164 NEW BEST:: SOT 990331 SOS 514757 HAS SOPS 514757 HAS SOUS 230349 HAS SOUPS 230349 WITH SCORE 230863.757
AT ITER 7213 NEW BEST:: SOT 990277 SOS 514700 HAS SOPS 514700 HAS SOUS 230292 HAS SOUPS 230292 WITH SCORE 230806.7
AT ITER 7227 NEW BEST:: SOT 990249 SOS 514672 HAS SOPS 514672 HAS SOUS 230250 HAS SOUPS 230250 WITH SCORE 230764.672
AT ITER 7228 NEW BEST:: SOT 990247 SOS 514670 HAS SOPS 514670 HAS SOUS 230246 HAS SOUPS 230246 WITH SCORE 230760.67
AT ITER 7258 NEW BEST:: SOT 990247 SOS 514633 HAS SOPS 514633 HAS SOUS 230209 HAS SOUPS 230209 WITH SCORE 230723.633
AT ITER 7290 NEW BEST:: SOT 990080 SOS 514299 HAS SOPS 514299 HAS SOUS 229708 HAS SOUPS 229708 WITH SCORE 230222.299
AT ITER 7298 NEW BEST:: SOT 990079 SOS 514018 HAS SOPS 514018 HAS SOUS 229706 HAS SOUPS 229706 WITH SCORE 230220.018
AT ITER 7324 NEW BEST:: SOT 990160 SOS 513982 HAS SOPS 513982 HAS SOUS 229670 HAS SOUPS 229670 WITH SCORE 230183.982
AT ITER 7345 NEW BEST:: SOT 990152 SOS 513966 HAS SOPS 513966 HAS SOUS 229654 HAS SOUPS 229654 WITH SCORE 230167.966
AT ITER 7357 NEW BEST:: SOT 989949 SOS 513882 HAS SOPS 513882 HAS SOUS 229529 HAS SOUPS 229529 WITH SCORE 230042.882
AT ITER 7360 NEW BEST:: SOT 989905 SOS 513838 HAS SOPS 513838 HAS SOUS 229485 HAS SOUPS 229485 WITH SCORE 229998.838
AT ITER 7370 NEW BEST:: SOT 989879 SOS 513812 HAS SOPS 513812 HAS SOUS 229459 HAS SOUPS 229459 WITH SCORE 229972.812
AT ITER 7387 NEW BEST:: SOT 989909 SOS 513801 HAS SOPS 513801 HAS SOUS 229448 HAS SOUPS 229448 WITH SCORE 229961.801
AT ITER 7388 NEW BEST:: SOT 988909 SOS 512801 HAS SOPS 512801 HAS SOUS 228533 HAS SOUPS 228533 WITH SCORE 229045.801
AT ITER 7405 NEW BEST:: SOT 988910 SOS 512601 HAS SOPS 512601 HAS SOUS 228481 HAS SOUPS 228481 WITH SCORE 228993.601
AT ITER 7421 NEW BEST:: SOT 988910 SOS 512377 HAS SOPS 512377 HAS SOUS 228479 HAS SOUPS 228479 WITH SCORE 228991.377
AT ITER 7431 NEW BEST:: SOT 988898 SOS 512260 HAS SOPS 512260 HAS SOUS 228455 HAS SOUPS 228455 WITH SCORE 228967.26
AT ITER 7439 NEW BEST:: SOT 988680 SOS 512141 HAS SOPS 512141 HAS SOUS 228254 HAS SOUPS 228254 WITH SCORE 228766.141
AT ITER 7473 NEW BEST:: SOT 988640 SOS 512140 HAS SOPS 512140 HAS SOUS 228213 HAS SOUPS 228213 WITH SCORE 228725.14
AT ITER 7486 NEW BEST:: SOT 988364 SOS 511956 HAS SOPS 511956 HAS SOUS 228026 HAS SOUPS 228026 WITH SCORE 228537.956
AT ITER 7490 NEW BEST:: SOT 988310 SOS 511902 HAS SOPS 511902 HAS SOUS 227972 HAS SOUPS 227972 WITH SCORE 228483.902
AT ITER 7512 NEW BEST:: SOT 988212 SOS 511754 HAS SOPS 511754 HAS SOUS 227824 HAS SOUPS 227824 WITH SCORE 228335.754
AT ITER 7513 NEW BEST:: SOT 988077 SOS 511561 HAS SOPS 511561 HAS SOUS 227625 HAS SOUPS 227625 WITH SCORE 228136.561
AT ITER 7532 NEW BEST:: SOT 988012 SOS 511227 HAS SOPS 511227 HAS SOUS 227227 HAS SOUPS 227227 WITH SCORE 227738.227
AT ITER 7533 NEW BEST:: SOT 987974 SOS 511157 HAS SOPS 511157 HAS SOUS 227119 HAS SOUPS 227119 WITH SCORE 227630.157
AT ITER 7540 NEW BEST:: SOT 987919 SOS 511105 HAS SOPS 511105 HAS SOUS 227060 HAS SOUPS 227060 WITH SCORE 227571.105
AT ITER 7554 NEW BEST:: SOT 987886 SOS 511072 HAS SOPS 511072 HAS SOUS 227027 HAS SOUPS 227027 WITH SCORE 227538.072
AT ITER 7567 NEW BEST:: SOT 987886 SOS 511227 HAS SOPS 511227 HAS SOUS 226810 HAS SOUPS 226810 WITH SCORE 227321.227
AT ITER 7574 NEW BEST:: SOT 987800 SOS 511032 HAS SOPS 511032 HAS SOUS 226578 HAS SOUPS 226578 WITH SCORE 227089.032
AT ITER 7640 NEW BEST:: SOT 987707 SOS 510906 HAS SOPS 510906 HAS SOUS 226373 HAS SOUPS 226373 WITH SCORE 226883.906
AT ITER 7642 NEW BEST:: SOT 987705 SOS 510904 HAS SOPS 510904 HAS SOUS 226371 HAS SOUPS 226371 WITH SCORE 226881.904
AT ITER 7643 NEW BEST:: SOT 986665 SOS 510118 HAS SOPS 510118 HAS SOUS 226311 HAS SOUPS 226311 WITH SCORE 226821.118
AT ITER 7646 NEW BEST:: SOT 986607 SOS 504057 HAS SOPS 504057 HAS SOUS 226306 HAS SOUPS 226306 WITH SCORE 226810.057
AT ITER 7695 NEW BEST:: SOT 986595 SOS 504057 HAS SOPS 504057 HAS SOUS 226294 HAS SOUPS 226294 WITH SCORE 226798.057
AT ITER 7699 NEW BEST:: SOT 986576 SOS 504038 HAS SOPS 504038 HAS SOUS 226256 HAS SOUPS 226256 WITH SCORE 226760.038
AT ITER 7708 NEW BEST:: SOT 986441 SOS 502152 HAS SOPS 502152 HAS SOUS 225880 HAS SOUPS 225880 WITH SCORE 226382.152
AT ITER 7716 NEW BEST:: SOT 986362 SOS 501997 HAS SOPS 501997 HAS SOUS 225649 HAS SOUPS 225649 WITH SCORE 226150.997
AT ITER 7737 NEW BEST:: SOT 986107 SOS 502110 HAS SOPS 502110 HAS SOUS 225412 HAS SOUPS 225412 WITH SCORE 225914.11
AT ITER 7750 NEW BEST:: SOT 986094 SOS 501923 HAS SOPS 501923 HAS SOUS 225386 HAS SOUPS 225386 WITH SCORE 225887.923
AT ITER 7763 NEW BEST:: SOT 985983 SOS 500801 HAS SOPS 500801 HAS SOUS 224957 HAS SOUPS 224957 WITH SCORE 225457.801
AT ITER 7774 NEW BEST:: SOT 985941 SOS 498641 HAS SOPS 498641 HAS SOUS 224850 HAS SOUPS 224850 WITH SCORE 225348.641
AT ITER 7800 NEW BEST:: SOT 985916 SOS 499134 HAS SOPS 499134 HAS SOUS 224748 HAS SOUPS 224748 WITH SCORE 225247.134
AT ITER 7812 NEW BEST:: SOT 985076 SOS 498294 HAS SOPS 498294 HAS SOUS 223824 HAS SOUPS 223824 WITH SCORE 224322.294
AT ITER 7819 NEW BEST:: SOT 984928 SOS 498135 HAS SOPS 498135 HAS SOUS 223637 HAS SOUPS 223637 WITH SCORE 224135.135
AT ITER 7823 NEW BEST:: SOT 984847 SOS 498054 HAS SOPS 498054 HAS SOUS 223556 HAS SOUPS 223556 WITH SCORE 224054.054
AT ITER 7824 NEW BEST:: SOT 984834 SOS 498041 HAS SOPS 498041 HAS SOUS 223543 HAS SOUPS 223543 WITH SCORE 224041.041
AT ITER 7860 NEW BEST:: SOT 984792 SOS 497992 HAS SOPS 497992 HAS SOUS 223529 HAS SOUPS 223529 WITH SCORE 224026.992
AT ITER 7867 NEW BEST:: SOT 984782 SOS 497972 HAS SOPS 497972 HAS SOUS 223509 HAS SOUPS 223509 WITH SCORE 224006.972
AT ITER 7883 NEW BEST:: SOT 985196 SOS 497996 HAS SOPS 497996 HAS SOUS 223011 HAS SOUPS 223011 WITH SCORE 223508.996
AT ITER 7887 NEW BEST:: SOT 985196 SOS 497996 HAS SOPS 497996 HAS SOUS 223007 HAS SOUPS 223007 WITH SCORE 223504.996
AT ITER 7894 NEW BEST:: SOT 985196 SOS 497947 HAS SOPS 497947 HAS SOUS 223007 HAS SOUPS 223007 WITH SCORE 223504.947
AT ITER 7929 NEW BEST:: SOT 985178 SOS 497932 HAS SOPS 497932 HAS SOUS 222992 HAS SOUPS 222992 WITH SCORE 223489.932
AT ITER 7930 NEW BEST:: SOT 985547 SOS 497896 HAS SOPS 497896 HAS SOUS 222980 HAS SOUPS 222980 WITH SCORE 223477.896
AT ITER 7963 NEW BEST:: SOT 985580 SOS 497722 HAS SOPS 497722 HAS SOUS 222806 HAS SOUPS 222806 WITH SCORE 223303.722
AT ITER 7987 NEW BEST:: SOT 985646 SOS 497696 HAS SOPS 497696 HAS SOUS 222780 HAS SOUPS 222780 WITH SCORE 223277.696
AT ITER 8016 NEW BEST:: SOT 985558 SOS 497551 HAS SOPS 497551 HAS SOUS 222748 HAS SOUPS 222748 WITH SCORE 223245.551
AT ITER 8025 NEW BEST:: SOT 985545 SOS 497538 HAS SOPS 497538 HAS SOUS 222743 HAS SOUPS 222743 WITH SCORE 223240.538
AT ITER 8027 NEW BEST:: SOT 985353 SOS 497346 HAS SOPS 497346 HAS SOUS 222429 HAS SOUPS 222429 WITH SCORE 222926.346
AT ITER 8044 NEW BEST:: SOT 985353 SOS 497331 HAS SOPS 497331 HAS SOUS 222414 HAS SOUPS 222414 WITH SCORE 222911.331
AT ITER 8047 NEW BEST:: SOT 985327 SOS 497279 HAS SOPS 497279 HAS SOUS 222362 HAS SOUPS 222362 WITH SCORE 222859.279
AT ITER 8048 NEW BEST:: SOT 985397 SOS 497236 HAS SOPS 497236 HAS SOUS 222319 HAS SOUPS 222319 WITH SCORE 222816.236
AT ITER 8087 NEW BEST:: SOT 985246 SOS 498435 HAS SOPS 498435 HAS SOUS 222301 HAS SOUPS 222301 WITH SCORE 222799.435
AT ITER 8148 NEW BEST:: SOT 985246 SOS 498297 HAS SOPS 498297 HAS SOUS 222253 HAS SOUPS 222253 WITH SCORE 222751.297
AT ITER 8151 NEW BEST:: SOT 985237 SOS 498279 HAS SOPS 498279 HAS SOUS 222243 HAS SOUPS 222243 WITH SCORE 222741.279
AT ITER 8155 NEW BEST:: SOT 985234 SOS 498252 HAS SOPS 498252 HAS SOUS 222216 HAS SOUPS 222216 WITH SCORE 222714.252
AT ITER 8157 NEW BEST:: SOT 985221 SOS 498239 HAS SOPS 498239 HAS SOUS 222203 HAS SOUPS 222203 WITH SCORE 222701.239
AT ITER 8161 NEW BEST:: SOT 985022 SOS 498040 HAS SOPS 498040 HAS SOUS 221874 HAS SOUPS 221874 WITH SCORE 222372.04
AT ITER 8166 NEW BEST:: SOT 985022 SOS 498040 HAS SOPS 498040 HAS SOUS 221873 HAS SOUPS 221873 WITH SCORE 222371.04
AT ITER 8185 NEW BEST:: SOT 985005 SOS 498020 HAS SOPS 498020 HAS SOUS 221853 HAS SOUPS 221853 WITH SCORE 222351.02
AT ITER 8212 NEW BEST:: SOT 984991 SOS 497992 HAS SOPS 497992 HAS SOUS 221825 HAS SOUPS 221825 WITH SCORE 222322.992
AT ITER 8225 NEW BEST:: SOT 984946 SOS 498528 HAS SOPS 498528 HAS SOUS 221735 HAS SOUPS 221735 WITH SCORE 222233.528
AT ITER 8233 NEW BEST:: SOT 984884 SOS 498429 HAS SOPS 498429 HAS SOUS 221636 HAS SOUPS 221636 WITH SCORE 222134.429
AT ITER 8234 NEW BEST:: SOT 984884 SOS 498407 HAS SOPS 498407 HAS SOUS 221614 HAS SOUPS 221614 WITH SCORE 222112.407
AT ITER 8236 NEW BEST:: SOT 984882 SOS 498405 HAS SOPS 498405 HAS SOUS 221593 HAS SOUPS 221593 WITH SCORE 222091.405
AT ITER 8251 NEW BEST:: SOT 984852 SOS 498345 HAS SOPS 498345 HAS SOUS 221533 HAS SOUPS 221533 WITH SCORE 222031.345
AT ITER 8256 NEW BEST:: SOT 984841 SOS 498389 HAS SOPS 498389 HAS SOUS 221511 HAS SOUPS 221511 WITH SCORE 222009.389
AT ITER 8281 NEW BEST:: SOT 984634 SOS 498182 HAS SOPS 498182 HAS SOUS 221511 HAS SOUPS 221511 WITH SCORE 222009.182
AT ITER 8286 NEW BEST:: SOT 984423 SOS 497835 HAS SOPS 497835 HAS SOUS 221061 HAS SOUPS 221061 WITH SCORE 221558.835
AT ITER 8288 NEW BEST:: SOT 984245 SOS 497713 HAS SOPS 497713 HAS SOUS 220919 HAS SOUPS 220919 WITH SCORE 221416.713
AT ITER 8291 NEW BEST:: SOT 983596 SOS 496387 HAS SOPS 496387 HAS SOUS 220884 HAS SOUPS 220884 WITH SCORE 221380.387
AT ITER 8297 NEW BEST:: SOT 982979 SOS 495600 HAS SOPS 495600 HAS SOUS 220097 HAS SOUPS 220097 WITH SCORE 220592.6
AT ITER 8306 NEW BEST:: SOT 982955 SOS 495531 HAS SOPS 495531 HAS SOUS 220025 HAS SOUPS 220025 WITH SCORE 220520.531
AT ITER 8308 NEW BEST:: SOT 982953 SOS 495521 HAS SOPS 495521 HAS SOUS 220023 HAS SOUPS 220023 WITH SCORE 220518.521
AT ITER 8318 NEW BEST:: SOT 982827 SOS 496509 HAS SOPS 496509 HAS SOUS 220009 HAS SOUPS 220009 WITH SCORE 220505.509
AT ITER 8325 NEW BEST:: SOT 982825 SOS 496505 HAS SOPS 496505 HAS SOUS 220005 HAS SOUPS 220005 WITH SCORE 220501.505
AT ITER 8326 NEW BEST:: SOT 982810 SOS 496579 HAS SOPS 496579 HAS SOUS 219958 HAS SOUPS 219958 WITH SCORE 220454.579
AT ITER 8372 NEW BEST:: SOT 982778 SOS 496547 HAS SOPS 496547 HAS SOUS 219841 HAS SOUPS 219841 WITH SCORE 220337.547
AT ITER 8381 NEW BEST:: SOT 982701 SOS 496747 HAS SOPS 496747 HAS SOUS 219826 HAS SOUPS 219826 WITH SCORE 220322.747
AT ITER 8404 NEW BEST:: SOT 982682 SOS 496728 HAS SOPS 496728 HAS SOUS 219807 HAS SOUPS 219807 WITH SCORE 220303.728
AT ITER 8406 NEW BEST:: SOT 982613 SOS 496630 HAS SOPS 496630 HAS SOUS 219640 HAS SOUPS 219640 WITH SCORE 220136.63
AT ITER 8407 NEW BEST:: SOT 982519 SOS 496538 HAS SOPS 496538 HAS SOUS 219471 HAS SOUPS 219471 WITH SCORE 219967.538
AT ITER 8408 NEW BEST:: SOT 982462 SOS 496481 HAS SOPS 496481 HAS SOUS 219439 HAS SOUPS 219439 WITH SCORE 219935.481
AT ITER 8410 NEW BEST:: SOT 982438 SOS 496445 HAS SOPS 496445 HAS SOUS 219403 HAS SOUPS 219403 WITH SCORE 219899.445
AT ITER 8418 NEW BEST:: SOT 982133 SOS 495602 HAS SOPS 495602 HAS SOUS 218690 HAS SOUPS 218690 WITH SCORE 219185.602
AT ITER 8420 NEW BEST:: SOT 982133 SOS 495488 HAS SOPS 495488 HAS SOUS 218649 HAS SOUPS 218649 WITH SCORE 219144.488
AT ITER 8425 NEW BEST:: SOT 982558 SOS 495683 HAS SOPS 495683 HAS SOUS 218614 HAS SOUPS 218614 WITH SCORE 219109.683
AT ITER 8426 NEW BEST:: SOT 982558 SOS 495667 HAS SOPS 495667 HAS SOUS 218612 HAS SOUPS 218612 WITH SCORE 219107.667
AT ITER 8434 NEW BEST:: SOT 982405 SOS 495389 HAS SOPS 495389 HAS SOUS 218476 HAS SOUPS 218476 WITH SCORE 218971.389
AT ITER 8456 NEW BEST:: SOT 982377 SOS 495509 HAS SOPS 495509 HAS SOUS 218408 HAS SOUPS 218408 WITH SCORE 218903.509
AT ITER 8467 NEW BEST:: SOT 982401 SOS 495443 HAS SOPS 495443 HAS SOUS 218359 HAS SOUPS 218359 WITH SCORE 218854.443
AT ITER 8471 NEW BEST:: SOT 982314 SOS 495403 HAS SOPS 495403 HAS SOUS 218252 HAS SOUPS 218252 WITH SCORE 218747.403
AT ITER 8490 NEW BEST:: SOT 982030 SOS 494978 HAS SOPS 494978 HAS SOUS 217827 HAS SOUPS 217827 WITH SCORE 218321.978
AT ITER 8492 NEW BEST:: SOT 982025 SOS 494973 HAS SOPS 494973 HAS SOUS 217817 HAS SOUPS 217817 WITH SCORE 218311.973
AT ITER 8499 NEW BEST:: SOT 982013 SOS 494684 HAS SOPS 494684 HAS SOUS 217516 HAS SOUPS 217516 WITH SCORE 218010.684
AT ITER 8516 NEW BEST:: SOT 981874 SOS 494640 HAS SOPS 494640 HAS SOUS 217450 HAS SOUPS 217450 WITH SCORE 217944.64
AT ITER 8517 NEW BEST:: SOT 981836 SOS 494668 HAS SOPS 494668 HAS SOUS 217426 HAS SOUPS 217426 WITH SCORE 217920.668
AT ITER 8547 NEW BEST:: SOT 981666 SOS 494511 HAS SOPS 494511 HAS SOUS 217269 HAS SOUPS 217269 WITH SCORE 217763.511
AT ITER 8558 NEW BEST:: SOT 981576 SOS 494983 HAS SOPS 494983 HAS SOUS 217154 HAS SOUPS 217154 WITH SCORE 217648.983
AT ITER 8587 NEW BEST:: SOT 980474 SOS 493330 HAS SOPS 493330 HAS SOUS 215501 HAS SOUPS 215501 WITH SCORE 215994.33
AT ITER 8628 NEW BEST:: SOT 980441 SOS 493297 HAS SOPS 493297 HAS SOUS 215468 HAS SOUPS 215468 WITH SCORE 215961.297
AT ITER 8632 NEW BEST:: SOT 980508 SOS 493068 HAS SOPS 493068 HAS SOUS 215461 HAS SOUPS 215461 WITH SCORE 215954.068
AT ITER 8667 NEW BEST:: SOT 980493 SOS 492755 HAS SOPS 492755 HAS SOUS 215325 HAS SOUPS 215325 WITH SCORE 215817.755
AT ITER 8695 NEW BEST:: SOT 980493 SOS 492703 HAS SOPS 492703 HAS SOUS 215200 HAS SOUPS 215200 WITH SCORE 215692.703
AT ITER 8742 NEW BEST:: SOT 980397 SOS 492991 HAS SOPS 492991 HAS SOUS 215008 HAS SOUPS 215008 WITH SCORE 215500.991
AT ITER 8751 NEW BEST:: SOT 980342 SOS 492881 HAS SOPS 492881 HAS SOUS 215008 HAS SOUPS 215008 WITH SCORE 215500.881
AT ITER 8787 NEW BEST:: SOT 980363 SOS 492879 HAS SOPS 492879 HAS SOUS 214971 HAS SOUPS 214971 WITH SCORE 215463.879
AT ITER 8798 NEW BEST:: SOT 980241 SOS 492460 HAS SOPS 492460 HAS SOUS 214251 HAS SOUPS 214251 WITH SCORE 214743.46
AT ITER 8823 NEW BEST:: SOT 980233 SOS 492590 HAS SOPS 492590 HAS SOUS 214218 HAS SOUPS 214218 WITH SCORE 214710.59
AT ITER 8839 NEW BEST:: SOT 980232 SOS 492589 HAS SOPS 492589 HAS SOUS 214217 HAS SOUPS 214217 WITH SCORE 214709.589
AT ITER 8841 NEW BEST:: SOT 980232 SOS 492589 HAS SOPS 492589 HAS SOUS 214214 HAS SOUPS 214214 WITH SCORE 214706.589
AT ITER 8858 NEW BEST:: SOT 980233 SOS 492555 HAS SOPS 492555 HAS SOUS 214180 HAS SOUPS 214180 WITH SCORE 214672.555
AT ITER 8866 NEW BEST:: SOT 979995 SOS 492283 HAS SOPS 492283 HAS SOUS 214146 HAS SOUPS 214146 WITH SCORE 214638.283
AT ITER 8895 NEW BEST:: SOT 979995 SOS 492115 HAS SOPS 492115 HAS SOUS 213989 HAS SOUPS 213989 WITH SCORE 214481.115
AT ITER 8898 NEW BEST:: SOT 979797 SOS 491487 HAS SOPS 491487 HAS SOUS 213781 HAS SOUPS 213781 WITH SCORE 214272.487
AT ITER 8926 NEW BEST:: SOT 979758 SOS 491409 HAS SOPS 491409 HAS SOUS 213703 HAS SOUPS 213703 WITH SCORE 214194.409
AT ITER 8937 NEW BEST:: SOT 979729 SOS 491322 HAS SOPS 491322 HAS SOUS 213616 HAS SOUPS 213616 WITH SCORE 214107.322
AT ITER 8977 NEW BEST:: SOT 979692 SOS 491199 HAS SOPS 491199 HAS SOUS 213552 HAS SOUPS 213552 WITH SCORE 214043.199
AT ITER 8989 NEW BEST:: SOT 979670 SOS 491177 HAS SOPS 491177 HAS SOUS 213509 HAS SOUPS 213509 WITH SCORE 214000.177
AT ITER 8990 NEW BEST:: SOT 979672 SOS 491137 HAS SOPS 491137 HAS SOUS 213469 HAS SOUPS 213469 WITH SCORE 213960.137
AT ITER 9023 NEW BEST:: SOT 979672 SOS 491137 HAS SOPS 491137 HAS SOUS 213418 HAS SOUPS 213418 WITH SCORE 213909.137
AT ITER 9077 NEW BEST:: SOT 979671 SOS 491256 HAS SOPS 491256 HAS SOUS 213416 HAS SOUPS 213416 WITH SCORE 213907.256
AT ITER 9102 NEW BEST:: SOT 979654 SOS 491222 HAS SOPS 491222 HAS SOUS 213399 HAS SOUPS 213399 WITH SCORE 213890.222
AT ITER 9112 NEW BEST:: SOT 979620 SOS 491154 HAS SOPS 491154 HAS SOUS 213331 HAS SOUPS 213331 WITH SCORE 213822.154
AT ITER 9122 NEW BEST:: SOT 979586 SOS 491052 HAS SOPS 491052 HAS SOUS 213297 HAS SOUPS 213297 WITH SCORE 213788.052
AT ITER 9140 NEW BEST:: SOT 979571 SOS 491037 HAS SOPS 491037 HAS SOUS 213282 HAS SOUPS 213282 WITH SCORE 213773.037
AT ITER 9221 NEW BEST:: SOT 979529 SOS 490982 HAS SOPS 490982 HAS SOUS 213227 HAS SOUPS 213227 WITH SCORE 213717.982
AT ITER 9270 NEW BEST:: SOT 979529 SOS 490829 HAS SOPS 490829 HAS SOUS 213014 HAS SOUPS 213014 WITH SCORE 213504.829
AT ITER 9321 NEW BEST:: SOT 979529 SOS 490780 HAS SOPS 490780 HAS SOUS 213014 HAS SOUPS 213014 WITH SCORE 213504.78
AT ITER 9328 NEW BEST:: SOT 979234 SOS 490143 HAS SOPS 490143 HAS SOUS 212418 HAS SOUPS 212418 WITH SCORE 212908.143
AT ITER 9338 NEW BEST:: SOT 979234 SOS 490143 HAS SOPS 490143 HAS SOUS 212338 HAS SOUPS 212338 WITH SCORE 212828.143
AT ITER 9365 NEW BEST:: SOT 979059 SOS 489793 HAS SOPS 489793 HAS SOUS 212129 HAS SOUPS 212129 WITH SCORE 212618.793
AT ITER 9423 NEW BEST:: SOT 978962 SOS 489703 HAS SOPS 489703 HAS SOUS 212044 HAS SOUPS 212044 WITH SCORE 212533.703
AT ITER 9424 NEW BEST:: SOT 978974 SOS 489715 HAS SOPS 489715 HAS SOUS 212041 HAS SOUPS 212041 WITH SCORE 212530.715
AT ITER 9441 NEW BEST:: SOT 978970 SOS 489711 HAS SOPS 489711 HAS SOUS 212041 HAS SOUPS 212041 WITH SCORE 212530.711
AT ITER 9471 NEW BEST:: SOT 978964 SOS 490280 HAS SOPS 490280 HAS SOUS 211954 HAS SOUPS 211954 WITH SCORE 212444.28
AT ITER 9480 NEW BEST:: SOT 978689 SOS 490147 HAS SOPS 490147 HAS SOUS 211739 HAS SOUPS 211739 WITH SCORE 212229.147
AT ITER 9484 NEW BEST:: SOT 978693 SOS 490151 HAS SOPS 490151 HAS SOUS 211723 HAS SOUPS 211723 WITH SCORE 212213.151
AT ITER 9528 NEW BEST:: SOT 978733 SOS 490102 HAS SOPS 490102 HAS SOUS 211674 HAS SOUPS 211674 WITH SCORE 212164.102
AT ITER 9531 NEW BEST:: SOT 978733 SOS 490102 HAS SOPS 490102 HAS SOUS 211669 HAS SOUPS 211669 WITH SCORE 212159.102
AT ITER 9547 NEW BEST:: SOT 978716 SOS 490085 HAS SOPS 490085 HAS SOUS 211652 HAS SOUPS 211652 WITH SCORE 212142.085
AT ITER 9573 NEW BEST:: SOT 978644 SOS 490013 HAS SOPS 490013 HAS SOUS 211580 HAS SOUPS 211580 WITH SCORE 212070.013
AT ITER 9588 NEW BEST:: SOT 978554 SOS 489601 HAS SOPS 489601 HAS SOUS 211374 HAS SOUPS 211374 WITH SCORE 211863.601
AT ITER 9620 NEW BEST:: SOT 978373 SOS 489972 HAS SOPS 489972 HAS SOUS 211083 HAS SOUPS 211083 WITH SCORE 211572.972
AT ITER 9650 NEW BEST:: SOT 978353 SOS 489912 HAS SOPS 489912 HAS SOUS 211023 HAS SOUPS 211023 WITH SCORE 211512.912
AT ITER 9655 NEW BEST:: SOT 978353 SOS 489800 HAS SOPS 489800 HAS SOUS 211023 HAS SOUPS 211023 WITH SCORE 211512.8
AT ITER 9656 NEW BEST:: SOT 978296 SOS 489778 HAS SOPS 489778 HAS SOUS 211001 HAS SOUPS 211001 WITH SCORE 211490.778
AT ITER 9682 NEW BEST:: SOT 978296 SOS 489438 HAS SOPS 489438 HAS SOUS 210831 HAS SOUPS 210831 WITH SCORE 211320.438
AT ITER 9709 NEW BEST:: SOT 978192 SOS 489241 HAS SOPS 489241 HAS SOUS 210623 HAS SOUPS 210623 WITH SCORE 211112.241
AT ITER 9781 NEW BEST:: SOT 978192 SOS 489264 HAS SOPS 489264 HAS SOUS 210269 HAS SOUPS 210269 WITH SCORE 210758.264
AT ITER 9787 NEW BEST:: SOT 978159 SOS 489231 HAS SOPS 489231 HAS SOUS 210267 HAS SOUPS 210267 WITH SCORE 210756.231
AT ITER 9789 NEW BEST:: SOT 977977 SOS 489032 HAS SOPS 489032 HAS SOUS 210233 HAS SOUPS 210233 WITH SCORE 210722.032
AT ITER 9810 NEW BEST:: SOT 977953 SOS 488984 HAS SOPS 488984 HAS SOUS 210185 HAS SOUPS 210185 WITH SCORE 210673.984
AT ITER 9833 NEW BEST:: SOT 978007 SOS 489096 HAS SOPS 489096 HAS SOUS 210176 HAS SOUPS 210176 WITH SCORE 210665.096
AT ITER 9839 NEW BEST:: SOT 977263 SOS 488635 HAS SOPS 488635 HAS SOUS 209819 HAS SOUPS 209819 WITH SCORE 210307.635
AT ITER 9844 NEW BEST:: SOT 977263 SOS 488580 HAS SOPS 488580 HAS SOUS 209819 HAS SOUPS 209819 WITH SCORE 210307.58
AT ITER 9869 NEW BEST:: SOT 977259 SOS 488572 HAS SOPS 488572 HAS SOUS 209811 HAS SOUPS 209811 WITH SCORE 210299.572
AT ITER 9875 NEW BEST:: SOT 977109 SOS 488510 HAS SOPS 488510 HAS SOUS 209748 HAS SOUPS 209748 WITH SCORE 210236.51
AT ITER 9890 NEW BEST:: SOT 977067 SOS 488501 HAS SOPS 488501 HAS SOUS 209743 HAS SOUPS 209743 WITH SCORE 210231.501
AT ITER 9897 NEW BEST:: SOT 977067 SOS 488385 HAS SOPS 488385 HAS SOUS 209685 HAS SOUPS 209685 WITH SCORE 210173.385
AT ITER 9910 NEW BEST:: SOT 976981 SOS 488460 HAS SOPS 488460 HAS SOUS 209348 HAS SOUPS 209348 WITH SCORE 209836.46
AT ITER 9914 NEW BEST:: SOT 976981 SOS 488460 HAS SOPS 488460 HAS SOUS 209327 HAS SOUPS 209327 WITH SCORE 209815.46
AT ITER 9921 NEW BEST:: SOT 976528 SOS 488006 HAS SOPS 488006 HAS SOUS 208873 HAS SOUPS 208873 WITH SCORE 209361.006
AT ITER 9926 NEW BEST:: SOT 976528 SOS 487934 HAS SOPS 487934 HAS SOUS 208621 HAS SOUPS 208621 WITH SCORE 209108.934
AT ITER 9931 NEW BEST:: SOT 976528 SOS 487931 HAS SOPS 487931 HAS SOUS 208621 HAS SOUPS 208621 WITH SCORE 209108.931
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7910168 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151428 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="ASLink-PT-05a"
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 ASLink-PT-05a, 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 r003-oct2-167813590400080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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