Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502600283.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Raft-PT-10, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502600283
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 3.4K Apr 12 08:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 08:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 11 09:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 09:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 9 21:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 9 21:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 241K Mar 24 05:38 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Raft-PT-10-CTLCardinality-00
FORMULA_NAME Raft-PT-10-CTLCardinality-01
FORMULA_NAME Raft-PT-10-CTLCardinality-02
FORMULA_NAME Raft-PT-10-CTLCardinality-03
FORMULA_NAME Raft-PT-10-CTLCardinality-04
FORMULA_NAME Raft-PT-10-CTLCardinality-05
FORMULA_NAME Raft-PT-10-CTLCardinality-06
FORMULA_NAME Raft-PT-10-CTLCardinality-07
FORMULA_NAME Raft-PT-10-CTLCardinality-08
FORMULA_NAME Raft-PT-10-CTLCardinality-09
FORMULA_NAME Raft-PT-10-CTLCardinality-10
FORMULA_NAME Raft-PT-10-CTLCardinality-11
FORMULA_NAME Raft-PT-10-CTLCardinality-12
FORMULA_NAME Raft-PT-10-CTLCardinality-13
FORMULA_NAME Raft-PT-10-CTLCardinality-14
FORMULA_NAME Raft-PT-10-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589810941785

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 10
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 508 places, 868 transitions, 3359 arcs.
AT ITER 0 NEW BEST:: SOT 389188 SOS 265304 HAS SOPS 265264 HAS SOUS 207984 HAS SOUPS 207974 WITH SCORE 208239.304
AT ITER 2 NEW BEST:: SOT 389188 SOS 265209 HAS SOPS 265169 HAS SOUS 207984 HAS SOUPS 207974 WITH SCORE 208239.209
AT ITER 3 NEW BEST:: SOT 389188 SOS 264981 HAS SOPS 264941 HAS SOUS 207984 HAS SOUPS 207974 WITH SCORE 208238.981
AT ITER 5 NEW BEST:: SOT 388928 SOS 264669 HAS SOPS 264578 HAS SOUS 207670 HAS SOUPS 207611 WITH SCORE 207875.669
AT ITER 7 NEW BEST:: SOT 388194 SOS 263941 HAS SOPS 263760 HAS SOUS 206926 HAS SOUPS 206778 WITH SCORE 207041.941
AT ITER 9 NEW BEST:: SOT 384556 SOS 265438 HAS SOPS 261481 HAS SOUS 205691 HAS SOUPS 205227 WITH SCORE 205492.438
AT ITER 10 NEW BEST:: SOT 384136 SOS 264852 HAS SOPS 260799 HAS SOUS 205080 HAS SOUPS 204545 WITH SCORE 204809.852
AT ITER 11 NEW BEST:: SOT 383612 SOS 264598 HAS SOPS 260460 HAS SOUS 204827 HAS SOUPS 204209 WITH SCORE 204473.598
AT ITER 12 NEW BEST:: SOT 383340 SOS 264451 HAS SOPS 260284 HAS SOUS 204326 HAS SOUPS 203708 WITH SCORE 203972.451
AT ITER 16 NEW BEST:: SOT 383340 SOS 264379 HAS SOPS 260212 HAS SOUS 204326 HAS SOUPS 203708 WITH SCORE 203972.379
AT ITER 26 NEW BEST:: SOT 383340 SOS 263209 HAS SOPS 259042 HAS SOUS 204287 HAS SOUPS 203669 WITH SCORE 203932.209
AT ITER 27 NEW BEST:: SOT 379384 SOS 264258 HAS SOPS 255866 HAS SOUS 201892 HAS SOUPS 201013 WITH SCORE 201277.258
AT ITER 29 NEW BEST:: SOT 379384 SOS 264124 HAS SOPS 255732 HAS SOUS 201892 HAS SOUPS 201013 WITH SCORE 201277.124
AT ITER 33 NEW BEST:: SOT 378483 SOS 260592 HAS SOPS 251644 HAS SOUS 200798 HAS SOUPS 199860 WITH SCORE 200120.592
AT ITER 37 NEW BEST:: SOT 378483 SOS 260447 HAS SOPS 251296 HAS SOUS 200653 HAS SOUPS 199715 WITH SCORE 199975.447
AT ITER 39 NEW BEST:: SOT 378483 SOS 260447 HAS SOPS 251296 HAS SOUS 200637 HAS SOUPS 199699 WITH SCORE 199959.447
AT ITER 43 NEW BEST:: SOT 378483 SOS 260356 HAS SOPS 251205 HAS SOUS 200637 HAS SOUPS 199699 WITH SCORE 199959.356
AT ITER 45 NEW BEST:: SOT 378483 SOS 260623 HAS SOPS 251205 HAS SOUS 200597 HAS SOUPS 199659 WITH SCORE 199919.623
AT ITER 48 NEW BEST:: SOT 378483 SOS 260623 HAS SOPS 250936 HAS SOUS 200517 HAS SOUPS 199579 WITH SCORE 199839.623
AT ITER 49 NEW BEST:: SOT 377843 SOS 260697 HAS SOPS 250424 HAS SOUS 200197 HAS SOUPS 199195 WITH SCORE 199455.697
AT ITER 50 NEW BEST:: SOT 377421 SOS 260017 HAS SOPS 249926 HAS SOUS 199702 HAS SOUPS 198700 WITH SCORE 198960.017
AT ITER 52 NEW BEST:: SOT 377421 SOS 259940 HAS SOPS 249926 HAS SOUS 199702 HAS SOUPS 198700 WITH SCORE 198959.94
AT ITER 57 NEW BEST:: SOT 377421 SOS 259788 HAS SOPS 249726 HAS SOUS 199702 HAS SOUPS 198700 WITH SCORE 198959.788
AT ITER 58 NEW BEST:: SOT 376753 SOS 259539 HAS SOPS 249414 HAS SOUS 199212 HAS SOUPS 198154 WITH SCORE 198413.539
AT ITER 62 NEW BEST:: SOT 376681 SOS 259434 HAS SOPS 249270 HAS SOUS 199070 HAS SOUPS 198010 WITH SCORE 198269.434
AT ITER 63 NEW BEST:: SOT 376681 SOS 259431 HAS SOPS 249267 HAS SOUS 199070 HAS SOUPS 198010 WITH SCORE 198269.431
AT ITER 64 NEW BEST:: SOT 375179 SOS 261060 HAS SOPS 248031 HAS SOUS 198233 HAS SOUPS 197040 WITH SCORE 197301.06
AT ITER 67 NEW BEST:: SOT 375179 SOS 260966 HAS SOPS 248320 HAS SOUS 198233 HAS SOUPS 197040 WITH SCORE 197300.966
AT ITER 68 NEW BEST:: SOT 374687 SOS 260591 HAS SOPS 247938 HAS SOUS 197578 HAS SOUPS 196381 WITH SCORE 196641.591
AT ITER 72 NEW BEST:: SOT 373590 SOS 260166 HAS SOPS 247551 HAS SOUS 196838 HAS SOUPS 195641 WITH SCORE 195901.166
AT ITER 80 NEW BEST:: SOT 372490 SOS 259207 HAS SOPS 246655 HAS SOUS 195980 HAS SOUPS 194748 WITH SCORE 195007.207
AT ITER 81 NEW BEST:: SOT 372311 SOS 259028 HAS SOPS 246476 HAS SOUS 195798 HAS SOUPS 194566 WITH SCORE 194825.028
AT ITER 82 NEW BEST:: SOT 370719 SOS 258011 HAS SOPS 245204 HAS SOUS 194764 HAS SOUPS 193452 WITH SCORE 193710.011
AT ITER 84 NEW BEST:: SOT 369087 SOS 256434 HAS SOPS 243916 HAS SOUS 193182 HAS SOUPS 191864 WITH SCORE 192120.434
AT ITER 86 NEW BEST:: SOT 369087 SOS 256413 HAS SOPS 243895 HAS SOUS 193182 HAS SOUPS 191864 WITH SCORE 192120.413
AT ITER 91 NEW BEST:: SOT 368395 SOS 255993 HAS SOPS 243524 HAS SOUS 192712 HAS SOUPS 191413 WITH SCORE 191668.993
AT ITER 95 NEW BEST:: SOT 368395 SOS 255946 HAS SOPS 243524 HAS SOUS 192638 HAS SOUPS 191339 WITH SCORE 191594.946
AT ITER 97 NEW BEST:: SOT 368395 SOS 256005 HAS SOPS 243524 HAS SOUS 192519 HAS SOUPS 191220 WITH SCORE 191476.005
AT ITER 98 NEW BEST:: SOT 368353 SOS 255709 HAS SOPS 243228 HAS SOUS 191975 HAS SOUPS 190676 WITH SCORE 190931.709
AT ITER 100 NEW BEST:: SOT 368353 SOS 255221 HAS SOPS 242740 HAS SOUS 191950 HAS SOUPS 190651 WITH SCORE 190906.221
AT ITER 101 NEW BEST:: SOT 368353 SOS 255193 HAS SOPS 242664 HAS SOUS 191893 HAS SOUPS 190594 WITH SCORE 190849.193
AT ITER 102 NEW BEST:: SOT 368353 SOS 255259 HAS SOPS 242440 HAS SOUS 191596 HAS SOUPS 190297 WITH SCORE 190552.259
AT ITER 104 NEW BEST:: SOT 367305 SOS 254067 HAS SOPS 241189 HAS SOUS 190265 HAS SOUPS 188966 WITH SCORE 189220.067
AT ITER 105 NEW BEST:: SOT 367217 SOS 253979 HAS SOPS 241085 HAS SOUS 190167 HAS SOUPS 188862 WITH SCORE 189115.979
AT ITER 108 NEW BEST:: SOT 366908 SOS 254887 HAS SOPS 240563 HAS SOUS 190063 HAS SOUPS 188726 WITH SCORE 188980.887
AT ITER 110 NEW BEST:: SOT 366908 SOS 254877 HAS SOPS 240553 HAS SOUS 190063 HAS SOUPS 188726 WITH SCORE 188980.877
AT ITER 111 NEW BEST:: SOT 366908 SOS 254866 HAS SOPS 240542 HAS SOUS 190063 HAS SOUPS 188726 WITH SCORE 188980.866
AT ITER 113 NEW BEST:: SOT 365848 SOS 252049 HAS SOPS 237834 HAS SOUS 188846 HAS SOUPS 187509 WITH SCORE 187761.049
AT ITER 115 NEW BEST:: SOT 365848 SOS 252042 HAS SOPS 237834 HAS SOUS 188846 HAS SOUPS 187509 WITH SCORE 187761.042
AT ITER 116 NEW BEST:: SOT 365364 SOS 251545 HAS SOPS 237287 HAS SOUS 188273 HAS SOUPS 186930 WITH SCORE 187181.545
AT ITER 118 NEW BEST:: SOT 365304 SOS 251322 HAS SOPS 237065 HAS SOUS 188177 HAS SOUPS 186834 WITH SCORE 187085.322
AT ITER 119 NEW BEST:: SOT 365304 SOS 251308 HAS SOPS 237051 HAS SOUS 188177 HAS SOUPS 186834 WITH SCORE 187085.308
AT ITER 123 NEW BEST:: SOT 365510 SOS 251089 HAS SOPS 236708 HAS SOUS 188088 HAS SOUPS 186745 WITH SCORE 186996.089
AT ITER 124 NEW BEST:: SOT 365510 SOS 249830 HAS SOPS 235522 HAS SOUS 188088 HAS SOUPS 186745 WITH SCORE 186994.83
AT ITER 127 NEW BEST:: SOT 365510 SOS 249821 HAS SOPS 235513 HAS SOUS 188079 HAS SOUPS 186736 WITH SCORE 186985.821
AT ITER 129 NEW BEST:: SOT 365510 SOS 249731 HAS SOPS 235423 HAS SOUS 188079 HAS SOUPS 186736 WITH SCORE 186985.731
AT ITER 130 NEW BEST:: SOT 365054 SOS 249266 HAS SOPS 234958 HAS SOUS 187605 HAS SOUPS 186262 WITH SCORE 186511.266
AT ITER 131 NEW BEST:: SOT 365054 SOS 249132 HAS SOPS 234780 HAS SOUS 187428 HAS SOUPS 186085 WITH SCORE 186334.132
AT ITER 133 NEW BEST:: SOT 364314 SOS 249373 HAS SOPS 234707 HAS SOUS 187020 HAS SOUPS 185664 WITH SCORE 185913.373
AT ITER 134 NEW BEST:: SOT 364314 SOS 248758 HAS SOPS 234092 HAS SOUS 186911 HAS SOUPS 185555 WITH SCORE 185803.758
AT ITER 136 NEW BEST:: SOT 364314 SOS 248845 HAS SOPS 234092 HAS SOUS 186831 HAS SOUPS 185475 WITH SCORE 185723.845
AT ITER 138 NEW BEST:: SOT 364314 SOS 248843 HAS SOPS 234092 HAS SOUS 186791 HAS SOUPS 185435 WITH SCORE 185683.843
AT ITER 141 NEW BEST:: SOT 364314 SOS 248740 HAS SOPS 233970 HAS SOUS 186791 HAS SOUPS 185435 WITH SCORE 185683.74
AT ITER 148 NEW BEST:: SOT 364314 SOS 248712 HAS SOPS 233929 HAS SOUS 186791 HAS SOUPS 185435 WITH SCORE 185683.712
AT ITER 152 NEW BEST:: SOT 364314 SOS 248376 HAS SOPS 233593 HAS SOUS 186749 HAS SOUPS 185393 WITH SCORE 185641.376
AT ITER 154 NEW BEST:: SOT 364314 SOS 248047 HAS SOPS 233224 HAS SOUS 186579 HAS SOUPS 185223 WITH SCORE 185471.047
AT ITER 157 NEW BEST:: SOT 364314 SOS 248044 HAS SOPS 233221 HAS SOUS 186579 HAS SOUPS 185223 WITH SCORE 185471.044
AT ITER 159 NEW BEST:: SOT 362804 SOS 246534 HAS SOPS 231509 HAS SOUS 184882 HAS SOUPS 183511 WITH SCORE 183757.534
AT ITER 163 NEW BEST:: SOT 362804 SOS 246424 HAS SOPS 231399 HAS SOUS 184771 HAS SOUPS 183400 WITH SCORE 183646.424
AT ITER 167 NEW BEST:: SOT 362804 SOS 246335 HAS SOPS 231310 HAS SOUS 184771 HAS SOUPS 183400 WITH SCORE 183646.335
AT ITER 168 NEW BEST:: SOT 362804 SOS 245864 HAS SOPS 230894 HAS SOUS 184716 HAS SOUPS 183345 WITH SCORE 183590.864
AT ITER 170 NEW BEST:: SOT 362804 SOS 245750 HAS SOPS 230894 HAS SOUS 184716 HAS SOUPS 183345 WITH SCORE 183590.75
AT ITER 176 NEW BEST:: SOT 361806 SOS 244942 HAS SOPS 230366 HAS SOUS 184154 HAS SOUPS 182783 WITH SCORE 183027.942
AT ITER 179 NEW BEST:: SOT 361806 SOS 244754 HAS SOPS 230366 HAS SOUS 184154 HAS SOUPS 182783 WITH SCORE 183027.754
AT ITER 180 NEW BEST:: SOT 361764 SOS 245180 HAS SOPS 230792 HAS SOUS 184039 HAS SOUPS 182668 WITH SCORE 182913.18
AT ITER 183 NEW BEST:: SOT 361764 SOS 245112 HAS SOPS 230792 HAS SOUS 184039 HAS SOUPS 182668 WITH SCORE 182913.112
AT ITER 184 NEW BEST:: SOT 361764 SOS 245042 HAS SOPS 230722 HAS SOUS 183968 HAS SOUPS 182597 WITH SCORE 182842.042
AT ITER 187 NEW BEST:: SOT 361051 SOS 245176 HAS SOPS 230869 HAS SOUS 183735 HAS SOUPS 182364 WITH SCORE 182609.176
AT ITER 188 NEW BEST:: SOT 360545 SOS 244796 HAS SOPS 230159 HAS SOUS 183284 HAS SOUPS 181895 WITH SCORE 182139.796
AT ITER 189 NEW BEST:: SOT 360545 SOS 244603 HAS SOPS 229945 HAS SOUS 183284 HAS SOUPS 181895 WITH SCORE 182139.603
AT ITER 190 NEW BEST:: SOT 360545 SOS 244563 HAS SOPS 229925 HAS SOUS 183284 HAS SOUPS 181895 WITH SCORE 182139.563
AT ITER 192 NEW BEST:: SOT 356935 SOS 253620 HAS SOPS 228357 HAS SOUS 181574 HAS SOUPS 179820 WITH SCORE 180073.62
AT ITER 194 NEW BEST:: SOT 356935 SOS 253581 HAS SOPS 228318 HAS SOUS 181535 HAS SOUPS 179781 WITH SCORE 180034.581
AT ITER 195 NEW BEST:: SOT 356935 SOS 253576 HAS SOPS 228246 HAS SOUS 181499 HAS SOUPS 179745 WITH SCORE 179998.576
AT ITER 197 NEW BEST:: SOT 356935 SOS 253568 HAS SOPS 228246 HAS SOUS 181458 HAS SOUPS 179704 WITH SCORE 179957.568
AT ITER 198 NEW BEST:: SOT 356893 SOS 253526 HAS SOPS 228162 HAS SOUS 181374 HAS SOUPS 179620 WITH SCORE 179873.526
AT ITER 199 NEW BEST:: SOT 356893 SOS 253117 HAS SOPS 228162 HAS SOUS 181364 HAS SOUPS 179620 WITH SCORE 179873.117
AT ITER 200 NEW BEST:: SOT 357147 SOS 252698 HAS SOPS 227743 HAS SOUS 180999 HAS SOUPS 179255 WITH SCORE 179507.698
AT ITER 201 NEW BEST:: SOT 357147 SOS 252592 HAS SOPS 227743 HAS SOUS 180999 HAS SOUPS 179255 WITH SCORE 179507.592
AT ITER 203 NEW BEST:: SOT 357147 SOS 250376 HAS SOPS 225527 HAS SOUS 180944 HAS SOUPS 179200 WITH SCORE 179450.376
AT ITER 204 NEW BEST:: SOT 357147 SOS 250370 HAS SOPS 225527 HAS SOUS 180944 HAS SOUPS 179200 WITH SCORE 179450.37
AT ITER 205 NEW BEST:: SOT 356625 SOS 249890 HAS SOPS 225541 HAS SOUS 180543 HAS SOUPS 178799 WITH SCORE 179048.89
AT ITER 206 NEW BEST:: SOT 355905 SOS 249092 HAS SOPS 224587 HAS SOUS 179595 HAS SOUPS 177851 WITH SCORE 178100.092
AT ITER 208 NEW BEST:: SOT 355202 SOS 248354 HAS SOPS 223740 HAS SOUS 178767 HAS SOUPS 177004 WITH SCORE 177252.354
AT ITER 209 NEW BEST:: SOT 354346 SOS 247536 HAS SOPS 222997 HAS SOUS 177967 HAS SOUPS 176204 WITH SCORE 176451.536
AT ITER 211 NEW BEST:: SOT 354346 SOS 247536 HAS SOPS 222853 HAS SOUS 177928 HAS SOUPS 176165 WITH SCORE 176412.536
AT ITER 217 NEW BEST:: SOT 350522 SOS 256045 HAS SOPS 219615 HAS SOUS 175569 HAS SOUPS 173513 WITH SCORE 173769.045
AT ITER 219 NEW BEST:: SOT 350522 SOS 253671 HAS SOPS 217550 HAS SOUS 175206 HAS SOUPS 173150 WITH SCORE 173403.671
AT ITER 226 NEW BEST:: SOT 350401 SOS 253477 HAS SOPS 217356 HAS SOUS 174939 HAS SOUPS 172883 WITH SCORE 173136.477
AT ITER 234 NEW BEST:: SOT 348703 SOS 251665 HAS SOPS 215760 HAS SOUS 173151 HAS SOUPS 171095 WITH SCORE 171346.665
AT ITER 236 NEW BEST:: SOT 348119 SOS 251081 HAS SOPS 215078 HAS SOUS 172392 HAS SOUPS 170315 WITH SCORE 170566.081
AT ITER 238 NEW BEST:: SOT 347999 SOS 251001 HAS SOPS 214958 HAS SOUS 172232 HAS SOUPS 170155 WITH SCORE 170406.001
AT ITER 240 NEW BEST:: SOT 347720 SOS 250759 HAS SOPS 214719 HAS SOUS 172020 HAS SOUPS 169949 WITH SCORE 170199.759
AT ITER 244 NEW BEST:: SOT 347611 SOS 250509 HAS SOPS 214469 HAS SOUS 171796 HAS SOUPS 169725 WITH SCORE 169975.509
AT ITER 250 NEW BEST:: SOT 347611 SOS 250387 HAS SOPS 214469 HAS SOUS 171796 HAS SOUPS 169725 WITH SCORE 169975.387
AT ITER 252 NEW BEST:: SOT 347611 SOS 248725 HAS SOPS 212905 HAS SOUS 171619 HAS SOUPS 169548 WITH SCORE 169796.725
AT ITER 255 NEW BEST:: SOT 344679 SOS 255157 HAS SOPS 209467 HAS SOUS 169828 HAS SOUPS 167484 WITH SCORE 167739.157
AT ITER 257 NEW BEST:: SOT 344604 SOS 255007 HAS SOPS 209481 HAS SOUS 169660 HAS SOUPS 167316 WITH SCORE 167571.007
AT ITER 258 NEW BEST:: SOT 344554 SOS 255013 HAS SOPS 209390 HAS SOUS 169614 HAS SOUPS 167270 WITH SCORE 167525.013
AT ITER 259 NEW BEST:: SOT 342784 SOS 252797 HAS SOPS 207537 HAS SOUS 167763 HAS SOUPS 165419 WITH SCORE 165671.797
AT ITER 261 NEW BEST:: SOT 342719 SOS 252667 HAS SOPS 207407 HAS SOUS 167633 HAS SOUPS 165289 WITH SCORE 165541.667
AT ITER 265 NEW BEST:: SOT 342719 SOS 252602 HAS SOPS 207472 HAS SOUS 167633 HAS SOUPS 165289 WITH SCORE 165541.602
AT ITER 266 NEW BEST:: SOT 342551 SOS 252434 HAS SOPS 207304 HAS SOUS 167630 HAS SOUPS 165286 WITH SCORE 165538.434
AT ITER 267 NEW BEST:: SOT 342446 SOS 252284 HAS SOPS 207094 HAS SOUS 167368 HAS SOUPS 165024 WITH SCORE 165276.284
AT ITER 268 NEW BEST:: SOT 342446 SOS 252066 HAS SOPS 206876 HAS SOUS 167368 HAS SOUPS 165024 WITH SCORE 165276.066
AT ITER 270 NEW BEST:: SOT 342446 SOS 251022 HAS SOPS 206074 HAS SOUS 167368 HAS SOUPS 165024 WITH SCORE 165275.022
AT ITER 271 NEW BEST:: SOT 342206 SOS 250661 HAS SOPS 205804 HAS SOUS 167007 HAS SOUPS 164663 WITH SCORE 164913.661
AT ITER 273 NEW BEST:: SOT 342206 SOS 250448 HAS SOPS 205804 HAS SOUS 167007 HAS SOUPS 164663 WITH SCORE 164913.448
AT ITER 274 NEW BEST:: SOT 340339 SOS 248288 HAS SOPS 203644 HAS SOUS 164438 HAS SOUPS 162094 WITH SCORE 162342.288
AT ITER 280 NEW BEST:: SOT 340248 SOS 247987 HAS SOPS 203462 HAS SOUS 164262 HAS SOUPS 161918 WITH SCORE 162165.987
AT ITER 282 NEW BEST:: SOT 340172 SOS 247911 HAS SOPS 203405 HAS SOUS 164189 HAS SOUPS 161861 WITH SCORE 162108.911
AT ITER 284 NEW BEST:: SOT 340134 SOS 247873 HAS SOPS 203214 HAS SOUS 164117 HAS SOUPS 161745 WITH SCORE 161992.873
AT ITER 287 NEW BEST:: SOT 340122 SOS 247849 HAS SOPS 203178 HAS SOUS 164081 HAS SOUPS 161709 WITH SCORE 161956.849
AT ITER 288 NEW BEST:: SOT 340002 SOS 247729 HAS SOPS 203031 HAS SOUS 163934 HAS SOUPS 161562 WITH SCORE 161809.729
AT ITER 290 NEW BEST:: SOT 340002 SOS 247631 HAS SOPS 203103 HAS SOUS 163905 HAS SOUPS 161533 WITH SCORE 161780.631
AT ITER 291 NEW BEST:: SOT 339705 SOS 247224 HAS SOPS 202696 HAS SOUS 163460 HAS SOUPS 161088 WITH SCORE 161335.224
AT ITER 295 NEW BEST:: SOT 339705 SOS 247137 HAS SOPS 202696 HAS SOUS 163410 HAS SOUPS 161038 WITH SCORE 161285.137
AT ITER 299 NEW BEST:: SOT 339668 SOS 246952 HAS SOPS 202474 HAS SOUS 163225 HAS SOUPS 160853 WITH SCORE 161099.952
AT ITER 308 NEW BEST:: SOT 339624 SOS 247144 HAS SOPS 202519 HAS SOUS 163181 HAS SOUPS 160809 WITH SCORE 161056.144
AT ITER 311 NEW BEST:: SOT 339567 SOS 247123 HAS SOPS 202314 HAS SOUS 163089 HAS SOUPS 160717 WITH SCORE 160964.123
AT ITER 313 NEW BEST:: SOT 337991 SOS 245368 HAS SOPS 200344 HAS SOUS 161135 HAS SOUPS 158747 WITH SCORE 158992.368
AT ITER 315 NEW BEST:: SOT 337985 SOS 245356 HAS SOPS 200326 HAS SOUS 161123 HAS SOUPS 158735 WITH SCORE 158980.356
AT ITER 317 NEW BEST:: SOT 337973 SOS 245344 HAS SOPS 200314 HAS SOUS 161111 HAS SOUPS 158723 WITH SCORE 158968.344
AT ITER 327 NEW BEST:: SOT 337477 SOS 244803 HAS SOPS 199715 HAS SOUS 160541 HAS SOUPS 158143 WITH SCORE 158387.803
AT ITER 328 NEW BEST:: SOT 337269 SOS 244595 HAS SOPS 199481 HAS SOUS 160290 HAS SOUPS 157892 WITH SCORE 158136.595
AT ITER 329 NEW BEST:: SOT 337269 SOS 244384 HAS SOPS 199696 HAS SOUS 160290 HAS SOUPS 157892 WITH SCORE 158136.384
AT ITER 330 NEW BEST:: SOT 337269 SOS 244272 HAS SOPS 199640 HAS SOUS 160290 HAS SOUPS 157892 WITH SCORE 158136.272
AT ITER 331 NEW BEST:: SOT 337167 SOS 244272 HAS SOPS 199640 HAS SOUS 160239 HAS SOUPS 157841 WITH SCORE 158085.272
AT ITER 334 NEW BEST:: SOT 335693 SOS 242428 HAS SOPS 198511 HAS SOUS 158581 HAS SOUPS 156184 WITH SCORE 156426.428
AT ITER 337 NEW BEST:: SOT 335693 SOS 242383 HAS SOPS 198466 HAS SOUS 158562 HAS SOUPS 156165 WITH SCORE 156407.383
AT ITER 339 NEW BEST:: SOT 335551 SOS 242039 HAS SOPS 198234 HAS SOUS 158477 HAS SOUPS 156080 WITH SCORE 156322.039
AT ITER 340 NEW BEST:: SOT 334695 SOS 241120 HAS SOPS 197271 HAS SOUS 157473 HAS SOUPS 155076 WITH SCORE 155317.12
AT ITER 342 NEW BEST:: SOT 334519 SOS 240944 HAS SOPS 197051 HAS SOUS 157275 HAS SOUPS 154856 WITH SCORE 155096.944
AT ITER 343 NEW BEST:: SOT 333720 SOS 240726 HAS SOPS 196778 HAS SOUS 156718 HAS SOUPS 154299 WITH SCORE 154539.726
AT ITER 346 NEW BEST:: SOT 327011 SOS 243088 HAS SOPS 192464 HAS SOUS 152323 HAS SOUPS 149580 WITH SCORE 149823.088
AT ITER 349 NEW BEST:: SOT 327011 SOS 243016 HAS SOPS 192536 HAS SOUS 152323 HAS SOUPS 149580 WITH SCORE 149823.016
AT ITER 352 NEW BEST:: SOT 327031 SOS 243005 HAS SOPS 192485 HAS SOUS 152314 HAS SOUPS 149571 WITH SCORE 149814.005
AT ITER 355 NEW BEST:: SOT 327031 SOS 242963 HAS SOPS 192485 HAS SOUS 152314 HAS SOUPS 149571 WITH SCORE 149813.963
AT ITER 357 NEW BEST:: SOT 327031 SOS 242962 HAS SOPS 192494 HAS SOUS 152314 HAS SOUPS 149571 WITH SCORE 149813.962
AT ITER 364 NEW BEST:: SOT 326813 SOS 242533 HAS SOPS 192089 HAS SOUS 151995 HAS SOUPS 149252 WITH SCORE 149494.533
AT ITER 372 NEW BEST:: SOT 326770 SOS 242447 HAS SOPS 191901 HAS SOUS 151909 HAS SOUPS 149166 WITH SCORE 149408.447
AT ITER 374 NEW BEST:: SOT 325874 SOS 241551 HAS SOPS 191541 HAS SOUS 151270 HAS SOUPS 148563 WITH SCORE 148804.551
AT ITER 376 NEW BEST:: SOT 325983 SOS 241688 HAS SOPS 191351 HAS SOUS 151242 HAS SOUPS 148535 WITH SCORE 148776.688
AT ITER 377 NEW BEST:: SOT 325941 SOS 241655 HAS SOPS 191225 HAS SOUS 151199 HAS SOUPS 148492 WITH SCORE 148733.655
AT ITER 388 NEW BEST:: SOT 325181 SOS 240895 HAS SOPS 190321 HAS SOUS 150231 HAS SOUPS 147524 WITH SCORE 147764.895
AT ITER 390 NEW BEST:: SOT 325004 SOS 240727 HAS SOPS 190246 HAS SOUS 150146 HAS SOUPS 147448 WITH SCORE 147688.727
AT ITER 395 NEW BEST:: SOT 322231 SOS 242374 HAS SOPS 188864 HAS SOUS 148867 HAS SOUPS 146002 WITH SCORE 146244.374
AT ITER 397 NEW BEST:: SOT 322219 SOS 242362 HAS SOPS 188852 HAS SOUS 148867 HAS SOUPS 146002 WITH SCORE 146244.362
AT ITER 403 NEW BEST:: SOT 321645 SOS 241822 HAS SOPS 188503 HAS SOUS 148124 HAS SOUPS 145259 WITH SCORE 145500.822
AT ITER 404 NEW BEST:: SOT 321645 SOS 241667 HAS SOPS 188503 HAS SOUS 148085 HAS SOUPS 145220 WITH SCORE 145461.667
AT ITER 405 NEW BEST:: SOT 321172 SOS 241521 HAS SOPS 188300 HAS SOUS 148023 HAS SOUPS 145158 WITH SCORE 145399.521
AT ITER 407 NEW BEST:: SOT 320172 SOS 240521 HAS SOPS 186926 HAS SOUS 146653 HAS SOUPS 143784 WITH SCORE 144024.521
AT ITER 409 NEW BEST:: SOT 318432 SOS 238905 HAS SOPS 185445 HAS SOUS 144849 HAS SOUPS 141980 WITH SCORE 142218.905
AT ITER 411 NEW BEST:: SOT 318064 SOS 238537 HAS SOPS 184965 HAS SOUS 144369 HAS SOUPS 141500 WITH SCORE 141738.537
AT ITER 412 NEW BEST:: SOT 315768 SOS 237010 HAS SOPS 182861 HAS SOUS 142411 HAS SOUPS 139478 WITH SCORE 139715.01
AT ITER 415 NEW BEST:: SOT 315768 SOS 236980 HAS SOPS 182861 HAS SOUS 142411 HAS SOUPS 139478 WITH SCORE 139714.98
AT ITER 419 NEW BEST:: SOT 315665 SOS 236877 HAS SOPS 182693 HAS SOUS 142268 HAS SOUPS 139335 WITH SCORE 139571.877
AT ITER 421 NEW BEST:: SOT 315433 SOS 236696 HAS SOPS 182345 HAS SOUS 142044 HAS SOUPS 139111 WITH SCORE 139347.696
AT ITER 437 NEW BEST:: SOT 315434 SOS 236124 HAS SOPS 181773 HAS SOUS 141823 HAS SOUPS 138890 WITH SCORE 139126.124
AT ITER 438 NEW BEST:: SOT 315362 SOS 236052 HAS SOPS 181665 HAS SOUS 141715 HAS SOUPS 138782 WITH SCORE 139018.052
AT ITER 439 NEW BEST:: SOT 314262 SOS 235112 HAS SOPS 180716 HAS SOUS 140844 HAS SOUPS 137911 WITH SCORE 138146.112
AT ITER 440 NEW BEST:: SOT 313713 SOS 234583 HAS SOPS 180023 HAS SOUS 139967 HAS SOUPS 137034 WITH SCORE 137268.583
AT ITER 448 NEW BEST:: SOT 313713 SOS 234564 HAS SOPS 179994 HAS SOUS 139938 HAS SOUPS 137005 WITH SCORE 137239.564
AT ITER 449 NEW BEST:: SOT 313397 SOS 234102 HAS SOPS 179676 HAS SOUS 139698 HAS SOUPS 136765 WITH SCORE 136999.102
AT ITER 450 NEW BEST:: SOT 313301 SOS 234006 HAS SOPS 179460 HAS SOUS 139482 HAS SOUPS 136549 WITH SCORE 136783.006
AT ITER 452 NEW BEST:: SOT 313301 SOS 234006 HAS SOPS 179183 HAS SOUS 139468 HAS SOUPS 136535 WITH SCORE 136769.006
AT ITER 454 NEW BEST:: SOT 313173 SOS 233910 HAS SOPS 179119 HAS SOUS 139338 HAS SOUPS 136405 WITH SCORE 136638.91
AT ITER 455 NEW BEST:: SOT 313178 SOS 233905 HAS SOPS 179104 HAS SOUS 139338 HAS SOUPS 136405 WITH SCORE 136638.905
AT ITER 456 NEW BEST:: SOT 313160 SOS 233869 HAS SOPS 179153 HAS SOUS 139302 HAS SOUPS 136369 WITH SCORE 136602.869
AT ITER 462 NEW BEST:: SOT 313042 SOS 233660 HAS SOPS 179062 HAS SOUS 139243 HAS SOUPS 136310 WITH SCORE 136543.66
AT ITER 465 NEW BEST:: SOT 312463 SOS 233081 HAS SOPS 178481 HAS SOUS 138660 HAS SOUPS 135727 WITH SCORE 135960.081
AT ITER 468 NEW BEST:: SOT 312235 SOS 233023 HAS SOPS 178423 HAS SOUS 138464 HAS SOUPS 135531 WITH SCORE 135764.023
AT ITER 471 NEW BEST:: SOT 311371 SOS 232159 HAS SOPS 177455 HAS SOUS 137407 HAS SOUPS 134474 WITH SCORE 134706.159
AT ITER 476 NEW BEST:: SOT 311191 SOS 231885 HAS SOPS 177181 HAS SOUS 137132 HAS SOUPS 134199 WITH SCORE 134430.885
AT ITER 477 NEW BEST:: SOT 311119 SOS 231964 HAS SOPS 177188 HAS SOUS 136988 HAS SOUPS 134055 WITH SCORE 134286.964
AT ITER 482 NEW BEST:: SOT 311084 SOS 231929 HAS SOPS 177153 HAS SOUS 136952 HAS SOUPS 134019 WITH SCORE 134250.929
AT ITER 485 NEW BEST:: SOT 311084 SOS 231905 HAS SOPS 177153 HAS SOUS 136952 HAS SOUPS 134019 WITH SCORE 134250.905
AT ITER 487 NEW BEST:: SOT 311080 SOS 231901 HAS SOPS 177147 HAS SOUS 136939 HAS SOUPS 134006 WITH SCORE 134237.901
AT ITER 491 NEW BEST:: SOT 310408 SOS 231178 HAS SOPS 176722 HAS SOUS 136372 HAS SOUPS 133439 WITH SCORE 133670.178
AT ITER 492 NEW BEST:: SOT 310366 SOS 231158 HAS SOPS 176702 HAS SOUS 136189 HAS SOUPS 133256 WITH SCORE 133487.158
AT ITER 495 NEW BEST:: SOT 309576 SOS 230493 HAS SOPS 176111 HAS SOUS 135464 HAS SOUPS 132502 WITH SCORE 132732.493
AT ITER 497 NEW BEST:: SOT 309372 SOS 230439 HAS SOPS 176065 HAS SOUS 135361 HAS SOUPS 132399 WITH SCORE 132629.439
AT ITER 498 NEW BEST:: SOT 309372 SOS 230306 HAS SOPS 175923 HAS SOUS 135337 HAS SOUPS 132375 WITH SCORE 132605.306
AT ITER 499 NEW BEST:: SOT 308414 SOS 229348 HAS SOPS 175180 HAS SOUS 134514 HAS SOUPS 131523 WITH SCORE 131752.348
AT ITER 502 NEW BEST:: SOT 308044 SOS 228978 HAS SOPS 174719 HAS SOUS 134056 HAS SOUPS 131065 WITH SCORE 131293.978
AT ITER 504 NEW BEST:: SOT 307902 SOS 228836 HAS SOPS 174476 HAS SOUS 133749 HAS SOUPS 130758 WITH SCORE 130986.836
AT ITER 505 NEW BEST:: SOT 307690 SOS 228624 HAS SOPS 173956 HAS SOUS 133210 HAS SOUPS 130219 WITH SCORE 130447.624
AT ITER 511 NEW BEST:: SOT 307738 SOS 228098 HAS SOPS 173525 HAS SOUS 133074 HAS SOUPS 130083 WITH SCORE 130311.098
AT ITER 513 NEW BEST:: SOT 307738 SOS 227809 HAS SOPS 173691 HAS SOUS 133074 HAS SOUPS 130083 WITH SCORE 130310.809
AT ITER 516 NEW BEST:: SOT 307055 SOS 227354 HAS SOPS 173236 HAS SOUS 132559 HAS SOUPS 129568 WITH SCORE 129795.354
AT ITER 517 NEW BEST:: SOT 306601 SOS 226900 HAS SOPS 172819 HAS SOUS 132076 HAS SOUPS 129118 WITH SCORE 129344.9
AT ITER 518 NEW BEST:: SOT 306514 SOS 226773 HAS SOPS 172692 HAS SOUS 131950 HAS SOUPS 128992 WITH SCORE 129218.773
AT ITER 522 NEW BEST:: SOT 302953 SOS 225427 HAS SOPS 170006 HAS SOUS 129082 HAS SOUPS 126027 WITH SCORE 126252.427
AT ITER 524 NEW BEST:: SOT 302985 SOS 224218 HAS SOPS 168797 HAS SOUS 128936 HAS SOUPS 125881 WITH SCORE 126105.218
AT ITER 529 NEW BEST:: SOT 302967 SOS 224200 HAS SOPS 168833 HAS SOUS 128926 HAS SOUPS 125871 WITH SCORE 126095.2
AT ITER 531 NEW BEST:: SOT 302788 SOS 223875 HAS SOPS 168530 HAS SOUS 128699 HAS SOUPS 125644 WITH SCORE 125867.875
AT ITER 532 NEW BEST:: SOT 302610 SOS 223697 HAS SOPS 168153 HAS SOUS 128336 HAS SOUPS 125281 WITH SCORE 125504.697
AT ITER 535 NEW BEST:: SOT 302388 SOS 223475 HAS SOPS 167919 HAS SOUS 128069 HAS SOUPS 125014 WITH SCORE 125237.475
AT ITER 536 NEW BEST:: SOT 302388 SOS 223338 HAS SOPS 167801 HAS SOUS 128069 HAS SOUPS 125014 WITH SCORE 125237.338
AT ITER 548 NEW BEST:: SOT 302388 SOS 223175 HAS SOPS 167638 HAS SOUS 128037 HAS SOUPS 124982 WITH SCORE 125205.175
AT ITER 556 NEW BEST:: SOT 302388 SOS 223064 HAS SOPS 167638 HAS SOUS 128037 HAS SOUPS 124982 WITH SCORE 125205.064
AT ITER 562 NEW BEST:: SOT 302388 SOS 222800 HAS SOPS 167374 HAS SOUS 128037 HAS SOUPS 124982 WITH SCORE 125204.8
AT ITER 565 NEW BEST:: SOT 302388 SOS 222706 HAS SOPS 167280 HAS SOUS 128037 HAS SOUPS 124982 WITH SCORE 125204.706
AT ITER 566 NEW BEST:: SOT 301600 SOS 222283 HAS SOPS 166857 HAS SOUS 127759 HAS SOUPS 124704 WITH SCORE 124926.283
AT ITER 567 NEW BEST:: SOT 301515 SOS 222207 HAS SOPS 166687 HAS SOUS 127589 HAS SOUPS 124534 WITH SCORE 124756.207
AT ITER 570 NEW BEST:: SOT 301505 SOS 222208 HAS SOPS 166683 HAS SOUS 127574 HAS SOUPS 124519 WITH SCORE 124741.208
AT ITER 571 NEW BEST:: SOT 301505 SOS 222189 HAS SOPS 166683 HAS SOUS 127574 HAS SOUPS 124519 WITH SCORE 124741.189
AT ITER 577 NEW BEST:: SOT 301505 SOS 222102 HAS SOPS 166596 HAS SOUS 127574 HAS SOUPS 124519 WITH SCORE 124741.102
AT ITER 579 NEW BEST:: SOT 301505 SOS 222102 HAS SOPS 166596 HAS SOUS 127520 HAS SOUPS 124465 WITH SCORE 124687.102
AT ITER 580 NEW BEST:: SOT 301467 SOS 222037 HAS SOPS 166606 HAS SOUS 127490 HAS SOUPS 124435 WITH SCORE 124657.037
AT ITER 581 NEW BEST:: SOT 301381 SOS 222133 HAS SOPS 166616 HAS SOUS 127362 HAS SOUPS 124307 WITH SCORE 124529.133
AT ITER 587 NEW BEST:: SOT 301029 SOS 221921 HAS SOPS 166414 HAS SOUS 127151 HAS SOUPS 124096 WITH SCORE 124317.921
AT ITER 590 NEW BEST:: SOT 300926 SOS 221856 HAS SOPS 166349 HAS SOUS 127086 HAS SOUPS 124031 WITH SCORE 124252.856
AT ITER 598 NEW BEST:: SOT 300850 SOS 221708 HAS SOPS 166063 HAS SOUS 126734 HAS SOUPS 123679 WITH SCORE 123900.708
AT ITER 600 NEW BEST:: SOT 300260 SOS 222101 HAS SOPS 166131 HAS SOUS 126361 HAS SOUPS 123306 WITH SCORE 123528.101
AT ITER 602 NEW BEST:: SOT 300195 SOS 221963 HAS SOPS 165902 HAS SOUS 126231 HAS SOUPS 123176 WITH SCORE 123397.963
AT ITER 606 NEW BEST:: SOT 300122 SOS 221841 HAS SOPS 165797 HAS SOUS 126131 HAS SOUPS 123076 WITH SCORE 123297.841
AT ITER 611 NEW BEST:: SOT 299630 SOS 221349 HAS SOPS 165505 HAS SOUS 125856 HAS SOUPS 122801 WITH SCORE 123022.349
AT ITER 614 NEW BEST:: SOT 299630 SOS 221265 HAS SOPS 165519 HAS SOUS 125856 HAS SOUPS 122801 WITH SCORE 123022.265
AT ITER 616 NEW BEST:: SOT 299422 SOS 221072 HAS SOPS 165197 HAS SOUS 125532 HAS SOUPS 122477 WITH SCORE 122698.072
AT ITER 620 NEW BEST:: SOT 299422 SOS 220978 HAS SOPS 165103 HAS SOUS 125532 HAS SOUPS 122477 WITH SCORE 122697.978
AT ITER 621 NEW BEST:: SOT 299357 SOS 220913 HAS SOPS 164977 HAS SOUS 125406 HAS SOUPS 122351 WITH SCORE 122571.913
AT ITER 624 NEW BEST:: SOT 298683 SOS 220239 HAS SOPS 164670 HAS SOUS 125166 HAS SOUPS 122111 WITH SCORE 122331.239
AT ITER 625 NEW BEST:: SOT 298679 SOS 220291 HAS SOPS 164662 HAS SOUS 125159 HAS SOUPS 122103 WITH SCORE 122323.291
AT ITER 627 NEW BEST:: SOT 298413 SOS 219984 HAS SOPS 164211 HAS SOUS 124760 HAS SOUPS 121704 WITH SCORE 121923.984
AT ITER 628 NEW BEST:: SOT 298333 SOS 219904 HAS SOPS 164082 HAS SOUS 124631 HAS SOUPS 121575 WITH SCORE 121794.904
AT ITER 629 NEW BEST:: SOT 298303 SOS 219874 HAS SOPS 164022 HAS SOUS 124541 HAS SOUPS 121485 WITH SCORE 121704.874
AT ITER 635 NEW BEST:: SOT 298189 SOS 219760 HAS SOPS 163908 HAS SOUS 124419 HAS SOUPS 121363 WITH SCORE 121582.76
AT ITER 639 NEW BEST:: SOT 298141 SOS 219712 HAS SOPS 163860 HAS SOUS 124379 HAS SOUPS 121323 WITH SCORE 121542.712
AT ITER 645 NEW BEST:: SOT 298109 SOS 219702 HAS SOPS 163736 HAS SOUS 124247 HAS SOUPS 121191 WITH SCORE 121410.702
AT ITER 646 NEW BEST:: SOT 298021 SOS 219614 HAS SOPS 163560 HAS SOUS 124071 HAS SOUPS 121015 WITH SCORE 121234.614
AT ITER 651 NEW BEST:: SOT 297927 SOS 219376 HAS SOPS 163320 HAS SOUS 123871 HAS SOUPS 120815 WITH SCORE 121034.376
AT ITER 653 NEW BEST:: SOT 296859 SOS 218685 HAS SOPS 162827 HAS SOUS 123030 HAS SOUPS 119974 WITH SCORE 120192.685
AT ITER 656 NEW BEST:: SOT 296885 SOS 218659 HAS SOPS 162801 HAS SOUS 123004 HAS SOUPS 119948 WITH SCORE 120166.659
AT ITER 657 NEW BEST:: SOT 295711 SOS 217527 HAS SOPS 162126 HAS SOUS 122090 HAS SOUPS 119038 WITH SCORE 119255.527
AT ITER 664 NEW BEST:: SOT 295450 SOS 217512 HAS SOPS 161844 HAS SOUS 121849 HAS SOUPS 118797 WITH SCORE 119014.512
AT ITER 666 NEW BEST:: SOT 294870 SOS 216932 HAS SOPS 161606 HAS SOUS 121580 HAS SOUPS 118528 WITH SCORE 118744.932
AT ITER 667 NEW BEST:: SOT 294237 SOS 216299 HAS SOPS 161333 HAS SOUS 121261 HAS SOUPS 118227 WITH SCORE 118443.299
AT ITER 669 NEW BEST:: SOT 294094 SOS 215845 HAS SOPS 160904 HAS SOUS 120975 HAS SOUPS 117941 WITH SCORE 118156.845
AT ITER 679 NEW BEST:: SOT 294020 SOS 215662 HAS SOPS 160721 HAS SOUS 120821 HAS SOUPS 117787 WITH SCORE 118002.662
AT ITER 680 NEW BEST:: SOT 293135 SOS 215086 HAS SOPS 160524 HAS SOUS 120260 HAS SOUPS 117226 WITH SCORE 117441.086
AT ITER 684 NEW BEST:: SOT 293055 SOS 215006 HAS SOPS 160404 HAS SOUS 120162 HAS SOUPS 117128 WITH SCORE 117343.006
AT ITER 692 NEW BEST:: SOT 293028 SOS 214974 HAS SOPS 160393 HAS SOUS 120140 HAS SOUPS 117106 WITH SCORE 117320.974
AT ITER 693 NEW BEST:: SOT 292932 SOS 214878 HAS SOPS 160273 HAS SOUS 120020 HAS SOUPS 116986 WITH SCORE 117200.878
AT ITER 697 NEW BEST:: SOT 292288 SOS 212998 HAS SOPS 159706 HAS SOUS 119627 HAS SOUPS 116622 WITH SCORE 116834.998
AT ITER 706 NEW BEST:: SOT 292030 SOS 212740 HAS SOPS 159319 HAS SOUS 119177 HAS SOUPS 116172 WITH SCORE 116384.74
AT ITER 708 NEW BEST:: SOT 292008 SOS 212634 HAS SOPS 159089 HAS SOUS 119102 HAS SOUPS 116097 WITH SCORE 116309.634
AT ITER 710 NEW BEST:: SOT 292483 SOS 210457 HAS SOPS 150591 HAS SOUS 118876 HAS SOUPS 109428 WITH SCORE 109638.457
AT ITER 720 NEW BEST:: SOT 292479 SOS 210453 HAS SOPS 150583 HAS SOUS 118868 HAS SOUPS 109420 WITH SCORE 109630.453
AT ITER 726 NEW BEST:: SOT 292159 SOS 210133 HAS SOPS 150502 HAS SOUS 118702 HAS SOUPS 109296 WITH SCORE 109506.133
AT ITER 727 NEW BEST:: SOT 292053 SOS 210024 HAS SOPS 150416 HAS SOUS 118606 HAS SOUPS 109200 WITH SCORE 109410.024
AT ITER 728 NEW BEST:: SOT 291958 SOS 209979 HAS SOPS 150167 HAS SOUS 118517 HAS SOUPS 109111 WITH SCORE 109320.979
AT ITER 729 NEW BEST:: SOT 291908 SOS 209914 HAS SOPS 150102 HAS SOUS 118464 HAS SOUPS 109058 WITH SCORE 109267.914
AT ITER 731 NEW BEST:: SOT 291856 SOS 209862 HAS SOPS 149955 HAS SOUS 118362 HAS SOUPS 108954 WITH SCORE 109163.862
AT ITER 733 NEW BEST:: SOT 291856 SOS 209840 HAS SOPS 149922 HAS SOUS 118340 HAS SOUPS 108932 WITH SCORE 109141.84
AT ITER 735 NEW BEST:: SOT 291741 SOS 209725 HAS SOPS 149681 HAS SOUS 118243 HAS SOUPS 108835 WITH SCORE 109044.725
AT ITER 747 NEW BEST:: SOT 291717 SOS 209701 HAS SOPS 149657 HAS SOUS 118219 HAS SOUPS 108811 WITH SCORE 109020.701
AT ITER 753 NEW BEST:: SOT 291636 SOS 209568 HAS SOPS 149632 HAS SOUS 118057 HAS SOUPS 108649 WITH SCORE 108858.568
AT ITER 757 NEW BEST:: SOT 291421 SOS 209511 HAS SOPS 149263 HAS SOUS 117540 HAS SOUPS 108132 WITH SCORE 108341.511
AT ITER 761 NEW BEST:: SOT 291309 SOS 209439 HAS SOPS 149144 HAS SOUS 117401 HAS SOUPS 107993 WITH SCORE 108202.439
AT ITER 765 NEW BEST:: SOT 290835 SOS 208905 HAS SOPS 149045 HAS SOUS 117123 HAS SOUPS 107717 WITH SCORE 107925.905
AT ITER 766 NEW BEST:: SOT 290809 SOS 208879 HAS SOPS 149006 HAS SOUS 117097 HAS SOUPS 107691 WITH SCORE 107899.879
AT ITER 767 NEW BEST:: SOT 290510 SOS 208807 HAS SOPS 149197 HAS SOUS 117078 HAS SOUPS 107673 WITH SCORE 107881.807
AT ITER 769 NEW BEST:: SOT 290498 SOS 208795 HAS SOPS 149163 HAS SOUS 117073 HAS SOUPS 107668 WITH SCORE 107876.795
AT ITER 770 NEW BEST:: SOT 289742 SOS 208031 HAS SOPS 149121 HAS SOUS 116785 HAS SOUPS 107380 WITH SCORE 107588.031
AT ITER 772 NEW BEST:: SOT 289388 SOS 207677 HAS SOPS 148923 HAS SOUS 116550 HAS SOUPS 107146 WITH SCORE 107353.677
AT ITER 774 NEW BEST:: SOT 289330 SOS 207733 HAS SOPS 148872 HAS SOUS 116421 HAS SOUPS 107017 WITH SCORE 107224.733
AT ITER 780 NEW BEST:: SOT 289236 SOS 207639 HAS SOPS 148731 HAS SOUS 116344 HAS SOUPS 106940 WITH SCORE 107147.639
AT ITER 782 NEW BEST:: SOT 289214 SOS 207617 HAS SOPS 148687 HAS SOUS 116313 HAS SOUPS 106907 WITH SCORE 107114.617
AT ITER 783 NEW BEST:: SOT 288232 SOS 210474 HAS SOPS 148694 HAS SOUS 115907 HAS SOUPS 106419 WITH SCORE 106629.474
AT ITER 789 NEW BEST:: SOT 288218 SOS 210456 HAS SOPS 148714 HAS SOUS 115839 HAS SOUPS 106351 WITH SCORE 106561.456
AT ITER 790 NEW BEST:: SOT 288216 SOS 210165 HAS SOPS 148516 HAS SOUS 115631 HAS SOUPS 106227 WITH SCORE 106437.165
AT ITER 791 NEW BEST:: SOT 288216 SOS 209954 HAS SOPS 148380 HAS SOUS 115626 HAS SOUPS 106222 WITH SCORE 106431.954
AT ITER 799 NEW BEST:: SOT 288424 SOS 209562 HAS SOPS 148190 HAS SOUS 115436 HAS SOUPS 106032 WITH SCORE 106241.562
AT ITER 802 NEW BEST:: SOT 288396 SOS 209520 HAS SOPS 148148 HAS SOUS 115394 HAS SOUPS 105990 WITH SCORE 106199.52
AT ITER 809 NEW BEST:: SOT 288317 SOS 209441 HAS SOPS 147950 HAS SOUS 115377 HAS SOUPS 105973 WITH SCORE 106182.441
AT ITER 810 NEW BEST:: SOT 287881 SOS 209078 HAS SOPS 148157 HAS SOUS 115293 HAS SOUPS 105919 WITH SCORE 106128.078
AT ITER 814 NEW BEST:: SOT 287945 SOS 209104 HAS SOPS 148265 HAS SOUS 115246 HAS SOUPS 105916 WITH SCORE 106125.104
AT ITER 817 NEW BEST:: SOT 287945 SOS 209104 HAS SOPS 148265 HAS SOUS 115233 HAS SOUPS 105903 WITH SCORE 106112.104
AT ITER 818 NEW BEST:: SOT 287936 SOS 208946 HAS SOPS 148081 HAS SOUS 115201 HAS SOUPS 105871 WITH SCORE 106079.946
AT ITER 835 NEW BEST:: SOT 286423 SOS 207376 HAS SOPS 146613 HAS SOUS 113653 HAS SOUPS 104323 WITH SCORE 104530.376
AT ITER 837 NEW BEST:: SOT 286498 SOS 207361 HAS SOPS 146289 HAS SOUS 113595 HAS SOUPS 104265 WITH SCORE 104472.361
AT ITER 846 NEW BEST:: SOT 286380 SOS 207752 HAS SOPS 146341 HAS SOUS 113906 HAS SOUPS 104237 WITH SCORE 104444.752
AT ITER 847 NEW BEST:: SOT 286380 SOS 207752 HAS SOPS 146341 HAS SOUS 113858 HAS SOUPS 104189 WITH SCORE 104396.752
AT ITER 850 NEW BEST:: SOT 286234 SOS 207537 HAS SOPS 146084 HAS SOUS 113482 HAS SOUPS 103813 WITH SCORE 104020.537
AT ITER 853 NEW BEST:: SOT 286162 SOS 207465 HAS SOPS 146113 HAS SOUS 113330 HAS SOUPS 103661 WITH SCORE 103868.465
AT ITER 854 NEW BEST:: SOT 286138 SOS 207173 HAS SOPS 145876 HAS SOUS 113294 HAS SOUPS 103625 WITH SCORE 103832.173
AT ITER 857 NEW BEST:: SOT 286139 SOS 207067 HAS SOPS 145609 HAS SOUS 113187 HAS SOUPS 103518 WITH SCORE 103725.067
AT ITER 858 NEW BEST:: SOT 284751 SOS 205679 HAS SOPS 144409 HAS SOUS 112111 HAS SOUPS 102442 WITH SCORE 102647.679
AT ITER 864 NEW BEST:: SOT 284745 SOS 205667 HAS SOPS 144295 HAS SOUS 112093 HAS SOUPS 102424 WITH SCORE 102629.667
AT ITER 873 NEW BEST:: SOT 284523 SOS 205731 HAS SOPS 144724 HAS SOUS 112057 HAS SOUPS 102388 WITH SCORE 102593.731
AT ITER 876 NEW BEST:: SOT 284441 SOS 205450 HAS SOPS 144460 HAS SOUS 111890 HAS SOUPS 102221 WITH SCORE 102426.45
AT ITER 882 NEW BEST:: SOT 284395 SOS 205218 HAS SOPS 144261 HAS SOUS 111728 HAS SOUPS 102059 WITH SCORE 102264.218
AT ITER 890 NEW BEST:: SOT 284395 SOS 205218 HAS SOPS 144106 HAS SOUS 111694 HAS SOUPS 102025 WITH SCORE 102230.218
AT ITER 893 NEW BEST:: SOT 284395 SOS 205048 HAS SOPS 144106 HAS SOUS 111694 HAS SOUPS 102025 WITH SCORE 102230.048
AT ITER 895 NEW BEST:: SOT 284402 SOS 205055 HAS SOPS 144081 HAS SOUS 111669 HAS SOUPS 102000 WITH SCORE 102205.055
AT ITER 897 NEW BEST:: SOT 284402 SOS 204987 HAS SOPS 144081 HAS SOUS 111669 HAS SOUPS 102000 WITH SCORE 102204.987
AT ITER 898 NEW BEST:: SOT 284396 SOS 205168 HAS SOPS 143873 HAS SOUS 111638 HAS SOUPS 101969 WITH SCORE 102174.168
AT ITER 900 NEW BEST:: SOT 284400 SOS 205005 HAS SOPS 143378 HAS SOUS 111310 HAS SOUPS 101641 WITH SCORE 101846.005
AT ITER 908 NEW BEST:: SOT 283546 SOS 205112 HAS SOPS 142730 HAS SOUS 110719 HAS SOUPS 101013 WITH SCORE 101218.112
AT ITER 915 NEW BEST:: SOT 283514 SOS 205048 HAS SOPS 142666 HAS SOUS 110582 HAS SOUPS 100876 WITH SCORE 101081.048
AT ITER 919 NEW BEST:: SOT 283302 SOS 204840 HAS SOPS 142427 HAS SOUS 110330 HAS SOUPS 100624 WITH SCORE 100828.84
AT ITER 925 NEW BEST:: SOT 283322 SOS 204998 HAS SOPS 142611 HAS SOUS 110255 HAS SOUPS 100549 WITH SCORE 100753.998
AT ITER 927 NEW BEST:: SOT 281978 SOS 203690 HAS SOPS 141992 HAS SOUS 109287 HAS SOUPS 99581 WITH SCORE 99784.69
AT ITER 928 NEW BEST:: SOT 281998 SOS 203867 HAS SOPS 141974 HAS SOUS 109127 HAS SOUPS 99421 WITH SCORE 99624.867
AT ITER 935 NEW BEST:: SOT 281650 SOS 203444 HAS SOPS 141677 HAS SOUS 108830 HAS SOUPS 99124 WITH SCORE 99327.444
AT ITER 937 NEW BEST:: SOT 281608 SOS 203383 HAS SOPS 141718 HAS SOUS 108767 HAS SOUPS 99061 WITH SCORE 99264.383
AT ITER 938 NEW BEST:: SOT 281562 SOS 203337 HAS SOPS 141626 HAS SOUS 108726 HAS SOUPS 99020 WITH SCORE 99223.337
AT ITER 939 NEW BEST:: SOT 281562 SOS 203127 HAS SOPS 141556 HAS SOUS 108726 HAS SOUPS 99020 WITH SCORE 99223.127
AT ITER 940 NEW BEST:: SOT 281561 SOS 203125 HAS SOPS 141554 HAS SOUS 108723 HAS SOUPS 99017 WITH SCORE 99220.125
AT ITER 948 NEW BEST:: SOT 281507 SOS 203036 HAS SOPS 141430 HAS SOUS 108634 HAS SOUPS 98928 WITH SCORE 99131.036
AT ITER 950 NEW BEST:: SOT 281485 SOS 203014 HAS SOPS 141408 HAS SOUS 108577 HAS SOUPS 98871 WITH SCORE 99074.014
AT ITER 955 NEW BEST:: SOT 281081 SOS 202214 HAS SOPS 140622 HAS SOUS 107996 HAS SOUPS 98290 WITH SCORE 98492.214
AT ITER 960 NEW BEST:: SOT 281081 SOS 202145 HAS SOPS 140622 HAS SOUS 107996 HAS SOUPS 98290 WITH SCORE 98492.145
AT ITER 964 NEW BEST:: SOT 281079 SOS 202143 HAS SOPS 140618 HAS SOUS 107975 HAS SOUPS 98269 WITH SCORE 98471.143
AT ITER 973 NEW BEST:: SOT 281066 SOS 202159 HAS SOPS 140579 HAS SOUS 107962 HAS SOUPS 98256 WITH SCORE 98458.159
AT ITER 975 NEW BEST:: SOT 281036 SOS 202129 HAS SOPS 140519 HAS SOUS 107917 HAS SOUPS 98196 WITH SCORE 98398.129
AT ITER 977 NEW BEST:: SOT 280780 SOS 201745 HAS SOPS 140391 HAS SOUS 107917 HAS SOUPS 98196 WITH SCORE 98397.745
AT ITER 981 NEW BEST:: SOT 280780 SOS 201737 HAS SOPS 140383 HAS SOUS 107917 HAS SOUPS 98196 WITH SCORE 98397.737
AT ITER 982 NEW BEST:: SOT 280579 SOS 201536 HAS SOPS 140182 HAS SOUS 107671 HAS SOUPS 97950 WITH SCORE 98151.536
AT ITER 983 NEW BEST:: SOT 280577 SOS 201525 HAS SOPS 140172 HAS SOUS 107666 HAS SOUPS 97946 WITH SCORE 98147.525
AT ITER 984 NEW BEST:: SOT 280562 SOS 201510 HAS SOPS 140167 HAS SOUS 107656 HAS SOUPS 97936 WITH SCORE 98137.51
AT ITER 989 NEW BEST:: SOT 280562 SOS 201505 HAS SOPS 140162 HAS SOUS 107656 HAS SOUPS 97936 WITH SCORE 98137.505
AT ITER 994 NEW BEST:: SOT 280527 SOS 201469 HAS SOPS 140126 HAS SOUS 107586 HAS SOUPS 97866 WITH SCORE 98067.469
AT ITER 1001 NEW BEST:: SOT 280425 SOS 201024 HAS SOPS 139681 HAS SOUS 107238 HAS SOUPS 97518 WITH SCORE 97719.024
AT ITER 1007 NEW BEST:: SOT 279251 SOS 203073 HAS SOPS 139374 HAS SOUS 106738 HAS SOUPS 96943 WITH SCORE 97146.073
AT ITER 1008 NEW BEST:: SOT 279061 SOS 202883 HAS SOPS 139198 HAS SOUS 106554 HAS SOUPS 96767 WITH SCORE 96969.883
AT ITER 1009 NEW BEST:: SOT 278467 SOS 202072 HAS SOPS 139547 HAS SOUS 106392 HAS SOUPS 96605 WITH SCORE 96807.072
AT ITER 1010 NEW BEST:: SOT 278045 SOS 201666 HAS SOPS 139293 HAS SOUS 105970 HAS SOUPS 96183 WITH SCORE 96384.666
AT ITER 1016 NEW BEST:: SOT 277961 SOS 199890 HAS SOPS 137830 HAS SOUS 105516 HAS SOUPS 95945 WITH SCORE 96144.89
AT ITER 1018 NEW BEST:: SOT 277945 SOS 199488 HAS SOPS 137400 HAS SOUS 105426 HAS SOUPS 95855 WITH SCORE 96054.488
AT ITER 1020 NEW BEST:: SOT 277748 SOS 199291 HAS SOPS 137099 HAS SOUS 105078 HAS SOUPS 95507 WITH SCORE 95706.291
AT ITER 1021 NEW BEST:: SOT 277748 SOS 199336 HAS SOPS 136919 HAS SOUS 104943 HAS SOUPS 95372 WITH SCORE 95571.336
AT ITER 1022 NEW BEST:: SOT 277736 SOS 198566 HAS SOPS 136278 HAS SOUS 104847 HAS SOUPS 95348 WITH SCORE 95546.566
AT ITER 1029 NEW BEST:: SOT 277039 SOS 197869 HAS SOPS 136031 HAS SOUS 104769 HAS SOUPS 95270 WITH SCORE 95467.869
AT ITER 1031 NEW BEST:: SOT 277106 SOS 198090 HAS SOPS 136331 HAS SOUS 104764 HAS SOUPS 95265 WITH SCORE 95463.09
AT ITER 1032 NEW BEST:: SOT 277265 SOS 197904 HAS SOPS 136304 HAS SOUS 104634 HAS SOUPS 95135 WITH SCORE 95332.904
AT ITER 1033 NEW BEST:: SOT 277277 SOS 197817 HAS SOPS 136180 HAS SOUS 104583 HAS SOUPS 95084 WITH SCORE 95281.817
AT ITER 1039 NEW BEST:: SOT 277081 SOS 197621 HAS SOPS 135886 HAS SOUS 104237 HAS SOUPS 94738 WITH SCORE 94935.621
AT ITER 1045 NEW BEST:: SOT 277009 SOS 197549 HAS SOPS 135859 HAS SOUS 104093 HAS SOUPS 94594 WITH SCORE 94791.549
AT ITER 1062 NEW BEST:: SOT 276951 SOS 197475 HAS SOPS 135772 HAS SOUS 104006 HAS SOUPS 94507 WITH SCORE 94704.475
AT ITER 1070 NEW BEST:: SOT 276933 SOS 197496 HAS SOPS 135752 HAS SOUS 103791 HAS SOUPS 94292 WITH SCORE 94489.496
AT ITER 1074 NEW BEST:: SOT 276961 SOS 197490 HAS SOPS 135746 HAS SOUS 103751 HAS SOUPS 94252 WITH SCORE 94449.49
AT ITER 1077 NEW BEST:: SOT 276948 SOS 197360 HAS SOPS 135603 HAS SOUS 103751 HAS SOUPS 94239 WITH SCORE 94436.36
AT ITER 1080 NEW BEST:: SOT 276947 SOS 197260 HAS SOPS 135456 HAS SOUS 103651 HAS SOUPS 94139 WITH SCORE 94336.26
AT ITER 1081 NEW BEST:: SOT 276795 SOS 197290 HAS SOPS 135355 HAS SOUS 103323 HAS SOUPS 93811 WITH SCORE 94008.29
AT ITER 1084 NEW BEST:: SOT 276587 SOS 197082 HAS SOPS 135043 HAS SOUS 103112 HAS SOUPS 93600 WITH SCORE 93797.082
AT ITER 1087 NEW BEST:: SOT 276587 SOS 197082 HAS SOPS 134995 HAS SOUS 103076 HAS SOUPS 93564 WITH SCORE 93761.082
AT ITER 1091 NEW BEST:: SOT 276278 SOS 196574 HAS SOPS 134514 HAS SOUS 102689 HAS SOUPS 93177 WITH SCORE 93373.574
AT ITER 1094 NEW BEST:: SOT 275860 SOS 196156 HAS SOPS 134655 HAS SOUS 102638 HAS SOUPS 93126 WITH SCORE 93322.156
AT ITER 1096 NEW BEST:: SOT 275860 SOS 196093 HAS SOPS 134655 HAS SOUS 102638 HAS SOUPS 93126 WITH SCORE 93322.093
AT ITER 1097 NEW BEST:: SOT 275756 SOS 195937 HAS SOPS 134499 HAS SOUS 102482 HAS SOUPS 92970 WITH SCORE 93165.937
AT ITER 1098 NEW BEST:: SOT 275000 SOS 195988 HAS SOPS 134303 HAS SOUS 102014 HAS SOUPS 92518 WITH SCORE 92713.988
AT ITER 1101 NEW BEST:: SOT 275000 SOS 195876 HAS SOPS 134207 HAS SOUS 101998 HAS SOUPS 92502 WITH SCORE 92697.876
AT ITER 1103 NEW BEST:: SOT 274932 SOS 195808 HAS SOPS 134071 HAS SOUS 101862 HAS SOUPS 92366 WITH SCORE 92561.808
AT ITER 1105 NEW BEST:: SOT 274634 SOS 195510 HAS SOPS 133703 HAS SOUS 101504 HAS SOUPS 91995 WITH SCORE 92190.51
AT ITER 1106 NEW BEST:: SOT 274520 SOS 195434 HAS SOPS 133627 HAS SOUS 101390 HAS SOUPS 91881 WITH SCORE 92076.434
AT ITER 1109 NEW BEST:: SOT 274348 SOS 195454 HAS SOPS 133537 HAS SOUS 101180 HAS SOUPS 91671 WITH SCORE 91866.454
AT ITER 1110 NEW BEST:: SOT 274352 SOS 195505 HAS SOPS 133610 HAS SOUS 101059 HAS SOUPS 91550 WITH SCORE 91745.505
AT ITER 1115 NEW BEST:: SOT 274352 SOS 195302 HAS SOPS 133439 HAS SOUS 101059 HAS SOUPS 91550 WITH SCORE 91745.302
AT ITER 1116 NEW BEST:: SOT 274363 SOS 195346 HAS SOPS 133472 HAS SOUS 101048 HAS SOUPS 91539 WITH SCORE 91734.346
AT ITER 1118 NEW BEST:: SOT 274281 SOS 195201 HAS SOPS 133308 HAS SOUS 100809 HAS SOUPS 91300 WITH SCORE 91495.201
AT ITER 1122 NEW BEST:: SOT 274281 SOS 195201 HAS SOPS 133308 HAS SOUS 100794 HAS SOUPS 91285 WITH SCORE 91480.201
AT ITER 1125 NEW BEST:: SOT 274191 SOS 195111 HAS SOPS 133173 HAS SOUS 100640 HAS SOUPS 91131 WITH SCORE 91326.111
AT ITER 1133 NEW BEST:: SOT 274165 SOS 195072 HAS SOPS 133121 HAS SOUS 100601 HAS SOUPS 91092 WITH SCORE 91287.072
AT ITER 1135 NEW BEST:: SOT 274036 SOS 194983 HAS SOPS 132901 HAS SOUS 100405 HAS SOUPS 90896 WITH SCORE 91090.983
AT ITER 1136 NEW BEST:: SOT 274059 SOS 194958 HAS SOPS 133071 HAS SOUS 100375 HAS SOUPS 90866 WITH SCORE 91060.958
AT ITER 1139 NEW BEST:: SOT 273993 SOS 194958 HAS SOPS 133108 HAS SOUS 100358 HAS SOUPS 90849 WITH SCORE 91043.958
AT ITER 1147 NEW BEST:: SOT 273952 SOS 194910 HAS SOPS 133049 HAS SOUS 100308 HAS SOUPS 90799 WITH SCORE 90993.91
AT ITER 1159 NEW BEST:: SOT 273882 SOS 194821 HAS SOPS 133001 HAS SOUS 100260 HAS SOUPS 90751 WITH SCORE 90945.821
AT ITER 1161 NEW BEST:: SOT 273778 SOS 194969 HAS SOPS 133019 HAS SOUS 100078 HAS SOUPS 90569 WITH SCORE 90763.969
AT ITER 1162 NEW BEST:: SOT 273860 SOS 194987 HAS SOPS 133037 HAS SOUS 99885 HAS SOUPS 90376 WITH SCORE 90570.987
AT ITER 1163 NEW BEST:: SOT 273786 SOS 194913 HAS SOPS 132926 HAS SOUS 99739 HAS SOUPS 90230 WITH SCORE 90424.913
AT ITER 1164 NEW BEST:: SOT 273764 SOS 194880 HAS SOPS 132882 HAS SOUS 99706 HAS SOUPS 90197 WITH SCORE 90391.88
AT ITER 1165 NEW BEST:: SOT 273370 SOS 194486 HAS SOPS 132570 HAS SOUS 99337 HAS SOUPS 89828 WITH SCORE 90022.486
AT ITER 1166 NEW BEST:: SOT 273076 SOS 194088 HAS SOPS 132025 HAS SOUS 98854 HAS SOUPS 89345 WITH SCORE 89539.088
AT ITER 1174 NEW BEST:: SOT 272924 SOS 193920 HAS SOPS 131769 HAS SOUS 98598 HAS SOUPS 89089 WITH SCORE 89282.92
AT ITER 1178 NEW BEST:: SOT 272904 SOS 193880 HAS SOPS 131729 HAS SOUS 98588 HAS SOUPS 89079 WITH SCORE 89272.88
AT ITER 1182 NEW BEST:: SOT 272877 SOS 193853 HAS SOPS 131675 HAS SOUS 98507 HAS SOUPS 88998 WITH SCORE 89191.853
AT ITER 1190 NEW BEST:: SOT 272792 SOS 193768 HAS SOPS 131548 HAS SOUS 98320 HAS SOUPS 88811 WITH SCORE 89004.768
AT ITER 1199 NEW BEST:: SOT 272829 SOS 193938 HAS SOPS 131664 HAS SOUS 98356 HAS SOUPS 88793 WITH SCORE 88986.938
AT ITER 1202 NEW BEST:: SOT 272792 SOS 193054 HAS SOPS 130780 HAS SOUS 98163 HAS SOUPS 88600 WITH SCORE 88793.054
AT ITER 1206 NEW BEST:: SOT 272716 SOS 192978 HAS SOPS 130666 HAS SOUS 97931 HAS SOUPS 88368 WITH SCORE 88560.978
AT ITER 1210 NEW BEST:: SOT 272289 SOS 192109 HAS SOPS 129868 HAS SOUS 97157 HAS SOUPS 87594 WITH SCORE 87786.109
AT ITER 1223 NEW BEST:: SOT 272259 SOS 192033 HAS SOPS 129906 HAS SOUS 97138 HAS SOUPS 87575 WITH SCORE 87767.033
AT ITER 1228 NEW BEST:: SOT 272259 SOS 192037 HAS SOPS 129927 HAS SOUS 97123 HAS SOUPS 87571 WITH SCORE 87763.037
AT ITER 1230 NEW BEST:: SOT 272096 SOS 191874 HAS SOPS 129587 HAS SOUS 96878 HAS SOUPS 87326 WITH SCORE 87517.874
AT ITER 1233 NEW BEST:: SOT 272093 SOS 191862 HAS SOPS 129566 HAS SOUS 96872 HAS SOUPS 87320 WITH SCORE 87511.862
AT ITER 1236 NEW BEST:: SOT 271875 SOS 191601 HAS SOPS 129309 HAS SOUS 96572 HAS SOUPS 87020 WITH SCORE 87211.601
AT ITER 1243 NEW BEST:: SOT 271454 SOS 191504 HAS SOPS 129099 HAS SOUS 96366 HAS SOUPS 86814 WITH SCORE 87005.504
AT ITER 1245 NEW BEST:: SOT 271378 SOS 191428 HAS SOPS 128985 HAS SOUS 96209 HAS SOUPS 86657 WITH SCORE 86848.428
AT ITER 1252 NEW BEST:: SOT 271138 SOS 191188 HAS SOPS 128864 HAS SOUS 96051 HAS SOUPS 86499 WITH SCORE 86690.188
AT ITER 1253 NEW BEST:: SOT 270106 SOS 191523 HAS SOPS 128617 HAS SOUS 95340 HAS SOUPS 85745 WITH SCORE 85936.523
AT ITER 1258 NEW BEST:: SOT 270138 SOS 191405 HAS SOPS 128505 HAS SOUS 95318 HAS SOUPS 85723 WITH SCORE 85914.405
AT ITER 1260 NEW BEST:: SOT 270131 SOS 191388 HAS SOPS 128454 HAS SOUS 95252 HAS SOUPS 85657 WITH SCORE 85848.388
AT ITER 1269 NEW BEST:: SOT 270131 SOS 191388 HAS SOPS 128454 HAS SOUS 95235 HAS SOUPS 85640 WITH SCORE 85831.388
AT ITER 1270 NEW BEST:: SOT 270045 SOS 191302 HAS SOPS 128496 HAS SOUS 95093 HAS SOUPS 85498 WITH SCORE 85689.302
AT ITER 1272 NEW BEST:: SOT 270022 SOS 191242 HAS SOPS 128428 HAS SOUS 95039 HAS SOUPS 85444 WITH SCORE 85635.242
AT ITER 1276 NEW BEST:: SOT 269976 SOS 191196 HAS SOPS 128336 HAS SOUS 94946 HAS SOUPS 85351 WITH SCORE 85542.196
AT ITER 1278 NEW BEST:: SOT 269896 SOS 191073 HAS SOPS 128170 HAS SOUS 94695 HAS SOUPS 85100 WITH SCORE 85291.073
AT ITER 1291 NEW BEST:: SOT 269762 SOS 190829 HAS SOPS 127816 HAS SOUS 94377 HAS SOUPS 84782 WITH SCORE 84972.829
AT ITER 1292 NEW BEST:: SOT 270000 SOS 190994 HAS SOPS 127629 HAS SOUS 94250 HAS SOUPS 84655 WITH SCORE 84845.994
AT ITER 1293 NEW BEST:: SOT 269792 SOS 190514 HAS SOPS 127192 HAS SOUS 93936 HAS SOUPS 84341 WITH SCORE 84531.514
AT ITER 1302 NEW BEST:: SOT 269768 SOS 190490 HAS SOPS 127155 HAS SOUS 93888 HAS SOUPS 84293 WITH SCORE 84483.49
AT ITER 1309 NEW BEST:: SOT 269214 SOS 189936 HAS SOPS 126724 HAS SOUS 93485 HAS SOUPS 83890 WITH SCORE 84079.936
AT ITER 1315 NEW BEST:: SOT 269202 SOS 189924 HAS SOPS 126712 HAS SOUS 93473 HAS SOUPS 83878 WITH SCORE 84067.924
AT ITER 1320 NEW BEST:: SOT 268707 SOS 189155 HAS SOPS 125961 HAS SOUS 92564 HAS SOUPS 82969 WITH SCORE 83158.155
AT ITER 1327 NEW BEST:: SOT 268683 SOS 189107 HAS SOPS 125913 HAS SOUS 92492 HAS SOUPS 82897 WITH SCORE 83086.107
AT ITER 1328 NEW BEST:: SOT 268568 SOS 188999 HAS SOPS 125774 HAS SOUS 92329 HAS SOUPS 82734 WITH SCORE 82922.999
AT ITER 1332 NEW BEST:: SOT 268297 SOS 188554 HAS SOPS 125237 HAS SOUS 91872 HAS SOUPS 82277 WITH SCORE 82465.554
AT ITER 1333 NEW BEST:: SOT 268259 SOS 188516 HAS SOPS 125237 HAS SOUS 91872 HAS SOUPS 82277 WITH SCORE 82465.516
AT ITER 1338 NEW BEST:: SOT 268051 SOS 188308 HAS SOPS 124821 HAS SOUS 91560 HAS SOUPS 81965 WITH SCORE 82153.308
AT ITER 1345 NEW BEST:: SOT 267992 SOS 188387 HAS SOPS 125048 HAS SOUS 91511 HAS SOUPS 81916 WITH SCORE 82104.387
AT ITER 1346 NEW BEST:: SOT 267822 SOS 188142 HAS SOPS 124793 HAS SOUS 91276 HAS SOUPS 81681 WITH SCORE 81869.142
AT ITER 1348 NEW BEST:: SOT 267814 SOS 188134 HAS SOPS 124785 HAS SOUS 91258 HAS SOUPS 81663 WITH SCORE 81851.134
AT ITER 1354 NEW BEST:: SOT 267792 SOS 188112 HAS SOPS 124607 HAS SOUS 91214 HAS SOUPS 81619 WITH SCORE 81807.112
AT ITER 1355 NEW BEST:: SOT 267792 SOS 188073 HAS SOPS 124568 HAS SOUS 91158 HAS SOUPS 81563 WITH SCORE 81751.073
AT ITER 1372 NEW BEST:: SOT 267744 SOS 188025 HAS SOPS 124536 HAS SOUS 91146 HAS SOUPS 81551 WITH SCORE 81739.025
AT ITER 1374 NEW BEST:: SOT 267735 SOS 188016 HAS SOPS 124527 HAS SOUS 91128 HAS SOUPS 81533 WITH SCORE 81721.016
AT ITER 1377 NEW BEST:: SOT 267698 SOS 187942 HAS SOPS 124453 HAS SOUS 91039 HAS SOUPS 81444 WITH SCORE 81631.942
AT ITER 1381 NEW BEST:: SOT 267660 SOS 187904 HAS SOPS 124368 HAS SOUS 90982 HAS SOUPS 81387 WITH SCORE 81574.904
AT ITER 1385 NEW BEST:: SOT 267632 SOS 187876 HAS SOPS 124312 HAS SOUS 90887 HAS SOUPS 81292 WITH SCORE 81479.876
AT ITER 1389 NEW BEST:: SOT 267498 SOS 187742 HAS SOPS 124178 HAS SOUS 90526 HAS SOUPS 80931 WITH SCORE 81118.742
AT ITER 1390 NEW BEST:: SOT 267504 SOS 187796 HAS SOPS 124267 HAS SOUS 90455 HAS SOUPS 80860 WITH SCORE 81047.796
AT ITER 1395 NEW BEST:: SOT 267504 SOS 187770 HAS SOPS 124241 HAS SOUS 90455 HAS SOUPS 80860 WITH SCORE 81047.77
AT ITER 1402 NEW BEST:: SOT 267425 SOS 187216 HAS SOPS 123629 HAS SOUS 90086 HAS SOUPS 80491 WITH SCORE 80678.216
AT ITER 1411 NEW BEST:: SOT 267421 SOS 187212 HAS SOPS 123575 HAS SOUS 90026 HAS SOUPS 80431 WITH SCORE 80618.212
AT ITER 1412 NEW BEST:: SOT 267341 SOS 187132 HAS SOPS 123615 HAS SOUS 90026 HAS SOUPS 80431 WITH SCORE 80618.132
AT ITER 1421 NEW BEST:: SOT 266961 SOS 186752 HAS SOPS 123283 HAS SOUS 89693 HAS SOUPS 80098 WITH SCORE 80284.752
AT ITER 1424 NEW BEST:: SOT 266961 SOS 186649 HAS SOPS 123283 HAS SOUS 89693 HAS SOUPS 80098 WITH SCORE 80284.649
AT ITER 1429 NEW BEST:: SOT 266912 SOS 186600 HAS SOPS 123203 HAS SOUS 89688 HAS SOUPS 80093 WITH SCORE 80279.6
AT ITER 1432 NEW BEST:: SOT 266808 SOS 186496 HAS SOPS 123125 HAS SOUS 89604 HAS SOUPS 80015 WITH SCORE 80201.496
AT ITER 1435 NEW BEST:: SOT 266808 SOS 186391 HAS SOPS 123005 HAS SOUS 89604 HAS SOUPS 80000 WITH SCORE 80186.391
AT ITER 1441 NEW BEST:: SOT 266804 SOS 186387 HAS SOPS 123002 HAS SOUS 89601 HAS SOUPS 79997 WITH SCORE 80183.387
AT ITER 1444 NEW BEST:: SOT 266790 SOS 186373 HAS SOPS 122981 HAS SOUS 89579 HAS SOUPS 79975 WITH SCORE 80161.373
AT ITER 1446 NEW BEST:: SOT 266614 SOS 186132 HAS SOPS 122675 HAS SOUS 89332 HAS SOUPS 79728 WITH SCORE 79914.132
AT ITER 1456 NEW BEST:: SOT 266596 SOS 186114 HAS SOPS 122639 HAS SOUS 89278 HAS SOUPS 79674 WITH SCORE 79860.114
AT ITER 1457 NEW BEST:: SOT 261124 SOS 191195 HAS SOPS 121276 HAS SOUS 86384 HAS SOUPS 76780 WITH SCORE 76971.195
AT ITER 1459 NEW BEST:: SOT 260969 SOS 190995 HAS SOPS 121076 HAS SOUS 86136 HAS SOUPS 76532 WITH SCORE 76722.995
AT ITER 1464 NEW BEST:: SOT 260639 SOS 190665 HAS SOPS 120514 HAS SOUS 85615 HAS SOUPS 76011 WITH SCORE 76201.665
AT ITER 1469 NEW BEST:: SOT 260403 SOS 190429 HAS SOPS 120552 HAS SOUS 85557 HAS SOUPS 75965 WITH SCORE 76155.429
AT ITER 1472 NEW BEST:: SOT 260403 SOS 190429 HAS SOPS 120552 HAS SOUS 85555 HAS SOUPS 75963 WITH SCORE 76153.429
AT ITER 1477 NEW BEST:: SOT 259931 SOS 189854 HAS SOPS 120143 HAS SOUS 85146 HAS SOUPS 75554 WITH SCORE 75743.854
AT ITER 1479 NEW BEST:: SOT 259931 SOS 189644 HAS SOPS 119993 HAS SOUS 85116 HAS SOUPS 75554 WITH SCORE 75743.644
AT ITER 1480 NEW BEST:: SOT 259299 SOS 189127 HAS SOPS 119361 HAS SOUS 84599 HAS SOUPS 74922 WITH SCORE 75111.127
AT ITER 1481 NEW BEST:: SOT 259277 SOS 189105 HAS SOPS 119317 HAS SOUS 84555 HAS SOUPS 74878 WITH SCORE 75067.105
AT ITER 1482 NEW BEST:: SOT 259167 SOS 188995 HAS SOPS 119152 HAS SOUS 84390 HAS SOUPS 74713 WITH SCORE 74901.995
AT ITER 1483 NEW BEST:: SOT 259167 SOS 188933 HAS SOPS 119152 HAS SOUS 84390 HAS SOUPS 74713 WITH SCORE 74901.933
AT ITER 1496 NEW BEST:: SOT 259110 SOS 188804 HAS SOPS 118966 HAS SOUS 84276 HAS SOUPS 74599 WITH SCORE 74787.804
AT ITER 1497 NEW BEST:: SOT 259040 SOS 188734 HAS SOPS 118861 HAS SOUS 84171 HAS SOUPS 74494 WITH SCORE 74682.734
AT ITER 1498 NEW BEST:: SOT 259024 SOS 188718 HAS SOPS 118869 HAS SOUS 84171 HAS SOUPS 74494 WITH SCORE 74682.718
AT ITER 1504 NEW BEST:: SOT 259050 SOS 188744 HAS SOPS 118908 HAS SOUS 84132 HAS SOUPS 74455 WITH SCORE 74643.744
AT ITER 1506 NEW BEST:: SOT 259050 SOS 188718 HAS SOPS 118882 HAS SOUS 84132 HAS SOUPS 74455 WITH SCORE 74643.718
AT ITER 1518 NEW BEST:: SOT 259008 SOS 188676 HAS SOPS 118819 HAS SOUS 84072 HAS SOUPS 74395 WITH SCORE 74583.676
AT ITER 1526 NEW BEST:: SOT 258656 SOS 188761 HAS SOPS 118712 HAS SOUS 84030 HAS SOUPS 74161 WITH SCORE 74349.761
AT ITER 1530 NEW BEST:: SOT 258580 SOS 188685 HAS SOPS 118560 HAS SOUS 83916 HAS SOUPS 74047 WITH SCORE 74235.685
AT ITER 1531 NEW BEST:: SOT 258580 SOS 188685 HAS SOPS 118560 HAS SOUS 83913 HAS SOUPS 74044 WITH SCORE 74232.685
AT ITER 1533 NEW BEST:: SOT 258580 SOS 188680 HAS SOPS 118555 HAS SOUS 83913 HAS SOUPS 74044 WITH SCORE 74232.68
AT ITER 1540 NEW BEST:: SOT 258335 SOS 188461 HAS SOPS 118310 HAS SOUS 83694 HAS SOUPS 73825 WITH SCORE 74013.461
AT ITER 1544 NEW BEST:: SOT 258316 SOS 188442 HAS SOPS 118272 HAS SOUS 83656 HAS SOUPS 73768 WITH SCORE 73956.442
AT ITER 1554 NEW BEST:: SOT 257768 SOS 189042 HAS SOPS 118345 HAS SOUS 83297 HAS SOUPS 73382 WITH SCORE 73571.042
AT ITER 1555 NEW BEST:: SOT 257596 SOS 188870 HAS SOPS 118363 HAS SOUS 83246 HAS SOUPS 73331 WITH SCORE 73519.87
AT ITER 1558 NEW BEST:: SOT 257596 SOS 188856 HAS SOPS 118363 HAS SOUS 83246 HAS SOUPS 73331 WITH SCORE 73519.856
AT ITER 1567 NEW BEST:: SOT 257536 SOS 188782 HAS SOPS 118273 HAS SOUS 83156 HAS SOUPS 73241 WITH SCORE 73429.782
AT ITER 1569 NEW BEST:: SOT 257536 SOS 188781 HAS SOPS 118272 HAS SOUS 83156 HAS SOUPS 73241 WITH SCORE 73429.781
AT ITER 1572 NEW BEST:: SOT 257548 SOS 188739 HAS SOPS 118208 HAS SOUS 83120 HAS SOUPS 73205 WITH SCORE 73393.739
AT ITER 1577 NEW BEST:: SOT 257548 SOS 188739 HAS SOPS 118078 HAS SOUS 82925 HAS SOUPS 73010 WITH SCORE 73198.739
AT ITER 1589 NEW BEST:: SOT 257698 SOS 188701 HAS SOPS 116878 HAS SOUS 82321 HAS SOUPS 72406 WITH SCORE 72594.701
AT ITER 1594 NEW BEST:: SOT 257564 SOS 188299 HAS SOPS 116476 HAS SOUS 82061 HAS SOUPS 72146 WITH SCORE 72334.299
AT ITER 1596 NEW BEST:: SOT 257431 SOS 189414 HAS SOPS 116758 HAS SOUS 82045 HAS SOUPS 72111 WITH SCORE 72300.414
AT ITER 1609 NEW BEST:: SOT 257390 SOS 189426 HAS SOPS 116758 HAS SOUS 82026 HAS SOUPS 72080 WITH SCORE 72269.426
AT ITER 1614 NEW BEST:: SOT 257404 SOS 189440 HAS SOPS 116772 HAS SOUS 81842 HAS SOUPS 71896 WITH SCORE 72085.44
AT ITER 1622 NEW BEST:: SOT 257330 SOS 189366 HAS SOPS 116624 HAS SOUS 81657 HAS SOUPS 71711 WITH SCORE 71900.366
AT ITER 1625 NEW BEST:: SOT 257298 SOS 189334 HAS SOPS 116512 HAS SOUS 81615 HAS SOUPS 71669 WITH SCORE 71858.334
AT ITER 1635 NEW BEST:: SOT 257296 SOS 189332 HAS SOPS 116512 HAS SOUS 81613 HAS SOUPS 71667 WITH SCORE 71856.332
AT ITER 1641 NEW BEST:: SOT 257279 SOS 189318 HAS SOPS 116486 HAS SOUS 81596 HAS SOUPS 71650 WITH SCORE 71839.318
AT ITER 1655 NEW BEST:: SOT 257242 SOS 189281 HAS SOPS 116205 HAS SOUS 81376 HAS SOUPS 71430 WITH SCORE 71619.281
AT ITER 1658 NEW BEST:: SOT 257112 SOS 189210 HAS SOPS 115899 HAS SOUS 81188 HAS SOUPS 71242 WITH SCORE 71431.21
AT ITER 1665 NEW BEST:: SOT 257056 SOS 189022 HAS SOPS 115815 HAS SOUS 81104 HAS SOUPS 71158 WITH SCORE 71347.022
AT ITER 1672 NEW BEST:: SOT 256972 SOS 188938 HAS SOPS 115815 HAS SOUS 81087 HAS SOUPS 71141 WITH SCORE 71329.938
AT ITER 1678 NEW BEST:: SOT 256959 SOS 188925 HAS SOPS 115802 HAS SOUS 81074 HAS SOUPS 71128 WITH SCORE 71316.925
AT ITER 1689 NEW BEST:: SOT 256809 SOS 188775 HAS SOPS 115577 HAS SOUS 80818 HAS SOUPS 70872 WITH SCORE 71060.775
AT ITER 1693 NEW BEST:: SOT 256797 SOS 188763 HAS SOPS 115561 HAS SOUS 80801 HAS SOUPS 70855 WITH SCORE 71043.763
AT ITER 1695 NEW BEST:: SOT 256661 SOS 188617 HAS SOPS 115347 HAS SOUS 80494 HAS SOUPS 70548 WITH SCORE 70736.617
AT ITER 1705 NEW BEST:: SOT 256633 SOS 188589 HAS SOPS 115315 HAS SOUS 80482 HAS SOUPS 70536 WITH SCORE 70724.589
AT ITER 1708 NEW BEST:: SOT 256650 SOS 188606 HAS SOPS 115281 HAS SOUS 80465 HAS SOUPS 70519 WITH SCORE 70707.606
AT ITER 1714 NEW BEST:: SOT 256554 SOS 188475 HAS SOPS 115102 HAS SOUS 80273 HAS SOUPS 70327 WITH SCORE 70515.475
AT ITER 1715 NEW BEST:: SOT 256406 SOS 188327 HAS SOPS 114880 HAS SOUS 80051 HAS SOUPS 70105 WITH SCORE 70293.327
AT ITER 1716 NEW BEST:: SOT 256423 SOS 188242 HAS SOPS 114795 HAS SOUS 80020 HAS SOUPS 70074 WITH SCORE 70262.242
AT ITER 1717 NEW BEST:: SOT 256003 SOS 192185 HAS SOPS 115796 HAS SOUS 79986 HAS SOUPS 69976 WITH SCORE 70168.185
AT ITER 1720 NEW BEST:: SOT 255970 SOS 192152 HAS SOPS 115760 HAS SOUS 79925 HAS SOUPS 69915 WITH SCORE 70107.152
AT ITER 1724 NEW BEST:: SOT 255844 SOS 192026 HAS SOPS 115634 HAS SOUS 79799 HAS SOUPS 69789 WITH SCORE 69981.026
AT ITER 1736 NEW BEST:: SOT 255814 SOS 191996 HAS SOPS 115627 HAS SOUS 79712 HAS SOUPS 69702 WITH SCORE 69893.996
AT ITER 1738 NEW BEST:: SOT 255816 SOS 191998 HAS SOPS 115615 HAS SOUS 79710 HAS SOUPS 69700 WITH SCORE 69891.998
AT ITER 1761 NEW BEST:: SOT 255794 SOS 191976 HAS SOPS 115582 HAS SOUS 79676 HAS SOUPS 69666 WITH SCORE 69857.976
AT ITER 1763 NEW BEST:: SOT 255762 SOS 191944 HAS SOPS 115787 HAS SOUS 79612 HAS SOUPS 69602 WITH SCORE 69793.944
AT ITER 1769 NEW BEST:: SOT 255695 SOS 191877 HAS SOPS 115653 HAS SOUS 79411 HAS SOUPS 69401 WITH SCORE 69592.877
AT ITER 1776 NEW BEST:: SOT 255695 SOS 191866 HAS SOPS 115642 HAS SOUS 79411 HAS SOUPS 69401 WITH SCORE 69592.866
AT ITER 1781 NEW BEST:: SOT 255695 SOS 191934 HAS SOPS 115593 HAS SOUS 79392 HAS SOUPS 69382 WITH SCORE 69573.934
AT ITER 1782 NEW BEST:: SOT 255695 SOS 191932 HAS SOPS 115591 HAS SOUS 79390 HAS SOUPS 69380 WITH SCORE 69571.932
AT ITER 1795 NEW BEST:: SOT 255631 SOS 191868 HAS SOPS 115495 HAS SOUS 79185 HAS SOUPS 69175 WITH SCORE 69366.868
AT ITER 1798 NEW BEST:: SOT 255618 SOS 191809 HAS SOPS 115423 HAS SOUS 79144 HAS SOUPS 69134 WITH SCORE 69325.809
AT ITER 1800 NEW BEST:: SOT 255616 SOS 191743 HAS SOPS 115553 HAS SOUS 79141 HAS SOUPS 69131 WITH SCORE 69322.743
AT ITER 1809 NEW BEST:: SOT 255556 SOS 191653 HAS SOPS 115463 HAS SOUS 79051 HAS SOUPS 69041 WITH SCORE 69232.653
AT ITER 1810 NEW BEST:: SOT 251144 SOS 195914 HAS SOPS 113128 HAS SOUS 76110 HAS SOUPS 65881 WITH SCORE 66076.914
AT ITER 1817 NEW BEST:: SOT 251188 SOS 195958 HAS SOPS 113216 HAS SOUS 76006 HAS SOUPS 65777 WITH SCORE 65972.958
AT ITER 1818 NEW BEST:: SOT 251158 SOS 195928 HAS SOPS 113126 HAS SOUS 75948 HAS SOUPS 65719 WITH SCORE 65914.928
AT ITER 1821 NEW BEST:: SOT 251130 SOS 195900 HAS SOPS 113058 HAS SOUS 75885 HAS SOUPS 65656 WITH SCORE 65851.9
AT ITER 1823 NEW BEST:: SOT 250772 SOS 195542 HAS SOPS 112497 HAS SOUS 75249 HAS SOUPS 65020 WITH SCORE 65215.542
AT ITER 1824 NEW BEST:: SOT 250633 SOS 195403 HAS SOPS 112219 HAS SOUS 75108 HAS SOUPS 64879 WITH SCORE 65074.403
AT ITER 1831 NEW BEST:: SOT 250523 SOS 195293 HAS SOPS 111999 HAS SOUS 74939 HAS SOUPS 64710 WITH SCORE 64905.293
AT ITER 1835 NEW BEST:: SOT 250495 SOS 195265 HAS SOPS 111957 HAS SOUS 74896 HAS SOUPS 64667 WITH SCORE 64862.265
AT ITER 1845 NEW BEST:: SOT 250491 SOS 195261 HAS SOPS 111951 HAS SOUS 74851 HAS SOUPS 64622 WITH SCORE 64817.261
AT ITER 1848 NEW BEST:: SOT 250421 SOS 195191 HAS SOPS 111846 HAS SOUS 74746 HAS SOUPS 64517 WITH SCORE 64712.191
AT ITER 1859 NEW BEST:: SOT 249737 SOS 194629 HAS SOPS 111275 HAS SOUS 74383 HAS SOUPS 64154 WITH SCORE 64348.629
AT ITER 1870 NEW BEST:: SOT 249737 SOS 194629 HAS SOPS 111275 HAS SOUS 74375 HAS SOUPS 64146 WITH SCORE 64340.629
AT ITER 1878 NEW BEST:: SOT 249523 SOS 194415 HAS SOPS 110847 HAS SOUS 73947 HAS SOUPS 63718 WITH SCORE 63912.415
AT ITER 1890 NEW BEST:: SOT 249483 SOS 194375 HAS SOPS 110787 HAS SOUS 73933 HAS SOUPS 63704 WITH SCORE 63898.375
AT ITER 1897 NEW BEST:: SOT 249483 SOS 194369 HAS SOPS 110787 HAS SOUS 73933 HAS SOUPS 63704 WITH SCORE 63898.369
AT ITER 1898 NEW BEST:: SOT 249261 SOS 196178 HAS SOPS 111278 HAS SOUS 73897 HAS SOUPS 63637 WITH SCORE 63833.178
AT ITER 1900 NEW BEST:: SOT 249169 SOS 196086 HAS SOPS 111140 HAS SOUS 73764 HAS SOUPS 63504 WITH SCORE 63700.086
AT ITER 1903 NEW BEST:: SOT 249163 SOS 196080 HAS SOPS 111131 HAS SOUS 73752 HAS SOUPS 63492 WITH SCORE 63688.08
AT ITER 1909 NEW BEST:: SOT 248847 SOS 195764 HAS SOPS 110657 HAS SOUS 73346 HAS SOUPS 63086 WITH SCORE 63281.764
AT ITER 1914 NEW BEST:: SOT 248559 SOS 195476 HAS SOPS 110225 HAS SOUS 72934 HAS SOUPS 62674 WITH SCORE 62869.476
AT ITER 1918 NEW BEST:: SOT 248493 SOS 195410 HAS SOPS 110159 HAS SOUS 72928 HAS SOUPS 62668 WITH SCORE 62863.41
AT ITER 1925 NEW BEST:: SOT 248471 SOS 195388 HAS SOPS 110126 HAS SOUS 72895 HAS SOUPS 62635 WITH SCORE 62830.388
AT ITER 1927 NEW BEST:: SOT 248425 SOS 195382 HAS SOPS 110034 HAS SOUS 72807 HAS SOUPS 62461 WITH SCORE 62656.382
AT ITER 1931 NEW BEST:: SOT 248327 SOS 195284 HAS SOPS 109887 HAS SOUS 72736 HAS SOUPS 62390 WITH SCORE 62585.284
AT ITER 1942 NEW BEST:: SOT 248109 SOS 195066 HAS SOPS 109560 HAS SOUS 72255 HAS SOUPS 61909 WITH SCORE 62104.066
AT ITER 1946 NEW BEST:: SOT 248109 SOS 195006 HAS SOPS 109560 HAS SOUS 72225 HAS SOUPS 61909 WITH SCORE 62104.006
AT ITER 1951 NEW BEST:: SOT 248017 SOS 194914 HAS SOPS 109422 HAS SOUS 72081 HAS SOUPS 61765 WITH SCORE 61959.914
AT ITER 1961 NEW BEST:: SOT 247941 SOS 194838 HAS SOPS 109308 HAS SOUS 71967 HAS SOUPS 61651 WITH SCORE 61845.838
AT ITER 1964 NEW BEST:: SOT 247973 SOS 194870 HAS SOPS 109356 HAS SOUS 71960 HAS SOUPS 61644 WITH SCORE 61838.87
AT ITER 1965 NEW BEST:: SOT 247927 SOS 194847 HAS SOPS 109287 HAS SOUS 71914 HAS SOUPS 61575 WITH SCORE 61769.847
AT ITER 1969 NEW BEST:: SOT 247695 SOS 194734 HAS SOPS 109059 HAS SOUS 71571 HAS SOUPS 61232 WITH SCORE 61426.734
AT ITER 1975 NEW BEST:: SOT 247641 SOS 194476 HAS SOPS 108876 HAS SOUS 71462 HAS SOUPS 61198 WITH SCORE 61392.476
AT ITER 1976 NEW BEST:: SOT 247455 SOS 194290 HAS SOPS 108504 HAS SOUS 71125 HAS SOUPS 60861 WITH SCORE 61055.29
AT ITER 1984 NEW BEST:: SOT 247433 SOS 194268 HAS SOPS 108515 HAS SOUS 71112 HAS SOUPS 60850 WITH SCORE 61044.268
AT ITER 1995 NEW BEST:: SOT 247385 SOS 194220 HAS SOPS 108443 HAS SOUS 71040 HAS SOUPS 60778 WITH SCORE 60972.22
AT ITER 1998 NEW BEST:: SOT 247325 SOS 194160 HAS SOPS 108271 HAS SOUS 70965 HAS SOUPS 60703 WITH SCORE 60897.16
AT ITER 2007 NEW BEST:: SOT 247325 SOS 194160 HAS SOPS 108271 HAS SOUS 70952 HAS SOUPS 60690 WITH SCORE 60884.16
AT ITER 2015 NEW BEST:: SOT 247195 SOS 194030 HAS SOPS 108115 HAS SOUS 70782 HAS SOUPS 60520 WITH SCORE 60714.03
AT ITER 2017 NEW BEST:: SOT 247191 SOS 194026 HAS SOPS 108109 HAS SOUS 70774 HAS SOUPS 60512 WITH SCORE 60706.026
AT ITER 2021 NEW BEST:: SOT 246967 SOS 193801 HAS SOPS 107803 HAS SOUS 70406 HAS SOUPS 60144 WITH SCORE 60337.801
AT ITER 2024 NEW BEST:: SOT 246877 SOS 193711 HAS SOPS 107808 HAS SOUS 70399 HAS SOUPS 60137 WITH SCORE 60330.711
AT ITER 2034 NEW BEST:: SOT 246877 SOS 193688 HAS SOPS 107808 HAS SOUS 70399 HAS SOUPS 60137 WITH SCORE 60330.688
AT ITER 2037 NEW BEST:: SOT 246841 SOS 193652 HAS SOPS 107754 HAS SOUS 70345 HAS SOUPS 60083 WITH SCORE 60276.652
AT ITER 2047 NEW BEST:: SOT 246795 SOS 193606 HAS SOPS 107662 HAS SOUS 70271 HAS SOUPS 60009 WITH SCORE 60202.606
AT ITER 2058 NEW BEST:: SOT 246789 SOS 193600 HAS SOPS 107650 HAS SOUS 70259 HAS SOUPS 59997 WITH SCORE 60190.6
AT ITER 2070 NEW BEST:: SOT 246719 SOS 193586 HAS SOPS 107545 HAS SOUS 70210 HAS SOUPS 59892 WITH SCORE 60085.586
AT ITER 2079 NEW BEST:: SOT 246585 SOS 193452 HAS SOPS 107174 HAS SOUS 69961 HAS SOUPS 59643 WITH SCORE 59836.452
AT ITER 2092 NEW BEST:: SOT 246585 SOS 193448 HAS SOPS 107174 HAS SOUS 69957 HAS SOUPS 59643 WITH SCORE 59836.448
AT ITER 2094 NEW BEST:: SOT 246499 SOS 193362 HAS SOPS 107045 HAS SOUS 69869 HAS SOUPS 59529 WITH SCORE 59722.362
AT ITER 2106 NEW BEST:: SOT 246499 SOS 193362 HAS SOPS 106981 HAS SOUS 69807 HAS SOUPS 59467 WITH SCORE 59660.362
AT ITER 2113 NEW BEST:: SOT 246378 SOS 193218 HAS SOPS 106747 HAS SOUS 69620 HAS SOUPS 59280 WITH SCORE 59473.218
AT ITER 2116 NEW BEST:: SOT 246105 SOS 193064 HAS SOPS 106236 HAS SOUS 69258 HAS SOUPS 58799 WITH SCORE 58992.064
AT ITER 2117 NEW BEST:: SOT 245907 SOS 192698 HAS SOPS 106049 HAS SOUS 69060 HAS SOUPS 58657 WITH SCORE 58849.698
AT ITER 2120 NEW BEST:: SOT 245899 SOS 192690 HAS SOPS 106037 HAS SOUS 69044 HAS SOUPS 58641 WITH SCORE 58833.69
AT ITER 2121 NEW BEST:: SOT 245839 SOS 192630 HAS SOPS 106007 HAS SOUS 69014 HAS SOUPS 58611 WITH SCORE 58803.63
AT ITER 2140 NEW BEST:: SOT 245839 SOS 192630 HAS SOPS 106007 HAS SOUS 69007 HAS SOUPS 58604 WITH SCORE 58796.63
AT ITER 2164 NEW BEST:: SOT 245760 SOS 192701 HAS SOPS 106195 HAS SOUS 68944 HAS SOUPS 58541 WITH SCORE 58733.701
AT ITER 2169 NEW BEST:: SOT 245388 SOS 192329 HAS SOPS 105989 HAS SOUS 68717 HAS SOUPS 58314 WITH SCORE 58506.329
AT ITER 2178 NEW BEST:: SOT 245416 SOS 192357 HAS SOPS 105989 HAS SOUS 68709 HAS SOUPS 58306 WITH SCORE 58498.357
AT ITER 2184 NEW BEST:: SOT 245416 SOS 192357 HAS SOPS 105989 HAS SOUS 68694 HAS SOUPS 58291 WITH SCORE 58483.357
AT ITER 2204 NEW BEST:: SOT 245398 SOS 192348 HAS SOPS 105989 HAS SOUS 68676 HAS SOUPS 58273 WITH SCORE 58465.348
AT ITER 2211 NEW BEST:: SOT 245398 SOS 192348 HAS SOPS 105989 HAS SOUS 68583 HAS SOUPS 58180 WITH SCORE 58372.348
AT ITER 2239 NEW BEST:: SOT 245336 SOS 192286 HAS SOPS 105896 HAS SOUS 68555 HAS SOUPS 58152 WITH SCORE 58344.286
AT ITER 2245 NEW BEST:: SOT 245332 SOS 192262 HAS SOPS 105872 HAS SOUS 68547 HAS SOUPS 58144 WITH SCORE 58336.262
AT ITER 2249 NEW BEST:: SOT 245166 SOS 192096 HAS SOPS 105623 HAS SOUS 68299 HAS SOUPS 57892 WITH SCORE 58084.096
AT ITER 2253 NEW BEST:: SOT 245140 SOS 192070 HAS SOPS 105612 HAS SOUS 68281 HAS SOUPS 57874 WITH SCORE 58066.07
AT ITER 2263 NEW BEST:: SOT 245140 SOS 192070 HAS SOPS 105612 HAS SOUS 68272 HAS SOUPS 57865 WITH SCORE 58057.07
AT ITER 2275 NEW BEST:: SOT 245075 SOS 192041 HAS SOPS 105591 HAS SOUS 68257 HAS SOUPS 57850 WITH SCORE 58042.041
AT ITER 2277 NEW BEST:: SOT 245075 SOS 192041 HAS SOPS 105591 HAS SOUS 68244 HAS SOUPS 57837 WITH SCORE 58029.041
AT ITER 2301 NEW BEST:: SOT 245023 SOS 191989 HAS SOPS 105617 HAS SOUS 68192 HAS SOUPS 57785 WITH SCORE 57976.989
AT ITER 2307 NEW BEST:: SOT 244893 SOS 191859 HAS SOPS 105422 HAS SOUS 67940 HAS SOUPS 57533 WITH SCORE 57724.859
AT ITER 2331 NEW BEST:: SOT 244887 SOS 191853 HAS SOPS 105413 HAS SOUS 67931 HAS SOUPS 57524 WITH SCORE 57715.853
AT ITER 2345 NEW BEST:: SOT 244878 SOS 191844 HAS SOPS 105404 HAS SOUS 67913 HAS SOUPS 57506 WITH SCORE 57697.844
AT ITER 2350 NEW BEST:: SOT 244878 SOS 191335 HAS SOPS 105003 HAS SOUS 67859 HAS SOUPS 57506 WITH SCORE 57697.335
AT ITER 2364 NEW BEST:: SOT 244736 SOS 191193 HAS SOPS 104919 HAS SOUS 67778 HAS SOUPS 57425 WITH SCORE 57616.193
AT ITER 2390 NEW BEST:: SOT 243819 SOS 190276 HAS SOPS 103936 HAS SOUS 66850 HAS SOUPS 56497 WITH SCORE 56687.276
AT ITER 2400 NEW BEST:: SOT 243787 SOS 190244 HAS SOPS 103916 HAS SOUS 66768 HAS SOUPS 56415 WITH SCORE 56605.244
AT ITER 2414 NEW BEST:: SOT 243767 SOS 190224 HAS SOPS 103886 HAS SOUS 66757 HAS SOUPS 56404 WITH SCORE 56594.224
AT ITER 2433 NEW BEST:: SOT 243725 SOS 190161 HAS SOPS 103886 HAS SOUS 66715 HAS SOUPS 56383 WITH SCORE 56573.161
AT ITER 2441 NEW BEST:: SOT 243687 SOS 190123 HAS SOPS 103889 HAS SOUS 66708 HAS SOUPS 56376 WITH SCORE 56566.123
AT ITER 2443 NEW BEST:: SOT 243647 SOS 190083 HAS SOPS 103829 HAS SOUS 66645 HAS SOUPS 56313 WITH SCORE 56503.083
AT ITER 2449 NEW BEST:: SOT 243649 SOS 190085 HAS SOPS 103832 HAS SOUS 66616 HAS SOUPS 56284 WITH SCORE 56474.085
AT ITER 2453 NEW BEST:: SOT 243662 SOS 190102 HAS SOPS 103965 HAS SOUS 66596 HAS SOUPS 56264 WITH SCORE 56454.102
AT ITER 2454 NEW BEST:: SOT 243656 SOS 190096 HAS SOPS 103956 HAS SOUS 66587 HAS SOUPS 56255 WITH SCORE 56445.096
AT ITER 2469 NEW BEST:: SOT 243566 SOS 190006 HAS SOPS 103821 HAS SOUS 66407 HAS SOUPS 56075 WITH SCORE 56265.006
AT ITER 2478 NEW BEST:: SOT 243475 SOS 190138 HAS SOPS 103778 HAS SOUS 66355 HAS SOUPS 56018 WITH SCORE 56208.138
AT ITER 2490 NEW BEST:: SOT 243475 SOS 190138 HAS SOPS 103778 HAS SOUS 66350 HAS SOUPS 56013 WITH SCORE 56203.138
AT ITER 2499 NEW BEST:: SOT 243474 SOS 190137 HAS SOPS 103772 HAS SOUS 66344 HAS SOUPS 56007 WITH SCORE 56197.137
AT ITER 2505 NEW BEST:: SOT 243445 SOS 189970 HAS SOPS 103344 HAS SOUS 66228 HAS SOUPS 55891 WITH SCORE 56080.97
AT ITER 2523 NEW BEST:: SOT 243369 SOS 189894 HAS SOPS 103186 HAS SOUS 66144 HAS SOUPS 55778 WITH SCORE 55967.894
AT ITER 2529 NEW BEST:: SOT 243463 SOS 189988 HAS SOPS 103047 HAS SOUS 66072 HAS SOUPS 55706 WITH SCORE 55895.988
AT ITER 2534 NEW BEST:: SOT 243432 SOS 189957 HAS SOPS 102985 HAS SOUS 65979 HAS SOUPS 55613 WITH SCORE 55802.957
AT ITER 2539 NEW BEST:: SOT 243426 SOS 189500 HAS SOPS 102215 HAS SOUS 65956 HAS SOUPS 55590 WITH SCORE 55779.5
AT ITER 2546 NEW BEST:: SOT 243426 SOS 189500 HAS SOPS 102215 HAS SOUS 65947 HAS SOUPS 55581 WITH SCORE 55770.5
AT ITER 2551 NEW BEST:: SOT 243426 SOS 189500 HAS SOPS 102215 HAS SOUS 65932 HAS SOUPS 55566 WITH SCORE 55755.5
AT ITER 2559 NEW BEST:: SOT 243278 SOS 189352 HAS SOPS 102153 HAS SOUS 65830 HAS SOUPS 55464 WITH SCORE 55653.352
AT ITER 2578 NEW BEST:: SOT 243018 SOS 189092 HAS SOPS 101763 HAS SOUS 65477 HAS SOUPS 55111 WITH SCORE 55300.092
AT ITER 2615 NEW BEST:: SOT 242898 SOS 188972 HAS SOPS 101523 HAS SOUS 65278 HAS SOUPS 54912 WITH SCORE 55100.972
AT ITER 2621 NEW BEST:: SOT 242864 SOS 188938 HAS SOPS 101508 HAS SOUS 65235 HAS SOUPS 54887 WITH SCORE 55075.938
AT ITER 2629 NEW BEST:: SOT 242864 SOS 188868 HAS SOPS 101473 HAS SOUS 65235 HAS SOUPS 54887 WITH SCORE 55075.868
AT ITER 2639 NEW BEST:: SOT 242820 SOS 188824 HAS SOPS 101407 HAS SOUS 65103 HAS SOUPS 54755 WITH SCORE 54943.824
AT ITER 2645 NEW BEST:: SOT 242758 SOS 188762 HAS SOPS 101314 HAS SOUS 64979 HAS SOUPS 54631 WITH SCORE 54819.762
AT ITER 2647 NEW BEST:: SOT 242758 SOS 188762 HAS SOPS 101234 HAS SOUS 64899 HAS SOUPS 54551 WITH SCORE 54739.762
AT ITER 2650 NEW BEST:: SOT 242736 SOS 188740 HAS SOPS 101226 HAS SOUS 64866 HAS SOUPS 54518 WITH SCORE 54706.74
AT ITER 2652 NEW BEST:: SOT 242788 SOS 188792 HAS SOPS 101226 HAS SOUS 64840 HAS SOUPS 54492 WITH SCORE 54680.792
AT ITER 2655 NEW BEST:: SOT 242785 SOS 188789 HAS SOPS 101252 HAS SOUS 64806 HAS SOUPS 54458 WITH SCORE 54646.789
AT ITER 2660 NEW BEST:: SOT 242747 SOS 188751 HAS SOPS 101195 HAS SOUS 64749 HAS SOUPS 54401 WITH SCORE 54589.751
AT ITER 2670 NEW BEST:: SOT 242747 SOS 188751 HAS SOPS 100943 HAS SOUS 64497 HAS SOUPS 54149 WITH SCORE 54337.751
AT ITER 2682 NEW BEST:: SOT 242675 SOS 188679 HAS SOPS 100835 HAS SOUS 64471 HAS SOUPS 54123 WITH SCORE 54311.679
AT ITER 2683 NEW BEST:: SOT 242629 SOS 188633 HAS SOPS 100766 HAS SOUS 64402 HAS SOUPS 54054 WITH SCORE 54242.633
AT ITER 2686 NEW BEST:: SOT 242699 SOS 188696 HAS SOPS 100810 HAS SOUS 64346 HAS SOUPS 53998 WITH SCORE 54186.696
AT ITER 2697 NEW BEST:: SOT 242699 SOS 188696 HAS SOPS 100810 HAS SOUS 64334 HAS SOUPS 53986 WITH SCORE 54174.696
AT ITER 2700 NEW BEST:: SOT 242655 SOS 188652 HAS SOPS 100810 HAS SOUS 64334 HAS SOUPS 53986 WITH SCORE 54174.652
AT ITER 2704 NEW BEST:: SOT 242598 SOS 188563 HAS SOPS 100680 HAS SOUS 64236 HAS SOUPS 53888 WITH SCORE 54076.563
AT ITER 2705 NEW BEST:: SOT 242592 SOS 188557 HAS SOPS 100671 HAS SOUS 64224 HAS SOUPS 53876 WITH SCORE 54064.557
AT ITER 2713 NEW BEST:: SOT 242687 SOS 188652 HAS SOPS 100581 HAS SOUS 64148 HAS SOUPS 53800 WITH SCORE 53988.652
AT ITER 2716 NEW BEST:: SOT 242625 SOS 188590 HAS SOPS 100488 HAS SOUS 64038 HAS SOUPS 53690 WITH SCORE 53878.59
AT ITER 2719 NEW BEST:: SOT 242625 SOS 188590 HAS SOPS 100488 HAS SOUS 63881 HAS SOUPS 53533 WITH SCORE 53721.59
AT ITER 2720 NEW BEST:: SOT 242595 SOS 188560 HAS SOPS 100443 HAS SOUS 63818 HAS SOUPS 53470 WITH SCORE 53658.56
AT ITER 2721 NEW BEST:: SOT 242579 SOS 188544 HAS SOPS 100427 HAS SOUS 63802 HAS SOUPS 53454 WITH SCORE 53642.544
AT ITER 2731 NEW BEST:: SOT 242626 SOS 188484 HAS SOPS 100278 HAS SOUS 63768 HAS SOUPS 53420 WITH SCORE 53608.484
AT ITER 2734 NEW BEST:: SOT 242604 SOS 188462 HAS SOPS 100245 HAS SOUS 63735 HAS SOUPS 53387 WITH SCORE 53575.462
AT ITER 2759 NEW BEST:: SOT 242504 SOS 188362 HAS SOPS 100120 HAS SOUS 63685 HAS SOUPS 53337 WITH SCORE 53525.362
AT ITER 2764 NEW BEST:: SOT 242460 SOS 188318 HAS SOPS 100054 HAS SOUS 63675 HAS SOUPS 53327 WITH SCORE 53515.318
AT ITER 2768 NEW BEST:: SOT 242449 SOS 188302 HAS SOPS 100069 HAS SOUS 63664 HAS SOUPS 53316 WITH SCORE 53504.302
AT ITER 2773 NEW BEST:: SOT 242272 SOS 188125 HAS SOPS 99941 HAS SOUS 63494 HAS SOUPS 53163 WITH SCORE 53351.125
AT ITER 2774 NEW BEST:: SOT 242272 SOS 188125 HAS SOPS 99941 HAS SOUS 63463 HAS SOUPS 53132 WITH SCORE 53320.125
AT ITER 2775 NEW BEST:: SOT 242258 SOS 188111 HAS SOPS 99913 HAS SOUS 63435 HAS SOUPS 53104 WITH SCORE 53292.111
AT ITER 2782 NEW BEST:: SOT 242258 SOS 188111 HAS SOPS 99913 HAS SOUS 63353 HAS SOUPS 53022 WITH SCORE 53210.111
AT ITER 2797 NEW BEST:: SOT 242208 SOS 188061 HAS SOPS 99838 HAS SOUS 63278 HAS SOUPS 52947 WITH SCORE 53135.061
AT ITER 2806 NEW BEST:: SOT 242208 SOS 188061 HAS SOPS 99838 HAS SOUS 63277 HAS SOUPS 52946 WITH SCORE 53134.061
AT ITER 2825 NEW BEST:: SOT 242196 SOS 188049 HAS SOPS 99814 HAS SOUS 63253 HAS SOUPS 52922 WITH SCORE 53110.049
AT ITER 2833 NEW BEST:: SOT 242052 SOS 187905 HAS SOPS 99598 HAS SOUS 62903 HAS SOUPS 52572 WITH SCORE 52759.905
AT ITER 2844 NEW BEST:: SOT 242052 SOS 187898 HAS SOPS 99598 HAS SOUS 62903 HAS SOUPS 52572 WITH SCORE 52759.898
AT ITER 2847 NEW BEST:: SOT 242080 SOS 187880 HAS SOPS 99594 HAS SOUS 62899 HAS SOUPS 52568 WITH SCORE 52755.88
AT ITER 2855 NEW BEST:: SOT 242096 SOS 187896 HAS SOPS 99410 HAS SOUS 62738 HAS SOUPS 52407 WITH SCORE 52594.896
AT ITER 2864 NEW BEST:: SOT 242060 SOS 187860 HAS SOPS 99330 HAS SOUS 62676 HAS SOUPS 52345 WITH SCORE 52532.86
AT ITER 2868 NEW BEST:: SOT 242044 SOS 187844 HAS SOPS 99298 HAS SOUS 62621 HAS SOUPS 52290 WITH SCORE 52477.844
AT ITER 2870 NEW BEST:: SOT 241914 SOS 187714 HAS SOPS 99171 HAS SOUS 62426 HAS SOUPS 52095 WITH SCORE 52282.714
AT ITER 2888 NEW BEST:: SOT 241810 SOS 187610 HAS SOPS 99015 HAS SOUS 62251 HAS SOUPS 51920 WITH SCORE 52107.61
AT ITER 2900 NEW BEST:: SOT 241686 SOS 187486 HAS SOPS 98829 HAS SOUS 62067 HAS SOUPS 51736 WITH SCORE 51923.486
AT ITER 2922 NEW BEST:: SOT 241652 SOS 187452 HAS SOPS 98778 HAS SOUS 62000 HAS SOUPS 51669 WITH SCORE 51856.452
AT ITER 2926 NEW BEST:: SOT 240619 SOS 193374 HAS SOPS 100694 HAS SOUS 61800 HAS SOUPS 51361 WITH SCORE 51554.374
AT ITER 2927 NEW BEST:: SOT 240497 SOS 193252 HAS SOPS 100511 HAS SOUS 61541 HAS SOUPS 51102 WITH SCORE 51295.252
AT ITER 2934 NEW BEST:: SOT 240461 SOS 193225 HAS SOPS 100475 HAS SOUS 61523 HAS SOUPS 51084 WITH SCORE 51277.225
AT ITER 2937 NEW BEST:: SOT 240401 SOS 193165 HAS SOPS 100355 HAS SOUS 61392 HAS SOUPS 50953 WITH SCORE 51146.165
AT ITER 2952 NEW BEST:: SOT 240395 SOS 193159 HAS SOPS 100346 HAS SOUS 61386 HAS SOUPS 50947 WITH SCORE 51140.159
AT ITER 2954 NEW BEST:: SOT 240271 SOS 193035 HAS SOPS 100241 HAS SOUS 61154 HAS SOUPS 50715 WITH SCORE 50908.035
AT ITER 2955 NEW BEST:: SOT 240245 SOS 193009 HAS SOPS 100215 HAS SOUS 61086 HAS SOUPS 50647 WITH SCORE 50840.009
AT ITER 2963 NEW BEST:: SOT 239810 SOS 195693 HAS SOPS 101416 HAS SOUS 60991 HAS SOUPS 50498 WITH SCORE 50693.693
AT ITER 2967 NEW BEST:: SOT 239770 SOS 195653 HAS SOPS 101276 HAS SOUS 60889 HAS SOUPS 50396 WITH SCORE 50591.653
AT ITER 2971 NEW BEST:: SOT 239770 SOS 195647 HAS SOPS 101270 HAS SOUS 60889 HAS SOUPS 50396 WITH SCORE 50591.647
AT ITER 2994 NEW BEST:: SOT 239730 SOS 195607 HAS SOPS 101230 HAS SOUS 60849 HAS SOUPS 50356 WITH SCORE 50551.607
AT ITER 3005 NEW BEST:: SOT 239588 SOS 195430 HAS SOPS 101008 HAS SOUS 60681 HAS SOUPS 50188 WITH SCORE 50383.43
AT ITER 3014 NEW BEST:: SOT 239510 SOS 195352 HAS SOPS 101004 HAS SOUS 60605 HAS SOUPS 50112 WITH SCORE 50307.352
AT ITER 3017 NEW BEST:: SOT 239350 SOS 195192 HAS SOPS 100804 HAS SOUS 60506 HAS SOUPS 50013 WITH SCORE 50208.192
AT ITER 3023 NEW BEST:: SOT 239306 SOS 195203 HAS SOPS 100716 HAS SOUS 60473 HAS SOUPS 49947 WITH SCORE 50142.203
AT ITER 3024 NEW BEST:: SOT 239328 SOS 195225 HAS SOPS 100712 HAS SOUS 60458 HAS SOUPS 49932 WITH SCORE 50127.225
AT ITER 3025 NEW BEST:: SOT 239156 SOS 195053 HAS SOPS 100513 HAS SOUS 60244 HAS SOUPS 49718 WITH SCORE 49913.053
AT ITER 3026 NEW BEST:: SOT 239140 SOS 195037 HAS SOPS 100489 HAS SOUS 60182 HAS SOUPS 49656 WITH SCORE 49851.037
AT ITER 3028 NEW BEST:: SOT 238984 SOS 194881 HAS SOPS 100398 HAS SOUS 60034 HAS SOUPS 49545 WITH SCORE 49739.881
AT ITER 3046 NEW BEST:: SOT 238956 SOS 194853 HAS SOPS 100356 HAS SOUS 59992 HAS SOUPS 49503 WITH SCORE 49697.853
AT ITER 3051 NEW BEST:: SOT 238842 SOS 194739 HAS SOPS 100339 HAS SOUS 59953 HAS SOUPS 49464 WITH SCORE 49658.739
AT ITER 3054 NEW BEST:: SOT 238878 SOS 194775 HAS SOPS 100375 HAS SOUS 59935 HAS SOUPS 49446 WITH SCORE 49640.775
AT ITER 3055 NEW BEST:: SOT 238878 SOS 194775 HAS SOPS 100375 HAS SOUS 59913 HAS SOUPS 49424 WITH SCORE 49618.775
AT ITER 3068 NEW BEST:: SOT 238784 SOS 194681 HAS SOPS 100234 HAS SOUS 59772 HAS SOUPS 49283 WITH SCORE 49477.681
AT ITER 3070 NEW BEST:: SOT 238666 SOS 194563 HAS SOPS 99998 HAS SOUS 59533 HAS SOUPS 49044 WITH SCORE 49238.563
AT ITER 3085 NEW BEST:: SOT 238666 SOS 194563 HAS SOPS 99998 HAS SOUS 59526 HAS SOUPS 49037 WITH SCORE 49231.563
AT ITER 3096 NEW BEST:: SOT 238544 SOS 194441 HAS SOPS 99286 HAS SOUS 58829 HAS SOUPS 48340 WITH SCORE 48534.441
AT ITER 3098 NEW BEST:: SOT 238627 SOS 194538 HAS SOPS 99275 HAS SOUS 58818 HAS SOUPS 48329 WITH SCORE 48523.538
AT ITER 3111 NEW BEST:: SOT 238533 SOS 194444 HAS SOPS 99098 HAS SOUS 58713 HAS SOUPS 48224 WITH SCORE 48418.444
AT ITER 3119 NEW BEST:: SOT 238488 SOS 194364 HAS SOPS 98973 HAS SOUS 58668 HAS SOUPS 48179 WITH SCORE 48373.364
AT ITER 3122 NEW BEST:: SOT 238462 SOS 194338 HAS SOPS 98986 HAS SOUS 58668 HAS SOUPS 48179 WITH SCORE 48373.338
AT ITER 3141 NEW BEST:: SOT 238462 SOS 194338 HAS SOPS 98986 HAS SOUS 58658 HAS SOUPS 48169 WITH SCORE 48363.338
AT ITER 3145 NEW BEST:: SOT 238462 SOS 194338 HAS SOPS 98986 HAS SOUS 58615 HAS SOUPS 48126 WITH SCORE 48320.338
AT ITER 3146 NEW BEST:: SOT 238239 SOS 194115 HAS SOPS 98724 HAS SOUS 58397 HAS SOUPS 47908 WITH SCORE 48102.115
AT ITER 3147 NEW BEST:: SOT 238193 SOS 194033 HAS SOPS 98524 HAS SOUS 58232 HAS SOUPS 47743 WITH SCORE 47937.033
AT ITER 3158 NEW BEST:: SOT 237964 SOS 193824 HAS SOPS 98291 HAS SOUS 58169 HAS SOUPS 47680 WITH SCORE 47873.824
AT ITER 3161 NEW BEST:: SOT 237812 SOS 193672 HAS SOPS 97987 HAS SOUS 57865 HAS SOUPS 47376 WITH SCORE 47569.672
AT ITER 3195 NEW BEST:: SOT 237808 SOS 193668 HAS SOPS 97999 HAS SOUS 57844 HAS SOUPS 47356 WITH SCORE 47549.668
AT ITER 3205 NEW BEST:: SOT 237624 SOS 193550 HAS SOPS 98035 HAS SOUS 57795 HAS SOUPS 47307 WITH SCORE 47500.55
AT ITER 3218 NEW BEST:: SOT 237624 SOS 193550 HAS SOPS 98035 HAS SOUS 57782 HAS SOUPS 47294 WITH SCORE 47487.55
AT ITER 3221 NEW BEST:: SOT 237450 SOS 193376 HAS SOPS 97774 HAS SOUS 57471 HAS SOUPS 46983 WITH SCORE 47176.376
AT ITER 3222 NEW BEST:: SOT 237432 SOS 193358 HAS SOPS 97747 HAS SOUS 57444 HAS SOUPS 46956 WITH SCORE 47149.358
AT ITER 3228 NEW BEST:: SOT 237432 SOS 193358 HAS SOPS 97747 HAS SOUS 57418 HAS SOUPS 46930 WITH SCORE 47123.358
AT ITER 3238 NEW BEST:: SOT 237400 SOS 193326 HAS SOPS 97723 HAS SOUS 57394 HAS SOUPS 46906 WITH SCORE 47099.326
AT ITER 3249 NEW BEST:: SOT 237281 SOS 194023 HAS SOPS 97803 HAS SOUS 57375 HAS SOUPS 46872 WITH SCORE 47066.023
AT ITER 3258 NEW BEST:: SOT 237261 SOS 193999 HAS SOPS 97533 HAS SOUS 57337 HAS SOUPS 46834 WITH SCORE 47027.999
AT ITER 3262 NEW BEST:: SOT 237257 SOS 193995 HAS SOPS 97525 HAS SOUS 57309 HAS SOUPS 46806 WITH SCORE 46999.995
AT ITER 3273 NEW BEST:: SOT 237228 SOS 193952 HAS SOPS 97482 HAS SOUS 57242 HAS SOUPS 46739 WITH SCORE 46932.952
AT ITER 3287 NEW BEST:: SOT 237228 SOS 193952 HAS SOPS 97482 HAS SOUS 57230 HAS SOUPS 46727 WITH SCORE 46920.952
AT ITER 3292 NEW BEST:: SOT 237152 SOS 193876 HAS SOPS 97374 HAS SOUS 57084 HAS SOUPS 46581 WITH SCORE 46774.876
AT ITER 3306 NEW BEST:: SOT 237132 SOS 193856 HAS SOPS 97280 HAS SOUS 57054 HAS SOUPS 46551 WITH SCORE 46744.856
AT ITER 3310 NEW BEST:: SOT 237130 SOS 193854 HAS SOPS 97276 HAS SOUS 57051 HAS SOUPS 46548 WITH SCORE 46741.854
AT ITER 3324 NEW BEST:: SOT 237181 SOS 193905 HAS SOPS 97160 HAS SOUS 56955 HAS SOUPS 46452 WITH SCORE 46645.905
AT ITER 3337 NEW BEST:: SOT 237179 SOS 193903 HAS SOPS 97156 HAS SOUS 56951 HAS SOUPS 46448 WITH SCORE 46641.903
AT ITER 3344 NEW BEST:: SOT 237179 SOS 193903 HAS SOPS 97156 HAS SOUS 56942 HAS SOUPS 46439 WITH SCORE 46632.903
AT ITER 3354 NEW BEST:: SOT 237179 SOS 193903 HAS SOPS 97156 HAS SOUS 56925 HAS SOUPS 46422 WITH SCORE 46615.903
AT ITER 3364 NEW BEST:: SOT 237131 SOS 193855 HAS SOPS 97084 HAS SOUS 56846 HAS SOUPS 46343 WITH SCORE 46536.855
AT ITER 3370 NEW BEST:: SOT 237005 SOS 193729 HAS SOPS 96899 HAS SOUS 56633 HAS SOUPS 46130 WITH SCORE 46323.729
AT ITER 3373 NEW BEST:: SOT 237005 SOS 193729 HAS SOPS 96899 HAS SOUS 56620 HAS SOUPS 46117 WITH SCORE 46310.729
AT ITER 3385 NEW BEST:: SOT 237005 SOS 193719 HAS SOPS 96899 HAS SOUS 56620 HAS SOUPS 46117 WITH SCORE 46310.719
AT ITER 3388 NEW BEST:: SOT 236961 SOS 193689 HAS SOPS 96909 HAS SOUS 56554 HAS SOUPS 46051 WITH SCORE 46244.689
AT ITER 3424 NEW BEST:: SOT 236721 SOS 193449 HAS SOPS 96830 HAS SOUS 56509 HAS SOUPS 46006 WITH SCORE 46199.449
AT ITER 3437 NEW BEST:: SOT 236715 SOS 193443 HAS SOPS 96821 HAS SOUS 56487 HAS SOUPS 45984 WITH SCORE 46177.443
AT ITER 3438 NEW BEST:: SOT 236607 SOS 193335 HAS SOPS 96605 HAS SOUS 56325 HAS SOUPS 45822 WITH SCORE 46015.335
AT ITER 3446 NEW BEST:: SOT 236511 SOS 193239 HAS SOPS 96491 HAS SOUS 56224 HAS SOUPS 45721 WITH SCORE 45914.239
AT ITER 3451 NEW BEST:: SOT 236459 SOS 193175 HAS SOPS 96560 HAS SOUS 56121 HAS SOUPS 45618 WITH SCORE 45811.175
AT ITER 3454 NEW BEST:: SOT 236552 SOS 193191 HAS SOPS 96587 HAS SOUS 56102 HAS SOUPS 45599 WITH SCORE 45792.191
AT ITER 3467 NEW BEST:: SOT 236552 SOS 193191 HAS SOPS 96587 HAS SOUS 56085 HAS SOUPS 45582 WITH SCORE 45775.191
AT ITER 3476 NEW BEST:: SOT 236518 SOS 193157 HAS SOPS 96519 HAS SOUS 56034 HAS SOUPS 45531 WITH SCORE 45724.157
AT ITER 3492 NEW BEST:: SOT 236523 SOS 193173 HAS SOPS 96535 HAS SOUS 56026 HAS SOUPS 45523 WITH SCORE 45716.173
AT ITER 3495 NEW BEST:: SOT 236361 SOS 193011 HAS SOPS 96326 HAS SOUS 55937 HAS SOUPS 45434 WITH SCORE 45627.011
AT ITER 3509 NEW BEST:: SOT 236297 SOS 192947 HAS SOPS 96198 HAS SOUS 55880 HAS SOUPS 45377 WITH SCORE 45569.947
AT ITER 3523 NEW BEST:: SOT 236209 SOS 192859 HAS SOPS 96066 HAS SOUS 55741 HAS SOUPS 45238 WITH SCORE 45430.859
AT ITER 3530 NEW BEST:: SOT 236209 SOS 192848 HAS SOPS 96055 HAS SOUS 55741 HAS SOUPS 45238 WITH SCORE 45430.848
AT ITER 3531 NEW BEST:: SOT 236203 SOS 192842 HAS SOPS 96043 HAS SOUS 55724 HAS SOUPS 45221 WITH SCORE 45413.842
AT ITER 3545 NEW BEST:: SOT 236189 SOS 192828 HAS SOPS 96015 HAS SOUS 55724 HAS SOUPS 45221 WITH SCORE 45413.828
AT ITER 3571 NEW BEST:: SOT 236189 SOS 192799 HAS SOPS 96015 HAS SOUS 55695 HAS SOUPS 45221 WITH SCORE 45413.799
AT ITER 3590 NEW BEST:: SOT 236173 SOS 192783 HAS SOPS 95983 HAS SOUS 55671 HAS SOUPS 45197 WITH SCORE 45389.783
AT ITER 3592 NEW BEST:: SOT 236163 SOS 192773 HAS SOPS 95968 HAS SOUS 55652 HAS SOUPS 45178 WITH SCORE 45370.773
AT ITER 3595 NEW BEST:: SOT 236166 SOS 192773 HAS SOPS 95965 HAS SOUS 55651 HAS SOUPS 45177 WITH SCORE 45369.773
AT ITER 3600 NEW BEST:: SOT 236098 SOS 192710 HAS SOPS 95863 HAS SOUS 55549 HAS SOUPS 45075 WITH SCORE 45267.71
AT ITER 3611 NEW BEST:: SOT 236098 SOS 192798 HAS SOPS 95869 HAS SOUS 55585 HAS SOUPS 45035 WITH SCORE 45227.798
AT ITER 3616 NEW BEST:: SOT 235993 SOS 192693 HAS SOPS 95756 HAS SOUS 55328 HAS SOUPS 44778 WITH SCORE 44970.693
AT ITER 3622 NEW BEST:: SOT 236003 SOS 192703 HAS SOPS 95682 HAS SOUS 55317 HAS SOUPS 44767 WITH SCORE 44959.703
AT ITER 3640 NEW BEST:: SOT 235771 SOS 192471 HAS SOPS 95566 HAS SOUS 55201 HAS SOUPS 44651 WITH SCORE 44843.471
AT ITER 3643 NEW BEST:: SOT 235771 SOS 192457 HAS SOPS 95552 HAS SOUS 55201 HAS SOUPS 44651 WITH SCORE 44843.457
AT ITER 3650 NEW BEST:: SOT 235769 SOS 192455 HAS SOPS 95668 HAS SOUS 55198 HAS SOUPS 44648 WITH SCORE 44840.455
AT ITER 3659 NEW BEST:: SOT 235743 SOS 192429 HAS SOPS 95616 HAS SOUS 55110 HAS SOUPS 44560 WITH SCORE 44752.429
AT ITER 3676 NEW BEST:: SOT 235717 SOS 192403 HAS SOPS 95577 HAS SOUS 55084 HAS SOUPS 44534 WITH SCORE 44726.403
AT ITER 3679 NEW BEST:: SOT 235673 SOS 192359 HAS SOPS 95489 HAS SOUS 55007 HAS SOUPS 44457 WITH SCORE 44649.359
AT ITER 3689 NEW BEST:: SOT 235623 SOS 192309 HAS SOPS 95414 HAS SOUS 54936 HAS SOUPS 44386 WITH SCORE 44578.309
AT ITER 3693 NEW BEST:: SOT 235603 SOS 192289 HAS SOPS 95384 HAS SOUS 54906 HAS SOUPS 44356 WITH SCORE 44548.289
AT ITER 3698 NEW BEST:: SOT 235581 SOS 192267 HAS SOPS 95351 HAS SOUS 54892 HAS SOUPS 44342 WITH SCORE 44534.267
AT ITER 3721 NEW BEST:: SOT 235581 SOS 192267 HAS SOPS 95351 HAS SOUS 54859 HAS SOUPS 44309 WITH SCORE 44501.267
AT ITER 3730 NEW BEST:: SOT 235585 SOS 192271 HAS SOPS 95312 HAS SOUS 54836 HAS SOUPS 44286 WITH SCORE 44478.271
AT ITER 3749 NEW BEST:: SOT 235585 SOS 192271 HAS SOPS 95312 HAS SOUS 54802 HAS SOUPS 44252 WITH SCORE 44444.271
AT ITER 3762 NEW BEST:: SOT 235501 SOS 192163 HAS SOPS 95120 HAS SOUS 54654 HAS SOUPS 44104 WITH SCORE 44296.163
AT ITER 3823 NEW BEST:: SOT 235469 SOS 192131 HAS SOPS 95072 HAS SOUS 54613 HAS SOUPS 44063 WITH SCORE 44255.131
AT ITER 3849 NEW BEST:: SOT 235469 SOS 192131 HAS SOPS 95072 HAS SOUS 54582 HAS SOUPS 44032 WITH SCORE 44224.131
AT ITER 3874 NEW BEST:: SOT 235397 SOS 192059 HAS SOPS 95284 HAS SOUS 54536 HAS SOUPS 43986 WITH SCORE 44178.059
AT ITER 3875 NEW BEST:: SOT 235369 SOS 192025 HAS SOPS 95109 HAS SOUS 54494 HAS SOUPS 43944 WITH SCORE 44136.025
AT ITER 3877 NEW BEST:: SOT 235401 SOS 192073 HAS SOPS 95151 HAS SOUS 54449 HAS SOUPS 43899 WITH SCORE 44091.073
AT ITER 3879 NEW BEST:: SOT 235381 SOS 192053 HAS SOPS 95121 HAS SOUS 54438 HAS SOUPS 43888 WITH SCORE 44080.053
AT ITER 3880 NEW BEST:: SOT 235381 SOS 192053 HAS SOPS 95121 HAS SOUS 54436 HAS SOUPS 43886 WITH SCORE 44078.053
AT ITER 3885 NEW BEST:: SOT 235339 SOS 192011 HAS SOPS 95058 HAS SOUS 54353 HAS SOUPS 43803 WITH SCORE 43995.011
AT ITER 3923 NEW BEST:: SOT 235333 SOS 192005 HAS SOPS 95046 HAS SOUS 54344 HAS SOUPS 43794 WITH SCORE 43986.005
AT ITER 3954 NEW BEST:: SOT 235309 SOS 191981 HAS SOPS 94943 HAS SOUS 54308 HAS SOUPS 43758 WITH SCORE 43949.981
AT ITER 3964 NEW BEST:: SOT 235235 SOS 191907 HAS SOPS 94943 HAS SOUS 54308 HAS SOUPS 43758 WITH SCORE 43949.907
AT ITER 3966 NEW BEST:: SOT 235201 SOS 191873 HAS SOPS 94953 HAS SOUS 54304 HAS SOUPS 43754 WITH SCORE 43945.873
AT ITER 3969 NEW BEST:: SOT 235201 SOS 191873 HAS SOPS 94953 HAS SOUS 54251 HAS SOUPS 43701 WITH SCORE 43892.873
AT ITER 3982 NEW BEST:: SOT 234996 SOS 191668 HAS SOPS 94748 HAS SOUS 54182 HAS SOUPS 43632 WITH SCORE 43823.668
AT ITER 3989 NEW BEST:: SOT 235028 SOS 191700 HAS SOPS 94540 HAS SOUS 53984 HAS SOUPS 43434 WITH SCORE 43625.7
AT ITER 4017 NEW BEST:: SOT 234962 SOS 191613 HAS SOPS 94498 HAS SOUS 53919 HAS SOUPS 43414 WITH SCORE 43605.613
AT ITER 4026 NEW BEST:: SOT 234886 SOS 191537 HAS SOPS 94384 HAS SOUS 53805 HAS SOUPS 43300 WITH SCORE 43491.537
AT ITER 4044 NEW BEST:: SOT 234599 SOS 193269 HAS SOPS 95054 HAS SOUS 53686 HAS SOUPS 43152 WITH SCORE 43345.269
AT ITER 4051 NEW BEST:: SOT 234577 SOS 193247 HAS SOPS 95021 HAS SOUS 53648 HAS SOUPS 43114 WITH SCORE 43307.247
AT ITER 4057 NEW BEST:: SOT 234577 SOS 193247 HAS SOPS 94919 HAS SOUS 53546 HAS SOUPS 43012 WITH SCORE 43205.247
AT ITER 4072 NEW BEST:: SOT 234389 SOS 193059 HAS SOPS 94637 HAS SOUS 53176 HAS SOUPS 42642 WITH SCORE 42835.059
AT ITER 4078 NEW BEST:: SOT 234373 SOS 193043 HAS SOPS 94613 HAS SOUS 53144 HAS SOUPS 42610 WITH SCORE 42803.043
AT ITER 4142 NEW BEST:: SOT 234363 SOS 193033 HAS SOPS 94610 HAS SOUS 53141 HAS SOUPS 42607 WITH SCORE 42800.033
AT ITER 4165 NEW BEST:: SOT 234345 SOS 193015 HAS SOPS 94588 HAS SOUS 53114 HAS SOUPS 42580 WITH SCORE 42773.015
AT ITER 4167 NEW BEST:: SOT 234345 SOS 193015 HAS SOPS 94588 HAS SOUS 53065 HAS SOUPS 42531 WITH SCORE 42724.015
AT ITER 4169 NEW BEST:: SOT 234297 SOS 192871 HAS SOPS 94569 HAS SOUS 52948 HAS SOUPS 42520 WITH SCORE 42712.871
AT ITER 4171 NEW BEST:: SOT 234289 SOS 192863 HAS SOPS 94553 HAS SOUS 52902 HAS SOUPS 42474 WITH SCORE 42666.863
AT ITER 4178 NEW BEST:: SOT 234289 SOS 192863 HAS SOPS 94553 HAS SOUS 52856 HAS SOUPS 42428 WITH SCORE 42620.863
AT ITER 4233 NEW BEST:: SOT 234128 SOS 192702 HAS SOPS 94344 HAS SOUS 52782 HAS SOUPS 42354 WITH SCORE 42546.702
AT ITER 4246 NEW BEST:: SOT 234128 SOS 192702 HAS SOPS 94300 HAS SOUS 52738 HAS SOUPS 42310 WITH SCORE 42502.702
AT ITER 4249 NEW BEST:: SOT 234128 SOS 192702 HAS SOPS 94300 HAS SOUS 52729 HAS SOUPS 42301 WITH SCORE 42493.702
AT ITER 4262 NEW BEST:: SOT 234035 SOS 193175 HAS SOPS 94300 HAS SOUS 52692 HAS SOUPS 42264 WITH SCORE 42457.175
AT ITER 4291 NEW BEST:: SOT 234113 SOS 193253 HAS SOPS 94300 HAS SOUS 52653 HAS SOUPS 42225 WITH SCORE 42418.253
AT ITER 4293 NEW BEST:: SOT 234117 SOS 193257 HAS SOPS 94228 HAS SOUS 52555 HAS SOUPS 42127 WITH SCORE 42320.257
AT ITER 4302 NEW BEST:: SOT 234047 SOS 193916 HAS SOPS 94402 HAS SOUS 52564 HAS SOUPS 42125 WITH SCORE 42318.916
AT ITER 4327 NEW BEST:: SOT 234005 SOS 193874 HAS SOPS 94318 HAS SOUS 52478 HAS SOUPS 42039 WITH SCORE 42232.874
AT ITER 4332 NEW BEST:: SOT 234018 SOS 193887 HAS SOPS 94235 HAS SOUS 52419 HAS SOUPS 41980 WITH SCORE 42173.887
AT ITER 4342 NEW BEST:: SOT 233953 SOS 193822 HAS SOPS 94070 HAS SOUS 52297 HAS SOUPS 41858 WITH SCORE 42051.822
AT ITER 4347 NEW BEST:: SOT 233919 SOS 193788 HAS SOPS 94019 HAS SOUS 52181 HAS SOUPS 41742 WITH SCORE 41935.788
AT ITER 4363 NEW BEST:: SOT 233919 SOS 193788 HAS SOPS 94019 HAS SOUS 52153 HAS SOUPS 41714 WITH SCORE 41907.788
AT ITER 4387 NEW BEST:: SOT 233898 SOS 193689 HAS SOPS 93968 HAS SOUS 52131 HAS SOUPS 41692 WITH SCORE 41885.689
AT ITER 4390 NEW BEST:: SOT 233864 SOS 193655 HAS SOPS 93917 HAS SOUS 52080 HAS SOUPS 41641 WITH SCORE 41834.655
AT ITER 4433 NEW BEST:: SOT 233864 SOS 193655 HAS SOPS 93917 HAS SOUS 52049 HAS SOUPS 41610 WITH SCORE 41803.655
AT ITER 4435 NEW BEST:: SOT 233926 SOS 193717 HAS SOPS 93853 HAS SOUS 51996 HAS SOUPS 41557 WITH SCORE 41750.717
AT ITER 4442 NEW BEST:: SOT 233847 SOS 193638 HAS SOPS 93856 HAS SOUS 51945 HAS SOUPS 41506 WITH SCORE 41699.638
AT ITER 4448 NEW BEST:: SOT 233847 SOS 193638 HAS SOPS 93764 HAS SOUS 51940 HAS SOUPS 41479 WITH SCORE 41672.638
AT ITER 4456 NEW BEST:: SOT 233821 SOS 193612 HAS SOPS 93621 HAS SOUS 51820 HAS SOUPS 41359 WITH SCORE 41552.612
AT ITER 4477 NEW BEST:: SOT 233819 SOS 193610 HAS SOPS 93618 HAS SOUS 51816 HAS SOUPS 41355 WITH SCORE 41548.61
AT ITER 4517 NEW BEST:: SOT 233805 SOS 193596 HAS SOPS 93597 HAS SOUS 51788 HAS SOUPS 41327 WITH SCORE 41520.596
AT ITER 4530 NEW BEST:: SOT 233773 SOS 193564 HAS SOPS 93518 HAS SOUS 51740 HAS SOUPS 41279 WITH SCORE 41472.564
AT ITER 4533 NEW BEST:: SOT 233749 SOS 193540 HAS SOPS 93482 HAS SOUS 51710 HAS SOUPS 41249 WITH SCORE 41442.54
AT ITER 4552 NEW BEST:: SOT 233429 SOS 193220 HAS SOPS 93320 HAS SOUS 51608 HAS SOUPS 41147 WITH SCORE 41340.22
AT ITER 4571 NEW BEST:: SOT 233254 SOS 193045 HAS SOPS 93257 HAS SOUS 51501 HAS SOUPS 41040 WITH SCORE 41233.045
AT ITER 4611 NEW BEST:: SOT 233168 SOS 192944 HAS SOPS 93128 HAS SOUS 51329 HAS SOUPS 40868 WITH SCORE 41060.944
AT ITER 4619 NEW BEST:: SOT 233132 SOS 192908 HAS SOPS 93146 HAS SOUS 51329 HAS SOUPS 40868 WITH SCORE 41060.908
AT ITER 4620 NEW BEST:: SOT 233028 SOS 192804 HAS SOPS 92990 HAS SOUS 51156 HAS SOUPS 40695 WITH SCORE 40887.804
AT ITER 4642 NEW BEST:: SOT 233026 SOS 192802 HAS SOPS 92935 HAS SOUS 51089 HAS SOUPS 40628 WITH SCORE 40820.802
AT ITER 4649 NEW BEST:: SOT 232886 SOS 192662 HAS SOPS 92725 HAS SOUS 50889 HAS SOUPS 40428 WITH SCORE 40620.662
AT ITER 4665 NEW BEST:: SOT 232877 SOS 192653 HAS SOPS 92701 HAS SOUS 50868 HAS SOUPS 40407 WITH SCORE 40599.653
AT ITER 4670 NEW BEST:: SOT 232833 SOS 192609 HAS SOPS 92635 HAS SOUS 50802 HAS SOUPS 40341 WITH SCORE 40533.609
AT ITER 4690 NEW BEST:: SOT 232821 SOS 192597 HAS SOPS 92617 HAS SOUS 50790 HAS SOUPS 40329 WITH SCORE 40521.597
AT ITER 4710 NEW BEST:: SOT 232821 SOS 192597 HAS SOPS 92617 HAS SOUS 50761 HAS SOUPS 40300 WITH SCORE 40492.597
AT ITER 4722 NEW BEST:: SOT 232911 SOS 192687 HAS SOPS 92549 HAS SOUS 50751 HAS SOUPS 40290 WITH SCORE 40482.687
AT ITER 4735 NEW BEST:: SOT 232891 SOS 192669 HAS SOPS 92520 HAS SOUS 50733 HAS SOUPS 40261 WITH SCORE 40453.669
AT ITER 4741 NEW BEST:: SOT 232867 SOS 192645 HAS SOPS 92484 HAS SOUS 50685 HAS SOUPS 40213 WITH SCORE 40405.645
AT ITER 4745 NEW BEST:: SOT 232593 SOS 194528 HAS SOPS 92980 HAS SOUS 50662 HAS SOUPS 40155 WITH SCORE 40349.528
AT ITER 4806 NEW BEST:: SOT 232576 SOS 194511 HAS SOPS 92895 HAS SOUS 50605 HAS SOUPS 40098 WITH SCORE 40292.511
AT ITER 4813 NEW BEST:: SOT 232576 SOS 194511 HAS SOPS 92895 HAS SOUS 50592 HAS SOUPS 40085 WITH SCORE 40279.511
AT ITER 4816 NEW BEST:: SOT 232530 SOS 194465 HAS SOPS 92826 HAS SOUS 50523 HAS SOUPS 40016 WITH SCORE 40210.465
AT ITER 4817 NEW BEST:: SOT 232492 SOS 194413 HAS SOPS 92769 HAS SOUS 50466 HAS SOUPS 39959 WITH SCORE 40153.413
AT ITER 4852 NEW BEST:: SOT 232460 SOS 194376 HAS SOPS 92729 HAS SOUS 50450 HAS SOUPS 39943 WITH SCORE 40137.376
AT ITER 4853 NEW BEST:: SOT 232460 SOS 194376 HAS SOPS 92729 HAS SOUS 50443 HAS SOUPS 39936 WITH SCORE 40130.376
AT ITER 4863 NEW BEST:: SOT 232356 SOS 194272 HAS SOPS 92263 HAS SOUS 50029 HAS SOUPS 39522 WITH SCORE 39716.272
AT ITER 4900 NEW BEST:: SOT 232356 SOS 194238 HAS SOPS 92263 HAS SOUS 50029 HAS SOUPS 39522 WITH SCORE 39716.238
AT ITER 4901 NEW BEST:: SOT 232334 SOS 194216 HAS SOPS 92230 HAS SOUS 49996 HAS SOUPS 39489 WITH SCORE 39683.216
AT ITER 4907 NEW BEST:: SOT 232334 SOS 194180 HAS SOPS 92194 HAS SOUS 49996 HAS SOUPS 39489 WITH SCORE 39683.18
AT ITER 4925 NEW BEST:: SOT 232513 SOS 194359 HAS SOPS 92090 HAS SOUS 49954 HAS SOUPS 39447 WITH SCORE 39641.359
AT ITER 4926 NEW BEST:: SOT 232527 SOS 194373 HAS SOPS 92111 HAS SOUS 49934 HAS SOUPS 39427 WITH SCORE 39621.373
AT ITER 4949 NEW BEST:: SOT 232515 SOS 194380 HAS SOPS 92093 HAS SOUS 49916 HAS SOUPS 39409 WITH SCORE 39603.38
AT ITER 4961 NEW BEST:: SOT 232503 SOS 194368 HAS SOPS 92081 HAS SOUS 49904 HAS SOUPS 39397 WITH SCORE 39591.368
AT ITER 4979 NEW BEST:: SOT 232551 SOS 194416 HAS SOPS 92055 HAS SOUS 49865 HAS SOUPS 39358 WITH SCORE 39552.416
AT ITER 4995 NEW BEST:: SOT 232551 SOS 194387 HAS SOPS 92055 HAS SOUS 49865 HAS SOUPS 39358 WITH SCORE 39552.387
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Raft-PT-10-CTLCardinality-00 (AX( ( (EX( potential( (tk(P216)) <= (tk(P385)) ))) & (EF(potential( ( 3 ) <= (tk(P478)) ))) )))
PROPERTY: Raft-PT-10-CTLCardinality-01 (AG( (! (AF(potential( ( 3 ) <= (tk(P474)) ))))))
PROPERTY: Raft-PT-10-CTLCardinality-02 (AU( (! ( potential( (tk(P498)) <= (tk(P3)) ) | potential( ( 1 ) <= (tk(P403)) ) )),(EF(potential( ( 2 ) <= (tk(P378)) ))) ))
PROPERTY: Raft-PT-10-CTLCardinality-03 (! (EF(potential( ( 3 ) <= (tk(P176)) ))))
PROPERTY: Raft-PT-10-CTLCardinality-04 (EF(potential( ( 3 ) <= (tk(P467)) )))
PROPERTY: Raft-PT-10-CTLCardinality-05 (EU( (EF(potential( (tk(P346)) <= (tk(P109)) ))),(! (! potential( ( 3 ) <= (tk(P217)) ))) ))
PROPERTY: Raft-PT-10-CTLCardinality-06 ( (EF((EX( potential( ( 2 ) <= (tk(P113)) ))))) | potential( ( 3 ) <= (tk(P199)) ) )
PROPERTY: Raft-PT-10-CTLCardinality-07 (EU( potential( (tk(P49)) <= (tk(P352)) ),potential( ( 3 ) <= (tk(P148)) ) ))
PROPERTY: Raft-PT-10-CTLCardinality-08 (AG( ( (! ( potential( ( 2 ) <= (tk(P6)) ) & potential( (tk(P424)) <= (tk(P88)) ) )) & (EF(potential( ( 1 ) <= (tk(P323)) ))) )))
PROPERTY: Raft-PT-10-CTLCardinality-09 ( (AU( ( potential( (tk(P268)) <= (tk(P181)) ) | potential( (tk(P475)) <= (tk(P258)) ) ),( potential( ( 1 ) <= (tk(P155)) ) | potential( ( 1 ) <= (tk(P398)) ) ) )) | ( ( (AG( potential( (tk(P454)) <= (tk(P502)) ))) | (AF(potential( ( 3 ) <= (tk(P231)) ))) ) & (EF(( potential( ( 2 ) <= (tk(P450)) ) | potential( ( 2 ) <= (tk(P433)) ) ))) ) )
PROPERTY: Raft-PT-10-CTLCardinality-10 (EX( ( (EF(potential( ( 2 ) <= (tk(P339)) ))) | potential( ( 2 ) <= (tk(P89)) ) )))
PROPERTY: Raft-PT-10-CTLCardinality-11 ( (EF((EG( potential( ( 3 ) <= (tk(P323)) ))))) | ( ( (! potential( (tk(P488)) <= (tk(P217)) )) | (! ( potential( ( 2 ) <= (tk(P281)) ) | potential( (tk(P142)) <= (tk(P168)) ) )) ) & (EF(( potential( ( 3 ) <= (tk(P86)) ) | potential( ( 2 ) <= (tk(P73)) ) ))) ) )
PROPERTY: Raft-PT-10-CTLCardinality-12 (AG( (EX( ( potential( ( 3 ) <= (tk(P406)) ) | potential( (tk(P114)) <= (tk(P437)) ) )))))
PROPERTY: Raft-PT-10-CTLCardinality-13 ( (AX( potential( ( 2 ) <= (tk(P192)) ))) | (EF(( ( potential( (tk(P481)) <= (tk(P40)) ) & potential( ( 3 ) <= (tk(P401)) ) ) | potential( ( 2 ) <= (tk(P446)) ) ))) )
PROPERTY: Raft-PT-10-CTLCardinality-14 (! ( potential( ( 2 ) <= (tk(P166)) ) | ( (AG( potential( (tk(P478)) <= (tk(P161)) ))) | ( ( potential( (tk(P129)) <= (tk(P106)) ) & potential( ( 2 ) <= (tk(P215)) ) ) & (! potential( (tk(P235)) <= (tk(P372)) )) ) ) ))
PROPERTY: Raft-PT-10-CTLCardinality-15 ( (EF(( ( potential( (tk(P124)) <= (tk(P117)) ) & potential( ( 1 ) <= (tk(P312)) ) ) & (! potential( (tk(P246)) <= (tk(P471)) )) ))) & ( ( (! ( potential( ( 1 ) <= (tk(P320)) ) & potential( (tk(P459)) <= (tk(P8)) ) )) | (EF(potential( (tk(P355)) <= (tk(P388)) ))) ) | potential( (tk(P346)) <= (tk(P15)) ) ) )

BK_STOP 1589813371174

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 479 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-10"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is Raft-PT-10, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502600283"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-10.tgz
mv Raft-PT-10 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;