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.r078-smll-158922972400299.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 FlexibleBarrier-PT-08b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972400299
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 428K
-rw-r--r-- 1 mcc users 3.9K Apr 4 18:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 4 18:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 4 06:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 4 06:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 3 21:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 21:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 3 13:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 3 13:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 241K Mar 24 05:37 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 FlexibleBarrier-PT-08b-CTLCardinality-00
FORMULA_NAME FlexibleBarrier-PT-08b-CTLCardinality-01
FORMULA_NAME FlexibleBarrier-PT-08b-CTLCardinality-02
FORMULA_NAME FlexibleBarrier-PT-08b-CTLCardinality-03
FORMULA_NAME FlexibleBarrier-PT-08b-CTLCardinality-04
FORMULA_NAME FlexibleBarrier-PT-08b-CTLCardinality-05
FORMULA_NAME FlexibleBarrier-PT-08b-CTLCardinality-06
FORMULA_NAME FlexibleBarrier-PT-08b-CTLCardinality-07
FORMULA_NAME FlexibleBarrier-PT-08b-CTLCardinality-08
FORMULA_NAME FlexibleBarrier-PT-08b-CTLCardinality-09
FORMULA_NAME FlexibleBarrier-PT-08b-CTLCardinality-10
FORMULA_NAME FlexibleBarrier-PT-08b-CTLCardinality-11
FORMULA_NAME FlexibleBarrier-PT-08b-CTLCardinality-12
FORMULA_NAME FlexibleBarrier-PT-08b-CTLCardinality-13
FORMULA_NAME FlexibleBarrier-PT-08b-CTLCardinality-14
FORMULA_NAME FlexibleBarrier-PT-08b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589405581070

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 08b
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: 920 places, 1057 transitions, 2627 arcs.
AT ITER 0 NEW BEST:: SOT 622975 SOS 301532 HAS SOPS 301532 HAS SOUS 233924 HAS SOUPS 233924 WITH SCORE 234225.532
AT ITER 5 NEW BEST:: SOT 622931 SOS 300220 HAS SOPS 300220 HAS SOUS 233805 HAS SOUPS 233805 WITH SCORE 234105.22
AT ITER 9 NEW BEST:: SOT 621811 SOS 299180 HAS SOPS 299180 HAS SOUS 232752 HAS SOUPS 232752 WITH SCORE 233051.18
AT ITER 10 NEW BEST:: SOT 621525 SOS 298608 HAS SOPS 298608 HAS SOUS 232180 HAS SOUPS 232180 WITH SCORE 232478.608
AT ITER 11 NEW BEST:: SOT 621472 SOS 298502 HAS SOPS 298502 HAS SOUS 232127 HAS SOUPS 232127 WITH SCORE 232425.502
AT ITER 17 NEW BEST:: SOT 621328 SOS 298214 HAS SOPS 298214 HAS SOUS 231983 HAS SOUPS 231983 WITH SCORE 232281.214
AT ITER 20 NEW BEST:: SOT 621328 SOS 298214 HAS SOPS 298214 HAS SOUS 231932 HAS SOUPS 231932 WITH SCORE 232230.214
AT ITER 22 NEW BEST:: SOT 621233 SOS 298169 HAS SOPS 298169 HAS SOUS 231837 HAS SOUPS 231837 WITH SCORE 232135.169
AT ITER 29 NEW BEST:: SOT 621233 SOS 297508 HAS SOPS 297508 HAS SOUS 231717 HAS SOUPS 231717 WITH SCORE 232014.508
AT ITER 35 NEW BEST:: SOT 620984 SOS 296761 HAS SOPS 296761 HAS SOUS 231320 HAS SOUPS 231320 WITH SCORE 231616.761
AT ITER 41 NEW BEST:: SOT 620738 SOS 296269 HAS SOPS 296269 HAS SOUS 230828 HAS SOUPS 230828 WITH SCORE 231124.269
AT ITER 47 NEW BEST:: SOT 620738 SOS 296269 HAS SOPS 296269 HAS SOUS 230827 HAS SOUPS 230827 WITH SCORE 231123.269
AT ITER 55 NEW BEST:: SOT 620451 SOS 295695 HAS SOPS 295695 HAS SOUS 230253 HAS SOUPS 230253 WITH SCORE 230548.695
AT ITER 59 NEW BEST:: SOT 620152 SOS 295097 HAS SOPS 295097 HAS SOUS 229655 HAS SOUPS 229655 WITH SCORE 229950.097
AT ITER 60 NEW BEST:: SOT 620338 SOS 294619 HAS SOPS 294619 HAS SOUS 229394 HAS SOUPS 229394 WITH SCORE 229688.619
AT ITER 65 NEW BEST:: SOT 620338 SOS 294619 HAS SOPS 294619 HAS SOUS 229305 HAS SOUPS 229305 WITH SCORE 229599.619
AT ITER 67 NEW BEST:: SOT 620576 SOS 294293 HAS SOPS 294293 HAS SOUS 229191 HAS SOUPS 229191 WITH SCORE 229485.293
AT ITER 68 NEW BEST:: SOT 620576 SOS 294076 HAS SOPS 294076 HAS SOUS 229191 HAS SOUPS 229191 WITH SCORE 229485.076
AT ITER 69 NEW BEST:: SOT 620310 SOS 293677 HAS SOPS 293677 HAS SOUS 228792 HAS SOUPS 228792 WITH SCORE 229085.677
AT ITER 80 NEW BEST:: SOT 620310 SOS 293677 HAS SOPS 293677 HAS SOUS 228790 HAS SOUPS 228790 WITH SCORE 229083.677
AT ITER 81 NEW BEST:: SOT 620042 SOS 293141 HAS SOPS 293141 HAS SOUS 228522 HAS SOUPS 228522 WITH SCORE 228815.141
AT ITER 86 NEW BEST:: SOT 619958 SOS 292973 HAS SOPS 292973 HAS SOUS 228354 HAS SOUPS 228354 WITH SCORE 228646.973
AT ITER 91 NEW BEST:: SOT 619829 SOS 292715 HAS SOPS 292715 HAS SOUS 228096 HAS SOUPS 228096 WITH SCORE 228388.715
AT ITER 92 NEW BEST:: SOT 619750 SOS 292478 HAS SOPS 292478 HAS SOUS 227938 HAS SOUPS 227938 WITH SCORE 228230.478
AT ITER 96 NEW BEST:: SOT 619496 SOS 292284 HAS SOPS 292284 HAS SOUS 227684 HAS SOUPS 227684 WITH SCORE 227976.284
AT ITER 100 NEW BEST:: SOT 606823 SOS 284204 HAS SOPS 284204 HAS SOUS 215181 HAS SOUPS 215181 WITH SCORE 215465.204
AT ITER 101 NEW BEST:: SOT 606302 SOS 283712 HAS SOPS 283712 HAS SOUS 214676 HAS SOUPS 214676 WITH SCORE 214959.712
AT ITER 110 NEW BEST:: SOT 606302 SOS 283712 HAS SOPS 283712 HAS SOUS 214600 HAS SOUPS 214600 WITH SCORE 214883.712
AT ITER 111 NEW BEST:: SOT 606088 SOS 283884 HAS SOPS 283884 HAS SOUS 214565 HAS SOUPS 214565 WITH SCORE 214848.884
AT ITER 115 NEW BEST:: SOT 605841 SOS 283675 HAS SOPS 283675 HAS SOUS 214451 HAS SOUPS 214451 WITH SCORE 214734.675
AT ITER 119 NEW BEST:: SOT 605800 SOS 282603 HAS SOPS 282603 HAS SOUS 213628 HAS SOUPS 213628 WITH SCORE 213910.603
AT ITER 125 NEW BEST:: SOT 605756 SOS 282515 HAS SOPS 282515 HAS SOUS 213301 HAS SOUPS 213301 WITH SCORE 213583.515
AT ITER 128 NEW BEST:: SOT 605637 SOS 282433 HAS SOPS 282433 HAS SOUS 213227 HAS SOUPS 213227 WITH SCORE 213509.433
AT ITER 129 NEW BEST:: SOT 605413 SOS 282395 HAS SOPS 282395 HAS SOUS 213172 HAS SOUPS 213172 WITH SCORE 213454.395
AT ITER 130 NEW BEST:: SOT 605436 SOS 282155 HAS SOPS 282155 HAS SOUS 213043 HAS SOUPS 213043 WITH SCORE 213325.155
AT ITER 132 NEW BEST:: SOT 605180 SOS 281643 HAS SOPS 281643 HAS SOUS 212787 HAS SOUPS 212787 WITH SCORE 213068.643
AT ITER 133 NEW BEST:: SOT 605069 SOS 281573 HAS SOPS 281573 HAS SOUS 212699 HAS SOUPS 212699 WITH SCORE 212980.573
AT ITER 141 NEW BEST:: SOT 601567 SOS 280337 HAS SOPS 280337 HAS SOUS 209197 HAS SOUPS 209197 WITH SCORE 209477.337
AT ITER 149 NEW BEST:: SOT 601508 SOS 280616 HAS SOPS 280616 HAS SOUS 208915 HAS SOUPS 208915 WITH SCORE 209195.616
AT ITER 155 NEW BEST:: SOT 601435 SOS 280470 HAS SOPS 280470 HAS SOUS 208842 HAS SOUPS 208842 WITH SCORE 209122.47
AT ITER 158 NEW BEST:: SOT 601435 SOS 280003 HAS SOPS 280003 HAS SOUS 208454 HAS SOUPS 208454 WITH SCORE 208734.003
AT ITER 162 NEW BEST:: SOT 601343 SOS 279614 HAS SOPS 279614 HAS SOUS 208321 HAS SOUPS 208321 WITH SCORE 208600.614
AT ITER 163 NEW BEST:: SOT 601451 SOS 279338 HAS SOPS 279338 HAS SOUS 208236 HAS SOUPS 208236 WITH SCORE 208515.338
AT ITER 170 NEW BEST:: SOT 601451 SOS 279316 HAS SOPS 279316 HAS SOUS 208214 HAS SOUPS 208214 WITH SCORE 208493.316
AT ITER 173 NEW BEST:: SOT 601451 SOS 279316 HAS SOPS 279316 HAS SOUS 208212 HAS SOUPS 208212 WITH SCORE 208491.316
AT ITER 178 NEW BEST:: SOT 601451 SOS 279316 HAS SOPS 279316 HAS SOUS 208118 HAS SOUPS 208118 WITH SCORE 208397.316
AT ITER 186 NEW BEST:: SOT 601354 SOS 278928 HAS SOPS 278928 HAS SOUS 207827 HAS SOUPS 207827 WITH SCORE 208105.928
AT ITER 188 NEW BEST:: SOT 601208 SOS 278364 HAS SOPS 278364 HAS SOUS 207592 HAS SOUPS 207592 WITH SCORE 207870.364
AT ITER 193 NEW BEST:: SOT 601445 SOS 278194 HAS SOPS 278194 HAS SOUS 207578 HAS SOUPS 207578 WITH SCORE 207856.194
AT ITER 196 NEW BEST:: SOT 600577 SOS 282258 HAS SOPS 282258 HAS SOUS 206878 HAS SOUPS 206878 WITH SCORE 207160.258
AT ITER 199 NEW BEST:: SOT 600527 SOS 282158 HAS SOPS 282158 HAS SOUS 206778 HAS SOUPS 206778 WITH SCORE 207060.158
AT ITER 206 NEW BEST:: SOT 597907 SOS 285066 HAS SOPS 285066 HAS SOUS 204801 HAS SOUPS 204801 WITH SCORE 205086.066
AT ITER 209 NEW BEST:: SOT 597907 SOS 285048 HAS SOPS 285048 HAS SOUS 204801 HAS SOUPS 204801 WITH SCORE 205086.048
AT ITER 221 NEW BEST:: SOT 597907 SOS 285048 HAS SOPS 285048 HAS SOUS 204788 HAS SOUPS 204788 WITH SCORE 205073.048
AT ITER 223 NEW BEST:: SOT 597789 SOS 284924 HAS SOPS 284924 HAS SOUS 204664 HAS SOUPS 204664 WITH SCORE 204948.924
AT ITER 228 NEW BEST:: SOT 597529 SOS 284404 HAS SOPS 284404 HAS SOUS 204404 HAS SOUPS 204404 WITH SCORE 204688.404
AT ITER 229 NEW BEST:: SOT 597529 SOS 284333 HAS SOPS 284333 HAS SOUS 204333 HAS SOUPS 204333 WITH SCORE 204617.333
AT ITER 231 NEW BEST:: SOT 597529 SOS 284284 HAS SOPS 284284 HAS SOUS 204284 HAS SOUPS 204284 WITH SCORE 204568.284
AT ITER 232 NEW BEST:: SOT 597219 SOS 283958 HAS SOPS 283958 HAS SOUS 203974 HAS SOUPS 203974 WITH SCORE 204257.958
AT ITER 237 NEW BEST:: SOT 597156 SOS 283895 HAS SOPS 283895 HAS SOUS 203848 HAS SOUPS 203848 WITH SCORE 204131.895
AT ITER 238 NEW BEST:: SOT 597007 SOS 283737 HAS SOPS 283737 HAS SOUS 203831 HAS SOUPS 203831 WITH SCORE 204114.737
AT ITER 241 NEW BEST:: SOT 596924 SOS 283405 HAS SOPS 283405 HAS SOUS 203747 HAS SOUPS 203747 WITH SCORE 204030.405
AT ITER 243 NEW BEST:: SOT 596917 SOS 283391 HAS SOPS 283391 HAS SOUS 203740 HAS SOUPS 203740 WITH SCORE 204023.391
AT ITER 254 NEW BEST:: SOT 596917 SOS 283291 HAS SOPS 283291 HAS SOUS 203740 HAS SOUPS 203740 WITH SCORE 204023.291
AT ITER 260 NEW BEST:: SOT 596917 SOS 282921 HAS SOPS 282921 HAS SOUS 203114 HAS SOUPS 203114 WITH SCORE 203396.921
AT ITER 261 NEW BEST:: SOT 596857 SOS 282964 HAS SOPS 282964 HAS SOUS 203094 HAS SOUPS 203094 WITH SCORE 203376.964
AT ITER 264 NEW BEST:: SOT 596779 SOS 282867 HAS SOPS 282867 HAS SOUS 203034 HAS SOUPS 203034 WITH SCORE 203316.867
AT ITER 267 NEW BEST:: SOT 596779 SOS 282651 HAS SOPS 282651 HAS SOUS 202864 HAS SOUPS 202864 WITH SCORE 203146.651
AT ITER 268 NEW BEST:: SOT 597017 SOS 282549 HAS SOPS 282549 HAS SOUS 202845 HAS SOUPS 202845 WITH SCORE 203127.549
AT ITER 269 NEW BEST:: SOT 597017 SOS 282549 HAS SOPS 282549 HAS SOUS 202782 HAS SOUPS 202782 WITH SCORE 203064.549
AT ITER 271 NEW BEST:: SOT 596964 SOS 282443 HAS SOPS 282443 HAS SOUS 202676 HAS SOUPS 202676 WITH SCORE 202958.443
AT ITER 278 NEW BEST:: SOT 596924 SOS 281843 HAS SOPS 281843 HAS SOUS 202636 HAS SOUPS 202636 WITH SCORE 202917.843
AT ITER 280 NEW BEST:: SOT 596924 SOS 281843 HAS SOPS 281843 HAS SOUS 202634 HAS SOUPS 202634 WITH SCORE 202915.843
AT ITER 282 NEW BEST:: SOT 596863 SOS 281507 HAS SOPS 281507 HAS SOUS 202591 HAS SOUPS 202591 WITH SCORE 202872.507
AT ITER 284 NEW BEST:: SOT 596875 SOS 281531 HAS SOPS 281531 HAS SOUS 202184 HAS SOUPS 202184 WITH SCORE 202465.531
AT ITER 289 NEW BEST:: SOT 596855 SOS 281531 HAS SOPS 281531 HAS SOUS 202159 HAS SOUPS 202159 WITH SCORE 202440.531
AT ITER 294 NEW BEST:: SOT 596550 SOS 281678 HAS SOPS 281678 HAS SOUS 201874 HAS SOUPS 201874 WITH SCORE 202155.678
AT ITER 295 NEW BEST:: SOT 596393 SOS 281364 HAS SOPS 281364 HAS SOUS 201598 HAS SOUPS 201598 WITH SCORE 201879.364
AT ITER 297 NEW BEST:: SOT 594434 SOS 334695 HAS SOPS 334695 HAS SOUS 201050 HAS SOUPS 201050 WITH SCORE 201384.695
AT ITER 300 NEW BEST:: SOT 594377 SOS 334524 HAS SOPS 334524 HAS SOUS 200993 HAS SOUPS 200993 WITH SCORE 201327.524
AT ITER 303 NEW BEST:: SOT 594275 SOS 334422 HAS SOPS 334422 HAS SOUS 200891 HAS SOUPS 200891 WITH SCORE 201225.422
AT ITER 304 NEW BEST:: SOT 594268 SOS 334408 HAS SOPS 334408 HAS SOUS 200891 HAS SOUPS 200891 WITH SCORE 201225.408
AT ITER 307 NEW BEST:: SOT 594268 SOS 334408 HAS SOPS 334408 HAS SOUS 200811 HAS SOUPS 200811 WITH SCORE 201145.408
AT ITER 320 NEW BEST:: SOT 594268 SOS 334220 HAS SOPS 334220 HAS SOUS 200628 HAS SOUPS 200628 WITH SCORE 200962.22
AT ITER 325 NEW BEST:: SOT 594180 SOS 333488 HAS SOPS 333488 HAS SOUS 200474 HAS SOUPS 200474 WITH SCORE 200807.488
AT ITER 327 NEW BEST:: SOT 594306 SOS 333455 HAS SOPS 333455 HAS SOUS 200426 HAS SOUPS 200426 WITH SCORE 200759.455
AT ITER 330 NEW BEST:: SOT 594282 SOS 333487 HAS SOPS 333487 HAS SOUS 200372 HAS SOUPS 200372 WITH SCORE 200705.487
AT ITER 334 NEW BEST:: SOT 594280 SOS 333487 HAS SOPS 333487 HAS SOUS 200368 HAS SOUPS 200368 WITH SCORE 200701.487
AT ITER 338 NEW BEST:: SOT 594280 SOS 332991 HAS SOPS 332991 HAS SOUS 200368 HAS SOUPS 200368 WITH SCORE 200700.991
AT ITER 344 NEW BEST:: SOT 594074 SOS 332556 HAS SOPS 332556 HAS SOUS 199933 HAS SOUPS 199933 WITH SCORE 200265.556
AT ITER 361 NEW BEST:: SOT 593956 SOS 332438 HAS SOPS 332438 HAS SOUS 199638 HAS SOUPS 199638 WITH SCORE 199970.438
AT ITER 368 NEW BEST:: SOT 593782 SOS 332058 HAS SOPS 332058 HAS SOUS 199258 HAS SOUPS 199258 WITH SCORE 199590.058
AT ITER 370 NEW BEST:: SOT 593299 SOS 331597 HAS SOPS 331597 HAS SOUS 198629 HAS SOUPS 198629 WITH SCORE 198960.597
AT ITER 374 NEW BEST:: SOT 593280 SOS 331559 HAS SOPS 331559 HAS SOUS 198523 HAS SOUPS 198523 WITH SCORE 198854.559
AT ITER 380 NEW BEST:: SOT 593178 SOS 331433 HAS SOPS 331433 HAS SOUS 198397 HAS SOUPS 198397 WITH SCORE 198728.433
AT ITER 385 NEW BEST:: SOT 593179 SOS 331434 HAS SOPS 331434 HAS SOUS 198396 HAS SOUPS 198396 WITH SCORE 198727.434
AT ITER 386 NEW BEST:: SOT 593179 SOS 331177 HAS SOPS 331177 HAS SOUS 198139 HAS SOUPS 198139 WITH SCORE 198470.177
AT ITER 389 NEW BEST:: SOT 592835 SOS 329801 HAS SOPS 329801 HAS SOUS 197795 HAS SOUPS 197795 WITH SCORE 198124.801
AT ITER 393 NEW BEST:: SOT 592837 SOS 329635 HAS SOPS 329635 HAS SOUS 197646 HAS SOUPS 197646 WITH SCORE 197975.635
AT ITER 398 NEW BEST:: SOT 592358 SOS 328992 HAS SOPS 328992 HAS SOUS 197278 HAS SOUPS 197278 WITH SCORE 197606.992
AT ITER 399 NEW BEST:: SOT 592358 SOS 328768 HAS SOPS 328768 HAS SOUS 196578 HAS SOUPS 196578 WITH SCORE 196906.768
AT ITER 401 NEW BEST:: SOT 592245 SOS 328542 HAS SOPS 328542 HAS SOUS 196465 HAS SOUPS 196465 WITH SCORE 196793.542
AT ITER 408 NEW BEST:: SOT 592245 SOS 328542 HAS SOPS 328542 HAS SOUS 196438 HAS SOUPS 196438 WITH SCORE 196766.542
AT ITER 416 NEW BEST:: SOT 591735 SOS 327522 HAS SOPS 327522 HAS SOUS 196042 HAS SOUPS 196042 WITH SCORE 196369.522
AT ITER 418 NEW BEST:: SOT 591242 SOS 326146 HAS SOPS 326146 HAS SOUS 195509 HAS SOUPS 195509 WITH SCORE 195835.146
AT ITER 422 NEW BEST:: SOT 589485 SOS 328517 HAS SOPS 328517 HAS SOUS 193669 HAS SOUPS 193669 WITH SCORE 193997.517
AT ITER 427 NEW BEST:: SOT 589110 SOS 328215 HAS SOPS 328215 HAS SOUS 193381 HAS SOUPS 193381 WITH SCORE 193709.215
AT ITER 428 NEW BEST:: SOT 589110 SOS 328078 HAS SOPS 328078 HAS SOUS 193381 HAS SOUPS 193381 WITH SCORE 193709.078
AT ITER 430 NEW BEST:: SOT 589064 SOS 327849 HAS SOPS 327849 HAS SOUS 193305 HAS SOUPS 193305 WITH SCORE 193632.849
AT ITER 434 NEW BEST:: SOT 589074 SOS 327575 HAS SOPS 327575 HAS SOUS 193052 HAS SOUPS 193052 WITH SCORE 193379.575
AT ITER 437 NEW BEST:: SOT 589008 SOS 327509 HAS SOPS 327509 HAS SOUS 192996 HAS SOUPS 192996 WITH SCORE 193323.509
AT ITER 439 NEW BEST:: SOT 588982 SOS 327457 HAS SOPS 327457 HAS SOUS 192944 HAS SOUPS 192944 WITH SCORE 193271.457
AT ITER 444 NEW BEST:: SOT 588982 SOS 327381 HAS SOPS 327381 HAS SOUS 192757 HAS SOUPS 192757 WITH SCORE 193084.381
AT ITER 445 NEW BEST:: SOT 588208 SOS 326274 HAS SOPS 326274 HAS SOUS 192075 HAS SOUPS 192075 WITH SCORE 192401.274
AT ITER 458 NEW BEST:: SOT 588207 SOS 326026 HAS SOPS 326026 HAS SOUS 192072 HAS SOUPS 192072 WITH SCORE 192398.026
AT ITER 461 NEW BEST:: SOT 588255 SOS 325836 HAS SOPS 325836 HAS SOUS 191782 HAS SOUPS 191782 WITH SCORE 192107.836
AT ITER 464 NEW BEST:: SOT 587896 SOS 325203 HAS SOPS 325203 HAS SOUS 191423 HAS SOUPS 191423 WITH SCORE 191748.203
AT ITER 465 NEW BEST:: SOT 587120 SOS 324098 HAS SOPS 324098 HAS SOUS 190657 HAS SOUPS 190657 WITH SCORE 190981.098
AT ITER 473 NEW BEST:: SOT 583883 SOS 324616 HAS SOPS 324616 HAS SOUS 188731 HAS SOUPS 188731 WITH SCORE 189055.616
AT ITER 482 NEW BEST:: SOT 583883 SOS 324616 HAS SOPS 324616 HAS SOUS 188587 HAS SOUPS 188587 WITH SCORE 188911.616
AT ITER 486 NEW BEST:: SOT 583648 SOS 324146 HAS SOPS 324146 HAS SOUS 188550 HAS SOUPS 188550 WITH SCORE 188874.146
AT ITER 490 NEW BEST:: SOT 583464 SOS 323778 HAS SOPS 323778 HAS SOUS 188463 HAS SOUPS 188463 WITH SCORE 188786.778
AT ITER 504 NEW BEST:: SOT 583337 SOS 323434 HAS SOPS 323434 HAS SOUS 188393 HAS SOUPS 188393 WITH SCORE 188716.434
AT ITER 513 NEW BEST:: SOT 583232 SOS 323379 HAS SOPS 323379 HAS SOUS 188387 HAS SOUPS 188387 WITH SCORE 188710.379
AT ITER 514 NEW BEST:: SOT 583168 SOS 323187 HAS SOPS 323187 HAS SOUS 188259 HAS SOUPS 188259 WITH SCORE 188582.187
AT ITER 516 NEW BEST:: SOT 583168 SOS 323169 HAS SOPS 323169 HAS SOUS 188241 HAS SOUPS 188241 WITH SCORE 188564.169
AT ITER 521 NEW BEST:: SOT 583065 SOS 322963 HAS SOPS 322963 HAS SOUS 188035 HAS SOUPS 188035 WITH SCORE 188357.963
AT ITER 524 NEW BEST:: SOT 582930 SOS 322711 HAS SOPS 322711 HAS SOUS 187785 HAS SOUPS 187785 WITH SCORE 188107.711
AT ITER 525 NEW BEST:: SOT 582668 SOS 322328 HAS SOPS 322328 HAS SOUS 187523 HAS SOUPS 187523 WITH SCORE 187845.328
AT ITER 527 NEW BEST:: SOT 582668 SOS 322252 HAS SOPS 322252 HAS SOUS 187447 HAS SOUPS 187447 WITH SCORE 187769.252
AT ITER 530 NEW BEST:: SOT 582668 SOS 322252 HAS SOPS 322252 HAS SOUS 187429 HAS SOUPS 187429 WITH SCORE 187751.252
AT ITER 544 NEW BEST:: SOT 582699 SOS 321794 HAS SOPS 321794 HAS SOUS 187350 HAS SOUPS 187350 WITH SCORE 187671.794
AT ITER 548 NEW BEST:: SOT 582132 SOS 326045 HAS SOPS 326045 HAS SOUS 187121 HAS SOUPS 187121 WITH SCORE 187447.045
AT ITER 549 NEW BEST:: SOT 582132 SOS 325670 HAS SOPS 325670 HAS SOUS 186905 HAS SOUPS 186905 WITH SCORE 187230.67
AT ITER 552 NEW BEST:: SOT 581861 SOS 325399 HAS SOPS 325399 HAS SOUS 186665 HAS SOUPS 186665 WITH SCORE 186990.399
AT ITER 554 NEW BEST:: SOT 581747 SOS 325285 HAS SOPS 325285 HAS SOUS 186665 HAS SOUPS 186665 WITH SCORE 186990.285
AT ITER 557 NEW BEST:: SOT 581569 SOS 324929 HAS SOPS 324929 HAS SOUS 186475 HAS SOUPS 186475 WITH SCORE 186799.929
AT ITER 559 NEW BEST:: SOT 581569 SOS 324883 HAS SOPS 324883 HAS SOUS 186327 HAS SOUPS 186327 WITH SCORE 186651.883
AT ITER 564 NEW BEST:: SOT 581451 SOS 324701 HAS SOPS 324701 HAS SOUS 186263 HAS SOUPS 186263 WITH SCORE 186587.701
AT ITER 565 NEW BEST:: SOT 581352 SOS 324602 HAS SOPS 324602 HAS SOUS 186164 HAS SOUPS 186164 WITH SCORE 186488.602
AT ITER 566 NEW BEST:: SOT 581352 SOS 324524 HAS SOPS 324524 HAS SOUS 186163 HAS SOUPS 186163 WITH SCORE 186487.524
AT ITER 568 NEW BEST:: SOT 581352 SOS 324522 HAS SOPS 324522 HAS SOUS 186163 HAS SOUPS 186163 WITH SCORE 186487.522
AT ITER 571 NEW BEST:: SOT 581352 SOS 324423 HAS SOPS 324423 HAS SOUS 186163 HAS SOUPS 186163 WITH SCORE 186487.423
AT ITER 572 NEW BEST:: SOT 580783 SOS 322716 HAS SOPS 322716 HAS SOUS 185594 HAS SOUPS 185594 WITH SCORE 185916.716
AT ITER 577 NEW BEST:: SOT 580818 SOS 322733 HAS SOPS 322733 HAS SOUS 185593 HAS SOUPS 185593 WITH SCORE 185915.733
AT ITER 578 NEW BEST:: SOT 580698 SOS 322613 HAS SOPS 322613 HAS SOUS 185508 HAS SOUPS 185508 WITH SCORE 185830.613
AT ITER 585 NEW BEST:: SOT 580591 SOS 322399 HAS SOPS 322399 HAS SOUS 185418 HAS SOUPS 185418 WITH SCORE 185740.399
AT ITER 587 NEW BEST:: SOT 580509 SOS 322317 HAS SOPS 322317 HAS SOUS 185336 HAS SOUPS 185336 WITH SCORE 185658.317
AT ITER 592 NEW BEST:: SOT 580509 SOS 322317 HAS SOPS 322317 HAS SOUS 185322 HAS SOUPS 185322 WITH SCORE 185644.317
AT ITER 593 NEW BEST:: SOT 580346 SOS 321676 HAS SOPS 321676 HAS SOUS 184844 HAS SOUPS 184844 WITH SCORE 185165.676
AT ITER 602 NEW BEST:: SOT 578062 SOS 320216 HAS SOPS 320216 HAS SOUS 182863 HAS SOUPS 182863 WITH SCORE 183183.216
AT ITER 603 NEW BEST:: SOT 578084 SOS 320088 HAS SOPS 320088 HAS SOUS 182712 HAS SOUPS 182712 WITH SCORE 183032.088
AT ITER 611 NEW BEST:: SOT 577718 SOS 319270 HAS SOPS 319270 HAS SOUS 182120 HAS SOUPS 182120 WITH SCORE 182439.27
AT ITER 613 NEW BEST:: SOT 577275 SOS 318384 HAS SOPS 318384 HAS SOUS 181216 HAS SOUPS 181216 WITH SCORE 181534.384
AT ITER 615 NEW BEST:: SOT 577367 SOS 318370 HAS SOPS 318370 HAS SOUS 181110 HAS SOUPS 181110 WITH SCORE 181428.37
AT ITER 624 NEW BEST:: SOT 577093 SOS 318096 HAS SOPS 318096 HAS SOUS 181014 HAS SOUPS 181014 WITH SCORE 181332.096
AT ITER 626 NEW BEST:: SOT 577097 SOS 318082 HAS SOPS 318082 HAS SOUS 180907 HAS SOUPS 180907 WITH SCORE 181225.082
AT ITER 631 NEW BEST:: SOT 576958 SOS 317665 HAS SOPS 317665 HAS SOUS 180629 HAS SOUPS 180629 WITH SCORE 180946.665
AT ITER 636 NEW BEST:: SOT 576950 SOS 317657 HAS SOPS 317657 HAS SOUS 180621 HAS SOUPS 180621 WITH SCORE 180938.657
AT ITER 641 NEW BEST:: SOT 576866 SOS 316964 HAS SOPS 316964 HAS SOUS 180528 HAS SOUPS 180528 WITH SCORE 180844.964
AT ITER 646 NEW BEST:: SOT 576812 SOS 316910 HAS SOPS 316910 HAS SOUS 180457 HAS SOUPS 180457 WITH SCORE 180773.91
AT ITER 653 NEW BEST:: SOT 576776 SOS 316838 HAS SOPS 316838 HAS SOUS 180371 HAS SOUPS 180371 WITH SCORE 180687.838
AT ITER 683 NEW BEST:: SOT 576776 SOS 316838 HAS SOPS 316838 HAS SOUS 180257 HAS SOUPS 180257 WITH SCORE 180573.838
AT ITER 684 NEW BEST:: SOT 576575 SOS 316637 HAS SOPS 316637 HAS SOUS 180183 HAS SOUPS 180183 WITH SCORE 180499.637
AT ITER 690 NEW BEST:: SOT 576263 SOS 316013 HAS SOPS 316013 HAS SOUS 179633 HAS SOUPS 179633 WITH SCORE 179949.013
AT ITER 694 NEW BEST:: SOT 576310 SOS 315711 HAS SOPS 315711 HAS SOUS 179483 HAS SOUPS 179483 WITH SCORE 179798.711
AT ITER 698 NEW BEST:: SOT 576310 SOS 315638 HAS SOPS 315638 HAS SOUS 179337 HAS SOUPS 179337 WITH SCORE 179652.638
AT ITER 700 NEW BEST:: SOT 576310 SOS 315638 HAS SOPS 315638 HAS SOUS 179336 HAS SOUPS 179336 WITH SCORE 179651.638
AT ITER 701 NEW BEST:: SOT 576310 SOS 315638 HAS SOPS 315638 HAS SOUS 179302 HAS SOUPS 179302 WITH SCORE 179617.638
AT ITER 705 NEW BEST:: SOT 576309 SOS 315580 HAS SOPS 315580 HAS SOUS 179301 HAS SOUPS 179301 WITH SCORE 179616.58
AT ITER 708 NEW BEST:: SOT 576309 SOS 315466 HAS SOPS 315466 HAS SOUS 179187 HAS SOUPS 179187 WITH SCORE 179502.466
AT ITER 709 NEW BEST:: SOT 575878 SOS 314896 HAS SOPS 314896 HAS SOUS 179043 HAS SOUPS 179043 WITH SCORE 179357.896
AT ITER 710 NEW BEST:: SOT 575878 SOS 314784 HAS SOPS 314784 HAS SOUS 178987 HAS SOUPS 178987 WITH SCORE 179301.784
AT ITER 716 NEW BEST:: SOT 575661 SOS 314567 HAS SOPS 314567 HAS SOUS 178819 HAS SOUPS 178819 WITH SCORE 179133.567
AT ITER 717 NEW BEST:: SOT 575661 SOS 314492 HAS SOPS 314492 HAS SOUS 178815 HAS SOUPS 178815 WITH SCORE 179129.492
AT ITER 718 NEW BEST:: SOT 575692 SOS 314301 HAS SOPS 314301 HAS SOUS 178678 HAS SOUPS 178678 WITH SCORE 178992.301
AT ITER 719 NEW BEST:: SOT 575686 SOS 314250 HAS SOPS 314250 HAS SOUS 178669 HAS SOUPS 178669 WITH SCORE 178983.25
AT ITER 722 NEW BEST:: SOT 575505 SOS 314069 HAS SOPS 314069 HAS SOUS 178669 HAS SOUPS 178669 WITH SCORE 178983.069
AT ITER 728 NEW BEST:: SOT 575419 SOS 314223 HAS SOPS 314223 HAS SOUS 178662 HAS SOUPS 178662 WITH SCORE 178976.223
AT ITER 729 NEW BEST:: SOT 575419 SOS 314085 HAS SOPS 314085 HAS SOUS 178662 HAS SOUPS 178662 WITH SCORE 178976.085
AT ITER 732 NEW BEST:: SOT 575419 SOS 314085 HAS SOPS 314085 HAS SOUS 178661 HAS SOUPS 178661 WITH SCORE 178975.085
AT ITER 739 NEW BEST:: SOT 575401 SOS 314067 HAS SOPS 314067 HAS SOUS 178642 HAS SOUPS 178642 WITH SCORE 178956.067
AT ITER 743 NEW BEST:: SOT 575319 SOS 313985 HAS SOPS 313985 HAS SOUS 178575 HAS SOUPS 178575 WITH SCORE 178888.985
AT ITER 745 NEW BEST:: SOT 575319 SOS 314083 HAS SOPS 314083 HAS SOUS 178477 HAS SOUPS 178477 WITH SCORE 178791.083
AT ITER 750 NEW BEST:: SOT 575304 SOS 314038 HAS SOPS 314038 HAS SOUS 178446 HAS SOUPS 178446 WITH SCORE 178760.038
AT ITER 755 NEW BEST:: SOT 575060 SOS 313794 HAS SOPS 313794 HAS SOUS 178336 HAS SOUPS 178336 WITH SCORE 178649.794
AT ITER 757 NEW BEST:: SOT 574338 SOS 313240 HAS SOPS 313240 HAS SOUS 177742 HAS SOUPS 177742 WITH SCORE 178055.24
AT ITER 758 NEW BEST:: SOT 574143 SOS 312198 HAS SOPS 312198 HAS SOUS 177189 HAS SOUPS 177189 WITH SCORE 177501.198
AT ITER 760 NEW BEST:: SOT 574081 SOS 312074 HAS SOPS 312074 HAS SOUS 177065 HAS SOUPS 177065 WITH SCORE 177377.074
AT ITER 764 NEW BEST:: SOT 573937 SOS 311854 HAS SOPS 311854 HAS SOUS 176842 HAS SOUPS 176842 WITH SCORE 177153.854
AT ITER 766 NEW BEST:: SOT 573819 SOS 311854 HAS SOPS 311854 HAS SOUS 176775 HAS SOUPS 176775 WITH SCORE 177086.854
AT ITER 769 NEW BEST:: SOT 573885 SOS 311278 HAS SOPS 311278 HAS SOUS 176565 HAS SOUPS 176565 WITH SCORE 176876.278
AT ITER 771 NEW BEST:: SOT 573814 SOS 310994 HAS SOPS 310994 HAS SOUS 176423 HAS SOUPS 176423 WITH SCORE 176733.994
AT ITER 778 NEW BEST:: SOT 573711 SOS 310766 HAS SOPS 310766 HAS SOUS 176368 HAS SOUPS 176368 WITH SCORE 176678.766
AT ITER 780 NEW BEST:: SOT 573645 SOS 310715 HAS SOPS 310715 HAS SOUS 176249 HAS SOUPS 176249 WITH SCORE 176559.715
AT ITER 783 NEW BEST:: SOT 573420 SOS 310490 HAS SOPS 310490 HAS SOUS 176036 HAS SOUPS 176036 WITH SCORE 176346.49
AT ITER 789 NEW BEST:: SOT 573572 SOS 310671 HAS SOPS 310671 HAS SOUS 175996 HAS SOUPS 175996 WITH SCORE 176306.671
AT ITER 791 NEW BEST:: SOT 573572 SOS 310403 HAS SOPS 310403 HAS SOUS 175460 HAS SOUPS 175460 WITH SCORE 175770.403
AT ITER 792 NEW BEST:: SOT 573433 SOS 309934 HAS SOPS 309934 HAS SOUS 174761 HAS SOUPS 174761 WITH SCORE 175070.934
AT ITER 795 NEW BEST:: SOT 573475 SOS 309504 HAS SOPS 309504 HAS SOUS 174547 HAS SOUPS 174547 WITH SCORE 174856.504
AT ITER 796 NEW BEST:: SOT 573410 SOS 309244 HAS SOPS 309244 HAS SOUS 174417 HAS SOUPS 174417 WITH SCORE 174726.244
AT ITER 797 NEW BEST:: SOT 573293 SOS 308835 HAS SOPS 308835 HAS SOUS 174287 HAS SOUPS 174287 WITH SCORE 174595.835
AT ITER 798 NEW BEST:: SOT 573232 SOS 308774 HAS SOPS 308774 HAS SOUS 174226 HAS SOUPS 174226 WITH SCORE 174534.774
AT ITER 810 NEW BEST:: SOT 573166 SOS 308536 HAS SOPS 308536 HAS SOUS 174160 HAS SOUPS 174160 WITH SCORE 174468.536
AT ITER 811 NEW BEST:: SOT 573177 SOS 308547 HAS SOPS 308547 HAS SOUS 174009 HAS SOUPS 174009 WITH SCORE 174317.547
AT ITER 814 NEW BEST:: SOT 573177 SOS 308554 HAS SOPS 308554 HAS SOUS 173925 HAS SOUPS 173925 WITH SCORE 174233.554
AT ITER 819 NEW BEST:: SOT 573170 SOS 308800 HAS SOPS 308800 HAS SOUS 173918 HAS SOUPS 173918 WITH SCORE 174226.8
AT ITER 823 NEW BEST:: SOT 573169 SOS 308747 HAS SOPS 308747 HAS SOUS 173917 HAS SOUPS 173917 WITH SCORE 174225.747
AT ITER 826 NEW BEST:: SOT 573195 SOS 308776 HAS SOPS 308776 HAS SOUS 173866 HAS SOUPS 173866 WITH SCORE 174174.776
AT ITER 830 NEW BEST:: SOT 573128 SOS 308575 HAS SOPS 308575 HAS SOUS 173798 HAS SOUPS 173798 WITH SCORE 174106.575
AT ITER 831 NEW BEST:: SOT 572788 SOS 308235 HAS SOPS 308235 HAS SOUS 173560 HAS SOUPS 173560 WITH SCORE 173868.235
AT ITER 834 NEW BEST:: SOT 572686 SOS 308303 HAS SOPS 308303 HAS SOUS 173493 HAS SOUPS 173493 WITH SCORE 173801.303
AT ITER 838 NEW BEST:: SOT 572219 SOS 308162 HAS SOPS 308162 HAS SOUS 173111 HAS SOUPS 173111 WITH SCORE 173419.162
AT ITER 840 NEW BEST:: SOT 572087 SOS 308194 HAS SOPS 308194 HAS SOUS 172957 HAS SOUPS 172957 WITH SCORE 173265.194
AT ITER 848 NEW BEST:: SOT 572005 SOS 307852 HAS SOPS 307852 HAS SOUS 172804 HAS SOUPS 172804 WITH SCORE 173111.852
AT ITER 851 NEW BEST:: SOT 571986 SOS 307833 HAS SOPS 307833 HAS SOUS 172766 HAS SOUPS 172766 WITH SCORE 173073.833
AT ITER 865 NEW BEST:: SOT 572017 SOS 307895 HAS SOPS 307895 HAS SOUS 172761 HAS SOUPS 172761 WITH SCORE 173068.895
AT ITER 871 NEW BEST:: SOT 571805 SOS 307517 HAS SOPS 307517 HAS SOUS 172549 HAS SOUPS 172549 WITH SCORE 172856.517
AT ITER 872 NEW BEST:: SOT 571741 SOS 307390 HAS SOPS 307390 HAS SOUS 172485 HAS SOUPS 172485 WITH SCORE 172792.39
AT ITER 874 NEW BEST:: SOT 571469 SOS 307118 HAS SOPS 307118 HAS SOUS 172213 HAS SOUPS 172213 WITH SCORE 172520.118
AT ITER 875 NEW BEST:: SOT 571005 SOS 306478 HAS SOPS 306478 HAS SOUS 171927 HAS SOUPS 171927 WITH SCORE 172233.478
AT ITER 876 NEW BEST:: SOT 570376 SOS 305460 HAS SOPS 305460 HAS SOUS 171244 HAS SOUPS 171244 WITH SCORE 171549.46
AT ITER 877 NEW BEST:: SOT 570225 SOS 305309 HAS SOPS 305309 HAS SOUS 171093 HAS SOUPS 171093 WITH SCORE 171398.309
AT ITER 881 NEW BEST:: SOT 570117 SOS 305093 HAS SOPS 305093 HAS SOUS 170877 HAS SOUPS 170877 WITH SCORE 171182.093
AT ITER 886 NEW BEST:: SOT 570102 SOS 305078 HAS SOPS 305078 HAS SOUS 170875 HAS SOUPS 170875 WITH SCORE 171180.078
AT ITER 888 NEW BEST:: SOT 570034 SOS 305010 HAS SOPS 305010 HAS SOUS 170807 HAS SOUPS 170807 WITH SCORE 171112.01
AT ITER 890 NEW BEST:: SOT 569971 SOS 304884 HAS SOPS 304884 HAS SOUS 170802 HAS SOUPS 170802 WITH SCORE 171106.884
AT ITER 897 NEW BEST:: SOT 569866 SOS 304779 HAS SOPS 304779 HAS SOUS 170697 HAS SOUPS 170697 WITH SCORE 171001.779
AT ITER 898 NEW BEST:: SOT 569761 SOS 304640 HAS SOPS 304640 HAS SOUS 170518 HAS SOUPS 170518 WITH SCORE 170822.64
AT ITER 900 NEW BEST:: SOT 569330 SOS 304209 HAS SOPS 304209 HAS SOUS 170518 HAS SOUPS 170518 WITH SCORE 170822.209
AT ITER 905 NEW BEST:: SOT 569459 SOS 304572 HAS SOPS 304572 HAS SOUS 170479 HAS SOUPS 170479 WITH SCORE 170783.572
AT ITER 909 NEW BEST:: SOT 569459 SOS 304528 HAS SOPS 304528 HAS SOUS 170394 HAS SOUPS 170394 WITH SCORE 170698.528
AT ITER 912 NEW BEST:: SOT 567818 SOS 311621 HAS SOPS 311621 HAS SOUS 169385 HAS SOUPS 169385 WITH SCORE 169696.621
AT ITER 919 NEW BEST:: SOT 568096 SOS 311765 HAS SOPS 311765 HAS SOUS 169164 HAS SOUPS 169164 WITH SCORE 169475.765
AT ITER 920 NEW BEST:: SOT 568142 SOS 311950 HAS SOPS 311950 HAS SOUS 169163 HAS SOUPS 169163 WITH SCORE 169474.95
AT ITER 926 NEW BEST:: SOT 568078 SOS 311757 HAS SOPS 311757 HAS SOUS 169034 HAS SOUPS 169034 WITH SCORE 169345.757
AT ITER 930 NEW BEST:: SOT 567799 SOS 310970 HAS SOPS 310970 HAS SOUS 168478 HAS SOUPS 168478 WITH SCORE 168788.97
AT ITER 941 NEW BEST:: SOT 567526 SOS 310697 HAS SOPS 310697 HAS SOUS 168478 HAS SOUPS 168478 WITH SCORE 168788.697
AT ITER 948 NEW BEST:: SOT 567526 SOS 310697 HAS SOPS 310697 HAS SOUS 168477 HAS SOUPS 168477 WITH SCORE 168787.697
AT ITER 960 NEW BEST:: SOT 567393 SOS 310423 HAS SOPS 310423 HAS SOUS 168344 HAS SOUPS 168344 WITH SCORE 168654.423
AT ITER 963 NEW BEST:: SOT 567393 SOS 310423 HAS SOPS 310423 HAS SOUS 168142 HAS SOUPS 168142 WITH SCORE 168452.423
AT ITER 966 NEW BEST:: SOT 567307 SOS 310380 HAS SOPS 310380 HAS SOUS 168138 HAS SOUPS 168138 WITH SCORE 168448.38
AT ITER 967 NEW BEST:: SOT 567145 SOS 310056 HAS SOPS 310056 HAS SOUS 168036 HAS SOUPS 168036 WITH SCORE 168346.056
AT ITER 968 NEW BEST:: SOT 567051 SOS 309868 HAS SOPS 309868 HAS SOUS 167922 HAS SOUPS 167922 WITH SCORE 168231.868
AT ITER 973 NEW BEST:: SOT 567421 SOS 310153 HAS SOPS 310153 HAS SOUS 167779 HAS SOUPS 167779 WITH SCORE 168089.153
AT ITER 980 NEW BEST:: SOT 567464 SOS 309743 HAS SOPS 309743 HAS SOUS 167589 HAS SOUPS 167589 WITH SCORE 167898.743
AT ITER 993 NEW BEST:: SOT 567319 SOS 309479 HAS SOPS 309479 HAS SOUS 167217 HAS SOUPS 167217 WITH SCORE 167526.479
AT ITER 996 NEW BEST:: SOT 567158 SOS 308835 HAS SOPS 308835 HAS SOUS 166734 HAS SOUPS 166734 WITH SCORE 167042.835
AT ITER 997 NEW BEST:: SOT 565890 SOS 313992 HAS SOPS 313992 HAS SOUS 166435 HAS SOUPS 166435 WITH SCORE 166748.992
AT ITER 998 NEW BEST:: SOT 566010 SOS 314026 HAS SOPS 314026 HAS SOUS 166384 HAS SOUPS 166384 WITH SCORE 166698.026
AT ITER 1004 NEW BEST:: SOT 566010 SOS 313985 HAS SOPS 313985 HAS SOUS 166313 HAS SOUPS 166313 WITH SCORE 166626.985
AT ITER 1006 NEW BEST:: SOT 566010 SOS 313985 HAS SOPS 313985 HAS SOUS 166306 HAS SOUPS 166306 WITH SCORE 166619.985
AT ITER 1010 NEW BEST:: SOT 565874 SOS 313849 HAS SOPS 313849 HAS SOUS 166170 HAS SOUPS 166170 WITH SCORE 166483.849
AT ITER 1013 NEW BEST:: SOT 565535 SOS 313171 HAS SOPS 313171 HAS SOUS 165940 HAS SOUPS 165940 WITH SCORE 166253.171
AT ITER 1019 NEW BEST:: SOT 565485 SOS 313046 HAS SOPS 313046 HAS SOUS 165865 HAS SOUPS 165865 WITH SCORE 166178.046
AT ITER 1022 NEW BEST:: SOT 565625 SOS 313184 HAS SOPS 313184 HAS SOUS 165863 HAS SOUPS 165863 WITH SCORE 166176.184
AT ITER 1023 NEW BEST:: SOT 565186 SOS 312745 HAS SOPS 312745 HAS SOUS 165761 HAS SOUPS 165761 WITH SCORE 166073.745
AT ITER 1027 NEW BEST:: SOT 565050 SOS 312609 HAS SOPS 312609 HAS SOUS 165641 HAS SOUPS 165641 WITH SCORE 165953.609
AT ITER 1032 NEW BEST:: SOT 564975 SOS 312303 HAS SOPS 312303 HAS SOUS 165566 HAS SOUPS 165566 WITH SCORE 165878.303
AT ITER 1033 NEW BEST:: SOT 564975 SOS 312303 HAS SOPS 312303 HAS SOUS 165470 HAS SOUPS 165470 WITH SCORE 165782.303
AT ITER 1044 NEW BEST:: SOT 564988 SOS 312097 HAS SOPS 312097 HAS SOUS 165351 HAS SOUPS 165351 WITH SCORE 165663.097
AT ITER 1064 NEW BEST:: SOT 564792 SOS 311703 HAS SOPS 311703 HAS SOUS 164976 HAS SOUPS 164976 WITH SCORE 165287.703
AT ITER 1071 NEW BEST:: SOT 564555 SOS 311022 HAS SOPS 311022 HAS SOUS 164568 HAS SOUPS 164568 WITH SCORE 164879.022
AT ITER 1072 NEW BEST:: SOT 564555 SOS 311148 HAS SOPS 311148 HAS SOUS 164421 HAS SOUPS 164421 WITH SCORE 164732.148
AT ITER 1073 NEW BEST:: SOT 564568 SOS 311388 HAS SOPS 311388 HAS SOUS 164373 HAS SOUPS 164373 WITH SCORE 164684.388
AT ITER 1074 NEW BEST:: SOT 564568 SOS 311224 HAS SOPS 311224 HAS SOUS 164312 HAS SOUPS 164312 WITH SCORE 164623.224
AT ITER 1086 NEW BEST:: SOT 564387 SOS 310229 HAS SOPS 310229 HAS SOUS 164050 HAS SOUPS 164050 WITH SCORE 164360.229
AT ITER 1092 NEW BEST:: SOT 563885 SOS 310025 HAS SOPS 310025 HAS SOUS 163846 HAS SOUPS 163846 WITH SCORE 164156.025
AT ITER 1093 NEW BEST:: SOT 563875 SOS 310005 HAS SOPS 310005 HAS SOUS 163826 HAS SOUPS 163826 WITH SCORE 164136.005
AT ITER 1094 NEW BEST:: SOT 564373 SOS 310385 HAS SOPS 310385 HAS SOUS 163685 HAS SOUPS 163685 WITH SCORE 163995.385
AT ITER 1096 NEW BEST:: SOT 564254 SOS 309441 HAS SOPS 309441 HAS SOUS 163207 HAS SOUPS 163207 WITH SCORE 163516.441
AT ITER 1101 NEW BEST:: SOT 564254 SOS 308397 HAS SOPS 308397 HAS SOUS 163178 HAS SOUPS 163178 WITH SCORE 163486.397
AT ITER 1104 NEW BEST:: SOT 564254 SOS 308218 HAS SOPS 308218 HAS SOUS 162820 HAS SOUPS 162820 WITH SCORE 163128.218
AT ITER 1114 NEW BEST:: SOT 563633 SOS 307938 HAS SOPS 307938 HAS SOUS 162430 HAS SOUPS 162430 WITH SCORE 162737.938
AT ITER 1117 NEW BEST:: SOT 563625 SOS 307928 HAS SOPS 307928 HAS SOUS 162428 HAS SOUPS 162428 WITH SCORE 162735.928
AT ITER 1121 NEW BEST:: SOT 562166 SOS 309154 HAS SOPS 309154 HAS SOUS 161968 HAS SOUPS 161968 WITH SCORE 162277.154
AT ITER 1123 NEW BEST:: SOT 562147 SOS 309135 HAS SOPS 309135 HAS SOUS 161949 HAS SOUPS 161949 WITH SCORE 162258.135
AT ITER 1124 NEW BEST:: SOT 562147 SOS 309135 HAS SOPS 309135 HAS SOUS 161944 HAS SOUPS 161944 WITH SCORE 162253.135
AT ITER 1130 NEW BEST:: SOT 562113 SOS 309101 HAS SOPS 309101 HAS SOUS 161876 HAS SOUPS 161876 WITH SCORE 162185.101
AT ITER 1133 NEW BEST:: SOT 562043 SOS 309061 HAS SOPS 309061 HAS SOUS 161641 HAS SOUPS 161641 WITH SCORE 161950.061
AT ITER 1134 NEW BEST:: SOT 561993 SOS 309295 HAS SOPS 309295 HAS SOUS 161581 HAS SOUPS 161581 WITH SCORE 161890.295
AT ITER 1141 NEW BEST:: SOT 562073 SOS 309421 HAS SOPS 309421 HAS SOUS 161304 HAS SOUPS 161304 WITH SCORE 161613.421
AT ITER 1142 NEW BEST:: SOT 562011 SOS 309297 HAS SOPS 309297 HAS SOUS 161242 HAS SOUPS 161242 WITH SCORE 161551.297
AT ITER 1143 NEW BEST:: SOT 561936 SOS 309222 HAS SOPS 309222 HAS SOUS 161191 HAS SOUPS 161191 WITH SCORE 161500.222
AT ITER 1147 NEW BEST:: SOT 561935 SOS 309221 HAS SOPS 309221 HAS SOUS 161148 HAS SOUPS 161148 WITH SCORE 161457.221
AT ITER 1154 NEW BEST:: SOT 561686 SOS 308474 HAS SOPS 308474 HAS SOUS 160650 HAS SOUPS 160650 WITH SCORE 160958.474
AT ITER 1159 NEW BEST:: SOT 561670 SOS 308416 HAS SOPS 308416 HAS SOUS 160634 HAS SOUPS 160634 WITH SCORE 160942.416
AT ITER 1165 NEW BEST:: SOT 561764 SOS 308322 HAS SOPS 308322 HAS SOUS 160620 HAS SOUPS 160620 WITH SCORE 160928.322
AT ITER 1178 NEW BEST:: SOT 561764 SOS 308322 HAS SOPS 308322 HAS SOUS 160592 HAS SOUPS 160592 WITH SCORE 160900.322
AT ITER 1179 NEW BEST:: SOT 561754 SOS 308310 HAS SOPS 308310 HAS SOUS 160428 HAS SOUPS 160428 WITH SCORE 160736.31
AT ITER 1180 NEW BEST:: SOT 561378 SOS 307558 HAS SOPS 307558 HAS SOUS 159826 HAS SOUPS 159826 WITH SCORE 160133.558
AT ITER 1183 NEW BEST:: SOT 561378 SOS 307558 HAS SOPS 307558 HAS SOUS 159649 HAS SOUPS 159649 WITH SCORE 159956.558
AT ITER 1197 NEW BEST:: SOT 561285 SOS 307465 HAS SOPS 307465 HAS SOUS 159640 HAS SOUPS 159640 WITH SCORE 159947.465
AT ITER 1198 NEW BEST:: SOT 561285 SOS 307356 HAS SOPS 307356 HAS SOUS 159619 HAS SOUPS 159619 WITH SCORE 159926.356
AT ITER 1200 NEW BEST:: SOT 561451 SOS 307257 HAS SOPS 307257 HAS SOUS 159081 HAS SOUPS 159081 WITH SCORE 159388.257
AT ITER 1202 NEW BEST:: SOT 561400 SOS 307275 HAS SOPS 307275 HAS SOUS 159002 HAS SOUPS 159002 WITH SCORE 159309.275
AT ITER 1217 NEW BEST:: SOT 561223 SOS 307243 HAS SOPS 307243 HAS SOUS 158809 HAS SOUPS 158809 WITH SCORE 159116.243
AT ITER 1219 NEW BEST:: SOT 561357 SOS 307256 HAS SOPS 307256 HAS SOUS 158794 HAS SOUPS 158794 WITH SCORE 159101.256
AT ITER 1225 NEW BEST:: SOT 561286 SOS 307114 HAS SOPS 307114 HAS SOUS 158730 HAS SOUPS 158730 WITH SCORE 159037.114
AT ITER 1229 NEW BEST:: SOT 561374 SOS 307470 HAS SOPS 307470 HAS SOUS 158726 HAS SOUPS 158726 WITH SCORE 159033.47
AT ITER 1233 NEW BEST:: SOT 561360 SOS 307456 HAS SOPS 307456 HAS SOUS 158726 HAS SOUPS 158726 WITH SCORE 159033.456
AT ITER 1243 NEW BEST:: SOT 561317 SOS 307361 HAS SOPS 307361 HAS SOUS 158683 HAS SOUPS 158683 WITH SCORE 158990.361
AT ITER 1246 NEW BEST:: SOT 561283 SOS 307259 HAS SOPS 307259 HAS SOUS 158615 HAS SOUPS 158615 WITH SCORE 158922.259
AT ITER 1252 NEW BEST:: SOT 560563 SOS 306447 HAS SOPS 306447 HAS SOUS 158308 HAS SOUPS 158308 WITH SCORE 158614.447
AT ITER 1256 NEW BEST:: SOT 560563 SOS 306149 HAS SOPS 306149 HAS SOUS 158014 HAS SOUPS 158014 WITH SCORE 158320.149
AT ITER 1257 NEW BEST:: SOT 560252 SOS 305819 HAS SOPS 305819 HAS SOUS 157793 HAS SOUPS 157793 WITH SCORE 158098.819
AT ITER 1258 NEW BEST:: SOT 560252 SOS 305727 HAS SOPS 305727 HAS SOUS 157684 HAS SOUPS 157684 WITH SCORE 157989.727
AT ITER 1265 NEW BEST:: SOT 560168 SOS 305491 HAS SOPS 305491 HAS SOUS 157616 HAS SOUPS 157616 WITH SCORE 157921.491
AT ITER 1269 NEW BEST:: SOT 560199 SOS 305509 HAS SOPS 305509 HAS SOUS 157590 HAS SOUPS 157590 WITH SCORE 157895.509
AT ITER 1284 NEW BEST:: SOT 560199 SOS 305270 HAS SOPS 305270 HAS SOUS 157351 HAS SOUPS 157351 WITH SCORE 157656.27
AT ITER 1291 NEW BEST:: SOT 560199 SOS 305144 HAS SOPS 305144 HAS SOUS 157330 HAS SOUPS 157330 WITH SCORE 157635.144
AT ITER 1308 NEW BEST:: SOT 560127 SOS 305000 HAS SOPS 305000 HAS SOUS 157142 HAS SOUPS 157142 WITH SCORE 157447.0
AT ITER 1314 NEW BEST:: SOT 559910 SOS 304262 HAS SOPS 304262 HAS SOUS 156698 HAS SOUPS 156698 WITH SCORE 157002.262
AT ITER 1315 NEW BEST:: SOT 559840 SOS 303983 HAS SOPS 303983 HAS SOUS 156421 HAS SOUPS 156421 WITH SCORE 156724.983
AT ITER 1320 NEW BEST:: SOT 559840 SOS 303983 HAS SOPS 303983 HAS SOUS 156352 HAS SOUPS 156352 WITH SCORE 156655.983
AT ITER 1321 NEW BEST:: SOT 559689 SOS 303681 HAS SOPS 303681 HAS SOUS 155997 HAS SOUPS 155997 WITH SCORE 156300.681
AT ITER 1337 NEW BEST:: SOT 559623 SOS 303615 HAS SOPS 303615 HAS SOUS 155997 HAS SOUPS 155997 WITH SCORE 156300.615
AT ITER 1338 NEW BEST:: SOT 559664 SOS 303558 HAS SOPS 303558 HAS SOUS 155903 HAS SOUPS 155903 WITH SCORE 156206.558
AT ITER 1347 NEW BEST:: SOT 559604 SOS 303498 HAS SOPS 303498 HAS SOUS 155843 HAS SOUPS 155843 WITH SCORE 156146.498
AT ITER 1348 NEW BEST:: SOT 559604 SOS 303439 HAS SOPS 303439 HAS SOUS 155843 HAS SOUPS 155843 WITH SCORE 156146.439
AT ITER 1351 NEW BEST:: SOT 559604 SOS 303439 HAS SOPS 303439 HAS SOUS 155770 HAS SOUPS 155770 WITH SCORE 156073.439
AT ITER 1359 NEW BEST:: SOT 559607 SOS 303445 HAS SOPS 303445 HAS SOUS 155752 HAS SOUPS 155752 WITH SCORE 156055.445
AT ITER 1360 NEW BEST:: SOT 559600 SOS 303431 HAS SOPS 303431 HAS SOUS 155738 HAS SOUPS 155738 WITH SCORE 156041.431
AT ITER 1370 NEW BEST:: SOT 559468 SOS 303299 HAS SOPS 303299 HAS SOUS 155474 HAS SOUPS 155474 WITH SCORE 155777.299
AT ITER 1371 NEW BEST:: SOT 559388 SOS 303219 HAS SOPS 303219 HAS SOUS 155394 HAS SOUPS 155394 WITH SCORE 155697.219
AT ITER 1377 NEW BEST:: SOT 559388 SOS 303201 HAS SOPS 303201 HAS SOUS 155029 HAS SOUPS 155029 WITH SCORE 155332.201
AT ITER 1386 NEW BEST:: SOT 559293 SOS 303106 HAS SOPS 303106 HAS SOUS 154780 HAS SOUPS 154780 WITH SCORE 155083.106
AT ITER 1387 NEW BEST:: SOT 559293 SOS 303170 HAS SOPS 303170 HAS SOUS 154742 HAS SOUPS 154742 WITH SCORE 155045.17
AT ITER 1394 NEW BEST:: SOT 559293 SOS 303170 HAS SOPS 303170 HAS SOUS 154613 HAS SOUPS 154613 WITH SCORE 154916.17
AT ITER 1406 NEW BEST:: SOT 559293 SOS 303080 HAS SOPS 303080 HAS SOUS 154547 HAS SOUPS 154547 WITH SCORE 154850.08
AT ITER 1415 NEW BEST:: SOT 559264 SOS 303051 HAS SOPS 303051 HAS SOUS 154518 HAS SOUPS 154518 WITH SCORE 154821.051
AT ITER 1420 NEW BEST:: SOT 559264 SOS 303043 HAS SOPS 303043 HAS SOUS 154518 HAS SOUPS 154518 WITH SCORE 154821.043
AT ITER 1423 NEW BEST:: SOT 559255 SOS 303007 HAS SOPS 303007 HAS SOUS 154491 HAS SOUPS 154491 WITH SCORE 154794.007
AT ITER 1424 NEW BEST:: SOT 559008 SOS 302766 HAS SOPS 302766 HAS SOUS 154275 HAS SOUPS 154275 WITH SCORE 154577.766
AT ITER 1426 NEW BEST:: SOT 558986 SOS 302722 HAS SOPS 302722 HAS SOUS 154231 HAS SOUPS 154231 WITH SCORE 154533.722
AT ITER 1427 NEW BEST:: SOT 558860 SOS 302660 HAS SOPS 302660 HAS SOUS 154075 HAS SOUPS 154075 WITH SCORE 154377.66
AT ITER 1433 NEW BEST:: SOT 558995 SOS 302795 HAS SOPS 302795 HAS SOUS 154058 HAS SOUPS 154058 WITH SCORE 154360.795
AT ITER 1437 NEW BEST:: SOT 558981 SOS 303038 HAS SOPS 303038 HAS SOUS 154049 HAS SOUPS 154049 WITH SCORE 154352.038
AT ITER 1438 NEW BEST:: SOT 558928 SOS 303132 HAS SOPS 303132 HAS SOUS 154040 HAS SOUPS 154040 WITH SCORE 154343.132
AT ITER 1439 NEW BEST:: SOT 558757 SOS 302961 HAS SOPS 302961 HAS SOUS 153982 HAS SOUPS 153982 WITH SCORE 154284.961
AT ITER 1444 NEW BEST:: SOT 558678 SOS 302627 HAS SOPS 302627 HAS SOUS 153903 HAS SOUPS 153903 WITH SCORE 154205.627
AT ITER 1452 NEW BEST:: SOT 558655 SOS 302581 HAS SOPS 302581 HAS SOUS 153857 HAS SOUPS 153857 WITH SCORE 154159.581
AT ITER 1455 NEW BEST:: SOT 558638 SOS 302564 HAS SOPS 302564 HAS SOUS 153840 HAS SOUPS 153840 WITH SCORE 154142.564
AT ITER 1464 NEW BEST:: SOT 558638 SOS 302549 HAS SOPS 302549 HAS SOUS 153825 HAS SOUPS 153825 WITH SCORE 154127.549
AT ITER 1478 NEW BEST:: SOT 558638 SOS 302549 HAS SOPS 302549 HAS SOUS 153707 HAS SOUPS 153707 WITH SCORE 154009.549
AT ITER 1480 NEW BEST:: SOT 558704 SOS 302681 HAS SOPS 302681 HAS SOUS 153294 HAS SOUPS 153294 WITH SCORE 153596.681
AT ITER 1482 NEW BEST:: SOT 558341 SOS 302318 HAS SOPS 302318 HAS SOUS 152603 HAS SOUPS 152603 WITH SCORE 152905.318
AT ITER 1491 NEW BEST:: SOT 558301 SOS 302254 HAS SOPS 302254 HAS SOUS 152579 HAS SOUPS 152579 WITH SCORE 152881.254
AT ITER 1503 NEW BEST:: SOT 558301 SOS 302235 HAS SOPS 302235 HAS SOUS 152579 HAS SOUPS 152579 WITH SCORE 152881.235
AT ITER 1506 NEW BEST:: SOT 558191 SOS 302015 HAS SOPS 302015 HAS SOUS 152469 HAS SOUPS 152469 WITH SCORE 152771.015
AT ITER 1515 NEW BEST:: SOT 557795 SOS 300645 HAS SOPS 300645 HAS SOUS 152095 HAS SOUPS 152095 WITH SCORE 152395.645
AT ITER 1517 NEW BEST:: SOT 557687 SOS 300638 HAS SOPS 300638 HAS SOUS 151853 HAS SOUPS 151853 WITH SCORE 152153.638
AT ITER 1520 NEW BEST:: SOT 557410 SOS 300084 HAS SOPS 300084 HAS SOUS 151459 HAS SOUPS 151459 WITH SCORE 151759.084
AT ITER 1521 NEW BEST:: SOT 557410 SOS 300042 HAS SOPS 300042 HAS SOUS 151417 HAS SOUPS 151417 WITH SCORE 151717.042
AT ITER 1529 NEW BEST:: SOT 557404 SOS 300030 HAS SOPS 300030 HAS SOUS 151405 HAS SOUPS 151405 WITH SCORE 151705.03
AT ITER 1532 NEW BEST:: SOT 557059 SOS 299526 HAS SOPS 299526 HAS SOUS 151060 HAS SOUPS 151060 WITH SCORE 151359.526
AT ITER 1537 NEW BEST:: SOT 557119 SOS 299504 HAS SOPS 299504 HAS SOUS 151047 HAS SOUPS 151047 WITH SCORE 151346.504
AT ITER 1540 NEW BEST:: SOT 557119 SOS 299430 HAS SOPS 299430 HAS SOUS 150899 HAS SOUPS 150899 WITH SCORE 151198.43
AT ITER 1541 NEW BEST:: SOT 557099 SOS 299410 HAS SOPS 299410 HAS SOUS 150899 HAS SOUPS 150899 WITH SCORE 151198.41
AT ITER 1542 NEW BEST:: SOT 557088 SOS 299388 HAS SOPS 299388 HAS SOUS 150877 HAS SOUPS 150877 WITH SCORE 151176.388
AT ITER 1546 NEW BEST:: SOT 557083 SOS 299383 HAS SOPS 299383 HAS SOUS 150872 HAS SOUPS 150872 WITH SCORE 151171.383
AT ITER 1553 NEW BEST:: SOT 556888 SOS 298607 HAS SOPS 298607 HAS SOUS 150291 HAS SOUPS 150291 WITH SCORE 150589.607
AT ITER 1554 NEW BEST:: SOT 556888 SOS 298607 HAS SOPS 298607 HAS SOUS 150290 HAS SOUPS 150290 WITH SCORE 150588.607
AT ITER 1555 NEW BEST:: SOT 556649 SOS 296335 HAS SOPS 296335 HAS SOUS 150105 HAS SOUPS 150105 WITH SCORE 150401.335
AT ITER 1563 NEW BEST:: SOT 556649 SOS 296329 HAS SOPS 296329 HAS SOUS 150074 HAS SOUPS 150074 WITH SCORE 150370.329
AT ITER 1565 NEW BEST:: SOT 556591 SOS 296271 HAS SOPS 296271 HAS SOUS 150016 HAS SOUPS 150016 WITH SCORE 150312.271
AT ITER 1566 NEW BEST:: SOT 556591 SOS 296271 HAS SOPS 296271 HAS SOUS 149999 HAS SOUPS 149999 WITH SCORE 150295.271
AT ITER 1568 NEW BEST:: SOT 556536 SOS 295603 HAS SOPS 295603 HAS SOUS 149832 HAS SOUPS 149832 WITH SCORE 150127.603
AT ITER 1574 NEW BEST:: SOT 556601 SOS 295733 HAS SOPS 295733 HAS SOUS 149663 HAS SOUPS 149663 WITH SCORE 149958.733
AT ITER 1577 NEW BEST:: SOT 556587 SOS 295705 HAS SOPS 295705 HAS SOUS 149635 HAS SOUPS 149635 WITH SCORE 149930.705
AT ITER 1585 NEW BEST:: SOT 556587 SOS 295613 HAS SOPS 295613 HAS SOUS 149635 HAS SOUPS 149635 WITH SCORE 149930.613
AT ITER 1590 NEW BEST:: SOT 556545 SOS 295550 HAS SOPS 295550 HAS SOUS 149572 HAS SOUPS 149572 WITH SCORE 149867.55
AT ITER 1593 NEW BEST:: SOT 556487 SOS 295463 HAS SOPS 295463 HAS SOUS 149514 HAS SOUPS 149514 WITH SCORE 149809.463
AT ITER 1594 NEW BEST:: SOT 556485 SOS 295461 HAS SOPS 295461 HAS SOUS 149512 HAS SOUPS 149512 WITH SCORE 149807.461
AT ITER 1597 NEW BEST:: SOT 556485 SOS 295410 HAS SOPS 295410 HAS SOUS 149512 HAS SOUPS 149512 WITH SCORE 149807.41
AT ITER 1598 NEW BEST:: SOT 556448 SOS 295373 HAS SOPS 295373 HAS SOUS 149475 HAS SOUPS 149475 WITH SCORE 149770.373
AT ITER 1602 NEW BEST:: SOT 555938 SOS 294822 HAS SOPS 294822 HAS SOUS 149322 HAS SOUPS 149322 WITH SCORE 149616.822
AT ITER 1607 NEW BEST:: SOT 555857 SOS 294741 HAS SOPS 294741 HAS SOUS 149241 HAS SOUPS 149241 WITH SCORE 149535.741
AT ITER 1611 NEW BEST:: SOT 555897 SOS 294821 HAS SOPS 294821 HAS SOUS 149222 HAS SOUPS 149222 WITH SCORE 149516.821
AT ITER 1616 NEW BEST:: SOT 555679 SOS 294468 HAS SOPS 294468 HAS SOUS 148869 HAS SOUPS 148869 WITH SCORE 149163.468
AT ITER 1617 NEW BEST:: SOT 555427 SOS 294216 HAS SOPS 294216 HAS SOUS 148617 HAS SOUPS 148617 WITH SCORE 148911.216
AT ITER 1624 NEW BEST:: SOT 555427 SOS 293930 HAS SOPS 293930 HAS SOUS 148336 HAS SOUPS 148336 WITH SCORE 148629.93
AT ITER 1626 NEW BEST:: SOT 554793 SOS 296133 HAS SOPS 296133 HAS SOUS 148148 HAS SOUPS 148148 WITH SCORE 148444.133
AT ITER 1628 NEW BEST:: SOT 554842 SOS 295906 HAS SOPS 295906 HAS SOUS 147872 HAS SOUPS 147872 WITH SCORE 148167.906
AT ITER 1629 NEW BEST:: SOT 554838 SOS 295898 HAS SOPS 295898 HAS SOUS 147872 HAS SOUPS 147872 WITH SCORE 148167.898
AT ITER 1631 NEW BEST:: SOT 554773 SOS 295833 HAS SOPS 295833 HAS SOUS 147807 HAS SOUPS 147807 WITH SCORE 148102.833
AT ITER 1634 NEW BEST:: SOT 554928 SOS 295815 HAS SOPS 295815 HAS SOUS 147533 HAS SOUPS 147533 WITH SCORE 147828.815
AT ITER 1635 NEW BEST:: SOT 554915 SOS 295379 HAS SOPS 295379 HAS SOUS 147102 HAS SOUPS 147102 WITH SCORE 147397.379
AT ITER 1639 NEW BEST:: SOT 554915 SOS 295306 HAS SOPS 295306 HAS SOUS 147102 HAS SOUPS 147102 WITH SCORE 147397.306
AT ITER 1646 NEW BEST:: SOT 554811 SOS 295098 HAS SOPS 295098 HAS SOUS 146894 HAS SOUPS 146894 WITH SCORE 147189.098
AT ITER 1647 NEW BEST:: SOT 554737 SOS 295024 HAS SOPS 295024 HAS SOUS 146878 HAS SOUPS 146878 WITH SCORE 147173.024
AT ITER 1670 NEW BEST:: SOT 554736 SOS 295022 HAS SOPS 295022 HAS SOUS 146876 HAS SOUPS 146876 WITH SCORE 147171.022
AT ITER 1672 NEW BEST:: SOT 554553 SOS 294839 HAS SOPS 294839 HAS SOUS 146693 HAS SOUPS 146693 WITH SCORE 146987.839
AT ITER 1683 NEW BEST:: SOT 554552 SOS 294838 HAS SOPS 294838 HAS SOUS 146692 HAS SOUPS 146692 WITH SCORE 146986.838
AT ITER 1684 NEW BEST:: SOT 554480 SOS 295054 HAS SOPS 295054 HAS SOUS 146620 HAS SOUPS 146620 WITH SCORE 146915.054
AT ITER 1689 NEW BEST:: SOT 554353 SOS 294644 HAS SOPS 294644 HAS SOUS 146366 HAS SOUPS 146366 WITH SCORE 146660.644
AT ITER 1691 NEW BEST:: SOT 554001 SOS 294035 HAS SOPS 294035 HAS SOUS 146060 HAS SOUPS 146060 WITH SCORE 146354.035
AT ITER 1701 NEW BEST:: SOT 553853 SOS 293887 HAS SOPS 293887 HAS SOUS 145875 HAS SOUPS 145875 WITH SCORE 146168.887
AT ITER 1703 NEW BEST:: SOT 553786 SOS 293764 HAS SOPS 293764 HAS SOUS 145819 HAS SOUPS 145819 WITH SCORE 146112.764
AT ITER 1711 NEW BEST:: SOT 553786 SOS 293764 HAS SOPS 293764 HAS SOUS 145695 HAS SOUPS 145695 WITH SCORE 145988.764
AT ITER 1725 NEW BEST:: SOT 553932 SOS 293892 HAS SOPS 293892 HAS SOUS 145659 HAS SOUPS 145659 WITH SCORE 145952.892
AT ITER 1733 NEW BEST:: SOT 553623 SOS 293583 HAS SOPS 293583 HAS SOUS 145397 HAS SOUPS 145397 WITH SCORE 145690.583
AT ITER 1746 NEW BEST:: SOT 553634 SOS 293525 HAS SOPS 293525 HAS SOUS 145339 HAS SOUPS 145339 WITH SCORE 145632.525
AT ITER 1751 NEW BEST:: SOT 553633 SOS 293524 HAS SOPS 293524 HAS SOUS 145338 HAS SOUPS 145338 WITH SCORE 145631.524
AT ITER 1755 NEW BEST:: SOT 553621 SOS 293512 HAS SOPS 293512 HAS SOUS 145338 HAS SOUPS 145338 WITH SCORE 145631.512
AT ITER 1757 NEW BEST:: SOT 553543 SOS 293395 HAS SOPS 293395 HAS SOUS 145260 HAS SOUPS 145260 WITH SCORE 145553.395
AT ITER 1762 NEW BEST:: SOT 553491 SOS 293343 HAS SOPS 293343 HAS SOUS 145156 HAS SOUPS 145156 WITH SCORE 145449.343
AT ITER 1764 NEW BEST:: SOT 553462 SOS 295492 HAS SOPS 295492 HAS SOUS 144693 HAS SOUPS 144693 WITH SCORE 144988.492
AT ITER 1765 NEW BEST:: SOT 553391 SOS 295433 HAS SOPS 295433 HAS SOUS 144634 HAS SOUPS 144634 WITH SCORE 144929.433
AT ITER 1769 NEW BEST:: SOT 553391 SOS 295433 HAS SOPS 295433 HAS SOUS 144566 HAS SOUPS 144566 WITH SCORE 144861.433
AT ITER 1776 NEW BEST:: SOT 553391 SOS 295433 HAS SOPS 295433 HAS SOUS 144559 HAS SOUPS 144559 WITH SCORE 144854.433
AT ITER 1777 NEW BEST:: SOT 552862 SOS 294233 HAS SOPS 294233 HAS SOUS 143695 HAS SOUPS 143695 WITH SCORE 143989.233
AT ITER 1780 NEW BEST:: SOT 553253 SOS 294615 HAS SOPS 294615 HAS SOUS 143677 HAS SOUPS 143677 WITH SCORE 143971.615
AT ITER 1782 NEW BEST:: SOT 553253 SOS 294571 HAS SOPS 294571 HAS SOUS 143633 HAS SOUPS 143633 WITH SCORE 143927.571
AT ITER 1783 NEW BEST:: SOT 553178 SOS 294421 HAS SOPS 294421 HAS SOUS 143483 HAS SOUPS 143483 WITH SCORE 143777.421
AT ITER 1786 NEW BEST:: SOT 553201 SOS 294444 HAS SOPS 294444 HAS SOUS 143344 HAS SOUPS 143344 WITH SCORE 143638.444
AT ITER 1790 NEW BEST:: SOT 553201 SOS 294286 HAS SOPS 294286 HAS SOUS 143186 HAS SOUPS 143186 WITH SCORE 143480.286
AT ITER 1797 NEW BEST:: SOT 553201 SOS 294178 HAS SOPS 294178 HAS SOUS 142972 HAS SOUPS 142972 WITH SCORE 143266.178
AT ITER 1803 NEW BEST:: SOT 552980 SOS 293643 HAS SOPS 293643 HAS SOUS 142614 HAS SOUPS 142614 WITH SCORE 142907.643
AT ITER 1808 NEW BEST:: SOT 552855 SOS 293393 HAS SOPS 293393 HAS SOUS 142364 HAS SOUPS 142364 WITH SCORE 142657.393
AT ITER 1820 NEW BEST:: SOT 552807 SOS 293345 HAS SOPS 293345 HAS SOUS 142316 HAS SOUPS 142316 WITH SCORE 142609.345
AT ITER 1827 NEW BEST:: SOT 553037 SOS 293041 HAS SOPS 293041 HAS SOUS 142164 HAS SOUPS 142164 WITH SCORE 142457.041
AT ITER 1831 NEW BEST:: SOT 552981 SOS 292985 HAS SOPS 292985 HAS SOUS 142164 HAS SOUPS 142164 WITH SCORE 142456.985
AT ITER 1833 NEW BEST:: SOT 552981 SOS 292968 HAS SOPS 292968 HAS SOUS 142147 HAS SOUPS 142147 WITH SCORE 142439.968
AT ITER 1841 NEW BEST:: SOT 553073 SOS 291738 HAS SOPS 291738 HAS SOUS 141835 HAS SOUPS 141835 WITH SCORE 142126.738
AT ITER 1845 NEW BEST:: SOT 553025 SOS 291832 HAS SOPS 291832 HAS SOUS 141812 HAS SOUPS 141812 WITH SCORE 142103.832
AT ITER 1850 NEW BEST:: SOT 552992 SOS 291799 HAS SOPS 291799 HAS SOUS 141779 HAS SOUPS 141779 WITH SCORE 142070.799
AT ITER 1852 NEW BEST:: SOT 552969 SOS 291753 HAS SOPS 291753 HAS SOUS 141756 HAS SOUPS 141756 WITH SCORE 142047.753
AT ITER 1860 NEW BEST:: SOT 553263 SOS 291099 HAS SOPS 291099 HAS SOUS 141205 HAS SOUPS 141205 WITH SCORE 141496.099
AT ITER 1865 NEW BEST:: SOT 553264 SOS 291101 HAS SOPS 291101 HAS SOUS 141175 HAS SOUPS 141175 WITH SCORE 141466.101
AT ITER 1868 NEW BEST:: SOT 553228 SOS 290944 HAS SOPS 290944 HAS SOUS 141148 HAS SOUPS 141148 WITH SCORE 141438.944
AT ITER 1873 NEW BEST:: SOT 553224 SOS 290936 HAS SOPS 290936 HAS SOUS 141140 HAS SOUPS 141140 WITH SCORE 141430.936
AT ITER 1875 NEW BEST:: SOT 553179 SOS 290891 HAS SOPS 290891 HAS SOUS 140924 HAS SOUPS 140924 WITH SCORE 141214.891
AT ITER 1879 NEW BEST:: SOT 553152 SOS 290837 HAS SOPS 290837 HAS SOUS 140897 HAS SOUPS 140897 WITH SCORE 141187.837
AT ITER 1884 NEW BEST:: SOT 553090 SOS 290651 HAS SOPS 290651 HAS SOUS 140835 HAS SOUPS 140835 WITH SCORE 141125.651
AT ITER 1894 NEW BEST:: SOT 553069 SOS 290609 HAS SOPS 290609 HAS SOUS 140810 HAS SOUPS 140810 WITH SCORE 141100.609
AT ITER 1909 NEW BEST:: SOT 553215 SOS 290754 HAS SOPS 290754 HAS SOUS 140809 HAS SOUPS 140809 WITH SCORE 141099.754
AT ITER 1911 NEW BEST:: SOT 553242 SOS 290781 HAS SOPS 290781 HAS SOUS 140695 HAS SOUPS 140695 WITH SCORE 140985.781
AT ITER 1925 NEW BEST:: SOT 553242 SOS 290736 HAS SOPS 290736 HAS SOUS 140695 HAS SOUPS 140695 WITH SCORE 140985.736
AT ITER 1929 NEW BEST:: SOT 553131 SOS 290605 HAS SOPS 290605 HAS SOUS 140622 HAS SOUPS 140622 WITH SCORE 140912.605
AT ITER 1930 NEW BEST:: SOT 552938 SOS 290303 HAS SOPS 290303 HAS SOUS 140441 HAS SOUPS 140441 WITH SCORE 140731.303
AT ITER 1931 NEW BEST:: SOT 553135 SOS 286654 HAS SOPS 286654 HAS SOUS 140432 HAS SOUPS 140432 WITH SCORE 140718.654
AT ITER 1937 NEW BEST:: SOT 552836 SOS 286213 HAS SOPS 286213 HAS SOUS 140148 HAS SOUPS 140148 WITH SCORE 140434.213
AT ITER 1939 NEW BEST:: SOT 552818 SOS 286177 HAS SOPS 286177 HAS SOUS 140112 HAS SOUPS 140112 WITH SCORE 140398.177
AT ITER 1944 NEW BEST:: SOT 552601 SOS 285835 HAS SOPS 285835 HAS SOUS 139895 HAS SOUPS 139895 WITH SCORE 140180.835
AT ITER 1955 NEW BEST:: SOT 552524 SOS 285251 HAS SOPS 285251 HAS SOUS 139741 HAS SOUPS 139741 WITH SCORE 140026.251
AT ITER 1961 NEW BEST:: SOT 552451 SOS 285106 HAS SOPS 285106 HAS SOUS 139668 HAS SOUPS 139668 WITH SCORE 139953.106
AT ITER 1965 NEW BEST:: SOT 552298 SOS 284800 HAS SOPS 284800 HAS SOUS 139549 HAS SOUPS 139549 WITH SCORE 139833.8
AT ITER 1970 NEW BEST:: SOT 552298 SOS 284800 HAS SOPS 284800 HAS SOUS 139363 HAS SOUPS 139363 WITH SCORE 139647.8
AT ITER 1975 NEW BEST:: SOT 552312 SOS 284828 HAS SOPS 284828 HAS SOUS 139290 HAS SOUPS 139290 WITH SCORE 139574.828
AT ITER 1978 NEW BEST:: SOT 552298 SOS 284814 HAS SOPS 284814 HAS SOUS 139276 HAS SOUPS 139276 WITH SCORE 139560.814
AT ITER 1991 NEW BEST:: SOT 552298 SOS 284814 HAS SOPS 284814 HAS SOUS 139091 HAS SOUPS 139091 WITH SCORE 139375.814
AT ITER 1997 NEW BEST:: SOT 552272 SOS 284720 HAS SOPS 284720 HAS SOUS 139065 HAS SOUPS 139065 WITH SCORE 139349.72
AT ITER 2003 NEW BEST:: SOT 552264 SOS 284712 HAS SOPS 284712 HAS SOUS 139057 HAS SOUPS 139057 WITH SCORE 139341.712
AT ITER 2008 NEW BEST:: SOT 552246 SOS 284574 HAS SOPS 284574 HAS SOUS 139039 HAS SOUPS 139039 WITH SCORE 139323.574
AT ITER 2012 NEW BEST:: SOT 552234 SOS 284696 HAS SOPS 284696 HAS SOUS 138916 HAS SOUPS 138916 WITH SCORE 139200.696
AT ITER 2015 NEW BEST:: SOT 552234 SOS 284658 HAS SOPS 284658 HAS SOUS 138916 HAS SOUPS 138916 WITH SCORE 139200.658
AT ITER 2018 NEW BEST:: SOT 552331 SOS 284596 HAS SOPS 284596 HAS SOUS 138864 HAS SOUPS 138864 WITH SCORE 139148.596
AT ITER 2025 NEW BEST:: SOT 552162 SOS 284427 HAS SOPS 284427 HAS SOUS 138629 HAS SOUPS 138629 WITH SCORE 138913.427
AT ITER 2027 NEW BEST:: SOT 552180 SOS 284291 HAS SOPS 284291 HAS SOUS 138493 HAS SOUPS 138493 WITH SCORE 138777.291
AT ITER 2031 NEW BEST:: SOT 552165 SOS 284276 HAS SOPS 284276 HAS SOUS 138478 HAS SOUPS 138478 WITH SCORE 138762.276
AT ITER 2041 NEW BEST:: SOT 552277 SOS 284281 HAS SOPS 284281 HAS SOUS 138477 HAS SOUPS 138477 WITH SCORE 138761.281
AT ITER 2044 NEW BEST:: SOT 552243 SOS 283934 HAS SOPS 283934 HAS SOUS 138375 HAS SOUPS 138375 WITH SCORE 138658.934
AT ITER 2051 NEW BEST:: SOT 552243 SOS 283916 HAS SOPS 283916 HAS SOUS 138357 HAS SOUPS 138357 WITH SCORE 138640.916
AT ITER 2058 NEW BEST:: SOT 552044 SOS 283537 HAS SOPS 283537 HAS SOUS 138158 HAS SOUPS 138158 WITH SCORE 138441.537
AT ITER 2061 NEW BEST:: SOT 551933 SOS 283204 HAS SOPS 283204 HAS SOUS 137991 HAS SOUPS 137991 WITH SCORE 138274.204
AT ITER 2064 NEW BEST:: SOT 551932 SOS 283202 HAS SOPS 283202 HAS SOUS 137989 HAS SOUPS 137989 WITH SCORE 138272.202
AT ITER 2072 NEW BEST:: SOT 551852 SOS 283575 HAS SOPS 283575 HAS SOUS 137911 HAS SOUPS 137911 WITH SCORE 138194.575
AT ITER 2079 NEW BEST:: SOT 551852 SOS 283575 HAS SOPS 283575 HAS SOUS 137897 HAS SOUPS 137897 WITH SCORE 138180.575
AT ITER 2086 NEW BEST:: SOT 551767 SOS 283490 HAS SOPS 283490 HAS SOUS 137834 HAS SOUPS 137834 WITH SCORE 138117.49
AT ITER 2087 NEW BEST:: SOT 551728 SOS 282961 HAS SOPS 282961 HAS SOUS 137745 HAS SOUPS 137745 WITH SCORE 138027.961
AT ITER 2092 NEW BEST:: SOT 551665 SOS 282898 HAS SOPS 282898 HAS SOUS 137722 HAS SOUPS 137722 WITH SCORE 138004.898
AT ITER 2094 NEW BEST:: SOT 551665 SOS 282820 HAS SOPS 282820 HAS SOUS 137543 HAS SOUPS 137543 WITH SCORE 137825.82
AT ITER 2099 NEW BEST:: SOT 551452 SOS 282391 HAS SOPS 282391 HAS SOUS 137522 HAS SOUPS 137522 WITH SCORE 137804.391
AT ITER 2108 NEW BEST:: SOT 551057 SOS 281996 HAS SOPS 281996 HAS SOUS 137290 HAS SOUPS 137290 WITH SCORE 137571.996
AT ITER 2119 NEW BEST:: SOT 550959 SOS 282996 HAS SOPS 282996 HAS SOUS 137235 HAS SOUPS 137235 WITH SCORE 137517.996
AT ITER 2125 NEW BEST:: SOT 550971 SOS 282974 HAS SOPS 282974 HAS SOUS 137224 HAS SOUPS 137224 WITH SCORE 137506.974
AT ITER 2128 NEW BEST:: SOT 550971 SOS 282928 HAS SOPS 282928 HAS SOUS 137178 HAS SOUPS 137178 WITH SCORE 137460.928
AT ITER 2132 NEW BEST:: SOT 550863 SOS 282507 HAS SOPS 282507 HAS SOUS 137001 HAS SOUPS 137001 WITH SCORE 137283.507
AT ITER 2134 NEW BEST:: SOT 550857 SOS 282366 HAS SOPS 282366 HAS SOUS 136860 HAS SOUPS 136860 WITH SCORE 137142.366
AT ITER 2152 NEW BEST:: SOT 550348 SOS 281704 HAS SOPS 281704 HAS SOUS 136522 HAS SOUPS 136522 WITH SCORE 136803.704
AT ITER 2156 NEW BEST:: SOT 550192 SOS 281586 HAS SOPS 281586 HAS SOUS 136438 HAS SOUPS 136438 WITH SCORE 136719.586
AT ITER 2157 NEW BEST:: SOT 550188 SOS 281582 HAS SOPS 281582 HAS SOUS 136296 HAS SOUPS 136296 WITH SCORE 136577.582
AT ITER 2176 NEW BEST:: SOT 550188 SOS 281582 HAS SOPS 281582 HAS SOUS 136288 HAS SOUPS 136288 WITH SCORE 136569.582
AT ITER 2177 NEW BEST:: SOT 550188 SOS 281582 HAS SOPS 281582 HAS SOUS 136276 HAS SOUPS 136276 WITH SCORE 136557.582
AT ITER 2185 NEW BEST:: SOT 550043 SOS 281292 HAS SOPS 281292 HAS SOUS 136015 HAS SOUPS 136015 WITH SCORE 136296.292
AT ITER 2197 NEW BEST:: SOT 549899 SOS 281148 HAS SOPS 281148 HAS SOUS 135871 HAS SOUPS 135871 WITH SCORE 136152.148
AT ITER 2199 NEW BEST:: SOT 549899 SOS 281140 HAS SOPS 281140 HAS SOUS 135871 HAS SOUPS 135871 WITH SCORE 136152.14
AT ITER 2222 NEW BEST:: SOT 549723 SOS 280747 HAS SOPS 280747 HAS SOUS 135822 HAS SOUPS 135822 WITH SCORE 136102.747
AT ITER 2225 NEW BEST:: SOT 549592 SOS 280550 HAS SOPS 280550 HAS SOUS 135765 HAS SOUPS 135765 WITH SCORE 136045.55
AT ITER 2231 NEW BEST:: SOT 549584 SOS 280550 HAS SOPS 280550 HAS SOUS 135757 HAS SOUPS 135757 WITH SCORE 136037.55
AT ITER 2235 NEW BEST:: SOT 549472 SOS 280326 HAS SOPS 280326 HAS SOUS 135712 HAS SOUPS 135712 WITH SCORE 135992.326
AT ITER 2239 NEW BEST:: SOT 549576 SOS 280408 HAS SOPS 280408 HAS SOUS 135641 HAS SOUPS 135641 WITH SCORE 135921.408
AT ITER 2243 NEW BEST:: SOT 549648 SOS 280259 HAS SOPS 280259 HAS SOUS 135520 HAS SOUPS 135520 WITH SCORE 135800.259
AT ITER 2259 NEW BEST:: SOT 550975 SOS 276434 HAS SOPS 276434 HAS SOUS 135464 HAS SOUPS 135464 WITH SCORE 135740.434
AT ITER 2274 NEW BEST:: SOT 551050 SOS 276489 HAS SOPS 276489 HAS SOUS 135393 HAS SOUPS 135393 WITH SCORE 135669.489
AT ITER 2275 NEW BEST:: SOT 551050 SOS 276409 HAS SOPS 276409 HAS SOUS 135293 HAS SOUPS 135293 WITH SCORE 135569.409
AT ITER 2284 NEW BEST:: SOT 551011 SOS 276284 HAS SOPS 276284 HAS SOUS 135254 HAS SOUPS 135254 WITH SCORE 135530.284
AT ITER 2288 NEW BEST:: SOT 551011 SOS 276275 HAS SOPS 276275 HAS SOUS 135244 HAS SOUPS 135244 WITH SCORE 135520.275
AT ITER 2302 NEW BEST:: SOT 550595 SOS 275656 HAS SOPS 275656 HAS SOUS 134828 HAS SOUPS 134828 WITH SCORE 135103.656
AT ITER 2305 NEW BEST:: SOT 550559 SOS 275649 HAS SOPS 275649 HAS SOUS 134821 HAS SOUPS 134821 WITH SCORE 135096.649
AT ITER 2334 NEW BEST:: SOT 550559 SOS 275636 HAS SOPS 275636 HAS SOUS 134808 HAS SOUPS 134808 WITH SCORE 135083.636
AT ITER 2338 NEW BEST:: SOT 550559 SOS 275636 HAS SOPS 275636 HAS SOUS 134798 HAS SOUPS 134798 WITH SCORE 135073.636
AT ITER 2341 NEW BEST:: SOT 550559 SOS 275459 HAS SOPS 275459 HAS SOUS 134747 HAS SOUPS 134747 WITH SCORE 135022.459
AT ITER 2349 NEW BEST:: SOT 550559 SOS 275459 HAS SOPS 275459 HAS SOUS 134746 HAS SOUPS 134746 WITH SCORE 135021.459
AT ITER 2352 NEW BEST:: SOT 550559 SOS 275330 HAS SOPS 275330 HAS SOUS 134746 HAS SOUPS 134746 WITH SCORE 135021.33
AT ITER 2374 NEW BEST:: SOT 550516 SOS 275244 HAS SOPS 275244 HAS SOUS 134660 HAS SOUPS 134660 WITH SCORE 134935.244
AT ITER 2377 NEW BEST:: SOT 550411 SOS 275139 HAS SOPS 275139 HAS SOUS 134609 HAS SOUPS 134609 WITH SCORE 134884.139
AT ITER 2380 NEW BEST:: SOT 550409 SOS 275135 HAS SOPS 275135 HAS SOUS 134519 HAS SOUPS 134519 WITH SCORE 134794.135
AT ITER 2382 NEW BEST:: SOT 550285 SOS 274581 HAS SOPS 274581 HAS SOUS 134341 HAS SOUPS 134341 WITH SCORE 134615.581
AT ITER 2393 NEW BEST:: SOT 550325 SOS 274459 HAS SOPS 274459 HAS SOUS 134134 HAS SOUPS 134134 WITH SCORE 134408.459
AT ITER 2395 NEW BEST:: SOT 550213 SOS 274374 HAS SOPS 274374 HAS SOUS 134015 HAS SOUPS 134015 WITH SCORE 134289.374
AT ITER 2408 NEW BEST:: SOT 550155 SOS 274316 HAS SOPS 274316 HAS SOUS 133957 HAS SOUPS 133957 WITH SCORE 134231.316
AT ITER 2410 NEW BEST:: SOT 550178 SOS 274160 HAS SOPS 274160 HAS SOUS 133826 HAS SOUPS 133826 WITH SCORE 134100.16
AT ITER 2412 NEW BEST:: SOT 550178 SOS 274160 HAS SOPS 274160 HAS SOUS 133787 HAS SOUPS 133787 WITH SCORE 134061.16
AT ITER 2415 NEW BEST:: SOT 550150 SOS 274104 HAS SOPS 274104 HAS SOUS 133759 HAS SOUPS 133759 WITH SCORE 134033.104
AT ITER 2424 NEW BEST:: SOT 550035 SOS 277033 HAS SOPS 277033 HAS SOUS 133600 HAS SOUPS 133600 WITH SCORE 133877.033
AT ITER 2425 NEW BEST:: SOT 550008 SOS 277006 HAS SOPS 277006 HAS SOUS 133573 HAS SOUPS 133573 WITH SCORE 133850.006
AT ITER 2431 NEW BEST:: SOT 549963 SOS 277146 HAS SOPS 277146 HAS SOUS 133561 HAS SOUPS 133561 WITH SCORE 133838.146
AT ITER 2438 NEW BEST:: SOT 549770 SOS 276947 HAS SOPS 276947 HAS SOUS 133549 HAS SOUPS 133549 WITH SCORE 133825.947
AT ITER 2440 NEW BEST:: SOT 549770 SOS 276511 HAS SOPS 276511 HAS SOUS 133421 HAS SOUPS 133421 WITH SCORE 133697.511
AT ITER 2449 NEW BEST:: SOT 549770 SOS 276511 HAS SOPS 276511 HAS SOUS 133353 HAS SOUPS 133353 WITH SCORE 133629.511
AT ITER 2450 NEW BEST:: SOT 549931 SOS 275702 HAS SOPS 275702 HAS SOUS 133327 HAS SOUPS 133327 WITH SCORE 133602.702
AT ITER 2458 NEW BEST:: SOT 549990 SOS 275820 HAS SOPS 275820 HAS SOUS 133223 HAS SOUPS 133223 WITH SCORE 133498.82
AT ITER 2460 NEW BEST:: SOT 549664 SOS 287705 HAS SOPS 287705 HAS SOUS 133050 HAS SOUPS 133050 WITH SCORE 133337.705
AT ITER 2461 NEW BEST:: SOT 549632 SOS 287780 HAS SOPS 287780 HAS SOUS 133018 HAS SOUPS 133018 WITH SCORE 133305.78
AT ITER 2463 NEW BEST:: SOT 549635 SOS 287777 HAS SOPS 287777 HAS SOUS 133018 HAS SOUPS 133018 WITH SCORE 133305.777
AT ITER 2464 NEW BEST:: SOT 549633 SOS 287631 HAS SOPS 287631 HAS SOUS 132874 HAS SOUPS 132874 WITH SCORE 133161.631
AT ITER 2473 NEW BEST:: SOT 549563 SOS 287351 HAS SOPS 287351 HAS SOUS 132804 HAS SOUPS 132804 WITH SCORE 133091.351
AT ITER 2475 NEW BEST:: SOT 549172 SOS 286078 HAS SOPS 286078 HAS SOUS 131885 HAS SOUPS 131885 WITH SCORE 132171.078
AT ITER 2480 NEW BEST:: SOT 549023 SOS 286077 HAS SOPS 286077 HAS SOUS 131884 HAS SOUPS 131884 WITH SCORE 132170.077
AT ITER 2486 NEW BEST:: SOT 548916 SOS 285863 HAS SOPS 285863 HAS SOUS 131777 HAS SOUPS 131777 WITH SCORE 132062.863
AT ITER 2490 NEW BEST:: SOT 548907 SOS 285845 HAS SOPS 285845 HAS SOUS 131768 HAS SOUPS 131768 WITH SCORE 132053.845
AT ITER 2497 NEW BEST:: SOT 548822 SOS 285675 HAS SOPS 285675 HAS SOUS 131683 HAS SOUPS 131683 WITH SCORE 131968.675
AT ITER 2500 NEW BEST:: SOT 548689 SOS 285409 HAS SOPS 285409 HAS SOUS 131484 HAS SOUPS 131484 WITH SCORE 131769.409
AT ITER 2509 NEW BEST:: SOT 548723 SOS 285291 HAS SOPS 285291 HAS SOUS 131399 HAS SOUPS 131399 WITH SCORE 131684.291
AT ITER 2528 NEW BEST:: SOT 548667 SOS 285235 HAS SOPS 285235 HAS SOUS 131343 HAS SOUPS 131343 WITH SCORE 131628.235
AT ITER 2531 NEW BEST:: SOT 548605 SOS 285266 HAS SOPS 285266 HAS SOUS 131319 HAS SOUPS 131319 WITH SCORE 131604.266
AT ITER 2540 NEW BEST:: SOT 548558 SOS 285219 HAS SOPS 285219 HAS SOUS 131272 HAS SOUPS 131272 WITH SCORE 131557.219
AT ITER 2544 NEW BEST:: SOT 548558 SOS 285219 HAS SOPS 285219 HAS SOUS 131259 HAS SOUPS 131259 WITH SCORE 131544.219
AT ITER 2546 NEW BEST:: SOT 548078 SOS 284723 HAS SOPS 284723 HAS SOUS 131233 HAS SOUPS 131233 WITH SCORE 131517.723
AT ITER 2549 NEW BEST:: SOT 548100 SOS 284767 HAS SOPS 284767 HAS SOUS 131101 HAS SOUPS 131101 WITH SCORE 131385.767
AT ITER 2554 NEW BEST:: SOT 548250 SOS 284963 HAS SOPS 284963 HAS SOUS 131058 HAS SOUPS 131058 WITH SCORE 131342.963
AT ITER 2567 NEW BEST:: SOT 548308 SOS 284735 HAS SOPS 284735 HAS SOUS 131024 HAS SOUPS 131024 WITH SCORE 131308.735
AT ITER 2580 NEW BEST:: SOT 548197 SOS 284485 HAS SOPS 284485 HAS SOUS 130932 HAS SOUPS 130932 WITH SCORE 131216.485
AT ITER 2585 NEW BEST:: SOT 548206 SOS 284494 HAS SOPS 284494 HAS SOUS 130899 HAS SOUPS 130899 WITH SCORE 131183.494
AT ITER 2592 NEW BEST:: SOT 548100 SOS 282854 HAS SOPS 282854 HAS SOUS 130855 HAS SOUPS 130855 WITH SCORE 131137.854
AT ITER 2595 NEW BEST:: SOT 548100 SOS 282854 HAS SOPS 282854 HAS SOUS 130711 HAS SOUPS 130711 WITH SCORE 130993.854
AT ITER 2610 NEW BEST:: SOT 547968 SOS 282722 HAS SOPS 282722 HAS SOUS 130579 HAS SOUPS 130579 WITH SCORE 130861.722
AT ITER 2639 NEW BEST:: SOT 547840 SOS 282338 HAS SOPS 282338 HAS SOUS 130339 HAS SOUPS 130339 WITH SCORE 130621.338
AT ITER 2645 NEW BEST:: SOT 547839 SOS 282337 HAS SOPS 282337 HAS SOUS 130336 HAS SOUPS 130336 WITH SCORE 130618.337
AT ITER 2647 NEW BEST:: SOT 547839 SOS 282090 HAS SOPS 282090 HAS SOUS 130253 HAS SOUPS 130253 WITH SCORE 130535.09
AT ITER 2656 NEW BEST:: SOT 547824 SOS 282069 HAS SOPS 282069 HAS SOUS 130232 HAS SOUPS 130232 WITH SCORE 130514.069
AT ITER 2661 NEW BEST:: SOT 547823 SOS 282067 HAS SOPS 282067 HAS SOUS 130231 HAS SOUPS 130231 WITH SCORE 130513.067
AT ITER 2667 NEW BEST:: SOT 547855 SOS 282026 HAS SOPS 282026 HAS SOUS 130215 HAS SOUPS 130215 WITH SCORE 130497.026
AT ITER 2671 NEW BEST:: SOT 547915 SOS 281688 HAS SOPS 281688 HAS SOUS 130106 HAS SOUPS 130106 WITH SCORE 130387.688
AT ITER 2685 NEW BEST:: SOT 547907 SOS 281680 HAS SOPS 281680 HAS SOUS 130098 HAS SOUPS 130098 WITH SCORE 130379.68
AT ITER 2689 NEW BEST:: SOT 547907 SOS 281667 HAS SOPS 281667 HAS SOUS 130098 HAS SOUPS 130098 WITH SCORE 130379.667
AT ITER 2691 NEW BEST:: SOT 548172 SOS 281915 HAS SOPS 281915 HAS SOUS 130061 HAS SOUPS 130061 WITH SCORE 130342.915
AT ITER 2695 NEW BEST:: SOT 548008 SOS 281751 HAS SOPS 281751 HAS SOUS 129977 HAS SOUPS 129977 WITH SCORE 130258.751
AT ITER 2708 NEW BEST:: SOT 547997 SOS 281740 HAS SOPS 281740 HAS SOUS 129977 HAS SOUPS 129977 WITH SCORE 130258.74
AT ITER 2709 NEW BEST:: SOT 547800 SOS 280801 HAS SOPS 280801 HAS SOUS 129513 HAS SOUPS 129513 WITH SCORE 129793.801
AT ITER 2727 NEW BEST:: SOT 547748 SOS 280697 HAS SOPS 280697 HAS SOUS 129409 HAS SOUPS 129409 WITH SCORE 129689.697
AT ITER 2745 NEW BEST:: SOT 547737 SOS 280616 HAS SOPS 280616 HAS SOUS 129372 HAS SOUPS 129372 WITH SCORE 129652.616
AT ITER 2798 NEW BEST:: SOT 547257 SOS 280136 HAS SOPS 280136 HAS SOUS 129128 HAS SOUPS 129128 WITH SCORE 129408.136
AT ITER 2821 NEW BEST:: SOT 547199 SOS 280020 HAS SOPS 280020 HAS SOUS 129012 HAS SOUPS 129012 WITH SCORE 129292.02
AT ITER 2829 NEW BEST:: SOT 547241 SOS 279881 HAS SOPS 279881 HAS SOUS 128650 HAS SOUPS 128650 WITH SCORE 128929.881
AT ITER 2844 NEW BEST:: SOT 547241 SOS 279879 HAS SOPS 279879 HAS SOUS 128650 HAS SOUPS 128650 WITH SCORE 128929.879
AT ITER 2851 NEW BEST:: SOT 547226 SOS 279849 HAS SOPS 279849 HAS SOUS 128620 HAS SOUPS 128620 WITH SCORE 128899.849
AT ITER 2854 NEW BEST:: SOT 546968 SOS 279263 HAS SOPS 279263 HAS SOUS 128362 HAS SOUPS 128362 WITH SCORE 128641.263
AT ITER 2856 NEW BEST:: SOT 546973 SOS 279277 HAS SOPS 279277 HAS SOUS 128354 HAS SOUPS 128354 WITH SCORE 128633.277
AT ITER 2861 NEW BEST:: SOT 546950 SOS 279254 HAS SOPS 279254 HAS SOUS 128354 HAS SOUPS 128354 WITH SCORE 128633.254
AT ITER 2863 NEW BEST:: SOT 546866 SOS 279002 HAS SOPS 279002 HAS SOUS 128186 HAS SOUPS 128186 WITH SCORE 128465.002
AT ITER 2868 NEW BEST:: SOT 546855 SOS 278991 HAS SOPS 278991 HAS SOUS 128164 HAS SOUPS 128164 WITH SCORE 128442.991
AT ITER 2870 NEW BEST:: SOT 546838 SOS 278957 HAS SOPS 278957 HAS SOUS 128147 HAS SOUPS 128147 WITH SCORE 128425.957
AT ITER 2871 NEW BEST:: SOT 546838 SOS 278957 HAS SOPS 278957 HAS SOUS 127825 HAS SOUPS 127825 WITH SCORE 128103.957
AT ITER 2884 NEW BEST:: SOT 546853 SOS 278972 HAS SOPS 278972 HAS SOUS 127818 HAS SOUPS 127818 WITH SCORE 128096.972
AT ITER 2885 NEW BEST:: SOT 546853 SOS 278255 HAS SOPS 278255 HAS SOUS 127671 HAS SOUPS 127671 WITH SCORE 127949.255
AT ITER 2900 NEW BEST:: SOT 546779 SOS 278107 HAS SOPS 278107 HAS SOUS 127523 HAS SOUPS 127523 WITH SCORE 127801.107
AT ITER 2904 NEW BEST:: SOT 546694 SOS 278022 HAS SOPS 278022 HAS SOUS 127441 HAS SOUPS 127441 WITH SCORE 127719.022
AT ITER 2909 NEW BEST:: SOT 546688 SOS 277948 HAS SOPS 277948 HAS SOUS 127435 HAS SOUPS 127435 WITH SCORE 127712.948
AT ITER 2931 NEW BEST:: SOT 546559 SOS 277655 HAS SOPS 277655 HAS SOUS 127189 HAS SOUPS 127189 WITH SCORE 127466.655
AT ITER 2936 NEW BEST:: SOT 546477 SOS 277417 HAS SOPS 277417 HAS SOUS 127033 HAS SOUPS 127033 WITH SCORE 127310.417
AT ITER 2940 NEW BEST:: SOT 546473 SOS 277409 HAS SOPS 277409 HAS SOUS 127022 HAS SOUPS 127022 WITH SCORE 127299.409
AT ITER 2948 NEW BEST:: SOT 546482 SOS 277211 HAS SOPS 277211 HAS SOUS 126840 HAS SOUPS 126840 WITH SCORE 127117.211
AT ITER 2953 NEW BEST:: SOT 546344 SOS 277210 HAS SOPS 277210 HAS SOUS 126564 HAS SOUPS 126564 WITH SCORE 126841.21
AT ITER 2955 NEW BEST:: SOT 546329 SOS 277121 HAS SOPS 277121 HAS SOUS 126549 HAS SOUPS 126549 WITH SCORE 126826.121
AT ITER 2963 NEW BEST:: SOT 546377 SOS 277166 HAS SOPS 277166 HAS SOUS 126506 HAS SOUPS 126506 WITH SCORE 126783.166
AT ITER 2967 NEW BEST:: SOT 546213 SOS 276838 HAS SOPS 276838 HAS SOUS 126147 HAS SOUPS 126147 WITH SCORE 126423.838
AT ITER 2972 NEW BEST:: SOT 546209 SOS 276834 HAS SOPS 276834 HAS SOUS 126143 HAS SOUPS 126143 WITH SCORE 126419.834
AT ITER 2973 NEW BEST:: SOT 546204 SOS 276880 HAS SOPS 276880 HAS SOUS 126131 HAS SOUPS 126131 WITH SCORE 126407.88
AT ITER 2982 NEW BEST:: SOT 546138 SOS 276616 HAS SOPS 276616 HAS SOUS 125977 HAS SOUPS 125977 WITH SCORE 126253.616
AT ITER 2990 NEW BEST:: SOT 546064 SOS 276487 HAS SOPS 276487 HAS SOUS 125829 HAS SOUPS 125829 WITH SCORE 126105.487
AT ITER 2993 NEW BEST:: SOT 546064 SOS 276485 HAS SOPS 276485 HAS SOUS 125829 HAS SOUPS 125829 WITH SCORE 126105.485
AT ITER 3001 NEW BEST:: SOT 546064 SOS 276482 HAS SOPS 276482 HAS SOUS 125829 HAS SOUPS 125829 WITH SCORE 126105.482
AT ITER 3005 NEW BEST:: SOT 545983 SOS 276383 HAS SOPS 276383 HAS SOUS 125829 HAS SOUPS 125829 WITH SCORE 126105.383
AT ITER 3021 NEW BEST:: SOT 545973 SOS 276373 HAS SOPS 276373 HAS SOUS 125819 HAS SOUPS 125819 WITH SCORE 126095.373
AT ITER 3027 NEW BEST:: SOT 545720 SOS 275920 HAS SOPS 275920 HAS SOUS 125711 HAS SOUPS 125711 WITH SCORE 125986.92
AT ITER 3039 NEW BEST:: SOT 545770 SOS 275856 HAS SOPS 275856 HAS SOUS 125682 HAS SOUPS 125682 WITH SCORE 125957.856
AT ITER 3042 NEW BEST:: SOT 545675 SOS 275464 HAS SOPS 275464 HAS SOUS 125469 HAS SOUPS 125469 WITH SCORE 125744.464
AT ITER 3058 NEW BEST:: SOT 545675 SOS 275376 HAS SOPS 275376 HAS SOUS 125469 HAS SOUPS 125469 WITH SCORE 125744.376
AT ITER 3074 NEW BEST:: SOT 545707 SOS 275345 HAS SOPS 275345 HAS SOUS 125343 HAS SOUPS 125343 WITH SCORE 125618.345
AT ITER 3075 NEW BEST:: SOT 545647 SOS 275285 HAS SOPS 275285 HAS SOUS 125225 HAS SOUPS 125225 WITH SCORE 125500.285
AT ITER 3084 NEW BEST:: SOT 545647 SOS 275285 HAS SOPS 275285 HAS SOUS 125204 HAS SOUPS 125204 WITH SCORE 125479.285
AT ITER 3085 NEW BEST:: SOT 545617 SOS 275225 HAS SOPS 275225 HAS SOUS 125174 HAS SOUPS 125174 WITH SCORE 125449.225
AT ITER 3104 NEW BEST:: SOT 545617 SOS 274291 HAS SOPS 274291 HAS SOUS 125048 HAS SOUPS 125048 WITH SCORE 125322.291
AT ITER 3105 NEW BEST:: SOT 545545 SOS 274219 HAS SOPS 274219 HAS SOUS 124974 HAS SOUPS 124974 WITH SCORE 125248.219
AT ITER 3106 NEW BEST:: SOT 545505 SOS 274099 HAS SOPS 274099 HAS SOUS 124894 HAS SOUPS 124894 WITH SCORE 125168.099
AT ITER 3112 NEW BEST:: SOT 545505 SOS 274099 HAS SOPS 274099 HAS SOUS 124870 HAS SOUPS 124870 WITH SCORE 125144.099
AT ITER 3116 NEW BEST:: SOT 545473 SOS 274067 HAS SOPS 274067 HAS SOUS 124838 HAS SOUPS 124838 WITH SCORE 125112.067
AT ITER 3126 NEW BEST:: SOT 545434 SOS 273862 HAS SOPS 273862 HAS SOUS 124766 HAS SOUPS 124766 WITH SCORE 125039.862
AT ITER 3127 NEW BEST:: SOT 545475 SOS 273944 HAS SOPS 273944 HAS SOUS 124726 HAS SOUPS 124726 WITH SCORE 124999.944
AT ITER 3141 NEW BEST:: SOT 545525 SOS 273913 HAS SOPS 273913 HAS SOUS 124695 HAS SOUPS 124695 WITH SCORE 124968.913
AT ITER 3145 NEW BEST:: SOT 545500 SOS 273888 HAS SOPS 273888 HAS SOUS 124654 HAS SOUPS 124654 WITH SCORE 124927.888
AT ITER 3151 NEW BEST:: SOT 545477 SOS 273842 HAS SOPS 273842 HAS SOUS 124558 HAS SOUPS 124558 WITH SCORE 124831.842
AT ITER 3161 NEW BEST:: SOT 545379 SOS 273646 HAS SOPS 273646 HAS SOUS 124460 HAS SOUPS 124460 WITH SCORE 124733.646
AT ITER 3167 NEW BEST:: SOT 545244 SOS 273052 HAS SOPS 273052 HAS SOUS 124163 HAS SOUPS 124163 WITH SCORE 124436.052
AT ITER 3172 NEW BEST:: SOT 545334 SOS 273206 HAS SOPS 273206 HAS SOUS 124008 HAS SOUPS 124008 WITH SCORE 124281.206
AT ITER 3174 NEW BEST:: SOT 545328 SOS 273197 HAS SOPS 273197 HAS SOUS 123999 HAS SOUPS 123999 WITH SCORE 124272.197
AT ITER 3188 NEW BEST:: SOT 545328 SOS 273197 HAS SOPS 273197 HAS SOUS 123993 HAS SOUPS 123993 WITH SCORE 124266.197
AT ITER 3191 NEW BEST:: SOT 545328 SOS 273033 HAS SOPS 273033 HAS SOUS 123993 HAS SOUPS 123993 WITH SCORE 124266.033
AT ITER 3192 NEW BEST:: SOT 545204 SOS 272909 HAS SOPS 272909 HAS SOUS 123869 HAS SOUPS 123869 WITH SCORE 124141.909
AT ITER 3206 NEW BEST:: SOT 545219 SOS 272939 HAS SOPS 272939 HAS SOUS 123853 HAS SOUPS 123853 WITH SCORE 124125.939
AT ITER 3208 NEW BEST:: SOT 545216 SOS 272930 HAS SOPS 272930 HAS SOUS 123847 HAS SOUPS 123847 WITH SCORE 124119.93
AT ITER 3215 NEW BEST:: SOT 545216 SOS 272923 HAS SOPS 272923 HAS SOUS 123847 HAS SOUPS 123847 WITH SCORE 124119.923
AT ITER 3220 NEW BEST:: SOT 545137 SOS 272712 HAS SOPS 272712 HAS SOUS 123753 HAS SOUPS 123753 WITH SCORE 124025.712
AT ITER 3221 NEW BEST:: SOT 544918 SOS 272493 HAS SOPS 272493 HAS SOUS 123702 HAS SOUPS 123702 WITH SCORE 123974.493
AT ITER 3235 NEW BEST:: SOT 544904 SOS 272493 HAS SOPS 272493 HAS SOUS 123688 HAS SOUPS 123688 WITH SCORE 123960.493
AT ITER 3243 NEW BEST:: SOT 544904 SOS 272493 HAS SOPS 272493 HAS SOUS 123639 HAS SOUPS 123639 WITH SCORE 123911.493
AT ITER 3245 NEW BEST:: SOT 544904 SOS 272493 HAS SOPS 272493 HAS SOUS 123575 HAS SOUPS 123575 WITH SCORE 123847.493
AT ITER 3259 NEW BEST:: SOT 544904 SOS 272442 HAS SOPS 272442 HAS SOUS 123575 HAS SOUPS 123575 WITH SCORE 123847.442
AT ITER 3268 NEW BEST:: SOT 544894 SOS 272422 HAS SOPS 272422 HAS SOUS 123565 HAS SOUPS 123565 WITH SCORE 123837.422
AT ITER 3272 NEW BEST:: SOT 544873 SOS 272380 HAS SOPS 272380 HAS SOUS 123544 HAS SOUPS 123544 WITH SCORE 123816.38
AT ITER 3275 NEW BEST:: SOT 544866 SOS 272373 HAS SOPS 272373 HAS SOUS 123530 HAS SOUPS 123530 WITH SCORE 123802.373
AT ITER 3290 NEW BEST:: SOT 544762 SOS 272067 HAS SOPS 272067 HAS SOUS 123426 HAS SOUPS 123426 WITH SCORE 123698.067
AT ITER 3297 NEW BEST:: SOT 544743 SOS 271926 HAS SOPS 271926 HAS SOUS 123366 HAS SOUPS 123366 WITH SCORE 123637.926
AT ITER 3319 NEW BEST:: SOT 544775 SOS 271946 HAS SOPS 271946 HAS SOUS 123360 HAS SOUPS 123360 WITH SCORE 123631.946
AT ITER 3330 NEW BEST:: SOT 544621 SOS 271638 HAS SOPS 271638 HAS SOUS 123324 HAS SOUPS 123324 WITH SCORE 123595.638
AT ITER 3346 NEW BEST:: SOT 544605 SOS 271622 HAS SOPS 271622 HAS SOUS 123324 HAS SOUPS 123324 WITH SCORE 123595.622
AT ITER 3353 NEW BEST:: SOT 544452 SOS 271119 HAS SOPS 271119 HAS SOUS 122918 HAS SOUPS 122918 WITH SCORE 123189.119
AT ITER 3362 NEW BEST:: SOT 544452 SOS 271106 HAS SOPS 271106 HAS SOUS 122918 HAS SOUPS 122918 WITH SCORE 123189.106
AT ITER 3381 NEW BEST:: SOT 544315 SOS 270651 HAS SOPS 270651 HAS SOUS 122644 HAS SOUPS 122644 WITH SCORE 122914.651
AT ITER 3407 NEW BEST:: SOT 544315 SOS 270573 HAS SOPS 270573 HAS SOUS 122644 HAS SOUPS 122644 WITH SCORE 122914.573
AT ITER 3408 NEW BEST:: SOT 544203 SOS 270349 HAS SOPS 270349 HAS SOUS 122532 HAS SOUPS 122532 WITH SCORE 122802.349
AT ITER 3414 NEW BEST:: SOT 544203 SOS 270349 HAS SOPS 270349 HAS SOUS 122529 HAS SOUPS 122529 WITH SCORE 122799.349
AT ITER 3419 NEW BEST:: SOT 544203 SOS 270349 HAS SOPS 270349 HAS SOUS 122510 HAS SOUPS 122510 WITH SCORE 122780.349
AT ITER 3423 NEW BEST:: SOT 544360 SOS 270220 HAS SOPS 270220 HAS SOUS 122487 HAS SOUPS 122487 WITH SCORE 122757.22
AT ITER 3432 NEW BEST:: SOT 544357 SOS 270192 HAS SOPS 270192 HAS SOUS 122473 HAS SOUPS 122473 WITH SCORE 122743.192
AT ITER 3438 NEW BEST:: SOT 544357 SOS 270193 HAS SOPS 270193 HAS SOUS 122472 HAS SOUPS 122472 WITH SCORE 122742.193
AT ITER 3467 NEW BEST:: SOT 544258 SOS 270094 HAS SOPS 270094 HAS SOUS 122472 HAS SOUPS 122472 WITH SCORE 122742.094
AT ITER 3484 NEW BEST:: SOT 544326 SOS 270230 HAS SOPS 270230 HAS SOUS 122413 HAS SOUPS 122413 WITH SCORE 122683.23
AT ITER 3492 NEW BEST:: SOT 544224 SOS 269963 HAS SOPS 269963 HAS SOUS 122242 HAS SOUPS 122242 WITH SCORE 122511.963
AT ITER 3509 NEW BEST:: SOT 544224 SOS 269763 HAS SOPS 269763 HAS SOUS 121952 HAS SOUPS 121952 WITH SCORE 122221.763
AT ITER 3536 NEW BEST:: SOT 544204 SOS 269681 HAS SOPS 269681 HAS SOUS 121932 HAS SOUPS 121932 WITH SCORE 122201.681
AT ITER 3547 NEW BEST:: SOT 544174 SOS 269628 HAS SOPS 269628 HAS SOUS 121914 HAS SOUPS 121914 WITH SCORE 122183.628
AT ITER 3550 NEW BEST:: SOT 544144 SOS 269591 HAS SOPS 269591 HAS SOUS 121877 HAS SOUPS 121877 WITH SCORE 122146.591
AT ITER 3557 NEW BEST:: SOT 544137 SOS 269577 HAS SOPS 269577 HAS SOUS 121873 HAS SOUPS 121873 WITH SCORE 122142.577
AT ITER 3558 NEW BEST:: SOT 544150 SOS 269603 HAS SOPS 269603 HAS SOUS 121869 HAS SOUPS 121869 WITH SCORE 122138.603
AT ITER 3559 NEW BEST:: SOT 544073 SOS 269449 HAS SOPS 269449 HAS SOUS 121733 HAS SOUPS 121733 WITH SCORE 122002.449
AT ITER 3571 NEW BEST:: SOT 544073 SOS 269361 HAS SOPS 269361 HAS SOUS 121733 HAS SOUPS 121733 WITH SCORE 122002.361
AT ITER 3576 NEW BEST:: SOT 544075 SOS 269363 HAS SOPS 269363 HAS SOUS 121720 HAS SOUPS 121720 WITH SCORE 121989.363
AT ITER 3579 NEW BEST:: SOT 544093 SOS 269359 HAS SOPS 269359 HAS SOUS 121698 HAS SOUPS 121698 WITH SCORE 121967.359
AT ITER 3585 NEW BEST:: SOT 544093 SOS 269321 HAS SOPS 269321 HAS SOUS 121679 HAS SOUPS 121679 WITH SCORE 121948.321
AT ITER 3592 NEW BEST:: SOT 544087 SOS 267996 HAS SOPS 267996 HAS SOUS 121667 HAS SOUPS 121667 WITH SCORE 121934.996
AT ITER 3595 NEW BEST:: SOT 544087 SOS 267849 HAS SOPS 267849 HAS SOUS 121667 HAS SOUPS 121667 WITH SCORE 121934.849
AT ITER 3596 NEW BEST:: SOT 543983 SOS 267957 HAS SOPS 267957 HAS SOUS 121563 HAS SOUPS 121563 WITH SCORE 121830.957
AT ITER 3598 NEW BEST:: SOT 543983 SOS 267873 HAS SOPS 267873 HAS SOUS 121479 HAS SOUPS 121479 WITH SCORE 121746.873
AT ITER 3605 NEW BEST:: SOT 543997 SOS 267847 HAS SOPS 267847 HAS SOUS 121466 HAS SOUPS 121466 WITH SCORE 121733.847
AT ITER 3616 NEW BEST:: SOT 543963 SOS 268129 HAS SOPS 268129 HAS SOUS 121289 HAS SOUPS 121289 WITH SCORE 121557.129
AT ITER 3634 NEW BEST:: SOT 543963 SOS 268284 HAS SOPS 268284 HAS SOUS 121288 HAS SOUPS 121288 WITH SCORE 121556.284
AT ITER 3636 NEW BEST:: SOT 543963 SOS 268284 HAS SOPS 268284 HAS SOUS 121256 HAS SOUPS 121256 WITH SCORE 121524.284
AT ITER 3657 NEW BEST:: SOT 543874 SOS 268106 HAS SOPS 268106 HAS SOUS 121167 HAS SOUPS 121167 WITH SCORE 121435.106
AT ITER 3659 NEW BEST:: SOT 543775 SOS 268042 HAS SOPS 268042 HAS SOUS 121167 HAS SOUPS 121167 WITH SCORE 121435.042
AT ITER 3667 NEW BEST:: SOT 543775 SOS 268040 HAS SOPS 268040 HAS SOUS 121165 HAS SOUPS 121165 WITH SCORE 121433.04
AT ITER 3693 NEW BEST:: SOT 543793 SOS 268058 HAS SOPS 268058 HAS SOUS 121133 HAS SOUPS 121133 WITH SCORE 121401.058
AT ITER 3702 NEW BEST:: SOT 543793 SOS 268058 HAS SOPS 268058 HAS SOUS 121129 HAS SOUPS 121129 WITH SCORE 121397.058
AT ITER 3704 NEW BEST:: SOT 543793 SOS 267984 HAS SOPS 267984 HAS SOUS 121055 HAS SOUPS 121055 WITH SCORE 121322.984
AT ITER 3727 NEW BEST:: SOT 543708 SOS 267912 HAS SOPS 267912 HAS SOUS 120970 HAS SOUPS 120970 WITH SCORE 121237.912
AT ITER 3736 NEW BEST:: SOT 543695 SOS 267899 HAS SOPS 267899 HAS SOUS 120970 HAS SOUPS 120970 WITH SCORE 121237.899
AT ITER 3740 NEW BEST:: SOT 543598 SOS 266796 HAS SOPS 266796 HAS SOUS 120971 HAS SOUPS 120971 WITH SCORE 121237.796
AT ITER 3753 NEW BEST:: SOT 543498 SOS 266688 HAS SOPS 266688 HAS SOUS 120929 HAS SOUPS 120929 WITH SCORE 121195.688
AT ITER 3764 NEW BEST:: SOT 543529 SOS 266675 HAS SOPS 266675 HAS SOUS 120885 HAS SOUPS 120885 WITH SCORE 121151.675
AT ITER 3772 NEW BEST:: SOT 543412 SOS 266558 HAS SOPS 266558 HAS SOUS 120885 HAS SOUPS 120885 WITH SCORE 121151.558
AT ITER 3794 NEW BEST:: SOT 543397 SOS 266528 HAS SOPS 266528 HAS SOUS 120855 HAS SOUPS 120855 WITH SCORE 121121.528
AT ITER 3795 NEW BEST:: SOT 543376 SOS 266486 HAS SOPS 266486 HAS SOUS 120834 HAS SOUPS 120834 WITH SCORE 121100.486
AT ITER 3811 NEW BEST:: SOT 543341 SOS 266361 HAS SOPS 266361 HAS SOUS 120764 HAS SOUPS 120764 WITH SCORE 121030.361
AT ITER 3834 NEW BEST:: SOT 543341 SOS 266361 HAS SOPS 266361 HAS SOUS 120727 HAS SOUPS 120727 WITH SCORE 120993.361
AT ITER 3850 NEW BEST:: SOT 543180 SOS 266154 HAS SOPS 266154 HAS SOUS 120725 HAS SOUPS 120725 WITH SCORE 120991.154
AT ITER 3863 NEW BEST:: SOT 543012 SOS 265936 HAS SOPS 265936 HAS SOUS 120541 HAS SOUPS 120541 WITH SCORE 120806.936
AT ITER 3865 NEW BEST:: SOT 543007 SOS 265960 HAS SOPS 265960 HAS SOUS 120536 HAS SOUPS 120536 WITH SCORE 120801.96
AT ITER 3889 NEW BEST:: SOT 542863 SOS 265672 HAS SOPS 265672 HAS SOUS 120393 HAS SOUPS 120393 WITH SCORE 120658.672
AT ITER 3895 NEW BEST:: SOT 542850 SOS 265646 HAS SOPS 265646 HAS SOUS 120380 HAS SOUPS 120380 WITH SCORE 120645.646
AT ITER 3903 NEW BEST:: SOT 542284 SOS 265466 HAS SOPS 265466 HAS SOUS 120018 HAS SOUPS 120018 WITH SCORE 120283.466
AT ITER 3905 NEW BEST:: SOT 542242 SOS 265284 HAS SOPS 265284 HAS SOUS 120012 HAS SOUPS 120012 WITH SCORE 120277.284
AT ITER 3915 NEW BEST:: SOT 542220 SOS 265240 HAS SOPS 265240 HAS SOUS 119968 HAS SOUPS 119968 WITH SCORE 120233.24
AT ITER 3942 NEW BEST:: SOT 542220 SOS 265086 HAS SOPS 265086 HAS SOUS 119968 HAS SOUPS 119968 WITH SCORE 120233.086
AT ITER 3950 NEW BEST:: SOT 542227 SOS 265022 HAS SOPS 265022 HAS SOUS 119878 HAS SOUPS 119878 WITH SCORE 120143.022
AT ITER 3958 NEW BEST:: SOT 542216 SOS 264619 HAS SOPS 264619 HAS SOUS 119867 HAS SOUPS 119867 WITH SCORE 120131.619
AT ITER 3959 NEW BEST:: SOT 542133 SOS 264859 HAS SOPS 264859 HAS SOUS 119751 HAS SOUPS 119751 WITH SCORE 120015.859
AT ITER 3960 NEW BEST:: SOT 542163 SOS 264889 HAS SOPS 264889 HAS SOUS 119691 HAS SOUPS 119691 WITH SCORE 119955.889
AT ITER 3976 NEW BEST:: SOT 542163 SOS 264889 HAS SOPS 264889 HAS SOUS 119653 HAS SOUPS 119653 WITH SCORE 119917.889
AT ITER 3979 NEW BEST:: SOT 542115 SOS 264841 HAS SOPS 264841 HAS SOUS 119605 HAS SOUPS 119605 WITH SCORE 119869.841
AT ITER 3982 NEW BEST:: SOT 542060 SOS 264786 HAS SOPS 264786 HAS SOUS 119432 HAS SOUPS 119432 WITH SCORE 119696.786
AT ITER 3987 NEW BEST:: SOT 542054 SOS 265521 HAS SOPS 265521 HAS SOUS 119426 HAS SOUPS 119426 WITH SCORE 119691.521
AT ITER 3988 NEW BEST:: SOT 541997 SOS 265520 HAS SOPS 265520 HAS SOUS 119310 HAS SOUPS 119310 WITH SCORE 119575.52
AT ITER 3990 NEW BEST:: SOT 541971 SOS 265468 HAS SOPS 265468 HAS SOUS 119284 HAS SOUPS 119284 WITH SCORE 119549.468
AT ITER 4004 NEW BEST:: SOT 541971 SOS 265450 HAS SOPS 265450 HAS SOUS 119278 HAS SOUPS 119278 WITH SCORE 119543.45
AT ITER 4005 NEW BEST:: SOT 541826 SOS 265305 HAS SOPS 265305 HAS SOUS 119192 HAS SOUPS 119192 WITH SCORE 119457.305
AT ITER 4019 NEW BEST:: SOT 541594 SOS 265073 HAS SOPS 265073 HAS SOUS 119158 HAS SOUPS 119158 WITH SCORE 119423.073
AT ITER 4020 NEW BEST:: SOT 541554 SOS 265062 HAS SOPS 265062 HAS SOUS 119101 HAS SOUPS 119101 WITH SCORE 119366.062
AT ITER 4025 NEW BEST:: SOT 541506 SOS 265014 HAS SOPS 265014 HAS SOUS 119001 HAS SOUPS 119001 WITH SCORE 119266.014
AT ITER 4040 NEW BEST:: SOT 541416 SOS 265012 HAS SOPS 265012 HAS SOUS 118999 HAS SOUPS 118999 WITH SCORE 119264.012
AT ITER 4047 NEW BEST:: SOT 541372 SOS 264899 HAS SOPS 264899 HAS SOUS 118886 HAS SOUPS 118886 WITH SCORE 119150.899
AT ITER 4064 NEW BEST:: SOT 541256 SOS 264609 HAS SOPS 264609 HAS SOUS 118654 HAS SOUPS 118654 WITH SCORE 118918.609
AT ITER 4070 NEW BEST:: SOT 541214 SOS 264567 HAS SOPS 264567 HAS SOUS 118612 HAS SOUPS 118612 WITH SCORE 118876.567
AT ITER 4080 NEW BEST:: SOT 541194 SOS 264507 HAS SOPS 264507 HAS SOUS 118592 HAS SOUPS 118592 WITH SCORE 118856.507
AT ITER 4082 NEW BEST:: SOT 541196 SOS 264527 HAS SOPS 264527 HAS SOUS 118588 HAS SOUPS 118588 WITH SCORE 118852.527
AT ITER 4106 NEW BEST:: SOT 541179 SOS 264493 HAS SOPS 264493 HAS SOUS 118554 HAS SOUPS 118554 WITH SCORE 118818.493
AT ITER 4119 NEW BEST:: SOT 541103 SOS 264341 HAS SOPS 264341 HAS SOUS 118402 HAS SOUPS 118402 WITH SCORE 118666.341
AT ITER 4125 NEW BEST:: SOT 541103 SOS 264341 HAS SOPS 264341 HAS SOUS 118359 HAS SOUPS 118359 WITH SCORE 118623.341
AT ITER 4128 NEW BEST:: SOT 541024 SOS 264183 HAS SOPS 264183 HAS SOUS 118299 HAS SOUPS 118299 WITH SCORE 118563.183
AT ITER 4134 NEW BEST:: SOT 540936 SOS 264077 HAS SOPS 264077 HAS SOUS 118085 HAS SOUPS 118085 WITH SCORE 118349.077
AT ITER 4136 NEW BEST:: SOT 540871 SOS 263848 HAS SOPS 263848 HAS SOUS 117953 HAS SOUPS 117953 WITH SCORE 118216.848
AT ITER 4150 NEW BEST:: SOT 540775 SOS 263608 HAS SOPS 263608 HAS SOUS 117809 HAS SOUPS 117809 WITH SCORE 118072.608
AT ITER 4157 NEW BEST:: SOT 540773 SOS 263919 HAS SOPS 263919 HAS SOUS 117807 HAS SOUPS 117807 WITH SCORE 118070.919
AT ITER 4163 NEW BEST:: SOT 540773 SOS 263919 HAS SOPS 263919 HAS SOUS 117800 HAS SOUPS 117800 WITH SCORE 118063.919
AT ITER 4199 NEW BEST:: SOT 540773 SOS 263274 HAS SOPS 263274 HAS SOUS 117800 HAS SOUPS 117800 WITH SCORE 118063.274
AT ITER 4202 NEW BEST:: SOT 540760 SOS 263248 HAS SOPS 263248 HAS SOUS 117745 HAS SOUPS 117745 WITH SCORE 118008.248
AT ITER 4206 NEW BEST:: SOT 540698 SOS 263186 HAS SOPS 263186 HAS SOUS 117683 HAS SOUPS 117683 WITH SCORE 117946.186
AT ITER 4234 NEW BEST:: SOT 540698 SOS 263134 HAS SOPS 263134 HAS SOUS 117683 HAS SOUPS 117683 WITH SCORE 117946.134
AT ITER 4238 NEW BEST:: SOT 540778 SOS 262013 HAS SOPS 262013 HAS SOUS 117616 HAS SOUPS 117616 WITH SCORE 117878.013
AT ITER 4244 NEW BEST:: SOT 540778 SOS 261821 HAS SOPS 261821 HAS SOUS 117612 HAS SOUPS 117612 WITH SCORE 117873.821
AT ITER 4252 NEW BEST:: SOT 540835 SOS 261494 HAS SOPS 261494 HAS SOUS 117529 HAS SOUPS 117529 WITH SCORE 117790.494
AT ITER 4313 NEW BEST:: SOT 540838 SOS 261411 HAS SOPS 261411 HAS SOUS 117482 HAS SOUPS 117482 WITH SCORE 117743.411
AT ITER 4325 NEW BEST:: SOT 540739 SOS 261312 HAS SOPS 261312 HAS SOUS 117383 HAS SOUPS 117383 WITH SCORE 117644.312
AT ITER 4353 NEW BEST:: SOT 540739 SOS 261351 HAS SOPS 261351 HAS SOUS 117344 HAS SOUPS 117344 WITH SCORE 117605.351
AT ITER 4385 NEW BEST:: SOT 540703 SOS 261315 HAS SOPS 261315 HAS SOUS 117308 HAS SOUPS 117308 WITH SCORE 117569.315
AT ITER 4389 NEW BEST:: SOT 540696 SOS 261301 HAS SOPS 261301 HAS SOUS 117301 HAS SOUPS 117301 WITH SCORE 117562.301
AT ITER 4391 NEW BEST:: SOT 540696 SOS 261301 HAS SOPS 261301 HAS SOUS 117248 HAS SOUPS 117248 WITH SCORE 117509.301
AT ITER 4413 NEW BEST:: SOT 540772 SOS 261453 HAS SOPS 261453 HAS SOUS 117237 HAS SOUPS 117237 WITH SCORE 117498.453
AT ITER 4414 NEW BEST:: SOT 540772 SOS 261428 HAS SOPS 261428 HAS SOUS 117237 HAS SOUPS 117237 WITH SCORE 117498.428
AT ITER 4423 NEW BEST:: SOT 540899 SOS 261660 HAS SOPS 261660 HAS SOUS 117217 HAS SOUPS 117217 WITH SCORE 117478.66
AT ITER 4436 NEW BEST:: SOT 540922 SOS 261706 HAS SOPS 261706 HAS SOUS 117152 HAS SOUPS 117152 WITH SCORE 117413.706
AT ITER 4439 NEW BEST:: SOT 540927 SOS 261687 HAS SOPS 261687 HAS SOUS 117126 HAS SOUPS 117126 WITH SCORE 117387.687
AT ITER 4449 NEW BEST:: SOT 540927 SOS 261685 HAS SOPS 261685 HAS SOUS 117125 HAS SOUPS 117125 WITH SCORE 117386.685
AT ITER 4457 NEW BEST:: SOT 540871 SOS 261629 HAS SOPS 261629 HAS SOUS 117069 HAS SOUPS 117069 WITH SCORE 117330.629
AT ITER 4458 NEW BEST:: SOT 540944 SOS 261757 HAS SOPS 261757 HAS SOUS 116956 HAS SOUPS 116956 WITH SCORE 117217.757
AT ITER 4469 NEW BEST:: SOT 540955 SOS 263019 HAS SOPS 263019 HAS SOUS 116893 HAS SOUPS 116893 WITH SCORE 117156.019
AT ITER 4482 NEW BEST:: SOT 541043 SOS 263042 HAS SOPS 263042 HAS SOUS 116860 HAS SOUPS 116860 WITH SCORE 117123.042
AT ITER 4483 NEW BEST:: SOT 541045 SOS 263046 HAS SOPS 263046 HAS SOUS 116818 HAS SOUPS 116818 WITH SCORE 117081.046
AT ITER 4496 NEW BEST:: SOT 540985 SOS 262926 HAS SOPS 262926 HAS SOUS 116758 HAS SOUPS 116758 WITH SCORE 117020.926
AT ITER 4508 NEW BEST:: SOT 540870 SOS 262696 HAS SOPS 262696 HAS SOUS 116689 HAS SOUPS 116689 WITH SCORE 116951.696
AT ITER 4531 NEW BEST:: SOT 540905 SOS 262316 HAS SOPS 262316 HAS SOUS 116614 HAS SOUPS 116614 WITH SCORE 116876.316
AT ITER 4548 NEW BEST:: SOT 540790 SOS 261957 HAS SOPS 261957 HAS SOUS 116595 HAS SOUPS 116595 WITH SCORE 116856.957
AT ITER 4568 NEW BEST:: SOT 540784 SOS 261948 HAS SOPS 261948 HAS SOUS 116589 HAS SOUPS 116589 WITH SCORE 116850.948
AT ITER 4573 NEW BEST:: SOT 540771 SOS 261935 HAS SOPS 261935 HAS SOUS 116576 HAS SOUPS 116576 WITH SCORE 116837.935
AT ITER 4574 NEW BEST:: SOT 540757 SOS 261963 HAS SOPS 261963 HAS SOUS 116565 HAS SOUPS 116565 WITH SCORE 116826.963
AT ITER 4589 NEW BEST:: SOT 540756 SOS 261962 HAS SOPS 261962 HAS SOUS 116564 HAS SOUPS 116564 WITH SCORE 116825.962
AT ITER 4591 NEW BEST:: SOT 540790 SOS 261993 HAS SOPS 261993 HAS SOUS 116558 HAS SOUPS 116558 WITH SCORE 116819.993
AT ITER 4596 NEW BEST:: SOT 540720 SOS 261853 HAS SOPS 261853 HAS SOUS 116339 HAS SOUPS 116339 WITH SCORE 116600.853
AT ITER 4598 NEW BEST:: SOT 540720 SOS 261829 HAS SOPS 261829 HAS SOUS 116339 HAS SOUPS 116339 WITH SCORE 116600.829
AT ITER 4617 NEW BEST:: SOT 540673 SOS 261735 HAS SOPS 261735 HAS SOUS 116289 HAS SOUPS 116289 WITH SCORE 116550.735
AT ITER 4626 NEW BEST:: SOT 540673 SOS 261726 HAS SOPS 261726 HAS SOUS 116280 HAS SOUPS 116280 WITH SCORE 116541.726
AT ITER 4635 NEW BEST:: SOT 540673 SOS 261748 HAS SOPS 261748 HAS SOUS 116247 HAS SOUPS 116247 WITH SCORE 116508.748
AT ITER 4671 NEW BEST:: SOT 540662 SOS 261737 HAS SOPS 261737 HAS SOUS 116247 HAS SOUPS 116247 WITH SCORE 116508.737
AT ITER 4680 NEW BEST:: SOT 540660 SOS 261733 HAS SOPS 261733 HAS SOUS 116243 HAS SOUPS 116243 WITH SCORE 116504.733
AT ITER 4687 NEW BEST:: SOT 540646 SOS 261719 HAS SOPS 261719 HAS SOUS 116229 HAS SOUPS 116229 WITH SCORE 116490.719
AT ITER 4700 NEW BEST:: SOT 540646 SOS 261703 HAS SOPS 261703 HAS SOUS 116213 HAS SOUPS 116213 WITH SCORE 116474.703
AT ITER 4727 NEW BEST:: SOT 540550 SOS 261511 HAS SOPS 261511 HAS SOUS 116133 HAS SOUPS 116133 WITH SCORE 116394.511
AT ITER 4742 NEW BEST:: SOT 540534 SOS 261530 HAS SOPS 261530 HAS SOUS 116101 HAS SOUPS 116101 WITH SCORE 116362.53
AT ITER 4758 NEW BEST:: SOT 540534 SOS 261506 HAS SOPS 261506 HAS SOUS 116077 HAS SOUPS 116077 WITH SCORE 116338.506
AT ITER 4759 NEW BEST:: SOT 540499 SOS 261366 HAS SOPS 261366 HAS SOUS 116007 HAS SOUPS 116007 WITH SCORE 116268.366
AT ITER 4760 NEW BEST:: SOT 540437 SOS 261366 HAS SOPS 261366 HAS SOUS 115945 HAS SOUPS 115945 WITH SCORE 116206.366
AT ITER 4770 NEW BEST:: SOT 540415 SOS 260938 HAS SOPS 260938 HAS SOUS 115815 HAS SOUPS 115815 WITH SCORE 116075.938
AT ITER 4781 NEW BEST:: SOT 540644 SOS 261167 HAS SOPS 261167 HAS SOUS 115781 HAS SOUPS 115781 WITH SCORE 116042.167
AT ITER 4789 NEW BEST:: SOT 540641 SOS 261164 HAS SOPS 261164 HAS SOUS 115778 HAS SOUPS 115778 WITH SCORE 116039.164
AT ITER 4807 NEW BEST:: SOT 540612 SOS 261135 HAS SOPS 261135 HAS SOUS 115691 HAS SOUPS 115691 WITH SCORE 115952.135
AT ITER 4810 NEW BEST:: SOT 540542 SOS 261052 HAS SOPS 261052 HAS SOUS 115624 HAS SOUPS 115624 WITH SCORE 115885.052
AT ITER 4819 NEW BEST:: SOT 540436 SOS 260840 HAS SOPS 260840 HAS SOUS 115463 HAS SOUPS 115463 WITH SCORE 115723.84
AT ITER 4828 NEW BEST:: SOT 540422 SOS 261014 HAS SOPS 261014 HAS SOUS 115395 HAS SOUPS 115395 WITH SCORE 115656.014
AT ITER 4834 NEW BEST:: SOT 540184 SOS 262085 HAS SOPS 262085 HAS SOUS 115276 HAS SOUPS 115276 WITH SCORE 115538.085
AT ITER 4857 NEW BEST:: SOT 540144 SOS 262093 HAS SOPS 262093 HAS SOUS 115236 HAS SOUPS 115236 WITH SCORE 115498.093
AT ITER 4860 NEW BEST:: SOT 540156 SOS 262081 HAS SOPS 262081 HAS SOUS 115211 HAS SOUPS 115211 WITH SCORE 115473.081
AT ITER 4865 NEW BEST:: SOT 540197 SOS 262114 HAS SOPS 262114 HAS SOUS 115191 HAS SOUPS 115191 WITH SCORE 115453.114
AT ITER 4877 NEW BEST:: SOT 540169 SOS 262086 HAS SOPS 262086 HAS SOUS 115163 HAS SOUPS 115163 WITH SCORE 115425.086
AT ITER 4880 NEW BEST:: SOT 540170 SOS 261776 HAS SOPS 261776 HAS SOUS 115008 HAS SOUPS 115008 WITH SCORE 115269.776
AT ITER 4882 NEW BEST:: SOT 540070 SOS 261642 HAS SOPS 261642 HAS SOUS 114988 HAS SOUPS 114988 WITH SCORE 115249.642
AT ITER 4903 NEW BEST:: SOT 540056 SOS 261614 HAS SOPS 261614 HAS SOUS 114960 HAS SOUPS 114960 WITH SCORE 115221.614
AT ITER 4911 NEW BEST:: SOT 540046 SOS 261604 HAS SOPS 261604 HAS SOUS 114940 HAS SOUPS 114940 WITH SCORE 115201.604
AT ITER 4920 NEW BEST:: SOT 540041 SOS 261476 HAS SOPS 261476 HAS SOUS 114881 HAS SOUPS 114881 WITH SCORE 115142.476
AT ITER 4932 NEW BEST:: SOT 540015 SOS 261450 HAS SOPS 261450 HAS SOUS 114855 HAS SOUPS 114855 WITH SCORE 115116.45
AT ITER 4944 NEW BEST:: SOT 540015 SOS 261450 HAS SOPS 261450 HAS SOUS 114833 HAS SOUPS 114833 WITH SCORE 115094.45
AT ITER 4945 NEW BEST:: SOT 540502 SOS 261846 HAS SOPS 261846 HAS SOUS 114796 HAS SOUPS 114796 WITH SCORE 115057.846
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-00 (! (EF((EG( potential( ( 1 ) <= (tk(P86)) ))))))
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-01 ( (EX( ( (! potential( ( 3 ) <= (tk(P452)) )) & (! potential( (tk(P428)) <= (tk(P630)) )) ))) | (EF((! potential( (tk(P759)) <= (tk(P833)) )))) )
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-02 (EG( ( ( potential( (tk(P575)) <= (tk(P829)) ) | ( potential( ( 3 ) <= (tk(P50)) ) & potential( ( 3 ) <= (tk(P244)) ) ) ) | (! (! potential( (tk(P372)) <= (tk(P723)) ))) )))
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-03 (AF(( ( (! potential( ( 3 ) <= (tk(P784)) )) | (! potential( ( 2 ) <= (tk(P333)) )) ) & (EG( potential( (tk(P649)) <= (tk(P414)) ))) )))
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-04 (EF(( (AX( potential( ( 1 ) <= (tk(P654)) ))) | ( ( potential( ( 1 ) <= (tk(P640)) ) & potential( (tk(P249)) <= (tk(P578)) ) ) & ( potential( ( 2 ) <= (tk(P240)) ) & potential( (tk(P680)) <= (tk(P343)) ) ) ) )))
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-05 (EF((AG( ( potential( (tk(P663)) <= (tk(P163)) ) & potential( (tk(P910)) <= (tk(P244)) ) )))))
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-06 (EG( (! ( ( potential( ( 2 ) <= (tk(P916)) ) | potential( ( 2 ) <= (tk(P675)) ) ) & (! potential( ( 1 ) <= (tk(P155)) )) ))))
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-07 (EU( (EG( potential( (tk(P335)) <= (tk(P315)) ))),(! (! potential( ( 1 ) <= (tk(P817)) ))) ))
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-08 ( (EG( ( ( potential( ( 2 ) <= (tk(P685)) ) | potential( (tk(P895)) <= (tk(P663)) ) ) | potential( (tk(P312)) <= (tk(P867)) ) ))) & (AU( ( potential( (tk(P480)) <= (tk(P563)) ) & potential( ( 3 ) <= (tk(P260)) ) ),( potential( (tk(P173)) <= (tk(P392)) ) | potential( ( 1 ) <= (tk(P328)) ) ) )) )
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-09 (EU( ( (! potential( ( 3 ) <= (tk(P733)) )) & potential( (tk(P676)) <= (tk(P542)) ) ),(AF(potential( ( 2 ) <= (tk(P35)) ))) ))
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-10 (EF((AF(potential( ( 3 ) <= (tk(P187)) )))))
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-11 ( ( (AF(( potential( ( 1 ) <= (tk(P73)) ) & potential( (tk(P61)) <= (tk(P151)) ) ))) & (! ( potential( ( 2 ) <= (tk(P52)) ) & ( potential( (tk(P338)) <= (tk(P193)) ) & potential( ( 3 ) <= (tk(P901)) ) ) )) ) | ( ( (AF(potential( ( 3 ) <= (tk(P44)) ))) & potential( (tk(P395)) <= (tk(P593)) ) ) | ( ( ( potential( ( 2 ) <= (tk(P656)) ) & potential( ( 3 ) <= (tk(P203)) ) ) & (! potential( (tk(P823)) <= (tk(P579)) )) ) & ( ( potential( (tk(P3)) <= (tk(P233)) ) & potential( ( 3 ) <= (tk(P203)) ) ) | potential( (tk(P585)) <= (tk(P872)) ) ) ) ) )
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-12 (EU( (AG( potential( (tk(P710)) <= (tk(P492)) ))),(! (! potential( ( 2 ) <= (tk(P578)) ))) ))
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-13 (! (EF(potential( ( 1 ) <= (tk(P165)) ))))
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-14 ( (! ( ( ( potential( ( 2 ) <= (tk(P695)) ) & potential( (tk(P828)) <= (tk(P677)) ) ) & potential( (tk(P749)) <= (tk(P615)) ) ) | (EG( potential( (tk(P622)) <= (tk(P671)) ))) )) & ( potential( (tk(P419)) <= (tk(P7)) ) | (EX( ( potential( ( 1 ) <= (tk(P364)) ) & potential( ( 3 ) <= (tk(P142)) ) ))) ) )
PROPERTY: FlexibleBarrier-PT-08b-CTLCardinality-15 (! (EX( (AG( potential( (tk(P157)) <= (tk(P745)) ))))))

BK_TIME_CONFINEMENT_REACHED

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

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="FlexibleBarrier-PT-08b"
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 FlexibleBarrier-PT-08b, 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 r078-smll-158922972400299"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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