Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 24K Feb 26 13:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 141K Feb 26 13:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 47K Feb 26 13:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 238K Feb 26 13:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 40K Feb 26 14:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 196K Feb 26 14:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 262K Feb 26 14:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.2M Feb 26 14:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 11M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678804306799

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-PT-S06J04T06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S06J04T06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 632 places, 10500 transitions, 88770 arcs.
AT ITER 0 NEW BEST:: SOT 4164132 SOS 2550479 HAS SOPS 2538061 HAS SOUS 448920 HAS SOUPS 448252 WITH SCORE 450802.479
AT ITER 9 NEW BEST:: SOT 4163571 SOS 2550037 HAS SOPS 2537619 HAS SOUS 448478 HAS SOUPS 447810 WITH SCORE 450360.037
AT ITER 14 NEW BEST:: SOT 4163571 SOS 2550037 HAS SOPS 2537619 HAS SOUS 448466 HAS SOUPS 447798 WITH SCORE 450348.037
AT ITER 20 NEW BEST:: SOT 4163645 SOS 2550150 HAS SOPS 2537732 HAS SOUS 448293 HAS SOUPS 447625 WITH SCORE 450175.15
AT ITER 29 NEW BEST:: SOT 4163549 SOS 2550054 HAS SOPS 2537630 HAS SOUS 448173 HAS SOUPS 447502 WITH SCORE 450052.054
AT ITER 40 NEW BEST:: SOT 4163577 SOS 2550042 HAS SOPS 2537618 HAS SOUS 448161 HAS SOUPS 447490 WITH SCORE 450040.042
AT ITER 43 NEW BEST:: SOT 4163558 SOS 2550030 HAS SOPS 2537606 HAS SOUS 448149 HAS SOUPS 447478 WITH SCORE 450028.03
AT ITER 47 NEW BEST:: SOT 4163384 SOS 2548651 HAS SOPS 2536227 HAS SOUS 448077 HAS SOUPS 447406 WITH SCORE 449954.651
AT ITER 50 NEW BEST:: SOT 4163312 SOS 2548579 HAS SOPS 2536127 HAS SOUS 448061 HAS SOUPS 447378 WITH SCORE 449926.579
AT ITER 53 NEW BEST:: SOT 4155635 SOS 2602437 HAS SOPS 2597620 HAS SOUS 442882 HAS SOUPS 442379 WITH SCORE 444981.437
AT ITER 60 NEW BEST:: SOT 4155634 SOS 2602541 HAS SOPS 2597988 HAS SOUS 442741 HAS SOUPS 442282 WITH SCORE 444884.541
AT ITER 92 NEW BEST:: SOT 4154058 SOS 2600785 HAS SOPS 2596232 HAS SOUS 441231 HAS SOUPS 440772 WITH SCORE 443372.785
AT ITER 96 NEW BEST:: SOT 4153791 SOS 2600322 HAS SOPS 2595769 HAS SOUS 440879 HAS SOUPS 440420 WITH SCORE 443020.322
AT ITER 105 NEW BEST:: SOT 4153421 SOS 2599952 HAS SOPS 2595399 HAS SOUS 440479 HAS SOUPS 440020 WITH SCORE 442619.952
AT ITER 107 NEW BEST:: SOT 4153050 SOS 2599692 HAS SOPS 2595139 HAS SOUS 440105 HAS SOUPS 439646 WITH SCORE 442245.692
AT ITER 114 NEW BEST:: SOT 4152734 SOS 2599203 HAS SOPS 2594650 HAS SOUS 439325 HAS SOUPS 438866 WITH SCORE 441465.203
AT ITER 118 NEW BEST:: SOT 4152718 SOS 2599187 HAS SOPS 2594618 HAS SOUS 439309 HAS SOUPS 438848 WITH SCORE 441447.187
AT ITER 120 NEW BEST:: SOT 4152402 SOS 2598952 HAS SOPS 2594383 HAS SOUS 438941 HAS SOUPS 438480 WITH SCORE 441078.952
AT ITER 124 NEW BEST:: SOT 4152402 SOS 2598952 HAS SOPS 2594383 HAS SOUS 438911 HAS SOUPS 438450 WITH SCORE 441048.952
AT ITER 131 NEW BEST:: SOT 3885276 SOS 2331826 HAS SOPS 2327257 HAS SOUS 403229 HAS SOUPS 402768 WITH SCORE 405099.826
AT ITER 132 NEW BEST:: SOT 3885760 SOS 2332688 HAS SOPS 2328119 HAS SOUS 403069 HAS SOUPS 402608 WITH SCORE 404940.688
AT ITER 141 NEW BEST:: SOT 3884458 SOS 2331479 HAS SOPS 2326910 HAS SOUS 401860 HAS SOUPS 401399 WITH SCORE 403730.479
AT ITER 143 NEW BEST:: SOT 3884174 SOS 2331285 HAS SOPS 2326716 HAS SOUS 401062 HAS SOUPS 400601 WITH SCORE 402932.285
AT ITER 145 NEW BEST:: SOT 3884174 SOS 2331268 HAS SOPS 2326699 HAS SOUS 401062 HAS SOUPS 400601 WITH SCORE 402932.268
AT ITER 148 NEW BEST:: SOT 3884174 SOS 2331277 HAS SOPS 2326708 HAS SOUS 401060 HAS SOUPS 400599 WITH SCORE 402930.277
AT ITER 154 NEW BEST:: SOT 3884149 SOS 2331438 HAS SOPS 2326881 HAS SOUS 401041 HAS SOUPS 400580 WITH SCORE 402911.438
AT ITER 155 NEW BEST:: SOT 3883941 SOS 2331262 HAS SOPS 2326705 HAS SOUS 400865 HAS SOUPS 400404 WITH SCORE 402735.262
AT ITER 160 NEW BEST:: SOT 3883642 SOS 2331039 HAS SOPS 2326482 HAS SOUS 400861 HAS SOUPS 400400 WITH SCORE 402731.039
AT ITER 165 NEW BEST:: SOT 3883564 SOS 2330848 HAS SOPS 2326387 HAS SOUS 400718 HAS SOUPS 400257 WITH SCORE 402587.848
AT ITER 169 NEW BEST:: SOT 3883486 SOS 2331532 HAS SOPS 2327088 HAS SOUS 400036 HAS SOUPS 399576 WITH SCORE 401907.532
AT ITER 186 NEW BEST:: SOT 3883402 SOS 2331728 HAS SOPS 2327294 HAS SOUS 399885 HAS SOUPS 399425 WITH SCORE 401756.728
AT ITER 187 NEW BEST:: SOT 3883402 SOS 2331722 HAS SOPS 2327288 HAS SOUS 399879 HAS SOUPS 399419 WITH SCORE 401750.722
AT ITER 189 NEW BEST:: SOT 3883213 SOS 2331574 HAS SOPS 2327140 HAS SOUS 399743 HAS SOUPS 399283 WITH SCORE 401614.574
AT ITER 193 NEW BEST:: SOT 3883085 SOS 2331446 HAS SOPS 2327012 HAS SOUS 398847 HAS SOUPS 398387 WITH SCORE 400718.446
AT ITER 199 NEW BEST:: SOT 3882995 SOS 2331374 HAS SOPS 2326940 HAS SOUS 398775 HAS SOUPS 398315 WITH SCORE 400646.374
AT ITER 201 NEW BEST:: SOT 3882984 SOS 2331300 HAS SOPS 2326866 HAS SOUS 398717 HAS SOUPS 398257 WITH SCORE 400588.3
AT ITER 206 NEW BEST:: SOT 3882939 SOS 2331155 HAS SOPS 2326721 HAS SOUS 398627 HAS SOUPS 398167 WITH SCORE 400498.155
AT ITER 209 NEW BEST:: SOT 3883499 SOS 2332077 HAS SOPS 2327643 HAS SOUS 398376 HAS SOUPS 397916 WITH SCORE 400248.077
AT ITER 210 NEW BEST:: SOT 3882857 SOS 2331608 HAS SOPS 2327174 HAS SOUS 397788 HAS SOUPS 397328 WITH SCORE 399659.608
AT ITER 214 NEW BEST:: SOT 3908195 SOS 2356804 HAS SOPS 2352616 HAS SOUS 392339 HAS SOUPS 391920 WITH SCORE 394276.804
AT ITER 215 NEW BEST:: SOT 3908291 SOS 2356908 HAS SOPS 2352720 HAS SOUS 391747 HAS SOUPS 391328 WITH SCORE 393684.908
AT ITER 223 NEW BEST:: SOT 3907689 SOS 2356434 HAS SOPS 2352246 HAS SOUS 391154 HAS SOUPS 390735 WITH SCORE 393091.434
AT ITER 224 NEW BEST:: SOT 3907712 SOS 2356316 HAS SOPS 2352128 HAS SOUS 391036 HAS SOUPS 390617 WITH SCORE 392973.316
AT ITER 232 NEW BEST:: SOT 3907255 SOS 2356019 HAS SOPS 2351831 HAS SOUS 390736 HAS SOUPS 390317 WITH SCORE 392673.019
AT ITER 234 NEW BEST:: SOT 3906558 SOS 2355557 HAS SOPS 2351369 HAS SOUS 390583 HAS SOUPS 390164 WITH SCORE 392519.557
AT ITER 238 NEW BEST:: SOT 3906500 SOS 2355319 HAS SOPS 2351131 HAS SOUS 390467 HAS SOUPS 390048 WITH SCORE 392403.319
AT ITER 250 NEW BEST:: SOT 3906395 SOS 2355214 HAS SOPS 2351026 HAS SOUS 390359 HAS SOUPS 389940 WITH SCORE 392295.214
AT ITER 256 NEW BEST:: SOT 3906395 SOS 2361538 HAS SOPS 2357662 HAS SOUS 389872 HAS SOUPS 389505 WITH SCORE 391866.538
AT ITER 270 NEW BEST:: SOT 3906363 SOS 2361500 HAS SOPS 2357624 HAS SOUS 389808 HAS SOUPS 389441 WITH SCORE 391802.5
AT ITER 273 NEW BEST:: SOT 3906382 SOS 2361413 HAS SOPS 2357537 HAS SOUS 389708 HAS SOUPS 389341 WITH SCORE 391702.413
AT ITER 275 NEW BEST:: SOT 3905644 SOS 2360925 HAS SOPS 2357049 HAS SOUS 389426 HAS SOUPS 389059 WITH SCORE 391419.925
AT ITER 297 NEW BEST:: SOT 3904927 SOS 2360212 HAS SOPS 2356336 HAS SOUS 388819 HAS SOUPS 388452 WITH SCORE 390812.212
AT ITER 303 NEW BEST:: SOT 3905063 SOS 2360296 HAS SOPS 2356288 HAS SOUS 388654 HAS SOUPS 388264 WITH SCORE 390624.296
AT ITER 311 NEW BEST:: SOT 3904572 SOS 2359559 HAS SOPS 2355551 HAS SOUS 388207 HAS SOUPS 387817 WITH SCORE 390176.559
AT ITER 328 NEW BEST:: SOT 3904302 SOS 2359289 HAS SOPS 2355281 HAS SOUS 387883 HAS SOUPS 387493 WITH SCORE 389852.289
AT ITER 335 NEW BEST:: SOT 3904217 SOS 2359220 HAS SOPS 2355212 HAS SOUS 387814 HAS SOUPS 387424 WITH SCORE 389783.22
AT ITER 350 NEW BEST:: SOT 3904393 SOS 2359462 HAS SOPS 2355454 HAS SOUS 387804 HAS SOUPS 387414 WITH SCORE 389773.462
AT ITER 351 NEW BEST:: SOT 3904393 SOS 2359450 HAS SOPS 2355442 HAS SOUS 387804 HAS SOUPS 387414 WITH SCORE 389773.45
AT ITER 355 NEW BEST:: SOT 3903819 SOS 2359052 HAS SOPS 2355044 HAS SOUS 387578 HAS SOUPS 387188 WITH SCORE 389547.052
AT ITER 357 NEW BEST:: SOT 3903723 SOS 2358901 HAS SOPS 2354893 HAS SOUS 387375 HAS SOUPS 386985 WITH SCORE 389343.901
AT ITER 359 NEW BEST:: SOT 3903675 SOS 2358805 HAS SOPS 2354797 HAS SOUS 387279 HAS SOUPS 386889 WITH SCORE 389247.805
AT ITER 366 NEW BEST:: SOT 3903616 SOS 2358761 HAS SOPS 2354753 HAS SOUS 387235 HAS SOUPS 386845 WITH SCORE 389203.761
AT ITER 369 NEW BEST:: SOT 3903679 SOS 2358728 HAS SOPS 2354720 HAS SOUS 387183 HAS SOUPS 386793 WITH SCORE 389151.728
AT ITER 375 NEW BEST:: SOT 3904263 SOS 2359672 HAS SOPS 2355664 HAS SOUS 387011 HAS SOUPS 386621 WITH SCORE 388980.672
AT ITER 380 NEW BEST:: SOT 3904263 SOS 2359669 HAS SOPS 2355661 HAS SOUS 387011 HAS SOUPS 386621 WITH SCORE 388980.669
AT ITER 384 NEW BEST:: SOT 3904094 SOS 2359577 HAS SOPS 2355569 HAS SOUS 386807 HAS SOUPS 386417 WITH SCORE 388776.577
AT ITER 388 NEW BEST:: SOT 3904088 SOS 2359571 HAS SOPS 2355563 HAS SOUS 386801 HAS SOUPS 386411 WITH SCORE 388770.571
AT ITER 395 NEW BEST:: SOT 3904081 SOS 2359557 HAS SOPS 2355549 HAS SOUS 386787 HAS SOUPS 386397 WITH SCORE 388756.557
AT ITER 402 NEW BEST:: SOT 3811459 SOS 2411421 HAS SOPS 2407413 HAS SOUS 375636 HAS SOUPS 375246 WITH SCORE 377657.421
AT ITER 403 NEW BEST:: SOT 3811491 SOS 2411643 HAS SOPS 2407635 HAS SOUS 375606 HAS SOUPS 375216 WITH SCORE 377627.643
AT ITER 421 NEW BEST:: SOT 3811392 SOS 2411538 HAS SOPS 2407531 HAS SOUS 375166 HAS SOUPS 374776 WITH SCORE 377187.538
AT ITER 422 NEW BEST:: SOT 3811380 SOS 2411524 HAS SOPS 2407517 HAS SOUS 375152 HAS SOUPS 374762 WITH SCORE 377173.524
AT ITER 428 NEW BEST:: SOT 3811841 SOS 2411811 HAS SOPS 2407804 HAS SOUS 374206 HAS SOUPS 373816 WITH SCORE 376227.811
AT ITER 431 NEW BEST:: SOT 3811810 SOS 2411780 HAS SOPS 2407773 HAS SOUS 374169 HAS SOUPS 373779 WITH SCORE 376190.78
AT ITER 432 NEW BEST:: SOT 3811881 SOS 2412433 HAS SOPS 2408494 HAS SOUS 373962 HAS SOUPS 373572 WITH SCORE 375984.433
AT ITER 434 NEW BEST:: SOT 3812041 SOS 2412640 HAS SOPS 2408701 HAS SOUS 373460 HAS SOUPS 373070 WITH SCORE 375482.64
AT ITER 437 NEW BEST:: SOT 3811785 SOS 2412455 HAS SOPS 2408516 HAS SOUS 372186 HAS SOUPS 371796 WITH SCORE 374208.455
AT ITER 439 NEW BEST:: SOT 3811723 SOS 2412393 HAS SOPS 2408454 HAS SOUS 372145 HAS SOUPS 371755 WITH SCORE 374167.393
AT ITER 446 NEW BEST:: SOT 3811720 SOS 2412363 HAS SOPS 2408424 HAS SOUS 372142 HAS SOUPS 371752 WITH SCORE 374164.363
AT ITER 451 NEW BEST:: SOT 3811684 SOS 2412365 HAS SOPS 2408426 HAS SOUS 372064 HAS SOUPS 371674 WITH SCORE 374086.365
AT ITER 453 NEW BEST:: SOT 3811475 SOS 2412281 HAS SOPS 2408342 HAS SOUS 371942 HAS SOUPS 371552 WITH SCORE 373964.281
AT ITER 456 NEW BEST:: SOT 3811389 SOS 2412195 HAS SOPS 2408084 HAS SOUS 371856 HAS SOUPS 371294 WITH SCORE 373706.195
AT ITER 457 NEW BEST:: SOT 3811371 SOS 2412177 HAS SOPS 2408066 HAS SOUS 371828 HAS SOUPS 371266 WITH SCORE 373678.177
AT ITER 463 NEW BEST:: SOT 3811399 SOS 2412205 HAS SOPS 2408058 HAS SOUS 371791 HAS SOUPS 371228 WITH SCORE 373640.205
AT ITER 469 NEW BEST:: SOT 3811376 SOS 2412182 HAS SOPS 2408035 HAS SOUS 371768 HAS SOUPS 371205 WITH SCORE 373617.182
AT ITER 471 NEW BEST:: SOT 3811271 SOS 2412030 HAS SOPS 2407764 HAS SOUS 371415 HAS SOUPS 370852 WITH SCORE 373264.03
AT ITER 472 NEW BEST:: SOT 3811107 SOS 2411894 HAS SOPS 2407628 HAS SOUS 370959 HAS SOUPS 370396 WITH SCORE 372807.894
AT ITER 479 NEW BEST:: SOT 3811107 SOS 2411894 HAS SOPS 2407628 HAS SOUS 369420 HAS SOUPS 368857 WITH SCORE 371268.894
AT ITER 485 NEW BEST:: SOT 3811086 SOS 2411851 HAS SOPS 2407585 HAS SOUS 369069 HAS SOUPS 368506 WITH SCORE 370917.851
AT ITER 488 NEW BEST:: SOT 3811082 SOS 2411851 HAS SOPS 2407585 HAS SOUS 369057 HAS SOUPS 368494 WITH SCORE 370905.851
AT ITER 489 NEW BEST:: SOT 3811195 SOS 2412244 HAS SOPS 2407978 HAS SOUS 368814 HAS SOUPS 368251 WITH SCORE 370663.244
AT ITER 501 NEW BEST:: SOT 3811092 SOS 2412192 HAS SOPS 2407926 HAS SOUS 368158 HAS SOUPS 367595 WITH SCORE 370007.192
AT ITER 511 NEW BEST:: SOT 3811092 SOS 2412192 HAS SOPS 2407926 HAS SOUS 368148 HAS SOUPS 367585 WITH SCORE 369997.192
AT ITER 512 NEW BEST:: SOT 3811005 SOS 2412036 HAS SOPS 2407770 HAS SOUS 367979 HAS SOUPS 367416 WITH SCORE 369828.036
AT ITER 517 NEW BEST:: SOT 3810890 SOS 2411772 HAS SOPS 2407574 HAS SOUS 367897 HAS SOUPS 367334 WITH SCORE 369745.772
AT ITER 520 NEW BEST:: SOT 3810646 SOS 2411376 HAS SOPS 2407178 HAS SOUS 367560 HAS SOUPS 366997 WITH SCORE 369408.376
AT ITER 523 NEW BEST:: SOT 3810410 SOS 2410887 HAS SOPS 2406689 HAS SOUS 367236 HAS SOUPS 366673 WITH SCORE 369083.887
AT ITER 529 NEW BEST:: SOT 3810410 SOS 2410843 HAS SOPS 2406645 HAS SOUS 367192 HAS SOUPS 366629 WITH SCORE 369039.843
AT ITER 540 NEW BEST:: SOT 3810247 SOS 2410680 HAS SOPS 2406482 HAS SOUS 367021 HAS SOUPS 366458 WITH SCORE 368868.68
AT ITER 556 NEW BEST:: SOT 3810224 SOS 2410657 HAS SOPS 2406459 HAS SOUS 366975 HAS SOUPS 366412 WITH SCORE 368822.657
AT ITER 568 NEW BEST:: SOT 3810210 SOS 2410643 HAS SOPS 2406445 HAS SOUS 366947 HAS SOUPS 366384 WITH SCORE 368794.643
AT ITER 571 NEW BEST:: SOT 3810466 SOS 2410970 HAS SOPS 2406772 HAS SOUS 366163 HAS SOUPS 365600 WITH SCORE 368010.97
AT ITER 574 NEW BEST:: SOT 3810446 SOS 2410940 HAS SOPS 2406742 HAS SOUS 366133 HAS SOUPS 365570 WITH SCORE 367980.94
AT ITER 583 NEW BEST:: SOT 3810446 SOS 2408517 HAS SOPS 2404319 HAS SOUS 366133 HAS SOUPS 365570 WITH SCORE 367978.517
AT ITER 586 NEW BEST:: SOT 3810207 SOS 2408397 HAS SOPS 2404199 HAS SOUS 366061 HAS SOUPS 365498 WITH SCORE 367906.397
AT ITER 599 NEW BEST:: SOT 3810384 SOS 2408678 HAS SOPS 2404480 HAS SOUS 365981 HAS SOUPS 365418 WITH SCORE 367826.678
AT ITER 603 NEW BEST:: SOT 3810705 SOS 2409244 HAS SOPS 2405046 HAS SOUS 365875 HAS SOUPS 365312 WITH SCORE 367721.244
AT ITER 608 NEW BEST:: SOT 3810677 SOS 2409197 HAS SOPS 2404999 HAS SOUS 365807 HAS SOUPS 365244 WITH SCORE 367653.197
AT ITER 610 NEW BEST:: SOT 3810677 SOS 2409206 HAS SOPS 2405008 HAS SOUS 365042 HAS SOUPS 364479 WITH SCORE 366888.206
AT ITER 619 NEW BEST:: SOT 3810765 SOS 2409294 HAS SOPS 2405060 HAS SOUS 365022 HAS SOUPS 364459 WITH SCORE 366868.294
AT ITER 620 NEW BEST:: SOT 3810512 SOS 2408976 HAS SOPS 2404742 HAS SOUS 364714 HAS SOUPS 364151 WITH SCORE 366559.976
AT ITER 636 NEW BEST:: SOT 3807253 SOS 2405257 HAS SOPS 2401023 HAS SOUS 361340 HAS SOUPS 360777 WITH SCORE 363182.257
AT ITER 639 NEW BEST:: SOT 3807145 SOS 2405200 HAS SOPS 2400966 HAS SOUS 361123 HAS SOUPS 360560 WITH SCORE 362965.2
AT ITER 646 NEW BEST:: SOT 3807134 SOS 2405249 HAS SOPS 2401015 HAS SOUS 361101 HAS SOUPS 360538 WITH SCORE 362943.249
AT ITER 651 NEW BEST:: SOT 3807134 SOS 2405256 HAS SOPS 2401022 HAS SOUS 360904 HAS SOUPS 360341 WITH SCORE 362746.256
AT ITER 655 NEW BEST:: SOT 3806402 SOS 2408568 HAS SOPS 2403171 HAS SOUS 360491 HAS SOUPS 359656 WITH SCORE 362064.568
AT ITER 657 NEW BEST:: SOT 3806391 SOS 2408711 HAS SOPS 2403314 HAS SOUS 360251 HAS SOUPS 359416 WITH SCORE 361824.711
AT ITER 667 NEW BEST:: SOT 3806255 SOS 2408875 HAS SOPS 2403478 HAS SOUS 360088 HAS SOUPS 359253 WITH SCORE 361661.875
AT ITER 690 NEW BEST:: SOT 3806253 SOS 2408874 HAS SOPS 2403477 HAS SOUS 360083 HAS SOUPS 359248 WITH SCORE 361656.874
AT ITER 697 NEW BEST:: SOT 3806193 SOS 2409008 HAS SOPS 2403625 HAS SOUS 360017 HAS SOUPS 359182 WITH SCORE 361591.008
AT ITER 700 NEW BEST:: SOT 3805770 SOS 2408585 HAS SOPS 2403202 HAS SOUS 359783 HAS SOUPS 358948 WITH SCORE 361356.585
AT ITER 701 NEW BEST:: SOT 3603770 SOS 2369695 HAS SOPS 2364312 HAS SOUS 334825 HAS SOUPS 333990 WITH SCORE 336359.695
AT ITER 703 NEW BEST:: SOT 3603732 SOS 2369638 HAS SOPS 2364255 HAS SOUS 334749 HAS SOUPS 333914 WITH SCORE 336283.638
AT ITER 718 NEW BEST:: SOT 3603686 SOS 2369691 HAS SOPS 2364299 HAS SOUS 334640 HAS SOUPS 333805 WITH SCORE 336174.691
AT ITER 721 NEW BEST:: SOT 3603646 SOS 2369539 HAS SOPS 2364147 HAS SOUS 334600 HAS SOUPS 333765 WITH SCORE 336134.539
AT ITER 726 NEW BEST:: SOT 3547702 SOS 2313523 HAS SOPS 2308131 HAS SOUS 327040 HAS SOUPS 326205 WITH SCORE 328518.523
AT ITER 727 NEW BEST:: SOT 3548234 SOS 2314395 HAS SOPS 2309003 HAS SOUS 326680 HAS SOUPS 325845 WITH SCORE 328159.395
AT ITER 734 NEW BEST:: SOT 3547922 SOS 2314083 HAS SOPS 2308691 HAS SOUS 326544 HAS SOUPS 325709 WITH SCORE 328023.083
AT ITER 756 NEW BEST:: SOT 3547922 SOS 2314068 HAS SOPS 2308676 HAS SOUS 326529 HAS SOUPS 325694 WITH SCORE 328008.068
AT ITER 757 NEW BEST:: SOT 3547922 SOS 2312625 HAS SOPS 2307233 HAS SOUS 326514 HAS SOUPS 325679 WITH SCORE 327991.625
AT ITER 760 NEW BEST:: SOT 3547922 SOS 2312602 HAS SOPS 2307210 HAS SOUS 326499 HAS SOUPS 325664 WITH SCORE 327976.602
AT ITER 761 NEW BEST:: SOT 3547784 SOS 2317788 HAS SOPS 2312286 HAS SOUS 325788 HAS SOUPS 324953 WITH SCORE 327270.788
AT ITER 770 NEW BEST:: SOT 3547297 SOS 2317196 HAS SOPS 2311694 HAS SOUS 325234 HAS SOUPS 324399 WITH SCORE 326716.196
AT ITER 774 NEW BEST:: SOT 3547307 SOS 2317206 HAS SOPS 2311704 HAS SOUS 325135 HAS SOUPS 324300 WITH SCORE 326617.206
AT ITER 779 NEW BEST:: SOT 3547141 SOS 2317038 HAS SOPS 2311666 HAS SOUS 325083 HAS SOUPS 324249 WITH SCORE 326566.038
AT ITER 788 NEW BEST:: SOT 3438540 SOS 2208316 HAS SOPS 2202944 HAS SOUS 309213 HAS SOUPS 308379 WITH SCORE 310587.316
AT ITER 808 NEW BEST:: SOT 3438400 SOS 2208176 HAS SOPS 2202804 HAS SOUS 304374 HAS SOUPS 303540 WITH SCORE 305748.176
AT ITER 814 NEW BEST:: SOT 3429831 SOS 2199607 HAS SOPS 2194224 HAS SOUS 303362 HAS SOUPS 302528 WITH SCORE 304727.607
AT ITER 818 NEW BEST:: SOT 3429511 SOS 2199389 HAS SOPS 2194006 HAS SOUS 303074 HAS SOUPS 302240 WITH SCORE 304439.389
AT ITER 823 NEW BEST:: SOT 3429522 SOS 2199655 HAS SOPS 2194272 HAS SOUS 302947 HAS SOUPS 302113 WITH SCORE 304312.655
AT ITER 833 NEW BEST:: SOT 3429470 SOS 2199603 HAS SOPS 2194220 HAS SOUS 302895 HAS SOUPS 302061 WITH SCORE 304260.603
AT ITER 849 NEW BEST:: SOT 3429475 SOS 2199608 HAS SOPS 2194274 HAS SOUS 302596 HAS SOUPS 301762 WITH SCORE 303961.608
AT ITER 852 NEW BEST:: SOT 3429439 SOS 2199536 HAS SOPS 2194202 HAS SOUS 302560 HAS SOUPS 301726 WITH SCORE 303925.536
AT ITER 867 NEW BEST:: SOT 3429427 SOS 2199524 HAS SOPS 2194190 HAS SOUS 302536 HAS SOUPS 301702 WITH SCORE 303901.524
AT ITER 870 NEW BEST:: SOT 3429211 SOS 2199489 HAS SOPS 2194155 HAS SOUS 302397 HAS SOUPS 301563 WITH SCORE 303762.489
AT ITER 881 NEW BEST:: SOT 3429211 SOS 2195226 HAS SOPS 2190406 HAS SOUS 302303 HAS SOUPS 301563 WITH SCORE 303758.226
AT ITER 885 NEW BEST:: SOT 3429183 SOS 2195212 HAS SOPS 2190392 HAS SOUS 302289 HAS SOUPS 301549 WITH SCORE 303744.212
AT ITER 908 NEW BEST:: SOT 3429183 SOS 2195179 HAS SOPS 2190359 HAS SOUS 302256 HAS SOUPS 301516 WITH SCORE 303711.179
AT ITER 909 NEW BEST:: SOT 3428388 SOS 2194384 HAS SOPS 2189564 HAS SOUS 301461 HAS SOUPS 300721 WITH SCORE 302915.384
AT ITER 913 NEW BEST:: SOT 3428376 SOS 2194372 HAS SOPS 2189552 HAS SOUS 301449 HAS SOUPS 300709 WITH SCORE 302903.372
AT ITER 916 NEW BEST:: SOT 3414148 SOS 2276432 HAS SOPS 2271612 HAS SOUS 300178 HAS SOUPS 299438 WITH SCORE 301714.432
AT ITER 918 NEW BEST:: SOT 3413725 SOS 2275529 HAS SOPS 2270709 HAS SOUS 299518 HAS SOUPS 298778 WITH SCORE 301053.529
AT ITER 920 NEW BEST:: SOT 3432238 SOS 2294151 HAS SOPS 2289331 HAS SOUS 297512 HAS SOUPS 296772 WITH SCORE 299066.151
AT ITER 927 NEW BEST:: SOT 3431434 SOS 2293280 HAS SOPS 2288460 HAS SOUS 296574 HAS SOUPS 295834 WITH SCORE 298127.28
AT ITER 933 NEW BEST:: SOT 3431432 SOS 2293278 HAS SOPS 2288458 HAS SOUS 296560 HAS SOUPS 295820 WITH SCORE 298113.278
AT ITER 937 NEW BEST:: SOT 3431421 SOS 2293234 HAS SOPS 2288414 HAS SOUS 295988 HAS SOUPS 295248 WITH SCORE 297541.234
AT ITER 938 NEW BEST:: SOT 3431420 SOS 2293233 HAS SOPS 2288413 HAS SOUS 295986 HAS SOUPS 295246 WITH SCORE 297539.233
AT ITER 941 NEW BEST:: SOT 3431399 SOS 2293221 HAS SOPS 2288401 HAS SOUS 295974 HAS SOUPS 295234 WITH SCORE 297527.221
AT ITER 943 NEW BEST:: SOT 3431375 SOS 2293209 HAS SOPS 2288389 HAS SOUS 295914 HAS SOUPS 295174 WITH SCORE 297467.209
AT ITER 944 NEW BEST:: SOT 3431366 SOS 2292792 HAS SOPS 2287972 HAS SOUS 295766 HAS SOUPS 295026 WITH SCORE 297318.792
AT ITER 945 NEW BEST:: SOT 3412631 SOS 2274057 HAS SOPS 2269237 HAS SOUS 292433 HAS SOUPS 291693 WITH SCORE 293967.057
AT ITER 965 NEW BEST:: SOT 3412401 SOS 2273779 HAS SOPS 2268959 HAS SOUS 292232 HAS SOUPS 291492 WITH SCORE 293765.779
AT ITER 968 NEW BEST:: SOT 3412337 SOS 2273667 HAS SOPS 2268847 HAS SOUS 291993 HAS SOUPS 291253 WITH SCORE 293526.667
AT ITER 972 NEW BEST:: SOT 3412330 SOS 2273653 HAS SOPS 2268833 HAS SOUS 291985 HAS SOUPS 291245 WITH SCORE 293518.653
AT ITER 983 NEW BEST:: SOT 3412322 SOS 2270904 HAS SOPS 2266084 HAS SOUS 291987 HAS SOUPS 291247 WITH SCORE 293517.904
AT ITER 988 NEW BEST:: SOT 3412117 SOS 2270746 HAS SOPS 2265926 HAS SOUS 291555 HAS SOUPS 290815 WITH SCORE 293085.746
AT ITER 994 NEW BEST:: SOT 3412088 SOS 2270717 HAS SOPS 2265883 HAS SOUS 291496 HAS SOUPS 290756 WITH SCORE 293026.717
AT ITER 1014 NEW BEST:: SOT 3412018 SOS 2270546 HAS SOPS 2265709 HAS SOUS 291356 HAS SOUPS 290616 WITH SCORE 292886.546
AT ITER 1016 NEW BEST:: SOT 3412214 SOS 2270820 HAS SOPS 2265983 HAS SOUS 291339 HAS SOUPS 290599 WITH SCORE 292869.82
AT ITER 1031 NEW BEST:: SOT 3412133 SOS 2270663 HAS SOPS 2265826 HAS SOUS 291188 HAS SOUPS 290448 WITH SCORE 292718.663
AT ITER 1060 NEW BEST:: SOT 3412159 SOS 2270689 HAS SOPS 2265875 HAS SOUS 291171 HAS SOUPS 290431 WITH SCORE 292701.689
AT ITER 1068 NEW BEST:: SOT 3412117 SOS 2270641 HAS SOPS 2265827 HAS SOUS 291087 HAS SOUPS 290347 WITH SCORE 292617.641
AT ITER 1080 NEW BEST:: SOT 3412073 SOS 2270597 HAS SOPS 2265786 HAS SOUS 290999 HAS SOUPS 290259 WITH SCORE 292529.597
AT ITER 1103 NEW BEST:: SOT 3412068 SOS 2270592 HAS SOPS 2265781 HAS SOUS 290997 HAS SOUPS 290257 WITH SCORE 292527.592
AT ITER 1106 NEW BEST:: SOT 3412060 SOS 2270584 HAS SOPS 2265773 HAS SOUS 290872 HAS SOUPS 290132 WITH SCORE 292402.584
AT ITER 1117 NEW BEST:: SOT 3410879 SOS 2269328 HAS SOPS 2264517 HAS SOUS 290030 HAS SOUPS 289290 WITH SCORE 291559.328
AT ITER 1120 NEW BEST:: SOT 3410857 SOS 2269324 HAS SOPS 2264513 HAS SOUS 290008 HAS SOUPS 289268 WITH SCORE 291537.324
AT ITER 1121 NEW BEST:: SOT 3410700 SOS 2269167 HAS SOPS 2264356 HAS SOUS 289736 HAS SOUPS 288996 WITH SCORE 291265.167
AT ITER 1127 NEW BEST:: SOT 3377862 SOS 2236259 HAS SOPS 2231448 HAS SOUS 285244 HAS SOUPS 284504 WITH SCORE 286740.259
AT ITER 1131 NEW BEST:: SOT 3377861 SOS 2236351 HAS SOPS 2231540 HAS SOUS 285243 HAS SOUPS 284503 WITH SCORE 286739.351
AT ITER 1178 NEW BEST:: SOT 3377777 SOS 2236199 HAS SOPS 2231388 HAS SOUS 285117 HAS SOUPS 284377 WITH SCORE 286613.199
AT ITER 1193 NEW BEST:: SOT 3377777 SOS 2236199 HAS SOPS 2231388 HAS SOUS 285104 HAS SOUPS 284364 WITH SCORE 286600.199
AT ITER 1195 NEW BEST:: SOT 3377752 SOS 2236174 HAS SOPS 2231338 HAS SOUS 285054 HAS SOUPS 284314 WITH SCORE 286550.174
AT ITER 1203 NEW BEST:: SOT 3377721 SOS 2236082 HAS SOPS 2231246 HAS SOUS 284878 HAS SOUPS 284138 WITH SCORE 286374.082
AT ITER 1207 NEW BEST:: SOT 3377701 SOS 2236052 HAS SOPS 2231216 HAS SOUS 284853 HAS SOUPS 284113 WITH SCORE 286349.052
AT ITER 1208 NEW BEST:: SOT 3250439 SOS 2323210 HAS SOPS 2318374 HAS SOUS 270273 HAS SOUPS 269533 WITH SCORE 271856.21
AT ITER 1240 NEW BEST:: SOT 3250415 SOS 2313862 HAS SOPS 2309026 HAS SOUS 270237 HAS SOUPS 269497 WITH SCORE 271810.862
AT ITER 1249 NEW BEST:: SOT 3250455 SOS 2313774 HAS SOPS 2308938 HAS SOUS 270149 HAS SOUPS 269409 WITH SCORE 271722.774
AT ITER 1255 NEW BEST:: SOT 3250419 SOS 2313738 HAS SOPS 2308902 HAS SOUS 270090 HAS SOUPS 269350 WITH SCORE 271663.738
AT ITER 1257 NEW BEST:: SOT 3249737 SOS 2313056 HAS SOPS 2308220 HAS SOUS 269408 HAS SOUPS 268668 WITH SCORE 270981.056
AT ITER 1262 NEW BEST:: SOT 3249485 SOS 2312812 HAS SOPS 2307976 HAS SOUS 269164 HAS SOUPS 268424 WITH SCORE 270736.812
AT ITER 1271 NEW BEST:: SOT 3249459 SOS 2312799 HAS SOPS 2307963 HAS SOUS 269138 HAS SOUPS 268398 WITH SCORE 270710.799
AT ITER 1287 NEW BEST:: SOT 3243713 SOS 2307053 HAS SOPS 2302217 HAS SOUS 268384 HAS SOUPS 267644 WITH SCORE 269951.053
AT ITER 1293 NEW BEST:: SOT 3243711 SOS 2307051 HAS SOPS 2302213 HAS SOUS 268380 HAS SOUPS 267640 WITH SCORE 269947.051
AT ITER 1304 NEW BEST:: SOT 3243667 SOS 2307007 HAS SOPS 2302133 HAS SOUS 268302 HAS SOUPS 267560 WITH SCORE 269867.007
AT ITER 1308 NEW BEST:: SOT 3243887 SOS 2307227 HAS SOPS 2302353 HAS SOUS 267299 HAS SOUPS 266557 WITH SCORE 268864.227
AT ITER 1314 NEW BEST:: SOT 3243686 SOS 2306631 HAS SOPS 2301757 HAS SOUS 267177 HAS SOUPS 266435 WITH SCORE 268741.631
AT ITER 1319 NEW BEST:: SOT 3243686 SOS 2307001 HAS SOPS 2302127 HAS SOUS 267142 HAS SOUPS 266400 WITH SCORE 268707.001
AT ITER 1323 NEW BEST:: SOT 3243831 SOS 2315124 HAS SOPS 2309637 HAS SOUS 266988 HAS SOUPS 266159 WITH SCORE 268474.124
AT ITER 1346 NEW BEST:: SOT 3243786 SOS 2315079 HAS SOPS 2309558 HAS SOUS 266898 HAS SOUPS 266069 WITH SCORE 268384.079
AT ITER 1352 NEW BEST:: SOT 3239386 SOS 2310679 HAS SOPS 2305158 HAS SOUS 266325 HAS SOUPS 265496 WITH SCORE 267806.679
AT ITER 1366 NEW BEST:: SOT 3239341 SOS 2310312 HAS SOPS 2304791 HAS SOUS 266195 HAS SOUPS 265366 WITH SCORE 267676.312
AT ITER 1374 NEW BEST:: SOT 3209075 SOS 2279954 HAS SOPS 2274433 HAS SOUS 262144 HAS SOUPS 261315 WITH SCORE 263594.954
AT ITER 1387 NEW BEST:: SOT 3209067 SOS 2279933 HAS SOPS 2274404 HAS SOUS 262115 HAS SOUPS 261286 WITH SCORE 263565.933
AT ITER 1390 NEW BEST:: SOT 3209029 SOS 2279884 HAS SOPS 2274355 HAS SOUS 262055 HAS SOUPS 261226 WITH SCORE 263505.884
AT ITER 1391 NEW BEST:: SOT 3208963 SOS 2277735 HAS SOPS 2272206 HAS SOUS 261915 HAS SOUPS 261086 WITH SCORE 263363.735
AT ITER 1403 NEW BEST:: SOT 3208963 SOS 2277735 HAS SOPS 2272206 HAS SOUS 261904 HAS SOUPS 261075 WITH SCORE 263352.735
AT ITER 1404 NEW BEST:: SOT 3209027 SOS 2277815 HAS SOPS 2272286 HAS SOUS 261900 HAS SOUPS 261071 WITH SCORE 263348.815
AT ITER 1411 NEW BEST:: SOT 3209071 SOS 2277605 HAS SOPS 2272076 HAS SOUS 261894 HAS SOUPS 261065 WITH SCORE 263342.605
AT ITER 1417 NEW BEST:: SOT 3208981 SOS 2277515 HAS SOPS 2271986 HAS SOUS 261786 HAS SOUPS 260957 WITH SCORE 263234.515
AT ITER 1428 NEW BEST:: SOT 3209060 SOS 2277630 HAS SOPS 2272101 HAS SOUS 261563 HAS SOUPS 260734 WITH SCORE 263011.63
AT ITER 1440 NEW BEST:: SOT 3209087 SOS 2273658 HAS SOPS 2268129 HAS SOUS 261553 HAS SOUPS 260724 WITH SCORE 262997.658
AT ITER 1449 NEW BEST:: SOT 3208423 SOS 2272980 HAS SOPS 2267451 HAS SOUS 261060 HAS SOUPS 260231 WITH SCORE 262503.98
AT ITER 1456 NEW BEST:: SOT 3208399 SOS 2272956 HAS SOPS 2267437 HAS SOUS 261046 HAS SOUPS 260217 WITH SCORE 262489.956
AT ITER 1473 NEW BEST:: SOT 3207373 SOS 2271890 HAS SOPS 2266371 HAS SOUS 259980 HAS SOUPS 259151 WITH SCORE 261422.89
AT ITER 1475 NEW BEST:: SOT 3207353 SOS 2271870 HAS SOPS 2266347 HAS SOUS 259952 HAS SOUPS 259123 WITH SCORE 261394.87
AT ITER 1491 NEW BEST:: SOT 3207508 SOS 2271999 HAS SOPS 2266476 HAS SOUS 259900 HAS SOUPS 259071 WITH SCORE 261342.999
AT ITER 1496 NEW BEST:: SOT 3207479 SOS 2194291 HAS SOPS 2188768 HAS SOUS 259942 HAS SOUPS 259113 WITH SCORE 261307.291
AT ITER 1498 NEW BEST:: SOT 3207465 SOS 2194277 HAS SOPS 2188754 HAS SOUS 259815 HAS SOUPS 258986 WITH SCORE 261180.277
AT ITER 1502 NEW BEST:: SOT 3207440 SOS 2155402 HAS SOPS 2149879 HAS SOUS 259800 HAS SOUPS 258971 WITH SCORE 261126.402
AT ITER 1509 NEW BEST:: SOT 3207420 SOS 2155382 HAS SOPS 2149859 HAS SOUS 259788 HAS SOUPS 258959 WITH SCORE 261114.382
AT ITER 1535 NEW BEST:: SOT 3139205 SOS 2087167 HAS SOPS 2081644 HAS SOUS 250797 HAS SOUPS 249968 WITH SCORE 252055.167
AT ITER 1550 NEW BEST:: SOT 3138942 SOS 2086999 HAS SOPS 2081476 HAS SOUS 250475 HAS SOUPS 249646 WITH SCORE 251732.999
AT ITER 1555 NEW BEST:: SOT 3138546 SOS 2075488 HAS SOPS 2071081 HAS SOUS 249903 HAS SOUPS 249247 WITH SCORE 251322.488
AT ITER 1558 NEW BEST:: SOT 3139088 SOS 2076031 HAS SOPS 2071624 HAS SOUS 249722 HAS SOUPS 249066 WITH SCORE 251142.031
AT ITER 1561 NEW BEST:: SOT 3138709 SOS 2075358 HAS SOPS 2070951 HAS SOUS 249339 HAS SOUPS 248683 WITH SCORE 250758.358
AT ITER 1563 NEW BEST:: SOT 3138288 SOS 2040406 HAS SOPS 2035999 HAS SOUS 249257 HAS SOUPS 248601 WITH SCORE 250641.406
AT ITER 1567 NEW BEST:: SOT 3138288 SOS 2040316 HAS SOPS 2035909 HAS SOUS 249257 HAS SOUPS 248601 WITH SCORE 250641.316
AT ITER 1577 NEW BEST:: SOT 3138068 SOS 2040096 HAS SOPS 2035689 HAS SOUS 249058 HAS SOUPS 248402 WITH SCORE 250442.096
AT ITER 1583 NEW BEST:: SOT 3137790 SOS 2039763 HAS SOPS 2035356 HAS SOUS 248910 HAS SOUPS 248254 WITH SCORE 250293.763
AT ITER 1592 NEW BEST:: SOT 3137868 SOS 2039819 HAS SOPS 2035412 HAS SOUS 248886 HAS SOUPS 248230 WITH SCORE 250269.819
AT ITER 1593 NEW BEST:: SOT 3137925 SOS 2039904 HAS SOPS 2035497 HAS SOUS 248867 HAS SOUPS 248211 WITH SCORE 250250.904
AT ITER 1611 NEW BEST:: SOT 3137671 SOS 2039461 HAS SOPS 2035054 HAS SOUS 248696 HAS SOUPS 248040 WITH SCORE 250079.461
AT ITER 1620 NEW BEST:: SOT 3137568 SOS 2039329 HAS SOPS 2034922 HAS SOUS 248382 HAS SOUPS 247726 WITH SCORE 249765.329
AT ITER 1627 NEW BEST:: SOT 3190135 SOS 2092006 HAS SOPS 2087599 HAS SOUS 242937 HAS SOUPS 242281 WITH SCORE 244373.006
AT ITER 1629 NEW BEST:: SOT 3190126 SOS 2091997 HAS SOPS 2087590 HAS SOUS 242925 HAS SOUPS 242269 WITH SCORE 244360.997
AT ITER 1630 NEW BEST:: SOT 3189980 SOS 2091851 HAS SOPS 2087444 HAS SOUS 242761 HAS SOUPS 242105 WITH SCORE 244196.851
AT ITER 1633 NEW BEST:: SOT 3189976 SOS 2091851 HAS SOPS 2087444 HAS SOUS 242757 HAS SOUPS 242101 WITH SCORE 244192.851
AT ITER 1638 NEW BEST:: SOT 3189963 SOS 2091838 HAS SOPS 2087431 HAS SOUS 242731 HAS SOUPS 242075 WITH SCORE 244166.838
AT ITER 1668 NEW BEST:: SOT 3189957 SOS 2091778 HAS SOPS 2087371 HAS SOUS 242686 HAS SOUPS 242030 WITH SCORE 244121.778
AT ITER 1672 NEW BEST:: SOT 3189871 SOS 2091606 HAS SOPS 2087242 HAS SOUS 242600 HAS SOUPS 241944 WITH SCORE 244035.606
AT ITER 1683 NEW BEST:: SOT 3192352 SOS 2094087 HAS SOPS 2089723 HAS SOUS 229803 HAS SOUPS 229147 WITH SCORE 231241.087
AT ITER 1701 NEW BEST:: SOT 3192352 SOS 2094045 HAS SOPS 2089681 HAS SOUS 229803 HAS SOUPS 229147 WITH SCORE 231241.045
AT ITER 1702 NEW BEST:: SOT 3192388 SOS 2094081 HAS SOPS 2089681 HAS SOUS 229731 HAS SOUPS 229075 WITH SCORE 231169.081
AT ITER 1718 NEW BEST:: SOT 3192344 SOS 2094037 HAS SOPS 2089637 HAS SOUS 229713 HAS SOUPS 229057 WITH SCORE 231151.037
AT ITER 1721 NEW BEST:: SOT 3192180 SOS 2093849 HAS SOPS 2089449 HAS SOUS 229469 HAS SOUPS 228813 WITH SCORE 230906.849
AT ITER 1722 NEW BEST:: SOT 3191928 SOS 2093494 HAS SOPS 2089094 HAS SOUS 229043 HAS SOUPS 228387 WITH SCORE 230480.494
AT ITER 1728 NEW BEST:: SOT 3191811 SOS 2093350 HAS SOPS 2088940 HAS SOUS 228981 HAS SOUPS 228325 WITH SCORE 230418.35
AT ITER 1729 NEW BEST:: SOT 3191888 SOS 2093195 HAS SOPS 2088785 HAS SOUS 228818 HAS SOUPS 228162 WITH SCORE 230255.195
AT ITER 1736 NEW BEST:: SOT 3124775 SOS 2084906 HAS SOPS 2080496 HAS SOUS 226709 HAS SOUPS 226053 WITH SCORE 228137.906
AT ITER 1743 NEW BEST:: SOT 3124707 SOS 2084876 HAS SOPS 2080466 HAS SOUS 226706 HAS SOUPS 226050 WITH SCORE 228134.876
AT ITER 1746 NEW BEST:: SOT 3124594 SOS 2084735 HAS SOPS 2080325 HAS SOUS 226193 HAS SOUPS 225537 WITH SCORE 227621.735
AT ITER 1767 NEW BEST:: SOT 3124432 SOS 2084622 HAS SOPS 2080305 HAS SOUS 226103 HAS SOUPS 225447 WITH SCORE 227531.622
AT ITER 1774 NEW BEST:: SOT 3124432 SOS 2084633 HAS SOPS 2080316 HAS SOUS 226092 HAS SOUPS 225436 WITH SCORE 227520.633
AT ITER 1778 NEW BEST:: SOT 3124450 SOS 2084648 HAS SOPS 2080331 HAS SOUS 226002 HAS SOUPS 225346 WITH SCORE 227430.648
AT ITER 1779 NEW BEST:: SOT 3124437 SOS 2084635 HAS SOPS 2080315 HAS SOUS 225986 HAS SOUPS 225330 WITH SCORE 227414.635
AT ITER 1807 NEW BEST:: SOT 3124341 SOS 2084475 HAS SOPS 2080155 HAS SOUS 225826 HAS SOUPS 225170 WITH SCORE 227254.475
AT ITER 1809 NEW BEST:: SOT 3124289 SOS 2084423 HAS SOPS 2080103 HAS SOUS 225774 HAS SOUPS 225118 WITH SCORE 227202.423
AT ITER 1815 NEW BEST:: SOT 3124078 SOS 2084212 HAS SOPS 2079892 HAS SOUS 225429 HAS SOUPS 224773 WITH SCORE 226857.212
AT ITER 1819 NEW BEST:: SOT 3124078 SOS 2083900 HAS SOPS 2079580 HAS SOUS 225427 HAS SOUPS 224771 WITH SCORE 226854.9
AT ITER 1823 NEW BEST:: SOT 3124148 SOS 2084105 HAS SOPS 2079785 HAS SOUS 225390 HAS SOUPS 224734 WITH SCORE 226818.105
AT ITER 1829 NEW BEST:: SOT 3124122 SOS 2025527 HAS SOPS 2021207 HAS SOUS 223758 HAS SOUPS 223102 WITH SCORE 225127.527
AT ITER 1833 NEW BEST:: SOT 3124101 SOS 2025506 HAS SOPS 2021186 HAS SOUS 223737 HAS SOUPS 223081 WITH SCORE 225106.506
AT ITER 1848 NEW BEST:: SOT 3123909 SOS 2025314 HAS SOPS 2020994 HAS SOUS 223679 HAS SOUPS 223023 WITH SCORE 225048.314
AT ITER 1856 NEW BEST:: SOT 3125548 SOS 1812767 HAS SOPS 1808447 HAS SOUS 223038 HAS SOUPS 222382 WITH SCORE 224194.767
AT ITER 1882 NEW BEST:: SOT 3125519 SOS 1812518 HAS SOPS 1808198 HAS SOUS 222880 HAS SOUPS 222224 WITH SCORE 224036.518
AT ITER 1910 NEW BEST:: SOT 3125505 SOS 1812511 HAS SOPS 1808191 HAS SOUS 222873 HAS SOUPS 222217 WITH SCORE 224029.511
AT ITER 1928 NEW BEST:: SOT 3125699 SOS 1812551 HAS SOPS 1808231 HAS SOUS 222844 HAS SOUPS 222188 WITH SCORE 224000.551
AT ITER 1932 NEW BEST:: SOT 3122489 SOS 1809338 HAS SOPS 1805018 HAS SOUS 222445 HAS SOUPS 221789 WITH SCORE 223598.338
AT ITER 1937 NEW BEST:: SOT 3122462 SOS 1809311 HAS SOPS 1804991 HAS SOUS 222418 HAS SOUPS 221762 WITH SCORE 223571.311
AT ITER 1962 NEW BEST:: SOT 3122426 SOS 1809275 HAS SOPS 1804955 HAS SOUS 222357 HAS SOUPS 221701 WITH SCORE 223510.275
AT ITER 1976 NEW BEST:: SOT 3122607 SOS 1809456 HAS SOPS 1805225 HAS SOUS 222315 HAS SOUPS 221659 WITH SCORE 223468.456
AT ITER 1992 NEW BEST:: SOT 3122599 SOS 1809444 HAS SOPS 1805213 HAS SOUS 222315 HAS SOUPS 221659 WITH SCORE 223468.444
AT ITER 2003 NEW BEST:: SOT 3122318 SOS 1809107 HAS SOPS 1804876 HAS SOUS 221955 HAS SOUPS 221299 WITH SCORE 223108.107
AT ITER 2004 NEW BEST:: SOT 3122274 SOS 1804124 HAS SOPS 1799893 HAS SOUS 221847 HAS SOUPS 221191 WITH SCORE 222995.124
AT ITER 2010 NEW BEST:: SOT 3122273 SOS 1804043 HAS SOPS 1799812 HAS SOUS 221797 HAS SOUPS 221141 WITH SCORE 222945.043
AT ITER 2011 NEW BEST:: SOT 3123039 SOS 1804424 HAS SOPS 1800193 HAS SOUS 221599 HAS SOUPS 220943 WITH SCORE 222747.424
AT ITER 2020 NEW BEST:: SOT 3123120 SOS 1804560 HAS SOPS 1800329 HAS SOUS 221583 HAS SOUPS 220927 WITH SCORE 222731.56
AT ITER 2035 NEW BEST:: SOT 3102910 SOS 1784350 HAS SOPS 1780119 HAS SOUS 219044 HAS SOUPS 218388 WITH SCORE 220172.35
AT ITER 2050 NEW BEST:: SOT 3102904 SOS 1784331 HAS SOPS 1780100 HAS SOUS 219006 HAS SOUPS 218350 WITH SCORE 220134.331
AT ITER 2068 NEW BEST:: SOT 3102729 SOS 1784156 HAS SOPS 1779925 HAS SOUS 218975 HAS SOUPS 218319 WITH SCORE 220103.156
AT ITER 2070 NEW BEST:: SOT 3102777 SOS 1784193 HAS SOPS 1779962 HAS SOUS 218973 HAS SOUPS 218317 WITH SCORE 220101.193
AT ITER 2096 NEW BEST:: SOT 3102925 SOS 1784572 HAS SOPS 1780341 HAS SOUS 218860 HAS SOUPS 218204 WITH SCORE 219988.572
AT ITER 2104 NEW BEST:: SOT 3102431 SOS 1784033 HAS SOPS 1779802 HAS SOUS 218321 HAS SOUPS 217665 WITH SCORE 219449.033
AT ITER 2106 NEW BEST:: SOT 3102417 SOS 1784019 HAS SOPS 1779788 HAS SOUS 218314 HAS SOUPS 217658 WITH SCORE 219442.019
AT ITER 2135 NEW BEST:: SOT 3102282 SOS 1783940 HAS SOPS 1779709 HAS SOUS 218259 HAS SOUPS 217603 WITH SCORE 219386.94
AT ITER 2148 NEW BEST:: SOT 3102282 SOS 1783824 HAS SOPS 1779593 HAS SOUS 218235 HAS SOUPS 217579 WITH SCORE 219362.824
AT ITER 2153 NEW BEST:: SOT 3102244 SOS 1783786 HAS SOPS 1779555 HAS SOUS 218197 HAS SOUPS 217541 WITH SCORE 219324.786
AT ITER 2163 NEW BEST:: SOT 3102186 SOS 1783728 HAS SOPS 1779497 HAS SOUS 217675 HAS SOUPS 217019 WITH SCORE 218802.728
AT ITER 2179 NEW BEST:: SOT 3101241 SOS 1782673 HAS SOPS 1778442 HAS SOUS 216424 HAS SOUPS 215768 WITH SCORE 217550.673
AT ITER 2191 NEW BEST:: SOT 3101271 SOS 1722477 HAS SOPS 1718246 HAS SOUS 216113 HAS SOUPS 215457 WITH SCORE 217179.477
AT ITER 2212 NEW BEST:: SOT 3101715 SOS 1722921 HAS SOPS 1718690 HAS SOUS 215825 HAS SOUPS 215169 WITH SCORE 216891.921
AT ITER 2220 NEW BEST:: SOT 3101412 SOS 1723131 HAS SOPS 1718872 HAS SOUS 215601 HAS SOUPS 214945 WITH SCORE 216668.131
AT ITER 2242 NEW BEST:: SOT 3101366 SOS 1723039 HAS SOPS 1718780 HAS SOUS 215500 HAS SOUPS 214844 WITH SCORE 216567.039
AT ITER 2265 NEW BEST:: SOT 3101997 SOS 1723670 HAS SOPS 1719411 HAS SOUS 215475 HAS SOUPS 214819 WITH SCORE 216542.67
AT ITER 2271 NEW BEST:: SOT 3101961 SOS 1723530 HAS SOPS 1719287 HAS SOUS 215403 HAS SOUPS 214747 WITH SCORE 216470.53
AT ITER 2280 NEW BEST:: SOT 3101884 SOS 1723425 HAS SOPS 1719182 HAS SOUS 215316 HAS SOUPS 214660 WITH SCORE 216383.425
AT ITER 2287 NEW BEST:: SOT 3101944 SOS 1723645 HAS SOPS 1719402 HAS SOUS 215285 HAS SOUPS 214629 WITH SCORE 216352.645
AT ITER 2298 NEW BEST:: SOT 3101914 SOS 1723615 HAS SOPS 1719372 HAS SOUS 215250 HAS SOUPS 214594 WITH SCORE 216317.615
AT ITER 2303 NEW BEST:: SOT 3101578 SOS 1710529 HAS SOPS 1706286 HAS SOUS 214635 HAS SOUPS 213979 WITH SCORE 215689.529
AT ITER 2320 NEW BEST:: SOT 3101467 SOS 1710418 HAS SOPS 1706175 HAS SOUS 214524 HAS SOUPS 213868 WITH SCORE 215578.418
AT ITER 2321 NEW BEST:: SOT 3101432 SOS 1710217 HAS SOPS 1705974 HAS SOUS 214519 HAS SOUPS 213863 WITH SCORE 215573.217
AT ITER 2337 NEW BEST:: SOT 3101373 SOS 1709818 HAS SOPS 1705575 HAS SOUS 214501 HAS SOUPS 213845 WITH SCORE 215554.818
AT ITER 2339 NEW BEST:: SOT 3101340 SOS 1709689 HAS SOPS 1705446 HAS SOUS 214323 HAS SOUPS 213667 WITH SCORE 215376.689
AT ITER 2342 NEW BEST:: SOT 3101360 SOS 1709709 HAS SOPS 1705466 HAS SOUS 214298 HAS SOUPS 213642 WITH SCORE 215351.709
AT ITER 2391 NEW BEST:: SOT 3101196 SOS 1709504 HAS SOPS 1705261 HAS SOUS 213970 HAS SOUPS 213314 WITH SCORE 215023.504
AT ITER 2408 NEW BEST:: SOT 3101196 SOS 1709854 HAS SOPS 1705611 HAS SOUS 213965 HAS SOUPS 213309 WITH SCORE 215018.854
AT ITER 2423 NEW BEST:: SOT 3101164 SOS 1709768 HAS SOPS 1705525 HAS SOUS 213879 HAS SOUPS 213223 WITH SCORE 214932.768
AT ITER 2427 NEW BEST:: SOT 3101134 SOS 1709654 HAS SOPS 1705411 HAS SOUS 213861 HAS SOUPS 213205 WITH SCORE 214914.654
AT ITER 2434 NEW BEST:: SOT 3101011 SOS 1709567 HAS SOPS 1705324 HAS SOUS 213774 HAS SOUPS 213118 WITH SCORE 214827.567
AT ITER 2435 NEW BEST:: SOT 3101063 SOS 1709619 HAS SOPS 1705376 HAS SOUS 213767 HAS SOUPS 213111 WITH SCORE 214820.619
AT ITER 2438 NEW BEST:: SOT 3101116 SOS 1707362 HAS SOPS 1703106 HAS SOUS 213640 HAS SOUPS 212984 WITH SCORE 214691.362
AT ITER 2441 NEW BEST:: SOT 3101116 SOS 1707357 HAS SOPS 1703101 HAS SOUS 213640 HAS SOUPS 212984 WITH SCORE 214691.357
AT ITER 2462 NEW BEST:: SOT 3100911 SOS 1707152 HAS SOPS 1702896 HAS SOUS 213392 HAS SOUPS 212736 WITH SCORE 214443.152
AT ITER 2471 NEW BEST:: SOT 3100911 SOS 1707244 HAS SOPS 1702988 HAS SOUS 213268 HAS SOUPS 212612 WITH SCORE 214319.244
AT ITER 2502 NEW BEST:: SOT 3100907 SOS 1707240 HAS SOPS 1702984 HAS SOUS 213260 HAS SOUPS 212604 WITH SCORE 214311.24
AT ITER 2507 NEW BEST:: SOT 3100226 SOS 1706067 HAS SOPS 1701811 HAS SOUS 212634 HAS SOUPS 211978 WITH SCORE 213684.067
AT ITER 2531 NEW BEST:: SOT 3100222 SOS 1706063 HAS SOPS 1701807 HAS SOUS 212630 HAS SOUPS 211974 WITH SCORE 213680.063
AT ITER 2533 NEW BEST:: SOT 3100140 SOS 1705981 HAS SOPS 1701725 HAS SOUS 212452 HAS SOUPS 211796 WITH SCORE 213501.981
AT ITER 2547 NEW BEST:: SOT 3099976 SOS 1705884 HAS SOPS 1701628 HAS SOUS 212444 HAS SOUPS 211788 WITH SCORE 213493.884
AT ITER 2551 NEW BEST:: SOT 3100108 SOS 1706016 HAS SOPS 1701848 HAS SOUS 212224 HAS SOUPS 211568 WITH SCORE 213274.016
AT ITER 2559 NEW BEST:: SOT 3100014 SOS 1705806 HAS SOPS 1701660 HAS SOUS 212152 HAS SOUPS 211496 WITH SCORE 213201.806
AT ITER 2566 NEW BEST:: SOT 3099971 SOS 1705533 HAS SOPS 1701387 HAS SOUS 212066 HAS SOUPS 211410 WITH SCORE 213115.533
AT ITER 2567 NEW BEST:: SOT 3100110 SOS 1705672 HAS SOPS 1701526 HAS SOUS 212048 HAS SOUPS 211392 WITH SCORE 213097.672
AT ITER 2568 NEW BEST:: SOT 3100083 SOS 1705618 HAS SOPS 1701472 HAS SOUS 211994 HAS SOUPS 211338 WITH SCORE 213043.618
AT ITER 2570 NEW BEST:: SOT 3100019 SOS 1705490 HAS SOPS 1701344 HAS SOUS 211898 HAS SOUPS 211242 WITH SCORE 212947.49
AT ITER 2618 NEW BEST:: SOT 3100033 SOS 1705504 HAS SOPS 1701358 HAS SOUS 211891 HAS SOUPS 211235 WITH SCORE 212940.504
AT ITER 2628 NEW BEST:: SOT 3100041 SOS 1705510 HAS SOPS 1701328 HAS SOUS 211865 HAS SOUPS 211206 WITH SCORE 212911.51
AT ITER 2638 NEW BEST:: SOT 3099936 SOS 1705440 HAS SOPS 1701258 HAS SOUS 210430 HAS SOUPS 209771 WITH SCORE 211476.44
AT ITER 2640 NEW BEST:: SOT 3099552 SOS 1705246 HAS SOPS 1701173 HAS SOUS 209892 HAS SOUPS 209233 WITH SCORE 210938.246
AT ITER 2644 NEW BEST:: SOT 3022161 SOS 1686970 HAS SOPS 1682897 HAS SOUS 207735 HAS SOUPS 207076 WITH SCORE 208762.97
AT ITER 2647 NEW BEST:: SOT 3022177 SOS 1686944 HAS SOPS 1682871 HAS SOUS 207734 HAS SOUPS 207075 WITH SCORE 208761.944
AT ITER 2653 NEW BEST:: SOT 3022177 SOS 1686990 HAS SOPS 1682894 HAS SOUS 207718 HAS SOUPS 207059 WITH SCORE 208745.99
AT ITER 2668 NEW BEST:: SOT 3022173 SOS 1687033 HAS SOPS 1682937 HAS SOUS 207711 HAS SOUPS 207052 WITH SCORE 208739.033
AT ITER 2678 NEW BEST:: SOT 3022008 SOS 1686868 HAS SOPS 1682714 HAS SOUS 207547 HAS SOUPS 206830 WITH SCORE 208516.868
AT ITER 2685 NEW BEST:: SOT 3021998 SOS 1686858 HAS SOPS 1682704 HAS SOUS 207497 HAS SOUPS 206780 WITH SCORE 208466.858
AT ITER 2696 NEW BEST:: SOT 3021945 SOS 1656699 HAS SOPS 1652545 HAS SOUS 207225 HAS SOUPS 206508 WITH SCORE 208164.699
AT ITER 2705 NEW BEST:: SOT 3021831 SOS 1656521 HAS SOPS 1652311 HAS SOUS 206906 HAS SOUPS 206181 WITH SCORE 207837.521
AT ITER 2707 NEW BEST:: SOT 3021819 SOS 1656509 HAS SOPS 1652287 HAS SOUS 206881 HAS SOUPS 206156 WITH SCORE 207812.509
AT ITER 2715 NEW BEST:: SOT 3021807 SOS 1656497 HAS SOPS 1652280 HAS SOUS 206857 HAS SOUPS 206132 WITH SCORE 207788.497
AT ITER 2717 NEW BEST:: SOT 3021714 SOS 1656329 HAS SOPS 1652187 HAS SOUS 206838 HAS SOUPS 206113 WITH SCORE 207769.329
AT ITER 2730 NEW BEST:: SOT 3021417 SOS 1655808 HAS SOPS 1651666 HAS SOUS 206449 HAS SOUPS 205724 WITH SCORE 207379.808
AT ITER 2733 NEW BEST:: SOT 3021398 SOS 1655789 HAS SOPS 1651647 HAS SOUS 206430 HAS SOUPS 205705 WITH SCORE 207360.789
AT ITER 2764 NEW BEST:: SOT 3021376 SOS 1655689 HAS SOPS 1651547 HAS SOUS 206386 HAS SOUPS 205661 WITH SCORE 207316.689
AT ITER 2772 NEW BEST:: SOT 3021358 SOS 1655771 HAS SOPS 1651629 HAS SOUS 206345 HAS SOUPS 205620 WITH SCORE 207275.771
AT ITER 2784 NEW BEST:: SOT 3021327 SOS 1655740 HAS SOPS 1651567 HAS SOUS 206248 HAS SOUPS 205523 WITH SCORE 207178.74
AT ITER 2786 NEW BEST:: SOT 3021345 SOS 1655761 HAS SOPS 1651588 HAS SOUS 206071 HAS SOUPS 205346 WITH SCORE 207001.761
AT ITER 2790 NEW BEST:: SOT 3021317 SOS 1655696 HAS SOPS 1651523 HAS SOUS 206052 HAS SOUPS 205327 WITH SCORE 206982.696
AT ITER 2798 NEW BEST:: SOT 3021361 SOS 1655871 HAS SOPS 1651572 HAS SOUS 206015 HAS SOUPS 205241 WITH SCORE 206896.871
AT ITER 2825 NEW BEST:: SOT 3021027 SOS 1655189 HAS SOPS 1650890 HAS SOUS 205931 HAS SOUPS 205157 WITH SCORE 206812.189
AT ITER 2831 NEW BEST:: SOT 3021120 SOS 1655282 HAS SOPS 1650983 HAS SOUS 205880 HAS SOUPS 205106 WITH SCORE 206761.282
AT ITER 2845 NEW BEST:: SOT 3021064 SOS 1655226 HAS SOPS 1650927 HAS SOUS 205867 HAS SOUPS 205093 WITH SCORE 206748.226
AT ITER 2854 NEW BEST:: SOT 3020842 SOS 1655004 HAS SOPS 1650705 HAS SOUS 205709 HAS SOUPS 204935 WITH SCORE 206590.004
AT ITER 2863 NEW BEST:: SOT 3020805 SOS 1654943 HAS SOPS 1650644 HAS SOUS 205648 HAS SOUPS 204874 WITH SCORE 206528.943
AT ITER 2895 NEW BEST:: SOT 2966626 SOS 1670853 HAS SOPS 1666554 HAS SOUS 199820 HAS SOUPS 199046 WITH SCORE 200716.853
AT ITER 2908 NEW BEST:: SOT 2966504 SOS 1670731 HAS SOPS 1666432 HAS SOUS 199576 HAS SOUPS 198802 WITH SCORE 200472.731
AT ITER 2909 NEW BEST:: SOT 2966040 SOS 1641283 HAS SOPS 1636984 HAS SOUS 199008 HAS SOUPS 198234 WITH SCORE 199875.283
AT ITER 2915 NEW BEST:: SOT 2966040 SOS 1642405 HAS SOPS 1637854 HAS SOUS 198745 HAS SOUPS 197929 WITH SCORE 199571.405
AT ITER 2939 NEW BEST:: SOT 2966040 SOS 1642332 HAS SOPS 1637781 HAS SOUS 198745 HAS SOUPS 197929 WITH SCORE 199571.332
AT ITER 2972 NEW BEST:: SOT 2965885 SOS 1513953 HAS SOPS 1509402 HAS SOUS 198746 HAS SOUPS 197930 WITH SCORE 199443.953
AT ITER 2982 NEW BEST:: SOT 2965855 SOS 1513923 HAS SOPS 1509389 HAS SOUS 198695 HAS SOUPS 197896 WITH SCORE 199409.923
AT ITER 2985 NEW BEST:: SOT 2965908 SOS 1513976 HAS SOPS 1509354 HAS SOUS 198468 HAS SOUPS 197669 WITH SCORE 199182.976
AT ITER 3001 NEW BEST:: SOT 2965779 SOS 1513827 HAS SOPS 1509205 HAS SOUS 198404 HAS SOUPS 197605 WITH SCORE 199118.827
AT ITER 3025 NEW BEST:: SOT 2965751 SOS 1513813 HAS SOPS 1509191 HAS SOUS 198390 HAS SOUPS 197591 WITH SCORE 199104.813
AT ITER 3029 NEW BEST:: SOT 2973455 SOS 1521517 HAS SOPS 1516895 HAS SOUS 198156 HAS SOUPS 197357 WITH SCORE 198878.517
AT ITER 3030 NEW BEST:: SOT 2973330 SOS 1521380 HAS SOPS 1516758 HAS SOUS 197978 HAS SOUPS 197179 WITH SCORE 198700.38
AT ITER 3031 NEW BEST:: SOT 2973234 SOS 1521353 HAS SOPS 1516731 HAS SOUS 197872 HAS SOUPS 197073 WITH SCORE 198594.353
AT ITER 3032 NEW BEST:: SOT 2973235 SOS 1521354 HAS SOPS 1516712 HAS SOUS 197834 HAS SOUPS 197035 WITH SCORE 198556.354
AT ITER 3043 NEW BEST:: SOT 2973223 SOS 1521342 HAS SOPS 1516700 HAS SOUS 197810 HAS SOUPS 197011 WITH SCORE 198532.342
AT ITER 3053 NEW BEST:: SOT 2973214 SOS 1521333 HAS SOPS 1516691 HAS SOUS 197810 HAS SOUPS 197011 WITH SCORE 198532.333
AT ITER 3058 NEW BEST:: SOT 2973189 SOS 1521179 HAS SOPS 1516534 HAS SOUS 197782 HAS SOUPS 196983 WITH SCORE 198504.179
AT ITER 3066 NEW BEST:: SOT 2972689 SOS 1520632 HAS SOPS 1515987 HAS SOUS 197416 HAS SOUPS 196617 WITH SCORE 198137.632
AT ITER 3081 NEW BEST:: SOT 2972676 SOS 1520619 HAS SOPS 1515974 HAS SOUS 197396 HAS SOUPS 196597 WITH SCORE 198117.619
AT ITER 3089 NEW BEST:: SOT 2972650 SOS 1520593 HAS SOPS 1515935 HAS SOUS 197318 HAS SOUPS 196519 WITH SCORE 198039.593
AT ITER 3099 NEW BEST:: SOT 2972646 SOS 1520589 HAS SOPS 1515931 HAS SOUS 197318 HAS SOUPS 196519 WITH SCORE 198039.589
AT ITER 3102 NEW BEST:: SOT 2972607 SOS 1520442 HAS SOPS 1515784 HAS SOUS 197296 HAS SOUPS 196497 WITH SCORE 198017.442
AT ITER 3104 NEW BEST:: SOT 2972545 SOS 1520462 HAS SOPS 1515804 HAS SOUS 197260 HAS SOUPS 196461 WITH SCORE 197981.462
AT ITER 3107 NEW BEST:: SOT 2972517 SOS 1520434 HAS SOPS 1515776 HAS SOUS 197252 HAS SOUPS 196453 WITH SCORE 197973.434
AT ITER 3122 NEW BEST:: SOT 2972535 SOS 1520452 HAS SOPS 1515794 HAS SOUS 197248 HAS SOUPS 196449 WITH SCORE 197969.452
AT ITER 3124 NEW BEST:: SOT 2972524 SOS 1520441 HAS SOPS 1515783 HAS SOUS 197226 HAS SOUPS 196427 WITH SCORE 197947.441
AT ITER 3138 NEW BEST:: SOT 2972478 SOS 1520377 HAS SOPS 1515719 HAS SOUS 197196 HAS SOUPS 196397 WITH SCORE 197917.377
AT ITER 3141 NEW BEST:: SOT 2972367 SOS 1520266 HAS SOPS 1515608 HAS SOUS 197017 HAS SOUPS 196218 WITH SCORE 197738.266
AT ITER 3151 NEW BEST:: SOT 2972573 SOS 1520655 HAS SOPS 1515997 HAS SOUS 196862 HAS SOUPS 196063 WITH SCORE 197583.655
AT ITER 3156 NEW BEST:: SOT 2972590 SOS 1520750 HAS SOPS 1516092 HAS SOUS 196853 HAS SOUPS 196054 WITH SCORE 197574.75
AT ITER 3203 NEW BEST:: SOT 2952201 SOS 1506424 HAS SOPS 1501766 HAS SOUS 196654 HAS SOUPS 195855 WITH SCORE 197361.424
AT ITER 3205 NEW BEST:: SOT 2951966 SOS 1506189 HAS SOPS 1501531 HAS SOUS 196554 HAS SOUPS 195755 WITH SCORE 197261.189
AT ITER 3211 NEW BEST:: SOT 2951944 SOS 1506156 HAS SOPS 1501498 HAS SOUS 196532 HAS SOUPS 195733 WITH SCORE 197239.156
AT ITER 3241 NEW BEST:: SOT 2951683 SOS 1504316 HAS SOPS 1500156 HAS SOUS 196157 HAS SOUPS 195441 WITH SCORE 196945.316
AT ITER 3242 NEW BEST:: SOT 2951680 SOS 1504341 HAS SOPS 1500181 HAS SOUS 193860 HAS SOUPS 193144 WITH SCORE 194648.341
AT ITER 3249 NEW BEST:: SOT 2951443 SOS 1504015 HAS SOPS 1499855 HAS SOUS 193662 HAS SOUPS 192946 WITH SCORE 194450.015
AT ITER 3251 NEW BEST:: SOT 2951369 SOS 1503911 HAS SOPS 1499751 HAS SOUS 193514 HAS SOUPS 192798 WITH SCORE 194301.911
AT ITER 3263 NEW BEST:: SOT 2951367 SOS 1503840 HAS SOPS 1499680 HAS SOUS 193373 HAS SOUPS 192657 WITH SCORE 194160.84
AT ITER 3266 NEW BEST:: SOT 2951343 SOS 1503924 HAS SOPS 1499767 HAS SOUS 193328 HAS SOUPS 192612 WITH SCORE 194115.924
AT ITER 3271 NEW BEST:: SOT 2951206 SOS 1500857 HAS SOPS 1496237 HAS SOUS 193104 HAS SOUPS 192314 WITH SCORE 193814.857
AT ITER 3287 NEW BEST:: SOT 2950954 SOS 1500444 HAS SOPS 1495824 HAS SOUS 192839 HAS SOUPS 192049 WITH SCORE 193549.444
AT ITER 3289 NEW BEST:: SOT 2950948 SOS 1500432 HAS SOPS 1495812 HAS SOUS 192827 HAS SOUPS 192037 WITH SCORE 193537.432
AT ITER 3317 NEW BEST:: SOT 2950574 SOS 1500146 HAS SOPS 1495526 HAS SOUS 192543 HAS SOUPS 191753 WITH SCORE 193253.146
AT ITER 3326 NEW BEST:: SOT 2950554 SOS 1500400 HAS SOPS 1495780 HAS SOUS 192515 HAS SOUPS 191725 WITH SCORE 193225.4
AT ITER 3375 NEW BEST:: SOT 2950661 SOS 1500419 HAS SOPS 1495799 HAS SOUS 192479 HAS SOUPS 191689 WITH SCORE 193189.419
AT ITER 3378 NEW BEST:: SOT 2950398 SOS 1500156 HAS SOPS 1495441 HAS SOUS 191858 HAS SOUPS 191068 WITH SCORE 192568.156
AT ITER 3386 NEW BEST:: SOT 2950386 SOS 1500144 HAS SOPS 1495429 HAS SOUS 191842 HAS SOUPS 191052 WITH SCORE 192552.144
AT ITER 3387 NEW BEST:: SOT 2949913 SOS 1499767 HAS SOPS 1495052 HAS SOUS 191536 HAS SOUPS 190746 WITH SCORE 192245.767
AT ITER 3391 NEW BEST:: SOT 2949871 SOS 1499587 HAS SOPS 1494872 HAS SOUS 191487 HAS SOUPS 190697 WITH SCORE 192196.587
AT ITER 3410 NEW BEST:: SOT 2949815 SOS 1499531 HAS SOPS 1494780 HAS SOUS 191333 HAS SOUPS 190543 WITH SCORE 192042.531
AT ITER 3467 NEW BEST:: SOT 2949815 SOS 1499574 HAS SOPS 1494823 HAS SOUS 191311 HAS SOUPS 190521 WITH SCORE 192020.574
AT ITER 3473 NEW BEST:: SOT 2949789 SOS 1499548 HAS SOPS 1494797 HAS SOUS 191259 HAS SOUPS 190469 WITH SCORE 191968.548
AT ITER 3474 NEW BEST:: SOT 2952320 SOS 1502122 HAS SOPS 1497371 HAS SOUS 189599 HAS SOUPS 188809 WITH SCORE 190311.122
AT ITER 3476 NEW BEST:: SOT 2952143 SOS 1501945 HAS SOPS 1497186 HAS SOUS 189422 HAS SOUPS 188624 WITH SCORE 190125.945
AT ITER 3478 NEW BEST:: SOT 2952143 SOS 1501926 HAS SOPS 1497167 HAS SOUS 189414 HAS SOUPS 188616 WITH SCORE 190117.926
AT ITER 3486 NEW BEST:: SOT 2952116 SOS 1501899 HAS SOPS 1497164 HAS SOUS 189387 HAS SOUPS 188613 WITH SCORE 190114.899
AT ITER 3493 NEW BEST:: SOT 2951725 SOS 1501961 HAS SOPS 1497226 HAS SOUS 189354 HAS SOUPS 188580 WITH SCORE 190081.961
AT ITER 3497 NEW BEST:: SOT 2951564 SOS 1501811 HAS SOPS 1497076 HAS SOUS 189054 HAS SOUPS 188280 WITH SCORE 189781.811
AT ITER 3500 NEW BEST:: SOT 2951535 SOS 1501637 HAS SOPS 1496902 HAS SOUS 189025 HAS SOUPS 188251 WITH SCORE 189752.637
AT ITER 3502 NEW BEST:: SOT 2951521 SOS 1501623 HAS SOPS 1496888 HAS SOUS 189011 HAS SOUPS 188237 WITH SCORE 189738.623
AT ITER 3515 NEW BEST:: SOT 2951362 SOS 1501834 HAS SOPS 1497099 HAS SOUS 188866 HAS SOUPS 188092 WITH SCORE 189593.834
AT ITER 3537 NEW BEST:: SOT 2951264 SOS 1501736 HAS SOPS 1497001 HAS SOUS 188768 HAS SOUPS 187994 WITH SCORE 189495.736
AT ITER 3553 NEW BEST:: SOT 2951326 SOS 1501798 HAS SOPS 1497016 HAS SOUS 188718 HAS SOUPS 187944 WITH SCORE 189445.798
AT ITER 3558 NEW BEST:: SOT 2951323 SOS 1501795 HAS SOPS 1497013 HAS SOUS 188715 HAS SOUPS 187941 WITH SCORE 189442.795
AT ITER 3562 NEW BEST:: SOT 2951311 SOS 1501768 HAS SOPS 1496986 HAS SOUS 188697 HAS SOUPS 187923 WITH SCORE 189424.768
AT ITER 3575 NEW BEST:: SOT 2951311 SOS 1501678 HAS SOPS 1496896 HAS SOUS 188697 HAS SOUPS 187923 WITH SCORE 189424.678
AT ITER 3588 NEW BEST:: SOT 2951368 SOS 1501735 HAS SOPS 1496901 HAS SOUS 188656 HAS SOUPS 187882 WITH SCORE 189383.735
AT ITER 3596 NEW BEST:: SOT 2951098 SOS 1501605 HAS SOPS 1496771 HAS SOUS 188139 HAS SOUPS 187365 WITH SCORE 188866.605
AT ITER 3611 NEW BEST:: SOT 2951094 SOS 1501564 HAS SOPS 1496730 HAS SOUS 188119 HAS SOUPS 187345 WITH SCORE 188846.564
AT ITER 3619 NEW BEST:: SOT 2950921 SOS 1501564 HAS SOPS 1496730 HAS SOUS 188032 HAS SOUPS 187258 WITH SCORE 188759.564
AT ITER 3630 NEW BEST:: SOT 2950995 SOS 1501680 HAS SOPS 1496846 HAS SOUS 187967 HAS SOUPS 187193 WITH SCORE 188694.68
AT ITER 3636 NEW BEST:: SOT 2950942 SOS 1501641 HAS SOPS 1496807 HAS SOUS 187873 HAS SOUPS 187099 WITH SCORE 188600.641
AT ITER 3638 NEW BEST:: SOT 2950675 SOS 1501451 HAS SOPS 1496617 HAS SOUS 187452 HAS SOUPS 186678 WITH SCORE 188179.451
AT ITER 3639 NEW BEST:: SOT 2951076 SOS 1501876 HAS SOPS 1497042 HAS SOUS 187286 HAS SOUPS 186512 WITH SCORE 188013.876
AT ITER 3644 NEW BEST:: SOT 2951072 SOS 1501872 HAS SOPS 1497038 HAS SOUS 187282 HAS SOUPS 186508 WITH SCORE 188009.872
AT ITER 3663 NEW BEST:: SOT 2951053 SOS 1501858 HAS SOPS 1497024 HAS SOUS 187238 HAS SOUPS 186464 WITH SCORE 187965.858
AT ITER 3668 NEW BEST:: SOT 2950966 SOS 1501793 HAS SOPS 1496959 HAS SOUS 187173 HAS SOUPS 186399 WITH SCORE 187900.793
AT ITER 3673 NEW BEST:: SOT 2950959 SOS 1500689 HAS SOPS 1495855 HAS SOUS 187134 HAS SOUPS 186360 WITH SCORE 187860.689
AT ITER 3679 NEW BEST:: SOT 2950922 SOS 1500652 HAS SOPS 1495818 HAS SOUS 187060 HAS SOUPS 186286 WITH SCORE 187786.652
AT ITER 3688 NEW BEST:: SOT 2950502 SOS 1500384 HAS SOPS 1495550 HAS SOUS 187001 HAS SOUPS 186227 WITH SCORE 187727.384
AT ITER 3692 NEW BEST:: SOT 2950502 SOS 1500382 HAS SOPS 1495548 HAS SOUS 187001 HAS SOUPS 186227 WITH SCORE 187727.382
AT ITER 3693 NEW BEST:: SOT 2950500 SOS 1500380 HAS SOPS 1495546 HAS SOUS 186997 HAS SOUPS 186223 WITH SCORE 187723.38
AT ITER 3701 NEW BEST:: SOT 2950462 SOS 1500266 HAS SOPS 1495432 HAS SOUS 186883 HAS SOUPS 186109 WITH SCORE 187609.266
AT ITER 3708 NEW BEST:: SOT 2953572 SOS 1503376 HAS SOPS 1498542 HAS SOUS 185759 HAS SOUPS 184985 WITH SCORE 186488.376
AT ITER 3727 NEW BEST:: SOT 2953485 SOS 1503285 HAS SOPS 1498413 HAS SOUS 185519 HAS SOUPS 184745 WITH SCORE 186248.285
AT ITER 3743 NEW BEST:: SOT 2953481 SOS 1503281 HAS SOPS 1498381 HAS SOUS 185503 HAS SOUPS 184729 WITH SCORE 186232.281
AT ITER 3747 NEW BEST:: SOT 2953454 SOS 1503218 HAS SOPS 1498318 HAS SOUS 185458 HAS SOUPS 184684 WITH SCORE 186187.218
AT ITER 3751 NEW BEST:: SOT 2953454 SOS 1503197 HAS SOPS 1498297 HAS SOUS 185458 HAS SOUPS 184684 WITH SCORE 186187.197
AT ITER 3777 NEW BEST:: SOT 2953448 SOS 1503191 HAS SOPS 1498291 HAS SOUS 185452 HAS SOUPS 184678 WITH SCORE 186181.191
AT ITER 3784 NEW BEST:: SOT 2953443 SOS 1503181 HAS SOPS 1498281 HAS SOUS 185442 HAS SOUPS 184668 WITH SCORE 186171.181
AT ITER 3805 NEW BEST:: SOT 2953503 SOS 1503308 HAS SOPS 1498388 HAS SOUS 185377 HAS SOUPS 184603 WITH SCORE 186106.308
AT ITER 3806 NEW BEST:: SOT 2953490 SOS 1503193 HAS SOPS 1498273 HAS SOUS 185360 HAS SOUPS 184586 WITH SCORE 186089.193
AT ITER 3852 NEW BEST:: SOT 2953482 SOS 1503177 HAS SOPS 1498265 HAS SOUS 185352 HAS SOUPS 184586 WITH SCORE 186089.177
AT ITER 3859 NEW BEST:: SOT 2953477 SOS 1503172 HAS SOPS 1498260 HAS SOUS 185342 HAS SOUPS 184576 WITH SCORE 186079.172
AT ITER 3861 NEW BEST:: SOT 2953456 SOS 1503151 HAS SOPS 1498239 HAS SOUS 185300 HAS SOUPS 184534 WITH SCORE 186037.151
AT ITER 3868 NEW BEST:: SOT 2953299 SOS 1502723 HAS SOPS 1497811 HAS SOUS 185255 HAS SOUPS 184489 WITH SCORE 185991.723
AT ITER 3871 NEW BEST:: SOT 2953123 SOS 1554158 HAS SOPS 1549246 HAS SOUS 183579 HAS SOUPS 182813 WITH SCORE 184367.158
AT ITER 3885 NEW BEST:: SOT 2953122 SOS 1554157 HAS SOPS 1549244 HAS SOUS 183577 HAS SOUPS 182811 WITH SCORE 184365.157
AT ITER 3894 NEW BEST:: SOT 2952972 SOS 1554053 HAS SOPS 1549140 HAS SOUS 181155 HAS SOUPS 180389 WITH SCORE 181943.053
AT ITER 3911 NEW BEST:: SOT 2952984 SOS 1550480 HAS SOPS 1544613 HAS SOUS 180986 HAS SOUPS 180201 WITH SCORE 181751.48
AT ITER 3918 NEW BEST:: SOT 2952770 SOS 1550132 HAS SOPS 1544265 HAS SOUS 180632 HAS SOUPS 179847 WITH SCORE 181397.132
AT ITER 3928 NEW BEST:: SOT 2952748 SOS 1550110 HAS SOPS 1544243 HAS SOUS 180545 HAS SOUPS 179760 WITH SCORE 181310.11
AT ITER 3931 NEW BEST:: SOT 2952760 SOS 1550093 HAS SOPS 1544226 HAS SOUS 180487 HAS SOUPS 179702 WITH SCORE 181252.093
AT ITER 3937 NEW BEST:: SOT 2952700 SOS 1550033 HAS SOPS 1544166 HAS SOUS 180412 HAS SOUPS 179627 WITH SCORE 181177.033
AT ITER 3946 NEW BEST:: SOT 2952692 SOS 1550025 HAS SOPS 1544158 HAS SOUS 180364 HAS SOUPS 179579 WITH SCORE 181129.025
AT ITER 3955 NEW BEST:: SOT 2952650 SOS 1549509 HAS SOPS 1543642 HAS SOUS 180280 HAS SOUPS 179495 WITH SCORE 181044.509
AT ITER 3963 NEW BEST:: SOT 2952639 SOS 1549487 HAS SOPS 1543620 HAS SOUS 180258 HAS SOUPS 179473 WITH SCORE 181022.487
AT ITER 4003 NEW BEST:: SOT 2952635 SOS 1549483 HAS SOPS 1543616 HAS SOUS 180205 HAS SOUPS 179420 WITH SCORE 180969.483
AT ITER 4009 NEW BEST:: SOT 2959172 SOS 1556031 HAS SOPS 1550164 HAS SOUS 178539 HAS SOUPS 177754 WITH SCORE 179310.031
AT ITER 4011 NEW BEST:: SOT 2959172 SOS 1556021 HAS SOPS 1550154 HAS SOUS 178539 HAS SOUPS 177754 WITH SCORE 179310.021
AT ITER 4013 NEW BEST:: SOT 2959176 SOS 1556118 HAS SOPS 1550234 HAS SOUS 178538 HAS SOUPS 177753 WITH SCORE 179309.118
AT ITER 4038 NEW BEST:: SOT 2959165 SOS 1556107 HAS SOPS 1550223 HAS SOUS 178504 HAS SOUPS 177719 WITH SCORE 179275.107
AT ITER 4044 NEW BEST:: SOT 2959101 SOS 1555970 HAS SOPS 1550086 HAS SOUS 178457 HAS SOUPS 177672 WITH SCORE 179227.97
AT ITER 4050 NEW BEST:: SOT 2959094 SOS 1555956 HAS SOPS 1550072 HAS SOUS 178443 HAS SOUPS 177658 WITH SCORE 179213.956
AT ITER 4066 NEW BEST:: SOT 2959111 SOS 1555973 HAS SOPS 1550089 HAS SOUS 178417 HAS SOUPS 177632 WITH SCORE 179187.973
AT ITER 4074 NEW BEST:: SOT 2959102 SOS 1555964 HAS SOPS 1550080 HAS SOUS 178399 HAS SOUPS 177614 WITH SCORE 179169.964
AT ITER 4076 NEW BEST:: SOT 2958630 SOS 1555604 HAS SOPS 1549720 HAS SOUS 177876 HAS SOUPS 177091 WITH SCORE 178646.604
AT ITER 4098 NEW BEST:: SOT 2958629 SOS 1555603 HAS SOPS 1549719 HAS SOUS 177874 HAS SOUPS 177089 WITH SCORE 178644.603
AT ITER 4138 NEW BEST:: SOT 2958623 SOS 1555593 HAS SOPS 1549709 HAS SOUS 177864 HAS SOUPS 177079 WITH SCORE 178634.593
AT ITER 4141 NEW BEST:: SOT 2958623 SOS 1555593 HAS SOPS 1549699 HAS SOUS 177854 HAS SOUPS 177069 WITH SCORE 178624.593
AT ITER 4154 NEW BEST:: SOT 2958540 SOS 1555528 HAS SOPS 1549634 HAS SOUS 177657 HAS SOUPS 176872 WITH SCORE 178427.528
AT ITER 4172 NEW BEST:: SOT 2958536 SOS 1555522 HAS SOPS 1549628 HAS SOUS 177651 HAS SOUPS 176866 WITH SCORE 178421.522
AT ITER 4196 NEW BEST:: SOT 2958483 SOS 1555416 HAS SOPS 1549522 HAS SOUS 177492 HAS SOUPS 176707 WITH SCORE 178262.416
AT ITER 4198 NEW BEST:: SOT 2958496 SOS 1555429 HAS SOPS 1549539 HAS SOUS 177490 HAS SOUPS 176705 WITH SCORE 178260.429
AT ITER 4248 NEW BEST:: SOT 2958707 SOS 1554826 HAS SOPS 1546050 HAS SOUS 177850 HAS SOUPS 176584 WITH SCORE 178138.826
AT ITER 4259 NEW BEST:: SOT 2958521 SOS 1554640 HAS SOPS 1545864 HAS SOUS 175026 HAS SOUPS 173760 WITH SCORE 175314.64
AT ITER 4268 NEW BEST:: SOT 2958501 SOS 1554486 HAS SOPS 1545710 HAS SOUS 174920 HAS SOUPS 173654 WITH SCORE 175208.486
AT ITER 4299 NEW BEST:: SOT 2958546 SOS 1554531 HAS SOPS 1545742 HAS SOUS 174885 HAS SOUPS 173619 WITH SCORE 175173.531
AT ITER 4301 NEW BEST:: SOT 2958609 SOS 1554412 HAS SOPS 1545623 HAS SOUS 174878 HAS SOUPS 173612 WITH SCORE 175166.412
AT ITER 4305 NEW BEST:: SOT 2958608 SOS 1554411 HAS SOPS 1545602 HAS SOUS 174877 HAS SOUPS 173611 WITH SCORE 175165.411
AT ITER 4306 NEW BEST:: SOT 2958341 SOS 1554104 HAS SOPS 1545298 HAS SOUS 174609 HAS SOUPS 173343 WITH SCORE 174897.104
AT ITER 4322 NEW BEST:: SOT 2958311 SOS 1554074 HAS SOPS 1545239 HAS SOUS 174550 HAS SOUPS 173284 WITH SCORE 174838.074
AT ITER 4334 NEW BEST:: SOT 2958286 SOS 1554049 HAS SOPS 1545214 HAS SOUS 174547 HAS SOUPS 173281 WITH SCORE 174835.049
AT ITER 4341 NEW BEST:: SOT 2958143 SOS 1553994 HAS SOPS 1545159 HAS SOUS 174507 HAS SOUPS 173241 WITH SCORE 174794.994
AT ITER 4354 NEW BEST:: SOT 2958148 SOS 1553899 HAS SOPS 1544720 HAS SOUS 174495 HAS SOUPS 173219 WITH SCORE 174772.899
AT ITER 4357 NEW BEST:: SOT 2958148 SOS 1553908 HAS SOPS 1544729 HAS SOUS 174237 HAS SOUPS 172961 WITH SCORE 174514.908
AT ITER 4388 NEW BEST:: SOT 2958713 SOS 1502934 HAS SOPS 1493755 HAS SOUS 174211 HAS SOUPS 172935 WITH SCORE 174437.934
AT ITER 4407 NEW BEST:: SOT 2958673 SOS 1502894 HAS SOPS 1493715 HAS SOUS 174171 HAS SOUPS 172895 WITH SCORE 174397.894
AT ITER 4423 NEW BEST:: SOT 2958570 SOS 1502791 HAS SOPS 1493612 HAS SOUS 174068 HAS SOUPS 172792 WITH SCORE 174294.791
AT ITER 4448 NEW BEST:: SOT 2970757 SOS 1515064 HAS SOPS 1505885 HAS SOUS 173087 HAS SOUPS 171811 WITH SCORE 173326.064
AT ITER 4452 NEW BEST:: SOT 2970738 SOS 1515058 HAS SOPS 1505879 HAS SOUS 173067 HAS SOUPS 171791 WITH SCORE 173306.058
AT ITER 4477 NEW BEST:: SOT 2970784 SOS 1515042 HAS SOPS 1505863 HAS SOUS 172849 HAS SOUPS 171573 WITH SCORE 173088.042
AT ITER 4490 NEW BEST:: SOT 2970763 SOS 1514965 HAS SOPS 1505786 HAS SOUS 172814 HAS SOUPS 171538 WITH SCORE 173052.965
AT ITER 4491 NEW BEST:: SOT 2970756 SOS 1514951 HAS SOPS 1505779 HAS SOUS 172814 HAS SOUPS 171538 WITH SCORE 173052.951
AT ITER 4510 NEW BEST:: SOT 2970755 SOS 1514949 HAS SOPS 1505777 HAS SOUS 172812 HAS SOUPS 171536 WITH SCORE 173050.949
AT ITER 4512 NEW BEST:: SOT 2970755 SOS 1512441 HAS SOPS 1503269 HAS SOUS 172812 HAS SOUPS 171536 WITH SCORE 173048.441
AT ITER 4518 NEW BEST:: SOT 2956210 SOS 1497896 HAS SOPS 1488724 HAS SOUS 171046 HAS SOUPS 169770 WITH SCORE 171267.896
AT ITER 4537 NEW BEST:: SOT 2956142 SOS 1497630 HAS SOPS 1488458 HAS SOUS 170945 HAS SOUPS 169669 WITH SCORE 171166.63
AT ITER 4573 NEW BEST:: SOT 2956268 SOS 1497782 HAS SOPS 1488610 HAS SOUS 170933 HAS SOUPS 169657 WITH SCORE 171154.782
AT ITER 4579 NEW BEST:: SOT 2956162 SOS 1497738 HAS SOPS 1488566 HAS SOUS 170750 HAS SOUPS 169474 WITH SCORE 170971.738
AT ITER 4587 NEW BEST:: SOT 2956162 SOS 1497738 HAS SOPS 1488566 HAS SOUS 169913 HAS SOUPS 168637 WITH SCORE 170134.738
AT ITER 4599 NEW BEST:: SOT 2956158 SOS 1497734 HAS SOPS 1488562 HAS SOUS 169895 HAS SOUPS 168619 WITH SCORE 170116.734
AT ITER 4606 NEW BEST:: SOT 2956126 SOS 1497702 HAS SOPS 1488530 HAS SOUS 169833 HAS SOUPS 168557 WITH SCORE 170054.702
AT ITER 4607 NEW BEST:: SOT 2956115 SOS 1497673 HAS SOPS 1488501 HAS SOUS 169811 HAS SOUPS 168535 WITH SCORE 170032.673
AT ITER 4612 NEW BEST:: SOT 2929903 SOS 1471526 HAS SOPS 1462276 HAS SOUS 166632 HAS SOUPS 165343 WITH SCORE 166814.526
AT ITER 4628 NEW BEST:: SOT 2929897 SOS 1471520 HAS SOPS 1462268 HAS SOUS 166622 HAS SOUPS 165333 WITH SCORE 166804.52
AT ITER 4629 NEW BEST:: SOT 2929635 SOS 1471268 HAS SOPS 1462016 HAS SOUS 166583 HAS SOUPS 165294 WITH SCORE 166765.268
AT ITER 4644 NEW BEST:: SOT 2929536 SOS 1471222 HAS SOPS 1461970 HAS SOUS 166571 HAS SOUPS 165282 WITH SCORE 166753.222
AT ITER 4649 NEW BEST:: SOT 2929346 SOS 1470888 HAS SOPS 1461636 HAS SOUS 166191 HAS SOUPS 164902 WITH SCORE 166372.888
AT ITER 4674 NEW BEST:: SOT 2929334 SOS 1470831 HAS SOPS 1461579 HAS SOUS 166029 HAS SOUPS 164740 WITH SCORE 166210.831
AT ITER 4684 NEW BEST:: SOT 2929301 SOS 1470690 HAS SOPS 1461438 HAS SOUS 165955 HAS SOUPS 164666 WITH SCORE 166136.69
AT ITER 4688 NEW BEST:: SOT 2929293 SOS 1470682 HAS SOPS 1461430 HAS SOUS 165939 HAS SOUPS 164650 WITH SCORE 166120.682
AT ITER 4696 NEW BEST:: SOT 2929290 SOS 1470723 HAS SOPS 1461471 HAS SOUS 165856 HAS SOUPS 164567 WITH SCORE 166037.723
AT ITER 4714 NEW BEST:: SOT 2929380 SOS 1470899 HAS SOPS 1461647 HAS SOUS 165844 HAS SOUPS 164555 WITH SCORE 166025.899
AT ITER 4723 NEW BEST:: SOT 2929372 SOS 1470893 HAS SOPS 1461649 HAS SOUS 165844 HAS SOUPS 164555 WITH SCORE 166025.893
AT ITER 4726 NEW BEST:: SOT 2929248 SOS 1470729 HAS SOPS 1461584 HAS SOUS 165757 HAS SOUPS 164468 WITH SCORE 165938.729
AT ITER 4727 NEW BEST:: SOT 2929202 SOS 1470592 HAS SOPS 1461447 HAS SOUS 165665 HAS SOUPS 164376 WITH SCORE 165846.592
AT ITER 4729 NEW BEST:: SOT 2929214 SOS 1470604 HAS SOPS 1461473 HAS SOUS 165647 HAS SOUPS 164358 WITH SCORE 165828.604
AT ITER 4730 NEW BEST:: SOT 2929255 SOS 1470836 HAS SOPS 1461705 HAS SOUS 165639 HAS SOUPS 164350 WITH SCORE 165820.836
AT ITER 4752 NEW BEST:: SOT 2929086 SOS 1470055 HAS SOPS 1460924 HAS SOUS 165429 HAS SOUPS 164140 WITH SCORE 165610.055
AT ITER 4799 NEW BEST:: SOT 2929086 SOS 1470063 HAS SOPS 1460932 HAS SOUS 165422 HAS SOUPS 164133 WITH SCORE 165603.063
AT ITER 4831 NEW BEST:: SOT 2929111 SOS 1470099 HAS SOPS 1460968 HAS SOUS 165337 HAS SOUPS 164048 WITH SCORE 165518.099
AT ITER 4833 NEW BEST:: SOT 2929101 SOS 1470073 HAS SOPS 1460942 HAS SOUS 165322 HAS SOUPS 164033 WITH SCORE 165503.073
AT ITER 4835 NEW BEST:: SOT 2929105 SOS 1470203 HAS SOPS 1461072 HAS SOUS 165248 HAS SOUPS 163959 WITH SCORE 165429.203
AT ITER 4837 NEW BEST:: SOT 2929105 SOS 1470203 HAS SOPS 1461067 HAS SOUS 165238 HAS SOUPS 163949 WITH SCORE 165419.203
AT ITER 4847 NEW BEST:: SOT 2929110 SOS 1470165 HAS SOPS 1461029 HAS SOUS 165200 HAS SOUPS 163911 WITH SCORE 165381.165
AT ITER 4878 NEW BEST:: SOT 2928978 SOS 1470011 HAS SOPS 1460875 HAS SOUS 165046 HAS SOUPS 163757 WITH SCORE 165227.011
AT ITER 4891 NEW BEST:: SOT 2928965 SOS 1469998 HAS SOPS 1460862 HAS SOUS 164993 HAS SOUPS 163704 WITH SCORE 165173.998
AT ITER 4935 NEW BEST:: SOT 2928937 SOS 1473312 HAS SOPS 1464176 HAS SOUS 164942 HAS SOUPS 163653 WITH SCORE 165126.312
AT ITER 4956 NEW BEST:: SOT 2928921 SOS 1473296 HAS SOPS 1464160 HAS SOUS 164895 HAS SOUPS 163606 WITH SCORE 165079.296
AT ITER 4960 NEW BEST:: SOT 2873971 SOS 1418346 HAS SOPS 1409210 HAS SOUS 159799 HAS SOUPS 158510 WITH SCORE 159928.346
AT ITER 4981 NEW BEST:: SOT 2873983 SOS 1418345 HAS SOPS 1409209 HAS SOUS 159781 HAS SOUPS 158492 WITH SCORE 159910.345
AT ITER 4994 NEW BEST:: SOT 2873981 SOS 1418341 HAS SOPS 1409205 HAS SOUS 159777 HAS SOUPS 158488 WITH SCORE 159906.341
AT ITER 5006 NEW BEST:: SOT 2873981 SOS 1353649 HAS SOPS 1344513 HAS SOUS 159783 HAS SOUPS 158494 WITH SCORE 159847.649
AT ITER 5013 NEW BEST:: SOT 2873954 SOS 1353685 HAS SOPS 1344549 HAS SOUS 159649 HAS SOUPS 158360 WITH SCORE 159713.685
AT ITER 5015 NEW BEST:: SOT 2873964 SOS 1353695 HAS SOPS 1344379 HAS SOUS 159659 HAS SOUPS 158340 WITH SCORE 159693.695
AT ITER 5025 NEW BEST:: SOT 2874346 SOS 1354109 HAS SOPS 1344793 HAS SOUS 159574 HAS SOUPS 158255 WITH SCORE 159609.109
AT ITER 5026 NEW BEST:: SOT 2874463 SOS 1354213 HAS SOPS 1344897 HAS SOUS 159315 HAS SOUPS 157996 WITH SCORE 159350.213
AT ITER 5068 NEW BEST:: SOT 2874446 SOS 1353850 HAS SOPS 1344534 HAS SOUS 159240 HAS SOUPS 157921 WITH SCORE 159274.85
AT ITER 5082 NEW BEST:: SOT 2874427 SOS 1353831 HAS SOPS 1344515 HAS SOUS 159221 HAS SOUPS 157902 WITH SCORE 159255.831
AT ITER 5105 NEW BEST:: SOT 2874516 SOS 1353830 HAS SOPS 1344514 HAS SOUS 159176 HAS SOUPS 157857 WITH SCORE 159210.83
AT ITER 5113 NEW BEST:: SOT 2874505 SOS 1353819 HAS SOPS 1344503 HAS SOUS 159154 HAS SOUPS 157835 WITH SCORE 159188.819
AT ITER 5159 NEW BEST:: SOT 2874545 SOS 1353895 HAS SOPS 1344579 HAS SOUS 159086 HAS SOUPS 157767 WITH SCORE 159120.895
AT ITER 5167 NEW BEST:: SOT 2874515 SOS 1353865 HAS SOPS 1344549 HAS SOUS 159041 HAS SOUPS 157722 WITH SCORE 159075.865
AT ITER 5172 NEW BEST:: SOT 2874496 SOS 1353831 HAS SOPS 1344553 HAS SOUS 159022 HAS SOUPS 157703 WITH SCORE 159056.831
AT ITER 5181 NEW BEST:: SOT 2874470 SOS 1353805 HAS SOPS 1344527 HAS SOUS 158996 HAS SOUPS 157677 WITH SCORE 159030.805
AT ITER 5184 NEW BEST:: SOT 2874458 SOS 1353789 HAS SOPS 1344511 HAS SOUS 158982 HAS SOUPS 157663 WITH SCORE 159016.789
AT ITER 5209 NEW BEST:: SOT 2874458 SOS 1353811 HAS SOPS 1344533 HAS SOUS 158960 HAS SOUPS 157641 WITH SCORE 158994.811
AT ITER 5213 NEW BEST:: SOT 2874490 SOS 1353776 HAS SOPS 1344441 HAS SOUS 158947 HAS SOUPS 157628 WITH SCORE 158981.776
AT ITER 5214 NEW BEST:: SOT 2874462 SOS 1353748 HAS SOPS 1344413 HAS SOUS 158947 HAS SOUPS 157628 WITH SCORE 158981.748
AT ITER 5216 NEW BEST:: SOT 2874447 SOS 1353768 HAS SOPS 1344436 HAS SOUS 158921 HAS SOUPS 157599 WITH SCORE 158952.768
AT ITER 5220 NEW BEST:: SOT 2874402 SOS 1353687 HAS SOPS 1344355 HAS SOUS 158870 HAS SOUPS 157548 WITH SCORE 158901.687
AT ITER 5222 NEW BEST:: SOT 2874394 SOS 1347603 HAS SOPS 1338271 HAS SOUS 158866 HAS SOUPS 157544 WITH SCORE 158891.603
AT ITER 5236 NEW BEST:: SOT 2874394 SOS 1347603 HAS SOPS 1338271 HAS SOUS 158684 HAS SOUPS 157362 WITH SCORE 158709.603
AT ITER 5243 NEW BEST:: SOT 2874416 SOS 1347625 HAS SOPS 1338265 HAS SOUS 158614 HAS SOUPS 157292 WITH SCORE 158639.625
AT ITER 5246 NEW BEST:: SOT 2874422 SOS 1347463 HAS SOPS 1338103 HAS SOUS 158519 HAS SOUPS 157197 WITH SCORE 158544.463
AT ITER 5255 NEW BEST:: SOT 2874422 SOS 1347463 HAS SOPS 1338103 HAS SOUS 158486 HAS SOUPS 157164 WITH SCORE 158511.463
AT ITER 5263 NEW BEST:: SOT 2874226 SOS 1347267 HAS SOPS 1337907 HAS SOUS 158296 HAS SOUPS 156974 WITH SCORE 158321.267
AT ITER 5293 NEW BEST:: SOT 2874100 SOS 1347082 HAS SOPS 1337722 HAS SOUS 157548 HAS SOUPS 156226 WITH SCORE 157573.082
AT ITER 5319 NEW BEST:: SOT 2874235 SOS 1347457 HAS SOPS 1337999 HAS SOUS 157516 HAS SOUPS 156194 WITH SCORE 157541.457
AT ITER 5333 NEW BEST:: SOT 2874227 SOS 1347449 HAS SOPS 1337983 HAS SOUS 157504 HAS SOUPS 156178 WITH SCORE 157525.449
AT ITER 5337 NEW BEST:: SOT 2874272 SOS 1347356 HAS SOPS 1337875 HAS SOUS 157504 HAS SOUPS 156178 WITH SCORE 157525.356
AT ITER 5442 NEW BEST:: SOT 2874282 SOS 1344333 HAS SOPS 1334852 HAS SOUS 157459 HAS SOUPS 156133 WITH SCORE 157477.333
AT ITER 5488 NEW BEST:: SOT 2874243 SOS 1344294 HAS SOPS 1334813 HAS SOUS 157271 HAS SOUPS 155945 WITH SCORE 157289.294
AT ITER 5494 NEW BEST:: SOT 2874267 SOS 1344318 HAS SOPS 1334837 HAS SOUS 157240 HAS SOUPS 155914 WITH SCORE 157258.318
AT ITER 5504 NEW BEST:: SOT 2874193 SOS 1344254 HAS SOPS 1334733 HAS SOUS 157208 HAS SOUPS 155862 WITH SCORE 157206.254
AT ITER 5525 NEW BEST:: SOT 2874096 SOS 1344208 HAS SOPS 1334687 HAS SOUS 157089 HAS SOUPS 155743 WITH SCORE 157087.208
AT ITER 5527 NEW BEST:: SOT 2874090 SOS 1344202 HAS SOPS 1334681 HAS SOUS 157081 HAS SOUPS 155735 WITH SCORE 157079.202
AT ITER 5549 NEW BEST:: SOT 2874172 SOS 1344343 HAS SOPS 1334822 HAS SOUS 157037 HAS SOUPS 155691 WITH SCORE 157035.343
AT ITER 5577 NEW BEST:: SOT 2874022 SOS 1344193 HAS SOPS 1334672 HAS SOUS 156977 HAS SOUPS 155631 WITH SCORE 156975.193
AT ITER 5585 NEW BEST:: SOT 2873996 SOS 1344167 HAS SOPS 1334634 HAS SOUS 156925 HAS SOUPS 155579 WITH SCORE 156923.167
AT ITER 5589 NEW BEST:: SOT 2873983 SOS 1344154 HAS SOPS 1334621 HAS SOUS 156912 HAS SOUPS 155566 WITH SCORE 156910.154
AT ITER 5634 NEW BEST:: SOT 2873983 SOS 1344137 HAS SOPS 1334604 HAS SOUS 156886 HAS SOUPS 155540 WITH SCORE 156884.137
AT ITER 5647 NEW BEST:: SOT 2874697 SOS 1344918 HAS SOPS 1335385 HAS SOUS 155442 HAS SOUPS 154096 WITH SCORE 155440.918
AT ITER 5651 NEW BEST:: SOT 2874693 SOS 1344912 HAS SOPS 1335379 HAS SOUS 155430 HAS SOUPS 154084 WITH SCORE 155428.912
AT ITER 5663 NEW BEST:: SOT 2874135 SOS 1344288 HAS SOPS 1334755 HAS SOUS 154796 HAS SOUPS 153450 WITH SCORE 154794.288
AT ITER 5669 NEW BEST:: SOT 2873815 SOS 1343948 HAS SOPS 1334415 HAS SOUS 154657 HAS SOUPS 153311 WITH SCORE 154654.948
AT ITER 5674 NEW BEST:: SOT 2873814 SOS 1343947 HAS SOPS 1334412 HAS SOUS 154645 HAS SOUPS 153299 WITH SCORE 154642.947
AT ITER 5684 NEW BEST:: SOT 2868407 SOS 1338540 HAS SOPS 1329005 HAS SOUS 154077 HAS SOUPS 152731 WITH SCORE 154069.54
AT ITER 5706 NEW BEST:: SOT 2868515 SOS 1338648 HAS SOPS 1329113 HAS SOUS 153385 HAS SOUPS 152039 WITH SCORE 153377.648
AT ITER 5707 NEW BEST:: SOT 2868522 SOS 1338655 HAS SOPS 1329064 HAS SOUS 153283 HAS SOUPS 151937 WITH SCORE 153275.655
AT ITER 5714 NEW BEST:: SOT 2868522 SOS 1338655 HAS SOPS 1329064 HAS SOUS 153276 HAS SOUPS 151930 WITH SCORE 153268.655
AT ITER 5746 NEW BEST:: SOT 2868409 SOS 1338539 HAS SOPS 1328948 HAS SOUS 153235 HAS SOUPS 151889 WITH SCORE 153227.539
AT ITER 5747 NEW BEST:: SOT 2868357 SOS 1338510 HAS SOPS 1328919 HAS SOUS 153136 HAS SOUPS 151790 WITH SCORE 153128.51
AT ITER 5749 NEW BEST:: SOT 2868357 SOS 1338495 HAS SOPS 1328904 HAS SOUS 153046 HAS SOUPS 151700 WITH SCORE 153038.495
AT ITER 5776 NEW BEST:: SOT 2868312 SOS 1338479 HAS SOPS 1328888 HAS SOUS 153008 HAS SOUPS 151662 WITH SCORE 153000.479
AT ITER 5783 NEW BEST:: SOT 2868030 SOS 1338197 HAS SOPS 1328606 HAS SOUS 152672 HAS SOUPS 151326 WITH SCORE 152664.197
AT ITER 5788 NEW BEST:: SOT 2867990 SOS 1338123 HAS SOPS 1328566 HAS SOUS 152652 HAS SOUPS 151306 WITH SCORE 152644.123
AT ITER 5791 NEW BEST:: SOT 2867990 SOS 1338235 HAS SOPS 1328678 HAS SOUS 152641 HAS SOUPS 151295 WITH SCORE 152633.235
AT ITER 5801 NEW BEST:: SOT 2867989 SOS 1338234 HAS SOPS 1328677 HAS SOUS 152640 HAS SOUPS 151294 WITH SCORE 152632.234
AT ITER 5820 NEW BEST:: SOT 2867984 SOS 1338229 HAS SOPS 1328672 HAS SOUS 152635 HAS SOUPS 151289 WITH SCORE 152627.229
AT ITER 5838 NEW BEST:: SOT 2867984 SOS 1338165 HAS SOPS 1328608 HAS SOUS 152635 HAS SOUPS 151289 WITH SCORE 152627.165
AT ITER 5881 NEW BEST:: SOT 2867972 SOS 1338208 HAS SOPS 1328651 HAS SOUS 152633 HAS SOUPS 151287 WITH SCORE 152625.208
AT ITER 5900 NEW BEST:: SOT 2867938 SOS 1338143 HAS SOPS 1328586 HAS SOUS 152584 HAS SOUPS 151238 WITH SCORE 152576.143
AT ITER 5902 NEW BEST:: SOT 2867895 SOS 1338100 HAS SOPS 1328543 HAS SOUS 152572 HAS SOUPS 151226 WITH SCORE 152564.1
AT ITER 5941 NEW BEST:: SOT 2867985 SOS 1338138 HAS SOPS 1328581 HAS SOUS 152376 HAS SOUPS 151030 WITH SCORE 152368.138
AT ITER 5943 NEW BEST:: SOT 2867914 SOS 1338133 HAS SOPS 1328576 HAS SOUS 152358 HAS SOUPS 151012 WITH SCORE 152350.133
AT ITER 5947 NEW BEST:: SOT 2867884 SOS 1338103 HAS SOPS 1328526 HAS SOUS 152328 HAS SOUPS 150982 WITH SCORE 152320.103
AT ITER 6013 NEW BEST:: SOT 2850679 SOS 1378609 HAS SOPS 1369032 HAS SOUS 151956 HAS SOUPS 150610 WITH SCORE 151988.609
AT ITER 6033 NEW BEST:: SOT 2850673 SOS 1378603 HAS SOPS 1369012 HAS SOUS 151951 HAS SOUPS 150591 WITH SCORE 151969.603
AT ITER 6049 NEW BEST:: SOT 2850625 SOS 1378400 HAS SOPS 1368809 HAS SOUS 151891 HAS SOUPS 150531 WITH SCORE 151909.4
AT ITER 6055 NEW BEST:: SOT 2850825 SOS 1378600 HAS SOPS 1369009 HAS SOUS 151630 HAS SOUPS 150270 WITH SCORE 151648.6
AT ITER 6075 NEW BEST:: SOT 2850638 SOS 1378371 HAS SOPS 1368780 HAS SOUS 151410 HAS SOUPS 150050 WITH SCORE 151428.371
AT ITER 6102 NEW BEST:: SOT 2850611 SOS 1378402 HAS SOPS 1368811 HAS SOUS 151387 HAS SOUPS 150027 WITH SCORE 151405.402
AT ITER 6107 NEW BEST:: SOT 2850527 SOS 1378283 HAS SOPS 1368692 HAS SOUS 151221 HAS SOUPS 149861 WITH SCORE 151239.283
AT ITER 6123 NEW BEST:: SOT 2850523 SOS 1378279 HAS SOPS 1368688 HAS SOUS 151217 HAS SOUPS 149857 WITH SCORE 151235.279
AT ITER 6124 NEW BEST:: SOT 2850531 SOS 1378287 HAS SOPS 1368682 HAS SOUS 151205 HAS SOUPS 149845 WITH SCORE 151223.287
AT ITER 6140 NEW BEST:: SOT 2850522 SOS 1378278 HAS SOPS 1368673 HAS SOUS 151188 HAS SOUPS 149828 WITH SCORE 151206.278
AT ITER 6141 NEW BEST:: SOT 2850489 SOS 1378245 HAS SOPS 1368640 HAS SOUS 151122 HAS SOUPS 149762 WITH SCORE 151140.245
AT ITER 6143 NEW BEST:: SOT 2850634 SOS 1378390 HAS SOPS 1368785 HAS SOUS 151111 HAS SOUPS 149751 WITH SCORE 151129.39
AT ITER 6144 NEW BEST:: SOT 2850614 SOS 1378370 HAS SOPS 1368765 HAS SOUS 151099 HAS SOUPS 149739 WITH SCORE 151117.37
AT ITER 6156 NEW BEST:: SOT 2842704 SOS 1370444 HAS SOPS 1360839 HAS SOUS 150082 HAS SOUPS 148722 WITH SCORE 150092.444
AT ITER 6166 NEW BEST:: SOT 2842703 SOS 1370442 HAS SOPS 1360837 HAS SOUS 150080 HAS SOUPS 148720 WITH SCORE 150090.442
AT ITER 6175 NEW BEST:: SOT 2842703 SOS 1367665 HAS SOPS 1358060 HAS SOUS 150039 HAS SOUPS 148679 WITH SCORE 150046.665
AT ITER 6181 NEW BEST:: SOT 2842663 SOS 1367625 HAS SOPS 1358003 HAS SOUS 150053 HAS SOUPS 148676 WITH SCORE 150043.625
AT ITER 6191 NEW BEST:: SOT 2842662 SOS 1367624 HAS SOPS 1358002 HAS SOUS 150051 HAS SOUPS 148674 WITH SCORE 150041.624
AT ITER 6193 NEW BEST:: SOT 2842700 SOS 1367636 HAS SOPS 1358014 HAS SOUS 150049 HAS SOUPS 148672 WITH SCORE 150039.636
AT ITER 6198 NEW BEST:: SOT 2842700 SOS 1367636 HAS SOPS 1358014 HAS SOUS 150007 HAS SOUPS 148630 WITH SCORE 149997.636
AT ITER 6204 NEW BEST:: SOT 2841927 SOS 1366863 HAS SOPS 1357241 HAS SOUS 149924 HAS SOUPS 148547 WITH SCORE 149913.863
AT ITER 6205 NEW BEST:: SOT 2842620 SOS 1340216 HAS SOPS 1330594 HAS SOUS 149862 HAS SOUPS 148485 WITH SCORE 149825.216
AT ITER 6206 NEW BEST:: SOT 2842617 SOS 1340213 HAS SOPS 1330591 HAS SOUS 149856 HAS SOUPS 148479 WITH SCORE 149819.213
AT ITER 6208 NEW BEST:: SOT 2842716 SOS 1340576 HAS SOPS 1330954 HAS SOUS 148199 HAS SOUPS 146822 WITH SCORE 148162.576
AT ITER 6231 NEW BEST:: SOT 2842724 SOS 1340584 HAS SOPS 1330962 HAS SOUS 148195 HAS SOUPS 146818 WITH SCORE 148158.584
AT ITER 6253 NEW BEST:: SOT 2842711 SOS 1282184 HAS SOPS 1272562 HAS SOUS 147484 HAS SOUPS 146107 WITH SCORE 147389.184
AT ITER 6257 NEW BEST:: SOT 2842378 SOS 1281470 HAS SOPS 1271848 HAS SOUS 147290 HAS SOUPS 145913 WITH SCORE 147194.47
AT ITER 6274 NEW BEST:: SOT 2842285 SOS 1281351 HAS SOPS 1271729 HAS SOUS 147230 HAS SOUPS 145853 WITH SCORE 147134.351
AT ITER 6298 NEW BEST:: SOT 2842277 SOS 1281343 HAS SOPS 1271721 HAS SOUS 147222 HAS SOUPS 145845 WITH SCORE 147126.343
AT ITER 6314 NEW BEST:: SOT 2842271 SOS 1281340 HAS SOPS 1271718 HAS SOUS 147023 HAS SOUPS 145646 WITH SCORE 146927.34
AT ITER 6328 NEW BEST:: SOT 2842288 SOS 1281357 HAS SOPS 1271665 HAS SOUS 146913 HAS SOUPS 145536 WITH SCORE 146817.357
AT ITER 6369 NEW BEST:: SOT 2842267 SOS 1281376 HAS SOPS 1271684 HAS SOUS 146750 HAS SOUPS 145373 WITH SCORE 146654.376
AT ITER 6375 NEW BEST:: SOT 2842167 SOS 1281276 HAS SOPS 1271584 HAS SOUS 146692 HAS SOUPS 145315 WITH SCORE 146596.276
AT ITER 6386 NEW BEST:: SOT 2842115 SOS 1281146 HAS SOPS 1271454 HAS SOUS 146588 HAS SOUPS 145211 WITH SCORE 146492.146
AT ITER 6394 NEW BEST:: SOT 2842125 SOS 1281063 HAS SOPS 1271371 HAS SOUS 146515 HAS SOUPS 145138 WITH SCORE 146419.063
AT ITER 6412 NEW BEST:: SOT 2842111 SOS 1281049 HAS SOPS 1271357 HAS SOUS 146487 HAS SOUPS 145110 WITH SCORE 146391.049
AT ITER 6440 NEW BEST:: SOT 2842100 SOS 1281038 HAS SOPS 1271346 HAS SOUS 146481 HAS SOUPS 145104 WITH SCORE 146385.038
AT ITER 6470 NEW BEST:: SOT 2837492 SOS 1276395 HAS SOPS 1266703 HAS SOUS 146480 HAS SOUPS 145103 WITH SCORE 146379.395
AT ITER 6512 NEW BEST:: SOT 2837430 SOS 1276341 HAS SOPS 1266649 HAS SOUS 146466 HAS SOUPS 145089 WITH SCORE 146365.341
AT ITER 6544 NEW BEST:: SOT 2837410 SOS 1276321 HAS SOPS 1266629 HAS SOUS 146446 HAS SOUPS 145069 WITH SCORE 146345.321
AT ITER 6560 NEW BEST:: SOT 2837410 SOS 1276391 HAS SOPS 1266699 HAS SOUS 146424 HAS SOUPS 145047 WITH SCORE 146323.391
AT ITER 6590 NEW BEST:: SOT 2837338 SOS 1276295 HAS SOPS 1266603 HAS SOUS 146318 HAS SOUPS 144941 WITH SCORE 146217.295
AT ITER 6599 NEW BEST:: SOT 2837309 SOS 1276150 HAS SOPS 1266458 HAS SOUS 146289 HAS SOUPS 144912 WITH SCORE 146188.15
AT ITER 6611 NEW BEST:: SOT 2837281 SOS 1276104 HAS SOPS 1266438 HAS SOUS 146261 HAS SOUPS 144910 WITH SCORE 146186.104
AT ITER 6625 NEW BEST:: SOT 2837274 SOS 1276097 HAS SOPS 1266431 HAS SOUS 146247 HAS SOUPS 144896 WITH SCORE 146172.097
AT ITER 6648 NEW BEST:: SOT 2837292 SOS 1276115 HAS SOPS 1266463 HAS SOUS 146241 HAS SOUPS 144890 WITH SCORE 146166.115
AT ITER 6663 NEW BEST:: SOT 2837282 SOS 1276109 HAS SOPS 1266457 HAS SOUS 145559 HAS SOUPS 144208 WITH SCORE 145484.109
AT ITER 6672 NEW BEST:: SOT 2837282 SOS 1276101 HAS SOPS 1266449 HAS SOUS 145509 HAS SOUPS 144158 WITH SCORE 145434.101
AT ITER 6677 NEW BEST:: SOT 2837250 SOS 1276037 HAS SOPS 1266385 HAS SOUS 145445 HAS SOUPS 144094 WITH SCORE 145370.037
AT ITER 6696 NEW BEST:: SOT 2837149 SOS 1275892 HAS SOPS 1266240 HAS SOUS 145425 HAS SOUPS 144074 WITH SCORE 145349.892
AT ITER 6713 NEW BEST:: SOT 2837133 SOS 1275880 HAS SOPS 1266228 HAS SOUS 145385 HAS SOUPS 144034 WITH SCORE 145309.88
AT ITER 6721 NEW BEST:: SOT 2837191 SOS 1276032 HAS SOPS 1266380 HAS SOUS 145375 HAS SOUPS 144024 WITH SCORE 145300.032
AT ITER 6738 NEW BEST:: SOT 2836995 SOS 1275808 HAS SOPS 1266156 HAS SOUS 145151 HAS SOUPS 143800 WITH SCORE 145075.808
AT ITER 6762 NEW BEST:: SOT 2836995 SOS 1275732 HAS SOPS 1266080 HAS SOUS 145140 HAS SOUPS 143789 WITH SCORE 145064.732
AT ITER 6779 NEW BEST:: SOT 2836983 SOS 1275720 HAS SOPS 1266068 HAS SOUS 145116 HAS SOUPS 143765 WITH SCORE 145040.72
AT ITER 6780 NEW BEST:: SOT 2836949 SOS 1275686 HAS SOPS 1266034 HAS SOUS 145092 HAS SOUPS 143741 WITH SCORE 145016.686
AT ITER 6803 NEW BEST:: SOT 2836967 SOS 1275704 HAS SOPS 1266023 HAS SOUS 145059 HAS SOUPS 143702 WITH SCORE 144977.704
AT ITER 6813 NEW BEST:: SOT 2836951 SOS 1275629 HAS SOPS 1265948 HAS SOUS 145027 HAS SOUPS 143670 WITH SCORE 144945.629
AT ITER 6825 NEW BEST:: SOT 2836484 SOS 1275212 HAS SOPS 1265531 HAS SOUS 144868 HAS SOUPS 143511 WITH SCORE 144786.212
AT ITER 6845 NEW BEST:: SOT 2836457 SOS 1275185 HAS SOPS 1265509 HAS SOUS 144848 HAS SOUPS 143491 WITH SCORE 144766.185
AT ITER 6862 NEW BEST:: SOT 2836452 SOS 1275180 HAS SOPS 1265504 HAS SOUS 144843 HAS SOUPS 143486 WITH SCORE 144761.18
AT ITER 6874 NEW BEST:: SOT 2836409 SOS 1275009 HAS SOPS 1265333 HAS SOUS 144693 HAS SOUPS 143336 WITH SCORE 144611.009
AT ITER 6878 NEW BEST:: SOT 2836392 SOS 1274992 HAS SOPS 1265313 HAS SOUS 144659 HAS SOUPS 143302 WITH SCORE 144576.992
AT ITER 6895 NEW BEST:: SOT 2836210 SOS 1275310 HAS SOPS 1265664 HAS SOUS 144649 HAS SOUPS 143292 WITH SCORE 144567.31
AT ITER 6898 NEW BEST:: SOT 2836210 SOS 1275306 HAS SOPS 1265660 HAS SOUS 144649 HAS SOUPS 143292 WITH SCORE 144567.306
AT ITER 6919 NEW BEST:: SOT 2836209 SOS 1275305 HAS SOPS 1265659 HAS SOUS 144648 HAS SOUPS 143291 WITH SCORE 144566.305
AT ITER 6921 NEW BEST:: SOT 2836165 SOS 1275283 HAS SOPS 1265637 HAS SOUS 143779 HAS SOUPS 142422 WITH SCORE 143697.283
AT ITER 6931 NEW BEST:: SOT 2836151 SOS 1275255 HAS SOPS 1265609 HAS SOUS 143751 HAS SOUPS 142394 WITH SCORE 143669.255
AT ITER 6937 NEW BEST:: SOT 2836144 SOS 1275232 HAS SOPS 1265586 HAS SOUS 143728 HAS SOUPS 142371 WITH SCORE 143646.232
AT ITER 6961 NEW BEST:: SOT 2836130 SOS 1275204 HAS SOPS 1265558 HAS SOUS 143700 HAS SOUPS 142343 WITH SCORE 143618.204
AT ITER 6970 NEW BEST:: SOT 2836086 SOS 1275171 HAS SOPS 1265525 HAS SOUS 143634 HAS SOUPS 142277 WITH SCORE 143552.171
AT ITER 6985 NEW BEST:: SOT 2836016 SOS 1275031 HAS SOPS 1265385 HAS SOUS 143564 HAS SOUPS 142207 WITH SCORE 143482.031
AT ITER 7014 NEW BEST:: SOT 2836014 SOS 1275029 HAS SOPS 1265383 HAS SOUS 143528 HAS SOUPS 142171 WITH SCORE 143446.029
AT ITER 7037 NEW BEST:: SOT 2835977 SOS 1274978 HAS SOPS 1265332 HAS SOUS 143513 HAS SOUPS 142156 WITH SCORE 143430.978
AT ITER 7049 NEW BEST:: SOT 2835967 SOS 1274988 HAS SOPS 1265342 HAS SOUS 143503 HAS SOUPS 142146 WITH SCORE 143420.988
AT ITER 7057 NEW BEST:: SOT 2823613 SOS 1262613 HAS SOPS 1252967 HAS SOUS 141840 HAS SOUPS 140483 WITH SCORE 141745.613
AT ITER 7083 NEW BEST:: SOT 2823550 SOS 1263860 HAS SOPS 1254214 HAS SOUS 141838 HAS SOUPS 140481 WITH SCORE 141744.86
AT ITER 7111 NEW BEST:: SOT 2823438 SOS 1263850 HAS SOPS 1254204 HAS SOUS 141799 HAS SOUPS 140442 WITH SCORE 141705.85
AT ITER 7197 NEW BEST:: SOT 2823438 SOS 1263845 HAS SOPS 1254199 HAS SOUS 141774 HAS SOUPS 140417 WITH SCORE 141680.845
AT ITER 7202 NEW BEST:: SOT 2823438 SOS 1263845 HAS SOPS 1254199 HAS SOUS 141772 HAS SOUPS 140415 WITH SCORE 141678.845
AT ITER 7212 NEW BEST:: SOT 2823312 SOS 1263719 HAS SOPS 1254073 HAS SOUS 141349 HAS SOUPS 139992 WITH SCORE 141255.719
AT ITER 7217 NEW BEST:: SOT 2823318 SOS 1263725 HAS SOPS 1254079 HAS SOUS 141345 HAS SOUPS 139988 WITH SCORE 141251.725
AT ITER 7223 NEW BEST:: SOT 2823288 SOS 1263546 HAS SOPS 1253930 HAS SOUS 141328 HAS SOUPS 139971 WITH SCORE 141234.546
AT ITER 7239 NEW BEST:: SOT 2823099 SOS 1263357 HAS SOPS 1253741 HAS SOUS 141283 HAS SOUPS 139926 WITH SCORE 141189.357
AT ITER 7279 NEW BEST:: SOT 2823089 SOS 1263345 HAS SOPS 1253729 HAS SOUS 141265 HAS SOUPS 139908 WITH SCORE 141171.345
AT ITER 7289 NEW BEST:: SOT 2823011 SOS 1263226 HAS SOPS 1253610 HAS SOUS 141151 HAS SOUPS 139794 WITH SCORE 141057.226
AT ITER 7304 NEW BEST:: SOT 2822994 SOS 1263209 HAS SOPS 1253593 HAS SOUS 141117 HAS SOUPS 139760 WITH SCORE 141023.209
AT ITER 7322 NEW BEST:: SOT 2822994 SOS 1263216 HAS SOPS 1253600 HAS SOUS 141022 HAS SOUPS 139665 WITH SCORE 140928.216
AT ITER 7326 NEW BEST:: SOT 2822975 SOS 1263255 HAS SOPS 1253639 HAS SOUS 141014 HAS SOUPS 139657 WITH SCORE 140920.255
AT ITER 7329 NEW BEST:: SOT 2822981 SOS 1263261 HAS SOPS 1253645 HAS SOUS 140989 HAS SOUPS 139632 WITH SCORE 140895.261
AT ITER 7339 NEW BEST:: SOT 2822994 SOS 1263274 HAS SOPS 1253658 HAS SOUS 140800 HAS SOUPS 139443 WITH SCORE 140706.274
AT ITER 7374 NEW BEST:: SOT 2822982 SOS 1263262 HAS SOPS 1253646 HAS SOUS 140776 HAS SOUPS 139419 WITH SCORE 140682.262
AT ITER 7423 NEW BEST:: SOT 2822982 SOS 1263262 HAS SOPS 1253646 HAS SOUS 140768 HAS SOUPS 139411 WITH SCORE 140674.262
AT ITER 7425 NEW BEST:: SOT 2822881 SOS 1263103 HAS SOPS 1253487 HAS SOUS 140504 HAS SOUPS 139147 WITH SCORE 140410.103
AT ITER 7427 NEW BEST:: SOT 2822881 SOS 1263025 HAS SOPS 1253409 HAS SOUS 140504 HAS SOUPS 139147 WITH SCORE 140410.025
AT ITER 7433 NEW BEST:: SOT 2820559 SOS 1260703 HAS SOPS 1251087 HAS SOUS 140249 HAS SOUPS 138892 WITH SCORE 140152.703
AT ITER 7463 NEW BEST:: SOT 2820261 SOS 1260575 HAS SOPS 1250959 HAS SOUS 139969 HAS SOUPS 138612 WITH SCORE 139872.575
AT ITER 7483 NEW BEST:: SOT 2820210 SOS 1260682 HAS SOPS 1251066 HAS SOUS 139792 HAS SOUPS 138435 WITH SCORE 139695.682
AT ITER 7520 NEW BEST:: SOT 2820201 SOS 1260673 HAS SOPS 1251057 HAS SOUS 139783 HAS SOUPS 138426 WITH SCORE 139686.673
AT ITER 7521 NEW BEST:: SOT 2820225 SOS 1260539 HAS SOPS 1250903 HAS SOUS 139757 HAS SOUPS 138400 WITH SCORE 139660.539
AT ITER 7549 NEW BEST:: SOT 2820215 SOS 1260459 HAS SOPS 1250823 HAS SOUS 139690 HAS SOUPS 138333 WITH SCORE 139593.459
AT ITER 7562 NEW BEST:: SOT 2820064 SOS 1260240 HAS SOPS 1250604 HAS SOUS 139388 HAS SOUPS 138031 WITH SCORE 139291.24
AT ITER 7596 NEW BEST:: SOT 2819897 SOS 1260083 HAS SOPS 1250447 HAS SOUS 139342 HAS SOUPS 137985 WITH SCORE 139245.083
AT ITER 7603 NEW BEST:: SOT 2819779 SOS 1260048 HAS SOPS 1250412 HAS SOUS 139273 HAS SOUPS 137916 WITH SCORE 139176.048
AT ITER 7611 NEW BEST:: SOT 2819779 SOS 1260088 HAS SOPS 1250452 HAS SOUS 139219 HAS SOUPS 137862 WITH SCORE 139122.088
AT ITER 7623 NEW BEST:: SOT 2819779 SOS 1260088 HAS SOPS 1250449 HAS SOUS 139216 HAS SOUPS 137856 WITH SCORE 139116.088
AT ITER 7633 NEW BEST:: SOT 2819259 SOS 1259568 HAS SOPS 1249929 HAS SOUS 139096 HAS SOUPS 137736 WITH SCORE 138995.568
AT ITER 7676 NEW BEST:: SOT 2819215 SOS 1259529 HAS SOPS 1249890 HAS SOUS 139096 HAS SOUPS 137736 WITH SCORE 138995.529
AT ITER 7694 NEW BEST:: SOT 2819171 SOS 1259549 HAS SOPS 1249910 HAS SOUS 139090 HAS SOUPS 137730 WITH SCORE 138989.549
AT ITER 7696 NEW BEST:: SOT 2818978 SOS 1259165 HAS SOPS 1249526 HAS SOUS 138964 HAS SOUPS 137604 WITH SCORE 138863.165
AT ITER 7697 NEW BEST:: SOT 2818960 SOS 1258477 HAS SOPS 1248838 HAS SOUS 138908 HAS SOUPS 137548 WITH SCORE 138806.477
AT ITER 7713 NEW BEST:: SOT 2818954 SOS 1258471 HAS SOPS 1248829 HAS SOUS 138899 HAS SOUPS 137536 WITH SCORE 138794.471
AT ITER 7774 NEW BEST:: SOT 2818857 SOS 1258338 HAS SOPS 1248696 HAS SOUS 138759 HAS SOUPS 137396 WITH SCORE 138654.338
AT ITER 7780 NEW BEST:: SOT 2818787 SOS 1258268 HAS SOPS 1248626 HAS SOUS 138748 HAS SOUPS 137385 WITH SCORE 138643.268
AT ITER 7799 NEW BEST:: SOT 2818707 SOS 1258148 HAS SOPS 1248506 HAS SOUS 138628 HAS SOUPS 137265 WITH SCORE 138523.148
AT ITER 7814 NEW BEST:: SOT 2818709 SOS 1258150 HAS SOPS 1248508 HAS SOUS 138590 HAS SOUPS 137227 WITH SCORE 138485.15
AT ITER 7817 NEW BEST:: SOT 2818709 SOS 1258143 HAS SOPS 1248501 HAS SOUS 138578 HAS SOUPS 137215 WITH SCORE 138473.143
AT ITER 7822 NEW BEST:: SOT 2818685 SOS 1258191 HAS SOPS 1248477 HAS SOUS 138554 HAS SOUPS 137179 WITH SCORE 138437.191
AT ITER 7828 NEW BEST:: SOT 2818678 SOS 1251982 HAS SOPS 1242268 HAS SOUS 138053 HAS SOUPS 136678 WITH SCORE 137929.982
AT ITER 7832 NEW BEST:: SOT 2818664 SOS 1251975 HAS SOPS 1242261 HAS SOUS 138030 HAS SOUPS 136655 WITH SCORE 137906.975
AT ITER 7839 NEW BEST:: SOT 2818708 SOS 1252057 HAS SOPS 1242343 HAS SOUS 137660 HAS SOUPS 136285 WITH SCORE 137537.057
AT ITER 7855 NEW BEST:: SOT 2818617 SOS 1251965 HAS SOPS 1242251 HAS SOUS 137550 HAS SOUPS 136175 WITH SCORE 137426.965
AT ITER 7902 NEW BEST:: SOT 2818567 SOS 1251663 HAS SOPS 1241949 HAS SOUS 137542 HAS SOUPS 136167 WITH SCORE 137418.663
AT ITER 7923 NEW BEST:: SOT 2818559 SOS 1251655 HAS SOPS 1241941 HAS SOUS 137505 HAS SOUPS 136130 WITH SCORE 137381.655
AT ITER 7928 NEW BEST:: SOT 2818586 SOS 1251903 HAS SOPS 1242189 HAS SOUS 137411 HAS SOUPS 136036 WITH SCORE 137287.903
AT ITER 7956 NEW BEST:: SOT 2794620 SOS 1227858 HAS SOPS 1218144 HAS SOUS 136578 HAS SOUPS 135203 WITH SCORE 136430.858
AT ITER 7982 NEW BEST:: SOT 2794611 SOS 1227849 HAS SOPS 1218135 HAS SOUS 136578 HAS SOUPS 135203 WITH SCORE 136430.849
AT ITER 7999 NEW BEST:: SOT 2794563 SOS 1227851 HAS SOPS 1218137 HAS SOUS 136569 HAS SOUPS 135194 WITH SCORE 136421.851
AT ITER 8006 NEW BEST:: SOT 2794529 SOS 1227817 HAS SOPS 1218103 HAS SOUS 136523 HAS SOUPS 135148 WITH SCORE 136375.817
AT ITER 8054 NEW BEST:: SOT 2794428 SOS 1227704 HAS SOPS 1217990 HAS SOUS 136355 HAS SOUPS 134980 WITH SCORE 136207.704
AT ITER 8076 NEW BEST:: SOT 2794426 SOS 1227957 HAS SOPS 1218243 HAS SOUS 136312 HAS SOUPS 134937 WITH SCORE 136164.957
AT ITER 8100 NEW BEST:: SOT 2792306 SOS 1225837 HAS SOPS 1216123 HAS SOUS 135920 HAS SOUPS 134545 WITH SCORE 135770.837
AT ITER 8127 NEW BEST:: SOT 2792177 SOS 1225708 HAS SOPS 1215994 HAS SOUS 135908 HAS SOUPS 134533 WITH SCORE 135758.708
AT ITER 8132 NEW BEST:: SOT 2792160 SOS 1225674 HAS SOPS 1215960 HAS SOUS 135874 HAS SOUPS 134499 WITH SCORE 135724.674
AT ITER 8133 NEW BEST:: SOT 2792160 SOS 1225655 HAS SOPS 1215941 HAS SOUS 135855 HAS SOUPS 134480 WITH SCORE 135705.655
AT ITER 8137 NEW BEST:: SOT 2791833 SOS 1225328 HAS SOPS 1215614 HAS SOUS 135488 HAS SOUPS 134113 WITH SCORE 135338.328
AT ITER 8141 NEW BEST:: SOT 2791951 SOS 1225446 HAS SOPS 1215732 HAS SOUS 135096 HAS SOUPS 133721 WITH SCORE 134946.446
AT ITER 8157 NEW BEST:: SOT 2791875 SOS 1225340 HAS SOPS 1215626 HAS SOUS 134855 HAS SOUPS 133480 WITH SCORE 134705.34
AT ITER 8158 NEW BEST:: SOT 2791854 SOS 1225291 HAS SOPS 1215577 HAS SOUS 134827 HAS SOUPS 133452 WITH SCORE 134677.291
AT ITER 8164 NEW BEST:: SOT 2791622 SOS 1224988 HAS SOPS 1215274 HAS SOUS 134737 HAS SOUPS 133362 WITH SCORE 134586.988
AT ITER 8172 NEW BEST:: SOT 2791603 SOS 1224969 HAS SOPS 1215255 HAS SOUS 134699 HAS SOUPS 133324 WITH SCORE 134548.969
AT ITER 8174 NEW BEST:: SOT 2820832 SOS 1254247 HAS SOPS 1244533 HAS SOUS 134334 HAS SOUPS 132959 WITH SCORE 134213.247
AT ITER 8183 NEW BEST:: SOT 2820819 SOS 1254234 HAS SOPS 1244520 HAS SOUS 134307 HAS SOUPS 132932 WITH SCORE 134186.234
AT ITER 8202 NEW BEST:: SOT 2820819 SOS 1254234 HAS SOPS 1244520 HAS SOUS 134239 HAS SOUPS 132864 WITH SCORE 134118.234
AT ITER 8214 NEW BEST:: SOT 2820818 SOS 1254233 HAS SOPS 1244519 HAS SOUS 134237 HAS SOUPS 132862 WITH SCORE 134116.233
AT ITER 8236 NEW BEST:: SOT 2820776 SOS 1254156 HAS SOPS 1244442 HAS SOUS 134237 HAS SOUPS 132862 WITH SCORE 134116.156
AT ITER 8283 NEW BEST:: SOT 2821516 SOS 1254913 HAS SOPS 1245199 HAS SOUS 133910 HAS SOUPS 132535 WITH SCORE 133789.913
AT ITER 8288 NEW BEST:: SOT 2821494 SOS 1254879 HAS SOPS 1245165 HAS SOUS 133892 HAS SOUPS 132517 WITH SCORE 133771.879
AT ITER 8307 NEW BEST:: SOT 2821493 SOS 1254873 HAS SOPS 1245159 HAS SOUS 133891 HAS SOUPS 132516 WITH SCORE 133770.873
AT ITER 8334 NEW BEST:: SOT 2821259 SOS 1254630 HAS SOPS 1244916 HAS SOUS 133784 HAS SOUPS 132409 WITH SCORE 133663.63
AT ITER 8335 NEW BEST:: SOT 2821262 SOS 1254622 HAS SOPS 1244908 HAS SOUS 133776 HAS SOUPS 132401 WITH SCORE 133655.622
AT ITER 8338 NEW BEST:: SOT 2821246 SOS 1254606 HAS SOPS 1244892 HAS SOUS 133744 HAS SOUPS 132369 WITH SCORE 133623.606
AT ITER 8363 NEW BEST:: SOT 2821200 SOS 1254445 HAS SOPS 1244731 HAS SOUS 133698 HAS SOUPS 132323 WITH SCORE 133577.445
AT ITER 8376 NEW BEST:: SOT 2821191 SOS 1254436 HAS SOPS 1244722 HAS SOUS 133686 HAS SOUPS 132311 WITH SCORE 133565.436
AT ITER 8378 NEW BEST:: SOT 2821068 SOS 1254302 HAS SOPS 1244588 HAS SOUS 133566 HAS SOUPS 132191 WITH SCORE 133445.302
AT ITER 8434 NEW BEST:: SOT 2820773 SOS 1254090 HAS SOPS 1244376 HAS SOUS 133510 HAS SOUPS 132135 WITH SCORE 133389.09
AT ITER 8441 NEW BEST:: SOT 2820787 SOS 1254134 HAS SOPS 1244420 HAS SOUS 133463 HAS SOUPS 132088 WITH SCORE 133342.134
AT ITER 8456 NEW BEST:: SOT 2820479 SOS 1253844 HAS SOPS 1244130 HAS SOUS 133145 HAS SOUPS 131770 WITH SCORE 133023.844
AT ITER 8471 NEW BEST:: SOT 2820170 SOS 1253571 HAS SOPS 1243857 HAS SOUS 132998 HAS SOUPS 131623 WITH SCORE 132876.571
AT ITER 8486 NEW BEST:: SOT 2820168 SOS 1253569 HAS SOPS 1243851 HAS SOUS 132984 HAS SOUPS 131609 WITH SCORE 132862.569
AT ITER 8487 NEW BEST:: SOT 2820183 SOS 1253558 HAS SOPS 1243840 HAS SOUS 132943 HAS SOUPS 131568 WITH SCORE 132821.558
AT ITER 8492 NEW BEST:: SOT 2819958 SOS 1253408 HAS SOPS 1243690 HAS SOUS 132793 HAS SOUPS 131418 WITH SCORE 132671.408
AT ITER 8514 NEW BEST:: SOT 2819957 SOS 1253406 HAS SOPS 1243688 HAS SOUS 132791 HAS SOUPS 131416 WITH SCORE 132669.406
AT ITER 8518 NEW BEST:: SOT 2819946 SOS 1253395 HAS SOPS 1243677 HAS SOUS 132769 HAS SOUPS 131394 WITH SCORE 132647.395
AT ITER 8530 NEW BEST:: SOT 2819945 SOS 1253424 HAS SOPS 1243706 HAS SOUS 132752 HAS SOUPS 131377 WITH SCORE 132630.424
AT ITER 8552 NEW BEST:: SOT 2819934 SOS 1253413 HAS SOPS 1243678 HAS SOUS 132746 HAS SOUPS 131371 WITH SCORE 132624.413
AT ITER 8569 NEW BEST:: SOT 2819953 SOS 1253462 HAS SOPS 1243727 HAS SOUS 132745 HAS SOUPS 131370 WITH SCORE 132623.462
AT ITER 8620 NEW BEST:: SOT 2821578 SOS 1255750 HAS SOPS 1245817 HAS SOUS 131934 HAS SOUPS 130526 WITH SCORE 131781.75
AT ITER 8625 NEW BEST:: SOT 2821623 SOS 1255941 HAS SOPS 1246008 HAS SOUS 131924 HAS SOUPS 130516 WITH SCORE 131771.941
AT ITER 8635 NEW BEST:: SOT 2821456 SOS 1255774 HAS SOPS 1245841 HAS SOUS 131583 HAS SOUPS 130175 WITH SCORE 131430.774
AT ITER 8654 NEW BEST:: SOT 2821457 SOS 1258540 HAS SOPS 1248607 HAS SOUS 131546 HAS SOUPS 130138 WITH SCORE 131396.54
AT ITER 8705 NEW BEST:: SOT 2821397 SOS 1258480 HAS SOPS 1248547 HAS SOUS 131462 HAS SOUPS 130054 WITH SCORE 131312.48
AT ITER 8734 NEW BEST:: SOT 2821396 SOS 1258474 HAS SOPS 1248541 HAS SOUS 131462 HAS SOUPS 130054 WITH SCORE 131312.474
AT ITER 8737 NEW BEST:: SOT 2821300 SOS 1258383 HAS SOPS 1248450 HAS SOUS 131399 HAS SOUPS 129991 WITH SCORE 131249.383
AT ITER 8740 NEW BEST:: SOT 2821255 SOS 1258273 HAS SOPS 1248340 HAS SOUS 131342 HAS SOUPS 129934 WITH SCORE 131192.273
AT ITER 8741 NEW BEST:: SOT 2821253 SOS 1258269 HAS SOPS 1248336 HAS SOUS 131340 HAS SOUPS 129932 WITH SCORE 131190.269
AT ITER 8771 NEW BEST:: SOT 2821257 SOS 1258257 HAS SOPS 1248324 HAS SOUS 131340 HAS SOUPS 129932 WITH SCORE 131190.257
AT ITER 8790 NEW BEST:: SOT 2822402 SOS 1259237 HAS SOPS 1249502 HAS SOUS 130662 HAS SOUPS 129287 WITH SCORE 130546.237
AT ITER 8834 NEW BEST:: SOT 2822356 SOS 1259169 HAS SOPS 1249434 HAS SOUS 130606 HAS SOUPS 129231 WITH SCORE 130490.169
AT ITER 8938 NEW BEST:: SOT 2822295 SOS 1258916 HAS SOPS 1249181 HAS SOUS 130560 HAS SOUPS 129185 WITH SCORE 130443.916
AT ITER 8939 NEW BEST:: SOT 2822272 SOS 1258658 HAS SOPS 1248923 HAS SOUS 130491 HAS SOUPS 129116 WITH SCORE 130374.658
AT ITER 8960 NEW BEST:: SOT 2822253 SOS 1258855 HAS SOPS 1249120 HAS SOUS 130430 HAS SOUPS 129055 WITH SCORE 130313.855
AT ITER 8982 NEW BEST:: SOT 2822107 SOS 1258543 HAS SOPS 1248942 HAS SOUS 130358 HAS SOUPS 128983 WITH SCORE 130241.543
AT ITER 9001 NEW BEST:: SOT 2822054 SOS 1258431 HAS SOPS 1248830 HAS SOUS 129891 HAS SOUPS 128516 WITH SCORE 129774.431
AT ITER 9011 NEW BEST:: SOT 2821955 SOS 1258332 HAS SOPS 1248731 HAS SOUS 129785 HAS SOUPS 128410 WITH SCORE 129668.332
AT ITER 9019 NEW BEST:: SOT 2821868 SOS 1258245 HAS SOPS 1248644 HAS SOUS 129685 HAS SOUPS 128310 WITH SCORE 129568.245
AT ITER 9023 NEW BEST:: SOT 2821816 SOS 1258179 HAS SOPS 1248660 HAS SOUS 129685 HAS SOUPS 128310 WITH SCORE 129568.179
AT ITER 9037 NEW BEST:: SOT 2822172 SOS 1214410 HAS SOPS 1204327 HAS SOUS 129782 HAS SOUPS 128313 WITH SCORE 129527.41
AT ITER 9053 NEW BEST:: SOT 2822184 SOS 1214660 HAS SOPS 1204568 HAS SOUS 129764 HAS SOUPS 128295 WITH SCORE 129509.66
AT ITER 9070 NEW BEST:: SOT 2822140 SOS 1214653 HAS SOPS 1204561 HAS SOUS 129735 HAS SOUPS 128266 WITH SCORE 129480.653
AT ITER 9080 NEW BEST:: SOT 2822145 SOS 1214518 HAS SOPS 1204426 HAS SOUS 129686 HAS SOUPS 128217 WITH SCORE 129431.518
AT ITER 9081 NEW BEST:: SOT 2822223 SOS 1214785 HAS SOPS 1204693 HAS SOUS 129620 HAS SOUPS 128151 WITH SCORE 129365.785
AT ITER 9137 NEW BEST:: SOT 2822176 SOS 1214738 HAS SOPS 1204646 HAS SOUS 129489 HAS SOUPS 128020 WITH SCORE 129234.738
AT ITER 9208 NEW BEST:: SOT 2822125 SOS 1214687 HAS SOPS 1204595 HAS SOUS 129420 HAS SOUPS 127951 WITH SCORE 129165.687
AT ITER 9229 NEW BEST:: SOT 2822116 SOS 1214669 HAS SOPS 1204253 HAS SOUS 129402 HAS SOUPS 127879 WITH SCORE 129093.669
AT ITER 9231 NEW BEST:: SOT 2822065 SOS 1214603 HAS SOPS 1204187 HAS SOUS 129258 HAS SOUPS 127735 WITH SCORE 128949.603
AT ITER 9237 NEW BEST:: SOT 2822050 SOS 1214588 HAS SOPS 1204172 HAS SOUS 129245 HAS SOUPS 127722 WITH SCORE 128936.588
AT ITER 9243 NEW BEST:: SOT 2822017 SOS 1214555 HAS SOPS 1204139 HAS SOUS 128842 HAS SOUPS 127319 WITH SCORE 128533.555
AT ITER 9255 NEW BEST:: SOT 2822008 SOS 1214546 HAS SOPS 1204130 HAS SOUS 128837 HAS SOUPS 127314 WITH SCORE 128528.546
AT ITER 9275 NEW BEST:: SOT 2823050 SOS 1215588 HAS SOPS 1205172 HAS SOUS 128733 HAS SOUPS 127210 WITH SCORE 128425.588
AT ITER 9301 NEW BEST:: SOT 2823050 SOS 1215763 HAS SOPS 1205347 HAS SOUS 128726 HAS SOUPS 127203 WITH SCORE 128418.763
AT ITER 9306 NEW BEST:: SOT 2823117 SOS 1215906 HAS SOPS 1205490 HAS SOUS 128664 HAS SOUPS 127141 WITH SCORE 128356.906
AT ITER 9310 NEW BEST:: SOT 2823114 SOS 1215874 HAS SOPS 1205458 HAS SOUS 128643 HAS SOUPS 127120 WITH SCORE 128335.874
AT ITER 9313 NEW BEST:: SOT 2823008 SOS 1215790 HAS SOPS 1205374 HAS SOUS 128417 HAS SOUPS 126894 WITH SCORE 128109.79
AT ITER 9361 NEW BEST:: SOT 2823027 SOS 1215771 HAS SOPS 1205355 HAS SOUS 128398 HAS SOUPS 126875 WITH SCORE 128090.771
AT ITER 9394 NEW BEST:: SOT 2823027 SOS 1215831 HAS SOPS 1205445 HAS SOUS 128368 HAS SOUPS 126845 WITH SCORE 128060.831
AT ITER 9420 NEW BEST:: SOT 2823023 SOS 1215824 HAS SOPS 1205438 HAS SOUS 128366 HAS SOUPS 126843 WITH SCORE 128058.824
AT ITER 9435 NEW BEST:: SOT 2823027 SOS 1215828 HAS SOPS 1205448 HAS SOUS 128356 HAS SOUPS 126833 WITH SCORE 128048.828
AT ITER 9464 NEW BEST:: SOT 2822906 SOS 1215669 HAS SOPS 1205289 HAS SOUS 128114 HAS SOUPS 126591 WITH SCORE 127806.669
AT ITER 9490 NEW BEST:: SOT 2822469 SOS 1215232 HAS SOPS 1204852 HAS SOUS 127767 HAS SOUPS 126244 WITH SCORE 127459.232
AT ITER 9520 NEW BEST:: SOT 2822469 SOS 1215218 HAS SOPS 1204838 HAS SOUS 127739 HAS SOUPS 126216 WITH SCORE 127431.218
AT ITER 9544 NEW BEST:: SOT 2822449 SOS 1215178 HAS SOPS 1204798 HAS SOUS 127699 HAS SOUPS 126176 WITH SCORE 127391.178
AT ITER 9555 NEW BEST:: SOT 2823201 SOS 1215930 HAS SOPS 1205550 HAS SOUS 126608 HAS SOUPS 125085 WITH SCORE 126300.93
AT ITER 9562 NEW BEST:: SOT 2824017 SOS 1216746 HAS SOPS 1206366 HAS SOUS 126200 HAS SOUPS 124677 WITH SCORE 125893.746
AT ITER 9589 NEW BEST:: SOT 2823987 SOS 1216688 HAS SOPS 1206308 HAS SOUS 126170 HAS SOUPS 124647 WITH SCORE 125863.688
AT ITER 9620 NEW BEST:: SOT 2794749 SOS 1187450 HAS SOPS 1177070 HAS SOUS 123887 HAS SOUPS 122364 WITH SCORE 123551.45
AT ITER 9668 NEW BEST:: SOT 2794746 SOS 1187447 HAS SOPS 1177067 HAS SOUS 123881 HAS SOUPS 122358 WITH SCORE 123545.447
AT ITER 9679 NEW BEST:: SOT 2794752 SOS 1187453 HAS SOPS 1177065 HAS SOUS 123878 HAS SOUPS 122355 WITH SCORE 123542.453
AT ITER 9702 NEW BEST:: SOT 2794720 SOS 1187189 HAS SOPS 1176801 HAS SOUS 123846 HAS SOUPS 122323 WITH SCORE 123510.189
AT ITER 9703 NEW BEST:: SOT 2794673 SOS 1187142 HAS SOPS 1176754 HAS SOUS 123799 HAS SOUPS 122276 WITH SCORE 123463.142
AT ITER 9715 NEW BEST:: SOT 2794673 SOS 1187129 HAS SOPS 1176741 HAS SOUS 123799 HAS SOUPS 122276 WITH SCORE 123463.129
AT ITER 9733 NEW BEST:: SOT 2794655 SOS 1187121 HAS SOPS 1176733 HAS SOUS 123799 HAS SOUPS 122276 WITH SCORE 123463.121
AT ITER 9779 NEW BEST:: SOT 2794667 SOS 1187090 HAS SOPS 1176702 HAS SOUS 123757 HAS SOUPS 122234 WITH SCORE 123421.09
AT ITER 9782 NEW BEST:: SOT 2794685 SOS 1187161 HAS SOPS 1176773 HAS SOUS 123740 HAS SOUPS 122217 WITH SCORE 123404.161
AT ITER 9793 NEW BEST:: SOT 2794653 SOS 1187129 HAS SOPS 1176739 HAS SOUS 123718 HAS SOUPS 122195 WITH SCORE 123382.129
AT ITER 9794 NEW BEST:: SOT 2794665 SOS 1187141 HAS SOPS 1176751 HAS SOUS 123610 HAS SOUPS 122087 WITH SCORE 123274.141
AT ITER 9796 NEW BEST:: SOT 2794660 SOS 1187136 HAS SOPS 1176746 HAS SOUS 123603 HAS SOUPS 122080 WITH SCORE 123267.136
AT ITER 9805 NEW BEST:: SOT 2794660 SOS 1187066 HAS SOPS 1176676 HAS SOUS 123603 HAS SOUPS 122080 WITH SCORE 123267.066
AT ITER 9819 NEW BEST:: SOT 2794379 SOS 1186696 HAS SOPS 1176306 HAS SOUS 123501 HAS SOUPS 121978 WITH SCORE 123164.696
AT ITER 9824 NEW BEST:: SOT 2794337 SOS 1186605 HAS SOPS 1176215 HAS SOUS 123464 HAS SOUPS 121941 WITH SCORE 123127.605
AT ITER 9837 NEW BEST:: SOT 2794333 SOS 1186601 HAS SOPS 1176211 HAS SOUS 123454 HAS SOUPS 121931 WITH SCORE 123117.601
AT ITER 9840 NEW BEST:: SOT 2794301 SOS 1186569 HAS SOPS 1176179 HAS SOUS 123450 HAS SOUPS 121927 WITH SCORE 123113.569
AT ITER 9872 NEW BEST:: SOT 2794321 SOS 1186523 HAS SOPS 1176127 HAS SOUS 123440 HAS SOUPS 121917 WITH SCORE 123103.523
AT ITER 9917 NEW BEST:: SOT 2794321 SOS 1186508 HAS SOPS 1176112 HAS SOUS 123440 HAS SOUPS 121917 WITH SCORE 123103.508
AT ITER 9932 NEW BEST:: SOT 2794276 SOS 1186468 HAS SOPS 1176072 HAS SOUS 123395 HAS SOUPS 121872 WITH SCORE 123058.468
AT ITER 9963 NEW BEST:: SOT 2794213 SOS 1186503 HAS SOPS 1176107 HAS SOUS 123367 HAS SOUPS 121844 WITH SCORE 123030.503
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 14725912 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16128828 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S06J04T06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873943100600"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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