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-167873943000552.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-S04J04T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943000552
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.2M
-rw-r--r-- 1 mcc users 15K Feb 26 14:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 14:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 76K Feb 26 14:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 344K Feb 26 14:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 43K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 31K Feb 26 14:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 164K Feb 26 14:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 178K Feb 26 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 793K Feb 26 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.0K 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 3.3M 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 1678800621616

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-S04J04T08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J04T08
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: 712 places, 4012 transitions, 27744 arcs.
AT ITER 0 NEW BEST:: SOT 1791221 SOS 1065111 HAS SOPS 1052653 HAS SOUS 335702 HAS SOUPS 335058 WITH SCORE 336123.111
AT ITER 9 NEW BEST:: SOT 1790956 SOS 1064899 HAS SOPS 1052441 HAS SOUS 335274 HAS SOUPS 334630 WITH SCORE 335694.899
AT ITER 10 NEW BEST:: SOT 1777773 SOS 1067263 HAS SOPS 1062638 HAS SOUS 323504 HAS SOUPS 323064 WITH SCORE 324131.263
AT ITER 16 NEW BEST:: SOT 1777672 SOS 1067061 HAS SOPS 1062436 HAS SOUS 323484 HAS SOUPS 323044 WITH SCORE 324111.061
AT ITER 23 NEW BEST:: SOT 1777262 SOS 1066722 HAS SOPS 1062097 HAS SOUS 323129 HAS SOUPS 322689 WITH SCORE 323755.722
AT ITER 26 NEW BEST:: SOT 1776403 SOS 1066095 HAS SOPS 1061470 HAS SOUS 322679 HAS SOUPS 322239 WITH SCORE 323305.095
AT ITER 30 NEW BEST:: SOT 1776387 SOS 1066079 HAS SOPS 1061454 HAS SOUS 322663 HAS SOUPS 322223 WITH SCORE 323289.079
AT ITER 37 NEW BEST:: SOT 1776387 SOS 1066063 HAS SOPS 1061438 HAS SOUS 322647 HAS SOUPS 322207 WITH SCORE 323273.063
AT ITER 39 NEW BEST:: SOT 1776271 SOS 1065947 HAS SOPS 1061322 HAS SOUS 322136 HAS SOUPS 321696 WITH SCORE 322761.947
AT ITER 46 NEW BEST:: SOT 1776267 SOS 1066279 HAS SOPS 1061654 HAS SOUS 322008 HAS SOUPS 321568 WITH SCORE 322634.279
AT ITER 55 NEW BEST:: SOT 1776027 SOS 1065875 HAS SOPS 1061250 HAS SOUS 321695 HAS SOUPS 321255 WITH SCORE 322320.875
AT ITER 65 NEW BEST:: SOT 1698322 SOS 1043791 HAS SOPS 1039166 HAS SOUS 316665 HAS SOUPS 316225 WITH SCORE 317268.791
AT ITER 67 NEW BEST:: SOT 1698138 SOS 1043607 HAS SOPS 1038982 HAS SOUS 316527 HAS SOUPS 316087 WITH SCORE 317130.607
AT ITER 76 NEW BEST:: SOT 1697796 SOS 1042986 HAS SOPS 1038361 HAS SOUS 316129 HAS SOUPS 315689 WITH SCORE 316731.986
AT ITER 90 NEW BEST:: SOT 1697987 SOS 1043674 HAS SOPS 1039049 HAS SOUS 315979 HAS SOUPS 315539 WITH SCORE 316582.674
AT ITER 92 NEW BEST:: SOT 1697960 SOS 1043647 HAS SOPS 1038995 HAS SOUS 315970 HAS SOUPS 315510 WITH SCORE 316553.647
AT ITER 97 NEW BEST:: SOT 1697606 SOS 1043451 HAS SOPS 1038799 HAS SOUS 315714 HAS SOUPS 315254 WITH SCORE 316297.451
AT ITER 98 NEW BEST:: SOT 1697594 SOS 1043439 HAS SOPS 1038787 HAS SOUS 315702 HAS SOUPS 315242 WITH SCORE 316285.439
AT ITER 99 NEW BEST:: SOT 1697330 SOS 1043082 HAS SOPS 1038430 HAS SOUS 315371 HAS SOUPS 314911 WITH SCORE 315954.082
AT ITER 105 NEW BEST:: SOT 1697319 SOS 1043071 HAS SOPS 1038419 HAS SOUS 315349 HAS SOUPS 314889 WITH SCORE 315932.071
AT ITER 117 NEW BEST:: SOT 1696167 SOS 1041960 HAS SOPS 1037308 HAS SOUS 314181 HAS SOUPS 313721 WITH SCORE 314762.96
AT ITER 139 NEW BEST:: SOT 1696006 SOS 1041827 HAS SOPS 1037175 HAS SOUS 313676 HAS SOUPS 313216 WITH SCORE 314257.827
AT ITER 146 NEW BEST:: SOT 1609822 SOS 982803 HAS SOPS 978151 HAS SOUS 298629 HAS SOUPS 298169 WITH SCORE 299151.803
AT ITER 154 NEW BEST:: SOT 1609507 SOS 982633 HAS SOPS 977981 HAS SOUS 298444 HAS SOUPS 297984 WITH SCORE 298966.633
AT ITER 157 NEW BEST:: SOT 1609475 SOS 982601 HAS SOPS 977917 HAS SOUS 298342 HAS SOUPS 297882 WITH SCORE 298864.601
AT ITER 161 NEW BEST:: SOT 1609170 SOS 982307 HAS SOPS 977623 HAS SOUS 297929 HAS SOUPS 297469 WITH SCORE 298451.307
AT ITER 164 NEW BEST:: SOT 1608615 SOS 981906 HAS SOPS 977222 HAS SOUS 297493 HAS SOUPS 297033 WITH SCORE 298014.906
AT ITER 170 NEW BEST:: SOT 1608043 SOS 981483 HAS SOPS 976799 HAS SOUS 296388 HAS SOUPS 295928 WITH SCORE 296909.483
AT ITER 176 NEW BEST:: SOT 1608038 SOS 981478 HAS SOPS 976789 HAS SOUS 296378 HAS SOUPS 295918 WITH SCORE 296899.478
AT ITER 202 NEW BEST:: SOT 1606979 SOS 980163 HAS SOPS 975474 HAS SOUS 295772 HAS SOUPS 295312 WITH SCORE 296292.163
AT ITER 208 NEW BEST:: SOT 1606722 SOS 979810 HAS SOPS 975037 HAS SOUS 295486 HAS SOUPS 295026 WITH SCORE 296005.81
AT ITER 218 NEW BEST:: SOT 1606718 SOS 979806 HAS SOPS 975033 HAS SOUS 295482 HAS SOUPS 295022 WITH SCORE 296001.806
AT ITER 232 NEW BEST:: SOT 1580644 SOS 953936 HAS SOPS 949163 HAS SOUS 288858 HAS SOUPS 288398 WITH SCORE 289351.936
AT ITER 239 NEW BEST:: SOT 1580610 SOS 953902 HAS SOPS 949129 HAS SOUS 288819 HAS SOUPS 288359 WITH SCORE 289312.902
AT ITER 249 NEW BEST:: SOT 1580170 SOS 953277 HAS SOPS 948504 HAS SOUS 288264 HAS SOUPS 287804 WITH SCORE 288757.277
AT ITER 253 NEW BEST:: SOT 1580170 SOS 953277 HAS SOPS 948504 HAS SOUS 288263 HAS SOUPS 287803 WITH SCORE 288756.277
AT ITER 264 NEW BEST:: SOT 1580071 SOS 953666 HAS SOPS 948902 HAS SOUS 288079 HAS SOUPS 287619 WITH SCORE 288572.666
AT ITER 280 NEW BEST:: SOT 1579857 SOS 953604 HAS SOPS 948840 HAS SOUS 287795 HAS SOUPS 287335 WITH SCORE 288288.604
AT ITER 289 NEW BEST:: SOT 1579638 SOS 953383 HAS SOPS 948730 HAS SOUS 287712 HAS SOUPS 287252 WITH SCORE 288205.383
AT ITER 291 NEW BEST:: SOT 1579622 SOS 953367 HAS SOPS 948740 HAS SOUS 287712 HAS SOUPS 287252 WITH SCORE 288205.367
AT ITER 292 NEW BEST:: SOT 1579622 SOS 953367 HAS SOPS 948740 HAS SOUS 287686 HAS SOUPS 287226 WITH SCORE 288179.367
AT ITER 299 NEW BEST:: SOT 1579374 SOS 953087 HAS SOPS 948460 HAS SOUS 287516 HAS SOUPS 287056 WITH SCORE 288009.087
AT ITER 301 NEW BEST:: SOT 1579344 SOS 953260 HAS SOPS 948646 HAS SOUS 287491 HAS SOUPS 287031 WITH SCORE 287984.26
AT ITER 312 NEW BEST:: SOT 1579329 SOS 953245 HAS SOPS 948616 HAS SOUS 287459 HAS SOUPS 286999 WITH SCORE 287952.245
AT ITER 318 NEW BEST:: SOT 1579329 SOS 953212 HAS SOPS 948583 HAS SOUS 287459 HAS SOUPS 286999 WITH SCORE 287952.212
AT ITER 319 NEW BEST:: SOT 1579321 SOS 953204 HAS SOPS 948575 HAS SOUS 287351 HAS SOUPS 286891 WITH SCORE 287844.204
AT ITER 322 NEW BEST:: SOT 1579188 SOS 953121 HAS SOPS 948492 HAS SOUS 286765 HAS SOUPS 286305 WITH SCORE 287258.121
AT ITER 329 NEW BEST:: SOT 1579188 SOS 953067 HAS SOPS 948438 HAS SOUS 286665 HAS SOUPS 286205 WITH SCORE 287158.067
AT ITER 333 NEW BEST:: SOT 1579188 SOS 953067 HAS SOPS 948438 HAS SOUS 286662 HAS SOUPS 286202 WITH SCORE 287155.067
AT ITER 336 NEW BEST:: SOT 1579044 SOS 952923 HAS SOPS 948294 HAS SOUS 285876 HAS SOUPS 285416 WITH SCORE 286368.923
AT ITER 345 NEW BEST:: SOT 1536077 SOS 909760 HAS SOPS 905131 HAS SOUS 279143 HAS SOUPS 278683 WITH SCORE 279592.76
AT ITER 346 NEW BEST:: SOT 1535882 SOS 909532 HAS SOPS 904903 HAS SOUS 279062 HAS SOUPS 278602 WITH SCORE 279511.532
AT ITER 349 NEW BEST:: SOT 1535854 SOS 909504 HAS SOPS 904875 HAS SOUS 279006 HAS SOUPS 278546 WITH SCORE 279455.504
AT ITER 365 NEW BEST:: SOT 1535845 SOS 909495 HAS SOPS 904866 HAS SOUS 278997 HAS SOUPS 278537 WITH SCORE 279446.495
AT ITER 372 NEW BEST:: SOT 1535666 SOS 909333 HAS SOPS 904704 HAS SOUS 278921 HAS SOUPS 278461 WITH SCORE 279370.333
AT ITER 374 NEW BEST:: SOT 1535486 SOS 909153 HAS SOPS 904524 HAS SOUS 278733 HAS SOUPS 278273 WITH SCORE 279182.153
AT ITER 382 NEW BEST:: SOT 1531755 SOS 905557 HAS SOPS 900764 HAS SOUS 275026 HAS SOUPS 274484 WITH SCORE 275389.557
AT ITER 400 NEW BEST:: SOT 1531665 SOS 905419 HAS SOPS 900626 HAS SOUS 274846 HAS SOUPS 274304 WITH SCORE 275209.419
AT ITER 403 NEW BEST:: SOT 1531606 SOS 905314 HAS SOPS 900521 HAS SOUS 274822 HAS SOUPS 274280 WITH SCORE 275185.314
AT ITER 411 NEW BEST:: SOT 1531411 SOS 905119 HAS SOPS 900326 HAS SOUS 274703 HAS SOUPS 274161 WITH SCORE 275066.119
AT ITER 414 NEW BEST:: SOT 1531407 SOS 905111 HAS SOPS 900318 HAS SOUS 274703 HAS SOUPS 274161 WITH SCORE 275066.111
AT ITER 429 NEW BEST:: SOT 1530386 SOS 910652 HAS SOPS 903928 HAS SOUS 274101 HAS SOUPS 273289 WITH SCORE 274199.652
AT ITER 437 NEW BEST:: SOT 1530347 SOS 910605 HAS SOPS 903881 HAS SOUS 273874 HAS SOUPS 273062 WITH SCORE 273972.605
AT ITER 452 NEW BEST:: SOT 1530148 SOS 910335 HAS SOPS 903611 HAS SOUS 273667 HAS SOUPS 272855 WITH SCORE 273765.335
AT ITER 456 NEW BEST:: SOT 1519978 SOS 900135 HAS SOPS 893411 HAS SOUS 271627 HAS SOUPS 270815 WITH SCORE 271715.135
AT ITER 468 NEW BEST:: SOT 1520077 SOS 900106 HAS SOPS 893510 HAS SOUS 271525 HAS SOUPS 270729 WITH SCORE 271629.106
AT ITER 470 NEW BEST:: SOT 1519950 SOS 900228 HAS SOPS 893632 HAS SOUS 271431 HAS SOUPS 270635 WITH SCORE 271535.228
AT ITER 487 NEW BEST:: SOT 1519950 SOS 900129 HAS SOPS 893533 HAS SOUS 271332 HAS SOUPS 270536 WITH SCORE 271436.129
AT ITER 491 NEW BEST:: SOT 1519909 SOS 899883 HAS SOPS 893287 HAS SOUS 271302 HAS SOUPS 270506 WITH SCORE 271405.883
AT ITER 499 NEW BEST:: SOT 1520172 SOS 900139 HAS SOPS 893543 HAS SOUS 271094 HAS SOUPS 270298 WITH SCORE 271198.139
AT ITER 500 NEW BEST:: SOT 1520165 SOS 900063 HAS SOPS 893464 HAS SOUS 271080 HAS SOUPS 270284 WITH SCORE 271184.063
AT ITER 504 NEW BEST:: SOT 1520165 SOS 892902 HAS SOPS 886303 HAS SOUS 271080 HAS SOUPS 270284 WITH SCORE 271176.902
AT ITER 534 NEW BEST:: SOT 1520152 SOS 892824 HAS SOPS 886225 HAS SOUS 271054 HAS SOUPS 270258 WITH SCORE 271150.824
AT ITER 537 NEW BEST:: SOT 1520152 SOS 892618 HAS SOPS 886019 HAS SOUS 271054 HAS SOUPS 270258 WITH SCORE 271150.618
AT ITER 558 NEW BEST:: SOT 1519996 SOS 892514 HAS SOPS 885915 HAS SOUS 270845 HAS SOUPS 270049 WITH SCORE 270941.514
AT ITER 561 NEW BEST:: SOT 1504810 SOS 877328 HAS SOPS 870729 HAS SOUS 269624 HAS SOUPS 268828 WITH SCORE 269705.328
AT ITER 562 NEW BEST:: SOT 1504593 SOS 877111 HAS SOPS 870512 HAS SOUS 267991 HAS SOUPS 267195 WITH SCORE 268072.111
AT ITER 570 NEW BEST:: SOT 1504393 SOS 876807 HAS SOPS 870208 HAS SOUS 267695 HAS SOUPS 266899 WITH SCORE 267775.807
AT ITER 572 NEW BEST:: SOT 1504017 SOS 876630 HAS SOPS 870031 HAS SOUS 267539 HAS SOUPS 266743 WITH SCORE 267619.63
AT ITER 585 NEW BEST:: SOT 1503945 SOS 876522 HAS SOPS 869923 HAS SOUS 267431 HAS SOUPS 266635 WITH SCORE 267511.522
AT ITER 599 NEW BEST:: SOT 1503945 SOS 876522 HAS SOPS 869923 HAS SOUS 267414 HAS SOUPS 266618 WITH SCORE 267494.522
AT ITER 611 NEW BEST:: SOT 1503678 SOS 876389 HAS SOPS 869790 HAS SOUS 267403 HAS SOUPS 266607 WITH SCORE 267483.389
AT ITER 615 NEW BEST:: SOT 1503044 SOS 875647 HAS SOPS 869048 HAS SOUS 266811 HAS SOUPS 266015 WITH SCORE 266890.647
AT ITER 619 NEW BEST:: SOT 1503044 SOS 875616 HAS SOPS 869017 HAS SOUS 266780 HAS SOUPS 265984 WITH SCORE 266859.616
AT ITER 622 NEW BEST:: SOT 1503061 SOS 875837 HAS SOPS 869238 HAS SOUS 266778 HAS SOUPS 265982 WITH SCORE 266857.837
AT ITER 627 NEW BEST:: SOT 1504503 SOS 877111 HAS SOPS 870680 HAS SOUS 266504 HAS SOUPS 265729 WITH SCORE 266606.111
AT ITER 637 NEW BEST:: SOT 1504490 SOS 877098 HAS SOPS 870667 HAS SOUS 266491 HAS SOUPS 265716 WITH SCORE 266593.098
AT ITER 638 NEW BEST:: SOT 1504426 SOS 877007 HAS SOPS 870576 HAS SOUS 266294 HAS SOUPS 265519 WITH SCORE 266396.007
AT ITER 640 NEW BEST:: SOT 1504397 SOS 877046 HAS SOPS 870615 HAS SOUS 266238 HAS SOUPS 265463 WITH SCORE 266340.046
AT ITER 647 NEW BEST:: SOT 1504068 SOS 876881 HAS SOPS 870450 HAS SOUS 265984 HAS SOUPS 265209 WITH SCORE 266085.881
AT ITER 680 NEW BEST:: SOT 1504122 SOS 876935 HAS SOPS 870472 HAS SOUS 265963 HAS SOUPS 265188 WITH SCORE 266064.935
AT ITER 710 NEW BEST:: SOT 1504190 SOS 877218 HAS SOPS 870755 HAS SOUS 265740 HAS SOUPS 264965 WITH SCORE 265842.218
AT ITER 711 NEW BEST:: SOT 1503935 SOS 876831 HAS SOPS 870283 HAS SOUS 265334 HAS SOUPS 264559 WITH SCORE 265435.831
AT ITER 712 NEW BEST:: SOT 1503838 SOS 877274 HAS SOPS 870740 HAS SOUS 265325 HAS SOUPS 264550 WITH SCORE 265427.274
AT ITER 721 NEW BEST:: SOT 1503745 SOS 877181 HAS SOPS 870647 HAS SOUS 264829 HAS SOUPS 264054 WITH SCORE 264931.181
AT ITER 743 NEW BEST:: SOT 1503773 SOS 877181 HAS SOPS 870647 HAS SOUS 264801 HAS SOUPS 264026 WITH SCORE 264903.181
AT ITER 759 NEW BEST:: SOT 1503665 SOS 877078 HAS SOPS 870544 HAS SOUS 264256 HAS SOUPS 263481 WITH SCORE 264358.078
AT ITER 768 NEW BEST:: SOT 1503665 SOS 877076 HAS SOPS 870542 HAS SOUS 264254 HAS SOUPS 263479 WITH SCORE 264356.076
AT ITER 795 NEW BEST:: SOT 1503514 SOS 876897 HAS SOPS 870363 HAS SOUS 264144 HAS SOUPS 263369 WITH SCORE 264245.897
AT ITER 802 NEW BEST:: SOT 1503539 SOS 877058 HAS SOPS 870524 HAS SOUS 264119 HAS SOUPS 263344 WITH SCORE 264221.058
AT ITER 808 NEW BEST:: SOT 1502993 SOS 876470 HAS SOPS 869936 HAS SOUS 263609 HAS SOUPS 262834 WITH SCORE 263710.47
AT ITER 833 NEW BEST:: SOT 1501850 SOS 875317 HAS SOPS 868783 HAS SOUS 262759 HAS SOUPS 261984 WITH SCORE 262859.317
AT ITER 839 NEW BEST:: SOT 1492325 SOS 865592 HAS SOPS 859058 HAS SOUS 253034 HAS SOUPS 252259 WITH SCORE 253124.592
AT ITER 844 NEW BEST:: SOT 1492358 SOS 865625 HAS SOPS 859091 HAS SOUS 253027 HAS SOUPS 252252 WITH SCORE 253117.625
AT ITER 845 NEW BEST:: SOT 1492331 SOS 865598 HAS SOPS 859037 HAS SOUS 252974 HAS SOUPS 252198 WITH SCORE 253063.598
AT ITER 866 NEW BEST:: SOT 1492308 SOS 865529 HAS SOPS 858968 HAS SOUS 252928 HAS SOUPS 252152 WITH SCORE 253017.529
AT ITER 872 NEW BEST:: SOT 1492066 SOS 865403 HAS SOPS 858842 HAS SOUS 252444 HAS SOUPS 251668 WITH SCORE 252533.403
AT ITER 885 NEW BEST:: SOT 1491157 SOS 864494 HAS SOPS 857933 HAS SOUS 250549 HAS SOUPS 249773 WITH SCORE 250637.494
AT ITER 892 NEW BEST:: SOT 1491157 SOS 864488 HAS SOPS 857927 HAS SOUS 250543 HAS SOUPS 249767 WITH SCORE 250631.488
AT ITER 893 NEW BEST:: SOT 1491074 SOS 864212 HAS SOPS 857632 HAS SOUS 250004 HAS SOUPS 249212 WITH SCORE 250076.212
AT ITER 900 NEW BEST:: SOT 1491096 SOS 864388 HAS SOPS 857808 HAS SOUS 249446 HAS SOUPS 248654 WITH SCORE 249518.388
AT ITER 906 NEW BEST:: SOT 1490840 SOS 864252 HAS SOPS 857672 HAS SOUS 249412 HAS SOUPS 248620 WITH SCORE 249484.252
AT ITER 907 NEW BEST:: SOT 1490828 SOS 864240 HAS SOPS 857660 HAS SOUS 249388 HAS SOUPS 248596 WITH SCORE 249460.24
AT ITER 934 NEW BEST:: SOT 1490044 SOS 863649 HAS SOPS 857069 HAS SOUS 248722 HAS SOUPS 247930 WITH SCORE 248793.649
AT ITER 937 NEW BEST:: SOT 1489720 SOS 863507 HAS SOPS 856927 HAS SOUS 248351 HAS SOUPS 247559 WITH SCORE 248422.507
AT ITER 938 NEW BEST:: SOT 1489714 SOS 863504 HAS SOPS 856924 HAS SOUS 248342 HAS SOUPS 247550 WITH SCORE 248413.504
AT ITER 942 NEW BEST:: SOT 1489710 SOS 863500 HAS SOPS 856920 HAS SOUS 248219 HAS SOUPS 247427 WITH SCORE 248290.5
AT ITER 944 NEW BEST:: SOT 1489710 SOS 863548 HAS SOPS 856992 HAS SOUS 247331 HAS SOUPS 246539 WITH SCORE 247402.548
AT ITER 958 NEW BEST:: SOT 1460706 SOS 834641 HAS SOPS 828085 HAS SOUS 241406 HAS SOUPS 240614 WITH SCORE 241448.641
AT ITER 966 NEW BEST:: SOT 1460695 SOS 834619 HAS SOPS 828063 HAS SOUS 241354 HAS SOUPS 240562 WITH SCORE 241396.619
AT ITER 981 NEW BEST:: SOT 1460695 SOS 834602 HAS SOPS 828063 HAS SOUS 241354 HAS SOUPS 240562 WITH SCORE 241396.602
AT ITER 985 NEW BEST:: SOT 1460676 SOS 834583 HAS SOPS 828025 HAS SOUS 241316 HAS SOUPS 240524 WITH SCORE 241358.583
AT ITER 999 NEW BEST:: SOT 1434836 SOS 808732 HAS SOPS 802174 HAS SOUS 235796 HAS SOUPS 235004 WITH SCORE 235812.732
AT ITER 1002 NEW BEST:: SOT 1434916 SOS 808703 HAS SOPS 802145 HAS SOUS 235634 HAS SOUPS 234842 WITH SCORE 235650.703
AT ITER 1012 NEW BEST:: SOT 1434925 SOS 808704 HAS SOPS 802146 HAS SOUS 235624 HAS SOUPS 234832 WITH SCORE 235640.704
AT ITER 1032 NEW BEST:: SOT 1434922 SOS 808701 HAS SOPS 802143 HAS SOUS 235621 HAS SOUPS 234829 WITH SCORE 235637.701
AT ITER 1048 NEW BEST:: SOT 1434378 SOS 807965 HAS SOPS 801407 HAS SOUS 235193 HAS SOUPS 234401 WITH SCORE 235208.965
AT ITER 1064 NEW BEST:: SOT 1434407 SOS 807994 HAS SOPS 801391 HAS SOUS 235158 HAS SOUPS 234347 WITH SCORE 235154.994
AT ITER 1070 NEW BEST:: SOT 1434107 SOS 807837 HAS SOPS 801234 HAS SOUS 235158 HAS SOUPS 234347 WITH SCORE 235154.837
AT ITER 1071 NEW BEST:: SOT 1434162 SOS 807892 HAS SOPS 801257 HAS SOUS 235113 HAS SOUPS 234302 WITH SCORE 235109.892
AT ITER 1097 NEW BEST:: SOT 1434111 SOS 807876 HAS SOPS 801241 HAS SOUS 235097 HAS SOUPS 234286 WITH SCORE 235093.876
AT ITER 1115 NEW BEST:: SOT 1433867 SOS 807632 HAS SOPS 800997 HAS SOUS 234905 HAS SOUPS 234094 WITH SCORE 234901.632
AT ITER 1122 NEW BEST:: SOT 1433813 SOS 807575 HAS SOPS 800940 HAS SOUS 234797 HAS SOUPS 233986 WITH SCORE 234793.575
AT ITER 1123 NEW BEST:: SOT 1433543 SOS 807028 HAS SOPS 800393 HAS SOUS 234214 HAS SOUPS 233403 WITH SCORE 234210.028
AT ITER 1124 NEW BEST:: SOT 1433537 SOS 807022 HAS SOPS 800387 HAS SOUS 234202 HAS SOUPS 233391 WITH SCORE 234198.022
AT ITER 1135 NEW BEST:: SOT 1433505 SOS 806754 HAS SOPS 800119 HAS SOUS 234138 HAS SOUPS 233327 WITH SCORE 234133.754
AT ITER 1150 NEW BEST:: SOT 1433494 SOS 806785 HAS SOPS 800150 HAS SOUS 234127 HAS SOUPS 233316 WITH SCORE 234122.785
AT ITER 1167 NEW BEST:: SOT 1433479 SOS 806770 HAS SOPS 800135 HAS SOUS 234112 HAS SOUPS 233301 WITH SCORE 234107.77
AT ITER 1168 NEW BEST:: SOT 1433479 SOS 806746 HAS SOPS 800111 HAS SOUS 234088 HAS SOUPS 233277 WITH SCORE 234083.746
AT ITER 1184 NEW BEST:: SOT 1433479 SOS 806593 HAS SOPS 799958 HAS SOUS 234088 HAS SOUPS 233277 WITH SCORE 234083.593
AT ITER 1186 NEW BEST:: SOT 1434137 SOS 807720 HAS SOPS 801085 HAS SOUS 234005 HAS SOUPS 233194 WITH SCORE 234001.72
AT ITER 1220 NEW BEST:: SOT 1434109 SOS 807692 HAS SOPS 801057 HAS SOUS 233977 HAS SOUPS 233166 WITH SCORE 233973.692
AT ITER 1233 NEW BEST:: SOT 1394109 SOS 810438 HAS SOPS 803803 HAS SOUS 230003 HAS SOUPS 229192 WITH SCORE 230002.438
AT ITER 1246 NEW BEST:: SOT 1394190 SOS 810581 HAS SOPS 803946 HAS SOUS 229991 HAS SOUPS 229180 WITH SCORE 229990.581
AT ITER 1248 NEW BEST:: SOT 1393899 SOS 810290 HAS SOPS 803655 HAS SOUS 227811 HAS SOUPS 227000 WITH SCORE 227810.29
AT ITER 1252 NEW BEST:: SOT 1393867 SOS 810258 HAS SOPS 803623 HAS SOUS 227795 HAS SOUPS 226984 WITH SCORE 227794.258
AT ITER 1272 NEW BEST:: SOT 1393487 SOS 809878 HAS SOPS 803243 HAS SOUS 227656 HAS SOUPS 226845 WITH SCORE 227654.878
AT ITER 1274 NEW BEST:: SOT 1393574 SOS 810087 HAS SOPS 803452 HAS SOUS 227560 HAS SOUPS 226749 WITH SCORE 227559.087
AT ITER 1286 NEW BEST:: SOT 1393544 SOS 810085 HAS SOPS 803450 HAS SOUS 227558 HAS SOUPS 226747 WITH SCORE 227557.085
AT ITER 1292 NEW BEST:: SOT 1393445 SOS 809906 HAS SOPS 803271 HAS SOUS 227319 HAS SOUPS 226508 WITH SCORE 227317.906
AT ITER 1295 NEW BEST:: SOT 1395974 SOS 812435 HAS SOPS 805800 HAS SOUS 226987 HAS SOUPS 226176 WITH SCORE 226988.435
AT ITER 1305 NEW BEST:: SOT 1395936 SOS 812397 HAS SOPS 805762 HAS SOUS 226924 HAS SOUPS 226113 WITH SCORE 226925.397
AT ITER 1313 NEW BEST:: SOT 1395968 SOS 812453 HAS SOPS 805818 HAS SOUS 226877 HAS SOUPS 226066 WITH SCORE 226878.453
AT ITER 1332 NEW BEST:: SOT 1395978 SOS 812463 HAS SOPS 805828 HAS SOUS 226852 HAS SOUPS 226041 WITH SCORE 226853.463
AT ITER 1333 NEW BEST:: SOT 1395934 SOS 813147 HAS SOPS 806402 HAS SOUS 226868 HAS SOUPS 226035 WITH SCORE 226848.147
AT ITER 1335 NEW BEST:: SOT 1395906 SOS 813033 HAS SOPS 806108 HAS SOUS 226708 HAS SOUPS 225875 WITH SCORE 226688.033
AT ITER 1355 NEW BEST:: SOT 1395906 SOS 813033 HAS SOPS 806108 HAS SOUS 226588 HAS SOUPS 225755 WITH SCORE 226568.033
AT ITER 1367 NEW BEST:: SOT 1395710 SOS 812837 HAS SOPS 805912 HAS SOUS 226196 HAS SOUPS 225363 WITH SCORE 226175.837
AT ITER 1368 NEW BEST:: SOT 1395710 SOS 810236 HAS SOPS 803719 HAS SOUS 226145 HAS SOUPS 225363 WITH SCORE 226173.236
AT ITER 1375 NEW BEST:: SOT 1395600 SOS 810126 HAS SOPS 803609 HAS SOUS 226066 HAS SOUPS 225284 WITH SCORE 226094.126
AT ITER 1380 NEW BEST:: SOT 1395565 SOS 809769 HAS SOPS 803293 HAS SOUS 225845 HAS SOUPS 225063 WITH SCORE 225872.769
AT ITER 1383 NEW BEST:: SOT 1392186 SOS 806054 HAS SOPS 799578 HAS SOUS 225242 HAS SOUPS 224460 WITH SCORE 225266.054
AT ITER 1387 NEW BEST:: SOT 1392108 SOS 805976 HAS SOPS 799500 HAS SOUS 225198 HAS SOUPS 224416 WITH SCORE 225221.976
AT ITER 1388 NEW BEST:: SOT 1392123 SOS 805991 HAS SOPS 799515 HAS SOUS 225179 HAS SOUPS 224397 WITH SCORE 225202.991
AT ITER 1398 NEW BEST:: SOT 1392084 SOS 805940 HAS SOPS 799416 HAS SOUS 225013 HAS SOUPS 224231 WITH SCORE 225036.94
AT ITER 1404 NEW BEST:: SOT 1392225 SOS 806081 HAS SOPS 799499 HAS SOUS 224957 HAS SOUPS 224175 WITH SCORE 224981.081
AT ITER 1413 NEW BEST:: SOT 1392191 SOS 806348 HAS SOPS 799777 HAS SOUS 224926 HAS SOUPS 224144 WITH SCORE 224950.348
AT ITER 1417 NEW BEST:: SOT 1392159 SOS 806316 HAS SOPS 799713 HAS SOUS 224799 HAS SOUPS 224017 WITH SCORE 224823.316
AT ITER 1422 NEW BEST:: SOT 1391969 SOS 806097 HAS SOPS 799581 HAS SOUS 224705 HAS SOUPS 223923 WITH SCORE 224729.097
AT ITER 1426 NEW BEST:: SOT 1391963 SOS 806990 HAS SOPS 800438 HAS SOUS 224364 HAS SOUPS 223582 WITH SCORE 224388.99
AT ITER 1430 NEW BEST:: SOT 1391751 SOS 806725 HAS SOPS 800173 HAS SOUS 223874 HAS SOUPS 223092 WITH SCORE 223898.725
AT ITER 1435 NEW BEST:: SOT 1391610 SOS 806584 HAS SOPS 800032 HAS SOUS 223764 HAS SOUPS 222982 WITH SCORE 223788.584
AT ITER 1458 NEW BEST:: SOT 1391577 SOS 806601 HAS SOPS 800049 HAS SOUS 223665 HAS SOUPS 222883 WITH SCORE 223689.601
AT ITER 1470 NEW BEST:: SOT 1391560 SOS 806544 HAS SOPS 799992 HAS SOUS 223648 HAS SOUPS 222866 WITH SCORE 223672.544
AT ITER 1474 NEW BEST:: SOT 1391554 SOS 806532 HAS SOPS 799980 HAS SOUS 223630 HAS SOUPS 222848 WITH SCORE 223654.532
AT ITER 1506 NEW BEST:: SOT 1391714 SOS 806533 HAS SOPS 799981 HAS SOUS 223050 HAS SOUPS 222268 WITH SCORE 223074.533
AT ITER 1507 NEW BEST:: SOT 1391640 SOS 805867 HAS SOPS 799315 HAS SOUS 222902 HAS SOUPS 222120 WITH SCORE 222925.867
AT ITER 1510 NEW BEST:: SOT 1391278 SOS 805520 HAS SOPS 798968 HAS SOUS 222749 HAS SOUPS 221967 WITH SCORE 222772.52
AT ITER 1523 NEW BEST:: SOT 1391252 SOS 805494 HAS SOPS 798942 HAS SOUS 222645 HAS SOUPS 221863 WITH SCORE 222668.494
AT ITER 1526 NEW BEST:: SOT 1391261 SOS 805479 HAS SOPS 798927 HAS SOUS 222632 HAS SOUPS 221850 WITH SCORE 222655.479
AT ITER 1533 NEW BEST:: SOT 1391173 SOS 805303 HAS SOPS 798751 HAS SOUS 222456 HAS SOUPS 221674 WITH SCORE 222479.303
AT ITER 1538 NEW BEST:: SOT 1388093 SOS 802223 HAS SOPS 795671 HAS SOUS 221966 HAS SOUPS 221184 WITH SCORE 221986.223
AT ITER 1549 NEW BEST:: SOT 1371679 SOS 832667 HAS SOPS 826115 HAS SOUS 221452 HAS SOUPS 220670 WITH SCORE 221502.667
AT ITER 1577 NEW BEST:: SOT 1371640 SOS 832585 HAS SOPS 826033 HAS SOUS 221427 HAS SOUPS 220645 WITH SCORE 221477.585
AT ITER 1599 NEW BEST:: SOT 1371639 SOS 832583 HAS SOPS 826031 HAS SOUS 221427 HAS SOUPS 220645 WITH SCORE 221477.583
AT ITER 1618 NEW BEST:: SOT 1371620 SOS 832317 HAS SOPS 825765 HAS SOUS 221363 HAS SOUPS 220581 WITH SCORE 221413.317
AT ITER 1621 NEW BEST:: SOT 1371601 SOS 832298 HAS SOPS 825746 HAS SOUS 221116 HAS SOUPS 220334 WITH SCORE 221166.298
AT ITER 1624 NEW BEST:: SOT 1371491 SOS 832188 HAS SOPS 825636 HAS SOUS 221102 HAS SOUPS 220320 WITH SCORE 221152.188
AT ITER 1629 NEW BEST:: SOT 1371491 SOS 832153 HAS SOPS 825601 HAS SOUS 221102 HAS SOUPS 220320 WITH SCORE 221152.153
AT ITER 1632 NEW BEST:: SOT 1371468 SOS 832113 HAS SOPS 825561 HAS SOUS 221052 HAS SOUPS 220270 WITH SCORE 221102.113
AT ITER 1635 NEW BEST:: SOT 1370499 SOS 828060 HAS SOPS 821992 HAS SOUS 219907 HAS SOUPS 219191 WITH SCORE 220019.06
AT ITER 1639 NEW BEST:: SOT 1349107 SOS 861436 HAS SOPS 855368 HAS SOUS 219436 HAS SOUPS 218720 WITH SCORE 219581.436
AT ITER 1641 NEW BEST:: SOT 1349070 SOS 861345 HAS SOPS 855223 HAS SOUS 219342 HAS SOUPS 218592 WITH SCORE 219453.345
AT ITER 1650 NEW BEST:: SOT 1348960 SOS 861162 HAS SOPS 855040 HAS SOUS 218809 HAS SOUPS 218059 WITH SCORE 218920.162
AT ITER 1684 NEW BEST:: SOT 1337643 SOS 849699 HAS SOPS 843577 HAS SOUS 218113 HAS SOUPS 217363 WITH SCORE 218212.699
AT ITER 1689 NEW BEST:: SOT 1337490 SOS 849183 HAS SOPS 838533 HAS SOUS 218018 HAS SOUPS 216688 WITH SCORE 217537.183
AT ITER 1721 NEW BEST:: SOT 1337490 SOS 848560 HAS SOPS 837910 HAS SOUS 217999 HAS SOUPS 216669 WITH SCORE 217517.56
AT ITER 1722 NEW BEST:: SOT 1337490 SOS 848532 HAS SOPS 837882 HAS SOUS 217971 HAS SOUPS 216641 WITH SCORE 217489.532
AT ITER 1725 NEW BEST:: SOT 1337459 SOS 848501 HAS SOPS 837851 HAS SOUS 217939 HAS SOUPS 216609 WITH SCORE 217457.501
AT ITER 1740 NEW BEST:: SOT 1337441 SOS 848474 HAS SOPS 837824 HAS SOUS 217903 HAS SOUPS 216573 WITH SCORE 217421.474
AT ITER 1743 NEW BEST:: SOT 1337398 SOS 848431 HAS SOPS 837781 HAS SOUS 217872 HAS SOUPS 216542 WITH SCORE 217390.431
AT ITER 1768 NEW BEST:: SOT 1323185 SOS 834165 HAS SOPS 823515 HAS SOUS 215946 HAS SOUPS 214616 WITH SCORE 215450.165
AT ITER 1780 NEW BEST:: SOT 1322692 SOS 833672 HAS SOPS 823022 HAS SOUS 215453 HAS SOUPS 214123 WITH SCORE 214956.672
AT ITER 1781 NEW BEST:: SOT 1322540 SOS 833887 HAS SOPS 823237 HAS SOUS 215380 HAS SOUPS 214050 WITH SCORE 214883.887
AT ITER 1783 NEW BEST:: SOT 1322487 SOS 833826 HAS SOPS 823176 HAS SOUS 215274 HAS SOUPS 213944 WITH SCORE 214777.826
AT ITER 1785 NEW BEST:: SOT 1322327 SOS 833666 HAS SOPS 823016 HAS SOUS 215052 HAS SOUPS 213722 WITH SCORE 214555.666
AT ITER 1809 NEW BEST:: SOT 1322835 SOS 834329 HAS SOPS 823679 HAS SOUS 214745 HAS SOUPS 213415 WITH SCORE 214249.329
AT ITER 1811 NEW BEST:: SOT 1321843 SOS 812473 HAS SOPS 801823 HAS SOUS 213700 HAS SOUPS 212370 WITH SCORE 213182.473
AT ITER 1812 NEW BEST:: SOT 1322604 SOS 811103 HAS SOPS 800453 HAS SOUS 213544 HAS SOUPS 212214 WITH SCORE 213025.103
AT ITER 1816 NEW BEST:: SOT 1322602 SOS 811102 HAS SOPS 800452 HAS SOUS 213542 HAS SOUPS 212212 WITH SCORE 213023.102
AT ITER 1821 NEW BEST:: SOT 1322506 SOS 811038 HAS SOPS 800388 HAS SOUS 213350 HAS SOUPS 212020 WITH SCORE 212831.038
AT ITER 1828 NEW BEST:: SOT 1322575 SOS 811451 HAS SOPS 800801 HAS SOUS 213203 HAS SOUPS 211873 WITH SCORE 212684.451
AT ITER 1836 NEW BEST:: SOT 1322575 SOS 786676 HAS SOPS 776026 HAS SOUS 212458 HAS SOUPS 211128 WITH SCORE 211914.676
AT ITER 1852 NEW BEST:: SOT 1322575 SOS 786690 HAS SOPS 776040 HAS SOUS 212164 HAS SOUPS 210834 WITH SCORE 211620.69
AT ITER 1870 NEW BEST:: SOT 1322374 SOS 786489 HAS SOPS 775839 HAS SOUS 211186 HAS SOUPS 209856 WITH SCORE 210642.489
AT ITER 1883 NEW BEST:: SOT 1322132 SOS 786282 HAS SOPS 775632 HAS SOUS 211181 HAS SOUPS 209851 WITH SCORE 210637.282
AT ITER 1904 NEW BEST:: SOT 1322132 SOS 786282 HAS SOPS 775632 HAS SOUS 211176 HAS SOUPS 209846 WITH SCORE 210632.282
AT ITER 1922 NEW BEST:: SOT 1321973 SOS 786123 HAS SOPS 775473 HAS SOUS 210921 HAS SOUPS 209591 WITH SCORE 210377.123
AT ITER 1924 NEW BEST:: SOT 1321863 SOS 785954 HAS SOPS 775304 HAS SOUS 210871 HAS SOUPS 209541 WITH SCORE 210326.954
AT ITER 1938 NEW BEST:: SOT 1321867 SOS 786014 HAS SOPS 775364 HAS SOUS 210500 HAS SOUPS 209170 WITH SCORE 209956.014
AT ITER 1965 NEW BEST:: SOT 1321886 SOS 786033 HAS SOPS 775383 HAS SOUS 210450 HAS SOUPS 209120 WITH SCORE 209906.033
AT ITER 1990 NEW BEST:: SOT 1321942 SOS 786089 HAS SOPS 775439 HAS SOUS 210370 HAS SOUPS 209040 WITH SCORE 209826.089
AT ITER 2026 NEW BEST:: SOT 1322291 SOS 743733 HAS SOPS 733083 HAS SOUS 208565 HAS SOUPS 207235 WITH SCORE 207978.733
AT ITER 2049 NEW BEST:: SOT 1322233 SOS 743704 HAS SOPS 733054 HAS SOUS 208512 HAS SOUPS 207182 WITH SCORE 207925.704
AT ITER 2051 NEW BEST:: SOT 1322233 SOS 743688 HAS SOPS 733038 HAS SOUS 208512 HAS SOUPS 207182 WITH SCORE 207925.688
AT ITER 2056 NEW BEST:: SOT 1322090 SOS 743598 HAS SOPS 732948 HAS SOUS 208373 HAS SOUPS 207043 WITH SCORE 207786.598
AT ITER 2075 NEW BEST:: SOT 1322044 SOS 743552 HAS SOPS 732902 HAS SOUS 208300 HAS SOUPS 206970 WITH SCORE 207713.552
AT ITER 2076 NEW BEST:: SOT 1321978 SOS 743486 HAS SOPS 732836 HAS SOUS 208203 HAS SOUPS 206873 WITH SCORE 207616.486
AT ITER 2080 NEW BEST:: SOT 1321948 SOS 743436 HAS SOPS 732786 HAS SOUS 208066 HAS SOUPS 206736 WITH SCORE 207479.436
AT ITER 2099 NEW BEST:: SOT 1321874 SOS 743288 HAS SOPS 732638 HAS SOUS 207918 HAS SOUPS 206588 WITH SCORE 207331.288
AT ITER 2101 NEW BEST:: SOT 1321800 SOS 742977 HAS SOPS 732352 HAS SOUS 207696 HAS SOUPS 206366 WITH SCORE 207108.977
AT ITER 2112 NEW BEST:: SOT 1321391 SOS 742504 HAS SOPS 731879 HAS SOUS 207135 HAS SOUPS 205805 WITH SCORE 206547.504
AT ITER 2123 NEW BEST:: SOT 1321354 SOS 742467 HAS SOPS 731842 HAS SOUS 207096 HAS SOUPS 205766 WITH SCORE 206508.467
AT ITER 2140 NEW BEST:: SOT 1321274 SOS 742387 HAS SOPS 731762 HAS SOUS 207016 HAS SOUPS 205686 WITH SCORE 206428.387
AT ITER 2150 NEW BEST:: SOT 1321268 SOS 742375 HAS SOPS 731750 HAS SOUS 207004 HAS SOUPS 205674 WITH SCORE 206416.375
AT ITER 2151 NEW BEST:: SOT 1321268 SOS 742023 HAS SOPS 731398 HAS SOUS 207004 HAS SOUPS 205674 WITH SCORE 206416.023
AT ITER 2160 NEW BEST:: SOT 1320383 SOS 741086 HAS SOPS 730461 HAS SOUS 206008 HAS SOUPS 204678 WITH SCORE 205419.086
AT ITER 2162 NEW BEST:: SOT 1292644 SOS 737241 HAS SOPS 726616 HAS SOUS 204503 HAS SOUPS 203173 WITH SCORE 203910.241
AT ITER 2177 NEW BEST:: SOT 1292644 SOS 737229 HAS SOPS 726604 HAS SOUS 204479 HAS SOUPS 203149 WITH SCORE 203886.229
AT ITER 2189 NEW BEST:: SOT 1292636 SOS 737221 HAS SOPS 726596 HAS SOUS 204468 HAS SOUPS 203138 WITH SCORE 203875.221
AT ITER 2199 NEW BEST:: SOT 1293094 SOS 737511 HAS SOPS 726886 HAS SOUS 203797 HAS SOUPS 202467 WITH SCORE 203204.511
AT ITER 2203 NEW BEST:: SOT 1293082 SOS 737499 HAS SOPS 726862 HAS SOUS 203773 HAS SOUPS 202443 WITH SCORE 203180.499
AT ITER 2229 NEW BEST:: SOT 1293006 SOS 737423 HAS SOPS 726786 HAS SOUS 203697 HAS SOUPS 202367 WITH SCORE 203104.423
AT ITER 2230 NEW BEST:: SOT 1292988 SOS 737387 HAS SOPS 726750 HAS SOUS 203661 HAS SOUPS 202331 WITH SCORE 203068.387
AT ITER 2231 NEW BEST:: SOT 1292712 SOS 736973 HAS SOPS 726336 HAS SOUS 203280 HAS SOUPS 201950 WITH SCORE 202686.973
AT ITER 2241 NEW BEST:: SOT 1292469 SOS 736730 HAS SOPS 726093 HAS SOUS 203021 HAS SOUPS 201691 WITH SCORE 202427.73
AT ITER 2253 NEW BEST:: SOT 1292239 SOS 736322 HAS SOPS 725685 HAS SOUS 202706 HAS SOUPS 201376 WITH SCORE 202112.322
AT ITER 2255 NEW BEST:: SOT 1292210 SOS 736012 HAS SOPS 725375 HAS SOUS 202648 HAS SOUPS 201318 WITH SCORE 202054.012
AT ITER 2263 NEW BEST:: SOT 1292166 SOS 735968 HAS SOPS 725331 HAS SOUS 202408 HAS SOUPS 201078 WITH SCORE 201813.968
AT ITER 2269 NEW BEST:: SOT 1260164 SOS 703897 HAS SOPS 693260 HAS SOUS 197584 HAS SOUPS 196254 WITH SCORE 196957.897
AT ITER 2290 NEW BEST:: SOT 1260258 SOS 703896 HAS SOPS 693259 HAS SOUS 196544 HAS SOUPS 195214 WITH SCORE 195917.896
AT ITER 2295 NEW BEST:: SOT 1260231 SOS 703853 HAS SOPS 693216 HAS SOUS 196452 HAS SOUPS 195122 WITH SCORE 195825.853
AT ITER 2297 NEW BEST:: SOT 1260239 SOS 703861 HAS SOPS 693261 HAS SOUS 196349 HAS SOUPS 195019 WITH SCORE 195722.861
AT ITER 2299 NEW BEST:: SOT 1260185 SOS 703900 HAS SOPS 693300 HAS SOUS 195865 HAS SOUPS 194535 WITH SCORE 195238.9
AT ITER 2303 NEW BEST:: SOT 1260174 SOS 703889 HAS SOPS 693289 HAS SOUS 195865 HAS SOUPS 194535 WITH SCORE 195238.889
AT ITER 2318 NEW BEST:: SOT 1225109 SOS 668792 HAS SOPS 658192 HAS SOUS 191886 HAS SOUPS 190556 WITH SCORE 191224.792
AT ITER 2322 NEW BEST:: SOT 1225065 SOS 668763 HAS SOPS 658163 HAS SOUS 191804 HAS SOUPS 190474 WITH SCORE 191142.763
AT ITER 2326 NEW BEST:: SOT 1225054 SOS 668752 HAS SOPS 658152 HAS SOUS 191804 HAS SOUPS 190474 WITH SCORE 191142.752
AT ITER 2340 NEW BEST:: SOT 1225044 SOS 668732 HAS SOPS 658132 HAS SOUS 191759 HAS SOUPS 190429 WITH SCORE 191097.732
AT ITER 2353 NEW BEST:: SOT 1225044 SOS 668726 HAS SOPS 658126 HAS SOUS 191753 HAS SOUPS 190423 WITH SCORE 191091.726
AT ITER 2361 NEW BEST:: SOT 1224741 SOS 668109 HAS SOPS 657509 HAS SOUS 191387 HAS SOUPS 190057 WITH SCORE 190725.109
AT ITER 2365 NEW BEST:: SOT 1224713 SOS 668067 HAS SOPS 657467 HAS SOUS 191317 HAS SOUPS 189987 WITH SCORE 190655.067
AT ITER 2366 NEW BEST:: SOT 1224339 SOS 667677 HAS SOPS 657077 HAS SOUS 191060 HAS SOUPS 189730 WITH SCORE 190397.677
AT ITER 2367 NEW BEST:: SOT 1224303 SOS 667641 HAS SOPS 657041 HAS SOUS 191037 HAS SOUPS 189707 WITH SCORE 190374.641
AT ITER 2368 NEW BEST:: SOT 1224026 SOS 666769 HAS SOPS 656169 HAS SOUS 190772 HAS SOUPS 189442 WITH SCORE 190108.769
AT ITER 2389 NEW BEST:: SOT 1223770 SOS 666513 HAS SOPS 655913 HAS SOUS 190516 HAS SOUPS 189186 WITH SCORE 189852.513
AT ITER 2396 NEW BEST:: SOT 1223770 SOS 666541 HAS SOPS 655941 HAS SOUS 190495 HAS SOUPS 189165 WITH SCORE 189831.541
AT ITER 2409 NEW BEST:: SOT 1223531 SOS 666443 HAS SOPS 655843 HAS SOUS 190290 HAS SOUPS 188960 WITH SCORE 189626.443
AT ITER 2430 NEW BEST:: SOT 1223510 SOS 666422 HAS SOPS 655822 HAS SOUS 190248 HAS SOUPS 188918 WITH SCORE 189584.422
AT ITER 2434 NEW BEST:: SOT 1223440 SOS 666352 HAS SOPS 655787 HAS SOUS 190076 HAS SOUPS 188746 WITH SCORE 189412.352
AT ITER 2435 NEW BEST:: SOT 1223331 SOS 666093 HAS SOPS 655528 HAS SOUS 189817 HAS SOUPS 188487 WITH SCORE 189153.093
AT ITER 2454 NEW BEST:: SOT 1223331 SOS 632096 HAS SOPS 621531 HAS SOUS 189817 HAS SOUPS 188487 WITH SCORE 189119.096
AT ITER 2469 NEW BEST:: SOT 1221994 SOS 630654 HAS SOPS 620089 HAS SOUS 188252 HAS SOUPS 186922 WITH SCORE 187552.654
AT ITER 2473 NEW BEST:: SOT 1221489 SOS 630083 HAS SOPS 619518 HAS SOUS 187800 HAS SOUPS 186470 WITH SCORE 187100.083
AT ITER 2491 NEW BEST:: SOT 1221208 SOS 629802 HAS SOPS 619237 HAS SOUS 187519 HAS SOUPS 186189 WITH SCORE 186818.802
AT ITER 2498 NEW BEST:: SOT 1221208 SOS 629802 HAS SOPS 619234 HAS SOUS 187519 HAS SOUPS 186186 WITH SCORE 186815.802
AT ITER 2512 NEW BEST:: SOT 1221192 SOS 629770 HAS SOPS 619202 HAS SOUS 187487 HAS SOUPS 186154 WITH SCORE 186783.77
AT ITER 2513 NEW BEST:: SOT 1221184 SOS 629763 HAS SOPS 619195 HAS SOUS 187471 HAS SOUPS 186138 WITH SCORE 186767.763
AT ITER 2524 NEW BEST:: SOT 1220985 SOS 629687 HAS SOPS 619119 HAS SOUS 187433 HAS SOUPS 186100 WITH SCORE 186729.687
AT ITER 2531 NEW BEST:: SOT 1220961 SOS 629663 HAS SOPS 619095 HAS SOUS 187409 HAS SOUPS 186076 WITH SCORE 186705.663
AT ITER 2542 NEW BEST:: SOT 1220432 SOS 629162 HAS SOPS 618594 HAS SOUS 187129 HAS SOUPS 185796 WITH SCORE 186425.162
AT ITER 2543 NEW BEST:: SOT 1220232 SOS 628696 HAS SOPS 618128 HAS SOUS 187042 HAS SOUPS 185709 WITH SCORE 186337.696
AT ITER 2554 NEW BEST:: SOT 1220519 SOS 628994 HAS SOPS 618426 HAS SOUS 186909 HAS SOUPS 185576 WITH SCORE 186204.994
AT ITER 2559 NEW BEST:: SOT 1220499 SOS 628954 HAS SOPS 618386 HAS SOUS 186865 HAS SOUPS 185532 WITH SCORE 186160.954
AT ITER 2566 NEW BEST:: SOT 1220499 SOS 628896 HAS SOPS 618328 HAS SOUS 186807 HAS SOUPS 185474 WITH SCORE 186102.896
AT ITER 2571 NEW BEST:: SOT 1220442 SOS 628782 HAS SOPS 618214 HAS SOUS 186693 HAS SOUPS 185360 WITH SCORE 185988.782
AT ITER 2599 NEW BEST:: SOT 1220475 SOS 629190 HAS SOPS 618622 HAS SOUS 186684 HAS SOUPS 185351 WITH SCORE 185980.19
AT ITER 2610 NEW BEST:: SOT 1220235 SOS 628846 HAS SOPS 618303 HAS SOUS 186513 HAS SOUPS 185180 WITH SCORE 185808.846
AT ITER 2626 NEW BEST:: SOT 1220231 SOS 628842 HAS SOPS 618299 HAS SOUS 186507 HAS SOUPS 185174 WITH SCORE 185802.842
AT ITER 2628 NEW BEST:: SOT 1220081 SOS 628692 HAS SOPS 618149 HAS SOUS 186253 HAS SOUPS 184920 WITH SCORE 185548.692
AT ITER 2637 NEW BEST:: SOT 1219887 SOS 628859 HAS SOPS 618414 HAS SOUS 186146 HAS SOUPS 184813 WITH SCORE 185441.859
AT ITER 2656 NEW BEST:: SOT 1219699 SOS 628671 HAS SOPS 618226 HAS SOUS 185926 HAS SOUPS 184593 WITH SCORE 185221.671
AT ITER 2664 NEW BEST:: SOT 1219661 SOS 628595 HAS SOPS 618150 HAS SOUS 185850 HAS SOUPS 184517 WITH SCORE 185145.595
AT ITER 2666 NEW BEST:: SOT 1219240 SOS 628110 HAS SOPS 617665 HAS SOUS 185092 HAS SOUPS 183759 WITH SCORE 184387.11
AT ITER 2684 NEW BEST:: SOT 1219135 SOS 628005 HAS SOPS 617560 HAS SOUS 184916 HAS SOUPS 183583 WITH SCORE 184211.005
AT ITER 2697 NEW BEST:: SOT 1219152 SOS 627991 HAS SOPS 617499 HAS SOUS 184908 HAS SOUPS 183569 WITH SCORE 184196.991
AT ITER 2701 NEW BEST:: SOT 1219128 SOS 627920 HAS SOPS 617428 HAS SOUS 184813 HAS SOUPS 183474 WITH SCORE 184101.92
AT ITER 2732 NEW BEST:: SOT 1219268 SOS 628060 HAS SOPS 617568 HAS SOUS 184777 HAS SOUPS 183438 WITH SCORE 184066.06
AT ITER 2745 NEW BEST:: SOT 1219339 SOS 628131 HAS SOPS 617580 HAS SOUS 184724 HAS SOUPS 183385 WITH SCORE 184013.131
AT ITER 2750 NEW BEST:: SOT 1219170 SOS 627864 HAS SOPS 617313 HAS SOUS 184466 HAS SOUPS 183127 WITH SCORE 183754.864
AT ITER 2770 NEW BEST:: SOT 1219170 SOS 627917 HAS SOPS 617366 HAS SOUS 184458 HAS SOUPS 183119 WITH SCORE 183746.917
AT ITER 2777 NEW BEST:: SOT 1219168 SOS 627916 HAS SOPS 617365 HAS SOUS 184457 HAS SOUPS 183118 WITH SCORE 183745.916
AT ITER 2780 NEW BEST:: SOT 1219160 SOS 627719 HAS SOPS 617168 HAS SOUS 184407 HAS SOUPS 183068 WITH SCORE 183695.719
AT ITER 2781 NEW BEST:: SOT 1219549 SOS 628000 HAS SOPS 617449 HAS SOUS 183860 HAS SOUPS 182521 WITH SCORE 183149.0
AT ITER 2793 NEW BEST:: SOT 1219527 SOS 628173 HAS SOPS 617622 HAS SOUS 183784 HAS SOUPS 182445 WITH SCORE 183073.173
AT ITER 2810 NEW BEST:: SOT 1219371 SOS 628017 HAS SOPS 617466 HAS SOUS 183494 HAS SOUPS 182155 WITH SCORE 182783.017
AT ITER 2822 NEW BEST:: SOT 1219413 SOS 628059 HAS SOPS 617476 HAS SOUS 183478 HAS SOUPS 182139 WITH SCORE 182767.059
AT ITER 2827 NEW BEST:: SOT 1219426 SOS 628104 HAS SOPS 617521 HAS SOUS 183472 HAS SOUPS 182133 WITH SCORE 182761.104
AT ITER 2828 NEW BEST:: SOT 1219527 SOS 628240 HAS SOPS 617746 HAS SOUS 183463 HAS SOUPS 182124 WITH SCORE 182752.24
AT ITER 2838 NEW BEST:: SOT 1219494 SOS 628207 HAS SOPS 617698 HAS SOUS 183396 HAS SOUPS 182057 WITH SCORE 182685.207
AT ITER 2853 NEW BEST:: SOT 1219451 SOS 628164 HAS SOPS 617655 HAS SOUS 183353 HAS SOUPS 182014 WITH SCORE 182642.164
AT ITER 2874 NEW BEST:: SOT 1219400 SOS 627949 HAS SOPS 617440 HAS SOUS 183333 HAS SOUPS 181994 WITH SCORE 182621.949
AT ITER 2879 NEW BEST:: SOT 1218833 SOS 627382 HAS SOPS 616873 HAS SOUS 182701 HAS SOUPS 181362 WITH SCORE 181989.382
AT ITER 2905 NEW BEST:: SOT 1218793 SOS 627342 HAS SOPS 616833 HAS SOUS 182661 HAS SOUPS 181322 WITH SCORE 181949.342
AT ITER 2919 NEW BEST:: SOT 1218782 SOS 627345 HAS SOPS 616836 HAS SOUS 182636 HAS SOUPS 181297 WITH SCORE 181924.345
AT ITER 2937 NEW BEST:: SOT 1219746 SOS 628365 HAS SOPS 617856 HAS SOUS 181568 HAS SOUPS 180229 WITH SCORE 180857.365
AT ITER 2953 NEW BEST:: SOT 1219746 SOS 617415 HAS SOPS 606906 HAS SOUS 181342 HAS SOUPS 180003 WITH SCORE 180620.415
AT ITER 2962 NEW BEST:: SOT 1219725 SOS 617387 HAS SOPS 606878 HAS SOUS 181321 HAS SOUPS 179982 WITH SCORE 180599.387
AT ITER 2980 NEW BEST:: SOT 1219739 SOS 617391 HAS SOPS 606882 HAS SOUS 181313 HAS SOUPS 179974 WITH SCORE 180591.391
AT ITER 2993 NEW BEST:: SOT 1219534 SOS 617253 HAS SOPS 606744 HAS SOUS 179312 HAS SOUPS 177973 WITH SCORE 178590.253
AT ITER 3001 NEW BEST:: SOT 1219303 SOS 617101 HAS SOPS 606592 HAS SOUS 179226 HAS SOUPS 177887 WITH SCORE 178504.101
AT ITER 3012 NEW BEST:: SOT 1218771 SOS 616233 HAS SOPS 605724 HAS SOUS 178743 HAS SOUPS 177404 WITH SCORE 178020.233
AT ITER 3018 NEW BEST:: SOT 1220317 SOS 586119 HAS SOPS 575610 HAS SOUS 178587 HAS SOUPS 177248 WITH SCORE 177834.119
AT ITER 3021 NEW BEST:: SOT 1220304 SOS 586112 HAS SOPS 575603 HAS SOUS 178577 HAS SOUPS 177238 WITH SCORE 177824.112
AT ITER 3038 NEW BEST:: SOT 1220477 SOS 586095 HAS SOPS 575586 HAS SOUS 178495 HAS SOUPS 177156 WITH SCORE 177742.095
AT ITER 3060 NEW BEST:: SOT 1220477 SOS 584505 HAS SOPS 574367 HAS SOUS 178395 HAS SOUPS 177109 WITH SCORE 177693.505
AT ITER 3071 NEW BEST:: SOT 1220951 SOS 584899 HAS SOPS 574761 HAS SOUS 178237 HAS SOUPS 176951 WITH SCORE 177535.899
AT ITER 3096 NEW BEST:: SOT 1220929 SOS 584855 HAS SOPS 574717 HAS SOUS 178200 HAS SOUPS 176914 WITH SCORE 177498.855
AT ITER 3114 NEW BEST:: SOT 1220775 SOS 584701 HAS SOPS 574563 HAS SOUS 178096 HAS SOUPS 176810 WITH SCORE 177394.701
AT ITER 3135 NEW BEST:: SOT 1220624 SOS 583847 HAS SOPS 573709 HAS SOUS 177985 HAS SOUPS 176699 WITH SCORE 177282.847
AT ITER 3136 NEW BEST:: SOT 1220550 SOS 583699 HAS SOPS 573561 HAS SOUS 177837 HAS SOUPS 176551 WITH SCORE 177134.699
AT ITER 3149 NEW BEST:: SOT 1220415 SOS 583628 HAS SOPS 573490 HAS SOUS 177673 HAS SOUPS 176387 WITH SCORE 176970.628
AT ITER 3151 NEW BEST:: SOT 1219260 SOS 582473 HAS SOPS 572335 HAS SOUS 176518 HAS SOUPS 175232 WITH SCORE 175814.473
AT ITER 3163 NEW BEST:: SOT 1219226 SOS 582439 HAS SOPS 572301 HAS SOUS 176484 HAS SOUPS 175198 WITH SCORE 175780.439
AT ITER 3189 NEW BEST:: SOT 1219218 SOS 582431 HAS SOPS 572293 HAS SOUS 176476 HAS SOUPS 175190 WITH SCORE 175772.431
AT ITER 3193 NEW BEST:: SOT 1219218 SOS 582425 HAS SOPS 572287 HAS SOUS 176476 HAS SOUPS 175190 WITH SCORE 175772.425
AT ITER 3195 NEW BEST:: SOT 1216100 SOS 579307 HAS SOPS 569169 HAS SOUS 175924 HAS SOUPS 174638 WITH SCORE 175217.307
AT ITER 3208 NEW BEST:: SOT 1216002 SOS 579223 HAS SOPS 569085 HAS SOUS 175826 HAS SOUPS 174540 WITH SCORE 175119.223
AT ITER 3209 NEW BEST:: SOT 1215892 SOS 579083 HAS SOPS 568945 HAS SOUS 175601 HAS SOUPS 174315 WITH SCORE 174894.083
AT ITER 3221 NEW BEST:: SOT 1215567 SOS 578838 HAS SOPS 568700 HAS SOUS 175277 HAS SOUPS 173991 WITH SCORE 174569.838
AT ITER 3222 NEW BEST:: SOT 1215562 SOS 566032 HAS SOPS 555894 HAS SOUS 172692 HAS SOUPS 171406 WITH SCORE 171972.032
AT ITER 3230 NEW BEST:: SOT 1215039 SOS 565509 HAS SOPS 555371 HAS SOUS 172169 HAS SOUPS 170883 WITH SCORE 171448.509
AT ITER 3233 NEW BEST:: SOT 1214985 SOS 565410 HAS SOPS 555272 HAS SOUS 172032 HAS SOUPS 170746 WITH SCORE 171311.41
AT ITER 3249 NEW BEST:: SOT 1214454 SOS 564901 HAS SOPS 554763 HAS SOUS 171460 HAS SOUPS 170174 WITH SCORE 170738.901
AT ITER 3298 NEW BEST:: SOT 1214414 SOS 564831 HAS SOPS 554693 HAS SOUS 171380 HAS SOUPS 170094 WITH SCORE 170658.831
AT ITER 3299 NEW BEST:: SOT 1214496 SOS 564796 HAS SOPS 554617 HAS SOUS 171373 HAS SOUPS 170087 WITH SCORE 170651.796
AT ITER 3306 NEW BEST:: SOT 1214504 SOS 564871 HAS SOPS 554669 HAS SOUS 171368 HAS SOUPS 170082 WITH SCORE 170646.871
AT ITER 3315 NEW BEST:: SOT 1214468 SOS 564847 HAS SOPS 554645 HAS SOUS 171344 HAS SOUPS 170058 WITH SCORE 170622.847
AT ITER 3332 NEW BEST:: SOT 1214556 SOS 564935 HAS SOPS 554701 HAS SOUS 171336 HAS SOUPS 170050 WITH SCORE 170614.935
AT ITER 3334 NEW BEST:: SOT 1214414 SOS 564758 HAS SOPS 554524 HAS SOUS 171218 HAS SOUPS 169932 WITH SCORE 170496.758
AT ITER 3347 NEW BEST:: SOT 1214290 SOS 564634 HAS SOPS 554400 HAS SOUS 171050 HAS SOUPS 169764 WITH SCORE 170328.634
AT ITER 3356 NEW BEST:: SOT 1214105 SOS 564376 HAS SOPS 554142 HAS SOUS 170744 HAS SOUPS 169458 WITH SCORE 170022.376
AT ITER 3373 NEW BEST:: SOT 1214092 SOS 564363 HAS SOPS 554129 HAS SOUS 170618 HAS SOUPS 169332 WITH SCORE 169896.363
AT ITER 3376 NEW BEST:: SOT 1214074 SOS 564563 HAS SOPS 554379 HAS SOUS 170588 HAS SOUPS 169302 WITH SCORE 169866.563
AT ITER 3380 NEW BEST:: SOT 1214054 SOS 564508 HAS SOPS 554324 HAS SOUS 170568 HAS SOUPS 169282 WITH SCORE 169846.508
AT ITER 3394 NEW BEST:: SOT 1213996 SOS 564392 HAS SOPS 554208 HAS SOUS 170452 HAS SOUPS 169166 WITH SCORE 169730.392
AT ITER 3395 NEW BEST:: SOT 1213952 SOS 564337 HAS SOPS 554153 HAS SOUS 170368 HAS SOUPS 169082 WITH SCORE 169646.337
AT ITER 3404 NEW BEST:: SOT 1213792 SOS 564191 HAS SOPS 554007 HAS SOUS 170285 HAS SOUPS 168999 WITH SCORE 169563.191
AT ITER 3410 NEW BEST:: SOT 1213452 SOS 563850 HAS SOPS 553666 HAS SOUS 170216 HAS SOUPS 168930 WITH SCORE 169493.85
AT ITER 3425 NEW BEST:: SOT 1213211 SOS 563270 HAS SOPS 553086 HAS SOUS 169934 HAS SOUPS 168648 WITH SCORE 169211.27
AT ITER 3432 NEW BEST:: SOT 1213360 SOS 563419 HAS SOPS 553235 HAS SOUS 169763 HAS SOUPS 168477 WITH SCORE 169040.419
AT ITER 3433 NEW BEST:: SOT 1213231 SOS 563262 HAS SOPS 553078 HAS SOUS 169589 HAS SOUPS 168303 WITH SCORE 168866.262
AT ITER 3458 NEW BEST:: SOT 1212997 SOS 562921 HAS SOPS 552737 HAS SOUS 169277 HAS SOUPS 167991 WITH SCORE 168553.921
AT ITER 3473 NEW BEST:: SOT 1212989 SOS 562905 HAS SOPS 552721 HAS SOUS 169261 HAS SOUPS 167975 WITH SCORE 168537.905
AT ITER 3478 NEW BEST:: SOT 1212989 SOS 562750 HAS SOPS 552566 HAS SOUS 169261 HAS SOUPS 167975 WITH SCORE 168537.75
AT ITER 3482 NEW BEST:: SOT 1212989 SOS 562750 HAS SOPS 552566 HAS SOUS 169236 HAS SOUPS 167950 WITH SCORE 168512.75
AT ITER 3488 NEW BEST:: SOT 1212914 SOS 562664 HAS SOPS 552480 HAS SOUS 169064 HAS SOUPS 167778 WITH SCORE 168340.664
AT ITER 3536 NEW BEST:: SOT 1212834 SOS 562604 HAS SOPS 552420 HAS SOUS 168935 HAS SOUPS 167649 WITH SCORE 168211.604
AT ITER 3547 NEW BEST:: SOT 1212822 SOS 562580 HAS SOPS 552396 HAS SOUS 168911 HAS SOUPS 167625 WITH SCORE 168187.58
AT ITER 3559 NEW BEST:: SOT 1212749 SOS 562544 HAS SOPS 552360 HAS SOUS 168839 HAS SOUPS 167553 WITH SCORE 168115.544
AT ITER 3582 NEW BEST:: SOT 1212182 SOS 562058 HAS SOPS 551874 HAS SOUS 168434 HAS SOUPS 167148 WITH SCORE 167710.058
AT ITER 3602 NEW BEST:: SOT 1211930 SOS 561859 HAS SOPS 551675 HAS SOUS 168225 HAS SOUPS 166939 WITH SCORE 167500.859
AT ITER 3611 NEW BEST:: SOT 1211924 SOS 561853 HAS SOPS 551669 HAS SOUS 168221 HAS SOUPS 166935 WITH SCORE 167496.853
AT ITER 3660 NEW BEST:: SOT 1211913 SOS 561859 HAS SOPS 551675 HAS SOUS 168216 HAS SOUPS 166930 WITH SCORE 167491.859
AT ITER 3673 NEW BEST:: SOT 1211874 SOS 561591 HAS SOPS 551407 HAS SOUS 168152 HAS SOUPS 166866 WITH SCORE 167427.591
AT ITER 3737 NEW BEST:: SOT 1211741 SOS 561748 HAS SOPS 551634 HAS SOUS 168111 HAS SOUPS 166825 WITH SCORE 167386.748
AT ITER 3746 NEW BEST:: SOT 1211577 SOS 561584 HAS SOPS 551470 HAS SOUS 166667 HAS SOUPS 165381 WITH SCORE 165942.584
AT ITER 3759 NEW BEST:: SOT 1211601 SOS 561608 HAS SOPS 551480 HAS SOUS 166653 HAS SOUPS 165367 WITH SCORE 165928.608
AT ITER 3770 NEW BEST:: SOT 1211493 SOS 561521 HAS SOPS 551445 HAS SOUS 166599 HAS SOUPS 165313 WITH SCORE 165874.521
AT ITER 3786 NEW BEST:: SOT 1211326 SOS 561237 HAS SOPS 551161 HAS SOUS 166351 HAS SOUPS 165065 WITH SCORE 165626.237
AT ITER 3791 NEW BEST:: SOT 1211375 SOS 561286 HAS SOPS 551194 HAS SOUS 166319 HAS SOUPS 165033 WITH SCORE 165594.286
AT ITER 3796 NEW BEST:: SOT 1211289 SOS 561123 HAS SOPS 551031 HAS SOUS 166147 HAS SOUPS 164861 WITH SCORE 165422.123
AT ITER 3809 NEW BEST:: SOT 1211269 SOS 561064 HAS SOPS 550972 HAS SOUS 166087 HAS SOUPS 164801 WITH SCORE 165362.064
AT ITER 3820 NEW BEST:: SOT 1211100 SOS 561454 HAS SOPS 551362 HAS SOUS 165893 HAS SOUPS 164607 WITH SCORE 165168.454
AT ITER 3835 NEW BEST:: SOT 1211068 SOS 561422 HAS SOPS 551298 HAS SOUS 165829 HAS SOUPS 164543 WITH SCORE 165104.422
AT ITER 3849 NEW BEST:: SOT 1210921 SOS 561275 HAS SOPS 551151 HAS SOUS 165558 HAS SOUPS 164272 WITH SCORE 164833.275
AT ITER 3855 NEW BEST:: SOT 1210943 SOS 561250 HAS SOPS 551126 HAS SOUS 165038 HAS SOUPS 163752 WITH SCORE 164313.25
AT ITER 3856 NEW BEST:: SOT 1210908 SOS 561215 HAS SOPS 551091 HAS SOUS 164968 HAS SOUPS 163682 WITH SCORE 164243.215
AT ITER 3863 NEW BEST:: SOT 1210935 SOS 561232 HAS SOPS 551108 HAS SOUS 164895 HAS SOUPS 163609 WITH SCORE 164170.232
AT ITER 3880 NEW BEST:: SOT 1210196 SOS 560979 HAS SOPS 550855 HAS SOUS 164588 HAS SOUPS 163302 WITH SCORE 163862.979
AT ITER 3881 NEW BEST:: SOT 1210158 SOS 560929 HAS SOPS 550805 HAS SOUS 164515 HAS SOUPS 163229 WITH SCORE 163789.929
AT ITER 3886 NEW BEST:: SOT 1210147 SOS 560907 HAS SOPS 550783 HAS SOUS 164493 HAS SOUPS 163207 WITH SCORE 163767.907
AT ITER 3897 NEW BEST:: SOT 1210260 SOS 561020 HAS SOPS 550896 HAS SOUS 164413 HAS SOUPS 163127 WITH SCORE 163688.02
AT ITER 3915 NEW BEST:: SOT 1210244 SOS 561004 HAS SOPS 550880 HAS SOUS 164381 HAS SOUPS 163095 WITH SCORE 163656.004
AT ITER 3929 NEW BEST:: SOT 1210220 SOS 560969 HAS SOPS 550845 HAS SOUS 164337 HAS SOUPS 163051 WITH SCORE 163611.969
AT ITER 3939 NEW BEST:: SOT 1210368 SOS 552704 HAS SOPS 542129 HAS SOUS 164233 HAS SOUPS 162940 WITH SCORE 163492.704
AT ITER 3963 NEW BEST:: SOT 1210310 SOS 552704 HAS SOPS 542129 HAS SOUS 164231 HAS SOUPS 162938 WITH SCORE 163490.704
AT ITER 3966 NEW BEST:: SOT 1210307 SOS 552701 HAS SOPS 542126 HAS SOUS 164225 HAS SOUPS 162932 WITH SCORE 163484.701
AT ITER 3974 NEW BEST:: SOT 1210217 SOS 552531 HAS SOPS 541956 HAS SOUS 164055 HAS SOUPS 162762 WITH SCORE 163314.531
AT ITER 3977 NEW BEST:: SOT 1210216 SOS 552530 HAS SOPS 541954 HAS SOUS 164053 HAS SOUPS 162760 WITH SCORE 163312.53
AT ITER 3994 NEW BEST:: SOT 1210198 SOS 552512 HAS SOPS 541918 HAS SOUS 164017 HAS SOUPS 162724 WITH SCORE 163276.512
AT ITER 4005 NEW BEST:: SOT 1210184 SOS 552505 HAS SOPS 541911 HAS SOUS 164010 HAS SOUPS 162717 WITH SCORE 163269.505
AT ITER 4036 NEW BEST:: SOT 1209767 SOS 552086 HAS SOPS 541492 HAS SOUS 163716 HAS SOUPS 162423 WITH SCORE 162975.086
AT ITER 4038 NEW BEST:: SOT 1209607 SOS 552499 HAS SOPS 541905 HAS SOUS 163696 HAS SOUPS 162403 WITH SCORE 162955.499
AT ITER 4053 NEW BEST:: SOT 1209603 SOS 552495 HAS SOPS 541901 HAS SOUS 163688 HAS SOUPS 162395 WITH SCORE 162947.495
AT ITER 4063 NEW BEST:: SOT 1209575 SOS 552467 HAS SOPS 541873 HAS SOUS 163680 HAS SOUPS 162387 WITH SCORE 162939.467
AT ITER 4108 NEW BEST:: SOT 1209622 SOS 552620 HAS SOPS 542026 HAS SOUS 163624 HAS SOUPS 162331 WITH SCORE 162883.62
AT ITER 4111 NEW BEST:: SOT 1209599 SOS 552597 HAS SOPS 541980 HAS SOUS 163622 HAS SOUPS 162329 WITH SCORE 162881.597
AT ITER 4112 NEW BEST:: SOT 1209641 SOS 552639 HAS SOPS 542022 HAS SOUS 163508 HAS SOUPS 162215 WITH SCORE 162767.639
AT ITER 4117 NEW BEST:: SOT 1209640 SOS 552638 HAS SOPS 542021 HAS SOUS 163497 HAS SOUPS 162204 WITH SCORE 162756.638
AT ITER 4126 NEW BEST:: SOT 1209387 SOS 552193 HAS SOPS 541576 HAS SOUS 163220 HAS SOUPS 161927 WITH SCORE 162479.193
AT ITER 4206 NEW BEST:: SOT 1209180 SOS 551963 HAS SOPS 541346 HAS SOUS 163105 HAS SOUPS 161812 WITH SCORE 162363.963
AT ITER 4208 NEW BEST:: SOT 1209181 SOS 551953 HAS SOPS 541336 HAS SOUS 163085 HAS SOUPS 161792 WITH SCORE 162343.953
AT ITER 4225 NEW BEST:: SOT 1209109 SOS 551881 HAS SOPS 541264 HAS SOUS 163013 HAS SOUPS 161720 WITH SCORE 162271.881
AT ITER 4235 NEW BEST:: SOT 1209048 SOS 551820 HAS SOPS 541203 HAS SOUS 162903 HAS SOUPS 161610 WITH SCORE 162161.82
AT ITER 4237 NEW BEST:: SOT 1175446 SOS 518422 HAS SOPS 507805 HAS SOUS 156779 HAS SOUPS 155486 WITH SCORE 156004.422
AT ITER 4248 NEW BEST:: SOT 1175443 SOS 518419 HAS SOPS 507802 HAS SOUS 156763 HAS SOUPS 155470 WITH SCORE 155988.419
AT ITER 4281 NEW BEST:: SOT 1174925 SOS 517901 HAS SOPS 507284 HAS SOUS 156569 HAS SOUPS 155276 WITH SCORE 155793.901
AT ITER 4285 NEW BEST:: SOT 1174923 SOS 517899 HAS SOPS 507282 HAS SOUS 156538 HAS SOUPS 155245 WITH SCORE 155762.899
AT ITER 4291 NEW BEST:: SOT 1174900 SOS 517849 HAS SOPS 507232 HAS SOUS 156504 HAS SOUPS 155211 WITH SCORE 155728.849
AT ITER 4303 NEW BEST:: SOT 1174900 SOS 517833 HAS SOPS 507216 HAS SOUS 156457 HAS SOUPS 155164 WITH SCORE 155681.833
AT ITER 4309 NEW BEST:: SOT 1174595 SOS 517198 HAS SOPS 506581 HAS SOUS 156224 HAS SOUPS 154931 WITH SCORE 155448.198
AT ITER 4313 NEW BEST:: SOT 1174501 SOS 517075 HAS SOPS 506458 HAS SOUS 156036 HAS SOUPS 154743 WITH SCORE 155260.075
AT ITER 4319 NEW BEST:: SOT 1178641 SOS 521205 HAS SOPS 510588 HAS SOUS 155995 HAS SOUPS 154702 WITH SCORE 155223.205
AT ITER 4328 NEW BEST:: SOT 1178665 SOS 521379 HAS SOPS 510762 HAS SOUS 155943 HAS SOUPS 154650 WITH SCORE 155171.379
AT ITER 4329 NEW BEST:: SOT 1178589 SOS 521303 HAS SOPS 510686 HAS SOUS 155837 HAS SOUPS 154544 WITH SCORE 155065.303
AT ITER 4370 NEW BEST:: SOT 1178658 SOS 521708 HAS SOPS 511091 HAS SOUS 155813 HAS SOUPS 154520 WITH SCORE 155041.708
AT ITER 4386 NEW BEST:: SOT 1178767 SOS 521752 HAS SOPS 511021 HAS SOUS 155692 HAS SOUPS 154399 WITH SCORE 154920.752
AT ITER 4387 NEW BEST:: SOT 1178712 SOS 521553 HAS SOPS 510822 HAS SOUS 155546 HAS SOUPS 154253 WITH SCORE 154774.553
AT ITER 4393 NEW BEST:: SOT 1178707 SOS 521548 HAS SOPS 510817 HAS SOUS 155536 HAS SOUPS 154243 WITH SCORE 154764.548
AT ITER 4397 NEW BEST:: SOT 1178699 SOS 521540 HAS SOPS 510809 HAS SOUS 155520 HAS SOUPS 154227 WITH SCORE 154748.54
AT ITER 4401 NEW BEST:: SOT 1179946 SOS 522705 HAS SOPS 512038 HAS SOUS 155161 HAS SOUPS 153876 WITH SCORE 154398.705
AT ITER 4403 NEW BEST:: SOT 1179888 SOS 522571 HAS SOPS 511904 HAS SOUS 155101 HAS SOUPS 153816 WITH SCORE 154338.571
AT ITER 4424 NEW BEST:: SOT 1179837 SOS 522520 HAS SOPS 511853 HAS SOUS 154663 HAS SOUPS 153378 WITH SCORE 153900.52
AT ITER 4431 NEW BEST:: SOT 1179835 SOS 522518 HAS SOPS 511851 HAS SOUS 154659 HAS SOUPS 153374 WITH SCORE 153896.518
AT ITER 4446 NEW BEST:: SOT 1179831 SOS 522514 HAS SOPS 511847 HAS SOUS 154651 HAS SOUPS 153366 WITH SCORE 153888.514
AT ITER 4459 NEW BEST:: SOT 1179710 SOS 522393 HAS SOPS 511726 HAS SOUS 154616 HAS SOUPS 153331 WITH SCORE 153853.393
AT ITER 4462 NEW BEST:: SOT 1179710 SOS 509172 HAS SOPS 498505 HAS SOUS 154616 HAS SOUPS 153331 WITH SCORE 153840.172
AT ITER 4478 NEW BEST:: SOT 1179700 SOS 509152 HAS SOPS 498485 HAS SOUS 154596 HAS SOUPS 153311 WITH SCORE 153820.152
AT ITER 4479 NEW BEST:: SOT 1179690 SOS 509117 HAS SOPS 498450 HAS SOUS 154591 HAS SOUPS 153306 WITH SCORE 153815.117
AT ITER 4480 NEW BEST:: SOT 1179690 SOS 509117 HAS SOPS 498450 HAS SOUS 154578 HAS SOUPS 153293 WITH SCORE 153802.117
AT ITER 4484 NEW BEST:: SOT 1179669 SOS 509096 HAS SOPS 498429 HAS SOUS 154536 HAS SOUPS 153251 WITH SCORE 153760.096
AT ITER 4490 NEW BEST:: SOT 1179727 SOS 509154 HAS SOPS 498444 HAS SOUS 154502 HAS SOUPS 153211 WITH SCORE 153720.154
AT ITER 4509 NEW BEST:: SOT 1179889 SOS 509456 HAS SOPS 498746 HAS SOUS 154332 HAS SOUPS 153041 WITH SCORE 153550.456
AT ITER 4534 NEW BEST:: SOT 1179640 SOS 509236 HAS SOPS 498526 HAS SOUS 154115 HAS SOUPS 152824 WITH SCORE 153333.236
AT ITER 4556 NEW BEST:: SOT 1179596 SOS 509192 HAS SOPS 498482 HAS SOUS 154113 HAS SOUPS 152822 WITH SCORE 153331.192
AT ITER 4571 NEW BEST:: SOT 1179491 SOS 509087 HAS SOPS 498377 HAS SOUS 154087 HAS SOUPS 152796 WITH SCORE 153305.087
AT ITER 4595 NEW BEST:: SOT 1179491 SOS 509087 HAS SOPS 498377 HAS SOUS 154084 HAS SOUPS 152793 WITH SCORE 153302.087
AT ITER 4602 NEW BEST:: SOT 1179380 SOS 508946 HAS SOPS 498236 HAS SOUS 154072 HAS SOUPS 152781 WITH SCORE 153289.946
AT ITER 4614 NEW BEST:: SOT 1179324 SOS 508862 HAS SOPS 498152 HAS SOUS 154002 HAS SOUPS 152711 WITH SCORE 153219.862
AT ITER 4645 NEW BEST:: SOT 1179680 SOS 509122 HAS SOPS 498412 HAS SOUS 153575 HAS SOUPS 152284 WITH SCORE 152793.122
AT ITER 4648 NEW BEST:: SOT 1179704 SOS 509146 HAS SOPS 498436 HAS SOUS 153523 HAS SOUPS 152232 WITH SCORE 152741.146
AT ITER 4665 NEW BEST:: SOT 1163089 SOS 493725 HAS SOPS 483015 HAS SOUS 152602 HAS SOUPS 151311 WITH SCORE 151804.725
AT ITER 4669 NEW BEST:: SOT 1163068 SOS 493704 HAS SOPS 482994 HAS SOUS 152560 HAS SOUPS 151269 WITH SCORE 151762.704
AT ITER 4694 NEW BEST:: SOT 1162597 SOS 493102 HAS SOPS 482392 HAS SOUS 152032 HAS SOUPS 150741 WITH SCORE 151234.102
AT ITER 4698 NEW BEST:: SOT 1162595 SOS 493100 HAS SOPS 482390 HAS SOUS 152030 HAS SOUPS 150739 WITH SCORE 151232.1
AT ITER 4705 NEW BEST:: SOT 1162573 SOS 493056 HAS SOPS 482346 HAS SOUS 151986 HAS SOUPS 150695 WITH SCORE 151188.056
AT ITER 4716 NEW BEST:: SOT 1162460 SOS 492877 HAS SOPS 482167 HAS SOUS 151826 HAS SOUPS 150535 WITH SCORE 151027.877
AT ITER 4727 NEW BEST:: SOT 1162370 SOS 492787 HAS SOPS 482077 HAS SOUS 151646 HAS SOUPS 150355 WITH SCORE 150847.787
AT ITER 4731 NEW BEST:: SOT 1162358 SOS 492755 HAS SOPS 482013 HAS SOUS 151642 HAS SOUPS 150311 WITH SCORE 150803.755
AT ITER 4752 NEW BEST:: SOT 1162353 SOS 492750 HAS SOPS 482008 HAS SOUS 151640 HAS SOUPS 150309 WITH SCORE 150801.75
AT ITER 4772 NEW BEST:: SOT 1162345 SOS 492742 HAS SOPS 482000 HAS SOUS 151624 HAS SOUPS 150293 WITH SCORE 150785.742
AT ITER 4779 NEW BEST:: SOT 1162345 SOS 492712 HAS SOPS 481970 HAS SOUS 151624 HAS SOUPS 150293 WITH SCORE 150785.712
AT ITER 4794 NEW BEST:: SOT 1162091 SOS 492472 HAS SOPS 481730 HAS SOUS 151368 HAS SOUPS 150037 WITH SCORE 150529.472
AT ITER 4800 NEW BEST:: SOT 1162065 SOS 492390 HAS SOPS 481648 HAS SOUS 151355 HAS SOUPS 150024 WITH SCORE 150516.39
AT ITER 4803 NEW BEST:: SOT 1161910 SOS 492301 HAS SOPS 481694 HAS SOUS 151342 HAS SOUPS 150011 WITH SCORE 150503.301
AT ITER 4809 NEW BEST:: SOT 1161761 SOS 492248 HAS SOPS 481641 HAS SOUS 151069 HAS SOUPS 149738 WITH SCORE 150230.248
AT ITER 4810 NEW BEST:: SOT 1161761 SOS 492206 HAS SOPS 481599 HAS SOUS 151027 HAS SOUPS 149696 WITH SCORE 150188.206
AT ITER 4832 NEW BEST:: SOT 1161642 SOS 492035 HAS SOPS 481532 HAS SOUS 151002 HAS SOUPS 149671 WITH SCORE 150163.035
AT ITER 4851 NEW BEST:: SOT 1161326 SOS 491560 HAS SOPS 481057 HAS SOUS 150455 HAS SOUPS 149124 WITH SCORE 149615.56
AT ITER 4864 NEW BEST:: SOT 1161323 SOS 491544 HAS SOPS 481041 HAS SOUS 150448 HAS SOUPS 149117 WITH SCORE 149608.544
AT ITER 4874 NEW BEST:: SOT 1161386 SOS 491607 HAS SOPS 481044 HAS SOUS 150384 HAS SOUPS 149039 WITH SCORE 149530.607
AT ITER 4878 NEW BEST:: SOT 1154057 SOS 484278 HAS SOPS 473715 HAS SOUS 149132 HAS SOUPS 147787 WITH SCORE 148271.278
AT ITER 4891 NEW BEST:: SOT 1154043 SOS 483948 HAS SOPS 473423 HAS SOUS 148871 HAS SOUPS 147526 WITH SCORE 148009.948
AT ITER 4900 NEW BEST:: SOT 1153875 SOS 483843 HAS SOPS 473318 HAS SOUS 148819 HAS SOUPS 147474 WITH SCORE 147957.843
AT ITER 4906 NEW BEST:: SOT 1153942 SOS 483910 HAS SOPS 473385 HAS SOUS 148745 HAS SOUPS 147400 WITH SCORE 147883.91
AT ITER 4912 NEW BEST:: SOT 1153950 SOS 483934 HAS SOPS 473409 HAS SOUS 148729 HAS SOUPS 147384 WITH SCORE 147867.934
AT ITER 4950 NEW BEST:: SOT 1153950 SOS 483934 HAS SOPS 473409 HAS SOUS 148668 HAS SOUPS 147323 WITH SCORE 147806.934
AT ITER 4960 NEW BEST:: SOT 1153925 SOS 483909 HAS SOPS 473384 HAS SOUS 148618 HAS SOUPS 147273 WITH SCORE 147756.909
AT ITER 4962 NEW BEST:: SOT 1153710 SOS 482621 HAS SOPS 472096 HAS SOUS 148605 HAS SOUPS 147260 WITH SCORE 147742.621
AT ITER 4970 NEW BEST:: SOT 1153710 SOS 482501 HAS SOPS 471976 HAS SOUS 148605 HAS SOUPS 147260 WITH SCORE 147742.501
AT ITER 4972 NEW BEST:: SOT 1153704 SOS 482495 HAS SOPS 471970 HAS SOUS 148595 HAS SOUPS 147250 WITH SCORE 147732.495
AT ITER 5022 NEW BEST:: SOT 1153222 SOS 481949 HAS SOPS 471424 HAS SOUS 147986 HAS SOUPS 146641 WITH SCORE 147122.949
AT ITER 5056 NEW BEST:: SOT 1153222 SOS 481959 HAS SOPS 471424 HAS SOUS 147976 HAS SOUPS 146631 WITH SCORE 147112.959
AT ITER 5059 NEW BEST:: SOT 1153168 SOS 481905 HAS SOPS 471389 HAS SOUS 147913 HAS SOUPS 146568 WITH SCORE 147049.905
AT ITER 5063 NEW BEST:: SOT 1153078 SOS 481756 HAS SOPS 471240 HAS SOUS 147861 HAS SOUPS 146516 WITH SCORE 146997.756
AT ITER 5072 NEW BEST:: SOT 1153003 SOS 481681 HAS SOPS 471165 HAS SOUS 147848 HAS SOUPS 146503 WITH SCORE 146984.681
AT ITER 5075 NEW BEST:: SOT 1152990 SOS 481655 HAS SOPS 471139 HAS SOUS 147835 HAS SOUPS 146490 WITH SCORE 146971.655
AT ITER 5076 NEW BEST:: SOT 1153023 SOS 481593 HAS SOPS 471077 HAS SOUS 147773 HAS SOUPS 146428 WITH SCORE 146909.593
AT ITER 5119 NEW BEST:: SOT 1152999 SOS 481569 HAS SOPS 471021 HAS SOUS 147725 HAS SOUPS 146380 WITH SCORE 146861.569
AT ITER 5127 NEW BEST:: SOT 1152939 SOS 481373 HAS SOPS 470825 HAS SOUS 147711 HAS SOUPS 146366 WITH SCORE 146847.373
AT ITER 5157 NEW BEST:: SOT 1152934 SOS 481368 HAS SOPS 470820 HAS SOUS 147711 HAS SOUPS 146366 WITH SCORE 146847.368
AT ITER 5164 NEW BEST:: SOT 1152936 SOS 481344 HAS SOPS 470796 HAS SOUS 147699 HAS SOUPS 146354 WITH SCORE 146835.344
AT ITER 5166 NEW BEST:: SOT 1152918 SOS 481308 HAS SOPS 470760 HAS SOUS 147660 HAS SOUPS 146315 WITH SCORE 146796.308
AT ITER 5209 NEW BEST:: SOT 1152946 SOS 481393 HAS SOPS 470834 HAS SOUS 147602 HAS SOUPS 146257 WITH SCORE 146738.393
AT ITER 5214 NEW BEST:: SOT 1152934 SOS 481381 HAS SOPS 470822 HAS SOUS 147590 HAS SOUPS 146245 WITH SCORE 146726.381
AT ITER 5223 NEW BEST:: SOT 1152821 SOS 481268 HAS SOPS 470709 HAS SOUS 147409 HAS SOUPS 146064 WITH SCORE 146545.268
AT ITER 5230 NEW BEST:: SOT 1152817 SOS 481264 HAS SOPS 470705 HAS SOUS 147401 HAS SOUPS 146056 WITH SCORE 146537.264
AT ITER 5231 NEW BEST:: SOT 1152839 SOS 481286 HAS SOPS 470727 HAS SOUS 147181 HAS SOUPS 145836 WITH SCORE 146317.286
AT ITER 5265 NEW BEST:: SOT 1152752 SOS 481199 HAS SOPS 470640 HAS SOUS 147090 HAS SOUPS 145745 WITH SCORE 146226.199
AT ITER 5298 NEW BEST:: SOT 1152710 SOS 481136 HAS SOPS 470577 HAS SOUS 147006 HAS SOUPS 145661 WITH SCORE 146142.136
AT ITER 5305 NEW BEST:: SOT 1152708 SOS 481131 HAS SOPS 470572 HAS SOUS 146998 HAS SOUPS 145653 WITH SCORE 146134.131
AT ITER 5325 NEW BEST:: SOT 1152648 SOS 481491 HAS SOPS 470949 HAS SOUS 146940 HAS SOUPS 145596 WITH SCORE 146077.491
AT ITER 5331 NEW BEST:: SOT 1152641 SOS 481477 HAS SOPS 470935 HAS SOUS 146898 HAS SOUPS 145554 WITH SCORE 146035.477
AT ITER 5356 NEW BEST:: SOT 1152638 SOS 481474 HAS SOPS 470928 HAS SOUS 146878 HAS SOUPS 145534 WITH SCORE 146015.474
AT ITER 5386 NEW BEST:: SOT 1152623 SOS 481459 HAS SOPS 470913 HAS SOUS 146857 HAS SOUPS 145513 WITH SCORE 145994.459
AT ITER 5408 NEW BEST:: SOT 1152757 SOS 481218 HAS SOPS 470672 HAS SOUS 146835 HAS SOUPS 145491 WITH SCORE 145972.218
AT ITER 5409 NEW BEST:: SOT 1152618 SOS 481079 HAS SOPS 470533 HAS SOUS 146696 HAS SOUPS 145352 WITH SCORE 145833.079
AT ITER 5411 NEW BEST:: SOT 1152594 SOS 481047 HAS SOPS 470501 HAS SOUS 146664 HAS SOUPS 145320 WITH SCORE 145801.047
AT ITER 5433 NEW BEST:: SOT 1152656 SOS 481101 HAS SOPS 470563 HAS SOUS 146606 HAS SOUPS 145263 WITH SCORE 145744.101
AT ITER 5451 NEW BEST:: SOT 1152620 SOS 481065 HAS SOPS 470527 HAS SOUS 146570 HAS SOUPS 145227 WITH SCORE 145708.065
AT ITER 5483 NEW BEST:: SOT 1152643 SOS 481088 HAS SOPS 470550 HAS SOUS 146469 HAS SOUPS 145126 WITH SCORE 145607.088
AT ITER 5497 NEW BEST:: SOT 1152672 SOS 481191 HAS SOPS 470653 HAS SOUS 146373 HAS SOUPS 145030 WITH SCORE 145511.191
AT ITER 5525 NEW BEST:: SOT 1152702 SOS 481221 HAS SOPS 470726 HAS SOUS 146366 HAS SOUPS 145023 WITH SCORE 145504.221
AT ITER 5566 NEW BEST:: SOT 1152694 SOS 481207 HAS SOPS 470712 HAS SOUS 146354 HAS SOUPS 145011 WITH SCORE 145492.207
AT ITER 5583 NEW BEST:: SOT 1152681 SOS 481194 HAS SOPS 470699 HAS SOUS 146341 HAS SOUPS 144998 WITH SCORE 145479.194
AT ITER 5590 NEW BEST:: SOT 1152582 SOS 481114 HAS SOPS 470581 HAS SOUS 146331 HAS SOUPS 144988 WITH SCORE 145469.114
AT ITER 5595 NEW BEST:: SOT 1152561 SOS 481044 HAS SOPS 470511 HAS SOUS 146282 HAS SOUPS 144939 WITH SCORE 145420.044
AT ITER 5641 NEW BEST:: SOT 1152545 SOS 481028 HAS SOPS 470495 HAS SOUS 146230 HAS SOUPS 144887 WITH SCORE 145368.028
AT ITER 5669 NEW BEST:: SOT 1148759 SOS 477205 HAS SOPS 466672 HAS SOUS 146004 HAS SOUPS 144661 WITH SCORE 145138.205
AT ITER 5675 NEW BEST:: SOT 1148730 SOS 477176 HAS SOPS 466650 HAS SOUS 145982 HAS SOUPS 144639 WITH SCORE 145116.176
AT ITER 5677 NEW BEST:: SOT 1148629 SOS 475840 HAS SOPS 465314 HAS SOUS 144386 HAS SOUPS 143043 WITH SCORE 143518.84
AT ITER 5690 NEW BEST:: SOT 1148624 SOS 475833 HAS SOPS 465307 HAS SOUS 144379 HAS SOUPS 143036 WITH SCORE 143511.833
AT ITER 5695 NEW BEST:: SOT 1148630 SOS 475796 HAS SOPS 465190 HAS SOUS 144304 HAS SOUPS 142961 WITH SCORE 143436.796
AT ITER 5710 NEW BEST:: SOT 1148630 SOS 475796 HAS SOPS 465158 HAS SOUS 144199 HAS SOUPS 142856 WITH SCORE 143331.796
AT ITER 5726 NEW BEST:: SOT 1148351 SOS 475408 HAS SOPS 464770 HAS SOUS 143887 HAS SOUPS 142544 WITH SCORE 143019.408
AT ITER 5735 NEW BEST:: SOT 1148381 SOS 475438 HAS SOPS 464868 HAS SOUS 143823 HAS SOUPS 142480 WITH SCORE 142955.438
AT ITER 5753 NEW BEST:: SOT 1148054 SOS 475001 HAS SOPS 464431 HAS SOUS 143768 HAS SOUPS 142425 WITH SCORE 142900.001
AT ITER 5770 NEW BEST:: SOT 1147937 SOS 474884 HAS SOPS 464314 HAS SOUS 143597 HAS SOUPS 142254 WITH SCORE 142728.884
AT ITER 5776 NEW BEST:: SOT 1147927 SOS 474874 HAS SOPS 464304 HAS SOUS 143597 HAS SOUPS 142254 WITH SCORE 142728.874
AT ITER 5783 NEW BEST:: SOT 1147901 SOS 474835 HAS SOPS 464265 HAS SOUS 143532 HAS SOUPS 142189 WITH SCORE 142663.835
AT ITER 5791 NEW BEST:: SOT 1147777 SOS 474728 HAS SOPS 464158 HAS SOUS 143299 HAS SOUPS 141956 WITH SCORE 142430.728
AT ITER 5793 NEW BEST:: SOT 1147811 SOS 474762 HAS SOPS 464192 HAS SOUS 143274 HAS SOUPS 141931 WITH SCORE 142405.762
AT ITER 5853 NEW BEST:: SOT 1147448 SOS 474449 HAS SOPS 463879 HAS SOUS 143022 HAS SOUPS 141679 WITH SCORE 142153.449
AT ITER 5862 NEW BEST:: SOT 1147383 SOS 474384 HAS SOPS 463814 HAS SOUS 142982 HAS SOUPS 141639 WITH SCORE 142113.384
AT ITER 5866 NEW BEST:: SOT 1147367 SOS 474384 HAS SOPS 463814 HAS SOUS 142965 HAS SOUPS 141622 WITH SCORE 142096.384
AT ITER 5871 NEW BEST:: SOT 1147343 SOS 474360 HAS SOPS 463790 HAS SOUS 142929 HAS SOUPS 141586 WITH SCORE 142060.36
AT ITER 5891 NEW BEST:: SOT 1147100 SOS 473933 HAS SOPS 463363 HAS SOUS 142841 HAS SOUPS 141498 WITH SCORE 141971.933
AT ITER 5893 NEW BEST:: SOT 1147201 SOS 474128 HAS SOPS 463558 HAS SOUS 142730 HAS SOUPS 141387 WITH SCORE 141861.128
AT ITER 5895 NEW BEST:: SOT 1147175 SOS 474102 HAS SOPS 463532 HAS SOUS 142705 HAS SOUPS 141362 WITH SCORE 141836.102
AT ITER 5903 NEW BEST:: SOT 1147115 SOS 474042 HAS SOPS 463472 HAS SOUS 142609 HAS SOUPS 141266 WITH SCORE 141740.042
AT ITER 5908 NEW BEST:: SOT 1147075 SOS 474002 HAS SOPS 463432 HAS SOUS 142493 HAS SOUPS 141150 WITH SCORE 141624.002
AT ITER 5947 NEW BEST:: SOT 1147067 SOS 473951 HAS SOPS 463381 HAS SOUS 142408 HAS SOUPS 141065 WITH SCORE 141538.951
AT ITER 5966 NEW BEST:: SOT 1147040 SOS 473915 HAS SOPS 463345 HAS SOUS 142363 HAS SOUPS 141020 WITH SCORE 141493.915
AT ITER 6004 NEW BEST:: SOT 1146971 SOS 473758 HAS SOPS 463188 HAS SOUS 142316 HAS SOUPS 140973 WITH SCORE 141446.758
AT ITER 6010 NEW BEST:: SOT 1146971 SOS 473761 HAS SOPS 463191 HAS SOUS 142313 HAS SOUPS 140970 WITH SCORE 141443.761
AT ITER 6033 NEW BEST:: SOT 1146927 SOS 473629 HAS SOPS 463059 HAS SOUS 142291 HAS SOUPS 140948 WITH SCORE 141421.629
AT ITER 6052 NEW BEST:: SOT 1147000 SOS 473600 HAS SOPS 463030 HAS SOUS 142255 HAS SOUPS 140912 WITH SCORE 141385.6
AT ITER 6057 NEW BEST:: SOT 1146979 SOS 473579 HAS SOPS 462988 HAS SOUS 142171 HAS SOUPS 140828 WITH SCORE 141301.579
AT ITER 6058 NEW BEST:: SOT 1146976 SOS 473570 HAS SOPS 462979 HAS SOUS 142165 HAS SOUPS 140822 WITH SCORE 141295.57
AT ITER 6120 NEW BEST:: SOT 1146968 SOS 473562 HAS SOPS 462963 HAS SOUS 142149 HAS SOUPS 140806 WITH SCORE 141279.562
AT ITER 6159 NEW BEST:: SOT 1146936 SOS 473470 HAS SOPS 462871 HAS SOUS 142004 HAS SOUPS 140661 WITH SCORE 141134.47
AT ITER 6198 NEW BEST:: SOT 1141149 SOS 467683 HAS SOPS 457084 HAS SOUS 140949 HAS SOUPS 139606 WITH SCORE 140073.683
AT ITER 6203 NEW BEST:: SOT 1141107 SOS 467641 HAS SOPS 457042 HAS SOUS 140889 HAS SOUPS 139546 WITH SCORE 140013.641
AT ITER 6252 NEW BEST:: SOT 1141079 SOS 467614 HAS SOPS 457080 HAS SOUS 140861 HAS SOUPS 139518 WITH SCORE 139985.614
AT ITER 6258 NEW BEST:: SOT 1140990 SOS 463565 HAS SOPS 453031 HAS SOUS 140610 HAS SOUPS 139267 WITH SCORE 139730.565
AT ITER 6262 NEW BEST:: SOT 1140975 SOS 463456 HAS SOPS 452922 HAS SOUS 140501 HAS SOUPS 139158 WITH SCORE 139621.456
AT ITER 6275 NEW BEST:: SOT 1140942 SOS 463423 HAS SOPS 452880 HAS SOUS 140435 HAS SOUPS 139092 WITH SCORE 139555.423
AT ITER 6276 NEW BEST:: SOT 1140702 SOS 462805 HAS SOPS 452262 HAS SOUS 140029 HAS SOUPS 138686 WITH SCORE 139148.805
AT ITER 6278 NEW BEST:: SOT 1140664 SOS 462767 HAS SOPS 452224 HAS SOUS 139980 HAS SOUPS 138637 WITH SCORE 139099.767
AT ITER 6284 NEW BEST:: SOT 1140643 SOS 462239 HAS SOPS 451695 HAS SOUS 139929 HAS SOUPS 138586 WITH SCORE 139048.239
AT ITER 6296 NEW BEST:: SOT 1140632 SOS 462129 HAS SOPS 451585 HAS SOUS 139898 HAS SOUPS 138555 WITH SCORE 139017.129
AT ITER 6306 NEW BEST:: SOT 1140573 SOS 461882 HAS SOPS 451338 HAS SOUS 139874 HAS SOUPS 138531 WITH SCORE 138992.882
AT ITER 6316 NEW BEST:: SOT 1140534 SOS 461843 HAS SOPS 451299 HAS SOUS 139811 HAS SOUPS 138468 WITH SCORE 138929.843
AT ITER 6324 NEW BEST:: SOT 1140068 SOS 461337 HAS SOPS 450793 HAS SOUS 139631 HAS SOUPS 138288 WITH SCORE 138749.337
AT ITER 6327 NEW BEST:: SOT 1139997 SOS 461241 HAS SOPS 450697 HAS SOUS 139622 HAS SOUPS 138279 WITH SCORE 138740.241
AT ITER 6348 NEW BEST:: SOT 1140125 SOS 461309 HAS SOPS 450621 HAS SOUS 139585 HAS SOUPS 138242 WITH SCORE 138703.309
AT ITER 6385 NEW BEST:: SOT 1140315 SOS 461499 HAS SOPS 450811 HAS SOUS 139566 HAS SOUPS 138223 WITH SCORE 138684.499
AT ITER 6399 NEW BEST:: SOT 1140282 SOS 461990 HAS SOPS 451350 HAS SOUS 139552 HAS SOUPS 138209 WITH SCORE 138670.99
AT ITER 6409 NEW BEST:: SOT 1140181 SOS 461470 HAS SOPS 450830 HAS SOUS 139448 HAS SOUPS 138105 WITH SCORE 138566.47
AT ITER 6427 NEW BEST:: SOT 1140181 SOS 461470 HAS SOPS 450830 HAS SOUS 139446 HAS SOUPS 138103 WITH SCORE 138564.47
AT ITER 6451 NEW BEST:: SOT 1140152 SOS 461441 HAS SOPS 450801 HAS SOUS 139418 HAS SOUPS 138075 WITH SCORE 138536.441
AT ITER 6545 NEW BEST:: SOT 1140164 SOS 461453 HAS SOPS 450813 HAS SOUS 139410 HAS SOUPS 138067 WITH SCORE 138528.453
AT ITER 6565 NEW BEST:: SOT 1140208 SOS 461501 HAS SOPS 450861 HAS SOUS 139390 HAS SOUPS 138047 WITH SCORE 138508.501
AT ITER 6583 NEW BEST:: SOT 1140337 SOS 461488 HAS SOPS 450848 HAS SOUS 139329 HAS SOUPS 137986 WITH SCORE 138447.488
AT ITER 6604 NEW BEST:: SOT 1140253 SOS 461320 HAS SOPS 450680 HAS SOUS 139161 HAS SOUPS 137818 WITH SCORE 138279.32
AT ITER 6613 NEW BEST:: SOT 1140150 SOS 461286 HAS SOPS 450646 HAS SOUS 139046 HAS SOUPS 137703 WITH SCORE 138164.286
AT ITER 6617 NEW BEST:: SOT 1140028 SOS 461203 HAS SOPS 450563 HAS SOUS 138988 HAS SOUPS 137645 WITH SCORE 138106.203
AT ITER 6665 NEW BEST:: SOT 1139709 SOS 460772 HAS SOPS 450132 HAS SOUS 138626 HAS SOUPS 137283 WITH SCORE 137743.772
AT ITER 6681 NEW BEST:: SOT 1139709 SOS 460772 HAS SOPS 450116 HAS SOUS 138611 HAS SOUPS 137252 WITH SCORE 137712.772
AT ITER 6716 NEW BEST:: SOT 1139770 SOS 460875 HAS SOPS 450219 HAS SOUS 138543 HAS SOUPS 137184 WITH SCORE 137644.875
AT ITER 6725 NEW BEST:: SOT 1139769 SOS 460873 HAS SOPS 450217 HAS SOUS 138541 HAS SOUPS 137182 WITH SCORE 137642.873
AT ITER 6742 NEW BEST:: SOT 1139694 SOS 460758 HAS SOPS 450102 HAS SOUS 138496 HAS SOUPS 137137 WITH SCORE 137597.758
AT ITER 6776 NEW BEST:: SOT 1139689 SOS 460748 HAS SOPS 450092 HAS SOUS 138493 HAS SOUPS 137134 WITH SCORE 137594.748
AT ITER 6779 NEW BEST:: SOT 1139615 SOS 460685 HAS SOPS 450048 HAS SOUS 138233 HAS SOUPS 136874 WITH SCORE 137334.685
AT ITER 6790 NEW BEST:: SOT 1139615 SOS 446524 HAS SOPS 435887 HAS SOUS 138122 HAS SOUPS 136763 WITH SCORE 137209.524
AT ITER 6822 NEW BEST:: SOT 1139594 SOS 446503 HAS SOPS 435873 HAS SOUS 138089 HAS SOUPS 136736 WITH SCORE 137182.503
AT ITER 6868 NEW BEST:: SOT 1139537 SOS 446446 HAS SOPS 435816 HAS SOUS 138037 HAS SOUPS 136684 WITH SCORE 137130.446
AT ITER 6879 NEW BEST:: SOT 1139498 SOS 446391 HAS SOPS 435761 HAS SOUS 137959 HAS SOUPS 136606 WITH SCORE 137052.391
AT ITER 6886 NEW BEST:: SOT 1139386 SOS 446279 HAS SOPS 435649 HAS SOUS 137791 HAS SOUPS 136438 WITH SCORE 136884.279
AT ITER 6906 NEW BEST:: SOT 1139386 SOS 446260 HAS SOPS 435630 HAS SOUS 137757 HAS SOUPS 136404 WITH SCORE 136850.26
AT ITER 6919 NEW BEST:: SOT 1139386 SOS 446233 HAS SOPS 435603 HAS SOUS 137757 HAS SOUPS 136404 WITH SCORE 136850.233
AT ITER 6923 NEW BEST:: SOT 1138702 SOS 445529 HAS SOPS 434899 HAS SOUS 137715 HAS SOUPS 136362 WITH SCORE 136807.529
AT ITER 6929 NEW BEST:: SOT 1138697 SOS 445519 HAS SOPS 434889 HAS SOUS 137705 HAS SOUPS 136352 WITH SCORE 136797.519
AT ITER 6932 NEW BEST:: SOT 1138697 SOS 445507 HAS SOPS 434877 HAS SOUS 137693 HAS SOUPS 136340 WITH SCORE 136785.507
AT ITER 6933 NEW BEST:: SOT 1138687 SOS 445487 HAS SOPS 434857 HAS SOUS 137673 HAS SOUPS 136320 WITH SCORE 136765.487
AT ITER 6949 NEW BEST:: SOT 1138680 SOS 444625 HAS SOPS 433995 HAS SOUS 137666 HAS SOUPS 136313 WITH SCORE 136757.625
AT ITER 6952 NEW BEST:: SOT 1138630 SOS 444575 HAS SOPS 433945 HAS SOUS 137586 HAS SOUPS 136233 WITH SCORE 136677.575
AT ITER 7009 NEW BEST:: SOT 1138588 SOS 444522 HAS SOPS 433892 HAS SOUS 137523 HAS SOUPS 136170 WITH SCORE 136614.522
AT ITER 7036 NEW BEST:: SOT 1138568 SOS 444482 HAS SOPS 433852 HAS SOUS 137476 HAS SOUPS 136123 WITH SCORE 136567.482
AT ITER 7096 NEW BEST:: SOT 1138568 SOS 443826 HAS SOPS 433196 HAS SOUS 137476 HAS SOUPS 136123 WITH SCORE 136566.826
AT ITER 7108 NEW BEST:: SOT 1138542 SOS 443800 HAS SOPS 433170 HAS SOUS 137424 HAS SOUPS 136071 WITH SCORE 136514.8
AT ITER 7147 NEW BEST:: SOT 1138533 SOS 443791 HAS SOPS 433161 HAS SOUS 137415 HAS SOUPS 136062 WITH SCORE 136505.791
AT ITER 7151 NEW BEST:: SOT 1138234 SOS 443523 HAS SOPS 432893 HAS SOUS 137189 HAS SOUPS 135836 WITH SCORE 136279.523
AT ITER 7196 NEW BEST:: SOT 1138229 SOS 443514 HAS SOPS 432884 HAS SOUS 137135 HAS SOUPS 135782 WITH SCORE 136225.514
AT ITER 7227 NEW BEST:: SOT 1138245 SOS 443318 HAS SOPS 432703 HAS SOUS 136978 HAS SOUPS 135625 WITH SCORE 136068.318
AT ITER 7244 NEW BEST:: SOT 1138233 SOS 443306 HAS SOPS 432691 HAS SOUS 136930 HAS SOUPS 135577 WITH SCORE 136020.306
AT ITER 7251 NEW BEST:: SOT 1138181 SOS 443559 HAS SOPS 432995 HAS SOUS 136889 HAS SOUPS 135536 WITH SCORE 135979.559
AT ITER 7256 NEW BEST:: SOT 1138217 SOS 443601 HAS SOPS 433037 HAS SOUS 136877 HAS SOUPS 135524 WITH SCORE 135967.601
AT ITER 7291 NEW BEST:: SOT 1138341 SOS 443725 HAS SOPS 433161 HAS SOUS 136872 HAS SOUPS 135519 WITH SCORE 135962.725
AT ITER 7312 NEW BEST:: SOT 1138341 SOS 443668 HAS SOPS 433104 HAS SOUS 136868 HAS SOUPS 135515 WITH SCORE 135958.668
AT ITER 7323 NEW BEST:: SOT 1138333 SOS 443660 HAS SOPS 433096 HAS SOUS 136852 HAS SOUPS 135499 WITH SCORE 135942.66
AT ITER 7348 NEW BEST:: SOT 1138310 SOS 443566 HAS SOPS 432990 HAS SOUS 136787 HAS SOUPS 135434 WITH SCORE 135877.566
AT ITER 7370 NEW BEST:: SOT 1138349 SOS 443486 HAS SOPS 432910 HAS SOUS 136787 HAS SOUPS 135434 WITH SCORE 135877.486
AT ITER 7377 NEW BEST:: SOT 1138309 SOS 443406 HAS SOPS 432830 HAS SOUS 136707 HAS SOUPS 135354 WITH SCORE 135797.406
AT ITER 7384 NEW BEST:: SOT 1138288 SOS 443384 HAS SOPS 432808 HAS SOUS 136665 HAS SOUPS 135312 WITH SCORE 135755.384
AT ITER 7422 NEW BEST:: SOT 1138288 SOS 443096 HAS SOPS 432520 HAS SOUS 136651 HAS SOUPS 135298 WITH SCORE 135741.096
AT ITER 7428 NEW BEST:: SOT 1138240 SOS 443048 HAS SOPS 432472 HAS SOUS 136599 HAS SOUPS 135246 WITH SCORE 135689.048
AT ITER 7429 NEW BEST:: SOT 1138256 SOS 443018 HAS SOPS 432442 HAS SOUS 136556 HAS SOUPS 135203 WITH SCORE 135646.018
AT ITER 7460 NEW BEST:: SOT 1138248 SOS 443002 HAS SOPS 432426 HAS SOUS 136540 HAS SOUPS 135187 WITH SCORE 135630.002
AT ITER 7461 NEW BEST:: SOT 1138198 SOS 442952 HAS SOPS 432376 HAS SOUS 136465 HAS SOUPS 135112 WITH SCORE 135554.952
AT ITER 7482 NEW BEST:: SOT 1138266 SOS 442946 HAS SOPS 432370 HAS SOUS 136389 HAS SOUPS 135036 WITH SCORE 135478.946
AT ITER 7495 NEW BEST:: SOT 1137569 SOS 442287 HAS SOPS 431711 HAS SOUS 135730 HAS SOUPS 134377 WITH SCORE 134819.287
AT ITER 7504 NEW BEST:: SOT 1137537 SOS 442264 HAS SOPS 431688 HAS SOUS 135634 HAS SOUPS 134281 WITH SCORE 134723.264
AT ITER 7508 NEW BEST:: SOT 1137529 SOS 442256 HAS SOPS 431680 HAS SOUS 135618 HAS SOUPS 134265 WITH SCORE 134707.256
AT ITER 7515 NEW BEST:: SOT 1137434 SOS 440363 HAS SOPS 429787 HAS SOUS 135272 HAS SOUPS 133919 WITH SCORE 134359.363
AT ITER 7521 NEW BEST:: SOT 1137433 SOS 440362 HAS SOPS 429787 HAS SOUS 135272 HAS SOUPS 133919 WITH SCORE 134359.362
AT ITER 7553 NEW BEST:: SOT 1137408 SOS 440360 HAS SOPS 429762 HAS SOUS 135239 HAS SOUPS 133886 WITH SCORE 134326.36
AT ITER 7579 NEW BEST:: SOT 1137436 SOS 440694 HAS SOPS 430096 HAS SOUS 135220 HAS SOUPS 133867 WITH SCORE 134307.694
AT ITER 7621 NEW BEST:: SOT 1137433 SOS 440686 HAS SOPS 430088 HAS SOUS 135213 HAS SOUPS 133860 WITH SCORE 134300.686
AT ITER 7644 NEW BEST:: SOT 1137367 SOS 440620 HAS SOPS 430060 HAS SOUS 135203 HAS SOUPS 133850 WITH SCORE 134290.62
AT ITER 7675 NEW BEST:: SOT 1137367 SOS 439101 HAS SOPS 428541 HAS SOUS 135182 HAS SOUPS 133829 WITH SCORE 134268.101
AT ITER 7678 NEW BEST:: SOT 1137409 SOS 439132 HAS SOPS 428572 HAS SOUS 135179 HAS SOUPS 133826 WITH SCORE 134265.132
AT ITER 7706 NEW BEST:: SOT 1137538 SOS 439195 HAS SOPS 428482 HAS SOUS 135119 HAS SOUPS 133766 WITH SCORE 134205.195
AT ITER 7764 NEW BEST:: SOT 1137538 SOS 439174 HAS SOPS 428461 HAS SOUS 135095 HAS SOUPS 133742 WITH SCORE 134181.174
AT ITER 7770 NEW BEST:: SOT 1137529 SOS 439171 HAS SOPS 428458 HAS SOUS 135083 HAS SOUPS 133730 WITH SCORE 134169.171
AT ITER 7772 NEW BEST:: SOT 1137487 SOS 439129 HAS SOPS 428416 HAS SOUS 135028 HAS SOUPS 133675 WITH SCORE 134114.129
AT ITER 7790 NEW BEST:: SOT 1137485 SOS 439127 HAS SOPS 428414 HAS SOUS 135012 HAS SOUPS 133659 WITH SCORE 134098.127
AT ITER 7796 NEW BEST:: SOT 1137229 SOS 438972 HAS SOPS 428259 HAS SOUS 134779 HAS SOUPS 133426 WITH SCORE 133864.972
AT ITER 7809 NEW BEST:: SOT 1137222 SOS 438965 HAS SOPS 428252 HAS SOUS 134772 HAS SOUPS 133419 WITH SCORE 133857.965
AT ITER 7831 NEW BEST:: SOT 1137214 SOS 438957 HAS SOPS 428244 HAS SOUS 134751 HAS SOUPS 133398 WITH SCORE 133836.957
AT ITER 7850 NEW BEST:: SOT 1137274 SOS 439017 HAS SOPS 428364 HAS SOUS 134735 HAS SOUPS 133382 WITH SCORE 133821.017
AT ITER 7851 NEW BEST:: SOT 1137281 SOS 439024 HAS SOPS 428371 HAS SOUS 134730 HAS SOUPS 133377 WITH SCORE 133816.024
AT ITER 7852 NEW BEST:: SOT 1137278 SOS 439021 HAS SOPS 428368 HAS SOUS 134726 HAS SOUPS 133373 WITH SCORE 133812.021
AT ITER 7864 NEW BEST:: SOT 1137223 SOS 438966 HAS SOPS 428313 HAS SOUS 134537 HAS SOUPS 133184 WITH SCORE 133622.966
AT ITER 7882 NEW BEST:: SOT 1137238 SOS 438981 HAS SOPS 428299 HAS SOUS 134479 HAS SOUPS 133126 WITH SCORE 133564.981
AT ITER 7894 NEW BEST:: SOT 1137154 SOS 438876 HAS SOPS 428194 HAS SOUS 134374 HAS SOUPS 133021 WITH SCORE 133459.876
AT ITER 7911 NEW BEST:: SOT 1137117 SOS 438812 HAS SOPS 428130 HAS SOUS 134300 HAS SOUPS 132947 WITH SCORE 133385.812
AT ITER 7918 NEW BEST:: SOT 1137053 SOS 438730 HAS SOPS 428048 HAS SOUS 134204 HAS SOUPS 132851 WITH SCORE 133289.73
AT ITER 7938 NEW BEST:: SOT 1137037 SOS 438714 HAS SOPS 428032 HAS SOUS 134172 HAS SOUPS 132819 WITH SCORE 133257.714
AT ITER 7945 NEW BEST:: SOT 1137027 SOS 438704 HAS SOPS 428018 HAS SOUS 134155 HAS SOUPS 132802 WITH SCORE 133240.704
AT ITER 7957 NEW BEST:: SOT 1137034 SOS 438711 HAS SOPS 427987 HAS SOUS 134049 HAS SOUPS 132696 WITH SCORE 133134.711
AT ITER 7975 NEW BEST:: SOT 1136839 SOS 438516 HAS SOPS 427792 HAS SOUS 133659 HAS SOUPS 132306 WITH SCORE 132744.516
AT ITER 7979 NEW BEST:: SOT 1136345 SOS 438479 HAS SOPS 427755 HAS SOUS 133404 HAS SOUPS 132051 WITH SCORE 132489.479
AT ITER 7980 NEW BEST:: SOT 1136337 SOS 438379 HAS SOPS 427655 HAS SOUS 133393 HAS SOUPS 132040 WITH SCORE 132478.379
AT ITER 8023 NEW BEST:: SOT 1136317 SOS 438359 HAS SOPS 427635 HAS SOUS 133364 HAS SOUPS 132011 WITH SCORE 132449.359
AT ITER 8038 NEW BEST:: SOT 1136270 SOS 438312 HAS SOPS 427588 HAS SOUS 133270 HAS SOUPS 131917 WITH SCORE 132355.312
AT ITER 8049 NEW BEST:: SOT 1136290 SOS 438236 HAS SOPS 427250 HAS SOUS 133270 HAS SOUPS 131909 WITH SCORE 132347.236
AT ITER 8059 NEW BEST:: SOT 1136274 SOS 438220 HAS SOPS 427234 HAS SOUS 133254 HAS SOUPS 131893 WITH SCORE 132331.22
AT ITER 8060 NEW BEST:: SOT 1136183 SOS 438129 HAS SOPS 427143 HAS SOUS 133151 HAS SOUPS 131790 WITH SCORE 132228.129
AT ITER 8068 NEW BEST:: SOT 1136161 SOS 438107 HAS SOPS 427121 HAS SOUS 133107 HAS SOUPS 131746 WITH SCORE 132184.107
AT ITER 8084 NEW BEST:: SOT 1136093 SOS 438020 HAS SOPS 427082 HAS SOUS 133057 HAS SOUPS 131696 WITH SCORE 132134.02
AT ITER 8108 NEW BEST:: SOT 1136122 SOS 438041 HAS SOPS 427103 HAS SOUS 133014 HAS SOUPS 131653 WITH SCORE 132091.041
AT ITER 8118 NEW BEST:: SOT 1136029 SOS 437948 HAS SOPS 427010 HAS SOUS 132858 HAS SOUPS 131497 WITH SCORE 131934.948
AT ITER 8126 NEW BEST:: SOT 1136021 SOS 437940 HAS SOPS 426998 HAS SOUS 132846 HAS SOUPS 131485 WITH SCORE 131922.94
AT ITER 8173 NEW BEST:: SOT 1135788 SOS 437740 HAS SOPS 426798 HAS SOUS 132758 HAS SOUPS 131397 WITH SCORE 131834.74
AT ITER 8175 NEW BEST:: SOT 1135785 SOS 437737 HAS SOPS 426795 HAS SOUS 132753 HAS SOUPS 131392 WITH SCORE 131829.737
AT ITER 8183 NEW BEST:: SOT 1135765 SOS 437717 HAS SOPS 426775 HAS SOUS 132738 HAS SOUPS 131377 WITH SCORE 131814.717
AT ITER 8195 NEW BEST:: SOT 1135616 SOS 436918 HAS SOPS 425976 HAS SOUS 132619 HAS SOUPS 131258 WITH SCORE 131694.918
AT ITER 8225 NEW BEST:: SOT 1136583 SOS 437960 HAS SOPS 427018 HAS SOUS 132380 HAS SOUPS 131019 WITH SCORE 131456.96
AT ITER 8243 NEW BEST:: SOT 1136379 SOS 437719 HAS SOPS 426777 HAS SOUS 132082 HAS SOUPS 130721 WITH SCORE 131158.719
AT ITER 8246 NEW BEST:: SOT 1141128 SOS 437730 HAS SOPS 426788 HAS SOUS 131841 HAS SOUPS 130480 WITH SCORE 130917.73
AT ITER 8248 NEW BEST:: SOT 1140987 SOS 437583 HAS SOPS 426641 HAS SOUS 131619 HAS SOUPS 130258 WITH SCORE 130695.583
AT ITER 8271 NEW BEST:: SOT 1141088 SOS 437651 HAS SOPS 426709 HAS SOUS 131587 HAS SOUPS 130226 WITH SCORE 130663.651
AT ITER 8274 NEW BEST:: SOT 1141079 SOS 437587 HAS SOPS 426645 HAS SOUS 131502 HAS SOUPS 130141 WITH SCORE 130578.587
AT ITER 8279 NEW BEST:: SOT 1141067 SOS 437575 HAS SOPS 426633 HAS SOUS 131484 HAS SOUPS 130123 WITH SCORE 130560.575
AT ITER 8353 NEW BEST:: SOT 1141029 SOS 437559 HAS SOPS 426617 HAS SOUS 131417 HAS SOUPS 130056 WITH SCORE 130493.559
AT ITER 8355 NEW BEST:: SOT 1141020 SOS 437550 HAS SOPS 426608 HAS SOUS 131408 HAS SOUPS 130047 WITH SCORE 130484.55
AT ITER 8385 NEW BEST:: SOT 1140282 SOS 436808 HAS SOPS 425866 HAS SOUS 131307 HAS SOUPS 129946 WITH SCORE 130382.808
AT ITER 8386 NEW BEST:: SOT 1140282 SOS 436644 HAS SOPS 425702 HAS SOUS 131297 HAS SOUPS 129936 WITH SCORE 130372.644
AT ITER 8392 NEW BEST:: SOT 1140280 SOS 436609 HAS SOPS 425667 HAS SOUS 131241 HAS SOUPS 129880 WITH SCORE 130316.609
AT ITER 8426 NEW BEST:: SOT 1139674 SOS 436003 HAS SOPS 425061 HAS SOUS 130245 HAS SOUPS 128884 WITH SCORE 129320.003
AT ITER 8439 NEW BEST:: SOT 1139674 SOS 436000 HAS SOPS 425058 HAS SOUS 130239 HAS SOUPS 128878 WITH SCORE 129314.0
AT ITER 8480 NEW BEST:: SOT 1139632 SOS 435910 HAS SOPS 424968 HAS SOUS 130230 HAS SOUPS 128869 WITH SCORE 129304.91
AT ITER 8545 NEW BEST:: SOT 1139632 SOS 435900 HAS SOPS 424958 HAS SOUS 130227 HAS SOUPS 128866 WITH SCORE 129301.9
AT ITER 8573 NEW BEST:: SOT 1139632 SOS 435869 HAS SOPS 424927 HAS SOUS 130216 HAS SOUPS 128855 WITH SCORE 129290.869
AT ITER 8574 NEW BEST:: SOT 1139453 SOS 435711 HAS SOPS 424769 HAS SOUS 130158 HAS SOUPS 128797 WITH SCORE 129232.711
AT ITER 8575 NEW BEST:: SOT 1139413 SOS 435661 HAS SOPS 424719 HAS SOUS 130118 HAS SOUPS 128757 WITH SCORE 129192.661
AT ITER 8584 NEW BEST:: SOT 1139231 SOS 435602 HAS SOPS 424660 HAS SOUS 129961 HAS SOUPS 128600 WITH SCORE 129035.602
AT ITER 8611 NEW BEST:: SOT 1139227 SOS 435596 HAS SOPS 424654 HAS SOUS 129956 HAS SOUPS 128595 WITH SCORE 129030.596
AT ITER 8612 NEW BEST:: SOT 1139175 SOS 435544 HAS SOPS 424602 HAS SOUS 129921 HAS SOUPS 128560 WITH SCORE 128995.544
AT ITER 8618 NEW BEST:: SOT 1139117 SOS 435486 HAS SOPS 424501 HAS SOUS 129805 HAS SOUPS 128444 WITH SCORE 128879.486
AT ITER 8644 NEW BEST:: SOT 1139082 SOS 435451 HAS SOPS 424466 HAS SOUS 129770 HAS SOUPS 128409 WITH SCORE 128844.451
AT ITER 8673 NEW BEST:: SOT 1136643 SOS 432997 HAS SOPS 422012 HAS SOUS 129220 HAS SOUPS 127859 WITH SCORE 128291.997
AT ITER 8718 NEW BEST:: SOT 1136643 SOS 432805 HAS SOPS 421820 HAS SOUS 129220 HAS SOUPS 127859 WITH SCORE 128291.805
AT ITER 8725 NEW BEST:: SOT 1136688 SOS 432528 HAS SOPS 421543 HAS SOUS 129079 HAS SOUPS 127718 WITH SCORE 128150.528
AT ITER 8750 NEW BEST:: SOT 1136705 SOS 432793 HAS SOPS 421809 HAS SOUS 129077 HAS SOUPS 127716 WITH SCORE 128148.793
AT ITER 8777 NEW BEST:: SOT 1136743 SOS 432801 HAS SOPS 421817 HAS SOUS 129049 HAS SOUPS 127688 WITH SCORE 128120.801
AT ITER 8778 NEW BEST:: SOT 1136762 SOS 433800 HAS SOPS 422486 HAS SOUS 129047 HAS SOUPS 127631 WITH SCORE 128064.8
AT ITER 8845 NEW BEST:: SOT 1136779 SOS 433783 HAS SOPS 422452 HAS SOUS 129030 HAS SOUPS 127614 WITH SCORE 128047.783
AT ITER 8874 NEW BEST:: SOT 1136754 SOS 433758 HAS SOPS 422427 HAS SOUS 129018 HAS SOUPS 127602 WITH SCORE 128035.758
AT ITER 8918 NEW BEST:: SOT 1136746 SOS 433750 HAS SOPS 422419 HAS SOUS 129006 HAS SOUPS 127590 WITH SCORE 128023.75
AT ITER 8927 NEW BEST:: SOT 1136664 SOS 433824 HAS SOPS 422493 HAS SOUS 128995 HAS SOUPS 127579 WITH SCORE 128012.824
AT ITER 9001 NEW BEST:: SOT 1136548 SOS 433708 HAS SOPS 422377 HAS SOUS 128838 HAS SOUPS 127422 WITH SCORE 127855.708
AT ITER 9005 NEW BEST:: SOT 1136554 SOS 433714 HAS SOPS 422383 HAS SOUS 128825 HAS SOUPS 127409 WITH SCORE 127842.714
AT ITER 9018 NEW BEST:: SOT 1136481 SOS 433619 HAS SOPS 422288 HAS SOUS 128619 HAS SOUPS 127203 WITH SCORE 127636.619
AT ITER 9062 NEW BEST:: SOT 1136430 SOS 433619 HAS SOPS 422288 HAS SOUS 128568 HAS SOUPS 127152 WITH SCORE 127585.619
AT ITER 9094 NEW BEST:: SOT 1136175 SOS 433314 HAS SOPS 421983 HAS SOUS 128286 HAS SOUPS 126870 WITH SCORE 127303.314
AT ITER 9102 NEW BEST:: SOT 1136156 SOS 433295 HAS SOPS 421964 HAS SOUS 128248 HAS SOUPS 126832 WITH SCORE 127265.295
AT ITER 9118 NEW BEST:: SOT 1136153 SOS 433292 HAS SOPS 421961 HAS SOUS 128245 HAS SOUPS 126829 WITH SCORE 127262.292
AT ITER 9162 NEW BEST:: SOT 1136166 SOS 433357 HAS SOPS 422026 HAS SOUS 128219 HAS SOUPS 126803 WITH SCORE 127236.357
AT ITER 9168 NEW BEST:: SOT 1136121 SOS 433714 HAS SOPS 422379 HAS SOUS 128087 HAS SOUPS 126671 WITH SCORE 127104.714
AT ITER 9175 NEW BEST:: SOT 1136089 SOS 433682 HAS SOPS 422347 HAS SOUS 128058 HAS SOUPS 126642 WITH SCORE 127075.682
AT ITER 9186 NEW BEST:: SOT 1135991 SOS 433593 HAS SOPS 422258 HAS SOUS 127958 HAS SOUPS 126542 WITH SCORE 126975.593
AT ITER 9188 NEW BEST:: SOT 1135891 SOS 433524 HAS SOPS 422189 HAS SOUS 127931 HAS SOUPS 126515 WITH SCORE 126948.524
AT ITER 9196 NEW BEST:: SOT 1135743 SOS 433429 HAS SOPS 422094 HAS SOUS 127634 HAS SOUPS 126218 WITH SCORE 126651.429
AT ITER 9257 NEW BEST:: SOT 1135740 SOS 433426 HAS SOPS 422091 HAS SOUS 127628 HAS SOUPS 126212 WITH SCORE 126645.426
AT ITER 9279 NEW BEST:: SOT 1135739 SOS 433425 HAS SOPS 422089 HAS SOUS 127626 HAS SOUPS 126210 WITH SCORE 126643.425
AT ITER 9313 NEW BEST:: SOT 1135736 SOS 433601 HAS SOPS 422242 HAS SOUS 127620 HAS SOUPS 126204 WITH SCORE 126637.601
AT ITER 9367 NEW BEST:: SOT 1132523 SOS 430388 HAS SOPS 419029 HAS SOUS 127128 HAS SOUPS 125712 WITH SCORE 126142.388
AT ITER 9377 NEW BEST:: SOT 1132512 SOS 430373 HAS SOPS 419014 HAS SOUS 127122 HAS SOUPS 125706 WITH SCORE 126136.373
AT ITER 9401 NEW BEST:: SOT 1132497 SOS 430377 HAS SOPS 419018 HAS SOUS 127092 HAS SOUPS 125676 WITH SCORE 126106.377
AT ITER 9406 NEW BEST:: SOT 1132428 SOS 430308 HAS SOPS 418949 HAS SOUS 127033 HAS SOUPS 125617 WITH SCORE 126047.308
AT ITER 9408 NEW BEST:: SOT 1132427 SOS 430307 HAS SOPS 418948 HAS SOUS 127032 HAS SOUPS 125616 WITH SCORE 126046.307
AT ITER 9451 NEW BEST:: SOT 1132382 SOS 430262 HAS SOPS 418903 HAS SOUS 126917 HAS SOUPS 125501 WITH SCORE 125931.262
AT ITER 9471 NEW BEST:: SOT 1132363 SOS 430224 HAS SOPS 418865 HAS SOUS 126879 HAS SOUPS 125463 WITH SCORE 125893.224
AT ITER 9482 NEW BEST:: SOT 1132143 SOS 429337 HAS SOPS 417978 HAS SOUS 126778 HAS SOUPS 125362 WITH SCORE 125791.337
AT ITER 9532 NEW BEST:: SOT 1131999 SOS 429193 HAS SOPS 417834 HAS SOUS 126750 HAS SOUPS 125334 WITH SCORE 125763.193
AT ITER 9565 NEW BEST:: SOT 1131985 SOS 429179 HAS SOPS 417820 HAS SOUS 126729 HAS SOUPS 125313 WITH SCORE 125742.179
AT ITER 9577 NEW BEST:: SOT 1131972 SOS 429036 HAS SOPS 417677 HAS SOUS 126703 HAS SOUPS 125287 WITH SCORE 125716.036
AT ITER 9627 NEW BEST:: SOT 1131721 SOS 429401 HAS SOPS 418048 HAS SOUS 126672 HAS SOUPS 125256 WITH SCORE 125685.401
AT ITER 9635 NEW BEST:: SOT 1131723 SOS 429359 HAS SOPS 418006 HAS SOUS 126645 HAS SOUPS 125229 WITH SCORE 125658.359
AT ITER 9643 NEW BEST:: SOT 1131536 SOS 428952 HAS SOPS 417570 HAS SOUS 126372 HAS SOUPS 124956 WITH SCORE 125384.952
AT ITER 9647 NEW BEST:: SOT 1131440 SOS 428856 HAS SOPS 417474 HAS SOUS 126168 HAS SOUPS 124752 WITH SCORE 125180.856
AT ITER 9669 NEW BEST:: SOT 1131425 SOS 428841 HAS SOPS 417459 HAS SOUS 126143 HAS SOUPS 124727 WITH SCORE 125155.841
AT ITER 9696 NEW BEST:: SOT 1131401 SOS 428817 HAS SOPS 417435 HAS SOUS 126095 HAS SOUPS 124679 WITH SCORE 125107.817
AT ITER 9717 NEW BEST:: SOT 1131331 SOS 428803 HAS SOPS 417421 HAS SOUS 126067 HAS SOUPS 124651 WITH SCORE 125079.803
AT ITER 9721 NEW BEST:: SOT 1131322 SOS 428762 HAS SOPS 417380 HAS SOUS 125999 HAS SOUPS 124583 WITH SCORE 125011.762
AT ITER 9722 NEW BEST:: SOT 1131329 SOS 428776 HAS SOPS 417401 HAS SOUS 125992 HAS SOUPS 124576 WITH SCORE 125004.776
AT ITER 9748 NEW BEST:: SOT 1131376 SOS 428823 HAS SOPS 417391 HAS SOUS 125902 HAS SOUPS 124486 WITH SCORE 124914.823
AT ITER 9782 NEW BEST:: SOT 1131357 SOS 428791 HAS SOPS 417359 HAS SOUS 125831 HAS SOUPS 124415 WITH SCORE 124843.791
AT ITER 9823 NEW BEST:: SOT 1131267 SOS 428338 HAS SOPS 416906 HAS SOUS 125789 HAS SOUPS 124373 WITH SCORE 124801.338
AT ITER 9833 NEW BEST:: SOT 1131188 SOS 428259 HAS SOPS 416827 HAS SOUS 125693 HAS SOUPS 124277 WITH SCORE 124705.259
AT ITER 9845 NEW BEST:: SOT 1131204 SOS 428008 HAS SOPS 416575 HAS SOUS 125691 HAS SOUPS 124275 WITH SCORE 124703.008
AT ITER 9859 NEW BEST:: SOT 1131198 SOS 428004 HAS SOPS 416571 HAS SOUS 125681 HAS SOUPS 124265 WITH SCORE 124693.004
AT ITER 9863 NEW BEST:: SOT 1131146 SOS 427952 HAS SOPS 416519 HAS SOUS 125681 HAS SOUPS 124265 WITH SCORE 124692.952
AT ITER 9864 NEW BEST:: SOT 1130222 SOS 426725 HAS SOPS 415292 HAS SOUS 125181 HAS SOUPS 123765 WITH SCORE 124191.725
AT ITER 9867 NEW BEST:: SOT 1130245 SOS 426700 HAS SOPS 415267 HAS SOUS 125156 HAS SOUPS 123740 WITH SCORE 124166.7
AT ITER 9879 NEW BEST:: SOT 1129916 SOS 426503 HAS SOPS 415070 HAS SOUS 124813 HAS SOUPS 123397 WITH SCORE 123823.503
AT ITER 9920 NEW BEST:: SOT 1130018 SOS 426776 HAS SOPS 415343 HAS SOUS 124752 HAS SOUPS 123336 WITH SCORE 123762.776
AT ITER 9955 NEW BEST:: SOT 1130082 SOS 426882 HAS SOPS 415449 HAS SOUS 124721 HAS SOUPS 123305 WITH SCORE 123731.882
AT ITER 9958 NEW BEST:: SOT 1129890 SOS 426670 HAS SOPS 415237 HAS SOUS 124628 HAS SOUPS 123212 WITH SCORE 123638.67
AT ITER 9966 NEW BEST:: SOT 1129934 SOS 426660 HAS SOPS 415227 HAS SOUS 124472 HAS SOUPS 123056 WITH SCORE 123482.66
AT ITER 9974 NEW BEST:: SOT 1129898 SOS 426660 HAS SOPS 415227 HAS SOUS 124400 HAS SOUPS 122984 WITH SCORE 123410.66
AT ITER 9989 NEW BEST:: SOT 1129888 SOS 426648 HAS SOPS 415215 HAS SOUS 124388 HAS SOUPS 122972 WITH SCORE 123398.648
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 11307876 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16142776 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-S04J04T08"
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-S04J04T08, 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-167873943000552"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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