Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.1M
-rw-r--r-- 1 mcc users 13K Feb 26 13:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 13:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 115K Feb 26 13:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 474K Feb 26 13:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 36K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 39K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 140K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 14:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 14:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 39K Feb 26 14:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 191K Feb 26 14:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 6.8M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678803772238

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-PT-S06J04T04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S06J04T04
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: 454 places, 6994 transitions, 59152 arcs.
AT ITER 0 NEW BEST:: SOT 2028676 SOS 1186916 HAS SOPS 1180953 HAS SOUS 210047 HAS SOUPS 209565 WITH SCORE 210751.916
AT ITER 4 NEW BEST:: SOT 2028113 SOS 1186509 HAS SOPS 1180546 HAS SOUS 209747 HAS SOUPS 209265 WITH SCORE 210451.509
AT ITER 11 NEW BEST:: SOT 2028203 SOS 1186599 HAS SOPS 1180514 HAS SOUS 209919 HAS SOUPS 209257 WITH SCORE 210443.599
AT ITER 19 NEW BEST:: SOT 2028159 SOS 1186555 HAS SOPS 1180448 HAS SOUS 209917 HAS SOUPS 209235 WITH SCORE 210421.555
AT ITER 27 NEW BEST:: SOT 2027785 SOS 1186260 HAS SOPS 1180153 HAS SOUS 209622 HAS SOUPS 208940 WITH SCORE 210126.26
AT ITER 36 NEW BEST:: SOT 1922564 SOS 1081093 HAS SOPS 1075098 HAS SOUS 195929 HAS SOUPS 195275 WITH SCORE 196356.093
AT ITER 49 NEW BEST:: SOT 1922351 SOS 1080794 HAS SOPS 1074799 HAS SOUS 195818 HAS SOUPS 195164 WITH SCORE 196244.794
AT ITER 56 NEW BEST:: SOT 1917201 SOS 1081650 HAS SOPS 1079105 HAS SOUS 191385 HAS SOUPS 190842 WITH SCORE 191923.65
AT ITER 67 NEW BEST:: SOT 1917403 SOS 1082408 HAS SOPS 1079863 HAS SOUS 191329 HAS SOUPS 190786 WITH SCORE 191868.408
AT ITER 88 NEW BEST:: SOT 1804629 SOS 977364 HAS SOPS 974819 HAS SOUS 176386 HAS SOUPS 175843 WITH SCORE 176820.364
AT ITER 92 NEW BEST:: SOT 1804811 SOS 978097 HAS SOPS 975552 HAS SOUS 176287 HAS SOUPS 175744 WITH SCORE 176722.097
AT ITER 98 NEW BEST:: SOT 1804802 SOS 978088 HAS SOPS 975543 HAS SOUS 176251 HAS SOUPS 175708 WITH SCORE 176686.088
AT ITER 99 NEW BEST:: SOT 1804724 SOS 978002 HAS SOPS 975482 HAS SOUS 176159 HAS SOUPS 175616 WITH SCORE 176594.002
AT ITER 100 NEW BEST:: SOT 1804517 SOS 977933 HAS SOPS 975413 HAS SOUS 176056 HAS SOUPS 175513 WITH SCORE 176490.933
AT ITER 102 NEW BEST:: SOT 1804578 SOS 977989 HAS SOPS 975539 HAS SOUS 175554 HAS SOUPS 175011 WITH SCORE 175988.989
AT ITER 124 NEW BEST:: SOT 1804402 SOS 977707 HAS SOPS 975257 HAS SOUS 175303 HAS SOUPS 174760 WITH SCORE 175737.707
AT ITER 130 NEW BEST:: SOT 1804037 SOS 977467 HAS SOPS 975017 HAS SOUS 175018 HAS SOUPS 174475 WITH SCORE 175452.467
AT ITER 133 NEW BEST:: SOT 1804001 SOS 977419 HAS SOPS 974969 HAS SOUS 174968 HAS SOUPS 174425 WITH SCORE 175402.419
AT ITER 134 NEW BEST:: SOT 1804034 SOS 977452 HAS SOPS 974978 HAS SOUS 174963 HAS SOUPS 174417 WITH SCORE 175394.452
AT ITER 176 NEW BEST:: SOT 1803670 SOS 977162 HAS SOPS 974688 HAS SOUS 174599 HAS SOUPS 174053 WITH SCORE 175030.162
AT ITER 177 NEW BEST:: SOT 1803676 SOS 977168 HAS SOPS 974694 HAS SOUS 174585 HAS SOUPS 174039 WITH SCORE 175016.168
AT ITER 181 NEW BEST:: SOT 1803576 SOS 977199 HAS SOPS 974725 HAS SOUS 174434 HAS SOUPS 173888 WITH SCORE 174865.199
AT ITER 210 NEW BEST:: SOT 1803543 SOS 977166 HAS SOPS 974692 HAS SOUS 174407 HAS SOUPS 173861 WITH SCORE 174838.166
AT ITER 213 NEW BEST:: SOT 1803920 SOS 977543 HAS SOPS 975069 HAS SOUS 174313 HAS SOUPS 173767 WITH SCORE 174744.543
AT ITER 232 NEW BEST:: SOT 1803920 SOS 977522 HAS SOPS 975048 HAS SOUS 174305 HAS SOUPS 173759 WITH SCORE 174736.522
AT ITER 238 NEW BEST:: SOT 1803485 SOS 977087 HAS SOPS 974613 HAS SOUS 173840 HAS SOUPS 173294 WITH SCORE 174271.087
AT ITER 249 NEW BEST:: SOT 1803156 SOS 976827 HAS SOPS 974353 HAS SOUS 173494 HAS SOUPS 172948 WITH SCORE 173924.827
AT ITER 252 NEW BEST:: SOT 1803149 SOS 976820 HAS SOPS 974346 HAS SOUS 173487 HAS SOUPS 172941 WITH SCORE 173917.82
AT ITER 265 NEW BEST:: SOT 1802709 SOS 976508 HAS SOPS 974034 HAS SOUS 173184 HAS SOUPS 172638 WITH SCORE 173614.508
AT ITER 267 NEW BEST:: SOT 1802675 SOS 980578 HAS SOPS 978104 HAS SOUS 173175 HAS SOUPS 172629 WITH SCORE 173609.578
AT ITER 281 NEW BEST:: SOT 1802690 SOS 980627 HAS SOPS 978129 HAS SOUS 173166 HAS SOUPS 172620 WITH SCORE 173600.627
AT ITER 291 NEW BEST:: SOT 1802690 SOS 980621 HAS SOPS 978131 HAS SOUS 173087 HAS SOUPS 172543 WITH SCORE 173523.621
AT ITER 292 NEW BEST:: SOT 1802517 SOS 980448 HAS SOPS 977958 HAS SOUS 172941 HAS SOUPS 172397 WITH SCORE 173377.448
AT ITER 299 NEW BEST:: SOT 1802609 SOS 980651 HAS SOPS 978161 HAS SOUS 172838 HAS SOUPS 172294 WITH SCORE 173274.651
AT ITER 304 NEW BEST:: SOT 1802591 SOS 980561 HAS SOPS 978071 HAS SOUS 172823 HAS SOUPS 172279 WITH SCORE 173259.561
AT ITER 310 NEW BEST:: SOT 1802403 SOS 980399 HAS SOPS 977909 HAS SOUS 172546 HAS SOUPS 172002 WITH SCORE 172982.399
AT ITER 316 NEW BEST:: SOT 1802295 SOS 980183 HAS SOPS 977693 HAS SOUS 172420 HAS SOUPS 171876 WITH SCORE 172856.183
AT ITER 321 NEW BEST:: SOT 1802228 SOS 980277 HAS SOPS 977811 HAS SOUS 172373 HAS SOUPS 171829 WITH SCORE 172809.277
AT ITER 326 NEW BEST:: SOT 1802228 SOS 978217 HAS SOPS 975751 HAS SOUS 172322 HAS SOUPS 171778 WITH SCORE 172756.217
AT ITER 328 NEW BEST:: SOT 1802024 SOS 977666 HAS SOPS 975200 HAS SOUS 171806 HAS SOUPS 171262 WITH SCORE 172239.666
AT ITER 331 NEW BEST:: SOT 1801602 SOS 977400 HAS SOPS 974934 HAS SOUS 171777 HAS SOUPS 171233 WITH SCORE 172210.4
AT ITER 336 NEW BEST:: SOT 1801578 SOS 977376 HAS SOPS 974910 HAS SOUS 171729 HAS SOUPS 171185 WITH SCORE 172162.376
AT ITER 344 NEW BEST:: SOT 1801276 SOS 979636 HAS SOPS 977170 HAS SOUS 171677 HAS SOUPS 171133 WITH SCORE 172112.636
AT ITER 359 NEW BEST:: SOT 1801303 SOS 979554 HAS SOPS 977088 HAS SOUS 171655 HAS SOUPS 171111 WITH SCORE 172090.554
AT ITER 370 NEW BEST:: SOT 1801303 SOS 979554 HAS SOPS 977088 HAS SOUS 171653 HAS SOUPS 171109 WITH SCORE 172088.554
AT ITER 371 NEW BEST:: SOT 1800741 SOS 979373 HAS SOPS 976526 HAS SOUS 171200 HAS SOUPS 170537 WITH SCORE 171516.373
AT ITER 385 NEW BEST:: SOT 1800737 SOS 979369 HAS SOPS 976522 HAS SOUS 171196 HAS SOUPS 170533 WITH SCORE 171512.369
AT ITER 388 NEW BEST:: SOT 1800727 SOS 979359 HAS SOPS 976502 HAS SOUS 171175 HAS SOUPS 170512 WITH SCORE 171491.359
AT ITER 392 NEW BEST:: SOT 1800727 SOS 979356 HAS SOPS 976499 HAS SOUS 171172 HAS SOUPS 170509 WITH SCORE 171488.356
AT ITER 395 NEW BEST:: SOT 1736402 SOS 915012 HAS SOPS 912155 HAS SOUS 161212 HAS SOUPS 160549 WITH SCORE 161464.012
AT ITER 396 NEW BEST:: SOT 1754818 SOS 933334 HAS SOPS 930605 HAS SOUS 159560 HAS SOUPS 158929 WITH SCORE 159862.334
AT ITER 404 NEW BEST:: SOT 1754749 SOS 933426 HAS SOPS 930757 HAS SOUS 159557 HAS SOUPS 158926 WITH SCORE 159859.426
AT ITER 418 NEW BEST:: SOT 1754573 SOS 933074 HAS SOPS 930405 HAS SOUS 159293 HAS SOUPS 158662 WITH SCORE 159595.074
AT ITER 421 NEW BEST:: SOT 1663851 SOS 974421 HAS SOPS 971752 HAS SOUS 145973 HAS SOUPS 145342 WITH SCORE 146316.421
AT ITER 450 NEW BEST:: SOT 1663865 SOS 974374 HAS SOPS 971705 HAS SOUS 145941 HAS SOUPS 145310 WITH SCORE 146284.374
AT ITER 453 NEW BEST:: SOT 1663865 SOS 974367 HAS SOPS 971698 HAS SOUS 145913 HAS SOUPS 145282 WITH SCORE 146256.367
AT ITER 456 NEW BEST:: SOT 1663857 SOS 974319 HAS SOPS 971650 HAS SOUS 145898 HAS SOUPS 145267 WITH SCORE 146241.319
AT ITER 471 NEW BEST:: SOT 1663847 SOS 974306 HAS SOPS 971637 HAS SOUS 145888 HAS SOUPS 145257 WITH SCORE 146231.306
AT ITER 472 NEW BEST:: SOT 1663775 SOS 974234 HAS SOPS 971565 HAS SOUS 145816 HAS SOUPS 145185 WITH SCORE 146159.234
AT ITER 476 NEW BEST:: SOT 1663663 SOS 974155 HAS SOPS 971486 HAS SOUS 145704 HAS SOUPS 145073 WITH SCORE 146047.155
AT ITER 487 NEW BEST:: SOT 1663420 SOS 973837 HAS SOPS 971168 HAS SOUS 144771 HAS SOUPS 144140 WITH SCORE 145113.837
AT ITER 489 NEW BEST:: SOT 1663448 SOS 973865 HAS SOPS 971172 HAS SOUS 144723 HAS SOUPS 144092 WITH SCORE 145065.865
AT ITER 493 NEW BEST:: SOT 1663396 SOS 973813 HAS SOPS 971096 HAS SOUS 144615 HAS SOUPS 143984 WITH SCORE 144957.813
AT ITER 494 NEW BEST:: SOT 1663323 SOS 973782 HAS SOPS 971065 HAS SOUS 144488 HAS SOUPS 143857 WITH SCORE 144830.782
AT ITER 500 NEW BEST:: SOT 1663340 SOS 973822 HAS SOPS 971105 HAS SOUS 144465 HAS SOUPS 143834 WITH SCORE 144807.822
AT ITER 501 NEW BEST:: SOT 1663340 SOS 973842 HAS SOPS 971125 HAS SOUS 144449 HAS SOUPS 143818 WITH SCORE 144791.842
AT ITER 506 NEW BEST:: SOT 1663340 SOS 973251 HAS SOPS 969038 HAS SOUS 144444 HAS SOUPS 143791 WITH SCORE 144764.251
AT ITER 523 NEW BEST:: SOT 1663311 SOS 973222 HAS SOPS 969009 HAS SOUS 144423 HAS SOUPS 143770 WITH SCORE 144743.222
AT ITER 524 NEW BEST:: SOT 1663177 SOS 973088 HAS SOPS 968875 HAS SOUS 144289 HAS SOUPS 143636 WITH SCORE 144609.088
AT ITER 526 NEW BEST:: SOT 1662993 SOS 972745 HAS SOPS 968532 HAS SOUS 144056 HAS SOUPS 143403 WITH SCORE 144375.745
AT ITER 542 NEW BEST:: SOT 1662945 SOS 972674 HAS SOPS 968461 HAS SOUS 143999 HAS SOUPS 143346 WITH SCORE 144318.674
AT ITER 546 NEW BEST:: SOT 1623659 SOS 986394 HAS SOPS 982181 HAS SOUS 137759 HAS SOUPS 137106 WITH SCORE 138092.394
AT ITER 562 NEW BEST:: SOT 1623584 SOS 986226 HAS SOPS 982013 HAS SOUS 137684 HAS SOUPS 137031 WITH SCORE 138017.226
AT ITER 565 NEW BEST:: SOT 1623545 SOS 986187 HAS SOPS 981974 HAS SOUS 137645 HAS SOUPS 136992 WITH SCORE 137978.187
AT ITER 570 NEW BEST:: SOT 1623492 SOS 986086 HAS SOPS 981897 HAS SOUS 137587 HAS SOUPS 136934 WITH SCORE 137920.086
AT ITER 571 NEW BEST:: SOT 1623208 SOS 985879 HAS SOPS 981690 HAS SOUS 137179 HAS SOUPS 136526 WITH SCORE 137511.879
AT ITER 572 NEW BEST:: SOT 1623421 SOS 985680 HAS SOPS 979491 HAS SOUS 137421 HAS SOUPS 136268 WITH SCORE 137253.68
AT ITER 598 NEW BEST:: SOT 1623387 SOS 985646 HAS SOPS 979440 HAS SOUS 137370 HAS SOUPS 136217 WITH SCORE 137202.646
AT ITER 624 NEW BEST:: SOT 1623330 SOS 985589 HAS SOPS 979383 HAS SOUS 137313 HAS SOUPS 136160 WITH SCORE 137145.589
AT ITER 632 NEW BEST:: SOT 1623305 SOS 985564 HAS SOPS 979364 HAS SOUS 137294 HAS SOUPS 136141 WITH SCORE 137126.564
AT ITER 634 NEW BEST:: SOT 1623123 SOS 983723 HAS SOPS 979107 HAS SOUS 137018 HAS SOUPS 135891 WITH SCORE 136874.723
AT ITER 636 NEW BEST:: SOT 1623143 SOS 983743 HAS SOPS 979110 HAS SOUS 136990 HAS SOUPS 135863 WITH SCORE 136846.743
AT ITER 651 NEW BEST:: SOT 1623065 SOS 983666 HAS SOPS 979033 HAS SOUS 136931 HAS SOUPS 135804 WITH SCORE 136787.666
AT ITER 664 NEW BEST:: SOT 1622842 SOS 983549 HAS SOPS 978916 HAS SOUS 136691 HAS SOUPS 135564 WITH SCORE 136547.549
AT ITER 665 NEW BEST:: SOT 1629883 SOS 991157 HAS SOPS 986656 HAS SOUS 134440 HAS SOUPS 133346 WITH SCORE 134337.157
AT ITER 668 NEW BEST:: SOT 1629877 SOS 992441 HAS SOPS 987940 HAS SOUS 134437 HAS SOUPS 133343 WITH SCORE 134335.441
AT ITER 678 NEW BEST:: SOT 1629682 SOS 992150 HAS SOPS 987649 HAS SOUS 134328 HAS SOUPS 133234 WITH SCORE 134226.15
AT ITER 680 NEW BEST:: SOT 1629746 SOS 991475 HAS SOPS 985516 HAS SOUS 134270 HAS SOUPS 133129 WITH SCORE 134120.475
AT ITER 682 NEW BEST:: SOT 1629229 SOS 991059 HAS SOPS 985100 HAS SOUS 133903 HAS SOUPS 132762 WITH SCORE 133753.059
AT ITER 687 NEW BEST:: SOT 1629230 SOS 991060 HAS SOPS 985101 HAS SOUS 133871 HAS SOUPS 132730 WITH SCORE 133721.06
AT ITER 692 NEW BEST:: SOT 1629229 SOS 991059 HAS SOPS 985099 HAS SOUS 133869 HAS SOUPS 132729 WITH SCORE 133720.059
AT ITER 696 NEW BEST:: SOT 1629133 SOS 990963 HAS SOPS 985003 HAS SOUS 133773 HAS SOUPS 132633 WITH SCORE 133623.963
AT ITER 706 NEW BEST:: SOT 1629078 SOS 990897 HAS SOPS 984937 HAS SOUS 133553 HAS SOUPS 132413 WITH SCORE 133403.897
AT ITER 729 NEW BEST:: SOT 1628971 SOS 990862 HAS SOPS 985382 HAS SOUS 133278 HAS SOUPS 132258 WITH SCORE 133248.862
AT ITER 739 NEW BEST:: SOT 1628872 SOS 990743 HAS SOPS 985263 HAS SOUS 132900 HAS SOUPS 131880 WITH SCORE 132870.743
AT ITER 762 NEW BEST:: SOT 1628744 SOS 990527 HAS SOPS 985047 HAS SOUS 132594 HAS SOUPS 131574 WITH SCORE 132564.527
AT ITER 769 NEW BEST:: SOT 1628735 SOS 990509 HAS SOPS 985029 HAS SOUS 132576 HAS SOUPS 131556 WITH SCORE 132546.509
AT ITER 770 NEW BEST:: SOT 1628618 SOS 990392 HAS SOPS 984912 HAS SOUS 132455 HAS SOUPS 131435 WITH SCORE 132425.392
AT ITER 777 NEW BEST:: SOT 1628481 SOS 990206 HAS SOPS 984726 HAS SOUS 132383 HAS SOUPS 131363 WITH SCORE 132353.206
AT ITER 778 NEW BEST:: SOT 1628479 SOS 990196 HAS SOPS 984716 HAS SOUS 132379 HAS SOUPS 131359 WITH SCORE 132349.196
AT ITER 781 NEW BEST:: SOT 1628436 SOS 990153 HAS SOPS 984673 HAS SOUS 132347 HAS SOUPS 131327 WITH SCORE 132317.153
AT ITER 790 NEW BEST:: SOT 1628248 SOS 989787 HAS SOPS 984307 HAS SOUS 132125 HAS SOUPS 131105 WITH SCORE 132094.787
AT ITER 804 NEW BEST:: SOT 1628206 SOS 989745 HAS SOPS 984265 HAS SOUS 131994 HAS SOUPS 130974 WITH SCORE 131963.745
AT ITER 817 NEW BEST:: SOT 1628136 SOS 989691 HAS SOPS 984288 HAS SOUS 131935 HAS SOUPS 130915 WITH SCORE 131904.691
AT ITER 842 NEW BEST:: SOT 1628202 SOS 989757 HAS SOPS 984330 HAS SOUS 131932 HAS SOUPS 130912 WITH SCORE 131901.757
AT ITER 849 NEW BEST:: SOT 1628202 SOS 989756 HAS SOPS 984329 HAS SOUS 131928 HAS SOUPS 130908 WITH SCORE 131897.756
AT ITER 851 NEW BEST:: SOT 1628202 SOS 988728 HAS SOPS 983301 HAS SOUS 131928 HAS SOUPS 130908 WITH SCORE 131896.728
AT ITER 896 NEW BEST:: SOT 1628191 SOS 988685 HAS SOPS 983258 HAS SOUS 131917 HAS SOUPS 130897 WITH SCORE 131885.685
AT ITER 899 NEW BEST:: SOT 1628154 SOS 988634 HAS SOPS 983207 HAS SOUS 131884 HAS SOUPS 130864 WITH SCORE 131852.634
AT ITER 903 NEW BEST:: SOT 1628128 SOS 988608 HAS SOPS 983184 HAS SOUS 131858 HAS SOUPS 130836 WITH SCORE 131824.608
AT ITER 926 NEW BEST:: SOT 1628027 SOS 988371 HAS SOPS 982947 HAS SOUS 131777 HAS SOUPS 130755 WITH SCORE 131743.371
AT ITER 937 NEW BEST:: SOT 1627974 SOS 988228 HAS SOPS 982924 HAS SOUS 131744 HAS SOUPS 130752 WITH SCORE 131740.228
AT ITER 942 NEW BEST:: SOT 1627954 SOS 988208 HAS SOPS 982904 HAS SOUS 131724 HAS SOUPS 130732 WITH SCORE 131720.208
AT ITER 944 NEW BEST:: SOT 1627942 SOS 988192 HAS SOPS 982888 HAS SOUS 131708 HAS SOUPS 130716 WITH SCORE 131704.192
AT ITER 945 NEW BEST:: SOT 1627919 SOS 988169 HAS SOPS 982865 HAS SOUS 131685 HAS SOUPS 130693 WITH SCORE 131681.169
AT ITER 955 NEW BEST:: SOT 1627876 SOS 988126 HAS SOPS 982822 HAS SOUS 131621 HAS SOUPS 130629 WITH SCORE 131617.126
AT ITER 957 NEW BEST:: SOT 1627822 SOS 988067 HAS SOPS 982763 HAS SOUS 131513 HAS SOUPS 130521 WITH SCORE 131509.067
AT ITER 961 NEW BEST:: SOT 1627821 SOS 988044 HAS SOPS 982740 HAS SOUS 131461 HAS SOUPS 130469 WITH SCORE 131457.044
AT ITER 971 NEW BEST:: SOT 1634845 SOS 995068 HAS SOPS 989764 HAS SOUS 130262 HAS SOUPS 129270 WITH SCORE 130265.068
AT ITER 1011 NEW BEST:: SOT 1634822 SOS 995041 HAS SOPS 989737 HAS SOUS 130216 HAS SOUPS 129224 WITH SCORE 130219.041
AT ITER 1026 NEW BEST:: SOT 1634864 SOS 995326 HAS SOPS 990022 HAS SOUS 130137 HAS SOUPS 129145 WITH SCORE 130140.326
AT ITER 1033 NEW BEST:: SOT 1634801 SOS 995231 HAS SOPS 989927 HAS SOUS 130042 HAS SOUPS 129050 WITH SCORE 130045.231
AT ITER 1045 NEW BEST:: SOT 1634767 SOS 995163 HAS SOPS 989859 HAS SOUS 129974 HAS SOUPS 128982 WITH SCORE 129977.163
AT ITER 1048 NEW BEST:: SOT 1634671 SOS 994999 HAS SOPS 989735 HAS SOUS 129918 HAS SOUPS 128926 WITH SCORE 129920.999
AT ITER 1067 NEW BEST:: SOT 1634664 SOS 994992 HAS SOPS 989728 HAS SOUS 129911 HAS SOUPS 128919 WITH SCORE 129913.992
AT ITER 1072 NEW BEST:: SOT 1634744 SOS 995072 HAS SOPS 989690 HAS SOUS 129867 HAS SOUPS 128875 WITH SCORE 129870.072
AT ITER 1073 NEW BEST:: SOT 1634639 SOS 994899 HAS SOPS 989517 HAS SOUS 129837 HAS SOUPS 128845 WITH SCORE 129839.899
AT ITER 1096 NEW BEST:: SOT 1634809 SOS 994960 HAS SOPS 989578 HAS SOUS 129793 HAS SOUPS 128801 WITH SCORE 129795.96
AT ITER 1104 NEW BEST:: SOT 1634671 SOS 900394 HAS SOPS 895012 HAS SOUS 129688 HAS SOUPS 128696 WITH SCORE 129596.394
AT ITER 1106 NEW BEST:: SOT 1634666 SOS 900384 HAS SOPS 895002 HAS SOUS 129688 HAS SOUPS 128696 WITH SCORE 129596.384
AT ITER 1113 NEW BEST:: SOT 1634663 SOS 900381 HAS SOPS 895002 HAS SOUS 129685 HAS SOUPS 128696 WITH SCORE 129596.381
AT ITER 1114 NEW BEST:: SOT 1634619 SOS 900337 HAS SOPS 894958 HAS SOUS 129641 HAS SOUPS 128652 WITH SCORE 129552.337
AT ITER 1117 NEW BEST:: SOT 1634606 SOS 900324 HAS SOPS 894945 HAS SOUS 129625 HAS SOUPS 128636 WITH SCORE 129536.324
AT ITER 1120 NEW BEST:: SOT 1634596 SOS 900314 HAS SOPS 894936 HAS SOUS 129583 HAS SOUPS 128598 WITH SCORE 129498.314
AT ITER 1133 NEW BEST:: SOT 1634441 SOS 900093 HAS SOPS 894794 HAS SOUS 129494 HAS SOUPS 128509 WITH SCORE 129409.093
AT ITER 1134 NEW BEST:: SOT 1633837 SOS 899450 HAS SOPS 894151 HAS SOUS 129472 HAS SOUPS 128487 WITH SCORE 129386.45
AT ITER 1143 NEW BEST:: SOT 1633836 SOS 899449 HAS SOPS 894150 HAS SOUS 129471 HAS SOUPS 128486 WITH SCORE 129385.449
AT ITER 1146 NEW BEST:: SOT 1633640 SOS 903050 HAS SOPS 897751 HAS SOUS 129445 HAS SOUPS 128460 WITH SCORE 129363.05
AT ITER 1188 NEW BEST:: SOT 1633394 SOS 902572 HAS SOPS 897273 HAS SOUS 129321 HAS SOUPS 128336 WITH SCORE 129238.572
AT ITER 1193 NEW BEST:: SOT 1633394 SOS 902572 HAS SOPS 897273 HAS SOUS 129279 HAS SOUPS 128294 WITH SCORE 129196.572
AT ITER 1215 NEW BEST:: SOT 1633639 SOS 902721 HAS SOPS 897422 HAS SOUS 129217 HAS SOUPS 128232 WITH SCORE 129134.721
AT ITER 1225 NEW BEST:: SOT 1633088 SOS 902182 HAS SOPS 896883 HAS SOUS 128747 HAS SOUPS 127762 WITH SCORE 128664.182
AT ITER 1265 NEW BEST:: SOT 1633068 SOS 902162 HAS SOPS 896863 HAS SOUS 128731 HAS SOUPS 127746 WITH SCORE 128648.162
AT ITER 1274 NEW BEST:: SOT 1633582 SOS 902620 HAS SOPS 897377 HAS SOUS 127770 HAS SOUPS 126799 WITH SCORE 127701.62
AT ITER 1280 NEW BEST:: SOT 1633392 SOS 902487 HAS SOPS 897244 HAS SOUS 127733 HAS SOUPS 126762 WITH SCORE 127664.487
AT ITER 1298 NEW BEST:: SOT 1633369 SOS 902428 HAS SOPS 897185 HAS SOUS 127661 HAS SOUPS 126690 WITH SCORE 127592.428
AT ITER 1309 NEW BEST:: SOT 1633585 SOS 902481 HAS SOPS 897149 HAS SOUS 127636 HAS SOUPS 126621 WITH SCORE 127523.481
AT ITER 1321 NEW BEST:: SOT 1633639 SOS 902535 HAS SOPS 897179 HAS SOUS 127612 HAS SOUPS 126597 WITH SCORE 127499.535
AT ITER 1335 NEW BEST:: SOT 1633647 SOS 902589 HAS SOPS 897233 HAS SOUS 127606 HAS SOUPS 126591 WITH SCORE 127493.589
AT ITER 1339 NEW BEST:: SOT 1633632 SOS 902574 HAS SOPS 897272 HAS SOUS 127570 HAS SOUPS 126555 WITH SCORE 127457.574
AT ITER 1355 NEW BEST:: SOT 1633632 SOS 902602 HAS SOPS 897300 HAS SOUS 127542 HAS SOUPS 126527 WITH SCORE 127429.602
AT ITER 1356 NEW BEST:: SOT 1633506 SOS 902482 HAS SOPS 897180 HAS SOUS 127475 HAS SOUPS 126460 WITH SCORE 127362.482
AT ITER 1359 NEW BEST:: SOT 1633494 SOS 902469 HAS SOPS 897167 HAS SOUS 127421 HAS SOUPS 126406 WITH SCORE 127308.469
AT ITER 1387 NEW BEST:: SOT 1633494 SOS 902467 HAS SOPS 897165 HAS SOUS 127421 HAS SOUPS 126406 WITH SCORE 127308.467
AT ITER 1408 NEW BEST:: SOT 1633459 SOS 902432 HAS SOPS 897130 HAS SOUS 127386 HAS SOUPS 126371 WITH SCORE 127273.432
AT ITER 1416 NEW BEST:: SOT 1633426 SOS 902366 HAS SOPS 897064 HAS SOUS 127320 HAS SOUPS 126305 WITH SCORE 127207.366
AT ITER 1420 NEW BEST:: SOT 1633048 SOS 901989 HAS SOPS 896687 HAS SOUS 126978 HAS SOUPS 125963 WITH SCORE 126864.989
AT ITER 1422 NEW BEST:: SOT 1632884 SOS 901819 HAS SOPS 896517 HAS SOUS 126818 HAS SOUPS 125803 WITH SCORE 126704.819
AT ITER 1435 NEW BEST:: SOT 1265980 SOS 535167 HAS SOPS 529613 HAS SOUS 87318 HAS SOUPS 86240 WITH SCORE 86775.167
AT ITER 1456 NEW BEST:: SOT 1265969 SOS 535156 HAS SOPS 529591 HAS SOUS 87310 HAS SOUPS 86225 WITH SCORE 86760.156
AT ITER 1482 NEW BEST:: SOT 1265953 SOS 535140 HAS SOPS 529575 HAS SOUS 87117 HAS SOUPS 86032 WITH SCORE 86567.14
AT ITER 1495 NEW BEST:: SOT 1265953 SOS 535152 HAS SOPS 529571 HAS SOUS 87069 HAS SOUPS 85980 WITH SCORE 86515.152
AT ITER 1499 NEW BEST:: SOT 1265824 SOS 534966 HAS SOPS 529385 HAS SOUS 86940 HAS SOUPS 85851 WITH SCORE 86385.966
AT ITER 1506 NEW BEST:: SOT 1265809 SOS 534951 HAS SOPS 529370 HAS SOUS 86920 HAS SOUPS 85831 WITH SCORE 86365.951
AT ITER 1526 NEW BEST:: SOT 1265793 SOS 532891 HAS SOPS 527310 HAS SOUS 86902 HAS SOUPS 85813 WITH SCORE 86345.891
AT ITER 1533 NEW BEST:: SOT 1265669 SOS 532767 HAS SOPS 527186 HAS SOUS 86676 HAS SOUPS 85587 WITH SCORE 86119.767
AT ITER 1573 NEW BEST:: SOT 1265659 SOS 532757 HAS SOPS 527176 HAS SOUS 86656 HAS SOUPS 85567 WITH SCORE 86099.757
AT ITER 1586 NEW BEST:: SOT 1267740 SOS 534838 HAS SOPS 529257 HAS SOUS 84545 HAS SOUPS 83456 WITH SCORE 83990.838
AT ITER 1609 NEW BEST:: SOT 1267863 SOS 535082 HAS SOPS 529501 HAS SOUS 84516 HAS SOUPS 83427 WITH SCORE 83962.082
AT ITER 1611 NEW BEST:: SOT 1267833 SOS 535136 HAS SOPS 529555 HAS SOUS 84472 HAS SOUPS 83383 WITH SCORE 83918.136
AT ITER 1631 NEW BEST:: SOT 1267815 SOS 535118 HAS SOPS 529537 HAS SOUS 84460 HAS SOUPS 83371 WITH SCORE 83906.118
AT ITER 1646 NEW BEST:: SOT 1267815 SOS 535118 HAS SOPS 529506 HAS SOUS 84427 HAS SOUPS 83338 WITH SCORE 83873.118
AT ITER 1651 NEW BEST:: SOT 1267802 SOS 535287 HAS SOPS 529640 HAS SOUS 84397 HAS SOUPS 83308 WITH SCORE 83843.287
AT ITER 1658 NEW BEST:: SOT 1267786 SOS 535255 HAS SOPS 529608 HAS SOUS 84365 HAS SOUPS 83276 WITH SCORE 83811.255
AT ITER 1674 NEW BEST:: SOT 1267770 SOS 529043 HAS SOPS 523396 HAS SOUS 84337 HAS SOUPS 83248 WITH SCORE 83777.043
AT ITER 1710 NEW BEST:: SOT 1267728 SOS 529000 HAS SOPS 523419 HAS SOUS 84288 HAS SOUPS 83218 WITH SCORE 83747.0
AT ITER 1737 NEW BEST:: SOT 1267718 SOS 528990 HAS SOPS 523409 HAS SOUS 84278 HAS SOUPS 83208 WITH SCORE 83736.99
AT ITER 1740 NEW BEST:: SOT 1267693 SOS 528940 HAS SOPS 523359 HAS SOUS 84228 HAS SOUPS 83158 WITH SCORE 83686.94
AT ITER 1763 NEW BEST:: SOT 1267721 SOS 528924 HAS SOPS 523343 HAS SOUS 84227 HAS SOUPS 83157 WITH SCORE 83685.924
AT ITER 1771 NEW BEST:: SOT 1267674 SOS 528877 HAS SOPS 523296 HAS SOUS 83851 HAS SOUPS 82781 WITH SCORE 83309.877
AT ITER 1781 NEW BEST:: SOT 1267674 SOS 528877 HAS SOPS 523288 HAS SOUS 83835 HAS SOUPS 82765 WITH SCORE 83293.877
AT ITER 1786 NEW BEST:: SOT 1267629 SOS 528817 HAS SOPS 523228 HAS SOUS 83730 HAS SOUPS 82660 WITH SCORE 83188.817
AT ITER 1790 NEW BEST:: SOT 1267619 SOS 528742 HAS SOPS 523153 HAS SOUS 83579 HAS SOUPS 82509 WITH SCORE 83037.742
AT ITER 1811 NEW BEST:: SOT 1267505 SOS 528628 HAS SOPS 523039 HAS SOUS 83457 HAS SOUPS 82387 WITH SCORE 82915.628
AT ITER 1812 NEW BEST:: SOT 1267505 SOS 528618 HAS SOPS 523029 HAS SOUS 83455 HAS SOUPS 82385 WITH SCORE 82913.618
AT ITER 1826 NEW BEST:: SOT 1267514 SOS 528627 HAS SOPS 523009 HAS SOUS 83450 HAS SOUPS 82358 WITH SCORE 82886.627
AT ITER 1846 NEW BEST:: SOT 1267642 SOS 528798 HAS SOPS 523180 HAS SOUS 83172 HAS SOUPS 82080 WITH SCORE 82608.798
AT ITER 1887 NEW BEST:: SOT 1267645 SOS 528804 HAS SOPS 523186 HAS SOUS 83163 HAS SOUPS 82071 WITH SCORE 82599.804
AT ITER 1897 NEW BEST:: SOT 1267530 SOS 528653 HAS SOPS 523035 HAS SOUS 83012 HAS SOUPS 81920 WITH SCORE 82448.653
AT ITER 1902 NEW BEST:: SOT 1267383 SOS 528506 HAS SOPS 522888 HAS SOUS 82911 HAS SOUPS 81819 WITH SCORE 82347.506
AT ITER 1914 NEW BEST:: SOT 1267313 SOS 528383 HAS SOPS 522765 HAS SOUS 82905 HAS SOUPS 81813 WITH SCORE 82341.383
AT ITER 1915 NEW BEST:: SOT 1267312 SOS 528382 HAS SOPS 522763 HAS SOUS 82903 HAS SOUPS 81811 WITH SCORE 82339.382
AT ITER 1917 NEW BEST:: SOT 1267208 SOS 528278 HAS SOPS 522659 HAS SOUS 82718 HAS SOUPS 81626 WITH SCORE 82154.278
AT ITER 1925 NEW BEST:: SOT 1267208 SOS 528312 HAS SOPS 522693 HAS SOUS 82699 HAS SOUPS 81607 WITH SCORE 82135.312
AT ITER 1946 NEW BEST:: SOT 1267200 SOS 528304 HAS SOPS 522685 HAS SOUS 82691 HAS SOUPS 81599 WITH SCORE 82127.304
AT ITER 1989 NEW BEST:: SOT 1267200 SOS 528304 HAS SOPS 522685 HAS SOUS 82687 HAS SOUPS 81595 WITH SCORE 82123.304
AT ITER 2015 NEW BEST:: SOT 1267234 SOS 528377 HAS SOPS 522758 HAS SOUS 82632 HAS SOUPS 81540 WITH SCORE 82068.377
AT ITER 2018 NEW BEST:: SOT 1267234 SOS 527957 HAS SOPS 522338 HAS SOUS 82632 HAS SOUPS 81540 WITH SCORE 82067.957
AT ITER 2031 NEW BEST:: SOT 1267249 SOS 527851 HAS SOPS 522232 HAS SOUS 82495 HAS SOUPS 81403 WITH SCORE 81930.851
AT ITER 2062 NEW BEST:: SOT 1267048 SOS 527619 HAS SOPS 522000 HAS SOUS 82251 HAS SOUPS 81159 WITH SCORE 81686.619
AT ITER 2064 NEW BEST:: SOT 1267155 SOS 527904 HAS SOPS 522285 HAS SOUS 82188 HAS SOUPS 81096 WITH SCORE 81623.904
AT ITER 2065 NEW BEST:: SOT 1266799 SOS 529634 HAS SOPS 523885 HAS SOUS 82014 HAS SOUPS 80928 WITH SCORE 81457.634
AT ITER 2067 NEW BEST:: SOT 1266780 SOS 529615 HAS SOPS 523866 HAS SOUS 81995 HAS SOUPS 80909 WITH SCORE 81438.615
AT ITER 2071 NEW BEST:: SOT 1266183 SOS 528983 HAS SOPS 523234 HAS SOUS 81404 HAS SOUPS 80318 WITH SCORE 80846.983
AT ITER 2079 NEW BEST:: SOT 1266183 SOS 528983 HAS SOPS 523234 HAS SOUS 81401 HAS SOUPS 80315 WITH SCORE 80843.983
AT ITER 2090 NEW BEST:: SOT 1266171 SOS 528998 HAS SOPS 523249 HAS SOUS 81375 HAS SOUPS 80289 WITH SCORE 80817.998
AT ITER 2095 NEW BEST:: SOT 1265919 SOS 528632 HAS SOPS 522883 HAS SOUS 81072 HAS SOUPS 79986 WITH SCORE 80514.632
AT ITER 2097 NEW BEST:: SOT 1265913 SOS 528602 HAS SOPS 522853 HAS SOUS 81067 HAS SOUPS 79981 WITH SCORE 80509.602
AT ITER 2127 NEW BEST:: SOT 1265913 SOS 528595 HAS SOPS 522846 HAS SOUS 81048 HAS SOUPS 79962 WITH SCORE 80490.595
AT ITER 2133 NEW BEST:: SOT 1265898 SOS 528580 HAS SOPS 522831 HAS SOUS 81033 HAS SOUPS 79947 WITH SCORE 80475.58
AT ITER 2148 NEW BEST:: SOT 1265886 SOS 528568 HAS SOPS 522819 HAS SOUS 81009 HAS SOUPS 79923 WITH SCORE 80451.568
AT ITER 2156 NEW BEST:: SOT 1265893 SOS 528554 HAS SOPS 522805 HAS SOUS 81008 HAS SOUPS 79922 WITH SCORE 80450.554
AT ITER 2173 NEW BEST:: SOT 1265887 SOS 528548 HAS SOPS 522799 HAS SOUS 81002 HAS SOUPS 79916 WITH SCORE 80444.548
AT ITER 2180 NEW BEST:: SOT 1265883 SOS 528568 HAS SOPS 522819 HAS SOUS 80994 HAS SOUPS 79908 WITH SCORE 80436.568
AT ITER 2206 NEW BEST:: SOT 1265828 SOS 528513 HAS SOPS 522764 HAS SOUS 80939 HAS SOUPS 79853 WITH SCORE 80381.513
AT ITER 2209 NEW BEST:: SOT 1265806 SOS 528491 HAS SOPS 522720 HAS SOUS 80895 HAS SOUPS 79809 WITH SCORE 80337.491
AT ITER 2229 NEW BEST:: SOT 1265806 SOS 527707 HAS SOPS 521936 HAS SOUS 80895 HAS SOUPS 79809 WITH SCORE 80336.707
AT ITER 2263 NEW BEST:: SOT 1265796 SOS 527697 HAS SOPS 521926 HAS SOUS 80882 HAS SOUPS 79796 WITH SCORE 80323.697
AT ITER 2280 NEW BEST:: SOT 1265791 SOS 527683 HAS SOPS 521912 HAS SOUS 80872 HAS SOUPS 79786 WITH SCORE 80313.683
AT ITER 2285 NEW BEST:: SOT 1265775 SOS 527667 HAS SOPS 521896 HAS SOUS 80867 HAS SOUPS 79781 WITH SCORE 80308.667
AT ITER 2301 NEW BEST:: SOT 1265673 SOS 527338 HAS SOPS 521628 HAS SOUS 80663 HAS SOUPS 79577 WITH SCORE 80104.338
AT ITER 2307 NEW BEST:: SOT 1265705 SOS 527370 HAS SOPS 521652 HAS SOUS 80657 HAS SOUPS 79571 WITH SCORE 80098.37
AT ITER 2310 NEW BEST:: SOT 1265705 SOS 526128 HAS SOPS 520410 HAS SOUS 80603 HAS SOUPS 79517 WITH SCORE 80043.128
AT ITER 2311 NEW BEST:: SOT 1265671 SOS 526094 HAS SOPS 520376 HAS SOUS 80580 HAS SOUPS 79494 WITH SCORE 80020.094
AT ITER 2319 NEW BEST:: SOT 1250777 SOS 511296 HAS SOPS 505482 HAS SOUS 80426 HAS SOUPS 79316 WITH SCORE 79827.296
AT ITER 2349 NEW BEST:: SOT 1250763 SOS 511281 HAS SOPS 505467 HAS SOUS 80399 HAS SOUPS 79289 WITH SCORE 79800.281
AT ITER 2355 NEW BEST:: SOT 1250746 SOS 511256 HAS SOPS 505442 HAS SOUS 80374 HAS SOUPS 79264 WITH SCORE 79775.256
AT ITER 2373 NEW BEST:: SOT 1250745 SOS 511255 HAS SOPS 505442 HAS SOUS 80373 HAS SOUPS 79263 WITH SCORE 79774.255
AT ITER 2384 NEW BEST:: SOT 1250700 SOS 511208 HAS SOPS 505363 HAS SOUS 80251 HAS SOUPS 79141 WITH SCORE 79652.208
AT ITER 2391 NEW BEST:: SOT 1250635 SOS 511102 HAS SOPS 505257 HAS SOUS 80114 HAS SOUPS 79004 WITH SCORE 79515.102
AT ITER 2400 NEW BEST:: SOT 1250567 SOS 511032 HAS SOPS 505216 HAS SOUS 80039 HAS SOUPS 78929 WITH SCORE 79440.032
AT ITER 2410 NEW BEST:: SOT 1250304 SOS 510843 HAS SOPS 505027 HAS SOUS 79687 HAS SOUPS 78577 WITH SCORE 79087.843
AT ITER 2441 NEW BEST:: SOT 1250375 SOS 511166 HAS SOPS 505350 HAS SOUS 79611 HAS SOUPS 78501 WITH SCORE 79012.166
AT ITER 2462 NEW BEST:: SOT 1250375 SOS 511144 HAS SOPS 505328 HAS SOUS 79589 HAS SOUPS 78479 WITH SCORE 78990.144
AT ITER 2473 NEW BEST:: SOT 1250363 SOS 511132 HAS SOPS 505316 HAS SOUS 79565 HAS SOUPS 78455 WITH SCORE 78966.132
AT ITER 2493 NEW BEST:: SOT 1250222 SOS 510885 HAS SOPS 505069 HAS SOUS 79271 HAS SOUPS 78161 WITH SCORE 78671.885
AT ITER 2532 NEW BEST:: SOT 1250234 SOS 511048 HAS SOPS 505232 HAS SOUS 79031 HAS SOUPS 77921 WITH SCORE 78432.048
AT ITER 2538 NEW BEST:: SOT 1250194 SOS 510808 HAS SOPS 504992 HAS SOUS 78951 HAS SOUPS 77841 WITH SCORE 78351.808
AT ITER 2550 NEW BEST:: SOT 1250015 SOS 510793 HAS SOPS 504977 HAS SOUS 78897 HAS SOUPS 77787 WITH SCORE 78297.793
AT ITER 2565 NEW BEST:: SOT 1249959 SOS 510653 HAS SOPS 504837 HAS SOUS 78813 HAS SOUPS 77703 WITH SCORE 78213.653
AT ITER 2566 NEW BEST:: SOT 1249900 SOS 510613 HAS SOPS 504798 HAS SOUS 78775 HAS SOUPS 77665 WITH SCORE 78175.613
AT ITER 2634 NEW BEST:: SOT 1249872 SOS 510592 HAS SOPS 504777 HAS SOUS 78740 HAS SOUPS 77630 WITH SCORE 78140.592
AT ITER 2635 NEW BEST:: SOT 1249864 SOS 510584 HAS SOPS 504769 HAS SOUS 78732 HAS SOUPS 77622 WITH SCORE 78132.584
AT ITER 2660 NEW BEST:: SOT 1249748 SOS 510410 HAS SOPS 504595 HAS SOUS 78558 HAS SOUPS 77448 WITH SCORE 77958.41
AT ITER 2669 NEW BEST:: SOT 1249622 SOS 510284 HAS SOPS 504469 HAS SOUS 78432 HAS SOUPS 77322 WITH SCORE 77832.284
AT ITER 2683 NEW BEST:: SOT 1249529 SOS 510191 HAS SOPS 504376 HAS SOUS 78339 HAS SOUPS 77229 WITH SCORE 77739.191
AT ITER 2686 NEW BEST:: SOT 1249604 SOS 510482 HAS SOPS 504451 HAS SOUS 78243 HAS SOUPS 77079 WITH SCORE 77589.482
AT ITER 2750 NEW BEST:: SOT 1249596 SOS 510470 HAS SOPS 504439 HAS SOUS 78235 HAS SOUPS 77071 WITH SCORE 77581.47
AT ITER 2767 NEW BEST:: SOT 1249581 SOS 510455 HAS SOPS 504424 HAS SOUS 78220 HAS SOUPS 77056 WITH SCORE 77566.455
AT ITER 2794 NEW BEST:: SOT 1249581 SOS 510447 HAS SOPS 504416 HAS SOUS 78188 HAS SOUPS 77024 WITH SCORE 77534.447
AT ITER 2804 NEW BEST:: SOT 1250669 SOS 511535 HAS SOPS 505504 HAS SOUS 77280 HAS SOUPS 76116 WITH SCORE 76627.535
AT ITER 2887 NEW BEST:: SOT 1250677 SOS 511532 HAS SOPS 505501 HAS SOUS 77276 HAS SOUPS 76112 WITH SCORE 76623.532
AT ITER 2920 NEW BEST:: SOT 1250635 SOS 511539 HAS SOPS 505508 HAS SOUS 77266 HAS SOUPS 76102 WITH SCORE 76613.539
AT ITER 2923 NEW BEST:: SOT 1250664 SOS 511551 HAS SOPS 505520 HAS SOUS 77249 HAS SOUPS 76085 WITH SCORE 76596.551
AT ITER 2935 NEW BEST:: SOT 1250696 SOS 511609 HAS SOPS 505578 HAS SOUS 77158 HAS SOUPS 75994 WITH SCORE 76505.609
AT ITER 2987 NEW BEST:: SOT 1250696 SOS 511609 HAS SOPS 505578 HAS SOUS 77146 HAS SOUPS 75982 WITH SCORE 76493.609
AT ITER 2997 NEW BEST:: SOT 1250588 SOS 511585 HAS SOPS 505554 HAS SOUS 77098 HAS SOUPS 75934 WITH SCORE 76445.585
AT ITER 3014 NEW BEST:: SOT 1250608 SOS 512033 HAS SOPS 506002 HAS SOUS 77056 HAS SOUPS 75892 WITH SCORE 76404.033
AT ITER 3023 NEW BEST:: SOT 1250608 SOS 512033 HAS SOPS 506002 HAS SOUS 76921 HAS SOUPS 75757 WITH SCORE 76269.033
AT ITER 3038 NEW BEST:: SOT 1250597 SOS 512019 HAS SOPS 505988 HAS SOUS 76913 HAS SOUPS 75749 WITH SCORE 76261.019
AT ITER 3043 NEW BEST:: SOT 1250559 SOS 510476 HAS SOPS 504445 HAS SOUS 76885 HAS SOUPS 75721 WITH SCORE 76231.476
AT ITER 3063 NEW BEST:: SOT 1250529 SOS 510446 HAS SOPS 504415 HAS SOUS 76855 HAS SOUPS 75691 WITH SCORE 76201.446
AT ITER 3130 NEW BEST:: SOT 1250525 SOS 510442 HAS SOPS 504411 HAS SOUS 76851 HAS SOUPS 75687 WITH SCORE 76197.442
AT ITER 3191 NEW BEST:: SOT 1250499 SOS 510312 HAS SOPS 504281 HAS SOUS 76825 HAS SOUPS 75661 WITH SCORE 76171.312
AT ITER 3204 NEW BEST:: SOT 1250463 SOS 510276 HAS SOPS 504245 HAS SOUS 76763 HAS SOUPS 75599 WITH SCORE 76109.276
AT ITER 3207 NEW BEST:: SOT 1250418 SOS 510240 HAS SOPS 504209 HAS SOUS 76727 HAS SOUPS 75563 WITH SCORE 76073.24
AT ITER 3220 NEW BEST:: SOT 1250415 SOS 510237 HAS SOPS 504206 HAS SOUS 76724 HAS SOUPS 75560 WITH SCORE 76070.237
AT ITER 3234 NEW BEST:: SOT 1248246 SOS 508068 HAS SOPS 502037 HAS SOUS 76393 HAS SOUPS 75229 WITH SCORE 75737.068
AT ITER 3263 NEW BEST:: SOT 1248214 SOS 507932 HAS SOPS 501901 HAS SOUS 76353 HAS SOUPS 75189 WITH SCORE 75696.932
AT ITER 3267 NEW BEST:: SOT 1248200 SOS 507901 HAS SOPS 501870 HAS SOUS 76325 HAS SOUPS 75161 WITH SCORE 75668.901
AT ITER 3296 NEW BEST:: SOT 1248174 SOS 505067 HAS SOPS 499036 HAS SOUS 76276 HAS SOUPS 75112 WITH SCORE 75617.067
AT ITER 3321 NEW BEST:: SOT 1247955 SOS 504819 HAS SOPS 498788 HAS SOUS 76267 HAS SOUPS 75103 WITH SCORE 75607.819
AT ITER 3326 NEW BEST:: SOT 1247946 SOS 504815 HAS SOPS 498784 HAS SOUS 76267 HAS SOUPS 75103 WITH SCORE 75607.815
AT ITER 3337 NEW BEST:: SOT 1248126 SOS 504939 HAS SOPS 498964 HAS SOUS 75259 HAS SOUPS 74109 WITH SCORE 74613.939
AT ITER 3344 NEW BEST:: SOT 1248124 SOS 504935 HAS SOPS 498960 HAS SOUS 75235 HAS SOUPS 74085 WITH SCORE 74589.935
AT ITER 3350 NEW BEST:: SOT 1247976 SOS 504639 HAS SOPS 498664 HAS SOUS 74939 HAS SOUPS 73789 WITH SCORE 74293.639
AT ITER 3377 NEW BEST:: SOT 1247965 SOS 504628 HAS SOPS 498653 HAS SOUS 74929 HAS SOUPS 73779 WITH SCORE 74283.628
AT ITER 3379 NEW BEST:: SOT 1247972 SOS 504635 HAS SOPS 498660 HAS SOUS 74920 HAS SOUPS 73770 WITH SCORE 74274.635
AT ITER 3424 NEW BEST:: SOT 1247957 SOS 504626 HAS SOPS 498651 HAS SOUS 74911 HAS SOUPS 73761 WITH SCORE 74265.626
AT ITER 3429 NEW BEST:: SOT 1247650 SOS 504360 HAS SOPS 498385 HAS SOUS 74604 HAS SOUPS 73454 WITH SCORE 73958.36
AT ITER 3469 NEW BEST:: SOT 1247650 SOS 504351 HAS SOPS 498376 HAS SOUS 74604 HAS SOUPS 73454 WITH SCORE 73958.351
AT ITER 3521 NEW BEST:: SOT 1247578 SOS 504270 HAS SOPS 498295 HAS SOUS 74550 HAS SOUPS 73400 WITH SCORE 73904.27
AT ITER 3591 NEW BEST:: SOT 1247388 SOS 504080 HAS SOPS 498105 HAS SOUS 74289 HAS SOUPS 73139 WITH SCORE 73643.08
AT ITER 3642 NEW BEST:: SOT 1247681 SOS 502383 HAS SOPS 496325 HAS SOUS 74259 HAS SOUPS 73055 WITH SCORE 73557.383
AT ITER 3669 NEW BEST:: SOT 1247671 SOS 502373 HAS SOPS 496315 HAS SOUS 74246 HAS SOUPS 73042 WITH SCORE 73544.373
AT ITER 3725 NEW BEST:: SOT 1247411 SOS 501806 HAS SOPS 495748 HAS SOUS 74032 HAS SOUPS 72828 WITH SCORE 73329.806
AT ITER 3728 NEW BEST:: SOT 1247395 SOS 501790 HAS SOPS 495732 HAS SOUS 74019 HAS SOUPS 72815 WITH SCORE 73316.79
AT ITER 3740 NEW BEST:: SOT 1247391 SOS 501786 HAS SOPS 495732 HAS SOUS 74019 HAS SOUPS 72815 WITH SCORE 73316.786
AT ITER 3748 NEW BEST:: SOT 1229544 SOS 518769 HAS SOPS 512715 HAS SOUS 73629 HAS SOUPS 72425 WITH SCORE 72943.769
AT ITER 3749 NEW BEST:: SOT 1229537 SOS 518755 HAS SOPS 512701 HAS SOUS 73615 HAS SOUPS 72411 WITH SCORE 72929.755
AT ITER 3755 NEW BEST:: SOT 1229630 SOS 518848 HAS SOPS 512794 HAS SOUS 73606 HAS SOUPS 72402 WITH SCORE 72920.848
AT ITER 3773 NEW BEST:: SOT 1229610 SOS 518844 HAS SOPS 512790 HAS SOUS 73602 HAS SOUPS 72398 WITH SCORE 72916.844
AT ITER 3780 NEW BEST:: SOT 1229590 SOS 518803 HAS SOPS 512749 HAS SOUS 73575 HAS SOUPS 72371 WITH SCORE 72889.803
AT ITER 3795 NEW BEST:: SOT 1229590 SOS 518809 HAS SOPS 512755 HAS SOUS 73569 HAS SOUPS 72365 WITH SCORE 72883.809
AT ITER 3799 NEW BEST:: SOT 1229590 SOS 518799 HAS SOPS 512745 HAS SOUS 73559 HAS SOUPS 72355 WITH SCORE 72873.799
AT ITER 3805 NEW BEST:: SOT 1229578 SOS 518787 HAS SOPS 512733 HAS SOUS 73289 HAS SOUPS 72085 WITH SCORE 72603.787
AT ITER 3810 NEW BEST:: SOT 1229519 SOS 518728 HAS SOPS 512674 HAS SOUS 73239 HAS SOUPS 72035 WITH SCORE 72553.728
AT ITER 3819 NEW BEST:: SOT 1229519 SOS 518725 HAS SOPS 512671 HAS SOUS 73227 HAS SOUPS 72023 WITH SCORE 72541.725
AT ITER 3820 NEW BEST:: SOT 1229519 SOS 494762 HAS SOPS 488708 HAS SOUS 73072 HAS SOUPS 71868 WITH SCORE 72362.762
AT ITER 3824 NEW BEST:: SOT 1229514 SOS 494760 HAS SOPS 488706 HAS SOUS 73070 HAS SOUPS 71866 WITH SCORE 72360.76
AT ITER 3837 NEW BEST:: SOT 1229538 SOS 494757 HAS SOPS 488676 HAS SOUS 73067 HAS SOUPS 71863 WITH SCORE 72357.757
AT ITER 3873 NEW BEST:: SOT 1229532 SOS 494754 HAS SOPS 488673 HAS SOUS 73067 HAS SOUPS 71863 WITH SCORE 72357.754
AT ITER 3900 NEW BEST:: SOT 1229396 SOS 494550 HAS SOPS 488469 HAS SOUS 72863 HAS SOUPS 71659 WITH SCORE 72153.55
AT ITER 3920 NEW BEST:: SOT 1216719 SOS 481873 HAS SOPS 475792 HAS SOUS 71448 HAS SOUPS 70244 WITH SCORE 70725.873
AT ITER 3925 NEW BEST:: SOT 1216983 SOS 482137 HAS SOPS 476075 HAS SOUS 71408 HAS SOUPS 70204 WITH SCORE 70686.137
AT ITER 3952 NEW BEST:: SOT 1220264 SOS 474613 HAS SOPS 468551 HAS SOUS 70829 HAS SOUPS 69625 WITH SCORE 70099.613
AT ITER 3953 NEW BEST:: SOT 1220260 SOS 474605 HAS SOPS 468543 HAS SOUS 70824 HAS SOUPS 69620 WITH SCORE 70094.605
AT ITER 3954 NEW BEST:: SOT 1220220 SOS 474565 HAS SOPS 468503 HAS SOUS 70770 HAS SOUPS 69566 WITH SCORE 70040.565
AT ITER 3971 NEW BEST:: SOT 1220219 SOS 474564 HAS SOPS 468502 HAS SOUS 70769 HAS SOUPS 69565 WITH SCORE 70039.564
AT ITER 3975 NEW BEST:: SOT 1220200 SOS 474545 HAS SOPS 468476 HAS SOUS 70743 HAS SOUPS 69539 WITH SCORE 70013.545
AT ITER 3996 NEW BEST:: SOT 1219990 SOS 474335 HAS SOPS 468242 HAS SOUS 70480 HAS SOUPS 69274 WITH SCORE 69748.335
AT ITER 4003 NEW BEST:: SOT 1219990 SOS 474323 HAS SOPS 468230 HAS SOUS 70480 HAS SOUPS 69274 WITH SCORE 69748.323
AT ITER 4009 NEW BEST:: SOT 1220020 SOS 474055 HAS SOPS 467962 HAS SOUS 70450 HAS SOUPS 69244 WITH SCORE 69718.055
AT ITER 4016 NEW BEST:: SOT 1219989 SOS 474024 HAS SOPS 467960 HAS SOUS 70448 HAS SOUPS 69242 WITH SCORE 69716.024
AT ITER 4040 NEW BEST:: SOT 1219984 SOS 473983 HAS SOPS 467919 HAS SOUS 70438 HAS SOUPS 69232 WITH SCORE 69705.983
AT ITER 4044 NEW BEST:: SOT 1219984 SOS 473151 HAS SOPS 467087 HAS SOUS 70438 HAS SOUPS 69232 WITH SCORE 69705.151
AT ITER 4051 NEW BEST:: SOT 1219972 SOS 473115 HAS SOPS 467063 HAS SOUS 70427 HAS SOUPS 69221 WITH SCORE 69694.115
AT ITER 4061 NEW BEST:: SOT 1219955 SOS 473098 HAS SOPS 467046 HAS SOUS 70410 HAS SOUPS 69204 WITH SCORE 69677.098
AT ITER 4067 NEW BEST:: SOT 1219919 SOS 473068 HAS SOPS 467016 HAS SOUS 70410 HAS SOUPS 69204 WITH SCORE 69677.068
AT ITER 4089 NEW BEST:: SOT 1219925 SOS 473074 HAS SOPS 466878 HAS SOUS 70416 HAS SOUPS 69174 WITH SCORE 69647.074
AT ITER 4107 NEW BEST:: SOT 1219881 SOS 473010 HAS SOPS 466814 HAS SOUS 70315 HAS SOUPS 69073 WITH SCORE 69546.01
AT ITER 4112 NEW BEST:: SOT 1219881 SOS 472332 HAS SOPS 466136 HAS SOUS 70315 HAS SOUPS 69073 WITH SCORE 69545.332
AT ITER 4113 NEW BEST:: SOT 1219886 SOS 472333 HAS SOPS 466137 HAS SOUS 70288 HAS SOUPS 69046 WITH SCORE 69518.333
AT ITER 4147 NEW BEST:: SOT 1219668 SOS 472142 HAS SOPS 465946 HAS SOUS 70287 HAS SOUPS 69045 WITH SCORE 69517.142
AT ITER 4177 NEW BEST:: SOT 1217703 SOS 470177 HAS SOPS 463981 HAS SOUS 70158 HAS SOUPS 68916 WITH SCORE 69386.177
AT ITER 4243 NEW BEST:: SOT 1217707 SOS 470241 HAS SOPS 464045 HAS SOUS 70147 HAS SOUPS 68905 WITH SCORE 69375.241
AT ITER 4258 NEW BEST:: SOT 1217707 SOS 470253 HAS SOPS 464057 HAS SOUS 70144 HAS SOUPS 68902 WITH SCORE 69372.253
AT ITER 4277 NEW BEST:: SOT 1217703 SOS 470249 HAS SOPS 464053 HAS SOUS 70136 HAS SOUPS 68894 WITH SCORE 69364.249
AT ITER 4278 NEW BEST:: SOT 1217694 SOS 470282 HAS SOPS 464086 HAS SOUS 70132 HAS SOUPS 68890 WITH SCORE 69360.282
AT ITER 4281 NEW BEST:: SOT 1217630 SOS 470087 HAS SOPS 463891 HAS SOUS 70112 HAS SOUPS 68870 WITH SCORE 69340.087
AT ITER 4314 NEW BEST:: SOT 1217623 SOS 470047 HAS SOPS 463851 HAS SOUS 70101 HAS SOUPS 68859 WITH SCORE 69329.047
AT ITER 4318 NEW BEST:: SOT 1217620 SOS 470018 HAS SOPS 463822 HAS SOUS 70072 HAS SOUPS 68830 WITH SCORE 69300.018
AT ITER 4378 NEW BEST:: SOT 1217593 SOS 469958 HAS SOPS 463762 HAS SOUS 70012 HAS SOUPS 68770 WITH SCORE 69239.958
AT ITER 4411 NEW BEST:: SOT 1217582 SOS 469940 HAS SOPS 463744 HAS SOUS 69990 HAS SOUPS 68748 WITH SCORE 69217.94
AT ITER 4418 NEW BEST:: SOT 1217552 SOS 469910 HAS SOPS 463714 HAS SOUS 69960 HAS SOUPS 68718 WITH SCORE 69187.91
AT ITER 4491 NEW BEST:: SOT 1217523 SOS 469885 HAS SOPS 463689 HAS SOUS 69938 HAS SOUPS 68696 WITH SCORE 69165.885
AT ITER 4529 NEW BEST:: SOT 1217520 SOS 469882 HAS SOPS 463681 HAS SOUS 69920 HAS SOUPS 68678 WITH SCORE 69147.882
AT ITER 4530 NEW BEST:: SOT 1217518 SOS 469880 HAS SOPS 463679 HAS SOUS 69918 HAS SOUPS 68676 WITH SCORE 69145.88
AT ITER 4563 NEW BEST:: SOT 1217500 SOS 469862 HAS SOPS 463663 HAS SOUS 69916 HAS SOUPS 68674 WITH SCORE 69143.862
AT ITER 4584 NEW BEST:: SOT 1217498 SOS 469860 HAS SOPS 463661 HAS SOUS 69909 HAS SOUPS 68667 WITH SCORE 69136.86
AT ITER 4605 NEW BEST:: SOT 1217498 SOS 469373 HAS SOPS 463174 HAS SOUS 69746 HAS SOUPS 68504 WITH SCORE 68973.373
AT ITER 4616 NEW BEST:: SOT 1217377 SOS 469366 HAS SOPS 463167 HAS SOUS 69707 HAS SOUPS 68465 WITH SCORE 68934.366
AT ITER 4649 NEW BEST:: SOT 1217282 SOS 469271 HAS SOPS 463072 HAS SOUS 69614 HAS SOUPS 68372 WITH SCORE 68841.271
AT ITER 4656 NEW BEST:: SOT 1217267 SOS 469256 HAS SOPS 463070 HAS SOUS 69606 HAS SOUPS 68364 WITH SCORE 68833.256
AT ITER 4666 NEW BEST:: SOT 1217267 SOS 469256 HAS SOPS 463070 HAS SOUS 69597 HAS SOUPS 68355 WITH SCORE 68824.256
AT ITER 4775 NEW BEST:: SOT 1217255 SOS 469253 HAS SOPS 463058 HAS SOUS 69590 HAS SOUPS 68345 WITH SCORE 68814.253
AT ITER 4777 NEW BEST:: SOT 1217213 SOS 469211 HAS SOPS 463016 HAS SOUS 69185 HAS SOUPS 67940 WITH SCORE 68409.211
AT ITER 4783 NEW BEST:: SOT 1217195 SOS 469193 HAS SOPS 462998 HAS SOUS 69136 HAS SOUPS 67891 WITH SCORE 68360.193
AT ITER 4793 NEW BEST:: SOT 1217181 SOS 469179 HAS SOPS 462984 HAS SOUS 69122 HAS SOUPS 67877 WITH SCORE 68346.179
AT ITER 4801 NEW BEST:: SOT 1217146 SOS 469319 HAS SOPS 463124 HAS SOUS 69093 HAS SOUPS 67848 WITH SCORE 68317.319
AT ITER 4878 NEW BEST:: SOT 1217140 SOS 469313 HAS SOPS 463118 HAS SOUS 69088 HAS SOUPS 67843 WITH SCORE 68312.313
AT ITER 4927 NEW BEST:: SOT 1217162 SOS 469330 HAS SOPS 463135 HAS SOUS 69062 HAS SOUPS 67817 WITH SCORE 68286.33
AT ITER 4938 NEW BEST:: SOT 1217111 SOS 469288 HAS SOPS 463093 HAS SOUS 69022 HAS SOUPS 67777 WITH SCORE 68246.288
AT ITER 4944 NEW BEST:: SOT 1217096 SOS 469273 HAS SOPS 463078 HAS SOUS 68990 HAS SOUPS 67745 WITH SCORE 68214.273
AT ITER 4950 NEW BEST:: SOT 1217076 SOS 469238 HAS SOPS 463043 HAS SOUS 68942 HAS SOUPS 67697 WITH SCORE 68166.238
AT ITER 4952 NEW BEST:: SOT 1217145 SOS 469307 HAS SOPS 463112 HAS SOUS 68861 HAS SOUPS 67616 WITH SCORE 68085.307
AT ITER 4996 NEW BEST:: SOT 1217091 SOS 469253 HAS SOPS 463058 HAS SOUS 68861 HAS SOUPS 67616 WITH SCORE 68085.253
AT ITER 5032 NEW BEST:: SOT 1217070 SOS 469255 HAS SOPS 463060 HAS SOUS 68850 HAS SOUPS 67605 WITH SCORE 68074.255
AT ITER 5065 NEW BEST:: SOT 1217068 SOS 469253 HAS SOPS 463058 HAS SOUS 68850 HAS SOUPS 67605 WITH SCORE 68074.253
AT ITER 5075 NEW BEST:: SOT 1217065 SOS 469250 HAS SOPS 463055 HAS SOUS 68842 HAS SOUPS 67597 WITH SCORE 68066.25
AT ITER 5081 NEW BEST:: SOT 1217065 SOS 469250 HAS SOPS 463045 HAS SOUS 68822 HAS SOUPS 67577 WITH SCORE 68046.25
AT ITER 5085 NEW BEST:: SOT 1217061 SOS 469243 HAS SOPS 463037 HAS SOUS 68801 HAS SOUPS 67555 WITH SCORE 68024.243
AT ITER 5100 NEW BEST:: SOT 1217060 SOS 469242 HAS SOPS 463036 HAS SOUS 68800 HAS SOUPS 67554 WITH SCORE 68023.242
AT ITER 5105 NEW BEST:: SOT 1217068 SOS 469242 HAS SOPS 463036 HAS SOUS 68789 HAS SOUPS 67543 WITH SCORE 68012.242
AT ITER 5109 NEW BEST:: SOT 1217041 SOS 469215 HAS SOPS 462998 HAS SOUS 68737 HAS SOUPS 67491 WITH SCORE 67960.215
AT ITER 5143 NEW BEST:: SOT 1216968 SOS 469139 HAS SOPS 462922 HAS SOUS 68700 HAS SOUPS 67454 WITH SCORE 67923.139
AT ITER 5144 NEW BEST:: SOT 1216849 SOS 468952 HAS SOPS 462735 HAS SOUS 68564 HAS SOUPS 67318 WITH SCORE 67786.952
AT ITER 5147 NEW BEST:: SOT 1216854 SOS 468940 HAS SOPS 462723 HAS SOUS 68552 HAS SOUPS 67306 WITH SCORE 67774.94
AT ITER 5151 NEW BEST:: SOT 1216701 SOS 467563 HAS SOPS 461602 HAS SOUS 68423 HAS SOUPS 67241 WITH SCORE 67708.563
AT ITER 5230 NEW BEST:: SOT 1216728 SOS 467590 HAS SOPS 461650 HAS SOUS 68393 HAS SOUPS 67211 WITH SCORE 67678.59
AT ITER 5242 NEW BEST:: SOT 1216704 SOS 467786 HAS SOPS 461815 HAS SOUS 68309 HAS SOUPS 67127 WITH SCORE 67594.786
AT ITER 5262 NEW BEST:: SOT 1216689 SOS 467771 HAS SOPS 461818 HAS SOUS 68279 HAS SOUPS 67097 WITH SCORE 67564.771
AT ITER 5281 NEW BEST:: SOT 1216682 SOS 467792 HAS SOPS 461839 HAS SOUS 68228 HAS SOUPS 67046 WITH SCORE 67513.792
AT ITER 5288 NEW BEST:: SOT 1216674 SOS 467784 HAS SOPS 461823 HAS SOUS 68196 HAS SOUPS 67014 WITH SCORE 67481.784
AT ITER 5362 NEW BEST:: SOT 1216674 SOS 467704 HAS SOPS 461743 HAS SOUS 68176 HAS SOUPS 66994 WITH SCORE 67461.704
AT ITER 5381 NEW BEST:: SOT 1216664 SOS 467684 HAS SOPS 461723 HAS SOUS 68156 HAS SOUPS 66974 WITH SCORE 67441.684
AT ITER 5385 NEW BEST:: SOT 1216670 SOS 467690 HAS SOPS 461730 HAS SOUS 68153 HAS SOUPS 66971 WITH SCORE 67438.69
AT ITER 5407 NEW BEST:: SOT 1216600 SOS 467620 HAS SOPS 461673 HAS SOUS 68144 HAS SOUPS 66962 WITH SCORE 67429.62
AT ITER 5410 NEW BEST:: SOT 1216593 SOS 467585 HAS SOPS 461638 HAS SOUS 68130 HAS SOUPS 66948 WITH SCORE 67415.585
AT ITER 5428 NEW BEST:: SOT 1216582 SOS 467571 HAS SOPS 461624 HAS SOUS 68116 HAS SOUPS 66934 WITH SCORE 67401.571
AT ITER 5432 NEW BEST:: SOT 1216569 SOS 467558 HAS SOPS 461611 HAS SOUS 68082 HAS SOUPS 66900 WITH SCORE 67367.558
AT ITER 5460 NEW BEST:: SOT 1216473 SOS 467396 HAS SOPS 461527 HAS SOUS 68054 HAS SOUPS 66872 WITH SCORE 67339.396
AT ITER 5489 NEW BEST:: SOT 1216473 SOS 467396 HAS SOPS 461526 HAS SOUS 68052 HAS SOUPS 66870 WITH SCORE 67337.396
AT ITER 5506 NEW BEST:: SOT 1216485 SOS 467408 HAS SOPS 461538 HAS SOUS 67944 HAS SOUPS 66762 WITH SCORE 67229.408
AT ITER 5537 NEW BEST:: SOT 1216489 SOS 467418 HAS SOPS 461536 HAS SOUS 67954 HAS SOUPS 66760 WITH SCORE 67227.418
AT ITER 5540 NEW BEST:: SOT 1216480 SOS 467409 HAS SOPS 461527 HAS SOUS 67945 HAS SOUPS 66751 WITH SCORE 67218.409
AT ITER 5541 NEW BEST:: SOT 1216447 SOS 467376 HAS SOPS 461524 HAS SOUS 67882 HAS SOUPS 66688 WITH SCORE 67155.376
AT ITER 5544 NEW BEST:: SOT 1216407 SOS 467336 HAS SOPS 461484 HAS SOUS 67834 HAS SOUPS 66640 WITH SCORE 67107.336
AT ITER 5576 NEW BEST:: SOT 1216263 SOS 467231 HAS SOPS 461379 HAS SOUS 67798 HAS SOUPS 66604 WITH SCORE 67071.231
AT ITER 5580 NEW BEST:: SOT 1216244 SOS 467240 HAS SOPS 461388 HAS SOUS 67771 HAS SOUPS 66577 WITH SCORE 67044.24
AT ITER 5581 NEW BEST:: SOT 1216262 SOS 467230 HAS SOPS 461360 HAS SOUS 67787 HAS SOUPS 66575 WITH SCORE 67042.23
AT ITER 5677 NEW BEST:: SOT 1216275 SOS 467426 HAS SOPS 461556 HAS SOUS 67778 HAS SOUPS 66566 WITH SCORE 67033.426
AT ITER 5704 NEW BEST:: SOT 1216260 SOS 467401 HAS SOPS 461531 HAS SOUS 67758 HAS SOUPS 66546 WITH SCORE 67013.401
AT ITER 5717 NEW BEST:: SOT 1216198 SOS 467277 HAS SOPS 461407 HAS SOUS 67634 HAS SOUPS 66422 WITH SCORE 66889.277
AT ITER 5726 NEW BEST:: SOT 1216182 SOS 467241 HAS SOPS 461371 HAS SOUS 67614 HAS SOUPS 66402 WITH SCORE 66869.241
AT ITER 5786 NEW BEST:: SOT 1216182 SOS 467964 HAS SOPS 462094 HAS SOUS 67547 HAS SOUPS 66335 WITH SCORE 66802.964
AT ITER 5788 NEW BEST:: SOT 1216198 SOS 467979 HAS SOPS 462104 HAS SOUS 67513 HAS SOUPS 66297 WITH SCORE 66764.979
AT ITER 5799 NEW BEST:: SOT 1216227 SOS 467984 HAS SOPS 462109 HAS SOUS 67511 HAS SOUPS 66295 WITH SCORE 66762.984
AT ITER 5807 NEW BEST:: SOT 1216257 SOS 468033 HAS SOPS 462127 HAS SOUS 67487 HAS SOUPS 66271 WITH SCORE 66739.033
AT ITER 5811 NEW BEST:: SOT 1216233 SOS 468009 HAS SOPS 462103 HAS SOUS 67463 HAS SOUPS 66247 WITH SCORE 66715.009
AT ITER 5831 NEW BEST:: SOT 1216227 SOS 468003 HAS SOPS 462097 HAS SOUS 67457 HAS SOUPS 66241 WITH SCORE 66709.003
AT ITER 5839 NEW BEST:: SOT 1216203 SOS 467979 HAS SOPS 462073 HAS SOUS 67420 HAS SOUPS 66204 WITH SCORE 66671.979
AT ITER 5859 NEW BEST:: SOT 1215645 SOS 467555 HAS SOPS 461649 HAS SOUS 67051 HAS SOUPS 65835 WITH SCORE 66302.555
AT ITER 5883 NEW BEST:: SOT 1215644 SOS 467547 HAS SOPS 461641 HAS SOUS 67038 HAS SOUPS 65822 WITH SCORE 66289.547
AT ITER 5884 NEW BEST:: SOT 1215671 SOS 468245 HAS SOPS 462339 HAS SOUS 67003 HAS SOUPS 65787 WITH SCORE 66255.245
AT ITER 5917 NEW BEST:: SOT 1215667 SOS 468216 HAS SOPS 462310 HAS SOUS 66907 HAS SOUPS 65691 WITH SCORE 66159.216
AT ITER 5945 NEW BEST:: SOT 1215642 SOS 457313 HAS SOPS 451407 HAS SOUS 66877 HAS SOUPS 65661 WITH SCORE 66118.313
AT ITER 5959 NEW BEST:: SOT 1215614 SOS 457285 HAS SOPS 451382 HAS SOUS 66869 HAS SOUPS 65653 WITH SCORE 66110.285
AT ITER 5976 NEW BEST:: SOT 1215605 SOS 457276 HAS SOPS 451382 HAS SOUS 66842 HAS SOUPS 65626 WITH SCORE 66083.276
AT ITER 5980 NEW BEST:: SOT 1215559 SOS 457230 HAS SOPS 451351 HAS SOUS 66814 HAS SOUPS 65598 WITH SCORE 66055.23
AT ITER 6079 NEW BEST:: SOT 1215558 SOS 457229 HAS SOPS 451350 HAS SOUS 66812 HAS SOUPS 65596 WITH SCORE 66053.229
AT ITER 6100 NEW BEST:: SOT 1215556 SOS 457227 HAS SOPS 451348 HAS SOUS 66810 HAS SOUPS 65594 WITH SCORE 66051.227
AT ITER 6127 NEW BEST:: SOT 1215537 SOS 457189 HAS SOPS 451310 HAS SOUS 66795 HAS SOUPS 65579 WITH SCORE 66036.189
AT ITER 6146 NEW BEST:: SOT 1215525 SOS 457168 HAS SOPS 451289 HAS SOUS 66774 HAS SOUPS 65558 WITH SCORE 66015.168
AT ITER 6204 NEW BEST:: SOT 1215515 SOS 457125 HAS SOPS 451246 HAS SOUS 66754 HAS SOUPS 65538 WITH SCORE 65995.125
AT ITER 6221 NEW BEST:: SOT 1215306 SOS 456916 HAS SOPS 451037 HAS SOUS 66512 HAS SOUPS 65296 WITH SCORE 65752.916
AT ITER 6223 NEW BEST:: SOT 1215330 SOS 456940 HAS SOPS 451042 HAS SOUS 66444 HAS SOUPS 65228 WITH SCORE 65684.94
AT ITER 6226 NEW BEST:: SOT 1215152 SOS 456823 HAS SOPS 450925 HAS SOUS 66325 HAS SOUPS 65109 WITH SCORE 65565.823
AT ITER 6232 NEW BEST:: SOT 1215156 SOS 456822 HAS SOPS 450924 HAS SOUS 66315 HAS SOUPS 65099 WITH SCORE 65555.822
AT ITER 6258 NEW BEST:: SOT 1215117 SOS 456783 HAS SOPS 450885 HAS SOUS 66264 HAS SOUPS 65048 WITH SCORE 65504.783
AT ITER 6260 NEW BEST:: SOT 1214995 SOS 456661 HAS SOPS 450763 HAS SOUS 66142 HAS SOUPS 64926 WITH SCORE 65382.661
AT ITER 6268 NEW BEST:: SOT 1214917 SOS 456542 HAS SOPS 450644 HAS SOUS 66033 HAS SOUPS 64817 WITH SCORE 65273.542
AT ITER 6313 NEW BEST:: SOT 1214940 SOS 456545 HAS SOPS 450647 HAS SOUS 66030 HAS SOUPS 64814 WITH SCORE 65270.545
AT ITER 6315 NEW BEST:: SOT 1214942 SOS 456547 HAS SOPS 450649 HAS SOUS 66028 HAS SOUPS 64812 WITH SCORE 65268.547
AT ITER 6317 NEW BEST:: SOT 1214939 SOS 456544 HAS SOPS 450632 HAS SOUS 66022 HAS SOUPS 64806 WITH SCORE 65262.544
AT ITER 6320 NEW BEST:: SOT 1214906 SOS 456511 HAS SOPS 450587 HAS SOUS 65975 HAS SOUPS 64759 WITH SCORE 65215.511
AT ITER 6330 NEW BEST:: SOT 1214918 SOS 456505 HAS SOPS 450581 HAS SOUS 65969 HAS SOUPS 64753 WITH SCORE 65209.505
AT ITER 6333 NEW BEST:: SOT 1214898 SOS 456489 HAS SOPS 450565 HAS SOUS 65945 HAS SOUPS 64729 WITH SCORE 65185.489
AT ITER 6351 NEW BEST:: SOT 1214894 SOS 456485 HAS SOPS 450561 HAS SOUS 65933 HAS SOUPS 64717 WITH SCORE 65173.485
AT ITER 6359 NEW BEST:: SOT 1215020 SOS 456611 HAS SOPS 450687 HAS SOUS 65913 HAS SOUPS 64697 WITH SCORE 65153.611
AT ITER 6368 NEW BEST:: SOT 1215019 SOS 456611 HAS SOPS 450663 HAS SOUS 65913 HAS SOUPS 64691 WITH SCORE 65147.611
AT ITER 6392 NEW BEST:: SOT 1215004 SOS 478732 HAS SOPS 472784 HAS SOUS 65782 HAS SOUPS 64560 WITH SCORE 65038.732
AT ITER 6443 NEW BEST:: SOT 1215004 SOS 478765 HAS SOPS 472817 HAS SOUS 65716 HAS SOUPS 64494 WITH SCORE 64972.765
AT ITER 6478 NEW BEST:: SOT 1215004 SOS 478765 HAS SOPS 472813 HAS SOUS 65708 HAS SOUPS 64486 WITH SCORE 64964.765
AT ITER 6482 NEW BEST:: SOT 1215004 SOS 478550 HAS SOPS 472613 HAS SOUS 65665 HAS SOUPS 64458 WITH SCORE 64936.55
AT ITER 6486 NEW BEST:: SOT 1215004 SOS 478548 HAS SOPS 472611 HAS SOUS 65656 HAS SOUPS 64449 WITH SCORE 64927.548
AT ITER 6490 NEW BEST:: SOT 1215004 SOS 478529 HAS SOPS 472592 HAS SOUS 65637 HAS SOUPS 64430 WITH SCORE 64908.529
AT ITER 6629 NEW BEST:: SOT 1214952 SOS 478477 HAS SOPS 472550 HAS SOUS 65605 HAS SOUPS 64408 WITH SCORE 64886.477
AT ITER 6640 NEW BEST:: SOT 1214951 SOS 478483 HAS SOPS 472548 HAS SOUS 65592 HAS SOUPS 64395 WITH SCORE 64873.483
AT ITER 6656 NEW BEST:: SOT 1214936 SOS 478468 HAS SOPS 472533 HAS SOUS 65556 HAS SOUPS 64359 WITH SCORE 64837.468
AT ITER 6671 NEW BEST:: SOT 1214938 SOS 478466 HAS SOPS 472531 HAS SOUS 65554 HAS SOUPS 64357 WITH SCORE 64835.466
AT ITER 6699 NEW BEST:: SOT 1214923 SOS 478446 HAS SOPS 472511 HAS SOUS 65529 HAS SOUPS 64332 WITH SCORE 64810.446
AT ITER 6717 NEW BEST:: SOT 1214915 SOS 478438 HAS SOPS 472503 HAS SOUS 65517 HAS SOUPS 64320 WITH SCORE 64798.438
AT ITER 6735 NEW BEST:: SOT 1214885 SOS 478398 HAS SOPS 472463 HAS SOUS 65487 HAS SOUPS 64290 WITH SCORE 64768.398
AT ITER 6746 NEW BEST:: SOT 1214873 SOS 478380 HAS SOPS 472445 HAS SOUS 65469 HAS SOUPS 64272 WITH SCORE 64750.38
AT ITER 6747 NEW BEST:: SOT 1214955 SOS 478516 HAS SOPS 472581 HAS SOUS 65449 HAS SOUPS 64252 WITH SCORE 64730.516
AT ITER 6771 NEW BEST:: SOT 1214858 SOS 478441 HAS SOPS 472506 HAS SOUS 65365 HAS SOUPS 64168 WITH SCORE 64646.441
AT ITER 6810 NEW BEST:: SOT 1215038 SOS 478621 HAS SOPS 472686 HAS SOUS 65331 HAS SOUPS 64134 WITH SCORE 64612.621
AT ITER 6816 NEW BEST:: SOT 1215026 SOS 478605 HAS SOPS 472670 HAS SOUS 65315 HAS SOUPS 64118 WITH SCORE 64596.605
AT ITER 6826 NEW BEST:: SOT 1215041 SOS 478642 HAS SOPS 472454 HAS SOUS 65352 HAS SOUPS 64089 WITH SCORE 64567.642
AT ITER 6849 NEW BEST:: SOT 1215025 SOS 478622 HAS SOPS 472434 HAS SOUS 65332 HAS SOUPS 64069 WITH SCORE 64547.622
AT ITER 6854 NEW BEST:: SOT 1215021 SOS 478592 HAS SOPS 472404 HAS SOUS 65322 HAS SOUPS 64059 WITH SCORE 64537.592
AT ITER 6902 NEW BEST:: SOT 1215003 SOS 478574 HAS SOPS 472377 HAS SOUS 65286 HAS SOUPS 64023 WITH SCORE 64501.574
AT ITER 6924 NEW BEST:: SOT 1214995 SOS 478566 HAS SOPS 472369 HAS SOUS 65278 HAS SOUPS 64015 WITH SCORE 64493.566
AT ITER 6964 NEW BEST:: SOT 1214992 SOS 478563 HAS SOPS 472366 HAS SOUS 65275 HAS SOUPS 64012 WITH SCORE 64490.563
AT ITER 6968 NEW BEST:: SOT 1214958 SOS 478484 HAS SOPS 472298 HAS SOUS 65255 HAS SOUPS 63992 WITH SCORE 64470.484
AT ITER 6990 NEW BEST:: SOT 1214940 SOS 478463 HAS SOPS 472277 HAS SOUS 65234 HAS SOUPS 63971 WITH SCORE 64449.463
AT ITER 6993 NEW BEST:: SOT 1214931 SOS 468263 HAS SOPS 462077 HAS SOUS 65213 HAS SOUPS 63950 WITH SCORE 64418.263
AT ITER 7010 NEW BEST:: SOT 1216391 SOS 469723 HAS SOPS 463537 HAS SOUS 64740 HAS SOUPS 63477 WITH SCORE 63946.723
AT ITER 7035 NEW BEST:: SOT 1216426 SOS 469758 HAS SOPS 463572 HAS SOUS 64735 HAS SOUPS 63472 WITH SCORE 63941.758
AT ITER 7051 NEW BEST:: SOT 1216450 SOS 469782 HAS SOPS 463596 HAS SOUS 64721 HAS SOUPS 63458 WITH SCORE 63927.782
AT ITER 7068 NEW BEST:: SOT 1216378 SOS 469741 HAS SOPS 463555 HAS SOUS 64644 HAS SOUPS 63381 WITH SCORE 63850.741
AT ITER 7118 NEW BEST:: SOT 1216367 SOS 469703 HAS SOPS 463517 HAS SOUS 64622 HAS SOUPS 63359 WITH SCORE 63828.703
AT ITER 7142 NEW BEST:: SOT 1216218 SOS 470141 HAS SOPS 465147 HAS SOUS 64559 HAS SOUPS 63334 WITH SCORE 63804.141
AT ITER 7167 NEW BEST:: SOT 1216218 SOS 469056 HAS SOPS 464062 HAS SOUS 64559 HAS SOUPS 63334 WITH SCORE 63803.056
AT ITER 7178 NEW BEST:: SOT 1216169 SOS 468913 HAS SOPS 463919 HAS SOUS 64381 HAS SOUPS 63156 WITH SCORE 63624.913
AT ITER 7208 NEW BEST:: SOT 1216162 SOS 468911 HAS SOPS 463917 HAS SOUS 64306 HAS SOUPS 63081 WITH SCORE 63549.911
AT ITER 7255 NEW BEST:: SOT 1216156 SOS 468905 HAS SOPS 463911 HAS SOUS 64306 HAS SOUPS 63081 WITH SCORE 63549.905
AT ITER 7280 NEW BEST:: SOT 1216152 SOS 468901 HAS SOPS 463907 HAS SOUS 64291 HAS SOUPS 63066 WITH SCORE 63534.901
AT ITER 7305 NEW BEST:: SOT 1216151 SOS 469095 HAS SOPS 464101 HAS SOUS 64289 HAS SOUPS 63064 WITH SCORE 63533.095
AT ITER 7341 NEW BEST:: SOT 1220979 SOS 474021 HAS SOPS 469027 HAS SOUS 63284 HAS SOUPS 62059 WITH SCORE 62533.021
AT ITER 7367 NEW BEST:: SOT 1220907 SOS 473931 HAS SOPS 468937 HAS SOUS 63184 HAS SOUPS 61959 WITH SCORE 62432.931
AT ITER 7384 NEW BEST:: SOT 1222049 SOS 475049 HAS SOPS 470079 HAS SOUS 62966 HAS SOUPS 61747 WITH SCORE 62222.049
AT ITER 7401 NEW BEST:: SOT 1222049 SOS 475014 HAS SOPS 470044 HAS SOUS 62966 HAS SOUPS 61747 WITH SCORE 62222.014
AT ITER 7424 NEW BEST:: SOT 1222049 SOS 475014 HAS SOPS 470044 HAS SOUS 62961 HAS SOUPS 61742 WITH SCORE 62217.014
AT ITER 7452 NEW BEST:: SOT 1222029 SOS 474970 HAS SOPS 470000 HAS SOUS 62937 HAS SOUPS 61718 WITH SCORE 62192.97
AT ITER 7480 NEW BEST:: SOT 1222029 SOS 474947 HAS SOPS 469977 HAS SOUS 62914 HAS SOUPS 61695 WITH SCORE 62169.947
AT ITER 7483 NEW BEST:: SOT 1222033 SOS 474951 HAS SOPS 469981 HAS SOUS 62912 HAS SOUPS 61693 WITH SCORE 62167.951
AT ITER 7497 NEW BEST:: SOT 1222017 SOS 474935 HAS SOPS 469965 HAS SOUS 62840 HAS SOUPS 61621 WITH SCORE 62095.935
AT ITER 7536 NEW BEST:: SOT 1224639 SOS 477557 HAS SOPS 472587 HAS SOUS 62753 HAS SOUPS 61534 WITH SCORE 62011.557
AT ITER 7547 NEW BEST:: SOT 1224620 SOS 477538 HAS SOPS 472568 HAS SOUS 62751 HAS SOUPS 61532 WITH SCORE 62009.538
AT ITER 7558 NEW BEST:: SOT 1224608 SOS 477526 HAS SOPS 472556 HAS SOUS 62726 HAS SOUPS 61507 WITH SCORE 61984.526
AT ITER 7561 NEW BEST:: SOT 1224567 SOS 477467 HAS SOPS 472497 HAS SOUS 62644 HAS SOUPS 61425 WITH SCORE 61902.467
AT ITER 7572 NEW BEST:: SOT 1224556 SOS 477456 HAS SOPS 472486 HAS SOUS 62633 HAS SOUPS 61414 WITH SCORE 61891.456
AT ITER 7575 NEW BEST:: SOT 1224556 SOS 475330 HAS SOPS 470360 HAS SOUS 62633 HAS SOUPS 61414 WITH SCORE 61889.33
AT ITER 7609 NEW BEST:: SOT 1224524 SOS 463506 HAS SOPS 458536 HAS SOUS 62588 HAS SOUPS 61369 WITH SCORE 61832.506
AT ITER 7636 NEW BEST:: SOT 1224524 SOS 463496 HAS SOPS 458526 HAS SOUS 62582 HAS SOUPS 61363 WITH SCORE 61826.496
AT ITER 7641 NEW BEST:: SOT 1224488 SOS 463408 HAS SOPS 458438 HAS SOUS 62537 HAS SOUPS 61318 WITH SCORE 61781.408
AT ITER 7690 NEW BEST:: SOT 1224484 SOS 463368 HAS SOPS 458398 HAS SOUS 62533 HAS SOUPS 61314 WITH SCORE 61777.368
AT ITER 7697 NEW BEST:: SOT 1224431 SOS 463293 HAS SOPS 458323 HAS SOUS 62511 HAS SOUPS 61292 WITH SCORE 61755.293
AT ITER 7749 NEW BEST:: SOT 1224425 SOS 463283 HAS SOPS 458313 HAS SOUS 62501 HAS SOUPS 61282 WITH SCORE 61745.283
AT ITER 7771 NEW BEST:: SOT 1224425 SOS 463323 HAS SOPS 458353 HAS SOUS 62489 HAS SOUPS 61270 WITH SCORE 61733.323
AT ITER 7783 NEW BEST:: SOT 1224405 SOS 463248 HAS SOPS 458278 HAS SOUS 62449 HAS SOUPS 61230 WITH SCORE 61693.248
AT ITER 7806 NEW BEST:: SOT 1224334 SOS 463154 HAS SOPS 458184 HAS SOUS 62347 HAS SOUPS 61128 WITH SCORE 61591.154
AT ITER 7825 NEW BEST:: SOT 1224333 SOS 463148 HAS SOPS 458178 HAS SOUS 62345 HAS SOUPS 61126 WITH SCORE 61589.148
AT ITER 7826 NEW BEST:: SOT 1224310 SOS 463125 HAS SOPS 458178 HAS SOUS 62345 HAS SOUPS 61126 WITH SCORE 61589.125
AT ITER 7836 NEW BEST:: SOT 1224298 SOS 463113 HAS SOPS 458166 HAS SOUS 62340 HAS SOUPS 61121 WITH SCORE 61584.113
AT ITER 7854 NEW BEST:: SOT 1224305 SOS 463106 HAS SOPS 458159 HAS SOUS 62333 HAS SOUPS 61114 WITH SCORE 61577.106
AT ITER 7870 NEW BEST:: SOT 1224305 SOS 463104 HAS SOPS 458157 HAS SOUS 62331 HAS SOUPS 61112 WITH SCORE 61575.104
AT ITER 7909 NEW BEST:: SOT 1224293 SOS 463092 HAS SOPS 458145 HAS SOUS 62301 HAS SOUPS 61082 WITH SCORE 61545.092
AT ITER 7911 NEW BEST:: SOT 1224293 SOS 462905 HAS SOPS 457958 HAS SOUS 62279 HAS SOUPS 61060 WITH SCORE 61522.905
AT ITER 7913 NEW BEST:: SOT 1224296 SOS 462910 HAS SOPS 457939 HAS SOUS 62284 HAS SOUPS 61059 WITH SCORE 61521.91
AT ITER 7939 NEW BEST:: SOT 1224277 SOS 462891 HAS SOPS 457920 HAS SOUS 62282 HAS SOUPS 61057 WITH SCORE 61519.891
AT ITER 7988 NEW BEST:: SOT 1224273 SOS 462887 HAS SOPS 457916 HAS SOUS 62278 HAS SOUPS 61053 WITH SCORE 61515.887
AT ITER 8000 NEW BEST:: SOT 1224258 SOS 462813 HAS SOPS 457842 HAS SOUS 62259 HAS SOUPS 61034 WITH SCORE 61496.813
AT ITER 8035 NEW BEST:: SOT 1224250 SOS 462788 HAS SOPS 457817 HAS SOUS 62223 HAS SOUPS 60998 WITH SCORE 61460.788
AT ITER 8089 NEW BEST:: SOT 1224224 SOS 462775 HAS SOPS 457804 HAS SOUS 62210 HAS SOUPS 60985 WITH SCORE 61447.775
AT ITER 8130 NEW BEST:: SOT 1224206 SOS 462757 HAS SOPS 457786 HAS SOUS 62186 HAS SOUPS 60961 WITH SCORE 61423.757
AT ITER 8145 NEW BEST:: SOT 1224159 SOS 462710 HAS SOPS 457739 HAS SOUS 62104 HAS SOUPS 60879 WITH SCORE 61341.71
AT ITER 8161 NEW BEST:: SOT 1224158 SOS 462709 HAS SOPS 457738 HAS SOUS 62102 HAS SOUPS 60877 WITH SCORE 61339.709
AT ITER 8173 NEW BEST:: SOT 1224152 SOS 462697 HAS SOPS 457726 HAS SOUS 62090 HAS SOUPS 60865 WITH SCORE 61327.697
AT ITER 8196 NEW BEST:: SOT 1224135 SOS 462683 HAS SOPS 457712 HAS SOUS 62075 HAS SOUPS 60850 WITH SCORE 61312.683
AT ITER 8198 NEW BEST:: SOT 1224135 SOS 462683 HAS SOPS 457713 HAS SOUS 62071 HAS SOUPS 60846 WITH SCORE 61308.683
AT ITER 8205 NEW BEST:: SOT 1224057 SOS 450030 HAS SOPS 445060 HAS SOUS 61939 HAS SOUPS 60714 WITH SCORE 61164.03
AT ITER 8235 NEW BEST:: SOT 1219322 SOS 445274 HAS SOPS 440304 HAS SOUS 61284 HAS SOUPS 60059 WITH SCORE 60504.274
AT ITER 8242 NEW BEST:: SOT 1219320 SOS 445266 HAS SOPS 440296 HAS SOUS 61276 HAS SOUPS 60051 WITH SCORE 60496.266
AT ITER 8274 NEW BEST:: SOT 1219310 SOS 445256 HAS SOPS 440286 HAS SOUS 61251 HAS SOUPS 60026 WITH SCORE 60471.256
AT ITER 8312 NEW BEST:: SOT 1219302 SOS 445238 HAS SOPS 440268 HAS SOUS 61103 HAS SOUPS 59878 WITH SCORE 60323.238
AT ITER 8329 NEW BEST:: SOT 1219269 SOS 445226 HAS SOPS 440256 HAS SOUS 61087 HAS SOUPS 59862 WITH SCORE 60307.226
AT ITER 8403 NEW BEST:: SOT 1219269 SOS 445226 HAS SOPS 440256 HAS SOUS 61084 HAS SOUPS 59859 WITH SCORE 60304.226
AT ITER 8418 NEW BEST:: SOT 1219263 SOS 445214 HAS SOPS 440244 HAS SOUS 61024 HAS SOUPS 59799 WITH SCORE 60244.214
AT ITER 8440 NEW BEST:: SOT 1219259 SOS 445208 HAS SOPS 440238 HAS SOUS 61018 HAS SOUPS 59793 WITH SCORE 60238.208
AT ITER 8443 NEW BEST:: SOT 1219255 SOS 445206 HAS SOPS 440236 HAS SOUS 61014 HAS SOUPS 59789 WITH SCORE 60234.206
AT ITER 8444 NEW BEST:: SOT 1219249 SOS 445200 HAS SOPS 440227 HAS SOUS 61005 HAS SOUPS 59780 WITH SCORE 60225.2
AT ITER 8451 NEW BEST:: SOT 1219249 SOS 445173 HAS SOPS 440200 HAS SOUS 61005 HAS SOUPS 59780 WITH SCORE 60225.173
AT ITER 8453 NEW BEST:: SOT 1219196 SOS 417155 HAS SOPS 412182 HAS SOUS 60926 HAS SOUPS 59701 WITH SCORE 60118.155
AT ITER 8477 NEW BEST:: SOT 1229732 SOS 427643 HAS SOPS 422718 HAS SOUS 60240 HAS SOUPS 59027 WITH SCORE 59454.643
AT ITER 8488 NEW BEST:: SOT 1229771 SOS 427682 HAS SOPS 422732 HAS SOUS 60217 HAS SOUPS 59004 WITH SCORE 59431.682
AT ITER 8496 NEW BEST:: SOT 1229705 SOS 427616 HAS SOPS 422666 HAS SOUS 60151 HAS SOUPS 58938 WITH SCORE 59365.616
AT ITER 8497 NEW BEST:: SOT 1229775 SOS 427645 HAS SOPS 422695 HAS SOUS 59943 HAS SOUPS 58730 WITH SCORE 59157.645
AT ITER 8498 NEW BEST:: SOT 1229685 SOS 427520 HAS SOPS 422570 HAS SOUS 59832 HAS SOUPS 58619 WITH SCORE 59046.52
AT ITER 8513 NEW BEST:: SOT 1229680 SOS 427515 HAS SOPS 422565 HAS SOUS 59822 HAS SOUPS 58609 WITH SCORE 59036.515
AT ITER 8529 NEW BEST:: SOT 1229680 SOS 427515 HAS SOPS 422565 HAS SOUS 59820 HAS SOUPS 58607 WITH SCORE 59034.515
AT ITER 8530 NEW BEST:: SOT 1229680 SOS 427451 HAS SOPS 422501 HAS SOUS 59820 HAS SOUPS 58607 WITH SCORE 59034.451
AT ITER 8542 NEW BEST:: SOT 1229721 SOS 427473 HAS SOPS 422486 HAS SOUS 59734 HAS SOUPS 58521 WITH SCORE 58948.473
AT ITER 8544 NEW BEST:: SOT 1229718 SOS 427479 HAS SOPS 422492 HAS SOUS 59716 HAS SOUPS 58503 WITH SCORE 58930.479
AT ITER 8567 NEW BEST:: SOT 1229711 SOS 427483 HAS SOPS 422496 HAS SOUS 59702 HAS SOUPS 58489 WITH SCORE 58916.483
AT ITER 8601 NEW BEST:: SOT 1229703 SOS 427467 HAS SOPS 422480 HAS SOUS 59701 HAS SOUPS 58488 WITH SCORE 58915.467
AT ITER 8663 NEW BEST:: SOT 1229639 SOS 427403 HAS SOPS 422416 HAS SOUS 59612 HAS SOUPS 58399 WITH SCORE 58826.403
AT ITER 8681 NEW BEST:: SOT 1229639 SOS 427390 HAS SOPS 422403 HAS SOUS 59599 HAS SOUPS 58386 WITH SCORE 58813.39
AT ITER 8751 NEW BEST:: SOT 1229628 SOS 427379 HAS SOPS 422392 HAS SOUS 59597 HAS SOUPS 58384 WITH SCORE 58811.379
AT ITER 8768 NEW BEST:: SOT 1229519 SOS 427304 HAS SOPS 422317 HAS SOUS 59587 HAS SOUPS 58374 WITH SCORE 58801.304
AT ITER 8770 NEW BEST:: SOT 1229518 SOS 427303 HAS SOPS 422324 HAS SOUS 59585 HAS SOUPS 58372 WITH SCORE 58799.303
AT ITER 8786 NEW BEST:: SOT 1229508 SOS 427303 HAS SOPS 422324 HAS SOUS 59565 HAS SOUPS 58352 WITH SCORE 58779.303
AT ITER 8794 NEW BEST:: SOT 1229482 SOS 427277 HAS SOPS 422298 HAS SOUS 59539 HAS SOUPS 58326 WITH SCORE 58753.277
AT ITER 8808 NEW BEST:: SOT 1229469 SOS 427262 HAS SOPS 422283 HAS SOUS 59526 HAS SOUPS 58313 WITH SCORE 58740.262
AT ITER 8823 NEW BEST:: SOT 1229418 SOS 427205 HAS SOPS 422226 HAS SOUS 59469 HAS SOUPS 58256 WITH SCORE 58683.205
AT ITER 8839 NEW BEST:: SOT 1229574 SOS 427345 HAS SOPS 422382 HAS SOUS 59461 HAS SOUPS 58252 WITH SCORE 58679.345
AT ITER 8891 NEW BEST:: SOT 1229562 SOS 427333 HAS SOPS 422370 HAS SOUS 59437 HAS SOUPS 58228 WITH SCORE 58655.333
AT ITER 8898 NEW BEST:: SOT 1229557 SOS 427328 HAS SOPS 422365 HAS SOUS 59427 HAS SOUPS 58218 WITH SCORE 58645.328
AT ITER 8913 NEW BEST:: SOT 1229554 SOS 427325 HAS SOPS 422361 HAS SOUS 59409 HAS SOUPS 58200 WITH SCORE 58627.325
AT ITER 8937 NEW BEST:: SOT 1229524 SOS 427239 HAS SOPS 422275 HAS SOUS 59383 HAS SOUPS 58174 WITH SCORE 58601.239
AT ITER 8940 NEW BEST:: SOT 1229516 SOS 427223 HAS SOPS 422259 HAS SOUS 59367 HAS SOUPS 58158 WITH SCORE 58585.223
AT ITER 8956 NEW BEST:: SOT 1229526 SOS 427233 HAS SOPS 422269 HAS SOUS 59251 HAS SOUPS 58042 WITH SCORE 58469.233
AT ITER 8978 NEW BEST:: SOT 1229529 SOS 427252 HAS SOPS 422272 HAS SOUS 59256 HAS SOUPS 58031 WITH SCORE 58458.252
AT ITER 8998 NEW BEST:: SOT 1229529 SOS 427233 HAS SOPS 422253 HAS SOUS 59256 HAS SOUPS 58031 WITH SCORE 58458.233
AT ITER 9040 NEW BEST:: SOT 1229527 SOS 427228 HAS SOPS 422248 HAS SOUS 59251 HAS SOUPS 58026 WITH SCORE 58453.228
AT ITER 9041 NEW BEST:: SOT 1229534 SOS 427240 HAS SOPS 422260 HAS SOUS 59250 HAS SOUPS 58025 WITH SCORE 58452.24
AT ITER 9099 NEW BEST:: SOT 1229534 SOS 427230 HAS SOPS 422245 HAS SOUS 59240 HAS SOUPS 58015 WITH SCORE 58442.23
AT ITER 9102 NEW BEST:: SOT 1229532 SOS 427223 HAS SOPS 422238 HAS SOUS 59219 HAS SOUPS 57994 WITH SCORE 58421.223
AT ITER 9122 NEW BEST:: SOT 1229507 SOS 427198 HAS SOPS 422203 HAS SOUS 59172 HAS SOUPS 57947 WITH SCORE 58374.198
AT ITER 9137 NEW BEST:: SOT 1229360 SOS 427051 HAS SOPS 422056 HAS SOUS 58996 HAS SOUPS 57771 WITH SCORE 58198.051
AT ITER 9168 NEW BEST:: SOT 1229355 SOS 427046 HAS SOPS 422051 HAS SOUS 58991 HAS SOUPS 57766 WITH SCORE 58193.046
AT ITER 9174 NEW BEST:: SOT 1229099 SOS 426789 HAS SOPS 421794 HAS SOUS 58855 HAS SOUPS 57630 WITH SCORE 58056.789
AT ITER 9192 NEW BEST:: SOT 1229085 SOS 426761 HAS SOPS 421766 HAS SOUS 58816 HAS SOUPS 57591 WITH SCORE 58017.761
AT ITER 9198 NEW BEST:: SOT 1229037 SOS 426677 HAS SOPS 421682 HAS SOUS 58764 HAS SOUPS 57539 WITH SCORE 57965.677
AT ITER 9232 NEW BEST:: SOT 1229030 SOS 426671 HAS SOPS 421676 HAS SOUS 58759 HAS SOUPS 57534 WITH SCORE 57960.671
AT ITER 9234 NEW BEST:: SOT 1229019 SOS 411110 HAS SOPS 406115 HAS SOUS 58736 HAS SOUPS 57511 WITH SCORE 57922.11
AT ITER 9261 NEW BEST:: SOT 1229022 SOS 411179 HAS SOPS 406184 HAS SOUS 58661 HAS SOUPS 57436 WITH SCORE 57847.179
AT ITER 9276 NEW BEST:: SOT 1229021 SOS 411179 HAS SOPS 406184 HAS SOUS 58660 HAS SOUPS 57435 WITH SCORE 57846.179
AT ITER 9282 NEW BEST:: SOT 1229021 SOS 411179 HAS SOPS 406184 HAS SOUS 58653 HAS SOUPS 57428 WITH SCORE 57839.179
AT ITER 9300 NEW BEST:: SOT 1229027 SOS 411185 HAS SOPS 406190 HAS SOUS 58606 HAS SOUPS 57381 WITH SCORE 57792.185
AT ITER 9310 NEW BEST:: SOT 1228912 SOS 411081 HAS SOPS 406086 HAS SOUS 58412 HAS SOUPS 57187 WITH SCORE 57598.081
AT ITER 9313 NEW BEST:: SOT 1228859 SOS 411028 HAS SOPS 406033 HAS SOUS 58323 HAS SOUPS 57098 WITH SCORE 57509.028
AT ITER 9316 NEW BEST:: SOT 1228859 SOS 411036 HAS SOPS 406041 HAS SOUS 58306 HAS SOUPS 57081 WITH SCORE 57492.036
AT ITER 9358 NEW BEST:: SOT 1228852 SOS 411022 HAS SOPS 406027 HAS SOUS 58292 HAS SOUPS 57067 WITH SCORE 57478.022
AT ITER 9413 NEW BEST:: SOT 1228802 SOS 410972 HAS SOPS 405977 HAS SOUS 58242 HAS SOUPS 57017 WITH SCORE 57427.972
AT ITER 9432 NEW BEST:: SOT 1228791 SOS 410972 HAS SOPS 405977 HAS SOUS 58231 HAS SOUPS 57006 WITH SCORE 57416.972
AT ITER 9436 NEW BEST:: SOT 1228791 SOS 410892 HAS SOPS 405897 HAS SOUS 58231 HAS SOUPS 57006 WITH SCORE 57416.892
AT ITER 9448 NEW BEST:: SOT 1228786 SOS 410887 HAS SOPS 405892 HAS SOUS 58225 HAS SOUPS 57000 WITH SCORE 57410.887
AT ITER 9548 NEW BEST:: SOT 1228786 SOS 410859 HAS SOPS 405864 HAS SOUS 58225 HAS SOUPS 57000 WITH SCORE 57410.859
AT ITER 9571 NEW BEST:: SOT 1228765 SOS 410873 HAS SOPS 405878 HAS SOUS 58191 HAS SOUPS 56966 WITH SCORE 57376.873
AT ITER 9594 NEW BEST:: SOT 1228753 SOS 410837 HAS SOPS 405842 HAS SOUS 58191 HAS SOUPS 56966 WITH SCORE 57376.837
AT ITER 9607 NEW BEST:: SOT 1228826 SOS 410691 HAS SOPS 405696 HAS SOUS 58191 HAS SOUPS 56966 WITH SCORE 57376.691
AT ITER 9653 NEW BEST:: SOT 1228795 SOS 410660 HAS SOPS 405665 HAS SOUS 58153 HAS SOUPS 56928 WITH SCORE 57338.66
AT ITER 9791 NEW BEST:: SOT 1228821 SOS 410686 HAS SOPS 405691 HAS SOUS 58149 HAS SOUPS 56924 WITH SCORE 57334.686
AT ITER 9815 NEW BEST:: SOT 1228815 SOS 410660 HAS SOPS 405665 HAS SOUS 58148 HAS SOUPS 56923 WITH SCORE 57333.66
AT ITER 9817 NEW BEST:: SOT 1228813 SOS 410658 HAS SOPS 405663 HAS SOUS 58144 HAS SOUPS 56919 WITH SCORE 57329.658
AT ITER 9824 NEW BEST:: SOT 1228766 SOS 410611 HAS SOPS 405616 HAS SOUS 58085 HAS SOUPS 56860 WITH SCORE 57270.611
AT ITER 9836 NEW BEST:: SOT 1228766 SOS 410610 HAS SOPS 405615 HAS SOUS 58084 HAS SOUPS 56859 WITH SCORE 57269.61
AT ITER 9851 NEW BEST:: SOT 1228766 SOS 410601 HAS SOPS 405606 HAS SOUS 58075 HAS SOUPS 56850 WITH SCORE 57260.601
AT ITER 9926 NEW BEST:: SOT 1228758 SOS 410578 HAS SOPS 405575 HAS SOUS 58064 HAS SOUPS 56831 WITH SCORE 57241.578
AT ITER 9946 NEW BEST:: SOT 1228745 SOS 410572 HAS SOPS 405569 HAS SOUS 58038 HAS SOUPS 56805 WITH SCORE 57215.572
AT ITER 9977 NEW BEST:: SOT 1228729 SOS 410548 HAS SOPS 405545 HAS SOUS 57992 HAS SOUPS 56759 WITH SCORE 57169.548
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11222708 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16137772 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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