About the Execution of Smart for NoC3x3-PT-4A
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16225.151 | 3002902.00 | 2994388.00 | 7177.90 | [undef] | Cannot compute |
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.r259-smll-167863534300280.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 NoC3x3-PT-4A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534300280
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 10:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 10:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 10:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 10:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 10:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 10:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 144K 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 1678737984369
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=NoC3x3-PT-4A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 4A
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: 293 places, 608 transitions, 1905 arcs.
AT ITER 0 NEW BEST:: SOT 122164 SOS 105332 HAS SOPS 105332 HAS SOUS 53376 HAS SOUPS 53376 WITH SCORE 53481.332
AT ITER 2 NEW BEST:: SOT 121824 SOS 105068 HAS SOPS 105068 HAS SOUS 53339 HAS SOUPS 53339 WITH SCORE 53444.068
AT ITER 3 NEW BEST:: SOT 121565 SOS 104809 HAS SOPS 104809 HAS SOUS 53205 HAS SOUPS 53205 WITH SCORE 53309.809
AT ITER 4 NEW BEST:: SOT 121790 SOS 104350 HAS SOPS 104350 HAS SOUS 52774 HAS SOUPS 52774 WITH SCORE 52878.35
AT ITER 8 NEW BEST:: SOT 121880 SOS 104320 HAS SOPS 104320 HAS SOUS 52774 HAS SOUPS 52774 WITH SCORE 52878.32
AT ITER 9 NEW BEST:: SOT 121123 SOS 103563 HAS SOPS 103563 HAS SOUS 52445 HAS SOUPS 52445 WITH SCORE 52548.563
AT ITER 10 NEW BEST:: SOT 121473 SOS 103573 HAS SOPS 103573 HAS SOUS 52379 HAS SOUPS 52379 WITH SCORE 52482.573
AT ITER 13 NEW BEST:: SOT 121756 SOS 103494 HAS SOPS 103494 HAS SOUS 52227 HAS SOUPS 52227 WITH SCORE 52330.494
AT ITER 14 NEW BEST:: SOT 121618 SOS 103356 HAS SOPS 103356 HAS SOUS 52153 HAS SOUPS 52153 WITH SCORE 52256.356
AT ITER 17 NEW BEST:: SOT 121274 SOS 103012 HAS SOPS 103012 HAS SOUS 51852 HAS SOUPS 51852 WITH SCORE 51955.012
AT ITER 23 NEW BEST:: SOT 121486 SOS 102715 HAS SOPS 102715 HAS SOUS 51841 HAS SOUPS 51841 WITH SCORE 51943.715
AT ITER 27 NEW BEST:: SOT 120942 SOS 102171 HAS SOPS 102171 HAS SOUS 51611 HAS SOUPS 51611 WITH SCORE 51713.171
AT ITER 31 NEW BEST:: SOT 120541 SOS 102046 HAS SOPS 102046 HAS SOUS 51555 HAS SOUPS 51555 WITH SCORE 51657.046
AT ITER 34 NEW BEST:: SOT 119846 SOS 101351 HAS SOPS 101351 HAS SOUS 51268 HAS SOUPS 51268 WITH SCORE 51369.351
AT ITER 38 NEW BEST:: SOT 119458 SOS 100963 HAS SOPS 100963 HAS SOUS 50874 HAS SOUPS 50874 WITH SCORE 50974.963
AT ITER 40 NEW BEST:: SOT 119510 SOS 100885 HAS SOPS 100885 HAS SOUS 50874 HAS SOUPS 50874 WITH SCORE 50974.885
AT ITER 45 NEW BEST:: SOT 118384 SOS 99759 HAS SOPS 99759 HAS SOUS 50320 HAS SOUPS 50320 WITH SCORE 50419.759
AT ITER 50 NEW BEST:: SOT 118221 SOS 99596 HAS SOPS 99596 HAS SOUS 50242 HAS SOUPS 50242 WITH SCORE 50341.596
AT ITER 51 NEW BEST:: SOT 117928 SOS 99303 HAS SOPS 99303 HAS SOUS 50224 HAS SOUPS 50224 WITH SCORE 50323.303
AT ITER 52 NEW BEST:: SOT 117990 SOS 99365 HAS SOPS 99365 HAS SOUS 50098 HAS SOUPS 50098 WITH SCORE 50197.365
AT ITER 53 NEW BEST:: SOT 117374 SOS 98765 HAS SOPS 98765 HAS SOUS 49767 HAS SOUPS 49767 WITH SCORE 49865.765
AT ITER 54 NEW BEST:: SOT 117090 SOS 98481 HAS SOPS 98481 HAS SOUS 49462 HAS SOUPS 49462 WITH SCORE 49560.481
AT ITER 62 NEW BEST:: SOT 116800 SOS 98191 HAS SOPS 98191 HAS SOUS 49302 HAS SOUPS 49302 WITH SCORE 49400.191
AT ITER 63 NEW BEST:: SOT 116200 SOS 97591 HAS SOPS 97591 HAS SOUS 48911 HAS SOUPS 48911 WITH SCORE 49008.591
AT ITER 65 NEW BEST:: SOT 116243 SOS 97634 HAS SOPS 97634 HAS SOUS 48868 HAS SOUPS 48868 WITH SCORE 48965.634
AT ITER 69 NEW BEST:: SOT 116276 SOS 97667 HAS SOPS 97667 HAS SOUS 48862 HAS SOUPS 48862 WITH SCORE 48959.667
AT ITER 73 NEW BEST:: SOT 116307 SOS 97308 HAS SOPS 97308 HAS SOUS 48862 HAS SOUPS 48862 WITH SCORE 48959.308
AT ITER 75 NEW BEST:: SOT 116834 SOS 96736 HAS SOPS 96736 HAS SOUS 48705 HAS SOUPS 48705 WITH SCORE 48801.736
AT ITER 83 NEW BEST:: SOT 116181 SOS 95061 HAS SOPS 95061 HAS SOUS 48066 HAS SOUPS 48066 WITH SCORE 48161.061
AT ITER 84 NEW BEST:: SOT 115739 SOS 94619 HAS SOPS 94619 HAS SOUS 47565 HAS SOUPS 47565 WITH SCORE 47659.619
AT ITER 85 NEW BEST:: SOT 115751 SOS 94280 HAS SOPS 94280 HAS SOUS 47563 HAS SOUPS 47563 WITH SCORE 47657.28
AT ITER 89 NEW BEST:: SOT 115751 SOS 94280 HAS SOPS 94280 HAS SOUS 47547 HAS SOUPS 47547 WITH SCORE 47641.28
AT ITER 92 NEW BEST:: SOT 115817 SOS 94346 HAS SOPS 94346 HAS SOUS 47544 HAS SOUPS 47544 WITH SCORE 47638.346
AT ITER 94 NEW BEST:: SOT 115552 SOS 94081 HAS SOPS 94081 HAS SOUS 47130 HAS SOUPS 47130 WITH SCORE 47224.081
AT ITER 102 NEW BEST:: SOT 115543 SOS 94039 HAS SOPS 94039 HAS SOUS 47130 HAS SOUPS 47130 WITH SCORE 47224.039
AT ITER 105 NEW BEST:: SOT 115603 SOS 93803 HAS SOPS 93803 HAS SOUS 47116 HAS SOUPS 47116 WITH SCORE 47209.803
AT ITER 109 NEW BEST:: SOT 115551 SOS 93751 HAS SOPS 93751 HAS SOUS 47014 HAS SOUPS 47014 WITH SCORE 47107.751
AT ITER 110 NEW BEST:: SOT 115533 SOS 93733 HAS SOPS 93733 HAS SOUS 46978 HAS SOUPS 46978 WITH SCORE 47071.733
AT ITER 112 NEW BEST:: SOT 115322 SOS 93130 HAS SOPS 93130 HAS SOUS 46544 HAS SOUPS 46544 WITH SCORE 46637.13
AT ITER 113 NEW BEST:: SOT 115915 SOS 93093 HAS SOPS 93093 HAS SOUS 46466 HAS SOUPS 46466 WITH SCORE 46559.093
AT ITER 114 NEW BEST:: SOT 114654 SOS 91832 HAS SOPS 91832 HAS SOUS 45932 HAS SOUPS 45932 WITH SCORE 46023.832
AT ITER 115 NEW BEST:: SOT 114594 SOS 91772 HAS SOPS 91772 HAS SOUS 45896 HAS SOUPS 45896 WITH SCORE 45987.772
AT ITER 120 NEW BEST:: SOT 114066 SOS 91244 HAS SOPS 91244 HAS SOUS 45608 HAS SOUPS 45608 WITH SCORE 45699.244
AT ITER 121 NEW BEST:: SOT 114190 SOS 90211 HAS SOPS 90211 HAS SOUS 45425 HAS SOUPS 45425 WITH SCORE 45515.211
AT ITER 123 NEW BEST:: SOT 113865 SOS 89886 HAS SOPS 89886 HAS SOUS 45016 HAS SOUPS 45016 WITH SCORE 45105.886
AT ITER 127 NEW BEST:: SOT 113652 SOS 89673 HAS SOPS 89673 HAS SOUS 44799 HAS SOUPS 44799 WITH SCORE 44888.673
AT ITER 128 NEW BEST:: SOT 114323 SOS 89692 HAS SOPS 89692 HAS SOUS 44782 HAS SOUPS 44782 WITH SCORE 44871.692
AT ITER 129 NEW BEST:: SOT 114310 SOS 89679 HAS SOPS 89679 HAS SOUS 44756 HAS SOUPS 44756 WITH SCORE 44845.679
AT ITER 132 NEW BEST:: SOT 114309 SOS 89678 HAS SOPS 89678 HAS SOUS 44756 HAS SOUPS 44756 WITH SCORE 44845.678
AT ITER 136 NEW BEST:: SOT 114136 SOS 89505 HAS SOPS 89505 HAS SOUS 44661 HAS SOUPS 44661 WITH SCORE 44750.505
AT ITER 142 NEW BEST:: SOT 114134 SOS 89503 HAS SOPS 89503 HAS SOUS 44594 HAS SOUPS 44594 WITH SCORE 44683.503
AT ITER 144 NEW BEST:: SOT 114430 SOS 89138 HAS SOPS 89079 HAS SOUS 44593 HAS SOUPS 44534 WITH SCORE 44623.138
AT ITER 149 NEW BEST:: SOT 114145 SOS 88853 HAS SOPS 88794 HAS SOUS 44424 HAS SOUPS 44365 WITH SCORE 44453.853
AT ITER 152 NEW BEST:: SOT 114145 SOS 88835 HAS SOPS 88776 HAS SOUS 44424 HAS SOUPS 44365 WITH SCORE 44453.835
AT ITER 157 NEW BEST:: SOT 114211 SOS 86782 HAS SOPS 86723 HAS SOUS 44139 HAS SOUPS 44080 WITH SCORE 44166.782
AT ITER 160 NEW BEST:: SOT 114211 SOS 86762 HAS SOPS 86703 HAS SOUS 44139 HAS SOUPS 44080 WITH SCORE 44166.762
AT ITER 163 NEW BEST:: SOT 114043 SOS 86594 HAS SOPS 86535 HAS SOUS 44053 HAS SOUPS 43994 WITH SCORE 44080.594
AT ITER 166 NEW BEST:: SOT 113757 SOS 86308 HAS SOPS 86249 HAS SOUS 43994 HAS SOUPS 43935 WITH SCORE 44021.308
AT ITER 167 NEW BEST:: SOT 113154 SOS 85614 HAS SOPS 85555 HAS SOUS 43849 HAS SOUPS 43790 WITH SCORE 43875.614
AT ITER 168 NEW BEST:: SOT 113464 SOS 84146 HAS SOPS 83895 HAS SOUS 43897 HAS SOUPS 43646 WITH SCORE 43730.146
AT ITER 172 NEW BEST:: SOT 113507 SOS 84189 HAS SOPS 83938 HAS SOUS 43888 HAS SOUPS 43637 WITH SCORE 43721.189
AT ITER 174 NEW BEST:: SOT 113578 SOS 84260 HAS SOPS 84009 HAS SOUS 43871 HAS SOUPS 43620 WITH SCORE 43704.26
AT ITER 177 NEW BEST:: SOT 113484 SOS 83771 HAS SOPS 83379 HAS SOUS 43683 HAS SOUPS 43291 WITH SCORE 43374.771
AT ITER 179 NEW BEST:: SOT 113475 SOS 83762 HAS SOPS 83370 HAS SOUS 43665 HAS SOUPS 43273 WITH SCORE 43356.762
AT ITER 182 NEW BEST:: SOT 113894 SOS 83920 HAS SOPS 83528 HAS SOUS 43652 HAS SOUPS 43260 WITH SCORE 43343.92
AT ITER 187 NEW BEST:: SOT 113995 SOS 83480 HAS SOPS 83088 HAS SOUS 43652 HAS SOUPS 43260 WITH SCORE 43343.48
AT ITER 188 NEW BEST:: SOT 113464 SOS 82949 HAS SOPS 82557 HAS SOUS 43568 HAS SOUPS 43176 WITH SCORE 43258.949
AT ITER 192 NEW BEST:: SOT 113401 SOS 81233 HAS SOPS 80841 HAS SOUS 43327 HAS SOUPS 42935 WITH SCORE 43016.233
AT ITER 196 NEW BEST:: SOT 113361 SOS 81207 HAS SOPS 80815 HAS SOUS 43327 HAS SOUPS 42935 WITH SCORE 43016.207
AT ITER 202 NEW BEST:: SOT 113340 SOS 81201 HAS SOPS 80809 HAS SOUS 43321 HAS SOUPS 42929 WITH SCORE 43010.201
AT ITER 205 NEW BEST:: SOT 113303 SOS 80794 HAS SOPS 80402 HAS SOUS 43321 HAS SOUPS 42929 WITH SCORE 43009.794
AT ITER 210 NEW BEST:: SOT 113123 SOS 80356 HAS SOPS 79964 HAS SOUS 43303 HAS SOUPS 42911 WITH SCORE 42991.356
AT ITER 211 NEW BEST:: SOT 112942 SOS 80175 HAS SOPS 79783 HAS SOUS 43181 HAS SOUPS 42789 WITH SCORE 42869.175
AT ITER 213 NEW BEST:: SOT 112293 SOS 79780 HAS SOPS 79388 HAS SOUS 42995 HAS SOUPS 42603 WITH SCORE 42682.78
AT ITER 215 NEW BEST:: SOT 112093 SOS 79824 HAS SOPS 79432 HAS SOUS 42960 HAS SOUPS 42568 WITH SCORE 42647.824
AT ITER 220 NEW BEST:: SOT 112729 SOS 79501 HAS SOPS 79109 HAS SOUS 42816 HAS SOUPS 42424 WITH SCORE 42503.501
AT ITER 226 NEW BEST:: SOT 112564 SOS 79336 HAS SOPS 78944 HAS SOUS 42665 HAS SOUPS 42273 WITH SCORE 42352.336
AT ITER 227 NEW BEST:: SOT 112600 SOS 79198 HAS SOPS 78806 HAS SOUS 42614 HAS SOUPS 42222 WITH SCORE 42301.198
AT ITER 228 NEW BEST:: SOT 112326 SOS 79036 HAS SOPS 78644 HAS SOUS 42456 HAS SOUPS 42064 WITH SCORE 42143.036
AT ITER 232 NEW BEST:: SOT 112240 SOS 79036 HAS SOPS 78644 HAS SOUS 42316 HAS SOUPS 41924 WITH SCORE 42003.036
AT ITER 235 NEW BEST:: SOT 111967 SOS 77834 HAS SOPS 77442 HAS SOUS 41976 HAS SOUPS 41584 WITH SCORE 41661.834
AT ITER 236 NEW BEST:: SOT 111931 SOS 76270 HAS SOPS 75878 HAS SOUS 41888 HAS SOUPS 41496 WITH SCORE 41572.27
AT ITER 241 NEW BEST:: SOT 111931 SOS 76270 HAS SOPS 75878 HAS SOUS 41872 HAS SOUPS 41480 WITH SCORE 41556.27
AT ITER 245 NEW BEST:: SOT 111818 SOS 76157 HAS SOPS 75765 HAS SOUS 41704 HAS SOUPS 41312 WITH SCORE 41388.157
AT ITER 250 NEW BEST:: SOT 111827 SOS 76169 HAS SOPS 75777 HAS SOUS 41701 HAS SOUPS 41309 WITH SCORE 41385.169
AT ITER 256 NEW BEST:: SOT 111180 SOS 75683 HAS SOPS 75291 HAS SOUS 41625 HAS SOUPS 41233 WITH SCORE 41308.683
AT ITER 260 NEW BEST:: SOT 111506 SOS 75407 HAS SOPS 75015 HAS SOUS 41618 HAS SOUPS 41226 WITH SCORE 41301.407
AT ITER 261 NEW BEST:: SOT 111385 SOS 75286 HAS SOPS 74894 HAS SOUS 41551 HAS SOUPS 41159 WITH SCORE 41234.286
AT ITER 264 NEW BEST:: SOT 111402 SOS 75280 HAS SOPS 74888 HAS SOUS 41482 HAS SOUPS 41090 WITH SCORE 41165.28
AT ITER 266 NEW BEST:: SOT 111297 SOS 74254 HAS SOPS 73862 HAS SOUS 41062 HAS SOUPS 40670 WITH SCORE 40744.254
AT ITER 268 NEW BEST:: SOT 111139 SOS 74340 HAS SOPS 73948 HAS SOUS 41053 HAS SOUPS 40661 WITH SCORE 40735.34
AT ITER 271 NEW BEST:: SOT 110586 SOS 73851 HAS SOPS 73459 HAS SOUS 40545 HAS SOUPS 40153 WITH SCORE 40226.851
AT ITER 274 NEW BEST:: SOT 110594 SOS 73839 HAS SOPS 73447 HAS SOUS 40545 HAS SOUPS 40153 WITH SCORE 40226.839
AT ITER 281 NEW BEST:: SOT 110027 SOS 73272 HAS SOPS 72880 HAS SOUS 40149 HAS SOUPS 39757 WITH SCORE 39830.272
AT ITER 284 NEW BEST:: SOT 109762 SOS 73021 HAS SOPS 72629 HAS SOUS 39908 HAS SOUPS 39516 WITH SCORE 39589.021
AT ITER 285 NEW BEST:: SOT 109579 SOS 72835 HAS SOPS 72446 HAS SOUS 39839 HAS SOUPS 39460 WITH SCORE 39532.835
AT ITER 286 NEW BEST:: SOT 109695 SOS 72865 HAS SOPS 72476 HAS SOUS 39782 HAS SOUPS 39403 WITH SCORE 39475.865
AT ITER 289 NEW BEST:: SOT 109569 SOS 72739 HAS SOPS 72350 HAS SOUS 39718 HAS SOUPS 39339 WITH SCORE 39411.739
AT ITER 293 NEW BEST:: SOT 108793 SOS 71945 HAS SOPS 71556 HAS SOUS 39346 HAS SOUPS 38967 WITH SCORE 39038.945
AT ITER 294 NEW BEST:: SOT 108571 SOS 71748 HAS SOPS 71359 HAS SOUS 39052 HAS SOUPS 38673 WITH SCORE 38744.748
AT ITER 296 NEW BEST:: SOT 108505 SOS 71902 HAS SOPS 71513 HAS SOUS 39046 HAS SOUPS 38667 WITH SCORE 38738.902
AT ITER 297 NEW BEST:: SOT 108505 SOS 71964 HAS SOPS 71575 HAS SOUS 39042 HAS SOUPS 38663 WITH SCORE 38734.964
AT ITER 298 NEW BEST:: SOT 108499 SOS 71958 HAS SOPS 71569 HAS SOUS 39027 HAS SOUPS 38648 WITH SCORE 38719.958
AT ITER 301 NEW BEST:: SOT 108230 SOS 71689 HAS SOPS 71300 HAS SOUS 38897 HAS SOUPS 38518 WITH SCORE 38589.689
AT ITER 303 NEW BEST:: SOT 108238 SOS 71697 HAS SOPS 71308 HAS SOUS 38869 HAS SOUPS 38490 WITH SCORE 38561.697
AT ITER 312 NEW BEST:: SOT 107502 SOS 70985 HAS SOPS 70596 HAS SOUS 38359 HAS SOUPS 37980 WITH SCORE 38050.985
AT ITER 313 NEW BEST:: SOT 107523 SOS 70970 HAS SOPS 70581 HAS SOUS 38243 HAS SOUPS 37864 WITH SCORE 37934.97
AT ITER 316 NEW BEST:: SOT 107783 SOS 70815 HAS SOPS 70426 HAS SOUS 38243 HAS SOUPS 37864 WITH SCORE 37934.815
AT ITER 317 NEW BEST:: SOT 107783 SOS 69435 HAS SOPS 69046 HAS SOUS 38243 HAS SOUPS 37864 WITH SCORE 37933.435
AT ITER 328 NEW BEST:: SOT 107813 SOS 69369 HAS SOPS 68980 HAS SOUS 38243 HAS SOUPS 37864 WITH SCORE 37933.369
AT ITER 329 NEW BEST:: SOT 107850 SOS 69332 HAS SOPS 68943 HAS SOUS 38142 HAS SOUPS 37763 WITH SCORE 37832.332
AT ITER 330 NEW BEST:: SOT 107926 SOS 69332 HAS SOPS 68943 HAS SOUS 38123 HAS SOUPS 37744 WITH SCORE 37813.332
AT ITER 335 NEW BEST:: SOT 107870 SOS 69276 HAS SOPS 68887 HAS SOUS 38099 HAS SOUPS 37720 WITH SCORE 37789.276
AT ITER 339 NEW BEST:: SOT 107937 SOS 69289 HAS SOPS 68900 HAS SOUS 38032 HAS SOUPS 37653 WITH SCORE 37722.289
AT ITER 340 NEW BEST:: SOT 107936 SOS 69279 HAS SOPS 68890 HAS SOUS 38031 HAS SOUPS 37652 WITH SCORE 37721.279
AT ITER 341 NEW BEST:: SOT 107867 SOS 69210 HAS SOPS 68821 HAS SOUS 38021 HAS SOUPS 37642 WITH SCORE 37711.21
AT ITER 344 NEW BEST:: SOT 107317 SOS 68620 HAS SOPS 68231 HAS SOUS 37430 HAS SOUPS 37051 WITH SCORE 37119.62
AT ITER 346 NEW BEST:: SOT 107317 SOS 68582 HAS SOPS 68193 HAS SOUS 37430 HAS SOUPS 37051 WITH SCORE 37119.582
AT ITER 350 NEW BEST:: SOT 107271 SOS 68536 HAS SOPS 68147 HAS SOUS 37384 HAS SOUPS 37005 WITH SCORE 37073.536
AT ITER 358 NEW BEST:: SOT 107822 SOS 68500 HAS SOPS 68037 HAS SOUS 37431 HAS SOUPS 36978 WITH SCORE 37046.5
AT ITER 363 NEW BEST:: SOT 107891 SOS 68454 HAS SOPS 67968 HAS SOUS 37431 HAS SOUPS 36955 WITH SCORE 37023.454
AT ITER 364 NEW BEST:: SOT 107907 SOS 68454 HAS SOPS 67968 HAS SOUS 37423 HAS SOUPS 36947 WITH SCORE 37015.454
AT ITER 368 NEW BEST:: SOT 107886 SOS 68433 HAS SOPS 67947 HAS SOUS 37391 HAS SOUPS 36915 WITH SCORE 36983.433
AT ITER 375 NEW BEST:: SOT 107476 SOS 68023 HAS SOPS 67537 HAS SOUS 37261 HAS SOUPS 36785 WITH SCORE 36853.023
AT ITER 378 NEW BEST:: SOT 107474 SOS 68008 HAS SOPS 67522 HAS SOUS 37258 HAS SOUPS 36782 WITH SCORE 36850.008
AT ITER 379 NEW BEST:: SOT 107469 SOS 67993 HAS SOPS 67507 HAS SOUS 37253 HAS SOUPS 36777 WITH SCORE 36844.993
AT ITER 382 NEW BEST:: SOT 107593 SOS 68077 HAS SOPS 67591 HAS SOUS 37159 HAS SOUPS 36683 WITH SCORE 36751.077
AT ITER 384 NEW BEST:: SOT 107505 SOS 67988 HAS SOPS 67502 HAS SOUS 37108 HAS SOUPS 36632 WITH SCORE 36699.988
AT ITER 385 NEW BEST:: SOT 107505 SOS 67746 HAS SOPS 67228 HAS SOUS 37140 HAS SOUPS 36632 WITH SCORE 36699.746
AT ITER 387 NEW BEST:: SOT 107586 SOS 67719 HAS SOPS 67201 HAS SOUS 37140 HAS SOUPS 36632 WITH SCORE 36699.719
AT ITER 390 NEW BEST:: SOT 107586 SOS 67722 HAS SOPS 67204 HAS SOUS 37116 HAS SOUPS 36608 WITH SCORE 36675.722
AT ITER 394 NEW BEST:: SOT 107616 SOS 67751 HAS SOPS 67233 HAS SOUS 37115 HAS SOUPS 36607 WITH SCORE 36674.751
AT ITER 395 NEW BEST:: SOT 107568 SOS 67703 HAS SOPS 67185 HAS SOUS 37091 HAS SOUPS 36583 WITH SCORE 36650.703
AT ITER 403 NEW BEST:: SOT 107542 SOS 67677 HAS SOPS 67159 HAS SOUS 37052 HAS SOUPS 36544 WITH SCORE 36611.677
AT ITER 404 NEW BEST:: SOT 107344 SOS 67479 HAS SOPS 66961 HAS SOUS 36797 HAS SOUPS 36289 WITH SCORE 36356.479
AT ITER 405 NEW BEST:: SOT 107675 SOS 67488 HAS SOPS 66892 HAS SOUS 36867 HAS SOUPS 36281 WITH SCORE 36348.488
AT ITER 415 NEW BEST:: SOT 107662 SOS 67423 HAS SOPS 66827 HAS SOUS 36785 HAS SOUPS 36199 WITH SCORE 36266.423
AT ITER 417 NEW BEST:: SOT 107642 SOS 67384 HAS SOPS 66788 HAS SOUS 36764 HAS SOUPS 36178 WITH SCORE 36245.384
AT ITER 422 NEW BEST:: SOT 107350 SOS 67092 HAS SOPS 66496 HAS SOUS 36472 HAS SOUPS 35886 WITH SCORE 35953.092
AT ITER 423 NEW BEST:: SOT 107350 SOS 66885 HAS SOPS 66282 HAS SOUS 36482 HAS SOUPS 35879 WITH SCORE 35945.885
AT ITER 424 NEW BEST:: SOT 107318 SOS 66790 HAS SOPS 66166 HAS SOUS 36416 HAS SOUPS 35792 WITH SCORE 35858.79
AT ITER 427 NEW BEST:: SOT 107321 SOS 66814 HAS SOPS 66190 HAS SOUS 36342 HAS SOUPS 35718 WITH SCORE 35784.814
AT ITER 432 NEW BEST:: SOT 107214 SOS 66707 HAS SOPS 66083 HAS SOUS 36316 HAS SOUPS 35692 WITH SCORE 35758.707
AT ITER 448 NEW BEST:: SOT 107117 SOS 66610 HAS SOPS 65986 HAS SOUS 36093 HAS SOUPS 35469 WITH SCORE 35535.61
AT ITER 453 NEW BEST:: SOT 106512 SOS 65934 HAS SOPS 65310 HAS SOUS 35737 HAS SOUPS 35113 WITH SCORE 35178.934
AT ITER 459 NEW BEST:: SOT 106446 SOS 65829 HAS SOPS 65205 HAS SOUS 35711 HAS SOUPS 35087 WITH SCORE 35152.829
AT ITER 470 NEW BEST:: SOT 106386 SOS 65439 HAS SOPS 64815 HAS SOUS 35575 HAS SOUPS 34951 WITH SCORE 35016.439
AT ITER 472 NEW BEST:: SOT 106335 SOS 65371 HAS SOPS 64747 HAS SOUS 35456 HAS SOUPS 34832 WITH SCORE 34897.371
AT ITER 473 NEW BEST:: SOT 106547 SOS 65805 HAS SOPS 65181 HAS SOUS 35392 HAS SOUPS 34768 WITH SCORE 34833.805
AT ITER 475 NEW BEST:: SOT 106540 SOS 65805 HAS SOPS 65174 HAS SOUS 35392 HAS SOUPS 34761 WITH SCORE 34826.805
AT ITER 477 NEW BEST:: SOT 106452 SOS 65717 HAS SOPS 65086 HAS SOUS 35348 HAS SOUPS 34717 WITH SCORE 34782.717
AT ITER 485 NEW BEST:: SOT 106541 SOS 65806 HAS SOPS 65175 HAS SOUS 35281 HAS SOUPS 34650 WITH SCORE 34715.806
AT ITER 490 NEW BEST:: SOT 106502 SOS 65456 HAS SOPS 64825 HAS SOUS 35253 HAS SOUPS 34622 WITH SCORE 34687.456
AT ITER 498 NEW BEST:: SOT 106432 SOS 65371 HAS SOPS 64740 HAS SOUS 35112 HAS SOUPS 34481 WITH SCORE 34546.371
AT ITER 506 NEW BEST:: SOT 106437 SOS 65376 HAS SOPS 64745 HAS SOUS 35110 HAS SOUPS 34479 WITH SCORE 34544.376
AT ITER 508 NEW BEST:: SOT 106906 SOS 65299 HAS SOPS 64668 HAS SOUS 35105 HAS SOUPS 34474 WITH SCORE 34539.299
AT ITER 512 NEW BEST:: SOT 106893 SOS 65086 HAS SOPS 64455 HAS SOUS 35105 HAS SOUPS 34474 WITH SCORE 34539.086
AT ITER 517 NEW BEST:: SOT 106725 SOS 65086 HAS SOPS 64497 HAS SOUS 35039 HAS SOUPS 34450 WITH SCORE 34515.086
AT ITER 523 NEW BEST:: SOT 107013 SOS 63790 HAS SOPS 63028 HAS SOUS 35075 HAS SOUPS 34389 WITH SCORE 34452.79
AT ITER 526 NEW BEST:: SOT 106681 SOS 63410 HAS SOPS 62648 HAS SOUS 34916 HAS SOUPS 34230 WITH SCORE 34293.41
AT ITER 530 NEW BEST:: SOT 106681 SOS 63355 HAS SOPS 62593 HAS SOUS 34911 HAS SOUPS 34225 WITH SCORE 34288.355
AT ITER 531 NEW BEST:: SOT 106669 SOS 63217 HAS SOPS 62455 HAS SOUS 34899 HAS SOUPS 34213 WITH SCORE 34276.217
AT ITER 533 NEW BEST:: SOT 106617 SOS 62983 HAS SOPS 62221 HAS SOUS 34795 HAS SOUPS 34109 WITH SCORE 34171.983
AT ITER 538 NEW BEST:: SOT 106554 SOS 61868 HAS SOPS 61106 HAS SOUS 34662 HAS SOUPS 33976 WITH SCORE 34037.868
AT ITER 541 NEW BEST:: SOT 106521 SOS 61791 HAS SOPS 61029 HAS SOUS 34640 HAS SOUPS 33954 WITH SCORE 34015.791
AT ITER 543 NEW BEST:: SOT 106606 SOS 61552 HAS SOPS 60790 HAS SOUS 34637 HAS SOUPS 33951 WITH SCORE 34012.552
AT ITER 547 NEW BEST:: SOT 106569 SOS 61541 HAS SOPS 60779 HAS SOUS 34604 HAS SOUPS 33918 WITH SCORE 33979.541
AT ITER 550 NEW BEST:: SOT 106559 SOS 61539 HAS SOPS 60777 HAS SOUS 34604 HAS SOUPS 33918 WITH SCORE 33979.539
AT ITER 553 NEW BEST:: SOT 106494 SOS 61500 HAS SOPS 60738 HAS SOUS 34600 HAS SOUPS 33914 WITH SCORE 33975.5
AT ITER 554 NEW BEST:: SOT 106382 SOS 61455 HAS SOPS 60712 HAS SOUS 34563 HAS SOUPS 33877 WITH SCORE 33938.455
AT ITER 558 NEW BEST:: SOT 106238 SOS 61275 HAS SOPS 60532 HAS SOUS 34491 HAS SOUPS 33805 WITH SCORE 33866.275
AT ITER 559 NEW BEST:: SOT 106206 SOS 61291 HAS SOPS 60548 HAS SOUS 34475 HAS SOUPS 33789 WITH SCORE 33850.291
AT ITER 560 NEW BEST:: SOT 106202 SOS 61190 HAS SOPS 60447 HAS SOUS 34414 HAS SOUPS 33728 WITH SCORE 33789.19
AT ITER 565 NEW BEST:: SOT 106149 SOS 61137 HAS SOPS 60394 HAS SOUS 34361 HAS SOUPS 33675 WITH SCORE 33736.137
AT ITER 575 NEW BEST:: SOT 106288 SOS 61249 HAS SOPS 60506 HAS SOUS 34346 HAS SOUPS 33660 WITH SCORE 33721.249
AT ITER 577 NEW BEST:: SOT 106123 SOS 61084 HAS SOPS 60341 HAS SOUS 34283 HAS SOUPS 33597 WITH SCORE 33658.084
AT ITER 582 NEW BEST:: SOT 106141 SOS 61061 HAS SOPS 60318 HAS SOUS 34283 HAS SOUPS 33597 WITH SCORE 33658.061
AT ITER 592 NEW BEST:: SOT 105935 SOS 60855 HAS SOPS 60112 HAS SOUS 34076 HAS SOUPS 33390 WITH SCORE 33450.855
AT ITER 596 NEW BEST:: SOT 105935 SOS 60895 HAS SOPS 60152 HAS SOUS 34013 HAS SOUPS 33327 WITH SCORE 33387.895
AT ITER 598 NEW BEST:: SOT 105870 SOS 60915 HAS SOPS 60172 HAS SOUS 33980 HAS SOUPS 33294 WITH SCORE 33354.915
AT ITER 599 NEW BEST:: SOT 105454 SOS 60473 HAS SOPS 59730 HAS SOUS 33677 HAS SOUPS 32991 WITH SCORE 33051.473
AT ITER 606 NEW BEST:: SOT 105222 SOS 60172 HAS SOPS 59429 HAS SOUS 33550 HAS SOUPS 32864 WITH SCORE 32924.172
AT ITER 609 NEW BEST:: SOT 105197 SOS 60147 HAS SOPS 59404 HAS SOUS 33530 HAS SOUPS 32844 WITH SCORE 32904.147
AT ITER 617 NEW BEST:: SOT 105197 SOS 60153 HAS SOPS 59410 HAS SOUS 33524 HAS SOUPS 32838 WITH SCORE 32898.153
AT ITER 627 NEW BEST:: SOT 105265 SOS 60177 HAS SOPS 59434 HAS SOUS 33457 HAS SOUPS 32771 WITH SCORE 32831.177
AT ITER 634 NEW BEST:: SOT 104973 SOS 59885 HAS SOPS 59142 HAS SOUS 33139 HAS SOUPS 32453 WITH SCORE 32512.885
AT ITER 635 NEW BEST:: SOT 104890 SOS 59857 HAS SOPS 59114 HAS SOUS 33022 HAS SOUPS 32336 WITH SCORE 32395.857
AT ITER 643 NEW BEST:: SOT 104890 SOS 59851 HAS SOPS 59108 HAS SOUS 33022 HAS SOUPS 32336 WITH SCORE 32395.851
AT ITER 649 NEW BEST:: SOT 104911 SOS 59858 HAS SOPS 59115 HAS SOUS 33008 HAS SOUPS 32322 WITH SCORE 32381.858
AT ITER 657 NEW BEST:: SOT 104391 SOS 59195 HAS SOPS 58452 HAS SOUS 32707 HAS SOUPS 32021 WITH SCORE 32080.195
AT ITER 666 NEW BEST:: SOT 104676 SOS 59309 HAS SOPS 58509 HAS SOUS 32760 HAS SOUPS 32017 WITH SCORE 32076.309
AT ITER 667 NEW BEST:: SOT 104466 SOS 59067 HAS SOPS 58267 HAS SOUS 32716 HAS SOUPS 31973 WITH SCORE 32032.067
AT ITER 670 NEW BEST:: SOT 104481 SOS 59064 HAS SOPS 58250 HAS SOUS 32721 HAS SOUPS 31964 WITH SCORE 32023.064
AT ITER 676 NEW BEST:: SOT 104396 SOS 58965 HAS SOPS 58151 HAS SOUS 32713 HAS SOUPS 31956 WITH SCORE 32014.965
AT ITER 678 NEW BEST:: SOT 104224 SOS 58793 HAS SOPS 57979 HAS SOUS 32544 HAS SOUPS 31787 WITH SCORE 31845.793
AT ITER 680 NEW BEST:: SOT 104130 SOS 58699 HAS SOPS 57885 HAS SOUS 32491 HAS SOUPS 31734 WITH SCORE 31792.699
AT ITER 682 NEW BEST:: SOT 104085 SOS 58654 HAS SOPS 57840 HAS SOUS 32466 HAS SOUPS 31709 WITH SCORE 31767.654
AT ITER 687 NEW BEST:: SOT 104206 SOS 58725 HAS SOPS 57911 HAS SOUS 32465 HAS SOUPS 31708 WITH SCORE 31766.725
AT ITER 694 NEW BEST:: SOT 103963 SOS 59146 HAS SOPS 58332 HAS SOUS 32395 HAS SOUPS 31638 WITH SCORE 31697.146
AT ITER 702 NEW BEST:: SOT 103924 SOS 59107 HAS SOPS 58293 HAS SOUS 32356 HAS SOUPS 31599 WITH SCORE 31658.107
AT ITER 703 NEW BEST:: SOT 103907 SOS 59045 HAS SOPS 58276 HAS SOUS 32311 HAS SOUPS 31599 WITH SCORE 31658.045
AT ITER 706 NEW BEST:: SOT 103891 SOS 59016 HAS SOPS 58247 HAS SOUS 32308 HAS SOUPS 31596 WITH SCORE 31655.016
AT ITER 713 NEW BEST:: SOT 103835 SOS 58960 HAS SOPS 58191 HAS SOUS 32272 HAS SOUPS 31560 WITH SCORE 31618.96
AT ITER 715 NEW BEST:: SOT 103834 SOS 58949 HAS SOPS 58180 HAS SOUS 32271 HAS SOUPS 31559 WITH SCORE 31617.949
AT ITER 717 NEW BEST:: SOT 103967 SOS 58890 HAS SOPS 58121 HAS SOUS 32255 HAS SOUPS 31543 WITH SCORE 31601.89
AT ITER 719 NEW BEST:: SOT 103938 SOS 58832 HAS SOPS 58063 HAS SOUS 32197 HAS SOUPS 31485 WITH SCORE 31543.832
AT ITER 723 NEW BEST:: SOT 103819 SOS 58713 HAS SOPS 57944 HAS SOUS 31900 HAS SOUPS 31188 WITH SCORE 31246.713
AT ITER 727 NEW BEST:: SOT 103789 SOS 58727 HAS SOPS 57908 HAS SOUS 31839 HAS SOUPS 31077 WITH SCORE 31135.727
AT ITER 730 NEW BEST:: SOT 103799 SOS 58717 HAS SOPS 57898 HAS SOUS 31839 HAS SOUPS 31077 WITH SCORE 31135.717
AT ITER 747 NEW BEST:: SOT 103844 SOS 58762 HAS SOPS 57943 HAS SOUS 31819 HAS SOUPS 31057 WITH SCORE 31115.762
AT ITER 750 NEW BEST:: SOT 104044 SOS 58962 HAS SOPS 58143 HAS SOUS 31808 HAS SOUPS 31046 WITH SCORE 31104.962
AT ITER 752 NEW BEST:: SOT 104074 SOS 58932 HAS SOPS 58113 HAS SOUS 31808 HAS SOUPS 31046 WITH SCORE 31104.932
AT ITER 755 NEW BEST:: SOT 104055 SOS 58878 HAS SOPS 58059 HAS SOUS 31725 HAS SOUPS 30963 WITH SCORE 31021.878
AT ITER 760 NEW BEST:: SOT 103480 SOS 58303 HAS SOPS 57484 HAS SOUS 31392 HAS SOUPS 30630 WITH SCORE 30688.303
AT ITER 761 NEW BEST:: SOT 103200 SOS 58131 HAS SOPS 57348 HAS SOUS 31205 HAS SOUPS 30479 WITH SCORE 30537.131
AT ITER 762 NEW BEST:: SOT 102865 SOS 57945 HAS SOPS 57162 HAS SOUS 30998 HAS SOUPS 30272 WITH SCORE 30329.945
AT ITER 764 NEW BEST:: SOT 102868 SOS 57308 HAS SOPS 56525 HAS SOUS 30806 HAS SOUPS 30080 WITH SCORE 30137.308
AT ITER 766 NEW BEST:: SOT 102301 SOS 56207 HAS SOPS 55424 HAS SOUS 30374 HAS SOUPS 29648 WITH SCORE 29704.207
AT ITER 767 NEW BEST:: SOT 102331 SOS 56237 HAS SOPS 55454 HAS SOUS 30368 HAS SOUPS 29642 WITH SCORE 29698.237
AT ITER 772 NEW BEST:: SOT 102309 SOS 56181 HAS SOPS 55398 HAS SOUS 30353 HAS SOUPS 29627 WITH SCORE 29683.181
AT ITER 774 NEW BEST:: SOT 102305 SOS 56177 HAS SOPS 55394 HAS SOUS 30349 HAS SOUPS 29623 WITH SCORE 29679.177
AT ITER 779 NEW BEST:: SOT 102212 SOS 56084 HAS SOPS 55301 HAS SOUS 30292 HAS SOUPS 29566 WITH SCORE 29622.084
AT ITER 782 NEW BEST:: SOT 102196 SOS 56068 HAS SOPS 55285 HAS SOUS 30278 HAS SOUPS 29552 WITH SCORE 29608.068
AT ITER 790 NEW BEST:: SOT 102118 SOS 56030 HAS SOPS 55247 HAS SOUS 30257 HAS SOUPS 29531 WITH SCORE 29587.03
AT ITER 793 NEW BEST:: SOT 102141 SOS 56041 HAS SOPS 55258 HAS SOUS 30245 HAS SOUPS 29519 WITH SCORE 29575.041
AT ITER 802 NEW BEST:: SOT 102269 SOS 56161 HAS SOPS 55378 HAS SOUS 30238 HAS SOUPS 29512 WITH SCORE 29568.161
AT ITER 807 NEW BEST:: SOT 102197 SOS 54752 HAS SOPS 53969 HAS SOUS 30094 HAS SOUPS 29368 WITH SCORE 29422.752
AT ITER 820 NEW BEST:: SOT 102191 SOS 54858 HAS SOPS 53963 HAS SOUS 30128 HAS SOUPS 29327 WITH SCORE 29381.858
AT ITER 827 NEW BEST:: SOT 102186 SOS 53189 HAS SOPS 52294 HAS SOUS 30062 HAS SOUPS 29261 WITH SCORE 29314.189
AT ITER 828 NEW BEST:: SOT 102219 SOS 53222 HAS SOPS 52327 HAS SOUS 30001 HAS SOUPS 29200 WITH SCORE 29253.222
AT ITER 829 NEW BEST:: SOT 102147 SOS 53260 HAS SOPS 52367 HAS SOUS 29983 HAS SOUPS 29182 WITH SCORE 29235.26
AT ITER 835 NEW BEST:: SOT 101987 SOS 53087 HAS SOPS 52111 HAS SOUS 29994 HAS SOUPS 29110 WITH SCORE 29163.087
AT ITER 838 NEW BEST:: SOT 101939 SOS 52965 HAS SOPS 51989 HAS SOUS 29982 HAS SOUPS 29098 WITH SCORE 29150.965
AT ITER 846 NEW BEST:: SOT 101930 SOS 52956 HAS SOPS 51980 HAS SOUS 29938 HAS SOUPS 29054 WITH SCORE 29106.956
AT ITER 848 NEW BEST:: SOT 101816 SOS 52875 HAS SOPS 51899 HAS SOUS 29921 HAS SOUPS 29037 WITH SCORE 29089.875
AT ITER 851 NEW BEST:: SOT 101507 SOS 52055 HAS SOPS 51079 HAS SOUS 29518 HAS SOUPS 28634 WITH SCORE 28686.055
AT ITER 852 NEW BEST:: SOT 101475 SOS 52023 HAS SOPS 51047 HAS SOUS 29513 HAS SOUPS 28629 WITH SCORE 28681.023
AT ITER 858 NEW BEST:: SOT 101471 SOS 52617 HAS SOPS 51641 HAS SOUS 29512 HAS SOUPS 28628 WITH SCORE 28680.617
AT ITER 859 NEW BEST:: SOT 101467 SOS 52609 HAS SOPS 51633 HAS SOUS 29511 HAS SOUPS 28627 WITH SCORE 28679.609
AT ITER 860 NEW BEST:: SOT 101465 SOS 53400 HAS SOPS 52424 HAS SOUS 29497 HAS SOUPS 28613 WITH SCORE 28666.4
AT ITER 866 NEW BEST:: SOT 101415 SOS 53350 HAS SOPS 52374 HAS SOUS 29460 HAS SOUPS 28576 WITH SCORE 28629.35
AT ITER 874 NEW BEST:: SOT 101369 SOS 53016 HAS SOPS 52040 HAS SOUS 29352 HAS SOUPS 28468 WITH SCORE 28521.016
AT ITER 875 NEW BEST:: SOT 101330 SOS 52982 HAS SOPS 52006 HAS SOUS 29330 HAS SOUPS 28446 WITH SCORE 28498.982
AT ITER 881 NEW BEST:: SOT 101255 SOS 52907 HAS SOPS 51931 HAS SOUS 29230 HAS SOUPS 28346 WITH SCORE 28398.907
AT ITER 883 NEW BEST:: SOT 101203 SOS 52855 HAS SOPS 51879 HAS SOUS 29215 HAS SOUPS 28331 WITH SCORE 28383.855
AT ITER 884 NEW BEST:: SOT 101204 SOS 52856 HAS SOPS 51880 HAS SOUS 29198 HAS SOUPS 28314 WITH SCORE 28366.856
AT ITER 885 NEW BEST:: SOT 101189 SOS 52841 HAS SOPS 51865 HAS SOUS 29186 HAS SOUPS 28302 WITH SCORE 28354.841
AT ITER 886 NEW BEST:: SOT 101082 SOS 52796 HAS SOPS 51820 HAS SOUS 29127 HAS SOUPS 28243 WITH SCORE 28295.796
AT ITER 889 NEW BEST:: SOT 101076 SOS 52733 HAS SOPS 51751 HAS SOUS 29109 HAS SOUPS 28219 WITH SCORE 28271.733
AT ITER 895 NEW BEST:: SOT 100754 SOS 52596 HAS SOPS 51650 HAS SOUS 28896 HAS SOUPS 28006 WITH SCORE 28058.596
AT ITER 898 NEW BEST:: SOT 100696 SOS 52538 HAS SOPS 51592 HAS SOUS 28791 HAS SOUPS 27901 WITH SCORE 27953.538
AT ITER 901 NEW BEST:: SOT 100697 SOS 52538 HAS SOPS 51592 HAS SOUS 28790 HAS SOUPS 27900 WITH SCORE 27952.538
AT ITER 907 NEW BEST:: SOT 100713 SOS 52554 HAS SOPS 51608 HAS SOUS 28751 HAS SOUPS 27861 WITH SCORE 27913.554
AT ITER 915 NEW BEST:: SOT 100755 SOS 52587 HAS SOPS 51641 HAS SOUS 28746 HAS SOUPS 27856 WITH SCORE 27908.587
AT ITER 916 NEW BEST:: SOT 100746 SOS 52587 HAS SOPS 51641 HAS SOUS 28737 HAS SOUPS 27847 WITH SCORE 27899.587
AT ITER 921 NEW BEST:: SOT 100746 SOS 52576 HAS SOPS 51630 HAS SOUS 28737 HAS SOUPS 27847 WITH SCORE 27899.576
AT ITER 927 NEW BEST:: SOT 100746 SOS 52576 HAS SOPS 51630 HAS SOUS 28729 HAS SOUPS 27839 WITH SCORE 27891.576
AT ITER 935 NEW BEST:: SOT 100669 SOS 52499 HAS SOPS 51553 HAS SOUS 28716 HAS SOUPS 27826 WITH SCORE 27878.499
AT ITER 938 NEW BEST:: SOT 100691 SOS 52521 HAS SOPS 51575 HAS SOUS 28699 HAS SOUPS 27809 WITH SCORE 27861.521
AT ITER 958 NEW BEST:: SOT 100684 SOS 52514 HAS SOPS 51568 HAS SOUS 28696 HAS SOUPS 27806 WITH SCORE 27858.514
AT ITER 966 NEW BEST:: SOT 100652 SOS 52482 HAS SOPS 51536 HAS SOUS 28580 HAS SOUPS 27690 WITH SCORE 27742.482
AT ITER 974 NEW BEST:: SOT 100419 SOS 52224 HAS SOPS 51278 HAS SOUS 28441 HAS SOUPS 27551 WITH SCORE 27603.224
AT ITER 975 NEW BEST:: SOT 100408 SOS 52213 HAS SOPS 51267 HAS SOUS 28419 HAS SOUPS 27529 WITH SCORE 27581.213
AT ITER 978 NEW BEST:: SOT 100306 SOS 52069 HAS SOPS 51123 HAS SOUS 28330 HAS SOUPS 27440 WITH SCORE 27492.069
AT ITER 1000 NEW BEST:: SOT 100309 SOS 52060 HAS SOPS 51114 HAS SOUS 28321 HAS SOUPS 27431 WITH SCORE 27483.06
AT ITER 1003 NEW BEST:: SOT 100054 SOS 51949 HAS SOPS 51043 HAS SOUS 28231 HAS SOUPS 27381 WITH SCORE 27432.949
AT ITER 1011 NEW BEST:: SOT 100168 SOS 51897 HAS SOPS 50952 HAS SOUS 28270 HAS SOUPS 27381 WITH SCORE 27432.897
AT ITER 1027 NEW BEST:: SOT 100201 SOS 51970 HAS SOPS 51025 HAS SOUS 28222 HAS SOUPS 27333 WITH SCORE 27384.97
AT ITER 1040 NEW BEST:: SOT 100149 SOS 51047 HAS SOPS 50102 HAS SOUS 28080 HAS SOUPS 27191 WITH SCORE 27242.047
AT ITER 1047 NEW BEST:: SOT 100368 SOS 51283 HAS SOPS 50227 HAS SOUS 28122 HAS SOUPS 27132 WITH SCORE 27183.283
AT ITER 1061 NEW BEST:: SOT 100313 SOS 51235 HAS SOPS 50179 HAS SOUS 28080 HAS SOUPS 27090 WITH SCORE 27141.235
AT ITER 1069 NEW BEST:: SOT 100333 SOS 51175 HAS SOPS 50119 HAS SOUS 28071 HAS SOUPS 27081 WITH SCORE 27132.175
AT ITER 1072 NEW BEST:: SOT 100169 SOS 49178 HAS SOPS 48055 HAS SOUS 27569 HAS SOUPS 26512 WITH SCORE 26561.178
AT ITER 1076 NEW BEST:: SOT 100045 SOS 49097 HAS SOPS 47974 HAS SOUS 27444 HAS SOUPS 26387 WITH SCORE 26436.097
AT ITER 1080 NEW BEST:: SOT 100045 SOS 49097 HAS SOPS 47974 HAS SOUS 27405 HAS SOUPS 26348 WITH SCORE 26397.097
AT ITER 1082 NEW BEST:: SOT 100045 SOS 49135 HAS SOPS 48012 HAS SOUS 27395 HAS SOUPS 26338 WITH SCORE 26387.135
AT ITER 1083 NEW BEST:: SOT 100028 SOS 49118 HAS SOPS 47995 HAS SOUS 27378 HAS SOUPS 26321 WITH SCORE 26370.118
AT ITER 1088 NEW BEST:: SOT 100010 SOS 49096 HAS SOPS 47973 HAS SOUS 27368 HAS SOUPS 26311 WITH SCORE 26360.096
AT ITER 1090 NEW BEST:: SOT 100010 SOS 48963 HAS SOPS 47821 HAS SOUS 27387 HAS SOUPS 26311 WITH SCORE 26359.963
AT ITER 1092 NEW BEST:: SOT 99862 SOS 48815 HAS SOPS 47673 HAS SOUS 27345 HAS SOUPS 26269 WITH SCORE 26317.815
AT ITER 1093 NEW BEST:: SOT 99116 SOS 48069 HAS SOPS 46927 HAS SOUS 27009 HAS SOUPS 25933 WITH SCORE 25981.069
AT ITER 1104 NEW BEST:: SOT 99280 SOS 48571 HAS SOPS 47429 HAS SOUS 26987 HAS SOUPS 25911 WITH SCORE 25959.571
AT ITER 1106 NEW BEST:: SOT 99272 SOS 48537 HAS SOPS 47395 HAS SOUS 26987 HAS SOUPS 25911 WITH SCORE 25959.537
AT ITER 1111 NEW BEST:: SOT 99115 SOS 48869 HAS SOPS 47756 HAS SOUS 26915 HAS SOUPS 25868 WITH SCORE 25916.869
AT ITER 1115 NEW BEST:: SOT 98990 SOS 48744 HAS SOPS 47631 HAS SOUS 26742 HAS SOUPS 25695 WITH SCORE 25743.744
AT ITER 1117 NEW BEST:: SOT 98885 SOS 48511 HAS SOPS 47398 HAS SOUS 26662 HAS SOUPS 25615 WITH SCORE 25663.511
AT ITER 1121 NEW BEST:: SOT 98880 SOS 48217 HAS SOPS 47104 HAS SOUS 26556 HAS SOUPS 25509 WITH SCORE 25557.217
AT ITER 1129 NEW BEST:: SOT 98879 SOS 48397 HAS SOPS 47311 HAS SOUS 26554 HAS SOUPS 25507 WITH SCORE 25555.397
AT ITER 1130 NEW BEST:: SOT 98851 SOS 48355 HAS SOPS 47269 HAS SOUS 26512 HAS SOUPS 25465 WITH SCORE 25513.355
AT ITER 1142 NEW BEST:: SOT 98737 SOS 48143 HAS SOPS 47057 HAS SOUS 26512 HAS SOUPS 25465 WITH SCORE 25513.143
AT ITER 1146 NEW BEST:: SOT 98782 SOS 48130 HAS SOPS 47042 HAS SOUS 26508 HAS SOUPS 25459 WITH SCORE 25507.13
AT ITER 1148 NEW BEST:: SOT 98730 SOS 48226 HAS SOPS 47138 HAS SOUS 26456 HAS SOUPS 25407 WITH SCORE 25455.226
AT ITER 1152 NEW BEST:: SOT 98730 SOS 48218 HAS SOPS 47130 HAS SOUS 26456 HAS SOUPS 25407 WITH SCORE 25455.218
AT ITER 1167 NEW BEST:: SOT 98678 SOS 48200 HAS SOPS 47112 HAS SOUS 26436 HAS SOUPS 25387 WITH SCORE 25435.2
AT ITER 1181 NEW BEST:: SOT 98501 SOS 48018 HAS SOPS 46930 HAS SOUS 26297 HAS SOUPS 25248 WITH SCORE 25296.018
AT ITER 1194 NEW BEST:: SOT 98476 SOS 47969 HAS SOPS 46881 HAS SOUS 26259 HAS SOUPS 25210 WITH SCORE 25257.969
AT ITER 1203 NEW BEST:: SOT 98452 SOS 47945 HAS SOPS 46857 HAS SOUS 26259 HAS SOUPS 25210 WITH SCORE 25257.945
AT ITER 1207 NEW BEST:: SOT 98456 SOS 48034 HAS SOPS 46946 HAS SOUS 26224 HAS SOUPS 25175 WITH SCORE 25223.034
AT ITER 1209 NEW BEST:: SOT 98328 SOS 47906 HAS SOPS 46818 HAS SOUS 26173 HAS SOUPS 25124 WITH SCORE 25171.906
AT ITER 1221 NEW BEST:: SOT 98328 SOS 47365 HAS SOPS 46277 HAS SOUS 26173 HAS SOUPS 25124 WITH SCORE 25171.365
AT ITER 1222 NEW BEST:: SOT 98421 SOS 47410 HAS SOPS 46322 HAS SOUS 26170 HAS SOUPS 25121 WITH SCORE 25168.41
AT ITER 1225 NEW BEST:: SOT 98346 SOS 47310 HAS SOPS 46247 HAS SOUS 26120 HAS SOUPS 25086 WITH SCORE 25133.31
AT ITER 1246 NEW BEST:: SOT 98346 SOS 46838 HAS SOPS 45732 HAS SOUS 26014 HAS SOUPS 24980 WITH SCORE 25026.838
AT ITER 1270 NEW BEST:: SOT 98329 SOS 46789 HAS SOPS 45683 HAS SOUS 25980 HAS SOUPS 24946 WITH SCORE 24992.789
AT ITER 1283 NEW BEST:: SOT 98319 SOS 46779 HAS SOPS 45673 HAS SOUS 25970 HAS SOUPS 24936 WITH SCORE 24982.779
AT ITER 1287 NEW BEST:: SOT 98261 SOS 46685 HAS SOPS 45579 HAS SOUS 25935 HAS SOUPS 24901 WITH SCORE 24947.685
AT ITER 1288 NEW BEST:: SOT 98524 SOS 47080 HAS SOPS 45974 HAS SOUS 25869 HAS SOUPS 24835 WITH SCORE 24882.08
AT ITER 1304 NEW BEST:: SOT 98575 SOS 46992 HAS SOPS 45886 HAS SOUS 25844 HAS SOUPS 24810 WITH SCORE 24856.992
AT ITER 1314 NEW BEST:: SOT 98317 SOS 46675 HAS SOPS 45569 HAS SOUS 25603 HAS SOUPS 24569 WITH SCORE 24615.675
AT ITER 1330 NEW BEST:: SOT 98174 SOS 46428 HAS SOPS 45396 HAS SOUS 25489 HAS SOUPS 24529 WITH SCORE 24575.428
AT ITER 1333 NEW BEST:: SOT 98188 SOS 46337 HAS SOPS 45305 HAS SOUS 25487 HAS SOUPS 24527 WITH SCORE 24573.337
AT ITER 1334 NEW BEST:: SOT 98141 SOS 46290 HAS SOPS 45258 HAS SOUS 25462 HAS SOUPS 24502 WITH SCORE 24548.29
AT ITER 1335 NEW BEST:: SOT 98236 SOS 46385 HAS SOPS 45353 HAS SOUS 25460 HAS SOUPS 24500 WITH SCORE 24546.385
AT ITER 1337 NEW BEST:: SOT 98223 SOS 46421 HAS SOPS 45389 HAS SOUS 25459 HAS SOUPS 24499 WITH SCORE 24545.421
AT ITER 1353 NEW BEST:: SOT 98217 SOS 46415 HAS SOPS 45383 HAS SOUS 25453 HAS SOUPS 24493 WITH SCORE 24539.415
AT ITER 1354 NEW BEST:: SOT 98214 SOS 46412 HAS SOPS 45380 HAS SOUS 25451 HAS SOUPS 24491 WITH SCORE 24537.412
AT ITER 1358 NEW BEST:: SOT 97597 SOS 46207 HAS SOPS 45175 HAS SOUS 25073 HAS SOUPS 24113 WITH SCORE 24159.207
AT ITER 1386 NEW BEST:: SOT 97540 SOS 46043 HAS SOPS 45011 HAS SOUS 24913 HAS SOUPS 23953 WITH SCORE 23999.043
AT ITER 1403 NEW BEST:: SOT 97476 SOS 46386 HAS SOPS 45354 HAS SOUS 24871 HAS SOUPS 23911 WITH SCORE 23957.386
AT ITER 1411 NEW BEST:: SOT 97486 SOS 46516 HAS SOPS 45484 HAS SOUS 24861 HAS SOUPS 23901 WITH SCORE 23947.516
AT ITER 1416 NEW BEST:: SOT 97453 SOS 46483 HAS SOPS 45451 HAS SOUS 24790 HAS SOUPS 23830 WITH SCORE 23876.483
AT ITER 1424 NEW BEST:: SOT 97465 SOS 46495 HAS SOPS 45463 HAS SOUS 24771 HAS SOUPS 23811 WITH SCORE 23857.495
AT ITER 1437 NEW BEST:: SOT 97443 SOS 46459 HAS SOPS 45427 HAS SOUS 24733 HAS SOUPS 23773 WITH SCORE 23819.459
AT ITER 1442 NEW BEST:: SOT 97466 SOS 46477 HAS SOPS 45445 HAS SOUS 24692 HAS SOUPS 23732 WITH SCORE 23778.477
AT ITER 1451 NEW BEST:: SOT 97500 SOS 46511 HAS SOPS 45479 HAS SOUS 24655 HAS SOUPS 23695 WITH SCORE 23741.511
AT ITER 1453 NEW BEST:: SOT 97500 SOS 46511 HAS SOPS 45479 HAS SOUS 24587 HAS SOUPS 23627 WITH SCORE 23673.511
AT ITER 1457 NEW BEST:: SOT 97406 SOS 46417 HAS SOPS 45385 HAS SOUS 24577 HAS SOUPS 23617 WITH SCORE 23663.417
AT ITER 1463 NEW BEST:: SOT 97384 SOS 46395 HAS SOPS 45363 HAS SOUS 24555 HAS SOUPS 23595 WITH SCORE 23641.395
AT ITER 1468 NEW BEST:: SOT 97335 SOS 46346 HAS SOPS 45314 HAS SOUS 24506 HAS SOUPS 23546 WITH SCORE 23592.346
AT ITER 1473 NEW BEST:: SOT 97219 SOS 46222 HAS SOPS 45190 HAS SOUS 24434 HAS SOUPS 23474 WITH SCORE 23520.222
AT ITER 1481 NEW BEST:: SOT 97111 SOS 46114 HAS SOPS 45082 HAS SOUS 24411 HAS SOUPS 23451 WITH SCORE 23497.114
AT ITER 1486 NEW BEST:: SOT 97088 SOS 46137 HAS SOPS 45059 HAS SOUS 24427 HAS SOUPS 23444 WITH SCORE 23490.137
AT ITER 1494 NEW BEST:: SOT 97087 SOS 46136 HAS SOPS 45058 HAS SOUS 24425 HAS SOUPS 23442 WITH SCORE 23488.136
AT ITER 1509 NEW BEST:: SOT 97087 SOS 46136 HAS SOPS 45058 HAS SOUS 24393 HAS SOUPS 23410 WITH SCORE 23456.136
AT ITER 1517 NEW BEST:: SOT 97007 SOS 46056 HAS SOPS 44978 HAS SOUS 24343 HAS SOUPS 23360 WITH SCORE 23406.056
AT ITER 1535 NEW BEST:: SOT 97008 SOS 46057 HAS SOPS 44979 HAS SOUS 24340 HAS SOUPS 23357 WITH SCORE 23403.057
AT ITER 1541 NEW BEST:: SOT 96672 SOS 45721 HAS SOPS 44643 HAS SOUS 24247 HAS SOUPS 23264 WITH SCORE 23309.721
AT ITER 1543 NEW BEST:: SOT 96721 SOS 45538 HAS SOPS 44424 HAS SOUS 24192 HAS SOUPS 23207 WITH SCORE 23252.538
AT ITER 1554 NEW BEST:: SOT 96765 SOS 45537 HAS SOPS 44423 HAS SOUS 24192 HAS SOUPS 23207 WITH SCORE 23252.537
AT ITER 1555 NEW BEST:: SOT 96748 SOS 45496 HAS SOPS 44382 HAS SOUS 24173 HAS SOUPS 23188 WITH SCORE 23233.496
AT ITER 1566 NEW BEST:: SOT 96858 SOS 45311 HAS SOPS 44197 HAS SOUS 24092 HAS SOUPS 23107 WITH SCORE 23152.311
AT ITER 1567 NEW BEST:: SOT 96826 SOS 45311 HAS SOPS 44197 HAS SOUS 24084 HAS SOUPS 23099 WITH SCORE 23144.311
AT ITER 1574 NEW BEST:: SOT 96869 SOS 45354 HAS SOPS 44240 HAS SOUS 24041 HAS SOUPS 23056 WITH SCORE 23101.354
AT ITER 1583 NEW BEST:: SOT 97041 SOS 45600 HAS SOPS 44412 HAS SOUS 24014 HAS SOUPS 23029 WITH SCORE 23074.6
AT ITER 1585 NEW BEST:: SOT 96979 SOS 45538 HAS SOPS 44350 HAS SOUS 23983 HAS SOUPS 22998 WITH SCORE 23043.538
AT ITER 1597 NEW BEST:: SOT 96906 SOS 45465 HAS SOPS 44277 HAS SOUS 23878 HAS SOUPS 22893 WITH SCORE 22938.465
AT ITER 1606 NEW BEST:: SOT 96902 SOS 45457 HAS SOPS 44269 HAS SOUS 23866 HAS SOUPS 22881 WITH SCORE 22926.457
AT ITER 1616 NEW BEST:: SOT 96890 SOS 45433 HAS SOPS 44245 HAS SOUS 23854 HAS SOUPS 22869 WITH SCORE 22914.433
AT ITER 1622 NEW BEST:: SOT 96890 SOS 45433 HAS SOPS 44245 HAS SOUS 23845 HAS SOUPS 22860 WITH SCORE 22905.433
AT ITER 1624 NEW BEST:: SOT 96749 SOS 45237 HAS SOPS 44049 HAS SOUS 23769 HAS SOUPS 22784 WITH SCORE 22829.237
AT ITER 1629 NEW BEST:: SOT 96755 SOS 45242 HAS SOPS 44054 HAS SOUS 23768 HAS SOUPS 22783 WITH SCORE 22828.242
AT ITER 1630 NEW BEST:: SOT 96755 SOS 45224 HAS SOPS 44036 HAS SOUS 23768 HAS SOUPS 22783 WITH SCORE 22828.224
AT ITER 1633 NEW BEST:: SOT 96751 SOS 45204 HAS SOPS 44016 HAS SOUS 23762 HAS SOUPS 22777 WITH SCORE 22822.204
AT ITER 1634 NEW BEST:: SOT 96752 SOS 45263 HAS SOPS 44075 HAS SOUS 23741 HAS SOUPS 22756 WITH SCORE 22801.263
AT ITER 1636 NEW BEST:: SOT 96770 SOS 45281 HAS SOPS 44093 HAS SOUS 23726 HAS SOUPS 22741 WITH SCORE 22786.281
AT ITER 1639 NEW BEST:: SOT 96828 SOS 45251 HAS SOPS 44063 HAS SOUS 23697 HAS SOUPS 22712 WITH SCORE 22757.251
AT ITER 1640 NEW BEST:: SOT 96690 SOS 45399 HAS SOPS 44211 HAS SOUS 23645 HAS SOUPS 22660 WITH SCORE 22705.399
AT ITER 1646 NEW BEST:: SOT 96850 SOS 45332 HAS SOPS 44144 HAS SOUS 23645 HAS SOUPS 22660 WITH SCORE 22705.332
AT ITER 1659 NEW BEST:: SOT 96850 SOS 44878 HAS SOPS 43690 HAS SOUS 23621 HAS SOUPS 22636 WITH SCORE 22680.878
AT ITER 1676 NEW BEST:: SOT 96843 SOS 45331 HAS SOPS 44143 HAS SOUS 23541 HAS SOUPS 22556 WITH SCORE 22601.331
AT ITER 1677 NEW BEST:: SOT 96719 SOS 45359 HAS SOPS 44171 HAS SOUS 23500 HAS SOUPS 22515 WITH SCORE 22560.359
AT ITER 1699 NEW BEST:: SOT 96685 SOS 45331 HAS SOPS 44143 HAS SOUS 23498 HAS SOUPS 22513 WITH SCORE 22558.331
AT ITER 1706 NEW BEST:: SOT 96670 SOS 45324 HAS SOPS 44136 HAS SOUS 23491 HAS SOUPS 22506 WITH SCORE 22551.324
AT ITER 1708 NEW BEST:: SOT 96755 SOS 45276 HAS SOPS 44088 HAS SOUS 23487 HAS SOUPS 22502 WITH SCORE 22547.276
AT ITER 1735 NEW BEST:: SOT 96784 SOS 45149 HAS SOPS 43961 HAS SOUS 23396 HAS SOUPS 22411 WITH SCORE 22456.149
AT ITER 1766 NEW BEST:: SOT 96869 SOS 45248 HAS SOPS 44070 HAS SOUS 23368 HAS SOUPS 22393 WITH SCORE 22438.248
AT ITER 1767 NEW BEST:: SOT 96862 SOS 45241 HAS SOPS 44063 HAS SOUS 23341 HAS SOUPS 22366 WITH SCORE 22411.241
AT ITER 1774 NEW BEST:: SOT 96815 SOS 45189 HAS SOPS 44011 HAS SOUS 23333 HAS SOUPS 22358 WITH SCORE 22403.189
AT ITER 1790 NEW BEST:: SOT 96817 SOS 45191 HAS SOPS 44013 HAS SOUS 23332 HAS SOUPS 22357 WITH SCORE 22402.191
AT ITER 1792 NEW BEST:: SOT 96747 SOS 45121 HAS SOPS 43943 HAS SOUS 23282 HAS SOUPS 22307 WITH SCORE 22352.121
AT ITER 1796 NEW BEST:: SOT 96747 SOS 44961 HAS SOPS 43783 HAS SOUS 23282 HAS SOUPS 22307 WITH SCORE 22351.961
AT ITER 1799 NEW BEST:: SOT 96740 SOS 44954 HAS SOPS 43776 HAS SOUS 23268 HAS SOUPS 22293 WITH SCORE 22337.954
AT ITER 1818 NEW BEST:: SOT 96738 SOS 44980 HAS SOPS 43802 HAS SOUS 23227 HAS SOUPS 22252 WITH SCORE 22296.98
AT ITER 1823 NEW BEST:: SOT 96744 SOS 44986 HAS SOPS 43808 HAS SOUS 23225 HAS SOUPS 22250 WITH SCORE 22294.986
AT ITER 1828 NEW BEST:: SOT 96527 SOS 45687 HAS SOPS 44509 HAS SOUS 23112 HAS SOUPS 22137 WITH SCORE 22182.687
AT ITER 1833 NEW BEST:: SOT 96465 SOS 45655 HAS SOPS 44477 HAS SOUS 23110 HAS SOUPS 22135 WITH SCORE 22180.655
AT ITER 1872 NEW BEST:: SOT 96465 SOS 45621 HAS SOPS 44443 HAS SOUS 23094 HAS SOUPS 22119 WITH SCORE 22164.621
AT ITER 1877 NEW BEST:: SOT 96269 SOS 45196 HAS SOPS 44018 HAS SOUS 23068 HAS SOUPS 22093 WITH SCORE 22138.196
AT ITER 1880 NEW BEST:: SOT 96264 SOS 45199 HAS SOPS 44021 HAS SOUS 23063 HAS SOUPS 22088 WITH SCORE 22133.199
AT ITER 1889 NEW BEST:: SOT 96260 SOS 45195 HAS SOPS 44017 HAS SOUS 23056 HAS SOUPS 22081 WITH SCORE 22126.195
AT ITER 1924 NEW BEST:: SOT 96087 SOS 44893 HAS SOPS 43715 HAS SOUS 22960 HAS SOUPS 21985 WITH SCORE 22029.893
AT ITER 1925 NEW BEST:: SOT 96085 SOS 44889 HAS SOPS 43711 HAS SOUS 22960 HAS SOUPS 21985 WITH SCORE 22029.889
AT ITER 1926 NEW BEST:: SOT 96048 SOS 44852 HAS SOPS 43674 HAS SOUS 22923 HAS SOUPS 21948 WITH SCORE 21992.852
AT ITER 1933 NEW BEST:: SOT 96063 SOS 44661 HAS SOPS 43483 HAS SOUS 22884 HAS SOUPS 21909 WITH SCORE 21953.661
AT ITER 1937 NEW BEST:: SOT 96030 SOS 44628 HAS SOPS 43450 HAS SOUS 22870 HAS SOUPS 21895 WITH SCORE 21939.628
AT ITER 1943 NEW BEST:: SOT 96030 SOS 44722 HAS SOPS 43544 HAS SOUS 22778 HAS SOUPS 21803 WITH SCORE 21847.722
AT ITER 1946 NEW BEST:: SOT 96030 SOS 44698 HAS SOPS 43520 HAS SOUS 22760 HAS SOUPS 21785 WITH SCORE 21829.698
AT ITER 1947 NEW BEST:: SOT 95951 SOS 44357 HAS SOPS 43179 HAS SOUS 22700 HAS SOUPS 21725 WITH SCORE 21769.357
AT ITER 1953 NEW BEST:: SOT 95951 SOS 44353 HAS SOPS 43175 HAS SOUS 22668 HAS SOUPS 21693 WITH SCORE 21737.353
AT ITER 1971 NEW BEST:: SOT 95948 SOS 44328 HAS SOPS 43199 HAS SOUS 22594 HAS SOUPS 21668 WITH SCORE 21712.328
AT ITER 1975 NEW BEST:: SOT 95915 SOS 44273 HAS SOPS 43144 HAS SOUS 22551 HAS SOUPS 21625 WITH SCORE 21669.273
AT ITER 1980 NEW BEST:: SOT 95900 SOS 44066 HAS SOPS 42937 HAS SOUS 22507 HAS SOUPS 21581 WITH SCORE 21625.066
AT ITER 1985 NEW BEST:: SOT 95753 SOS 43850 HAS SOPS 42706 HAS SOUS 22306 HAS SOUPS 21365 WITH SCORE 21408.85
AT ITER 1992 NEW BEST:: SOT 95750 SOS 43847 HAS SOPS 42703 HAS SOUS 22290 HAS SOUPS 21349 WITH SCORE 21392.847
AT ITER 1993 NEW BEST:: SOT 95754 SOS 43902 HAS SOPS 42758 HAS SOUS 22280 HAS SOUPS 21339 WITH SCORE 21382.902
AT ITER 2014 NEW BEST:: SOT 95749 SOS 43885 HAS SOPS 42741 HAS SOUS 22275 HAS SOUPS 21334 WITH SCORE 21377.885
AT ITER 2017 NEW BEST:: SOT 95661 SOS 43911 HAS SOPS 42767 HAS SOUS 22267 HAS SOUPS 21326 WITH SCORE 21369.911
AT ITER 2018 NEW BEST:: SOT 95571 SOS 44017 HAS SOPS 42873 HAS SOUS 22260 HAS SOUPS 21319 WITH SCORE 21363.017
AT ITER 2020 NEW BEST:: SOT 95422 SOS 43863 HAS SOPS 42719 HAS SOUS 22219 HAS SOUPS 21278 WITH SCORE 21321.863
AT ITER 2022 NEW BEST:: SOT 95361 SOS 43780 HAS SOPS 42636 HAS SOUS 22218 HAS SOUPS 21277 WITH SCORE 21320.78
AT ITER 2030 NEW BEST:: SOT 95354 SOS 43681 HAS SOPS 42537 HAS SOUS 22184 HAS SOUPS 21243 WITH SCORE 21286.681
AT ITER 2071 NEW BEST:: SOT 95354 SOS 43278 HAS SOPS 42083 HAS SOUS 22090 HAS SOUPS 21141 WITH SCORE 21184.278
AT ITER 2087 NEW BEST:: SOT 95181 SOS 43225 HAS SOPS 42030 HAS SOUS 22075 HAS SOUPS 21126 WITH SCORE 21169.225
AT ITER 2090 NEW BEST:: SOT 95125 SOS 43149 HAS SOPS 41954 HAS SOUS 21993 HAS SOUPS 21044 WITH SCORE 21087.149
AT ITER 2091 NEW BEST:: SOT 95125 SOS 43061 HAS SOPS 41844 HAS SOUS 21982 HAS SOUPS 21022 WITH SCORE 21065.061
AT ITER 2097 NEW BEST:: SOT 95129 SOS 42872 HAS SOPS 41655 HAS SOUS 21943 HAS SOUPS 20983 WITH SCORE 21025.872
AT ITER 2101 NEW BEST:: SOT 95146 SOS 42889 HAS SOPS 41672 HAS SOUS 21942 HAS SOUPS 20982 WITH SCORE 21024.889
AT ITER 2103 NEW BEST:: SOT 95143 SOS 42854 HAS SOPS 41637 HAS SOUS 21848 HAS SOUPS 20888 WITH SCORE 20930.854
AT ITER 2112 NEW BEST:: SOT 95088 SOS 42779 HAS SOPS 41562 HAS SOUS 21838 HAS SOUPS 20878 WITH SCORE 20920.779
AT ITER 2117 NEW BEST:: SOT 94995 SOS 42657 HAS SOPS 41440 HAS SOUS 21811 HAS SOUPS 20851 WITH SCORE 20893.657
AT ITER 2118 NEW BEST:: SOT 94919 SOS 42606 HAS SOPS 41419 HAS SOUS 21795 HAS SOUPS 20850 WITH SCORE 20892.606
AT ITER 2142 NEW BEST:: SOT 94910 SOS 42597 HAS SOPS 41410 HAS SOUS 21793 HAS SOUPS 20848 WITH SCORE 20890.597
AT ITER 2149 NEW BEST:: SOT 94901 SOS 42588 HAS SOPS 41401 HAS SOUS 21783 HAS SOUPS 20838 WITH SCORE 20880.588
AT ITER 2155 NEW BEST:: SOT 94885 SOS 42564 HAS SOPS 41377 HAS SOUS 21773 HAS SOUPS 20828 WITH SCORE 20870.564
AT ITER 2190 NEW BEST:: SOT 94880 SOS 42553 HAS SOPS 41366 HAS SOUS 21769 HAS SOUPS 20824 WITH SCORE 20866.553
AT ITER 2200 NEW BEST:: SOT 94860 SOS 42431 HAS SOPS 41244 HAS SOUS 21711 HAS SOUPS 20766 WITH SCORE 20808.431
AT ITER 2221 NEW BEST:: SOT 94851 SOS 42401 HAS SOPS 41185 HAS SOUS 21710 HAS SOUPS 20736 WITH SCORE 20778.401
AT ITER 2246 NEW BEST:: SOT 94845 SOS 42385 HAS SOPS 41169 HAS SOUS 21664 HAS SOUPS 20690 WITH SCORE 20732.385
AT ITER 2250 NEW BEST:: SOT 94862 SOS 42401 HAS SOPS 41141 HAS SOUS 21655 HAS SOUPS 20659 WITH SCORE 20701.401
AT ITER 2253 NEW BEST:: SOT 94649 SOS 42186 HAS SOPS 40960 HAS SOUS 21476 HAS SOUPS 20514 WITH SCORE 20556.186
AT ITER 2256 NEW BEST:: SOT 94641 SOS 42178 HAS SOPS 40952 HAS SOUS 21456 HAS SOUPS 20494 WITH SCORE 20536.178
AT ITER 2305 NEW BEST:: SOT 94543 SOS 42174 HAS SOPS 40941 HAS SOUS 21405 HAS SOUPS 20436 WITH SCORE 20478.174
AT ITER 2311 NEW BEST:: SOT 94543 SOS 42074 HAS SOPS 40841 HAS SOUS 21390 HAS SOUPS 20421 WITH SCORE 20463.074
AT ITER 2313 NEW BEST:: SOT 94542 SOS 42055 HAS SOPS 40822 HAS SOUS 21380 HAS SOUPS 20411 WITH SCORE 20453.055
AT ITER 2317 NEW BEST:: SOT 94408 SOS 41834 HAS SOPS 40624 HAS SOUS 21284 HAS SOUPS 20338 WITH SCORE 20379.834
AT ITER 2318 NEW BEST:: SOT 94378 SOS 41804 HAS SOPS 40594 HAS SOUS 21254 HAS SOUPS 20308 WITH SCORE 20349.804
AT ITER 2325 NEW BEST:: SOT 94323 SOS 41749 HAS SOPS 40594 HAS SOUS 21195 HAS SOUPS 20304 WITH SCORE 20345.749
AT ITER 2330 NEW BEST:: SOT 94323 SOS 41747 HAS SOPS 40592 HAS SOUS 21193 HAS SOUPS 20302 WITH SCORE 20343.747
AT ITER 2342 NEW BEST:: SOT 94302 SOS 41097 HAS SOPS 39890 HAS SOUS 21212 HAS SOUPS 20284 WITH SCORE 20325.097
AT ITER 2349 NEW BEST:: SOT 94289 SOS 41084 HAS SOPS 39877 HAS SOUS 21212 HAS SOUPS 20284 WITH SCORE 20325.084
AT ITER 2366 NEW BEST:: SOT 94256 SOS 41051 HAS SOPS 39844 HAS SOUS 21194 HAS SOUPS 20266 WITH SCORE 20307.051
AT ITER 2370 NEW BEST:: SOT 94256 SOS 41023 HAS SOPS 39828 HAS SOUS 21170 HAS SOUPS 20254 WITH SCORE 20295.023
AT ITER 2374 NEW BEST:: SOT 94244 SOS 41016 HAS SOPS 39821 HAS SOUS 21153 HAS SOUPS 20237 WITH SCORE 20278.016
AT ITER 2375 NEW BEST:: SOT 94244 SOS 40244 HAS SOPS 39049 HAS SOUS 21150 HAS SOUPS 20234 WITH SCORE 20274.244
AT ITER 2376 NEW BEST:: SOT 94235 SOS 40235 HAS SOPS 39040 HAS SOUS 21132 HAS SOUPS 20216 WITH SCORE 20256.235
AT ITER 2385 NEW BEST:: SOT 94226 SOS 40228 HAS SOPS 39033 HAS SOUS 21131 HAS SOUPS 20215 WITH SCORE 20255.228
AT ITER 2389 NEW BEST:: SOT 94220 SOS 40232 HAS SOPS 39039 HAS SOUS 21127 HAS SOUPS 20213 WITH SCORE 20253.232
AT ITER 2391 NEW BEST:: SOT 94197 SOS 40198 HAS SOPS 39005 HAS SOUS 21083 HAS SOUPS 20169 WITH SCORE 20209.198
AT ITER 2433 NEW BEST:: SOT 94095 SOS 40214 HAS SOPS 39021 HAS SOUS 21077 HAS SOUPS 20163 WITH SCORE 20203.214
AT ITER 2447 NEW BEST:: SOT 94102 SOS 40179 HAS SOPS 38986 HAS SOUS 21056 HAS SOUPS 20142 WITH SCORE 20182.179
AT ITER 2461 NEW BEST:: SOT 94072 SOS 40149 HAS SOPS 38956 HAS SOUS 21056 HAS SOUPS 20142 WITH SCORE 20182.149
AT ITER 2473 NEW BEST:: SOT 94019 SOS 40096 HAS SOPS 38903 HAS SOUS 21022 HAS SOUPS 20108 WITH SCORE 20148.096
AT ITER 2479 NEW BEST:: SOT 93951 SOS 39968 HAS SOPS 38775 HAS SOUS 20976 HAS SOUPS 20062 WITH SCORE 20101.968
AT ITER 2484 NEW BEST:: SOT 93943 SOS 39959 HAS SOPS 38766 HAS SOUS 20960 HAS SOUPS 20046 WITH SCORE 20085.959
AT ITER 2493 NEW BEST:: SOT 93920 SOS 39693 HAS SOPS 38500 HAS SOUS 20937 HAS SOUPS 20023 WITH SCORE 20062.693
AT ITER 2500 NEW BEST:: SOT 93919 SOS 39691 HAS SOPS 38498 HAS SOUS 20935 HAS SOUPS 20021 WITH SCORE 20060.691
AT ITER 2540 NEW BEST:: SOT 93849 SOS 39700 HAS SOPS 38507 HAS SOUS 20915 HAS SOUPS 20001 WITH SCORE 20040.7
AT ITER 2545 NEW BEST:: SOT 93845 SOS 39685 HAS SOPS 38492 HAS SOUS 20905 HAS SOUPS 19991 WITH SCORE 20030.685
AT ITER 2552 NEW BEST:: SOT 93799 SOS 40013 HAS SOPS 38820 HAS SOUS 20842 HAS SOUPS 19928 WITH SCORE 19968.013
AT ITER 2578 NEW BEST:: SOT 93799 SOS 40013 HAS SOPS 38820 HAS SOUS 20830 HAS SOUPS 19916 WITH SCORE 19956.013
AT ITER 2612 NEW BEST:: SOT 93742 SOS 39903 HAS SOPS 38710 HAS SOUS 20830 HAS SOUPS 19916 WITH SCORE 19955.903
AT ITER 2615 NEW BEST:: SOT 93694 SOS 40205 HAS SOPS 39012 HAS SOUS 20817 HAS SOUPS 19903 WITH SCORE 19943.205
AT ITER 2618 NEW BEST:: SOT 93694 SOS 40205 HAS SOPS 39012 HAS SOUS 20814 HAS SOUPS 19900 WITH SCORE 19940.205
AT ITER 2619 NEW BEST:: SOT 93721 SOS 40245 HAS SOPS 39039 HAS SOUS 20815 HAS SOUPS 19888 WITH SCORE 19928.245
AT ITER 2622 NEW BEST:: SOT 93709 SOS 40203 HAS SOPS 38994 HAS SOUS 20806 HAS SOUPS 19876 WITH SCORE 19916.203
AT ITER 2623 NEW BEST:: SOT 93687 SOS 40073 HAS SOPS 38864 HAS SOUS 20776 HAS SOUPS 19846 WITH SCORE 19886.073
AT ITER 2624 NEW BEST:: SOT 93681 SOS 40067 HAS SOPS 38858 HAS SOUS 20770 HAS SOUPS 19840 WITH SCORE 19880.067
AT ITER 2666 NEW BEST:: SOT 93672 SOS 40058 HAS SOPS 38849 HAS SOUS 20763 HAS SOUPS 19833 WITH SCORE 19873.058
AT ITER 2668 NEW BEST:: SOT 93678 SOS 40064 HAS SOPS 38855 HAS SOUS 20752 HAS SOUPS 19822 WITH SCORE 19862.064
AT ITER 2722 NEW BEST:: SOT 93683 SOS 40069 HAS SOPS 38860 HAS SOUS 20744 HAS SOUPS 19814 WITH SCORE 19854.069
AT ITER 2736 NEW BEST:: SOT 93683 SOS 40024 HAS SOPS 38815 HAS SOUS 20742 HAS SOUPS 19812 WITH SCORE 19852.024
AT ITER 2743 NEW BEST:: SOT 93686 SOS 40004 HAS SOPS 38795 HAS SOUS 20742 HAS SOUPS 19812 WITH SCORE 19852.004
AT ITER 2749 NEW BEST:: SOT 93673 SOS 39991 HAS SOPS 38782 HAS SOUS 20723 HAS SOUPS 19793 WITH SCORE 19832.991
AT ITER 2751 NEW BEST:: SOT 93641 SOS 40062 HAS SOPS 38853 HAS SOUS 20697 HAS SOUPS 19767 WITH SCORE 19807.062
AT ITER 2774 NEW BEST:: SOT 93641 SOS 40062 HAS SOPS 38853 HAS SOUS 20691 HAS SOUPS 19761 WITH SCORE 19801.062
AT ITER 2784 NEW BEST:: SOT 93637 SOS 40058 HAS SOPS 38849 HAS SOUS 20691 HAS SOUPS 19761 WITH SCORE 19801.058
AT ITER 2786 NEW BEST:: SOT 93631 SOS 39326 HAS SOPS 38117 HAS SOUS 20665 HAS SOUPS 19735 WITH SCORE 19774.326
AT ITER 2788 NEW BEST:: SOT 93616 SOS 39284 HAS SOPS 38075 HAS SOUS 20653 HAS SOUPS 19723 WITH SCORE 19762.284
AT ITER 2799 NEW BEST:: SOT 93390 SOS 39093 HAS SOPS 37884 HAS SOUS 20528 HAS SOUPS 19598 WITH SCORE 19637.093
AT ITER 2805 NEW BEST:: SOT 93390 SOS 39093 HAS SOPS 37884 HAS SOUS 20504 HAS SOUPS 19574 WITH SCORE 19613.093
AT ITER 2832 NEW BEST:: SOT 93390 SOS 39063 HAS SOPS 37854 HAS SOUS 20501 HAS SOUPS 19571 WITH SCORE 19610.063
AT ITER 2847 NEW BEST:: SOT 93378 SOS 39010 HAS SOPS 37801 HAS SOUS 20477 HAS SOUPS 19547 WITH SCORE 19586.01
AT ITER 2860 NEW BEST:: SOT 93312 SOS 38930 HAS SOPS 37728 HAS SOUS 20439 HAS SOUPS 19516 WITH SCORE 19554.93
AT ITER 2911 NEW BEST:: SOT 93270 SOS 38888 HAS SOPS 37686 HAS SOUS 20409 HAS SOUPS 19486 WITH SCORE 19524.888
AT ITER 2913 NEW BEST:: SOT 93216 SOS 38816 HAS SOPS 37614 HAS SOUS 20409 HAS SOUPS 19486 WITH SCORE 19524.816
AT ITER 2923 NEW BEST:: SOT 93235 SOS 38583 HAS SOPS 37377 HAS SOUS 20411 HAS SOUPS 19484 WITH SCORE 19522.583
AT ITER 2965 NEW BEST:: SOT 93290 SOS 38638 HAS SOPS 37432 HAS SOUS 20368 HAS SOUPS 19441 WITH SCORE 19479.638
AT ITER 2969 NEW BEST:: SOT 93290 SOS 38634 HAS SOPS 37428 HAS SOUS 20331 HAS SOUPS 19404 WITH SCORE 19442.634
AT ITER 2983 NEW BEST:: SOT 93218 SOS 38536 HAS SOPS 37330 HAS SOUS 20278 HAS SOUPS 19351 WITH SCORE 19389.536
AT ITER 2997 NEW BEST:: SOT 93238 SOS 38458 HAS SOPS 37252 HAS SOUS 20272 HAS SOUPS 19345 WITH SCORE 19383.458
AT ITER 3015 NEW BEST:: SOT 93224 SOS 38434 HAS SOPS 37228 HAS SOUS 20270 HAS SOUPS 19343 WITH SCORE 19381.434
AT ITER 3023 NEW BEST:: SOT 93205 SOS 38404 HAS SOPS 37198 HAS SOUS 20238 HAS SOUPS 19311 WITH SCORE 19349.404
AT ITER 3033 NEW BEST:: SOT 93166 SOS 37953 HAS SOPS 36747 HAS SOUS 20230 HAS SOUPS 19303 WITH SCORE 19340.953
AT ITER 3034 NEW BEST:: SOT 93169 SOS 37956 HAS SOPS 36750 HAS SOUS 20227 HAS SOUPS 19300 WITH SCORE 19337.956
AT ITER 3035 NEW BEST:: SOT 93171 SOS 37958 HAS SOPS 36752 HAS SOUS 20211 HAS SOUPS 19284 WITH SCORE 19321.958
AT ITER 3050 NEW BEST:: SOT 93139 SOS 37926 HAS SOPS 36720 HAS SOUS 20099 HAS SOUPS 19172 WITH SCORE 19209.926
AT ITER 3058 NEW BEST:: SOT 93129 SOS 37916 HAS SOPS 36710 HAS SOUS 20050 HAS SOUPS 19123 WITH SCORE 19160.916
AT ITER 3077 NEW BEST:: SOT 93125 SOS 37880 HAS SOPS 36674 HAS SOUS 20050 HAS SOUPS 19123 WITH SCORE 19160.88
AT ITER 3101 NEW BEST:: SOT 93138 SOS 37869 HAS SOPS 36663 HAS SOUS 20038 HAS SOUPS 19111 WITH SCORE 19148.869
AT ITER 3139 NEW BEST:: SOT 93138 SOS 38043 HAS SOPS 36861 HAS SOUS 20013 HAS SOUPS 19110 WITH SCORE 19148.043
AT ITER 3158 NEW BEST:: SOT 93307 SOS 38080 HAS SOPS 36898 HAS SOUS 20007 HAS SOUPS 19104 WITH SCORE 19142.08
AT ITER 3160 NEW BEST:: SOT 93372 SOS 38661 HAS SOPS 37483 HAS SOUS 19998 HAS SOUPS 19099 WITH SCORE 19137.661
AT ITER 3176 NEW BEST:: SOT 93372 SOS 38634 HAS SOPS 37456 HAS SOUS 19998 HAS SOUPS 19099 WITH SCORE 19137.634
AT ITER 3195 NEW BEST:: SOT 93372 SOS 38544 HAS SOPS 37348 HAS SOUS 20016 HAS SOUPS 19099 WITH SCORE 19137.544
AT ITER 3204 NEW BEST:: SOT 93281 SOS 38462 HAS SOPS 37266 HAS SOUS 19982 HAS SOUPS 19065 WITH SCORE 19103.462
AT ITER 3206 NEW BEST:: SOT 93257 SOS 38435 HAS SOPS 37239 HAS SOUS 19967 HAS SOUPS 19050 WITH SCORE 19088.435
AT ITER 3228 NEW BEST:: SOT 93197 SOS 38375 HAS SOPS 37179 HAS SOUS 19961 HAS SOUPS 19044 WITH SCORE 19082.375
AT ITER 3234 NEW BEST:: SOT 93168 SOS 38364 HAS SOPS 37168 HAS SOUS 19959 HAS SOUPS 19042 WITH SCORE 19080.364
AT ITER 3238 NEW BEST:: SOT 93150 SOS 38314 HAS SOPS 37118 HAS SOUS 19953 HAS SOUPS 19036 WITH SCORE 19074.314
AT ITER 3239 NEW BEST:: SOT 93195 SOS 38197 HAS SOPS 37001 HAS SOUS 19863 HAS SOUPS 18946 WITH SCORE 18984.197
AT ITER 3265 NEW BEST:: SOT 93200 SOS 38040 HAS SOPS 36832 HAS SOUS 19850 HAS SOUPS 18921 WITH SCORE 18959.04
AT ITER 3279 NEW BEST:: SOT 93193 SOS 38410 HAS SOPS 37202 HAS SOUS 19846 HAS SOUPS 18917 WITH SCORE 18955.41
AT ITER 3290 NEW BEST:: SOT 93084 SOS 38301 HAS SOPS 37093 HAS SOUS 19792 HAS SOUPS 18863 WITH SCORE 18901.301
AT ITER 3296 NEW BEST:: SOT 93045 SOS 38236 HAS SOPS 37028 HAS SOUS 19789 HAS SOUPS 18860 WITH SCORE 18898.236
AT ITER 3306 NEW BEST:: SOT 92690 SOS 36962 HAS SOPS 35652 HAS SOUS 19726 HAS SOUPS 18695 WITH SCORE 18731.962
AT ITER 3327 NEW BEST:: SOT 92688 SOS 36960 HAS SOPS 35650 HAS SOUS 19726 HAS SOUPS 18695 WITH SCORE 18731.96
AT ITER 3339 NEW BEST:: SOT 92629 SOS 36875 HAS SOPS 35565 HAS SOUS 19698 HAS SOUPS 18667 WITH SCORE 18703.875
AT ITER 3348 NEW BEST:: SOT 92633 SOS 36879 HAS SOPS 35569 HAS SOUS 19694 HAS SOUPS 18663 WITH SCORE 18699.879
AT ITER 3355 NEW BEST:: SOT 92622 SOS 36862 HAS SOPS 35552 HAS SOUS 19670 HAS SOUPS 18639 WITH SCORE 18675.862
AT ITER 3357 NEW BEST:: SOT 92587 SOS 37257 HAS SOPS 35947 HAS SOUS 19658 HAS SOUPS 18627 WITH SCORE 18664.257
AT ITER 3371 NEW BEST:: SOT 92566 SOS 37308 HAS SOPS 35998 HAS SOUS 19615 HAS SOUPS 18584 WITH SCORE 18621.308
AT ITER 3374 NEW BEST:: SOT 92559 SOS 37229 HAS SOPS 35919 HAS SOUS 19567 HAS SOUPS 18536 WITH SCORE 18573.229
AT ITER 3377 NEW BEST:: SOT 92538 SOS 37226 HAS SOPS 35916 HAS SOUS 19546 HAS SOUPS 18515 WITH SCORE 18552.226
AT ITER 3384 NEW BEST:: SOT 92538 SOS 37223 HAS SOPS 35913 HAS SOUS 19546 HAS SOUPS 18515 WITH SCORE 18552.223
AT ITER 3441 NEW BEST:: SOT 92537 SOS 37249 HAS SOPS 35956 HAS SOUS 19520 HAS SOUPS 18506 WITH SCORE 18543.249
AT ITER 3471 NEW BEST:: SOT 92509 SOS 37221 HAS SOPS 35928 HAS SOUS 19502 HAS SOUPS 18488 WITH SCORE 18525.221
AT ITER 3475 NEW BEST:: SOT 92509 SOS 37221 HAS SOPS 35928 HAS SOUS 19500 HAS SOUPS 18486 WITH SCORE 18523.221
AT ITER 3477 NEW BEST:: SOT 92482 SOS 37112 HAS SOPS 35819 HAS SOUS 19487 HAS SOUPS 18473 WITH SCORE 18510.112
AT ITER 3522 NEW BEST:: SOT 92434 SOS 37022 HAS SOPS 35729 HAS SOUS 19474 HAS SOUPS 18460 WITH SCORE 18497.022
AT ITER 3545 NEW BEST:: SOT 92480 SOS 37002 HAS SOPS 35692 HAS SOUS 19482 HAS SOUPS 18451 WITH SCORE 18488.002
AT ITER 3558 NEW BEST:: SOT 92477 SOS 36999 HAS SOPS 35689 HAS SOUS 19478 HAS SOUPS 18447 WITH SCORE 18483.999
AT ITER 3576 NEW BEST:: SOT 92533 SOS 36915 HAS SOPS 35605 HAS SOUS 19434 HAS SOUPS 18403 WITH SCORE 18439.915
AT ITER 3611 NEW BEST:: SOT 92503 SOS 36885 HAS SOPS 35575 HAS SOUS 19410 HAS SOUPS 18379 WITH SCORE 18415.885
AT ITER 3617 NEW BEST:: SOT 92508 SOS 36870 HAS SOPS 35560 HAS SOUS 19410 HAS SOUPS 18379 WITH SCORE 18415.87
AT ITER 3637 NEW BEST:: SOT 92475 SOS 36810 HAS SOPS 35500 HAS SOUS 19336 HAS SOUPS 18305 WITH SCORE 18341.81
AT ITER 3654 NEW BEST:: SOT 92544 SOS 36787 HAS SOPS 35468 HAS SOUS 19322 HAS SOUPS 18282 WITH SCORE 18318.787
AT ITER 3663 NEW BEST:: SOT 92544 SOS 36733 HAS SOPS 35414 HAS SOUS 19322 HAS SOUPS 18282 WITH SCORE 18318.733
AT ITER 3686 NEW BEST:: SOT 92528 SOS 36623 HAS SOPS 35304 HAS SOUS 19300 HAS SOUPS 18260 WITH SCORE 18296.623
AT ITER 3693 NEW BEST:: SOT 92587 SOS 36680 HAS SOPS 35361 HAS SOUS 19282 HAS SOUPS 18242 WITH SCORE 18278.68
AT ITER 3694 NEW BEST:: SOT 92416 SOS 36440 HAS SOPS 35121 HAS SOUS 19153 HAS SOUPS 18113 WITH SCORE 18149.44
AT ITER 3751 NEW BEST:: SOT 92391 SOS 36415 HAS SOPS 35096 HAS SOUS 19103 HAS SOUPS 18063 WITH SCORE 18099.415
AT ITER 3774 NEW BEST:: SOT 92384 SOS 36408 HAS SOPS 35089 HAS SOUS 19094 HAS SOUPS 18054 WITH SCORE 18090.408
AT ITER 3778 NEW BEST:: SOT 92384 SOS 36423 HAS SOPS 35104 HAS SOUS 19089 HAS SOUPS 18049 WITH SCORE 18085.423
AT ITER 3810 NEW BEST:: SOT 92363 SOS 36412 HAS SOPS 35093 HAS SOUS 19067 HAS SOUPS 18027 WITH SCORE 18063.412
AT ITER 3837 NEW BEST:: SOT 92421 SOS 36475 HAS SOPS 35156 HAS SOUS 19065 HAS SOUPS 18025 WITH SCORE 18061.475
AT ITER 3855 NEW BEST:: SOT 92411 SOS 36460 HAS SOPS 35141 HAS SOUS 19055 HAS SOUPS 18015 WITH SCORE 18051.46
AT ITER 3865 NEW BEST:: SOT 92366 SOS 36406 HAS SOPS 35087 HAS SOUS 19019 HAS SOUPS 17979 WITH SCORE 18015.406
AT ITER 3867 NEW BEST:: SOT 92366 SOS 36406 HAS SOPS 35087 HAS SOUS 19013 HAS SOUPS 17973 WITH SCORE 18009.406
AT ITER 3885 NEW BEST:: SOT 92384 SOS 36387 HAS SOPS 35068 HAS SOUS 18984 HAS SOUPS 17944 WITH SCORE 17980.387
AT ITER 3896 NEW BEST:: SOT 92320 SOS 36323 HAS SOPS 35004 HAS SOUS 18947 HAS SOUPS 17907 WITH SCORE 17943.323
AT ITER 3902 NEW BEST:: SOT 92281 SOS 36326 HAS SOPS 35007 HAS SOUS 18941 HAS SOUPS 17901 WITH SCORE 17937.326
AT ITER 3906 NEW BEST:: SOT 92280 SOS 36255 HAS SOPS 34936 HAS SOUS 18901 HAS SOUPS 17861 WITH SCORE 17897.255
AT ITER 3942 NEW BEST:: SOT 92263 SOS 36238 HAS SOPS 34919 HAS SOUS 18884 HAS SOUPS 17844 WITH SCORE 17880.238
AT ITER 3953 NEW BEST:: SOT 92318 SOS 36293 HAS SOPS 34974 HAS SOUS 18851 HAS SOUPS 17811 WITH SCORE 17847.293
AT ITER 3956 NEW BEST:: SOT 92329 SOS 36280 HAS SOPS 34960 HAS SOUS 18841 HAS SOUPS 17801 WITH SCORE 17837.28
AT ITER 4030 NEW BEST:: SOT 92330 SOS 36277 HAS SOPS 34957 HAS SOUS 18837 HAS SOUPS 17797 WITH SCORE 17833.277
AT ITER 4034 NEW BEST:: SOT 92330 SOS 36267 HAS SOPS 34947 HAS SOUS 18837 HAS SOUPS 17797 WITH SCORE 17833.267
AT ITER 4044 NEW BEST:: SOT 92331 SOS 36262 HAS SOPS 34942 HAS SOUS 18837 HAS SOUPS 17797 WITH SCORE 17833.262
AT ITER 4057 NEW BEST:: SOT 92338 SOS 36262 HAS SOPS 34942 HAS SOUS 18823 HAS SOUPS 17783 WITH SCORE 17819.262
AT ITER 4096 NEW BEST:: SOT 92340 SOS 36264 HAS SOPS 34948 HAS SOUS 18817 HAS SOUPS 17781 WITH SCORE 17817.264
AT ITER 4101 NEW BEST:: SOT 92352 SOS 36180 HAS SOPS 34864 HAS SOUS 18770 HAS SOUPS 17734 WITH SCORE 17770.18
AT ITER 4113 NEW BEST:: SOT 92362 SOS 36229 HAS SOPS 34879 HAS SOUS 18781 HAS SOUPS 17728 WITH SCORE 17764.229
AT ITER 4176 NEW BEST:: SOT 92282 SOS 35492 HAS SOPS 34142 HAS SOUS 18736 HAS SOUPS 17683 WITH SCORE 17718.492
AT ITER 4228 NEW BEST:: SOT 92273 SOS 35453 HAS SOPS 34103 HAS SOUS 18732 HAS SOUPS 17679 WITH SCORE 17714.453
AT ITER 4234 NEW BEST:: SOT 92289 SOS 35422 HAS SOPS 34069 HAS SOUS 18704 HAS SOUPS 17648 WITH SCORE 17683.422
AT ITER 4244 NEW BEST:: SOT 92263 SOS 35021 HAS SOPS 33852 HAS SOUS 18452 HAS SOUPS 17580 WITH SCORE 17615.021
AT ITER 4245 NEW BEST:: SOT 92261 SOS 35017 HAS SOPS 33850 HAS SOUS 18448 HAS SOUPS 17578 WITH SCORE 17613.017
AT ITER 4250 NEW BEST:: SOT 92167 SOS 34829 HAS SOPS 33662 HAS SOUS 18439 HAS SOUPS 17569 WITH SCORE 17603.829
AT ITER 4258 NEW BEST:: SOT 92158 SOS 34748 HAS SOPS 33554 HAS SOUS 18430 HAS SOUPS 17533 WITH SCORE 17567.748
AT ITER 4268 NEW BEST:: SOT 92150 SOS 34740 HAS SOPS 33546 HAS SOUS 18417 HAS SOUPS 17520 WITH SCORE 17554.74
AT ITER 4273 NEW BEST:: SOT 92154 SOS 34762 HAS SOPS 33568 HAS SOUS 18393 HAS SOUPS 17496 WITH SCORE 17530.762
AT ITER 4274 NEW BEST:: SOT 92154 SOS 34762 HAS SOPS 33568 HAS SOUS 18383 HAS SOUPS 17486 WITH SCORE 17520.762
AT ITER 4281 NEW BEST:: SOT 92085 SOS 34680 HAS SOPS 33499 HAS SOUS 18356 HAS SOUPS 17472 WITH SCORE 17506.68
AT ITER 4285 NEW BEST:: SOT 92001 SOS 34556 HAS SOPS 33375 HAS SOUS 18293 HAS SOUPS 17409 WITH SCORE 17443.556
AT ITER 4298 NEW BEST:: SOT 91998 SOS 34544 HAS SOPS 33350 HAS SOUS 18290 HAS SOUPS 17393 WITH SCORE 17427.544
AT ITER 4302 NEW BEST:: SOT 91997 SOS 34468 HAS SOPS 33274 HAS SOUS 18289 HAS SOUPS 17392 WITH SCORE 17426.468
AT ITER 4303 NEW BEST:: SOT 91970 SOS 34441 HAS SOPS 33247 HAS SOUS 18225 HAS SOUPS 17328 WITH SCORE 17362.441
AT ITER 4308 NEW BEST:: SOT 92004 SOS 34475 HAS SOPS 33281 HAS SOUS 18205 HAS SOUPS 17308 WITH SCORE 17342.475
AT ITER 4309 NEW BEST:: SOT 91994 SOS 34465 HAS SOPS 33271 HAS SOUS 18200 HAS SOUPS 17303 WITH SCORE 17337.465
AT ITER 4310 NEW BEST:: SOT 91993 SOS 34456 HAS SOPS 33262 HAS SOUS 18198 HAS SOUPS 17301 WITH SCORE 17335.456
AT ITER 4330 NEW BEST:: SOT 91981 SOS 34427 HAS SOPS 33245 HAS SOUS 18196 HAS SOUPS 17299 WITH SCORE 17333.427
AT ITER 4334 NEW BEST:: SOT 91980 SOS 34419 HAS SOPS 33237 HAS SOUS 18196 HAS SOUPS 17299 WITH SCORE 17333.419
AT ITER 4348 NEW BEST:: SOT 91949 SOS 34465 HAS SOPS 33283 HAS SOUS 18190 HAS SOUPS 17293 WITH SCORE 17327.465
AT ITER 4373 NEW BEST:: SOT 91910 SOS 34443 HAS SOPS 33246 HAS SOUS 18181 HAS SOUPS 17269 WITH SCORE 17303.443
AT ITER 4391 NEW BEST:: SOT 91872 SOS 34398 HAS SOPS 33201 HAS SOUS 18141 HAS SOUPS 17229 WITH SCORE 17263.398
AT ITER 4410 NEW BEST:: SOT 91876 SOS 34402 HAS SOPS 33205 HAS SOUS 18134 HAS SOUPS 17222 WITH SCORE 17256.402
AT ITER 4424 NEW BEST:: SOT 91853 SOS 34335 HAS SOPS 33138 HAS SOUS 18101 HAS SOUPS 17189 WITH SCORE 17223.335
AT ITER 4427 NEW BEST:: SOT 91833 SOS 34496 HAS SOPS 33337 HAS SOUS 18062 HAS SOUPS 17179 WITH SCORE 17213.496
AT ITER 4452 NEW BEST:: SOT 91807 SOS 34288 HAS SOPS 33129 HAS SOUS 18036 HAS SOUPS 17153 WITH SCORE 17187.288
AT ITER 4489 NEW BEST:: SOT 91609 SOS 34126 HAS SOPS 32967 HAS SOUS 17852 HAS SOUPS 16969 WITH SCORE 17003.126
AT ITER 4511 NEW BEST:: SOT 91582 SOS 34099 HAS SOPS 32940 HAS SOUS 17841 HAS SOUPS 16958 WITH SCORE 16992.099
AT ITER 4593 NEW BEST:: SOT 91604 SOS 34055 HAS SOPS 32896 HAS SOUS 17841 HAS SOUPS 16958 WITH SCORE 16992.055
AT ITER 4594 NEW BEST:: SOT 91597 SOS 34054 HAS SOPS 32895 HAS SOUS 17840 HAS SOUPS 16957 WITH SCORE 16991.054
AT ITER 4610 NEW BEST:: SOT 91588 SOS 34045 HAS SOPS 32886 HAS SOUS 17827 HAS SOUPS 16944 WITH SCORE 16978.045
AT ITER 4617 NEW BEST:: SOT 91560 SOS 33748 HAS SOPS 32589 HAS SOUS 17808 HAS SOUPS 16925 WITH SCORE 16958.748
AT ITER 4664 NEW BEST:: SOT 91560 SOS 33794 HAS SOPS 32635 HAS SOUS 17760 HAS SOUPS 16877 WITH SCORE 16910.794
AT ITER 4678 NEW BEST:: SOT 91594 SOS 33760 HAS SOPS 32601 HAS SOUS 17744 HAS SOUPS 16861 WITH SCORE 16894.76
AT ITER 4684 NEW BEST:: SOT 91625 SOS 33737 HAS SOPS 32578 HAS SOUS 17722 HAS SOUPS 16839 WITH SCORE 16872.737
AT ITER 4696 NEW BEST:: SOT 91619 SOS 33735 HAS SOPS 32576 HAS SOUS 17720 HAS SOUPS 16837 WITH SCORE 16870.735
AT ITER 4706 NEW BEST:: SOT 91621 SOS 33737 HAS SOPS 32578 HAS SOUS 17710 HAS SOUPS 16827 WITH SCORE 16860.737
AT ITER 4719 NEW BEST:: SOT 91621 SOS 33737 HAS SOPS 32578 HAS SOUS 17706 HAS SOUPS 16823 WITH SCORE 16856.737
AT ITER 4723 NEW BEST:: SOT 91607 SOS 33693 HAS SOPS 32534 HAS SOUS 17698 HAS SOUPS 16815 WITH SCORE 16848.693
AT ITER 4744 NEW BEST:: SOT 91639 SOS 33725 HAS SOPS 32566 HAS SOUS 17695 HAS SOUPS 16812 WITH SCORE 16845.725
AT ITER 4820 NEW BEST:: SOT 91605 SOS 33711 HAS SOPS 32552 HAS SOUS 17675 HAS SOUPS 16792 WITH SCORE 16825.711
AT ITER 4890 NEW BEST:: SOT 91561 SOS 33744 HAS SOPS 32585 HAS SOUS 17659 HAS SOUPS 16776 WITH SCORE 16809.744
AT ITER 4922 NEW BEST:: SOT 91466 SOS 33737 HAS SOPS 32577 HAS SOUS 17600 HAS SOUPS 16716 WITH SCORE 16749.737
AT ITER 4924 NEW BEST:: SOT 91466 SOS 33737 HAS SOPS 32575 HAS SOUS 17598 HAS SOUPS 16714 WITH SCORE 16747.737
AT ITER 4987 NEW BEST:: SOT 91560 SOS 33772 HAS SOPS 32640 HAS SOUS 17546 HAS SOUPS 16692 WITH SCORE 16725.772
AT ITER 5013 NEW BEST:: SOT 91573 SOS 33800 HAS SOPS 32668 HAS SOUS 17544 HAS SOUPS 16690 WITH SCORE 16723.8
AT ITER 5014 NEW BEST:: SOT 91583 SOS 33810 HAS SOPS 32678 HAS SOUS 17540 HAS SOUPS 16686 WITH SCORE 16719.81
AT ITER 5041 NEW BEST:: SOT 91539 SOS 33810 HAS SOPS 32678 HAS SOUS 17496 HAS SOUPS 16642 WITH SCORE 16675.81
AT ITER 5061 NEW BEST:: SOT 91439 SOS 33712 HAS SOPS 32580 HAS SOUS 17445 HAS SOUPS 16591 WITH SCORE 16624.712
AT ITER 5070 NEW BEST:: SOT 91434 SOS 33707 HAS SOPS 32575 HAS SOUS 17435 HAS SOUPS 16581 WITH SCORE 16614.707
AT ITER 5078 NEW BEST:: SOT 91425 SOS 33698 HAS SOPS 32497 HAS SOUS 17433 HAS SOUPS 16510 WITH SCORE 16543.698
AT ITER 5092 NEW BEST:: SOT 91421 SOS 33694 HAS SOPS 32493 HAS SOUS 17429 HAS SOUPS 16506 WITH SCORE 16539.694
AT ITER 5153 NEW BEST:: SOT 91449 SOS 33665 HAS SOPS 32461 HAS SOUS 17408 HAS SOUPS 16485 WITH SCORE 16518.665
AT ITER 5173 NEW BEST:: SOT 91330 SOS 33567 HAS SOPS 32363 HAS SOUS 17343 HAS SOUPS 16420 WITH SCORE 16453.567
AT ITER 5184 NEW BEST:: SOT 91356 SOS 33604 HAS SOPS 32400 HAS SOUS 17336 HAS SOUPS 16413 WITH SCORE 16446.604
AT ITER 5202 NEW BEST:: SOT 91380 SOS 33467 HAS SOPS 32209 HAS SOUS 17323 HAS SOUPS 16373 WITH SCORE 16406.467
AT ITER 5214 NEW BEST:: SOT 91376 SOS 33463 HAS SOPS 32205 HAS SOUS 17319 HAS SOUPS 16369 WITH SCORE 16402.463
AT ITER 5227 NEW BEST:: SOT 91376 SOS 33203 HAS SOPS 31945 HAS SOUS 17319 HAS SOUPS 16369 WITH SCORE 16402.203
AT ITER 5228 NEW BEST:: SOT 91359 SOS 33188 HAS SOPS 31930 HAS SOUS 17309 HAS SOUPS 16359 WITH SCORE 16392.188
AT ITER 5230 NEW BEST:: SOT 91313 SOS 33027 HAS SOPS 31746 HAS SOUS 17260 HAS SOUPS 16296 WITH SCORE 16329.027
AT ITER 5312 NEW BEST:: SOT 91238 SOS 33259 HAS SOPS 31978 HAS SOUS 17235 HAS SOUPS 16271 WITH SCORE 16304.259
AT ITER 5343 NEW BEST:: SOT 91220 SOS 33241 HAS SOPS 31960 HAS SOUS 17226 HAS SOUPS 16262 WITH SCORE 16295.241
AT ITER 5346 NEW BEST:: SOT 90971 SOS 32888 HAS SOPS 31720 HAS SOUS 17093 HAS SOUPS 16242 WITH SCORE 16274.888
AT ITER 5352 NEW BEST:: SOT 90967 SOS 32884 HAS SOPS 31716 HAS SOUS 17091 HAS SOUPS 16240 WITH SCORE 16272.884
AT ITER 5374 NEW BEST:: SOT 90891 SOS 32842 HAS SOPS 31674 HAS SOUS 17062 HAS SOUPS 16211 WITH SCORE 16243.842
AT ITER 5391 NEW BEST:: SOT 90878 SOS 32819 HAS SOPS 31651 HAS SOUS 17033 HAS SOUPS 16182 WITH SCORE 16214.819
AT ITER 5407 NEW BEST:: SOT 90893 SOS 32850 HAS SOPS 31682 HAS SOUS 17028 HAS SOUPS 16177 WITH SCORE 16209.85
AT ITER 5447 NEW BEST:: SOT 90879 SOS 32796 HAS SOPS 31628 HAS SOUS 16984 HAS SOUPS 16133 WITH SCORE 16165.796
AT ITER 5453 NEW BEST:: SOT 90877 SOS 32794 HAS SOPS 31626 HAS SOUS 16982 HAS SOUPS 16131 WITH SCORE 16163.794
AT ITER 5467 NEW BEST:: SOT 90830 SOS 32477 HAS SOPS 31277 HAS SOUS 16961 HAS SOUPS 16078 WITH SCORE 16110.477
AT ITER 5506 NEW BEST:: SOT 90830 SOS 32450 HAS SOPS 31244 HAS SOUS 16961 HAS SOUPS 16075 WITH SCORE 16107.45
AT ITER 5530 NEW BEST:: SOT 90847 SOS 32467 HAS SOPS 31261 HAS SOUS 16946 HAS SOUPS 16060 WITH SCORE 16092.467
AT ITER 5558 NEW BEST:: SOT 90828 SOS 32452 HAS SOPS 31246 HAS SOUS 16937 HAS SOUPS 16051 WITH SCORE 16083.452
AT ITER 5567 NEW BEST:: SOT 90806 SOS 32430 HAS SOPS 31224 HAS SOUS 16893 HAS SOUPS 16007 WITH SCORE 16039.43
AT ITER 5600 NEW BEST:: SOT 90804 SOS 32426 HAS SOPS 31220 HAS SOUS 16889 HAS SOUPS 16003 WITH SCORE 16035.426
AT ITER 5606 NEW BEST:: SOT 90816 SOS 32390 HAS SOPS 31184 HAS SOUS 16861 HAS SOUPS 15975 WITH SCORE 16007.39
AT ITER 5628 NEW BEST:: SOT 90817 SOS 32347 HAS SOPS 31141 HAS SOUS 16850 HAS SOUPS 15964 WITH SCORE 15996.347
AT ITER 5633 NEW BEST:: SOT 90809 SOS 32339 HAS SOPS 31133 HAS SOUS 16842 HAS SOUPS 15956 WITH SCORE 15988.339
AT ITER 5647 NEW BEST:: SOT 90745 SOS 32275 HAS SOPS 31069 HAS SOUS 16743 HAS SOUPS 15857 WITH SCORE 15889.275
AT ITER 5667 NEW BEST:: SOT 90745 SOS 32275 HAS SOPS 31069 HAS SOUS 16732 HAS SOUPS 15846 WITH SCORE 15878.275
AT ITER 5682 NEW BEST:: SOT 90744 SOS 32274 HAS SOPS 31068 HAS SOUS 16732 HAS SOUPS 15846 WITH SCORE 15878.274
AT ITER 5702 NEW BEST:: SOT 90716 SOS 32234 HAS SOPS 31028 HAS SOUS 16680 HAS SOUPS 15794 WITH SCORE 15826.234
AT ITER 5725 NEW BEST:: SOT 90720 SOS 32237 HAS SOPS 31031 HAS SOUS 16660 HAS SOUPS 15774 WITH SCORE 15806.237
AT ITER 5742 NEW BEST:: SOT 90707 SOS 32224 HAS SOPS 31018 HAS SOUS 16652 HAS SOUPS 15766 WITH SCORE 15798.224
AT ITER 5745 NEW BEST:: SOT 90702 SOS 32184 HAS SOPS 30978 HAS SOUS 16647 HAS SOUPS 15761 WITH SCORE 15793.184
AT ITER 5824 NEW BEST:: SOT 90734 SOS 32283 HAS SOPS 31077 HAS SOUS 16646 HAS SOUPS 15760 WITH SCORE 15792.283
AT ITER 5826 NEW BEST:: SOT 90712 SOS 32265 HAS SOPS 31061 HAS SOUS 16646 HAS SOUPS 15760 WITH SCORE 15792.265
AT ITER 5831 NEW BEST:: SOT 90707 SOS 32188 HAS SOPS 31056 HAS SOUS 16522 HAS SOUPS 15708 WITH SCORE 15740.188
AT ITER 5899 NEW BEST:: SOT 90701 SOS 32182 HAS SOPS 31050 HAS SOUS 16521 HAS SOUPS 15707 WITH SCORE 15739.182
AT ITER 5903 NEW BEST:: SOT 90619 SOS 32238 HAS SOPS 31106 HAS SOUS 16502 HAS SOUPS 15688 WITH SCORE 15720.238
AT ITER 5908 NEW BEST:: SOT 90471 SOS 32060 HAS SOPS 30883 HAS SOUS 16439 HAS SOUPS 15580 WITH SCORE 15612.06
AT ITER 5915 NEW BEST:: SOT 90469 SOS 32058 HAS SOPS 30881 HAS SOUS 16436 HAS SOUPS 15577 WITH SCORE 15609.058
AT ITER 5919 NEW BEST:: SOT 90468 SOS 31911 HAS SOPS 30734 HAS SOUS 16425 HAS SOUPS 15566 WITH SCORE 15597.911
AT ITER 5940 NEW BEST:: SOT 90458 SOS 31901 HAS SOPS 30724 HAS SOUS 16408 HAS SOUPS 15549 WITH SCORE 15580.901
AT ITER 5946 NEW BEST:: SOT 90527 SOS 31970 HAS SOPS 30793 HAS SOUS 16393 HAS SOUPS 15534 WITH SCORE 15565.97
AT ITER 5990 NEW BEST:: SOT 90527 SOS 31940 HAS SOPS 30763 HAS SOUS 16393 HAS SOUPS 15534 WITH SCORE 15565.94
AT ITER 5995 NEW BEST:: SOT 90535 SOS 31939 HAS SOPS 30763 HAS SOUS 16387 HAS SOUPS 15529 WITH SCORE 15560.939
AT ITER 6012 NEW BEST:: SOT 90507 SOS 31896 HAS SOPS 30720 HAS SOUS 16359 HAS SOUPS 15501 WITH SCORE 15532.896
AT ITER 6023 NEW BEST:: SOT 90422 SOS 31789 HAS SOPS 30613 HAS SOUS 16308 HAS SOUPS 15450 WITH SCORE 15481.789
AT ITER 6115 NEW BEST:: SOT 90416 SOS 31654 HAS SOPS 30462 HAS SOUS 16272 HAS SOUPS 15398 WITH SCORE 15429.654
AT ITER 6142 NEW BEST:: SOT 90412 SOS 31650 HAS SOPS 30458 HAS SOUS 16268 HAS SOUPS 15394 WITH SCORE 15425.65
AT ITER 6150 NEW BEST:: SOT 90409 SOS 31638 HAS SOPS 30446 HAS SOUS 16265 HAS SOUPS 15391 WITH SCORE 15422.638
AT ITER 6178 NEW BEST:: SOT 90409 SOS 31602 HAS SOPS 30410 HAS SOUS 16261 HAS SOUPS 15387 WITH SCORE 15418.602
AT ITER 6182 NEW BEST:: SOT 90405 SOS 31598 HAS SOPS 30406 HAS SOUS 16259 HAS SOUPS 15385 WITH SCORE 15416.598
AT ITER 6183 NEW BEST:: SOT 90396 SOS 31589 HAS SOPS 30397 HAS SOUS 16259 HAS SOUPS 15385 WITH SCORE 15416.589
AT ITER 6207 NEW BEST:: SOT 90396 SOS 31575 HAS SOPS 30383 HAS SOUS 16245 HAS SOUPS 15371 WITH SCORE 15402.575
AT ITER 6230 NEW BEST:: SOT 90394 SOS 31573 HAS SOPS 30381 HAS SOUS 16245 HAS SOUPS 15371 WITH SCORE 15402.573
AT ITER 6343 NEW BEST:: SOT 90389 SOS 31568 HAS SOPS 30376 HAS SOUS 16240 HAS SOUPS 15366 WITH SCORE 15397.568
AT ITER 6346 NEW BEST:: SOT 90396 SOS 31567 HAS SOPS 30375 HAS SOUS 16240 HAS SOUPS 15366 WITH SCORE 15397.567
AT ITER 6360 NEW BEST:: SOT 90393 SOS 31564 HAS SOPS 30372 HAS SOUS 16237 HAS SOUPS 15363 WITH SCORE 15394.564
AT ITER 6377 NEW BEST:: SOT 90393 SOS 31564 HAS SOPS 30372 HAS SOUS 16227 HAS SOUPS 15353 WITH SCORE 15384.564
AT ITER 6385 NEW BEST:: SOT 90380 SOS 31551 HAS SOPS 30359 HAS SOUS 16227 HAS SOUPS 15353 WITH SCORE 15384.551
AT ITER 6420 NEW BEST:: SOT 90366 SOS 31539 HAS SOPS 30347 HAS SOUS 16211 HAS SOUPS 15337 WITH SCORE 15368.539
AT ITER 6442 NEW BEST:: SOT 90359 SOS 31539 HAS SOPS 30340 HAS SOUS 16213 HAS SOUPS 15332 WITH SCORE 15363.539
AT ITER 6455 NEW BEST:: SOT 90380 SOS 31525 HAS SOPS 30326 HAS SOUS 16199 HAS SOUPS 15318 WITH SCORE 15349.525
AT ITER 6498 NEW BEST:: SOT 90381 SOS 31526 HAS SOPS 30327 HAS SOUS 16198 HAS SOUPS 15317 WITH SCORE 15348.526
AT ITER 6499 NEW BEST:: SOT 90369 SOS 31514 HAS SOPS 30315 HAS SOUS 16198 HAS SOUPS 15317 WITH SCORE 15348.514
AT ITER 6503 NEW BEST:: SOT 90358 SOS 31503 HAS SOPS 30304 HAS SOUS 16185 HAS SOUPS 15304 WITH SCORE 15335.503
AT ITER 6505 NEW BEST:: SOT 90370 SOS 31267 HAS SOPS 30068 HAS SOUS 16176 HAS SOUPS 15295 WITH SCORE 15326.267
AT ITER 6510 NEW BEST:: SOT 90369 SOS 31261 HAS SOPS 30062 HAS SOUS 16175 HAS SOUPS 15294 WITH SCORE 15325.261
AT ITER 6518 NEW BEST:: SOT 90366 SOS 31306 HAS SOPS 30107 HAS SOUS 16173 HAS SOUPS 15292 WITH SCORE 15323.306
AT ITER 6546 NEW BEST:: SOT 90358 SOS 31306 HAS SOPS 30107 HAS SOUS 16165 HAS SOUPS 15284 WITH SCORE 15315.306
AT ITER 6566 NEW BEST:: SOT 90358 SOS 31306 HAS SOPS 30107 HAS SOUS 16163 HAS SOUPS 15282 WITH SCORE 15313.306
AT ITER 6569 NEW BEST:: SOT 90341 SOS 31289 HAS SOPS 30090 HAS SOUS 16150 HAS SOUPS 15269 WITH SCORE 15300.289
AT ITER 6579 NEW BEST:: SOT 90322 SOS 31270 HAS SOPS 30071 HAS SOUS 16136 HAS SOUPS 15255 WITH SCORE 15286.27
AT ITER 6630 NEW BEST:: SOT 90315 SOS 31256 HAS SOPS 30068 HAS SOUS 16117 HAS SOUPS 15247 WITH SCORE 15278.256
AT ITER 6666 NEW BEST:: SOT 90316 SOS 31232 HAS SOPS 30058 HAS SOUS 16082 HAS SOUPS 15226 WITH SCORE 15257.232
AT ITER 6670 NEW BEST:: SOT 90312 SOS 31228 HAS SOPS 30054 HAS SOUS 16082 HAS SOUPS 15226 WITH SCORE 15257.228
AT ITER 6671 NEW BEST:: SOT 90344 SOS 31497 HAS SOPS 30323 HAS SOUS 16062 HAS SOUPS 15206 WITH SCORE 15237.497
AT ITER 6678 NEW BEST:: SOT 90344 SOS 31475 HAS SOPS 30301 HAS SOUS 16040 HAS SOUPS 15184 WITH SCORE 15215.475
AT ITER 6688 NEW BEST:: SOT 90327 SOS 31474 HAS SOPS 30300 HAS SOUS 16033 HAS SOUPS 15177 WITH SCORE 15208.474
AT ITER 6703 NEW BEST:: SOT 90302 SOS 31424 HAS SOPS 30250 HAS SOUS 16000 HAS SOUPS 15144 WITH SCORE 15175.424
AT ITER 6713 NEW BEST:: SOT 90316 SOS 31398 HAS SOPS 30224 HAS SOUS 15993 HAS SOUPS 15137 WITH SCORE 15168.398
AT ITER 6748 NEW BEST:: SOT 90316 SOS 31399 HAS SOPS 30225 HAS SOUS 15991 HAS SOUPS 15135 WITH SCORE 15166.399
AT ITER 6751 NEW BEST:: SOT 90293 SOS 31376 HAS SOPS 30202 HAS SOUS 15979 HAS SOUPS 15123 WITH SCORE 15154.376
AT ITER 6777 NEW BEST:: SOT 90292 SOS 31375 HAS SOPS 30201 HAS SOUS 15977 HAS SOUPS 15121 WITH SCORE 15152.375
AT ITER 6792 NEW BEST:: SOT 90269 SOS 31352 HAS SOPS 30178 HAS SOUS 15946 HAS SOUPS 15090 WITH SCORE 15121.352
AT ITER 6816 NEW BEST:: SOT 90264 SOS 31347 HAS SOPS 30173 HAS SOUS 15941 HAS SOUPS 15085 WITH SCORE 15116.347
AT ITER 6836 NEW BEST:: SOT 90274 SOS 31357 HAS SOPS 30183 HAS SOUS 15925 HAS SOUPS 15069 WITH SCORE 15100.357
AT ITER 6841 NEW BEST:: SOT 90245 SOS 31340 HAS SOPS 30166 HAS SOUS 15904 HAS SOUPS 15048 WITH SCORE 15079.34
AT ITER 6879 NEW BEST:: SOT 90214 SOS 31309 HAS SOPS 30133 HAS SOUS 15897 HAS SOUPS 15039 WITH SCORE 15070.309
AT ITER 6905 NEW BEST:: SOT 90214 SOS 31309 HAS SOPS 30133 HAS SOUS 15895 HAS SOUPS 15037 WITH SCORE 15068.309
AT ITER 6927 NEW BEST:: SOT 90238 SOS 31205 HAS SOPS 30029 HAS SOUS 15883 HAS SOUPS 15025 WITH SCORE 15056.205
AT ITER 6934 NEW BEST:: SOT 90239 SOS 31201 HAS SOPS 30025 HAS SOUS 15880 HAS SOUPS 15022 WITH SCORE 15053.201
AT ITER 6950 NEW BEST:: SOT 90235 SOS 31193 HAS SOPS 30017 HAS SOUS 15872 HAS SOUPS 15014 WITH SCORE 15045.193
AT ITER 6981 NEW BEST:: SOT 90230 SOS 31106 HAS SOPS 29909 HAS SOUS 15861 HAS SOUPS 14992 WITH SCORE 15023.106
AT ITER 6991 NEW BEST:: SOT 90181 SOS 31111 HAS SOPS 29914 HAS SOUS 15793 HAS SOUPS 14924 WITH SCORE 14955.111
AT ITER 7027 NEW BEST:: SOT 90166 SOS 31111 HAS SOPS 29914 HAS SOUS 15787 HAS SOUPS 14918 WITH SCORE 14949.111
AT ITER 7072 NEW BEST:: SOT 90116 SOS 31061 HAS SOPS 29864 HAS SOUS 15737 HAS SOUPS 14868 WITH SCORE 14899.061
AT ITER 7081 NEW BEST:: SOT 90113 SOS 31059 HAS SOPS 29862 HAS SOUS 15735 HAS SOUPS 14866 WITH SCORE 14897.059
AT ITER 7088 NEW BEST:: SOT 90111 SOS 31053 HAS SOPS 29856 HAS SOUS 15729 HAS SOUPS 14860 WITH SCORE 14891.053
AT ITER 7093 NEW BEST:: SOT 90106 SOS 30961 HAS SOPS 29752 HAS SOUS 15730 HAS SOUPS 14849 WITH SCORE 14879.961
AT ITER 7096 NEW BEST:: SOT 90108 SOS 30963 HAS SOPS 29754 HAS SOUS 15709 HAS SOUPS 14828 WITH SCORE 14858.963
AT ITER 7121 NEW BEST:: SOT 90092 SOS 30931 HAS SOPS 29722 HAS SOUS 15699 HAS SOUPS 14818 WITH SCORE 14848.931
AT ITER 7131 NEW BEST:: SOT 90114 SOS 30933 HAS SOPS 29724 HAS SOUS 15687 HAS SOUPS 14806 WITH SCORE 14836.933
AT ITER 7153 NEW BEST:: SOT 90103 SOS 30895 HAS SOPS 29713 HAS SOUS 15646 HAS SOUPS 14792 WITH SCORE 14822.895
AT ITER 7166 NEW BEST:: SOT 90093 SOS 30885 HAS SOPS 29703 HAS SOUS 15636 HAS SOUPS 14782 WITH SCORE 14812.885
AT ITER 7258 NEW BEST:: SOT 90119 SOS 30832 HAS SOPS 29650 HAS SOUS 15611 HAS SOUPS 14757 WITH SCORE 14787.832
AT ITER 7323 NEW BEST:: SOT 90118 SOS 30831 HAS SOPS 29649 HAS SOUS 15609 HAS SOUPS 14755 WITH SCORE 14785.831
AT ITER 7403 NEW BEST:: SOT 90118 SOS 30811 HAS SOPS 29629 HAS SOUS 15609 HAS SOUPS 14755 WITH SCORE 14785.811
AT ITER 7413 NEW BEST:: SOT 90119 SOS 30812 HAS SOPS 29630 HAS SOUS 15606 HAS SOUPS 14752 WITH SCORE 14782.812
AT ITER 7420 NEW BEST:: SOT 90119 SOS 30810 HAS SOPS 29628 HAS SOUS 15606 HAS SOUPS 14752 WITH SCORE 14782.81
AT ITER 7422 NEW BEST:: SOT 90103 SOS 30826 HAS SOPS 29644 HAS SOUS 15604 HAS SOUPS 14750 WITH SCORE 14780.826
AT ITER 7489 NEW BEST:: SOT 90088 SOS 30827 HAS SOPS 29645 HAS SOUS 15595 HAS SOUPS 14741 WITH SCORE 14771.827
AT ITER 7509 NEW BEST:: SOT 90056 SOS 30795 HAS SOPS 29613 HAS SOUS 15581 HAS SOUPS 14727 WITH SCORE 14757.795
AT ITER 7548 NEW BEST:: SOT 90048 SOS 30723 HAS SOPS 29533 HAS SOUS 15589 HAS SOUPS 14727 WITH SCORE 14757.723
AT ITER 7567 NEW BEST:: SOT 90034 SOS 30709 HAS SOPS 29519 HAS SOUS 15585 HAS SOUPS 14723 WITH SCORE 14753.709
AT ITER 7601 NEW BEST:: SOT 90027 SOS 30702 HAS SOPS 29512 HAS SOUS 15583 HAS SOUPS 14721 WITH SCORE 14751.702
AT ITER 7609 NEW BEST:: SOT 90019 SOS 30709 HAS SOPS 29519 HAS SOUS 15573 HAS SOUPS 14711 WITH SCORE 14741.709
AT ITER 7662 NEW BEST:: SOT 90011 SOS 30685 HAS SOPS 29495 HAS SOUS 15565 HAS SOUPS 14703 WITH SCORE 14733.685
AT ITER 7710 NEW BEST:: SOT 89994 SOS 30668 HAS SOPS 29478 HAS SOUS 15538 HAS SOUPS 14676 WITH SCORE 14706.668
AT ITER 7769 NEW BEST:: SOT 89989 SOS 30659 HAS SOPS 29469 HAS SOUS 15536 HAS SOUPS 14674 WITH SCORE 14704.659
AT ITER 7797 NEW BEST:: SOT 90047 SOS 30695 HAS SOPS 29503 HAS SOUS 15533 HAS SOUPS 14669 WITH SCORE 14699.695
AT ITER 7817 NEW BEST:: SOT 90015 SOS 30639 HAS SOPS 29447 HAS SOUS 15525 HAS SOUPS 14661 WITH SCORE 14691.639
AT ITER 7851 NEW BEST:: SOT 90000 SOS 30624 HAS SOPS 29432 HAS SOUS 15516 HAS SOUPS 14652 WITH SCORE 14682.624
AT ITER 7868 NEW BEST:: SOT 89999 SOS 30623 HAS SOPS 29431 HAS SOUS 15516 HAS SOUPS 14652 WITH SCORE 14682.623
AT ITER 7879 NEW BEST:: SOT 89998 SOS 30622 HAS SOPS 29430 HAS SOUS 15515 HAS SOUPS 14651 WITH SCORE 14681.622
AT ITER 7935 NEW BEST:: SOT 89987 SOS 30595 HAS SOPS 29403 HAS SOUS 15503 HAS SOUPS 14639 WITH SCORE 14669.595
AT ITER 7949 NEW BEST:: SOT 89962 SOS 30601 HAS SOPS 29409 HAS SOUS 15490 HAS SOUPS 14626 WITH SCORE 14656.601
AT ITER 8111 NEW BEST:: SOT 89962 SOS 30606 HAS SOPS 29409 HAS SOUS 15490 HAS SOUPS 14621 WITH SCORE 14651.606
AT ITER 8119 NEW BEST:: SOT 89959 SOS 30600 HAS SOPS 29403 HAS SOUS 15487 HAS SOUPS 14618 WITH SCORE 14648.6
AT ITER 8135 NEW BEST:: SOT 89956 SOS 30597 HAS SOPS 29400 HAS SOUS 15483 HAS SOUPS 14614 WITH SCORE 14644.597
AT ITER 8175 NEW BEST:: SOT 89939 SOS 30691 HAS SOPS 29494 HAS SOUS 15457 HAS SOUPS 14588 WITH SCORE 14618.691
AT ITER 8176 NEW BEST:: SOT 89939 SOS 30685 HAS SOPS 29487 HAS SOUS 15457 HAS SOUPS 14587 WITH SCORE 14617.685
AT ITER 8186 NEW BEST:: SOT 89943 SOS 30683 HAS SOPS 29485 HAS SOUS 15453 HAS SOUPS 14583 WITH SCORE 14613.683
AT ITER 8261 NEW BEST:: SOT 89942 SOS 30670 HAS SOPS 29472 HAS SOUS 15452 HAS SOUPS 14582 WITH SCORE 14612.67
AT ITER 8295 NEW BEST:: SOT 89858 SOS 30647 HAS SOPS 29449 HAS SOUS 15451 HAS SOUPS 14581 WITH SCORE 14611.647
AT ITER 8327 NEW BEST:: SOT 89857 SOS 30637 HAS SOPS 29438 HAS SOUS 15448 HAS SOUPS 14578 WITH SCORE 14608.637
AT ITER 8329 NEW BEST:: SOT 89839 SOS 30619 HAS SOPS 29420 HAS SOUS 15446 HAS SOUPS 14576 WITH SCORE 14606.619
AT ITER 8366 NEW BEST:: SOT 89831 SOS 30611 HAS SOPS 29412 HAS SOUS 15432 HAS SOUPS 14562 WITH SCORE 14592.611
AT ITER 8418 NEW BEST:: SOT 89809 SOS 30613 HAS SOPS 29418 HAS SOUS 15424 HAS SOUPS 14558 WITH SCORE 14588.613
AT ITER 8438 NEW BEST:: SOT 89815 SOS 30509 HAS SOPS 29303 HAS SOUS 15432 HAS SOUPS 14555 WITH SCORE 14585.509
AT ITER 8455 NEW BEST:: SOT 89783 SOS 30477 HAS SOPS 29289 HAS SOUS 15394 HAS SOUPS 14535 WITH SCORE 14565.477
AT ITER 8528 NEW BEST:: SOT 89781 SOS 30475 HAS SOPS 29287 HAS SOUS 15392 HAS SOUPS 14533 WITH SCORE 14563.475
AT ITER 8531 NEW BEST:: SOT 89784 SOS 30443 HAS SOPS 29255 HAS SOUS 15392 HAS SOUPS 14533 WITH SCORE 14563.443
AT ITER 8668 NEW BEST:: SOT 89780 SOS 30434 HAS SOPS 29246 HAS SOUS 15389 HAS SOUPS 14530 WITH SCORE 14560.434
AT ITER 8675 NEW BEST:: SOT 89692 SOS 30352 HAS SOPS 29164 HAS SOUS 15352 HAS SOUPS 14493 WITH SCORE 14523.352
AT ITER 8701 NEW BEST:: SOT 89672 SOS 30332 HAS SOPS 29144 HAS SOUS 15325 HAS SOUPS 14466 WITH SCORE 14496.332
AT ITER 8718 NEW BEST:: SOT 89706 SOS 30366 HAS SOPS 29178 HAS SOUS 15319 HAS SOUPS 14460 WITH SCORE 14490.366
AT ITER 8778 NEW BEST:: SOT 89695 SOS 30355 HAS SOPS 29167 HAS SOUS 15293 HAS SOUPS 14434 WITH SCORE 14464.355
AT ITER 8791 NEW BEST:: SOT 89694 SOS 30354 HAS SOPS 29166 HAS SOUS 15292 HAS SOUPS 14433 WITH SCORE 14463.354
AT ITER 8878 NEW BEST:: SOT 89700 SOS 30358 HAS SOPS 29172 HAS SOUS 15289 HAS SOUPS 14432 WITH SCORE 14462.358
AT ITER 8911 NEW BEST:: SOT 89701 SOS 30359 HAS SOPS 29173 HAS SOUS 15288 HAS SOUPS 14431 WITH SCORE 14461.359
AT ITER 8922 NEW BEST:: SOT 89701 SOS 30339 HAS SOPS 29153 HAS SOUS 15288 HAS SOUPS 14431 WITH SCORE 14461.339
AT ITER 8991 NEW BEST:: SOT 89707 SOS 30344 HAS SOPS 29158 HAS SOUS 15287 HAS SOUPS 14430 WITH SCORE 14460.344
AT ITER 9002 NEW BEST:: SOT 89685 SOS 30367 HAS SOPS 29181 HAS SOUS 15275 HAS SOUPS 14418 WITH SCORE 14448.367
AT ITER 9004 NEW BEST:: SOT 89669 SOS 30351 HAS SOPS 29165 HAS SOUS 15265 HAS SOUPS 14408 WITH SCORE 14438.351
AT ITER 9030 NEW BEST:: SOT 89647 SOS 30333 HAS SOPS 29148 HAS SOUS 15263 HAS SOUPS 14407 WITH SCORE 14437.333
AT ITER 9153 NEW BEST:: SOT 89640 SOS 30326 HAS SOPS 29134 HAS SOUS 15256 HAS SOUPS 14393 WITH SCORE 14423.326
AT ITER 9179 NEW BEST:: SOT 89634 SOS 30320 HAS SOPS 29128 HAS SOUS 15254 HAS SOUPS 14391 WITH SCORE 14421.32
AT ITER 9193 NEW BEST:: SOT 89627 SOS 30313 HAS SOPS 29121 HAS SOUS 15252 HAS SOUPS 14389 WITH SCORE 14419.313
AT ITER 9199 NEW BEST:: SOT 89611 SOS 30295 HAS SOPS 29105 HAS SOUS 15242 HAS SOUPS 14381 WITH SCORE 14411.295
AT ITER 9215 NEW BEST:: SOT 89619 SOS 30293 HAS SOPS 29103 HAS SOUS 15240 HAS SOUPS 14379 WITH SCORE 14409.293
AT ITER 9250 NEW BEST:: SOT 89613 SOS 30287 HAS SOPS 29097 HAS SOUS 15237 HAS SOUPS 14376 WITH SCORE 14406.287
AT ITER 9251 NEW BEST:: SOT 89607 SOS 30281 HAS SOPS 29091 HAS SOUS 15234 HAS SOUPS 14373 WITH SCORE 14403.281
AT ITER 9294 NEW BEST:: SOT 89604 SOS 30278 HAS SOPS 29088 HAS SOUS 15234 HAS SOUPS 14373 WITH SCORE 14403.278
AT ITER 9302 NEW BEST:: SOT 89602 SOS 30262 HAS SOPS 29072 HAS SOUS 15230 HAS SOUPS 14369 WITH SCORE 14399.262
AT ITER 9339 NEW BEST:: SOT 89596 SOS 30256 HAS SOPS 29066 HAS SOUS 15206 HAS SOUPS 14345 WITH SCORE 14375.256
AT ITER 9353 NEW BEST:: SOT 89586 SOS 30196 HAS SOPS 29006 HAS SOUS 15196 HAS SOUPS 14335 WITH SCORE 14365.196
AT ITER 9355 NEW BEST:: SOT 89608 SOS 30156 HAS SOPS 28932 HAS SOUS 15177 HAS SOUPS 14292 WITH SCORE 14322.156
AT ITER 9398 NEW BEST:: SOT 89635 SOS 30171 HAS SOPS 28947 HAS SOUS 15174 HAS SOUPS 14289 WITH SCORE 14319.171
AT ITER 9403 NEW BEST:: SOT 89608 SOS 30132 HAS SOPS 28908 HAS SOUS 15148 HAS SOUPS 14263 WITH SCORE 14293.132
AT ITER 9416 NEW BEST:: SOT 89595 SOS 30153 HAS SOPS 28929 HAS SOUS 15141 HAS SOUPS 14256 WITH SCORE 14286.153
AT ITER 9457 NEW BEST:: SOT 89593 SOS 30151 HAS SOPS 28927 HAS SOUS 15140 HAS SOUPS 14255 WITH SCORE 14285.151
AT ITER 9522 NEW BEST:: SOT 89593 SOS 30156 HAS SOPS 28922 HAS SOUS 15140 HAS SOUPS 14250 WITH SCORE 14280.156
AT ITER 9547 NEW BEST:: SOT 89574 SOS 30145 HAS SOPS 28911 HAS SOUS 15136 HAS SOUPS 14246 WITH SCORE 14276.145
AT ITER 9568 NEW BEST:: SOT 89571 SOS 30142 HAS SOPS 28908 HAS SOUS 15135 HAS SOUPS 14245 WITH SCORE 14275.142
AT ITER 9591 NEW BEST:: SOT 89560 SOS 30089 HAS SOPS 28855 HAS SOUS 15115 HAS SOUPS 14225 WITH SCORE 14255.089
AT ITER 9653 NEW BEST:: SOT 89539 SOS 30074 HAS SOPS 28840 HAS SOUS 15103 HAS SOUPS 14213 WITH SCORE 14243.074
AT ITER 9679 NEW BEST:: SOT 89536 SOS 30065 HAS SOPS 28831 HAS SOUS 15100 HAS SOUPS 14210 WITH SCORE 14240.065
AT ITER 9697 NEW BEST:: SOT 89509 SOS 30022 HAS SOPS 28788 HAS SOUS 15086 HAS SOUPS 14196 WITH SCORE 14226.022
AT ITER 9732 NEW BEST:: SOT 89560 SOS 30057 HAS SOPS 28823 HAS SOUS 15083 HAS SOUPS 14193 WITH SCORE 14223.057
AT ITER 9733 NEW BEST:: SOT 89558 SOS 30030 HAS SOPS 28792 HAS SOUS 15081 HAS SOUPS 14187 WITH SCORE 14217.03
AT ITER 9742 NEW BEST:: SOT 89558 SOS 30024 HAS SOPS 28786 HAS SOUS 15081 HAS SOUPS 14187 WITH SCORE 14217.024
AT ITER 9754 NEW BEST:: SOT 89564 SOS 30013 HAS SOPS 28775 HAS SOUS 15075 HAS SOUPS 14181 WITH SCORE 14211.013
AT ITER 9798 NEW BEST:: SOT 89563 SOS 30005 HAS SOPS 28767 HAS SOUS 15073 HAS SOUPS 14179 WITH SCORE 14209.005
AT ITER 9858 NEW BEST:: SOT 89507 SOS 29955 HAS SOPS 28717 HAS SOUS 15032 HAS SOUPS 14138 WITH SCORE 14167.955
AT ITER 9898 NEW BEST:: SOT 89489 SOS 29915 HAS SOPS 28677 HAS SOUS 15028 HAS SOUPS 14134 WITH SCORE 14163.915
AT ITER 9985 NEW BEST:: SOT 89488 SOS 29849 HAS SOPS 28641 HAS SOUS 14991 HAS SOUPS 14127 WITH SCORE 14156.849
AT ITER 9986 NEW BEST:: SOT 89509 SOS 29873 HAS SOPS 28644 HAS SOUS 15009 HAS SOUPS 14124 WITH SCORE 14153.873
BK_STOP 1678740987271
--------------------
content from stderr:
/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 370 Killed ${SMART}/smart ${INPUT_SM}
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="NoC3x3-PT-4A"
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 NoC3x3-PT-4A, 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 r259-smll-167863534300280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-4A.tgz
mv NoC3x3-PT-4A execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;