Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r259-smll-167863534100144.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is NeoElection-COL-5, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534100144
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 7.8K Feb 26 16:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 16:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 16:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 17:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 26 17:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 16:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 16:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 89K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678686050194

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=NeoElection-COL-5
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-13 05:40:54] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-13 05:40:54] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-13 05:40:54] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-13 05:40:55] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-13 05:40:56] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1467 ms
[2023-03-13 05:40:56] [INFO ] Detected 6 constant HL places corresponding to 1500 PT places.
[2023-03-13 05:40:56] [INFO ] Imported 18 HL places and 22 HL transitions for a total of 3090 PT places and 7716.0 transition bindings in 94 ms.
[2023-03-13 05:40:56] [INFO ] Unfolded HLPN to a Petri net with 3090 places and 4024 transitions 22762 arcs in 327 ms.
[2023-03-13 05:40:56] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 2544 places and 2365 transitions.
Reduce places removed 126 places and 589 transitions.
[2023-03-13 05:40:56] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 420 places, 1070 transitions and 5859 arcs took 47 ms.
Total runtime 2451 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeoElection (COL), instance 5
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 420 places, 1070 transitions, 5859 arcs.
AT ITER 0 NEW BEST:: SOT 356411 SOS 296392 HAS SOPS 281012 HAS SOUS 174388 HAS SOUPS 172379 WITH SCORE 172675.392
AT ITER 10 NEW BEST:: SOT 356411 SOS 296211 HAS SOPS 280175 HAS SOUS 174015 HAS SOUPS 171542 WITH SCORE 171838.211
AT ITER 11 NEW BEST:: SOT 356350 SOS 295598 HAS SOPS 280180 HAS SOUS 173895 HAS SOUPS 171483 WITH SCORE 171778.598
AT ITER 13 NEW BEST:: SOT 356519 SOS 295212 HAS SOPS 279794 HAS SOUS 173851 HAS SOUPS 171439 WITH SCORE 171734.212
AT ITER 16 NEW BEST:: SOT 356519 SOS 295212 HAS SOPS 279794 HAS SOUS 173508 HAS SOUPS 171096 WITH SCORE 171391.212
AT ITER 18 NEW BEST:: SOT 356519 SOS 295154 HAS SOPS 279633 HAS SOUS 173510 HAS SOUPS 171043 WITH SCORE 171338.154
AT ITER 19 NEW BEST:: SOT 356519 SOS 295154 HAS SOPS 279633 HAS SOUS 173349 HAS SOUPS 170882 WITH SCORE 171177.154
AT ITER 20 NEW BEST:: SOT 356519 SOS 295108 HAS SOPS 276160 HAS SOUS 173609 HAS SOUPS 170538 WITH SCORE 170833.108
AT ITER 21 NEW BEST:: SOT 356519 SOS 295108 HAS SOPS 276160 HAS SOUS 173381 HAS SOUPS 170310 WITH SCORE 170605.108
AT ITER 23 NEW BEST:: SOT 356497 SOS 295086 HAS SOPS 276138 HAS SOUS 173344 HAS SOUPS 170273 WITH SCORE 170568.086
AT ITER 25 NEW BEST:: SOT 356441 SOS 295188 HAS SOPS 276264 HAS SOUS 173315 HAS SOUPS 170244 WITH SCORE 170539.188
AT ITER 26 NEW BEST:: SOT 356441 SOS 295196 HAS SOPS 276272 HAS SOUS 173299 HAS SOUPS 170228 WITH SCORE 170523.196
AT ITER 29 NEW BEST:: SOT 356441 SOS 295143 HAS SOPS 276007 HAS SOUS 173402 HAS SOUPS 170175 WITH SCORE 170470.143
AT ITER 30 NEW BEST:: SOT 356441 SOS 295143 HAS SOPS 276007 HAS SOUS 173201 HAS SOUPS 169974 WITH SCORE 170269.143
AT ITER 31 NEW BEST:: SOT 356550 SOS 295029 HAS SOPS 275893 HAS SOUS 173144 HAS SOUPS 169917 WITH SCORE 170212.029
AT ITER 32 NEW BEST:: SOT 356550 SOS 295176 HAS SOPS 276040 HAS SOUS 173101 HAS SOUPS 169874 WITH SCORE 170169.176
AT ITER 33 NEW BEST:: SOT 356550 SOS 295176 HAS SOPS 275907 HAS SOUS 172786 HAS SOUPS 169426 WITH SCORE 169721.176
AT ITER 35 NEW BEST:: SOT 356550 SOS 295176 HAS SOPS 275907 HAS SOUS 172728 HAS SOUPS 169368 WITH SCORE 169663.176
AT ITER 37 NEW BEST:: SOT 356550 SOS 295134 HAS SOPS 273596 HAS SOUS 172697 HAS SOUPS 169221 WITH SCORE 169516.134
AT ITER 39 NEW BEST:: SOT 356550 SOS 295110 HAS SOPS 273500 HAS SOUS 172601 HAS SOUPS 169125 WITH SCORE 169420.11
AT ITER 41 NEW BEST:: SOT 356550 SOS 295110 HAS SOPS 273500 HAS SOUS 172521 HAS SOUPS 169045 WITH SCORE 169340.11
AT ITER 42 NEW BEST:: SOT 356555 SOS 294985 HAS SOPS 273137 HAS SOUS 172478 HAS SOUPS 168837 WITH SCORE 169131.985
AT ITER 44 NEW BEST:: SOT 356941 SOS 295371 HAS SOPS 273523 HAS SOUS 172411 HAS SOUPS 168770 WITH SCORE 169065.371
AT ITER 45 NEW BEST:: SOT 356941 SOS 295371 HAS SOPS 273523 HAS SOUS 172258 HAS SOUPS 168617 WITH SCORE 168912.371
AT ITER 46 NEW BEST:: SOT 356941 SOS 295235 HAS SOPS 272890 HAS SOUS 172453 HAS SOUPS 168528 WITH SCORE 168823.235
AT ITER 49 NEW BEST:: SOT 356941 SOS 295006 HAS SOPS 271545 HAS SOUS 172386 HAS SOUPS 168479 WITH SCORE 168774.006
AT ITER 51 NEW BEST:: SOT 356941 SOS 294965 HAS SOPS 267084 HAS SOUS 171800 HAS SOUPS 167363 WITH SCORE 167657.965
AT ITER 55 NEW BEST:: SOT 356941 SOS 295002 HAS SOPS 267121 HAS SOUS 171459 HAS SOUPS 167022 WITH SCORE 167317.002
AT ITER 57 NEW BEST:: SOT 356941 SOS 293936 HAS SOPS 266286 HAS SOUS 171378 HAS SOUPS 167001 WITH SCORE 167294.936
AT ITER 58 NEW BEST:: SOT 356941 SOS 293816 HAS SOPS 265904 HAS SOUS 171170 HAS SOUPS 166799 WITH SCORE 167092.816
AT ITER 59 NEW BEST:: SOT 356941 SOS 293657 HAS SOPS 265577 HAS SOUS 170968 HAS SOUPS 166472 WITH SCORE 166765.657
AT ITER 61 NEW BEST:: SOT 356941 SOS 293606 HAS SOPS 265271 HAS SOUS 170662 HAS SOUPS 166166 WITH SCORE 166459.606
AT ITER 63 NEW BEST:: SOT 356759 SOS 292884 HAS SOPS 265551 HAS SOUS 169732 HAS SOUPS 165418 WITH SCORE 165710.884
AT ITER 64 NEW BEST:: SOT 356759 SOS 292792 HAS SOPS 265459 HAS SOUS 169640 HAS SOUPS 165326 WITH SCORE 165618.792
AT ITER 69 NEW BEST:: SOT 356759 SOS 288725 HAS SOPS 261808 HAS SOUS 169139 HAS SOUPS 164959 WITH SCORE 165247.725
AT ITER 72 NEW BEST:: SOT 356759 SOS 288651 HAS SOPS 261646 HAS SOUS 169155 HAS SOUPS 164950 WITH SCORE 165238.651
AT ITER 74 NEW BEST:: SOT 356759 SOS 288651 HAS SOPS 261646 HAS SOUS 169086 HAS SOUPS 164881 WITH SCORE 165169.651
AT ITER 76 NEW BEST:: SOT 356759 SOS 287788 HAS SOPS 256919 HAS SOUS 168331 HAS SOUPS 163667 WITH SCORE 163954.788
AT ITER 78 NEW BEST:: SOT 356759 SOS 287788 HAS SOPS 256919 HAS SOUS 167983 HAS SOUPS 163319 WITH SCORE 163606.788
AT ITER 82 NEW BEST:: SOT 356598 SOS 287445 HAS SOPS 256321 HAS SOUS 167385 HAS SOUPS 162721 WITH SCORE 163008.445
AT ITER 84 NEW BEST:: SOT 356455 SOS 287302 HAS SOPS 256321 HAS SOUS 167377 HAS SOUPS 162721 WITH SCORE 163008.302
AT ITER 87 NEW BEST:: SOT 356455 SOS 287302 HAS SOPS 256321 HAS SOUS 166980 HAS SOUPS 162324 WITH SCORE 162611.302
AT ITER 97 NEW BEST:: SOT 356455 SOS 287274 HAS SOPS 256251 HAS SOUS 166910 HAS SOUPS 162254 WITH SCORE 162541.274
AT ITER 98 NEW BEST:: SOT 356455 SOS 287111 HAS SOPS 255342 HAS SOUS 166327 HAS SOUPS 161345 WITH SCORE 161632.111
AT ITER 100 NEW BEST:: SOT 356455 SOS 287111 HAS SOPS 255342 HAS SOUS 166285 HAS SOUPS 161303 WITH SCORE 161590.111
AT ITER 103 NEW BEST:: SOT 356455 SOS 287097 HAS SOPS 255328 HAS SOUS 166271 HAS SOUPS 161289 WITH SCORE 161576.097
AT ITER 109 NEW BEST:: SOT 356455 SOS 287122 HAS SOPS 255353 HAS SOUS 166235 HAS SOUPS 161253 WITH SCORE 161540.122
AT ITER 110 NEW BEST:: SOT 356455 SOS 287000 HAS SOPS 255178 HAS SOUS 165572 HAS SOUPS 160590 WITH SCORE 160877.0
AT ITER 111 NEW BEST:: SOT 356455 SOS 287000 HAS SOPS 255178 HAS SOUS 165473 HAS SOUPS 160491 WITH SCORE 160778.0
AT ITER 114 NEW BEST:: SOT 356455 SOS 287000 HAS SOPS 255178 HAS SOUS 165306 HAS SOUPS 160324 WITH SCORE 160611.0
AT ITER 118 NEW BEST:: SOT 356455 SOS 287072 HAS SOPS 255053 HAS SOUS 165215 HAS SOUPS 160199 WITH SCORE 160486.072
AT ITER 121 NEW BEST:: SOT 356455 SOS 287153 HAS SOPS 255026 HAS SOUS 165107 HAS SOUPS 160091 WITH SCORE 160378.153
AT ITER 123 NEW BEST:: SOT 356455 SOS 287173 HAS SOPS 254484 HAS SOUS 164903 HAS SOUPS 159549 WITH SCORE 159836.173
AT ITER 129 NEW BEST:: SOT 356451 SOS 287169 HAS SOPS 254480 HAS SOUS 164903 HAS SOUPS 159549 WITH SCORE 159836.169
AT ITER 131 NEW BEST:: SOT 356451 SOS 284762 HAS SOPS 253646 HAS SOUS 164719 HAS SOUPS 159445 WITH SCORE 159729.762
AT ITER 136 NEW BEST:: SOT 356451 SOS 284762 HAS SOPS 253646 HAS SOUS 164281 HAS SOUPS 159007 WITH SCORE 159291.762
AT ITER 137 NEW BEST:: SOT 356451 SOS 284762 HAS SOPS 253477 HAS SOUS 164112 HAS SOUPS 158838 WITH SCORE 159122.762
AT ITER 139 NEW BEST:: SOT 356451 SOS 284748 HAS SOPS 253442 HAS SOUS 164077 HAS SOUPS 158803 WITH SCORE 159087.748
AT ITER 144 NEW BEST:: SOT 356451 SOS 284748 HAS SOPS 253406 HAS SOUS 163924 HAS SOUPS 158614 WITH SCORE 158898.748
AT ITER 149 NEW BEST:: SOT 356451 SOS 284737 HAS SOPS 253395 HAS SOUS 163913 HAS SOUPS 158603 WITH SCORE 158887.737
AT ITER 152 NEW BEST:: SOT 356451 SOS 284737 HAS SOPS 253369 HAS SOUS 163576 HAS SOUPS 158266 WITH SCORE 158550.737
AT ITER 153 NEW BEST:: SOT 356451 SOS 284701 HAS SOPS 250401 HAS SOUS 163223 HAS SOUPS 157913 WITH SCORE 158197.701
AT ITER 155 NEW BEST:: SOT 356451 SOS 284684 HAS SOPS 250386 HAS SOUS 163126 HAS SOUPS 157816 WITH SCORE 158100.684
AT ITER 159 NEW BEST:: SOT 356882 SOS 285093 HAS SOPS 250661 HAS SOUS 162589 HAS SOUPS 157279 WITH SCORE 157564.093
AT ITER 161 NEW BEST:: SOT 356882 SOS 285093 HAS SOPS 250661 HAS SOUS 162564 HAS SOUPS 157254 WITH SCORE 157539.093
AT ITER 162 NEW BEST:: SOT 356758 SOS 284473 HAS SOPS 250041 HAS SOUS 162316 HAS SOUPS 157006 WITH SCORE 157290.473
AT ITER 164 NEW BEST:: SOT 356758 SOS 284473 HAS SOPS 249989 HAS SOUS 162056 HAS SOUPS 156746 WITH SCORE 157030.473
AT ITER 166 NEW BEST:: SOT 356758 SOS 284581 HAS SOPS 249998 HAS SOUS 161957 HAS SOUPS 156647 WITH SCORE 156931.581
AT ITER 168 NEW BEST:: SOT 356758 SOS 284581 HAS SOPS 249961 HAS SOUS 161809 HAS SOUPS 156462 WITH SCORE 156746.581
AT ITER 171 NEW BEST:: SOT 356758 SOS 284581 HAS SOPS 249893 HAS SOUS 161761 HAS SOUPS 156394 WITH SCORE 156678.581
AT ITER 177 NEW BEST:: SOT 356758 SOS 284809 HAS SOPS 250121 HAS SOUS 161659 HAS SOUPS 156292 WITH SCORE 156576.809
AT ITER 179 NEW BEST:: SOT 356758 SOS 284840 HAS SOPS 250121 HAS SOUS 161597 HAS SOUPS 156199 WITH SCORE 156483.84
AT ITER 189 NEW BEST:: SOT 356758 SOS 284840 HAS SOPS 250121 HAS SOUS 161573 HAS SOUPS 156175 WITH SCORE 156459.84
AT ITER 200 NEW BEST:: SOT 356758 SOS 284450 HAS SOPS 249731 HAS SOUS 161417 HAS SOUPS 156019 WITH SCORE 156303.45
AT ITER 211 NEW BEST:: SOT 356758 SOS 284473 HAS SOPS 249777 HAS SOUS 161371 HAS SOUPS 155996 WITH SCORE 156280.473
AT ITER 213 NEW BEST:: SOT 356758 SOS 281106 HAS SOPS 247981 HAS SOUS 159709 HAS SOUPS 154545 WITH SCORE 154826.106
AT ITER 216 NEW BEST:: SOT 356758 SOS 281059 HAS SOPS 247934 HAS SOUS 159662 HAS SOUPS 154498 WITH SCORE 154779.059
AT ITER 218 NEW BEST:: SOT 356758 SOS 280992 HAS SOPS 247632 HAS SOUS 159462 HAS SOUPS 154298 WITH SCORE 154578.992
AT ITER 227 NEW BEST:: SOT 356745 SOS 280979 HAS SOPS 247619 HAS SOUS 159410 HAS SOUPS 154246 WITH SCORE 154526.979
AT ITER 230 NEW BEST:: SOT 357279 SOS 281513 HAS SOPS 247375 HAS SOUS 159182 HAS SOUPS 154002 WITH SCORE 154283.513
AT ITER 235 NEW BEST:: SOT 357279 SOS 281513 HAS SOPS 247375 HAS SOUS 159000 HAS SOUPS 153820 WITH SCORE 154101.513
AT ITER 236 NEW BEST:: SOT 357279 SOS 281513 HAS SOPS 247375 HAS SOUS 158946 HAS SOUPS 153766 WITH SCORE 154047.513
AT ITER 237 NEW BEST:: SOT 357358 SOS 282405 HAS SOPS 248267 HAS SOUS 158683 HAS SOUPS 153503 WITH SCORE 153785.405
AT ITER 239 NEW BEST:: SOT 357329 SOS 282376 HAS SOPS 248238 HAS SOUS 158567 HAS SOUPS 153387 WITH SCORE 153669.376
AT ITER 244 NEW BEST:: SOT 357113 SOS 282508 HAS SOPS 247965 HAS SOUS 158184 HAS SOUPS 152950 WITH SCORE 153232.508
AT ITER 246 NEW BEST:: SOT 357113 SOS 282508 HAS SOPS 247968 HAS SOUS 158178 HAS SOUPS 152947 WITH SCORE 153229.508
AT ITER 248 NEW BEST:: SOT 357113 SOS 282656 HAS SOPS 248042 HAS SOUS 158141 HAS SOUPS 152910 WITH SCORE 153192.656
AT ITER 251 NEW BEST:: SOT 357113 SOS 282656 HAS SOPS 248018 HAS SOUS 157622 HAS SOUPS 152391 WITH SCORE 152673.656
AT ITER 252 NEW BEST:: SOT 357113 SOS 282632 HAS SOPS 247994 HAS SOUS 157616 HAS SOUPS 152385 WITH SCORE 152667.632
AT ITER 260 NEW BEST:: SOT 357113 SOS 282669 HAS SOPS 248031 HAS SOUS 157527 HAS SOUPS 152296 WITH SCORE 152578.669
AT ITER 261 NEW BEST:: SOT 357247 SOS 281851 HAS SOPS 247213 HAS SOUS 157501 HAS SOUPS 152270 WITH SCORE 152551.851
AT ITER 262 NEW BEST:: SOT 358246 SOS 282470 HAS SOPS 244192 HAS SOUS 157522 HAS SOUPS 152101 WITH SCORE 152383.47
AT ITER 264 NEW BEST:: SOT 358246 SOS 282433 HAS SOPS 244118 HAS SOUS 157485 HAS SOUPS 152064 WITH SCORE 152346.433
AT ITER 266 NEW BEST:: SOT 358246 SOS 282433 HAS SOPS 244108 HAS SOUS 157455 HAS SOUPS 152024 WITH SCORE 152306.433
AT ITER 269 NEW BEST:: SOT 358246 SOS 282433 HAS SOPS 243911 HAS SOUS 157315 HAS SOUPS 151827 WITH SCORE 152109.433
AT ITER 271 NEW BEST:: SOT 358246 SOS 278361 HAS SOPS 245827 HAS SOUS 156237 HAS SOUPS 151034 WITH SCORE 151312.361
AT ITER 273 NEW BEST:: SOT 358246 SOS 278453 HAS SOPS 245919 HAS SOUS 155705 HAS SOUPS 150502 WITH SCORE 150780.453
AT ITER 277 NEW BEST:: SOT 358246 SOS 278517 HAS SOPS 245877 HAS SOUS 155471 HAS SOUPS 150268 WITH SCORE 150546.517
AT ITER 282 NEW BEST:: SOT 358246 SOS 278451 HAS SOPS 245679 HAS SOUS 155282 HAS SOUPS 150070 WITH SCORE 150348.451
AT ITER 287 NEW BEST:: SOT 358246 SOS 278197 HAS SOPS 245425 HAS SOUS 155028 HAS SOUPS 149816 WITH SCORE 150094.197
AT ITER 297 NEW BEST:: SOT 358246 SOS 278380 HAS SOPS 244910 HAS SOUS 154773 HAS SOUPS 149386 WITH SCORE 149664.38
AT ITER 301 NEW BEST:: SOT 358246 SOS 278557 HAS SOPS 244965 HAS SOUS 154269 HAS SOUPS 148807 WITH SCORE 149085.557
AT ITER 303 NEW BEST:: SOT 358246 SOS 278504 HAS SOPS 244406 HAS SOUS 154197 HAS SOUPS 148622 WITH SCORE 148900.504
AT ITER 308 NEW BEST:: SOT 358570 SOS 278828 HAS SOPS 244730 HAS SOUS 154099 HAS SOUPS 148524 WITH SCORE 148802.828
AT ITER 312 NEW BEST:: SOT 358570 SOS 277109 HAS SOPS 244776 HAS SOUS 153790 HAS SOUPS 148397 WITH SCORE 148674.109
AT ITER 313 NEW BEST:: SOT 358570 SOS 277109 HAS SOPS 244776 HAS SOUS 153361 HAS SOUPS 147968 WITH SCORE 148245.109
AT ITER 315 NEW BEST:: SOT 358570 SOS 277035 HAS SOPS 244406 HAS SOUS 153065 HAS SOUPS 147672 WITH SCORE 147949.035
AT ITER 318 NEW BEST:: SOT 358570 SOS 277039 HAS SOPS 243930 HAS SOUS 152599 HAS SOUPS 147206 WITH SCORE 147483.039
AT ITER 321 NEW BEST:: SOT 358570 SOS 276713 HAS SOPS 244129 HAS SOUS 152363 HAS SOUPS 147009 WITH SCORE 147285.713
AT ITER 326 NEW BEST:: SOT 358570 SOS 276737 HAS SOPS 244106 HAS SOUS 152243 HAS SOUPS 146889 WITH SCORE 147165.737
AT ITER 332 NEW BEST:: SOT 358570 SOS 276705 HAS SOPS 244074 HAS SOUS 152211 HAS SOUPS 146857 WITH SCORE 147133.705
AT ITER 336 NEW BEST:: SOT 358570 SOS 276705 HAS SOPS 244032 HAS SOUS 152211 HAS SOUPS 146815 WITH SCORE 147091.705
AT ITER 337 NEW BEST:: SOT 358588 SOS 276669 HAS SOPS 243996 HAS SOUS 152193 HAS SOUPS 146797 WITH SCORE 147073.669
AT ITER 340 NEW BEST:: SOT 358588 SOS 276661 HAS SOPS 243972 HAS SOUS 152193 HAS SOUPS 146797 WITH SCORE 147073.661
AT ITER 341 NEW BEST:: SOT 358588 SOS 276071 HAS SOPS 243382 HAS SOUS 152015 HAS SOUPS 146619 WITH SCORE 146895.071
AT ITER 342 NEW BEST:: SOT 358547 SOS 276119 HAS SOPS 243430 HAS SOUS 151584 HAS SOUPS 146188 WITH SCORE 146464.119
AT ITER 343 NEW BEST:: SOT 358547 SOS 276119 HAS SOPS 243433 HAS SOUS 151583 HAS SOUPS 146187 WITH SCORE 146463.119
AT ITER 347 NEW BEST:: SOT 358795 SOS 276279 HAS SOPS 243454 HAS SOUS 151406 HAS SOUPS 145986 WITH SCORE 146262.279
AT ITER 348 NEW BEST:: SOT 358795 SOS 275961 HAS SOPS 243136 HAS SOUS 151406 HAS SOUPS 145986 WITH SCORE 146261.961
AT ITER 351 NEW BEST:: SOT 358795 SOS 273623 HAS SOPS 241875 HAS SOUS 150702 HAS SOUPS 145356 WITH SCORE 145629.623
AT ITER 352 NEW BEST:: SOT 358795 SOS 273997 HAS SOPS 241825 HAS SOUS 150711 HAS SOUPS 145287 WITH SCORE 145560.997
AT ITER 356 NEW BEST:: SOT 358611 SOS 273629 HAS SOPS 241457 HAS SOUS 150622 HAS SOUPS 145198 WITH SCORE 145471.629
AT ITER 357 NEW BEST:: SOT 358611 SOS 273588 HAS SOPS 241466 HAS SOUS 150589 HAS SOUPS 145189 WITH SCORE 145462.588
AT ITER 368 NEW BEST:: SOT 358611 SOS 273588 HAS SOPS 241398 HAS SOUS 150551 HAS SOUPS 145121 WITH SCORE 145394.588
AT ITER 371 NEW BEST:: SOT 358611 SOS 273175 HAS SOPS 240835 HAS SOUS 150227 HAS SOUPS 144797 WITH SCORE 145070.175
AT ITER 372 NEW BEST:: SOT 358887 SOS 273434 HAS SOPS 241094 HAS SOUS 150211 HAS SOUPS 144781 WITH SCORE 145054.434
AT ITER 374 NEW BEST:: SOT 358887 SOS 273434 HAS SOPS 241122 HAS SOUS 150136 HAS SOUPS 144706 WITH SCORE 144979.434
AT ITER 376 NEW BEST:: SOT 358895 SOS 273442 HAS SOPS 241195 HAS SOUS 150009 HAS SOUPS 144579 WITH SCORE 144852.442
AT ITER 382 NEW BEST:: SOT 358895 SOS 273421 HAS SOPS 241084 HAS SOUS 149943 HAS SOUPS 144468 WITH SCORE 144741.421
AT ITER 387 NEW BEST:: SOT 358874 SOS 273379 HAS SOPS 240937 HAS SOUS 149796 HAS SOUPS 144321 WITH SCORE 144594.379
AT ITER 390 NEW BEST:: SOT 358874 SOS 273115 HAS SOPS 240757 HAS SOUS 149710 HAS SOUPS 144235 WITH SCORE 144508.115
AT ITER 392 NEW BEST:: SOT 358874 SOS 273096 HAS SOPS 239814 HAS SOUS 148830 HAS SOUPS 143292 WITH SCORE 143565.096
AT ITER 393 NEW BEST:: SOT 358874 SOS 270457 HAS SOPS 238899 HAS SOUS 146839 HAS SOUPS 141505 WITH SCORE 141775.457
AT ITER 396 NEW BEST:: SOT 358874 SOS 268785 HAS SOPS 238162 HAS SOUS 146529 HAS SOUPS 141288 WITH SCORE 141556.785
AT ITER 397 NEW BEST:: SOT 358762 SOS 268673 HAS SOPS 238050 HAS SOUS 146417 HAS SOUPS 141176 WITH SCORE 141444.673
AT ITER 399 NEW BEST:: SOT 358534 SOS 269035 HAS SOPS 238515 HAS SOUS 146288 HAS SOUPS 141133 WITH SCORE 141402.035
AT ITER 400 NEW BEST:: SOT 358534 SOS 267684 HAS SOPS 238437 HAS SOUS 144586 HAS SOUPS 139647 WITH SCORE 139914.684
AT ITER 406 NEW BEST:: SOT 358781 SOS 268151 HAS SOPS 238650 HAS SOUS 144186 HAS SOUPS 139247 WITH SCORE 139515.151
AT ITER 411 NEW BEST:: SOT 358781 SOS 268139 HAS SOPS 238638 HAS SOUS 144174 HAS SOUPS 139235 WITH SCORE 139503.139
AT ITER 419 NEW BEST:: SOT 358781 SOS 266911 HAS SOPS 238154 HAS SOUS 143642 HAS SOUPS 138765 WITH SCORE 139031.911
AT ITER 427 NEW BEST:: SOT 358781 SOS 266921 HAS SOPS 238164 HAS SOUS 143622 HAS SOUPS 138745 WITH SCORE 139011.921
AT ITER 431 NEW BEST:: SOT 359267 SOS 267157 HAS SOPS 237981 HAS SOUS 143573 HAS SOUPS 138680 WITH SCORE 138947.157
AT ITER 436 NEW BEST:: SOT 359675 SOS 267145 HAS SOPS 237720 HAS SOUS 142791 HAS SOUPS 137898 WITH SCORE 138165.145
AT ITER 440 NEW BEST:: SOT 359675 SOS 267145 HAS SOPS 237579 HAS SOUS 142677 HAS SOUPS 137757 WITH SCORE 138024.145
AT ITER 441 NEW BEST:: SOT 359675 SOS 267000 HAS SOPS 237601 HAS SOUS 142514 HAS SOUPS 137616 WITH SCORE 137883.0
AT ITER 442 NEW BEST:: SOT 359675 SOS 264309 HAS SOPS 231863 HAS SOUS 142654 HAS SOUPS 137522 WITH SCORE 137786.309
AT ITER 450 NEW BEST:: SOT 359675 SOS 264289 HAS SOPS 231843 HAS SOUS 142649 HAS SOUPS 137517 WITH SCORE 137781.289
AT ITER 452 NEW BEST:: SOT 359675 SOS 264289 HAS SOPS 231942 HAS SOUS 142452 HAS SOUPS 137320 WITH SCORE 137584.289
AT ITER 463 NEW BEST:: SOT 359675 SOS 264365 HAS SOPS 232218 HAS SOUS 142242 HAS SOUPS 137210 WITH SCORE 137474.365
AT ITER 464 NEW BEST:: SOT 359675 SOS 264364 HAS SOPS 232217 HAS SOUS 142237 HAS SOUPS 137205 WITH SCORE 137469.364
AT ITER 466 NEW BEST:: SOT 359675 SOS 264331 HAS SOPS 232794 HAS SOUS 142179 HAS SOUPS 137176 WITH SCORE 137440.331
AT ITER 467 NEW BEST:: SOT 359675 SOS 263793 HAS SOPS 232849 HAS SOUS 141971 HAS SOUPS 137120 WITH SCORE 137383.793
AT ITER 468 NEW BEST:: SOT 359675 SOS 263241 HAS SOPS 231249 HAS SOUS 141549 HAS SOUPS 136698 WITH SCORE 136961.241
AT ITER 470 NEW BEST:: SOT 360026 SOS 263445 HAS SOPS 230903 HAS SOUS 141283 HAS SOUPS 136352 WITH SCORE 136615.445
AT ITER 472 NEW BEST:: SOT 360026 SOS 259812 HAS SOPS 228839 HAS SOUS 139411 HAS SOUPS 134668 WITH SCORE 134927.812
AT ITER 473 NEW BEST:: SOT 360031 SOS 259811 HAS SOPS 228838 HAS SOUS 139410 HAS SOUPS 134667 WITH SCORE 134926.811
AT ITER 475 NEW BEST:: SOT 349101 SOS 253587 HAS SOPS 224969 HAS SOUS 127934 HAS SOUPS 123921 WITH SCORE 124174.587
AT ITER 483 NEW BEST:: SOT 349101 SOS 253587 HAS SOPS 224972 HAS SOUS 127925 HAS SOUPS 123915 WITH SCORE 124168.587
AT ITER 487 NEW BEST:: SOT 349101 SOS 253592 HAS SOPS 224977 HAS SOUS 127891 HAS SOUPS 123881 WITH SCORE 124134.592
AT ITER 489 NEW BEST:: SOT 349433 SOS 253991 HAS SOPS 225376 HAS SOUS 127729 HAS SOUPS 123719 WITH SCORE 123972.991
AT ITER 493 NEW BEST:: SOT 349378 SOS 254071 HAS SOPS 225420 HAS SOUS 127657 HAS SOUPS 123666 WITH SCORE 123920.071
AT ITER 499 NEW BEST:: SOT 349378 SOS 253938 HAS SOPS 225287 HAS SOUS 127524 HAS SOUPS 123533 WITH SCORE 123786.938
AT ITER 502 NEW BEST:: SOT 349378 SOS 254285 HAS SOPS 225543 HAS SOUS 127260 HAS SOUPS 123269 WITH SCORE 123523.285
AT ITER 503 NEW BEST:: SOT 349378 SOS 254546 HAS SOPS 225681 HAS SOUS 126910 HAS SOUPS 122919 WITH SCORE 123173.546
AT ITER 504 NEW BEST:: SOT 349495 SOS 254631 HAS SOPS 225766 HAS SOUS 126908 HAS SOUPS 122917 WITH SCORE 123171.631
AT ITER 505 NEW BEST:: SOT 349495 SOS 254691 HAS SOPS 225873 HAS SOUS 126867 HAS SOUPS 122876 WITH SCORE 123130.691
AT ITER 518 NEW BEST:: SOT 349535 SOS 253339 HAS SOPS 223609 HAS SOUS 126634 HAS SOUPS 122643 WITH SCORE 122896.339
AT ITER 519 NEW BEST:: SOT 349535 SOS 253413 HAS SOPS 223865 HAS SOUS 125840 HAS SOUPS 121851 WITH SCORE 122104.413
AT ITER 521 NEW BEST:: SOT 349909 SOS 253787 HAS SOPS 224097 HAS SOUS 125566 HAS SOUPS 121554 WITH SCORE 121807.787
AT ITER 523 NEW BEST:: SOT 345253 SOS 249028 HAS SOPS 219068 HAS SOUS 120310 HAS SOUPS 116298 WITH SCORE 116547.028
AT ITER 526 NEW BEST:: SOT 345253 SOS 249010 HAS SOPS 218970 HAS SOUS 120176 HAS SOUPS 116164 WITH SCORE 116413.01
AT ITER 535 NEW BEST:: SOT 345253 SOS 248669 HAS SOPS 218629 HAS SOUS 120146 HAS SOUPS 116134 WITH SCORE 116382.669
AT ITER 538 NEW BEST:: SOT 345227 SOS 248643 HAS SOPS 218564 HAS SOUS 119977 HAS SOUPS 115965 WITH SCORE 116213.643
AT ITER 545 NEW BEST:: SOT 344973 SOS 251145 HAS SOPS 221202 HAS SOUS 119827 HAS SOUPS 115843 WITH SCORE 116094.145
AT ITER 550 NEW BEST:: SOT 344900 SOS 251059 HAS SOPS 221116 HAS SOUS 119741 HAS SOUPS 115757 WITH SCORE 116008.059
AT ITER 552 NEW BEST:: SOT 344900 SOS 251048 HAS SOPS 221094 HAS SOUS 119712 HAS SOUPS 115728 WITH SCORE 115979.048
AT ITER 553 NEW BEST:: SOT 344994 SOS 251142 HAS SOPS 221301 HAS SOUS 119544 HAS SOUPS 115560 WITH SCORE 115811.142
AT ITER 556 NEW BEST:: SOT 345382 SOS 251525 HAS SOPS 221684 HAS SOUS 119511 HAS SOUPS 115527 WITH SCORE 115778.525
AT ITER 557 NEW BEST:: SOT 345382 SOS 251492 HAS SOPS 221247 HAS SOUS 119373 HAS SOUPS 115389 WITH SCORE 115640.492
AT ITER 560 NEW BEST:: SOT 345382 SOS 251622 HAS SOPS 221325 HAS SOUS 119321 HAS SOUPS 115337 WITH SCORE 115588.622
AT ITER 562 NEW BEST:: SOT 345342 SOS 251701 HAS SOPS 221452 HAS SOUS 119287 HAS SOUPS 115303 WITH SCORE 115554.701
AT ITER 564 NEW BEST:: SOT 345342 SOS 248253 HAS SOPS 218678 HAS SOUS 118393 HAS SOUPS 114662 WITH SCORE 114910.253
AT ITER 566 NEW BEST:: SOT 345309 SOS 248220 HAS SOPS 218645 HAS SOUS 118393 HAS SOUPS 114662 WITH SCORE 114910.22
AT ITER 567 NEW BEST:: SOT 345309 SOS 247596 HAS SOPS 218442 HAS SOUS 117957 HAS SOUPS 114280 WITH SCORE 114527.596
AT ITER 571 NEW BEST:: SOT 345444 SOS 248203 HAS SOPS 219049 HAS SOUS 117846 HAS SOUPS 114169 WITH SCORE 114417.203
AT ITER 574 NEW BEST:: SOT 345354 SOS 247890 HAS SOPS 218670 HAS SOUS 117730 HAS SOUPS 114053 WITH SCORE 114300.89
AT ITER 585 NEW BEST:: SOT 345480 SOS 248016 HAS SOPS 218746 HAS SOUS 117632 HAS SOUPS 113955 WITH SCORE 114203.016
AT ITER 586 NEW BEST:: SOT 345480 SOS 242858 HAS SOPS 215649 HAS SOUS 116306 HAS SOUPS 112839 WITH SCORE 113081.858
AT ITER 588 NEW BEST:: SOT 345923 SOS 243187 HAS SOPS 215978 HAS SOUS 116034 HAS SOUPS 112567 WITH SCORE 112810.187
AT ITER 590 NEW BEST:: SOT 346350 SOS 243441 HAS SOPS 216232 HAS SOUS 115925 HAS SOUPS 112458 WITH SCORE 112701.441
AT ITER 593 NEW BEST:: SOT 346350 SOS 243426 HAS SOPS 215801 HAS SOUS 115619 HAS SOUPS 112107 WITH SCORE 112350.426
AT ITER 596 NEW BEST:: SOT 346341 SOS 243396 HAS SOPS 215771 HAS SOUS 115593 HAS SOUPS 112081 WITH SCORE 112324.396
AT ITER 606 NEW BEST:: SOT 346679 SOS 243545 HAS SOPS 215920 HAS SOUS 115367 HAS SOUPS 111855 WITH SCORE 112098.545
AT ITER 607 NEW BEST:: SOT 346679 SOS 243545 HAS SOPS 215920 HAS SOUS 115072 HAS SOUPS 111560 WITH SCORE 111803.545
AT ITER 614 NEW BEST:: SOT 346679 SOS 241618 HAS SOPS 215090 HAS SOUS 114904 HAS SOUPS 111438 WITH SCORE 111679.618
AT ITER 615 NEW BEST:: SOT 346673 SOS 241597 HAS SOPS 215069 HAS SOUS 114873 HAS SOUPS 111407 WITH SCORE 111648.597
AT ITER 618 NEW BEST:: SOT 346673 SOS 241323 HAS SOPS 215068 HAS SOUS 114847 HAS SOUPS 111402 WITH SCORE 111643.323
AT ITER 621 NEW BEST:: SOT 346636 SOS 241286 HAS SOPS 215031 HAS SOUS 114810 HAS SOUPS 111365 WITH SCORE 111606.286
AT ITER 629 NEW BEST:: SOT 346636 SOS 241166 HAS SOPS 214853 HAS SOUS 114662 HAS SOUPS 111217 WITH SCORE 111458.166
AT ITER 636 NEW BEST:: SOT 346636 SOS 240671 HAS SOPS 213730 HAS SOUS 114460 HAS SOUPS 111015 WITH SCORE 111255.671
AT ITER 638 NEW BEST:: SOT 346636 SOS 237615 HAS SOPS 208476 HAS SOUS 114077 HAS SOUPS 110604 WITH SCORE 110841.615
AT ITER 645 NEW BEST:: SOT 346636 SOS 237298 HAS SOPS 207775 HAS SOUS 114061 HAS SOUPS 110588 WITH SCORE 110825.298
AT ITER 649 NEW BEST:: SOT 346648 SOS 235413 HAS SOPS 203242 HAS SOUS 112918 HAS SOUPS 109419 WITH SCORE 109654.413
AT ITER 651 NEW BEST:: SOT 346618 SOS 235330 HAS SOPS 203297 HAS SOUS 112766 HAS SOUPS 109297 WITH SCORE 109532.33
AT ITER 655 NEW BEST:: SOT 346618 SOS 234760 HAS SOPS 202757 HAS SOUS 112706 HAS SOUPS 109247 WITH SCORE 109481.76
AT ITER 656 NEW BEST:: SOT 345934 SOS 233740 HAS SOPS 201596 HAS SOUS 112598 HAS SOUPS 109139 WITH SCORE 109372.74
AT ITER 660 NEW BEST:: SOT 345836 SOS 233642 HAS SOPS 201450 HAS SOUS 112356 HAS SOUPS 108897 WITH SCORE 109130.642
AT ITER 665 NEW BEST:: SOT 345836 SOS 233672 HAS SOPS 201450 HAS SOUS 112266 HAS SOUPS 108807 WITH SCORE 109040.672
AT ITER 669 NEW BEST:: SOT 345109 SOS 232945 HAS SOPS 200562 HAS SOUS 112185 HAS SOUPS 108726 WITH SCORE 108958.945
AT ITER 670 NEW BEST:: SOT 345109 SOS 232890 HAS SOPS 200502 HAS SOUS 111945 HAS SOUPS 108486 WITH SCORE 108718.89
AT ITER 671 NEW BEST:: SOT 345491 SOS 233272 HAS SOPS 200884 HAS SOUS 111935 HAS SOUPS 108476 WITH SCORE 108709.272
AT ITER 673 NEW BEST:: SOT 345491 SOS 233262 HAS SOPS 200733 HAS SOUS 111784 HAS SOUPS 108325 WITH SCORE 108558.262
AT ITER 681 NEW BEST:: SOT 345469 SOS 233240 HAS SOPS 200683 HAS SOUS 111668 HAS SOUPS 108209 WITH SCORE 108442.24
AT ITER 686 NEW BEST:: SOT 345339 SOS 227871 HAS SOPS 197663 HAS SOUS 109378 HAS SOUPS 106090 WITH SCORE 106317.871
AT ITER 687 NEW BEST:: SOT 345167 SOS 227682 HAS SOPS 197474 HAS SOUS 109365 HAS SOUPS 106077 WITH SCORE 106304.682
AT ITER 688 NEW BEST:: SOT 345167 SOS 227765 HAS SOPS 197841 HAS SOUS 109202 HAS SOUPS 105914 WITH SCORE 106141.765
AT ITER 689 NEW BEST:: SOT 345000 SOS 227598 HAS SOPS 197674 HAS SOUS 109035 HAS SOUPS 105747 WITH SCORE 105974.598
AT ITER 692 NEW BEST:: SOT 345000 SOS 227225 HAS SOPS 197063 HAS SOUS 108603 HAS SOUPS 105315 WITH SCORE 105542.225
AT ITER 693 NEW BEST:: SOT 344543 SOS 219879 HAS SOPS 192956 HAS SOUS 106956 HAS SOUPS 103864 WITH SCORE 104083.879
AT ITER 697 NEW BEST:: SOT 344497 SOS 216710 HAS SOPS 191073 HAS SOUS 105757 HAS SOUPS 102777 WITH SCORE 102993.71
AT ITER 699 NEW BEST:: SOT 344379 SOS 216592 HAS SOPS 190955 HAS SOUS 105639 HAS SOUPS 102659 WITH SCORE 102875.592
AT ITER 700 NEW BEST:: SOT 344643 SOS 216831 HAS SOPS 191184 HAS SOUS 105451 HAS SOUPS 102471 WITH SCORE 102687.831
AT ITER 706 NEW BEST:: SOT 344643 SOS 216781 HAS SOPS 191089 HAS SOUS 105365 HAS SOUPS 102385 WITH SCORE 102601.781
AT ITER 712 NEW BEST:: SOT 344603 SOS 216878 HAS SOPS 191186 HAS SOUS 105150 HAS SOUPS 102170 WITH SCORE 102386.878
AT ITER 716 NEW BEST:: SOT 344483 SOS 217220 HAS SOPS 195656 HAS SOUS 103706 HAS SOUPS 101521 WITH SCORE 101738.22
AT ITER 717 NEW BEST:: SOT 344396 SOS 217361 HAS SOPS 196152 HAS SOUS 103580 HAS SOUPS 101467 WITH SCORE 101684.361
AT ITER 719 NEW BEST:: SOT 344396 SOS 216380 HAS SOPS 196190 HAS SOUS 103479 HAS SOUPS 101459 WITH SCORE 101675.38
AT ITER 730 NEW BEST:: SOT 344396 SOS 216362 HAS SOPS 196172 HAS SOUS 103479 HAS SOUPS 101459 WITH SCORE 101675.362
AT ITER 737 NEW BEST:: SOT 344604 SOS 216480 HAS SOPS 196146 HAS SOUS 102796 HAS SOUPS 100776 WITH SCORE 100992.48
AT ITER 741 NEW BEST:: SOT 344604 SOS 216480 HAS SOPS 196146 HAS SOUS 102688 HAS SOUPS 100668 WITH SCORE 100884.48
AT ITER 742 NEW BEST:: SOT 344604 SOS 218360 HAS SOPS 199453 HAS SOUS 102566 HAS SOUPS 100663 WITH SCORE 100881.36
AT ITER 747 NEW BEST:: SOT 344474 SOS 218230 HAS SOPS 199239 HAS SOUS 102070 HAS SOUPS 100167 WITH SCORE 100385.23
AT ITER 750 NEW BEST:: SOT 344638 SOS 218394 HAS SOPS 199403 HAS SOUS 101908 HAS SOUPS 100005 WITH SCORE 100223.394
AT ITER 753 NEW BEST:: SOT 340612 SOS 214368 HAS SOPS 195377 HAS SOUS 97759 HAS SOUPS 95856 WITH SCORE 96070.368
AT ITER 757 NEW BEST:: SOT 340612 SOS 209712 HAS SOPS 191189 HAS SOUS 96818 HAS SOUPS 95071 WITH SCORE 95280.712
AT ITER 758 NEW BEST:: SOT 340612 SOS 209657 HAS SOPS 191134 HAS SOUS 96816 HAS SOUPS 95069 WITH SCORE 95278.657
AT ITER 765 NEW BEST:: SOT 340590 SOS 208718 HAS SOPS 190607 HAS SOUS 96127 HAS SOUPS 94428 WITH SCORE 94636.718
AT ITER 776 NEW BEST:: SOT 340630 SOS 208708 HAS SOPS 190597 HAS SOUS 96117 HAS SOUPS 94418 WITH SCORE 94626.708
AT ITER 779 NEW BEST:: SOT 340630 SOS 205821 HAS SOPS 189610 HAS SOUS 95679 HAS SOUPS 94075 WITH SCORE 94280.821
AT ITER 781 NEW BEST:: SOT 340600 SOS 205780 HAS SOPS 189569 HAS SOUS 95668 HAS SOUPS 94064 WITH SCORE 94269.78
AT ITER 785 NEW BEST:: SOT 340653 SOS 205951 HAS SOPS 189815 HAS SOUS 95419 HAS SOUPS 93815 WITH SCORE 94020.951
AT ITER 786 NEW BEST:: SOT 340579 SOS 205849 HAS SOPS 189713 HAS SOUS 95017 HAS SOUPS 93413 WITH SCORE 93618.849
AT ITER 788 NEW BEST:: SOT 340579 SOS 205829 HAS SOPS 189693 HAS SOUS 94997 HAS SOUPS 93393 WITH SCORE 93598.829
AT ITER 803 NEW BEST:: SOT 340195 SOS 205445 HAS SOPS 189309 HAS SOUS 94613 HAS SOUPS 93009 WITH SCORE 93214.445
AT ITER 819 NEW BEST:: SOT 340316 SOS 205632 HAS SOPS 189562 HAS SOUS 94611 HAS SOUPS 93007 WITH SCORE 93212.632
AT ITER 824 NEW BEST:: SOT 340316 SOS 205632 HAS SOPS 189562 HAS SOUS 94577 HAS SOUPS 92973 WITH SCORE 93178.632
AT ITER 828 NEW BEST:: SOT 340316 SOS 205502 HAS SOPS 189432 HAS SOUS 94551 HAS SOUPS 92947 WITH SCORE 93152.502
AT ITER 838 NEW BEST:: SOT 340316 SOS 205486 HAS SOPS 189416 HAS SOUS 94543 HAS SOUPS 92939 WITH SCORE 93144.486
AT ITER 847 NEW BEST:: SOT 340316 SOS 205541 HAS SOPS 189573 HAS SOUS 94480 HAS SOUPS 92876 WITH SCORE 93081.541
AT ITER 848 NEW BEST:: SOT 340316 SOS 205434 HAS SOPS 189466 HAS SOUS 94283 HAS SOUPS 92679 WITH SCORE 92884.434
AT ITER 850 NEW BEST:: SOT 340317 SOS 205435 HAS SOPS 189467 HAS SOUS 94280 HAS SOUPS 92676 WITH SCORE 92881.435
AT ITER 855 NEW BEST:: SOT 340789 SOS 205907 HAS SOPS 189939 HAS SOUS 94191 HAS SOUPS 92587 WITH SCORE 92792.907
AT ITER 881 NEW BEST:: SOT 340765 SOS 205883 HAS SOPS 189915 HAS SOUS 94157 HAS SOUPS 92553 WITH SCORE 92758.883
AT ITER 884 NEW BEST:: SOT 340332 SOS 205450 HAS SOPS 189482 HAS SOUS 93724 HAS SOUPS 92120 WITH SCORE 92325.45
AT ITER 888 NEW BEST:: SOT 340332 SOS 205448 HAS SOPS 189480 HAS SOUS 93722 HAS SOUPS 92118 WITH SCORE 92323.448
AT ITER 890 NEW BEST:: SOT 340332 SOS 204244 HAS SOPS 188864 HAS SOUS 93638 HAS SOUPS 92062 WITH SCORE 92266.244
AT ITER 891 NEW BEST:: SOT 340314 SOS 204317 HAS SOPS 188937 HAS SOUS 93621 HAS SOUPS 92045 WITH SCORE 92249.317
AT ITER 902 NEW BEST:: SOT 340293 SOS 204296 HAS SOPS 188899 HAS SOUS 93608 HAS SOUPS 92032 WITH SCORE 92236.296
AT ITER 904 NEW BEST:: SOT 339453 SOS 203477 HAS SOPS 188188 HAS SOUS 92712 HAS SOUPS 91156 WITH SCORE 91359.477
AT ITER 913 NEW BEST:: SOT 339543 SOS 203567 HAS SOPS 188256 HAS SOUS 92648 HAS SOUPS 91092 WITH SCORE 91295.567
AT ITER 914 NEW BEST:: SOT 339525 SOS 199962 HAS SOPS 183887 HAS SOUS 91956 HAS SOUPS 90400 WITH SCORE 90599.962
AT ITER 920 NEW BEST:: SOT 339438 SOS 199875 HAS SOPS 183800 HAS SOUS 91840 HAS SOUPS 90284 WITH SCORE 90483.875
AT ITER 921 NEW BEST:: SOT 339538 SOS 200051 HAS SOPS 183976 HAS SOUS 91542 HAS SOUPS 89986 WITH SCORE 90186.051
AT ITER 924 NEW BEST:: SOT 339438 SOS 199794 HAS SOPS 183508 HAS SOUS 91425 HAS SOUPS 89869 WITH SCORE 90068.794
AT ITER 929 NEW BEST:: SOT 339413 SOS 200312 HAS SOPS 184026 HAS SOUS 90967 HAS SOUPS 89411 WITH SCORE 89611.312
AT ITER 930 NEW BEST:: SOT 339555 SOS 199531 HAS SOPS 183239 HAS SOUS 90936 HAS SOUPS 89380 WITH SCORE 89579.531
AT ITER 933 NEW BEST:: SOT 339348 SOS 199116 HAS SOPS 182824 HAS SOUS 90881 HAS SOUPS 89325 WITH SCORE 89524.116
AT ITER 935 NEW BEST:: SOT 338009 SOS 208716 HAS SOPS 195420 HAS SOUS 89575 HAS SOUPS 88376 WITH SCORE 88584.716
AT ITER 943 NEW BEST:: SOT 338114 SOS 209955 HAS SOPS 196659 HAS SOUS 88908 HAS SOUPS 87709 WITH SCORE 87918.955
AT ITER 952 NEW BEST:: SOT 338114 SOS 210000 HAS SOPS 196704 HAS SOUS 88901 HAS SOUPS 87702 WITH SCORE 87912.0
AT ITER 967 NEW BEST:: SOT 338220 SOS 210044 HAS SOPS 196748 HAS SOUS 88890 HAS SOUPS 87691 WITH SCORE 87901.044
AT ITER 973 NEW BEST:: SOT 338220 SOS 209819 HAS SOPS 196462 HAS SOUS 88829 HAS SOUPS 87630 WITH SCORE 87839.819
AT ITER 977 NEW BEST:: SOT 336761 SOS 211328 HAS SOPS 199488 HAS SOUS 87328 HAS SOUPS 86312 WITH SCORE 86523.328
AT ITER 981 NEW BEST:: SOT 336804 SOS 211394 HAS SOPS 199555 HAS SOUS 87314 HAS SOUPS 86298 WITH SCORE 86509.394
AT ITER 982 NEW BEST:: SOT 336804 SOS 211394 HAS SOPS 199555 HAS SOUS 87262 HAS SOUPS 86246 WITH SCORE 86457.394
AT ITER 984 NEW BEST:: SOT 336804 SOS 211376 HAS SOPS 199460 HAS SOUS 87185 HAS SOUPS 86169 WITH SCORE 86380.376
AT ITER 992 NEW BEST:: SOT 336804 SOS 211298 HAS SOPS 199382 HAS SOUS 87107 HAS SOUPS 86091 WITH SCORE 86302.298
AT ITER 994 NEW BEST:: SOT 336396 SOS 210890 HAS SOPS 198974 HAS SOUS 86960 HAS SOUPS 85944 WITH SCORE 86154.89
AT ITER 1006 NEW BEST:: SOT 336514 SOS 211308 HAS SOPS 199531 HAS SOUS 86607 HAS SOUPS 85595 WITH SCORE 85806.308
AT ITER 1009 NEW BEST:: SOT 336514 SOS 207991 HAS SOPS 195954 HAS SOUS 86163 HAS SOUPS 85151 WITH SCORE 85358.991
AT ITER 1010 NEW BEST:: SOT 336681 SOS 208129 HAS SOPS 196092 HAS SOUS 86155 HAS SOUPS 85143 WITH SCORE 85351.129
AT ITER 1011 NEW BEST:: SOT 336364 SOS 207999 HAS SOPS 195962 HAS SOUS 85508 HAS SOUPS 84496 WITH SCORE 84703.999
AT ITER 1017 NEW BEST:: SOT 336405 SOS 207552 HAS SOPS 195449 HAS SOUS 85258 HAS SOUPS 84246 WITH SCORE 84453.552
AT ITER 1018 NEW BEST:: SOT 336215 SOS 207310 HAS SOPS 195193 HAS SOUS 85258 HAS SOUPS 84246 WITH SCORE 84453.31
AT ITER 1029 NEW BEST:: SOT 336191 SOS 207286 HAS SOPS 195169 HAS SOUS 85234 HAS SOUPS 84222 WITH SCORE 84429.286
AT ITER 1033 NEW BEST:: SOT 336251 SOS 207346 HAS SOPS 195199 HAS SOUS 85144 HAS SOUPS 84132 WITH SCORE 84339.346
AT ITER 1037 NEW BEST:: SOT 336301 SOS 207346 HAS SOPS 195181 HAS SOUS 85053 HAS SOUPS 84041 WITH SCORE 84248.346
AT ITER 1041 NEW BEST:: SOT 336516 SOS 207153 HAS SOPS 194988 HAS SOUS 84935 HAS SOUPS 83923 WITH SCORE 84130.153
AT ITER 1043 NEW BEST:: SOT 336395 SOS 207058 HAS SOPS 194893 HAS SOUS 84838 HAS SOUPS 83826 WITH SCORE 84033.058
AT ITER 1053 NEW BEST:: SOT 336293 SOS 206741 HAS SOPS 194576 HAS SOUS 84795 HAS SOUPS 83783 WITH SCORE 83989.741
AT ITER 1057 NEW BEST:: SOT 337439 SOS 206525 HAS SOPS 195353 HAS SOUS 83676 HAS SOUPS 82743 WITH SCORE 82949.525
AT ITER 1058 NEW BEST:: SOT 337462 SOS 206215 HAS SOPS 194853 HAS SOUS 83287 HAS SOUPS 82354 WITH SCORE 82560.215
AT ITER 1059 NEW BEST:: SOT 337375 SOS 206121 HAS SOPS 194759 HAS SOUS 83214 HAS SOUPS 82281 WITH SCORE 82487.121
AT ITER 1061 NEW BEST:: SOT 337372 SOS 206118 HAS SOPS 194753 HAS SOUS 83211 HAS SOUPS 82278 WITH SCORE 82484.118
AT ITER 1084 NEW BEST:: SOT 337298 SOS 206044 HAS SOPS 194679 HAS SOUS 83018 HAS SOUPS 82085 WITH SCORE 82291.044
AT ITER 1090 NEW BEST:: SOT 337158 SOS 205904 HAS SOPS 194539 HAS SOUS 82985 HAS SOUPS 82052 WITH SCORE 82257.904
AT ITER 1092 NEW BEST:: SOT 337158 SOS 205882 HAS SOPS 194517 HAS SOUS 82963 HAS SOUPS 82030 WITH SCORE 82235.882
AT ITER 1097 NEW BEST:: SOT 337158 SOS 205782 HAS SOPS 194403 HAS SOUS 82890 HAS SOUPS 81957 WITH SCORE 82162.782
AT ITER 1099 NEW BEST:: SOT 337285 SOS 205565 HAS SOPS 194186 HAS SOUS 82749 HAS SOUPS 81816 WITH SCORE 82021.565
AT ITER 1103 NEW BEST:: SOT 337285 SOS 204985 HAS SOPS 193590 HAS SOUS 82550 HAS SOUPS 81617 WITH SCORE 81821.985
AT ITER 1106 NEW BEST:: SOT 337336 SOS 204873 HAS SOPS 193478 HAS SOUS 82438 HAS SOUPS 81505 WITH SCORE 81709.873
AT ITER 1115 NEW BEST:: SOT 337379 SOS 204856 HAS SOPS 193461 HAS SOUS 82319 HAS SOUPS 81386 WITH SCORE 81590.856
AT ITER 1116 NEW BEST:: SOT 336927 SOS 205366 HAS SOPS 193971 HAS SOUS 82106 HAS SOUPS 81173 WITH SCORE 81378.366
AT ITER 1118 NEW BEST:: SOT 336876 SOS 205247 HAS SOPS 193852 HAS SOUS 82089 HAS SOUPS 81156 WITH SCORE 81361.247
AT ITER 1120 NEW BEST:: SOT 337368 SOS 205739 HAS SOPS 194255 HAS SOUS 81683 HAS SOUPS 80750 WITH SCORE 80955.739
AT ITER 1127 NEW BEST:: SOT 337308 SOS 205928 HAS SOPS 194449 HAS SOUS 81500 HAS SOUPS 80567 WITH SCORE 80772.928
AT ITER 1130 NEW BEST:: SOT 337249 SOS 205906 HAS SOPS 194427 HAS SOUS 81446 HAS SOUPS 80513 WITH SCORE 80718.906
AT ITER 1133 NEW BEST:: SOT 337199 SOS 205856 HAS SOPS 194377 HAS SOUS 81417 HAS SOUPS 80484 WITH SCORE 80689.856
AT ITER 1144 NEW BEST:: SOT 337081 SOS 205814 HAS SOPS 194335 HAS SOUS 81153 HAS SOUPS 80220 WITH SCORE 80425.814
AT ITER 1146 NEW BEST:: SOT 336968 SOS 205701 HAS SOPS 194222 HAS SOUS 81111 HAS SOUPS 80178 WITH SCORE 80383.701
AT ITER 1149 NEW BEST:: SOT 336684 SOS 205207 HAS SOPS 193728 HAS SOUS 80785 HAS SOUPS 79852 WITH SCORE 80057.207
AT ITER 1156 NEW BEST:: SOT 337194 SOS 206103 HAS SOPS 194696 HAS SOUS 80718 HAS SOUPS 79785 WITH SCORE 79991.103
AT ITER 1158 NEW BEST:: SOT 337194 SOS 206085 HAS SOPS 194678 HAS SOUS 80700 HAS SOUPS 79767 WITH SCORE 79973.085
AT ITER 1162 NEW BEST:: SOT 337194 SOS 206017 HAS SOPS 194610 HAS SOUS 80683 HAS SOUPS 79750 WITH SCORE 79956.017
AT ITER 1177 NEW BEST:: SOT 337194 SOS 206015 HAS SOPS 194608 HAS SOUS 80681 HAS SOUPS 79748 WITH SCORE 79954.015
AT ITER 1181 NEW BEST:: SOT 337024 SOS 205521 HAS SOPS 193905 HAS SOUS 80655 HAS SOUPS 79718 WITH SCORE 79923.521
AT ITER 1186 NEW BEST:: SOT 337024 SOS 205521 HAS SOPS 193905 HAS SOUS 80633 HAS SOUPS 79696 WITH SCORE 79901.521
AT ITER 1190 NEW BEST:: SOT 337438 SOS 205995 HAS SOPS 194379 HAS SOUS 80592 HAS SOUPS 79655 WITH SCORE 79860.995
AT ITER 1192 NEW BEST:: SOT 337604 SOS 206271 HAS SOPS 194655 HAS SOUS 80540 HAS SOUPS 79603 WITH SCORE 79809.271
AT ITER 1193 NEW BEST:: SOT 337412 SOS 206256 HAS SOPS 194362 HAS SOUS 80011 HAS SOUPS 79074 WITH SCORE 79280.256
AT ITER 1199 NEW BEST:: SOT 337477 SOS 206229 HAS SOPS 194451 HAS SOUS 80009 HAS SOUPS 79072 WITH SCORE 79278.229
AT ITER 1200 NEW BEST:: SOT 337465 SOS 206217 HAS SOPS 194439 HAS SOUS 79991 HAS SOUPS 79054 WITH SCORE 79260.217
AT ITER 1201 NEW BEST:: SOT 333086 SOS 201447 HAS SOPS 189669 HAS SOUS 76664 HAS SOUPS 75727 WITH SCORE 75928.447
AT ITER 1208 NEW BEST:: SOT 333114 SOS 201644 HAS SOPS 189907 HAS SOUS 76365 HAS SOUPS 75428 WITH SCORE 75629.644
AT ITER 1209 NEW BEST:: SOT 333114 SOS 201645 HAS SOPS 189908 HAS SOUS 76346 HAS SOUPS 75409 WITH SCORE 75610.645
AT ITER 1216 NEW BEST:: SOT 333157 SOS 201262 HAS SOPS 189525 HAS SOUS 76193 HAS SOUPS 75256 WITH SCORE 75457.262
AT ITER 1219 NEW BEST:: SOT 333157 SOS 201184 HAS SOPS 189447 HAS SOUS 76154 HAS SOUPS 75217 WITH SCORE 75418.184
AT ITER 1221 NEW BEST:: SOT 328508 SOS 204994 HAS SOPS 193257 HAS SOUS 71335 HAS SOUPS 70398 WITH SCORE 70602.994
AT ITER 1229 NEW BEST:: SOT 328437 SOS 204969 HAS SOPS 193232 HAS SOUS 71310 HAS SOUPS 70373 WITH SCORE 70577.969
AT ITER 1236 NEW BEST:: SOT 328063 SOS 204553 HAS SOPS 192710 HAS SOUS 71276 HAS SOUPS 70303 WITH SCORE 70507.553
AT ITER 1240 NEW BEST:: SOT 328526 SOS 204841 HAS SOPS 192985 HAS SOUS 71074 HAS SOUPS 70101 WITH SCORE 70305.841
AT ITER 1246 NEW BEST:: SOT 328526 SOS 204835 HAS SOPS 192979 HAS SOUS 71068 HAS SOUPS 70095 WITH SCORE 70299.835
AT ITER 1255 NEW BEST:: SOT 328526 SOS 204649 HAS SOPS 192793 HAS SOUS 71037 HAS SOUPS 70064 WITH SCORE 70268.649
AT ITER 1256 NEW BEST:: SOT 328526 SOS 204649 HAS SOPS 192793 HAS SOUS 70939 HAS SOUPS 69966 WITH SCORE 70170.649
AT ITER 1258 NEW BEST:: SOT 328578 SOS 204701 HAS SOPS 192845 HAS SOUS 70757 HAS SOUPS 69784 WITH SCORE 69988.701
AT ITER 1260 NEW BEST:: SOT 329369 SOS 205492 HAS SOPS 193636 HAS SOUS 70150 HAS SOUPS 69177 WITH SCORE 69382.492
AT ITER 1261 NEW BEST:: SOT 329369 SOS 205344 HAS SOPS 193488 HAS SOUS 70113 HAS SOUPS 69140 WITH SCORE 69345.344
AT ITER 1262 NEW BEST:: SOT 329416 SOS 205391 HAS SOPS 193535 HAS SOUS 70066 HAS SOUPS 69093 WITH SCORE 69298.391
AT ITER 1265 NEW BEST:: SOT 329418 SOS 205498 HAS SOPS 193607 HAS SOUS 70031 HAS SOUPS 69058 WITH SCORE 69263.498
AT ITER 1266 NEW BEST:: SOT 329468 SOS 203231 HAS SOPS 192227 HAS SOUS 68399 HAS SOUPS 67504 WITH SCORE 67707.231
AT ITER 1268 NEW BEST:: SOT 329477 SOS 202949 HAS SOPS 191945 HAS SOUS 68368 HAS SOUPS 67473 WITH SCORE 67675.949
AT ITER 1270 NEW BEST:: SOT 329425 SOS 202832 HAS SOPS 191828 HAS SOUS 68290 HAS SOUPS 67395 WITH SCORE 67597.832
AT ITER 1284 NEW BEST:: SOT 329157 SOS 209344 HAS SOPS 199880 HAS SOUS 67827 HAS SOUPS 67096 WITH SCORE 67305.344
AT ITER 1288 NEW BEST:: SOT 328965 SOS 209148 HAS SOPS 199594 HAS SOUS 67761 HAS SOUPS 67030 WITH SCORE 67239.148
AT ITER 1298 NEW BEST:: SOT 328478 SOS 208661 HAS SOPS 199107 HAS SOUS 67757 HAS SOUPS 67026 WITH SCORE 67234.661
AT ITER 1302 NEW BEST:: SOT 328423 SOS 208606 HAS SOPS 199052 HAS SOUS 67704 HAS SOUPS 66973 WITH SCORE 67181.606
AT ITER 1303 NEW BEST:: SOT 328423 SOS 208606 HAS SOPS 199052 HAS SOUS 67656 HAS SOUPS 66925 WITH SCORE 67133.606
AT ITER 1319 NEW BEST:: SOT 328415 SOS 208302 HAS SOPS 198908 HAS SOUS 67616 HAS SOUPS 66893 WITH SCORE 67101.302
AT ITER 1327 NEW BEST:: SOT 328415 SOS 208253 HAS SOPS 198859 HAS SOUS 67567 HAS SOUPS 66844 WITH SCORE 67052.253
AT ITER 1346 NEW BEST:: SOT 328415 SOS 207208 HAS SOPS 198422 HAS SOUS 66890 HAS SOUPS 66243 WITH SCORE 66450.208
AT ITER 1351 NEW BEST:: SOT 328674 SOS 207455 HAS SOPS 198669 HAS SOUS 66857 HAS SOUPS 66210 WITH SCORE 66417.455
AT ITER 1357 NEW BEST:: SOT 328674 SOS 207466 HAS SOPS 198680 HAS SOUS 66846 HAS SOUPS 66199 WITH SCORE 66406.466
AT ITER 1375 NEW BEST:: SOT 328576 SOS 207264 HAS SOPS 198446 HAS SOUS 66638 HAS SOUPS 65991 WITH SCORE 66198.264
AT ITER 1377 NEW BEST:: SOT 327992 SOS 206614 HAS SOPS 197991 HAS SOUS 66621 HAS SOUPS 65974 WITH SCORE 66180.614
AT ITER 1394 NEW BEST:: SOT 327965 SOS 206748 HAS SOPS 198125 HAS SOUS 66620 HAS SOUPS 65973 WITH SCORE 66179.748
AT ITER 1408 NEW BEST:: SOT 327965 SOS 206722 HAS SOPS 198099 HAS SOUS 66594 HAS SOUPS 65947 WITH SCORE 66153.722
AT ITER 1409 NEW BEST:: SOT 327944 SOS 206701 HAS SOPS 198078 HAS SOUS 66577 HAS SOUPS 65930 WITH SCORE 66136.701
AT ITER 1414 NEW BEST:: SOT 327786 SOS 206543 HAS SOPS 197916 HAS SOUS 66412 HAS SOUPS 65765 WITH SCORE 65971.543
AT ITER 1424 NEW BEST:: SOT 327739 SOS 206490 HAS SOPS 197863 HAS SOUS 66196 HAS SOUPS 65549 WITH SCORE 65755.49
AT ITER 1426 NEW BEST:: SOT 327655 SOS 206236 HAS SOPS 197497 HAS SOUS 66007 HAS SOUPS 65360 WITH SCORE 65566.236
AT ITER 1434 NEW BEST:: SOT 327287 SOS 205245 HAS SOPS 196506 HAS SOUS 65943 HAS SOUPS 65296 WITH SCORE 65501.245
AT ITER 1435 NEW BEST:: SOT 327248 SOS 205206 HAS SOPS 196467 HAS SOUS 65904 HAS SOUPS 65257 WITH SCORE 65462.206
AT ITER 1443 NEW BEST:: SOT 326376 SOS 206265 HAS SOPS 197734 HAS SOUS 64947 HAS SOUPS 64313 WITH SCORE 64519.265
AT ITER 1444 NEW BEST:: SOT 326396 SOS 206285 HAS SOPS 197754 HAS SOUS 64937 HAS SOUPS 64303 WITH SCORE 64509.285
AT ITER 1448 NEW BEST:: SOT 326414 SOS 206375 HAS SOPS 197844 HAS SOUS 64707 HAS SOUPS 64073 WITH SCORE 64279.375
AT ITER 1464 NEW BEST:: SOT 326399 SOS 206360 HAS SOPS 197829 HAS SOUS 64704 HAS SOUPS 64070 WITH SCORE 64276.36
AT ITER 1469 NEW BEST:: SOT 326374 SOS 206335 HAS SOPS 197804 HAS SOUS 64679 HAS SOUPS 64045 WITH SCORE 64251.335
AT ITER 1471 NEW BEST:: SOT 326396 SOS 206357 HAS SOPS 197826 HAS SOUS 64668 HAS SOUPS 64034 WITH SCORE 64240.357
AT ITER 1478 NEW BEST:: SOT 326358 SOS 206319 HAS SOPS 197788 HAS SOUS 64668 HAS SOUPS 64034 WITH SCORE 64240.319
AT ITER 1480 NEW BEST:: SOT 326345 SOS 206428 HAS SOPS 197897 HAS SOUS 64524 HAS SOUPS 63890 WITH SCORE 64096.428
AT ITER 1484 NEW BEST:: SOT 324711 SOS 204794 HAS SOPS 196263 HAS SOUS 64388 HAS SOUPS 63754 WITH SCORE 63958.794
AT ITER 1487 NEW BEST:: SOT 324784 SOS 204812 HAS SOPS 196281 HAS SOUS 64261 HAS SOUPS 63627 WITH SCORE 63831.812
AT ITER 1490 NEW BEST:: SOT 324699 SOS 204734 HAS SOPS 196203 HAS SOUS 64032 HAS SOUPS 63398 WITH SCORE 63602.734
AT ITER 1494 NEW BEST:: SOT 324674 SOS 204709 HAS SOPS 196178 HAS SOUS 64032 HAS SOUPS 63398 WITH SCORE 63602.709
AT ITER 1496 NEW BEST:: SOT 324526 SOS 204341 HAS SOPS 195667 HAS SOUS 63892 HAS SOUPS 63254 WITH SCORE 63458.341
AT ITER 1497 NEW BEST:: SOT 324526 SOS 203842 HAS SOPS 195582 HAS SOUS 63607 HAS SOUPS 63010 WITH SCORE 63213.842
AT ITER 1507 NEW BEST:: SOT 324479 SOS 203775 HAS SOPS 195515 HAS SOUS 63595 HAS SOUPS 62998 WITH SCORE 63201.775
AT ITER 1514 NEW BEST:: SOT 324479 SOS 203775 HAS SOPS 195515 HAS SOUS 63530 HAS SOUPS 62933 WITH SCORE 63136.775
AT ITER 1517 NEW BEST:: SOT 324473 SOS 203769 HAS SOPS 195509 HAS SOUS 63521 HAS SOUPS 62924 WITH SCORE 63127.769
AT ITER 1520 NEW BEST:: SOT 324477 SOS 203773 HAS SOPS 195513 HAS SOUS 63513 HAS SOUPS 62916 WITH SCORE 63119.773
AT ITER 1521 NEW BEST:: SOT 324275 SOS 203379 HAS SOPS 195025 HAS SOUS 63406 HAS SOUPS 62809 WITH SCORE 63012.379
AT ITER 1530 NEW BEST:: SOT 323520 SOS 202624 HAS SOPS 194270 HAS SOUS 63277 HAS SOUPS 62680 WITH SCORE 62882.624
AT ITER 1547 NEW BEST:: SOT 323402 SOS 202689 HAS SOPS 194335 HAS SOUS 63269 HAS SOUPS 62672 WITH SCORE 62874.689
AT ITER 1559 NEW BEST:: SOT 323402 SOS 202617 HAS SOPS 194263 HAS SOUS 63197 HAS SOUPS 62600 WITH SCORE 62802.617
AT ITER 1562 NEW BEST:: SOT 323242 SOS 202576 HAS SOPS 194222 HAS SOUS 63182 HAS SOUPS 62585 WITH SCORE 62787.576
AT ITER 1573 NEW BEST:: SOT 323208 SOS 202542 HAS SOPS 194188 HAS SOUS 63182 HAS SOUPS 62585 WITH SCORE 62787.542
AT ITER 1578 NEW BEST:: SOT 323163 SOS 202497 HAS SOPS 194143 HAS SOUS 63137 HAS SOUPS 62540 WITH SCORE 62742.497
AT ITER 1589 NEW BEST:: SOT 323145 SOS 202473 HAS SOPS 194119 HAS SOUS 63110 HAS SOUPS 62513 WITH SCORE 62715.473
AT ITER 1591 NEW BEST:: SOT 323206 SOS 202456 HAS SOPS 194041 HAS SOUS 62971 HAS SOUPS 62374 WITH SCORE 62576.456
AT ITER 1602 NEW BEST:: SOT 323214 SOS 202464 HAS SOPS 194049 HAS SOUS 62908 HAS SOUPS 62311 WITH SCORE 62513.464
AT ITER 1607 NEW BEST:: SOT 323239 SOS 202489 HAS SOPS 194074 HAS SOUS 62895 HAS SOUPS 62298 WITH SCORE 62500.489
AT ITER 1614 NEW BEST:: SOT 323238 SOS 202485 HAS SOPS 194070 HAS SOUS 62892 HAS SOUPS 62295 WITH SCORE 62497.485
AT ITER 1625 NEW BEST:: SOT 323287 SOS 202534 HAS SOPS 194119 HAS SOUS 62777 HAS SOUPS 62180 WITH SCORE 62382.534
AT ITER 1634 NEW BEST:: SOT 323287 SOS 202348 HAS SOPS 193933 HAS SOUS 62715 HAS SOUPS 62118 WITH SCORE 62320.348
AT ITER 1643 NEW BEST:: SOT 323491 SOS 202552 HAS SOPS 194139 HAS SOUS 62707 HAS SOUPS 62112 WITH SCORE 62314.552
AT ITER 1644 NEW BEST:: SOT 323406 SOS 202385 HAS SOPS 193972 HAS SOUS 62540 HAS SOUPS 61945 WITH SCORE 62147.385
AT ITER 1647 NEW BEST:: SOT 323422 SOS 202401 HAS SOPS 193988 HAS SOUS 62531 HAS SOUPS 61936 WITH SCORE 62138.401
AT ITER 1652 NEW BEST:: SOT 323302 SOS 201974 HAS SOPS 193561 HAS SOUS 62180 HAS SOUPS 61585 WITH SCORE 61786.974
AT ITER 1655 NEW BEST:: SOT 324252 SOS 203424 HAS SOPS 195011 HAS SOUS 61965 HAS SOUPS 61370 WITH SCORE 61573.424
AT ITER 1656 NEW BEST:: SOT 324129 SOS 203301 HAS SOPS 194888 HAS SOUS 61892 HAS SOUPS 61297 WITH SCORE 61500.301
AT ITER 1658 NEW BEST:: SOT 324155 SOS 203327 HAS SOPS 194914 HAS SOUS 61869 HAS SOUPS 61274 WITH SCORE 61477.327
AT ITER 1659 NEW BEST:: SOT 324155 SOS 203283 HAS SOPS 194870 HAS SOUS 61869 HAS SOUPS 61274 WITH SCORE 61477.283
AT ITER 1661 NEW BEST:: SOT 324115 SOS 203259 HAS SOPS 194846 HAS SOUS 61735 HAS SOUPS 61140 WITH SCORE 61343.259
AT ITER 1662 NEW BEST:: SOT 324142 SOS 203218 HAS SOPS 194805 HAS SOUS 61699 HAS SOUPS 61104 WITH SCORE 61307.218
AT ITER 1664 NEW BEST:: SOT 323862 SOS 202938 HAS SOPS 194525 HAS SOUS 61640 HAS SOUPS 61045 WITH SCORE 61247.938
AT ITER 1665 NEW BEST:: SOT 324027 SOS 202959 HAS SOPS 194592 HAS SOUS 61498 HAS SOUPS 60903 WITH SCORE 61105.959
AT ITER 1673 NEW BEST:: SOT 323943 SOS 202875 HAS SOPS 194508 HAS SOUS 61477 HAS SOUPS 60882 WITH SCORE 61084.875
AT ITER 1677 NEW BEST:: SOT 323867 SOS 202653 HAS SOPS 194286 HAS SOUS 61408 HAS SOUPS 60813 WITH SCORE 61015.653
AT ITER 1679 NEW BEST:: SOT 323783 SOS 202569 HAS SOPS 194202 HAS SOUS 61276 HAS SOUPS 60681 WITH SCORE 60883.569
AT ITER 1680 NEW BEST:: SOT 323747 SOS 202034 HAS SOPS 193905 HAS SOUS 61121 HAS SOUPS 60540 WITH SCORE 60742.034
AT ITER 1681 NEW BEST:: SOT 323501 SOS 201650 HAS SOPS 193508 HAS SOUS 60893 HAS SOUPS 60312 WITH SCORE 60513.65
AT ITER 1685 NEW BEST:: SOT 323324 SOS 201473 HAS SOPS 193331 HAS SOUS 60776 HAS SOUPS 60195 WITH SCORE 60396.473
AT ITER 1687 NEW BEST:: SOT 323193 SOS 201342 HAS SOPS 193152 HAS SOUS 60578 HAS SOUPS 59993 WITH SCORE 60194.342
AT ITER 1701 NEW BEST:: SOT 323163 SOS 201266 HAS SOPS 193076 HAS SOUS 60419 HAS SOUPS 59834 WITH SCORE 60035.266
AT ITER 1710 NEW BEST:: SOT 323163 SOS 201261 HAS SOPS 193071 HAS SOUS 60409 HAS SOUPS 59824 WITH SCORE 60025.261
AT ITER 1718 NEW BEST:: SOT 323162 SOS 201262 HAS SOPS 193072 HAS SOUS 60407 HAS SOUPS 59822 WITH SCORE 60023.262
AT ITER 1723 NEW BEST:: SOT 322732 SOS 200832 HAS SOPS 192642 HAS SOUS 60169 HAS SOUPS 59584 WITH SCORE 59784.832
AT ITER 1728 NEW BEST:: SOT 322679 SOS 200780 HAS SOPS 192590 HAS SOUS 60117 HAS SOUPS 59532 WITH SCORE 59732.78
AT ITER 1749 NEW BEST:: SOT 322679 SOS 200724 HAS SOPS 192534 HAS SOUS 60089 HAS SOUPS 59504 WITH SCORE 59704.724
AT ITER 1776 NEW BEST:: SOT 322790 SOS 200835 HAS SOPS 192645 HAS SOUS 59851 HAS SOUPS 59266 WITH SCORE 59466.835
AT ITER 1777 NEW BEST:: SOT 322798 SOS 200866 HAS SOPS 192676 HAS SOUS 59844 HAS SOUPS 59259 WITH SCORE 59459.866
AT ITER 1785 NEW BEST:: SOT 322302 SOS 200370 HAS SOPS 192180 HAS SOUS 59795 HAS SOUPS 59210 WITH SCORE 59410.37
AT ITER 1802 NEW BEST:: SOT 322302 SOS 200370 HAS SOPS 192180 HAS SOUS 59760 HAS SOUPS 59175 WITH SCORE 59375.37
AT ITER 1806 NEW BEST:: SOT 322351 SOS 200272 HAS SOPS 192082 HAS SOUS 59711 HAS SOUPS 59126 WITH SCORE 59326.272
AT ITER 1807 NEW BEST:: SOT 322239 SOS 200160 HAS SOPS 191970 HAS SOUS 59661 HAS SOUPS 59076 WITH SCORE 59276.16
AT ITER 1818 NEW BEST:: SOT 322042 SOS 199905 HAS SOPS 191709 HAS SOUS 59460 HAS SOUPS 58875 WITH SCORE 59074.905
AT ITER 1830 NEW BEST:: SOT 320493 SOS 198146 HAS SOPS 189901 HAS SOUS 59105 HAS SOUPS 58520 WITH SCORE 58718.146
AT ITER 1836 NEW BEST:: SOT 320589 SOS 198242 HAS SOPS 189997 HAS SOUS 58971 HAS SOUPS 58386 WITH SCORE 58584.242
AT ITER 1837 NEW BEST:: SOT 320559 SOS 198212 HAS SOPS 189967 HAS SOUS 58959 HAS SOUPS 58374 WITH SCORE 58572.212
AT ITER 1853 NEW BEST:: SOT 320883 SOS 198554 HAS SOPS 190309 HAS SOUS 58502 HAS SOUPS 57917 WITH SCORE 58115.554
AT ITER 1854 NEW BEST:: SOT 320883 SOS 198533 HAS SOPS 190288 HAS SOUS 58445 HAS SOUPS 57860 WITH SCORE 58058.533
AT ITER 1860 NEW BEST:: SOT 320856 SOS 198274 HAS SOPS 190029 HAS SOUS 58362 HAS SOUPS 57777 WITH SCORE 57975.274
AT ITER 1867 NEW BEST:: SOT 320711 SOS 198129 HAS SOPS 189884 HAS SOUS 58217 HAS SOUPS 57632 WITH SCORE 57830.129
AT ITER 1871 NEW BEST:: SOT 320309 SOS 189680 HAS SOPS 185754 HAS SOUS 56936 HAS SOUPS 56611 WITH SCORE 56800.68
AT ITER 1879 NEW BEST:: SOT 320622 SOS 189993 HAS SOPS 186067 HAS SOUS 56824 HAS SOUPS 56499 WITH SCORE 56688.993
AT ITER 1892 NEW BEST:: SOT 320640 SOS 189862 HAS SOPS 185936 HAS SOUS 56815 HAS SOUPS 56490 WITH SCORE 56679.862
AT ITER 1904 NEW BEST:: SOT 320640 SOS 189794 HAS SOPS 185826 HAS SOUS 56795 HAS SOUPS 56470 WITH SCORE 56659.794
AT ITER 1907 NEW BEST:: SOT 320640 SOS 189713 HAS SOPS 185745 HAS SOUS 56765 HAS SOUPS 56440 WITH SCORE 56629.713
AT ITER 1911 NEW BEST:: SOT 320423 SOS 189314 HAS SOPS 185294 HAS SOUS 56614 HAS SOUPS 56289 WITH SCORE 56478.314
AT ITER 1912 NEW BEST:: SOT 320333 SOS 189224 HAS SOPS 185204 HAS SOUS 56548 HAS SOUPS 56223 WITH SCORE 56412.224
AT ITER 1926 NEW BEST:: SOT 319890 SOS 188781 HAS SOPS 184761 HAS SOUS 56316 HAS SOUPS 55991 WITH SCORE 56179.781
AT ITER 1927 NEW BEST:: SOT 319890 SOS 188781 HAS SOPS 184761 HAS SOUS 56302 HAS SOUPS 55977 WITH SCORE 56165.781
AT ITER 1999 NEW BEST:: SOT 319804 SOS 188695 HAS SOPS 184675 HAS SOUS 56170 HAS SOUPS 55845 WITH SCORE 56033.695
AT ITER 2006 NEW BEST:: SOT 319804 SOS 188697 HAS SOPS 184677 HAS SOUS 56160 HAS SOUPS 55835 WITH SCORE 56023.697
AT ITER 2014 NEW BEST:: SOT 319897 SOS 188806 HAS SOPS 184826 HAS SOUS 56130 HAS SOUPS 55813 WITH SCORE 56001.806
AT ITER 2015 NEW BEST:: SOT 319897 SOS 188341 HAS SOPS 184332 HAS SOUS 55919 HAS SOUPS 55602 WITH SCORE 55790.341
AT ITER 2030 NEW BEST:: SOT 319885 SOS 188329 HAS SOPS 184320 HAS SOUS 55907 HAS SOUPS 55590 WITH SCORE 55778.329
AT ITER 2031 NEW BEST:: SOT 319977 SOS 188331 HAS SOPS 184322 HAS SOUS 55709 HAS SOUPS 55392 WITH SCORE 55580.331
AT ITER 2039 NEW BEST:: SOT 319150 SOS 187438 HAS SOPS 183429 HAS SOUS 55239 HAS SOUPS 54922 WITH SCORE 55109.438
AT ITER 2040 NEW BEST:: SOT 319127 SOS 187265 HAS SOPS 183234 HAS SOUS 55187 HAS SOUPS 54870 WITH SCORE 55057.265
AT ITER 2072 NEW BEST:: SOT 318801 SOS 186939 HAS SOPS 182908 HAS SOUS 54938 HAS SOUPS 54621 WITH SCORE 54807.939
AT ITER 2081 NEW BEST:: SOT 318771 SOS 186832 HAS SOPS 182801 HAS SOUS 54839 HAS SOUPS 54522 WITH SCORE 54708.832
AT ITER 2085 NEW BEST:: SOT 318739 SOS 186794 HAS SOPS 182763 HAS SOUS 54785 HAS SOUPS 54468 WITH SCORE 54654.794
AT ITER 2099 NEW BEST:: SOT 318248 SOS 185735 HAS SOPS 181704 HAS SOUS 54393 HAS SOUPS 54076 WITH SCORE 54261.735
AT ITER 2101 NEW BEST:: SOT 318248 SOS 183443 HAS SOPS 179412 HAS SOUS 54380 HAS SOUPS 54063 WITH SCORE 54246.443
AT ITER 2102 NEW BEST:: SOT 318093 SOS 183279 HAS SOPS 179248 HAS SOUS 54265 HAS SOUPS 53948 WITH SCORE 54131.279
AT ITER 2108 NEW BEST:: SOT 317966 SOS 183152 HAS SOPS 179121 HAS SOUS 54151 HAS SOUPS 53834 WITH SCORE 54017.152
AT ITER 2112 NEW BEST:: SOT 317979 SOS 182793 HAS SOPS 178762 HAS SOUS 54005 HAS SOUPS 53688 WITH SCORE 53870.793
AT ITER 2119 NEW BEST:: SOT 317956 SOS 182770 HAS SOPS 178739 HAS SOUS 53919 HAS SOUPS 53602 WITH SCORE 53784.77
AT ITER 2121 NEW BEST:: SOT 317825 SOS 182721 HAS SOPS 178690 HAS SOUS 53723 HAS SOUPS 53406 WITH SCORE 53588.721
AT ITER 2124 NEW BEST:: SOT 317842 SOS 182703 HAS SOPS 178672 HAS SOUS 53723 HAS SOUPS 53406 WITH SCORE 53588.703
AT ITER 2128 NEW BEST:: SOT 317776 SOS 182637 HAS SOPS 178606 HAS SOUS 53657 HAS SOUPS 53340 WITH SCORE 53522.637
AT ITER 2143 NEW BEST:: SOT 317776 SOS 182543 HAS SOPS 178512 HAS SOUS 53627 HAS SOUPS 53310 WITH SCORE 53492.543
AT ITER 2144 NEW BEST:: SOT 317841 SOS 182915 HAS SOPS 178884 HAS SOUS 53538 HAS SOUPS 53221 WITH SCORE 53403.915
AT ITER 2149 NEW BEST:: SOT 317857 SOS 182913 HAS SOPS 178868 HAS SOUS 53508 HAS SOUPS 53191 WITH SCORE 53373.913
AT ITER 2161 NEW BEST:: SOT 317881 SOS 182941 HAS SOPS 178900 HAS SOUS 53466 HAS SOUPS 53149 WITH SCORE 53331.941
AT ITER 2172 NEW BEST:: SOT 317973 SOS 183045 HAS SOPS 179004 HAS SOUS 53418 HAS SOUPS 53101 WITH SCORE 53284.045
AT ITER 2208 NEW BEST:: SOT 318106 SOS 182419 HAS SOPS 178409 HAS SOUS 53322 HAS SOUPS 53036 WITH SCORE 53218.419
AT ITER 2220 NEW BEST:: SOT 318120 SOS 182381 HAS SOPS 178371 HAS SOUS 53224 HAS SOUPS 52938 WITH SCORE 53120.381
AT ITER 2223 NEW BEST:: SOT 317097 SOS 181358 HAS SOPS 177348 HAS SOUS 52646 HAS SOUPS 52360 WITH SCORE 52541.358
AT ITER 2226 NEW BEST:: SOT 317173 SOS 181434 HAS SOPS 177424 HAS SOUS 52278 HAS SOUPS 51992 WITH SCORE 52173.434
AT ITER 2238 NEW BEST:: SOT 317173 SOS 181412 HAS SOPS 177402 HAS SOUS 52256 HAS SOUPS 51970 WITH SCORE 52151.412
AT ITER 2250 NEW BEST:: SOT 317236 SOS 181454 HAS SOPS 177444 HAS SOUS 52217 HAS SOUPS 51931 WITH SCORE 52112.454
AT ITER 2259 NEW BEST:: SOT 317283 SOS 181690 HAS SOPS 177680 HAS SOUS 52195 HAS SOUPS 51909 WITH SCORE 52090.69
AT ITER 2267 NEW BEST:: SOT 317263 SOS 181670 HAS SOPS 177680 HAS SOUS 52185 HAS SOUPS 51899 WITH SCORE 52080.67
AT ITER 2273 NEW BEST:: SOT 317253 SOS 181800 HAS SOPS 177884 HAS SOUS 51811 HAS SOUPS 51528 WITH SCORE 51709.8
AT ITER 2275 NEW BEST:: SOT 317241 SOS 181788 HAS SOPS 177872 HAS SOUS 51799 HAS SOUPS 51516 WITH SCORE 51697.788
AT ITER 2277 NEW BEST:: SOT 316967 SOS 182734 HAS SOPS 178818 HAS SOUS 51776 HAS SOUPS 51493 WITH SCORE 51675.734
AT ITER 2293 NEW BEST:: SOT 316980 SOS 182694 HAS SOPS 178778 HAS SOUS 51736 HAS SOUPS 51453 WITH SCORE 51635.694
AT ITER 2302 NEW BEST:: SOT 316897 SOS 182677 HAS SOPS 178761 HAS SOUS 51736 HAS SOUPS 51453 WITH SCORE 51635.677
AT ITER 2307 NEW BEST:: SOT 316461 SOS 182241 HAS SOPS 178325 HAS SOUS 51595 HAS SOUPS 51312 WITH SCORE 51494.241
AT ITER 2309 NEW BEST:: SOT 316461 SOS 182239 HAS SOPS 178323 HAS SOUS 51593 HAS SOUPS 51310 WITH SCORE 51492.239
AT ITER 2311 NEW BEST:: SOT 316458 SOS 182236 HAS SOPS 178320 HAS SOUS 51593 HAS SOUPS 51310 WITH SCORE 51492.236
AT ITER 2318 NEW BEST:: SOT 316458 SOS 182108 HAS SOPS 178192 HAS SOUS 51561 HAS SOUPS 51278 WITH SCORE 51460.108
AT ITER 2320 NEW BEST:: SOT 316606 SOS 182256 HAS SOPS 178340 HAS SOUS 51560 HAS SOUPS 51277 WITH SCORE 51459.256
AT ITER 2323 NEW BEST:: SOT 316586 SOS 182236 HAS SOPS 178320 HAS SOUS 51560 HAS SOUPS 51277 WITH SCORE 51459.236
AT ITER 2341 NEW BEST:: SOT 316587 SOS 182542 HAS SOPS 178626 HAS SOUS 51529 HAS SOUPS 51246 WITH SCORE 51428.542
AT ITER 2349 NEW BEST:: SOT 316935 SOS 183000 HAS SOPS 179084 HAS SOUS 51348 HAS SOUPS 51065 WITH SCORE 51248.0
AT ITER 2357 NEW BEST:: SOT 316935 SOS 183000 HAS SOPS 179084 HAS SOUS 51320 HAS SOUPS 51037 WITH SCORE 51220.0
AT ITER 2372 NEW BEST:: SOT 316916 SOS 182981 HAS SOPS 179065 HAS SOUS 51320 HAS SOUPS 51037 WITH SCORE 51219.981
AT ITER 2408 NEW BEST:: SOT 316854 SOS 183308 HAS SOPS 179392 HAS SOUS 51317 HAS SOUPS 51034 WITH SCORE 51217.308
AT ITER 2417 NEW BEST:: SOT 316680 SOS 183024 HAS SOPS 179105 HAS SOUS 51072 HAS SOUPS 50789 WITH SCORE 50972.024
AT ITER 2419 NEW BEST:: SOT 316680 SOS 182916 HAS SOPS 178997 HAS SOUS 51072 HAS SOUPS 50789 WITH SCORE 50971.916
AT ITER 2448 NEW BEST:: SOT 316161 SOS 182376 HAS SOPS 178457 HAS SOUS 50900 HAS SOUPS 50617 WITH SCORE 50799.376
AT ITER 2461 NEW BEST:: SOT 316119 SOS 182334 HAS SOPS 178415 HAS SOUS 50713 HAS SOUPS 50430 WITH SCORE 50612.334
AT ITER 2481 NEW BEST:: SOT 316110 SOS 182271 HAS SOPS 178352 HAS SOUS 50686 HAS SOUPS 50403 WITH SCORE 50585.271
AT ITER 2488 NEW BEST:: SOT 316112 SOS 182273 HAS SOPS 178354 HAS SOUS 50673 HAS SOUPS 50390 WITH SCORE 50572.273
AT ITER 2494 NEW BEST:: SOT 316102 SOS 182206 HAS SOPS 178287 HAS SOUS 50653 HAS SOUPS 50370 WITH SCORE 50552.206
AT ITER 2510 NEW BEST:: SOT 316042 SOS 182167 HAS SOPS 178248 HAS SOUS 50646 HAS SOUPS 50363 WITH SCORE 50545.167
AT ITER 2514 NEW BEST:: SOT 316042 SOS 182139 HAS SOPS 178220 HAS SOUS 50618 HAS SOUPS 50335 WITH SCORE 50517.139
AT ITER 2516 NEW BEST:: SOT 316032 SOS 182063 HAS SOPS 178144 HAS SOUS 50601 HAS SOUPS 50318 WITH SCORE 50500.063
AT ITER 2537 NEW BEST:: SOT 316032 SOS 182052 HAS SOPS 178133 HAS SOUS 50579 HAS SOUPS 50296 WITH SCORE 50478.052
AT ITER 2553 NEW BEST:: SOT 316032 SOS 182052 HAS SOPS 178133 HAS SOUS 50499 HAS SOUPS 50216 WITH SCORE 50398.052
AT ITER 2554 NEW BEST:: SOT 315839 SOS 181830 HAS SOPS 177882 HAS SOUS 50446 HAS SOUPS 50163 WITH SCORE 50344.83
AT ITER 2562 NEW BEST:: SOT 315736 SOS 181727 HAS SOPS 177779 HAS SOUS 50435 HAS SOUPS 50152 WITH SCORE 50333.727
AT ITER 2564 NEW BEST:: SOT 315450 SOS 180265 HAS SOPS 176317 HAS SOUS 50312 HAS SOUPS 50029 WITH SCORE 50209.265
AT ITER 2604 NEW BEST:: SOT 315436 SOS 180223 HAS SOPS 176275 HAS SOUS 50297 HAS SOUPS 50014 WITH SCORE 50194.223
AT ITER 2611 NEW BEST:: SOT 315436 SOS 180223 HAS SOPS 176275 HAS SOUS 50295 HAS SOUPS 50012 WITH SCORE 50192.223
AT ITER 2618 NEW BEST:: SOT 315203 SOS 179990 HAS SOPS 176042 HAS SOUS 50203 HAS SOUPS 49920 WITH SCORE 50099.99
AT ITER 2633 NEW BEST:: SOT 315290 SOS 180077 HAS SOPS 176129 HAS SOUS 50187 HAS SOUPS 49904 WITH SCORE 50084.077
AT ITER 2656 NEW BEST:: SOT 315280 SOS 179194 HAS SOPS 175711 HAS SOUS 50119 HAS SOUPS 49860 WITH SCORE 50039.194
AT ITER 2681 NEW BEST:: SOT 315283 SOS 179191 HAS SOPS 175708 HAS SOUS 50119 HAS SOUPS 49860 WITH SCORE 50039.191
AT ITER 2698 NEW BEST:: SOT 315138 SOS 179046 HAS SOPS 175563 HAS SOUS 49978 HAS SOUPS 49719 WITH SCORE 49898.046
AT ITER 2705 NEW BEST:: SOT 315185 SOS 178976 HAS SOPS 175493 HAS SOUS 49943 HAS SOUPS 49684 WITH SCORE 49862.976
AT ITER 2711 NEW BEST:: SOT 314981 SOS 178772 HAS SOPS 175289 HAS SOUS 49885 HAS SOUPS 49626 WITH SCORE 49804.772
AT ITER 2720 NEW BEST:: SOT 314909 SOS 178700 HAS SOPS 175217 HAS SOUS 49813 HAS SOUPS 49554 WITH SCORE 49732.7
AT ITER 2721 NEW BEST:: SOT 314908 SOS 178699 HAS SOPS 175216 HAS SOUS 49793 HAS SOUPS 49534 WITH SCORE 49712.699
AT ITER 2727 NEW BEST:: SOT 314918 SOS 178709 HAS SOPS 175226 HAS SOUS 49767 HAS SOUPS 49508 WITH SCORE 49686.709
AT ITER 2728 NEW BEST:: SOT 314828 SOS 178311 HAS SOPS 174828 HAS SOUS 49689 HAS SOUPS 49430 WITH SCORE 49608.311
AT ITER 2733 NEW BEST:: SOT 314828 SOS 178311 HAS SOPS 174828 HAS SOUS 49688 HAS SOUPS 49429 WITH SCORE 49607.311
AT ITER 2744 NEW BEST:: SOT 314733 SOS 178086 HAS SOPS 174603 HAS SOUS 49648 HAS SOUPS 49389 WITH SCORE 49567.086
AT ITER 2769 NEW BEST:: SOT 314686 SOS 178125 HAS SOPS 174642 HAS SOUS 49617 HAS SOUPS 49358 WITH SCORE 49536.125
AT ITER 2789 NEW BEST:: SOT 314798 SOS 178098 HAS SOPS 174540 HAS SOUS 49532 HAS SOUPS 49269 WITH SCORE 49447.098
AT ITER 2791 NEW BEST:: SOT 314795 SOS 177371 HAS SOPS 174193 HAS SOUS 49469 HAS SOUPS 49226 WITH SCORE 49403.371
AT ITER 2796 NEW BEST:: SOT 314795 SOS 177421 HAS SOPS 174243 HAS SOUS 49448 HAS SOUPS 49205 WITH SCORE 49382.421
AT ITER 2818 NEW BEST:: SOT 314821 SOS 177447 HAS SOPS 174269 HAS SOUS 49429 HAS SOUPS 49186 WITH SCORE 49363.447
AT ITER 2823 NEW BEST:: SOT 314277 SOS 176903 HAS SOPS 173725 HAS SOUS 49332 HAS SOUPS 49089 WITH SCORE 49265.903
AT ITER 2831 NEW BEST:: SOT 314063 SOS 176444 HAS SOPS 173266 HAS SOUS 49236 HAS SOUPS 48993 WITH SCORE 49169.444
AT ITER 2858 NEW BEST:: SOT 313573 SOS 175954 HAS SOPS 172776 HAS SOUS 49088 HAS SOUPS 48845 WITH SCORE 49020.954
AT ITER 2860 NEW BEST:: SOT 313223 SOS 175604 HAS SOPS 172426 HAS SOUS 48868 HAS SOUPS 48625 WITH SCORE 48800.604
AT ITER 2862 NEW BEST:: SOT 313223 SOS 175604 HAS SOPS 172426 HAS SOUS 48835 HAS SOUPS 48592 WITH SCORE 48767.604
AT ITER 2869 NEW BEST:: SOT 313240 SOS 175621 HAS SOPS 172443 HAS SOUS 48822 HAS SOUPS 48579 WITH SCORE 48754.621
AT ITER 2880 NEW BEST:: SOT 312793 SOS 175172 HAS SOPS 171994 HAS SOUS 48668 HAS SOUPS 48425 WITH SCORE 48600.172
AT ITER 2887 NEW BEST:: SOT 312733 SOS 175112 HAS SOPS 171934 HAS SOUS 48668 HAS SOUPS 48425 WITH SCORE 48600.112
AT ITER 2896 NEW BEST:: SOT 312782 SOS 175161 HAS SOPS 171983 HAS SOUS 48648 HAS SOUPS 48405 WITH SCORE 48580.161
AT ITER 2898 NEW BEST:: SOT 311734 SOS 173558 HAS SOPS 170380 HAS SOUS 48621 HAS SOUPS 48378 WITH SCORE 48551.558
AT ITER 2904 NEW BEST:: SOT 311659 SOS 173483 HAS SOPS 170305 HAS SOUS 48545 HAS SOUPS 48302 WITH SCORE 48475.483
AT ITER 2917 NEW BEST:: SOT 311687 SOS 173604 HAS SOPS 170426 HAS SOUS 48394 HAS SOUPS 48151 WITH SCORE 48324.604
AT ITER 2922 NEW BEST:: SOT 311615 SOS 173430 HAS SOPS 170252 HAS SOUS 48322 HAS SOUPS 48079 WITH SCORE 48252.43
AT ITER 2966 NEW BEST:: SOT 311590 SOS 173443 HAS SOPS 170317 HAS SOUS 48319 HAS SOUPS 48076 WITH SCORE 48249.443
AT ITER 2970 NEW BEST:: SOT 311397 SOS 173151 HAS SOPS 170025 HAS SOUS 48168 HAS SOUPS 47925 WITH SCORE 48098.151
AT ITER 2996 NEW BEST:: SOT 311613 SOS 173367 HAS SOPS 170241 HAS SOUS 48156 HAS SOUPS 47913 WITH SCORE 48086.367
AT ITER 3003 NEW BEST:: SOT 311226 SOS 172980 HAS SOPS 169854 HAS SOUS 48070 HAS SOUPS 47827 WITH SCORE 47999.98
AT ITER 3006 NEW BEST:: SOT 311798 SOS 173552 HAS SOPS 170426 HAS SOUS 48008 HAS SOUPS 47765 WITH SCORE 47938.552
AT ITER 3012 NEW BEST:: SOT 311837 SOS 173441 HAS SOPS 170315 HAS SOUS 47843 HAS SOUPS 47600 WITH SCORE 47773.441
AT ITER 3014 NEW BEST:: SOT 311837 SOS 173361 HAS SOPS 170195 HAS SOUS 47803 HAS SOUPS 47560 WITH SCORE 47733.361
AT ITER 3052 NEW BEST:: SOT 311837 SOS 173358 HAS SOPS 170192 HAS SOUS 47803 HAS SOUPS 47560 WITH SCORE 47733.358
AT ITER 3064 NEW BEST:: SOT 311793 SOS 171628 HAS SOPS 171047 HAS SOUS 47037 HAS SOUPS 46942 WITH SCORE 47113.628
AT ITER 3072 NEW BEST:: SOT 311768 SOS 171472 HAS SOPS 170891 HAS SOUS 46881 HAS SOUPS 46786 WITH SCORE 46957.472
AT ITER 3075 NEW BEST:: SOT 311750 SOS 171454 HAS SOPS 170873 HAS SOUS 46630 HAS SOUPS 46535 WITH SCORE 46706.454
AT ITER 3110 NEW BEST:: SOT 311792 SOS 171454 HAS SOPS 170873 HAS SOUS 46618 HAS SOUPS 46523 WITH SCORE 46694.454
AT ITER 3111 NEW BEST:: SOT 311792 SOS 171420 HAS SOPS 170839 HAS SOUS 46584 HAS SOUPS 46489 WITH SCORE 46660.42
AT ITER 3121 NEW BEST:: SOT 311869 SOS 171256 HAS SOPS 170675 HAS SOUS 46539 HAS SOUPS 46444 WITH SCORE 46615.256
AT ITER 3141 NEW BEST:: SOT 311860 SOS 171247 HAS SOPS 170666 HAS SOUS 46536 HAS SOUPS 46441 WITH SCORE 46612.247
AT ITER 3143 NEW BEST:: SOT 311860 SOS 171247 HAS SOPS 170666 HAS SOUS 46276 HAS SOUPS 46181 WITH SCORE 46352.247
AT ITER 3144 NEW BEST:: SOT 311860 SOS 171244 HAS SOPS 170663 HAS SOUS 46276 HAS SOUPS 46181 WITH SCORE 46352.244
AT ITER 3156 NEW BEST:: SOT 312010 SOS 171394 HAS SOPS 170813 HAS SOUS 46234 HAS SOUPS 46139 WITH SCORE 46310.394
AT ITER 3161 NEW BEST:: SOT 312307 SOS 171596 HAS SOPS 171015 HAS SOUS 46187 HAS SOUPS 46092 WITH SCORE 46263.596
AT ITER 3163 NEW BEST:: SOT 312232 SOS 171497 HAS SOPS 170916 HAS SOUS 46121 HAS SOUPS 46026 WITH SCORE 46197.497
AT ITER 3165 NEW BEST:: SOT 312228 SOS 171553 HAS SOPS 170980 HAS SOUS 46061 HAS SOUPS 45974 WITH SCORE 46145.553
AT ITER 3168 NEW BEST:: SOT 312127 SOS 171452 HAS SOPS 170879 HAS SOUS 46034 HAS SOUPS 45947 WITH SCORE 46118.452
AT ITER 3173 NEW BEST:: SOT 312127 SOS 171464 HAS SOPS 170891 HAS SOUS 46010 HAS SOUPS 45923 WITH SCORE 46094.464
AT ITER 3179 NEW BEST:: SOT 312127 SOS 171464 HAS SOPS 170891 HAS SOUS 46007 HAS SOUPS 45920 WITH SCORE 46091.464
AT ITER 3190 NEW BEST:: SOT 312055 SOS 171631 HAS SOPS 171132 HAS SOUS 45898 HAS SOUPS 45818 WITH SCORE 45989.631
AT ITER 3193 NEW BEST:: SOT 311943 SOS 171519 HAS SOPS 171020 HAS SOUS 45890 HAS SOUPS 45810 WITH SCORE 45981.519
AT ITER 3202 NEW BEST:: SOT 311924 SOS 171500 HAS SOPS 171001 HAS SOUS 45866 HAS SOUPS 45786 WITH SCORE 45957.5
AT ITER 3213 NEW BEST:: SOT 311909 SOS 171485 HAS SOPS 170986 HAS SOUS 45854 HAS SOUPS 45774 WITH SCORE 45945.485
AT ITER 3235 NEW BEST:: SOT 311909 SOS 171465 HAS SOPS 170966 HAS SOUS 45834 HAS SOUPS 45754 WITH SCORE 45925.465
AT ITER 3238 NEW BEST:: SOT 312246 SOS 171802 HAS SOPS 171303 HAS SOUS 45800 HAS SOUPS 45720 WITH SCORE 45891.802
AT ITER 3242 NEW BEST:: SOT 312246 SOS 171901 HAS SOPS 171402 HAS SOUS 45797 HAS SOUPS 45717 WITH SCORE 45888.901
AT ITER 3249 NEW BEST:: SOT 312207 SOS 171862 HAS SOPS 171363 HAS SOUS 45767 HAS SOUPS 45687 WITH SCORE 45858.862
AT ITER 3266 NEW BEST:: SOT 312207 SOS 171840 HAS SOPS 171341 HAS SOUS 45745 HAS SOUPS 45665 WITH SCORE 45836.84
AT ITER 3304 NEW BEST:: SOT 312114 SOS 185416 HAS SOPS 184917 HAS SOUS 45611 HAS SOUPS 45531 WITH SCORE 45716.416
AT ITER 3312 NEW BEST:: SOT 312082 SOS 185392 HAS SOPS 184893 HAS SOUS 45599 HAS SOUPS 45519 WITH SCORE 45704.392
AT ITER 3316 NEW BEST:: SOT 312018 SOS 196153 HAS SOPS 195654 HAS SOUS 45476 HAS SOUPS 45396 WITH SCORE 45592.153
AT ITER 3322 NEW BEST:: SOT 312375 SOS 196510 HAS SOPS 196011 HAS SOUS 45402 HAS SOUPS 45322 WITH SCORE 45518.51
AT ITER 3329 NEW BEST:: SOT 312400 SOS 196435 HAS SOPS 195936 HAS SOUS 45175 HAS SOUPS 45095 WITH SCORE 45291.435
AT ITER 3335 NEW BEST:: SOT 312519 SOS 196554 HAS SOPS 196055 HAS SOUS 45164 HAS SOUPS 45084 WITH SCORE 45280.554
AT ITER 3338 NEW BEST:: SOT 312338 SOS 196373 HAS SOPS 195874 HAS SOUS 45156 HAS SOUPS 45076 WITH SCORE 45272.373
AT ITER 3345 NEW BEST:: SOT 312338 SOS 196371 HAS SOPS 195872 HAS SOUS 45154 HAS SOUPS 45074 WITH SCORE 45270.371
AT ITER 3349 NEW BEST:: SOT 312349 SOS 196349 HAS SOPS 195850 HAS SOUS 45143 HAS SOUPS 45063 WITH SCORE 45259.349
AT ITER 3356 NEW BEST:: SOT 312358 SOS 196218 HAS SOPS 195696 HAS SOUS 45080 HAS SOUPS 44993 WITH SCORE 45189.218
AT ITER 3365 NEW BEST:: SOT 312026 SOS 195886 HAS SOPS 195364 HAS SOUS 44721 HAS SOUPS 44634 WITH SCORE 44829.886
AT ITER 3397 NEW BEST:: SOT 311970 SOS 195830 HAS SOPS 195308 HAS SOUS 44701 HAS SOUPS 44614 WITH SCORE 44809.83
AT ITER 3407 NEW BEST:: SOT 312238 SOS 195982 HAS SOPS 195460 HAS SOUS 44537 HAS SOUPS 44450 WITH SCORE 44645.982
AT ITER 3419 NEW BEST:: SOT 312253 SOS 196035 HAS SOPS 195513 HAS SOUS 44529 HAS SOUPS 44442 WITH SCORE 44638.035
AT ITER 3425 NEW BEST:: SOT 312253 SOS 196137 HAS SOPS 195615 HAS SOUS 44456 HAS SOUPS 44369 WITH SCORE 44565.137
AT ITER 3430 NEW BEST:: SOT 312295 SOS 196027 HAS SOPS 195505 HAS SOUS 44376 HAS SOUPS 44289 WITH SCORE 44485.027
AT ITER 3437 NEW BEST:: SOT 312338 SOS 196070 HAS SOPS 195548 HAS SOUS 44366 HAS SOUPS 44279 WITH SCORE 44475.07
AT ITER 3441 NEW BEST:: SOT 312338 SOS 194509 HAS SOPS 193987 HAS SOUS 44366 HAS SOUPS 44279 WITH SCORE 44473.509
AT ITER 3450 NEW BEST:: SOT 312321 SOS 194492 HAS SOPS 193970 HAS SOUS 44333 HAS SOUPS 44246 WITH SCORE 44440.492
AT ITER 3459 NEW BEST:: SOT 312046 SOS 230004 HAS SOPS 230004 HAS SOUS 44127 HAS SOUPS 44127 WITH SCORE 44357.004
AT ITER 3501 NEW BEST:: SOT 312015 SOS 229973 HAS SOPS 229973 HAS SOUS 44122 HAS SOUPS 44122 WITH SCORE 44351.973
AT ITER 3502 NEW BEST:: SOT 311985 SOS 229943 HAS SOPS 229943 HAS SOUS 44120 HAS SOUPS 44120 WITH SCORE 44349.943
AT ITER 3529 NEW BEST:: SOT 311985 SOS 229925 HAS SOPS 229925 HAS SOUS 44102 HAS SOUPS 44102 WITH SCORE 44331.925
AT ITER 3532 NEW BEST:: SOT 311987 SOS 229927 HAS SOPS 229927 HAS SOUS 44012 HAS SOUPS 44012 WITH SCORE 44241.927
AT ITER 3535 NEW BEST:: SOT 311987 SOS 230008 HAS SOPS 230008 HAS SOUS 44003 HAS SOUPS 44003 WITH SCORE 44233.008
AT ITER 3536 NEW BEST:: SOT 311988 SOS 230009 HAS SOPS 230009 HAS SOUS 44002 HAS SOUPS 44002 WITH SCORE 44232.009
AT ITER 3577 NEW BEST:: SOT 312039 SOS 230134 HAS SOPS 230134 HAS SOUS 43874 HAS SOUPS 43874 WITH SCORE 44104.134
AT ITER 3581 NEW BEST:: SOT 311940 SOS 230035 HAS SOPS 230035 HAS SOUS 43874 HAS SOUPS 43874 WITH SCORE 44104.035
AT ITER 3590 NEW BEST:: SOT 311950 SOS 230004 HAS SOPS 230004 HAS SOUS 43843 HAS SOUPS 43843 WITH SCORE 44073.004
AT ITER 3628 NEW BEST:: SOT 312018 SOS 230072 HAS SOPS 230072 HAS SOUS 43834 HAS SOUPS 43834 WITH SCORE 44064.072
AT ITER 3632 NEW BEST:: SOT 311990 SOS 230016 HAS SOPS 230016 HAS SOUS 43778 HAS SOUPS 43778 WITH SCORE 44008.016
AT ITER 3634 NEW BEST:: SOT 311990 SOS 230015 HAS SOPS 230015 HAS SOUS 43777 HAS SOUPS 43777 WITH SCORE 44007.015
AT ITER 3638 NEW BEST:: SOT 311990 SOS 230015 HAS SOPS 230015 HAS SOUS 43707 HAS SOUPS 43707 WITH SCORE 43937.015
AT ITER 3641 NEW BEST:: SOT 311924 SOS 229949 HAS SOPS 229949 HAS SOUS 43661 HAS SOUPS 43661 WITH SCORE 43890.949
AT ITER 3642 NEW BEST:: SOT 311950 SOS 229975 HAS SOPS 229975 HAS SOUS 43648 HAS SOUPS 43648 WITH SCORE 43877.975
AT ITER 3719 NEW BEST:: SOT 311786 SOS 229811 HAS SOPS 229811 HAS SOUS 43545 HAS SOUPS 43545 WITH SCORE 43774.811
AT ITER 3725 NEW BEST:: SOT 311786 SOS 229759 HAS SOPS 229759 HAS SOUS 43493 HAS SOUPS 43493 WITH SCORE 43722.759
AT ITER 3744 NEW BEST:: SOT 311658 SOS 229631 HAS SOPS 229631 HAS SOUS 43439 HAS SOUPS 43439 WITH SCORE 43668.631
AT ITER 3746 NEW BEST:: SOT 311658 SOS 229631 HAS SOPS 229631 HAS SOUS 43421 HAS SOUPS 43421 WITH SCORE 43650.631
AT ITER 3751 NEW BEST:: SOT 311552 SOS 229589 HAS SOPS 229589 HAS SOUS 43408 HAS SOUPS 43408 WITH SCORE 43637.589
AT ITER 3764 NEW BEST:: SOT 311467 SOS 229504 HAS SOPS 229504 HAS SOUS 43364 HAS SOUPS 43364 WITH SCORE 43593.504
AT ITER 3790 NEW BEST:: SOT 311515 SOS 229552 HAS SOPS 229552 HAS SOUS 43324 HAS SOUPS 43324 WITH SCORE 43553.552
AT ITER 3793 NEW BEST:: SOT 311674 SOS 229711 HAS SOPS 229711 HAS SOUS 43286 HAS SOUPS 43286 WITH SCORE 43515.711
AT ITER 3807 NEW BEST:: SOT 311674 SOS 229711 HAS SOPS 229711 HAS SOUS 42929 HAS SOUPS 42929 WITH SCORE 43158.711
AT ITER 3826 NEW BEST:: SOT 311674 SOS 229711 HAS SOPS 229711 HAS SOUS 42926 HAS SOUPS 42926 WITH SCORE 43155.711
AT ITER 3830 NEW BEST:: SOT 311530 SOS 229567 HAS SOPS 229567 HAS SOUS 42918 HAS SOUPS 42918 WITH SCORE 43147.567
AT ITER 3834 NEW BEST:: SOT 311479 SOS 229516 HAS SOPS 229516 HAS SOUS 42887 HAS SOUPS 42887 WITH SCORE 43116.516
AT ITER 3859 NEW BEST:: SOT 311183 SOS 229256 HAS SOPS 229256 HAS SOUS 42627 HAS SOUPS 42627 WITH SCORE 42856.256
AT ITER 3861 NEW BEST:: SOT 310984 SOS 229057 HAS SOPS 229057 HAS SOUS 42593 HAS SOUPS 42593 WITH SCORE 42822.057
AT ITER 3869 NEW BEST:: SOT 310969 SOS 229042 HAS SOPS 229042 HAS SOUS 42519 HAS SOUPS 42519 WITH SCORE 42748.042
AT ITER 3874 NEW BEST:: SOT 310976 SOS 221668 HAS SOPS 221668 HAS SOUS 42493 HAS SOUPS 42493 WITH SCORE 42714.668
AT ITER 3881 NEW BEST:: SOT 310995 SOS 221618 HAS SOPS 221618 HAS SOUS 42443 HAS SOUPS 42443 WITH SCORE 42664.618
AT ITER 3885 NEW BEST:: SOT 310955 SOS 221570 HAS SOPS 221570 HAS SOUS 42419 HAS SOUPS 42419 WITH SCORE 42640.57
AT ITER 3906 NEW BEST:: SOT 310870 SOS 221485 HAS SOPS 221485 HAS SOUS 42355 HAS SOUPS 42355 WITH SCORE 42576.485
AT ITER 3909 NEW BEST:: SOT 310797 SOS 221761 HAS SOPS 221761 HAS SOUS 42341 HAS SOUPS 42341 WITH SCORE 42562.761
AT ITER 3910 NEW BEST:: SOT 310769 SOS 221733 HAS SOPS 221733 HAS SOUS 42299 HAS SOUPS 42299 WITH SCORE 42520.733
AT ITER 3940 NEW BEST:: SOT 310769 SOS 221721 HAS SOPS 221721 HAS SOUS 42287 HAS SOUPS 42287 WITH SCORE 42508.721
AT ITER 3944 NEW BEST:: SOT 310804 SOS 221756 HAS SOPS 221756 HAS SOUS 42267 HAS SOUPS 42267 WITH SCORE 42488.756
AT ITER 3949 NEW BEST:: SOT 310804 SOS 221743 HAS SOPS 221743 HAS SOUS 42254 HAS SOUPS 42254 WITH SCORE 42475.743
AT ITER 3969 NEW BEST:: SOT 310894 SOS 221727 HAS SOPS 221727 HAS SOUS 42238 HAS SOUPS 42238 WITH SCORE 42459.727
AT ITER 3971 NEW BEST:: SOT 310827 SOS 221660 HAS SOPS 221660 HAS SOUS 42229 HAS SOUPS 42229 WITH SCORE 42450.66
AT ITER 3976 NEW BEST:: SOT 310838 SOS 221648 HAS SOPS 221648 HAS SOUS 42195 HAS SOUPS 42195 WITH SCORE 42416.648
AT ITER 3996 NEW BEST:: SOT 310708 SOS 221518 HAS SOPS 221518 HAS SOUS 42072 HAS SOUPS 42072 WITH SCORE 42293.518
AT ITER 4007 NEW BEST:: SOT 310782 SOS 221528 HAS SOPS 221528 HAS SOUS 41868 HAS SOUPS 41868 WITH SCORE 42089.528
AT ITER 4010 NEW BEST:: SOT 310743 SOS 221489 HAS SOPS 221489 HAS SOUS 41759 HAS SOUPS 41759 WITH SCORE 41980.489
AT ITER 4032 NEW BEST:: SOT 310817 SOS 221563 HAS SOPS 221563 HAS SOUS 41685 HAS SOUPS 41685 WITH SCORE 41906.563
AT ITER 4036 NEW BEST:: SOT 310860 SOS 221606 HAS SOPS 221606 HAS SOUS 41665 HAS SOUPS 41665 WITH SCORE 41886.606
AT ITER 4050 NEW BEST:: SOT 310876 SOS 221622 HAS SOPS 221622 HAS SOUS 41652 HAS SOUPS 41652 WITH SCORE 41873.622
AT ITER 4054 NEW BEST:: SOT 310876 SOS 221621 HAS SOPS 221621 HAS SOUS 41651 HAS SOUPS 41651 WITH SCORE 41872.621
AT ITER 4069 NEW BEST:: SOT 310876 SOS 221555 HAS SOPS 221555 HAS SOUS 41629 HAS SOUPS 41629 WITH SCORE 41850.555
AT ITER 4075 NEW BEST:: SOT 310872 SOS 221553 HAS SOPS 221553 HAS SOUS 41627 HAS SOUPS 41627 WITH SCORE 41848.553
AT ITER 4076 NEW BEST:: SOT 310868 SOS 221549 HAS SOPS 221549 HAS SOUS 41623 HAS SOUPS 41623 WITH SCORE 41844.549
AT ITER 4077 NEW BEST:: SOT 310881 SOS 221558 HAS SOPS 221558 HAS SOUS 41621 HAS SOUPS 41621 WITH SCORE 41842.558
AT ITER 4116 NEW BEST:: SOT 310892 SOS 221761 HAS SOPS 221761 HAS SOUS 41578 HAS SOUPS 41578 WITH SCORE 41799.761
AT ITER 4147 NEW BEST:: SOT 310857 SOS 221726 HAS SOPS 221726 HAS SOUS 41529 HAS SOUPS 41529 WITH SCORE 41750.726
AT ITER 4170 NEW BEST:: SOT 310561 SOS 221430 HAS SOPS 221430 HAS SOUS 41286 HAS SOUPS 41286 WITH SCORE 41507.43
AT ITER 4187 NEW BEST:: SOT 310626 SOS 221495 HAS SOPS 221495 HAS SOUS 41281 HAS SOUPS 41281 WITH SCORE 41502.495
AT ITER 4210 NEW BEST:: SOT 310626 SOS 221536 HAS SOPS 221536 HAS SOUS 41280 HAS SOUPS 41280 WITH SCORE 41501.536
AT ITER 4227 NEW BEST:: SOT 310704 SOS 221658 HAS SOPS 221658 HAS SOUS 41240 HAS SOUPS 41240 WITH SCORE 41461.658
AT ITER 4250 NEW BEST:: SOT 310739 SOS 221693 HAS SOPS 221693 HAS SOUS 41213 HAS SOUPS 41213 WITH SCORE 41434.693
AT ITER 4269 NEW BEST:: SOT 310707 SOS 221629 HAS SOPS 221629 HAS SOUS 41149 HAS SOUPS 41149 WITH SCORE 41370.629
AT ITER 4284 NEW BEST:: SOT 310779 SOS 221701 HAS SOPS 221701 HAS SOUS 41137 HAS SOUPS 41137 WITH SCORE 41358.701
AT ITER 4288 NEW BEST:: SOT 310752 SOS 221674 HAS SOPS 221674 HAS SOUS 41077 HAS SOUPS 41077 WITH SCORE 41298.674
AT ITER 4293 NEW BEST:: SOT 310742 SOS 218672 HAS SOPS 218672 HAS SOUS 41054 HAS SOUPS 41054 WITH SCORE 41272.672
AT ITER 4295 NEW BEST:: SOT 310742 SOS 218660 HAS SOPS 218660 HAS SOUS 41042 HAS SOUPS 41042 WITH SCORE 41260.66
AT ITER 4358 NEW BEST:: SOT 310814 SOS 218732 HAS SOPS 218732 HAS SOUS 41025 HAS SOUPS 41025 WITH SCORE 41243.732
AT ITER 4363 NEW BEST:: SOT 310791 SOS 218709 HAS SOPS 218709 HAS SOUS 41025 HAS SOUPS 41025 WITH SCORE 41243.709
AT ITER 4373 NEW BEST:: SOT 310791 SOS 218709 HAS SOPS 218709 HAS SOUS 41019 HAS SOUPS 41019 WITH SCORE 41237.709
AT ITER 4380 NEW BEST:: SOT 310828 SOS 218746 HAS SOPS 218746 HAS SOUS 41000 HAS SOUPS 41000 WITH SCORE 41218.746
AT ITER 4412 NEW BEST:: SOT 310828 SOS 218746 HAS SOPS 218746 HAS SOUS 40998 HAS SOUPS 40998 WITH SCORE 41216.746
AT ITER 4423 NEW BEST:: SOT 310678 SOS 218596 HAS SOPS 218596 HAS SOUS 40976 HAS SOUPS 40976 WITH SCORE 41194.596
AT ITER 4451 NEW BEST:: SOT 310624 SOS 218542 HAS SOPS 218542 HAS SOUS 40973 HAS SOUPS 40973 WITH SCORE 41191.542
AT ITER 4452 NEW BEST:: SOT 310607 SOS 218525 HAS SOPS 218525 HAS SOUS 40956 HAS SOUPS 40956 WITH SCORE 41174.525
AT ITER 4479 NEW BEST:: SOT 310634 SOS 218528 HAS SOPS 218528 HAS SOUS 40946 HAS SOUPS 40946 WITH SCORE 41164.528
AT ITER 4481 NEW BEST:: SOT 310619 SOS 218514 HAS SOPS 218514 HAS SOUS 40938 HAS SOUPS 40938 WITH SCORE 41156.514
AT ITER 4489 NEW BEST:: SOT 310666 SOS 218561 HAS SOPS 218561 HAS SOUS 40907 HAS SOUPS 40907 WITH SCORE 41125.561
AT ITER 4492 NEW BEST:: SOT 310657 SOS 218552 HAS SOPS 218552 HAS SOUS 40835 HAS SOUPS 40835 WITH SCORE 41053.552
AT ITER 4493 NEW BEST:: SOT 310653 SOS 218548 HAS SOPS 218548 HAS SOUS 40835 HAS SOUPS 40835 WITH SCORE 41053.548
AT ITER 4498 NEW BEST:: SOT 310654 SOS 218549 HAS SOPS 218549 HAS SOUS 40748 HAS SOUPS 40748 WITH SCORE 40966.549
AT ITER 4521 NEW BEST:: SOT 310741 SOS 218636 HAS SOPS 218636 HAS SOUS 40712 HAS SOUPS 40712 WITH SCORE 40930.636
AT ITER 4526 NEW BEST:: SOT 310665 SOS 218560 HAS SOPS 218560 HAS SOUS 40690 HAS SOUPS 40690 WITH SCORE 40908.56
AT ITER 4531 NEW BEST:: SOT 310647 SOS 218542 HAS SOPS 218542 HAS SOUS 40690 HAS SOUPS 40690 WITH SCORE 40908.542
AT ITER 4536 NEW BEST:: SOT 310377 SOS 218272 HAS SOPS 218272 HAS SOUS 40639 HAS SOUPS 40639 WITH SCORE 40857.272
AT ITER 4547 NEW BEST:: SOT 310377 SOS 214494 HAS SOPS 214494 HAS SOUS 40621 HAS SOUPS 40621 WITH SCORE 40835.494
AT ITER 4556 NEW BEST:: SOT 310362 SOS 214493 HAS SOPS 214493 HAS SOUS 40605 HAS SOUPS 40605 WITH SCORE 40819.493
AT ITER 4563 NEW BEST:: SOT 310489 SOS 214620 HAS SOPS 214620 HAS SOUS 40359 HAS SOUPS 40359 WITH SCORE 40573.62
AT ITER 4567 NEW BEST:: SOT 310436 SOS 214550 HAS SOPS 214550 HAS SOUS 40323 HAS SOUPS 40323 WITH SCORE 40537.55
AT ITER 4580 NEW BEST:: SOT 310312 SOS 214426 HAS SOPS 214426 HAS SOUS 40318 HAS SOUPS 40318 WITH SCORE 40532.426
AT ITER 4622 NEW BEST:: SOT 310312 SOS 214415 HAS SOPS 214415 HAS SOUS 40307 HAS SOUPS 40307 WITH SCORE 40521.415
AT ITER 4625 NEW BEST:: SOT 310318 SOS 214315 HAS SOPS 214315 HAS SOUS 40284 HAS SOUPS 40284 WITH SCORE 40498.315
AT ITER 4665 NEW BEST:: SOT 310291 SOS 214288 HAS SOPS 214288 HAS SOUS 40201 HAS SOUPS 40201 WITH SCORE 40415.288
AT ITER 4675 NEW BEST:: SOT 310280 SOS 214277 HAS SOPS 214277 HAS SOUS 40179 HAS SOUPS 40179 WITH SCORE 40393.277
AT ITER 4679 NEW BEST:: SOT 310140 SOS 214275 HAS SOPS 214275 HAS SOUS 40173 HAS SOUPS 40173 WITH SCORE 40387.275
AT ITER 4680 NEW BEST:: SOT 310140 SOS 214272 HAS SOPS 214272 HAS SOUS 40167 HAS SOUPS 40167 WITH SCORE 40381.272
AT ITER 4699 NEW BEST:: SOT 310133 SOS 214253 HAS SOPS 214253 HAS SOUS 40165 HAS SOUPS 40165 WITH SCORE 40379.253
AT ITER 4705 NEW BEST:: SOT 310117 SOS 214251 HAS SOPS 214251 HAS SOUS 40163 HAS SOUPS 40163 WITH SCORE 40377.251
AT ITER 4713 NEW BEST:: SOT 310121 SOS 214255 HAS SOPS 214255 HAS SOUS 40079 HAS SOUPS 40079 WITH SCORE 40293.255
AT ITER 4729 NEW BEST:: SOT 310171 SOS 214305 HAS SOPS 214305 HAS SOUS 40051 HAS SOUPS 40051 WITH SCORE 40265.305
AT ITER 4754 NEW BEST:: SOT 310192 SOS 214326 HAS SOPS 214326 HAS SOUS 39970 HAS SOUPS 39970 WITH SCORE 40184.326
AT ITER 4760 NEW BEST:: SOT 310535 SOS 214669 HAS SOPS 214669 HAS SOUS 39967 HAS SOUPS 39967 WITH SCORE 40181.669
AT ITER 4768 NEW BEST:: SOT 310535 SOS 214637 HAS SOPS 214637 HAS SOUS 39951 HAS SOUPS 39951 WITH SCORE 40165.637
AT ITER 4830 NEW BEST:: SOT 310535 SOS 214626 HAS SOPS 214626 HAS SOUS 39940 HAS SOUPS 39940 WITH SCORE 40154.626
AT ITER 4836 NEW BEST:: SOT 310549 SOS 214651 HAS SOPS 214651 HAS SOUS 39929 HAS SOUPS 39929 WITH SCORE 40143.651
AT ITER 4868 NEW BEST:: SOT 310477 SOS 214579 HAS SOPS 214579 HAS SOUS 39929 HAS SOUPS 39929 WITH SCORE 40143.579
AT ITER 4871 NEW BEST:: SOT 310475 SOS 214575 HAS SOPS 214575 HAS SOUS 39927 HAS SOUPS 39927 WITH SCORE 40141.575
AT ITER 4882 NEW BEST:: SOT 310452 SOS 214552 HAS SOPS 214552 HAS SOUS 39927 HAS SOUPS 39927 WITH SCORE 40141.552
AT ITER 4907 NEW BEST:: SOT 310446 SOS 214540 HAS SOPS 214540 HAS SOUS 39921 HAS SOUPS 39921 WITH SCORE 40135.54
AT ITER 4918 NEW BEST:: SOT 310436 SOS 214530 HAS SOPS 214530 HAS SOUS 39903 HAS SOUPS 39903 WITH SCORE 40117.53
AT ITER 4940 NEW BEST:: SOT 310436 SOS 214528 HAS SOPS 214528 HAS SOUS 39857 HAS SOUPS 39857 WITH SCORE 40071.528
AT ITER 4950 NEW BEST:: SOT 310485 SOS 214577 HAS SOPS 214577 HAS SOUS 39762 HAS SOUPS 39762 WITH SCORE 39976.577
AT ITER 4951 NEW BEST:: SOT 310497 SOS 214589 HAS SOPS 214589 HAS SOUS 39761 HAS SOUPS 39761 WITH SCORE 39975.589
AT ITER 5000 NEW BEST:: SOT 310497 SOS 214509 HAS SOPS 214509 HAS SOUS 39761 HAS SOUPS 39761 WITH SCORE 39975.509
AT ITER 5032 NEW BEST:: SOT 310513 SOS 214525 HAS SOPS 214525 HAS SOUS 39638 HAS SOUPS 39638 WITH SCORE 39852.525
AT ITER 5044 NEW BEST:: SOT 310490 SOS 214508 HAS SOPS 214508 HAS SOUS 39621 HAS SOUPS 39621 WITH SCORE 39835.508
AT ITER 5047 NEW BEST:: SOT 310477 SOS 214449 HAS SOPS 214449 HAS SOUS 39606 HAS SOUPS 39606 WITH SCORE 39820.449
AT ITER 5049 NEW BEST:: SOT 310477 SOS 214428 HAS SOPS 214428 HAS SOUS 39603 HAS SOUPS 39603 WITH SCORE 39817.428
AT ITER 5052 NEW BEST:: SOT 310750 SOS 214862 HAS SOPS 214862 HAS SOUS 39537 HAS SOUPS 39537 WITH SCORE 39751.862
AT ITER 5069 NEW BEST:: SOT 310747 SOS 214859 HAS SOPS 214859 HAS SOUS 39524 HAS SOUPS 39524 WITH SCORE 39738.859
AT ITER 5072 NEW BEST:: SOT 310728 SOS 214831 HAS SOPS 214831 HAS SOUS 39498 HAS SOUPS 39498 WITH SCORE 39712.831
AT ITER 5076 NEW BEST:: SOT 310728 SOS 214831 HAS SOPS 214831 HAS SOUS 39486 HAS SOUPS 39486 WITH SCORE 39700.831
AT ITER 5100 NEW BEST:: SOT 310719 SOS 214822 HAS SOPS 214822 HAS SOUS 39486 HAS SOUPS 39486 WITH SCORE 39700.822
AT ITER 5123 NEW BEST:: SOT 310591 SOS 214664 HAS SOPS 214664 HAS SOUS 39400 HAS SOUPS 39400 WITH SCORE 39614.664
AT ITER 5139 NEW BEST:: SOT 310591 SOS 214094 HAS SOPS 214094 HAS SOUS 39400 HAS SOUPS 39400 WITH SCORE 39614.094
AT ITER 5160 NEW BEST:: SOT 310591 SOS 214094 HAS SOPS 214094 HAS SOUS 39399 HAS SOUPS 39399 WITH SCORE 39613.094
AT ITER 5165 NEW BEST:: SOT 310591 SOS 203031 HAS SOPS 203031 HAS SOUS 39293 HAS SOUPS 39293 WITH SCORE 39496.031
AT ITER 5169 NEW BEST:: SOT 310519 SOS 215659 HAS SOPS 215659 HAS SOUS 39270 HAS SOUPS 39270 WITH SCORE 39485.659
AT ITER 5170 NEW BEST:: SOT 310500 SOS 215946 HAS SOPS 215946 HAS SOUS 39233 HAS SOUPS 39233 WITH SCORE 39448.946
AT ITER 5194 NEW BEST:: SOT 310432 SOS 215878 HAS SOPS 215878 HAS SOUS 39174 HAS SOUPS 39174 WITH SCORE 39389.878
AT ITER 5218 NEW BEST:: SOT 310440 SOS 215886 HAS SOPS 215886 HAS SOUS 39142 HAS SOUPS 39142 WITH SCORE 39357.886
AT ITER 5219 NEW BEST:: SOT 310468 SOS 215914 HAS SOPS 215914 HAS SOUS 39115 HAS SOUPS 39115 WITH SCORE 39330.914
AT ITER 5236 NEW BEST:: SOT 310438 SOS 216025 HAS SOPS 216025 HAS SOUS 39103 HAS SOUPS 39103 WITH SCORE 39319.025
AT ITER 5273 NEW BEST:: SOT 310461 SOS 216048 HAS SOPS 216048 HAS SOUS 39078 HAS SOUPS 39078 WITH SCORE 39294.048
AT ITER 5293 NEW BEST:: SOT 310490 SOS 216077 HAS SOPS 216077 HAS SOUS 39034 HAS SOUPS 39034 WITH SCORE 39250.077
AT ITER 5310 NEW BEST:: SOT 310474 SOS 216061 HAS SOPS 216061 HAS SOUS 39030 HAS SOUPS 39030 WITH SCORE 39246.061
AT ITER 5326 NEW BEST:: SOT 310240 SOS 215827 HAS SOPS 215827 HAS SOUS 38892 HAS SOUPS 38892 WITH SCORE 39107.827
AT ITER 5328 NEW BEST:: SOT 310243 SOS 215830 HAS SOPS 215830 HAS SOUS 38888 HAS SOUPS 38888 WITH SCORE 39103.83
AT ITER 5351 NEW BEST:: SOT 310181 SOS 216005 HAS SOPS 216005 HAS SOUS 38885 HAS SOUPS 38885 WITH SCORE 39101.005
AT ITER 5357 NEW BEST:: SOT 310181 SOS 216000 HAS SOPS 216000 HAS SOUS 38880 HAS SOUPS 38880 WITH SCORE 39096.0
AT ITER 5391 NEW BEST:: SOT 310179 SOS 215997 HAS SOPS 215997 HAS SOUS 38880 HAS SOUPS 38880 WITH SCORE 39095.997
AT ITER 5412 NEW BEST:: SOT 310057 SOS 223449 HAS SOPS 223449 HAS SOUS 38792 HAS SOUPS 38792 WITH SCORE 39015.449
AT ITER 5419 NEW BEST:: SOT 310057 SOS 223449 HAS SOPS 223449 HAS SOUS 38787 HAS SOUPS 38787 WITH SCORE 39010.449
AT ITER 5421 NEW BEST:: SOT 310057 SOS 223453 HAS SOPS 223453 HAS SOUS 38780 HAS SOUPS 38780 WITH SCORE 39003.453
AT ITER 5471 NEW BEST:: SOT 310051 SOS 223447 HAS SOPS 223447 HAS SOUS 38760 HAS SOUPS 38760 WITH SCORE 38983.447
AT ITER 5478 NEW BEST:: SOT 310052 SOS 221793 HAS SOPS 221793 HAS SOUS 38754 HAS SOUPS 38754 WITH SCORE 38975.793
AT ITER 5491 NEW BEST:: SOT 309952 SOS 221693 HAS SOPS 221693 HAS SOUS 38714 HAS SOUPS 38714 WITH SCORE 38935.693
AT ITER 5503 NEW BEST:: SOT 310126 SOS 221867 HAS SOPS 221867 HAS SOUS 38639 HAS SOUPS 38639 WITH SCORE 38860.867
AT ITER 5512 NEW BEST:: SOT 310042 SOS 221828 HAS SOPS 221828 HAS SOUS 38596 HAS SOUPS 38596 WITH SCORE 38817.828
AT ITER 5526 NEW BEST:: SOT 310100 SOS 221886 HAS SOPS 221886 HAS SOUS 38488 HAS SOUPS 38488 WITH SCORE 38709.886
AT ITER 5533 NEW BEST:: SOT 310090 SOS 221876 HAS SOPS 221876 HAS SOUS 38478 HAS SOUPS 38478 WITH SCORE 38699.876
AT ITER 5543 NEW BEST:: SOT 310060 SOS 221888 HAS SOPS 221888 HAS SOUS 38448 HAS SOUPS 38448 WITH SCORE 38669.888
AT ITER 5572 NEW BEST:: SOT 310040 SOS 221868 HAS SOPS 221868 HAS SOUS 38441 HAS SOUPS 38441 WITH SCORE 38662.868
AT ITER 5591 NEW BEST:: SOT 309968 SOS 221796 HAS SOPS 221796 HAS SOUS 38281 HAS SOUPS 38281 WITH SCORE 38502.796
AT ITER 5592 NEW BEST:: SOT 309981 SOS 221809 HAS SOPS 221809 HAS SOUS 38139 HAS SOUPS 38139 WITH SCORE 38360.809
AT ITER 5593 NEW BEST:: SOT 310117 SOS 221945 HAS SOPS 221945 HAS SOUS 38122 HAS SOUPS 38122 WITH SCORE 38343.945
AT ITER 5604 NEW BEST:: SOT 310028 SOS 221697 HAS SOPS 221697 HAS SOUS 37978 HAS SOUPS 37978 WITH SCORE 38199.697
AT ITER 5676 NEW BEST:: SOT 310073 SOS 221742 HAS SOPS 221742 HAS SOUS 37910 HAS SOUPS 37910 WITH SCORE 38131.742
AT ITER 5698 NEW BEST:: SOT 309888 SOS 221557 HAS SOPS 221557 HAS SOUS 37854 HAS SOUPS 37854 WITH SCORE 38075.557
AT ITER 5731 NEW BEST:: SOT 309888 SOS 221557 HAS SOPS 221557 HAS SOUS 37848 HAS SOUPS 37848 WITH SCORE 38069.557
AT ITER 5742 NEW BEST:: SOT 309883 SOS 221760 HAS SOPS 221760 HAS SOUS 37843 HAS SOUPS 37843 WITH SCORE 38064.76
AT ITER 5743 NEW BEST:: SOT 309764 SOS 221641 HAS SOPS 221641 HAS SOUS 37842 HAS SOUPS 37842 WITH SCORE 38063.641
AT ITER 5767 NEW BEST:: SOT 309704 SOS 221581 HAS SOPS 221581 HAS SOUS 37726 HAS SOUPS 37726 WITH SCORE 37947.581
AT ITER 5779 NEW BEST:: SOT 309697 SOS 221574 HAS SOPS 221574 HAS SOUS 37719 HAS SOUPS 37719 WITH SCORE 37940.574
AT ITER 5781 NEW BEST:: SOT 309697 SOS 221574 HAS SOPS 221574 HAS SOUS 37717 HAS SOUPS 37717 WITH SCORE 37938.574
AT ITER 5791 NEW BEST:: SOT 310089 SOS 221908 HAS SOPS 221908 HAS SOUS 37614 HAS SOUPS 37614 WITH SCORE 37835.908
AT ITER 5794 NEW BEST:: SOT 310139 SOS 221958 HAS SOPS 221958 HAS SOUS 37591 HAS SOUPS 37591 WITH SCORE 37812.958
AT ITER 5828 NEW BEST:: SOT 309765 SOS 221584 HAS SOPS 221584 HAS SOUS 37553 HAS SOUPS 37553 WITH SCORE 37774.584
AT ITER 5860 NEW BEST:: SOT 309725 SOS 221544 HAS SOPS 221544 HAS SOUS 37513 HAS SOUPS 37513 WITH SCORE 37734.544
AT ITER 5862 NEW BEST:: SOT 309703 SOS 221522 HAS SOPS 221522 HAS SOUS 37491 HAS SOUPS 37491 WITH SCORE 37712.522
AT ITER 5872 NEW BEST:: SOT 309703 SOS 221522 HAS SOPS 221522 HAS SOUS 37489 HAS SOUPS 37489 WITH SCORE 37710.522
AT ITER 5880 NEW BEST:: SOT 309715 SOS 221534 HAS SOPS 221534 HAS SOUS 37466 HAS SOUPS 37466 WITH SCORE 37687.534
AT ITER 5905 NEW BEST:: SOT 309715 SOS 221534 HAS SOPS 221534 HAS SOUS 37446 HAS SOUPS 37446 WITH SCORE 37667.534
AT ITER 5932 NEW BEST:: SOT 309715 SOS 221534 HAS SOPS 221534 HAS SOUS 37444 HAS SOUPS 37444 WITH SCORE 37665.534
AT ITER 5944 NEW BEST:: SOT 309719 SOS 221538 HAS SOPS 221538 HAS SOUS 37434 HAS SOUPS 37434 WITH SCORE 37655.538
AT ITER 5967 NEW BEST:: SOT 309719 SOS 221538 HAS SOPS 221538 HAS SOUS 37396 HAS SOUPS 37396 WITH SCORE 37617.538
AT ITER 5973 NEW BEST:: SOT 308935 SOS 220582 HAS SOPS 220582 HAS SOUS 37297 HAS SOUPS 37297 WITH SCORE 37517.582
AT ITER 5996 NEW BEST:: SOT 308928 SOS 220575 HAS SOPS 220575 HAS SOUS 37278 HAS SOUPS 37278 WITH SCORE 37498.575
AT ITER 6002 NEW BEST:: SOT 308928 SOS 220579 HAS SOPS 220579 HAS SOUS 37273 HAS SOUPS 37273 WITH SCORE 37493.579
AT ITER 6034 NEW BEST:: SOT 308920 SOS 220566 HAS SOPS 220566 HAS SOUS 37265 HAS SOUPS 37265 WITH SCORE 37485.566
AT ITER 6038 NEW BEST:: SOT 308920 SOS 220526 HAS SOPS 220526 HAS SOUS 37225 HAS SOUPS 37225 WITH SCORE 37445.526
AT ITER 6085 NEW BEST:: SOT 308920 SOS 220526 HAS SOPS 220526 HAS SOUS 37195 HAS SOUPS 37195 WITH SCORE 37415.526
AT ITER 6095 NEW BEST:: SOT 308904 SOS 220510 HAS SOPS 220510 HAS SOUS 37177 HAS SOUPS 37177 WITH SCORE 37397.51
AT ITER 6108 NEW BEST:: SOT 308892 SOS 220498 HAS SOPS 220498 HAS SOUS 37153 HAS SOUPS 37153 WITH SCORE 37373.498
AT ITER 6112 NEW BEST:: SOT 308867 SOS 220473 HAS SOPS 220473 HAS SOUS 37143 HAS SOUPS 37143 WITH SCORE 37363.473
AT ITER 6145 NEW BEST:: SOT 308434 SOS 220040 HAS SOPS 220040 HAS SOUS 37135 HAS SOUPS 37135 WITH SCORE 37355.04
AT ITER 6174 NEW BEST:: SOT 308402 SOS 220070 HAS SOPS 220070 HAS SOUS 37115 HAS SOUPS 37115 WITH SCORE 37335.07
AT ITER 6187 NEW BEST:: SOT 308402 SOS 220070 HAS SOPS 220070 HAS SOUS 37074 HAS SOUPS 37074 WITH SCORE 37294.07
AT ITER 6192 NEW BEST:: SOT 308402 SOS 220070 HAS SOPS 220070 HAS SOUS 37060 HAS SOUPS 37060 WITH SCORE 37280.07
AT ITER 6214 NEW BEST:: SOT 307959 SOS 219627 HAS SOPS 219627 HAS SOUS 37052 HAS SOUPS 37052 WITH SCORE 37271.627
AT ITER 6222 NEW BEST:: SOT 307996 SOS 219664 HAS SOPS 219664 HAS SOUS 37043 HAS SOUPS 37043 WITH SCORE 37262.664
AT ITER 6225 NEW BEST:: SOT 307996 SOS 219664 HAS SOPS 219664 HAS SOUS 36988 HAS SOUPS 36988 WITH SCORE 37207.664
AT ITER 6226 NEW BEST:: SOT 308003 SOS 219507 HAS SOPS 219507 HAS SOUS 36986 HAS SOUPS 36986 WITH SCORE 37205.507
AT ITER 6255 NEW BEST:: SOT 307966 SOS 219470 HAS SOPS 219470 HAS SOUS 36972 HAS SOUPS 36972 WITH SCORE 37191.47
AT ITER 6271 NEW BEST:: SOT 307966 SOS 219275 HAS SOPS 219275 HAS SOUS 36972 HAS SOUPS 36972 WITH SCORE 37191.275
AT ITER 6274 NEW BEST:: SOT 307966 SOS 219272 HAS SOPS 219272 HAS SOUS 36969 HAS SOUPS 36969 WITH SCORE 37188.272
AT ITER 6304 NEW BEST:: SOT 307955 SOS 219250 HAS SOPS 219250 HAS SOUS 36947 HAS SOUPS 36947 WITH SCORE 37166.25
AT ITER 6310 NEW BEST:: SOT 307955 SOS 219168 HAS SOPS 219168 HAS SOUS 36855 HAS SOUPS 36855 WITH SCORE 37074.168
AT ITER 6330 NEW BEST:: SOT 307917 SOS 219092 HAS SOPS 219092 HAS SOUS 36823 HAS SOUPS 36823 WITH SCORE 37042.092
AT ITER 6333 NEW BEST:: SOT 307909 SOS 219084 HAS SOPS 219084 HAS SOUS 36801 HAS SOUPS 36801 WITH SCORE 37020.084
AT ITER 6363 NEW BEST:: SOT 307935 SOS 219110 HAS SOPS 219110 HAS SOUS 36764 HAS SOUPS 36764 WITH SCORE 36983.11
AT ITER 6390 NEW BEST:: SOT 307929 SOS 219104 HAS SOPS 219104 HAS SOUS 36758 HAS SOUPS 36758 WITH SCORE 36977.104
AT ITER 6396 NEW BEST:: SOT 307991 SOS 219166 HAS SOPS 219166 HAS SOUS 36740 HAS SOUPS 36740 WITH SCORE 36959.166
AT ITER 6398 NEW BEST:: SOT 308006 SOS 219181 HAS SOPS 219181 HAS SOUS 36717 HAS SOUPS 36717 WITH SCORE 36936.181
AT ITER 6402 NEW BEST:: SOT 307682 SOS 218913 HAS SOPS 218913 HAS SOUS 36707 HAS SOUPS 36707 WITH SCORE 36925.913
AT ITER 6414 NEW BEST:: SOT 307679 SOS 218910 HAS SOPS 218910 HAS SOUS 36687 HAS SOUPS 36687 WITH SCORE 36905.91
AT ITER 6446 NEW BEST:: SOT 307642 SOS 218873 HAS SOPS 218873 HAS SOUS 36634 HAS SOUPS 36634 WITH SCORE 36852.873
AT ITER 6462 NEW BEST:: SOT 307642 SOS 218801 HAS SOPS 218801 HAS SOUS 36618 HAS SOUPS 36618 WITH SCORE 36836.801
AT ITER 6480 NEW BEST:: SOT 307682 SOS 218841 HAS SOPS 218841 HAS SOUS 36592 HAS SOUPS 36592 WITH SCORE 36810.841
AT ITER 6499 NEW BEST:: SOT 307702 SOS 218861 HAS SOPS 218861 HAS SOUS 36585 HAS SOUPS 36585 WITH SCORE 36803.861
AT ITER 6522 NEW BEST:: SOT 307702 SOS 217445 HAS SOPS 217445 HAS SOUS 36569 HAS SOUPS 36569 WITH SCORE 36786.445
AT ITER 6551 NEW BEST:: SOT 307690 SOS 217427 HAS SOPS 217427 HAS SOUS 36563 HAS SOUPS 36563 WITH SCORE 36780.427
AT ITER 6564 NEW BEST:: SOT 307651 SOS 217388 HAS SOPS 217388 HAS SOUS 36530 HAS SOUPS 36530 WITH SCORE 36747.388
AT ITER 6568 NEW BEST:: SOT 307651 SOS 217379 HAS SOPS 217379 HAS SOUS 36521 HAS SOUPS 36521 WITH SCORE 36738.379
AT ITER 6575 NEW BEST:: SOT 307549 SOS 217277 HAS SOPS 217277 HAS SOUS 36486 HAS SOUPS 36486 WITH SCORE 36703.277
AT ITER 6598 NEW BEST:: SOT 306895 SOS 216617 HAS SOPS 216617 HAS SOUS 36413 HAS SOUPS 36413 WITH SCORE 36629.617
AT ITER 6602 NEW BEST:: SOT 306818 SOS 216540 HAS SOPS 216540 HAS SOUS 36198 HAS SOUPS 36198 WITH SCORE 36414.54
AT ITER 6618 NEW BEST:: SOT 306844 SOS 210712 HAS SOPS 210712 HAS SOUS 36198 HAS SOUPS 36198 WITH SCORE 36408.712
AT ITER 6629 NEW BEST:: SOT 306765 SOS 210633 HAS SOPS 210633 HAS SOUS 36159 HAS SOUPS 36159 WITH SCORE 36369.633
AT ITER 6656 NEW BEST:: SOT 306923 SOS 210791 HAS SOPS 210791 HAS SOUS 36032 HAS SOUPS 36032 WITH SCORE 36242.791
AT ITER 6659 NEW BEST:: SOT 306924 SOS 210798 HAS SOPS 210798 HAS SOUS 35981 HAS SOUPS 35981 WITH SCORE 36191.798
AT ITER 6660 NEW BEST:: SOT 306926 SOS 210855 HAS SOPS 210855 HAS SOUS 35970 HAS SOUPS 35970 WITH SCORE 36180.855
AT ITER 6663 NEW BEST:: SOT 306926 SOS 210850 HAS SOPS 210850 HAS SOUS 35965 HAS SOUPS 35965 WITH SCORE 36175.85
AT ITER 6666 NEW BEST:: SOT 306926 SOS 210840 HAS SOPS 210840 HAS SOUS 35955 HAS SOUPS 35955 WITH SCORE 36165.84
AT ITER 6742 NEW BEST:: SOT 306851 SOS 210765 HAS SOPS 210765 HAS SOUS 35936 HAS SOUPS 35936 WITH SCORE 36146.765
AT ITER 6778 NEW BEST:: SOT 306851 SOS 210765 HAS SOPS 210765 HAS SOUS 35890 HAS SOUPS 35890 WITH SCORE 36100.765
AT ITER 6799 NEW BEST:: SOT 306851 SOS 210764 HAS SOPS 210764 HAS SOUS 35889 HAS SOUPS 35889 WITH SCORE 36099.764
AT ITER 6804 NEW BEST:: SOT 306851 SOS 210764 HAS SOPS 210764 HAS SOUS 35883 HAS SOUPS 35883 WITH SCORE 36093.764
AT ITER 6861 NEW BEST:: SOT 306821 SOS 210734 HAS SOPS 210734 HAS SOUS 35846 HAS SOUPS 35846 WITH SCORE 36056.734
AT ITER 6866 NEW BEST:: SOT 306858 SOS 210771 HAS SOPS 210771 HAS SOUS 35742 HAS SOUPS 35742 WITH SCORE 35952.771
AT ITER 6885 NEW BEST:: SOT 306769 SOS 210660 HAS SOPS 210660 HAS SOUS 35741 HAS SOUPS 35741 WITH SCORE 35951.66
AT ITER 6919 NEW BEST:: SOT 306729 SOS 210620 HAS SOPS 210620 HAS SOUS 35741 HAS SOUPS 35741 WITH SCORE 35951.62
AT ITER 6948 NEW BEST:: SOT 306817 SOS 210532 HAS SOPS 210532 HAS SOUS 35697 HAS SOUPS 35697 WITH SCORE 35907.532
AT ITER 6996 NEW BEST:: SOT 306817 SOS 210532 HAS SOPS 210532 HAS SOUS 35696 HAS SOUPS 35696 WITH SCORE 35906.532
AT ITER 7045 NEW BEST:: SOT 306817 SOS 210531 HAS SOPS 210531 HAS SOUS 35695 HAS SOUPS 35695 WITH SCORE 35905.531
AT ITER 7057 NEW BEST:: SOT 306817 SOS 210526 HAS SOPS 210526 HAS SOUS 35690 HAS SOUPS 35690 WITH SCORE 35900.526
AT ITER 7069 NEW BEST:: SOT 306818 SOS 210527 HAS SOPS 210527 HAS SOUS 35685 HAS SOUPS 35685 WITH SCORE 35895.527
AT ITER 7083 NEW BEST:: SOT 306825 SOS 210532 HAS SOPS 210532 HAS SOUS 35683 HAS SOUPS 35683 WITH SCORE 35893.532
AT ITER 7107 NEW BEST:: SOT 306757 SOS 210464 HAS SOPS 210464 HAS SOUS 35681 HAS SOUPS 35681 WITH SCORE 35891.464
AT ITER 7108 NEW BEST:: SOT 306744 SOS 217715 HAS SOPS 217715 HAS SOUS 35650 HAS SOUPS 35650 WITH SCORE 35867.715
AT ITER 7120 NEW BEST:: SOT 306715 SOS 217677 HAS SOPS 217677 HAS SOUS 35641 HAS SOUPS 35641 WITH SCORE 35858.677
AT ITER 7122 NEW BEST:: SOT 306715 SOS 217677 HAS SOPS 217677 HAS SOUS 35615 HAS SOUPS 35615 WITH SCORE 35832.677
AT ITER 7142 NEW BEST:: SOT 306626 SOS 217615 HAS SOPS 217615 HAS SOUS 35553 HAS SOUPS 35553 WITH SCORE 35770.615
AT ITER 7167 NEW BEST:: SOT 306592 SOS 217581 HAS SOPS 217581 HAS SOUS 35485 HAS SOUPS 35485 WITH SCORE 35702.581
AT ITER 7195 NEW BEST:: SOT 306480 SOS 217421 HAS SOPS 217421 HAS SOUS 35485 HAS SOUPS 35485 WITH SCORE 35702.421
AT ITER 7206 NEW BEST:: SOT 306414 SOS 217355 HAS SOPS 217355 HAS SOUS 35415 HAS SOUPS 35415 WITH SCORE 35632.355
AT ITER 7223 NEW BEST:: SOT 306414 SOS 217352 HAS SOPS 217352 HAS SOUS 35412 HAS SOUPS 35412 WITH SCORE 35629.352
AT ITER 7225 NEW BEST:: SOT 306416 SOS 217354 HAS SOPS 217354 HAS SOUS 35410 HAS SOUPS 35410 WITH SCORE 35627.354
AT ITER 7228 NEW BEST:: SOT 307206 SOS 218121 HAS SOPS 218121 HAS SOUS 35400 HAS SOUPS 35400 WITH SCORE 35618.121
AT ITER 7232 NEW BEST:: SOT 307205 SOS 218120 HAS SOPS 218120 HAS SOUS 35399 HAS SOUPS 35399 WITH SCORE 35617.12
AT ITER 7238 NEW BEST:: SOT 307218 SOS 215734 HAS SOPS 215734 HAS SOUS 35397 HAS SOUPS 35397 WITH SCORE 35612.734
AT ITER 7291 NEW BEST:: SOT 307218 SOS 215733 HAS SOPS 215733 HAS SOUS 35396 HAS SOUPS 35396 WITH SCORE 35611.733
AT ITER 7316 NEW BEST:: SOT 307244 SOS 215759 HAS SOPS 215759 HAS SOUS 35392 HAS SOUPS 35392 WITH SCORE 35607.759
AT ITER 7323 NEW BEST:: SOT 307194 SOS 215709 HAS SOPS 215709 HAS SOUS 35290 HAS SOUPS 35290 WITH SCORE 35505.709
AT ITER 7364 NEW BEST:: SOT 307194 SOS 215709 HAS SOPS 215709 HAS SOUS 35264 HAS SOUPS 35264 WITH SCORE 35479.709
AT ITER 7373 NEW BEST:: SOT 307468 SOS 215970 HAS SOPS 215970 HAS SOUS 35255 HAS SOUPS 35255 WITH SCORE 35470.97
AT ITER 7402 NEW BEST:: SOT 307449 SOS 215931 HAS SOPS 215931 HAS SOUS 35234 HAS SOUPS 35234 WITH SCORE 35449.931
AT ITER 7425 NEW BEST:: SOT 307453 SOS 215926 HAS SOPS 215926 HAS SOUS 35229 HAS SOUPS 35229 WITH SCORE 35444.926
AT ITER 7440 NEW BEST:: SOT 307453 SOS 215913 HAS SOPS 215913 HAS SOUS 35216 HAS SOUPS 35216 WITH SCORE 35431.913
AT ITER 7447 NEW BEST:: SOT 307449 SOS 215909 HAS SOPS 215909 HAS SOUS 35212 HAS SOUPS 35212 WITH SCORE 35427.909
AT ITER 7489 NEW BEST:: SOT 307678 SOS 216138 HAS SOPS 216138 HAS SOUS 35160 HAS SOUPS 35160 WITH SCORE 35376.138
AT ITER 7523 NEW BEST:: SOT 307674 SOS 216134 HAS SOPS 216134 HAS SOUS 35147 HAS SOUPS 35147 WITH SCORE 35363.134
AT ITER 7528 NEW BEST:: SOT 307441 SOS 215790 HAS SOPS 215790 HAS SOUS 35127 HAS SOUPS 35127 WITH SCORE 35342.79
AT ITER 7540 NEW BEST:: SOT 307440 SOS 215789 HAS SOPS 215789 HAS SOUS 35126 HAS SOUPS 35126 WITH SCORE 35341.789
AT ITER 7582 NEW BEST:: SOT 307533 SOS 215831 HAS SOPS 215831 HAS SOUS 35110 HAS SOUPS 35110 WITH SCORE 35325.831
AT ITER 7604 NEW BEST:: SOT 307533 SOS 215770 HAS SOPS 215770 HAS SOUS 35049 HAS SOUPS 35049 WITH SCORE 35264.77
AT ITER 7618 NEW BEST:: SOT 307529 SOS 215766 HAS SOPS 215766 HAS SOUS 35045 HAS SOUPS 35045 WITH SCORE 35260.766
AT ITER 7619 NEW BEST:: SOT 307470 SOS 215707 HAS SOPS 215707 HAS SOUS 34990 HAS SOUPS 34990 WITH SCORE 35205.707
AT ITER 7625 NEW BEST:: SOT 307442 SOS 215679 HAS SOPS 215679 HAS SOUS 34987 HAS SOUPS 34987 WITH SCORE 35202.679
AT ITER 7629 NEW BEST:: SOT 307459 SOS 215594 HAS SOPS 215594 HAS SOUS 34987 HAS SOUPS 34987 WITH SCORE 35202.594
AT ITER 7686 NEW BEST:: SOT 307463 SOS 215598 HAS SOPS 215598 HAS SOUS 34985 HAS SOUPS 34985 WITH SCORE 35200.598
AT ITER 7722 NEW BEST:: SOT 307356 SOS 215491 HAS SOPS 215491 HAS SOUS 34972 HAS SOUPS 34972 WITH SCORE 35187.491
AT ITER 7828 NEW BEST:: SOT 307142 SOS 215277 HAS SOPS 215277 HAS SOUS 34953 HAS SOUPS 34953 WITH SCORE 35168.277
AT ITER 7875 NEW BEST:: SOT 307079 SOS 215258 HAS SOPS 215258 HAS SOUS 34934 HAS SOUPS 34934 WITH SCORE 35149.258
AT ITER 7903 NEW BEST:: SOT 307046 SOS 215236 HAS SOPS 215236 HAS SOUS 34934 HAS SOUPS 34934 WITH SCORE 35149.236
AT ITER 7907 NEW BEST:: SOT 306958 SOS 215148 HAS SOPS 215148 HAS SOUS 34931 HAS SOUPS 34931 WITH SCORE 35146.148
AT ITER 7924 NEW BEST:: SOT 307010 SOS 215200 HAS SOPS 215200 HAS SOUS 34749 HAS SOUPS 34749 WITH SCORE 34964.2
AT ITER 7970 NEW BEST:: SOT 306992 SOS 215172 HAS SOPS 215172 HAS SOUS 34735 HAS SOUPS 34735 WITH SCORE 34950.172
AT ITER 7980 NEW BEST:: SOT 306940 SOS 215120 HAS SOPS 215120 HAS SOUS 34731 HAS SOUPS 34731 WITH SCORE 34946.12
AT ITER 8022 NEW BEST:: SOT 306936 SOS 215116 HAS SOPS 215116 HAS SOUS 34727 HAS SOUPS 34727 WITH SCORE 34942.116
AT ITER 8035 NEW BEST:: SOT 306936 SOS 215116 HAS SOPS 215116 HAS SOUS 34725 HAS SOUPS 34725 WITH SCORE 34940.116
AT ITER 8051 NEW BEST:: SOT 306676 SOS 214856 HAS SOPS 214856 HAS SOUS 34660 HAS SOUPS 34660 WITH SCORE 34874.856
AT ITER 8081 NEW BEST:: SOT 306668 SOS 214848 HAS SOPS 214848 HAS SOUS 34658 HAS SOUPS 34658 WITH SCORE 34872.848
AT ITER 8083 NEW BEST:: SOT 306634 SOS 214814 HAS SOPS 214814 HAS SOUS 34652 HAS SOUPS 34652 WITH SCORE 34866.814
AT ITER 8129 NEW BEST:: SOT 306627 SOS 214807 HAS SOPS 214807 HAS SOUS 34631 HAS SOUPS 34631 WITH SCORE 34845.807
AT ITER 8132 NEW BEST:: SOT 306627 SOS 214807 HAS SOPS 214807 HAS SOUS 34622 HAS SOUPS 34622 WITH SCORE 34836.807
AT ITER 8135 NEW BEST:: SOT 306619 SOS 214851 HAS SOPS 214851 HAS SOUS 34614 HAS SOUPS 34614 WITH SCORE 34828.851
AT ITER 8168 NEW BEST:: SOT 306633 SOS 214856 HAS SOPS 214856 HAS SOUS 34575 HAS SOUPS 34575 WITH SCORE 34789.856
AT ITER 8177 NEW BEST:: SOT 306607 SOS 214830 HAS SOPS 214830 HAS SOUS 34575 HAS SOUPS 34575 WITH SCORE 34789.83
AT ITER 8213 NEW BEST:: SOT 306336 SOS 214559 HAS SOPS 214559 HAS SOUS 34541 HAS SOUPS 34541 WITH SCORE 34755.559
AT ITER 8255 NEW BEST:: SOT 306314 SOS 214537 HAS SOPS 214537 HAS SOUS 34510 HAS SOUPS 34510 WITH SCORE 34724.537
AT ITER 8260 NEW BEST:: SOT 306310 SOS 214533 HAS SOPS 214533 HAS SOUS 34506 HAS SOUPS 34506 WITH SCORE 34720.533
AT ITER 8303 NEW BEST:: SOT 306386 SOS 214609 HAS SOPS 214609 HAS SOUS 34493 HAS SOUPS 34493 WITH SCORE 34707.609
AT ITER 8312 NEW BEST:: SOT 306041 SOS 214251 HAS SOPS 214251 HAS SOUS 34342 HAS SOUPS 34342 WITH SCORE 34556.251
AT ITER 8315 NEW BEST:: SOT 306041 SOS 214251 HAS SOPS 214251 HAS SOUS 34320 HAS SOUPS 34320 WITH SCORE 34534.251
AT ITER 8323 NEW BEST:: SOT 306040 SOS 214250 HAS SOPS 214250 HAS SOUS 34311 HAS SOUPS 34311 WITH SCORE 34525.25
AT ITER 8327 NEW BEST:: SOT 305977 SOS 214187 HAS SOPS 214187 HAS SOUS 34248 HAS SOUPS 34248 WITH SCORE 34462.187
AT ITER 8330 NEW BEST:: SOT 305977 SOS 214274 HAS SOPS 214274 HAS SOUS 34246 HAS SOUPS 34246 WITH SCORE 34460.274
AT ITER 8434 NEW BEST:: SOT 305973 SOS 214288 HAS SOPS 214288 HAS SOUS 34242 HAS SOUPS 34242 WITH SCORE 34456.288
AT ITER 8461 NEW BEST:: SOT 305952 SOS 214267 HAS SOPS 214267 HAS SOUS 34240 HAS SOUPS 34240 WITH SCORE 34454.267
AT ITER 8476 NEW BEST:: SOT 305933 SOS 214262 HAS SOPS 214262 HAS SOUS 34233 HAS SOUPS 34233 WITH SCORE 34447.262
AT ITER 8490 NEW BEST:: SOT 306012 SOS 214345 HAS SOPS 214345 HAS SOUS 34176 HAS SOUPS 34176 WITH SCORE 34390.345
AT ITER 8537 NEW BEST:: SOT 305937 SOS 218202 HAS SOPS 218202 HAS SOUS 34141 HAS SOUPS 34141 WITH SCORE 34359.202
AT ITER 8557 NEW BEST:: SOT 306027 SOS 218292 HAS SOPS 218292 HAS SOUS 34051 HAS SOUPS 34051 WITH SCORE 34269.292
AT ITER 8593 NEW BEST:: SOT 306027 SOS 218292 HAS SOPS 218292 HAS SOUS 34032 HAS SOUPS 34032 WITH SCORE 34250.292
AT ITER 8631 NEW BEST:: SOT 306015 SOS 218280 HAS SOPS 218280 HAS SOUS 34023 HAS SOUPS 34023 WITH SCORE 34241.28
AT ITER 8644 NEW BEST:: SOT 305999 SOS 218264 HAS SOPS 218264 HAS SOUS 33998 HAS SOUPS 33998 WITH SCORE 34216.264
AT ITER 8676 NEW BEST:: SOT 305979 SOS 218244 HAS SOPS 218244 HAS SOUS 33968 HAS SOUPS 33968 WITH SCORE 34186.244
AT ITER 8679 NEW BEST:: SOT 305966 SOS 218231 HAS SOPS 218231 HAS SOUS 33962 HAS SOUPS 33962 WITH SCORE 34180.231
AT ITER 8684 NEW BEST:: SOT 306009 SOS 218274 HAS SOPS 218274 HAS SOUS 33958 HAS SOUPS 33958 WITH SCORE 34176.274
AT ITER 8701 NEW BEST:: SOT 306002 SOS 218267 HAS SOPS 218267 HAS SOUS 33944 HAS SOUPS 33944 WITH SCORE 34162.267
AT ITER 8711 NEW BEST:: SOT 306002 SOS 218266 HAS SOPS 218266 HAS SOUS 33943 HAS SOUPS 33943 WITH SCORE 34161.266
AT ITER 8757 NEW BEST:: SOT 305954 SOS 218218 HAS SOPS 218218 HAS SOUS 33883 HAS SOUPS 33883 WITH SCORE 34101.218
AT ITER 8772 NEW BEST:: SOT 305987 SOS 218251 HAS SOPS 218251 HAS SOUS 33776 HAS SOUPS 33776 WITH SCORE 33994.251
AT ITER 8780 NEW BEST:: SOT 305977 SOS 218241 HAS SOPS 218241 HAS SOUS 33760 HAS SOUPS 33760 WITH SCORE 33978.241
AT ITER 8788 NEW BEST:: SOT 305948 SOS 218212 HAS SOPS 218212 HAS SOUS 33759 HAS SOUPS 33759 WITH SCORE 33977.212
AT ITER 8824 NEW BEST:: SOT 305952 SOS 218190 HAS SOPS 218190 HAS SOUS 33737 HAS SOUPS 33737 WITH SCORE 33955.19
AT ITER 8825 NEW BEST:: SOT 305965 SOS 218203 HAS SOPS 218203 HAS SOUS 33669 HAS SOUPS 33669 WITH SCORE 33887.203
AT ITER 8843 NEW BEST:: SOT 305965 SOS 218203 HAS SOPS 218203 HAS SOUS 33657 HAS SOUPS 33657 WITH SCORE 33875.203
AT ITER 8865 NEW BEST:: SOT 305924 SOS 218162 HAS SOPS 218162 HAS SOUS 33635 HAS SOUPS 33635 WITH SCORE 33853.162
AT ITER 8875 NEW BEST:: SOT 305928 SOS 218166 HAS SOPS 218166 HAS SOUS 33628 HAS SOUPS 33628 WITH SCORE 33846.166
AT ITER 8891 NEW BEST:: SOT 305914 SOS 218152 HAS SOPS 218152 HAS SOUS 33628 HAS SOUPS 33628 WITH SCORE 33846.152
AT ITER 8914 NEW BEST:: SOT 305790 SOS 218028 HAS SOPS 218028 HAS SOUS 33504 HAS SOUPS 33504 WITH SCORE 33722.028
AT ITER 8956 NEW BEST:: SOT 305763 SOS 218029 HAS SOPS 218029 HAS SOUS 33478 HAS SOUPS 33478 WITH SCORE 33696.029
AT ITER 8959 NEW BEST:: SOT 305791 SOS 218006 HAS SOPS 218006 HAS SOUS 33455 HAS SOUPS 33455 WITH SCORE 33673.006
AT ITER 8960 NEW BEST:: SOT 305770 SOS 217985 HAS SOPS 217985 HAS SOUS 33437 HAS SOUPS 33437 WITH SCORE 33654.985
AT ITER 8976 NEW BEST:: SOT 305770 SOS 217985 HAS SOPS 217985 HAS SOUS 33423 HAS SOUPS 33423 WITH SCORE 33640.985
AT ITER 8988 NEW BEST:: SOT 305747 SOS 217962 HAS SOPS 217962 HAS SOUS 33377 HAS SOUPS 33377 WITH SCORE 33594.962
AT ITER 9002 NEW BEST:: SOT 305749 SOS 217960 HAS SOPS 217960 HAS SOUS 33377 HAS SOUPS 33377 WITH SCORE 33594.96
AT ITER 9014 NEW BEST:: SOT 305725 SOS 217939 HAS SOPS 217939 HAS SOUS 33356 HAS SOUPS 33356 WITH SCORE 33573.939
AT ITER 9058 NEW BEST:: SOT 305710 SOS 217924 HAS SOPS 217924 HAS SOUS 33342 HAS SOUPS 33342 WITH SCORE 33559.924
AT ITER 9063 NEW BEST:: SOT 305723 SOS 217858 HAS SOPS 217858 HAS SOUS 33314 HAS SOUPS 33314 WITH SCORE 33531.858
AT ITER 9181 NEW BEST:: SOT 305723 SOS 217848 HAS SOPS 217848 HAS SOUS 33304 HAS SOUPS 33304 WITH SCORE 33521.848
AT ITER 9200 NEW BEST:: SOT 305695 SOS 217820 HAS SOPS 217820 HAS SOUS 33296 HAS SOUPS 33296 WITH SCORE 33513.82
AT ITER 9209 NEW BEST:: SOT 305774 SOS 217899 HAS SOPS 217899 HAS SOUS 33233 HAS SOUPS 33233 WITH SCORE 33450.899
AT ITER 9210 NEW BEST:: SOT 305740 SOS 217865 HAS SOPS 217865 HAS SOUS 33199 HAS SOUPS 33199 WITH SCORE 33416.865
AT ITER 9254 NEW BEST:: SOT 305740 SOS 217855 HAS SOPS 217855 HAS SOUS 33189 HAS SOUPS 33189 WITH SCORE 33406.855
AT ITER 9286 NEW BEST:: SOT 305551 SOS 217666 HAS SOPS 217666 HAS SOUS 33045 HAS SOUPS 33045 WITH SCORE 33262.666
AT ITER 9304 NEW BEST:: SOT 305547 SOS 217662 HAS SOPS 217662 HAS SOUS 33037 HAS SOUPS 33037 WITH SCORE 33254.662
AT ITER 9325 NEW BEST:: SOT 305546 SOS 217661 HAS SOPS 217661 HAS SOUS 33035 HAS SOUPS 33035 WITH SCORE 33252.661
AT ITER 9353 NEW BEST:: SOT 305490 SOS 217605 HAS SOPS 217605 HAS SOUS 33007 HAS SOUPS 33007 WITH SCORE 33224.605
AT ITER 9380 NEW BEST:: SOT 305481 SOS 217596 HAS SOPS 217596 HAS SOUS 33007 HAS SOUPS 33007 WITH SCORE 33224.596
AT ITER 9432 NEW BEST:: SOT 305481 SOS 217596 HAS SOPS 217596 HAS SOUS 32947 HAS SOUPS 32947 WITH SCORE 33164.596
AT ITER 9484 NEW BEST:: SOT 305453 SOS 217568 HAS SOPS 217568 HAS SOUS 32947 HAS SOUPS 32947 WITH SCORE 33164.568
AT ITER 9486 NEW BEST:: SOT 305433 SOS 217548 HAS SOPS 217548 HAS SOUS 32940 HAS SOUPS 32940 WITH SCORE 33157.548
AT ITER 9503 NEW BEST:: SOT 305433 SOS 217548 HAS SOPS 217548 HAS SOUS 32928 HAS SOUPS 32928 WITH SCORE 33145.548
AT ITER 9516 NEW BEST:: SOT 305420 SOS 217535 HAS SOPS 217535 HAS SOUS 32905 HAS SOUPS 32905 WITH SCORE 33122.535
AT ITER 9526 NEW BEST:: SOT 305422 SOS 217525 HAS SOPS 217525 HAS SOUS 32905 HAS SOUPS 32905 WITH SCORE 33122.525
AT ITER 9561 NEW BEST:: SOT 305395 SOS 217498 HAS SOPS 217498 HAS SOUS 32901 HAS SOUPS 32901 WITH SCORE 33118.498
AT ITER 9577 NEW BEST:: SOT 305384 SOS 217504 HAS SOPS 217504 HAS SOUS 32893 HAS SOUPS 32893 WITH SCORE 33110.504
AT ITER 9594 NEW BEST:: SOT 305396 SOS 217516 HAS SOPS 217516 HAS SOUS 32879 HAS SOUPS 32879 WITH SCORE 33096.516
AT ITER 9613 NEW BEST:: SOT 305408 SOS 217502 HAS SOPS 217502 HAS SOUS 32865 HAS SOUPS 32865 WITH SCORE 33082.502
AT ITER 9642 NEW BEST:: SOT 305435 SOS 217529 HAS SOPS 217529 HAS SOUS 32864 HAS SOUPS 32864 WITH SCORE 33081.529
AT ITER 9698 NEW BEST:: SOT 305427 SOS 217519 HAS SOPS 217519 HAS SOUS 32862 HAS SOUPS 32862 WITH SCORE 33079.519
AT ITER 9729 NEW BEST:: SOT 305427 SOS 217519 HAS SOPS 217519 HAS SOUS 32860 HAS SOUPS 32860 WITH SCORE 33077.519
AT ITER 9743 NEW BEST:: SOT 305427 SOS 217497 HAS SOPS 217497 HAS SOUS 32838 HAS SOUPS 32838 WITH SCORE 33055.497
AT ITER 9788 NEW BEST:: SOT 305426 SOS 217496 HAS SOPS 217496 HAS SOUS 32836 HAS SOUPS 32836 WITH SCORE 33053.496
AT ITER 9797 NEW BEST:: SOT 305422 SOS 217487 HAS SOPS 217487 HAS SOUS 32827 HAS SOUPS 32827 WITH SCORE 33044.487
AT ITER 9846 NEW BEST:: SOT 305418 SOS 217483 HAS SOPS 217483 HAS SOUS 32823 HAS SOUPS 32823 WITH SCORE 33040.483
AT ITER 9851 NEW BEST:: SOT 305335 SOS 217400 HAS SOPS 217400 HAS SOUS 32647 HAS SOUPS 32647 WITH SCORE 32864.4
AT ITER 9855 NEW BEST:: SOT 305315 SOS 217380 HAS SOPS 217380 HAS SOUS 32639 HAS SOUPS 32639 WITH SCORE 32856.38
AT ITER 9867 NEW BEST:: SOT 305328 SOS 217393 HAS SOPS 217393 HAS SOUS 32596 HAS SOUPS 32596 WITH SCORE 32813.393
AT ITER 9964 NEW BEST:: SOT 305204 SOS 217269 HAS SOPS 217269 HAS SOUS 32478 HAS SOUPS 32478 WITH SCORE 32695.269
AT ITER 9979 NEW BEST:: SOT 305160 SOS 217225 HAS SOPS 217225 HAS SOUS 32456 HAS SOUPS 32456 WITH SCORE 32673.225
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 6878932 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16134876 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is NeoElection-COL-5, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r259-smll-167863534100144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-COL-5.tgz
mv NeoElection-COL-5 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 ;