fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r035-tajo-167813688400584
Last Updated
May 14, 2023

About the Execution of Smart for BusinessProcesses-PT-17

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2371.312 3600000.00 3600031.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 '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688400584.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BusinessProcesses-PT-17, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688400584
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 528K
-rw-r--r-- 1 mcc users 7.4K Feb 25 16:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 25 16:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 25 16:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 16:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 25 16:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 16:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 16:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 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 161K 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 1678470935224

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=BusinessProcesses-PT-17
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 17
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: 650 places, 580 transitions, 1709 arcs.
AT ITER 0 NEW BEST:: SOT 238524 SOS 92850 HAS SOPS 92850 HAS SOUS 90208 HAS SOUPS 90208 WITH SCORE 90300.85
AT ITER 12 NEW BEST:: SOT 231974 SOS 87572 HAS SOPS 87572 HAS SOUS 83806 HAS SOUPS 83806 WITH SCORE 83893.572
AT ITER 13 NEW BEST:: SOT 231974 SOS 87688 HAS SOPS 87688 HAS SOUS 83718 HAS SOUPS 83718 WITH SCORE 83805.688
AT ITER 24 NEW BEST:: SOT 231952 SOS 87666 HAS SOPS 87666 HAS SOUS 83696 HAS SOUPS 83696 WITH SCORE 83783.666
AT ITER 25 NEW BEST:: SOT 231759 SOS 87280 HAS SOPS 87280 HAS SOUS 83310 HAS SOUPS 83310 WITH SCORE 83397.28
AT ITER 48 NEW BEST:: SOT 231492 SOS 86943 HAS SOPS 86943 HAS SOUS 82973 HAS SOUPS 82973 WITH SCORE 83059.943
AT ITER 55 NEW BEST:: SOT 231587 SOS 87021 HAS SOPS 87021 HAS SOUS 82865 HAS SOUPS 82865 WITH SCORE 82952.021
AT ITER 58 NEW BEST:: SOT 231586 SOS 86861 HAS SOPS 86861 HAS SOUS 82731 HAS SOUPS 82731 WITH SCORE 82817.861
AT ITER 69 NEW BEST:: SOT 231377 SOS 86665 HAS SOPS 86665 HAS SOUS 82553 HAS SOUPS 82553 WITH SCORE 82639.665
AT ITER 75 NEW BEST:: SOT 228028 SOS 84306 HAS SOPS 84306 HAS SOUS 79252 HAS SOUPS 79252 WITH SCORE 79336.306
AT ITER 78 NEW BEST:: SOT 228028 SOS 84306 HAS SOPS 84306 HAS SOUS 79231 HAS SOUPS 79231 WITH SCORE 79315.306
AT ITER 80 NEW BEST:: SOT 228053 SOS 84275 HAS SOPS 84275 HAS SOUS 79200 HAS SOUPS 79200 WITH SCORE 79284.275
AT ITER 82 NEW BEST:: SOT 228052 SOS 84273 HAS SOPS 84273 HAS SOUS 79198 HAS SOUPS 79198 WITH SCORE 79282.273
AT ITER 86 NEW BEST:: SOT 228051 SOS 84271 HAS SOPS 84271 HAS SOUS 79196 HAS SOUPS 79196 WITH SCORE 79280.271
AT ITER 87 NEW BEST:: SOT 228050 SOS 84269 HAS SOPS 84269 HAS SOUS 79194 HAS SOUPS 79194 WITH SCORE 79278.269
AT ITER 108 NEW BEST:: SOT 227660 SOS 83684 HAS SOPS 83684 HAS SOUS 78804 HAS SOUPS 78804 WITH SCORE 78887.684
AT ITER 120 NEW BEST:: SOT 227419 SOS 83510 HAS SOPS 83510 HAS SOUS 78622 HAS SOUPS 78622 WITH SCORE 78705.51
AT ITER 127 NEW BEST:: SOT 227343 SOS 83428 HAS SOPS 83428 HAS SOUS 78546 HAS SOUPS 78546 WITH SCORE 78629.428
AT ITER 130 NEW BEST:: SOT 227340 SOS 83425 HAS SOPS 83425 HAS SOUS 78543 HAS SOUPS 78543 WITH SCORE 78626.425
AT ITER 132 NEW BEST:: SOT 227340 SOS 83299 HAS SOPS 83299 HAS SOUS 78426 HAS SOUPS 78426 WITH SCORE 78509.299
AT ITER 137 NEW BEST:: SOT 227340 SOS 83148 HAS SOPS 83148 HAS SOUS 78273 HAS SOUPS 78273 WITH SCORE 78356.148
AT ITER 160 NEW BEST:: SOT 227340 SOS 83011 HAS SOPS 83011 HAS SOUS 78247 HAS SOUPS 78247 WITH SCORE 78330.011
AT ITER 171 NEW BEST:: SOT 227247 SOS 82845 HAS SOPS 82845 HAS SOUS 78081 HAS SOUPS 78081 WITH SCORE 78163.845
AT ITER 174 NEW BEST:: SOT 227170 SOS 82767 HAS SOPS 82767 HAS SOUS 78003 HAS SOUPS 78003 WITH SCORE 78085.767
AT ITER 190 NEW BEST:: SOT 227079 SOS 82630 HAS SOPS 82630 HAS SOUS 77866 HAS SOUPS 77866 WITH SCORE 77948.63
AT ITER 199 NEW BEST:: SOT 227079 SOS 82618 HAS SOPS 82618 HAS SOUS 77854 HAS SOUPS 77854 WITH SCORE 77936.618
AT ITER 200 NEW BEST:: SOT 227070 SOS 82600 HAS SOPS 82600 HAS SOUS 77836 HAS SOUPS 77836 WITH SCORE 77918.6
AT ITER 204 NEW BEST:: SOT 227067 SOS 82594 HAS SOPS 82594 HAS SOUS 77830 HAS SOUPS 77830 WITH SCORE 77912.594
AT ITER 209 NEW BEST:: SOT 227067 SOS 82594 HAS SOPS 82594 HAS SOUS 77828 HAS SOUPS 77828 WITH SCORE 77910.594
AT ITER 211 NEW BEST:: SOT 226933 SOS 82421 HAS SOPS 82421 HAS SOUS 77655 HAS SOUPS 77655 WITH SCORE 77737.421
AT ITER 224 NEW BEST:: SOT 227018 SOS 82399 HAS SOPS 82399 HAS SOUS 77633 HAS SOUPS 77633 WITH SCORE 77715.399
AT ITER 230 NEW BEST:: SOT 227064 SOS 82445 HAS SOPS 82445 HAS SOUS 77629 HAS SOUPS 77629 WITH SCORE 77711.445
AT ITER 233 NEW BEST:: SOT 227063 SOS 82379 HAS SOPS 82379 HAS SOUS 77621 HAS SOUPS 77621 WITH SCORE 77703.379
AT ITER 240 NEW BEST:: SOT 227032 SOS 82317 HAS SOPS 82317 HAS SOUS 77559 HAS SOUPS 77559 WITH SCORE 77641.317
AT ITER 241 NEW BEST:: SOT 227050 SOS 82209 HAS SOPS 82209 HAS SOUS 77459 HAS SOUPS 77459 WITH SCORE 77541.209
AT ITER 248 NEW BEST:: SOT 227040 SOS 82194 HAS SOPS 82194 HAS SOUS 77449 HAS SOUPS 77449 WITH SCORE 77531.194
AT ITER 259 NEW BEST:: SOT 227038 SOS 82190 HAS SOPS 82190 HAS SOUS 77445 HAS SOUPS 77445 WITH SCORE 77527.19
AT ITER 276 NEW BEST:: SOT 227012 SOS 82020 HAS SOPS 82020 HAS SOUS 77275 HAS SOUPS 77275 WITH SCORE 77357.02
AT ITER 281 NEW BEST:: SOT 226964 SOS 81972 HAS SOPS 81972 HAS SOUS 77227 HAS SOUPS 77227 WITH SCORE 77308.972
AT ITER 282 NEW BEST:: SOT 227003 SOS 81970 HAS SOPS 81970 HAS SOUS 77225 HAS SOUPS 77225 WITH SCORE 77306.97
AT ITER 287 NEW BEST:: SOT 226960 SOS 81884 HAS SOPS 81884 HAS SOUS 77182 HAS SOUPS 77182 WITH SCORE 77263.884
AT ITER 290 NEW BEST:: SOT 226941 SOS 81865 HAS SOPS 81865 HAS SOUS 77163 HAS SOUPS 77163 WITH SCORE 77244.865
AT ITER 305 NEW BEST:: SOT 226840 SOS 81662 HAS SOPS 81662 HAS SOUS 76957 HAS SOUPS 76957 WITH SCORE 77038.662
AT ITER 331 NEW BEST:: SOT 226985 SOS 81636 HAS SOPS 81636 HAS SOUS 76931 HAS SOUPS 76931 WITH SCORE 77012.636
AT ITER 337 NEW BEST:: SOT 226928 SOS 81589 HAS SOPS 81589 HAS SOUS 76883 HAS SOUPS 76883 WITH SCORE 76964.589
AT ITER 341 NEW BEST:: SOT 226841 SOS 81588 HAS SOPS 81588 HAS SOUS 76882 HAS SOUPS 76882 WITH SCORE 76963.588
AT ITER 346 NEW BEST:: SOT 226787 SOS 81480 HAS SOPS 81480 HAS SOUS 76774 HAS SOUPS 76774 WITH SCORE 76855.48
AT ITER 349 NEW BEST:: SOT 226738 SOS 81431 HAS SOPS 81431 HAS SOUS 76725 HAS SOUPS 76725 WITH SCORE 76806.431
AT ITER 352 NEW BEST:: SOT 226737 SOS 81430 HAS SOPS 81430 HAS SOUS 76724 HAS SOUPS 76724 WITH SCORE 76805.43
AT ITER 355 NEW BEST:: SOT 226645 SOS 81314 HAS SOPS 81314 HAS SOUS 76632 HAS SOUPS 76632 WITH SCORE 76713.314
AT ITER 359 NEW BEST:: SOT 226613 SOS 81250 HAS SOPS 81250 HAS SOUS 76568 HAS SOUPS 76568 WITH SCORE 76649.25
AT ITER 373 NEW BEST:: SOT 226613 SOS 81249 HAS SOPS 81249 HAS SOUS 76567 HAS SOUPS 76567 WITH SCORE 76648.249
AT ITER 378 NEW BEST:: SOT 226586 SOS 81183 HAS SOPS 81183 HAS SOUS 76528 HAS SOUPS 76528 WITH SCORE 76609.183
AT ITER 383 NEW BEST:: SOT 226492 SOS 81067 HAS SOPS 81067 HAS SOUS 76330 HAS SOUPS 76330 WITH SCORE 76411.067
AT ITER 440 NEW BEST:: SOT 226487 SOS 81062 HAS SOPS 81062 HAS SOUS 76325 HAS SOUPS 76325 WITH SCORE 76406.062
AT ITER 449 NEW BEST:: SOT 226486 SOS 81061 HAS SOPS 81061 HAS SOUS 76324 HAS SOUPS 76324 WITH SCORE 76405.061
AT ITER 455 NEW BEST:: SOT 223442 SOS 77792 HAS SOPS 77792 HAS SOUS 73055 HAS SOUPS 73055 WITH SCORE 73132.792
AT ITER 460 NEW BEST:: SOT 223441 SOS 77789 HAS SOPS 77789 HAS SOUS 73052 HAS SOUPS 73052 WITH SCORE 73129.789
AT ITER 461 NEW BEST:: SOT 223464 SOS 77766 HAS SOPS 77766 HAS SOUS 73052 HAS SOUPS 73052 WITH SCORE 73129.766
AT ITER 465 NEW BEST:: SOT 220275 SOS 76169 HAS SOPS 76169 HAS SOUS 70150 HAS SOUPS 70150 WITH SCORE 70226.169
AT ITER 467 NEW BEST:: SOT 220158 SOS 75818 HAS SOPS 75818 HAS SOUS 69916 HAS SOUPS 69916 WITH SCORE 69991.818
AT ITER 478 NEW BEST:: SOT 219983 SOS 75286 HAS SOPS 75286 HAS SOUS 69384 HAS SOUPS 69384 WITH SCORE 69459.286
AT ITER 486 NEW BEST:: SOT 219787 SOS 74992 HAS SOPS 74992 HAS SOUS 69090 HAS SOUPS 69090 WITH SCORE 69164.992
AT ITER 493 NEW BEST:: SOT 219714 SOS 74944 HAS SOPS 74944 HAS SOUS 69060 HAS SOUPS 69060 WITH SCORE 69134.944
AT ITER 497 NEW BEST:: SOT 219543 SOS 74759 HAS SOPS 74759 HAS SOUS 68889 HAS SOUPS 68889 WITH SCORE 68963.759
AT ITER 499 NEW BEST:: SOT 219548 SOS 74710 HAS SOPS 74710 HAS SOUS 68835 HAS SOUPS 68835 WITH SCORE 68909.71
AT ITER 514 NEW BEST:: SOT 219531 SOS 74676 HAS SOPS 74676 HAS SOUS 68801 HAS SOUPS 68801 WITH SCORE 68875.676
AT ITER 519 NEW BEST:: SOT 219522 SOS 74667 HAS SOPS 74667 HAS SOUS 68801 HAS SOUPS 68801 WITH SCORE 68875.667
AT ITER 524 NEW BEST:: SOT 219522 SOS 74631 HAS SOPS 74631 HAS SOUS 68729 HAS SOUPS 68729 WITH SCORE 68803.631
AT ITER 527 NEW BEST:: SOT 219515 SOS 74617 HAS SOPS 74617 HAS SOUS 68720 HAS SOUPS 68720 WITH SCORE 68794.617
AT ITER 541 NEW BEST:: SOT 219482 SOS 74551 HAS SOPS 74551 HAS SOUS 68687 HAS SOUPS 68687 WITH SCORE 68761.551
AT ITER 544 NEW BEST:: SOT 219482 SOS 74480 HAS SOPS 74480 HAS SOUS 68657 HAS SOUPS 68657 WITH SCORE 68731.48
AT ITER 546 NEW BEST:: SOT 219462 SOS 74460 HAS SOPS 74460 HAS SOUS 68637 HAS SOUPS 68637 WITH SCORE 68711.46
AT ITER 550 NEW BEST:: SOT 219354 SOS 73912 HAS SOPS 73912 HAS SOUS 68206 HAS SOUPS 68206 WITH SCORE 68279.912
AT ITER 566 NEW BEST:: SOT 219184 SOS 73764 HAS SOPS 73764 HAS SOUS 68058 HAS SOUPS 68058 WITH SCORE 68131.764
AT ITER 567 NEW BEST:: SOT 219251 SOS 73772 HAS SOPS 73772 HAS SOUS 67999 HAS SOUPS 67999 WITH SCORE 68072.772
AT ITER 568 NEW BEST:: SOT 219111 SOS 73631 HAS SOPS 73631 HAS SOUS 67858 HAS SOUPS 67858 WITH SCORE 67931.631
AT ITER 588 NEW BEST:: SOT 219205 SOS 73705 HAS SOPS 73705 HAS SOUS 67838 HAS SOUPS 67838 WITH SCORE 67911.705
AT ITER 590 NEW BEST:: SOT 219204 SOS 73703 HAS SOPS 73703 HAS SOUS 67836 HAS SOUPS 67836 WITH SCORE 67909.703
AT ITER 604 NEW BEST:: SOT 218762 SOS 73420 HAS SOPS 73420 HAS SOUS 67352 HAS SOUPS 67352 WITH SCORE 67425.42
AT ITER 613 NEW BEST:: SOT 218589 SOS 73247 HAS SOPS 73247 HAS SOUS 67179 HAS SOUPS 67179 WITH SCORE 67252.247
AT ITER 615 NEW BEST:: SOT 218587 SOS 73245 HAS SOPS 73245 HAS SOUS 67177 HAS SOUPS 67177 WITH SCORE 67250.245
AT ITER 616 NEW BEST:: SOT 218594 SOS 73205 HAS SOPS 73205 HAS SOUS 67137 HAS SOUPS 67137 WITH SCORE 67210.205
AT ITER 622 NEW BEST:: SOT 218380 SOS 72919 HAS SOPS 72919 HAS SOUS 66909 HAS SOUPS 66909 WITH SCORE 66981.919
AT ITER 628 NEW BEST:: SOT 217559 SOS 88394 HAS SOPS 88394 HAS SOUS 66347 HAS SOUPS 66347 WITH SCORE 66435.394
AT ITER 630 NEW BEST:: SOT 217443 SOS 88220 HAS SOPS 88220 HAS SOUS 66231 HAS SOUPS 66231 WITH SCORE 66319.22
AT ITER 631 NEW BEST:: SOT 217243 SOS 87928 HAS SOPS 87928 HAS SOUS 66049 HAS SOUPS 66049 WITH SCORE 66136.928
AT ITER 633 NEW BEST:: SOT 217363 SOS 88036 HAS SOPS 88036 HAS SOUS 66025 HAS SOUPS 66025 WITH SCORE 66113.036
AT ITER 651 NEW BEST:: SOT 217316 SOS 87989 HAS SOPS 87989 HAS SOUS 66025 HAS SOUPS 66025 WITH SCORE 66112.989
AT ITER 659 NEW BEST:: SOT 217395 SOS 87876 HAS SOPS 87876 HAS SOUS 65937 HAS SOUPS 65937 WITH SCORE 66024.876
AT ITER 682 NEW BEST:: SOT 217317 SOS 87756 HAS SOPS 87756 HAS SOUS 65817 HAS SOUPS 65817 WITH SCORE 65904.756
AT ITER 686 NEW BEST:: SOT 217317 SOS 87756 HAS SOPS 87756 HAS SOUS 65757 HAS SOUPS 65757 WITH SCORE 65844.756
AT ITER 689 NEW BEST:: SOT 217316 SOS 87562 HAS SOPS 87562 HAS SOUS 65627 HAS SOUPS 65627 WITH SCORE 65714.562
AT ITER 691 NEW BEST:: SOT 217282 SOS 87530 HAS SOPS 87530 HAS SOUS 65627 HAS SOUPS 65627 WITH SCORE 65714.53
AT ITER 698 NEW BEST:: SOT 217277 SOS 87519 HAS SOPS 87519 HAS SOUS 65616 HAS SOUPS 65616 WITH SCORE 65703.519
AT ITER 702 NEW BEST:: SOT 217422 SOS 87333 HAS SOPS 87333 HAS SOUS 65430 HAS SOUPS 65430 WITH SCORE 65517.333
AT ITER 719 NEW BEST:: SOT 217437 SOS 87293 HAS SOPS 87293 HAS SOUS 65320 HAS SOUPS 65320 WITH SCORE 65407.293
AT ITER 720 NEW BEST:: SOT 217394 SOS 87211 HAS SOPS 87211 HAS SOUS 65238 HAS SOUPS 65238 WITH SCORE 65325.211
AT ITER 728 NEW BEST:: SOT 217455 SOS 87101 HAS SOPS 87101 HAS SOUS 65182 HAS SOUPS 65182 WITH SCORE 65269.101
AT ITER 731 NEW BEST:: SOT 217455 SOS 87091 HAS SOPS 87091 HAS SOUS 65172 HAS SOUPS 65172 WITH SCORE 65259.091
AT ITER 746 NEW BEST:: SOT 217443 SOS 87067 HAS SOPS 87067 HAS SOUS 65148 HAS SOUPS 65148 WITH SCORE 65235.067
AT ITER 747 NEW BEST:: SOT 217426 SOS 87048 HAS SOPS 87048 HAS SOUS 65138 HAS SOUPS 65138 WITH SCORE 65225.048
AT ITER 760 NEW BEST:: SOT 217415 SOS 87008 HAS SOPS 87008 HAS SOUS 65098 HAS SOUPS 65098 WITH SCORE 65185.008
AT ITER 768 NEW BEST:: SOT 217339 SOS 86856 HAS SOPS 86856 HAS SOUS 65020 HAS SOUPS 65020 WITH SCORE 65106.856
AT ITER 801 NEW BEST:: SOT 217303 SOS 86765 HAS SOPS 86765 HAS SOUS 64929 HAS SOUPS 64929 WITH SCORE 65015.765
AT ITER 803 NEW BEST:: SOT 217346 SOS 86808 HAS SOPS 86808 HAS SOUS 64864 HAS SOUPS 64864 WITH SCORE 64950.808
AT ITER 805 NEW BEST:: SOT 217334 SOS 86796 HAS SOPS 86796 HAS SOUS 64852 HAS SOUPS 64852 WITH SCORE 64938.796
AT ITER 809 NEW BEST:: SOT 217255 SOS 86663 HAS SOPS 86663 HAS SOUS 64773 HAS SOUPS 64773 WITH SCORE 64859.663
AT ITER 830 NEW BEST:: SOT 217241 SOS 86649 HAS SOPS 86649 HAS SOUS 64759 HAS SOUPS 64759 WITH SCORE 64845.649
AT ITER 835 NEW BEST:: SOT 217145 SOS 86628 HAS SOPS 86628 HAS SOUS 64688 HAS SOUPS 64688 WITH SCORE 64774.628
AT ITER 838 NEW BEST:: SOT 217139 SOS 86622 HAS SOPS 86622 HAS SOUS 64682 HAS SOUPS 64682 WITH SCORE 64768.622
AT ITER 847 NEW BEST:: SOT 217057 SOS 86458 HAS SOPS 86458 HAS SOUS 64599 HAS SOUPS 64599 WITH SCORE 64685.458
AT ITER 853 NEW BEST:: SOT 216963 SOS 86201 HAS SOPS 86201 HAS SOUS 64526 HAS SOUPS 64526 WITH SCORE 64612.201
AT ITER 877 NEW BEST:: SOT 216972 SOS 86176 HAS SOPS 86176 HAS SOUS 64502 HAS SOUPS 64502 WITH SCORE 64588.176
AT ITER 882 NEW BEST:: SOT 216841 SOS 86044 HAS SOPS 86044 HAS SOUS 64500 HAS SOUPS 64500 WITH SCORE 64586.044
AT ITER 890 NEW BEST:: SOT 216814 SOS 86017 HAS SOPS 86017 HAS SOUS 64500 HAS SOUPS 64500 WITH SCORE 64586.017
AT ITER 897 NEW BEST:: SOT 216814 SOS 86008 HAS SOPS 86008 HAS SOUS 64500 HAS SOUPS 64500 WITH SCORE 64586.008
AT ITER 899 NEW BEST:: SOT 216873 SOS 85965 HAS SOPS 85965 HAS SOUS 64457 HAS SOUPS 64457 WITH SCORE 64542.965
AT ITER 904 NEW BEST:: SOT 216699 SOS 85542 HAS SOPS 85542 HAS SOUS 64302 HAS SOUPS 64302 WITH SCORE 64387.542
AT ITER 913 NEW BEST:: SOT 216662 SOS 85505 HAS SOPS 85505 HAS SOUS 64265 HAS SOUPS 64265 WITH SCORE 64350.505
AT ITER 917 NEW BEST:: SOT 216524 SOS 85229 HAS SOPS 85229 HAS SOUS 64065 HAS SOUPS 64065 WITH SCORE 64150.229
AT ITER 923 NEW BEST:: SOT 216474 SOS 85179 HAS SOPS 85179 HAS SOUS 64015 HAS SOUPS 64015 WITH SCORE 64100.179
AT ITER 925 NEW BEST:: SOT 216548 SOS 85037 HAS SOPS 85037 HAS SOUS 63889 HAS SOUPS 63889 WITH SCORE 63974.037
AT ITER 929 NEW BEST:: SOT 216528 SOS 85017 HAS SOPS 85017 HAS SOUS 63869 HAS SOUPS 63869 WITH SCORE 63954.017
AT ITER 951 NEW BEST:: SOT 216664 SOS 84936 HAS SOPS 84936 HAS SOUS 63788 HAS SOUPS 63788 WITH SCORE 63872.936
AT ITER 953 NEW BEST:: SOT 216678 SOS 84887 HAS SOPS 84887 HAS SOUS 63739 HAS SOUPS 63739 WITH SCORE 63823.887
AT ITER 957 NEW BEST:: SOT 216605 SOS 84799 HAS SOPS 84799 HAS SOUS 63709 HAS SOUPS 63709 WITH SCORE 63793.799
AT ITER 971 NEW BEST:: SOT 216561 SOS 84755 HAS SOPS 84755 HAS SOUS 63665 HAS SOUPS 63665 WITH SCORE 63749.755
AT ITER 975 NEW BEST:: SOT 216657 SOS 84817 HAS SOPS 84817 HAS SOUS 63649 HAS SOUPS 63649 WITH SCORE 63733.817
AT ITER 976 NEW BEST:: SOT 216644 SOS 84804 HAS SOPS 84804 HAS SOUS 63636 HAS SOUPS 63636 WITH SCORE 63720.804
AT ITER 997 NEW BEST:: SOT 216644 SOS 84800 HAS SOPS 84800 HAS SOUS 63632 HAS SOUPS 63632 WITH SCORE 63716.8
AT ITER 1020 NEW BEST:: SOT 216522 SOS 84656 HAS SOPS 84656 HAS SOUS 63488 HAS SOUPS 63488 WITH SCORE 63572.656
AT ITER 1049 NEW BEST:: SOT 216518 SOS 84648 HAS SOPS 84648 HAS SOUS 63484 HAS SOUPS 63484 WITH SCORE 63568.648
AT ITER 1054 NEW BEST:: SOT 216373 SOS 84407 HAS SOPS 84407 HAS SOUS 63243 HAS SOUPS 63243 WITH SCORE 63327.407
AT ITER 1055 NEW BEST:: SOT 216345 SOS 84351 HAS SOPS 84351 HAS SOUS 63167 HAS SOUPS 63167 WITH SCORE 63251.351
AT ITER 1077 NEW BEST:: SOT 216344 SOS 84349 HAS SOPS 84349 HAS SOUS 63165 HAS SOUPS 63165 WITH SCORE 63249.349
AT ITER 1080 NEW BEST:: SOT 216319 SOS 84313 HAS SOPS 84313 HAS SOUS 63143 HAS SOUPS 63143 WITH SCORE 63227.313
AT ITER 1082 NEW BEST:: SOT 216102 SOS 83855 HAS SOPS 83855 HAS SOUS 63003 HAS SOUPS 63003 WITH SCORE 63086.855
AT ITER 1099 NEW BEST:: SOT 216067 SOS 83834 HAS SOPS 83834 HAS SOUS 62982 HAS SOUPS 62982 WITH SCORE 63065.834
AT ITER 1101 NEW BEST:: SOT 216066 SOS 83832 HAS SOPS 83832 HAS SOUS 62980 HAS SOUPS 62980 WITH SCORE 63063.832
AT ITER 1119 NEW BEST:: SOT 216043 SOS 83777 HAS SOPS 83777 HAS SOUS 62925 HAS SOUPS 62925 WITH SCORE 63008.777
AT ITER 1153 NEW BEST:: SOT 215987 SOS 83720 HAS SOPS 83720 HAS SOUS 62868 HAS SOUPS 62868 WITH SCORE 62951.72
AT ITER 1166 NEW BEST:: SOT 215931 SOS 83471 HAS SOPS 83471 HAS SOUS 62619 HAS SOUPS 62619 WITH SCORE 62702.471
AT ITER 1169 NEW BEST:: SOT 215930 SOS 83400 HAS SOPS 83400 HAS SOUS 62548 HAS SOUPS 62548 WITH SCORE 62631.4
AT ITER 1170 NEW BEST:: SOT 215934 SOS 83404 HAS SOPS 83404 HAS SOUS 62529 HAS SOUPS 62529 WITH SCORE 62612.404
AT ITER 1179 NEW BEST:: SOT 215440 SOS 83450 HAS SOPS 83450 HAS SOUS 62218 HAS SOUPS 62218 WITH SCORE 62301.45
AT ITER 1184 NEW BEST:: SOT 215418 SOS 83417 HAS SOPS 83417 HAS SOUS 62185 HAS SOUPS 62185 WITH SCORE 62268.417
AT ITER 1189 NEW BEST:: SOT 215205 SOS 83122 HAS SOPS 83122 HAS SOUS 62021 HAS SOUPS 62021 WITH SCORE 62104.122
AT ITER 1191 NEW BEST:: SOT 215193 SOS 83099 HAS SOPS 83099 HAS SOUS 61998 HAS SOUPS 61998 WITH SCORE 62081.099
AT ITER 1198 NEW BEST:: SOT 215182 SOS 83111 HAS SOPS 83111 HAS SOUS 61976 HAS SOUPS 61976 WITH SCORE 62059.111
AT ITER 1199 NEW BEST:: SOT 215189 SOS 83105 HAS SOPS 83105 HAS SOUS 61970 HAS SOUPS 61970 WITH SCORE 62053.105
AT ITER 1219 NEW BEST:: SOT 215167 SOS 83083 HAS SOPS 83083 HAS SOUS 61948 HAS SOUPS 61948 WITH SCORE 62031.083
AT ITER 1226 NEW BEST:: SOT 215281 SOS 83176 HAS SOPS 83176 HAS SOUS 61927 HAS SOUPS 61927 WITH SCORE 62010.176
AT ITER 1228 NEW BEST:: SOT 215080 SOS 82774 HAS SOPS 82774 HAS SOUS 61778 HAS SOUPS 61778 WITH SCORE 61860.774
AT ITER 1244 NEW BEST:: SOT 214712 SOS 82222 HAS SOPS 82222 HAS SOUS 61410 HAS SOUPS 61410 WITH SCORE 61492.222
AT ITER 1249 NEW BEST:: SOT 214650 SOS 82098 HAS SOPS 82098 HAS SOUS 61348 HAS SOUPS 61348 WITH SCORE 61430.098
AT ITER 1258 NEW BEST:: SOT 214621 SOS 82040 HAS SOPS 82040 HAS SOUS 61343 HAS SOUPS 61343 WITH SCORE 61425.04
AT ITER 1271 NEW BEST:: SOT 214488 SOS 81907 HAS SOPS 81907 HAS SOUS 61199 HAS SOUPS 61199 WITH SCORE 61280.907
AT ITER 1321 NEW BEST:: SOT 214478 SOS 81902 HAS SOPS 81902 HAS SOUS 61194 HAS SOUPS 61194 WITH SCORE 61275.902
AT ITER 1323 NEW BEST:: SOT 214206 SOS 81468 HAS SOPS 81468 HAS SOUS 61026 HAS SOUPS 61026 WITH SCORE 61107.468
AT ITER 1343 NEW BEST:: SOT 214153 SOS 81362 HAS SOPS 81362 HAS SOUS 60920 HAS SOUPS 60920 WITH SCORE 61001.362
AT ITER 1358 NEW BEST:: SOT 214137 SOS 81345 HAS SOPS 81345 HAS SOUS 60918 HAS SOUPS 60918 WITH SCORE 60999.345
AT ITER 1363 NEW BEST:: SOT 214130 SOS 81324 HAS SOPS 81324 HAS SOUS 60904 HAS SOUPS 60904 WITH SCORE 60985.324
AT ITER 1379 NEW BEST:: SOT 214070 SOS 81364 HAS SOPS 81364 HAS SOUS 60876 HAS SOUPS 60876 WITH SCORE 60957.364
AT ITER 1386 NEW BEST:: SOT 214046 SOS 81340 HAS SOPS 81340 HAS SOUS 60852 HAS SOUPS 60852 WITH SCORE 60933.34
AT ITER 1399 NEW BEST:: SOT 214110 SOS 81398 HAS SOPS 81398 HAS SOUS 60840 HAS SOUPS 60840 WITH SCORE 60921.398
AT ITER 1428 NEW BEST:: SOT 214110 SOS 81244 HAS SOPS 81244 HAS SOUS 60685 HAS SOUPS 60685 WITH SCORE 60766.244
AT ITER 1434 NEW BEST:: SOT 214108 SOS 81214 HAS SOPS 81214 HAS SOUS 60683 HAS SOUPS 60683 WITH SCORE 60764.214
AT ITER 1437 NEW BEST:: SOT 214054 SOS 80999 HAS SOPS 80999 HAS SOUS 60468 HAS SOUPS 60468 WITH SCORE 60548.999
AT ITER 1453 NEW BEST:: SOT 213934 SOS 80955 HAS SOPS 80955 HAS SOUS 60424 HAS SOUPS 60424 WITH SCORE 60504.955
AT ITER 1458 NEW BEST:: SOT 213916 SOS 80915 HAS SOPS 80915 HAS SOUS 60406 HAS SOUPS 60406 WITH SCORE 60486.915
AT ITER 1464 NEW BEST:: SOT 213863 SOS 80817 HAS SOPS 80817 HAS SOUS 60308 HAS SOUPS 60308 WITH SCORE 60388.817
AT ITER 1470 NEW BEST:: SOT 213849 SOS 80803 HAS SOPS 80803 HAS SOUS 60294 HAS SOUPS 60294 WITH SCORE 60374.803
AT ITER 1482 NEW BEST:: SOT 213802 SOS 80663 HAS SOPS 80663 HAS SOUS 60067 HAS SOUPS 60067 WITH SCORE 60147.663
AT ITER 1485 NEW BEST:: SOT 213730 SOS 80591 HAS SOPS 80591 HAS SOUS 59995 HAS SOUPS 59995 WITH SCORE 60075.591
AT ITER 1487 NEW BEST:: SOT 213721 SOS 80573 HAS SOPS 80573 HAS SOUS 59977 HAS SOUPS 59977 WITH SCORE 60057.573
AT ITER 1488 NEW BEST:: SOT 213715 SOS 80563 HAS SOPS 80563 HAS SOUS 59967 HAS SOUPS 59967 WITH SCORE 60047.563
AT ITER 1510 NEW BEST:: SOT 213699 SOS 80547 HAS SOPS 80547 HAS SOUS 59951 HAS SOUPS 59951 WITH SCORE 60031.547
AT ITER 1513 NEW BEST:: SOT 213741 SOS 80543 HAS SOPS 80543 HAS SOUS 59947 HAS SOUPS 59947 WITH SCORE 60027.543
AT ITER 1523 NEW BEST:: SOT 213751 SOS 80536 HAS SOPS 80536 HAS SOUS 59940 HAS SOUPS 59940 WITH SCORE 60020.536
AT ITER 1534 NEW BEST:: SOT 213635 SOS 80261 HAS SOPS 80261 HAS SOUS 59665 HAS SOUPS 59665 WITH SCORE 59745.261
AT ITER 1541 NEW BEST:: SOT 213652 SOS 80171 HAS SOPS 80171 HAS SOUS 59575 HAS SOUPS 59575 WITH SCORE 59655.171
AT ITER 1543 NEW BEST:: SOT 213540 SOS 80090 HAS SOPS 80090 HAS SOUS 59494 HAS SOUPS 59494 WITH SCORE 59574.09
AT ITER 1556 NEW BEST:: SOT 213249 SOS 79540 HAS SOPS 79540 HAS SOUS 58970 HAS SOUPS 58970 WITH SCORE 59049.54
AT ITER 1557 NEW BEST:: SOT 213236 SOS 79453 HAS SOPS 79453 HAS SOUS 58919 HAS SOUPS 58919 WITH SCORE 58998.453
AT ITER 1576 NEW BEST:: SOT 213162 SOS 79305 HAS SOPS 79305 HAS SOUS 58851 HAS SOUPS 58851 WITH SCORE 58930.305
AT ITER 1580 NEW BEST:: SOT 213134 SOS 78697 HAS SOPS 78697 HAS SOUS 58819 HAS SOUPS 58819 WITH SCORE 58897.697
AT ITER 1599 NEW BEST:: SOT 213169 SOS 78673 HAS SOPS 78673 HAS SOUS 58795 HAS SOUPS 58795 WITH SCORE 58873.673
AT ITER 1613 NEW BEST:: SOT 212880 SOS 78384 HAS SOPS 78384 HAS SOUS 58506 HAS SOUPS 58506 WITH SCORE 58584.384
AT ITER 1629 NEW BEST:: SOT 212839 SOS 78343 HAS SOPS 78343 HAS SOUS 58465 HAS SOUPS 58465 WITH SCORE 58543.343
AT ITER 1633 NEW BEST:: SOT 212401 SOS 77606 HAS SOPS 77606 HAS SOUS 57728 HAS SOUPS 57728 WITH SCORE 57805.606
AT ITER 1635 NEW BEST:: SOT 212401 SOS 77604 HAS SOPS 77604 HAS SOUS 57726 HAS SOUPS 57726 WITH SCORE 57803.604
AT ITER 1639 NEW BEST:: SOT 212401 SOS 77583 HAS SOPS 77583 HAS SOUS 57726 HAS SOUPS 57726 WITH SCORE 57803.583
AT ITER 1643 NEW BEST:: SOT 212401 SOS 77577 HAS SOPS 77577 HAS SOUS 57720 HAS SOUPS 57720 WITH SCORE 57797.577
AT ITER 1670 NEW BEST:: SOT 212239 SOS 77203 HAS SOPS 77203 HAS SOUS 57522 HAS SOUPS 57522 WITH SCORE 57599.203
AT ITER 1673 NEW BEST:: SOT 212239 SOS 77202 HAS SOPS 77202 HAS SOUS 57521 HAS SOUPS 57521 WITH SCORE 57598.202
AT ITER 1684 NEW BEST:: SOT 212176 SOS 77085 HAS SOPS 77085 HAS SOUS 57467 HAS SOUPS 57467 WITH SCORE 57544.085
AT ITER 1700 NEW BEST:: SOT 212170 SOS 77073 HAS SOPS 77073 HAS SOUS 57455 HAS SOUPS 57455 WITH SCORE 57532.073
AT ITER 1715 NEW BEST:: SOT 212156 SOS 77045 HAS SOPS 77045 HAS SOUS 57413 HAS SOUPS 57413 WITH SCORE 57490.045
AT ITER 1728 NEW BEST:: SOT 212131 SOS 77017 HAS SOPS 77017 HAS SOUS 57409 HAS SOUPS 57409 WITH SCORE 57486.017
AT ITER 1734 NEW BEST:: SOT 212077 SOS 76899 HAS SOPS 76899 HAS SOUS 57366 HAS SOUPS 57366 WITH SCORE 57442.899
AT ITER 1751 NEW BEST:: SOT 211892 SOS 76707 HAS SOPS 76707 HAS SOUS 57352 HAS SOUPS 57352 WITH SCORE 57428.707
AT ITER 1757 NEW BEST:: SOT 211902 SOS 76677 HAS SOPS 76677 HAS SOUS 57343 HAS SOUPS 57343 WITH SCORE 57419.677
AT ITER 1762 NEW BEST:: SOT 211888 SOS 76663 HAS SOPS 76663 HAS SOUS 57329 HAS SOUPS 57329 WITH SCORE 57405.663
AT ITER 1772 NEW BEST:: SOT 211842 SOS 76571 HAS SOPS 76571 HAS SOUS 57237 HAS SOUPS 57237 WITH SCORE 57313.571
AT ITER 1774 NEW BEST:: SOT 211794 SOS 76474 HAS SOPS 76474 HAS SOUS 57133 HAS SOUPS 57133 WITH SCORE 57209.474
AT ITER 1790 NEW BEST:: SOT 211857 SOS 76528 HAS SOPS 76528 HAS SOUS 57123 HAS SOUPS 57123 WITH SCORE 57199.528
AT ITER 1803 NEW BEST:: SOT 211857 SOS 76311 HAS SOPS 76311 HAS SOUS 57067 HAS SOUPS 57067 WITH SCORE 57143.311
AT ITER 1812 NEW BEST:: SOT 211843 SOS 76283 HAS SOPS 76283 HAS SOUS 57039 HAS SOUPS 57039 WITH SCORE 57115.283
AT ITER 1815 NEW BEST:: SOT 211843 SOS 76227 HAS SOPS 76227 HAS SOUS 57011 HAS SOUPS 57011 WITH SCORE 57087.227
AT ITER 1836 NEW BEST:: SOT 211843 SOS 75523 HAS SOPS 75523 HAS SOUS 56967 HAS SOUPS 56967 WITH SCORE 57042.523
AT ITER 1847 NEW BEST:: SOT 211835 SOS 75520 HAS SOPS 75520 HAS SOUS 56964 HAS SOUPS 56964 WITH SCORE 57039.52
AT ITER 1868 NEW BEST:: SOT 211785 SOS 75470 HAS SOPS 75470 HAS SOUS 56878 HAS SOUPS 56878 WITH SCORE 56953.47
AT ITER 1874 NEW BEST:: SOT 211869 SOS 75434 HAS SOPS 75434 HAS SOUS 56831 HAS SOUPS 56831 WITH SCORE 56906.434
AT ITER 1898 NEW BEST:: SOT 211882 SOS 75460 HAS SOPS 75460 HAS SOUS 56826 HAS SOUPS 56826 WITH SCORE 56901.46
AT ITER 1900 NEW BEST:: SOT 211881 SOS 75459 HAS SOPS 75459 HAS SOUS 56825 HAS SOUPS 56825 WITH SCORE 56900.459
AT ITER 1922 NEW BEST:: SOT 212040 SOS 75535 HAS SOPS 75535 HAS SOUS 56823 HAS SOUPS 56823 WITH SCORE 56898.535
AT ITER 1924 NEW BEST:: SOT 211961 SOS 75421 HAS SOPS 75421 HAS SOUS 56788 HAS SOUPS 56788 WITH SCORE 56863.421
AT ITER 1929 NEW BEST:: SOT 212038 SOS 75417 HAS SOPS 75417 HAS SOUS 56784 HAS SOUPS 56784 WITH SCORE 56859.417
AT ITER 1932 NEW BEST:: SOT 212038 SOS 75132 HAS SOPS 75132 HAS SOUS 56784 HAS SOUPS 56784 WITH SCORE 56859.132
AT ITER 1941 NEW BEST:: SOT 212010 SOS 75090 HAS SOPS 75090 HAS SOUS 56742 HAS SOUPS 56742 WITH SCORE 56817.09
AT ITER 1944 NEW BEST:: SOT 211733 SOS 74465 HAS SOPS 74465 HAS SOUS 56394 HAS SOUPS 56394 WITH SCORE 56468.465
AT ITER 1945 NEW BEST:: SOT 211805 SOS 74537 HAS SOPS 74537 HAS SOUS 56381 HAS SOUPS 56381 WITH SCORE 56455.537
AT ITER 1956 NEW BEST:: SOT 211799 SOS 74520 HAS SOPS 74520 HAS SOUS 56372 HAS SOUPS 56372 WITH SCORE 56446.52
AT ITER 1958 NEW BEST:: SOT 211799 SOS 74520 HAS SOPS 74520 HAS SOUS 56266 HAS SOUPS 56266 WITH SCORE 56340.52
AT ITER 1959 NEW BEST:: SOT 211752 SOS 74500 HAS SOPS 74500 HAS SOUS 56236 HAS SOUPS 56236 WITH SCORE 56310.5
AT ITER 1982 NEW BEST:: SOT 211677 SOS 74425 HAS SOPS 74425 HAS SOUS 56161 HAS SOUPS 56161 WITH SCORE 56235.425
AT ITER 1985 NEW BEST:: SOT 211677 SOS 74414 HAS SOPS 74414 HAS SOUS 56150 HAS SOUPS 56150 WITH SCORE 56224.414
AT ITER 1992 NEW BEST:: SOT 211633 SOS 74335 HAS SOPS 74335 HAS SOUS 56114 HAS SOUPS 56114 WITH SCORE 56188.335
AT ITER 2023 NEW BEST:: SOT 211592 SOS 74251 HAS SOPS 74251 HAS SOUS 56030 HAS SOUPS 56030 WITH SCORE 56104.251
AT ITER 2070 NEW BEST:: SOT 211581 SOS 74240 HAS SOPS 74240 HAS SOUS 56019 HAS SOUPS 56019 WITH SCORE 56093.24
AT ITER 2075 NEW BEST:: SOT 211368 SOS 73814 HAS SOPS 73814 HAS SOUS 55770 HAS SOUPS 55770 WITH SCORE 55843.814
AT ITER 2081 NEW BEST:: SOT 211334 SOS 73687 HAS SOPS 73687 HAS SOUS 55643 HAS SOUPS 55643 WITH SCORE 55716.687
AT ITER 2101 NEW BEST:: SOT 211333 SOS 73685 HAS SOPS 73685 HAS SOUS 55641 HAS SOUPS 55641 WITH SCORE 55714.685
AT ITER 2104 NEW BEST:: SOT 211089 SOS 73222 HAS SOPS 73222 HAS SOUS 55415 HAS SOUPS 55415 WITH SCORE 55488.222
AT ITER 2125 NEW BEST:: SOT 211051 SOS 73126 HAS SOPS 73126 HAS SOUS 55319 HAS SOUPS 55319 WITH SCORE 55392.126
AT ITER 2128 NEW BEST:: SOT 211401 SOS 73246 HAS SOPS 73246 HAS SOUS 55271 HAS SOUPS 55271 WITH SCORE 55344.246
AT ITER 2129 NEW BEST:: SOT 211348 SOS 73140 HAS SOPS 73140 HAS SOUS 55165 HAS SOUPS 55165 WITH SCORE 55238.14
AT ITER 2137 NEW BEST:: SOT 211258 SOS 73050 HAS SOPS 73050 HAS SOUS 54985 HAS SOUPS 54985 WITH SCORE 55058.05
AT ITER 2152 NEW BEST:: SOT 211339 SOS 72978 HAS SOPS 72978 HAS SOUS 54913 HAS SOUPS 54913 WITH SCORE 54985.978
AT ITER 2153 NEW BEST:: SOT 211299 SOS 72898 HAS SOPS 72898 HAS SOUS 54833 HAS SOUPS 54833 WITH SCORE 54905.898
AT ITER 2155 NEW BEST:: SOT 211268 SOS 72792 HAS SOPS 72792 HAS SOUS 54727 HAS SOUPS 54727 WITH SCORE 54799.792
AT ITER 2165 NEW BEST:: SOT 211262 SOS 72786 HAS SOPS 72786 HAS SOUS 54721 HAS SOUPS 54721 WITH SCORE 54793.786
AT ITER 2173 NEW BEST:: SOT 211262 SOS 72778 HAS SOPS 72778 HAS SOUS 54713 HAS SOUPS 54713 WITH SCORE 54785.778
AT ITER 2178 NEW BEST:: SOT 211261 SOS 72776 HAS SOPS 72776 HAS SOUS 54711 HAS SOUPS 54711 WITH SCORE 54783.776
AT ITER 2184 NEW BEST:: SOT 211253 SOS 72768 HAS SOPS 72768 HAS SOUS 54695 HAS SOUPS 54695 WITH SCORE 54767.768
AT ITER 2189 NEW BEST:: SOT 211213 SOS 72688 HAS SOPS 72688 HAS SOUS 54658 HAS SOUPS 54658 WITH SCORE 54730.688
AT ITER 2195 NEW BEST:: SOT 211207 SOS 72682 HAS SOPS 72682 HAS SOUS 54646 HAS SOUPS 54646 WITH SCORE 54718.682
AT ITER 2221 NEW BEST:: SOT 211206 SOS 72680 HAS SOPS 72680 HAS SOUS 54644 HAS SOUPS 54644 WITH SCORE 54716.68
AT ITER 2240 NEW BEST:: SOT 211123 SOS 72633 HAS SOPS 72633 HAS SOUS 54597 HAS SOUPS 54597 WITH SCORE 54669.633
AT ITER 2243 NEW BEST:: SOT 211101 SOS 72581 HAS SOPS 72581 HAS SOUS 54545 HAS SOUPS 54545 WITH SCORE 54617.581
AT ITER 2250 NEW BEST:: SOT 210929 SOS 72323 HAS SOPS 72323 HAS SOUS 54287 HAS SOUPS 54287 WITH SCORE 54359.323
AT ITER 2251 NEW BEST:: SOT 210925 SOS 72307 HAS SOPS 72307 HAS SOUS 54271 HAS SOUPS 54271 WITH SCORE 54343.307
AT ITER 2253 NEW BEST:: SOT 210900 SOS 72282 HAS SOPS 72282 HAS SOUS 54246 HAS SOUPS 54246 WITH SCORE 54318.282
AT ITER 2267 NEW BEST:: SOT 210900 SOS 72273 HAS SOPS 72273 HAS SOUS 54237 HAS SOUPS 54237 WITH SCORE 54309.273
AT ITER 2270 NEW BEST:: SOT 210900 SOS 72159 HAS SOPS 72159 HAS SOUS 54123 HAS SOUPS 54123 WITH SCORE 54195.159
AT ITER 2277 NEW BEST:: SOT 211013 SOS 72236 HAS SOPS 72236 HAS SOUS 54108 HAS SOUPS 54108 WITH SCORE 54180.236
AT ITER 2280 NEW BEST:: SOT 211013 SOS 72191 HAS SOPS 72191 HAS SOUS 54063 HAS SOUPS 54063 WITH SCORE 54135.191
AT ITER 2284 NEW BEST:: SOT 211070 SOS 72199 HAS SOPS 72199 HAS SOUS 53973 HAS SOUPS 53973 WITH SCORE 54045.199
AT ITER 2286 NEW BEST:: SOT 211058 SOS 72187 HAS SOPS 72187 HAS SOUS 53973 HAS SOUPS 53973 WITH SCORE 54045.187
AT ITER 2288 NEW BEST:: SOT 211049 SOS 71961 HAS SOPS 71961 HAS SOUS 53747 HAS SOUPS 53747 WITH SCORE 53818.961
AT ITER 2291 NEW BEST:: SOT 211036 SOS 71935 HAS SOPS 71935 HAS SOUS 53721 HAS SOUPS 53721 WITH SCORE 53792.935
AT ITER 2296 NEW BEST:: SOT 211028 SOS 71919 HAS SOPS 71919 HAS SOUS 53705 HAS SOUPS 53705 WITH SCORE 53776.919
AT ITER 2322 NEW BEST:: SOT 211033 SOS 71890 HAS SOPS 71890 HAS SOUS 53676 HAS SOUPS 53676 WITH SCORE 53747.89
AT ITER 2324 NEW BEST:: SOT 211032 SOS 71888 HAS SOPS 71888 HAS SOUS 53674 HAS SOUPS 53674 WITH SCORE 53745.888
AT ITER 2342 NEW BEST:: SOT 210932 SOS 71788 HAS SOPS 71788 HAS SOUS 53624 HAS SOUPS 53624 WITH SCORE 53695.788
AT ITER 2352 NEW BEST:: SOT 210888 SOS 71718 HAS SOPS 71718 HAS SOUS 53554 HAS SOUPS 53554 WITH SCORE 53625.718
AT ITER 2366 NEW BEST:: SOT 210865 SOS 71596 HAS SOPS 71596 HAS SOUS 53465 HAS SOUPS 53465 WITH SCORE 53536.596
AT ITER 2372 NEW BEST:: SOT 210843 SOS 71540 HAS SOPS 71540 HAS SOUS 53409 HAS SOUPS 53409 WITH SCORE 53480.54
AT ITER 2376 NEW BEST:: SOT 210827 SOS 71508 HAS SOPS 71508 HAS SOUS 53377 HAS SOUPS 53377 WITH SCORE 53448.508
AT ITER 2380 NEW BEST:: SOT 210827 SOS 71504 HAS SOPS 71504 HAS SOUS 53373 HAS SOUPS 53373 WITH SCORE 53444.504
AT ITER 2396 NEW BEST:: SOT 210806 SOS 71448 HAS SOPS 71448 HAS SOUS 53317 HAS SOUPS 53317 WITH SCORE 53388.448
AT ITER 2435 NEW BEST:: SOT 210716 SOS 71358 HAS SOPS 71358 HAS SOUS 53276 HAS SOUPS 53276 WITH SCORE 53347.358
AT ITER 2459 NEW BEST:: SOT 210661 SOS 71166 HAS SOPS 71166 HAS SOUS 53125 HAS SOUPS 53125 WITH SCORE 53196.166
AT ITER 2467 NEW BEST:: SOT 210626 SOS 71151 HAS SOPS 71151 HAS SOUS 53110 HAS SOUPS 53110 WITH SCORE 53181.151
AT ITER 2469 NEW BEST:: SOT 210568 SOS 71080 HAS SOPS 71080 HAS SOUS 53033 HAS SOUPS 53033 WITH SCORE 53104.08
AT ITER 2478 NEW BEST:: SOT 210437 SOS 70949 HAS SOPS 70949 HAS SOUS 52974 HAS SOUPS 52974 WITH SCORE 53044.949
AT ITER 2489 NEW BEST:: SOT 210421 SOS 71109 HAS SOPS 71109 HAS SOUS 52954 HAS SOUPS 52954 WITH SCORE 53025.109
AT ITER 2498 NEW BEST:: SOT 210421 SOS 71075 HAS SOPS 71075 HAS SOUS 52920 HAS SOUPS 52920 WITH SCORE 52991.075
AT ITER 2510 NEW BEST:: SOT 210373 SOS 71027 HAS SOPS 71027 HAS SOUS 52824 HAS SOUPS 52824 WITH SCORE 52895.027
AT ITER 2514 NEW BEST:: SOT 210373 SOS 70878 HAS SOPS 70878 HAS SOUS 52824 HAS SOUPS 52824 WITH SCORE 52894.878
AT ITER 2523 NEW BEST:: SOT 210159 SOS 70586 HAS SOPS 70586 HAS SOUS 52646 HAS SOUPS 52646 WITH SCORE 52716.586
AT ITER 2524 NEW BEST:: SOT 210159 SOS 70575 HAS SOPS 70575 HAS SOUS 52624 HAS SOUPS 52624 WITH SCORE 52694.575
AT ITER 2526 NEW BEST:: SOT 210159 SOS 70546 HAS SOPS 70546 HAS SOUS 52613 HAS SOUPS 52613 WITH SCORE 52683.546
AT ITER 2553 NEW BEST:: SOT 210151 SOS 70538 HAS SOPS 70538 HAS SOUS 52605 HAS SOUPS 52605 WITH SCORE 52675.538
AT ITER 2575 NEW BEST:: SOT 210151 SOS 70529 HAS SOPS 70529 HAS SOUS 52596 HAS SOUPS 52596 WITH SCORE 52666.529
AT ITER 2576 NEW BEST:: SOT 210149 SOS 70525 HAS SOPS 70525 HAS SOUS 52594 HAS SOUPS 52594 WITH SCORE 52664.525
AT ITER 2583 NEW BEST:: SOT 210191 SOS 70567 HAS SOPS 70567 HAS SOUS 52573 HAS SOUPS 52573 WITH SCORE 52643.567
AT ITER 2602 NEW BEST:: SOT 210189 SOS 70563 HAS SOPS 70563 HAS SOUS 52569 HAS SOUPS 52569 WITH SCORE 52639.563
AT ITER 2633 NEW BEST:: SOT 210174 SOS 70533 HAS SOPS 70533 HAS SOUS 52539 HAS SOUPS 52539 WITH SCORE 52609.533
AT ITER 2639 NEW BEST:: SOT 210174 SOS 70529 HAS SOPS 70529 HAS SOUS 52535 HAS SOUPS 52535 WITH SCORE 52605.529
AT ITER 2642 NEW BEST:: SOT 210142 SOS 70465 HAS SOPS 70465 HAS SOUS 52503 HAS SOUPS 52503 WITH SCORE 52573.465
AT ITER 2648 NEW BEST:: SOT 210142 SOS 70463 HAS SOPS 70463 HAS SOUS 52501 HAS SOUPS 52501 WITH SCORE 52571.463
AT ITER 2677 NEW BEST:: SOT 210139 SOS 70460 HAS SOPS 70460 HAS SOUS 52501 HAS SOUPS 52501 WITH SCORE 52571.46
AT ITER 2694 NEW BEST:: SOT 210125 SOS 70460 HAS SOPS 70460 HAS SOUS 52463 HAS SOUPS 52463 WITH SCORE 52533.46
AT ITER 2707 NEW BEST:: SOT 210080 SOS 70407 HAS SOPS 70407 HAS SOUS 52458 HAS SOUPS 52458 WITH SCORE 52528.407
AT ITER 2713 NEW BEST:: SOT 210063 SOS 70387 HAS SOPS 70387 HAS SOUS 52438 HAS SOUPS 52438 WITH SCORE 52508.387
AT ITER 2722 NEW BEST:: SOT 209977 SOS 70301 HAS SOPS 70301 HAS SOUS 52395 HAS SOUPS 52395 WITH SCORE 52465.301
AT ITER 2750 NEW BEST:: SOT 209961 SOS 70237 HAS SOPS 70237 HAS SOUS 52347 HAS SOUPS 52347 WITH SCORE 52417.237
AT ITER 2761 NEW BEST:: SOT 209834 SOS 69870 HAS SOPS 69870 HAS SOUS 52234 HAS SOUPS 52234 WITH SCORE 52303.87
AT ITER 2762 NEW BEST:: SOT 209390 SOS 69329 HAS SOPS 69329 HAS SOUS 51661 HAS SOUPS 51661 WITH SCORE 51730.329
AT ITER 2766 NEW BEST:: SOT 209390 SOS 69316 HAS SOPS 69316 HAS SOUS 51648 HAS SOUPS 51648 WITH SCORE 51717.316
AT ITER 2785 NEW BEST:: SOT 209414 SOS 69323 HAS SOPS 69323 HAS SOUS 51614 HAS SOUPS 51614 WITH SCORE 51683.323
AT ITER 2803 NEW BEST:: SOT 209413 SOS 69303 HAS SOPS 69303 HAS SOUS 51594 HAS SOUPS 51594 WITH SCORE 51663.303
AT ITER 2804 NEW BEST:: SOT 209360 SOS 69303 HAS SOPS 69303 HAS SOUS 51593 HAS SOUPS 51593 WITH SCORE 51662.303
AT ITER 2833 NEW BEST:: SOT 209488 SOS 69375 HAS SOPS 69375 HAS SOUS 51548 HAS SOUPS 51548 WITH SCORE 51617.375
AT ITER 2849 NEW BEST:: SOT 209266 SOS 69853 HAS SOPS 69853 HAS SOUS 51419 HAS SOUPS 51419 WITH SCORE 51488.853
AT ITER 2895 NEW BEST:: SOT 209350 SOS 69822 HAS SOPS 69822 HAS SOUS 51388 HAS SOUPS 51388 WITH SCORE 51457.822
AT ITER 2898 NEW BEST:: SOT 209253 SOS 69720 HAS SOPS 69720 HAS SOUS 51378 HAS SOUPS 51378 WITH SCORE 51447.72
AT ITER 2912 NEW BEST:: SOT 209229 SOS 69696 HAS SOPS 69696 HAS SOUS 51378 HAS SOUPS 51378 WITH SCORE 51447.696
AT ITER 2914 NEW BEST:: SOT 209198 SOS 69634 HAS SOPS 69634 HAS SOUS 51316 HAS SOUPS 51316 WITH SCORE 51385.634
AT ITER 2932 NEW BEST:: SOT 209097 SOS 69607 HAS SOPS 69607 HAS SOUS 51268 HAS SOUPS 51268 WITH SCORE 51337.607
AT ITER 2937 NEW BEST:: SOT 209097 SOS 69607 HAS SOPS 69607 HAS SOUS 51210 HAS SOUPS 51210 WITH SCORE 51279.607
AT ITER 2941 NEW BEST:: SOT 209097 SOS 69607 HAS SOPS 69607 HAS SOUS 51204 HAS SOUPS 51204 WITH SCORE 51273.607
AT ITER 2942 NEW BEST:: SOT 208953 SOS 69466 HAS SOPS 69466 HAS SOUS 51063 HAS SOUPS 51063 WITH SCORE 51132.466
AT ITER 2985 NEW BEST:: SOT 208910 SOS 69380 HAS SOPS 69380 HAS SOUS 50934 HAS SOUPS 50934 WITH SCORE 51003.38
AT ITER 2998 NEW BEST:: SOT 208903 SOS 69307 HAS SOPS 69307 HAS SOUS 50912 HAS SOUPS 50912 WITH SCORE 50981.307
AT ITER 3007 NEW BEST:: SOT 208859 SOS 69307 HAS SOPS 69307 HAS SOUS 50892 HAS SOUPS 50892 WITH SCORE 50961.307
AT ITER 3028 NEW BEST:: SOT 208774 SOS 69081 HAS SOPS 69081 HAS SOUS 50678 HAS SOUPS 50678 WITH SCORE 50747.081
AT ITER 3042 NEW BEST:: SOT 208774 SOS 69074 HAS SOPS 69074 HAS SOUS 50671 HAS SOUPS 50671 WITH SCORE 50740.074
AT ITER 3063 NEW BEST:: SOT 208649 SOS 68824 HAS SOPS 68824 HAS SOUS 50631 HAS SOUPS 50631 WITH SCORE 50699.824
AT ITER 3068 NEW BEST:: SOT 208644 SOS 68819 HAS SOPS 68819 HAS SOUS 50629 HAS SOUPS 50629 WITH SCORE 50697.819
AT ITER 3071 NEW BEST:: SOT 208722 SOS 68897 HAS SOPS 68897 HAS SOUS 50615 HAS SOUPS 50615 WITH SCORE 50683.897
AT ITER 3097 NEW BEST:: SOT 208667 SOS 68788 HAS SOPS 68788 HAS SOUS 50595 HAS SOUPS 50595 WITH SCORE 50663.788
AT ITER 3100 NEW BEST:: SOT 208658 SOS 68674 HAS SOPS 68674 HAS SOUS 50481 HAS SOUPS 50481 WITH SCORE 50549.674
AT ITER 3133 NEW BEST:: SOT 208657 SOS 68673 HAS SOPS 68673 HAS SOUS 50480 HAS SOUPS 50480 WITH SCORE 50548.673
AT ITER 3140 NEW BEST:: SOT 208653 SOS 68665 HAS SOPS 68665 HAS SOUS 50472 HAS SOUPS 50472 WITH SCORE 50540.665
AT ITER 3151 NEW BEST:: SOT 208585 SOS 68540 HAS SOPS 68540 HAS SOUS 50347 HAS SOUPS 50347 WITH SCORE 50415.54
AT ITER 3152 NEW BEST:: SOT 208679 SOS 68589 HAS SOPS 68589 HAS SOUS 50321 HAS SOUPS 50321 WITH SCORE 50389.589
AT ITER 3160 NEW BEST:: SOT 208678 SOS 68588 HAS SOPS 68588 HAS SOUS 50320 HAS SOUPS 50320 WITH SCORE 50388.588
AT ITER 3161 NEW BEST:: SOT 208715 SOS 68614 HAS SOPS 68614 HAS SOUS 50297 HAS SOUPS 50297 WITH SCORE 50365.614
AT ITER 3173 NEW BEST:: SOT 208726 SOS 68545 HAS SOPS 68545 HAS SOUS 50228 HAS SOUPS 50228 WITH SCORE 50296.545
AT ITER 3185 NEW BEST:: SOT 208726 SOS 68541 HAS SOPS 68541 HAS SOUS 50226 HAS SOUPS 50226 WITH SCORE 50294.541
AT ITER 3222 NEW BEST:: SOT 208701 SOS 68516 HAS SOPS 68516 HAS SOUS 50201 HAS SOUPS 50201 WITH SCORE 50269.516
AT ITER 3242 NEW BEST:: SOT 208667 SOS 68482 HAS SOPS 68482 HAS SOUS 50167 HAS SOUPS 50167 WITH SCORE 50235.482
AT ITER 3262 NEW BEST:: SOT 208667 SOS 68439 HAS SOPS 68439 HAS SOUS 50124 HAS SOUPS 50124 WITH SCORE 50192.439
AT ITER 3270 NEW BEST:: SOT 208656 SOS 68406 HAS SOPS 68406 HAS SOUS 50102 HAS SOUPS 50102 WITH SCORE 50170.406
AT ITER 3273 NEW BEST:: SOT 208726 SOS 68401 HAS SOPS 68401 HAS SOUS 50097 HAS SOUPS 50097 WITH SCORE 50165.401
AT ITER 3279 NEW BEST:: SOT 208726 SOS 68385 HAS SOPS 68385 HAS SOUS 50081 HAS SOUPS 50081 WITH SCORE 50149.385
AT ITER 3290 NEW BEST:: SOT 208726 SOS 68657 HAS SOPS 68657 HAS SOUS 50068 HAS SOUPS 50068 WITH SCORE 50136.657
AT ITER 3300 NEW BEST:: SOT 208647 SOS 68641 HAS SOPS 68641 HAS SOUS 50052 HAS SOUPS 50052 WITH SCORE 50120.641
AT ITER 3301 NEW BEST:: SOT 208646 SOS 68639 HAS SOPS 68639 HAS SOUS 50051 HAS SOUPS 50051 WITH SCORE 50119.639
AT ITER 3336 NEW BEST:: SOT 208656 SOS 68649 HAS SOPS 68649 HAS SOUS 50037 HAS SOUPS 50037 WITH SCORE 50105.649
AT ITER 3348 NEW BEST:: SOT 208650 SOS 68637 HAS SOPS 68637 HAS SOUS 50034 HAS SOUPS 50034 WITH SCORE 50102.637
AT ITER 3355 NEW BEST:: SOT 208618 SOS 68605 HAS SOPS 68605 HAS SOUS 50034 HAS SOUPS 50034 WITH SCORE 50102.605
AT ITER 3356 NEW BEST:: SOT 208608 SOS 68595 HAS SOPS 68595 HAS SOUS 50024 HAS SOUPS 50024 WITH SCORE 50092.595
AT ITER 3364 NEW BEST:: SOT 208603 SOS 68585 HAS SOPS 68585 HAS SOUS 50014 HAS SOUPS 50014 WITH SCORE 50082.585
AT ITER 3378 NEW BEST:: SOT 208555 SOS 68537 HAS SOPS 68537 HAS SOUS 49966 HAS SOUPS 49966 WITH SCORE 50034.537
AT ITER 3393 NEW BEST:: SOT 208555 SOS 68524 HAS SOPS 68524 HAS SOUS 49953 HAS SOUPS 49953 WITH SCORE 50021.524
AT ITER 3411 NEW BEST:: SOT 208482 SOS 68378 HAS SOPS 68378 HAS SOUS 49807 HAS SOUPS 49807 WITH SCORE 49875.378
AT ITER 3428 NEW BEST:: SOT 208400 SOS 68306 HAS SOPS 68306 HAS SOUS 49735 HAS SOUPS 49735 WITH SCORE 49803.306
AT ITER 3461 NEW BEST:: SOT 208404 SOS 68301 HAS SOPS 68301 HAS SOUS 49730 HAS SOUPS 49730 WITH SCORE 49798.301
AT ITER 3510 NEW BEST:: SOT 208404 SOS 68270 HAS SOPS 68270 HAS SOUS 49699 HAS SOUPS 49699 WITH SCORE 49767.27
AT ITER 3534 NEW BEST:: SOT 208412 SOS 68274 HAS SOPS 68274 HAS SOUS 49691 HAS SOUPS 49691 WITH SCORE 49759.274
AT ITER 3539 NEW BEST:: SOT 208377 SOS 68229 HAS SOPS 68229 HAS SOUS 49646 HAS SOUPS 49646 WITH SCORE 49714.229
AT ITER 3559 NEW BEST:: SOT 208291 SOS 68389 HAS SOPS 68389 HAS SOUS 49593 HAS SOUPS 49593 WITH SCORE 49661.389
AT ITER 3576 NEW BEST:: SOT 208286 SOS 68379 HAS SOPS 68379 HAS SOUS 49584 HAS SOUPS 49584 WITH SCORE 49652.379
AT ITER 3594 NEW BEST:: SOT 208286 SOS 68296 HAS SOPS 68296 HAS SOUS 49501 HAS SOUPS 49501 WITH SCORE 49569.296
AT ITER 3611 NEW BEST:: SOT 208472 SOS 68035 HAS SOPS 68035 HAS SOUS 49401 HAS SOUPS 49401 WITH SCORE 49469.035
AT ITER 3619 NEW BEST:: SOT 208495 SOS 68031 HAS SOPS 68031 HAS SOUS 49347 HAS SOUPS 49347 WITH SCORE 49415.031
AT ITER 3644 NEW BEST:: SOT 208473 SOS 67987 HAS SOPS 67987 HAS SOUS 49303 HAS SOUPS 49303 WITH SCORE 49370.987
AT ITER 3653 NEW BEST:: SOT 208470 SOS 67981 HAS SOPS 67981 HAS SOUS 49297 HAS SOUPS 49297 WITH SCORE 49364.981
AT ITER 3670 NEW BEST:: SOT 208468 SOS 67891 HAS SOPS 67891 HAS SOUS 49250 HAS SOUPS 49250 WITH SCORE 49317.891
AT ITER 3682 NEW BEST:: SOT 208468 SOS 67602 HAS SOPS 67602 HAS SOUS 49063 HAS SOUPS 49063 WITH SCORE 49130.602
AT ITER 3691 NEW BEST:: SOT 208443 SOS 67552 HAS SOPS 67552 HAS SOUS 49013 HAS SOUPS 49013 WITH SCORE 49080.552
AT ITER 3699 NEW BEST:: SOT 208440 SOS 67546 HAS SOPS 67546 HAS SOUS 49010 HAS SOUPS 49010 WITH SCORE 49077.546
AT ITER 3710 NEW BEST:: SOT 208439 SOS 67545 HAS SOPS 67545 HAS SOUS 49009 HAS SOUPS 49009 WITH SCORE 49076.545
AT ITER 3729 NEW BEST:: SOT 208416 SOS 67499 HAS SOPS 67499 HAS SOUS 48963 HAS SOUPS 48963 WITH SCORE 49030.499
AT ITER 3730 NEW BEST:: SOT 208353 SOS 67423 HAS SOPS 67423 HAS SOUS 48892 HAS SOUPS 48892 WITH SCORE 48959.423
AT ITER 3744 NEW BEST:: SOT 208110 SOS 67363 HAS SOPS 67363 HAS SOUS 48832 HAS SOUPS 48832 WITH SCORE 48899.363
AT ITER 3753 NEW BEST:: SOT 208110 SOS 67345 HAS SOPS 67345 HAS SOUS 48814 HAS SOUPS 48814 WITH SCORE 48881.345
AT ITER 3759 NEW BEST:: SOT 208088 SOS 67301 HAS SOPS 67301 HAS SOUS 48781 HAS SOUPS 48781 WITH SCORE 48848.301
AT ITER 3772 NEW BEST:: SOT 208076 SOS 67245 HAS SOPS 67245 HAS SOUS 48770 HAS SOUPS 48770 WITH SCORE 48837.245
AT ITER 3779 NEW BEST:: SOT 208085 SOS 67240 HAS SOPS 67240 HAS SOUS 48765 HAS SOUPS 48765 WITH SCORE 48832.24
AT ITER 3781 NEW BEST:: SOT 208041 SOS 67182 HAS SOPS 67182 HAS SOUS 48707 HAS SOUPS 48707 WITH SCORE 48774.182
AT ITER 3787 NEW BEST:: SOT 207871 SOS 66969 HAS SOPS 66969 HAS SOUS 48633 HAS SOUPS 48633 WITH SCORE 48699.969
AT ITER 3794 NEW BEST:: SOT 207846 SOS 66943 HAS SOPS 66943 HAS SOUS 48607 HAS SOUPS 48607 WITH SCORE 48673.943
AT ITER 3800 NEW BEST:: SOT 207796 SOS 66893 HAS SOPS 66893 HAS SOUS 48557 HAS SOUPS 48557 WITH SCORE 48623.893
AT ITER 3819 NEW BEST:: SOT 207758 SOS 66891 HAS SOPS 66891 HAS SOUS 48555 HAS SOUPS 48555 WITH SCORE 48621.891
AT ITER 3821 NEW BEST:: SOT 207658 SOS 66691 HAS SOPS 66691 HAS SOUS 48436 HAS SOUPS 48436 WITH SCORE 48502.691
AT ITER 3906 NEW BEST:: SOT 207672 SOS 66635 HAS SOPS 66635 HAS SOUS 48411 HAS SOUPS 48411 WITH SCORE 48477.635
AT ITER 3914 NEW BEST:: SOT 207665 SOS 66628 HAS SOPS 66628 HAS SOUS 48404 HAS SOUPS 48404 WITH SCORE 48470.628
AT ITER 3921 NEW BEST:: SOT 207650 SOS 66567 HAS SOPS 66567 HAS SOUS 48383 HAS SOUPS 48383 WITH SCORE 48449.567
AT ITER 3942 NEW BEST:: SOT 207650 SOS 66559 HAS SOPS 66559 HAS SOUS 48375 HAS SOUPS 48375 WITH SCORE 48441.559
AT ITER 3944 NEW BEST:: SOT 207625 SOS 66534 HAS SOPS 66534 HAS SOUS 48357 HAS SOUPS 48357 WITH SCORE 48423.534
AT ITER 3976 NEW BEST:: SOT 207720 SOS 66493 HAS SOPS 66493 HAS SOUS 48320 HAS SOUPS 48320 WITH SCORE 48386.493
AT ITER 4007 NEW BEST:: SOT 207702 SOS 66484 HAS SOPS 66484 HAS SOUS 48311 HAS SOUPS 48311 WITH SCORE 48377.484
AT ITER 4014 NEW BEST:: SOT 207702 SOS 66484 HAS SOPS 66484 HAS SOUS 48304 HAS SOUPS 48304 WITH SCORE 48370.484
AT ITER 4030 NEW BEST:: SOT 207626 SOS 66384 HAS SOPS 66384 HAS SOUS 48204 HAS SOUPS 48204 WITH SCORE 48270.384
AT ITER 4032 NEW BEST:: SOT 207608 SOS 66366 HAS SOPS 66366 HAS SOUS 48204 HAS SOUPS 48204 WITH SCORE 48270.366
AT ITER 4046 NEW BEST:: SOT 207579 SOS 66252 HAS SOPS 66252 HAS SOUS 48124 HAS SOUPS 48124 WITH SCORE 48190.252
AT ITER 4054 NEW BEST:: SOT 207579 SOS 66173 HAS SOPS 66173 HAS SOUS 48124 HAS SOUPS 48124 WITH SCORE 48190.173
AT ITER 4115 NEW BEST:: SOT 207563 SOS 66152 HAS SOPS 66152 HAS SOUS 48103 HAS SOUPS 48103 WITH SCORE 48169.152
AT ITER 4140 NEW BEST:: SOT 207566 SOS 66149 HAS SOPS 66149 HAS SOUS 48100 HAS SOUPS 48100 WITH SCORE 48166.149
AT ITER 4142 NEW BEST:: SOT 207312 SOS 66109 HAS SOPS 66109 HAS SOUS 48060 HAS SOUPS 48060 WITH SCORE 48126.109
AT ITER 4166 NEW BEST:: SOT 207312 SOS 66087 HAS SOPS 66087 HAS SOUS 48060 HAS SOUPS 48060 WITH SCORE 48126.087
AT ITER 4167 NEW BEST:: SOT 207333 SOS 66005 HAS SOPS 66005 HAS SOUS 48019 HAS SOUPS 48019 WITH SCORE 48085.005
AT ITER 4175 NEW BEST:: SOT 207330 SOS 66013 HAS SOPS 66013 HAS SOUS 48013 HAS SOUPS 48013 WITH SCORE 48079.013
AT ITER 4179 NEW BEST:: SOT 207262 SOS 65922 HAS SOPS 65922 HAS SOUS 47922 HAS SOUPS 47922 WITH SCORE 47987.922
AT ITER 4202 NEW BEST:: SOT 207318 SOS 65914 HAS SOPS 65914 HAS SOUS 47914 HAS SOUPS 47914 WITH SCORE 47979.914
AT ITER 4208 NEW BEST:: SOT 207277 SOS 65832 HAS SOPS 65832 HAS SOUS 47902 HAS SOUPS 47902 WITH SCORE 47967.832
AT ITER 4214 NEW BEST:: SOT 207271 SOS 65706 HAS SOPS 65706 HAS SOUS 47876 HAS SOUPS 47876 WITH SCORE 47941.706
AT ITER 4223 NEW BEST:: SOT 207169 SOS 65677 HAS SOPS 65677 HAS SOUS 47847 HAS SOUPS 47847 WITH SCORE 47912.677
AT ITER 4228 NEW BEST:: SOT 207188 SOS 65552 HAS SOPS 65552 HAS SOUS 47722 HAS SOUPS 47722 WITH SCORE 47787.552
AT ITER 4251 NEW BEST:: SOT 207187 SOS 65551 HAS SOPS 65551 HAS SOUS 47721 HAS SOUPS 47721 WITH SCORE 47786.551
AT ITER 4261 NEW BEST:: SOT 207189 SOS 65547 HAS SOPS 65547 HAS SOUS 47717 HAS SOUPS 47717 WITH SCORE 47782.547
AT ITER 4292 NEW BEST:: SOT 207160 SOS 65518 HAS SOPS 65518 HAS SOUS 47688 HAS SOUPS 47688 WITH SCORE 47753.518
AT ITER 4298 NEW BEST:: SOT 207164 SOS 65517 HAS SOPS 65517 HAS SOUS 47687 HAS SOUPS 47687 WITH SCORE 47752.517
AT ITER 4342 NEW BEST:: SOT 207142 SOS 65473 HAS SOPS 65473 HAS SOUS 47665 HAS SOUPS 47665 WITH SCORE 47730.473
AT ITER 4361 NEW BEST:: SOT 207124 SOS 65430 HAS SOPS 65430 HAS SOUS 47655 HAS SOUPS 47655 WITH SCORE 47720.43
AT ITER 4368 NEW BEST:: SOT 207075 SOS 65381 HAS SOPS 65381 HAS SOUS 47655 HAS SOUPS 47655 WITH SCORE 47720.381
AT ITER 4376 NEW BEST:: SOT 206987 SOS 65245 HAS SOPS 65245 HAS SOUS 47607 HAS SOUPS 47607 WITH SCORE 47672.245
AT ITER 4378 NEW BEST:: SOT 206986 SOS 65243 HAS SOPS 65243 HAS SOUS 47605 HAS SOUPS 47605 WITH SCORE 47670.243
AT ITER 4397 NEW BEST:: SOT 206921 SOS 65267 HAS SOPS 65267 HAS SOUS 47523 HAS SOUPS 47523 WITH SCORE 47588.267
AT ITER 4400 NEW BEST:: SOT 206917 SOS 65267 HAS SOPS 65267 HAS SOUS 47519 HAS SOUPS 47519 WITH SCORE 47584.267
AT ITER 4406 NEW BEST:: SOT 206900 SOS 65233 HAS SOPS 65233 HAS SOUS 47499 HAS SOUPS 47499 WITH SCORE 47564.233
AT ITER 4410 NEW BEST:: SOT 206895 SOS 65228 HAS SOPS 65228 HAS SOUS 47489 HAS SOUPS 47489 WITH SCORE 47554.228
AT ITER 4421 NEW BEST:: SOT 206895 SOS 65211 HAS SOPS 65211 HAS SOUS 47472 HAS SOUPS 47472 WITH SCORE 47537.211
AT ITER 4434 NEW BEST:: SOT 206791 SOS 64966 HAS SOPS 64966 HAS SOUS 47227 HAS SOUPS 47227 WITH SCORE 47291.966
AT ITER 4437 NEW BEST:: SOT 206913 SOS 65214 HAS SOPS 65214 HAS SOUS 47183 HAS SOUPS 47183 WITH SCORE 47248.214
AT ITER 4461 NEW BEST:: SOT 206811 SOS 65112 HAS SOPS 65112 HAS SOUS 47081 HAS SOUPS 47081 WITH SCORE 47146.112
AT ITER 4502 NEW BEST:: SOT 206804 SOS 65098 HAS SOPS 65098 HAS SOUS 47067 HAS SOUPS 47067 WITH SCORE 47132.098
AT ITER 4552 NEW BEST:: SOT 206840 SOS 65071 HAS SOPS 65071 HAS SOUS 47040 HAS SOUPS 47040 WITH SCORE 47105.071
AT ITER 4567 NEW BEST:: SOT 206839 SOS 65097 HAS SOPS 65097 HAS SOUS 47038 HAS SOUPS 47038 WITH SCORE 47103.097
AT ITER 4578 NEW BEST:: SOT 206839 SOS 65076 HAS SOPS 65076 HAS SOUS 47017 HAS SOUPS 47017 WITH SCORE 47082.076
AT ITER 4586 NEW BEST:: SOT 206725 SOS 64962 HAS SOPS 64962 HAS SOUS 46872 HAS SOUPS 46872 WITH SCORE 46936.962
AT ITER 4610 NEW BEST:: SOT 206734 SOS 64947 HAS SOPS 64947 HAS SOUS 46857 HAS SOUPS 46857 WITH SCORE 46921.947
AT ITER 4633 NEW BEST:: SOT 206721 SOS 64898 HAS SOPS 64898 HAS SOUS 46808 HAS SOUPS 46808 WITH SCORE 46872.898
AT ITER 4641 NEW BEST:: SOT 206712 SOS 64889 HAS SOPS 64889 HAS SOUS 46799 HAS SOUPS 46799 WITH SCORE 46863.889
AT ITER 4647 NEW BEST:: SOT 206712 SOS 64863 HAS SOPS 64863 HAS SOUS 46773 HAS SOUPS 46773 WITH SCORE 46837.863
AT ITER 4679 NEW BEST:: SOT 206620 SOS 64775 HAS SOPS 64775 HAS SOUS 46685 HAS SOUPS 46685 WITH SCORE 46749.775
AT ITER 4731 NEW BEST:: SOT 206573 SOS 64775 HAS SOPS 64775 HAS SOUS 46638 HAS SOUPS 46638 WITH SCORE 46702.775
AT ITER 4747 NEW BEST:: SOT 206553 SOS 64905 HAS SOPS 64905 HAS SOUS 46608 HAS SOUPS 46608 WITH SCORE 46672.905
AT ITER 4748 NEW BEST:: SOT 206553 SOS 64905 HAS SOPS 64905 HAS SOUS 46565 HAS SOUPS 46565 WITH SCORE 46629.905
AT ITER 4758 NEW BEST:: SOT 206568 SOS 64903 HAS SOPS 64903 HAS SOUS 46563 HAS SOUPS 46563 WITH SCORE 46627.903
AT ITER 4769 NEW BEST:: SOT 206568 SOS 64811 HAS SOPS 64811 HAS SOUS 46529 HAS SOUPS 46529 WITH SCORE 46593.811
AT ITER 4772 NEW BEST:: SOT 206542 SOS 64447 HAS SOPS 64447 HAS SOUS 46498 HAS SOUPS 46498 WITH SCORE 46562.447
AT ITER 4794 NEW BEST:: SOT 206484 SOS 64331 HAS SOPS 64331 HAS SOUS 46426 HAS SOUPS 46426 WITH SCORE 46490.331
AT ITER 4806 NEW BEST:: SOT 206483 SOS 64330 HAS SOPS 64330 HAS SOUS 46425 HAS SOUPS 46425 WITH SCORE 46489.33
AT ITER 4808 NEW BEST:: SOT 206481 SOS 64326 HAS SOPS 64326 HAS SOUS 46421 HAS SOUPS 46421 WITH SCORE 46485.326
AT ITER 4812 NEW BEST:: SOT 206454 SOS 64188 HAS SOPS 64188 HAS SOUS 46283 HAS SOUPS 46283 WITH SCORE 46347.188
AT ITER 4814 NEW BEST:: SOT 206452 SOS 64186 HAS SOPS 64186 HAS SOUS 46283 HAS SOUPS 46283 WITH SCORE 46347.186
AT ITER 4822 NEW BEST:: SOT 206459 SOS 64185 HAS SOPS 64185 HAS SOUS 46246 HAS SOUPS 46246 WITH SCORE 46310.185
AT ITER 4839 NEW BEST:: SOT 206371 SOS 64098 HAS SOPS 64098 HAS SOUS 46167 HAS SOUPS 46167 WITH SCORE 46231.098
AT ITER 4865 NEW BEST:: SOT 206406 SOS 64088 HAS SOPS 64088 HAS SOUS 46157 HAS SOUPS 46157 WITH SCORE 46221.088
AT ITER 4872 NEW BEST:: SOT 206381 SOS 64056 HAS SOPS 64056 HAS SOUS 46141 HAS SOUPS 46141 WITH SCORE 46205.056
AT ITER 4874 NEW BEST:: SOT 206381 SOS 64050 HAS SOPS 64050 HAS SOUS 46135 HAS SOUPS 46135 WITH SCORE 46199.05
AT ITER 4888 NEW BEST:: SOT 206354 SOS 64041 HAS SOPS 64041 HAS SOUS 46126 HAS SOUPS 46126 WITH SCORE 46190.041
AT ITER 4891 NEW BEST:: SOT 206124 SOS 63581 HAS SOPS 63581 HAS SOUS 45929 HAS SOUPS 45929 WITH SCORE 45992.581
AT ITER 4911 NEW BEST:: SOT 206083 SOS 63335 HAS SOPS 63335 HAS SOUS 45717 HAS SOUPS 45717 WITH SCORE 45780.335
AT ITER 4954 NEW BEST:: SOT 206080 SOS 63374 HAS SOPS 63374 HAS SOUS 45711 HAS SOUPS 45711 WITH SCORE 45774.374
AT ITER 4962 NEW BEST:: SOT 206020 SOS 63254 HAS SOPS 63254 HAS SOUS 45591 HAS SOUPS 45591 WITH SCORE 45654.254
AT ITER 4972 NEW BEST:: SOT 205948 SOS 63186 HAS SOPS 63186 HAS SOUS 45580 HAS SOUPS 45580 WITH SCORE 45643.186
AT ITER 4980 NEW BEST:: SOT 205948 SOS 63168 HAS SOPS 63168 HAS SOUS 45562 HAS SOUPS 45562 WITH SCORE 45625.168
AT ITER 4993 NEW BEST:: SOT 206044 SOS 63184 HAS SOPS 63184 HAS SOUS 45510 HAS SOUPS 45510 WITH SCORE 45573.184
AT ITER 5006 NEW BEST:: SOT 206051 SOS 63155 HAS SOPS 63155 HAS SOUS 45490 HAS SOUPS 45490 WITH SCORE 45553.155
AT ITER 5011 NEW BEST:: SOT 206027 SOS 63347 HAS SOPS 63347 HAS SOUS 45457 HAS SOUPS 45457 WITH SCORE 45520.347
AT ITER 5043 NEW BEST:: SOT 206027 SOS 63282 HAS SOPS 63282 HAS SOUS 45457 HAS SOUPS 45457 WITH SCORE 45520.282
AT ITER 5046 NEW BEST:: SOT 206025 SOS 63275 HAS SOPS 63275 HAS SOUS 45450 HAS SOUPS 45450 WITH SCORE 45513.275
AT ITER 5060 NEW BEST:: SOT 206024 SOS 63273 HAS SOPS 63273 HAS SOUS 45448 HAS SOUPS 45448 WITH SCORE 45511.273
AT ITER 5070 NEW BEST:: SOT 206022 SOS 63269 HAS SOPS 63269 HAS SOUS 45444 HAS SOUPS 45444 WITH SCORE 45507.269
AT ITER 5077 NEW BEST:: SOT 206001 SOS 63233 HAS SOPS 63233 HAS SOUS 45408 HAS SOUPS 45408 WITH SCORE 45471.233
AT ITER 5128 NEW BEST:: SOT 205930 SOS 63096 HAS SOPS 63096 HAS SOUS 45271 HAS SOUPS 45271 WITH SCORE 45334.096
AT ITER 5161 NEW BEST:: SOT 205642 SOS 62854 HAS SOPS 62854 HAS SOUS 45196 HAS SOUPS 45196 WITH SCORE 45258.854
AT ITER 5174 NEW BEST:: SOT 205503 SOS 62715 HAS SOPS 62715 HAS SOUS 45044 HAS SOUPS 45044 WITH SCORE 45106.715
AT ITER 5183 NEW BEST:: SOT 205461 SOS 62672 HAS SOPS 62672 HAS SOUS 44974 HAS SOUPS 44974 WITH SCORE 45036.672
AT ITER 5188 NEW BEST:: SOT 205461 SOS 62672 HAS SOPS 62672 HAS SOUS 44950 HAS SOUPS 44950 WITH SCORE 45012.672
AT ITER 5219 NEW BEST:: SOT 205461 SOS 62645 HAS SOPS 62645 HAS SOUS 44923 HAS SOUPS 44923 WITH SCORE 44985.645
AT ITER 5220 NEW BEST:: SOT 205461 SOS 62490 HAS SOPS 62490 HAS SOUS 44901 HAS SOUPS 44901 WITH SCORE 44963.49
AT ITER 5231 NEW BEST:: SOT 205388 SOS 62392 HAS SOPS 62392 HAS SOUS 44851 HAS SOUPS 44851 WITH SCORE 44913.392
AT ITER 5241 NEW BEST:: SOT 205370 SOS 62374 HAS SOPS 62374 HAS SOUS 44833 HAS SOUPS 44833 WITH SCORE 44895.374
AT ITER 5242 NEW BEST:: SOT 205369 SOS 62362 HAS SOPS 62362 HAS SOUS 44782 HAS SOUPS 44782 WITH SCORE 44844.362
AT ITER 5250 NEW BEST:: SOT 205373 SOS 62341 HAS SOPS 62341 HAS SOUS 44761 HAS SOUPS 44761 WITH SCORE 44823.341
AT ITER 5308 NEW BEST:: SOT 205332 SOS 62286 HAS SOPS 62286 HAS SOUS 44706 HAS SOUPS 44706 WITH SCORE 44768.286
AT ITER 5348 NEW BEST:: SOT 205294 SOS 62248 HAS SOPS 62248 HAS SOUS 44668 HAS SOUPS 44668 WITH SCORE 44730.248
AT ITER 5354 NEW BEST:: SOT 205293 SOS 62246 HAS SOPS 62246 HAS SOUS 44666 HAS SOUPS 44666 WITH SCORE 44728.246
AT ITER 5390 NEW BEST:: SOT 205331 SOS 62161 HAS SOPS 62161 HAS SOUS 44581 HAS SOUPS 44581 WITH SCORE 44643.161
AT ITER 5406 NEW BEST:: SOT 205265 SOS 62039 HAS SOPS 62039 HAS SOUS 44506 HAS SOUPS 44506 WITH SCORE 44568.039
AT ITER 5415 NEW BEST:: SOT 205265 SOS 61979 HAS SOPS 61979 HAS SOUS 44488 HAS SOUPS 44488 WITH SCORE 44549.979
AT ITER 5422 NEW BEST:: SOT 205265 SOS 61979 HAS SOPS 61979 HAS SOUS 44475 HAS SOUPS 44475 WITH SCORE 44536.979
AT ITER 5435 NEW BEST:: SOT 205199 SOS 61913 HAS SOPS 61913 HAS SOUS 44475 HAS SOUPS 44475 WITH SCORE 44536.913
AT ITER 5501 NEW BEST:: SOT 205199 SOS 61897 HAS SOPS 61897 HAS SOUS 44467 HAS SOUPS 44467 WITH SCORE 44528.897
AT ITER 5506 NEW BEST:: SOT 205181 SOS 61861 HAS SOPS 61861 HAS SOUS 44431 HAS SOUPS 44431 WITH SCORE 44492.861
AT ITER 5542 NEW BEST:: SOT 205182 SOS 61863 HAS SOPS 61863 HAS SOUS 44409 HAS SOUPS 44409 WITH SCORE 44470.863
AT ITER 5549 NEW BEST:: SOT 205170 SOS 61849 HAS SOPS 61849 HAS SOUS 44395 HAS SOUPS 44395 WITH SCORE 44456.849
AT ITER 5559 NEW BEST:: SOT 205170 SOS 61721 HAS SOPS 61721 HAS SOUS 44139 HAS SOUPS 44139 WITH SCORE 44200.721
AT ITER 5576 NEW BEST:: SOT 205139 SOS 61688 HAS SOPS 61688 HAS SOUS 44135 HAS SOUPS 44135 WITH SCORE 44196.688
AT ITER 5604 NEW BEST:: SOT 205080 SOS 61629 HAS SOPS 61629 HAS SOUS 44135 HAS SOUPS 44135 WITH SCORE 44196.629
AT ITER 5624 NEW BEST:: SOT 205038 SOS 61537 HAS SOPS 61537 HAS SOUS 44043 HAS SOUPS 44043 WITH SCORE 44104.537
AT ITER 5641 NEW BEST:: SOT 205035 SOS 61531 HAS SOPS 61531 HAS SOUS 44015 HAS SOUPS 44015 WITH SCORE 44076.531
AT ITER 5656 NEW BEST:: SOT 205010 SOS 61255 HAS SOPS 61255 HAS SOUS 43996 HAS SOUPS 43996 WITH SCORE 44057.255
AT ITER 5670 NEW BEST:: SOT 204959 SOS 61171 HAS SOPS 61171 HAS SOUS 43912 HAS SOUPS 43912 WITH SCORE 43973.171
AT ITER 5686 NEW BEST:: SOT 204954 SOS 61141 HAS SOPS 61141 HAS SOUS 43882 HAS SOUPS 43882 WITH SCORE 43943.141
AT ITER 5699 NEW BEST:: SOT 204948 SOS 61125 HAS SOPS 61125 HAS SOUS 43866 HAS SOUPS 43866 WITH SCORE 43927.125
AT ITER 5706 NEW BEST:: SOT 204933 SOS 61110 HAS SOPS 61110 HAS SOUS 43851 HAS SOUPS 43851 WITH SCORE 43912.11
AT ITER 5707 NEW BEST:: SOT 204889 SOS 61020 HAS SOPS 61020 HAS SOUS 43761 HAS SOUPS 43761 WITH SCORE 43822.02
AT ITER 5741 NEW BEST:: SOT 204883 SOS 61008 HAS SOPS 61008 HAS SOUS 43749 HAS SOUPS 43749 WITH SCORE 43810.008
AT ITER 5762 NEW BEST:: SOT 204856 SOS 60954 HAS SOPS 60954 HAS SOUS 43695 HAS SOUPS 43695 WITH SCORE 43755.954
AT ITER 5768 NEW BEST:: SOT 204840 SOS 60877 HAS SOPS 60877 HAS SOUS 43663 HAS SOUPS 43663 WITH SCORE 43723.877
AT ITER 5793 NEW BEST:: SOT 204803 SOS 60840 HAS SOPS 60840 HAS SOUS 43663 HAS SOUPS 43663 WITH SCORE 43723.84
AT ITER 5803 NEW BEST:: SOT 204814 SOS 60825 HAS SOPS 60825 HAS SOUS 43648 HAS SOUPS 43648 WITH SCORE 43708.825
AT ITER 5820 NEW BEST:: SOT 204817 SOS 60709 HAS SOPS 60709 HAS SOUS 43568 HAS SOUPS 43568 WITH SCORE 43628.709
AT ITER 5824 NEW BEST:: SOT 204801 SOS 60677 HAS SOPS 60677 HAS SOUS 43536 HAS SOUPS 43536 WITH SCORE 43596.677
AT ITER 5853 NEW BEST:: SOT 204775 SOS 60651 HAS SOPS 60651 HAS SOUS 43484 HAS SOUPS 43484 WITH SCORE 43544.651
AT ITER 5860 NEW BEST:: SOT 204746 SOS 60524 HAS SOPS 60524 HAS SOUS 43352 HAS SOUPS 43352 WITH SCORE 43412.524
AT ITER 5909 NEW BEST:: SOT 204724 SOS 60502 HAS SOPS 60502 HAS SOUS 43352 HAS SOUPS 43352 WITH SCORE 43412.502
AT ITER 5951 NEW BEST:: SOT 204749 SOS 60484 HAS SOPS 60484 HAS SOUS 43350 HAS SOUPS 43350 WITH SCORE 43410.484
AT ITER 5962 NEW BEST:: SOT 204742 SOS 60477 HAS SOPS 60477 HAS SOUS 43343 HAS SOUPS 43343 WITH SCORE 43403.477
AT ITER 5966 NEW BEST:: SOT 204742 SOS 60387 HAS SOPS 60387 HAS SOUS 43253 HAS SOUPS 43253 WITH SCORE 43313.387
AT ITER 6098 NEW BEST:: SOT 204732 SOS 60377 HAS SOPS 60377 HAS SOUS 43243 HAS SOUPS 43243 WITH SCORE 43303.377
AT ITER 6099 NEW BEST:: SOT 204732 SOS 60366 HAS SOPS 60366 HAS SOUS 43232 HAS SOUPS 43232 WITH SCORE 43292.366
AT ITER 6100 NEW BEST:: SOT 204716 SOS 60180 HAS SOPS 60180 HAS SOUS 43088 HAS SOUPS 43088 WITH SCORE 43148.18
AT ITER 6117 NEW BEST:: SOT 204641 SOS 60069 HAS SOPS 60069 HAS SOUS 42977 HAS SOUPS 42977 WITH SCORE 43037.069
AT ITER 6148 NEW BEST:: SOT 204637 SOS 60065 HAS SOPS 60065 HAS SOUS 42977 HAS SOUPS 42977 WITH SCORE 43037.065
AT ITER 6163 NEW BEST:: SOT 204613 SOS 60003 HAS SOPS 60003 HAS SOUS 42914 HAS SOUPS 42914 WITH SCORE 42974.003
AT ITER 6174 NEW BEST:: SOT 204613 SOS 59988 HAS SOPS 59988 HAS SOUS 42899 HAS SOUPS 42899 WITH SCORE 42958.988
AT ITER 6187 NEW BEST:: SOT 204609 SOS 59984 HAS SOPS 59984 HAS SOUS 42899 HAS SOUPS 42899 WITH SCORE 42958.984
AT ITER 6245 NEW BEST:: SOT 204607 SOS 59980 HAS SOPS 59980 HAS SOUS 42895 HAS SOUPS 42895 WITH SCORE 42954.98
AT ITER 6273 NEW BEST:: SOT 204600 SOS 59969 HAS SOPS 59969 HAS SOUS 42884 HAS SOUPS 42884 WITH SCORE 42943.969
AT ITER 6287 NEW BEST:: SOT 204545 SOS 59726 HAS SOPS 59726 HAS SOUS 42641 HAS SOUPS 42641 WITH SCORE 42700.726
AT ITER 6304 NEW BEST:: SOT 204545 SOS 59726 HAS SOPS 59726 HAS SOUS 42640 HAS SOUPS 42640 WITH SCORE 42699.726
AT ITER 6312 NEW BEST:: SOT 204543 SOS 59726 HAS SOPS 59726 HAS SOUS 42638 HAS SOUPS 42638 WITH SCORE 42697.726
AT ITER 6316 NEW BEST:: SOT 204516 SOS 59693 HAS SOPS 59693 HAS SOUS 42605 HAS SOUPS 42605 WITH SCORE 42664.693
AT ITER 6317 NEW BEST:: SOT 204355 SOS 59752 HAS SOPS 59752 HAS SOUS 42514 HAS SOUPS 42514 WITH SCORE 42573.752
AT ITER 6355 NEW BEST:: SOT 204296 SOS 59693 HAS SOPS 59693 HAS SOUS 42455 HAS SOUPS 42455 WITH SCORE 42514.693
AT ITER 6405 NEW BEST:: SOT 204238 SOS 59465 HAS SOPS 59465 HAS SOUS 42223 HAS SOUPS 42223 WITH SCORE 42282.465
AT ITER 6444 NEW BEST:: SOT 204230 SOS 59457 HAS SOPS 59457 HAS SOUS 42215 HAS SOUPS 42215 WITH SCORE 42274.457
AT ITER 6491 NEW BEST:: SOT 204321 SOS 59515 HAS SOPS 59515 HAS SOUS 42142 HAS SOUPS 42142 WITH SCORE 42201.515
AT ITER 6505 NEW BEST:: SOT 204329 SOS 59505 HAS SOPS 59505 HAS SOUS 42132 HAS SOUPS 42132 WITH SCORE 42191.505
AT ITER 6520 NEW BEST:: SOT 204328 SOS 59502 HAS SOPS 59502 HAS SOUS 42130 HAS SOUPS 42130 WITH SCORE 42189.502
AT ITER 6544 NEW BEST:: SOT 204326 SOS 59499 HAS SOPS 59499 HAS SOUS 42127 HAS SOUPS 42127 WITH SCORE 42186.499
AT ITER 6566 NEW BEST:: SOT 204292 SOS 59411 HAS SOPS 59411 HAS SOUS 42039 HAS SOUPS 42039 WITH SCORE 42098.411
AT ITER 6607 NEW BEST:: SOT 204208 SOS 59327 HAS SOPS 59327 HAS SOUS 41997 HAS SOUPS 41997 WITH SCORE 42056.327
AT ITER 6611 NEW BEST:: SOT 204161 SOS 59233 HAS SOPS 59233 HAS SOUS 41903 HAS SOUPS 41903 WITH SCORE 41962.233
AT ITER 6618 NEW BEST:: SOT 204161 SOS 59233 HAS SOPS 59233 HAS SOUS 41898 HAS SOUPS 41898 WITH SCORE 41957.233
AT ITER 6628 NEW BEST:: SOT 204142 SOS 59195 HAS SOPS 59195 HAS SOUS 41858 HAS SOUPS 41858 WITH SCORE 41917.195
AT ITER 6667 NEW BEST:: SOT 204138 SOS 59162 HAS SOPS 59162 HAS SOUS 41825 HAS SOUPS 41825 WITH SCORE 41884.162
AT ITER 6705 NEW BEST:: SOT 204150 SOS 59161 HAS SOPS 59161 HAS SOUS 41824 HAS SOUPS 41824 WITH SCORE 41883.161
AT ITER 6803 NEW BEST:: SOT 204086 SOS 59141 HAS SOPS 59141 HAS SOUS 41804 HAS SOUPS 41804 WITH SCORE 41863.141
AT ITER 6850 NEW BEST:: SOT 204077 SOS 59123 HAS SOPS 59123 HAS SOUS 41786 HAS SOUPS 41786 WITH SCORE 41845.123
AT ITER 6871 NEW BEST:: SOT 204124 SOS 59101 HAS SOPS 59101 HAS SOUS 41764 HAS SOUPS 41764 WITH SCORE 41823.101
AT ITER 6875 NEW BEST:: SOT 204117 SOS 59097 HAS SOPS 59097 HAS SOUS 41760 HAS SOUPS 41760 WITH SCORE 41819.097
AT ITER 6882 NEW BEST:: SOT 204004 SOS 58812 HAS SOPS 58812 HAS SOUS 41573 HAS SOUPS 41573 WITH SCORE 41631.812
AT ITER 6913 NEW BEST:: SOT 203993 SOS 58861 HAS SOPS 58861 HAS SOUS 41566 HAS SOUPS 41566 WITH SCORE 41624.861
AT ITER 6937 NEW BEST:: SOT 203955 SOS 58805 HAS SOPS 58805 HAS SOUS 41528 HAS SOUPS 41528 WITH SCORE 41586.805
AT ITER 7024 NEW BEST:: SOT 203955 SOS 58635 HAS SOPS 58635 HAS SOUS 41358 HAS SOUPS 41358 WITH SCORE 41416.635
AT ITER 7032 NEW BEST:: SOT 203955 SOS 58597 HAS SOPS 58597 HAS SOUS 41358 HAS SOUPS 41358 WITH SCORE 41416.597
AT ITER 7067 NEW BEST:: SOT 203938 SOS 58596 HAS SOPS 58596 HAS SOUS 41357 HAS SOUPS 41357 WITH SCORE 41415.596
AT ITER 7069 NEW BEST:: SOT 203902 SOS 58570 HAS SOPS 58570 HAS SOUS 41331 HAS SOUPS 41331 WITH SCORE 41389.57
AT ITER 7107 NEW BEST:: SOT 203904 SOS 58524 HAS SOPS 58524 HAS SOUS 41235 HAS SOUPS 41235 WITH SCORE 41293.524
AT ITER 7145 NEW BEST:: SOT 203904 SOS 58498 HAS SOPS 58498 HAS SOUS 41209 HAS SOUPS 41209 WITH SCORE 41267.498
AT ITER 7224 NEW BEST:: SOT 203833 SOS 58437 HAS SOPS 58437 HAS SOUS 41153 HAS SOUPS 41153 WITH SCORE 41211.437
AT ITER 7241 NEW BEST:: SOT 203833 SOS 58435 HAS SOPS 58435 HAS SOUS 41153 HAS SOUPS 41153 WITH SCORE 41211.435
AT ITER 7281 NEW BEST:: SOT 203815 SOS 58441 HAS SOPS 58441 HAS SOUS 41135 HAS SOUPS 41135 WITH SCORE 41193.441
AT ITER 7315 NEW BEST:: SOT 203783 SOS 58441 HAS SOPS 58441 HAS SOUS 41115 HAS SOUPS 41115 WITH SCORE 41173.441
AT ITER 7321 NEW BEST:: SOT 203783 SOS 58396 HAS SOPS 58396 HAS SOUS 41070 HAS SOUPS 41070 WITH SCORE 41128.396
AT ITER 7350 NEW BEST:: SOT 203588 SOS 58388 HAS SOPS 58388 HAS SOUS 41062 HAS SOUPS 41062 WITH SCORE 41120.388
AT ITER 7364 NEW BEST:: SOT 203566 SOS 58340 HAS SOPS 58340 HAS SOUS 41036 HAS SOUPS 41036 WITH SCORE 41094.34
AT ITER 7366 NEW BEST:: SOT 203563 SOS 58334 HAS SOPS 58334 HAS SOUS 41030 HAS SOUPS 41030 WITH SCORE 41088.334
AT ITER 7373 NEW BEST:: SOT 203563 SOS 58306 HAS SOPS 58306 HAS SOUS 40974 HAS SOUPS 40974 WITH SCORE 41032.306
AT ITER 7378 NEW BEST:: SOT 203563 SOS 57790 HAS SOPS 57790 HAS SOUS 40931 HAS SOUPS 40931 WITH SCORE 40988.79
AT ITER 7400 NEW BEST:: SOT 203563 SOS 57771 HAS SOPS 57771 HAS SOUS 40912 HAS SOUPS 40912 WITH SCORE 40969.771
AT ITER 7410 NEW BEST:: SOT 203587 SOS 57753 HAS SOPS 57753 HAS SOUS 40894 HAS SOUPS 40894 WITH SCORE 40951.753
AT ITER 7431 NEW BEST:: SOT 203589 SOS 57734 HAS SOPS 57734 HAS SOUS 40873 HAS SOUPS 40873 WITH SCORE 40930.734
AT ITER 7459 NEW BEST:: SOT 203576 SOS 57722 HAS SOPS 57722 HAS SOUS 40861 HAS SOUPS 40861 WITH SCORE 40918.722
AT ITER 7475 NEW BEST:: SOT 203540 SOS 57650 HAS SOPS 57650 HAS SOUS 40789 HAS SOUPS 40789 WITH SCORE 40846.65
AT ITER 7482 NEW BEST:: SOT 203540 SOS 57629 HAS SOPS 57629 HAS SOUS 40771 HAS SOUPS 40771 WITH SCORE 40828.629
AT ITER 7490 NEW BEST:: SOT 203501 SOS 57605 HAS SOPS 57605 HAS SOUS 40732 HAS SOUPS 40732 WITH SCORE 40789.605
AT ITER 7496 NEW BEST:: SOT 203467 SOS 57590 HAS SOPS 57590 HAS SOUS 40717 HAS SOUPS 40717 WITH SCORE 40774.59
AT ITER 7498 NEW BEST:: SOT 203468 SOS 57572 HAS SOPS 57572 HAS SOUS 40699 HAS SOUPS 40699 WITH SCORE 40756.572
AT ITER 7512 NEW BEST:: SOT 203423 SOS 57562 HAS SOPS 57562 HAS SOUS 40683 HAS SOUPS 40683 WITH SCORE 40740.562
AT ITER 7522 NEW BEST:: SOT 203423 SOS 57561 HAS SOPS 57561 HAS SOUS 40682 HAS SOUPS 40682 WITH SCORE 40739.561
AT ITER 7544 NEW BEST:: SOT 203416 SOS 57540 HAS SOPS 57540 HAS SOUS 40661 HAS SOUPS 40661 WITH SCORE 40718.54
AT ITER 7550 NEW BEST:: SOT 203367 SOS 57504 HAS SOPS 57504 HAS SOUS 40625 HAS SOUPS 40625 WITH SCORE 40682.504
AT ITER 7553 NEW BEST:: SOT 203262 SOS 57294 HAS SOPS 57294 HAS SOUS 40415 HAS SOUPS 40415 WITH SCORE 40472.294
AT ITER 7593 NEW BEST:: SOT 203206 SOS 57282 HAS SOPS 57282 HAS SOUS 40403 HAS SOUPS 40403 WITH SCORE 40460.282
AT ITER 7615 NEW BEST:: SOT 203205 SOS 57281 HAS SOPS 57281 HAS SOUS 40402 HAS SOUPS 40402 WITH SCORE 40459.281
AT ITER 7662 NEW BEST:: SOT 203188 SOS 57247 HAS SOPS 57247 HAS SOUS 40391 HAS SOUPS 40391 WITH SCORE 40448.247
AT ITER 7721 NEW BEST:: SOT 203185 SOS 57243 HAS SOPS 57243 HAS SOUS 40389 HAS SOUPS 40389 WITH SCORE 40446.243
AT ITER 7729 NEW BEST:: SOT 203185 SOS 57238 HAS SOPS 57238 HAS SOUS 40384 HAS SOUPS 40384 WITH SCORE 40441.238
AT ITER 7770 NEW BEST:: SOT 203185 SOS 57236 HAS SOPS 57236 HAS SOUS 40382 HAS SOUPS 40382 WITH SCORE 40439.236
AT ITER 7782 NEW BEST:: SOT 203150 SOS 57236 HAS SOPS 57236 HAS SOUS 40354 HAS SOUPS 40354 WITH SCORE 40411.236
AT ITER 7858 NEW BEST:: SOT 203143 SOS 57222 HAS SOPS 57222 HAS SOUS 40340 HAS SOUPS 40340 WITH SCORE 40397.222
AT ITER 7931 NEW BEST:: SOT 203143 SOS 57201 HAS SOPS 57201 HAS SOUS 40319 HAS SOUPS 40319 WITH SCORE 40376.201
AT ITER 7957 NEW BEST:: SOT 203141 SOS 57197 HAS SOPS 57197 HAS SOUS 40317 HAS SOUPS 40317 WITH SCORE 40374.197
AT ITER 7993 NEW BEST:: SOT 203140 SOS 57195 HAS SOPS 57195 HAS SOUS 40315 HAS SOUPS 40315 WITH SCORE 40372.195
AT ITER 7994 NEW BEST:: SOT 203012 SOS 56939 HAS SOPS 56939 HAS SOUS 40164 HAS SOUPS 40164 WITH SCORE 40220.939
AT ITER 8006 NEW BEST:: SOT 203045 SOS 56930 HAS SOPS 56930 HAS SOUS 40155 HAS SOUPS 40155 WITH SCORE 40211.93
AT ITER 8067 NEW BEST:: SOT 202940 SOS 56825 HAS SOPS 56825 HAS SOUS 40155 HAS SOUPS 40155 WITH SCORE 40211.825
AT ITER 8092 NEW BEST:: SOT 202946 SOS 56806 HAS SOPS 56806 HAS SOUS 40136 HAS SOUPS 40136 WITH SCORE 40192.806
AT ITER 8122 NEW BEST:: SOT 202975 SOS 56801 HAS SOPS 56801 HAS SOUS 40131 HAS SOUPS 40131 WITH SCORE 40187.801
AT ITER 8125 NEW BEST:: SOT 203020 SOS 56846 HAS SOPS 56846 HAS SOUS 40113 HAS SOUPS 40113 WITH SCORE 40169.846
AT ITER 8134 NEW BEST:: SOT 203013 SOS 56843 HAS SOPS 56843 HAS SOUS 40110 HAS SOUPS 40110 WITH SCORE 40166.843
AT ITER 8141 NEW BEST:: SOT 203022 SOS 56835 HAS SOPS 56835 HAS SOUS 40102 HAS SOUPS 40102 WITH SCORE 40158.835
AT ITER 8160 NEW BEST:: SOT 203022 SOS 56831 HAS SOPS 56831 HAS SOUS 40098 HAS SOUPS 40098 WITH SCORE 40154.831
AT ITER 8168 NEW BEST:: SOT 203023 SOS 56824 HAS SOPS 56824 HAS SOUS 40091 HAS SOUPS 40091 WITH SCORE 40147.824
AT ITER 8189 NEW BEST:: SOT 203033 SOS 56844 HAS SOPS 56844 HAS SOUS 40090 HAS SOUPS 40090 WITH SCORE 40146.844
AT ITER 8214 NEW BEST:: SOT 203017 SOS 56828 HAS SOPS 56828 HAS SOUS 40074 HAS SOUPS 40074 WITH SCORE 40130.828
AT ITER 8269 NEW BEST:: SOT 203013 SOS 56820 HAS SOPS 56820 HAS SOUS 40066 HAS SOUPS 40066 WITH SCORE 40122.82
AT ITER 8308 NEW BEST:: SOT 203009 SOS 56812 HAS SOPS 56812 HAS SOUS 40062 HAS SOUPS 40062 WITH SCORE 40118.812
AT ITER 8331 NEW BEST:: SOT 203004 SOS 56807 HAS SOPS 56807 HAS SOUS 40057 HAS SOUPS 40057 WITH SCORE 40113.807
AT ITER 8364 NEW BEST:: SOT 202941 SOS 56718 HAS SOPS 56718 HAS SOUS 40012 HAS SOUPS 40012 WITH SCORE 40068.718
AT ITER 8372 NEW BEST:: SOT 203035 SOS 56794 HAS SOPS 56794 HAS SOUS 39976 HAS SOUPS 39976 WITH SCORE 40032.794
AT ITER 8380 NEW BEST:: SOT 203023 SOS 56770 HAS SOPS 56770 HAS SOUS 39952 HAS SOUPS 39952 WITH SCORE 40008.77
AT ITER 8400 NEW BEST:: SOT 203031 SOS 56763 HAS SOPS 56763 HAS SOUS 39945 HAS SOUPS 39945 WITH SCORE 40001.763
AT ITER 8401 NEW BEST:: SOT 203008 SOS 56761 HAS SOPS 56761 HAS SOUS 39943 HAS SOUPS 39943 WITH SCORE 39999.761
AT ITER 8409 NEW BEST:: SOT 203002 SOS 56749 HAS SOPS 56749 HAS SOUS 39914 HAS SOUPS 39914 WITH SCORE 39970.749
AT ITER 8454 NEW BEST:: SOT 202967 SOS 56714 HAS SOPS 56714 HAS SOUS 39879 HAS SOUPS 39879 WITH SCORE 39935.714
AT ITER 8477 NEW BEST:: SOT 202972 SOS 56713 HAS SOPS 56713 HAS SOUS 39878 HAS SOUPS 39878 WITH SCORE 39934.713
AT ITER 8497 NEW BEST:: SOT 202972 SOS 56702 HAS SOPS 56702 HAS SOUS 39867 HAS SOUPS 39867 WITH SCORE 39923.702
AT ITER 8503 NEW BEST:: SOT 202970 SOS 56698 HAS SOPS 56698 HAS SOUS 39863 HAS SOUPS 39863 WITH SCORE 39919.698
AT ITER 8510 NEW BEST:: SOT 202966 SOS 56694 HAS SOPS 56694 HAS SOUS 39859 HAS SOUPS 39859 WITH SCORE 39915.694
AT ITER 8517 NEW BEST:: SOT 203015 SOS 56693 HAS SOPS 56693 HAS SOUS 39858 HAS SOUPS 39858 WITH SCORE 39914.693
AT ITER 8525 NEW BEST:: SOT 202993 SOS 56688 HAS SOPS 56688 HAS SOUS 39835 HAS SOUPS 39835 WITH SCORE 39891.688
AT ITER 8532 NEW BEST:: SOT 202992 SOS 56686 HAS SOPS 56686 HAS SOUS 39833 HAS SOUPS 39833 WITH SCORE 39889.686
AT ITER 8552 NEW BEST:: SOT 202982 SOS 56666 HAS SOPS 56666 HAS SOUS 39813 HAS SOUPS 39813 WITH SCORE 39869.666
AT ITER 8594 NEW BEST:: SOT 202941 SOS 56670 HAS SOPS 56670 HAS SOUS 39794 HAS SOUPS 39794 WITH SCORE 39850.67
AT ITER 8599 NEW BEST:: SOT 202912 SOS 56656 HAS SOPS 56656 HAS SOUS 39780 HAS SOUPS 39780 WITH SCORE 39836.656
AT ITER 8611 NEW BEST:: SOT 202925 SOS 56676 HAS SOPS 56676 HAS SOUS 39778 HAS SOUPS 39778 WITH SCORE 39834.676
AT ITER 8640 NEW BEST:: SOT 202935 SOS 56686 HAS SOPS 56686 HAS SOUS 39776 HAS SOUPS 39776 WITH SCORE 39832.686
AT ITER 8660 NEW BEST:: SOT 202835 SOS 56571 HAS SOPS 56571 HAS SOUS 39661 HAS SOUPS 39661 WITH SCORE 39717.571
AT ITER 8700 NEW BEST:: SOT 202790 SOS 56509 HAS SOPS 56509 HAS SOUS 39627 HAS SOUPS 39627 WITH SCORE 39683.509
AT ITER 8770 NEW BEST:: SOT 202752 SOS 56433 HAS SOPS 56433 HAS SOUS 39612 HAS SOUPS 39612 WITH SCORE 39668.433
AT ITER 8807 NEW BEST:: SOT 202759 SOS 56377 HAS SOPS 56377 HAS SOUS 39556 HAS SOUPS 39556 WITH SCORE 39612.377
AT ITER 8841 NEW BEST:: SOT 202668 SOS 56286 HAS SOPS 56286 HAS SOUS 39533 HAS SOUPS 39533 WITH SCORE 39589.286
AT ITER 8899 NEW BEST:: SOT 202668 SOS 56279 HAS SOPS 56279 HAS SOUS 39514 HAS SOUPS 39514 WITH SCORE 39570.279
AT ITER 8971 NEW BEST:: SOT 202644 SOS 56257 HAS SOPS 56257 HAS SOUS 39506 HAS SOUPS 39506 WITH SCORE 39562.257
AT ITER 9002 NEW BEST:: SOT 202630 SOS 56253 HAS SOPS 56253 HAS SOUS 39502 HAS SOUPS 39502 WITH SCORE 39558.253
AT ITER 9055 NEW BEST:: SOT 202585 SOS 56212 HAS SOPS 56212 HAS SOUS 39482 HAS SOUPS 39482 WITH SCORE 39538.212
AT ITER 9084 NEW BEST:: SOT 202523 SOS 56210 HAS SOPS 56210 HAS SOUS 39480 HAS SOUPS 39480 WITH SCORE 39536.21
AT ITER 9093 NEW BEST:: SOT 202523 SOS 56207 HAS SOPS 56207 HAS SOUS 39477 HAS SOUPS 39477 WITH SCORE 39533.207
AT ITER 9156 NEW BEST:: SOT 202512 SOS 56196 HAS SOPS 56196 HAS SOUS 39466 HAS SOUPS 39466 WITH SCORE 39522.196
AT ITER 9176 NEW BEST:: SOT 202503 SOS 56183 HAS SOPS 56183 HAS SOUS 39437 HAS SOUPS 39437 WITH SCORE 39493.183
AT ITER 9231 NEW BEST:: SOT 202503 SOS 56174 HAS SOPS 56174 HAS SOUS 39437 HAS SOUPS 39437 WITH SCORE 39493.174
AT ITER 9309 NEW BEST:: SOT 202525 SOS 56218 HAS SOPS 56218 HAS SOUS 39423 HAS SOUPS 39423 WITH SCORE 39479.218
AT ITER 9389 NEW BEST:: SOT 202455 SOS 56100 HAS SOPS 56100 HAS SOUS 39353 HAS SOUPS 39353 WITH SCORE 39409.1
AT ITER 9395 NEW BEST:: SOT 202472 SOS 56096 HAS SOPS 56096 HAS SOUS 39349 HAS SOUPS 39349 WITH SCORE 39405.096
AT ITER 9411 NEW BEST:: SOT 202470 SOS 56098 HAS SOPS 56098 HAS SOUS 39345 HAS SOUPS 39345 WITH SCORE 39401.098
AT ITER 9423 NEW BEST:: SOT 202452 SOS 56062 HAS SOPS 56062 HAS SOUS 39309 HAS SOUPS 39309 WITH SCORE 39365.062
AT ITER 9441 NEW BEST:: SOT 202452 SOS 56062 HAS SOPS 56062 HAS SOUS 39299 HAS SOUPS 39299 WITH SCORE 39355.062
AT ITER 9461 NEW BEST:: SOT 202452 SOS 56053 HAS SOPS 56053 HAS SOUS 39290 HAS SOUPS 39290 WITH SCORE 39346.053
AT ITER 9487 NEW BEST:: SOT 202544 SOS 55904 HAS SOPS 55904 HAS SOUS 39257 HAS SOUPS 39257 WITH SCORE 39312.904
AT ITER 9502 NEW BEST:: SOT 202554 SOS 55866 HAS SOPS 55866 HAS SOUS 39219 HAS SOUPS 39219 WITH SCORE 39274.866
AT ITER 9518 NEW BEST:: SOT 202554 SOS 55860 HAS SOPS 55860 HAS SOUS 39216 HAS SOUPS 39216 WITH SCORE 39271.86
AT ITER 9521 NEW BEST:: SOT 202549 SOS 55855 HAS SOPS 55855 HAS SOUS 39211 HAS SOUPS 39211 WITH SCORE 39266.855
AT ITER 9537 NEW BEST:: SOT 202471 SOS 55918 HAS SOPS 55918 HAS SOUS 39196 HAS SOUPS 39196 WITH SCORE 39251.918
AT ITER 9564 NEW BEST:: SOT 202446 SOS 55836 HAS SOPS 55836 HAS SOUS 39114 HAS SOUPS 39114 WITH SCORE 39169.836
AT ITER 9578 NEW BEST:: SOT 202445 SOS 55835 HAS SOPS 55835 HAS SOUS 39114 HAS SOUPS 39114 WITH SCORE 39169.835
AT ITER 9607 NEW BEST:: SOT 202445 SOS 55814 HAS SOPS 55814 HAS SOUS 39100 HAS SOUPS 39100 WITH SCORE 39155.814
AT ITER 9608 NEW BEST:: SOT 202441 SOS 55689 HAS SOPS 55689 HAS SOUS 39072 HAS SOUPS 39072 WITH SCORE 39127.689
AT ITER 9625 NEW BEST:: SOT 202441 SOS 55689 HAS SOPS 55689 HAS SOUS 39067 HAS SOUPS 39067 WITH SCORE 39122.689
AT ITER 9653 NEW BEST:: SOT 202341 SOS 55489 HAS SOPS 55489 HAS SOUS 39067 HAS SOUPS 39067 WITH SCORE 39122.489
AT ITER 9682 NEW BEST:: SOT 202342 SOS 55481 HAS SOPS 55481 HAS SOUS 39046 HAS SOUPS 39046 WITH SCORE 39101.481
AT ITER 9700 NEW BEST:: SOT 202342 SOS 55265 HAS SOPS 55265 HAS SOUS 38978 HAS SOUPS 38978 WITH SCORE 39033.265
AT ITER 9722 NEW BEST:: SOT 202327 SOS 55235 HAS SOPS 55235 HAS SOUS 38948 HAS SOUPS 38948 WITH SCORE 39003.235
AT ITER 9739 NEW BEST:: SOT 202297 SOS 55218 HAS SOPS 55218 HAS SOUS 38931 HAS SOUPS 38931 WITH SCORE 38986.218
AT ITER 9789 NEW BEST:: SOT 202286 SOS 55196 HAS SOPS 55196 HAS SOUS 38894 HAS SOUPS 38894 WITH SCORE 38949.196
AT ITER 9800 NEW BEST:: SOT 202248 SOS 57375 HAS SOPS 57375 HAS SOUS 38885 HAS SOUPS 38885 WITH SCORE 38942.375
AT ITER 9829 NEW BEST:: SOT 202695 SOS 57646 HAS SOPS 57646 HAS SOUS 38833 HAS SOUPS 38833 WITH SCORE 38890.646
AT ITER 9850 NEW BEST:: SOT 202786 SOS 57646 HAS SOPS 57646 HAS SOUS 38742 HAS SOUPS 38742 WITH SCORE 38799.646
AT ITER 9851 NEW BEST:: SOT 202776 SOS 57652 HAS SOPS 57652 HAS SOUS 38722 HAS SOUPS 38722 WITH SCORE 38779.652
AT ITER 9890 NEW BEST:: SOT 202776 SOS 57642 HAS SOPS 57642 HAS SOUS 38716 HAS SOUPS 38716 WITH SCORE 38773.642
AT ITER 9908 NEW BEST:: SOT 202776 SOS 57641 HAS SOPS 57641 HAS SOUS 38715 HAS SOUPS 38715 WITH SCORE 38772.641
AT ITER 9914 NEW BEST:: SOT 202776 SOS 57597 HAS SOPS 57597 HAS SOUS 38671 HAS SOUPS 38671 WITH SCORE 38728.597
AT ITER 9931 NEW BEST:: SOT 202775 SOS 57595 HAS SOPS 57595 HAS SOUS 38669 HAS SOUPS 38669 WITH SCORE 38726.595
AT ITER 9985 NEW BEST:: SOT 202761 SOS 57567 HAS SOPS 57567 HAS SOUS 38655 HAS SOUPS 38655 WITH SCORE 38712.567
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 13827468 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16156788 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="BusinessProcesses-PT-17"
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 BusinessProcesses-PT-17, 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 r035-tajo-167813688400584"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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