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.r227-tall-167856410800712.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Medical-PT-16, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410800712
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.6M
-rw-r--r-- 1 mcc users 8.7K Feb 25 14:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 14:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 14:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 14:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 14:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 14:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 122K Feb 25 14:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M 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 1678623708613

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=Medical-PT-16
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 16
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: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1171486 SOS 639970 HAS SOPS 636874 HAS SOUS 256115 HAS SOUPS 253298 WITH SCORE 253937.97
AT ITER 1 NEW BEST:: SOT 1171514 SOS 641846 HAS SOPS 638750 HAS SOUS 256029 HAS SOUPS 253212 WITH SCORE 253853.846
AT ITER 8 NEW BEST:: SOT 1171508 SOS 641840 HAS SOPS 638744 HAS SOUS 255792 HAS SOUPS 252975 WITH SCORE 253616.84
AT ITER 16 NEW BEST:: SOT 1171271 SOS 641331 HAS SOPS 638235 HAS SOUS 255438 HAS SOUPS 252621 WITH SCORE 253262.331
AT ITER 17 NEW BEST:: SOT 1171247 SOS 677363 HAS SOPS 674267 HAS SOUS 255109 HAS SOUPS 252292 WITH SCORE 252969.363
AT ITER 24 NEW BEST:: SOT 1171222 SOS 677250 HAS SOPS 674242 HAS SOUS 252636 HAS SOUPS 249888 WITH SCORE 250565.25
AT ITER 26 NEW BEST:: SOT 1170754 SOS 679372 HAS SOPS 676364 HAS SOUS 251747 HAS SOUPS 248999 WITH SCORE 249678.372
AT ITER 33 NEW BEST:: SOT 1170754 SOS 679372 HAS SOPS 676364 HAS SOUS 251524 HAS SOUPS 248776 WITH SCORE 249455.372
AT ITER 45 NEW BEST:: SOT 1170723 SOS 679341 HAS SOPS 676333 HAS SOUS 251397 HAS SOUPS 248649 WITH SCORE 249328.341
AT ITER 46 NEW BEST:: SOT 1163811 SOS 672445 HAS SOPS 669437 HAS SOUS 244482 HAS SOUPS 241734 WITH SCORE 242406.445
AT ITER 49 NEW BEST:: SOT 1163235 SOS 671832 HAS SOPS 668861 HAS SOUS 243255 HAS SOUPS 240531 WITH SCORE 241202.832
AT ITER 56 NEW BEST:: SOT 1163235 SOS 671832 HAS SOPS 668861 HAS SOUS 243141 HAS SOUPS 240417 WITH SCORE 241088.832
AT ITER 62 NEW BEST:: SOT 1163235 SOS 666493 HAS SOPS 663259 HAS SOUS 243089 HAS SOUPS 240310 WITH SCORE 240976.493
AT ITER 75 NEW BEST:: SOT 1163261 SOS 666519 HAS SOPS 663285 HAS SOUS 242653 HAS SOUPS 239874 WITH SCORE 240540.519
AT ITER 94 NEW BEST:: SOT 1163217 SOS 666475 HAS SOPS 663241 HAS SOUS 242455 HAS SOUPS 239676 WITH SCORE 240342.475
AT ITER 99 NEW BEST:: SOT 1163217 SOS 666475 HAS SOPS 663241 HAS SOUS 241662 HAS SOUPS 238883 WITH SCORE 239549.475
AT ITER 101 NEW BEST:: SOT 1163228 SOS 668070 HAS SOPS 664836 HAS SOUS 241324 HAS SOUPS 238545 WITH SCORE 239213.07
AT ITER 103 NEW BEST:: SOT 1161868 SOS 666710 HAS SOPS 663482 HAS SOUS 238706 HAS SOUPS 235927 WITH SCORE 236593.71
AT ITER 104 NEW BEST:: SOT 1161840 SOS 666682 HAS SOPS 663454 HAS SOUS 238694 HAS SOUPS 235915 WITH SCORE 236581.682
AT ITER 109 NEW BEST:: SOT 1160273 SOS 672335 HAS SOPS 668798 HAS SOUS 238668 HAS SOUPS 235797 WITH SCORE 236469.335
AT ITER 113 NEW BEST:: SOT 1160310 SOS 672372 HAS SOPS 668835 HAS SOUS 237678 HAS SOUPS 234807 WITH SCORE 235479.372
AT ITER 124 NEW BEST:: SOT 1159297 SOS 675922 HAS SOPS 672385 HAS SOUS 237427 HAS SOUPS 234556 WITH SCORE 235231.922
AT ITER 128 NEW BEST:: SOT 1159136 SOS 675754 HAS SOPS 672224 HAS SOUS 236657 HAS SOUPS 233793 WITH SCORE 234468.754
AT ITER 135 NEW BEST:: SOT 1159136 SOS 675754 HAS SOPS 672224 HAS SOUS 236326 HAS SOUPS 233462 WITH SCORE 234137.754
AT ITER 138 NEW BEST:: SOT 1158464 SOS 675062 HAS SOPS 671644 HAS SOUS 234849 HAS SOUPS 232013 WITH SCORE 232688.062
AT ITER 141 NEW BEST:: SOT 1158450 SOS 675034 HAS SOPS 671630 HAS SOUS 233493 HAS SOUPS 230671 WITH SCORE 231346.034
AT ITER 143 NEW BEST:: SOT 1158692 SOS 675340 HAS SOPS 671936 HAS SOUS 233280 HAS SOUPS 230458 WITH SCORE 231133.34
AT ITER 147 NEW BEST:: SOT 1158935 SOS 675583 HAS SOPS 672179 HAS SOUS 232687 HAS SOUPS 229865 WITH SCORE 230540.583
AT ITER 160 NEW BEST:: SOT 1157696 SOS 674347 HAS SOPS 670943 HAS SOUS 231451 HAS SOUPS 228629 WITH SCORE 229303.347
AT ITER 161 NEW BEST:: SOT 1157670 SOS 677081 HAS SOPS 673677 HAS SOUS 229401 HAS SOUPS 226579 WITH SCORE 227256.081
AT ITER 163 NEW BEST:: SOT 1157690 SOS 677101 HAS SOPS 674177 HAS SOUS 228679 HAS SOUPS 226337 WITH SCORE 227014.101
AT ITER 166 NEW BEST:: SOT 1157969 SOS 677612 HAS SOPS 674873 HAS SOUS 222795 HAS SOUPS 220494 WITH SCORE 221171.612
AT ITER 170 NEW BEST:: SOT 1157913 SOS 677591 HAS SOPS 674859 HAS SOUS 222479 HAS SOUPS 220185 WITH SCORE 220862.591
AT ITER 175 NEW BEST:: SOT 1157913 SOS 675237 HAS SOPS 672505 HAS SOUS 222327 HAS SOUPS 220033 WITH SCORE 220708.237
AT ITER 176 NEW BEST:: SOT 1157915 SOS 675239 HAS SOPS 672507 HAS SOUS 222294 HAS SOUPS 220000 WITH SCORE 220675.239
AT ITER 181 NEW BEST:: SOT 1157915 SOS 675239 HAS SOPS 672507 HAS SOUS 222072 HAS SOUPS 219778 WITH SCORE 220453.239
AT ITER 188 NEW BEST:: SOT 1157915 SOS 674527 HAS SOPS 671831 HAS SOUS 222003 HAS SOUPS 219709 WITH SCORE 220383.527
AT ITER 192 NEW BEST:: SOT 1157915 SOS 675884 HAS SOPS 673188 HAS SOUS 220595 HAS SOUPS 218301 WITH SCORE 218976.884
AT ITER 194 NEW BEST:: SOT 1157941 SOS 675910 HAS SOPS 673214 HAS SOUS 220231 HAS SOUPS 217937 WITH SCORE 218612.91
AT ITER 197 NEW BEST:: SOT 1143731 SOS 720117 HAS SOPS 718596 HAS SOUS 205690 HAS SOUPS 204558 WITH SCORE 205278.117
AT ITER 198 NEW BEST:: SOT 1142307 SOS 718693 HAS SOPS 717172 HAS SOUS 204907 HAS SOUPS 203775 WITH SCORE 204493.693
AT ITER 201 NEW BEST:: SOT 1143273 SOS 719659 HAS SOPS 718138 HAS SOUS 203810 HAS SOUPS 202678 WITH SCORE 203397.659
AT ITER 203 NEW BEST:: SOT 1137806 SOS 719389 HAS SOPS 717842 HAS SOUS 197502 HAS SOUPS 196352 WITH SCORE 197071.389
AT ITER 206 NEW BEST:: SOT 1141252 SOS 722835 HAS SOPS 721333 HAS SOUS 194158 HAS SOUPS 193053 WITH SCORE 193775.835
AT ITER 217 NEW BEST:: SOT 1142543 SOS 724126 HAS SOPS 722626 HAS SOUS 192301 HAS SOUPS 191198 WITH SCORE 191922.126
AT ITER 222 NEW BEST:: SOT 1143509 SOS 726771 HAS SOPS 725271 HAS SOUS 191960 HAS SOUPS 190857 WITH SCORE 191583.771
AT ITER 229 NEW BEST:: SOT 1142276 SOS 725538 HAS SOPS 724038 HAS SOUS 191639 HAS SOUPS 190536 WITH SCORE 191261.538
AT ITER 250 NEW BEST:: SOT 1142259 SOS 725521 HAS SOPS 724021 HAS SOUS 191622 HAS SOUPS 190519 WITH SCORE 191244.521
AT ITER 253 NEW BEST:: SOT 1143468 SOS 726730 HAS SOPS 725230 HAS SOUS 188927 HAS SOUPS 187824 WITH SCORE 188550.73
AT ITER 261 NEW BEST:: SOT 1143486 SOS 774827 HAS SOPS 773410 HAS SOUS 188790 HAS SOUPS 187687 WITH SCORE 188461.827
AT ITER 265 NEW BEST:: SOT 1143499 SOS 774840 HAS SOPS 773423 HAS SOUS 188673 HAS SOUPS 187570 WITH SCORE 188344.84
AT ITER 274 NEW BEST:: SOT 1143010 SOS 775503 HAS SOPS 774086 HAS SOUS 188397 HAS SOUPS 187294 WITH SCORE 188069.503
AT ITER 289 NEW BEST:: SOT 1145359 SOS 809956 HAS SOPS 808539 HAS SOUS 186860 HAS SOUPS 185757 WITH SCORE 186566.956
AT ITER 290 NEW BEST:: SOT 1148707 SOS 813304 HAS SOPS 811887 HAS SOUS 185840 HAS SOUPS 184737 WITH SCORE 185550.304
AT ITER 297 NEW BEST:: SOT 1150899 SOS 815640 HAS SOPS 814223 HAS SOUS 182565 HAS SOUPS 181462 WITH SCORE 182277.64
AT ITER 308 NEW BEST:: SOT 1150884 SOS 815625 HAS SOPS 814208 HAS SOUS 182382 HAS SOUPS 181279 WITH SCORE 182094.625
AT ITER 312 NEW BEST:: SOT 1150891 SOS 817087 HAS SOPS 815670 HAS SOUS 182284 HAS SOUPS 181181 WITH SCORE 181998.087
AT ITER 315 NEW BEST:: SOT 1150891 SOS 764832 HAS SOPS 763406 HAS SOUS 182294 HAS SOUPS 181182 WITH SCORE 181946.832
AT ITER 318 NEW BEST:: SOT 1150034 SOS 768279 HAS SOPS 766853 HAS SOUS 181781 HAS SOUPS 180669 WITH SCORE 181437.279
AT ITER 330 NEW BEST:: SOT 1150069 SOS 768314 HAS SOPS 766888 HAS SOUS 181736 HAS SOUPS 180624 WITH SCORE 181392.314
AT ITER 331 NEW BEST:: SOT 1151728 SOS 769973 HAS SOPS 768547 HAS SOUS 178411 HAS SOUPS 177299 WITH SCORE 178068.973
AT ITER 352 NEW BEST:: SOT 1151725 SOS 769970 HAS SOPS 768544 HAS SOUS 178312 HAS SOUPS 177200 WITH SCORE 177969.97
AT ITER 356 NEW BEST:: SOT 1151725 SOS 769970 HAS SOPS 768544 HAS SOUS 178177 HAS SOUPS 177065 WITH SCORE 177834.97
AT ITER 357 NEW BEST:: SOT 1151725 SOS 770798 HAS SOPS 769236 HAS SOUS 178260 HAS SOUPS 177012 WITH SCORE 177782.798
AT ITER 379 NEW BEST:: SOT 1151767 SOS 770840 HAS SOPS 769278 HAS SOUS 178133 HAS SOUPS 176885 WITH SCORE 177655.84
AT ITER 381 NEW BEST:: SOT 1154479 SOS 773548 HAS SOPS 771990 HAS SOUS 177769 HAS SOUPS 176525 WITH SCORE 177298.548
AT ITER 391 NEW BEST:: SOT 1154479 SOS 773703 HAS SOPS 772154 HAS SOUS 177734 HAS SOUPS 176499 WITH SCORE 177272.703
AT ITER 392 NEW BEST:: SOT 1154414 SOS 774824 HAS SOPS 773275 HAS SOUS 176190 HAS SOUPS 174955 WITH SCORE 175729.824
AT ITER 402 NEW BEST:: SOT 1155514 SOS 775924 HAS SOPS 774375 HAS SOUS 176172 HAS SOUPS 174937 WITH SCORE 175712.924
AT ITER 411 NEW BEST:: SOT 1155514 SOS 761726 HAS SOPS 759057 HAS SOUS 176213 HAS SOUPS 174924 WITH SCORE 175685.726
AT ITER 412 NEW BEST:: SOT 1155514 SOS 761726 HAS SOPS 759057 HAS SOUS 175926 HAS SOUPS 174637 WITH SCORE 175398.726
AT ITER 422 NEW BEST:: SOT 1155583 SOS 762381 HAS SOPS 759714 HAS SOUS 173445 HAS SOUPS 172158 WITH SCORE 172920.381
AT ITER 425 NEW BEST:: SOT 1155939 SOS 762735 HAS SOPS 760070 HAS SOUS 172019 HAS SOUPS 170734 WITH SCORE 171496.735
AT ITER 427 NEW BEST:: SOT 1155484 SOS 762280 HAS SOPS 759579 HAS SOUS 171173 HAS SOUPS 169852 WITH SCORE 170614.28
AT ITER 429 NEW BEST:: SOT 1155484 SOS 761981 HAS SOPS 759283 HAS SOUS 170889 HAS SOUPS 169611 WITH SCORE 170372.981
AT ITER 431 NEW BEST:: SOT 1154002 SOS 760500 HAS SOPS 757801 HAS SOUS 167902 HAS SOUPS 166623 WITH SCORE 167383.5
AT ITER 433 NEW BEST:: SOT 1153993 SOS 758481 HAS SOPS 755906 HAS SOUS 167526 HAS SOUPS 166278 WITH SCORE 167036.481
AT ITER 434 NEW BEST:: SOT 1152822 SOS 759614 HAS SOPS 757039 HAS SOUS 166739 HAS SOUPS 165491 WITH SCORE 166250.614
AT ITER 435 NEW BEST:: SOT 1152723 SOS 759617 HAS SOPS 757050 HAS SOUS 166582 HAS SOUPS 165344 WITH SCORE 166103.617
AT ITER 449 NEW BEST:: SOT 1152734 SOS 760104 HAS SOPS 757537 HAS SOUS 166601 HAS SOUPS 165337 WITH SCORE 166097.104
AT ITER 452 NEW BEST:: SOT 1152247 SOS 760157 HAS SOPS 757590 HAS SOUS 166407 HAS SOUPS 165143 WITH SCORE 165903.157
AT ITER 455 NEW BEST:: SOT 1151064 SOS 764017 HAS SOPS 761451 HAS SOUS 163029 HAS SOUPS 161766 WITH SCORE 162530.017
AT ITER 460 NEW BEST:: SOT 1151068 SOS 764021 HAS SOPS 761455 HAS SOUS 162940 HAS SOUPS 161677 WITH SCORE 162441.021
AT ITER 462 NEW BEST:: SOT 1152696 SOS 768073 HAS SOPS 765507 HAS SOUS 162843 HAS SOUPS 161580 WITH SCORE 162348.073
AT ITER 469 NEW BEST:: SOT 1152325 SOS 767701 HAS SOPS 765136 HAS SOUS 162519 HAS SOUPS 161257 WITH SCORE 162024.701
AT ITER 482 NEW BEST:: SOT 1152325 SOS 767680 HAS SOPS 765104 HAS SOUS 162487 HAS SOUPS 161225 WITH SCORE 161992.68
AT ITER 490 NEW BEST:: SOT 1152325 SOS 767680 HAS SOPS 765104 HAS SOUS 162486 HAS SOUPS 161224 WITH SCORE 161991.68
AT ITER 493 NEW BEST:: SOT 1154967 SOS 765364 HAS SOPS 763936 HAS SOUS 161153 HAS SOUPS 160033 WITH SCORE 160798.364
AT ITER 497 NEW BEST:: SOT 1154752 SOS 769709 HAS SOPS 768281 HAS SOUS 161087 HAS SOUPS 159967 WITH SCORE 160736.709
AT ITER 499 NEW BEST:: SOT 1154781 SOS 750977 HAS SOPS 749549 HAS SOUS 161075 HAS SOUPS 159955 WITH SCORE 160705.977
AT ITER 515 NEW BEST:: SOT 1154781 SOS 782095 HAS SOPS 780693 HAS SOUS 160905 HAS SOUPS 159811 WITH SCORE 160593.095
AT ITER 517 NEW BEST:: SOT 1155143 SOS 782489 HAS SOPS 781087 HAS SOUS 160190 HAS SOUPS 159096 WITH SCORE 159878.489
AT ITER 527 NEW BEST:: SOT 1155156 SOS 783054 HAS SOPS 781652 HAS SOUS 160098 HAS SOUPS 159004 WITH SCORE 159787.054
AT ITER 531 NEW BEST:: SOT 1153492 SOS 781390 HAS SOPS 779988 HAS SOUS 159301 HAS SOUPS 158207 WITH SCORE 158988.39
AT ITER 538 NEW BEST:: SOT 1153570 SOS 781262 HAS SOPS 779852 HAS SOUS 159246 HAS SOUPS 158144 WITH SCORE 158925.262
AT ITER 539 NEW BEST:: SOT 1153573 SOS 781409 HAS SOPS 779999 HAS SOUS 159231 HAS SOUPS 158129 WITH SCORE 158910.409
AT ITER 540 NEW BEST:: SOT 1153631 SOS 781467 HAS SOPS 780057 HAS SOUS 159155 HAS SOUPS 158053 WITH SCORE 158834.467
AT ITER 554 NEW BEST:: SOT 1153504 SOS 781340 HAS SOPS 779930 HAS SOUS 159028 HAS SOUPS 157926 WITH SCORE 158707.34
AT ITER 555 NEW BEST:: SOT 1153504 SOS 780562 HAS SOPS 779202 HAS SOUS 158990 HAS SOUPS 157898 WITH SCORE 158678.562
AT ITER 557 NEW BEST:: SOT 1153284 SOS 780342 HAS SOPS 778982 HAS SOUS 158796 HAS SOUPS 157704 WITH SCORE 158484.342
AT ITER 562 NEW BEST:: SOT 1154284 SOS 781870 HAS SOPS 780510 HAS SOUS 158566 HAS SOUPS 157474 WITH SCORE 158255.87
AT ITER 573 NEW BEST:: SOT 1154284 SOS 781870 HAS SOPS 780510 HAS SOUS 158476 HAS SOUPS 157384 WITH SCORE 158165.87
AT ITER 579 NEW BEST:: SOT 1154284 SOS 782266 HAS SOPS 780906 HAS SOUS 158463 HAS SOUPS 157371 WITH SCORE 158153.266
AT ITER 584 NEW BEST:: SOT 1154284 SOS 782266 HAS SOPS 780906 HAS SOUS 158384 HAS SOUPS 157292 WITH SCORE 158074.266
AT ITER 586 NEW BEST:: SOT 1155624 SOS 793317 HAS SOPS 791542 HAS SOUS 158243 HAS SOUPS 157068 WITH SCORE 157861.317
AT ITER 590 NEW BEST:: SOT 1154751 SOS 796566 HAS SOPS 794791 HAS SOUS 155279 HAS SOUPS 154104 WITH SCORE 154900.566
AT ITER 613 NEW BEST:: SOT 1154746 SOS 796561 HAS SOPS 794786 HAS SOUS 155258 HAS SOUPS 154083 WITH SCORE 154879.561
AT ITER 616 NEW BEST:: SOT 1155438 SOS 797253 HAS SOPS 795478 HAS SOUS 154346 HAS SOUPS 153171 WITH SCORE 153968.253
AT ITER 619 NEW BEST:: SOT 1154459 SOS 800323 HAS SOPS 798548 HAS SOUS 153282 HAS SOUPS 152107 WITH SCORE 152907.323
AT ITER 620 NEW BEST:: SOT 1153723 SOS 799587 HAS SOPS 797812 HAS SOUS 151916 HAS SOUPS 150741 WITH SCORE 151540.587
AT ITER 628 NEW BEST:: SOT 1153723 SOS 799536 HAS SOPS 797764 HAS SOUS 151715 HAS SOUPS 150543 WITH SCORE 151342.536
AT ITER 629 NEW BEST:: SOT 1153548 SOS 799361 HAS SOPS 797589 HAS SOUS 151358 HAS SOUPS 150186 WITH SCORE 150985.361
AT ITER 631 NEW BEST:: SOT 1153411 SOS 799224 HAS SOPS 797452 HAS SOUS 150932 HAS SOUPS 149760 WITH SCORE 150559.224
AT ITER 632 NEW BEST:: SOT 1152405 SOS 797746 HAS SOPS 795974 HAS SOUS 149757 HAS SOUPS 148585 WITH SCORE 149382.746
AT ITER 636 NEW BEST:: SOT 1152311 SOS 797776 HAS SOPS 796004 HAS SOUS 149729 HAS SOUPS 148557 WITH SCORE 149354.776
AT ITER 644 NEW BEST:: SOT 1152322 SOS 797595 HAS SOPS 795823 HAS SOUS 149620 HAS SOUPS 148448 WITH SCORE 149245.595
AT ITER 647 NEW BEST:: SOT 1151721 SOS 797232 HAS SOPS 795460 HAS SOUS 149522 HAS SOUPS 148350 WITH SCORE 149147.232
AT ITER 652 NEW BEST:: SOT 1151647 SOS 797158 HAS SOPS 795386 HAS SOUS 149514 HAS SOUPS 148342 WITH SCORE 149139.158
AT ITER 670 NEW BEST:: SOT 1151647 SOS 797090 HAS SOPS 795322 HAS SOUS 149426 HAS SOUPS 148258 WITH SCORE 149055.09
AT ITER 674 NEW BEST:: SOT 1151647 SOS 796490 HAS SOPS 794722 HAS SOUS 149426 HAS SOUPS 148258 WITH SCORE 149054.49
AT ITER 684 NEW BEST:: SOT 1150685 SOS 795528 HAS SOPS 793760 HAS SOUS 148896 HAS SOUPS 147728 WITH SCORE 148523.528
AT ITER 691 NEW BEST:: SOT 1150688 SOS 791968 HAS SOPS 790200 HAS SOUS 148805 HAS SOUPS 147637 WITH SCORE 148428.968
AT ITER 692 NEW BEST:: SOT 1150677 SOS 792149 HAS SOPS 790381 HAS SOUS 148794 HAS SOUPS 147626 WITH SCORE 148418.149
AT ITER 694 NEW BEST:: SOT 1150677 SOS 792135 HAS SOPS 790367 HAS SOUS 148787 HAS SOUPS 147619 WITH SCORE 148411.135
AT ITER 696 NEW BEST:: SOT 1150677 SOS 787143 HAS SOPS 785375 HAS SOUS 148782 HAS SOUPS 147614 WITH SCORE 148401.143
AT ITER 724 NEW BEST:: SOT 1151287 SOS 787729 HAS SOPS 785985 HAS SOUS 148226 HAS SOUPS 147082 WITH SCORE 147869.729
AT ITER 725 NEW BEST:: SOT 1151628 SOS 788395 HAS SOPS 786651 HAS SOUS 148165 HAS SOUPS 147021 WITH SCORE 147809.395
AT ITER 728 NEW BEST:: SOT 1151559 SOS 788326 HAS SOPS 786582 HAS SOUS 147923 HAS SOUPS 146779 WITH SCORE 147567.326
AT ITER 743 NEW BEST:: SOT 1151335 SOS 788102 HAS SOPS 786358 HAS SOUS 147561 HAS SOUPS 146417 WITH SCORE 147205.102
AT ITER 744 NEW BEST:: SOT 1151335 SOS 787315 HAS SOPS 785626 HAS SOUS 146997 HAS SOUPS 145864 WITH SCORE 146651.315
AT ITER 757 NEW BEST:: SOT 1150141 SOS 776733 HAS SOPS 774908 HAS SOUS 146033 HAS SOUPS 144852 WITH SCORE 145628.733
AT ITER 758 NEW BEST:: SOT 1150290 SOS 776882 HAS SOPS 775057 HAS SOUS 145749 HAS SOUPS 144568 WITH SCORE 145344.882
AT ITER 762 NEW BEST:: SOT 1150177 SOS 776769 HAS SOPS 774944 HAS SOUS 145507 HAS SOUPS 144326 WITH SCORE 145102.769
AT ITER 774 NEW BEST:: SOT 1150666 SOS 777782 HAS SOPS 775957 HAS SOUS 145190 HAS SOUPS 144009 WITH SCORE 144786.782
AT ITER 778 NEW BEST:: SOT 1150666 SOS 777782 HAS SOPS 775957 HAS SOUS 145058 HAS SOUPS 143877 WITH SCORE 144654.782
AT ITER 801 NEW BEST:: SOT 1150683 SOS 777799 HAS SOPS 775974 HAS SOUS 144440 HAS SOUPS 143259 WITH SCORE 144036.799
AT ITER 806 NEW BEST:: SOT 1150683 SOS 777631 HAS SOPS 775806 HAS SOUS 144436 HAS SOUPS 143255 WITH SCORE 144032.631
AT ITER 810 NEW BEST:: SOT 1150694 SOS 773233 HAS SOPS 771408 HAS SOUS 144425 HAS SOUPS 143244 WITH SCORE 144017.233
AT ITER 817 NEW BEST:: SOT 1150693 SOS 773232 HAS SOPS 771407 HAS SOUS 144424 HAS SOUPS 143243 WITH SCORE 144016.232
AT ITER 819 NEW BEST:: SOT 1148821 SOS 771360 HAS SOPS 769535 HAS SOUS 144374 HAS SOUPS 143193 WITH SCORE 143964.36
AT ITER 822 NEW BEST:: SOT 1148859 SOS 771398 HAS SOPS 769573 HAS SOUS 144248 HAS SOUPS 143067 WITH SCORE 143838.398
AT ITER 827 NEW BEST:: SOT 1147629 SOS 770168 HAS SOPS 768343 HAS SOUS 143348 HAS SOUPS 142167 WITH SCORE 142937.168
AT ITER 832 NEW BEST:: SOT 1148085 SOS 770682 HAS SOPS 768857 HAS SOUS 143144 HAS SOUPS 141963 WITH SCORE 142733.682
AT ITER 834 NEW BEST:: SOT 1148111 SOS 770708 HAS SOPS 768883 HAS SOUS 143049 HAS SOUPS 141868 WITH SCORE 142638.708
AT ITER 837 NEW BEST:: SOT 1148024 SOS 770621 HAS SOPS 768796 HAS SOUS 142992 HAS SOUPS 141811 WITH SCORE 142581.621
AT ITER 847 NEW BEST:: SOT 1147333 SOS 769930 HAS SOPS 768105 HAS SOUS 141550 HAS SOUPS 140369 WITH SCORE 141138.93
AT ITER 848 NEW BEST:: SOT 1147644 SOS 770241 HAS SOPS 768416 HAS SOUS 141029 HAS SOUPS 139848 WITH SCORE 140618.241
AT ITER 852 NEW BEST:: SOT 1147644 SOS 770065 HAS SOPS 768249 HAS SOUS 141003 HAS SOUPS 139831 WITH SCORE 140601.065
AT ITER 855 NEW BEST:: SOT 1147223 SOS 770272 HAS SOPS 768456 HAS SOUS 140847 HAS SOUPS 139675 WITH SCORE 140445.272
AT ITER 856 NEW BEST:: SOT 1144901 SOS 767950 HAS SOPS 766134 HAS SOUS 140682 HAS SOUPS 139510 WITH SCORE 140277.95
AT ITER 857 NEW BEST:: SOT 1144901 SOS 772008 HAS SOPS 770022 HAS SOUS 140397 HAS SOUPS 139191 WITH SCORE 139963.008
AT ITER 872 NEW BEST:: SOT 1144901 SOS 771892 HAS SOPS 769906 HAS SOUS 140393 HAS SOUPS 139187 WITH SCORE 139958.892
AT ITER 873 NEW BEST:: SOT 1144901 SOS 763237 HAS SOPS 760767 HAS SOUS 140237 HAS SOUPS 138755 WITH SCORE 139518.237
AT ITER 877 NEW BEST:: SOT 1144901 SOS 762637 HAS SOPS 760195 HAS SOUS 140219 HAS SOUPS 138737 WITH SCORE 139499.637
AT ITER 893 NEW BEST:: SOT 1145250 SOS 763010 HAS SOPS 760568 HAS SOUS 140001 HAS SOUPS 138519 WITH SCORE 139282.01
AT ITER 910 NEW BEST:: SOT 1145402 SOS 763162 HAS SOPS 760720 HAS SOUS 139927 HAS SOUPS 138445 WITH SCORE 139208.162
AT ITER 915 NEW BEST:: SOT 1145397 SOS 765148 HAS SOPS 762706 HAS SOUS 139915 HAS SOUPS 138433 WITH SCORE 139198.148
AT ITER 939 NEW BEST:: SOT 1144740 SOS 764466 HAS SOPS 762049 HAS SOUS 138962 HAS SOUPS 137497 WITH SCORE 138261.466
AT ITER 942 NEW BEST:: SOT 1145339 SOS 765065 HAS SOPS 762648 HAS SOUS 137833 HAS SOUPS 136368 WITH SCORE 137133.065
AT ITER 945 NEW BEST:: SOT 1145339 SOS 763505 HAS SOPS 761088 HAS SOUS 137790 HAS SOUPS 136325 WITH SCORE 137088.505
AT ITER 948 NEW BEST:: SOT 1145339 SOS 763505 HAS SOPS 761088 HAS SOUS 137769 HAS SOUPS 136304 WITH SCORE 137067.505
AT ITER 951 NEW BEST:: SOT 1145339 SOS 761657 HAS SOPS 759240 HAS SOUS 137617 HAS SOUPS 136152 WITH SCORE 136913.657
AT ITER 955 NEW BEST:: SOT 1145339 SOS 761561 HAS SOPS 759144 HAS SOUS 137617 HAS SOUPS 136152 WITH SCORE 136913.561
AT ITER 958 NEW BEST:: SOT 1145281 SOS 761503 HAS SOPS 759086 HAS SOUS 137433 HAS SOUPS 135968 WITH SCORE 136729.503
AT ITER 974 NEW BEST:: SOT 1145281 SOS 750172 HAS SOPS 747742 HAS SOUS 137415 HAS SOUPS 135937 WITH SCORE 136687.172
AT ITER 981 NEW BEST:: SOT 1145283 SOS 750174 HAS SOPS 747744 HAS SOUS 137270 HAS SOUPS 135792 WITH SCORE 136542.174
AT ITER 984 NEW BEST:: SOT 1145273 SOS 750204 HAS SOPS 747774 HAS SOUS 137260 HAS SOUPS 135782 WITH SCORE 136532.204
AT ITER 1007 NEW BEST:: SOT 1145273 SOS 748118 HAS SOPS 745826 HAS SOUS 136743 HAS SOUPS 135319 WITH SCORE 136067.118
AT ITER 1016 NEW BEST:: SOT 1145153 SOS 744279 HAS SOPS 741986 HAS SOUS 136612 HAS SOUPS 135188 WITH SCORE 135932.279
AT ITER 1035 NEW BEST:: SOT 1145130 SOS 754305 HAS SOPS 752033 HAS SOUS 136497 HAS SOUPS 135094 WITH SCORE 135848.305
AT ITER 1039 NEW BEST:: SOT 1145130 SOS 754401 HAS SOPS 752129 HAS SOUS 136481 HAS SOUPS 135078 WITH SCORE 135832.401
AT ITER 1052 NEW BEST:: SOT 1145130 SOS 752841 HAS SOPS 750520 HAS SOUS 136509 HAS SOUPS 135057 WITH SCORE 135809.841
AT ITER 1054 NEW BEST:: SOT 1143859 SOS 753857 HAS SOPS 752475 HAS SOUS 135226 HAS SOUPS 134702 WITH SCORE 135455.857
AT ITER 1056 NEW BEST:: SOT 1143859 SOS 753857 HAS SOPS 752475 HAS SOUS 135162 HAS SOUPS 134638 WITH SCORE 135391.857
AT ITER 1060 NEW BEST:: SOT 1143872 SOS 753870 HAS SOPS 752488 HAS SOUS 134908 HAS SOUPS 134384 WITH SCORE 135137.87
AT ITER 1062 NEW BEST:: SOT 1143872 SOS 746235 HAS SOPS 745208 HAS SOUS 134766 HAS SOUPS 134313 WITH SCORE 135059.235
AT ITER 1079 NEW BEST:: SOT 1143377 SOS 745740 HAS SOPS 744713 HAS SOUS 134317 HAS SOUPS 133864 WITH SCORE 134609.74
AT ITER 1093 NEW BEST:: SOT 1143377 SOS 745360 HAS SOPS 744329 HAS SOUS 134318 HAS SOUPS 133864 WITH SCORE 134609.36
AT ITER 1096 NEW BEST:: SOT 1141926 SOS 715870 HAS SOPS 712868 HAS SOUS 134559 HAS SOUPS 133791 WITH SCORE 134506.87
AT ITER 1133 NEW BEST:: SOT 1141994 SOS 715938 HAS SOPS 712936 HAS SOUS 133811 HAS SOUPS 133043 WITH SCORE 133758.938
AT ITER 1142 NEW BEST:: SOT 1141440 SOS 715257 HAS SOPS 712353 HAS SOUS 131639 HAS SOUPS 130911 WITH SCORE 131626.257
AT ITER 1152 NEW BEST:: SOT 1141398 SOS 715197 HAS SOPS 712311 HAS SOUS 131585 HAS SOUPS 130875 WITH SCORE 131590.197
AT ITER 1156 NEW BEST:: SOT 1140247 SOS 718718 HAS SOPS 715832 HAS SOUS 130356 HAS SOUPS 129646 WITH SCORE 130364.718
AT ITER 1168 NEW BEST:: SOT 1139438 SOS 720957 HAS SOPS 718071 HAS SOUS 129701 HAS SOUPS 128991 WITH SCORE 129711.957
AT ITER 1175 NEW BEST:: SOT 1139438 SOS 720873 HAS SOPS 717987 HAS SOUS 129701 HAS SOUPS 128991 WITH SCORE 129711.873
AT ITER 1183 NEW BEST:: SOT 1138961 SOS 720294 HAS SOPS 717374 HAS SOUS 129124 HAS SOUPS 128414 WITH SCORE 129134.294
AT ITER 1202 NEW BEST:: SOT 1140170 SOS 721691 HAS SOPS 718775 HAS SOUS 128979 HAS SOUPS 128269 WITH SCORE 128990.691
AT ITER 1204 NEW BEST:: SOT 1140185 SOS 721658 HAS SOPS 718742 HAS SOUS 128938 HAS SOUPS 128228 WITH SCORE 128949.658
AT ITER 1211 NEW BEST:: SOT 1140185 SOS 721638 HAS SOPS 718717 HAS SOUS 128943 HAS SOUPS 128228 WITH SCORE 128949.638
AT ITER 1215 NEW BEST:: SOT 1140813 SOS 723130 HAS SOPS 720209 HAS SOUS 128928 HAS SOUPS 128213 WITH SCORE 128936.13
AT ITER 1216 NEW BEST:: SOT 1140658 SOS 722975 HAS SOPS 720054 HAS SOUS 128608 HAS SOUPS 127893 WITH SCORE 128615.975
AT ITER 1223 NEW BEST:: SOT 1140548 SOS 722865 HAS SOPS 719944 HAS SOUS 128244 HAS SOUPS 127529 WITH SCORE 128251.865
AT ITER 1227 NEW BEST:: SOT 1140666 SOS 722921 HAS SOPS 720062 HAS SOUS 127567 HAS SOUPS 126872 WITH SCORE 127594.921
AT ITER 1239 NEW BEST:: SOT 1140754 SOS 723009 HAS SOPS 720150 HAS SOUS 127222 HAS SOUPS 126527 WITH SCORE 127250.009
AT ITER 1241 NEW BEST:: SOT 1137186 SOS 719441 HAS SOPS 716582 HAS SOUS 125270 HAS SOUPS 124575 WITH SCORE 125294.441
AT ITER 1246 NEW BEST:: SOT 1137186 SOS 719357 HAS SOPS 716502 HAS SOUS 125262 HAS SOUPS 124571 WITH SCORE 125290.357
AT ITER 1252 NEW BEST:: SOT 1138724 SOS 721744 HAS SOPS 718909 HAS SOUS 124106 HAS SOUPS 123417 WITH SCORE 124138.744
AT ITER 1262 NEW BEST:: SOT 1138744 SOS 721764 HAS SOPS 718929 HAS SOUS 123678 HAS SOUPS 122989 WITH SCORE 123710.764
AT ITER 1265 NEW BEST:: SOT 1138744 SOS 721764 HAS SOPS 718929 HAS SOUS 123656 HAS SOUPS 122967 WITH SCORE 123688.764
AT ITER 1269 NEW BEST:: SOT 1138669 SOS 721626 HAS SOPS 718854 HAS SOUS 123642 HAS SOUPS 122956 WITH SCORE 123677.626
AT ITER 1285 NEW BEST:: SOT 1140649 SOS 723636 HAS SOPS 720874 HAS SOUS 122626 HAS SOUPS 121945 WITH SCORE 122668.636
AT ITER 1297 NEW BEST:: SOT 1140783 SOS 724350 HAS SOPS 721824 HAS SOUS 122205 HAS SOUPS 121640 WITH SCORE 122364.35
AT ITER 1305 NEW BEST:: SOT 1141096 SOS 724663 HAS SOPS 722137 HAS SOUS 122165 HAS SOUPS 121600 WITH SCORE 122324.663
AT ITER 1313 NEW BEST:: SOT 1139889 SOS 726982 HAS SOPS 724456 HAS SOUS 120944 HAS SOUPS 120379 WITH SCORE 121105.982
AT ITER 1317 NEW BEST:: SOT 1140568 SOS 727452 HAS SOPS 724926 HAS SOUS 120389 HAS SOUPS 119824 WITH SCORE 120551.452
AT ITER 1320 NEW BEST:: SOT 1140613 SOS 729485 HAS SOPS 726978 HAS SOUS 120320 HAS SOUPS 119774 WITH SCORE 120503.485
AT ITER 1328 NEW BEST:: SOT 1140613 SOS 729542 HAS SOPS 727046 HAS SOUS 120286 HAS SOUPS 119751 WITH SCORE 120480.542
AT ITER 1355 NEW BEST:: SOT 1143865 SOS 732472 HAS SOPS 730710 HAS SOUS 119943 HAS SOUPS 119444 WITH SCORE 120176.472
AT ITER 1360 NEW BEST:: SOT 1145537 SOS 735848 HAS SOPS 734086 HAS SOUS 119827 HAS SOUPS 119328 WITH SCORE 120063.848
AT ITER 1366 NEW BEST:: SOT 1145268 SOS 735579 HAS SOPS 733817 HAS SOUS 119738 HAS SOUPS 119239 WITH SCORE 119974.579
AT ITER 1371 NEW BEST:: SOT 1145268 SOS 735579 HAS SOPS 733817 HAS SOUS 119734 HAS SOUPS 119235 WITH SCORE 119970.579
AT ITER 1375 NEW BEST:: SOT 1145392 SOS 736070 HAS SOPS 734293 HAS SOUS 119682 HAS SOUPS 119179 WITH SCORE 119915.07
AT ITER 1388 NEW BEST:: SOT 1145596 SOS 736055 HAS SOPS 734689 HAS SOUS 118989 HAS SOUPS 118509 WITH SCORE 119245.055
AT ITER 1390 NEW BEST:: SOT 1145596 SOS 733044 HAS SOPS 731825 HAS SOUS 118917 HAS SOUPS 118468 WITH SCORE 119201.044
AT ITER 1394 NEW BEST:: SOT 1145599 SOS 733047 HAS SOPS 731828 HAS SOUS 118895 HAS SOUPS 118446 WITH SCORE 119179.047
AT ITER 1405 NEW BEST:: SOT 1145618 SOS 732767 HAS SOPS 731523 HAS SOUS 118861 HAS SOUPS 118387 WITH SCORE 119119.767
AT ITER 1408 NEW BEST:: SOT 1147267 SOS 734416 HAS SOPS 733172 HAS SOUS 117467 HAS SOUPS 116993 WITH SCORE 117727.416
AT ITER 1411 NEW BEST:: SOT 1147267 SOS 734242 HAS SOPS 732998 HAS SOUS 117467 HAS SOUPS 116993 WITH SCORE 117727.242
AT ITER 1417 NEW BEST:: SOT 1143249 SOS 730224 HAS SOPS 728980 HAS SOUS 115873 HAS SOUPS 115399 WITH SCORE 116129.224
AT ITER 1423 NEW BEST:: SOT 1143218 SOS 730193 HAS SOPS 728949 HAS SOUS 115444 HAS SOUPS 114970 WITH SCORE 115700.193
AT ITER 1427 NEW BEST:: SOT 1142914 SOS 729793 HAS SOPS 728549 HAS SOUS 115222 HAS SOUPS 114748 WITH SCORE 115477.793
AT ITER 1428 NEW BEST:: SOT 1143517 SOS 731282 HAS SOPS 730032 HAS SOUS 114221 HAS SOUPS 113741 WITH SCORE 114472.282
AT ITER 1438 NEW BEST:: SOT 1143501 SOS 731006 HAS SOPS 729772 HAS SOUS 114164 HAS SOUPS 113688 WITH SCORE 114419.006
AT ITER 1440 NEW BEST:: SOT 1142630 SOS 730095 HAS SOPS 728861 HAS SOUS 113824 HAS SOUPS 113348 WITH SCORE 114078.095
AT ITER 1468 NEW BEST:: SOT 1141504 SOS 728969 HAS SOPS 727735 HAS SOUS 113521 HAS SOUPS 113045 WITH SCORE 113773.969
AT ITER 1475 NEW BEST:: SOT 1141566 SOS 726166 HAS SOPS 725021 HAS SOUS 113103 HAS SOUPS 112614 WITH SCORE 113340.166
AT ITER 1478 NEW BEST:: SOT 1141512 SOS 726112 HAS SOPS 724967 HAS SOUS 112992 HAS SOUPS 112503 WITH SCORE 113229.112
AT ITER 1485 NEW BEST:: SOT 1141513 SOS 726113 HAS SOPS 724968 HAS SOUS 112975 HAS SOUPS 112486 WITH SCORE 113212.113
AT ITER 1495 NEW BEST:: SOT 1141279 SOS 724217 HAS SOPS 722674 HAS SOUS 113072 HAS SOUPS 112442 WITH SCORE 113166.217
AT ITER 1502 NEW BEST:: SOT 1140495 SOS 723423 HAS SOPS 721880 HAS SOUS 112254 HAS SOUPS 111624 WITH SCORE 112347.423
AT ITER 1509 NEW BEST:: SOT 1140495 SOS 723927 HAS SOPS 722384 HAS SOUS 112018 HAS SOUPS 111388 WITH SCORE 112111.927
AT ITER 1511 NEW BEST:: SOT 1140495 SOS 723927 HAS SOPS 722384 HAS SOUS 111986 HAS SOUPS 111356 WITH SCORE 112079.927
AT ITER 1519 NEW BEST:: SOT 1140495 SOS 723424 HAS SOPS 721853 HAS SOUS 111979 HAS SOUPS 111321 WITH SCORE 112044.424
AT ITER 1561 NEW BEST:: SOT 1140806 SOS 723680 HAS SOPS 722096 HAS SOUS 111904 HAS SOUPS 111247 WITH SCORE 111970.68
AT ITER 1572 NEW BEST:: SOT 1140788 SOS 723662 HAS SOPS 722078 HAS SOUS 111886 HAS SOUPS 111229 WITH SCORE 111952.662
AT ITER 1577 NEW BEST:: SOT 1140788 SOS 723446 HAS SOPS 721862 HAS SOUS 111886 HAS SOUPS 111229 WITH SCORE 111952.446
AT ITER 1590 NEW BEST:: SOT 1140788 SOS 723376 HAS SOPS 721778 HAS SOUS 111849 HAS SOUPS 111178 WITH SCORE 111901.376
AT ITER 1594 NEW BEST:: SOT 1140817 SOS 723625 HAS SOPS 722027 HAS SOUS 111044 HAS SOUPS 110373 WITH SCORE 111096.625
AT ITER 1599 NEW BEST:: SOT 1140817 SOS 723408 HAS SOPS 721835 HAS SOUS 110984 HAS SOUPS 110338 WITH SCORE 111061.408
AT ITER 1603 NEW BEST:: SOT 1140817 SOS 723384 HAS SOPS 721811 HAS SOUS 110983 HAS SOUPS 110337 WITH SCORE 111060.384
AT ITER 1612 NEW BEST:: SOT 1141373 SOS 723940 HAS SOPS 722367 HAS SOUS 110400 HAS SOUPS 109754 WITH SCORE 110477.94
AT ITER 1615 NEW BEST:: SOT 1141373 SOS 723556 HAS SOPS 721983 HAS SOUS 110400 HAS SOUPS 109754 WITH SCORE 110477.556
AT ITER 1632 NEW BEST:: SOT 1141341 SOS 723524 HAS SOPS 721951 HAS SOUS 110381 HAS SOUPS 109735 WITH SCORE 110458.524
AT ITER 1644 NEW BEST:: SOT 1141338 SOS 725081 HAS SOPS 723508 HAS SOUS 110375 HAS SOUPS 109729 WITH SCORE 110454.081
AT ITER 1671 NEW BEST:: SOT 1140975 SOS 728972 HAS SOPS 727441 HAS SOUS 110088 HAS SOUPS 109484 WITH SCORE 110212.972
AT ITER 1697 NEW BEST:: SOT 1140975 SOS 728516 HAS SOPS 726985 HAS SOUS 110088 HAS SOUPS 109484 WITH SCORE 110212.516
AT ITER 1699 NEW BEST:: SOT 1140967 SOS 728508 HAS SOPS 726977 HAS SOUS 110080 HAS SOUPS 109476 WITH SCORE 110204.508
AT ITER 1707 NEW BEST:: SOT 1140676 SOS 728217 HAS SOPS 726686 HAS SOUS 110019 HAS SOUPS 109415 WITH SCORE 110143.217
AT ITER 1709 NEW BEST:: SOT 1142560 SOS 731757 HAS SOPS 730226 HAS SOUS 109868 HAS SOUPS 109264 WITH SCORE 109995.757
AT ITER 1716 NEW BEST:: SOT 1142548 SOS 731745 HAS SOPS 730214 HAS SOUS 109867 HAS SOUPS 109263 WITH SCORE 109994.745
AT ITER 1727 NEW BEST:: SOT 1142501 SOS 731698 HAS SOPS 730167 HAS SOUS 109810 HAS SOUPS 109206 WITH SCORE 109937.698
AT ITER 1729 NEW BEST:: SOT 1142529 SOS 728453 HAS SOPS 726995 HAS SOUS 109427 HAS SOUPS 108871 WITH SCORE 109599.453
AT ITER 1733 NEW BEST:: SOT 1142453 SOS 728377 HAS SOPS 726919 HAS SOUS 109351 HAS SOUPS 108795 WITH SCORE 109523.377
AT ITER 1750 NEW BEST:: SOT 1142464 SOS 728388 HAS SOPS 726930 HAS SOUS 109103 HAS SOUPS 108547 WITH SCORE 109275.388
AT ITER 1751 NEW BEST:: SOT 1142422 SOS 729090 HAS SOPS 727632 HAS SOUS 109083 HAS SOUPS 108527 WITH SCORE 109256.09
AT ITER 1766 NEW BEST:: SOT 1142443 SOS 722157 HAS SOPS 720699 HAS SOUS 109086 HAS SOUPS 108530 WITH SCORE 109252.157
AT ITER 1784 NEW BEST:: SOT 1142443 SOS 722157 HAS SOPS 720699 HAS SOUS 108988 HAS SOUPS 108432 WITH SCORE 109154.157
AT ITER 1798 NEW BEST:: SOT 1142443 SOS 723381 HAS SOPS 721923 HAS SOUS 108305 HAS SOUPS 107749 WITH SCORE 108472.381
AT ITER 1800 NEW BEST:: SOT 1142443 SOS 722997 HAS SOPS 721539 HAS SOUS 108305 HAS SOUPS 107749 WITH SCORE 108471.997
AT ITER 1815 NEW BEST:: SOT 1142042 SOS 706953 HAS SOPS 705642 HAS SOUS 107978 HAS SOUPS 107565 WITH SCORE 108271.953
AT ITER 1821 NEW BEST:: SOT 1142042 SOS 706953 HAS SOPS 705611 HAS SOUS 107978 HAS SOUPS 107534 WITH SCORE 108240.953
AT ITER 1832 NEW BEST:: SOT 1142042 SOS 708937 HAS SOPS 707595 HAS SOUS 107878 HAS SOUPS 107434 WITH SCORE 108142.937
AT ITER 1843 NEW BEST:: SOT 1143082 SOS 755961 HAS SOPS 754619 HAS SOUS 107753 HAS SOUPS 107309 WITH SCORE 108064.961
AT ITER 1848 NEW BEST:: SOT 1142352 SOS 755602 HAS SOPS 754353 HAS SOUS 107422 HAS SOUPS 107071 WITH SCORE 107826.602
AT ITER 1849 NEW BEST:: SOT 1142352 SOS 755529 HAS SOPS 754280 HAS SOUS 107337 HAS SOUPS 106986 WITH SCORE 107741.529
AT ITER 1852 NEW BEST:: SOT 1142352 SOS 755433 HAS SOPS 754184 HAS SOUS 107337 HAS SOUPS 106986 WITH SCORE 107741.433
AT ITER 1865 NEW BEST:: SOT 1142133 SOS 755214 HAS SOPS 753965 HAS SOUS 107157 HAS SOUPS 106806 WITH SCORE 107561.214
AT ITER 1868 NEW BEST:: SOT 1142110 SOS 755191 HAS SOPS 753942 HAS SOUS 107043 HAS SOUPS 106692 WITH SCORE 107447.191
AT ITER 1882 NEW BEST:: SOT 1142110 SOS 755098 HAS SOPS 753849 HAS SOUS 107043 HAS SOUPS 106692 WITH SCORE 107447.098
AT ITER 1883 NEW BEST:: SOT 1142110 SOS 758122 HAS SOPS 756873 HAS SOUS 106996 HAS SOUPS 106645 WITH SCORE 107403.122
AT ITER 1891 NEW BEST:: SOT 1142118 SOS 757985 HAS SOPS 756881 HAS SOUS 106766 HAS SOUPS 106422 WITH SCORE 107179.985
AT ITER 1897 NEW BEST:: SOT 1142104 SOS 757971 HAS SOPS 756867 HAS SOUS 106691 HAS SOUPS 106347 WITH SCORE 107104.971
AT ITER 1898 NEW BEST:: SOT 1142207 SOS 758074 HAS SOPS 756970 HAS SOUS 106566 HAS SOUPS 106222 WITH SCORE 106980.074
AT ITER 1905 NEW BEST:: SOT 1141591 SOS 754371 HAS SOPS 753267 HAS SOUS 106302 HAS SOUPS 105958 WITH SCORE 106712.371
AT ITER 1910 NEW BEST:: SOT 1140518 SOS 752262 HAS SOPS 750434 HAS SOUS 105964 HAS SOUPS 105642 WITH SCORE 106394.262
AT ITER 1919 NEW BEST:: SOT 1140527 SOS 749148 HAS SOPS 747320 HAS SOUS 105965 HAS SOUPS 105643 WITH SCORE 106392.148
AT ITER 1924 NEW BEST:: SOT 1141239 SOS 749860 HAS SOPS 748032 HAS SOUS 105419 HAS SOUPS 105097 WITH SCORE 105846.86
AT ITER 1941 NEW BEST:: SOT 1141204 SOS 749825 HAS SOPS 747997 HAS SOUS 105344 HAS SOUPS 105022 WITH SCORE 105771.825
AT ITER 1950 NEW BEST:: SOT 1140562 SOS 704483 HAS SOPS 702655 HAS SOUS 104623 HAS SOUPS 104301 WITH SCORE 105005.483
AT ITER 1952 NEW BEST:: SOT 1140568 SOS 703809 HAS SOPS 701952 HAS SOUS 104614 HAS SOUPS 104263 WITH SCORE 104966.809
AT ITER 1956 NEW BEST:: SOT 1140568 SOS 703977 HAS SOPS 702120 HAS SOUS 104612 HAS SOUPS 104261 WITH SCORE 104964.977
AT ITER 1957 NEW BEST:: SOT 1139849 SOS 703570 HAS SOPS 701713 HAS SOUS 104378 HAS SOUPS 104027 WITH SCORE 104730.57
AT ITER 1961 NEW BEST:: SOT 1139849 SOS 703570 HAS SOPS 701713 HAS SOUS 104363 HAS SOUPS 104012 WITH SCORE 104715.57
AT ITER 1963 NEW BEST:: SOT 1141276 SOS 704997 HAS SOPS 703140 HAS SOUS 104172 HAS SOUPS 103821 WITH SCORE 104525.997
AT ITER 1967 NEW BEST:: SOT 1141276 SOS 704992 HAS SOPS 703140 HAS SOUS 104167 HAS SOUPS 103821 WITH SCORE 104525.992
AT ITER 1977 NEW BEST:: SOT 1141479 SOS 704691 HAS SOPS 702839 HAS SOUS 103881 HAS SOUPS 103535 WITH SCORE 104239.691
AT ITER 1984 NEW BEST:: SOT 1139932 SOS 703144 HAS SOPS 701292 HAS SOUS 103404 HAS SOUPS 103058 WITH SCORE 103761.144
AT ITER 1986 NEW BEST:: SOT 1139385 SOS 702231 HAS SOPS 700745 HAS SOUS 103249 HAS SOUPS 102923 WITH SCORE 103625.231
AT ITER 1987 NEW BEST:: SOT 1139514 SOS 702360 HAS SOPS 700874 HAS SOUS 102942 HAS SOUPS 102616 WITH SCORE 103318.36
AT ITER 1993 NEW BEST:: SOT 1138136 SOS 700982 HAS SOPS 699496 HAS SOUS 102608 HAS SOUPS 102282 WITH SCORE 102982.982
AT ITER 2012 NEW BEST:: SOT 1138318 SOS 701103 HAS SOPS 699818 HAS SOUS 102296 HAS SOUPS 101981 WITH SCORE 102682.103
AT ITER 2031 NEW BEST:: SOT 1138303 SOS 700834 HAS SOPS 699545 HAS SOUS 102270 HAS SOUPS 101951 WITH SCORE 102651.834
AT ITER 2032 NEW BEST:: SOT 1139213 SOS 704408 HAS SOPS 703119 HAS SOUS 101293 HAS SOUPS 100974 WITH SCORE 101678.408
AT ITER 2047 NEW BEST:: SOT 1139378 SOS 703853 HAS SOPS 702564 HAS SOUS 101273 HAS SOUPS 100954 WITH SCORE 101657.853
AT ITER 2051 NEW BEST:: SOT 1141089 SOS 706822 HAS SOPS 705533 HAS SOUS 100824 HAS SOUPS 100505 WITH SCORE 101211.822
AT ITER 2059 NEW BEST:: SOT 1140941 SOS 706674 HAS SOPS 705385 HAS SOUS 100572 HAS SOUPS 100253 WITH SCORE 100959.674
AT ITER 2088 NEW BEST:: SOT 1140551 SOS 703024 HAS SOPS 701735 HAS SOUS 100203 HAS SOUPS 99884 WITH SCORE 100587.024
AT ITER 2090 NEW BEST:: SOT 1140551 SOS 702904 HAS SOPS 701615 HAS SOUS 100203 HAS SOUPS 99884 WITH SCORE 100586.904
AT ITER 2100 NEW BEST:: SOT 1140499 SOS 702852 HAS SOPS 701563 HAS SOUS 100151 HAS SOUPS 99832 WITH SCORE 100534.852
AT ITER 2104 NEW BEST:: SOT 1140968 SOS 710382 HAS SOPS 710052 HAS SOUS 99956 HAS SOUPS 99811 WITH SCORE 100521.382
AT ITER 2108 NEW BEST:: SOT 1140800 SOS 710214 HAS SOPS 709884 HAS SOUS 99655 HAS SOUPS 99510 WITH SCORE 100220.214
AT ITER 2113 NEW BEST:: SOT 1140866 SOS 710280 HAS SOPS 709950 HAS SOUS 99576 HAS SOUPS 99431 WITH SCORE 100141.28
AT ITER 2116 NEW BEST:: SOT 1140858 SOS 710272 HAS SOPS 709942 HAS SOUS 99573 HAS SOUPS 99428 WITH SCORE 100138.272
AT ITER 2117 NEW BEST:: SOT 1140857 SOS 710247 HAS SOPS 709917 HAS SOUS 99572 HAS SOUPS 99427 WITH SCORE 100137.247
AT ITER 2129 NEW BEST:: SOT 1140858 SOS 710075 HAS SOPS 709774 HAS SOUS 99520 HAS SOUPS 99404 WITH SCORE 100114.075
AT ITER 2147 NEW BEST:: SOT 1140766 SOS 709048 HAS SOPS 708747 HAS SOUS 99489 HAS SOUPS 99373 WITH SCORE 100082.048
AT ITER 2190 NEW BEST:: SOT 1141330 SOS 727912 HAS SOPS 727819 HAS SOUS 99399 HAS SOUPS 99306 WITH SCORE 100033.912
AT ITER 2216 NEW BEST:: SOT 1141330 SOS 727820 HAS SOPS 727727 HAS SOUS 99379 HAS SOUPS 99286 WITH SCORE 100013.82
AT ITER 2243 NEW BEST:: SOT 1141330 SOS 727671 HAS SOPS 727578 HAS SOUS 99373 HAS SOUPS 99280 WITH SCORE 100007.671
AT ITER 2251 NEW BEST:: SOT 1141529 SOS 727870 HAS SOPS 727777 HAS SOUS 99352 HAS SOUPS 99259 WITH SCORE 99986.87
AT ITER 2253 NEW BEST:: SOT 1141909 SOS 729354 HAS SOPS 729261 HAS SOUS 98996 HAS SOUPS 98903 WITH SCORE 99632.354
AT ITER 2255 NEW BEST:: SOT 1142450 SOS 729895 HAS SOPS 729802 HAS SOUS 97591 HAS SOUPS 97498 WITH SCORE 98227.895
AT ITER 2260 NEW BEST:: SOT 1142444 SOS 729697 HAS SOPS 729604 HAS SOUS 97585 HAS SOUPS 97492 WITH SCORE 98221.697
AT ITER 2270 NEW BEST:: SOT 1142743 SOS 729996 HAS SOPS 729903 HAS SOUS 97428 HAS SOUPS 97335 WITH SCORE 98064.996
AT ITER 2274 NEW BEST:: SOT 1141553 SOS 731854 HAS SOPS 731761 HAS SOUS 96274 HAS SOUPS 96181 WITH SCORE 96912.854
AT ITER 2278 NEW BEST:: SOT 1141553 SOS 731796 HAS SOPS 731703 HAS SOUS 96244 HAS SOUPS 96151 WITH SCORE 96882.796
AT ITER 2288 NEW BEST:: SOT 1141565 SOS 732016 HAS SOPS 731923 HAS SOUS 96230 HAS SOUPS 96137 WITH SCORE 96869.016
AT ITER 2295 NEW BEST:: SOT 1141565 SOS 731848 HAS SOPS 731755 HAS SOUS 96230 HAS SOUPS 96137 WITH SCORE 96868.848
AT ITER 2297 NEW BEST:: SOT 1141559 SOS 731575 HAS SOPS 731449 HAS SOUS 96236 HAS SOUPS 96110 WITH SCORE 96841.575
AT ITER 2307 NEW BEST:: SOT 1141373 SOS 731389 HAS SOPS 731263 HAS SOUS 96116 HAS SOUPS 95990 WITH SCORE 96721.389
AT ITER 2309 NEW BEST:: SOT 1141337 SOS 730681 HAS SOPS 730561 HAS SOUS 96080 HAS SOUPS 95960 WITH SCORE 96690.681
AT ITER 2316 NEW BEST:: SOT 1141232 SOS 730576 HAS SOPS 730456 HAS SOUS 95975 HAS SOUPS 95855 WITH SCORE 96585.576
AT ITER 2317 NEW BEST:: SOT 1141375 SOS 730719 HAS SOPS 730599 HAS SOUS 95049 HAS SOUPS 94929 WITH SCORE 95659.719
AT ITER 2319 NEW BEST:: SOT 1141069 SOS 730413 HAS SOPS 730293 HAS SOUS 93911 HAS SOUPS 93791 WITH SCORE 94521.413
AT ITER 2323 NEW BEST:: SOT 1141476 SOS 730820 HAS SOPS 730700 HAS SOUS 93349 HAS SOUPS 93229 WITH SCORE 93959.82
AT ITER 2324 NEW BEST:: SOT 1141476 SOS 730076 HAS SOPS 729956 HAS SOUS 93349 HAS SOUPS 93229 WITH SCORE 93959.076
AT ITER 2330 NEW BEST:: SOT 1141408 SOS 730008 HAS SOPS 729888 HAS SOUS 93207 HAS SOUPS 93087 WITH SCORE 93817.008
AT ITER 2332 NEW BEST:: SOT 1141215 SOS 729815 HAS SOPS 729695 HAS SOUS 93099 HAS SOUPS 92979 WITH SCORE 93708.815
AT ITER 2359 NEW BEST:: SOT 1141223 SOS 729919 HAS SOPS 729799 HAS SOUS 93090 HAS SOUPS 92970 WITH SCORE 93699.919
AT ITER 2373 NEW BEST:: SOT 1141334 SOS 730030 HAS SOPS 729910 HAS SOUS 92842 HAS SOUPS 92722 WITH SCORE 93452.03
AT ITER 2381 NEW BEST:: SOT 1141252 SOS 729948 HAS SOPS 729828 HAS SOUS 92715 HAS SOUPS 92595 WITH SCORE 93324.948
AT ITER 2402 NEW BEST:: SOT 1141252 SOS 729948 HAS SOPS 729828 HAS SOUS 92529 HAS SOUPS 92409 WITH SCORE 93138.948
AT ITER 2438 NEW BEST:: SOT 1141252 SOS 729948 HAS SOPS 729828 HAS SOUS 92385 HAS SOUPS 92265 WITH SCORE 92994.948
AT ITER 2476 NEW BEST:: SOT 1141213 SOS 729909 HAS SOPS 729789 HAS SOUS 92164 HAS SOUPS 92044 WITH SCORE 92773.909
AT ITER 2485 NEW BEST:: SOT 1141020 SOS 729738 HAS SOPS 729618 HAS SOUS 91971 HAS SOUPS 91851 WITH SCORE 92580.738
AT ITER 2503 NEW BEST:: SOT 1140925 SOS 729643 HAS SOPS 729523 HAS SOUS 91936 HAS SOUPS 91816 WITH SCORE 92545.643
AT ITER 2504 NEW BEST:: SOT 1140923 SOS 729641 HAS SOPS 729521 HAS SOUS 91936 HAS SOUPS 91816 WITH SCORE 92545.641
AT ITER 2526 NEW BEST:: SOT 1140923 SOS 729281 HAS SOPS 729161 HAS SOUS 91936 HAS SOUPS 91816 WITH SCORE 92545.281
AT ITER 2527 NEW BEST:: SOT 1139197 SOS 726379 HAS SOPS 726259 HAS SOUS 91935 HAS SOUPS 91815 WITH SCORE 92541.379
AT ITER 2535 NEW BEST:: SOT 1138754 SOS 725402 HAS SOPS 725288 HAS SOUS 91922 HAS SOUPS 91808 WITH SCORE 92533.402
AT ITER 2583 NEW BEST:: SOT 1138754 SOS 726937 HAS SOPS 726823 HAS SOUS 91918 HAS SOUPS 91804 WITH SCORE 92530.937
AT ITER 2585 NEW BEST:: SOT 1138754 SOS 726889 HAS SOPS 726775 HAS SOUS 91916 HAS SOUPS 91802 WITH SCORE 92528.889
AT ITER 2589 NEW BEST:: SOT 1138808 SOS 727087 HAS SOPS 726973 HAS SOUS 91862 HAS SOUPS 91748 WITH SCORE 92475.087
AT ITER 2637 NEW BEST:: SOT 1141019 SOS 729298 HAS SOPS 729184 HAS SOUS 91793 HAS SOUPS 91679 WITH SCORE 92408.298
AT ITER 2642 NEW BEST:: SOT 1141025 SOS 729202 HAS SOPS 729088 HAS SOUS 91793 HAS SOUPS 91679 WITH SCORE 92408.202
AT ITER 2653 NEW BEST:: SOT 1141852 SOS 728183 HAS SOPS 728069 HAS SOUS 91537 HAS SOUPS 91423 WITH SCORE 92151.183
AT ITER 2656 NEW BEST:: SOT 1141868 SOS 728215 HAS SOPS 728101 HAS SOUS 91408 HAS SOUPS 91294 WITH SCORE 92022.215
AT ITER 2660 NEW BEST:: SOT 1142602 SOS 728949 HAS SOPS 728835 HAS SOUS 90354 HAS SOUPS 90240 WITH SCORE 90968.949
AT ITER 2671 NEW BEST:: SOT 1142600 SOS 728947 HAS SOPS 728833 HAS SOUS 90352 HAS SOUPS 90238 WITH SCORE 90966.947
AT ITER 2673 NEW BEST:: SOT 1142847 SOS 729194 HAS SOPS 729080 HAS SOUS 90337 HAS SOUPS 90223 WITH SCORE 90952.194
AT ITER 2690 NEW BEST:: SOT 1142610 SOS 728933 HAS SOPS 728819 HAS SOUS 90333 HAS SOUPS 90219 WITH SCORE 90947.933
AT ITER 2695 NEW BEST:: SOT 1142555 SOS 729200 HAS SOPS 729158 HAS SOUS 89247 HAS SOUPS 89205 WITH SCORE 89934.2
AT ITER 2715 NEW BEST:: SOT 1142542 SOS 729187 HAS SOPS 729145 HAS SOUS 89221 HAS SOUPS 89179 WITH SCORE 89908.187
AT ITER 2731 NEW BEST:: SOT 1142718 SOS 729363 HAS SOPS 729321 HAS SOUS 89210 HAS SOUPS 89168 WITH SCORE 89897.363
AT ITER 2736 NEW BEST:: SOT 1142588 SOS 729233 HAS SOPS 729191 HAS SOUS 89098 HAS SOUPS 89056 WITH SCORE 89785.233
AT ITER 2745 NEW BEST:: SOT 1142580 SOS 729225 HAS SOPS 729183 HAS SOUS 89080 HAS SOUPS 89038 WITH SCORE 89767.225
AT ITER 2780 NEW BEST:: SOT 1142576 SOS 727997 HAS SOPS 727955 HAS SOUS 89078 HAS SOUPS 89036 WITH SCORE 89763.997
AT ITER 2781 NEW BEST:: SOT 1142564 SOS 727985 HAS SOPS 727943 HAS SOUS 89057 HAS SOUPS 89015 WITH SCORE 89742.985
AT ITER 2797 NEW BEST:: SOT 1142564 SOS 727981 HAS SOPS 727943 HAS SOUS 89053 HAS SOUPS 89015 WITH SCORE 89742.981
AT ITER 2806 NEW BEST:: SOT 1142564 SOS 727845 HAS SOPS 727807 HAS SOUS 89053 HAS SOUPS 89015 WITH SCORE 89742.845
AT ITER 2812 NEW BEST:: SOT 1142721 SOS 728002 HAS SOPS 727964 HAS SOUS 88796 HAS SOUPS 88758 WITH SCORE 89486.002
AT ITER 2821 NEW BEST:: SOT 1142658 SOS 727939 HAS SOPS 727901 HAS SOUS 88737 HAS SOUPS 88699 WITH SCORE 89426.939
AT ITER 2826 NEW BEST:: SOT 1142658 SOS 728084 HAS SOPS 728046 HAS SOUS 88705 HAS SOUPS 88667 WITH SCORE 89395.084
AT ITER 2831 NEW BEST:: SOT 1143146 SOS 729025 HAS SOPS 728994 HAS SOUS 88631 HAS SOUPS 88600 WITH SCORE 89329.025
AT ITER 2836 NEW BEST:: SOT 1142672 SOS 728455 HAS SOPS 728424 HAS SOUS 88458 HAS SOUPS 88427 WITH SCORE 89155.455
AT ITER 2841 NEW BEST:: SOT 1142565 SOS 724364 HAS SOPS 724333 HAS SOUS 88337 HAS SOUPS 88306 WITH SCORE 89030.364
AT ITER 2844 NEW BEST:: SOT 1142204 SOS 724003 HAS SOPS 723972 HAS SOUS 87963 HAS SOUPS 87932 WITH SCORE 88656.003
AT ITER 2877 NEW BEST:: SOT 1142235 SOS 724106 HAS SOPS 724075 HAS SOUS 87799 HAS SOUPS 87768 WITH SCORE 88492.106
AT ITER 2880 NEW BEST:: SOT 1142228 SOS 723763 HAS SOPS 723732 HAS SOUS 87771 HAS SOUPS 87740 WITH SCORE 88463.763
AT ITER 2913 NEW BEST:: SOT 1141993 SOS 723528 HAS SOPS 723497 HAS SOUS 87269 HAS SOUPS 87238 WITH SCORE 87961.528
AT ITER 2937 NEW BEST:: SOT 1142108 SOS 723643 HAS SOPS 723612 HAS SOUS 87251 HAS SOUPS 87220 WITH SCORE 87943.643
AT ITER 2945 NEW BEST:: SOT 1142108 SOS 723643 HAS SOPS 723612 HAS SOUS 87219 HAS SOUPS 87188 WITH SCORE 87911.643
AT ITER 2964 NEW BEST:: SOT 1142075 SOS 723628 HAS SOPS 723597 HAS SOUS 87213 HAS SOUPS 87182 WITH SCORE 87905.628
AT ITER 2977 NEW BEST:: SOT 1141813 SOS 723366 HAS SOPS 723335 HAS SOUS 86917 HAS SOUPS 86886 WITH SCORE 87609.366
AT ITER 2981 NEW BEST:: SOT 1141776 SOS 723329 HAS SOPS 723298 HAS SOUS 86851 HAS SOUPS 86820 WITH SCORE 87543.329
AT ITER 2992 NEW BEST:: SOT 1141749 SOS 742910 HAS SOPS 742879 HAS SOUS 86785 HAS SOUPS 86754 WITH SCORE 87496.91
AT ITER 2993 NEW BEST:: SOT 1141759 SOS 742920 HAS SOPS 742889 HAS SOUS 86781 HAS SOUPS 86750 WITH SCORE 87492.92
AT ITER 3005 NEW BEST:: SOT 1141641 SOS 742802 HAS SOPS 742771 HAS SOUS 86731 HAS SOUPS 86700 WITH SCORE 87442.802
AT ITER 3006 NEW BEST:: SOT 1141642 SOS 742803 HAS SOPS 742772 HAS SOUS 86565 HAS SOUPS 86534 WITH SCORE 87276.803
AT ITER 3017 NEW BEST:: SOT 1141642 SOS 742755 HAS SOPS 742724 HAS SOUS 86565 HAS SOUPS 86534 WITH SCORE 87276.755
AT ITER 3038 NEW BEST:: SOT 1141639 SOS 742680 HAS SOPS 742649 HAS SOUS 86564 HAS SOUPS 86533 WITH SCORE 87275.68
AT ITER 3042 NEW BEST:: SOT 1141985 SOS 743026 HAS SOPS 742995 HAS SOUS 86362 HAS SOUPS 86331 WITH SCORE 87074.026
AT ITER 3044 NEW BEST:: SOT 1141037 SOS 742078 HAS SOPS 742047 HAS SOUS 85445 HAS SOUPS 85414 WITH SCORE 86156.078
AT ITER 3045 NEW BEST:: SOT 1141037 SOS 743112 HAS SOPS 743081 HAS SOUS 85424 HAS SOUPS 85393 WITH SCORE 86136.112
AT ITER 3056 NEW BEST:: SOT 1141037 SOS 742728 HAS SOPS 742697 HAS SOUS 85424 HAS SOUPS 85393 WITH SCORE 86135.728
AT ITER 3071 NEW BEST:: SOT 1141141 SOS 743168 HAS SOPS 743137 HAS SOUS 85341 HAS SOUPS 85310 WITH SCORE 86053.168
AT ITER 3072 NEW BEST:: SOT 1141141 SOS 743026 HAS SOPS 742995 HAS SOUS 85341 HAS SOUPS 85310 WITH SCORE 86053.026
AT ITER 3095 NEW BEST:: SOT 1141141 SOS 743026 HAS SOPS 742995 HAS SOUS 85333 HAS SOUPS 85302 WITH SCORE 86045.026
AT ITER 3111 NEW BEST:: SOT 1141183 SOS 743068 HAS SOPS 743037 HAS SOUS 85321 HAS SOUPS 85290 WITH SCORE 86033.068
AT ITER 3123 NEW BEST:: SOT 1140839 SOS 742724 HAS SOPS 742693 HAS SOUS 84714 HAS SOUPS 84683 WITH SCORE 85425.724
AT ITER 3153 NEW BEST:: SOT 1140740 SOS 744275 HAS SOPS 744244 HAS SOUS 84510 HAS SOUPS 84479 WITH SCORE 85223.275
AT ITER 3165 NEW BEST:: SOT 1140004 SOS 743539 HAS SOPS 743508 HAS SOUS 84499 HAS SOUPS 84468 WITH SCORE 85211.539
AT ITER 3174 NEW BEST:: SOT 1140212 SOS 743759 HAS SOPS 743728 HAS SOUS 84487 HAS SOUPS 84456 WITH SCORE 85199.759
AT ITER 3201 NEW BEST:: SOT 1140182 SOS 743729 HAS SOPS 743698 HAS SOUS 84425 HAS SOUPS 84394 WITH SCORE 85137.729
AT ITER 3238 NEW BEST:: SOT 1140182 SOS 724800 HAS SOPS 724769 HAS SOUS 84418 HAS SOUPS 84387 WITH SCORE 85111.8
AT ITER 3266 NEW BEST:: SOT 1140176 SOS 723805 HAS SOPS 723755 HAS SOUS 84431 HAS SOUPS 84381 WITH SCORE 85104.805
AT ITER 3274 NEW BEST:: SOT 1140176 SOS 722269 HAS SOPS 722219 HAS SOUS 84373 HAS SOUPS 84323 WITH SCORE 85045.269
AT ITER 3275 NEW BEST:: SOT 1140171 SOS 727557 HAS SOPS 727507 HAS SOUS 84354 HAS SOUPS 84304 WITH SCORE 85031.557
AT ITER 3278 NEW BEST:: SOT 1140146 SOS 737904 HAS SOPS 737873 HAS SOUS 84304 HAS SOUPS 84273 WITH SCORE 85010.904
AT ITER 3286 NEW BEST:: SOT 1140146 SOS 737880 HAS SOPS 737849 HAS SOUS 84303 HAS SOUPS 84272 WITH SCORE 85009.88
AT ITER 3291 NEW BEST:: SOT 1139747 SOS 738061 HAS SOPS 738030 HAS SOUS 84028 HAS SOUPS 83997 WITH SCORE 84735.061
AT ITER 3324 NEW BEST:: SOT 1139756 SOS 738070 HAS SOPS 738039 HAS SOUS 83822 HAS SOUPS 83791 WITH SCORE 84529.07
AT ITER 3331 NEW BEST:: SOT 1139575 SOS 737889 HAS SOPS 737858 HAS SOUS 83234 HAS SOUPS 83203 WITH SCORE 83940.889
AT ITER 3342 NEW BEST:: SOT 1139575 SOS 737889 HAS SOPS 737858 HAS SOUS 83233 HAS SOUPS 83202 WITH SCORE 83939.889
AT ITER 3353 NEW BEST:: SOT 1138764 SOS 737052 HAS SOPS 737021 HAS SOUS 83204 HAS SOUPS 83173 WITH SCORE 83910.052
AT ITER 3355 NEW BEST:: SOT 1138676 SOS 736964 HAS SOPS 736933 HAS SOUS 83173 HAS SOUPS 83142 WITH SCORE 83878.964
AT ITER 3365 NEW BEST:: SOT 1139801 SOS 738713 HAS SOPS 738682 HAS SOUS 82620 HAS SOUPS 82589 WITH SCORE 83327.713
AT ITER 3398 NEW BEST:: SOT 1139750 SOS 738542 HAS SOPS 738511 HAS SOUS 82608 HAS SOUPS 82577 WITH SCORE 83315.542
AT ITER 3423 NEW BEST:: SOT 1139593 SOS 738385 HAS SOPS 738354 HAS SOUS 82490 HAS SOUPS 82459 WITH SCORE 83197.385
AT ITER 3436 NEW BEST:: SOT 1139593 SOS 738071 HAS SOPS 738066 HAS SOUS 82464 HAS SOUPS 82459 WITH SCORE 83197.071
AT ITER 3438 NEW BEST:: SOT 1139754 SOS 738232 HAS SOPS 738227 HAS SOUS 82345 HAS SOUPS 82340 WITH SCORE 83078.232
AT ITER 3471 NEW BEST:: SOT 1139706 SOS 738184 HAS SOPS 738179 HAS SOUS 82135 HAS SOUPS 82130 WITH SCORE 82868.184
AT ITER 3499 NEW BEST:: SOT 1139750 SOS 738228 HAS SOPS 738223 HAS SOUS 82132 HAS SOUPS 82127 WITH SCORE 82865.228
AT ITER 3518 NEW BEST:: SOT 1139747 SOS 738225 HAS SOPS 738220 HAS SOUS 82132 HAS SOUPS 82127 WITH SCORE 82865.225
AT ITER 3554 NEW BEST:: SOT 1139747 SOS 737841 HAS SOPS 737836 HAS SOUS 82116 HAS SOUPS 82111 WITH SCORE 82848.841
AT ITER 3570 NEW BEST:: SOT 1139611 SOS 737705 HAS SOPS 737700 HAS SOUS 82045 HAS SOUPS 82040 WITH SCORE 82777.705
AT ITER 3576 NEW BEST:: SOT 1139637 SOS 738355 HAS SOPS 738350 HAS SOUS 81992 HAS SOUPS 81987 WITH SCORE 82725.355
AT ITER 3583 NEW BEST:: SOT 1138236 SOS 736954 HAS SOPS 736949 HAS SOUS 81810 HAS SOUPS 81805 WITH SCORE 82541.954
AT ITER 3604 NEW BEST:: SOT 1138235 SOS 736953 HAS SOPS 736948 HAS SOUS 81767 HAS SOUPS 81762 WITH SCORE 82498.953
AT ITER 3614 NEW BEST:: SOT 1138129 SOS 736847 HAS SOPS 736842 HAS SOUS 81761 HAS SOUPS 81756 WITH SCORE 82492.847
AT ITER 3637 NEW BEST:: SOT 1137934 SOS 736652 HAS SOPS 736647 HAS SOUS 81566 HAS SOUPS 81561 WITH SCORE 82297.652
AT ITER 3649 NEW BEST:: SOT 1137933 SOS 736651 HAS SOPS 736646 HAS SOUS 81565 HAS SOUPS 81560 WITH SCORE 82296.651
AT ITER 3650 NEW BEST:: SOT 1139420 SOS 738138 HAS SOPS 738133 HAS SOUS 81317 HAS SOUPS 81312 WITH SCORE 82050.138
AT ITER 3654 NEW BEST:: SOT 1139379 SOS 737113 HAS SOPS 737108 HAS SOUS 81227 HAS SOUPS 81222 WITH SCORE 81959.113
AT ITER 3680 NEW BEST:: SOT 1139330 SOS 737088 HAS SOPS 737083 HAS SOUS 81171 HAS SOUPS 81166 WITH SCORE 81903.088
AT ITER 3683 NEW BEST:: SOT 1139254 SOS 737012 HAS SOPS 737007 HAS SOUS 80955 HAS SOUPS 80950 WITH SCORE 81687.012
AT ITER 3712 NEW BEST:: SOT 1138439 SOS 736197 HAS SOPS 736192 HAS SOUS 80928 HAS SOUPS 80923 WITH SCORE 81659.197
AT ITER 3739 NEW BEST:: SOT 1138438 SOS 729739 HAS SOPS 729734 HAS SOUS 80925 HAS SOUPS 80920 WITH SCORE 81649.739
AT ITER 3782 NEW BEST:: SOT 1138438 SOS 729996 HAS SOPS 729991 HAS SOUS 80913 HAS SOUPS 80908 WITH SCORE 81637.996
AT ITER 3793 NEW BEST:: SOT 1138131 SOS 730049 HAS SOPS 730044 HAS SOUS 79844 HAS SOUPS 79839 WITH SCORE 80569.049
AT ITER 3827 NEW BEST:: SOT 1138131 SOS 729833 HAS SOPS 729828 HAS SOUS 79833 HAS SOUPS 79828 WITH SCORE 80557.833
AT ITER 3834 NEW BEST:: SOT 1138131 SOS 730049 HAS SOPS 730044 HAS SOUS 79830 HAS SOUPS 79825 WITH SCORE 80555.049
AT ITER 3850 NEW BEST:: SOT 1137311 SOS 729073 HAS SOPS 729068 HAS SOUS 79705 HAS SOUPS 79700 WITH SCORE 80429.073
AT ITER 3860 NEW BEST:: SOT 1137311 SOS 736017 HAS SOPS 736012 HAS SOUS 79663 HAS SOUPS 79658 WITH SCORE 80394.017
AT ITER 3880 NEW BEST:: SOT 1137308 SOS 737022 HAS SOPS 737017 HAS SOUS 79659 HAS SOUPS 79654 WITH SCORE 80391.022
AT ITER 3913 NEW BEST:: SOT 1137392 SOS 737154 HAS SOPS 737149 HAS SOUS 79617 HAS SOUPS 79612 WITH SCORE 80349.154
AT ITER 3916 NEW BEST:: SOT 1137376 SOS 737138 HAS SOPS 737133 HAS SOUS 79610 HAS SOUPS 79605 WITH SCORE 80342.138
AT ITER 3929 NEW BEST:: SOT 1136856 SOS 736606 HAS SOPS 736601 HAS SOUS 79594 HAS SOUPS 79589 WITH SCORE 80325.606
AT ITER 3949 NEW BEST:: SOT 1136096 SOS 735846 HAS SOPS 735841 HAS SOUS 79240 HAS SOUPS 79235 WITH SCORE 79970.846
AT ITER 3956 NEW BEST:: SOT 1136106 SOS 736096 HAS SOPS 736091 HAS SOUS 79202 HAS SOUPS 79197 WITH SCORE 79933.096
AT ITER 3963 NEW BEST:: SOT 1136106 SOS 735952 HAS SOPS 735947 HAS SOUS 79202 HAS SOUPS 79197 WITH SCORE 79932.952
AT ITER 3981 NEW BEST:: SOT 1136342 SOS 736188 HAS SOPS 736183 HAS SOUS 79184 HAS SOUPS 79179 WITH SCORE 79915.188
AT ITER 4001 NEW BEST:: SOT 1136571 SOS 736417 HAS SOPS 736412 HAS SOUS 79180 HAS SOUPS 79175 WITH SCORE 79911.417
AT ITER 4010 NEW BEST:: SOT 1136546 SOS 736392 HAS SOPS 736387 HAS SOUS 79120 HAS SOUPS 79115 WITH SCORE 79851.392
AT ITER 4050 NEW BEST:: SOT 1136155 SOS 736049 HAS SOPS 736044 HAS SOUS 79120 HAS SOUPS 79115 WITH SCORE 79851.049
AT ITER 4065 NEW BEST:: SOT 1136155 SOS 735785 HAS SOPS 735780 HAS SOUS 79120 HAS SOUPS 79115 WITH SCORE 79850.785
AT ITER 4100 NEW BEST:: SOT 1136166 SOS 735796 HAS SOPS 735791 HAS SOUS 79072 HAS SOUPS 79067 WITH SCORE 79802.796
AT ITER 4117 NEW BEST:: SOT 1135883 SOS 735513 HAS SOPS 735508 HAS SOUS 79052 HAS SOUPS 79047 WITH SCORE 79782.513
AT ITER 4138 NEW BEST:: SOT 1136434 SOS 736064 HAS SOPS 736059 HAS SOUS 79034 HAS SOUPS 79029 WITH SCORE 79765.064
AT ITER 4148 NEW BEST:: SOT 1136434 SOS 735992 HAS SOPS 735987 HAS SOUS 79034 HAS SOUPS 79029 WITH SCORE 79764.992
AT ITER 4149 NEW BEST:: SOT 1136434 SOS 735944 HAS SOPS 735939 HAS SOUS 79034 HAS SOUPS 79029 WITH SCORE 79764.944
AT ITER 4173 NEW BEST:: SOT 1136359 SOS 733109 HAS SOPS 733104 HAS SOUS 78953 HAS SOUPS 78948 WITH SCORE 79681.109
AT ITER 4176 NEW BEST:: SOT 1136359 SOS 734237 HAS SOPS 734232 HAS SOUS 78943 HAS SOUPS 78938 WITH SCORE 79672.237
AT ITER 4181 NEW BEST:: SOT 1136331 SOS 734209 HAS SOPS 734204 HAS SOUS 78936 HAS SOUPS 78931 WITH SCORE 79665.209
AT ITER 4194 NEW BEST:: SOT 1136600 SOS 744534 HAS SOPS 744529 HAS SOUS 78874 HAS SOUPS 78869 WITH SCORE 79613.534
AT ITER 4216 NEW BEST:: SOT 1136600 SOS 744510 HAS SOPS 744505 HAS SOUS 78874 HAS SOUPS 78869 WITH SCORE 79613.51
AT ITER 4225 NEW BEST:: SOT 1136600 SOS 744294 HAS SOPS 744289 HAS SOUS 78874 HAS SOUPS 78869 WITH SCORE 79613.294
AT ITER 4256 NEW BEST:: SOT 1136546 SOS 744240 HAS SOPS 744235 HAS SOUS 78816 HAS SOUPS 78811 WITH SCORE 79555.24
AT ITER 4273 NEW BEST:: SOT 1136546 SOS 745272 HAS SOPS 745267 HAS SOUS 78769 HAS SOUPS 78764 WITH SCORE 79509.272
AT ITER 4286 NEW BEST:: SOT 1134363 SOS 743089 HAS SOPS 743084 HAS SOUS 78707 HAS SOUPS 78702 WITH SCORE 79445.089
AT ITER 4311 NEW BEST:: SOT 1134342 SOS 743068 HAS SOPS 743063 HAS SOUS 78681 HAS SOUPS 78676 WITH SCORE 79419.068
AT ITER 4333 NEW BEST:: SOT 1134342 SOS 742564 HAS SOPS 742559 HAS SOUS 78681 HAS SOUPS 78676 WITH SCORE 79418.564
AT ITER 4334 NEW BEST:: SOT 1134472 SOS 743270 HAS SOPS 743265 HAS SOUS 78494 HAS SOUPS 78489 WITH SCORE 79232.27
AT ITER 4365 NEW BEST:: SOT 1134578 SOS 743376 HAS SOPS 743371 HAS SOUS 78416 HAS SOUPS 78411 WITH SCORE 79154.376
AT ITER 4374 NEW BEST:: SOT 1134578 SOS 739123 HAS SOPS 739118 HAS SOUS 78416 HAS SOUPS 78411 WITH SCORE 79150.123
AT ITER 4391 NEW BEST:: SOT 1134578 SOS 738501 HAS SOPS 738496 HAS SOUS 78416 HAS SOUPS 78411 WITH SCORE 79149.501
AT ITER 4402 NEW BEST:: SOT 1135006 SOS 738929 HAS SOPS 738924 HAS SOUS 77541 HAS SOUPS 77536 WITH SCORE 78274.929
AT ITER 4404 NEW BEST:: SOT 1134877 SOS 738800 HAS SOPS 738795 HAS SOUS 77412 HAS SOUPS 77407 WITH SCORE 78145.8
AT ITER 4407 NEW BEST:: SOT 1134877 SOS 738740 HAS SOPS 738735 HAS SOUS 77412 HAS SOUPS 77407 WITH SCORE 78145.74
AT ITER 4419 NEW BEST:: SOT 1134863 SOS 739674 HAS SOPS 739669 HAS SOUS 77408 HAS SOUPS 77403 WITH SCORE 78142.674
AT ITER 4428 NEW BEST:: SOT 1134486 SOS 739297 HAS SOPS 739292 HAS SOUS 77358 HAS SOUPS 77353 WITH SCORE 78092.297
AT ITER 4439 NEW BEST:: SOT 1134485 SOS 739296 HAS SOPS 739291 HAS SOUS 77357 HAS SOUPS 77352 WITH SCORE 78091.296
AT ITER 4440 NEW BEST:: SOT 1134485 SOS 739296 HAS SOPS 739291 HAS SOUS 77342 HAS SOUPS 77337 WITH SCORE 78076.296
AT ITER 4471 NEW BEST:: SOT 1134485 SOS 739295 HAS SOPS 739291 HAS SOUS 77341 HAS SOUPS 77337 WITH SCORE 78076.295
AT ITER 4484 NEW BEST:: SOT 1134488 SOS 739298 HAS SOPS 739294 HAS SOUS 77285 HAS SOUPS 77281 WITH SCORE 78020.298
AT ITER 4540 NEW BEST:: SOT 1134488 SOS 738914 HAS SOPS 738910 HAS SOUS 77269 HAS SOUPS 77265 WITH SCORE 78003.914
AT ITER 4544 NEW BEST:: SOT 1134940 SOS 739366 HAS SOPS 739362 HAS SOUS 77175 HAS SOUPS 77171 WITH SCORE 77910.366
AT ITER 4548 NEW BEST:: SOT 1134940 SOS 739298 HAS SOPS 739294 HAS SOUS 77158 HAS SOUPS 77154 WITH SCORE 77893.298
AT ITER 4557 NEW BEST:: SOT 1132915 SOS 737273 HAS SOPS 737269 HAS SOUS 76872 HAS SOUPS 76868 WITH SCORE 77605.273
AT ITER 4565 NEW BEST:: SOT 1132915 SOS 737201 HAS SOPS 737197 HAS SOUS 76872 HAS SOUPS 76868 WITH SCORE 77605.201
AT ITER 4570 NEW BEST:: SOT 1132910 SOS 737196 HAS SOPS 737192 HAS SOUS 76860 HAS SOUPS 76856 WITH SCORE 77593.196
AT ITER 4653 NEW BEST:: SOT 1132881 SOS 737167 HAS SOPS 737163 HAS SOUS 76797 HAS SOUPS 76793 WITH SCORE 77530.167
AT ITER 4679 NEW BEST:: SOT 1132872 SOS 737158 HAS SOPS 737154 HAS SOUS 76788 HAS SOUPS 76784 WITH SCORE 77521.158
AT ITER 4699 NEW BEST:: SOT 1132707 SOS 736993 HAS SOPS 736989 HAS SOUS 76739 HAS SOUPS 76735 WITH SCORE 77471.993
AT ITER 4702 NEW BEST:: SOT 1131834 SOS 740224 HAS SOPS 740220 HAS SOUS 76538 HAS SOUPS 76534 WITH SCORE 77274.224
AT ITER 4747 NEW BEST:: SOT 1131466 SOS 739856 HAS SOPS 739852 HAS SOUS 76030 HAS SOUPS 76026 WITH SCORE 76765.856
AT ITER 4781 NEW BEST:: SOT 1131572 SOS 739962 HAS SOPS 739958 HAS SOUS 75971 HAS SOUPS 75967 WITH SCORE 76706.962
AT ITER 4803 NEW BEST:: SOT 1131396 SOS 739786 HAS SOPS 739782 HAS SOUS 75935 HAS SOUPS 75931 WITH SCORE 76670.786
AT ITER 4811 NEW BEST:: SOT 1131389 SOS 739608 HAS SOPS 739607 HAS SOUS 75914 HAS SOUPS 75913 WITH SCORE 76652.608
AT ITER 4814 NEW BEST:: SOT 1131814 SOS 742721 HAS SOPS 742720 HAS SOUS 75851 HAS SOUPS 75850 WITH SCORE 76592.721
AT ITER 4854 NEW BEST:: SOT 1129547 SOS 740454 HAS SOPS 740453 HAS SOUS 75073 HAS SOUPS 75072 WITH SCORE 75812.454
AT ITER 4864 NEW BEST:: SOT 1128846 SOS 740469 HAS SOPS 740448 HAS SOUS 74979 HAS SOUPS 74958 WITH SCORE 75698.469
AT ITER 4867 NEW BEST:: SOT 1128828 SOS 740451 HAS SOPS 740430 HAS SOUS 74901 HAS SOUPS 74880 WITH SCORE 75620.451
AT ITER 4874 NEW BEST:: SOT 1128810 SOS 749293 HAS SOPS 749272 HAS SOUS 74887 HAS SOUPS 74866 WITH SCORE 75615.293
AT ITER 4889 NEW BEST:: SOT 1129436 SOS 749223 HAS SOPS 749222 HAS SOUS 74177 HAS SOUPS 74176 WITH SCORE 74925.223
AT ITER 4908 NEW BEST:: SOT 1129436 SOS 749439 HAS SOPS 749438 HAS SOUS 74020 HAS SOUPS 74019 WITH SCORE 74768.439
AT ITER 4931 NEW BEST:: SOT 1129544 SOS 749547 HAS SOPS 749546 HAS SOUS 74010 HAS SOUPS 74009 WITH SCORE 74758.547
AT ITER 4940 NEW BEST:: SOT 1129326 SOS 749329 HAS SOPS 749328 HAS SOUS 73804 HAS SOUPS 73803 WITH SCORE 74552.329
AT ITER 4944 NEW BEST:: SOT 1129326 SOS 749131 HAS SOPS 749130 HAS SOUS 73804 HAS SOUPS 73803 WITH SCORE 74552.131
AT ITER 4965 NEW BEST:: SOT 1129263 SOS 748320 HAS SOPS 748243 HAS SOUS 73771 HAS SOUPS 73751 WITH SCORE 74499.32
AT ITER 4988 NEW BEST:: SOT 1128972 SOS 746248 HAS SOPS 746160 HAS SOUS 73467 HAS SOUPS 73436 WITH SCORE 74182.248
AT ITER 5004 NEW BEST:: SOT 1128962 SOS 746238 HAS SOPS 746150 HAS SOUS 73462 HAS SOUPS 73431 WITH SCORE 74177.238
AT ITER 5014 NEW BEST:: SOT 1128931 SOS 746145 HAS SOPS 746057 HAS SOUS 73454 HAS SOUPS 73423 WITH SCORE 74169.145
AT ITER 5039 NEW BEST:: SOT 1128969 SOS 746190 HAS SOPS 746102 HAS SOUS 73399 HAS SOUPS 73368 WITH SCORE 74114.19
AT ITER 5046 NEW BEST:: SOT 1128966 SOS 746187 HAS SOPS 746099 HAS SOUS 73391 HAS SOUPS 73360 WITH SCORE 74106.187
AT ITER 5053 NEW BEST:: SOT 1128752 SOS 745973 HAS SOPS 745885 HAS SOUS 73110 HAS SOUPS 73079 WITH SCORE 73824.973
AT ITER 5058 NEW BEST:: SOT 1128791 SOS 746012 HAS SOPS 745924 HAS SOUS 72992 HAS SOUPS 72961 WITH SCORE 73707.012
AT ITER 5063 NEW BEST:: SOT 1128766 SOS 746600 HAS SOPS 746479 HAS SOUS 72974 HAS SOUPS 72910 WITH SCORE 73656.6
AT ITER 5072 NEW BEST:: SOT 1128758 SOS 746656 HAS SOPS 746535 HAS SOUS 72966 HAS SOUPS 72902 WITH SCORE 73648.656
AT ITER 5152 NEW BEST:: SOT 1128881 SOS 746507 HAS SOPS 746386 HAS SOUS 72933 HAS SOUPS 72869 WITH SCORE 73615.507
AT ITER 5155 NEW BEST:: SOT 1128882 SOS 746508 HAS SOPS 746387 HAS SOUS 72932 HAS SOUPS 72868 WITH SCORE 73614.508
AT ITER 5164 NEW BEST:: SOT 1128888 SOS 746634 HAS SOPS 746513 HAS SOUS 72816 HAS SOUPS 72752 WITH SCORE 73498.634
AT ITER 5211 NEW BEST:: SOT 1128884 SOS 745894 HAS SOPS 745765 HAS SOUS 72820 HAS SOUPS 72748 WITH SCORE 73493.894
AT ITER 5216 NEW BEST:: SOT 1128930 SOS 746115 HAS SOPS 745986 HAS SOUS 72793 HAS SOUPS 72721 WITH SCORE 73467.115
AT ITER 5249 NEW BEST:: SOT 1128923 SOS 746108 HAS SOPS 745979 HAS SOUS 72786 HAS SOUPS 72714 WITH SCORE 73460.108
AT ITER 5261 NEW BEST:: SOT 1128926 SOS 746181 HAS SOPS 746052 HAS SOUS 72744 HAS SOUPS 72672 WITH SCORE 73418.181
AT ITER 5270 NEW BEST:: SOT 1129163 SOS 746418 HAS SOPS 746289 HAS SOUS 72679 HAS SOUPS 72607 WITH SCORE 73353.418
AT ITER 5273 NEW BEST:: SOT 1129155 SOS 746218 HAS SOPS 746089 HAS SOUS 72676 HAS SOUPS 72604 WITH SCORE 73350.218
AT ITER 5300 NEW BEST:: SOT 1129451 SOS 746514 HAS SOPS 746385 HAS SOUS 72603 HAS SOUPS 72531 WITH SCORE 73277.514
AT ITER 5315 NEW BEST:: SOT 1129449 SOS 746512 HAS SOPS 746383 HAS SOUS 72601 HAS SOUPS 72529 WITH SCORE 73275.512
AT ITER 5326 NEW BEST:: SOT 1129449 SOS 746512 HAS SOPS 746383 HAS SOUS 72596 HAS SOUPS 72524 WITH SCORE 73270.512
AT ITER 5343 NEW BEST:: SOT 1129453 SOS 746564 HAS SOPS 746435 HAS SOUS 72549 HAS SOUPS 72477 WITH SCORE 73223.564
AT ITER 5371 NEW BEST:: SOT 1129759 SOS 746988 HAS SOPS 746859 HAS SOUS 72306 HAS SOUPS 72234 WITH SCORE 72980.988
AT ITER 5383 NEW BEST:: SOT 1129766 SOS 746995 HAS SOPS 746866 HAS SOUS 72305 HAS SOUPS 72233 WITH SCORE 72979.995
AT ITER 5399 NEW BEST:: SOT 1129683 SOS 746912 HAS SOPS 746783 HAS SOUS 72220 HAS SOUPS 72148 WITH SCORE 72894.912
AT ITER 5400 NEW BEST:: SOT 1129329 SOS 731914 HAS SOPS 731785 HAS SOUS 72084 HAS SOUPS 72012 WITH SCORE 72743.914
AT ITER 5431 NEW BEST:: SOT 1129329 SOS 731914 HAS SOPS 731785 HAS SOUS 72077 HAS SOUPS 72005 WITH SCORE 72736.914
AT ITER 5451 NEW BEST:: SOT 1129143 SOS 731728 HAS SOPS 731599 HAS SOUS 72063 HAS SOUPS 71991 WITH SCORE 72722.728
AT ITER 5459 NEW BEST:: SOT 1129143 SOS 731728 HAS SOPS 731599 HAS SOUS 72040 HAS SOUPS 71968 WITH SCORE 72699.728
AT ITER 5460 NEW BEST:: SOT 1129166 SOS 731751 HAS SOPS 731622 HAS SOUS 72015 HAS SOUPS 71943 WITH SCORE 72674.751
AT ITER 5461 NEW BEST:: SOT 1129166 SOS 731655 HAS SOPS 731526 HAS SOUS 72011 HAS SOUPS 71939 WITH SCORE 72670.655
AT ITER 5470 NEW BEST:: SOT 1129166 SOS 731607 HAS SOPS 731478 HAS SOUS 72007 HAS SOUPS 71935 WITH SCORE 72666.607
AT ITER 5476 NEW BEST:: SOT 1128276 SOS 730717 HAS SOPS 730588 HAS SOUS 71743 HAS SOUPS 71671 WITH SCORE 72401.717
AT ITER 5477 NEW BEST:: SOT 1128276 SOS 730837 HAS SOPS 730708 HAS SOUS 71650 HAS SOUPS 71578 WITH SCORE 72308.837
AT ITER 5479 NEW BEST:: SOT 1128276 SOS 730653 HAS SOPS 730524 HAS SOUS 71650 HAS SOUPS 71578 WITH SCORE 72308.653
AT ITER 5483 NEW BEST:: SOT 1128271 SOS 730648 HAS SOPS 730519 HAS SOUS 71645 HAS SOUPS 71573 WITH SCORE 72303.648
AT ITER 5489 NEW BEST:: SOT 1127926 SOS 730403 HAS SOPS 730274 HAS SOUS 71543 HAS SOUPS 71471 WITH SCORE 72201.403
AT ITER 5491 NEW BEST:: SOT 1127926 SOS 730475 HAS SOPS 730346 HAS SOUS 71492 HAS SOUPS 71420 WITH SCORE 72150.475
AT ITER 5494 NEW BEST:: SOT 1127888 SOS 730437 HAS SOPS 730308 HAS SOUS 71414 HAS SOUPS 71342 WITH SCORE 72072.437
AT ITER 5505 NEW BEST:: SOT 1127885 SOS 730434 HAS SOPS 730305 HAS SOUS 71039 HAS SOUPS 70967 WITH SCORE 71697.434
AT ITER 5515 NEW BEST:: SOT 1127897 SOS 730446 HAS SOPS 730317 HAS SOUS 71031 HAS SOUPS 70959 WITH SCORE 71689.446
AT ITER 5522 NEW BEST:: SOT 1127909 SOS 729873 HAS SOPS 729777 HAS SOUS 70976 HAS SOUPS 70937 WITH SCORE 71666.873
AT ITER 5667 NEW BEST:: SOT 1127610 SOS 729574 HAS SOPS 729478 HAS SOUS 70632 HAS SOUPS 70593 WITH SCORE 71322.574
AT ITER 5672 NEW BEST:: SOT 1128541 SOS 730505 HAS SOPS 730409 HAS SOUS 70591 HAS SOUPS 70552 WITH SCORE 71282.505
AT ITER 5674 NEW BEST:: SOT 1128855 SOS 730819 HAS SOPS 730723 HAS SOUS 70447 HAS SOUPS 70408 WITH SCORE 71138.819
AT ITER 5695 NEW BEST:: SOT 1127319 SOS 729283 HAS SOPS 729187 HAS SOUS 70054 HAS SOUPS 70015 WITH SCORE 70744.283
AT ITER 5717 NEW BEST:: SOT 1127319 SOS 729122 HAS SOPS 729019 HAS SOUS 70061 HAS SOUPS 70015 WITH SCORE 70744.122
AT ITER 5740 NEW BEST:: SOT 1127287 SOS 729106 HAS SOPS 729003 HAS SOUS 70057 HAS SOUPS 70011 WITH SCORE 70740.106
AT ITER 5756 NEW BEST:: SOT 1126799 SOS 730010 HAS SOPS 729907 HAS SOUS 69726 HAS SOUPS 69680 WITH SCORE 70410.01
AT ITER 5808 NEW BEST:: SOT 1125078 SOS 720239 HAS SOPS 720136 HAS SOUS 69343 HAS SOUPS 69297 WITH SCORE 70017.239
AT ITER 5835 NEW BEST:: SOT 1125068 SOS 718957 HAS SOPS 718854 HAS SOUS 69269 HAS SOUPS 69223 WITH SCORE 69941.957
AT ITER 5867 NEW BEST:: SOT 1125041 SOS 718930 HAS SOPS 718827 HAS SOUS 69242 HAS SOUPS 69196 WITH SCORE 69914.93
AT ITER 5871 NEW BEST:: SOT 1125041 SOS 718912 HAS SOPS 718809 HAS SOUS 69242 HAS SOUPS 69196 WITH SCORE 69914.912
AT ITER 5903 NEW BEST:: SOT 1125056 SOS 717011 HAS SOPS 716984 HAS SOUS 69109 HAS SOUPS 69082 WITH SCORE 69799.011
AT ITER 5909 NEW BEST:: SOT 1124195 SOS 716150 HAS SOPS 716123 HAS SOUS 69090 HAS SOUPS 69063 WITH SCORE 69779.15
AT ITER 5919 NEW BEST:: SOT 1124195 SOS 715982 HAS SOPS 715955 HAS SOUS 69090 HAS SOUPS 69063 WITH SCORE 69778.982
AT ITER 5958 NEW BEST:: SOT 1124195 SOS 710720 HAS SOPS 710693 HAS SOUS 69077 HAS SOUPS 69050 WITH SCORE 69760.72
AT ITER 5973 NEW BEST:: SOT 1123944 SOS 700821 HAS SOPS 700794 HAS SOUS 69057 HAS SOUPS 69030 WITH SCORE 69730.821
AT ITER 5982 NEW BEST:: SOT 1123907 SOS 700784 HAS SOPS 700757 HAS SOUS 69001 HAS SOUPS 68974 WITH SCORE 69674.784
AT ITER 6049 NEW BEST:: SOT 1123907 SOS 700784 HAS SOPS 700757 HAS SOUS 68997 HAS SOUPS 68970 WITH SCORE 69670.784
AT ITER 6072 NEW BEST:: SOT 1123929 SOS 700806 HAS SOPS 700779 HAS SOUS 68994 HAS SOUPS 68967 WITH SCORE 69667.806
AT ITER 6077 NEW BEST:: SOT 1123732 SOS 700493 HAS SOPS 700466 HAS SOUS 68899 HAS SOUPS 68872 WITH SCORE 69572.493
AT ITER 6094 NEW BEST:: SOT 1124783 SOS 701544 HAS SOPS 701517 HAS SOUS 68430 HAS SOUPS 68403 WITH SCORE 69104.544
AT ITER 6095 NEW BEST:: SOT 1124778 SOS 701539 HAS SOPS 701512 HAS SOUS 68357 HAS SOUPS 68330 WITH SCORE 69031.539
AT ITER 6098 NEW BEST:: SOT 1124778 SOS 702608 HAS SOPS 702592 HAS SOUS 68257 HAS SOUPS 68241 WITH SCORE 68943.608
AT ITER 6100 NEW BEST:: SOT 1124858 SOS 702688 HAS SOPS 702672 HAS SOUS 68255 HAS SOUPS 68239 WITH SCORE 68941.688
AT ITER 6109 NEW BEST:: SOT 1124868 SOS 702698 HAS SOPS 702682 HAS SOUS 68229 HAS SOUPS 68213 WITH SCORE 68915.698
AT ITER 6115 NEW BEST:: SOT 1124775 SOS 703157 HAS SOPS 703141 HAS SOUS 68223 HAS SOUPS 68207 WITH SCORE 68910.157
AT ITER 6124 NEW BEST:: SOT 1124768 SOS 702390 HAS SOPS 702366 HAS SOUS 68226 HAS SOUPS 68202 WITH SCORE 68904.39
AT ITER 6144 NEW BEST:: SOT 1124768 SOS 702054 HAS SOPS 702030 HAS SOUS 68199 HAS SOUPS 68175 WITH SCORE 68877.054
AT ITER 6174 NEW BEST:: SOT 1124768 SOS 702054 HAS SOPS 702030 HAS SOUS 68198 HAS SOUPS 68174 WITH SCORE 68876.054
AT ITER 6203 NEW BEST:: SOT 1124740 SOS 702134 HAS SOPS 702098 HAS SOUS 68209 HAS SOUPS 68173 WITH SCORE 68875.134
AT ITER 6241 NEW BEST:: SOT 1124809 SOS 702203 HAS SOPS 702167 HAS SOUS 68129 HAS SOUPS 68093 WITH SCORE 68795.203
AT ITER 6249 NEW BEST:: SOT 1124817 SOS 702307 HAS SOPS 702271 HAS SOUS 68117 HAS SOUPS 68081 WITH SCORE 68783.307
AT ITER 6369 NEW BEST:: SOT 1124673 SOS 702091 HAS SOPS 702055 HAS SOUS 67967 HAS SOUPS 67931 WITH SCORE 68633.091
AT ITER 6373 NEW BEST:: SOT 1124813 SOS 705406 HAS SOPS 705370 HAS SOUS 67781 HAS SOUPS 67745 WITH SCORE 68450.406
AT ITER 6377 NEW BEST:: SOT 1124813 SOS 705286 HAS SOPS 705250 HAS SOUS 67781 HAS SOUPS 67745 WITH SCORE 68450.286
AT ITER 6386 NEW BEST:: SOT 1124813 SOS 705006 HAS SOPS 704970 HAS SOUS 67781 HAS SOUPS 67745 WITH SCORE 68450.006
AT ITER 6413 NEW BEST:: SOT 1124724 SOS 722071 HAS SOPS 722035 HAS SOUS 67652 HAS SOUPS 67616 WITH SCORE 68338.071
AT ITER 6416 NEW BEST:: SOT 1123986 SOS 721333 HAS SOPS 721297 HAS SOUS 67649 HAS SOUPS 67613 WITH SCORE 68334.333
AT ITER 6458 NEW BEST:: SOT 1123979 SOS 721186 HAS SOPS 721150 HAS SOUS 67649 HAS SOUPS 67613 WITH SCORE 68334.186
AT ITER 6461 NEW BEST:: SOT 1123979 SOS 721186 HAS SOPS 721150 HAS SOUS 67643 HAS SOUPS 67607 WITH SCORE 68328.186
AT ITER 6470 NEW BEST:: SOT 1123979 SOS 721186 HAS SOPS 721150 HAS SOUS 67585 HAS SOUPS 67549 WITH SCORE 68270.186
AT ITER 6483 NEW BEST:: SOT 1124520 SOS 721991 HAS SOPS 721955 HAS SOUS 67417 HAS SOUPS 67381 WITH SCORE 68102.991
AT ITER 6491 NEW BEST:: SOT 1124520 SOS 721991 HAS SOPS 721955 HAS SOUS 67321 HAS SOUPS 67285 WITH SCORE 68006.991
AT ITER 6561 NEW BEST:: SOT 1124872 SOS 722847 HAS SOPS 722811 HAS SOUS 67220 HAS SOUPS 67184 WITH SCORE 67906.847
AT ITER 6573 NEW BEST:: SOT 1124872 SOS 724827 HAS SOPS 724791 HAS SOUS 67188 HAS SOUPS 67152 WITH SCORE 67876.827
AT ITER 6622 NEW BEST:: SOT 1124872 SOS 724299 HAS SOPS 724263 HAS SOUS 67188 HAS SOUPS 67152 WITH SCORE 67876.299
AT ITER 6631 NEW BEST:: SOT 1124877 SOS 724294 HAS SOPS 724258 HAS SOUS 67186 HAS SOUPS 67150 WITH SCORE 67874.294
AT ITER 6634 NEW BEST:: SOT 1124903 SOS 724320 HAS SOPS 724284 HAS SOUS 67164 HAS SOUPS 67128 WITH SCORE 67852.32
AT ITER 6654 NEW BEST:: SOT 1124774 SOS 724191 HAS SOPS 724155 HAS SOUS 66884 HAS SOUPS 66848 WITH SCORE 67572.191
AT ITER 6670 NEW BEST:: SOT 1124774 SOS 724131 HAS SOPS 724095 HAS SOUS 66869 HAS SOUPS 66833 WITH SCORE 67557.131
AT ITER 6686 NEW BEST:: SOT 1125294 SOS 724651 HAS SOPS 724615 HAS SOUS 66753 HAS SOUPS 66717 WITH SCORE 67441.651
AT ITER 6699 NEW BEST:: SOT 1125294 SOS 724535 HAS SOPS 724499 HAS SOUS 66724 HAS SOUPS 66688 WITH SCORE 67412.535
AT ITER 6738 NEW BEST:: SOT 1125289 SOS 724530 HAS SOPS 724494 HAS SOUS 66714 HAS SOUPS 66678 WITH SCORE 67402.53
AT ITER 6756 NEW BEST:: SOT 1125289 SOS 724482 HAS SOPS 724446 HAS SOUS 66714 HAS SOUPS 66678 WITH SCORE 67402.482
AT ITER 6782 NEW BEST:: SOT 1125437 SOS 724638 HAS SOPS 724602 HAS SOUS 66700 HAS SOUPS 66664 WITH SCORE 67388.638
AT ITER 6783 NEW BEST:: SOT 1126236 SOS 725437 HAS SOPS 725401 HAS SOUS 66546 HAS SOUPS 66510 WITH SCORE 67235.437
AT ITER 6881 NEW BEST:: SOT 1126236 SOS 725362 HAS SOPS 725329 HAS SOUS 66543 HAS SOUPS 66510 WITH SCORE 67235.362
AT ITER 6895 NEW BEST:: SOT 1126232 SOS 725358 HAS SOPS 725325 HAS SOUS 66543 HAS SOUPS 66510 WITH SCORE 67235.358
AT ITER 6908 NEW BEST:: SOT 1126348 SOS 726482 HAS SOPS 726449 HAS SOUS 66394 HAS SOUPS 66361 WITH SCORE 67087.482
AT ITER 6950 NEW BEST:: SOT 1126348 SOS 724462 HAS SOPS 724429 HAS SOUS 66390 HAS SOUPS 66357 WITH SCORE 67081.462
AT ITER 6962 NEW BEST:: SOT 1125551 SOS 723857 HAS SOPS 723818 HAS SOUS 66245 HAS SOUPS 66206 WITH SCORE 66929.857
AT ITER 6985 NEW BEST:: SOT 1125551 SOS 723761 HAS SOPS 723722 HAS SOUS 66245 HAS SOUPS 66206 WITH SCORE 66929.761
AT ITER 7000 NEW BEST:: SOT 1125532 SOS 723748 HAS SOPS 723709 HAS SOUS 66218 HAS SOUPS 66179 WITH SCORE 66902.748
AT ITER 7002 NEW BEST:: SOT 1125532 SOS 723796 HAS SOPS 723757 HAS SOUS 66216 HAS SOUPS 66177 WITH SCORE 66900.796
AT ITER 7032 NEW BEST:: SOT 1125497 SOS 723761 HAS SOPS 723722 HAS SOUS 66170 HAS SOUPS 66131 WITH SCORE 66854.761
AT ITER 7047 NEW BEST:: SOT 1125911 SOS 724175 HAS SOPS 724136 HAS SOUS 65754 HAS SOUPS 65715 WITH SCORE 66439.175
AT ITER 7057 NEW BEST:: SOT 1126690 SOS 726250 HAS SOPS 726211 HAS SOUS 65743 HAS SOUPS 65704 WITH SCORE 66430.25
AT ITER 7129 NEW BEST:: SOT 1126690 SOS 726112 HAS SOPS 726073 HAS SOUS 65674 HAS SOUPS 65635 WITH SCORE 66361.112
AT ITER 7166 NEW BEST:: SOT 1126640 SOS 726062 HAS SOPS 726023 HAS SOUS 65570 HAS SOUPS 65531 WITH SCORE 66257.062
AT ITER 7168 NEW BEST:: SOT 1126468 SOS 725890 HAS SOPS 725851 HAS SOUS 65437 HAS SOUPS 65398 WITH SCORE 66123.89
AT ITER 7185 NEW BEST:: SOT 1126285 SOS 725707 HAS SOPS 725668 HAS SOUS 65318 HAS SOUPS 65279 WITH SCORE 66004.707
AT ITER 7187 NEW BEST:: SOT 1126815 SOS 726361 HAS SOPS 726322 HAS SOUS 65212 HAS SOUPS 65173 WITH SCORE 65899.361
AT ITER 7193 NEW BEST:: SOT 1126815 SOS 726011 HAS SOPS 725986 HAS SOUS 65198 HAS SOUPS 65173 WITH SCORE 65899.011
AT ITER 7195 NEW BEST:: SOT 1126892 SOS 726088 HAS SOPS 726063 HAS SOUS 65034 HAS SOUPS 65009 WITH SCORE 65735.088
AT ITER 7213 NEW BEST:: SOT 1126106 SOS 721150 HAS SOPS 721125 HAS SOUS 64545 HAS SOUPS 64520 WITH SCORE 65241.15
AT ITER 7227 NEW BEST:: SOT 1126111 SOS 721155 HAS SOPS 721130 HAS SOUS 64430 HAS SOUPS 64405 WITH SCORE 65126.155
AT ITER 7250 NEW BEST:: SOT 1126096 SOS 721140 HAS SOPS 721115 HAS SOUS 64400 HAS SOUPS 64375 WITH SCORE 65096.14
AT ITER 7261 NEW BEST:: SOT 1126642 SOS 721686 HAS SOPS 721661 HAS SOUS 64275 HAS SOUPS 64250 WITH SCORE 64971.686
AT ITER 7265 NEW BEST:: SOT 1126823 SOS 721867 HAS SOPS 721842 HAS SOUS 63983 HAS SOUPS 63958 WITH SCORE 64679.867
AT ITER 7285 NEW BEST:: SOT 1126835 SOS 721879 HAS SOPS 721854 HAS SOUS 63791 HAS SOUPS 63766 WITH SCORE 64487.879
AT ITER 7286 NEW BEST:: SOT 1126667 SOS 721711 HAS SOPS 721686 HAS SOUS 63773 HAS SOUPS 63748 WITH SCORE 64469.711
AT ITER 7340 NEW BEST:: SOT 1126667 SOS 721279 HAS SOPS 721254 HAS SOUS 63773 HAS SOUPS 63748 WITH SCORE 64469.279
AT ITER 7367 NEW BEST:: SOT 1127721 SOS 723629 HAS SOPS 723604 HAS SOUS 63639 HAS SOUPS 63614 WITH SCORE 64337.629
AT ITER 7403 NEW BEST:: SOT 1128986 SOS 725165 HAS SOPS 725133 HAS SOUS 63634 HAS SOUPS 63602 WITH SCORE 64327.165
AT ITER 7404 NEW BEST:: SOT 1129058 SOS 725141 HAS SOPS 725109 HAS SOUS 63606 HAS SOUPS 63574 WITH SCORE 64299.141
AT ITER 7446 NEW BEST:: SOT 1129058 SOS 725131 HAS SOPS 725097 HAS SOUS 63606 HAS SOUPS 63572 WITH SCORE 64297.131
AT ITER 7455 NEW BEST:: SOT 1129257 SOS 725330 HAS SOPS 725296 HAS SOUS 63592 HAS SOUPS 63558 WITH SCORE 64283.33
AT ITER 7460 NEW BEST:: SOT 1129257 SOS 724714 HAS SOPS 724680 HAS SOUS 63592 HAS SOUPS 63558 WITH SCORE 64282.714
AT ITER 7464 NEW BEST:: SOT 1129182 SOS 724639 HAS SOPS 724605 HAS SOUS 63517 HAS SOUPS 63483 WITH SCORE 64207.639
AT ITER 7467 NEW BEST:: SOT 1129183 SOS 724640 HAS SOPS 724606 HAS SOUS 63358 HAS SOUPS 63324 WITH SCORE 64048.64
AT ITER 7485 NEW BEST:: SOT 1129183 SOS 724650 HAS SOPS 724606 HAS SOUS 63358 HAS SOUPS 63314 WITH SCORE 64038.65
AT ITER 7494 NEW BEST:: SOT 1129161 SOS 724628 HAS SOPS 724584 HAS SOUS 63348 HAS SOUPS 63304 WITH SCORE 64028.628
AT ITER 7518 NEW BEST:: SOT 1129155 SOS 724622 HAS SOPS 724578 HAS SOUS 63342 HAS SOUPS 63298 WITH SCORE 64022.622
AT ITER 7535 NEW BEST:: SOT 1129155 SOS 724522 HAS SOPS 724478 HAS SOUS 63342 HAS SOUPS 63298 WITH SCORE 64022.522
AT ITER 7597 NEW BEST:: SOT 1129155 SOS 724510 HAS SOPS 724466 HAS SOUS 63330 HAS SOUPS 63286 WITH SCORE 64010.51
AT ITER 7614 NEW BEST:: SOT 1129050 SOS 724405 HAS SOPS 724361 HAS SOUS 63225 HAS SOUPS 63181 WITH SCORE 63905.405
AT ITER 7632 NEW BEST:: SOT 1129050 SOS 723949 HAS SOPS 723905 HAS SOUS 63225 HAS SOUPS 63181 WITH SCORE 63904.949
AT ITER 7649 NEW BEST:: SOT 1130095 SOS 725858 HAS SOPS 725814 HAS SOUS 63221 HAS SOUPS 63177 WITH SCORE 63902.858
AT ITER 7763 NEW BEST:: SOT 1130095 SOS 724920 HAS SOPS 724876 HAS SOUS 63219 HAS SOUPS 63175 WITH SCORE 63899.92
AT ITER 7793 NEW BEST:: SOT 1130095 SOS 724920 HAS SOPS 724876 HAS SOUS 63146 HAS SOUPS 63102 WITH SCORE 63826.92
AT ITER 7819 NEW BEST:: SOT 1130095 SOS 724299 HAS SOPS 724255 HAS SOUS 63146 HAS SOUPS 63102 WITH SCORE 63826.299
AT ITER 7871 NEW BEST:: SOT 1129949 SOS 724153 HAS SOPS 724109 HAS SOUS 63126 HAS SOUPS 63082 WITH SCORE 63806.153
AT ITER 7915 NEW BEST:: SOT 1129949 SOS 724153 HAS SOPS 724109 HAS SOUS 63123 HAS SOUPS 63079 WITH SCORE 63803.153
AT ITER 7929 NEW BEST:: SOT 1129949 SOS 724153 HAS SOPS 724109 HAS SOUS 63113 HAS SOUPS 63069 WITH SCORE 63793.153
AT ITER 7945 NEW BEST:: SOT 1129920 SOS 724196 HAS SOPS 724152 HAS SOUS 63087 HAS SOUPS 63043 WITH SCORE 63767.196
AT ITER 7973 NEW BEST:: SOT 1130111 SOS 724387 HAS SOPS 724343 HAS SOUS 62927 HAS SOUPS 62883 WITH SCORE 63607.387
AT ITER 8014 NEW BEST:: SOT 1130111 SOS 724387 HAS SOPS 724343 HAS SOUS 62864 HAS SOUPS 62820 WITH SCORE 63544.387
AT ITER 8057 NEW BEST:: SOT 1130106 SOS 719745 HAS SOPS 719701 HAS SOUS 62859 HAS SOUPS 62815 WITH SCORE 63534.745
AT ITER 8060 NEW BEST:: SOT 1129678 SOS 719005 HAS SOPS 718961 HAS SOUS 62854 HAS SOUPS 62810 WITH SCORE 63529.005
AT ITER 8084 NEW BEST:: SOT 1129601 SOS 718928 HAS SOPS 718884 HAS SOUS 62836 HAS SOUPS 62792 WITH SCORE 63510.928
AT ITER 8171 NEW BEST:: SOT 1129597 SOS 718924 HAS SOPS 718880 HAS SOUS 62832 HAS SOUPS 62788 WITH SCORE 63506.924
AT ITER 8179 NEW BEST:: SOT 1129063 SOS 718422 HAS SOPS 718378 HAS SOUS 62199 HAS SOUPS 62155 WITH SCORE 62873.422
AT ITER 8194 NEW BEST:: SOT 1129065 SOS 718424 HAS SOPS 718380 HAS SOUS 62159 HAS SOUPS 62115 WITH SCORE 62833.424
AT ITER 8224 NEW BEST:: SOT 1129107 SOS 719938 HAS SOPS 719830 HAS SOUS 61964 HAS SOUPS 61856 WITH SCORE 62575.938
AT ITER 8237 NEW BEST:: SOT 1129107 SOS 718348 HAS SOPS 718240 HAS SOUS 61959 HAS SOUPS 61851 WITH SCORE 62569.348
AT ITER 8239 NEW BEST:: SOT 1129371 SOS 718612 HAS SOPS 718504 HAS SOUS 61755 HAS SOUPS 61647 WITH SCORE 62365.612
AT ITER 8296 NEW BEST:: SOT 1129406 SOS 718647 HAS SOPS 718539 HAS SOUS 61726 HAS SOUPS 61618 WITH SCORE 62336.647
AT ITER 8310 NEW BEST:: SOT 1131047 SOS 721032 HAS SOPS 720924 HAS SOUS 61697 HAS SOUPS 61589 WITH SCORE 62310.032
AT ITER 8346 NEW BEST:: SOT 1131032 SOS 720657 HAS SOPS 720549 HAS SOUS 61672 HAS SOUPS 61564 WITH SCORE 62284.657
AT ITER 8396 NEW BEST:: SOT 1131009 SOS 720634 HAS SOPS 720526 HAS SOUS 61601 HAS SOUPS 61493 WITH SCORE 62213.634
AT ITER 8397 NEW BEST:: SOT 1130961 SOS 720502 HAS SOPS 720394 HAS SOUS 61593 HAS SOUPS 61485 WITH SCORE 62205.502
AT ITER 8398 NEW BEST:: SOT 1130532 SOS 720073 HAS SOPS 719965 HAS SOUS 61574 HAS SOUPS 61466 WITH SCORE 62186.073
AT ITER 8419 NEW BEST:: SOT 1130379 SOS 720844 HAS SOPS 720736 HAS SOUS 61561 HAS SOUPS 61453 WITH SCORE 62173.844
AT ITER 8423 NEW BEST:: SOT 1130379 SOS 720748 HAS SOPS 720640 HAS SOUS 61561 HAS SOUPS 61453 WITH SCORE 62173.748
AT ITER 8457 NEW BEST:: SOT 1130390 SOS 720763 HAS SOPS 720655 HAS SOUS 61551 HAS SOUPS 61443 WITH SCORE 62163.763
AT ITER 8469 NEW BEST:: SOT 1130350 SOS 720563 HAS SOPS 720455 HAS SOUS 61501 HAS SOUPS 61393 WITH SCORE 62113.563
AT ITER 8485 NEW BEST:: SOT 1130312 SOS 720765 HAS SOPS 720657 HAS SOUS 61440 HAS SOUPS 61332 WITH SCORE 62052.765
AT ITER 8502 NEW BEST:: SOT 1130231 SOS 720684 HAS SOPS 720576 HAS SOUS 61359 HAS SOUPS 61251 WITH SCORE 61971.684
AT ITER 8514 NEW BEST:: SOT 1130183 SOS 720636 HAS SOPS 720528 HAS SOUS 61357 HAS SOUPS 61249 WITH SCORE 61969.636
AT ITER 8543 NEW BEST:: SOT 1130183 SOS 720420 HAS SOPS 720312 HAS SOUS 61357 HAS SOUPS 61249 WITH SCORE 61969.42
AT ITER 8550 NEW BEST:: SOT 1130192 SOS 720429 HAS SOPS 720321 HAS SOUS 61273 HAS SOUPS 61165 WITH SCORE 61885.429
AT ITER 8558 NEW BEST:: SOT 1130195 SOS 720456 HAS SOPS 720348 HAS SOUS 61162 HAS SOUPS 61054 WITH SCORE 61774.456
AT ITER 8613 NEW BEST:: SOT 1129867 SOS 720128 HAS SOPS 720020 HAS SOUS 61095 HAS SOUPS 60987 WITH SCORE 61707.128
AT ITER 8744 NEW BEST:: SOT 1129867 SOS 718664 HAS SOPS 718556 HAS SOUS 61047 HAS SOUPS 60939 WITH SCORE 61657.664
AT ITER 8803 NEW BEST:: SOT 1129888 SOS 718916 HAS SOPS 718797 HAS SOUS 61046 HAS SOUPS 60927 WITH SCORE 61645.916
AT ITER 8809 NEW BEST:: SOT 1129888 SOS 721844 HAS SOPS 721725 HAS SOUS 61034 HAS SOUPS 60915 WITH SCORE 61636.844
AT ITER 8852 NEW BEST:: SOT 1129838 SOS 721790 HAS SOPS 721671 HAS SOUS 61012 HAS SOUPS 60893 WITH SCORE 61614.79
AT ITER 8862 NEW BEST:: SOT 1129077 SOS 721473 HAS SOPS 721354 HAS SOUS 60294 HAS SOUPS 60175 WITH SCORE 60896.473
AT ITER 8877 NEW BEST:: SOT 1129077 SOS 722832 HAS SOPS 722722 HAS SOUS 60283 HAS SOUPS 60173 WITH SCORE 60895.832
AT ITER 8906 NEW BEST:: SOT 1129293 SOS 723084 HAS SOPS 722974 HAS SOUS 60260 HAS SOUPS 60150 WITH SCORE 60873.084
AT ITER 8924 NEW BEST:: SOT 1129293 SOS 723062 HAS SOPS 722952 HAS SOUS 60260 HAS SOUPS 60150 WITH SCORE 60873.062
AT ITER 8932 NEW BEST:: SOT 1129293 SOS 722961 HAS SOPS 722856 HAS SOUS 60236 HAS SOUPS 60131 WITH SCORE 60853.961
AT ITER 8953 NEW BEST:: SOT 1129253 SOS 723610 HAS SOPS 723512 HAS SOUS 60156 HAS SOUPS 60058 WITH SCORE 60781.61
AT ITER 8962 NEW BEST:: SOT 1129253 SOS 723442 HAS SOPS 723344 HAS SOUS 60156 HAS SOUPS 60058 WITH SCORE 60781.442
AT ITER 9007 NEW BEST:: SOT 1129256 SOS 723517 HAS SOPS 723419 HAS SOUS 60096 HAS SOUPS 59998 WITH SCORE 60721.517
AT ITER 9051 NEW BEST:: SOT 1129245 SOS 723626 HAS SOPS 723528 HAS SOUS 60010 HAS SOUPS 59912 WITH SCORE 60635.626
AT ITER 9078 NEW BEST:: SOT 1129217 SOS 723598 HAS SOPS 723500 HAS SOUS 60008 HAS SOUPS 59910 WITH SCORE 60633.598
AT ITER 9086 NEW BEST:: SOT 1129195 SOS 722976 HAS SOPS 722878 HAS SOUS 59984 HAS SOUPS 59886 WITH SCORE 60608.976
AT ITER 9109 NEW BEST:: SOT 1129461 SOS 723242 HAS SOPS 723144 HAS SOUS 59914 HAS SOUPS 59816 WITH SCORE 60539.242
AT ITER 9153 NEW BEST:: SOT 1129461 SOS 723042 HAS SOPS 722952 HAS SOUS 59906 HAS SOUPS 59816 WITH SCORE 60539.042
AT ITER 9193 NEW BEST:: SOT 1129461 SOS 723042 HAS SOPS 722952 HAS SOUS 59903 HAS SOUPS 59813 WITH SCORE 60536.042
AT ITER 9227 NEW BEST:: SOT 1129461 SOS 723042 HAS SOPS 722952 HAS SOUS 59849 HAS SOUPS 59759 WITH SCORE 60482.042
AT ITER 9231 NEW BEST:: SOT 1129460 SOS 723041 HAS SOPS 722951 HAS SOUS 59847 HAS SOUPS 59757 WITH SCORE 60480.041
AT ITER 9273 NEW BEST:: SOT 1129411 SOS 722988 HAS SOPS 722898 HAS SOUS 59811 HAS SOUPS 59721 WITH SCORE 60443.988
AT ITER 9283 NEW BEST:: SOT 1129384 SOS 722927 HAS SOPS 722803 HAS SOUS 59721 HAS SOUPS 59597 WITH SCORE 60319.927
AT ITER 9314 NEW BEST:: SOT 1129401 SOS 723064 HAS SOPS 722940 HAS SOUS 59716 HAS SOUPS 59592 WITH SCORE 60315.064
AT ITER 9318 NEW BEST:: SOT 1129415 SOS 722970 HAS SOPS 722858 HAS SOUS 59692 HAS SOUPS 59580 WITH SCORE 60302.97
AT ITER 9330 NEW BEST:: SOT 1129415 SOS 722970 HAS SOPS 722858 HAS SOUS 59644 HAS SOUPS 59532 WITH SCORE 60254.97
AT ITER 9382 NEW BEST:: SOT 1129415 SOS 721818 HAS SOPS 721706 HAS SOUS 59645 HAS SOUPS 59533 WITH SCORE 60254.818
AT ITER 9449 NEW BEST:: SOT 1129415 SOS 721798 HAS SOPS 721686 HAS SOUS 59645 HAS SOUPS 59533 WITH SCORE 60254.798
AT ITER 9477 NEW BEST:: SOT 1129415 SOS 720934 HAS SOPS 720822 HAS SOUS 59645 HAS SOUPS 59533 WITH SCORE 60253.934
AT ITER 9514 NEW BEST:: SOT 1129412 SOS 720931 HAS SOPS 720819 HAS SOUS 59639 HAS SOUPS 59527 WITH SCORE 60247.931
AT ITER 9531 NEW BEST:: SOT 1129237 SOS 720636 HAS SOPS 720524 HAS SOUS 59625 HAS SOUPS 59513 WITH SCORE 60233.636
AT ITER 9639 NEW BEST:: SOT 1128967 SOS 720276 HAS SOPS 720164 HAS SOUS 59619 HAS SOUPS 59507 WITH SCORE 60227.276
AT ITER 9653 NEW BEST:: SOT 1128967 SOS 720273 HAS SOPS 720161 HAS SOUS 59616 HAS SOUPS 59504 WITH SCORE 60224.273
AT ITER 9675 NEW BEST:: SOT 1128917 SOS 720221 HAS SOPS 720109 HAS SOUS 59614 HAS SOUPS 59502 WITH SCORE 60222.221
AT ITER 9717 NEW BEST:: SOT 1128956 SOS 720138 HAS SOPS 720026 HAS SOUS 59608 HAS SOUPS 59496 WITH SCORE 60216.138
AT ITER 9744 NEW BEST:: SOT 1128408 SOS 723339 HAS SOPS 723227 HAS SOUS 59559 HAS SOUPS 59447 WITH SCORE 60170.339
AT ITER 9821 NEW BEST:: SOT 1128496 SOS 723459 HAS SOPS 723347 HAS SOUS 59551 HAS SOUPS 59439 WITH SCORE 60162.459
AT ITER 9826 NEW BEST:: SOT 1128421 SOS 723264 HAS SOPS 723152 HAS SOUS 59496 HAS SOUPS 59384 WITH SCORE 60107.264
AT ITER 9843 NEW BEST:: SOT 1128421 SOS 722952 HAS SOPS 722840 HAS SOUS 59496 HAS SOUPS 59384 WITH SCORE 60106.952
AT ITER 9933 NEW BEST:: SOT 1128372 SOS 722903 HAS SOPS 722791 HAS SOUS 59466 HAS SOUPS 59354 WITH SCORE 60076.903
AT ITER 9938 NEW BEST:: SOT 1128231 SOS 723242 HAS SOPS 723130 HAS SOUS 59432 HAS SOUPS 59320 WITH SCORE 60043.242
AT ITER 9948 NEW BEST:: SOT 1128231 SOS 723242 HAS SOPS 723130 HAS SOUS 59429 HAS SOUPS 59317 WITH SCORE 60040.242
AT ITER 9961 NEW BEST:: SOT 1128231 SOS 723218 HAS SOPS 723106 HAS SOUS 59429 HAS SOUPS 59317 WITH SCORE 60040.218
AT ITER 9988 NEW BEST:: SOT 1128209 SOS 723196 HAS SOPS 723084 HAS SOUS 59379 HAS SOUPS 59267 WITH SCORE 59990.196
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12857712 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150100 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="Medical-PT-16"
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 Medical-PT-16, 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 r227-tall-167856410800712"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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