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.r483-tall-167912696701224.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is UtilityControlRoom-PT-Z4T4N10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696701224
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 55K Feb 26 14:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 271K Feb 26 14:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 139K Feb 26 14:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 525K Feb 26 14:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 54K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 48K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 132K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 71K Feb 26 15:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 329K Feb 26 15:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 141K Feb 26 15:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 477K Feb 26 15:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 13K Feb 25 17:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 319K 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 1679194052613

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=UtilityControlRoom-PT-Z4T4N10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z4T4N10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 376 places, 750 transitions, 2410 arcs.
AT ITER 0 NEW BEST:: SOT 234924 SOS 187884 HAS SOPS 187884 HAS SOUS 111212 HAS SOUPS 111212 WITH SCORE 111399.884
AT ITER 1 NEW BEST:: SOT 234825 SOS 184719 HAS SOPS 184719 HAS SOUS 111080 HAS SOUPS 111080 WITH SCORE 111264.719
AT ITER 2 NEW BEST:: SOT 233717 SOS 183725 HAS SOPS 183725 HAS SOUS 110073 HAS SOUPS 110073 WITH SCORE 110256.725
AT ITER 3 NEW BEST:: SOT 233462 SOS 183470 HAS SOPS 183470 HAS SOUS 109814 HAS SOUPS 109814 WITH SCORE 109997.47
AT ITER 4 NEW BEST:: SOT 233462 SOS 183294 HAS SOPS 183294 HAS SOUS 109766 HAS SOUPS 109766 WITH SCORE 109949.294
AT ITER 5 NEW BEST:: SOT 233472 SOS 182868 HAS SOPS 182868 HAS SOUS 109546 HAS SOUPS 109546 WITH SCORE 109728.868
AT ITER 6 NEW BEST:: SOT 233472 SOS 182500 HAS SOPS 182500 HAS SOUS 109454 HAS SOUPS 109454 WITH SCORE 109636.5
AT ITER 7 NEW BEST:: SOT 233384 SOS 182401 HAS SOPS 182401 HAS SOUS 109170 HAS SOUPS 109170 WITH SCORE 109352.401
AT ITER 8 NEW BEST:: SOT 233322 SOS 182339 HAS SOPS 182339 HAS SOUS 109108 HAS SOUPS 109108 WITH SCORE 109290.339
AT ITER 9 NEW BEST:: SOT 233239 SOS 182160 HAS SOPS 182160 HAS SOUS 108795 HAS SOUPS 108795 WITH SCORE 108977.16
AT ITER 10 NEW BEST:: SOT 232949 SOS 182070 HAS SOPS 182070 HAS SOUS 108545 HAS SOUPS 108545 WITH SCORE 108727.07
AT ITER 11 NEW BEST:: SOT 233009 SOS 181618 HAS SOPS 181618 HAS SOUS 108482 HAS SOUPS 108482 WITH SCORE 108663.618
AT ITER 13 NEW BEST:: SOT 232721 SOS 181426 HAS SOPS 181426 HAS SOUS 108242 HAS SOUPS 108242 WITH SCORE 108423.426
AT ITER 15 NEW BEST:: SOT 232721 SOS 181150 HAS SOPS 181150 HAS SOUS 108173 HAS SOUPS 108173 WITH SCORE 108354.15
AT ITER 16 NEW BEST:: SOT 232732 SOS 181016 HAS SOPS 181016 HAS SOUS 107745 HAS SOUPS 107745 WITH SCORE 107926.016
AT ITER 18 NEW BEST:: SOT 232523 SOS 180807 HAS SOPS 180807 HAS SOUS 107528 HAS SOUPS 107528 WITH SCORE 107708.807
AT ITER 19 NEW BEST:: SOT 232523 SOS 180807 HAS SOPS 180807 HAS SOUS 107516 HAS SOUPS 107516 WITH SCORE 107696.807
AT ITER 20 NEW BEST:: SOT 232523 SOS 180807 HAS SOPS 180807 HAS SOUS 107512 HAS SOUPS 107512 WITH SCORE 107692.807
AT ITER 22 NEW BEST:: SOT 232097 SOS 180018 HAS SOPS 180018 HAS SOUS 106854 HAS SOUPS 106854 WITH SCORE 107034.018
AT ITER 26 NEW BEST:: SOT 232083 SOS 180004 HAS SOPS 180004 HAS SOUS 106840 HAS SOUPS 106840 WITH SCORE 107020.004
AT ITER 29 NEW BEST:: SOT 231959 SOS 176776 HAS SOPS 176776 HAS SOUS 101374 HAS SOUPS 101374 WITH SCORE 101550.776
AT ITER 30 NEW BEST:: SOT 231986 SOS 176840 HAS SOPS 176840 HAS SOUS 101327 HAS SOUPS 101327 WITH SCORE 101503.84
AT ITER 33 NEW BEST:: SOT 231903 SOS 176914 HAS SOPS 176914 HAS SOUS 101206 HAS SOUPS 101206 WITH SCORE 101382.914
AT ITER 42 NEW BEST:: SOT 231874 SOS 176798 HAS SOPS 176798 HAS SOUS 101086 HAS SOUPS 101086 WITH SCORE 101262.798
AT ITER 43 NEW BEST:: SOT 231781 SOS 176116 HAS SOPS 176116 HAS SOUS 100836 HAS SOUPS 100836 WITH SCORE 101012.116
AT ITER 44 NEW BEST:: SOT 231662 SOS 176724 HAS SOPS 176724 HAS SOUS 100823 HAS SOUPS 100823 WITH SCORE 100999.724
AT ITER 46 NEW BEST:: SOT 231651 SOS 176608 HAS SOPS 176608 HAS SOUS 100779 HAS SOUPS 100779 WITH SCORE 100955.608
AT ITER 50 NEW BEST:: SOT 231628 SOS 176066 HAS SOPS 176066 HAS SOUS 100609 HAS SOUPS 100609 WITH SCORE 100785.066
AT ITER 53 NEW BEST:: SOT 231539 SOS 175854 HAS SOPS 175854 HAS SOUS 100603 HAS SOUPS 100603 WITH SCORE 100778.854
AT ITER 55 NEW BEST:: SOT 231539 SOS 175854 HAS SOPS 175854 HAS SOUS 100592 HAS SOUPS 100592 WITH SCORE 100767.854
AT ITER 63 NEW BEST:: SOT 231512 SOS 175154 HAS SOPS 175154 HAS SOUS 100376 HAS SOUPS 100376 WITH SCORE 100551.154
AT ITER 64 NEW BEST:: SOT 231559 SOS 174606 HAS SOPS 174606 HAS SOUS 100184 HAS SOUPS 100184 WITH SCORE 100358.606
AT ITER 65 NEW BEST:: SOT 231536 SOS 174280 HAS SOPS 174280 HAS SOUS 100068 HAS SOUPS 100068 WITH SCORE 100242.28
AT ITER 66 NEW BEST:: SOT 231509 SOS 173661 HAS SOPS 173661 HAS SOUS 99816 HAS SOUPS 99816 WITH SCORE 99989.661
AT ITER 72 NEW BEST:: SOT 231181 SOS 173070 HAS SOPS 173070 HAS SOUS 99225 HAS SOUPS 99225 WITH SCORE 99398.07
AT ITER 80 NEW BEST:: SOT 231160 SOS 172973 HAS SOPS 172973 HAS SOUS 99094 HAS SOUPS 99094 WITH SCORE 99266.973
AT ITER 82 NEW BEST:: SOT 231160 SOS 172176 HAS SOPS 172176 HAS SOUS 98442 HAS SOUPS 98442 WITH SCORE 98614.176
AT ITER 83 NEW BEST:: SOT 201222 SOS 142368 HAS SOPS 142368 HAS SOUS 81737 HAS SOUPS 81737 WITH SCORE 81879.368
AT ITER 88 NEW BEST:: SOT 201222 SOS 142368 HAS SOPS 142368 HAS SOUS 81683 HAS SOUPS 81683 WITH SCORE 81825.368
AT ITER 91 NEW BEST:: SOT 201222 SOS 142416 HAS SOPS 142416 HAS SOUS 81659 HAS SOUPS 81659 WITH SCORE 81801.416
AT ITER 94 NEW BEST:: SOT 201222 SOS 142416 HAS SOPS 142416 HAS SOUS 81604 HAS SOUPS 81604 WITH SCORE 81746.416
AT ITER 95 NEW BEST:: SOT 201123 SOS 142317 HAS SOPS 142317 HAS SOUS 81417 HAS SOUPS 81417 WITH SCORE 81559.317
AT ITER 96 NEW BEST:: SOT 201010 SOS 141971 HAS SOPS 141971 HAS SOUS 80944 HAS SOUPS 80944 WITH SCORE 81085.971
AT ITER 97 NEW BEST:: SOT 201010 SOS 141971 HAS SOPS 141971 HAS SOUS 80940 HAS SOUPS 80940 WITH SCORE 81081.971
AT ITER 98 NEW BEST:: SOT 200979 SOS 141265 HAS SOPS 141265 HAS SOUS 80518 HAS SOUPS 80518 WITH SCORE 80659.265
AT ITER 100 NEW BEST:: SOT 201235 SOS 140998 HAS SOPS 140998 HAS SOUS 80056 HAS SOUPS 80056 WITH SCORE 80196.998
AT ITER 103 NEW BEST:: SOT 201235 SOS 137850 HAS SOPS 137850 HAS SOUS 77887 HAS SOUPS 77887 WITH SCORE 78024.85
AT ITER 104 NEW BEST:: SOT 201274 SOS 137889 HAS SOPS 137889 HAS SOUS 77875 HAS SOUPS 77875 WITH SCORE 78012.889
AT ITER 106 NEW BEST:: SOT 201274 SOS 137810 HAS SOPS 137810 HAS SOUS 77841 HAS SOUPS 77841 WITH SCORE 77978.81
AT ITER 109 NEW BEST:: SOT 201191 SOS 137682 HAS SOPS 137682 HAS SOUS 77565 HAS SOUPS 77565 WITH SCORE 77702.682
AT ITER 112 NEW BEST:: SOT 201433 SOS 137984 HAS SOPS 137984 HAS SOUS 77493 HAS SOUPS 77493 WITH SCORE 77630.984
AT ITER 113 NEW BEST:: SOT 201258 SOS 137919 HAS SOPS 137919 HAS SOUS 77428 HAS SOUPS 77428 WITH SCORE 77565.919
AT ITER 114 NEW BEST:: SOT 201254 SOS 138049 HAS SOPS 138049 HAS SOUS 76999 HAS SOUPS 76999 WITH SCORE 77137.049
AT ITER 117 NEW BEST:: SOT 201214 SOS 137247 HAS SOPS 137247 HAS SOUS 76535 HAS SOUPS 76535 WITH SCORE 76672.247
AT ITER 118 NEW BEST:: SOT 201189 SOS 136676 HAS SOPS 136676 HAS SOUS 76397 HAS SOUPS 76397 WITH SCORE 76533.676
AT ITER 122 NEW BEST:: SOT 201121 SOS 136418 HAS SOPS 136418 HAS SOUS 76020 HAS SOUPS 76020 WITH SCORE 76156.418
AT ITER 123 NEW BEST:: SOT 201127 SOS 136440 HAS SOPS 136440 HAS SOUS 75969 HAS SOUPS 75969 WITH SCORE 76105.44
AT ITER 124 NEW BEST:: SOT 201127 SOS 136348 HAS SOPS 136348 HAS SOUS 75949 HAS SOUPS 75949 WITH SCORE 76085.348
AT ITER 126 NEW BEST:: SOT 201120 SOS 136334 HAS SOPS 136334 HAS SOUS 75875 HAS SOUPS 75875 WITH SCORE 76011.334
AT ITER 127 NEW BEST:: SOT 200817 SOS 135770 HAS SOPS 135770 HAS SOUS 75226 HAS SOUPS 75226 WITH SCORE 75361.77
AT ITER 129 NEW BEST:: SOT 200699 SOS 135593 HAS SOPS 135593 HAS SOUS 74990 HAS SOUPS 74990 WITH SCORE 75125.593
AT ITER 132 NEW BEST:: SOT 200651 SOS 135356 HAS SOPS 135356 HAS SOUS 74683 HAS SOUPS 74683 WITH SCORE 74818.356
AT ITER 134 NEW BEST:: SOT 200662 SOS 135341 HAS SOPS 135341 HAS SOUS 74573 HAS SOUPS 74573 WITH SCORE 74708.341
AT ITER 135 NEW BEST:: SOT 200556 SOS 135065 HAS SOPS 135065 HAS SOUS 74518 HAS SOUPS 74518 WITH SCORE 74653.065
AT ITER 136 NEW BEST:: SOT 200481 SOS 134990 HAS SOPS 134990 HAS SOUS 74488 HAS SOUPS 74488 WITH SCORE 74622.99
AT ITER 139 NEW BEST:: SOT 200481 SOS 134990 HAS SOPS 134990 HAS SOUS 74480 HAS SOUPS 74480 WITH SCORE 74614.99
AT ITER 140 NEW BEST:: SOT 200355 SOS 134864 HAS SOPS 134864 HAS SOUS 74092 HAS SOUPS 74092 WITH SCORE 74226.864
AT ITER 141 NEW BEST:: SOT 200285 SOS 134724 HAS SOPS 134724 HAS SOUS 73890 HAS SOUPS 73890 WITH SCORE 74024.724
AT ITER 142 NEW BEST:: SOT 200285 SOS 134408 HAS SOPS 134408 HAS SOUS 73886 HAS SOUPS 73886 WITH SCORE 74020.408
AT ITER 143 NEW BEST:: SOT 200223 SOS 134545 HAS SOPS 134545 HAS SOUS 73873 HAS SOUPS 73873 WITH SCORE 74007.545
AT ITER 145 NEW BEST:: SOT 200076 SOS 134457 HAS SOPS 134457 HAS SOUS 73724 HAS SOUPS 73724 WITH SCORE 73858.457
AT ITER 146 NEW BEST:: SOT 199991 SOS 134372 HAS SOPS 134372 HAS SOUS 73443 HAS SOUPS 73443 WITH SCORE 73577.372
AT ITER 147 NEW BEST:: SOT 199960 SOS 134217 HAS SOPS 134217 HAS SOUS 73412 HAS SOUPS 73412 WITH SCORE 73546.217
AT ITER 148 NEW BEST:: SOT 199846 SOS 134095 HAS SOPS 134095 HAS SOUS 73354 HAS SOUPS 73354 WITH SCORE 73488.095
AT ITER 155 NEW BEST:: SOT 199804 SOS 133328 HAS SOPS 133328 HAS SOUS 72937 HAS SOUPS 72937 WITH SCORE 73070.328
AT ITER 158 NEW BEST:: SOT 199690 SOS 132932 HAS SOPS 132932 HAS SOUS 72670 HAS SOUPS 72670 WITH SCORE 72802.932
AT ITER 159 NEW BEST:: SOT 199665 SOS 132788 HAS SOPS 132788 HAS SOUS 72561 HAS SOUPS 72561 WITH SCORE 72693.788
AT ITER 160 NEW BEST:: SOT 199351 SOS 132517 HAS SOPS 132517 HAS SOUS 72322 HAS SOUPS 72322 WITH SCORE 72454.517
AT ITER 165 NEW BEST:: SOT 199344 SOS 132473 HAS SOPS 132473 HAS SOUS 72315 HAS SOUPS 72315 WITH SCORE 72447.473
AT ITER 169 NEW BEST:: SOT 199398 SOS 132527 HAS SOPS 132527 HAS SOUS 72276 HAS SOUPS 72276 WITH SCORE 72408.527
AT ITER 174 NEW BEST:: SOT 199337 SOS 132619 HAS SOPS 132619 HAS SOUS 72262 HAS SOUPS 72262 WITH SCORE 72394.619
AT ITER 183 NEW BEST:: SOT 199337 SOS 132619 HAS SOPS 132619 HAS SOUS 72219 HAS SOUPS 72219 WITH SCORE 72351.619
AT ITER 186 NEW BEST:: SOT 199295 SOS 132121 HAS SOPS 132121 HAS SOUS 72030 HAS SOUPS 72030 WITH SCORE 72162.121
AT ITER 189 NEW BEST:: SOT 199231 SOS 131929 HAS SOPS 131929 HAS SOUS 71919 HAS SOUPS 71919 WITH SCORE 72050.929
AT ITER 194 NEW BEST:: SOT 199226 SOS 131963 HAS SOPS 131963 HAS SOUS 71865 HAS SOUPS 71865 WITH SCORE 71996.963
AT ITER 197 NEW BEST:: SOT 199216 SOS 131694 HAS SOPS 131694 HAS SOUS 71812 HAS SOUPS 71812 WITH SCORE 71943.694
AT ITER 198 NEW BEST:: SOT 199518 SOS 131066 HAS SOPS 131066 HAS SOUS 71478 HAS SOUPS 71478 WITH SCORE 71609.066
AT ITER 199 NEW BEST:: SOT 199444 SOS 130238 HAS SOPS 130238 HAS SOUS 71112 HAS SOUPS 71112 WITH SCORE 71242.238
AT ITER 201 NEW BEST:: SOT 199411 SOS 130205 HAS SOPS 130205 HAS SOUS 71015 HAS SOUPS 71015 WITH SCORE 71145.205
AT ITER 204 NEW BEST:: SOT 199544 SOS 129703 HAS SOPS 129703 HAS SOUS 70791 HAS SOUPS 70791 WITH SCORE 70920.703
AT ITER 206 NEW BEST:: SOT 199512 SOS 129825 HAS SOPS 129825 HAS SOUS 70759 HAS SOUPS 70759 WITH SCORE 70888.825
AT ITER 208 NEW BEST:: SOT 199512 SOS 129617 HAS SOPS 129617 HAS SOUS 70707 HAS SOUPS 70707 WITH SCORE 70836.617
AT ITER 209 NEW BEST:: SOT 199487 SOS 129418 HAS SOPS 129418 HAS SOUS 70628 HAS SOUPS 70628 WITH SCORE 70757.418
AT ITER 215 NEW BEST:: SOT 199487 SOS 129358 HAS SOPS 129358 HAS SOUS 70628 HAS SOUPS 70628 WITH SCORE 70757.358
AT ITER 217 NEW BEST:: SOT 199487 SOS 129262 HAS SOPS 129262 HAS SOUS 70626 HAS SOUPS 70626 WITH SCORE 70755.262
AT ITER 225 NEW BEST:: SOT 199473 SOS 129048 HAS SOPS 129048 HAS SOUS 70518 HAS SOUPS 70518 WITH SCORE 70647.048
AT ITER 227 NEW BEST:: SOT 199533 SOS 129410 HAS SOPS 129410 HAS SOUS 70508 HAS SOUPS 70508 WITH SCORE 70637.41
AT ITER 228 NEW BEST:: SOT 199489 SOS 128651 HAS SOPS 128651 HAS SOUS 70265 HAS SOUPS 70265 WITH SCORE 70393.651
AT ITER 233 NEW BEST:: SOT 199377 SOS 128271 HAS SOPS 128271 HAS SOUS 69646 HAS SOUPS 69646 WITH SCORE 69774.271
AT ITER 234 NEW BEST:: SOT 199358 SOS 128290 HAS SOPS 128290 HAS SOUS 69608 HAS SOUPS 69608 WITH SCORE 69736.29
AT ITER 239 NEW BEST:: SOT 199321 SOS 128018 HAS SOPS 128018 HAS SOUS 69550 HAS SOUPS 69550 WITH SCORE 69678.018
AT ITER 241 NEW BEST:: SOT 199444 SOS 127531 HAS SOPS 127531 HAS SOUS 68763 HAS SOUPS 68763 WITH SCORE 68890.531
AT ITER 243 NEW BEST:: SOT 199417 SOS 127251 HAS SOPS 127251 HAS SOUS 68589 HAS SOUPS 68589 WITH SCORE 68716.251
AT ITER 247 NEW BEST:: SOT 199381 SOS 127177 HAS SOPS 127177 HAS SOUS 68483 HAS SOUPS 68483 WITH SCORE 68610.177
AT ITER 249 NEW BEST:: SOT 199381 SOS 127177 HAS SOPS 127177 HAS SOUS 68450 HAS SOUPS 68450 WITH SCORE 68577.177
AT ITER 251 NEW BEST:: SOT 199163 SOS 126972 HAS SOPS 126972 HAS SOUS 68028 HAS SOUPS 68028 WITH SCORE 68154.972
AT ITER 252 NEW BEST:: SOT 199146 SOS 126938 HAS SOPS 126938 HAS SOUS 67995 HAS SOUPS 67995 WITH SCORE 68121.938
AT ITER 258 NEW BEST:: SOT 199146 SOS 126988 HAS SOPS 126988 HAS SOUS 67895 HAS SOUPS 67895 WITH SCORE 68021.988
AT ITER 267 NEW BEST:: SOT 199225 SOS 126157 HAS SOPS 126157 HAS SOUS 67119 HAS SOUPS 67119 WITH SCORE 67245.157
AT ITER 268 NEW BEST:: SOT 199305 SOS 125649 HAS SOPS 125649 HAS SOUS 67056 HAS SOUPS 67056 WITH SCORE 67181.649
AT ITER 269 NEW BEST:: SOT 199241 SOS 125577 HAS SOPS 125577 HAS SOUS 66936 HAS SOUPS 66936 WITH SCORE 67061.577
AT ITER 273 NEW BEST:: SOT 199351 SOS 125333 HAS SOPS 125333 HAS SOUS 66923 HAS SOUPS 66923 WITH SCORE 67048.333
AT ITER 275 NEW BEST:: SOT 199280 SOS 125118 HAS SOPS 125118 HAS SOUS 66837 HAS SOUPS 66837 WITH SCORE 66962.118
AT ITER 282 NEW BEST:: SOT 199332 SOS 124555 HAS SOPS 124555 HAS SOUS 66758 HAS SOUPS 66758 WITH SCORE 66882.555
AT ITER 289 NEW BEST:: SOT 199324 SOS 124547 HAS SOPS 124547 HAS SOUS 66626 HAS SOUPS 66626 WITH SCORE 66750.547
AT ITER 292 NEW BEST:: SOT 199376 SOS 124521 HAS SOPS 124521 HAS SOUS 66580 HAS SOUPS 66580 WITH SCORE 66704.521
AT ITER 293 NEW BEST:: SOT 199376 SOS 124521 HAS SOPS 124521 HAS SOUS 66528 HAS SOUPS 66528 WITH SCORE 66652.521
AT ITER 295 NEW BEST:: SOT 199256 SOS 124301 HAS SOPS 124301 HAS SOUS 66506 HAS SOUPS 66506 WITH SCORE 66630.301
AT ITER 297 NEW BEST:: SOT 199145 SOS 124173 HAS SOPS 124173 HAS SOUS 66390 HAS SOUPS 66390 WITH SCORE 66514.173
AT ITER 298 NEW BEST:: SOT 199188 SOS 123758 HAS SOPS 123758 HAS SOUS 66312 HAS SOUPS 66312 WITH SCORE 66435.758
AT ITER 302 NEW BEST:: SOT 199213 SOS 123750 HAS SOPS 123750 HAS SOUS 66306 HAS SOUPS 66306 WITH SCORE 66429.75
AT ITER 307 NEW BEST:: SOT 199082 SOS 123334 HAS SOPS 123334 HAS SOUS 66155 HAS SOUPS 66155 WITH SCORE 66278.334
AT ITER 308 NEW BEST:: SOT 199082 SOS 123354 HAS SOPS 123354 HAS SOUS 66111 HAS SOUPS 66111 WITH SCORE 66234.354
AT ITER 310 NEW BEST:: SOT 199023 SOS 124353 HAS SOPS 124353 HAS SOUS 66100 HAS SOUPS 66100 WITH SCORE 66224.353
AT ITER 311 NEW BEST:: SOT 198940 SOS 124238 HAS SOPS 124238 HAS SOUS 65942 HAS SOUPS 65942 WITH SCORE 66066.238
AT ITER 313 NEW BEST:: SOT 198302 SOS 125802 HAS SOPS 125802 HAS SOUS 65178 HAS SOUPS 65178 WITH SCORE 65303.802
AT ITER 322 NEW BEST:: SOT 198302 SOS 125897 HAS SOPS 125897 HAS SOUS 65131 HAS SOUPS 65131 WITH SCORE 65256.897
AT ITER 325 NEW BEST:: SOT 198264 SOS 125878 HAS SOPS 125878 HAS SOUS 65110 HAS SOUPS 65110 WITH SCORE 65235.878
AT ITER 328 NEW BEST:: SOT 198034 SOS 125626 HAS SOPS 125626 HAS SOUS 64957 HAS SOUPS 64957 WITH SCORE 65082.626
AT ITER 330 NEW BEST:: SOT 197924 SOS 125697 HAS SOPS 125697 HAS SOUS 64896 HAS SOUPS 64896 WITH SCORE 65021.697
AT ITER 331 NEW BEST:: SOT 197926 SOS 125699 HAS SOPS 125699 HAS SOUS 64895 HAS SOUPS 64895 WITH SCORE 65020.699
AT ITER 332 NEW BEST:: SOT 197901 SOS 125645 HAS SOPS 125645 HAS SOUS 64835 HAS SOUPS 64835 WITH SCORE 64960.645
AT ITER 335 NEW BEST:: SOT 197901 SOS 125637 HAS SOPS 125637 HAS SOUS 64835 HAS SOUPS 64835 WITH SCORE 64960.637
AT ITER 336 NEW BEST:: SOT 197901 SOS 125703 HAS SOPS 125703 HAS SOUS 64813 HAS SOUPS 64813 WITH SCORE 64938.703
AT ITER 337 NEW BEST:: SOT 197741 SOS 125543 HAS SOPS 125543 HAS SOUS 64562 HAS SOUPS 64562 WITH SCORE 64687.543
AT ITER 340 NEW BEST:: SOT 197741 SOS 125475 HAS SOPS 125475 HAS SOUS 64491 HAS SOUPS 64491 WITH SCORE 64616.475
AT ITER 343 NEW BEST:: SOT 197741 SOS 125716 HAS SOPS 125716 HAS SOUS 64482 HAS SOUPS 64482 WITH SCORE 64607.716
AT ITER 349 NEW BEST:: SOT 197741 SOS 125708 HAS SOPS 125708 HAS SOUS 64474 HAS SOUPS 64474 WITH SCORE 64599.708
AT ITER 350 NEW BEST:: SOT 197741 SOS 125650 HAS SOPS 125650 HAS SOUS 64387 HAS SOUPS 64387 WITH SCORE 64512.65
AT ITER 358 NEW BEST:: SOT 197690 SOS 125533 HAS SOPS 125533 HAS SOUS 64249 HAS SOUPS 64249 WITH SCORE 64374.533
AT ITER 363 NEW BEST:: SOT 197528 SOS 125425 HAS SOPS 125425 HAS SOUS 64172 HAS SOUPS 64172 WITH SCORE 64297.425
AT ITER 370 NEW BEST:: SOT 197528 SOS 125421 HAS SOPS 125421 HAS SOUS 64168 HAS SOUPS 64168 WITH SCORE 64293.421
AT ITER 373 NEW BEST:: SOT 197529 SOS 125491 HAS SOPS 125491 HAS SOUS 64162 HAS SOUPS 64162 WITH SCORE 64287.491
AT ITER 374 NEW BEST:: SOT 197529 SOS 125291 HAS SOPS 125291 HAS SOUS 64137 HAS SOUPS 64137 WITH SCORE 64262.291
AT ITER 375 NEW BEST:: SOT 197473 SOS 125285 HAS SOPS 125285 HAS SOUS 64011 HAS SOUPS 64011 WITH SCORE 64136.285
AT ITER 376 NEW BEST:: SOT 197473 SOS 125145 HAS SOPS 125145 HAS SOUS 63976 HAS SOUPS 63976 WITH SCORE 64101.145
AT ITER 378 NEW BEST:: SOT 197390 SOS 125103 HAS SOPS 125103 HAS SOUS 63893 HAS SOUPS 63893 WITH SCORE 64018.103
AT ITER 383 NEW BEST:: SOT 197303 SOS 124866 HAS SOPS 124866 HAS SOUS 63582 HAS SOUPS 63582 WITH SCORE 63706.866
AT ITER 384 NEW BEST:: SOT 197114 SOS 124729 HAS SOPS 124729 HAS SOUS 63503 HAS SOUPS 63503 WITH SCORE 63627.729
AT ITER 386 NEW BEST:: SOT 197039 SOS 124661 HAS SOPS 124661 HAS SOUS 63428 HAS SOUPS 63428 WITH SCORE 63552.661
AT ITER 390 NEW BEST:: SOT 197030 SOS 123800 HAS SOPS 123800 HAS SOUS 63156 HAS SOUPS 63156 WITH SCORE 63279.8
AT ITER 394 NEW BEST:: SOT 197032 SOS 123824 HAS SOPS 123824 HAS SOUS 63134 HAS SOUPS 63134 WITH SCORE 63257.824
AT ITER 397 NEW BEST:: SOT 197068 SOS 123572 HAS SOPS 123572 HAS SOUS 63091 HAS SOUPS 63091 WITH SCORE 63214.572
AT ITER 398 NEW BEST:: SOT 197004 SOS 123500 HAS SOPS 123500 HAS SOUS 62892 HAS SOUPS 62892 WITH SCORE 63015.5
AT ITER 400 NEW BEST:: SOT 196997 SOS 123493 HAS SOPS 123493 HAS SOUS 62892 HAS SOUPS 62892 WITH SCORE 63015.493
AT ITER 402 NEW BEST:: SOT 196943 SOS 123301 HAS SOPS 123301 HAS SOUS 62860 HAS SOUPS 62860 WITH SCORE 62983.301
AT ITER 404 NEW BEST:: SOT 196925 SOS 123265 HAS SOPS 123265 HAS SOUS 62788 HAS SOUPS 62788 WITH SCORE 62911.265
AT ITER 408 NEW BEST:: SOT 196948 SOS 123288 HAS SOPS 123288 HAS SOUS 62779 HAS SOUPS 62779 WITH SCORE 62902.288
AT ITER 423 NEW BEST:: SOT 196948 SOS 123330 HAS SOPS 123330 HAS SOUS 62758 HAS SOUPS 62758 WITH SCORE 62881.33
AT ITER 424 NEW BEST:: SOT 196944 SOS 123332 HAS SOPS 123332 HAS SOUS 62752 HAS SOUPS 62752 WITH SCORE 62875.332
AT ITER 425 NEW BEST:: SOT 196950 SOS 123367 HAS SOPS 123367 HAS SOUS 62747 HAS SOUPS 62747 WITH SCORE 62870.367
AT ITER 427 NEW BEST:: SOT 196950 SOS 123315 HAS SOPS 123315 HAS SOUS 62747 HAS SOUPS 62747 WITH SCORE 62870.315
AT ITER 430 NEW BEST:: SOT 196957 SOS 123141 HAS SOPS 123141 HAS SOUS 62702 HAS SOUPS 62702 WITH SCORE 62825.141
AT ITER 431 NEW BEST:: SOT 196957 SOS 122945 HAS SOPS 122945 HAS SOUS 62648 HAS SOUPS 62648 WITH SCORE 62770.945
AT ITER 449 NEW BEST:: SOT 196957 SOS 122945 HAS SOPS 122945 HAS SOUS 62618 HAS SOUPS 62618 WITH SCORE 62740.945
AT ITER 455 NEW BEST:: SOT 196852 SOS 122834 HAS SOPS 122834 HAS SOUS 62420 HAS SOUPS 62420 WITH SCORE 62542.834
AT ITER 460 NEW BEST:: SOT 197050 SOS 122965 HAS SOPS 122965 HAS SOUS 62353 HAS SOUPS 62353 WITH SCORE 62475.965
AT ITER 465 NEW BEST:: SOT 197071 SOS 123290 HAS SOPS 123290 HAS SOUS 62338 HAS SOUPS 62338 WITH SCORE 62461.29
AT ITER 474 NEW BEST:: SOT 197016 SOS 123235 HAS SOPS 123235 HAS SOUS 62219 HAS SOUPS 62219 WITH SCORE 62342.235
AT ITER 478 NEW BEST:: SOT 197016 SOS 123262 HAS SOPS 123262 HAS SOUS 62192 HAS SOUPS 62192 WITH SCORE 62315.262
AT ITER 480 NEW BEST:: SOT 196938 SOS 122491 HAS SOPS 122491 HAS SOUS 61815 HAS SOUPS 61815 WITH SCORE 61937.491
AT ITER 481 NEW BEST:: SOT 196876 SOS 122364 HAS SOPS 122364 HAS SOUS 61751 HAS SOUPS 61751 WITH SCORE 61873.364
AT ITER 482 NEW BEST:: SOT 196827 SOS 122131 HAS SOPS 122131 HAS SOUS 61466 HAS SOUPS 61466 WITH SCORE 61588.131
AT ITER 496 NEW BEST:: SOT 196787 SOS 122011 HAS SOPS 122011 HAS SOUS 61306 HAS SOUPS 61306 WITH SCORE 61428.011
AT ITER 499 NEW BEST:: SOT 196503 SOS 120896 HAS SOPS 120896 HAS SOUS 60176 HAS SOUPS 60176 WITH SCORE 60296.896
AT ITER 506 NEW BEST:: SOT 187085 SOS 116674 HAS SOPS 116674 HAS SOUS 55356 HAS SOUPS 55356 WITH SCORE 55472.674
AT ITER 509 NEW BEST:: SOT 182033 SOS 122152 HAS SOPS 122152 HAS SOUS 54103 HAS SOUPS 54103 WITH SCORE 54225.152
AT ITER 511 NEW BEST:: SOT 182007 SOS 122100 HAS SOPS 122100 HAS SOUS 54103 HAS SOUPS 54103 WITH SCORE 54225.1
AT ITER 520 NEW BEST:: SOT 182007 SOS 122083 HAS SOPS 122083 HAS SOUS 54103 HAS SOUPS 54103 WITH SCORE 54225.083
AT ITER 521 NEW BEST:: SOT 181959 SOS 121994 HAS SOPS 121994 HAS SOUS 54003 HAS SOUPS 54003 WITH SCORE 54124.994
AT ITER 523 NEW BEST:: SOT 181884 SOS 121919 HAS SOPS 121919 HAS SOUS 53973 HAS SOUPS 53973 WITH SCORE 54094.919
AT ITER 527 NEW BEST:: SOT 181774 SOS 120484 HAS SOPS 120484 HAS SOUS 53208 HAS SOUPS 53208 WITH SCORE 53328.484
AT ITER 529 NEW BEST:: SOT 181774 SOS 120484 HAS SOPS 120484 HAS SOUS 53200 HAS SOUPS 53200 WITH SCORE 53320.484
AT ITER 539 NEW BEST:: SOT 182353 SOS 120619 HAS SOPS 120619 HAS SOUS 52847 HAS SOUPS 52847 WITH SCORE 52967.619
AT ITER 541 NEW BEST:: SOT 182189 SOS 120477 HAS SOPS 120477 HAS SOUS 52656 HAS SOUPS 52656 WITH SCORE 52776.477
AT ITER 542 NEW BEST:: SOT 182230 SOS 120396 HAS SOPS 120396 HAS SOUS 52455 HAS SOUPS 52455 WITH SCORE 52575.396
AT ITER 543 NEW BEST:: SOT 182225 SOS 120391 HAS SOPS 120391 HAS SOUS 52451 HAS SOUPS 52451 WITH SCORE 52571.391
AT ITER 544 NEW BEST:: SOT 182181 SOS 120347 HAS SOPS 120347 HAS SOUS 52425 HAS SOUPS 52425 WITH SCORE 52545.347
AT ITER 546 NEW BEST:: SOT 181949 SOS 119887 HAS SOPS 119887 HAS SOUS 51719 HAS SOUPS 51719 WITH SCORE 51838.887
AT ITER 548 NEW BEST:: SOT 181853 SOS 119663 HAS SOPS 119663 HAS SOUS 51527 HAS SOUPS 51527 WITH SCORE 51646.663
AT ITER 553 NEW BEST:: SOT 181518 SOS 119328 HAS SOPS 119328 HAS SOUS 51351 HAS SOUPS 51351 WITH SCORE 51470.328
AT ITER 557 NEW BEST:: SOT 181436 SOS 119164 HAS SOPS 119164 HAS SOUS 51105 HAS SOUPS 51105 WITH SCORE 51224.164
AT ITER 563 NEW BEST:: SOT 181257 SOS 118546 HAS SOPS 118546 HAS SOUS 50891 HAS SOUPS 50891 WITH SCORE 51009.546
AT ITER 564 NEW BEST:: SOT 181244 SOS 118394 HAS SOPS 118394 HAS SOUS 50815 HAS SOUPS 50815 WITH SCORE 50933.394
AT ITER 571 NEW BEST:: SOT 181218 SOS 118368 HAS SOPS 118368 HAS SOUS 50763 HAS SOUPS 50763 WITH SCORE 50881.368
AT ITER 575 NEW BEST:: SOT 181345 SOS 118198 HAS SOPS 118198 HAS SOUS 50752 HAS SOUPS 50752 WITH SCORE 50870.198
AT ITER 577 NEW BEST:: SOT 181225 SOS 118052 HAS SOPS 118052 HAS SOUS 50585 HAS SOUPS 50585 WITH SCORE 50703.052
AT ITER 582 NEW BEST:: SOT 181225 SOS 118007 HAS SOPS 118007 HAS SOUS 50585 HAS SOUPS 50585 WITH SCORE 50703.007
AT ITER 583 NEW BEST:: SOT 181225 SOS 117787 HAS SOPS 117787 HAS SOUS 50585 HAS SOUPS 50585 WITH SCORE 50702.787
AT ITER 589 NEW BEST:: SOT 181177 SOS 117734 HAS SOPS 117734 HAS SOUS 50489 HAS SOUPS 50489 WITH SCORE 50606.734
AT ITER 591 NEW BEST:: SOT 181106 SOS 117464 HAS SOPS 117464 HAS SOUS 50485 HAS SOUPS 50485 WITH SCORE 50602.464
AT ITER 603 NEW BEST:: SOT 181106 SOS 112787 HAS SOPS 112787 HAS SOUS 50424 HAS SOUPS 50424 WITH SCORE 50536.787
AT ITER 605 NEW BEST:: SOT 181065 SOS 112528 HAS SOPS 112528 HAS SOUS 50401 HAS SOUPS 50401 WITH SCORE 50513.528
AT ITER 609 NEW BEST:: SOT 181045 SOS 112210 HAS SOPS 112210 HAS SOUS 50394 HAS SOUPS 50394 WITH SCORE 50506.21
AT ITER 611 NEW BEST:: SOT 180928 SOS 112004 HAS SOPS 112004 HAS SOUS 50277 HAS SOUPS 50277 WITH SCORE 50389.004
AT ITER 618 NEW BEST:: SOT 180931 SOS 112007 HAS SOPS 112007 HAS SOUS 50268 HAS SOUPS 50268 WITH SCORE 50380.007
AT ITER 629 NEW BEST:: SOT 180889 SOS 111947 HAS SOPS 111947 HAS SOUS 50196 HAS SOUPS 50196 WITH SCORE 50307.947
AT ITER 635 NEW BEST:: SOT 180951 SOS 111894 HAS SOPS 111894 HAS SOUS 50157 HAS SOUPS 50157 WITH SCORE 50268.894
AT ITER 637 NEW BEST:: SOT 180764 SOS 111707 HAS SOPS 111707 HAS SOUS 50051 HAS SOUPS 50051 WITH SCORE 50162.707
AT ITER 645 NEW BEST:: SOT 180709 SOS 111674 HAS SOPS 111674 HAS SOUS 49939 HAS SOUPS 49939 WITH SCORE 50050.674
AT ITER 646 NEW BEST:: SOT 180799 SOS 111764 HAS SOPS 111764 HAS SOUS 49841 HAS SOUPS 49841 WITH SCORE 49952.764
AT ITER 647 NEW BEST:: SOT 180763 SOS 111728 HAS SOPS 111728 HAS SOUS 49701 HAS SOUPS 49701 WITH SCORE 49812.728
AT ITER 648 NEW BEST:: SOT 180738 SOS 111618 HAS SOPS 111618 HAS SOUS 49692 HAS SOUPS 49692 WITH SCORE 49803.618
AT ITER 657 NEW BEST:: SOT 180717 SOS 111546 HAS SOPS 111546 HAS SOUS 49660 HAS SOUPS 49660 WITH SCORE 49771.546
AT ITER 658 NEW BEST:: SOT 180624 SOS 111462 HAS SOPS 111462 HAS SOUS 49559 HAS SOUPS 49559 WITH SCORE 49670.462
AT ITER 663 NEW BEST:: SOT 180591 SOS 111317 HAS SOPS 111317 HAS SOUS 49493 HAS SOUPS 49493 WITH SCORE 49604.317
AT ITER 666 NEW BEST:: SOT 180704 SOS 111430 HAS SOPS 111430 HAS SOUS 49484 HAS SOUPS 49484 WITH SCORE 49595.43
AT ITER 667 NEW BEST:: SOT 180698 SOS 111418 HAS SOPS 111418 HAS SOUS 49480 HAS SOUPS 49480 WITH SCORE 49591.418
AT ITER 677 NEW BEST:: SOT 180680 SOS 111316 HAS SOPS 111316 HAS SOUS 49462 HAS SOUPS 49462 WITH SCORE 49573.316
AT ITER 678 NEW BEST:: SOT 180642 SOS 111183 HAS SOPS 111183 HAS SOUS 49405 HAS SOUPS 49405 WITH SCORE 49516.183
AT ITER 679 NEW BEST:: SOT 180642 SOS 111269 HAS SOPS 111269 HAS SOUS 49403 HAS SOUPS 49403 WITH SCORE 49514.269
AT ITER 686 NEW BEST:: SOT 180561 SOS 111286 HAS SOPS 111286 HAS SOUS 49303 HAS SOUPS 49303 WITH SCORE 49414.286
AT ITER 689 NEW BEST:: SOT 180496 SOS 111106 HAS SOPS 111106 HAS SOUS 49271 HAS SOUPS 49271 WITH SCORE 49382.106
AT ITER 691 NEW BEST:: SOT 180526 SOS 111136 HAS SOPS 111136 HAS SOUS 49221 HAS SOUPS 49221 WITH SCORE 49332.136
AT ITER 698 NEW BEST:: SOT 180514 SOS 111118 HAS SOPS 111118 HAS SOUS 49209 HAS SOUPS 49209 WITH SCORE 49320.118
AT ITER 701 NEW BEST:: SOT 180629 SOS 111155 HAS SOPS 111155 HAS SOUS 49195 HAS SOUPS 49195 WITH SCORE 49306.155
AT ITER 702 NEW BEST:: SOT 180629 SOS 111155 HAS SOPS 111155 HAS SOUS 49119 HAS SOUPS 49119 WITH SCORE 49230.155
AT ITER 708 NEW BEST:: SOT 180594 SOS 111085 HAS SOPS 111085 HAS SOUS 49049 HAS SOUPS 49049 WITH SCORE 49160.085
AT ITER 709 NEW BEST:: SOT 180652 SOS 111201 HAS SOPS 111201 HAS SOUS 48920 HAS SOUPS 48920 WITH SCORE 49031.201
AT ITER 718 NEW BEST:: SOT 180613 SOS 111193 HAS SOPS 111193 HAS SOUS 48884 HAS SOUPS 48884 WITH SCORE 48995.193
AT ITER 720 NEW BEST:: SOT 180598 SOS 111208 HAS SOPS 111208 HAS SOUS 48854 HAS SOUPS 48854 WITH SCORE 48965.208
AT ITER 726 NEW BEST:: SOT 180605 SOS 111180 HAS SOPS 111180 HAS SOUS 48837 HAS SOUPS 48837 WITH SCORE 48948.18
AT ITER 730 NEW BEST:: SOT 180735 SOS 111310 HAS SOPS 111310 HAS SOUS 48832 HAS SOUPS 48832 WITH SCORE 48943.31
AT ITER 733 NEW BEST:: SOT 180723 SOS 111262 HAS SOPS 111262 HAS SOUS 48784 HAS SOUPS 48784 WITH SCORE 48895.262
AT ITER 735 NEW BEST:: SOT 180723 SOS 111200 HAS SOPS 111200 HAS SOUS 48784 HAS SOUPS 48784 WITH SCORE 48895.2
AT ITER 739 NEW BEST:: SOT 180443 SOS 110920 HAS SOPS 110920 HAS SOUS 48605 HAS SOUPS 48605 WITH SCORE 48715.92
AT ITER 742 NEW BEST:: SOT 180416 SOS 111001 HAS SOPS 111001 HAS SOUS 48524 HAS SOUPS 48524 WITH SCORE 48635.001
AT ITER 754 NEW BEST:: SOT 180298 SOS 110735 HAS SOPS 110735 HAS SOUS 48345 HAS SOUPS 48345 WITH SCORE 48455.735
AT ITER 755 NEW BEST:: SOT 180270 SOS 110767 HAS SOPS 110767 HAS SOUS 48313 HAS SOUPS 48313 WITH SCORE 48423.767
AT ITER 761 NEW BEST:: SOT 180265 SOS 110752 HAS SOPS 110752 HAS SOUS 48303 HAS SOUPS 48303 WITH SCORE 48413.752
AT ITER 764 NEW BEST:: SOT 180241 SOS 110728 HAS SOPS 110728 HAS SOUS 48275 HAS SOUPS 48275 WITH SCORE 48385.728
AT ITER 766 NEW BEST:: SOT 180158 SOS 110400 HAS SOPS 110400 HAS SOUS 48192 HAS SOUPS 48192 WITH SCORE 48302.4
AT ITER 767 NEW BEST:: SOT 180042 SOS 110284 HAS SOPS 110284 HAS SOUS 48018 HAS SOUPS 48018 WITH SCORE 48128.284
AT ITER 781 NEW BEST:: SOT 180048 SOS 110282 HAS SOPS 110282 HAS SOUS 47998 HAS SOUPS 47998 WITH SCORE 48108.282
AT ITER 784 NEW BEST:: SOT 179834 SOS 110068 HAS SOPS 110068 HAS SOUS 47966 HAS SOUPS 47966 WITH SCORE 48076.068
AT ITER 785 NEW BEST:: SOT 179798 SOS 109884 HAS SOPS 109884 HAS SOUS 47599 HAS SOUPS 47599 WITH SCORE 47708.884
AT ITER 789 NEW BEST:: SOT 180738 SOS 104555 HAS SOPS 104555 HAS SOUS 47182 HAS SOUPS 47182 WITH SCORE 47286.555
AT ITER 792 NEW BEST:: SOT 180510 SOS 104038 HAS SOPS 104038 HAS SOUS 47028 HAS SOUPS 47028 WITH SCORE 47132.038
AT ITER 797 NEW BEST:: SOT 180491 SOS 103365 HAS SOPS 103365 HAS SOUS 46931 HAS SOUPS 46931 WITH SCORE 47034.365
AT ITER 799 NEW BEST:: SOT 180382 SOS 103079 HAS SOPS 103079 HAS SOUS 46822 HAS SOUPS 46822 WITH SCORE 46925.079
AT ITER 808 NEW BEST:: SOT 180368 SOS 103049 HAS SOPS 103049 HAS SOUS 46780 HAS SOUPS 46780 WITH SCORE 46883.049
AT ITER 810 NEW BEST:: SOT 179738 SOS 102299 HAS SOPS 102299 HAS SOUS 46456 HAS SOUPS 46456 WITH SCORE 46558.299
AT ITER 811 NEW BEST:: SOT 179486 SOS 101685 HAS SOPS 101685 HAS SOUS 46205 HAS SOUPS 46205 WITH SCORE 46306.685
AT ITER 828 NEW BEST:: SOT 179157 SOS 101483 HAS SOPS 101483 HAS SOUS 46170 HAS SOUPS 46170 WITH SCORE 46271.483
AT ITER 836 NEW BEST:: SOT 179135 SOS 101483 HAS SOPS 101483 HAS SOUS 46148 HAS SOUPS 46148 WITH SCORE 46249.483
AT ITER 841 NEW BEST:: SOT 179001 SOS 102457 HAS SOPS 102457 HAS SOUS 46118 HAS SOUPS 46118 WITH SCORE 46220.457
AT ITER 856 NEW BEST:: SOT 178670 SOS 102126 HAS SOPS 102126 HAS SOUS 46074 HAS SOUPS 46074 WITH SCORE 46176.126
AT ITER 857 NEW BEST:: SOT 178664 SOS 102110 HAS SOPS 102110 HAS SOUS 46066 HAS SOUPS 46066 WITH SCORE 46168.11
AT ITER 861 NEW BEST:: SOT 178664 SOS 102110 HAS SOPS 102110 HAS SOUS 46024 HAS SOUPS 46024 WITH SCORE 46126.11
AT ITER 863 NEW BEST:: SOT 178653 SOS 101666 HAS SOPS 101666 HAS SOUS 45889 HAS SOUPS 45889 WITH SCORE 45990.666
AT ITER 873 NEW BEST:: SOT 178755 SOS 101713 HAS SOPS 101713 HAS SOUS 45873 HAS SOUPS 45873 WITH SCORE 45974.713
AT ITER 882 NEW BEST:: SOT 178591 SOS 101353 HAS SOPS 101353 HAS SOUS 45538 HAS SOUPS 45538 WITH SCORE 45639.353
AT ITER 884 NEW BEST:: SOT 178493 SOS 101260 HAS SOPS 101260 HAS SOUS 45444 HAS SOUPS 45444 WITH SCORE 45545.26
AT ITER 886 NEW BEST:: SOT 177390 SOS 101313 HAS SOPS 101313 HAS SOUS 45250 HAS SOUPS 45250 WITH SCORE 45351.313
AT ITER 892 NEW BEST:: SOT 177354 SOS 101259 HAS SOPS 101259 HAS SOUS 45222 HAS SOUPS 45222 WITH SCORE 45323.259
AT ITER 897 NEW BEST:: SOT 177343 SOS 101237 HAS SOPS 101237 HAS SOUS 45211 HAS SOUPS 45211 WITH SCORE 45312.237
AT ITER 898 NEW BEST:: SOT 177324 SOS 101142 HAS SOPS 101142 HAS SOUS 45192 HAS SOUPS 45192 WITH SCORE 45293.142
AT ITER 900 NEW BEST:: SOT 177281 SOS 101099 HAS SOPS 101099 HAS SOUS 45179 HAS SOUPS 45179 WITH SCORE 45280.099
AT ITER 908 NEW BEST:: SOT 177190 SOS 100925 HAS SOPS 100925 HAS SOUS 45005 HAS SOUPS 45005 WITH SCORE 45105.925
AT ITER 912 NEW BEST:: SOT 177179 SOS 100903 HAS SOPS 100903 HAS SOUS 44994 HAS SOUPS 44994 WITH SCORE 45094.903
AT ITER 918 NEW BEST:: SOT 177148 SOS 100811 HAS SOPS 100811 HAS SOUS 44766 HAS SOUPS 44766 WITH SCORE 44866.811
AT ITER 931 NEW BEST:: SOT 177035 SOS 100571 HAS SOPS 100571 HAS SOUS 44450 HAS SOUPS 44450 WITH SCORE 44550.571
AT ITER 932 NEW BEST:: SOT 176957 SOS 100563 HAS SOPS 100563 HAS SOUS 44333 HAS SOUPS 44333 WITH SCORE 44433.563
AT ITER 936 NEW BEST:: SOT 176935 SOS 100278 HAS SOPS 100278 HAS SOUS 44179 HAS SOUPS 44179 WITH SCORE 44279.278
AT ITER 951 NEW BEST:: SOT 176956 SOS 100184 HAS SOPS 100184 HAS SOUS 44158 HAS SOUPS 44158 WITH SCORE 44258.184
AT ITER 963 NEW BEST:: SOT 177257 SOS 100358 HAS SOPS 100358 HAS SOUS 44031 HAS SOUPS 44031 WITH SCORE 44131.358
AT ITER 967 NEW BEST:: SOT 177241 SOS 100342 HAS SOPS 100342 HAS SOUS 43999 HAS SOUPS 43999 WITH SCORE 44099.342
AT ITER 972 NEW BEST:: SOT 177191 SOS 99888 HAS SOPS 99888 HAS SOUS 43846 HAS SOUPS 43846 WITH SCORE 43945.888
AT ITER 982 NEW BEST:: SOT 177094 SOS 99640 HAS SOPS 99640 HAS SOUS 43733 HAS SOUPS 43733 WITH SCORE 43832.64
AT ITER 983 NEW BEST:: SOT 177101 SOS 99568 HAS SOPS 99568 HAS SOUS 43714 HAS SOUPS 43714 WITH SCORE 43813.568
AT ITER 991 NEW BEST:: SOT 177076 SOS 99684 HAS SOPS 99684 HAS SOUS 43631 HAS SOUPS 43631 WITH SCORE 43730.684
AT ITER 996 NEW BEST:: SOT 177070 SOS 99678 HAS SOPS 99678 HAS SOUS 43607 HAS SOUPS 43607 WITH SCORE 43706.678
AT ITER 1005 NEW BEST:: SOT 176974 SOS 99366 HAS SOPS 99366 HAS SOUS 43501 HAS SOUPS 43501 WITH SCORE 43600.366
AT ITER 1014 NEW BEST:: SOT 176859 SOS 99289 HAS SOPS 99289 HAS SOUS 43337 HAS SOUPS 43337 WITH SCORE 43436.289
AT ITER 1015 NEW BEST:: SOT 176768 SOS 99237 HAS SOPS 99237 HAS SOUS 43282 HAS SOUPS 43282 WITH SCORE 43381.237
AT ITER 1023 NEW BEST:: SOT 176764 SOS 99229 HAS SOPS 99229 HAS SOUS 43274 HAS SOUPS 43274 WITH SCORE 43373.229
AT ITER 1034 NEW BEST:: SOT 176624 SOS 98989 HAS SOPS 98989 HAS SOUS 43266 HAS SOUPS 43266 WITH SCORE 43364.989
AT ITER 1037 NEW BEST:: SOT 176472 SOS 98673 HAS SOPS 98673 HAS SOUS 43224 HAS SOUPS 43224 WITH SCORE 43322.673
AT ITER 1041 NEW BEST:: SOT 176356 SOS 98619 HAS SOPS 98619 HAS SOUS 43019 HAS SOUPS 43019 WITH SCORE 43117.619
AT ITER 1049 NEW BEST:: SOT 176362 SOS 98516 HAS SOPS 98516 HAS SOUS 43011 HAS SOUPS 43011 WITH SCORE 43109.516
AT ITER 1050 NEW BEST:: SOT 176316 SOS 98316 HAS SOPS 98316 HAS SOUS 42901 HAS SOUPS 42901 WITH SCORE 42999.316
AT ITER 1055 NEW BEST:: SOT 176313 SOS 98304 HAS SOPS 98304 HAS SOUS 42898 HAS SOUPS 42898 WITH SCORE 42996.304
AT ITER 1056 NEW BEST:: SOT 176187 SOS 98038 HAS SOPS 98038 HAS SOUS 42755 HAS SOUPS 42755 WITH SCORE 42853.038
AT ITER 1086 NEW BEST:: SOT 176137 SOS 97762 HAS SOPS 97762 HAS SOUS 42676 HAS SOUPS 42676 WITH SCORE 42773.762
AT ITER 1090 NEW BEST:: SOT 176299 SOS 97747 HAS SOPS 97747 HAS SOUS 42567 HAS SOUPS 42567 WITH SCORE 42664.747
AT ITER 1098 NEW BEST:: SOT 176299 SOS 97597 HAS SOPS 97597 HAS SOUS 42567 HAS SOUPS 42567 WITH SCORE 42664.597
AT ITER 1105 NEW BEST:: SOT 176329 SOS 97627 HAS SOPS 97627 HAS SOUS 42448 HAS SOUPS 42448 WITH SCORE 42545.627
AT ITER 1108 NEW BEST:: SOT 176336 SOS 97634 HAS SOPS 97634 HAS SOUS 42419 HAS SOUPS 42419 WITH SCORE 42516.634
AT ITER 1114 NEW BEST:: SOT 176333 SOS 97619 HAS SOPS 97619 HAS SOUS 42413 HAS SOUPS 42413 WITH SCORE 42510.619
AT ITER 1115 NEW BEST:: SOT 176293 SOS 97579 HAS SOPS 97579 HAS SOUS 42376 HAS SOUPS 42376 WITH SCORE 42473.579
AT ITER 1117 NEW BEST:: SOT 176293 SOS 97579 HAS SOPS 97579 HAS SOUS 42368 HAS SOUPS 42368 WITH SCORE 42465.579
AT ITER 1137 NEW BEST:: SOT 176291 SOS 97022 HAS SOPS 97022 HAS SOUS 42329 HAS SOUPS 42329 WITH SCORE 42426.022
AT ITER 1138 NEW BEST:: SOT 176271 SOS 97034 HAS SOPS 97034 HAS SOUS 42317 HAS SOUPS 42317 WITH SCORE 42414.034
AT ITER 1143 NEW BEST:: SOT 176420 SOS 96837 HAS SOPS 96837 HAS SOUS 42309 HAS SOUPS 42309 WITH SCORE 42405.837
AT ITER 1154 NEW BEST:: SOT 176430 SOS 96813 HAS SOPS 96813 HAS SOUS 42277 HAS SOUPS 42277 WITH SCORE 42373.813
AT ITER 1155 NEW BEST:: SOT 176382 SOS 96753 HAS SOPS 96753 HAS SOUS 42217 HAS SOUPS 42217 WITH SCORE 42313.753
AT ITER 1156 NEW BEST:: SOT 176331 SOS 96829 HAS SOPS 96829 HAS SOUS 42207 HAS SOUPS 42207 WITH SCORE 42303.829
AT ITER 1157 NEW BEST:: SOT 176209 SOS 96721 HAS SOPS 96721 HAS SOUS 42205 HAS SOUPS 42205 WITH SCORE 42301.721
AT ITER 1162 NEW BEST:: SOT 176145 SOS 96647 HAS SOPS 96647 HAS SOUS 42023 HAS SOUPS 42023 WITH SCORE 42119.647
AT ITER 1165 NEW BEST:: SOT 176123 SOS 96562 HAS SOPS 96562 HAS SOUS 41987 HAS SOUPS 41987 WITH SCORE 42083.562
AT ITER 1166 NEW BEST:: SOT 176099 SOS 96538 HAS SOPS 96538 HAS SOUS 41987 HAS SOUPS 41987 WITH SCORE 42083.538
AT ITER 1176 NEW BEST:: SOT 176099 SOS 96538 HAS SOPS 96538 HAS SOUS 41811 HAS SOUPS 41811 WITH SCORE 41907.538
AT ITER 1177 NEW BEST:: SOT 176007 SOS 96446 HAS SOPS 96446 HAS SOUS 41799 HAS SOUPS 41799 WITH SCORE 41895.446
AT ITER 1179 NEW BEST:: SOT 175969 SOS 96408 HAS SOPS 96408 HAS SOUS 41792 HAS SOUPS 41792 WITH SCORE 41888.408
AT ITER 1185 NEW BEST:: SOT 175852 SOS 96447 HAS SOPS 96447 HAS SOUS 41719 HAS SOUPS 41719 WITH SCORE 41815.447
AT ITER 1187 NEW BEST:: SOT 175892 SOS 96487 HAS SOPS 96487 HAS SOUS 41695 HAS SOUPS 41695 WITH SCORE 41791.487
AT ITER 1191 NEW BEST:: SOT 175888 SOS 96479 HAS SOPS 96479 HAS SOUS 41691 HAS SOUPS 41691 WITH SCORE 41787.479
AT ITER 1202 NEW BEST:: SOT 175834 SOS 96425 HAS SOPS 96425 HAS SOUS 41423 HAS SOUPS 41423 WITH SCORE 41519.425
AT ITER 1204 NEW BEST:: SOT 175820 SOS 96435 HAS SOPS 96435 HAS SOUS 41409 HAS SOUPS 41409 WITH SCORE 41505.435
AT ITER 1209 NEW BEST:: SOT 175820 SOS 96435 HAS SOPS 96435 HAS SOUS 41387 HAS SOUPS 41387 WITH SCORE 41483.435
AT ITER 1214 NEW BEST:: SOT 175820 SOS 96203 HAS SOPS 96203 HAS SOUS 41329 HAS SOUPS 41329 WITH SCORE 41425.203
AT ITER 1222 NEW BEST:: SOT 175842 SOS 96204 HAS SOPS 96204 HAS SOUS 41326 HAS SOUPS 41326 WITH SCORE 41422.204
AT ITER 1223 NEW BEST:: SOT 175817 SOS 96222 HAS SOPS 96222 HAS SOUS 41322 HAS SOUPS 41322 WITH SCORE 41418.222
AT ITER 1227 NEW BEST:: SOT 175783 SOS 96188 HAS SOPS 96188 HAS SOUS 41288 HAS SOUPS 41288 WITH SCORE 41384.188
AT ITER 1242 NEW BEST:: SOT 175781 SOS 96097 HAS SOPS 96097 HAS SOUS 41278 HAS SOUPS 41278 WITH SCORE 41374.097
AT ITER 1248 NEW BEST:: SOT 175716 SOS 95925 HAS SOPS 95925 HAS SOUS 41270 HAS SOUPS 41270 WITH SCORE 41365.925
AT ITER 1271 NEW BEST:: SOT 175881 SOS 94985 HAS SOPS 94985 HAS SOUS 41192 HAS SOUPS 41192 WITH SCORE 41286.985
AT ITER 1272 NEW BEST:: SOT 175871 SOS 94901 HAS SOPS 94901 HAS SOUS 41118 HAS SOUPS 41118 WITH SCORE 41212.901
AT ITER 1274 NEW BEST:: SOT 175765 SOS 94654 HAS SOPS 94654 HAS SOUS 40900 HAS SOUPS 40900 WITH SCORE 40994.654
AT ITER 1277 NEW BEST:: SOT 175711 SOS 94550 HAS SOPS 94550 HAS SOUS 40746 HAS SOUPS 40746 WITH SCORE 40840.55
AT ITER 1284 NEW BEST:: SOT 175709 SOS 94518 HAS SOPS 94518 HAS SOUS 40721 HAS SOUPS 40721 WITH SCORE 40815.518
AT ITER 1290 NEW BEST:: SOT 175640 SOS 94449 HAS SOPS 94449 HAS SOUS 40688 HAS SOUPS 40688 WITH SCORE 40782.449
AT ITER 1291 NEW BEST:: SOT 175659 SOS 94468 HAS SOPS 94468 HAS SOUS 40649 HAS SOUPS 40649 WITH SCORE 40743.468
AT ITER 1302 NEW BEST:: SOT 175625 SOS 94640 HAS SOPS 94640 HAS SOUS 40581 HAS SOUPS 40581 WITH SCORE 40675.64
AT ITER 1320 NEW BEST:: SOT 175493 SOS 93718 HAS SOPS 93718 HAS SOUS 40289 HAS SOUPS 40289 WITH SCORE 40382.718
AT ITER 1335 NEW BEST:: SOT 175481 SOS 93718 HAS SOPS 93718 HAS SOUS 40277 HAS SOUPS 40277 WITH SCORE 40370.718
AT ITER 1337 NEW BEST:: SOT 175490 SOS 93679 HAS SOPS 93679 HAS SOUS 40267 HAS SOUPS 40267 WITH SCORE 40360.679
AT ITER 1348 NEW BEST:: SOT 175395 SOS 93584 HAS SOPS 93584 HAS SOUS 40229 HAS SOUPS 40229 WITH SCORE 40322.584
AT ITER 1356 NEW BEST:: SOT 175321 SOS 93510 HAS SOPS 93510 HAS SOUS 40155 HAS SOUPS 40155 WITH SCORE 40248.51
AT ITER 1363 NEW BEST:: SOT 175316 SOS 93442 HAS SOPS 93442 HAS SOUS 40107 HAS SOUPS 40107 WITH SCORE 40200.442
AT ITER 1374 NEW BEST:: SOT 175316 SOS 93442 HAS SOPS 93442 HAS SOUS 40098 HAS SOUPS 40098 WITH SCORE 40191.442
AT ITER 1379 NEW BEST:: SOT 175305 SOS 93446 HAS SOPS 93446 HAS SOUS 40078 HAS SOUPS 40078 WITH SCORE 40171.446
AT ITER 1380 NEW BEST:: SOT 175300 SOS 93436 HAS SOPS 93436 HAS SOUS 40068 HAS SOUPS 40068 WITH SCORE 40161.436
AT ITER 1381 NEW BEST:: SOT 175300 SOS 93436 HAS SOPS 93436 HAS SOUS 40031 HAS SOUPS 40031 WITH SCORE 40124.436
AT ITER 1385 NEW BEST:: SOT 175278 SOS 93127 HAS SOPS 93127 HAS SOUS 39951 HAS SOUPS 39951 WITH SCORE 40044.127
AT ITER 1393 NEW BEST:: SOT 175359 SOS 93046 HAS SOPS 93046 HAS SOUS 39951 HAS SOUPS 39951 WITH SCORE 40044.046
AT ITER 1398 NEW BEST:: SOT 175278 SOS 92884 HAS SOPS 92884 HAS SOUS 39566 HAS SOUPS 39566 WITH SCORE 39658.884
AT ITER 1407 NEW BEST:: SOT 175275 SOS 92887 HAS SOPS 92887 HAS SOUS 39560 HAS SOUPS 39560 WITH SCORE 39652.887
AT ITER 1416 NEW BEST:: SOT 175243 SOS 92855 HAS SOPS 92855 HAS SOUS 39558 HAS SOUPS 39558 WITH SCORE 39650.855
AT ITER 1424 NEW BEST:: SOT 175071 SOS 92439 HAS SOPS 92439 HAS SOUS 39542 HAS SOUPS 39542 WITH SCORE 39634.439
AT ITER 1425 NEW BEST:: SOT 175128 SOS 92496 HAS SOPS 92496 HAS SOUS 39409 HAS SOUPS 39409 WITH SCORE 39501.496
AT ITER 1438 NEW BEST:: SOT 175108 SOS 92535 HAS SOPS 92535 HAS SOUS 39340 HAS SOUPS 39340 WITH SCORE 39432.535
AT ITER 1441 NEW BEST:: SOT 175058 SOS 92218 HAS SOPS 92218 HAS SOUS 39108 HAS SOUPS 39108 WITH SCORE 39200.218
AT ITER 1454 NEW BEST:: SOT 175058 SOS 92192 HAS SOPS 92192 HAS SOUS 39105 HAS SOUPS 39105 WITH SCORE 39197.192
AT ITER 1458 NEW BEST:: SOT 175058 SOS 92156 HAS SOPS 92156 HAS SOUS 39105 HAS SOUPS 39105 WITH SCORE 39197.156
AT ITER 1462 NEW BEST:: SOT 175059 SOS 92234 HAS SOPS 92234 HAS SOUS 39087 HAS SOUPS 39087 WITH SCORE 39179.234
AT ITER 1474 NEW BEST:: SOT 175057 SOS 92232 HAS SOPS 92232 HAS SOUS 39085 HAS SOUPS 39085 WITH SCORE 39177.232
AT ITER 1482 NEW BEST:: SOT 174965 SOS 92211 HAS SOPS 92211 HAS SOUS 39005 HAS SOUPS 39005 WITH SCORE 39097.211
AT ITER 1484 NEW BEST:: SOT 174962 SOS 92231 HAS SOPS 92231 HAS SOUS 38986 HAS SOUPS 38986 WITH SCORE 39078.231
AT ITER 1485 NEW BEST:: SOT 174962 SOS 92197 HAS SOPS 92197 HAS SOUS 38953 HAS SOUPS 38953 WITH SCORE 39045.197
AT ITER 1503 NEW BEST:: SOT 174962 SOS 92146 HAS SOPS 92146 HAS SOUS 38928 HAS SOUPS 38928 WITH SCORE 39020.146
AT ITER 1510 NEW BEST:: SOT 174949 SOS 92233 HAS SOPS 92233 HAS SOUS 38903 HAS SOUPS 38903 WITH SCORE 38995.233
AT ITER 1520 NEW BEST:: SOT 174949 SOS 92197 HAS SOPS 92197 HAS SOUS 38903 HAS SOUPS 38903 WITH SCORE 38995.197
AT ITER 1528 NEW BEST:: SOT 174942 SOS 91982 HAS SOPS 91982 HAS SOUS 38896 HAS SOUPS 38896 WITH SCORE 38987.982
AT ITER 1531 NEW BEST:: SOT 174903 SOS 91586 HAS SOPS 91586 HAS SOUS 38818 HAS SOUPS 38818 WITH SCORE 38909.586
AT ITER 1542 NEW BEST:: SOT 174903 SOS 91045 HAS SOPS 91045 HAS SOUS 38818 HAS SOUPS 38818 WITH SCORE 38909.045
AT ITER 1543 NEW BEST:: SOT 174882 SOS 91003 HAS SOPS 91003 HAS SOUS 38808 HAS SOUPS 38808 WITH SCORE 38899.003
AT ITER 1550 NEW BEST:: SOT 174897 SOS 91170 HAS SOPS 91170 HAS SOUS 38785 HAS SOUPS 38785 WITH SCORE 38876.17
AT ITER 1555 NEW BEST:: SOT 174897 SOS 91164 HAS SOPS 91164 HAS SOUS 38785 HAS SOUPS 38785 WITH SCORE 38876.164
AT ITER 1568 NEW BEST:: SOT 174857 SOS 91119 HAS SOPS 91119 HAS SOUS 38780 HAS SOUPS 38780 WITH SCORE 38871.119
AT ITER 1572 NEW BEST:: SOT 174817 SOS 91111 HAS SOPS 91111 HAS SOUS 38768 HAS SOUPS 38768 WITH SCORE 38859.111
AT ITER 1573 NEW BEST:: SOT 174725 SOS 90879 HAS SOPS 90879 HAS SOUS 38676 HAS SOUPS 38676 WITH SCORE 38766.879
AT ITER 1575 NEW BEST:: SOT 174725 SOS 90866 HAS SOPS 90866 HAS SOUS 38663 HAS SOUPS 38663 WITH SCORE 38753.866
AT ITER 1577 NEW BEST:: SOT 174655 SOS 90796 HAS SOPS 90796 HAS SOUS 38413 HAS SOUPS 38413 WITH SCORE 38503.796
AT ITER 1585 NEW BEST:: SOT 174647 SOS 90781 HAS SOPS 90781 HAS SOUS 38372 HAS SOUPS 38372 WITH SCORE 38462.781
AT ITER 1587 NEW BEST:: SOT 174864 SOS 90998 HAS SOPS 90998 HAS SOUS 38329 HAS SOUPS 38329 WITH SCORE 38419.998
AT ITER 1613 NEW BEST:: SOT 174484 SOS 90912 HAS SOPS 90912 HAS SOUS 38086 HAS SOUPS 38086 WITH SCORE 38176.912
AT ITER 1624 NEW BEST:: SOT 174484 SOS 90906 HAS SOPS 90906 HAS SOUS 38086 HAS SOUPS 38086 WITH SCORE 38176.906
AT ITER 1641 NEW BEST:: SOT 174472 SOS 90854 HAS SOPS 90854 HAS SOUS 38021 HAS SOUPS 38021 WITH SCORE 38111.854
AT ITER 1644 NEW BEST:: SOT 174459 SOS 90688 HAS SOPS 90688 HAS SOUS 38008 HAS SOUPS 38008 WITH SCORE 38098.688
AT ITER 1646 NEW BEST:: SOT 174490 SOS 90719 HAS SOPS 90719 HAS SOUS 37915 HAS SOUPS 37915 WITH SCORE 38005.719
AT ITER 1650 NEW BEST:: SOT 174427 SOS 90625 HAS SOPS 90625 HAS SOUS 37826 HAS SOUPS 37826 WITH SCORE 37916.625
AT ITER 1655 NEW BEST:: SOT 174419 SOS 90617 HAS SOPS 90617 HAS SOUS 37735 HAS SOUPS 37735 WITH SCORE 37825.617
AT ITER 1662 NEW BEST:: SOT 174352 SOS 90582 HAS SOPS 90582 HAS SOUS 37597 HAS SOUPS 37597 WITH SCORE 37687.582
AT ITER 1665 NEW BEST:: SOT 174210 SOS 90398 HAS SOPS 90398 HAS SOUS 37402 HAS SOUPS 37402 WITH SCORE 37492.398
AT ITER 1667 NEW BEST:: SOT 174203 SOS 90378 HAS SOPS 90378 HAS SOUS 37395 HAS SOUPS 37395 WITH SCORE 37485.378
AT ITER 1686 NEW BEST:: SOT 174203 SOS 90390 HAS SOPS 90390 HAS SOUS 37391 HAS SOUPS 37391 WITH SCORE 37481.39
AT ITER 1688 NEW BEST:: SOT 174292 SOS 90381 HAS SOPS 90381 HAS SOUS 37383 HAS SOUPS 37383 WITH SCORE 37473.381
AT ITER 1689 NEW BEST:: SOT 174250 SOS 90519 HAS SOPS 90519 HAS SOUS 37352 HAS SOUPS 37352 WITH SCORE 37442.519
AT ITER 1692 NEW BEST:: SOT 174243 SOS 90407 HAS SOPS 90407 HAS SOUS 37276 HAS SOUPS 37276 WITH SCORE 37366.407
AT ITER 1697 NEW BEST:: SOT 174134 SOS 90398 HAS SOPS 90398 HAS SOUS 37232 HAS SOUPS 37232 WITH SCORE 37322.398
AT ITER 1699 NEW BEST:: SOT 174002 SOS 90074 HAS SOPS 90074 HAS SOUS 37028 HAS SOUPS 37028 WITH SCORE 37118.074
AT ITER 1726 NEW BEST:: SOT 173940 SOS 89950 HAS SOPS 89950 HAS SOUS 36953 HAS SOUPS 36953 WITH SCORE 37042.95
AT ITER 1728 NEW BEST:: SOT 173879 SOS 89919 HAS SOPS 89919 HAS SOUS 36875 HAS SOUPS 36875 WITH SCORE 36964.919
AT ITER 1733 NEW BEST:: SOT 173783 SOS 89667 HAS SOPS 89667 HAS SOUS 36868 HAS SOUPS 36868 WITH SCORE 36957.667
AT ITER 1744 NEW BEST:: SOT 173772 SOS 89652 HAS SOPS 89652 HAS SOUS 36849 HAS SOUPS 36849 WITH SCORE 36938.652
AT ITER 1745 NEW BEST:: SOT 173764 SOS 89644 HAS SOPS 89644 HAS SOUS 36833 HAS SOUPS 36833 WITH SCORE 36922.644
AT ITER 1749 NEW BEST:: SOT 173793 SOS 89702 HAS SOPS 89702 HAS SOUS 36816 HAS SOUPS 36816 WITH SCORE 36905.702
AT ITER 1757 NEW BEST:: SOT 173793 SOS 89720 HAS SOPS 89720 HAS SOUS 36804 HAS SOUPS 36804 WITH SCORE 36893.72
AT ITER 1770 NEW BEST:: SOT 173793 SOS 89708 HAS SOPS 89708 HAS SOUS 36801 HAS SOUPS 36801 WITH SCORE 36890.708
AT ITER 1787 NEW BEST:: SOT 173798 SOS 89691 HAS SOPS 89691 HAS SOUS 36795 HAS SOUPS 36795 WITH SCORE 36884.691
AT ITER 1792 NEW BEST:: SOT 173682 SOS 89703 HAS SOPS 89703 HAS SOUS 36685 HAS SOUPS 36685 WITH SCORE 36774.703
AT ITER 1811 NEW BEST:: SOT 173662 SOS 89663 HAS SOPS 89663 HAS SOUS 36654 HAS SOUPS 36654 WITH SCORE 36743.663
AT ITER 1813 NEW BEST:: SOT 173570 SOS 89559 HAS SOPS 89559 HAS SOUS 36556 HAS SOUPS 36556 WITH SCORE 36645.559
AT ITER 1825 NEW BEST:: SOT 173599 SOS 89613 HAS SOPS 89613 HAS SOUS 36508 HAS SOUPS 36508 WITH SCORE 36597.613
AT ITER 1828 NEW BEST:: SOT 173290 SOS 89187 HAS SOPS 89187 HAS SOUS 36306 HAS SOUPS 36306 WITH SCORE 36395.187
AT ITER 1833 NEW BEST:: SOT 173290 SOS 89123 HAS SOPS 89123 HAS SOUS 36274 HAS SOUPS 36274 WITH SCORE 36363.123
AT ITER 1842 NEW BEST:: SOT 173283 SOS 89102 HAS SOPS 89102 HAS SOUS 36257 HAS SOUPS 36257 WITH SCORE 36346.102
AT ITER 1843 NEW BEST:: SOT 173269 SOS 89048 HAS SOPS 89048 HAS SOUS 36243 HAS SOUPS 36243 WITH SCORE 36332.048
AT ITER 1850 NEW BEST:: SOT 173268 SOS 89053 HAS SOPS 89053 HAS SOUS 36242 HAS SOUPS 36242 WITH SCORE 36331.053
AT ITER 1855 NEW BEST:: SOT 173266 SOS 89051 HAS SOPS 89051 HAS SOUS 36229 HAS SOUPS 36229 WITH SCORE 36318.051
AT ITER 1859 NEW BEST:: SOT 173206 SOS 88939 HAS SOPS 88939 HAS SOUS 36160 HAS SOUPS 36160 WITH SCORE 36248.939
AT ITER 1867 NEW BEST:: SOT 173107 SOS 88751 HAS SOPS 88751 HAS SOUS 36031 HAS SOUPS 36031 WITH SCORE 36119.751
AT ITER 1871 NEW BEST:: SOT 173103 SOS 88767 HAS SOPS 88767 HAS SOUS 36021 HAS SOUPS 36021 WITH SCORE 36109.767
AT ITER 1877 NEW BEST:: SOT 173103 SOS 88725 HAS SOPS 88725 HAS SOUS 36021 HAS SOUPS 36021 WITH SCORE 36109.725
AT ITER 1887 NEW BEST:: SOT 173041 SOS 88709 HAS SOPS 88709 HAS SOUS 35875 HAS SOUPS 35875 WITH SCORE 35963.709
AT ITER 1888 NEW BEST:: SOT 173041 SOS 88670 HAS SOPS 88670 HAS SOUS 35862 HAS SOUPS 35862 WITH SCORE 35950.67
AT ITER 1903 NEW BEST:: SOT 172999 SOS 88576 HAS SOPS 88576 HAS SOUS 35830 HAS SOUPS 35830 WITH SCORE 35918.576
AT ITER 1905 NEW BEST:: SOT 172984 SOS 88561 HAS SOPS 88561 HAS SOUS 35798 HAS SOUPS 35798 WITH SCORE 35886.561
AT ITER 1910 NEW BEST:: SOT 172982 SOS 88555 HAS SOPS 88555 HAS SOUS 35798 HAS SOUPS 35798 WITH SCORE 35886.555
AT ITER 1914 NEW BEST:: SOT 172982 SOS 88555 HAS SOPS 88555 HAS SOUS 35793 HAS SOUPS 35793 WITH SCORE 35881.555
AT ITER 1934 NEW BEST:: SOT 173040 SOS 88613 HAS SOPS 88613 HAS SOUS 35788 HAS SOUPS 35788 WITH SCORE 35876.613
AT ITER 1937 NEW BEST:: SOT 173040 SOS 87681 HAS SOPS 87681 HAS SOUS 35783 HAS SOUPS 35783 WITH SCORE 35870.681
AT ITER 1945 NEW BEST:: SOT 173040 SOS 87681 HAS SOPS 87681 HAS SOUS 35709 HAS SOUPS 35709 WITH SCORE 35796.681
AT ITER 1948 NEW BEST:: SOT 172971 SOS 87553 HAS SOPS 87553 HAS SOUS 35640 HAS SOUPS 35640 WITH SCORE 35727.553
AT ITER 1949 NEW BEST:: SOT 172971 SOS 87553 HAS SOPS 87553 HAS SOUS 35613 HAS SOUPS 35613 WITH SCORE 35700.553
AT ITER 1954 NEW BEST:: SOT 172955 SOS 87563 HAS SOPS 87563 HAS SOUS 35581 HAS SOUPS 35581 WITH SCORE 35668.563
AT ITER 1957 NEW BEST:: SOT 172882 SOS 87659 HAS SOPS 87659 HAS SOUS 35431 HAS SOUPS 35431 WITH SCORE 35518.659
AT ITER 1963 NEW BEST:: SOT 172702 SOS 87447 HAS SOPS 87447 HAS SOUS 35245 HAS SOUPS 35245 WITH SCORE 35332.447
AT ITER 1965 NEW BEST:: SOT 172731 SOS 87676 HAS SOPS 87676 HAS SOUS 35193 HAS SOUPS 35193 WITH SCORE 35280.676
AT ITER 1983 NEW BEST:: SOT 172702 SOS 87820 HAS SOPS 87820 HAS SOUS 35011 HAS SOUPS 35011 WITH SCORE 35098.82
AT ITER 2009 NEW BEST:: SOT 172734 SOS 87868 HAS SOPS 87868 HAS SOUS 34979 HAS SOUPS 34979 WITH SCORE 35066.868
AT ITER 2015 NEW BEST:: SOT 172725 SOS 87859 HAS SOPS 87859 HAS SOUS 34945 HAS SOUPS 34945 WITH SCORE 35032.859
AT ITER 2024 NEW BEST:: SOT 172713 SOS 87841 HAS SOPS 87841 HAS SOUS 34933 HAS SOUPS 34933 WITH SCORE 35020.841
AT ITER 2027 NEW BEST:: SOT 172689 SOS 87793 HAS SOPS 87793 HAS SOUS 34901 HAS SOUPS 34901 WITH SCORE 34988.793
AT ITER 2030 NEW BEST:: SOT 172687 SOS 87791 HAS SOPS 87791 HAS SOUS 34874 HAS SOUPS 34874 WITH SCORE 34961.791
AT ITER 2031 NEW BEST:: SOT 172585 SOS 87673 HAS SOPS 87673 HAS SOUS 34804 HAS SOUPS 34804 WITH SCORE 34891.673
AT ITER 2032 NEW BEST:: SOT 172570 SOS 87647 HAS SOPS 87647 HAS SOUS 34789 HAS SOUPS 34789 WITH SCORE 34876.647
AT ITER 2037 NEW BEST:: SOT 172549 SOS 87626 HAS SOPS 87626 HAS SOUS 34775 HAS SOUPS 34775 WITH SCORE 34862.626
AT ITER 2045 NEW BEST:: SOT 171681 SOS 93045 HAS SOPS 93045 HAS SOUS 34760 HAS SOUPS 34760 WITH SCORE 34853.045
AT ITER 2051 NEW BEST:: SOT 171661 SOS 93019 HAS SOPS 93019 HAS SOUS 34753 HAS SOUPS 34753 WITH SCORE 34846.019
AT ITER 2057 NEW BEST:: SOT 171734 SOS 92995 HAS SOPS 92995 HAS SOUS 34690 HAS SOUPS 34690 WITH SCORE 34782.995
AT ITER 2069 NEW BEST:: SOT 171737 SOS 92987 HAS SOPS 92987 HAS SOUS 34665 HAS SOUPS 34665 WITH SCORE 34757.987
AT ITER 2073 NEW BEST:: SOT 171749 SOS 92993 HAS SOPS 92993 HAS SOUS 34630 HAS SOUPS 34630 WITH SCORE 34722.993
AT ITER 2077 NEW BEST:: SOT 171736 SOS 93220 HAS SOPS 93220 HAS SOUS 34577 HAS SOUPS 34577 WITH SCORE 34670.22
AT ITER 2082 NEW BEST:: SOT 171649 SOS 93137 HAS SOPS 93137 HAS SOUS 34547 HAS SOUPS 34547 WITH SCORE 34640.137
AT ITER 2083 NEW BEST:: SOT 171649 SOS 93103 HAS SOPS 93103 HAS SOUS 34530 HAS SOUPS 34530 WITH SCORE 34623.103
AT ITER 2086 NEW BEST:: SOT 171730 SOS 93309 HAS SOPS 93309 HAS SOUS 34445 HAS SOUPS 34445 WITH SCORE 34538.309
AT ITER 2087 NEW BEST:: SOT 171726 SOS 93341 HAS SOPS 93341 HAS SOUS 34441 HAS SOUPS 34441 WITH SCORE 34534.341
AT ITER 2091 NEW BEST:: SOT 171651 SOS 93266 HAS SOPS 93266 HAS SOUS 34395 HAS SOUPS 34395 WITH SCORE 34488.266
AT ITER 2100 NEW BEST:: SOT 171738 SOS 93353 HAS SOPS 93353 HAS SOUS 34346 HAS SOUPS 34346 WITH SCORE 34439.353
AT ITER 2109 NEW BEST:: SOT 171738 SOS 93427 HAS SOPS 93427 HAS SOUS 34313 HAS SOUPS 34313 WITH SCORE 34406.427
AT ITER 2130 NEW BEST:: SOT 171690 SOS 93331 HAS SOPS 93331 HAS SOUS 34241 HAS SOUPS 34241 WITH SCORE 34334.331
AT ITER 2151 NEW BEST:: SOT 171568 SOS 93182 HAS SOPS 93182 HAS SOUS 34169 HAS SOUPS 34169 WITH SCORE 34262.182
AT ITER 2152 NEW BEST:: SOT 171549 SOS 93163 HAS SOPS 93163 HAS SOUS 34169 HAS SOUPS 34169 WITH SCORE 34262.163
AT ITER 2156 NEW BEST:: SOT 171544 SOS 92999 HAS SOPS 92999 HAS SOUS 34161 HAS SOUPS 34161 WITH SCORE 34253.999
AT ITER 2176 NEW BEST:: SOT 171510 SOS 92917 HAS SOPS 92917 HAS SOUS 34127 HAS SOUPS 34127 WITH SCORE 34219.917
AT ITER 2179 NEW BEST:: SOT 171395 SOS 92400 HAS SOPS 92400 HAS SOUS 33803 HAS SOUPS 33803 WITH SCORE 33895.4
AT ITER 2230 NEW BEST:: SOT 171357 SOS 92362 HAS SOPS 92362 HAS SOUS 33744 HAS SOUPS 33744 WITH SCORE 33836.362
AT ITER 2234 NEW BEST:: SOT 171353 SOS 92358 HAS SOPS 92358 HAS SOUS 33708 HAS SOUPS 33708 WITH SCORE 33800.358
AT ITER 2239 NEW BEST:: SOT 171375 SOS 92400 HAS SOPS 92400 HAS SOUS 33678 HAS SOUPS 33678 WITH SCORE 33770.4
AT ITER 2246 NEW BEST:: SOT 171309 SOS 92334 HAS SOPS 92334 HAS SOUS 33638 HAS SOUPS 33638 WITH SCORE 33730.334
AT ITER 2248 NEW BEST:: SOT 171299 SOS 92341 HAS SOPS 92341 HAS SOUS 33613 HAS SOUPS 33613 WITH SCORE 33705.341
AT ITER 2255 NEW BEST:: SOT 171287 SOS 92311 HAS SOPS 92311 HAS SOUS 33609 HAS SOUPS 33609 WITH SCORE 33701.311
AT ITER 2257 NEW BEST:: SOT 171285 SOS 92309 HAS SOPS 92309 HAS SOUS 33588 HAS SOUPS 33588 WITH SCORE 33680.309
AT ITER 2261 NEW BEST:: SOT 171280 SOS 92246 HAS SOPS 92246 HAS SOUS 33582 HAS SOUPS 33582 WITH SCORE 33674.246
AT ITER 2268 NEW BEST:: SOT 171280 SOS 92246 HAS SOPS 92246 HAS SOUS 33568 HAS SOUPS 33568 WITH SCORE 33660.246
AT ITER 2270 NEW BEST:: SOT 171155 SOS 91597 HAS SOPS 91597 HAS SOUS 33470 HAS SOUPS 33470 WITH SCORE 33561.597
AT ITER 2278 NEW BEST:: SOT 171108 SOS 91557 HAS SOPS 91557 HAS SOUS 33450 HAS SOUPS 33450 WITH SCORE 33541.557
AT ITER 2282 NEW BEST:: SOT 171123 SOS 91392 HAS SOPS 91392 HAS SOUS 33449 HAS SOUPS 33449 WITH SCORE 33540.392
AT ITER 2289 NEW BEST:: SOT 171093 SOS 91230 HAS SOPS 91230 HAS SOUS 33369 HAS SOUPS 33369 WITH SCORE 33460.23
AT ITER 2291 NEW BEST:: SOT 171123 SOS 91223 HAS SOPS 91223 HAS SOUS 33332 HAS SOUPS 33332 WITH SCORE 33423.223
AT ITER 2298 NEW BEST:: SOT 171121 SOS 91221 HAS SOPS 91221 HAS SOUS 33330 HAS SOUPS 33330 WITH SCORE 33421.221
AT ITER 2311 NEW BEST:: SOT 171033 SOS 90884 HAS SOPS 90884 HAS SOUS 33154 HAS SOUPS 33154 WITH SCORE 33244.884
AT ITER 2359 NEW BEST:: SOT 171029 SOS 90892 HAS SOPS 90892 HAS SOUS 33150 HAS SOUPS 33150 WITH SCORE 33240.892
AT ITER 2364 NEW BEST:: SOT 171040 SOS 90903 HAS SOPS 90903 HAS SOUS 33063 HAS SOUPS 33063 WITH SCORE 33153.903
AT ITER 2365 NEW BEST:: SOT 171006 SOS 90652 HAS SOPS 90652 HAS SOUS 33003 HAS SOUPS 33003 WITH SCORE 33093.652
AT ITER 2375 NEW BEST:: SOT 171040 SOS 90603 HAS SOPS 90603 HAS SOUS 32974 HAS SOUPS 32974 WITH SCORE 33064.603
AT ITER 2376 NEW BEST:: SOT 170635 SOS 90198 HAS SOPS 90198 HAS SOUS 32808 HAS SOUPS 32808 WITH SCORE 32898.198
AT ITER 2381 NEW BEST:: SOT 170635 SOS 90198 HAS SOPS 90198 HAS SOUS 32739 HAS SOUPS 32739 WITH SCORE 32829.198
AT ITER 2404 NEW BEST:: SOT 170641 SOS 90204 HAS SOPS 90204 HAS SOUS 32733 HAS SOUPS 32733 WITH SCORE 32823.204
AT ITER 2405 NEW BEST:: SOT 170504 SOS 90448 HAS SOPS 90448 HAS SOUS 32657 HAS SOUPS 32657 WITH SCORE 32747.448
AT ITER 2437 NEW BEST:: SOT 170404 SOS 90308 HAS SOPS 90308 HAS SOUS 32617 HAS SOUPS 32617 WITH SCORE 32707.308
AT ITER 2450 NEW BEST:: SOT 170496 SOS 90400 HAS SOPS 90400 HAS SOUS 32607 HAS SOUPS 32607 WITH SCORE 32697.4
AT ITER 2453 NEW BEST:: SOT 170178 SOS 90247 HAS SOPS 90247 HAS SOUS 32582 HAS SOUPS 32582 WITH SCORE 32672.247
AT ITER 2460 NEW BEST:: SOT 170115 SOS 90184 HAS SOPS 90184 HAS SOUS 32540 HAS SOUPS 32540 WITH SCORE 32630.184
AT ITER 2462 NEW BEST:: SOT 170077 SOS 90153 HAS SOPS 90153 HAS SOUS 32523 HAS SOUPS 32523 WITH SCORE 32613.153
AT ITER 2463 NEW BEST:: SOT 170085 SOS 90149 HAS SOPS 90149 HAS SOUS 32523 HAS SOUPS 32523 WITH SCORE 32613.149
AT ITER 2469 NEW BEST:: SOT 170079 SOS 90143 HAS SOPS 90143 HAS SOUS 32517 HAS SOUPS 32517 WITH SCORE 32607.143
AT ITER 2471 NEW BEST:: SOT 170101 SOS 90165 HAS SOPS 90165 HAS SOUS 32504 HAS SOUPS 32504 WITH SCORE 32594.165
AT ITER 2477 NEW BEST:: SOT 169879 SOS 89869 HAS SOPS 89869 HAS SOUS 32282 HAS SOUPS 32282 WITH SCORE 32371.869
AT ITER 2482 NEW BEST:: SOT 169879 SOS 90085 HAS SOPS 90085 HAS SOUS 32220 HAS SOUPS 32220 WITH SCORE 32310.085
AT ITER 2495 NEW BEST:: SOT 169699 SOS 89564 HAS SOPS 89564 HAS SOUS 31999 HAS SOUPS 31999 WITH SCORE 32088.564
AT ITER 2501 NEW BEST:: SOT 169676 SOS 89540 HAS SOPS 89540 HAS SOUS 31984 HAS SOUPS 31984 WITH SCORE 32073.54
AT ITER 2514 NEW BEST:: SOT 169794 SOS 89658 HAS SOPS 89658 HAS SOUS 31961 HAS SOUPS 31961 WITH SCORE 32050.658
AT ITER 2528 NEW BEST:: SOT 169636 SOS 89514 HAS SOPS 89514 HAS SOUS 31913 HAS SOUPS 31913 WITH SCORE 32002.514
AT ITER 2531 NEW BEST:: SOT 169621 SOS 89499 HAS SOPS 89499 HAS SOUS 31898 HAS SOUPS 31898 WITH SCORE 31987.499
AT ITER 2535 NEW BEST:: SOT 169871 SOS 89999 HAS SOPS 89999 HAS SOUS 31884 HAS SOUPS 31884 WITH SCORE 31973.999
AT ITER 2539 NEW BEST:: SOT 169829 SOS 89999 HAS SOPS 89999 HAS SOUS 31842 HAS SOUPS 31842 WITH SCORE 31931.999
AT ITER 2564 NEW BEST:: SOT 169676 SOS 89835 HAS SOPS 89835 HAS SOUS 31756 HAS SOUPS 31756 WITH SCORE 31845.835
AT ITER 2570 NEW BEST:: SOT 169676 SOS 89835 HAS SOPS 89835 HAS SOUS 31728 HAS SOUPS 31728 WITH SCORE 31817.835
AT ITER 2581 NEW BEST:: SOT 169676 SOS 89862 HAS SOPS 89862 HAS SOUS 31706 HAS SOUPS 31706 WITH SCORE 31795.862
AT ITER 2585 NEW BEST:: SOT 169651 SOS 89693 HAS SOPS 89693 HAS SOUS 31676 HAS SOUPS 31676 WITH SCORE 31765.693
AT ITER 2598 NEW BEST:: SOT 169633 SOS 89648 HAS SOPS 89648 HAS SOUS 31640 HAS SOUPS 31640 WITH SCORE 31729.648
AT ITER 2610 NEW BEST:: SOT 169633 SOS 89648 HAS SOPS 89648 HAS SOUS 31636 HAS SOUPS 31636 WITH SCORE 31725.648
AT ITER 2615 NEW BEST:: SOT 169301 SOS 89316 HAS SOPS 89316 HAS SOUS 31422 HAS SOUPS 31422 WITH SCORE 31511.316
AT ITER 2635 NEW BEST:: SOT 169068 SOS 89027 HAS SOPS 89027 HAS SOUS 31357 HAS SOUPS 31357 WITH SCORE 31446.027
AT ITER 2646 NEW BEST:: SOT 169036 SOS 88963 HAS SOPS 88963 HAS SOUS 31297 HAS SOUPS 31297 WITH SCORE 31385.963
AT ITER 2648 NEW BEST:: SOT 169036 SOS 88963 HAS SOPS 88963 HAS SOUS 31295 HAS SOUPS 31295 WITH SCORE 31383.963
AT ITER 2669 NEW BEST:: SOT 168889 SOS 88627 HAS SOPS 88627 HAS SOUS 31151 HAS SOUPS 31151 WITH SCORE 31239.627
AT ITER 2672 NEW BEST:: SOT 168877 SOS 88627 HAS SOPS 88627 HAS SOUS 31127 HAS SOUPS 31127 WITH SCORE 31215.627
AT ITER 2682 NEW BEST:: SOT 168683 SOS 88376 HAS SOPS 88376 HAS SOUS 31015 HAS SOUPS 31015 WITH SCORE 31103.376
AT ITER 2684 NEW BEST:: SOT 168683 SOS 88376 HAS SOPS 88376 HAS SOUS 31007 HAS SOUPS 31007 WITH SCORE 31095.376
AT ITER 2690 NEW BEST:: SOT 168683 SOS 88376 HAS SOPS 88376 HAS SOUS 31001 HAS SOUPS 31001 WITH SCORE 31089.376
AT ITER 2702 NEW BEST:: SOT 167717 SOS 90720 HAS SOPS 90720 HAS SOUS 30756 HAS SOUPS 30756 WITH SCORE 30846.72
AT ITER 2707 NEW BEST:: SOT 167705 SOS 90708 HAS SOPS 90708 HAS SOUS 30756 HAS SOUPS 30756 WITH SCORE 30846.708
AT ITER 2719 NEW BEST:: SOT 167626 SOS 90690 HAS SOPS 90690 HAS SOUS 30695 HAS SOUPS 30695 WITH SCORE 30785.69
AT ITER 2725 NEW BEST:: SOT 167540 SOS 90604 HAS SOPS 90604 HAS SOUS 30609 HAS SOUPS 30609 WITH SCORE 30699.604
AT ITER 2731 NEW BEST:: SOT 167468 SOS 90534 HAS SOPS 90534 HAS SOUS 30533 HAS SOUPS 30533 WITH SCORE 30623.534
AT ITER 2739 NEW BEST:: SOT 167460 SOS 90518 HAS SOPS 90518 HAS SOUS 30507 HAS SOUPS 30507 WITH SCORE 30597.518
AT ITER 2753 NEW BEST:: SOT 167371 SOS 90381 HAS SOPS 90381 HAS SOUS 30417 HAS SOUPS 30417 WITH SCORE 30507.381
AT ITER 2763 NEW BEST:: SOT 167019 SOS 89903 HAS SOPS 89903 HAS SOUS 30065 HAS SOUPS 30065 WITH SCORE 30154.903
AT ITER 2772 NEW BEST:: SOT 166929 SOS 89615 HAS SOPS 89615 HAS SOUS 29935 HAS SOUPS 29935 WITH SCORE 30024.615
AT ITER 2785 NEW BEST:: SOT 166932 SOS 89521 HAS SOPS 89521 HAS SOUS 29902 HAS SOUPS 29902 WITH SCORE 29991.521
AT ITER 2787 NEW BEST:: SOT 166886 SOS 89549 HAS SOPS 89549 HAS SOUS 29886 HAS SOUPS 29886 WITH SCORE 29975.549
AT ITER 2802 NEW BEST:: SOT 166880 SOS 89535 HAS SOPS 89535 HAS SOUS 29880 HAS SOUPS 29880 WITH SCORE 29969.535
AT ITER 2806 NEW BEST:: SOT 166880 SOS 89511 HAS SOPS 89511 HAS SOUS 29832 HAS SOUPS 29832 WITH SCORE 29921.511
AT ITER 2809 NEW BEST:: SOT 166826 SOS 89457 HAS SOPS 89457 HAS SOUS 29754 HAS SOUPS 29754 WITH SCORE 29843.457
AT ITER 2850 NEW BEST:: SOT 166848 SOS 89479 HAS SOPS 89479 HAS SOUS 29686 HAS SOUPS 29686 WITH SCORE 29775.479
AT ITER 2852 NEW BEST:: SOT 166734 SOS 89081 HAS SOPS 89081 HAS SOUS 29616 HAS SOUPS 29616 WITH SCORE 29705.081
AT ITER 2873 NEW BEST:: SOT 167031 SOS 89378 HAS SOPS 89378 HAS SOUS 29598 HAS SOUPS 29598 WITH SCORE 29687.378
AT ITER 2882 NEW BEST:: SOT 167019 SOS 89366 HAS SOPS 89366 HAS SOUS 29594 HAS SOUPS 29594 WITH SCORE 29683.366
AT ITER 2901 NEW BEST:: SOT 167005 SOS 89352 HAS SOPS 89352 HAS SOUS 29566 HAS SOUPS 29566 WITH SCORE 29655.352
AT ITER 2907 NEW BEST:: SOT 167003 SOS 89471 HAS SOPS 89471 HAS SOUS 29562 HAS SOUPS 29562 WITH SCORE 29651.471
AT ITER 2915 NEW BEST:: SOT 167055 SOS 89523 HAS SOPS 89523 HAS SOUS 29554 HAS SOUPS 29554 WITH SCORE 29643.523
AT ITER 2926 NEW BEST:: SOT 167053 SOS 89521 HAS SOPS 89521 HAS SOUS 29550 HAS SOUPS 29550 WITH SCORE 29639.521
AT ITER 2927 NEW BEST:: SOT 167027 SOS 89469 HAS SOPS 89469 HAS SOUS 29524 HAS SOUPS 29524 WITH SCORE 29613.469
AT ITER 2932 NEW BEST:: SOT 167030 SOS 89395 HAS SOPS 89395 HAS SOUS 29473 HAS SOUPS 29473 WITH SCORE 29562.395
AT ITER 2999 NEW BEST:: SOT 167024 SOS 89385 HAS SOPS 89385 HAS SOUS 29461 HAS SOUPS 29461 WITH SCORE 29550.385
AT ITER 3026 NEW BEST:: SOT 167036 SOS 89397 HAS SOPS 89397 HAS SOUS 29415 HAS SOUPS 29415 WITH SCORE 29504.397
AT ITER 3028 NEW BEST:: SOT 167115 SOS 89290 HAS SOPS 89290 HAS SOUS 29382 HAS SOUPS 29382 WITH SCORE 29471.29
AT ITER 3044 NEW BEST:: SOT 167115 SOS 89186 HAS SOPS 89186 HAS SOUS 29304 HAS SOUPS 29304 WITH SCORE 29393.186
AT ITER 3049 NEW BEST:: SOT 167115 SOS 89192 HAS SOPS 89192 HAS SOUS 29300 HAS SOUPS 29300 WITH SCORE 29389.192
AT ITER 3050 NEW BEST:: SOT 167150 SOS 89227 HAS SOPS 89227 HAS SOUS 29272 HAS SOUPS 29272 WITH SCORE 29361.227
AT ITER 3072 NEW BEST:: SOT 167141 SOS 89221 HAS SOPS 89221 HAS SOUS 29260 HAS SOUPS 29260 WITH SCORE 29349.221
AT ITER 3079 NEW BEST:: SOT 167129 SOS 89191 HAS SOPS 89191 HAS SOUS 29248 HAS SOUPS 29248 WITH SCORE 29337.191
AT ITER 3089 NEW BEST:: SOT 167108 SOS 89179 HAS SOPS 89179 HAS SOUS 29216 HAS SOUPS 29216 WITH SCORE 29305.179
AT ITER 3095 NEW BEST:: SOT 167108 SOS 89179 HAS SOPS 89179 HAS SOUS 29212 HAS SOUPS 29212 WITH SCORE 29301.179
AT ITER 3103 NEW BEST:: SOT 167092 SOS 89089 HAS SOPS 89089 HAS SOUS 29206 HAS SOUPS 29206 WITH SCORE 29295.089
AT ITER 3112 NEW BEST:: SOT 167010 SOS 89066 HAS SOPS 89066 HAS SOUS 29121 HAS SOUPS 29121 WITH SCORE 29210.066
AT ITER 3151 NEW BEST:: SOT 166743 SOS 88801 HAS SOPS 88801 HAS SOUS 28870 HAS SOUPS 28870 WITH SCORE 28958.801
AT ITER 3160 NEW BEST:: SOT 166700 SOS 88631 HAS SOPS 88631 HAS SOUS 28811 HAS SOUPS 28811 WITH SCORE 28899.631
AT ITER 3163 NEW BEST:: SOT 166760 SOS 88691 HAS SOPS 88691 HAS SOUS 28791 HAS SOUPS 28791 WITH SCORE 28879.691
AT ITER 3170 NEW BEST:: SOT 166793 SOS 88835 HAS SOPS 88835 HAS SOUS 28782 HAS SOUPS 28782 WITH SCORE 28870.835
AT ITER 3177 NEW BEST:: SOT 166779 SOS 88819 HAS SOPS 88819 HAS SOUS 28762 HAS SOUPS 28762 WITH SCORE 28850.819
AT ITER 3180 NEW BEST:: SOT 166770 SOS 88828 HAS SOPS 88828 HAS SOUS 28753 HAS SOUPS 28753 WITH SCORE 28841.828
AT ITER 3192 NEW BEST:: SOT 166600 SOS 88658 HAS SOPS 88658 HAS SOUS 28667 HAS SOUPS 28667 WITH SCORE 28755.658
AT ITER 3229 NEW BEST:: SOT 166600 SOS 88658 HAS SOPS 88658 HAS SOUS 28645 HAS SOUPS 28645 WITH SCORE 28733.658
AT ITER 3237 NEW BEST:: SOT 166571 SOS 88696 HAS SOPS 88696 HAS SOUS 28625 HAS SOUPS 28625 WITH SCORE 28713.696
AT ITER 3246 NEW BEST:: SOT 166510 SOS 88886 HAS SOPS 88886 HAS SOUS 28618 HAS SOUPS 28618 WITH SCORE 28706.886
AT ITER 3251 NEW BEST:: SOT 166498 SOS 87900 HAS SOPS 87900 HAS SOUS 28618 HAS SOUPS 28618 WITH SCORE 28705.9
AT ITER 3252 NEW BEST:: SOT 166517 SOS 87902 HAS SOPS 87902 HAS SOUS 28601 HAS SOUPS 28601 WITH SCORE 28688.902
AT ITER 3253 NEW BEST:: SOT 166529 SOS 87914 HAS SOPS 87914 HAS SOUS 28598 HAS SOUPS 28598 WITH SCORE 28685.914
AT ITER 3264 NEW BEST:: SOT 166540 SOS 88002 HAS SOPS 88002 HAS SOUS 28570 HAS SOUPS 28570 WITH SCORE 28658.002
AT ITER 3272 NEW BEST:: SOT 166119 SOS 87581 HAS SOPS 87581 HAS SOUS 28384 HAS SOUPS 28384 WITH SCORE 28471.581
AT ITER 3273 NEW BEST:: SOT 166132 SOS 87480 HAS SOPS 87480 HAS SOUS 28329 HAS SOUPS 28329 WITH SCORE 28416.48
AT ITER 3275 NEW BEST:: SOT 166174 SOS 87666 HAS SOPS 87666 HAS SOUS 28325 HAS SOUPS 28325 WITH SCORE 28412.666
AT ITER 3283 NEW BEST:: SOT 166201 SOS 87792 HAS SOPS 87792 HAS SOUS 28322 HAS SOUPS 28322 WITH SCORE 28409.792
AT ITER 3289 NEW BEST:: SOT 166250 SOS 87797 HAS SOPS 87797 HAS SOUS 28244 HAS SOUPS 28244 WITH SCORE 28331.797
AT ITER 3298 NEW BEST:: SOT 166168 SOS 87695 HAS SOPS 87695 HAS SOUS 28170 HAS SOUPS 28170 WITH SCORE 28257.695
AT ITER 3299 NEW BEST:: SOT 166109 SOS 87606 HAS SOPS 87606 HAS SOUS 28151 HAS SOUPS 28151 WITH SCORE 28238.606
AT ITER 3307 NEW BEST:: SOT 166105 SOS 87578 HAS SOPS 87578 HAS SOUS 28150 HAS SOUPS 28150 WITH SCORE 28237.578
AT ITER 3326 NEW BEST:: SOT 165977 SOS 87065 HAS SOPS 87065 HAS SOUS 27986 HAS SOUPS 27986 WITH SCORE 28073.065
AT ITER 3329 NEW BEST:: SOT 165952 SOS 86983 HAS SOPS 86983 HAS SOUS 27936 HAS SOUPS 27936 WITH SCORE 28022.983
AT ITER 3340 NEW BEST:: SOT 165943 SOS 86974 HAS SOPS 86974 HAS SOUS 27936 HAS SOUPS 27936 WITH SCORE 28022.974
AT ITER 3343 NEW BEST:: SOT 165985 SOS 87016 HAS SOPS 87016 HAS SOUS 27924 HAS SOUPS 27924 WITH SCORE 28011.016
AT ITER 3349 NEW BEST:: SOT 165985 SOS 87016 HAS SOPS 87016 HAS SOUS 27906 HAS SOUPS 27906 WITH SCORE 27993.016
AT ITER 3359 NEW BEST:: SOT 166041 SOS 86622 HAS SOPS 86622 HAS SOUS 27866 HAS SOUPS 27866 WITH SCORE 27952.622
AT ITER 3368 NEW BEST:: SOT 166041 SOS 86630 HAS SOPS 86630 HAS SOUS 27854 HAS SOUPS 27854 WITH SCORE 27940.63
AT ITER 3379 NEW BEST:: SOT 166041 SOS 86630 HAS SOPS 86630 HAS SOUS 27843 HAS SOUPS 27843 WITH SCORE 27929.63
AT ITER 3381 NEW BEST:: SOT 165964 SOS 86553 HAS SOPS 86553 HAS SOUS 27801 HAS SOUPS 27801 WITH SCORE 27887.553
AT ITER 3383 NEW BEST:: SOT 166012 SOS 86601 HAS SOPS 86601 HAS SOUS 27785 HAS SOUPS 27785 WITH SCORE 27871.601
AT ITER 3387 NEW BEST:: SOT 166000 SOS 86648 HAS SOPS 86648 HAS SOUS 27780 HAS SOUPS 27780 WITH SCORE 27866.648
AT ITER 3394 NEW BEST:: SOT 165984 SOS 86582 HAS SOPS 86582 HAS SOUS 27779 HAS SOUPS 27779 WITH SCORE 27865.582
AT ITER 3396 NEW BEST:: SOT 165846 SOS 86387 HAS SOPS 86387 HAS SOUS 27546 HAS SOUPS 27546 WITH SCORE 27632.387
AT ITER 3403 NEW BEST:: SOT 165855 SOS 86396 HAS SOPS 86396 HAS SOUS 27528 HAS SOUPS 27528 WITH SCORE 27614.396
AT ITER 3409 NEW BEST:: SOT 165814 SOS 86191 HAS SOPS 86191 HAS SOUS 27528 HAS SOUPS 27528 WITH SCORE 27614.191
AT ITER 3416 NEW BEST:: SOT 165842 SOS 86110 HAS SOPS 86110 HAS SOUS 27417 HAS SOUPS 27417 WITH SCORE 27503.11
AT ITER 3425 NEW BEST:: SOT 165810 SOS 86062 HAS SOPS 86062 HAS SOUS 27375 HAS SOUPS 27375 WITH SCORE 27461.062
AT ITER 3431 NEW BEST:: SOT 165828 SOS 86079 HAS SOPS 86079 HAS SOUS 27359 HAS SOUPS 27359 WITH SCORE 27445.079
AT ITER 3432 NEW BEST:: SOT 165817 SOS 86075 HAS SOPS 86075 HAS SOUS 27351 HAS SOUPS 27351 WITH SCORE 27437.075
AT ITER 3443 NEW BEST:: SOT 165801 SOS 86059 HAS SOPS 86059 HAS SOUS 27318 HAS SOUPS 27318 WITH SCORE 27404.059
AT ITER 3447 NEW BEST:: SOT 165801 SOS 86056 HAS SOPS 86056 HAS SOUS 27309 HAS SOUPS 27309 WITH SCORE 27395.056
AT ITER 3469 NEW BEST:: SOT 165801 SOS 86196 HAS SOPS 86196 HAS SOUS 27281 HAS SOUPS 27281 WITH SCORE 27367.196
AT ITER 3476 NEW BEST:: SOT 165764 SOS 86188 HAS SOPS 86188 HAS SOUS 27244 HAS SOUPS 27244 WITH SCORE 27330.188
AT ITER 3481 NEW BEST:: SOT 165765 SOS 86180 HAS SOPS 86180 HAS SOUS 27220 HAS SOUPS 27220 WITH SCORE 27306.18
AT ITER 3492 NEW BEST:: SOT 165793 SOS 86134 HAS SOPS 86134 HAS SOUS 27213 HAS SOUPS 27213 WITH SCORE 27299.134
AT ITER 3494 NEW BEST:: SOT 165784 SOS 86134 HAS SOPS 86134 HAS SOUS 27204 HAS SOUPS 27204 WITH SCORE 27290.134
AT ITER 3497 NEW BEST:: SOT 165706 SOS 86012 HAS SOPS 86012 HAS SOUS 27170 HAS SOUPS 27170 WITH SCORE 27256.012
AT ITER 3508 NEW BEST:: SOT 165726 SOS 86060 HAS SOPS 86060 HAS SOUS 27148 HAS SOUPS 27148 WITH SCORE 27234.06
AT ITER 3532 NEW BEST:: SOT 165724 SOS 86020 HAS SOPS 86020 HAS SOUS 27064 HAS SOUPS 27064 WITH SCORE 27150.02
AT ITER 3535 NEW BEST:: SOT 165676 SOS 85971 HAS SOPS 85971 HAS SOUS 27046 HAS SOUPS 27046 WITH SCORE 27131.971
AT ITER 3536 NEW BEST:: SOT 165640 SOS 85877 HAS SOPS 85877 HAS SOUS 26979 HAS SOUPS 26979 WITH SCORE 27064.877
AT ITER 3543 NEW BEST:: SOT 165578 SOS 85815 HAS SOPS 85815 HAS SOUS 26917 HAS SOUPS 26917 WITH SCORE 27002.815
AT ITER 3557 NEW BEST:: SOT 165568 SOS 85825 HAS SOPS 85825 HAS SOUS 26907 HAS SOUPS 26907 WITH SCORE 26992.825
AT ITER 3563 NEW BEST:: SOT 165558 SOS 85815 HAS SOPS 85815 HAS SOUS 26902 HAS SOUPS 26902 WITH SCORE 26987.815
AT ITER 3610 NEW BEST:: SOT 165518 SOS 85775 HAS SOPS 85775 HAS SOUS 26847 HAS SOUPS 26847 WITH SCORE 26932.775
AT ITER 3623 NEW BEST:: SOT 165534 SOS 85834 HAS SOPS 85834 HAS SOUS 26790 HAS SOUPS 26790 WITH SCORE 26875.834
AT ITER 3637 NEW BEST:: SOT 165534 SOS 85848 HAS SOPS 85848 HAS SOUS 26776 HAS SOUPS 26776 WITH SCORE 26861.848
AT ITER 3646 NEW BEST:: SOT 165532 SOS 85844 HAS SOPS 85844 HAS SOUS 26774 HAS SOUPS 26774 WITH SCORE 26859.844
AT ITER 3658 NEW BEST:: SOT 165526 SOS 85823 HAS SOPS 85823 HAS SOUS 26765 HAS SOUPS 26765 WITH SCORE 26850.823
AT ITER 3680 NEW BEST:: SOT 165494 SOS 85562 HAS SOPS 85562 HAS SOUS 26735 HAS SOUPS 26735 WITH SCORE 26820.562
AT ITER 3691 NEW BEST:: SOT 165503 SOS 85452 HAS SOPS 85452 HAS SOUS 26722 HAS SOUPS 26722 WITH SCORE 26807.452
AT ITER 3695 NEW BEST:: SOT 165404 SOS 85613 HAS SOPS 85613 HAS SOUS 26695 HAS SOUPS 26695 WITH SCORE 26780.613
AT ITER 3701 NEW BEST:: SOT 165447 SOS 85610 HAS SOPS 85610 HAS SOUS 26677 HAS SOUPS 26677 WITH SCORE 26762.61
AT ITER 3705 NEW BEST:: SOT 165447 SOS 85590 HAS SOPS 85590 HAS SOUS 26667 HAS SOUPS 26667 WITH SCORE 26752.59
AT ITER 3726 NEW BEST:: SOT 165439 SOS 85586 HAS SOPS 85586 HAS SOUS 26663 HAS SOUPS 26663 WITH SCORE 26748.586
AT ITER 3730 NEW BEST:: SOT 165479 SOS 85626 HAS SOPS 85626 HAS SOUS 26660 HAS SOUPS 26660 WITH SCORE 26745.626
AT ITER 3736 NEW BEST:: SOT 165427 SOS 85580 HAS SOPS 85580 HAS SOUS 26584 HAS SOUPS 26584 WITH SCORE 26669.58
AT ITER 3758 NEW BEST:: SOT 165399 SOS 85498 HAS SOPS 85498 HAS SOUS 26538 HAS SOUPS 26538 WITH SCORE 26623.498
AT ITER 3767 NEW BEST:: SOT 165310 SOS 85074 HAS SOPS 85074 HAS SOUS 26506 HAS SOUPS 26506 WITH SCORE 26591.074
AT ITER 3774 NEW BEST:: SOT 165310 SOS 85074 HAS SOPS 85074 HAS SOUS 26486 HAS SOUPS 26486 WITH SCORE 26571.074
AT ITER 3786 NEW BEST:: SOT 165281 SOS 85016 HAS SOPS 85016 HAS SOUS 26457 HAS SOUPS 26457 WITH SCORE 26542.016
AT ITER 3787 NEW BEST:: SOT 165271 SOS 85006 HAS SOPS 85006 HAS SOUS 26440 HAS SOUPS 26440 WITH SCORE 26525.006
AT ITER 3795 NEW BEST:: SOT 165271 SOS 85006 HAS SOPS 85006 HAS SOUS 26439 HAS SOUPS 26439 WITH SCORE 26524.006
AT ITER 3796 NEW BEST:: SOT 165283 SOS 85018 HAS SOPS 85018 HAS SOUS 26415 HAS SOUPS 26415 WITH SCORE 26500.018
AT ITER 3809 NEW BEST:: SOT 165284 SOS 85029 HAS SOPS 85029 HAS SOUS 26407 HAS SOUPS 26407 WITH SCORE 26492.029
AT ITER 3846 NEW BEST:: SOT 165166 SOS 85014 HAS SOPS 85014 HAS SOUS 26349 HAS SOUPS 26349 WITH SCORE 26434.014
AT ITER 3850 NEW BEST:: SOT 165182 SOS 84947 HAS SOPS 84947 HAS SOUS 26295 HAS SOUPS 26295 WITH SCORE 26379.947
AT ITER 3876 NEW BEST:: SOT 165182 SOS 84937 HAS SOPS 84937 HAS SOUS 26295 HAS SOUPS 26295 WITH SCORE 26379.937
AT ITER 3878 NEW BEST:: SOT 165150 SOS 84905 HAS SOPS 84905 HAS SOUS 26258 HAS SOUPS 26258 WITH SCORE 26342.905
AT ITER 3887 NEW BEST:: SOT 165117 SOS 84801 HAS SOPS 84801 HAS SOUS 26206 HAS SOUPS 26206 WITH SCORE 26290.801
AT ITER 3892 NEW BEST:: SOT 165108 SOS 84780 HAS SOPS 84780 HAS SOUS 26197 HAS SOUPS 26197 WITH SCORE 26281.78
AT ITER 3899 NEW BEST:: SOT 165106 SOS 84777 HAS SOPS 84777 HAS SOUS 26192 HAS SOUPS 26192 WITH SCORE 26276.777
AT ITER 3900 NEW BEST:: SOT 165108 SOS 84782 HAS SOPS 84782 HAS SOUS 26156 HAS SOUPS 26156 WITH SCORE 26240.782
AT ITER 3908 NEW BEST:: SOT 165076 SOS 84702 HAS SOPS 84702 HAS SOUS 26129 HAS SOUPS 26129 WITH SCORE 26213.702
AT ITER 3916 NEW BEST:: SOT 165021 SOS 84606 HAS SOPS 84606 HAS SOUS 26089 HAS SOUPS 26089 WITH SCORE 26173.606
AT ITER 3924 NEW BEST:: SOT 165011 SOS 84556 HAS SOPS 84556 HAS SOUS 26050 HAS SOUPS 26050 WITH SCORE 26134.556
AT ITER 3932 NEW BEST:: SOT 164996 SOS 84532 HAS SOPS 84532 HAS SOUS 26035 HAS SOUPS 26035 WITH SCORE 26119.532
AT ITER 3937 NEW BEST:: SOT 164956 SOS 84515 HAS SOPS 84515 HAS SOUS 25987 HAS SOUPS 25987 WITH SCORE 26071.515
AT ITER 3939 NEW BEST:: SOT 164918 SOS 84461 HAS SOPS 84461 HAS SOUS 25935 HAS SOUPS 25935 WITH SCORE 26019.461
AT ITER 3963 NEW BEST:: SOT 164986 SOS 84568 HAS SOPS 84568 HAS SOUS 25927 HAS SOUPS 25927 WITH SCORE 26011.568
AT ITER 3991 NEW BEST:: SOT 164970 SOS 84504 HAS SOPS 84504 HAS SOUS 25911 HAS SOUPS 25911 WITH SCORE 25995.504
AT ITER 3999 NEW BEST:: SOT 164969 SOS 84486 HAS SOPS 84486 HAS SOUS 25905 HAS SOUPS 25905 WITH SCORE 25989.486
AT ITER 4028 NEW BEST:: SOT 164862 SOS 84379 HAS SOPS 84379 HAS SOUS 25864 HAS SOUPS 25864 WITH SCORE 25948.379
AT ITER 4073 NEW BEST:: SOT 164721 SOS 84079 HAS SOPS 84079 HAS SOUS 25666 HAS SOUPS 25666 WITH SCORE 25750.079
AT ITER 4079 NEW BEST:: SOT 164699 SOS 83813 HAS SOPS 83813 HAS SOUS 25552 HAS SOUPS 25552 WITH SCORE 25635.813
AT ITER 4115 NEW BEST:: SOT 164618 SOS 83732 HAS SOPS 83732 HAS SOUS 25523 HAS SOUPS 25523 WITH SCORE 25606.732
AT ITER 4141 NEW BEST:: SOT 164469 SOS 84084 HAS SOPS 84084 HAS SOUS 25404 HAS SOUPS 25404 WITH SCORE 25488.084
AT ITER 4144 NEW BEST:: SOT 164379 SOS 83985 HAS SOPS 83985 HAS SOUS 25332 HAS SOUPS 25332 WITH SCORE 25415.985
AT ITER 4156 NEW BEST:: SOT 164366 SOS 83969 HAS SOPS 83969 HAS SOUS 25328 HAS SOUPS 25328 WITH SCORE 25411.969
AT ITER 4162 NEW BEST:: SOT 164163 SOS 83766 HAS SOPS 83766 HAS SOUS 25241 HAS SOUPS 25241 WITH SCORE 25324.766
AT ITER 4197 NEW BEST:: SOT 163766 SOS 87188 HAS SOPS 87188 HAS SOUS 25193 HAS SOUPS 25193 WITH SCORE 25280.188
AT ITER 4241 NEW BEST:: SOT 163758 SOS 87182 HAS SOPS 87182 HAS SOUS 25185 HAS SOUPS 25185 WITH SCORE 25272.182
AT ITER 4254 NEW BEST:: SOT 163684 SOS 87108 HAS SOPS 87108 HAS SOUS 25078 HAS SOUPS 25078 WITH SCORE 25165.108
AT ITER 4268 NEW BEST:: SOT 163638 SOS 87065 HAS SOPS 87065 HAS SOUS 24869 HAS SOUPS 24869 WITH SCORE 24956.065
AT ITER 4270 NEW BEST:: SOT 163623 SOS 87050 HAS SOPS 87050 HAS SOUS 24863 HAS SOUPS 24863 WITH SCORE 24950.05
AT ITER 4272 NEW BEST:: SOT 163578 SOS 87146 HAS SOPS 87146 HAS SOUS 24768 HAS SOUPS 24768 WITH SCORE 24855.146
AT ITER 4312 NEW BEST:: SOT 163573 SOS 87113 HAS SOPS 87113 HAS SOUS 24765 HAS SOUPS 24765 WITH SCORE 24852.113
AT ITER 4313 NEW BEST:: SOT 163252 SOS 86749 HAS SOPS 86749 HAS SOUS 24764 HAS SOUPS 24764 WITH SCORE 24850.749
AT ITER 4346 NEW BEST:: SOT 163254 SOS 86755 HAS SOPS 86755 HAS SOUS 24744 HAS SOUPS 24744 WITH SCORE 24830.755
AT ITER 4396 NEW BEST:: SOT 163231 SOS 86723 HAS SOPS 86723 HAS SOUS 24730 HAS SOUPS 24730 WITH SCORE 24816.723
AT ITER 4439 NEW BEST:: SOT 163225 SOS 86717 HAS SOPS 86717 HAS SOUS 24724 HAS SOUPS 24724 WITH SCORE 24810.717
AT ITER 4448 NEW BEST:: SOT 163226 SOS 86731 HAS SOPS 86731 HAS SOUS 24723 HAS SOUPS 24723 WITH SCORE 24809.731
AT ITER 4451 NEW BEST:: SOT 163247 SOS 86737 HAS SOPS 86737 HAS SOUS 24673 HAS SOUPS 24673 WITH SCORE 24759.737
AT ITER 4453 NEW BEST:: SOT 163217 SOS 86677 HAS SOPS 86677 HAS SOUS 24633 HAS SOUPS 24633 WITH SCORE 24719.677
AT ITER 4467 NEW BEST:: SOT 163141 SOS 86569 HAS SOPS 86569 HAS SOUS 24557 HAS SOUPS 24557 WITH SCORE 24643.569
AT ITER 4478 NEW BEST:: SOT 163170 SOS 86598 HAS SOPS 86598 HAS SOUS 24496 HAS SOUPS 24496 WITH SCORE 24582.598
AT ITER 4495 NEW BEST:: SOT 163165 SOS 86583 HAS SOPS 86583 HAS SOUS 24486 HAS SOUPS 24486 WITH SCORE 24572.583
AT ITER 4501 NEW BEST:: SOT 163118 SOS 86363 HAS SOPS 86363 HAS SOUS 24474 HAS SOUPS 24474 WITH SCORE 24560.363
AT ITER 4503 NEW BEST:: SOT 163118 SOS 86347 HAS SOPS 86347 HAS SOUS 24466 HAS SOUPS 24466 WITH SCORE 24552.347
AT ITER 4523 NEW BEST:: SOT 163102 SOS 86331 HAS SOPS 86331 HAS SOUS 24450 HAS SOUPS 24450 WITH SCORE 24536.331
AT ITER 4540 NEW BEST:: SOT 163112 SOS 86341 HAS SOPS 86341 HAS SOUS 24420 HAS SOUPS 24420 WITH SCORE 24506.341
AT ITER 4574 NEW BEST:: SOT 163151 SOS 86380 HAS SOPS 86380 HAS SOUS 24354 HAS SOUPS 24354 WITH SCORE 24440.38
AT ITER 4595 NEW BEST:: SOT 163146 SOS 86355 HAS SOPS 86355 HAS SOUS 24271 HAS SOUPS 24271 WITH SCORE 24357.355
AT ITER 4608 NEW BEST:: SOT 163146 SOS 86108 HAS SOPS 86108 HAS SOUS 24271 HAS SOUPS 24271 WITH SCORE 24357.108
AT ITER 4646 NEW BEST:: SOT 163167 SOS 86075 HAS SOPS 86075 HAS SOUS 24262 HAS SOUPS 24262 WITH SCORE 24348.075
AT ITER 4656 NEW BEST:: SOT 163131 SOS 86039 HAS SOPS 86039 HAS SOUS 24210 HAS SOUPS 24210 WITH SCORE 24296.039
AT ITER 4667 NEW BEST:: SOT 163129 SOS 86038 HAS SOPS 86038 HAS SOUS 24208 HAS SOUPS 24208 WITH SCORE 24294.038
AT ITER 4675 NEW BEST:: SOT 163111 SOS 85988 HAS SOPS 85988 HAS SOUS 24190 HAS SOUPS 24190 WITH SCORE 24275.988
AT ITER 4679 NEW BEST:: SOT 163106 SOS 85983 HAS SOPS 85983 HAS SOUS 24190 HAS SOUPS 24190 WITH SCORE 24275.983
AT ITER 4704 NEW BEST:: SOT 163103 SOS 85935 HAS SOPS 85935 HAS SOUS 24173 HAS SOUPS 24173 WITH SCORE 24258.935
AT ITER 4712 NEW BEST:: SOT 163019 SOS 85789 HAS SOPS 85789 HAS SOUS 24089 HAS SOUPS 24089 WITH SCORE 24174.789
AT ITER 4715 NEW BEST:: SOT 163028 SOS 85798 HAS SOPS 85798 HAS SOUS 24071 HAS SOUPS 24071 WITH SCORE 24156.798
AT ITER 4716 NEW BEST:: SOT 163027 SOS 85720 HAS SOPS 85720 HAS SOUS 24064 HAS SOUPS 24064 WITH SCORE 24149.72
AT ITER 4724 NEW BEST:: SOT 163028 SOS 85719 HAS SOPS 85719 HAS SOUS 24062 HAS SOUPS 24062 WITH SCORE 24147.719
AT ITER 4770 NEW BEST:: SOT 163020 SOS 85711 HAS SOPS 85711 HAS SOUS 24050 HAS SOUPS 24050 WITH SCORE 24135.711
AT ITER 4771 NEW BEST:: SOT 163006 SOS 85697 HAS SOPS 85697 HAS SOUS 24038 HAS SOUPS 24038 WITH SCORE 24123.697
AT ITER 4797 NEW BEST:: SOT 163000 SOS 85697 HAS SOPS 85697 HAS SOUS 24032 HAS SOUPS 24032 WITH SCORE 24117.697
AT ITER 4801 NEW BEST:: SOT 162994 SOS 85661 HAS SOPS 85661 HAS SOUS 24016 HAS SOUPS 24016 WITH SCORE 24101.661
AT ITER 4814 NEW BEST:: SOT 162929 SOS 85582 HAS SOPS 85582 HAS SOUS 23980 HAS SOUPS 23980 WITH SCORE 24065.582
AT ITER 4828 NEW BEST:: SOT 162907 SOS 85583 HAS SOPS 85583 HAS SOUS 23967 HAS SOUPS 23967 WITH SCORE 24052.583
AT ITER 4850 NEW BEST:: SOT 162897 SOS 85573 HAS SOPS 85573 HAS SOUS 23947 HAS SOUPS 23947 WITH SCORE 24032.573
AT ITER 4855 NEW BEST:: SOT 162806 SOS 85417 HAS SOPS 85417 HAS SOUS 23888 HAS SOUPS 23888 WITH SCORE 23973.417
AT ITER 4859 NEW BEST:: SOT 162775 SOS 85355 HAS SOPS 85355 HAS SOUS 23857 HAS SOUPS 23857 WITH SCORE 23942.355
AT ITER 4908 NEW BEST:: SOT 162766 SOS 85337 HAS SOPS 85337 HAS SOUS 23848 HAS SOUPS 23848 WITH SCORE 23933.337
AT ITER 4909 NEW BEST:: SOT 162792 SOS 85316 HAS SOPS 85316 HAS SOUS 23843 HAS SOUPS 23843 WITH SCORE 23928.316
AT ITER 4927 NEW BEST:: SOT 162782 SOS 85276 HAS SOPS 85276 HAS SOUS 23823 HAS SOUPS 23823 WITH SCORE 23908.276
AT ITER 4942 NEW BEST:: SOT 162791 SOS 85158 HAS SOPS 85158 HAS SOUS 23806 HAS SOUPS 23806 WITH SCORE 23891.158
AT ITER 4975 NEW BEST:: SOT 162780 SOS 85110 HAS SOPS 85110 HAS SOUS 23786 HAS SOUPS 23786 WITH SCORE 23871.11
AT ITER 4984 NEW BEST:: SOT 162783 SOS 85095 HAS SOPS 85095 HAS SOUS 23765 HAS SOUPS 23765 WITH SCORE 23850.095
AT ITER 4995 NEW BEST:: SOT 162774 SOS 85134 HAS SOPS 85134 HAS SOUS 23733 HAS SOUPS 23733 WITH SCORE 23818.134
AT ITER 5003 NEW BEST:: SOT 162758 SOS 85118 HAS SOPS 85118 HAS SOUS 23709 HAS SOUPS 23709 WITH SCORE 23794.118
AT ITER 5005 NEW BEST:: SOT 162758 SOS 85118 HAS SOPS 85118 HAS SOUS 23703 HAS SOUPS 23703 WITH SCORE 23788.118
AT ITER 5027 NEW BEST:: SOT 162751 SOS 85174 HAS SOPS 85174 HAS SOUS 23688 HAS SOUPS 23688 WITH SCORE 23773.174
AT ITER 5063 NEW BEST:: SOT 162703 SOS 85082 HAS SOPS 85082 HAS SOUS 23627 HAS SOUPS 23627 WITH SCORE 23712.082
AT ITER 5097 NEW BEST:: SOT 162668 SOS 85047 HAS SOPS 85047 HAS SOUS 23612 HAS SOUPS 23612 WITH SCORE 23697.047
AT ITER 5121 NEW BEST:: SOT 162668 SOS 85045 HAS SOPS 85045 HAS SOUS 23611 HAS SOUPS 23611 WITH SCORE 23696.045
AT ITER 5144 NEW BEST:: SOT 162586 SOS 84857 HAS SOPS 84857 HAS SOUS 23527 HAS SOUPS 23527 WITH SCORE 23611.857
AT ITER 5150 NEW BEST:: SOT 162520 SOS 84801 HAS SOPS 84801 HAS SOUS 23414 HAS SOUPS 23414 WITH SCORE 23498.801
AT ITER 5162 NEW BEST:: SOT 162495 SOS 84793 HAS SOPS 84793 HAS SOUS 23378 HAS SOUPS 23378 WITH SCORE 23462.793
AT ITER 5180 NEW BEST:: SOT 162498 SOS 84795 HAS SOPS 84795 HAS SOUS 23377 HAS SOUPS 23377 WITH SCORE 23461.795
AT ITER 5183 NEW BEST:: SOT 162497 SOS 84781 HAS SOPS 84781 HAS SOUS 23372 HAS SOUPS 23372 WITH SCORE 23456.781
AT ITER 5193 NEW BEST:: SOT 162503 SOS 84809 HAS SOPS 84809 HAS SOUS 23369 HAS SOUPS 23369 WITH SCORE 23453.809
AT ITER 5209 NEW BEST:: SOT 162503 SOS 84809 HAS SOPS 84809 HAS SOUS 23367 HAS SOUPS 23367 WITH SCORE 23451.809
AT ITER 5211 NEW BEST:: SOT 162439 SOS 84777 HAS SOPS 84777 HAS SOUS 23315 HAS SOUPS 23315 WITH SCORE 23399.777
AT ITER 5249 NEW BEST:: SOT 162547 SOS 84885 HAS SOPS 84885 HAS SOUS 23252 HAS SOUPS 23252 WITH SCORE 23336.885
AT ITER 5270 NEW BEST:: SOT 162543 SOS 84877 HAS SOPS 84877 HAS SOUS 23248 HAS SOUPS 23248 WITH SCORE 23332.877
AT ITER 5281 NEW BEST:: SOT 162540 SOS 84853 HAS SOPS 84853 HAS SOUS 23236 HAS SOUPS 23236 WITH SCORE 23320.853
AT ITER 5308 NEW BEST:: SOT 162585 SOS 84898 HAS SOPS 84898 HAS SOUS 23229 HAS SOUPS 23229 WITH SCORE 23313.898
AT ITER 5322 NEW BEST:: SOT 162578 SOS 85039 HAS SOPS 85039 HAS SOUS 23222 HAS SOUPS 23222 WITH SCORE 23307.039
AT ITER 5359 NEW BEST:: SOT 162576 SOS 85035 HAS SOPS 85035 HAS SOUS 23218 HAS SOUPS 23218 WITH SCORE 23303.035
AT ITER 5374 NEW BEST:: SOT 162246 SOS 84705 HAS SOPS 84705 HAS SOUS 22974 HAS SOUPS 22974 WITH SCORE 23058.705
AT ITER 5375 NEW BEST:: SOT 162252 SOS 84711 HAS SOPS 84711 HAS SOUS 22962 HAS SOUPS 22962 WITH SCORE 23046.711
AT ITER 5379 NEW BEST:: SOT 162239 SOS 84692 HAS SOPS 84692 HAS SOUS 22949 HAS SOUPS 22949 WITH SCORE 23033.692
AT ITER 5410 NEW BEST:: SOT 162163 SOS 84490 HAS SOPS 84490 HAS SOUS 22839 HAS SOUPS 22839 WITH SCORE 22923.49
AT ITER 5412 NEW BEST:: SOT 162200 SOS 84475 HAS SOPS 84475 HAS SOUS 22828 HAS SOUPS 22828 WITH SCORE 22912.475
AT ITER 5428 NEW BEST:: SOT 162198 SOS 84471 HAS SOPS 84471 HAS SOUS 22826 HAS SOUPS 22826 WITH SCORE 22910.471
AT ITER 5490 NEW BEST:: SOT 162176 SOS 84458 HAS SOPS 84458 HAS SOUS 22804 HAS SOUPS 22804 WITH SCORE 22888.458
AT ITER 5493 NEW BEST:: SOT 162172 SOS 84454 HAS SOPS 84454 HAS SOUS 22775 HAS SOUPS 22775 WITH SCORE 22859.454
AT ITER 5506 NEW BEST:: SOT 162089 SOS 84372 HAS SOPS 84372 HAS SOUS 22669 HAS SOUPS 22669 WITH SCORE 22753.372
AT ITER 5530 NEW BEST:: SOT 162087 SOS 84374 HAS SOPS 84374 HAS SOUS 22665 HAS SOUPS 22665 WITH SCORE 22749.374
AT ITER 5560 NEW BEST:: SOT 162035 SOS 83998 HAS SOPS 83998 HAS SOUS 22610 HAS SOUPS 22610 WITH SCORE 22693.998
AT ITER 5565 NEW BEST:: SOT 161863 SOS 83912 HAS SOPS 83912 HAS SOUS 22438 HAS SOUPS 22438 WITH SCORE 22521.912
AT ITER 5584 NEW BEST:: SOT 161861 SOS 83912 HAS SOPS 83912 HAS SOUS 22437 HAS SOUPS 22437 WITH SCORE 22520.912
AT ITER 5596 NEW BEST:: SOT 161837 SOS 83875 HAS SOPS 83875 HAS SOUS 22386 HAS SOUPS 22386 WITH SCORE 22469.875
AT ITER 5610 NEW BEST:: SOT 161730 SOS 83737 HAS SOPS 83737 HAS SOUS 22249 HAS SOUPS 22249 WITH SCORE 22332.737
AT ITER 5612 NEW BEST:: SOT 161826 SOS 83791 HAS SOPS 83791 HAS SOUS 22219 HAS SOUPS 22219 WITH SCORE 22302.791
AT ITER 5618 NEW BEST:: SOT 161722 SOS 83415 HAS SOPS 83415 HAS SOUS 22074 HAS SOUPS 22074 WITH SCORE 22157.415
AT ITER 5643 NEW BEST:: SOT 161722 SOS 83415 HAS SOPS 83415 HAS SOUS 22073 HAS SOUPS 22073 WITH SCORE 22156.415
AT ITER 5673 NEW BEST:: SOT 161492 SOS 83246 HAS SOPS 83246 HAS SOUS 22041 HAS SOUPS 22041 WITH SCORE 22124.246
AT ITER 5728 NEW BEST:: SOT 161433 SOS 83187 HAS SOPS 83187 HAS SOUS 22015 HAS SOUPS 22015 WITH SCORE 22098.187
AT ITER 5737 NEW BEST:: SOT 161400 SOS 83133 HAS SOPS 83133 HAS SOUS 21998 HAS SOUPS 21998 WITH SCORE 22081.133
AT ITER 5739 NEW BEST:: SOT 161555 SOS 83426 HAS SOPS 83426 HAS SOUS 21877 HAS SOUPS 21877 WITH SCORE 21960.426
AT ITER 5755 NEW BEST:: SOT 161555 SOS 83426 HAS SOPS 83426 HAS SOUS 21865 HAS SOUPS 21865 WITH SCORE 21948.426
AT ITER 5776 NEW BEST:: SOT 161566 SOS 83407 HAS SOPS 83407 HAS SOUS 21859 HAS SOUPS 21859 WITH SCORE 21942.407
AT ITER 5794 NEW BEST:: SOT 161562 SOS 83315 HAS SOPS 83315 HAS SOUS 21835 HAS SOUPS 21835 WITH SCORE 21918.315
AT ITER 5893 NEW BEST:: SOT 161524 SOS 83211 HAS SOPS 83211 HAS SOUS 21789 HAS SOUPS 21789 WITH SCORE 21872.211
AT ITER 5902 NEW BEST:: SOT 161506 SOS 83193 HAS SOPS 83193 HAS SOUS 21768 HAS SOUPS 21768 WITH SCORE 21851.193
AT ITER 5935 NEW BEST:: SOT 161506 SOS 83193 HAS SOPS 83193 HAS SOUS 21756 HAS SOUPS 21756 WITH SCORE 21839.193
AT ITER 5957 NEW BEST:: SOT 161387 SOS 83073 HAS SOPS 83073 HAS SOUS 21640 HAS SOUPS 21640 WITH SCORE 21723.073
AT ITER 6009 NEW BEST:: SOT 161091 SOS 83855 HAS SOPS 83855 HAS SOUS 21463 HAS SOUPS 21463 WITH SCORE 21546.855
AT ITER 6011 NEW BEST:: SOT 161118 SOS 83921 HAS SOPS 83921 HAS SOUS 21448 HAS SOUPS 21448 WITH SCORE 21531.921
AT ITER 6033 NEW BEST:: SOT 161058 SOS 83861 HAS SOPS 83861 HAS SOUS 21388 HAS SOUPS 21388 WITH SCORE 21471.861
AT ITER 6037 NEW BEST:: SOT 161052 SOS 83854 HAS SOPS 83854 HAS SOUS 21385 HAS SOUPS 21385 WITH SCORE 21468.854
AT ITER 6055 NEW BEST:: SOT 161129 SOS 83965 HAS SOPS 83965 HAS SOUS 21360 HAS SOUPS 21360 WITH SCORE 21443.965
AT ITER 6064 NEW BEST:: SOT 161122 SOS 83957 HAS SOPS 83957 HAS SOUS 21353 HAS SOUPS 21353 WITH SCORE 21436.957
AT ITER 6079 NEW BEST:: SOT 161090 SOS 83925 HAS SOPS 83925 HAS SOUS 21319 HAS SOUPS 21319 WITH SCORE 21402.925
AT ITER 6095 NEW BEST:: SOT 161090 SOS 83925 HAS SOPS 83925 HAS SOUS 21287 HAS SOUPS 21287 WITH SCORE 21370.925
AT ITER 6101 NEW BEST:: SOT 161082 SOS 83909 HAS SOPS 83909 HAS SOUS 21279 HAS SOUPS 21279 WITH SCORE 21362.909
AT ITER 6116 NEW BEST:: SOT 161048 SOS 83875 HAS SOPS 83875 HAS SOUS 21228 HAS SOUPS 21228 WITH SCORE 21311.875
AT ITER 6118 NEW BEST:: SOT 161048 SOS 83783 HAS SOPS 83783 HAS SOUS 21228 HAS SOUPS 21228 WITH SCORE 21311.783
AT ITER 6127 NEW BEST:: SOT 161112 SOS 83847 HAS SOPS 83847 HAS SOUS 21174 HAS SOUPS 21174 WITH SCORE 21257.847
AT ITER 6142 NEW BEST:: SOT 161116 SOS 83839 HAS SOPS 83839 HAS SOUS 21174 HAS SOUPS 21174 WITH SCORE 21257.839
AT ITER 6199 NEW BEST:: SOT 161110 SOS 83833 HAS SOPS 83833 HAS SOUS 21174 HAS SOUPS 21174 WITH SCORE 21257.833
AT ITER 6236 NEW BEST:: SOT 161108 SOS 83829 HAS SOPS 83829 HAS SOUS 21172 HAS SOUPS 21172 WITH SCORE 21255.829
AT ITER 6275 NEW BEST:: SOT 161093 SOS 83829 HAS SOPS 83829 HAS SOUS 21110 HAS SOUPS 21110 WITH SCORE 21193.829
AT ITER 6284 NEW BEST:: SOT 161070 SOS 83806 HAS SOPS 83806 HAS SOUS 21046 HAS SOUPS 21046 WITH SCORE 21129.806
AT ITER 6298 NEW BEST:: SOT 161052 SOS 83774 HAS SOPS 83774 HAS SOUS 21028 HAS SOUPS 21028 WITH SCORE 21111.774
AT ITER 6303 NEW BEST:: SOT 161042 SOS 83764 HAS SOPS 83764 HAS SOUS 21028 HAS SOUPS 21028 WITH SCORE 21111.764
AT ITER 6320 NEW BEST:: SOT 160962 SOS 83684 HAS SOPS 83684 HAS SOUS 20948 HAS SOUPS 20948 WITH SCORE 21031.684
AT ITER 6325 NEW BEST:: SOT 160862 SOS 83508 HAS SOPS 83508 HAS SOUS 20922 HAS SOUPS 20922 WITH SCORE 21005.508
AT ITER 6350 NEW BEST:: SOT 160856 SOS 83498 HAS SOPS 83498 HAS SOUS 20904 HAS SOUPS 20904 WITH SCORE 20987.498
AT ITER 6368 NEW BEST:: SOT 160845 SOS 83502 HAS SOPS 83502 HAS SOUS 20893 HAS SOUPS 20893 WITH SCORE 20976.502
AT ITER 6459 NEW BEST:: SOT 160813 SOS 83370 HAS SOPS 83370 HAS SOUS 20861 HAS SOUPS 20861 WITH SCORE 20944.37
AT ITER 6478 NEW BEST:: SOT 160811 SOS 83371 HAS SOPS 83371 HAS SOUS 20860 HAS SOUPS 20860 WITH SCORE 20943.371
AT ITER 6510 NEW BEST:: SOT 160825 SOS 83259 HAS SOPS 83259 HAS SOUS 20825 HAS SOUPS 20825 WITH SCORE 20908.259
AT ITER 6633 NEW BEST:: SOT 160796 SOS 83230 HAS SOPS 83230 HAS SOUS 20767 HAS SOUPS 20767 WITH SCORE 20850.23
AT ITER 6721 NEW BEST:: SOT 160774 SOS 83142 HAS SOPS 83142 HAS SOUS 20745 HAS SOUPS 20745 WITH SCORE 20828.142
AT ITER 6725 NEW BEST:: SOT 160770 SOS 83138 HAS SOPS 83138 HAS SOUS 20732 HAS SOUPS 20732 WITH SCORE 20815.138
AT ITER 6736 NEW BEST:: SOT 160699 SOS 83067 HAS SOPS 83067 HAS SOUS 20712 HAS SOUPS 20712 WITH SCORE 20795.067
AT ITER 6780 NEW BEST:: SOT 160708 SOS 83067 HAS SOPS 83067 HAS SOUS 20707 HAS SOUPS 20707 WITH SCORE 20790.067
AT ITER 6784 NEW BEST:: SOT 160750 SOS 83133 HAS SOPS 83133 HAS SOUS 20701 HAS SOUPS 20701 WITH SCORE 20784.133
AT ITER 6798 NEW BEST:: SOT 160702 SOS 83086 HAS SOPS 83086 HAS SOUS 20655 HAS SOUPS 20655 WITH SCORE 20738.086
AT ITER 6942 NEW BEST:: SOT 160672 SOS 83056 HAS SOPS 83056 HAS SOUS 20625 HAS SOUPS 20625 WITH SCORE 20708.056
AT ITER 6947 NEW BEST:: SOT 160666 SOS 82869 HAS SOPS 82869 HAS SOUS 20616 HAS SOUPS 20616 WITH SCORE 20698.869
AT ITER 6948 NEW BEST:: SOT 160578 SOS 82770 HAS SOPS 82770 HAS SOUS 20561 HAS SOUPS 20561 WITH SCORE 20643.77
AT ITER 6986 NEW BEST:: SOT 160558 SOS 82808 HAS SOPS 82808 HAS SOUS 20540 HAS SOUPS 20540 WITH SCORE 20622.808
AT ITER 6989 NEW BEST:: SOT 160566 SOS 82816 HAS SOPS 82816 HAS SOUS 20464 HAS SOUPS 20464 WITH SCORE 20546.816
AT ITER 7016 NEW BEST:: SOT 160560 SOS 82815 HAS SOPS 82815 HAS SOUS 20455 HAS SOUPS 20455 WITH SCORE 20537.815
AT ITER 7017 NEW BEST:: SOT 160560 SOS 82815 HAS SOPS 82815 HAS SOUS 20454 HAS SOUPS 20454 WITH SCORE 20536.815
AT ITER 7018 NEW BEST:: SOT 160526 SOS 82747 HAS SOPS 82747 HAS SOUS 20420 HAS SOUPS 20420 WITH SCORE 20502.747
AT ITER 7036 NEW BEST:: SOT 160526 SOS 82747 HAS SOPS 82747 HAS SOUS 20395 HAS SOUPS 20395 WITH SCORE 20477.747
AT ITER 7058 NEW BEST:: SOT 160522 SOS 82743 HAS SOPS 82743 HAS SOUS 20391 HAS SOUPS 20391 WITH SCORE 20473.743
AT ITER 7079 NEW BEST:: SOT 160519 SOS 82737 HAS SOPS 82737 HAS SOUS 20385 HAS SOUPS 20385 WITH SCORE 20467.737
AT ITER 7083 NEW BEST:: SOT 160415 SOS 82593 HAS SOPS 82593 HAS SOUS 20233 HAS SOUPS 20233 WITH SCORE 20315.593
AT ITER 7090 NEW BEST:: SOT 160415 SOS 82593 HAS SOPS 82593 HAS SOUS 20230 HAS SOUPS 20230 WITH SCORE 20312.593
AT ITER 7093 NEW BEST:: SOT 160408 SOS 82615 HAS SOPS 82615 HAS SOUS 20201 HAS SOUPS 20201 WITH SCORE 20283.615
AT ITER 7124 NEW BEST:: SOT 160396 SOS 82562 HAS SOPS 82562 HAS SOUS 20177 HAS SOUPS 20177 WITH SCORE 20259.562
AT ITER 7179 NEW BEST:: SOT 160386 SOS 82552 HAS SOPS 82552 HAS SOUS 20152 HAS SOUPS 20152 WITH SCORE 20234.552
AT ITER 7205 NEW BEST:: SOT 160390 SOS 82725 HAS SOPS 82725 HAS SOUS 20143 HAS SOUPS 20143 WITH SCORE 20225.725
AT ITER 7210 NEW BEST:: SOT 160308 SOS 82561 HAS SOPS 82561 HAS SOUS 20081 HAS SOUPS 20081 WITH SCORE 20163.561
AT ITER 7214 NEW BEST:: SOT 160292 SOS 82545 HAS SOPS 82545 HAS SOUS 20062 HAS SOUPS 20062 WITH SCORE 20144.545
AT ITER 7222 NEW BEST:: SOT 160264 SOS 82523 HAS SOPS 82523 HAS SOUS 20056 HAS SOUPS 20056 WITH SCORE 20138.523
AT ITER 7261 NEW BEST:: SOT 160231 SOS 82391 HAS SOPS 82391 HAS SOUS 20023 HAS SOUPS 20023 WITH SCORE 20105.391
AT ITER 7268 NEW BEST:: SOT 160226 SOS 82361 HAS SOPS 82361 HAS SOUS 20013 HAS SOUPS 20013 WITH SCORE 20095.361
AT ITER 7273 NEW BEST:: SOT 160213 SOS 82348 HAS SOPS 82348 HAS SOUS 19987 HAS SOUPS 19987 WITH SCORE 20069.348
AT ITER 7274 NEW BEST:: SOT 160177 SOS 82218 HAS SOPS 82218 HAS SOUS 19946 HAS SOUPS 19946 WITH SCORE 20028.218
AT ITER 7293 NEW BEST:: SOT 160177 SOS 82236 HAS SOPS 82236 HAS SOUS 19940 HAS SOUPS 19940 WITH SCORE 20022.236
AT ITER 7354 NEW BEST:: SOT 160155 SOS 82214 HAS SOPS 82214 HAS SOUS 19940 HAS SOUPS 19940 WITH SCORE 20022.214
AT ITER 7355 NEW BEST:: SOT 160075 SOS 82104 HAS SOPS 82104 HAS SOUS 19890 HAS SOUPS 19890 WITH SCORE 19972.104
AT ITER 7366 NEW BEST:: SOT 160023 SOS 82052 HAS SOPS 82052 HAS SOUS 19873 HAS SOUPS 19873 WITH SCORE 19955.052
AT ITER 7370 NEW BEST:: SOT 160031 SOS 82068 HAS SOPS 82068 HAS SOUS 19860 HAS SOUPS 19860 WITH SCORE 19942.068
AT ITER 7373 NEW BEST:: SOT 160058 SOS 82087 HAS SOPS 82087 HAS SOUS 19852 HAS SOUPS 19852 WITH SCORE 19934.087
AT ITER 7399 NEW BEST:: SOT 160002 SOS 82031 HAS SOPS 82031 HAS SOUS 19852 HAS SOUPS 19852 WITH SCORE 19934.031
AT ITER 7421 NEW BEST:: SOT 159993 SOS 82022 HAS SOPS 82022 HAS SOUS 19846 HAS SOUPS 19846 WITH SCORE 19928.022
AT ITER 7448 NEW BEST:: SOT 159991 SOS 82020 HAS SOPS 82020 HAS SOUS 19844 HAS SOUPS 19844 WITH SCORE 19926.02
AT ITER 7481 NEW BEST:: SOT 159973 SOS 82002 HAS SOPS 82002 HAS SOUS 19844 HAS SOUPS 19844 WITH SCORE 19926.002
AT ITER 7482 NEW BEST:: SOT 159923 SOS 81902 HAS SOPS 81902 HAS SOUS 19813 HAS SOUPS 19813 WITH SCORE 19894.902
AT ITER 7493 NEW BEST:: SOT 159901 SOS 81880 HAS SOPS 81880 HAS SOUS 19802 HAS SOUPS 19802 WITH SCORE 19883.88
AT ITER 7504 NEW BEST:: SOT 159901 SOS 81880 HAS SOPS 81880 HAS SOUS 19797 HAS SOUPS 19797 WITH SCORE 19878.88
AT ITER 7509 NEW BEST:: SOT 159774 SOS 81794 HAS SOPS 81794 HAS SOUS 19729 HAS SOUPS 19729 WITH SCORE 19810.794
AT ITER 7525 NEW BEST:: SOT 159778 SOS 81798 HAS SOPS 81798 HAS SOUS 19695 HAS SOUPS 19695 WITH SCORE 19776.798
AT ITER 7572 NEW BEST:: SOT 159795 SOS 81739 HAS SOPS 81739 HAS SOUS 19690 HAS SOUPS 19690 WITH SCORE 19771.739
AT ITER 7587 NEW BEST:: SOT 159795 SOS 81736 HAS SOPS 81736 HAS SOUS 19681 HAS SOUPS 19681 WITH SCORE 19762.736
AT ITER 7651 NEW BEST:: SOT 159764 SOS 81673 HAS SOPS 81673 HAS SOUS 19674 HAS SOUPS 19674 WITH SCORE 19755.673
AT ITER 7668 NEW BEST:: SOT 159750 SOS 82665 HAS SOPS 82665 HAS SOUS 19660 HAS SOUPS 19660 WITH SCORE 19742.665
AT ITER 7670 NEW BEST:: SOT 159741 SOS 82647 HAS SOPS 82647 HAS SOUS 19647 HAS SOUPS 19647 WITH SCORE 19729.647
AT ITER 7672 NEW BEST:: SOT 159729 SOS 82635 HAS SOPS 82635 HAS SOUS 19643 HAS SOUPS 19643 WITH SCORE 19725.635
AT ITER 7679 NEW BEST:: SOT 159705 SOS 82541 HAS SOPS 82541 HAS SOUS 19601 HAS SOUPS 19601 WITH SCORE 19683.541
AT ITER 7688 NEW BEST:: SOT 159834 SOS 82670 HAS SOPS 82670 HAS SOUS 19572 HAS SOUPS 19572 WITH SCORE 19654.67
AT ITER 7710 NEW BEST:: SOT 159867 SOS 82618 HAS SOPS 82618 HAS SOUS 19572 HAS SOUPS 19572 WITH SCORE 19654.618
AT ITER 7738 NEW BEST:: SOT 159869 SOS 82632 HAS SOPS 82632 HAS SOUS 19570 HAS SOUPS 19570 WITH SCORE 19652.632
AT ITER 7756 NEW BEST:: SOT 159843 SOS 82576 HAS SOPS 82576 HAS SOUS 19559 HAS SOUPS 19559 WITH SCORE 19641.576
AT ITER 7760 NEW BEST:: SOT 159780 SOS 82721 HAS SOPS 82721 HAS SOUS 19499 HAS SOUPS 19499 WITH SCORE 19581.721
AT ITER 7781 NEW BEST:: SOT 159774 SOS 82709 HAS SOPS 82709 HAS SOUS 19487 HAS SOUPS 19487 WITH SCORE 19569.709
AT ITER 7785 NEW BEST:: SOT 159768 SOS 82703 HAS SOPS 82703 HAS SOUS 19479 HAS SOUPS 19479 WITH SCORE 19561.703
AT ITER 7788 NEW BEST:: SOT 159759 SOS 82694 HAS SOPS 82694 HAS SOUS 19476 HAS SOUPS 19476 WITH SCORE 19558.694
AT ITER 7799 NEW BEST:: SOT 159764 SOS 82699 HAS SOPS 82699 HAS SOUS 19472 HAS SOUPS 19472 WITH SCORE 19554.699
AT ITER 7827 NEW BEST:: SOT 159762 SOS 82698 HAS SOPS 82698 HAS SOUS 19470 HAS SOUPS 19470 WITH SCORE 19552.698
AT ITER 7840 NEW BEST:: SOT 159718 SOS 82590 HAS SOPS 82590 HAS SOUS 19460 HAS SOUPS 19460 WITH SCORE 19542.59
AT ITER 7965 NEW BEST:: SOT 159716 SOS 82594 HAS SOPS 82594 HAS SOUS 19456 HAS SOUPS 19456 WITH SCORE 19538.594
AT ITER 7985 NEW BEST:: SOT 159714 SOS 82590 HAS SOPS 82590 HAS SOUS 19454 HAS SOUPS 19454 WITH SCORE 19536.59
AT ITER 8002 NEW BEST:: SOT 159710 SOS 82592 HAS SOPS 82592 HAS SOUS 19452 HAS SOUPS 19452 WITH SCORE 19534.592
AT ITER 8044 NEW BEST:: SOT 159700 SOS 82579 HAS SOPS 82579 HAS SOUS 19442 HAS SOUPS 19442 WITH SCORE 19524.579
AT ITER 8055 NEW BEST:: SOT 159700 SOS 82579 HAS SOPS 82579 HAS SOUS 19437 HAS SOUPS 19437 WITH SCORE 19519.579
AT ITER 8069 NEW BEST:: SOT 159688 SOS 82567 HAS SOPS 82567 HAS SOUS 19412 HAS SOUPS 19412 WITH SCORE 19494.567
AT ITER 8086 NEW BEST:: SOT 159689 SOS 82574 HAS SOPS 82574 HAS SOUS 19410 HAS SOUPS 19410 WITH SCORE 19492.574
AT ITER 8119 NEW BEST:: SOT 159643 SOS 82536 HAS SOPS 82536 HAS SOUS 19401 HAS SOUPS 19401 WITH SCORE 19483.536
AT ITER 8134 NEW BEST:: SOT 159643 SOS 82536 HAS SOPS 82536 HAS SOUS 19394 HAS SOUPS 19394 WITH SCORE 19476.536
AT ITER 8175 NEW BEST:: SOT 159639 SOS 82532 HAS SOPS 82532 HAS SOUS 19380 HAS SOUPS 19380 WITH SCORE 19462.532
AT ITER 8230 NEW BEST:: SOT 159629 SOS 82512 HAS SOPS 82512 HAS SOUS 19375 HAS SOUPS 19375 WITH SCORE 19457.512
AT ITER 8239 NEW BEST:: SOT 159629 SOS 82512 HAS SOPS 82512 HAS SOUS 19352 HAS SOUPS 19352 WITH SCORE 19434.512
AT ITER 8240 NEW BEST:: SOT 159587 SOS 82406 HAS SOPS 82406 HAS SOUS 19318 HAS SOUPS 19318 WITH SCORE 19400.406
AT ITER 8247 NEW BEST:: SOT 159593 SOS 82354 HAS SOPS 82354 HAS SOUS 19308 HAS SOUPS 19308 WITH SCORE 19390.354
AT ITER 8278 NEW BEST:: SOT 159532 SOS 82235 HAS SOPS 82235 HAS SOUS 19218 HAS SOUPS 19218 WITH SCORE 19300.235
AT ITER 8368 NEW BEST:: SOT 159532 SOS 82235 HAS SOPS 82235 HAS SOUS 19216 HAS SOUPS 19216 WITH SCORE 19298.235
AT ITER 8394 NEW BEST:: SOT 159528 SOS 82211 HAS SOPS 82211 HAS SOUS 19208 HAS SOUPS 19208 WITH SCORE 19290.211
AT ITER 8402 NEW BEST:: SOT 159521 SOS 82241 HAS SOPS 82241 HAS SOUS 19201 HAS SOUPS 19201 WITH SCORE 19283.241
AT ITER 8432 NEW BEST:: SOT 159544 SOS 82218 HAS SOPS 82218 HAS SOUS 19200 HAS SOUPS 19200 WITH SCORE 19282.218
AT ITER 8434 NEW BEST:: SOT 159507 SOS 82233 HAS SOPS 82233 HAS SOUS 19193 HAS SOUPS 19193 WITH SCORE 19275.233
AT ITER 8441 NEW BEST:: SOT 159508 SOS 82237 HAS SOPS 82237 HAS SOUS 19183 HAS SOUPS 19183 WITH SCORE 19265.237
AT ITER 8461 NEW BEST:: SOT 159493 SOS 82273 HAS SOPS 82273 HAS SOUS 19168 HAS SOUPS 19168 WITH SCORE 19250.273
AT ITER 8523 NEW BEST:: SOT 159496 SOS 82291 HAS SOPS 82291 HAS SOUS 19167 HAS SOUPS 19167 WITH SCORE 19249.291
AT ITER 8558 NEW BEST:: SOT 159334 SOS 81966 HAS SOPS 81966 HAS SOUS 19140 HAS SOUPS 19140 WITH SCORE 19221.966
AT ITER 8561 NEW BEST:: SOT 159330 SOS 81954 HAS SOPS 81954 HAS SOUS 19140 HAS SOUPS 19140 WITH SCORE 19221.954
AT ITER 8569 NEW BEST:: SOT 159330 SOS 81984 HAS SOPS 81984 HAS SOUS 19125 HAS SOUPS 19125 WITH SCORE 19206.984
AT ITER 8575 NEW BEST:: SOT 159330 SOS 81982 HAS SOPS 81982 HAS SOUS 19124 HAS SOUPS 19124 WITH SCORE 19205.982
AT ITER 8578 NEW BEST:: SOT 159279 SOS 81928 HAS SOPS 81928 HAS SOUS 19051 HAS SOUPS 19051 WITH SCORE 19132.928
AT ITER 8596 NEW BEST:: SOT 159303 SOS 80898 HAS SOPS 80898 HAS SOUS 19052 HAS SOUPS 19052 WITH SCORE 19132.898
AT ITER 8597 NEW BEST:: SOT 159296 SOS 80891 HAS SOPS 80891 HAS SOUS 19049 HAS SOUPS 19049 WITH SCORE 19129.891
AT ITER 8612 NEW BEST:: SOT 159287 SOS 81202 HAS SOPS 81202 HAS SOUS 19044 HAS SOUPS 19044 WITH SCORE 19125.202
AT ITER 8613 NEW BEST:: SOT 159293 SOS 81206 HAS SOPS 81206 HAS SOUS 19020 HAS SOUPS 19020 WITH SCORE 19101.206
AT ITER 8640 NEW BEST:: SOT 159294 SOS 80917 HAS SOPS 80917 HAS SOUS 19008 HAS SOUPS 19008 WITH SCORE 19088.917
AT ITER 8658 NEW BEST:: SOT 159269 SOS 80932 HAS SOPS 80932 HAS SOUS 19001 HAS SOUPS 19001 WITH SCORE 19081.932
AT ITER 8667 NEW BEST:: SOT 159217 SOS 80880 HAS SOPS 80880 HAS SOUS 18924 HAS SOUPS 18924 WITH SCORE 19004.88
AT ITER 8694 NEW BEST:: SOT 159205 SOS 80862 HAS SOPS 80862 HAS SOUS 18914 HAS SOUPS 18914 WITH SCORE 18994.862
AT ITER 8733 NEW BEST:: SOT 159172 SOS 80884 HAS SOPS 80884 HAS SOUS 18903 HAS SOUPS 18903 WITH SCORE 18983.884
AT ITER 8745 NEW BEST:: SOT 159171 SOS 80883 HAS SOPS 80883 HAS SOUS 18902 HAS SOUPS 18902 WITH SCORE 18982.883
AT ITER 8758 NEW BEST:: SOT 159155 SOS 80831 HAS SOPS 80831 HAS SOUS 18877 HAS SOUPS 18877 WITH SCORE 18957.831
AT ITER 8770 NEW BEST:: SOT 159151 SOS 80701 HAS SOPS 80701 HAS SOUS 18809 HAS SOUPS 18809 WITH SCORE 18889.701
AT ITER 8821 NEW BEST:: SOT 159149 SOS 80699 HAS SOPS 80699 HAS SOUS 18807 HAS SOUPS 18807 WITH SCORE 18887.699
AT ITER 8836 NEW BEST:: SOT 159151 SOS 80699 HAS SOPS 80699 HAS SOUS 18805 HAS SOUPS 18805 WITH SCORE 18885.699
AT ITER 8885 NEW BEST:: SOT 159098 SOS 80646 HAS SOPS 80646 HAS SOUS 18772 HAS SOUPS 18772 WITH SCORE 18852.646
AT ITER 8915 NEW BEST:: SOT 159098 SOS 80646 HAS SOPS 80646 HAS SOUS 18770 HAS SOUPS 18770 WITH SCORE 18850.646
AT ITER 8918 NEW BEST:: SOT 159082 SOS 80632 HAS SOPS 80632 HAS SOUS 18752 HAS SOUPS 18752 WITH SCORE 18832.632
AT ITER 8959 NEW BEST:: SOT 159080 SOS 80571 HAS SOPS 80571 HAS SOUS 18693 HAS SOUPS 18693 WITH SCORE 18773.571
AT ITER 8969 NEW BEST:: SOT 159057 SOS 80571 HAS SOPS 80571 HAS SOUS 18647 HAS SOUPS 18647 WITH SCORE 18727.571
AT ITER 8989 NEW BEST:: SOT 159025 SOS 80559 HAS SOPS 80559 HAS SOUS 18628 HAS SOUPS 18628 WITH SCORE 18708.559
AT ITER 8991 NEW BEST:: SOT 158963 SOS 80470 HAS SOPS 80470 HAS SOUS 18605 HAS SOUPS 18605 WITH SCORE 18685.47
AT ITER 9023 NEW BEST:: SOT 158955 SOS 80453 HAS SOPS 80453 HAS SOUS 18597 HAS SOUPS 18597 WITH SCORE 18677.453
AT ITER 9041 NEW BEST:: SOT 158938 SOS 80423 HAS SOPS 80423 HAS SOUS 18580 HAS SOUPS 18580 WITH SCORE 18660.423
AT ITER 9049 NEW BEST:: SOT 158897 SOS 80376 HAS SOPS 80376 HAS SOUS 18572 HAS SOUPS 18572 WITH SCORE 18652.376
AT ITER 9058 NEW BEST:: SOT 158820 SOS 80222 HAS SOPS 80222 HAS SOUS 18561 HAS SOUPS 18561 WITH SCORE 18641.222
AT ITER 9092 NEW BEST:: SOT 158819 SOS 80223 HAS SOPS 80223 HAS SOUS 18560 HAS SOUPS 18560 WITH SCORE 18640.223
AT ITER 9115 NEW BEST:: SOT 158840 SOS 80244 HAS SOPS 80244 HAS SOUS 18538 HAS SOUPS 18538 WITH SCORE 18618.244
AT ITER 9146 NEW BEST:: SOT 158811 SOS 80216 HAS SOPS 80216 HAS SOUS 18522 HAS SOUPS 18522 WITH SCORE 18602.216
AT ITER 9174 NEW BEST:: SOT 158845 SOS 80250 HAS SOPS 80250 HAS SOUS 18514 HAS SOUPS 18514 WITH SCORE 18594.25
AT ITER 9181 NEW BEST:: SOT 158825 SOS 80200 HAS SOPS 80200 HAS SOUS 18509 HAS SOUPS 18509 WITH SCORE 18589.2
AT ITER 9192 NEW BEST:: SOT 158771 SOS 80096 HAS SOPS 80096 HAS SOUS 18457 HAS SOUPS 18457 WITH SCORE 18537.096
AT ITER 9202 NEW BEST:: SOT 158714 SOS 80039 HAS SOPS 80039 HAS SOUS 18447 HAS SOUPS 18447 WITH SCORE 18527.039
AT ITER 9220 NEW BEST:: SOT 158680 SOS 79973 HAS SOPS 79973 HAS SOUS 18437 HAS SOUPS 18437 WITH SCORE 18516.973
AT ITER 9248 NEW BEST:: SOT 158658 SOS 79947 HAS SOPS 79947 HAS SOUS 18427 HAS SOUPS 18427 WITH SCORE 18506.947
AT ITER 9330 NEW BEST:: SOT 158670 SOS 79911 HAS SOPS 79911 HAS SOUS 18424 HAS SOUPS 18424 WITH SCORE 18503.911
AT ITER 9440 NEW BEST:: SOT 158582 SOS 79823 HAS SOPS 79823 HAS SOUS 18412 HAS SOUPS 18412 WITH SCORE 18491.823
AT ITER 9445 NEW BEST:: SOT 158570 SOS 79807 HAS SOPS 79807 HAS SOUS 18400 HAS SOUPS 18400 WITH SCORE 18479.807
AT ITER 9462 NEW BEST:: SOT 158552 SOS 79819 HAS SOPS 79819 HAS SOUS 18390 HAS SOUPS 18390 WITH SCORE 18469.819
AT ITER 9464 NEW BEST:: SOT 158460 SOS 79701 HAS SOPS 79701 HAS SOUS 18263 HAS SOUPS 18263 WITH SCORE 18342.701
AT ITER 9465 NEW BEST:: SOT 158436 SOS 79649 HAS SOPS 79649 HAS SOUS 18213 HAS SOUPS 18213 WITH SCORE 18292.649
AT ITER 9477 NEW BEST:: SOT 158441 SOS 79693 HAS SOPS 79693 HAS SOUS 18195 HAS SOUPS 18195 WITH SCORE 18274.693
AT ITER 9480 NEW BEST:: SOT 158435 SOS 79685 HAS SOPS 79685 HAS SOUS 18189 HAS SOUPS 18189 WITH SCORE 18268.685
AT ITER 9483 NEW BEST:: SOT 158431 SOS 79679 HAS SOPS 79679 HAS SOUS 18168 HAS SOUPS 18168 WITH SCORE 18247.679
AT ITER 9498 NEW BEST:: SOT 158427 SOS 79667 HAS SOPS 79667 HAS SOUS 18162 HAS SOUPS 18162 WITH SCORE 18241.667
AT ITER 9508 NEW BEST:: SOT 158393 SOS 79641 HAS SOPS 79641 HAS SOUS 18107 HAS SOUPS 18107 WITH SCORE 18186.641
AT ITER 9509 NEW BEST:: SOT 158394 SOS 79636 HAS SOPS 79636 HAS SOUS 18107 HAS SOUPS 18107 WITH SCORE 18186.636
AT ITER 9517 NEW BEST:: SOT 158409 SOS 79651 HAS SOPS 79651 HAS SOUS 18093 HAS SOUPS 18093 WITH SCORE 18172.651
AT ITER 9546 NEW BEST:: SOT 158396 SOS 79653 HAS SOPS 79653 HAS SOUS 18080 HAS SOUPS 18080 WITH SCORE 18159.653
AT ITER 9586 NEW BEST:: SOT 158396 SOS 79623 HAS SOPS 79623 HAS SOUS 18065 HAS SOUPS 18065 WITH SCORE 18144.623
AT ITER 9587 NEW BEST:: SOT 158364 SOS 79583 HAS SOPS 79583 HAS SOUS 18059 HAS SOUPS 18059 WITH SCORE 18138.583
AT ITER 9592 NEW BEST:: SOT 158331 SOS 80629 HAS SOPS 80629 HAS SOUS 18029 HAS SOUPS 18029 WITH SCORE 18109.629
AT ITER 9598 NEW BEST:: SOT 158331 SOS 80621 HAS SOPS 80621 HAS SOUS 18025 HAS SOUPS 18025 WITH SCORE 18105.621
AT ITER 9638 NEW BEST:: SOT 158326 SOS 80571 HAS SOPS 80571 HAS SOUS 18020 HAS SOUPS 18020 WITH SCORE 18100.571
AT ITER 9672 NEW BEST:: SOT 158300 SOS 80537 HAS SOPS 80537 HAS SOUS 17996 HAS SOUPS 17996 WITH SCORE 18076.537
AT ITER 9689 NEW BEST:: SOT 158234 SOS 80471 HAS SOPS 80471 HAS SOUS 17947 HAS SOUPS 17947 WITH SCORE 18027.471
AT ITER 9699 NEW BEST:: SOT 158232 SOS 80453 HAS SOPS 80453 HAS SOUS 17938 HAS SOUPS 17938 WITH SCORE 18018.453
AT ITER 9724 NEW BEST:: SOT 158226 SOS 80447 HAS SOPS 80447 HAS SOUS 17929 HAS SOUPS 17929 WITH SCORE 18009.447
AT ITER 9730 NEW BEST:: SOT 158222 SOS 80447 HAS SOPS 80447 HAS SOUS 17921 HAS SOUPS 17921 WITH SCORE 18001.447
AT ITER 9732 NEW BEST:: SOT 158221 SOS 80463 HAS SOPS 80463 HAS SOUS 17892 HAS SOUPS 17892 WITH SCORE 17972.463
AT ITER 9779 NEW BEST:: SOT 158201 SOS 80435 HAS SOPS 80435 HAS SOUS 17880 HAS SOUPS 17880 WITH SCORE 17960.435
AT ITER 9839 NEW BEST:: SOT 158172 SOS 80403 HAS SOPS 80403 HAS SOUS 17863 HAS SOUPS 17863 WITH SCORE 17943.403
AT ITER 9937 NEW BEST:: SOT 158147 SOS 80361 HAS SOPS 80361 HAS SOUS 17804 HAS SOUPS 17804 WITH SCORE 17884.361
AT ITER 9965 NEW BEST:: SOT 158126 SOS 80327 HAS SOPS 80327 HAS SOUS 17777 HAS SOUPS 17777 WITH SCORE 17857.327
AT ITER 9968 NEW BEST:: SOT 158108 SOS 80321 HAS SOPS 80321 HAS SOUS 17759 HAS SOUPS 17759 WITH SCORE 17839.321
AT ITER 9984 NEW BEST:: SOT 158096 SOS 80309 HAS SOPS 80309 HAS SOUS 17741 HAS SOUPS 17741 WITH SCORE 17821.309
AT ITER 9994 NEW BEST:: SOT 158098 SOS 80303 HAS SOPS 80303 HAS SOUS 17741 HAS SOUPS 17741 WITH SCORE 17821.303
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 998080 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16152684 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

tar xzf /home/mcc/BenchKit/INPUTS/UtilityControlRoom-PT-Z4T4N10.tgz
mv UtilityControlRoom-PT-Z4T4N10 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;