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

About the Execution of Smart for DatabaseWithMutex-PT-10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2353.384 3600000.00 3600071.00 10.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814473301080.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DatabaseWithMutex-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814473301080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.7M
-rw-r--r-- 1 mcc users 78K Feb 25 13:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 372K Feb 25 13:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 139K Feb 25 13:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 742K Feb 25 13:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 42K Feb 25 15:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 25 15:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 39K Feb 25 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 151K Feb 25 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 157K Feb 25 13:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 718K Feb 25 13:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 206K Feb 25 13:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.1M Feb 25 13:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 15:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 840K 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 1678272637663

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=DatabaseWithMutex-PT-10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DatabaseWithMutex (PT), instance 10
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: 830 places, 800 transitions, 3800 arcs.
AT ITER 0 NEW BEST:: SOT 446996 SOS 232709 HAS SOPS 232709 HAS SOUS 193993 HAS SOUPS 193993 WITH SCORE 194225.709
AT ITER 1 NEW BEST:: SOT 446824 SOS 232191 HAS SOPS 232191 HAS SOUS 193739 HAS SOUPS 193739 WITH SCORE 193971.191
AT ITER 3 NEW BEST:: SOT 446744 SOS 232111 HAS SOPS 232111 HAS SOUS 193659 HAS SOUPS 193659 WITH SCORE 193891.111
AT ITER 5 NEW BEST:: SOT 446589 SOS 231991 HAS SOPS 231991 HAS SOUS 193438 HAS SOUPS 193438 WITH SCORE 193669.991
AT ITER 14 NEW BEST:: SOT 444105 SOS 229701 HAS SOPS 229701 HAS SOUS 193227 HAS SOUPS 193227 WITH SCORE 193456.701
AT ITER 18 NEW BEST:: SOT 443091 SOS 230996 HAS SOPS 230996 HAS SOUS 192830 HAS SOUPS 192830 WITH SCORE 193060.996
AT ITER 34 NEW BEST:: SOT 443091 SOS 230832 HAS SOPS 230832 HAS SOUS 192666 HAS SOUPS 192666 WITH SCORE 192896.832
AT ITER 39 NEW BEST:: SOT 442919 SOS 230316 HAS SOPS 230316 HAS SOUS 192412 HAS SOUPS 192412 WITH SCORE 192642.316
AT ITER 40 NEW BEST:: SOT 442747 SOS 229790 HAS SOPS 229790 HAS SOUS 192149 HAS SOUPS 192149 WITH SCORE 192378.79
AT ITER 55 NEW BEST:: SOT 442575 SOS 229618 HAS SOPS 229618 HAS SOUS 192041 HAS SOUPS 192041 WITH SCORE 192270.618
AT ITER 60 NEW BEST:: SOT 442575 SOS 229262 HAS SOPS 229262 HAS SOUS 191959 HAS SOUPS 191959 WITH SCORE 192188.262
AT ITER 63 NEW BEST:: SOT 442575 SOS 229180 HAS SOPS 229180 HAS SOUS 191877 HAS SOUPS 191877 WITH SCORE 192106.18
AT ITER 64 NEW BEST:: SOT 442368 SOS 228973 HAS SOPS 228973 HAS SOUS 191670 HAS SOUPS 191670 WITH SCORE 191898.973
AT ITER 72 NEW BEST:: SOT 441323 SOS 233526 HAS SOPS 233526 HAS SOUS 191306 HAS SOUPS 191306 WITH SCORE 191539.526
AT ITER 77 NEW BEST:: SOT 441316 SOS 233519 HAS SOPS 233519 HAS SOUS 191299 HAS SOUPS 191299 WITH SCORE 191532.519
AT ITER 80 NEW BEST:: SOT 441218 SOS 233348 HAS SOPS 233348 HAS SOUS 191234 HAS SOUPS 191234 WITH SCORE 191467.348
AT ITER 83 NEW BEST:: SOT 441218 SOS 233270 HAS SOPS 233270 HAS SOUS 191156 HAS SOUPS 191156 WITH SCORE 191389.27
AT ITER 86 NEW BEST:: SOT 441218 SOS 233106 HAS SOPS 233106 HAS SOUS 190992 HAS SOUPS 190992 WITH SCORE 191225.106
AT ITER 96 NEW BEST:: SOT 441102 SOS 232908 HAS SOPS 232908 HAS SOUS 190794 HAS SOUPS 190794 WITH SCORE 191026.908
AT ITER 97 NEW BEST:: SOT 441102 SOS 232895 HAS SOPS 232895 HAS SOUS 190781 HAS SOUPS 190781 WITH SCORE 191013.895
AT ITER 108 NEW BEST:: SOT 441077 SOS 232870 HAS SOPS 232870 HAS SOUS 190756 HAS SOUPS 190756 WITH SCORE 190988.87
AT ITER 111 NEW BEST:: SOT 441066 SOS 232859 HAS SOPS 232859 HAS SOUS 190745 HAS SOUPS 190745 WITH SCORE 190977.859
AT ITER 114 NEW BEST:: SOT 440928 SOS 232639 HAS SOPS 232639 HAS SOUS 190525 HAS SOUPS 190525 WITH SCORE 190757.639
AT ITER 115 NEW BEST:: SOT 440756 SOS 232172 HAS SOPS 232172 HAS SOUS 190271 HAS SOUPS 190271 WITH SCORE 190503.172
AT ITER 118 NEW BEST:: SOT 440559 SOS 231650 HAS SOPS 231650 HAS SOUS 189757 HAS SOUPS 189757 WITH SCORE 189988.65
AT ITER 128 NEW BEST:: SOT 440432 SOS 231396 HAS SOPS 231396 HAS SOUS 189503 HAS SOUPS 189503 WITH SCORE 189734.396
AT ITER 131 NEW BEST:: SOT 440315 SOS 231335 HAS SOPS 231335 HAS SOUS 189442 HAS SOUPS 189442 WITH SCORE 189673.335
AT ITER 134 NEW BEST:: SOT 440315 SOS 231253 HAS SOPS 231253 HAS SOUS 189360 HAS SOUPS 189360 WITH SCORE 189591.253
AT ITER 141 NEW BEST:: SOT 440315 SOS 231184 HAS SOPS 231184 HAS SOUS 189291 HAS SOUPS 189291 WITH SCORE 189522.184
AT ITER 147 NEW BEST:: SOT 440166 SOS 230904 HAS SOPS 230904 HAS SOUS 189160 HAS SOUPS 189160 WITH SCORE 189390.904
AT ITER 151 NEW BEST:: SOT 440077 SOS 230770 HAS SOPS 230770 HAS SOUS 189142 HAS SOUPS 189142 WITH SCORE 189372.77
AT ITER 160 NEW BEST:: SOT 440077 SOS 230702 HAS SOPS 230702 HAS SOUS 189142 HAS SOUPS 189142 WITH SCORE 189372.702
AT ITER 165 NEW BEST:: SOT 440077 SOS 230681 HAS SOPS 230681 HAS SOUS 189142 HAS SOUPS 189142 WITH SCORE 189372.681
AT ITER 175 NEW BEST:: SOT 440077 SOS 228942 HAS SOPS 228942 HAS SOUS 188985 HAS SOUPS 188985 WITH SCORE 189213.942
AT ITER 183 NEW BEST:: SOT 440000 SOS 228730 HAS SOPS 228730 HAS SOUS 188910 HAS SOUPS 188910 WITH SCORE 189138.73
AT ITER 189 NEW BEST:: SOT 439925 SOS 228655 HAS SOPS 228655 HAS SOUS 188835 HAS SOUPS 188835 WITH SCORE 189063.655
AT ITER 194 NEW BEST:: SOT 439702 SOS 230108 HAS SOPS 230108 HAS SOUS 188764 HAS SOUPS 188764 WITH SCORE 188994.108
AT ITER 211 NEW BEST:: SOT 439620 SOS 230026 HAS SOPS 230026 HAS SOUS 188600 HAS SOUPS 188600 WITH SCORE 188830.026
AT ITER 213 NEW BEST:: SOT 439518 SOS 230029 HAS SOPS 230029 HAS SOUS 188556 HAS SOUPS 188556 WITH SCORE 188786.029
AT ITER 229 NEW BEST:: SOT 439518 SOS 229980 HAS SOPS 229980 HAS SOUS 188507 HAS SOUPS 188507 WITH SCORE 188736.98
AT ITER 234 NEW BEST:: SOT 439518 SOS 229948 HAS SOPS 229948 HAS SOUS 188507 HAS SOUPS 188507 WITH SCORE 188736.948
AT ITER 237 NEW BEST:: SOT 439427 SOS 229775 HAS SOPS 229775 HAS SOUS 188334 HAS SOUPS 188334 WITH SCORE 188563.775
AT ITER 245 NEW BEST:: SOT 439427 SOS 229703 HAS SOPS 229703 HAS SOUS 188262 HAS SOUPS 188262 WITH SCORE 188491.703
AT ITER 248 NEW BEST:: SOT 439427 SOS 229645 HAS SOPS 229645 HAS SOUS 188204 HAS SOUPS 188204 WITH SCORE 188433.645
AT ITER 251 NEW BEST:: SOT 439255 SOS 229473 HAS SOPS 229473 HAS SOUS 188032 HAS SOUPS 188032 WITH SCORE 188261.473
AT ITER 253 NEW BEST:: SOT 439199 SOS 229417 HAS SOPS 229417 HAS SOUS 187976 HAS SOUPS 187976 WITH SCORE 188205.417
AT ITER 254 NEW BEST:: SOT 439199 SOS 229398 HAS SOPS 229398 HAS SOUS 187957 HAS SOUPS 187957 WITH SCORE 188186.398
AT ITER 257 NEW BEST:: SOT 439199 SOS 229270 HAS SOPS 229270 HAS SOUS 187948 HAS SOUPS 187948 WITH SCORE 188177.27
AT ITER 263 NEW BEST:: SOT 439199 SOS 229204 HAS SOPS 229204 HAS SOUS 187882 HAS SOUPS 187882 WITH SCORE 188111.204
AT ITER 270 NEW BEST:: SOT 439226 SOS 229128 HAS SOPS 229128 HAS SOUS 187827 HAS SOUPS 187827 WITH SCORE 188056.128
AT ITER 273 NEW BEST:: SOT 439226 SOS 229116 HAS SOPS 229116 HAS SOUS 187827 HAS SOUPS 187827 WITH SCORE 188056.116
AT ITER 277 NEW BEST:: SOT 439226 SOS 229085 HAS SOPS 229085 HAS SOUS 187765 HAS SOUPS 187765 WITH SCORE 187994.085
AT ITER 281 NEW BEST:: SOT 439145 SOS 229072 HAS SOPS 229072 HAS SOUS 187748 HAS SOUPS 187748 WITH SCORE 187977.072
AT ITER 283 NEW BEST:: SOT 437978 SOS 229793 HAS SOPS 229793 HAS SOUS 187179 HAS SOUPS 187179 WITH SCORE 187408.793
AT ITER 289 NEW BEST:: SOT 437831 SOS 229564 HAS SOPS 229564 HAS SOUS 186950 HAS SOUPS 186950 WITH SCORE 187179.564
AT ITER 301 NEW BEST:: SOT 437957 SOS 228707 HAS SOPS 228707 HAS SOUS 186945 HAS SOUPS 186945 WITH SCORE 187173.707
AT ITER 310 NEW BEST:: SOT 437957 SOS 228666 HAS SOPS 228666 HAS SOUS 186904 HAS SOUPS 186904 WITH SCORE 187132.666
AT ITER 325 NEW BEST:: SOT 437586 SOS 227907 HAS SOPS 227907 HAS SOUS 186158 HAS SOUPS 186158 WITH SCORE 186385.907
AT ITER 327 NEW BEST:: SOT 437579 SOS 227900 HAS SOPS 227900 HAS SOUS 186151 HAS SOUPS 186151 WITH SCORE 186378.9
AT ITER 328 NEW BEST:: SOT 437611 SOS 227850 HAS SOPS 227850 HAS SOUS 186019 HAS SOUPS 186019 WITH SCORE 186246.85
AT ITER 330 NEW BEST:: SOT 437666 SOS 227768 HAS SOPS 227768 HAS SOUS 185992 HAS SOUPS 185992 WITH SCORE 186219.768
AT ITER 334 NEW BEST:: SOT 437641 SOS 227690 HAS SOPS 227690 HAS SOUS 185967 HAS SOUPS 185967 WITH SCORE 186194.69
AT ITER 339 NEW BEST:: SOT 437583 SOS 227574 HAS SOPS 227574 HAS SOUS 185851 HAS SOUPS 185851 WITH SCORE 186078.574
AT ITER 347 NEW BEST:: SOT 437544 SOS 227535 HAS SOPS 227535 HAS SOUS 185812 HAS SOUPS 185812 WITH SCORE 186039.535
AT ITER 356 NEW BEST:: SOT 437377 SOS 227286 HAS SOPS 227286 HAS SOUS 185563 HAS SOUPS 185563 WITH SCORE 185790.286
AT ITER 357 NEW BEST:: SOT 437205 SOS 226668 HAS SOPS 226668 HAS SOUS 185261 HAS SOUPS 185261 WITH SCORE 185487.668
AT ITER 361 NEW BEST:: SOT 437140 SOS 226636 HAS SOPS 226636 HAS SOUS 185229 HAS SOUPS 185229 WITH SCORE 185455.636
AT ITER 362 NEW BEST:: SOT 437040 SOS 226454 HAS SOPS 226454 HAS SOUS 185047 HAS SOUPS 185047 WITH SCORE 185273.454
AT ITER 375 NEW BEST:: SOT 437078 SOS 226329 HAS SOPS 226329 HAS SOUS 184955 HAS SOUPS 184955 WITH SCORE 185181.329
AT ITER 384 NEW BEST:: SOT 436861 SOS 226255 HAS SOPS 226255 HAS SOUS 184881 HAS SOUPS 184881 WITH SCORE 185107.255
AT ITER 391 NEW BEST:: SOT 436917 SOS 226375 HAS SOPS 226375 HAS SOUS 184855 HAS SOUPS 184855 WITH SCORE 185081.375
AT ITER 394 NEW BEST:: SOT 436864 SOS 226267 HAS SOPS 226267 HAS SOUS 184758 HAS SOUPS 184758 WITH SCORE 184984.267
AT ITER 397 NEW BEST:: SOT 436760 SOS 226083 HAS SOPS 226083 HAS SOUS 184678 HAS SOUPS 184678 WITH SCORE 184904.083
AT ITER 412 NEW BEST:: SOT 436760 SOS 226083 HAS SOPS 226083 HAS SOUS 184669 HAS SOUPS 184669 WITH SCORE 184895.083
AT ITER 414 NEW BEST:: SOT 436657 SOS 225907 HAS SOPS 225907 HAS SOUS 184436 HAS SOUPS 184436 WITH SCORE 184661.907
AT ITER 416 NEW BEST:: SOT 436551 SOS 225578 HAS SOPS 225578 HAS SOUS 184291 HAS SOUPS 184291 WITH SCORE 184516.578
AT ITER 424 NEW BEST:: SOT 435867 SOS 225002 HAS SOPS 225002 HAS SOUS 183645 HAS SOUPS 183645 WITH SCORE 183870.002
AT ITER 431 NEW BEST:: SOT 435727 SOS 224862 HAS SOPS 224862 HAS SOUS 183505 HAS SOUPS 183505 WITH SCORE 183729.862
AT ITER 433 NEW BEST:: SOT 435727 SOS 222976 HAS SOPS 222976 HAS SOUS 183275 HAS SOUPS 183275 WITH SCORE 183497.976
AT ITER 434 NEW BEST:: SOT 435182 SOS 222763 HAS SOPS 222763 HAS SOUS 183127 HAS SOUPS 183127 WITH SCORE 183349.763
AT ITER 438 NEW BEST:: SOT 435157 SOS 222647 HAS SOPS 222647 HAS SOUS 183118 HAS SOUPS 183118 WITH SCORE 183340.647
AT ITER 445 NEW BEST:: SOT 435075 SOS 222542 HAS SOPS 222542 HAS SOUS 182973 HAS SOUPS 182973 WITH SCORE 183195.542
AT ITER 448 NEW BEST:: SOT 435073 SOS 222536 HAS SOPS 222536 HAS SOUS 182969 HAS SOUPS 182969 WITH SCORE 183191.536
AT ITER 450 NEW BEST:: SOT 434885 SOS 222266 HAS SOPS 222266 HAS SOUS 182699 HAS SOUPS 182699 WITH SCORE 182921.266
AT ITER 458 NEW BEST:: SOT 434876 SOS 222257 HAS SOPS 222257 HAS SOUS 182690 HAS SOUPS 182690 WITH SCORE 182912.257
AT ITER 460 NEW BEST:: SOT 434956 SOS 222426 HAS SOPS 222426 HAS SOUS 182674 HAS SOUPS 182674 WITH SCORE 182896.426
AT ITER 462 NEW BEST:: SOT 434932 SOS 222354 HAS SOPS 222354 HAS SOUS 182602 HAS SOUPS 182602 WITH SCORE 182824.354
AT ITER 469 NEW BEST:: SOT 434972 SOS 222272 HAS SOPS 222272 HAS SOUS 182560 HAS SOUPS 182560 WITH SCORE 182782.272
AT ITER 474 NEW BEST:: SOT 434847 SOS 222147 HAS SOPS 222147 HAS SOUS 182310 HAS SOUPS 182310 WITH SCORE 182532.147
AT ITER 475 NEW BEST:: SOT 434824 SOS 222215 HAS SOPS 222215 HAS SOUS 182303 HAS SOUPS 182303 WITH SCORE 182525.215
AT ITER 476 NEW BEST:: SOT 434816 SOS 222207 HAS SOPS 222207 HAS SOUS 182295 HAS SOUPS 182295 WITH SCORE 182517.207
AT ITER 484 NEW BEST:: SOT 434674 SOS 222065 HAS SOPS 222065 HAS SOUS 182153 HAS SOUPS 182153 WITH SCORE 182375.065
AT ITER 485 NEW BEST:: SOT 434928 SOS 222172 HAS SOPS 222172 HAS SOUS 182143 HAS SOUPS 182143 WITH SCORE 182365.172
AT ITER 487 NEW BEST:: SOT 434859 SOS 222034 HAS SOPS 222034 HAS SOUS 182074 HAS SOUPS 182074 WITH SCORE 182296.034
AT ITER 492 NEW BEST:: SOT 434809 SOS 221984 HAS SOPS 221984 HAS SOUS 182024 HAS SOUPS 182024 WITH SCORE 182245.984
AT ITER 498 NEW BEST:: SOT 434539 SOS 221905 HAS SOPS 221905 HAS SOUS 181787 HAS SOUPS 181787 WITH SCORE 182008.905
AT ITER 502 NEW BEST:: SOT 434539 SOS 221879 HAS SOPS 221879 HAS SOUS 181763 HAS SOUPS 181763 WITH SCORE 181984.879
AT ITER 510 NEW BEST:: SOT 434470 SOS 222096 HAS SOPS 222096 HAS SOUS 181750 HAS SOUPS 181750 WITH SCORE 181972.096
AT ITER 513 NEW BEST:: SOT 434470 SOS 222086 HAS SOPS 222086 HAS SOUS 181740 HAS SOUPS 181740 WITH SCORE 181962.086
AT ITER 527 NEW BEST:: SOT 434470 SOS 222045 HAS SOPS 222045 HAS SOUS 181699 HAS SOUPS 181699 WITH SCORE 181921.045
AT ITER 534 NEW BEST:: SOT 434374 SOS 221867 HAS SOPS 221867 HAS SOUS 181521 HAS SOUPS 181521 WITH SCORE 181742.867
AT ITER 546 NEW BEST:: SOT 434315 SOS 221794 HAS SOPS 221794 HAS SOUS 181507 HAS SOUPS 181507 WITH SCORE 181728.794
AT ITER 550 NEW BEST:: SOT 434313 SOS 221903 HAS SOPS 221903 HAS SOUS 181505 HAS SOUPS 181505 WITH SCORE 181726.903
AT ITER 554 NEW BEST:: SOT 434221 SOS 221929 HAS SOPS 221929 HAS SOUS 181430 HAS SOUPS 181430 WITH SCORE 181651.929
AT ITER 561 NEW BEST:: SOT 434053 SOS 221538 HAS SOPS 221538 HAS SOUS 181137 HAS SOUPS 181137 WITH SCORE 181358.538
AT ITER 569 NEW BEST:: SOT 434045 SOS 221504 HAS SOPS 221504 HAS SOUS 181103 HAS SOUPS 181103 WITH SCORE 181324.504
AT ITER 571 NEW BEST:: SOT 433873 SOS 221111 HAS SOPS 221111 HAS SOUS 180919 HAS SOUPS 180919 WITH SCORE 181140.111
AT ITER 572 NEW BEST:: SOT 433971 SOS 221201 HAS SOPS 221201 HAS SOUS 180911 HAS SOUPS 180911 WITH SCORE 181132.201
AT ITER 575 NEW BEST:: SOT 433912 SOS 221092 HAS SOPS 221092 HAS SOUS 180852 HAS SOUPS 180852 WITH SCORE 181073.092
AT ITER 576 NEW BEST:: SOT 433875 SOS 220996 HAS SOPS 220996 HAS SOUS 180756 HAS SOUPS 180756 WITH SCORE 180976.996
AT ITER 580 NEW BEST:: SOT 433875 SOS 220891 HAS SOPS 220891 HAS SOUS 180756 HAS SOUPS 180756 WITH SCORE 180976.891
AT ITER 586 NEW BEST:: SOT 433875 SOS 220768 HAS SOPS 220768 HAS SOUS 180756 HAS SOUPS 180756 WITH SCORE 180976.768
AT ITER 588 NEW BEST:: SOT 433857 SOS 220668 HAS SOPS 220668 HAS SOUS 180656 HAS SOUPS 180656 WITH SCORE 180876.668
AT ITER 594 NEW BEST:: SOT 433619 SOS 220430 HAS SOPS 220430 HAS SOUS 180418 HAS SOUPS 180418 WITH SCORE 180638.43
AT ITER 601 NEW BEST:: SOT 433619 SOS 220430 HAS SOPS 220430 HAS SOUS 180414 HAS SOUPS 180414 WITH SCORE 180634.43
AT ITER 613 NEW BEST:: SOT 433619 SOS 220262 HAS SOPS 220262 HAS SOUS 180246 HAS SOUPS 180246 WITH SCORE 180466.262
AT ITER 619 NEW BEST:: SOT 433580 SOS 220188 HAS SOPS 220188 HAS SOUS 180198 HAS SOUPS 180198 WITH SCORE 180418.188
AT ITER 622 NEW BEST:: SOT 433557 SOS 220142 HAS SOPS 220142 HAS SOUS 180152 HAS SOUPS 180152 WITH SCORE 180372.142
AT ITER 627 NEW BEST:: SOT 433480 SOS 220011 HAS SOPS 220011 HAS SOUS 180122 HAS SOUPS 180122 WITH SCORE 180342.011
AT ITER 633 NEW BEST:: SOT 433346 SOS 219743 HAS SOPS 219743 HAS SOUS 179988 HAS SOUPS 179988 WITH SCORE 180207.743
AT ITER 635 NEW BEST:: SOT 433233 SOS 219822 HAS SOPS 219822 HAS SOUS 179968 HAS SOUPS 179968 WITH SCORE 180187.822
AT ITER 637 NEW BEST:: SOT 433266 SOS 219764 HAS SOPS 219764 HAS SOUS 179943 HAS SOUPS 179943 WITH SCORE 180162.764
AT ITER 649 NEW BEST:: SOT 433114 SOS 219804 HAS SOPS 219804 HAS SOUS 179831 HAS SOUPS 179831 WITH SCORE 180050.804
AT ITER 650 NEW BEST:: SOT 433098 SOS 219769 HAS SOPS 219769 HAS SOUS 179825 HAS SOUPS 179825 WITH SCORE 180044.769
AT ITER 655 NEW BEST:: SOT 433098 SOS 219687 HAS SOPS 219687 HAS SOUS 179825 HAS SOUPS 179825 WITH SCORE 180044.687
AT ITER 656 NEW BEST:: SOT 432939 SOS 219641 HAS SOPS 219641 HAS SOUS 179666 HAS SOUPS 179666 WITH SCORE 179885.641
AT ITER 657 NEW BEST:: SOT 432803 SOS 219505 HAS SOPS 219505 HAS SOUS 179530 HAS SOUPS 179530 WITH SCORE 179749.505
AT ITER 661 NEW BEST:: SOT 432739 SOS 219480 HAS SOPS 219480 HAS SOUS 179500 HAS SOUPS 179500 WITH SCORE 179719.48
AT ITER 664 NEW BEST:: SOT 432747 SOS 219310 HAS SOPS 219310 HAS SOUS 179479 HAS SOUPS 179479 WITH SCORE 179698.31
AT ITER 668 NEW BEST:: SOT 432691 SOS 219305 HAS SOPS 219305 HAS SOUS 179297 HAS SOUPS 179297 WITH SCORE 179516.305
AT ITER 670 NEW BEST:: SOT 432493 SOS 219162 HAS SOPS 219162 HAS SOUS 179053 HAS SOUPS 179053 WITH SCORE 179272.162
AT ITER 676 NEW BEST:: SOT 432411 SOS 219080 HAS SOPS 219080 HAS SOUS 178889 HAS SOUPS 178889 WITH SCORE 179108.08
AT ITER 685 NEW BEST:: SOT 432290 SOS 219076 HAS SOPS 219076 HAS SOUS 178885 HAS SOUPS 178885 WITH SCORE 179104.076
AT ITER 692 NEW BEST:: SOT 432290 SOS 219014 HAS SOPS 219014 HAS SOUS 178838 HAS SOUPS 178838 WITH SCORE 179057.014
AT ITER 698 NEW BEST:: SOT 432290 SOS 218990 HAS SOPS 218990 HAS SOUS 178790 HAS SOUPS 178790 WITH SCORE 179008.99
AT ITER 699 NEW BEST:: SOT 432257 SOS 218823 HAS SOPS 218823 HAS SOUS 178623 HAS SOUPS 178623 WITH SCORE 178841.823
AT ITER 706 NEW BEST:: SOT 432047 SOS 218590 HAS SOPS 218590 HAS SOUS 178390 HAS SOUPS 178390 WITH SCORE 178608.59
AT ITER 710 NEW BEST:: SOT 431971 SOS 218525 HAS SOPS 218525 HAS SOUS 178325 HAS SOUPS 178325 WITH SCORE 178543.525
AT ITER 712 NEW BEST:: SOT 431971 SOS 218501 HAS SOPS 218501 HAS SOUS 178325 HAS SOUPS 178325 WITH SCORE 178543.501
AT ITER 716 NEW BEST:: SOT 431836 SOS 218284 HAS SOPS 218284 HAS SOUS 178108 HAS SOUPS 178108 WITH SCORE 178326.284
AT ITER 719 NEW BEST:: SOT 431880 SOS 218146 HAS SOPS 218146 HAS SOUS 178050 HAS SOUPS 178050 WITH SCORE 178268.146
AT ITER 721 NEW BEST:: SOT 431878 SOS 218142 HAS SOPS 218142 HAS SOUS 178048 HAS SOUPS 178048 WITH SCORE 178266.142
AT ITER 728 NEW BEST:: SOT 431774 SOS 217934 HAS SOPS 217934 HAS SOUS 177901 HAS SOUPS 177901 WITH SCORE 178118.934
AT ITER 748 NEW BEST:: SOT 431738 SOS 217934 HAS SOPS 217934 HAS SOUS 177883 HAS SOUPS 177883 WITH SCORE 178100.934
AT ITER 758 NEW BEST:: SOT 431738 SOS 216060 HAS SOPS 216060 HAS SOUS 177701 HAS SOUPS 177701 WITH SCORE 177917.06
AT ITER 760 NEW BEST:: SOT 431726 SOS 216048 HAS SOPS 216048 HAS SOUS 177689 HAS SOUPS 177689 WITH SCORE 177905.048
AT ITER 764 NEW BEST:: SOT 431755 SOS 215843 HAS SOPS 215843 HAS SOUS 177455 HAS SOUPS 177455 WITH SCORE 177670.843
AT ITER 778 NEW BEST:: SOT 431755 SOS 215796 HAS SOPS 215796 HAS SOUS 177408 HAS SOUPS 177408 WITH SCORE 177623.796
AT ITER 788 NEW BEST:: SOT 431755 SOS 215796 HAS SOPS 215796 HAS SOUS 177359 HAS SOUPS 177359 WITH SCORE 177574.796
AT ITER 790 NEW BEST:: SOT 431750 SOS 215832 HAS SOPS 215832 HAS SOUS 177354 HAS SOUPS 177354 WITH SCORE 177569.832
AT ITER 798 NEW BEST:: SOT 431750 SOS 215675 HAS SOPS 215675 HAS SOUS 177317 HAS SOUPS 177317 WITH SCORE 177532.675
AT ITER 801 NEW BEST:: SOT 431750 SOS 215666 HAS SOPS 215666 HAS SOUS 177308 HAS SOUPS 177308 WITH SCORE 177523.666
AT ITER 815 NEW BEST:: SOT 431521 SOS 215648 HAS SOPS 215648 HAS SOUS 177279 HAS SOUPS 177279 WITH SCORE 177494.648
AT ITER 822 NEW BEST:: SOT 431393 SOS 215304 HAS SOPS 215304 HAS SOUS 177142 HAS SOUPS 177142 WITH SCORE 177357.304
AT ITER 840 NEW BEST:: SOT 431393 SOS 215339 HAS SOPS 215339 HAS SOUS 177081 HAS SOUPS 177081 WITH SCORE 177296.339
AT ITER 858 NEW BEST:: SOT 430064 SOS 215411 HAS SOPS 215411 HAS SOUS 176907 HAS SOUPS 176907 WITH SCORE 177122.411
AT ITER 865 NEW BEST:: SOT 430060 SOS 215407 HAS SOPS 215407 HAS SOUS 176899 HAS SOUPS 176899 WITH SCORE 177114.407
AT ITER 876 NEW BEST:: SOT 430070 SOS 214066 HAS SOPS 214066 HAS SOUS 176779 HAS SOUPS 176779 WITH SCORE 176993.066
AT ITER 879 NEW BEST:: SOT 429750 SOS 213562 HAS SOPS 213562 HAS SOUS 176275 HAS SOUPS 176275 WITH SCORE 176488.562
AT ITER 881 NEW BEST:: SOT 429750 SOS 213374 HAS SOPS 213374 HAS SOUS 176087 HAS SOUPS 176087 WITH SCORE 176300.374
AT ITER 897 NEW BEST:: SOT 429729 SOS 213353 HAS SOPS 213353 HAS SOUS 176066 HAS SOUPS 176066 WITH SCORE 176279.353
AT ITER 898 NEW BEST:: SOT 429691 SOS 213315 HAS SOPS 213315 HAS SOUS 176028 HAS SOUPS 176028 WITH SCORE 176241.315
AT ITER 912 NEW BEST:: SOT 429659 SOS 213251 HAS SOPS 213251 HAS SOUS 175964 HAS SOUPS 175964 WITH SCORE 176177.251
AT ITER 916 NEW BEST:: SOT 429659 SOS 213193 HAS SOPS 213193 HAS SOUS 175906 HAS SOUPS 175906 WITH SCORE 176119.193
AT ITER 924 NEW BEST:: SOT 429659 SOS 213176 HAS SOPS 213176 HAS SOUS 175889 HAS SOUPS 175889 WITH SCORE 176102.176
AT ITER 927 NEW BEST:: SOT 429740 SOS 213147 HAS SOPS 213147 HAS SOUS 175888 HAS SOUPS 175888 WITH SCORE 176101.147
AT ITER 934 NEW BEST:: SOT 429699 SOS 212944 HAS SOPS 212944 HAS SOUS 175778 HAS SOUPS 175778 WITH SCORE 175990.944
AT ITER 939 NEW BEST:: SOT 429634 SOS 212908 HAS SOPS 212908 HAS SOUS 175742 HAS SOUPS 175742 WITH SCORE 175954.908
AT ITER 940 NEW BEST:: SOT 429634 SOS 212861 HAS SOPS 212861 HAS SOUS 175695 HAS SOUPS 175695 WITH SCORE 175907.861
AT ITER 946 NEW BEST:: SOT 429600 SOS 212855 HAS SOPS 212855 HAS SOUS 175607 HAS SOUPS 175607 WITH SCORE 175819.855
AT ITER 947 NEW BEST:: SOT 429600 SOS 212832 HAS SOPS 212832 HAS SOUS 175584 HAS SOUPS 175584 WITH SCORE 175796.832
AT ITER 949 NEW BEST:: SOT 429517 SOS 212749 HAS SOPS 212749 HAS SOUS 175501 HAS SOUPS 175501 WITH SCORE 175713.749
AT ITER 952 NEW BEST:: SOT 429494 SOS 212726 HAS SOPS 212726 HAS SOUS 175478 HAS SOUPS 175478 WITH SCORE 175690.726
AT ITER 957 NEW BEST:: SOT 429501 SOS 212685 HAS SOPS 212685 HAS SOUS 175437 HAS SOUPS 175437 WITH SCORE 175649.685
AT ITER 959 NEW BEST:: SOT 429501 SOS 212574 HAS SOPS 212574 HAS SOUS 175302 HAS SOUPS 175302 WITH SCORE 175514.574
AT ITER 962 NEW BEST:: SOT 429401 SOS 212487 HAS SOPS 212487 HAS SOUS 175215 HAS SOUPS 175215 WITH SCORE 175427.487
AT ITER 974 NEW BEST:: SOT 428680 SOS 217353 HAS SOPS 217353 HAS SOUS 175057 HAS SOUPS 175057 WITH SCORE 175274.353
AT ITER 990 NEW BEST:: SOT 428663 SOS 217578 HAS SOPS 217578 HAS SOUS 175040 HAS SOUPS 175040 WITH SCORE 175257.578
AT ITER 997 NEW BEST:: SOT 428475 SOS 217260 HAS SOPS 217260 HAS SOUS 174948 HAS SOUPS 174948 WITH SCORE 175165.26
AT ITER 1017 NEW BEST:: SOT 428475 SOS 217260 HAS SOPS 217260 HAS SOUS 174945 HAS SOUPS 174945 WITH SCORE 175162.26
AT ITER 1018 NEW BEST:: SOT 428475 SOS 217239 HAS SOPS 217239 HAS SOUS 174945 HAS SOUPS 174945 WITH SCORE 175162.239
AT ITER 1032 NEW BEST:: SOT 428452 SOS 217125 HAS SOPS 217125 HAS SOUS 174922 HAS SOUPS 174922 WITH SCORE 175139.125
AT ITER 1040 NEW BEST:: SOT 428168 SOS 216841 HAS SOPS 216841 HAS SOUS 174620 HAS SOUPS 174620 WITH SCORE 174836.841
AT ITER 1041 NEW BEST:: SOT 428168 SOS 216699 HAS SOPS 216699 HAS SOUS 174546 HAS SOUPS 174546 WITH SCORE 174762.699
AT ITER 1042 NEW BEST:: SOT 428202 SOS 216829 HAS SOPS 216829 HAS SOUS 174498 HAS SOUPS 174498 WITH SCORE 174714.829
AT ITER 1047 NEW BEST:: SOT 427969 SOS 216562 HAS SOPS 216562 HAS SOUS 174222 HAS SOUPS 174222 WITH SCORE 174438.562
AT ITER 1053 NEW BEST:: SOT 427958 SOS 216540 HAS SOPS 216540 HAS SOUS 174200 HAS SOUPS 174200 WITH SCORE 174416.54
AT ITER 1058 NEW BEST:: SOT 427956 SOS 216404 HAS SOPS 216404 HAS SOUS 174097 HAS SOUPS 174097 WITH SCORE 174313.404
AT ITER 1063 NEW BEST:: SOT 428015 SOS 216403 HAS SOPS 216403 HAS SOUS 173970 HAS SOUPS 173970 WITH SCORE 174186.403
AT ITER 1068 NEW BEST:: SOT 427980 SOS 216333 HAS SOPS 216333 HAS SOUS 173900 HAS SOUPS 173900 WITH SCORE 174116.333
AT ITER 1072 NEW BEST:: SOT 427980 SOS 216294 HAS SOPS 216294 HAS SOUS 173822 HAS SOUPS 173822 WITH SCORE 174038.294
AT ITER 1080 NEW BEST:: SOT 427934 SOS 216237 HAS SOPS 216237 HAS SOUS 173811 HAS SOUPS 173811 WITH SCORE 174027.237
AT ITER 1087 NEW BEST:: SOT 427866 SOS 216169 HAS SOPS 216169 HAS SOUS 173775 HAS SOUPS 173775 WITH SCORE 173991.169
AT ITER 1088 NEW BEST:: SOT 427866 SOS 216014 HAS SOPS 216014 HAS SOUS 173693 HAS SOUPS 173693 WITH SCORE 173909.014
AT ITER 1097 NEW BEST:: SOT 427833 SOS 215863 HAS SOPS 215863 HAS SOUS 173651 HAS SOUPS 173651 WITH SCORE 173866.863
AT ITER 1100 NEW BEST:: SOT 427758 SOS 215788 HAS SOPS 215788 HAS SOUS 173576 HAS SOUPS 173576 WITH SCORE 173791.788
AT ITER 1102 NEW BEST:: SOT 427758 SOS 215746 HAS SOPS 215746 HAS SOUS 173534 HAS SOUPS 173534 WITH SCORE 173749.746
AT ITER 1103 NEW BEST:: SOT 427745 SOS 215703 HAS SOPS 215703 HAS SOUS 173491 HAS SOUPS 173491 WITH SCORE 173706.703
AT ITER 1109 NEW BEST:: SOT 427745 SOS 215689 HAS SOPS 215689 HAS SOUS 173477 HAS SOUPS 173477 WITH SCORE 173692.689
AT ITER 1110 NEW BEST:: SOT 427664 SOS 215553 HAS SOPS 215553 HAS SOUS 173341 HAS SOUPS 173341 WITH SCORE 173556.553
AT ITER 1113 NEW BEST:: SOT 427494 SOS 215078 HAS SOPS 215078 HAS SOUS 172979 HAS SOUPS 172979 WITH SCORE 173194.078
AT ITER 1115 NEW BEST:: SOT 427474 SOS 215014 HAS SOPS 215014 HAS SOUS 172915 HAS SOUPS 172915 WITH SCORE 173130.014
AT ITER 1118 NEW BEST:: SOT 427710 SOS 214978 HAS SOPS 214978 HAS SOUS 172879 HAS SOUPS 172879 WITH SCORE 173093.978
AT ITER 1128 NEW BEST:: SOT 427857 SOS 215105 HAS SOPS 215105 HAS SOUS 172859 HAS SOUPS 172859 WITH SCORE 173074.105
AT ITER 1141 NEW BEST:: SOT 427857 SOS 214959 HAS SOPS 214959 HAS SOUS 172809 HAS SOUPS 172809 WITH SCORE 173023.959
AT ITER 1147 NEW BEST:: SOT 427857 SOS 213645 HAS SOPS 213645 HAS SOUS 172809 HAS SOUPS 172809 WITH SCORE 173022.645
AT ITER 1148 NEW BEST:: SOT 427843 SOS 213631 HAS SOPS 213631 HAS SOUS 172795 HAS SOUPS 172795 WITH SCORE 173008.631
AT ITER 1153 NEW BEST:: SOT 427704 SOS 213693 HAS SOPS 213693 HAS SOUS 172697 HAS SOUPS 172697 WITH SCORE 172910.693
AT ITER 1155 NEW BEST:: SOT 427648 SOS 213571 HAS SOPS 213571 HAS SOUS 172680 HAS SOUPS 172680 WITH SCORE 172893.571
AT ITER 1156 NEW BEST:: SOT 427684 SOS 213581 HAS SOPS 213581 HAS SOUS 172639 HAS SOUPS 172639 WITH SCORE 172852.581
AT ITER 1160 NEW BEST:: SOT 427612 SOS 213437 HAS SOPS 213437 HAS SOUS 172495 HAS SOUPS 172495 WITH SCORE 172708.437
AT ITER 1166 NEW BEST:: SOT 427554 SOS 213816 HAS SOPS 213816 HAS SOUS 172484 HAS SOUPS 172484 WITH SCORE 172697.816
AT ITER 1170 NEW BEST:: SOT 427494 SOS 213723 HAS SOPS 213723 HAS SOUS 172320 HAS SOUPS 172320 WITH SCORE 172533.723
AT ITER 1171 NEW BEST:: SOT 427458 SOS 213679 HAS SOPS 213679 HAS SOUS 172284 HAS SOUPS 172284 WITH SCORE 172497.679
AT ITER 1191 NEW BEST:: SOT 427350 SOS 213381 HAS SOPS 213381 HAS SOUS 172094 HAS SOUPS 172094 WITH SCORE 172307.381
AT ITER 1192 NEW BEST:: SOT 427123 SOS 213110 HAS SOPS 213110 HAS SOUS 171871 HAS SOUPS 171871 WITH SCORE 172084.11
AT ITER 1205 NEW BEST:: SOT 427136 SOS 212911 HAS SOPS 212911 HAS SOUS 171844 HAS SOUPS 171844 WITH SCORE 172056.911
AT ITER 1207 NEW BEST:: SOT 427183 SOS 212829 HAS SOPS 212829 HAS SOUS 171809 HAS SOUPS 171809 WITH SCORE 172021.829
AT ITER 1212 NEW BEST:: SOT 427183 SOS 212763 HAS SOPS 212763 HAS SOUS 171809 HAS SOUPS 171809 WITH SCORE 172021.763
AT ITER 1214 NEW BEST:: SOT 427183 SOS 212762 HAS SOPS 212762 HAS SOUS 171808 HAS SOUPS 171808 WITH SCORE 172020.762
AT ITER 1215 NEW BEST:: SOT 427183 SOS 212762 HAS SOPS 212762 HAS SOUS 171762 HAS SOUPS 171762 WITH SCORE 171974.762
AT ITER 1216 NEW BEST:: SOT 427183 SOS 212759 HAS SOPS 212759 HAS SOUS 171759 HAS SOUPS 171759 WITH SCORE 171971.759
AT ITER 1219 NEW BEST:: SOT 427169 SOS 212764 HAS SOPS 212764 HAS SOUS 171750 HAS SOUPS 171750 WITH SCORE 171962.764
AT ITER 1222 NEW BEST:: SOT 427062 SOS 212657 HAS SOPS 212657 HAS SOUS 171750 HAS SOUPS 171750 WITH SCORE 171962.657
AT ITER 1225 NEW BEST:: SOT 427021 SOS 212534 HAS SOPS 212534 HAS SOUS 171668 HAS SOUPS 171668 WITH SCORE 171880.534
AT ITER 1226 NEW BEST:: SOT 426983 SOS 212173 HAS SOPS 212173 HAS SOUS 171600 HAS SOUPS 171600 WITH SCORE 171812.173
AT ITER 1227 NEW BEST:: SOT 426983 SOS 212173 HAS SOPS 212173 HAS SOUS 171587 HAS SOUPS 171587 WITH SCORE 171799.173
AT ITER 1228 NEW BEST:: SOT 426974 SOS 212155 HAS SOPS 212155 HAS SOUS 171569 HAS SOUPS 171569 WITH SCORE 171781.155
AT ITER 1231 NEW BEST:: SOT 426927 SOS 212108 HAS SOPS 212108 HAS SOUS 171475 HAS SOUPS 171475 WITH SCORE 171687.108
AT ITER 1238 NEW BEST:: SOT 426957 SOS 211985 HAS SOPS 211985 HAS SOUS 171460 HAS SOUPS 171460 WITH SCORE 171671.985
AT ITER 1240 NEW BEST:: SOT 426999 SOS 211955 HAS SOPS 211955 HAS SOUS 171430 HAS SOUPS 171430 WITH SCORE 171641.955
AT ITER 1242 NEW BEST:: SOT 426970 SOS 211842 HAS SOPS 211842 HAS SOUS 171380 HAS SOUPS 171380 WITH SCORE 171591.842
AT ITER 1244 NEW BEST:: SOT 426959 SOS 211818 HAS SOPS 211818 HAS SOUS 171315 HAS SOUPS 171315 WITH SCORE 171526.818
AT ITER 1246 NEW BEST:: SOT 426809 SOS 211668 HAS SOPS 211668 HAS SOUS 171165 HAS SOUPS 171165 WITH SCORE 171376.668
AT ITER 1250 NEW BEST:: SOT 426734 SOS 211593 HAS SOPS 211593 HAS SOUS 171090 HAS SOUPS 171090 WITH SCORE 171301.593
AT ITER 1257 NEW BEST:: SOT 426734 SOS 211524 HAS SOPS 211524 HAS SOUS 171090 HAS SOUPS 171090 WITH SCORE 171301.524
AT ITER 1259 NEW BEST:: SOT 426359 SOS 211394 HAS SOPS 211394 HAS SOUS 170915 HAS SOUPS 170915 WITH SCORE 171126.394
AT ITER 1273 NEW BEST:: SOT 426353 SOS 211388 HAS SOPS 211388 HAS SOUS 170909 HAS SOUPS 170909 WITH SCORE 171120.388
AT ITER 1298 NEW BEST:: SOT 426343 SOS 211370 HAS SOPS 211370 HAS SOUS 170891 HAS SOUPS 170891 WITH SCORE 171102.37
AT ITER 1302 NEW BEST:: SOT 426393 SOS 211365 HAS SOPS 211365 HAS SOUS 170886 HAS SOUPS 170886 WITH SCORE 171097.365
AT ITER 1308 NEW BEST:: SOT 426141 SOS 211096 HAS SOPS 211096 HAS SOUS 170552 HAS SOUPS 170552 WITH SCORE 170763.096
AT ITER 1309 NEW BEST:: SOT 425898 SOS 210853 HAS SOPS 210853 HAS SOUS 170309 HAS SOUPS 170309 WITH SCORE 170519.853
AT ITER 1312 NEW BEST:: SOT 425898 SOS 210706 HAS SOPS 210706 HAS SOUS 170222 HAS SOUPS 170222 WITH SCORE 170432.706
AT ITER 1315 NEW BEST:: SOT 425845 SOS 210600 HAS SOPS 210600 HAS SOUS 170116 HAS SOUPS 170116 WITH SCORE 170326.6
AT ITER 1325 NEW BEST:: SOT 425845 SOS 210643 HAS SOPS 210643 HAS SOUS 170073 HAS SOUPS 170073 WITH SCORE 170283.643
AT ITER 1347 NEW BEST:: SOT 425682 SOS 210477 HAS SOPS 210477 HAS SOUS 169867 HAS SOUPS 169867 WITH SCORE 170077.477
AT ITER 1356 NEW BEST:: SOT 425676 SOS 210421 HAS SOPS 210421 HAS SOUS 169866 HAS SOUPS 169866 WITH SCORE 170076.421
AT ITER 1362 NEW BEST:: SOT 425649 SOS 210374 HAS SOPS 210374 HAS SOUS 169819 HAS SOUPS 169819 WITH SCORE 170029.374
AT ITER 1370 NEW BEST:: SOT 425456 SOS 210181 HAS SOPS 210181 HAS SOUS 169647 HAS SOUPS 169647 WITH SCORE 169857.181
AT ITER 1379 NEW BEST:: SOT 425449 SOS 210246 HAS SOPS 210246 HAS SOUS 169640 HAS SOUPS 169640 WITH SCORE 169850.246
AT ITER 1386 NEW BEST:: SOT 425348 SOS 210063 HAS SOPS 210063 HAS SOUS 169457 HAS SOUPS 169457 WITH SCORE 169667.063
AT ITER 1399 NEW BEST:: SOT 425225 SOS 209877 HAS SOPS 209877 HAS SOUS 169403 HAS SOUPS 169403 WITH SCORE 169612.877
AT ITER 1400 NEW BEST:: SOT 425182 SOS 210157 HAS SOPS 210157 HAS SOUS 169333 HAS SOUPS 169333 WITH SCORE 169543.157
AT ITER 1407 NEW BEST:: SOT 425095 SOS 209997 HAS SOPS 209997 HAS SOUS 169173 HAS SOUPS 169173 WITH SCORE 169382.997
AT ITER 1413 NEW BEST:: SOT 425013 SOS 209833 HAS SOPS 209833 HAS SOUS 169144 HAS SOUPS 169144 WITH SCORE 169353.833
AT ITER 1416 NEW BEST:: SOT 425187 SOS 209782 HAS SOPS 209782 HAS SOUS 169093 HAS SOUPS 169093 WITH SCORE 169302.782
AT ITER 1417 NEW BEST:: SOT 424655 SOS 210390 HAS SOPS 210390 HAS SOUS 168721 HAS SOUPS 168721 WITH SCORE 168931.39
AT ITER 1419 NEW BEST:: SOT 424683 SOS 210290 HAS SOPS 210290 HAS SOUS 168580 HAS SOUPS 168580 WITH SCORE 168790.29
AT ITER 1428 NEW BEST:: SOT 424698 SOS 210277 HAS SOPS 210277 HAS SOUS 168557 HAS SOUPS 168557 WITH SCORE 168767.277
AT ITER 1436 NEW BEST:: SOT 424694 SOS 210273 HAS SOPS 210273 HAS SOUS 168553 HAS SOUPS 168553 WITH SCORE 168763.273
AT ITER 1443 NEW BEST:: SOT 424575 SOS 210154 HAS SOPS 210154 HAS SOUS 168411 HAS SOUPS 168411 WITH SCORE 168621.154
AT ITER 1446 NEW BEST:: SOT 424378 SOS 209957 HAS SOPS 209957 HAS SOUS 168214 HAS SOUPS 168214 WITH SCORE 168423.957
AT ITER 1448 NEW BEST:: SOT 424378 SOS 209771 HAS SOPS 209771 HAS SOUS 168197 HAS SOUPS 168197 WITH SCORE 168406.771
AT ITER 1459 NEW BEST:: SOT 424354 SOS 209723 HAS SOPS 209723 HAS SOUS 168116 HAS SOUPS 168116 WITH SCORE 168325.723
AT ITER 1462 NEW BEST:: SOT 424423 SOS 209943 HAS SOPS 209943 HAS SOUS 168103 HAS SOUPS 168103 WITH SCORE 168312.943
AT ITER 1471 NEW BEST:: SOT 424528 SOS 210068 HAS SOPS 210068 HAS SOUS 168060 HAS SOUPS 168060 WITH SCORE 168270.068
AT ITER 1485 NEW BEST:: SOT 424185 SOS 210172 HAS SOPS 210172 HAS SOUS 167843 HAS SOUPS 167843 WITH SCORE 168053.172
AT ITER 1488 NEW BEST:: SOT 424221 SOS 210189 HAS SOPS 210189 HAS SOUS 167824 HAS SOUPS 167824 WITH SCORE 168034.189
AT ITER 1491 NEW BEST:: SOT 424255 SOS 209967 HAS SOPS 209967 HAS SOUS 167762 HAS SOUPS 167762 WITH SCORE 167971.967
AT ITER 1494 NEW BEST:: SOT 424092 SOS 209869 HAS SOPS 209869 HAS SOUS 167697 HAS SOUPS 167697 WITH SCORE 167906.869
AT ITER 1496 NEW BEST:: SOT 423569 SOS 209523 HAS SOPS 209523 HAS SOUS 167274 HAS SOUPS 167274 WITH SCORE 167483.523
AT ITER 1497 NEW BEST:: SOT 423479 SOS 209651 HAS SOPS 209651 HAS SOUS 167221 HAS SOUPS 167221 WITH SCORE 167430.651
AT ITER 1512 NEW BEST:: SOT 423261 SOS 209351 HAS SOPS 209351 HAS SOUS 166921 HAS SOUPS 166921 WITH SCORE 167130.351
AT ITER 1519 NEW BEST:: SOT 423255 SOS 209339 HAS SOPS 209339 HAS SOUS 166877 HAS SOUPS 166877 WITH SCORE 167086.339
AT ITER 1520 NEW BEST:: SOT 422766 SOS 208769 HAS SOPS 208769 HAS SOUS 166279 HAS SOUPS 166279 WITH SCORE 166487.769
AT ITER 1528 NEW BEST:: SOT 422798 SOS 208765 HAS SOPS 208765 HAS SOUS 166275 HAS SOUPS 166275 WITH SCORE 166483.765
AT ITER 1529 NEW BEST:: SOT 422728 SOS 208651 HAS SOPS 208651 HAS SOUS 166256 HAS SOUPS 166256 WITH SCORE 166464.651
AT ITER 1532 NEW BEST:: SOT 422681 SOS 208604 HAS SOPS 208604 HAS SOUS 166156 HAS SOUPS 166156 WITH SCORE 166364.604
AT ITER 1534 NEW BEST:: SOT 422640 SOS 208563 HAS SOPS 208563 HAS SOUS 166067 HAS SOUPS 166067 WITH SCORE 166275.563
AT ITER 1535 NEW BEST:: SOT 422429 SOS 207846 HAS SOPS 207846 HAS SOUS 165603 HAS SOUPS 165603 WITH SCORE 165810.846
AT ITER 1540 NEW BEST:: SOT 422298 SOS 207584 HAS SOPS 207584 HAS SOUS 165504 HAS SOUPS 165504 WITH SCORE 165711.584
AT ITER 1542 NEW BEST:: SOT 422298 SOS 207555 HAS SOPS 207555 HAS SOUS 165504 HAS SOUPS 165504 WITH SCORE 165711.555
AT ITER 1546 NEW BEST:: SOT 422298 SOS 209169 HAS SOPS 209169 HAS SOUS 165452 HAS SOUPS 165452 WITH SCORE 165661.169
AT ITER 1552 NEW BEST:: SOT 422271 SOS 209115 HAS SOPS 209115 HAS SOUS 165398 HAS SOUPS 165398 WITH SCORE 165607.115
AT ITER 1554 NEW BEST:: SOT 422224 SOS 209113 HAS SOPS 209113 HAS SOUS 165396 HAS SOUPS 165396 WITH SCORE 165605.113
AT ITER 1556 NEW BEST:: SOT 422217 SOS 209106 HAS SOPS 209106 HAS SOUS 165389 HAS SOUPS 165389 WITH SCORE 165598.106
AT ITER 1557 NEW BEST:: SOT 422077 SOS 208966 HAS SOPS 208966 HAS SOUS 165277 HAS SOUPS 165277 WITH SCORE 165485.966
AT ITER 1573 NEW BEST:: SOT 422077 SOS 208952 HAS SOPS 208952 HAS SOUS 165263 HAS SOUPS 165263 WITH SCORE 165471.952
AT ITER 1574 NEW BEST:: SOT 422033 SOS 208908 HAS SOPS 208908 HAS SOUS 165219 HAS SOUPS 165219 WITH SCORE 165427.908
AT ITER 1592 NEW BEST:: SOT 421976 SOS 208770 HAS SOPS 208770 HAS SOUS 165192 HAS SOUPS 165192 WITH SCORE 165400.77
AT ITER 1593 NEW BEST:: SOT 421648 SOS 208645 HAS SOPS 208645 HAS SOUS 164957 HAS SOUPS 164957 WITH SCORE 165165.645
AT ITER 1613 NEW BEST:: SOT 421567 SOS 208540 HAS SOPS 208540 HAS SOUS 164776 HAS SOUPS 164776 WITH SCORE 164984.54
AT ITER 1620 NEW BEST:: SOT 421567 SOS 208526 HAS SOPS 208526 HAS SOUS 164762 HAS SOUPS 164762 WITH SCORE 164970.526
AT ITER 1622 NEW BEST:: SOT 421537 SOS 208496 HAS SOPS 208496 HAS SOUS 164762 HAS SOUPS 164762 WITH SCORE 164970.496
AT ITER 1629 NEW BEST:: SOT 421507 SOS 208492 HAS SOPS 208492 HAS SOUS 164702 HAS SOUPS 164702 WITH SCORE 164910.492
AT ITER 1634 NEW BEST:: SOT 421513 SOS 208498 HAS SOPS 208498 HAS SOUS 164644 HAS SOUPS 164644 WITH SCORE 164852.498
AT ITER 1635 NEW BEST:: SOT 421509 SOS 208490 HAS SOPS 208490 HAS SOUS 164636 HAS SOUPS 164636 WITH SCORE 164844.49
AT ITER 1637 NEW BEST:: SOT 421476 SOS 208457 HAS SOPS 208457 HAS SOUS 164603 HAS SOUPS 164603 WITH SCORE 164811.457
AT ITER 1646 NEW BEST:: SOT 421475 SOS 208455 HAS SOPS 208455 HAS SOUS 164601 HAS SOUPS 164601 WITH SCORE 164809.455
AT ITER 1656 NEW BEST:: SOT 421409 SOS 208389 HAS SOPS 208389 HAS SOUS 164404 HAS SOUPS 164404 WITH SCORE 164612.389
AT ITER 1665 NEW BEST:: SOT 421377 SOS 208407 HAS SOPS 208407 HAS SOUS 164258 HAS SOUPS 164258 WITH SCORE 164466.407
AT ITER 1669 NEW BEST:: SOT 421300 SOS 208042 HAS SOPS 208042 HAS SOUS 164037 HAS SOUPS 164037 WITH SCORE 164245.042
AT ITER 1673 NEW BEST:: SOT 421220 SOS 208029 HAS SOPS 208029 HAS SOUS 164024 HAS SOUPS 164024 WITH SCORE 164232.029
AT ITER 1678 NEW BEST:: SOT 421207 SOS 208016 HAS SOPS 208016 HAS SOUS 163998 HAS SOUPS 163998 WITH SCORE 164206.016
AT ITER 1684 NEW BEST:: SOT 421207 SOS 208016 HAS SOPS 208016 HAS SOUS 163993 HAS SOUPS 163993 WITH SCORE 164201.016
AT ITER 1691 NEW BEST:: SOT 421122 SOS 208004 HAS SOPS 208004 HAS SOUS 163987 HAS SOUPS 163987 WITH SCORE 164195.004
AT ITER 1701 NEW BEST:: SOT 421069 SOS 208073 HAS SOPS 208073 HAS SOUS 163759 HAS SOUPS 163759 WITH SCORE 163967.073
AT ITER 1723 NEW BEST:: SOT 421142 SOS 208132 HAS SOPS 208132 HAS SOUS 163745 HAS SOUPS 163745 WITH SCORE 163953.132
AT ITER 1735 NEW BEST:: SOT 421249 SOS 207939 HAS SOPS 207939 HAS SOUS 163704 HAS SOUPS 163704 WITH SCORE 163911.939
AT ITER 1746 NEW BEST:: SOT 421202 SOS 207837 HAS SOPS 207837 HAS SOUS 163663 HAS SOUPS 163663 WITH SCORE 163870.837
AT ITER 1749 NEW BEST:: SOT 421146 SOS 207753 HAS SOPS 207753 HAS SOUS 163579 HAS SOUPS 163579 WITH SCORE 163786.753
AT ITER 1755 NEW BEST:: SOT 421138 SOS 207737 HAS SOPS 207737 HAS SOUS 163571 HAS SOUPS 163571 WITH SCORE 163778.737
AT ITER 1758 NEW BEST:: SOT 421272 SOS 207627 HAS SOPS 207627 HAS SOUS 163549 HAS SOUPS 163549 WITH SCORE 163756.627
AT ITER 1761 NEW BEST:: SOT 421208 SOS 207664 HAS SOPS 207664 HAS SOUS 163487 HAS SOUPS 163487 WITH SCORE 163694.664
AT ITER 1773 NEW BEST:: SOT 421208 SOS 207664 HAS SOPS 207664 HAS SOUS 163482 HAS SOUPS 163482 WITH SCORE 163689.664
AT ITER 1779 NEW BEST:: SOT 421208 SOS 207562 HAS SOPS 207562 HAS SOUS 163380 HAS SOUPS 163380 WITH SCORE 163587.562
AT ITER 1781 NEW BEST:: SOT 421174 SOS 207528 HAS SOPS 207528 HAS SOUS 163346 HAS SOUPS 163346 WITH SCORE 163553.528
AT ITER 1801 NEW BEST:: SOT 421083 SOS 207437 HAS SOPS 207437 HAS SOUS 163303 HAS SOUPS 163303 WITH SCORE 163510.437
AT ITER 1814 NEW BEST:: SOT 421053 SOS 207295 HAS SOPS 207295 HAS SOUS 163036 HAS SOUPS 163036 WITH SCORE 163243.295
AT ITER 1829 NEW BEST:: SOT 421038 SOS 207280 HAS SOPS 207280 HAS SOUS 163006 HAS SOUPS 163006 WITH SCORE 163213.28
AT ITER 1835 NEW BEST:: SOT 420346 SOS 207331 HAS SOPS 207331 HAS SOUS 162921 HAS SOUPS 162921 WITH SCORE 163128.331
AT ITER 1838 NEW BEST:: SOT 420346 SOS 207306 HAS SOPS 207306 HAS SOUS 162912 HAS SOUPS 162912 WITH SCORE 163119.306
AT ITER 1839 NEW BEST:: SOT 420337 SOS 207297 HAS SOPS 207297 HAS SOUS 162912 HAS SOUPS 162912 WITH SCORE 163119.297
AT ITER 1840 NEW BEST:: SOT 420293 SOS 207366 HAS SOPS 207366 HAS SOUS 162868 HAS SOUPS 162868 WITH SCORE 163075.366
AT ITER 1843 NEW BEST:: SOT 420293 SOS 207339 HAS SOPS 207339 HAS SOUS 162841 HAS SOUPS 162841 WITH SCORE 163048.339
AT ITER 1857 NEW BEST:: SOT 420250 SOS 207253 HAS SOPS 207253 HAS SOUS 162798 HAS SOUPS 162798 WITH SCORE 163005.253
AT ITER 1890 NEW BEST:: SOT 420198 SOS 207201 HAS SOPS 207201 HAS SOUS 162765 HAS SOUPS 162765 WITH SCORE 162972.201
AT ITER 1893 NEW BEST:: SOT 420102 SOS 207105 HAS SOPS 207105 HAS SOUS 162663 HAS SOUPS 162663 WITH SCORE 162870.105
AT ITER 1894 NEW BEST:: SOT 420400 SOS 207035 HAS SOPS 207035 HAS SOUS 162657 HAS SOUPS 162657 WITH SCORE 162864.035
AT ITER 1913 NEW BEST:: SOT 420449 SOS 207084 HAS SOPS 207084 HAS SOUS 162621 HAS SOUPS 162621 WITH SCORE 162828.084
AT ITER 1915 NEW BEST:: SOT 420572 SOS 202910 HAS SOPS 202910 HAS SOUS 162616 HAS SOUPS 162616 WITH SCORE 162818.91
AT ITER 1933 NEW BEST:: SOT 420559 SOS 202883 HAS SOPS 202883 HAS SOUS 162603 HAS SOUPS 162603 WITH SCORE 162805.883
AT ITER 1958 NEW BEST:: SOT 420590 SOS 202914 HAS SOPS 202914 HAS SOUS 162595 HAS SOUPS 162595 WITH SCORE 162797.914
AT ITER 1962 NEW BEST:: SOT 420543 SOS 202831 HAS SOPS 202831 HAS SOUS 162546 HAS SOUPS 162546 WITH SCORE 162748.831
AT ITER 1971 NEW BEST:: SOT 420409 SOS 203074 HAS SOPS 203074 HAS SOUS 162468 HAS SOUPS 162468 WITH SCORE 162671.074
AT ITER 1985 NEW BEST:: SOT 420313 SOS 202498 HAS SOPS 202498 HAS SOUS 162276 HAS SOUPS 162276 WITH SCORE 162478.498
AT ITER 1993 NEW BEST:: SOT 420205 SOS 202440 HAS SOPS 202440 HAS SOUS 162163 HAS SOUPS 162163 WITH SCORE 162365.44
AT ITER 1995 NEW BEST:: SOT 420203 SOS 202438 HAS SOPS 202438 HAS SOUS 162161 HAS SOUPS 162161 WITH SCORE 162363.438
AT ITER 1996 NEW BEST:: SOT 420217 SOS 202452 HAS SOPS 202452 HAS SOUS 162157 HAS SOUPS 162157 WITH SCORE 162359.452
AT ITER 2005 NEW BEST:: SOT 420205 SOS 202173 HAS SOPS 202173 HAS SOUS 161820 HAS SOUPS 161820 WITH SCORE 162022.173
AT ITER 2006 NEW BEST:: SOT 420160 SOS 202005 HAS SOPS 202005 HAS SOUS 161607 HAS SOUPS 161607 WITH SCORE 161809.005
AT ITER 2010 NEW BEST:: SOT 420160 SOS 202005 HAS SOPS 202005 HAS SOUS 161550 HAS SOUPS 161550 WITH SCORE 161752.005
AT ITER 2014 NEW BEST:: SOT 420160 SOS 202005 HAS SOPS 202005 HAS SOUS 161509 HAS SOUPS 161509 WITH SCORE 161711.005
AT ITER 2021 NEW BEST:: SOT 420127 SOS 201869 HAS SOPS 201869 HAS SOUS 161399 HAS SOUPS 161399 WITH SCORE 161600.869
AT ITER 2025 NEW BEST:: SOT 420127 SOS 201861 HAS SOPS 201861 HAS SOUS 161391 HAS SOUPS 161391 WITH SCORE 161592.861
AT ITER 2027 NEW BEST:: SOT 420096 SOS 201830 HAS SOPS 201830 HAS SOUS 161391 HAS SOUPS 161391 WITH SCORE 161592.83
AT ITER 2035 NEW BEST:: SOT 420143 SOS 201967 HAS SOPS 201967 HAS SOUS 161326 HAS SOUPS 161326 WITH SCORE 161527.967
AT ITER 2038 NEW BEST:: SOT 420166 SOS 201990 HAS SOPS 201990 HAS SOUS 161301 HAS SOUPS 161301 WITH SCORE 161502.99
AT ITER 2041 NEW BEST:: SOT 419994 SOS 201763 HAS SOPS 201763 HAS SOUS 161057 HAS SOUPS 161057 WITH SCORE 161258.763
AT ITER 2051 NEW BEST:: SOT 419866 SOS 201635 HAS SOPS 201635 HAS SOUS 160921 HAS SOUPS 160921 WITH SCORE 161122.635
AT ITER 2055 NEW BEST:: SOT 419866 SOS 201595 HAS SOPS 201595 HAS SOUS 160905 HAS SOUPS 160905 WITH SCORE 161106.595
AT ITER 2056 NEW BEST:: SOT 420025 SOS 201754 HAS SOPS 201754 HAS SOUS 160834 HAS SOUPS 160834 WITH SCORE 161035.754
AT ITER 2057 NEW BEST:: SOT 419915 SOS 201473 HAS SOPS 201473 HAS SOUS 160654 HAS SOUPS 160654 WITH SCORE 160855.473
AT ITER 2072 NEW BEST:: SOT 419719 SOS 201423 HAS SOPS 201423 HAS SOUS 160489 HAS SOUPS 160489 WITH SCORE 160690.423
AT ITER 2084 NEW BEST:: SOT 419620 SOS 201348 HAS SOPS 201348 HAS SOUS 160315 HAS SOUPS 160315 WITH SCORE 160516.348
AT ITER 2092 NEW BEST:: SOT 419454 SOS 201390 HAS SOPS 201390 HAS SOUS 160169 HAS SOUPS 160169 WITH SCORE 160370.39
AT ITER 2098 NEW BEST:: SOT 419470 SOS 201365 HAS SOPS 201365 HAS SOUS 160163 HAS SOUPS 160163 WITH SCORE 160364.365
AT ITER 2109 NEW BEST:: SOT 419496 SOS 201320 HAS SOPS 201320 HAS SOUS 160118 HAS SOUPS 160118 WITH SCORE 160319.32
AT ITER 2113 NEW BEST:: SOT 419447 SOS 201271 HAS SOPS 201271 HAS SOUS 160069 HAS SOUPS 160069 WITH SCORE 160270.271
AT ITER 2117 NEW BEST:: SOT 419044 SOS 201258 HAS SOPS 201258 HAS SOUS 159749 HAS SOUPS 159749 WITH SCORE 159950.258
AT ITER 2129 NEW BEST:: SOT 419044 SOS 201181 HAS SOPS 201181 HAS SOUS 159749 HAS SOUPS 159749 WITH SCORE 159950.181
AT ITER 2133 NEW BEST:: SOT 418850 SOS 201143 HAS SOPS 201143 HAS SOUS 159536 HAS SOUPS 159536 WITH SCORE 159737.143
AT ITER 2134 NEW BEST:: SOT 418850 SOS 201163 HAS SOPS 201163 HAS SOUS 159511 HAS SOUPS 159511 WITH SCORE 159712.163
AT ITER 2141 NEW BEST:: SOT 418850 SOS 201128 HAS SOPS 201128 HAS SOUS 159453 HAS SOUPS 159453 WITH SCORE 159654.128
AT ITER 2154 NEW BEST:: SOT 418796 SOS 200895 HAS SOPS 200895 HAS SOUS 159220 HAS SOUPS 159220 WITH SCORE 159420.895
AT ITER 2166 NEW BEST:: SOT 418690 SOS 202062 HAS SOPS 202062 HAS SOUS 159118 HAS SOUPS 159118 WITH SCORE 159320.062
AT ITER 2172 NEW BEST:: SOT 418702 SOS 202034 HAS SOPS 202034 HAS SOUS 159090 HAS SOUPS 159090 WITH SCORE 159292.034
AT ITER 2180 NEW BEST:: SOT 418559 SOS 202581 HAS SOPS 202581 HAS SOUS 158947 HAS SOUPS 158947 WITH SCORE 159149.581
AT ITER 2184 NEW BEST:: SOT 418484 SOS 202546 HAS SOPS 202546 HAS SOUS 158912 HAS SOUPS 158912 WITH SCORE 159114.546
AT ITER 2200 NEW BEST:: SOT 418446 SOS 202470 HAS SOPS 202470 HAS SOUS 158836 HAS SOUPS 158836 WITH SCORE 159038.47
AT ITER 2205 NEW BEST:: SOT 418438 SOS 202461 HAS SOPS 202461 HAS SOUS 158748 HAS SOUPS 158748 WITH SCORE 158950.461
AT ITER 2217 NEW BEST:: SOT 418363 SOS 202326 HAS SOPS 202326 HAS SOUS 158673 HAS SOUPS 158673 WITH SCORE 158875.326
AT ITER 2219 NEW BEST:: SOT 418398 SOS 202207 HAS SOPS 202207 HAS SOUS 158641 HAS SOUPS 158641 WITH SCORE 158843.207
AT ITER 2223 NEW BEST:: SOT 418364 SOS 202173 HAS SOPS 202173 HAS SOUS 158573 HAS SOUPS 158573 WITH SCORE 158775.173
AT ITER 2226 NEW BEST:: SOT 418338 SOS 202269 HAS SOPS 202269 HAS SOUS 158559 HAS SOUPS 158559 WITH SCORE 158761.269
AT ITER 2227 NEW BEST:: SOT 418342 SOS 202277 HAS SOPS 202277 HAS SOUS 158536 HAS SOUPS 158536 WITH SCORE 158738.277
AT ITER 2247 NEW BEST:: SOT 418325 SOS 202114 HAS SOPS 202114 HAS SOUS 158381 HAS SOUPS 158381 WITH SCORE 158583.114
AT ITER 2276 NEW BEST:: SOT 418340 SOS 202170 HAS SOPS 202170 HAS SOUS 158357 HAS SOUPS 158357 WITH SCORE 158559.17
AT ITER 2277 NEW BEST:: SOT 418308 SOS 202106 HAS SOPS 202106 HAS SOUS 158293 HAS SOUPS 158293 WITH SCORE 158495.106
AT ITER 2281 NEW BEST:: SOT 418130 SOS 203521 HAS SOPS 203521 HAS SOUS 158163 HAS SOUPS 158163 WITH SCORE 158366.521
AT ITER 2290 NEW BEST:: SOT 417965 SOS 203144 HAS SOPS 203144 HAS SOUS 157888 HAS SOUPS 157888 WITH SCORE 158091.144
AT ITER 2297 NEW BEST:: SOT 417990 SOS 203169 HAS SOPS 203169 HAS SOUS 157822 HAS SOUPS 157822 WITH SCORE 158025.169
AT ITER 2308 NEW BEST:: SOT 417950 SOS 203089 HAS SOPS 203089 HAS SOUS 157742 HAS SOUPS 157742 WITH SCORE 157945.089
AT ITER 2314 NEW BEST:: SOT 417908 SOS 203056 HAS SOPS 203056 HAS SOUS 157691 HAS SOUPS 157691 WITH SCORE 157894.056
AT ITER 2339 NEW BEST:: SOT 417856 SOS 202971 HAS SOPS 202971 HAS SOUS 157606 HAS SOUPS 157606 WITH SCORE 157808.971
AT ITER 2345 NEW BEST:: SOT 417856 SOS 202971 HAS SOPS 202971 HAS SOUS 157583 HAS SOUPS 157583 WITH SCORE 157785.971
AT ITER 2348 NEW BEST:: SOT 417860 SOS 202979 HAS SOPS 202979 HAS SOUS 157573 HAS SOUPS 157573 WITH SCORE 157775.979
AT ITER 2350 NEW BEST:: SOT 417872 SOS 203003 HAS SOPS 203003 HAS SOUS 157559 HAS SOUPS 157559 WITH SCORE 157762.003
AT ITER 2352 NEW BEST:: SOT 417853 SOS 202755 HAS SOPS 202755 HAS SOUS 157521 HAS SOUPS 157521 WITH SCORE 157723.755
AT ITER 2374 NEW BEST:: SOT 417870 SOS 202616 HAS SOPS 202616 HAS SOUS 157517 HAS SOUPS 157517 WITH SCORE 157719.616
AT ITER 2382 NEW BEST:: SOT 417860 SOS 202516 HAS SOPS 202516 HAS SOUS 157497 HAS SOUPS 157497 WITH SCORE 157699.516
AT ITER 2386 NEW BEST:: SOT 417717 SOS 202382 HAS SOPS 202382 HAS SOUS 157359 HAS SOUPS 157359 WITH SCORE 157561.382
AT ITER 2403 NEW BEST:: SOT 417693 SOS 202310 HAS SOPS 202310 HAS SOUS 157287 HAS SOUPS 157287 WITH SCORE 157489.31
AT ITER 2421 NEW BEST:: SOT 417658 SOS 202275 HAS SOPS 202275 HAS SOUS 157252 HAS SOUPS 157252 WITH SCORE 157454.275
AT ITER 2428 NEW BEST:: SOT 417322 SOS 202012 HAS SOPS 202012 HAS SOUS 157018 HAS SOUPS 157018 WITH SCORE 157220.012
AT ITER 2432 NEW BEST:: SOT 417276 SOS 201984 HAS SOPS 201984 HAS SOUS 156972 HAS SOUPS 156972 WITH SCORE 157173.984
AT ITER 2435 NEW BEST:: SOT 417375 SOS 202083 HAS SOPS 202083 HAS SOUS 156971 HAS SOUPS 156971 WITH SCORE 157173.083
AT ITER 2441 NEW BEST:: SOT 417367 SOS 202067 HAS SOPS 202067 HAS SOUS 156948 HAS SOUPS 156948 WITH SCORE 157150.067
AT ITER 2449 NEW BEST:: SOT 417276 SOS 201755 HAS SOPS 201755 HAS SOUS 156779 HAS SOUPS 156779 WITH SCORE 156980.755
AT ITER 2459 NEW BEST:: SOT 417264 SOS 201654 HAS SOPS 201654 HAS SOUS 156755 HAS SOUPS 156755 WITH SCORE 156956.654
AT ITER 2475 NEW BEST:: SOT 417266 SOS 201656 HAS SOPS 201656 HAS SOUS 156744 HAS SOUPS 156744 WITH SCORE 156945.656
AT ITER 2477 NEW BEST:: SOT 417062 SOS 201656 HAS SOPS 201656 HAS SOUS 156571 HAS SOUPS 156571 WITH SCORE 156772.656
AT ITER 2478 NEW BEST:: SOT 416822 SOS 201580 HAS SOPS 201580 HAS SOUS 156300 HAS SOUPS 156300 WITH SCORE 156501.58
AT ITER 2486 NEW BEST:: SOT 416791 SOS 201549 HAS SOPS 201549 HAS SOUS 156300 HAS SOUPS 156300 WITH SCORE 156501.549
AT ITER 2488 NEW BEST:: SOT 416678 SOS 201241 HAS SOPS 201241 HAS SOUS 156105 HAS SOUPS 156105 WITH SCORE 156306.241
AT ITER 2501 NEW BEST:: SOT 416639 SOS 201202 HAS SOPS 201202 HAS SOUS 156018 HAS SOUPS 156018 WITH SCORE 156219.202
AT ITER 2521 NEW BEST:: SOT 416602 SOS 201162 HAS SOPS 201162 HAS SOUS 155947 HAS SOUPS 155947 WITH SCORE 156148.162
AT ITER 2541 NEW BEST:: SOT 416534 SOS 201023 HAS SOPS 201023 HAS SOUS 155898 HAS SOUPS 155898 WITH SCORE 156099.023
AT ITER 2546 NEW BEST:: SOT 416452 SOS 200777 HAS SOPS 200777 HAS SOUS 155734 HAS SOUPS 155734 WITH SCORE 155934.777
AT ITER 2547 NEW BEST:: SOT 416442 SOS 200734 HAS SOPS 200734 HAS SOUS 155659 HAS SOUPS 155659 WITH SCORE 155859.734
AT ITER 2548 NEW BEST:: SOT 416425 SOS 200699 HAS SOPS 200699 HAS SOUS 155625 HAS SOUPS 155625 WITH SCORE 155825.699
AT ITER 2561 NEW BEST:: SOT 416379 SOS 200749 HAS SOPS 200749 HAS SOUS 155595 HAS SOUPS 155595 WITH SCORE 155795.749
AT ITER 2579 NEW BEST:: SOT 416421 SOS 200720 HAS SOPS 200720 HAS SOUS 155566 HAS SOUPS 155566 WITH SCORE 155766.72
AT ITER 2597 NEW BEST:: SOT 416404 SOS 200686 HAS SOPS 200686 HAS SOUS 155532 HAS SOUPS 155532 WITH SCORE 155732.686
AT ITER 2601 NEW BEST:: SOT 416469 SOS 200672 HAS SOPS 200672 HAS SOUS 155518 HAS SOUPS 155518 WITH SCORE 155718.672
AT ITER 2613 NEW BEST:: SOT 416469 SOS 200704 HAS SOPS 200704 HAS SOUS 155486 HAS SOUPS 155486 WITH SCORE 155686.704
AT ITER 2626 NEW BEST:: SOT 416469 SOS 200696 HAS SOPS 200696 HAS SOUS 155478 HAS SOUPS 155478 WITH SCORE 155678.696
AT ITER 2636 NEW BEST:: SOT 416468 SOS 200695 HAS SOPS 200695 HAS SOUS 155476 HAS SOUPS 155476 WITH SCORE 155676.695
AT ITER 2643 NEW BEST:: SOT 416449 SOS 200656 HAS SOPS 200656 HAS SOUS 155474 HAS SOUPS 155474 WITH SCORE 155674.656
AT ITER 2656 NEW BEST:: SOT 416436 SOS 200643 HAS SOPS 200643 HAS SOUS 155461 HAS SOUPS 155461 WITH SCORE 155661.643
AT ITER 2659 NEW BEST:: SOT 416335 SOS 200606 HAS SOPS 200606 HAS SOUS 155459 HAS SOUPS 155459 WITH SCORE 155659.606
AT ITER 2662 NEW BEST:: SOT 416335 SOS 200606 HAS SOPS 200606 HAS SOUS 155407 HAS SOUPS 155407 WITH SCORE 155607.606
AT ITER 2672 NEW BEST:: SOT 416305 SOS 200595 HAS SOPS 200595 HAS SOUS 155378 HAS SOUPS 155378 WITH SCORE 155578.595
AT ITER 2673 NEW BEST:: SOT 416265 SOS 201500 HAS SOPS 201500 HAS SOUS 155338 HAS SOUPS 155338 WITH SCORE 155539.5
AT ITER 2692 NEW BEST:: SOT 416261 SOS 201500 HAS SOPS 201500 HAS SOUS 155334 HAS SOUPS 155334 WITH SCORE 155535.5
AT ITER 2697 NEW BEST:: SOT 416257 SOS 201403 HAS SOPS 201403 HAS SOUS 155325 HAS SOUPS 155325 WITH SCORE 155526.403
AT ITER 2699 NEW BEST:: SOT 416237 SOS 201383 HAS SOPS 201383 HAS SOUS 155305 HAS SOUPS 155305 WITH SCORE 155506.383
AT ITER 2721 NEW BEST:: SOT 416225 SOS 201359 HAS SOPS 201359 HAS SOUS 155281 HAS SOUPS 155281 WITH SCORE 155482.359
AT ITER 2732 NEW BEST:: SOT 416127 SOS 201406 HAS SOPS 201406 HAS SOUS 155084 HAS SOUPS 155084 WITH SCORE 155285.406
AT ITER 2735 NEW BEST:: SOT 416117 SOS 201406 HAS SOPS 201406 HAS SOUS 155074 HAS SOUPS 155074 WITH SCORE 155275.406
AT ITER 2737 NEW BEST:: SOT 415995 SOS 201649 HAS SOPS 201649 HAS SOUS 155045 HAS SOUPS 155045 WITH SCORE 155246.649
AT ITER 2739 NEW BEST:: SOT 415898 SOS 201740 HAS SOPS 201740 HAS SOUS 155010 HAS SOUPS 155010 WITH SCORE 155211.74
AT ITER 2743 NEW BEST:: SOT 415877 SOS 201740 HAS SOPS 201740 HAS SOUS 154968 HAS SOUPS 154968 WITH SCORE 155169.74
AT ITER 2744 NEW BEST:: SOT 415721 SOS 201740 HAS SOPS 201740 HAS SOUS 154958 HAS SOUPS 154958 WITH SCORE 155159.74
AT ITER 2754 NEW BEST:: SOT 415681 SOS 201818 HAS SOPS 201818 HAS SOUS 154923 HAS SOUPS 154923 WITH SCORE 155124.818
AT ITER 2762 NEW BEST:: SOT 415656 SOS 201793 HAS SOPS 201793 HAS SOUS 154873 HAS SOUPS 154873 WITH SCORE 155074.793
AT ITER 2772 NEW BEST:: SOT 415429 SOS 201566 HAS SOPS 201566 HAS SOUS 154646 HAS SOUPS 154646 WITH SCORE 154847.566
AT ITER 2776 NEW BEST:: SOT 415894 SOS 201446 HAS SOPS 201446 HAS SOUS 154561 HAS SOUPS 154561 WITH SCORE 154762.446
AT ITER 2780 NEW BEST:: SOT 415685 SOS 201438 HAS SOPS 201438 HAS SOUS 154468 HAS SOUPS 154468 WITH SCORE 154669.438
AT ITER 2791 NEW BEST:: SOT 415685 SOS 201438 HAS SOPS 201438 HAS SOUS 154455 HAS SOUPS 154455 WITH SCORE 154656.438
AT ITER 2803 NEW BEST:: SOT 415605 SOS 201358 HAS SOPS 201358 HAS SOUS 154375 HAS SOUPS 154375 WITH SCORE 154576.358
AT ITER 2805 NEW BEST:: SOT 415579 SOS 201302 HAS SOPS 201302 HAS SOUS 154323 HAS SOUPS 154323 WITH SCORE 154524.302
AT ITER 2806 NEW BEST:: SOT 415570 SOS 201293 HAS SOPS 201293 HAS SOUS 154305 HAS SOUPS 154305 WITH SCORE 154506.293
AT ITER 2810 NEW BEST:: SOT 415531 SOS 201215 HAS SOPS 201215 HAS SOUS 154266 HAS SOUPS 154266 WITH SCORE 154467.215
AT ITER 2832 NEW BEST:: SOT 415381 SOS 200868 HAS SOPS 200868 HAS SOUS 153887 HAS SOUPS 153887 WITH SCORE 154087.868
AT ITER 2842 NEW BEST:: SOT 415386 SOS 200873 HAS SOPS 200873 HAS SOUS 153869 HAS SOUPS 153869 WITH SCORE 154069.873
AT ITER 2848 NEW BEST:: SOT 415371 SOS 200873 HAS SOPS 200873 HAS SOUS 153854 HAS SOUPS 153854 WITH SCORE 154054.873
AT ITER 2887 NEW BEST:: SOT 415371 SOS 200791 HAS SOPS 200791 HAS SOUS 153854 HAS SOUPS 153854 WITH SCORE 154054.791
AT ITER 2889 NEW BEST:: SOT 415239 SOS 200544 HAS SOPS 200544 HAS SOUS 153651 HAS SOUPS 153651 WITH SCORE 153851.544
AT ITER 2906 NEW BEST:: SOT 415239 SOS 200407 HAS SOPS 200407 HAS SOUS 153651 HAS SOUPS 153651 WITH SCORE 153851.407
AT ITER 2923 NEW BEST:: SOT 415240 SOS 200402 HAS SOPS 200402 HAS SOUS 153588 HAS SOUPS 153588 WITH SCORE 153788.402
AT ITER 2928 NEW BEST:: SOT 415240 SOS 200183 HAS SOPS 200183 HAS SOUS 153499 HAS SOUPS 153499 WITH SCORE 153699.183
AT ITER 2931 NEW BEST:: SOT 415229 SOS 199974 HAS SOPS 199974 HAS SOUS 153477 HAS SOUPS 153477 WITH SCORE 153676.974
AT ITER 2934 NEW BEST:: SOT 415223 SOS 199968 HAS SOPS 199968 HAS SOUS 153471 HAS SOUPS 153471 WITH SCORE 153670.968
AT ITER 2942 NEW BEST:: SOT 415213 SOS 199948 HAS SOPS 199948 HAS SOUS 153420 HAS SOUPS 153420 WITH SCORE 153619.948
AT ITER 2971 NEW BEST:: SOT 415051 SOS 199599 HAS SOPS 199599 HAS SOUS 153290 HAS SOUPS 153290 WITH SCORE 153489.599
AT ITER 2979 NEW BEST:: SOT 414910 SOS 199599 HAS SOPS 199599 HAS SOUS 153149 HAS SOUPS 153149 WITH SCORE 153348.599
AT ITER 3007 NEW BEST:: SOT 414910 SOS 199599 HAS SOPS 199599 HAS SOUS 153119 HAS SOUPS 153119 WITH SCORE 153318.599
AT ITER 3013 NEW BEST:: SOT 414950 SOS 199457 HAS SOPS 199457 HAS SOUS 152977 HAS SOUPS 152977 WITH SCORE 153176.457
AT ITER 3016 NEW BEST:: SOT 414932 SOS 199439 HAS SOPS 199439 HAS SOUS 152959 HAS SOUPS 152959 WITH SCORE 153158.439
AT ITER 3018 NEW BEST:: SOT 414932 SOS 199439 HAS SOPS 199439 HAS SOUS 152924 HAS SOUPS 152924 WITH SCORE 153123.439
AT ITER 3043 NEW BEST:: SOT 414912 SOS 199399 HAS SOPS 199399 HAS SOUS 152884 HAS SOUPS 152884 WITH SCORE 153083.399
AT ITER 3084 NEW BEST:: SOT 414820 SOS 199500 HAS SOPS 199500 HAS SOUS 152767 HAS SOUPS 152767 WITH SCORE 152966.5
AT ITER 3119 NEW BEST:: SOT 414816 SOS 199491 HAS SOPS 199491 HAS SOUS 152758 HAS SOUPS 152758 WITH SCORE 152957.491
AT ITER 3125 NEW BEST:: SOT 414876 SOS 199654 HAS SOPS 199654 HAS SOUS 152656 HAS SOUPS 152656 WITH SCORE 152855.654
AT ITER 3126 NEW BEST:: SOT 414856 SOS 199717 HAS SOPS 199717 HAS SOUS 152613 HAS SOUPS 152613 WITH SCORE 152812.717
AT ITER 3132 NEW BEST:: SOT 414789 SOS 199650 HAS SOPS 199650 HAS SOUS 152546 HAS SOUPS 152546 WITH SCORE 152745.65
AT ITER 3142 NEW BEST:: SOT 414763 SOS 199576 HAS SOPS 199576 HAS SOUS 152533 HAS SOUPS 152533 WITH SCORE 152732.576
AT ITER 3143 NEW BEST:: SOT 414740 SOS 199553 HAS SOPS 199553 HAS SOUS 152510 HAS SOUPS 152510 WITH SCORE 152709.553
AT ITER 3154 NEW BEST:: SOT 414697 SOS 199510 HAS SOPS 199510 HAS SOUS 152388 HAS SOUPS 152388 WITH SCORE 152587.51
AT ITER 3161 NEW BEST:: SOT 414564 SOS 199216 HAS SOPS 199216 HAS SOUS 152252 HAS SOUPS 152252 WITH SCORE 152451.216
AT ITER 3177 NEW BEST:: SOT 414482 SOS 199134 HAS SOPS 199134 HAS SOUS 152170 HAS SOUPS 152170 WITH SCORE 152369.134
AT ITER 3192 NEW BEST:: SOT 414434 SOS 199088 HAS SOPS 199088 HAS SOUS 152074 HAS SOUPS 152074 WITH SCORE 152273.088
AT ITER 3205 NEW BEST:: SOT 414342 SOS 198917 HAS SOPS 198917 HAS SOUS 151897 HAS SOUPS 151897 WITH SCORE 152095.917
AT ITER 3208 NEW BEST:: SOT 414256 SOS 198889 HAS SOPS 198889 HAS SOUS 151811 HAS SOUPS 151811 WITH SCORE 152009.889
AT ITER 3210 NEW BEST:: SOT 414157 SOS 195938 HAS SOPS 195938 HAS SOUS 151613 HAS SOUPS 151613 WITH SCORE 151808.938
AT ITER 3220 NEW BEST:: SOT 414146 SOS 195935 HAS SOPS 195935 HAS SOUS 151591 HAS SOUPS 151591 WITH SCORE 151786.935
AT ITER 3223 NEW BEST:: SOT 414146 SOS 195775 HAS SOPS 195775 HAS SOUS 151560 HAS SOUPS 151560 WITH SCORE 151755.775
AT ITER 3237 NEW BEST:: SOT 414110 SOS 195870 HAS SOPS 195870 HAS SOUS 151488 HAS SOUPS 151488 WITH SCORE 151683.87
AT ITER 3241 NEW BEST:: SOT 414108 SOS 195868 HAS SOPS 195868 HAS SOUS 151488 HAS SOUPS 151488 WITH SCORE 151683.868
AT ITER 3242 NEW BEST:: SOT 414030 SOS 195712 HAS SOPS 195712 HAS SOUS 151332 HAS SOUPS 151332 WITH SCORE 151527.712
AT ITER 3254 NEW BEST:: SOT 413841 SOS 195523 HAS SOPS 195523 HAS SOUS 151143 HAS SOUPS 151143 WITH SCORE 151338.523
AT ITER 3256 NEW BEST:: SOT 413702 SOS 198304 HAS SOPS 198304 HAS SOUS 151066 HAS SOUPS 151066 WITH SCORE 151264.304
AT ITER 3259 NEW BEST:: SOT 413702 SOS 198283 HAS SOPS 198283 HAS SOUS 151045 HAS SOUPS 151045 WITH SCORE 151243.283
AT ITER 3275 NEW BEST:: SOT 413702 SOS 198198 HAS SOPS 198198 HAS SOUS 151045 HAS SOUPS 151045 WITH SCORE 151243.198
AT ITER 3283 NEW BEST:: SOT 413702 SOS 198196 HAS SOPS 198196 HAS SOUS 151043 HAS SOUPS 151043 WITH SCORE 151241.196
AT ITER 3287 NEW BEST:: SOT 413702 SOS 198153 HAS SOPS 198153 HAS SOUS 151043 HAS SOUPS 151043 WITH SCORE 151241.153
AT ITER 3292 NEW BEST:: SOT 413663 SOS 198165 HAS SOPS 198165 HAS SOUS 151036 HAS SOUPS 151036 WITH SCORE 151234.165
AT ITER 3298 NEW BEST:: SOT 413663 SOS 198165 HAS SOPS 198165 HAS SOUS 151018 HAS SOUPS 151018 WITH SCORE 151216.165
AT ITER 3301 NEW BEST:: SOT 413573 SOS 198649 HAS SOPS 198649 HAS SOUS 150980 HAS SOUPS 150980 WITH SCORE 151178.649
AT ITER 3310 NEW BEST:: SOT 413592 SOS 198668 HAS SOPS 198668 HAS SOUS 150933 HAS SOUPS 150933 WITH SCORE 151131.668
AT ITER 3317 NEW BEST:: SOT 413551 SOS 198627 HAS SOPS 198627 HAS SOUS 150877 HAS SOUPS 150877 WITH SCORE 151075.627
AT ITER 3322 NEW BEST:: SOT 413509 SOS 198585 HAS SOPS 198585 HAS SOUS 150846 HAS SOUPS 150846 WITH SCORE 151044.585
AT ITER 3331 NEW BEST:: SOT 413569 SOS 198604 HAS SOPS 198604 HAS SOUS 150843 HAS SOUPS 150843 WITH SCORE 151041.604
AT ITER 3340 NEW BEST:: SOT 413487 SOS 198470 HAS SOPS 198470 HAS SOUS 150679 HAS SOUPS 150679 WITH SCORE 150877.47
AT ITER 3353 NEW BEST:: SOT 413487 SOS 198470 HAS SOPS 198470 HAS SOUS 150657 HAS SOUPS 150657 WITH SCORE 150855.47
AT ITER 3358 NEW BEST:: SOT 413474 SOS 198457 HAS SOPS 198457 HAS SOUS 150644 HAS SOUPS 150644 WITH SCORE 150842.457
AT ITER 3359 NEW BEST:: SOT 413375 SOS 198478 HAS SOPS 198478 HAS SOUS 150572 HAS SOUPS 150572 WITH SCORE 150770.478
AT ITER 3400 NEW BEST:: SOT 413314 SOS 198480 HAS SOPS 198480 HAS SOUS 150511 HAS SOUPS 150511 WITH SCORE 150709.48
AT ITER 3409 NEW BEST:: SOT 413242 SOS 198441 HAS SOPS 198441 HAS SOUS 150439 HAS SOUPS 150439 WITH SCORE 150637.441
AT ITER 3416 NEW BEST:: SOT 413242 SOS 197986 HAS SOPS 197986 HAS SOUS 150423 HAS SOUPS 150423 WITH SCORE 150620.986
AT ITER 3420 NEW BEST:: SOT 413258 SOS 198002 HAS SOPS 198002 HAS SOUS 150314 HAS SOUPS 150314 WITH SCORE 150512.002
AT ITER 3431 NEW BEST:: SOT 413255 SOS 198030 HAS SOPS 198030 HAS SOUS 150257 HAS SOUPS 150257 WITH SCORE 150455.03
AT ITER 3439 NEW BEST:: SOT 413202 SOS 198019 HAS SOPS 198019 HAS SOUS 150129 HAS SOUPS 150129 WITH SCORE 150327.019
AT ITER 3441 NEW BEST:: SOT 413194 SOS 198003 HAS SOPS 198003 HAS SOUS 150113 HAS SOUPS 150113 WITH SCORE 150311.003
AT ITER 3442 NEW BEST:: SOT 413163 SOS 197972 HAS SOPS 197972 HAS SOUS 150051 HAS SOUPS 150051 WITH SCORE 150248.972
AT ITER 3444 NEW BEST:: SOT 413180 SOS 197989 HAS SOPS 197989 HAS SOUS 150037 HAS SOUPS 150037 WITH SCORE 150234.989
AT ITER 3483 NEW BEST:: SOT 412927 SOS 197492 HAS SOPS 197492 HAS SOUS 149540 HAS SOUPS 149540 WITH SCORE 149737.492
AT ITER 3496 NEW BEST:: SOT 412927 SOS 197495 HAS SOPS 197495 HAS SOUS 149517 HAS SOUPS 149517 WITH SCORE 149714.495
AT ITER 3501 NEW BEST:: SOT 412860 SOS 197374 HAS SOPS 197374 HAS SOUS 149396 HAS SOUPS 149396 WITH SCORE 149593.374
AT ITER 3503 NEW BEST:: SOT 412818 SOS 197336 HAS SOPS 197336 HAS SOUS 149308 HAS SOUPS 149308 WITH SCORE 149505.336
AT ITER 3504 NEW BEST:: SOT 412803 SOS 197321 HAS SOPS 197321 HAS SOUS 149293 HAS SOUPS 149293 WITH SCORE 149490.321
AT ITER 3507 NEW BEST:: SOT 412844 SOS 197362 HAS SOPS 197362 HAS SOUS 149262 HAS SOUPS 149262 WITH SCORE 149459.362
AT ITER 3532 NEW BEST:: SOT 412844 SOS 197318 HAS SOPS 197318 HAS SOUS 149183 HAS SOUPS 149183 WITH SCORE 149380.318
AT ITER 3537 NEW BEST:: SOT 412786 SOS 197205 HAS SOPS 197205 HAS SOUS 149050 HAS SOUPS 149050 WITH SCORE 149247.205
AT ITER 3543 NEW BEST:: SOT 412747 SOS 197166 HAS SOPS 197166 HAS SOUS 149050 HAS SOUPS 149050 WITH SCORE 149247.166
AT ITER 3546 NEW BEST:: SOT 412747 SOS 197123 HAS SOPS 197123 HAS SOUS 149027 HAS SOUPS 149027 WITH SCORE 149224.123
AT ITER 3566 NEW BEST:: SOT 412721 SOS 197071 HAS SOPS 197071 HAS SOUS 148975 HAS SOUPS 148975 WITH SCORE 149172.071
AT ITER 3588 NEW BEST:: SOT 412534 SOS 197008 HAS SOPS 197008 HAS SOUS 148812 HAS SOUPS 148812 WITH SCORE 149009.008
AT ITER 3599 NEW BEST:: SOT 412521 SOS 196982 HAS SOPS 196982 HAS SOUS 148799 HAS SOUPS 148799 WITH SCORE 148995.982
AT ITER 3603 NEW BEST:: SOT 412510 SOS 196980 HAS SOPS 196980 HAS SOUS 148788 HAS SOUPS 148788 WITH SCORE 148984.98
AT ITER 3628 NEW BEST:: SOT 412488 SOS 196949 HAS SOPS 196949 HAS SOUS 148757 HAS SOUPS 148757 WITH SCORE 148953.949
AT ITER 3642 NEW BEST:: SOT 412480 SOS 196941 HAS SOPS 196941 HAS SOUS 148741 HAS SOUPS 148741 WITH SCORE 148937.941
AT ITER 3643 NEW BEST:: SOT 412587 SOS 196896 HAS SOPS 196896 HAS SOUS 148696 HAS SOUPS 148696 WITH SCORE 148892.896
AT ITER 3647 NEW BEST:: SOT 412577 SOS 196849 HAS SOPS 196849 HAS SOUS 148649 HAS SOUPS 148649 WITH SCORE 148845.849
AT ITER 3652 NEW BEST:: SOT 412588 SOS 196938 HAS SOPS 196938 HAS SOUS 148589 HAS SOUPS 148589 WITH SCORE 148785.938
AT ITER 3685 NEW BEST:: SOT 412588 SOS 196931 HAS SOPS 196931 HAS SOUS 148589 HAS SOUPS 148589 WITH SCORE 148785.931
AT ITER 3687 NEW BEST:: SOT 412599 SOS 196892 HAS SOPS 196892 HAS SOUS 148543 HAS SOUPS 148543 WITH SCORE 148739.892
AT ITER 3708 NEW BEST:: SOT 412598 SOS 196890 HAS SOPS 196890 HAS SOUS 148542 HAS SOUPS 148542 WITH SCORE 148738.89
AT ITER 3735 NEW BEST:: SOT 412661 SOS 196980 HAS SOPS 196980 HAS SOUS 148523 HAS SOUPS 148523 WITH SCORE 148719.98
AT ITER 3742 NEW BEST:: SOT 412651 SOS 196970 HAS SOPS 196970 HAS SOUS 148513 HAS SOUPS 148513 WITH SCORE 148709.97
AT ITER 3743 NEW BEST:: SOT 412649 SOS 196968 HAS SOPS 196968 HAS SOUS 148511 HAS SOUPS 148511 WITH SCORE 148707.968
AT ITER 3783 NEW BEST:: SOT 412618 SOS 196947 HAS SOPS 196947 HAS SOUS 148511 HAS SOUPS 148511 WITH SCORE 148707.947
AT ITER 3784 NEW BEST:: SOT 412577 SOS 196906 HAS SOPS 196906 HAS SOUS 148470 HAS SOUPS 148470 WITH SCORE 148666.906
AT ITER 3827 NEW BEST:: SOT 412526 SOS 196781 HAS SOPS 196781 HAS SOUS 148419 HAS SOUPS 148419 WITH SCORE 148615.781
AT ITER 3836 NEW BEST:: SOT 412568 SOS 196682 HAS SOPS 196682 HAS SOUS 148407 HAS SOUPS 148407 WITH SCORE 148603.682
AT ITER 3853 NEW BEST:: SOT 412563 SOS 196677 HAS SOPS 196677 HAS SOUS 148397 HAS SOUPS 148397 WITH SCORE 148593.677
AT ITER 3867 NEW BEST:: SOT 412548 SOS 196667 HAS SOPS 196667 HAS SOUS 148387 HAS SOUPS 148387 WITH SCORE 148583.667
AT ITER 3873 NEW BEST:: SOT 412507 SOS 196626 HAS SOPS 196626 HAS SOUS 148323 HAS SOUPS 148323 WITH SCORE 148519.626
AT ITER 3883 NEW BEST:: SOT 412493 SOS 196593 HAS SOPS 196593 HAS SOUS 148309 HAS SOUPS 148309 WITH SCORE 148505.593
AT ITER 3894 NEW BEST:: SOT 412447 SOS 196556 HAS SOPS 196556 HAS SOUS 148208 HAS SOUPS 148208 WITH SCORE 148404.556
AT ITER 3896 NEW BEST:: SOT 412397 SOS 196456 HAS SOPS 196456 HAS SOUS 148108 HAS SOUPS 148108 WITH SCORE 148304.456
AT ITER 3908 NEW BEST:: SOT 412397 SOS 196456 HAS SOPS 196456 HAS SOUS 148031 HAS SOUPS 148031 WITH SCORE 148227.456
AT ITER 3917 NEW BEST:: SOT 412372 SOS 196431 HAS SOPS 196431 HAS SOUS 148006 HAS SOUPS 148006 WITH SCORE 148202.431
AT ITER 3935 NEW BEST:: SOT 412342 SOS 196383 HAS SOPS 196383 HAS SOUS 147946 HAS SOUPS 147946 WITH SCORE 148142.383
AT ITER 3949 NEW BEST:: SOT 412342 SOS 196385 HAS SOPS 196385 HAS SOUS 147890 HAS SOUPS 147890 WITH SCORE 148086.385
AT ITER 3950 NEW BEST:: SOT 412325 SOS 196045 HAS SOPS 196045 HAS SOUS 147856 HAS SOUPS 147856 WITH SCORE 148052.045
AT ITER 3957 NEW BEST:: SOT 412309 SOS 196029 HAS SOPS 196029 HAS SOUS 147810 HAS SOUPS 147810 WITH SCORE 148006.029
AT ITER 3964 NEW BEST:: SOT 412309 SOS 195905 HAS SOPS 195905 HAS SOUS 147754 HAS SOUPS 147754 WITH SCORE 147949.905
AT ITER 3965 NEW BEST:: SOT 412276 SOS 195752 HAS SOPS 195752 HAS SOUS 147653 HAS SOUPS 147653 WITH SCORE 147848.752
AT ITER 3974 NEW BEST:: SOT 412276 SOS 195605 HAS SOPS 195605 HAS SOUS 147616 HAS SOUPS 147616 WITH SCORE 147811.605
AT ITER 3989 NEW BEST:: SOT 412276 SOS 195605 HAS SOPS 195605 HAS SOUS 147597 HAS SOUPS 147597 WITH SCORE 147792.605
AT ITER 3990 NEW BEST:: SOT 412225 SOS 195452 HAS SOPS 195452 HAS SOUS 147495 HAS SOUPS 147495 WITH SCORE 147690.452
AT ITER 3997 NEW BEST:: SOT 412225 SOS 195441 HAS SOPS 195441 HAS SOUS 147495 HAS SOUPS 147495 WITH SCORE 147690.441
AT ITER 4032 NEW BEST:: SOT 412225 SOS 195441 HAS SOPS 195441 HAS SOUS 147475 HAS SOUPS 147475 WITH SCORE 147670.441
AT ITER 4076 NEW BEST:: SOT 412215 SOS 195359 HAS SOPS 195359 HAS SOUS 147393 HAS SOUPS 147393 WITH SCORE 147588.359
AT ITER 4085 NEW BEST:: SOT 412215 SOS 195359 HAS SOPS 195359 HAS SOUS 147321 HAS SOUPS 147321 WITH SCORE 147516.359
AT ITER 4089 NEW BEST:: SOT 412203 SOS 195347 HAS SOPS 195347 HAS SOUS 147309 HAS SOUPS 147309 WITH SCORE 147504.347
AT ITER 4103 NEW BEST:: SOT 412006 SOS 195017 HAS SOPS 195017 HAS SOUS 147185 HAS SOUPS 147185 WITH SCORE 147380.017
AT ITER 4113 NEW BEST:: SOT 411650 SOS 195017 HAS SOPS 195017 HAS SOUS 147051 HAS SOUPS 147051 WITH SCORE 147246.017
AT ITER 4146 NEW BEST:: SOT 411588 SOS 194960 HAS SOPS 194960 HAS SOUS 146932 HAS SOUPS 146932 WITH SCORE 147126.96
AT ITER 4152 NEW BEST:: SOT 411588 SOS 194960 HAS SOPS 194960 HAS SOUS 146894 HAS SOUPS 146894 WITH SCORE 147088.96
AT ITER 4165 NEW BEST:: SOT 411588 SOS 194960 HAS SOPS 194960 HAS SOUS 146871 HAS SOUPS 146871 WITH SCORE 147065.96
AT ITER 4167 NEW BEST:: SOT 411541 SOS 194834 HAS SOPS 194834 HAS SOUS 146818 HAS SOUPS 146818 WITH SCORE 147012.834
AT ITER 4170 NEW BEST:: SOT 411502 SOS 194795 HAS SOPS 194795 HAS SOUS 146779 HAS SOUPS 146779 WITH SCORE 146973.795
AT ITER 4188 NEW BEST:: SOT 411495 SOS 194781 HAS SOPS 194781 HAS SOUS 146765 HAS SOUPS 146765 WITH SCORE 146959.781
AT ITER 4207 NEW BEST:: SOT 411494 SOS 194779 HAS SOPS 194779 HAS SOUS 146762 HAS SOUPS 146762 WITH SCORE 146956.779
AT ITER 4212 NEW BEST:: SOT 411463 SOS 194764 HAS SOPS 194764 HAS SOUS 146747 HAS SOUPS 146747 WITH SCORE 146941.764
AT ITER 4219 NEW BEST:: SOT 411401 SOS 194702 HAS SOPS 194702 HAS SOUS 146733 HAS SOUPS 146733 WITH SCORE 146927.702
AT ITER 4231 NEW BEST:: SOT 411410 SOS 194397 HAS SOPS 194397 HAS SOUS 146716 HAS SOUPS 146716 WITH SCORE 146910.397
AT ITER 4264 NEW BEST:: SOT 411387 SOS 194374 HAS SOPS 194374 HAS SOUS 146693 HAS SOUPS 146693 WITH SCORE 146887.374
AT ITER 4280 NEW BEST:: SOT 411385 SOS 194399 HAS SOPS 194399 HAS SOUS 146689 HAS SOUPS 146689 WITH SCORE 146883.399
AT ITER 4288 NEW BEST:: SOT 411296 SOS 194313 HAS SOPS 194313 HAS SOUS 146601 HAS SOUPS 146601 WITH SCORE 146795.313
AT ITER 4290 NEW BEST:: SOT 411251 SOS 194343 HAS SOPS 194343 HAS SOUS 146593 HAS SOUPS 146593 WITH SCORE 146787.343
AT ITER 4298 NEW BEST:: SOT 411251 SOS 194300 HAS SOPS 194300 HAS SOUS 146566 HAS SOUPS 146566 WITH SCORE 146760.3
AT ITER 4315 NEW BEST:: SOT 411207 SOS 194212 HAS SOPS 194212 HAS SOUS 146527 HAS SOUPS 146527 WITH SCORE 146721.212
AT ITER 4320 NEW BEST:: SOT 411229 SOS 194200 HAS SOPS 194200 HAS SOUS 146515 HAS SOUPS 146515 WITH SCORE 146709.2
AT ITER 4331 NEW BEST:: SOT 411113 SOS 194109 HAS SOPS 194109 HAS SOUS 146399 HAS SOUPS 146399 WITH SCORE 146593.109
AT ITER 4336 NEW BEST:: SOT 411098 SOS 194539 HAS SOPS 194539 HAS SOUS 146384 HAS SOUPS 146384 WITH SCORE 146578.539
AT ITER 4341 NEW BEST:: SOT 411086 SOS 194527 HAS SOPS 194527 HAS SOUS 146369 HAS SOUPS 146369 WITH SCORE 146563.527
AT ITER 4342 NEW BEST:: SOT 411091 SOS 194532 HAS SOPS 194532 HAS SOUS 146354 HAS SOUPS 146354 WITH SCORE 146548.532
AT ITER 4354 NEW BEST:: SOT 411106 SOS 194547 HAS SOPS 194547 HAS SOUS 146342 HAS SOUPS 146342 WITH SCORE 146536.547
AT ITER 4359 NEW BEST:: SOT 411137 SOS 194384 HAS SOPS 194384 HAS SOUS 146210 HAS SOUPS 146210 WITH SCORE 146404.384
AT ITER 4388 NEW BEST:: SOT 411052 SOS 194299 HAS SOPS 194299 HAS SOUS 146040 HAS SOUPS 146040 WITH SCORE 146234.299
AT ITER 4390 NEW BEST:: SOT 411052 SOS 194183 HAS SOPS 194183 HAS SOUS 146040 HAS SOUPS 146040 WITH SCORE 146234.183
AT ITER 4398 NEW BEST:: SOT 411042 SOS 194173 HAS SOPS 194173 HAS SOUS 146030 HAS SOUPS 146030 WITH SCORE 146224.173
AT ITER 4400 NEW BEST:: SOT 411017 SOS 194148 HAS SOPS 194148 HAS SOUS 146005 HAS SOUPS 146005 WITH SCORE 146199.148
AT ITER 4459 NEW BEST:: SOT 410851 SOS 194198 HAS SOPS 194198 HAS SOUS 145839 HAS SOUPS 145839 WITH SCORE 146033.198
AT ITER 4463 NEW BEST:: SOT 410781 SOS 194116 HAS SOPS 194116 HAS SOUS 145699 HAS SOUPS 145699 WITH SCORE 145893.116
AT ITER 4491 NEW BEST:: SOT 410781 SOS 194116 HAS SOPS 194116 HAS SOUS 145675 HAS SOUPS 145675 WITH SCORE 145869.116
AT ITER 4506 NEW BEST:: SOT 410779 SOS 194346 HAS SOPS 194346 HAS SOUS 145673 HAS SOUPS 145673 WITH SCORE 145867.346
AT ITER 4510 NEW BEST:: SOT 410740 SOS 194268 HAS SOPS 194268 HAS SOUS 145634 HAS SOUPS 145634 WITH SCORE 145828.268
AT ITER 4512 NEW BEST:: SOT 410793 SOS 194233 HAS SOPS 194233 HAS SOUS 145602 HAS SOUPS 145602 WITH SCORE 145796.233
AT ITER 4513 NEW BEST:: SOT 410760 SOS 194231 HAS SOPS 194231 HAS SOUS 145536 HAS SOUPS 145536 WITH SCORE 145730.231
AT ITER 4515 NEW BEST:: SOT 410830 SOS 194301 HAS SOPS 194301 HAS SOUS 145483 HAS SOUPS 145483 WITH SCORE 145677.301
AT ITER 4538 NEW BEST:: SOT 410830 SOS 194282 HAS SOPS 194282 HAS SOUS 145483 HAS SOUPS 145483 WITH SCORE 145677.282
AT ITER 4550 NEW BEST:: SOT 410798 SOS 194218 HAS SOPS 194218 HAS SOUS 145419 HAS SOUPS 145419 WITH SCORE 145613.218
AT ITER 4554 NEW BEST:: SOT 410664 SOS 194084 HAS SOPS 194084 HAS SOUS 145285 HAS SOUPS 145285 WITH SCORE 145479.084
AT ITER 4574 NEW BEST:: SOT 410661 SOS 194361 HAS SOPS 194361 HAS SOUS 145282 HAS SOUPS 145282 WITH SCORE 145476.361
AT ITER 4655 NEW BEST:: SOT 410646 SOS 194346 HAS SOPS 194346 HAS SOUS 145267 HAS SOUPS 145267 WITH SCORE 145461.346
AT ITER 4664 NEW BEST:: SOT 410646 SOS 193935 HAS SOPS 193935 HAS SOUS 145199 HAS SOUPS 145199 WITH SCORE 145392.935
AT ITER 4671 NEW BEST:: SOT 410557 SOS 193928 HAS SOPS 193928 HAS SOUS 145137 HAS SOUPS 145137 WITH SCORE 145330.928
AT ITER 4675 NEW BEST:: SOT 410566 SOS 193937 HAS SOPS 193937 HAS SOUS 145127 HAS SOUPS 145127 WITH SCORE 145320.937
AT ITER 4676 NEW BEST:: SOT 410555 SOS 193926 HAS SOPS 193926 HAS SOUS 145116 HAS SOUPS 145116 WITH SCORE 145309.926
AT ITER 4678 NEW BEST:: SOT 410513 SOS 193891 HAS SOPS 193891 HAS SOUS 145032 HAS SOUPS 145032 WITH SCORE 145225.891
AT ITER 4681 NEW BEST:: SOT 410507 SOS 193885 HAS SOPS 193885 HAS SOUS 145026 HAS SOUPS 145026 WITH SCORE 145219.885
AT ITER 4691 NEW BEST:: SOT 410471 SOS 193813 HAS SOPS 193813 HAS SOUS 144990 HAS SOUPS 144990 WITH SCORE 145183.813
AT ITER 4694 NEW BEST:: SOT 410398 SOS 193740 HAS SOPS 193740 HAS SOUS 144844 HAS SOUPS 144844 WITH SCORE 145037.74
AT ITER 4708 NEW BEST:: SOT 410398 SOS 193714 HAS SOPS 193714 HAS SOUS 144844 HAS SOUPS 144844 WITH SCORE 145037.714
AT ITER 4717 NEW BEST:: SOT 410344 SOS 193726 HAS SOPS 193726 HAS SOUS 144802 HAS SOUPS 144802 WITH SCORE 144995.726
AT ITER 4759 NEW BEST:: SOT 410339 SOS 193721 HAS SOPS 193721 HAS SOUS 144797 HAS SOUPS 144797 WITH SCORE 144990.721
AT ITER 4773 NEW BEST:: SOT 410324 SOS 193975 HAS SOPS 193975 HAS SOUS 144782 HAS SOUPS 144782 WITH SCORE 144975.975
AT ITER 4780 NEW BEST:: SOT 410308 SOS 193959 HAS SOPS 193959 HAS SOUS 144750 HAS SOUPS 144750 WITH SCORE 144943.959
AT ITER 4808 NEW BEST:: SOT 410304 SOS 193956 HAS SOPS 193956 HAS SOUS 144742 HAS SOUPS 144742 WITH SCORE 144935.956
AT ITER 4810 NEW BEST:: SOT 410153 SOS 193802 HAS SOPS 193802 HAS SOUS 144591 HAS SOUPS 144591 WITH SCORE 144784.802
AT ITER 4824 NEW BEST:: SOT 410135 SOS 193598 HAS SOPS 193598 HAS SOUS 144576 HAS SOUPS 144576 WITH SCORE 144769.598
AT ITER 4830 NEW BEST:: SOT 410161 SOS 193620 HAS SOPS 193620 HAS SOUS 144560 HAS SOUPS 144560 WITH SCORE 144753.62
AT ITER 4836 NEW BEST:: SOT 410135 SOS 193553 HAS SOPS 193553 HAS SOUS 144508 HAS SOUPS 144508 WITH SCORE 144701.553
AT ITER 4837 NEW BEST:: SOT 410135 SOS 193239 HAS SOPS 193239 HAS SOUS 144194 HAS SOUPS 144194 WITH SCORE 144387.239
AT ITER 4841 NEW BEST:: SOT 410135 SOS 193058 HAS SOPS 193058 HAS SOUS 144186 HAS SOUPS 144186 WITH SCORE 144379.058
AT ITER 4867 NEW BEST:: SOT 410138 SOS 193064 HAS SOPS 193064 HAS SOUS 144151 HAS SOUPS 144151 WITH SCORE 144344.064
AT ITER 4883 NEW BEST:: SOT 410135 SOS 193058 HAS SOPS 193058 HAS SOUS 144145 HAS SOUPS 144145 WITH SCORE 144338.058
AT ITER 4888 NEW BEST:: SOT 410131 SOS 193289 HAS SOPS 193289 HAS SOUS 144137 HAS SOUPS 144137 WITH SCORE 144330.289
AT ITER 4896 NEW BEST:: SOT 410088 SOS 193246 HAS SOPS 193246 HAS SOUS 144137 HAS SOUPS 144137 WITH SCORE 144330.246
AT ITER 4909 NEW BEST:: SOT 410077 SOS 193235 HAS SOPS 193235 HAS SOUS 144137 HAS SOUPS 144137 WITH SCORE 144330.235
AT ITER 4913 NEW BEST:: SOT 410164 SOS 193266 HAS SOPS 193266 HAS SOUS 144081 HAS SOUPS 144081 WITH SCORE 144274.266
AT ITER 4918 NEW BEST:: SOT 410149 SOS 193266 HAS SOPS 193266 HAS SOUS 144051 HAS SOUPS 144051 WITH SCORE 144244.266
AT ITER 4922 NEW BEST:: SOT 410134 SOS 193251 HAS SOPS 193251 HAS SOUS 144036 HAS SOUPS 144036 WITH SCORE 144229.251
AT ITER 4946 NEW BEST:: SOT 410083 SOS 193215 HAS SOPS 193215 HAS SOUS 144000 HAS SOUPS 144000 WITH SCORE 144193.215
AT ITER 4966 NEW BEST:: SOT 410072 SOS 193204 HAS SOPS 193204 HAS SOUS 143964 HAS SOUPS 143964 WITH SCORE 144157.204
AT ITER 4968 NEW BEST:: SOT 410044 SOS 193221 HAS SOPS 193221 HAS SOUS 143936 HAS SOUPS 143936 WITH SCORE 144129.221
AT ITER 4978 NEW BEST:: SOT 410041 SOS 193215 HAS SOPS 193215 HAS SOUS 143930 HAS SOUPS 143930 WITH SCORE 144123.215
AT ITER 4987 NEW BEST:: SOT 410041 SOS 193215 HAS SOPS 193215 HAS SOUS 143900 HAS SOUPS 143900 WITH SCORE 144093.215
AT ITER 4991 NEW BEST:: SOT 410114 SOS 193220 HAS SOPS 193220 HAS SOUS 143788 HAS SOUPS 143788 WITH SCORE 143981.22
AT ITER 5030 NEW BEST:: SOT 410168 SOS 193266 HAS SOPS 193266 HAS SOUS 143780 HAS SOUPS 143780 WITH SCORE 143973.266
AT ITER 5036 NEW BEST:: SOT 410168 SOS 193266 HAS SOPS 193266 HAS SOUS 143764 HAS SOUPS 143764 WITH SCORE 143957.266
AT ITER 5039 NEW BEST:: SOT 410128 SOS 193227 HAS SOPS 193227 HAS SOUS 143725 HAS SOUPS 143725 WITH SCORE 143918.227
AT ITER 5043 NEW BEST:: SOT 410072 SOS 193295 HAS SOPS 193295 HAS SOUS 143669 HAS SOUPS 143669 WITH SCORE 143862.295
AT ITER 5058 NEW BEST:: SOT 410066 SOS 193295 HAS SOPS 193295 HAS SOUS 143663 HAS SOUPS 143663 WITH SCORE 143856.295
AT ITER 5077 NEW BEST:: SOT 410322 SOS 192679 HAS SOPS 192679 HAS SOUS 143606 HAS SOUPS 143606 WITH SCORE 143798.679
AT ITER 5081 NEW BEST:: SOT 410322 SOS 192587 HAS SOPS 192587 HAS SOUS 143606 HAS SOUPS 143606 WITH SCORE 143798.587
AT ITER 5090 NEW BEST:: SOT 410163 SOS 192428 HAS SOPS 192428 HAS SOUS 143447 HAS SOUPS 143447 WITH SCORE 143639.428
AT ITER 5094 NEW BEST:: SOT 410174 SOS 192509 HAS SOPS 192509 HAS SOUS 143363 HAS SOUPS 143363 WITH SCORE 143555.509
AT ITER 5096 NEW BEST:: SOT 410164 SOS 192499 HAS SOPS 192499 HAS SOUS 143353 HAS SOUPS 143353 WITH SCORE 143545.499
AT ITER 5109 NEW BEST:: SOT 410140 SOS 192559 HAS SOPS 192559 HAS SOUS 143350 HAS SOUPS 143350 WITH SCORE 143542.559
AT ITER 5116 NEW BEST:: SOT 410140 SOS 192559 HAS SOPS 192559 HAS SOUS 143171 HAS SOUPS 143171 WITH SCORE 143363.559
AT ITER 5117 NEW BEST:: SOT 410198 SOS 192499 HAS SOPS 192499 HAS SOUS 143153 HAS SOUPS 143153 WITH SCORE 143345.499
AT ITER 5127 NEW BEST:: SOT 410198 SOS 192442 HAS SOPS 192442 HAS SOUS 143153 HAS SOUPS 143153 WITH SCORE 143345.442
AT ITER 5131 NEW BEST:: SOT 410182 SOS 192426 HAS SOPS 192426 HAS SOUS 143137 HAS SOUPS 143137 WITH SCORE 143329.426
AT ITER 5137 NEW BEST:: SOT 410207 SOS 192451 HAS SOPS 192451 HAS SOUS 143091 HAS SOUPS 143091 WITH SCORE 143283.451
AT ITER 5148 NEW BEST:: SOT 410176 SOS 192451 HAS SOPS 192451 HAS SOUS 143060 HAS SOUPS 143060 WITH SCORE 143252.451
AT ITER 5150 NEW BEST:: SOT 410163 SOS 192473 HAS SOPS 192473 HAS SOUS 142930 HAS SOUPS 142930 WITH SCORE 143122.473
AT ITER 5160 NEW BEST:: SOT 410042 SOS 192429 HAS SOPS 192429 HAS SOUS 142884 HAS SOUPS 142884 WITH SCORE 143076.429
AT ITER 5169 NEW BEST:: SOT 410042 SOS 192429 HAS SOPS 192429 HAS SOUS 142882 HAS SOUPS 142882 WITH SCORE 143074.429
AT ITER 5174 NEW BEST:: SOT 410042 SOS 192388 HAS SOPS 192388 HAS SOUS 142882 HAS SOUPS 142882 WITH SCORE 143074.388
AT ITER 5175 NEW BEST:: SOT 410042 SOS 192288 HAS SOPS 192288 HAS SOUS 142882 HAS SOUPS 142882 WITH SCORE 143074.288
AT ITER 5212 NEW BEST:: SOT 409996 SOS 192242 HAS SOPS 192242 HAS SOUS 142836 HAS SOUPS 142836 WITH SCORE 143028.242
AT ITER 5217 NEW BEST:: SOT 409987 SOS 192066 HAS SOPS 192066 HAS SOUS 142818 HAS SOUPS 142818 WITH SCORE 143010.066
AT ITER 5229 NEW BEST:: SOT 409979 SOS 192022 HAS SOPS 192022 HAS SOUS 142774 HAS SOUPS 142774 WITH SCORE 142966.022
AT ITER 5235 NEW BEST:: SOT 409979 SOS 192022 HAS SOPS 192022 HAS SOUS 142752 HAS SOUPS 142752 WITH SCORE 142944.022
AT ITER 5237 NEW BEST:: SOT 409606 SOS 191649 HAS SOPS 191649 HAS SOUS 142666 HAS SOUPS 142666 WITH SCORE 142857.649
AT ITER 5253 NEW BEST:: SOT 409478 SOS 191735 HAS SOPS 191735 HAS SOUS 142594 HAS SOUPS 142594 WITH SCORE 142785.735
AT ITER 5279 NEW BEST:: SOT 409478 SOS 191705 HAS SOPS 191705 HAS SOUS 142564 HAS SOUPS 142564 WITH SCORE 142755.705
AT ITER 5281 NEW BEST:: SOT 409466 SOS 191748 HAS SOPS 191748 HAS SOUS 142540 HAS SOUPS 142540 WITH SCORE 142731.748
AT ITER 5306 NEW BEST:: SOT 409438 SOS 191770 HAS SOPS 191770 HAS SOUS 142484 HAS SOUPS 142484 WITH SCORE 142675.77
AT ITER 5317 NEW BEST:: SOT 409416 SOS 191947 HAS SOPS 191947 HAS SOUS 142440 HAS SOUPS 142440 WITH SCORE 142631.947
AT ITER 5330 NEW BEST:: SOT 409416 SOS 191929 HAS SOPS 191929 HAS SOUS 142440 HAS SOUPS 142440 WITH SCORE 142631.929
AT ITER 5331 NEW BEST:: SOT 409385 SOS 191898 HAS SOPS 191898 HAS SOUS 142378 HAS SOUPS 142378 WITH SCORE 142569.898
AT ITER 5333 NEW BEST:: SOT 409379 SOS 191871 HAS SOPS 191871 HAS SOUS 142366 HAS SOUPS 142366 WITH SCORE 142557.871
AT ITER 5365 NEW BEST:: SOT 409381 SOS 191825 HAS SOPS 191825 HAS SOUS 142315 HAS SOUPS 142315 WITH SCORE 142506.825
AT ITER 5388 NEW BEST:: SOT 409263 SOS 191695 HAS SOPS 191695 HAS SOUS 142188 HAS SOUPS 142188 WITH SCORE 142379.695
AT ITER 5405 NEW BEST:: SOT 409181 SOS 191454 HAS SOPS 191454 HAS SOUS 142024 HAS SOUPS 142024 WITH SCORE 142215.454
AT ITER 5415 NEW BEST:: SOT 409163 SOS 191676 HAS SOPS 191676 HAS SOUS 142006 HAS SOUPS 142006 WITH SCORE 142197.676
AT ITER 5419 NEW BEST:: SOT 409093 SOS 191606 HAS SOPS 191606 HAS SOUS 141935 HAS SOUPS 141935 WITH SCORE 142126.606
AT ITER 5437 NEW BEST:: SOT 409169 SOS 191640 HAS SOPS 191640 HAS SOUS 141930 HAS SOUPS 141930 WITH SCORE 142121.64
AT ITER 5441 NEW BEST:: SOT 409164 SOS 191562 HAS SOPS 191562 HAS SOUS 141852 HAS SOUPS 141852 WITH SCORE 142043.562
AT ITER 5446 NEW BEST:: SOT 409070 SOS 193466 HAS SOPS 193466 HAS SOUS 141799 HAS SOUPS 141799 WITH SCORE 141992.466
AT ITER 5456 NEW BEST:: SOT 409064 SOS 193495 HAS SOPS 193495 HAS SOUS 141793 HAS SOUPS 141793 WITH SCORE 141986.495
AT ITER 5459 NEW BEST:: SOT 408895 SOS 193345 HAS SOPS 193345 HAS SOUS 141643 HAS SOUPS 141643 WITH SCORE 141836.345
AT ITER 5469 NEW BEST:: SOT 408047 SOS 192806 HAS SOPS 192806 HAS SOUS 141230 HAS SOUPS 141230 WITH SCORE 141422.806
AT ITER 5480 NEW BEST:: SOT 408022 SOS 192781 HAS SOPS 192781 HAS SOUS 141200 HAS SOUPS 141200 WITH SCORE 141392.781
AT ITER 5488 NEW BEST:: SOT 408010 SOS 192992 HAS SOPS 192992 HAS SOUS 141176 HAS SOUPS 141176 WITH SCORE 141368.992
AT ITER 5490 NEW BEST:: SOT 408001 SOS 192983 HAS SOPS 192983 HAS SOUS 141167 HAS SOUPS 141167 WITH SCORE 141359.983
AT ITER 5492 NEW BEST:: SOT 407995 SOS 192977 HAS SOPS 192977 HAS SOUS 141161 HAS SOUPS 141161 WITH SCORE 141353.977
AT ITER 5498 NEW BEST:: SOT 407947 SOS 193111 HAS SOPS 193111 HAS SOUS 141113 HAS SOUPS 141113 WITH SCORE 141306.111
AT ITER 5556 NEW BEST:: SOT 407947 SOS 193111 HAS SOPS 193111 HAS SOUS 141092 HAS SOUPS 141092 WITH SCORE 141285.111
AT ITER 5566 NEW BEST:: SOT 407905 SOS 193027 HAS SOPS 193027 HAS SOUS 141050 HAS SOUPS 141050 WITH SCORE 141243.027
AT ITER 5575 NEW BEST:: SOT 407905 SOS 192970 HAS SOPS 192970 HAS SOUS 141050 HAS SOUPS 141050 WITH SCORE 141242.97
AT ITER 5577 NEW BEST:: SOT 407856 SOS 192921 HAS SOPS 192921 HAS SOUS 141050 HAS SOUPS 141050 WITH SCORE 141242.921
AT ITER 5582 NEW BEST:: SOT 407821 SOS 192953 HAS SOPS 192953 HAS SOUS 140980 HAS SOUPS 140980 WITH SCORE 141172.953
AT ITER 5591 NEW BEST:: SOT 407819 SOS 192869 HAS SOPS 192869 HAS SOUS 140933 HAS SOUPS 140933 WITH SCORE 141125.869
AT ITER 5592 NEW BEST:: SOT 407819 SOS 192863 HAS SOPS 192863 HAS SOUS 140927 HAS SOUPS 140927 WITH SCORE 141119.863
AT ITER 5606 NEW BEST:: SOT 407815 SOS 192855 HAS SOPS 192855 HAS SOUS 140919 HAS SOUPS 140919 WITH SCORE 141111.855
AT ITER 5610 NEW BEST:: SOT 407640 SOS 193242 HAS SOPS 193242 HAS SOUS 140865 HAS SOUPS 140865 WITH SCORE 141058.242
AT ITER 5622 NEW BEST:: SOT 407640 SOS 193242 HAS SOPS 193242 HAS SOUS 140857 HAS SOUPS 140857 WITH SCORE 141050.242
AT ITER 5644 NEW BEST:: SOT 407640 SOS 193208 HAS SOPS 193208 HAS SOUS 140857 HAS SOUPS 140857 WITH SCORE 141050.208
AT ITER 5657 NEW BEST:: SOT 407636 SOS 193204 HAS SOPS 193204 HAS SOUS 140849 HAS SOUPS 140849 WITH SCORE 141042.204
AT ITER 5699 NEW BEST:: SOT 407636 SOS 193200 HAS SOPS 193200 HAS SOUS 140849 HAS SOUPS 140849 WITH SCORE 141042.2
AT ITER 5702 NEW BEST:: SOT 407563 SOS 193218 HAS SOPS 193218 HAS SOUS 140794 HAS SOUPS 140794 WITH SCORE 140987.218
AT ITER 5707 NEW BEST:: SOT 407563 SOS 192706 HAS SOPS 192706 HAS SOUS 140794 HAS SOUPS 140794 WITH SCORE 140986.706
AT ITER 5728 NEW BEST:: SOT 407560 SOS 192695 HAS SOPS 192695 HAS SOUS 140783 HAS SOUPS 140783 WITH SCORE 140975.695
AT ITER 5747 NEW BEST:: SOT 407540 SOS 192515 HAS SOPS 192515 HAS SOUS 140763 HAS SOUPS 140763 WITH SCORE 140955.515
AT ITER 5761 NEW BEST:: SOT 407565 SOS 191557 HAS SOPS 191557 HAS SOUS 140762 HAS SOUPS 140762 WITH SCORE 140953.557
AT ITER 5779 NEW BEST:: SOT 407608 SOS 191599 HAS SOPS 191599 HAS SOUS 140744 HAS SOUPS 140744 WITH SCORE 140935.599
AT ITER 5794 NEW BEST:: SOT 407608 SOS 191599 HAS SOPS 191599 HAS SOUS 140741 HAS SOUPS 140741 WITH SCORE 140932.599
AT ITER 5809 NEW BEST:: SOT 407608 SOS 191598 HAS SOPS 191598 HAS SOUS 140741 HAS SOUPS 140741 WITH SCORE 140932.598
AT ITER 5810 NEW BEST:: SOT 407607 SOS 191597 HAS SOPS 191597 HAS SOUS 140740 HAS SOUPS 140740 WITH SCORE 140931.597
AT ITER 5814 NEW BEST:: SOT 407607 SOS 191564 HAS SOPS 191564 HAS SOUS 140740 HAS SOUPS 140740 WITH SCORE 140931.564
AT ITER 5824 NEW BEST:: SOT 407544 SOS 191492 HAS SOPS 191492 HAS SOUS 140668 HAS SOUPS 140668 WITH SCORE 140859.492
AT ITER 5831 NEW BEST:: SOT 407544 SOS 191366 HAS SOPS 191366 HAS SOUS 140668 HAS SOUPS 140668 WITH SCORE 140859.366
AT ITER 5835 NEW BEST:: SOT 407552 SOS 191109 HAS SOPS 191109 HAS SOUS 140411 HAS SOUPS 140411 WITH SCORE 140602.109
AT ITER 5853 NEW BEST:: SOT 407551 SOS 191195 HAS SOPS 191195 HAS SOUS 140409 HAS SOUPS 140409 WITH SCORE 140600.195
AT ITER 5862 NEW BEST:: SOT 407375 SOS 191043 HAS SOPS 191043 HAS SOUS 140300 HAS SOUPS 140300 WITH SCORE 140491.043
AT ITER 5865 NEW BEST:: SOT 407066 SOS 190734 HAS SOPS 190734 HAS SOUS 140189 HAS SOUPS 140189 WITH SCORE 140379.734
AT ITER 5881 NEW BEST:: SOT 407066 SOS 191604 HAS SOPS 191604 HAS SOUS 140135 HAS SOUPS 140135 WITH SCORE 140326.604
AT ITER 5882 NEW BEST:: SOT 407042 SOS 191580 HAS SOPS 191580 HAS SOUS 140111 HAS SOUPS 140111 WITH SCORE 140302.58
AT ITER 5895 NEW BEST:: SOT 407038 SOS 191576 HAS SOPS 191576 HAS SOUS 140103 HAS SOUPS 140103 WITH SCORE 140294.576
AT ITER 5902 NEW BEST:: SOT 406987 SOS 191481 HAS SOPS 191481 HAS SOUS 140001 HAS SOUPS 140001 WITH SCORE 140192.481
AT ITER 5913 NEW BEST:: SOT 406987 SOS 191481 HAS SOPS 191481 HAS SOUS 139961 HAS SOUPS 139961 WITH SCORE 140152.481
AT ITER 5919 NEW BEST:: SOT 406876 SOS 191445 HAS SOPS 191445 HAS SOUS 139832 HAS SOUPS 139832 WITH SCORE 140023.445
AT ITER 5926 NEW BEST:: SOT 406876 SOS 191435 HAS SOPS 191435 HAS SOUS 139778 HAS SOUPS 139778 WITH SCORE 139969.435
AT ITER 5954 NEW BEST:: SOT 406819 SOS 191736 HAS SOPS 191736 HAS SOUS 139775 HAS SOUPS 139775 WITH SCORE 139966.736
AT ITER 5966 NEW BEST:: SOT 406733 SOS 191650 HAS SOPS 191650 HAS SOUS 139713 HAS SOUPS 139713 WITH SCORE 139904.65
AT ITER 5969 NEW BEST:: SOT 406660 SOS 191398 HAS SOPS 191398 HAS SOUS 139598 HAS SOUPS 139598 WITH SCORE 139789.398
AT ITER 5981 NEW BEST:: SOT 406376 SOS 191400 HAS SOPS 191400 HAS SOUS 139443 HAS SOUPS 139443 WITH SCORE 139634.4
AT ITER 6001 NEW BEST:: SOT 406287 SOS 191418 HAS SOPS 191418 HAS SOUS 139395 HAS SOUPS 139395 WITH SCORE 139586.418
AT ITER 6014 NEW BEST:: SOT 406287 SOS 191397 HAS SOPS 191397 HAS SOUS 139395 HAS SOUPS 139395 WITH SCORE 139586.397
AT ITER 6024 NEW BEST:: SOT 406269 SOS 191379 HAS SOPS 191379 HAS SOUS 139346 HAS SOUPS 139346 WITH SCORE 139537.379
AT ITER 6034 NEW BEST:: SOT 406226 SOS 191334 HAS SOPS 191334 HAS SOUS 139246 HAS SOUPS 139246 WITH SCORE 139437.334
AT ITER 6054 NEW BEST:: SOT 406200 SOS 191453 HAS SOPS 191453 HAS SOUS 139194 HAS SOUPS 139194 WITH SCORE 139385.453
AT ITER 6058 NEW BEST:: SOT 406181 SOS 191415 HAS SOPS 191415 HAS SOUS 139156 HAS SOUPS 139156 WITH SCORE 139347.415
AT ITER 6092 NEW BEST:: SOT 406172 SOS 191407 HAS SOPS 191407 HAS SOUS 139138 HAS SOUPS 139138 WITH SCORE 139329.407
AT ITER 6096 NEW BEST:: SOT 406167 SOS 191366 HAS SOPS 191366 HAS SOUS 139128 HAS SOUPS 139128 WITH SCORE 139319.366
AT ITER 6101 NEW BEST:: SOT 406212 SOS 191411 HAS SOPS 191411 HAS SOUS 139112 HAS SOUPS 139112 WITH SCORE 139303.411
AT ITER 6107 NEW BEST:: SOT 406212 SOS 191411 HAS SOPS 191411 HAS SOUS 139110 HAS SOUPS 139110 WITH SCORE 139301.411
AT ITER 6109 NEW BEST:: SOT 406053 SOS 191411 HAS SOPS 191411 HAS SOUS 139091 HAS SOUPS 139091 WITH SCORE 139282.411
AT ITER 6146 NEW BEST:: SOT 406025 SOS 191417 HAS SOPS 191417 HAS SOUS 139085 HAS SOUPS 139085 WITH SCORE 139276.417
AT ITER 6149 NEW BEST:: SOT 406030 SOS 191422 HAS SOPS 191422 HAS SOUS 139070 HAS SOUPS 139070 WITH SCORE 139261.422
AT ITER 6152 NEW BEST:: SOT 406025 SOS 191417 HAS SOPS 191417 HAS SOUS 139065 HAS SOUPS 139065 WITH SCORE 139256.417
AT ITER 6161 NEW BEST:: SOT 406009 SOS 191190 HAS SOPS 191190 HAS SOUS 139049 HAS SOUPS 139049 WITH SCORE 139240.19
AT ITER 6164 NEW BEST:: SOT 406009 SOS 191210 HAS SOPS 191210 HAS SOUS 139040 HAS SOUPS 139040 WITH SCORE 139231.21
AT ITER 6165 NEW BEST:: SOT 406009 SOS 191347 HAS SOPS 191347 HAS SOUS 139035 HAS SOUPS 139035 WITH SCORE 139226.347
AT ITER 6169 NEW BEST:: SOT 406009 SOS 191304 HAS SOPS 191304 HAS SOUS 139035 HAS SOUPS 139035 WITH SCORE 139226.304
AT ITER 6172 NEW BEST:: SOT 406021 SOS 190738 HAS SOPS 190738 HAS SOUS 139012 HAS SOUPS 139012 WITH SCORE 139202.738
AT ITER 6182 NEW BEST:: SOT 405936 SOS 190653 HAS SOPS 190653 HAS SOUS 138927 HAS SOUPS 138927 WITH SCORE 139117.653
AT ITER 6185 NEW BEST:: SOT 405936 SOS 190659 HAS SOPS 190659 HAS SOUS 138921 HAS SOUPS 138921 WITH SCORE 139111.659
AT ITER 6215 NEW BEST:: SOT 405901 SOS 190596 HAS SOPS 190596 HAS SOUS 138867 HAS SOUPS 138867 WITH SCORE 139057.596
AT ITER 6217 NEW BEST:: SOT 405876 SOS 190546 HAS SOPS 190546 HAS SOUS 138817 HAS SOUPS 138817 WITH SCORE 139007.546
AT ITER 6261 NEW BEST:: SOT 405593 SOS 190477 HAS SOPS 190477 HAS SOUS 138748 HAS SOUPS 138748 WITH SCORE 138938.477
AT ITER 6292 NEW BEST:: SOT 405593 SOS 190458 HAS SOPS 190458 HAS SOUS 138748 HAS SOUPS 138748 WITH SCORE 138938.458
AT ITER 6299 NEW BEST:: SOT 405593 SOS 190458 HAS SOPS 190458 HAS SOUS 138680 HAS SOUPS 138680 WITH SCORE 138870.458
AT ITER 6305 NEW BEST:: SOT 405594 SOS 190459 HAS SOPS 190459 HAS SOUS 138669 HAS SOUPS 138669 WITH SCORE 138859.459
AT ITER 6326 NEW BEST:: SOT 405535 SOS 190400 HAS SOPS 190400 HAS SOUS 138610 HAS SOUPS 138610 WITH SCORE 138800.4
AT ITER 6327 NEW BEST:: SOT 405546 SOS 190393 HAS SOPS 190393 HAS SOUS 138505 HAS SOUPS 138505 WITH SCORE 138695.393
AT ITER 6343 NEW BEST:: SOT 405366 SOS 190244 HAS SOPS 190244 HAS SOUS 138356 HAS SOUPS 138356 WITH SCORE 138546.244
AT ITER 6358 NEW BEST:: SOT 405303 SOS 190192 HAS SOPS 190192 HAS SOUS 138241 HAS SOUPS 138241 WITH SCORE 138431.192
AT ITER 6415 NEW BEST:: SOT 405108 SOS 190488 HAS SOPS 190488 HAS SOUS 138097 HAS SOUPS 138097 WITH SCORE 138287.488
AT ITER 6428 NEW BEST:: SOT 405090 SOS 190470 HAS SOPS 190470 HAS SOUS 138061 HAS SOUPS 138061 WITH SCORE 138251.47
AT ITER 6435 NEW BEST:: SOT 405139 SOS 190430 HAS SOPS 190430 HAS SOUS 138047 HAS SOUPS 138047 WITH SCORE 138237.43
AT ITER 6442 NEW BEST:: SOT 405124 SOS 190415 HAS SOPS 190415 HAS SOUS 138047 HAS SOUPS 138047 WITH SCORE 138237.415
AT ITER 6454 NEW BEST:: SOT 405118 SOS 190409 HAS SOPS 190409 HAS SOUS 138041 HAS SOUPS 138041 WITH SCORE 138231.409
AT ITER 6467 NEW BEST:: SOT 405093 SOS 190384 HAS SOPS 190384 HAS SOUS 138003 HAS SOUPS 138003 WITH SCORE 138193.384
AT ITER 6471 NEW BEST:: SOT 405017 SOS 190717 HAS SOPS 190717 HAS SOUS 137996 HAS SOUPS 137996 WITH SCORE 138186.717
AT ITER 6472 NEW BEST:: SOT 405013 SOS 190713 HAS SOPS 190713 HAS SOUS 137992 HAS SOUPS 137992 WITH SCORE 138182.713
AT ITER 6474 NEW BEST:: SOT 405013 SOS 190713 HAS SOPS 190713 HAS SOUS 137948 HAS SOUPS 137948 WITH SCORE 138138.713
AT ITER 6478 NEW BEST:: SOT 405013 SOS 190680 HAS SOPS 190680 HAS SOUS 137948 HAS SOUPS 137948 WITH SCORE 138138.68
AT ITER 6479 NEW BEST:: SOT 405007 SOS 190668 HAS SOPS 190668 HAS SOUS 137936 HAS SOUPS 137936 WITH SCORE 138126.668
AT ITER 6502 NEW BEST:: SOT 404976 SOS 190606 HAS SOPS 190606 HAS SOUS 137874 HAS SOUPS 137874 WITH SCORE 138064.606
AT ITER 6518 NEW BEST:: SOT 404896 SOS 190526 HAS SOPS 190526 HAS SOUS 137822 HAS SOUPS 137822 WITH SCORE 138012.526
AT ITER 6519 NEW BEST:: SOT 404896 SOS 190549 HAS SOPS 190549 HAS SOUS 137819 HAS SOUPS 137819 WITH SCORE 138009.549
AT ITER 6522 NEW BEST:: SOT 404863 SOS 190666 HAS SOPS 190666 HAS SOUS 137753 HAS SOUPS 137753 WITH SCORE 137943.666
AT ITER 6551 NEW BEST:: SOT 404842 SOS 190789 HAS SOPS 190789 HAS SOUS 137732 HAS SOUPS 137732 WITH SCORE 137922.789
AT ITER 6553 NEW BEST:: SOT 404842 SOS 190772 HAS SOPS 190772 HAS SOUS 137732 HAS SOUPS 137732 WITH SCORE 137922.772
AT ITER 6563 NEW BEST:: SOT 404737 SOS 191326 HAS SOPS 191326 HAS SOUS 137658 HAS SOUPS 137658 WITH SCORE 137849.326
AT ITER 6574 NEW BEST:: SOT 404737 SOS 191324 HAS SOPS 191324 HAS SOUS 137658 HAS SOUPS 137658 WITH SCORE 137849.324
AT ITER 6579 NEW BEST:: SOT 404712 SOS 191294 HAS SOPS 191294 HAS SOUS 137608 HAS SOUPS 137608 WITH SCORE 137799.294
AT ITER 6583 NEW BEST:: SOT 404704 SOS 191117 HAS SOPS 191117 HAS SOUS 137488 HAS SOUPS 137488 WITH SCORE 137679.117
AT ITER 6586 NEW BEST:: SOT 404706 SOS 191094 HAS SOPS 191094 HAS SOUS 137485 HAS SOUPS 137485 WITH SCORE 137676.094
AT ITER 6594 NEW BEST:: SOT 404737 SOS 191125 HAS SOPS 191125 HAS SOUS 137484 HAS SOUPS 137484 WITH SCORE 137675.125
AT ITER 6611 NEW BEST:: SOT 404514 SOS 190902 HAS SOPS 190902 HAS SOUS 137384 HAS SOUPS 137384 WITH SCORE 137574.902
AT ITER 6646 NEW BEST:: SOT 404510 SOS 190898 HAS SOPS 190898 HAS SOUS 137377 HAS SOUPS 137377 WITH SCORE 137567.898
AT ITER 6650 NEW BEST:: SOT 404489 SOS 191015 HAS SOPS 191015 HAS SOUS 137335 HAS SOUPS 137335 WITH SCORE 137526.015
AT ITER 6654 NEW BEST:: SOT 404622 SOS 191122 HAS SOPS 191122 HAS SOUS 137311 HAS SOUPS 137311 WITH SCORE 137502.122
AT ITER 6656 NEW BEST:: SOT 404607 SOS 191110 HAS SOPS 191110 HAS SOUS 137303 HAS SOUPS 137303 WITH SCORE 137494.11
AT ITER 6659 NEW BEST:: SOT 404660 SOS 191198 HAS SOPS 191198 HAS SOUS 137287 HAS SOUPS 137287 WITH SCORE 137478.198
AT ITER 6660 NEW BEST:: SOT 404626 SOS 191164 HAS SOPS 191164 HAS SOUS 137253 HAS SOUPS 137253 WITH SCORE 137444.164
AT ITER 6681 NEW BEST:: SOT 404624 SOS 191160 HAS SOPS 191160 HAS SOUS 137249 HAS SOUPS 137249 WITH SCORE 137440.16
AT ITER 6685 NEW BEST:: SOT 404610 SOS 191190 HAS SOPS 191190 HAS SOUS 137242 HAS SOUPS 137242 WITH SCORE 137433.19
AT ITER 6691 NEW BEST:: SOT 404593 SOS 191180 HAS SOPS 191180 HAS SOUS 137221 HAS SOUPS 137221 WITH SCORE 137412.18
AT ITER 6700 NEW BEST:: SOT 404563 SOS 191150 HAS SOPS 191150 HAS SOUS 137191 HAS SOUPS 137191 WITH SCORE 137382.15
AT ITER 6714 NEW BEST:: SOT 404563 SOS 191072 HAS SOPS 191072 HAS SOUS 137178 HAS SOUPS 137178 WITH SCORE 137369.072
AT ITER 6726 NEW BEST:: SOT 404545 SOS 191036 HAS SOPS 191036 HAS SOUS 137142 HAS SOUPS 137142 WITH SCORE 137333.036
AT ITER 6727 NEW BEST:: SOT 404531 SOS 191014 HAS SOPS 191014 HAS SOUS 137114 HAS SOUPS 137114 WITH SCORE 137305.014
AT ITER 6729 NEW BEST:: SOT 404495 SOS 190982 HAS SOPS 190982 HAS SOUS 137074 HAS SOUPS 137074 WITH SCORE 137264.982
AT ITER 6739 NEW BEST:: SOT 404478 SOS 190948 HAS SOPS 190948 HAS SOUS 137057 HAS SOUPS 137057 WITH SCORE 137247.948
AT ITER 6781 NEW BEST:: SOT 404471 SOS 190948 HAS SOPS 190948 HAS SOUS 137043 HAS SOUPS 137043 WITH SCORE 137233.948
AT ITER 6785 NEW BEST:: SOT 404467 SOS 190940 HAS SOPS 190940 HAS SOUS 137035 HAS SOUPS 137035 WITH SCORE 137225.94
AT ITER 6804 NEW BEST:: SOT 404448 SOS 190878 HAS SOPS 190878 HAS SOUS 136898 HAS SOUPS 136898 WITH SCORE 137088.878
AT ITER 6805 NEW BEST:: SOT 404448 SOS 190876 HAS SOPS 190876 HAS SOUS 136898 HAS SOUPS 136898 WITH SCORE 137088.876
AT ITER 6810 NEW BEST:: SOT 404348 SOS 190776 HAS SOPS 190776 HAS SOUS 136798 HAS SOUPS 136798 WITH SCORE 136988.776
AT ITER 6825 NEW BEST:: SOT 404309 SOS 190738 HAS SOPS 190738 HAS SOUS 136720 HAS SOUPS 136720 WITH SCORE 136910.738
AT ITER 6855 NEW BEST:: SOT 404307 SOS 190459 HAS SOPS 190459 HAS SOUS 136716 HAS SOUPS 136716 WITH SCORE 136906.459
AT ITER 6858 NEW BEST:: SOT 404307 SOS 190421 HAS SOPS 190421 HAS SOUS 136716 HAS SOUPS 136716 WITH SCORE 136906.421
AT ITER 6880 NEW BEST:: SOT 404307 SOS 190421 HAS SOPS 190421 HAS SOUS 136705 HAS SOUPS 136705 WITH SCORE 136895.421
AT ITER 6881 NEW BEST:: SOT 404485 SOS 190547 HAS SOPS 190547 HAS SOUS 136683 HAS SOUPS 136683 WITH SCORE 136873.547
AT ITER 6890 NEW BEST:: SOT 404485 SOS 190523 HAS SOPS 190523 HAS SOUS 136683 HAS SOUPS 136683 WITH SCORE 136873.523
AT ITER 6891 NEW BEST:: SOT 404368 SOS 190356 HAS SOPS 190356 HAS SOUS 136549 HAS SOUPS 136549 WITH SCORE 136739.356
AT ITER 6895 NEW BEST:: SOT 404363 SOS 190314 HAS SOPS 190314 HAS SOUS 136539 HAS SOUPS 136539 WITH SCORE 136729.314
AT ITER 6896 NEW BEST:: SOT 404363 SOS 190314 HAS SOPS 190314 HAS SOUS 136530 HAS SOUPS 136530 WITH SCORE 136720.314
AT ITER 6899 NEW BEST:: SOT 404557 SOS 190464 HAS SOPS 190464 HAS SOUS 136499 HAS SOUPS 136499 WITH SCORE 136689.464
AT ITER 6903 NEW BEST:: SOT 404557 SOS 190461 HAS SOPS 190461 HAS SOUS 136493 HAS SOUPS 136493 WITH SCORE 136683.461
AT ITER 6908 NEW BEST:: SOT 404557 SOS 190451 HAS SOPS 190451 HAS SOUS 136483 HAS SOUPS 136483 WITH SCORE 136673.451
AT ITER 6912 NEW BEST:: SOT 404573 SOS 190428 HAS SOPS 190428 HAS SOUS 136460 HAS SOUPS 136460 WITH SCORE 136650.428
AT ITER 6921 NEW BEST:: SOT 404426 SOS 190133 HAS SOPS 190133 HAS SOUS 136322 HAS SOUPS 136322 WITH SCORE 136512.133
AT ITER 6989 NEW BEST:: SOT 404407 SOS 190141 HAS SOPS 190141 HAS SOUS 136303 HAS SOUPS 136303 WITH SCORE 136493.141
AT ITER 6992 NEW BEST:: SOT 404291 SOS 190099 HAS SOPS 190099 HAS SOUS 136250 HAS SOUPS 136250 WITH SCORE 136440.099
AT ITER 7033 NEW BEST:: SOT 404227 SOS 190096 HAS SOPS 190096 HAS SOUS 136186 HAS SOUPS 136186 WITH SCORE 136376.096
AT ITER 7063 NEW BEST:: SOT 404225 SOS 190105 HAS SOPS 190105 HAS SOUS 136184 HAS SOUPS 136184 WITH SCORE 136374.105
AT ITER 7092 NEW BEST:: SOT 404157 SOS 190221 HAS SOPS 190221 HAS SOUS 136178 HAS SOUPS 136178 WITH SCORE 136368.221
AT ITER 7097 NEW BEST:: SOT 404084 SOS 190805 HAS SOPS 190805 HAS SOUS 136032 HAS SOUPS 136032 WITH SCORE 136222.805
AT ITER 7104 NEW BEST:: SOT 404079 SOS 190795 HAS SOPS 190795 HAS SOUS 136027 HAS SOUPS 136027 WITH SCORE 136217.795
AT ITER 7119 NEW BEST:: SOT 404046 SOS 190762 HAS SOPS 190762 HAS SOUS 135961 HAS SOUPS 135961 WITH SCORE 136151.762
AT ITER 7142 NEW BEST:: SOT 404025 SOS 190762 HAS SOPS 190762 HAS SOUS 135940 HAS SOUPS 135940 WITH SCORE 136130.762
AT ITER 7150 NEW BEST:: SOT 403927 SOS 190664 HAS SOPS 190664 HAS SOUS 135919 HAS SOUPS 135919 WITH SCORE 136109.664
AT ITER 7157 NEW BEST:: SOT 403920 SOS 190730 HAS SOPS 190730 HAS SOUS 135905 HAS SOUPS 135905 WITH SCORE 136095.73
AT ITER 7166 NEW BEST:: SOT 403920 SOS 190730 HAS SOPS 190730 HAS SOUS 135901 HAS SOUPS 135901 WITH SCORE 136091.73
AT ITER 7171 NEW BEST:: SOT 403905 SOS 190715 HAS SOPS 190715 HAS SOUS 135871 HAS SOUPS 135871 WITH SCORE 136061.715
AT ITER 7172 NEW BEST:: SOT 403866 SOS 190707 HAS SOPS 190707 HAS SOUS 135863 HAS SOUPS 135863 WITH SCORE 136053.707
AT ITER 7179 NEW BEST:: SOT 403865 SOS 190705 HAS SOPS 190705 HAS SOUS 135861 HAS SOUPS 135861 WITH SCORE 136051.705
AT ITER 7187 NEW BEST:: SOT 403853 SOS 190693 HAS SOPS 190693 HAS SOUS 135837 HAS SOUPS 135837 WITH SCORE 136027.693
AT ITER 7192 NEW BEST:: SOT 403849 SOS 190685 HAS SOPS 190685 HAS SOUS 135829 HAS SOUPS 135829 WITH SCORE 136019.685
AT ITER 7200 NEW BEST:: SOT 403849 SOS 190639 HAS SOPS 190639 HAS SOUS 135807 HAS SOUPS 135807 WITH SCORE 135997.639
AT ITER 7206 NEW BEST:: SOT 403828 SOS 190618 HAS SOPS 190618 HAS SOUS 135786 HAS SOUPS 135786 WITH SCORE 135976.618
AT ITER 7222 NEW BEST:: SOT 403743 SOS 190544 HAS SOPS 190544 HAS SOUS 135667 HAS SOUPS 135667 WITH SCORE 135857.544
AT ITER 7275 NEW BEST:: SOT 403748 SOS 190506 HAS SOPS 190506 HAS SOUS 135624 HAS SOUPS 135624 WITH SCORE 135814.506
AT ITER 7287 NEW BEST:: SOT 403861 SOS 190619 HAS SOPS 190619 HAS SOUS 135515 HAS SOUPS 135515 WITH SCORE 135705.619
AT ITER 7333 NEW BEST:: SOT 403861 SOS 190445 HAS SOPS 190445 HAS SOUS 135341 HAS SOUPS 135341 WITH SCORE 135531.445
AT ITER 7339 NEW BEST:: SOT 403850 SOS 190408 HAS SOPS 190408 HAS SOUS 135319 HAS SOUPS 135319 WITH SCORE 135509.408
AT ITER 7354 NEW BEST:: SOT 403837 SOS 190691 HAS SOPS 190691 HAS SOUS 135309 HAS SOUPS 135309 WITH SCORE 135499.691
AT ITER 7430 NEW BEST:: SOT 403770 SOS 190624 HAS SOPS 190624 HAS SOUS 135107 HAS SOUPS 135107 WITH SCORE 135297.624
AT ITER 7435 NEW BEST:: SOT 403760 SOS 190696 HAS SOPS 190696 HAS SOUS 135087 HAS SOUPS 135087 WITH SCORE 135277.696
AT ITER 7437 NEW BEST:: SOT 403743 SOS 190679 HAS SOPS 190679 HAS SOUS 135053 HAS SOUPS 135053 WITH SCORE 135243.679
AT ITER 7448 NEW BEST:: SOT 403740 SOS 190673 HAS SOPS 190673 HAS SOUS 135050 HAS SOUPS 135050 WITH SCORE 135240.673
AT ITER 7462 NEW BEST:: SOT 403734 SOS 190627 HAS SOPS 190627 HAS SOUS 135038 HAS SOUPS 135038 WITH SCORE 135228.627
AT ITER 7463 NEW BEST:: SOT 403740 SOS 190620 HAS SOPS 190620 HAS SOUS 135031 HAS SOUPS 135031 WITH SCORE 135221.62
AT ITER 7465 NEW BEST:: SOT 403740 SOS 190579 HAS SOPS 190579 HAS SOUS 135031 HAS SOUPS 135031 WITH SCORE 135221.579
AT ITER 7466 NEW BEST:: SOT 403625 SOS 190448 HAS SOPS 190448 HAS SOUS 134900 HAS SOUPS 134900 WITH SCORE 135090.448
AT ITER 7474 NEW BEST:: SOT 403602 SOS 190111 HAS SOPS 190111 HAS SOUS 134877 HAS SOUPS 134877 WITH SCORE 135067.111
AT ITER 7482 NEW BEST:: SOT 403594 SOS 190103 HAS SOPS 190103 HAS SOUS 134870 HAS SOUPS 134870 WITH SCORE 135060.103
AT ITER 7498 NEW BEST:: SOT 403594 SOS 189990 HAS SOPS 189990 HAS SOUS 134776 HAS SOUPS 134776 WITH SCORE 134965.99
AT ITER 7508 NEW BEST:: SOT 403588 SOS 190026 HAS SOPS 190026 HAS SOUS 134770 HAS SOUPS 134770 WITH SCORE 134960.026
AT ITER 7517 NEW BEST:: SOT 403588 SOS 190022 HAS SOPS 190022 HAS SOUS 134770 HAS SOUPS 134770 WITH SCORE 134960.022
AT ITER 7531 NEW BEST:: SOT 403587 SOS 190021 HAS SOPS 190021 HAS SOUS 134728 HAS SOUPS 134728 WITH SCORE 134918.021
AT ITER 7553 NEW BEST:: SOT 403553 SOS 190021 HAS SOPS 190021 HAS SOUS 134694 HAS SOUPS 134694 WITH SCORE 134884.021
AT ITER 7570 NEW BEST:: SOT 403537 SOS 190005 HAS SOPS 190005 HAS SOUS 134662 HAS SOUPS 134662 WITH SCORE 134852.005
AT ITER 7575 NEW BEST:: SOT 403537 SOS 189925 HAS SOPS 189925 HAS SOUS 134621 HAS SOUPS 134621 WITH SCORE 134810.925
AT ITER 7612 NEW BEST:: SOT 403537 SOS 189907 HAS SOPS 189907 HAS SOUS 134556 HAS SOUPS 134556 WITH SCORE 134745.907
AT ITER 7635 NEW BEST:: SOT 403476 SOS 189856 HAS SOPS 189856 HAS SOUS 134477 HAS SOUPS 134477 WITH SCORE 134666.856
AT ITER 7649 NEW BEST:: SOT 403462 SOS 189842 HAS SOPS 189842 HAS SOUS 134463 HAS SOUPS 134463 WITH SCORE 134652.842
AT ITER 7654 NEW BEST:: SOT 403422 SOS 189802 HAS SOPS 189802 HAS SOUS 134423 HAS SOUPS 134423 WITH SCORE 134612.802
AT ITER 7698 NEW BEST:: SOT 403532 SOS 189772 HAS SOPS 189772 HAS SOUS 134393 HAS SOUPS 134393 WITH SCORE 134582.772
AT ITER 7720 NEW BEST:: SOT 403371 SOS 189619 HAS SOPS 189619 HAS SOUS 134388 HAS SOUPS 134388 WITH SCORE 134577.619
AT ITER 7721 NEW BEST:: SOT 403355 SOS 189773 HAS SOPS 189773 HAS SOUS 134356 HAS SOUPS 134356 WITH SCORE 134545.773
AT ITER 7779 NEW BEST:: SOT 403328 SOS 189746 HAS SOPS 189746 HAS SOUS 134329 HAS SOUPS 134329 WITH SCORE 134518.746
AT ITER 7821 NEW BEST:: SOT 403213 SOS 189615 HAS SOPS 189615 HAS SOUS 134198 HAS SOUPS 134198 WITH SCORE 134387.615
AT ITER 7839 NEW BEST:: SOT 402872 SOS 189300 HAS SOPS 189300 HAS SOUS 133889 HAS SOUPS 133889 WITH SCORE 134078.3
AT ITER 7860 NEW BEST:: SOT 402841 SOS 189269 HAS SOPS 189269 HAS SOUS 133858 HAS SOUPS 133858 WITH SCORE 134047.269
AT ITER 7864 NEW BEST:: SOT 402841 SOS 189013 HAS SOPS 189013 HAS SOUS 133858 HAS SOUPS 133858 WITH SCORE 134047.013
AT ITER 7892 NEW BEST:: SOT 402839 SOS 189035 HAS SOPS 189035 HAS SOUS 133854 HAS SOUPS 133854 WITH SCORE 134043.035
AT ITER 7897 NEW BEST:: SOT 402764 SOS 188829 HAS SOPS 188829 HAS SOUS 133695 HAS SOUPS 133695 WITH SCORE 133883.829
AT ITER 7900 NEW BEST:: SOT 402766 SOS 188831 HAS SOPS 188831 HAS SOUS 133680 HAS SOUPS 133680 WITH SCORE 133868.831
AT ITER 7917 NEW BEST:: SOT 402766 SOS 188792 HAS SOPS 188792 HAS SOUS 133680 HAS SOUPS 133680 WITH SCORE 133868.792
AT ITER 7950 NEW BEST:: SOT 402765 SOS 188790 HAS SOPS 188790 HAS SOUS 133678 HAS SOUPS 133678 WITH SCORE 133866.79
AT ITER 7953 NEW BEST:: SOT 402547 SOS 188692 HAS SOPS 188692 HAS SOUS 133592 HAS SOUPS 133592 WITH SCORE 133780.692
AT ITER 7978 NEW BEST:: SOT 402394 SOS 188998 HAS SOPS 188998 HAS SOUS 133547 HAS SOUPS 133547 WITH SCORE 133735.998
AT ITER 7981 NEW BEST:: SOT 402393 SOS 188987 HAS SOPS 188987 HAS SOUS 133545 HAS SOUPS 133545 WITH SCORE 133733.987
AT ITER 8007 NEW BEST:: SOT 402393 SOS 188944 HAS SOPS 188944 HAS SOUS 133545 HAS SOUPS 133545 WITH SCORE 133733.944
AT ITER 8020 NEW BEST:: SOT 402367 SOS 189069 HAS SOPS 189069 HAS SOUS 133493 HAS SOUPS 133493 WITH SCORE 133682.069
AT ITER 8048 NEW BEST:: SOT 402366 SOS 189068 HAS SOPS 189068 HAS SOUS 133492 HAS SOUPS 133492 WITH SCORE 133681.068
AT ITER 8063 NEW BEST:: SOT 402392 SOS 189091 HAS SOPS 189091 HAS SOUS 133486 HAS SOUPS 133486 WITH SCORE 133675.091
AT ITER 8102 NEW BEST:: SOT 402392 SOS 189058 HAS SOPS 189058 HAS SOUS 133486 HAS SOUPS 133486 WITH SCORE 133675.058
AT ITER 8124 NEW BEST:: SOT 402352 SOS 189032 HAS SOPS 189032 HAS SOUS 133460 HAS SOUPS 133460 WITH SCORE 133649.032
AT ITER 8126 NEW BEST:: SOT 402352 SOS 189032 HAS SOPS 189032 HAS SOUS 133455 HAS SOUPS 133455 WITH SCORE 133644.032
AT ITER 8145 NEW BEST:: SOT 402170 SOS 188850 HAS SOPS 188850 HAS SOUS 133165 HAS SOUPS 133165 WITH SCORE 133353.85
AT ITER 8148 NEW BEST:: SOT 402170 SOS 188825 HAS SOPS 188825 HAS SOUS 133140 HAS SOUPS 133140 WITH SCORE 133328.825
AT ITER 8195 NEW BEST:: SOT 402170 SOS 189389 HAS SOPS 189389 HAS SOUS 133102 HAS SOUPS 133102 WITH SCORE 133291.389
AT ITER 8199 NEW BEST:: SOT 402170 SOS 189502 HAS SOPS 189502 HAS SOUS 133060 HAS SOUPS 133060 WITH SCORE 133249.502
AT ITER 8230 NEW BEST:: SOT 402167 SOS 189523 HAS SOPS 189523 HAS SOUS 133054 HAS SOUPS 133054 WITH SCORE 133243.523
AT ITER 8238 NEW BEST:: SOT 402155 SOS 189511 HAS SOPS 189511 HAS SOUS 133042 HAS SOUPS 133042 WITH SCORE 133231.511
AT ITER 8247 NEW BEST:: SOT 402035 SOS 189614 HAS SOPS 189614 HAS SOUS 132996 HAS SOUPS 132996 WITH SCORE 133185.614
AT ITER 8252 NEW BEST:: SOT 402022 SOS 189588 HAS SOPS 189588 HAS SOUS 132983 HAS SOUPS 132983 WITH SCORE 133172.588
AT ITER 8260 NEW BEST:: SOT 402020 SOS 189668 HAS SOPS 189668 HAS SOUS 132972 HAS SOUPS 132972 WITH SCORE 133161.668
AT ITER 8275 NEW BEST:: SOT 401998 SOS 191460 HAS SOPS 191460 HAS SOUS 132955 HAS SOUPS 132955 WITH SCORE 133146.46
AT ITER 8307 NEW BEST:: SOT 401992 SOS 191454 HAS SOPS 191454 HAS SOUS 132949 HAS SOUPS 132949 WITH SCORE 133140.454
AT ITER 8311 NEW BEST:: SOT 401992 SOS 191454 HAS SOPS 191454 HAS SOUS 132903 HAS SOUPS 132903 WITH SCORE 133094.454
AT ITER 8317 NEW BEST:: SOT 401949 SOS 191411 HAS SOPS 191411 HAS SOUS 132878 HAS SOUPS 132878 WITH SCORE 133069.411
AT ITER 8346 NEW BEST:: SOT 401928 SOS 191390 HAS SOPS 191390 HAS SOUS 132874 HAS SOUPS 132874 WITH SCORE 133065.39
AT ITER 8365 NEW BEST:: SOT 401717 SOS 191223 HAS SOPS 191223 HAS SOUS 132707 HAS SOUPS 132707 WITH SCORE 132898.223
AT ITER 8368 NEW BEST:: SOT 401657 SOS 191622 HAS SOPS 191622 HAS SOUS 132698 HAS SOUPS 132698 WITH SCORE 132889.622
AT ITER 8373 NEW BEST:: SOT 401648 SOS 191887 HAS SOPS 191887 HAS SOUS 132680 HAS SOUPS 132680 WITH SCORE 132871.887
AT ITER 8377 NEW BEST:: SOT 401643 SOS 191887 HAS SOPS 191887 HAS SOUS 132675 HAS SOUPS 132675 WITH SCORE 132866.887
AT ITER 8378 NEW BEST:: SOT 401513 SOS 191687 HAS SOPS 191687 HAS SOUS 132629 HAS SOUPS 132629 WITH SCORE 132820.687
AT ITER 8379 NEW BEST:: SOT 401494 SOS 191668 HAS SOPS 191668 HAS SOUS 132610 HAS SOUPS 132610 WITH SCORE 132801.668
AT ITER 8418 NEW BEST:: SOT 401494 SOS 191668 HAS SOPS 191668 HAS SOUS 132607 HAS SOUPS 132607 WITH SCORE 132798.668
AT ITER 8483 NEW BEST:: SOT 401494 SOS 191668 HAS SOPS 191668 HAS SOUS 132566 HAS SOUPS 132566 WITH SCORE 132757.668
AT ITER 8490 NEW BEST:: SOT 401494 SOS 191246 HAS SOPS 191246 HAS SOUS 132566 HAS SOUPS 132566 WITH SCORE 132757.246
AT ITER 8513 NEW BEST:: SOT 401397 SOS 191149 HAS SOPS 191149 HAS SOUS 132566 HAS SOUPS 132566 WITH SCORE 132757.149
AT ITER 8531 NEW BEST:: SOT 401375 SOS 191127 HAS SOPS 191127 HAS SOUS 132544 HAS SOUPS 132544 WITH SCORE 132735.127
AT ITER 8532 NEW BEST:: SOT 401388 SOS 191122 HAS SOPS 191122 HAS SOUS 132544 HAS SOUPS 132544 WITH SCORE 132735.122
AT ITER 8538 NEW BEST:: SOT 401388 SOS 191122 HAS SOPS 191122 HAS SOUS 132534 HAS SOUPS 132534 WITH SCORE 132725.122
AT ITER 8585 NEW BEST:: SOT 401388 SOS 191119 HAS SOPS 191119 HAS SOUS 132531 HAS SOUPS 132531 WITH SCORE 132722.119
AT ITER 8602 NEW BEST:: SOT 401387 SOS 191118 HAS SOPS 191118 HAS SOUS 132530 HAS SOUPS 132530 WITH SCORE 132721.118
AT ITER 8629 NEW BEST:: SOT 401313 SOS 191050 HAS SOPS 191050 HAS SOUS 132382 HAS SOUPS 132382 WITH SCORE 132573.05
AT ITER 8643 NEW BEST:: SOT 401312 SOS 191024 HAS SOPS 191024 HAS SOUS 132381 HAS SOUPS 132381 WITH SCORE 132572.024
AT ITER 8658 NEW BEST:: SOT 401308 SOS 190937 HAS SOPS 190937 HAS SOUS 132294 HAS SOUPS 132294 WITH SCORE 132484.937
AT ITER 8698 NEW BEST:: SOT 401241 SOS 190803 HAS SOPS 190803 HAS SOUS 132227 HAS SOUPS 132227 WITH SCORE 132417.803
AT ITER 8715 NEW BEST:: SOT 401154 SOS 190770 HAS SOPS 190770 HAS SOUS 132107 HAS SOUPS 132107 WITH SCORE 132297.77
AT ITER 8720 NEW BEST:: SOT 401135 SOS 190751 HAS SOPS 190751 HAS SOUS 132107 HAS SOUPS 132107 WITH SCORE 132297.751
AT ITER 8721 NEW BEST:: SOT 401129 SOS 190745 HAS SOPS 190745 HAS SOUS 132101 HAS SOUPS 132101 WITH SCORE 132291.745
AT ITER 8724 NEW BEST:: SOT 401128 SOS 190744 HAS SOPS 190744 HAS SOUS 132099 HAS SOUPS 132099 WITH SCORE 132289.744
AT ITER 8727 NEW BEST:: SOT 401121 SOS 190737 HAS SOPS 190737 HAS SOUS 132092 HAS SOUPS 132092 WITH SCORE 132282.737
AT ITER 8728 NEW BEST:: SOT 401117 SOS 190733 HAS SOPS 190733 HAS SOUS 132088 HAS SOUPS 132088 WITH SCORE 132278.733
AT ITER 8757 NEW BEST:: SOT 401064 SOS 190680 HAS SOPS 190680 HAS SOUS 131982 HAS SOUPS 131982 WITH SCORE 132172.68
AT ITER 8761 NEW BEST:: SOT 401056 SOS 190621 HAS SOPS 190621 HAS SOUS 131966 HAS SOUPS 131966 WITH SCORE 132156.621
AT ITER 8762 NEW BEST:: SOT 401056 SOS 190620 HAS SOPS 190620 HAS SOUS 131966 HAS SOUPS 131966 WITH SCORE 132156.62
AT ITER 8765 NEW BEST:: SOT 401056 SOS 190590 HAS SOPS 190590 HAS SOUS 131936 HAS SOUPS 131936 WITH SCORE 132126.59
AT ITER 8777 NEW BEST:: SOT 401056 SOS 190584 HAS SOPS 190584 HAS SOUS 131930 HAS SOUPS 131930 WITH SCORE 132120.584
AT ITER 8779 NEW BEST:: SOT 401058 SOS 190586 HAS SOPS 190586 HAS SOUS 131925 HAS SOUPS 131925 WITH SCORE 132115.586
AT ITER 8783 NEW BEST:: SOT 401056 SOS 190582 HAS SOPS 190582 HAS SOUS 131921 HAS SOUPS 131921 WITH SCORE 132111.582
AT ITER 8799 NEW BEST:: SOT 401042 SOS 190288 HAS SOPS 190288 HAS SOUS 131893 HAS SOUPS 131893 WITH SCORE 132083.288
AT ITER 8818 NEW BEST:: SOT 401042 SOS 190232 HAS SOPS 190232 HAS SOUS 131893 HAS SOUPS 131893 WITH SCORE 132083.232
AT ITER 8821 NEW BEST:: SOT 401015 SOS 190206 HAS SOPS 190206 HAS SOUS 131866 HAS SOUPS 131866 WITH SCORE 132056.206
AT ITER 8825 NEW BEST:: SOT 401015 SOS 190206 HAS SOPS 190206 HAS SOUS 131822 HAS SOUPS 131822 WITH SCORE 132012.206
AT ITER 8836 NEW BEST:: SOT 400994 SOS 190164 HAS SOPS 190164 HAS SOUS 131780 HAS SOUPS 131780 WITH SCORE 131970.164
AT ITER 8860 NEW BEST:: SOT 400994 SOS 190145 HAS SOPS 190145 HAS SOUS 131707 HAS SOUPS 131707 WITH SCORE 131897.145
AT ITER 8869 NEW BEST:: SOT 400998 SOS 190166 HAS SOPS 190166 HAS SOUS 131706 HAS SOUPS 131706 WITH SCORE 131896.166
AT ITER 8877 NEW BEST:: SOT 401010 SOS 190178 HAS SOPS 190178 HAS SOUS 131697 HAS SOUPS 131697 WITH SCORE 131887.178
AT ITER 8889 NEW BEST:: SOT 401004 SOS 190166 HAS SOPS 190166 HAS SOUS 131685 HAS SOUPS 131685 WITH SCORE 131875.166
AT ITER 8909 NEW BEST:: SOT 400932 SOS 190041 HAS SOPS 190041 HAS SOUS 131584 HAS SOUPS 131584 WITH SCORE 131774.041
AT ITER 8922 NEW BEST:: SOT 400926 SOS 190029 HAS SOPS 190029 HAS SOUS 131578 HAS SOUPS 131578 WITH SCORE 131768.029
AT ITER 8965 NEW BEST:: SOT 400924 SOS 190021 HAS SOPS 190021 HAS SOUS 131574 HAS SOUPS 131574 WITH SCORE 131764.021
AT ITER 8971 NEW BEST:: SOT 400912 SOS 189993 HAS SOPS 189993 HAS SOUS 131558 HAS SOUPS 131558 WITH SCORE 131747.993
AT ITER 9013 NEW BEST:: SOT 400911 SOS 189991 HAS SOPS 189991 HAS SOUS 131557 HAS SOUPS 131557 WITH SCORE 131746.991
AT ITER 9027 NEW BEST:: SOT 400896 SOS 189976 HAS SOPS 189976 HAS SOUS 131509 HAS SOUPS 131509 WITH SCORE 131698.976
AT ITER 9040 NEW BEST:: SOT 400894 SOS 189972 HAS SOPS 189972 HAS SOUS 131505 HAS SOUPS 131505 WITH SCORE 131694.972
AT ITER 9061 NEW BEST:: SOT 400894 SOS 189906 HAS SOPS 189906 HAS SOUS 131497 HAS SOUPS 131497 WITH SCORE 131686.906
AT ITER 9085 NEW BEST:: SOT 400894 SOS 189896 HAS SOPS 189896 HAS SOUS 131497 HAS SOUPS 131497 WITH SCORE 131686.896
AT ITER 9089 NEW BEST:: SOT 400720 SOS 189765 HAS SOPS 189765 HAS SOUS 131316 HAS SOUPS 131316 WITH SCORE 131505.765
AT ITER 9106 NEW BEST:: SOT 400667 SOS 189659 HAS SOPS 189659 HAS SOUS 131210 HAS SOUPS 131210 WITH SCORE 131399.659
AT ITER 9109 NEW BEST:: SOT 400663 SOS 189621 HAS SOPS 189621 HAS SOUS 131202 HAS SOUPS 131202 WITH SCORE 131391.621
AT ITER 9115 NEW BEST:: SOT 400656 SOS 189733 HAS SOPS 189733 HAS SOUS 131195 HAS SOUPS 131195 WITH SCORE 131384.733
AT ITER 9127 NEW BEST:: SOT 400658 SOS 189746 HAS SOPS 189746 HAS SOUS 131194 HAS SOUPS 131194 WITH SCORE 131383.746
AT ITER 9165 NEW BEST:: SOT 400481 SOS 189881 HAS SOPS 189881 HAS SOUS 131095 HAS SOUPS 131095 WITH SCORE 131284.881
AT ITER 9172 NEW BEST:: SOT 400510 SOS 189910 HAS SOPS 189910 HAS SOUS 131055 HAS SOUPS 131055 WITH SCORE 131244.91
AT ITER 9175 NEW BEST:: SOT 400487 SOS 189910 HAS SOPS 189910 HAS SOUS 131032 HAS SOUPS 131032 WITH SCORE 131221.91
AT ITER 9177 NEW BEST:: SOT 400452 SOS 189875 HAS SOPS 189875 HAS SOUS 130962 HAS SOUPS 130962 WITH SCORE 131151.875
AT ITER 9182 NEW BEST:: SOT 400431 SOS 189854 HAS SOPS 189854 HAS SOUS 130933 HAS SOUPS 130933 WITH SCORE 131122.854
AT ITER 9192 NEW BEST:: SOT 400321 SOS 189735 HAS SOPS 189735 HAS SOUS 130814 HAS SOUPS 130814 WITH SCORE 131003.735
AT ITER 9212 NEW BEST:: SOT 400321 SOS 189706 HAS SOPS 189706 HAS SOUS 130814 HAS SOUPS 130814 WITH SCORE 131003.706
AT ITER 9217 NEW BEST:: SOT 400216 SOS 189608 HAS SOPS 189608 HAS SOUS 130692 HAS SOUPS 130692 WITH SCORE 130881.608
AT ITER 9225 NEW BEST:: SOT 400214 SOS 189606 HAS SOPS 189606 HAS SOUS 130690 HAS SOUPS 130690 WITH SCORE 130879.606
AT ITER 9250 NEW BEST:: SOT 400190 SOS 189558 HAS SOPS 189558 HAS SOUS 130642 HAS SOUPS 130642 WITH SCORE 130831.558
AT ITER 9280 NEW BEST:: SOT 400040 SOS 189409 HAS SOPS 189409 HAS SOUS 130633 HAS SOUPS 130633 WITH SCORE 130822.409
AT ITER 9310 NEW BEST:: SOT 399989 SOS 189411 HAS SOPS 189411 HAS SOUS 130574 HAS SOUPS 130574 WITH SCORE 130763.411
AT ITER 9321 NEW BEST:: SOT 399989 SOS 189409 HAS SOPS 189409 HAS SOUS 130572 HAS SOUPS 130572 WITH SCORE 130761.409
AT ITER 9351 NEW BEST:: SOT 399968 SOS 189367 HAS SOPS 189367 HAS SOUS 130530 HAS SOUPS 130530 WITH SCORE 130719.367
AT ITER 9353 NEW BEST:: SOT 399968 SOS 189328 HAS SOPS 189328 HAS SOUS 130530 HAS SOUPS 130530 WITH SCORE 130719.328
AT ITER 9355 NEW BEST:: SOT 399966 SOS 189326 HAS SOPS 189326 HAS SOUS 130526 HAS SOUPS 130526 WITH SCORE 130715.326
AT ITER 9385 NEW BEST:: SOT 399923 SOS 188836 HAS SOPS 188836 HAS SOUS 130466 HAS SOUPS 130466 WITH SCORE 130654.836
AT ITER 9388 NEW BEST:: SOT 399901 SOS 188951 HAS SOPS 188951 HAS SOUS 130444 HAS SOUPS 130444 WITH SCORE 130632.951
AT ITER 9404 NEW BEST:: SOT 399875 SOS 188912 HAS SOPS 188912 HAS SOUS 130405 HAS SOUPS 130405 WITH SCORE 130593.912
AT ITER 9408 NEW BEST:: SOT 399875 SOS 188912 HAS SOPS 188912 HAS SOUS 130334 HAS SOUPS 130334 WITH SCORE 130522.912
AT ITER 9455 NEW BEST:: SOT 399846 SOS 188825 HAS SOPS 188825 HAS SOUS 130305 HAS SOUPS 130305 WITH SCORE 130493.825
AT ITER 9469 NEW BEST:: SOT 399845 SOS 188823 HAS SOPS 188823 HAS SOUS 130303 HAS SOUPS 130303 WITH SCORE 130491.823
AT ITER 9514 NEW BEST:: SOT 399833 SOS 188811 HAS SOPS 188811 HAS SOUS 130303 HAS SOUPS 130303 WITH SCORE 130491.811
AT ITER 9547 NEW BEST:: SOT 399765 SOS 188653 HAS SOPS 188653 HAS SOUS 130159 HAS SOUPS 130159 WITH SCORE 130347.653
AT ITER 9568 NEW BEST:: SOT 399741 SOS 188629 HAS SOPS 188629 HAS SOUS 130135 HAS SOUPS 130135 WITH SCORE 130323.629
AT ITER 9589 NEW BEST:: SOT 399755 SOS 188602 HAS SOPS 188602 HAS SOUS 130081 HAS SOUPS 130081 WITH SCORE 130269.602
AT ITER 9601 NEW BEST:: SOT 399723 SOS 188570 HAS SOPS 188570 HAS SOUS 130081 HAS SOUPS 130081 WITH SCORE 130269.57
AT ITER 9621 NEW BEST:: SOT 399693 SOS 188540 HAS SOPS 188540 HAS SOUS 130051 HAS SOUPS 130051 WITH SCORE 130239.54
AT ITER 9622 NEW BEST:: SOT 399634 SOS 188419 HAS SOPS 188419 HAS SOUS 129995 HAS SOUPS 129995 WITH SCORE 130183.419
AT ITER 9625 NEW BEST:: SOT 399595 SOS 188380 HAS SOPS 188380 HAS SOUS 129923 HAS SOUPS 129923 WITH SCORE 130111.38
AT ITER 9629 NEW BEST:: SOT 399593 SOS 188376 HAS SOPS 188376 HAS SOUS 129921 HAS SOUPS 129921 WITH SCORE 130109.376
AT ITER 9645 NEW BEST:: SOT 399513 SOS 188296 HAS SOPS 188296 HAS SOUS 129895 HAS SOUPS 129895 WITH SCORE 130083.296
AT ITER 9679 NEW BEST:: SOT 399507 SOS 188284 HAS SOPS 188284 HAS SOUS 129883 HAS SOUPS 129883 WITH SCORE 130071.284
AT ITER 9712 NEW BEST:: SOT 399507 SOS 187739 HAS SOPS 187739 HAS SOUS 129858 HAS SOUPS 129858 WITH SCORE 130045.739
AT ITER 9713 NEW BEST:: SOT 399482 SOS 187714 HAS SOPS 187714 HAS SOUS 129833 HAS SOUPS 129833 WITH SCORE 130020.714
AT ITER 9727 NEW BEST:: SOT 399466 SOS 187698 HAS SOPS 187698 HAS SOUS 129803 HAS SOUPS 129803 WITH SCORE 129990.698
AT ITER 9739 NEW BEST:: SOT 399441 SOS 187673 HAS SOPS 187673 HAS SOUS 129759 HAS SOUPS 129759 WITH SCORE 129946.673
AT ITER 9741 NEW BEST:: SOT 399433 SOS 187661 HAS SOPS 187661 HAS SOUS 129747 HAS SOUPS 129747 WITH SCORE 129934.661
AT ITER 9773 NEW BEST:: SOT 399433 SOS 187661 HAS SOPS 187661 HAS SOUS 129725 HAS SOUPS 129725 WITH SCORE 129912.661
AT ITER 9786 NEW BEST:: SOT 399433 SOS 187661 HAS SOPS 187661 HAS SOUS 129720 HAS SOUPS 129720 WITH SCORE 129907.661
AT ITER 9790 NEW BEST:: SOT 399422 SOS 187675 HAS SOPS 187675 HAS SOUS 129698 HAS SOUPS 129698 WITH SCORE 129885.675
AT ITER 9791 NEW BEST:: SOT 399419 SOS 187631 HAS SOPS 187631 HAS SOUS 129693 HAS SOUPS 129693 WITH SCORE 129880.631
AT ITER 9796 NEW BEST:: SOT 399355 SOS 188022 HAS SOPS 188022 HAS SOUS 129601 HAS SOUPS 129601 WITH SCORE 129789.022
AT ITER 9859 NEW BEST:: SOT 399355 SOS 188039 HAS SOPS 188039 HAS SOUS 129565 HAS SOUPS 129565 WITH SCORE 129753.039
AT ITER 9873 NEW BEST:: SOT 399284 SOS 187329 HAS SOPS 187329 HAS SOUS 129494 HAS SOUPS 129494 WITH SCORE 129681.329
AT ITER 9881 NEW BEST:: SOT 399193 SOS 187238 HAS SOPS 187238 HAS SOUS 129403 HAS SOUPS 129403 WITH SCORE 129590.238
AT ITER 9896 NEW BEST:: SOT 399124 SOS 187100 HAS SOPS 187100 HAS SOUS 129350 HAS SOUPS 129350 WITH SCORE 129537.1
AT ITER 9945 NEW BEST:: SOT 399124 SOS 186404 HAS SOPS 186404 HAS SOUS 129350 HAS SOUPS 129350 WITH SCORE 129536.404
AT ITER 9955 NEW BEST:: SOT 399118 SOS 186380 HAS SOPS 186380 HAS SOUS 129338 HAS SOUPS 129338 WITH SCORE 129524.38
AT ITER 9970 NEW BEST:: SOT 399106 SOS 186352 HAS SOPS 186352 HAS SOUS 129322 HAS SOUPS 129322 WITH SCORE 129508.352
AT ITER 9981 NEW BEST:: SOT 399079 SOS 186298 HAS SOPS 186298 HAS SOUS 129295 HAS SOUPS 129295 WITH SCORE 129481.298
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13841520 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149256 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="DatabaseWithMutex-PT-10"
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 DatabaseWithMutex-PT-10, 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 r099-tall-167814473301080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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