About the Execution of Smart+red for Peterson-COL-4
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10316.264 | 3600000.00 | 3631706.00 | 10448.70 | [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.r267-smll-167863542000576.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 smartxred
Input is Peterson-COL-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863542000576
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 608K
-rw-r--r-- 1 mcc users 7.5K Feb 25 22:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 22:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 22:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 22:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 25 22:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 182K Feb 25 22:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 22:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 109K Feb 25 22:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 44K Mar 5 18:23 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 1678930187999
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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Peterson-COL-4
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-16 01:29:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-16 01:29:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-16 01:29:51] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-16 01:29:51] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-16 01:29:51] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 803 ms
[2023-03-16 01:29:51] [INFO ] Imported 11 HL places and 14 HL transitions for a total of 500 PT places and 795.0 transition bindings in 26 ms.
[2023-03-16 01:29:51] [INFO ] Unfolded HLPN to a Petri net with 500 places and 730 transitions 2280 arcs in 64 ms.
[2023-03-16 01:29:51] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-16 01:29:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 500 places, 730 transitions and 2280 arcs took 13 ms.
Total runtime 1210 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Peterson (COL), instance 4
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 500 places, 730 transitions, 2280 arcs.
AT ITER 0 NEW BEST:: SOT 254929 SOS 114998 HAS SOPS 104119 HAS SOUS 103839 HAS SOUPS 100030 WITH SCORE 100144.998
AT ITER 1 NEW BEST:: SOT 254878 SOS 114953 HAS SOPS 104074 HAS SOUS 103737 HAS SOUPS 99928 WITH SCORE 100042.953
AT ITER 4 NEW BEST:: SOT 254246 SOS 114381 HAS SOPS 103442 HAS SOUS 103150 HAS SOUPS 99296 WITH SCORE 99410.381
AT ITER 20 NEW BEST:: SOT 254150 SOS 114425 HAS SOPS 103502 HAS SOUS 103070 HAS SOUPS 99244 WITH SCORE 99358.425
AT ITER 23 NEW BEST:: SOT 254066 SOS 114299 HAS SOPS 103376 HAS SOUS 102944 HAS SOUPS 99118 WITH SCORE 99232.299
AT ITER 25 NEW BEST:: SOT 254028 SOS 114242 HAS SOPS 103243 HAS SOUS 102811 HAS SOUPS 98985 WITH SCORE 99099.242
AT ITER 27 NEW BEST:: SOT 253081 SOS 113606 HAS SOPS 102688 HAS SOUS 101761 HAS SOUPS 98018 WITH SCORE 98131.606
AT ITER 28 NEW BEST:: SOT 253033 SOS 113520 HAS SOPS 102602 HAS SOUS 101739 HAS SOUPS 97996 WITH SCORE 98109.52
AT ITER 30 NEW BEST:: SOT 253033 SOS 113503 HAS SOPS 102602 HAS SOUS 101722 HAS SOUPS 97996 WITH SCORE 98109.503
AT ITER 31 NEW BEST:: SOT 252975 SOS 113395 HAS SOPS 102494 HAS SOUS 101664 HAS SOUPS 97938 WITH SCORE 98051.395
AT ITER 35 NEW BEST:: SOT 253024 SOS 113305 HAS SOPS 102404 HAS SOUS 101612 HAS SOUPS 97886 WITH SCORE 97999.305
AT ITER 36 NEW BEST:: SOT 252824 SOS 113005 HAS SOPS 102104 HAS SOUS 101312 HAS SOUPS 97586 WITH SCORE 97699.005
AT ITER 37 NEW BEST:: SOT 252788 SOS 112969 HAS SOPS 102032 HAS SOUS 101240 HAS SOUPS 97514 WITH SCORE 97626.969
AT ITER 40 NEW BEST:: SOT 252703 SOS 112778 HAS SOPS 102030 HAS SOUS 100981 HAS SOUPS 97340 WITH SCORE 97452.778
AT ITER 42 NEW BEST:: SOT 252576 SOS 112524 HAS SOPS 101776 HAS SOUS 100727 HAS SOUPS 97086 WITH SCORE 97198.524
AT ITER 44 NEW BEST:: SOT 252430 SOS 112504 HAS SOPS 101820 HAS SOUS 100603 HAS SOUPS 97004 WITH SCORE 97116.504
AT ITER 60 NEW BEST:: SOT 252344 SOS 112315 HAS SOPS 101631 HAS SOUS 100517 HAS SOUPS 96918 WITH SCORE 97030.315
AT ITER 62 NEW BEST:: SOT 252210 SOS 112127 HAS SOPS 101443 HAS SOUS 100329 HAS SOUPS 96730 WITH SCORE 96842.127
AT ITER 70 NEW BEST:: SOT 251821 SOS 112149 HAS SOPS 101688 HAS SOUS 100043 HAS SOUPS 96567 WITH SCORE 96679.149
AT ITER 77 NEW BEST:: SOT 251783 SOS 112073 HAS SOPS 101612 HAS SOUS 99967 HAS SOUPS 96491 WITH SCORE 96603.073
AT ITER 82 NEW BEST:: SOT 250976 SOS 111420 HAS SOPS 100805 HAS SOUS 99325 HAS SOUPS 95772 WITH SCORE 95883.42
AT ITER 85 NEW BEST:: SOT 250893 SOS 111264 HAS SOPS 100649 HAS SOUS 99229 HAS SOUPS 95676 WITH SCORE 95787.264
AT ITER 87 NEW BEST:: SOT 250905 SOS 111288 HAS SOPS 100673 HAS SOUS 99215 HAS SOUPS 95662 WITH SCORE 95773.288
AT ITER 95 NEW BEST:: SOT 250806 SOS 111090 HAS SOPS 100475 HAS SOUS 99017 HAS SOUPS 95464 WITH SCORE 95575.09
AT ITER 96 NEW BEST:: SOT 250685 SOS 110843 HAS SOPS 100228 HAS SOUS 98770 HAS SOUPS 95217 WITH SCORE 95327.843
AT ITER 97 NEW BEST:: SOT 250683 SOS 110924 HAS SOPS 100224 HAS SOUS 98829 HAS SOUPS 95213 WITH SCORE 95323.924
AT ITER 103 NEW BEST:: SOT 250649 SOS 110856 HAS SOPS 100156 HAS SOUS 98761 HAS SOUPS 95145 WITH SCORE 95255.856
AT ITER 107 NEW BEST:: SOT 250573 SOS 110769 HAS SOPS 100069 HAS SOUS 98685 HAS SOUPS 95069 WITH SCORE 95179.769
AT ITER 111 NEW BEST:: SOT 250550 SOS 110765 HAS SOPS 100065 HAS SOUS 98662 HAS SOUPS 95046 WITH SCORE 95156.765
AT ITER 122 NEW BEST:: SOT 250442 SOS 110549 HAS SOPS 99849 HAS SOUS 98446 HAS SOUPS 94830 WITH SCORE 94940.549
AT ITER 125 NEW BEST:: SOT 250451 SOS 110558 HAS SOPS 99867 HAS SOUS 98403 HAS SOUPS 94787 WITH SCORE 94897.558
AT ITER 130 NEW BEST:: SOT 250407 SOS 110470 HAS SOPS 99779 HAS SOUS 98315 HAS SOUPS 94699 WITH SCORE 94809.47
AT ITER 131 NEW BEST:: SOT 250269 SOS 110263 HAS SOPS 99572 HAS SOUS 98108 HAS SOUPS 94492 WITH SCORE 94602.263
AT ITER 135 NEW BEST:: SOT 248963 SOS 109820 HAS SOPS 99345 HAS SOUS 96927 HAS SOUPS 93479 WITH SCORE 93588.82
AT ITER 143 NEW BEST:: SOT 248925 SOS 109689 HAS SOPS 99411 HAS SOUS 96752 HAS SOUPS 93375 WITH SCORE 93484.689
AT ITER 147 NEW BEST:: SOT 248194 SOS 110289 HAS SOPS 100359 HAS SOUS 96238 HAS SOUPS 93072 WITH SCORE 93182.289
AT ITER 150 NEW BEST:: SOT 248098 SOS 110145 HAS SOPS 100215 HAS SOUS 96094 HAS SOUPS 92928 WITH SCORE 93038.145
AT ITER 153 NEW BEST:: SOT 247693 SOS 109920 HAS SOPS 99990 HAS SOUS 95689 HAS SOUPS 92523 WITH SCORE 92632.92
AT ITER 155 NEW BEST:: SOT 247653 SOS 109767 HAS SOPS 99837 HAS SOUS 95597 HAS SOUPS 92431 WITH SCORE 92540.767
AT ITER 164 NEW BEST:: SOT 247453 SOS 109367 HAS SOPS 99437 HAS SOUS 95197 HAS SOUPS 92031 WITH SCORE 92140.367
AT ITER 169 NEW BEST:: SOT 247468 SOS 109397 HAS SOPS 99467 HAS SOUS 95140 HAS SOUPS 91974 WITH SCORE 92083.397
AT ITER 171 NEW BEST:: SOT 247446 SOS 109353 HAS SOPS 99423 HAS SOUS 95096 HAS SOUPS 91930 WITH SCORE 92039.353
AT ITER 177 NEW BEST:: SOT 247446 SOS 109283 HAS SOPS 99423 HAS SOUS 95096 HAS SOUPS 91930 WITH SCORE 92039.283
AT ITER 178 NEW BEST:: SOT 246716 SOS 109659 HAS SOPS 99976 HAS SOUS 94413 HAS SOUPS 91340 WITH SCORE 91449.659
AT ITER 190 NEW BEST:: SOT 246716 SOS 109659 HAS SOPS 99976 HAS SOUS 94362 HAS SOUPS 91289 WITH SCORE 91398.659
AT ITER 192 NEW BEST:: SOT 246216 SOS 109159 HAS SOPS 99476 HAS SOUS 93862 HAS SOUPS 90789 WITH SCORE 90898.159
AT ITER 199 NEW BEST:: SOT 246216 SOS 109114 HAS SOPS 99296 HAS SOUS 93770 HAS SOUPS 90654 WITH SCORE 90763.114
AT ITER 200 NEW BEST:: SOT 246158 SOS 108998 HAS SOPS 99180 HAS SOUS 93712 HAS SOUPS 90596 WITH SCORE 90704.998
AT ITER 203 NEW BEST:: SOT 246141 SOS 108964 HAS SOPS 99146 HAS SOUS 93678 HAS SOUPS 90562 WITH SCORE 90670.964
AT ITER 207 NEW BEST:: SOT 246109 SOS 108900 HAS SOPS 99082 HAS SOUS 93614 HAS SOUPS 90498 WITH SCORE 90606.9
AT ITER 209 NEW BEST:: SOT 246454 SOS 109013 HAS SOPS 99425 HAS SOUS 93213 HAS SOUPS 90209 WITH SCORE 90318.013
AT ITER 211 NEW BEST:: SOT 246347 SOS 108885 HAS SOPS 99211 HAS SOUS 92999 HAS SOUPS 89995 WITH SCORE 90103.885
AT ITER 212 NEW BEST:: SOT 246300 SOS 108760 HAS SOPS 99086 HAS SOUS 92999 HAS SOUPS 89995 WITH SCORE 90103.76
AT ITER 222 NEW BEST:: SOT 246362 SOS 108575 HAS SOPS 99187 HAS SOUS 92150 HAS SOUPS 89241 WITH SCORE 89349.575
AT ITER 226 NEW BEST:: SOT 246362 SOS 108289 HAS SOPS 98901 HAS SOUS 92150 HAS SOUPS 89241 WITH SCORE 89349.289
AT ITER 229 NEW BEST:: SOT 246488 SOS 108306 HAS SOPS 98449 HAS SOUS 91945 HAS SOUPS 88898 WITH SCORE 89006.306
AT ITER 240 NEW BEST:: SOT 246478 SOS 108286 HAS SOPS 98429 HAS SOUS 91925 HAS SOUPS 88878 WITH SCORE 88986.286
AT ITER 241 NEW BEST:: SOT 246478 SOS 108182 HAS SOPS 98325 HAS SOUS 91925 HAS SOUPS 88878 WITH SCORE 88986.182
AT ITER 254 NEW BEST:: SOT 246289 SOS 107945 HAS SOPS 98073 HAS SOUS 91688 HAS SOUPS 88626 WITH SCORE 88733.945
AT ITER 258 NEW BEST:: SOT 246226 SOS 107819 HAS SOPS 97947 HAS SOUS 91562 HAS SOUPS 88500 WITH SCORE 88607.819
AT ITER 270 NEW BEST:: SOT 246176 SOS 107719 HAS SOPS 97847 HAS SOUS 91524 HAS SOUPS 88462 WITH SCORE 88569.719
AT ITER 272 NEW BEST:: SOT 246168 SOS 107703 HAS SOPS 97831 HAS SOUS 91508 HAS SOUPS 88446 WITH SCORE 88553.703
AT ITER 277 NEW BEST:: SOT 245684 SOS 107063 HAS SOPS 97201 HAS SOUS 90935 HAS SOUPS 87883 WITH SCORE 87990.063
AT ITER 284 NEW BEST:: SOT 245684 SOS 107063 HAS SOPS 97201 HAS SOUS 90906 HAS SOUPS 87854 WITH SCORE 87961.063
AT ITER 285 NEW BEST:: SOT 245677 SOS 107049 HAS SOPS 97187 HAS SOUS 90892 HAS SOUPS 87840 WITH SCORE 87947.049
AT ITER 290 NEW BEST:: SOT 245647 SOS 106989 HAS SOPS 97127 HAS SOUS 90832 HAS SOUPS 87780 WITH SCORE 87886.989
AT ITER 298 NEW BEST:: SOT 245594 SOS 106909 HAS SOPS 96943 HAS SOUS 90718 HAS SOUPS 87666 WITH SCORE 87772.909
AT ITER 300 NEW BEST:: SOT 245619 SOS 106900 HAS SOPS 97005 HAS SOUS 90658 HAS SOUPS 87644 WITH SCORE 87750.9
AT ITER 301 NEW BEST:: SOT 245611 SOS 106884 HAS SOPS 96989 HAS SOUS 90642 HAS SOUPS 87628 WITH SCORE 87734.884
AT ITER 308 NEW BEST:: SOT 245538 SOS 106738 HAS SOPS 96843 HAS SOUS 90496 HAS SOUPS 87482 WITH SCORE 87588.738
AT ITER 311 NEW BEST:: SOT 245438 SOS 106556 HAS SOPS 96661 HAS SOUS 90407 HAS SOUPS 87393 WITH SCORE 87499.556
AT ITER 314 NEW BEST:: SOT 245392 SOS 106510 HAS SOPS 96615 HAS SOUS 90361 HAS SOUPS 87347 WITH SCORE 87453.51
AT ITER 316 NEW BEST:: SOT 245274 SOS 106333 HAS SOPS 96438 HAS SOUS 90184 HAS SOUPS 87170 WITH SCORE 87276.333
AT ITER 324 NEW BEST:: SOT 245256 SOS 106315 HAS SOPS 96420 HAS SOUS 90166 HAS SOUPS 87152 WITH SCORE 87258.315
AT ITER 327 NEW BEST:: SOT 245180 SOS 106109 HAS SOPS 96214 HAS SOUS 89960 HAS SOUPS 86946 WITH SCORE 87052.109
AT ITER 332 NEW BEST:: SOT 245097 SOS 105943 HAS SOPS 96048 HAS SOUS 89794 HAS SOUPS 86780 WITH SCORE 86885.943
AT ITER 334 NEW BEST:: SOT 245010 SOS 105769 HAS SOPS 95874 HAS SOUS 89620 HAS SOUPS 86606 WITH SCORE 86711.769
AT ITER 338 NEW BEST:: SOT 244964 SOS 105723 HAS SOPS 95828 HAS SOUS 89574 HAS SOUPS 86560 WITH SCORE 86665.723
AT ITER 341 NEW BEST:: SOT 244870 SOS 105528 HAS SOPS 95539 HAS SOUS 89480 HAS SOUPS 86466 WITH SCORE 86571.528
AT ITER 344 NEW BEST:: SOT 244860 SOS 105508 HAS SOPS 95519 HAS SOUS 89474 HAS SOUPS 86460 WITH SCORE 86565.508
AT ITER 350 NEW BEST:: SOT 244877 SOS 105542 HAS SOPS 95553 HAS SOUS 89446 HAS SOUPS 86432 WITH SCORE 86537.542
AT ITER 352 NEW BEST:: SOT 245412 SOS 105251 HAS SOPS 95839 HAS SOUS 88210 HAS SOUPS 85385 WITH SCORE 85490.251
AT ITER 353 NEW BEST:: SOT 245386 SOS 105365 HAS SOPS 95953 HAS SOUS 88160 HAS SOUPS 85335 WITH SCORE 85440.365
AT ITER 356 NEW BEST:: SOT 245384 SOS 105362 HAS SOPS 95949 HAS SOUS 88157 HAS SOUPS 85332 WITH SCORE 85437.362
AT ITER 365 NEW BEST:: SOT 245862 SOS 108108 HAS SOPS 96404 HAS SOUS 87564 HAS SOUPS 84715 WITH SCORE 84823.108
AT ITER 367 NEW BEST:: SOT 245767 SOS 108192 HAS SOPS 96493 HAS SOUS 87447 HAS SOUPS 84603 WITH SCORE 84711.192
AT ITER 371 NEW BEST:: SOT 245848 SOS 108045 HAS SOPS 96346 HAS SOUS 87300 HAS SOUPS 84456 WITH SCORE 84564.045
AT ITER 372 NEW BEST:: SOT 245795 SOS 107939 HAS SOPS 96240 HAS SOUS 87194 HAS SOUPS 84350 WITH SCORE 84457.939
AT ITER 378 NEW BEST:: SOT 245781 SOS 107918 HAS SOPS 96219 HAS SOUS 87173 HAS SOUPS 84329 WITH SCORE 84436.918
AT ITER 380 NEW BEST:: SOT 245717 SOS 107790 HAS SOPS 96091 HAS SOUS 87045 HAS SOUPS 84201 WITH SCORE 84308.79
AT ITER 388 NEW BEST:: SOT 245642 SOS 107634 HAS SOPS 95935 HAS SOUS 86932 HAS SOUPS 84088 WITH SCORE 84195.634
AT ITER 403 NEW BEST:: SOT 245585 SOS 107520 HAS SOPS 95821 HAS SOUS 86818 HAS SOUPS 83974 WITH SCORE 84081.52
AT ITER 408 NEW BEST:: SOT 245368 SOS 108286 HAS SOPS 96495 HAS SOUS 86609 HAS SOUPS 83701 WITH SCORE 83809.286
AT ITER 429 NEW BEST:: SOT 245363 SOS 108276 HAS SOPS 96485 HAS SOUS 86599 HAS SOUPS 83691 WITH SCORE 83799.276
AT ITER 442 NEW BEST:: SOT 245244 SOS 108128 HAS SOPS 96132 HAS SOUS 86246 HAS SOUPS 83338 WITH SCORE 83446.128
AT ITER 443 NEW BEST:: SOT 245673 SOS 108440 HAS SOPS 96684 HAS SOUS 85904 HAS SOUPS 83133 WITH SCORE 83241.44
AT ITER 447 NEW BEST:: SOT 245658 SOS 108325 HAS SOPS 96501 HAS SOUS 85931 HAS SOUPS 83126 WITH SCORE 83234.325
AT ITER 451 NEW BEST:: SOT 245562 SOS 108133 HAS SOPS 96309 HAS SOUS 85739 HAS SOUPS 82934 WITH SCORE 83042.133
AT ITER 452 NEW BEST:: SOT 245524 SOS 108116 HAS SOPS 96295 HAS SOUS 85736 HAS SOUPS 82931 WITH SCORE 83039.116
AT ITER 467 NEW BEST:: SOT 245160 SOS 107780 HAS SOPS 95903 HAS SOUS 85381 HAS SOUPS 82548 WITH SCORE 82655.78
AT ITER 472 NEW BEST:: SOT 245097 SOS 107707 HAS SOPS 95830 HAS SOUS 85265 HAS SOUPS 82432 WITH SCORE 82539.707
AT ITER 478 NEW BEST:: SOT 245298 SOS 107863 HAS SOPS 96076 HAS SOUS 85074 HAS SOUPS 82286 WITH SCORE 82393.863
AT ITER 482 NEW BEST:: SOT 245267 SOS 107801 HAS SOPS 96014 HAS SOUS 85012 HAS SOUPS 82224 WITH SCORE 82331.801
AT ITER 484 NEW BEST:: SOT 245267 SOS 107731 HAS SOPS 95974 HAS SOUS 84932 HAS SOUPS 82154 WITH SCORE 82261.731
AT ITER 485 NEW BEST:: SOT 245296 SOS 107673 HAS SOPS 95844 HAS SOUS 84889 HAS SOUPS 82111 WITH SCORE 82218.673
AT ITER 489 NEW BEST:: SOT 245242 SOS 107625 HAS SOPS 95743 HAS SOUS 84835 HAS SOUPS 82057 WITH SCORE 82164.625
AT ITER 491 NEW BEST:: SOT 245213 SOS 107596 HAS SOPS 95714 HAS SOUS 84777 HAS SOUPS 81999 WITH SCORE 82106.596
AT ITER 494 NEW BEST:: SOT 245209 SOS 107588 HAS SOPS 95666 HAS SOUS 84741 HAS SOUPS 81923 WITH SCORE 82030.588
AT ITER 500 NEW BEST:: SOT 245010 SOS 107190 HAS SOPS 95268 HAS SOUS 84343 HAS SOUPS 81525 WITH SCORE 81632.19
AT ITER 503 NEW BEST:: SOT 244897 SOS 107197 HAS SOPS 95138 HAS SOUS 84270 HAS SOUPS 81452 WITH SCORE 81559.197
AT ITER 516 NEW BEST:: SOT 244835 SOS 107174 HAS SOPS 95115 HAS SOUS 84219 HAS SOUPS 81401 WITH SCORE 81508.174
AT ITER 518 NEW BEST:: SOT 244805 SOS 107114 HAS SOPS 95055 HAS SOUS 84159 HAS SOUPS 81341 WITH SCORE 81448.114
AT ITER 534 NEW BEST:: SOT 244805 SOS 107060 HAS SOPS 95055 HAS SOUS 84159 HAS SOUPS 81341 WITH SCORE 81448.06
AT ITER 536 NEW BEST:: SOT 244791 SOS 107032 HAS SOPS 95027 HAS SOUS 84131 HAS SOUPS 81313 WITH SCORE 81420.032
AT ITER 537 NEW BEST:: SOT 244042 SOS 106890 HAS SOPS 94950 HAS SOUS 83516 HAS SOUPS 80773 WITH SCORE 80879.89
AT ITER 539 NEW BEST:: SOT 244030 SOS 106854 HAS SOPS 94926 HAS SOUS 83504 HAS SOUPS 80761 WITH SCORE 80867.854
AT ITER 541 NEW BEST:: SOT 244002 SOS 106798 HAS SOPS 94870 HAS SOUS 83448 HAS SOUPS 80705 WITH SCORE 80811.798
AT ITER 542 NEW BEST:: SOT 243331 SOS 106210 HAS SOPS 94199 HAS SOUS 82915 HAS SOUPS 80104 WITH SCORE 80210.21
AT ITER 548 NEW BEST:: SOT 243280 SOS 106170 HAS SOPS 94148 HAS SOUS 82899 HAS SOUPS 80077 WITH SCORE 80183.17
AT ITER 549 NEW BEST:: SOT 243222 SOS 105988 HAS SOPS 93966 HAS SOUS 82851 HAS SOUPS 80029 WITH SCORE 80134.988
AT ITER 553 NEW BEST:: SOT 243009 SOS 104761 HAS SOPS 93938 HAS SOUS 82617 HAS SOUPS 79995 WITH SCORE 80099.761
AT ITER 554 NEW BEST:: SOT 242934 SOS 104686 HAS SOPS 93863 HAS SOUS 82542 HAS SOUPS 79920 WITH SCORE 80024.686
AT ITER 558 NEW BEST:: SOT 242918 SOS 104654 HAS SOPS 93831 HAS SOUS 82510 HAS SOUPS 79888 WITH SCORE 79992.654
AT ITER 560 NEW BEST:: SOT 242647 SOS 104569 HAS SOPS 94723 HAS SOUS 81283 HAS SOUPS 78838 WITH SCORE 78942.569
AT ITER 564 NEW BEST:: SOT 242462 SOS 104440 HAS SOPS 94606 HAS SOUS 81166 HAS SOUPS 78721 WITH SCORE 78825.44
AT ITER 568 NEW BEST:: SOT 242435 SOS 104386 HAS SOPS 94552 HAS SOUS 81112 HAS SOUPS 78667 WITH SCORE 78771.386
AT ITER 598 NEW BEST:: SOT 242396 SOS 104381 HAS SOPS 94547 HAS SOUS 81080 HAS SOUPS 78635 WITH SCORE 78739.381
AT ITER 599 NEW BEST:: SOT 242390 SOS 104378 HAS SOPS 94541 HAS SOUS 81081 HAS SOUPS 78635 WITH SCORE 78739.378
AT ITER 601 NEW BEST:: SOT 242282 SOS 104421 HAS SOPS 94584 HAS SOUS 80966 HAS SOUPS 78520 WITH SCORE 78624.421
AT ITER 611 NEW BEST:: SOT 242224 SOS 104305 HAS SOPS 94468 HAS SOUS 80850 HAS SOUPS 78404 WITH SCORE 78508.305
AT ITER 613 NEW BEST:: SOT 242216 SOS 104289 HAS SOPS 94452 HAS SOUS 80834 HAS SOUPS 78388 WITH SCORE 78492.289
AT ITER 616 NEW BEST:: SOT 242258 SOS 104143 HAS SOPS 94306 HAS SOUS 80688 HAS SOUPS 78242 WITH SCORE 78346.143
AT ITER 637 NEW BEST:: SOT 242174 SOS 103817 HAS SOPS 94178 HAS SOUS 80386 HAS SOUPS 77982 WITH SCORE 78085.817
AT ITER 641 NEW BEST:: SOT 241934 SOS 103955 HAS SOPS 94019 HAS SOUS 80335 HAS SOUPS 77850 WITH SCORE 77953.955
AT ITER 647 NEW BEST:: SOT 241844 SOS 103910 HAS SOPS 93929 HAS SOUS 80350 HAS SOUPS 77850 WITH SCORE 77953.91
AT ITER 650 NEW BEST:: SOT 241806 SOS 103880 HAS SOPS 93914 HAS SOUS 80335 HAS SOUPS 77835 WITH SCORE 77938.88
AT ITER 651 NEW BEST:: SOT 241873 SOS 103806 HAS SOPS 93840 HAS SOUS 80261 HAS SOUPS 77761 WITH SCORE 77864.806
AT ITER 652 NEW BEST:: SOT 241729 SOS 103391 HAS SOPS 93425 HAS SOUS 79944 HAS SOUPS 77444 WITH SCORE 77547.391
AT ITER 675 NEW BEST:: SOT 241627 SOS 102777 HAS SOPS 93423 HAS SOUS 79232 HAS SOUPS 76834 WITH SCORE 76936.777
AT ITER 678 NEW BEST:: SOT 241586 SOS 102565 HAS SOPS 93176 HAS SOUS 79221 HAS SOUPS 76823 WITH SCORE 76925.565
AT ITER 681 NEW BEST:: SOT 241474 SOS 102404 HAS SOPS 93015 HAS SOUS 79108 HAS SOUPS 76710 WITH SCORE 76812.404
AT ITER 689 NEW BEST:: SOT 242101 SOS 101270 HAS SOPS 93080 HAS SOUS 78852 HAS SOUPS 76690 WITH SCORE 76791.27
AT ITER 690 NEW BEST:: SOT 242133 SOS 101265 HAS SOPS 93075 HAS SOUS 78847 HAS SOUPS 76685 WITH SCORE 76786.265
AT ITER 697 NEW BEST:: SOT 242033 SOS 101118 HAS SOPS 92778 HAS SOUS 78676 HAS SOUPS 76514 WITH SCORE 76615.118
AT ITER 706 NEW BEST:: SOT 242034 SOS 101045 HAS SOPS 92666 HAS SOUS 78679 HAS SOUPS 76478 WITH SCORE 76579.045
AT ITER 708 NEW BEST:: SOT 241879 SOS 101413 HAS SOPS 92436 HAS SOUS 78695 HAS SOUPS 76345 WITH SCORE 76446.413
AT ITER 709 NEW BEST:: SOT 241879 SOS 101381 HAS SOPS 92404 HAS SOUS 78695 HAS SOUPS 76345 WITH SCORE 76446.381
AT ITER 710 NEW BEST:: SOT 241744 SOS 101305 HAS SOPS 92314 HAS SOUS 78560 HAS SOUPS 76210 WITH SCORE 76311.305
AT ITER 713 NEW BEST:: SOT 241149 SOS 101636 HAS SOPS 92711 HAS SOUS 78320 HAS SOUPS 76036 WITH SCORE 76137.636
AT ITER 724 NEW BEST:: SOT 241136 SOS 101597 HAS SOPS 92685 HAS SOUS 78307 HAS SOUPS 76023 WITH SCORE 76124.597
AT ITER 729 NEW BEST:: SOT 241127 SOS 101579 HAS SOPS 92667 HAS SOUS 78289 HAS SOUPS 76005 WITH SCORE 76106.579
AT ITER 745 NEW BEST:: SOT 241132 SOS 101584 HAS SOPS 92410 HAS SOUS 78206 HAS SOUPS 75922 WITH SCORE 76023.584
AT ITER 746 NEW BEST:: SOT 241116 SOS 101512 HAS SOPS 92378 HAS SOUS 78197 HAS SOUPS 75913 WITH SCORE 76014.512
AT ITER 752 NEW BEST:: SOT 241068 SOS 101416 HAS SOPS 92330 HAS SOUS 78149 HAS SOUPS 75865 WITH SCORE 75966.416
AT ITER 753 NEW BEST:: SOT 241022 SOS 101324 HAS SOPS 92238 HAS SOUS 78057 HAS SOUPS 75773 WITH SCORE 75874.324
AT ITER 754 NEW BEST:: SOT 240881 SOS 101134 HAS SOPS 92048 HAS SOUS 77933 HAS SOUPS 75649 WITH SCORE 75750.134
AT ITER 755 NEW BEST:: SOT 240789 SOS 100950 HAS SOPS 91864 HAS SOUS 77792 HAS SOUPS 75508 WITH SCORE 75608.95
AT ITER 763 NEW BEST:: SOT 240793 SOS 101046 HAS SOPS 91872 HAS SOUS 77741 HAS SOUPS 75457 WITH SCORE 75558.046
AT ITER 779 NEW BEST:: SOT 240678 SOS 100998 HAS SOPS 91642 HAS SOUS 77728 HAS SOUPS 75444 WITH SCORE 75544.998
AT ITER 781 NEW BEST:: SOT 240626 SOS 100905 HAS SOPS 91541 HAS SOUS 77665 HAS SOUPS 75381 WITH SCORE 75481.905
AT ITER 782 NEW BEST:: SOT 240568 SOS 100816 HAS SOPS 91483 HAS SOUS 77607 HAS SOUPS 75323 WITH SCORE 75423.816
AT ITER 784 NEW BEST:: SOT 241638 SOS 100730 HAS SOPS 91949 HAS SOUS 76698 HAS SOUPS 74634 WITH SCORE 74734.73
AT ITER 794 NEW BEST:: SOT 241618 SOS 100690 HAS SOPS 91909 HAS SOUS 76658 HAS SOUPS 74594 WITH SCORE 74694.69
AT ITER 798 NEW BEST:: SOT 241657 SOS 100703 HAS SOPS 91922 HAS SOUS 76643 HAS SOUPS 74579 WITH SCORE 74679.703
AT ITER 807 NEW BEST:: SOT 241574 SOS 100615 HAS SOPS 91756 HAS SOUS 76477 HAS SOUPS 74413 WITH SCORE 74513.615
AT ITER 811 NEW BEST:: SOT 241574 SOS 100563 HAS SOPS 91704 HAS SOUS 76477 HAS SOUPS 74413 WITH SCORE 74513.563
AT ITER 812 NEW BEST:: SOT 241574 SOS 100387 HAS SOPS 91528 HAS SOUS 76477 HAS SOUPS 74413 WITH SCORE 74513.387
AT ITER 814 NEW BEST:: SOT 241608 SOS 100402 HAS SOPS 91559 HAS SOUS 76396 HAS SOUPS 74346 WITH SCORE 74446.402
AT ITER 816 NEW BEST:: SOT 241569 SOS 100324 HAS SOPS 91481 HAS SOUS 76318 HAS SOUPS 74268 WITH SCORE 74368.324
AT ITER 818 NEW BEST:: SOT 241569 SOS 100320 HAS SOPS 91488 HAS SOUS 76303 HAS SOUPS 74262 WITH SCORE 74362.32
AT ITER 819 NEW BEST:: SOT 240580 SOS 100114 HAS SOPS 90310 HAS SOUS 76378 HAS SOUPS 74139 WITH SCORE 74239.114
AT ITER 832 NEW BEST:: SOT 240505 SOS 100039 HAS SOPS 90235 HAS SOUS 76303 HAS SOUPS 74064 WITH SCORE 74164.039
AT ITER 840 NEW BEST:: SOT 240468 SOS 99965 HAS SOPS 90161 HAS SOUS 76229 HAS SOUPS 73990 WITH SCORE 74089.965
AT ITER 846 NEW BEST:: SOT 240473 SOS 99715 HAS SOPS 90166 HAS SOUS 76173 HAS SOUPS 73968 WITH SCORE 74067.715
AT ITER 851 NEW BEST:: SOT 240473 SOS 99697 HAS SOPS 90148 HAS SOUS 76155 HAS SOUPS 73950 WITH SCORE 74049.697
AT ITER 866 NEW BEST:: SOT 240348 SOS 99447 HAS SOPS 89898 HAS SOUS 75905 HAS SOUPS 73700 WITH SCORE 73799.447
AT ITER 878 NEW BEST:: SOT 240305 SOS 99275 HAS SOPS 89640 HAS SOUS 75819 HAS SOUPS 73528 WITH SCORE 73627.275
AT ITER 882 NEW BEST:: SOT 240275 SOS 99274 HAS SOPS 89646 HAS SOUS 75799 HAS SOUPS 73508 WITH SCORE 73607.274
AT ITER 886 NEW BEST:: SOT 240238 SOS 99254 HAS SOPS 89572 HAS SOUS 75725 HAS SOUPS 73434 WITH SCORE 73533.254
AT ITER 891 NEW BEST:: SOT 240237 SOS 99252 HAS SOPS 89570 HAS SOUS 75723 HAS SOUPS 73432 WITH SCORE 73531.252
AT ITER 896 NEW BEST:: SOT 240219 SOS 99216 HAS SOPS 89534 HAS SOUS 75665 HAS SOUPS 73374 WITH SCORE 73473.216
AT ITER 901 NEW BEST:: SOT 240120 SOS 99122 HAS SOPS 89440 HAS SOUS 75476 HAS SOUPS 73185 WITH SCORE 73284.122
AT ITER 905 NEW BEST:: SOT 240120 SOS 99108 HAS SOPS 89436 HAS SOUS 75466 HAS SOUPS 73177 WITH SCORE 73276.108
AT ITER 913 NEW BEST:: SOT 240325 SOS 98127 HAS SOPS 89174 HAS SOUS 74818 HAS SOUPS 72665 WITH SCORE 72763.127
AT ITER 931 NEW BEST:: SOT 240279 SOS 98035 HAS SOPS 89082 HAS SOUS 74726 HAS SOUPS 72573 WITH SCORE 72671.035
AT ITER 951 NEW BEST:: SOT 240253 SOS 97983 HAS SOPS 89030 HAS SOUS 74674 HAS SOUPS 72521 WITH SCORE 72618.983
AT ITER 960 NEW BEST:: SOT 239336 SOS 97194 HAS SOPS 88157 HAS SOUS 74534 HAS SOUPS 72329 WITH SCORE 72426.194
AT ITER 979 NEW BEST:: SOT 239270 SOS 97072 HAS SOPS 88035 HAS SOUS 74468 HAS SOUPS 72263 WITH SCORE 72360.072
AT ITER 993 NEW BEST:: SOT 239261 SOS 97027 HAS SOPS 87952 HAS SOUS 74385 HAS SOUPS 72180 WITH SCORE 72277.027
AT ITER 996 NEW BEST:: SOT 239232 SOS 96969 HAS SOPS 87923 HAS SOUS 74327 HAS SOUPS 72151 WITH SCORE 72247.969
AT ITER 998 NEW BEST:: SOT 239232 SOS 96948 HAS SOPS 87902 HAS SOUS 74306 HAS SOUPS 72130 WITH SCORE 72226.948
AT ITER 1004 NEW BEST:: SOT 239220 SOS 96924 HAS SOPS 87878 HAS SOUS 74282 HAS SOUPS 72106 WITH SCORE 72202.924
AT ITER 1005 NEW BEST:: SOT 239159 SOS 96799 HAS SOPS 87756 HAS SOUS 74160 HAS SOUPS 71984 WITH SCORE 72080.799
AT ITER 1016 NEW BEST:: SOT 239021 SOS 96488 HAS SOPS 87365 HAS SOUS 73769 HAS SOUPS 71593 WITH SCORE 71689.488
AT ITER 1028 NEW BEST:: SOT 238967 SOS 96452 HAS SOPS 87311 HAS SOUS 73725 HAS SOUPS 71539 WITH SCORE 71635.452
AT ITER 1042 NEW BEST:: SOT 238918 SOS 96332 HAS SOPS 87111 HAS SOUS 73529 HAS SOUPS 71343 WITH SCORE 71439.332
AT ITER 1053 NEW BEST:: SOT 238929 SOS 96402 HAS SOPS 87112 HAS SOUS 73517 HAS SOUPS 71318 WITH SCORE 71414.402
AT ITER 1054 NEW BEST:: SOT 238923 SOS 96390 HAS SOPS 87100 HAS SOUS 73505 HAS SOUPS 71306 WITH SCORE 71402.39
AT ITER 1057 NEW BEST:: SOT 238872 SOS 96339 HAS SOPS 87049 HAS SOUS 73454 HAS SOUPS 71255 WITH SCORE 71351.339
AT ITER 1077 NEW BEST:: SOT 238895 SOS 96263 HAS SOPS 86973 HAS SOUS 73378 HAS SOUPS 71179 WITH SCORE 71275.263
AT ITER 1079 NEW BEST:: SOT 238924 SOS 96152 HAS SOPS 86862 HAS SOUS 73305 HAS SOUPS 71106 WITH SCORE 71202.152
AT ITER 1090 NEW BEST:: SOT 238904 SOS 96124 HAS SOPS 86797 HAS SOUS 73240 HAS SOUPS 71041 WITH SCORE 71137.124
AT ITER 1091 NEW BEST:: SOT 238847 SOS 96010 HAS SOPS 86683 HAS SOUS 73126 HAS SOUPS 70927 WITH SCORE 71023.01
AT ITER 1102 NEW BEST:: SOT 238680 SOS 95868 HAS SOPS 86516 HAS SOUS 73046 HAS SOUPS 70828 WITH SCORE 70923.868
AT ITER 1104 NEW BEST:: SOT 238586 SOS 95762 HAS SOPS 86410 HAS SOUS 72830 HAS SOUPS 70612 WITH SCORE 70707.762
AT ITER 1105 NEW BEST:: SOT 238556 SOS 95706 HAS SOPS 86354 HAS SOUS 72813 HAS SOUPS 70595 WITH SCORE 70690.706
AT ITER 1107 NEW BEST:: SOT 238551 SOS 95701 HAS SOPS 86349 HAS SOUS 72808 HAS SOUPS 70590 WITH SCORE 70685.701
AT ITER 1117 NEW BEST:: SOT 238551 SOS 95657 HAS SOPS 86305 HAS SOUS 72808 HAS SOUPS 70590 WITH SCORE 70685.657
AT ITER 1121 NEW BEST:: SOT 238535 SOS 95587 HAS SOPS 86235 HAS SOUS 72773 HAS SOUPS 70555 WITH SCORE 70650.587
AT ITER 1124 NEW BEST:: SOT 238415 SOS 95347 HAS SOPS 85995 HAS SOUS 72651 HAS SOUPS 70433 WITH SCORE 70528.347
AT ITER 1129 NEW BEST:: SOT 238415 SOS 95345 HAS SOPS 85993 HAS SOUS 72649 HAS SOUPS 70431 WITH SCORE 70526.345
AT ITER 1131 NEW BEST:: SOT 238182 SOS 95248 HAS SOPS 85726 HAS SOUS 72557 HAS SOUPS 70305 WITH SCORE 70400.248
AT ITER 1132 NEW BEST:: SOT 238152 SOS 95429 HAS SOPS 85929 HAS SOUS 72538 HAS SOUPS 70286 WITH SCORE 70381.429
AT ITER 1142 NEW BEST:: SOT 238078 SOS 95409 HAS SOPS 85909 HAS SOUS 72491 HAS SOUPS 70239 WITH SCORE 70334.409
AT ITER 1145 NEW BEST:: SOT 237982 SOS 95314 HAS SOPS 85726 HAS SOUS 72357 HAS SOUPS 70105 WITH SCORE 70200.314
AT ITER 1152 NEW BEST:: SOT 237909 SOS 95484 HAS SOPS 85896 HAS SOUS 72211 HAS SOUPS 69959 WITH SCORE 70054.484
AT ITER 1153 NEW BEST:: SOT 237879 SOS 95500 HAS SOPS 85912 HAS SOUS 72176 HAS SOUPS 69924 WITH SCORE 70019.5
AT ITER 1154 NEW BEST:: SOT 237850 SOS 95582 HAS SOPS 85994 HAS SOUS 72131 HAS SOUPS 69879 WITH SCORE 69974.582
AT ITER 1156 NEW BEST:: SOT 237925 SOS 95032 HAS SOPS 85694 HAS SOUS 71706 HAS SOUPS 69529 WITH SCORE 69624.032
AT ITER 1157 NEW BEST:: SOT 237871 SOS 94788 HAS SOPS 85450 HAS SOUS 71562 HAS SOUPS 69385 WITH SCORE 69479.788
AT ITER 1162 NEW BEST:: SOT 237806 SOS 94768 HAS SOPS 85370 HAS SOUS 71497 HAS SOUPS 69305 WITH SCORE 69399.768
AT ITER 1166 NEW BEST:: SOT 237628 SOS 96341 HAS SOPS 85243 HAS SOUS 71637 HAS SOUPS 69178 WITH SCORE 69274.341
AT ITER 1168 NEW BEST:: SOT 237544 SOS 96263 HAS SOPS 85075 HAS SOUS 71469 HAS SOUPS 69010 WITH SCORE 69106.263
AT ITER 1175 NEW BEST:: SOT 237476 SOS 96439 HAS SOPS 85261 HAS SOUS 71466 HAS SOUPS 69007 WITH SCORE 69103.439
AT ITER 1176 NEW BEST:: SOT 237472 SOS 96431 HAS SOPS 85249 HAS SOUS 71458 HAS SOUPS 68999 WITH SCORE 69095.431
AT ITER 1177 NEW BEST:: SOT 237447 SOS 96426 HAS SOPS 85244 HAS SOUS 71453 HAS SOUPS 68994 WITH SCORE 69090.426
AT ITER 1178 NEW BEST:: SOT 237421 SOS 96374 HAS SOPS 85192 HAS SOUS 71401 HAS SOUPS 68942 WITH SCORE 69038.374
AT ITER 1183 NEW BEST:: SOT 237390 SOS 96387 HAS SOPS 85051 HAS SOUS 71339 HAS SOUPS 68880 WITH SCORE 68976.387
AT ITER 1191 NEW BEST:: SOT 237386 SOS 96383 HAS SOPS 85045 HAS SOUS 71333 HAS SOUPS 68874 WITH SCORE 68970.383
AT ITER 1197 NEW BEST:: SOT 237320 SOS 96251 HAS SOPS 84913 HAS SOUS 71201 HAS SOUPS 68742 WITH SCORE 68838.251
AT ITER 1206 NEW BEST:: SOT 237295 SOS 96270 HAS SOPS 84932 HAS SOUS 71151 HAS SOUPS 68692 WITH SCORE 68788.27
AT ITER 1223 NEW BEST:: SOT 236947 SOS 95922 HAS SOPS 84584 HAS SOUS 70780 HAS SOUPS 68321 WITH SCORE 68416.922
AT ITER 1228 NEW BEST:: SOT 236945 SOS 95920 HAS SOPS 84581 HAS SOUS 70777 HAS SOUPS 68318 WITH SCORE 68413.92
AT ITER 1229 NEW BEST:: SOT 236915 SOS 95860 HAS SOPS 84521 HAS SOUS 70717 HAS SOUPS 68258 WITH SCORE 68353.86
AT ITER 1234 NEW BEST:: SOT 236714 SOS 95713 HAS SOPS 84114 HAS SOUS 70540 HAS SOUPS 68081 WITH SCORE 68176.713
AT ITER 1239 NEW BEST:: SOT 236688 SOS 95619 HAS SOPS 84007 HAS SOUS 70433 HAS SOUPS 67974 WITH SCORE 68069.619
AT ITER 1242 NEW BEST:: SOT 236688 SOS 95577 HAS SOPS 84007 HAS SOUS 70433 HAS SOUPS 67974 WITH SCORE 68069.577
AT ITER 1244 NEW BEST:: SOT 236548 SOS 95745 HAS SOPS 84187 HAS SOUS 70345 HAS SOUPS 67886 WITH SCORE 67981.745
AT ITER 1246 NEW BEST:: SOT 236546 SOS 95741 HAS SOPS 84183 HAS SOUS 70341 HAS SOUPS 67882 WITH SCORE 67977.741
AT ITER 1253 NEW BEST:: SOT 236519 SOS 95735 HAS SOPS 84162 HAS SOUS 70314 HAS SOUPS 67855 WITH SCORE 67950.735
AT ITER 1262 NEW BEST:: SOT 236480 SOS 95657 HAS SOPS 84084 HAS SOUS 70236 HAS SOUPS 67777 WITH SCORE 67872.657
AT ITER 1270 NEW BEST:: SOT 236465 SOS 95627 HAS SOPS 84054 HAS SOUS 70206 HAS SOUPS 67747 WITH SCORE 67842.627
AT ITER 1281 NEW BEST:: SOT 236457 SOS 95626 HAS SOPS 84053 HAS SOUS 70205 HAS SOUPS 67746 WITH SCORE 67841.626
AT ITER 1290 NEW BEST:: SOT 236432 SOS 95583 HAS SOPS 84010 HAS SOUS 70162 HAS SOUPS 67703 WITH SCORE 67798.583
AT ITER 1321 NEW BEST:: SOT 236423 SOS 95565 HAS SOPS 83992 HAS SOUS 70144 HAS SOUPS 67685 WITH SCORE 67780.565
AT ITER 1324 NEW BEST:: SOT 236571 SOS 95471 HAS SOPS 83898 HAS SOUS 70050 HAS SOUPS 67591 WITH SCORE 67686.471
AT ITER 1347 NEW BEST:: SOT 236531 SOS 95431 HAS SOPS 83858 HAS SOUS 69999 HAS SOUPS 67540 WITH SCORE 67635.431
AT ITER 1351 NEW BEST:: SOT 236531 SOS 95431 HAS SOPS 83858 HAS SOUS 69984 HAS SOUPS 67525 WITH SCORE 67620.431
AT ITER 1364 NEW BEST:: SOT 236550 SOS 95493 HAS SOPS 83853 HAS SOUS 69982 HAS SOUPS 67520 WITH SCORE 67615.493
AT ITER 1368 NEW BEST:: SOT 236920 SOS 94955 HAS SOPS 84486 HAS SOUS 69664 HAS SOUPS 67333 WITH SCORE 67427.955
AT ITER 1373 NEW BEST:: SOT 236918 SOS 94951 HAS SOPS 84482 HAS SOUS 69660 HAS SOUPS 67329 WITH SCORE 67423.951
AT ITER 1380 NEW BEST:: SOT 236898 SOS 94911 HAS SOPS 84442 HAS SOUS 69620 HAS SOUPS 67289 WITH SCORE 67383.911
AT ITER 1384 NEW BEST:: SOT 236869 SOS 94882 HAS SOPS 84384 HAS SOUS 69562 HAS SOUPS 67231 WITH SCORE 67325.882
AT ITER 1386 NEW BEST:: SOT 236824 SOS 94548 HAS SOPS 84050 HAS SOUS 69472 HAS SOUPS 67141 WITH SCORE 67235.548
AT ITER 1392 NEW BEST:: SOT 236788 SOS 94512 HAS SOPS 83978 HAS SOUS 69436 HAS SOUPS 67069 WITH SCORE 67163.512
AT ITER 1402 NEW BEST:: SOT 236794 SOS 94583 HAS SOPS 84049 HAS SOUS 69388 HAS SOUPS 67021 WITH SCORE 67115.583
AT ITER 1409 NEW BEST:: SOT 236627 SOS 94319 HAS SOPS 83785 HAS SOUS 69203 HAS SOUPS 66836 WITH SCORE 66930.319
AT ITER 1425 NEW BEST:: SOT 236529 SOS 93829 HAS SOPS 83295 HAS SOUS 69108 HAS SOUPS 66741 WITH SCORE 66834.829
AT ITER 1427 NEW BEST:: SOT 236511 SOS 93793 HAS SOPS 83259 HAS SOUS 69090 HAS SOUPS 66723 WITH SCORE 66816.793
AT ITER 1428 NEW BEST:: SOT 236511 SOS 93299 HAS SOPS 83259 HAS SOUS 69055 HAS SOUPS 66723 WITH SCORE 66816.299
AT ITER 1431 NEW BEST:: SOT 236441 SOS 93173 HAS SOPS 83224 HAS SOUS 69020 HAS SOUPS 66688 WITH SCORE 66781.173
AT ITER 1434 NEW BEST:: SOT 236416 SOS 93123 HAS SOPS 83174 HAS SOUS 68970 HAS SOUPS 66638 WITH SCORE 66731.123
AT ITER 1435 NEW BEST:: SOT 236402 SOS 92847 HAS SOPS 82898 HAS SOUS 68942 HAS SOUPS 66610 WITH SCORE 66702.847
AT ITER 1448 NEW BEST:: SOT 236393 SOS 92845 HAS SOPS 82896 HAS SOUS 68940 HAS SOUPS 66608 WITH SCORE 66700.845
AT ITER 1449 NEW BEST:: SOT 236356 SOS 91340 HAS SOPS 82191 HAS SOUS 68739 HAS SOUPS 66555 WITH SCORE 66646.34
AT ITER 1453 NEW BEST:: SOT 236200 SOS 89786 HAS SOPS 80637 HAS SOUS 68691 HAS SOUPS 66507 WITH SCORE 66596.786
AT ITER 1458 NEW BEST:: SOT 236232 SOS 89600 HAS SOPS 80451 HAS SOUS 68627 HAS SOUPS 66443 WITH SCORE 66532.6
AT ITER 1466 NEW BEST:: SOT 236232 SOS 89608 HAS SOPS 80411 HAS SOUS 68623 HAS SOUPS 66419 WITH SCORE 66508.608
AT ITER 1468 NEW BEST:: SOT 236208 SOS 89584 HAS SOPS 80387 HAS SOUS 68599 HAS SOUPS 66395 WITH SCORE 66484.584
AT ITER 1475 NEW BEST:: SOT 236210 SOS 89516 HAS SOPS 80307 HAS SOUS 68560 HAS SOUPS 66356 WITH SCORE 66445.516
AT ITER 1479 NEW BEST:: SOT 236200 SOS 89496 HAS SOPS 80287 HAS SOUS 68540 HAS SOUPS 66336 WITH SCORE 66425.496
AT ITER 1492 NEW BEST:: SOT 236283 SOS 89478 HAS SOPS 80167 HAS SOUS 68493 HAS SOUPS 66283 WITH SCORE 66372.478
AT ITER 1497 NEW BEST:: SOT 236255 SOS 89436 HAS SOPS 80125 HAS SOUS 68451 HAS SOUPS 66241 WITH SCORE 66330.436
AT ITER 1499 NEW BEST:: SOT 236231 SOS 89400 HAS SOPS 80077 HAS SOUS 68403 HAS SOUPS 66193 WITH SCORE 66282.4
AT ITER 1502 NEW BEST:: SOT 236178 SOS 89294 HAS SOPS 79971 HAS SOUS 68297 HAS SOUPS 66087 WITH SCORE 66176.294
AT ITER 1506 NEW BEST:: SOT 236165 SOS 89316 HAS SOPS 79993 HAS SOUS 68271 HAS SOUPS 66061 WITH SCORE 66150.316
AT ITER 1515 NEW BEST:: SOT 236165 SOS 89311 HAS SOPS 79990 HAS SOUS 68261 HAS SOUPS 66052 WITH SCORE 66141.311
AT ITER 1528 NEW BEST:: SOT 236152 SOS 89325 HAS SOPS 80004 HAS SOUS 68235 HAS SOUPS 66026 WITH SCORE 66115.325
AT ITER 1533 NEW BEST:: SOT 235949 SOS 88961 HAS SOPS 79571 HAS SOUS 68182 HAS SOUPS 65904 WITH SCORE 65992.961
AT ITER 1541 NEW BEST:: SOT 235955 SOS 88999 HAS SOPS 79746 HAS SOUS 68144 HAS SOUPS 65888 WITH SCORE 65976.999
AT ITER 1548 NEW BEST:: SOT 235945 SOS 88989 HAS SOPS 79736 HAS SOUS 68134 HAS SOUPS 65878 WITH SCORE 65966.989
AT ITER 1571 NEW BEST:: SOT 235941 SOS 88981 HAS SOPS 79728 HAS SOUS 68126 HAS SOUPS 65870 WITH SCORE 65958.981
AT ITER 1581 NEW BEST:: SOT 235924 SOS 88964 HAS SOPS 79711 HAS SOUS 68109 HAS SOUPS 65853 WITH SCORE 65941.964
AT ITER 1590 NEW BEST:: SOT 235867 SOS 88567 HAS SOPS 79245 HAS SOUS 68029 HAS SOUPS 65773 WITH SCORE 65861.567
AT ITER 1597 NEW BEST:: SOT 235850 SOS 88533 HAS SOPS 79211 HAS SOUS 67995 HAS SOUPS 65739 WITH SCORE 65827.533
AT ITER 1605 NEW BEST:: SOT 235829 SOS 88485 HAS SOPS 79163 HAS SOUS 67974 HAS SOUPS 65718 WITH SCORE 65806.485
AT ITER 1611 NEW BEST:: SOT 235826 SOS 88407 HAS SOPS 79085 HAS SOUS 67940 HAS SOUPS 65684 WITH SCORE 65772.407
AT ITER 1618 NEW BEST:: SOT 235717 SOS 88231 HAS SOPS 78909 HAS SOUS 67796 HAS SOUPS 65540 WITH SCORE 65628.231
AT ITER 1626 NEW BEST:: SOT 235714 SOS 88225 HAS SOPS 78903 HAS SOUS 67790 HAS SOUPS 65534 WITH SCORE 65622.225
AT ITER 1628 NEW BEST:: SOT 235818 SOS 88327 HAS SOPS 79007 HAS SOUS 67726 HAS SOUPS 65472 WITH SCORE 65560.327
AT ITER 1635 NEW BEST:: SOT 235822 SOS 88326 HAS SOPS 79006 HAS SOUS 67721 HAS SOUPS 65467 WITH SCORE 65555.326
AT ITER 1659 NEW BEST:: SOT 235793 SOS 88268 HAS SOPS 78948 HAS SOUS 67663 HAS SOUPS 65409 WITH SCORE 65497.268
AT ITER 1664 NEW BEST:: SOT 235793 SOS 88183 HAS SOPS 78863 HAS SOUS 67663 HAS SOUPS 65409 WITH SCORE 65497.183
AT ITER 1680 NEW BEST:: SOT 235761 SOS 87421 HAS SOPS 78085 HAS SOUS 67615 HAS SOUPS 65361 WITH SCORE 65448.421
AT ITER 1686 NEW BEST:: SOT 235634 SOS 87207 HAS SOPS 77745 HAS SOUS 67361 HAS SOUPS 65107 WITH SCORE 65194.207
AT ITER 1687 NEW BEST:: SOT 235631 SOS 87198 HAS SOPS 77739 HAS SOUS 67355 HAS SOUPS 65101 WITH SCORE 65188.198
AT ITER 1688 NEW BEST:: SOT 235631 SOS 87063 HAS SOPS 77739 HAS SOUS 67355 HAS SOUPS 65101 WITH SCORE 65188.063
AT ITER 1695 NEW BEST:: SOT 235623 SOS 87032 HAS SOPS 77723 HAS SOUS 67339 HAS SOUPS 65085 WITH SCORE 65172.032
AT ITER 1715 NEW BEST:: SOT 235592 SOS 86911 HAS SOPS 77661 HAS SOUS 67308 HAS SOUPS 65054 WITH SCORE 65140.911
AT ITER 1719 NEW BEST:: SOT 235592 SOS 86775 HAS SOPS 77582 HAS SOUS 67159 HAS SOUPS 64924 WITH SCORE 65010.775
AT ITER 1727 NEW BEST:: SOT 235573 SOS 86773 HAS SOPS 77631 HAS SOUS 67140 HAS SOUPS 64905 WITH SCORE 64991.773
AT ITER 1732 NEW BEST:: SOT 235556 SOS 86804 HAS SOPS 77662 HAS SOUS 67106 HAS SOUPS 64871 WITH SCORE 64957.804
AT ITER 1736 NEW BEST:: SOT 235556 SOS 86736 HAS SOPS 77594 HAS SOUS 67106 HAS SOUPS 64871 WITH SCORE 64957.736
AT ITER 1740 NEW BEST:: SOT 235436 SOS 86646 HAS SOPS 77464 HAS SOUS 67026 HAS SOUPS 64781 WITH SCORE 64867.646
AT ITER 1744 NEW BEST:: SOT 235364 SOS 86543 HAS SOPS 77361 HAS SOUS 66954 HAS SOUPS 64709 WITH SCORE 64795.543
AT ITER 1750 NEW BEST:: SOT 235257 SOS 86329 HAS SOPS 77147 HAS SOUS 66847 HAS SOUPS 64602 WITH SCORE 64688.329
AT ITER 1753 NEW BEST:: SOT 235249 SOS 86335 HAS SOPS 77151 HAS SOUS 66831 HAS SOUPS 64586 WITH SCORE 64672.335
AT ITER 1757 NEW BEST:: SOT 235208 SOS 86227 HAS SOPS 77108 HAS SOUS 66749 HAS SOUPS 64504 WITH SCORE 64590.227
AT ITER 1764 NEW BEST:: SOT 235199 SOS 86354 HAS SOPS 77158 HAS SOUS 66740 HAS SOUPS 64495 WITH SCORE 64581.354
AT ITER 1776 NEW BEST:: SOT 235181 SOS 86300 HAS SOPS 77122 HAS SOUS 66722 HAS SOUPS 64477 WITH SCORE 64563.3
AT ITER 1782 NEW BEST:: SOT 235178 SOS 86294 HAS SOPS 77116 HAS SOUS 66716 HAS SOUPS 64471 WITH SCORE 64557.294
AT ITER 1802 NEW BEST:: SOT 235060 SOS 85940 HAS SOPS 76880 HAS SOUS 66598 HAS SOUPS 64353 WITH SCORE 64438.94
AT ITER 1808 NEW BEST:: SOT 235066 SOS 85892 HAS SOPS 76886 HAS SOUS 66568 HAS SOUPS 64333 WITH SCORE 64418.892
AT ITER 1813 NEW BEST:: SOT 235062 SOS 85884 HAS SOPS 76878 HAS SOUS 66560 HAS SOUPS 64325 WITH SCORE 64410.884
AT ITER 1816 NEW BEST:: SOT 235042 SOS 85860 HAS SOPS 76854 HAS SOUS 66536 HAS SOUPS 64301 WITH SCORE 64386.86
AT ITER 1836 NEW BEST:: SOT 234981 SOS 85802 HAS SOPS 76796 HAS SOUS 66414 HAS SOUPS 64179 WITH SCORE 64264.802
AT ITER 1843 NEW BEST:: SOT 234978 SOS 85907 HAS SOPS 76833 HAS SOUS 66408 HAS SOUPS 64173 WITH SCORE 64258.907
AT ITER 1857 NEW BEST:: SOT 234937 SOS 85866 HAS SOPS 76747 HAS SOUS 66322 HAS SOUPS 64087 WITH SCORE 64172.866
AT ITER 1859 NEW BEST:: SOT 234892 SOS 85920 HAS SOPS 76719 HAS SOUS 66294 HAS SOUPS 64059 WITH SCORE 64144.92
AT ITER 1862 NEW BEST:: SOT 234892 SOS 85920 HAS SOPS 76719 HAS SOUS 66275 HAS SOUPS 64040 WITH SCORE 64125.92
AT ITER 1880 NEW BEST:: SOT 234888 SOS 85912 HAS SOPS 76711 HAS SOUS 66267 HAS SOUPS 64032 WITH SCORE 64117.912
AT ITER 1883 NEW BEST:: SOT 234868 SOS 85872 HAS SOPS 76671 HAS SOUS 66227 HAS SOUPS 63992 WITH SCORE 64077.872
AT ITER 1892 NEW BEST:: SOT 234811 SOS 85758 HAS SOPS 76557 HAS SOUS 66113 HAS SOUPS 63878 WITH SCORE 63963.758
AT ITER 1895 NEW BEST:: SOT 234793 SOS 85740 HAS SOPS 76539 HAS SOUS 66095 HAS SOUPS 63860 WITH SCORE 63945.74
AT ITER 1909 NEW BEST:: SOT 234792 SOS 85739 HAS SOPS 76537 HAS SOUS 66093 HAS SOUPS 63858 WITH SCORE 63943.739
AT ITER 1911 NEW BEST:: SOT 234780 SOS 85727 HAS SOPS 76525 HAS SOUS 66083 HAS SOUPS 63848 WITH SCORE 63933.727
AT ITER 1917 NEW BEST:: SOT 234741 SOS 85649 HAS SOPS 76447 HAS SOUS 66005 HAS SOUPS 63770 WITH SCORE 63855.649
AT ITER 1924 NEW BEST:: SOT 234419 SOS 85368 HAS SOPS 76166 HAS SOUS 65787 HAS SOUPS 63552 WITH SCORE 63637.368
AT ITER 1927 NEW BEST:: SOT 234419 SOS 85293 HAS SOPS 76105 HAS SOUS 65726 HAS SOUPS 63491 WITH SCORE 63576.293
AT ITER 1939 NEW BEST:: SOT 232809 SOS 85941 HAS SOPS 74159 HAS SOUS 65291 HAS SOUPS 62723 WITH SCORE 62808.941
AT ITER 1943 NEW BEST:: SOT 232808 SOS 85982 HAS SOPS 74157 HAS SOUS 65289 HAS SOUPS 62721 WITH SCORE 62806.982
AT ITER 1948 NEW BEST:: SOT 232796 SOS 85958 HAS SOPS 74133 HAS SOUS 65265 HAS SOUPS 62697 WITH SCORE 62782.958
AT ITER 1953 NEW BEST:: SOT 232796 SOS 85937 HAS SOPS 74133 HAS SOUS 65265 HAS SOUPS 62697 WITH SCORE 62782.937
AT ITER 1955 NEW BEST:: SOT 232796 SOS 85909 HAS SOPS 74133 HAS SOUS 65237 HAS SOUPS 62697 WITH SCORE 62782.909
AT ITER 1966 NEW BEST:: SOT 232794 SOS 85905 HAS SOPS 74129 HAS SOUS 65233 HAS SOUPS 62693 WITH SCORE 62778.905
AT ITER 1974 NEW BEST:: SOT 232750 SOS 85839 HAS SOPS 74063 HAS SOUS 65167 HAS SOUPS 62627 WITH SCORE 62712.839
AT ITER 1988 NEW BEST:: SOT 232666 SOS 85679 HAS SOPS 73903 HAS SOUS 65092 HAS SOUPS 62552 WITH SCORE 62637.679
AT ITER 1991 NEW BEST:: SOT 232548 SOS 85592 HAS SOPS 73848 HAS SOUS 64791 HAS SOUPS 62251 WITH SCORE 62336.592
AT ITER 2000 NEW BEST:: SOT 232548 SOS 85386 HAS SOPS 73642 HAS SOUS 64775 HAS SOUPS 62235 WITH SCORE 62320.386
AT ITER 2003 NEW BEST:: SOT 232512 SOS 85179 HAS SOPS 73435 HAS SOUS 64663 HAS SOUPS 62123 WITH SCORE 62208.179
AT ITER 2015 NEW BEST:: SOT 232341 SOS 85029 HAS SOPS 73285 HAS SOUS 64522 HAS SOUPS 61982 WITH SCORE 62067.029
AT ITER 2048 NEW BEST:: SOT 231653 SOS 85927 HAS SOPS 72409 HAS SOUS 64552 HAS SOUPS 61838 WITH SCORE 61923.927
AT ITER 2071 NEW BEST:: SOT 231691 SOS 85920 HAS SOPS 72402 HAS SOUS 64542 HAS SOUPS 61828 WITH SCORE 61913.92
AT ITER 2082 NEW BEST:: SOT 231687 SOS 85914 HAS SOPS 72394 HAS SOUS 64534 HAS SOUPS 61820 WITH SCORE 61905.914
AT ITER 2083 NEW BEST:: SOT 231668 SOS 85948 HAS SOPS 72428 HAS SOUS 64484 HAS SOUPS 61770 WITH SCORE 61855.948
AT ITER 2085 NEW BEST:: SOT 231660 SOS 85932 HAS SOPS 72412 HAS SOUS 64468 HAS SOUPS 61754 WITH SCORE 61839.932
AT ITER 2098 NEW BEST:: SOT 231519 SOS 85643 HAS SOPS 72130 HAS SOUS 64186 HAS SOUPS 61472 WITH SCORE 61557.643
AT ITER 2100 NEW BEST:: SOT 231663 SOS 85820 HAS SOPS 72102 HAS SOUS 64158 HAS SOUPS 61444 WITH SCORE 61529.82
AT ITER 2102 NEW BEST:: SOT 231658 SOS 85815 HAS SOPS 72092 HAS SOUS 64153 HAS SOUPS 61434 WITH SCORE 61519.815
AT ITER 2112 NEW BEST:: SOT 231655 SOS 85811 HAS SOPS 72071 HAS SOUS 64132 HAS SOUPS 61413 WITH SCORE 61498.811
AT ITER 2121 NEW BEST:: SOT 231649 SOS 85799 HAS SOPS 72059 HAS SOUS 64120 HAS SOUPS 61401 WITH SCORE 61486.799
AT ITER 2126 NEW BEST:: SOT 231715 SOS 85833 HAS SOPS 72027 HAS SOUS 64108 HAS SOUPS 61381 WITH SCORE 61466.833
AT ITER 2128 NEW BEST:: SOT 231699 SOS 85801 HAS SOPS 71995 HAS SOUS 64099 HAS SOUPS 61372 WITH SCORE 61457.801
AT ITER 2131 NEW BEST:: SOT 231691 SOS 85689 HAS SOPS 71995 HAS SOUS 64051 HAS SOUPS 61332 WITH SCORE 61417.689
AT ITER 2140 NEW BEST:: SOT 231684 SOS 85662 HAS SOPS 71968 HAS SOUS 64040 HAS SOUPS 61321 WITH SCORE 61406.662
AT ITER 2143 NEW BEST:: SOT 231502 SOS 85322 HAS SOPS 71505 HAS SOUS 63577 HAS SOUPS 60858 WITH SCORE 60943.322
AT ITER 2145 NEW BEST:: SOT 231296 SOS 85078 HAS SOPS 71180 HAS SOUS 63296 HAS SOUPS 60577 WITH SCORE 60662.078
AT ITER 2150 NEW BEST:: SOT 231275 SOS 85131 HAS SOPS 71182 HAS SOUS 63261 HAS SOUPS 60542 WITH SCORE 60627.131
AT ITER 2155 NEW BEST:: SOT 231108 SOS 84800 HAS SOPS 70981 HAS SOUS 63060 HAS SOUPS 60341 WITH SCORE 60425.8
AT ITER 2164 NEW BEST:: SOT 231047 SOS 84727 HAS SOPS 70908 HAS SOUS 62987 HAS SOUPS 60268 WITH SCORE 60352.727
AT ITER 2185 NEW BEST:: SOT 231037 SOS 84684 HAS SOPS 70865 HAS SOUS 62958 HAS SOUPS 60239 WITH SCORE 60323.684
AT ITER 2193 NEW BEST:: SOT 230980 SOS 84745 HAS SOPS 70946 HAS SOUS 62935 HAS SOUPS 60231 WITH SCORE 60315.745
AT ITER 2210 NEW BEST:: SOT 230974 SOS 84733 HAS SOPS 70934 HAS SOUS 62923 HAS SOUPS 60219 WITH SCORE 60303.733
AT ITER 2216 NEW BEST:: SOT 230974 SOS 84701 HAS SOPS 70902 HAS SOUS 62923 HAS SOUPS 60219 WITH SCORE 60303.701
AT ITER 2220 NEW BEST:: SOT 230968 SOS 84647 HAS SOPS 70830 HAS SOUS 62887 HAS SOUPS 60183 WITH SCORE 60267.647
AT ITER 2223 NEW BEST:: SOT 230889 SOS 84568 HAS SOPS 70751 HAS SOUS 62808 HAS SOUPS 60104 WITH SCORE 60188.568
AT ITER 2229 NEW BEST:: SOT 230883 SOS 84556 HAS SOPS 70739 HAS SOUS 62796 HAS SOUPS 60092 WITH SCORE 60176.556
AT ITER 2234 NEW BEST:: SOT 231060 SOS 84550 HAS SOPS 70733 HAS SOUS 62790 HAS SOUPS 60086 WITH SCORE 60170.55
AT ITER 2259 NEW BEST:: SOT 231042 SOS 84514 HAS SOPS 70697 HAS SOUS 62773 HAS SOUPS 60069 WITH SCORE 60153.514
AT ITER 2260 NEW BEST:: SOT 231027 SOS 84484 HAS SOPS 70667 HAS SOUS 62743 HAS SOUPS 60039 WITH SCORE 60123.484
AT ITER 2269 NEW BEST:: SOT 231166 SOS 84702 HAS SOPS 70655 HAS SOUS 62731 HAS SOUPS 60027 WITH SCORE 60111.702
AT ITER 2272 NEW BEST:: SOT 231166 SOS 84337 HAS SOPS 70363 HAS SOUS 62731 HAS SOUPS 60027 WITH SCORE 60111.337
AT ITER 2275 NEW BEST:: SOT 231062 SOS 84128 HAS SOPS 70160 HAS SOUS 62565 HAS SOUPS 59861 WITH SCORE 59945.128
AT ITER 2283 NEW BEST:: SOT 230836 SOS 83885 HAS SOPS 69914 HAS SOUS 62375 HAS SOUPS 59671 WITH SCORE 59754.885
AT ITER 2308 NEW BEST:: SOT 230785 SOS 83805 HAS SOPS 69812 HAS SOUS 62273 HAS SOUPS 59569 WITH SCORE 59652.805
AT ITER 2315 NEW BEST:: SOT 230770 SOS 83775 HAS SOPS 69782 HAS SOUS 62243 HAS SOUPS 59539 WITH SCORE 59622.775
AT ITER 2322 NEW BEST:: SOT 230738 SOS 83711 HAS SOPS 69718 HAS SOUS 62179 HAS SOUPS 59475 WITH SCORE 59558.711
AT ITER 2324 NEW BEST:: SOT 230732 SOS 83699 HAS SOPS 69706 HAS SOUS 62167 HAS SOUPS 59463 WITH SCORE 59546.699
AT ITER 2330 NEW BEST:: SOT 230722 SOS 83722 HAS SOPS 69729 HAS SOUS 62157 HAS SOUPS 59453 WITH SCORE 59536.722
AT ITER 2341 NEW BEST:: SOT 230679 SOS 83679 HAS SOPS 69686 HAS SOUS 62071 HAS SOUPS 59367 WITH SCORE 59450.679
AT ITER 2352 NEW BEST:: SOT 230615 SOS 83551 HAS SOPS 69558 HAS SOUS 61943 HAS SOUPS 59239 WITH SCORE 59322.551
AT ITER 2370 NEW BEST:: SOT 230615 SOS 83547 HAS SOPS 69554 HAS SOUS 61943 HAS SOUPS 59239 WITH SCORE 59322.547
AT ITER 2387 NEW BEST:: SOT 230615 SOS 83540 HAS SOPS 69547 HAS SOUS 61936 HAS SOUPS 59232 WITH SCORE 59315.54
AT ITER 2402 NEW BEST:: SOT 230615 SOS 83534 HAS SOPS 69541 HAS SOUS 61930 HAS SOUPS 59226 WITH SCORE 59309.534
AT ITER 2403 NEW BEST:: SOT 230679 SOS 83271 HAS SOPS 69237 HAS SOUS 61727 HAS SOUPS 59023 WITH SCORE 59106.271
AT ITER 2411 NEW BEST:: SOT 230608 SOS 83129 HAS SOPS 69095 HAS SOUS 61585 HAS SOUPS 58881 WITH SCORE 58964.129
AT ITER 2416 NEW BEST:: SOT 230608 SOS 83087 HAS SOPS 69053 HAS SOUS 61585 HAS SOUPS 58881 WITH SCORE 58964.087
AT ITER 2424 NEW BEST:: SOT 230540 SOS 83012 HAS SOPS 68978 HAS SOUS 61510 HAS SOUPS 58806 WITH SCORE 58889.012
AT ITER 2427 NEW BEST:: SOT 230531 SOS 82994 HAS SOPS 68960 HAS SOUS 61492 HAS SOUPS 58788 WITH SCORE 58870.994
AT ITER 2432 NEW BEST:: SOT 230521 SOS 82974 HAS SOPS 68940 HAS SOUS 61472 HAS SOUPS 58768 WITH SCORE 58850.974
AT ITER 2437 NEW BEST:: SOT 230518 SOS 82966 HAS SOPS 68923 HAS SOUS 61455 HAS SOUPS 58751 WITH SCORE 58833.966
AT ITER 2450 NEW BEST:: SOT 230501 SOS 83063 HAS SOPS 69033 HAS SOUS 61448 HAS SOUPS 58744 WITH SCORE 58827.063
AT ITER 2464 NEW BEST:: SOT 230519 SOS 83014 HAS SOPS 68984 HAS SOUS 61399 HAS SOUPS 58695 WITH SCORE 58778.014
AT ITER 2468 NEW BEST:: SOT 230514 SOS 83004 HAS SOPS 68974 HAS SOUS 61389 HAS SOUPS 58685 WITH SCORE 58768.004
AT ITER 2481 NEW BEST:: SOT 230528 SOS 83018 HAS SOPS 69002 HAS SOUS 61373 HAS SOUPS 58669 WITH SCORE 58752.018
AT ITER 2493 NEW BEST:: SOT 230193 SOS 82826 HAS SOPS 68651 HAS SOUS 61177 HAS SOUPS 58430 WITH SCORE 58512.826
AT ITER 2495 NEW BEST:: SOT 230193 SOS 82769 HAS SOPS 68607 HAS SOUS 61177 HAS SOUPS 58430 WITH SCORE 58512.769
AT ITER 2502 NEW BEST:: SOT 230163 SOS 82709 HAS SOPS 68547 HAS SOUS 61117 HAS SOUPS 58370 WITH SCORE 58452.709
AT ITER 2515 NEW BEST:: SOT 230122 SOS 82627 HAS SOPS 68465 HAS SOUS 61035 HAS SOUPS 58288 WITH SCORE 58370.627
AT ITER 2523 NEW BEST:: SOT 230088 SOS 82287 HAS SOPS 68124 HAS SOUS 60828 HAS SOUPS 58081 WITH SCORE 58163.287
AT ITER 2525 NEW BEST:: SOT 230007 SOS 82114 HAS SOPS 67951 HAS SOUS 60655 HAS SOUPS 57908 WITH SCORE 57990.114
AT ITER 2534 NEW BEST:: SOT 230006 SOS 82112 HAS SOPS 67949 HAS SOUS 60653 HAS SOUPS 57906 WITH SCORE 57988.112
AT ITER 2579 NEW BEST:: SOT 229983 SOS 82306 HAS SOPS 68143 HAS SOUS 60630 HAS SOUPS 57883 WITH SCORE 57965.306
AT ITER 2580 NEW BEST:: SOT 229965 SOS 82251 HAS SOPS 68089 HAS SOUS 60608 HAS SOUPS 57861 WITH SCORE 57943.251
AT ITER 2581 NEW BEST:: SOT 229929 SOS 82215 HAS SOPS 68053 HAS SOUS 60572 HAS SOUPS 57825 WITH SCORE 57907.215
AT ITER 2590 NEW BEST:: SOT 229973 SOS 82175 HAS SOPS 67987 HAS SOUS 60568 HAS SOUPS 57821 WITH SCORE 57903.175
AT ITER 2592 NEW BEST:: SOT 230162 SOS 82412 HAS SOPS 67963 HAS SOUS 60544 HAS SOUPS 57797 WITH SCORE 57879.412
AT ITER 2631 NEW BEST:: SOT 230159 SOS 82497 HAS SOPS 68048 HAS SOUS 60541 HAS SOUPS 57794 WITH SCORE 57876.497
AT ITER 2637 NEW BEST:: SOT 230129 SOS 82437 HAS SOPS 68027 HAS SOUS 60497 HAS SOUPS 57773 WITH SCORE 57855.437
AT ITER 2640 NEW BEST:: SOT 230129 SOS 82434 HAS SOPS 68027 HAS SOUS 60497 HAS SOUPS 57773 WITH SCORE 57855.434
AT ITER 2646 NEW BEST:: SOT 230112 SOS 82400 HAS SOPS 67993 HAS SOUS 60463 HAS SOUPS 57739 WITH SCORE 57821.4
AT ITER 2649 NEW BEST:: SOT 230057 SOS 82297 HAS SOPS 68018 HAS SOUS 60451 HAS SOUPS 57727 WITH SCORE 57809.297
AT ITER 2661 NEW BEST:: SOT 229970 SOS 82167 HAS SOPS 67889 HAS SOUS 60371 HAS SOUPS 57643 WITH SCORE 57725.167
AT ITER 2671 NEW BEST:: SOT 230123 SOS 82218 HAS SOPS 67747 HAS SOUS 60358 HAS SOUPS 57537 WITH SCORE 57619.218
AT ITER 2681 NEW BEST:: SOT 230061 SOS 82120 HAS SOPS 67623 HAS SOUS 60297 HAS SOUPS 57476 WITH SCORE 57558.12
AT ITER 2684 NEW BEST:: SOT 230000 SOS 81998 HAS SOPS 67501 HAS SOUS 60201 HAS SOUPS 57380 WITH SCORE 57461.998
AT ITER 2704 NEW BEST:: SOT 229999 SOS 81996 HAS SOPS 67498 HAS SOUS 60198 HAS SOUPS 57377 WITH SCORE 57458.996
AT ITER 2730 NEW BEST:: SOT 229946 SOS 81890 HAS SOPS 67427 HAS SOUS 60127 HAS SOUPS 57306 WITH SCORE 57387.89
AT ITER 2744 NEW BEST:: SOT 229914 SOS 81876 HAS SOPS 67413 HAS SOUS 60113 HAS SOUPS 57292 WITH SCORE 57373.876
AT ITER 2765 NEW BEST:: SOT 229927 SOS 82006 HAS SOPS 67543 HAS SOUS 60103 HAS SOUPS 57282 WITH SCORE 57364.006
AT ITER 2768 NEW BEST:: SOT 229816 SOS 81909 HAS SOPS 67321 HAS SOUS 60004 HAS SOUPS 57183 WITH SCORE 57264.909
AT ITER 2777 NEW BEST:: SOT 229825 SOS 81919 HAS SOPS 67331 HAS SOUS 59989 HAS SOUPS 57168 WITH SCORE 57249.919
AT ITER 2780 NEW BEST:: SOT 229702 SOS 81850 HAS SOPS 67311 HAS SOUS 59969 HAS SOUPS 57148 WITH SCORE 57229.85
AT ITER 2781 NEW BEST:: SOT 229879 SOS 81925 HAS SOPS 67160 HAS SOUS 59956 HAS SOUPS 57135 WITH SCORE 57216.925
AT ITER 2786 NEW BEST:: SOT 229888 SOS 81812 HAS SOPS 67021 HAS SOUS 59850 HAS SOUPS 57029 WITH SCORE 57110.812
AT ITER 2788 NEW BEST:: SOT 229881 SOS 81798 HAS SOPS 67007 HAS SOUS 59836 HAS SOUPS 57015 WITH SCORE 57096.798
AT ITER 2798 NEW BEST:: SOT 229864 SOS 81728 HAS SOPS 66937 HAS SOUS 59802 HAS SOUPS 56981 WITH SCORE 57062.728
AT ITER 2800 NEW BEST:: SOT 229855 SOS 81710 HAS SOPS 66919 HAS SOUS 59784 HAS SOUPS 56963 WITH SCORE 57044.71
AT ITER 2839 NEW BEST:: SOT 229842 SOS 81684 HAS SOPS 66893 HAS SOUS 59756 HAS SOUPS 56935 WITH SCORE 57016.684
AT ITER 2862 NEW BEST:: SOT 229841 SOS 81682 HAS SOPS 66891 HAS SOUS 59755 HAS SOUPS 56934 WITH SCORE 57015.682
AT ITER 2864 NEW BEST:: SOT 229838 SOS 81676 HAS SOPS 66887 HAS SOUS 59751 HAS SOUPS 56930 WITH SCORE 57011.676
AT ITER 2866 NEW BEST:: SOT 229863 SOS 81598 HAS SOPS 66789 HAS SOUS 59749 HAS SOUPS 56928 WITH SCORE 57009.598
AT ITER 2871 NEW BEST:: SOT 229884 SOS 81548 HAS SOPS 67534 HAS SOUS 59642 HAS SOUPS 56915 WITH SCORE 56996.548
AT ITER 2877 NEW BEST:: SOT 229955 SOS 81638 HAS SOPS 67624 HAS SOUS 59611 HAS SOUPS 56884 WITH SCORE 56965.638
AT ITER 2893 NEW BEST:: SOT 229888 SOS 81504 HAS SOPS 67490 HAS SOUS 59477 HAS SOUPS 56750 WITH SCORE 56831.504
AT ITER 2895 NEW BEST:: SOT 229823 SOS 81470 HAS SOPS 67456 HAS SOUS 59443 HAS SOUPS 56716 WITH SCORE 56797.47
AT ITER 2899 NEW BEST:: SOT 229841 SOS 81493 HAS SOPS 67511 HAS SOUS 59331 HAS SOUPS 56623 WITH SCORE 56704.493
AT ITER 2903 NEW BEST:: SOT 229839 SOS 81436 HAS SOPS 67454 HAS SOUS 59327 HAS SOUPS 56619 WITH SCORE 56700.436
AT ITER 2922 NEW BEST:: SOT 229766 SOS 81317 HAS SOPS 67308 HAS SOUS 59181 HAS SOUPS 56473 WITH SCORE 56554.317
AT ITER 2923 NEW BEST:: SOT 229815 SOS 81288 HAS SOPS 67240 HAS SOUS 59217 HAS SOUPS 56473 WITH SCORE 56554.288
AT ITER 2925 NEW BEST:: SOT 229773 SOS 81246 HAS SOPS 67102 HAS SOUS 59133 HAS SOUPS 56389 WITH SCORE 56470.246
AT ITER 2932 NEW BEST:: SOT 229773 SOS 81117 HAS SOPS 66973 HAS SOUS 59004 HAS SOUPS 56260 WITH SCORE 56341.117
AT ITER 2933 NEW BEST:: SOT 229748 SOS 81090 HAS SOPS 66941 HAS SOUS 58973 HAS SOUPS 56229 WITH SCORE 56310.09
AT ITER 2951 NEW BEST:: SOT 229668 SOS 80957 HAS SOPS 66808 HAS SOUS 58922 HAS SOUPS 56178 WITH SCORE 56258.957
AT ITER 2953 NEW BEST:: SOT 229732 SOS 80980 HAS SOPS 66770 HAS SOUS 58884 HAS SOUPS 56140 WITH SCORE 56220.98
AT ITER 2961 NEW BEST:: SOT 229656 SOS 80904 HAS SOPS 66694 HAS SOUS 58808 HAS SOUPS 56064 WITH SCORE 56144.904
AT ITER 2964 NEW BEST:: SOT 229656 SOS 80876 HAS SOPS 66679 HAS SOUS 58808 HAS SOUPS 56064 WITH SCORE 56144.876
AT ITER 2995 NEW BEST:: SOT 229639 SOS 80861 HAS SOPS 66664 HAS SOUS 58774 HAS SOUPS 56030 WITH SCORE 56110.861
AT ITER 3012 NEW BEST:: SOT 229624 SOS 80754 HAS SOPS 66588 HAS SOUS 58698 HAS SOUPS 55954 WITH SCORE 56034.754
AT ITER 3017 NEW BEST:: SOT 229579 SOS 80709 HAS SOPS 66498 HAS SOUS 58608 HAS SOUPS 55864 WITH SCORE 55944.709
AT ITER 3024 NEW BEST:: SOT 229576 SOS 80703 HAS SOPS 66492 HAS SOUS 58602 HAS SOUPS 55858 WITH SCORE 55938.703
AT ITER 3039 NEW BEST:: SOT 229554 SOS 80634 HAS SOPS 66448 HAS SOUS 58558 HAS SOUPS 55814 WITH SCORE 55894.634
AT ITER 3064 NEW BEST:: SOT 229460 SOS 80540 HAS SOPS 66307 HAS SOUS 58417 HAS SOUPS 55673 WITH SCORE 55753.54
AT ITER 3091 NEW BEST:: SOT 229437 SOS 80508 HAS SOPS 66270 HAS SOUS 58380 HAS SOUPS 55636 WITH SCORE 55716.508
AT ITER 3096 NEW BEST:: SOT 229418 SOS 80489 HAS SOPS 66232 HAS SOUS 58376 HAS SOUPS 55613 WITH SCORE 55693.489
AT ITER 3106 NEW BEST:: SOT 229363 SOS 80379 HAS SOPS 66122 HAS SOUS 58353 HAS SOUPS 55590 WITH SCORE 55670.379
AT ITER 3108 NEW BEST:: SOT 229287 SOS 80283 HAS SOPS 66081 HAS SOUS 58312 HAS SOUPS 55574 WITH SCORE 55654.283
AT ITER 3111 NEW BEST:: SOT 229244 SOS 80220 HAS SOPS 66022 HAS SOUS 58226 HAS SOUPS 55488 WITH SCORE 55568.22
AT ITER 3117 NEW BEST:: SOT 229150 SOS 80071 HAS SOPS 65873 HAS SOUS 58077 HAS SOUPS 55339 WITH SCORE 55419.071
AT ITER 3121 NEW BEST:: SOT 229127 SOS 80047 HAS SOPS 65849 HAS SOUS 58031 HAS SOUPS 55293 WITH SCORE 55373.047
AT ITER 3141 NEW BEST:: SOT 228937 SOS 79630 HAS SOPS 65469 HAS SOUS 57651 HAS SOUPS 54913 WITH SCORE 54992.63
AT ITER 3143 NEW BEST:: SOT 228813 SOS 79513 HAS SOPS 65378 HAS SOUS 57527 HAS SOUPS 54789 WITH SCORE 54868.513
AT ITER 3144 NEW BEST:: SOT 228812 SOS 79511 HAS SOPS 65376 HAS SOUS 57525 HAS SOUPS 54787 WITH SCORE 54866.511
AT ITER 3145 NEW BEST:: SOT 228789 SOS 79488 HAS SOPS 65363 HAS SOUS 57512 HAS SOUPS 54774 WITH SCORE 54853.488
AT ITER 3153 NEW BEST:: SOT 228833 SOS 79536 HAS SOPS 65451 HAS SOUS 57469 HAS SOUPS 54731 WITH SCORE 54810.536
AT ITER 3179 NEW BEST:: SOT 228832 SOS 79534 HAS SOPS 65449 HAS SOUS 57467 HAS SOUPS 54729 WITH SCORE 54808.534
AT ITER 3184 NEW BEST:: SOT 228829 SOS 79531 HAS SOPS 65446 HAS SOUS 57464 HAS SOUPS 54726 WITH SCORE 54805.531
AT ITER 3186 NEW BEST:: SOT 228826 SOS 79525 HAS SOPS 65440 HAS SOUS 57458 HAS SOUPS 54720 WITH SCORE 54799.525
AT ITER 3203 NEW BEST:: SOT 228717 SOS 78975 HAS SOPS 64890 HAS SOUS 57323 HAS SOUPS 54585 WITH SCORE 54663.975
AT ITER 3206 NEW BEST:: SOT 228701 SOS 78951 HAS SOPS 64866 HAS SOUS 57299 HAS SOUPS 54561 WITH SCORE 54639.951
AT ITER 3211 NEW BEST:: SOT 228692 SOS 78933 HAS SOPS 64857 HAS SOUS 57290 HAS SOUPS 54552 WITH SCORE 54630.933
AT ITER 3214 NEW BEST:: SOT 228663 SOS 78918 HAS SOPS 64842 HAS SOUS 57275 HAS SOUPS 54537 WITH SCORE 54615.918
AT ITER 3220 NEW BEST:: SOT 228791 SOS 78933 HAS SOPS 64909 HAS SOUS 57082 HAS SOUPS 54370 WITH SCORE 54448.933
AT ITER 3230 NEW BEST:: SOT 228791 SOS 78918 HAS SOPS 64909 HAS SOUS 57082 HAS SOUPS 54370 WITH SCORE 54448.918
AT ITER 3231 NEW BEST:: SOT 228759 SOS 78890 HAS SOPS 64881 HAS SOUS 57054 HAS SOUPS 54342 WITH SCORE 54420.89
AT ITER 3232 NEW BEST:: SOT 228754 SOS 78890 HAS SOPS 64876 HAS SOUS 57049 HAS SOUPS 54337 WITH SCORE 54415.89
AT ITER 3238 NEW BEST:: SOT 228752 SOS 78866 HAS SOPS 64872 HAS SOUS 57045 HAS SOUPS 54333 WITH SCORE 54411.866
AT ITER 3258 NEW BEST:: SOT 228734 SOS 79273 HAS SOPS 65272 HAS SOUS 57022 HAS SOUPS 54303 WITH SCORE 54382.273
AT ITER 3285 NEW BEST:: SOT 228613 SOS 79121 HAS SOPS 65237 HAS SOUS 56987 HAS SOUPS 54268 WITH SCORE 54347.121
AT ITER 3309 NEW BEST:: SOT 228707 SOS 78968 HAS SOPS 65215 HAS SOUS 56847 HAS SOUPS 54177 WITH SCORE 54255.968
AT ITER 3329 NEW BEST:: SOT 228669 SOS 78911 HAS SOPS 65139 HAS SOUS 56771 HAS SOUPS 54101 WITH SCORE 54179.911
AT ITER 3336 NEW BEST:: SOT 228660 SOS 78893 HAS SOPS 65121 HAS SOUS 56753 HAS SOUPS 54083 WITH SCORE 54161.893
AT ITER 3356 NEW BEST:: SOT 228691 SOS 78671 HAS SOPS 65067 HAS SOUS 56544 HAS SOUPS 53935 WITH SCORE 54013.671
AT ITER 3370 NEW BEST:: SOT 228691 SOS 78624 HAS SOPS 65020 HAS SOUS 56497 HAS SOUPS 53888 WITH SCORE 53966.624
AT ITER 3375 NEW BEST:: SOT 228717 SOS 78608 HAS SOPS 64996 HAS SOUS 56481 HAS SOUPS 53872 WITH SCORE 53950.608
AT ITER 3385 NEW BEST:: SOT 228652 SOS 78462 HAS SOPS 64850 HAS SOUS 56335 HAS SOUPS 53726 WITH SCORE 53804.462
AT ITER 3397 NEW BEST:: SOT 228648 SOS 78523 HAS SOPS 64911 HAS SOUS 56327 HAS SOUPS 53718 WITH SCORE 53796.523
AT ITER 3422 NEW BEST:: SOT 228625 SOS 78500 HAS SOPS 64865 HAS SOUS 56098 HAS SOUPS 53489 WITH SCORE 53567.5
AT ITER 3433 NEW BEST:: SOT 228620 SOS 78701 HAS SOPS 64855 HAS SOUS 56088 HAS SOUPS 53479 WITH SCORE 53557.701
AT ITER 3442 NEW BEST:: SOT 228608 SOS 78594 HAS SOPS 64748 HAS SOUS 56044 HAS SOUPS 53435 WITH SCORE 53513.594
AT ITER 3446 NEW BEST:: SOT 228531 SOS 78543 HAS SOPS 64658 HAS SOUS 55967 HAS SOUPS 53358 WITH SCORE 53436.543
AT ITER 3449 NEW BEST:: SOT 228531 SOS 78524 HAS SOPS 64639 HAS SOUS 55948 HAS SOUPS 53339 WITH SCORE 53417.524
AT ITER 3453 NEW BEST:: SOT 228557 SOS 78539 HAS SOPS 64665 HAS SOUS 55875 HAS SOUPS 53277 WITH SCORE 53355.539
AT ITER 3456 NEW BEST:: SOT 227942 SOS 78841 HAS SOPS 64074 HAS SOUS 55764 HAS SOUPS 53025 WITH SCORE 53103.841
AT ITER 3457 NEW BEST:: SOT 227942 SOS 78824 HAS SOPS 64080 HAS SOUS 55758 HAS SOUPS 53025 WITH SCORE 53103.824
AT ITER 3475 NEW BEST:: SOT 227956 SOS 78815 HAS SOPS 64040 HAS SOUS 55718 HAS SOUPS 52985 WITH SCORE 53063.815
AT ITER 3505 NEW BEST:: SOT 227917 SOS 78741 HAS SOPS 63966 HAS SOUS 55648 HAS SOUPS 52915 WITH SCORE 52993.741
AT ITER 3507 NEW BEST:: SOT 227836 SOS 78642 HAS SOPS 63867 HAS SOUS 55549 HAS SOUPS 52816 WITH SCORE 52894.642
AT ITER 3526 NEW BEST:: SOT 227831 SOS 78632 HAS SOPS 63857 HAS SOUS 55539 HAS SOUPS 52806 WITH SCORE 52884.632
AT ITER 3527 NEW BEST:: SOT 227751 SOS 78472 HAS SOPS 63697 HAS SOUS 55379 HAS SOUPS 52646 WITH SCORE 52724.472
AT ITER 3542 NEW BEST:: SOT 227738 SOS 78446 HAS SOPS 63557 HAS SOUS 55239 HAS SOUPS 52506 WITH SCORE 52584.446
AT ITER 3547 NEW BEST:: SOT 227732 SOS 78482 HAS SOPS 63593 HAS SOUS 55229 HAS SOUPS 52496 WITH SCORE 52574.482
AT ITER 3551 NEW BEST:: SOT 227726 SOS 78470 HAS SOPS 63581 HAS SOUS 55217 HAS SOUPS 52484 WITH SCORE 52562.47
AT ITER 3558 NEW BEST:: SOT 227722 SOS 78462 HAS SOPS 63573 HAS SOUS 55209 HAS SOUPS 52476 WITH SCORE 52554.462
AT ITER 3583 NEW BEST:: SOT 227722 SOS 78453 HAS SOPS 63573 HAS SOUS 55209 HAS SOUPS 52476 WITH SCORE 52554.453
AT ITER 3584 NEW BEST:: SOT 227482 SOS 78051 HAS SOPS 63218 HAS SOUS 54854 HAS SOUPS 52121 WITH SCORE 52199.051
AT ITER 3588 NEW BEST:: SOT 227481 SOS 78072 HAS SOPS 63239 HAS SOUS 54852 HAS SOUPS 52119 WITH SCORE 52197.072
AT ITER 3589 NEW BEST:: SOT 227445 SOS 78000 HAS SOPS 63167 HAS SOUS 54780 HAS SOUPS 52047 WITH SCORE 52125.0
AT ITER 3601 NEW BEST:: SOT 227445 SOS 78004 HAS SOPS 63167 HAS SOUS 54776 HAS SOUPS 52043 WITH SCORE 52121.004
AT ITER 3612 NEW BEST:: SOT 227445 SOS 77994 HAS SOPS 63157 HAS SOUS 54766 HAS SOUPS 52033 WITH SCORE 52110.994
AT ITER 3617 NEW BEST:: SOT 227436 SOS 77976 HAS SOPS 63139 HAS SOUS 54748 HAS SOUPS 52015 WITH SCORE 52092.976
AT ITER 3639 NEW BEST:: SOT 227393 SOS 77933 HAS SOPS 63096 HAS SOUS 54705 HAS SOUPS 51972 WITH SCORE 52049.933
AT ITER 3649 NEW BEST:: SOT 227363 SOS 77889 HAS SOPS 63036 HAS SOUS 54645 HAS SOUPS 51912 WITH SCORE 51989.889
AT ITER 3655 NEW BEST:: SOT 227378 SOS 77871 HAS SOPS 63018 HAS SOUS 54627 HAS SOUPS 51894 WITH SCORE 51971.871
AT ITER 3657 NEW BEST:: SOT 227378 SOS 77871 HAS SOPS 63018 HAS SOUS 54600 HAS SOUPS 51867 WITH SCORE 51944.871
AT ITER 3661 NEW BEST:: SOT 227366 SOS 77644 HAS SOPS 62994 HAS SOUS 54521 HAS SOUPS 51843 WITH SCORE 51920.644
AT ITER 3662 NEW BEST:: SOT 227366 SOS 77608 HAS SOPS 62994 HAS SOUS 54521 HAS SOUPS 51843 WITH SCORE 51920.608
AT ITER 3684 NEW BEST:: SOT 227353 SOS 77602 HAS SOPS 62968 HAS SOUS 54495 HAS SOUPS 51817 WITH SCORE 51894.602
AT ITER 3687 NEW BEST:: SOT 227345 SOS 77596 HAS SOPS 62952 HAS SOUS 54479 HAS SOUPS 51801 WITH SCORE 51878.596
AT ITER 3690 NEW BEST:: SOT 227329 SOS 77566 HAS SOPS 62936 HAS SOUS 54461 HAS SOUPS 51783 WITH SCORE 51860.566
AT ITER 3704 NEW BEST:: SOT 227143 SOS 77962 HAS SOPS 62715 HAS SOUS 54375 HAS SOUPS 51624 WITH SCORE 51701.962
AT ITER 3711 NEW BEST:: SOT 227136 SOS 77948 HAS SOPS 62701 HAS SOUS 54361 HAS SOUPS 51610 WITH SCORE 51687.948
AT ITER 3721 NEW BEST:: SOT 227098 SOS 77691 HAS SOPS 62444 HAS SOUS 54323 HAS SOUPS 51572 WITH SCORE 51649.691
AT ITER 3722 NEW BEST:: SOT 227093 SOS 77678 HAS SOPS 62433 HAS SOUS 54312 HAS SOUPS 51561 WITH SCORE 51638.678
AT ITER 3730 NEW BEST:: SOT 227055 SOS 77640 HAS SOPS 62395 HAS SOUS 54312 HAS SOUPS 51561 WITH SCORE 51638.64
AT ITER 3732 NEW BEST:: SOT 227055 SOS 77487 HAS SOPS 62395 HAS SOUS 54296 HAS SOUPS 51561 WITH SCORE 51638.487
AT ITER 3733 NEW BEST:: SOT 227030 SOS 77437 HAS SOPS 62345 HAS SOUS 54246 HAS SOUPS 51511 WITH SCORE 51588.437
AT ITER 3739 NEW BEST:: SOT 227003 SOS 77431 HAS SOPS 62339 HAS SOUS 54192 HAS SOUPS 51457 WITH SCORE 51534.431
AT ITER 3746 NEW BEST:: SOT 226999 SOS 77407 HAS SOPS 62315 HAS SOUS 54184 HAS SOUPS 51449 WITH SCORE 51526.407
AT ITER 3756 NEW BEST:: SOT 226999 SOS 77400 HAS SOPS 62315 HAS SOUS 54177 HAS SOUPS 51449 WITH SCORE 51526.4
AT ITER 3757 NEW BEST:: SOT 226960 SOS 77188 HAS SOPS 62237 HAS SOUS 54099 HAS SOUPS 51371 WITH SCORE 51448.188
AT ITER 3772 NEW BEST:: SOT 226970 SOS 77118 HAS SOPS 62167 HAS SOUS 54089 HAS SOUPS 51361 WITH SCORE 51438.118
AT ITER 3781 NEW BEST:: SOT 227025 SOS 76772 HAS SOPS 61770 HAS SOUS 54021 HAS SOUPS 51263 WITH SCORE 51339.772
AT ITER 3790 NEW BEST:: SOT 227016 SOS 76754 HAS SOPS 61752 HAS SOUS 54003 HAS SOUPS 51245 WITH SCORE 51321.754
AT ITER 3800 NEW BEST:: SOT 227007 SOS 76728 HAS SOPS 61726 HAS SOUS 53986 HAS SOUPS 51228 WITH SCORE 51304.728
AT ITER 3819 NEW BEST:: SOT 226966 SOS 76687 HAS SOPS 61692 HAS SOUS 53945 HAS SOUPS 51194 WITH SCORE 51270.687
AT ITER 3823 NEW BEST:: SOT 226848 SOS 76376 HAS SOPS 61456 HAS SOUS 53709 HAS SOUPS 50958 WITH SCORE 51034.376
AT ITER 3840 NEW BEST:: SOT 226819 SOS 76318 HAS SOPS 61398 HAS SOUS 53651 HAS SOUPS 50900 WITH SCORE 50976.318
AT ITER 3859 NEW BEST:: SOT 226885 SOS 75550 HAS SOPS 60630 HAS SOUS 53613 HAS SOUPS 50862 WITH SCORE 50937.55
AT ITER 3871 NEW BEST:: SOT 226894 SOS 75567 HAS SOPS 60628 HAS SOUS 53611 HAS SOUPS 50860 WITH SCORE 50935.567
AT ITER 3873 NEW BEST:: SOT 226863 SOS 75445 HAS SOPS 60506 HAS SOUS 53549 HAS SOUPS 50798 WITH SCORE 50873.445
AT ITER 3897 NEW BEST:: SOT 226846 SOS 75423 HAS SOPS 60503 HAS SOUS 53546 HAS SOUPS 50795 WITH SCORE 50870.423
AT ITER 3898 NEW BEST:: SOT 226824 SOS 75379 HAS SOPS 60498 HAS SOUS 53541 HAS SOUPS 50790 WITH SCORE 50865.379
AT ITER 3899 NEW BEST:: SOT 226810 SOS 75351 HAS SOPS 60470 HAS SOUS 53513 HAS SOUPS 50762 WITH SCORE 50837.351
AT ITER 3905 NEW BEST:: SOT 226809 SOS 75350 HAS SOPS 60468 HAS SOUS 53511 HAS SOUPS 50760 WITH SCORE 50835.35
AT ITER 3917 NEW BEST:: SOT 226830 SOS 75392 HAS SOPS 60487 HAS SOUS 53507 HAS SOUPS 50756 WITH SCORE 50831.392
AT ITER 3925 NEW BEST:: SOT 226821 SOS 75374 HAS SOPS 60469 HAS SOUS 53462 HAS SOUPS 50711 WITH SCORE 50786.374
AT ITER 3930 NEW BEST:: SOT 226821 SOS 75346 HAS SOPS 60455 HAS SOUS 53448 HAS SOUPS 50697 WITH SCORE 50772.346
AT ITER 3949 NEW BEST:: SOT 226770 SOS 75244 HAS SOPS 60353 HAS SOUS 53346 HAS SOUPS 50595 WITH SCORE 50670.244
AT ITER 3960 NEW BEST:: SOT 226707 SOS 75166 HAS SOPS 60275 HAS SOUS 53265 HAS SOUPS 50514 WITH SCORE 50589.166
AT ITER 3971 NEW BEST:: SOT 226748 SOS 75029 HAS SOPS 60247 HAS SOUS 53229 HAS SOUPS 50478 WITH SCORE 50553.029
AT ITER 3980 NEW BEST:: SOT 226740 SOS 74945 HAS SOPS 60163 HAS SOUS 53213 HAS SOUPS 50462 WITH SCORE 50536.945
AT ITER 3991 NEW BEST:: SOT 226693 SOS 74851 HAS SOPS 60123 HAS SOUS 53173 HAS SOUPS 50422 WITH SCORE 50496.851
AT ITER 3994 NEW BEST:: SOT 226690 SOS 74849 HAS SOPS 60121 HAS SOUS 53141 HAS SOUPS 50390 WITH SCORE 50464.849
AT ITER 3996 NEW BEST:: SOT 226690 SOS 74849 HAS SOPS 60109 HAS SOUS 53141 HAS SOUPS 50378 WITH SCORE 50452.849
AT ITER 4002 NEW BEST:: SOT 226590 SOS 74726 HAS SOPS 59986 HAS SOUS 52959 HAS SOUPS 50196 WITH SCORE 50270.726
AT ITER 4007 NEW BEST:: SOT 226603 SOS 74682 HAS SOPS 59942 HAS SOUS 52915 HAS SOUPS 50152 WITH SCORE 50226.682
AT ITER 4058 NEW BEST:: SOT 226451 SOS 74593 HAS SOPS 59894 HAS SOUS 52750 HAS SOUPS 49987 WITH SCORE 50061.593
AT ITER 4070 NEW BEST:: SOT 226442 SOS 74575 HAS SOPS 59876 HAS SOUS 52732 HAS SOUPS 49969 WITH SCORE 50043.575
AT ITER 4077 NEW BEST:: SOT 226442 SOS 74568 HAS SOPS 59869 HAS SOUS 52722 HAS SOUPS 49959 WITH SCORE 50033.568
AT ITER 4087 NEW BEST:: SOT 225866 SOS 76441 HAS SOPS 59039 HAS SOUS 52721 HAS SOUPS 49704 WITH SCORE 49780.441
AT ITER 4097 NEW BEST:: SOT 225842 SOS 76417 HAS SOPS 59015 HAS SOUS 52697 HAS SOUPS 49680 WITH SCORE 49756.417
AT ITER 4107 NEW BEST:: SOT 225916 SOS 76473 HAS SOPS 59099 HAS SOUS 52659 HAS SOUPS 49656 WITH SCORE 49732.473
AT ITER 4110 NEW BEST:: SOT 225882 SOS 76405 HAS SOPS 59060 HAS SOUS 52591 HAS SOUPS 49617 WITH SCORE 49693.405
AT ITER 4125 NEW BEST:: SOT 225847 SOS 76408 HAS SOPS 59011 HAS SOUS 52549 HAS SOUPS 49568 WITH SCORE 49644.408
AT ITER 4128 NEW BEST:: SOT 225833 SOS 76366 HAS SOPS 58969 HAS SOUS 52521 HAS SOUPS 49540 WITH SCORE 49616.366
AT ITER 4148 NEW BEST:: SOT 225713 SOS 76170 HAS SOPS 58703 HAS SOUS 52351 HAS SOUPS 49370 WITH SCORE 49446.17
AT ITER 4159 NEW BEST:: SOT 225712 SOS 76168 HAS SOPS 58701 HAS SOUS 52349 HAS SOUPS 49368 WITH SCORE 49444.168
AT ITER 4171 NEW BEST:: SOT 225680 SOS 76177 HAS SOPS 58658 HAS SOUS 52340 HAS SOUPS 49359 WITH SCORE 49435.177
AT ITER 4176 NEW BEST:: SOT 225619 SOS 76055 HAS SOPS 58536 HAS SOUS 52218 HAS SOUPS 49237 WITH SCORE 49313.055
AT ITER 4198 NEW BEST:: SOT 225569 SOS 75955 HAS SOPS 58436 HAS SOUS 52118 HAS SOUPS 49137 WITH SCORE 49212.955
AT ITER 4207 NEW BEST:: SOT 225551 SOS 75919 HAS SOPS 58400 HAS SOUS 52082 HAS SOUPS 49101 WITH SCORE 49176.919
AT ITER 4233 NEW BEST:: SOT 225821 SOS 76280 HAS SOPS 58825 HAS SOUS 52020 HAS SOUPS 49072 WITH SCORE 49148.28
AT ITER 4251 NEW BEST:: SOT 225817 SOS 76272 HAS SOPS 58817 HAS SOUS 52012 HAS SOUPS 49064 WITH SCORE 49140.272
AT ITER 4257 NEW BEST:: SOT 225819 SOS 76269 HAS SOPS 58814 HAS SOUS 52010 HAS SOUPS 49062 WITH SCORE 49138.269
AT ITER 4258 NEW BEST:: SOT 225795 SOS 76221 HAS SOPS 58766 HAS SOUS 51962 HAS SOUPS 49014 WITH SCORE 49090.221
AT ITER 4275 NEW BEST:: SOT 225728 SOS 76059 HAS SOPS 58604 HAS SOUS 51828 HAS SOUPS 48880 WITH SCORE 48956.059
AT ITER 4303 NEW BEST:: SOT 225510 SOS 75820 HAS SOPS 58358 HAS SOUS 51767 HAS SOUPS 48812 WITH SCORE 48887.82
AT ITER 4306 NEW BEST:: SOT 225507 SOS 75814 HAS SOPS 58352 HAS SOUS 51744 HAS SOUPS 48789 WITH SCORE 48864.814
AT ITER 4334 NEW BEST:: SOT 225507 SOS 75814 HAS SOPS 58349 HAS SOUS 51741 HAS SOUPS 48786 WITH SCORE 48861.814
AT ITER 4344 NEW BEST:: SOT 225613 SOS 75921 HAS SOPS 58457 HAS SOUS 51737 HAS SOUPS 48783 WITH SCORE 48858.921
AT ITER 4353 NEW BEST:: SOT 225585 SOS 75828 HAS SOPS 58364 HAS SOUS 51718 HAS SOUPS 48764 WITH SCORE 48839.828
AT ITER 4356 NEW BEST:: SOT 225581 SOS 75820 HAS SOPS 58356 HAS SOUS 51710 HAS SOUPS 48756 WITH SCORE 48831.82
AT ITER 4357 NEW BEST:: SOT 225471 SOS 75474 HAS SOPS 58136 HAS SOUS 51490 HAS SOUPS 48536 WITH SCORE 48611.474
AT ITER 4362 NEW BEST:: SOT 225451 SOS 75450 HAS SOPS 58112 HAS SOUS 51466 HAS SOUPS 48512 WITH SCORE 48587.45
AT ITER 4366 NEW BEST:: SOT 225381 SOS 75345 HAS SOPS 58007 HAS SOUS 51361 HAS SOUPS 48407 WITH SCORE 48482.345
AT ITER 4371 NEW BEST:: SOT 225381 SOS 75272 HAS SOPS 57934 HAS SOUS 51288 HAS SOUPS 48334 WITH SCORE 48409.272
AT ITER 4374 NEW BEST:: SOT 225373 SOS 75256 HAS SOPS 57918 HAS SOUS 51272 HAS SOUPS 48318 WITH SCORE 48393.256
AT ITER 4380 NEW BEST:: SOT 225370 SOS 75254 HAS SOPS 57915 HAS SOUS 51270 HAS SOUPS 48315 WITH SCORE 48390.254
AT ITER 4383 NEW BEST:: SOT 225468 SOS 75229 HAS SOPS 57841 HAS SOUS 51225 HAS SOUPS 48270 WITH SCORE 48345.229
AT ITER 4384 NEW BEST:: SOT 225437 SOS 75141 HAS SOPS 57836 HAS SOUS 51220 HAS SOUPS 48265 WITH SCORE 48340.141
AT ITER 4385 NEW BEST:: SOT 225437 SOS 75134 HAS SOPS 57829 HAS SOUS 51220 HAS SOUPS 48265 WITH SCORE 48340.134
AT ITER 4388 NEW BEST:: SOT 225400 SOS 74991 HAS SOPS 57728 HAS SOUS 51183 HAS SOUPS 48228 WITH SCORE 48302.991
AT ITER 4389 NEW BEST:: SOT 225400 SOS 75010 HAS SOPS 57747 HAS SOUS 51164 HAS SOUPS 48209 WITH SCORE 48284.01
AT ITER 4393 NEW BEST:: SOT 225370 SOS 74950 HAS SOPS 57687 HAS SOUS 51104 HAS SOUPS 48149 WITH SCORE 48223.95
AT ITER 4394 NEW BEST:: SOT 225344 SOS 75344 HAS SOPS 57999 HAS SOUS 51052 HAS SOUPS 48097 WITH SCORE 48172.344
AT ITER 4404 NEW BEST:: SOT 225339 SOS 75314 HAS SOPS 57969 HAS SOUS 51042 HAS SOUPS 48087 WITH SCORE 48162.314
AT ITER 4405 NEW BEST:: SOT 225218 SOS 75250 HAS SOPS 57905 HAS SOUS 50964 HAS SOUPS 48009 WITH SCORE 48084.25
AT ITER 4470 NEW BEST:: SOT 225187 SOS 75234 HAS SOPS 57889 HAS SOUS 50948 HAS SOUPS 47993 WITH SCORE 48068.234
AT ITER 4486 NEW BEST:: SOT 225164 SOS 75112 HAS SOPS 57767 HAS SOUS 50902 HAS SOUPS 47947 WITH SCORE 48022.112
AT ITER 4488 NEW BEST:: SOT 225045 SOS 75450 HAS SOPS 57648 HAS SOUS 50883 HAS SOUPS 47878 WITH SCORE 47953.45
AT ITER 4511 NEW BEST:: SOT 225000 SOS 75634 HAS SOPS 57603 HAS SOUS 50803 HAS SOUPS 47798 WITH SCORE 47873.634
AT ITER 4523 NEW BEST:: SOT 224980 SOS 75594 HAS SOPS 57563 HAS SOUS 50763 HAS SOUPS 47758 WITH SCORE 47833.594
AT ITER 4561 NEW BEST:: SOT 224980 SOS 75567 HAS SOPS 57563 HAS SOUS 50763 HAS SOUPS 47758 WITH SCORE 47833.567
AT ITER 4564 NEW BEST:: SOT 224966 SOS 75541 HAS SOPS 57537 HAS SOUS 50737 HAS SOUPS 47732 WITH SCORE 47807.541
AT ITER 4566 NEW BEST:: SOT 224960 SOS 75538 HAS SOPS 57534 HAS SOUS 50725 HAS SOUPS 47720 WITH SCORE 47795.538
AT ITER 4591 NEW BEST:: SOT 224959 SOS 75533 HAS SOPS 57529 HAS SOUS 50723 HAS SOUPS 47718 WITH SCORE 47793.533
AT ITER 4599 NEW BEST:: SOT 225001 SOS 75489 HAS SOPS 57515 HAS SOUS 50717 HAS SOUPS 47712 WITH SCORE 47787.489
AT ITER 4602 NEW BEST:: SOT 224996 SOS 75556 HAS SOPS 57501 HAS SOUS 50720 HAS SOUPS 47707 WITH SCORE 47782.556
AT ITER 4611 NEW BEST:: SOT 224896 SOS 75346 HAS SOPS 57301 HAS SOUS 50520 HAS SOUPS 47507 WITH SCORE 47582.346
AT ITER 4614 NEW BEST:: SOT 224878 SOS 75319 HAS SOPS 57274 HAS SOUS 50493 HAS SOUPS 47480 WITH SCORE 47555.319
AT ITER 4619 NEW BEST:: SOT 224697 SOS 75099 HAS SOPS 57054 HAS SOUS 50273 HAS SOUPS 47260 WITH SCORE 47335.099
AT ITER 4677 NEW BEST:: SOT 224683 SOS 75087 HAS SOPS 57042 HAS SOUS 50261 HAS SOUPS 47248 WITH SCORE 47323.087
AT ITER 4683 NEW BEST:: SOT 224651 SOS 75036 HAS SOPS 56978 HAS SOUS 50197 HAS SOUPS 47184 WITH SCORE 47259.036
AT ITER 4692 NEW BEST:: SOT 224497 SOS 74763 HAS SOPS 56670 HAS SOUS 49931 HAS SOUPS 46918 WITH SCORE 46992.763
AT ITER 4705 NEW BEST:: SOT 224493 SOS 74742 HAS SOPS 56662 HAS SOUS 49923 HAS SOUPS 46910 WITH SCORE 46984.742
AT ITER 4707 NEW BEST:: SOT 224486 SOS 74728 HAS SOPS 56648 HAS SOUS 49909 HAS SOUPS 46896 WITH SCORE 46970.728
AT ITER 4716 NEW BEST:: SOT 224507 SOS 73882 HAS SOPS 55802 HAS SOUS 49870 HAS SOUPS 46857 WITH SCORE 46930.882
AT ITER 4764 NEW BEST:: SOT 224507 SOS 73882 HAS SOPS 55797 HAS SOUS 49865 HAS SOUPS 46852 WITH SCORE 46925.882
AT ITER 4794 NEW BEST:: SOT 224507 SOS 73808 HAS SOPS 55723 HAS SOUS 49865 HAS SOUPS 46852 WITH SCORE 46925.808
AT ITER 4795 NEW BEST:: SOT 224510 SOS 73639 HAS SOPS 55430 HAS SOUS 49689 HAS SOUPS 46676 WITH SCORE 46749.639
AT ITER 4825 NEW BEST:: SOT 224480 SOS 73579 HAS SOPS 55400 HAS SOUS 49659 HAS SOUPS 46646 WITH SCORE 46719.579
AT ITER 4837 NEW BEST:: SOT 224394 SOS 73407 HAS SOPS 55228 HAS SOUS 49487 HAS SOUPS 46474 WITH SCORE 46547.407
AT ITER 4853 NEW BEST:: SOT 224390 SOS 73399 HAS SOPS 55220 HAS SOUS 49479 HAS SOUPS 46466 WITH SCORE 46539.399
AT ITER 4870 NEW BEST:: SOT 224390 SOS 73374 HAS SOPS 55220 HAS SOUS 49479 HAS SOUPS 46466 WITH SCORE 46539.374
AT ITER 4878 NEW BEST:: SOT 224376 SOS 73352 HAS SOPS 55192 HAS SOUS 49451 HAS SOUPS 46438 WITH SCORE 46511.352
AT ITER 4894 NEW BEST:: SOT 224373 SOS 73346 HAS SOPS 55186 HAS SOUS 49445 HAS SOUPS 46432 WITH SCORE 46505.346
AT ITER 4896 NEW BEST:: SOT 224376 SOS 73133 HAS SOPS 55045 HAS SOUS 49358 HAS SOUPS 46363 WITH SCORE 46436.133
AT ITER 4930 NEW BEST:: SOT 224369 SOS 73119 HAS SOPS 55031 HAS SOUS 49344 HAS SOUPS 46349 WITH SCORE 46422.119
AT ITER 4935 NEW BEST:: SOT 224301 SOS 72983 HAS SOPS 54827 HAS SOUS 49140 HAS SOUPS 46145 WITH SCORE 46217.983
AT ITER 4944 NEW BEST:: SOT 224250 SOS 72854 HAS SOPS 54698 HAS SOUS 49031 HAS SOUPS 46036 WITH SCORE 46108.854
AT ITER 4977 NEW BEST:: SOT 224241 SOS 72836 HAS SOPS 54680 HAS SOUS 49013 HAS SOUPS 46018 WITH SCORE 46090.836
AT ITER 4987 NEW BEST:: SOT 224233 SOS 72820 HAS SOPS 54664 HAS SOUS 48997 HAS SOUPS 46002 WITH SCORE 46074.82
AT ITER 5000 NEW BEST:: SOT 224281 SOS 72829 HAS SOPS 54594 HAS SOUS 48927 HAS SOUPS 45932 WITH SCORE 46004.829
AT ITER 5020 NEW BEST:: SOT 224250 SOS 72767 HAS SOPS 54586 HAS SOUS 48918 HAS SOUPS 45924 WITH SCORE 45996.767
AT ITER 5049 NEW BEST:: SOT 224326 SOS 72805 HAS SOPS 54540 HAS SOUS 48910 HAS SOUPS 45916 WITH SCORE 45988.805
AT ITER 5059 NEW BEST:: SOT 224326 SOS 72725 HAS SOPS 54460 HAS SOUS 48894 HAS SOUPS 45900 WITH SCORE 45972.725
AT ITER 5061 NEW BEST:: SOT 224291 SOS 72564 HAS SOPS 54299 HAS SOUS 48819 HAS SOUPS 45825 WITH SCORE 45897.564
AT ITER 5067 NEW BEST:: SOT 224304 SOS 72577 HAS SOPS 54248 HAS SOUS 48768 HAS SOUPS 45774 WITH SCORE 45846.577
AT ITER 5069 NEW BEST:: SOT 224315 SOS 72557 HAS SOPS 54228 HAS SOUS 48743 HAS SOUPS 45749 WITH SCORE 45821.557
AT ITER 5071 NEW BEST:: SOT 224306 SOS 72503 HAS SOPS 54174 HAS SOUS 48725 HAS SOUPS 45731 WITH SCORE 45803.503
AT ITER 5101 NEW BEST:: SOT 224308 SOS 72497 HAS SOPS 54164 HAS SOUS 48721 HAS SOUPS 45727 WITH SCORE 45799.497
AT ITER 5108 NEW BEST:: SOT 224303 SOS 72492 HAS SOPS 54159 HAS SOUS 48716 HAS SOUPS 45722 WITH SCORE 45794.492
AT ITER 5125 NEW BEST:: SOT 224271 SOS 72656 HAS SOPS 54143 HAS SOUS 48712 HAS SOUPS 45702 WITH SCORE 45774.656
AT ITER 5126 NEW BEST:: SOT 224271 SOS 72624 HAS SOPS 54143 HAS SOUS 48712 HAS SOUPS 45702 WITH SCORE 45774.624
AT ITER 5134 NEW BEST:: SOT 224243 SOS 72593 HAS SOPS 54112 HAS SOUS 48684 HAS SOUPS 45674 WITH SCORE 45746.593
AT ITER 5136 NEW BEST:: SOT 224207 SOS 72521 HAS SOPS 54040 HAS SOUS 48612 HAS SOUPS 45602 WITH SCORE 45674.521
AT ITER 5156 NEW BEST:: SOT 224204 SOS 72515 HAS SOPS 54034 HAS SOUS 48606 HAS SOUPS 45596 WITH SCORE 45668.515
AT ITER 5177 NEW BEST:: SOT 224145 SOS 72289 HAS SOPS 53832 HAS SOUS 48575 HAS SOUPS 45565 WITH SCORE 45637.289
AT ITER 5191 NEW BEST:: SOT 224145 SOS 72240 HAS SOPS 53832 HAS SOUS 48575 HAS SOUPS 45565 WITH SCORE 45637.24
AT ITER 5195 NEW BEST:: SOT 224130 SOS 72227 HAS SOPS 53819 HAS SOUS 48545 HAS SOUPS 45535 WITH SCORE 45607.227
AT ITER 5213 NEW BEST:: SOT 224123 SOS 72206 HAS SOPS 53798 HAS SOUS 48531 HAS SOUPS 45521 WITH SCORE 45593.206
AT ITER 5233 NEW BEST:: SOT 224037 SOS 72135 HAS SOPS 53691 HAS SOUS 48424 HAS SOUPS 45414 WITH SCORE 45486.135
AT ITER 5261 NEW BEST:: SOT 224033 SOS 72131 HAS SOPS 53687 HAS SOUS 48420 HAS SOUPS 45410 WITH SCORE 45482.131
AT ITER 5269 NEW BEST:: SOT 224028 SOS 72052 HAS SOPS 53608 HAS SOUS 48341 HAS SOUPS 45331 WITH SCORE 45403.052
AT ITER 5270 NEW BEST:: SOT 224024 SOS 72044 HAS SOPS 53600 HAS SOUS 48333 HAS SOUPS 45323 WITH SCORE 45395.044
AT ITER 5276 NEW BEST:: SOT 223998 SOS 72018 HAS SOPS 53548 HAS SOUS 48281 HAS SOUPS 45271 WITH SCORE 45343.018
AT ITER 5284 NEW BEST:: SOT 223972 SOS 71940 HAS SOPS 53470 HAS SOUS 48229 HAS SOUPS 45219 WITH SCORE 45290.94
AT ITER 5309 NEW BEST:: SOT 224007 SOS 72010 HAS SOPS 53469 HAS SOUS 48228 HAS SOUPS 45218 WITH SCORE 45290.01
AT ITER 5311 NEW BEST:: SOT 224007 SOS 72002 HAS SOPS 53469 HAS SOUS 48228 HAS SOUPS 45218 WITH SCORE 45290.002
AT ITER 5317 NEW BEST:: SOT 224007 SOS 71998 HAS SOPS 53465 HAS SOUS 48224 HAS SOUPS 45214 WITH SCORE 45285.998
AT ITER 5327 NEW BEST:: SOT 223955 SOS 71918 HAS SOPS 53235 HAS SOUS 47994 HAS SOUPS 44984 WITH SCORE 45055.918
AT ITER 5346 NEW BEST:: SOT 223902 SOS 71812 HAS SOPS 53129 HAS SOUS 47888 HAS SOUPS 44878 WITH SCORE 44949.812
AT ITER 5372 NEW BEST:: SOT 223902 SOS 71811 HAS SOPS 53129 HAS SOUS 47888 HAS SOUPS 44878 WITH SCORE 44949.811
AT ITER 5373 NEW BEST:: SOT 223875 SOS 71788 HAS SOPS 53106 HAS SOUS 47820 HAS SOUPS 44810 WITH SCORE 44881.788
AT ITER 5380 NEW BEST:: SOT 223866 SOS 71613 HAS SOPS 52917 HAS SOUS 47659 HAS SOUPS 44649 WITH SCORE 44720.613
AT ITER 5382 NEW BEST:: SOT 223862 SOS 71609 HAS SOPS 52909 HAS SOUS 47651 HAS SOUPS 44641 WITH SCORE 44712.609
AT ITER 5383 NEW BEST:: SOT 223839 SOS 71574 HAS SOPS 52895 HAS SOUS 47637 HAS SOUPS 44627 WITH SCORE 44698.574
AT ITER 5424 NEW BEST:: SOT 223800 SOS 71496 HAS SOPS 52817 HAS SOUS 47559 HAS SOUPS 44549 WITH SCORE 44620.496
AT ITER 5445 NEW BEST:: SOT 223784 SOS 70976 HAS SOPS 52297 HAS SOUS 47504 HAS SOUPS 44494 WITH SCORE 44564.976
AT ITER 5467 NEW BEST:: SOT 223755 SOS 70958 HAS SOPS 52279 HAS SOUS 47486 HAS SOUPS 44476 WITH SCORE 44546.958
AT ITER 5476 NEW BEST:: SOT 223748 SOS 70951 HAS SOPS 52272 HAS SOUS 47472 HAS SOUPS 44462 WITH SCORE 44532.951
AT ITER 5514 NEW BEST:: SOT 223746 SOS 70949 HAS SOPS 52268 HAS SOUS 47468 HAS SOUPS 44458 WITH SCORE 44528.949
AT ITER 5531 NEW BEST:: SOT 223744 SOS 70945 HAS SOPS 52264 HAS SOUS 47464 HAS SOUPS 44454 WITH SCORE 44524.945
AT ITER 5563 NEW BEST:: SOT 223734 SOS 70908 HAS SOPS 52244 HAS SOUS 47444 HAS SOUPS 44434 WITH SCORE 44504.908
AT ITER 5569 NEW BEST:: SOT 223677 SOS 70870 HAS SOPS 52206 HAS SOUS 47406 HAS SOUPS 44396 WITH SCORE 44466.87
AT ITER 5570 NEW BEST:: SOT 223673 SOS 70865 HAS SOPS 52202 HAS SOUS 47403 HAS SOUPS 44393 WITH SCORE 44463.865
AT ITER 5573 NEW BEST:: SOT 223669 SOS 70857 HAS SOPS 52194 HAS SOUS 47395 HAS SOUPS 44385 WITH SCORE 44455.857
AT ITER 5608 NEW BEST:: SOT 223646 SOS 70834 HAS SOPS 52171 HAS SOUS 47349 HAS SOUPS 44339 WITH SCORE 44409.834
AT ITER 5619 NEW BEST:: SOT 223645 SOS 70833 HAS SOPS 52169 HAS SOUS 47347 HAS SOUPS 44337 WITH SCORE 44407.833
AT ITER 5644 NEW BEST:: SOT 223646 SOS 70694 HAS SOPS 52078 HAS SOUS 47338 HAS SOUPS 44328 WITH SCORE 44398.694
AT ITER 5651 NEW BEST:: SOT 223646 SOS 70690 HAS SOPS 52074 HAS SOUS 47338 HAS SOUPS 44328 WITH SCORE 44398.69
AT ITER 5659 NEW BEST:: SOT 223637 SOS 70684 HAS SOPS 52068 HAS SOUS 47320 HAS SOUPS 44310 WITH SCORE 44380.684
AT ITER 5679 NEW BEST:: SOT 223630 SOS 70657 HAS SOPS 52041 HAS SOUS 47316 HAS SOUPS 44306 WITH SCORE 44376.657
AT ITER 5709 NEW BEST:: SOT 223534 SOS 70719 HAS SOPS 51940 HAS SOUS 47311 HAS SOUPS 44269 WITH SCORE 44339.719
AT ITER 5731 NEW BEST:: SOT 223510 SOS 70558 HAS SOPS 51892 HAS SOUS 47263 HAS SOUPS 44221 WITH SCORE 44291.558
AT ITER 5735 NEW BEST:: SOT 223509 SOS 70546 HAS SOPS 51880 HAS SOUS 47220 HAS SOUPS 44178 WITH SCORE 44248.546
AT ITER 5778 NEW BEST:: SOT 223469 SOS 70432 HAS SOPS 51874 HAS SOUS 47214 HAS SOUPS 44172 WITH SCORE 44242.432
AT ITER 5789 NEW BEST:: SOT 223462 SOS 70369 HAS SOPS 51860 HAS SOUS 47197 HAS SOUPS 44158 WITH SCORE 44228.369
AT ITER 5870 NEW BEST:: SOT 223438 SOS 70321 HAS SOPS 51812 HAS SOUS 47149 HAS SOUPS 44110 WITH SCORE 44180.321
AT ITER 5883 NEW BEST:: SOT 223476 SOS 70397 HAS SOPS 51808 HAS SOUS 47145 HAS SOUPS 44106 WITH SCORE 44176.397
AT ITER 5911 NEW BEST:: SOT 223442 SOS 70331 HAS SOPS 51742 HAS SOUS 47111 HAS SOUPS 44072 WITH SCORE 44142.331
AT ITER 5916 NEW BEST:: SOT 223440 SOS 70327 HAS SOPS 51738 HAS SOUS 47107 HAS SOUPS 44068 WITH SCORE 44138.327
AT ITER 5933 NEW BEST:: SOT 223440 SOS 70317 HAS SOPS 51728 HAS SOUS 47097 HAS SOUPS 44058 WITH SCORE 44128.317
AT ITER 5942 NEW BEST:: SOT 223440 SOS 70253 HAS SOPS 51664 HAS SOUS 47097 HAS SOUPS 44058 WITH SCORE 44128.253
AT ITER 5970 NEW BEST:: SOT 223437 SOS 70247 HAS SOPS 51658 HAS SOUS 47091 HAS SOUPS 44052 WITH SCORE 44122.247
AT ITER 5972 NEW BEST:: SOT 223391 SOS 70185 HAS SOPS 51633 HAS SOUS 47066 HAS SOUPS 44027 WITH SCORE 44097.185
AT ITER 5979 NEW BEST:: SOT 223386 SOS 70175 HAS SOPS 51623 HAS SOUS 47056 HAS SOUPS 44017 WITH SCORE 44087.175
AT ITER 6018 NEW BEST:: SOT 223355 SOS 70125 HAS SOPS 51573 HAS SOUS 47006 HAS SOUPS 43967 WITH SCORE 44037.125
AT ITER 6029 NEW BEST:: SOT 223401 SOS 70139 HAS SOPS 51601 HAS SOUS 46944 HAS SOUPS 43919 WITH SCORE 43989.139
AT ITER 6067 NEW BEST:: SOT 223394 SOS 70125 HAS SOPS 51587 HAS SOUS 46930 HAS SOUPS 43905 WITH SCORE 43975.125
AT ITER 6069 NEW BEST:: SOT 223255 SOS 69942 HAS SOPS 51404 HAS SOUS 46747 HAS SOUPS 43722 WITH SCORE 43791.942
AT ITER 6082 NEW BEST:: SOT 223213 SOS 69858 HAS SOPS 51347 HAS SOUS 46690 HAS SOUPS 43665 WITH SCORE 43734.858
AT ITER 6133 NEW BEST:: SOT 223213 SOS 69950 HAS SOPS 51413 HAS SOUS 46698 HAS SOUPS 43661 WITH SCORE 43730.95
AT ITER 6168 NEW BEST:: SOT 223200 SOS 69969 HAS SOPS 51387 HAS SOUS 46672 HAS SOUPS 43635 WITH SCORE 43704.969
AT ITER 6176 NEW BEST:: SOT 223182 SOS 70008 HAS SOPS 51363 HAS SOUS 46657 HAS SOUPS 43614 WITH SCORE 43684.008
AT ITER 6187 NEW BEST:: SOT 223181 SOS 70006 HAS SOPS 51361 HAS SOUS 46655 HAS SOUPS 43612 WITH SCORE 43682.006
AT ITER 6190 NEW BEST:: SOT 223148 SOS 69940 HAS SOPS 51314 HAS SOUS 46608 HAS SOUPS 43565 WITH SCORE 43634.94
AT ITER 6194 NEW BEST:: SOT 223038 SOS 71353 HAS SOPS 51079 HAS SOUS 46617 HAS SOUPS 43472 WITH SCORE 43543.353
AT ITER 6198 NEW BEST:: SOT 223038 SOS 71353 HAS SOPS 51068 HAS SOUS 46606 HAS SOUPS 43461 WITH SCORE 43532.353
AT ITER 6230 NEW BEST:: SOT 223034 SOS 71349 HAS SOPS 51064 HAS SOUS 46602 HAS SOUPS 43457 WITH SCORE 43528.349
AT ITER 6245 NEW BEST:: SOT 223030 SOS 71319 HAS SOPS 51056 HAS SOUS 46594 HAS SOUPS 43449 WITH SCORE 43520.319
AT ITER 6279 NEW BEST:: SOT 222998 SOS 71155 HAS SOPS 51038 HAS SOUS 46552 HAS SOUPS 43407 WITH SCORE 43478.155
AT ITER 6287 NEW BEST:: SOT 222996 SOS 71159 HAS SOPS 51035 HAS SOUS 46552 HAS SOUPS 43406 WITH SCORE 43477.159
AT ITER 6293 NEW BEST:: SOT 222950 SOS 71067 HAS SOPS 50943 HAS SOUS 46460 HAS SOUPS 43314 WITH SCORE 43385.067
AT ITER 6294 NEW BEST:: SOT 222950 SOS 70979 HAS SOPS 50855 HAS SOUS 46460 HAS SOUPS 43314 WITH SCORE 43384.979
AT ITER 6300 NEW BEST:: SOT 222950 SOS 70959 HAS SOPS 50835 HAS SOUS 46460 HAS SOUPS 43314 WITH SCORE 43384.959
AT ITER 6315 NEW BEST:: SOT 222950 SOS 70959 HAS SOPS 50829 HAS SOUS 46454 HAS SOUPS 43308 WITH SCORE 43378.959
AT ITER 6346 NEW BEST:: SOT 222950 SOS 70930 HAS SOPS 50829 HAS SOUS 46454 HAS SOUPS 43308 WITH SCORE 43378.93
AT ITER 6376 NEW BEST:: SOT 222950 SOS 70825 HAS SOPS 50745 HAS SOUS 46454 HAS SOUPS 43308 WITH SCORE 43378.825
AT ITER 6393 NEW BEST:: SOT 222950 SOS 70808 HAS SOPS 50728 HAS SOUS 46454 HAS SOUPS 43308 WITH SCORE 43378.808
AT ITER 6408 NEW BEST:: SOT 222944 SOS 70803 HAS SOPS 50716 HAS SOUS 46442 HAS SOUPS 43296 WITH SCORE 43366.803
AT ITER 6419 NEW BEST:: SOT 222982 SOS 70827 HAS SOPS 50523 HAS SOUS 46348 HAS SOUPS 43202 WITH SCORE 43272.827
AT ITER 6420 NEW BEST:: SOT 222978 SOS 70819 HAS SOPS 50515 HAS SOUS 46340 HAS SOUPS 43194 WITH SCORE 43264.819
AT ITER 6447 NEW BEST:: SOT 222824 SOS 70727 HAS SOPS 50423 HAS SOUS 46248 HAS SOUPS 43102 WITH SCORE 43172.727
AT ITER 6457 NEW BEST:: SOT 222790 SOS 70813 HAS SOPS 50523 HAS SOUS 46240 HAS SOUPS 43094 WITH SCORE 43164.813
AT ITER 6459 NEW BEST:: SOT 222755 SOS 70621 HAS SOPS 50350 HAS SOUS 46105 HAS SOUPS 42959 WITH SCORE 43029.621
AT ITER 6488 NEW BEST:: SOT 222789 SOS 70726 HAS SOPS 50347 HAS SOUS 46102 HAS SOUPS 42956 WITH SCORE 43026.726
AT ITER 6503 NEW BEST:: SOT 222733 SOS 70739 HAS SOPS 50376 HAS SOUS 46063 HAS SOUPS 42917 WITH SCORE 42987.739
AT ITER 6515 NEW BEST:: SOT 222720 SOS 70762 HAS SOPS 50399 HAS SOUS 46037 HAS SOUPS 42891 WITH SCORE 42961.762
AT ITER 6529 NEW BEST:: SOT 222701 SOS 70740 HAS SOPS 50377 HAS SOUS 46031 HAS SOUPS 42885 WITH SCORE 42955.74
AT ITER 6547 NEW BEST:: SOT 222697 SOS 70738 HAS SOPS 50369 HAS SOUS 46023 HAS SOUPS 42877 WITH SCORE 42947.738
AT ITER 6551 NEW BEST:: SOT 222697 SOS 70719 HAS SOPS 50369 HAS SOUS 46023 HAS SOUPS 42877 WITH SCORE 42947.719
AT ITER 6692 NEW BEST:: SOT 222374 SOS 71579 HAS SOPS 50033 HAS SOUS 45994 HAS SOUPS 42698 WITH SCORE 42769.579
AT ITER 6709 NEW BEST:: SOT 222363 SOS 71553 HAS SOPS 50011 HAS SOUS 45983 HAS SOUPS 42691 WITH SCORE 42762.553
AT ITER 6739 NEW BEST:: SOT 222361 SOS 71549 HAS SOPS 50005 HAS SOUS 45977 HAS SOUPS 42685 WITH SCORE 42756.549
AT ITER 6745 NEW BEST:: SOT 222361 SOS 71531 HAS SOPS 50005 HAS SOUS 45977 HAS SOUPS 42685 WITH SCORE 42756.531
AT ITER 6757 NEW BEST:: SOT 222361 SOS 71518 HAS SOPS 50005 HAS SOUS 45977 HAS SOUPS 42685 WITH SCORE 42756.518
AT ITER 6758 NEW BEST:: SOT 222327 SOS 71449 HAS SOPS 49937 HAS SOUS 45926 HAS SOUPS 42617 WITH SCORE 42688.449
AT ITER 6769 NEW BEST:: SOT 222327 SOS 71415 HAS SOPS 49937 HAS SOUS 45926 HAS SOUPS 42617 WITH SCORE 42688.415
AT ITER 6789 NEW BEST:: SOT 222316 SOS 71232 HAS SOPS 49931 HAS SOUS 45909 HAS SOUPS 42611 WITH SCORE 42682.232
AT ITER 6812 NEW BEST:: SOT 222278 SOS 71156 HAS SOPS 49855 HAS SOUS 45833 HAS SOUPS 42535 WITH SCORE 42606.156
AT ITER 6826 NEW BEST:: SOT 222273 SOS 71146 HAS SOPS 49845 HAS SOUS 45823 HAS SOUPS 42525 WITH SCORE 42596.146
AT ITER 6870 NEW BEST:: SOT 222263 SOS 71100 HAS SOPS 49787 HAS SOUS 45765 HAS SOUPS 42467 WITH SCORE 42538.1
AT ITER 6871 NEW BEST:: SOT 222234 SOS 71049 HAS SOPS 49768 HAS SOUS 45746 HAS SOUPS 42448 WITH SCORE 42519.049
AT ITER 6877 NEW BEST:: SOT 222232 SOS 71045 HAS SOPS 49764 HAS SOUS 45742 HAS SOUPS 42444 WITH SCORE 42515.045
AT ITER 6880 NEW BEST:: SOT 222268 SOS 70701 HAS SOPS 49342 HAS SOUS 45624 HAS SOUPS 42326 WITH SCORE 42396.701
AT ITER 6891 NEW BEST:: SOT 222244 SOS 70653 HAS SOPS 49294 HAS SOUS 45576 HAS SOUPS 42278 WITH SCORE 42348.653
AT ITER 6904 NEW BEST:: SOT 222243 SOS 70596 HAS SOPS 49292 HAS SOUS 45557 HAS SOUPS 42276 WITH SCORE 42346.596
AT ITER 6939 NEW BEST:: SOT 222243 SOS 70596 HAS SOPS 49276 HAS SOUS 45541 HAS SOUPS 42260 WITH SCORE 42330.596
AT ITER 6943 NEW BEST:: SOT 222243 SOS 70612 HAS SOPS 49276 HAS SOUS 45515 HAS SOUPS 42234 WITH SCORE 42304.612
AT ITER 6954 NEW BEST:: SOT 222239 SOS 70608 HAS SOPS 49268 HAS SOUS 45507 HAS SOUPS 42226 WITH SCORE 42296.608
AT ITER 6960 NEW BEST:: SOT 222224 SOS 70578 HAS SOPS 49238 HAS SOUS 45477 HAS SOUPS 42196 WITH SCORE 42266.578
AT ITER 6990 NEW BEST:: SOT 222190 SOS 70499 HAS SOPS 49089 HAS SOUS 45328 HAS SOUPS 42047 WITH SCORE 42117.499
AT ITER 7015 NEW BEST:: SOT 222180 SOS 70514 HAS SOPS 49069 HAS SOUS 45308 HAS SOUPS 42027 WITH SCORE 42097.514
AT ITER 7029 NEW BEST:: SOT 222200 SOS 70335 HAS SOPS 48890 HAS SOUS 45301 HAS SOUPS 42020 WITH SCORE 42090.335
AT ITER 7046 NEW BEST:: SOT 222214 SOS 70326 HAS SOPS 48886 HAS SOUS 45297 HAS SOUPS 42016 WITH SCORE 42086.326
AT ITER 7059 NEW BEST:: SOT 222325 SOS 70408 HAS SOPS 48995 HAS SOUS 45263 HAS SOUPS 41989 WITH SCORE 42059.408
AT ITER 7060 NEW BEST:: SOT 222305 SOS 70368 HAS SOPS 48955 HAS SOUS 45223 HAS SOUPS 41949 WITH SCORE 42019.368
AT ITER 7063 NEW BEST:: SOT 222303 SOS 70364 HAS SOPS 48951 HAS SOUS 45219 HAS SOUPS 41945 WITH SCORE 42015.364
AT ITER 7067 NEW BEST:: SOT 222276 SOS 70310 HAS SOPS 48924 HAS SOUS 45192 HAS SOUPS 41918 WITH SCORE 41988.31
AT ITER 7100 NEW BEST:: SOT 222276 SOS 70310 HAS SOPS 48896 HAS SOUS 45164 HAS SOUPS 41890 WITH SCORE 41960.31
AT ITER 7110 NEW BEST:: SOT 222264 SOS 70286 HAS SOPS 48872 HAS SOUS 45140 HAS SOUPS 41866 WITH SCORE 41936.286
AT ITER 7119 NEW BEST:: SOT 222264 SOS 70286 HAS SOPS 48866 HAS SOUS 45134 HAS SOUPS 41860 WITH SCORE 41930.286
AT ITER 7127 NEW BEST:: SOT 222259 SOS 70276 HAS SOPS 48856 HAS SOUS 45123 HAS SOUPS 41849 WITH SCORE 41919.276
AT ITER 7135 NEW BEST:: SOT 222247 SOS 70300 HAS SOPS 48880 HAS SOUS 45099 HAS SOUPS 41825 WITH SCORE 41895.3
AT ITER 7168 NEW BEST:: SOT 222247 SOS 70149 HAS SOPS 48880 HAS SOUS 45099 HAS SOUPS 41825 WITH SCORE 41895.149
AT ITER 7173 NEW BEST:: SOT 222224 SOS 70148 HAS SOPS 48879 HAS SOUS 45084 HAS SOUPS 41810 WITH SCORE 41880.148
AT ITER 7176 NEW BEST:: SOT 222197 SOS 69938 HAS SOPS 48669 HAS SOUS 45066 HAS SOUPS 41792 WITH SCORE 41861.938
AT ITER 7184 NEW BEST:: SOT 222179 SOS 69902 HAS SOPS 48633 HAS SOUS 45030 HAS SOUPS 41756 WITH SCORE 41825.902
AT ITER 7218 NEW BEST:: SOT 222136 SOS 69816 HAS SOPS 48547 HAS SOUS 44944 HAS SOUPS 41670 WITH SCORE 41739.816
AT ITER 7236 NEW BEST:: SOT 222073 SOS 69690 HAS SOPS 48421 HAS SOUS 44818 HAS SOUPS 41544 WITH SCORE 41613.69
AT ITER 7253 NEW BEST:: SOT 222053 SOS 69650 HAS SOPS 48381 HAS SOUS 44778 HAS SOUPS 41504 WITH SCORE 41573.65
AT ITER 7254 NEW BEST:: SOT 222044 SOS 69638 HAS SOPS 48366 HAS SOUS 44763 HAS SOUPS 41489 WITH SCORE 41558.638
AT ITER 7336 NEW BEST:: SOT 222006 SOS 69573 HAS SOPS 48340 HAS SOUS 44737 HAS SOUPS 41463 WITH SCORE 41532.573
AT ITER 7346 NEW BEST:: SOT 221977 SOS 69515 HAS SOPS 48282 HAS SOUS 44679 HAS SOUPS 41405 WITH SCORE 41474.515
AT ITER 7364 NEW BEST:: SOT 221949 SOS 69493 HAS SOPS 48263 HAS SOUS 44660 HAS SOUPS 41386 WITH SCORE 41455.493
AT ITER 7412 NEW BEST:: SOT 221912 SOS 69496 HAS SOPS 48266 HAS SOUS 44611 HAS SOUPS 41337 WITH SCORE 41406.496
AT ITER 7414 NEW BEST:: SOT 221882 SOS 69436 HAS SOPS 48206 HAS SOUS 44551 HAS SOUPS 41277 WITH SCORE 41346.436
AT ITER 7441 NEW BEST:: SOT 221877 SOS 69426 HAS SOPS 48196 HAS SOUS 44541 HAS SOUPS 41267 WITH SCORE 41336.426
AT ITER 7444 NEW BEST:: SOT 221889 SOS 69468 HAS SOPS 48220 HAS SOUS 44534 HAS SOUPS 41260 WITH SCORE 41329.468
AT ITER 7470 NEW BEST:: SOT 221881 SOS 69457 HAS SOPS 48207 HAS SOUS 44521 HAS SOUPS 41247 WITH SCORE 41316.457
AT ITER 7477 NEW BEST:: SOT 221796 SOS 69272 HAS SOPS 48113 HAS SOUS 44427 HAS SOUPS 41153 WITH SCORE 41222.272
AT ITER 7481 NEW BEST:: SOT 221795 SOS 69510 HAS SOPS 48351 HAS SOUS 44425 HAS SOUPS 41151 WITH SCORE 41220.51
AT ITER 7486 NEW BEST:: SOT 221747 SOS 69511 HAS SOPS 48304 HAS SOUS 44413 HAS SOUPS 41104 WITH SCORE 41173.511
AT ITER 7487 NEW BEST:: SOT 221727 SOS 69471 HAS SOPS 48264 HAS SOUS 44373 HAS SOUPS 41064 WITH SCORE 41133.471
AT ITER 7489 NEW BEST:: SOT 221721 SOS 69459 HAS SOPS 48252 HAS SOUS 44361 HAS SOUPS 41052 WITH SCORE 41121.459
AT ITER 7493 NEW BEST:: SOT 221698 SOS 69413 HAS SOPS 48206 HAS SOUS 44315 HAS SOUPS 41006 WITH SCORE 41075.413
AT ITER 7525 NEW BEST:: SOT 221199 SOS 70498 HAS SOPS 49419 HAS SOUS 44203 HAS SOUPS 40894 WITH SCORE 40964.498
AT ITER 7527 NEW BEST:: SOT 221188 SOS 70487 HAS SOPS 49408 HAS SOUS 44192 HAS SOUPS 40883 WITH SCORE 40953.487
AT ITER 7560 NEW BEST:: SOT 221183 SOS 70477 HAS SOPS 49398 HAS SOUS 44182 HAS SOUPS 40873 WITH SCORE 40943.477
AT ITER 7563 NEW BEST:: SOT 221133 SOS 70443 HAS SOPS 49373 HAS SOUS 44157 HAS SOUPS 40848 WITH SCORE 40918.443
AT ITER 7578 NEW BEST:: SOT 221238 SOS 70380 HAS SOPS 49215 HAS SOUS 44133 HAS SOUPS 40824 WITH SCORE 40894.38
AT ITER 7581 NEW BEST:: SOT 221230 SOS 70364 HAS SOPS 49199 HAS SOUS 44117 HAS SOUPS 40808 WITH SCORE 40878.364
AT ITER 7588 NEW BEST:: SOT 221228 SOS 70362 HAS SOPS 49197 HAS SOUS 44115 HAS SOUPS 40806 WITH SCORE 40876.362
AT ITER 7600 NEW BEST:: SOT 221236 SOS 70378 HAS SOPS 49182 HAS SOUS 44131 HAS SOUPS 40791 WITH SCORE 40861.378
AT ITER 7605 NEW BEST:: SOT 221236 SOS 70377 HAS SOPS 49182 HAS SOUS 44131 HAS SOUPS 40791 WITH SCORE 40861.377
AT ITER 7621 NEW BEST:: SOT 221229 SOS 70370 HAS SOPS 49175 HAS SOUS 44124 HAS SOUPS 40784 WITH SCORE 40854.37
AT ITER 7650 NEW BEST:: SOT 221229 SOS 70345 HAS SOPS 49150 HAS SOUS 44084 HAS SOUPS 40744 WITH SCORE 40814.345
AT ITER 7653 NEW BEST:: SOT 221229 SOS 70295 HAS SOPS 49150 HAS SOUS 44084 HAS SOUPS 40744 WITH SCORE 40814.295
AT ITER 7654 NEW BEST:: SOT 221218 SOS 70103 HAS SOPS 49150 HAS SOUS 44073 HAS SOUPS 40744 WITH SCORE 40814.103
AT ITER 7655 NEW BEST:: SOT 221243 SOS 70171 HAS SOPS 49162 HAS SOUS 44071 HAS SOUPS 40742 WITH SCORE 40812.171
AT ITER 7662 NEW BEST:: SOT 221219 SOS 70123 HAS SOPS 49114 HAS SOUS 44023 HAS SOUPS 40694 WITH SCORE 40764.123
AT ITER 7675 NEW BEST:: SOT 221138 SOS 69967 HAS SOPS 48952 HAS SOUS 43861 HAS SOUPS 40532 WITH SCORE 40601.967
AT ITER 7681 NEW BEST:: SOT 221127 SOS 69956 HAS SOPS 48941 HAS SOUS 43850 HAS SOUPS 40521 WITH SCORE 40590.956
AT ITER 7683 NEW BEST:: SOT 221088 SOS 69878 HAS SOPS 48926 HAS SOUS 43835 HAS SOUPS 40506 WITH SCORE 40575.878
AT ITER 7708 NEW BEST:: SOT 221087 SOS 69876 HAS SOPS 48924 HAS SOUS 43833 HAS SOUPS 40504 WITH SCORE 40573.876
AT ITER 7710 NEW BEST:: SOT 221085 SOS 69872 HAS SOPS 48920 HAS SOUS 43829 HAS SOUPS 40500 WITH SCORE 40569.872
AT ITER 7714 NEW BEST:: SOT 221058 SOS 69824 HAS SOPS 48896 HAS SOUS 43795 HAS SOUPS 40466 WITH SCORE 40535.824
AT ITER 7735 NEW BEST:: SOT 221063 SOS 69849 HAS SOPS 48851 HAS SOUS 43750 HAS SOUPS 40421 WITH SCORE 40490.849
AT ITER 7738 NEW BEST:: SOT 221059 SOS 69845 HAS SOPS 48843 HAS SOUS 43742 HAS SOUPS 40413 WITH SCORE 40482.845
AT ITER 7742 NEW BEST:: SOT 221058 SOS 69844 HAS SOPS 48841 HAS SOUS 43740 HAS SOUPS 40411 WITH SCORE 40480.844
AT ITER 7774 NEW BEST:: SOT 221012 SOS 69779 HAS SOPS 48776 HAS SOUS 43675 HAS SOUPS 40346 WITH SCORE 40415.779
AT ITER 7817 NEW BEST:: SOT 221021 SOS 69797 HAS SOPS 48769 HAS SOUS 43668 HAS SOUPS 40339 WITH SCORE 40408.797
AT ITER 7825 NEW BEST:: SOT 221012 SOS 69779 HAS SOPS 48751 HAS SOUS 43650 HAS SOUPS 40321 WITH SCORE 40390.779
AT ITER 7863 NEW BEST:: SOT 221017 SOS 69730 HAS SOPS 48702 HAS SOUS 43635 HAS SOUPS 40306 WITH SCORE 40375.73
AT ITER 7880 NEW BEST:: SOT 221017 SOS 69724 HAS SOPS 48702 HAS SOUS 43635 HAS SOUPS 40306 WITH SCORE 40375.724
AT ITER 7889 NEW BEST:: SOT 221010 SOS 69710 HAS SOPS 48688 HAS SOUS 43621 HAS SOUPS 40292 WITH SCORE 40361.71
AT ITER 7913 NEW BEST:: SOT 221010 SOS 69710 HAS SOPS 48653 HAS SOUS 43586 HAS SOUPS 40257 WITH SCORE 40326.71
AT ITER 7920 NEW BEST:: SOT 220968 SOS 69626 HAS SOPS 48611 HAS SOUS 43544 HAS SOUPS 40215 WITH SCORE 40284.626
AT ITER 7936 NEW BEST:: SOT 220909 SOS 69453 HAS SOPS 48438 HAS SOUS 43426 HAS SOUPS 40097 WITH SCORE 40166.453
AT ITER 7939 NEW BEST:: SOT 220848 SOS 69331 HAS SOPS 48316 HAS SOUS 43304 HAS SOUPS 39975 WITH SCORE 40044.331
AT ITER 7943 NEW BEST:: SOT 220856 SOS 69257 HAS SOPS 48242 HAS SOUS 43302 HAS SOUPS 39973 WITH SCORE 40042.257
AT ITER 7955 NEW BEST:: SOT 220862 SOS 69695 HAS SOPS 48224 HAS SOUS 43308 HAS SOUPS 39955 WITH SCORE 40024.695
AT ITER 7968 NEW BEST:: SOT 220859 SOS 69692 HAS SOPS 48221 HAS SOUS 43305 HAS SOUPS 39952 WITH SCORE 40021.692
AT ITER 7975 NEW BEST:: SOT 220843 SOS 69700 HAS SOPS 48229 HAS SOUS 43293 HAS SOUPS 39940 WITH SCORE 40009.7
AT ITER 7987 NEW BEST:: SOT 220811 SOS 69679 HAS SOPS 48208 HAS SOUS 43287 HAS SOUPS 39934 WITH SCORE 40003.679
AT ITER 7992 NEW BEST:: SOT 220810 SOS 69678 HAS SOPS 48205 HAS SOUS 43284 HAS SOUPS 39931 WITH SCORE 40000.678
AT ITER 7997 NEW BEST:: SOT 220798 SOS 69654 HAS SOPS 48181 HAS SOUS 43260 HAS SOUPS 39907 WITH SCORE 39976.654
AT ITER 8026 NEW BEST:: SOT 220790 SOS 69638 HAS SOPS 48165 HAS SOUS 43260 HAS SOUPS 39907 WITH SCORE 39976.638
AT ITER 8032 NEW BEST:: SOT 220815 SOS 69641 HAS SOPS 48121 HAS SOUS 43216 HAS SOUPS 39863 WITH SCORE 39932.641
AT ITER 8043 NEW BEST:: SOT 220813 SOS 69637 HAS SOPS 48117 HAS SOUS 43212 HAS SOUPS 39859 WITH SCORE 39928.637
AT ITER 8050 NEW BEST:: SOT 220832 SOS 69659 HAS SOPS 48080 HAS SOUS 43175 HAS SOUPS 39822 WITH SCORE 39891.659
AT ITER 8105 NEW BEST:: SOT 220832 SOS 69635 HAS SOPS 48056 HAS SOUS 43151 HAS SOUPS 39798 WITH SCORE 39867.635
AT ITER 8129 NEW BEST:: SOT 220822 SOS 69615 HAS SOPS 48036 HAS SOUS 43127 HAS SOUPS 39774 WITH SCORE 39843.615
AT ITER 8135 NEW BEST:: SOT 220768 SOS 69620 HAS SOPS 48027 HAS SOUS 43118 HAS SOUPS 39765 WITH SCORE 39834.62
AT ITER 8139 NEW BEST:: SOT 220727 SOS 69523 HAS SOPS 47930 HAS SOUS 43021 HAS SOUPS 39668 WITH SCORE 39737.523
AT ITER 8140 NEW BEST:: SOT 220701 SOS 69489 HAS SOPS 47878 HAS SOUS 42969 HAS SOUPS 39616 WITH SCORE 39685.489
AT ITER 8147 NEW BEST:: SOT 220674 SOS 69435 HAS SOPS 47851 HAS SOUS 42942 HAS SOUPS 39589 WITH SCORE 39658.435
AT ITER 8153 NEW BEST:: SOT 220414 SOS 69193 HAS SOPS 47528 HAS SOUS 42863 HAS SOUPS 39489 WITH SCORE 39558.193
AT ITER 8168 NEW BEST:: SOT 220410 SOS 69161 HAS SOPS 47520 HAS SOUS 42855 HAS SOUPS 39481 WITH SCORE 39550.161
AT ITER 8171 NEW BEST:: SOT 220389 SOS 69085 HAS SOPS 47444 HAS SOUS 42823 HAS SOUPS 39449 WITH SCORE 39518.085
AT ITER 8177 NEW BEST:: SOT 220343 SOS 69039 HAS SOPS 47430 HAS SOUS 42809 HAS SOUPS 39435 WITH SCORE 39504.039
AT ITER 8198 NEW BEST:: SOT 220340 SOS 69053 HAS SOPS 47424 HAS SOUS 42803 HAS SOUPS 39429 WITH SCORE 39498.053
AT ITER 8209 NEW BEST:: SOT 220315 SOS 69044 HAS SOPS 47474 HAS SOUS 42794 HAS SOUPS 39420 WITH SCORE 39489.044
AT ITER 8212 NEW BEST:: SOT 220315 SOS 68939 HAS SOPS 47474 HAS SOUS 42794 HAS SOUPS 39420 WITH SCORE 39488.939
AT ITER 8222 NEW BEST:: SOT 220315 SOS 68932 HAS SOPS 47474 HAS SOUS 42794 HAS SOUPS 39420 WITH SCORE 39488.932
AT ITER 8243 NEW BEST:: SOT 220454 SOS 68880 HAS SOPS 47255 HAS SOUS 42762 HAS SOUPS 39343 WITH SCORE 39411.88
AT ITER 8334 NEW BEST:: SOT 220187 SOS 70241 HAS SOPS 47000 HAS SOUS 42800 HAS SOUPS 39240 WITH SCORE 39310.241
AT ITER 8345 NEW BEST:: SOT 220158 SOS 70183 HAS SOPS 46942 HAS SOUS 42742 HAS SOUPS 39182 WITH SCORE 39252.183
AT ITER 8359 NEW BEST:: SOT 220018 SOS 69865 HAS SOPS 46830 HAS SOUS 42580 HAS SOUPS 39020 WITH SCORE 39089.865
AT ITER 8400 NEW BEST:: SOT 219953 SOS 69821 HAS SOPS 46790 HAS SOUS 42521 HAS SOUPS 38961 WITH SCORE 39030.821
AT ITER 8450 NEW BEST:: SOT 220068 SOS 69982 HAS SOPS 46679 HAS SOUS 42460 HAS SOUPS 38900 WITH SCORE 38969.982
AT ITER 8474 NEW BEST:: SOT 219944 SOS 69867 HAS SOPS 46639 HAS SOUS 42420 HAS SOUPS 38860 WITH SCORE 38929.867
AT ITER 8488 NEW BEST:: SOT 219966 SOS 69856 HAS SOPS 46628 HAS SOUS 42409 HAS SOUPS 38849 WITH SCORE 38918.856
AT ITER 8493 NEW BEST:: SOT 219946 SOS 69853 HAS SOPS 46625 HAS SOUS 42392 HAS SOUPS 38832 WITH SCORE 38901.853
AT ITER 8536 NEW BEST:: SOT 219946 SOS 69861 HAS SOPS 46617 HAS SOUS 42384 HAS SOUPS 38824 WITH SCORE 38893.861
AT ITER 8577 NEW BEST:: SOT 219947 SOS 70043 HAS SOPS 46799 HAS SOUS 42370 HAS SOUPS 38810 WITH SCORE 38880.043
AT ITER 8593 NEW BEST:: SOT 219893 SOS 70025 HAS SOPS 46781 HAS SOUS 42352 HAS SOUPS 38792 WITH SCORE 38862.025
AT ITER 8662 NEW BEST:: SOT 219893 SOS 69959 HAS SOPS 46781 HAS SOUS 42352 HAS SOUPS 38792 WITH SCORE 38861.959
AT ITER 8674 NEW BEST:: SOT 219906 SOS 69986 HAS SOPS 46778 HAS SOUS 42349 HAS SOUPS 38789 WITH SCORE 38858.986
AT ITER 8689 NEW BEST:: SOT 219902 SOS 69978 HAS SOPS 46770 HAS SOUS 42341 HAS SOUPS 38781 WITH SCORE 38850.978
AT ITER 8691 NEW BEST:: SOT 219845 SOS 69850 HAS SOPS 46642 HAS SOUS 42227 HAS SOUPS 38667 WITH SCORE 38736.85
AT ITER 8702 NEW BEST:: SOT 219856 SOS 69704 HAS SOPS 46496 HAS SOUS 42211 HAS SOUPS 38651 WITH SCORE 38720.704
AT ITER 8763 NEW BEST:: SOT 219854 SOS 69700 HAS SOPS 46492 HAS SOUS 42207 HAS SOUPS 38647 WITH SCORE 38716.7
AT ITER 8767 NEW BEST:: SOT 219854 SOS 69697 HAS SOPS 46489 HAS SOUS 42207 HAS SOUPS 38647 WITH SCORE 38716.697
AT ITER 8770 NEW BEST:: SOT 219882 SOS 69874 HAS SOPS 46545 HAS SOUS 42201 HAS SOUPS 38641 WITH SCORE 38710.874
AT ITER 8796 NEW BEST:: SOT 219882 SOS 69768 HAS SOPS 46439 HAS SOUS 42094 HAS SOUPS 38534 WITH SCORE 38603.768
AT ITER 8810 NEW BEST:: SOT 219862 SOS 69773 HAS SOPS 46424 HAS SOUS 42079 HAS SOUPS 38519 WITH SCORE 38588.773
AT ITER 8811 NEW BEST:: SOT 219861 SOS 69765 HAS SOPS 46416 HAS SOUS 42077 HAS SOUPS 38517 WITH SCORE 38586.765
AT ITER 8817 NEW BEST:: SOT 219861 SOS 69751 HAS SOPS 46402 HAS SOUS 42077 HAS SOUPS 38517 WITH SCORE 38586.751
AT ITER 8819 NEW BEST:: SOT 219861 SOS 69738 HAS SOPS 46389 HAS SOUS 42064 HAS SOUPS 38504 WITH SCORE 38573.738
AT ITER 8839 NEW BEST:: SOT 219829 SOS 69674 HAS SOPS 46325 HAS SOUS 42000 HAS SOUPS 38440 WITH SCORE 38509.674
AT ITER 8848 NEW BEST:: SOT 219812 SOS 69670 HAS SOPS 46321 HAS SOUS 41996 HAS SOUPS 38436 WITH SCORE 38505.67
AT ITER 8849 NEW BEST:: SOT 219808 SOS 69670 HAS SOPS 46322 HAS SOUS 41993 HAS SOUPS 38433 WITH SCORE 38502.67
AT ITER 8861 NEW BEST:: SOT 219792 SOS 69638 HAS SOPS 46298 HAS SOUS 41969 HAS SOUPS 38409 WITH SCORE 38478.638
AT ITER 8866 NEW BEST:: SOT 219792 SOS 69616 HAS SOPS 46276 HAS SOUS 41947 HAS SOUPS 38387 WITH SCORE 38456.616
AT ITER 8871 NEW BEST:: SOT 219792 SOS 69601 HAS SOPS 46276 HAS SOUS 41947 HAS SOUPS 38387 WITH SCORE 38456.601
AT ITER 8881 NEW BEST:: SOT 219792 SOS 69591 HAS SOPS 46266 HAS SOUS 41947 HAS SOUPS 38387 WITH SCORE 38456.591
AT ITER 8887 NEW BEST:: SOT 219799 SOS 69589 HAS SOPS 46264 HAS SOUS 41945 HAS SOUPS 38385 WITH SCORE 38454.589
AT ITER 8929 NEW BEST:: SOT 219789 SOS 69457 HAS SOPS 46132 HAS SOUS 41935 HAS SOUPS 38375 WITH SCORE 38444.457
AT ITER 8933 NEW BEST:: SOT 219768 SOS 69400 HAS SOPS 46090 HAS SOUS 41893 HAS SOUPS 38333 WITH SCORE 38402.4
AT ITER 8946 NEW BEST:: SOT 219769 SOS 69399 HAS SOPS 46089 HAS SOUS 41892 HAS SOUPS 38332 WITH SCORE 38401.399
AT ITER 9024 NEW BEST:: SOT 219760 SOS 69381 HAS SOPS 46071 HAS SOUS 41874 HAS SOUPS 38314 WITH SCORE 38383.381
AT ITER 9036 NEW BEST:: SOT 219718 SOS 69388 HAS SOPS 46106 HAS SOUS 41866 HAS SOUPS 38306 WITH SCORE 38375.388
AT ITER 9039 NEW BEST:: SOT 219740 SOS 69280 HAS SOPS 45998 HAS SOUS 41827 HAS SOUPS 38267 WITH SCORE 38336.28
AT ITER 9050 NEW BEST:: SOT 219732 SOS 69272 HAS SOPS 45990 HAS SOUS 41819 HAS SOUPS 38259 WITH SCORE 38328.272
AT ITER 9097 NEW BEST:: SOT 219714 SOS 69395 HAS SOPS 45970 HAS SOUS 41808 HAS SOUPS 38239 WITH SCORE 38308.395
AT ITER 9122 NEW BEST:: SOT 219702 SOS 69307 HAS SOPS 45882 HAS SOUS 41784 HAS SOUPS 38215 WITH SCORE 38284.307
AT ITER 9166 NEW BEST:: SOT 219700 SOS 69303 HAS SOPS 45878 HAS SOUS 41780 HAS SOUPS 38211 WITH SCORE 38280.303
AT ITER 9180 NEW BEST:: SOT 219737 SOS 72395 HAS SOPS 45766 HAS SOUS 41904 HAS SOUPS 38126 WITH SCORE 38198.395
AT ITER 9181 NEW BEST:: SOT 219717 SOS 72395 HAS SOPS 45759 HAS SOUS 41896 HAS SOUPS 38119 WITH SCORE 38191.395
AT ITER 9182 NEW BEST:: SOT 219717 SOS 72399 HAS SOPS 45755 HAS SOUS 41892 HAS SOUPS 38115 WITH SCORE 38187.399
AT ITER 9184 NEW BEST:: SOT 219717 SOS 72396 HAS SOPS 45752 HAS SOUS 41889 HAS SOUPS 38112 WITH SCORE 38184.396
AT ITER 9197 NEW BEST:: SOT 219670 SOS 72335 HAS SOPS 45724 HAS SOUS 41861 HAS SOUPS 38084 WITH SCORE 38156.335
AT ITER 9221 NEW BEST:: SOT 219661 SOS 72306 HAS SOPS 45686 HAS SOUS 41823 HAS SOUPS 38046 WITH SCORE 38118.306
AT ITER 9224 NEW BEST:: SOT 219537 SOS 72149 HAS SOPS 45529 HAS SOUS 41666 HAS SOUPS 37889 WITH SCORE 37961.149
AT ITER 9232 NEW BEST:: SOT 219535 SOS 72145 HAS SOPS 45525 HAS SOUS 41662 HAS SOUPS 37885 WITH SCORE 37957.145
AT ITER 9273 NEW BEST:: SOT 219542 SOS 72407 HAS SOPS 45685 HAS SOUS 41618 HAS SOUPS 37841 WITH SCORE 37913.407
AT ITER 9279 NEW BEST:: SOT 219529 SOS 72633 HAS SOPS 45873 HAS SOUS 41584 HAS SOUPS 37807 WITH SCORE 37879.633
AT ITER 9290 NEW BEST:: SOT 219540 SOS 72884 HAS SOPS 46124 HAS SOUS 41579 HAS SOUPS 37802 WITH SCORE 37874.884
AT ITER 9296 NEW BEST:: SOT 219655 SOS 72958 HAS SOPS 46059 HAS SOUS 41569 HAS SOUPS 37792 WITH SCORE 37864.958
AT ITER 9301 NEW BEST:: SOT 219640 SOS 72928 HAS SOPS 46029 HAS SOUS 41539 HAS SOUPS 37762 WITH SCORE 37834.928
AT ITER 9330 NEW BEST:: SOT 219640 SOS 73026 HAS SOPS 46050 HAS SOUS 41420 HAS SOUPS 37643 WITH SCORE 37716.026
AT ITER 9335 NEW BEST:: SOT 219573 SOS 72832 HAS SOPS 45982 HAS SOUS 41352 HAS SOUPS 37575 WITH SCORE 37647.832
AT ITER 9397 NEW BEST:: SOT 219538 SOS 72747 HAS SOPS 45816 HAS SOUS 41170 HAS SOUPS 37393 WITH SCORE 37465.747
AT ITER 9422 NEW BEST:: SOT 219538 SOS 72734 HAS SOPS 45803 HAS SOUS 41157 HAS SOUPS 37380 WITH SCORE 37452.734
AT ITER 9425 NEW BEST:: SOT 219538 SOS 72728 HAS SOPS 45800 HAS SOUS 41154 HAS SOUPS 37377 WITH SCORE 37449.728
AT ITER 9427 NEW BEST:: SOT 219540 SOS 72732 HAS SOPS 45804 HAS SOUS 41151 HAS SOUPS 37374 WITH SCORE 37446.732
AT ITER 9438 NEW BEST:: SOT 219537 SOS 72734 HAS SOPS 45798 HAS SOUS 41145 HAS SOUPS 37368 WITH SCORE 37440.734
AT ITER 9442 NEW BEST:: SOT 219480 SOS 72677 HAS SOPS 45798 HAS SOUS 41145 HAS SOUPS 37368 WITH SCORE 37440.677
AT ITER 9443 NEW BEST:: SOT 219480 SOS 72659 HAS SOPS 45780 HAS SOUS 41127 HAS SOUPS 37350 WITH SCORE 37422.659
AT ITER 9444 NEW BEST:: SOT 219430 SOS 72559 HAS SOPS 45730 HAS SOUS 41077 HAS SOUPS 37300 WITH SCORE 37372.559
AT ITER 9480 NEW BEST:: SOT 219262 SOS 72599 HAS SOPS 45770 HAS SOUS 40951 HAS SOUPS 37160 WITH SCORE 37232.599
AT ITER 9484 NEW BEST:: SOT 219262 SOS 72598 HAS SOPS 45769 HAS SOUS 40950 HAS SOUPS 37159 WITH SCORE 37231.598
AT ITER 9500 NEW BEST:: SOT 219259 SOS 72596 HAS SOPS 45767 HAS SOUS 40948 HAS SOUPS 37157 WITH SCORE 37229.596
AT ITER 9513 NEW BEST:: SOT 219230 SOS 72502 HAS SOPS 45753 HAS SOUS 40934 HAS SOUPS 37143 WITH SCORE 37215.502
AT ITER 9530 NEW BEST:: SOT 219128 SOS 72471 HAS SOPS 45737 HAS SOUS 40834 HAS SOUPS 37103 WITH SCORE 37175.471
AT ITER 9531 NEW BEST:: SOT 219004 SOS 72411 HAS SOPS 45735 HAS SOUS 40829 HAS SOUPS 37098 WITH SCORE 37170.411
AT ITER 9649 NEW BEST:: SOT 218950 SOS 72343 HAS SOPS 45733 HAS SOUS 40827 HAS SOUPS 37096 WITH SCORE 37168.343
AT ITER 9660 NEW BEST:: SOT 218950 SOS 72303 HAS SOPS 45693 HAS SOUS 40827 HAS SOUPS 37096 WITH SCORE 37168.303
AT ITER 9663 NEW BEST:: SOT 218945 SOS 72295 HAS SOPS 45693 HAS SOUS 40822 HAS SOUPS 37096 WITH SCORE 37168.295
AT ITER 9704 NEW BEST:: SOT 218944 SOS 72293 HAS SOPS 45691 HAS SOUS 40820 HAS SOUPS 37094 WITH SCORE 37166.293
AT ITER 9730 NEW BEST:: SOT 218867 SOS 72358 HAS SOPS 45756 HAS SOUS 40713 HAS SOUPS 36987 WITH SCORE 37059.358
AT ITER 9751 NEW BEST:: SOT 218784 SOS 72328 HAS SOPS 45590 HAS SOUS 40547 HAS SOUPS 36821 WITH SCORE 36893.328
AT ITER 9760 NEW BEST:: SOT 218784 SOS 72364 HAS SOPS 45554 HAS SOUS 40511 HAS SOUPS 36785 WITH SCORE 36857.364
AT ITER 9764 NEW BEST:: SOT 218822 SOS 72396 HAS SOPS 45531 HAS SOUS 40488 HAS SOUPS 36762 WITH SCORE 36834.396
AT ITER 9784 NEW BEST:: SOT 218816 SOS 72390 HAS SOPS 45519 HAS SOUS 40476 HAS SOUPS 36750 WITH SCORE 36822.39
AT ITER 9806 NEW BEST:: SOT 218804 SOS 72399 HAS SOPS 45495 HAS SOUS 40452 HAS SOUPS 36726 WITH SCORE 36798.399
AT ITER 9815 NEW BEST:: SOT 218807 SOS 72409 HAS SOPS 45494 HAS SOUS 40451 HAS SOUPS 36725 WITH SCORE 36797.409
AT ITER 9829 NEW BEST:: SOT 218807 SOS 72311 HAS SOPS 45494 HAS SOUS 40451 HAS SOUPS 36725 WITH SCORE 36797.311
AT ITER 9830 NEW BEST:: SOT 218771 SOS 72237 HAS SOPS 45412 HAS SOUS 40385 HAS SOUPS 36651 WITH SCORE 36723.237
AT ITER 9832 NEW BEST:: SOT 218771 SOS 72237 HAS SOPS 45411 HAS SOUS 40385 HAS SOUPS 36650 WITH SCORE 36722.237
AT ITER 9843 NEW BEST:: SOT 218771 SOS 72217 HAS SOPS 45411 HAS SOUS 40385 HAS SOUPS 36650 WITH SCORE 36722.217
AT ITER 9910 NEW BEST:: SOT 218754 SOS 72183 HAS SOPS 45400 HAS SOUS 40374 HAS SOUPS 36639 WITH SCORE 36711.183
AT ITER 9920 NEW BEST:: SOT 218759 SOS 72156 HAS SOPS 45373 HAS SOUS 40363 HAS SOUPS 36628 WITH SCORE 36700.156
AT ITER 9959 NEW BEST:: SOT 218713 SOS 72064 HAS SOPS 45327 HAS SOUS 40317 HAS SOUPS 36582 WITH SCORE 36654.064
AT ITER 9976 NEW BEST:: SOT 218706 SOS 72029 HAS SOPS 45292 HAS SOUS 40303 HAS SOUPS 36568 WITH SCORE 36640.029
AT ITER 9994 NEW BEST:: SOT 218701 SOS 72019 HAS SOPS 45282 HAS SOUS 40293 HAS SOUPS 36558 WITH SCORE 36630.019
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 5850736 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120196 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="Peterson-COL-4"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is Peterson-COL-4, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r267-smll-167863542000576"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Peterson-COL-4.tgz
mv Peterson-COL-4 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;