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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 5.9K Feb 25 11:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 25 11:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 11:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 11:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 11:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 11:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 102K Feb 25 11:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 391K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679501045044

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FunctionPointer-PT-b128
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 16:04:06] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 16:04:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 16:04:06] [INFO ] Load time of PNML (sax parser for PT used): 82 ms
[2023-03-22 16:04:06] [INFO ] Transformed 306 places.
[2023-03-22 16:04:06] [INFO ] Transformed 840 transitions.
[2023-03-22 16:04:06] [INFO ] Parsed PT model containing 306 places and 840 transitions and 3392 arcs in 146 ms.
[2023-03-22 16:04:06] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 306 places, 840 transitions and 3392 arcs took 10 ms.
Total runtime 182 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FunctionPointer (PT), instance b128
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 306 places, 840 transitions, 3392 arcs.
AT ITER 0 NEW BEST:: SOT 250193 SOS 199462 HAS SOPS 193223 HAS SOUS 100184 HAS SOUPS 99748 WITH SCORE 99947.462
AT ITER 6 NEW BEST:: SOT 250193 SOS 198606 HAS SOPS 192251 HAS SOUS 100126 HAS SOUPS 99574 WITH SCORE 99772.606
AT ITER 10 NEW BEST:: SOT 250193 SOS 198085 HAS SOPS 191730 HAS SOUS 100073 HAS SOUPS 99521 WITH SCORE 99719.085
AT ITER 11 NEW BEST:: SOT 250193 SOS 197661 HAS SOPS 191306 HAS SOUS 99748 HAS SOUPS 99196 WITH SCORE 99393.661
AT ITER 16 NEW BEST:: SOT 250193 SOS 197413 HAS SOPS 191058 HAS SOUS 99686 HAS SOUPS 99134 WITH SCORE 99331.413
AT ITER 19 NEW BEST:: SOT 250193 SOS 197413 HAS SOPS 191058 HAS SOUS 99674 HAS SOUPS 99122 WITH SCORE 99319.413
AT ITER 21 NEW BEST:: SOT 250193 SOS 197501 HAS SOPS 191146 HAS SOUS 99612 HAS SOUPS 99060 WITH SCORE 99257.501
AT ITER 22 NEW BEST:: SOT 250193 SOS 197429 HAS SOPS 191074 HAS SOUS 99612 HAS SOUPS 99060 WITH SCORE 99257.429
AT ITER 29 NEW BEST:: SOT 250193 SOS 197429 HAS SOPS 191074 HAS SOUS 99608 HAS SOUPS 99056 WITH SCORE 99253.429
AT ITER 31 NEW BEST:: SOT 250193 SOS 197431 HAS SOPS 191076 HAS SOUS 99601 HAS SOUPS 99049 WITH SCORE 99246.431
AT ITER 32 NEW BEST:: SOT 250193 SOS 197387 HAS SOPS 191032 HAS SOUS 99571 HAS SOUPS 99019 WITH SCORE 99216.387
AT ITER 34 NEW BEST:: SOT 250193 SOS 197363 HAS SOPS 191008 HAS SOUS 99559 HAS SOUPS 99007 WITH SCORE 99204.363
AT ITER 35 NEW BEST:: SOT 250193 SOS 197363 HAS SOPS 191008 HAS SOUS 99541 HAS SOUPS 98989 WITH SCORE 99186.363
AT ITER 39 NEW BEST:: SOT 250193 SOS 197395 HAS SOPS 191040 HAS SOUS 99504 HAS SOUPS 98952 WITH SCORE 99149.395
AT ITER 46 NEW BEST:: SOT 250193 SOS 197046 HAS SOPS 190691 HAS SOUS 99422 HAS SOUPS 98870 WITH SCORE 99067.046
AT ITER 51 NEW BEST:: SOT 250193 SOS 197024 HAS SOPS 190669 HAS SOUS 99411 HAS SOUPS 98859 WITH SCORE 99056.024
AT ITER 57 NEW BEST:: SOT 250193 SOS 197050 HAS SOPS 190695 HAS SOUS 99398 HAS SOUPS 98846 WITH SCORE 99043.05
AT ITER 62 NEW BEST:: SOT 250193 SOS 197210 HAS SOPS 190855 HAS SOUS 99300 HAS SOUPS 98748 WITH SCORE 98945.21
AT ITER 64 NEW BEST:: SOT 250193 SOS 196722 HAS SOPS 190367 HAS SOUS 99250 HAS SOUPS 98698 WITH SCORE 98894.722
AT ITER 67 NEW BEST:: SOT 250193 SOS 196722 HAS SOPS 190367 HAS SOUS 99234 HAS SOUPS 98682 WITH SCORE 98878.722
AT ITER 68 NEW BEST:: SOT 250193 SOS 196604 HAS SOPS 190249 HAS SOUS 99175 HAS SOUPS 98623 WITH SCORE 98819.604
AT ITER 72 NEW BEST:: SOT 250193 SOS 196498 HAS SOPS 190143 HAS SOUS 98992 HAS SOUPS 98440 WITH SCORE 98636.498
AT ITER 73 NEW BEST:: SOT 250193 SOS 196318 HAS SOPS 189963 HAS SOUS 98902 HAS SOUPS 98350 WITH SCORE 98546.318
AT ITER 79 NEW BEST:: SOT 250193 SOS 197064 HAS SOPS 190724 HAS SOUS 98858 HAS SOUPS 98321 WITH SCORE 98518.064
AT ITER 81 NEW BEST:: SOT 250193 SOS 196970 HAS SOPS 190630 HAS SOUS 98811 HAS SOUPS 98274 WITH SCORE 98470.97
AT ITER 87 NEW BEST:: SOT 250193 SOS 196764 HAS SOPS 190716 HAS SOUS 98786 HAS SOUPS 98249 WITH SCORE 98445.764
AT ITER 89 NEW BEST:: SOT 250193 SOS 196568 HAS SOPS 190820 HAS SOUS 98772 HAS SOUPS 98237 WITH SCORE 98433.568
AT ITER 93 NEW BEST:: SOT 250193 SOS 196636 HAS SOPS 190912 HAS SOUS 98638 HAS SOUPS 98127 WITH SCORE 98323.636
AT ITER 95 NEW BEST:: SOT 250193 SOS 197190 HAS SOPS 191479 HAS SOUS 98561 HAS SOUPS 98063 WITH SCORE 98260.19
AT ITER 96 NEW BEST:: SOT 250193 SOS 196992 HAS SOPS 191269 HAS SOUS 98462 HAS SOUPS 97952 WITH SCORE 98148.992
AT ITER 97 NEW BEST:: SOT 250193 SOS 197034 HAS SOPS 191311 HAS SOUS 98420 HAS SOUPS 97910 WITH SCORE 98107.034
AT ITER 99 NEW BEST:: SOT 250193 SOS 196966 HAS SOPS 191243 HAS SOUS 98386 HAS SOUPS 97876 WITH SCORE 98072.966
AT ITER 107 NEW BEST:: SOT 250193 SOS 196674 HAS SOPS 191097 HAS SOUS 98379 HAS SOUPS 97869 WITH SCORE 98065.674
AT ITER 110 NEW BEST:: SOT 250193 SOS 196498 HAS SOPS 190921 HAS SOUS 98291 HAS SOUPS 97781 WITH SCORE 97977.498
AT ITER 113 NEW BEST:: SOT 250193 SOS 196500 HAS SOPS 190923 HAS SOUS 98289 HAS SOUPS 97779 WITH SCORE 97975.5
AT ITER 116 NEW BEST:: SOT 250193 SOS 196502 HAS SOPS 190925 HAS SOUS 98282 HAS SOUPS 97772 WITH SCORE 97968.502
AT ITER 118 NEW BEST:: SOT 250193 SOS 196420 HAS SOPS 190843 HAS SOUS 98276 HAS SOUPS 97766 WITH SCORE 97962.42
AT ITER 119 NEW BEST:: SOT 250193 SOS 196734 HAS SOPS 191173 HAS SOUS 98089 HAS SOUPS 97595 WITH SCORE 97791.734
AT ITER 122 NEW BEST:: SOT 250193 SOS 196610 HAS SOPS 191049 HAS SOUS 98056 HAS SOUPS 97562 WITH SCORE 97758.61
AT ITER 123 NEW BEST:: SOT 250193 SOS 190276 HAS SOPS 187212 HAS SOUS 97753 HAS SOUPS 97430 WITH SCORE 97620.276
AT ITER 125 NEW BEST:: SOT 250193 SOS 190264 HAS SOPS 187200 HAS SOUS 97747 HAS SOUPS 97424 WITH SCORE 97614.264
AT ITER 129 NEW BEST:: SOT 250241 SOS 190283 HAS SOPS 187084 HAS SOUS 97645 HAS SOUPS 97308 WITH SCORE 97498.283
AT ITER 133 NEW BEST:: SOT 250241 SOS 190441 HAS SOPS 187242 HAS SOUS 97508 HAS SOUPS 97171 WITH SCORE 97361.441
AT ITER 137 NEW BEST:: SOT 250241 SOS 190395 HAS SOPS 187196 HAS SOUS 97439 HAS SOUPS 97102 WITH SCORE 97292.395
AT ITER 139 NEW BEST:: SOT 250241 SOS 190287 HAS SOPS 187088 HAS SOUS 97346 HAS SOUPS 97009 WITH SCORE 97199.287
AT ITER 144 NEW BEST:: SOT 250268 SOS 190092 HAS SOPS 186893 HAS SOUS 97278 HAS SOUPS 96941 WITH SCORE 97131.092
AT ITER 145 NEW BEST:: SOT 250268 SOS 190253 HAS SOPS 187054 HAS SOUS 96904 HAS SOUPS 96567 WITH SCORE 96757.253
AT ITER 147 NEW BEST:: SOT 250268 SOS 190237 HAS SOPS 187038 HAS SOUS 96896 HAS SOUPS 96559 WITH SCORE 96749.237
AT ITER 148 NEW BEST:: SOT 250268 SOS 190001 HAS SOPS 186802 HAS SOUS 96676 HAS SOUPS 96339 WITH SCORE 96529.001
AT ITER 150 NEW BEST:: SOT 250268 SOS 189837 HAS SOPS 186638 HAS SOUS 96598 HAS SOUPS 96261 WITH SCORE 96450.837
AT ITER 153 NEW BEST:: SOT 250268 SOS 190015 HAS SOPS 186761 HAS SOUS 96509 HAS SOUPS 96172 WITH SCORE 96362.015
AT ITER 155 NEW BEST:: SOT 250268 SOS 190013 HAS SOPS 186759 HAS SOUS 96507 HAS SOUPS 96170 WITH SCORE 96360.013
AT ITER 156 NEW BEST:: SOT 250268 SOS 189991 HAS SOPS 186737 HAS SOUS 96494 HAS SOUPS 96157 WITH SCORE 96346.991
AT ITER 157 NEW BEST:: SOT 250268 SOS 189520 HAS SOPS 186266 HAS SOUS 96204 HAS SOUPS 95867 WITH SCORE 96056.52
AT ITER 167 NEW BEST:: SOT 250268 SOS 189856 HAS SOPS 186602 HAS SOUS 95616 HAS SOUPS 95279 WITH SCORE 95468.856
AT ITER 169 NEW BEST:: SOT 250268 SOS 189797 HAS SOPS 186543 HAS SOUS 95547 HAS SOUPS 95210 WITH SCORE 95399.797
AT ITER 172 NEW BEST:: SOT 250268 SOS 189567 HAS SOPS 186313 HAS SOUS 95367 HAS SOUPS 95030 WITH SCORE 95219.567
AT ITER 177 NEW BEST:: SOT 250268 SOS 189385 HAS SOPS 186131 HAS SOUS 95276 HAS SOUPS 94939 WITH SCORE 95128.385
AT ITER 183 NEW BEST:: SOT 250268 SOS 189385 HAS SOPS 186131 HAS SOUS 95268 HAS SOUPS 94931 WITH SCORE 95120.385
AT ITER 184 NEW BEST:: SOT 250268 SOS 189057 HAS SOPS 185803 HAS SOUS 95186 HAS SOUPS 94849 WITH SCORE 95038.057
AT ITER 186 NEW BEST:: SOT 250268 SOS 189052 HAS SOPS 185798 HAS SOUS 95089 HAS SOUPS 94752 WITH SCORE 94941.052
AT ITER 187 NEW BEST:: SOT 250268 SOS 188974 HAS SOPS 185720 HAS SOUS 95079 HAS SOUPS 94742 WITH SCORE 94930.974
AT ITER 190 NEW BEST:: SOT 250268 SOS 189154 HAS SOPS 185900 HAS SOUS 94317 HAS SOUPS 93980 WITH SCORE 94169.154
AT ITER 192 NEW BEST:: SOT 250268 SOS 189326 HAS SOPS 186072 HAS SOUS 94285 HAS SOUPS 93948 WITH SCORE 94137.326
AT ITER 194 NEW BEST:: SOT 250268 SOS 189226 HAS SOPS 185972 HAS SOUS 94235 HAS SOUPS 93898 WITH SCORE 94087.226
AT ITER 195 NEW BEST:: SOT 250289 SOS 188863 HAS SOPS 185609 HAS SOUS 93984 HAS SOUPS 93647 WITH SCORE 93835.863
AT ITER 203 NEW BEST:: SOT 250289 SOS 188863 HAS SOPS 185609 HAS SOUS 93892 HAS SOUPS 93555 WITH SCORE 93743.863
AT ITER 205 NEW BEST:: SOT 250289 SOS 187756 HAS SOPS 184502 HAS SOUS 93767 HAS SOUPS 93430 WITH SCORE 93617.756
AT ITER 207 NEW BEST:: SOT 250289 SOS 188166 HAS SOPS 184912 HAS SOUS 93678 HAS SOUPS 93341 WITH SCORE 93529.166
AT ITER 210 NEW BEST:: SOT 250289 SOS 188006 HAS SOPS 184724 HAS SOUS 92755 HAS SOUPS 92390 WITH SCORE 92578.006
AT ITER 213 NEW BEST:: SOT 250289 SOS 187964 HAS SOPS 184682 HAS SOUS 92657 HAS SOUPS 92292 WITH SCORE 92479.964
AT ITER 214 NEW BEST:: SOT 250275 SOS 187950 HAS SOPS 184654 HAS SOUS 92611 HAS SOUPS 92246 WITH SCORE 92433.95
AT ITER 217 NEW BEST:: SOT 250275 SOS 187813 HAS SOPS 184517 HAS SOUS 91040 HAS SOUPS 90675 WITH SCORE 90862.813
AT ITER 221 NEW BEST:: SOT 250259 SOS 187773 HAS SOPS 184512 HAS SOUS 91025 HAS SOUPS 90660 WITH SCORE 90847.773
AT ITER 223 NEW BEST:: SOT 250259 SOS 187331 HAS SOPS 184070 HAS SOUS 90802 HAS SOUPS 90437 WITH SCORE 90624.331
AT ITER 224 NEW BEST:: SOT 250259 SOS 187305 HAS SOPS 184044 HAS SOUS 90794 HAS SOUPS 90429 WITH SCORE 90616.305
AT ITER 229 NEW BEST:: SOT 250259 SOS 187305 HAS SOPS 184044 HAS SOUS 90764 HAS SOUPS 90399 WITH SCORE 90586.305
AT ITER 230 NEW BEST:: SOT 250259 SOS 186310 HAS SOPS 183049 HAS SOUS 90488 HAS SOUPS 90123 WITH SCORE 90309.31
AT ITER 231 NEW BEST:: SOT 250259 SOS 186415 HAS SOPS 183154 HAS SOUS 90278 HAS SOUPS 89913 WITH SCORE 90099.415
AT ITER 236 NEW BEST:: SOT 250259 SOS 186175 HAS SOPS 182914 HAS SOUS 90266 HAS SOUPS 89901 WITH SCORE 90087.175
AT ITER 238 NEW BEST:: SOT 250259 SOS 186271 HAS SOPS 183021 HAS SOUS 90200 HAS SOUPS 89846 WITH SCORE 90032.271
AT ITER 242 NEW BEST:: SOT 250259 SOS 186341 HAS SOPS 183091 HAS SOUS 90127 HAS SOUPS 89773 WITH SCORE 89959.341
AT ITER 244 NEW BEST:: SOT 250259 SOS 186107 HAS SOPS 182857 HAS SOUS 90073 HAS SOUPS 89719 WITH SCORE 89905.107
AT ITER 254 NEW BEST:: SOT 250243 SOS 185927 HAS SOPS 182832 HAS SOUS 89374 HAS SOUPS 89020 WITH SCORE 89205.927
AT ITER 255 NEW BEST:: SOT 250243 SOS 185855 HAS SOPS 182760 HAS SOUS 89108 HAS SOUPS 88754 WITH SCORE 88939.855
AT ITER 256 NEW BEST:: SOT 250233 SOS 185921 HAS SOPS 182826 HAS SOUS 89067 HAS SOUPS 88713 WITH SCORE 88898.921
AT ITER 258 NEW BEST:: SOT 250233 SOS 185859 HAS SOPS 182764 HAS SOUS 89036 HAS SOUPS 88682 WITH SCORE 88867.859
AT ITER 259 NEW BEST:: SOT 250233 SOS 185999 HAS SOPS 182904 HAS SOUS 89026 HAS SOUPS 88672 WITH SCORE 88857.999
AT ITER 260 NEW BEST:: SOT 250233 SOS 185509 HAS SOPS 182414 HAS SOUS 88907 HAS SOUPS 88553 WITH SCORE 88738.509
AT ITER 261 NEW BEST:: SOT 250233 SOS 185493 HAS SOPS 182398 HAS SOUS 88899 HAS SOUPS 88545 WITH SCORE 88730.493
AT ITER 262 NEW BEST:: SOT 250233 SOS 185091 HAS SOPS 181996 HAS SOUS 88677 HAS SOUPS 88323 WITH SCORE 88508.091
AT ITER 263 NEW BEST:: SOT 250233 SOS 184997 HAS SOPS 181902 HAS SOUS 88602 HAS SOUPS 88248 WITH SCORE 88432.997
AT ITER 264 NEW BEST:: SOT 250233 SOS 185161 HAS SOPS 182066 HAS SOUS 88516 HAS SOUPS 88162 WITH SCORE 88347.161
AT ITER 271 NEW BEST:: SOT 250233 SOS 185221 HAS SOPS 182126 HAS SOUS 88350 HAS SOUPS 87996 WITH SCORE 88181.221
AT ITER 272 NEW BEST:: SOT 250233 SOS 185107 HAS SOPS 182012 HAS SOUS 88262 HAS SOUPS 87908 WITH SCORE 88093.107
AT ITER 274 NEW BEST:: SOT 250260 SOS 184077 HAS SOPS 180983 HAS SOUS 87343 HAS SOUPS 86990 WITH SCORE 87174.077
AT ITER 276 NEW BEST:: SOT 250260 SOS 183433 HAS SOPS 180339 HAS SOUS 86892 HAS SOUPS 86539 WITH SCORE 86722.433
AT ITER 281 NEW BEST:: SOT 250260 SOS 182242 HAS SOPS 179148 HAS SOUS 86649 HAS SOUPS 86296 WITH SCORE 86478.242
AT ITER 283 NEW BEST:: SOT 250260 SOS 182502 HAS SOPS 179425 HAS SOUS 86485 HAS SOUPS 86149 WITH SCORE 86331.502
AT ITER 285 NEW BEST:: SOT 250244 SOS 182442 HAS SOPS 179370 HAS SOUS 86442 HAS SOUPS 86106 WITH SCORE 86288.442
AT ITER 289 NEW BEST:: SOT 250244 SOS 182453 HAS SOPS 179381 HAS SOUS 86431 HAS SOUPS 86095 WITH SCORE 86277.453
AT ITER 290 NEW BEST:: SOT 250244 SOS 182441 HAS SOPS 179369 HAS SOUS 86431 HAS SOUPS 86095 WITH SCORE 86277.441
AT ITER 295 NEW BEST:: SOT 250244 SOS 182117 HAS SOPS 179045 HAS SOUS 85890 HAS SOUPS 85554 WITH SCORE 85736.117
AT ITER 296 NEW BEST:: SOT 250244 SOS 182117 HAS SOPS 179045 HAS SOUS 85855 HAS SOUPS 85519 WITH SCORE 85701.117
AT ITER 305 NEW BEST:: SOT 250244 SOS 181257 HAS SOPS 178185 HAS SOUS 85556 HAS SOUPS 85220 WITH SCORE 85401.257
AT ITER 306 NEW BEST:: SOT 250244 SOS 181599 HAS SOPS 178541 HAS SOUS 85359 HAS SOUPS 85037 WITH SCORE 85218.599
AT ITER 308 NEW BEST:: SOT 250244 SOS 181909 HAS SOPS 178891 HAS SOUS 85315 HAS SOUPS 85033 WITH SCORE 85214.909
AT ITER 312 NEW BEST:: SOT 250244 SOS 181874 HAS SOPS 178856 HAS SOUS 85287 HAS SOUPS 85005 WITH SCORE 85186.874
AT ITER 318 NEW BEST:: SOT 250244 SOS 181570 HAS SOPS 178552 HAS SOUS 85266 HAS SOUPS 84984 WITH SCORE 85165.57
AT ITER 322 NEW BEST:: SOT 250244 SOS 181470 HAS SOPS 178452 HAS SOUS 85228 HAS SOUPS 84946 WITH SCORE 85127.47
AT ITER 324 NEW BEST:: SOT 250244 SOS 181376 HAS SOPS 178358 HAS SOUS 85208 HAS SOUPS 84926 WITH SCORE 85107.376
AT ITER 327 NEW BEST:: SOT 250244 SOS 180860 HAS SOPS 177842 HAS SOUS 85163 HAS SOUPS 84881 WITH SCORE 85061.86
AT ITER 329 NEW BEST:: SOT 250244 SOS 180700 HAS SOPS 177682 HAS SOUS 85143 HAS SOUPS 84861 WITH SCORE 85041.7
AT ITER 330 NEW BEST:: SOT 250096 SOS 178442 HAS SOPS 175532 HAS SOUS 84540 HAS SOUPS 84258 WITH SCORE 84436.442
AT ITER 341 NEW BEST:: SOT 250096 SOS 176606 HAS SOPS 173696 HAS SOUS 83768 HAS SOUPS 83486 WITH SCORE 83662.606
AT ITER 342 NEW BEST:: SOT 250096 SOS 176434 HAS SOPS 173524 HAS SOUS 83749 HAS SOUPS 83467 WITH SCORE 83643.434
AT ITER 344 NEW BEST:: SOT 250096 SOS 176434 HAS SOPS 173524 HAS SOUS 83734 HAS SOUPS 83452 WITH SCORE 83628.434
AT ITER 345 NEW BEST:: SOT 250096 SOS 176402 HAS SOPS 173492 HAS SOUS 83690 HAS SOUPS 83408 WITH SCORE 83584.402
AT ITER 351 NEW BEST:: SOT 250096 SOS 176052 HAS SOPS 173142 HAS SOUS 83515 HAS SOUPS 83233 WITH SCORE 83409.052
AT ITER 352 NEW BEST:: SOT 250096 SOS 175852 HAS SOPS 172942 HAS SOUS 83515 HAS SOUPS 83233 WITH SCORE 83408.852
AT ITER 353 NEW BEST:: SOT 250096 SOS 175416 HAS SOPS 172506 HAS SOUS 83432 HAS SOUPS 83150 WITH SCORE 83325.416
AT ITER 358 NEW BEST:: SOT 250096 SOS 172972 HAS SOPS 169489 HAS SOUS 82845 HAS SOUPS 81996 WITH SCORE 82168.972
AT ITER 365 NEW BEST:: SOT 250096 SOS 173033 HAS SOPS 169550 HAS SOUS 82813 HAS SOUPS 81964 WITH SCORE 82137.033
AT ITER 368 NEW BEST:: SOT 250102 SOS 172531 HAS SOPS 169048 HAS SOUS 82479 HAS SOUPS 81630 WITH SCORE 81802.531
AT ITER 378 NEW BEST:: SOT 250102 SOS 172442 HAS SOPS 168959 HAS SOUS 82392 HAS SOUPS 81543 WITH SCORE 81715.442
AT ITER 381 NEW BEST:: SOT 250102 SOS 172349 HAS SOPS 168866 HAS SOUS 82245 HAS SOUPS 81396 WITH SCORE 81568.349
AT ITER 385 NEW BEST:: SOT 250102 SOS 172305 HAS SOPS 168822 HAS SOUS 82146 HAS SOUPS 81297 WITH SCORE 81469.305
AT ITER 386 NEW BEST:: SOT 250102 SOS 172297 HAS SOPS 168814 HAS SOUS 82142 HAS SOUPS 81293 WITH SCORE 81465.297
AT ITER 388 NEW BEST:: SOT 250102 SOS 172281 HAS SOPS 168798 HAS SOUS 82134 HAS SOUPS 81285 WITH SCORE 81457.281
AT ITER 389 NEW BEST:: SOT 249924 SOS 171763 HAS SOPS 168280 HAS SOUS 82069 HAS SOUPS 81220 WITH SCORE 81391.763
AT ITER 395 NEW BEST:: SOT 249924 SOS 171403 HAS SOPS 167920 HAS SOUS 82036 HAS SOUPS 81187 WITH SCORE 81358.403
AT ITER 399 NEW BEST:: SOT 249924 SOS 171351 HAS SOPS 167868 HAS SOUS 82002 HAS SOUPS 81153 WITH SCORE 81324.351
AT ITER 401 NEW BEST:: SOT 249924 SOS 171424 HAS SOPS 167941 HAS SOUS 81928 HAS SOUPS 81079 WITH SCORE 81250.424
AT ITER 404 NEW BEST:: SOT 249924 SOS 171145 HAS SOPS 167662 HAS SOUS 81904 HAS SOUPS 81055 WITH SCORE 81226.145
AT ITER 410 NEW BEST:: SOT 249924 SOS 171034 HAS SOPS 167551 HAS SOUS 81899 HAS SOUPS 81050 WITH SCORE 81221.034
AT ITER 413 NEW BEST:: SOT 249924 SOS 171067 HAS SOPS 167584 HAS SOUS 81866 HAS SOUPS 81017 WITH SCORE 81188.067
AT ITER 414 NEW BEST:: SOT 249889 SOS 169017 HAS SOPS 165029 HAS SOUS 79937 HAS SOUPS 79025 WITH SCORE 79194.017
AT ITER 416 NEW BEST:: SOT 249889 SOS 169017 HAS SOPS 165029 HAS SOUS 79918 HAS SOUPS 79006 WITH SCORE 79175.017
AT ITER 422 NEW BEST:: SOT 249889 SOS 168393 HAS SOPS 164405 HAS SOUS 79742 HAS SOUPS 78830 WITH SCORE 78998.393
AT ITER 425 NEW BEST:: SOT 249889 SOS 168455 HAS SOPS 164467 HAS SOUS 79575 HAS SOUPS 78663 WITH SCORE 78831.455
AT ITER 427 NEW BEST:: SOT 249903 SOS 168469 HAS SOPS 164465 HAS SOUS 79573 HAS SOUPS 78661 WITH SCORE 78829.469
AT ITER 434 NEW BEST:: SOT 249903 SOS 165761 HAS SOPS 161757 HAS SOUS 78640 HAS SOUPS 77728 WITH SCORE 77893.761
AT ITER 440 NEW BEST:: SOT 249903 SOS 165456 HAS SOPS 161452 HAS SOUS 78535 HAS SOUPS 77623 WITH SCORE 77788.456
AT ITER 444 NEW BEST:: SOT 249903 SOS 165281 HAS SOPS 161277 HAS SOUS 78464 HAS SOUPS 77552 WITH SCORE 77717.281
AT ITER 448 NEW BEST:: SOT 249903 SOS 165093 HAS SOPS 161089 HAS SOUS 78278 HAS SOUPS 77366 WITH SCORE 77531.093
AT ITER 451 NEW BEST:: SOT 249903 SOS 164664 HAS SOPS 160627 HAS SOUS 78302 HAS SOUPS 77363 WITH SCORE 77527.664
AT ITER 452 NEW BEST:: SOT 249903 SOS 164796 HAS SOPS 160759 HAS SOUS 78284 HAS SOUPS 77345 WITH SCORE 77509.796
AT ITER 453 NEW BEST:: SOT 249903 SOS 164582 HAS SOPS 160545 HAS SOUS 78231 HAS SOUPS 77292 WITH SCORE 77456.582
AT ITER 454 NEW BEST:: SOT 249903 SOS 164732 HAS SOPS 160695 HAS SOUS 78148 HAS SOUPS 77209 WITH SCORE 77373.732
AT ITER 464 NEW BEST:: SOT 249903 SOS 164732 HAS SOPS 160695 HAS SOUS 78115 HAS SOUPS 77176 WITH SCORE 77340.732
AT ITER 466 NEW BEST:: SOT 249903 SOS 164826 HAS SOPS 160789 HAS SOUS 78112 HAS SOUPS 77173 WITH SCORE 77337.826
AT ITER 468 NEW BEST:: SOT 249903 SOS 164542 HAS SOPS 160505 HAS SOUS 77919 HAS SOUPS 76980 WITH SCORE 77144.542
AT ITER 477 NEW BEST:: SOT 249903 SOS 164468 HAS SOPS 160431 HAS SOUS 77911 HAS SOUPS 76972 WITH SCORE 77136.468
AT ITER 493 NEW BEST:: SOT 249903 SOS 164332 HAS SOPS 160295 HAS SOUS 77860 HAS SOUPS 76921 WITH SCORE 77085.332
AT ITER 494 NEW BEST:: SOT 249903 SOS 164020 HAS SOPS 159983 HAS SOUS 77616 HAS SOUPS 76677 WITH SCORE 76841.02
AT ITER 504 NEW BEST:: SOT 249903 SOS 163944 HAS SOPS 159907 HAS SOUS 77616 HAS SOUPS 76677 WITH SCORE 76840.944
AT ITER 511 NEW BEST:: SOT 249903 SOS 163819 HAS SOPS 159782 HAS SOUS 77445 HAS SOUPS 76506 WITH SCORE 76669.819
AT ITER 514 NEW BEST:: SOT 249903 SOS 163887 HAS SOPS 160126 HAS SOUS 77234 HAS SOUPS 76440 WITH SCORE 76603.887
AT ITER 515 NEW BEST:: SOT 249903 SOS 163681 HAS SOPS 159920 HAS SOUS 77016 HAS SOUPS 76222 WITH SCORE 76385.681
AT ITER 516 NEW BEST:: SOT 249903 SOS 163669 HAS SOPS 159902 HAS SOUS 76992 HAS SOUPS 76198 WITH SCORE 76361.669
AT ITER 529 NEW BEST:: SOT 249903 SOS 163663 HAS SOPS 159896 HAS SOUS 76989 HAS SOUPS 76195 WITH SCORE 76358.663
AT ITER 533 NEW BEST:: SOT 249903 SOS 163647 HAS SOPS 159880 HAS SOUS 76985 HAS SOUPS 76191 WITH SCORE 76354.647
AT ITER 538 NEW BEST:: SOT 249903 SOS 163535 HAS SOPS 159768 HAS SOUS 76737 HAS SOUPS 75943 WITH SCORE 76106.535
AT ITER 549 NEW BEST:: SOT 249903 SOS 162693 HAS SOPS 158926 HAS SOUS 76656 HAS SOUPS 75862 WITH SCORE 76024.693
AT ITER 552 NEW BEST:: SOT 249903 SOS 162673 HAS SOPS 158977 HAS SOUS 76553 HAS SOUPS 75805 WITH SCORE 75967.673
AT ITER 553 NEW BEST:: SOT 249898 SOS 162661 HAS SOPS 158960 HAS SOUS 76544 HAS SOUPS 75791 WITH SCORE 75953.661
AT ITER 558 NEW BEST:: SOT 249898 SOS 161693 HAS SOPS 157992 HAS SOUS 76389 HAS SOUPS 75636 WITH SCORE 75797.693
AT ITER 563 NEW BEST:: SOT 249940 SOS 156839 HAS SOPS 154922 HAS SOUS 75385 HAS SOUPS 74764 WITH SCORE 74920.839
AT ITER 565 NEW BEST:: SOT 249940 SOS 156819 HAS SOPS 154902 HAS SOUS 75375 HAS SOUPS 74754 WITH SCORE 74910.819
AT ITER 577 NEW BEST:: SOT 249940 SOS 156773 HAS SOPS 154856 HAS SOUS 75324 HAS SOUPS 74703 WITH SCORE 74859.773
AT ITER 578 NEW BEST:: SOT 249964 SOS 156829 HAS SOPS 154629 HAS SOUS 75395 HAS SOUPS 74631 WITH SCORE 74787.829
AT ITER 590 NEW BEST:: SOT 249964 SOS 156781 HAS SOPS 154581 HAS SOUS 75283 HAS SOUPS 74519 WITH SCORE 74675.781
AT ITER 594 NEW BEST:: SOT 249964 SOS 156525 HAS SOPS 154281 HAS SOUS 75265 HAS SOUPS 74479 WITH SCORE 74635.525
AT ITER 597 NEW BEST:: SOT 249964 SOS 156037 HAS SOPS 153756 HAS SOUS 75267 HAS SOUPS 74452 WITH SCORE 74608.037
AT ITER 610 NEW BEST:: SOT 249964 SOS 155969 HAS SOPS 153688 HAS SOUS 75250 HAS SOUPS 74435 WITH SCORE 74590.969
AT ITER 612 NEW BEST:: SOT 249964 SOS 155988 HAS SOPS 153707 HAS SOUS 75228 HAS SOUPS 74413 WITH SCORE 74568.988
AT ITER 618 NEW BEST:: SOT 249964 SOS 155880 HAS SOPS 153599 HAS SOUS 74986 HAS SOUPS 74171 WITH SCORE 74326.88
AT ITER 619 NEW BEST:: SOT 249964 SOS 156076 HAS SOPS 153795 HAS SOUS 74967 HAS SOUPS 74152 WITH SCORE 74308.076
AT ITER 621 NEW BEST:: SOT 249964 SOS 155560 HAS SOPS 153279 HAS SOUS 74960 HAS SOUPS 74145 WITH SCORE 74300.56
AT ITER 623 NEW BEST:: SOT 249964 SOS 155320 HAS SOPS 153039 HAS SOUS 74900 HAS SOUPS 74085 WITH SCORE 74240.32
AT ITER 625 NEW BEST:: SOT 249964 SOS 155244 HAS SOPS 152963 HAS SOUS 74830 HAS SOUPS 74015 WITH SCORE 74170.244
AT ITER 629 NEW BEST:: SOT 249964 SOS 155294 HAS SOPS 153013 HAS SOUS 74819 HAS SOUPS 74004 WITH SCORE 74159.294
AT ITER 630 NEW BEST:: SOT 249964 SOS 155276 HAS SOPS 152995 HAS SOUS 74810 HAS SOUPS 73995 WITH SCORE 74150.276
AT ITER 632 NEW BEST:: SOT 249964 SOS 155290 HAS SOPS 153009 HAS SOUS 74753 HAS SOUPS 73938 WITH SCORE 74093.29
AT ITER 634 NEW BEST:: SOT 249964 SOS 155304 HAS SOPS 153023 HAS SOUS 74695 HAS SOUPS 73880 WITH SCORE 74035.304
AT ITER 642 NEW BEST:: SOT 249964 SOS 155166 HAS SOPS 152885 HAS SOUS 74695 HAS SOUPS 73880 WITH SCORE 74035.166
AT ITER 646 NEW BEST:: SOT 249956 SOS 155168 HAS SOPS 152887 HAS SOUS 74692 HAS SOUPS 73877 WITH SCORE 74032.168
AT ITER 650 NEW BEST:: SOT 249956 SOS 155152 HAS SOPS 152871 HAS SOUS 74663 HAS SOUPS 73848 WITH SCORE 74003.152
AT ITER 652 NEW BEST:: SOT 249956 SOS 154725 HAS SOPS 152279 HAS SOUS 74749 HAS SOUPS 73841 WITH SCORE 73995.725
AT ITER 657 NEW BEST:: SOT 249956 SOS 154723 HAS SOPS 152277 HAS SOUS 74747 HAS SOUPS 73839 WITH SCORE 73993.723
AT ITER 658 NEW BEST:: SOT 249956 SOS 154557 HAS SOPS 151997 HAS SOUS 74661 HAS SOUPS 73696 WITH SCORE 73850.557
AT ITER 661 NEW BEST:: SOT 249956 SOS 154397 HAS SOPS 151837 HAS SOUS 74581 HAS SOUPS 73616 WITH SCORE 73770.397
AT ITER 663 NEW BEST:: SOT 249956 SOS 154253 HAS SOPS 151693 HAS SOUS 74533 HAS SOUPS 73568 WITH SCORE 73722.253
AT ITER 668 NEW BEST:: SOT 249956 SOS 154257 HAS SOPS 151697 HAS SOUS 74527 HAS SOUPS 73562 WITH SCORE 73716.257
AT ITER 679 NEW BEST:: SOT 249956 SOS 154097 HAS SOPS 151467 HAS SOUS 74542 HAS SOUPS 73542 WITH SCORE 73696.097
AT ITER 688 NEW BEST:: SOT 249956 SOS 153937 HAS SOPS 151421 HAS SOUS 74470 HAS SOUPS 73527 WITH SCORE 73680.937
AT ITER 699 NEW BEST:: SOT 249956 SOS 154023 HAS SOPS 151507 HAS SOUS 74427 HAS SOUPS 73484 WITH SCORE 73638.023
AT ITER 701 NEW BEST:: SOT 249956 SOS 153015 HAS SOPS 150499 HAS SOUS 73847 HAS SOUPS 72904 WITH SCORE 73057.015
AT ITER 703 NEW BEST:: SOT 249956 SOS 152895 HAS SOPS 150379 HAS SOUS 73675 HAS SOUPS 72732 WITH SCORE 72884.895
AT ITER 712 NEW BEST:: SOT 249956 SOS 151171 HAS SOPS 148655 HAS SOUS 73382 HAS SOUPS 72439 WITH SCORE 72590.171
AT ITER 713 NEW BEST:: SOT 249956 SOS 150807 HAS SOPS 148291 HAS SOUS 73373 HAS SOUPS 72430 WITH SCORE 72580.807
AT ITER 715 NEW BEST:: SOT 249956 SOS 150755 HAS SOPS 148239 HAS SOUS 73373 HAS SOUPS 72430 WITH SCORE 72580.755
AT ITER 720 NEW BEST:: SOT 249956 SOS 150701 HAS SOPS 148131 HAS SOUS 73369 HAS SOUPS 72399 WITH SCORE 72549.701
AT ITER 721 NEW BEST:: SOT 249956 SOS 150527 HAS SOPS 147957 HAS SOUS 73247 HAS SOUPS 72277 WITH SCORE 72427.527
AT ITER 724 NEW BEST:: SOT 249956 SOS 150495 HAS SOPS 147925 HAS SOUS 73231 HAS SOUPS 72261 WITH SCORE 72411.495
AT ITER 725 NEW BEST:: SOT 249956 SOS 150467 HAS SOPS 147897 HAS SOUS 73224 HAS SOUPS 72254 WITH SCORE 72404.467
AT ITER 729 NEW BEST:: SOT 249956 SOS 150467 HAS SOPS 147897 HAS SOUS 73215 HAS SOUPS 72245 WITH SCORE 72395.467
AT ITER 730 NEW BEST:: SOT 249956 SOS 150315 HAS SOPS 147823 HAS SOUS 73139 HAS SOUPS 72208 WITH SCORE 72358.315
AT ITER 734 NEW BEST:: SOT 249956 SOS 150077 HAS SOPS 147585 HAS SOUS 73087 HAS SOUPS 72156 WITH SCORE 72306.077
AT ITER 735 NEW BEST:: SOT 249956 SOS 149957 HAS SOPS 147465 HAS SOUS 73052 HAS SOUPS 72121 WITH SCORE 72270.957
AT ITER 741 NEW BEST:: SOT 249938 SOS 150169 HAS SOPS 147805 HAS SOUS 73039 HAS SOUPS 72108 WITH SCORE 72258.169
AT ITER 752 NEW BEST:: SOT 249938 SOS 149957 HAS SOPS 147593 HAS SOUS 72977 HAS SOUPS 72046 WITH SCORE 72195.957
AT ITER 756 NEW BEST:: SOT 249938 SOS 149937 HAS SOPS 147573 HAS SOUS 72967 HAS SOUPS 72036 WITH SCORE 72185.937
AT ITER 757 NEW BEST:: SOT 249938 SOS 149733 HAS SOPS 147149 HAS SOUS 73025 HAS SOUPS 71984 WITH SCORE 72133.733
AT ITER 758 NEW BEST:: SOT 249938 SOS 149711 HAS SOPS 147127 HAS SOUS 73014 HAS SOUPS 71973 WITH SCORE 72122.711
AT ITER 762 NEW BEST:: SOT 249938 SOS 149463 HAS SOPS 146879 HAS SOUS 72890 HAS SOUPS 71849 WITH SCORE 71998.463
AT ITER 763 NEW BEST:: SOT 249938 SOS 148785 HAS SOPS 146201 HAS SOUS 72838 HAS SOUPS 71797 WITH SCORE 71945.785
AT ITER 766 NEW BEST:: SOT 249938 SOS 148909 HAS SOPS 146325 HAS SOUS 72611 HAS SOUPS 71570 WITH SCORE 71718.909
AT ITER 770 NEW BEST:: SOT 249938 SOS 148891 HAS SOPS 146307 HAS SOUS 72611 HAS SOUPS 71570 WITH SCORE 71718.891
AT ITER 776 NEW BEST:: SOT 249938 SOS 148709 HAS SOPS 146125 HAS SOUS 72598 HAS SOUPS 71557 WITH SCORE 71705.709
AT ITER 779 NEW BEST:: SOT 249938 SOS 148486 HAS SOPS 145902 HAS SOUS 72356 HAS SOUPS 71315 WITH SCORE 71463.486
AT ITER 780 NEW BEST:: SOT 249938 SOS 148571 HAS SOPS 145987 HAS SOUS 72350 HAS SOUPS 71309 WITH SCORE 71457.571
AT ITER 783 NEW BEST:: SOT 249938 SOS 148559 HAS SOPS 145975 HAS SOUS 72350 HAS SOUPS 71309 WITH SCORE 71457.559
AT ITER 784 NEW BEST:: SOT 249943 SOS 148282 HAS SOPS 145698 HAS SOUS 72156 HAS SOUPS 71115 WITH SCORE 71263.282
AT ITER 792 NEW BEST:: SOT 249943 SOS 148032 HAS SOPS 145448 HAS SOUS 72060 HAS SOUPS 71019 WITH SCORE 71167.032
AT ITER 793 NEW BEST:: SOT 249943 SOS 148022 HAS SOPS 145438 HAS SOUS 72055 HAS SOUPS 71014 WITH SCORE 71162.022
AT ITER 795 NEW BEST:: SOT 249913 SOS 147988 HAS SOPS 145404 HAS SOUS 72051 HAS SOUPS 71010 WITH SCORE 71157.988
AT ITER 798 NEW BEST:: SOT 249913 SOS 147984 HAS SOPS 145400 HAS SOUS 72049 HAS SOUPS 71008 WITH SCORE 71155.984
AT ITER 802 NEW BEST:: SOT 249913 SOS 147760 HAS SOPS 145176 HAS SOUS 72017 HAS SOUPS 70976 WITH SCORE 71123.76
AT ITER 806 NEW BEST:: SOT 249913 SOS 147744 HAS SOPS 145128 HAS SOUS 72017 HAS SOUPS 70960 WITH SCORE 71107.744
AT ITER 810 NEW BEST:: SOT 249913 SOS 147744 HAS SOPS 145128 HAS SOUS 71979 HAS SOUPS 70922 WITH SCORE 71069.744
AT ITER 816 NEW BEST:: SOT 249913 SOS 147610 HAS SOPS 144994 HAS SOUS 71963 HAS SOUPS 70906 WITH SCORE 71053.61
AT ITER 817 NEW BEST:: SOT 249913 SOS 147558 HAS SOPS 144942 HAS SOUS 71959 HAS SOUPS 70902 WITH SCORE 71049.558
AT ITER 823 NEW BEST:: SOT 249913 SOS 147414 HAS SOPS 144798 HAS SOUS 71923 HAS SOUPS 70866 WITH SCORE 71013.414
AT ITER 833 NEW BEST:: SOT 249913 SOS 147262 HAS SOPS 144646 HAS SOUS 71813 HAS SOUPS 70756 WITH SCORE 70903.262
AT ITER 851 NEW BEST:: SOT 250207 SOS 146465 HAS SOPS 144450 HAS SOUS 71274 HAS SOUPS 70285 WITH SCORE 70431.465
AT ITER 852 NEW BEST:: SOT 250207 SOS 146188 HAS SOPS 144433 HAS SOUS 71134 HAS SOUPS 70275 WITH SCORE 70421.188
AT ITER 860 NEW BEST:: SOT 250207 SOS 146152 HAS SOPS 144397 HAS SOUS 71128 HAS SOUPS 70269 WITH SCORE 70415.152
AT ITER 861 NEW BEST:: SOT 250207 SOS 146122 HAS SOPS 144367 HAS SOUS 71056 HAS SOUPS 70197 WITH SCORE 70343.122
AT ITER 868 NEW BEST:: SOT 250207 SOS 145753 HAS SOPS 143589 HAS SOUS 70816 HAS SOUPS 69548 WITH SCORE 69693.753
AT ITER 873 NEW BEST:: SOT 250207 SOS 145589 HAS SOPS 143425 HAS SOUS 70734 HAS SOUPS 69466 WITH SCORE 69611.589
AT ITER 882 NEW BEST:: SOT 250214 SOS 145584 HAS SOPS 143427 HAS SOUS 70720 HAS SOUPS 69452 WITH SCORE 69597.584
AT ITER 886 NEW BEST:: SOT 250214 SOS 145466 HAS SOPS 143311 HAS SOUS 70672 HAS SOUPS 69404 WITH SCORE 69549.466
AT ITER 892 NEW BEST:: SOT 250214 SOS 145110 HAS SOPS 142955 HAS SOUS 70537 HAS SOUPS 69269 WITH SCORE 69414.11
AT ITER 896 NEW BEST:: SOT 250214 SOS 145032 HAS SOPS 142863 HAS SOUS 70533 HAS SOUPS 69251 WITH SCORE 69396.032
AT ITER 897 NEW BEST:: SOT 250198 SOS 144795 HAS SOPS 142348 HAS SOUS 68826 HAS SOUPS 67544 WITH SCORE 67688.795
AT ITER 900 NEW BEST:: SOT 250198 SOS 144796 HAS SOPS 142349 HAS SOUS 68806 HAS SOUPS 67524 WITH SCORE 67668.796
AT ITER 904 NEW BEST:: SOT 250198 SOS 143881 HAS SOPS 141865 HAS SOUS 68290 HAS SOUPS 67244 WITH SCORE 67387.881
AT ITER 907 NEW BEST:: SOT 250198 SOS 143501 HAS SOPS 141485 HAS SOUS 67984 HAS SOUPS 66938 WITH SCORE 67081.501
AT ITER 914 NEW BEST:: SOT 250198 SOS 143405 HAS SOPS 141389 HAS SOUS 67975 HAS SOUPS 66929 WITH SCORE 67072.405
AT ITER 915 NEW BEST:: SOT 250198 SOS 143229 HAS SOPS 141171 HAS SOUS 67913 HAS SOUPS 66846 WITH SCORE 66989.229
AT ITER 925 NEW BEST:: SOT 250198 SOS 143121 HAS SOPS 141133 HAS SOUS 67859 HAS SOUPS 66827 WITH SCORE 66970.121
AT ITER 929 NEW BEST:: SOT 250198 SOS 143109 HAS SOPS 141121 HAS SOUS 67847 HAS SOUPS 66815 WITH SCORE 66958.109
AT ITER 931 NEW BEST:: SOT 250198 SOS 143103 HAS SOPS 141115 HAS SOUS 67844 HAS SOUPS 66812 WITH SCORE 66955.103
AT ITER 934 NEW BEST:: SOT 250164 SOS 143061 HAS SOPS 141073 HAS SOUS 67806 HAS SOUPS 66774 WITH SCORE 66917.061
AT ITER 935 NEW BEST:: SOT 250164 SOS 142983 HAS SOPS 140995 HAS SOUS 67757 HAS SOUPS 66725 WITH SCORE 66867.983
AT ITER 940 NEW BEST:: SOT 250164 SOS 142737 HAS SOPS 140749 HAS SOUS 67716 HAS SOUPS 66684 WITH SCORE 66826.737
AT ITER 943 NEW BEST:: SOT 250164 SOS 141785 HAS SOPS 139797 HAS SOUS 67648 HAS SOUPS 66616 WITH SCORE 66757.785
AT ITER 944 NEW BEST:: SOT 250164 SOS 141735 HAS SOPS 139747 HAS SOUS 67648 HAS SOUPS 66616 WITH SCORE 66757.735
AT ITER 946 NEW BEST:: SOT 250164 SOS 141342 HAS SOPS 138907 HAS SOUS 67836 HAS SOUPS 66572 WITH SCORE 66713.342
AT ITER 947 NEW BEST:: SOT 250164 SOS 141358 HAS SOPS 138915 HAS SOUS 67832 HAS SOUPS 66564 WITH SCORE 66705.358
AT ITER 952 NEW BEST:: SOT 250164 SOS 141376 HAS SOPS 138933 HAS SOUS 67829 HAS SOUPS 66561 WITH SCORE 66702.376
AT ITER 964 NEW BEST:: SOT 250164 SOS 141374 HAS SOPS 138931 HAS SOUS 67796 HAS SOUPS 66528 WITH SCORE 66669.374
AT ITER 965 NEW BEST:: SOT 250164 SOS 141360 HAS SOPS 138917 HAS SOUS 67795 HAS SOUPS 66527 WITH SCORE 66668.36
AT ITER 970 NEW BEST:: SOT 250053 SOS 141311 HAS SOPS 138835 HAS SOUS 67708 HAS SOUPS 66429 WITH SCORE 66570.311
AT ITER 973 NEW BEST:: SOT 250053 SOS 141238 HAS SOPS 138762 HAS SOUS 67662 HAS SOUPS 66383 WITH SCORE 66524.238
AT ITER 975 NEW BEST:: SOT 250053 SOS 140984 HAS SOPS 138508 HAS SOUS 67613 HAS SOUPS 66334 WITH SCORE 66474.984
AT ITER 982 NEW BEST:: SOT 250053 SOS 140868 HAS SOPS 138392 HAS SOUS 67584 HAS SOUPS 66305 WITH SCORE 66445.868
AT ITER 1004 NEW BEST:: SOT 250053 SOS 140828 HAS SOPS 138352 HAS SOUS 67573 HAS SOUPS 66294 WITH SCORE 66434.828
AT ITER 1005 NEW BEST:: SOT 250053 SOS 140918 HAS SOPS 138484 HAS SOUS 67545 HAS SOUPS 66287 WITH SCORE 66427.918
AT ITER 1010 NEW BEST:: SOT 250053 SOS 140519 HAS SOPS 138085 HAS SOUS 67527 HAS SOUPS 66269 WITH SCORE 66409.519
AT ITER 1029 NEW BEST:: SOT 250053 SOS 140101 HAS SOPS 137667 HAS SOUS 67372 HAS SOUPS 66114 WITH SCORE 66254.101
AT ITER 1035 NEW BEST:: SOT 250053 SOS 139791 HAS SOPS 137541 HAS SOUS 67217 HAS SOUPS 66051 WITH SCORE 66190.791
AT ITER 1036 NEW BEST:: SOT 250053 SOS 139922 HAS SOPS 137675 HAS SOUS 67203 HAS SOUPS 66037 WITH SCORE 66176.922
AT ITER 1038 NEW BEST:: SOT 250053 SOS 139816 HAS SOPS 137569 HAS SOUS 67074 HAS SOUPS 65908 WITH SCORE 66047.816
AT ITER 1043 NEW BEST:: SOT 250053 SOS 140064 HAS SOPS 137817 HAS SOUS 67066 HAS SOUPS 65900 WITH SCORE 66040.064
AT ITER 1046 NEW BEST:: SOT 250053 SOS 139974 HAS SOPS 137727 HAS SOUS 67066 HAS SOUPS 65900 WITH SCORE 66039.974
AT ITER 1051 NEW BEST:: SOT 250053 SOS 140057 HAS SOPS 137658 HAS SOUS 67105 HAS SOUPS 65844 WITH SCORE 65984.057
AT ITER 1055 NEW BEST:: SOT 250053 SOS 140339 HAS SOPS 137940 HAS SOUS 67104 HAS SOUPS 65843 WITH SCORE 65983.339
AT ITER 1062 NEW BEST:: SOT 250053 SOS 140323 HAS SOPS 137924 HAS SOUS 67096 HAS SOUPS 65835 WITH SCORE 65975.323
AT ITER 1073 NEW BEST:: SOT 250053 SOS 139763 HAS SOPS 137364 HAS SOUS 67063 HAS SOUPS 65802 WITH SCORE 65941.763
AT ITER 1085 NEW BEST:: SOT 250053 SOS 139745 HAS SOPS 137093 HAS SOUS 67044 HAS SOUPS 65636 WITH SCORE 65775.745
AT ITER 1092 NEW BEST:: SOT 250044 SOS 139708 HAS SOPS 137070 HAS SOUS 67042 HAS SOUPS 65634 WITH SCORE 65773.708
AT ITER 1093 NEW BEST:: SOT 250044 SOS 139748 HAS SOPS 137110 HAS SOUS 67022 HAS SOUPS 65614 WITH SCORE 65753.748
AT ITER 1095 NEW BEST:: SOT 250044 SOS 139701 HAS SOPS 137132 HAS SOUS 66912 HAS SOUPS 65559 WITH SCORE 65698.701
AT ITER 1099 NEW BEST:: SOT 250027 SOS 139626 HAS SOPS 137057 HAS SOUS 66866 HAS SOUPS 65513 WITH SCORE 65652.626
AT ITER 1115 NEW BEST:: SOT 250027 SOS 139671 HAS SOPS 136891 HAS SOUS 66987 HAS SOUPS 65508 WITH SCORE 65647.671
AT ITER 1118 NEW BEST:: SOT 250027 SOS 139163 HAS SOPS 136383 HAS SOUS 66693 HAS SOUPS 65214 WITH SCORE 65353.163
AT ITER 1123 NEW BEST:: SOT 250027 SOS 139269 HAS SOPS 136489 HAS SOUS 66679 HAS SOUPS 65200 WITH SCORE 65339.269
AT ITER 1124 NEW BEST:: SOT 250027 SOS 139265 HAS SOPS 136485 HAS SOUS 66677 HAS SOUPS 65198 WITH SCORE 65337.265
AT ITER 1127 NEW BEST:: SOT 250027 SOS 139270 HAS SOPS 136490 HAS SOUS 66667 HAS SOUPS 65188 WITH SCORE 65327.27
AT ITER 1135 NEW BEST:: SOT 250027 SOS 139314 HAS SOPS 136390 HAS SOUS 66056 HAS SOUPS 64577 WITH SCORE 64716.314
AT ITER 1142 NEW BEST:: SOT 250027 SOS 139162 HAS SOPS 136310 HAS SOUS 65951 HAS SOUPS 64518 WITH SCORE 64657.162
AT ITER 1145 NEW BEST:: SOT 250027 SOS 139114 HAS SOPS 136262 HAS SOUS 65937 HAS SOUPS 64504 WITH SCORE 64643.114
AT ITER 1153 NEW BEST:: SOT 250027 SOS 139108 HAS SOPS 136256 HAS SOUS 65934 HAS SOUPS 64501 WITH SCORE 64640.108
AT ITER 1166 NEW BEST:: SOT 250027 SOS 139070 HAS SOPS 136218 HAS SOUS 65915 HAS SOUPS 64482 WITH SCORE 64621.07
AT ITER 1172 NEW BEST:: SOT 250027 SOS 139042 HAS SOPS 136190 HAS SOUS 65908 HAS SOUPS 64475 WITH SCORE 64614.042
AT ITER 1175 NEW BEST:: SOT 250027 SOS 138530 HAS SOPS 135678 HAS SOUS 65789 HAS SOUPS 64356 WITH SCORE 64494.53
AT ITER 1180 NEW BEST:: SOT 250027 SOS 138524 HAS SOPS 135546 HAS SOUS 65741 HAS SOUPS 64235 WITH SCORE 64373.524
AT ITER 1183 NEW BEST:: SOT 250027 SOS 138226 HAS SOPS 135248 HAS SOUS 65673 HAS SOUPS 64167 WITH SCORE 64305.226
AT ITER 1188 NEW BEST:: SOT 250027 SOS 137912 HAS SOPS 134934 HAS SOUS 65610 HAS SOUPS 64104 WITH SCORE 64241.912
AT ITER 1195 NEW BEST:: SOT 250027 SOS 137870 HAS SOPS 134892 HAS SOUS 65600 HAS SOUPS 64094 WITH SCORE 64231.87
AT ITER 1196 NEW BEST:: SOT 250027 SOS 137826 HAS SOPS 134848 HAS SOUS 65578 HAS SOUPS 64072 WITH SCORE 64209.826
AT ITER 1199 NEW BEST:: SOT 250027 SOS 137944 HAS SOPS 134766 HAS SOUS 65635 HAS SOUPS 64029 WITH SCORE 64166.944
AT ITER 1201 NEW BEST:: SOT 250027 SOS 137974 HAS SOPS 134796 HAS SOUS 65620 HAS SOUPS 64014 WITH SCORE 64151.974
AT ITER 1210 NEW BEST:: SOT 250027 SOS 135270 HAS SOPS 132092 HAS SOUS 65403 HAS SOUPS 63797 WITH SCORE 63932.27
AT ITER 1216 NEW BEST:: SOT 250027 SOS 135268 HAS SOPS 132090 HAS SOUS 65403 HAS SOUPS 63797 WITH SCORE 63932.268
AT ITER 1226 NEW BEST:: SOT 250027 SOS 135250 HAS SOPS 132072 HAS SOUS 65394 HAS SOUPS 63788 WITH SCORE 63923.25
AT ITER 1230 NEW BEST:: SOT 250027 SOS 135532 HAS SOPS 132354 HAS SOUS 65388 HAS SOUPS 63782 WITH SCORE 63917.532
AT ITER 1234 NEW BEST:: SOT 250027 SOS 135464 HAS SOPS 132166 HAS SOUS 65417 HAS SOUPS 63751 WITH SCORE 63886.464
AT ITER 1240 NEW BEST:: SOT 250027 SOS 135390 HAS SOPS 132092 HAS SOUS 65367 HAS SOUPS 63701 WITH SCORE 63836.39
AT ITER 1243 NEW BEST:: SOT 250027 SOS 135156 HAS SOPS 131858 HAS SOUS 65330 HAS SOUPS 63664 WITH SCORE 63799.156
AT ITER 1248 NEW BEST:: SOT 250027 SOS 135130 HAS SOPS 131832 HAS SOUS 65304 HAS SOUPS 63638 WITH SCORE 63773.13
AT ITER 1251 NEW BEST:: SOT 250027 SOS 134246 HAS SOPS 130948 HAS SOUS 65304 HAS SOUPS 63638 WITH SCORE 63772.246
AT ITER 1253 NEW BEST:: SOT 250027 SOS 134194 HAS SOPS 130896 HAS SOUS 65278 HAS SOUPS 63612 WITH SCORE 63746.194
AT ITER 1256 NEW BEST:: SOT 250027 SOS 134048 HAS SOPS 130823 HAS SOUS 65226 HAS SOUPS 63560 WITH SCORE 63694.048
AT ITER 1259 NEW BEST:: SOT 250027 SOS 133768 HAS SOPS 130543 HAS SOUS 65207 HAS SOUPS 63541 WITH SCORE 63674.768
AT ITER 1263 NEW BEST:: SOT 250027 SOS 133674 HAS SOPS 130449 HAS SOUS 65200 HAS SOUPS 63534 WITH SCORE 63667.674
AT ITER 1265 NEW BEST:: SOT 250027 SOS 133666 HAS SOPS 130441 HAS SOUS 65198 HAS SOUPS 63532 WITH SCORE 63665.666
AT ITER 1272 NEW BEST:: SOT 250027 SOS 133578 HAS SOPS 130353 HAS SOUS 65154 HAS SOUPS 63488 WITH SCORE 63621.578
AT ITER 1277 NEW BEST:: SOT 250027 SOS 133578 HAS SOPS 130353 HAS SOUS 65094 HAS SOUPS 63428 WITH SCORE 63561.578
AT ITER 1281 NEW BEST:: SOT 250027 SOS 133402 HAS SOPS 130177 HAS SOUS 65050 HAS SOUPS 63384 WITH SCORE 63517.402
AT ITER 1282 NEW BEST:: SOT 250019 SOS 133398 HAS SOPS 130178 HAS SOUS 65034 HAS SOUPS 63368 WITH SCORE 63501.398
AT ITER 1294 NEW BEST:: SOT 250019 SOS 133312 HAS SOPS 130092 HAS SOUS 65020 HAS SOUPS 63354 WITH SCORE 63487.312
AT ITER 1307 NEW BEST:: SOT 250019 SOS 133312 HAS SOPS 130092 HAS SOUS 65003 HAS SOUPS 63337 WITH SCORE 63470.312
AT ITER 1313 NEW BEST:: SOT 250019 SOS 133356 HAS SOPS 130044 HAS SOUS 65025 HAS SOUPS 63313 WITH SCORE 63446.356
AT ITER 1335 NEW BEST:: SOT 250019 SOS 133338 HAS SOPS 130026 HAS SOUS 65016 HAS SOUPS 63304 WITH SCORE 63437.338
AT ITER 1336 NEW BEST:: SOT 250014 SOS 133333 HAS SOPS 130021 HAS SOUS 65011 HAS SOUPS 63299 WITH SCORE 63432.333
AT ITER 1342 NEW BEST:: SOT 250014 SOS 133323 HAS SOPS 130011 HAS SOUS 65011 HAS SOUPS 63299 WITH SCORE 63432.323
AT ITER 1346 NEW BEST:: SOT 250014 SOS 133317 HAS SOPS 130005 HAS SOUS 65008 HAS SOUPS 63296 WITH SCORE 63429.317
AT ITER 1351 NEW BEST:: SOT 250014 SOS 133277 HAS SOPS 129965 HAS SOUS 64998 HAS SOUPS 63286 WITH SCORE 63419.277
AT ITER 1354 NEW BEST:: SOT 250014 SOS 133267 HAS SOPS 129955 HAS SOUS 64993 HAS SOUPS 63281 WITH SCORE 63414.267
AT ITER 1360 NEW BEST:: SOT 250014 SOS 132991 HAS SOPS 129937 HAS SOUS 64845 HAS SOUPS 63272 WITH SCORE 63404.991
AT ITER 1372 NEW BEST:: SOT 250014 SOS 132951 HAS SOPS 129929 HAS SOUS 64825 HAS SOUPS 63268 WITH SCORE 63400.951
AT ITER 1377 NEW BEST:: SOT 250014 SOS 132903 HAS SOPS 129881 HAS SOUS 64801 HAS SOUPS 63244 WITH SCORE 63376.903
AT ITER 1378 NEW BEST:: SOT 250014 SOS 130753 HAS SOPS 127731 HAS SOUS 64597 HAS SOUPS 63040 WITH SCORE 63170.753
AT ITER 1380 NEW BEST:: SOT 250014 SOS 130756 HAS SOPS 127654 HAS SOUS 64622 HAS SOUPS 62985 WITH SCORE 63115.756
AT ITER 1383 NEW BEST:: SOT 250014 SOS 130718 HAS SOPS 127616 HAS SOUS 64552 HAS SOUPS 62915 WITH SCORE 63045.718
AT ITER 1390 NEW BEST:: SOT 250018 SOS 130616 HAS SOPS 127514 HAS SOUS 64515 HAS SOUPS 62878 WITH SCORE 63008.616
AT ITER 1391 NEW BEST:: SOT 250018 SOS 130654 HAS SOPS 127552 HAS SOUS 64495 HAS SOUPS 62858 WITH SCORE 62988.654
AT ITER 1392 NEW BEST:: SOT 250018 SOS 130530 HAS SOPS 127490 HAS SOUS 64433 HAS SOUPS 62827 WITH SCORE 62957.53
AT ITER 1403 NEW BEST:: SOT 250018 SOS 130142 HAS SOPS 127102 HAS SOUS 64362 HAS SOUPS 62756 WITH SCORE 62886.142
AT ITER 1405 NEW BEST:: SOT 250018 SOS 129970 HAS SOPS 126930 HAS SOUS 64272 HAS SOUPS 62666 WITH SCORE 62795.97
AT ITER 1406 NEW BEST:: SOT 249990 SOS 129912 HAS SOPS 126872 HAS SOUS 64241 HAS SOUPS 62635 WITH SCORE 62764.912
AT ITER 1408 NEW BEST:: SOT 246831 SOS 126764 HAS SOPS 123713 HAS SOUS 64183 HAS SOUPS 62568 WITH SCORE 62694.764
AT ITER 1409 NEW BEST:: SOT 246831 SOS 127070 HAS SOPS 124019 HAS SOUS 64177 HAS SOUPS 62562 WITH SCORE 62689.07
AT ITER 1414 NEW BEST:: SOT 246860 SOS 126954 HAS SOPS 123917 HAS SOUS 63958 HAS SOUPS 62358 WITH SCORE 62484.954
AT ITER 1416 NEW BEST:: SOT 246860 SOS 126806 HAS SOPS 123917 HAS SOUS 63810 HAS SOUPS 62284 WITH SCORE 62410.806
AT ITER 1419 NEW BEST:: SOT 246860 SOS 126924 HAS SOPS 124035 HAS SOUS 63782 HAS SOUPS 62256 WITH SCORE 62382.924
AT ITER 1420 NEW BEST:: SOT 246860 SOS 126806 HAS SOPS 123917 HAS SOUS 63756 HAS SOUPS 62230 WITH SCORE 62356.806
AT ITER 1431 NEW BEST:: SOT 246860 SOS 126348 HAS SOPS 123459 HAS SOUS 63689 HAS SOUPS 62163 WITH SCORE 62289.348
AT ITER 1434 NEW BEST:: SOT 246870 SOS 126254 HAS SOPS 123357 HAS SOUS 63625 HAS SOUPS 62099 WITH SCORE 62225.254
AT ITER 1439 NEW BEST:: SOT 246870 SOS 126208 HAS SOPS 123311 HAS SOUS 63604 HAS SOUPS 62078 WITH SCORE 62204.208
AT ITER 1449 NEW BEST:: SOT 246835 SOS 126227 HAS SOPS 123330 HAS SOUS 63596 HAS SOUPS 62070 WITH SCORE 62196.227
AT ITER 1450 NEW BEST:: SOT 246835 SOS 126257 HAS SOPS 123360 HAS SOUS 63568 HAS SOUPS 62042 WITH SCORE 62168.257
AT ITER 1451 NEW BEST:: SOT 246835 SOS 126153 HAS SOPS 123256 HAS SOUS 63544 HAS SOUPS 62018 WITH SCORE 62144.153
AT ITER 1452 NEW BEST:: SOT 246835 SOS 126143 HAS SOPS 123246 HAS SOUS 63539 HAS SOUPS 62013 WITH SCORE 62139.143
AT ITER 1454 NEW BEST:: SOT 246835 SOS 126143 HAS SOPS 123246 HAS SOUS 63514 HAS SOUPS 61988 WITH SCORE 62114.143
AT ITER 1456 NEW BEST:: SOT 246835 SOS 126109 HAS SOPS 123212 HAS SOUS 63497 HAS SOUPS 61971 WITH SCORE 62097.109
AT ITER 1462 NEW BEST:: SOT 246835 SOS 126269 HAS SOPS 123372 HAS SOUS 63495 HAS SOUPS 61969 WITH SCORE 62095.269
AT ITER 1466 NEW BEST:: SOT 246923 SOS 126585 HAS SOPS 123645 HAS SOUS 63466 HAS SOUPS 61940 WITH SCORE 62066.585
AT ITER 1476 NEW BEST:: SOT 246923 SOS 128869 HAS SOPS 125929 HAS SOUS 63401 HAS SOUPS 61875 WITH SCORE 62003.869
AT ITER 1482 NEW BEST:: SOT 246923 SOS 128865 HAS SOPS 125925 HAS SOUS 63399 HAS SOUPS 61873 WITH SCORE 62001.865
AT ITER 1497 NEW BEST:: SOT 246915 SOS 129463 HAS SOPS 126531 HAS SOUS 63310 HAS SOUPS 61784 WITH SCORE 61913.463
AT ITER 1499 NEW BEST:: SOT 247021 SOS 128563 HAS SOPS 125611 HAS SOUS 63245 HAS SOUPS 61719 WITH SCORE 61847.563
AT ITER 1501 NEW BEST:: SOT 247021 SOS 128543 HAS SOPS 125591 HAS SOUS 63235 HAS SOUPS 61709 WITH SCORE 61837.543
AT ITER 1502 NEW BEST:: SOT 247017 SOS 128539 HAS SOPS 125587 HAS SOUS 63231 HAS SOUPS 61705 WITH SCORE 61833.539
AT ITER 1513 NEW BEST:: SOT 247017 SOS 128527 HAS SOPS 125575 HAS SOUS 63225 HAS SOUPS 61699 WITH SCORE 61827.527
AT ITER 1518 NEW BEST:: SOT 247017 SOS 127823 HAS SOPS 124783 HAS SOUS 63225 HAS SOUPS 61655 WITH SCORE 61782.823
AT ITER 1519 NEW BEST:: SOT 247017 SOS 127773 HAS SOPS 124733 HAS SOUS 63200 HAS SOUPS 61630 WITH SCORE 61757.773
AT ITER 1525 NEW BEST:: SOT 247017 SOS 127913 HAS SOPS 124873 HAS SOUS 63198 HAS SOUPS 61628 WITH SCORE 61755.913
AT ITER 1527 NEW BEST:: SOT 247017 SOS 127921 HAS SOPS 124881 HAS SOUS 63178 HAS SOUPS 61608 WITH SCORE 61735.921
AT ITER 1529 NEW BEST:: SOT 247017 SOS 127913 HAS SOPS 124873 HAS SOUS 63174 HAS SOUPS 61604 WITH SCORE 61731.913
AT ITER 1530 NEW BEST:: SOT 247017 SOS 127859 HAS SOPS 124819 HAS SOUS 63147 HAS SOUPS 61577 WITH SCORE 61704.859
AT ITER 1533 NEW BEST:: SOT 247001 SOS 127843 HAS SOPS 124803 HAS SOUS 63147 HAS SOUPS 61577 WITH SCORE 61704.843
AT ITER 1541 NEW BEST:: SOT 247001 SOS 127845 HAS SOPS 124805 HAS SOUS 63141 HAS SOUPS 61571 WITH SCORE 61698.845
AT ITER 1542 NEW BEST:: SOT 247001 SOS 127851 HAS SOPS 124807 HAS SOUS 63144 HAS SOUPS 61570 WITH SCORE 61697.851
AT ITER 1551 NEW BEST:: SOT 247001 SOS 127839 HAS SOPS 124801 HAS SOUS 63138 HAS SOUPS 61567 WITH SCORE 61694.839
AT ITER 1553 NEW BEST:: SOT 247018 SOS 126817 HAS SOPS 123768 HAS SOUS 62723 HAS SOUPS 61152 WITH SCORE 61278.817
AT ITER 1557 NEW BEST:: SOT 247018 SOS 126805 HAS SOPS 123756 HAS SOUS 62717 HAS SOUPS 61146 WITH SCORE 61272.805
AT ITER 1558 NEW BEST:: SOT 247018 SOS 126645 HAS SOPS 123596 HAS SOUS 62597 HAS SOUPS 61026 WITH SCORE 61152.645
AT ITER 1561 NEW BEST:: SOT 247018 SOS 126645 HAS SOPS 123596 HAS SOUS 62588 HAS SOUPS 61017 WITH SCORE 61143.645
AT ITER 1565 NEW BEST:: SOT 247018 SOS 126569 HAS SOPS 123520 HAS SOUS 62588 HAS SOUPS 61017 WITH SCORE 61143.569
AT ITER 1572 NEW BEST:: SOT 247049 SOS 126473 HAS SOPS 123417 HAS SOUS 62415 HAS SOUPS 60848 WITH SCORE 60974.473
AT ITER 1581 NEW BEST:: SOT 247049 SOS 126513 HAS SOPS 123457 HAS SOUS 62369 HAS SOUPS 60802 WITH SCORE 60928.513
AT ITER 1582 NEW BEST:: SOT 247049 SOS 126491 HAS SOPS 123435 HAS SOUS 62368 HAS SOUPS 60801 WITH SCORE 60927.491
AT ITER 1591 NEW BEST:: SOT 247049 SOS 126487 HAS SOPS 123431 HAS SOUS 62356 HAS SOUPS 60789 WITH SCORE 60915.487
AT ITER 1599 NEW BEST:: SOT 247049 SOS 126401 HAS SOPS 123345 HAS SOUS 62341 HAS SOUPS 60774 WITH SCORE 60900.401
AT ITER 1603 NEW BEST:: SOT 247049 SOS 126189 HAS SOPS 123133 HAS SOUS 62235 HAS SOUPS 60668 WITH SCORE 60794.189
AT ITER 1604 NEW BEST:: SOT 247070 SOS 126063 HAS SOPS 122986 HAS SOUS 62070 HAS SOUPS 60503 WITH SCORE 60629.063
AT ITER 1606 NEW BEST:: SOT 247070 SOS 126045 HAS SOPS 122968 HAS SOUS 62061 HAS SOUPS 60494 WITH SCORE 60620.045
AT ITER 1610 NEW BEST:: SOT 234150 SOS 114414 HAS SOPS 109901 HAS SOUS 59161 HAS SOUPS 57548 WITH SCORE 57662.414
AT ITER 1614 NEW BEST:: SOT 234150 SOS 114388 HAS SOPS 109875 HAS SOUS 59161 HAS SOUPS 57548 WITH SCORE 57662.388
AT ITER 1618 NEW BEST:: SOT 234150 SOS 114186 HAS SOPS 109823 HAS SOUS 59060 HAS SOUPS 57522 WITH SCORE 57636.186
AT ITER 1633 NEW BEST:: SOT 234150 SOS 114078 HAS SOPS 109715 HAS SOUS 59006 HAS SOUPS 57468 WITH SCORE 57582.078
AT ITER 1641 NEW BEST:: SOT 234150 SOS 113836 HAS SOPS 109473 HAS SOUS 58885 HAS SOUPS 57347 WITH SCORE 57460.836
AT ITER 1666 NEW BEST:: SOT 234150 SOS 113814 HAS SOPS 109451 HAS SOUS 58882 HAS SOUPS 57344 WITH SCORE 57457.814
AT ITER 1669 NEW BEST:: SOT 234150 SOS 113774 HAS SOPS 109411 HAS SOUS 58882 HAS SOUPS 57344 WITH SCORE 57457.774
AT ITER 1673 NEW BEST:: SOT 234150 SOS 113654 HAS SOPS 109291 HAS SOUS 58882 HAS SOUPS 57344 WITH SCORE 57457.654
AT ITER 1674 NEW BEST:: SOT 234178 SOS 113318 HAS SOPS 108899 HAS SOUS 58791 HAS SOUPS 57253 WITH SCORE 57366.318
AT ITER 1675 NEW BEST:: SOT 234225 SOS 113353 HAS SOPS 108876 HAS SOUS 58692 HAS SOUPS 57154 WITH SCORE 57267.353
AT ITER 1676 NEW BEST:: SOT 234225 SOS 113315 HAS SOPS 108838 HAS SOUS 58692 HAS SOUPS 57154 WITH SCORE 57267.315
AT ITER 1677 NEW BEST:: SOT 234225 SOS 113271 HAS SOPS 108794 HAS SOUS 58670 HAS SOUPS 57132 WITH SCORE 57245.271
AT ITER 1683 NEW BEST:: SOT 234225 SOS 113271 HAS SOPS 108780 HAS SOUS 58670 HAS SOUPS 57125 WITH SCORE 57238.271
AT ITER 1694 NEW BEST:: SOT 234225 SOS 113099 HAS SOPS 108608 HAS SOUS 58666 HAS SOUPS 57121 WITH SCORE 57234.099
AT ITER 1698 NEW BEST:: SOT 234225 SOS 113103 HAS SOPS 108612 HAS SOUS 58662 HAS SOUPS 57117 WITH SCORE 57230.103
AT ITER 1700 NEW BEST:: SOT 234225 SOS 112991 HAS SOPS 108500 HAS SOUS 58662 HAS SOUPS 57117 WITH SCORE 57229.991
AT ITER 1704 NEW BEST:: SOT 234225 SOS 113167 HAS SOPS 108676 HAS SOUS 58655 HAS SOUPS 57110 WITH SCORE 57223.167
AT ITER 1713 NEW BEST:: SOT 234323 SOS 113067 HAS SOPS 108639 HAS SOUS 58237 HAS SOUPS 56706 WITH SCORE 56819.067
AT ITER 1726 NEW BEST:: SOT 234323 SOS 113057 HAS SOPS 108629 HAS SOUS 58237 HAS SOUPS 56706 WITH SCORE 56819.057
AT ITER 1730 NEW BEST:: SOT 234331 SOS 113087 HAS SOPS 108645 HAS SOUS 58245 HAS SOUPS 56700 WITH SCORE 56813.087
AT ITER 1732 NEW BEST:: SOT 234331 SOS 113045 HAS SOPS 108589 HAS SOUS 58238 HAS SOUPS 56686 WITH SCORE 56799.045
AT ITER 1733 NEW BEST:: SOT 234331 SOS 112993 HAS SOPS 108537 HAS SOUS 58212 HAS SOUPS 56660 WITH SCORE 56772.993
AT ITER 1743 NEW BEST:: SOT 234331 SOS 113037 HAS SOPS 108581 HAS SOUS 58168 HAS SOUPS 56616 WITH SCORE 56729.037
AT ITER 1748 NEW BEST:: SOT 234324 SOS 113059 HAS SOPS 108682 HAS SOUS 58067 HAS SOUPS 56543 WITH SCORE 56656.059
AT ITER 1759 NEW BEST:: SOT 234324 SOS 113015 HAS SOPS 108638 HAS SOUS 58056 HAS SOUPS 56532 WITH SCORE 56645.015
AT ITER 1772 NEW BEST:: SOT 234324 SOS 112973 HAS SOPS 108596 HAS SOUS 58040 HAS SOUPS 56516 WITH SCORE 56628.973
AT ITER 1790 NEW BEST:: SOT 234275 SOS 112875 HAS SOPS 108498 HAS SOUS 57961 HAS SOUPS 56437 WITH SCORE 56549.875
AT ITER 1799 NEW BEST:: SOT 234299 SOS 112883 HAS SOPS 108474 HAS SOUS 57925 HAS SOUPS 56401 WITH SCORE 56513.883
AT ITER 1802 NEW BEST:: SOT 234299 SOS 112879 HAS SOPS 108470 HAS SOUS 57921 HAS SOUPS 56397 WITH SCORE 56509.879
AT ITER 1814 NEW BEST:: SOT 234299 SOS 112909 HAS SOPS 108500 HAS SOUS 57905 HAS SOUPS 56381 WITH SCORE 56493.909
AT ITER 1826 NEW BEST:: SOT 234299 SOS 112837 HAS SOPS 108428 HAS SOUS 57869 HAS SOUPS 56345 WITH SCORE 56457.837
AT ITER 1827 NEW BEST:: SOT 234356 SOS 112893 HAS SOPS 108487 HAS SOUS 57776 HAS SOUPS 56252 WITH SCORE 56364.893
AT ITER 1828 NEW BEST:: SOT 234356 SOS 112829 HAS SOPS 108423 HAS SOUS 57776 HAS SOUPS 56252 WITH SCORE 56364.829
AT ITER 1839 NEW BEST:: SOT 234356 SOS 112827 HAS SOPS 108421 HAS SOUS 57774 HAS SOUPS 56250 WITH SCORE 56362.827
AT ITER 1842 NEW BEST:: SOT 234356 SOS 112561 HAS SOPS 108253 HAS SOUS 57690 HAS SOUPS 56215 WITH SCORE 56327.561
AT ITER 1861 NEW BEST:: SOT 234377 SOS 112582 HAS SOPS 108283 HAS SOUS 57672 HAS SOUPS 56197 WITH SCORE 56309.582
AT ITER 1863 NEW BEST:: SOT 234377 SOS 112542 HAS SOPS 108243 HAS SOUS 57608 HAS SOUPS 56133 WITH SCORE 56245.542
AT ITER 1868 NEW BEST:: SOT 234377 SOS 112104 HAS SOPS 108043 HAS SOUS 57389 HAS SOUPS 56033 WITH SCORE 56145.104
AT ITER 1878 NEW BEST:: SOT 234377 SOS 112056 HAS SOPS 107995 HAS SOUS 57389 HAS SOUPS 56033 WITH SCORE 56145.056
AT ITER 1888 NEW BEST:: SOT 234377 SOS 112001 HAS SOPS 107940 HAS SOUS 57363 HAS SOUPS 56007 WITH SCORE 56119.001
AT ITER 1900 NEW BEST:: SOT 234377 SOS 111985 HAS SOPS 107924 HAS SOUS 57359 HAS SOUPS 56003 WITH SCORE 56114.985
AT ITER 1905 NEW BEST:: SOT 234377 SOS 111783 HAS SOPS 107722 HAS SOUS 57315 HAS SOUPS 55959 WITH SCORE 56070.783
AT ITER 1920 NEW BEST:: SOT 234377 SOS 111671 HAS SOPS 107722 HAS SOUS 57259 HAS SOUPS 55959 WITH SCORE 56070.671
AT ITER 1924 NEW BEST:: SOT 234377 SOS 111639 HAS SOPS 107690 HAS SOUS 57253 HAS SOUPS 55953 WITH SCORE 56064.639
AT ITER 1936 NEW BEST:: SOT 234377 SOS 111635 HAS SOPS 107676 HAS SOUS 57251 HAS SOUPS 55946 WITH SCORE 56057.635
AT ITER 1939 NEW BEST:: SOT 234377 SOS 111457 HAS SOPS 107498 HAS SOUS 57156 HAS SOUPS 55851 WITH SCORE 55962.457
AT ITER 1942 NEW BEST:: SOT 234402 SOS 111503 HAS SOPS 107114 HAS SOUS 57211 HAS SOUPS 55652 WITH SCORE 55763.503
AT ITER 1944 NEW BEST:: SOT 234400 SOS 111501 HAS SOPS 107110 HAS SOUS 57207 HAS SOUPS 55648 WITH SCORE 55759.501
AT ITER 1945 NEW BEST:: SOT 234400 SOS 111550 HAS SOPS 107159 HAS SOUS 57191 HAS SOUPS 55632 WITH SCORE 55743.55
AT ITER 1948 NEW BEST:: SOT 234400 SOS 111558 HAS SOPS 107167 HAS SOUS 57143 HAS SOUPS 55584 WITH SCORE 55695.558
AT ITER 1959 NEW BEST:: SOT 234400 SOS 111464 HAS SOPS 107073 HAS SOUS 57133 HAS SOUPS 55574 WITH SCORE 55685.464
AT ITER 1970 NEW BEST:: SOT 234421 SOS 111474 HAS SOPS 107083 HAS SOUS 57125 HAS SOUPS 55566 WITH SCORE 55677.474
AT ITER 1973 NEW BEST:: SOT 234421 SOS 111472 HAS SOPS 107081 HAS SOUS 57125 HAS SOUPS 55566 WITH SCORE 55677.472
AT ITER 1985 NEW BEST:: SOT 234405 SOS 111456 HAS SOPS 107054 HAS SOUS 57121 HAS SOUPS 55551 WITH SCORE 55662.456
AT ITER 1990 NEW BEST:: SOT 234405 SOS 111462 HAS SOPS 107002 HAS SOUS 57124 HAS SOUPS 55525 WITH SCORE 55636.462
AT ITER 1996 NEW BEST:: SOT 234405 SOS 111324 HAS SOPS 106864 HAS SOUS 57060 HAS SOUPS 55461 WITH SCORE 55572.324
AT ITER 2011 NEW BEST:: SOT 234405 SOS 111304 HAS SOPS 106844 HAS SOUS 57045 HAS SOUPS 55446 WITH SCORE 55557.304
AT ITER 2015 NEW BEST:: SOT 234405 SOS 111292 HAS SOPS 106832 HAS SOUS 57039 HAS SOUPS 55440 WITH SCORE 55551.292
AT ITER 2017 NEW BEST:: SOT 234384 SOS 111202 HAS SOPS 106742 HAS SOUS 57007 HAS SOUPS 55408 WITH SCORE 55519.202
AT ITER 2019 NEW BEST:: SOT 234384 SOS 111202 HAS SOPS 106745 HAS SOUS 56989 HAS SOUPS 55393 WITH SCORE 55504.202
AT ITER 2031 NEW BEST:: SOT 234384 SOS 111188 HAS SOPS 106731 HAS SOUS 56982 HAS SOUPS 55386 WITH SCORE 55497.188
AT ITER 2034 NEW BEST:: SOT 234375 SOS 111161 HAS SOPS 106686 HAS SOUS 56955 HAS SOUPS 55359 WITH SCORE 55470.161
AT ITER 2035 NEW BEST:: SOT 234338 SOS 110757 HAS SOPS 106083 HAS SOUS 56640 HAS SOUPS 55080 WITH SCORE 55190.757
AT ITER 2050 NEW BEST:: SOT 234338 SOS 110776 HAS SOPS 106102 HAS SOUS 56628 HAS SOUPS 55068 WITH SCORE 55178.776
AT ITER 2063 NEW BEST:: SOT 234338 SOS 110672 HAS SOPS 105998 HAS SOUS 56613 HAS SOUPS 55053 WITH SCORE 55163.672
AT ITER 2066 NEW BEST:: SOT 234338 SOS 110692 HAS SOPS 105938 HAS SOUS 56643 HAS SOUPS 55043 WITH SCORE 55153.692
AT ITER 2077 NEW BEST:: SOT 234338 SOS 110692 HAS SOPS 105938 HAS SOUS 56625 HAS SOUPS 55025 WITH SCORE 55135.692
AT ITER 2079 NEW BEST:: SOT 220534 SOS 100335 HAS SOPS 92397 HAS SOUS 47924 HAS SOUPS 46446 WITH SCORE 46546.335
AT ITER 2083 NEW BEST:: SOT 220534 SOS 100363 HAS SOPS 92391 HAS SOUS 47930 HAS SOUPS 46435 WITH SCORE 46535.363
AT ITER 2088 NEW BEST:: SOT 220534 SOS 100361 HAS SOPS 92389 HAS SOUS 47929 HAS SOUPS 46434 WITH SCORE 46534.361
AT ITER 2093 NEW BEST:: SOT 220508 SOS 100441 HAS SOPS 92541 HAS SOUS 47909 HAS SOUPS 46414 WITH SCORE 46514.441
AT ITER 2094 NEW BEST:: SOT 220487 SOS 100399 HAS SOPS 92488 HAS SOUS 47866 HAS SOUPS 46371 WITH SCORE 46471.399
AT ITER 2096 NEW BEST:: SOT 220502 SOS 100434 HAS SOPS 92523 HAS SOUS 47841 HAS SOUPS 46346 WITH SCORE 46446.434
AT ITER 2099 NEW BEST:: SOT 220502 SOS 100470 HAS SOPS 92517 HAS SOUS 47859 HAS SOUPS 46343 WITH SCORE 46443.47
AT ITER 2101 NEW BEST:: SOT 220495 SOS 100442 HAS SOPS 92482 HAS SOUS 47831 HAS SOUPS 46315 WITH SCORE 46415.442
AT ITER 2103 NEW BEST:: SOT 220495 SOS 100438 HAS SOPS 92478 HAS SOUS 47831 HAS SOUPS 46315 WITH SCORE 46415.438
AT ITER 2105 NEW BEST:: SOT 220539 SOS 100484 HAS SOPS 92541 HAS SOUS 47754 HAS SOUPS 46238 WITH SCORE 46338.484
AT ITER 2107 NEW BEST:: SOT 220539 SOS 100634 HAS SOPS 92641 HAS SOUS 47761 HAS SOUPS 46220 WITH SCORE 46320.634
AT ITER 2118 NEW BEST:: SOT 220505 SOS 100600 HAS SOPS 92607 HAS SOUS 47688 HAS SOUPS 46147 WITH SCORE 46247.6
AT ITER 2121 NEW BEST:: SOT 218981 SOS 99521 HAS SOPS 91073 HAS SOUS 46160 HAS SOUPS 44613 WITH SCORE 44712.521
AT ITER 2130 NEW BEST:: SOT 218981 SOS 99477 HAS SOPS 91029 HAS SOUS 46149 HAS SOUPS 44602 WITH SCORE 44701.477
AT ITER 2132 NEW BEST:: SOT 218981 SOS 99455 HAS SOPS 91007 HAS SOUS 46027 HAS SOUPS 44480 WITH SCORE 44579.455
AT ITER 2139 NEW BEST:: SOT 218981 SOS 99377 HAS SOPS 90929 HAS SOUS 45994 HAS SOUPS 44447 WITH SCORE 44546.377
AT ITER 2142 NEW BEST:: SOT 218981 SOS 99289 HAS SOPS 90919 HAS SOUS 45916 HAS SOUPS 44408 WITH SCORE 44507.289
AT ITER 2144 NEW BEST:: SOT 218981 SOS 99249 HAS SOPS 90879 HAS SOUS 45912 HAS SOUPS 44404 WITH SCORE 44503.249
AT ITER 2168 NEW BEST:: SOT 218981 SOS 99195 HAS SOPS 90825 HAS SOUS 45912 HAS SOUPS 44404 WITH SCORE 44503.195
AT ITER 2170 NEW BEST:: SOT 218981 SOS 99015 HAS SOPS 90645 HAS SOUS 45822 HAS SOUPS 44314 WITH SCORE 44413.015
AT ITER 2177 NEW BEST:: SOT 218981 SOS 98973 HAS SOPS 90603 HAS SOUS 45794 HAS SOUPS 44286 WITH SCORE 44384.973
AT ITER 2183 NEW BEST:: SOT 218981 SOS 98833 HAS SOPS 90603 HAS SOUS 45724 HAS SOUPS 44286 WITH SCORE 44384.833
AT ITER 2184 NEW BEST:: SOT 218981 SOS 98811 HAS SOPS 90581 HAS SOUS 45704 HAS SOUPS 44266 WITH SCORE 44364.811
AT ITER 2192 NEW BEST:: SOT 218981 SOS 98725 HAS SOPS 90495 HAS SOUS 45670 HAS SOUPS 44232 WITH SCORE 44330.725
AT ITER 2203 NEW BEST:: SOT 219110 SOS 98880 HAS SOPS 90902 HAS SOUS 45488 HAS SOUPS 44175 WITH SCORE 44273.88
AT ITER 2204 NEW BEST:: SOT 219128 SOS 98813 HAS SOPS 90833 HAS SOUS 45464 HAS SOUPS 44151 WITH SCORE 44249.813
AT ITER 2217 NEW BEST:: SOT 219128 SOS 98693 HAS SOPS 90713 HAS SOUS 45437 HAS SOUPS 44124 WITH SCORE 44222.693
AT ITER 2226 NEW BEST:: SOT 219128 SOS 98649 HAS SOPS 90669 HAS SOUS 45426 HAS SOUPS 44113 WITH SCORE 44211.649
AT ITER 2247 NEW BEST:: SOT 219128 SOS 98647 HAS SOPS 90665 HAS SOUS 45426 HAS SOUPS 44112 WITH SCORE 44210.647
AT ITER 2251 NEW BEST:: SOT 219100 SOS 98619 HAS SOPS 90637 HAS SOUS 45416 HAS SOUPS 44102 WITH SCORE 44200.619
AT ITER 2268 NEW BEST:: SOT 219100 SOS 98663 HAS SOPS 90611 HAS SOUS 45438 HAS SOUPS 44089 WITH SCORE 44187.663
AT ITER 2270 NEW BEST:: SOT 219060 SOS 98623 HAS SOPS 90571 HAS SOUS 45434 HAS SOUPS 44085 WITH SCORE 44183.623
AT ITER 2272 NEW BEST:: SOT 219060 SOS 98517 HAS SOPS 90465 HAS SOUS 45402 HAS SOUPS 44053 WITH SCORE 44151.517
AT ITER 2289 NEW BEST:: SOT 219060 SOS 98467 HAS SOPS 90415 HAS SOUS 45396 HAS SOUPS 44047 WITH SCORE 44145.467
AT ITER 2291 NEW BEST:: SOT 219060 SOS 98523 HAS SOPS 90471 HAS SOUS 45395 HAS SOUPS 44046 WITH SCORE 44144.523
AT ITER 2293 NEW BEST:: SOT 219100 SOS 96391 HAS SOPS 88059 HAS SOUS 45378 HAS SOUPS 44029 WITH SCORE 44125.391
AT ITER 2301 NEW BEST:: SOT 219010 SOS 98129 HAS SOPS 90085 HAS SOUS 45224 HAS SOUPS 43875 WITH SCORE 43973.129
AT ITER 2308 NEW BEST:: SOT 219010 SOS 97901 HAS SOPS 89857 HAS SOUS 45176 HAS SOUPS 43827 WITH SCORE 43924.901
AT ITER 2317 NEW BEST:: SOT 219010 SOS 97895 HAS SOPS 89851 HAS SOUS 45158 HAS SOUPS 43809 WITH SCORE 43906.895
AT ITER 2324 NEW BEST:: SOT 219010 SOS 97905 HAS SOPS 89861 HAS SOUS 45112 HAS SOUPS 43763 WITH SCORE 43860.905
AT ITER 2340 NEW BEST:: SOT 219008 SOS 97903 HAS SOPS 89853 HAS SOUS 45108 HAS SOUPS 43759 WITH SCORE 43856.903
AT ITER 2344 NEW BEST:: SOT 219008 SOS 97869 HAS SOPS 89819 HAS SOUS 45091 HAS SOUPS 43742 WITH SCORE 43839.869
AT ITER 2349 NEW BEST:: SOT 218857 SOS 97407 HAS SOPS 89099 HAS SOUS 44970 HAS SOUPS 43521 WITH SCORE 43618.407
AT ITER 2351 NEW BEST:: SOT 218853 SOS 97382 HAS SOPS 88975 HAS SOUS 44902 HAS SOUPS 43457 WITH SCORE 43554.382
AT ITER 2357 NEW BEST:: SOT 218843 SOS 97372 HAS SOPS 88955 HAS SOUS 44872 HAS SOUPS 43427 WITH SCORE 43524.372
AT ITER 2365 NEW BEST:: SOT 218843 SOS 97262 HAS SOPS 88845 HAS SOUS 44838 HAS SOUPS 43393 WITH SCORE 43490.262
AT ITER 2373 NEW BEST:: SOT 218775 SOS 97194 HAS SOPS 88709 HAS SOUS 44736 HAS SOUPS 43291 WITH SCORE 43388.194
AT ITER 2377 NEW BEST:: SOT 218766 SOS 97185 HAS SOPS 88678 HAS SOUS 44705 HAS SOUPS 43260 WITH SCORE 43357.185
AT ITER 2384 NEW BEST:: SOT 218766 SOS 97181 HAS SOPS 88674 HAS SOUS 44703 HAS SOUPS 43258 WITH SCORE 43355.181
AT ITER 2389 NEW BEST:: SOT 218766 SOS 97298 HAS SOPS 88800 HAS SOUS 44680 HAS SOUPS 43235 WITH SCORE 43332.298
AT ITER 2409 NEW BEST:: SOT 218766 SOS 97250 HAS SOPS 88752 HAS SOUS 44680 HAS SOUPS 43235 WITH SCORE 43332.25
AT ITER 2414 NEW BEST:: SOT 218766 SOS 97018 HAS SOPS 88520 HAS SOUS 44622 HAS SOUPS 43177 WITH SCORE 43274.018
AT ITER 2417 NEW BEST:: SOT 218766 SOS 97022 HAS SOPS 88524 HAS SOUS 44616 HAS SOUPS 43171 WITH SCORE 43268.022
AT ITER 2430 NEW BEST:: SOT 218766 SOS 97022 HAS SOPS 88516 HAS SOUS 44612 HAS SOUPS 43163 WITH SCORE 43260.022
AT ITER 2444 NEW BEST:: SOT 218766 SOS 96938 HAS SOPS 88432 HAS SOUS 44492 HAS SOUPS 43043 WITH SCORE 43139.938
AT ITER 2455 NEW BEST:: SOT 218766 SOS 96932 HAS SOPS 88426 HAS SOUS 44492 HAS SOUPS 43043 WITH SCORE 43139.932
AT ITER 2465 NEW BEST:: SOT 218766 SOS 96946 HAS SOPS 88440 HAS SOUS 44442 HAS SOUPS 42993 WITH SCORE 43089.946
AT ITER 2467 NEW BEST:: SOT 218766 SOS 96900 HAS SOPS 88436 HAS SOUS 44419 HAS SOUPS 42991 WITH SCORE 43087.9
AT ITER 2469 NEW BEST:: SOT 218766 SOS 96842 HAS SOPS 88412 HAS SOUS 44390 HAS SOUPS 42979 WITH SCORE 43075.842
AT ITER 2473 NEW BEST:: SOT 218766 SOS 96772 HAS SOPS 88342 HAS SOUS 44355 HAS SOUPS 42944 WITH SCORE 43040.772
AT ITER 2478 NEW BEST:: SOT 218766 SOS 96658 HAS SOPS 88228 HAS SOUS 44342 HAS SOUPS 42931 WITH SCORE 43027.658
AT ITER 2487 NEW BEST:: SOT 218698 SOS 96640 HAS SOPS 87710 HAS SOUS 44503 HAS SOUPS 42898 WITH SCORE 42994.64
AT ITER 2497 NEW BEST:: SOT 218698 SOS 96624 HAS SOPS 87694 HAS SOUS 44495 HAS SOUPS 42890 WITH SCORE 42986.624
AT ITER 2513 NEW BEST:: SOT 218686 SOS 96608 HAS SOPS 87666 HAS SOUS 44467 HAS SOUPS 42862 WITH SCORE 42958.608
AT ITER 2529 NEW BEST:: SOT 218686 SOS 96592 HAS SOPS 87650 HAS SOUS 44459 HAS SOUPS 42854 WITH SCORE 42950.592
AT ITER 2531 NEW BEST:: SOT 218686 SOS 96634 HAS SOPS 87692 HAS SOUS 44456 HAS SOUPS 42851 WITH SCORE 42947.634
AT ITER 2549 NEW BEST:: SOT 218686 SOS 96664 HAS SOPS 87722 HAS SOUS 44455 HAS SOUPS 42850 WITH SCORE 42946.664
AT ITER 2561 NEW BEST:: SOT 218686 SOS 96644 HAS SOPS 87712 HAS SOUS 44445 HAS SOUPS 42845 WITH SCORE 42941.644
AT ITER 2565 NEW BEST:: SOT 218686 SOS 96420 HAS SOPS 87488 HAS SOUS 44439 HAS SOUPS 42839 WITH SCORE 42935.42
AT ITER 2574 NEW BEST:: SOT 218686 SOS 96072 HAS SOPS 87258 HAS SOUS 44262 HAS SOUPS 42721 WITH SCORE 42817.072
AT ITER 2632 NEW BEST:: SOT 218686 SOS 96068 HAS SOPS 87254 HAS SOUS 44252 HAS SOUPS 42711 WITH SCORE 42807.068
AT ITER 2663 NEW BEST:: SOT 218686 SOS 95906 HAS SOPS 86998 HAS SOUS 44249 HAS SOUPS 42661 WITH SCORE 42756.906
AT ITER 2664 NEW BEST:: SOT 218686 SOS 96124 HAS SOPS 87216 HAS SOUS 44244 HAS SOUPS 42656 WITH SCORE 42752.124
AT ITER 2672 NEW BEST:: SOT 218686 SOS 96030 HAS SOPS 87122 HAS SOUS 44197 HAS SOUPS 42609 WITH SCORE 42705.03
AT ITER 2673 NEW BEST:: SOT 218686 SOS 96148 HAS SOPS 87240 HAS SOUS 44189 HAS SOUPS 42601 WITH SCORE 42697.148
AT ITER 2682 NEW BEST:: SOT 218667 SOS 96129 HAS SOPS 87207 HAS SOUS 44156 HAS SOUPS 42568 WITH SCORE 42664.129
AT ITER 2685 NEW BEST:: SOT 217596 SOS 95048 HAS SOPS 86375 HAS SOUS 43907 HAS SOUPS 42325 WITH SCORE 42420.048
AT ITER 2686 NEW BEST:: SOT 217596 SOS 95092 HAS SOPS 86351 HAS SOUS 43936 HAS SOUPS 42320 WITH SCORE 42415.092
AT ITER 2687 NEW BEST:: SOT 217596 SOS 95006 HAS SOPS 86265 HAS SOUS 43881 HAS SOUPS 42265 WITH SCORE 42360.006
AT ITER 2694 NEW BEST:: SOT 217596 SOS 95090 HAS SOPS 86349 HAS SOUS 43870 HAS SOUPS 42254 WITH SCORE 42349.09
AT ITER 2704 NEW BEST:: SOT 217540 SOS 94976 HAS SOPS 86237 HAS SOUS 43805 HAS SOUPS 42189 WITH SCORE 42283.976
AT ITER 2709 NEW BEST:: SOT 217526 SOS 94962 HAS SOPS 86209 HAS SOUS 43691 HAS SOUPS 42075 WITH SCORE 42169.962
AT ITER 2714 NEW BEST:: SOT 217526 SOS 94958 HAS SOPS 86205 HAS SOUS 43689 HAS SOUPS 42073 WITH SCORE 42167.958
AT ITER 2717 NEW BEST:: SOT 217526 SOS 94872 HAS SOPS 86119 HAS SOUS 43671 HAS SOUPS 42055 WITH SCORE 42149.872
AT ITER 2719 NEW BEST:: SOT 217526 SOS 94852 HAS SOPS 86099 HAS SOUS 43669 HAS SOUPS 42053 WITH SCORE 42147.852
AT ITER 2723 NEW BEST:: SOT 217526 SOS 94820 HAS SOPS 86067 HAS SOUS 43635 HAS SOUPS 42019 WITH SCORE 42113.82
AT ITER 2725 NEW BEST:: SOT 217526 SOS 95044 HAS SOPS 86139 HAS SOUS 43671 HAS SOUPS 41979 WITH SCORE 42074.044
AT ITER 2731 NEW BEST:: SOT 217526 SOS 94900 HAS SOPS 85687 HAS SOUS 43766 HAS SOUPS 41920 WITH SCORE 42014.9
AT ITER 2739 NEW BEST:: SOT 217527 SOS 94772 HAS SOPS 85560 HAS SOUS 43701 HAS SOUPS 41855 WITH SCORE 41949.772
AT ITER 2742 NEW BEST:: SOT 217527 SOS 94770 HAS SOPS 85558 HAS SOUS 43700 HAS SOUPS 41854 WITH SCORE 41948.77
AT ITER 2748 NEW BEST:: SOT 217525 SOS 94710 HAS SOPS 85525 HAS SOUS 43616 HAS SOUPS 41770 WITH SCORE 41864.71
AT ITER 2764 NEW BEST:: SOT 217525 SOS 94696 HAS SOPS 85511 HAS SOUS 43616 HAS SOUPS 41770 WITH SCORE 41864.696
AT ITER 2780 NEW BEST:: SOT 217525 SOS 94588 HAS SOPS 85403 HAS SOUS 43588 HAS SOUPS 41742 WITH SCORE 41836.588
AT ITER 2782 NEW BEST:: SOT 217525 SOS 94318 HAS SOPS 85395 HAS SOUS 43453 HAS SOUPS 41738 WITH SCORE 41832.318
AT ITER 2793 NEW BEST:: SOT 217525 SOS 94286 HAS SOPS 85363 HAS SOUS 43437 HAS SOUPS 41722 WITH SCORE 41816.286
AT ITER 2799 NEW BEST:: SOT 217575 SOS 94336 HAS SOPS 85139 HAS SOUS 43347 HAS SOUPS 41632 WITH SCORE 41726.336
AT ITER 2803 NEW BEST:: SOT 217574 SOS 94335 HAS SOPS 85133 HAS SOUS 43337 HAS SOUPS 41622 WITH SCORE 41716.335
AT ITER 2829 NEW BEST:: SOT 217574 SOS 94303 HAS SOPS 85133 HAS SOUS 43321 HAS SOUPS 41622 WITH SCORE 41716.303
AT ITER 2865 NEW BEST:: SOT 217574 SOS 94263 HAS SOPS 85093 HAS SOUS 43321 HAS SOUPS 41622 WITH SCORE 41716.263
AT ITER 2873 NEW BEST:: SOT 217574 SOS 94195 HAS SOPS 85025 HAS SOUS 43321 HAS SOUPS 41622 WITH SCORE 41716.195
AT ITER 2894 NEW BEST:: SOT 217568 SOS 94196 HAS SOPS 85069 HAS SOUS 43315 HAS SOUPS 41616 WITH SCORE 41710.196
AT ITER 2901 NEW BEST:: SOT 217568 SOS 94196 HAS SOPS 85069 HAS SOUS 43314 HAS SOUPS 41615 WITH SCORE 41709.196
AT ITER 2903 NEW BEST:: SOT 217568 SOS 94196 HAS SOPS 85069 HAS SOUS 43311 HAS SOUPS 41612 WITH SCORE 41706.196
AT ITER 2905 NEW BEST:: SOT 217568 SOS 94190 HAS SOPS 85063 HAS SOUS 43309 HAS SOUPS 41610 WITH SCORE 41704.19
AT ITER 2912 NEW BEST:: SOT 217568 SOS 94172 HAS SOPS 85045 HAS SOUS 43309 HAS SOUPS 41610 WITH SCORE 41704.172
AT ITER 2934 NEW BEST:: SOT 217568 SOS 94120 HAS SOPS 84993 HAS SOUS 43296 HAS SOUPS 41597 WITH SCORE 41691.12
AT ITER 2936 NEW BEST:: SOT 217568 SOS 94080 HAS SOPS 84953 HAS SOUS 43286 HAS SOUPS 41587 WITH SCORE 41681.08
AT ITER 2938 NEW BEST:: SOT 217568 SOS 94075 HAS SOPS 84948 HAS SOUS 43281 HAS SOUPS 41582 WITH SCORE 41676.075
AT ITER 2943 NEW BEST:: SOT 217488 SOS 93995 HAS SOPS 84868 HAS SOUS 43248 HAS SOUPS 41549 WITH SCORE 41642.995
AT ITER 2958 NEW BEST:: SOT 217417 SOS 93885 HAS SOPS 84707 HAS SOUS 43177 HAS SOUPS 41478 WITH SCORE 41571.885
AT ITER 2977 NEW BEST:: SOT 213828 SOS 91771 HAS SOPS 81113 HAS SOUS 40018 HAS SOUPS 38360 WITH SCORE 38451.771
AT ITER 2984 NEW BEST:: SOT 213828 SOS 91679 HAS SOPS 81021 HAS SOUS 39995 HAS SOUPS 38337 WITH SCORE 38428.679
AT ITER 2987 NEW BEST:: SOT 213828 SOS 91683 HAS SOPS 81021 HAS SOUS 39993 HAS SOUPS 38335 WITH SCORE 38426.683
AT ITER 2993 NEW BEST:: SOT 213828 SOS 91657 HAS SOPS 80995 HAS SOUS 39980 HAS SOUPS 38322 WITH SCORE 38413.657
AT ITER 3008 NEW BEST:: SOT 213828 SOS 91569 HAS SOPS 80907 HAS SOUS 39980 HAS SOUPS 38322 WITH SCORE 38413.569
AT ITER 3027 NEW BEST:: SOT 213828 SOS 91547 HAS SOPS 80885 HAS SOUS 39980 HAS SOUPS 38322 WITH SCORE 38413.547
AT ITER 3040 NEW BEST:: SOT 213828 SOS 91419 HAS SOPS 80757 HAS SOUS 39974 HAS SOUPS 38316 WITH SCORE 38407.419
AT ITER 3042 NEW BEST:: SOT 213828 SOS 91405 HAS SOPS 80743 HAS SOUS 39967 HAS SOUPS 38309 WITH SCORE 38400.405
AT ITER 3055 NEW BEST:: SOT 213828 SOS 91403 HAS SOPS 80743 HAS SOUS 39966 HAS SOUPS 38309 WITH SCORE 38400.403
AT ITER 3061 NEW BEST:: SOT 213859 SOS 91301 HAS SOPS 80610 HAS SOUS 39960 HAS SOUPS 38303 WITH SCORE 38394.301
AT ITER 3083 NEW BEST:: SOT 213859 SOS 91363 HAS SOPS 80672 HAS SOUS 39926 HAS SOUPS 38269 WITH SCORE 38360.363
AT ITER 3090 NEW BEST:: SOT 213859 SOS 91355 HAS SOPS 80664 HAS SOUS 39922 HAS SOUPS 38265 WITH SCORE 38356.355
AT ITER 3091 NEW BEST:: SOT 213869 SOS 91365 HAS SOPS 80672 HAS SOUS 39916 HAS SOUPS 38259 WITH SCORE 38350.365
AT ITER 3094 NEW BEST:: SOT 213869 SOS 91377 HAS SOPS 80684 HAS SOUS 39910 HAS SOUPS 38253 WITH SCORE 38344.377
AT ITER 3097 NEW BEST:: SOT 213869 SOS 91311 HAS SOPS 80618 HAS SOUS 39910 HAS SOUPS 38253 WITH SCORE 38344.311
AT ITER 3099 NEW BEST:: SOT 213869 SOS 91309 HAS SOPS 80616 HAS SOUS 39909 HAS SOUPS 38252 WITH SCORE 38343.309
AT ITER 3108 NEW BEST:: SOT 213869 SOS 91307 HAS SOPS 80614 HAS SOUS 39908 HAS SOUPS 38251 WITH SCORE 38342.307
AT ITER 3110 NEW BEST:: SOT 213869 SOS 91339 HAS SOPS 80646 HAS SOUS 39897 HAS SOUPS 38240 WITH SCORE 38331.339
AT ITER 3115 NEW BEST:: SOT 213869 SOS 92495 HAS SOPS 81802 HAS SOUS 39891 HAS SOUPS 38234 WITH SCORE 38326.495
AT ITER 3121 NEW BEST:: SOT 213869 SOS 92463 HAS SOPS 81770 HAS SOUS 39875 HAS SOUPS 38218 WITH SCORE 38310.463
AT ITER 3130 NEW BEST:: SOT 213731 SOS 92325 HAS SOPS 81606 HAS SOUS 39823 HAS SOUPS 38166 WITH SCORE 38258.325
AT ITER 3132 NEW BEST:: SOT 213781 SOS 92503 HAS SOPS 81757 HAS SOUS 39720 HAS SOUPS 38063 WITH SCORE 38155.503
AT ITER 3135 NEW BEST:: SOT 213780 SOS 92330 HAS SOPS 81584 HAS SOUS 39636 HAS SOUPS 37979 WITH SCORE 38071.33
AT ITER 3138 NEW BEST:: SOT 213734 SOS 92284 HAS SOPS 81684 HAS SOUS 39636 HAS SOUPS 37979 WITH SCORE 38071.284
AT ITER 3156 NEW BEST:: SOT 213734 SOS 92260 HAS SOPS 81660 HAS SOUS 39624 HAS SOUPS 37967 WITH SCORE 38059.26
AT ITER 3163 NEW BEST:: SOT 213734 SOS 92244 HAS SOPS 81644 HAS SOUS 39616 HAS SOUPS 37959 WITH SCORE 38051.244
AT ITER 3167 NEW BEST:: SOT 213734 SOS 92126 HAS SOPS 81526 HAS SOUS 39557 HAS SOUPS 37900 WITH SCORE 37992.126
AT ITER 3179 NEW BEST:: SOT 213734 SOS 92112 HAS SOPS 81524 HAS SOUS 39550 HAS SOUPS 37899 WITH SCORE 37991.112
AT ITER 3181 NEW BEST:: SOT 213734 SOS 92088 HAS SOPS 81500 HAS SOUS 39550 HAS SOUPS 37899 WITH SCORE 37991.088
AT ITER 3185 NEW BEST:: SOT 213734 SOS 92028 HAS SOPS 81440 HAS SOUS 39520 HAS SOUPS 37869 WITH SCORE 37961.028
AT ITER 3192 NEW BEST:: SOT 213734 SOS 91960 HAS SOPS 81372 HAS SOUS 39503 HAS SOUPS 37852 WITH SCORE 37943.96
AT ITER 3201 NEW BEST:: SOT 213734 SOS 91942 HAS SOPS 81354 HAS SOUS 39503 HAS SOUPS 37852 WITH SCORE 37943.942
AT ITER 3205 NEW BEST:: SOT 213734 SOS 91936 HAS SOPS 81350 HAS SOUS 39500 HAS SOUPS 37850 WITH SCORE 37941.936
AT ITER 3212 NEW BEST:: SOT 213734 SOS 91918 HAS SOPS 81332 HAS SOUS 39500 HAS SOUPS 37850 WITH SCORE 37941.918
AT ITER 3221 NEW BEST:: SOT 213734 SOS 91868 HAS SOPS 81282 HAS SOUS 39492 HAS SOUPS 37842 WITH SCORE 37933.868
AT ITER 3234 NEW BEST:: SOT 213734 SOS 91840 HAS SOPS 81254 HAS SOUS 39478 HAS SOUPS 37828 WITH SCORE 37919.84
AT ITER 3236 NEW BEST:: SOT 213682 SOS 91750 HAS SOPS 81084 HAS SOUS 39344 HAS SOUPS 37676 WITH SCORE 37767.75
AT ITER 3247 NEW BEST:: SOT 213682 SOS 91662 HAS SOPS 81050 HAS SOUS 39300 HAS SOUPS 37669 WITH SCORE 37760.662
AT ITER 3254 NEW BEST:: SOT 213676 SOS 91656 HAS SOPS 81053 HAS SOUS 39297 HAS SOUPS 37666 WITH SCORE 37757.656
AT ITER 3271 NEW BEST:: SOT 213676 SOS 91642 HAS SOPS 81039 HAS SOUS 39289 HAS SOUPS 37658 WITH SCORE 37749.642
AT ITER 3299 NEW BEST:: SOT 213830 SOS 91700 HAS SOPS 81133 HAS SOUS 39221 HAS SOUPS 37602 WITH SCORE 37693.7
AT ITER 3300 NEW BEST:: SOT 213830 SOS 91690 HAS SOPS 81123 HAS SOUS 39216 HAS SOUPS 37597 WITH SCORE 37688.69
AT ITER 3347 NEW BEST:: SOT 213830 SOS 91682 HAS SOPS 81115 HAS SOUS 39212 HAS SOUPS 37593 WITH SCORE 37684.682
AT ITER 3349 NEW BEST:: SOT 213830 SOS 91682 HAS SOPS 81115 HAS SOUS 39204 HAS SOUPS 37585 WITH SCORE 37676.682
AT ITER 3362 NEW BEST:: SOT 213837 SOS 91689 HAS SOPS 81118 HAS SOUS 39191 HAS SOUPS 37572 WITH SCORE 37663.689
AT ITER 3374 NEW BEST:: SOT 213837 SOS 91589 HAS SOPS 81018 HAS SOUS 39175 HAS SOUPS 37556 WITH SCORE 37647.589
AT ITER 3433 NEW BEST:: SOT 213765 SOS 91277 HAS SOPS 80546 HAS SOUS 39004 HAS SOUPS 37385 WITH SCORE 37476.277
AT ITER 3446 NEW BEST:: SOT 213765 SOS 91423 HAS SOPS 80692 HAS SOUS 39003 HAS SOUPS 37384 WITH SCORE 37475.423
AT ITER 3451 NEW BEST:: SOT 213681 SOS 91339 HAS SOPS 80524 HAS SOUS 38883 HAS SOUPS 37264 WITH SCORE 37355.339
AT ITER 3523 NEW BEST:: SOT 213681 SOS 91307 HAS SOPS 80492 HAS SOUS 38854 HAS SOUPS 37235 WITH SCORE 37326.307
AT ITER 3527 NEW BEST:: SOT 213681 SOS 91307 HAS SOPS 80492 HAS SOUS 38801 HAS SOUPS 37182 WITH SCORE 37273.307
AT ITER 3531 NEW BEST:: SOT 213681 SOS 91261 HAS SOPS 80446 HAS SOUS 38778 HAS SOUPS 37159 WITH SCORE 37250.261
AT ITER 3544 NEW BEST:: SOT 213681 SOS 91371 HAS SOPS 80556 HAS SOUS 38776 HAS SOUPS 37157 WITH SCORE 37248.371
AT ITER 3548 NEW BEST:: SOT 213681 SOS 91631 HAS SOPS 80816 HAS SOUS 38747 HAS SOUPS 37128 WITH SCORE 37219.631
AT ITER 3565 NEW BEST:: SOT 213681 SOS 91669 HAS SOPS 80854 HAS SOUS 38734 HAS SOUPS 37115 WITH SCORE 37206.669
AT ITER 3570 NEW BEST:: SOT 213681 SOS 91597 HAS SOPS 80818 HAS SOUS 38698 HAS SOUPS 37097 WITH SCORE 37188.597
AT ITER 3586 NEW BEST:: SOT 213681 SOS 91597 HAS SOPS 80744 HAS SOUS 38698 HAS SOUPS 37060 WITH SCORE 37151.597
AT ITER 3597 NEW BEST:: SOT 213681 SOS 91541 HAS SOPS 80688 HAS SOUS 38684 HAS SOUPS 37046 WITH SCORE 37137.541
AT ITER 3628 NEW BEST:: SOT 213681 SOS 91533 HAS SOPS 80680 HAS SOUS 38676 HAS SOUPS 37038 WITH SCORE 37129.533
AT ITER 3631 NEW BEST:: SOT 213681 SOS 91515 HAS SOPS 80662 HAS SOUS 38667 HAS SOUPS 37029 WITH SCORE 37120.515
AT ITER 3684 NEW BEST:: SOT 213681 SOS 91505 HAS SOPS 80652 HAS SOUS 38662 HAS SOUPS 37024 WITH SCORE 37115.505
AT ITER 3686 NEW BEST:: SOT 213681 SOS 91373 HAS SOPS 80520 HAS SOUS 38662 HAS SOUPS 37024 WITH SCORE 37115.373
AT ITER 3705 NEW BEST:: SOT 213695 SOS 91387 HAS SOPS 80548 HAS SOUS 38654 HAS SOUPS 37016 WITH SCORE 37107.387
AT ITER 3710 NEW BEST:: SOT 213695 SOS 91317 HAS SOPS 80478 HAS SOUS 38619 HAS SOUPS 36981 WITH SCORE 37072.317
AT ITER 3714 NEW BEST:: SOT 213695 SOS 91325 HAS SOPS 80486 HAS SOUS 38597 HAS SOUPS 36959 WITH SCORE 37050.325
AT ITER 3728 NEW BEST:: SOT 213695 SOS 91321 HAS SOPS 80482 HAS SOUS 38595 HAS SOUPS 36957 WITH SCORE 37048.321
AT ITER 3733 NEW BEST:: SOT 213695 SOS 91169 HAS SOPS 80330 HAS SOUS 38595 HAS SOUPS 36957 WITH SCORE 37048.169
AT ITER 3737 NEW BEST:: SOT 213695 SOS 91157 HAS SOPS 80318 HAS SOUS 38589 HAS SOUPS 36951 WITH SCORE 37042.157
AT ITER 3743 NEW BEST:: SOT 213695 SOS 91149 HAS SOPS 80310 HAS SOUS 38589 HAS SOUPS 36951 WITH SCORE 37042.149
AT ITER 3750 NEW BEST:: SOT 213695 SOS 91081 HAS SOPS 80242 HAS SOUS 38578 HAS SOUPS 36940 WITH SCORE 37031.081
AT ITER 3771 NEW BEST:: SOT 213695 SOS 91081 HAS SOPS 80230 HAS SOUS 38578 HAS SOUPS 36934 WITH SCORE 37025.081
AT ITER 3785 NEW BEST:: SOT 213695 SOS 90932 HAS SOPS 80081 HAS SOUS 38578 HAS SOUPS 36934 WITH SCORE 37024.932
AT ITER 3841 NEW BEST:: SOT 213695 SOS 90920 HAS SOPS 80069 HAS SOUS 38555 HAS SOUPS 36911 WITH SCORE 37001.92
AT ITER 3870 NEW BEST:: SOT 213695 SOS 90916 HAS SOPS 80065 HAS SOUS 38554 HAS SOUPS 36910 WITH SCORE 37000.916
AT ITER 3877 NEW BEST:: SOT 213695 SOS 90806 HAS SOPS 79955 HAS SOUS 38542 HAS SOUPS 36898 WITH SCORE 36988.806
AT ITER 3908 NEW BEST:: SOT 213695 SOS 90656 HAS SOPS 79805 HAS SOUS 38542 HAS SOUPS 36898 WITH SCORE 36988.656
AT ITER 3913 NEW BEST:: SOT 213695 SOS 90696 HAS SOPS 79845 HAS SOUS 38522 HAS SOUPS 36878 WITH SCORE 36968.696
AT ITER 3939 NEW BEST:: SOT 213695 SOS 90689 HAS SOPS 79838 HAS SOUS 38522 HAS SOUPS 36878 WITH SCORE 36968.689
AT ITER 3945 NEW BEST:: SOT 213693 SOS 90667 HAS SOPS 79785 HAS SOUS 38509 HAS SOUPS 36865 WITH SCORE 36955.667
AT ITER 3952 NEW BEST:: SOT 213693 SOS 90687 HAS SOPS 79697 HAS SOUS 38519 HAS SOUPS 36821 WITH SCORE 36911.687
AT ITER 3961 NEW BEST:: SOT 213693 SOS 90677 HAS SOPS 79687 HAS SOUS 38514 HAS SOUPS 36816 WITH SCORE 36906.677
AT ITER 3968 NEW BEST:: SOT 213667 SOS 90651 HAS SOPS 79663 HAS SOUS 38442 HAS SOUPS 36744 WITH SCORE 36834.651
AT ITER 3992 NEW BEST:: SOT 213667 SOS 90637 HAS SOPS 79649 HAS SOUS 38435 HAS SOUPS 36737 WITH SCORE 36827.637
AT ITER 4008 NEW BEST:: SOT 213685 SOS 90669 HAS SOPS 79692 HAS SOUS 38436 HAS SOUPS 36723 WITH SCORE 36813.669
AT ITER 4011 NEW BEST:: SOT 213685 SOS 90661 HAS SOPS 79684 HAS SOUS 38436 HAS SOUPS 36723 WITH SCORE 36813.661
AT ITER 4032 NEW BEST:: SOT 213685 SOS 90591 HAS SOPS 79614 HAS SOUS 38401 HAS SOUPS 36688 WITH SCORE 36778.591
AT ITER 4039 NEW BEST:: SOT 213685 SOS 90569 HAS SOPS 79592 HAS SOUS 38390 HAS SOUPS 36677 WITH SCORE 36767.569
AT ITER 4045 NEW BEST:: SOT 213601 SOS 90477 HAS SOPS 79487 HAS SOUS 38279 HAS SOUPS 36572 WITH SCORE 36662.477
AT ITER 4052 NEW BEST:: SOT 213601 SOS 90469 HAS SOPS 79493 HAS SOUS 38268 HAS SOUPS 36568 WITH SCORE 36658.469
AT ITER 4053 NEW BEST:: SOT 213601 SOS 90377 HAS SOPS 79401 HAS SOUS 38235 HAS SOUPS 36535 WITH SCORE 36625.377
AT ITER 4056 NEW BEST:: SOT 213601 SOS 90365 HAS SOPS 79389 HAS SOUS 38235 HAS SOUPS 36535 WITH SCORE 36625.365
AT ITER 4075 NEW BEST:: SOT 213597 SOS 90353 HAS SOPS 79377 HAS SOUS 38233 HAS SOUPS 36533 WITH SCORE 36623.353
AT ITER 4076 NEW BEST:: SOT 213595 SOS 90351 HAS SOPS 79373 HAS SOUS 38179 HAS SOUPS 36479 WITH SCORE 36569.351
AT ITER 4094 NEW BEST:: SOT 213595 SOS 90343 HAS SOPS 79365 HAS SOUS 38178 HAS SOUPS 36478 WITH SCORE 36568.343
AT ITER 4098 NEW BEST:: SOT 213595 SOS 90329 HAS SOPS 79365 HAS SOUS 38171 HAS SOUPS 36478 WITH SCORE 36568.329
AT ITER 4132 NEW BEST:: SOT 213595 SOS 90317 HAS SOPS 79353 HAS SOUS 38165 HAS SOUPS 36472 WITH SCORE 36562.317
AT ITER 4159 NEW BEST:: SOT 213595 SOS 90324 HAS SOPS 79346 HAS SOUS 38165 HAS SOUPS 36465 WITH SCORE 36555.324
AT ITER 4180 NEW BEST:: SOT 213595 SOS 90296 HAS SOPS 79318 HAS SOUS 38151 HAS SOUPS 36451 WITH SCORE 36541.296
AT ITER 4211 NEW BEST:: SOT 213595 SOS 90242 HAS SOPS 79264 HAS SOUS 38097 HAS SOUPS 36397 WITH SCORE 36487.242
AT ITER 4212 NEW BEST:: SOT 213595 SOS 90250 HAS SOPS 79180 HAS SOUS 38135 HAS SOUPS 36389 WITH SCORE 36479.25
AT ITER 4227 NEW BEST:: SOT 211963 SOS 89486 HAS SOPS 77532 HAS SOUS 37783 HAS SOUPS 36023 WITH SCORE 36112.486
AT ITER 4228 NEW BEST:: SOT 211963 SOS 89458 HAS SOPS 77532 HAS SOUS 37769 HAS SOUPS 36023 WITH SCORE 36112.458
AT ITER 4238 NEW BEST:: SOT 208512 SOS 88366 HAS SOPS 74276 HAS SOUS 37364 HAS SOUPS 35804 WITH SCORE 35892.366
AT ITER 4249 NEW BEST:: SOT 208512 SOS 88336 HAS SOPS 74246 HAS SOUS 37364 HAS SOUPS 35804 WITH SCORE 35892.336
AT ITER 4285 NEW BEST:: SOT 208512 SOS 88328 HAS SOPS 74238 HAS SOUS 37364 HAS SOUPS 35804 WITH SCORE 35892.328
AT ITER 4290 NEW BEST:: SOT 208512 SOS 88324 HAS SOPS 74234 HAS SOUS 37362 HAS SOUPS 35802 WITH SCORE 35890.324
AT ITER 4297 NEW BEST:: SOT 208512 SOS 88254 HAS SOPS 74164 HAS SOUS 37337 HAS SOUPS 35777 WITH SCORE 35865.254
AT ITER 4356 NEW BEST:: SOT 208512 SOS 88285 HAS SOPS 74195 HAS SOUS 37326 HAS SOUPS 35766 WITH SCORE 35854.285
AT ITER 4365 NEW BEST:: SOT 208512 SOS 88283 HAS SOPS 74191 HAS SOUS 37325 HAS SOUPS 35764 WITH SCORE 35852.283
AT ITER 4385 NEW BEST:: SOT 208512 SOS 88219 HAS SOPS 74127 HAS SOUS 37318 HAS SOUPS 35757 WITH SCORE 35845.219
AT ITER 4386 NEW BEST:: SOT 208512 SOS 88145 HAS SOPS 74053 HAS SOUS 37290 HAS SOUPS 35729 WITH SCORE 35817.145
AT ITER 4398 NEW BEST:: SOT 208512 SOS 88079 HAS SOPS 73987 HAS SOUS 37224 HAS SOUPS 35663 WITH SCORE 35751.079
AT ITER 4404 NEW BEST:: SOT 208512 SOS 88077 HAS SOPS 73985 HAS SOUS 37223 HAS SOUPS 35662 WITH SCORE 35750.077
AT ITER 4420 NEW BEST:: SOT 208496 SOS 88061 HAS SOPS 73913 HAS SOUS 37191 HAS SOUPS 35630 WITH SCORE 35718.061
AT ITER 4455 NEW BEST:: SOT 208374 SOS 87939 HAS SOPS 73865 HAS SOUS 37113 HAS SOUPS 35564 WITH SCORE 35651.939
AT ITER 4502 NEW BEST:: SOT 208360 SOS 87925 HAS SOPS 73837 HAS SOUS 37113 HAS SOUPS 35564 WITH SCORE 35651.925
AT ITER 4514 NEW BEST:: SOT 208360 SOS 87913 HAS SOPS 73825 HAS SOUS 37110 HAS SOUPS 35561 WITH SCORE 35648.913
AT ITER 4521 NEW BEST:: SOT 208267 SOS 87820 HAS SOPS 73700 HAS SOUS 37009 HAS SOUPS 35460 WITH SCORE 35547.82
AT ITER 4533 NEW BEST:: SOT 208267 SOS 87788 HAS SOPS 73668 HAS SOUS 36993 HAS SOUPS 35444 WITH SCORE 35531.788
AT ITER 4542 NEW BEST:: SOT 208230 SOS 87699 HAS SOPS 73570 HAS SOUS 36956 HAS SOUPS 35407 WITH SCORE 35494.699
AT ITER 4547 NEW BEST:: SOT 208221 SOS 87697 HAS SOPS 73565 HAS SOUS 36933 HAS SOUPS 35384 WITH SCORE 35471.697
AT ITER 4551 NEW BEST:: SOT 208229 SOS 87705 HAS SOPS 73571 HAS SOUS 36929 HAS SOUPS 35380 WITH SCORE 35467.705
AT ITER 4573 NEW BEST:: SOT 208225 SOS 87701 HAS SOPS 73563 HAS SOUS 36921 HAS SOUPS 35372 WITH SCORE 35459.701
AT ITER 4577 NEW BEST:: SOT 208220 SOS 87704 HAS SOPS 73709 HAS SOUS 36839 HAS SOUPS 35358 WITH SCORE 35445.704
AT ITER 4586 NEW BEST:: SOT 208220 SOS 87664 HAS SOPS 73669 HAS SOUS 36829 HAS SOUPS 35348 WITH SCORE 35435.664
AT ITER 4601 NEW BEST:: SOT 208197 SOS 87645 HAS SOPS 73666 HAS SOUS 36820 HAS SOUPS 35339 WITH SCORE 35426.645
AT ITER 4614 NEW BEST:: SOT 208197 SOS 87601 HAS SOPS 73622 HAS SOUS 36809 HAS SOUPS 35328 WITH SCORE 35415.601
AT ITER 4617 NEW BEST:: SOT 208199 SOS 87603 HAS SOPS 73614 HAS SOUS 36805 HAS SOUPS 35324 WITH SCORE 35411.603
AT ITER 4626 NEW BEST:: SOT 208195 SOS 87599 HAS SOPS 73584 HAS SOUS 36775 HAS SOUPS 35294 WITH SCORE 35381.599
AT ITER 4627 NEW BEST:: SOT 208195 SOS 87651 HAS SOPS 73636 HAS SOUS 36773 HAS SOUPS 35292 WITH SCORE 35379.651
AT ITER 4635 NEW BEST:: SOT 208195 SOS 87647 HAS SOPS 73632 HAS SOUS 36771 HAS SOUPS 35290 WITH SCORE 35377.647
AT ITER 4682 NEW BEST:: SOT 208277 SOS 87729 HAS SOPS 73708 HAS SOUS 36757 HAS SOUPS 35276 WITH SCORE 35363.729
AT ITER 4700 NEW BEST:: SOT 208277 SOS 87729 HAS SOPS 73708 HAS SOUS 36750 HAS SOUPS 35269 WITH SCORE 35356.729
AT ITER 4768 NEW BEST:: SOT 208258 SOS 87710 HAS SOPS 73721 HAS SOUS 36733 HAS SOUPS 35252 WITH SCORE 35339.71
AT ITER 4779 NEW BEST:: SOT 208258 SOS 87706 HAS SOPS 73717 HAS SOUS 36731 HAS SOUPS 35250 WITH SCORE 35337.706
AT ITER 4799 NEW BEST:: SOT 208258 SOS 87442 HAS SOPS 73453 HAS SOUS 36725 HAS SOUPS 35244 WITH SCORE 35331.442
AT ITER 4822 NEW BEST:: SOT 208258 SOS 87340 HAS SOPS 73441 HAS SOUS 36674 HAS SOUPS 35238 WITH SCORE 35325.34
AT ITER 4825 NEW BEST:: SOT 208258 SOS 87216 HAS SOPS 73317 HAS SOUS 36674 HAS SOUPS 35238 WITH SCORE 35325.216
AT ITER 4826 NEW BEST:: SOT 208258 SOS 87240 HAS SOPS 73341 HAS SOUS 36657 HAS SOUPS 35221 WITH SCORE 35308.24
AT ITER 4834 NEW BEST:: SOT 208258 SOS 87218 HAS SOPS 73319 HAS SOUS 36635 HAS SOUPS 35199 WITH SCORE 35286.218
AT ITER 4835 NEW BEST:: SOT 208258 SOS 87218 HAS SOPS 73319 HAS SOUS 36614 HAS SOUPS 35178 WITH SCORE 35265.218
AT ITER 4851 NEW BEST:: SOT 202942 SOS 85542 HAS SOPS 68058 HAS SOUS 34305 HAS SOUPS 32840 WITH SCORE 32925.542
AT ITER 4865 NEW BEST:: SOT 202942 SOS 85588 HAS SOPS 68104 HAS SOUS 34282 HAS SOUPS 32817 WITH SCORE 32902.588
AT ITER 4890 NEW BEST:: SOT 202942 SOS 85576 HAS SOPS 68092 HAS SOUS 34282 HAS SOUPS 32817 WITH SCORE 32902.576
AT ITER 4911 NEW BEST:: SOT 202942 SOS 85544 HAS SOPS 68092 HAS SOUS 34250 HAS SOUPS 32801 WITH SCORE 32886.544
AT ITER 4920 NEW BEST:: SOT 202942 SOS 85508 HAS SOPS 68056 HAS SOUS 34250 HAS SOUPS 32801 WITH SCORE 32886.508
AT ITER 4935 NEW BEST:: SOT 202938 SOS 85504 HAS SOPS 67976 HAS SOUS 34242 HAS SOUPS 32793 WITH SCORE 32878.504
AT ITER 4949 NEW BEST:: SOT 202938 SOS 85504 HAS SOPS 67976 HAS SOUS 34236 HAS SOUPS 32787 WITH SCORE 32872.504
AT ITER 5021 NEW BEST:: SOT 202938 SOS 85598 HAS SOPS 67970 HAS SOUS 34283 HAS SOUPS 32784 WITH SCORE 32869.598
AT ITER 5023 NEW BEST:: SOT 202938 SOS 85612 HAS SOPS 67984 HAS SOUS 34281 HAS SOUPS 32782 WITH SCORE 32867.612
AT ITER 5030 NEW BEST:: SOT 202938 SOS 85602 HAS SOPS 67974 HAS SOUS 34276 HAS SOUPS 32777 WITH SCORE 32862.602
AT ITER 5055 NEW BEST:: SOT 202936 SOS 85599 HAS SOPS 67970 HAS SOUS 34276 HAS SOUPS 32777 WITH SCORE 32862.599
AT ITER 5086 NEW BEST:: SOT 202936 SOS 85587 HAS SOPS 67958 HAS SOUS 34276 HAS SOUPS 32777 WITH SCORE 32862.587
AT ITER 5088 NEW BEST:: SOT 202936 SOS 85575 HAS SOPS 67946 HAS SOUS 34270 HAS SOUPS 32771 WITH SCORE 32856.575
AT ITER 5122 NEW BEST:: SOT 202936 SOS 85509 HAS SOPS 67940 HAS SOUS 34237 HAS SOUPS 32768 WITH SCORE 32853.509
AT ITER 5123 NEW BEST:: SOT 202936 SOS 85509 HAS SOPS 67940 HAS SOUS 34234 HAS SOUPS 32765 WITH SCORE 32850.509
AT ITER 5124 NEW BEST:: SOT 202936 SOS 85459 HAS SOPS 67890 HAS SOUS 34234 HAS SOUPS 32765 WITH SCORE 32850.459
AT ITER 5133 NEW BEST:: SOT 202936 SOS 85453 HAS SOPS 67884 HAS SOUS 34228 HAS SOUPS 32759 WITH SCORE 32844.453
AT ITER 5143 NEW BEST:: SOT 202936 SOS 85568 HAS SOPS 67999 HAS SOUS 34197 HAS SOUPS 32728 WITH SCORE 32813.568
AT ITER 5145 NEW BEST:: SOT 202932 SOS 85564 HAS SOPS 67991 HAS SOUS 34193 HAS SOUPS 32724 WITH SCORE 32809.564
AT ITER 5153 NEW BEST:: SOT 202920 SOS 85552 HAS SOPS 67979 HAS SOUS 34193 HAS SOUPS 32724 WITH SCORE 32809.552
AT ITER 5184 NEW BEST:: SOT 202920 SOS 85500 HAS SOPS 67927 HAS SOUS 34188 HAS SOUPS 32719 WITH SCORE 32804.5
AT ITER 5200 NEW BEST:: SOT 202920 SOS 85454 HAS SOPS 67881 HAS SOUS 34171 HAS SOUPS 32702 WITH SCORE 32787.454
AT ITER 5205 NEW BEST:: SOT 202920 SOS 85444 HAS SOPS 67871 HAS SOUS 34166 HAS SOUPS 32697 WITH SCORE 32782.444
AT ITER 5210 NEW BEST:: SOT 202920 SOS 85382 HAS SOPS 67809 HAS SOUS 34135 HAS SOUPS 32666 WITH SCORE 32751.382
AT ITER 5211 NEW BEST:: SOT 202918 SOS 85636 HAS SOPS 68063 HAS SOUS 34124 HAS SOUPS 32655 WITH SCORE 32740.636
AT ITER 5215 NEW BEST:: SOT 202918 SOS 85632 HAS SOPS 68059 HAS SOUS 34122 HAS SOUPS 32653 WITH SCORE 32738.632
AT ITER 5230 NEW BEST:: SOT 202918 SOS 85628 HAS SOPS 68055 HAS SOUS 34117 HAS SOUPS 32648 WITH SCORE 32733.628
AT ITER 5238 NEW BEST:: SOT 202798 SOS 85508 HAS SOPS 67935 HAS SOUS 34113 HAS SOUPS 32644 WITH SCORE 32729.508
AT ITER 5242 NEW BEST:: SOT 202798 SOS 85506 HAS SOPS 67933 HAS SOUS 34095 HAS SOUPS 32626 WITH SCORE 32711.506
AT ITER 5250 NEW BEST:: SOT 202798 SOS 85498 HAS SOPS 67917 HAS SOUS 34091 HAS SOUPS 32618 WITH SCORE 32703.498
AT ITER 5255 NEW BEST:: SOT 202798 SOS 85600 HAS SOPS 68019 HAS SOUS 34089 HAS SOUPS 32616 WITH SCORE 32701.6
AT ITER 5266 NEW BEST:: SOT 202798 SOS 85600 HAS SOPS 68019 HAS SOUS 34086 HAS SOUPS 32613 WITH SCORE 32698.6
AT ITER 5295 NEW BEST:: SOT 202798 SOS 85600 HAS SOPS 67941 HAS SOUS 34060 HAS SOUPS 32587 WITH SCORE 32672.6
AT ITER 5321 NEW BEST:: SOT 202798 SOS 85588 HAS SOPS 67929 HAS SOUS 34057 HAS SOUPS 32584 WITH SCORE 32669.588
AT ITER 5323 NEW BEST:: SOT 202770 SOS 85560 HAS SOPS 67921 HAS SOUS 34035 HAS SOUPS 32562 WITH SCORE 32647.56
AT ITER 5330 NEW BEST:: SOT 202770 SOS 85552 HAS SOPS 68059 HAS SOUS 33960 HAS SOUPS 32560 WITH SCORE 32645.552
AT ITER 5331 NEW BEST:: SOT 202770 SOS 85570 HAS SOPS 68077 HAS SOUS 33929 HAS SOUPS 32529 WITH SCORE 32614.57
AT ITER 5344 NEW BEST:: SOT 202770 SOS 85380 HAS SOPS 67887 HAS SOUS 33906 HAS SOUPS 32506 WITH SCORE 32591.38
AT ITER 5370 NEW BEST:: SOT 202770 SOS 85406 HAS SOPS 67913 HAS SOUS 33881 HAS SOUPS 32481 WITH SCORE 32566.406
AT ITER 5371 NEW BEST:: SOT 202770 SOS 85382 HAS SOPS 67889 HAS SOUS 33869 HAS SOUPS 32469 WITH SCORE 32554.382
AT ITER 5393 NEW BEST:: SOT 202765 SOS 85377 HAS SOPS 67884 HAS SOUS 33864 HAS SOUPS 32464 WITH SCORE 32549.377
AT ITER 5399 NEW BEST:: SOT 202765 SOS 85509 HAS SOPS 68016 HAS SOUS 33852 HAS SOUPS 32452 WITH SCORE 32537.509
AT ITER 5426 NEW BEST:: SOT 202765 SOS 85479 HAS SOPS 68104 HAS SOUS 33778 HAS SOUPS 32437 WITH SCORE 32522.479
AT ITER 5436 NEW BEST:: SOT 202763 SOS 85329 HAS SOPS 67950 HAS SOUS 33740 HAS SOUPS 32399 WITH SCORE 32484.329
AT ITER 5437 NEW BEST:: SOT 202763 SOS 85383 HAS SOPS 68004 HAS SOUS 33737 HAS SOUPS 32396 WITH SCORE 32481.383
AT ITER 5440 NEW BEST:: SOT 202767 SOS 85365 HAS SOPS 67980 HAS SOUS 33695 HAS SOUPS 32354 WITH SCORE 32439.365
AT ITER 5444 NEW BEST:: SOT 202767 SOS 85237 HAS SOPS 67852 HAS SOUS 33629 HAS SOUPS 32288 WITH SCORE 32373.237
AT ITER 5478 NEW BEST:: SOT 202767 SOS 85181 HAS SOPS 67740 HAS SOUS 33657 HAS SOUPS 32288 WITH SCORE 32373.181
AT ITER 5503 NEW BEST:: SOT 202767 SOS 85185 HAS SOPS 67744 HAS SOUS 33628 HAS SOUPS 32259 WITH SCORE 32344.185
AT ITER 5510 NEW BEST:: SOT 202739 SOS 85157 HAS SOPS 67702 HAS SOUS 33626 HAS SOUPS 32257 WITH SCORE 32342.157
AT ITER 5531 NEW BEST:: SOT 202739 SOS 85153 HAS SOPS 67698 HAS SOUS 33622 HAS SOUPS 32253 WITH SCORE 32338.153
AT ITER 5546 NEW BEST:: SOT 202739 SOS 85101 HAS SOPS 67592 HAS SOUS 33623 HAS SOUPS 32227 WITH SCORE 32312.101
AT ITER 5564 NEW BEST:: SOT 202754 SOS 83876 HAS SOPS 65792 HAS SOUS 33730 HAS SOUPS 32227 WITH SCORE 32310.876
AT ITER 5576 NEW BEST:: SOT 202754 SOS 83876 HAS SOPS 65792 HAS SOUS 33727 HAS SOUPS 32224 WITH SCORE 32307.876
AT ITER 5597 NEW BEST:: SOT 202737 SOS 83859 HAS SOPS 65135 HAS SOUS 33652 HAS SOUPS 32149 WITH SCORE 32232.859
AT ITER 5605 NEW BEST:: SOT 202737 SOS 83697 HAS SOPS 65075 HAS SOUS 33586 HAS SOUPS 32134 WITH SCORE 32217.697
AT ITER 5627 NEW BEST:: SOT 202746 SOS 83706 HAS SOPS 65066 HAS SOUS 33541 HAS SOUPS 32089 WITH SCORE 32172.706
AT ITER 5634 NEW BEST:: SOT 202822 SOS 83780 HAS SOPS 65000 HAS SOUS 33524 HAS SOUPS 32072 WITH SCORE 32155.78
AT ITER 5712 NEW BEST:: SOT 202822 SOS 83778 HAS SOPS 64998 HAS SOUS 33523 HAS SOUPS 32071 WITH SCORE 32154.778
AT ITER 5751 NEW BEST:: SOT 202806 SOS 83762 HAS SOPS 65034 HAS SOUS 33511 HAS SOUPS 32059 WITH SCORE 32142.762
AT ITER 5786 NEW BEST:: SOT 202806 SOS 83756 HAS SOPS 65028 HAS SOUS 33508 HAS SOUPS 32056 WITH SCORE 32139.756
AT ITER 5797 NEW BEST:: SOT 202813 SOS 83770 HAS SOPS 65057 HAS SOUS 33493 HAS SOUPS 32041 WITH SCORE 32124.77
AT ITER 5829 NEW BEST:: SOT 202774 SOS 83742 HAS SOPS 64994 HAS SOUS 33386 HAS SOUPS 31934 WITH SCORE 32017.742
AT ITER 5832 NEW BEST:: SOT 202774 SOS 83850 HAS SOPS 65008 HAS SOUS 33424 HAS SOUPS 31925 WITH SCORE 32008.85
AT ITER 5838 NEW BEST:: SOT 202750 SOS 83826 HAS SOPS 64960 HAS SOUS 33387 HAS SOUPS 31888 WITH SCORE 31971.826
AT ITER 5842 NEW BEST:: SOT 202750 SOS 83772 HAS SOPS 64906 HAS SOUS 33387 HAS SOUPS 31888 WITH SCORE 31971.772
AT ITER 5905 NEW BEST:: SOT 202750 SOS 83736 HAS SOPS 64870 HAS SOUS 33369 HAS SOUPS 31870 WITH SCORE 31953.736
AT ITER 5907 NEW BEST:: SOT 202750 SOS 83624 HAS SOPS 64758 HAS SOUS 33367 HAS SOUPS 31868 WITH SCORE 31951.624
AT ITER 5908 NEW BEST:: SOT 202750 SOS 83600 HAS SOPS 64734 HAS SOUS 33348 HAS SOUPS 31849 WITH SCORE 31932.6
AT ITER 5946 NEW BEST:: SOT 202790 SOS 83640 HAS SOPS 64744 HAS SOUS 33320 HAS SOUPS 31821 WITH SCORE 31904.64
AT ITER 5953 NEW BEST:: SOT 202779 SOS 83629 HAS SOPS 64733 HAS SOUS 33309 HAS SOUPS 31810 WITH SCORE 31893.629
AT ITER 5988 NEW BEST:: SOT 202779 SOS 83551 HAS SOPS 64655 HAS SOUS 33279 HAS SOUPS 31780 WITH SCORE 31863.551
AT ITER 6001 NEW BEST:: SOT 202683 SOS 83455 HAS SOPS 64535 HAS SOUS 33273 HAS SOUPS 31762 WITH SCORE 31845.455
AT ITER 6017 NEW BEST:: SOT 202683 SOS 83397 HAS SOPS 64477 HAS SOUS 33270 HAS SOUPS 31759 WITH SCORE 31842.397
AT ITER 6019 NEW BEST:: SOT 202700 SOS 83397 HAS SOPS 64452 HAS SOUS 33244 HAS SOUPS 31733 WITH SCORE 31816.397
AT ITER 6042 NEW BEST:: SOT 202700 SOS 83393 HAS SOPS 64448 HAS SOUS 33244 HAS SOUPS 31733 WITH SCORE 31816.393
AT ITER 6057 NEW BEST:: SOT 202688 SOS 83381 HAS SOPS 64428 HAS SOUS 33230 HAS SOUPS 31719 WITH SCORE 31802.381
AT ITER 6060 NEW BEST:: SOT 202688 SOS 83363 HAS SOPS 64410 HAS SOUS 33221 HAS SOUPS 31710 WITH SCORE 31793.363
AT ITER 6080 NEW BEST:: SOT 202688 SOS 83349 HAS SOPS 64324 HAS SOUS 33250 HAS SOUPS 31703 WITH SCORE 31786.349
AT ITER 6105 NEW BEST:: SOT 202686 SOS 83347 HAS SOPS 64320 HAS SOUS 33248 HAS SOUPS 31701 WITH SCORE 31784.347
AT ITER 6122 NEW BEST:: SOT 202686 SOS 83393 HAS SOPS 64366 HAS SOUS 33221 HAS SOUPS 31674 WITH SCORE 31757.393
AT ITER 6128 NEW BEST:: SOT 202470 SOS 83177 HAS SOPS 64056 HAS SOUS 33147 HAS SOUPS 31600 WITH SCORE 31683.177
AT ITER 6133 NEW BEST:: SOT 202470 SOS 83177 HAS SOPS 64056 HAS SOUS 33145 HAS SOUPS 31598 WITH SCORE 31681.177
AT ITER 6155 NEW BEST:: SOT 202470 SOS 83177 HAS SOPS 64026 HAS SOUS 33130 HAS SOUPS 31583 WITH SCORE 31666.177
AT ITER 6192 NEW BEST:: SOT 202470 SOS 83279 HAS SOPS 64128 HAS SOUS 33121 HAS SOUPS 31574 WITH SCORE 31657.279
AT ITER 6214 NEW BEST:: SOT 202470 SOS 83279 HAS SOPS 64128 HAS SOUS 33100 HAS SOUPS 31553 WITH SCORE 31636.279
AT ITER 6270 NEW BEST:: SOT 202470 SOS 83075 HAS SOPS 63924 HAS SOUS 33062 HAS SOUPS 31515 WITH SCORE 31598.075
AT ITER 6304 NEW BEST:: SOT 202470 SOS 83005 HAS SOPS 63854 HAS SOUS 33049 HAS SOUPS 31502 WITH SCORE 31585.005
AT ITER 6315 NEW BEST:: SOT 202452 SOS 82979 HAS SOPS 63810 HAS SOUS 32992 HAS SOUPS 31445 WITH SCORE 31527.979
AT ITER 6318 NEW BEST:: SOT 202452 SOS 82963 HAS SOPS 63794 HAS SOUS 32984 HAS SOUPS 31437 WITH SCORE 31519.963
AT ITER 6334 NEW BEST:: SOT 202452 SOS 82947 HAS SOPS 63778 HAS SOUS 32976 HAS SOUPS 31429 WITH SCORE 31511.947
AT ITER 6346 NEW BEST:: SOT 202444 SOS 82939 HAS SOPS 63778 HAS SOUS 32976 HAS SOUPS 31429 WITH SCORE 31511.939
AT ITER 6367 NEW BEST:: SOT 202444 SOS 82901 HAS SOPS 63740 HAS SOUS 32965 HAS SOUPS 31418 WITH SCORE 31500.901
AT ITER 6379 NEW BEST:: SOT 202444 SOS 82873 HAS SOPS 63740 HAS SOUS 32937 HAS SOUPS 31404 WITH SCORE 31486.873
AT ITER 6408 NEW BEST:: SOT 202444 SOS 82853 HAS SOPS 63720 HAS SOUS 32924 HAS SOUPS 31391 WITH SCORE 31473.853
AT ITER 6414 NEW BEST:: SOT 202444 SOS 82797 HAS SOPS 63664 HAS SOUS 32924 HAS SOUPS 31391 WITH SCORE 31473.797
AT ITER 6421 NEW BEST:: SOT 202508 SOS 82861 HAS SOPS 63330 HAS SOUS 32914 HAS SOUPS 31381 WITH SCORE 31463.861
AT ITER 6471 NEW BEST:: SOT 202508 SOS 82851 HAS SOPS 63370 HAS SOUS 32884 HAS SOUPS 31376 WITH SCORE 31458.851
AT ITER 6475 NEW BEST:: SOT 202508 SOS 82813 HAS SOPS 63332 HAS SOUS 32884 HAS SOUPS 31376 WITH SCORE 31458.813
AT ITER 6482 NEW BEST:: SOT 202508 SOS 82783 HAS SOPS 63302 HAS SOUS 32879 HAS SOUPS 31371 WITH SCORE 31453.783
AT ITER 6504 NEW BEST:: SOT 202508 SOS 82771 HAS SOPS 63290 HAS SOUS 32879 HAS SOUPS 31371 WITH SCORE 31453.771
AT ITER 6506 NEW BEST:: SOT 202508 SOS 82693 HAS SOPS 63212 HAS SOUS 32879 HAS SOUPS 31371 WITH SCORE 31453.693
AT ITER 6566 NEW BEST:: SOT 202508 SOS 82693 HAS SOPS 63190 HAS SOUS 32879 HAS SOUPS 31360 WITH SCORE 31442.693
AT ITER 6578 NEW BEST:: SOT 202508 SOS 82715 HAS SOPS 63212 HAS SOUS 32875 HAS SOUPS 31356 WITH SCORE 31438.715
AT ITER 6599 NEW BEST:: SOT 202508 SOS 82703 HAS SOPS 63200 HAS SOUS 32869 HAS SOUPS 31350 WITH SCORE 31432.703
AT ITER 6600 NEW BEST:: SOT 202508 SOS 82695 HAS SOPS 63192 HAS SOUS 32865 HAS SOUPS 31346 WITH SCORE 31428.695
AT ITER 6639 NEW BEST:: SOT 202508 SOS 82615 HAS SOPS 63112 HAS SOUS 32851 HAS SOUPS 31332 WITH SCORE 31414.615
AT ITER 6657 NEW BEST:: SOT 202508 SOS 82743 HAS SOPS 63240 HAS SOUS 32847 HAS SOUPS 31328 WITH SCORE 31410.743
AT ITER 6707 NEW BEST:: SOT 202508 SOS 82739 HAS SOPS 63236 HAS SOUS 32847 HAS SOUPS 31328 WITH SCORE 31410.739
AT ITER 6724 NEW BEST:: SOT 202465 SOS 82667 HAS SOPS 63143 HAS SOUS 32844 HAS SOUPS 31325 WITH SCORE 31407.667
AT ITER 6776 NEW BEST:: SOT 202443 SOS 82645 HAS SOPS 63129 HAS SOUS 32828 HAS SOUPS 31309 WITH SCORE 31391.645
AT ITER 6792 NEW BEST:: SOT 202443 SOS 82615 HAS SOPS 63099 HAS SOUS 32828 HAS SOUPS 31309 WITH SCORE 31391.615
AT ITER 6800 NEW BEST:: SOT 202443 SOS 82561 HAS SOPS 63045 HAS SOUS 32825 HAS SOUPS 31306 WITH SCORE 31388.561
AT ITER 6828 NEW BEST:: SOT 202443 SOS 82561 HAS SOPS 63045 HAS SOUS 32823 HAS SOUPS 31304 WITH SCORE 31386.561
AT ITER 6887 NEW BEST:: SOT 202443 SOS 82475 HAS SOPS 62959 HAS SOUS 32806 HAS SOUPS 31287 WITH SCORE 31369.475
AT ITER 6888 NEW BEST:: SOT 202399 SOS 82431 HAS SOPS 62913 HAS SOUS 32762 HAS SOUPS 31243 WITH SCORE 31325.431
AT ITER 6890 NEW BEST:: SOT 202399 SOS 82415 HAS SOPS 62897 HAS SOUS 32762 HAS SOUPS 31243 WITH SCORE 31325.415
AT ITER 6902 NEW BEST:: SOT 202399 SOS 82415 HAS SOPS 62887 HAS SOUS 32762 HAS SOUPS 31238 WITH SCORE 31320.415
AT ITER 6903 NEW BEST:: SOT 202399 SOS 82391 HAS SOPS 62887 HAS SOUS 32738 HAS SOUPS 31226 WITH SCORE 31308.391
AT ITER 6942 NEW BEST:: SOT 202397 SOS 82389 HAS SOPS 62887 HAS SOUS 32723 HAS SOUPS 31211 WITH SCORE 31293.389
AT ITER 6969 NEW BEST:: SOT 202405 SOS 82397 HAS SOPS 62913 HAS SOUS 32721 HAS SOUPS 31209 WITH SCORE 31291.397
AT ITER 6970 NEW BEST:: SOT 203953 SOS 82358 HAS SOPS 64447 HAS SOUS 32216 HAS SOUPS 30715 WITH SCORE 30797.358
AT ITER 6984 NEW BEST:: SOT 203953 SOS 82410 HAS SOPS 64499 HAS SOUS 32214 HAS SOUPS 30713 WITH SCORE 30795.41
AT ITER 6999 NEW BEST:: SOT 203953 SOS 82406 HAS SOPS 64495 HAS SOUS 32212 HAS SOUPS 30711 WITH SCORE 30793.406
AT ITER 7004 NEW BEST:: SOT 203923 SOS 82376 HAS SOPS 64445 HAS SOUS 32200 HAS SOUPS 30699 WITH SCORE 30781.376
AT ITER 7027 NEW BEST:: SOT 203923 SOS 82366 HAS SOPS 64467 HAS SOUS 32179 HAS SOUPS 30694 WITH SCORE 30776.366
AT ITER 7045 NEW BEST:: SOT 203923 SOS 82362 HAS SOPS 64463 HAS SOUS 32177 HAS SOUPS 30692 WITH SCORE 30774.362
AT ITER 7046 NEW BEST:: SOT 203881 SOS 82320 HAS SOPS 64403 HAS SOUS 32141 HAS SOUPS 30656 WITH SCORE 30738.32
AT ITER 7057 NEW BEST:: SOT 203881 SOS 82298 HAS SOPS 64265 HAS SOUS 32196 HAS SOUPS 30653 WITH SCORE 30735.298
AT ITER 7076 NEW BEST:: SOT 203881 SOS 82308 HAS SOPS 64313 HAS SOUS 32171 HAS SOUPS 30651 WITH SCORE 30733.308
AT ITER 7088 NEW BEST:: SOT 203765 SOS 82234 HAS SOPS 64257 HAS SOUS 32142 HAS SOUPS 30622 WITH SCORE 30704.234
AT ITER 7098 NEW BEST:: SOT 203765 SOS 82230 HAS SOPS 64253 HAS SOUS 32140 HAS SOUPS 30620 WITH SCORE 30702.23
AT ITER 7142 NEW BEST:: SOT 203743 SOS 82208 HAS SOPS 64239 HAS SOUS 32118 HAS SOUPS 30606 WITH SCORE 30688.208
AT ITER 7143 NEW BEST:: SOT 203743 SOS 82208 HAS SOPS 64231 HAS SOUS 32092 HAS SOUPS 30580 WITH SCORE 30662.208
AT ITER 7153 NEW BEST:: SOT 203737 SOS 82202 HAS SOPS 64225 HAS SOUS 32080 HAS SOUPS 30568 WITH SCORE 30650.202
AT ITER 7186 NEW BEST:: SOT 203737 SOS 82194 HAS SOPS 64217 HAS SOUS 32080 HAS SOUPS 30568 WITH SCORE 30650.194
AT ITER 7199 NEW BEST:: SOT 203854 SOS 82242 HAS SOPS 64292 HAS SOUS 31912 HAS SOUPS 30409 WITH SCORE 30491.242
AT ITER 7227 NEW BEST:: SOT 203854 SOS 82248 HAS SOPS 64298 HAS SOUS 31906 HAS SOUPS 30403 WITH SCORE 30485.248
AT ITER 7276 NEW BEST:: SOT 203796 SOS 82192 HAS SOPS 64250 HAS SOUS 31872 HAS SOUPS 30369 WITH SCORE 30451.192
AT ITER 7298 NEW BEST:: SOT 203796 SOS 82185 HAS SOPS 64257 HAS SOUS 31865 HAS SOUPS 30369 WITH SCORE 30451.185
AT ITER 7375 NEW BEST:: SOT 203796 SOS 82129 HAS SOPS 64201 HAS SOUS 31837 HAS SOUPS 30341 WITH SCORE 30423.129
AT ITER 7391 NEW BEST:: SOT 203796 SOS 82065 HAS SOPS 64137 HAS SOUS 31821 HAS SOUPS 30325 WITH SCORE 30407.065
AT ITER 7399 NEW BEST:: SOT 203796 SOS 82037 HAS SOPS 64137 HAS SOUS 31807 HAS SOUPS 30325 WITH SCORE 30407.037
AT ITER 7409 NEW BEST:: SOT 203796 SOS 81963 HAS SOPS 64063 HAS SOUS 31787 HAS SOUPS 30305 WITH SCORE 30386.963
AT ITER 7420 NEW BEST:: SOT 203790 SOS 81957 HAS SOPS 64045 HAS SOUS 31769 HAS SOUPS 30287 WITH SCORE 30368.957
AT ITER 7446 NEW BEST:: SOT 203790 SOS 81925 HAS SOPS 64013 HAS SOUS 31769 HAS SOUPS 30287 WITH SCORE 30368.925
AT ITER 7505 NEW BEST:: SOT 203790 SOS 81931 HAS SOPS 64019 HAS SOUS 31766 HAS SOUPS 30284 WITH SCORE 30365.931
AT ITER 7515 NEW BEST:: SOT 203790 SOS 81910 HAS SOPS 63998 HAS SOUS 31759 HAS SOUPS 30277 WITH SCORE 30358.91
AT ITER 7563 NEW BEST:: SOT 203788 SOS 81908 HAS SOPS 63996 HAS SOUS 31755 HAS SOUPS 30273 WITH SCORE 30354.908
AT ITER 7620 NEW BEST:: SOT 203876 SOS 81996 HAS SOPS 63948 HAS SOUS 31707 HAS SOUPS 30225 WITH SCORE 30306.996
AT ITER 7621 NEW BEST:: SOT 203876 SOS 81936 HAS SOPS 63948 HAS SOUS 31677 HAS SOUPS 30225 WITH SCORE 30306.936
AT ITER 7632 NEW BEST:: SOT 203788 SOS 81862 HAS SOPS 63786 HAS SOUS 31497 HAS SOUPS 30045 WITH SCORE 30126.862
AT ITER 7677 NEW BEST:: SOT 203775 SOS 81818 HAS SOPS 63729 HAS SOUS 31488 HAS SOUPS 30036 WITH SCORE 30117.818
AT ITER 7693 NEW BEST:: SOT 203775 SOS 81858 HAS SOPS 63769 HAS SOUS 31485 HAS SOUPS 30033 WITH SCORE 30114.858
AT ITER 7729 NEW BEST:: SOT 203775 SOS 81840 HAS SOPS 63751 HAS SOUS 31476 HAS SOUPS 30024 WITH SCORE 30105.84
AT ITER 7738 NEW BEST:: SOT 203777 SOS 81842 HAS SOPS 63755 HAS SOUS 31462 HAS SOUPS 30010 WITH SCORE 30091.842
AT ITER 7755 NEW BEST:: SOT 203777 SOS 81804 HAS SOPS 63717 HAS SOUS 31462 HAS SOUPS 30010 WITH SCORE 30091.804
AT ITER 7766 NEW BEST:: SOT 203777 SOS 81796 HAS SOPS 63709 HAS SOUS 31458 HAS SOUPS 30006 WITH SCORE 30087.796
AT ITER 7770 NEW BEST:: SOT 203777 SOS 81780 HAS SOPS 63701 HAS SOUS 31450 HAS SOUPS 30002 WITH SCORE 30083.78
AT ITER 7792 NEW BEST:: SOT 203777 SOS 81768 HAS SOPS 63689 HAS SOUS 31447 HAS SOUPS 29999 WITH SCORE 30080.768
AT ITER 7809 NEW BEST:: SOT 203777 SOS 81750 HAS SOPS 63671 HAS SOUS 31434 HAS SOUPS 29986 WITH SCORE 30067.75
AT ITER 7813 NEW BEST:: SOT 203777 SOS 81686 HAS SOPS 63607 HAS SOUS 31418 HAS SOUPS 29970 WITH SCORE 30051.686
AT ITER 7833 NEW BEST:: SOT 203777 SOS 81682 HAS SOPS 63603 HAS SOUS 31416 HAS SOUPS 29968 WITH SCORE 30049.682
AT ITER 7842 NEW BEST:: SOT 203777 SOS 81670 HAS SOPS 63597 HAS SOUS 31412 HAS SOUPS 29967 WITH SCORE 30048.67
AT ITER 7857 NEW BEST:: SOT 203759 SOS 81652 HAS SOPS 63576 HAS SOUS 31411 HAS SOUPS 29966 WITH SCORE 30047.652
AT ITER 7875 NEW BEST:: SOT 203757 SOS 81650 HAS SOPS 63564 HAS SOUS 31399 HAS SOUPS 29954 WITH SCORE 30035.65
AT ITER 7916 NEW BEST:: SOT 203757 SOS 81746 HAS SOPS 63660 HAS SOUS 31380 HAS SOUPS 29935 WITH SCORE 30016.746
AT ITER 7941 NEW BEST:: SOT 203757 SOS 81728 HAS SOPS 63642 HAS SOUS 31369 HAS SOUPS 29924 WITH SCORE 30005.728
AT ITER 7950 NEW BEST:: SOT 203785 SOS 81756 HAS SOPS 63695 HAS SOUS 31362 HAS SOUPS 29917 WITH SCORE 29998.756
AT ITER 8023 NEW BEST:: SOT 203785 SOS 81652 HAS SOPS 63591 HAS SOUS 31352 HAS SOUPS 29907 WITH SCORE 29988.652
AT ITER 8040 NEW BEST:: SOT 203785 SOS 81694 HAS SOPS 63633 HAS SOUS 31346 HAS SOUPS 29901 WITH SCORE 29982.694
AT ITER 8051 NEW BEST:: SOT 203785 SOS 81670 HAS SOPS 63609 HAS SOUS 31334 HAS SOUPS 29889 WITH SCORE 29970.67
AT ITER 8067 NEW BEST:: SOT 203785 SOS 81652 HAS SOPS 63685 HAS SOUS 31258 HAS SOUPS 29860 WITH SCORE 29941.652
AT ITER 8101 NEW BEST:: SOT 203785 SOS 81650 HAS SOPS 63683 HAS SOUS 31256 HAS SOUPS 29858 WITH SCORE 29939.65
AT ITER 8116 NEW BEST:: SOT 203785 SOS 81618 HAS SOPS 63651 HAS SOUS 31252 HAS SOUPS 29854 WITH SCORE 29935.618
AT ITER 8129 NEW BEST:: SOT 203773 SOS 81606 HAS SOPS 63699 HAS SOUS 31226 HAS SOUPS 29828 WITH SCORE 29909.606
AT ITER 8135 NEW BEST:: SOT 203773 SOS 81600 HAS SOPS 63693 HAS SOUS 31212 HAS SOUPS 29814 WITH SCORE 29895.6
AT ITER 8152 NEW BEST:: SOT 203775 SOS 81602 HAS SOPS 63687 HAS SOUS 31210 HAS SOUPS 29812 WITH SCORE 29893.602
AT ITER 8169 NEW BEST:: SOT 203775 SOS 81602 HAS SOPS 63687 HAS SOUS 31202 HAS SOUPS 29804 WITH SCORE 29885.602
AT ITER 8237 NEW BEST:: SOT 203447 SOS 81274 HAS SOPS 63325 HAS SOUS 30806 HAS SOUPS 29408 WITH SCORE 29489.274
AT ITER 8242 NEW BEST:: SOT 203443 SOS 81250 HAS SOPS 63297 HAS SOUS 30794 HAS SOUPS 29396 WITH SCORE 29477.25
AT ITER 8256 NEW BEST:: SOT 203443 SOS 81168 HAS SOPS 63207 HAS SOUS 30795 HAS SOUPS 29393 WITH SCORE 29474.168
AT ITER 8287 NEW BEST:: SOT 203443 SOS 81168 HAS SOPS 63207 HAS SOUS 30793 HAS SOUPS 29391 WITH SCORE 29472.168
AT ITER 8301 NEW BEST:: SOT 203443 SOS 81348 HAS SOPS 63387 HAS SOUS 30791 HAS SOUPS 29389 WITH SCORE 29470.348
AT ITER 8320 NEW BEST:: SOT 203443 SOS 81344 HAS SOPS 63383 HAS SOUS 30790 HAS SOUPS 29388 WITH SCORE 29469.344
AT ITER 8360 NEW BEST:: SOT 203444 SOS 81345 HAS SOPS 63377 HAS SOUS 30780 HAS SOUPS 29378 WITH SCORE 29459.345
AT ITER 8423 NEW BEST:: SOT 203444 SOS 81343 HAS SOPS 63375 HAS SOUS 30779 HAS SOUPS 29377 WITH SCORE 29458.343
AT ITER 8441 NEW BEST:: SOT 203444 SOS 81303 HAS SOPS 63335 HAS SOUS 30779 HAS SOUPS 29377 WITH SCORE 29458.303
AT ITER 8484 NEW BEST:: SOT 203430 SOS 81289 HAS SOPS 63315 HAS SOUS 30753 HAS SOUPS 29351 WITH SCORE 29432.289
AT ITER 8500 NEW BEST:: SOT 203430 SOS 81283 HAS SOPS 63309 HAS SOUS 30753 HAS SOUPS 29351 WITH SCORE 29432.283
AT ITER 8512 NEW BEST:: SOT 203430 SOS 81277 HAS SOPS 63303 HAS SOUS 30752 HAS SOUPS 29350 WITH SCORE 29431.277
AT ITER 8541 NEW BEST:: SOT 203426 SOS 81273 HAS SOPS 63295 HAS SOUS 30752 HAS SOUPS 29350 WITH SCORE 29431.273
AT ITER 8567 NEW BEST:: SOT 203426 SOS 81267 HAS SOPS 63289 HAS SOUS 30749 HAS SOUPS 29347 WITH SCORE 29428.267
AT ITER 8570 NEW BEST:: SOT 203426 SOS 81253 HAS SOPS 63275 HAS SOUS 30742 HAS SOUPS 29340 WITH SCORE 29421.253
AT ITER 8582 NEW BEST:: SOT 203426 SOS 81241 HAS SOPS 63263 HAS SOUS 30739 HAS SOUPS 29337 WITH SCORE 29418.241
AT ITER 8591 NEW BEST:: SOT 203426 SOS 81229 HAS SOPS 63251 HAS SOUS 30738 HAS SOUPS 29336 WITH SCORE 29417.229
AT ITER 8611 NEW BEST:: SOT 203426 SOS 81141 HAS SOPS 63163 HAS SOUS 30726 HAS SOUPS 29324 WITH SCORE 29405.141
AT ITER 8641 NEW BEST:: SOT 203426 SOS 81131 HAS SOPS 63185 HAS SOUS 30705 HAS SOUPS 29319 WITH SCORE 29400.131
AT ITER 8668 NEW BEST:: SOT 203426 SOS 81129 HAS SOPS 63183 HAS SOUS 30705 HAS SOUPS 29319 WITH SCORE 29400.129
AT ITER 8687 NEW BEST:: SOT 203426 SOS 81189 HAS SOPS 63243 HAS SOUS 30660 HAS SOUPS 29274 WITH SCORE 29355.189
AT ITER 8700 NEW BEST:: SOT 203426 SOS 81165 HAS SOPS 63219 HAS SOUS 30660 HAS SOUPS 29274 WITH SCORE 29355.165
AT ITER 8709 NEW BEST:: SOT 203454 SOS 81170 HAS SOPS 63227 HAS SOUS 30657 HAS SOUPS 29271 WITH SCORE 29352.17
AT ITER 8732 NEW BEST:: SOT 203466 SOS 81182 HAS SOPS 63239 HAS SOUS 30651 HAS SOUPS 29265 WITH SCORE 29346.182
AT ITER 8737 NEW BEST:: SOT 203466 SOS 81182 HAS SOPS 63197 HAS SOUS 30643 HAS SOUPS 29257 WITH SCORE 29338.182
AT ITER 8799 NEW BEST:: SOT 203466 SOS 81166 HAS SOPS 63181 HAS SOUS 30641 HAS SOUPS 29255 WITH SCORE 29336.166
AT ITER 8804 NEW BEST:: SOT 203512 SOS 81212 HAS SOPS 63259 HAS SOUS 30621 HAS SOUPS 29235 WITH SCORE 29316.212
AT ITER 8832 NEW BEST:: SOT 203508 SOS 81208 HAS SOPS 63247 HAS SOUS 30621 HAS SOUPS 29235 WITH SCORE 29316.208
AT ITER 8864 NEW BEST:: SOT 203508 SOS 81204 HAS SOPS 63243 HAS SOUS 30617 HAS SOUPS 29231 WITH SCORE 29312.204
AT ITER 8949 NEW BEST:: SOT 203508 SOS 81176 HAS SOPS 63215 HAS SOUS 30609 HAS SOUPS 29223 WITH SCORE 29304.176
AT ITER 8953 NEW BEST:: SOT 203508 SOS 81166 HAS SOPS 63205 HAS SOUS 30609 HAS SOUPS 29223 WITH SCORE 29304.166
AT ITER 8954 NEW BEST:: SOT 203486 SOS 81144 HAS SOPS 63161 HAS SOUS 30587 HAS SOUPS 29201 WITH SCORE 29282.144
AT ITER 9003 NEW BEST:: SOT 203486 SOS 81142 HAS SOPS 63159 HAS SOUS 30586 HAS SOUPS 29200 WITH SCORE 29281.142
AT ITER 9010 NEW BEST:: SOT 203482 SOS 81124 HAS SOPS 63137 HAS SOUS 30582 HAS SOUPS 29196 WITH SCORE 29277.124
AT ITER 9048 NEW BEST:: SOT 203482 SOS 81114 HAS SOPS 63127 HAS SOUS 30582 HAS SOUPS 29196 WITH SCORE 29277.114
AT ITER 9054 NEW BEST:: SOT 203482 SOS 81100 HAS SOPS 63127 HAS SOUS 30575 HAS SOUPS 29196 WITH SCORE 29277.1
AT ITER 9064 NEW BEST:: SOT 203482 SOS 81102 HAS SOPS 63129 HAS SOUS 30566 HAS SOUPS 29187 WITH SCORE 29268.102
AT ITER 9077 NEW BEST:: SOT 203482 SOS 81106 HAS SOPS 63097 HAS SOUS 30454 HAS SOUPS 29075 WITH SCORE 29156.106
AT ITER 9094 NEW BEST:: SOT 203482 SOS 81114 HAS SOPS 63089 HAS SOUS 30458 HAS SOUPS 29071 WITH SCORE 29152.114
AT ITER 9101 NEW BEST:: SOT 203482 SOS 81078 HAS SOPS 63053 HAS SOUS 30458 HAS SOUPS 29071 WITH SCORE 29152.078
AT ITER 9127 NEW BEST:: SOT 203482 SOS 81058 HAS SOPS 63033 HAS SOUS 30453 HAS SOUPS 29066 WITH SCORE 29147.058
AT ITER 9196 NEW BEST:: SOT 203482 SOS 81036 HAS SOPS 63011 HAS SOUS 30453 HAS SOUPS 29066 WITH SCORE 29147.036
AT ITER 9212 NEW BEST:: SOT 203482 SOS 81037 HAS SOPS 63012 HAS SOUS 30452 HAS SOUPS 29065 WITH SCORE 29146.037
AT ITER 9243 NEW BEST:: SOT 203560 SOS 81085 HAS SOPS 63078 HAS SOUS 30442 HAS SOUPS 29061 WITH SCORE 29142.085
AT ITER 9285 NEW BEST:: SOT 203536 SOS 81061 HAS SOPS 63054 HAS SOUS 30436 HAS SOUPS 29055 WITH SCORE 29136.061
AT ITER 9300 NEW BEST:: SOT 203536 SOS 81071 HAS SOPS 63054 HAS SOUS 30436 HAS SOUPS 29050 WITH SCORE 29131.071
AT ITER 9374 NEW BEST:: SOT 203536 SOS 81071 HAS SOPS 63051 HAS SOUS 30431 HAS SOUPS 29047 WITH SCORE 29128.071
AT ITER 9377 NEW BEST:: SOT 203536 SOS 81065 HAS SOPS 63045 HAS SOUS 30428 HAS SOUPS 29044 WITH SCORE 29125.065
AT ITER 9402 NEW BEST:: SOT 203536 SOS 81045 HAS SOPS 63025 HAS SOUS 30418 HAS SOUPS 29034 WITH SCORE 29115.045
AT ITER 9407 NEW BEST:: SOT 203536 SOS 81039 HAS SOPS 63025 HAS SOUS 30415 HAS SOUPS 29034 WITH SCORE 29115.039
AT ITER 9461 NEW BEST:: SOT 203536 SOS 81039 HAS SOPS 63025 HAS SOUS 30411 HAS SOUPS 29030 WITH SCORE 29111.039
AT ITER 9467 NEW BEST:: SOT 203516 SOS 81019 HAS SOPS 63001 HAS SOUS 30393 HAS SOUPS 29012 WITH SCORE 29093.019
AT ITER 9469 NEW BEST:: SOT 203515 SOS 81018 HAS SOPS 62996 HAS SOUS 30390 HAS SOUPS 29009 WITH SCORE 29090.018
AT ITER 9509 NEW BEST:: SOT 203515 SOS 81011 HAS SOPS 62989 HAS SOUS 30383 HAS SOUPS 29002 WITH SCORE 29083.011
AT ITER 9528 NEW BEST:: SOT 203362 SOS 80858 HAS SOPS 62808 HAS SOUS 30208 HAS SOUPS 28827 WITH SCORE 28907.858
AT ITER 9559 NEW BEST:: SOT 203362 SOS 80528 HAS SOPS 61992 HAS SOUS 30208 HAS SOUPS 28827 WITH SCORE 28907.528
AT ITER 9589 NEW BEST:: SOT 203354 SOS 80520 HAS SOPS 61982 HAS SOUS 30208 HAS SOUPS 28827 WITH SCORE 28907.52
AT ITER 9653 NEW BEST:: SOT 202984 SOS 80428 HAS SOPS 61624 HAS SOUS 29840 HAS SOUPS 28473 WITH SCORE 28553.428
AT ITER 9656 NEW BEST:: SOT 202984 SOS 80396 HAS SOPS 61592 HAS SOUS 29824 HAS SOUPS 28457 WITH SCORE 28537.396
AT ITER 9672 NEW BEST:: SOT 202984 SOS 80396 HAS SOPS 61580 HAS SOUS 29816 HAS SOUPS 28449 WITH SCORE 28529.396
AT ITER 9673 NEW BEST:: SOT 202984 SOS 80367 HAS SOPS 61551 HAS SOUS 29809 HAS SOUPS 28442 WITH SCORE 28522.367
AT ITER 9682 NEW BEST:: SOT 202984 SOS 80350 HAS SOPS 61534 HAS SOUS 29803 HAS SOUPS 28436 WITH SCORE 28516.35
AT ITER 9686 NEW BEST:: SOT 202984 SOS 80348 HAS SOPS 61558 HAS SOUS 29789 HAS SOUPS 28435 WITH SCORE 28515.348
AT ITER 9726 NEW BEST:: SOT 202982 SOS 80346 HAS SOPS 61570 HAS SOUS 29781 HAS SOUPS 28427 WITH SCORE 28507.346
AT ITER 9776 NEW BEST:: SOT 202986 SOS 80350 HAS SOPS 61552 HAS SOUS 29777 HAS SOUPS 28425 WITH SCORE 28505.35
AT ITER 9809 NEW BEST:: SOT 202986 SOS 80344 HAS SOPS 61546 HAS SOUS 29774 HAS SOUPS 28422 WITH SCORE 28502.344
AT ITER 9814 NEW BEST:: SOT 202986 SOS 80338 HAS SOPS 61546 HAS SOUS 29771 HAS SOUPS 28422 WITH SCORE 28502.338
AT ITER 9848 NEW BEST:: SOT 202986 SOS 80338 HAS SOPS 61546 HAS SOUS 29769 HAS SOUPS 28420 WITH SCORE 28500.338
AT ITER 9921 NEW BEST:: SOT 202986 SOS 80326 HAS SOPS 61546 HAS SOUS 29763 HAS SOUPS 28420 WITH SCORE 28500.326
AT ITER 9984 NEW BEST:: SOT 202958 SOS 80298 HAS SOPS 61515 HAS SOUS 29760 HAS SOUPS 28417 WITH SCORE 28497.298
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13598588 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124832 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is FunctionPointer-PT-b128, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r171-tall-167838859000712"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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