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.r099-tall-167814472800768.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 DLCround-PT-12a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472800768
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 6.9K Feb 25 19:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 19:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 19:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 19:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 20:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K Feb 25 20:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 20:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 25 20:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 871K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678262969670

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=DLCround-PT-12a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 12a
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: 419 places, 3407 transitions, 13330 arcs.
AT ITER 0 NEW BEST:: SOT 885325 SOS 761883 HAS SOPS 463178 HAS SOUS 84380 HAS SOUPS 60636 WITH SCORE 61397.883
AT ITER 30 NEW BEST:: SOT 885282 SOS 761066 HAS SOPS 463049 HAS SOUS 84312 HAS SOUPS 60611 WITH SCORE 61372.066
AT ITER 31 NEW BEST:: SOT 885216 SOS 760934 HAS SOPS 463346 HAS SOUS 84180 HAS SOUPS 60512 WITH SCORE 61272.934
AT ITER 35 NEW BEST:: SOT 885147 SOS 759692 HAS SOPS 463208 HAS SOUS 84086 HAS SOUPS 60487 WITH SCORE 61246.692
AT ITER 44 NEW BEST:: SOT 885127 SOS 759372 HAS SOPS 463148 HAS SOUS 84006 HAS SOUPS 60427 WITH SCORE 61186.372
AT ITER 67 NEW BEST:: SOT 884751 SOS 759181 HAS SOPS 461847 HAS SOUS 82094 HAS SOUPS 58279 WITH SCORE 59038.181
AT ITER 74 NEW BEST:: SOT 884866 SOS 759258 HAS SOPS 461924 HAS SOUS 82082 HAS SOUPS 58267 WITH SCORE 59026.258
AT ITER 84 NEW BEST:: SOT 884956 SOS 758222 HAS SOPS 461912 HAS SOUS 81942 HAS SOUPS 58191 WITH SCORE 58949.222
AT ITER 106 NEW BEST:: SOT 884936 SOS 757862 HAS SOPS 461552 HAS SOUS 81922 HAS SOUPS 58171 WITH SCORE 58928.862
AT ITER 109 NEW BEST:: SOT 884878 SOS 756818 HAS SOPS 460508 HAS SOUS 81864 HAS SOUPS 58113 WITH SCORE 58869.818
AT ITER 122 NEW BEST:: SOT 884868 SOS 756798 HAS SOPS 460488 HAS SOUS 81844 HAS SOUPS 58093 WITH SCORE 58849.798
AT ITER 133 NEW BEST:: SOT 884863 SOS 756708 HAS SOPS 460398 HAS SOUS 81839 HAS SOUPS 58088 WITH SCORE 58844.708
AT ITER 146 NEW BEST:: SOT 884844 SOS 756366 HAS SOPS 460056 HAS SOUS 81820 HAS SOUPS 58069 WITH SCORE 58825.366
AT ITER 148 NEW BEST:: SOT 883927 SOS 755611 HAS SOPS 458491 HAS SOUS 80327 HAS SOUPS 55968 WITH SCORE 56723.611
AT ITER 151 NEW BEST:: SOT 883927 SOS 755611 HAS SOPS 458491 HAS SOUS 80319 HAS SOUPS 55960 WITH SCORE 56715.611
AT ITER 170 NEW BEST:: SOT 885054 SOS 753460 HAS SOPS 458093 HAS SOUS 82564 HAS SOUPS 55953 WITH SCORE 56706.46
AT ITER 172 NEW BEST:: SOT 884918 SOS 751012 HAS SOPS 457197 HAS SOUS 82461 HAS SOUPS 55947 WITH SCORE 56698.012
AT ITER 178 NEW BEST:: SOT 885120 SOS 751242 HAS SOPS 457259 HAS SOUS 82299 HAS SOUPS 55785 WITH SCORE 56536.242
AT ITER 201 NEW BEST:: SOT 885156 SOS 751242 HAS SOPS 457259 HAS SOUS 82202 HAS SOUPS 55688 WITH SCORE 56439.242
AT ITER 209 NEW BEST:: SOT 886144 SOS 752424 HAS SOPS 457277 HAS SOUS 81910 HAS SOUPS 54988 WITH SCORE 55740.424
AT ITER 213 NEW BEST:: SOT 886023 SOS 752303 HAS SOPS 457269 HAS SOUS 81190 HAS SOUPS 54484 WITH SCORE 55236.303
AT ITER 273 NEW BEST:: SOT 886015 SOS 752287 HAS SOPS 457269 HAS SOUS 81190 HAS SOUPS 54484 WITH SCORE 55236.287
AT ITER 283 NEW BEST:: SOT 886013 SOS 752283 HAS SOPS 457265 HAS SOUS 81186 HAS SOUPS 54480 WITH SCORE 55232.283
AT ITER 284 NEW BEST:: SOT 885973 SOS 752283 HAS SOPS 457205 HAS SOUS 81146 HAS SOUPS 54440 WITH SCORE 55192.283
AT ITER 290 NEW BEST:: SOT 885878 SOS 753907 HAS SOPS 457978 HAS SOUS 81051 HAS SOUPS 54345 WITH SCORE 55098.907
AT ITER 309 NEW BEST:: SOT 886659 SOS 750154 HAS SOPS 456817 HAS SOUS 81433 HAS SOUPS 53554 WITH SCORE 54304.154
AT ITER 311 NEW BEST:: SOT 886607 SOS 750050 HAS SOPS 456765 HAS SOUS 81320 HAS SOUPS 53497 WITH SCORE 54247.05
AT ITER 315 NEW BEST:: SOT 885091 SOS 748518 HAS SOPS 456348 HAS SOUS 80451 HAS SOUPS 53236 WITH SCORE 53984.518
AT ITER 331 NEW BEST:: SOT 886816 SOS 747626 HAS SOPS 455768 HAS SOUS 83504 HAS SOUPS 53165 WITH SCORE 53912.626
AT ITER 339 NEW BEST:: SOT 886737 SOS 747468 HAS SOPS 455689 HAS SOUS 83374 HAS SOUPS 53102 WITH SCORE 53849.468
AT ITER 345 NEW BEST:: SOT 887301 SOS 748238 HAS SOPS 455223 HAS SOUS 82881 HAS SOUPS 52029 WITH SCORE 52777.238
AT ITER 352 NEW BEST:: SOT 887301 SOS 748238 HAS SOPS 455170 HAS SOUS 82828 HAS SOUPS 51976 WITH SCORE 52724.238
AT ITER 366 NEW BEST:: SOT 887311 SOS 748248 HAS SOPS 455169 HAS SOUS 82827 HAS SOUPS 51975 WITH SCORE 52723.248
AT ITER 370 NEW BEST:: SOT 887277 SOS 747622 HAS SOPS 454831 HAS SOUS 82777 HAS SOUPS 51943 WITH SCORE 52690.622
AT ITER 372 NEW BEST:: SOT 887083 SOS 743111 HAS SOPS 454299 HAS SOUS 83466 HAS SOUPS 51744 WITH SCORE 52487.111
AT ITER 381 NEW BEST:: SOT 886926 SOS 743366 HAS SOPS 453524 HAS SOUS 82184 HAS SOUPS 49990 WITH SCORE 50733.366
AT ITER 387 NEW BEST:: SOT 889438 SOS 745840 HAS SOPS 457378 HAS SOUS 81610 HAS SOUPS 49888 WITH SCORE 50633.84
AT ITER 392 NEW BEST:: SOT 889528 SOS 744916 HAS SOPS 457478 HAS SOUS 81477 HAS SOUPS 49819 WITH SCORE 50563.916
AT ITER 408 NEW BEST:: SOT 889520 SOS 744780 HAS SOPS 457470 HAS SOUS 81461 HAS SOUPS 49811 WITH SCORE 50555.78
AT ITER 410 NEW BEST:: SOT 889435 SOS 743989 HAS SOPS 456679 HAS SOUS 81390 HAS SOUPS 49740 WITH SCORE 50483.989
AT ITER 416 NEW BEST:: SOT 889432 SOS 743986 HAS SOPS 456676 HAS SOUS 81387 HAS SOUPS 49737 WITH SCORE 50480.986
AT ITER 431 NEW BEST:: SOT 889399 SOS 742163 HAS SOPS 456297 HAS SOUS 81114 HAS SOUPS 49318 WITH SCORE 50060.163
AT ITER 432 NEW BEST:: SOT 889479 SOS 742435 HAS SOPS 456377 HAS SOUS 81002 HAS SOUPS 49270 WITH SCORE 50012.435
AT ITER 442 NEW BEST:: SOT 889430 SOS 741377 HAS SOPS 455831 HAS SOUS 80940 HAS SOUPS 49240 WITH SCORE 49981.377
AT ITER 452 NEW BEST:: SOT 889345 SOS 739847 HAS SOPS 455661 HAS SOUS 80855 HAS SOUPS 49240 WITH SCORE 49979.847
AT ITER 469 NEW BEST:: SOT 889318 SOS 739701 HAS SOPS 455515 HAS SOUS 80855 HAS SOUPS 49240 WITH SCORE 49979.701
AT ITER 477 NEW BEST:: SOT 889416 SOS 738673 HAS SOPS 455575 HAS SOUS 80715 HAS SOUPS 49168 WITH SCORE 49906.673
AT ITER 498 NEW BEST:: SOT 889416 SOS 738673 HAS SOPS 455505 HAS SOUS 80657 HAS SOUPS 49110 WITH SCORE 49848.673
AT ITER 504 NEW BEST:: SOT 890115 SOS 739543 HAS SOPS 455520 HAS SOUS 79304 HAS SOUPS 47757 WITH SCORE 48496.543
AT ITER 505 NEW BEST:: SOT 890137 SOS 738159 HAS SOPS 455432 HAS SOUS 79150 HAS SOUPS 47684 WITH SCORE 48422.159
AT ITER 531 NEW BEST:: SOT 890716 SOS 734767 HAS SOPS 454840 HAS SOUS 80917 HAS SOUPS 47536 WITH SCORE 48270.767
AT ITER 554 NEW BEST:: SOT 890712 SOS 734759 HAS SOPS 454832 HAS SOUS 80915 HAS SOUPS 47534 WITH SCORE 48268.759
AT ITER 561 NEW BEST:: SOT 890686 SOS 734421 HAS SOPS 454832 HAS SOUS 80856 HAS SOUPS 47501 WITH SCORE 48235.421
AT ITER 562 NEW BEST:: SOT 889366 SOS 733407 HAS SOPS 454298 HAS SOUS 79331 HAS SOUPS 46739 WITH SCORE 47472.407
AT ITER 563 NEW BEST:: SOT 889347 SOS 731754 HAS SOPS 452645 HAS SOUS 79331 HAS SOUPS 46739 WITH SCORE 47470.754
AT ITER 567 NEW BEST:: SOT 889645 SOS 732052 HAS SOPS 452255 HAS SOUS 77767 HAS SOUPS 45230 WITH SCORE 45962.052
AT ITER 570 NEW BEST:: SOT 889641 SOS 731964 HAS SOPS 452195 HAS SOUS 77767 HAS SOUPS 45230 WITH SCORE 45961.964
AT ITER 574 NEW BEST:: SOT 889257 SOS 731612 HAS SOPS 452195 HAS SOUS 77278 HAS SOUPS 45224 WITH SCORE 45955.612
AT ITER 582 NEW BEST:: SOT 889174 SOS 730118 HAS SOPS 452029 HAS SOUS 77194 HAS SOUPS 45223 WITH SCORE 45953.118
AT ITER 602 NEW BEST:: SOT 889211 SOS 730187 HAS SOPS 452098 HAS SOUS 77175 HAS SOUPS 45204 WITH SCORE 45934.187
AT ITER 605 NEW BEST:: SOT 889365 SOS 730687 HAS SOPS 451560 HAS SOUS 75568 HAS SOUPS 43497 WITH SCORE 44227.687
AT ITER 608 NEW BEST:: SOT 889385 SOS 730683 HAS SOPS 451560 HAS SOUS 75544 HAS SOUPS 43497 WITH SCORE 44227.683
AT ITER 623 NEW BEST:: SOT 889385 SOS 730953 HAS SOPS 451686 HAS SOUS 75544 HAS SOUPS 43488 WITH SCORE 44218.953
AT ITER 632 NEW BEST:: SOT 889303 SOS 730325 HAS SOPS 451058 HAS SOUS 75529 HAS SOUPS 43473 WITH SCORE 44203.325
AT ITER 643 NEW BEST:: SOT 889106 SOS 730935 HAS SOPS 450996 HAS SOUS 75404 HAS SOUPS 43418 WITH SCORE 44148.935
AT ITER 645 NEW BEST:: SOT 887825 SOS 727308 HAS SOPS 449781 HAS SOUS 75491 HAS SOUPS 43267 WITH SCORE 43994.308
AT ITER 647 NEW BEST:: SOT 888150 SOS 727377 HAS SOPS 449202 HAS SOUS 76497 HAS SOUPS 43172 WITH SCORE 43899.377
AT ITER 689 NEW BEST:: SOT 888124 SOS 727169 HAS SOPS 449163 HAS SOUS 76466 HAS SOUPS 43154 WITH SCORE 43881.169
AT ITER 710 NEW BEST:: SOT 888114 SOS 727149 HAS SOPS 449153 HAS SOUS 76446 HAS SOUPS 43144 WITH SCORE 43871.149
AT ITER 736 NEW BEST:: SOT 888120 SOS 727104 HAS SOPS 449150 HAS SOUS 76440 HAS SOUPS 43138 WITH SCORE 43865.104
AT ITER 742 NEW BEST:: SOT 887667 SOS 726632 HAS SOPS 448621 HAS SOUS 76424 HAS SOUPS 43111 WITH SCORE 43837.632
AT ITER 745 NEW BEST:: SOT 887667 SOS 726632 HAS SOPS 448621 HAS SOUS 76379 HAS SOUPS 43086 WITH SCORE 43812.632
AT ITER 747 NEW BEST:: SOT 887464 SOS 726498 HAS SOPS 448281 HAS SOUS 75906 HAS SOUPS 42488 WITH SCORE 43214.498
AT ITER 751 NEW BEST:: SOT 887460 SOS 726494 HAS SOPS 448277 HAS SOUS 75902 HAS SOUPS 42484 WITH SCORE 43210.494
AT ITER 752 NEW BEST:: SOT 886778 SOS 723234 HAS SOPS 446468 HAS SOUS 77614 HAS SOUPS 42477 WITH SCORE 43200.234
AT ITER 756 NEW BEST:: SOT 886728 SOS 723161 HAS SOPS 446441 HAS SOUS 77564 HAS SOUPS 42450 WITH SCORE 43173.161
AT ITER 761 NEW BEST:: SOT 886773 SOS 723230 HAS SOPS 446462 HAS SOUS 77536 HAS SOUPS 42428 WITH SCORE 43151.23
AT ITER 763 NEW BEST:: SOT 886751 SOS 723190 HAS SOPS 446458 HAS SOUS 77516 HAS SOUPS 42426 WITH SCORE 43149.19
AT ITER 765 NEW BEST:: SOT 886702 SOS 721692 HAS SOPS 445776 HAS SOUS 77452 HAS SOUPS 42406 WITH SCORE 43127.692
AT ITER 768 NEW BEST:: SOT 886837 SOS 718784 HAS SOPS 444484 HAS SOUS 77334 HAS SOUPS 42389 WITH SCORE 43107.784
AT ITER 772 NEW BEST:: SOT 886685 SOS 718591 HAS SOPS 444373 HAS SOUS 77182 HAS SOUPS 42278 WITH SCORE 42996.591
AT ITER 803 NEW BEST:: SOT 886605 SOS 716895 HAS SOPS 443445 HAS SOUS 77070 HAS SOUPS 42214 WITH SCORE 42930.895
AT ITER 831 NEW BEST:: SOT 886551 SOS 716787 HAS SOPS 443391 HAS SOUS 76962 HAS SOUPS 42160 WITH SCORE 42876.787
AT ITER 844 NEW BEST:: SOT 886420 SOS 718290 HAS SOPS 443844 HAS SOUS 76869 HAS SOUPS 42097 WITH SCORE 42815.29
AT ITER 851 NEW BEST:: SOT 886338 SOS 712420 HAS SOPS 438770 HAS SOUS 76799 HAS SOUPS 42080 WITH SCORE 42792.42
AT ITER 857 NEW BEST:: SOT 885988 SOS 712566 HAS SOPS 438916 HAS SOUS 76438 HAS SOUPS 41719 WITH SCORE 42431.566
AT ITER 861 NEW BEST:: SOT 885992 SOS 712570 HAS SOPS 438917 HAS SOUS 76434 HAS SOUPS 41716 WITH SCORE 42428.57
AT ITER 864 NEW BEST:: SOT 885836 SOS 712427 HAS SOPS 438917 HAS SOUS 76230 HAS SOUPS 41710 WITH SCORE 42422.427
AT ITER 865 NEW BEST:: SOT 885818 SOS 712545 HAS SOPS 439035 HAS SOUS 76168 HAS SOUPS 41648 WITH SCORE 42360.545
AT ITER 870 NEW BEST:: SOT 885819 SOS 712203 HAS SOPS 438885 HAS SOUS 76126 HAS SOUPS 41618 WITH SCORE 42330.203
AT ITER 901 NEW BEST:: SOT 885792 SOS 709647 HAS SOPS 436329 HAS SOUS 76081 HAS SOUPS 41573 WITH SCORE 42282.647
AT ITER 924 NEW BEST:: SOT 885776 SOS 709584 HAS SOPS 436313 HAS SOUS 76042 HAS SOUPS 41572 WITH SCORE 42281.584
AT ITER 957 NEW BEST:: SOT 885860 SOS 714434 HAS SOPS 437517 HAS SOUS 75983 HAS SOUPS 41503 WITH SCORE 42217.434
AT ITER 974 NEW BEST:: SOT 885874 SOS 714493 HAS SOPS 437531 HAS SOUS 76018 HAS SOUPS 41502 WITH SCORE 42216.493
AT ITER 976 NEW BEST:: SOT 885867 SOS 714480 HAS SOPS 437530 HAS SOUS 76011 HAS SOUPS 41501 WITH SCORE 42215.48
AT ITER 980 NEW BEST:: SOT 885867 SOS 714430 HAS SOPS 437480 HAS SOUS 76011 HAS SOUPS 41501 WITH SCORE 42215.43
AT ITER 990 NEW BEST:: SOT 885617 SOS 714055 HAS SOPS 437480 HAS SOUS 75547 HAS SOUPS 41308 WITH SCORE 42022.055
AT ITER 1002 NEW BEST:: SOT 885604 SOS 714029 HAS SOPS 437480 HAS SOUS 75534 HAS SOUPS 41308 WITH SCORE 42022.029
AT ITER 1008 NEW BEST:: SOT 885535 SOS 705919 HAS SOPS 429370 HAS SOUS 75460 HAS SOUPS 41234 WITH SCORE 41939.919
AT ITER 1026 NEW BEST:: SOT 883537 SOS 701218 HAS SOPS 427801 HAS SOUS 75413 HAS SOUPS 41121 WITH SCORE 41822.218
AT ITER 1058 NEW BEST:: SOT 883436 SOS 699677 HAS SOPS 427146 HAS SOUS 75281 HAS SOUPS 41045 WITH SCORE 41744.677
AT ITER 1089 NEW BEST:: SOT 883475 SOS 699716 HAS SOPS 427125 HAS SOUS 75260 HAS SOUPS 41024 WITH SCORE 41723.716
AT ITER 1099 NEW BEST:: SOT 883478 SOS 699719 HAS SOPS 427123 HAS SOUS 75253 HAS SOUPS 41017 WITH SCORE 41716.719
AT ITER 1110 NEW BEST:: SOT 883456 SOS 699675 HAS SOPS 427123 HAS SOUS 75222 HAS SOUPS 41012 WITH SCORE 41711.675
AT ITER 1119 NEW BEST:: SOT 883413 SOS 699588 HAS SOPS 427036 HAS SOUS 75216 HAS SOUPS 41006 WITH SCORE 41705.588
AT ITER 1120 NEW BEST:: SOT 883337 SOS 699512 HAS SOPS 426960 HAS SOUS 75204 HAS SOUPS 40994 WITH SCORE 41693.512
AT ITER 1151 NEW BEST:: SOT 883434 SOS 698461 HAS SOPS 427045 HAS SOUS 75076 HAS SOUPS 40937 WITH SCORE 41635.461
AT ITER 1154 NEW BEST:: SOT 883410 SOS 698029 HAS SOPS 426997 HAS SOUS 75052 HAS SOUPS 40937 WITH SCORE 41635.029
AT ITER 1155 NEW BEST:: SOT 883346 SOS 696877 HAS SOPS 426357 HAS SOUS 74988 HAS SOUPS 40905 WITH SCORE 41601.877
AT ITER 1211 NEW BEST:: SOT 883253 SOS 697310 HAS SOPS 426300 HAS SOUS 74953 HAS SOUPS 40856 WITH SCORE 41553.31
AT ITER 1226 NEW BEST:: SOT 883225 SOS 697282 HAS SOPS 426272 HAS SOUS 74925 HAS SOUPS 40828 WITH SCORE 41525.282
AT ITER 1270 NEW BEST:: SOT 883239 SOS 697177 HAS SOPS 426167 HAS SOUS 74918 HAS SOUPS 40821 WITH SCORE 41518.177
AT ITER 1275 NEW BEST:: SOT 883239 SOS 697613 HAS SOPS 426428 HAS SOUS 74870 HAS SOUPS 40773 WITH SCORE 41470.613
AT ITER 1285 NEW BEST:: SOT 884037 SOS 698306 HAS SOPS 426701 HAS SOUS 74559 HAS SOUPS 40567 WITH SCORE 41265.306
AT ITER 1313 NEW BEST:: SOT 883031 SOS 697100 HAS SOPS 425995 HAS SOUS 74553 HAS SOUPS 40561 WITH SCORE 41258.1
AT ITER 1314 NEW BEST:: SOT 883058 SOS 697482 HAS SOPS 426377 HAS SOUS 74526 HAS SOUPS 40534 WITH SCORE 41231.482
AT ITER 1328 NEW BEST:: SOT 883036 SOS 693261 HAS SOPS 422876 HAS SOUS 74481 HAS SOUPS 40534 WITH SCORE 41227.261
AT ITER 1355 NEW BEST:: SOT 882540 SOS 692382 HAS SOPS 422737 HAS SOUS 74147 HAS SOUPS 40451 WITH SCORE 41143.382
AT ITER 1385 NEW BEST:: SOT 881865 SOS 691739 HAS SOPS 423343 HAS SOUS 72539 HAS SOUPS 40404 WITH SCORE 41095.739
AT ITER 1387 NEW BEST:: SOT 881799 SOS 691651 HAS SOPS 423277 HAS SOUS 72495 HAS SOUPS 40382 WITH SCORE 41073.651
AT ITER 1388 NEW BEST:: SOT 881793 SOS 691643 HAS SOPS 423269 HAS SOUS 72493 HAS SOUPS 40380 WITH SCORE 41071.643
AT ITER 1390 NEW BEST:: SOT 881763 SOS 691613 HAS SOPS 423239 HAS SOUS 72501 HAS SOUPS 40379 WITH SCORE 41070.613
AT ITER 1393 NEW BEST:: SOT 881749 SOS 691367 HAS SOPS 423097 HAS SOUS 72495 HAS SOUPS 40373 WITH SCORE 41064.367
AT ITER 1400 NEW BEST:: SOT 881533 SOS 691187 HAS SOPS 422737 HAS SOUS 72432 HAS SOUPS 40178 WITH SCORE 40869.187
AT ITER 1411 NEW BEST:: SOT 881524 SOS 689853 HAS SOPS 422130 HAS SOUS 72410 HAS SOUPS 40156 WITH SCORE 40845.853
AT ITER 1423 NEW BEST:: SOT 881473 SOS 688569 HAS SOPS 421872 HAS SOUS 72343 HAS SOUPS 40105 WITH SCORE 40793.569
AT ITER 1441 NEW BEST:: SOT 881460 SOS 688543 HAS SOPS 421859 HAS SOUS 72317 HAS SOUPS 40092 WITH SCORE 40780.543
AT ITER 1447 NEW BEST:: SOT 881404 SOS 693902 HAS SOPS 424688 HAS SOUS 72261 HAS SOUPS 40036 WITH SCORE 40729.902
AT ITER 1465 NEW BEST:: SOT 881398 SOS 693937 HAS SOPS 424703 HAS SOUS 72257 HAS SOUPS 40035 WITH SCORE 40728.937
AT ITER 1472 NEW BEST:: SOT 881388 SOS 693927 HAS SOPS 424703 HAS SOUS 72257 HAS SOUPS 40035 WITH SCORE 40728.927
AT ITER 1483 NEW BEST:: SOT 881320 SOS 692159 HAS SOPS 423751 HAS SOUS 72168 HAS SOUPS 39997 WITH SCORE 40689.159
AT ITER 1496 NEW BEST:: SOT 881217 SOS 692027 HAS SOPS 423648 HAS SOUS 72094 HAS SOUPS 39952 WITH SCORE 40644.027
AT ITER 1497 NEW BEST:: SOT 881264 SOS 691275 HAS SOPS 423648 HAS SOUS 72017 HAS SOUPS 39922 WITH SCORE 40613.275
AT ITER 1520 NEW BEST:: SOT 881263 SOS 691175 HAS SOPS 423561 HAS SOUS 72017 HAS SOUPS 39922 WITH SCORE 40613.175
AT ITER 1542 NEW BEST:: SOT 881228 SOS 691105 HAS SOPS 423526 HAS SOUS 71955 HAS SOUPS 39895 WITH SCORE 40586.105
AT ITER 1549 NEW BEST:: SOT 881174 SOS 691051 HAS SOPS 423526 HAS SOUS 71955 HAS SOUPS 39895 WITH SCORE 40586.051
AT ITER 1584 NEW BEST:: SOT 881165 SOS 691042 HAS SOPS 423526 HAS SOUS 71955 HAS SOUPS 39895 WITH SCORE 40586.042
AT ITER 1594 NEW BEST:: SOT 881156 SOS 690951 HAS SOPS 423517 HAS SOUS 71864 HAS SOUPS 39886 WITH SCORE 40576.951
AT ITER 1605 NEW BEST:: SOT 880220 SOS 690171 HAS SOPS 424453 HAS SOUS 69539 HAS SOUPS 39848 WITH SCORE 40538.171
AT ITER 1610 NEW BEST:: SOT 880186 SOS 689873 HAS SOPS 424428 HAS SOUS 69472 HAS SOUPS 39802 WITH SCORE 40491.873
AT ITER 1621 NEW BEST:: SOT 878558 SOS 688245 HAS SOPS 422430 HAS SOUS 69036 HAS SOUPS 39366 WITH SCORE 40054.245
AT ITER 1627 NEW BEST:: SOT 877710 SOS 687505 HAS SOPS 421350 HAS SOUS 68647 HAS SOUPS 38764 WITH SCORE 39451.505
AT ITER 1641 NEW BEST:: SOT 878450 SOS 689059 HAS SOPS 421794 HAS SOUS 68565 HAS SOUPS 38756 WITH SCORE 39445.059
AT ITER 1647 NEW BEST:: SOT 878379 SOS 688917 HAS SOPS 421794 HAS SOUS 68197 HAS SOUPS 38591 WITH SCORE 39279.917
AT ITER 1653 NEW BEST:: SOT 878282 SOS 688780 HAS SOPS 421697 HAS SOUS 68117 HAS SOUPS 38551 WITH SCORE 39239.78
AT ITER 1684 NEW BEST:: SOT 878259 SOS 686779 HAS SOPS 419696 HAS SOUS 68117 HAS SOUPS 38551 WITH SCORE 39237.779
AT ITER 1709 NEW BEST:: SOT 878081 SOS 686542 HAS SOPS 419577 HAS SOUS 68001 HAS SOUPS 38494 WITH SCORE 39180.542
AT ITER 1721 NEW BEST:: SOT 878093 SOS 686398 HAS SOPS 419753 HAS SOUS 67953 HAS SOUPS 38466 WITH SCORE 39152.398
AT ITER 1743 NEW BEST:: SOT 878060 SOS 682116 HAS SOPS 416111 HAS SOUS 67902 HAS SOUPS 38455 WITH SCORE 39137.116
AT ITER 1753 NEW BEST:: SOT 878150 SOS 681486 HAS SOPS 416201 HAS SOUS 67857 HAS SOUPS 38455 WITH SCORE 39136.486
AT ITER 1763 NEW BEST:: SOT 878282 SOS 681590 HAS SOPS 416246 HAS SOUS 67829 HAS SOUPS 38450 WITH SCORE 39131.59
AT ITER 1768 NEW BEST:: SOT 878186 SOS 681615 HAS SOPS 416432 HAS SOUS 67373 HAS SOUPS 38388 WITH SCORE 39069.615
AT ITER 1769 NEW BEST:: SOT 878150 SOS 681579 HAS SOPS 416386 HAS SOUS 67352 HAS SOUPS 38363 WITH SCORE 39044.579
AT ITER 1773 NEW BEST:: SOT 878104 SOS 683074 HAS SOPS 417881 HAS SOUS 67329 HAS SOUPS 38340 WITH SCORE 39023.074
AT ITER 1807 NEW BEST:: SOT 878032 SOS 682966 HAS SOPS 417845 HAS SOUS 67299 HAS SOUPS 38328 WITH SCORE 39010.966
AT ITER 1811 NEW BEST:: SOT 878031 SOS 682965 HAS SOPS 417844 HAS SOUS 67298 HAS SOUPS 38327 WITH SCORE 39009.965
AT ITER 1813 NEW BEST:: SOT 878029 SOS 682946 HAS SOPS 417841 HAS SOUS 67297 HAS SOUPS 38327 WITH SCORE 39009.946
AT ITER 1831 NEW BEST:: SOT 877990 SOS 682868 HAS SOPS 417841 HAS SOUS 67258 HAS SOUPS 38327 WITH SCORE 39009.868
AT ITER 1857 NEW BEST:: SOT 877962 SOS 681412 HAS SOPS 416609 HAS SOUS 67216 HAS SOUPS 38299 WITH SCORE 38980.412
AT ITER 1859 NEW BEST:: SOT 878341 SOS 681732 HAS SOPS 417047 HAS SOUS 67154 HAS SOUPS 38297 WITH SCORE 38978.732
AT ITER 1871 NEW BEST:: SOT 878582 SOS 681973 HAS SOPS 416868 HAS SOUS 66555 HAS SOUPS 37698 WITH SCORE 38379.973
AT ITER 1882 NEW BEST:: SOT 878297 SOS 681585 HAS SOPS 416583 HAS SOUS 66336 HAS SOUPS 37582 WITH SCORE 38263.585
AT ITER 1897 NEW BEST:: SOT 878260 SOS 681564 HAS SOPS 416578 HAS SOUS 66307 HAS SOUPS 37555 WITH SCORE 38236.564
AT ITER 1902 NEW BEST:: SOT 878260 SOS 681292 HAS SOPS 416306 HAS SOUS 66298 HAS SOUPS 37546 WITH SCORE 38227.292
AT ITER 1904 NEW BEST:: SOT 878263 SOS 681280 HAS SOPS 416294 HAS SOUS 66283 HAS SOUPS 37531 WITH SCORE 38212.28
AT ITER 1913 NEW BEST:: SOT 878220 SOS 681194 HAS SOPS 416294 HAS SOUS 66240 HAS SOUPS 37531 WITH SCORE 38212.194
AT ITER 1928 NEW BEST:: SOT 878177 SOS 680420 HAS SOPS 416208 HAS SOUS 66194 HAS SOUPS 37528 WITH SCORE 38208.42
AT ITER 1930 NEW BEST:: SOT 877973 SOS 680115 HAS SOPS 416105 HAS SOUS 66078 HAS SOUPS 37497 WITH SCORE 38177.115
AT ITER 1937 NEW BEST:: SOT 877969 SOS 680109 HAS SOPS 416105 HAS SOUS 66058 HAS SOUPS 37487 WITH SCORE 38167.109
AT ITER 1967 NEW BEST:: SOT 877949 SOS 679942 HAS SOPS 416085 HAS SOUS 65891 HAS SOUPS 37467 WITH SCORE 38146.942
AT ITER 2008 NEW BEST:: SOT 876920 SOS 677247 HAS SOPS 415352 HAS SOUS 65826 HAS SOUPS 37415 WITH SCORE 38092.247
AT ITER 2036 NEW BEST:: SOT 876904 SOS 676767 HAS SOPS 415320 HAS SOUS 65794 HAS SOUPS 37411 WITH SCORE 38087.767
AT ITER 2055 NEW BEST:: SOT 876849 SOS 675777 HAS SOPS 415002 HAS SOUS 65688 HAS SOUPS 37347 WITH SCORE 38022.777
AT ITER 2059 NEW BEST:: SOT 876221 SOS 675049 HAS SOPS 414274 HAS SOUS 65588 HAS SOUPS 37247 WITH SCORE 37922.049
AT ITER 2068 NEW BEST:: SOT 876351 SOS 675244 HAS SOPS 414274 HAS SOUS 65621 HAS SOUPS 37227 WITH SCORE 37902.244
AT ITER 2083 NEW BEST:: SOT 876369 SOS 675262 HAS SOPS 414260 HAS SOUS 65607 HAS SOUPS 37213 WITH SCORE 37888.262
AT ITER 2086 NEW BEST:: SOT 876367 SOS 675258 HAS SOPS 414198 HAS SOUS 65543 HAS SOUPS 37151 WITH SCORE 37826.258
AT ITER 2089 NEW BEST:: SOT 876332 SOS 675881 HAS SOPS 414485 HAS SOUS 65550 HAS SOUPS 37137 WITH SCORE 37812.881
AT ITER 2114 NEW BEST:: SOT 876191 SOS 675673 HAS SOPS 414411 HAS SOUS 65425 HAS SOUPS 37079 WITH SCORE 37754.673
AT ITER 2133 NEW BEST:: SOT 876117 SOS 674715 HAS SOPS 414285 HAS SOUS 65306 HAS SOUPS 37012 WITH SCORE 37686.715
AT ITER 2139 NEW BEST:: SOT 876211 SOS 674809 HAS SOPS 414295 HAS SOUS 65246 HAS SOUPS 36952 WITH SCORE 37626.809
AT ITER 2151 NEW BEST:: SOT 876258 SOS 674063 HAS SOPS 414253 HAS SOUS 65177 HAS SOUPS 36927 WITH SCORE 37601.063
AT ITER 2155 NEW BEST:: SOT 876576 SOS 674381 HAS SOPS 414571 HAS SOUS 65126 HAS SOUPS 36889 WITH SCORE 37563.381
AT ITER 2157 NEW BEST:: SOT 876111 SOS 671057 HAS SOPS 413635 HAS SOUS 65341 HAS SOUPS 36869 WITH SCORE 37540.057
AT ITER 2192 NEW BEST:: SOT 876086 SOS 670991 HAS SOPS 413610 HAS SOUS 65266 HAS SOUPS 36839 WITH SCORE 37509.991
AT ITER 2208 NEW BEST:: SOT 876058 SOS 670935 HAS SOPS 413582 HAS SOUS 65232 HAS SOUPS 36833 WITH SCORE 37503.935
AT ITER 2210 NEW BEST:: SOT 876313 SOS 671190 HAS SOPS 413837 HAS SOUS 65229 HAS SOUPS 36830 WITH SCORE 37501.19
AT ITER 2219 NEW BEST:: SOT 876304 SOS 671079 HAS SOPS 413774 HAS SOUS 65220 HAS SOUPS 36824 WITH SCORE 37495.079
AT ITER 2225 NEW BEST:: SOT 876303 SOS 671065 HAS SOPS 413769 HAS SOUS 65218 HAS SOUPS 36823 WITH SCORE 37494.065
AT ITER 2241 NEW BEST:: SOT 876293 SOS 671045 HAS SOPS 413749 HAS SOUS 65218 HAS SOUPS 36823 WITH SCORE 37494.045
AT ITER 2247 NEW BEST:: SOT 875923 SOS 670914 HAS SOPS 414271 HAS SOUS 63828 HAS SOUPS 36649 WITH SCORE 37319.914
AT ITER 2249 NEW BEST:: SOT 875920 SOS 670908 HAS SOPS 414268 HAS SOUS 63822 HAS SOUPS 36646 WITH SCORE 37316.908
AT ITER 2270 NEW BEST:: SOT 875920 SOS 670908 HAS SOPS 414268 HAS SOUS 63813 HAS SOUPS 36641 WITH SCORE 37311.908
AT ITER 2298 NEW BEST:: SOT 875801 SOS 668748 HAS SOPS 413548 HAS SOUS 63703 HAS SOUPS 36621 WITH SCORE 37289.748
AT ITER 2302 NEW BEST:: SOT 876227 SOS 670069 HAS SOPS 413958 HAS SOUS 63499 HAS SOUPS 36554 WITH SCORE 37224.069
AT ITER 2303 NEW BEST:: SOT 876200 SOS 669903 HAS SOPS 413926 HAS SOUS 63328 HAS SOUPS 36522 WITH SCORE 37191.903
AT ITER 2337 NEW BEST:: SOT 876231 SOS 669914 HAS SOPS 413902 HAS SOUS 63284 HAS SOUPS 36498 WITH SCORE 37167.914
AT ITER 2355 NEW BEST:: SOT 876332 SOS 664753 HAS SOPS 408741 HAS SOUS 63268 HAS SOUPS 36482 WITH SCORE 37146.753
AT ITER 2363 NEW BEST:: SOT 876275 SOS 664143 HAS SOPS 407539 HAS SOUS 63282 HAS SOUPS 36459 WITH SCORE 37123.143
AT ITER 2392 NEW BEST:: SOT 876379 SOS 662279 HAS SOPS 406982 HAS SOUS 63234 HAS SOUPS 36426 WITH SCORE 37088.279
AT ITER 2394 NEW BEST:: SOT 877919 SOS 664159 HAS SOPS 407842 HAS SOUS 63219 HAS SOUPS 36411 WITH SCORE 37075.159
AT ITER 2395 NEW BEST:: SOT 877803 SOS 663927 HAS SOPS 406682 HAS SOUS 63219 HAS SOUPS 36353 WITH SCORE 37016.927
AT ITER 2396 NEW BEST:: SOT 877804 SOS 664505 HAS SOPS 406684 HAS SOUS 63203 HAS SOUPS 36301 WITH SCORE 36965.505
AT ITER 2405 NEW BEST:: SOT 877780 SOS 664457 HAS SOPS 406684 HAS SOUS 63179 HAS SOUPS 36301 WITH SCORE 36965.457
AT ITER 2426 NEW BEST:: SOT 877783 SOS 664767 HAS SOPS 406994 HAS SOUS 63177 HAS SOUPS 36299 WITH SCORE 36963.767
AT ITER 2427 NEW BEST:: SOT 877811 SOS 664782 HAS SOPS 406353 HAS SOUS 63205 HAS SOUPS 36286 WITH SCORE 36950.782
AT ITER 2432 NEW BEST:: SOT 877762 SOS 664733 HAS SOPS 406353 HAS SOUS 63205 HAS SOUPS 36286 WITH SCORE 36950.733
AT ITER 2436 NEW BEST:: SOT 877762 SOS 664723 HAS SOPS 406353 HAS SOUS 63195 HAS SOUPS 36286 WITH SCORE 36950.723
AT ITER 2441 NEW BEST:: SOT 877720 SOS 664647 HAS SOPS 406277 HAS SOUS 63136 HAS SOUPS 36227 WITH SCORE 36891.647
AT ITER 2449 NEW BEST:: SOT 877868 SOS 664869 HAS SOPS 406277 HAS SOUS 63202 HAS SOUPS 36222 WITH SCORE 36886.869
AT ITER 2466 NEW BEST:: SOT 878026 SOS 665027 HAS SOPS 406345 HAS SOUS 63198 HAS SOUPS 36218 WITH SCORE 36883.027
AT ITER 2470 NEW BEST:: SOT 878510 SOS 666039 HAS SOPS 406609 HAS SOUS 63110 HAS SOUPS 36130 WITH SCORE 36796.039
AT ITER 2478 NEW BEST:: SOT 878479 SOS 665977 HAS SOPS 406609 HAS SOUS 63070 HAS SOUPS 36125 WITH SCORE 36790.977
AT ITER 2481 NEW BEST:: SOT 878466 SOS 665964 HAS SOPS 406609 HAS SOUS 63070 HAS SOUPS 36125 WITH SCORE 36790.964
AT ITER 2485 NEW BEST:: SOT 878448 SOS 665640 HAS SOPS 406285 HAS SOUS 63061 HAS SOUPS 36116 WITH SCORE 36781.64
AT ITER 2508 NEW BEST:: SOT 878394 SOS 665532 HAS SOPS 406231 HAS SOUS 62953 HAS SOUPS 36062 WITH SCORE 36727.532
AT ITER 2510 NEW BEST:: SOT 878044 SOS 664599 HAS SOPS 406011 HAS SOUS 62916 HAS SOUPS 36050 WITH SCORE 36714.599
AT ITER 2541 NEW BEST:: SOT 878764 SOS 666822 HAS SOPS 406740 HAS SOUS 62474 HAS SOUPS 35982 WITH SCORE 36648.822
AT ITER 2546 NEW BEST:: SOT 878654 SOS 666525 HAS SOPS 406674 HAS SOUS 62463 HAS SOUPS 35982 WITH SCORE 36648.525
AT ITER 2580 NEW BEST:: SOT 879713 SOS 667445 HAS SOPS 407677 HAS SOUS 62323 HAS SOUPS 35954 WITH SCORE 36621.445
AT ITER 2596 NEW BEST:: SOT 879709 SOS 667441 HAS SOPS 407673 HAS SOUS 62319 HAS SOUPS 35950 WITH SCORE 36617.441
AT ITER 2601 NEW BEST:: SOT 879566 SOS 664971 HAS SOPS 407667 HAS SOUS 62100 HAS SOUPS 35885 WITH SCORE 36549.971
AT ITER 2610 NEW BEST:: SOT 879544 SOS 664949 HAS SOPS 407667 HAS SOUS 62077 HAS SOUPS 35866 WITH SCORE 36530.949
AT ITER 2614 NEW BEST:: SOT 879124 SOS 664529 HAS SOPS 407247 HAS SOUS 62077 HAS SOUPS 35866 WITH SCORE 36530.529
AT ITER 2616 NEW BEST:: SOT 879110 SOS 664023 HAS SOPS 407253 HAS SOUS 62042 HAS SOUPS 35863 WITH SCORE 36527.023
AT ITER 2643 NEW BEST:: SOT 879086 SOS 663975 HAS SOPS 407253 HAS SOUS 62018 HAS SOUPS 35863 WITH SCORE 36526.975
AT ITER 2654 NEW BEST:: SOT 879050 SOS 663231 HAS SOPS 406845 HAS SOUS 61946 HAS SOUPS 35812 WITH SCORE 36475.231
AT ITER 2656 NEW BEST:: SOT 879018 SOS 663167 HAS SOPS 406845 HAS SOUS 61914 HAS SOUPS 35812 WITH SCORE 36475.167
AT ITER 2671 NEW BEST:: SOT 879018 SOS 663167 HAS SOPS 406845 HAS SOUS 61884 HAS SOUPS 35782 WITH SCORE 36445.167
AT ITER 2674 NEW BEST:: SOT 878720 SOS 664642 HAS SOPS 406702 HAS SOUS 61832 HAS SOUPS 35677 WITH SCORE 36341.642
AT ITER 2682 NEW BEST:: SOT 878622 SOS 664530 HAS SOPS 406660 HAS SOUS 61818 HAS SOUPS 35663 WITH SCORE 36327.53
AT ITER 2687 NEW BEST:: SOT 878609 SOS 664507 HAS SOPS 406657 HAS SOUS 61805 HAS SOUPS 35660 WITH SCORE 36324.507
AT ITER 2704 NEW BEST:: SOT 878568 SOS 656592 HAS SOPS 400198 HAS SOUS 61572 HAS SOUPS 35518 WITH SCORE 36174.592
AT ITER 2708 NEW BEST:: SOT 878557 SOS 656576 HAS SOPS 400198 HAS SOUS 61567 HAS SOUPS 35518 WITH SCORE 36174.576
AT ITER 2715 NEW BEST:: SOT 878505 SOS 656498 HAS SOPS 400172 HAS SOUS 61515 HAS SOUPS 35492 WITH SCORE 36148.498
AT ITER 2723 NEW BEST:: SOT 878440 SOS 656732 HAS SOPS 400484 HAS SOUS 60857 HAS SOUPS 35388 WITH SCORE 36044.732
AT ITER 2724 NEW BEST:: SOT 878361 SOS 656588 HAS SOPS 400470 HAS SOUS 60778 HAS SOUPS 35374 WITH SCORE 36030.588
AT ITER 2725 NEW BEST:: SOT 878417 SOS 654292 HAS SOPS 398622 HAS SOUS 60721 HAS SOUPS 35345 WITH SCORE 35999.292
AT ITER 2727 NEW BEST:: SOT 878393 SOS 651796 HAS SOPS 396510 HAS SOUS 60649 HAS SOUPS 35297 WITH SCORE 35948.796
AT ITER 2752 NEW BEST:: SOT 878349 SOS 651730 HAS SOPS 396510 HAS SOUS 60627 HAS SOUPS 35297 WITH SCORE 35948.73
AT ITER 2767 NEW BEST:: SOT 878322 SOS 651648 HAS SOPS 396474 HAS SOUS 60583 HAS SOUPS 35274 WITH SCORE 35925.648
AT ITER 2784 NEW BEST:: SOT 878309 SOS 651611 HAS SOPS 396461 HAS SOUS 60554 HAS SOUPS 35269 WITH SCORE 35920.611
AT ITER 2785 NEW BEST:: SOT 878301 SOS 651603 HAS SOPS 396461 HAS SOUS 60538 HAS SOUPS 35253 WITH SCORE 35904.603
AT ITER 2791 NEW BEST:: SOT 878318 SOS 651592 HAS SOPS 396455 HAS SOUS 60504 HAS SOUPS 35247 WITH SCORE 35898.592
AT ITER 2798 NEW BEST:: SOT 878268 SOS 651667 HAS SOPS 396605 HAS SOUS 60179 HAS SOUPS 35197 WITH SCORE 35848.667
AT ITER 2800 NEW BEST:: SOT 878153 SOS 651482 HAS SOPS 396560 HAS SOUS 60055 HAS SOUPS 35147 WITH SCORE 35798.482
AT ITER 2813 NEW BEST:: SOT 878032 SOS 651288 HAS SOPS 396512 HAS SOUS 59934 HAS SOUPS 35099 WITH SCORE 35750.288
AT ITER 2814 NEW BEST:: SOT 878028 SOS 651280 HAS SOPS 396512 HAS SOUS 59930 HAS SOUPS 35099 WITH SCORE 35750.28
AT ITER 2818 NEW BEST:: SOT 878027 SOS 651279 HAS SOPS 396511 HAS SOUS 59929 HAS SOUPS 35098 WITH SCORE 35749.279
AT ITER 2844 NEW BEST:: SOT 878012 SOS 651264 HAS SOPS 396511 HAS SOUS 59875 HAS SOUPS 35068 WITH SCORE 35719.264
AT ITER 2846 NEW BEST:: SOT 877960 SOS 650424 HAS SOPS 395671 HAS SOUS 59834 HAS SOUPS 35027 WITH SCORE 35677.424
AT ITER 2868 NEW BEST:: SOT 878020 SOS 650592 HAS SOPS 395729 HAS SOUS 59808 HAS SOUPS 35026 WITH SCORE 35676.592
AT ITER 2870 NEW BEST:: SOT 877951 SOS 650499 HAS SOPS 395708 HAS SOUS 59763 HAS SOUPS 35005 WITH SCORE 35655.499
AT ITER 2875 NEW BEST:: SOT 877839 SOS 650385 HAS SOPS 395598 HAS SOUS 59717 HAS SOUPS 34961 WITH SCORE 35611.385
AT ITER 2876 NEW BEST:: SOT 877785 SOS 650376 HAS SOPS 395618 HAS SOUS 59756 HAS SOUPS 34955 WITH SCORE 35605.376
AT ITER 2880 NEW BEST:: SOT 877805 SOS 650325 HAS SOPS 395613 HAS SOUS 59680 HAS SOUPS 34950 WITH SCORE 35600.325
AT ITER 2889 NEW BEST:: SOT 877793 SOS 650367 HAS SOPS 395655 HAS SOUS 59676 HAS SOUPS 34946 WITH SCORE 35596.367
AT ITER 2896 NEW BEST:: SOT 877339 SOS 649114 HAS SOPS 395389 HAS SOUS 59629 HAS SOUPS 34946 WITH SCORE 35595.114
AT ITER 2901 NEW BEST:: SOT 877119 SOS 648874 HAS SOPS 395254 HAS SOUS 59546 HAS SOUPS 34883 WITH SCORE 35531.874
AT ITER 2946 NEW BEST:: SOT 877115 SOS 649352 HAS SOPS 394804 HAS SOUS 59602 HAS SOUPS 34881 WITH SCORE 35530.352
AT ITER 2951 NEW BEST:: SOT 877121 SOS 649262 HAS SOPS 394810 HAS SOUS 59590 HAS SOUPS 34875 WITH SCORE 35524.262
AT ITER 2954 NEW BEST:: SOT 877493 SOS 649634 HAS SOPS 395182 HAS SOUS 59587 HAS SOUPS 34873 WITH SCORE 35522.634
AT ITER 2959 NEW BEST:: SOT 877100 SOS 649275 HAS SOPS 394816 HAS SOUS 59621 HAS SOUPS 34873 WITH SCORE 35522.275
AT ITER 2970 NEW BEST:: SOT 877510 SOS 650359 HAS SOPS 395080 HAS SOUS 59503 HAS SOUPS 34785 WITH SCORE 35435.359
AT ITER 2975 NEW BEST:: SOT 878321 SOS 651092 HAS SOPS 395969 HAS SOUS 59369 HAS SOUPS 34730 WITH SCORE 35381.092
AT ITER 2979 NEW BEST:: SOT 878321 SOS 651092 HAS SOPS 395969 HAS SOUS 59366 HAS SOUPS 34728 WITH SCORE 35379.092
AT ITER 2980 NEW BEST:: SOT 878172 SOS 651665 HAS SOPS 396053 HAS SOUS 58966 HAS SOUPS 34720 WITH SCORE 35371.665
AT ITER 3006 NEW BEST:: SOT 878170 SOS 651623 HAS SOPS 396051 HAS SOUS 58924 HAS SOUPS 34718 WITH SCORE 35369.623
AT ITER 3008 NEW BEST:: SOT 878177 SOS 651077 HAS SOPS 395505 HAS SOUS 58903 HAS SOUPS 34697 WITH SCORE 35348.077
AT ITER 3017 NEW BEST:: SOT 878212 SOS 650956 HAS SOPS 395384 HAS SOUS 58903 HAS SOUPS 34697 WITH SCORE 35347.956
AT ITER 3042 NEW BEST:: SOT 878130 SOS 650860 HAS SOPS 395316 HAS SOUS 58833 HAS SOUPS 34641 WITH SCORE 35291.86
AT ITER 3053 NEW BEST:: SOT 878154 SOS 650884 HAS SOPS 395340 HAS SOUS 58817 HAS SOUPS 34625 WITH SCORE 35275.884
AT ITER 3057 NEW BEST:: SOT 878183 SOS 650913 HAS SOPS 395340 HAS SOUS 58808 HAS SOUPS 34620 WITH SCORE 35270.913
AT ITER 3065 NEW BEST:: SOT 877583 SOS 649463 HAS SOPS 394990 HAS SOUS 58708 HAS SOUPS 34570 WITH SCORE 35219.463
AT ITER 3076 NEW BEST:: SOT 877679 SOS 647455 HAS SOPS 394166 HAS SOUS 58645 HAS SOUPS 34539 WITH SCORE 35186.455
AT ITER 3101 NEW BEST:: SOT 877679 SOS 647532 HAS SOPS 394166 HAS SOUS 58702 HAS SOUPS 34519 WITH SCORE 35166.532
AT ITER 3126 NEW BEST:: SOT 877658 SOS 647490 HAS SOPS 394166 HAS SOUS 58672 HAS SOUPS 34514 WITH SCORE 35161.49
AT ITER 3141 NEW BEST:: SOT 877633 SOS 647440 HAS SOPS 394166 HAS SOUS 58647 HAS SOUPS 34514 WITH SCORE 35161.44
AT ITER 3149 NEW BEST:: SOT 876441 SOS 645741 HAS SOPS 392856 HAS SOUS 58777 HAS SOUPS 34503 WITH SCORE 35148.741
AT ITER 3171 NEW BEST:: SOT 876432 SOS 645732 HAS SOPS 392856 HAS SOUS 58750 HAS SOUPS 34480 WITH SCORE 35125.732
AT ITER 3173 NEW BEST:: SOT 876413 SOS 645713 HAS SOPS 392856 HAS SOUS 58750 HAS SOUPS 34480 WITH SCORE 35125.713
AT ITER 3192 NEW BEST:: SOT 877047 SOS 646483 HAS SOPS 393286 HAS SOUS 58704 HAS SOUPS 34434 WITH SCORE 35080.483
AT ITER 3197 NEW BEST:: SOT 877033 SOS 652579 HAS SOPS 399382 HAS SOUS 58652 HAS SOUPS 34382 WITH SCORE 35034.579
AT ITER 3211 NEW BEST:: SOT 877030 SOS 652573 HAS SOPS 399382 HAS SOUS 58646 HAS SOUPS 34380 WITH SCORE 35032.573
AT ITER 3218 NEW BEST:: SOT 877807 SOS 653350 HAS SOPS 399637 HAS SOUS 58466 HAS SOUPS 34200 WITH SCORE 34853.35
AT ITER 3244 NEW BEST:: SOT 876792 SOS 641280 HAS SOPS 389809 HAS SOUS 58400 HAS SOUPS 34171 WITH SCORE 34812.28
AT ITER 3263 NEW BEST:: SOT 876696 SOS 641040 HAS SOPS 389745 HAS SOUS 58384 HAS SOUPS 34163 WITH SCORE 34804.04
AT ITER 3267 NEW BEST:: SOT 876694 SOS 641038 HAS SOPS 389743 HAS SOUS 58382 HAS SOUPS 34161 WITH SCORE 34802.038
AT ITER 3269 NEW BEST:: SOT 876722 SOS 640800 HAS SOPS 389764 HAS SOUS 58375 HAS SOUPS 34161 WITH SCORE 34801.8
AT ITER 3274 NEW BEST:: SOT 876720 SOS 640798 HAS SOPS 389764 HAS SOUS 58375 HAS SOUPS 34161 WITH SCORE 34801.798
AT ITER 3325 NEW BEST:: SOT 876699 SOS 640777 HAS SOPS 389743 HAS SOUS 58354 HAS SOUPS 34140 WITH SCORE 34780.777
AT ITER 3339 NEW BEST:: SOT 876679 SOS 640717 HAS SOPS 389363 HAS SOUS 58374 HAS SOUPS 34140 WITH SCORE 34780.717
AT ITER 3342 NEW BEST:: SOT 876639 SOS 640637 HAS SOPS 389363 HAS SOUS 58249 HAS SOUPS 34140 WITH SCORE 34780.637
AT ITER 3350 NEW BEST:: SOT 876639 SOS 640637 HAS SOPS 389363 HAS SOUS 58198 HAS SOUPS 34115 WITH SCORE 34755.637
AT ITER 3365 NEW BEST:: SOT 876611 SOS 640595 HAS SOPS 389363 HAS SOUS 58184 HAS SOUPS 34115 WITH SCORE 34755.595
AT ITER 3380 NEW BEST:: SOT 876608 SOS 640574 HAS SOPS 389344 HAS SOUS 58180 HAS SOUPS 34111 WITH SCORE 34751.574
AT ITER 3381 NEW BEST:: SOT 876182 SOS 640148 HAS SOPS 388918 HAS SOUS 58180 HAS SOUPS 34111 WITH SCORE 34751.148
AT ITER 3385 NEW BEST:: SOT 876158 SOS 640124 HAS SOPS 388894 HAS SOUS 58156 HAS SOUPS 34087 WITH SCORE 34727.124
AT ITER 3391 NEW BEST:: SOT 875909 SOS 637508 HAS SOPS 386654 HAS SOUS 58096 HAS SOUPS 34036 WITH SCORE 34673.508
AT ITER 3392 NEW BEST:: SOT 875904 SOS 637498 HAS SOPS 386654 HAS SOUS 58091 HAS SOUPS 34036 WITH SCORE 34673.498
AT ITER 3413 NEW BEST:: SOT 875887 SOS 640883 HAS SOPS 389287 HAS SOUS 58124 HAS SOUPS 34022 WITH SCORE 34662.883
AT ITER 3419 NEW BEST:: SOT 875668 SOS 642088 HAS SOPS 388582 HAS SOUS 57888 HAS SOUPS 33913 WITH SCORE 34555.088
AT ITER 3429 NEW BEST:: SOT 873819 SOS 635543 HAS SOPS 385322 HAS SOUS 57499 HAS SOUPS 33668 WITH SCORE 34303.543
AT ITER 3482 NEW BEST:: SOT 873833 SOS 635156 HAS SOPS 385262 HAS SOUS 57370 HAS SOUPS 33578 WITH SCORE 34213.156
AT ITER 3488 NEW BEST:: SOT 873461 SOS 632774 HAS SOPS 383868 HAS SOUS 57352 HAS SOUPS 33580 WITH SCORE 34212.774
AT ITER 3505 NEW BEST:: SOT 873423 SOS 632698 HAS SOPS 383868 HAS SOUS 57215 HAS SOUPS 33525 WITH SCORE 34157.698
AT ITER 3515 NEW BEST:: SOT 873382 SOS 632608 HAS SOPS 383842 HAS SOUS 57210 HAS SOUPS 33524 WITH SCORE 34156.608
AT ITER 3545 NEW BEST:: SOT 873382 SOS 632585 HAS SOPS 383842 HAS SOUS 57187 HAS SOUPS 33524 WITH SCORE 34156.585
AT ITER 3565 NEW BEST:: SOT 873367 SOS 632984 HAS SOPS 384292 HAS SOUS 57155 HAS SOUPS 33515 WITH SCORE 34147.984
AT ITER 3574 NEW BEST:: SOT 874511 SOS 635376 HAS SOPS 384916 HAS SOUS 57001 HAS SOUPS 33337 WITH SCORE 33972.376
AT ITER 3581 NEW BEST:: SOT 874479 SOS 635344 HAS SOPS 384916 HAS SOUS 57001 HAS SOUPS 33337 WITH SCORE 33972.344
AT ITER 3589 NEW BEST:: SOT 874463 SOS 635312 HAS SOPS 384916 HAS SOUS 56985 HAS SOUPS 33337 WITH SCORE 33972.312
AT ITER 3595 NEW BEST:: SOT 874313 SOS 636273 HAS SOPS 385247 HAS SOUS 56971 HAS SOUPS 33323 WITH SCORE 33959.273
AT ITER 3599 NEW BEST:: SOT 874243 SOS 636169 HAS SOPS 385211 HAS SOUS 56901 HAS SOUPS 33287 WITH SCORE 33923.169
AT ITER 3617 NEW BEST:: SOT 874292 SOS 634511 HAS SOPS 384552 HAS SOUS 56761 HAS SOUPS 33174 WITH SCORE 33808.511
AT ITER 3637 NEW BEST:: SOT 874286 SOS 634505 HAS SOPS 384546 HAS SOUS 56758 HAS SOUPS 33172 WITH SCORE 33806.505
AT ITER 3663 NEW BEST:: SOT 873777 SOS 627670 HAS SOPS 378619 HAS SOUS 56743 HAS SOUPS 33157 WITH SCORE 33784.67
AT ITER 3707 NEW BEST:: SOT 873854 SOS 627747 HAS SOPS 378663 HAS SOUS 56710 HAS SOUPS 33135 WITH SCORE 33762.747
AT ITER 3728 NEW BEST:: SOT 873799 SOS 627588 HAS SOPS 378591 HAS SOUS 56706 HAS SOUPS 33131 WITH SCORE 33758.588
AT ITER 3741 NEW BEST:: SOT 873734 SOS 626418 HAS SOPS 378461 HAS SOUS 56641 HAS SOUPS 33131 WITH SCORE 33757.418
AT ITER 3756 NEW BEST:: SOT 873662 SOS 626346 HAS SOPS 378389 HAS SOUS 56641 HAS SOUPS 33131 WITH SCORE 33757.346
AT ITER 3779 NEW BEST:: SOT 873694 SOS 626378 HAS SOPS 378369 HAS SOUS 56621 HAS SOUPS 33111 WITH SCORE 33737.378
AT ITER 3821 NEW BEST:: SOT 873669 SOS 625928 HAS SOPS 377919 HAS SOUS 56597 HAS SOUPS 33087 WITH SCORE 33712.928
AT ITER 3885 NEW BEST:: SOT 873631 SOS 625890 HAS SOPS 377900 HAS SOUS 56578 HAS SOUPS 33068 WITH SCORE 33693.89
AT ITER 3886 NEW BEST:: SOT 872902 SOS 625302 HAS SOPS 377030 HAS SOUS 56707 HAS SOUPS 33056 WITH SCORE 33681.302
AT ITER 3901 NEW BEST:: SOT 872854 SOS 625254 HAS SOPS 377030 HAS SOUS 56707 HAS SOUPS 33056 WITH SCORE 33681.254
AT ITER 3916 NEW BEST:: SOT 872872 SOS 625233 HAS SOPS 377009 HAS SOUS 56657 HAS SOUPS 33006 WITH SCORE 33631.233
AT ITER 3936 NEW BEST:: SOT 872799 SOS 625143 HAS SOPS 376953 HAS SOUS 56595 HAS SOUPS 32954 WITH SCORE 33579.143
AT ITER 3992 NEW BEST:: SOT 872673 SOS 625055 HAS SOPS 376854 HAS SOUS 56560 HAS SOUPS 32869 WITH SCORE 33494.055
AT ITER 4007 NEW BEST:: SOT 872662 SOS 625044 HAS SOPS 376854 HAS SOUS 56560 HAS SOUPS 32869 WITH SCORE 33494.044
AT ITER 4043 NEW BEST:: SOT 872649 SOS 625018 HAS SOPS 376854 HAS SOUS 56555 HAS SOUPS 32869 WITH SCORE 33494.018
AT ITER 4104 NEW BEST:: SOT 871501 SOS 623892 HAS SOPS 376299 HAS SOUS 56568 HAS SOUPS 32864 WITH SCORE 33487.892
AT ITER 4125 NEW BEST:: SOT 870917 SOS 616554 HAS SOPS 370106 HAS SOUS 56557 HAS SOUPS 32813 WITH SCORE 33429.554
AT ITER 4129 NEW BEST:: SOT 870924 SOS 616561 HAS SOPS 370106 HAS SOUS 56494 HAS SOUPS 32778 WITH SCORE 33394.561
AT ITER 4135 NEW BEST:: SOT 870722 SOS 616062 HAS SOPS 370018 HAS SOUS 56380 HAS SOUPS 32770 WITH SCORE 33386.062
AT ITER 4147 NEW BEST:: SOT 870722 SOS 615982 HAS SOPS 369853 HAS SOUS 56380 HAS SOUPS 32765 WITH SCORE 33380.982
AT ITER 4156 NEW BEST:: SOT 870746 SOS 616006 HAS SOPS 369862 HAS SOUS 56374 HAS SOUPS 32759 WITH SCORE 33375.006
AT ITER 4165 NEW BEST:: SOT 870708 SOS 615968 HAS SOPS 369862 HAS SOUS 56374 HAS SOUPS 32759 WITH SCORE 33374.968
AT ITER 4175 NEW BEST:: SOT 870724 SOS 615982 HAS SOPS 369868 HAS SOUS 56368 HAS SOUPS 32755 WITH SCORE 33370.982
AT ITER 4190 NEW BEST:: SOT 870542 SOS 617234 HAS SOPS 371295 HAS SOUS 56262 HAS SOUPS 32710 WITH SCORE 33327.234
AT ITER 4201 NEW BEST:: SOT 870443 SOS 617102 HAS SOPS 371185 HAS SOUS 56310 HAS SOUPS 32700 WITH SCORE 33317.102
AT ITER 4215 NEW BEST:: SOT 870179 SOS 616430 HAS SOPS 371017 HAS SOUS 56285 HAS SOUPS 32699 WITH SCORE 33315.43
AT ITER 4260 NEW BEST:: SOT 870176 SOS 616376 HAS SOPS 370963 HAS SOUS 56282 HAS SOUPS 32696 WITH SCORE 33312.376
AT ITER 4270 NEW BEST:: SOT 869852 SOS 614800 HAS SOPS 370129 HAS SOUS 56238 HAS SOUPS 32678 WITH SCORE 33292.8
AT ITER 4272 NEW BEST:: SOT 869838 SOS 614772 HAS SOPS 370129 HAS SOUS 56224 HAS SOUPS 32678 WITH SCORE 33292.772
AT ITER 4285 NEW BEST:: SOT 870432 SOS 615366 HAS SOPS 370723 HAS SOUS 56221 HAS SOUPS 32676 WITH SCORE 33291.366
AT ITER 4292 NEW BEST:: SOT 870436 SOS 615320 HAS SOPS 370692 HAS SOUS 56219 HAS SOUPS 32674 WITH SCORE 33289.32
AT ITER 4317 NEW BEST:: SOT 870429 SOS 615313 HAS SOPS 370685 HAS SOUS 56212 HAS SOUPS 32667 WITH SCORE 33282.313
AT ITER 4319 NEW BEST:: SOT 870417 SOS 610860 HAS SOPS 366920 HAS SOUS 56157 HAS SOUPS 32655 WITH SCORE 33265.86
AT ITER 4320 NEW BEST:: SOT 870311 SOS 610679 HAS SOPS 366889 HAS SOUS 56051 HAS SOUPS 32624 WITH SCORE 33234.679
AT ITER 4322 NEW BEST:: SOT 870355 SOS 609975 HAS SOPS 366761 HAS SOUS 55990 HAS SOUPS 32599 WITH SCORE 33208.975
AT ITER 4337 NEW BEST:: SOT 870371 SOS 607910 HAS SOPS 365843 HAS SOUS 55932 HAS SOUPS 32572 WITH SCORE 33179.91
AT ITER 4338 NEW BEST:: SOT 870310 SOS 607841 HAS SOPS 365790 HAS SOUS 55846 HAS SOUPS 32504 WITH SCORE 33111.841
AT ITER 4343 NEW BEST:: SOT 870264 SOS 607366 HAS SOPS 365351 HAS SOUS 55804 HAS SOUPS 32476 WITH SCORE 33083.366
AT ITER 4369 NEW BEST:: SOT 870293 SOS 607394 HAS SOPS 365311 HAS SOUS 55763 HAS SOUPS 32436 WITH SCORE 33043.394
AT ITER 4417 NEW BEST:: SOT 870291 SOS 607392 HAS SOPS 365311 HAS SOUS 55763 HAS SOUPS 32436 WITH SCORE 33043.392
AT ITER 4420 NEW BEST:: SOT 870282 SOS 607029 HAS SOPS 364996 HAS SOUS 55760 HAS SOUPS 32436 WITH SCORE 33043.029
AT ITER 4454 NEW BEST:: SOT 870279 SOS 607009 HAS SOPS 364976 HAS SOUS 55758 HAS SOUPS 32434 WITH SCORE 33041.009
AT ITER 4493 NEW BEST:: SOT 870225 SOS 606955 HAS SOPS 364922 HAS SOUS 55758 HAS SOUPS 32434 WITH SCORE 33040.955
AT ITER 4499 NEW BEST:: SOT 870206 SOS 606936 HAS SOPS 364922 HAS SOUS 55758 HAS SOUPS 32434 WITH SCORE 33040.936
AT ITER 4501 NEW BEST:: SOT 870176 SOS 606906 HAS SOPS 364892 HAS SOUS 55725 HAS SOUPS 32417 WITH SCORE 33023.906
AT ITER 4512 NEW BEST:: SOT 870176 SOS 606882 HAS SOPS 364796 HAS SOUS 55725 HAS SOUPS 32411 WITH SCORE 33017.882
AT ITER 4584 NEW BEST:: SOT 870179 SOS 606885 HAS SOPS 364796 HAS SOUS 55707 HAS SOUPS 32401 WITH SCORE 33007.885
AT ITER 4620 NEW BEST:: SOT 870181 SOS 607015 HAS SOPS 364772 HAS SOUS 55667 HAS SOUPS 32361 WITH SCORE 32968.015
AT ITER 4631 NEW BEST:: SOT 870192 SOS 607026 HAS SOPS 364772 HAS SOUS 55658 HAS SOUPS 32356 WITH SCORE 32963.026
AT ITER 4635 NEW BEST:: SOT 870192 SOS 606975 HAS SOPS 364772 HAS SOUS 55607 HAS SOUPS 32356 WITH SCORE 32962.975
AT ITER 4663 NEW BEST:: SOT 870257 SOS 607116 HAS SOPS 364810 HAS SOUS 55602 HAS SOUPS 32351 WITH SCORE 32958.116
AT ITER 4664 NEW BEST:: SOT 869715 SOS 606476 HAS SOPS 364464 HAS SOUS 55599 HAS SOUPS 32348 WITH SCORE 32954.476
AT ITER 4692 NEW BEST:: SOT 869739 SOS 606500 HAS SOPS 364464 HAS SOUS 55572 HAS SOUPS 32333 WITH SCORE 32939.5
AT ITER 4697 NEW BEST:: SOT 869817 SOS 606734 HAS SOPS 364668 HAS SOUS 55558 HAS SOUPS 32325 WITH SCORE 32931.734
AT ITER 4709 NEW BEST:: SOT 869804 SOS 606448 HAS SOPS 364447 HAS SOUS 55536 HAS SOUPS 32303 WITH SCORE 32909.448
AT ITER 4733 NEW BEST:: SOT 869714 SOS 606358 HAS SOPS 364447 HAS SOUS 55448 HAS SOUPS 32215 WITH SCORE 32821.358
AT ITER 4740 NEW BEST:: SOT 869711 SOS 606355 HAS SOPS 364444 HAS SOUS 55448 HAS SOUPS 32215 WITH SCORE 32821.355
AT ITER 4745 NEW BEST:: SOT 869707 SOS 605951 HAS SOPS 364524 HAS SOUS 55390 HAS SOUPS 32201 WITH SCORE 32806.951
AT ITER 4746 NEW BEST:: SOT 869706 SOS 605950 HAS SOPS 364524 HAS SOUS 55390 HAS SOUPS 32201 WITH SCORE 32806.95
AT ITER 4764 NEW BEST:: SOT 869368 SOS 604728 HAS SOPS 363874 HAS SOUS 55312 HAS SOUPS 32149 WITH SCORE 32753.728
AT ITER 4777 NEW BEST:: SOT 869597 SOS 604957 HAS SOPS 363973 HAS SOUS 55326 HAS SOUPS 32143 WITH SCORE 32747.957
AT ITER 4791 NEW BEST:: SOT 870225 SOS 605650 HAS SOPS 364341 HAS SOUS 55221 HAS SOUPS 32038 WITH SCORE 32643.65
AT ITER 4840 NEW BEST:: SOT 870034 SOS 605155 HAS SOPS 364209 HAS SOUS 55045 HAS SOUPS 31984 WITH SCORE 32589.155
AT ITER 4842 NEW BEST:: SOT 869986 SOS 605039 HAS SOPS 364181 HAS SOUS 55041 HAS SOUPS 31984 WITH SCORE 32589.039
AT ITER 4850 NEW BEST:: SOT 869762 SOS 604789 HAS SOPS 364025 HAS SOUS 55048 HAS SOUPS 31975 WITH SCORE 32579.789
AT ITER 4856 NEW BEST:: SOT 869818 SOS 604856 HAS SOPS 364052 HAS SOUS 55014 HAS SOUPS 31941 WITH SCORE 32545.856
AT ITER 4871 NEW BEST:: SOT 869661 SOS 602270 HAS SOPS 361739 HAS SOUS 54998 HAS SOUPS 31902 WITH SCORE 32504.27
AT ITER 4875 NEW BEST:: SOT 869276 SOS 600752 HAS SOPS 360889 HAS SOUS 54919 HAS SOUPS 31834 WITH SCORE 32434.752
AT ITER 4930 NEW BEST:: SOT 869284 SOS 600768 HAS SOPS 360905 HAS SOUS 54917 HAS SOUPS 31832 WITH SCORE 32432.768
AT ITER 4984 NEW BEST:: SOT 869252 SOS 600736 HAS SOPS 360905 HAS SOUS 54917 HAS SOUPS 31832 WITH SCORE 32432.736
AT ITER 5012 NEW BEST:: SOT 869231 SOS 600694 HAS SOPS 360905 HAS SOUS 54896 HAS SOUPS 31832 WITH SCORE 32432.694
AT ITER 5022 NEW BEST:: SOT 869171 SOS 600634 HAS SOPS 360905 HAS SOUS 54896 HAS SOUPS 31832 WITH SCORE 32432.634
AT ITER 5035 NEW BEST:: SOT 869166 SOS 600629 HAS SOPS 360905 HAS SOUS 54896 HAS SOUPS 31832 WITH SCORE 32432.629
AT ITER 5037 NEW BEST:: SOT 869208 SOS 599014 HAS SOPS 359383 HAS SOUS 54879 HAS SOUPS 31801 WITH SCORE 32400.014
AT ITER 5042 NEW BEST:: SOT 869170 SOS 598938 HAS SOPS 359383 HAS SOUS 54841 HAS SOUPS 31801 WITH SCORE 32399.938
AT ITER 5083 NEW BEST:: SOT 868417 SOS 597632 HAS SOPS 358283 HAS SOUS 54882 HAS SOUPS 31796 WITH SCORE 32393.632
AT ITER 5086 NEW BEST:: SOT 868267 SOS 597482 HAS SOPS 358133 HAS SOUS 54882 HAS SOUPS 31796 WITH SCORE 32393.482
AT ITER 5112 NEW BEST:: SOT 868189 SOS 596702 HAS SOPS 357461 HAS SOUS 54864 HAS SOUPS 31778 WITH SCORE 32374.702
AT ITER 5124 NEW BEST:: SOT 868165 SOS 596654 HAS SOPS 357461 HAS SOUS 54840 HAS SOUPS 31778 WITH SCORE 32374.654
AT ITER 5126 NEW BEST:: SOT 868133 SOS 596590 HAS SOPS 357461 HAS SOUS 54808 HAS SOUPS 31778 WITH SCORE 32374.59
AT ITER 5143 NEW BEST:: SOT 868133 SOS 596590 HAS SOPS 357461 HAS SOUS 54781 HAS SOUPS 31763 WITH SCORE 32359.59
AT ITER 5164 NEW BEST:: SOT 869168 SOS 599461 HAS SOPS 358301 HAS SOUS 54715 HAS SOUPS 31755 WITH SCORE 32354.461
AT ITER 5172 NEW BEST:: SOT 869140 SOS 599413 HAS SOPS 358293 HAS SOUS 54687 HAS SOUPS 31747 WITH SCORE 32346.413
AT ITER 5182 NEW BEST:: SOT 869131 SOS 599347 HAS SOPS 358227 HAS SOUS 54682 HAS SOUPS 31742 WITH SCORE 32341.347
AT ITER 5195 NEW BEST:: SOT 869065 SOS 599179 HAS SOPS 358185 HAS SOUS 54670 HAS SOUPS 31736 WITH SCORE 32335.179
AT ITER 5202 NEW BEST:: SOT 869249 SOS 599384 HAS SOPS 358327 HAS SOUS 54644 HAS SOUPS 31731 WITH SCORE 32330.384
AT ITER 5224 NEW BEST:: SOT 869579 SOS 599714 HAS SOPS 358459 HAS SOUS 54627 HAS SOUPS 31710 WITH SCORE 32309.714
AT ITER 5228 NEW BEST:: SOT 869554 SOS 599689 HAS SOPS 358456 HAS SOUS 54624 HAS SOUPS 31707 WITH SCORE 32306.689
AT ITER 5257 NEW BEST:: SOT 869512 SOS 598933 HAS SOPS 356948 HAS SOUS 54646 HAS SOUPS 31682 WITH SCORE 32280.933
AT ITER 5275 NEW BEST:: SOT 868998 SOS 597576 HAS SOPS 356576 HAS SOUS 54559 HAS SOUPS 31641 WITH SCORE 32238.576
AT ITER 5286 NEW BEST:: SOT 868998 SOS 597525 HAS SOPS 356525 HAS SOUS 54556 HAS SOUPS 31638 WITH SCORE 32235.525
AT ITER 5346 NEW BEST:: SOT 868997 SOS 597507 HAS SOPS 356523 HAS SOUS 54555 HAS SOUPS 31638 WITH SCORE 32235.507
AT ITER 5376 NEW BEST:: SOT 868376 SOS 596238 HAS SOPS 355124 HAS SOUS 54540 HAS SOUPS 31565 WITH SCORE 32161.238
AT ITER 5418 NEW BEST:: SOT 868252 SOS 596114 HAS SOPS 355124 HAS SOUS 54540 HAS SOUPS 31565 WITH SCORE 32161.114
AT ITER 5429 NEW BEST:: SOT 868214 SOS 596038 HAS SOPS 355124 HAS SOUS 54502 HAS SOUPS 31565 WITH SCORE 32161.038
AT ITER 5440 NEW BEST:: SOT 868204 SOS 596028 HAS SOPS 355124 HAS SOUS 54494 HAS SOUPS 31557 WITH SCORE 32153.028
AT ITER 5470 NEW BEST:: SOT 868174 SOS 595998 HAS SOPS 355124 HAS SOUS 54494 HAS SOUPS 31557 WITH SCORE 32152.998
AT ITER 5484 NEW BEST:: SOT 868163 SOS 595987 HAS SOPS 355113 HAS SOUS 54483 HAS SOUPS 31546 WITH SCORE 32141.987
AT ITER 5507 NEW BEST:: SOT 870628 SOS 601514 HAS SOPS 356881 HAS SOUS 54566 HAS SOUPS 31523 WITH SCORE 32124.514
AT ITER 5520 NEW BEST:: SOT 870584 SOS 601470 HAS SOPS 356881 HAS SOUS 54566 HAS SOUPS 31523 WITH SCORE 32124.47
AT ITER 5521 NEW BEST:: SOT 870488 SOS 601374 HAS SOPS 356785 HAS SOUS 54566 HAS SOUPS 31523 WITH SCORE 32124.374
AT ITER 5541 NEW BEST:: SOT 869228 SOS 598163 HAS SOPS 356000 HAS SOUS 54523 HAS SOUPS 31523 WITH SCORE 32121.163
AT ITER 5649 NEW BEST:: SOT 869181 SOS 598116 HAS SOPS 356000 HAS SOUS 54523 HAS SOUPS 31523 WITH SCORE 32121.116
AT ITER 5659 NEW BEST:: SOT 869179 SOS 598457 HAS SOPS 356103 HAS SOUS 54503 HAS SOUPS 31487 WITH SCORE 32085.457
AT ITER 5670 NEW BEST:: SOT 870441 SOS 599719 HAS SOPS 357365 HAS SOUS 54499 HAS SOUPS 31483 WITH SCORE 32082.719
AT ITER 5672 NEW BEST:: SOT 870265 SOS 599387 HAS SOPS 357113 HAS SOUS 54499 HAS SOUPS 31483 WITH SCORE 32082.387
AT ITER 5674 NEW BEST:: SOT 870259 SOS 599381 HAS SOPS 357053 HAS SOUS 54493 HAS SOUPS 31474 WITH SCORE 32073.381
AT ITER 5726 NEW BEST:: SOT 870255 SOS 599377 HAS SOPS 357017 HAS SOUS 54491 HAS SOUPS 31470 WITH SCORE 32069.377
AT ITER 5768 NEW BEST:: SOT 870064 SOS 600867 HAS SOPS 356843 HAS SOUS 54525 HAS SOUPS 31400 WITH SCORE 32000.867
AT ITER 5791 NEW BEST:: SOT 869993 SOS 599614 HAS SOPS 354477 HAS SOUS 54491 HAS SOUPS 31366 WITH SCORE 31965.614
AT ITER 5800 NEW BEST:: SOT 869993 SOS 594614 HAS SOPS 350127 HAS SOUS 54296 HAS SOUPS 31171 WITH SCORE 31765.614
AT ITER 5909 NEW BEST:: SOT 869981 SOS 594561 HAS SOPS 350115 HAS SOUS 54234 HAS SOUPS 31154 WITH SCORE 31748.561
AT ITER 5917 NEW BEST:: SOT 869981 SOS 594676 HAS SOPS 350230 HAS SOUS 54224 HAS SOUPS 31144 WITH SCORE 31738.676
AT ITER 5967 NEW BEST:: SOT 869939 SOS 594550 HAS SOPS 350194 HAS SOUS 54224 HAS SOUPS 31138 WITH SCORE 31732.55
AT ITER 5987 NEW BEST:: SOT 869935 SOS 594541 HAS SOPS 350190 HAS SOUS 54215 HAS SOUPS 31134 WITH SCORE 31728.541
AT ITER 6029 NEW BEST:: SOT 869935 SOS 594541 HAS SOPS 350190 HAS SOUS 54163 HAS SOUPS 31082 WITH SCORE 31676.541
AT ITER 6041 NEW BEST:: SOT 869927 SOS 594548 HAS SOPS 350184 HAS SOUS 54172 HAS SOUPS 31076 WITH SCORE 31670.548
AT ITER 6064 NEW BEST:: SOT 869895 SOS 594452 HAS SOPS 349576 HAS SOUS 54204 HAS SOUPS 31076 WITH SCORE 31670.452
AT ITER 6081 NEW BEST:: SOT 868812 SOS 591481 HAS SOPS 347036 HAS SOUS 54114 HAS SOUPS 30986 WITH SCORE 31577.481
AT ITER 6084 NEW BEST:: SOT 868911 SOS 591580 HAS SOPS 347036 HAS SOUS 54078 HAS SOUPS 30966 WITH SCORE 31557.58
AT ITER 6086 NEW BEST:: SOT 868719 SOS 591352 HAS SOPS 346898 HAS SOUS 54066 HAS SOUPS 30954 WITH SCORE 31545.352
AT ITER 6128 NEW BEST:: SOT 867561 SOS 585176 HAS SOPS 343661 HAS SOUS 53959 HAS SOUPS 30922 WITH SCORE 31507.176
AT ITER 6133 NEW BEST:: SOT 867567 SOS 584996 HAS SOPS 343493 HAS SOUS 53949 HAS SOUPS 30912 WITH SCORE 31496.996
AT ITER 6176 NEW BEST:: SOT 867483 SOS 584912 HAS SOPS 343409 HAS SOUS 53949 HAS SOUPS 30912 WITH SCORE 31496.912
AT ITER 6177 NEW BEST:: SOT 867459 SOS 584784 HAS SOPS 343369 HAS SOUS 53901 HAS SOUPS 30872 WITH SCORE 31456.784
AT ITER 6195 NEW BEST:: SOT 867351 SOS 584676 HAS SOPS 343261 HAS SOUS 53901 HAS SOUPS 30872 WITH SCORE 31456.676
AT ITER 6224 NEW BEST:: SOT 867343 SOS 584668 HAS SOPS 343261 HAS SOUS 53901 HAS SOUPS 30872 WITH SCORE 31456.668
AT ITER 6246 NEW BEST:: SOT 867342 SOS 584667 HAS SOPS 343260 HAS SOUS 53898 HAS SOUPS 30869 WITH SCORE 31453.667
AT ITER 6315 NEW BEST:: SOT 866968 SOS 583948 HAS SOPS 343001 HAS SOUS 53885 HAS SOUPS 30856 WITH SCORE 31439.948
AT ITER 6370 NEW BEST:: SOT 867013 SOS 584003 HAS SOPS 343031 HAS SOUS 53880 HAS SOUPS 30851 WITH SCORE 31435.003
AT ITER 6397 NEW BEST:: SOT 866858 SOS 583879 HAS SOPS 342845 HAS SOUS 53911 HAS SOUPS 30851 WITH SCORE 31434.879
AT ITER 6405 NEW BEST:: SOT 866806 SOS 584279 HAS SOPS 342853 HAS SOUS 53779 HAS SOUPS 30748 WITH SCORE 31332.279
AT ITER 6471 NEW BEST:: SOT 866867 SOS 584340 HAS SOPS 342853 HAS SOUS 53635 HAS SOUPS 30668 WITH SCORE 31252.34
AT ITER 6491 NEW BEST:: SOT 868147 SOS 587964 HAS SOPS 344125 HAS SOUS 53679 HAS SOUPS 30603 WITH SCORE 31190.964
AT ITER 6524 NEW BEST:: SOT 868103 SOS 587841 HAS SOPS 344087 HAS SOUS 53682 HAS SOUPS 30601 WITH SCORE 31188.841
AT ITER 6540 NEW BEST:: SOT 868068 SOS 587806 HAS SOPS 344087 HAS SOUS 53682 HAS SOUPS 30601 WITH SCORE 31188.806
AT ITER 6577 NEW BEST:: SOT 868456 SOS 588590 HAS SOPS 344335 HAS SOUS 53696 HAS SOUPS 30586 WITH SCORE 31174.59
AT ITER 6583 NEW BEST:: SOT 868482 SOS 588616 HAS SOPS 344331 HAS SOUS 53692 HAS SOUPS 30582 WITH SCORE 31170.616
AT ITER 6603 NEW BEST:: SOT 868477 SOS 588656 HAS SOPS 344371 HAS SOUS 53652 HAS SOUPS 30542 WITH SCORE 31130.656
AT ITER 6626 NEW BEST:: SOT 868618 SOS 589036 HAS SOPS 344469 HAS SOUS 53653 HAS SOUPS 30535 WITH SCORE 31124.036
AT ITER 6635 NEW BEST:: SOT 868134 SOS 587804 HAS SOPS 344161 HAS SOUS 53609 HAS SOUPS 30535 WITH SCORE 31122.804
AT ITER 6644 NEW BEST:: SOT 868099 SOS 587724 HAS SOPS 344141 HAS SOUS 53609 HAS SOUPS 30535 WITH SCORE 31122.724
AT ITER 6652 NEW BEST:: SOT 868094 SOS 587714 HAS SOPS 344121 HAS SOUS 53585 HAS SOUPS 30517 WITH SCORE 31104.714
AT ITER 6696 NEW BEST:: SOT 868395 SOS 588540 HAS SOPS 344349 HAS SOUS 53570 HAS SOUPS 30507 WITH SCORE 31095.54
AT ITER 6710 NEW BEST:: SOT 868354 SOS 588458 HAS SOPS 344349 HAS SOUS 53529 HAS SOUPS 30507 WITH SCORE 31095.458
AT ITER 6712 NEW BEST:: SOT 868354 SOS 588439 HAS SOPS 344349 HAS SOUS 53501 HAS SOUPS 30502 WITH SCORE 31090.439
AT ITER 6717 NEW BEST:: SOT 868348 SOS 588433 HAS SOPS 344349 HAS SOUS 53501 HAS SOUPS 30502 WITH SCORE 31090.433
AT ITER 6718 NEW BEST:: SOT 868319 SOS 588404 HAS SOPS 344349 HAS SOUS 53501 HAS SOUPS 30502 WITH SCORE 31090.404
AT ITER 6755 NEW BEST:: SOT 868371 SOS 588059 HAS SOPS 344354 HAS SOUS 53470 HAS SOUPS 30495 WITH SCORE 31083.059
AT ITER 6790 NEW BEST:: SOT 868353 SOS 587999 HAS SOPS 344294 HAS SOUS 53466 HAS SOUPS 30491 WITH SCORE 31078.999
AT ITER 6793 NEW BEST:: SOT 868210 SOS 587635 HAS SOPS 344203 HAS SOUS 53453 HAS SOUPS 30491 WITH SCORE 31078.635
AT ITER 6797 NEW BEST:: SOT 868245 SOS 587784 HAS SOPS 344339 HAS SOUS 53447 HAS SOUPS 30485 WITH SCORE 31072.784
AT ITER 6799 NEW BEST:: SOT 868245 SOS 587784 HAS SOPS 344339 HAS SOUS 53438 HAS SOUPS 30480 WITH SCORE 31067.784
AT ITER 6817 NEW BEST:: SOT 869866 SOS 592142 HAS SOPS 345585 HAS SOUS 53119 HAS SOUPS 30465 WITH SCORE 31057.142
AT ITER 6820 NEW BEST:: SOT 869896 SOS 591302 HAS SOPS 345300 HAS SOUS 53104 HAS SOUPS 30465 WITH SCORE 31056.302
AT ITER 6821 NEW BEST:: SOT 869226 SOS 589532 HAS SOPS 344848 HAS SOUS 53064 HAS SOUPS 30454 WITH SCORE 31043.532
AT ITER 6917 NEW BEST:: SOT 869217 SOS 589625 HAS SOPS 344788 HAS SOUS 53102 HAS SOUPS 30441 WITH SCORE 31030.625
AT ITER 6997 NEW BEST:: SOT 869208 SOS 589598 HAS SOPS 344761 HAS SOUS 53096 HAS SOUPS 30435 WITH SCORE 31024.597999999998
AT ITER 7039 NEW BEST:: SOT 869208 SOS 589598 HAS SOPS 344761 HAS SOUS 53087 HAS SOUPS 30430 WITH SCORE 31019.597999999998
AT ITER 7050 NEW BEST:: SOT 869176 SOS 589566 HAS SOPS 344761 HAS SOUS 53087 HAS SOUPS 30430 WITH SCORE 31019.566
AT ITER 7062 NEW BEST:: SOT 869215 SOS 589605 HAS SOPS 344754 HAS SOUS 53080 HAS SOUPS 30423 WITH SCORE 31012.605
AT ITER 7097 NEW BEST:: SOT 869210 SOS 589308 HAS SOPS 344505 HAS SOUS 53076 HAS SOUPS 30422 WITH SCORE 31011.308
AT ITER 7101 NEW BEST:: SOT 869207 SOS 589305 HAS SOPS 344505 HAS SOUS 53076 HAS SOUPS 30422 WITH SCORE 31011.305
AT ITER 7112 NEW BEST:: SOT 869207 SOS 589305 HAS SOPS 344505 HAS SOUS 53067 HAS SOUPS 30417 WITH SCORE 31006.305
AT ITER 7120 NEW BEST:: SOT 868987 SOS 589085 HAS SOPS 344395 HAS SOUS 53067 HAS SOUPS 30417 WITH SCORE 31006.085
AT ITER 7125 NEW BEST:: SOT 868981 SOS 589079 HAS SOPS 344395 HAS SOUS 53067 HAS SOUPS 30417 WITH SCORE 31006.079
AT ITER 7147 NEW BEST:: SOT 868904 SOS 588911 HAS SOPS 344339 HAS SOUS 53053 HAS SOUPS 30410 WITH SCORE 30998.911
AT ITER 7157 NEW BEST:: SOT 868870 SOS 588665 HAS SOPS 344233 HAS SOUS 52996 HAS SOUPS 30399 WITH SCORE 30987.665
AT ITER 7172 NEW BEST:: SOT 868970 SOS 588765 HAS SOPS 344233 HAS SOUS 52978 HAS SOUPS 30389 WITH SCORE 30977.765
AT ITER 7194 NEW BEST:: SOT 868938 SOS 588733 HAS SOPS 344233 HAS SOUS 52978 HAS SOUPS 30389 WITH SCORE 30977.733
AT ITER 7285 NEW BEST:: SOT 868938 SOS 588733 HAS SOPS 344233 HAS SOUS 52969 HAS SOUPS 30384 WITH SCORE 30972.733
AT ITER 7291 NEW BEST:: SOT 868938 SOS 588733 HAS SOPS 344233 HAS SOUS 52924 HAS SOUPS 30359 WITH SCORE 30947.733
AT ITER 7297 NEW BEST:: SOT 868953 SOS 588866 HAS SOPS 344256 HAS SOUS 52932 HAS SOUPS 30348 WITH SCORE 30936.866
AT ITER 7328 NEW BEST:: SOT 868949 SOS 588855 HAS SOPS 344252 HAS SOUS 52921 HAS SOUPS 30344 WITH SCORE 30932.855
AT ITER 7329 NEW BEST:: SOT 868983 SOS 588633 HAS SOPS 344104 HAS SOUS 52921 HAS SOUPS 30344 WITH SCORE 30932.633
AT ITER 7364 NEW BEST:: SOT 868983 SOS 588633 HAS SOPS 344104 HAS SOUS 52912 HAS SOUPS 30339 WITH SCORE 30927.633
AT ITER 7414 NEW BEST:: SOT 869004 SOS 588652 HAS SOPS 344101 HAS SOUS 52907 HAS SOUPS 30336 WITH SCORE 30924.652000000002
AT ITER 7485 NEW BEST:: SOT 869051 SOS 588699 HAS SOPS 344104 HAS SOUS 52901 HAS SOUPS 30334 WITH SCORE 30922.699
AT ITER 7488 NEW BEST:: SOT 869034 SOS 588682 HAS SOPS 344104 HAS SOUS 52901 HAS SOUPS 30334 WITH SCORE 30922.682
AT ITER 7541 NEW BEST:: SOT 869023 SOS 588654 HAS SOPS 344097 HAS SOUS 52900 HAS SOUPS 30334 WITH SCORE 30922.654
AT ITER 7585 NEW BEST:: SOT 869023 SOS 588654 HAS SOPS 344097 HAS SOUS 52882 HAS SOUPS 30324 WITH SCORE 30912.654
AT ITER 7605 NEW BEST:: SOT 869023 SOS 588654 HAS SOPS 344097 HAS SOUS 52873 HAS SOUPS 30319 WITH SCORE 30907.654
AT ITER 7619 NEW BEST:: SOT 868958 SOS 588797 HAS SOPS 344240 HAS SOUS 52864 HAS SOUPS 30310 WITH SCORE 30898.797
AT ITER 7621 NEW BEST:: SOT 868958 SOS 588797 HAS SOPS 344240 HAS SOUS 52837 HAS SOUPS 30295 WITH SCORE 30883.797
AT ITER 7638 NEW BEST:: SOT 868999 SOS 587534 HAS SOPS 342903 HAS SOUS 52835 HAS SOUPS 30270 WITH SCORE 30857.534
AT ITER 7648 NEW BEST:: SOT 868855 SOS 587390 HAS SOPS 342898 HAS SOUS 52776 HAS SOUPS 30163 WITH SCORE 30750.39
AT ITER 7657 NEW BEST:: SOT 868849 SOS 587384 HAS SOPS 342898 HAS SOUS 52776 HAS SOUPS 30163 WITH SCORE 30750.384
AT ITER 7666 NEW BEST:: SOT 867813 SOS 584631 HAS SOPS 342015 HAS SOUS 52638 HAS SOUPS 30110 WITH SCORE 30694.631
AT ITER 7703 NEW BEST:: SOT 866334 SOS 581427 HAS SOPS 340911 HAS SOUS 52503 HAS SOUPS 30002 WITH SCORE 30583.427
AT ITER 7783 NEW BEST:: SOT 865506 SOS 580148 HAS SOPS 340000 HAS SOUS 52493 HAS SOUPS 29992 WITH SCORE 30572.148
AT ITER 7789 NEW BEST:: SOT 865504 SOS 580112 HAS SOPS 339964 HAS SOUS 52477 HAS SOUPS 29976 WITH SCORE 30556.112
AT ITER 7853 NEW BEST:: SOT 865483 SOS 580091 HAS SOPS 339964 HAS SOUS 52477 HAS SOUPS 29976 WITH SCORE 30556.091
AT ITER 7861 NEW BEST:: SOT 865405 SOS 580013 HAS SOPS 339886 HAS SOUS 52477 HAS SOUPS 29976 WITH SCORE 30556.013
AT ITER 7870 NEW BEST:: SOT 865380 SOS 579988 HAS SOPS 339886 HAS SOUS 52477 HAS SOUPS 29976 WITH SCORE 30555.988
AT ITER 7893 NEW BEST:: SOT 865286 SOS 579870 HAS SOPS 339863 HAS SOUS 52430 HAS SOUPS 29953 WITH SCORE 30532.87
AT ITER 7943 NEW BEST:: SOT 865274 SOS 579858 HAS SOPS 339851 HAS SOUS 52427 HAS SOUPS 29951 WITH SCORE 30530.858
AT ITER 7959 NEW BEST:: SOT 865259 SOS 579228 HAS SOPS 339236 HAS SOUS 52426 HAS SOUPS 29950 WITH SCORE 30529.228
AT ITER 7963 NEW BEST:: SOT 865268 SOS 579390 HAS SOPS 339398 HAS SOUS 52409 HAS SOUPS 29933 WITH SCORE 30512.39
AT ITER 8029 NEW BEST:: SOT 865244 SOS 579174 HAS SOPS 339374 HAS SOUS 52367 HAS SOUPS 29903 WITH SCORE 30482.174
AT ITER 8033 NEW BEST:: SOT 865268 SOS 579198 HAS SOPS 339374 HAS SOUS 52349 HAS SOUPS 29893 WITH SCORE 30472.198
AT ITER 8103 NEW BEST:: SOT 865268 SOS 579198 HAS SOPS 339374 HAS SOUS 52340 HAS SOUPS 29888 WITH SCORE 30467.198
AT ITER 8155 NEW BEST:: SOT 865258 SOS 578908 HAS SOPS 339066 HAS SOUS 52320 HAS SOUPS 29868 WITH SCORE 30446.908
AT ITER 8158 NEW BEST:: SOT 865219 SOS 578869 HAS SOPS 339066 HAS SOUS 52320 HAS SOUPS 29868 WITH SCORE 30446.869
AT ITER 8164 NEW BEST:: SOT 865145 SOS 578787 HAS SOPS 339020 HAS SOUS 52318 HAS SOUPS 29866 WITH SCORE 30444.787
AT ITER 8171 NEW BEST:: SOT 865174 SOS 577319 HAS SOPS 337774 HAS SOUS 52319 HAS SOUPS 29867 WITH SCORE 30444.319
AT ITER 8196 NEW BEST:: SOT 865174 SOS 577319 HAS SOPS 337774 HAS SOUS 52316 HAS SOUPS 29865 WITH SCORE 30442.319
AT ITER 8261 NEW BEST:: SOT 865372 SOS 577517 HAS SOPS 337972 HAS SOUS 52313 HAS SOUPS 29863 WITH SCORE 30440.517
AT ITER 8274 NEW BEST:: SOT 865368 SOS 577513 HAS SOPS 337972 HAS SOUS 52313 HAS SOUPS 29863 WITH SCORE 30440.513
AT ITER 8338 NEW BEST:: SOT 865386 SOS 577303 HAS SOPS 337971 HAS SOUS 52312 HAS SOUPS 29862 WITH SCORE 30439.303
AT ITER 8340 NEW BEST:: SOT 865361 SOS 577329 HAS SOPS 337773 HAS SOUS 52315 HAS SOUPS 29851 WITH SCORE 30428.329
AT ITER 8390 NEW BEST:: SOT 865363 SOS 577325 HAS SOPS 337769 HAS SOUS 52305 HAS SOUPS 29843 WITH SCORE 30420.325
AT ITER 8436 NEW BEST:: SOT 865415 SOS 577121 HAS SOPS 337684 HAS SOUS 52253 HAS SOUPS 29822 WITH SCORE 30399.121
AT ITER 8451 NEW BEST:: SOT 865404 SOS 577110 HAS SOPS 337684 HAS SOUS 52253 HAS SOUPS 29822 WITH SCORE 30399.11
AT ITER 8507 NEW BEST:: SOT 865095 SOS 576255 HAS SOPS 337492 HAS SOUS 52238 HAS SOUPS 29807 WITH SCORE 30383.255
AT ITER 8538 NEW BEST:: SOT 865092 SOS 576033 HAS SOPS 337734 HAS SOUS 52203 HAS SOUPS 29801 WITH SCORE 30377.033
AT ITER 8561 NEW BEST:: SOT 865083 SOS 575930 HAS SOPS 337700 HAS SOUS 52194 HAS SOUPS 29784 WITH SCORE 30359.93
AT ITER 8568 NEW BEST:: SOT 865005 SOS 575852 HAS SOPS 337622 HAS SOUS 52194 HAS SOUPS 29784 WITH SCORE 30359.852
AT ITER 8593 NEW BEST:: SOT 865005 SOS 575852 HAS SOPS 337622 HAS SOUS 52185 HAS SOUPS 29779 WITH SCORE 30354.852
AT ITER 8622 NEW BEST:: SOT 865005 SOS 575852 HAS SOPS 337622 HAS SOUS 52123 HAS SOUPS 29717 WITH SCORE 30292.852
AT ITER 8624 NEW BEST:: SOT 864707 SOS 575248 HAS SOPS 337139 HAS SOUS 52072 HAS SOUPS 29666 WITH SCORE 30241.248
AT ITER 8629 NEW BEST:: SOT 864704 SOS 575227 HAS SOPS 337118 HAS SOUS 52068 HAS SOUPS 29662 WITH SCORE 30237.227
AT ITER 8733 NEW BEST:: SOT 864656 SOS 575043 HAS SOPS 337018 HAS SOUS 52056 HAS SOUPS 29654 WITH SCORE 30229.043
AT ITER 8751 NEW BEST:: SOT 865356 SOS 575849 HAS SOPS 337452 HAS SOUS 52038 HAS SOUPS 29636 WITH SCORE 30211.849
AT ITER 8760 NEW BEST:: SOT 864326 SOS 574053 HAS SOPS 336045 HAS SOUS 51983 HAS SOUPS 29568 WITH SCORE 30142.053
AT ITER 8828 NEW BEST:: SOT 864542 SOS 575527 HAS SOPS 336899 HAS SOUS 51973 HAS SOUPS 29558 WITH SCORE 30133.527000000002
AT ITER 8844 NEW BEST:: SOT 864428 SOS 575320 HAS SOPS 336816 HAS SOUS 51928 HAS SOUPS 29544 WITH SCORE 30119.32
AT ITER 8867 NEW BEST:: SOT 864946 SOS 577031 HAS SOPS 337489 HAS SOUS 51940 HAS SOUPS 29541 WITH SCORE 30118.031
AT ITER 8897 NEW BEST:: SOT 864238 SOS 574704 HAS SOPS 336775 HAS SOUS 51862 HAS SOUPS 29522 WITH SCORE 30096.704
AT ITER 8900 NEW BEST:: SOT 864070 SOS 574536 HAS SOPS 336607 HAS SOUS 51862 HAS SOUPS 29522 WITH SCORE 30096.536
AT ITER 8941 NEW BEST:: SOT 864058 SOS 574518 HAS SOPS 336598 HAS SOUS 51853 HAS SOUPS 29516 WITH SCORE 30090.518
AT ITER 8956 NEW BEST:: SOT 864033 SOS 574480 HAS SOPS 336586 HAS SOUS 51828 HAS SOUPS 29504 WITH SCORE 30078.48
AT ITER 8981 NEW BEST:: SOT 864021 SOS 574624 HAS SOPS 336634 HAS SOUS 51820 HAS SOUPS 29498 WITH SCORE 30072.624
AT ITER 8982 NEW BEST:: SOT 864016 SOS 574619 HAS SOPS 336634 HAS SOUS 51820 HAS SOUPS 29498 WITH SCORE 30072.619
AT ITER 8987 NEW BEST:: SOT 863132 SOS 572849 HAS SOPS 335279 HAS SOUS 51792 HAS SOUPS 29470 WITH SCORE 30042.849
AT ITER 9005 NEW BEST:: SOT 863111 SOS 572828 HAS SOPS 335279 HAS SOUS 51792 HAS SOUPS 29470 WITH SCORE 30042.828
AT ITER 9055 NEW BEST:: SOT 863105 SOS 572788 HAS SOPS 335239 HAS SOUS 51788 HAS SOUPS 29466 WITH SCORE 30038.788
AT ITER 9137 NEW BEST:: SOT 863299 SOS 573118 HAS SOPS 335331 HAS SOUS 51804 HAS SOUPS 29452 WITH SCORE 30025.118
AT ITER 9139 NEW BEST:: SOT 863298 SOS 573117 HAS SOPS 335331 HAS SOUS 51804 HAS SOUPS 29452 WITH SCORE 30025.117
AT ITER 9173 NEW BEST:: SOT 863598 SOS 573417 HAS SOPS 335631 HAS SOUS 51765 HAS SOUPS 29424 WITH SCORE 29997.417
AT ITER 9194 NEW BEST:: SOT 862563 SOS 570061 HAS SOPS 334934 HAS SOUS 51674 HAS SOUPS 29425 WITH SCORE 29995.061
AT ITER 9201 NEW BEST:: SOT 862562 SOS 570059 HAS SOPS 334932 HAS SOUS 51673 HAS SOUPS 29424 WITH SCORE 29994.059
AT ITER 9252 NEW BEST:: SOT 862436 SOS 569807 HAS SOPS 334848 HAS SOUS 51631 HAS SOUPS 29424 WITH SCORE 29993.807
AT ITER 9273 NEW BEST:: SOT 862429 SOS 569800 HAS SOPS 334842 HAS SOUS 51629 HAS SOUPS 29422 WITH SCORE 29991.8
AT ITER 9282 NEW BEST:: SOT 862363 SOS 569632 HAS SOPS 334800 HAS SOUS 51623 HAS SOUPS 29422 WITH SCORE 29991.632
AT ITER 9302 NEW BEST:: SOT 862363 SOS 569220 HAS SOPS 334392 HAS SOUS 51623 HAS SOUPS 29418 WITH SCORE 29987.22
AT ITER 9306 NEW BEST:: SOT 862061 SOS 568188 HAS SOPS 333284 HAS SOUS 51592 HAS SOUPS 29349 WITH SCORE 29917.188
AT ITER 9355 NEW BEST:: SOT 862023 SOS 568130 HAS SOPS 333245 HAS SOUS 51591 HAS SOUPS 29348 WITH SCORE 29916.13
AT ITER 9394 NEW BEST:: SOT 862008 SOS 568115 HAS SOPS 333245 HAS SOUS 51591 HAS SOUPS 29348 WITH SCORE 29916.115
AT ITER 9417 NEW BEST:: SOT 862020 SOS 568127 HAS SOPS 333252 HAS SOUS 51590 HAS SOUPS 29347 WITH SCORE 29915.127
AT ITER 9434 NEW BEST:: SOT 862005 SOS 568112 HAS SOPS 333252 HAS SOUS 51590 HAS SOUPS 29347 WITH SCORE 29915.112
AT ITER 9436 NEW BEST:: SOT 862005 SOS 568112 HAS SOPS 333252 HAS SOUS 51587 HAS SOUPS 29345 WITH SCORE 29913.112
AT ITER 9461 NEW BEST:: SOT 861967 SOS 568302 HAS SOPS 333233 HAS SOUS 51568 HAS SOUPS 29326 WITH SCORE 29894.302
AT ITER 9487 NEW BEST:: SOT 861976 SOS 568497 HAS SOPS 333317 HAS SOUS 51565 HAS SOUPS 29323 WITH SCORE 29891.497
AT ITER 9491 NEW BEST:: SOT 861663 SOS 568046 HAS SOPS 333182 HAS SOUS 51532 HAS SOUPS 29300 WITH SCORE 29868.046
AT ITER 9504 NEW BEST:: SOT 862031 SOS 568792 HAS SOPS 333424 HAS SOUS 51586 HAS SOUPS 29292 WITH SCORE 29860.792
AT ITER 9508 NEW BEST:: SOT 861000 SOS 565050 HAS SOPS 331530 HAS SOUS 51352 HAS SOUPS 29162 WITH SCORE 29727.05
AT ITER 9514 NEW BEST:: SOT 860985 SOS 564836 HAS SOPS 331602 HAS SOUS 51320 HAS SOUPS 29156 WITH SCORE 29720.836
AT ITER 9532 NEW BEST:: SOT 860985 SOS 564836 HAS SOPS 331602 HAS SOUS 51257 HAS SOUPS 29121 WITH SCORE 29685.836
AT ITER 9557 NEW BEST:: SOT 860865 SOS 564706 HAS SOPS 331532 HAS SOUS 51237 HAS SOUPS 29101 WITH SCORE 29665.706
AT ITER 9567 NEW BEST:: SOT 860746 SOS 564655 HAS SOPS 331481 HAS SOUS 51237 HAS SOUPS 29084 WITH SCORE 29648.655
AT ITER 9594 NEW BEST:: SOT 860668 SOS 564541 HAS SOPS 331403 HAS SOUS 51231 HAS SOUPS 29078 WITH SCORE 29642.541
AT ITER 9607 NEW BEST:: SOT 860376 SOS 562236 HAS SOPS 329215 HAS SOUS 51200 HAS SOUPS 29002 WITH SCORE 29564.236
AT ITER 9646 NEW BEST:: SOT 859809 SOS 560699 HAS SOPS 327899 HAS SOUS 51210 HAS SOUPS 28990 WITH SCORE 29550.699
AT ITER 9655 NEW BEST:: SOT 858852 SOS 557957 HAS SOPS 326984 HAS SOUS 51105 HAS SOUPS 28972 WITH SCORE 29529.957
AT ITER 9695 NEW BEST:: SOT 858806 SOS 557911 HAS SOPS 326984 HAS SOUS 51105 HAS SOUPS 28972 WITH SCORE 29529.911
AT ITER 9702 NEW BEST:: SOT 858777 SOS 557882 HAS SOPS 326984 HAS SOUS 51069 HAS SOUPS 28936 WITH SCORE 29493.882
AT ITER 9782 NEW BEST:: SOT 858774 SOS 557812 HAS SOPS 326914 HAS SOUS 51066 HAS SOUPS 28933 WITH SCORE 29490.812
AT ITER 9797 NEW BEST:: SOT 858774 SOS 557812 HAS SOPS 326914 HAS SOUS 51057 HAS SOUPS 28928 WITH SCORE 29485.812
AT ITER 9826 NEW BEST:: SOT 858814 SOS 557942 HAS SOPS 327019 HAS SOUS 51052 HAS SOUPS 28923 WITH SCORE 29480.942
AT ITER 9834 NEW BEST:: SOT 858106 SOS 557186 HAS SOPS 326623 HAS SOUS 51006 HAS SOUPS 28877 WITH SCORE 29434.186
AT ITER 9876 NEW BEST:: SOT 858034 SOS 557043 HAS SOPS 326587 HAS SOUS 50987 HAS SOUPS 28876 WITH SCORE 29433.043
AT ITER 9885 NEW BEST:: SOT 858038 SOS 557059 HAS SOPS 326587 HAS SOUS 50983 HAS SOUPS 28872 WITH SCORE 29429.059
AT ITER 9890 NEW BEST:: SOT 857680 SOS 555885 HAS SOPS 326064 HAS SOUS 50918 HAS SOUPS 28838 WITH SCORE 29393.885
AT ITER 9907 NEW BEST:: SOT 857680 SOS 555885 HAS SOPS 326064 HAS SOUS 50891 HAS SOUPS 28823 WITH SCORE 29378.885
AT ITER 9964 NEW BEST:: SOT 857656 SOS 555861 HAS SOPS 326040 HAS SOUS 50891 HAS SOUPS 28823 WITH SCORE 29378.861

BK_STOP 1678264335597

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 365 Killed ${SMART}/smart ${INPUT_SM}

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="DLCround-PT-12a"
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 DLCround-PT-12a, 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 r099-tall-167814472800768"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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