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.r515-tall-167987242200272.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 EisenbergMcGuire-PT-09, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987242200272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 6.3K Mar 23 15:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Mar 23 15:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Mar 23 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Mar 23 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 23 07:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 16K Mar 23 15:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 160K Mar 23 15:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Mar 23 15:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Mar 23 15:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 2.1M Mar 26 22:42 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 1679881964985

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=EisenbergMcGuire-PT-09
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 09
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: 891 places, 3888 transitions, 18792 arcs.
AT ITER 0 NEW BEST:: SOT 2700103 SOS 1284109 HAS SOPS 817101 HAS SOUS 466870 HAS SOUPS 454583 WITH SCORE 455867.109
AT ITER 1 NEW BEST:: SOT 2700103 SOS 1283713 HAS SOPS 816705 HAS SOUS 466870 HAS SOUPS 454583 WITH SCORE 455866.713
AT ITER 8 NEW BEST:: SOT 2696476 SOS 1288745 HAS SOPS 813080 HAS SOUS 463670 HAS SOUPS 451340 WITH SCORE 452628.745
AT ITER 9 NEW BEST:: SOT 2696557 SOS 1288378 HAS SOPS 812713 HAS SOUS 463601 HAS SOUPS 451271 WITH SCORE 452559.378
AT ITER 12 NEW BEST:: SOT 2696310 SOS 1287884 HAS SOPS 812219 HAS SOUS 463495 HAS SOUPS 451165 WITH SCORE 452452.884
AT ITER 26 NEW BEST:: SOT 2696139 SOS 1287029 HAS SOPS 811364 HAS SOUS 463047 HAS SOUPS 450717 WITH SCORE 452004.029
AT ITER 27 NEW BEST:: SOT 2696139 SOS 1286643 HAS SOPS 810978 HAS SOUS 463047 HAS SOUPS 450717 WITH SCORE 452003.643
AT ITER 28 NEW BEST:: SOT 2696100 SOS 1286713 HAS SOPS 811009 HAS SOUS 463087 HAS SOUPS 450648 WITH SCORE 451934.713
AT ITER 30 NEW BEST:: SOT 2695687 SOS 1287078 HAS SOPS 812336 HAS SOUS 462674 HAS SOUPS 450235 WITH SCORE 451522.078
AT ITER 32 NEW BEST:: SOT 2695469 SOS 1286642 HAS SOPS 811900 HAS SOUS 462568 HAS SOUPS 450129 WITH SCORE 451415.642
AT ITER 38 NEW BEST:: SOT 2695248 SOS 1286733 HAS SOPS 812202 HAS SOUS 462480 HAS SOUPS 450041 WITH SCORE 451327.733
AT ITER 43 NEW BEST:: SOT 2694464 SOS 1285790 HAS SOPS 808795 HAS SOUS 459548 HAS SOUPS 447109 WITH SCORE 448394.79
AT ITER 44 NEW BEST:: SOT 2694415 SOS 1285692 HAS SOPS 808697 HAS SOUS 459450 HAS SOUPS 447011 WITH SCORE 448296.692
AT ITER 45 NEW BEST:: SOT 2694247 SOS 1285167 HAS SOPS 807846 HAS SOUS 458996 HAS SOUPS 446398 WITH SCORE 447683.167
AT ITER 47 NEW BEST:: SOT 2693559 SOS 1283967 HAS SOPS 806464 HAS SOUS 457837 HAS SOUPS 445209 WITH SCORE 446492.967
AT ITER 48 NEW BEST:: SOT 2693456 SOS 1281348 HAS SOPS 803845 HAS SOUS 457525 HAS SOUPS 444897 WITH SCORE 446178.348
AT ITER 52 NEW BEST:: SOT 2693456 SOS 1281348 HAS SOPS 803845 HAS SOUS 457008 HAS SOUPS 444380 WITH SCORE 445661.348
AT ITER 57 NEW BEST:: SOT 2692976 SOS 1280662 HAS SOPS 803363 HAS SOUS 456526 HAS SOUPS 443898 WITH SCORE 445178.662
AT ITER 61 NEW BEST:: SOT 2692976 SOS 1280661 HAS SOPS 803362 HAS SOUS 456525 HAS SOUPS 443897 WITH SCORE 445177.661
AT ITER 63 NEW BEST:: SOT 2692852 SOS 1280034 HAS SOPS 802735 HAS SOUS 456277 HAS SOUPS 443649 WITH SCORE 444929.034
AT ITER 64 NEW BEST:: SOT 2692881 SOS 1280399 HAS SOPS 800822 HAS SOUS 456421 HAS SOUPS 443558 WITH SCORE 444838.399
AT ITER 73 NEW BEST:: SOT 2692881 SOS 1280042 HAS SOPS 800465 HAS SOUS 456421 HAS SOUPS 443558 WITH SCORE 444838.042
AT ITER 74 NEW BEST:: SOT 2692838 SOS 1277256 HAS SOPS 797679 HAS SOUS 456335 HAS SOUPS 443472 WITH SCORE 444749.256
AT ITER 78 NEW BEST:: SOT 2692838 SOS 1277022 HAS SOPS 794607 HAS SOUS 453464 HAS SOUPS 440601 WITH SCORE 441878.022
AT ITER 88 NEW BEST:: SOT 2692720 SOS 1276722 HAS SOPS 794307 HAS SOUS 453400 HAS SOUPS 440537 WITH SCORE 441813.722
AT ITER 94 NEW BEST:: SOT 2692412 SOS 1278424 HAS SOPS 795815 HAS SOUS 453023 HAS SOUPS 440160 WITH SCORE 441438.424
AT ITER 97 NEW BEST:: SOT 2692412 SOS 1278053 HAS SOPS 795444 HAS SOUS 453023 HAS SOUPS 440160 WITH SCORE 441438.053
AT ITER 101 NEW BEST:: SOT 2691920 SOS 1277539 HAS SOPS 798978 HAS SOUS 453021 HAS SOUPS 440158 WITH SCORE 441435.539
AT ITER 105 NEW BEST:: SOT 2691920 SOS 1277164 HAS SOPS 798603 HAS SOUS 453021 HAS SOUPS 440158 WITH SCORE 441435.164
AT ITER 110 NEW BEST:: SOT 2691920 SOS 1276639 HAS SOPS 798078 HAS SOUS 453021 HAS SOUPS 440158 WITH SCORE 441434.639
AT ITER 123 NEW BEST:: SOT 2644193 SOS 1231887 HAS SOPS 760399 HAS SOUS 406582 HAS SOUPS 393510 WITH SCORE 394741.887
AT ITER 126 NEW BEST:: SOT 2642836 SOS 1235631 HAS SOPS 759208 HAS SOUS 406471 HAS SOUPS 393300 WITH SCORE 394535.631
AT ITER 131 NEW BEST:: SOT 2642495 SOS 1234531 HAS SOPS 758117 HAS SOUS 405791 HAS SOUPS 392620 WITH SCORE 393854.531
AT ITER 134 NEW BEST:: SOT 2642356 SOS 1234458 HAS SOPS 758052 HAS SOUS 405656 HAS SOUPS 392485 WITH SCORE 393719.458
AT ITER 135 NEW BEST:: SOT 2642356 SOS 1234157 HAS SOPS 757751 HAS SOUS 405656 HAS SOUPS 392485 WITH SCORE 393719.157
AT ITER 142 NEW BEST:: SOT 2641124 SOS 1232925 HAS SOPS 757023 HAS SOUS 404921 HAS SOUPS 391757 WITH SCORE 392989.925
AT ITER 149 NEW BEST:: SOT 2641045 SOS 1231717 HAS SOPS 755815 HAS SOUS 404763 HAS SOUPS 391599 WITH SCORE 392830.717
AT ITER 150 NEW BEST:: SOT 2640996 SOS 1231619 HAS SOPS 755717 HAS SOUS 404665 HAS SOUPS 391501 WITH SCORE 392732.619
AT ITER 155 NEW BEST:: SOT 2640156 SOS 1230419 HAS SOPS 751877 HAS SOUS 401065 HAS SOUPS 387901 WITH SCORE 389131.419
AT ITER 164 NEW BEST:: SOT 2639939 SOS 1229530 HAS SOPS 750988 HAS SOUS 400536 HAS SOUPS 387372 WITH SCORE 388601.53
AT ITER 172 NEW BEST:: SOT 2639721 SOS 1228440 HAS SOPS 749898 HAS SOUS 400318 HAS SOUPS 387154 WITH SCORE 388382.44
AT ITER 182 NEW BEST:: SOT 2639721 SOS 1228386 HAS SOPS 749844 HAS SOUS 400318 HAS SOUPS 387154 WITH SCORE 388382.386
AT ITER 192 NEW BEST:: SOT 2639721 SOS 1228368 HAS SOPS 749826 HAS SOUS 400318 HAS SOUPS 387154 WITH SCORE 388382.368
AT ITER 193 NEW BEST:: SOT 2639691 SOS 1226069 HAS SOPS 747527 HAS SOUS 400258 HAS SOUPS 387094 WITH SCORE 388320.069
AT ITER 194 NEW BEST:: SOT 2639630 SOS 1225917 HAS SOPS 747223 HAS SOUS 400023 HAS SOUPS 386859 WITH SCORE 388084.917
AT ITER 196 NEW BEST:: SOT 2639619 SOS 1225906 HAS SOPS 747201 HAS SOUS 400008 HAS SOUPS 386837 WITH SCORE 388062.906
AT ITER 206 NEW BEST:: SOT 2639619 SOS 1225864 HAS SOPS 747159 HAS SOUS 400008 HAS SOUPS 386837 WITH SCORE 388062.864
AT ITER 211 NEW BEST:: SOT 2639546 SOS 1225564 HAS SOPS 746859 HAS SOUS 399854 HAS SOUPS 386683 WITH SCORE 387908.564
AT ITER 213 NEW BEST:: SOT 2638776 SOS 1224831 HAS SOPS 746126 HAS SOUS 399353 HAS SOUPS 386182 WITH SCORE 387406.831
AT ITER 220 NEW BEST:: SOT 2638721 SOS 1224482 HAS SOPS 745777 HAS SOUS 399235 HAS SOUPS 386064 WITH SCORE 387288.482
AT ITER 221 NEW BEST:: SOT 2638721 SOS 1224168 HAS SOPS 745463 HAS SOUS 399094 HAS SOUPS 385923 WITH SCORE 387147.168
AT ITER 225 NEW BEST:: SOT 2638716 SOS 1224158 HAS SOPS 745453 HAS SOUS 399084 HAS SOUPS 385913 WITH SCORE 387137.158
AT ITER 226 NEW BEST:: SOT 2638631 SOS 1224029 HAS SOPS 745243 HAS SOUS 398712 HAS SOUPS 385541 WITH SCORE 386765.029
AT ITER 227 NEW BEST:: SOT 2638425 SOS 1224537 HAS SOPS 746721 HAS SOUS 398604 HAS SOUPS 385433 WITH SCORE 386657.537
AT ITER 230 NEW BEST:: SOT 2637276 SOS 1223266 HAS SOPS 746245 HAS SOUS 398114 HAS SOUPS 385002 WITH SCORE 386225.266
AT ITER 232 NEW BEST:: SOT 2637589 SOS 1223467 HAS SOPS 743492 HAS SOUS 396211 HAS SOUPS 383170 WITH SCORE 384393.467
AT ITER 233 NEW BEST:: SOT 2636854 SOS 1222797 HAS SOPS 742757 HAS SOUS 396098 HAS SOUPS 382992 WITH SCORE 384214.797
AT ITER 252 NEW BEST:: SOT 2628195 SOS 1262839 HAS SOPS 830326 HAS SOUS 394055 HAS SOUPS 380748 WITH SCORE 382010.839
AT ITER 253 NEW BEST:: SOT 2627348 SOS 1262264 HAS SOPS 829751 HAS SOUS 394043 HAS SOUPS 380736 WITH SCORE 381998.264
AT ITER 269 NEW BEST:: SOT 2627348 SOS 1261662 HAS SOPS 829149 HAS SOUS 394043 HAS SOUPS 380736 WITH SCORE 381997.662
AT ITER 272 NEW BEST:: SOT 2627348 SOS 1261644 HAS SOPS 829131 HAS SOUS 394043 HAS SOUPS 380736 WITH SCORE 381997.644
AT ITER 282 NEW BEST:: SOT 2627194 SOS 1261080 HAS SOPS 828515 HAS SOUS 393837 HAS SOUPS 380530 WITH SCORE 381791.08
AT ITER 297 NEW BEST:: SOT 2626852 SOS 1260883 HAS SOPS 828522 HAS SOUS 393338 HAS SOUPS 380031 WITH SCORE 381291.883
AT ITER 300 NEW BEST:: SOT 2626852 SOS 1260841 HAS SOPS 828480 HAS SOUS 393338 HAS SOUPS 380031 WITH SCORE 381291.841
AT ITER 307 NEW BEST:: SOT 2626760 SOS 1258466 HAS SOPS 826105 HAS SOUS 393154 HAS SOUPS 379847 WITH SCORE 381105.466
AT ITER 310 NEW BEST:: SOT 2626409 SOS 1258076 HAS SOPS 824857 HAS SOUS 392172 HAS SOUPS 378865 WITH SCORE 380123.076
AT ITER 311 NEW BEST:: SOT 2626370 SOS 1258017 HAS SOPS 824798 HAS SOUS 392030 HAS SOUPS 378723 WITH SCORE 379981.017
AT ITER 314 NEW BEST:: SOT 2626370 SOS 1257465 HAS SOPS 824246 HAS SOUS 391924 HAS SOUPS 378617 WITH SCORE 379874.465
AT ITER 317 NEW BEST:: SOT 2626030 SOS 1257177 HAS SOPS 824242 HAS SOUS 392046 HAS SOUPS 378613 WITH SCORE 379870.177
AT ITER 318 NEW BEST:: SOT 2626030 SOS 1257177 HAS SOPS 824242 HAS SOUS 391934 HAS SOUPS 378501 WITH SCORE 379758.177
AT ITER 323 NEW BEST:: SOT 2626030 SOS 1257177 HAS SOPS 824242 HAS SOUS 391918 HAS SOUPS 378485 WITH SCORE 379742.177
AT ITER 324 NEW BEST:: SOT 2626030 SOS 1256680 HAS SOPS 823745 HAS SOUS 391918 HAS SOUPS 378485 WITH SCORE 379741.68
AT ITER 325 NEW BEST:: SOT 2625772 SOS 1255974 HAS SOPS 817295 HAS SOUS 385726 HAS SOUPS 372293 WITH SCORE 373548.974
AT ITER 326 NEW BEST:: SOT 2625742 SOS 1255914 HAS SOPS 817235 HAS SOUS 385666 HAS SOUPS 372233 WITH SCORE 373488.914
AT ITER 328 NEW BEST:: SOT 2625609 SOS 1256400 HAS SOPS 817932 HAS SOUS 385630 HAS SOUPS 372197 WITH SCORE 373453.4
AT ITER 331 NEW BEST:: SOT 2625609 SOS 1256247 HAS SOPS 817779 HAS SOUS 385630 HAS SOUPS 372197 WITH SCORE 373453.247
AT ITER 350 NEW BEST:: SOT 2625553 SOS 1256191 HAS SOPS 817651 HAS SOUS 385582 HAS SOUPS 372133 WITH SCORE 373389.191
AT ITER 355 NEW BEST:: SOT 2625553 SOS 1255619 HAS SOPS 817079 HAS SOUS 385476 HAS SOUPS 372027 WITH SCORE 373282.619
AT ITER 356 NEW BEST:: SOT 2625437 SOS 1255387 HAS SOPS 816847 HAS SOUS 385226 HAS SOUPS 371777 WITH SCORE 373032.387
AT ITER 367 NEW BEST:: SOT 2625228 SOS 1255056 HAS SOPS 816638 HAS SOUS 385125 HAS SOUPS 371492 WITH SCORE 372747.056
AT ITER 369 NEW BEST:: SOT 2624893 SOS 1256770 HAS SOPS 818164 HAS SOUS 384866 HAS SOUPS 371208 WITH SCORE 372464.77
AT ITER 377 NEW BEST:: SOT 2624893 SOS 1256740 HAS SOPS 818134 HAS SOUS 384866 HAS SOUPS 371208 WITH SCORE 372464.74
AT ITER 382 NEW BEST:: SOT 2622946 SOS 1311070 HAS SOPS 812008 HAS SOUS 385318 HAS SOUPS 370732 WITH SCORE 372043.07
AT ITER 389 NEW BEST:: SOT 2624595 SOS 1312501 HAS SOPS 810708 HAS SOUS 380981 HAS SOUPS 366625 WITH SCORE 367937.501
AT ITER 392 NEW BEST:: SOT 2624584 SOS 1312479 HAS SOPS 810686 HAS SOUS 380970 HAS SOUPS 366614 WITH SCORE 367926.479
AT ITER 394 NEW BEST:: SOT 2624364 SOS 1311427 HAS SOPS 809634 HAS SOUS 380530 HAS SOUPS 366174 WITH SCORE 367485.427
AT ITER 397 NEW BEST:: SOT 2624364 SOS 1311361 HAS SOPS 809568 HAS SOUS 380530 HAS SOUPS 366174 WITH SCORE 367485.361
AT ITER 414 NEW BEST:: SOT 2624227 SOS 1311214 HAS SOPS 809290 HAS SOUS 380348 HAS SOUPS 365992 WITH SCORE 367303.214
AT ITER 421 NEW BEST:: SOT 2625156 SOS 1312071 HAS SOPS 810040 HAS SOUS 380101 HAS SOUPS 365745 WITH SCORE 367057.071
AT ITER 445 NEW BEST:: SOT 2625083 SOS 1309695 HAS SOPS 807664 HAS SOUS 379849 HAS SOUPS 365493 WITH SCORE 366802.695
AT ITER 451 NEW BEST:: SOT 2625006 SOS 1309596 HAS SOPS 807477 HAS SOUS 379750 HAS SOUPS 365394 WITH SCORE 366703.596
AT ITER 452 NEW BEST:: SOT 2624933 SOS 1306812 HAS SOPS 804693 HAS SOUS 379498 HAS SOUPS 365142 WITH SCORE 366448.812
AT ITER 463 NEW BEST:: SOT 2624917 SOS 1306780 HAS SOPS 804661 HAS SOUS 379466 HAS SOUPS 365110 WITH SCORE 366416.78
AT ITER 468 NEW BEST:: SOT 2624693 SOS 1305870 HAS SOPS 803751 HAS SOUS 378916 HAS SOUPS 364560 WITH SCORE 365865.87
AT ITER 475 NEW BEST:: SOT 2624526 SOS 1305760 HAS SOPS 803831 HAS SOUS 378911 HAS SOUPS 364555 WITH SCORE 365860.76
AT ITER 482 NEW BEST:: SOT 2624343 SOS 1304637 HAS SOPS 802708 HAS SOUS 378545 HAS SOUPS 364189 WITH SCORE 365493.637
AT ITER 486 NEW BEST:: SOT 2624343 SOS 1304559 HAS SOPS 802630 HAS SOUS 378545 HAS SOUPS 364189 WITH SCORE 365493.559
AT ITER 489 NEW BEST:: SOT 2624072 SOS 1305918 HAS SOPS 803785 HAS SOUS 378376 HAS SOUPS 364012 WITH SCORE 365317.918
AT ITER 523 NEW BEST:: SOT 2624880 SOS 1301940 HAS SOPS 804694 HAS SOUS 378176 HAS SOUPS 363913 WITH SCORE 365214.94
AT ITER 535 NEW BEST:: SOT 2624880 SOS 1301907 HAS SOPS 804661 HAS SOUS 378176 HAS SOUPS 363913 WITH SCORE 365214.907
AT ITER 539 NEW BEST:: SOT 2624880 SOS 1301433 HAS SOPS 804187 HAS SOUS 378070 HAS SOUPS 363807 WITH SCORE 365108.433
AT ITER 545 NEW BEST:: SOT 2624659 SOS 1300751 HAS SOPS 803505 HAS SOUS 377626 HAS SOUPS 363363 WITH SCORE 364663.751
AT ITER 547 NEW BEST:: SOT 2624659 SOS 1300747 HAS SOPS 803501 HAS SOUS 377626 HAS SOUPS 363363 WITH SCORE 364663.747
AT ITER 555 NEW BEST:: SOT 2624566 SOS 1300614 HAS SOPS 803343 HAS SOUS 377468 HAS SOUPS 363205 WITH SCORE 364505.614
AT ITER 559 NEW BEST:: SOT 2624606 SOS 1299397 HAS SOPS 802126 HAS SOUS 377431 HAS SOUPS 363168 WITH SCORE 364467.397
AT ITER 561 NEW BEST:: SOT 2624445 SOS 1300202 HAS SOPS 802931 HAS SOUS 377109 HAS SOUPS 362846 WITH SCORE 364146.202
AT ITER 562 NEW BEST:: SOT 2624269 SOS 1299779 HAS SOPS 802508 HAS SOUS 376938 HAS SOUPS 362675 WITH SCORE 363974.779
AT ITER 575 NEW BEST:: SOT 2624134 SOS 1299509 HAS SOPS 802238 HAS SOUS 376803 HAS SOUPS 362540 WITH SCORE 363839.509
AT ITER 589 NEW BEST:: SOT 2624190 SOS 1299651 HAS SOPS 802148 HAS SOUS 376756 HAS SOUPS 362450 WITH SCORE 363749.651
AT ITER 590 NEW BEST:: SOT 2623852 SOS 1298364 HAS SOPS 800861 HAS SOUS 376442 HAS SOUPS 362136 WITH SCORE 363434.364
AT ITER 606 NEW BEST:: SOT 2623817 SOS 1298329 HAS SOPS 800721 HAS SOUS 376326 HAS SOUPS 362020 WITH SCORE 363318.329
AT ITER 608 NEW BEST:: SOT 2623817 SOS 1298161 HAS SOPS 800553 HAS SOUS 376326 HAS SOUPS 362020 WITH SCORE 363318.161
AT ITER 610 NEW BEST:: SOT 2623593 SOS 1297937 HAS SOPS 800077 HAS SOUS 376295 HAS SOUPS 361768 WITH SCORE 363065.937
AT ITER 612 NEW BEST:: SOT 2623593 SOS 1295499 HAS SOPS 797639 HAS SOUS 376191 HAS SOUPS 361664 WITH SCORE 362959.499
AT ITER 613 NEW BEST:: SOT 2623519 SOS 1295371 HAS SOPS 797491 HAS SOUS 375928 HAS SOUPS 361401 WITH SCORE 362696.371
AT ITER 617 NEW BEST:: SOT 2623391 SOS 1295151 HAS SOPS 797335 HAS SOUS 375792 HAS SOUPS 361265 WITH SCORE 362560.151
AT ITER 628 NEW BEST:: SOT 2623391 SOS 1295256 HAS SOPS 797440 HAS SOUS 375757 HAS SOUPS 361230 WITH SCORE 362525.256
AT ITER 635 NEW BEST:: SOT 2623461 SOS 1295286 HAS SOPS 797400 HAS SOUS 375302 HAS SOUPS 360775 WITH SCORE 362070.286
AT ITER 636 NEW BEST:: SOT 2623260 SOS 1295312 HAS SOPS 797278 HAS SOUS 375184 HAS SOUPS 360657 WITH SCORE 361952.312
AT ITER 637 NEW BEST:: SOT 2622905 SOS 1294693 HAS SOPS 796659 HAS SOUS 374905 HAS SOUPS 360378 WITH SCORE 361672.693
AT ITER 641 NEW BEST:: SOT 2626362 SOS 1298150 HAS SOPS 800453 HAS SOUS 374059 HAS SOUPS 359687 WITH SCORE 360985.15
AT ITER 642 NEW BEST:: SOT 2626366 SOS 1298266 HAS SOPS 800237 HAS SOUS 374045 HAS SOUPS 359471 WITH SCORE 360769.266
AT ITER 643 NEW BEST:: SOT 2626364 SOS 1298288 HAS SOPS 800259 HAS SOUS 374041 HAS SOUPS 359467 WITH SCORE 360765.288
AT ITER 670 NEW BEST:: SOT 2626154 SOS 1297868 HAS SOPS 799839 HAS SOUS 374041 HAS SOUPS 359467 WITH SCORE 360764.868
AT ITER 672 NEW BEST:: SOT 2626154 SOS 1297265 HAS SOPS 799236 HAS SOUS 374041 HAS SOUPS 359467 WITH SCORE 360764.265
AT ITER 674 NEW BEST:: SOT 2626154 SOS 1297256 HAS SOPS 799227 HAS SOUS 374041 HAS SOUPS 359467 WITH SCORE 360764.256
AT ITER 675 NEW BEST:: SOT 2626048 SOS 1296939 HAS SOPS 798910 HAS SOUS 373829 HAS SOUPS 359255 WITH SCORE 360551.939
AT ITER 680 NEW BEST:: SOT 2625929 SOS 1296518 HAS SOPS 798489 HAS SOUS 373527 HAS SOUPS 358953 WITH SCORE 360249.518
AT ITER 682 NEW BEST:: SOT 2625929 SOS 1296432 HAS SOPS 798403 HAS SOUS 373527 HAS SOUPS 358953 WITH SCORE 360249.432
AT ITER 693 NEW BEST:: SOT 2625781 SOS 1298155 HAS SOPS 800126 HAS SOUS 373231 HAS SOUPS 358657 WITH SCORE 359955.155
AT ITER 697 NEW BEST:: SOT 2625589 SOS 1297771 HAS SOPS 799742 HAS SOUS 373125 HAS SOUPS 358551 WITH SCORE 359848.771
AT ITER 706 NEW BEST:: SOT 2625473 SOS 1295740 HAS SOPS 797711 HAS SOUS 372893 HAS SOUPS 358319 WITH SCORE 359614.74
AT ITER 707 NEW BEST:: SOT 2625472 SOS 1294990 HAS SOPS 796961 HAS SOUS 372883 HAS SOUPS 358309 WITH SCORE 359603.99
AT ITER 711 NEW BEST:: SOT 2625231 SOS 1296146 HAS SOPS 798885 HAS SOUS 372447 HAS SOUPS 357873 WITH SCORE 359169.146
AT ITER 713 NEW BEST:: SOT 2624983 SOS 1296075 HAS SOPS 799002 HAS SOUS 372405 HAS SOUPS 357831 WITH SCORE 359127.075
AT ITER 714 NEW BEST:: SOT 2624918 SOS 1295528 HAS SOPS 798455 HAS SOUS 372166 HAS SOUPS 357592 WITH SCORE 358887.528
AT ITER 726 NEW BEST:: SOT 2624894 SOS 1294964 HAS SOPS 797891 HAS SOUS 372115 HAS SOUPS 357541 WITH SCORE 358835.964
AT ITER 728 NEW BEST:: SOT 2624894 SOS 1292188 HAS SOPS 795115 HAS SOUS 372105 HAS SOUPS 357531 WITH SCORE 358823.188
AT ITER 739 NEW BEST:: SOT 2624572 SOS 1290952 HAS SOPS 793879 HAS SOUS 371832 HAS SOUPS 357258 WITH SCORE 358548.952
AT ITER 741 NEW BEST:: SOT 2624572 SOS 1290598 HAS SOPS 793525 HAS SOUS 371832 HAS SOUPS 357258 WITH SCORE 358548.598
AT ITER 743 NEW BEST:: SOT 2624564 SOS 1290590 HAS SOPS 793509 HAS SOUS 371824 HAS SOUPS 357242 WITH SCORE 358532.59
AT ITER 745 NEW BEST:: SOT 2624483 SOS 1287835 HAS SOPS 790754 HAS SOUS 371662 HAS SOUPS 357080 WITH SCORE 358367.835
AT ITER 747 NEW BEST:: SOT 2624329 SOS 1289805 HAS SOPS 792724 HAS SOUS 371442 HAS SOUPS 356860 WITH SCORE 358149.805
AT ITER 754 NEW BEST:: SOT 2624139 SOS 1289663 HAS SOPS 792750 HAS SOUS 371228 HAS SOUPS 356646 WITH SCORE 357935.663
AT ITER 757 NEW BEST:: SOT 2624044 SOS 1289560 HAS SOPS 792434 HAS SOUS 371152 HAS SOUPS 356570 WITH SCORE 357859.56
AT ITER 769 NEW BEST:: SOT 2624044 SOS 1289220 HAS SOPS 792094 HAS SOUS 371152 HAS SOUPS 356570 WITH SCORE 357859.22
AT ITER 777 NEW BEST:: SOT 2623988 SOS 1289108 HAS SOPS 791982 HAS SOUS 371040 HAS SOUPS 356458 WITH SCORE 357747.108
AT ITER 782 NEW BEST:: SOT 2622976 SOS 1288040 HAS SOPS 790914 HAS SOUS 370027 HAS SOUPS 355445 WITH SCORE 356733.04
AT ITER 787 NEW BEST:: SOT 2622924 SOS 1287832 HAS SOPS 790706 HAS SOUS 369923 HAS SOUPS 355341 WITH SCORE 356628.832
AT ITER 791 NEW BEST:: SOT 2622798 SOS 1289014 HAS SOPS 791913 HAS SOUS 369899 HAS SOUPS 355317 WITH SCORE 356606.014
AT ITER 792 NEW BEST:: SOT 2622792 SOS 1289008 HAS SOPS 791901 HAS SOUS 370007 HAS SOUPS 355305 WITH SCORE 356594.008
AT ITER 796 NEW BEST:: SOT 2622792 SOS 1288189 HAS SOPS 791082 HAS SOUS 370007 HAS SOUPS 355305 WITH SCORE 356593.189
AT ITER 798 NEW BEST:: SOT 2622328 SOS 1287841 HAS SOPS 790560 HAS SOUS 369891 HAS SOUPS 355131 WITH SCORE 356418.841
AT ITER 813 NEW BEST:: SOT 2622223 SOS 1287228 HAS SOPS 789952 HAS SOUS 369677 HAS SOUPS 354917 WITH SCORE 356204.228
AT ITER 816 NEW BEST:: SOT 2622211 SOS 1287216 HAS SOPS 789916 HAS SOUS 369665 HAS SOUPS 354881 WITH SCORE 356168.216
AT ITER 831 NEW BEST:: SOT 2620517 SOS 1285310 HAS SOPS 789268 HAS SOUS 369006 HAS SOUPS 354233 WITH SCORE 355518.31
AT ITER 838 NEW BEST:: SOT 2620503 SOS 1285236 HAS SOPS 788700 HAS SOUS 368872 HAS SOUPS 354099 WITH SCORE 355384.236
AT ITER 857 NEW BEST:: SOT 2620503 SOS 1285410 HAS SOPS 788874 HAS SOUS 368793 HAS SOUPS 354020 WITH SCORE 355305.41
AT ITER 858 NEW BEST:: SOT 2620502 SOS 1285409 HAS SOPS 788873 HAS SOUS 368790 HAS SOUPS 354017 WITH SCORE 355302.409
AT ITER 860 NEW BEST:: SOT 2620058 SOS 1285129 HAS SOPS 788768 HAS SOUS 368435 HAS SOUPS 353662 WITH SCORE 354947.129
AT ITER 868 NEW BEST:: SOT 2619912 SOS 1284882 HAS SOPS 788594 HAS SOUS 368261 HAS SOUPS 353488 WITH SCORE 354772.882
AT ITER 877 NEW BEST:: SOT 2620038 SOS 1284218 HAS SOPS 788087 HAS SOUS 367912 HAS SOUPS 353162 WITH SCORE 354446.218
AT ITER 882 NEW BEST:: SOT 2619859 SOS 1286264 HAS SOPS 790029 HAS SOUS 367646 HAS SOUPS 352896 WITH SCORE 354182.264
AT ITER 884 NEW BEST:: SOT 2619681 SOS 1285638 HAS SOPS 789348 HAS SOUS 367425 HAS SOUPS 352675 WITH SCORE 353960.638
AT ITER 887 NEW BEST:: SOT 2619665 SOS 1285873 HAS SOPS 789583 HAS SOUS 367393 HAS SOUPS 352643 WITH SCORE 353928.873
AT ITER 892 NEW BEST:: SOT 2619561 SOS 1285717 HAS SOPS 789479 HAS SOUS 367064 HAS SOUPS 352314 WITH SCORE 353599.717
AT ITER 895 NEW BEST:: SOT 2619561 SOS 1285491 HAS SOPS 789253 HAS SOUS 367064 HAS SOUPS 352314 WITH SCORE 353599.491
AT ITER 900 NEW BEST:: SOT 2619351 SOS 1285071 HAS SOPS 788833 HAS SOUS 366726 HAS SOUPS 351976 WITH SCORE 353261.071
AT ITER 907 NEW BEST:: SOT 2618635 SOS 1284686 HAS SOPS 788294 HAS SOUS 365946 HAS SOUPS 351196 WITH SCORE 352480.686
AT ITER 911 NEW BEST:: SOT 2618541 SOS 1265416 HAS SOPS 768366 HAS SOUS 365570 HAS SOUPS 350820 WITH SCORE 352085.416
AT ITER 917 NEW BEST:: SOT 2618246 SOS 1264857 HAS SOPS 767807 HAS SOUS 365570 HAS SOUPS 350820 WITH SCORE 352084.857
AT ITER 924 NEW BEST:: SOT 2618246 SOS 1264859 HAS SOPS 767807 HAS SOUS 365569 HAS SOUPS 350819 WITH SCORE 352083.859
AT ITER 928 NEW BEST:: SOT 2618176 SOS 1264509 HAS SOPS 767457 HAS SOUS 365429 HAS SOUPS 350679 WITH SCORE 351943.509
AT ITER 930 NEW BEST:: SOT 2617996 SOS 1264229 HAS SOPS 767177 HAS SOUS 365309 HAS SOUPS 350559 WITH SCORE 351823.229
AT ITER 933 NEW BEST:: SOT 2618105 SOS 1264266 HAS SOPS 767188 HAS SOUS 365130 HAS SOUPS 350380 WITH SCORE 351644.266
AT ITER 944 NEW BEST:: SOT 2618105 SOS 1264155 HAS SOPS 767077 HAS SOUS 365128 HAS SOUPS 350378 WITH SCORE 351642.155
AT ITER 954 NEW BEST:: SOT 2618021 SOS 1263819 HAS SOPS 766741 HAS SOUS 364960 HAS SOUPS 350210 WITH SCORE 351473.819
AT ITER 959 NEW BEST:: SOT 2617807 SOS 1263174 HAS SOPS 766096 HAS SOUS 364843 HAS SOUPS 350093 WITH SCORE 351356.174
AT ITER 971 NEW BEST:: SOT 2617804 SOS 1263036 HAS SOPS 765958 HAS SOUS 364837 HAS SOUPS 350087 WITH SCORE 351350.036
AT ITER 976 NEW BEST:: SOT 2617804 SOS 1262757 HAS SOPS 765679 HAS SOUS 364837 HAS SOUPS 350087 WITH SCORE 351349.757
AT ITER 983 NEW BEST:: SOT 2617771 SOS 1262890 HAS SOPS 765812 HAS SOUS 364771 HAS SOUPS 350021 WITH SCORE 351283.89
AT ITER 984 NEW BEST:: SOT 2618261 SOS 1263390 HAS SOPS 766256 HAS SOUS 364659 HAS SOUPS 349909 WITH SCORE 351172.39
AT ITER 987 NEW BEST:: SOT 2618251 SOS 1262951 HAS SOPS 765070 HAS SOUS 363957 HAS SOUPS 349207 WITH SCORE 350469.951
AT ITER 988 NEW BEST:: SOT 2617517 SOS 1263282 HAS SOPS 764238 HAS SOUS 363504 HAS SOUPS 348691 WITH SCORE 349954.282
AT ITER 1000 NEW BEST:: SOT 2618023 SOS 1263463 HAS SOPS 764499 HAS SOUS 363367 HAS SOUPS 348496 WITH SCORE 349759.463
AT ITER 1019 NEW BEST:: SOT 2617974 SOS 1263512 HAS SOPS 764548 HAS SOUS 363269 HAS SOUPS 348398 WITH SCORE 349661.512
AT ITER 1021 NEW BEST:: SOT 2617856 SOS 1260990 HAS SOPS 762026 HAS SOUS 363033 HAS SOUPS 348162 WITH SCORE 349422.99
AT ITER 1042 NEW BEST:: SOT 2618366 SOS 1261414 HAS SOPS 762450 HAS SOUS 362998 HAS SOUPS 348127 WITH SCORE 349388.414
AT ITER 1049 NEW BEST:: SOT 2618396 SOS 1264322 HAS SOPS 765252 HAS SOUS 362983 HAS SOUPS 348112 WITH SCORE 349376.322
AT ITER 1053 NEW BEST:: SOT 2618011 SOS 1263752 HAS SOPS 764494 HAS SOUS 362467 HAS SOUPS 347502 WITH SCORE 348765.752
AT ITER 1060 NEW BEST:: SOT 2615610 SOS 1261323 HAS SOPS 762023 HAS SOUS 359965 HAS SOUPS 344966 WITH SCORE 346227.323
AT ITER 1066 NEW BEST:: SOT 2615167 SOS 1260690 HAS SOPS 761573 HAS SOUS 359515 HAS SOUPS 344516 WITH SCORE 345776.69
AT ITER 1070 NEW BEST:: SOT 2614948 SOS 1260457 HAS SOPS 761340 HAS SOUS 359515 HAS SOUPS 344516 WITH SCORE 345776.457
AT ITER 1078 NEW BEST:: SOT 2614935 SOS 1260205 HAS SOPS 761088 HAS SOUS 359376 HAS SOUPS 344377 WITH SCORE 345637.205
AT ITER 1081 NEW BEST:: SOT 2614891 SOS 1260044 HAS SOPS 761044 HAS SOUS 359340 HAS SOUPS 344341 WITH SCORE 345601.044
AT ITER 1083 NEW BEST:: SOT 2614891 SOS 1259558 HAS SOPS 760558 HAS SOUS 359340 HAS SOUPS 344341 WITH SCORE 345600.558
AT ITER 1094 NEW BEST:: SOT 2614838 SOS 1257832 HAS SOPS 760307 HAS SOUS 358888 HAS SOUPS 343993 WITH SCORE 345250.832
AT ITER 1095 NEW BEST:: SOT 2614838 SOS 1256996 HAS SOPS 759471 HAS SOUS 358888 HAS SOUPS 343993 WITH SCORE 345249.996
AT ITER 1108 NEW BEST:: SOT 2614838 SOS 1256732 HAS SOPS 759207 HAS SOUS 358888 HAS SOUPS 343993 WITH SCORE 345249.732
AT ITER 1118 NEW BEST:: SOT 2614722 SOS 1256590 HAS SOPS 759193 HAS SOUS 358874 HAS SOUPS 343979 WITH SCORE 345235.59
AT ITER 1122 NEW BEST:: SOT 2614722 SOS 1256422 HAS SOPS 759025 HAS SOUS 358874 HAS SOUPS 343979 WITH SCORE 345235.422
AT ITER 1126 NEW BEST:: SOT 2614621 SOS 1255412 HAS SOPS 758015 HAS SOUS 358672 HAS SOUPS 343777 WITH SCORE 345032.412
AT ITER 1130 NEW BEST:: SOT 2614567 SOS 1255136 HAS SOPS 757739 HAS SOUS 358564 HAS SOUPS 343669 WITH SCORE 344924.136
AT ITER 1138 NEW BEST:: SOT 2614780 SOS 1229441 HAS SOPS 701980 HAS SOUS 355167 HAS SOUPS 340320 WITH SCORE 341549.441
AT ITER 1140 NEW BEST:: SOT 2614780 SOS 1229335 HAS SOPS 701874 HAS SOUS 355167 HAS SOUPS 340320 WITH SCORE 341549.335
AT ITER 1152 NEW BEST:: SOT 2614734 SOS 1229197 HAS SOPS 701736 HAS SOUS 355167 HAS SOUPS 340320 WITH SCORE 341549.197
AT ITER 1162 NEW BEST:: SOT 2614734 SOS 1226453 HAS SOPS 698992 HAS SOUS 355167 HAS SOUPS 340320 WITH SCORE 341546.453
AT ITER 1187 NEW BEST:: SOT 2613993 SOS 1225273 HAS SOPS 697555 HAS SOUS 353866 HAS SOUPS 339012 WITH SCORE 340237.273
AT ITER 1205 NEW BEST:: SOT 2613698 SOS 1224388 HAS SOPS 696670 HAS SOUS 353571 HAS SOUPS 338717 WITH SCORE 339941.388
AT ITER 1211 NEW BEST:: SOT 2613875 SOS 1224565 HAS SOPS 696097 HAS SOUS 353007 HAS SOUPS 338099 WITH SCORE 339323.565
AT ITER 1212 NEW BEST:: SOT 2613974 SOS 1224283 HAS SOPS 695815 HAS SOUS 352965 HAS SOUPS 338057 WITH SCORE 339281.283
AT ITER 1219 NEW BEST:: SOT 2613974 SOS 1224322 HAS SOPS 695854 HAS SOUS 352916 HAS SOUPS 338008 WITH SCORE 339232.322
AT ITER 1233 NEW BEST:: SOT 2613894 SOS 1224242 HAS SOPS 695694 HAS SOUS 352756 HAS SOUPS 337848 WITH SCORE 339072.242
AT ITER 1238 NEW BEST:: SOT 2613734 SOS 1222626 HAS SOPS 691593 HAS SOUS 352751 HAS SOUPS 337810 WITH SCORE 339032.626
AT ITER 1239 NEW BEST:: SOT 2613197 SOS 1224615 HAS SOPS 691066 HAS SOUS 352597 HAS SOUPS 337619 WITH SCORE 338843.615
AT ITER 1242 NEW BEST:: SOT 2613197 SOS 1224589 HAS SOPS 691040 HAS SOUS 352597 HAS SOUPS 337619 WITH SCORE 338843.589
AT ITER 1243 NEW BEST:: SOT 2612849 SOS 1224192 HAS SOPS 690866 HAS SOUS 352320 HAS SOUPS 337364 WITH SCORE 338588.192
AT ITER 1251 NEW BEST:: SOT 2603209 SOS 1287022 HAS SOPS 684723 HAS SOUS 352361 HAS SOUPS 336665 WITH SCORE 337952.022
AT ITER 1254 NEW BEST:: SOT 2603023 SOS 1286704 HAS SOPS 684393 HAS SOUS 352095 HAS SOUPS 336396 WITH SCORE 337682.704
AT ITER 1266 NEW BEST:: SOT 2603023 SOS 1286340 HAS SOPS 684029 HAS SOUS 352095 HAS SOUPS 336396 WITH SCORE 337682.34
AT ITER 1283 NEW BEST:: SOT 2603265 SOS 1286617 HAS SOPS 684268 HAS SOUS 352089 HAS SOUPS 336390 WITH SCORE 337676.617
AT ITER 1286 NEW BEST:: SOT 2603156 SOS 1286508 HAS SOPS 684159 HAS SOUS 352062 HAS SOUPS 336363 WITH SCORE 337649.508
AT ITER 1288 NEW BEST:: SOT 2603156 SOS 1286356 HAS SOPS 684007 HAS SOUS 352062 HAS SOUPS 336363 WITH SCORE 337649.356
AT ITER 1292 NEW BEST:: SOT 2603055 SOS 1285864 HAS SOPS 683515 HAS SOUS 352025 HAS SOUPS 336326 WITH SCORE 337611.864
AT ITER 1306 NEW BEST:: SOT 2602931 SOS 1285288 HAS SOPS 682939 HAS SOUS 351901 HAS SOUPS 336202 WITH SCORE 337487.288
AT ITER 1323 NEW BEST:: SOT 2602931 SOS 1285288 HAS SOPS 682928 HAS SOUS 351890 HAS SOUPS 336191 WITH SCORE 337476.288
AT ITER 1324 NEW BEST:: SOT 2602872 SOS 1284812 HAS SOPS 682452 HAS SOUS 351831 HAS SOUPS 336132 WITH SCORE 337416.812
AT ITER 1330 NEW BEST:: SOT 2602857 SOS 1284440 HAS SOPS 682080 HAS SOUS 351816 HAS SOUPS 336117 WITH SCORE 337401.44
AT ITER 1345 NEW BEST:: SOT 2602784 SOS 1284162 HAS SOPS 681802 HAS SOUS 351670 HAS SOUPS 335971 WITH SCORE 337255.162
AT ITER 1352 NEW BEST:: SOT 2602784 SOS 1284126 HAS SOPS 681766 HAS SOUS 351670 HAS SOUPS 335971 WITH SCORE 337255.126
AT ITER 1360 NEW BEST:: SOT 2602630 SOS 1284938 HAS SOPS 682578 HAS SOUS 351490 HAS SOUPS 335791 WITH SCORE 337075.938
AT ITER 1361 NEW BEST:: SOT 2602626 SOS 1284934 HAS SOPS 682574 HAS SOUS 351486 HAS SOUPS 335787 WITH SCORE 337071.934
AT ITER 1364 NEW BEST:: SOT 2602346 SOS 1279676 HAS SOPS 682457 HAS SOUS 351264 HAS SOUPS 335622 WITH SCORE 336901.676
AT ITER 1366 NEW BEST:: SOT 2601918 SOS 1279230 HAS SOPS 682011 HAS SOUS 351250 HAS SOUPS 335608 WITH SCORE 336887.23
AT ITER 1376 NEW BEST:: SOT 2601922 SOS 1273914 HAS SOPS 681858 HAS SOUS 351022 HAS SOUPS 335446 WITH SCORE 336719.914
AT ITER 1383 NEW BEST:: SOT 2601878 SOS 1273518 HAS SOPS 681462 HAS SOUS 350934 HAS SOUPS 335358 WITH SCORE 336631.518
AT ITER 1386 NEW BEST:: SOT 2601878 SOS 1273376 HAS SOPS 681320 HAS SOUS 350934 HAS SOUPS 335358 WITH SCORE 336631.376
AT ITER 1387 NEW BEST:: SOT 2601096 SOS 1272467 HAS SOPS 680440 HAS SOUS 350838 HAS SOUPS 335262 WITH SCORE 336534.467
AT ITER 1394 NEW BEST:: SOT 2601005 SOS 1271398 HAS SOPS 679371 HAS SOUS 350656 HAS SOUPS 335080 WITH SCORE 336351.398
AT ITER 1400 NEW BEST:: SOT 2601684 SOS 1272077 HAS SOPS 679969 HAS SOUS 350480 HAS SOUPS 334904 WITH SCORE 336176.077
AT ITER 1402 NEW BEST:: SOT 2601708 SOS 1272016 HAS SOPS 679958 HAS SOUS 350419 HAS SOUPS 334843 WITH SCORE 336115.016
AT ITER 1404 NEW BEST:: SOT 2601708 SOS 1271932 HAS SOPS 679874 HAS SOUS 350419 HAS SOUPS 334843 WITH SCORE 336114.932
AT ITER 1405 NEW BEST:: SOT 2601609 SOS 1271888 HAS SOPS 679830 HAS SOUS 350295 HAS SOUPS 334719 WITH SCORE 335990.888
AT ITER 1424 NEW BEST:: SOT 2601609 SOS 1271708 HAS SOPS 679650 HAS SOUS 350295 HAS SOUPS 334719 WITH SCORE 335990.708
AT ITER 1435 NEW BEST:: SOT 2601561 SOS 1272044 HAS SOPS 679986 HAS SOUS 350199 HAS SOUPS 334623 WITH SCORE 335895.044
AT ITER 1440 NEW BEST:: SOT 2600925 SOS 1224926 HAS SOPS 676047 HAS SOUS 347358 HAS SOUPS 332164 WITH SCORE 333388.926
AT ITER 1441 NEW BEST:: SOT 2600624 SOS 1226062 HAS SOPS 677789 HAS SOUS 346900 HAS SOUPS 331716 WITH SCORE 332942.062
AT ITER 1496 NEW BEST:: SOT 2599592 SOS 1224986 HAS SOPS 676713 HAS SOUS 346876 HAS SOUPS 331692 WITH SCORE 332916.986
AT ITER 1509 NEW BEST:: SOT 2599592 SOS 1224530 HAS SOPS 676257 HAS SOUS 346876 HAS SOUPS 331692 WITH SCORE 332916.53
AT ITER 1512 NEW BEST:: SOT 2599521 SOS 1223997 HAS SOPS 675724 HAS SOUS 346726 HAS SOUPS 331542 WITH SCORE 332765.997
AT ITER 1524 NEW BEST:: SOT 2599521 SOS 1223915 HAS SOPS 675642 HAS SOUS 346726 HAS SOUPS 331542 WITH SCORE 332765.915
AT ITER 1536 NEW BEST:: SOT 2599521 SOS 1223573 HAS SOPS 675300 HAS SOUS 346585 HAS SOUPS 331401 WITH SCORE 332624.573
AT ITER 1538 NEW BEST:: SOT 2599478 SOS 1223210 HAS SOPS 674937 HAS SOUS 346440 HAS SOUPS 331256 WITH SCORE 332479.21
AT ITER 1542 NEW BEST:: SOT 2599478 SOS 1222990 HAS SOPS 674717 HAS SOUS 346368 HAS SOUPS 331184 WITH SCORE 332406.99
AT ITER 1549 NEW BEST:: SOT 2599465 SOS 1222938 HAS SOPS 674665 HAS SOUS 346342 HAS SOUPS 331158 WITH SCORE 332380.938
AT ITER 1553 NEW BEST:: SOT 2599238 SOS 1222062 HAS SOPS 673789 HAS SOUS 345848 HAS SOUPS 330664 WITH SCORE 331886.062
AT ITER 1556 NEW BEST:: SOT 2599237 SOS 1222220 HAS SOPS 673947 HAS SOUS 345846 HAS SOUPS 330662 WITH SCORE 331884.22
AT ITER 1558 NEW BEST:: SOT 2599237 SOS 1222145 HAS SOPS 673872 HAS SOUS 345846 HAS SOUPS 330662 WITH SCORE 331884.145
AT ITER 1570 NEW BEST:: SOT 2599223 SOS 1221797 HAS SOPS 673524 HAS SOUS 345786 HAS SOUPS 330602 WITH SCORE 331823.797
AT ITER 1575 NEW BEST:: SOT 2586239 SOS 1209866 HAS SOPS 660412 HAS SOUS 333219 HAS SOUPS 317531 WITH SCORE 318740.866
AT ITER 1579 NEW BEST:: SOT 2586249 SOS 1209927 HAS SOPS 660473 HAS SOUS 333188 HAS SOUPS 317500 WITH SCORE 318709.927
AT ITER 1589 NEW BEST:: SOT 2586209 SOS 1207920 HAS SOPS 658466 HAS SOUS 333017 HAS SOUPS 317329 WITH SCORE 318536.92
AT ITER 1598 NEW BEST:: SOT 2586135 SOS 1207772 HAS SOPS 658318 HAS SOUS 332869 HAS SOUPS 317181 WITH SCORE 318388.772
AT ITER 1601 NEW BEST:: SOT 2586121 SOS 1207772 HAS SOPS 658290 HAS SOUS 332842 HAS SOUPS 317153 WITH SCORE 318360.772
AT ITER 1615 NEW BEST:: SOT 2586096 SOS 1207572 HAS SOPS 658090 HAS SOUS 332792 HAS SOUPS 317103 WITH SCORE 318310.572
AT ITER 1619 NEW BEST:: SOT 2585861 SOS 1207102 HAS SOPS 657620 HAS SOUS 332557 HAS SOUPS 316868 WITH SCORE 318075.102
AT ITER 1624 NEW BEST:: SOT 2585857 SOS 1207098 HAS SOPS 657616 HAS SOUS 332553 HAS SOUPS 316864 WITH SCORE 318071.098
AT ITER 1628 NEW BEST:: SOT 2586621 SOS 1207902 HAS SOPS 654986 HAS SOUS 329224 HAS SOUPS 313535 WITH SCORE 314742.902
AT ITER 1641 NEW BEST:: SOT 2586494 SOS 1207775 HAS SOPS 654732 HAS SOUS 329040 HAS SOUPS 313224 WITH SCORE 314431.775
AT ITER 1646 NEW BEST:: SOT 2586494 SOS 1207761 HAS SOPS 654718 HAS SOUS 329040 HAS SOUPS 313224 WITH SCORE 314431.761
AT ITER 1647 NEW BEST:: SOT 2584884 SOS 1206151 HAS SOPS 652927 HAS SOUS 327799 HAS SOUPS 311802 WITH SCORE 313008.151
AT ITER 1651 NEW BEST:: SOT 2584895 SOS 1206189 HAS SOPS 651957 HAS SOUS 327690 HAS SOUPS 311592 WITH SCORE 312798.189
AT ITER 1657 NEW BEST:: SOT 2584895 SOS 1206040 HAS SOPS 651808 HAS SOUS 327622 HAS SOUPS 311524 WITH SCORE 312730.04
AT ITER 1660 NEW BEST:: SOT 2584890 SOS 1203427 HAS SOPS 651627 HAS SOUS 327582 HAS SOUPS 311480 WITH SCORE 312683.427
AT ITER 1664 NEW BEST:: SOT 2584816 SOS 1203871 HAS SOPS 652071 HAS SOUS 327434 HAS SOUPS 311332 WITH SCORE 312535.871
AT ITER 1667 NEW BEST:: SOT 2584705 SOS 1203694 HAS SOPS 651894 HAS SOUS 327257 HAS SOUPS 311155 WITH SCORE 312358.694
AT ITER 1671 NEW BEST:: SOT 2584705 SOS 1203694 HAS SOPS 651894 HAS SOUS 327212 HAS SOUPS 311110 WITH SCORE 312313.694
AT ITER 1672 NEW BEST:: SOT 2584674 SOS 1203632 HAS SOPS 651832 HAS SOUS 327150 HAS SOUPS 311048 WITH SCORE 312251.632
AT ITER 1690 NEW BEST:: SOT 2584117 SOS 1202918 HAS SOPS 651135 HAS SOUS 326647 HAS SOUPS 310351 WITH SCORE 311553.918
AT ITER 1697 NEW BEST:: SOT 2584129 SOS 1202789 HAS SOPS 651006 HAS SOUS 326620 HAS SOUPS 310324 WITH SCORE 311526.789
AT ITER 1702 NEW BEST:: SOT 2584074 SOS 1203229 HAS SOPS 651446 HAS SOUS 326510 HAS SOUPS 310214 WITH SCORE 311417.229
AT ITER 1704 NEW BEST:: SOT 2583486 SOS 1202629 HAS SOPS 650846 HAS SOUS 325936 HAS SOUPS 309640 WITH SCORE 310842.629
AT ITER 1717 NEW BEST:: SOT 2583410 SOS 1202251 HAS SOPS 650829 HAS SOUS 325919 HAS SOUPS 309623 WITH SCORE 310825.251
AT ITER 1719 NEW BEST:: SOT 2583410 SOS 1202232 HAS SOPS 650810 HAS SOUS 325915 HAS SOUPS 309619 WITH SCORE 310821.232
AT ITER 1739 NEW BEST:: SOT 2583410 SOS 1202482 HAS SOPS 651060 HAS SOUS 325749 HAS SOUPS 309453 WITH SCORE 310655.482
AT ITER 1741 NEW BEST:: SOT 2581462 SOS 1200576 HAS SOPS 650305 HAS SOUS 325671 HAS SOUPS 309375 WITH SCORE 310575.576
AT ITER 1743 NEW BEST:: SOT 2581410 SOS 1200472 HAS SOPS 650201 HAS SOUS 325567 HAS SOUPS 309271 WITH SCORE 310471.472
AT ITER 1771 NEW BEST:: SOT 2581405 SOS 1200462 HAS SOPS 650146 HAS SOUS 325557 HAS SOUPS 309256 WITH SCORE 310456.462
AT ITER 1773 NEW BEST:: SOT 2581405 SOS 1200450 HAS SOPS 650134 HAS SOUS 325557 HAS SOUPS 309256 WITH SCORE 310456.45
AT ITER 1774 NEW BEST:: SOT 2581405 SOS 1200418 HAS SOPS 650102 HAS SOUS 325525 HAS SOUPS 309224 WITH SCORE 310424.418
AT ITER 1777 NEW BEST:: SOT 2581342 SOS 1200572 HAS SOPS 650256 HAS SOUS 325434 HAS SOUPS 309133 WITH SCORE 310333.572
AT ITER 1786 NEW BEST:: SOT 2581259 SOS 1200459 HAS SOPS 650143 HAS SOUS 325321 HAS SOUPS 309020 WITH SCORE 310220.459
AT ITER 1800 NEW BEST:: SOT 2581152 SOS 1200343 HAS SOPS 649842 HAS SOUS 325020 HAS SOUPS 308719 WITH SCORE 309919.343
AT ITER 1801 NEW BEST:: SOT 2581152 SOS 1200312 HAS SOPS 649811 HAS SOUS 325020 HAS SOUPS 308719 WITH SCORE 309919.312
AT ITER 1807 NEW BEST:: SOT 2581152 SOS 1200179 HAS SOPS 649678 HAS SOUS 325020 HAS SOUPS 308719 WITH SCORE 309919.179
AT ITER 1813 NEW BEST:: SOT 2581032 SOS 1200333 HAS SOPS 649832 HAS SOUS 324934 HAS SOUPS 308633 WITH SCORE 309833.333
AT ITER 1817 NEW BEST:: SOT 2580893 SOS 1200194 HAS SOPS 649693 HAS SOUS 324902 HAS SOUPS 308601 WITH SCORE 309801.194
AT ITER 1832 NEW BEST:: SOT 2585721 SOS 1204994 HAS SOPS 654013 HAS SOUS 324847 HAS SOUPS 308546 WITH SCORE 309750.994
AT ITER 1840 NEW BEST:: SOT 2585631 SOS 1204833 HAS SOPS 653852 HAS SOUS 324686 HAS SOUPS 308385 WITH SCORE 309589.833
AT ITER 1841 NEW BEST:: SOT 2585394 SOS 1204374 HAS SOPS 653393 HAS SOUS 324357 HAS SOUPS 308056 WITH SCORE 309260.374
AT ITER 1845 NEW BEST:: SOT 2585394 SOS 1204361 HAS SOPS 653302 HAS SOUS 324357 HAS SOUPS 308056 WITH SCORE 309260.361
AT ITER 1846 NEW BEST:: SOT 2585915 SOS 1204882 HAS SOPS 653897 HAS SOUS 324286 HAS SOUPS 307985 WITH SCORE 309189.882
AT ITER 1848 NEW BEST:: SOT 2585875 SOS 1204731 HAS SOPS 653746 HAS SOUS 324206 HAS SOUPS 307905 WITH SCORE 309109.731
AT ITER 1862 NEW BEST:: SOT 2585668 SOS 1204388 HAS SOPS 653554 HAS SOUS 324014 HAS SOUPS 307713 WITH SCORE 308917.388
AT ITER 1864 NEW BEST:: SOT 2585666 SOS 1204385 HAS SOPS 653551 HAS SOUS 324011 HAS SOUPS 307710 WITH SCORE 308914.385
AT ITER 1867 NEW BEST:: SOT 2585666 SOS 1204159 HAS SOPS 653325 HAS SOUS 324011 HAS SOUPS 307710 WITH SCORE 308914.159
AT ITER 1871 NEW BEST:: SOT 2585598 SOS 1204091 HAS SOPS 653257 HAS SOUS 323875 HAS SOUPS 307574 WITH SCORE 308778.091
AT ITER 1890 NEW BEST:: SOT 2585597 SOS 1204088 HAS SOPS 653254 HAS SOUS 323873 HAS SOUPS 307572 WITH SCORE 308776.088
AT ITER 1908 NEW BEST:: SOT 2585597 SOS 1203431 HAS SOPS 652597 HAS SOUS 323873 HAS SOUPS 307572 WITH SCORE 308775.431
AT ITER 1917 NEW BEST:: SOT 2586144 SOS 1203978 HAS SOPS 652415 HAS SOUS 323691 HAS SOUPS 307390 WITH SCORE 308593.978
AT ITER 1928 NEW BEST:: SOT 2586299 SOS 1203811 HAS SOPS 652102 HAS SOUS 323515 HAS SOUPS 307214 WITH SCORE 308417.811
AT ITER 1936 NEW BEST:: SOT 2586267 SOS 1203459 HAS SOPS 651750 HAS SOUS 323451 HAS SOUPS 307150 WITH SCORE 308353.459
AT ITER 1939 NEW BEST:: SOT 2586886 SOS 1203770 HAS SOPS 652124 HAS SOUS 323450 HAS SOUPS 307149 WITH SCORE 308352.77
AT ITER 1944 NEW BEST:: SOT 2586886 SOS 1203770 HAS SOPS 652124 HAS SOUS 323415 HAS SOUPS 307114 WITH SCORE 308317.77
AT ITER 1946 NEW BEST:: SOT 2586852 SOS 1203736 HAS SOPS 651946 HAS SOUS 323360 HAS SOUPS 306936 WITH SCORE 308139.736
AT ITER 1970 NEW BEST:: SOT 2586818 SOS 1203717 HAS SOPS 651927 HAS SOUS 323341 HAS SOUPS 306917 WITH SCORE 308120.717
AT ITER 1985 NEW BEST:: SOT 2586717 SOS 1203685 HAS SOPS 651895 HAS SOUS 323240 HAS SOUPS 306816 WITH SCORE 308019.685
AT ITER 1986 NEW BEST:: SOT 2586374 SOS 1204520 HAS SOPS 652797 HAS SOUS 323099 HAS SOUPS 306675 WITH SCORE 307879.52
AT ITER 1987 NEW BEST:: SOT 2586374 SOS 1204204 HAS SOPS 652481 HAS SOUS 323099 HAS SOUPS 306675 WITH SCORE 307879.204
AT ITER 2011 NEW BEST:: SOT 2586300 SOS 1204150 HAS SOPS 652427 HAS SOUS 323045 HAS SOUPS 306621 WITH SCORE 307825.15
AT ITER 2020 NEW BEST:: SOT 2586672 SOS 1199252 HAS SOPS 652658 HAS SOUS 321611 HAS SOUPS 305234 WITH SCORE 306433.252
AT ITER 2022 NEW BEST:: SOT 2586646 SOS 1196803 HAS SOPS 650209 HAS SOUS 321547 HAS SOUPS 305170 WITH SCORE 306366.803
AT ITER 2025 NEW BEST:: SOT 2586489 SOS 1196646 HAS SOPS 650209 HAS SOUS 321547 HAS SOUPS 305170 WITH SCORE 306366.646
AT ITER 2029 NEW BEST:: SOT 2586404 SOS 1196428 HAS SOPS 649991 HAS SOUS 321377 HAS SOUPS 305000 WITH SCORE 306196.428
AT ITER 2047 NEW BEST:: SOT 2586312 SOS 1196172 HAS SOPS 649507 HAS SOUS 321008 HAS SOUPS 304631 WITH SCORE 305827.172
AT ITER 2054 NEW BEST:: SOT 2586312 SOS 1195926 HAS SOPS 649261 HAS SOUS 320948 HAS SOUPS 304571 WITH SCORE 305766.926
AT ITER 2058 NEW BEST:: SOT 2586307 SOS 1195916 HAS SOPS 649251 HAS SOUS 320933 HAS SOUPS 304556 WITH SCORE 305751.916
AT ITER 2060 NEW BEST:: SOT 2586258 SOS 1195720 HAS SOPS 649055 HAS SOUS 320835 HAS SOUPS 304458 WITH SCORE 305653.72
AT ITER 2063 NEW BEST:: SOT 2586250 SOS 1195712 HAS SOPS 649023 HAS SOUS 320803 HAS SOUPS 304426 WITH SCORE 305621.712
AT ITER 2067 NEW BEST:: SOT 2586197 SOS 1198942 HAS SOPS 649185 HAS SOUS 320791 HAS SOUPS 304401 WITH SCORE 305599.942
AT ITER 2073 NEW BEST:: SOT 2585984 SOS 1198516 HAS SOPS 648759 HAS SOUS 320365 HAS SOUPS 303975 WITH SCORE 305173.516
AT ITER 2080 NEW BEST:: SOT 2585939 SOS 1198426 HAS SOPS 648669 HAS SOUS 320275 HAS SOUPS 303885 WITH SCORE 305083.426
AT ITER 2087 NEW BEST:: SOT 2585931 SOS 1198474 HAS SOPS 648657 HAS SOUS 320260 HAS SOUPS 303873 WITH SCORE 305071.474
AT ITER 2090 NEW BEST:: SOT 2585910 SOS 1198132 HAS SOPS 648315 HAS SOUS 320248 HAS SOUPS 303861 WITH SCORE 305059.132
AT ITER 2093 NEW BEST:: SOT 2585891 SOS 1198038 HAS SOPS 648221 HAS SOUS 320210 HAS SOUPS 303823 WITH SCORE 305021.038
AT ITER 2113 NEW BEST:: SOT 2585889 SOS 1198032 HAS SOPS 648217 HAS SOUS 320012 HAS SOUPS 303819 WITH SCORE 305017.032
AT ITER 2120 NEW BEST:: SOT 2585872 SOS 1197938 HAS SOPS 648123 HAS SOUS 319998 HAS SOUPS 303805 WITH SCORE 305002.938
AT ITER 2121 NEW BEST:: SOT 2585924 SOS 1197900 HAS SOPS 648085 HAS SOUS 319907 HAS SOUPS 303714 WITH SCORE 304911.9
AT ITER 2143 NEW BEST:: SOT 2585924 SOS 1197753 HAS SOPS 647938 HAS SOUS 319907 HAS SOUPS 303714 WITH SCORE 304911.753
AT ITER 2146 NEW BEST:: SOT 2585730 SOS 1198550 HAS SOPS 649543 HAS SOUS 319815 HAS SOUPS 303622 WITH SCORE 304820.55
AT ITER 2166 NEW BEST:: SOT 2585707 SOS 1198504 HAS SOPS 648968 HAS SOUS 319240 HAS SOUPS 303070 WITH SCORE 304268.504
AT ITER 2172 NEW BEST:: SOT 2585689 SOS 1198288 HAS SOPS 648752 HAS SOUS 319186 HAS SOUPS 303016 WITH SCORE 304214.288
AT ITER 2179 NEW BEST:: SOT 2585687 SOS 1198286 HAS SOPS 648750 HAS SOUS 319184 HAS SOUPS 303014 WITH SCORE 304212.286
AT ITER 2181 NEW BEST:: SOT 2585643 SOS 1198242 HAS SOPS 648486 HAS SOUS 319184 HAS SOUPS 302970 WITH SCORE 304168.242
AT ITER 2193 NEW BEST:: SOT 2585577 SOS 1197922 HAS SOPS 647671 HAS SOUS 318480 HAS SOUPS 302266 WITH SCORE 303463.922
AT ITER 2194 NEW BEST:: SOT 2585665 SOS 1198010 HAS SOPS 647633 HAS SOUS 318442 HAS SOUPS 302228 WITH SCORE 303426.01
AT ITER 2199 NEW BEST:: SOT 2585665 SOS 1197960 HAS SOPS 647583 HAS SOUS 318442 HAS SOUPS 302228 WITH SCORE 303425.96
AT ITER 2200 NEW BEST:: SOT 2585654 SOS 1197938 HAS SOPS 647561 HAS SOUS 318442 HAS SOUPS 302228 WITH SCORE 303425.938
AT ITER 2201 NEW BEST:: SOT 2585552 SOS 1197734 HAS SOPS 647357 HAS SOUS 318328 HAS SOUPS 302114 WITH SCORE 303311.734
AT ITER 2212 NEW BEST:: SOT 2585373 SOS 1197376 HAS SOPS 646999 HAS SOUS 318281 HAS SOUPS 302067 WITH SCORE 303264.376
AT ITER 2237 NEW BEST:: SOT 2585373 SOS 1197240 HAS SOPS 646863 HAS SOUS 318215 HAS SOUPS 302001 WITH SCORE 303198.24
AT ITER 2245 NEW BEST:: SOT 2585324 SOS 1196991 HAS SOPS 646632 HAS SOUS 318113 HAS SOUPS 301899 WITH SCORE 303095.991
AT ITER 2246 NEW BEST:: SOT 2585297 SOS 1197084 HAS SOPS 646725 HAS SOUS 318059 HAS SOUPS 301845 WITH SCORE 303042.084
AT ITER 2248 NEW BEST:: SOT 2584922 SOS 1196750 HAS SOPS 646377 HAS SOUS 317598 HAS SOUPS 301384 WITH SCORE 302580.75
AT ITER 2252 NEW BEST:: SOT 2584922 SOS 1196681 HAS SOPS 646308 HAS SOUS 317598 HAS SOUPS 301384 WITH SCORE 302580.681
AT ITER 2254 NEW BEST:: SOT 2584936 SOS 1196755 HAS SOPS 646382 HAS SOUS 317566 HAS SOUPS 301352 WITH SCORE 302548.755
AT ITER 2256 NEW BEST:: SOT 2584923 SOS 1196742 HAS SOPS 646369 HAS SOUS 317540 HAS SOUPS 301326 WITH SCORE 302522.742
AT ITER 2259 NEW BEST:: SOT 2584899 SOS 1196526 HAS SOPS 646153 HAS SOUS 317492 HAS SOUPS 301278 WITH SCORE 302474.526
AT ITER 2260 NEW BEST:: SOT 2584539 SOS 1196705 HAS SOPS 646211 HAS SOUS 316964 HAS SOUPS 300750 WITH SCORE 301946.705
AT ITER 2265 NEW BEST:: SOT 2584412 SOS 1196535 HAS SOPS 645914 HAS SOUS 316667 HAS SOUPS 300453 WITH SCORE 301649.535
AT ITER 2267 NEW BEST:: SOT 2584412 SOS 1196465 HAS SOPS 645844 HAS SOUS 316660 HAS SOUPS 300446 WITH SCORE 301642.465
AT ITER 2273 NEW BEST:: SOT 2584474 SOS 1196596 HAS SOPS 645832 HAS SOUS 316951 HAS SOUPS 300423 WITH SCORE 301619.596
AT ITER 2289 NEW BEST:: SOT 2584462 SOS 1196584 HAS SOPS 645808 HAS SOUS 316927 HAS SOUPS 300399 WITH SCORE 301595.584
AT ITER 2293 NEW BEST:: SOT 2584100 SOS 1195940 HAS SOPS 643956 HAS SOUS 316206 HAS SOUPS 299614 WITH SCORE 300809.94
AT ITER 2295 NEW BEST:: SOT 2584168 SOS 1195940 HAS SOPS 643956 HAS SOUS 316121 HAS SOUPS 299529 WITH SCORE 300724.94
AT ITER 2300 NEW BEST:: SOT 2582787 SOS 1202292 HAS SOPS 642687 HAS SOUS 315924 HAS SOUPS 299220 WITH SCORE 300422.292
AT ITER 2304 NEW BEST:: SOT 2583388 SOS 1202930 HAS SOPS 643325 HAS SOUS 315869 HAS SOUPS 299165 WITH SCORE 300367.93
AT ITER 2316 NEW BEST:: SOT 2578788 SOS 1198428 HAS SOPS 638849 HAS SOUS 315531 HAS SOUPS 298827 WITH SCORE 300025.428
AT ITER 2320 NEW BEST:: SOT 2578756 SOS 1198380 HAS SOPS 638801 HAS SOUS 315499 HAS SOUPS 298795 WITH SCORE 299993.38
AT ITER 2322 NEW BEST:: SOT 2578827 SOS 1198449 HAS SOPS 638558 HAS SOUS 315298 HAS SOUPS 298594 WITH SCORE 299792.449
AT ITER 2331 NEW BEST:: SOT 2578749 SOS 1198215 HAS SOPS 638324 HAS SOUS 315142 HAS SOUPS 298438 WITH SCORE 299636.215
AT ITER 2343 NEW BEST:: SOT 2578646 SOS 1198199 HAS SOPS 638308 HAS SOUS 314977 HAS SOUPS 298273 WITH SCORE 299471.199
AT ITER 2344 NEW BEST:: SOT 2578650 SOS 1198057 HAS SOPS 638166 HAS SOUS 314970 HAS SOUPS 298266 WITH SCORE 299464.057
AT ITER 2346 NEW BEST:: SOT 2578650 SOS 1198007 HAS SOPS 638116 HAS SOUS 314920 HAS SOUPS 298216 WITH SCORE 299414.007
AT ITER 2358 NEW BEST:: SOT 2578650 SOS 1197875 HAS SOPS 637984 HAS SOUS 314920 HAS SOUPS 298216 WITH SCORE 299413.875
AT ITER 2364 NEW BEST:: SOT 2578516 SOS 1196067 HAS SOPS 635906 HAS SOUS 314798 HAS SOUPS 298094 WITH SCORE 299290.067
AT ITER 2375 NEW BEST:: SOT 2578565 SOS 1196096 HAS SOPS 635878 HAS SOUS 314658 HAS SOUPS 297954 WITH SCORE 299150.096
AT ITER 2376 NEW BEST:: SOT 2578431 SOS 1195828 HAS SOPS 635610 HAS SOUS 314524 HAS SOUPS 297820 WITH SCORE 299015.828
AT ITER 2380 NEW BEST:: SOT 2578325 SOS 1196782 HAS SOPS 636564 HAS SOUS 314418 HAS SOUPS 297714 WITH SCORE 298910.782
AT ITER 2388 NEW BEST:: SOT 2573455 SOS 1197570 HAS SOPS 631838 HAS SOUS 313391 HAS SOUPS 296220 WITH SCORE 297417.57
AT ITER 2390 NEW BEST:: SOT 2573405 SOS 1197454 HAS SOPS 631722 HAS SOUS 313378 HAS SOUPS 296207 WITH SCORE 297404.454
AT ITER 2399 NEW BEST:: SOT 2573486 SOS 1197246 HAS SOPS 631202 HAS SOUS 313519 HAS SOUPS 296196 WITH SCORE 297393.246
AT ITER 2411 NEW BEST:: SOT 2573448 SOS 1197170 HAS SOPS 631126 HAS SOUS 313519 HAS SOUPS 296196 WITH SCORE 297393.17
AT ITER 2421 NEW BEST:: SOT 2573401 SOS 1196845 HAS SOPS 630801 HAS SOUS 313472 HAS SOUPS 296149 WITH SCORE 297345.845
AT ITER 2432 NEW BEST:: SOT 2573393 SOS 1196837 HAS SOPS 630785 HAS SOUS 313372 HAS SOUPS 296133 WITH SCORE 297329.837
AT ITER 2437 NEW BEST:: SOT 2573373 SOS 1196713 HAS SOPS 630661 HAS SOUS 313248 HAS SOUPS 296009 WITH SCORE 297205.713
AT ITER 2439 NEW BEST:: SOT 2573397 SOS 1196777 HAS SOPS 630625 HAS SOUS 313161 HAS SOUPS 295922 WITH SCORE 297118.777
AT ITER 2443 NEW BEST:: SOT 2573005 SOS 1196385 HAS SOPS 629792 HAS SOUS 312977 HAS SOUPS 295480 WITH SCORE 296676.385
AT ITER 2451 NEW BEST:: SOT 2573005 SOS 1196178 HAS SOPS 629585 HAS SOUS 312977 HAS SOUPS 295480 WITH SCORE 296676.178
AT ITER 2456 NEW BEST:: SOT 2573005 SOS 1195748 HAS SOPS 629155 HAS SOUS 312977 HAS SOUPS 295480 WITH SCORE 296675.748
AT ITER 2471 NEW BEST:: SOT 2572983 SOS 1195730 HAS SOPS 629137 HAS SOUS 312955 HAS SOUPS 295458 WITH SCORE 296653.73
AT ITER 2482 NEW BEST:: SOT 2572728 SOS 1195390 HAS SOPS 628627 HAS SOUS 312569 HAS SOUPS 294948 WITH SCORE 296143.39
AT ITER 2485 NEW BEST:: SOT 2573120 SOS 1195782 HAS SOPS 629019 HAS SOUS 311668 HAS SOUPS 294047 WITH SCORE 295242.782
AT ITER 2488 NEW BEST:: SOT 2573165 SOS 1195581 HAS SOPS 628790 HAS SOUS 311642 HAS SOUPS 294021 WITH SCORE 295216.581
AT ITER 2492 NEW BEST:: SOT 2572805 SOS 1195221 HAS SOPS 628025 HAS SOUS 311302 HAS SOUPS 293616 WITH SCORE 294811.221
AT ITER 2493 NEW BEST:: SOT 2572805 SOS 1195221 HAS SOPS 619745 HAS SOUS 311890 HAS SOUPS 293571 WITH SCORE 294766.221
AT ITER 2503 NEW BEST:: SOT 2572805 SOS 1194906 HAS SOPS 619430 HAS SOUS 311890 HAS SOUPS 293571 WITH SCORE 294765.906
AT ITER 2504 NEW BEST:: SOT 2572796 SOS 1195284 HAS SOPS 619808 HAS SOUS 311872 HAS SOUPS 293553 WITH SCORE 294748.284
AT ITER 2512 NEW BEST:: SOT 2572783 SOS 1195271 HAS SOPS 619795 HAS SOUS 311846 HAS SOUPS 293527 WITH SCORE 294722.271
AT ITER 2518 NEW BEST:: SOT 2572643 SOS 1195131 HAS SOPS 619547 HAS SOUS 311598 HAS SOUPS 293279 WITH SCORE 294474.131
AT ITER 2528 NEW BEST:: SOT 2572637 SOS 1195161 HAS SOPS 619577 HAS SOUS 311586 HAS SOUPS 293267 WITH SCORE 294462.161
AT ITER 2550 NEW BEST:: SOT 2571806 SOS 1194433 HAS SOPS 618721 HAS SOUS 311589 HAS SOUPS 293208 WITH SCORE 294402.433
AT ITER 2557 NEW BEST:: SOT 2571806 SOS 1194337 HAS SOPS 618625 HAS SOUS 311589 HAS SOUPS 293208 WITH SCORE 294402.337
AT ITER 2569 NEW BEST:: SOT 2571873 SOS 1194302 HAS SOPS 618657 HAS SOUS 311252 HAS SOUPS 292871 WITH SCORE 294065.302
AT ITER 2580 NEW BEST:: SOT 2571848 SOS 1194419 HAS SOPS 618774 HAS SOUS 311060 HAS SOUPS 292679 WITH SCORE 293873.419
AT ITER 2585 NEW BEST:: SOT 2571798 SOS 1194719 HAS SOPS 619074 HAS SOUS 310960 HAS SOUPS 292579 WITH SCORE 293773.719
AT ITER 2595 NEW BEST:: SOT 2571756 SOS 1194635 HAS SOPS 619032 HAS SOUS 310960 HAS SOUPS 292579 WITH SCORE 293773.635
AT ITER 2601 NEW BEST:: SOT 2571756 SOS 1194320 HAS SOPS 618717 HAS SOUS 310960 HAS SOUPS 292579 WITH SCORE 293773.32
AT ITER 2602 NEW BEST:: SOT 2571561 SOS 1191825 HAS SOPS 618522 HAS SOUS 310372 HAS SOUPS 292036 WITH SCORE 293227.825
AT ITER 2607 NEW BEST:: SOT 2572292 SOS 1194178 HAS SOPS 621173 HAS SOUS 309336 HAS SOUPS 291000 WITH SCORE 292194.178
AT ITER 2614 NEW BEST:: SOT 2572230 SOS 1193775 HAS SOPS 620770 HAS SOUS 309212 HAS SOUPS 290876 WITH SCORE 292069.775
AT ITER 2636 NEW BEST:: SOT 2572230 SOS 1193736 HAS SOPS 620731 HAS SOUS 309212 HAS SOUPS 290876 WITH SCORE 292069.736
AT ITER 2641 NEW BEST:: SOT 2572801 SOS 1194429 HAS SOPS 621424 HAS SOUS 308957 HAS SOUPS 290621 WITH SCORE 291815.429
AT ITER 2643 NEW BEST:: SOT 2572658 SOS 1193985 HAS SOPS 620980 HAS SOUS 308735 HAS SOUPS 290399 WITH SCORE 291592.985
AT ITER 2646 NEW BEST:: SOT 2572650 SOS 1193985 HAS SOPS 621020 HAS SOUS 308711 HAS SOUPS 290383 WITH SCORE 291576.985
AT ITER 2661 NEW BEST:: SOT 2572577 SOS 1193963 HAS SOPS 620998 HAS SOUS 308565 HAS SOUPS 290237 WITH SCORE 291430.963
AT ITER 2664 NEW BEST:: SOT 2572526 SOS 1193547 HAS SOPS 620582 HAS SOUS 308379 HAS SOUPS 290051 WITH SCORE 291244.547
AT ITER 2676 NEW BEST:: SOT 2572419 SOS 1194043 HAS SOPS 621138 HAS SOUS 308237 HAS SOUPS 289909 WITH SCORE 291103.043
AT ITER 2678 NEW BEST:: SOT 2572261 SOS 1193747 HAS SOPS 620842 HAS SOUS 308197 HAS SOUPS 289869 WITH SCORE 291062.747
AT ITER 2680 NEW BEST:: SOT 2572001 SOS 1193459 HAS SOPS 620322 HAS SOUS 308161 HAS SOUPS 289805 WITH SCORE 290998.459
AT ITER 2682 NEW BEST:: SOT 2571947 SOS 1193508 HAS SOPS 620399 HAS SOUS 308109 HAS SOUPS 289753 WITH SCORE 290946.508
AT ITER 2696 NEW BEST:: SOT 2571931 SOS 1193492 HAS SOPS 620395 HAS SOUS 308093 HAS SOUPS 289737 WITH SCORE 290930.492
AT ITER 2718 NEW BEST:: SOT 2571838 SOS 1193403 HAS SOPS 620213 HAS SOUS 308000 HAS SOUPS 289644 WITH SCORE 290837.403
AT ITER 2723 NEW BEST:: SOT 2571838 SOS 1193236 HAS SOPS 620046 HAS SOUS 307985 HAS SOUPS 289629 WITH SCORE 290822.236
AT ITER 2729 NEW BEST:: SOT 2571837 SOS 1193230 HAS SOPS 620040 HAS SOUS 307979 HAS SOUPS 289623 WITH SCORE 290816.23
AT ITER 2743 NEW BEST:: SOT 2571805 SOS 1192837 HAS SOPS 619647 HAS SOUS 307915 HAS SOUPS 289559 WITH SCORE 290751.837
AT ITER 2770 NEW BEST:: SOT 2571136 SOS 1192168 HAS SOPS 619555 HAS SOUS 307858 HAS SOUPS 289467 WITH SCORE 290659.168
AT ITER 2778 NEW BEST:: SOT 2571056 SOS 1191936 HAS SOPS 619323 HAS SOUS 307778 HAS SOUPS 289387 WITH SCORE 290578.936
AT ITER 2788 NEW BEST:: SOT 2570584 SOS 1191224 HAS SOPS 618909 HAS SOUS 307010 HAS SOUPS 288681 WITH SCORE 289872.224
AT ITER 2792 NEW BEST:: SOT 2569762 SOS 1195024 HAS SOPS 618221 HAS SOUS 306785 HAS SOUPS 288376 WITH SCORE 289571.024
AT ITER 2794 NEW BEST:: SOT 2569757 SOS 1195014 HAS SOPS 618216 HAS SOUS 306780 HAS SOUPS 288371 WITH SCORE 289566.014
AT ITER 2796 NEW BEST:: SOT 2568474 SOS 1193731 HAS SOPS 617239 HAS SOUS 305803 HAS SOUPS 287394 WITH SCORE 288587.731
AT ITER 2805 NEW BEST:: SOT 2568451 SOS 1193846 HAS SOPS 617354 HAS SOUS 305757 HAS SOUPS 287348 WITH SCORE 288541.846
AT ITER 2811 NEW BEST:: SOT 2568451 SOS 1193785 HAS SOPS 617293 HAS SOUS 305757 HAS SOUPS 287348 WITH SCORE 288541.785
AT ITER 2818 NEW BEST:: SOT 2568378 SOS 1193858 HAS SOPS 617366 HAS SOUS 305684 HAS SOUPS 287275 WITH SCORE 288468.858
AT ITER 2825 NEW BEST:: SOT 2568376 SOS 1193707 HAS SOPS 617215 HAS SOUS 305680 HAS SOUPS 287271 WITH SCORE 288464.707
AT ITER 2832 NEW BEST:: SOT 2568354 SOS 1193674 HAS SOPS 617171 HAS SOUS 305636 HAS SOUPS 287227 WITH SCORE 288420.674
AT ITER 2842 NEW BEST:: SOT 2568354 SOS 1193490 HAS SOPS 616987 HAS SOUS 305636 HAS SOUPS 287227 WITH SCORE 288420.49
AT ITER 2844 NEW BEST:: SOT 2568283 SOS 1193348 HAS SOPS 616845 HAS SOUS 305494 HAS SOUPS 287085 WITH SCORE 288278.348
AT ITER 2863 NEW BEST:: SOT 2567700 SOS 1194779 HAS SOPS 618634 HAS SOUS 305117 HAS SOUPS 286708 WITH SCORE 287902.779
AT ITER 2867 NEW BEST:: SOT 2567682 SOS 1194731 HAS SOPS 618586 HAS SOUS 305081 HAS SOUPS 286672 WITH SCORE 287866.731
AT ITER 2873 NEW BEST:: SOT 2567629 SOS 1194552 HAS SOPS 618407 HAS SOUS 305028 HAS SOUPS 286619 WITH SCORE 287813.552
AT ITER 2895 NEW BEST:: SOT 2567550 SOS 1194308 HAS SOPS 618249 HAS SOUS 304980 HAS SOUPS 286514 WITH SCORE 287708.308
AT ITER 2896 NEW BEST:: SOT 2567539 SOS 1194186 HAS SOPS 617871 HAS SOUS 304793 HAS SOUPS 286327 WITH SCORE 287521.186
AT ITER 2899 NEW BEST:: SOT 2567516 SOS 1194192 HAS SOPS 617877 HAS SOUS 304747 HAS SOUPS 286281 WITH SCORE 287475.192
AT ITER 2909 NEW BEST:: SOT 2567516 SOS 1193862 HAS SOPS 617547 HAS SOUS 304714 HAS SOUPS 286248 WITH SCORE 287441.862
AT ITER 2931 NEW BEST:: SOT 2567512 SOS 1193396 HAS SOPS 617081 HAS SOUS 304603 HAS SOUPS 286137 WITH SCORE 287330.396
AT ITER 2942 NEW BEST:: SOT 2567512 SOS 1192822 HAS SOPS 616507 HAS SOUS 304603 HAS SOUPS 286137 WITH SCORE 287329.822
AT ITER 2947 NEW BEST:: SOT 2567374 SOS 1192684 HAS SOPS 616485 HAS SOUS 304448 HAS SOUPS 285988 WITH SCORE 287180.684
AT ITER 2951 NEW BEST:: SOT 2567217 SOS 1192332 HAS SOPS 616133 HAS SOUS 304141 HAS SOUPS 285681 WITH SCORE 286873.332
AT ITER 2952 NEW BEST:: SOT 2566457 SOS 1191436 HAS SOPS 615250 HAS SOUS 303258 HAS SOUPS 284798 WITH SCORE 285989.436
AT ITER 2955 NEW BEST:: SOT 2566454 SOS 1191430 HAS SOPS 615244 HAS SOUS 303252 HAS SOUPS 284792 WITH SCORE 285983.43
AT ITER 2966 NEW BEST:: SOT 2566454 SOS 1190954 HAS SOPS 614768 HAS SOUS 303252 HAS SOUPS 284792 WITH SCORE 285982.954
AT ITER 2974 NEW BEST:: SOT 2566439 SOS 1190885 HAS SOPS 614679 HAS SOUS 303202 HAS SOUPS 284742 WITH SCORE 285932.885
AT ITER 2979 NEW BEST:: SOT 2566439 SOS 1190459 HAS SOPS 614253 HAS SOUS 303130 HAS SOUPS 284670 WITH SCORE 285860.459
AT ITER 2980 NEW BEST:: SOT 2566439 SOS 1190366 HAS SOPS 614160 HAS SOUS 303130 HAS SOUPS 284670 WITH SCORE 285860.366
AT ITER 2990 NEW BEST:: SOT 2566439 SOS 1189943 HAS SOPS 613737 HAS SOUS 303083 HAS SOUPS 284623 WITH SCORE 285812.943
AT ITER 2991 NEW BEST:: SOT 2566434 SOS 1190171 HAS SOPS 613965 HAS SOUS 303029 HAS SOUPS 284569 WITH SCORE 285759.171
AT ITER 2994 NEW BEST:: SOT 2564913 SOS 1188431 HAS SOPS 613739 HAS SOUS 302803 HAS SOUPS 284343 WITH SCORE 285531.431
AT ITER 3003 NEW BEST:: SOT 2564564 SOS 1187725 HAS SOPS 613033 HAS SOUS 302799 HAS SOUPS 284339 WITH SCORE 285526.725
AT ITER 3017 NEW BEST:: SOT 2564535 SOS 1187656 HAS SOPS 612964 HAS SOUS 302741 HAS SOUPS 284281 WITH SCORE 285468.656
AT ITER 3045 NEW BEST:: SOT 2564468 SOS 1187694 HAS SOPS 613124 HAS SOUS 302730 HAS SOUPS 284270 WITH SCORE 285457.694
AT ITER 3046 NEW BEST:: SOT 2564301 SOS 1187388 HAS SOPS 612753 HAS SOUS 302579 HAS SOUPS 284119 WITH SCORE 285306.388
AT ITER 3060 NEW BEST:: SOT 2564088 SOS 1187791 HAS SOPS 614272 HAS SOUS 302568 HAS SOUPS 284108 WITH SCORE 285295.791
AT ITER 3064 NEW BEST:: SOT 2563568 SOS 1187271 HAS SOPS 613687 HAS SOUS 302199 HAS SOUPS 283739 WITH SCORE 284926.271
AT ITER 3067 NEW BEST:: SOT 2563594 SOS 1187243 HAS SOPS 613623 HAS SOUS 302169 HAS SOUPS 283675 WITH SCORE 284862.243
AT ITER 3071 NEW BEST:: SOT 2563559 SOS 1187173 HAS SOPS 613308 HAS SOUS 302134 HAS SOUPS 283605 WITH SCORE 284792.173
AT ITER 3074 NEW BEST:: SOT 2563559 SOS 1187019 HAS SOPS 613154 HAS SOUS 302134 HAS SOUPS 283605 WITH SCORE 284792.019
AT ITER 3079 NEW BEST:: SOT 2563500 SOS 1187118 HAS SOPS 613253 HAS SOUS 302078 HAS SOUPS 283549 WITH SCORE 284736.118
AT ITER 3082 NEW BEST:: SOT 2563466 SOS 1187118 HAS SOPS 613253 HAS SOUS 302010 HAS SOUPS 283481 WITH SCORE 284668.118
AT ITER 3092 NEW BEST:: SOT 2563406 SOS 1187099 HAS SOPS 613234 HAS SOUS 301890 HAS SOUPS 283361 WITH SCORE 284548.099
AT ITER 3097 NEW BEST:: SOT 2564285 SOS 1187985 HAS SOPS 614002 HAS SOUS 301750 HAS SOUPS 283221 WITH SCORE 284408.985
AT ITER 3104 NEW BEST:: SOT 2564296 SOS 1187724 HAS SOPS 613741 HAS SOUS 301721 HAS SOUPS 283192 WITH SCORE 284379.724
AT ITER 3105 NEW BEST:: SOT 2564331 SOS 1187253 HAS SOPS 613270 HAS SOUS 301613 HAS SOUPS 283084 WITH SCORE 284271.253
AT ITER 3135 NEW BEST:: SOT 2566441 SOS 1184584 HAS SOPS 615311 HAS SOUS 301384 HAS SOUPS 283070 WITH SCORE 284254.584
AT ITER 3147 NEW BEST:: SOT 2566365 SOS 1184322 HAS SOPS 610833 HAS SOUS 297158 HAS SOUPS 278844 WITH SCORE 280028.322
AT ITER 3156 NEW BEST:: SOT 2566354 SOS 1184311 HAS SOPS 610833 HAS SOUS 297147 HAS SOUPS 278833 WITH SCORE 280017.311
AT ITER 3169 NEW BEST:: SOT 2562471 SOS 1204722 HAS SOPS 607059 HAS SOUS 296598 HAS SOUPS 277877 WITH SCORE 279081.722
AT ITER 3181 NEW BEST:: SOT 2562465 SOS 1204706 HAS SOPS 607043 HAS SOUS 296584 HAS SOUPS 277863 WITH SCORE 279067.706
AT ITER 3220 NEW BEST:: SOT 2562050 SOS 1204356 HAS SOPS 606681 HAS SOUS 296234 HAS SOUPS 277501 WITH SCORE 278705.356
AT ITER 3247 NEW BEST:: SOT 2562050 SOS 1204340 HAS SOPS 606665 HAS SOUS 296218 HAS SOUPS 277485 WITH SCORE 278689.34
AT ITER 3254 NEW BEST:: SOT 2561987 SOS 1205063 HAS SOPS 607388 HAS SOUS 296162 HAS SOUPS 277429 WITH SCORE 278634.063
AT ITER 3256 NEW BEST:: SOT 2562005 SOS 1204352 HAS SOPS 606677 HAS SOUS 296115 HAS SOUPS 277382 WITH SCORE 278586.352
AT ITER 3264 NEW BEST:: SOT 2562005 SOS 1204189 HAS SOPS 606514 HAS SOUS 296115 HAS SOUPS 277382 WITH SCORE 278586.189
AT ITER 3271 NEW BEST:: SOT 2562773 SOS 1204957 HAS SOPS 607282 HAS SOUS 295915 HAS SOUPS 277182 WITH SCORE 278386.957
AT ITER 3282 NEW BEST:: SOT 2562704 SOS 1204163 HAS SOPS 606488 HAS SOUS 295777 HAS SOUPS 277044 WITH SCORE 278248.163
AT ITER 3284 NEW BEST:: SOT 2562704 SOS 1203761 HAS SOPS 606086 HAS SOUS 295703 HAS SOUPS 276970 WITH SCORE 278173.761
AT ITER 3291 NEW BEST:: SOT 2562646 SOS 1203567 HAS SOPS 605892 HAS SOUS 295651 HAS SOUPS 276918 WITH SCORE 278121.567
AT ITER 3317 NEW BEST:: SOT 2562643 SOS 1203561 HAS SOPS 605886 HAS SOUS 295645 HAS SOUPS 276912 WITH SCORE 278115.561
AT ITER 3322 NEW BEST:: SOT 2562555 SOS 1203484 HAS SOPS 605673 HAS SOUS 295425 HAS SOUPS 276692 WITH SCORE 277895.484
AT ITER 3330 NEW BEST:: SOT 2562483 SOS 1203412 HAS SOPS 605534 HAS SOUS 295204 HAS SOUPS 276553 WITH SCORE 277756.412
AT ITER 3344 NEW BEST:: SOT 2562395 SOS 1203250 HAS SOPS 605358 HAS SOUS 295028 HAS SOUPS 276377 WITH SCORE 277580.25
AT ITER 3347 NEW BEST:: SOT 2562341 SOS 1202626 HAS SOPS 604734 HAS SOUS 294890 HAS SOUPS 276239 WITH SCORE 277441.626
AT ITER 3356 NEW BEST:: SOT 2562334 SOS 1202619 HAS SOPS 604720 HAS SOUS 294883 HAS SOUPS 276225 WITH SCORE 277427.619
AT ITER 3362 NEW BEST:: SOT 2562327 SOS 1202669 HAS SOPS 604770 HAS SOUS 294869 HAS SOUPS 276211 WITH SCORE 277413.669
AT ITER 3373 NEW BEST:: SOT 2560650 SOS 1210907 HAS SOPS 603077 HAS SOUS 294646 HAS SOUPS 275799 WITH SCORE 277009.907
AT ITER 3375 NEW BEST:: SOT 2560635 SOS 1210847 HAS SOPS 603017 HAS SOUS 294631 HAS SOUPS 275784 WITH SCORE 276994.847
AT ITER 3386 NEW BEST:: SOT 2560601 SOS 1211094 HAS SOPS 603264 HAS SOUS 294563 HAS SOUPS 275716 WITH SCORE 276927.094
AT ITER 3396 NEW BEST:: SOT 2560490 SOS 1210959 HAS SOPS 603129 HAS SOUS 294539 HAS SOUPS 275692 WITH SCORE 276902.959
AT ITER 3405 NEW BEST:: SOT 2560490 SOS 1211002 HAS SOPS 603187 HAS SOUS 294496 HAS SOUPS 275649 WITH SCORE 276860.002
AT ITER 3409 NEW BEST:: SOT 2560490 SOS 1186953 HAS SOPS 603464 HAS SOUS 294219 HAS SOUPS 275649 WITH SCORE 276835.953
AT ITER 3410 NEW BEST:: SOT 2560486 SOS 1187159 HAS SOPS 603670 HAS SOUS 294211 HAS SOUPS 275641 WITH SCORE 276828.159
AT ITER 3411 NEW BEST:: SOT 2560504 SOS 1187171 HAS SOPS 603682 HAS SOUS 294205 HAS SOUPS 275635 WITH SCORE 276822.171
AT ITER 3425 NEW BEST:: SOT 2560500 SOS 1187159 HAS SOPS 603666 HAS SOUS 294193 HAS SOUPS 275623 WITH SCORE 276810.159
AT ITER 3435 NEW BEST:: SOT 2560642 SOS 1186893 HAS SOPS 602979 HAS SOUS 293649 HAS SOUPS 275079 WITH SCORE 276265.893
AT ITER 3454 NEW BEST:: SOT 2560540 SOS 1186768 HAS SOPS 602854 HAS SOUS 293524 HAS SOUPS 274954 WITH SCORE 276140.768
AT ITER 3460 NEW BEST:: SOT 2560533 SOS 1186754 HAS SOPS 602847 HAS SOUS 293517 HAS SOUPS 274947 WITH SCORE 276133.754
AT ITER 3461 NEW BEST:: SOT 2560533 SOS 1186606 HAS SOPS 602699 HAS SOUS 293369 HAS SOUPS 274799 WITH SCORE 275985.606
AT ITER 3462 NEW BEST:: SOT 2560329 SOS 1186285 HAS SOPS 602378 HAS SOUS 292968 HAS SOUPS 274398 WITH SCORE 275584.285
AT ITER 3472 NEW BEST:: SOT 2560012 SOS 1186165 HAS SOPS 602097 HAS SOUS 292687 HAS SOUPS 274117 WITH SCORE 275303.165
AT ITER 3495 NEW BEST:: SOT 2560120 SOS 1184626 HAS SOPS 602259 HAS SOUS 292579 HAS SOUPS 274036 WITH SCORE 275220.626
AT ITER 3496 NEW BEST:: SOT 2559901 SOS 1183865 HAS SOPS 601498 HAS SOUS 292069 HAS SOUPS 273526 WITH SCORE 274709.865
AT ITER 3500 NEW BEST:: SOT 2559873 SOS 1183823 HAS SOPS 601344 HAS SOUS 292027 HAS SOUPS 273484 WITH SCORE 274667.823
AT ITER 3554 NEW BEST:: SOT 2559871 SOS 1183821 HAS SOPS 601340 HAS SOUS 292023 HAS SOUPS 273480 WITH SCORE 274663.821
AT ITER 3593 NEW BEST:: SOT 2559871 SOS 1183581 HAS SOPS 601100 HAS SOUS 291903 HAS SOUPS 273360 WITH SCORE 274543.581
AT ITER 3607 NEW BEST:: SOT 2559803 SOS 1183474 HAS SOPS 600993 HAS SOUS 291835 HAS SOUPS 273292 WITH SCORE 274475.474
AT ITER 3647 NEW BEST:: SOT 2559290 SOS 1182934 HAS SOPS 600317 HAS SOUS 291730 HAS SOUPS 273187 WITH SCORE 274369.934
AT ITER 3653 NEW BEST:: SOT 2559278 SOS 1183831 HAS SOPS 600371 HAS SOUS 291741 HAS SOUPS 273185 WITH SCORE 274368.831
AT ITER 3677 NEW BEST:: SOT 2559277 SOS 1183828 HAS SOPS 600368 HAS SOUS 291739 HAS SOUPS 273183 WITH SCORE 274366.828
AT ITER 3721 NEW BEST:: SOT 2559277 SOS 1183822 HAS SOPS 600362 HAS SOUS 291739 HAS SOUPS 273183 WITH SCORE 274366.822
AT ITER 3728 NEW BEST:: SOT 2559192 SOS 1183732 HAS SOPS 600262 HAS SOUS 291729 HAS SOUPS 273173 WITH SCORE 274356.732
AT ITER 3730 NEW BEST:: SOT 2559184 SOS 1183840 HAS SOPS 600246 HAS SOUS 291721 HAS SOUPS 273165 WITH SCORE 274348.84
AT ITER 3741 NEW BEST:: SOT 2559050 SOS 1183735 HAS SOPS 600201 HAS SOUS 291676 HAS SOUPS 273120 WITH SCORE 274303.735
AT ITER 3751 NEW BEST:: SOT 2559000 SOS 1183635 HAS SOPS 600101 HAS SOUS 291626 HAS SOUPS 273070 WITH SCORE 274253.635
AT ITER 3756 NEW BEST:: SOT 2557181 SOS 1191218 HAS SOPS 598387 HAS SOUS 291353 HAS SOUPS 272616 WITH SCORE 273807.218
AT ITER 3760 NEW BEST:: SOT 2557181 SOS 1191217 HAS SOPS 598386 HAS SOUS 291353 HAS SOUPS 272616 WITH SCORE 273807.217
AT ITER 3763 NEW BEST:: SOT 2557181 SOS 1191184 HAS SOPS 598353 HAS SOUS 291353 HAS SOUPS 272616 WITH SCORE 273807.184
AT ITER 3785 NEW BEST:: SOT 2557181 SOS 1190799 HAS SOPS 597968 HAS SOUS 291353 HAS SOUPS 272616 WITH SCORE 273806.799
AT ITER 3789 NEW BEST:: SOT 2557170 SOS 1190854 HAS SOPS 598023 HAS SOUS 291331 HAS SOUPS 272594 WITH SCORE 273784.854
AT ITER 3804 NEW BEST:: SOT 2557152 SOS 1191159 HAS SOPS 598328 HAS SOUS 291318 HAS SOUPS 272581 WITH SCORE 273772.159
AT ITER 3806 NEW BEST:: SOT 2557120 SOS 1190580 HAS SOPS 597749 HAS SOUS 291254 HAS SOUPS 272517 WITH SCORE 273707.58
AT ITER 3828 NEW BEST:: SOT 2557107 SOS 1190564 HAS SOPS 597733 HAS SOUS 291238 HAS SOUPS 272501 WITH SCORE 273691.564
AT ITER 3830 NEW BEST:: SOT 2557107 SOS 1188798 HAS SOPS 595967 HAS SOUS 291191 HAS SOUPS 272454 WITH SCORE 273642.798
AT ITER 3835 NEW BEST:: SOT 2557101 SOS 1188912 HAS SOPS 595726 HAS SOUS 290933 HAS SOUPS 272196 WITH SCORE 273384.912
AT ITER 3845 NEW BEST:: SOT 2557156 SOS 1188759 HAS SOPS 595632 HAS SOUS 290839 HAS SOUPS 272102 WITH SCORE 273290.759
AT ITER 3850 NEW BEST:: SOT 2556941 SOS 1190355 HAS SOPS 597228 HAS SOUS 290562 HAS SOUPS 271825 WITH SCORE 273015.355
AT ITER 3860 NEW BEST:: SOT 2556863 SOS 1190277 HAS SOPS 597111 HAS SOUS 290445 HAS SOUPS 271708 WITH SCORE 272898.277
AT ITER 3870 NEW BEST:: SOT 2556909 SOS 1190323 HAS SOPS 597157 HAS SOUS 290443 HAS SOUPS 271706 WITH SCORE 272896.323
AT ITER 3886 NEW BEST:: SOT 2556877 SOS 1189844 HAS SOPS 596678 HAS SOUS 290379 HAS SOUPS 271642 WITH SCORE 272831.844
AT ITER 3890 NEW BEST:: SOT 2556719 SOS 1189518 HAS SOPS 596352 HAS SOUS 290100 HAS SOUPS 271363 WITH SCORE 272552.518
AT ITER 3894 NEW BEST:: SOT 2556688 SOS 1189387 HAS SOPS 596221 HAS SOUS 290038 HAS SOUPS 271301 WITH SCORE 272490.387
AT ITER 3909 NEW BEST:: SOT 2556532 SOS 1189237 HAS SOPS 596071 HAS SOUS 289783 HAS SOUPS 271046 WITH SCORE 272235.237
AT ITER 3917 NEW BEST:: SOT 2556520 SOS 1189266 HAS SOPS 596100 HAS SOUS 289771 HAS SOUPS 271034 WITH SCORE 272223.266
AT ITER 3919 NEW BEST:: SOT 2556603 SOS 1189558 HAS SOPS 596089 HAS SOUS 289760 HAS SOUPS 271023 WITH SCORE 272212.558
AT ITER 3923 NEW BEST:: SOT 2556577 SOS 1189456 HAS SOPS 595845 HAS SOUS 289734 HAS SOUPS 270997 WITH SCORE 272186.456
AT ITER 3926 NEW BEST:: SOT 2556652 SOS 1189426 HAS SOPS 595802 HAS SOUS 289691 HAS SOUPS 270954 WITH SCORE 272143.426
AT ITER 3930 NEW BEST:: SOT 2556487 SOS 1189522 HAS SOPS 597461 HAS SOUS 289422 HAS SOUPS 270881 WITH SCORE 272070.522
AT ITER 3931 NEW BEST:: SOT 2556348 SOS 1189196 HAS SOPS 597183 HAS SOUS 289096 HAS SOUPS 270603 WITH SCORE 271792.196
AT ITER 3960 NEW BEST:: SOT 2556315 SOS 1188984 HAS SOPS 597044 HAS SOUS 289030 HAS SOUPS 270537 WITH SCORE 271725.984
AT ITER 3963 NEW BEST:: SOT 2556335 SOS 1189004 HAS SOPS 594304 HAS SOUS 288924 HAS SOUPS 270422 WITH SCORE 271611.004
AT ITER 3970 NEW BEST:: SOT 2554982 SOS 1196121 HAS SOPS 593072 HAS SOUS 288520 HAS SOUPS 269897 WITH SCORE 271093.121
AT ITER 3981 NEW BEST:: SOT 2554959 SOS 1196052 HAS SOPS 593003 HAS SOUS 288497 HAS SOUPS 269874 WITH SCORE 271070.052
AT ITER 3992 NEW BEST:: SOT 2554932 SOS 1196200 HAS SOPS 593151 HAS SOUS 288487 HAS SOUPS 269864 WITH SCORE 271060.2
AT ITER 4004 NEW BEST:: SOT 2554746 SOS 1195769 HAS SOPS 592857 HAS SOUS 288301 HAS SOUPS 269678 WITH SCORE 270873.769
AT ITER 4006 NEW BEST:: SOT 2554746 SOS 1195783 HAS SOPS 592840 HAS SOUS 288315 HAS SOUPS 269661 WITH SCORE 270856.783
AT ITER 4007 NEW BEST:: SOT 2553410 SOS 1196334 HAS SOPS 591606 HAS SOUS 288138 HAS SOUPS 269373 WITH SCORE 270569.334
AT ITER 4014 NEW BEST:: SOT 2553376 SOS 1196148 HAS SOPS 591420 HAS SOUS 288040 HAS SOUPS 269275 WITH SCORE 270471.148
AT ITER 4031 NEW BEST:: SOT 2553296 SOS 1196068 HAS SOPS 592215 HAS SOUS 288035 HAS SOUPS 269270 WITH SCORE 270466.068
AT ITER 4043 NEW BEST:: SOT 2553283 SOS 1196042 HAS SOPS 592189 HAS SOUS 288009 HAS SOUPS 269244 WITH SCORE 270440.042
AT ITER 4058 NEW BEST:: SOT 2553339 SOS 1196098 HAS SOPS 592173 HAS SOUS 287993 HAS SOUPS 269228 WITH SCORE 270424.098
AT ITER 4070 NEW BEST:: SOT 2553336 SOS 1196095 HAS SOPS 592170 HAS SOUS 287990 HAS SOUPS 269225 WITH SCORE 270421.095
AT ITER 4092 NEW BEST:: SOT 2553336 SOS 1195519 HAS SOPS 591594 HAS SOUS 287990 HAS SOUPS 269225 WITH SCORE 270420.519
AT ITER 4101 NEW BEST:: SOT 2553320 SOS 1195503 HAS SOPS 591562 HAS SOUS 287974 HAS SOUPS 269209 WITH SCORE 270404.503
AT ITER 4117 NEW BEST:: SOT 2553300 SOS 1195503 HAS SOPS 591562 HAS SOUS 287954 HAS SOUPS 269189 WITH SCORE 270384.503
AT ITER 4125 NEW BEST:: SOT 2553257 SOS 1195460 HAS SOPS 591519 HAS SOUS 287921 HAS SOUPS 269156 WITH SCORE 270351.46
AT ITER 4134 NEW BEST:: SOT 2553251 SOS 1195526 HAS SOPS 591585 HAS SOUS 287909 HAS SOUPS 269144 WITH SCORE 270339.526
AT ITER 4151 NEW BEST:: SOT 2553126 SOS 1199117 HAS SOPS 591564 HAS SOUS 287876 HAS SOUPS 269069 WITH SCORE 270268.117
AT ITER 4154 NEW BEST:: SOT 2553130 SOS 1199121 HAS SOPS 591558 HAS SOUS 287870 HAS SOUPS 269063 WITH SCORE 270262.121
AT ITER 4155 NEW BEST:: SOT 2553127 SOS 1199170 HAS SOPS 591552 HAS SOUS 287864 HAS SOUPS 269057 WITH SCORE 270256.17
AT ITER 4156 NEW BEST:: SOT 2553062 SOS 1199404 HAS SOPS 591786 HAS SOUS 287786 HAS SOUPS 268979 WITH SCORE 270178.404
AT ITER 4204 NEW BEST:: SOT 2553100 SOS 1198376 HAS SOPS 590758 HAS SOUS 287769 HAS SOUPS 268962 WITH SCORE 270160.376
AT ITER 4212 NEW BEST:: SOT 2553086 SOS 1197610 HAS SOPS 589992 HAS SOUS 287755 HAS SOUPS 268948 WITH SCORE 270145.61
AT ITER 4216 NEW BEST:: SOT 2552290 SOS 1206383 HAS SOPS 589450 HAS SOUS 287805 HAS SOUPS 268871 WITH SCORE 270077.383
AT ITER 4231 NEW BEST:: SOT 2552275 SOS 1206368 HAS SOPS 589420 HAS SOUS 287783 HAS SOUPS 268841 WITH SCORE 270047.368
AT ITER 4245 NEW BEST:: SOT 2552083 SOS 1206084 HAS SOPS 589136 HAS SOUS 287591 HAS SOUPS 268649 WITH SCORE 269855.084
AT ITER 4255 NEW BEST:: SOT 2552083 SOS 1206081 HAS SOPS 589136 HAS SOUS 287591 HAS SOUPS 268649 WITH SCORE 269855.081
AT ITER 4258 NEW BEST:: SOT 2552083 SOS 1205503 HAS SOPS 588482 HAS SOUS 287309 HAS SOUPS 268367 WITH SCORE 269572.503
AT ITER 4263 NEW BEST:: SOT 2552056 SOS 1204639 HAS SOPS 587618 HAS SOUS 287282 HAS SOUPS 268340 WITH SCORE 269544.639
AT ITER 4289 NEW BEST:: SOT 2552054 SOS 1204637 HAS SOPS 587612 HAS SOUS 287276 HAS SOUPS 268334 WITH SCORE 269538.637
AT ITER 4307 NEW BEST:: SOT 2549989 SOS 1202313 HAS SOPS 583430 HAS SOUS 284894 HAS SOUPS 265952 WITH SCORE 267154.313
AT ITER 4319 NEW BEST:: SOT 2550073 SOS 1202212 HAS SOPS 583265 HAS SOUS 284839 HAS SOUPS 265787 WITH SCORE 266989.212
AT ITER 4321 NEW BEST:: SOT 2549928 SOS 1202287 HAS SOPS 583382 HAS SOUS 284688 HAS SOUPS 265636 WITH SCORE 266838.287
AT ITER 4347 NEW BEST:: SOT 2549626 SOS 1202077 HAS SOPS 583369 HAS SOUS 284675 HAS SOUPS 265623 WITH SCORE 266825.077
AT ITER 4365 NEW BEST:: SOT 2549535 SOS 1202568 HAS SOPS 583860 HAS SOUS 284584 HAS SOUPS 265532 WITH SCORE 266734.568
AT ITER 4373 NEW BEST:: SOT 2549535 SOS 1201778 HAS SOPS 583070 HAS SOUS 284505 HAS SOUPS 265453 WITH SCORE 266654.778
AT ITER 4374 NEW BEST:: SOT 2549535 SOS 1201784 HAS SOPS 583076 HAS SOUS 284495 HAS SOUPS 265443 WITH SCORE 266644.784
AT ITER 4381 NEW BEST:: SOT 2549515 SOS 1201884 HAS SOPS 583176 HAS SOUS 284455 HAS SOUPS 265403 WITH SCORE 266604.884
AT ITER 4383 NEW BEST:: SOT 2549381 SOS 1201771 HAS SOPS 583042 HAS SOUS 284447 HAS SOUPS 265395 WITH SCORE 266596.771
AT ITER 4393 NEW BEST:: SOT 2549226 SOS 1201752 HAS SOPS 582868 HAS SOUS 284273 HAS SOUPS 265221 WITH SCORE 266422.752
AT ITER 4396 NEW BEST:: SOT 2549219 SOS 1201738 HAS SOPS 582854 HAS SOUS 284259 HAS SOUPS 265207 WITH SCORE 266408.738
AT ITER 4404 NEW BEST:: SOT 2549205 SOS 1201592 HAS SOPS 582694 HAS SOUS 284099 HAS SOUPS 265047 WITH SCORE 266248.592
AT ITER 4405 NEW BEST:: SOT 2549205 SOS 1201758 HAS SOPS 582860 HAS SOUS 284038 HAS SOUPS 264986 WITH SCORE 266187.758
AT ITER 4407 NEW BEST:: SOT 2549205 SOS 1201658 HAS SOPS 582760 HAS SOUS 284038 HAS SOUPS 264986 WITH SCORE 266187.658
AT ITER 4408 NEW BEST:: SOT 2549203 SOS 1201652 HAS SOPS 582754 HAS SOUS 284036 HAS SOUPS 264984 WITH SCORE 266185.652
AT ITER 4413 NEW BEST:: SOT 2549167 SOS 1201580 HAS SOPS 582682 HAS SOUS 283982 HAS SOUPS 264930 WITH SCORE 266131.58
AT ITER 4427 NEW BEST:: SOT 2549137 SOS 1201550 HAS SOPS 582637 HAS SOUS 283937 HAS SOUPS 264885 WITH SCORE 266086.55
AT ITER 4431 NEW BEST:: SOT 2549137 SOS 1201544 HAS SOPS 582631 HAS SOUS 283937 HAS SOUPS 264885 WITH SCORE 266086.544
AT ITER 4435 NEW BEST:: SOT 2549083 SOS 1201365 HAS SOPS 582209 HAS SOUS 283862 HAS SOUPS 264789 WITH SCORE 265990.365
AT ITER 4436 NEW BEST:: SOT 2549083 SOS 1201293 HAS SOPS 582137 HAS SOUS 283862 HAS SOUPS 264789 WITH SCORE 265990.293
AT ITER 4438 NEW BEST:: SOT 2549053 SOS 1201233 HAS SOPS 582077 HAS SOUS 283802 HAS SOUPS 264729 WITH SCORE 265930.233
AT ITER 4449 NEW BEST:: SOT 2547731 SOS 1199853 HAS SOPS 580639 HAS SOUS 283755 HAS SOUPS 264682 WITH SCORE 265881.853
AT ITER 4461 NEW BEST:: SOT 2547823 SOS 1199272 HAS SOPS 579836 HAS SOUS 283447 HAS SOUPS 264374 WITH SCORE 265573.272
AT ITER 4473 NEW BEST:: SOT 2547811 SOS 1199236 HAS SOPS 579800 HAS SOUS 283435 HAS SOUPS 264362 WITH SCORE 265561.236
AT ITER 4485 NEW BEST:: SOT 2547811 SOS 1199215 HAS SOPS 579779 HAS SOUS 283435 HAS SOUPS 264362 WITH SCORE 265561.215
AT ITER 4490 NEW BEST:: SOT 2547812 SOS 1199198 HAS SOPS 579699 HAS SOUS 283374 HAS SOUPS 264301 WITH SCORE 265500.198
AT ITER 4518 NEW BEST:: SOT 2547800 SOS 1199174 HAS SOPS 579675 HAS SOUS 283362 HAS SOUPS 264289 WITH SCORE 265488.174
AT ITER 4522 NEW BEST:: SOT 2547800 SOS 1199146 HAS SOPS 579647 HAS SOUS 283348 HAS SOUPS 264275 WITH SCORE 265474.146
AT ITER 4525 NEW BEST:: SOT 2547562 SOS 1198922 HAS SOPS 579409 HAS SOUS 283334 HAS SOUPS 264261 WITH SCORE 265459.922
AT ITER 4534 NEW BEST:: SOT 2547347 SOS 1198309 HAS SOPS 578626 HAS SOUS 282886 HAS SOUPS 263813 WITH SCORE 265011.309
AT ITER 4551 NEW BEST:: SOT 2547161 SOS 1197985 HAS SOPS 578254 HAS SOUS 282514 HAS SOUPS 263441 WITH SCORE 264638.985
AT ITER 4585 NEW BEST:: SOT 2547148 SOS 1197949 HAS SOPS 578164 HAS SOUS 282456 HAS SOUPS 263383 WITH SCORE 264580.949
AT ITER 4587 NEW BEST:: SOT 2547149 SOS 1197730 HAS SOPS 577945 HAS SOUS 282449 HAS SOUPS 263376 WITH SCORE 264573.73
AT ITER 4596 NEW BEST:: SOT 2546784 SOS 1197345 HAS SOPS 577517 HAS SOUS 282420 HAS SOUPS 263347 WITH SCORE 264544.345
AT ITER 4631 NEW BEST:: SOT 2546614 SOS 1197220 HAS SOPS 577166 HAS SOUS 282097 HAS SOUPS 263024 WITH SCORE 264221.22
AT ITER 4637 NEW BEST:: SOT 2545943 SOS 1204172 HAS SOPS 576459 HAS SOUS 281119 HAS SOUPS 261958 WITH SCORE 263162.172
AT ITER 4671 NEW BEST:: SOT 2545673 SOS 1203923 HAS SOPS 576445 HAS SOUS 280948 HAS SOUPS 261787 WITH SCORE 262990.923
AT ITER 4673 NEW BEST:: SOT 2545673 SOS 1204013 HAS SOPS 576535 HAS SOUS 280858 HAS SOUPS 261697 WITH SCORE 262901.013
AT ITER 4685 NEW BEST:: SOT 2545673 SOS 1204002 HAS SOPS 576524 HAS SOUS 280858 HAS SOUPS 261697 WITH SCORE 262901.002
AT ITER 4692 NEW BEST:: SOT 2545673 SOS 1204002 HAS SOPS 576487 HAS SOUS 280821 HAS SOUPS 261660 WITH SCORE 262864.002
AT ITER 4694 NEW BEST:: SOT 2544091 SOS 1202394 HAS SOPS 574771 HAS SOUS 280710 HAS SOUPS 261549 WITH SCORE 262751.394
AT ITER 4695 NEW BEST:: SOT 2544060 SOS 1202332 HAS SOPS 574709 HAS SOUS 280704 HAS SOUPS 261543 WITH SCORE 262745.332
AT ITER 4712 NEW BEST:: SOT 2538586 SOS 1197006 HAS SOPS 605857 HAS SOUS 279894 HAS SOUPS 260733 WITH SCORE 261930.006
AT ITER 4721 NEW BEST:: SOT 2538579 SOS 1196855 HAS SOPS 605706 HAS SOUS 279880 HAS SOUPS 260719 WITH SCORE 261915.855
AT ITER 4726 NEW BEST:: SOT 2538526 SOS 1196877 HAS SOPS 605593 HAS SOUS 279767 HAS SOUPS 260606 WITH SCORE 261802.877
AT ITER 4734 NEW BEST:: SOT 2538418 SOS 1196769 HAS SOPS 605377 HAS SOUS 279659 HAS SOUPS 260498 WITH SCORE 261694.769
AT ITER 4737 NEW BEST:: SOT 2538409 SOS 1196297 HAS SOPS 604905 HAS SOUS 279638 HAS SOUPS 260477 WITH SCORE 261673.297
AT ITER 4743 NEW BEST:: SOT 2538322 SOS 1196190 HAS SOPS 604798 HAS SOUS 279551 HAS SOUPS 260390 WITH SCORE 261586.19
AT ITER 4752 NEW BEST:: SOT 2538311 SOS 1196150 HAS SOPS 604776 HAS SOUS 279529 HAS SOUPS 260368 WITH SCORE 261564.15
AT ITER 4769 NEW BEST:: SOT 2537987 SOS 1195908 HAS SOPS 604496 HAS SOUS 279249 HAS SOUPS 260088 WITH SCORE 261283.908
AT ITER 4771 NEW BEST:: SOT 2537970 SOS 1195874 HAS SOPS 604462 HAS SOUS 279215 HAS SOUPS 260054 WITH SCORE 261249.874
AT ITER 4776 NEW BEST:: SOT 2537125 SOS 1195029 HAS SOPS 603563 HAS SOUS 279321 HAS SOUPS 259946 WITH SCORE 261141.029
AT ITER 4795 NEW BEST:: SOT 2537010 SOS 1195093 HAS SOPS 603416 HAS SOUS 279121 HAS SOUPS 259746 WITH SCORE 260941.093
AT ITER 4818 NEW BEST:: SOT 2536979 SOS 1195062 HAS SOPS 603354 HAS SOUS 279059 HAS SOUPS 259684 WITH SCORE 260879.062
AT ITER 4848 NEW BEST:: SOT 2536744 SOS 1194955 HAS SOPS 602975 HAS SOUS 279055 HAS SOUPS 259648 WITH SCORE 260842.955
AT ITER 4867 NEW BEST:: SOT 2536777 SOS 1194902 HAS SOPS 602922 HAS SOUS 279018 HAS SOUPS 259611 WITH SCORE 260805.902
AT ITER 4876 NEW BEST:: SOT 2536777 SOS 1194796 HAS SOPS 602816 HAS SOUS 279018 HAS SOUPS 259611 WITH SCORE 260805.796
AT ITER 4885 NEW BEST:: SOT 2536770 SOS 1194772 HAS SOPS 602802 HAS SOUS 279014 HAS SOUPS 259607 WITH SCORE 260801.772
AT ITER 4894 NEW BEST:: SOT 2536614 SOS 1194027 HAS SOPS 601750 HAS SOUS 278247 HAS SOUPS 258840 WITH SCORE 260034.027
AT ITER 4897 NEW BEST:: SOT 2536596 SOS 1194013 HAS SOPS 601736 HAS SOUS 278211 HAS SOUPS 258804 WITH SCORE 259998.013
AT ITER 4903 NEW BEST:: SOT 2536588 SOS 1194034 HAS SOPS 601757 HAS SOUS 278195 HAS SOUPS 258788 WITH SCORE 259982.034
AT ITER 4908 NEW BEST:: SOT 2536588 SOS 1193818 HAS SOPS 601541 HAS SOUS 278195 HAS SOUPS 258788 WITH SCORE 259981.818
AT ITER 4916 NEW BEST:: SOT 2536588 SOS 1193818 HAS SOPS 601453 HAS SOUS 278107 HAS SOUPS 258700 WITH SCORE 259893.818
AT ITER 4987 NEW BEST:: SOT 2536480 SOS 1193604 HAS SOPS 601239 HAS SOUS 277946 HAS SOUPS 258539 WITH SCORE 259732.604
AT ITER 5001 NEW BEST:: SOT 2536480 SOS 1193491 HAS SOPS 601126 HAS SOUS 277833 HAS SOUPS 258426 WITH SCORE 259619.491
AT ITER 5055 NEW BEST:: SOT 2536480 SOS 1193454 HAS SOPS 601089 HAS SOUS 277833 HAS SOUPS 258426 WITH SCORE 259619.454
AT ITER 5060 NEW BEST:: SOT 2536444 SOS 1193364 HAS SOPS 600930 HAS SOUS 277710 HAS SOUPS 258267 WITH SCORE 259460.364
AT ITER 5077 NEW BEST:: SOT 2537087 SOS 1194481 HAS SOPS 602158 HAS SOUS 277646 HAS SOUPS 258203 WITH SCORE 259397.481
AT ITER 5087 NEW BEST:: SOT 2537073 SOS 1194507 HAS SOPS 602184 HAS SOUS 277618 HAS SOUPS 258175 WITH SCORE 259369.507
AT ITER 5089 NEW BEST:: SOT 2537019 SOS 1194021 HAS SOPS 601698 HAS SOUS 277510 HAS SOUPS 258067 WITH SCORE 259261.021
AT ITER 5093 NEW BEST:: SOT 2537012 SOS 1194014 HAS SOPS 601691 HAS SOUS 277496 HAS SOUPS 258053 WITH SCORE 259247.014
AT ITER 5102 NEW BEST:: SOT 2537421 SOS 1194442 HAS SOPS 602091 HAS SOUS 277474 HAS SOUPS 258031 WITH SCORE 259225.442
AT ITER 5133 NEW BEST:: SOT 2537430 SOS 1194451 HAS SOPS 602100 HAS SOUS 277470 HAS SOUPS 258027 WITH SCORE 259221.451
AT ITER 5145 NEW BEST:: SOT 2537401 SOS 1194394 HAS SOPS 602033 HAS SOUS 277412 HAS SOUPS 257969 WITH SCORE 259163.394
AT ITER 5150 NEW BEST:: SOT 2537398 SOS 1194274 HAS SOPS 601913 HAS SOUS 277368 HAS SOUPS 257925 WITH SCORE 259119.274
AT ITER 5165 NEW BEST:: SOT 2537398 SOS 1194274 HAS SOPS 601913 HAS SOUS 277270 HAS SOUPS 257827 WITH SCORE 259021.274
AT ITER 5167 NEW BEST:: SOT 2534552 SOS 1191428 HAS SOPS 598741 HAS SOUS 277245 HAS SOUPS 257823 WITH SCORE 259014.428
AT ITER 5173 NEW BEST:: SOT 2534577 SOS 1191433 HAS SOPS 598746 HAS SOUS 277230 HAS SOUPS 257808 WITH SCORE 258999.433
AT ITER 5207 NEW BEST:: SOT 2534564 SOS 1191088 HAS SOPS 598184 HAS SOUS 277198 HAS SOUPS 257776 WITH SCORE 258967.088
AT ITER 5210 NEW BEST:: SOT 2534560 SOS 1191084 HAS SOPS 598176 HAS SOUS 277192 HAS SOUPS 257768 WITH SCORE 258959.084
AT ITER 5220 NEW BEST:: SOT 2534421 SOS 1190805 HAS SOPS 597897 HAS SOUS 277100 HAS SOUPS 257676 WITH SCORE 258866.805
AT ITER 5224 NEW BEST:: SOT 2534383 SOS 1190762 HAS SOPS 597859 HAS SOUS 277024 HAS SOUPS 257600 WITH SCORE 258790.762
AT ITER 5225 NEW BEST:: SOT 2534381 SOS 1190530 HAS SOPS 597627 HAS SOUS 277020 HAS SOUPS 257596 WITH SCORE 258786.53
AT ITER 5230 NEW BEST:: SOT 2534171 SOS 1190215 HAS SOPS 597312 HAS SOUS 276705 HAS SOUPS 257281 WITH SCORE 258471.215
AT ITER 5233 NEW BEST:: SOT 2534122 SOS 1189988 HAS SOPS 597221 HAS SOUS 276697 HAS SOUPS 257273 WITH SCORE 258462.988
AT ITER 5239 NEW BEST:: SOT 2534332 SOS 1190210 HAS SOPS 597377 HAS SOUS 276622 HAS SOUPS 257198 WITH SCORE 258388.21
AT ITER 5249 NEW BEST:: SOT 2534083 SOS 1189961 HAS SOPS 596844 HAS SOUS 276629 HAS SOUPS 257173 WITH SCORE 258362.961
AT ITER 5280 NEW BEST:: SOT 2534083 SOS 1190015 HAS SOPS 596898 HAS SOUS 276611 HAS SOUPS 257155 WITH SCORE 258345.015
AT ITER 5282 NEW BEST:: SOT 2533984 SOS 1189894 HAS SOPS 596755 HAS SOUS 276567 HAS SOUPS 257111 WITH SCORE 258300.894
AT ITER 5284 NEW BEST:: SOT 2534037 SOS 1189931 HAS SOPS 596722 HAS SOUS 276534 HAS SOUPS 257078 WITH SCORE 258267.931
AT ITER 5305 NEW BEST:: SOT 2534024 SOS 1189825 HAS SOPS 596618 HAS SOUS 276510 HAS SOUPS 257054 WITH SCORE 258243.825
AT ITER 5306 NEW BEST:: SOT 2534024 SOS 1189806 HAS SOPS 596599 HAS SOUS 276491 HAS SOUPS 257035 WITH SCORE 258224.806
AT ITER 5314 NEW BEST:: SOT 2534013 SOS 1191302 HAS SOPS 598095 HAS SOUS 276469 HAS SOUPS 257013 WITH SCORE 258204.302
AT ITER 5320 NEW BEST:: SOT 2533781 SOS 1190973 HAS SOPS 597766 HAS SOUS 276372 HAS SOUPS 256916 WITH SCORE 258106.973
AT ITER 5323 NEW BEST:: SOT 2534264 SOS 1188891 HAS SOPS 598185 HAS SOUS 275983 HAS SOUPS 256630 WITH SCORE 257818.891
AT ITER 5331 NEW BEST:: SOT 2534240 SOS 1186751 HAS SOPS 598133 HAS SOUS 275935 HAS SOUPS 256606 WITH SCORE 257792.751
AT ITER 5334 NEW BEST:: SOT 2534240 SOS 1186751 HAS SOPS 598133 HAS SOUS 275731 HAS SOUPS 256402 WITH SCORE 257588.751
AT ITER 5370 NEW BEST:: SOT 2534122 SOS 1186633 HAS SOPS 598015 HAS SOUS 275613 HAS SOUPS 256284 WITH SCORE 257470.633
AT ITER 5387 NEW BEST:: SOT 2534122 SOS 1186687 HAS SOPS 598069 HAS SOUS 275595 HAS SOUPS 256266 WITH SCORE 257452.687
AT ITER 5390 NEW BEST:: SOT 2534150 SOS 1186673 HAS SOPS 598055 HAS SOUS 275581 HAS SOUPS 256252 WITH SCORE 257438.673
AT ITER 5402 NEW BEST:: SOT 2533704 SOS 1186152 HAS SOPS 597341 HAS SOUS 275039 HAS SOUPS 255710 WITH SCORE 256896.152
AT ITER 5405 NEW BEST:: SOT 2533697 SOS 1186138 HAS SOPS 597327 HAS SOUS 275025 HAS SOUPS 255696 WITH SCORE 256882.138
AT ITER 5413 NEW BEST:: SOT 2534617 SOS 1187058 HAS SOPS 598293 HAS SOUS 274892 HAS SOUPS 255604 WITH SCORE 256791.058
AT ITER 5416 NEW BEST:: SOT 2534745 SOS 1186914 HAS SOPS 598246 HAS SOUS 274869 HAS SOUPS 255581 WITH SCORE 256767.914
AT ITER 5421 NEW BEST:: SOT 2534881 SOS 1187050 HAS SOPS 598154 HAS SOUS 274627 HAS SOUPS 255339 WITH SCORE 256526.05
AT ITER 5467 NEW BEST:: SOT 2534852 SOS 1187040 HAS SOPS 598144 HAS SOUS 274593 HAS SOUPS 255305 WITH SCORE 256492.04
AT ITER 5489 NEW BEST:: SOT 2534812 SOS 1187328 HAS SOPS 598432 HAS SOUS 274513 HAS SOUPS 255225 WITH SCORE 256412.328
AT ITER 5501 NEW BEST:: SOT 2534812 SOS 1186482 HAS SOPS 597586 HAS SOUS 274513 HAS SOUPS 255225 WITH SCORE 256411.482
AT ITER 5504 NEW BEST:: SOT 2534812 SOS 1186408 HAS SOPS 597512 HAS SOUS 274513 HAS SOUPS 255225 WITH SCORE 256411.408
AT ITER 5536 NEW BEST:: SOT 2534386 SOS 1185944 HAS SOPS 596954 HAS SOUS 274311 HAS SOUPS 255023 WITH SCORE 256208.944
AT ITER 5542 NEW BEST:: SOT 2534365 SOS 1185928 HAS SOPS 596912 HAS SOUS 274269 HAS SOUPS 254981 WITH SCORE 256166.928
AT ITER 5566 NEW BEST:: SOT 2534313 SOS 1189254 HAS SOPS 597142 HAS SOUS 274293 HAS SOUPS 254969 WITH SCORE 256158.254
AT ITER 5594 NEW BEST:: SOT 2534313 SOS 1189206 HAS SOPS 597094 HAS SOUS 274269 HAS SOUPS 254945 WITH SCORE 256134.206
AT ITER 5618 NEW BEST:: SOT 2534266 SOS 1189146 HAS SOPS 596728 HAS SOUS 274175 HAS SOUPS 254851 WITH SCORE 256040.146
AT ITER 5626 NEW BEST:: SOT 2534043 SOS 1188923 HAS SOPS 596585 HAS SOUS 274151 HAS SOUPS 254827 WITH SCORE 256015.923
AT ITER 5627 NEW BEST:: SOT 2534066 SOS 1188969 HAS SOPS 596631 HAS SOUS 274076 HAS SOUPS 254752 WITH SCORE 255940.969
AT ITER 5633 NEW BEST:: SOT 2534033 SOS 1188903 HAS SOPS 596565 HAS SOUS 274010 HAS SOUPS 254686 WITH SCORE 255874.903
AT ITER 5659 NEW BEST:: SOT 2533674 SOS 1188373 HAS SOPS 595639 HAS SOUS 273985 HAS SOUPS 254661 WITH SCORE 255849.373
AT ITER 5675 NEW BEST:: SOT 2533520 SOS 1188244 HAS SOPS 595477 HAS SOUS 273772 HAS SOUPS 254448 WITH SCORE 255636.244
AT ITER 5688 NEW BEST:: SOT 2533702 SOS 1188014 HAS SOPS 595113 HAS SOUS 273439 HAS SOUPS 254115 WITH SCORE 255303.014
AT ITER 5697 NEW BEST:: SOT 2533588 SOS 1187900 HAS SOPS 595113 HAS SOUS 273325 HAS SOUPS 254001 WITH SCORE 255188.9
AT ITER 5703 NEW BEST:: SOT 2533588 SOS 1187777 HAS SOPS 594990 HAS SOUS 273244 HAS SOUPS 253920 WITH SCORE 255107.777
AT ITER 5704 NEW BEST:: SOT 2532919 SOS 1187023 HAS SOPS 594332 HAS SOUS 273255 HAS SOUPS 253857 WITH SCORE 255044.023
AT ITER 5707 NEW BEST:: SOT 2532802 SOS 1186950 HAS SOPS 594259 HAS SOUS 273108 HAS SOUPS 253710 WITH SCORE 254896.95
AT ITER 5710 NEW BEST:: SOT 2532917 SOS 1187015 HAS SOPS 594489 HAS SOUS 272998 HAS SOUPS 253600 WITH SCORE 254787.015
AT ITER 5734 NEW BEST:: SOT 2537103 SOS 1191254 HAS SOPS 598328 HAS SOUS 272679 HAS SOUPS 253408 WITH SCORE 254599.254
AT ITER 5738 NEW BEST:: SOT 2537055 SOS 1191158 HAS SOPS 598232 HAS SOUS 272631 HAS SOUPS 253360 WITH SCORE 254551.158
AT ITER 5746 NEW BEST:: SOT 2537018 SOS 1191069 HAS SOPS 598143 HAS SOUS 272557 HAS SOUPS 253286 WITH SCORE 254477.069
AT ITER 5762 NEW BEST:: SOT 2536988 SOS 1191039 HAS SOPS 598113 HAS SOUS 272527 HAS SOUPS 253256 WITH SCORE 254447.039
AT ITER 5787 NEW BEST:: SOT 2536977 SOS 1191028 HAS SOPS 598113 HAS SOUS 272527 HAS SOUPS 253256 WITH SCORE 254447.028
AT ITER 5796 NEW BEST:: SOT 2536937 SOS 1191268 HAS SOPS 598353 HAS SOUS 272487 HAS SOUPS 253216 WITH SCORE 254407.268
AT ITER 5825 NEW BEST:: SOT 2536899 SOS 1191952 HAS SOPS 599037 HAS SOUS 272460 HAS SOUPS 253189 WITH SCORE 254380.952
AT ITER 5836 NEW BEST:: SOT 2535650 SOS 1190703 HAS SOPS 597788 HAS SOUS 272084 HAS SOUPS 252813 WITH SCORE 254003.703
AT ITER 5839 NEW BEST:: SOT 2535650 SOS 1190802 HAS SOPS 597887 HAS SOUS 272010 HAS SOUPS 252739 WITH SCORE 253929.802
AT ITER 5843 NEW BEST:: SOT 2535636 SOS 1190473 HAS SOPS 597571 HAS SOUS 271921 HAS SOUPS 252650 WITH SCORE 253840.473
AT ITER 5852 NEW BEST:: SOT 2535636 SOS 1190340 HAS SOPS 597438 HAS SOUS 271921 HAS SOUPS 252650 WITH SCORE 253840.34
AT ITER 5856 NEW BEST:: SOT 2535648 SOS 1190246 HAS SOPS 597344 HAS SOUS 271796 HAS SOUPS 252525 WITH SCORE 253715.246
AT ITER 5871 NEW BEST:: SOT 2535626 SOS 1190257 HAS SOPS 597355 HAS SOUS 271785 HAS SOUPS 252514 WITH SCORE 253704.257
AT ITER 5890 NEW BEST:: SOT 2535626 SOS 1190227 HAS SOPS 597325 HAS SOUS 271785 HAS SOUPS 252514 WITH SCORE 253704.227
AT ITER 5904 NEW BEST:: SOT 2534416 SOS 1189017 HAS SOPS 596060 HAS SOUS 271785 HAS SOUPS 252514 WITH SCORE 253703.017
AT ITER 5933 NEW BEST:: SOT 2534390 SOS 1188991 HAS SOPS 596034 HAS SOUS 271759 HAS SOUPS 252488 WITH SCORE 253676.991
AT ITER 5939 NEW BEST:: SOT 2534376 SOS 1188970 HAS SOPS 596020 HAS SOUS 271745 HAS SOUPS 252474 WITH SCORE 253662.97
AT ITER 5942 NEW BEST:: SOT 2534399 SOS 1188936 HAS SOPS 595776 HAS SOUS 271501 HAS SOUPS 252230 WITH SCORE 253418.936
AT ITER 5952 NEW BEST:: SOT 2534330 SOS 1189143 HAS SOPS 595983 HAS SOUS 271485 HAS SOUPS 252214 WITH SCORE 253403.143
AT ITER 5954 NEW BEST:: SOT 2533918 SOS 1188912 HAS SOPS 595847 HAS SOUS 271349 HAS SOUPS 252078 WITH SCORE 253266.912
AT ITER 5956 NEW BEST:: SOT 2533996 SOS 1188975 HAS SOPS 595753 HAS SOUS 271285 HAS SOUPS 251984 WITH SCORE 253172.975
AT ITER 5972 NEW BEST:: SOT 2533991 SOS 1188970 HAS SOPS 595703 HAS SOUS 271280 HAS SOUPS 251974 WITH SCORE 253162.97
AT ITER 5977 NEW BEST:: SOT 2533576 SOS 1188821 HAS SOPS 595446 HAS SOUS 271118 HAS SOUPS 251812 WITH SCORE 253000.821
AT ITER 5978 NEW BEST:: SOT 2533322 SOS 1188547 HAS SOPS 594938 HAS SOUS 270731 HAS SOUPS 251304 WITH SCORE 252492.547
AT ITER 5982 NEW BEST:: SOT 2533154 SOS 1188387 HAS SOPS 594754 HAS SOUS 270731 HAS SOUPS 251304 WITH SCORE 252492.387
AT ITER 5983 NEW BEST:: SOT 2533107 SOS 1187829 HAS SOPS 594128 HAS SOUS 270637 HAS SOUPS 251210 WITH SCORE 252397.829
AT ITER 5988 NEW BEST:: SOT 2533105 SOS 1187807 HAS SOPS 594106 HAS SOUS 270633 HAS SOUPS 251206 WITH SCORE 252393.807
AT ITER 6003 NEW BEST:: SOT 2533101 SOS 1187803 HAS SOPS 594098 HAS SOUS 270625 HAS SOUPS 251198 WITH SCORE 252385.803
AT ITER 6010 NEW BEST:: SOT 2533101 SOS 1187794 HAS SOPS 594098 HAS SOUS 270625 HAS SOUPS 251198 WITH SCORE 252385.794
AT ITER 6011 NEW BEST:: SOT 2533058 SOS 1187730 HAS SOPS 594034 HAS SOUS 270569 HAS SOUPS 251142 WITH SCORE 252329.73
AT ITER 6018 NEW BEST:: SOT 2532448 SOS 1187095 HAS SOPS 593424 HAS SOUS 270543 HAS SOUPS 251116 WITH SCORE 252303.095
AT ITER 6022 NEW BEST:: SOT 2532468 SOS 1187043 HAS SOPS 593140 HAS SOUS 270491 HAS SOUPS 251064 WITH SCORE 252251.043
AT ITER 6029 NEW BEST:: SOT 2532661 SOS 1187255 HAS SOPS 593316 HAS SOUS 270457 HAS SOUPS 251030 WITH SCORE 252217.255
AT ITER 6041 NEW BEST:: SOT 2531828 SOS 1186355 HAS SOPS 592190 HAS SOUS 270348 HAS SOUPS 250921 WITH SCORE 252107.355
AT ITER 6042 NEW BEST:: SOT 2530399 SOS 1184902 HAS SOPS 590713 HAS SOUS 270076 HAS SOUPS 250649 WITH SCORE 251833.902
AT ITER 6051 NEW BEST:: SOT 2530360 SOS 1184824 HAS SOPS 590596 HAS SOUS 269959 HAS SOUPS 250532 WITH SCORE 251716.824
AT ITER 6058 NEW BEST:: SOT 2530276 SOS 1184851 HAS SOPS 590676 HAS SOUS 269844 HAS SOUPS 250417 WITH SCORE 251601.851
AT ITER 6065 NEW BEST:: SOT 2529887 SOS 1184515 HAS SOPS 590287 HAS SOUS 269773 HAS SOUPS 250346 WITH SCORE 251530.515
AT ITER 6068 NEW BEST:: SOT 2529887 SOS 1184321 HAS SOPS 590093 HAS SOUS 269773 HAS SOUPS 250346 WITH SCORE 251530.321
AT ITER 6080 NEW BEST:: SOT 2529897 SOS 1184331 HAS SOPS 590061 HAS SOUS 269793 HAS SOUPS 250314 WITH SCORE 251498.331
AT ITER 6092 NEW BEST:: SOT 2529879 SOS 1184377 HAS SOPS 590107 HAS SOUS 269757 HAS SOUPS 250278 WITH SCORE 251462.377
AT ITER 6100 NEW BEST:: SOT 2529845 SOS 1184003 HAS SOPS 589733 HAS SOUS 269723 HAS SOUPS 250244 WITH SCORE 251428.003
AT ITER 6102 NEW BEST:: SOT 2529835 SOS 1181914 HAS SOPS 589536 HAS SOUS 269647 HAS SOUPS 250190 WITH SCORE 251371.914
AT ITER 6110 NEW BEST:: SOT 2529443 SOS 1181410 HAS SOPS 588528 HAS SOUS 269204 HAS SOUPS 249706 WITH SCORE 250887.41
AT ITER 6111 NEW BEST:: SOT 2529443 SOS 1181354 HAS SOPS 588472 HAS SOUS 269185 HAS SOUPS 249687 WITH SCORE 250868.354
AT ITER 6139 NEW BEST:: SOT 2529654 SOS 1181432 HAS SOPS 588410 HAS SOUS 269083 HAS SOUPS 249585 WITH SCORE 250766.432
AT ITER 6141 NEW BEST:: SOT 2529591 SOS 1181103 HAS SOPS 588081 HAS SOUS 268912 HAS SOUPS 249414 WITH SCORE 250595.103
AT ITER 6143 NEW BEST:: SOT 2529542 SOS 1181103 HAS SOPS 588081 HAS SOUS 268814 HAS SOUPS 249316 WITH SCORE 250497.103
AT ITER 6185 NEW BEST:: SOT 2529542 SOS 1181237 HAS SOPS 588081 HAS SOUS 268680 HAS SOUPS 249182 WITH SCORE 250363.237
AT ITER 6197 NEW BEST:: SOT 2529296 SOS 1180908 HAS SOPS 587752 HAS SOUS 268374 HAS SOUPS 248876 WITH SCORE 250056.908
AT ITER 6224 NEW BEST:: SOT 2528083 SOS 1179612 HAS SOPS 586431 HAS SOUS 268349 HAS SOUPS 248851 WITH SCORE 250030.612
AT ITER 6241 NEW BEST:: SOT 2527994 SOS 1179101 HAS SOPS 585920 HAS SOUS 268321 HAS SOUPS 248823 WITH SCORE 250002.101
AT ITER 6244 NEW BEST:: SOT 2527762 SOS 1178654 HAS SOPS 585092 HAS SOUS 267879 HAS SOUPS 248381 WITH SCORE 249559.654
AT ITER 6263 NEW BEST:: SOT 2527759 SOS 1178595 HAS SOPS 584902 HAS SOUS 267759 HAS SOUPS 248261 WITH SCORE 249439.595
AT ITER 6268 NEW BEST:: SOT 2527550 SOS 1178224 HAS SOPS 584661 HAS SOUS 267478 HAS SOUPS 247980 WITH SCORE 249158.224
AT ITER 6311 NEW BEST:: SOT 2528349 SOS 1179023 HAS SOPS 585278 HAS SOUS 267387 HAS SOUPS 247889 WITH SCORE 249068.023
AT ITER 6317 NEW BEST:: SOT 2528349 SOS 1179012 HAS SOPS 585267 HAS SOUS 267387 HAS SOUPS 247889 WITH SCORE 249068.012
AT ITER 6341 NEW BEST:: SOT 2528349 SOS 1179002 HAS SOPS 585257 HAS SOUS 267387 HAS SOUPS 247889 WITH SCORE 249068.002
AT ITER 6345 NEW BEST:: SOT 2529180 SOS 1179833 HAS SOPS 585847 HAS SOUS 267061 HAS SOUPS 247561 WITH SCORE 248740.833
AT ITER 6357 NEW BEST:: SOT 2529148 SOS 1179769 HAS SOPS 585783 HAS SOUS 266997 HAS SOUPS 247497 WITH SCORE 248676.769
AT ITER 6368 NEW BEST:: SOT 2528972 SOS 1179593 HAS SOPS 585591 HAS SOUS 266989 HAS SOUPS 247489 WITH SCORE 248668.593
AT ITER 6386 NEW BEST:: SOT 2528633 SOS 1178332 HAS SOPS 584330 HAS SOUS 266534 HAS SOUPS 247034 WITH SCORE 248212.332
AT ITER 6392 NEW BEST:: SOT 2528500 SOS 1178245 HAS SOPS 584256 HAS SOUS 266341 HAS SOUPS 246841 WITH SCORE 248019.245
AT ITER 6401 NEW BEST:: SOT 2528499 SOS 1177883 HAS SOPS 583894 HAS SOUS 266339 HAS SOUPS 246839 WITH SCORE 248016.883
AT ITER 6432 NEW BEST:: SOT 2524320 SOS 1173582 HAS SOPS 579467 HAS SOUS 266079 HAS SOUPS 246579 WITH SCORE 247752.582
AT ITER 6440 NEW BEST:: SOT 2524278 SOS 1173481 HAS SOPS 579366 HAS SOUS 265994 HAS SOUPS 246494 WITH SCORE 247667.481
AT ITER 6495 NEW BEST:: SOT 2524278 SOS 1173507 HAS SOPS 579392 HAS SOUS 265887 HAS SOUPS 246387 WITH SCORE 247560.507
AT ITER 6498 NEW BEST:: SOT 2524309 SOS 1173538 HAS SOPS 579423 HAS SOUS 265883 HAS SOUPS 246383 WITH SCORE 247556.538
AT ITER 6529 NEW BEST:: SOT 2524309 SOS 1173440 HAS SOPS 579325 HAS SOUS 265869 HAS SOUPS 246369 WITH SCORE 247542.44
AT ITER 6551 NEW BEST:: SOT 2524314 SOS 1173472 HAS SOPS 579276 HAS SOUS 265820 HAS SOUPS 246320 WITH SCORE 247493.472
AT ITER 6567 NEW BEST:: SOT 2524309 SOS 1173438 HAS SOPS 579237 HAS SOUS 265815 HAS SOUPS 246315 WITH SCORE 247488.438
AT ITER 6579 NEW BEST:: SOT 2524275 SOS 1173495 HAS SOPS 579294 HAS SOUS 265809 HAS SOUPS 246309 WITH SCORE 247482.495
AT ITER 6584 NEW BEST:: SOT 2524252 SOS 1173291 HAS SOPS 579090 HAS SOUS 265763 HAS SOUPS 246263 WITH SCORE 247436.291
AT ITER 6586 NEW BEST:: SOT 2524198 SOS 1172421 HAS SOPS 578220 HAS SOUS 265733 HAS SOUPS 246233 WITH SCORE 247405.421
AT ITER 6593 NEW BEST:: SOT 2524194 SOS 1172868 HAS SOPS 578667 HAS SOUS 265725 HAS SOUPS 246225 WITH SCORE 247397.868
AT ITER 6635 NEW BEST:: SOT 2524168 SOS 1173013 HAS SOPS 578812 HAS SOUS 265673 HAS SOUPS 246173 WITH SCORE 247346.013
AT ITER 6651 NEW BEST:: SOT 2524450 SOS 1173143 HAS SOPS 557222 HAS SOUS 263624 HAS SOUPS 244124 WITH SCORE 245297.143
AT ITER 6665 NEW BEST:: SOT 2524450 SOS 1173073 HAS SOPS 556592 HAS SOUS 263624 HAS SOUPS 244054 WITH SCORE 245227.073
AT ITER 6677 NEW BEST:: SOT 2523595 SOS 1172183 HAS SOPS 555645 HAS SOUS 263413 HAS SOUPS 243843 WITH SCORE 245015.183
AT ITER 6680 NEW BEST:: SOT 2523524 SOS 1172059 HAS SOPS 555521 HAS SOUS 263200 HAS SOUPS 243630 WITH SCORE 244802.059
AT ITER 6685 NEW BEST:: SOT 2523466 SOS 1172040 HAS SOPS 555502 HAS SOUS 263181 HAS SOUPS 243611 WITH SCORE 244783.04
AT ITER 6693 NEW BEST:: SOT 2523500 SOS 1172074 HAS SOPS 555156 HAS SOUS 263145 HAS SOUPS 243265 WITH SCORE 244437.074
AT ITER 6706 NEW BEST:: SOT 2523500 SOS 1172068 HAS SOPS 555150 HAS SOUS 263145 HAS SOUPS 243265 WITH SCORE 244437.068
AT ITER 6720 NEW BEST:: SOT 2523500 SOS 1172030 HAS SOPS 555112 HAS SOUS 263145 HAS SOUPS 243265 WITH SCORE 244437.03
AT ITER 6727 NEW BEST:: SOT 2523484 SOS 1172014 HAS SOPS 555096 HAS SOUS 263129 HAS SOUPS 243249 WITH SCORE 244421.014
AT ITER 6748 NEW BEST:: SOT 2523455 SOS 1171704 HAS SOPS 554786 HAS SOUS 263071 HAS SOUPS 243191 WITH SCORE 244362.704
AT ITER 6755 NEW BEST:: SOT 2523455 SOS 1171715 HAS SOPS 554775 HAS SOUS 263060 HAS SOUPS 243180 WITH SCORE 244351.715
AT ITER 6759 NEW BEST:: SOT 2523317 SOS 1171519 HAS SOPS 554542 HAS SOUS 262887 HAS SOUPS 243007 WITH SCORE 244178.519
AT ITER 6782 NEW BEST:: SOT 2523280 SOS 1171425 HAS SOPS 554411 HAS SOUS 262756 HAS SOUPS 242876 WITH SCORE 244047.425
AT ITER 6798 NEW BEST:: SOT 2523261 SOS 1171387 HAS SOPS 554373 HAS SOUS 262737 HAS SOUPS 242857 WITH SCORE 244028.387
AT ITER 6803 NEW BEST:: SOT 2523248 SOS 1171335 HAS SOPS 554321 HAS SOUS 262724 HAS SOUPS 242844 WITH SCORE 244015.335
AT ITER 6804 NEW BEST:: SOT 2523216 SOS 1171070 HAS SOPS 554047 HAS SOUS 262541 HAS SOUPS 242661 WITH SCORE 243832.07
AT ITER 6829 NEW BEST:: SOT 2523216 SOS 1170521 HAS SOPS 553498 HAS SOUS 262541 HAS SOUPS 242661 WITH SCORE 243831.521
AT ITER 6860 NEW BEST:: SOT 2523213 SOS 1170518 HAS SOPS 553492 HAS SOUS 262527 HAS SOUPS 242647 WITH SCORE 243817.518
AT ITER 6864 NEW BEST:: SOT 2523213 SOS 1170520 HAS SOPS 553494 HAS SOUS 262526 HAS SOUPS 242646 WITH SCORE 243816.52
AT ITER 6922 NEW BEST:: SOT 2523195 SOS 1170502 HAS SOPS 553476 HAS SOUS 262508 HAS SOUPS 242628 WITH SCORE 243798.502
AT ITER 6924 NEW BEST:: SOT 2523195 SOS 1170524 HAS SOPS 553419 HAS SOUS 262451 HAS SOUPS 242571 WITH SCORE 243741.524
AT ITER 6942 NEW BEST:: SOT 2522222 SOS 1170047 HAS SOPS 553207 HAS SOUS 262359 HAS SOUPS 242479 WITH SCORE 243649.047
AT ITER 6947 NEW BEST:: SOT 2522147 SOS 1169925 HAS SOPS 553085 HAS SOUS 262294 HAS SOUPS 242414 WITH SCORE 243583.925
AT ITER 6949 NEW BEST:: SOT 2520858 SOS 1168636 HAS SOPS 551674 HAS SOUS 262294 HAS SOUPS 242414 WITH SCORE 243582.636
AT ITER 6957 NEW BEST:: SOT 2520796 SOS 1168622 HAS SOPS 551654 HAS SOUS 262274 HAS SOUPS 242394 WITH SCORE 243562.622
AT ITER 6979 NEW BEST:: SOT 2520796 SOS 1168530 HAS SOPS 551634 HAS SOUS 262248 HAS SOUPS 242367 WITH SCORE 243535.53
AT ITER 6980 NEW BEST:: SOT 2520792 SOS 1168419 HAS SOPS 551456 HAS SOUS 262133 HAS SOUPS 242252 WITH SCORE 243420.419
AT ITER 7007 NEW BEST:: SOT 2520753 SOS 1168381 HAS SOPS 551418 HAS SOUS 262095 HAS SOUPS 242214 WITH SCORE 243382.381
AT ITER 7014 NEW BEST:: SOT 2520753 SOS 1168381 HAS SOPS 551418 HAS SOUS 262070 HAS SOUPS 242189 WITH SCORE 243357.381
AT ITER 7021 NEW BEST:: SOT 2520480 SOS 1168049 HAS SOPS 551202 HAS SOUS 261820 HAS SOUPS 241973 WITH SCORE 243141.049
AT ITER 7031 NEW BEST:: SOT 2520468 SOS 1168061 HAS SOPS 551214 HAS SOUS 261808 HAS SOUPS 241961 WITH SCORE 243129.061
AT ITER 7034 NEW BEST:: SOT 2520438 SOS 1167761 HAS SOPS 550914 HAS SOUS 261748 HAS SOUPS 241901 WITH SCORE 243068.761
AT ITER 7047 NEW BEST:: SOT 2520390 SOS 1167713 HAS SOPS 550862 HAS SOUS 261744 HAS SOUPS 241897 WITH SCORE 243064.713
AT ITER 7062 NEW BEST:: SOT 2521019 SOS 1168342 HAS SOPS 551460 HAS SOUS 261583 HAS SOUPS 241736 WITH SCORE 242904.342
AT ITER 7063 NEW BEST:: SOT 2520834 SOS 1168275 HAS SOPS 551393 HAS SOUS 261304 HAS SOUPS 241457 WITH SCORE 242625.275
AT ITER 7075 NEW BEST:: SOT 2520823 SOS 1167481 HAS SOPS 550599 HAS SOUS 261293 HAS SOUPS 241446 WITH SCORE 242613.481
AT ITER 7096 NEW BEST:: SOT 2520823 SOS 1167410 HAS SOPS 550528 HAS SOUS 261293 HAS SOUPS 241446 WITH SCORE 242613.41
AT ITER 7103 NEW BEST:: SOT 2520821 SOS 1167408 HAS SOPS 550526 HAS SOUS 261289 HAS SOUPS 241442 WITH SCORE 242609.408
AT ITER 7140 NEW BEST:: SOT 2520749 SOS 1167354 HAS SOPS 550472 HAS SOUS 261235 HAS SOUPS 241388 WITH SCORE 242555.354
AT ITER 7158 NEW BEST:: SOT 2520669 SOS 1166917 HAS SOPS 550035 HAS SOUS 261186 HAS SOUPS 241339 WITH SCORE 242505.917
AT ITER 7168 NEW BEST:: SOT 2520607 SOS 1166731 HAS SOPS 549911 HAS SOUS 261124 HAS SOUPS 241277 WITH SCORE 242443.731
AT ITER 7181 NEW BEST:: SOT 2520602 SOS 1166586 HAS SOPS 549766 HAS SOUS 261119 HAS SOUPS 241272 WITH SCORE 242438.586
AT ITER 7185 NEW BEST:: SOT 2520532 SOS 1166495 HAS SOPS 549626 HAS SOUS 260979 HAS SOUPS 241132 WITH SCORE 242298.495
AT ITER 7200 NEW BEST:: SOT 2519916 SOS 1165853 HAS SOPS 549110 HAS SOUS 260958 HAS SOUPS 241111 WITH SCORE 242276.853
AT ITER 7215 NEW BEST:: SOT 2519916 SOS 1165807 HAS SOPS 549064 HAS SOUS 260958 HAS SOUPS 241111 WITH SCORE 242276.807
AT ITER 7230 NEW BEST:: SOT 2520992 SOS 1166830 HAS SOPS 550013 HAS SOUS 260914 HAS SOUPS 241067 WITH SCORE 242233.83
AT ITER 7252 NEW BEST:: SOT 2520856 SOS 1166626 HAS SOPS 549741 HAS SOUS 260642 HAS SOUPS 240795 WITH SCORE 241961.626
AT ITER 7254 NEW BEST:: SOT 2520769 SOS 1167211 HAS SOPS 549680 HAS SOUS 260594 HAS SOUPS 240670 WITH SCORE 241837.211
AT ITER 7261 NEW BEST:: SOT 2520695 SOS 1167139 HAS SOPS 548924 HAS SOUS 260446 HAS SOUPS 240446 WITH SCORE 241613.139
AT ITER 7274 NEW BEST:: SOT 2520775 SOS 1167209 HAS SOPS 548994 HAS SOUS 260436 HAS SOUPS 240436 WITH SCORE 241603.209
AT ITER 7282 NEW BEST:: SOT 2520711 SOS 1167089 HAS SOPS 548874 HAS SOUS 260353 HAS SOUPS 240353 WITH SCORE 241520.089
AT ITER 7306 NEW BEST:: SOT 2520711 SOS 1167074 HAS SOPS 548859 HAS SOUS 260338 HAS SOUPS 240338 WITH SCORE 241505.074
AT ITER 7309 NEW BEST:: SOT 2520692 SOS 1166969 HAS SOPS 548754 HAS SOUS 260278 HAS SOUPS 240278 WITH SCORE 241444.969
AT ITER 7327 NEW BEST:: SOT 2520692 SOS 1167037 HAS SOPS 548754 HAS SOUS 260210 HAS SOUPS 240210 WITH SCORE 241377.037
AT ITER 7329 NEW BEST:: SOT 2520684 SOS 1167029 HAS SOPS 548746 HAS SOUS 260202 HAS SOUPS 240202 WITH SCORE 241369.029
AT ITER 7330 NEW BEST:: SOT 2520644 SOS 1167456 HAS SOPS 549173 HAS SOUS 260122 HAS SOUPS 240122 WITH SCORE 241289.456
AT ITER 7348 NEW BEST:: SOT 2520681 SOS 1167530 HAS SOPS 549247 HAS SOUS 260115 HAS SOUPS 240115 WITH SCORE 241282.53
AT ITER 7349 NEW BEST:: SOT 2521880 SOS 1168674 HAS SOPS 550389 HAS SOUS 259944 HAS SOUPS 239944 WITH SCORE 241112.674
AT ITER 7351 NEW BEST:: SOT 2521877 SOS 1168647 HAS SOPS 550362 HAS SOUS 259938 HAS SOUPS 239938 WITH SCORE 241106.647
AT ITER 7370 NEW BEST:: SOT 2521876 SOS 1168647 HAS SOPS 550362 HAS SOUS 259936 HAS SOUPS 239936 WITH SCORE 241104.647
AT ITER 7389 NEW BEST:: SOT 2521288 SOS 1167997 HAS SOPS 549744 HAS SOUS 259844 HAS SOUPS 239844 WITH SCORE 241011.997
AT ITER 7409 NEW BEST:: SOT 2521250 SOS 1167959 HAS SOPS 549668 HAS SOUS 259768 HAS SOUPS 239768 WITH SCORE 240935.959
AT ITER 7429 NEW BEST:: SOT 2521088 SOS 1167908 HAS SOPS 549617 HAS SOUS 259619 HAS SOUPS 239619 WITH SCORE 240786.908
AT ITER 7431 NEW BEST:: SOT 2521028 SOS 1167801 HAS SOPS 549544 HAS SOUS 259546 HAS SOUPS 239546 WITH SCORE 240713.801
AT ITER 7432 NEW BEST:: SOT 2520990 SOS 1167763 HAS SOPS 549506 HAS SOUS 259508 HAS SOUPS 239508 WITH SCORE 240675.763
AT ITER 7447 NEW BEST:: SOT 2520514 SOS 1169936 HAS SOPS 549241 HAS SOUS 259565 HAS SOUPS 239453 WITH SCORE 240622.936
AT ITER 7460 NEW BEST:: SOT 2520507 SOS 1169908 HAS SOPS 549213 HAS SOUS 259558 HAS SOUPS 239446 WITH SCORE 240615.908
AT ITER 7461 NEW BEST:: SOT 2520485 SOS 1169890 HAS SOPS 549195 HAS SOUS 259536 HAS SOUPS 239424 WITH SCORE 240593.89
AT ITER 7473 NEW BEST:: SOT 2520485 SOS 1169890 HAS SOPS 549127 HAS SOUS 259468 HAS SOUPS 239356 WITH SCORE 240525.89
AT ITER 7492 NEW BEST:: SOT 2520462 SOS 1169867 HAS SOPS 549127 HAS SOUS 259468 HAS SOUPS 239356 WITH SCORE 240525.867
AT ITER 7501 NEW BEST:: SOT 2520206 SOS 1170495 HAS SOPS 549755 HAS SOUS 259299 HAS SOUPS 239187 WITH SCORE 240357.495
AT ITER 7542 NEW BEST:: SOT 2521121 SOS 1171410 HAS SOPS 550507 HAS SOUS 258989 HAS SOUPS 238877 WITH SCORE 240048.41
AT ITER 7543 NEW BEST:: SOT 2520440 SOS 1170626 HAS SOPS 549620 HAS SOUS 258245 HAS SOUPS 238133 WITH SCORE 239303.626
AT ITER 7568 NEW BEST:: SOT 2520373 SOS 1170474 HAS SOPS 548523 HAS SOUS 258093 HAS SOUPS 237874 WITH SCORE 239044.474
AT ITER 7582 NEW BEST:: SOT 2520374 SOS 1170387 HAS SOPS 548436 HAS SOUS 258090 HAS SOUPS 237871 WITH SCORE 239041.387
AT ITER 7591 NEW BEST:: SOT 2520370 SOS 1170391 HAS SOPS 548440 HAS SOUS 258086 HAS SOUPS 237867 WITH SCORE 239037.391
AT ITER 7609 NEW BEST:: SOT 2520726 SOS 1170841 HAS SOPS 548823 HAS SOUS 258066 HAS SOUPS 237847 WITH SCORE 239017.841
AT ITER 7633 NEW BEST:: SOT 2517910 SOS 1168025 HAS SOPS 545741 HAS SOUS 258265 HAS SOUPS 237780 WITH SCORE 238948.025
AT ITER 7642 NEW BEST:: SOT 2517821 SOS 1168014 HAS SOPS 545872 HAS SOUS 258230 HAS SOUPS 237745 WITH SCORE 238913.014
AT ITER 7695 NEW BEST:: SOT 2517701 SOS 1167669 HAS SOPS 545626 HAS SOUS 258173 HAS SOUPS 237688 WITH SCORE 238855.669
AT ITER 7720 NEW BEST:: SOT 2517648 SOS 1165099 HAS SOPS 543056 HAS SOUS 258067 HAS SOUPS 237582 WITH SCORE 238747.099
AT ITER 7726 NEW BEST:: SOT 2517580 SOS 1165099 HAS SOPS 542988 HAS SOUS 258011 HAS SOUPS 237514 WITH SCORE 238679.099
AT ITER 7755 NEW BEST:: SOT 2517604 SOS 1164347 HAS SOPS 542236 HAS SOUS 258005 HAS SOUPS 237508 WITH SCORE 238672.347
AT ITER 7756 NEW BEST:: SOT 2517517 SOS 1164063 HAS SOPS 542062 HAS SOUS 257826 HAS SOUPS 237334 WITH SCORE 238498.063
AT ITER 7778 NEW BEST:: SOT 2517445 SOS 1163919 HAS SOPS 541918 HAS SOUS 257682 HAS SOUPS 237190 WITH SCORE 238353.919
AT ITER 7785 NEW BEST:: SOT 2517413 SOS 1164766 HAS SOPS 542671 HAS SOUS 257650 HAS SOUPS 237158 WITH SCORE 238322.766
AT ITER 7798 NEW BEST:: SOT 2517295 SOS 1164643 HAS SOPS 542548 HAS SOUS 257607 HAS SOUPS 237115 WITH SCORE 238279.643
AT ITER 7808 NEW BEST:: SOT 2517293 SOS 1164721 HAS SOPS 542626 HAS SOUS 257603 HAS SOUPS 237111 WITH SCORE 238275.721
AT ITER 7825 NEW BEST:: SOT 2517314 SOS 1164739 HAS SOPS 542671 HAS SOUS 257600 HAS SOUPS 237108 WITH SCORE 238272.739
AT ITER 7826 NEW BEST:: SOT 2517268 SOS 1164693 HAS SOPS 542533 HAS SOUS 257462 HAS SOUPS 236970 WITH SCORE 238134.693
AT ITER 7828 NEW BEST:: SOT 2516985 SOS 1164412 HAS SOPS 542212 HAS SOUS 257363 HAS SOUPS 236871 WITH SCORE 238035.412
AT ITER 7841 NEW BEST:: SOT 2516890 SOS 1164417 HAS SOPS 542307 HAS SOUS 257358 HAS SOUPS 236866 WITH SCORE 238030.417
AT ITER 7864 NEW BEST:: SOT 2516852 SOS 1166767 HAS SOPS 542430 HAS SOUS 257359 HAS SOUPS 236832 WITH SCORE 237998.767
AT ITER 7871 NEW BEST:: SOT 2516765 SOS 1167046 HAS SOPS 542709 HAS SOUS 257336 HAS SOUPS 236809 WITH SCORE 237976.046
AT ITER 7885 NEW BEST:: SOT 2516702 SOS 1166983 HAS SOPS 542646 HAS SOUS 257336 HAS SOUPS 236809 WITH SCORE 237975.983
AT ITER 7952 NEW BEST:: SOT 2516702 SOS 1162711 HAS SOPS 542598 HAS SOUS 257240 HAS SOUPS 236761 WITH SCORE 237923.711
AT ITER 7979 NEW BEST:: SOT 2516692 SOS 1162781 HAS SOPS 542668 HAS SOUS 257220 HAS SOUPS 236741 WITH SCORE 237903.781
AT ITER 7985 NEW BEST:: SOT 2516477 SOS 1146618 HAS SOPS 542823 HAS SOUS 256456 HAS SOUPS 236399 WITH SCORE 237545.618
AT ITER 7990 NEW BEST:: SOT 2515479 SOS 1145587 HAS SOPS 541857 HAS SOUS 256270 HAS SOUPS 236213 WITH SCORE 237358.587
AT ITER 7997 NEW BEST:: SOT 2515384 SOS 1145492 HAS SOPS 541762 HAS SOUS 256270 HAS SOUPS 236213 WITH SCORE 237358.492
AT ITER 8006 NEW BEST:: SOT 2515367 SOS 1145466 HAS SOPS 541736 HAS SOUS 256253 HAS SOUPS 236196 WITH SCORE 237341.466
AT ITER 8015 NEW BEST:: SOT 2514682 SOS 1145110 HAS SOPS 541021 HAS SOUS 255694 HAS SOUPS 235577 WITH SCORE 236722.11
AT ITER 8029 NEW BEST:: SOT 2514650 SOS 1144755 HAS SOPS 540645 HAS SOUS 255661 HAS SOUPS 235544 WITH SCORE 236688.755
AT ITER 8046 NEW BEST:: SOT 2514650 SOS 1144373 HAS SOPS 540263 HAS SOUS 255592 HAS SOUPS 235475 WITH SCORE 236619.373
AT ITER 8055 NEW BEST:: SOT 2514592 SOS 1144315 HAS SOPS 540263 HAS SOUS 255592 HAS SOUPS 235475 WITH SCORE 236619.315
AT ITER 8063 NEW BEST:: SOT 2514592 SOS 1144315 HAS SOPS 540221 HAS SOUS 255550 HAS SOUPS 235433 WITH SCORE 236577.315
AT ITER 8079 NEW BEST:: SOT 2514592 SOS 1144303 HAS SOPS 540209 HAS SOUS 255550 HAS SOUPS 235433 WITH SCORE 236577.303
AT ITER 8080 NEW BEST:: SOT 2513711 SOS 1152118 HAS SOPS 539328 HAS SOUS 255592 HAS SOUPS 235352 WITH SCORE 236504.118
AT ITER 8103 NEW BEST:: SOT 2513682 SOS 1151421 HAS SOPS 538631 HAS SOUS 255534 HAS SOUPS 235294 WITH SCORE 236445.421
AT ITER 8112 NEW BEST:: SOT 2513458 SOS 1150936 HAS SOPS 538484 HAS SOUS 255402 HAS SOUPS 235162 WITH SCORE 236312.936
AT ITER 8115 NEW BEST:: SOT 2511118 SOS 1148492 HAS SOPS 536040 HAS SOUS 255254 HAS SOUPS 235014 WITH SCORE 236162.492
AT ITER 8124 NEW BEST:: SOT 2511100 SOS 1148476 HAS SOPS 536024 HAS SOUS 255250 HAS SOUPS 235010 WITH SCORE 236158.476
AT ITER 8135 NEW BEST:: SOT 2511089 SOS 1148466 HAS SOPS 536015 HAS SOUS 255240 HAS SOUPS 235000 WITH SCORE 236148.466
AT ITER 8154 NEW BEST:: SOT 2511083 SOS 1148432 HAS SOPS 535981 HAS SOUS 255228 HAS SOUPS 234988 WITH SCORE 236136.432
AT ITER 8155 NEW BEST:: SOT 2511337 SOS 1148686 HAS SOPS 536211 HAS SOUS 255212 HAS SOUPS 234972 WITH SCORE 236120.686
AT ITER 8162 NEW BEST:: SOT 2511295 SOS 1148571 HAS SOPS 536095 HAS SOUS 255128 HAS SOUPS 234888 WITH SCORE 236036.571
AT ITER 8163 NEW BEST:: SOT 2510575 SOS 1147821 HAS SOPS 535345 HAS SOUS 254858 HAS SOUPS 234618 WITH SCORE 235765.821
AT ITER 8177 NEW BEST:: SOT 2510578 SOS 1147730 HAS SOPS 535254 HAS SOUS 254771 HAS SOUPS 234531 WITH SCORE 235678.73
AT ITER 8181 NEW BEST:: SOT 2510504 SOS 1147064 HAS SOPS 534588 HAS SOUS 254697 HAS SOUPS 234457 WITH SCORE 235604.064
AT ITER 8189 NEW BEST:: SOT 2510180 SOS 1147354 HAS SOPS 535262 HAS SOUS 254496 HAS SOUPS 234256 WITH SCORE 235403.354
AT ITER 8199 NEW BEST:: SOT 2510197 SOS 1146916 HAS SOPS 534824 HAS SOUS 254471 HAS SOUPS 234231 WITH SCORE 235377.916
AT ITER 8214 NEW BEST:: SOT 2510197 SOS 1146980 HAS SOPS 534888 HAS SOUS 254462 HAS SOUPS 234222 WITH SCORE 235368.98
AT ITER 8242 NEW BEST:: SOT 2510173 SOS 1146913 HAS SOPS 534821 HAS SOUS 254414 HAS SOUPS 234174 WITH SCORE 235320.913
AT ITER 8266 NEW BEST:: SOT 2510111 SOS 1146325 HAS SOPS 534233 HAS SOUS 254290 HAS SOUPS 234050 WITH SCORE 235196.325
AT ITER 8274 NEW BEST:: SOT 2510034 SOS 1145697 HAS SOPS 533605 HAS SOUS 254215 HAS SOUPS 233975 WITH SCORE 235120.697
AT ITER 8309 NEW BEST:: SOT 2509972 SOS 1145601 HAS SOPS 533509 HAS SOUS 254119 HAS SOUPS 233879 WITH SCORE 235024.601
AT ITER 8323 NEW BEST:: SOT 2509972 SOS 1145196 HAS SOPS 533149 HAS SOUS 254119 HAS SOUPS 233879 WITH SCORE 235024.196
AT ITER 8361 NEW BEST:: SOT 2509896 SOS 1145120 HAS SOPS 532997 HAS SOUS 253967 HAS SOUPS 233727 WITH SCORE 234872.12
AT ITER 8368 NEW BEST:: SOT 2509893 SOS 1145119 HAS SOPS 532996 HAS SOUS 253961 HAS SOUPS 233721 WITH SCORE 234866.119
AT ITER 8402 NEW BEST:: SOT 2509879 SOS 1145231 HAS SOPS 533108 HAS SOUS 253933 HAS SOUPS 233693 WITH SCORE 234838.231
AT ITER 8433 NEW BEST:: SOT 2509874 SOS 1145858 HAS SOPS 533644 HAS SOUS 253832 HAS SOUPS 233592 WITH SCORE 234737.858
AT ITER 8443 NEW BEST:: SOT 2509232 SOS 1145157 HAS SOPS 532832 HAS SOUS 253544 HAS SOUPS 233304 WITH SCORE 234449.157
AT ITER 8450 NEW BEST:: SOT 2509207 SOS 1145107 HAS SOPS 532765 HAS SOUS 253494 HAS SOUPS 233254 WITH SCORE 234399.107
AT ITER 8456 NEW BEST:: SOT 2509267 SOS 1144397 HAS SOPS 532055 HAS SOUS 253471 HAS SOUPS 233231 WITH SCORE 234375.397
AT ITER 8515 NEW BEST:: SOT 2508880 SOS 1143995 HAS SOPS 531615 HAS SOUS 253455 HAS SOUPS 233215 WITH SCORE 234358.995
AT ITER 8519 NEW BEST:: SOT 2508848 SOS 1143934 HAS SOPS 531554 HAS SOUS 253420 HAS SOUPS 233180 WITH SCORE 234323.934
AT ITER 8534 NEW BEST:: SOT 2508769 SOS 1143735 HAS SOPS 531279 HAS SOUS 253262 HAS SOUPS 233022 WITH SCORE 234165.735
AT ITER 8557 NEW BEST:: SOT 2508769 SOS 1143883 HAS SOPS 531427 HAS SOUS 253209 HAS SOUPS 232969 WITH SCORE 234112.883
AT ITER 8562 NEW BEST:: SOT 2508778 SOS 1143661 HAS SOPS 531134 HAS SOUS 253092 HAS SOUPS 232852 WITH SCORE 233995.661
AT ITER 8567 NEW BEST:: SOT 2507785 SOS 1142640 HAS SOPS 529871 HAS SOUS 253044 HAS SOUPS 232804 WITH SCORE 233946.64
AT ITER 8590 NEW BEST:: SOT 2507541 SOS 1142496 HAS SOPS 529727 HAS SOUS 252737 HAS SOUPS 232497 WITH SCORE 233639.496
AT ITER 8597 NEW BEST:: SOT 2507493 SOS 1142400 HAS SOPS 529631 HAS SOUS 252641 HAS SOUPS 232401 WITH SCORE 233543.4
AT ITER 8629 NEW BEST:: SOT 2507459 SOS 1142366 HAS SOPS 529563 HAS SOUS 252573 HAS SOUPS 232333 WITH SCORE 233475.366
AT ITER 8661 NEW BEST:: SOT 2507102 SOS 1141927 HAS SOPS 529124 HAS SOUS 252503 HAS SOUPS 232263 WITH SCORE 233404.927
AT ITER 8671 NEW BEST:: SOT 2508356 SOS 1143238 HAS SOPS 530378 HAS SOUS 252433 HAS SOUPS 232193 WITH SCORE 233336.238
AT ITER 8734 NEW BEST:: SOT 2508350 SOS 1143171 HAS SOPS 530311 HAS SOUS 252421 HAS SOUPS 232181 WITH SCORE 233324.171
AT ITER 8742 NEW BEST:: SOT 2508350 SOS 1142766 HAS SOPS 529906 HAS SOUS 252421 HAS SOUPS 232181 WITH SCORE 233323.766
AT ITER 8769 NEW BEST:: SOT 2508306 SOS 1142733 HAS SOPS 529917 HAS SOUS 252399 HAS SOUPS 232159 WITH SCORE 233301.733
AT ITER 8785 NEW BEST:: SOT 2508261 SOS 1142430 HAS SOPS 529659 HAS SOUS 252366 HAS SOUPS 232126 WITH SCORE 233268.43
AT ITER 8786 NEW BEST:: SOT 2508159 SOS 1141944 HAS SOPS 529003 HAS SOUS 252147 HAS SOUPS 231907 WITH SCORE 233048.944
AT ITER 8788 NEW BEST:: SOT 2507939 SOS 1141785 HAS SOPS 528484 HAS SOUS 251770 HAS SOUPS 231530 WITH SCORE 232671.785
AT ITER 8802 NEW BEST:: SOT 2507855 SOS 1141701 HAS SOPS 528400 HAS SOUS 251686 HAS SOUPS 231446 WITH SCORE 232587.701
AT ITER 8816 NEW BEST:: SOT 2507840 SOS 1141686 HAS SOPS 528388 HAS SOUS 251683 HAS SOUPS 231434 WITH SCORE 232575.686
AT ITER 8853 NEW BEST:: SOT 2507763 SOS 1141650 HAS SOPS 528352 HAS SOUS 251640 HAS SOUPS 231391 WITH SCORE 232532.65
AT ITER 8859 NEW BEST:: SOT 2507763 SOS 1141622 HAS SOPS 528296 HAS SOUS 251584 HAS SOUPS 231335 WITH SCORE 232476.622
AT ITER 8869 NEW BEST:: SOT 2505627 SOS 1140653 HAS SOPS 525951 HAS SOUS 251249 HAS SOUPS 230806 WITH SCORE 231946.653
AT ITER 8870 NEW BEST:: SOT 2505575 SOS 1140417 HAS SOPS 525781 HAS SOUS 251145 HAS SOUPS 230702 WITH SCORE 231842.417
AT ITER 8916 NEW BEST:: SOT 2505580 SOS 1140437 HAS SOPS 525791 HAS SOUS 251140 HAS SOUPS 230697 WITH SCORE 231837.437
AT ITER 8917 NEW BEST:: SOT 2505568 SOS 1140473 HAS SOPS 525827 HAS SOUS 251128 HAS SOUPS 230685 WITH SCORE 231825.473
AT ITER 8937 NEW BEST:: SOT 2505450 SOS 1140355 HAS SOPS 525714 HAS SOUS 250764 HAS SOUPS 230572 WITH SCORE 231712.355
AT ITER 8984 NEW BEST:: SOT 2505303 SOS 1140203 HAS SOPS 525420 HAS SOUS 250470 HAS SOUPS 230278 WITH SCORE 231418.203
AT ITER 8992 NEW BEST:: SOT 2505310 SOS 1140199 HAS SOPS 525394 HAS SOUS 250446 HAS SOUPS 230254 WITH SCORE 231394.199
AT ITER 8998 NEW BEST:: SOT 2505318 SOS 1140125 HAS SOPS 525320 HAS SOUS 250440 HAS SOUPS 230248 WITH SCORE 231388.125
AT ITER 9056 NEW BEST:: SOT 2505154 SOS 1139797 HAS SOPS 524992 HAS SOUS 250123 HAS SOUPS 229881 WITH SCORE 231020.797
AT ITER 9068 NEW BEST:: SOT 2504783 SOS 1141398 HAS SOPS 524592 HAS SOUS 250011 HAS SOUPS 229740 WITH SCORE 230881.398
AT ITER 9089 NEW BEST:: SOT 2504496 SOS 1141211 HAS SOPS 524405 HAS SOUS 249692 HAS SOUPS 229421 WITH SCORE 230562.211
AT ITER 9120 NEW BEST:: SOT 2504493 SOS 1141208 HAS SOPS 524396 HAS SOUS 249683 HAS SOUPS 229412 WITH SCORE 230553.208
AT ITER 9127 NEW BEST:: SOT 2504429 SOS 1141160 HAS SOPS 524348 HAS SOUS 249571 HAS SOUPS 229300 WITH SCORE 230441.16
AT ITER 9132 NEW BEST:: SOT 2504285 SOS 1141016 HAS SOPS 524204 HAS SOUS 249555 HAS SOUPS 229284 WITH SCORE 230425.016
AT ITER 9133 NEW BEST:: SOT 2504333 SOS 1140480 HAS SOPS 523856 HAS SOUS 249552 HAS SOUPS 229281 WITH SCORE 230421.48
AT ITER 9137 NEW BEST:: SOT 2504333 SOS 1140471 HAS SOPS 523847 HAS SOUS 249552 HAS SOUPS 229281 WITH SCORE 230421.471
AT ITER 9138 NEW BEST:: SOT 2504333 SOS 1140596 HAS SOPS 523915 HAS SOUS 249529 HAS SOUPS 229258 WITH SCORE 230398.596
AT ITER 9139 NEW BEST:: SOT 2504337 SOS 1140601 HAS SOPS 523920 HAS SOUS 249422 HAS SOUPS 229151 WITH SCORE 230291.601
AT ITER 9219 NEW BEST:: SOT 2504221 SOS 1140553 HAS SOPS 523895 HAS SOUS 249265 HAS SOUPS 228994 WITH SCORE 230134.553
AT ITER 9252 NEW BEST:: SOT 2504167 SOS 1140508 HAS SOPS 523850 HAS SOUS 249220 HAS SOUPS 228949 WITH SCORE 230089.508
AT ITER 9260 NEW BEST:: SOT 2504145 SOS 1140437 HAS SOPS 523779 HAS SOUS 249198 HAS SOUPS 228927 WITH SCORE 230067.437
AT ITER 9271 NEW BEST:: SOT 2503998 SOS 1140137 HAS SOPS 523781 HAS SOUS 249192 HAS SOUPS 228921 WITH SCORE 230061.137
AT ITER 9330 NEW BEST:: SOT 2503997 SOS 1140125 HAS SOPS 523769 HAS SOUS 249190 HAS SOUPS 228919 WITH SCORE 230059.125
AT ITER 9363 NEW BEST:: SOT 2504001 SOS 1140117 HAS SOPS 523761 HAS SOUS 249182 HAS SOUPS 228911 WITH SCORE 230051.117
AT ITER 9371 NEW BEST:: SOT 2503969 SOS 1140021 HAS SOPS 523665 HAS SOUS 249118 HAS SOUPS 228847 WITH SCORE 229987.021
AT ITER 9385 NEW BEST:: SOT 2503969 SOS 1140023 HAS SOPS 523649 HAS SOUS 249116 HAS SOUPS 228845 WITH SCORE 229985.023
AT ITER 9386 NEW BEST:: SOT 2503955 SOS 1140009 HAS SOPS 523635 HAS SOUS 249102 HAS SOUPS 228831 WITH SCORE 229971.009
AT ITER 9416 NEW BEST:: SOT 2503950 SOS 1140263 HAS SOPS 523887 HAS SOUS 249092 HAS SOUPS 228821 WITH SCORE 229961.263
AT ITER 9419 NEW BEST:: SOT 2503881 SOS 1140180 HAS SOPS 523710 HAS SOUS 248926 HAS SOUPS 228655 WITH SCORE 229795.18
AT ITER 9449 NEW BEST:: SOT 2503873 SOS 1140164 HAS SOPS 523694 HAS SOUS 248910 HAS SOUPS 228639 WITH SCORE 229779.164
AT ITER 9454 NEW BEST:: SOT 2503868 SOS 1140159 HAS SOPS 523684 HAS SOUS 248900 HAS SOUPS 228629 WITH SCORE 229769.159
AT ITER 9475 NEW BEST:: SOT 2503868 SOS 1140140 HAS SOPS 523637 HAS SOUS 248847 HAS SOUPS 228576 WITH SCORE 229716.14
AT ITER 9493 NEW BEST:: SOT 2503817 SOS 1140497 HAS SOPS 523994 HAS SOUS 248796 HAS SOUPS 228525 WITH SCORE 229665.497
AT ITER 9505 NEW BEST:: SOT 2504441 SOS 1141121 HAS SOPS 523907 HAS SOUS 248709 HAS SOUPS 228438 WITH SCORE 229579.121
AT ITER 9510 NEW BEST:: SOT 2504432 SOS 1141094 HAS SOPS 523880 HAS SOUS 248691 HAS SOUPS 228420 WITH SCORE 229561.094
AT ITER 9518 NEW BEST:: SOT 2504312 SOS 1140974 HAS SOPS 523760 HAS SOUS 248571 HAS SOUPS 228300 WITH SCORE 229440.974
AT ITER 9554 NEW BEST:: SOT 2504274 SOS 1141054 HAS SOPS 523788 HAS SOUS 248495 HAS SOUPS 228224 WITH SCORE 229365.054
AT ITER 9570 NEW BEST:: SOT 2504253 SOS 1141012 HAS SOPS 523746 HAS SOUS 248474 HAS SOUPS 228203 WITH SCORE 229344.012
AT ITER 9585 NEW BEST:: SOT 2504253 SOS 1140950 HAS SOPS 523684 HAS SOUS 248474 HAS SOUPS 228203 WITH SCORE 229343.95
AT ITER 9597 NEW BEST:: SOT 2504253 SOS 1140882 HAS SOPS 523616 HAS SOUS 248449 HAS SOUPS 228178 WITH SCORE 229318.882
AT ITER 9605 NEW BEST:: SOT 2504252 SOS 1139760 HAS SOPS 521758 HAS SOUS 248319 HAS SOUPS 228048 WITH SCORE 229187.76
AT ITER 9632 NEW BEST:: SOT 2504262 SOS 1139760 HAS SOPS 521748 HAS SOUS 248309 HAS SOUPS 228038 WITH SCORE 229177.76
AT ITER 9658 NEW BEST:: SOT 2504292 SOS 1139790 HAS SOPS 521808 HAS SOUS 248297 HAS SOUPS 228026 WITH SCORE 229165.79
AT ITER 9679 NEW BEST:: SOT 2504292 SOS 1139790 HAS SOPS 521740 HAS SOUS 248229 HAS SOUPS 227958 WITH SCORE 229097.79
AT ITER 9683 NEW BEST:: SOT 2504267 SOS 1139715 HAS SOPS 521640 HAS SOUS 248179 HAS SOUPS 227908 WITH SCORE 229047.715
AT ITER 9690 NEW BEST:: SOT 2504253 SOS 1139665 HAS SOPS 521612 HAS SOUS 248151 HAS SOUPS 227880 WITH SCORE 229019.665
AT ITER 9693 NEW BEST:: SOT 2504203 SOS 1139613 HAS SOPS 521558 HAS SOUS 248145 HAS SOUPS 227874 WITH SCORE 229013.613
AT ITER 9708 NEW BEST:: SOT 2504203 SOS 1139400 HAS SOPS 521345 HAS SOUS 248145 HAS SOUPS 227874 WITH SCORE 229013.4
AT ITER 9793 NEW BEST:: SOT 2504203 SOS 1139369 HAS SOPS 521314 HAS SOUS 248145 HAS SOUPS 227874 WITH SCORE 229013.369
AT ITER 9801 NEW BEST:: SOT 2504005 SOS 1139072 HAS SOPS 521017 HAS SOUS 247848 HAS SOUPS 227577 WITH SCORE 228716.072
AT ITER 9826 NEW BEST:: SOT 2504005 SOS 1139072 HAS SOPS 521017 HAS SOUS 247774 HAS SOUPS 227503 WITH SCORE 228642.072
AT ITER 9829 NEW BEST:: SOT 2503997 SOS 1139090 HAS SOPS 521018 HAS SOUS 247758 HAS SOUPS 227487 WITH SCORE 228626.09
AT ITER 9860 NEW BEST:: SOT 2503928 SOS 1138961 HAS SOPS 520946 HAS SOUS 247686 HAS SOUPS 227415 WITH SCORE 228553.961
AT ITER 9898 NEW BEST:: SOT 2503721 SOS 1138740 HAS SOPS 520715 HAS SOUS 247623 HAS SOUPS 227352 WITH SCORE 228490.74
AT ITER 9899 NEW BEST:: SOT 2503721 SOS 1138370 HAS SOPS 520345 HAS SOUS 247623 HAS SOUPS 227352 WITH SCORE 228490.37
AT ITER 9905 NEW BEST:: SOT 2501452 SOS 1136000 HAS SOPS 517931 HAS SOUS 247622 HAS SOUPS 227346 WITH SCORE 228482.0
AT ITER 9906 NEW BEST:: SOT 2501566 SOS 1136041 HAS SOPS 517969 HAS SOUS 247590 HAS SOUPS 227314 WITH SCORE 228450.041
AT ITER 9921 NEW BEST:: SOT 2501531 SOS 1135971 HAS SOPS 517906 HAS SOUS 247544 HAS SOUPS 227268 WITH SCORE 228403.971
AT ITER 9931 NEW BEST:: SOT 2501507 SOS 1135971 HAS SOPS 517906 HAS SOUS 247520 HAS SOUPS 227244 WITH SCORE 228379.971
AT ITER 9948 NEW BEST:: SOT 2501497 SOS 1135929 HAS SOPS 517864 HAS SOUS 247508 HAS SOUPS 227232 WITH SCORE 228367.929
AT ITER 9960 NEW BEST:: SOT 2501483 SOS 1135929 HAS SOPS 517864 HAS SOUS 247480 HAS SOUPS 227204 WITH SCORE 228339.929
AT ITER 9972 NEW BEST:: SOT 2501393 SOS 1135788 HAS SOPS 517723 HAS SOUS 247339 HAS SOUPS 227063 WITH SCORE 228198.788
AT ITER 9975 NEW BEST:: SOT 2501365 SOS 1135881 HAS SOPS 517816 HAS SOUS 247283 HAS SOUPS 227007 WITH SCORE 228142.881
AT ITER 9980 NEW BEST:: SOT 2501463 SOS 1135979 HAS SOPS 517900 HAS SOUS 247255 HAS SOUPS 226979 WITH SCORE 228114.979
AT ITER 9982 NEW BEST:: SOT 2501439 SOS 1135955 HAS SOPS 517852 HAS SOUS 247231 HAS SOUPS 226955 WITH SCORE 228090.955
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 10460652 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16148024 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="EisenbergMcGuire-PT-09"
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 EisenbergMcGuire-PT-09, 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 r515-tall-167987242200272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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