Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813590300032.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ASLink-PT-02a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590300032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 664K
-rw-r--r-- 1 mcc users 7.9K Feb 26 13:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 13:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 13:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 13:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 13:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 26 13:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 13:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 13:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 279K 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 1678469049819

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-02a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 02a
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: 626 places, 1008 transitions, 3820 arcs.
AT ITER 0 NEW BEST:: SOT 346575 SOS 237428 HAS SOPS 237428 HAS SOUS 138866 HAS SOUPS 138866 WITH SCORE 139103.428
AT ITER 5 NEW BEST:: SOT 346569 SOS 237416 HAS SOPS 237416 HAS SOUS 138853 HAS SOUPS 138853 WITH SCORE 139090.416
AT ITER 10 NEW BEST:: SOT 346378 SOS 237264 HAS SOPS 237264 HAS SOUS 138711 HAS SOUPS 138711 WITH SCORE 138948.264
AT ITER 13 NEW BEST:: SOT 346335 SOS 237221 HAS SOPS 237221 HAS SOUS 138710 HAS SOUPS 138710 WITH SCORE 138947.221
AT ITER 19 NEW BEST:: SOT 346335 SOS 237221 HAS SOPS 237221 HAS SOUS 138709 HAS SOUPS 138709 WITH SCORE 138946.221
AT ITER 20 NEW BEST:: SOT 346259 SOS 235961 HAS SOPS 235961 HAS SOUS 138633 HAS SOUPS 138633 WITH SCORE 138868.961
AT ITER 21 NEW BEST:: SOT 346259 SOS 235743 HAS SOPS 235743 HAS SOUS 138632 HAS SOUPS 138632 WITH SCORE 138867.743
AT ITER 29 NEW BEST:: SOT 346259 SOS 235741 HAS SOPS 235741 HAS SOUS 138630 HAS SOUPS 138630 WITH SCORE 138865.741
AT ITER 47 NEW BEST:: SOT 346204 SOS 235736 HAS SOPS 235736 HAS SOUS 138625 HAS SOUPS 138625 WITH SCORE 138860.736
AT ITER 49 NEW BEST:: SOT 346219 SOS 235713 HAS SOPS 235713 HAS SOUS 138606 HAS SOUPS 138606 WITH SCORE 138841.713
AT ITER 58 NEW BEST:: SOT 346219 SOS 234821 HAS SOPS 234821 HAS SOUS 138605 HAS SOUPS 138605 WITH SCORE 138839.821
AT ITER 70 NEW BEST:: SOT 346149 SOS 234560 HAS SOPS 234560 HAS SOUS 138464 HAS SOUPS 138464 WITH SCORE 138698.56
AT ITER 77 NEW BEST:: SOT 346147 SOS 234558 HAS SOPS 234558 HAS SOUS 138462 HAS SOUPS 138462 WITH SCORE 138696.558
AT ITER 80 NEW BEST:: SOT 345279 SOS 234274 HAS SOPS 234274 HAS SOUS 137737 HAS SOUPS 137737 WITH SCORE 137971.274
AT ITER 81 NEW BEST:: SOT 345122 SOS 234117 HAS SOPS 234117 HAS SOUS 137737 HAS SOUPS 137737 WITH SCORE 137971.117
AT ITER 82 NEW BEST:: SOT 345154 SOS 233762 HAS SOPS 233762 HAS SOUS 137601 HAS SOUPS 137601 WITH SCORE 137834.762
AT ITER 88 NEW BEST:: SOT 344892 SOS 233900 HAS SOPS 233900 HAS SOUS 137512 HAS SOUPS 137512 WITH SCORE 137745.9
AT ITER 89 NEW BEST:: SOT 344685 SOS 233693 HAS SOPS 233693 HAS SOUS 137473 HAS SOUPS 137473 WITH SCORE 137706.693
AT ITER 103 NEW BEST:: SOT 344619 SOS 233627 HAS SOPS 233627 HAS SOUS 137471 HAS SOUPS 137471 WITH SCORE 137704.627
AT ITER 104 NEW BEST:: SOT 344425 SOS 233429 HAS SOPS 233429 HAS SOUS 137321 HAS SOUPS 137321 WITH SCORE 137554.429
AT ITER 107 NEW BEST:: SOT 344251 SOS 233417 HAS SOPS 233417 HAS SOUS 137316 HAS SOUPS 137316 WITH SCORE 137549.417
AT ITER 114 NEW BEST:: SOT 341805 SOS 230971 HAS SOPS 230971 HAS SOUS 134974 HAS SOUPS 134974 WITH SCORE 135204.971
AT ITER 119 NEW BEST:: SOT 341739 SOS 230905 HAS SOPS 230905 HAS SOUS 134971 HAS SOUPS 134971 WITH SCORE 135201.905
AT ITER 122 NEW BEST:: SOT 342841 SOS 231799 HAS SOPS 231799 HAS SOUS 134871 HAS SOUPS 134871 WITH SCORE 135102.799
AT ITER 125 NEW BEST:: SOT 342788 SOS 231673 HAS SOPS 231673 HAS SOUS 134849 HAS SOUPS 134849 WITH SCORE 135080.673
AT ITER 139 NEW BEST:: SOT 342226 SOS 232333 HAS SOPS 232333 HAS SOUS 134696 HAS SOUPS 134696 WITH SCORE 134928.333
AT ITER 140 NEW BEST:: SOT 337574 SOS 228574 HAS SOPS 228574 HAS SOUS 130339 HAS SOUPS 130339 WITH SCORE 130567.574
AT ITER 150 NEW BEST:: SOT 335446 SOS 226446 HAS SOPS 226446 HAS SOUS 128211 HAS SOUPS 128211 WITH SCORE 128437.446
AT ITER 168 NEW BEST:: SOT 333258 SOS 224258 HAS SOPS 224258 HAS SOUS 126018 HAS SOUPS 126018 WITH SCORE 126242.258
AT ITER 177 NEW BEST:: SOT 332955 SOS 225125 HAS SOPS 225125 HAS SOUS 125769 HAS SOUPS 125769 WITH SCORE 125994.125
AT ITER 190 NEW BEST:: SOT 332955 SOS 225125 HAS SOPS 225125 HAS SOUS 125591 HAS SOUPS 125591 WITH SCORE 125816.125
AT ITER 195 NEW BEST:: SOT 332767 SOS 224937 HAS SOPS 224937 HAS SOUS 125586 HAS SOUPS 125586 WITH SCORE 125810.937
AT ITER 197 NEW BEST:: SOT 332685 SOS 224855 HAS SOPS 224855 HAS SOUS 125503 HAS SOUPS 125503 WITH SCORE 125727.855
AT ITER 198 NEW BEST:: SOT 332442 SOS 224348 HAS SOPS 224348 HAS SOUS 125261 HAS SOUPS 125261 WITH SCORE 125485.348
AT ITER 208 NEW BEST:: SOT 332073 SOS 224270 HAS SOPS 224270 HAS SOUS 125183 HAS SOUPS 125183 WITH SCORE 125407.27
AT ITER 213 NEW BEST:: SOT 330572 SOS 223492 HAS SOPS 223492 HAS SOUS 123911 HAS SOUPS 123911 WITH SCORE 124134.492
AT ITER 214 NEW BEST:: SOT 329255 SOS 222175 HAS SOPS 222175 HAS SOUS 122594 HAS SOUPS 122594 WITH SCORE 122816.175
AT ITER 219 NEW BEST:: SOT 329255 SOS 221961 HAS SOPS 221961 HAS SOUS 122593 HAS SOUPS 122593 WITH SCORE 122814.961
AT ITER 225 NEW BEST:: SOT 329068 SOS 221520 HAS SOPS 221520 HAS SOUS 122152 HAS SOUPS 122152 WITH SCORE 122373.52
AT ITER 234 NEW BEST:: SOT 328613 SOS 221065 HAS SOPS 221065 HAS SOUS 121697 HAS SOUPS 121697 WITH SCORE 121918.065
AT ITER 239 NEW BEST:: SOT 328596 SOS 221048 HAS SOPS 221048 HAS SOUS 121652 HAS SOUPS 121652 WITH SCORE 121873.048
AT ITER 252 NEW BEST:: SOT 328625 SOS 220747 HAS SOPS 220747 HAS SOUS 121425 HAS SOUPS 121425 WITH SCORE 121645.747
AT ITER 259 NEW BEST:: SOT 328620 SOS 220742 HAS SOPS 220742 HAS SOUS 121415 HAS SOUPS 121415 WITH SCORE 121635.742
AT ITER 261 NEW BEST:: SOT 329422 SOS 221764 HAS SOPS 221764 HAS SOUS 121392 HAS SOUPS 121392 WITH SCORE 121613.764
AT ITER 262 NEW BEST:: SOT 329222 SOS 221646 HAS SOPS 221646 HAS SOUS 121178 HAS SOUPS 121178 WITH SCORE 121399.646
AT ITER 264 NEW BEST:: SOT 328909 SOS 221333 HAS SOPS 221333 HAS SOUS 120863 HAS SOUPS 120863 WITH SCORE 121084.333
AT ITER 273 NEW BEST:: SOT 328909 SOS 221333 HAS SOPS 221333 HAS SOUS 120861 HAS SOUPS 120861 WITH SCORE 121082.333
AT ITER 278 NEW BEST:: SOT 328909 SOS 221481 HAS SOPS 221481 HAS SOUS 120860 HAS SOUPS 120860 WITH SCORE 121081.481
AT ITER 299 NEW BEST:: SOT 328603 SOS 220602 HAS SOPS 220602 HAS SOUS 119981 HAS SOUPS 119981 WITH SCORE 120201.602
AT ITER 300 NEW BEST:: SOT 328602 SOS 220246 HAS SOPS 220246 HAS SOUS 119979 HAS SOUPS 119979 WITH SCORE 120199.246
AT ITER 310 NEW BEST:: SOT 328602 SOS 220088 HAS SOPS 220088 HAS SOUS 119821 HAS SOUPS 119821 WITH SCORE 120041.088
AT ITER 313 NEW BEST:: SOT 328449 SOS 219935 HAS SOPS 219935 HAS SOUS 119648 HAS SOUPS 119648 WITH SCORE 119867.935
AT ITER 315 NEW BEST:: SOT 328400 SOS 219837 HAS SOPS 219837 HAS SOUS 119550 HAS SOUPS 119550 WITH SCORE 119769.837
AT ITER 316 NEW BEST:: SOT 328251 SOS 219409 HAS SOPS 219409 HAS SOUS 119529 HAS SOUPS 119529 WITH SCORE 119748.409
AT ITER 317 NEW BEST:: SOT 328211 SOS 219165 HAS SOPS 219165 HAS SOUS 119420 HAS SOUPS 119420 WITH SCORE 119639.165
AT ITER 319 NEW BEST:: SOT 328076 SOS 217471 HAS SOPS 217471 HAS SOUS 119130 HAS SOUPS 119130 WITH SCORE 119347.471
AT ITER 327 NEW BEST:: SOT 328072 SOS 217333 HAS SOPS 217333 HAS SOUS 119083 HAS SOUPS 119083 WITH SCORE 119300.333
AT ITER 328 NEW BEST:: SOT 327896 SOS 216424 HAS SOPS 216424 HAS SOUS 118453 HAS SOUPS 118453 WITH SCORE 118669.424
AT ITER 331 NEW BEST:: SOT 326326 SOS 214858 HAS SOPS 214858 HAS SOUS 116788 HAS SOUPS 116788 WITH SCORE 117002.858
AT ITER 336 NEW BEST:: SOT 326200 SOS 214591 HAS SOPS 214591 HAS SOUS 116662 HAS SOUPS 116662 WITH SCORE 116876.591
AT ITER 343 NEW BEST:: SOT 326200 SOS 214518 HAS SOPS 214518 HAS SOUS 116662 HAS SOUPS 116662 WITH SCORE 116876.518
AT ITER 348 NEW BEST:: SOT 326200 SOS 214482 HAS SOPS 214482 HAS SOUS 116661 HAS SOUPS 116661 WITH SCORE 116875.482
AT ITER 367 NEW BEST:: SOT 326200 SOS 214480 HAS SOPS 214480 HAS SOUS 116660 HAS SOUPS 116660 WITH SCORE 116874.48
AT ITER 376 NEW BEST:: SOT 326199 SOS 214479 HAS SOPS 214479 HAS SOUS 116659 HAS SOUPS 116659 WITH SCORE 116873.479
AT ITER 381 NEW BEST:: SOT 326193 SOS 214240 HAS SOPS 214240 HAS SOUS 116484 HAS SOUPS 116484 WITH SCORE 116698.24
AT ITER 384 NEW BEST:: SOT 326276 SOS 214240 HAS SOPS 214240 HAS SOUS 116474 HAS SOUPS 116474 WITH SCORE 116688.24
AT ITER 386 NEW BEST:: SOT 326222 SOS 214186 HAS SOPS 214186 HAS SOUS 116416 HAS SOUPS 116416 WITH SCORE 116630.186
AT ITER 388 NEW BEST:: SOT 326153 SOS 214117 HAS SOPS 214117 HAS SOUS 116347 HAS SOUPS 116347 WITH SCORE 116561.117
AT ITER 389 NEW BEST:: SOT 325943 SOS 213907 HAS SOPS 213907 HAS SOUS 116133 HAS SOUPS 116133 WITH SCORE 116346.907
AT ITER 398 NEW BEST:: SOT 325726 SOS 214319 HAS SOPS 214319 HAS SOUS 116109 HAS SOUPS 116109 WITH SCORE 116323.319
AT ITER 412 NEW BEST:: SOT 325464 SOS 214057 HAS SOPS 214057 HAS SOUS 115847 HAS SOUPS 115847 WITH SCORE 116061.057
AT ITER 419 NEW BEST:: SOT 325428 SOS 214084 HAS SOPS 214084 HAS SOUS 115802 HAS SOUPS 115802 WITH SCORE 116016.084
AT ITER 421 NEW BEST:: SOT 325420 SOS 214076 HAS SOPS 214076 HAS SOUS 115740 HAS SOUPS 115740 WITH SCORE 115954.076
AT ITER 429 NEW BEST:: SOT 325364 SOS 214018 HAS SOPS 214018 HAS SOUS 115696 HAS SOUPS 115696 WITH SCORE 115910.018
AT ITER 441 NEW BEST:: SOT 325114 SOS 213821 HAS SOPS 213821 HAS SOUS 115511 HAS SOUPS 115511 WITH SCORE 115724.821
AT ITER 446 NEW BEST:: SOT 324953 SOS 213609 HAS SOPS 213609 HAS SOUS 115116 HAS SOUPS 115116 WITH SCORE 115329.609
AT ITER 450 NEW BEST:: SOT 325080 SOS 213677 HAS SOPS 213677 HAS SOUS 115032 HAS SOUPS 115032 WITH SCORE 115245.677
AT ITER 451 NEW BEST:: SOT 325062 SOS 213659 HAS SOPS 213659 HAS SOUS 115014 HAS SOUPS 115014 WITH SCORE 115227.659
AT ITER 459 NEW BEST:: SOT 324957 SOS 213449 HAS SOPS 213449 HAS SOUS 114804 HAS SOUPS 114804 WITH SCORE 115017.449
AT ITER 464 NEW BEST:: SOT 324689 SOS 213141 HAS SOPS 213141 HAS SOUS 114496 HAS SOUPS 114496 WITH SCORE 114709.141
AT ITER 474 NEW BEST:: SOT 324689 SOS 213179 HAS SOPS 213179 HAS SOUS 114483 HAS SOUPS 114483 WITH SCORE 114696.179
AT ITER 478 NEW BEST:: SOT 322363 SOS 210853 HAS SOPS 210853 HAS SOUS 112157 HAS SOUPS 112157 WITH SCORE 112367.853
AT ITER 499 NEW BEST:: SOT 322113 SOS 210381 HAS SOPS 210381 HAS SOUS 111662 HAS SOUPS 111662 WITH SCORE 111872.381
AT ITER 510 NEW BEST:: SOT 321862 SOS 209877 HAS SOPS 209877 HAS SOUS 111158 HAS SOUPS 111158 WITH SCORE 111367.877
AT ITER 537 NEW BEST:: SOT 321770 SOS 209785 HAS SOPS 209785 HAS SOUS 111054 HAS SOUPS 111054 WITH SCORE 111263.785
AT ITER 538 NEW BEST:: SOT 321766 SOS 209781 HAS SOPS 209781 HAS SOUS 111050 HAS SOUPS 111050 WITH SCORE 111259.781
AT ITER 542 NEW BEST:: SOT 321766 SOS 209635 HAS SOPS 209635 HAS SOUS 110904 HAS SOUPS 110904 WITH SCORE 111113.635
AT ITER 551 NEW BEST:: SOT 321594 SOS 209579 HAS SOPS 209579 HAS SOUS 110654 HAS SOUPS 110654 WITH SCORE 110863.579
AT ITER 556 NEW BEST:: SOT 321267 SOS 209088 HAS SOPS 209088 HAS SOUS 110046 HAS SOUPS 110046 WITH SCORE 110255.088
AT ITER 579 NEW BEST:: SOT 321258 SOS 208651 HAS SOPS 208651 HAS SOUS 109893 HAS SOUPS 109893 WITH SCORE 110101.651
AT ITER 603 NEW BEST:: SOT 321041 SOS 208254 HAS SOPS 208254 HAS SOUS 109496 HAS SOUPS 109496 WITH SCORE 109704.254
AT ITER 607 NEW BEST:: SOT 321384 SOS 208403 HAS SOPS 208403 HAS SOUS 109382 HAS SOUPS 109382 WITH SCORE 109590.403
AT ITER 608 NEW BEST:: SOT 321430 SOS 207511 HAS SOPS 207511 HAS SOUS 109381 HAS SOUPS 109381 WITH SCORE 109588.511
AT ITER 634 NEW BEST:: SOT 321482 SOS 207265 HAS SOPS 207265 HAS SOUS 109329 HAS SOUPS 109329 WITH SCORE 109536.265
AT ITER 640 NEW BEST:: SOT 321475 SOS 207258 HAS SOPS 207258 HAS SOUS 109315 HAS SOUPS 109315 WITH SCORE 109522.258
AT ITER 658 NEW BEST:: SOT 321156 SOS 207037 HAS SOPS 207037 HAS SOUS 109094 HAS SOUPS 109094 WITH SCORE 109301.037
AT ITER 680 NEW BEST:: SOT 321156 SOS 207037 HAS SOPS 207037 HAS SOUS 109087 HAS SOUPS 109087 WITH SCORE 109294.037
AT ITER 694 NEW BEST:: SOT 321151 SOS 207501 HAS SOPS 207501 HAS SOUS 109085 HAS SOUPS 109085 WITH SCORE 109292.501
AT ITER 699 NEW BEST:: SOT 321202 SOS 207409 HAS SOPS 207409 HAS SOUS 109035 HAS SOUPS 109035 WITH SCORE 109242.409
AT ITER 703 NEW BEST:: SOT 321309 SOS 207328 HAS SOPS 207328 HAS SOUS 108972 HAS SOUPS 108972 WITH SCORE 109179.328
AT ITER 712 NEW BEST:: SOT 320855 SOS 206874 HAS SOPS 206874 HAS SOUS 108515 HAS SOUPS 108515 WITH SCORE 108721.874
AT ITER 722 NEW BEST:: SOT 317222 SOS 205956 HAS SOPS 205956 HAS SOUS 105197 HAS SOUPS 105197 WITH SCORE 105402.956
AT ITER 723 NEW BEST:: SOT 317222 SOS 205816 HAS SOPS 205816 HAS SOUS 105197 HAS SOUPS 105197 WITH SCORE 105402.816
AT ITER 735 NEW BEST:: SOT 317210 SOS 205792 HAS SOPS 205792 HAS SOUS 105173 HAS SOUPS 105173 WITH SCORE 105378.792
AT ITER 741 NEW BEST:: SOT 317101 SOS 205683 HAS SOPS 205683 HAS SOUS 105063 HAS SOUPS 105063 WITH SCORE 105268.683
AT ITER 744 NEW BEST:: SOT 316747 SOS 205329 HAS SOPS 205329 HAS SOUS 104787 HAS SOUPS 104787 WITH SCORE 104992.329
AT ITER 747 NEW BEST:: SOT 316744 SOS 205326 HAS SOPS 205326 HAS SOUS 104768 HAS SOUPS 104768 WITH SCORE 104973.326
AT ITER 757 NEW BEST:: SOT 316727 SOS 205224 HAS SOPS 205224 HAS SOUS 104734 HAS SOUPS 104734 WITH SCORE 104939.224
AT ITER 764 NEW BEST:: SOT 316817 SOS 204704 HAS SOPS 204704 HAS SOUS 104714 HAS SOUPS 104714 WITH SCORE 104918.704
AT ITER 766 NEW BEST:: SOT 311989 SOS 201981 HAS SOPS 201981 HAS SOUS 99932 HAS SOUPS 99932 WITH SCORE 100133.981
AT ITER 768 NEW BEST:: SOT 311945 SOS 201937 HAS SOPS 201937 HAS SOUS 99876 HAS SOUPS 99876 WITH SCORE 100077.937
AT ITER 775 NEW BEST:: SOT 311848 SOS 201840 HAS SOPS 201840 HAS SOUS 99779 HAS SOUPS 99779 WITH SCORE 99980.84
AT ITER 791 NEW BEST:: SOT 311848 SOS 201840 HAS SOPS 201840 HAS SOUS 99627 HAS SOUPS 99627 WITH SCORE 99828.84
AT ITER 794 NEW BEST:: SOT 311499 SOS 201725 HAS SOPS 201725 HAS SOUS 99384 HAS SOUPS 99384 WITH SCORE 99585.725
AT ITER 797 NEW BEST:: SOT 311368 SOS 201594 HAS SOPS 201594 HAS SOUS 99210 HAS SOUPS 99210 WITH SCORE 99411.594
AT ITER 799 NEW BEST:: SOT 311625 SOS 201155 HAS SOPS 201155 HAS SOUS 99147 HAS SOUPS 99147 WITH SCORE 99348.155
AT ITER 810 NEW BEST:: SOT 311625 SOS 201040 HAS SOPS 201040 HAS SOUS 98802 HAS SOUPS 98802 WITH SCORE 99003.04
AT ITER 824 NEW BEST:: SOT 311515 SOS 200820 HAS SOPS 200820 HAS SOUS 98429 HAS SOUPS 98429 WITH SCORE 98629.82
AT ITER 834 NEW BEST:: SOT 311503 SOS 200217 HAS SOPS 200217 HAS SOUS 98369 HAS SOUPS 98369 WITH SCORE 98569.217
AT ITER 837 NEW BEST:: SOT 311500 SOS 200280 HAS SOPS 200280 HAS SOUS 98288 HAS SOUPS 98288 WITH SCORE 98488.28
AT ITER 849 NEW BEST:: SOT 311294 SOS 198976 HAS SOPS 198976 HAS SOUS 97806 HAS SOUPS 97806 WITH SCORE 98004.976
AT ITER 853 NEW BEST:: SOT 311293 SOS 198975 HAS SOPS 198975 HAS SOUS 97750 HAS SOUPS 97750 WITH SCORE 97948.975
AT ITER 867 NEW BEST:: SOT 311293 SOS 198913 HAS SOPS 198913 HAS SOUS 97688 HAS SOUPS 97688 WITH SCORE 97886.913
AT ITER 872 NEW BEST:: SOT 311008 SOS 198518 HAS SOPS 198518 HAS SOUS 97293 HAS SOUPS 97293 WITH SCORE 97491.518
AT ITER 886 NEW BEST:: SOT 310102 SOS 197444 HAS SOPS 197444 HAS SOUS 96219 HAS SOUPS 96219 WITH SCORE 96416.444
AT ITER 891 NEW BEST:: SOT 309995 SOS 197337 HAS SOPS 197337 HAS SOUS 96112 HAS SOUPS 96112 WITH SCORE 96309.337
AT ITER 916 NEW BEST:: SOT 309994 SOS 197336 HAS SOPS 197336 HAS SOUS 96110 HAS SOUPS 96110 WITH SCORE 96307.336
AT ITER 927 NEW BEST:: SOT 309982 SOS 197422 HAS SOPS 197422 HAS SOUS 96086 HAS SOUPS 96086 WITH SCORE 96283.422
AT ITER 947 NEW BEST:: SOT 309982 SOS 197389 HAS SOPS 197389 HAS SOUS 96086 HAS SOUPS 96086 WITH SCORE 96283.389
AT ITER 954 NEW BEST:: SOT 309974 SOS 197381 HAS SOPS 197381 HAS SOUS 96065 HAS SOUPS 96065 WITH SCORE 96262.381
AT ITER 956 NEW BEST:: SOT 307754 SOS 195161 HAS SOPS 195161 HAS SOUS 93706 HAS SOUPS 93706 WITH SCORE 93901.161
AT ITER 962 NEW BEST:: SOT 307757 SOS 194533 HAS SOPS 194533 HAS SOUS 93636 HAS SOUPS 93636 WITH SCORE 93830.533
AT ITER 963 NEW BEST:: SOT 307756 SOS 194532 HAS SOPS 194532 HAS SOUS 93635 HAS SOUPS 93635 WITH SCORE 93829.532
AT ITER 966 NEW BEST:: SOT 307749 SOS 194525 HAS SOPS 194525 HAS SOUS 93623 HAS SOUPS 93623 WITH SCORE 93817.525
AT ITER 967 NEW BEST:: SOT 307670 SOS 194444 HAS SOPS 194444 HAS SOUS 93469 HAS SOUPS 93469 WITH SCORE 93663.444
AT ITER 979 NEW BEST:: SOT 307540 SOS 194377 HAS SOPS 194377 HAS SOUS 93402 HAS SOUPS 93402 WITH SCORE 93596.377
AT ITER 982 NEW BEST:: SOT 307524 SOS 193980 HAS SOPS 193980 HAS SOUS 93354 HAS SOUPS 93354 WITH SCORE 93547.98
AT ITER 996 NEW BEST:: SOT 307518 SOS 193974 HAS SOPS 193974 HAS SOUS 93348 HAS SOUPS 93348 WITH SCORE 93541.974
AT ITER 1021 NEW BEST:: SOT 307463 SOS 193920 HAS SOPS 193920 HAS SOUS 93294 HAS SOUPS 93294 WITH SCORE 93487.92
AT ITER 1026 NEW BEST:: SOT 307463 SOS 193720 HAS SOPS 193720 HAS SOUS 93177 HAS SOUPS 93177 WITH SCORE 93370.72
AT ITER 1031 NEW BEST:: SOT 307463 SOS 192072 HAS SOPS 192072 HAS SOUS 93149 HAS SOUPS 93149 WITH SCORE 93341.072
AT ITER 1038 NEW BEST:: SOT 307442 SOS 192051 HAS SOPS 192051 HAS SOUS 93128 HAS SOUPS 93128 WITH SCORE 93320.051
AT ITER 1042 NEW BEST:: SOT 307156 SOS 191459 HAS SOPS 191459 HAS SOUS 92785 HAS SOUPS 92785 WITH SCORE 92976.459
AT ITER 1053 NEW BEST:: SOT 306137 SOS 190460 HAS SOPS 190460 HAS SOUS 91708 HAS SOUPS 91708 WITH SCORE 91898.46
AT ITER 1056 NEW BEST:: SOT 306115 SOS 190413 HAS SOPS 190413 HAS SOUS 91689 HAS SOUPS 91689 WITH SCORE 91879.413
AT ITER 1059 NEW BEST:: SOT 305507 SOS 189008 HAS SOPS 189008 HAS SOUS 90732 HAS SOUPS 90732 WITH SCORE 90921.008
AT ITER 1075 NEW BEST:: SOT 305507 SOS 189007 HAS SOPS 189007 HAS SOUS 90731 HAS SOUPS 90731 WITH SCORE 90920.007
AT ITER 1092 NEW BEST:: SOT 305592 SOS 189056 HAS SOPS 189056 HAS SOUS 90712 HAS SOUPS 90712 WITH SCORE 90901.056
AT ITER 1093 NEW BEST:: SOT 305622 SOS 189054 HAS SOPS 189054 HAS SOUS 90710 HAS SOUPS 90710 WITH SCORE 90899.054
AT ITER 1099 NEW BEST:: SOT 305545 SOS 188813 HAS SOPS 188813 HAS SOUS 90550 HAS SOUPS 90550 WITH SCORE 90738.813
AT ITER 1101 NEW BEST:: SOT 305585 SOS 187878 HAS SOPS 187878 HAS SOUS 90442 HAS SOUPS 90442 WITH SCORE 90629.878
AT ITER 1113 NEW BEST:: SOT 305579 SOS 187827 HAS SOPS 187827 HAS SOUS 90430 HAS SOUPS 90430 WITH SCORE 90617.827
AT ITER 1115 NEW BEST:: SOT 305018 SOS 187071 HAS SOPS 187071 HAS SOUS 89755 HAS SOUPS 89755 WITH SCORE 89942.071
AT ITER 1119 NEW BEST:: SOT 305014 SOS 187063 HAS SOPS 187063 HAS SOUS 89747 HAS SOUPS 89747 WITH SCORE 89934.063
AT ITER 1121 NEW BEST:: SOT 304872 SOS 186954 HAS SOPS 186954 HAS SOUS 89640 HAS SOUPS 89640 WITH SCORE 89826.954
AT ITER 1131 NEW BEST:: SOT 304871 SOS 186953 HAS SOPS 186953 HAS SOUS 89639 HAS SOUPS 89639 WITH SCORE 89825.953
AT ITER 1133 NEW BEST:: SOT 304773 SOS 186773 HAS SOPS 186773 HAS SOUS 89154 HAS SOUPS 89154 WITH SCORE 89340.773
AT ITER 1140 NEW BEST:: SOT 304735 SOS 186908 HAS SOPS 186908 HAS SOUS 89151 HAS SOUPS 89151 WITH SCORE 89337.908
AT ITER 1147 NEW BEST:: SOT 304644 SOS 186785 HAS SOPS 186785 HAS SOUS 89080 HAS SOUPS 89080 WITH SCORE 89266.785
AT ITER 1149 NEW BEST:: SOT 304807 SOS 186956 HAS SOPS 186956 HAS SOUS 89038 HAS SOUPS 89038 WITH SCORE 89224.956
AT ITER 1157 NEW BEST:: SOT 304779 SOS 186901 HAS SOPS 186901 HAS SOUS 88982 HAS SOUPS 88982 WITH SCORE 89168.901
AT ITER 1168 NEW BEST:: SOT 304702 SOS 186761 HAS SOPS 186761 HAS SOUS 88819 HAS SOUPS 88819 WITH SCORE 89005.761
AT ITER 1197 NEW BEST:: SOT 304632 SOS 186663 HAS SOPS 186663 HAS SOUS 88710 HAS SOUPS 88710 WITH SCORE 88896.663
AT ITER 1200 NEW BEST:: SOT 304616 SOS 186613 HAS SOPS 186613 HAS SOUS 88678 HAS SOUPS 88678 WITH SCORE 88864.613
AT ITER 1208 NEW BEST:: SOT 303182 SOS 186527 HAS SOPS 186527 HAS SOUS 87432 HAS SOUPS 87432 WITH SCORE 87618.527
AT ITER 1223 NEW BEST:: SOT 303173 SOS 186460 HAS SOPS 186460 HAS SOUS 87387 HAS SOUPS 87387 WITH SCORE 87573.46
AT ITER 1229 NEW BEST:: SOT 303113 SOS 186074 HAS SOPS 186074 HAS SOUS 87239 HAS SOUPS 87239 WITH SCORE 87425.074
AT ITER 1235 NEW BEST:: SOT 303073 SOS 186034 HAS SOPS 186034 HAS SOUS 87207 HAS SOUPS 87207 WITH SCORE 87393.034
AT ITER 1245 NEW BEST:: SOT 303073 SOS 185651 HAS SOPS 185651 HAS SOUS 86962 HAS SOUPS 86962 WITH SCORE 87147.651
AT ITER 1251 NEW BEST:: SOT 303010 SOS 185525 HAS SOPS 185525 HAS SOUS 86836 HAS SOUPS 86836 WITH SCORE 87021.525
AT ITER 1258 NEW BEST:: SOT 303010 SOS 185500 HAS SOPS 185500 HAS SOUS 86811 HAS SOUPS 86811 WITH SCORE 86996.5
AT ITER 1273 NEW BEST:: SOT 303010 SOS 185500 HAS SOPS 185500 HAS SOUS 86785 HAS SOUPS 86785 WITH SCORE 86970.5
AT ITER 1288 NEW BEST:: SOT 302992 SOS 185482 HAS SOPS 185482 HAS SOUS 86767 HAS SOUPS 86767 WITH SCORE 86952.482
AT ITER 1296 NEW BEST:: SOT 302749 SOS 185439 HAS SOPS 185439 HAS SOUS 86566 HAS SOUPS 86566 WITH SCORE 86751.439
AT ITER 1300 NEW BEST:: SOT 302778 SOS 185578 HAS SOPS 185578 HAS SOUS 86552 HAS SOUPS 86552 WITH SCORE 86737.578
AT ITER 1303 NEW BEST:: SOT 302745 SOS 185545 HAS SOPS 185545 HAS SOUS 86508 HAS SOUPS 86508 WITH SCORE 86693.545
AT ITER 1321 NEW BEST:: SOT 302736 SOS 185502 HAS SOPS 185502 HAS SOUS 86465 HAS SOUPS 86465 WITH SCORE 86650.502
AT ITER 1326 NEW BEST:: SOT 302443 SOS 184916 HAS SOPS 184916 HAS SOUS 85879 HAS SOUPS 85879 WITH SCORE 86063.916
AT ITER 1329 NEW BEST:: SOT 302400 SOS 184863 HAS SOPS 184863 HAS SOUS 85819 HAS SOUPS 85819 WITH SCORE 86003.863
AT ITER 1331 NEW BEST:: SOT 302388 SOS 184851 HAS SOPS 184851 HAS SOUS 85811 HAS SOUPS 85811 WITH SCORE 85995.851
AT ITER 1348 NEW BEST:: SOT 302376 SOS 184839 HAS SOPS 184839 HAS SOUS 85795 HAS SOUPS 85795 WITH SCORE 85979.839
AT ITER 1357 NEW BEST:: SOT 302339 SOS 184824 HAS SOPS 184824 HAS SOUS 85773 HAS SOUPS 85773 WITH SCORE 85957.824
AT ITER 1363 NEW BEST:: SOT 302256 SOS 184695 HAS SOPS 184695 HAS SOUS 85665 HAS SOUPS 85665 WITH SCORE 85849.695
AT ITER 1370 NEW BEST:: SOT 302096 SOS 184448 HAS SOPS 184448 HAS SOUS 85418 HAS SOUPS 85418 WITH SCORE 85602.448
AT ITER 1400 NEW BEST:: SOT 302029 SOS 183856 HAS SOPS 183856 HAS SOUS 85333 HAS SOUPS 85333 WITH SCORE 85516.856
AT ITER 1410 NEW BEST:: SOT 301910 SOS 183609 HAS SOPS 183609 HAS SOUS 85086 HAS SOUPS 85086 WITH SCORE 85269.609
AT ITER 1421 NEW BEST:: SOT 301901 SOS 183600 HAS SOPS 183600 HAS SOUS 85068 HAS SOUPS 85068 WITH SCORE 85251.6
AT ITER 1425 NEW BEST:: SOT 301900 SOS 183535 HAS SOPS 183535 HAS SOUS 85066 HAS SOUPS 85066 WITH SCORE 85249.535
AT ITER 1427 NEW BEST:: SOT 301897 SOS 183532 HAS SOPS 183532 HAS SOUS 85063 HAS SOUPS 85063 WITH SCORE 85246.532
AT ITER 1517 NEW BEST:: SOT 301891 SOS 183526 HAS SOPS 183526 HAS SOUS 85057 HAS SOUPS 85057 WITH SCORE 85240.526
AT ITER 1522 NEW BEST:: SOT 301769 SOS 183152 HAS SOPS 183152 HAS SOUS 84798 HAS SOUPS 84798 WITH SCORE 84981.152
AT ITER 1534 NEW BEST:: SOT 301713 SOS 183024 HAS SOPS 183024 HAS SOUS 84686 HAS SOUPS 84686 WITH SCORE 84869.024
AT ITER 1538 NEW BEST:: SOT 301732 SOS 182979 HAS SOPS 182979 HAS SOUS 84655 HAS SOUPS 84655 WITH SCORE 84837.979
AT ITER 1542 NEW BEST:: SOT 301797 SOS 182972 HAS SOPS 182972 HAS SOUS 84636 HAS SOUPS 84636 WITH SCORE 84818.972
AT ITER 1543 NEW BEST:: SOT 301679 SOS 182654 HAS SOPS 182654 HAS SOUS 84436 HAS SOUPS 84436 WITH SCORE 84618.654
AT ITER 1546 NEW BEST:: SOT 301600 SOS 182575 HAS SOPS 182575 HAS SOUS 84348 HAS SOUPS 84348 WITH SCORE 84530.575
AT ITER 1558 NEW BEST:: SOT 301273 SOS 182248 HAS SOPS 182248 HAS SOUS 84021 HAS SOUPS 84021 WITH SCORE 84203.248
AT ITER 1566 NEW BEST:: SOT 300235 SOS 181631 HAS SOPS 181631 HAS SOUS 83122 HAS SOUPS 83122 WITH SCORE 83303.631
AT ITER 1573 NEW BEST:: SOT 300137 SOS 181450 HAS SOPS 181450 HAS SOUS 83019 HAS SOUPS 83019 WITH SCORE 83200.45
AT ITER 1578 NEW BEST:: SOT 300035 SOS 181368 HAS SOPS 181368 HAS SOUS 82937 HAS SOUPS 82937 WITH SCORE 83118.368
AT ITER 1587 NEW BEST:: SOT 300032 SOS 181362 HAS SOPS 181362 HAS SOUS 82931 HAS SOUPS 82931 WITH SCORE 83112.362
AT ITER 1614 NEW BEST:: SOT 299963 SOS 181293 HAS SOPS 181293 HAS SOUS 82871 HAS SOUPS 82871 WITH SCORE 83052.293
AT ITER 1616 NEW BEST:: SOT 295483 SOS 176813 HAS SOPS 176813 HAS SOUS 78331 HAS SOUPS 78331 WITH SCORE 78507.813
AT ITER 1643 NEW BEST:: SOT 295480 SOS 177470 HAS SOPS 177470 HAS SOUS 78299 HAS SOUPS 78299 WITH SCORE 78476.47
AT ITER 1660 NEW BEST:: SOT 295471 SOS 177461 HAS SOPS 177461 HAS SOUS 78290 HAS SOUPS 78290 WITH SCORE 78467.461
AT ITER 1661 NEW BEST:: SOT 295454 SOS 177444 HAS SOPS 177444 HAS SOUS 78273 HAS SOUPS 78273 WITH SCORE 78450.444
AT ITER 1665 NEW BEST:: SOT 295451 SOS 177443 HAS SOPS 177443 HAS SOUS 78272 HAS SOUPS 78272 WITH SCORE 78449.443
AT ITER 1668 NEW BEST:: SOT 295439 SOS 177434 HAS SOPS 177434 HAS SOUS 78263 HAS SOUPS 78263 WITH SCORE 78440.434
AT ITER 1673 NEW BEST:: SOT 295439 SOS 177434 HAS SOPS 177434 HAS SOUS 78109 HAS SOUPS 78109 WITH SCORE 78286.434
AT ITER 1676 NEW BEST:: SOT 295349 SOS 177434 HAS SOPS 177434 HAS SOUS 77929 HAS SOUPS 77929 WITH SCORE 78106.434
AT ITER 1677 NEW BEST:: SOT 295265 SOS 177350 HAS SOPS 177350 HAS SOUS 77845 HAS SOUPS 77845 WITH SCORE 78022.35
AT ITER 1678 NEW BEST:: SOT 295263 SOS 177348 HAS SOPS 177348 HAS SOUS 77843 HAS SOUPS 77843 WITH SCORE 78020.348
AT ITER 1679 NEW BEST:: SOT 295125 SOS 177230 HAS SOPS 177230 HAS SOUS 77827 HAS SOUPS 77827 WITH SCORE 78004.23
AT ITER 1699 NEW BEST:: SOT 295125 SOS 177208 HAS SOPS 177208 HAS SOUS 77805 HAS SOUPS 77805 WITH SCORE 77982.208
AT ITER 1712 NEW BEST:: SOT 295125 SOS 177151 HAS SOPS 177151 HAS SOUS 77805 HAS SOUPS 77805 WITH SCORE 77982.151
AT ITER 1715 NEW BEST:: SOT 295071 SOS 176970 HAS SOPS 176970 HAS SOUS 77723 HAS SOUPS 77723 WITH SCORE 77899.97
AT ITER 1722 NEW BEST:: SOT 294997 SOS 176896 HAS SOPS 176896 HAS SOUS 77628 HAS SOUPS 77628 WITH SCORE 77804.896
AT ITER 1740 NEW BEST:: SOT 294783 SOS 176232 HAS SOPS 176232 HAS SOUS 77178 HAS SOUPS 77178 WITH SCORE 77354.232
AT ITER 1758 NEW BEST:: SOT 294601 SOS 176046 HAS SOPS 176046 HAS SOUS 76962 HAS SOUPS 76962 WITH SCORE 77138.046
AT ITER 1774 NEW BEST:: SOT 294601 SOS 175948 HAS SOPS 175948 HAS SOUS 76865 HAS SOUPS 76865 WITH SCORE 77040.948
AT ITER 1779 NEW BEST:: SOT 294503 SOS 174590 HAS SOPS 174590 HAS SOUS 76669 HAS SOUPS 76669 WITH SCORE 76843.59
AT ITER 1795 NEW BEST:: SOT 294501 SOS 174586 HAS SOPS 174586 HAS SOUS 76565 HAS SOUPS 76565 WITH SCORE 76739.586
AT ITER 1797 NEW BEST:: SOT 294186 SOS 174269 HAS SOPS 174269 HAS SOUS 76192 HAS SOUPS 76192 WITH SCORE 76366.269
AT ITER 1813 NEW BEST:: SOT 294186 SOS 174269 HAS SOPS 174269 HAS SOUS 76183 HAS SOUPS 76183 WITH SCORE 76357.269
AT ITER 1816 NEW BEST:: SOT 294093 SOS 174258 HAS SOPS 174258 HAS SOUS 76121 HAS SOUPS 76121 WITH SCORE 76295.258
AT ITER 1817 NEW BEST:: SOT 294176 SOS 173742 HAS SOPS 173742 HAS SOUS 75998 HAS SOUPS 75998 WITH SCORE 76171.742
AT ITER 1821 NEW BEST:: SOT 294175 SOS 173738 HAS SOPS 173738 HAS SOUS 75993 HAS SOUPS 75993 WITH SCORE 76166.738
AT ITER 1833 NEW BEST:: SOT 294175 SOS 173738 HAS SOPS 173738 HAS SOUS 75989 HAS SOUPS 75989 WITH SCORE 76162.738
AT ITER 1843 NEW BEST:: SOT 294175 SOS 173737 HAS SOPS 173737 HAS SOUS 75988 HAS SOUPS 75988 WITH SCORE 76161.737
AT ITER 1845 NEW BEST:: SOT 294129 SOS 173691 HAS SOPS 173691 HAS SOUS 75934 HAS SOUPS 75934 WITH SCORE 76107.691
AT ITER 1860 NEW BEST:: SOT 293896 SOS 174921 HAS SOPS 174921 HAS SOUS 75779 HAS SOUPS 75779 WITH SCORE 75953.921
AT ITER 1864 NEW BEST:: SOT 293848 SOS 174849 HAS SOPS 174849 HAS SOUS 75683 HAS SOUPS 75683 WITH SCORE 75857.849
AT ITER 1892 NEW BEST:: SOT 293842 SOS 174837 HAS SOPS 174837 HAS SOUS 75671 HAS SOUPS 75671 WITH SCORE 75845.837
AT ITER 1915 NEW BEST:: SOT 293880 SOS 174787 HAS SOPS 174787 HAS SOUS 75621 HAS SOUPS 75621 WITH SCORE 75795.787
AT ITER 1917 NEW BEST:: SOT 293873 SOS 174780 HAS SOPS 174780 HAS SOUS 75610 HAS SOUPS 75610 WITH SCORE 75784.78
AT ITER 1922 NEW BEST:: SOT 293873 SOS 174762 HAS SOPS 174762 HAS SOUS 75608 HAS SOUPS 75608 WITH SCORE 75782.762
AT ITER 1925 NEW BEST:: SOT 293865 SOS 174754 HAS SOPS 174754 HAS SOUS 75600 HAS SOUPS 75600 WITH SCORE 75774.754
AT ITER 1941 NEW BEST:: SOT 293865 SOS 174742 HAS SOPS 174742 HAS SOUS 75592 HAS SOUPS 75592 WITH SCORE 75766.742
AT ITER 1943 NEW BEST:: SOT 293811 SOS 174596 HAS SOPS 174596 HAS SOUS 75446 HAS SOUPS 75446 WITH SCORE 75620.596
AT ITER 1948 NEW BEST:: SOT 293824 SOS 174701 HAS SOPS 174701 HAS SOUS 75426 HAS SOUPS 75426 WITH SCORE 75600.701
AT ITER 1950 NEW BEST:: SOT 293814 SOS 174431 HAS SOPS 174431 HAS SOUS 75221 HAS SOUPS 75221 WITH SCORE 75395.431
AT ITER 1954 NEW BEST:: SOT 293766 SOS 174383 HAS SOPS 174383 HAS SOUS 75173 HAS SOUPS 75173 WITH SCORE 75347.383
AT ITER 1965 NEW BEST:: SOT 293780 SOS 174269 HAS SOPS 174269 HAS SOUS 75169 HAS SOUPS 75169 WITH SCORE 75343.269
AT ITER 1984 NEW BEST:: SOT 293715 SOS 174268 HAS SOPS 174268 HAS SOUS 75168 HAS SOUPS 75168 WITH SCORE 75342.268
AT ITER 1992 NEW BEST:: SOT 293778 SOS 173809 HAS SOPS 173809 HAS SOUS 75152 HAS SOUPS 75152 WITH SCORE 75325.809
AT ITER 1996 NEW BEST:: SOT 293778 SOS 173785 HAS SOPS 173785 HAS SOUS 75152 HAS SOUPS 75152 WITH SCORE 75325.785
AT ITER 2018 NEW BEST:: SOT 293879 SOS 173870 HAS SOPS 173870 HAS SOUS 75133 HAS SOUPS 75133 WITH SCORE 75306.87
AT ITER 2043 NEW BEST:: SOT 293869 SOS 173850 HAS SOPS 173850 HAS SOUS 75009 HAS SOUPS 75009 WITH SCORE 75182.85
AT ITER 2046 NEW BEST:: SOT 293869 SOS 173849 HAS SOPS 173849 HAS SOUS 74994 HAS SOUPS 74994 WITH SCORE 75167.849
AT ITER 2058 NEW BEST:: SOT 293695 SOS 173675 HAS SOPS 173675 HAS SOUS 74967 HAS SOUPS 74967 WITH SCORE 75140.675
AT ITER 2067 NEW BEST:: SOT 293630 SOS 173673 HAS SOPS 173673 HAS SOUS 74965 HAS SOUPS 74965 WITH SCORE 75138.673
AT ITER 2092 NEW BEST:: SOT 293600 SOS 173398 HAS SOPS 173398 HAS SOUS 74844 HAS SOUPS 74844 WITH SCORE 75017.398
AT ITER 2111 NEW BEST:: SOT 293593 SOS 173355 HAS SOPS 173355 HAS SOUS 74742 HAS SOUPS 74742 WITH SCORE 74915.355
AT ITER 2115 NEW BEST:: SOT 293215 SOS 173054 HAS SOPS 173054 HAS SOUS 74287 HAS SOUPS 74287 WITH SCORE 74460.054
AT ITER 2185 NEW BEST:: SOT 293314 SOS 173159 HAS SOPS 173159 HAS SOUS 74186 HAS SOUPS 74186 WITH SCORE 74359.159
AT ITER 2186 NEW BEST:: SOT 293296 SOS 173141 HAS SOPS 173141 HAS SOUS 74175 HAS SOUPS 74175 WITH SCORE 74348.141
AT ITER 2190 NEW BEST:: SOT 293246 SOS 173049 HAS SOPS 173049 HAS SOUS 74081 HAS SOUPS 74081 WITH SCORE 74254.049
AT ITER 2191 NEW BEST:: SOT 293157 SOS 172960 HAS SOPS 172960 HAS SOUS 73903 HAS SOUPS 73903 WITH SCORE 74075.96
AT ITER 2212 NEW BEST:: SOT 293143 SOS 172932 HAS SOPS 172932 HAS SOUS 73755 HAS SOUPS 73755 WITH SCORE 73927.932
AT ITER 2271 NEW BEST:: SOT 293152 SOS 172941 HAS SOPS 172941 HAS SOUS 73588 HAS SOUPS 73588 WITH SCORE 73760.941
AT ITER 2281 NEW BEST:: SOT 293072 SOS 172803 HAS SOPS 172803 HAS SOUS 73450 HAS SOUPS 73450 WITH SCORE 73622.803
AT ITER 2282 NEW BEST:: SOT 293070 SOS 172801 HAS SOPS 172801 HAS SOUS 73450 HAS SOUPS 73450 WITH SCORE 73622.801
AT ITER 2286 NEW BEST:: SOT 293070 SOS 172350 HAS SOPS 172350 HAS SOUS 73450 HAS SOUPS 73450 WITH SCORE 73622.35
AT ITER 2313 NEW BEST:: SOT 293070 SOS 172421 HAS SOPS 172421 HAS SOUS 73445 HAS SOUPS 73445 WITH SCORE 73617.421
AT ITER 2331 NEW BEST:: SOT 293051 SOS 172395 HAS SOPS 172395 HAS SOUS 73419 HAS SOUPS 73419 WITH SCORE 73591.395
AT ITER 2357 NEW BEST:: SOT 293051 SOS 171963 HAS SOPS 171963 HAS SOUS 73365 HAS SOUPS 73365 WITH SCORE 73536.963
AT ITER 2362 NEW BEST:: SOT 293051 SOS 171902 HAS SOPS 171902 HAS SOUS 73365 HAS SOUPS 73365 WITH SCORE 73536.902
AT ITER 2379 NEW BEST:: SOT 293050 SOS 171901 HAS SOPS 171901 HAS SOUS 73364 HAS SOUPS 73364 WITH SCORE 73535.901
AT ITER 2387 NEW BEST:: SOT 293000 SOS 171851 HAS SOPS 171851 HAS SOUS 73305 HAS SOUPS 73305 WITH SCORE 73476.851
AT ITER 2400 NEW BEST:: SOT 292758 SOS 172160 HAS SOPS 172160 HAS SOUS 73141 HAS SOUPS 73141 WITH SCORE 73313.16
AT ITER 2412 NEW BEST:: SOT 292700 SOS 172006 HAS SOPS 172006 HAS SOUS 73133 HAS SOUPS 73133 WITH SCORE 73305.006
AT ITER 2415 NEW BEST:: SOT 292700 SOS 172010 HAS SOPS 172010 HAS SOUS 73129 HAS SOUPS 73129 WITH SCORE 73301.01
AT ITER 2435 NEW BEST:: SOT 292689 SOS 171962 HAS SOPS 171962 HAS SOUS 73070 HAS SOUPS 73070 WITH SCORE 73241.962
AT ITER 2441 NEW BEST:: SOT 292683 SOS 171950 HAS SOPS 171950 HAS SOUS 73058 HAS SOUPS 73058 WITH SCORE 73229.95
AT ITER 2443 NEW BEST:: SOT 292683 SOS 171864 HAS SOPS 171864 HAS SOUS 73015 HAS SOUPS 73015 WITH SCORE 73186.864
AT ITER 2467 NEW BEST:: SOT 292634 SOS 171814 HAS SOPS 171814 HAS SOUS 72965 HAS SOUPS 72965 WITH SCORE 73136.814
AT ITER 2474 NEW BEST:: SOT 292473 SOS 171845 HAS SOPS 171845 HAS SOUS 72837 HAS SOUPS 72837 WITH SCORE 73008.845
AT ITER 2475 NEW BEST:: SOT 292183 SOS 171555 HAS SOPS 171555 HAS SOUS 72496 HAS SOUPS 72496 WITH SCORE 72667.555
AT ITER 2489 NEW BEST:: SOT 292068 SOS 171208 HAS SOPS 171208 HAS SOUS 72379 HAS SOUPS 72379 WITH SCORE 72550.208
AT ITER 2499 NEW BEST:: SOT 292023 SOS 171135 HAS SOPS 171135 HAS SOUS 72306 HAS SOUPS 72306 WITH SCORE 72477.135
AT ITER 2551 NEW BEST:: SOT 291894 SOS 171256 HAS SOPS 171256 HAS SOUS 72192 HAS SOUPS 72192 WITH SCORE 72363.256
AT ITER 2564 NEW BEST:: SOT 291885 SOS 171247 HAS SOPS 171247 HAS SOUS 72165 HAS SOUPS 72165 WITH SCORE 72336.247
AT ITER 2565 NEW BEST:: SOT 291885 SOS 171305 HAS SOPS 171305 HAS SOUS 72152 HAS SOUPS 72152 WITH SCORE 72323.305
AT ITER 2580 NEW BEST:: SOT 291863 SOS 171283 HAS SOPS 171283 HAS SOUS 72130 HAS SOUPS 72130 WITH SCORE 72301.283
AT ITER 2585 NEW BEST:: SOT 291863 SOS 171223 HAS SOPS 171223 HAS SOUS 72073 HAS SOUPS 72073 WITH SCORE 72244.223
AT ITER 2620 NEW BEST:: SOT 291833 SOS 171133 HAS SOPS 171133 HAS SOUS 72013 HAS SOUPS 72013 WITH SCORE 72184.133
AT ITER 2630 NEW BEST:: SOT 291795 SOS 171095 HAS SOPS 171095 HAS SOUS 71999 HAS SOUPS 71999 WITH SCORE 72170.095
AT ITER 2642 NEW BEST:: SOT 291795 SOS 171001 HAS SOPS 171001 HAS SOUS 71905 HAS SOUPS 71905 WITH SCORE 72076.001
AT ITER 2677 NEW BEST:: SOT 291789 SOS 170951 HAS SOPS 170951 HAS SOUS 71880 HAS SOUPS 71880 WITH SCORE 72050.951
AT ITER 2680 NEW BEST:: SOT 291730 SOS 170871 HAS SOPS 170871 HAS SOUS 71821 HAS SOUPS 71821 WITH SCORE 71991.871
AT ITER 2704 NEW BEST:: SOT 291730 SOS 170951 HAS SOPS 170951 HAS SOUS 71816 HAS SOUPS 71816 WITH SCORE 71986.951
AT ITER 2706 NEW BEST:: SOT 291577 SOS 170879 HAS SOPS 170879 HAS SOUS 71810 HAS SOUPS 71810 WITH SCORE 71980.879
AT ITER 2710 NEW BEST:: SOT 291514 SOS 171163 HAS SOPS 171163 HAS SOUS 71660 HAS SOUPS 71660 WITH SCORE 71831.163
AT ITER 2739 NEW BEST:: SOT 291494 SOS 171362 HAS SOPS 171362 HAS SOUS 71637 HAS SOUPS 71637 WITH SCORE 71808.362
AT ITER 2753 NEW BEST:: SOT 291418 SOS 171286 HAS SOPS 171286 HAS SOUS 71561 HAS SOUPS 71561 WITH SCORE 71732.286
AT ITER 2754 NEW BEST:: SOT 291370 SOS 171238 HAS SOPS 171238 HAS SOUS 71513 HAS SOUPS 71513 WITH SCORE 71684.238
AT ITER 2761 NEW BEST:: SOT 291364 SOS 171090 HAS SOPS 171090 HAS SOUS 71436 HAS SOUPS 71436 WITH SCORE 71607.09
AT ITER 2771 NEW BEST:: SOT 291259 SOS 169949 HAS SOPS 169949 HAS SOUS 71363 HAS SOUPS 71363 WITH SCORE 71532.949
AT ITER 2784 NEW BEST:: SOT 291198 SOS 169775 HAS SOPS 169775 HAS SOUS 71189 HAS SOUPS 71189 WITH SCORE 71358.775
AT ITER 2785 NEW BEST:: SOT 291131 SOS 169589 HAS SOPS 169589 HAS SOUS 71105 HAS SOUPS 71105 WITH SCORE 71274.589
AT ITER 2786 NEW BEST:: SOT 291153 SOS 169570 HAS SOPS 169570 HAS SOUS 71010 HAS SOUPS 71010 WITH SCORE 71179.57
AT ITER 2816 NEW BEST:: SOT 291043 SOS 169460 HAS SOPS 169460 HAS SOUS 70887 HAS SOUPS 70887 WITH SCORE 71056.46
AT ITER 2830 NEW BEST:: SOT 291025 SOS 169403 HAS SOPS 169403 HAS SOUS 70886 HAS SOUPS 70886 WITH SCORE 71055.403
AT ITER 2833 NEW BEST:: SOT 291025 SOS 169383 HAS SOPS 169383 HAS SOUS 70866 HAS SOUPS 70866 WITH SCORE 71035.383
AT ITER 2838 NEW BEST:: SOT 291017 SOS 169357 HAS SOPS 169357 HAS SOUS 70850 HAS SOUPS 70850 WITH SCORE 71019.357
AT ITER 2849 NEW BEST:: SOT 291014 SOS 169298 HAS SOPS 169298 HAS SOUS 70833 HAS SOUPS 70833 WITH SCORE 71002.298
AT ITER 2855 NEW BEST:: SOT 290916 SOS 169152 HAS SOPS 169152 HAS SOUS 70687 HAS SOUPS 70687 WITH SCORE 70856.152
AT ITER 2864 NEW BEST:: SOT 290915 SOS 169135 HAS SOPS 169135 HAS SOUS 70685 HAS SOUPS 70685 WITH SCORE 70854.135
AT ITER 2866 NEW BEST:: SOT 290892 SOS 169112 HAS SOPS 169112 HAS SOUS 70638 HAS SOUPS 70638 WITH SCORE 70807.112
AT ITER 2867 NEW BEST:: SOT 290890 SOS 169098 HAS SOPS 169098 HAS SOUS 70634 HAS SOUPS 70634 WITH SCORE 70803.098
AT ITER 2868 NEW BEST:: SOT 290890 SOS 169092 HAS SOPS 169092 HAS SOUS 70628 HAS SOUPS 70628 WITH SCORE 70797.092
AT ITER 2869 NEW BEST:: SOT 290754 SOS 168956 HAS SOPS 168956 HAS SOUS 70532 HAS SOUPS 70532 WITH SCORE 70700.956
AT ITER 2870 NEW BEST:: SOT 290370 SOS 168498 HAS SOPS 168498 HAS SOUS 70105 HAS SOUPS 70105 WITH SCORE 70273.498
AT ITER 2872 NEW BEST:: SOT 290368 SOS 168496 HAS SOPS 168496 HAS SOUS 70101 HAS SOUPS 70101 WITH SCORE 70269.496
AT ITER 2873 NEW BEST:: SOT 290367 SOS 168494 HAS SOPS 168494 HAS SOUS 70096 HAS SOUPS 70096 WITH SCORE 70264.494
AT ITER 2889 NEW BEST:: SOT 290361 SOS 168488 HAS SOPS 168488 HAS SOUS 70083 HAS SOUPS 70083 WITH SCORE 70251.488
AT ITER 2892 NEW BEST:: SOT 290360 SOS 168487 HAS SOPS 168487 HAS SOUS 70081 HAS SOUPS 70081 WITH SCORE 70249.487
AT ITER 2893 NEW BEST:: SOT 290295 SOS 168665 HAS SOPS 168665 HAS SOUS 70080 HAS SOUPS 70080 WITH SCORE 70248.665
AT ITER 2894 NEW BEST:: SOT 290281 SOS 168592 HAS SOPS 168592 HAS SOUS 70007 HAS SOUPS 70007 WITH SCORE 70175.592
AT ITER 2896 NEW BEST:: SOT 290287 SOS 168491 HAS SOPS 168491 HAS SOUS 69906 HAS SOUPS 69906 WITH SCORE 70074.491
AT ITER 2901 NEW BEST:: SOT 290290 SOS 168542 HAS SOPS 168542 HAS SOUS 69848 HAS SOUPS 69848 WITH SCORE 70016.542
AT ITER 2910 NEW BEST:: SOT 290289 SOS 168541 HAS SOPS 168541 HAS SOUS 69844 HAS SOUPS 69844 WITH SCORE 70012.541
AT ITER 2916 NEW BEST:: SOT 290130 SOS 168316 HAS SOPS 168316 HAS SOUS 69658 HAS SOUPS 69658 WITH SCORE 69826.316
AT ITER 2922 NEW BEST:: SOT 290094 SOS 168093 HAS SOPS 168093 HAS SOUS 69435 HAS SOUPS 69435 WITH SCORE 69603.093
AT ITER 2925 NEW BEST:: SOT 289940 SOS 168539 HAS SOPS 168539 HAS SOUS 69319 HAS SOUPS 69319 WITH SCORE 69487.539
AT ITER 2927 NEW BEST:: SOT 289922 SOS 168521 HAS SOPS 168521 HAS SOUS 69301 HAS SOUPS 69301 WITH SCORE 69469.521
AT ITER 2935 NEW BEST:: SOT 289922 SOS 168521 HAS SOPS 168521 HAS SOUS 69145 HAS SOUPS 69145 WITH SCORE 69313.521
AT ITER 2948 NEW BEST:: SOT 289906 SOS 168521 HAS SOPS 168521 HAS SOUS 69133 HAS SOUPS 69133 WITH SCORE 69301.521
AT ITER 2959 NEW BEST:: SOT 289896 SOS 168521 HAS SOPS 168521 HAS SOUS 69123 HAS SOUPS 69123 WITH SCORE 69291.521
AT ITER 2964 NEW BEST:: SOT 289895 SOS 168520 HAS SOPS 168520 HAS SOUS 69121 HAS SOUPS 69121 WITH SCORE 69289.52
AT ITER 3011 NEW BEST:: SOT 289803 SOS 168393 HAS SOPS 168393 HAS SOUS 69025 HAS SOUPS 69025 WITH SCORE 69193.393
AT ITER 3016 NEW BEST:: SOT 289867 SOS 168521 HAS SOPS 168521 HAS SOUS 68749 HAS SOUPS 68749 WITH SCORE 68917.521
AT ITER 3024 NEW BEST:: SOT 289236 SOS 168706 HAS SOPS 168706 HAS SOUS 68220 HAS SOUPS 68220 WITH SCORE 68388.706
AT ITER 3039 NEW BEST:: SOT 289270 SOS 168640 HAS SOPS 168640 HAS SOUS 68203 HAS SOUPS 68203 WITH SCORE 68371.64
AT ITER 3058 NEW BEST:: SOT 289270 SOS 168628 HAS SOPS 168628 HAS SOUS 68203 HAS SOUPS 68203 WITH SCORE 68371.628
AT ITER 3067 NEW BEST:: SOT 289271 SOS 168561 HAS SOPS 168561 HAS SOUS 68175 HAS SOUPS 68175 WITH SCORE 68343.561
AT ITER 3099 NEW BEST:: SOT 289268 SOS 168537 HAS SOPS 168537 HAS SOUS 68172 HAS SOUPS 68172 WITH SCORE 68340.537
AT ITER 3110 NEW BEST:: SOT 289169 SOS 168386 HAS SOPS 168386 HAS SOUS 68021 HAS SOUPS 68021 WITH SCORE 68189.386
AT ITER 3120 NEW BEST:: SOT 289169 SOS 168378 HAS SOPS 168378 HAS SOUS 68020 HAS SOUPS 68020 WITH SCORE 68188.378
AT ITER 3123 NEW BEST:: SOT 289086 SOS 168284 HAS SOPS 168284 HAS SOUS 67818 HAS SOUPS 67818 WITH SCORE 67986.284
AT ITER 3126 NEW BEST:: SOT 289065 SOS 168195 HAS SOPS 168195 HAS SOUS 67782 HAS SOUPS 67782 WITH SCORE 67950.195
AT ITER 3139 NEW BEST:: SOT 289088 SOS 168124 HAS SOPS 168124 HAS SOUS 67711 HAS SOUPS 67711 WITH SCORE 67879.124
AT ITER 3144 NEW BEST:: SOT 289122 SOS 168054 HAS SOPS 168054 HAS SOUS 67655 HAS SOUPS 67655 WITH SCORE 67823.054
AT ITER 3159 NEW BEST:: SOT 289122 SOS 167813 HAS SOPS 167813 HAS SOUS 67530 HAS SOUPS 67530 WITH SCORE 67697.813
AT ITER 3177 NEW BEST:: SOT 289121 SOS 167726 HAS SOPS 167726 HAS SOUS 67528 HAS SOUPS 67528 WITH SCORE 67695.726
AT ITER 3181 NEW BEST:: SOT 289106 SOS 167144 HAS SOPS 167144 HAS SOUS 67513 HAS SOUPS 67513 WITH SCORE 67680.144
AT ITER 3184 NEW BEST:: SOT 289106 SOS 167090 HAS SOPS 167090 HAS SOUS 67459 HAS SOUPS 67459 WITH SCORE 67626.09
AT ITER 3192 NEW BEST:: SOT 288842 SOS 167140 HAS SOPS 167140 HAS SOUS 67447 HAS SOUPS 67447 WITH SCORE 67614.14
AT ITER 3195 NEW BEST:: SOT 288801 SOS 166739 HAS SOPS 166739 HAS SOUS 67403 HAS SOUPS 67403 WITH SCORE 67569.739
AT ITER 3197 NEW BEST:: SOT 288816 SOS 166739 HAS SOPS 166739 HAS SOUS 67373 HAS SOUPS 67373 WITH SCORE 67539.739
AT ITER 3208 NEW BEST:: SOT 288765 SOS 166637 HAS SOPS 166637 HAS SOUS 67288 HAS SOUPS 67288 WITH SCORE 67454.637
AT ITER 3241 NEW BEST:: SOT 288743 SOS 166309 HAS SOPS 166309 HAS SOUS 67240 HAS SOUPS 67240 WITH SCORE 67406.309
AT ITER 3253 NEW BEST:: SOT 287283 SOS 164948 HAS SOPS 164948 HAS SOUS 66037 HAS SOUPS 66037 WITH SCORE 66201.948
AT ITER 3255 NEW BEST:: SOT 287302 SOS 164967 HAS SOPS 164967 HAS SOUS 66035 HAS SOUPS 66035 WITH SCORE 66199.967
AT ITER 3263 NEW BEST:: SOT 286938 SOS 164603 HAS SOPS 164603 HAS SOUS 66035 HAS SOUPS 66035 WITH SCORE 66199.603
AT ITER 3264 NEW BEST:: SOT 286929 SOS 164576 HAS SOPS 164576 HAS SOUS 66008 HAS SOUPS 66008 WITH SCORE 66172.576
AT ITER 3278 NEW BEST:: SOT 286893 SOS 164456 HAS SOPS 164456 HAS SOUS 65972 HAS SOUPS 65972 WITH SCORE 66136.456
AT ITER 3286 NEW BEST:: SOT 286892 SOS 164455 HAS SOPS 164455 HAS SOUS 65970 HAS SOUPS 65970 WITH SCORE 66134.455
AT ITER 3306 NEW BEST:: SOT 286898 SOS 164461 HAS SOPS 164461 HAS SOUS 65967 HAS SOUPS 65967 WITH SCORE 66131.461
AT ITER 3309 NEW BEST:: SOT 286897 SOS 164398 HAS SOPS 164398 HAS SOUS 65965 HAS SOUPS 65965 WITH SCORE 66129.398
AT ITER 3323 NEW BEST:: SOT 286714 SOS 164766 HAS SOPS 164766 HAS SOUS 65938 HAS SOUPS 65938 WITH SCORE 66102.766
AT ITER 3349 NEW BEST:: SOT 286714 SOS 164758 HAS SOPS 164758 HAS SOUS 65934 HAS SOUPS 65934 WITH SCORE 66098.758
AT ITER 3370 NEW BEST:: SOT 286704 SOS 164748 HAS SOPS 164748 HAS SOUS 65924 HAS SOUPS 65924 WITH SCORE 66088.748
AT ITER 3377 NEW BEST:: SOT 286715 SOS 164791 HAS SOPS 164791 HAS SOUS 65923 HAS SOUPS 65923 WITH SCORE 66087.791
AT ITER 3378 NEW BEST:: SOT 286695 SOS 164791 HAS SOPS 164791 HAS SOUS 65883 HAS SOUPS 65883 WITH SCORE 66047.791
AT ITER 3401 NEW BEST:: SOT 286680 SOS 164836 HAS SOPS 164836 HAS SOUS 65871 HAS SOUPS 65871 WITH SCORE 66035.836
AT ITER 3406 NEW BEST:: SOT 286723 SOS 164894 HAS SOPS 164894 HAS SOUS 65847 HAS SOUPS 65847 WITH SCORE 66011.894
AT ITER 3423 NEW BEST:: SOT 286723 SOS 164904 HAS SOPS 164904 HAS SOUS 65831 HAS SOUPS 65831 WITH SCORE 65995.904
AT ITER 3427 NEW BEST:: SOT 286723 SOS 164932 HAS SOPS 164932 HAS SOUS 65824 HAS SOUPS 65824 WITH SCORE 65988.932
AT ITER 3443 NEW BEST:: SOT 286723 SOS 164896 HAS SOPS 164896 HAS SOUS 65823 HAS SOUPS 65823 WITH SCORE 65987.896
AT ITER 3444 NEW BEST:: SOT 286698 SOS 164697 HAS SOPS 164697 HAS SOUS 65663 HAS SOUPS 65663 WITH SCORE 65827.697
AT ITER 3450 NEW BEST:: SOT 286671 SOS 164643 HAS SOPS 164643 HAS SOUS 65618 HAS SOUPS 65618 WITH SCORE 65782.643
AT ITER 3464 NEW BEST:: SOT 285565 SOS 163379 HAS SOPS 163379 HAS SOUS 64648 HAS SOUPS 64648 WITH SCORE 64811.379
AT ITER 3486 NEW BEST:: SOT 285545 SOS 163347 HAS SOPS 163347 HAS SOUS 64616 HAS SOUPS 64616 WITH SCORE 64779.347
AT ITER 3493 NEW BEST:: SOT 286069 SOS 162812 HAS SOPS 162812 HAS SOUS 64506 HAS SOUPS 64506 WITH SCORE 64668.812
AT ITER 3497 NEW BEST:: SOT 286072 SOS 162884 HAS SOPS 162884 HAS SOUS 64483 HAS SOUPS 64483 WITH SCORE 64645.884
AT ITER 3502 NEW BEST:: SOT 286001 SOS 162742 HAS SOPS 162742 HAS SOUS 64341 HAS SOUPS 64341 WITH SCORE 64503.742
AT ITER 3504 NEW BEST:: SOT 286001 SOS 162748 HAS SOPS 162748 HAS SOUS 64340 HAS SOUPS 64340 WITH SCORE 64502.748
AT ITER 3522 NEW BEST:: SOT 285906 SOS 162822 HAS SOPS 162822 HAS SOUS 64247 HAS SOUPS 64247 WITH SCORE 64409.822
AT ITER 3542 NEW BEST:: SOT 285906 SOS 162910 HAS SOPS 162910 HAS SOUS 64219 HAS SOUPS 64219 WITH SCORE 64381.91
AT ITER 3557 NEW BEST:: SOT 285906 SOS 162910 HAS SOPS 162910 HAS SOUS 64147 HAS SOUPS 64147 WITH SCORE 64309.91
AT ITER 3565 NEW BEST:: SOT 285925 SOS 162487 HAS SOPS 162487 HAS SOUS 64092 HAS SOUPS 64092 WITH SCORE 64254.487
AT ITER 3580 NEW BEST:: SOT 285894 SOS 162456 HAS SOPS 162456 HAS SOUS 64030 HAS SOUPS 64030 WITH SCORE 64192.456
AT ITER 3605 NEW BEST:: SOT 285882 SOS 162426 HAS SOPS 162426 HAS SOUS 64012 HAS SOUPS 64012 WITH SCORE 64174.426
AT ITER 3611 NEW BEST:: SOT 285872 SOS 162418 HAS SOPS 162418 HAS SOUS 63976 HAS SOUPS 63976 WITH SCORE 64138.418
AT ITER 3634 NEW BEST:: SOT 285863 SOS 162409 HAS SOPS 162409 HAS SOUS 63967 HAS SOUPS 63967 WITH SCORE 64129.409
AT ITER 3636 NEW BEST:: SOT 285826 SOS 162372 HAS SOPS 162372 HAS SOUS 63930 HAS SOUPS 63930 WITH SCORE 64092.372
AT ITER 3661 NEW BEST:: SOT 285793 SOS 162062 HAS SOPS 162062 HAS SOUS 63710 HAS SOUPS 63710 WITH SCORE 63872.062
AT ITER 3674 NEW BEST:: SOT 285728 SOS 161917 HAS SOPS 161917 HAS SOUS 63636 HAS SOUPS 63636 WITH SCORE 63797.917
AT ITER 3678 NEW BEST:: SOT 285747 SOS 161930 HAS SOPS 161930 HAS SOUS 63631 HAS SOUPS 63631 WITH SCORE 63792.93
AT ITER 3680 NEW BEST:: SOT 285733 SOS 161960 HAS SOPS 161960 HAS SOUS 63608 HAS SOUPS 63608 WITH SCORE 63769.96
AT ITER 3684 NEW BEST:: SOT 285731 SOS 161958 HAS SOPS 161958 HAS SOUS 63606 HAS SOUPS 63606 WITH SCORE 63767.958
AT ITER 3701 NEW BEST:: SOT 285741 SOS 161954 HAS SOPS 161954 HAS SOUS 63602 HAS SOUPS 63602 WITH SCORE 63763.954
AT ITER 3713 NEW BEST:: SOT 284901 SOS 161044 HAS SOPS 161044 HAS SOUS 63553 HAS SOUPS 63553 WITH SCORE 63714.044
AT ITER 3723 NEW BEST:: SOT 284958 SOS 161034 HAS SOPS 161034 HAS SOUS 63472 HAS SOUPS 63472 WITH SCORE 63633.034
AT ITER 3728 NEW BEST:: SOT 284956 SOS 161034 HAS SOPS 161034 HAS SOUS 63470 HAS SOUPS 63470 WITH SCORE 63631.034
AT ITER 3763 NEW BEST:: SOT 284944 SOS 160982 HAS SOPS 160982 HAS SOUS 63446 HAS SOUPS 63446 WITH SCORE 63606.982
AT ITER 3764 NEW BEST:: SOT 284944 SOS 160978 HAS SOPS 160978 HAS SOUS 63438 HAS SOUPS 63438 WITH SCORE 63598.978
AT ITER 3766 NEW BEST:: SOT 284945 SOS 160825 HAS SOPS 160825 HAS SOUS 63285 HAS SOUPS 63285 WITH SCORE 63445.825
AT ITER 3793 NEW BEST:: SOT 284945 SOS 160854 HAS SOPS 160854 HAS SOUS 63282 HAS SOUPS 63282 WITH SCORE 63442.854
AT ITER 3795 NEW BEST:: SOT 284945 SOS 160824 HAS SOPS 160824 HAS SOUS 63252 HAS SOUPS 63252 WITH SCORE 63412.824
AT ITER 3800 NEW BEST:: SOT 284944 SOS 160823 HAS SOPS 160823 HAS SOUS 63214 HAS SOUPS 63214 WITH SCORE 63374.823
AT ITER 3802 NEW BEST:: SOT 284942 SOS 160743 HAS SOPS 160743 HAS SOUS 63180 HAS SOUPS 63180 WITH SCORE 63340.743
AT ITER 3822 NEW BEST:: SOT 284940 SOS 160708 HAS SOPS 160708 HAS SOUS 63155 HAS SOUPS 63155 WITH SCORE 63315.708
AT ITER 3839 NEW BEST:: SOT 284775 SOS 160371 HAS SOPS 160371 HAS SOUS 62818 HAS SOUPS 62818 WITH SCORE 62978.371
AT ITER 3850 NEW BEST:: SOT 284775 SOS 161716 HAS SOPS 161716 HAS SOUS 62814 HAS SOUPS 62814 WITH SCORE 62975.716
AT ITER 3858 NEW BEST:: SOT 284695 SOS 161636 HAS SOPS 161636 HAS SOUS 62814 HAS SOUPS 62814 WITH SCORE 62975.636
AT ITER 3879 NEW BEST:: SOT 284695 SOS 161629 HAS SOPS 161629 HAS SOUS 62806 HAS SOUPS 62806 WITH SCORE 62967.629
AT ITER 3882 NEW BEST:: SOT 284681 SOS 161621 HAS SOPS 161621 HAS SOUS 62794 HAS SOUPS 62794 WITH SCORE 62955.621
AT ITER 3896 NEW BEST:: SOT 284668 SOS 161608 HAS SOPS 161608 HAS SOUS 62781 HAS SOUPS 62781 WITH SCORE 62942.608
AT ITER 3923 NEW BEST:: SOT 284665 SOS 161604 HAS SOPS 161604 HAS SOUS 62759 HAS SOUPS 62759 WITH SCORE 62920.604
AT ITER 3928 NEW BEST:: SOT 284638 SOS 161579 HAS SOPS 161579 HAS SOUS 62734 HAS SOUPS 62734 WITH SCORE 62895.579
AT ITER 3934 NEW BEST:: SOT 284631 SOS 161570 HAS SOPS 161570 HAS SOUS 62725 HAS SOUPS 62725 WITH SCORE 62886.57
AT ITER 3938 NEW BEST:: SOT 284577 SOS 161462 HAS SOPS 161462 HAS SOUS 62704 HAS SOUPS 62704 WITH SCORE 62865.462
AT ITER 3951 NEW BEST:: SOT 284506 SOS 161325 HAS SOPS 161325 HAS SOUS 62602 HAS SOUPS 62602 WITH SCORE 62763.325
AT ITER 3960 NEW BEST:: SOT 284225 SOS 161414 HAS SOPS 161414 HAS SOUS 62482 HAS SOUPS 62482 WITH SCORE 62643.414
AT ITER 3979 NEW BEST:: SOT 284151 SOS 161176 HAS SOPS 161176 HAS SOUS 62451 HAS SOUPS 62451 WITH SCORE 62612.176
AT ITER 4006 NEW BEST:: SOT 284151 SOS 161116 HAS SOPS 161116 HAS SOUS 62451 HAS SOUPS 62451 WITH SCORE 62612.116
AT ITER 4017 NEW BEST:: SOT 284164 SOS 161096 HAS SOPS 161096 HAS SOUS 62422 HAS SOUPS 62422 WITH SCORE 62583.096
AT ITER 4027 NEW BEST:: SOT 284110 SOS 161056 HAS SOPS 161056 HAS SOUS 62382 HAS SOUPS 62382 WITH SCORE 62543.056
AT ITER 4044 NEW BEST:: SOT 284169 SOS 161085 HAS SOPS 161085 HAS SOUS 62381 HAS SOUPS 62381 WITH SCORE 62542.085
AT ITER 4057 NEW BEST:: SOT 284225 SOS 161106 HAS SOPS 161106 HAS SOUS 62278 HAS SOUPS 62278 WITH SCORE 62439.106
AT ITER 4062 NEW BEST:: SOT 284249 SOS 161130 HAS SOPS 161130 HAS SOUS 62275 HAS SOUPS 62275 WITH SCORE 62436.13
AT ITER 4068 NEW BEST:: SOT 284249 SOS 161130 HAS SOPS 161130 HAS SOUS 62262 HAS SOUPS 62262 WITH SCORE 62423.13
AT ITER 4080 NEW BEST:: SOT 284249 SOS 161122 HAS SOPS 161122 HAS SOUS 62261 HAS SOUPS 62261 WITH SCORE 62422.122
AT ITER 4113 NEW BEST:: SOT 284297 SOS 161248 HAS SOPS 161248 HAS SOUS 62236 HAS SOUPS 62236 WITH SCORE 62397.248
AT ITER 4132 NEW BEST:: SOT 284292 SOS 161238 HAS SOPS 161238 HAS SOUS 62231 HAS SOUPS 62231 WITH SCORE 62392.238
AT ITER 4138 NEW BEST:: SOT 284242 SOS 161138 HAS SOPS 161138 HAS SOUS 62131 HAS SOUPS 62131 WITH SCORE 62292.138
AT ITER 4154 NEW BEST:: SOT 284242 SOS 161025 HAS SOPS 161025 HAS SOUS 62018 HAS SOUPS 62018 WITH SCORE 62179.025
AT ITER 4156 NEW BEST:: SOT 284242 SOS 160977 HAS SOPS 160977 HAS SOUS 62018 HAS SOUPS 62018 WITH SCORE 62178.977
AT ITER 4166 NEW BEST:: SOT 284239 SOS 161000 HAS SOPS 161000 HAS SOUS 62015 HAS SOUPS 62015 WITH SCORE 62176.0
AT ITER 4185 NEW BEST:: SOT 284090 SOS 160967 HAS SOPS 160967 HAS SOUS 61932 HAS SOUPS 61932 WITH SCORE 62092.967
AT ITER 4205 NEW BEST:: SOT 284089 SOS 160966 HAS SOPS 160966 HAS SOUS 61930 HAS SOUPS 61930 WITH SCORE 62090.966
AT ITER 4208 NEW BEST:: SOT 284089 SOS 161160 HAS SOPS 161160 HAS SOUS 61929 HAS SOUPS 61929 WITH SCORE 62090.16
AT ITER 4228 NEW BEST:: SOT 284116 SOS 161074 HAS SOPS 161074 HAS SOUS 61885 HAS SOUPS 61885 WITH SCORE 62046.074
AT ITER 4266 NEW BEST:: SOT 284072 SOS 160997 HAS SOPS 160997 HAS SOUS 61876 HAS SOUPS 61876 WITH SCORE 62036.997
AT ITER 4280 NEW BEST:: SOT 284050 SOS 160930 HAS SOPS 160930 HAS SOUS 61809 HAS SOUPS 61809 WITH SCORE 61969.93
AT ITER 4282 NEW BEST:: SOT 283936 SOS 160816 HAS SOPS 160816 HAS SOUS 61740 HAS SOUPS 61740 WITH SCORE 61900.816
AT ITER 4294 NEW BEST:: SOT 283925 SOS 160794 HAS SOPS 160794 HAS SOUS 61718 HAS SOUPS 61718 WITH SCORE 61878.794
AT ITER 4297 NEW BEST:: SOT 283855 SOS 160888 HAS SOPS 160888 HAS SOUS 61680 HAS SOUPS 61680 WITH SCORE 61840.888
AT ITER 4313 NEW BEST:: SOT 283900 SOS 160832 HAS SOPS 160832 HAS SOUS 61606 HAS SOUPS 61606 WITH SCORE 61766.832
AT ITER 4317 NEW BEST:: SOT 283843 SOS 160775 HAS SOPS 160775 HAS SOUS 61549 HAS SOUPS 61549 WITH SCORE 61709.775
AT ITER 4320 NEW BEST:: SOT 283811 SOS 160743 HAS SOPS 160743 HAS SOUS 61485 HAS SOUPS 61485 WITH SCORE 61645.743
AT ITER 4345 NEW BEST:: SOT 283790 SOS 160722 HAS SOPS 160722 HAS SOUS 61443 HAS SOUPS 61443 WITH SCORE 61603.722
AT ITER 4377 NEW BEST:: SOT 283741 SOS 160673 HAS SOPS 160673 HAS SOUS 61387 HAS SOUPS 61387 WITH SCORE 61547.673
AT ITER 4394 NEW BEST:: SOT 283672 SOS 160604 HAS SOPS 160604 HAS SOUS 61318 HAS SOUPS 61318 WITH SCORE 61478.604
AT ITER 4422 NEW BEST:: SOT 283672 SOS 160478 HAS SOPS 160478 HAS SOUS 61315 HAS SOUPS 61315 WITH SCORE 61475.478
AT ITER 4431 NEW BEST:: SOT 283703 SOS 160447 HAS SOPS 160447 HAS SOUS 61300 HAS SOUPS 61300 WITH SCORE 61460.447
AT ITER 4434 NEW BEST:: SOT 283648 SOS 160392 HAS SOPS 160392 HAS SOUS 61245 HAS SOUPS 61245 WITH SCORE 61405.392
AT ITER 4446 NEW BEST:: SOT 283408 SOS 160481 HAS SOPS 160481 HAS SOUS 61204 HAS SOUPS 61204 WITH SCORE 61364.481
AT ITER 4448 NEW BEST:: SOT 283408 SOS 160469 HAS SOPS 160469 HAS SOUS 61192 HAS SOUPS 61192 WITH SCORE 61352.469
AT ITER 4468 NEW BEST:: SOT 283201 SOS 160142 HAS SOPS 160142 HAS SOUS 60868 HAS SOUPS 60868 WITH SCORE 61028.142
AT ITER 4476 NEW BEST:: SOT 283165 SOS 160106 HAS SOPS 160106 HAS SOUS 60832 HAS SOUPS 60832 WITH SCORE 60992.106
AT ITER 4491 NEW BEST:: SOT 283203 SOS 160088 HAS SOPS 160088 HAS SOUS 60814 HAS SOUPS 60814 WITH SCORE 60974.088
AT ITER 4562 NEW BEST:: SOT 283201 SOS 160029 HAS SOPS 160029 HAS SOUS 60775 HAS SOUPS 60775 WITH SCORE 60935.029
AT ITER 4572 NEW BEST:: SOT 283194 SOS 160022 HAS SOPS 160022 HAS SOUS 60758 HAS SOUPS 60758 WITH SCORE 60918.022
AT ITER 4589 NEW BEST:: SOT 283276 SOS 160104 HAS SOPS 160104 HAS SOUS 60716 HAS SOUPS 60716 WITH SCORE 60876.104
AT ITER 4601 NEW BEST:: SOT 283276 SOS 159721 HAS SOPS 159721 HAS SOUS 60691 HAS SOUPS 60691 WITH SCORE 60850.721
AT ITER 4646 NEW BEST:: SOT 283258 SOS 159697 HAS SOPS 159697 HAS SOUS 60667 HAS SOUPS 60667 WITH SCORE 60826.697
AT ITER 4668 NEW BEST:: SOT 283258 SOS 159705 HAS SOPS 159705 HAS SOUS 60651 HAS SOUPS 60651 WITH SCORE 60810.705
AT ITER 4678 NEW BEST:: SOT 283258 SOS 159287 HAS SOPS 159287 HAS SOUS 60599 HAS SOUPS 60599 WITH SCORE 60758.287
AT ITER 4724 NEW BEST:: SOT 283301 SOS 159305 HAS SOPS 159305 HAS SOUS 60514 HAS SOUPS 60514 WITH SCORE 60673.305
AT ITER 4731 NEW BEST:: SOT 283289 SOS 159293 HAS SOPS 159293 HAS SOUS 60511 HAS SOUPS 60511 WITH SCORE 60670.293
AT ITER 4732 NEW BEST:: SOT 283280 SOS 158892 HAS SOPS 158892 HAS SOUS 60380 HAS SOUPS 60380 WITH SCORE 60538.892
AT ITER 4750 NEW BEST:: SOT 283261 SOS 158873 HAS SOPS 158873 HAS SOUS 60255 HAS SOUPS 60255 WITH SCORE 60413.873
AT ITER 4751 NEW BEST:: SOT 283255 SOS 158867 HAS SOPS 158867 HAS SOUS 60249 HAS SOUPS 60249 WITH SCORE 60407.867
AT ITER 4773 NEW BEST:: SOT 283161 SOS 158726 HAS SOPS 158726 HAS SOUS 60108 HAS SOUPS 60108 WITH SCORE 60266.726
AT ITER 4780 NEW BEST:: SOT 283185 SOS 158935 HAS SOPS 158935 HAS SOUS 60057 HAS SOUPS 60057 WITH SCORE 60215.935
AT ITER 4785 NEW BEST:: SOT 283168 SOS 158914 HAS SOPS 158914 HAS SOUS 60036 HAS SOUPS 60036 WITH SCORE 60194.914
AT ITER 4808 NEW BEST:: SOT 283168 SOS 158914 HAS SOPS 158914 HAS SOUS 60032 HAS SOUPS 60032 WITH SCORE 60190.914
AT ITER 4819 NEW BEST:: SOT 283149 SOS 158895 HAS SOPS 158895 HAS SOUS 59925 HAS SOUPS 59925 WITH SCORE 60083.895
AT ITER 4835 NEW BEST:: SOT 283108 SOS 158742 HAS SOPS 158742 HAS SOUS 59802 HAS SOUPS 59802 WITH SCORE 59960.742
AT ITER 4839 NEW BEST:: SOT 283043 SOS 158632 HAS SOPS 158632 HAS SOUS 59692 HAS SOUPS 59692 WITH SCORE 59850.632
AT ITER 4845 NEW BEST:: SOT 283018 SOS 158607 HAS SOPS 158607 HAS SOUS 59642 HAS SOUPS 59642 WITH SCORE 59800.607
AT ITER 4855 NEW BEST:: SOT 283002 SOS 158570 HAS SOPS 158570 HAS SOUS 59600 HAS SOUPS 59600 WITH SCORE 59758.57
AT ITER 4911 NEW BEST:: SOT 282981 SOS 158624 HAS SOPS 158624 HAS SOUS 59584 HAS SOUPS 59584 WITH SCORE 59742.624
AT ITER 4918 NEW BEST:: SOT 283055 SOS 158599 HAS SOPS 158599 HAS SOUS 59526 HAS SOUPS 59526 WITH SCORE 59684.599
AT ITER 4948 NEW BEST:: SOT 283024 SOS 158433 HAS SOPS 158433 HAS SOUS 59481 HAS SOUPS 59481 WITH SCORE 59639.433
AT ITER 4960 NEW BEST:: SOT 283024 SOS 158097 HAS SOPS 158097 HAS SOUS 59481 HAS SOUPS 59481 WITH SCORE 59639.097
AT ITER 4966 NEW BEST:: SOT 282988 SOS 158065 HAS SOPS 158065 HAS SOUS 59364 HAS SOUPS 59364 WITH SCORE 59522.065
AT ITER 4975 NEW BEST:: SOT 282995 SOS 158005 HAS SOPS 158005 HAS SOUS 59304 HAS SOUPS 59304 WITH SCORE 59462.005
AT ITER 4985 NEW BEST:: SOT 282994 SOS 158004 HAS SOPS 158004 HAS SOUS 59301 HAS SOUPS 59301 WITH SCORE 59459.004
AT ITER 4990 NEW BEST:: SOT 282988 SOS 158012 HAS SOPS 158012 HAS SOUS 59289 HAS SOUPS 59289 WITH SCORE 59447.012
AT ITER 4991 NEW BEST:: SOT 282982 SOS 158006 HAS SOPS 158006 HAS SOUS 59284 HAS SOUPS 59284 WITH SCORE 59442.006
AT ITER 5067 NEW BEST:: SOT 282984 SOS 157999 HAS SOPS 157999 HAS SOUS 59280 HAS SOUPS 59280 WITH SCORE 59437.999
AT ITER 5068 NEW BEST:: SOT 282984 SOS 157980 HAS SOPS 157980 HAS SOUS 59261 HAS SOUPS 59261 WITH SCORE 59418.98
AT ITER 5070 NEW BEST:: SOT 282971 SOS 157949 HAS SOPS 157949 HAS SOUS 59234 HAS SOUPS 59234 WITH SCORE 59391.949
AT ITER 5089 NEW BEST:: SOT 282890 SOS 157822 HAS SOPS 157822 HAS SOUS 59066 HAS SOUPS 59066 WITH SCORE 59223.822
AT ITER 5092 NEW BEST:: SOT 282868 SOS 157778 HAS SOPS 157778 HAS SOUS 59022 HAS SOUPS 59022 WITH SCORE 59179.778
AT ITER 5094 NEW BEST:: SOT 282592 SOS 157471 HAS SOPS 157471 HAS SOUS 58849 HAS SOUPS 58849 WITH SCORE 59006.471
AT ITER 5109 NEW BEST:: SOT 282592 SOS 157471 HAS SOPS 157471 HAS SOUS 58835 HAS SOUPS 58835 WITH SCORE 58992.471
AT ITER 5120 NEW BEST:: SOT 282536 SOS 157415 HAS SOPS 157415 HAS SOUS 58676 HAS SOUPS 58676 WITH SCORE 58833.415
AT ITER 5127 NEW BEST:: SOT 282536 SOS 157373 HAS SOPS 157373 HAS SOUS 58669 HAS SOUPS 58669 WITH SCORE 58826.373
AT ITER 5146 NEW BEST:: SOT 282506 SOS 157368 HAS SOPS 157368 HAS SOUS 58664 HAS SOUPS 58664 WITH SCORE 58821.368
AT ITER 5261 NEW BEST:: SOT 282482 SOS 157320 HAS SOPS 157320 HAS SOUS 58616 HAS SOUPS 58616 WITH SCORE 58773.32
AT ITER 5263 NEW BEST:: SOT 282482 SOS 157402 HAS SOPS 157402 HAS SOUS 58534 HAS SOUPS 58534 WITH SCORE 58691.402
AT ITER 5264 NEW BEST:: SOT 282507 SOS 157297 HAS SOPS 157297 HAS SOUS 58525 HAS SOUPS 58525 WITH SCORE 58682.297
AT ITER 5272 NEW BEST:: SOT 282482 SOS 157222 HAS SOPS 157222 HAS SOUS 58475 HAS SOUPS 58475 WITH SCORE 58632.222
AT ITER 5282 NEW BEST:: SOT 282473 SOS 157139 HAS SOPS 157139 HAS SOUS 58457 HAS SOUPS 58457 WITH SCORE 58614.139
AT ITER 5305 NEW BEST:: SOT 282458 SOS 157082 HAS SOPS 157082 HAS SOUS 58400 HAS SOUPS 58400 WITH SCORE 58557.082
AT ITER 5311 NEW BEST:: SOT 282431 SOS 157172 HAS SOPS 157172 HAS SOUS 58398 HAS SOUPS 58398 WITH SCORE 58555.172
AT ITER 5313 NEW BEST:: SOT 282396 SOS 157164 HAS SOPS 157164 HAS SOUS 58390 HAS SOUPS 58390 WITH SCORE 58547.164
AT ITER 5321 NEW BEST:: SOT 282340 SOS 157108 HAS SOPS 157108 HAS SOUS 58334 HAS SOUPS 58334 WITH SCORE 58491.108
AT ITER 5324 NEW BEST:: SOT 282293 SOS 157035 HAS SOPS 157035 HAS SOUS 58308 HAS SOUPS 58308 WITH SCORE 58465.035
AT ITER 5334 NEW BEST:: SOT 282290 SOS 156998 HAS SOPS 156998 HAS SOUS 58271 HAS SOUPS 58271 WITH SCORE 58427.998
AT ITER 5345 NEW BEST:: SOT 282298 SOS 157006 HAS SOPS 157006 HAS SOUS 58238 HAS SOUPS 58238 WITH SCORE 58395.006
AT ITER 5346 NEW BEST:: SOT 282247 SOS 156947 HAS SOPS 156947 HAS SOUS 58179 HAS SOUPS 58179 WITH SCORE 58335.947
AT ITER 5389 NEW BEST:: SOT 282220 SOS 156887 HAS SOPS 156887 HAS SOUS 58142 HAS SOUPS 58142 WITH SCORE 58298.887
AT ITER 5404 NEW BEST:: SOT 282113 SOS 156728 HAS SOPS 156728 HAS SOUS 57983 HAS SOUPS 57983 WITH SCORE 58139.728
AT ITER 5442 NEW BEST:: SOT 282095 SOS 156713 HAS SOPS 156713 HAS SOUS 57983 HAS SOUPS 57983 WITH SCORE 58139.713
AT ITER 5448 NEW BEST:: SOT 282091 SOS 156709 HAS SOPS 156709 HAS SOUS 57979 HAS SOUPS 57979 WITH SCORE 58135.709
AT ITER 5480 NEW BEST:: SOT 282083 SOS 156701 HAS SOPS 156701 HAS SOUS 57971 HAS SOUPS 57971 WITH SCORE 58127.701
AT ITER 5506 NEW BEST:: SOT 282083 SOS 156585 HAS SOPS 156585 HAS SOUS 57881 HAS SOUPS 57881 WITH SCORE 58037.585
AT ITER 5541 NEW BEST:: SOT 282076 SOS 156571 HAS SOPS 156571 HAS SOUS 57867 HAS SOUPS 57867 WITH SCORE 58023.571
AT ITER 5545 NEW BEST:: SOT 282061 SOS 156556 HAS SOPS 156556 HAS SOUS 57852 HAS SOUPS 57852 WITH SCORE 58008.556
AT ITER 5590 NEW BEST:: SOT 282040 SOS 156535 HAS SOPS 156535 HAS SOUS 57811 HAS SOUPS 57811 WITH SCORE 57967.535
AT ITER 5611 NEW BEST:: SOT 282059 SOS 156424 HAS SOPS 156424 HAS SOUS 57776 HAS SOUPS 57776 WITH SCORE 57932.424
AT ITER 5633 NEW BEST:: SOT 282045 SOS 156410 HAS SOPS 156410 HAS SOUS 57776 HAS SOUPS 57776 WITH SCORE 57932.41
AT ITER 5655 NEW BEST:: SOT 282028 SOS 156393 HAS SOPS 156393 HAS SOUS 57760 HAS SOUPS 57760 WITH SCORE 57916.393
AT ITER 5663 NEW BEST:: SOT 282024 SOS 156389 HAS SOPS 156389 HAS SOUS 57756 HAS SOUPS 57756 WITH SCORE 57912.389
AT ITER 5682 NEW BEST:: SOT 282021 SOS 156386 HAS SOPS 156386 HAS SOUS 57753 HAS SOUPS 57753 WITH SCORE 57909.386
AT ITER 5712 NEW BEST:: SOT 281991 SOS 156249 HAS SOPS 156249 HAS SOUS 57654 HAS SOUPS 57654 WITH SCORE 57810.249
AT ITER 5718 NEW BEST:: SOT 281933 SOS 156162 HAS SOPS 156162 HAS SOUS 57539 HAS SOUPS 57539 WITH SCORE 57695.162
AT ITER 5726 NEW BEST:: SOT 281933 SOS 156154 HAS SOPS 156154 HAS SOUS 57521 HAS SOUPS 57521 WITH SCORE 57677.154
AT ITER 5737 NEW BEST:: SOT 281790 SOS 155868 HAS SOPS 155868 HAS SOUS 57235 HAS SOUPS 57235 WITH SCORE 57390.868
AT ITER 5770 NEW BEST:: SOT 281744 SOS 156092 HAS SOPS 156092 HAS SOUS 57177 HAS SOUPS 57177 WITH SCORE 57333.092
AT ITER 5777 NEW BEST:: SOT 281744 SOS 156092 HAS SOPS 156092 HAS SOUS 57173 HAS SOUPS 57173 WITH SCORE 57329.092
AT ITER 5902 NEW BEST:: SOT 281721 SOS 156092 HAS SOPS 156092 HAS SOUS 57150 HAS SOUPS 57150 WITH SCORE 57306.092
AT ITER 5930 NEW BEST:: SOT 281721 SOS 156088 HAS SOPS 156088 HAS SOUS 57146 HAS SOUPS 57146 WITH SCORE 57302.088
AT ITER 5939 NEW BEST:: SOT 281714 SOS 156081 HAS SOPS 156081 HAS SOUS 57146 HAS SOUPS 57146 WITH SCORE 57302.081
AT ITER 5945 NEW BEST:: SOT 281651 SOS 155658 HAS SOPS 155658 HAS SOUS 56861 HAS SOUPS 56861 WITH SCORE 57016.658
AT ITER 5984 NEW BEST:: SOT 281578 SOS 155583 HAS SOPS 155583 HAS SOUS 56860 HAS SOUPS 56860 WITH SCORE 57015.583
AT ITER 5988 NEW BEST:: SOT 281557 SOS 155494 HAS SOPS 155494 HAS SOUS 56797 HAS SOUPS 56797 WITH SCORE 56952.494
AT ITER 5996 NEW BEST:: SOT 281591 SOS 155405 HAS SOPS 155405 HAS SOUS 56708 HAS SOUPS 56708 WITH SCORE 56863.405
AT ITER 6001 NEW BEST:: SOT 281587 SOS 155401 HAS SOPS 155401 HAS SOUS 56689 HAS SOUPS 56689 WITH SCORE 56844.401
AT ITER 6006 NEW BEST:: SOT 281514 SOS 155328 HAS SOPS 155328 HAS SOUS 56663 HAS SOUPS 56663 WITH SCORE 56818.328
AT ITER 6036 NEW BEST:: SOT 281514 SOS 155324 HAS SOPS 155324 HAS SOUS 56659 HAS SOUPS 56659 WITH SCORE 56814.324
AT ITER 6063 NEW BEST:: SOT 281507 SOS 155317 HAS SOPS 155317 HAS SOUS 56621 HAS SOUPS 56621 WITH SCORE 56776.317
AT ITER 6085 NEW BEST:: SOT 281412 SOS 155088 HAS SOPS 155088 HAS SOUS 56392 HAS SOUPS 56392 WITH SCORE 56547.088
AT ITER 6090 NEW BEST:: SOT 281172 SOS 154894 HAS SOPS 154894 HAS SOUS 56122 HAS SOUPS 56122 WITH SCORE 56276.894
AT ITER 6137 NEW BEST:: SOT 281122 SOS 154860 HAS SOPS 154860 HAS SOUS 56088 HAS SOUPS 56088 WITH SCORE 56242.86
AT ITER 6145 NEW BEST:: SOT 280879 SOS 154854 HAS SOPS 154854 HAS SOUS 56082 HAS SOUPS 56082 WITH SCORE 56236.854
AT ITER 6197 NEW BEST:: SOT 280823 SOS 154798 HAS SOPS 154798 HAS SOUS 56026 HAS SOUPS 56026 WITH SCORE 56180.798
AT ITER 6271 NEW BEST:: SOT 280901 SOS 154740 HAS SOPS 154740 HAS SOUS 55968 HAS SOUPS 55968 WITH SCORE 56122.74
AT ITER 6276 NEW BEST:: SOT 280748 SOS 154587 HAS SOPS 154587 HAS SOUS 55780 HAS SOUPS 55780 WITH SCORE 55934.587
AT ITER 6281 NEW BEST:: SOT 280553 SOS 154392 HAS SOPS 154392 HAS SOUS 55663 HAS SOUPS 55663 WITH SCORE 55817.392
AT ITER 6300 NEW BEST:: SOT 280578 SOS 154380 HAS SOPS 154380 HAS SOUS 55661 HAS SOUPS 55661 WITH SCORE 55815.38
AT ITER 6314 NEW BEST:: SOT 280557 SOS 154338 HAS SOPS 154338 HAS SOUS 55650 HAS SOUPS 55650 WITH SCORE 55804.338
AT ITER 6336 NEW BEST:: SOT 280555 SOS 154335 HAS SOPS 154335 HAS SOUS 55647 HAS SOUPS 55647 WITH SCORE 55801.335
AT ITER 6353 NEW BEST:: SOT 280537 SOS 154299 HAS SOPS 154299 HAS SOUS 55611 HAS SOUPS 55611 WITH SCORE 55765.299
AT ITER 6391 NEW BEST:: SOT 280533 SOS 154295 HAS SOPS 154295 HAS SOUS 55607 HAS SOUPS 55607 WITH SCORE 55761.295
AT ITER 6392 NEW BEST:: SOT 280517 SOS 154238 HAS SOPS 154238 HAS SOUS 55541 HAS SOUPS 55541 WITH SCORE 55695.238
AT ITER 6409 NEW BEST:: SOT 280438 SOS 154159 HAS SOPS 154159 HAS SOUS 55390 HAS SOUPS 55390 WITH SCORE 55544.159
AT ITER 6410 NEW BEST:: SOT 280503 SOS 154358 HAS SOPS 154358 HAS SOUS 55378 HAS SOUPS 55378 WITH SCORE 55532.358
AT ITER 6425 NEW BEST:: SOT 280487 SOS 154308 HAS SOPS 154308 HAS SOUS 55328 HAS SOUPS 55328 WITH SCORE 55482.308
AT ITER 6430 NEW BEST:: SOT 280487 SOS 154308 HAS SOPS 154308 HAS SOUS 55324 HAS SOUPS 55324 WITH SCORE 55478.308
AT ITER 6440 NEW BEST:: SOT 280487 SOS 154500 HAS SOPS 154500 HAS SOUS 55323 HAS SOUPS 55323 WITH SCORE 55477.5
AT ITER 6461 NEW BEST:: SOT 280427 SOS 154386 HAS SOPS 154386 HAS SOUS 55209 HAS SOUPS 55209 WITH SCORE 55363.386
AT ITER 6494 NEW BEST:: SOT 280439 SOS 154376 HAS SOPS 154376 HAS SOUS 55199 HAS SOUPS 55199 WITH SCORE 55353.376
AT ITER 6529 NEW BEST:: SOT 280412 SOS 154445 HAS SOPS 154445 HAS SOUS 55187 HAS SOUPS 55187 WITH SCORE 55341.445
AT ITER 6561 NEW BEST:: SOT 280411 SOS 154444 HAS SOPS 154444 HAS SOUS 55185 HAS SOUPS 55185 WITH SCORE 55339.444
AT ITER 6575 NEW BEST:: SOT 280411 SOS 154336 HAS SOPS 154336 HAS SOUS 55185 HAS SOUPS 55185 WITH SCORE 55339.336
AT ITER 6582 NEW BEST:: SOT 280389 SOS 154334 HAS SOPS 154334 HAS SOUS 55183 HAS SOUPS 55183 WITH SCORE 55337.334
AT ITER 6588 NEW BEST:: SOT 280344 SOS 154289 HAS SOPS 154289 HAS SOUS 55183 HAS SOUPS 55183 WITH SCORE 55337.289
AT ITER 6590 NEW BEST:: SOT 280344 SOS 154215 HAS SOPS 154215 HAS SOUS 55109 HAS SOUPS 55109 WITH SCORE 55263.215
AT ITER 6593 NEW BEST:: SOT 280344 SOS 154153 HAS SOPS 154153 HAS SOUS 55109 HAS SOUPS 55109 WITH SCORE 55263.153
AT ITER 6594 NEW BEST:: SOT 280338 SOS 154118 HAS SOPS 154118 HAS SOUS 55100 HAS SOUPS 55100 WITH SCORE 55254.118
AT ITER 6597 NEW BEST:: SOT 280346 SOS 154126 HAS SOPS 154126 HAS SOUS 55097 HAS SOUPS 55097 WITH SCORE 55251.126
AT ITER 6612 NEW BEST:: SOT 280208 SOS 153901 HAS SOPS 153901 HAS SOUS 54872 HAS SOUPS 54872 WITH SCORE 55025.901
AT ITER 6623 NEW BEST:: SOT 280041 SOS 153894 HAS SOPS 153894 HAS SOUS 54767 HAS SOUPS 54767 WITH SCORE 54920.894
AT ITER 6630 NEW BEST:: SOT 280022 SOS 153837 HAS SOPS 153837 HAS SOUS 54748 HAS SOUPS 54748 WITH SCORE 54901.837
AT ITER 6645 NEW BEST:: SOT 280022 SOS 153815 HAS SOPS 153815 HAS SOUS 54737 HAS SOUPS 54737 WITH SCORE 54890.815
AT ITER 6659 NEW BEST:: SOT 279942 SOS 153725 HAS SOPS 153725 HAS SOUS 54647 HAS SOUPS 54647 WITH SCORE 54800.725
AT ITER 6693 NEW BEST:: SOT 279904 SOS 153678 HAS SOPS 153678 HAS SOUS 54593 HAS SOUPS 54593 WITH SCORE 54746.678
AT ITER 6697 NEW BEST:: SOT 279868 SOS 152051 HAS SOPS 152051 HAS SOUS 54591 HAS SOUPS 54591 WITH SCORE 54743.051
AT ITER 6701 NEW BEST:: SOT 279827 SOS 152010 HAS SOPS 152010 HAS SOUS 54519 HAS SOUPS 54519 WITH SCORE 54671.01
AT ITER 6704 NEW BEST:: SOT 279740 SOS 151753 HAS SOPS 151753 HAS SOUS 54432 HAS SOUPS 54432 WITH SCORE 54583.753
AT ITER 6739 NEW BEST:: SOT 279661 SOS 151727 HAS SOPS 151727 HAS SOUS 54388 HAS SOUPS 54388 WITH SCORE 54539.727
AT ITER 6757 NEW BEST:: SOT 279661 SOS 151861 HAS SOPS 151861 HAS SOUS 54387 HAS SOUPS 54387 WITH SCORE 54538.861
AT ITER 6787 NEW BEST:: SOT 279661 SOS 151813 HAS SOPS 151813 HAS SOUS 54381 HAS SOUPS 54381 WITH SCORE 54532.813
AT ITER 6802 NEW BEST:: SOT 279661 SOS 150617 HAS SOPS 150617 HAS SOUS 54289 HAS SOUPS 54289 WITH SCORE 54439.617
AT ITER 6824 NEW BEST:: SOT 279646 SOS 150602 HAS SOPS 150602 HAS SOUS 54259 HAS SOUPS 54259 WITH SCORE 54409.602
AT ITER 6856 NEW BEST:: SOT 279646 SOS 150581 HAS SOPS 150581 HAS SOUS 54238 HAS SOUPS 54238 WITH SCORE 54388.581
AT ITER 6893 NEW BEST:: SOT 279646 SOS 150477 HAS SOPS 150477 HAS SOUS 54210 HAS SOUPS 54210 WITH SCORE 54360.477
AT ITER 6935 NEW BEST:: SOT 279648 SOS 150485 HAS SOPS 150485 HAS SOUS 54208 HAS SOUPS 54208 WITH SCORE 54358.485
AT ITER 6970 NEW BEST:: SOT 279556 SOS 150358 HAS SOPS 150358 HAS SOUS 54072 HAS SOUPS 54072 WITH SCORE 54222.358
AT ITER 6988 NEW BEST:: SOT 279542 SOS 150244 HAS SOPS 150244 HAS SOUS 53958 HAS SOUPS 53958 WITH SCORE 54108.244
AT ITER 6997 NEW BEST:: SOT 279542 SOS 150343 HAS SOPS 150343 HAS SOUS 53906 HAS SOUPS 53906 WITH SCORE 54056.343
AT ITER 7015 NEW BEST:: SOT 279495 SOS 150281 HAS SOPS 150281 HAS SOUS 53844 HAS SOUPS 53844 WITH SCORE 53994.281
AT ITER 7019 NEW BEST:: SOT 279436 SOS 149935 HAS SOPS 149935 HAS SOUS 53764 HAS SOUPS 53764 WITH SCORE 53913.935
AT ITER 7084 NEW BEST:: SOT 279131 SOS 150738 HAS SOPS 150738 HAS SOUS 53594 HAS SOUPS 53594 WITH SCORE 53744.738
AT ITER 7095 NEW BEST:: SOT 279131 SOS 150691 HAS SOPS 150691 HAS SOUS 53547 HAS SOUPS 53547 WITH SCORE 53697.691
AT ITER 7106 NEW BEST:: SOT 279125 SOS 150727 HAS SOPS 150727 HAS SOUS 53535 HAS SOUPS 53535 WITH SCORE 53685.727
AT ITER 7138 NEW BEST:: SOT 278995 SOS 150597 HAS SOPS 150597 HAS SOUS 53507 HAS SOUPS 53507 WITH SCORE 53657.597
AT ITER 7212 NEW BEST:: SOT 279004 SOS 150575 HAS SOPS 150575 HAS SOUS 53485 HAS SOUPS 53485 WITH SCORE 53635.575
AT ITER 7243 NEW BEST:: SOT 278932 SOS 150503 HAS SOPS 150503 HAS SOUS 53413 HAS SOUPS 53413 WITH SCORE 53563.503
AT ITER 7268 NEW BEST:: SOT 278940 SOS 150477 HAS SOPS 150477 HAS SOUS 53387 HAS SOUPS 53387 WITH SCORE 53537.477
AT ITER 7276 NEW BEST:: SOT 278938 SOS 150475 HAS SOPS 150475 HAS SOUS 53383 HAS SOUPS 53383 WITH SCORE 53533.475
AT ITER 7307 NEW BEST:: SOT 278923 SOS 150445 HAS SOPS 150445 HAS SOUS 53353 HAS SOUPS 53353 WITH SCORE 53503.445
AT ITER 7309 NEW BEST:: SOT 278908 SOS 150430 HAS SOPS 150430 HAS SOUS 53338 HAS SOUPS 53338 WITH SCORE 53488.43
AT ITER 7337 NEW BEST:: SOT 278906 SOS 150428 HAS SOPS 150428 HAS SOUS 53334 HAS SOUPS 53334 WITH SCORE 53484.428
AT ITER 7341 NEW BEST:: SOT 278857 SOS 150330 HAS SOPS 150330 HAS SOUS 53285 HAS SOUPS 53285 WITH SCORE 53435.33
AT ITER 7362 NEW BEST:: SOT 278775 SOS 150166 HAS SOPS 150166 HAS SOUS 53121 HAS SOUPS 53121 WITH SCORE 53271.166
AT ITER 7365 NEW BEST:: SOT 278741 SOS 150132 HAS SOPS 150132 HAS SOUS 53070 HAS SOUPS 53070 WITH SCORE 53220.132
AT ITER 7369 NEW BEST:: SOT 278741 SOS 150119 HAS SOPS 150119 HAS SOUS 53057 HAS SOUPS 53057 WITH SCORE 53207.119
AT ITER 7382 NEW BEST:: SOT 278741 SOS 150118 HAS SOPS 150118 HAS SOUS 53056 HAS SOUPS 53056 WITH SCORE 53206.118
AT ITER 7391 NEW BEST:: SOT 278723 SOS 150076 HAS SOPS 150076 HAS SOUS 53035 HAS SOUPS 53035 WITH SCORE 53185.076
AT ITER 7413 NEW BEST:: SOT 278675 SOS 150065 HAS SOPS 150065 HAS SOUS 52994 HAS SOUPS 52994 WITH SCORE 53144.065
AT ITER 7421 NEW BEST:: SOT 278671 SOS 150001 HAS SOPS 150001 HAS SOUS 52944 HAS SOUPS 52944 WITH SCORE 53094.001
AT ITER 7460 NEW BEST:: SOT 278633 SOS 149916 HAS SOPS 149916 HAS SOUS 52911 HAS SOUPS 52911 WITH SCORE 53060.916
AT ITER 7470 NEW BEST:: SOT 278633 SOS 149916 HAS SOPS 149916 HAS SOUS 52910 HAS SOUPS 52910 WITH SCORE 53059.916
AT ITER 7480 NEW BEST:: SOT 278662 SOS 149886 HAS SOPS 149886 HAS SOUS 52880 HAS SOUPS 52880 WITH SCORE 53029.886
AT ITER 7484 NEW BEST:: SOT 278631 SOS 149646 HAS SOPS 149646 HAS SOUS 52850 HAS SOUPS 52850 WITH SCORE 52999.646
AT ITER 7489 NEW BEST:: SOT 278579 SOS 149173 HAS SOPS 149173 HAS SOUS 52730 HAS SOUPS 52730 WITH SCORE 52879.173
AT ITER 7491 NEW BEST:: SOT 278556 SOS 149163 HAS SOPS 149163 HAS SOUS 52720 HAS SOUPS 52720 WITH SCORE 52869.163
AT ITER 7504 NEW BEST:: SOT 278533 SOS 149203 HAS SOPS 149203 HAS SOUS 52697 HAS SOUPS 52697 WITH SCORE 52846.203
AT ITER 7519 NEW BEST:: SOT 278533 SOS 149195 HAS SOPS 149195 HAS SOUS 52645 HAS SOUPS 52645 WITH SCORE 52794.195
AT ITER 7549 NEW BEST:: SOT 278524 SOS 149078 HAS SOPS 149078 HAS SOUS 52645 HAS SOUPS 52645 WITH SCORE 52794.078
AT ITER 7584 NEW BEST:: SOT 278606 SOS 149069 HAS SOPS 149069 HAS SOUS 52618 HAS SOUPS 52618 WITH SCORE 52767.069
AT ITER 7655 NEW BEST:: SOT 278606 SOS 149069 HAS SOPS 149069 HAS SOUS 52584 HAS SOUPS 52584 WITH SCORE 52733.069
AT ITER 7667 NEW BEST:: SOT 278633 SOS 149096 HAS SOPS 149096 HAS SOUS 52577 HAS SOUPS 52577 WITH SCORE 52726.096
AT ITER 7676 NEW BEST:: SOT 278633 SOS 149047 HAS SOPS 149047 HAS SOUS 52570 HAS SOUPS 52570 WITH SCORE 52719.047
AT ITER 7733 NEW BEST:: SOT 278632 SOS 149046 HAS SOPS 149046 HAS SOUS 52569 HAS SOUPS 52569 WITH SCORE 52718.046
AT ITER 7745 NEW BEST:: SOT 278631 SOS 149045 HAS SOPS 149045 HAS SOUS 52568 HAS SOUPS 52568 WITH SCORE 52717.045
AT ITER 7761 NEW BEST:: SOT 278524 SOS 148831 HAS SOPS 148831 HAS SOUS 52354 HAS SOUPS 52354 WITH SCORE 52502.831
AT ITER 7776 NEW BEST:: SOT 278523 SOS 148830 HAS SOPS 148830 HAS SOUS 52354 HAS SOUPS 52354 WITH SCORE 52502.83
AT ITER 7786 NEW BEST:: SOT 278446 SOS 148676 HAS SOPS 148676 HAS SOUS 52200 HAS SOUPS 52200 WITH SCORE 52348.676
AT ITER 7822 NEW BEST:: SOT 278443 SOS 148644 HAS SOPS 148644 HAS SOUS 52194 HAS SOUPS 52194 WITH SCORE 52342.644
AT ITER 7832 NEW BEST:: SOT 278446 SOS 148647 HAS SOPS 148647 HAS SOUS 52188 HAS SOUPS 52188 WITH SCORE 52336.647
AT ITER 7842 NEW BEST:: SOT 278441 SOS 148616 HAS SOPS 148616 HAS SOUS 52159 HAS SOUPS 52159 WITH SCORE 52307.616
AT ITER 7848 NEW BEST:: SOT 278471 SOS 148640 HAS SOPS 148640 HAS SOUS 52147 HAS SOUPS 52147 WITH SCORE 52295.64
AT ITER 7867 NEW BEST:: SOT 278471 SOS 148595 HAS SOPS 148595 HAS SOUS 52144 HAS SOUPS 52144 WITH SCORE 52292.595
AT ITER 7897 NEW BEST:: SOT 278471 SOS 148595 HAS SOPS 148595 HAS SOUS 52117 HAS SOUPS 52117 WITH SCORE 52265.595
AT ITER 7942 NEW BEST:: SOT 278451 SOS 148455 HAS SOPS 148455 HAS SOUS 52097 HAS SOUPS 52097 WITH SCORE 52245.455
AT ITER 7943 NEW BEST:: SOT 278448 SOS 148434 HAS SOPS 148434 HAS SOUS 52091 HAS SOUPS 52091 WITH SCORE 52239.434
AT ITER 7954 NEW BEST:: SOT 278422 SOS 148408 HAS SOPS 148408 HAS SOUS 52081 HAS SOUPS 52081 WITH SCORE 52229.408
AT ITER 7972 NEW BEST:: SOT 278419 SOS 148402 HAS SOPS 148402 HAS SOUS 52075 HAS SOUPS 52075 WITH SCORE 52223.402
AT ITER 8013 NEW BEST:: SOT 278419 SOS 148391 HAS SOPS 148391 HAS SOUS 52064 HAS SOUPS 52064 WITH SCORE 52212.391
AT ITER 8018 NEW BEST:: SOT 278474 SOS 150335 HAS SOPS 150335 HAS SOUS 52043 HAS SOUPS 52043 WITH SCORE 52193.335
AT ITER 8022 NEW BEST:: SOT 278457 SOS 150337 HAS SOPS 150337 HAS SOUS 52009 HAS SOUPS 52009 WITH SCORE 52159.337
AT ITER 8041 NEW BEST:: SOT 278458 SOS 150738 HAS SOPS 150738 HAS SOUS 52003 HAS SOUPS 52003 WITH SCORE 52153.738
AT ITER 8152 NEW BEST:: SOT 278440 SOS 150720 HAS SOPS 150720 HAS SOUS 51991 HAS SOUPS 51991 WITH SCORE 52141.72
AT ITER 8223 NEW BEST:: SOT 278433 SOS 150713 HAS SOPS 150713 HAS SOUS 51984 HAS SOUPS 51984 WITH SCORE 52134.713
AT ITER 8230 NEW BEST:: SOT 278376 SOS 150704 HAS SOPS 150704 HAS SOUS 51926 HAS SOUPS 51926 WITH SCORE 52076.704
AT ITER 8235 NEW BEST:: SOT 278369 SOS 150800 HAS SOPS 150800 HAS SOUS 51919 HAS SOUPS 51919 WITH SCORE 52069.8
AT ITER 8246 NEW BEST:: SOT 278365 SOS 150788 HAS SOPS 150788 HAS SOUS 51911 HAS SOUPS 51911 WITH SCORE 52061.788
AT ITER 8288 NEW BEST:: SOT 278354 SOS 150792 HAS SOPS 150792 HAS SOUS 51880 HAS SOUPS 51880 WITH SCORE 52030.792
AT ITER 8306 NEW BEST:: SOT 278348 SOS 150774 HAS SOPS 150774 HAS SOUS 51862 HAS SOUPS 51862 WITH SCORE 52012.774
AT ITER 8318 NEW BEST:: SOT 278348 SOS 150774 HAS SOPS 150774 HAS SOUS 51738 HAS SOUPS 51738 WITH SCORE 51888.774
AT ITER 8325 NEW BEST:: SOT 278348 SOS 150774 HAS SOPS 150774 HAS SOUS 51718 HAS SOUPS 51718 WITH SCORE 51868.774
AT ITER 8335 NEW BEST:: SOT 278305 SOS 150719 HAS SOPS 150719 HAS SOUS 51706 HAS SOUPS 51706 WITH SCORE 51856.719
AT ITER 8380 NEW BEST:: SOT 278305 SOS 150728 HAS SOPS 150728 HAS SOUS 51705 HAS SOUPS 51705 WITH SCORE 51855.728
AT ITER 8428 NEW BEST:: SOT 278298 SOS 150694 HAS SOPS 150694 HAS SOUS 51658 HAS SOUPS 51658 WITH SCORE 51808.694
AT ITER 8458 NEW BEST:: SOT 278285 SOS 150681 HAS SOPS 150681 HAS SOUS 51511 HAS SOUPS 51511 WITH SCORE 51661.681
AT ITER 8491 NEW BEST:: SOT 278201 SOS 150597 HAS SOPS 150597 HAS SOUS 51427 HAS SOUPS 51427 WITH SCORE 51577.597
AT ITER 8504 NEW BEST:: SOT 278195 SOS 150551 HAS SOPS 150551 HAS SOUS 51375 HAS SOUPS 51375 WITH SCORE 51525.551
AT ITER 8508 NEW BEST:: SOT 278201 SOS 150561 HAS SOPS 150561 HAS SOUS 51322 HAS SOUPS 51322 WITH SCORE 51472.561
AT ITER 8529 NEW BEST:: SOT 278201 SOS 150747 HAS SOPS 150747 HAS SOUS 51291 HAS SOUPS 51291 WITH SCORE 51441.747
AT ITER 8561 NEW BEST:: SOT 278165 SOS 150711 HAS SOPS 150711 HAS SOUS 51239 HAS SOUPS 51239 WITH SCORE 51389.711
AT ITER 8594 NEW BEST:: SOT 278155 SOS 150691 HAS SOPS 150691 HAS SOUS 51219 HAS SOUPS 51219 WITH SCORE 51369.691
AT ITER 8603 NEW BEST:: SOT 278123 SOS 150641 HAS SOPS 150641 HAS SOUS 51183 HAS SOUPS 51183 WITH SCORE 51333.641
AT ITER 8665 NEW BEST:: SOT 278137 SOS 150704 HAS SOPS 150704 HAS SOUS 51168 HAS SOUPS 51168 WITH SCORE 51318.704
AT ITER 8751 NEW BEST:: SOT 278093 SOS 150660 HAS SOPS 150660 HAS SOUS 51157 HAS SOUPS 51157 WITH SCORE 51307.66
AT ITER 8794 NEW BEST:: SOT 278089 SOS 150648 HAS SOPS 150648 HAS SOUS 51149 HAS SOUPS 51149 WITH SCORE 51299.648
AT ITER 8815 NEW BEST:: SOT 278078 SOS 150611 HAS SOPS 150611 HAS SOUS 51125 HAS SOUPS 51125 WITH SCORE 51275.611
AT ITER 8819 NEW BEST:: SOT 278074 SOS 150607 HAS SOPS 150607 HAS SOUS 51117 HAS SOUPS 51117 WITH SCORE 51267.607
AT ITER 8820 NEW BEST:: SOT 277982 SOS 150515 HAS SOPS 150515 HAS SOUS 51025 HAS SOUPS 51025 WITH SCORE 51175.515
AT ITER 8826 NEW BEST:: SOT 277928 SOS 150461 HAS SOPS 150461 HAS SOUS 51025 HAS SOUPS 51025 WITH SCORE 51175.461
AT ITER 8830 NEW BEST:: SOT 277959 SOS 150435 HAS SOPS 150435 HAS SOUS 50999 HAS SOUPS 50999 WITH SCORE 51149.435
AT ITER 8886 NEW BEST:: SOT 277951 SOS 150419 HAS SOPS 150419 HAS SOUS 50975 HAS SOUPS 50975 WITH SCORE 51125.419
AT ITER 8887 NEW BEST:: SOT 277932 SOS 150400 HAS SOPS 150400 HAS SOUS 50956 HAS SOUPS 50956 WITH SCORE 51106.4
AT ITER 8919 NEW BEST:: SOT 277932 SOS 150506 HAS SOPS 150506 HAS SOUS 50881 HAS SOUPS 50881 WITH SCORE 51031.506
AT ITER 8924 NEW BEST:: SOT 277923 SOS 150456 HAS SOPS 150456 HAS SOUS 50876 HAS SOUPS 50876 WITH SCORE 51026.456
AT ITER 8938 NEW BEST:: SOT 277930 SOS 150453 HAS SOPS 150453 HAS SOUS 50870 HAS SOUPS 50870 WITH SCORE 51020.453
AT ITER 8968 NEW BEST:: SOT 277915 SOS 150438 HAS SOPS 150438 HAS SOUS 50855 HAS SOUPS 50855 WITH SCORE 51005.438
AT ITER 8974 NEW BEST:: SOT 277906 SOS 150399 HAS SOPS 150399 HAS SOUS 50840 HAS SOUPS 50840 WITH SCORE 50990.399
AT ITER 8999 NEW BEST:: SOT 277912 SOS 150387 HAS SOPS 150387 HAS SOUS 50828 HAS SOUPS 50828 WITH SCORE 50978.387
AT ITER 9004 NEW BEST:: SOT 277901 SOS 150376 HAS SOPS 150376 HAS SOUS 50806 HAS SOUPS 50806 WITH SCORE 50956.376
AT ITER 9006 NEW BEST:: SOT 277878 SOS 150215 HAS SOPS 150215 HAS SOUS 50760 HAS SOUPS 50760 WITH SCORE 50910.215
AT ITER 9073 NEW BEST:: SOT 277878 SOS 150199 HAS SOPS 150199 HAS SOUS 50759 HAS SOUPS 50759 WITH SCORE 50909.199
AT ITER 9084 NEW BEST:: SOT 277878 SOS 150199 HAS SOPS 150199 HAS SOUS 50747 HAS SOUPS 50747 WITH SCORE 50897.199
AT ITER 9087 NEW BEST:: SOT 277876 SOS 150195 HAS SOPS 150195 HAS SOUS 50743 HAS SOUPS 50743 WITH SCORE 50893.195
AT ITER 9125 NEW BEST:: SOT 277874 SOS 150191 HAS SOPS 150191 HAS SOUS 50737 HAS SOUPS 50737 WITH SCORE 50887.191
AT ITER 9132 NEW BEST:: SOT 277855 SOS 150145 HAS SOPS 150145 HAS SOUS 50728 HAS SOUPS 50728 WITH SCORE 50878.145
AT ITER 9147 NEW BEST:: SOT 277801 SOS 150109 HAS SOPS 150109 HAS SOUS 50728 HAS SOUPS 50728 WITH SCORE 50878.109
AT ITER 9160 NEW BEST:: SOT 277785 SOS 150108 HAS SOPS 150108 HAS SOUS 50727 HAS SOUPS 50727 WITH SCORE 50877.108
AT ITER 9167 NEW BEST:: SOT 277518 SOS 149841 HAS SOPS 149841 HAS SOUS 50628 HAS SOUPS 50628 WITH SCORE 50777.841
AT ITER 9183 NEW BEST:: SOT 277489 SOS 149724 HAS SOPS 149724 HAS SOUS 50588 HAS SOUPS 50588 WITH SCORE 50737.724
AT ITER 9198 NEW BEST:: SOT 277419 SOS 149590 HAS SOPS 149590 HAS SOUS 50500 HAS SOUPS 50500 WITH SCORE 50649.59
AT ITER 9210 NEW BEST:: SOT 277433 SOS 149604 HAS SOPS 149604 HAS SOUS 50464 HAS SOUPS 50464 WITH SCORE 50613.604
AT ITER 9213 NEW BEST:: SOT 277422 SOS 149593 HAS SOPS 149593 HAS SOUS 50423 HAS SOUPS 50423 WITH SCORE 50572.593
AT ITER 9319 NEW BEST:: SOT 277422 SOS 149244 HAS SOPS 149244 HAS SOUS 50384 HAS SOUPS 50384 WITH SCORE 50533.244
AT ITER 9346 NEW BEST:: SOT 277418 SOS 149250 HAS SOPS 149250 HAS SOUS 50360 HAS SOUPS 50360 WITH SCORE 50509.25
AT ITER 9349 NEW BEST:: SOT 277364 SOS 149159 HAS SOPS 149159 HAS SOUS 50269 HAS SOUPS 50269 WITH SCORE 50418.159
AT ITER 9350 NEW BEST:: SOT 277355 SOS 149150 HAS SOPS 149150 HAS SOUS 50251 HAS SOUPS 50251 WITH SCORE 50400.15
AT ITER 9363 NEW BEST:: SOT 277355 SOS 149148 HAS SOPS 149148 HAS SOUS 50251 HAS SOUPS 50251 WITH SCORE 50400.148
AT ITER 9382 NEW BEST:: SOT 277307 SOS 149100 HAS SOPS 149100 HAS SOUS 50171 HAS SOUPS 50171 WITH SCORE 50320.1
AT ITER 9411 NEW BEST:: SOT 277337 SOS 147978 HAS SOPS 147978 HAS SOUS 50102 HAS SOUPS 50102 WITH SCORE 50249.978
AT ITER 9447 NEW BEST:: SOT 277311 SOS 148182 HAS SOPS 148182 HAS SOUS 50050 HAS SOUPS 50050 WITH SCORE 50198.182
AT ITER 9460 NEW BEST:: SOT 277297 SOS 148168 HAS SOPS 148168 HAS SOUS 50022 HAS SOUPS 50022 WITH SCORE 50170.168
AT ITER 9469 NEW BEST:: SOT 277297 SOS 148196 HAS SOPS 148196 HAS SOUS 50016 HAS SOUPS 50016 WITH SCORE 50164.196
AT ITER 9493 NEW BEST:: SOT 277280 SOS 148179 HAS SOPS 148179 HAS SOUS 49982 HAS SOUPS 49982 WITH SCORE 50130.179
AT ITER 9526 NEW BEST:: SOT 277280 SOS 148176 HAS SOPS 148176 HAS SOUS 49979 HAS SOUPS 49979 WITH SCORE 50127.176
AT ITER 9528 NEW BEST:: SOT 277273 SOS 148162 HAS SOPS 148162 HAS SOUS 49965 HAS SOUPS 49965 WITH SCORE 50113.162
AT ITER 9536 NEW BEST:: SOT 277270 SOS 148159 HAS SOPS 148159 HAS SOUS 49960 HAS SOUPS 49960 WITH SCORE 50108.159
AT ITER 9603 NEW BEST:: SOT 277280 SOS 148149 HAS SOPS 148149 HAS SOUS 49943 HAS SOUPS 49943 WITH SCORE 50091.149
AT ITER 9627 NEW BEST:: SOT 277279 SOS 148148 HAS SOPS 148148 HAS SOUS 49918 HAS SOUPS 49918 WITH SCORE 50066.148
AT ITER 9636 NEW BEST:: SOT 277282 SOS 148146 HAS SOPS 148146 HAS SOUS 49914 HAS SOUPS 49914 WITH SCORE 50062.146
AT ITER 9644 NEW BEST:: SOT 277231 SOS 148095 HAS SOPS 148095 HAS SOUS 49841 HAS SOUPS 49841 WITH SCORE 49989.095
AT ITER 9678 NEW BEST:: SOT 277240 SOS 148104 HAS SOPS 148104 HAS SOUS 49839 HAS SOUPS 49839 WITH SCORE 49987.104
AT ITER 9724 NEW BEST:: SOT 277240 SOS 148095 HAS SOPS 148095 HAS SOUS 49839 HAS SOUPS 49839 WITH SCORE 49987.095
AT ITER 9734 NEW BEST:: SOT 277240 SOS 147955 HAS SOPS 147955 HAS SOUS 49799 HAS SOUPS 49799 WITH SCORE 49946.955
AT ITER 9759 NEW BEST:: SOT 277238 SOS 147953 HAS SOPS 147953 HAS SOUS 49796 HAS SOUPS 49796 WITH SCORE 49943.953
AT ITER 9774 NEW BEST:: SOT 277238 SOS 147951 HAS SOPS 147951 HAS SOUS 49796 HAS SOUPS 49796 WITH SCORE 49943.951
AT ITER 9776 NEW BEST:: SOT 277155 SOS 147964 HAS SOPS 147964 HAS SOUS 49713 HAS SOUPS 49713 WITH SCORE 49860.964
AT ITER 9782 NEW BEST:: SOT 277145 SOS 147954 HAS SOPS 147954 HAS SOUS 49703 HAS SOUPS 49703 WITH SCORE 49850.954
AT ITER 9790 NEW BEST:: SOT 277112 SOS 147888 HAS SOPS 147888 HAS SOUS 49637 HAS SOUPS 49637 WITH SCORE 49784.888
AT ITER 9819 NEW BEST:: SOT 277085 SOS 147861 HAS SOPS 147861 HAS SOUS 49610 HAS SOUPS 49610 WITH SCORE 49757.861
AT ITER 9828 NEW BEST:: SOT 277087 SOS 147853 HAS SOPS 147853 HAS SOUS 49602 HAS SOUPS 49602 WITH SCORE 49749.853
AT ITER 9854 NEW BEST:: SOT 276468 SOS 147096 HAS SOPS 147096 HAS SOUS 49289 HAS SOUPS 49289 WITH SCORE 49436.096
AT ITER 9859 NEW BEST:: SOT 276468 SOS 147101 HAS SOPS 147101 HAS SOUS 49288 HAS SOUPS 49288 WITH SCORE 49435.101
AT ITER 9871 NEW BEST:: SOT 276429 SOS 147062 HAS SOPS 147062 HAS SOUS 49273 HAS SOUPS 49273 WITH SCORE 49420.062
AT ITER 9875 NEW BEST:: SOT 276279 SOS 146158 HAS SOPS 146158 HAS SOUS 49188 HAS SOUPS 49188 WITH SCORE 49334.158
AT ITER 9892 NEW BEST:: SOT 276235 SOS 146095 HAS SOPS 146095 HAS SOUS 49167 HAS SOUPS 49167 WITH SCORE 49313.095
AT ITER 9939 NEW BEST:: SOT 276235 SOS 146041 HAS SOPS 146041 HAS SOUS 49139 HAS SOUPS 49139 WITH SCORE 49285.041
AT ITER 9964 NEW BEST:: SOT 276255 SOS 146061 HAS SOPS 146061 HAS SOUS 49138 HAS SOUPS 49138 WITH SCORE 49284.061
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 4391092 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154792 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-02a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ASLink-PT-02a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813590300032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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