Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688400624.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is CANConstruction-PT-010, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688400624
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 604K
-rw-r--r-- 1 mcc users 7.1K Feb 25 21:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 25 21:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 21:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 21:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 15:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 21:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 25 21:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 21:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 21:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 15:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 173K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678471243197

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=CANConstruction-PT-010
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CANConstruction (PT), instance 010
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: 322 places, 480 transitions, 1400 arcs.
AT ITER 0 NEW BEST:: SOT 103606 SOS 63705 HAS SOPS 63575 HAS SOUS 37254 HAS SOUPS 37124 WITH SCORE 37187.705
AT ITER 10 NEW BEST:: SOT 103606 SOS 63691 HAS SOPS 63561 HAS SOUS 37240 HAS SOUPS 37110 WITH SCORE 37173.691
AT ITER 18 NEW BEST:: SOT 103429 SOS 63160 HAS SOPS 63030 HAS SOUS 36886 HAS SOUPS 36756 WITH SCORE 36819.16
AT ITER 26 NEW BEST:: SOT 102783 SOS 62567 HAS SOPS 62303 HAS SOUS 36873 HAS SOUPS 36609 WITH SCORE 36671.567
AT ITER 30 NEW BEST:: SOT 102783 SOS 62562 HAS SOPS 62298 HAS SOUS 36858 HAS SOUPS 36594 WITH SCORE 36656.562
AT ITER 48 NEW BEST:: SOT 102701 SOS 62480 HAS SOPS 62216 HAS SOUS 36772 HAS SOUPS 36508 WITH SCORE 36570.48
AT ITER 50 NEW BEST:: SOT 102331 SOS 62134 HAS SOPS 61846 HAS SOUS 36434 HAS SOUPS 36146 WITH SCORE 36208.134
AT ITER 52 NEW BEST:: SOT 102331 SOS 62134 HAS SOPS 61846 HAS SOUS 36433 HAS SOUPS 36145 WITH SCORE 36207.134
AT ITER 58 NEW BEST:: SOT 102463 SOS 62170 HAS SOPS 61882 HAS SOUS 36359 HAS SOUPS 36071 WITH SCORE 36133.17
AT ITER 72 NEW BEST:: SOT 102463 SOS 62041 HAS SOPS 61691 HAS SOUS 36305 HAS SOUPS 36017 WITH SCORE 36079.041
AT ITER 74 NEW BEST:: SOT 101875 SOS 61505 HAS SOPS 61105 HAS SOUS 35860 HAS SOUPS 35522 WITH SCORE 35583.505
AT ITER 76 NEW BEST:: SOT 101875 SOS 61505 HAS SOPS 61105 HAS SOUS 35816 HAS SOUPS 35478 WITH SCORE 35539.505
AT ITER 93 NEW BEST:: SOT 101818 SOS 61431 HAS SOPS 61031 HAS SOUS 35742 HAS SOUPS 35404 WITH SCORE 35465.431
AT ITER 95 NEW BEST:: SOT 101880 SOS 61455 HAS SOPS 61055 HAS SOUS 35700 HAS SOUPS 35362 WITH SCORE 35423.455
AT ITER 101 NEW BEST:: SOT 101942 SOS 61467 HAS SOPS 61067 HAS SOUS 35633 HAS SOUPS 35295 WITH SCORE 35356.467
AT ITER 102 NEW BEST:: SOT 101942 SOS 61443 HAS SOPS 61043 HAS SOUS 35517 HAS SOUPS 35179 WITH SCORE 35240.443
AT ITER 114 NEW BEST:: SOT 102028 SOS 61481 HAS SOPS 61081 HAS SOUS 35383 HAS SOUPS 35045 WITH SCORE 35106.481
AT ITER 122 NEW BEST:: SOT 101939 SOS 61459 HAS SOPS 61059 HAS SOUS 35297 HAS SOUPS 34959 WITH SCORE 35020.459
AT ITER 130 NEW BEST:: SOT 101939 SOS 61459 HAS SOPS 61059 HAS SOUS 35259 HAS SOUPS 34921 WITH SCORE 34982.459
AT ITER 135 NEW BEST:: SOT 101857 SOS 61296 HAS SOPS 60896 HAS SOUS 35096 HAS SOUPS 34758 WITH SCORE 34819.296
AT ITER 137 NEW BEST:: SOT 101338 SOS 60832 HAS SOPS 60394 HAS SOUS 34655 HAS SOUPS 34279 WITH SCORE 34339.832
AT ITER 140 NEW BEST:: SOT 101338 SOS 60829 HAS SOPS 60391 HAS SOUS 34652 HAS SOUPS 34276 WITH SCORE 34336.829
AT ITER 146 NEW BEST:: SOT 101248 SOS 60739 HAS SOPS 60301 HAS SOUS 34607 HAS SOUPS 34231 WITH SCORE 34291.739
AT ITER 147 NEW BEST:: SOT 100232 SOS 60936 HAS SOPS 60265 HAS SOUS 33756 HAS SOUPS 33238 WITH SCORE 33298.936
AT ITER 164 NEW BEST:: SOT 99730 SOS 60477 HAS SOPS 59763 HAS SOUS 33363 HAS SOUPS 32802 WITH SCORE 32862.477
AT ITER 168 NEW BEST:: SOT 99730 SOS 60471 HAS SOPS 59763 HAS SOUS 33351 HAS SOUPS 32790 WITH SCORE 32850.471
AT ITER 171 NEW BEST:: SOT 99566 SOS 60143 HAS SOPS 59435 HAS SOUS 33269 HAS SOUPS 32708 WITH SCORE 32768.143
AT ITER 185 NEW BEST:: SOT 99331 SOS 59799 HAS SOPS 59091 HAS SOUS 33160 HAS SOUPS 32599 WITH SCORE 32658.799
AT ITER 196 NEW BEST:: SOT 99321 SOS 59779 HAS SOPS 59071 HAS SOUS 33140 HAS SOUPS 32579 WITH SCORE 32638.779
AT ITER 206 NEW BEST:: SOT 99322 SOS 59396 HAS SOPS 58688 HAS SOUS 33086 HAS SOUPS 32525 WITH SCORE 32584.396
AT ITER 207 NEW BEST:: SOT 99322 SOS 59334 HAS SOPS 58626 HAS SOUS 33086 HAS SOUPS 32525 WITH SCORE 32584.334
AT ITER 210 NEW BEST:: SOT 99322 SOS 59136 HAS SOPS 58428 HAS SOUS 33086 HAS SOUPS 32525 WITH SCORE 32584.136
AT ITER 216 NEW BEST:: SOT 99310 SOS 59112 HAS SOPS 58404 HAS SOUS 33074 HAS SOUPS 32513 WITH SCORE 32572.112
AT ITER 217 NEW BEST:: SOT 99323 SOS 59001 HAS SOPS 58293 HAS SOUS 32820 HAS SOUPS 32259 WITH SCORE 32318.001
AT ITER 219 NEW BEST:: SOT 99311 SOS 58760 HAS SOPS 58052 HAS SOUS 32773 HAS SOUPS 32212 WITH SCORE 32270.76
AT ITER 221 NEW BEST:: SOT 99383 SOS 58796 HAS SOPS 58142 HAS SOUS 32753 HAS SOUPS 32210 WITH SCORE 32268.796
AT ITER 231 NEW BEST:: SOT 99373 SOS 58786 HAS SOPS 58132 HAS SOUS 32752 HAS SOUPS 32209 WITH SCORE 32267.786
AT ITER 234 NEW BEST:: SOT 99360 SOS 58760 HAS SOPS 58106 HAS SOUS 32739 HAS SOUPS 32196 WITH SCORE 32254.76
AT ITER 245 NEW BEST:: SOT 99232 SOS 58632 HAS SOPS 57978 HAS SOUS 32605 HAS SOUPS 32062 WITH SCORE 32120.632
AT ITER 255 NEW BEST:: SOT 98926 SOS 58346 HAS SOPS 57672 HAS SOUS 32326 HAS SOUPS 31763 WITH SCORE 31821.346
AT ITER 258 NEW BEST:: SOT 98786 SOS 57646 HAS SOPS 56972 HAS SOUS 32326 HAS SOUPS 31763 WITH SCORE 31820.646
AT ITER 261 NEW BEST:: SOT 98754 SOS 57582 HAS SOPS 56908 HAS SOUS 32294 HAS SOUPS 31731 WITH SCORE 31788.582
AT ITER 264 NEW BEST:: SOT 98754 SOS 57549 HAS SOPS 56875 HAS SOUS 32283 HAS SOUPS 31720 WITH SCORE 31777.549
AT ITER 265 NEW BEST:: SOT 98888 SOS 57612 HAS SOPS 56931 HAS SOUS 32125 HAS SOUPS 31562 WITH SCORE 31619.612
AT ITER 278 NEW BEST:: SOT 98888 SOS 57613 HAS SOPS 56931 HAS SOUS 32105 HAS SOUPS 31542 WITH SCORE 31599.613
AT ITER 283 NEW BEST:: SOT 98882 SOS 57607 HAS SOPS 56925 HAS SOUS 32096 HAS SOUPS 31533 WITH SCORE 31590.607
AT ITER 285 NEW BEST:: SOT 98873 SOS 57598 HAS SOPS 56916 HAS SOUS 32090 HAS SOUPS 31527 WITH SCORE 31584.598
AT ITER 289 NEW BEST:: SOT 98818 SOS 57543 HAS SOPS 56861 HAS SOUS 32037 HAS SOUPS 31474 WITH SCORE 31531.543
AT ITER 290 NEW BEST:: SOT 98864 SOS 58441 HAS SOPS 57508 HAS SOUS 32023 HAS SOUPS 31400 WITH SCORE 31458.441
AT ITER 302 NEW BEST:: SOT 98947 SOS 58473 HAS SOPS 57541 HAS SOUS 32011 HAS SOUPS 31388 WITH SCORE 31446.473
AT ITER 304 NEW BEST:: SOT 99199 SOS 58586 HAS SOPS 57654 HAS SOUS 32005 HAS SOUPS 31382 WITH SCORE 31440.586
AT ITER 305 NEW BEST:: SOT 99169 SOS 58556 HAS SOPS 57624 HAS SOUS 31960 HAS SOUPS 31337 WITH SCORE 31395.556
AT ITER 307 NEW BEST:: SOT 99050 SOS 58463 HAS SOPS 57622 HAS SOUS 31841 HAS SOUPS 31218 WITH SCORE 31276.463
AT ITER 309 NEW BEST:: SOT 99074 SOS 58385 HAS SOPS 57568 HAS SOUS 31583 HAS SOUPS 30960 WITH SCORE 31018.385
AT ITER 312 NEW BEST:: SOT 99037 SOS 58259 HAS SOPS 57442 HAS SOUS 31461 HAS SOUPS 30838 WITH SCORE 30896.259
AT ITER 314 NEW BEST:: SOT 99037 SOS 58259 HAS SOPS 57442 HAS SOUS 31460 HAS SOUPS 30837 WITH SCORE 30895.259
AT ITER 319 NEW BEST:: SOT 98935 SOS 58171 HAS SOPS 57354 HAS SOUS 31448 HAS SOUPS 30825 WITH SCORE 30883.171
AT ITER 323 NEW BEST:: SOT 98935 SOS 58186 HAS SOPS 57322 HAS SOUS 31416 HAS SOUPS 30793 WITH SCORE 30851.186
AT ITER 334 NEW BEST:: SOT 99053 SOS 58186 HAS SOPS 57322 HAS SOUS 31298 HAS SOUPS 30675 WITH SCORE 30733.186
AT ITER 337 NEW BEST:: SOT 99053 SOS 58170 HAS SOPS 57306 HAS SOUS 31260 HAS SOUPS 30637 WITH SCORE 30695.17
AT ITER 345 NEW BEST:: SOT 98986 SOS 58034 HAS SOPS 57172 HAS SOUS 31082 HAS SOUPS 30459 WITH SCORE 30517.034
AT ITER 347 NEW BEST:: SOT 98986 SOS 58003 HAS SOPS 57141 HAS SOUS 31051 HAS SOUPS 30428 WITH SCORE 30486.003
AT ITER 348 NEW BEST:: SOT 98496 SOS 57600 HAS SOPS 56651 HAS SOUS 30872 HAS SOUPS 30187 WITH SCORE 30244.6
AT ITER 350 NEW BEST:: SOT 97642 SOS 56953 HAS SOPS 55658 HAS SOUS 30707 HAS SOUPS 29874 WITH SCORE 29930.953
AT ITER 352 NEW BEST:: SOT 97642 SOS 56951 HAS SOPS 55656 HAS SOUS 30701 HAS SOUPS 29868 WITH SCORE 29924.951
AT ITER 358 NEW BEST:: SOT 97642 SOS 56937 HAS SOPS 55656 HAS SOUS 30701 HAS SOUPS 29868 WITH SCORE 29924.937
AT ITER 368 NEW BEST:: SOT 97642 SOS 56616 HAS SOPS 55326 HAS SOUS 30611 HAS SOUPS 29778 WITH SCORE 29834.616
AT ITER 371 NEW BEST:: SOT 97642 SOS 56616 HAS SOPS 55326 HAS SOUS 30610 HAS SOUPS 29777 WITH SCORE 29833.616
AT ITER 372 NEW BEST:: SOT 97615 SOS 56457 HAS SOPS 55167 HAS SOUS 30598 HAS SOUPS 29765 WITH SCORE 29821.457
AT ITER 376 NEW BEST:: SOT 97691 SOS 56533 HAS SOPS 55139 HAS SOUS 30395 HAS SOUPS 29562 WITH SCORE 29618.533
AT ITER 381 NEW BEST:: SOT 97613 SOS 56455 HAS SOPS 55061 HAS SOUS 30309 HAS SOUPS 29476 WITH SCORE 29532.455
AT ITER 382 NEW BEST:: SOT 97622 SOS 56464 HAS SOPS 55070 HAS SOUS 30254 HAS SOUPS 29421 WITH SCORE 29477.464
AT ITER 383 NEW BEST:: SOT 97556 SOS 56406 HAS SOPS 55013 HAS SOUS 30197 HAS SOUPS 29364 WITH SCORE 29420.406
AT ITER 396 NEW BEST:: SOT 97490 SOS 56271 HAS SOPS 54881 HAS SOUS 30088 HAS SOUPS 29255 WITH SCORE 29311.271
AT ITER 397 NEW BEST:: SOT 97463 SOS 56235 HAS SOPS 54845 HAS SOUS 30052 HAS SOUPS 29219 WITH SCORE 29275.235
AT ITER 403 NEW BEST:: SOT 97663 SOS 56305 HAS SOPS 54901 HAS SOUS 29916 HAS SOUPS 29083 WITH SCORE 29139.305
AT ITER 407 NEW BEST:: SOT 97663 SOS 56300 HAS SOPS 54896 HAS SOUS 29911 HAS SOUPS 29078 WITH SCORE 29134.3
AT ITER 409 NEW BEST:: SOT 97640 SOS 56073 HAS SOPS 54686 HAS SOUS 29865 HAS SOUPS 29032 WITH SCORE 29088.073
AT ITER 412 NEW BEST:: SOT 97640 SOS 55785 HAS SOPS 54398 HAS SOUS 29833 HAS SOUPS 29000 WITH SCORE 29055.785
AT ITER 415 NEW BEST:: SOT 97927 SOS 56074 HAS SOPS 54723 HAS SOUS 29796 HAS SOUPS 28989 WITH SCORE 29045.074
AT ITER 440 NEW BEST:: SOT 97863 SOS 55980 HAS SOPS 54629 HAS SOUS 29734 HAS SOUPS 28927 WITH SCORE 28982.98
AT ITER 444 NEW BEST:: SOT 97829 SOS 55963 HAS SOPS 54612 HAS SOUS 29734 HAS SOUPS 28927 WITH SCORE 28982.963
AT ITER 446 NEW BEST:: SOT 97829 SOS 55928 HAS SOPS 54612 HAS SOUS 29664 HAS SOUPS 28857 WITH SCORE 28912.928
AT ITER 447 NEW BEST:: SOT 97794 SOS 55595 HAS SOPS 54279 HAS SOUS 29619 HAS SOUPS 28812 WITH SCORE 28867.595
AT ITER 449 NEW BEST:: SOT 97794 SOS 55475 HAS SOPS 54159 HAS SOUS 29619 HAS SOUPS 28812 WITH SCORE 28867.475
AT ITER 456 NEW BEST:: SOT 97710 SOS 55396 HAS SOPS 54080 HAS SOUS 29498 HAS SOUPS 28691 WITH SCORE 28746.396
AT ITER 463 NEW BEST:: SOT 97636 SOS 55283 HAS SOPS 53967 HAS SOUS 29386 HAS SOUPS 28579 WITH SCORE 28634.283
AT ITER 464 NEW BEST:: SOT 97089 SOS 54426 HAS SOPS 52493 HAS SOUS 29503 HAS SOUPS 28546 WITH SCORE 28600.426
AT ITER 465 NEW BEST:: SOT 97115 SOS 54476 HAS SOPS 52543 HAS SOUS 29501 HAS SOUPS 28544 WITH SCORE 28598.476
AT ITER 466 NEW BEST:: SOT 97115 SOS 54476 HAS SOPS 52543 HAS SOUS 29357 HAS SOUPS 28400 WITH SCORE 28454.476
AT ITER 476 NEW BEST:: SOT 97039 SOS 54395 HAS SOPS 52462 HAS SOUS 29314 HAS SOUPS 28357 WITH SCORE 28411.395
AT ITER 481 NEW BEST:: SOT 97162 SOS 54518 HAS SOPS 52506 HAS SOUS 29305 HAS SOUPS 28348 WITH SCORE 28402.518
AT ITER 486 NEW BEST:: SOT 97112 SOS 54468 HAS SOPS 52456 HAS SOUS 29230 HAS SOUPS 28273 WITH SCORE 28327.468
AT ITER 489 NEW BEST:: SOT 97024 SOS 54380 HAS SOPS 52368 HAS SOUS 29117 HAS SOUPS 28160 WITH SCORE 28214.38
AT ITER 502 NEW BEST:: SOT 96837 SOS 54184 HAS SOPS 52197 HAS SOUS 28840 HAS SOUPS 27883 WITH SCORE 27937.184
AT ITER 507 NEW BEST:: SOT 96688 SOS 54045 HAS SOPS 52058 HAS SOUS 28780 HAS SOUPS 27823 WITH SCORE 27877.045
AT ITER 519 NEW BEST:: SOT 96688 SOS 53997 HAS SOPS 52010 HAS SOUS 28780 HAS SOUPS 27823 WITH SCORE 27876.997
AT ITER 521 NEW BEST:: SOT 96688 SOS 53997 HAS SOPS 52010 HAS SOUS 28772 HAS SOUPS 27815 WITH SCORE 27868.997
AT ITER 523 NEW BEST:: SOT 96507 SOS 53409 HAS SOPS 51422 HAS SOUS 28418 HAS SOUPS 27461 WITH SCORE 27514.409
AT ITER 526 NEW BEST:: SOT 96545 SOS 53309 HAS SOPS 51360 HAS SOUS 28344 HAS SOUPS 27387 WITH SCORE 27440.309
AT ITER 538 NEW BEST:: SOT 96529 SOS 53293 HAS SOPS 51344 HAS SOUS 28320 HAS SOUPS 27363 WITH SCORE 27416.293
AT ITER 540 NEW BEST:: SOT 96530 SOS 53235 HAS SOPS 51286 HAS SOUS 28177 HAS SOUPS 27220 WITH SCORE 27273.235
AT ITER 543 NEW BEST:: SOT 96529 SOS 53233 HAS SOPS 51284 HAS SOUS 28175 HAS SOUPS 27218 WITH SCORE 27271.233
AT ITER 544 NEW BEST:: SOT 96529 SOS 53300 HAS SOPS 51143 HAS SOUS 28146 HAS SOUPS 27189 WITH SCORE 27242.3
AT ITER 546 NEW BEST:: SOT 96529 SOS 53289 HAS SOPS 51132 HAS SOUS 28113 HAS SOUPS 27156 WITH SCORE 27209.289
AT ITER 553 NEW BEST:: SOT 96461 SOS 52604 HAS SOPS 50447 HAS SOUS 28026 HAS SOUPS 27069 WITH SCORE 27121.604
AT ITER 557 NEW BEST:: SOT 96246 SOS 52660 HAS SOPS 50633 HAS SOUS 28012 HAS SOUPS 27055 WITH SCORE 27107.66
AT ITER 558 NEW BEST:: SOT 96264 SOS 52664 HAS SOPS 50637 HAS SOUS 27984 HAS SOUPS 27027 WITH SCORE 27079.664
AT ITER 559 NEW BEST:: SOT 96228 SOS 52628 HAS SOPS 50601 HAS SOUS 27930 HAS SOUPS 26973 WITH SCORE 27025.628
AT ITER 577 NEW BEST:: SOT 96204 SOS 52589 HAS SOPS 50553 HAS SOUS 27868 HAS SOUPS 26911 WITH SCORE 26963.589
AT ITER 582 NEW BEST:: SOT 96205 SOS 52557 HAS SOPS 50504 HAS SOUS 27819 HAS SOUPS 26862 WITH SCORE 26914.557
AT ITER 590 NEW BEST:: SOT 96202 SOS 52561 HAS SOPS 50508 HAS SOUS 27816 HAS SOUPS 26859 WITH SCORE 26911.561
AT ITER 596 NEW BEST:: SOT 96234 SOS 52545 HAS SOPS 50492 HAS SOUS 27720 HAS SOUPS 26763 WITH SCORE 26815.545
AT ITER 600 NEW BEST:: SOT 96234 SOS 52494 HAS SOPS 50441 HAS SOUS 27703 HAS SOUPS 26746 WITH SCORE 26798.494
AT ITER 602 NEW BEST:: SOT 96217 SOS 52429 HAS SOPS 50376 HAS SOUS 27596 HAS SOUPS 26639 WITH SCORE 26691.429
AT ITER 603 NEW BEST:: SOT 96217 SOS 52425 HAS SOPS 50372 HAS SOUS 27584 HAS SOUPS 26627 WITH SCORE 26679.425
AT ITER 606 NEW BEST:: SOT 96228 SOS 51915 HAS SOPS 49862 HAS SOUS 27573 HAS SOUPS 26616 WITH SCORE 26667.915
AT ITER 607 NEW BEST:: SOT 96237 SOS 51863 HAS SOPS 49881 HAS SOUS 27531 HAS SOUPS 26584 WITH SCORE 26635.863
AT ITER 609 NEW BEST:: SOT 96238 SOS 51859 HAS SOPS 49877 HAS SOUS 27529 HAS SOUPS 26582 WITH SCORE 26633.859
AT ITER 610 NEW BEST:: SOT 96136 SOS 51460 HAS SOPS 49571 HAS SOUS 27325 HAS SOUPS 26378 WITH SCORE 26429.46
AT ITER 615 NEW BEST:: SOT 96205 SOS 51458 HAS SOPS 49656 HAS SOUS 27300 HAS SOUPS 26369 WITH SCORE 26420.458
AT ITER 618 NEW BEST:: SOT 96264 SOS 51387 HAS SOPS 49585 HAS SOUS 27020 HAS SOUPS 26089 WITH SCORE 26140.387
AT ITER 624 NEW BEST:: SOT 96216 SOS 51351 HAS SOPS 49537 HAS SOUS 26984 HAS SOUPS 26049 WITH SCORE 26100.351
AT ITER 629 NEW BEST:: SOT 96202 SOS 51337 HAS SOPS 49523 HAS SOUS 26970 HAS SOUPS 26035 WITH SCORE 26086.337
AT ITER 630 NEW BEST:: SOT 96186 SOS 51305 HAS SOPS 49491 HAS SOUS 26938 HAS SOUPS 26003 WITH SCORE 26054.305
AT ITER 642 NEW BEST:: SOT 96176 SOS 51295 HAS SOPS 49481 HAS SOUS 26927 HAS SOUPS 25992 WITH SCORE 26043.295
AT ITER 646 NEW BEST:: SOT 96176 SOS 51229 HAS SOPS 49415 HAS SOUS 26861 HAS SOUPS 25926 WITH SCORE 25977.229
AT ITER 648 NEW BEST:: SOT 96176 SOS 51208 HAS SOPS 49394 HAS SOUS 26798 HAS SOUPS 25863 WITH SCORE 25914.208
AT ITER 652 NEW BEST:: SOT 96164 SOS 51190 HAS SOPS 49376 HAS SOUS 26774 HAS SOUPS 25839 WITH SCORE 25890.19
AT ITER 667 NEW BEST:: SOT 96182 SOS 51208 HAS SOPS 49394 HAS SOUS 26756 HAS SOUPS 25821 WITH SCORE 25872.208
AT ITER 669 NEW BEST:: SOT 96138 SOS 51164 HAS SOPS 49350 HAS SOUS 26712 HAS SOUPS 25777 WITH SCORE 25828.164
AT ITER 678 NEW BEST:: SOT 96151 SOS 51109 HAS SOPS 49299 HAS SOUS 26625 HAS SOUPS 25690 WITH SCORE 25741.109
AT ITER 679 NEW BEST:: SOT 96062 SOS 50994 HAS SOPS 49184 HAS SOUS 26550 HAS SOUPS 25615 WITH SCORE 25665.994
AT ITER 680 NEW BEST:: SOT 96021 SOS 50975 HAS SOPS 49165 HAS SOUS 26499 HAS SOUPS 25564 WITH SCORE 25614.975
AT ITER 683 NEW BEST:: SOT 96097 SOS 50995 HAS SOPS 49185 HAS SOUS 26423 HAS SOUPS 25488 WITH SCORE 25538.995
AT ITER 693 NEW BEST:: SOT 96074 SOS 50947 HAS SOPS 49139 HAS SOUS 26406 HAS SOUPS 25471 WITH SCORE 25521.947
AT ITER 697 NEW BEST:: SOT 96100 SOS 50947 HAS SOPS 49139 HAS SOUS 26380 HAS SOUPS 25445 WITH SCORE 25495.947
AT ITER 709 NEW BEST:: SOT 96060 SOS 50077 HAS SOPS 48269 HAS SOUS 26302 HAS SOUPS 25367 WITH SCORE 25417.077
AT ITER 710 NEW BEST:: SOT 96058 SOS 50075 HAS SOPS 48265 HAS SOUS 26300 HAS SOUPS 25363 WITH SCORE 25413.075
AT ITER 713 NEW BEST:: SOT 96035 SOS 50057 HAS SOPS 48247 HAS SOUS 26282 HAS SOUPS 25345 WITH SCORE 25395.057
AT ITER 714 NEW BEST:: SOT 96046 SOS 50241 HAS SOPS 48357 HAS SOUS 26284 HAS SOUPS 25331 WITH SCORE 25381.241
AT ITER 719 NEW BEST:: SOT 95892 SOS 50147 HAS SOPS 48263 HAS SOUS 26267 HAS SOUPS 25314 WITH SCORE 25364.147
AT ITER 726 NEW BEST:: SOT 95816 SOS 50071 HAS SOPS 48187 HAS SOUS 26153 HAS SOUPS 25200 WITH SCORE 25250.071
AT ITER 727 NEW BEST:: SOT 95766 SOS 50035 HAS SOPS 48151 HAS SOUS 26142 HAS SOUPS 25189 WITH SCORE 25239.035
AT ITER 733 NEW BEST:: SOT 95891 SOS 50098 HAS SOPS 48213 HAS SOUS 26126 HAS SOUPS 25173 WITH SCORE 25223.098
AT ITER 739 NEW BEST:: SOT 95891 SOS 50088 HAS SOPS 48213 HAS SOUS 26114 HAS SOUPS 25161 WITH SCORE 25211.088
AT ITER 742 NEW BEST:: SOT 95884 SOS 50081 HAS SOPS 48213 HAS SOUS 26110 HAS SOUPS 25157 WITH SCORE 25207.081
AT ITER 750 NEW BEST:: SOT 96012 SOS 50139 HAS SOPS 48257 HAS SOUS 25868 HAS SOUPS 24915 WITH SCORE 24965.139
AT ITER 765 NEW BEST:: SOT 96003 SOS 50124 HAS SOPS 48239 HAS SOUS 25853 HAS SOUPS 24900 WITH SCORE 24950.124
AT ITER 778 NEW BEST:: SOT 96049 SOS 50124 HAS SOPS 48239 HAS SOUS 25807 HAS SOUPS 24854 WITH SCORE 24904.124
AT ITER 782 NEW BEST:: SOT 95925 SOS 49225 HAS SOPS 47313 HAS SOUS 25798 HAS SOUPS 24845 WITH SCORE 24894.225
AT ITER 790 NEW BEST:: SOT 95977 SOS 49202 HAS SOPS 47290 HAS SOUS 25631 HAS SOUPS 24678 WITH SCORE 24727.202
AT ITER 792 NEW BEST:: SOT 95980 SOS 49161 HAS SOPS 47249 HAS SOUS 25508 HAS SOUPS 24555 WITH SCORE 24604.161
AT ITER 796 NEW BEST:: SOT 95980 SOS 49153 HAS SOPS 47241 HAS SOUS 25500 HAS SOUPS 24547 WITH SCORE 24596.153
AT ITER 798 NEW BEST:: SOT 95994 SOS 49153 HAS SOPS 47241 HAS SOUS 25486 HAS SOUPS 24533 WITH SCORE 24582.153
AT ITER 800 NEW BEST:: SOT 95994 SOS 49151 HAS SOPS 47239 HAS SOUS 25484 HAS SOUPS 24531 WITH SCORE 24580.151
AT ITER 802 NEW BEST:: SOT 95993 SOS 49150 HAS SOPS 47237 HAS SOUS 25482 HAS SOUPS 24529 WITH SCORE 24578.15
AT ITER 812 NEW BEST:: SOT 95995 SOS 49152 HAS SOPS 47239 HAS SOUS 25434 HAS SOUPS 24481 WITH SCORE 24530.152
AT ITER 814 NEW BEST:: SOT 95991 SOS 49148 HAS SOPS 47235 HAS SOUS 25424 HAS SOUPS 24471 WITH SCORE 24520.148
AT ITER 818 NEW BEST:: SOT 95961 SOS 49133 HAS SOPS 47220 HAS SOUS 25424 HAS SOUPS 24471 WITH SCORE 24520.133
AT ITER 822 NEW BEST:: SOT 95891 SOS 49063 HAS SOPS 47150 HAS SOUS 25389 HAS SOUPS 24436 WITH SCORE 24485.063
AT ITER 824 NEW BEST:: SOT 95885 SOS 49051 HAS SOPS 47138 HAS SOUS 25377 HAS SOUPS 24424 WITH SCORE 24473.051
AT ITER 828 NEW BEST:: SOT 95007 SOS 48478 HAS SOPS 46258 HAS SOUS 25018 HAS SOUPS 23959 WITH SCORE 24007.478
AT ITER 830 NEW BEST:: SOT 95005 SOS 48476 HAS SOPS 46256 HAS SOUS 25017 HAS SOUPS 23958 WITH SCORE 24006.476
AT ITER 841 NEW BEST:: SOT 95002 SOS 48473 HAS SOPS 46253 HAS SOUS 25014 HAS SOUPS 23955 WITH SCORE 24003.473
AT ITER 843 NEW BEST:: SOT 94949 SOS 48430 HAS SOPS 46210 HAS SOUS 24971 HAS SOUPS 23912 WITH SCORE 23960.43
AT ITER 849 NEW BEST:: SOT 94936 SOS 48316 HAS SOPS 46096 HAS SOUS 24945 HAS SOUPS 23886 WITH SCORE 23934.316
AT ITER 862 NEW BEST:: SOT 94913 SOS 48288 HAS SOPS 46097 HAS SOUS 24920 HAS SOUPS 23861 WITH SCORE 23909.288
AT ITER 875 NEW BEST:: SOT 95006 SOS 48268 HAS SOPS 46190 HAS SOUS 24822 HAS SOUPS 23791 WITH SCORE 23839.268
AT ITER 883 NEW BEST:: SOT 94989 SOS 48233 HAS SOPS 46156 HAS SOUS 24752 HAS SOUPS 23721 WITH SCORE 23769.233
AT ITER 895 NEW BEST:: SOT 94989 SOS 48216 HAS SOPS 46139 HAS SOUS 24735 HAS SOUPS 23704 WITH SCORE 23752.216
AT ITER 899 NEW BEST:: SOT 95005 SOS 48216 HAS SOPS 46139 HAS SOUS 24719 HAS SOUPS 23688 WITH SCORE 23736.216
AT ITER 910 NEW BEST:: SOT 94954 SOS 48183 HAS SOPS 46165 HAS SOUS 24711 HAS SOUPS 23680 WITH SCORE 23728.183
AT ITER 931 NEW BEST:: SOT 94954 SOS 48183 HAS SOPS 46165 HAS SOUS 24709 HAS SOUPS 23678 WITH SCORE 23726.183
AT ITER 945 NEW BEST:: SOT 95093 SOS 48354 HAS SOPS 46258 HAS SOUS 24647 HAS SOUPS 23616 WITH SCORE 23664.354
AT ITER 978 NEW BEST:: SOT 95059 SOS 48332 HAS SOPS 46218 HAS SOUS 24626 HAS SOUPS 23589 WITH SCORE 23637.332
AT ITER 993 NEW BEST:: SOT 95055 SOS 48330 HAS SOPS 46216 HAS SOUS 24626 HAS SOUPS 23589 WITH SCORE 23637.33
AT ITER 994 NEW BEST:: SOT 94904 SOS 48178 HAS SOPS 46064 HAS SOUS 24611 HAS SOUPS 23574 WITH SCORE 23622.178
AT ITER 996 NEW BEST:: SOT 94870 SOS 48144 HAS SOPS 45996 HAS SOUS 24543 HAS SOUPS 23506 WITH SCORE 23554.144
AT ITER 1000 NEW BEST:: SOT 94866 SOS 48134 HAS SOPS 45986 HAS SOUS 24535 HAS SOUPS 23498 WITH SCORE 23546.134
AT ITER 1014 NEW BEST:: SOT 94870 SOS 48138 HAS SOPS 45994 HAS SOUS 24507 HAS SOUPS 23470 WITH SCORE 23518.138
AT ITER 1016 NEW BEST:: SOT 94843 SOS 48111 HAS SOPS 45967 HAS SOUS 24489 HAS SOUPS 23452 WITH SCORE 23500.111
AT ITER 1023 NEW BEST:: SOT 94919 SOS 48127 HAS SOPS 45983 HAS SOUS 24423 HAS SOUPS 23386 WITH SCORE 23434.127
AT ITER 1028 NEW BEST:: SOT 94919 SOS 48055 HAS SOPS 45911 HAS SOUS 24399 HAS SOUPS 23362 WITH SCORE 23410.055
AT ITER 1039 NEW BEST:: SOT 94919 SOS 48029 HAS SOPS 45885 HAS SOUS 24321 HAS SOUPS 23284 WITH SCORE 23332.029
AT ITER 1050 NEW BEST:: SOT 94913 SOS 47751 HAS SOPS 45607 HAS SOUS 24297 HAS SOUPS 23260 WITH SCORE 23307.751
AT ITER 1068 NEW BEST:: SOT 94913 SOS 47454 HAS SOPS 45310 HAS SOUS 24297 HAS SOUPS 23260 WITH SCORE 23307.454
AT ITER 1073 NEW BEST:: SOT 94963 SOS 47396 HAS SOPS 45294 HAS SOUS 24163 HAS SOUPS 23126 WITH SCORE 23173.396
AT ITER 1079 NEW BEST:: SOT 94928 SOS 47314 HAS SOPS 45212 HAS SOUS 24143 HAS SOUPS 23106 WITH SCORE 23153.314
AT ITER 1085 NEW BEST:: SOT 94501 SOS 47069 HAS SOPS 44785 HAS SOUS 23957 HAS SOUPS 22870 WITH SCORE 22917.069
AT ITER 1095 NEW BEST:: SOT 94421 SOS 46909 HAS SOPS 44625 HAS SOUS 23921 HAS SOUPS 22834 WITH SCORE 22880.909
AT ITER 1098 NEW BEST:: SOT 94471 SOS 47183 HAS SOPS 44899 HAS SOUS 23913 HAS SOUPS 22826 WITH SCORE 22873.183
AT ITER 1120 NEW BEST:: SOT 94461 SOS 47163 HAS SOPS 44874 HAS SOUS 23893 HAS SOUPS 22806 WITH SCORE 22853.163
AT ITER 1131 NEW BEST:: SOT 94373 SOS 47073 HAS SOPS 44784 HAS SOUS 23847 HAS SOUPS 22760 WITH SCORE 22807.073
AT ITER 1134 NEW BEST:: SOT 94034 SOS 46755 HAS SOPS 44445 HAS SOUS 23529 HAS SOUPS 22421 WITH SCORE 22467.755
AT ITER 1155 NEW BEST:: SOT 94034 SOS 46755 HAS SOPS 44445 HAS SOUS 23471 HAS SOUPS 22363 WITH SCORE 22409.755
AT ITER 1164 NEW BEST:: SOT 93933 SOS 46558 HAS SOPS 44243 HAS SOUS 23385 HAS SOUPS 22277 WITH SCORE 22323.558
AT ITER 1167 NEW BEST:: SOT 93927 SOS 46555 HAS SOPS 44240 HAS SOUS 23385 HAS SOUPS 22277 WITH SCORE 22323.555
AT ITER 1169 NEW BEST:: SOT 93926 SOS 46553 HAS SOPS 44238 HAS SOUS 23383 HAS SOUPS 22275 WITH SCORE 22321.553
AT ITER 1172 NEW BEST:: SOT 93922 SOS 46517 HAS SOPS 44230 HAS SOUS 23375 HAS SOUPS 22267 WITH SCORE 22313.517
AT ITER 1177 NEW BEST:: SOT 93880 SOS 46475 HAS SOPS 44188 HAS SOUS 23291 HAS SOUPS 22183 WITH SCORE 22229.475
AT ITER 1178 NEW BEST:: SOT 93853 SOS 46427 HAS SOPS 44141 HAS SOUS 23244 HAS SOUPS 22136 WITH SCORE 22182.427
AT ITER 1215 NEW BEST:: SOT 93848 SOS 46422 HAS SOPS 44131 HAS SOUS 23239 HAS SOUPS 22126 WITH SCORE 22172.422
AT ITER 1216 NEW BEST:: SOT 93829 SOS 46386 HAS SOPS 44095 HAS SOUS 23157 HAS SOUPS 22044 WITH SCORE 22090.386
AT ITER 1225 NEW BEST:: SOT 93819 SOS 46354 HAS SOPS 44063 HAS SOUS 23137 HAS SOUPS 22024 WITH SCORE 22070.354
AT ITER 1250 NEW BEST:: SOT 93900 SOS 46408 HAS SOPS 44063 HAS SOUS 23056 HAS SOUPS 21943 WITH SCORE 21989.408
AT ITER 1257 NEW BEST:: SOT 93798 SOS 46379 HAS SOPS 43961 HAS SOUS 23049 HAS SOUPS 21917 WITH SCORE 21963.379
AT ITER 1258 NEW BEST:: SOT 93805 SOS 46382 HAS SOPS 43964 HAS SOUS 23045 HAS SOUPS 21913 WITH SCORE 21959.382
AT ITER 1272 NEW BEST:: SOT 93715 SOS 46292 HAS SOPS 43874 HAS SOUS 22997 HAS SOUPS 21865 WITH SCORE 21911.292
AT ITER 1276 NEW BEST:: SOT 93713 SOS 46220 HAS SOPS 43802 HAS SOUS 22980 HAS SOUPS 21848 WITH SCORE 21894.22
AT ITER 1277 NEW BEST:: SOT 93713 SOS 46220 HAS SOPS 43802 HAS SOUS 22956 HAS SOUPS 21824 WITH SCORE 21870.22
AT ITER 1279 NEW BEST:: SOT 93755 SOS 46228 HAS SOPS 43852 HAS SOUS 22922 HAS SOUPS 21790 WITH SCORE 21836.228
AT ITER 1283 NEW BEST:: SOT 93755 SOS 46228 HAS SOPS 43852 HAS SOUS 22902 HAS SOUPS 21770 WITH SCORE 21816.228
AT ITER 1285 NEW BEST:: SOT 93710 SOS 46195 HAS SOPS 43819 HAS SOUS 22876 HAS SOUPS 21744 WITH SCORE 21790.195
AT ITER 1298 NEW BEST:: SOT 93625 SOS 46118 HAS SOPS 43742 HAS SOUS 22841 HAS SOUPS 21709 WITH SCORE 21755.118
AT ITER 1318 NEW BEST:: SOT 93619 SOS 46112 HAS SOPS 43730 HAS SOUS 22829 HAS SOUPS 21697 WITH SCORE 21743.112
AT ITER 1322 NEW BEST:: SOT 93641 SOS 46134 HAS SOPS 43749 HAS SOUS 22814 HAS SOUPS 21682 WITH SCORE 21728.134
AT ITER 1325 NEW BEST:: SOT 93649 SOS 46120 HAS SOPS 43735 HAS SOUS 22804 HAS SOUPS 21672 WITH SCORE 21718.12
AT ITER 1330 NEW BEST:: SOT 93648 SOS 46119 HAS SOPS 43734 HAS SOUS 22802 HAS SOUPS 21670 WITH SCORE 21716.119
AT ITER 1331 NEW BEST:: SOT 93650 SOS 46137 HAS SOPS 43752 HAS SOUS 22774 HAS SOUPS 21642 WITH SCORE 21688.137
AT ITER 1332 NEW BEST:: SOT 93655 SOS 46132 HAS SOPS 43747 HAS SOUS 22774 HAS SOUPS 21642 WITH SCORE 21688.132
AT ITER 1352 NEW BEST:: SOT 93604 SOS 46243 HAS SOPS 43889 HAS SOUS 22762 HAS SOUPS 21630 WITH SCORE 21676.243
AT ITER 1357 NEW BEST:: SOT 93604 SOS 46229 HAS SOPS 43882 HAS SOUS 22755 HAS SOUPS 21630 WITH SCORE 21676.229
AT ITER 1366 NEW BEST:: SOT 93437 SOS 46113 HAS SOPS 43715 HAS SOUS 22660 HAS SOUPS 21518 WITH SCORE 21564.113
AT ITER 1377 NEW BEST:: SOT 93385 SOS 46056 HAS SOPS 43643 HAS SOUS 22652 HAS SOUPS 21510 WITH SCORE 21556.056
AT ITER 1379 NEW BEST:: SOT 93385 SOS 46042 HAS SOPS 43643 HAS SOUS 22644 HAS SOUPS 21502 WITH SCORE 21548.042
AT ITER 1386 NEW BEST:: SOT 93385 SOS 45920 HAS SOPS 43521 HAS SOUS 22634 HAS SOUPS 21492 WITH SCORE 21537.92
AT ITER 1399 NEW BEST:: SOT 93297 SOS 45748 HAS SOPS 43345 HAS SOUS 22508 HAS SOUPS 21366 WITH SCORE 21411.748
AT ITER 1428 NEW BEST:: SOT 93274 SOS 45716 HAS SOPS 43313 HAS SOUS 22430 HAS SOUPS 21288 WITH SCORE 21333.716
AT ITER 1430 NEW BEST:: SOT 93258 SOS 45708 HAS SOPS 43279 HAS SOUS 22396 HAS SOUPS 21254 WITH SCORE 21299.708
AT ITER 1446 NEW BEST:: SOT 93428 SOS 45815 HAS SOPS 43426 HAS SOUS 22331 HAS SOUPS 21189 WITH SCORE 21234.815
AT ITER 1447 NEW BEST:: SOT 93408 SOS 45651 HAS SOPS 43262 HAS SOUS 22216 HAS SOUPS 21074 WITH SCORE 21119.651
AT ITER 1454 NEW BEST:: SOT 93397 SOS 45639 HAS SOPS 43260 HAS SOUS 22214 HAS SOUPS 21072 WITH SCORE 21117.639
AT ITER 1458 NEW BEST:: SOT 93402 SOS 45658 HAS SOPS 43238 HAS SOUS 22130 HAS SOUPS 20988 WITH SCORE 21033.658
AT ITER 1461 NEW BEST:: SOT 93353 SOS 45589 HAS SOPS 43211 HAS SOUS 22083 HAS SOUPS 20941 WITH SCORE 20986.589
AT ITER 1476 NEW BEST:: SOT 93239 SOS 45461 HAS SOPS 43007 HAS SOUS 21955 HAS SOUPS 20803 WITH SCORE 20848.461
AT ITER 1477 NEW BEST:: SOT 93256 SOS 45478 HAS SOPS 43013 HAS SOUS 21905 HAS SOUPS 20753 WITH SCORE 20798.478
AT ITER 1478 NEW BEST:: SOT 93150 SOS 45430 HAS SOPS 42903 HAS SOUS 21897 HAS SOUPS 20728 WITH SCORE 20773.43
AT ITER 1518 NEW BEST:: SOT 93094 SOS 45087 HAS SOPS 42560 HAS SOUS 21845 HAS SOUPS 20676 WITH SCORE 20721.087
AT ITER 1522 NEW BEST:: SOT 93094 SOS 45085 HAS SOPS 42558 HAS SOUS 21843 HAS SOUPS 20674 WITH SCORE 20719.085
AT ITER 1531 NEW BEST:: SOT 93072 SOS 45074 HAS SOPS 42536 HAS SOUS 21832 HAS SOUPS 20663 WITH SCORE 20708.074
AT ITER 1538 NEW BEST:: SOT 93216 SOS 45114 HAS SOPS 42566 HAS SOUS 21613 HAS SOUPS 20444 WITH SCORE 20489.114
AT ITER 1540 NEW BEST:: SOT 93145 SOS 44730 HAS SOPS 42182 HAS SOUS 21600 HAS SOUPS 20431 WITH SCORE 20475.73
AT ITER 1551 NEW BEST:: SOT 93138 SOS 44716 HAS SOPS 42168 HAS SOUS 21586 HAS SOUPS 20417 WITH SCORE 20461.716
AT ITER 1568 NEW BEST:: SOT 93201 SOS 44865 HAS SOPS 42294 HAS SOUS 21583 HAS SOUPS 20414 WITH SCORE 20458.865
AT ITER 1573 NEW BEST:: SOT 93201 SOS 44467 HAS SOPS 41896 HAS SOUS 21562 HAS SOUPS 20393 WITH SCORE 20437.467
AT ITER 1574 NEW BEST:: SOT 93167 SOS 44642 HAS SOPS 42071 HAS SOUS 21501 HAS SOUPS 20332 WITH SCORE 20376.642
AT ITER 1575 NEW BEST:: SOT 93198 SOS 44669 HAS SOPS 42098 HAS SOUS 21498 HAS SOUPS 20329 WITH SCORE 20373.669
AT ITER 1576 NEW BEST:: SOT 93179 SOS 44589 HAS SOPS 41999 HAS SOUS 21454 HAS SOUPS 20285 WITH SCORE 20329.589
AT ITER 1582 NEW BEST:: SOT 93219 SOS 44641 HAS SOPS 42031 HAS SOUS 21446 HAS SOUPS 20277 WITH SCORE 20321.641
AT ITER 1591 NEW BEST:: SOT 93197 SOS 44619 HAS SOPS 42009 HAS SOUS 21424 HAS SOUPS 20255 WITH SCORE 20299.619
AT ITER 1604 NEW BEST:: SOT 93224 SOS 44642 HAS SOPS 42009 HAS SOUS 21423 HAS SOUPS 20254 WITH SCORE 20298.642
AT ITER 1608 NEW BEST:: SOT 93226 SOS 44644 HAS SOPS 42013 HAS SOUS 21405 HAS SOUPS 20238 WITH SCORE 20282.644
AT ITER 1643 NEW BEST:: SOT 93216 SOS 44634 HAS SOPS 41993 HAS SOUS 21385 HAS SOUPS 20218 WITH SCORE 20262.634
AT ITER 1647 NEW BEST:: SOT 93200 SOS 44600 HAS SOPS 41961 HAS SOUS 21353 HAS SOUPS 20186 WITH SCORE 20230.6
AT ITER 1652 NEW BEST:: SOT 93277 SOS 44678 HAS SOPS 42052 HAS SOUS 21321 HAS SOUPS 20154 WITH SCORE 20198.678
AT ITER 1656 NEW BEST:: SOT 93276 SOS 44497 HAS SOPS 41871 HAS SOUS 21320 HAS SOUPS 20153 WITH SCORE 20197.497
AT ITER 1660 NEW BEST:: SOT 93272 SOS 44613 HAS SOPS 41987 HAS SOUS 21316 HAS SOUPS 20149 WITH SCORE 20193.613
AT ITER 1667 NEW BEST:: SOT 93272 SOS 44525 HAS SOPS 41899 HAS SOUS 21316 HAS SOUPS 20149 WITH SCORE 20193.525
AT ITER 1672 NEW BEST:: SOT 93271 SOS 44523 HAS SOPS 41897 HAS SOUS 21315 HAS SOUPS 20148 WITH SCORE 20192.523
AT ITER 1677 NEW BEST:: SOT 93183 SOS 44488 HAS SOPS 41809 HAS SOUS 21289 HAS SOUPS 20110 WITH SCORE 20154.488
AT ITER 1680 NEW BEST:: SOT 93117 SOS 44440 HAS SOPS 41743 HAS SOUS 21232 HAS SOUPS 20044 WITH SCORE 20088.44
AT ITER 1686 NEW BEST:: SOT 93148 SOS 44444 HAS SOPS 41772 HAS SOUS 21201 HAS SOUPS 20013 WITH SCORE 20057.444
AT ITER 1688 NEW BEST:: SOT 93147 SOS 44447 HAS SOPS 41771 HAS SOUS 21204 HAS SOUPS 20012 WITH SCORE 20056.447
AT ITER 1693 NEW BEST:: SOT 93147 SOS 44359 HAS SOPS 41683 HAS SOUS 21169 HAS SOUPS 19977 WITH SCORE 20021.359
AT ITER 1701 NEW BEST:: SOT 93174 SOS 44727 HAS SOPS 42098 HAS SOUS 21139 HAS SOUPS 19947 WITH SCORE 19991.727
AT ITER 1705 NEW BEST:: SOT 93164 SOS 44671 HAS SOPS 42042 HAS SOUS 21139 HAS SOUPS 19947 WITH SCORE 19991.671
AT ITER 1718 NEW BEST:: SOT 93135 SOS 44642 HAS SOPS 42017 HAS SOUS 21129 HAS SOUPS 19937 WITH SCORE 19981.642
AT ITER 1729 NEW BEST:: SOT 93153 SOS 44660 HAS SOPS 42035 HAS SOUS 21111 HAS SOUPS 19919 WITH SCORE 19963.66
AT ITER 1731 NEW BEST:: SOT 93188 SOS 44679 HAS SOPS 42026 HAS SOUS 21024 HAS SOUPS 19832 WITH SCORE 19876.679
AT ITER 1747 NEW BEST:: SOT 93185 SOS 44652 HAS SOPS 42002 HAS SOUS 21018 HAS SOUPS 19826 WITH SCORE 19870.652
AT ITER 1751 NEW BEST:: SOT 93146 SOS 44524 HAS SOPS 41874 HAS SOUS 20884 HAS SOUPS 19742 WITH SCORE 19786.524
AT ITER 1755 NEW BEST:: SOT 93168 SOS 44530 HAS SOPS 41886 HAS SOUS 20880 HAS SOUPS 19738 WITH SCORE 19782.53
AT ITER 1757 NEW BEST:: SOT 93162 SOS 44494 HAS SOPS 41874 HAS SOUS 20808 HAS SOUPS 19666 WITH SCORE 19710.494
AT ITER 1793 NEW BEST:: SOT 93067 SOS 44400 HAS SOPS 41777 HAS SOUS 20803 HAS SOUPS 19661 WITH SCORE 19705.4
AT ITER 1807 NEW BEST:: SOT 93065 SOS 44396 HAS SOPS 41773 HAS SOUS 20799 HAS SOUPS 19657 WITH SCORE 19701.396
AT ITER 1817 NEW BEST:: SOT 93192 SOS 44453 HAS SOPS 41830 HAS SOUS 20793 HAS SOUPS 19651 WITH SCORE 19695.453
AT ITER 1820 NEW BEST:: SOT 93192 SOS 44451 HAS SOPS 41828 HAS SOUS 20791 HAS SOUPS 19649 WITH SCORE 19693.451
AT ITER 1821 NEW BEST:: SOT 93197 SOS 44403 HAS SOPS 41780 HAS SOUS 20694 HAS SOUPS 19552 WITH SCORE 19596.403
AT ITER 1823 NEW BEST:: SOT 93185 SOS 44391 HAS SOPS 41768 HAS SOUS 20694 HAS SOUPS 19552 WITH SCORE 19596.391
AT ITER 1832 NEW BEST:: SOT 93153 SOS 44359 HAS SOPS 41720 HAS SOUS 20678 HAS SOUPS 19536 WITH SCORE 19580.359
AT ITER 1842 NEW BEST:: SOT 93271 SOS 44443 HAS SOPS 41883 HAS SOUS 20675 HAS SOUPS 19533 WITH SCORE 19577.443
AT ITER 1850 NEW BEST:: SOT 93251 SOS 44383 HAS SOPS 41823 HAS SOUS 20635 HAS SOUPS 19493 WITH SCORE 19537.383
AT ITER 1851 NEW BEST:: SOT 93251 SOS 44360 HAS SOPS 41823 HAS SOUS 20609 HAS SOUPS 19467 WITH SCORE 19511.36
AT ITER 1857 NEW BEST:: SOT 93259 SOS 44418 HAS SOPS 41881 HAS SOUS 20603 HAS SOUPS 19461 WITH SCORE 19505.418
AT ITER 1891 NEW BEST:: SOT 93300 SOS 44453 HAS SOPS 41916 HAS SOUS 20589 HAS SOUPS 19447 WITH SCORE 19491.453
AT ITER 1907 NEW BEST:: SOT 93297 SOS 44427 HAS SOPS 41894 HAS SOUS 20553 HAS SOUPS 19427 WITH SCORE 19471.427
AT ITER 1910 NEW BEST:: SOT 93263 SOS 44375 HAS SOPS 41842 HAS SOUS 20499 HAS SOUPS 19373 WITH SCORE 19417.375
AT ITER 1933 NEW BEST:: SOT 93253 SOS 44043 HAS SOPS 41510 HAS SOUS 20489 HAS SOUPS 19363 WITH SCORE 19407.043
AT ITER 1966 NEW BEST:: SOT 93269 SOS 44039 HAS SOPS 41465 HAS SOUS 20400 HAS SOUPS 19274 WITH SCORE 19318.039
AT ITER 2034 NEW BEST:: SOT 93368 SOS 44085 HAS SOPS 41552 HAS SOUS 20352 HAS SOUPS 19226 WITH SCORE 19270.085
AT ITER 2037 NEW BEST:: SOT 93346 SOS 44062 HAS SOPS 41485 HAS SOUS 20296 HAS SOUPS 19170 WITH SCORE 19214.062
AT ITER 2039 NEW BEST:: SOT 93345 SOS 44061 HAS SOPS 41485 HAS SOUS 20295 HAS SOUPS 19169 WITH SCORE 19213.061
AT ITER 2040 NEW BEST:: SOT 93342 SOS 44058 HAS SOPS 41483 HAS SOUS 20293 HAS SOUPS 19167 WITH SCORE 19211.058
AT ITER 2044 NEW BEST:: SOT 93336 SOS 44052 HAS SOPS 41485 HAS SOUS 20288 HAS SOUPS 19162 WITH SCORE 19206.052
AT ITER 2051 NEW BEST:: SOT 93345 SOS 43974 HAS SOPS 41407 HAS SOUS 20258 HAS SOUPS 19132 WITH SCORE 19175.974
AT ITER 2083 NEW BEST:: SOT 93337 SOS 43958 HAS SOPS 41391 HAS SOUS 20256 HAS SOUPS 19130 WITH SCORE 19173.958
AT ITER 2089 NEW BEST:: SOT 93333 SOS 43950 HAS SOPS 41383 HAS SOUS 20248 HAS SOUPS 19122 WITH SCORE 19165.95
AT ITER 2100 NEW BEST:: SOT 93325 SOS 43926 HAS SOPS 41359 HAS SOUS 20232 HAS SOUPS 19106 WITH SCORE 19149.926
AT ITER 2107 NEW BEST:: SOT 93411 SOS 43985 HAS SOPS 41418 HAS SOUS 20200 HAS SOUPS 19074 WITH SCORE 19117.985
AT ITER 2124 NEW BEST:: SOT 93394 SOS 43928 HAS SOPS 41384 HAS SOUS 20166 HAS SOUPS 19040 WITH SCORE 19083.928
AT ITER 2127 NEW BEST:: SOT 93253 SOS 43798 HAS SOPS 41159 HAS SOUS 20057 HAS SOUPS 18907 WITH SCORE 18950.798
AT ITER 2129 NEW BEST:: SOT 93197 SOS 43737 HAS SOPS 41098 HAS SOUS 20052 HAS SOUPS 18902 WITH SCORE 18945.737
AT ITER 2137 NEW BEST:: SOT 93197 SOS 43737 HAS SOPS 41098 HAS SOUS 20048 HAS SOUPS 18898 WITH SCORE 18941.737
AT ITER 2146 NEW BEST:: SOT 93197 SOS 43480 HAS SOPS 40841 HAS SOUS 19999 HAS SOUPS 18849 WITH SCORE 18892.48
AT ITER 2170 NEW BEST:: SOT 93128 SOS 43374 HAS SOPS 40751 HAS SOUS 19895 HAS SOUPS 18745 WITH SCORE 18788.374
AT ITER 2182 NEW BEST:: SOT 93114 SOS 43334 HAS SOPS 40710 HAS SOUS 19867 HAS SOUPS 18717 WITH SCORE 18760.334
AT ITER 2202 NEW BEST:: SOT 93100 SOS 43194 HAS SOPS 40570 HAS SOUS 19839 HAS SOUPS 18689 WITH SCORE 18732.194
AT ITER 2220 NEW BEST:: SOT 93081 SOS 43137 HAS SOPS 40513 HAS SOUS 19801 HAS SOUPS 18651 WITH SCORE 18694.137
AT ITER 2232 NEW BEST:: SOT 93081 SOS 43112 HAS SOPS 40513 HAS SOUS 19801 HAS SOUPS 18651 WITH SCORE 18694.112
AT ITER 2241 NEW BEST:: SOT 93048 SOS 43075 HAS SOPS 40476 HAS SOUS 19682 HAS SOUPS 18532 WITH SCORE 18575.075
AT ITER 2251 NEW BEST:: SOT 92960 SOS 43088 HAS SOPS 40367 HAS SOUS 19697 HAS SOUPS 18526 WITH SCORE 18569.088
AT ITER 2263 NEW BEST:: SOT 92950 SOS 43078 HAS SOPS 40352 HAS SOUS 19682 HAS SOUPS 18511 WITH SCORE 18554.078
AT ITER 2264 NEW BEST:: SOT 92950 SOS 42968 HAS SOPS 40242 HAS SOUS 19682 HAS SOUPS 18511 WITH SCORE 18553.968
AT ITER 2266 NEW BEST:: SOT 92896 SOS 42914 HAS SOPS 40188 HAS SOUS 19601 HAS SOUPS 18430 WITH SCORE 18472.914
AT ITER 2273 NEW BEST:: SOT 92904 SOS 42922 HAS SOPS 40196 HAS SOUS 19593 HAS SOUPS 18422 WITH SCORE 18464.922
AT ITER 2280 NEW BEST:: SOT 92904 SOS 42922 HAS SOPS 40196 HAS SOUS 19586 HAS SOUPS 18415 WITH SCORE 18457.922
AT ITER 2285 NEW BEST:: SOT 92725 SOS 42953 HAS SOPS 39984 HAS SOUS 19461 HAS SOUPS 18256 WITH SCORE 18298.953
AT ITER 2297 NEW BEST:: SOT 92718 SOS 42918 HAS SOPS 39949 HAS SOUS 19426 HAS SOUPS 18221 WITH SCORE 18263.918
AT ITER 2314 NEW BEST:: SOT 92810 SOS 42990 HAS SOPS 40021 HAS SOUS 19411 HAS SOUPS 18206 WITH SCORE 18248.99
AT ITER 2318 NEW BEST:: SOT 92767 SOS 42929 HAS SOPS 39960 HAS SOUS 19370 HAS SOUPS 18165 WITH SCORE 18207.929
AT ITER 2327 NEW BEST:: SOT 92582 SOS 42908 HAS SOPS 39772 HAS SOUS 19383 HAS SOUPS 18142 WITH SCORE 18184.908
AT ITER 2335 NEW BEST:: SOT 92571 SOS 42797 HAS SOPS 39616 HAS SOUS 19324 HAS SOUPS 18083 WITH SCORE 18125.797
AT ITER 2352 NEW BEST:: SOT 92513 SOS 42681 HAS SOPS 39500 HAS SOUS 19149 HAS SOUPS 17908 WITH SCORE 17950.681
AT ITER 2382 NEW BEST:: SOT 92511 SOS 42677 HAS SOPS 39496 HAS SOUS 19149 HAS SOUPS 17908 WITH SCORE 17950.677
AT ITER 2388 NEW BEST:: SOT 92509 SOS 42675 HAS SOPS 39494 HAS SOUS 19146 HAS SOUPS 17905 WITH SCORE 17947.675
AT ITER 2390 NEW BEST:: SOT 92494 SOS 42658 HAS SOPS 39477 HAS SOUS 19129 HAS SOUPS 17888 WITH SCORE 17930.658
AT ITER 2397 NEW BEST:: SOT 92478 SOS 42642 HAS SOPS 39461 HAS SOUS 19097 HAS SOUPS 17856 WITH SCORE 17898.642
AT ITER 2401 NEW BEST:: SOT 92450 SOS 42628 HAS SOPS 39447 HAS SOUS 19097 HAS SOUPS 17856 WITH SCORE 17898.628
AT ITER 2403 NEW BEST:: SOT 92466 SOS 42626 HAS SOPS 39461 HAS SOUS 19075 HAS SOUPS 17834 WITH SCORE 17876.626
AT ITER 2415 NEW BEST:: SOT 92408 SOS 42420 HAS SOPS 39255 HAS SOUS 18959 HAS SOUPS 17718 WITH SCORE 17760.42
AT ITER 2416 NEW BEST:: SOT 92377 SOS 42358 HAS SOPS 39193 HAS SOUS 18959 HAS SOUPS 17718 WITH SCORE 17760.358
AT ITER 2426 NEW BEST:: SOT 92367 SOS 42348 HAS SOPS 39183 HAS SOUS 18959 HAS SOUPS 17718 WITH SCORE 17760.348
AT ITER 2432 NEW BEST:: SOT 92347 SOS 42328 HAS SOPS 39163 HAS SOUS 18949 HAS SOUPS 17708 WITH SCORE 17750.328
AT ITER 2460 NEW BEST:: SOT 92347 SOS 42316 HAS SOPS 39163 HAS SOUS 18949 HAS SOUPS 17708 WITH SCORE 17750.316
AT ITER 2463 NEW BEST:: SOT 92329 SOS 42298 HAS SOPS 39145 HAS SOUS 18931 HAS SOUPS 17690 WITH SCORE 17732.298
AT ITER 2468 NEW BEST:: SOT 92441 SOS 42377 HAS SOPS 39203 HAS SOUS 18847 HAS SOUPS 17606 WITH SCORE 17648.377
AT ITER 2469 NEW BEST:: SOT 92261 SOS 42047 HAS SOPS 38843 HAS SOUS 18704 HAS SOUPS 17463 WITH SCORE 17505.047
AT ITER 2482 NEW BEST:: SOT 92246 SOS 42034 HAS SOPS 38811 HAS SOUS 18676 HAS SOUPS 17431 WITH SCORE 17473.034
AT ITER 2486 NEW BEST:: SOT 92244 SOS 41997 HAS SOPS 38765 HAS SOUS 18658 HAS SOUPS 17413 WITH SCORE 17454.997
AT ITER 2487 NEW BEST:: SOT 92245 SOS 41998 HAS SOPS 38766 HAS SOUS 18657 HAS SOUPS 17412 WITH SCORE 17453.998
AT ITER 2532 NEW BEST:: SOT 92220 SOS 41979 HAS SOPS 38747 HAS SOUS 18638 HAS SOUPS 17393 WITH SCORE 17434.979
AT ITER 2555 NEW BEST:: SOT 92220 SOS 41991 HAS SOPS 38759 HAS SOUS 18538 HAS SOUPS 17293 WITH SCORE 17334.991
AT ITER 2566 NEW BEST:: SOT 92203 SOS 41974 HAS SOPS 38742 HAS SOUS 18521 HAS SOUPS 17276 WITH SCORE 17317.974
AT ITER 2572 NEW BEST:: SOT 92124 SOS 41544 HAS SOPS 38332 HAS SOUS 18510 HAS SOUPS 17265 WITH SCORE 17306.544
AT ITER 2576 NEW BEST:: SOT 92149 SOS 41514 HAS SOPS 38357 HAS SOUS 18480 HAS SOUPS 17243 WITH SCORE 17284.514
AT ITER 2593 NEW BEST:: SOT 92199 SOS 41508 HAS SOPS 38351 HAS SOUS 18387 HAS SOUPS 17150 WITH SCORE 17191.508
AT ITER 2596 NEW BEST:: SOT 92197 SOS 41506 HAS SOPS 38347 HAS SOUS 18383 HAS SOUPS 17146 WITH SCORE 17187.506
AT ITER 2613 NEW BEST:: SOT 92224 SOS 41685 HAS SOPS 38526 HAS SOUS 18372 HAS SOUPS 17135 WITH SCORE 17176.685
AT ITER 2615 NEW BEST:: SOT 92222 SOS 41683 HAS SOPS 38524 HAS SOUS 18369 HAS SOUPS 17132 WITH SCORE 17173.683
AT ITER 2621 NEW BEST:: SOT 92081 SOS 40811 HAS SOPS 37652 HAS SOUS 18344 HAS SOUPS 17107 WITH SCORE 17147.811
AT ITER 2653 NEW BEST:: SOT 92139 SOS 40869 HAS SOPS 37710 HAS SOUS 18334 HAS SOUPS 17097 WITH SCORE 17137.869
AT ITER 2667 NEW BEST:: SOT 92109 SOS 40839 HAS SOPS 37644 HAS SOUS 18271 HAS SOUPS 17034 WITH SCORE 17074.839
AT ITER 2677 NEW BEST:: SOT 92059 SOS 41080 HAS SOPS 37834 HAS SOUS 18279 HAS SOUPS 17025 WITH SCORE 17066.08
AT ITER 2693 NEW BEST:: SOT 92038 SOS 41281 HAS SOPS 38008 HAS SOUS 18245 HAS SOUPS 16991 WITH SCORE 17032.281
AT ITER 2700 NEW BEST:: SOT 91950 SOS 41293 HAS SOPS 37900 HAS SOUS 18233 HAS SOUPS 16959 WITH SCORE 17000.293
AT ITER 2701 NEW BEST:: SOT 91950 SOS 41292 HAS SOPS 37899 HAS SOUS 18230 HAS SOUPS 16956 WITH SCORE 16997.292
AT ITER 2716 NEW BEST:: SOT 91906 SOS 41229 HAS SOPS 37836 HAS SOUS 18202 HAS SOUPS 16928 WITH SCORE 16969.229
AT ITER 2725 NEW BEST:: SOT 91895 SOS 41196 HAS SOPS 37814 HAS SOUS 18180 HAS SOUPS 16906 WITH SCORE 16947.196
AT ITER 2744 NEW BEST:: SOT 91867 SOS 41156 HAS SOPS 37778 HAS SOUS 18176 HAS SOUPS 16902 WITH SCORE 16943.156
AT ITER 2747 NEW BEST:: SOT 91917 SOS 41151 HAS SOPS 37773 HAS SOUS 18049 HAS SOUPS 16775 WITH SCORE 16816.151
AT ITER 2773 NEW BEST:: SOT 91918 SOS 41160 HAS SOPS 37782 HAS SOUS 18048 HAS SOUPS 16774 WITH SCORE 16815.16
AT ITER 2778 NEW BEST:: SOT 91914 SOS 41152 HAS SOPS 37774 HAS SOUS 18047 HAS SOUPS 16773 WITH SCORE 16814.152
AT ITER 2780 NEW BEST:: SOT 92002 SOS 41213 HAS SOPS 37835 HAS SOUS 18036 HAS SOUPS 16762 WITH SCORE 16803.213
AT ITER 2781 NEW BEST:: SOT 91978 SOS 41189 HAS SOPS 37811 HAS SOUS 18024 HAS SOUPS 16750 WITH SCORE 16791.189
AT ITER 2782 NEW BEST:: SOT 91946 SOS 41157 HAS SOPS 37738 HAS SOUS 17960 HAS SOUPS 16686 WITH SCORE 16727.157
AT ITER 2798 NEW BEST:: SOT 91912 SOS 41125 HAS SOPS 37704 HAS SOUS 17946 HAS SOUPS 16672 WITH SCORE 16713.125
AT ITER 2803 NEW BEST:: SOT 91892 SOS 41105 HAS SOPS 37684 HAS SOUS 17863 HAS SOUPS 16589 WITH SCORE 16630.105
AT ITER 2808 NEW BEST:: SOT 91886 SOS 40975 HAS SOPS 37566 HAS SOUS 17859 HAS SOUPS 16585 WITH SCORE 16625.975
AT ITER 2816 NEW BEST:: SOT 91886 SOS 40975 HAS SOPS 37566 HAS SOUS 17849 HAS SOUPS 16575 WITH SCORE 16615.975
AT ITER 2819 NEW BEST:: SOT 91876 SOS 40859 HAS SOPS 37450 HAS SOUS 17829 HAS SOUPS 16555 WITH SCORE 16595.859
AT ITER 2825 NEW BEST:: SOT 91796 SOS 40766 HAS SOPS 37357 HAS SOUS 17816 HAS SOUPS 16542 WITH SCORE 16582.766
AT ITER 2828 NEW BEST:: SOT 91888 SOS 40826 HAS SOPS 37387 HAS SOUS 17721 HAS SOUPS 16447 WITH SCORE 16487.826
AT ITER 2864 NEW BEST:: SOT 91792 SOS 40666 HAS SOPS 37195 HAS SOUS 17625 HAS SOUPS 16351 WITH SCORE 16391.666
AT ITER 2876 NEW BEST:: SOT 91784 SOS 40663 HAS SOPS 37187 HAS SOUS 17622 HAS SOUPS 16347 WITH SCORE 16387.663
AT ITER 2878 NEW BEST:: SOT 91747 SOS 40587 HAS SOPS 37111 HAS SOUS 17552 HAS SOUPS 16277 WITH SCORE 16317.587
AT ITER 2879 NEW BEST:: SOT 91733 SOS 40447 HAS SOPS 36971 HAS SOUS 17538 HAS SOUPS 16263 WITH SCORE 16303.447
AT ITER 2889 NEW BEST:: SOT 91733 SOS 40447 HAS SOPS 36971 HAS SOUS 17498 HAS SOUPS 16223 WITH SCORE 16263.447
AT ITER 2919 NEW BEST:: SOT 91729 SOS 40443 HAS SOPS 36967 HAS SOUS 17496 HAS SOUPS 16221 WITH SCORE 16261.443
AT ITER 2924 NEW BEST:: SOT 91691 SOS 40386 HAS SOPS 36910 HAS SOUS 17477 HAS SOUPS 16202 WITH SCORE 16242.386
AT ITER 2934 NEW BEST:: SOT 91689 SOS 40382 HAS SOPS 36906 HAS SOUS 17473 HAS SOUPS 16198 WITH SCORE 16238.382
AT ITER 2946 NEW BEST:: SOT 91689 SOS 40382 HAS SOPS 36906 HAS SOUS 17472 HAS SOUPS 16197 WITH SCORE 16237.382
AT ITER 2968 NEW BEST:: SOT 91662 SOS 40355 HAS SOPS 36852 HAS SOUS 17421 HAS SOUPS 16143 WITH SCORE 16183.355
AT ITER 2976 NEW BEST:: SOT 91661 SOS 40353 HAS SOPS 36851 HAS SOUS 17437 HAS SOUPS 16142 WITH SCORE 16182.353
AT ITER 3008 NEW BEST:: SOT 91650 SOS 40320 HAS SOPS 36818 HAS SOUS 17415 HAS SOUPS 16120 WITH SCORE 16160.32
AT ITER 3042 NEW BEST:: SOT 91671 SOS 40341 HAS SOPS 36839 HAS SOUS 17394 HAS SOUPS 16099 WITH SCORE 16139.341
AT ITER 3067 NEW BEST:: SOT 91666 SOS 40240 HAS SOPS 36738 HAS SOUS 17368 HAS SOUPS 16073 WITH SCORE 16113.24
AT ITER 3068 NEW BEST:: SOT 91664 SOS 40236 HAS SOPS 36734 HAS SOUS 17364 HAS SOUPS 16069 WITH SCORE 16109.236
AT ITER 3078 NEW BEST:: SOT 91638 SOS 39893 HAS SOPS 36286 HAS SOUS 17353 HAS SOUPS 16058 WITH SCORE 16097.893
AT ITER 3080 NEW BEST:: SOT 91639 SOS 39891 HAS SOPS 36284 HAS SOUS 17343 HAS SOUPS 16048 WITH SCORE 16087.891
AT ITER 3082 NEW BEST:: SOT 91649 SOS 39883 HAS SOPS 36276 HAS SOUS 17325 HAS SOUPS 16030 WITH SCORE 16069.883
AT ITER 3092 NEW BEST:: SOT 91742 SOS 39976 HAS SOPS 36369 HAS SOUS 17282 HAS SOUPS 15987 WITH SCORE 16026.976
AT ITER 3096 NEW BEST:: SOT 91742 SOS 39972 HAS SOPS 36365 HAS SOUS 17270 HAS SOUPS 15975 WITH SCORE 16014.972
AT ITER 3105 NEW BEST:: SOT 91742 SOS 39971 HAS SOPS 36364 HAS SOUS 17269 HAS SOUPS 15974 WITH SCORE 16013.971
AT ITER 3115 NEW BEST:: SOT 91823 SOS 40006 HAS SOPS 36399 HAS SOUS 17261 HAS SOUPS 15966 WITH SCORE 16006.006
AT ITER 3135 NEW BEST:: SOT 91822 SOS 40005 HAS SOPS 36397 HAS SOUS 17260 HAS SOUPS 15964 WITH SCORE 16004.005
AT ITER 3149 NEW BEST:: SOT 91844 SOS 40013 HAS SOPS 36405 HAS SOUS 17251 HAS SOUPS 15955 WITH SCORE 15995.013
AT ITER 3199 NEW BEST:: SOT 91832 SOS 39990 HAS SOPS 36382 HAS SOUS 17228 HAS SOUPS 15932 WITH SCORE 15971.99
AT ITER 3209 NEW BEST:: SOT 91804 SOS 39962 HAS SOPS 36354 HAS SOUS 17201 HAS SOUPS 15905 WITH SCORE 15944.962
AT ITER 3220 NEW BEST:: SOT 91804 SOS 39962 HAS SOPS 36346 HAS SOUS 17177 HAS SOUPS 15881 WITH SCORE 15920.962
AT ITER 3237 NEW BEST:: SOT 91734 SOS 39805 HAS SOPS 36209 HAS SOUS 17143 HAS SOUPS 15847 WITH SCORE 15886.805
AT ITER 3269 NEW BEST:: SOT 91704 SOS 39775 HAS SOPS 36181 HAS SOUS 17099 HAS SOUPS 15803 WITH SCORE 15842.775
AT ITER 3271 NEW BEST:: SOT 91683 SOS 39733 HAS SOPS 36139 HAS SOUS 17085 HAS SOUPS 15789 WITH SCORE 15828.733
AT ITER 3312 NEW BEST:: SOT 91680 SOS 39727 HAS SOPS 36133 HAS SOUS 17079 HAS SOUPS 15783 WITH SCORE 15822.727
AT ITER 3322 NEW BEST:: SOT 91611 SOS 39642 HAS SOPS 36048 HAS SOUS 17074 HAS SOUPS 15778 WITH SCORE 15817.642
AT ITER 3325 NEW BEST:: SOT 91509 SOS 39591 HAS SOPS 35997 HAS SOUS 17074 HAS SOUPS 15778 WITH SCORE 15817.591
AT ITER 3327 NEW BEST:: SOT 91509 SOS 39571 HAS SOPS 35977 HAS SOUS 17014 HAS SOUPS 15718 WITH SCORE 15757.571
AT ITER 3337 NEW BEST:: SOT 91508 SOS 39570 HAS SOPS 35975 HAS SOUS 17014 HAS SOUPS 15717 WITH SCORE 15756.57
AT ITER 3348 NEW BEST:: SOT 91508 SOS 39900 HAS SOPS 36305 HAS SOUS 16992 HAS SOUPS 15695 WITH SCORE 15734.9
AT ITER 3353 NEW BEST:: SOT 91523 SOS 39931 HAS SOPS 36332 HAS SOUS 16903 HAS SOUPS 15606 WITH SCORE 15645.931
AT ITER 3354 NEW BEST:: SOT 91503 SOS 39911 HAS SOPS 36312 HAS SOUS 16903 HAS SOUPS 15606 WITH SCORE 15645.911
AT ITER 3369 NEW BEST:: SOT 91505 SOS 39913 HAS SOPS 36307 HAS SOUS 16880 HAS SOUPS 15583 WITH SCORE 15622.913
AT ITER 3370 NEW BEST:: SOT 91540 SOS 39913 HAS SOPS 36342 HAS SOUS 16845 HAS SOUPS 15548 WITH SCORE 15587.913
AT ITER 3374 NEW BEST:: SOT 91528 SOS 39805 HAS SOPS 36234 HAS SOUS 16832 HAS SOUPS 15535 WITH SCORE 15574.805
AT ITER 3377 NEW BEST:: SOT 91523 SOS 39795 HAS SOPS 36224 HAS SOUS 16822 HAS SOUPS 15525 WITH SCORE 15564.795
AT ITER 3383 NEW BEST:: SOT 91531 SOS 39803 HAS SOPS 36232 HAS SOUS 16818 HAS SOUPS 15521 WITH SCORE 15560.803
AT ITER 3403 NEW BEST:: SOT 91528 SOS 39800 HAS SOPS 36229 HAS SOUS 16815 HAS SOUPS 15518 WITH SCORE 15557.8
AT ITER 3405 NEW BEST:: SOT 91503 SOS 39770 HAS SOPS 36176 HAS SOUS 16803 HAS SOUPS 15502 WITH SCORE 15541.77
AT ITER 3406 NEW BEST:: SOT 91495 SOS 39754 HAS SOPS 36160 HAS SOUS 16795 HAS SOUPS 15494 WITH SCORE 15533.754
AT ITER 3408 NEW BEST:: SOT 91495 SOS 39754 HAS SOPS 36160 HAS SOUS 16778 HAS SOUPS 15477 WITH SCORE 15516.754
AT ITER 3429 NEW BEST:: SOT 91525 SOS 39784 HAS SOPS 36193 HAS SOUS 16757 HAS SOUPS 15456 WITH SCORE 15495.784
AT ITER 3437 NEW BEST:: SOT 91518 SOS 39714 HAS SOPS 36123 HAS SOUS 16743 HAS SOUPS 15442 WITH SCORE 15481.714
AT ITER 3440 NEW BEST:: SOT 91490 SOS 40059 HAS SOPS 36468 HAS SOUS 16720 HAS SOUPS 15419 WITH SCORE 15459.059
AT ITER 3471 NEW BEST:: SOT 91509 SOS 40078 HAS SOPS 36487 HAS SOUS 16701 HAS SOUPS 15400 WITH SCORE 15440.078
AT ITER 3483 NEW BEST:: SOT 91501 SOS 40070 HAS SOPS 36483 HAS SOUS 16701 HAS SOUPS 15400 WITH SCORE 15440.07
AT ITER 3484 NEW BEST:: SOT 91544 SOS 40113 HAS SOPS 36526 HAS SOUS 16698 HAS SOUPS 15397 WITH SCORE 15437.113
AT ITER 3493 NEW BEST:: SOT 91628 SOS 40154 HAS SOPS 36567 HAS SOUS 16651 HAS SOUPS 15350 WITH SCORE 15390.154
AT ITER 3497 NEW BEST:: SOT 91619 SOS 40145 HAS SOPS 36558 HAS SOUS 16642 HAS SOUPS 15341 WITH SCORE 15381.145
AT ITER 3501 NEW BEST:: SOT 91618 SOS 40132 HAS SOPS 36550 HAS SOUS 16640 HAS SOUPS 15339 WITH SCORE 15379.132
AT ITER 3504 NEW BEST:: SOT 91597 SOS 40111 HAS SOPS 36529 HAS SOUS 16633 HAS SOUPS 15332 WITH SCORE 15372.111
AT ITER 3516 NEW BEST:: SOT 91596 SOS 40110 HAS SOPS 36528 HAS SOUS 16632 HAS SOUPS 15331 WITH SCORE 15371.11
AT ITER 3520 NEW BEST:: SOT 91615 SOS 40095 HAS SOPS 36513 HAS SOUS 16599 HAS SOUPS 15298 WITH SCORE 15338.095
AT ITER 3537 NEW BEST:: SOT 91584 SOS 40046 HAS SOPS 36466 HAS SOUS 16585 HAS SOUPS 15284 WITH SCORE 15324.046
AT ITER 3539 NEW BEST:: SOT 91560 SOS 40022 HAS SOPS 36418 HAS SOUS 16585 HAS SOUPS 15284 WITH SCORE 15324.022
AT ITER 3548 NEW BEST:: SOT 91428 SOS 39949 HAS SOPS 36269 HAS SOUS 16488 HAS SOUPS 15170 WITH SCORE 15209.949
AT ITER 3555 NEW BEST:: SOT 91365 SOS 39940 HAS SOPS 36203 HAS SOUS 16467 HAS SOUPS 15140 WITH SCORE 15179.94
AT ITER 3562 NEW BEST:: SOT 91365 SOS 39929 HAS SOPS 36192 HAS SOUS 16456 HAS SOUPS 15129 WITH SCORE 15168.929
AT ITER 3612 NEW BEST:: SOT 91327 SOS 39860 HAS SOPS 36147 HAS SOUS 16384 HAS SOUPS 15057 WITH SCORE 15096.86
AT ITER 3625 NEW BEST:: SOT 91426 SOS 39916 HAS SOPS 36246 HAS SOUS 16369 HAS SOUPS 15042 WITH SCORE 15081.916
AT ITER 3669 NEW BEST:: SOT 91377 SOS 40000 HAS SOPS 36304 HAS SOUS 16355 HAS SOUPS 15028 WITH SCORE 15068.0
AT ITER 3699 NEW BEST:: SOT 91359 SOS 39964 HAS SOPS 36268 HAS SOUS 16319 HAS SOUPS 14992 WITH SCORE 15031.964
AT ITER 3713 NEW BEST:: SOT 91347 SOS 39748 HAS SOPS 36064 HAS SOUS 16319 HAS SOUPS 14992 WITH SCORE 15031.748
AT ITER 3717 NEW BEST:: SOT 91340 SOS 39744 HAS SOPS 36067 HAS SOUS 16315 HAS SOUPS 14988 WITH SCORE 15027.744
AT ITER 3722 NEW BEST:: SOT 91414 SOS 39790 HAS SOPS 36101 HAS SOUS 16296 HAS SOUPS 14969 WITH SCORE 15008.79
AT ITER 3739 NEW BEST:: SOT 91480 SOS 39816 HAS SOPS 36127 HAS SOUS 16273 HAS SOUPS 14946 WITH SCORE 14985.816
AT ITER 3745 NEW BEST:: SOT 91471 SOS 39735 HAS SOPS 36046 HAS SOUS 16264 HAS SOUPS 14937 WITH SCORE 14976.735
AT ITER 3789 NEW BEST:: SOT 91463 SOS 39719 HAS SOPS 36030 HAS SOUS 16248 HAS SOUPS 14921 WITH SCORE 14960.719
AT ITER 3792 NEW BEST:: SOT 91423 SOS 39689 HAS SOPS 36000 HAS SOUS 16236 HAS SOUPS 14909 WITH SCORE 14948.689
AT ITER 3807 NEW BEST:: SOT 91427 SOS 39657 HAS SOPS 35968 HAS SOUS 16236 HAS SOUPS 14909 WITH SCORE 14948.657
AT ITER 3821 NEW BEST:: SOT 91494 SOS 39736 HAS SOPS 36047 HAS SOUS 16205 HAS SOUPS 14878 WITH SCORE 14917.736
AT ITER 3849 NEW BEST:: SOT 91477 SOS 39734 HAS SOPS 36030 HAS SOUS 16199 HAS SOUPS 14869 WITH SCORE 14908.734
AT ITER 3868 NEW BEST:: SOT 91469 SOS 39727 HAS SOPS 36023 HAS SOUS 16192 HAS SOUPS 14862 WITH SCORE 14901.727
AT ITER 3901 NEW BEST:: SOT 91476 SOS 39400 HAS SOPS 35696 HAS SOUS 16177 HAS SOUPS 14847 WITH SCORE 14886.4
AT ITER 3903 NEW BEST:: SOT 91598 SOS 39418 HAS SOPS 35696 HAS SOUS 16055 HAS SOUPS 14725 WITH SCORE 14764.418
AT ITER 3905 NEW BEST:: SOT 91574 SOS 39298 HAS SOPS 35576 HAS SOUS 16055 HAS SOUPS 14725 WITH SCORE 14764.298
AT ITER 3920 NEW BEST:: SOT 91575 SOS 39277 HAS SOPS 35582 HAS SOUS 16055 HAS SOUPS 14725 WITH SCORE 14764.277
AT ITER 3934 NEW BEST:: SOT 91560 SOS 39264 HAS SOPS 35550 HAS SOUS 16025 HAS SOUPS 14695 WITH SCORE 14734.264
AT ITER 3947 NEW BEST:: SOT 91560 SOS 39263 HAS SOPS 35549 HAS SOUS 16024 HAS SOUPS 14694 WITH SCORE 14733.263
AT ITER 3948 NEW BEST:: SOT 91537 SOS 39284 HAS SOPS 35516 HAS SOUS 16012 HAS SOUPS 14665 WITH SCORE 14704.284
AT ITER 3957 NEW BEST:: SOT 91481 SOS 39253 HAS SOPS 35382 HAS SOUS 15996 HAS SOUPS 14636 WITH SCORE 14675.253
AT ITER 3998 NEW BEST:: SOT 91471 SOS 39163 HAS SOPS 35292 HAS SOUS 15996 HAS SOUPS 14636 WITH SCORE 14675.163
AT ITER 3999 NEW BEST:: SOT 91369 SOS 39061 HAS SOPS 35148 HAS SOUS 15972 HAS SOUPS 14612 WITH SCORE 14651.061
AT ITER 4041 NEW BEST:: SOT 91369 SOS 39047 HAS SOPS 35134 HAS SOUS 15972 HAS SOUPS 14612 WITH SCORE 14651.047
AT ITER 4058 NEW BEST:: SOT 91369 SOS 39041 HAS SOPS 35128 HAS SOUS 15966 HAS SOUPS 14606 WITH SCORE 14645.041
AT ITER 4069 NEW BEST:: SOT 91370 SOS 39050 HAS SOPS 35137 HAS SOUS 15965 HAS SOUPS 14605 WITH SCORE 14644.05
AT ITER 4073 NEW BEST:: SOT 91351 SOS 39126 HAS SOPS 35213 HAS SOUS 15955 HAS SOUPS 14595 WITH SCORE 14634.126
AT ITER 4099 NEW BEST:: SOT 91347 SOS 39120 HAS SOPS 35205 HAS SOUS 15947 HAS SOUPS 14587 WITH SCORE 14626.12
AT ITER 4113 NEW BEST:: SOT 91335 SOS 39108 HAS SOPS 35181 HAS SOUS 15923 HAS SOUPS 14563 WITH SCORE 14602.108
AT ITER 4115 NEW BEST:: SOT 91316 SOS 39070 HAS SOPS 35143 HAS SOUS 15885 HAS SOUPS 14525 WITH SCORE 14564.07
AT ITER 4116 NEW BEST:: SOT 91356 SOS 39294 HAS SOPS 35367 HAS SOUS 15877 HAS SOUPS 14517 WITH SCORE 14556.294
AT ITER 4122 NEW BEST:: SOT 91358 SOS 39298 HAS SOPS 35371 HAS SOUS 15868 HAS SOUPS 14508 WITH SCORE 14547.298
AT ITER 4153 NEW BEST:: SOT 91257 SOS 39347 HAS SOPS 35270 HAS SOUS 15872 HAS SOUPS 14491 WITH SCORE 14530.347
AT ITER 4162 NEW BEST:: SOT 91241 SOS 39323 HAS SOPS 35246 HAS SOUS 15840 HAS SOUPS 14459 WITH SCORE 14498.323
AT ITER 4179 NEW BEST:: SOT 91228 SOS 39310 HAS SOPS 35233 HAS SOUS 15814 HAS SOUPS 14433 WITH SCORE 14472.31
AT ITER 4180 NEW BEST:: SOT 91226 SOS 39314 HAS SOPS 35237 HAS SOUS 15808 HAS SOUPS 14427 WITH SCORE 14466.314
AT ITER 4201 NEW BEST:: SOT 91226 SOS 39307 HAS SOPS 35230 HAS SOUS 15808 HAS SOUPS 14427 WITH SCORE 14466.307
AT ITER 4203 NEW BEST:: SOT 91224 SOS 39323 HAS SOPS 35246 HAS SOUS 15806 HAS SOUPS 14425 WITH SCORE 14464.323
AT ITER 4248 NEW BEST:: SOT 91232 SOS 39317 HAS SOPS 35254 HAS SOUS 15802 HAS SOUPS 14423 WITH SCORE 14462.317
AT ITER 4299 NEW BEST:: SOT 91228 SOS 39309 HAS SOPS 35246 HAS SOUS 15793 HAS SOUPS 14414 WITH SCORE 14453.309
AT ITER 4301 NEW BEST:: SOT 91225 SOS 39300 HAS SOPS 35240 HAS SOUS 15787 HAS SOUPS 14408 WITH SCORE 14447.3
AT ITER 4331 NEW BEST:: SOT 91108 SOS 39411 HAS SOPS 35123 HAS SOUS 15803 HAS SOUPS 14394 WITH SCORE 14433.411
AT ITER 4374 NEW BEST:: SOT 91104 SOS 39403 HAS SOPS 35115 HAS SOUS 15795 HAS SOUPS 14386 WITH SCORE 14425.403
AT ITER 4387 NEW BEST:: SOT 91097 SOS 39414 HAS SOPS 35126 HAS SOUS 15773 HAS SOUPS 14364 WITH SCORE 14403.414
AT ITER 4397 NEW BEST:: SOT 91096 SOS 39413 HAS SOPS 35124 HAS SOUS 15771 HAS SOUPS 14362 WITH SCORE 14401.413
AT ITER 4430 NEW BEST:: SOT 91095 SOS 39412 HAS SOPS 35123 HAS SOUS 15769 HAS SOUPS 14360 WITH SCORE 14399.412
AT ITER 4461 NEW BEST:: SOT 91150 SOS 39467 HAS SOPS 35178 HAS SOUS 15760 HAS SOUPS 14351 WITH SCORE 14390.467
AT ITER 4512 NEW BEST:: SOT 91151 SOS 39459 HAS SOPS 35179 HAS SOUS 15755 HAS SOUPS 14347 WITH SCORE 14386.459
AT ITER 4553 NEW BEST:: SOT 91063 SOS 39352 HAS SOPS 35103 HAS SOUS 15755 HAS SOUPS 14347 WITH SCORE 14386.352
AT ITER 4559 NEW BEST:: SOT 91061 SOS 39348 HAS SOPS 35099 HAS SOUS 15751 HAS SOUPS 14343 WITH SCORE 14382.348
AT ITER 4592 NEW BEST:: SOT 91044 SOS 39307 HAS SOPS 35077 HAS SOUS 15725 HAS SOUPS 14317 WITH SCORE 14356.307
AT ITER 4594 NEW BEST:: SOT 91043 SOS 39289 HAS SOPS 35059 HAS SOUS 15725 HAS SOUPS 14317 WITH SCORE 14356.289
AT ITER 4601 NEW BEST:: SOT 91043 SOS 39294 HAS SOPS 35064 HAS SOUS 15717 HAS SOUPS 14309 WITH SCORE 14348.294
AT ITER 4661 NEW BEST:: SOT 91058 SOS 39345 HAS SOPS 35094 HAS SOUS 15697 HAS SOUPS 14289 WITH SCORE 14328.345
AT ITER 4749 NEW BEST:: SOT 91060 SOS 39347 HAS SOPS 35096 HAS SOUS 15695 HAS SOUPS 14287 WITH SCORE 14326.347
AT ITER 4750 NEW BEST:: SOT 91060 SOS 39329 HAS SOPS 35078 HAS SOUS 15649 HAS SOUPS 14241 WITH SCORE 14280.329
AT ITER 4791 NEW BEST:: SOT 91130 SOS 39377 HAS SOPS 35121 HAS SOUS 15635 HAS SOUPS 14227 WITH SCORE 14266.377
AT ITER 4814 NEW BEST:: SOT 91126 SOS 39369 HAS SOPS 35113 HAS SOUS 15627 HAS SOUPS 14219 WITH SCORE 14258.369
AT ITER 4820 NEW BEST:: SOT 91108 SOS 39351 HAS SOPS 35077 HAS SOUS 15591 HAS SOUPS 14183 WITH SCORE 14222.351
AT ITER 4829 NEW BEST:: SOT 91118 SOS 38881 HAS SOPS 34578 HAS SOUS 15572 HAS SOUPS 14164 WITH SCORE 14202.881
AT ITER 4856 NEW BEST:: SOT 91099 SOS 38938 HAS SOPS 34673 HAS SOUS 15553 HAS SOUPS 14145 WITH SCORE 14183.938
AT ITER 4866 NEW BEST:: SOT 91099 SOS 38937 HAS SOPS 34673 HAS SOUS 15553 HAS SOUPS 14145 WITH SCORE 14183.937
AT ITER 4922 NEW BEST:: SOT 91090 SOS 38928 HAS SOPS 34664 HAS SOUS 15547 HAS SOUPS 14139 WITH SCORE 14177.928
AT ITER 4969 NEW BEST:: SOT 91078 SOS 38882 HAS SOPS 34618 HAS SOUS 15506 HAS SOUPS 14098 WITH SCORE 14136.882
AT ITER 4978 NEW BEST:: SOT 91066 SOS 38870 HAS SOPS 34600 HAS SOUS 15500 HAS SOUPS 14092 WITH SCORE 14130.87
AT ITER 5005 NEW BEST:: SOT 91052 SOS 38856 HAS SOPS 34579 HAS SOUS 15493 HAS SOUPS 14085 WITH SCORE 14123.856
AT ITER 5041 NEW BEST:: SOT 91128 SOS 38856 HAS SOPS 34579 HAS SOUS 15427 HAS SOUPS 14019 WITH SCORE 14057.856
AT ITER 5046 NEW BEST:: SOT 91145 SOS 38865 HAS SOPS 34587 HAS SOUS 15423 HAS SOUPS 14015 WITH SCORE 14053.865
AT ITER 5048 NEW BEST:: SOT 91198 SOS 38891 HAS SOPS 34587 HAS SOUS 15351 HAS SOUPS 13943 WITH SCORE 13981.891
AT ITER 5053 NEW BEST:: SOT 91183 SOS 38616 HAS SOPS 34312 HAS SOUS 15340 HAS SOUPS 13932 WITH SCORE 13970.616
AT ITER 5055 NEW BEST:: SOT 91179 SOS 38612 HAS SOPS 34304 HAS SOUS 15332 HAS SOUPS 13924 WITH SCORE 13962.612
AT ITER 5102 NEW BEST:: SOT 91188 SOS 38486 HAS SOPS 34126 HAS SOUS 15317 HAS SOUPS 13909 WITH SCORE 13947.486
AT ITER 5131 NEW BEST:: SOT 91188 SOS 38474 HAS SOPS 34126 HAS SOUS 15317 HAS SOUPS 13909 WITH SCORE 13947.474
AT ITER 5144 NEW BEST:: SOT 91188 SOS 38468 HAS SOPS 34120 HAS SOUS 15311 HAS SOUPS 13903 WITH SCORE 13941.468
AT ITER 5151 NEW BEST:: SOT 91186 SOS 38466 HAS SOPS 34118 HAS SOUS 15308 HAS SOUPS 13900 WITH SCORE 13938.466
AT ITER 5153 NEW BEST:: SOT 91149 SOS 38766 HAS SOPS 34346 HAS SOUS 15309 HAS SOUPS 13884 WITH SCORE 13922.766
AT ITER 5164 NEW BEST:: SOT 91149 SOS 38750 HAS SOPS 34328 HAS SOUS 15309 HAS SOUPS 13884 WITH SCORE 13922.75
AT ITER 5173 NEW BEST:: SOT 91215 SOS 38781 HAS SOPS 34359 HAS SOUS 15293 HAS SOUPS 13868 WITH SCORE 13906.781
AT ITER 5220 NEW BEST:: SOT 91211 SOS 38776 HAS SOPS 34354 HAS SOUS 15292 HAS SOUPS 13867 WITH SCORE 13905.776
AT ITER 5222 NEW BEST:: SOT 91133 SOS 38763 HAS SOPS 34262 HAS SOUS 15243 HAS SOUPS 13807 WITH SCORE 13845.763
AT ITER 5240 NEW BEST:: SOT 91128 SOS 38751 HAS SOPS 34252 HAS SOUS 15241 HAS SOUPS 13805 WITH SCORE 13843.751
AT ITER 5271 NEW BEST:: SOT 91081 SOS 38634 HAS SOPS 34158 HAS SOUS 15239 HAS SOUPS 13803 WITH SCORE 13841.634
AT ITER 5347 NEW BEST:: SOT 91111 SOS 38634 HAS SOPS 34188 HAS SOUS 15209 HAS SOUPS 13773 WITH SCORE 13811.634
AT ITER 5359 NEW BEST:: SOT 91096 SOS 38619 HAS SOPS 34150 HAS SOUS 15179 HAS SOUPS 13743 WITH SCORE 13781.619
AT ITER 5363 NEW BEST:: SOT 91048 SOS 38631 HAS SOPS 34102 HAS SOUS 15172 HAS SOUPS 13726 WITH SCORE 13764.631
AT ITER 5401 NEW BEST:: SOT 91050 SOS 38651 HAS SOPS 34120 HAS SOUS 15170 HAS SOUPS 13724 WITH SCORE 13762.651
AT ITER 5420 NEW BEST:: SOT 91048 SOS 38649 HAS SOPS 34116 HAS SOUS 15166 HAS SOUPS 13720 WITH SCORE 13758.649
AT ITER 5476 NEW BEST:: SOT 91056 SOS 38644 HAS SOPS 34111 HAS SOUS 15139 HAS SOUPS 13693 WITH SCORE 13731.644
AT ITER 5522 NEW BEST:: SOT 91037 SOS 38627 HAS SOPS 34103 HAS SOUS 15117 HAS SOUPS 13671 WITH SCORE 13709.627
AT ITER 5544 NEW BEST:: SOT 91037 SOS 38625 HAS SOPS 34103 HAS SOUS 15117 HAS SOUPS 13671 WITH SCORE 13709.625
AT ITER 5547 NEW BEST:: SOT 90983 SOS 38562 HAS SOPS 34045 HAS SOUS 15103 HAS SOUPS 13657 WITH SCORE 13695.562
AT ITER 5558 NEW BEST:: SOT 90975 SOS 38546 HAS SOPS 34029 HAS SOUS 15087 HAS SOUPS 13641 WITH SCORE 13679.546
AT ITER 5625 NEW BEST:: SOT 90952 SOS 38516 HAS SOPS 33990 HAS SOUS 15041 HAS SOUPS 13595 WITH SCORE 13633.516
AT ITER 5675 NEW BEST:: SOT 90928 SOS 38522 HAS SOPS 33966 HAS SOUS 15042 HAS SOUPS 13590 WITH SCORE 13628.522
AT ITER 5693 NEW BEST:: SOT 90859 SOS 38452 HAS SOPS 33730 HAS SOUS 15045 HAS SOUPS 13575 WITH SCORE 13613.452
AT ITER 5704 NEW BEST:: SOT 90847 SOS 38428 HAS SOPS 33706 HAS SOUS 15021 HAS SOUPS 13551 WITH SCORE 13589.428
AT ITER 5710 NEW BEST:: SOT 90854 SOS 38435 HAS SOPS 33713 HAS SOUS 15014 HAS SOUPS 13544 WITH SCORE 13582.435
AT ITER 5718 NEW BEST:: SOT 90890 SOS 38471 HAS SOPS 33756 HAS SOUS 15013 HAS SOUPS 13543 WITH SCORE 13581.471
AT ITER 5732 NEW BEST:: SOT 90873 SOS 38451 HAS SOPS 33736 HAS SOUS 15004 HAS SOUPS 13534 WITH SCORE 13572.451
AT ITER 5738 NEW BEST:: SOT 90923 SOS 38435 HAS SOPS 33770 HAS SOUS 14906 HAS SOUPS 13436 WITH SCORE 13474.435
AT ITER 5742 NEW BEST:: SOT 90975 SOS 38466 HAS SOPS 33793 HAS SOUS 14896 HAS SOUPS 13426 WITH SCORE 13464.466
AT ITER 5753 NEW BEST:: SOT 90973 SOS 38464 HAS SOPS 33789 HAS SOUS 14892 HAS SOUPS 13422 WITH SCORE 13460.464
AT ITER 5754 NEW BEST:: SOT 90963 SOS 38456 HAS SOPS 33781 HAS SOUS 14870 HAS SOUPS 13400 WITH SCORE 13438.456
AT ITER 5767 NEW BEST:: SOT 90990 SOS 38483 HAS SOPS 33811 HAS SOUS 14852 HAS SOUPS 13382 WITH SCORE 13420.483
AT ITER 5779 NEW BEST:: SOT 90988 SOS 38479 HAS SOPS 33807 HAS SOUS 14848 HAS SOUPS 13378 WITH SCORE 13416.479
AT ITER 5800 NEW BEST:: SOT 90988 SOS 38475 HAS SOPS 33803 HAS SOUS 14844 HAS SOUPS 13374 WITH SCORE 13412.475
AT ITER 5806 NEW BEST:: SOT 90956 SOS 38411 HAS SOPS 33739 HAS SOUS 14780 HAS SOUPS 13310 WITH SCORE 13348.411
AT ITER 5808 NEW BEST:: SOT 90957 SOS 38412 HAS SOPS 33740 HAS SOUS 14779 HAS SOUPS 13309 WITH SCORE 13347.412
AT ITER 5845 NEW BEST:: SOT 90957 SOS 38463 HAS SOPS 33791 HAS SOUS 14776 HAS SOUPS 13306 WITH SCORE 13344.463
AT ITER 5864 NEW BEST:: SOT 90955 SOS 38459 HAS SOPS 33787 HAS SOUS 14772 HAS SOUPS 13302 WITH SCORE 13340.459
AT ITER 5871 NEW BEST:: SOT 90949 SOS 38441 HAS SOPS 33769 HAS SOUS 14760 HAS SOUPS 13290 WITH SCORE 13328.441
AT ITER 5895 NEW BEST:: SOT 90935 SOS 38427 HAS SOPS 33755 HAS SOUS 14740 HAS SOUPS 13270 WITH SCORE 13308.427
AT ITER 5925 NEW BEST:: SOT 90926 SOS 38407 HAS SOPS 33748 HAS SOUS 14722 HAS SOUPS 13252 WITH SCORE 13290.407
AT ITER 5989 NEW BEST:: SOT 90925 SOS 38405 HAS SOPS 33746 HAS SOUS 14720 HAS SOUPS 13250 WITH SCORE 13288.405
AT ITER 6006 NEW BEST:: SOT 90911 SOS 38426 HAS SOPS 33788 HAS SOUS 14707 HAS SOUPS 13237 WITH SCORE 13275.426
AT ITER 6077 NEW BEST:: SOT 90925 SOS 38440 HAS SOPS 33802 HAS SOUS 14693 HAS SOUPS 13223 WITH SCORE 13261.44
AT ITER 6096 NEW BEST:: SOT 90923 SOS 38424 HAS SOPS 33786 HAS SOUS 14691 HAS SOUPS 13221 WITH SCORE 13259.424
AT ITER 6098 NEW BEST:: SOT 90957 SOS 38465 HAS SOPS 33808 HAS SOUS 14667 HAS SOUPS 13197 WITH SCORE 13235.465
AT ITER 6101 NEW BEST:: SOT 90952 SOS 38460 HAS SOPS 33784 HAS SOUS 14650 HAS SOUPS 13180 WITH SCORE 13218.46
AT ITER 6120 NEW BEST:: SOT 90942 SOS 38460 HAS SOPS 33754 HAS SOUS 14630 HAS SOUPS 13160 WITH SCORE 13198.46
AT ITER 6139 NEW BEST:: SOT 90936 SOS 38451 HAS SOPS 33745 HAS SOUS 14627 HAS SOUPS 13157 WITH SCORE 13195.451
AT ITER 6186 NEW BEST:: SOT 90927 SOS 38433 HAS SOPS 33727 HAS SOUS 14609 HAS SOUPS 13139 WITH SCORE 13177.433
AT ITER 6223 NEW BEST:: SOT 90824 SOS 38330 HAS SOPS 33570 HAS SOUS 14550 HAS SOUPS 13080 WITH SCORE 13118.33
AT ITER 6245 NEW BEST:: SOT 90832 SOS 38334 HAS SOPS 33574 HAS SOUS 14546 HAS SOUPS 13076 WITH SCORE 13114.334
AT ITER 6330 NEW BEST:: SOT 90814 SOS 38316 HAS SOPS 33556 HAS SOUS 14519 HAS SOUPS 13049 WITH SCORE 13087.316
AT ITER 6382 NEW BEST:: SOT 90813 SOS 38314 HAS SOPS 33554 HAS SOUS 14517 HAS SOUPS 13047 WITH SCORE 13085.314
AT ITER 6384 NEW BEST:: SOT 90795 SOS 38496 HAS SOPS 33685 HAS SOUS 14511 HAS SOUPS 13032 WITH SCORE 13070.496
AT ITER 6393 NEW BEST:: SOT 90782 SOS 38483 HAS SOPS 33659 HAS SOUS 14485 HAS SOUPS 13006 WITH SCORE 13044.483
AT ITER 6395 NEW BEST:: SOT 90823 SOS 38419 HAS SOPS 33557 HAS SOUS 14465 HAS SOUPS 12986 WITH SCORE 13024.419
AT ITER 6406 NEW BEST:: SOT 90816 SOS 38412 HAS SOPS 33557 HAS SOUS 14458 HAS SOUPS 12979 WITH SCORE 13017.412
AT ITER 6474 NEW BEST:: SOT 90815 SOS 38410 HAS SOPS 33555 HAS SOUS 14456 HAS SOUPS 12977 WITH SCORE 13015.41
AT ITER 6477 NEW BEST:: SOT 90702 SOS 38368 HAS SOPS 33210 HAS SOUS 14443 HAS SOUPS 12937 WITH SCORE 12975.368
AT ITER 6478 NEW BEST:: SOT 90700 SOS 38370 HAS SOPS 33244 HAS SOUS 14439 HAS SOUPS 12933 WITH SCORE 12971.37
AT ITER 6484 NEW BEST:: SOT 90746 SOS 38416 HAS SOPS 33290 HAS SOUS 14438 HAS SOUPS 12932 WITH SCORE 12970.416
AT ITER 6606 NEW BEST:: SOT 90615 SOS 37555 HAS SOPS 32436 HAS SOUS 14424 HAS SOUPS 12918 WITH SCORE 12955.555
AT ITER 6716 NEW BEST:: SOT 90581 SOS 37526 HAS SOPS 32436 HAS SOUS 14398 HAS SOUPS 12918 WITH SCORE 12955.526
AT ITER 6729 NEW BEST:: SOT 90566 SOS 37511 HAS SOPS 32436 HAS SOUS 14383 HAS SOUPS 12903 WITH SCORE 12940.511
AT ITER 6794 NEW BEST:: SOT 90562 SOS 37507 HAS SOPS 32432 HAS SOUS 14379 HAS SOUPS 12899 WITH SCORE 12936.507
AT ITER 6805 NEW BEST:: SOT 90545 SOS 37319 HAS SOPS 32235 HAS SOUS 14375 HAS SOUPS 12895 WITH SCORE 12932.319
AT ITER 6815 NEW BEST:: SOT 90537 SOS 37315 HAS SOPS 32231 HAS SOUS 14375 HAS SOUPS 12895 WITH SCORE 12932.315
AT ITER 6834 NEW BEST:: SOT 90536 SOS 37306 HAS SOPS 32222 HAS SOUS 14374 HAS SOUPS 12894 WITH SCORE 12931.306
AT ITER 6863 NEW BEST:: SOT 90522 SOS 37292 HAS SOPS 32194 HAS SOUS 14346 HAS SOUPS 12866 WITH SCORE 12903.292
AT ITER 6909 NEW BEST:: SOT 90606 SOS 37353 HAS SOPS 32300 HAS SOUS 14328 HAS SOUPS 12848 WITH SCORE 12885.353
AT ITER 6920 NEW BEST:: SOT 90612 SOS 37359 HAS SOPS 32306 HAS SOUS 14322 HAS SOUPS 12842 WITH SCORE 12879.359
AT ITER 6935 NEW BEST:: SOT 90612 SOS 37358 HAS SOPS 32305 HAS SOUS 14322 HAS SOUPS 12842 WITH SCORE 12879.358
AT ITER 6943 NEW BEST:: SOT 90612 SOS 37356 HAS SOPS 32303 HAS SOUS 14320 HAS SOUPS 12840 WITH SCORE 12877.356
AT ITER 6977 NEW BEST:: SOT 90570 SOS 37314 HAS SOPS 32242 HAS SOUS 14305 HAS SOUPS 12825 WITH SCORE 12862.314
AT ITER 6984 NEW BEST:: SOT 90572 SOS 37316 HAS SOPS 32244 HAS SOUS 14303 HAS SOUPS 12823 WITH SCORE 12860.316
AT ITER 7065 NEW BEST:: SOT 90549 SOS 37291 HAS SOPS 32219 HAS SOUS 14257 HAS SOUPS 12777 WITH SCORE 12814.291
AT ITER 7075 NEW BEST:: SOT 90547 SOS 37287 HAS SOPS 32215 HAS SOUS 14253 HAS SOUPS 12773 WITH SCORE 12810.287
AT ITER 7076 NEW BEST:: SOT 90535 SOS 37221 HAS SOPS 32155 HAS SOUS 14247 HAS SOUPS 12767 WITH SCORE 12804.221
AT ITER 7096 NEW BEST:: SOT 90512 SOS 37037 HAS SOPS 31971 HAS SOUS 14242 HAS SOUPS 12762 WITH SCORE 12799.037
AT ITER 7112 NEW BEST:: SOT 90509 SOS 37029 HAS SOPS 31965 HAS SOUS 14236 HAS SOUPS 12756 WITH SCORE 12793.029
AT ITER 7152 NEW BEST:: SOT 90482 SOS 36993 HAS SOPS 31929 HAS SOUS 14218 HAS SOUPS 12738 WITH SCORE 12774.993
AT ITER 7222 NEW BEST:: SOT 90455 SOS 36966 HAS SOPS 31893 HAS SOUS 14218 HAS SOUPS 12738 WITH SCORE 12774.966
AT ITER 7233 NEW BEST:: SOT 90450 SOS 36961 HAS SOPS 31883 HAS SOUS 14208 HAS SOUPS 12728 WITH SCORE 12764.961
AT ITER 7252 NEW BEST:: SOT 90446 SOS 37006 HAS SOPS 31924 HAS SOUS 14200 HAS SOUPS 12720 WITH SCORE 12757.006
AT ITER 7264 NEW BEST:: SOT 90432 SOS 36992 HAS SOPS 31903 HAS SOUS 14193 HAS SOUPS 12713 WITH SCORE 12749.992
AT ITER 7284 NEW BEST:: SOT 90419 SOS 36862 HAS SOPS 31773 HAS SOUS 14180 HAS SOUPS 12700 WITH SCORE 12736.862
AT ITER 7334 NEW BEST:: SOT 90406 SOS 36849 HAS SOPS 31752 HAS SOUS 14170 HAS SOUPS 12689 WITH SCORE 12725.849
AT ITER 7336 NEW BEST:: SOT 90406 SOS 36849 HAS SOPS 31752 HAS SOUS 14166 HAS SOUPS 12685 WITH SCORE 12721.849
AT ITER 7337 NEW BEST:: SOT 90407 SOS 36849 HAS SOPS 31752 HAS SOUS 14164 HAS SOUPS 12683 WITH SCORE 12719.849
AT ITER 7350 NEW BEST:: SOT 90406 SOS 36847 HAS SOPS 31750 HAS SOUS 14162 HAS SOUPS 12681 WITH SCORE 12717.847
AT ITER 7362 NEW BEST:: SOT 90406 SOS 36839 HAS SOPS 31742 HAS SOUS 14162 HAS SOUPS 12681 WITH SCORE 12717.839
AT ITER 7381 NEW BEST:: SOT 90441 SOS 36850 HAS SOPS 31753 HAS SOUS 14096 HAS SOUPS 12615 WITH SCORE 12651.85
AT ITER 7474 NEW BEST:: SOT 90452 SOS 36722 HAS SOPS 31615 HAS SOUS 14090 HAS SOUPS 12609 WITH SCORE 12645.722
AT ITER 7494 NEW BEST:: SOT 90436 SOS 36706 HAS SOPS 31599 HAS SOUS 14086 HAS SOUPS 12605 WITH SCORE 12641.706
AT ITER 7501 NEW BEST:: SOT 90464 SOS 36717 HAS SOPS 31610 HAS SOUS 14077 HAS SOUPS 12596 WITH SCORE 12632.717
AT ITER 7530 NEW BEST:: SOT 90455 SOS 36708 HAS SOPS 31592 HAS SOUS 14069 HAS SOUPS 12588 WITH SCORE 12624.708
AT ITER 7542 NEW BEST:: SOT 90452 SOS 36632 HAS SOPS 31516 HAS SOUS 14039 HAS SOUPS 12558 WITH SCORE 12594.632
AT ITER 7546 NEW BEST:: SOT 90396 SOS 36645 HAS SOPS 31447 HAS SOUS 14029 HAS SOUPS 12535 WITH SCORE 12571.645
AT ITER 7604 NEW BEST:: SOT 90366 SOS 36615 HAS SOPS 31402 HAS SOUS 14014 HAS SOUPS 12520 WITH SCORE 12556.615
AT ITER 7651 NEW BEST:: SOT 90304 SOS 36508 HAS SOPS 31314 HAS SOUS 13998 HAS SOUPS 12504 WITH SCORE 12540.508
AT ITER 7660 NEW BEST:: SOT 90306 SOS 36521 HAS SOPS 31327 HAS SOUS 13997 HAS SOUPS 12503 WITH SCORE 12539.521
AT ITER 7696 NEW BEST:: SOT 90314 SOS 36527 HAS SOPS 31335 HAS SOUS 13995 HAS SOUPS 12501 WITH SCORE 12537.527
AT ITER 7791 NEW BEST:: SOT 90299 SOS 36493 HAS SOPS 31305 HAS SOUS 13977 HAS SOUPS 12483 WITH SCORE 12519.493
AT ITER 7797 NEW BEST:: SOT 90311 SOS 36505 HAS SOPS 31315 HAS SOUS 13959 HAS SOUPS 12465 WITH SCORE 12501.505
AT ITER 7832 NEW BEST:: SOT 90311 SOS 36505 HAS SOPS 31314 HAS SOUS 13956 HAS SOUPS 12462 WITH SCORE 12498.505
AT ITER 7840 NEW BEST:: SOT 90301 SOS 36496 HAS SOPS 31307 HAS SOUS 13949 HAS SOUPS 12455 WITH SCORE 12491.496
AT ITER 7871 NEW BEST:: SOT 90296 SOS 36506 HAS SOPS 31317 HAS SOUS 13940 HAS SOUPS 12446 WITH SCORE 12482.506
AT ITER 7924 NEW BEST:: SOT 90265 SOS 36458 HAS SOPS 31255 HAS SOUS 13878 HAS SOUPS 12384 WITH SCORE 12420.458
AT ITER 7929 NEW BEST:: SOT 90261 SOS 36422 HAS SOPS 31219 HAS SOUS 13874 HAS SOUPS 12380 WITH SCORE 12416.422
AT ITER 7931 NEW BEST:: SOT 90272 SOS 36418 HAS SOPS 31215 HAS SOUS 13851 HAS SOUPS 12357 WITH SCORE 12393.418
AT ITER 7966 NEW BEST:: SOT 90245 SOS 36362 HAS SOPS 31159 HAS SOUS 13805 HAS SOUPS 12311 WITH SCORE 12347.362
AT ITER 7973 NEW BEST:: SOT 90240 SOS 36357 HAS SOPS 31152 HAS SOUS 13804 HAS SOUPS 12310 WITH SCORE 12346.357
AT ITER 8069 NEW BEST:: SOT 90237 SOS 36354 HAS SOPS 31146 HAS SOUS 13798 HAS SOUPS 12304 WITH SCORE 12340.354
AT ITER 8077 NEW BEST:: SOT 90230 SOS 36298 HAS SOPS 31090 HAS SOUS 13798 HAS SOUPS 12304 WITH SCORE 12340.298
AT ITER 8158 NEW BEST:: SOT 90230 SOS 36285 HAS SOPS 31077 HAS SOUS 13798 HAS SOUPS 12304 WITH SCORE 12340.285
AT ITER 8164 NEW BEST:: SOT 90220 SOS 36236 HAS SOPS 31028 HAS SOUS 13772 HAS SOUPS 12278 WITH SCORE 12314.236
AT ITER 8198 NEW BEST:: SOT 90256 SOS 36272 HAS SOPS 31073 HAS SOUS 13763 HAS SOUPS 12269 WITH SCORE 12305.272
AT ITER 8211 NEW BEST:: SOT 90264 SOS 36253 HAS SOPS 31069 HAS SOUS 13734 HAS SOUPS 12260 WITH SCORE 12296.253
AT ITER 8248 NEW BEST:: SOT 90270 SOS 36264 HAS SOPS 31076 HAS SOUS 13731 HAS SOUPS 12257 WITH SCORE 12293.264
AT ITER 8272 NEW BEST:: SOT 90280 SOS 36274 HAS SOPS 31086 HAS SOUS 13721 HAS SOUPS 12247 WITH SCORE 12283.274
AT ITER 8287 NEW BEST:: SOT 90279 SOS 36271 HAS SOPS 31083 HAS SOUS 13719 HAS SOUPS 12245 WITH SCORE 12281.271
AT ITER 8310 NEW BEST:: SOT 90273 SOS 36259 HAS SOPS 31074 HAS SOUS 13716 HAS SOUPS 12242 WITH SCORE 12278.259
AT ITER 8385 NEW BEST:: SOT 90270 SOS 36258 HAS SOPS 31073 HAS SOUS 13710 HAS SOUPS 12236 WITH SCORE 12272.258
AT ITER 8397 NEW BEST:: SOT 90260 SOS 36248 HAS SOPS 31063 HAS SOUS 13690 HAS SOUPS 12216 WITH SCORE 12252.248
AT ITER 8460 NEW BEST:: SOT 90257 SOS 36038 HAS SOPS 30848 HAS SOUS 13677 HAS SOUPS 12203 WITH SCORE 12239.038
AT ITER 8462 NEW BEST:: SOT 90256 SOS 36036 HAS SOPS 30846 HAS SOUS 13674 HAS SOUPS 12200 WITH SCORE 12236.036
AT ITER 8511 NEW BEST:: SOT 90249 SOS 36029 HAS SOPS 30832 HAS SOUS 13660 HAS SOUPS 12186 WITH SCORE 12222.029
AT ITER 8527 NEW BEST:: SOT 90236 SOS 36115 HAS SOPS 30918 HAS SOUS 13641 HAS SOUPS 12167 WITH SCORE 12203.115
AT ITER 8642 NEW BEST:: SOT 90222 SOS 36105 HAS SOPS 30908 HAS SOUS 13641 HAS SOUPS 12167 WITH SCORE 12203.105
AT ITER 8780 NEW BEST:: SOT 90232 SOS 36105 HAS SOPS 30918 HAS SOUS 13631 HAS SOUPS 12157 WITH SCORE 12193.105
AT ITER 8788 NEW BEST:: SOT 90240 SOS 36041 HAS SOPS 30854 HAS SOUS 13627 HAS SOUPS 12153 WITH SCORE 12189.041
AT ITER 8794 NEW BEST:: SOT 90239 SOS 36039 HAS SOPS 30852 HAS SOUS 13625 HAS SOUPS 12151 WITH SCORE 12187.039
AT ITER 9026 NEW BEST:: SOT 90235 SOS 36023 HAS SOPS 30844 HAS SOUS 13617 HAS SOUPS 12143 WITH SCORE 12179.023
AT ITER 9084 NEW BEST:: SOT 90235 SOS 36023 HAS SOPS 30837 HAS SOUS 13596 HAS SOUPS 12122 WITH SCORE 12158.023
AT ITER 9114 NEW BEST:: SOT 90243 SOS 36023 HAS SOPS 30845 HAS SOUS 13588 HAS SOUPS 12114 WITH SCORE 12150.023
AT ITER 9148 NEW BEST:: SOT 90241 SOS 36005 HAS SOPS 30827 HAS SOUS 13584 HAS SOUPS 12110 WITH SCORE 12146.005
AT ITER 9182 NEW BEST:: SOT 90239 SOS 36003 HAS SOPS 30823 HAS SOUS 13580 HAS SOUPS 12106 WITH SCORE 12142.003
AT ITER 9207 NEW BEST:: SOT 90275 SOS 36015 HAS SOPS 30835 HAS SOUS 13541 HAS SOUPS 12067 WITH SCORE 12103.015
AT ITER 9265 NEW BEST:: SOT 90248 SOS 35763 HAS SOPS 30583 HAS SOUS 13512 HAS SOUPS 12038 WITH SCORE 12073.763
AT ITER 9300 NEW BEST:: SOT 90245 SOS 35760 HAS SOPS 30577 HAS SOUS 13506 HAS SOUPS 12032 WITH SCORE 12067.76
AT ITER 9334 NEW BEST:: SOT 90234 SOS 35650 HAS SOPS 30467 HAS SOUS 13484 HAS SOUPS 12010 WITH SCORE 12045.65
AT ITER 9346 NEW BEST:: SOT 90236 SOS 35652 HAS SOPS 30467 HAS SOUS 13480 HAS SOUPS 12006 WITH SCORE 12041.652
AT ITER 9375 NEW BEST:: SOT 90232 SOS 35662 HAS SOPS 30477 HAS SOUS 13476 HAS SOUPS 12002 WITH SCORE 12037.662
AT ITER 9394 NEW BEST:: SOT 90233 SOS 35663 HAS SOPS 30470 HAS SOUS 13451 HAS SOUPS 11977 WITH SCORE 12012.663
AT ITER 9501 NEW BEST:: SOT 90229 SOS 35655 HAS SOPS 30462 HAS SOUS 13443 HAS SOUPS 11969 WITH SCORE 12004.655
AT ITER 9706 NEW BEST:: SOT 90228 SOS 35647 HAS SOPS 30454 HAS SOUS 13443 HAS SOUPS 11969 WITH SCORE 12004.647
AT ITER 9810 NEW BEST:: SOT 90224 SOS 35639 HAS SOPS 30446 HAS SOUS 13439 HAS SOUPS 11965 WITH SCORE 12000.639
AT ITER 9817 NEW BEST:: SOT 90211 SOS 35559 HAS SOPS 30366 HAS SOUS 13435 HAS SOUPS 11961 WITH SCORE 11996.559
AT ITER 9840 NEW BEST:: SOT 90211 SOS 35558 HAS SOPS 30365 HAS SOUS 13434 HAS SOUPS 11960 WITH SCORE 11995.558
AT ITER 9877 NEW BEST:: SOT 90210 SOS 35552 HAS SOPS 30359 HAS SOUS 13432 HAS SOUPS 11958 WITH SCORE 11993.552
AT ITER 9884 NEW BEST:: SOT 90210 SOS 35548 HAS SOPS 30357 HAS SOUS 13432 HAS SOUPS 11958 WITH SCORE 11993.548
AT ITER 9900 NEW BEST:: SOT 90198 SOS 35536 HAS SOPS 30345 HAS SOUS 13420 HAS SOUPS 11946 WITH SCORE 11981.536
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 186116 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16297020 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="CANConstruction-PT-010"
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 CANConstruction-PT-010, 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 r035-tajo-167813688400624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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