About the Execution of Smart for Medical-PT-18
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
7926.571 | 3600000.00 | 3600170.00 | 0.00 | [undef] | Time out reached |
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-167856410800720.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-18, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410800720
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.6M
-rw-r--r-- 1 mcc users 6.9K Feb 25 14:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 14:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 14:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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 19K Feb 25 14:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 197K Feb 25 14:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 25 14:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 25 14:31 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 1678623885660
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-18
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 18
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 10 NEW BEST:: SOT 1170526 SOS 638951 HAS SOPS 635914 HAS SOUS 254015 HAS SOUPS 251238 WITH SCORE 251876.951
AT ITER 13 NEW BEST:: SOT 1170522 SOS 638947 HAS SOPS 635910 HAS SOUS 254004 HAS SOUPS 251227 WITH SCORE 251865.947
AT ITER 16 NEW BEST:: SOT 1170033 SOS 639922 HAS SOPS 636905 HAS SOUS 253687 HAS SOUPS 250910 WITH SCORE 251549.922
AT ITER 17 NEW BEST:: SOT 1170005 SOS 639888 HAS SOPS 636877 HAS SOUS 253250 HAS SOUPS 250479 WITH SCORE 251118.888
AT ITER 28 NEW BEST:: SOT 1170005 SOS 639888 HAS SOPS 636877 HAS SOUS 253212 HAS SOUPS 250441 WITH SCORE 251080.888
AT ITER 30 NEW BEST:: SOT 1169355 SOS 639238 HAS SOPS 636227 HAS SOUS 252412 HAS SOUPS 249641 WITH SCORE 250280.238
AT ITER 34 NEW BEST:: SOT 1169330 SOS 639148 HAS SOPS 636202 HAS SOUS 250145 HAS SOUPS 247431 WITH SCORE 248070.148
AT ITER 35 NEW BEST:: SOT 1169344 SOS 640578 HAS SOPS 637632 HAS SOUS 249894 HAS SOUPS 247180 WITH SCORE 247820.578
AT ITER 41 NEW BEST:: SOT 1169416 SOS 640650 HAS SOPS 637704 HAS SOUS 248723 HAS SOUPS 246009 WITH SCORE 246649.65
AT ITER 48 NEW BEST:: SOT 1169416 SOS 641418 HAS SOPS 638472 HAS SOUS 248540 HAS SOUPS 245826 WITH SCORE 246467.418
AT ITER 52 NEW BEST:: SOT 1169416 SOS 643194 HAS SOPS 640248 HAS SOUS 248088 HAS SOUPS 245374 WITH SCORE 246017.194
AT ITER 54 NEW BEST:: SOT 1170237 SOS 644664 HAS SOPS 641718 HAS SOUS 246448 HAS SOUPS 243734 WITH SCORE 244378.664
AT ITER 60 NEW BEST:: SOT 1169979 SOS 646940 HAS SOPS 643994 HAS SOUS 244166 HAS SOUPS 241452 WITH SCORE 242098.94
AT ITER 75 NEW BEST:: SOT 1147064 SOS 813635 HAS SOPS 811951 HAS SOUS 221454 HAS SOUPS 219770 WITH SCORE 220583.635
AT ITER 76 NEW BEST:: SOT 1147064 SOS 814523 HAS SOPS 812839 HAS SOUS 221232 HAS SOUPS 219548 WITH SCORE 220362.523
AT ITER 78 NEW BEST:: SOT 1147064 SOS 815699 HAS SOPS 814015 HAS SOUS 220409 HAS SOUPS 218725 WITH SCORE 219540.699
AT ITER 80 NEW BEST:: SOT 1147358 SOS 815993 HAS SOPS 814309 HAS SOUS 219913 HAS SOUPS 218229 WITH SCORE 219044.993
AT ITER 82 NEW BEST:: SOT 1147358 SOS 816281 HAS SOPS 814597 HAS SOUS 219856 HAS SOUPS 218172 WITH SCORE 218988.281
AT ITER 89 NEW BEST:: SOT 1147358 SOS 816281 HAS SOPS 814597 HAS SOUS 219694 HAS SOUPS 218010 WITH SCORE 218826.281
AT ITER 90 NEW BEST:: SOT 1147358 SOS 816235 HAS SOPS 814551 HAS SOUS 219671 HAS SOUPS 217987 WITH SCORE 218803.235
AT ITER 91 NEW BEST:: SOT 1146513 SOS 817718 HAS SOPS 816034 HAS SOUS 219548 HAS SOUPS 217864 WITH SCORE 218681.718
AT ITER 94 NEW BEST:: SOT 1146513 SOS 817718 HAS SOPS 816034 HAS SOUS 219168 HAS SOUPS 217484 WITH SCORE 218301.718
AT ITER 96 NEW BEST:: SOT 1146512 SOS 817717 HAS SOPS 816033 HAS SOUS 219167 HAS SOUPS 217483 WITH SCORE 218300.717
AT ITER 97 NEW BEST:: SOT 1146335 SOS 817540 HAS SOPS 815856 HAS SOUS 218798 HAS SOUPS 217114 WITH SCORE 217931.54
AT ITER 100 NEW BEST:: SOT 1146005 SOS 818458 HAS SOPS 816774 HAS SOUS 215868 HAS SOUPS 214184 WITH SCORE 215002.458
AT ITER 103 NEW BEST:: SOT 1147652 SOS 820783 HAS SOPS 819383 HAS SOUS 214852 HAS SOUPS 213452 WITH SCORE 214272.783
AT ITER 109 NEW BEST:: SOT 1147689 SOS 854762 HAS SOPS 853362 HAS SOUS 214302 HAS SOUPS 212902 WITH SCORE 213756.762
AT ITER 119 NEW BEST:: SOT 1147689 SOS 854299 HAS SOPS 852899 HAS SOUS 214271 HAS SOUPS 212871 WITH SCORE 213725.299
AT ITER 121 NEW BEST:: SOT 1139171 SOS 845781 HAS SOPS 844381 HAS SOUS 204860 HAS SOUPS 203460 WITH SCORE 204305.781
AT ITER 122 NEW BEST:: SOT 1139171 SOS 845781 HAS SOPS 844381 HAS SOUS 204368 HAS SOUPS 202968 WITH SCORE 203813.781
AT ITER 124 NEW BEST:: SOT 1138998 SOS 846533 HAS SOPS 845133 HAS SOUS 204149 HAS SOUPS 202749 WITH SCORE 203595.533
AT ITER 130 NEW BEST:: SOT 1139816 SOS 847683 HAS SOPS 846283 HAS SOUS 203395 HAS SOUPS 201995 WITH SCORE 202842.683
AT ITER 132 NEW BEST:: SOT 1139816 SOS 847683 HAS SOPS 846283 HAS SOUS 203050 HAS SOUPS 201650 WITH SCORE 202497.683
AT ITER 137 NEW BEST:: SOT 1142169 SOS 850276 HAS SOPS 848876 HAS SOUS 202619 HAS SOUPS 201219 WITH SCORE 202069.276
AT ITER 139 NEW BEST:: SOT 1141423 SOS 849362 HAS SOPS 847962 HAS SOUS 201846 HAS SOUPS 200446 WITH SCORE 201295.362
AT ITER 154 NEW BEST:: SOT 1141315 SOS 849446 HAS SOPS 848046 HAS SOUS 201718 HAS SOUPS 200318 WITH SCORE 201167.446
AT ITER 156 NEW BEST:: SOT 1140793 SOS 848909 HAS SOPS 847524 HAS SOUS 196474 HAS SOUPS 195089 WITH SCORE 195937.909
AT ITER 157 NEW BEST:: SOT 1136376 SOS 844500 HAS SOPS 843107 HAS SOUS 194733 HAS SOUPS 193340 WITH SCORE 194184.5
AT ITER 162 NEW BEST:: SOT 1137615 SOS 845727 HAS SOPS 844346 HAS SOUS 194354 HAS SOUPS 192973 WITH SCORE 193818.727
AT ITER 163 NEW BEST:: SOT 1135493 SOS 843605 HAS SOPS 842224 HAS SOUS 193253 HAS SOUPS 191872 WITH SCORE 192715.605
AT ITER 164 NEW BEST:: SOT 1135281 SOS 843417 HAS SOPS 842036 HAS SOUS 190938 HAS SOUPS 189557 WITH SCORE 190400.417
AT ITER 168 NEW BEST:: SOT 1135281 SOS 842415 HAS SOPS 841034 HAS SOUS 190937 HAS SOUPS 189556 WITH SCORE 190398.415
AT ITER 170 NEW BEST:: SOT 1135859 SOS 842993 HAS SOPS 841612 HAS SOUS 190025 HAS SOUPS 188644 WITH SCORE 189486.993
AT ITER 177 NEW BEST:: SOT 1135952 SOS 843107 HAS SOPS 841747 HAS SOUS 189440 HAS SOUPS 188080 WITH SCORE 188923.107
AT ITER 180 NEW BEST:: SOT 1135261 SOS 841600 HAS SOPS 840240 HAS SOUS 189156 HAS SOUPS 187796 WITH SCORE 188637.6
AT ITER 183 NEW BEST:: SOT 1135888 SOS 842220 HAS SOPS 840867 HAS SOUS 185952 HAS SOUPS 184599 WITH SCORE 185441.22
AT ITER 185 NEW BEST:: SOT 1135906 SOS 842131 HAS SOPS 840745 HAS SOUS 184906 HAS SOUPS 183553 WITH SCORE 184395.131
AT ITER 188 NEW BEST:: SOT 1135906 SOS 842131 HAS SOPS 840745 HAS SOUS 184325 HAS SOUPS 182972 WITH SCORE 183814.131
AT ITER 190 NEW BEST:: SOT 1135483 SOS 843712 HAS SOPS 842326 HAS SOUS 184236 HAS SOUPS 182883 WITH SCORE 183726.712
AT ITER 191 NEW BEST:: SOT 1135483 SOS 843712 HAS SOPS 842326 HAS SOUS 184194 HAS SOUPS 182841 WITH SCORE 183684.712
AT ITER 196 NEW BEST:: SOT 1135483 SOS 843424 HAS SOPS 842038 HAS SOUS 184194 HAS SOUPS 182841 WITH SCORE 183684.424
AT ITER 198 NEW BEST:: SOT 1136469 SOS 844392 HAS SOPS 843024 HAS SOUS 182763 HAS SOUPS 181428 WITH SCORE 182272.392
AT ITER 209 NEW BEST:: SOT 1136469 SOS 845767 HAS SOPS 844399 HAS SOUS 182563 HAS SOUPS 181228 WITH SCORE 182073.767
AT ITER 213 NEW BEST:: SOT 1135689 SOS 844987 HAS SOPS 843619 HAS SOUS 181687 HAS SOUPS 180352 WITH SCORE 181196.987
AT ITER 218 NEW BEST:: SOT 1135689 SOS 844844 HAS SOPS 843045 HAS SOUS 181686 HAS SOUPS 179920 WITH SCORE 180764.844
AT ITER 220 NEW BEST:: SOT 1135689 SOS 846044 HAS SOPS 844245 HAS SOUS 181398 HAS SOUPS 179632 WITH SCORE 180478.044
AT ITER 224 NEW BEST:: SOT 1135689 SOS 846066 HAS SOPS 844245 HAS SOUS 181398 HAS SOUPS 179610 WITH SCORE 180456.066
AT ITER 227 NEW BEST:: SOT 1136841 SOS 847218 HAS SOPS 845397 HAS SOUS 180613 HAS SOUPS 178825 WITH SCORE 179672.218
AT ITER 229 NEW BEST:: SOT 1137150 SOS 847535 HAS SOPS 845738 HAS SOUS 179385 HAS SOUPS 177605 WITH SCORE 178452.535
AT ITER 237 NEW BEST:: SOT 1139626 SOS 859827 HAS SOPS 858220 HAS SOUS 179045 HAS SOUPS 177438 WITH SCORE 178297.827
AT ITER 239 NEW BEST:: SOT 1139626 SOS 859839 HAS SOPS 858220 HAS SOUS 179045 HAS SOUPS 177426 WITH SCORE 178285.839
AT ITER 240 NEW BEST:: SOT 1139250 SOS 859031 HAS SOPS 857412 HAS SOUS 179043 HAS SOUPS 177424 WITH SCORE 178283.031
AT ITER 241 NEW BEST:: SOT 1138408 SOS 858309 HAS SOPS 856690 HAS SOUS 177982 HAS SOUPS 176363 WITH SCORE 177221.309
AT ITER 242 NEW BEST:: SOT 1138382 SOS 858283 HAS SOPS 856664 HAS SOUS 177955 HAS SOUPS 176336 WITH SCORE 177194.283
AT ITER 253 NEW BEST:: SOT 1138382 SOS 859651 HAS SOPS 858032 HAS SOUS 177774 HAS SOUPS 176155 WITH SCORE 177014.651
AT ITER 261 NEW BEST:: SOT 1138382 SOS 839323 HAS SOPS 837704 HAS SOUS 177750 HAS SOUPS 176131 WITH SCORE 176970.323
AT ITER 263 NEW BEST:: SOT 1141604 SOS 842524 HAS SOPS 840926 HAS SOUS 176672 HAS SOUPS 175074 WITH SCORE 175916.524
AT ITER 265 NEW BEST:: SOT 1141604 SOS 842524 HAS SOPS 840926 HAS SOUS 176624 HAS SOUPS 175026 WITH SCORE 175868.524
AT ITER 269 NEW BEST:: SOT 1141604 SOS 842532 HAS SOPS 840926 HAS SOUS 176298 HAS SOUPS 174692 WITH SCORE 175534.532
AT ITER 271 NEW BEST:: SOT 1141603 SOS 842797 HAS SOPS 841220 HAS SOUS 175047 HAS SOUPS 173470 WITH SCORE 174312.797
AT ITER 284 NEW BEST:: SOT 1141603 SOS 845174 HAS SOPS 843645 HAS SOUS 174833 HAS SOUPS 173304 WITH SCORE 174149.174
AT ITER 287 NEW BEST:: SOT 1141199 SOS 845898 HAS SOPS 844369 HAS SOUS 173256 HAS SOUPS 171727 WITH SCORE 172572.898
AT ITER 288 NEW BEST:: SOT 1141199 SOS 846510 HAS SOPS 844981 HAS SOUS 172917 HAS SOUPS 171388 WITH SCORE 172234.51
AT ITER 298 NEW BEST:: SOT 1141199 SOS 856926 HAS SOPS 855397 HAS SOUS 172706 HAS SOUPS 171177 WITH SCORE 172033.926
AT ITER 302 NEW BEST:: SOT 1141004 SOS 853609 HAS SOPS 852080 HAS SOUS 172502 HAS SOUPS 170973 WITH SCORE 171826.609
AT ITER 317 NEW BEST:: SOT 1141042 SOS 853647 HAS SOPS 852118 HAS SOUS 172438 HAS SOUPS 170909 WITH SCORE 171762.647
AT ITER 323 NEW BEST:: SOT 1141034 SOS 852055 HAS SOPS 850526 HAS SOUS 172421 HAS SOUPS 170892 WITH SCORE 171744.055
AT ITER 326 NEW BEST:: SOT 1142192 SOS 853213 HAS SOPS 851684 HAS SOUS 168227 HAS SOUPS 166698 WITH SCORE 167551.213
AT ITER 330 NEW BEST:: SOT 1144407 SOS 939290 HAS SOPS 937761 HAS SOUS 167875 HAS SOUPS 166346 WITH SCORE 167285.29
AT ITER 333 NEW BEST:: SOT 1144407 SOS 939962 HAS SOPS 938433 HAS SOUS 167847 HAS SOUPS 166318 WITH SCORE 167257.962
AT ITER 335 NEW BEST:: SOT 1144186 SOS 939741 HAS SOPS 938212 HAS SOUS 167272 HAS SOUPS 165743 WITH SCORE 166682.741
AT ITER 338 NEW BEST:: SOT 1143919 SOS 939474 HAS SOPS 937945 HAS SOUS 167005 HAS SOUPS 165476 WITH SCORE 166415.474
AT ITER 340 NEW BEST:: SOT 1143919 SOS 938442 HAS SOPS 936913 HAS SOUS 167001 HAS SOUPS 165472 WITH SCORE 166410.442
AT ITER 344 NEW BEST:: SOT 1143971 SOS 938494 HAS SOPS 936965 HAS SOUS 166824 HAS SOUPS 165295 WITH SCORE 166233.494
AT ITER 345 NEW BEST:: SOT 1143651 SOS 938174 HAS SOPS 936645 HAS SOUS 166762 HAS SOUPS 165233 WITH SCORE 166171.174
AT ITER 349 NEW BEST:: SOT 1143651 SOS 939585 HAS SOPS 938109 HAS SOUS 165325 HAS SOUPS 163849 WITH SCORE 164788.585
AT ITER 361 NEW BEST:: SOT 1143651 SOS 939585 HAS SOPS 938109 HAS SOUS 165158 HAS SOUPS 163682 WITH SCORE 164621.585
AT ITER 365 NEW BEST:: SOT 1140737 SOS 936671 HAS SOPS 935195 HAS SOUS 164122 HAS SOUPS 162646 WITH SCORE 163582.671
AT ITER 367 NEW BEST:: SOT 1139735 SOS 935669 HAS SOPS 934193 HAS SOUS 163692 HAS SOUPS 162216 WITH SCORE 163151.669
AT ITER 370 NEW BEST:: SOT 1139735 SOS 935261 HAS SOPS 933785 HAS SOUS 163692 HAS SOUPS 162216 WITH SCORE 163151.261
AT ITER 379 NEW BEST:: SOT 1139735 SOS 935767 HAS SOPS 934313 HAS SOUS 163529 HAS SOUPS 162075 WITH SCORE 163010.767
AT ITER 381 NEW BEST:: SOT 1139735 SOS 936242 HAS SOPS 934788 HAS SOUS 163480 HAS SOUPS 162026 WITH SCORE 162962.242
AT ITER 393 NEW BEST:: SOT 1139735 SOS 928058 HAS SOPS 926604 HAS SOUS 163480 HAS SOUPS 162026 WITH SCORE 162954.058
AT ITER 397 NEW BEST:: SOT 1139735 SOS 928016 HAS SOPS 926604 HAS SOUS 162282 HAS SOUPS 160870 WITH SCORE 161798.016
AT ITER 398 NEW BEST:: SOT 1139342 SOS 929351 HAS SOPS 927939 HAS SOUS 161862 HAS SOUPS 160450 WITH SCORE 161379.351
AT ITER 399 NEW BEST:: SOT 1138646 SOS 928655 HAS SOPS 927243 HAS SOUS 161498 HAS SOUPS 160086 WITH SCORE 161014.655
AT ITER 401 NEW BEST:: SOT 1138490 SOS 928499 HAS SOPS 927087 HAS SOUS 161390 HAS SOUPS 159978 WITH SCORE 160906.499
AT ITER 402 NEW BEST:: SOT 1137982 SOS 928394 HAS SOPS 926963 HAS SOUS 161344 HAS SOUPS 159913 WITH SCORE 160841.394
AT ITER 419 NEW BEST:: SOT 1138367 SOS 928779 HAS SOPS 927348 HAS SOUS 161187 HAS SOUPS 159756 WITH SCORE 160684.779
AT ITER 420 NEW BEST:: SOT 1138403 SOS 928815 HAS SOPS 927384 HAS SOUS 159263 HAS SOUPS 157832 WITH SCORE 158760.815
AT ITER 436 NEW BEST:: SOT 1138403 SOS 929527 HAS SOPS 928135 HAS SOUS 159204 HAS SOUPS 157812 WITH SCORE 158741.527
AT ITER 454 NEW BEST:: SOT 1138690 SOS 912664 HAS SOPS 909910 HAS SOUS 159374 HAS SOUPS 157545 WITH SCORE 158457.664
AT ITER 456 NEW BEST:: SOT 1139774 SOS 912620 HAS SOPS 909866 HAS SOUS 158882 HAS SOUPS 157053 WITH SCORE 157965.62
AT ITER 463 NEW BEST:: SOT 1139774 SOS 913594 HAS SOPS 910850 HAS SOUS 158737 HAS SOUPS 156918 WITH SCORE 157831.594
AT ITER 464 NEW BEST:: SOT 1139772 SOS 913592 HAS SOPS 910848 HAS SOUS 158339 HAS SOUPS 156520 WITH SCORE 157433.592
AT ITER 471 NEW BEST:: SOT 1139590 SOS 913410 HAS SOPS 910666 HAS SOUS 157578 HAS SOUPS 155759 WITH SCORE 156672.41
AT ITER 477 NEW BEST:: SOT 1139602 SOS 913422 HAS SOPS 910678 HAS SOUS 157314 HAS SOUPS 155495 WITH SCORE 156408.422
AT ITER 482 NEW BEST:: SOT 1139602 SOS 913470 HAS SOPS 910729 HAS SOUS 157308 HAS SOUPS 155492 WITH SCORE 156405.47
AT ITER 484 NEW BEST:: SOT 1142846 SOS 916714 HAS SOPS 913973 HAS SOUS 157022 HAS SOUPS 155206 WITH SCORE 156122.714
AT ITER 486 NEW BEST:: SOT 1143407 SOS 917275 HAS SOPS 914534 HAS SOUS 156368 HAS SOUPS 154552 WITH SCORE 155469.275
AT ITER 494 NEW BEST:: SOT 1144759 SOS 918627 HAS SOPS 915886 HAS SOUS 155930 HAS SOUPS 154114 WITH SCORE 155032.627
AT ITER 497 NEW BEST:: SOT 1144034 SOS 917902 HAS SOPS 915161 HAS SOUS 155205 HAS SOUPS 153389 WITH SCORE 154306.902
AT ITER 498 NEW BEST:: SOT 1144034 SOS 917902 HAS SOPS 915161 HAS SOUS 155083 HAS SOUPS 153267 WITH SCORE 154184.902
AT ITER 506 NEW BEST:: SOT 1144034 SOS 913604 HAS SOPS 911122 HAS SOUS 154538 HAS SOUPS 152818 WITH SCORE 153731.604
AT ITER 523 NEW BEST:: SOT 1144064 SOS 913634 HAS SOPS 911152 HAS SOUS 154387 HAS SOUPS 152667 WITH SCORE 153580.634
AT ITER 526 NEW BEST:: SOT 1144064 SOS 912480 HAS SOPS 910048 HAS SOUS 154335 HAS SOUPS 152615 WITH SCORE 153527.48
AT ITER 528 NEW BEST:: SOT 1145049 SOS 913465 HAS SOPS 911033 HAS SOUS 152848 HAS SOUPS 151128 WITH SCORE 152041.465
AT ITER 536 NEW BEST:: SOT 1145659 SOS 914075 HAS SOPS 911643 HAS SOUS 152678 HAS SOUPS 150958 WITH SCORE 151872.075
AT ITER 541 NEW BEST:: SOT 1145742 SOS 914319 HAS SOPS 911577 HAS SOUS 152968 HAS SOUPS 150938 WITH SCORE 151852.319
AT ITER 547 NEW BEST:: SOT 1145089 SOS 914536 HAS SOPS 911849 HAS SOUS 152106 HAS SOUPS 150131 WITH SCORE 151045.536
AT ITER 554 NEW BEST:: SOT 1145078 SOS 914525 HAS SOPS 911838 HAS SOUS 152048 HAS SOUPS 150073 WITH SCORE 150987.525
AT ITER 558 NEW BEST:: SOT 1146409 SOS 914333 HAS SOPS 911648 HAS SOUS 151792 HAS SOUPS 149819 WITH SCORE 150733.333
AT ITER 565 NEW BEST:: SOT 1146409 SOS 915265 HAS SOPS 912545 HAS SOUS 151788 HAS SOUPS 149780 WITH SCORE 150695.265
AT ITER 573 NEW BEST:: SOT 1146409 SOS 914221 HAS SOPS 911546 HAS SOUS 151779 HAS SOUPS 149780 WITH SCORE 150694.221
AT ITER 577 NEW BEST:: SOT 1146409 SOS 891015 HAS SOPS 888216 HAS SOUS 151764 HAS SOUPS 149765 WITH SCORE 150656.015
AT ITER 579 NEW BEST:: SOT 1145761 SOS 890340 HAS SOPS 887541 HAS SOUS 151737 HAS SOUPS 149738 WITH SCORE 150628.34
AT ITER 585 NEW BEST:: SOT 1145882 SOS 890461 HAS SOPS 887662 HAS SOUS 149902 HAS SOUPS 147903 WITH SCORE 148793.461
AT ITER 596 NEW BEST:: SOT 1145882 SOS 891373 HAS SOPS 888642 HAS SOUS 149695 HAS SOUPS 147764 WITH SCORE 148655.373
AT ITER 602 NEW BEST:: SOT 1146455 SOS 891946 HAS SOPS 889215 HAS SOUS 149374 HAS SOUPS 147443 WITH SCORE 148334.946
AT ITER 603 NEW BEST:: SOT 1146671 SOS 892162 HAS SOPS 889431 HAS SOUS 149212 HAS SOUPS 147281 WITH SCORE 148173.162
AT ITER 605 NEW BEST:: SOT 1146588 SOS 892003 HAS SOPS 889497 HAS SOUS 148922 HAS SOUPS 147216 WITH SCORE 148108.003
AT ITER 620 NEW BEST:: SOT 1146588 SOS 892926 HAS SOPS 890431 HAS SOUS 148851 HAS SOUPS 147156 WITH SCORE 148048.926
AT ITER 623 NEW BEST:: SOT 1146576 SOS 892914 HAS SOPS 890419 HAS SOUS 148839 HAS SOUPS 147144 WITH SCORE 148036.914
AT ITER 627 NEW BEST:: SOT 1146576 SOS 892753 HAS SOPS 890267 HAS SOUS 148752 HAS SOUPS 147066 WITH SCORE 147958.753
AT ITER 629 NEW BEST:: SOT 1146576 SOS 892760 HAS SOPS 890275 HAS SOUS 148749 HAS SOUPS 147064 WITH SCORE 147956.76
AT ITER 633 NEW BEST:: SOT 1146372 SOS 892556 HAS SOPS 890071 HAS SOUS 148330 HAS SOUPS 146645 WITH SCORE 147537.556
AT ITER 637 NEW BEST:: SOT 1146372 SOS 892400 HAS SOPS 889875 HAS SOUS 148339 HAS SOUPS 146614 WITH SCORE 147506.4
AT ITER 644 NEW BEST:: SOT 1146372 SOS 889508 HAS SOPS 887111 HAS SOUS 148077 HAS SOUPS 146384 WITH SCORE 147273.508
AT ITER 647 NEW BEST:: SOT 1146472 SOS 889740 HAS SOPS 887343 HAS SOUS 145314 HAS SOUPS 143621 WITH SCORE 144510.74
AT ITER 652 NEW BEST:: SOT 1146318 SOS 889586 HAS SOPS 887189 HAS SOUS 145019 HAS SOUPS 143326 WITH SCORE 144215.586
AT ITER 661 NEW BEST:: SOT 1146318 SOS 890859 HAS SOPS 888513 HAS SOUS 144902 HAS SOUPS 143260 WITH SCORE 144150.859
AT ITER 665 NEW BEST:: SOT 1146318 SOS 890577 HAS SOPS 888231 HAS SOUS 144902 HAS SOUPS 143260 WITH SCORE 144150.577
AT ITER 667 NEW BEST:: SOT 1145793 SOS 890052 HAS SOPS 887706 HAS SOUS 144608 HAS SOUPS 142966 WITH SCORE 143856.052
AT ITER 672 NEW BEST:: SOT 1145717 SOS 889976 HAS SOPS 887630 HAS SOUS 144514 HAS SOUPS 142872 WITH SCORE 143761.976
AT ITER 690 NEW BEST:: SOT 1147154 SOS 891413 HAS SOPS 889067 HAS SOUS 142467 HAS SOUPS 140825 WITH SCORE 141716.413
AT ITER 722 NEW BEST:: SOT 1147154 SOS 891919 HAS SOPS 889573 HAS SOUS 142445 HAS SOUPS 140803 WITH SCORE 141694.919
AT ITER 723 NEW BEST:: SOT 1147209 SOS 892842 HAS SOPS 890504 HAS SOUS 141754 HAS SOUPS 140120 WITH SCORE 141012.842
AT ITER 728 NEW BEST:: SOT 1147209 SOS 892464 HAS SOPS 890126 HAS SOUS 141754 HAS SOUPS 140120 WITH SCORE 141012.464
AT ITER 729 NEW BEST:: SOT 1147209 SOS 893397 HAS SOPS 891114 HAS SOUS 141684 HAS SOUPS 140105 WITH SCORE 140998.397
AT ITER 730 NEW BEST:: SOT 1147053 SOS 893241 HAS SOPS 890958 HAS SOUS 141528 HAS SOUPS 139949 WITH SCORE 140842.241
AT ITER 732 NEW BEST:: SOT 1147053 SOS 891642 HAS SOPS 889359 HAS SOUS 141476 HAS SOUPS 139897 WITH SCORE 140788.642
AT ITER 734 NEW BEST:: SOT 1146981 SOS 891570 HAS SOPS 889287 HAS SOUS 141323 HAS SOUPS 139744 WITH SCORE 140635.57
AT ITER 742 NEW BEST:: SOT 1146847 SOS 891436 HAS SOPS 889153 HAS SOUS 140270 HAS SOUPS 138691 WITH SCORE 139582.436
AT ITER 747 NEW BEST:: SOT 1146847 SOS 891436 HAS SOPS 889153 HAS SOUS 140266 HAS SOUPS 138687 WITH SCORE 139578.436
AT ITER 750 NEW BEST:: SOT 1146847 SOS 892036 HAS SOPS 889753 HAS SOUS 140241 HAS SOUPS 138662 WITH SCORE 139554.036
AT ITER 763 NEW BEST:: SOT 1146847 SOS 892069 HAS SOPS 889789 HAS SOUS 140229 HAS SOUPS 138653 WITH SCORE 139545.069
AT ITER 768 NEW BEST:: SOT 1146815 SOS 892037 HAS SOPS 889757 HAS SOUS 139887 HAS SOUPS 138311 WITH SCORE 139203.037
AT ITER 776 NEW BEST:: SOT 1146704 SOS 891926 HAS SOPS 889646 HAS SOUS 138792 HAS SOUPS 137216 WITH SCORE 138107.926
AT ITER 780 NEW BEST:: SOT 1146263 SOS 891485 HAS SOPS 889205 HAS SOUS 137217 HAS SOUPS 135641 WITH SCORE 136532.485
AT ITER 786 NEW BEST:: SOT 1145545 SOS 890767 HAS SOPS 888487 HAS SOUS 137055 HAS SOUPS 135479 WITH SCORE 136369.767
AT ITER 787 NEW BEST:: SOT 1147302 SOS 892569 HAS SOPS 890289 HAS SOUS 136920 HAS SOUPS 135344 WITH SCORE 136236.569
AT ITER 788 NEW BEST:: SOT 1147302 SOS 892567 HAS SOPS 890287 HAS SOUS 136920 HAS SOUPS 135344 WITH SCORE 136236.567
AT ITER 789 NEW BEST:: SOT 1145242 SOS 892019 HAS SOPS 889739 HAS SOUS 134852 HAS SOUPS 133276 WITH SCORE 134168.019
AT ITER 794 NEW BEST:: SOT 1147696 SOS 894581 HAS SOPS 892301 HAS SOUS 134689 HAS SOUPS 133113 WITH SCORE 134007.581
AT ITER 795 NEW BEST:: SOT 1146980 SOS 894410 HAS SOPS 891952 HAS SOUS 134586 HAS SOUPS 132832 WITH SCORE 133726.41
AT ITER 799 NEW BEST:: SOT 1146980 SOS 893731 HAS SOPS 891308 HAS SOUS 134464 HAS SOUPS 132717 WITH SCORE 133610.731
AT ITER 800 NEW BEST:: SOT 1146980 SOS 893731 HAS SOPS 891308 HAS SOUS 134379 HAS SOUPS 132632 WITH SCORE 133525.731
AT ITER 801 NEW BEST:: SOT 1146573 SOS 893324 HAS SOPS 890901 HAS SOUS 134168 HAS SOUPS 132421 WITH SCORE 133314.324
AT ITER 803 NEW BEST:: SOT 1145866 SOS 831321 HAS SOPS 828898 HAS SOUS 133596 HAS SOUPS 131849 WITH SCORE 132680.321
AT ITER 809 NEW BEST:: SOT 1145866 SOS 831189 HAS SOPS 828766 HAS SOUS 133596 HAS SOUPS 131849 WITH SCORE 132680.189
AT ITER 828 NEW BEST:: SOT 1144045 SOS 828713 HAS SOPS 826321 HAS SOUS 133463 HAS SOUPS 131747 WITH SCORE 132575.713
AT ITER 831 NEW BEST:: SOT 1144045 SOS 824216 HAS SOPS 821554 HAS SOUS 133463 HAS SOUPS 131613 WITH SCORE 132437.216
AT ITER 834 NEW BEST:: SOT 1143406 SOS 823913 HAS SOPS 821251 HAS SOUS 132967 HAS SOUPS 131117 WITH SCORE 131940.913
AT ITER 835 NEW BEST:: SOT 1144086 SOS 824129 HAS SOPS 821735 HAS SOUS 132477 HAS SOUPS 130895 WITH SCORE 131719.129
AT ITER 852 NEW BEST:: SOT 1144241 SOS 824284 HAS SOPS 821890 HAS SOUS 132451 HAS SOUPS 130869 WITH SCORE 131693.284
AT ITER 872 NEW BEST:: SOT 1145806 SOS 835129 HAS SOPS 832415 HAS SOUS 132046 HAS SOUPS 130384 WITH SCORE 131219.129
AT ITER 884 NEW BEST:: SOT 1145777 SOS 835100 HAS SOPS 832386 HAS SOUS 131708 HAS SOUPS 130046 WITH SCORE 130881.1
AT ITER 888 NEW BEST:: SOT 1147334 SOS 836657 HAS SOPS 833943 HAS SOUS 131315 HAS SOUPS 129653 WITH SCORE 130489.657
AT ITER 907 NEW BEST:: SOT 1147415 SOS 836738 HAS SOPS 834024 HAS SOUS 129891 HAS SOUPS 128229 WITH SCORE 129065.738
AT ITER 908 NEW BEST:: SOT 1147590 SOS 837081 HAS SOPS 834367 HAS SOUS 129752 HAS SOUPS 128090 WITH SCORE 128927.081
AT ITER 911 NEW BEST:: SOT 1147851 SOS 837342 HAS SOPS 834628 HAS SOUS 129255 HAS SOUPS 127593 WITH SCORE 128430.342
AT ITER 912 NEW BEST:: SOT 1147851 SOS 837342 HAS SOPS 834628 HAS SOUS 129250 HAS SOUPS 127588 WITH SCORE 128425.342
AT ITER 921 NEW BEST:: SOT 1147635 SOS 837126 HAS SOPS 834412 HAS SOUS 128736 HAS SOUPS 127074 WITH SCORE 127911.126
AT ITER 934 NEW BEST:: SOT 1145240 SOS 834731 HAS SOPS 832017 HAS SOUS 128300 HAS SOUPS 126638 WITH SCORE 127472.731
AT ITER 938 NEW BEST:: SOT 1145240 SOS 833847 HAS SOPS 831133 HAS SOUS 128300 HAS SOUPS 126638 WITH SCORE 127471.847
AT ITER 942 NEW BEST:: SOT 1145240 SOS 834633 HAS SOPS 831925 HAS SOUS 128246 HAS SOUPS 126590 WITH SCORE 127424.633
AT ITER 944 NEW BEST:: SOT 1145360 SOS 835101 HAS SOPS 832393 HAS SOUS 126490 HAS SOUPS 124834 WITH SCORE 125669.101
AT ITER 948 NEW BEST:: SOT 1145360 SOS 834673 HAS SOPS 831965 HAS SOUS 126438 HAS SOUPS 124782 WITH SCORE 125616.673
AT ITER 960 NEW BEST:: SOT 1145360 SOS 834181 HAS SOPS 831473 HAS SOUS 126438 HAS SOUPS 124782 WITH SCORE 125616.181
AT ITER 961 NEW BEST:: SOT 1145395 SOS 834216 HAS SOPS 831508 HAS SOUS 126416 HAS SOUPS 124760 WITH SCORE 125594.216
AT ITER 964 NEW BEST:: SOT 1145395 SOS 833619 HAS SOPS 830964 HAS SOUS 126297 HAS SOUPS 124654 WITH SCORE 125487.619
AT ITER 972 NEW BEST:: SOT 1145770 SOS 833994 HAS SOPS 831339 HAS SOUS 125988 HAS SOUPS 124345 WITH SCORE 125178.994
AT ITER 982 NEW BEST:: SOT 1145800 SOS 692363 HAS SOPS 690009 HAS SOUS 125491 HAS SOUPS 124153 WITH SCORE 124845.363
AT ITER 987 NEW BEST:: SOT 1145866 SOS 692429 HAS SOPS 690075 HAS SOUS 125307 HAS SOUPS 123969 WITH SCORE 124661.429
AT ITER 990 NEW BEST:: SOT 1146613 SOS 693320 HAS SOPS 690966 HAS SOUS 124874 HAS SOUPS 123536 WITH SCORE 124229.32
AT ITER 1000 NEW BEST:: SOT 1146788 SOS 693353 HAS SOPS 691026 HAS SOUS 123949 HAS SOUPS 122634 WITH SCORE 123327.353
AT ITER 1003 NEW BEST:: SOT 1150327 SOS 700306 HAS SOPS 698069 HAS SOUS 123461 HAS SOUPS 122236 WITH SCORE 122936.306
AT ITER 1010 NEW BEST:: SOT 1150112 SOS 700091 HAS SOPS 697854 HAS SOUS 123224 HAS SOUPS 121999 WITH SCORE 122699.091
AT ITER 1023 NEW BEST:: SOT 1150112 SOS 683638 HAS SOPS 681401 HAS SOUS 123187 HAS SOUPS 121962 WITH SCORE 122645.638
AT ITER 1027 NEW BEST:: SOT 1150090 SOS 683928 HAS SOPS 681691 HAS SOUS 123151 HAS SOUPS 121926 WITH SCORE 122609.928
AT ITER 1038 NEW BEST:: SOT 1150090 SOS 683928 HAS SOPS 681691 HAS SOUS 123085 HAS SOUPS 121860 WITH SCORE 122543.928
AT ITER 1040 NEW BEST:: SOT 1149986 SOS 683824 HAS SOPS 681587 HAS SOUS 122864 HAS SOUPS 121639 WITH SCORE 122322.824
AT ITER 1041 NEW BEST:: SOT 1151764 SOS 687334 HAS SOPS 685097 HAS SOUS 122654 HAS SOUPS 121429 WITH SCORE 122116.334
AT ITER 1042 NEW BEST:: SOT 1151764 SOS 687564 HAS SOPS 685327 HAS SOUS 122644 HAS SOUPS 121419 WITH SCORE 122106.564
AT ITER 1049 NEW BEST:: SOT 1152008 SOS 687808 HAS SOPS 685571 HAS SOUS 122630 HAS SOUPS 121405 WITH SCORE 122092.808
AT ITER 1065 NEW BEST:: SOT 1152008 SOS 687796 HAS SOPS 685559 HAS SOUS 122597 HAS SOUPS 121372 WITH SCORE 122059.796
AT ITER 1077 NEW BEST:: SOT 1152008 SOS 688137 HAS SOPS 685785 HAS SOUS 122389 HAS SOUPS 121160 WITH SCORE 121848.137
AT ITER 1084 NEW BEST:: SOT 1152008 SOS 687771 HAS SOPS 685419 HAS SOUS 122360 HAS SOUPS 121131 WITH SCORE 121818.771
AT ITER 1088 NEW BEST:: SOT 1152008 SOS 687602 HAS SOPS 685231 HAS SOUS 122366 HAS SOUPS 121118 WITH SCORE 121805.602
AT ITER 1089 NEW BEST:: SOT 1152775 SOS 688369 HAS SOPS 685998 HAS SOUS 122032 HAS SOUPS 120784 WITH SCORE 121472.369
AT ITER 1096 NEW BEST:: SOT 1152768 SOS 688530 HAS SOPS 686159 HAS SOUS 122031 HAS SOUPS 120783 WITH SCORE 121471.53
AT ITER 1101 NEW BEST:: SOT 1152768 SOS 688690 HAS SOPS 686323 HAS SOUS 122005 HAS SOUPS 120761 WITH SCORE 121449.69
AT ITER 1102 NEW BEST:: SOT 1152768 SOS 688665 HAS SOPS 686293 HAS SOUS 122010 HAS SOUPS 120761 WITH SCORE 121449.665
AT ITER 1109 NEW BEST:: SOT 1152705 SOS 688602 HAS SOPS 686230 HAS SOUS 121953 HAS SOUPS 120704 WITH SCORE 121392.602
AT ITER 1111 NEW BEST:: SOT 1152705 SOS 681096 HAS SOPS 678724 HAS SOUS 121941 HAS SOUPS 120692 WITH SCORE 121373.096
AT ITER 1119 NEW BEST:: SOT 1152486 SOS 680877 HAS SOPS 678505 HAS SOUS 121722 HAS SOUPS 120473 WITH SCORE 121153.877
AT ITER 1123 NEW BEST:: SOT 1152486 SOS 681426 HAS SOPS 679054 HAS SOUS 121350 HAS SOUPS 120101 WITH SCORE 120782.426
AT ITER 1126 NEW BEST:: SOT 1151762 SOS 682085 HAS SOPS 679713 HAS SOUS 120623 HAS SOUPS 119374 WITH SCORE 120056.085
AT ITER 1142 NEW BEST:: SOT 1151762 SOS 718897 HAS SOPS 716759 HAS SOUS 120503 HAS SOUPS 119325 WITH SCORE 120043.897
AT ITER 1164 NEW BEST:: SOT 1151928 SOS 719109 HAS SOPS 716971 HAS SOUS 120279 HAS SOUPS 119101 WITH SCORE 119820.109
AT ITER 1169 NEW BEST:: SOT 1151579 SOS 718760 HAS SOPS 716622 HAS SOUS 120021 HAS SOUPS 118843 WITH SCORE 119561.76
AT ITER 1171 NEW BEST:: SOT 1151576 SOS 718757 HAS SOPS 716619 HAS SOUS 120018 HAS SOUPS 118840 WITH SCORE 119558.757
AT ITER 1174 NEW BEST:: SOT 1150832 SOS 717608 HAS SOPS 715470 HAS SOUS 119322 HAS SOUPS 118144 WITH SCORE 118861.608
AT ITER 1179 NEW BEST:: SOT 1150832 SOS 717434 HAS SOPS 715296 HAS SOUS 119322 HAS SOUPS 118144 WITH SCORE 118861.434
AT ITER 1191 NEW BEST:: SOT 1150832 SOS 724656 HAS SOPS 722626 HAS SOUS 119298 HAS SOUPS 118120 WITH SCORE 118844.656
AT ITER 1195 NEW BEST:: SOT 1150832 SOS 723815 HAS SOPS 721785 HAS SOUS 119269 HAS SOUPS 118091 WITH SCORE 118814.815
AT ITER 1196 NEW BEST:: SOT 1150142 SOS 727089 HAS SOPS 725059 HAS SOUS 118577 HAS SOUPS 117399 WITH SCORE 118126.089
AT ITER 1197 NEW BEST:: SOT 1150126 SOS 727073 HAS SOPS 725043 HAS SOUS 118545 HAS SOUPS 117367 WITH SCORE 118094.073
AT ITER 1204 NEW BEST:: SOT 1150126 SOS 727241 HAS SOPS 725211 HAS SOUS 118538 HAS SOUPS 117360 WITH SCORE 118087.241
AT ITER 1219 NEW BEST:: SOT 1150126 SOS 727241 HAS SOPS 725211 HAS SOUS 118362 HAS SOUPS 117184 WITH SCORE 117911.241
AT ITER 1223 NEW BEST:: SOT 1151711 SOS 844577 HAS SOPS 842547 HAS SOUS 118199 HAS SOUPS 117021 WITH SCORE 117865.577
AT ITER 1229 NEW BEST:: SOT 1151711 SOS 844515 HAS SOPS 842494 HAS SOUS 118187 HAS SOUPS 117014 WITH SCORE 117858.515
AT ITER 1231 NEW BEST:: SOT 1150377 SOS 843181 HAS SOPS 841160 HAS SOUS 118067 HAS SOUPS 116894 WITH SCORE 117737.181
AT ITER 1251 NEW BEST:: SOT 1150199 SOS 843003 HAS SOPS 840982 HAS SOUS 117997 HAS SOUPS 116824 WITH SCORE 117667.003
AT ITER 1255 NEW BEST:: SOT 1150199 SOS 844542 HAS SOPS 842536 HAS SOUS 117958 HAS SOUPS 116788 WITH SCORE 117632.542
AT ITER 1260 NEW BEST:: SOT 1151555 SOS 845760 HAS SOPS 843796 HAS SOUS 117358 HAS SOUPS 116230 WITH SCORE 117075.76
AT ITER 1282 NEW BEST:: SOT 1151591 SOS 845796 HAS SOPS 843832 HAS SOUS 117336 HAS SOUPS 116208 WITH SCORE 117053.796
AT ITER 1291 NEW BEST:: SOT 1151591 SOS 857597 HAS SOPS 855633 HAS SOUS 117320 HAS SOUPS 116192 WITH SCORE 117049.597
AT ITER 1295 NEW BEST:: SOT 1151446 SOS 857452 HAS SOPS 855488 HAS SOUS 117128 HAS SOUPS 116000 WITH SCORE 116857.452
AT ITER 1311 NEW BEST:: SOT 1151846 SOS 857588 HAS SOPS 855624 HAS SOUS 116662 HAS SOUPS 115534 WITH SCORE 116391.588
AT ITER 1318 NEW BEST:: SOT 1151294 SOS 857036 HAS SOPS 855072 HAS SOUS 116637 HAS SOUPS 115509 WITH SCORE 116366.036
AT ITER 1321 NEW BEST:: SOT 1152681 SOS 858423 HAS SOPS 856459 HAS SOUS 116614 HAS SOUPS 115486 WITH SCORE 116344.423
AT ITER 1323 NEW BEST:: SOT 1152681 SOS 858422 HAS SOPS 856475 HAS SOUS 116593 HAS SOUPS 115482 WITH SCORE 116340.422
AT ITER 1346 NEW BEST:: SOT 1152389 SOS 858130 HAS SOPS 856183 HAS SOUS 114372 HAS SOUPS 113261 WITH SCORE 114119.13
AT ITER 1359 NEW BEST:: SOT 1151975 SOS 857716 HAS SOPS 855769 HAS SOUS 113840 HAS SOUPS 112729 WITH SCORE 113586.716
AT ITER 1381 NEW BEST:: SOT 1151855 SOS 857596 HAS SOPS 855649 HAS SOUS 113799 HAS SOUPS 112688 WITH SCORE 113545.596
AT ITER 1393 NEW BEST:: SOT 1151825 SOS 857566 HAS SOPS 855619 HAS SOUS 113769 HAS SOUPS 112658 WITH SCORE 113515.566
AT ITER 1403 NEW BEST:: SOT 1151872 SOS 860103 HAS SOPS 858154 HAS SOUS 113538 HAS SOUPS 112425 WITH SCORE 113285.103
AT ITER 1408 NEW BEST:: SOT 1152712 SOS 860943 HAS SOPS 858994 HAS SOUS 113467 HAS SOUPS 112354 WITH SCORE 113214.943
AT ITER 1413 NEW BEST:: SOT 1152712 SOS 859174 HAS SOPS 857338 HAS SOUS 113394 HAS SOUPS 112310 WITH SCORE 113169.174
AT ITER 1417 NEW BEST:: SOT 1152712 SOS 869621 HAS SOPS 868334 HAS SOUS 113179 HAS SOUPS 112120 WITH SCORE 112989.621
AT ITER 1419 NEW BEST:: SOT 1152712 SOS 869621 HAS SOPS 868334 HAS SOUS 113177 HAS SOUPS 112118 WITH SCORE 112987.621
AT ITER 1422 NEW BEST:: SOT 1152637 SOS 869546 HAS SOPS 868259 HAS SOUS 112531 HAS SOUPS 111472 WITH SCORE 112341.546
AT ITER 1430 NEW BEST:: SOT 1152637 SOS 869626 HAS SOPS 868355 HAS SOUS 112352 HAS SOUPS 111309 WITH SCORE 112178.626
AT ITER 1434 NEW BEST:: SOT 1152067 SOS 869044 HAS SOPS 867785 HAS SOUS 112010 HAS SOUPS 110979 WITH SCORE 111848.044
AT ITER 1446 NEW BEST:: SOT 1152067 SOS 869387 HAS SOPS 868128 HAS SOUS 111993 HAS SOUPS 110962 WITH SCORE 111831.387
AT ITER 1454 NEW BEST:: SOT 1152067 SOS 869387 HAS SOPS 868128 HAS SOUS 111923 HAS SOUPS 110892 WITH SCORE 111761.387
AT ITER 1467 NEW BEST:: SOT 1152067 SOS 868739 HAS SOPS 867480 HAS SOUS 111923 HAS SOUPS 110892 WITH SCORE 111760.739
AT ITER 1469 NEW BEST:: SOT 1152067 SOS 868739 HAS SOPS 867480 HAS SOUS 111883 HAS SOUPS 110852 WITH SCORE 111720.739
AT ITER 1505 NEW BEST:: SOT 1152021 SOS 868693 HAS SOPS 867434 HAS SOUS 111837 HAS SOUPS 110806 WITH SCORE 111674.693
AT ITER 1508 NEW BEST:: SOT 1152021 SOS 868693 HAS SOPS 867434 HAS SOUS 111597 HAS SOUPS 110566 WITH SCORE 111434.693
AT ITER 1514 NEW BEST:: SOT 1152385 SOS 869041 HAS SOPS 867798 HAS SOUS 111433 HAS SOUPS 110418 WITH SCORE 111287.041
AT ITER 1516 NEW BEST:: SOT 1152535 SOS 869191 HAS SOPS 867948 HAS SOUS 110647 HAS SOUPS 109632 WITH SCORE 110501.191
AT ITER 1528 NEW BEST:: SOT 1152475 SOS 869131 HAS SOPS 867888 HAS SOUS 110626 HAS SOUPS 109611 WITH SCORE 110480.131
AT ITER 1532 NEW BEST:: SOT 1153806 SOS 870462 HAS SOPS 869219 HAS SOUS 109399 HAS SOUPS 108384 WITH SCORE 109254.462
AT ITER 1538 NEW BEST:: SOT 1153812 SOS 870468 HAS SOPS 869225 HAS SOUS 109255 HAS SOUPS 108240 WITH SCORE 109110.468
AT ITER 1541 NEW BEST:: SOT 1153812 SOS 870848 HAS SOPS 869605 HAS SOUS 109247 HAS SOUPS 108232 WITH SCORE 109102.848
AT ITER 1564 NEW BEST:: SOT 1153081 SOS 870117 HAS SOPS 868874 HAS SOUS 108416 HAS SOUPS 107401 WITH SCORE 108271.117
AT ITER 1565 NEW BEST:: SOT 1154248 SOS 870540 HAS SOPS 869297 HAS SOUS 108271 HAS SOUPS 107256 WITH SCORE 108126.54
AT ITER 1567 NEW BEST:: SOT 1155283 SOS 871607 HAS SOPS 870364 HAS SOUS 107800 HAS SOUPS 106785 WITH SCORE 107656.607
AT ITER 1568 NEW BEST:: SOT 1155283 SOS 871607 HAS SOPS 870364 HAS SOUS 107718 HAS SOUPS 106703 WITH SCORE 107574.607
AT ITER 1603 NEW BEST:: SOT 1155345 SOS 871669 HAS SOPS 870426 HAS SOUS 107665 HAS SOUPS 106650 WITH SCORE 107521.669
AT ITER 1608 NEW BEST:: SOT 1155454 SOS 813930 HAS SOPS 812199 HAS SOUS 107703 HAS SOUPS 106566 WITH SCORE 107379.93
AT ITER 1610 NEW BEST:: SOT 1155397 SOS 814209 HAS SOPS 812478 HAS SOUS 107639 HAS SOUPS 106502 WITH SCORE 107316.209
AT ITER 1613 NEW BEST:: SOT 1154628 SOS 813677 HAS SOPS 812118 HAS SOUS 106954 HAS SOUPS 105934 WITH SCORE 106747.677
AT ITER 1623 NEW BEST:: SOT 1154628 SOS 813815 HAS SOPS 812195 HAS SOUS 106889 HAS SOUPS 105808 WITH SCORE 106621.815
AT ITER 1625 NEW BEST:: SOT 1154594 SOS 813781 HAS SOPS 812161 HAS SOUS 106855 HAS SOUPS 105774 WITH SCORE 106587.781
AT ITER 1627 NEW BEST:: SOT 1154627 SOS 813814 HAS SOPS 812194 HAS SOUS 104644 HAS SOUPS 103563 WITH SCORE 104376.814
AT ITER 1647 NEW BEST:: SOT 1154044 SOS 813519 HAS SOPS 811899 HAS SOUS 104291 HAS SOUPS 103210 WITH SCORE 104023.519
AT ITER 1653 NEW BEST:: SOT 1153928 SOS 813543 HAS SOPS 811923 HAS SOUS 104228 HAS SOUPS 103147 WITH SCORE 103960.543
AT ITER 1682 NEW BEST:: SOT 1153779 SOS 813394 HAS SOPS 811774 HAS SOUS 103914 HAS SOUPS 102833 WITH SCORE 103646.394
AT ITER 1686 NEW BEST:: SOT 1153739 SOS 809226 HAS SOPS 807606 HAS SOUS 103840 HAS SOUPS 102759 WITH SCORE 103568.226
AT ITER 1707 NEW BEST:: SOT 1152483 SOS 808194 HAS SOPS 806574 HAS SOUS 103802 HAS SOUPS 102721 WITH SCORE 103529.194
AT ITER 1714 NEW BEST:: SOT 1152483 SOS 807504 HAS SOPS 805884 HAS SOUS 103799 HAS SOUPS 102718 WITH SCORE 103525.504
AT ITER 1719 NEW BEST:: SOT 1152385 SOS 823161 HAS SOPS 821541 HAS SOUS 103723 HAS SOUPS 102642 WITH SCORE 103465.161
AT ITER 1732 NEW BEST:: SOT 1151609 SOS 822385 HAS SOPS 820765 HAS SOUS 103392 HAS SOUPS 102311 WITH SCORE 103133.385
AT ITER 1733 NEW BEST:: SOT 1150660 SOS 821436 HAS SOPS 819816 HAS SOUS 102945 HAS SOUPS 101864 WITH SCORE 102685.436
AT ITER 1740 NEW BEST:: SOT 1150683 SOS 822273 HAS SOPS 820653 HAS SOUS 102911 HAS SOUPS 101830 WITH SCORE 102652.273
AT ITER 1741 NEW BEST:: SOT 1150683 SOS 822273 HAS SOPS 820653 HAS SOUS 102895 HAS SOUPS 101814 WITH SCORE 102636.273
AT ITER 1746 NEW BEST:: SOT 1151122 SOS 822762 HAS SOPS 821160 HAS SOUS 102442 HAS SOUPS 101379 WITH SCORE 102201.762
AT ITER 1753 NEW BEST:: SOT 1151122 SOS 822570 HAS SOPS 820968 HAS SOUS 102438 HAS SOUPS 101375 WITH SCORE 102197.57
AT ITER 1761 NEW BEST:: SOT 1151122 SOS 822186 HAS SOPS 820584 HAS SOUS 102438 HAS SOUPS 101375 WITH SCORE 102197.186
AT ITER 1769 NEW BEST:: SOT 1150020 SOS 822240 HAS SOPS 820638 HAS SOUS 101457 HAS SOUPS 100394 WITH SCORE 101216.24
AT ITER 1774 NEW BEST:: SOT 1150020 SOS 822240 HAS SOPS 820638 HAS SOUS 101361 HAS SOUPS 100298 WITH SCORE 101120.24
AT ITER 1778 NEW BEST:: SOT 1149988 SOS 822592 HAS SOPS 820990 HAS SOUS 101281 HAS SOUPS 100218 WITH SCORE 101040.592
AT ITER 1788 NEW BEST:: SOT 1149988 SOS 822258 HAS SOPS 820602 HAS SOUS 101203 HAS SOUPS 100130 WITH SCORE 100952.258
AT ITER 1795 NEW BEST:: SOT 1149988 SOS 822810 HAS SOPS 821154 HAS SOUS 101158 HAS SOUPS 100085 WITH SCORE 100907.81
AT ITER 1796 NEW BEST:: SOT 1149927 SOS 822749 HAS SOPS 821093 HAS SOUS 101097 HAS SOUPS 100024 WITH SCORE 100846.749
AT ITER 1813 NEW BEST:: SOT 1149909 SOS 822731 HAS SOPS 821075 HAS SOUS 101069 HAS SOUPS 99996 WITH SCORE 100818.731
AT ITER 1816 NEW BEST:: SOT 1151746 SOS 824568 HAS SOPS 822928 HAS SOUS 101033 HAS SOUPS 99976 WITH SCORE 100800.568
AT ITER 1818 NEW BEST:: SOT 1151746 SOS 825047 HAS SOPS 823407 HAS SOUS 101008 HAS SOUPS 99951 WITH SCORE 100776.047
AT ITER 1820 NEW BEST:: SOT 1152447 SOS 825748 HAS SOPS 824108 HAS SOUS 100558 HAS SOUPS 99501 WITH SCORE 100326.748
AT ITER 1824 NEW BEST:: SOT 1152113 SOS 825414 HAS SOPS 823774 HAS SOUS 100210 HAS SOUPS 99153 WITH SCORE 99978.414
AT ITER 1830 NEW BEST:: SOT 1152018 SOS 825319 HAS SOPS 823679 HAS SOUS 100015 HAS SOUPS 98958 WITH SCORE 99783.319
AT ITER 1835 NEW BEST:: SOT 1152018 SOS 825607 HAS SOPS 823967 HAS SOUS 99998 HAS SOUPS 98941 WITH SCORE 99766.607
AT ITER 1836 NEW BEST:: SOT 1152018 SOS 824387 HAS SOPS 822747 HAS SOUS 99953 HAS SOUPS 98896 WITH SCORE 99720.387
AT ITER 1844 NEW BEST:: SOT 1152032 SOS 824401 HAS SOPS 822761 HAS SOUS 99946 HAS SOUPS 98889 WITH SCORE 99713.401
AT ITER 1856 NEW BEST:: SOT 1153843 SOS 827886 HAS SOPS 826246 HAS SOUS 99807 HAS SOUPS 98750 WITH SCORE 99577.886
AT ITER 1859 NEW BEST:: SOT 1154651 SOS 828694 HAS SOPS 827054 HAS SOUS 99299 HAS SOUPS 98242 WITH SCORE 99070.694
AT ITER 1868 NEW BEST:: SOT 1152258 SOS 826380 HAS SOPS 824685 HAS SOUS 98691 HAS SOUPS 97579 WITH SCORE 98405.38
AT ITER 1880 NEW BEST:: SOT 1152258 SOS 826534 HAS SOPS 824839 HAS SOUS 98684 HAS SOUPS 97572 WITH SCORE 98398.534
AT ITER 1886 NEW BEST:: SOT 1152258 SOS 826492 HAS SOPS 824797 HAS SOUS 98684 HAS SOUPS 97572 WITH SCORE 98398.492
AT ITER 1888 NEW BEST:: SOT 1152402 SOS 826636 HAS SOPS 824941 HAS SOUS 98552 HAS SOUPS 97440 WITH SCORE 98266.636
AT ITER 1925 NEW BEST:: SOT 1152373 SOS 826607 HAS SOPS 824912 HAS SOUS 98435 HAS SOUPS 97323 WITH SCORE 98149.607
AT ITER 1928 NEW BEST:: SOT 1153226 SOS 827460 HAS SOPS 825765 HAS SOUS 98274 HAS SOUPS 97162 WITH SCORE 97989.46
AT ITER 1942 NEW BEST:: SOT 1153094 SOS 827328 HAS SOPS 825633 HAS SOUS 98099 HAS SOUPS 96987 WITH SCORE 97814.328
AT ITER 1953 NEW BEST:: SOT 1153069 SOS 827303 HAS SOPS 825608 HAS SOUS 98039 HAS SOUPS 96927 WITH SCORE 97754.303
AT ITER 1955 NEW BEST:: SOT 1153069 SOS 827377 HAS SOPS 825704 HAS SOUS 97783 HAS SOUPS 96693 WITH SCORE 97520.377
AT ITER 1957 NEW BEST:: SOT 1152418 SOS 826726 HAS SOPS 825053 HAS SOUS 97530 HAS SOUPS 96440 WITH SCORE 97266.726
AT ITER 1971 NEW BEST:: SOT 1151104 SOS 828148 HAS SOPS 826475 HAS SOUS 96330 HAS SOUPS 95240 WITH SCORE 96068.148
AT ITER 1991 NEW BEST:: SOT 1151104 SOS 828148 HAS SOPS 826475 HAS SOUS 96326 HAS SOUPS 95236 WITH SCORE 96064.148
AT ITER 1995 NEW BEST:: SOT 1151101 SOS 828145 HAS SOPS 826472 HAS SOUS 96314 HAS SOUPS 95224 WITH SCORE 96052.145
AT ITER 2010 NEW BEST:: SOT 1151101 SOS 828121 HAS SOPS 826448 HAS SOUS 96313 HAS SOUPS 95223 WITH SCORE 96051.121
AT ITER 2013 NEW BEST:: SOT 1151101 SOS 823631 HAS SOPS 821908 HAS SOUS 96323 HAS SOUPS 95223 WITH SCORE 96046.631
AT ITER 2014 NEW BEST:: SOT 1150098 SOS 823016 HAS SOPS 821273 HAS SOUS 95530 HAS SOUPS 94426 WITH SCORE 95249.016
AT ITER 2046 NEW BEST:: SOT 1150101 SOS 823019 HAS SOPS 821276 HAS SOUS 95461 HAS SOUPS 94357 WITH SCORE 95180.019
AT ITER 2053 NEW BEST:: SOT 1150078 SOS 822768 HAS SOPS 821037 HAS SOUS 95256 HAS SOUPS 94155 WITH SCORE 94977.768
AT ITER 2068 NEW BEST:: SOT 1149903 SOS 822593 HAS SOPS 820862 HAS SOUS 95103 HAS SOUPS 94002 WITH SCORE 94824.593
AT ITER 2078 NEW BEST:: SOT 1149903 SOS 822595 HAS SOPS 820862 HAS SOUS 95094 HAS SOUPS 93991 WITH SCORE 94813.595
AT ITER 2090 NEW BEST:: SOT 1149857 SOS 904753 HAS SOPS 903180 HAS SOUS 95122 HAS SOUPS 93813 WITH SCORE 94717.753
AT ITER 2091 NEW BEST:: SOT 1149857 SOS 908329 HAS SOPS 906756 HAS SOUS 95090 HAS SOUPS 93781 WITH SCORE 94689.329
AT ITER 2111 NEW BEST:: SOT 1149831 SOS 908184 HAS SOPS 906611 HAS SOUS 95067 HAS SOUPS 93758 WITH SCORE 94666.184
AT ITER 2124 NEW BEST:: SOT 1149783 SOS 908136 HAS SOPS 906563 HAS SOUS 95028 HAS SOUPS 93719 WITH SCORE 94627.136
AT ITER 2142 NEW BEST:: SOT 1150659 SOS 903942 HAS SOPS 902655 HAS SOUS 94242 HAS SOUPS 92991 WITH SCORE 93894.942
AT ITER 2166 NEW BEST:: SOT 1150942 SOS 904225 HAS SOPS 902938 HAS SOUS 94117 HAS SOUPS 92866 WITH SCORE 93770.225
AT ITER 2186 NEW BEST:: SOT 1153562 SOS 906568 HAS SOPS 905290 HAS SOUS 94008 HAS SOUPS 92766 WITH SCORE 93672.568
AT ITER 2193 NEW BEST:: SOT 1153181 SOS 906187 HAS SOPS 904909 HAS SOUS 93392 HAS SOUPS 92150 WITH SCORE 93056.187
AT ITER 2198 NEW BEST:: SOT 1153292 SOS 906298 HAS SOPS 905020 HAS SOUS 93283 HAS SOUPS 92041 WITH SCORE 92947.298
AT ITER 2241 NEW BEST:: SOT 1153009 SOS 906015 HAS SOPS 904737 HAS SOUS 92703 HAS SOUPS 91461 WITH SCORE 92367.015
AT ITER 2242 NEW BEST:: SOT 1153009 SOS 905967 HAS SOPS 904689 HAS SOUS 92674 HAS SOUPS 91432 WITH SCORE 92337.967
AT ITER 2269 NEW BEST:: SOT 1153009 SOS 905956 HAS SOPS 904689 HAS SOUS 92554 HAS SOUPS 91323 WITH SCORE 92228.956
AT ITER 2277 NEW BEST:: SOT 1152949 SOS 905896 HAS SOPS 904629 HAS SOUS 92494 HAS SOUPS 91263 WITH SCORE 92168.896
AT ITER 2291 NEW BEST:: SOT 1152949 SOS 906744 HAS SOPS 905477 HAS SOUS 92461 HAS SOUPS 91230 WITH SCORE 92136.744
AT ITER 2302 NEW BEST:: SOT 1152949 SOS 907547 HAS SOPS 906280 HAS SOUS 92424 HAS SOUPS 91193 WITH SCORE 92100.547
AT ITER 2317 NEW BEST:: SOT 1152949 SOS 907547 HAS SOPS 906280 HAS SOUS 92410 HAS SOUPS 91179 WITH SCORE 92086.547
AT ITER 2369 NEW BEST:: SOT 1152940 SOS 907538 HAS SOPS 906271 HAS SOUS 92401 HAS SOUPS 91170 WITH SCORE 92077.538
AT ITER 2373 NEW BEST:: SOT 1153824 SOS 908422 HAS SOPS 907159 HAS SOUS 92373 HAS SOUPS 91146 WITH SCORE 92054.422
AT ITER 2374 NEW BEST:: SOT 1153824 SOS 908422 HAS SOPS 907159 HAS SOUS 92345 HAS SOUPS 91118 WITH SCORE 92026.422
AT ITER 2381 NEW BEST:: SOT 1151411 SOS 906009 HAS SOPS 904746 HAS SOUS 92020 HAS SOUPS 90793 WITH SCORE 91699.009
AT ITER 2384 NEW BEST:: SOT 1151411 SOS 906009 HAS SOPS 904746 HAS SOUS 92011 HAS SOUPS 90784 WITH SCORE 91690.009
AT ITER 2385 NEW BEST:: SOT 1151411 SOS 905872 HAS SOPS 904630 HAS SOUS 91873 HAS SOUPS 90651 WITH SCORE 91556.872
AT ITER 2394 NEW BEST:: SOT 1151411 SOS 905872 HAS SOPS 904630 HAS SOUS 91861 HAS SOUPS 90639 WITH SCORE 91544.872
AT ITER 2397 NEW BEST:: SOT 1151273 SOS 905734 HAS SOPS 904492 HAS SOUS 91808 HAS SOUPS 90586 WITH SCORE 91491.734
AT ITER 2402 NEW BEST:: SOT 1151273 SOS 905614 HAS SOPS 904372 HAS SOUS 91808 HAS SOUPS 90586 WITH SCORE 91491.614
AT ITER 2409 NEW BEST:: SOT 1150926 SOS 905267 HAS SOPS 904025 HAS SOUS 91734 HAS SOUPS 90512 WITH SCORE 91417.267
AT ITER 2410 NEW BEST:: SOT 1148342 SOS 902683 HAS SOPS 901441 HAS SOUS 91163 HAS SOUPS 89941 WITH SCORE 90843.683
AT ITER 2414 NEW BEST:: SOT 1148342 SOS 902683 HAS SOPS 901441 HAS SOUS 91158 HAS SOUPS 89936 WITH SCORE 90838.683
AT ITER 2422 NEW BEST:: SOT 1145965 SOS 868794 HAS SOPS 867552 HAS SOUS 91145 HAS SOUPS 89923 WITH SCORE 90791.794
AT ITER 2430 NEW BEST:: SOT 1145965 SOS 868674 HAS SOPS 867432 HAS SOUS 91145 HAS SOUPS 89923 WITH SCORE 90791.674
AT ITER 2441 NEW BEST:: SOT 1146186 SOS 868895 HAS SOPS 867653 HAS SOUS 91144 HAS SOUPS 89922 WITH SCORE 90790.895
AT ITER 2447 NEW BEST:: SOT 1146186 SOS 868895 HAS SOPS 867653 HAS SOUS 91136 HAS SOUPS 89914 WITH SCORE 90782.895
AT ITER 2449 NEW BEST:: SOT 1145609 SOS 868318 HAS SOPS 867076 HAS SOUS 91081 HAS SOUPS 89859 WITH SCORE 90727.318
AT ITER 2466 NEW BEST:: SOT 1145609 SOS 866542 HAS SOPS 865300 HAS SOUS 91074 HAS SOUPS 89852 WITH SCORE 90718.542
AT ITER 2467 NEW BEST:: SOT 1145353 SOS 866286 HAS SOPS 865044 HAS SOUS 91002 HAS SOUPS 89780 WITH SCORE 90646.286
AT ITER 2532 NEW BEST:: SOT 1145367 SOS 866300 HAS SOPS 865058 HAS SOUS 90998 HAS SOUPS 89776 WITH SCORE 90642.3
AT ITER 2536 NEW BEST:: SOT 1145442 SOS 866375 HAS SOPS 865133 HAS SOUS 90849 HAS SOUPS 89627 WITH SCORE 90493.375
AT ITER 2540 NEW BEST:: SOT 1145442 SOS 865535 HAS SOPS 864293 HAS SOUS 90849 HAS SOUPS 89627 WITH SCORE 90492.535
AT ITER 2546 NEW BEST:: SOT 1145442 SOS 865533 HAS SOPS 864291 HAS SOUS 90814 HAS SOUPS 89592 WITH SCORE 90457.533
AT ITER 2582 NEW BEST:: SOT 1145042 SOS 865112 HAS SOPS 863870 HAS SOUS 90484 HAS SOUPS 89262 WITH SCORE 90127.112
AT ITER 2583 NEW BEST:: SOT 1145302 SOS 865372 HAS SOPS 864130 HAS SOUS 90390 HAS SOUPS 89168 WITH SCORE 90033.372
AT ITER 2585 NEW BEST:: SOT 1145424 SOS 865494 HAS SOPS 864252 HAS SOUS 90271 HAS SOUPS 89049 WITH SCORE 89914.494
AT ITER 2602 NEW BEST:: SOT 1142396 SOS 862946 HAS SOPS 861704 HAS SOUS 87160 HAS SOUPS 85938 WITH SCORE 86800.946
AT ITER 2626 NEW BEST:: SOT 1144832 SOS 866479 HAS SOPS 865292 HAS SOUS 86944 HAS SOUPS 85777 WITH SCORE 86643.479
AT ITER 2630 NEW BEST:: SOT 1144979 SOS 866914 HAS SOPS 865727 HAS SOUS 84792 HAS SOUPS 83625 WITH SCORE 84491.914
AT ITER 2640 NEW BEST:: SOT 1145283 SOS 867218 HAS SOPS 866031 HAS SOUS 84784 HAS SOUPS 83617 WITH SCORE 84484.218
AT ITER 2642 NEW BEST:: SOT 1145283 SOS 867338 HAS SOPS 866151 HAS SOUS 84753 HAS SOUPS 83586 WITH SCORE 84453.338
AT ITER 2649 NEW BEST:: SOT 1145283 SOS 867342 HAS SOPS 866155 HAS SOUS 84741 HAS SOUPS 83574 WITH SCORE 84441.342
AT ITER 2667 NEW BEST:: SOT 1145187 SOS 867246 HAS SOPS 866059 HAS SOUS 84741 HAS SOUPS 83574 WITH SCORE 84441.246
AT ITER 2668 NEW BEST:: SOT 1145061 SOS 867120 HAS SOPS 865933 HAS SOUS 84466 HAS SOUPS 83299 WITH SCORE 84166.12
AT ITER 2714 NEW BEST:: SOT 1145033 SOS 867092 HAS SOPS 865905 HAS SOUS 84438 HAS SOUPS 83271 WITH SCORE 84138.092
AT ITER 2719 NEW BEST:: SOT 1144965 SOS 867024 HAS SOPS 865837 HAS SOUS 84417 HAS SOUPS 83250 WITH SCORE 84117.024
AT ITER 2732 NEW BEST:: SOT 1144749 SOS 866808 HAS SOPS 865621 HAS SOUS 84051 HAS SOUPS 82884 WITH SCORE 83750.808
AT ITER 2757 NEW BEST:: SOT 1144734 SOS 866778 HAS SOPS 865606 HAS SOUS 83979 HAS SOUPS 82827 WITH SCORE 83693.778
AT ITER 2763 NEW BEST:: SOT 1144734 SOS 866135 HAS SOPS 864989 HAS SOUS 83697 HAS SOUPS 82551 WITH SCORE 83417.135
AT ITER 2771 NEW BEST:: SOT 1144278 SOS 865679 HAS SOPS 864533 HAS SOUS 83697 HAS SOUPS 82551 WITH SCORE 83416.679
AT ITER 2775 NEW BEST:: SOT 1144278 SOS 865679 HAS SOPS 864533 HAS SOUS 83696 HAS SOUPS 82550 WITH SCORE 83415.679
AT ITER 2777 NEW BEST:: SOT 1145304 SOS 866705 HAS SOPS 865559 HAS SOUS 83583 HAS SOUPS 82437 WITH SCORE 83303.705
AT ITER 2779 NEW BEST:: SOT 1145802 SOS 867203 HAS SOPS 866057 HAS SOUS 83577 HAS SOUPS 82431 WITH SCORE 83298.203
AT ITER 2788 NEW BEST:: SOT 1145802 SOS 867371 HAS SOPS 866225 HAS SOUS 83570 HAS SOUPS 82424 WITH SCORE 83291.371
AT ITER 2821 NEW BEST:: SOT 1145873 SOS 867442 HAS SOPS 866296 HAS SOUS 83503 HAS SOUPS 82357 WITH SCORE 83224.442
AT ITER 2838 NEW BEST:: SOT 1147054 SOS 868623 HAS SOPS 867477 HAS SOUS 83444 HAS SOUPS 82298 WITH SCORE 83166.623
AT ITER 2839 NEW BEST:: SOT 1146657 SOS 868226 HAS SOPS 867080 HAS SOUS 83309 HAS SOUPS 82163 WITH SCORE 83031.226
AT ITER 2862 NEW BEST:: SOT 1149516 SOS 871085 HAS SOPS 869939 HAS SOUS 83228 HAS SOUPS 82082 WITH SCORE 82953.085
AT ITER 2865 NEW BEST:: SOT 1149900 SOS 871469 HAS SOPS 870323 HAS SOUS 83086 HAS SOUPS 81940 WITH SCORE 82811.469
AT ITER 2884 NEW BEST:: SOT 1150045 SOS 770661 HAS SOPS 769515 HAS SOUS 83054 HAS SOUPS 81908 WITH SCORE 82678.661
AT ITER 2895 NEW BEST:: SOT 1150045 SOS 770493 HAS SOPS 769347 HAS SOUS 83054 HAS SOUPS 81908 WITH SCORE 82678.493
AT ITER 2913 NEW BEST:: SOT 1150045 SOS 770381 HAS SOPS 769235 HAS SOUS 83054 HAS SOUPS 81908 WITH SCORE 82678.381
AT ITER 2942 NEW BEST:: SOT 1150022 SOS 770358 HAS SOPS 769212 HAS SOUS 82817 HAS SOUPS 81671 WITH SCORE 82441.358
AT ITER 2945 NEW BEST:: SOT 1150316 SOS 770652 HAS SOPS 769506 HAS SOUS 82753 HAS SOUPS 81607 WITH SCORE 82377.652
AT ITER 2946 NEW BEST:: SOT 1150119 SOS 770455 HAS SOPS 769309 HAS SOUS 82710 HAS SOUPS 81564 WITH SCORE 82334.455
AT ITER 2947 NEW BEST:: SOT 1150119 SOS 770455 HAS SOPS 769309 HAS SOUS 82687 HAS SOUPS 81541 WITH SCORE 82311.455
AT ITER 2964 NEW BEST:: SOT 1150119 SOS 770383 HAS SOPS 769237 HAS SOUS 82687 HAS SOUPS 81541 WITH SCORE 82311.383
AT ITER 2967 NEW BEST:: SOT 1150775 SOS 771039 HAS SOPS 769893 HAS SOUS 82639 HAS SOUPS 81493 WITH SCORE 82264.039
AT ITER 2971 NEW BEST:: SOT 1150775 SOS 771039 HAS SOPS 769893 HAS SOUS 82611 HAS SOUPS 81465 WITH SCORE 82236.039
AT ITER 2975 NEW BEST:: SOT 1150775 SOS 754001 HAS SOPS 752847 HAS SOUS 82597 HAS SOUPS 81451 WITH SCORE 82205.001
AT ITER 2999 NEW BEST:: SOT 1149592 SOS 752818 HAS SOPS 751660 HAS SOUS 82539 HAS SOUPS 81389 WITH SCORE 82141.818
AT ITER 3017 NEW BEST:: SOT 1150386 SOS 753979 HAS SOPS 752866 HAS SOUS 82171 HAS SOUPS 81066 WITH SCORE 81819.979
AT ITER 3024 NEW BEST:: SOT 1150216 SOS 753809 HAS SOPS 752696 HAS SOUS 82134 HAS SOUPS 81029 WITH SCORE 81782.809
AT ITER 3030 NEW BEST:: SOT 1150058 SOS 753651 HAS SOPS 752538 HAS SOUS 81984 HAS SOUPS 80879 WITH SCORE 81632.651
AT ITER 3042 NEW BEST:: SOT 1150058 SOS 743587 HAS SOPS 742470 HAS SOUS 81966 HAS SOUPS 80860 WITH SCORE 81603.587
AT ITER 3050 NEW BEST:: SOT 1150058 SOS 743611 HAS SOPS 742494 HAS SOUS 81965 HAS SOUPS 80859 WITH SCORE 81602.611
AT ITER 3063 NEW BEST:: SOT 1150058 SOS 743539 HAS SOPS 742422 HAS SOUS 81965 HAS SOUPS 80859 WITH SCORE 81602.539
AT ITER 3070 NEW BEST:: SOT 1150058 SOS 743107 HAS SOPS 741990 HAS SOUS 81965 HAS SOUPS 80859 WITH SCORE 81602.107
AT ITER 3076 NEW BEST:: SOT 1149271 SOS 742339 HAS SOPS 741203 HAS SOUS 81886 HAS SOUPS 80761 WITH SCORE 81503.339
AT ITER 3105 NEW BEST:: SOT 1149238 SOS 742306 HAS SOPS 741170 HAS SOUS 81842 HAS SOUPS 80717 WITH SCORE 81459.306
AT ITER 3141 NEW BEST:: SOT 1147594 SOS 740662 HAS SOPS 739526 HAS SOUS 81497 HAS SOUPS 80372 WITH SCORE 81112.662
AT ITER 3171 NEW BEST:: SOT 1147878 SOS 740946 HAS SOPS 739810 HAS SOUS 81465 HAS SOUPS 80340 WITH SCORE 81080.946
AT ITER 3182 NEW BEST:: SOT 1147727 SOS 737320 HAS SOPS 736184 HAS SOUS 81177 HAS SOUPS 80052 WITH SCORE 80789.32
AT ITER 3228 NEW BEST:: SOT 1147909 SOS 737390 HAS SOPS 736258 HAS SOUS 81144 HAS SOUPS 80020 WITH SCORE 80757.39
AT ITER 3238 NEW BEST:: SOT 1147909 SOS 737030 HAS SOPS 735898 HAS SOUS 81144 HAS SOUPS 80020 WITH SCORE 80757.03
AT ITER 3250 NEW BEST:: SOT 1147782 SOS 809863 HAS SOPS 808731 HAS SOUS 81017 HAS SOUPS 79893 WITH SCORE 80702.863
AT ITER 3316 NEW BEST:: SOT 1147772 SOS 809803 HAS SOPS 808671 HAS SOUS 81017 HAS SOUPS 79893 WITH SCORE 80702.803
AT ITER 3369 NEW BEST:: SOT 1147737 SOS 809768 HAS SOPS 808636 HAS SOUS 80986 HAS SOUPS 79862 WITH SCORE 80671.768
AT ITER 3373 NEW BEST:: SOT 1146460 SOS 809379 HAS SOPS 808247 HAS SOUS 80793 HAS SOUPS 79669 WITH SCORE 80478.379
AT ITER 3375 NEW BEST:: SOT 1146460 SOS 809335 HAS SOPS 808203 HAS SOUS 80782 HAS SOUPS 79658 WITH SCORE 80467.335
AT ITER 3424 NEW BEST:: SOT 1146460 SOS 808518 HAS SOPS 807336 HAS SOUS 80796 HAS SOUPS 79622 WITH SCORE 80430.518
AT ITER 3431 NEW BEST:: SOT 1146414 SOS 808472 HAS SOPS 807290 HAS SOUS 80773 HAS SOUPS 79599 WITH SCORE 80407.472
AT ITER 3432 NEW BEST:: SOT 1145785 SOS 807843 HAS SOPS 806661 HAS SOUS 80495 HAS SOUPS 79321 WITH SCORE 80128.843
AT ITER 3440 NEW BEST:: SOT 1143672 SOS 805730 HAS SOPS 804548 HAS SOUS 80456 HAS SOUPS 79282 WITH SCORE 80087.73
AT ITER 3445 NEW BEST:: SOT 1144513 SOS 806571 HAS SOPS 805389 HAS SOUS 80432 HAS SOUPS 79258 WITH SCORE 80064.571
AT ITER 3451 NEW BEST:: SOT 1143986 SOS 806044 HAS SOPS 804862 HAS SOUS 80204 HAS SOUPS 79030 WITH SCORE 79836.044
AT ITER 3516 NEW BEST:: SOT 1143978 SOS 806275 HAS SOPS 805063 HAS SOUS 80226 HAS SOUPS 79022 WITH SCORE 79828.275
AT ITER 3531 NEW BEST:: SOT 1144077 SOS 806374 HAS SOPS 805171 HAS SOUS 80186 HAS SOUPS 78991 WITH SCORE 79797.374
AT ITER 3552 NEW BEST:: SOT 1144077 SOS 805174 HAS SOPS 803971 HAS SOUS 80178 HAS SOUPS 78983 WITH SCORE 79788.174
AT ITER 3580 NEW BEST:: SOT 1143893 SOS 804990 HAS SOPS 803787 HAS SOUS 79789 HAS SOUPS 78594 WITH SCORE 79398.99
AT ITER 3617 NEW BEST:: SOT 1144714 SOS 805811 HAS SOPS 804608 HAS SOUS 79005 HAS SOUPS 77810 WITH SCORE 78615.811
AT ITER 3624 NEW BEST:: SOT 1144714 SOS 805782 HAS SOPS 804579 HAS SOUS 79005 HAS SOUPS 77810 WITH SCORE 78615.782
AT ITER 3653 NEW BEST:: SOT 1144704 SOS 805772 HAS SOPS 804569 HAS SOUS 78916 HAS SOUPS 77721 WITH SCORE 78526.772
AT ITER 3661 NEW BEST:: SOT 1144670 SOS 825322 HAS SOPS 824119 HAS SOUS 78882 HAS SOUPS 77687 WITH SCORE 78512.322
AT ITER 3671 NEW BEST:: SOT 1144670 SOS 825306 HAS SOPS 824103 HAS SOUS 78873 HAS SOUPS 77678 WITH SCORE 78503.306
AT ITER 3683 NEW BEST:: SOT 1144684 SOS 825320 HAS SOPS 824117 HAS SOUS 78551 HAS SOUPS 77356 WITH SCORE 78181.32
AT ITER 3699 NEW BEST:: SOT 1144684 SOS 825485 HAS SOPS 824282 HAS SOUS 78548 HAS SOUPS 77353 WITH SCORE 78178.485
AT ITER 3703 NEW BEST:: SOT 1144684 SOS 824981 HAS SOPS 823778 HAS SOUS 78548 HAS SOUPS 77353 WITH SCORE 78177.981
AT ITER 3707 NEW BEST:: SOT 1144684 SOS 824979 HAS SOPS 823776 HAS SOUS 78547 HAS SOUPS 77352 WITH SCORE 78176.979
AT ITER 3723 NEW BEST:: SOT 1144657 SOS 824952 HAS SOPS 823749 HAS SOUS 78398 HAS SOUPS 77203 WITH SCORE 78027.952
AT ITER 3759 NEW BEST:: SOT 1146247 SOS 826542 HAS SOPS 825389 HAS SOUS 78174 HAS SOUPS 77029 WITH SCORE 77855.542
AT ITER 3767 NEW BEST:: SOT 1146338 SOS 826633 HAS SOPS 825480 HAS SOUS 77710 HAS SOUPS 76565 WITH SCORE 77391.633
AT ITER 3789 NEW BEST:: SOT 1146338 SOS 826583 HAS SOPS 825398 HAS SOUS 77731 HAS SOUPS 76554 WITH SCORE 77380.583
AT ITER 3790 NEW BEST:: SOT 1146338 SOS 826127 HAS SOPS 824942 HAS SOUS 77731 HAS SOUPS 76554 WITH SCORE 77380.127
AT ITER 3796 NEW BEST:: SOT 1145488 SOS 825277 HAS SOPS 824092 HAS SOUS 77697 HAS SOUPS 76520 WITH SCORE 77345.277
AT ITER 3811 NEW BEST:: SOT 1145513 SOS 825302 HAS SOPS 824117 HAS SOUS 77626 HAS SOUPS 76449 WITH SCORE 77274.302
AT ITER 3860 NEW BEST:: SOT 1145115 SOS 824904 HAS SOPS 823719 HAS SOUS 77536 HAS SOUPS 76359 WITH SCORE 77183.904
AT ITER 3901 NEW BEST:: SOT 1145091 SOS 824880 HAS SOPS 823695 HAS SOUS 77512 HAS SOUPS 76335 WITH SCORE 77159.88
AT ITER 3904 NEW BEST:: SOT 1145091 SOS 824808 HAS SOPS 823623 HAS SOUS 77509 HAS SOUPS 76332 WITH SCORE 77156.808
AT ITER 3923 NEW BEST:: SOT 1145085 SOS 824802 HAS SOPS 823617 HAS SOUS 77500 HAS SOUPS 76323 WITH SCORE 77147.802
AT ITER 3948 NEW BEST:: SOT 1145085 SOS 824802 HAS SOPS 823617 HAS SOUS 77480 HAS SOUPS 76303 WITH SCORE 77127.802
AT ITER 3955 NEW BEST:: SOT 1145085 SOS 824762 HAS SOPS 823577 HAS SOUS 77480 HAS SOUPS 76303 WITH SCORE 77127.762
AT ITER 3982 NEW BEST:: SOT 1145085 SOS 824762 HAS SOPS 823577 HAS SOUS 77444 HAS SOUPS 76267 WITH SCORE 77091.762
AT ITER 3986 NEW BEST:: SOT 1145404 SOS 825081 HAS SOPS 823896 HAS SOUS 77187 HAS SOUPS 76010 WITH SCORE 76835.081
AT ITER 4002 NEW BEST:: SOT 1145395 SOS 825072 HAS SOPS 823887 HAS SOUS 77178 HAS SOUPS 76001 WITH SCORE 76826.072
AT ITER 4012 NEW BEST:: SOT 1145395 SOS 823511 HAS SOPS 822249 HAS SOUS 77154 HAS SOUPS 75912 WITH SCORE 76735.511
AT ITER 4017 NEW BEST:: SOT 1145344 SOS 823460 HAS SOPS 822198 HAS SOUS 77127 HAS SOUPS 75885 WITH SCORE 76708.46
AT ITER 4019 NEW BEST:: SOT 1145109 SOS 823225 HAS SOPS 821963 HAS SOUS 77063 HAS SOUPS 75821 WITH SCORE 76644.225
AT ITER 4033 NEW BEST:: SOT 1144863 SOS 822979 HAS SOPS 821717 HAS SOUS 76518 HAS SOUPS 75276 WITH SCORE 76098.979
AT ITER 4034 NEW BEST:: SOT 1144863 SOS 822927 HAS SOPS 821665 HAS SOUS 76492 HAS SOUPS 75250 WITH SCORE 76072.927
AT ITER 4052 NEW BEST:: SOT 1144839 SOS 822903 HAS SOPS 821641 HAS SOUS 76468 HAS SOUPS 75226 WITH SCORE 76048.903
AT ITER 4059 NEW BEST:: SOT 1148870 SOS 827197 HAS SOPS 825980 HAS SOUS 76222 HAS SOUPS 75025 WITH SCORE 75852.197
AT ITER 4074 NEW BEST:: SOT 1148687 SOS 827014 HAS SOPS 825797 HAS SOUS 76209 HAS SOUPS 75012 WITH SCORE 75839.014
AT ITER 4097 NEW BEST:: SOT 1148686 SOS 827013 HAS SOPS 825796 HAS SOUS 76208 HAS SOUPS 75011 WITH SCORE 75838.013
AT ITER 4118 NEW BEST:: SOT 1148686 SOS 827373 HAS SOPS 826156 HAS SOUS 76190 HAS SOUPS 74993 WITH SCORE 75820.373
AT ITER 4130 NEW BEST:: SOT 1148686 SOS 827373 HAS SOPS 826156 HAS SOUS 76173 HAS SOUPS 74976 WITH SCORE 75803.373
AT ITER 4141 NEW BEST:: SOT 1148645 SOS 769648 HAS SOPS 768479 HAS SOUS 76051 HAS SOUPS 74902 WITH SCORE 75671.648
AT ITER 4160 NEW BEST:: SOT 1148645 SOS 769624 HAS SOPS 768455 HAS SOUS 76051 HAS SOUPS 74902 WITH SCORE 75671.624
AT ITER 4167 NEW BEST:: SOT 1147802 SOS 768781 HAS SOPS 767612 HAS SOUS 75762 HAS SOUPS 74613 WITH SCORE 75381.781
AT ITER 4217 NEW BEST:: SOT 1147798 SOS 768777 HAS SOPS 767608 HAS SOUS 75750 HAS SOUPS 74601 WITH SCORE 75369.777
AT ITER 4243 NEW BEST:: SOT 1147768 SOS 768747 HAS SOPS 767578 HAS SOUS 75750 HAS SOUPS 74601 WITH SCORE 75369.747
AT ITER 4246 NEW BEST:: SOT 1147618 SOS 768513 HAS SOPS 767344 HAS SOUS 75744 HAS SOUPS 74595 WITH SCORE 75363.513
AT ITER 4265 NEW BEST:: SOT 1147186 SOS 768201 HAS SOPS 767032 HAS SOUS 75545 HAS SOUPS 74396 WITH SCORE 75164.201
AT ITER 4343 NEW BEST:: SOT 1147132 SOS 768207 HAS SOPS 767038 HAS SOUS 75515 HAS SOUPS 74366 WITH SCORE 75134.207
AT ITER 4359 NEW BEST:: SOT 1146175 SOS 766905 HAS SOPS 765721 HAS SOUS 75122 HAS SOUPS 73958 WITH SCORE 74724.905
AT ITER 4370 NEW BEST:: SOT 1146175 SOS 766905 HAS SOPS 765721 HAS SOUS 75104 HAS SOUPS 73940 WITH SCORE 74706.905
AT ITER 4433 NEW BEST:: SOT 1146943 SOS 767673 HAS SOPS 766489 HAS SOUS 75084 HAS SOUPS 73920 WITH SCORE 74687.673
AT ITER 4438 NEW BEST:: SOT 1146943 SOS 767097 HAS SOPS 765913 HAS SOUS 75084 HAS SOUPS 73920 WITH SCORE 74687.097
AT ITER 4440 NEW BEST:: SOT 1146854 SOS 767008 HAS SOPS 765824 HAS SOUS 74897 HAS SOUPS 73733 WITH SCORE 74500.008
AT ITER 4441 NEW BEST:: SOT 1146836 SOS 766966 HAS SOPS 765782 HAS SOUS 74897 HAS SOUPS 73733 WITH SCORE 74499.966
AT ITER 4470 NEW BEST:: SOT 1146586 SOS 766716 HAS SOPS 765532 HAS SOUS 74887 HAS SOUPS 73723 WITH SCORE 74489.716
AT ITER 4471 NEW BEST:: SOT 1146586 SOS 766716 HAS SOPS 765532 HAS SOUS 74811 HAS SOUPS 73647 WITH SCORE 74413.716
AT ITER 4498 NEW BEST:: SOT 1146586 SOS 766956 HAS SOPS 765772 HAS SOUS 74799 HAS SOUPS 73635 WITH SCORE 74401.956
AT ITER 4534 NEW BEST:: SOT 1146585 SOS 766955 HAS SOPS 765771 HAS SOUS 74799 HAS SOUPS 73635 WITH SCORE 74401.955
AT ITER 4558 NEW BEST:: SOT 1146585 SOS 766571 HAS SOPS 765387 HAS SOUS 74783 HAS SOUPS 73619 WITH SCORE 74385.571
AT ITER 4563 NEW BEST:: SOT 1145771 SOS 766456 HAS SOPS 765225 HAS SOUS 74560 HAS SOUPS 73349 WITH SCORE 74115.456
AT ITER 4608 NEW BEST:: SOT 1144896 SOS 765581 HAS SOPS 764350 HAS SOUS 74506 HAS SOUPS 73295 WITH SCORE 74060.581
AT ITER 4623 NEW BEST:: SOT 1144739 SOS 765424 HAS SOPS 764193 HAS SOUS 74491 HAS SOUPS 73280 WITH SCORE 74045.424
AT ITER 4632 NEW BEST:: SOT 1144766 SOS 765451 HAS SOPS 764220 HAS SOUS 74158 HAS SOUPS 72947 WITH SCORE 73712.451
AT ITER 4645 NEW BEST:: SOT 1144766 SOS 764803 HAS SOPS 763572 HAS SOUS 74158 HAS SOUPS 72947 WITH SCORE 73711.803
AT ITER 4678 NEW BEST:: SOT 1144766 SOS 765287 HAS SOPS 764056 HAS SOUS 74157 HAS SOUPS 72946 WITH SCORE 73711.287
AT ITER 4680 NEW BEST:: SOT 1144766 SOS 765263 HAS SOPS 764032 HAS SOUS 74157 HAS SOUPS 72946 WITH SCORE 73711.263
AT ITER 4704 NEW BEST:: SOT 1144391 SOS 764888 HAS SOPS 763657 HAS SOUS 74136 HAS SOUPS 72925 WITH SCORE 73689.888
AT ITER 4711 NEW BEST:: SOT 1144391 SOS 764888 HAS SOPS 763657 HAS SOUS 74123 HAS SOUPS 72912 WITH SCORE 73676.888
AT ITER 4774 NEW BEST:: SOT 1143794 SOS 764291 HAS SOPS 763060 HAS SOUS 73923 HAS SOUPS 72712 WITH SCORE 73476.291
AT ITER 4780 NEW BEST:: SOT 1143794 SOS 763049 HAS SOPS 761818 HAS SOUS 73923 HAS SOUPS 72712 WITH SCORE 73475.049
AT ITER 4793 NEW BEST:: SOT 1142585 SOS 761840 HAS SOPS 760609 HAS SOUS 73815 HAS SOUPS 72604 WITH SCORE 73365.84
AT ITER 4799 NEW BEST:: SOT 1142490 SOS 761745 HAS SOPS 760514 HAS SOUS 73720 HAS SOUPS 72509 WITH SCORE 73270.745
AT ITER 4812 NEW BEST:: SOT 1142265 SOS 761520 HAS SOPS 760289 HAS SOUS 73647 HAS SOUPS 72436 WITH SCORE 73197.52
AT ITER 4822 NEW BEST:: SOT 1142265 SOS 761044 HAS SOPS 759813 HAS SOUS 73630 HAS SOUPS 72419 WITH SCORE 73180.044
AT ITER 4874 NEW BEST:: SOT 1142074 SOS 760865 HAS SOPS 759634 HAS SOUS 73384 HAS SOUPS 72173 WITH SCORE 72933.865
AT ITER 4887 NEW BEST:: SOT 1142074 SOS 761239 HAS SOPS 760008 HAS SOUS 73367 HAS SOUPS 72156 WITH SCORE 72917.239
AT ITER 4903 NEW BEST:: SOT 1142048 SOS 769960 HAS SOPS 768729 HAS SOUS 73341 HAS SOUPS 72130 WITH SCORE 72899.96
AT ITER 4914 NEW BEST:: SOT 1142219 SOS 768883 HAS SOPS 767652 HAS SOUS 73217 HAS SOUPS 72006 WITH SCORE 72774.883
AT ITER 4919 NEW BEST:: SOT 1142229 SOS 768893 HAS SOPS 767662 HAS SOUS 73114 HAS SOUPS 71903 WITH SCORE 72671.893
AT ITER 4920 NEW BEST:: SOT 1142273 SOS 768937 HAS SOPS 767706 HAS SOUS 73052 HAS SOUPS 71841 WITH SCORE 72609.937
AT ITER 4960 NEW BEST:: SOT 1142257 SOS 768921 HAS SOPS 767690 HAS SOUS 73019 HAS SOUPS 71808 WITH SCORE 72576.921
AT ITER 4980 NEW BEST:: SOT 1142298 SOS 768962 HAS SOPS 767731 HAS SOUS 72860 HAS SOUPS 71649 WITH SCORE 72417.962
AT ITER 5002 NEW BEST:: SOT 1142298 SOS 769010 HAS SOPS 767781 HAS SOUS 72840 HAS SOUPS 71631 WITH SCORE 72400.01
AT ITER 5021 NEW BEST:: SOT 1142298 SOS 769010 HAS SOPS 767781 HAS SOUS 72835 HAS SOUPS 71626 WITH SCORE 72395.01
AT ITER 5029 NEW BEST:: SOT 1142243 SOS 768955 HAS SOPS 767726 HAS SOUS 72768 HAS SOUPS 71559 WITH SCORE 72327.955
AT ITER 5030 NEW BEST:: SOT 1142315 SOS 769005 HAS SOPS 767776 HAS SOUS 72613 HAS SOUPS 71404 WITH SCORE 72173.005
AT ITER 5043 NEW BEST:: SOT 1145035 SOS 774618 HAS SOPS 773468 HAS SOUS 72409 HAS SOUPS 71279 WITH SCORE 72053.618
AT ITER 5047 NEW BEST:: SOT 1143181 SOS 771492 HAS SOPS 770322 HAS SOUS 72403 HAS SOUPS 71253 WITH SCORE 72024.492
AT ITER 5113 NEW BEST:: SOT 1143171 SOS 771482 HAS SOPS 770312 HAS SOUS 72381 HAS SOUPS 71231 WITH SCORE 72002.482
AT ITER 5153 NEW BEST:: SOT 1143171 SOS 771484 HAS SOPS 770314 HAS SOUS 72379 HAS SOUPS 71229 WITH SCORE 72000.484
AT ITER 5156 NEW BEST:: SOT 1143171 SOS 770500 HAS SOPS 769330 HAS SOUS 72372 HAS SOUPS 71222 WITH SCORE 71992.5
AT ITER 5157 NEW BEST:: SOT 1143131 SOS 770460 HAS SOPS 769290 HAS SOUS 72322 HAS SOUPS 71172 WITH SCORE 71942.46
AT ITER 5160 NEW BEST:: SOT 1143051 SOS 770381 HAS SOPS 769210 HAS SOUS 72275 HAS SOUPS 71124 WITH SCORE 71894.381
AT ITER 5170 NEW BEST:: SOT 1143051 SOS 770381 HAS SOPS 769210 HAS SOUS 72269 HAS SOUPS 71118 WITH SCORE 71888.381
AT ITER 5213 NEW BEST:: SOT 1143051 SOS 770271 HAS SOPS 769100 HAS SOUS 72269 HAS SOUPS 71118 WITH SCORE 71888.271
AT ITER 5218 NEW BEST:: SOT 1142803 SOS 770023 HAS SOPS 768852 HAS SOUS 71854 HAS SOUPS 70703 WITH SCORE 71473.023
AT ITER 5234 NEW BEST:: SOT 1142793 SOS 770013 HAS SOPS 768842 HAS SOUS 71798 HAS SOUPS 70647 WITH SCORE 71417.013
AT ITER 5248 NEW BEST:: SOT 1142907 SOS 770127 HAS SOPS 768956 HAS SOUS 71664 HAS SOUPS 70513 WITH SCORE 71283.127
AT ITER 5250 NEW BEST:: SOT 1143100 SOS 770320 HAS SOPS 769149 HAS SOUS 71339 HAS SOUPS 70188 WITH SCORE 70958.32
AT ITER 5287 NEW BEST:: SOT 1143100 SOS 770248 HAS SOPS 769077 HAS SOUS 71339 HAS SOUPS 70188 WITH SCORE 70958.248
AT ITER 5345 NEW BEST:: SOT 1143100 SOS 770236 HAS SOPS 769077 HAS SOUS 71318 HAS SOUPS 70179 WITH SCORE 70949.236
AT ITER 5360 NEW BEST:: SOT 1143072 SOS 769596 HAS SOPS 768437 HAS SOUS 71276 HAS SOUPS 70137 WITH SCORE 70906.596
AT ITER 5387 NEW BEST:: SOT 1143046 SOS 769570 HAS SOPS 768411 HAS SOUS 71250 HAS SOUPS 70111 WITH SCORE 70880.57
AT ITER 5389 NEW BEST:: SOT 1142622 SOS 769146 HAS SOPS 767987 HAS SOUS 71103 HAS SOUPS 69964 WITH SCORE 70733.146
AT ITER 5416 NEW BEST:: SOT 1142504 SOS 769028 HAS SOPS 767869 HAS SOUS 70985 HAS SOUPS 69846 WITH SCORE 70615.028
AT ITER 5423 NEW BEST:: SOT 1142452 SOS 768976 HAS SOPS 767817 HAS SOUS 70909 HAS SOUPS 69770 WITH SCORE 70538.976
AT ITER 5425 NEW BEST:: SOT 1141583 SOS 768107 HAS SOPS 766948 HAS SOUS 70908 HAS SOUPS 69769 WITH SCORE 70537.107
AT ITER 5471 NEW BEST:: SOT 1141631 SOS 768155 HAS SOPS 766996 HAS SOUS 70489 HAS SOUPS 69350 WITH SCORE 70118.155
AT ITER 5472 NEW BEST:: SOT 1141631 SOS 768155 HAS SOPS 766996 HAS SOUS 70433 HAS SOUPS 69294 WITH SCORE 70062.155
AT ITER 5475 NEW BEST:: SOT 1141803 SOS 768327 HAS SOPS 767168 HAS SOUS 70395 HAS SOUPS 69256 WITH SCORE 70024.327
AT ITER 5493 NEW BEST:: SOT 1141306 SOS 767830 HAS SOPS 766671 HAS SOUS 70232 HAS SOUPS 69093 WITH SCORE 69860.83
AT ITER 5505 NEW BEST:: SOT 1141306 SOS 767830 HAS SOPS 766671 HAS SOUS 70231 HAS SOUPS 69092 WITH SCORE 69859.83
AT ITER 5527 NEW BEST:: SOT 1143553 SOS 800483 HAS SOPS 799354 HAS SOUS 70122 HAS SOUPS 69013 WITH SCORE 69813.483
AT ITER 5535 NEW BEST:: SOT 1143553 SOS 798431 HAS SOPS 797302 HAS SOUS 70122 HAS SOUPS 69013 WITH SCORE 69811.431
AT ITER 5551 NEW BEST:: SOT 1143512 SOS 798389 HAS SOPS 797260 HAS SOUS 70080 HAS SOUPS 68971 WITH SCORE 69769.389
AT ITER 5600 NEW BEST:: SOT 1143512 SOS 776213 HAS SOPS 774764 HAS SOUS 70153 HAS SOUPS 68980 WITH SCORE 69756.213
AT ITER 5624 NEW BEST:: SOT 1143512 SOS 777125 HAS SOPS 775676 HAS SOUS 70098 HAS SOUPS 68925 WITH SCORE 69702.125
AT ITER 5626 NEW BEST:: SOT 1143512 SOS 777125 HAS SOPS 775676 HAS SOUS 70090 HAS SOUPS 68917 WITH SCORE 69694.125
AT ITER 5634 NEW BEST:: SOT 1141273 SOS 771969 HAS SOPS 770209 HAS SOUS 70394 HAS SOUPS 68910 WITH SCORE 69681.969
AT ITER 5639 NEW BEST:: SOT 1141238 SOS 772967 HAS SOPS 771207 HAS SOUS 70367 HAS SOUPS 68883 WITH SCORE 69655.967
AT ITER 5642 NEW BEST:: SOT 1141238 SOS 773427 HAS SOPS 771667 HAS SOUS 70351 HAS SOUPS 68867 WITH SCORE 69640.427
AT ITER 5656 NEW BEST:: SOT 1141238 SOS 772923 HAS SOPS 771163 HAS SOUS 70351 HAS SOUPS 68867 WITH SCORE 69639.923
AT ITER 5700 NEW BEST:: SOT 1140006 SOS 771691 HAS SOPS 769931 HAS SOUS 69960 HAS SOUPS 68476 WITH SCORE 69247.691
AT ITER 5704 NEW BEST:: SOT 1140006 SOS 771451 HAS SOPS 769691 HAS SOUS 69960 HAS SOUPS 68476 WITH SCORE 69247.451
AT ITER 5714 NEW BEST:: SOT 1140006 SOS 770891 HAS SOPS 769131 HAS SOUS 69960 HAS SOUPS 68476 WITH SCORE 69246.891
AT ITER 5731 NEW BEST:: SOT 1140006 SOS 769355 HAS SOPS 767595 HAS SOUS 69940 HAS SOUPS 68456 WITH SCORE 69225.355
AT ITER 5733 NEW BEST:: SOT 1140006 SOS 769355 HAS SOPS 767595 HAS SOUS 69930 HAS SOUPS 68446 WITH SCORE 69215.355
AT ITER 5740 NEW BEST:: SOT 1140006 SOS 765350 HAS SOPS 763815 HAS SOUS 69885 HAS SOUPS 68446 WITH SCORE 69211.35
AT ITER 5743 NEW BEST:: SOT 1139931 SOS 765257 HAS SOPS 763722 HAS SOUS 69879 HAS SOUPS 68440 WITH SCORE 69205.257
AT ITER 5744 NEW BEST:: SOT 1139931 SOS 764465 HAS SOPS 762930 HAS SOUS 69865 HAS SOUPS 68426 WITH SCORE 69190.465
AT ITER 5777 NEW BEST:: SOT 1139879 SOS 764413 HAS SOPS 762878 HAS SOUS 69798 HAS SOUPS 68359 WITH SCORE 69123.413
AT ITER 5830 NEW BEST:: SOT 1139932 SOS 764432 HAS SOPS 762849 HAS SOUS 69817 HAS SOUPS 68330 WITH SCORE 69094.432
AT ITER 5842 NEW BEST:: SOT 1139764 SOS 764264 HAS SOPS 762681 HAS SOUS 69817 HAS SOUPS 68330 WITH SCORE 69094.264
AT ITER 5930 NEW BEST:: SOT 1138915 SOS 763415 HAS SOPS 761832 HAS SOUS 69473 HAS SOUPS 67986 WITH SCORE 68749.415
AT ITER 5948 NEW BEST:: SOT 1139744 SOS 764244 HAS SOPS 762661 HAS SOUS 69442 HAS SOUPS 67955 WITH SCORE 68719.244
AT ITER 5974 NEW BEST:: SOT 1139744 SOS 763872 HAS SOPS 762289 HAS SOUS 69427 HAS SOUPS 67940 WITH SCORE 68703.872
AT ITER 6003 NEW BEST:: SOT 1139909 SOS 764037 HAS SOPS 762454 HAS SOUS 69423 HAS SOUPS 67936 WITH SCORE 68700.037
AT ITER 6014 NEW BEST:: SOT 1139909 SOS 763917 HAS SOPS 762334 HAS SOUS 69423 HAS SOUPS 67936 WITH SCORE 68699.917
AT ITER 6037 NEW BEST:: SOT 1139909 SOS 763917 HAS SOPS 762334 HAS SOUS 69409 HAS SOUPS 67922 WITH SCORE 68685.917
AT ITER 6058 NEW BEST:: SOT 1139909 SOS 763773 HAS SOPS 762190 HAS SOUS 69409 HAS SOUPS 67922 WITH SCORE 68685.773
AT ITER 6113 NEW BEST:: SOT 1139605 SOS 763469 HAS SOPS 761886 HAS SOUS 69193 HAS SOUPS 67706 WITH SCORE 68469.469
AT ITER 6163 NEW BEST:: SOT 1139460 SOS 763324 HAS SOPS 761741 HAS SOUS 69102 HAS SOUPS 67615 WITH SCORE 68378.324
AT ITER 6174 NEW BEST:: SOT 1139175 SOS 762751 HAS SOPS 761118 HAS SOUS 69001 HAS SOUPS 67464 WITH SCORE 68226.751
AT ITER 6185 NEW BEST:: SOT 1138748 SOS 762324 HAS SOPS 760691 HAS SOUS 68973 HAS SOUPS 67436 WITH SCORE 68198.324
AT ITER 6206 NEW BEST:: SOT 1138748 SOS 772116 HAS SOPS 770483 HAS SOUS 68952 HAS SOUPS 67415 WITH SCORE 68187.116
AT ITER 6229 NEW BEST:: SOT 1138748 SOS 772164 HAS SOPS 770531 HAS SOUS 68947 HAS SOUPS 67410 WITH SCORE 68182.164
AT ITER 6236 NEW BEST:: SOT 1138453 SOS 771869 HAS SOPS 770236 HAS SOUS 68734 HAS SOUPS 67197 WITH SCORE 67968.869
AT ITER 6238 NEW BEST:: SOT 1138477 SOS 771893 HAS SOPS 770260 HAS SOUS 68608 HAS SOUPS 67071 WITH SCORE 67842.893
AT ITER 6249 NEW BEST:: SOT 1138477 SOS 771893 HAS SOPS 770260 HAS SOUS 68598 HAS SOUPS 67061 WITH SCORE 67832.893
AT ITER 6328 NEW BEST:: SOT 1138477 SOS 771365 HAS SOPS 769732 HAS SOUS 68570 HAS SOUPS 67033 WITH SCORE 67804.365
AT ITER 6361 NEW BEST:: SOT 1138573 SOS 771461 HAS SOPS 769828 HAS SOUS 68556 HAS SOUPS 67019 WITH SCORE 67790.461
AT ITER 6414 NEW BEST:: SOT 1138572 SOS 762891 HAS SOPS 761258 HAS SOUS 68555 HAS SOUPS 67018 WITH SCORE 67780.891
AT ITER 6436 NEW BEST:: SOT 1138575 SOS 762913 HAS SOPS 761280 HAS SOUS 68551 HAS SOUPS 67014 WITH SCORE 67776.913
AT ITER 6486 NEW BEST:: SOT 1138575 SOS 762865 HAS SOPS 761232 HAS SOUS 68549 HAS SOUPS 67012 WITH SCORE 67774.865
AT ITER 6547 NEW BEST:: SOT 1138575 SOS 762985 HAS SOPS 761352 HAS SOUS 68526 HAS SOUPS 66989 WITH SCORE 67751.985
AT ITER 6562 NEW BEST:: SOT 1138575 SOS 762985 HAS SOPS 761352 HAS SOUS 68508 HAS SOUPS 66971 WITH SCORE 67733.985
AT ITER 6564 NEW BEST:: SOT 1138575 SOS 762997 HAS SOPS 761364 HAS SOUS 68491 HAS SOUPS 66954 WITH SCORE 67716.997
AT ITER 6565 NEW BEST:: SOT 1138572 SOS 764098 HAS SOPS 762465 HAS SOUS 68488 HAS SOUPS 66951 WITH SCORE 67715.098
AT ITER 6568 NEW BEST:: SOT 1138572 SOS 763736 HAS SOPS 762097 HAS SOUS 68493 HAS SOUPS 66950 WITH SCORE 67713.736
AT ITER 6578 NEW BEST:: SOT 1138572 SOS 763736 HAS SOPS 762097 HAS SOUS 68476 HAS SOUPS 66933 WITH SCORE 67696.736
AT ITER 6609 NEW BEST:: SOT 1138439 SOS 763603 HAS SOPS 761964 HAS SOUS 68368 HAS SOUPS 66825 WITH SCORE 67588.603
AT ITER 6630 NEW BEST:: SOT 1138312 SOS 763308 HAS SOPS 761669 HAS SOUS 68234 HAS SOUPS 66691 WITH SCORE 67454.308
AT ITER 6660 NEW BEST:: SOT 1138312 SOS 763308 HAS SOPS 761669 HAS SOUS 68225 HAS SOUPS 66682 WITH SCORE 67445.308
AT ITER 6664 NEW BEST:: SOT 1138312 SOS 763342 HAS SOPS 761720 HAS SOUS 68200 HAS SOUPS 66674 WITH SCORE 67437.342
AT ITER 6686 NEW BEST:: SOT 1138127 SOS 763157 HAS SOPS 761535 HAS SOUS 68068 HAS SOUPS 66542 WITH SCORE 67305.157
AT ITER 6698 NEW BEST:: SOT 1137527 SOS 762101 HAS SOPS 760479 HAS SOUS 68062 HAS SOUPS 66536 WITH SCORE 67298.101
AT ITER 6786 NEW BEST:: SOT 1137427 SOS 762001 HAS SOPS 760379 HAS SOUS 67962 HAS SOUPS 66436 WITH SCORE 67198.001
AT ITER 6793 NEW BEST:: SOT 1137427 SOS 762385 HAS SOPS 760763 HAS SOUS 67952 HAS SOUPS 66426 WITH SCORE 67188.385
AT ITER 6804 NEW BEST:: SOT 1137427 SOS 762345 HAS SOPS 760723 HAS SOUS 67942 HAS SOUPS 66416 WITH SCORE 67178.345
AT ITER 6838 NEW BEST:: SOT 1137427 SOS 762283 HAS SOPS 760661 HAS SOUS 67942 HAS SOUPS 66416 WITH SCORE 67178.283
AT ITER 6890 NEW BEST:: SOT 1137427 SOS 761659 HAS SOPS 760037 HAS SOUS 67942 HAS SOUPS 66416 WITH SCORE 67177.659
AT ITER 6981 NEW BEST:: SOT 1137410 SOS 761642 HAS SOPS 760020 HAS SOUS 67929 HAS SOUPS 66403 WITH SCORE 67164.642
AT ITER 7045 NEW BEST:: SOT 1137399 SOS 767956 HAS SOPS 766334 HAS SOUS 67907 HAS SOUPS 66381 WITH SCORE 67148.956
AT ITER 7079 NEW BEST:: SOT 1137429 SOS 767986 HAS SOPS 766364 HAS SOUS 67811 HAS SOUPS 66285 WITH SCORE 67052.986
AT ITER 7108 NEW BEST:: SOT 1137439 SOS 767996 HAS SOPS 766374 HAS SOUS 67785 HAS SOUPS 66259 WITH SCORE 67026.996
AT ITER 7163 NEW BEST:: SOT 1137439 SOS 768576 HAS SOPS 766954 HAS SOUS 67781 HAS SOUPS 66255 WITH SCORE 67023.576
AT ITER 7172 NEW BEST:: SOT 1137317 SOS 768959 HAS SOPS 767337 HAS SOUS 67669 HAS SOUPS 66143 WITH SCORE 66911.959
AT ITER 7194 NEW BEST:: SOT 1138447 SOS 771337 HAS SOPS 769715 HAS SOUS 67471 HAS SOUPS 65945 WITH SCORE 66716.337
AT ITER 7249 NEW BEST:: SOT 1138447 SOS 770977 HAS SOPS 769355 HAS SOUS 67456 HAS SOUPS 65930 WITH SCORE 66700.977
AT ITER 7277 NEW BEST:: SOT 1138447 SOS 770785 HAS SOPS 769163 HAS SOUS 67456 HAS SOUPS 65930 WITH SCORE 66700.785
AT ITER 7321 NEW BEST:: SOT 1138447 SOS 770785 HAS SOPS 769163 HAS SOUS 67420 HAS SOUPS 65894 WITH SCORE 66664.785
AT ITER 7336 NEW BEST:: SOT 1138398 SOS 770736 HAS SOPS 769114 HAS SOUS 67416 HAS SOUPS 65890 WITH SCORE 66660.736
AT ITER 7343 NEW BEST:: SOT 1138398 SOS 770706 HAS SOPS 769074 HAS SOUS 67416 HAS SOUPS 65880 WITH SCORE 66650.706
AT ITER 7361 NEW BEST:: SOT 1138259 SOS 770567 HAS SOPS 768935 HAS SOUS 67341 HAS SOUPS 65805 WITH SCORE 66575.567
AT ITER 7394 NEW BEST:: SOT 1138259 SOS 770567 HAS SOPS 768935 HAS SOUS 67334 HAS SOUPS 65798 WITH SCORE 66568.567
AT ITER 7403 NEW BEST:: SOT 1138126 SOS 770578 HAS SOPS 768946 HAS SOUS 67165 HAS SOUPS 65629 WITH SCORE 66399.578
AT ITER 7407 NEW BEST:: SOT 1136804 SOS 769280 HAS SOPS 767624 HAS SOUS 66920 HAS SOUPS 65360 WITH SCORE 66129.28
AT ITER 7422 NEW BEST:: SOT 1136944 SOS 772204 HAS SOPS 770548 HAS SOUS 66733 HAS SOUPS 65173 WITH SCORE 65945.204
AT ITER 7446 NEW BEST:: SOT 1136302 SOS 771562 HAS SOPS 769906 HAS SOUS 66210 HAS SOUPS 64650 WITH SCORE 65421.562
AT ITER 7482 NEW BEST:: SOT 1136302 SOS 771562 HAS SOPS 769906 HAS SOUS 66209 HAS SOUPS 64649 WITH SCORE 65420.562
AT ITER 7503 NEW BEST:: SOT 1136302 SOS 770986 HAS SOPS 769330 HAS SOUS 66209 HAS SOUPS 64649 WITH SCORE 65419.986
AT ITER 7519 NEW BEST:: SOT 1136676 SOS 771366 HAS SOPS 769710 HAS SOUS 66193 HAS SOUPS 64633 WITH SCORE 65404.366
AT ITER 7567 NEW BEST:: SOT 1136676 SOS 771102 HAS SOPS 769446 HAS SOUS 66193 HAS SOUPS 64633 WITH SCORE 65404.102
AT ITER 7579 NEW BEST:: SOT 1136704 SOS 770934 HAS SOPS 769278 HAS SOUS 66193 HAS SOUPS 64633 WITH SCORE 65403.934
AT ITER 7588 NEW BEST:: SOT 1136707 SOS 770937 HAS SOPS 769281 HAS SOUS 66124 HAS SOUPS 64564 WITH SCORE 65334.937
AT ITER 7620 NEW BEST:: SOT 1136688 SOS 770519 HAS SOPS 768863 HAS SOUS 66105 HAS SOUPS 64545 WITH SCORE 65315.519
AT ITER 7683 NEW BEST:: SOT 1136688 SOS 769991 HAS SOPS 768335 HAS SOUS 66105 HAS SOUPS 64545 WITH SCORE 65314.991
AT ITER 7687 NEW BEST:: SOT 1136688 SOS 769991 HAS SOPS 768335 HAS SOUS 66104 HAS SOUPS 64544 WITH SCORE 65313.991
AT ITER 7694 NEW BEST:: SOT 1136383 SOS 769686 HAS SOPS 768030 HAS SOUS 66025 HAS SOUPS 64465 WITH SCORE 65234.686
AT ITER 7720 NEW BEST:: SOT 1136383 SOS 769658 HAS SOPS 768002 HAS SOUS 66025 HAS SOUPS 64465 WITH SCORE 65234.658
AT ITER 7733 NEW BEST:: SOT 1136366 SOS 769641 HAS SOPS 767985 HAS SOUS 65991 HAS SOUPS 64431 WITH SCORE 65200.641
AT ITER 7746 NEW BEST:: SOT 1136366 SOS 769756 HAS SOPS 768105 HAS SOUS 65965 HAS SOUPS 64410 WITH SCORE 65179.756
AT ITER 7817 NEW BEST:: SOT 1136380 SOS 770106 HAS SOPS 768455 HAS SOUS 65859 HAS SOUPS 64304 WITH SCORE 65074.106
AT ITER 7913 NEW BEST:: SOT 1136380 SOS 770056 HAS SOPS 768405 HAS SOUS 65857 HAS SOUPS 64302 WITH SCORE 65072.056
AT ITER 8030 NEW BEST:: SOT 1136360 SOS 770036 HAS SOPS 768385 HAS SOUS 65857 HAS SOUPS 64302 WITH SCORE 65072.036
AT ITER 8040 NEW BEST:: SOT 1136093 SOS 769769 HAS SOPS 768118 HAS SOUS 65841 HAS SOUPS 64286 WITH SCORE 65055.769
AT ITER 8055 NEW BEST:: SOT 1136093 SOS 769769 HAS SOPS 768118 HAS SOUS 65840 HAS SOUPS 64285 WITH SCORE 65054.769
AT ITER 8075 NEW BEST:: SOT 1136147 SOS 769823 HAS SOPS 768172 HAS SOUS 65567 HAS SOUPS 64012 WITH SCORE 64781.823
AT ITER 8102 NEW BEST:: SOT 1135176 SOS 768852 HAS SOPS 767201 HAS SOUS 65493 HAS SOUPS 63938 WITH SCORE 64706.852
AT ITER 8106 NEW BEST:: SOT 1135176 SOS 769092 HAS SOPS 767441 HAS SOUS 65349 HAS SOUPS 63794 WITH SCORE 64563.092
AT ITER 8134 NEW BEST:: SOT 1135268 SOS 769184 HAS SOPS 767533 HAS SOUS 65344 HAS SOUPS 63789 WITH SCORE 64558.184
AT ITER 8138 NEW BEST:: SOT 1135277 SOS 769193 HAS SOPS 767542 HAS SOUS 65137 HAS SOUPS 63582 WITH SCORE 64351.193
AT ITER 8168 NEW BEST:: SOT 1135252 SOS 769168 HAS SOPS 767517 HAS SOUS 65118 HAS SOUPS 63563 WITH SCORE 64332.168
AT ITER 8259 NEW BEST:: SOT 1135252 SOS 769908 HAS SOPS 768257 HAS SOUS 65104 HAS SOUPS 63549 WITH SCORE 64318.908
AT ITER 8272 NEW BEST:: SOT 1135252 SOS 768898 HAS SOPS 767247 HAS SOUS 65084 HAS SOUPS 63529 WITH SCORE 64297.898
AT ITER 8280 NEW BEST:: SOT 1135252 SOS 768678 HAS SOPS 767027 HAS SOUS 65073 HAS SOUPS 63518 WITH SCORE 64286.678
AT ITER 8289 NEW BEST:: SOT 1135340 SOS 768766 HAS SOPS 767115 HAS SOUS 65029 HAS SOUPS 63474 WITH SCORE 64242.766
AT ITER 8294 NEW BEST:: SOT 1135340 SOS 768967 HAS SOPS 767307 HAS SOUS 65035 HAS SOUPS 63471 WITH SCORE 64239.967
AT ITER 8297 NEW BEST:: SOT 1135436 SOS 769063 HAS SOPS 767403 HAS SOUS 65031 HAS SOUPS 63467 WITH SCORE 64236.063
AT ITER 8388 NEW BEST:: SOT 1135436 SOS 769063 HAS SOPS 767403 HAS SOUS 65028 HAS SOUPS 63464 WITH SCORE 64233.063
AT ITER 8439 NEW BEST:: SOT 1135346 SOS 768781 HAS SOPS 767121 HAS SOUS 64930 HAS SOUPS 63366 WITH SCORE 64134.781
AT ITER 8471 NEW BEST:: SOT 1135346 SOS 767990 HAS SOPS 766365 HAS SOUS 64916 HAS SOUPS 63359 WITH SCORE 64126.99
AT ITER 8538 NEW BEST:: SOT 1135370 SOS 768040 HAS SOPS 766415 HAS SOUS 64819 HAS SOUPS 63262 WITH SCORE 64030.04
AT ITER 8613 NEW BEST:: SOT 1135370 SOS 768040 HAS SOPS 766415 HAS SOUS 64813 HAS SOUPS 63256 WITH SCORE 64024.04
AT ITER 8638 NEW BEST:: SOT 1135370 SOS 767920 HAS SOPS 766295 HAS SOUS 64813 HAS SOUPS 63256 WITH SCORE 64023.92
AT ITER 8700 NEW BEST:: SOT 1134853 SOS 767403 HAS SOPS 765778 HAS SOUS 64441 HAS SOUPS 62884 WITH SCORE 63651.403
AT ITER 8723 NEW BEST:: SOT 1134733 SOS 767283 HAS SOPS 765658 HAS SOUS 64393 HAS SOUPS 62836 WITH SCORE 63603.283
AT ITER 8726 NEW BEST:: SOT 1134733 SOS 766707 HAS SOPS 765082 HAS SOUS 64393 HAS SOUPS 62836 WITH SCORE 63602.707
AT ITER 8771 NEW BEST:: SOT 1134790 SOS 766836 HAS SOPS 765211 HAS SOUS 64381 HAS SOUPS 62824 WITH SCORE 63590.836
AT ITER 8772 NEW BEST:: SOT 1134779 SOS 772897 HAS SOPS 771272 HAS SOUS 64370 HAS SOUPS 62813 WITH SCORE 63585.897
AT ITER 8797 NEW BEST:: SOT 1134779 SOS 772897 HAS SOPS 771272 HAS SOUS 64365 HAS SOUPS 62808 WITH SCORE 63580.897
AT ITER 8883 NEW BEST:: SOT 1134779 SOS 773243 HAS SOPS 771618 HAS SOUS 64364 HAS SOUPS 62807 WITH SCORE 63580.243
AT ITER 8904 NEW BEST:: SOT 1134704 SOS 773168 HAS SOPS 771543 HAS SOUS 64361 HAS SOUPS 62804 WITH SCORE 63577.168
AT ITER 9062 NEW BEST:: SOT 1134704 SOS 773168 HAS SOPS 771543 HAS SOUS 64352 HAS SOUPS 62795 WITH SCORE 63568.168
AT ITER 9097 NEW BEST:: SOT 1134224 SOS 772208 HAS SOPS 770583 HAS SOUS 64345 HAS SOUPS 62788 WITH SCORE 63560.208
AT ITER 9102 NEW BEST:: SOT 1134224 SOS 771224 HAS SOPS 769599 HAS SOUS 64330 HAS SOUPS 62773 WITH SCORE 63544.224
AT ITER 9104 NEW BEST:: SOT 1134224 SOS 771440 HAS SOPS 769815 HAS SOUS 64321 HAS SOUPS 62764 WITH SCORE 63535.44
AT ITER 9147 NEW BEST:: SOT 1134109 SOS 771325 HAS SOPS 769700 HAS SOUS 64206 HAS SOUPS 62649 WITH SCORE 63420.325
AT ITER 9150 NEW BEST:: SOT 1134109 SOS 771301 HAS SOPS 769676 HAS SOUS 64205 HAS SOUPS 62648 WITH SCORE 63419.301
AT ITER 9152 NEW BEST:: SOT 1134109 SOS 771241 HAS SOPS 769616 HAS SOUS 64205 HAS SOUPS 62648 WITH SCORE 63419.241
AT ITER 9157 NEW BEST:: SOT 1133749 SOS 770713 HAS SOPS 769088 HAS SOUS 64205 HAS SOUPS 62648 WITH SCORE 63418.713
AT ITER 9188 NEW BEST:: SOT 1133749 SOS 770736 HAS SOPS 769102 HAS SOUS 64209 HAS SOUPS 62643 WITH SCORE 63413.736
AT ITER 9252 NEW BEST:: SOT 1133973 SOS 770960 HAS SOPS 769326 HAS SOUS 64194 HAS SOUPS 62628 WITH SCORE 63398.96
AT ITER 9380 NEW BEST:: SOT 1134038 SOS 771121 HAS SOPS 769497 HAS SOUS 64152 HAS SOUPS 62596 WITH SCORE 63367.121
AT ITER 9454 NEW BEST:: SOT 1134038 SOS 771113 HAS SOPS 769489 HAS SOUS 64152 HAS SOUPS 62596 WITH SCORE 63367.113
AT ITER 9536 NEW BEST:: SOT 1134038 SOS 771113 HAS SOPS 769489 HAS SOUS 64024 HAS SOUPS 62468 WITH SCORE 63239.113
AT ITER 9579 NEW BEST:: SOT 1134038 SOS 772079 HAS SOPS 770455 HAS SOUS 64003 HAS SOUPS 62447 WITH SCORE 63219.079
AT ITER 9581 NEW BEST:: SOT 1134038 SOS 771911 HAS SOPS 770287 HAS SOUS 64003 HAS SOUPS 62447 WITH SCORE 63218.911
AT ITER 9644 NEW BEST:: SOT 1134038 SOS 770313 HAS SOPS 768689 HAS SOUS 63979 HAS SOUPS 62423 WITH SCORE 63193.313
AT ITER 9645 NEW BEST:: SOT 1134038 SOS 770293 HAS SOPS 768669 HAS SOUS 63971 HAS SOUPS 62415 WITH SCORE 63185.293
AT ITER 9652 NEW BEST:: SOT 1134038 SOS 769909 HAS SOPS 768285 HAS SOUS 63971 HAS SOUPS 62415 WITH SCORE 63184.909
AT ITER 9656 NEW BEST:: SOT 1134038 SOS 765199 HAS SOPS 763575 HAS SOUS 63856 HAS SOUPS 62300 WITH SCORE 63065.199
AT ITER 9666 NEW BEST:: SOT 1134038 SOS 765103 HAS SOPS 763479 HAS SOUS 63856 HAS SOUPS 62300 WITH SCORE 63065.103
AT ITER 9766 NEW BEST:: SOT 1134038 SOS 764383 HAS SOPS 762759 HAS SOUS 63856 HAS SOUPS 62300 WITH SCORE 63064.383
AT ITER 9823 NEW BEST:: SOT 1134038 SOS 764287 HAS SOPS 762663 HAS SOUS 63856 HAS SOUPS 62300 WITH SCORE 63064.287
AT ITER 9851 NEW BEST:: SOT 1134038 SOS 764447 HAS SOPS 762823 HAS SOUS 63840 HAS SOUPS 62284 WITH SCORE 63048.447
AT ITER 9861 NEW BEST:: SOT 1134038 SOS 764447 HAS SOPS 762823 HAS SOUS 63833 HAS SOUPS 62277 WITH SCORE 63041.447
AT ITER 9885 NEW BEST:: SOT 1134035 SOS 763562 HAS SOPS 761938 HAS SOUS 63827 HAS SOUPS 62271 WITH SCORE 63034.562
AT ITER 9896 NEW BEST:: SOT 1134035 SOS 763226 HAS SOPS 761602 HAS SOUS 63827 HAS SOUPS 62271 WITH SCORE 63034.226
AT ITER 9978 NEW BEST:: SOT 1134035 SOS 763716 HAS SOPS 762092 HAS SOUS 63806 HAS SOUPS 62250 WITH SCORE 63013.716
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8264712 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16146688 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-18"
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-18, 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-167856410800720"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Medical-PT-18.tgz
mv Medical-PT-18 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 '
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 ;