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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 6.2K Feb 25 17:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 17:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 17:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 17:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:57 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:57 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 18:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 18:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 18:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 25 18:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:57 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:57 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 105K 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 1679063899201

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=ShieldIIPt-PT-020A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 020A
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: 383 places, 283 transitions, 1206 arcs.
AT ITER 0 NEW BEST:: SOT 86651 SOS 73154 HAS SOPS 73154 HAS SOUS 64212 HAS SOUPS 64212 WITH SCORE 64285.154
AT ITER 2 NEW BEST:: SOT 86373 SOS 72636 HAS SOPS 72636 HAS SOUS 63901 HAS SOUPS 63901 WITH SCORE 63973.636
AT ITER 4 NEW BEST:: SOT 86373 SOS 72317 HAS SOPS 72317 HAS SOUS 63797 HAS SOUPS 63797 WITH SCORE 63869.317
AT ITER 5 NEW BEST:: SOT 86360 SOS 72304 HAS SOPS 72304 HAS SOUS 63784 HAS SOUPS 63784 WITH SCORE 63856.304
AT ITER 7 NEW BEST:: SOT 86360 SOS 72367 HAS SOPS 72367 HAS SOUS 63752 HAS SOUPS 63752 WITH SCORE 63824.367
AT ITER 9 NEW BEST:: SOT 86360 SOS 72213 HAS SOPS 72213 HAS SOUS 63675 HAS SOUPS 63675 WITH SCORE 63747.213
AT ITER 10 NEW BEST:: SOT 86281 SOS 72134 HAS SOPS 72134 HAS SOUS 63596 HAS SOUPS 63596 WITH SCORE 63668.134
AT ITER 11 NEW BEST:: SOT 86147 SOS 72000 HAS SOPS 72000 HAS SOUS 63462 HAS SOUPS 63462 WITH SCORE 63534.0
AT ITER 12 NEW BEST:: SOT 86048 SOS 71901 HAS SOPS 71901 HAS SOUS 63361 HAS SOUPS 63361 WITH SCORE 63432.901
AT ITER 13 NEW BEST:: SOT 85999 SOS 71881 HAS SOPS 71881 HAS SOUS 63338 HAS SOUPS 63338 WITH SCORE 63409.881
AT ITER 14 NEW BEST:: SOT 85893 SOS 71775 HAS SOPS 71775 HAS SOUS 63165 HAS SOUPS 63165 WITH SCORE 63236.775
AT ITER 16 NEW BEST:: SOT 85647 SOS 71529 HAS SOPS 71529 HAS SOUS 62919 HAS SOUPS 62919 WITH SCORE 62990.529
AT ITER 18 NEW BEST:: SOT 85647 SOS 71343 HAS SOPS 71343 HAS SOUS 62896 HAS SOUPS 62896 WITH SCORE 62967.343
AT ITER 19 NEW BEST:: SOT 85510 SOS 70795 HAS SOPS 70795 HAS SOUS 62619 HAS SOUPS 62619 WITH SCORE 62689.795
AT ITER 20 NEW BEST:: SOT 85527 SOS 70764 HAS SOPS 70764 HAS SOUS 62605 HAS SOUPS 62605 WITH SCORE 62675.764
AT ITER 21 NEW BEST:: SOT 85338 SOS 70575 HAS SOPS 70575 HAS SOUS 62416 HAS SOUPS 62416 WITH SCORE 62486.575
AT ITER 24 NEW BEST:: SOT 85080 SOS 70317 HAS SOPS 70317 HAS SOUS 62130 HAS SOUPS 62130 WITH SCORE 62200.317
AT ITER 25 NEW BEST:: SOT 85035 SOS 69884 HAS SOPS 69884 HAS SOUS 61763 HAS SOUPS 61763 WITH SCORE 61832.884
AT ITER 27 NEW BEST:: SOT 85035 SOS 69812 HAS SOPS 69812 HAS SOUS 61687 HAS SOUPS 61687 WITH SCORE 61756.812
AT ITER 28 NEW BEST:: SOT 85093 SOS 69627 HAS SOPS 69627 HAS SOUS 61567 HAS SOUPS 61567 WITH SCORE 61636.627
AT ITER 31 NEW BEST:: SOT 84938 SOS 69105 HAS SOPS 69105 HAS SOUS 61270 HAS SOUPS 61270 WITH SCORE 61339.105
AT ITER 33 NEW BEST:: SOT 84938 SOS 68881 HAS SOPS 68881 HAS SOUS 61160 HAS SOUPS 61160 WITH SCORE 61228.881
AT ITER 34 NEW BEST:: SOT 84938 SOS 68675 HAS SOPS 68675 HAS SOUS 61099 HAS SOUPS 61099 WITH SCORE 61167.675
AT ITER 36 NEW BEST:: SOT 84898 SOS 68633 HAS SOPS 68633 HAS SOUS 61057 HAS SOUPS 61057 WITH SCORE 61125.633
AT ITER 37 NEW BEST:: SOT 84782 SOS 68517 HAS SOPS 68517 HAS SOUS 60858 HAS SOUPS 60858 WITH SCORE 60926.517
AT ITER 38 NEW BEST:: SOT 84676 SOS 68411 HAS SOPS 68411 HAS SOUS 60752 HAS SOUPS 60752 WITH SCORE 60820.411
AT ITER 39 NEW BEST:: SOT 84473 SOS 68208 HAS SOPS 68208 HAS SOUS 60621 HAS SOUPS 60621 WITH SCORE 60689.208
AT ITER 41 NEW BEST:: SOT 84177 SOS 67912 HAS SOPS 67912 HAS SOUS 60217 HAS SOUPS 60217 WITH SCORE 60284.912
AT ITER 42 NEW BEST:: SOT 84192 SOS 68133 HAS SOPS 68133 HAS SOUS 60121 HAS SOUPS 60121 WITH SCORE 60189.133
AT ITER 44 NEW BEST:: SOT 84165 SOS 68106 HAS SOPS 68106 HAS SOUS 59983 HAS SOUPS 59983 WITH SCORE 60051.106
AT ITER 45 NEW BEST:: SOT 84165 SOS 67958 HAS SOPS 67958 HAS SOUS 59907 HAS SOUPS 59907 WITH SCORE 59974.958
AT ITER 46 NEW BEST:: SOT 84093 SOS 67886 HAS SOPS 67886 HAS SOUS 59727 HAS SOUPS 59727 WITH SCORE 59794.886
AT ITER 47 NEW BEST:: SOT 84007 SOS 67218 HAS SOPS 67218 HAS SOUS 59167 HAS SOUPS 59167 WITH SCORE 59234.218
AT ITER 49 NEW BEST:: SOT 83761 SOS 66972 HAS SOPS 66972 HAS SOUS 59044 HAS SOUPS 59044 WITH SCORE 59110.972
AT ITER 51 NEW BEST:: SOT 83761 SOS 66722 HAS SOPS 66722 HAS SOUS 58894 HAS SOUPS 58894 WITH SCORE 58960.722
AT ITER 53 NEW BEST:: SOT 83640 SOS 66034 HAS SOPS 66034 HAS SOUS 58390 HAS SOUPS 58390 WITH SCORE 58456.034
AT ITER 59 NEW BEST:: SOT 83640 SOS 65826 HAS SOPS 65826 HAS SOUS 58307 HAS SOUPS 58307 WITH SCORE 58372.826
AT ITER 60 NEW BEST:: SOT 83637 SOS 65823 HAS SOPS 65823 HAS SOUS 58304 HAS SOUPS 58304 WITH SCORE 58369.823
AT ITER 62 NEW BEST:: SOT 83941 SOS 65879 HAS SOPS 65879 HAS SOUS 58294 HAS SOUPS 58294 WITH SCORE 58359.879
AT ITER 64 NEW BEST:: SOT 83934 SOS 65872 HAS SOPS 65872 HAS SOUS 58287 HAS SOUPS 58287 WITH SCORE 58352.872
AT ITER 65 NEW BEST:: SOT 83993 SOS 65931 HAS SOPS 65931 HAS SOUS 58253 HAS SOUPS 58253 WITH SCORE 58318.931
AT ITER 66 NEW BEST:: SOT 83993 SOS 65929 HAS SOPS 65929 HAS SOUS 58251 HAS SOUPS 58251 WITH SCORE 58316.929
AT ITER 70 NEW BEST:: SOT 83672 SOS 65663 HAS SOPS 65663 HAS SOUS 57924 HAS SOUPS 57924 WITH SCORE 57989.663
AT ITER 73 NEW BEST:: SOT 83471 SOS 65029 HAS SOPS 65029 HAS SOUS 57461 HAS SOUPS 57461 WITH SCORE 57526.029
AT ITER 74 NEW BEST:: SOT 83471 SOS 64797 HAS SOPS 64797 HAS SOUS 57305 HAS SOUPS 57305 WITH SCORE 57369.797
AT ITER 75 NEW BEST:: SOT 83395 SOS 64290 HAS SOPS 64290 HAS SOUS 56955 HAS SOUPS 56955 WITH SCORE 57019.29
AT ITER 77 NEW BEST:: SOT 83184 SOS 64079 HAS SOPS 64079 HAS SOUS 56744 HAS SOUPS 56744 WITH SCORE 56808.079
AT ITER 82 NEW BEST:: SOT 83076 SOS 63971 HAS SOPS 63971 HAS SOUS 56570 HAS SOUPS 56570 WITH SCORE 56633.971
AT ITER 83 NEW BEST:: SOT 83034 SOS 63929 HAS SOPS 63929 HAS SOUS 56528 HAS SOUPS 56528 WITH SCORE 56591.929
AT ITER 85 NEW BEST:: SOT 83012 SOS 63907 HAS SOPS 63907 HAS SOUS 56506 HAS SOUPS 56506 WITH SCORE 56569.907
AT ITER 86 NEW BEST:: SOT 82903 SOS 63859 HAS SOPS 63859 HAS SOUS 56458 HAS SOUPS 56458 WITH SCORE 56521.859
AT ITER 88 NEW BEST:: SOT 82903 SOS 63881 HAS SOPS 63881 HAS SOUS 56435 HAS SOUPS 56435 WITH SCORE 56498.881
AT ITER 89 NEW BEST:: SOT 82839 SOS 63817 HAS SOPS 63817 HAS SOUS 56371 HAS SOUPS 56371 WITH SCORE 56434.817
AT ITER 90 NEW BEST:: SOT 82853 SOS 63464 HAS SOPS 63464 HAS SOUS 56211 HAS SOUPS 56211 WITH SCORE 56274.464
AT ITER 91 NEW BEST:: SOT 82558 SOS 63169 HAS SOPS 63169 HAS SOUS 55819 HAS SOUPS 55819 WITH SCORE 55882.169
AT ITER 94 NEW BEST:: SOT 82570 SOS 63181 HAS SOPS 63181 HAS SOUS 55782 HAS SOUPS 55782 WITH SCORE 55845.181
AT ITER 95 NEW BEST:: SOT 82430 SOS 63041 HAS SOPS 63041 HAS SOUS 55609 HAS SOUPS 55609 WITH SCORE 55672.041
AT ITER 96 NEW BEST:: SOT 82412 SOS 63023 HAS SOPS 63023 HAS SOUS 55591 HAS SOUPS 55591 WITH SCORE 55654.023
AT ITER 98 NEW BEST:: SOT 82187 SOS 62869 HAS SOPS 62869 HAS SOUS 55464 HAS SOUPS 55464 WITH SCORE 55526.869
AT ITER 99 NEW BEST:: SOT 81884 SOS 62089 HAS SOPS 62089 HAS SOUS 54820 HAS SOUPS 54820 WITH SCORE 54882.089
AT ITER 102 NEW BEST:: SOT 81786 SOS 61912 HAS SOPS 61912 HAS SOUS 54667 HAS SOUPS 54667 WITH SCORE 54728.912
AT ITER 104 NEW BEST:: SOT 81622 SOS 61361 HAS SOPS 61361 HAS SOUS 54309 HAS SOUPS 54309 WITH SCORE 54370.361
AT ITER 108 NEW BEST:: SOT 81606 SOS 61323 HAS SOPS 61323 HAS SOUS 54271 HAS SOUPS 54271 WITH SCORE 54332.323
AT ITER 109 NEW BEST:: SOT 81558 SOS 61275 HAS SOPS 61275 HAS SOUS 54223 HAS SOUPS 54223 WITH SCORE 54284.275
AT ITER 114 NEW BEST:: SOT 81355 SOS 60488 HAS SOPS 60488 HAS SOUS 53743 HAS SOUPS 53743 WITH SCORE 53803.488
AT ITER 115 NEW BEST:: SOT 81152 SOS 60285 HAS SOPS 60285 HAS SOUS 53444 HAS SOUPS 53444 WITH SCORE 53504.285
AT ITER 116 NEW BEST:: SOT 81031 SOS 59856 HAS SOPS 59856 HAS SOUS 52943 HAS SOUPS 52943 WITH SCORE 53002.856
AT ITER 117 NEW BEST:: SOT 80999 SOS 59822 HAS SOPS 59822 HAS SOUS 52908 HAS SOUPS 52908 WITH SCORE 52967.822
AT ITER 120 NEW BEST:: SOT 80971 SOS 59794 HAS SOPS 59794 HAS SOUS 52880 HAS SOUPS 52880 WITH SCORE 52939.794
AT ITER 131 NEW BEST:: SOT 80756 SOS 59562 HAS SOPS 59562 HAS SOUS 52592 HAS SOUPS 52592 WITH SCORE 52651.562
AT ITER 134 NEW BEST:: SOT 80740 SOS 59538 HAS SOPS 59538 HAS SOUS 52568 HAS SOUPS 52568 WITH SCORE 52627.538
AT ITER 135 NEW BEST:: SOT 80457 SOS 58940 HAS SOPS 58940 HAS SOUS 52131 HAS SOUPS 52131 WITH SCORE 52189.94
AT ITER 138 NEW BEST:: SOT 80254 SOS 58397 HAS SOPS 58397 HAS SOUS 51550 HAS SOUPS 51550 WITH SCORE 51608.397
AT ITER 140 NEW BEST:: SOT 80212 SOS 57719 HAS SOPS 57719 HAS SOUS 51157 HAS SOUPS 51157 WITH SCORE 51214.719
AT ITER 141 NEW BEST:: SOT 80094 SOS 57524 HAS SOPS 57524 HAS SOUS 51078 HAS SOUPS 51078 WITH SCORE 51135.524
AT ITER 144 NEW BEST:: SOT 79979 SOS 57317 HAS SOPS 57317 HAS SOUS 50839 HAS SOUPS 50839 WITH SCORE 50896.317
AT ITER 150 NEW BEST:: SOT 79945 SOS 57283 HAS SOPS 57283 HAS SOUS 50822 HAS SOUPS 50822 WITH SCORE 50879.283
AT ITER 156 NEW BEST:: SOT 79921 SOS 57168 HAS SOPS 57168 HAS SOUS 50707 HAS SOUPS 50707 WITH SCORE 50764.168
AT ITER 161 NEW BEST:: SOT 79883 SOS 56974 HAS SOPS 56974 HAS SOUS 50605 HAS SOUPS 50605 WITH SCORE 50661.974
AT ITER 162 NEW BEST:: SOT 79883 SOS 56768 HAS SOPS 56768 HAS SOUS 50479 HAS SOUPS 50479 WITH SCORE 50535.768
AT ITER 164 NEW BEST:: SOT 79795 SOS 56677 HAS SOPS 56677 HAS SOUS 50409 HAS SOUPS 50409 WITH SCORE 50465.677
AT ITER 166 NEW BEST:: SOT 79685 SOS 56296 HAS SOPS 56296 HAS SOUS 50051 HAS SOUPS 50051 WITH SCORE 50107.296
AT ITER 170 NEW BEST:: SOT 79643 SOS 56178 HAS SOPS 56178 HAS SOUS 49953 HAS SOUPS 49953 WITH SCORE 50009.178
AT ITER 172 NEW BEST:: SOT 79627 SOS 56162 HAS SOPS 56162 HAS SOUS 49937 HAS SOUPS 49937 WITH SCORE 49993.162
AT ITER 180 NEW BEST:: SOT 79627 SOS 56257 HAS SOPS 56257 HAS SOUS 49908 HAS SOUPS 49908 WITH SCORE 49964.257
AT ITER 181 NEW BEST:: SOT 79426 SOS 55440 HAS SOPS 55440 HAS SOUS 49460 HAS SOUPS 49460 WITH SCORE 49515.44
AT ITER 182 NEW BEST:: SOT 79426 SOS 55440 HAS SOPS 55440 HAS SOUS 49441 HAS SOUPS 49441 WITH SCORE 49496.44
AT ITER 183 NEW BEST:: SOT 79426 SOS 55380 HAS SOPS 55380 HAS SOUS 49381 HAS SOUPS 49381 WITH SCORE 49436.38
AT ITER 184 NEW BEST:: SOT 79420 SOS 55374 HAS SOPS 55374 HAS SOUS 49375 HAS SOUPS 49375 WITH SCORE 49430.374
AT ITER 189 NEW BEST:: SOT 79386 SOS 55340 HAS SOPS 55340 HAS SOUS 49157 HAS SOUPS 49157 WITH SCORE 49212.34
AT ITER 192 NEW BEST:: SOT 79386 SOS 55334 HAS SOPS 55334 HAS SOUS 49153 HAS SOUPS 49153 WITH SCORE 49208.334
AT ITER 195 NEW BEST:: SOT 79386 SOS 55331 HAS SOPS 55331 HAS SOUS 49153 HAS SOUPS 49153 WITH SCORE 49208.331
AT ITER 198 NEW BEST:: SOT 79075 SOS 55020 HAS SOPS 55020 HAS SOUS 48928 HAS SOUPS 48928 WITH SCORE 48983.02
AT ITER 199 NEW BEST:: SOT 78984 SOS 54934 HAS SOPS 54934 HAS SOUS 48772 HAS SOUPS 48772 WITH SCORE 48826.934
AT ITER 204 NEW BEST:: SOT 78847 SOS 54797 HAS SOPS 54797 HAS SOUS 48638 HAS SOUPS 48638 WITH SCORE 48692.797
AT ITER 205 NEW BEST:: SOT 78829 SOS 54770 HAS SOPS 54770 HAS SOUS 48611 HAS SOUPS 48611 WITH SCORE 48665.77
AT ITER 208 NEW BEST:: SOT 78645 SOS 54586 HAS SOPS 54586 HAS SOUS 48519 HAS SOUPS 48519 WITH SCORE 48573.586
AT ITER 209 NEW BEST:: SOT 78607 SOS 54523 HAS SOPS 54523 HAS SOUS 48447 HAS SOUPS 48447 WITH SCORE 48501.523
AT ITER 210 NEW BEST:: SOT 78434 SOS 54350 HAS SOPS 54350 HAS SOUS 48372 HAS SOUPS 48372 WITH SCORE 48426.35
AT ITER 211 NEW BEST:: SOT 78434 SOS 54310 HAS SOPS 54310 HAS SOUS 48372 HAS SOUPS 48372 WITH SCORE 48426.31
AT ITER 212 NEW BEST:: SOT 78181 SOS 53888 HAS SOPS 53888 HAS SOUS 47950 HAS SOUPS 47950 WITH SCORE 48003.888
AT ITER 216 NEW BEST:: SOT 78301 SOS 53525 HAS SOPS 53525 HAS SOUS 47884 HAS SOUPS 47884 WITH SCORE 47937.525
AT ITER 222 NEW BEST:: SOT 78348 SOS 53131 HAS SOPS 53131 HAS SOUS 47753 HAS SOUPS 47753 WITH SCORE 47806.131
AT ITER 225 NEW BEST:: SOT 78272 SOS 53055 HAS SOPS 53055 HAS SOUS 47677 HAS SOUPS 47677 WITH SCORE 47730.055
AT ITER 226 NEW BEST:: SOT 78200 SOS 52983 HAS SOPS 52983 HAS SOUS 47579 HAS SOUPS 47579 WITH SCORE 47631.983
AT ITER 233 NEW BEST:: SOT 78134 SOS 52914 HAS SOPS 52914 HAS SOUS 47518 HAS SOUPS 47518 WITH SCORE 47570.914
AT ITER 235 NEW BEST:: SOT 78004 SOS 52857 HAS SOPS 52857 HAS SOUS 47339 HAS SOUPS 47339 WITH SCORE 47391.857
AT ITER 239 NEW BEST:: SOT 78003 SOS 52637 HAS SOPS 52637 HAS SOUS 47332 HAS SOUPS 47332 WITH SCORE 47384.637
AT ITER 247 NEW BEST:: SOT 77997 SOS 52631 HAS SOPS 52631 HAS SOUS 47332 HAS SOUPS 47332 WITH SCORE 47384.631
AT ITER 251 NEW BEST:: SOT 77913 SOS 52354 HAS SOPS 52354 HAS SOUS 47144 HAS SOUPS 47144 WITH SCORE 47196.354
AT ITER 252 NEW BEST:: SOT 77912 SOS 52353 HAS SOPS 52353 HAS SOUS 47135 HAS SOUPS 47135 WITH SCORE 47187.353
AT ITER 257 NEW BEST:: SOT 77819 SOS 52260 HAS SOPS 52260 HAS SOUS 47074 HAS SOUPS 47074 WITH SCORE 47126.26
AT ITER 259 NEW BEST:: SOT 77819 SOS 52019 HAS SOPS 52019 HAS SOUS 47025 HAS SOUPS 47025 WITH SCORE 47077.019
AT ITER 262 NEW BEST:: SOT 77601 SOS 51668 HAS SOPS 51668 HAS SOUS 46605 HAS SOUPS 46605 WITH SCORE 46656.668
AT ITER 263 NEW BEST:: SOT 77588 SOS 51655 HAS SOPS 51655 HAS SOUS 46592 HAS SOUPS 46592 WITH SCORE 46643.655
AT ITER 264 NEW BEST:: SOT 77609 SOS 51629 HAS SOPS 51629 HAS SOUS 46571 HAS SOUPS 46571 WITH SCORE 46622.629
AT ITER 265 NEW BEST:: SOT 77549 SOS 51509 HAS SOPS 51509 HAS SOUS 46481 HAS SOUPS 46481 WITH SCORE 46532.509
AT ITER 268 NEW BEST:: SOT 77290 SOS 51250 HAS SOPS 51250 HAS SOUS 46220 HAS SOUPS 46220 WITH SCORE 46271.25
AT ITER 271 NEW BEST:: SOT 77290 SOS 51161 HAS SOPS 51161 HAS SOUS 46141 HAS SOUPS 46141 WITH SCORE 46192.161
AT ITER 276 NEW BEST:: SOT 77185 SOS 51099 HAS SOPS 51099 HAS SOUS 46009 HAS SOUPS 46009 WITH SCORE 46060.099
AT ITER 277 NEW BEST:: SOT 77108 SOS 51041 HAS SOPS 51041 HAS SOUS 45983 HAS SOUPS 45983 WITH SCORE 46034.041
AT ITER 278 NEW BEST:: SOT 77107 SOS 51004 HAS SOPS 51004 HAS SOUS 45946 HAS SOUPS 45946 WITH SCORE 45997.004
AT ITER 285 NEW BEST:: SOT 76916 SOS 50813 HAS SOPS 50813 HAS SOUS 45867 HAS SOUPS 45867 WITH SCORE 45917.813
AT ITER 286 NEW BEST:: SOT 76916 SOS 50651 HAS SOPS 50651 HAS SOUS 45867 HAS SOUPS 45867 WITH SCORE 45917.651
AT ITER 289 NEW BEST:: SOT 76849 SOS 50517 HAS SOPS 50517 HAS SOUS 45733 HAS SOUPS 45733 WITH SCORE 45783.517
AT ITER 290 NEW BEST:: SOT 76443 SOS 50111 HAS SOPS 50111 HAS SOUS 45200 HAS SOUPS 45200 WITH SCORE 45250.111
AT ITER 292 NEW BEST:: SOT 76351 SOS 49927 HAS SOPS 49927 HAS SOUS 45108 HAS SOUPS 45108 WITH SCORE 45157.927
AT ITER 297 NEW BEST:: SOT 76066 SOS 49427 HAS SOPS 49427 HAS SOUS 44727 HAS SOUPS 44727 WITH SCORE 44776.427
AT ITER 299 NEW BEST:: SOT 76015 SOS 49566 HAS SOPS 49566 HAS SOUS 44726 HAS SOUPS 44726 WITH SCORE 44775.566
AT ITER 302 NEW BEST:: SOT 76023 SOS 49574 HAS SOPS 49574 HAS SOUS 44632 HAS SOUPS 44632 WITH SCORE 44681.574
AT ITER 304 NEW BEST:: SOT 76022 SOS 49573 HAS SOPS 49573 HAS SOUS 44631 HAS SOUPS 44631 WITH SCORE 44680.573
AT ITER 305 NEW BEST:: SOT 75978 SOS 49529 HAS SOPS 49529 HAS SOUS 44587 HAS SOUPS 44587 WITH SCORE 44636.529
AT ITER 309 NEW BEST:: SOT 75978 SOS 49531 HAS SOPS 49531 HAS SOUS 44553 HAS SOUPS 44553 WITH SCORE 44602.531
AT ITER 313 NEW BEST:: SOT 75913 SOS 49486 HAS SOPS 49486 HAS SOUS 44506 HAS SOUPS 44506 WITH SCORE 44555.486
AT ITER 314 NEW BEST:: SOT 75807 SOS 49307 HAS SOPS 49307 HAS SOUS 44403 HAS SOUPS 44403 WITH SCORE 44452.307
AT ITER 316 NEW BEST:: SOT 75753 SOS 49253 HAS SOPS 49253 HAS SOUS 44349 HAS SOUPS 44349 WITH SCORE 44398.253
AT ITER 317 NEW BEST:: SOT 75577 SOS 48813 HAS SOPS 48813 HAS SOUS 43997 HAS SOUPS 43997 WITH SCORE 44045.813
AT ITER 319 NEW BEST:: SOT 75597 SOS 48812 HAS SOPS 48812 HAS SOUS 43996 HAS SOUPS 43996 WITH SCORE 44044.812
AT ITER 325 NEW BEST:: SOT 75506 SOS 48749 HAS SOPS 48749 HAS SOUS 43841 HAS SOUPS 43841 WITH SCORE 43889.749
AT ITER 326 NEW BEST:: SOT 75239 SOS 48482 HAS SOPS 48482 HAS SOUS 43573 HAS SOUPS 43573 WITH SCORE 43621.482
AT ITER 327 NEW BEST:: SOT 75085 SOS 48302 HAS SOPS 48302 HAS SOUS 43393 HAS SOUPS 43393 WITH SCORE 43441.302
AT ITER 328 NEW BEST:: SOT 75085 SOS 48325 HAS SOPS 48325 HAS SOUS 43390 HAS SOUPS 43390 WITH SCORE 43438.325
AT ITER 329 NEW BEST:: SOT 75012 SOS 48148 HAS SOPS 48148 HAS SOUS 43253 HAS SOUPS 43253 WITH SCORE 43301.148
AT ITER 343 NEW BEST:: SOT 74968 SOS 48042 HAS SOPS 48042 HAS SOUS 43147 HAS SOUPS 43147 WITH SCORE 43195.042
AT ITER 347 NEW BEST:: SOT 74830 SOS 47300 HAS SOPS 47300 HAS SOUS 42700 HAS SOUPS 42700 WITH SCORE 42747.3
AT ITER 350 NEW BEST:: SOT 74830 SOS 47274 HAS SOPS 47274 HAS SOUS 42674 HAS SOUPS 42674 WITH SCORE 42721.274
AT ITER 355 NEW BEST:: SOT 74811 SOS 47255 HAS SOPS 47255 HAS SOUS 42655 HAS SOUPS 42655 WITH SCORE 42702.255
AT ITER 358 NEW BEST:: SOT 74798 SOS 47350 HAS SOPS 47350 HAS SOUS 42518 HAS SOUPS 42518 WITH SCORE 42565.35
AT ITER 366 NEW BEST:: SOT 74798 SOS 47350 HAS SOPS 47350 HAS SOUS 42504 HAS SOUPS 42504 WITH SCORE 42551.35
AT ITER 375 NEW BEST:: SOT 74649 SOS 47301 HAS SOPS 47301 HAS SOUS 42302 HAS SOUPS 42302 WITH SCORE 42349.301
AT ITER 377 NEW BEST:: SOT 74638 SOS 47290 HAS SOPS 47290 HAS SOUS 42291 HAS SOUPS 42291 WITH SCORE 42338.29
AT ITER 379 NEW BEST:: SOT 74638 SOS 47137 HAS SOPS 47137 HAS SOUS 42240 HAS SOUPS 42240 WITH SCORE 42287.137
AT ITER 385 NEW BEST:: SOT 74502 SOS 46929 HAS SOPS 46929 HAS SOUS 42032 HAS SOUPS 42032 WITH SCORE 42078.929
AT ITER 387 NEW BEST:: SOT 74534 SOS 47002 HAS SOPS 47002 HAS SOUS 41959 HAS SOUPS 41959 WITH SCORE 42006.002
AT ITER 388 NEW BEST:: SOT 74498 SOS 46966 HAS SOPS 46966 HAS SOUS 41923 HAS SOUPS 41923 WITH SCORE 41969.966
AT ITER 395 NEW BEST:: SOT 74498 SOS 46955 HAS SOPS 46955 HAS SOUS 41912 HAS SOUPS 41912 WITH SCORE 41958.955
AT ITER 405 NEW BEST:: SOT 74368 SOS 46769 HAS SOPS 46769 HAS SOUS 41781 HAS SOUPS 41781 WITH SCORE 41827.769
AT ITER 410 NEW BEST:: SOT 74360 SOS 46771 HAS SOPS 46771 HAS SOUS 41773 HAS SOUPS 41773 WITH SCORE 41819.771
AT ITER 415 NEW BEST:: SOT 74397 SOS 46808 HAS SOPS 46808 HAS SOUS 41762 HAS SOUPS 41762 WITH SCORE 41808.808
AT ITER 420 NEW BEST:: SOT 74397 SOS 46737 HAS SOPS 46737 HAS SOUS 41736 HAS SOUPS 41736 WITH SCORE 41782.737
AT ITER 421 NEW BEST:: SOT 74296 SOS 46636 HAS SOPS 46636 HAS SOUS 41635 HAS SOUPS 41635 WITH SCORE 41681.636
AT ITER 424 NEW BEST:: SOT 74296 SOS 46636 HAS SOPS 46636 HAS SOUS 41618 HAS SOUPS 41618 WITH SCORE 41664.636
AT ITER 433 NEW BEST:: SOT 74253 SOS 46593 HAS SOPS 46593 HAS SOUS 41575 HAS SOUPS 41575 WITH SCORE 41621.593
AT ITER 437 NEW BEST:: SOT 74251 SOS 46573 HAS SOPS 46573 HAS SOUS 41483 HAS SOUPS 41483 WITH SCORE 41529.573
AT ITER 439 NEW BEST:: SOT 74136 SOS 46458 HAS SOPS 46458 HAS SOUS 41368 HAS SOUPS 41368 WITH SCORE 41414.458
AT ITER 443 NEW BEST:: SOT 73983 SOS 46264 HAS SOPS 46264 HAS SOUS 41270 HAS SOUPS 41270 WITH SCORE 41316.264
AT ITER 446 NEW BEST:: SOT 74037 SOS 46436 HAS SOPS 46436 HAS SOUS 41265 HAS SOUPS 41265 WITH SCORE 41311.436
AT ITER 450 NEW BEST:: SOT 74004 SOS 46403 HAS SOPS 46403 HAS SOUS 41144 HAS SOUPS 41144 WITH SCORE 41190.403
AT ITER 454 NEW BEST:: SOT 74000 SOS 46399 HAS SOPS 46399 HAS SOUS 41140 HAS SOUPS 41140 WITH SCORE 41186.399
AT ITER 457 NEW BEST:: SOT 73842 SOS 46080 HAS SOPS 46080 HAS SOUS 40884 HAS SOUPS 40884 WITH SCORE 40930.08
AT ITER 461 NEW BEST:: SOT 73811 SOS 45848 HAS SOPS 45848 HAS SOUS 40765 HAS SOUPS 40765 WITH SCORE 40810.848
AT ITER 463 NEW BEST:: SOT 73738 SOS 45700 HAS SOPS 45700 HAS SOUS 40617 HAS SOUPS 40617 WITH SCORE 40662.7
AT ITER 469 NEW BEST:: SOT 73738 SOS 45593 HAS SOPS 45593 HAS SOUS 40617 HAS SOUPS 40617 WITH SCORE 40662.593
AT ITER 476 NEW BEST:: SOT 73609 SOS 45396 HAS SOPS 45396 HAS SOUS 40420 HAS SOUPS 40420 WITH SCORE 40465.396
AT ITER 484 NEW BEST:: SOT 73619 SOS 45391 HAS SOPS 45391 HAS SOUS 40415 HAS SOUPS 40415 WITH SCORE 40460.391
AT ITER 488 NEW BEST:: SOT 73615 SOS 45387 HAS SOPS 45387 HAS SOUS 40411 HAS SOUPS 40411 WITH SCORE 40456.387
AT ITER 489 NEW BEST:: SOT 73589 SOS 45335 HAS SOPS 45335 HAS SOUS 40359 HAS SOUPS 40359 WITH SCORE 40404.335
AT ITER 490 NEW BEST:: SOT 73589 SOS 45297 HAS SOPS 45297 HAS SOUS 40359 HAS SOUPS 40359 WITH SCORE 40404.297
AT ITER 491 NEW BEST:: SOT 73565 SOS 45270 HAS SOPS 45270 HAS SOUS 40332 HAS SOUPS 40332 WITH SCORE 40377.27
AT ITER 499 NEW BEST:: SOT 73537 SOS 45151 HAS SOPS 45151 HAS SOUS 40255 HAS SOUPS 40255 WITH SCORE 40300.151
AT ITER 504 NEW BEST:: SOT 73537 SOS 45111 HAS SOPS 45111 HAS SOUS 40182 HAS SOUPS 40182 WITH SCORE 40227.111
AT ITER 509 NEW BEST:: SOT 73491 SOS 44935 HAS SOPS 44935 HAS SOUS 40105 HAS SOUPS 40105 WITH SCORE 40149.935
AT ITER 517 NEW BEST:: SOT 73486 SOS 44925 HAS SOPS 44925 HAS SOUS 40095 HAS SOUPS 40095 WITH SCORE 40139.925
AT ITER 520 NEW BEST:: SOT 73417 SOS 44867 HAS SOPS 44867 HAS SOUS 40037 HAS SOUPS 40037 WITH SCORE 40081.867
AT ITER 522 NEW BEST:: SOT 73417 SOS 44728 HAS SOPS 44728 HAS SOUS 39962 HAS SOUPS 39962 WITH SCORE 40006.728
AT ITER 524 NEW BEST:: SOT 73411 SOS 44722 HAS SOPS 44722 HAS SOUS 39956 HAS SOUPS 39956 WITH SCORE 40000.722
AT ITER 531 NEW BEST:: SOT 73411 SOS 44620 HAS SOPS 44620 HAS SOUS 39954 HAS SOUPS 39954 WITH SCORE 39998.62
AT ITER 533 NEW BEST:: SOT 73496 SOS 44524 HAS SOPS 44524 HAS SOUS 39906 HAS SOUPS 39906 WITH SCORE 39950.524
AT ITER 534 NEW BEST:: SOT 73538 SOS 44386 HAS SOPS 44386 HAS SOUS 39901 HAS SOUPS 39901 WITH SCORE 39945.386
AT ITER 540 NEW BEST:: SOT 73538 SOS 44359 HAS SOPS 44359 HAS SOUS 39874 HAS SOUPS 39874 WITH SCORE 39918.359
AT ITER 544 NEW BEST:: SOT 73400 SOS 44217 HAS SOPS 44217 HAS SOUS 39732 HAS SOUPS 39732 WITH SCORE 39776.217
AT ITER 545 NEW BEST:: SOT 73384 SOS 44181 HAS SOPS 44181 HAS SOUS 39696 HAS SOUPS 39696 WITH SCORE 39740.181
AT ITER 550 NEW BEST:: SOT 73377 SOS 43808 HAS SOPS 43808 HAS SOUS 39403 HAS SOUPS 39403 WITH SCORE 39446.808
AT ITER 552 NEW BEST:: SOT 73319 SOS 43727 HAS SOPS 43727 HAS SOUS 39345 HAS SOUPS 39345 WITH SCORE 39388.727
AT ITER 553 NEW BEST:: SOT 73012 SOS 42974 HAS SOPS 42974 HAS SOUS 38805 HAS SOUPS 38805 WITH SCORE 38847.974
AT ITER 557 NEW BEST:: SOT 72966 SOS 42928 HAS SOPS 42928 HAS SOUS 38759 HAS SOUPS 38759 WITH SCORE 38801.928
AT ITER 559 NEW BEST:: SOT 72966 SOS 42895 HAS SOPS 42895 HAS SOUS 38734 HAS SOUPS 38734 WITH SCORE 38776.895
AT ITER 561 NEW BEST:: SOT 72948 SOS 42877 HAS SOPS 42877 HAS SOUS 38695 HAS SOUPS 38695 WITH SCORE 38737.877
AT ITER 563 NEW BEST:: SOT 72874 SOS 42606 HAS SOPS 42606 HAS SOUS 38451 HAS SOUPS 38451 WITH SCORE 38493.606
AT ITER 568 NEW BEST:: SOT 72857 SOS 42555 HAS SOPS 42555 HAS SOUS 38417 HAS SOUPS 38417 WITH SCORE 38459.555
AT ITER 570 NEW BEST:: SOT 72472 SOS 42030 HAS SOPS 42030 HAS SOUS 37894 HAS SOUPS 37894 WITH SCORE 37936.03
AT ITER 571 NEW BEST:: SOT 72346 SOS 41867 HAS SOPS 41867 HAS SOUS 37700 HAS SOUPS 37700 WITH SCORE 37741.867
AT ITER 573 NEW BEST:: SOT 72346 SOS 41817 HAS SOPS 41817 HAS SOUS 37660 HAS SOUPS 37660 WITH SCORE 37701.817
AT ITER 575 NEW BEST:: SOT 72285 SOS 41716 HAS SOPS 41716 HAS SOUS 37605 HAS SOUPS 37605 WITH SCORE 37646.716
AT ITER 577 NEW BEST:: SOT 72285 SOS 41714 HAS SOPS 41714 HAS SOUS 37603 HAS SOUPS 37603 WITH SCORE 37644.714
AT ITER 579 NEW BEST:: SOT 72285 SOS 41686 HAS SOPS 41686 HAS SOUS 37575 HAS SOUPS 37575 WITH SCORE 37616.686
AT ITER 580 NEW BEST:: SOT 72157 SOS 41520 HAS SOPS 41520 HAS SOUS 37447 HAS SOUPS 37447 WITH SCORE 37488.52
AT ITER 583 NEW BEST:: SOT 72148 SOS 41493 HAS SOPS 41493 HAS SOUS 37411 HAS SOUPS 37411 WITH SCORE 37452.493
AT ITER 585 NEW BEST:: SOT 72133 SOS 41498 HAS SOPS 41498 HAS SOUS 37397 HAS SOUPS 37397 WITH SCORE 37438.498
AT ITER 587 NEW BEST:: SOT 72096 SOS 41382 HAS SOPS 41382 HAS SOUS 37363 HAS SOUPS 37363 WITH SCORE 37404.382
AT ITER 590 NEW BEST:: SOT 72096 SOS 41326 HAS SOPS 41326 HAS SOUS 37361 HAS SOUPS 37361 WITH SCORE 37402.326
AT ITER 598 NEW BEST:: SOT 72096 SOS 41216 HAS SOPS 41216 HAS SOUS 37361 HAS SOUPS 37361 WITH SCORE 37402.216
AT ITER 604 NEW BEST:: SOT 72096 SOS 41166 HAS SOPS 41166 HAS SOUS 37361 HAS SOUPS 37361 WITH SCORE 37402.166
AT ITER 609 NEW BEST:: SOT 72093 SOS 41162 HAS SOPS 41162 HAS SOUS 37357 HAS SOUPS 37357 WITH SCORE 37398.162
AT ITER 615 NEW BEST:: SOT 71965 SOS 41088 HAS SOPS 41088 HAS SOUS 37283 HAS SOUPS 37283 WITH SCORE 37324.088
AT ITER 618 NEW BEST:: SOT 71970 SOS 41039 HAS SOPS 41039 HAS SOUS 37229 HAS SOUPS 37229 WITH SCORE 37270.039
AT ITER 628 NEW BEST:: SOT 71970 SOS 41065 HAS SOPS 41065 HAS SOUS 37195 HAS SOUPS 37195 WITH SCORE 37236.065
AT ITER 629 NEW BEST:: SOT 72004 SOS 41052 HAS SOPS 41052 HAS SOUS 37182 HAS SOUPS 37182 WITH SCORE 37223.052
AT ITER 642 NEW BEST:: SOT 71921 SOS 40906 HAS SOPS 40906 HAS SOUS 37036 HAS SOUPS 37036 WITH SCORE 37076.906
AT ITER 646 NEW BEST:: SOT 71921 SOS 40713 HAS SOPS 40713 HAS SOUS 36947 HAS SOUPS 36947 WITH SCORE 36987.713
AT ITER 648 NEW BEST:: SOT 71921 SOS 40695 HAS SOPS 40695 HAS SOUS 36929 HAS SOUPS 36929 WITH SCORE 36969.695
AT ITER 650 NEW BEST:: SOT 71867 SOS 40641 HAS SOPS 40641 HAS SOUS 36875 HAS SOUPS 36875 WITH SCORE 36915.641
AT ITER 654 NEW BEST:: SOT 71811 SOS 40551 HAS SOPS 40551 HAS SOUS 36790 HAS SOUPS 36790 WITH SCORE 36830.551
AT ITER 655 NEW BEST:: SOT 71793 SOS 40388 HAS SOPS 40388 HAS SOUS 36674 HAS SOUPS 36674 WITH SCORE 36714.388
AT ITER 673 NEW BEST:: SOT 71717 SOS 40194 HAS SOPS 40194 HAS SOUS 36474 HAS SOUPS 36474 WITH SCORE 36514.194
AT ITER 679 NEW BEST:: SOT 71717 SOS 40124 HAS SOPS 40124 HAS SOUS 36474 HAS SOUPS 36474 WITH SCORE 36514.124
AT ITER 680 NEW BEST:: SOT 71657 SOS 40013 HAS SOPS 40013 HAS SOUS 36363 HAS SOUPS 36363 WITH SCORE 36403.013
AT ITER 684 NEW BEST:: SOT 71603 SOS 39941 HAS SOPS 39941 HAS SOUS 36291 HAS SOUPS 36291 WITH SCORE 36330.941
AT ITER 689 NEW BEST:: SOT 71471 SOS 39830 HAS SOPS 39830 HAS SOUS 36159 HAS SOUPS 36159 WITH SCORE 36198.83
AT ITER 691 NEW BEST:: SOT 71383 SOS 39801 HAS SOPS 39801 HAS SOUS 36033 HAS SOUPS 36033 WITH SCORE 36072.801
AT ITER 692 NEW BEST:: SOT 71383 SOS 39739 HAS SOPS 39739 HAS SOUS 36033 HAS SOUPS 36033 WITH SCORE 36072.739
AT ITER 699 NEW BEST:: SOT 71374 SOS 39712 HAS SOPS 39712 HAS SOUS 36006 HAS SOUPS 36006 WITH SCORE 36045.712
AT ITER 700 NEW BEST:: SOT 71369 SOS 39496 HAS SOPS 39496 HAS SOUS 35720 HAS SOUPS 35720 WITH SCORE 35759.496
AT ITER 702 NEW BEST:: SOT 71336 SOS 39453 HAS SOPS 39453 HAS SOUS 35664 HAS SOUPS 35664 WITH SCORE 35703.453
AT ITER 704 NEW BEST:: SOT 71266 SOS 39383 HAS SOPS 39383 HAS SOUS 35559 HAS SOUPS 35559 WITH SCORE 35598.383
AT ITER 707 NEW BEST:: SOT 71240 SOS 39349 HAS SOPS 39349 HAS SOUS 35525 HAS SOUPS 35525 WITH SCORE 35564.349
AT ITER 710 NEW BEST:: SOT 71237 SOS 39346 HAS SOPS 39346 HAS SOUS 35522 HAS SOUPS 35522 WITH SCORE 35561.346
AT ITER 719 NEW BEST:: SOT 71233 SOS 39336 HAS SOPS 39336 HAS SOUS 35516 HAS SOUPS 35516 WITH SCORE 35555.336
AT ITER 720 NEW BEST:: SOT 71203 SOS 39246 HAS SOPS 39246 HAS SOUS 35456 HAS SOUPS 35456 WITH SCORE 35495.246
AT ITER 723 NEW BEST:: SOT 71143 SOS 39209 HAS SOPS 39209 HAS SOUS 35339 HAS SOUPS 35339 WITH SCORE 35378.209
AT ITER 727 NEW BEST:: SOT 71051 SOS 39117 HAS SOPS 39117 HAS SOUS 35188 HAS SOUPS 35188 WITH SCORE 35227.117
AT ITER 728 NEW BEST:: SOT 71051 SOS 39083 HAS SOPS 39083 HAS SOUS 35171 HAS SOUPS 35171 WITH SCORE 35210.083
AT ITER 729 NEW BEST:: SOT 71042 SOS 39074 HAS SOPS 39074 HAS SOUS 35162 HAS SOUPS 35162 WITH SCORE 35201.074
AT ITER 736 NEW BEST:: SOT 70945 SOS 38975 HAS SOPS 38975 HAS SOUS 35063 HAS SOUPS 35063 WITH SCORE 35101.975
AT ITER 745 NEW BEST:: SOT 70944 SOS 38973 HAS SOPS 38973 HAS SOUS 35061 HAS SOUPS 35061 WITH SCORE 35099.973
AT ITER 752 NEW BEST:: SOT 70905 SOS 38861 HAS SOPS 38861 HAS SOUS 34949 HAS SOUPS 34949 WITH SCORE 34987.861
AT ITER 754 NEW BEST:: SOT 70905 SOS 38589 HAS SOPS 38589 HAS SOUS 34843 HAS SOUPS 34843 WITH SCORE 34881.589
AT ITER 755 NEW BEST:: SOT 70905 SOS 38562 HAS SOPS 38562 HAS SOUS 34753 HAS SOUPS 34753 WITH SCORE 34791.562
AT ITER 760 NEW BEST:: SOT 70795 SOS 38452 HAS SOPS 38452 HAS SOUS 34643 HAS SOUPS 34643 WITH SCORE 34681.452
AT ITER 761 NEW BEST:: SOT 70795 SOS 38384 HAS SOPS 38384 HAS SOUS 34573 HAS SOUPS 34573 WITH SCORE 34611.384
AT ITER 764 NEW BEST:: SOT 70691 SOS 38280 HAS SOPS 38280 HAS SOUS 34469 HAS SOUPS 34469 WITH SCORE 34507.28
AT ITER 765 NEW BEST:: SOT 70704 SOS 38296 HAS SOPS 38296 HAS SOUS 34431 HAS SOUPS 34431 WITH SCORE 34469.296
AT ITER 775 NEW BEST:: SOT 70593 SOS 38254 HAS SOPS 38254 HAS SOUS 34339 HAS SOUPS 34339 WITH SCORE 34377.254
AT ITER 776 NEW BEST:: SOT 70609 SOS 38212 HAS SOPS 38212 HAS SOUS 34323 HAS SOUPS 34323 WITH SCORE 34361.212
AT ITER 779 NEW BEST:: SOT 70452 SOS 37498 HAS SOPS 37498 HAS SOUS 34000 HAS SOUPS 34000 WITH SCORE 34037.498
AT ITER 795 NEW BEST:: SOT 70452 SOS 37284 HAS SOPS 37284 HAS SOUS 33938 HAS SOUPS 33938 WITH SCORE 33975.284
AT ITER 806 NEW BEST:: SOT 70255 SOS 36892 HAS SOPS 36892 HAS SOUS 33496 HAS SOUPS 33496 WITH SCORE 33532.892
AT ITER 816 NEW BEST:: SOT 70188 SOS 36901 HAS SOPS 36901 HAS SOUS 33470 HAS SOUPS 33470 WITH SCORE 33506.901
AT ITER 818 NEW BEST:: SOT 70191 SOS 36907 HAS SOPS 36907 HAS SOUS 33469 HAS SOUPS 33469 WITH SCORE 33505.907
AT ITER 822 NEW BEST:: SOT 70165 SOS 36829 HAS SOPS 36829 HAS SOUS 33391 HAS SOUPS 33391 WITH SCORE 33427.829
AT ITER 823 NEW BEST:: SOT 70130 SOS 36780 HAS SOPS 36780 HAS SOUS 33342 HAS SOUPS 33342 WITH SCORE 33378.78
AT ITER 826 NEW BEST:: SOT 70052 SOS 36625 HAS SOPS 36625 HAS SOUS 33251 HAS SOUPS 33251 WITH SCORE 33287.625
AT ITER 830 NEW BEST:: SOT 70024 SOS 36585 HAS SOPS 36585 HAS SOUS 33207 HAS SOUPS 33207 WITH SCORE 33243.585
AT ITER 831 NEW BEST:: SOT 69905 SOS 36445 HAS SOPS 36445 HAS SOUS 33067 HAS SOUPS 33067 WITH SCORE 33103.445
AT ITER 833 NEW BEST:: SOT 69905 SOS 36328 HAS SOPS 36328 HAS SOUS 33028 HAS SOUPS 33028 WITH SCORE 33064.328
AT ITER 837 NEW BEST:: SOT 69899 SOS 36298 HAS SOPS 36298 HAS SOUS 33016 HAS SOUPS 33016 WITH SCORE 33052.298
AT ITER 838 NEW BEST:: SOT 69896 SOS 36295 HAS SOPS 36295 HAS SOUS 33016 HAS SOUPS 33016 WITH SCORE 33052.295
AT ITER 839 NEW BEST:: SOT 69896 SOS 36345 HAS SOPS 36345 HAS SOUS 33015 HAS SOUPS 33015 WITH SCORE 33051.345
AT ITER 842 NEW BEST:: SOT 69788 SOS 36025 HAS SOPS 36025 HAS SOUS 32799 HAS SOUPS 32799 WITH SCORE 32835.025
AT ITER 851 NEW BEST:: SOT 69763 SOS 36000 HAS SOPS 36000 HAS SOUS 32774 HAS SOUPS 32774 WITH SCORE 32810.0
AT ITER 858 NEW BEST:: SOT 69763 SOS 35960 HAS SOPS 35960 HAS SOUS 32768 HAS SOUPS 32768 WITH SCORE 32803.96
AT ITER 872 NEW BEST:: SOT 69704 SOS 35781 HAS SOPS 35781 HAS SOUS 32589 HAS SOUPS 32589 WITH SCORE 32624.781
AT ITER 879 NEW BEST:: SOT 69664 SOS 35741 HAS SOPS 35741 HAS SOUS 32549 HAS SOUPS 32549 WITH SCORE 32584.741
AT ITER 882 NEW BEST:: SOT 69375 SOS 34873 HAS SOPS 34873 HAS SOUS 31948 HAS SOUPS 31948 WITH SCORE 31982.873
AT ITER 892 NEW BEST:: SOT 69375 SOS 34868 HAS SOPS 34868 HAS SOUS 31943 HAS SOUPS 31943 WITH SCORE 31977.868
AT ITER 894 NEW BEST:: SOT 69360 SOS 34872 HAS SOPS 34872 HAS SOUS 31930 HAS SOUPS 31930 WITH SCORE 31964.872
AT ITER 898 NEW BEST:: SOT 69353 SOS 34858 HAS SOPS 34858 HAS SOUS 31923 HAS SOUPS 31923 WITH SCORE 31957.858
AT ITER 902 NEW BEST:: SOT 69158 SOS 34705 HAS SOPS 34705 HAS SOUS 31770 HAS SOUPS 31770 WITH SCORE 31804.705
AT ITER 913 NEW BEST:: SOT 69145 SOS 34692 HAS SOPS 34692 HAS SOUS 31757 HAS SOUPS 31757 WITH SCORE 31791.692
AT ITER 940 NEW BEST:: SOT 69086 SOS 34378 HAS SOPS 34378 HAS SOUS 31477 HAS SOUPS 31477 WITH SCORE 31511.378
AT ITER 942 NEW BEST:: SOT 69066 SOS 34358 HAS SOPS 34358 HAS SOUS 31457 HAS SOUPS 31457 WITH SCORE 31491.358
AT ITER 958 NEW BEST:: SOT 69056 SOS 34338 HAS SOPS 34338 HAS SOUS 31427 HAS SOUPS 31427 WITH SCORE 31461.338
AT ITER 966 NEW BEST:: SOT 69011 SOS 34219 HAS SOPS 34219 HAS SOUS 31348 HAS SOUPS 31348 WITH SCORE 31382.219
AT ITER 972 NEW BEST:: SOT 69011 SOS 34219 HAS SOPS 34219 HAS SOUS 31346 HAS SOUPS 31346 WITH SCORE 31380.219
AT ITER 973 NEW BEST:: SOT 68994 SOS 34202 HAS SOPS 34202 HAS SOUS 31312 HAS SOUPS 31312 WITH SCORE 31346.202
AT ITER 977 NEW BEST:: SOT 68993 SOS 34201 HAS SOPS 34201 HAS SOUS 31311 HAS SOUPS 31311 WITH SCORE 31345.201
AT ITER 978 NEW BEST:: SOT 68926 SOS 34078 HAS SOPS 34078 HAS SOUS 31188 HAS SOUPS 31188 WITH SCORE 31222.078
AT ITER 980 NEW BEST:: SOT 68910 SOS 34023 HAS SOPS 34023 HAS SOUS 31156 HAS SOUPS 31156 WITH SCORE 31190.023
AT ITER 986 NEW BEST:: SOT 68913 SOS 33974 HAS SOPS 33974 HAS SOUS 31108 HAS SOUPS 31108 WITH SCORE 31141.974
AT ITER 994 NEW BEST:: SOT 68850 SOS 33901 HAS SOPS 33901 HAS SOUS 31035 HAS SOUPS 31035 WITH SCORE 31068.901
AT ITER 1014 NEW BEST:: SOT 68888 SOS 33766 HAS SOPS 33766 HAS SOUS 30896 HAS SOUPS 30896 WITH SCORE 30929.766
AT ITER 1019 NEW BEST:: SOT 68813 SOS 33691 HAS SOPS 33691 HAS SOUS 30821 HAS SOUPS 30821 WITH SCORE 30854.691
AT ITER 1026 NEW BEST:: SOT 68813 SOS 33691 HAS SOPS 33691 HAS SOUS 30806 HAS SOUPS 30806 WITH SCORE 30839.691
AT ITER 1033 NEW BEST:: SOT 68781 SOS 33659 HAS SOPS 33659 HAS SOUS 30774 HAS SOUPS 30774 WITH SCORE 30807.659
AT ITER 1034 NEW BEST:: SOT 68723 SOS 33559 HAS SOPS 33559 HAS SOUS 30658 HAS SOUPS 30658 WITH SCORE 30691.559
AT ITER 1037 NEW BEST:: SOT 68705 SOS 33261 HAS SOPS 33261 HAS SOUS 30523 HAS SOUPS 30523 WITH SCORE 30556.261
AT ITER 1047 NEW BEST:: SOT 68653 SOS 33209 HAS SOPS 33209 HAS SOUS 30471 HAS SOUPS 30471 WITH SCORE 30504.209
AT ITER 1073 NEW BEST:: SOT 68640 SOS 33145 HAS SOPS 33145 HAS SOUS 30432 HAS SOUPS 30432 WITH SCORE 30465.145
AT ITER 1074 NEW BEST:: SOT 68582 SOS 33073 HAS SOPS 33073 HAS SOUS 30344 HAS SOUPS 30344 WITH SCORE 30377.073
AT ITER 1075 NEW BEST:: SOT 68396 SOS 32887 HAS SOPS 32887 HAS SOUS 30166 HAS SOUPS 30166 WITH SCORE 30198.887
AT ITER 1076 NEW BEST:: SOT 68358 SOS 32821 HAS SOPS 32821 HAS SOUS 30128 HAS SOUPS 30128 WITH SCORE 30160.821
AT ITER 1080 NEW BEST:: SOT 68358 SOS 32815 HAS SOPS 32815 HAS SOUS 30122 HAS SOUPS 30122 WITH SCORE 30154.815
AT ITER 1099 NEW BEST:: SOT 68368 SOS 32829 HAS SOPS 32829 HAS SOUS 30103 HAS SOUPS 30103 WITH SCORE 30135.829
AT ITER 1103 NEW BEST:: SOT 68368 SOS 32798 HAS SOPS 32798 HAS SOUS 30072 HAS SOUPS 30072 WITH SCORE 30104.798
AT ITER 1106 NEW BEST:: SOT 68280 SOS 32710 HAS SOPS 32710 HAS SOUS 30010 HAS SOUPS 30010 WITH SCORE 30042.71
AT ITER 1110 NEW BEST:: SOT 68215 SOS 32595 HAS SOPS 32595 HAS SOUS 29852 HAS SOUPS 29852 WITH SCORE 29884.595
AT ITER 1114 NEW BEST:: SOT 68198 SOS 32544 HAS SOPS 32544 HAS SOUS 29818 HAS SOUPS 29818 WITH SCORE 29850.544
AT ITER 1120 NEW BEST:: SOT 68198 SOS 32538 HAS SOPS 32538 HAS SOUS 29818 HAS SOUPS 29818 WITH SCORE 29850.538
AT ITER 1126 NEW BEST:: SOT 68198 SOS 32531 HAS SOPS 32531 HAS SOUS 29811 HAS SOUPS 29811 WITH SCORE 29843.531
AT ITER 1129 NEW BEST:: SOT 68198 SOS 32444 HAS SOPS 32444 HAS SOUS 29811 HAS SOUPS 29811 WITH SCORE 29843.444
AT ITER 1130 NEW BEST:: SOT 68198 SOS 32411 HAS SOPS 32411 HAS SOUS 29811 HAS SOUPS 29811 WITH SCORE 29843.411
AT ITER 1147 NEW BEST:: SOT 68175 SOS 32388 HAS SOPS 32388 HAS SOUS 29754 HAS SOUPS 29754 WITH SCORE 29786.388
AT ITER 1157 NEW BEST:: SOT 68141 SOS 32337 HAS SOPS 32337 HAS SOUS 29703 HAS SOUPS 29703 WITH SCORE 29735.337
AT ITER 1163 NEW BEST:: SOT 68107 SOS 32300 HAS SOPS 32300 HAS SOUS 29652 HAS SOUPS 29652 WITH SCORE 29684.3
AT ITER 1164 NEW BEST:: SOT 68071 SOS 32096 HAS SOPS 32096 HAS SOUS 29522 HAS SOUPS 29522 WITH SCORE 29554.096
AT ITER 1165 NEW BEST:: SOT 68020 SOS 32011 HAS SOPS 32011 HAS SOUS 29454 HAS SOUPS 29454 WITH SCORE 29486.011
AT ITER 1180 NEW BEST:: SOT 68011 SOS 32002 HAS SOPS 32002 HAS SOUS 29436 HAS SOUPS 29436 WITH SCORE 29468.002
AT ITER 1187 NEW BEST:: SOT 68009 SOS 32000 HAS SOPS 32000 HAS SOUS 29434 HAS SOUPS 29434 WITH SCORE 29466.0
AT ITER 1189 NEW BEST:: SOT 67995 SOS 31986 HAS SOPS 31986 HAS SOUS 29426 HAS SOUPS 29426 WITH SCORE 29457.986
AT ITER 1194 NEW BEST:: SOT 68003 SOS 31985 HAS SOPS 31985 HAS SOUS 29419 HAS SOUPS 29419 WITH SCORE 29450.985
AT ITER 1207 NEW BEST:: SOT 67997 SOS 31961 HAS SOPS 31961 HAS SOUS 29407 HAS SOUPS 29407 WITH SCORE 29438.961
AT ITER 1213 NEW BEST:: SOT 67929 SOS 31787 HAS SOPS 31787 HAS SOUS 29233 HAS SOUPS 29233 WITH SCORE 29264.787
AT ITER 1233 NEW BEST:: SOT 67924 SOS 31772 HAS SOPS 31772 HAS SOUS 29225 HAS SOUPS 29225 WITH SCORE 29256.772
AT ITER 1239 NEW BEST:: SOT 67911 SOS 31759 HAS SOPS 31759 HAS SOUS 29212 HAS SOUPS 29212 WITH SCORE 29243.759
AT ITER 1243 NEW BEST:: SOT 67893 SOS 31741 HAS SOPS 31741 HAS SOUS 29194 HAS SOUPS 29194 WITH SCORE 29225.741
AT ITER 1253 NEW BEST:: SOT 67877 SOS 31717 HAS SOPS 31717 HAS SOUS 29178 HAS SOUPS 29178 WITH SCORE 29209.717
AT ITER 1259 NEW BEST:: SOT 67850 SOS 31670 HAS SOPS 31670 HAS SOUS 29104 HAS SOUPS 29104 WITH SCORE 29135.67
AT ITER 1281 NEW BEST:: SOT 67809 SOS 31653 HAS SOPS 31653 HAS SOUS 29075 HAS SOUPS 29075 WITH SCORE 29106.653
AT ITER 1292 NEW BEST:: SOT 67776 SOS 31609 HAS SOPS 31609 HAS SOUS 29031 HAS SOUPS 29031 WITH SCORE 29062.609
AT ITER 1295 NEW BEST:: SOT 67784 SOS 31617 HAS SOPS 31617 HAS SOUS 28988 HAS SOUPS 28988 WITH SCORE 29019.617
AT ITER 1312 NEW BEST:: SOT 67751 SOS 31605 HAS SOPS 31605 HAS SOUS 28983 HAS SOUPS 28983 WITH SCORE 29014.605
AT ITER 1317 NEW BEST:: SOT 67749 SOS 31598 HAS SOPS 31598 HAS SOUS 28976 HAS SOUPS 28976 WITH SCORE 29007.598
AT ITER 1327 NEW BEST:: SOT 67670 SOS 31399 HAS SOPS 31399 HAS SOUS 28817 HAS SOUPS 28817 WITH SCORE 28848.399
AT ITER 1340 NEW BEST:: SOT 67636 SOS 31341 HAS SOPS 31341 HAS SOUS 28788 HAS SOUPS 28788 WITH SCORE 28819.341
AT ITER 1347 NEW BEST:: SOT 67578 SOS 31221 HAS SOPS 31221 HAS SOUS 28668 HAS SOUPS 28668 WITH SCORE 28699.221
AT ITER 1348 NEW BEST:: SOT 67576 SOS 31180 HAS SOPS 31180 HAS SOUS 28640 HAS SOUPS 28640 WITH SCORE 28671.18
AT ITER 1349 NEW BEST:: SOT 67576 SOS 31175 HAS SOPS 31175 HAS SOUS 28640 HAS SOUPS 28640 WITH SCORE 28671.175
AT ITER 1357 NEW BEST:: SOT 67552 SOS 31209 HAS SOPS 31209 HAS SOUS 28624 HAS SOUPS 28624 WITH SCORE 28655.209
AT ITER 1361 NEW BEST:: SOT 67552 SOS 31207 HAS SOPS 31207 HAS SOUS 28622 HAS SOUPS 28622 WITH SCORE 28653.207
AT ITER 1376 NEW BEST:: SOT 67521 SOS 31153 HAS SOPS 31153 HAS SOUS 28568 HAS SOUPS 28568 WITH SCORE 28599.153
AT ITER 1381 NEW BEST:: SOT 67520 SOS 31100 HAS SOPS 31100 HAS SOUS 28557 HAS SOUPS 28557 WITH SCORE 28588.1
AT ITER 1383 NEW BEST:: SOT 67520 SOS 31092 HAS SOPS 31092 HAS SOUS 28549 HAS SOUPS 28549 WITH SCORE 28580.092
AT ITER 1386 NEW BEST:: SOT 67520 SOS 30955 HAS SOPS 30955 HAS SOUS 28480 HAS SOUPS 28480 WITH SCORE 28510.955
AT ITER 1389 NEW BEST:: SOT 67442 SOS 30873 HAS SOPS 30873 HAS SOUS 28398 HAS SOUPS 28398 WITH SCORE 28428.873
AT ITER 1399 NEW BEST:: SOT 67435 SOS 30866 HAS SOPS 30866 HAS SOUS 28307 HAS SOUPS 28307 WITH SCORE 28337.866
AT ITER 1421 NEW BEST:: SOT 67488 SOS 30972 HAS SOPS 30972 HAS SOUS 28262 HAS SOUPS 28262 WITH SCORE 28292.972
AT ITER 1435 NEW BEST:: SOT 67587 SOS 30758 HAS SOPS 30758 HAS SOUS 28188 HAS SOUPS 28188 WITH SCORE 28218.758
AT ITER 1438 NEW BEST:: SOT 67564 SOS 30735 HAS SOPS 30735 HAS SOUS 28165 HAS SOUPS 28165 WITH SCORE 28195.735
AT ITER 1445 NEW BEST:: SOT 67510 SOS 30531 HAS SOPS 30531 HAS SOUS 28036 HAS SOUPS 28036 WITH SCORE 28066.531
AT ITER 1452 NEW BEST:: SOT 67516 SOS 30531 HAS SOPS 30531 HAS SOUS 27993 HAS SOUPS 27993 WITH SCORE 28023.531
AT ITER 1456 NEW BEST:: SOT 67397 SOS 30412 HAS SOPS 30412 HAS SOUS 27874 HAS SOUPS 27874 WITH SCORE 27904.412
AT ITER 1463 NEW BEST:: SOT 67379 SOS 30380 HAS SOPS 30380 HAS SOUS 27846 HAS SOUPS 27846 WITH SCORE 27876.38
AT ITER 1472 NEW BEST:: SOT 67379 SOS 30338 HAS SOPS 30338 HAS SOUS 27804 HAS SOUPS 27804 WITH SCORE 27834.338
AT ITER 1475 NEW BEST:: SOT 67379 SOS 30338 HAS SOPS 30338 HAS SOUS 27786 HAS SOUPS 27786 WITH SCORE 27816.338
AT ITER 1479 NEW BEST:: SOT 67272 SOS 30182 HAS SOPS 30182 HAS SOUS 27617 HAS SOUPS 27617 WITH SCORE 27647.182
AT ITER 1484 NEW BEST:: SOT 67272 SOS 30002 HAS SOPS 30002 HAS SOUS 27611 HAS SOUPS 27611 WITH SCORE 27641.002
AT ITER 1488 NEW BEST:: SOT 67201 SOS 29903 HAS SOPS 29903 HAS SOUS 27540 HAS SOUPS 27540 WITH SCORE 27569.903
AT ITER 1502 NEW BEST:: SOT 67340 SOS 30006 HAS SOPS 30006 HAS SOUS 27479 HAS SOUPS 27479 WITH SCORE 27509.006
AT ITER 1504 NEW BEST:: SOT 67338 SOS 30004 HAS SOPS 30004 HAS SOUS 27477 HAS SOUPS 27477 WITH SCORE 27507.004
AT ITER 1506 NEW BEST:: SOT 67307 SOS 29943 HAS SOPS 29943 HAS SOUS 27431 HAS SOUPS 27431 WITH SCORE 27460.943
AT ITER 1508 NEW BEST:: SOT 67293 SOS 29935 HAS SOPS 29935 HAS SOUS 27423 HAS SOUPS 27423 WITH SCORE 27452.935
AT ITER 1516 NEW BEST:: SOT 67290 SOS 29932 HAS SOPS 29932 HAS SOUS 27420 HAS SOUPS 27420 WITH SCORE 27449.932
AT ITER 1519 NEW BEST:: SOT 67243 SOS 29885 HAS SOPS 29885 HAS SOUS 27373 HAS SOUPS 27373 WITH SCORE 27402.885
AT ITER 1530 NEW BEST:: SOT 67189 SOS 29773 HAS SOPS 29773 HAS SOUS 27261 HAS SOUPS 27261 WITH SCORE 27290.773
AT ITER 1531 NEW BEST:: SOT 67036 SOS 29482 HAS SOPS 29482 HAS SOUS 27094 HAS SOUPS 27094 WITH SCORE 27123.482
AT ITER 1554 NEW BEST:: SOT 67004 SOS 29473 HAS SOPS 29473 HAS SOUS 27085 HAS SOUPS 27085 WITH SCORE 27114.473
AT ITER 1569 NEW BEST:: SOT 66941 SOS 29310 HAS SOPS 29310 HAS SOUS 26935 HAS SOUPS 26935 WITH SCORE 26964.31
AT ITER 1576 NEW BEST:: SOT 66873 SOS 29084 HAS SOPS 29084 HAS SOUS 26709 HAS SOUPS 26709 WITH SCORE 26738.084
AT ITER 1583 NEW BEST:: SOT 66878 SOS 29069 HAS SOPS 29069 HAS SOUS 26703 HAS SOUPS 26703 WITH SCORE 26732.069
AT ITER 1585 NEW BEST:: SOT 66855 SOS 29046 HAS SOPS 29046 HAS SOUS 26680 HAS SOUPS 26680 WITH SCORE 26709.046
AT ITER 1593 NEW BEST:: SOT 66840 SOS 29001 HAS SOPS 29001 HAS SOUS 26650 HAS SOUPS 26650 WITH SCORE 26679.001
AT ITER 1594 NEW BEST:: SOT 66834 SOS 28929 HAS SOPS 28929 HAS SOUS 26630 HAS SOUPS 26630 WITH SCORE 26658.929
AT ITER 1598 NEW BEST:: SOT 66807 SOS 28883 HAS SOPS 28883 HAS SOUS 26594 HAS SOUPS 26594 WITH SCORE 26622.883
AT ITER 1611 NEW BEST:: SOT 66816 SOS 28872 HAS SOPS 28872 HAS SOUS 26586 HAS SOUPS 26586 WITH SCORE 26614.872
AT ITER 1622 NEW BEST:: SOT 66804 SOS 28839 HAS SOPS 28839 HAS SOUS 26565 HAS SOUPS 26565 WITH SCORE 26593.839
AT ITER 1631 NEW BEST:: SOT 66788 SOS 28819 HAS SOPS 28819 HAS SOUS 26545 HAS SOUPS 26545 WITH SCORE 26573.819
AT ITER 1632 NEW BEST:: SOT 66791 SOS 28805 HAS SOPS 28805 HAS SOUS 26531 HAS SOUPS 26531 WITH SCORE 26559.805
AT ITER 1637 NEW BEST:: SOT 66789 SOS 28719 HAS SOPS 28719 HAS SOUS 26445 HAS SOUPS 26445 WITH SCORE 26473.719
AT ITER 1644 NEW BEST:: SOT 66739 SOS 28647 HAS SOPS 28647 HAS SOUS 26373 HAS SOUPS 26373 WITH SCORE 26401.647
AT ITER 1647 NEW BEST:: SOT 66739 SOS 28547 HAS SOPS 28547 HAS SOUS 26323 HAS SOUPS 26323 WITH SCORE 26351.547
AT ITER 1656 NEW BEST:: SOT 66739 SOS 28511 HAS SOPS 28511 HAS SOUS 26312 HAS SOUPS 26312 WITH SCORE 26340.511
AT ITER 1658 NEW BEST:: SOT 66739 SOS 28505 HAS SOPS 28505 HAS SOUS 26309 HAS SOUPS 26309 WITH SCORE 26337.505
AT ITER 1663 NEW BEST:: SOT 66734 SOS 28485 HAS SOPS 28485 HAS SOUS 26294 HAS SOUPS 26294 WITH SCORE 26322.485
AT ITER 1664 NEW BEST:: SOT 66734 SOS 28462 HAS SOPS 28462 HAS SOUS 26294 HAS SOUPS 26294 WITH SCORE 26322.462
AT ITER 1667 NEW BEST:: SOT 66694 SOS 28422 HAS SOPS 28422 HAS SOUS 26254 HAS SOUPS 26254 WITH SCORE 26282.422
AT ITER 1668 NEW BEST:: SOT 66666 SOS 28455 HAS SOPS 28455 HAS SOUS 26212 HAS SOUPS 26212 WITH SCORE 26240.455
AT ITER 1683 NEW BEST:: SOT 66628 SOS 28415 HAS SOPS 28415 HAS SOUS 26172 HAS SOUPS 26172 WITH SCORE 26200.415
AT ITER 1689 NEW BEST:: SOT 66628 SOS 28414 HAS SOPS 28414 HAS SOUS 26171 HAS SOUPS 26171 WITH SCORE 26199.414
AT ITER 1700 NEW BEST:: SOT 66627 SOS 28412 HAS SOPS 28412 HAS SOUS 26169 HAS SOUPS 26169 WITH SCORE 26197.412
AT ITER 1707 NEW BEST:: SOT 66576 SOS 28146 HAS SOPS 28146 HAS SOUS 25944 HAS SOUPS 25944 WITH SCORE 25972.146
AT ITER 1721 NEW BEST:: SOT 66561 SOS 28116 HAS SOPS 28116 HAS SOUS 25914 HAS SOUPS 25914 WITH SCORE 25942.116
AT ITER 1737 NEW BEST:: SOT 66561 SOS 28074 HAS SOPS 28074 HAS SOUS 25895 HAS SOUPS 25895 WITH SCORE 25923.074
AT ITER 1752 NEW BEST:: SOT 66511 SOS 27975 HAS SOPS 27975 HAS SOUS 25845 HAS SOUPS 25845 WITH SCORE 25872.975
AT ITER 1756 NEW BEST:: SOT 66507 SOS 27965 HAS SOPS 27965 HAS SOUS 25835 HAS SOUPS 25835 WITH SCORE 25862.965
AT ITER 1769 NEW BEST:: SOT 66500 SOS 27936 HAS SOPS 27936 HAS SOUS 25806 HAS SOUPS 25806 WITH SCORE 25833.936
AT ITER 1775 NEW BEST:: SOT 66500 SOS 27934 HAS SOPS 27934 HAS SOUS 25806 HAS SOUPS 25806 WITH SCORE 25833.934
AT ITER 1782 NEW BEST:: SOT 66444 SOS 27868 HAS SOPS 27868 HAS SOUS 25740 HAS SOUPS 25740 WITH SCORE 25767.868
AT ITER 1793 NEW BEST:: SOT 66413 SOS 27736 HAS SOPS 27736 HAS SOUS 25611 HAS SOUPS 25611 WITH SCORE 25638.736
AT ITER 1794 NEW BEST:: SOT 66429 SOS 27652 HAS SOPS 27652 HAS SOUS 25561 HAS SOUPS 25561 WITH SCORE 25588.652
AT ITER 1797 NEW BEST:: SOT 66411 SOS 27682 HAS SOPS 27682 HAS SOUS 25501 HAS SOUPS 25501 WITH SCORE 25528.682
AT ITER 1799 NEW BEST:: SOT 66345 SOS 27619 HAS SOPS 27619 HAS SOUS 25438 HAS SOUPS 25438 WITH SCORE 25465.619
AT ITER 1822 NEW BEST:: SOT 66351 SOS 27625 HAS SOPS 27625 HAS SOUS 25400 HAS SOUPS 25400 WITH SCORE 25427.625
AT ITER 1823 NEW BEST:: SOT 66351 SOS 27625 HAS SOPS 27625 HAS SOUS 25378 HAS SOUPS 25378 WITH SCORE 25405.625
AT ITER 1825 NEW BEST:: SOT 66366 SOS 27617 HAS SOPS 27617 HAS SOUS 25370 HAS SOUPS 25370 WITH SCORE 25397.617
AT ITER 1827 NEW BEST:: SOT 66373 SOS 27553 HAS SOPS 27553 HAS SOUS 25365 HAS SOUPS 25365 WITH SCORE 25392.553
AT ITER 1828 NEW BEST:: SOT 66353 SOS 27533 HAS SOPS 27533 HAS SOUS 25345 HAS SOUPS 25345 WITH SCORE 25372.533
AT ITER 1833 NEW BEST:: SOT 66327 SOS 27488 HAS SOPS 27488 HAS SOUS 25281 HAS SOUPS 25281 WITH SCORE 25308.488
AT ITER 1836 NEW BEST:: SOT 66370 SOS 27451 HAS SOPS 27451 HAS SOUS 25250 HAS SOUPS 25250 WITH SCORE 25277.451
AT ITER 1840 NEW BEST:: SOT 66370 SOS 27405 HAS SOPS 27405 HAS SOUS 25227 HAS SOUPS 25227 WITH SCORE 25254.405
AT ITER 1843 NEW BEST:: SOT 66364 SOS 27393 HAS SOPS 27393 HAS SOUS 25215 HAS SOUPS 25215 WITH SCORE 25242.393
AT ITER 1849 NEW BEST:: SOT 66358 SOS 27384 HAS SOPS 27384 HAS SOUS 25206 HAS SOUPS 25206 WITH SCORE 25233.384
AT ITER 1854 NEW BEST:: SOT 66328 SOS 27326 HAS SOPS 27326 HAS SOUS 25148 HAS SOUPS 25148 WITH SCORE 25175.326
AT ITER 1868 NEW BEST:: SOT 66301 SOS 27363 HAS SOPS 27363 HAS SOUS 25144 HAS SOUPS 25144 WITH SCORE 25171.363
AT ITER 1875 NEW BEST:: SOT 66297 SOS 27359 HAS SOPS 27359 HAS SOUS 25140 HAS SOUPS 25140 WITH SCORE 25167.359
AT ITER 1896 NEW BEST:: SOT 66254 SOS 27316 HAS SOPS 27316 HAS SOUS 25097 HAS SOUPS 25097 WITH SCORE 25124.316
AT ITER 1908 NEW BEST:: SOT 66315 SOS 27176 HAS SOPS 27176 HAS SOUS 25045 HAS SOUPS 25045 WITH SCORE 25072.176
AT ITER 1909 NEW BEST:: SOT 66315 SOS 27150 HAS SOPS 27150 HAS SOUS 25045 HAS SOUPS 25045 WITH SCORE 25072.15
AT ITER 1917 NEW BEST:: SOT 66298 SOS 27116 HAS SOPS 27116 HAS SOUS 25011 HAS SOUPS 25011 WITH SCORE 25038.116
AT ITER 1931 NEW BEST:: SOT 66298 SOS 27079 HAS SOPS 27079 HAS SOUS 24975 HAS SOUPS 24975 WITH SCORE 25002.079
AT ITER 1942 NEW BEST:: SOT 66293 SOS 27082 HAS SOPS 27082 HAS SOUS 24965 HAS SOUPS 24965 WITH SCORE 24992.082
AT ITER 1950 NEW BEST:: SOT 66277 SOS 27149 HAS SOPS 27149 HAS SOUS 24942 HAS SOUPS 24942 WITH SCORE 24969.149
AT ITER 1963 NEW BEST:: SOT 66277 SOS 27149 HAS SOPS 27149 HAS SOUS 24917 HAS SOUPS 24917 WITH SCORE 24944.149
AT ITER 1964 NEW BEST:: SOT 66264 SOS 27159 HAS SOPS 27159 HAS SOUS 24904 HAS SOUPS 24904 WITH SCORE 24931.159
AT ITER 1982 NEW BEST:: SOT 66230 SOS 27091 HAS SOPS 27091 HAS SOUS 24836 HAS SOUPS 24836 WITH SCORE 24863.091
AT ITER 1991 NEW BEST:: SOT 66221 SOS 27082 HAS SOPS 27082 HAS SOUS 24827 HAS SOUPS 24827 WITH SCORE 24854.082
AT ITER 2000 NEW BEST:: SOT 66210 SOS 27071 HAS SOPS 27071 HAS SOUS 24798 HAS SOUPS 24798 WITH SCORE 24825.071
AT ITER 2001 NEW BEST:: SOT 66169 SOS 27030 HAS SOPS 27030 HAS SOUS 24757 HAS SOUPS 24757 WITH SCORE 24784.03
AT ITER 2015 NEW BEST:: SOT 66169 SOS 27029 HAS SOPS 27029 HAS SOUS 24757 HAS SOUPS 24757 WITH SCORE 24784.029
AT ITER 2028 NEW BEST:: SOT 66151 SOS 27011 HAS SOPS 27011 HAS SOUS 24739 HAS SOUPS 24739 WITH SCORE 24766.011
AT ITER 2042 NEW BEST:: SOT 66083 SOS 26943 HAS SOPS 26943 HAS SOUS 24671 HAS SOUPS 24671 WITH SCORE 24697.943
AT ITER 2048 NEW BEST:: SOT 66081 SOS 26939 HAS SOPS 26939 HAS SOUS 24669 HAS SOUPS 24669 WITH SCORE 24695.939
AT ITER 2058 NEW BEST:: SOT 66078 SOS 26873 HAS SOPS 26873 HAS SOUS 24631 HAS SOUPS 24631 WITH SCORE 24657.873
AT ITER 2089 NEW BEST:: SOT 66076 SOS 26871 HAS SOPS 26871 HAS SOUS 24629 HAS SOUPS 24629 WITH SCORE 24655.871
AT ITER 2108 NEW BEST:: SOT 66076 SOS 26870 HAS SOPS 26870 HAS SOUS 24629 HAS SOUPS 24629 WITH SCORE 24655.87
AT ITER 2111 NEW BEST:: SOT 66069 SOS 26863 HAS SOPS 26863 HAS SOUS 24608 HAS SOUPS 24608 WITH SCORE 24634.863
AT ITER 2118 NEW BEST:: SOT 66065 SOS 26859 HAS SOPS 26859 HAS SOUS 24604 HAS SOUPS 24604 WITH SCORE 24630.859
AT ITER 2122 NEW BEST:: SOT 66065 SOS 26859 HAS SOPS 26859 HAS SOUS 24576 HAS SOUPS 24576 WITH SCORE 24602.859
AT ITER 2128 NEW BEST:: SOT 66069 SOS 26897 HAS SOPS 26897 HAS SOUS 24568 HAS SOUPS 24568 WITH SCORE 24594.897
AT ITER 2137 NEW BEST:: SOT 66069 SOS 26866 HAS SOPS 26866 HAS SOUS 24537 HAS SOUPS 24537 WITH SCORE 24563.866
AT ITER 2139 NEW BEST:: SOT 66062 SOS 26859 HAS SOPS 26859 HAS SOUS 24530 HAS SOUPS 24530 WITH SCORE 24556.859
AT ITER 2152 NEW BEST:: SOT 66005 SOS 26802 HAS SOPS 26802 HAS SOUS 24473 HAS SOUPS 24473 WITH SCORE 24499.802
AT ITER 2163 NEW BEST:: SOT 65982 SOS 26779 HAS SOPS 26779 HAS SOUS 24450 HAS SOUPS 24450 WITH SCORE 24476.779
AT ITER 2171 NEW BEST:: SOT 65975 SOS 26762 HAS SOPS 26762 HAS SOUS 24433 HAS SOUPS 24433 WITH SCORE 24459.762
AT ITER 2178 NEW BEST:: SOT 65939 SOS 26654 HAS SOPS 26654 HAS SOUS 24325 HAS SOUPS 24325 WITH SCORE 24351.654
AT ITER 2182 NEW BEST:: SOT 65933 SOS 26648 HAS SOPS 26648 HAS SOUS 24319 HAS SOUPS 24319 WITH SCORE 24345.648
AT ITER 2188 NEW BEST:: SOT 65956 SOS 26629 HAS SOPS 26629 HAS SOUS 24292 HAS SOUPS 24292 WITH SCORE 24318.629
AT ITER 2197 NEW BEST:: SOT 65949 SOS 26552 HAS SOPS 26552 HAS SOUS 24264 HAS SOUPS 24264 WITH SCORE 24290.552
AT ITER 2209 NEW BEST:: SOT 65914 SOS 26534 HAS SOPS 26534 HAS SOUS 24232 HAS SOUPS 24232 WITH SCORE 24258.534
AT ITER 2211 NEW BEST:: SOT 65877 SOS 26471 HAS SOPS 26471 HAS SOUS 24138 HAS SOUPS 24138 WITH SCORE 24164.471
AT ITER 2221 NEW BEST:: SOT 65817 SOS 26231 HAS SOPS 26231 HAS SOUS 23958 HAS SOUPS 23958 WITH SCORE 23984.231
AT ITER 2224 NEW BEST:: SOT 65817 SOS 26225 HAS SOPS 26225 HAS SOUS 23952 HAS SOUPS 23952 WITH SCORE 23978.225
AT ITER 2229 NEW BEST:: SOT 65815 SOS 26223 HAS SOPS 26223 HAS SOUS 23952 HAS SOUPS 23952 WITH SCORE 23978.223
AT ITER 2246 NEW BEST:: SOT 65800 SOS 26208 HAS SOPS 26208 HAS SOUS 23937 HAS SOUPS 23937 WITH SCORE 23963.208
AT ITER 2276 NEW BEST:: SOT 65796 SOS 26204 HAS SOPS 26204 HAS SOUS 23933 HAS SOUPS 23933 WITH SCORE 23959.204
AT ITER 2278 NEW BEST:: SOT 65792 SOS 26196 HAS SOPS 26196 HAS SOUS 23929 HAS SOUPS 23929 WITH SCORE 23955.196
AT ITER 2315 NEW BEST:: SOT 65792 SOS 26192 HAS SOPS 26192 HAS SOUS 23925 HAS SOUPS 23925 WITH SCORE 23951.192
AT ITER 2356 NEW BEST:: SOT 65773 SOS 26173 HAS SOPS 26173 HAS SOUS 23925 HAS SOUPS 23925 WITH SCORE 23951.173
AT ITER 2358 NEW BEST:: SOT 65769 SOS 26161 HAS SOPS 26161 HAS SOUS 23913 HAS SOUPS 23913 WITH SCORE 23939.161
AT ITER 2366 NEW BEST:: SOT 65798 SOS 25843 HAS SOPS 25843 HAS SOUS 23700 HAS SOUPS 23700 WITH SCORE 23725.843
AT ITER 2369 NEW BEST:: SOT 65798 SOS 25840 HAS SOPS 25840 HAS SOUS 23697 HAS SOUPS 23697 WITH SCORE 23722.84
AT ITER 2385 NEW BEST:: SOT 65686 SOS 25830 HAS SOPS 25830 HAS SOUS 23687 HAS SOUPS 23687 WITH SCORE 23712.83
AT ITER 2387 NEW BEST:: SOT 65644 SOS 25729 HAS SOPS 25729 HAS SOUS 23586 HAS SOUPS 23586 WITH SCORE 23611.729
AT ITER 2425 NEW BEST:: SOT 65586 SOS 25689 HAS SOPS 25689 HAS SOUS 23545 HAS SOUPS 23545 WITH SCORE 23570.689
AT ITER 2432 NEW BEST:: SOT 65587 SOS 25619 HAS SOPS 25619 HAS SOUS 23522 HAS SOUPS 23522 WITH SCORE 23547.619
AT ITER 2435 NEW BEST:: SOT 65581 SOS 25613 HAS SOPS 25613 HAS SOUS 23516 HAS SOUPS 23516 WITH SCORE 23541.613
AT ITER 2466 NEW BEST:: SOT 65581 SOS 25591 HAS SOPS 25591 HAS SOUS 23494 HAS SOUPS 23494 WITH SCORE 23519.591
AT ITER 2484 NEW BEST:: SOT 65601 SOS 25565 HAS SOPS 25565 HAS SOUS 23490 HAS SOUPS 23490 WITH SCORE 23515.565
AT ITER 2488 NEW BEST:: SOT 65596 SOS 25560 HAS SOPS 25560 HAS SOUS 23485 HAS SOUPS 23485 WITH SCORE 23510.56
AT ITER 2489 NEW BEST:: SOT 65595 SOS 25508 HAS SOPS 25508 HAS SOUS 23478 HAS SOUPS 23478 WITH SCORE 23503.508
AT ITER 2492 NEW BEST:: SOT 65584 SOS 25498 HAS SOPS 25498 HAS SOUS 23457 HAS SOUPS 23457 WITH SCORE 23482.498
AT ITER 2497 NEW BEST:: SOT 65521 SOS 25269 HAS SOPS 25269 HAS SOUS 23308 HAS SOUPS 23308 WITH SCORE 23333.269
AT ITER 2518 NEW BEST:: SOT 65515 SOS 25251 HAS SOPS 25251 HAS SOUS 23290 HAS SOUPS 23290 WITH SCORE 23315.251
AT ITER 2527 NEW BEST:: SOT 65515 SOS 25249 HAS SOPS 25249 HAS SOUS 23290 HAS SOUPS 23290 WITH SCORE 23315.249
AT ITER 2546 NEW BEST:: SOT 65506 SOS 25240 HAS SOPS 25240 HAS SOUS 23281 HAS SOUPS 23281 WITH SCORE 23306.24
AT ITER 2559 NEW BEST:: SOT 65491 SOS 25225 HAS SOPS 25225 HAS SOUS 23260 HAS SOUPS 23260 WITH SCORE 23285.225
AT ITER 2566 NEW BEST:: SOT 65484 SOS 25206 HAS SOPS 25206 HAS SOUS 23241 HAS SOUPS 23241 WITH SCORE 23266.206
AT ITER 2570 NEW BEST:: SOT 65452 SOS 25174 HAS SOPS 25174 HAS SOUS 23209 HAS SOUPS 23209 WITH SCORE 23234.174
AT ITER 2579 NEW BEST:: SOT 65452 SOS 25152 HAS SOPS 25152 HAS SOUS 23187 HAS SOUPS 23187 WITH SCORE 23212.152
AT ITER 2590 NEW BEST:: SOT 65452 SOS 25147 HAS SOPS 25147 HAS SOUS 23186 HAS SOUPS 23186 WITH SCORE 23211.147
AT ITER 2611 NEW BEST:: SOT 65440 SOS 25129 HAS SOPS 25129 HAS SOUS 23168 HAS SOUPS 23168 WITH SCORE 23193.129
AT ITER 2644 NEW BEST:: SOT 65432 SOS 25113 HAS SOPS 25113 HAS SOUS 23152 HAS SOUPS 23152 WITH SCORE 23177.113
AT ITER 2693 NEW BEST:: SOT 65432 SOS 25116 HAS SOPS 25116 HAS SOUS 23121 HAS SOUPS 23121 WITH SCORE 23146.116
AT ITER 2720 NEW BEST:: SOT 65409 SOS 25093 HAS SOPS 25093 HAS SOUS 23095 HAS SOUPS 23095 WITH SCORE 23120.093
AT ITER 2738 NEW BEST:: SOT 65396 SOS 25032 HAS SOPS 25032 HAS SOUS 23034 HAS SOUPS 23034 WITH SCORE 23059.032
AT ITER 2745 NEW BEST:: SOT 65390 SOS 25024 HAS SOPS 25024 HAS SOUS 23026 HAS SOUPS 23026 WITH SCORE 23051.024
AT ITER 2764 NEW BEST:: SOT 65375 SOS 24971 HAS SOPS 24971 HAS SOUS 22973 HAS SOUPS 22973 WITH SCORE 22997.971
AT ITER 2772 NEW BEST:: SOT 65391 SOS 24872 HAS SOPS 24872 HAS SOUS 22846 HAS SOUPS 22846 WITH SCORE 22870.872
AT ITER 2795 NEW BEST:: SOT 65380 SOS 24843 HAS SOPS 24843 HAS SOUS 22817 HAS SOUPS 22817 WITH SCORE 22841.843
AT ITER 2824 NEW BEST:: SOT 65380 SOS 24837 HAS SOPS 24837 HAS SOUS 22808 HAS SOUPS 22808 WITH SCORE 22832.837
AT ITER 2830 NEW BEST:: SOT 65358 SOS 24793 HAS SOPS 24793 HAS SOUS 22759 HAS SOUPS 22759 WITH SCORE 22783.793
AT ITER 2866 NEW BEST:: SOT 65348 SOS 24783 HAS SOPS 24783 HAS SOUS 22753 HAS SOUPS 22753 WITH SCORE 22777.783
AT ITER 2876 NEW BEST:: SOT 65348 SOS 24754 HAS SOPS 24754 HAS SOUS 22724 HAS SOUPS 22724 WITH SCORE 22748.754
AT ITER 2879 NEW BEST:: SOT 65344 SOS 24750 HAS SOPS 24750 HAS SOUS 22720 HAS SOUPS 22720 WITH SCORE 22744.75
AT ITER 2883 NEW BEST:: SOT 65353 SOS 24759 HAS SOPS 24759 HAS SOUS 22719 HAS SOUPS 22719 WITH SCORE 22743.759
AT ITER 2902 NEW BEST:: SOT 65353 SOS 24690 HAS SOPS 24690 HAS SOUS 22696 HAS SOUPS 22696 WITH SCORE 22720.69
AT ITER 2962 NEW BEST:: SOT 65314 SOS 24611 HAS SOPS 24611 HAS SOUS 22617 HAS SOUPS 22617 WITH SCORE 22641.611
AT ITER 2968 NEW BEST:: SOT 65301 SOS 24541 HAS SOPS 24541 HAS SOUS 22547 HAS SOUPS 22547 WITH SCORE 22571.541
AT ITER 2995 NEW BEST:: SOT 65285 SOS 24555 HAS SOPS 24555 HAS SOUS 22539 HAS SOUPS 22539 WITH SCORE 22563.555
AT ITER 3020 NEW BEST:: SOT 65278 SOS 24548 HAS SOPS 24548 HAS SOUS 22532 HAS SOUPS 22532 WITH SCORE 22556.548
AT ITER 3049 NEW BEST:: SOT 65146 SOS 24483 HAS SOPS 24483 HAS SOUS 22426 HAS SOUPS 22426 WITH SCORE 22450.483
AT ITER 3064 NEW BEST:: SOT 65145 SOS 24482 HAS SOPS 24482 HAS SOUS 22414 HAS SOUPS 22414 WITH SCORE 22438.482
AT ITER 3108 NEW BEST:: SOT 65160 SOS 24454 HAS SOPS 24454 HAS SOUS 22386 HAS SOUPS 22386 WITH SCORE 22410.454
AT ITER 3114 NEW BEST:: SOT 65145 SOS 24416 HAS SOPS 24416 HAS SOUS 22350 HAS SOUPS 22350 WITH SCORE 22374.416
AT ITER 3115 NEW BEST:: SOT 65145 SOS 24372 HAS SOPS 24372 HAS SOUS 22346 HAS SOUPS 22346 WITH SCORE 22370.372
AT ITER 3119 NEW BEST:: SOT 65141 SOS 24368 HAS SOPS 24368 HAS SOUS 22342 HAS SOUPS 22342 WITH SCORE 22366.368
AT ITER 3125 NEW BEST:: SOT 65141 SOS 24340 HAS SOPS 24340 HAS SOUS 22342 HAS SOUPS 22342 WITH SCORE 22366.34
AT ITER 3131 NEW BEST:: SOT 65124 SOS 24323 HAS SOPS 24323 HAS SOUS 22301 HAS SOUPS 22301 WITH SCORE 22325.323
AT ITER 3140 NEW BEST:: SOT 65118 SOS 24317 HAS SOPS 24317 HAS SOUS 22298 HAS SOUPS 22298 WITH SCORE 22322.317
AT ITER 3170 NEW BEST:: SOT 65090 SOS 24261 HAS SOPS 24261 HAS SOUS 22242 HAS SOUPS 22242 WITH SCORE 22266.261
AT ITER 3171 NEW BEST:: SOT 65070 SOS 24237 HAS SOPS 24237 HAS SOUS 22218 HAS SOUPS 22218 WITH SCORE 22242.237
AT ITER 3173 NEW BEST:: SOT 65066 SOS 24231 HAS SOPS 24231 HAS SOUS 22212 HAS SOUPS 22212 WITH SCORE 22236.231
AT ITER 3179 NEW BEST:: SOT 65063 SOS 24228 HAS SOPS 24228 HAS SOUS 22209 HAS SOUPS 22209 WITH SCORE 22233.228
AT ITER 3206 NEW BEST:: SOT 65060 SOS 24189 HAS SOPS 24189 HAS SOUS 22170 HAS SOUPS 22170 WITH SCORE 22194.189
AT ITER 3222 NEW BEST:: SOT 65027 SOS 24076 HAS SOPS 24076 HAS SOUS 22117 HAS SOUPS 22117 WITH SCORE 22141.076
AT ITER 3241 NEW BEST:: SOT 65011 SOS 24076 HAS SOPS 24076 HAS SOUS 22113 HAS SOUPS 22113 WITH SCORE 22137.076
AT ITER 3246 NEW BEST:: SOT 65011 SOS 24086 HAS SOPS 24086 HAS SOUS 22111 HAS SOUPS 22111 WITH SCORE 22135.086
AT ITER 3254 NEW BEST:: SOT 64992 SOS 24063 HAS SOPS 24063 HAS SOUS 22057 HAS SOUPS 22057 WITH SCORE 22081.063
AT ITER 3261 NEW BEST:: SOT 64992 SOS 24055 HAS SOPS 24055 HAS SOUS 22049 HAS SOUPS 22049 WITH SCORE 22073.055
AT ITER 3301 NEW BEST:: SOT 64992 SOS 23977 HAS SOPS 23977 HAS SOUS 22012 HAS SOUPS 22012 WITH SCORE 22035.977
AT ITER 3334 NEW BEST:: SOT 64992 SOS 23976 HAS SOPS 23976 HAS SOUS 22012 HAS SOUPS 22012 WITH SCORE 22035.976
AT ITER 3336 NEW BEST:: SOT 64906 SOS 23898 HAS SOPS 23898 HAS SOUS 21934 HAS SOUPS 21934 WITH SCORE 21957.898
AT ITER 3337 NEW BEST:: SOT 64914 SOS 23884 HAS SOPS 23884 HAS SOUS 21918 HAS SOUPS 21918 WITH SCORE 21941.884
AT ITER 3385 NEW BEST:: SOT 64832 SOS 23690 HAS SOPS 23690 HAS SOUS 21724 HAS SOUPS 21724 WITH SCORE 21747.69
AT ITER 3388 NEW BEST:: SOT 64832 SOS 23657 HAS SOPS 23657 HAS SOUS 21707 HAS SOUPS 21707 WITH SCORE 21730.657
AT ITER 3416 NEW BEST:: SOT 64817 SOS 23655 HAS SOPS 23655 HAS SOUS 21705 HAS SOUPS 21705 WITH SCORE 21728.655
AT ITER 3437 NEW BEST:: SOT 64814 SOS 23649 HAS SOPS 23649 HAS SOUS 21699 HAS SOUPS 21699 WITH SCORE 21722.649
AT ITER 3441 NEW BEST:: SOT 64782 SOS 23617 HAS SOPS 23617 HAS SOUS 21667 HAS SOUPS 21667 WITH SCORE 21690.617
AT ITER 3452 NEW BEST:: SOT 64896 SOS 23604 HAS SOPS 23604 HAS SOUS 21660 HAS SOUPS 21660 WITH SCORE 21683.604
AT ITER 3467 NEW BEST:: SOT 64902 SOS 23610 HAS SOPS 23610 HAS SOUS 21610 HAS SOUPS 21610 WITH SCORE 21633.61
AT ITER 3469 NEW BEST:: SOT 64895 SOS 23582 HAS SOPS 23582 HAS SOUS 21588 HAS SOUPS 21588 WITH SCORE 21611.582
AT ITER 3477 NEW BEST:: SOT 64888 SOS 23563 HAS SOPS 23563 HAS SOUS 21569 HAS SOUPS 21569 WITH SCORE 21592.563
AT ITER 3485 NEW BEST:: SOT 64849 SOS 23581 HAS SOPS 23581 HAS SOUS 21559 HAS SOUPS 21559 WITH SCORE 21582.581
AT ITER 3494 NEW BEST:: SOT 64825 SOS 23517 HAS SOPS 23517 HAS SOUS 21525 HAS SOUPS 21525 WITH SCORE 21548.517
AT ITER 3495 NEW BEST:: SOT 64816 SOS 23509 HAS SOPS 23509 HAS SOUS 21517 HAS SOUPS 21517 WITH SCORE 21540.509
AT ITER 3496 NEW BEST:: SOT 64795 SOS 23481 HAS SOPS 23481 HAS SOUS 21496 HAS SOUPS 21496 WITH SCORE 21519.481
AT ITER 3498 NEW BEST:: SOT 64789 SOS 23469 HAS SOPS 23469 HAS SOUS 21484 HAS SOUPS 21484 WITH SCORE 21507.469
AT ITER 3501 NEW BEST:: SOT 64749 SOS 23419 HAS SOPS 23419 HAS SOUS 21434 HAS SOUPS 21434 WITH SCORE 21457.419
AT ITER 3505 NEW BEST:: SOT 64745 SOS 23411 HAS SOPS 23411 HAS SOUS 21413 HAS SOUPS 21413 WITH SCORE 21436.411
AT ITER 3529 NEW BEST:: SOT 64749 SOS 23409 HAS SOPS 23409 HAS SOUS 21411 HAS SOUPS 21411 WITH SCORE 21434.409
AT ITER 3559 NEW BEST:: SOT 64743 SOS 23403 HAS SOPS 23403 HAS SOUS 21411 HAS SOUPS 21411 WITH SCORE 21434.403
AT ITER 3565 NEW BEST:: SOT 64737 SOS 23394 HAS SOPS 23394 HAS SOUS 21402 HAS SOUPS 21402 WITH SCORE 21425.394
AT ITER 3566 NEW BEST:: SOT 64726 SOS 23383 HAS SOPS 23383 HAS SOUS 21391 HAS SOUPS 21391 WITH SCORE 21414.383
AT ITER 3589 NEW BEST:: SOT 64722 SOS 23386 HAS SOPS 23386 HAS SOUS 21390 HAS SOUPS 21390 WITH SCORE 21413.386
AT ITER 3599 NEW BEST:: SOT 64670 SOS 23325 HAS SOPS 23325 HAS SOUS 21329 HAS SOUPS 21329 WITH SCORE 21352.325
AT ITER 3601 NEW BEST:: SOT 64662 SOS 23317 HAS SOPS 23317 HAS SOUS 21321 HAS SOUPS 21321 WITH SCORE 21344.317
AT ITER 3610 NEW BEST:: SOT 64699 SOS 23314 HAS SOPS 23314 HAS SOUS 21318 HAS SOUPS 21318 WITH SCORE 21341.314
AT ITER 3615 NEW BEST:: SOT 64690 SOS 23292 HAS SOPS 23292 HAS SOUS 21296 HAS SOUPS 21296 WITH SCORE 21319.292
AT ITER 3649 NEW BEST:: SOT 64690 SOS 23290 HAS SOPS 23290 HAS SOUS 21296 HAS SOUPS 21296 WITH SCORE 21319.29
AT ITER 3660 NEW BEST:: SOT 64681 SOS 23276 HAS SOPS 23276 HAS SOUS 21287 HAS SOUPS 21287 WITH SCORE 21310.276
AT ITER 3695 NEW BEST:: SOT 64680 SOS 23275 HAS SOPS 23275 HAS SOUS 21285 HAS SOUPS 21285 WITH SCORE 21308.275
AT ITER 3698 NEW BEST:: SOT 64745 SOS 23280 HAS SOPS 23280 HAS SOUS 21245 HAS SOUPS 21245 WITH SCORE 21268.28
AT ITER 3715 NEW BEST:: SOT 64722 SOS 23372 HAS SOPS 23372 HAS SOUS 21211 HAS SOUPS 21211 WITH SCORE 21234.372
AT ITER 3760 NEW BEST:: SOT 64664 SOS 23287 HAS SOPS 23287 HAS SOUS 21124 HAS SOUPS 21124 WITH SCORE 21147.287
AT ITER 3797 NEW BEST:: SOT 64626 SOS 23205 HAS SOPS 23205 HAS SOUS 21042 HAS SOUPS 21042 WITH SCORE 21065.205
AT ITER 3826 NEW BEST:: SOT 64619 SOS 23198 HAS SOPS 23198 HAS SOUS 21030 HAS SOUPS 21030 WITH SCORE 21053.198
AT ITER 3842 NEW BEST:: SOT 64619 SOS 23185 HAS SOPS 23185 HAS SOUS 20990 HAS SOUPS 20990 WITH SCORE 21013.185
AT ITER 3848 NEW BEST:: SOT 64607 SOS 23152 HAS SOPS 23152 HAS SOUS 20957 HAS SOUPS 20957 WITH SCORE 20980.152
AT ITER 3853 NEW BEST:: SOT 64575 SOS 23120 HAS SOPS 23120 HAS SOUS 20941 HAS SOUPS 20941 WITH SCORE 20964.12
AT ITER 3855 NEW BEST:: SOT 64566 SOS 23111 HAS SOPS 23111 HAS SOUS 20932 HAS SOUPS 20932 WITH SCORE 20955.111
AT ITER 3858 NEW BEST:: SOT 64559 SOS 23104 HAS SOPS 23104 HAS SOUS 20925 HAS SOUPS 20925 WITH SCORE 20948.104
AT ITER 3859 NEW BEST:: SOT 64433 SOS 22978 HAS SOPS 22978 HAS SOUS 20775 HAS SOUPS 20775 WITH SCORE 20797.978
AT ITER 3873 NEW BEST:: SOT 64465 SOS 22969 HAS SOPS 22969 HAS SOUS 20766 HAS SOUPS 20766 WITH SCORE 20788.969
AT ITER 3882 NEW BEST:: SOT 64465 SOS 22956 HAS SOPS 22956 HAS SOUS 20749 HAS SOUPS 20749 WITH SCORE 20771.956
AT ITER 3915 NEW BEST:: SOT 64460 SOS 22956 HAS SOPS 22956 HAS SOUS 20744 HAS SOUPS 20744 WITH SCORE 20766.956
AT ITER 3945 NEW BEST:: SOT 64460 SOS 22909 HAS SOPS 22909 HAS SOUS 20697 HAS SOUPS 20697 WITH SCORE 20719.909
AT ITER 3968 NEW BEST:: SOT 64456 SOS 22899 HAS SOPS 22899 HAS SOUS 20687 HAS SOUPS 20687 WITH SCORE 20709.899
AT ITER 4030 NEW BEST:: SOT 64449 SOS 22885 HAS SOPS 22885 HAS SOUS 20673 HAS SOUPS 20673 WITH SCORE 20695.885
AT ITER 4031 NEW BEST:: SOT 64403 SOS 22848 HAS SOPS 22848 HAS SOUS 20636 HAS SOUPS 20636 WITH SCORE 20658.848
AT ITER 4033 NEW BEST:: SOT 64372 SOS 22817 HAS SOPS 22817 HAS SOUS 20627 HAS SOUPS 20627 WITH SCORE 20649.817
AT ITER 4038 NEW BEST:: SOT 64352 SOS 22797 HAS SOPS 22797 HAS SOUS 20607 HAS SOUPS 20607 WITH SCORE 20629.797
AT ITER 4056 NEW BEST:: SOT 64339 SOS 22756 HAS SOPS 22756 HAS SOUS 20589 HAS SOUPS 20589 WITH SCORE 20611.756
AT ITER 4061 NEW BEST:: SOT 64329 SOS 22741 HAS SOPS 22741 HAS SOUS 20574 HAS SOUPS 20574 WITH SCORE 20596.741
AT ITER 4077 NEW BEST:: SOT 64323 SOS 22735 HAS SOPS 22735 HAS SOUS 20565 HAS SOUPS 20565 WITH SCORE 20587.735
AT ITER 4080 NEW BEST:: SOT 64323 SOS 22729 HAS SOPS 22729 HAS SOUS 20559 HAS SOUPS 20559 WITH SCORE 20581.729
AT ITER 4085 NEW BEST:: SOT 64321 SOS 22693 HAS SOPS 22693 HAS SOUS 20536 HAS SOUPS 20536 WITH SCORE 20558.693
AT ITER 4101 NEW BEST:: SOT 64292 SOS 22676 HAS SOPS 22676 HAS SOUS 20519 HAS SOUPS 20519 WITH SCORE 20541.676
AT ITER 4148 NEW BEST:: SOT 64285 SOS 22655 HAS SOPS 22655 HAS SOUS 20498 HAS SOUPS 20498 WITH SCORE 20520.655
AT ITER 4160 NEW BEST:: SOT 64267 SOS 22637 HAS SOPS 22637 HAS SOUS 20480 HAS SOUPS 20480 WITH SCORE 20502.637
AT ITER 4161 NEW BEST:: SOT 64267 SOS 22637 HAS SOPS 22637 HAS SOUS 20474 HAS SOUPS 20474 WITH SCORE 20496.637
AT ITER 4162 NEW BEST:: SOT 64262 SOS 22626 HAS SOPS 22626 HAS SOUS 20467 HAS SOUPS 20467 WITH SCORE 20489.626
AT ITER 4249 NEW BEST:: SOT 64244 SOS 22582 HAS SOPS 22582 HAS SOUS 20423 HAS SOUPS 20423 WITH SCORE 20445.582
AT ITER 4272 NEW BEST:: SOT 64244 SOS 22581 HAS SOPS 22581 HAS SOUS 20422 HAS SOUPS 20422 WITH SCORE 20444.581
AT ITER 4282 NEW BEST:: SOT 64222 SOS 22583 HAS SOPS 22583 HAS SOUS 20420 HAS SOUPS 20420 WITH SCORE 20442.583
AT ITER 4297 NEW BEST:: SOT 64222 SOS 22579 HAS SOPS 22579 HAS SOUS 20418 HAS SOUPS 20418 WITH SCORE 20440.579
AT ITER 4365 NEW BEST:: SOT 64224 SOS 22572 HAS SOPS 22572 HAS SOUS 20414 HAS SOUPS 20414 WITH SCORE 20436.572
AT ITER 4366 NEW BEST:: SOT 64223 SOS 22473 HAS SOPS 22473 HAS SOUS 20392 HAS SOUPS 20392 WITH SCORE 20414.473
AT ITER 4400 NEW BEST:: SOT 64223 SOS 22473 HAS SOPS 22473 HAS SOUS 20391 HAS SOUPS 20391 WITH SCORE 20413.473
AT ITER 4403 NEW BEST:: SOT 64162 SOS 22408 HAS SOPS 22408 HAS SOUS 20326 HAS SOUPS 20326 WITH SCORE 20348.408
AT ITER 4413 NEW BEST:: SOT 64166 SOS 22395 HAS SOPS 22395 HAS SOUS 20313 HAS SOUPS 20313 WITH SCORE 20335.395
AT ITER 4419 NEW BEST:: SOT 64166 SOS 22395 HAS SOPS 22395 HAS SOUS 20312 HAS SOUPS 20312 WITH SCORE 20334.395
AT ITER 4435 NEW BEST:: SOT 64127 SOS 22359 HAS SOPS 22359 HAS SOUS 20258 HAS SOUPS 20258 WITH SCORE 20280.359
AT ITER 4467 NEW BEST:: SOT 64085 SOS 22275 HAS SOPS 22275 HAS SOUS 20195 HAS SOUPS 20195 WITH SCORE 20217.275
AT ITER 4492 NEW BEST:: SOT 64085 SOS 22183 HAS SOPS 22183 HAS SOUS 20143 HAS SOUPS 20143 WITH SCORE 20165.183
AT ITER 4510 NEW BEST:: SOT 64081 SOS 22179 HAS SOPS 22179 HAS SOUS 20139 HAS SOUPS 20139 WITH SCORE 20161.179
AT ITER 4518 NEW BEST:: SOT 64065 SOS 22147 HAS SOPS 22147 HAS SOUS 20115 HAS SOUPS 20115 WITH SCORE 20137.147
AT ITER 4538 NEW BEST:: SOT 64050 SOS 22108 HAS SOPS 22108 HAS SOUS 20109 HAS SOUPS 20109 WITH SCORE 20131.108
AT ITER 4547 NEW BEST:: SOT 64015 SOS 22095 HAS SOPS 22095 HAS SOUS 20096 HAS SOUPS 20096 WITH SCORE 20118.095
AT ITER 4563 NEW BEST:: SOT 64013 SOS 22030 HAS SOPS 22030 HAS SOUS 20052 HAS SOUPS 20052 WITH SCORE 20074.03
AT ITER 4566 NEW BEST:: SOT 63992 SOS 21993 HAS SOPS 21993 HAS SOUS 20015 HAS SOUPS 20015 WITH SCORE 20036.993
AT ITER 4567 NEW BEST:: SOT 63935 SOS 21948 HAS SOPS 21948 HAS SOUS 19970 HAS SOUPS 19970 WITH SCORE 19991.948
AT ITER 4573 NEW BEST:: SOT 63935 SOS 21948 HAS SOPS 21948 HAS SOUS 19969 HAS SOUPS 19969 WITH SCORE 19990.948
AT ITER 4576 NEW BEST:: SOT 63901 SOS 21901 HAS SOPS 21901 HAS SOUS 19935 HAS SOUPS 19935 WITH SCORE 19956.901
AT ITER 4594 NEW BEST:: SOT 63855 SOS 21809 HAS SOPS 21809 HAS SOUS 19843 HAS SOUPS 19843 WITH SCORE 19864.809
AT ITER 4608 NEW BEST:: SOT 63843 SOS 21797 HAS SOPS 21797 HAS SOUS 19831 HAS SOUPS 19831 WITH SCORE 19852.797
AT ITER 4615 NEW BEST:: SOT 63703 SOS 21657 HAS SOPS 21657 HAS SOUS 19613 HAS SOUPS 19613 WITH SCORE 19634.657
AT ITER 4622 NEW BEST:: SOT 63703 SOS 21646 HAS SOPS 21646 HAS SOUS 19602 HAS SOUPS 19602 WITH SCORE 19623.646
AT ITER 4626 NEW BEST:: SOT 63691 SOS 21586 HAS SOPS 21586 HAS SOUS 19543 HAS SOUPS 19543 WITH SCORE 19564.586
AT ITER 4639 NEW BEST:: SOT 63684 SOS 21579 HAS SOPS 21579 HAS SOUS 19536 HAS SOUPS 19536 WITH SCORE 19557.579
AT ITER 4641 NEW BEST:: SOT 63676 SOS 21571 HAS SOPS 21571 HAS SOUS 19528 HAS SOUPS 19528 WITH SCORE 19549.571
AT ITER 4642 NEW BEST:: SOT 63670 SOS 21562 HAS SOPS 21562 HAS SOUS 19522 HAS SOUPS 19522 WITH SCORE 19543.562
AT ITER 4650 NEW BEST:: SOT 63643 SOS 21535 HAS SOPS 21535 HAS SOUS 19437 HAS SOUPS 19437 WITH SCORE 19458.535
AT ITER 4653 NEW BEST:: SOT 63638 SOS 21530 HAS SOPS 21530 HAS SOUS 19432 HAS SOUPS 19432 WITH SCORE 19453.53
AT ITER 4657 NEW BEST:: SOT 63623 SOS 21515 HAS SOPS 21515 HAS SOUS 19417 HAS SOUPS 19417 WITH SCORE 19438.515
AT ITER 4666 NEW BEST:: SOT 63581 SOS 21431 HAS SOPS 21431 HAS SOUS 19367 HAS SOUPS 19367 WITH SCORE 19388.431
AT ITER 4682 NEW BEST:: SOT 63576 SOS 21341 HAS SOPS 21341 HAS SOUS 19319 HAS SOUPS 19319 WITH SCORE 19340.341
AT ITER 4687 NEW BEST:: SOT 63575 SOS 21336 HAS SOPS 21336 HAS SOUS 19314 HAS SOUPS 19314 WITH SCORE 19335.336
AT ITER 4755 NEW BEST:: SOT 63573 SOS 21334 HAS SOPS 21334 HAS SOUS 19311 HAS SOUPS 19311 WITH SCORE 19332.334
AT ITER 4760 NEW BEST:: SOT 63581 SOS 21328 HAS SOPS 21328 HAS SOUS 19305 HAS SOUPS 19305 WITH SCORE 19326.328
AT ITER 4767 NEW BEST:: SOT 63576 SOS 21275 HAS SOPS 21275 HAS SOUS 19252 HAS SOUPS 19252 WITH SCORE 19273.275
AT ITER 4778 NEW BEST:: SOT 63576 SOS 21275 HAS SOPS 21275 HAS SOUS 19225 HAS SOUPS 19225 WITH SCORE 19246.275
AT ITER 4798 NEW BEST:: SOT 63515 SOS 21148 HAS SOPS 21148 HAS SOUS 19098 HAS SOUPS 19098 WITH SCORE 19119.148
AT ITER 4806 NEW BEST:: SOT 63515 SOS 21143 HAS SOPS 21143 HAS SOUS 19093 HAS SOUPS 19093 WITH SCORE 19114.143
AT ITER 4833 NEW BEST:: SOT 63490 SOS 21043 HAS SOPS 21043 HAS SOUS 19018 HAS SOUPS 19018 WITH SCORE 19039.043
AT ITER 4839 NEW BEST:: SOT 63490 SOS 21036 HAS SOPS 21036 HAS SOUS 19011 HAS SOUPS 19011 WITH SCORE 19032.036
AT ITER 4841 NEW BEST:: SOT 63485 SOS 21026 HAS SOPS 21026 HAS SOUS 19005 HAS SOUPS 19005 WITH SCORE 19026.026
AT ITER 4862 NEW BEST:: SOT 63480 SOS 21021 HAS SOPS 21021 HAS SOUS 19000 HAS SOUPS 19000 WITH SCORE 19021.021
AT ITER 4867 NEW BEST:: SOT 63479 SOS 21019 HAS SOPS 21019 HAS SOUS 18998 HAS SOUPS 18998 WITH SCORE 19019.019
AT ITER 4908 NEW BEST:: SOT 63461 SOS 21006 HAS SOPS 21006 HAS SOUS 18985 HAS SOUPS 18985 WITH SCORE 19006.006
AT ITER 4927 NEW BEST:: SOT 63426 SOS 20971 HAS SOPS 20971 HAS SOUS 18963 HAS SOUPS 18963 WITH SCORE 18983.971
AT ITER 4960 NEW BEST:: SOT 63429 SOS 20858 HAS SOPS 20858 HAS SOUS 18956 HAS SOUPS 18956 WITH SCORE 18976.858
AT ITER 4969 NEW BEST:: SOT 63414 SOS 20843 HAS SOPS 20843 HAS SOUS 18941 HAS SOUPS 18941 WITH SCORE 18961.843
AT ITER 4974 NEW BEST:: SOT 63414 SOS 20836 HAS SOPS 20836 HAS SOUS 18934 HAS SOUPS 18934 WITH SCORE 18954.836
AT ITER 5001 NEW BEST:: SOT 63408 SOS 20830 HAS SOPS 20830 HAS SOUS 18909 HAS SOUPS 18909 WITH SCORE 18929.83
AT ITER 5004 NEW BEST:: SOT 63368 SOS 20756 HAS SOPS 20756 HAS SOUS 18835 HAS SOUPS 18835 WITH SCORE 18855.756
AT ITER 5024 NEW BEST:: SOT 63355 SOS 20730 HAS SOPS 20730 HAS SOUS 18809 HAS SOUPS 18809 WITH SCORE 18829.73
AT ITER 5026 NEW BEST:: SOT 63353 SOS 20726 HAS SOPS 20726 HAS SOUS 18807 HAS SOUPS 18807 WITH SCORE 18827.726
AT ITER 5124 NEW BEST:: SOT 63353 SOS 20718 HAS SOPS 20718 HAS SOUS 18807 HAS SOUPS 18807 WITH SCORE 18827.718
AT ITER 5129 NEW BEST:: SOT 63353 SOS 20658 HAS SOPS 20658 HAS SOUS 18767 HAS SOUPS 18767 WITH SCORE 18787.658
AT ITER 5142 NEW BEST:: SOT 63305 SOS 20538 HAS SOPS 20538 HAS SOUS 18671 HAS SOUPS 18671 WITH SCORE 18691.538
AT ITER 5192 NEW BEST:: SOT 63292 SOS 20513 HAS SOPS 20513 HAS SOUS 18646 HAS SOUPS 18646 WITH SCORE 18666.513
AT ITER 5217 NEW BEST:: SOT 63267 SOS 20488 HAS SOPS 20488 HAS SOUS 18646 HAS SOUPS 18646 WITH SCORE 18666.488
AT ITER 5236 NEW BEST:: SOT 63267 SOS 20484 HAS SOPS 20484 HAS SOUS 18642 HAS SOUPS 18642 WITH SCORE 18662.484
AT ITER 5251 NEW BEST:: SOT 63271 SOS 20497 HAS SOPS 20497 HAS SOUS 18641 HAS SOUPS 18641 WITH SCORE 18661.497
AT ITER 5273 NEW BEST:: SOT 63254 SOS 20474 HAS SOPS 20474 HAS SOUS 18618 HAS SOUPS 18618 WITH SCORE 18638.474
AT ITER 5274 NEW BEST:: SOT 63250 SOS 20466 HAS SOPS 20466 HAS SOUS 18610 HAS SOUPS 18610 WITH SCORE 18630.466
AT ITER 5320 NEW BEST:: SOT 63249 SOS 20451 HAS SOPS 20451 HAS SOUS 18590 HAS SOUPS 18590 WITH SCORE 18610.451
AT ITER 5330 NEW BEST:: SOT 63246 SOS 20445 HAS SOPS 20445 HAS SOUS 18587 HAS SOUPS 18587 WITH SCORE 18607.445
AT ITER 5336 NEW BEST:: SOT 63226 SOS 20425 HAS SOPS 20425 HAS SOUS 18567 HAS SOUPS 18567 WITH SCORE 18587.425
AT ITER 5343 NEW BEST:: SOT 63222 SOS 20413 HAS SOPS 20413 HAS SOUS 18563 HAS SOUPS 18563 WITH SCORE 18583.413
AT ITER 5368 NEW BEST:: SOT 63222 SOS 20408 HAS SOPS 20408 HAS SOUS 18558 HAS SOUPS 18558 WITH SCORE 18578.408
AT ITER 5414 NEW BEST:: SOT 63222 SOS 20389 HAS SOPS 20389 HAS SOUS 18539 HAS SOUPS 18539 WITH SCORE 18559.389
AT ITER 5447 NEW BEST:: SOT 63211 SOS 20370 HAS SOPS 20370 HAS SOUS 18520 HAS SOUPS 18520 WITH SCORE 18540.37
AT ITER 5457 NEW BEST:: SOT 63211 SOS 20352 HAS SOPS 20352 HAS SOUS 18511 HAS SOUPS 18511 WITH SCORE 18531.352
AT ITER 5496 NEW BEST:: SOT 63187 SOS 20328 HAS SOPS 20328 HAS SOUS 18487 HAS SOUPS 18487 WITH SCORE 18507.328
AT ITER 5505 NEW BEST:: SOT 63179 SOS 20309 HAS SOPS 20309 HAS SOUS 18468 HAS SOUPS 18468 WITH SCORE 18488.309
AT ITER 5520 NEW BEST:: SOT 63176 SOS 20307 HAS SOPS 20307 HAS SOUS 18463 HAS SOUPS 18463 WITH SCORE 18483.307
AT ITER 5558 NEW BEST:: SOT 63172 SOS 20272 HAS SOPS 20272 HAS SOUS 18446 HAS SOUPS 18446 WITH SCORE 18466.272
AT ITER 5568 NEW BEST:: SOT 63135 SOS 20235 HAS SOPS 20235 HAS SOUS 18405 HAS SOUPS 18405 WITH SCORE 18425.235
AT ITER 5634 NEW BEST:: SOT 63134 SOS 20233 HAS SOPS 20233 HAS SOUS 18404 HAS SOUPS 18404 WITH SCORE 18424.233
AT ITER 5666 NEW BEST:: SOT 63134 SOS 20231 HAS SOPS 20231 HAS SOUS 18404 HAS SOUPS 18404 WITH SCORE 18424.231
AT ITER 5676 NEW BEST:: SOT 63133 SOS 20228 HAS SOPS 20228 HAS SOUS 18402 HAS SOUPS 18402 WITH SCORE 18422.228
AT ITER 5694 NEW BEST:: SOT 63133 SOS 20168 HAS SOPS 20168 HAS SOUS 18376 HAS SOUPS 18376 WITH SCORE 18396.168
AT ITER 5707 NEW BEST:: SOT 63123 SOS 20158 HAS SOPS 20158 HAS SOUS 18366 HAS SOUPS 18366 WITH SCORE 18386.158
AT ITER 5726 NEW BEST:: SOT 63117 SOS 20146 HAS SOPS 20146 HAS SOUS 18354 HAS SOUPS 18354 WITH SCORE 18374.146
AT ITER 5727 NEW BEST:: SOT 63086 SOS 20113 HAS SOPS 20113 HAS SOUS 18315 HAS SOUPS 18315 WITH SCORE 18335.113
AT ITER 5752 NEW BEST:: SOT 63094 SOS 20118 HAS SOPS 20118 HAS SOUS 18312 HAS SOUPS 18312 WITH SCORE 18332.118
AT ITER 5762 NEW BEST:: SOT 63070 SOS 20094 HAS SOPS 20094 HAS SOUS 18300 HAS SOUPS 18300 WITH SCORE 18320.094
AT ITER 5764 NEW BEST:: SOT 63083 SOS 20089 HAS SOPS 20089 HAS SOUS 18295 HAS SOUPS 18295 WITH SCORE 18315.089
AT ITER 5773 NEW BEST:: SOT 62975 SOS 19994 HAS SOPS 19994 HAS SOUS 18211 HAS SOUPS 18211 WITH SCORE 18230.994
AT ITER 5779 NEW BEST:: SOT 62969 SOS 19982 HAS SOPS 19982 HAS SOUS 18205 HAS SOUPS 18205 WITH SCORE 18224.982
AT ITER 5796 NEW BEST:: SOT 62969 SOS 19972 HAS SOPS 19972 HAS SOUS 18195 HAS SOUPS 18195 WITH SCORE 18214.972
AT ITER 5905 NEW BEST:: SOT 62969 SOS 19970 HAS SOPS 19970 HAS SOUS 18193 HAS SOUPS 18193 WITH SCORE 18212.97
AT ITER 5911 NEW BEST:: SOT 62960 SOS 19957 HAS SOPS 19957 HAS SOUS 18180 HAS SOUPS 18180 WITH SCORE 18199.957
AT ITER 5952 NEW BEST:: SOT 62879 SOS 19857 HAS SOPS 19857 HAS SOUS 18097 HAS SOUPS 18097 WITH SCORE 18116.857
AT ITER 5972 NEW BEST:: SOT 62885 SOS 19857 HAS SOPS 19857 HAS SOUS 18096 HAS SOUPS 18096 WITH SCORE 18115.857
AT ITER 5976 NEW BEST:: SOT 62885 SOS 19851 HAS SOPS 19851 HAS SOUS 18090 HAS SOUPS 18090 WITH SCORE 18109.851
AT ITER 6015 NEW BEST:: SOT 62885 SOS 19847 HAS SOPS 19847 HAS SOUS 18086 HAS SOUPS 18086 WITH SCORE 18105.847
AT ITER 6016 NEW BEST:: SOT 62850 SOS 19834 HAS SOPS 19834 HAS SOUS 18073 HAS SOUPS 18073 WITH SCORE 18092.834
AT ITER 6026 NEW BEST:: SOT 62848 SOS 19830 HAS SOPS 19830 HAS SOUS 18069 HAS SOUPS 18069 WITH SCORE 18088.83
AT ITER 6038 NEW BEST:: SOT 62824 SOS 19806 HAS SOPS 19806 HAS SOUS 18029 HAS SOUPS 18029 WITH SCORE 18048.806
AT ITER 6093 NEW BEST:: SOT 62820 SOS 19787 HAS SOPS 19787 HAS SOUS 18018 HAS SOUPS 18018 WITH SCORE 18037.787
AT ITER 6103 NEW BEST:: SOT 62801 SOS 19781 HAS SOPS 19781 HAS SOUS 18018 HAS SOUPS 18018 WITH SCORE 18037.781
AT ITER 6109 NEW BEST:: SOT 62801 SOS 19774 HAS SOPS 19774 HAS SOUS 18018 HAS SOUPS 18018 WITH SCORE 18037.774
AT ITER 6113 NEW BEST:: SOT 62801 SOS 19772 HAS SOPS 19772 HAS SOUS 18016 HAS SOUPS 18016 WITH SCORE 18035.772
AT ITER 6129 NEW BEST:: SOT 62796 SOS 19733 HAS SOPS 19733 HAS SOUS 17977 HAS SOUPS 17977 WITH SCORE 17996.733
AT ITER 6141 NEW BEST:: SOT 62778 SOS 19724 HAS SOPS 19724 HAS SOUS 17971 HAS SOUPS 17971 WITH SCORE 17990.724
AT ITER 6154 NEW BEST:: SOT 62737 SOS 19672 HAS SOPS 19672 HAS SOUS 17919 HAS SOUPS 17919 WITH SCORE 17938.672
AT ITER 6191 NEW BEST:: SOT 62787 SOS 19677 HAS SOPS 19677 HAS SOUS 17876 HAS SOUPS 17876 WITH SCORE 17895.677
AT ITER 6213 NEW BEST:: SOT 62770 SOS 19660 HAS SOPS 19660 HAS SOUS 17864 HAS SOUPS 17864 WITH SCORE 17883.66
AT ITER 6274 NEW BEST:: SOT 62792 SOS 19649 HAS SOPS 19649 HAS SOUS 17853 HAS SOUPS 17853 WITH SCORE 17872.649
AT ITER 6281 NEW BEST:: SOT 62799 SOS 19612 HAS SOPS 19612 HAS SOUS 17830 HAS SOUPS 17830 WITH SCORE 17849.612
AT ITER 6301 NEW BEST:: SOT 62799 SOS 19603 HAS SOPS 19603 HAS SOUS 17821 HAS SOUPS 17821 WITH SCORE 17840.603
AT ITER 6390 NEW BEST:: SOT 62780 SOS 19584 HAS SOPS 19584 HAS SOUS 17813 HAS SOUPS 17813 WITH SCORE 17832.584
AT ITER 6400 NEW BEST:: SOT 62744 SOS 19580 HAS SOPS 19580 HAS SOUS 17813 HAS SOUPS 17813 WITH SCORE 17832.58
AT ITER 6485 NEW BEST:: SOT 62748 SOS 19601 HAS SOPS 19601 HAS SOUS 17800 HAS SOUPS 17800 WITH SCORE 17819.601
AT ITER 6490 NEW BEST:: SOT 62733 SOS 19582 HAS SOPS 19582 HAS SOUS 17780 HAS SOUPS 17780 WITH SCORE 17799.582
AT ITER 6498 NEW BEST:: SOT 62733 SOS 19385 HAS SOPS 19385 HAS SOUS 17780 HAS SOUPS 17780 WITH SCORE 17799.385
AT ITER 6505 NEW BEST:: SOT 62729 SOS 19381 HAS SOPS 19381 HAS SOUS 17776 HAS SOUPS 17776 WITH SCORE 17795.381
AT ITER 6511 NEW BEST:: SOT 62712 SOS 19372 HAS SOPS 19372 HAS SOUS 17767 HAS SOUPS 17767 WITH SCORE 17786.372
AT ITER 6569 NEW BEST:: SOT 62691 SOS 19329 HAS SOPS 19329 HAS SOUS 17691 HAS SOUPS 17691 WITH SCORE 17710.329
AT ITER 6623 NEW BEST:: SOT 62664 SOS 19289 HAS SOPS 19289 HAS SOUS 17658 HAS SOUPS 17658 WITH SCORE 17677.289
AT ITER 6638 NEW BEST:: SOT 62646 SOS 19262 HAS SOPS 19262 HAS SOUS 17631 HAS SOUPS 17631 WITH SCORE 17650.262
AT ITER 6674 NEW BEST:: SOT 62640 SOS 19256 HAS SOPS 19256 HAS SOUS 17628 HAS SOUPS 17628 WITH SCORE 17647.256
AT ITER 6695 NEW BEST:: SOT 62626 SOS 19241 HAS SOPS 19241 HAS SOUS 17617 HAS SOUPS 17617 WITH SCORE 17636.241
AT ITER 6718 NEW BEST:: SOT 62614 SOS 19215 HAS SOPS 19215 HAS SOUS 17617 HAS SOUPS 17617 WITH SCORE 17636.215
AT ITER 6740 NEW BEST:: SOT 62595 SOS 19188 HAS SOPS 19188 HAS SOUS 17590 HAS SOUPS 17590 WITH SCORE 17609.188
AT ITER 6778 NEW BEST:: SOT 62592 SOS 19183 HAS SOPS 19183 HAS SOUS 17586 HAS SOUPS 17586 WITH SCORE 17605.183
AT ITER 6798 NEW BEST:: SOT 62592 SOS 19169 HAS SOPS 19169 HAS SOUS 17572 HAS SOUPS 17572 WITH SCORE 17591.169
AT ITER 6824 NEW BEST:: SOT 62564 SOS 19070 HAS SOPS 19070 HAS SOUS 17509 HAS SOUPS 17509 WITH SCORE 17528.07
AT ITER 6830 NEW BEST:: SOT 62545 SOS 19058 HAS SOPS 19058 HAS SOUS 17497 HAS SOUPS 17497 WITH SCORE 17516.058
AT ITER 6861 NEW BEST:: SOT 62532 SOS 19045 HAS SOPS 19045 HAS SOUS 17439 HAS SOUPS 17439 WITH SCORE 17458.045
AT ITER 6872 NEW BEST:: SOT 62526 SOS 19039 HAS SOPS 19039 HAS SOUS 17433 HAS SOUPS 17433 WITH SCORE 17452.039
AT ITER 6875 NEW BEST:: SOT 62497 SOS 18960 HAS SOPS 18960 HAS SOUS 17354 HAS SOUPS 17354 WITH SCORE 17372.96
AT ITER 6882 NEW BEST:: SOT 62476 SOS 18885 HAS SOPS 18885 HAS SOUS 17312 HAS SOUPS 17312 WITH SCORE 17330.885
AT ITER 6934 NEW BEST:: SOT 62459 SOS 18872 HAS SOPS 18872 HAS SOUS 17299 HAS SOUPS 17299 WITH SCORE 17317.872
AT ITER 6972 NEW BEST:: SOT 62450 SOS 18863 HAS SOPS 18863 HAS SOUS 17298 HAS SOUPS 17298 WITH SCORE 17316.863
AT ITER 7003 NEW BEST:: SOT 62459 SOS 18843 HAS SOPS 18843 HAS SOUS 17281 HAS SOUPS 17281 WITH SCORE 17299.843
AT ITER 7015 NEW BEST:: SOT 62455 SOS 18839 HAS SOPS 18839 HAS SOUS 17277 HAS SOUPS 17277 WITH SCORE 17295.839
AT ITER 7023 NEW BEST:: SOT 62455 SOS 18739 HAS SOPS 18739 HAS SOUS 17196 HAS SOUPS 17196 WITH SCORE 17214.739
AT ITER 7027 NEW BEST:: SOT 62423 SOS 18691 HAS SOPS 18691 HAS SOUS 17148 HAS SOUPS 17148 WITH SCORE 17166.691
AT ITER 7028 NEW BEST:: SOT 62401 SOS 18712 HAS SOPS 18712 HAS SOUS 17115 HAS SOUPS 17115 WITH SCORE 17133.712
AT ITER 7031 NEW BEST:: SOT 62401 SOS 18680 HAS SOPS 18680 HAS SOUS 17115 HAS SOUPS 17115 WITH SCORE 17133.68
AT ITER 7052 NEW BEST:: SOT 62374 SOS 18654 HAS SOPS 18654 HAS SOUS 17112 HAS SOUPS 17112 WITH SCORE 17130.654
AT ITER 7072 NEW BEST:: SOT 62357 SOS 18637 HAS SOPS 18637 HAS SOUS 17095 HAS SOUPS 17095 WITH SCORE 17113.637
AT ITER 7077 NEW BEST:: SOT 62357 SOS 18635 HAS SOPS 18635 HAS SOUS 17095 HAS SOUPS 17095 WITH SCORE 17113.635
AT ITER 7084 NEW BEST:: SOT 62362 SOS 18634 HAS SOPS 18634 HAS SOUS 17094 HAS SOUPS 17094 WITH SCORE 17112.634
AT ITER 7118 NEW BEST:: SOT 62275 SOS 18587 HAS SOPS 18587 HAS SOUS 17047 HAS SOUPS 17047 WITH SCORE 17065.587
AT ITER 7141 NEW BEST:: SOT 62275 SOS 18630 HAS SOPS 18630 HAS SOUS 17041 HAS SOUPS 17041 WITH SCORE 17059.63
AT ITER 7143 NEW BEST:: SOT 62268 SOS 18602 HAS SOPS 18602 HAS SOUS 17020 HAS SOUPS 17020 WITH SCORE 17038.602
AT ITER 7144 NEW BEST:: SOT 62261 SOS 18589 HAS SOPS 18589 HAS SOUS 17007 HAS SOUPS 17007 WITH SCORE 17025.589
AT ITER 7163 NEW BEST:: SOT 62229 SOS 18587 HAS SOPS 18587 HAS SOUS 17005 HAS SOUPS 17005 WITH SCORE 17023.587
AT ITER 7193 NEW BEST:: SOT 62193 SOS 18503 HAS SOPS 18503 HAS SOUS 16927 HAS SOUPS 16927 WITH SCORE 16945.503
AT ITER 7206 NEW BEST:: SOT 62184 SOS 18494 HAS SOPS 18494 HAS SOUS 16910 HAS SOUPS 16910 WITH SCORE 16928.494
AT ITER 7218 NEW BEST:: SOT 62169 SOS 18457 HAS SOPS 18457 HAS SOUS 16873 HAS SOUPS 16873 WITH SCORE 16891.457
AT ITER 7230 NEW BEST:: SOT 62168 SOS 18452 HAS SOPS 18452 HAS SOUS 16868 HAS SOUPS 16868 WITH SCORE 16886.452
AT ITER 7327 NEW BEST:: SOT 62165 SOS 18445 HAS SOPS 18445 HAS SOUS 16861 HAS SOUPS 16861 WITH SCORE 16879.445
AT ITER 7336 NEW BEST:: SOT 62165 SOS 18432 HAS SOPS 18432 HAS SOUS 16848 HAS SOUPS 16848 WITH SCORE 16866.432
AT ITER 7375 NEW BEST:: SOT 62156 SOS 18420 HAS SOPS 18420 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16854.42
AT ITER 7395 NEW BEST:: SOT 62148 SOS 18418 HAS SOPS 18418 HAS SOUS 16824 HAS SOUPS 16824 WITH SCORE 16842.418
AT ITER 7399 NEW BEST:: SOT 62144 SOS 18377 HAS SOPS 18377 HAS SOUS 16797 HAS SOUPS 16797 WITH SCORE 16815.377
AT ITER 7420 NEW BEST:: SOT 62129 SOS 18362 HAS SOPS 18362 HAS SOUS 16782 HAS SOUPS 16782 WITH SCORE 16800.362
AT ITER 7434 NEW BEST:: SOT 62103 SOS 18318 HAS SOPS 18318 HAS SOUS 16751 HAS SOUPS 16751 WITH SCORE 16769.318
AT ITER 7444 NEW BEST:: SOT 62096 SOS 18267 HAS SOPS 18267 HAS SOUS 16695 HAS SOUPS 16695 WITH SCORE 16713.267
AT ITER 7462 NEW BEST:: SOT 62077 SOS 18219 HAS SOPS 18219 HAS SOUS 16647 HAS SOUPS 16647 WITH SCORE 16665.219
AT ITER 7464 NEW BEST:: SOT 62068 SOS 18207 HAS SOPS 18207 HAS SOUS 16635 HAS SOUPS 16635 WITH SCORE 16653.207
AT ITER 7469 NEW BEST:: SOT 62068 SOS 18138 HAS SOPS 18138 HAS SOUS 16589 HAS SOUPS 16589 WITH SCORE 16607.138
AT ITER 7484 NEW BEST:: SOT 62068 SOS 18138 HAS SOPS 18138 HAS SOUS 16558 HAS SOUPS 16558 WITH SCORE 16576.138
AT ITER 7506 NEW BEST:: SOT 62052 SOS 18122 HAS SOPS 18122 HAS SOUS 16542 HAS SOUPS 16542 WITH SCORE 16560.122
AT ITER 7546 NEW BEST:: SOT 62060 SOS 18053 HAS SOPS 18053 HAS SOUS 16496 HAS SOUPS 16496 WITH SCORE 16514.053
AT ITER 7552 NEW BEST:: SOT 62055 SOS 18040 HAS SOPS 18040 HAS SOUS 16480 HAS SOUPS 16480 WITH SCORE 16498.04
AT ITER 7568 NEW BEST:: SOT 62067 SOS 18037 HAS SOPS 18037 HAS SOUS 16476 HAS SOUPS 16476 WITH SCORE 16494.037
AT ITER 7577 NEW BEST:: SOT 62056 SOS 18026 HAS SOPS 18026 HAS SOUS 16452 HAS SOUPS 16452 WITH SCORE 16470.026
AT ITER 7622 NEW BEST:: SOT 62056 SOS 17994 HAS SOPS 17994 HAS SOUS 16420 HAS SOUPS 16420 WITH SCORE 16437.994
AT ITER 7667 NEW BEST:: SOT 62042 SOS 17979 HAS SOPS 17979 HAS SOUS 16405 HAS SOUPS 16405 WITH SCORE 16422.979
AT ITER 7692 NEW BEST:: SOT 62039 SOS 17973 HAS SOPS 17973 HAS SOUS 16399 HAS SOUPS 16399 WITH SCORE 16416.973
AT ITER 7744 NEW BEST:: SOT 62039 SOS 17972 HAS SOPS 17972 HAS SOUS 16399 HAS SOUPS 16399 WITH SCORE 16416.972
AT ITER 7794 NEW BEST:: SOT 62090 SOS 17897 HAS SOPS 17897 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16412.897
AT ITER 7806 NEW BEST:: SOT 62090 SOS 17883 HAS SOPS 17883 HAS SOUS 16381 HAS SOUPS 16381 WITH SCORE 16398.883
AT ITER 7808 NEW BEST:: SOT 62088 SOS 17827 HAS SOPS 17827 HAS SOUS 16344 HAS SOUPS 16344 WITH SCORE 16361.827
AT ITER 7815 NEW BEST:: SOT 62010 SOS 17749 HAS SOPS 17749 HAS SOUS 16266 HAS SOUPS 16266 WITH SCORE 16283.749
AT ITER 7860 NEW BEST:: SOT 61993 SOS 17732 HAS SOPS 17732 HAS SOUS 16249 HAS SOUPS 16249 WITH SCORE 16266.732
AT ITER 7875 NEW BEST:: SOT 61993 SOS 17755 HAS SOPS 17755 HAS SOUS 16242 HAS SOUPS 16242 WITH SCORE 16259.755
AT ITER 7895 NEW BEST:: SOT 61984 SOS 17753 HAS SOPS 17753 HAS SOUS 16240 HAS SOUPS 16240 WITH SCORE 16257.753
AT ITER 7925 NEW BEST:: SOT 61974 SOS 17738 HAS SOPS 17738 HAS SOUS 16225 HAS SOUPS 16225 WITH SCORE 16242.738
AT ITER 7939 NEW BEST:: SOT 61930 SOS 17686 HAS SOPS 17686 HAS SOUS 16173 HAS SOUPS 16173 WITH SCORE 16190.686
AT ITER 7990 NEW BEST:: SOT 61932 SOS 17677 HAS SOPS 17677 HAS SOUS 16169 HAS SOUPS 16169 WITH SCORE 16186.677
AT ITER 8012 NEW BEST:: SOT 61934 SOS 17627 HAS SOPS 17627 HAS SOUS 16149 HAS SOUPS 16149 WITH SCORE 16166.627
AT ITER 8015 NEW BEST:: SOT 61910 SOS 17585 HAS SOPS 17585 HAS SOUS 16107 HAS SOUPS 16107 WITH SCORE 16124.585
AT ITER 8173 NEW BEST:: SOT 61907 SOS 17580 HAS SOPS 17580 HAS SOUS 16102 HAS SOUPS 16102 WITH SCORE 16119.58
AT ITER 8176 NEW BEST:: SOT 61903 SOS 17573 HAS SOPS 17573 HAS SOUS 16089 HAS SOUPS 16089 WITH SCORE 16106.573
AT ITER 8197 NEW BEST:: SOT 61897 SOS 17562 HAS SOPS 17562 HAS SOUS 16069 HAS SOUPS 16069 WITH SCORE 16086.562
AT ITER 8232 NEW BEST:: SOT 61887 SOS 17552 HAS SOPS 17552 HAS SOUS 16029 HAS SOUPS 16029 WITH SCORE 16046.552
AT ITER 8244 NEW BEST:: SOT 61863 SOS 17534 HAS SOPS 17534 HAS SOUS 16011 HAS SOUPS 16011 WITH SCORE 16028.534
AT ITER 8245 NEW BEST:: SOT 61858 SOS 17525 HAS SOPS 17525 HAS SOUS 16000 HAS SOUPS 16000 WITH SCORE 16017.525
AT ITER 8281 NEW BEST:: SOT 61850 SOS 17517 HAS SOPS 17517 HAS SOUS 15992 HAS SOUPS 15992 WITH SCORE 16009.517
AT ITER 8340 NEW BEST:: SOT 61820 SOS 17476 HAS SOPS 17476 HAS SOUS 15961 HAS SOUPS 15961 WITH SCORE 15978.476
AT ITER 8365 NEW BEST:: SOT 61774 SOS 17382 HAS SOPS 17382 HAS SOUS 15891 HAS SOUPS 15891 WITH SCORE 15908.382
AT ITER 8369 NEW BEST:: SOT 61738 SOS 17341 HAS SOPS 17341 HAS SOUS 15850 HAS SOUPS 15850 WITH SCORE 15867.341
AT ITER 8400 NEW BEST:: SOT 61738 SOS 17335 HAS SOPS 17335 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15864.335
AT ITER 8411 NEW BEST:: SOT 61745 SOS 17244 HAS SOPS 17244 HAS SOUS 15793 HAS SOUPS 15793 WITH SCORE 15810.244
AT ITER 8432 NEW BEST:: SOT 61742 SOS 17225 HAS SOPS 17225 HAS SOUS 15780 HAS SOUPS 15780 WITH SCORE 15797.225
AT ITER 8452 NEW BEST:: SOT 61674 SOS 17123 HAS SOPS 17123 HAS SOUS 15678 HAS SOUPS 15678 WITH SCORE 15695.123
AT ITER 8554 NEW BEST:: SOT 61674 SOS 17120 HAS SOPS 17120 HAS SOUS 15675 HAS SOUPS 15675 WITH SCORE 15692.12
AT ITER 8562 NEW BEST:: SOT 61644 SOS 17107 HAS SOPS 17107 HAS SOUS 15662 HAS SOUPS 15662 WITH SCORE 15679.107
AT ITER 8576 NEW BEST:: SOT 61634 SOS 17090 HAS SOPS 17090 HAS SOUS 15645 HAS SOUPS 15645 WITH SCORE 15662.09
AT ITER 8639 NEW BEST:: SOT 61626 SOS 17082 HAS SOPS 17082 HAS SOUS 15645 HAS SOUPS 15645 WITH SCORE 15662.082
AT ITER 8690 NEW BEST:: SOT 61626 SOS 17080 HAS SOPS 17080 HAS SOUS 15643 HAS SOUPS 15643 WITH SCORE 15660.08
AT ITER 8737 NEW BEST:: SOT 61617 SOS 17065 HAS SOPS 17065 HAS SOUS 15628 HAS SOUPS 15628 WITH SCORE 15645.065
AT ITER 8775 NEW BEST:: SOT 61606 SOS 17050 HAS SOPS 17050 HAS SOUS 15618 HAS SOUPS 15618 WITH SCORE 15635.05
AT ITER 8784 NEW BEST:: SOT 61600 SOS 17038 HAS SOPS 17038 HAS SOUS 15612 HAS SOUPS 15612 WITH SCORE 15629.038
AT ITER 8793 NEW BEST:: SOT 61593 SOS 17017 HAS SOPS 17017 HAS SOUS 15591 HAS SOUPS 15591 WITH SCORE 15608.017
AT ITER 8799 NEW BEST:: SOT 61567 SOS 16991 HAS SOPS 16991 HAS SOUS 15565 HAS SOUPS 15565 WITH SCORE 15581.991
AT ITER 8810 NEW BEST:: SOT 61521 SOS 16993 HAS SOPS 16993 HAS SOUS 15530 HAS SOUPS 15530 WITH SCORE 15546.993
AT ITER 8819 NEW BEST:: SOT 61474 SOS 16955 HAS SOPS 16955 HAS SOUS 15490 HAS SOUPS 15490 WITH SCORE 15506.955
AT ITER 8865 NEW BEST:: SOT 61469 SOS 16949 HAS SOPS 16949 HAS SOUS 15487 HAS SOUPS 15487 WITH SCORE 15503.949
AT ITER 8870 NEW BEST:: SOT 61471 SOS 16944 HAS SOPS 16944 HAS SOUS 15486 HAS SOUPS 15486 WITH SCORE 15502.944
AT ITER 8895 NEW BEST:: SOT 61467 SOS 16938 HAS SOPS 16938 HAS SOUS 15482 HAS SOUPS 15482 WITH SCORE 15498.938
AT ITER 8912 NEW BEST:: SOT 61471 SOS 16934 HAS SOPS 16934 HAS SOUS 15474 HAS SOUPS 15474 WITH SCORE 15490.934
AT ITER 8923 NEW BEST:: SOT 61464 SOS 16927 HAS SOPS 16927 HAS SOUS 15467 HAS SOUPS 15467 WITH SCORE 15483.927
AT ITER 8946 NEW BEST:: SOT 61464 SOS 16927 HAS SOPS 16927 HAS SOUS 15458 HAS SOUPS 15458 WITH SCORE 15474.927
AT ITER 8977 NEW BEST:: SOT 61464 SOS 16925 HAS SOPS 16925 HAS SOUS 15456 HAS SOUPS 15456 WITH SCORE 15472.925
AT ITER 9107 NEW BEST:: SOT 61438 SOS 16899 HAS SOPS 16899 HAS SOUS 15430 HAS SOUPS 15430 WITH SCORE 15446.899
AT ITER 9159 NEW BEST:: SOT 61446 SOS 16802 HAS SOPS 16802 HAS SOUS 15329 HAS SOUPS 15329 WITH SCORE 15345.802
AT ITER 9264 NEW BEST:: SOT 61453 SOS 16817 HAS SOPS 16817 HAS SOUS 15327 HAS SOUPS 15327 WITH SCORE 15343.817
AT ITER 9294 NEW BEST:: SOT 61444 SOS 16802 HAS SOPS 16802 HAS SOUS 15315 HAS SOUPS 15315 WITH SCORE 15331.802
AT ITER 9321 NEW BEST:: SOT 61430 SOS 16788 HAS SOPS 16788 HAS SOUS 15308 HAS SOUPS 15308 WITH SCORE 15324.788
AT ITER 9327 NEW BEST:: SOT 61428 SOS 16777 HAS SOPS 16777 HAS SOUS 15283 HAS SOUPS 15283 WITH SCORE 15299.777
AT ITER 9370 NEW BEST:: SOT 61422 SOS 16771 HAS SOPS 16771 HAS SOUS 15258 HAS SOUPS 15258 WITH SCORE 15274.771
AT ITER 9375 NEW BEST:: SOT 61415 SOS 16749 HAS SOPS 16749 HAS SOUS 15236 HAS SOUPS 15236 WITH SCORE 15252.749
AT ITER 9389 NEW BEST:: SOT 61415 SOS 16741 HAS SOPS 16741 HAS SOUS 15232 HAS SOUPS 15232 WITH SCORE 15248.741
AT ITER 9448 NEW BEST:: SOT 61415 SOS 16734 HAS SOPS 16734 HAS SOUS 15225 HAS SOUPS 15225 WITH SCORE 15241.734
AT ITER 9470 NEW BEST:: SOT 61411 SOS 16716 HAS SOPS 16716 HAS SOUS 15221 HAS SOUPS 15221 WITH SCORE 15237.716
AT ITER 9476 NEW BEST:: SOT 61412 SOS 16714 HAS SOPS 16714 HAS SOUS 15219 HAS SOUPS 15219 WITH SCORE 15235.714
AT ITER 9490 NEW BEST:: SOT 61385 SOS 16687 HAS SOPS 16687 HAS SOUS 15179 HAS SOUPS 15179 WITH SCORE 15195.687
AT ITER 9499 NEW BEST:: SOT 61369 SOS 16671 HAS SOPS 16671 HAS SOUS 15151 HAS SOUPS 15151 WITH SCORE 15167.671
AT ITER 9506 NEW BEST:: SOT 61369 SOS 16641 HAS SOPS 16641 HAS SOUS 15151 HAS SOUPS 15151 WITH SCORE 15167.641
AT ITER 9582 NEW BEST:: SOT 61367 SOS 16635 HAS SOPS 16635 HAS SOUS 15145 HAS SOUPS 15145 WITH SCORE 15161.635
AT ITER 9604 NEW BEST:: SOT 61368 SOS 16629 HAS SOPS 16629 HAS SOUS 15139 HAS SOUPS 15139 WITH SCORE 15155.629
AT ITER 9653 NEW BEST:: SOT 61356 SOS 16621 HAS SOPS 16621 HAS SOUS 15132 HAS SOUPS 15132 WITH SCORE 15148.621
AT ITER 9667 NEW BEST:: SOT 61345 SOS 16593 HAS SOPS 16593 HAS SOUS 15106 HAS SOUPS 15106 WITH SCORE 15122.593
AT ITER 9733 NEW BEST:: SOT 61345 SOS 16570 HAS SOPS 16570 HAS SOUS 15083 HAS SOUPS 15083 WITH SCORE 15099.57
AT ITER 9736 NEW BEST:: SOT 61340 SOS 16564 HAS SOPS 16564 HAS SOUS 15077 HAS SOUPS 15077 WITH SCORE 15093.564
AT ITER 9796 NEW BEST:: SOT 61339 SOS 16563 HAS SOPS 16563 HAS SOUS 15076 HAS SOUPS 15076 WITH SCORE 15092.563
AT ITER 9819 NEW BEST:: SOT 61336 SOS 16557 HAS SOPS 16557 HAS SOUS 15070 HAS SOUPS 15070 WITH SCORE 15086.557
AT ITER 9845 NEW BEST:: SOT 61315 SOS 16519 HAS SOPS 16519 HAS SOUS 15032 HAS SOUPS 15032 WITH SCORE 15048.519
AT ITER 9900 NEW BEST:: SOT 61258 SOS 16462 HAS SOPS 16462 HAS SOUS 14975 HAS SOUPS 14975 WITH SCORE 14991.462
AT ITER 9954 NEW BEST:: SOT 61254 SOS 16454 HAS SOPS 16454 HAS SOUS 14967 HAS SOUPS 14967 WITH SCORE 14983.454
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 3422896 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16151068 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPt-PT-020A"
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 ShieldIIPt-PT-020A, 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 r387-oct2-167903711600280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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