Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140400312.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is HypertorusGrid-PT-d4k3p2b08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140400312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.0M
-rw-r--r-- 1 mcc users 4.6K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.7K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 10 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rwxr-xr-x 1 mcc users 2.8M Apr 27 15:14 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 1589614006874

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypertorusGrid (PT), instance d4k3p2b08
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 2025 places, 5184 transitions, 20736 arcs.
AT ITER 0 NEW BEST:: SOT 6318764 SOS 2283860 HAS SOPS 2283860 HAS SOUS 951985 HAS SOUPS 951985 WITH SCORE 954268.86
AT ITER 1 NEW BEST:: SOT 6318662 SOS 2283758 HAS SOPS 2283758 HAS SOUS 951781 HAS SOUPS 951781 WITH SCORE 954064.758
AT ITER 2 NEW BEST:: SOT 6318662 SOS 2283548 HAS SOPS 2283548 HAS SOUS 951751 HAS SOUPS 951751 WITH SCORE 954034.548
AT ITER 11 NEW BEST:: SOT 6318535 SOS 2283294 HAS SOPS 2283294 HAS SOUS 951050 HAS SOUPS 951050 WITH SCORE 953333.294
AT ITER 24 NEW BEST:: SOT 6318535 SOS 2282670 HAS SOPS 2282670 HAS SOUS 950894 HAS SOUPS 950894 WITH SCORE 953176.67
AT ITER 26 NEW BEST:: SOT 6318456 SOS 2282038 HAS SOPS 2282038 HAS SOUS 950736 HAS SOUPS 950736 WITH SCORE 953018.038
AT ITER 34 NEW BEST:: SOT 6318458 SOS 2280166 HAS SOPS 2280166 HAS SOUS 950472 HAS SOUPS 950472 WITH SCORE 952752.166
AT ITER 43 NEW BEST:: SOT 6318355 SOS 2280063 HAS SOPS 2280063 HAS SOUS 950369 HAS SOUPS 950369 WITH SCORE 952649.063
AT ITER 45 NEW BEST:: SOT 6318195 SOS 2279743 HAS SOPS 2279743 HAS SOUS 950049 HAS SOUPS 950049 WITH SCORE 952328.743
AT ITER 51 NEW BEST:: SOT 6318195 SOS 2279743 HAS SOPS 2279743 HAS SOUS 949758 HAS SOUPS 949758 WITH SCORE 952037.743
AT ITER 58 NEW BEST:: SOT 6318195 SOS 2279659 HAS SOPS 2279659 HAS SOUS 949758 HAS SOUPS 949758 WITH SCORE 952037.659
AT ITER 80 NEW BEST:: SOT 6318195 SOS 2279797 HAS SOPS 2279797 HAS SOUS 949597 HAS SOUPS 949597 WITH SCORE 951876.797
AT ITER 104 NEW BEST:: SOT 6318195 SOS 2279749 HAS SOPS 2279749 HAS SOUS 949597 HAS SOUPS 949597 WITH SCORE 951876.749
AT ITER 109 NEW BEST:: SOT 6318195 SOS 2279777 HAS SOPS 2279777 HAS SOUS 949577 HAS SOUPS 949577 WITH SCORE 951856.777
AT ITER 113 NEW BEST:: SOT 6318195 SOS 2279759 HAS SOPS 2279759 HAS SOUS 949559 HAS SOUPS 949559 WITH SCORE 951838.759
AT ITER 130 NEW BEST:: SOT 6318027 SOS 2278499 HAS SOPS 2278499 HAS SOUS 949091 HAS SOUPS 949091 WITH SCORE 951369.499
AT ITER 133 NEW BEST:: SOT 6318027 SOS 2276507 HAS SOPS 2276507 HAS SOUS 948593 HAS SOUPS 948593 WITH SCORE 950869.507
AT ITER 142 NEW BEST:: SOT 6317383 SOS 2275771 HAS SOPS 2275771 HAS SOUS 947641 HAS SOUPS 947641 WITH SCORE 949916.771
AT ITER 190 NEW BEST:: SOT 6317383 SOS 2274175 HAS SOPS 2274175 HAS SOUS 947413 HAS SOUPS 947413 WITH SCORE 949687.175
AT ITER 200 NEW BEST:: SOT 6317383 SOS 2273966 HAS SOPS 2273966 HAS SOUS 946322 HAS SOUPS 946322 WITH SCORE 948595.966
AT ITER 208 NEW BEST:: SOT 6317214 SOS 2273628 HAS SOPS 2273628 HAS SOUS 945636 HAS SOUPS 945636 WITH SCORE 947909.628
AT ITER 226 NEW BEST:: SOT 6317214 SOS 2273517 HAS SOPS 2273517 HAS SOUS 945525 HAS SOUPS 945525 WITH SCORE 947798.517
AT ITER 230 NEW BEST:: SOT 6315324 SOS 2269503 HAS SOPS 2269503 HAS SOUS 943383 HAS SOUPS 943383 WITH SCORE 945652.503
AT ITER 237 NEW BEST:: SOT 6315324 SOS 2269422 HAS SOPS 2269422 HAS SOUS 943302 HAS SOUPS 943302 WITH SCORE 945571.422
AT ITER 260 NEW BEST:: SOT 6315324 SOS 2269135 HAS SOPS 2269135 HAS SOUS 943291 HAS SOUPS 943291 WITH SCORE 945560.135
AT ITER 271 NEW BEST:: SOT 6314166 SOS 2267977 HAS SOPS 2267977 HAS SOUS 942133 HAS SOUPS 942133 WITH SCORE 944400.977
AT ITER 300 NEW BEST:: SOT 6314095 SOS 2267906 HAS SOPS 2267906 HAS SOUS 942065 HAS SOUPS 942065 WITH SCORE 944332.906
AT ITER 303 NEW BEST:: SOT 6313949 SOS 2266738 HAS SOPS 2266738 HAS SOUS 941773 HAS SOUPS 941773 WITH SCORE 944039.738
AT ITER 316 NEW BEST:: SOT 6313911 SOS 2266700 HAS SOPS 2266700 HAS SOUS 941773 HAS SOUPS 941773 WITH SCORE 944039.7
AT ITER 334 NEW BEST:: SOT 6313994 SOS 2266783 HAS SOPS 2266783 HAS SOUS 941607 HAS SOUPS 941607 WITH SCORE 943873.783
AT ITER 340 NEW BEST:: SOT 6313994 SOS 2266999 HAS SOPS 2266999 HAS SOUS 941391 HAS SOUPS 941391 WITH SCORE 943657.999
AT ITER 347 NEW BEST:: SOT 6313771 SOS 2265215 HAS SOPS 2265215 HAS SOUS 940945 HAS SOUPS 940945 WITH SCORE 943210.215
AT ITER 354 NEW BEST:: SOT 6314033 SOS 2265739 HAS SOPS 2265739 HAS SOUS 940131 HAS SOUPS 940131 WITH SCORE 942396.739
AT ITER 363 NEW BEST:: SOT 6313936 SOS 2264963 HAS SOPS 2264963 HAS SOUS 939937 HAS SOUPS 939937 WITH SCORE 942201.963
AT ITER 372 NEW BEST:: SOT 6312234 SOS 2261559 HAS SOPS 2261559 HAS SOUS 939306 HAS SOUPS 939306 WITH SCORE 941567.559
AT ITER 377 NEW BEST:: SOT 6312169 SOS 2261494 HAS SOPS 2261494 HAS SOUS 939174 HAS SOUPS 939174 WITH SCORE 941435.494
AT ITER 383 NEW BEST:: SOT 6312067 SOS 2261120 HAS SOPS 2261120 HAS SOUS 939140 HAS SOUPS 939140 WITH SCORE 941401.12
AT ITER 388 NEW BEST:: SOT 6311899 SOS 2259811 HAS SOPS 2259811 HAS SOUS 938665 HAS SOUPS 938665 WITH SCORE 940924.811
AT ITER 400 NEW BEST:: SOT 6311899 SOS 2259811 HAS SOPS 2259811 HAS SOUS 938650 HAS SOUPS 938650 WITH SCORE 940909.811
AT ITER 403 NEW BEST:: SOT 6311731 SOS 2258901 HAS SOPS 2258901 HAS SOUS 938232 HAS SOUPS 938232 WITH SCORE 940490.901
AT ITER 407 NEW BEST:: SOT 6311731 SOS 2259033 HAS SOPS 2259033 HAS SOUS 938100 HAS SOUPS 938100 WITH SCORE 940359.033
AT ITER 420 NEW BEST:: SOT 6311731 SOS 2259033 HAS SOPS 2259033 HAS SOUS 937862 HAS SOUPS 937862 WITH SCORE 940121.033
AT ITER 421 NEW BEST:: SOT 6311731 SOS 2259201 HAS SOPS 2259201 HAS SOUS 937718 HAS SOUPS 937718 WITH SCORE 939977.201
AT ITER 424 NEW BEST:: SOT 6311556 SOS 2258826 HAS SOPS 2258826 HAS SOUS 937493 HAS SOUPS 937493 WITH SCORE 939751.826
AT ITER 426 NEW BEST:: SOT 6311554 SOS 2258808 HAS SOPS 2258808 HAS SOUS 937487 HAS SOUPS 937487 WITH SCORE 939745.808
AT ITER 428 NEW BEST:: SOT 6311554 SOS 2258804 HAS SOPS 2258804 HAS SOUS 937483 HAS SOUPS 937483 WITH SCORE 939741.804
AT ITER 434 NEW BEST:: SOT 6311554 SOS 2258852 HAS SOPS 2258852 HAS SOUS 937427 HAS SOUPS 937427 WITH SCORE 939685.852
AT ITER 443 NEW BEST:: SOT 6311425 SOS 2257820 HAS SOPS 2257820 HAS SOUS 937169 HAS SOUPS 937169 WITH SCORE 939426.82
AT ITER 460 NEW BEST:: SOT 6311425 SOS 2257656 HAS SOPS 2257656 HAS SOUS 936807 HAS SOUPS 936807 WITH SCORE 939064.656
AT ITER 461 NEW BEST:: SOT 6311425 SOS 2256501 HAS SOPS 2256501 HAS SOUS 936642 HAS SOUPS 936642 WITH SCORE 938898.501
AT ITER 463 NEW BEST:: SOT 6311295 SOS 2256241 HAS SOPS 2256241 HAS SOUS 936262 HAS SOUPS 936262 WITH SCORE 938518.241
AT ITER 477 NEW BEST:: SOT 6310357 SOS 2255169 HAS SOPS 2255169 HAS SOUS 934386 HAS SOUPS 934386 WITH SCORE 936641.169
AT ITER 481 NEW BEST:: SOT 6310087 SOS 2253439 HAS SOPS 2253439 HAS SOUS 933676 HAS SOUPS 933676 WITH SCORE 935929.439
AT ITER 491 NEW BEST:: SOT 6309772 SOS 2253079 HAS SOPS 2253079 HAS SOUS 932482 HAS SOUPS 932482 WITH SCORE 934735.079
AT ITER 492 NEW BEST:: SOT 6309772 SOS 2252540 HAS SOPS 2252540 HAS SOUS 932405 HAS SOUPS 932405 WITH SCORE 934657.54
AT ITER 496 NEW BEST:: SOT 6309604 SOS 2251721 HAS SOPS 2251721 HAS SOUS 932000 HAS SOUPS 932000 WITH SCORE 934251.721
AT ITER 512 NEW BEST:: SOT 6309226 SOS 2250911 HAS SOPS 2250911 HAS SOUS 931514 HAS SOUPS 931514 WITH SCORE 933764.911
AT ITER 525 NEW BEST:: SOT 6308590 SOS 2250275 HAS SOPS 2250275 HAS SOUS 930878 HAS SOUPS 930878 WITH SCORE 933128.275
AT ITER 527 NEW BEST:: SOT 6308590 SOS 2250275 HAS SOPS 2250275 HAS SOUS 930774 HAS SOUPS 930774 WITH SCORE 933024.275
AT ITER 565 NEW BEST:: SOT 6306769 SOS 2246633 HAS SOPS 2246633 HAS SOUS 928764 HAS SOUPS 928764 WITH SCORE 931010.633
AT ITER 567 NEW BEST:: SOT 6306558 SOS 2244945 HAS SOPS 2244945 HAS SOUS 928342 HAS SOUPS 928342 WITH SCORE 930586.945
AT ITER 570 NEW BEST:: SOT 6304668 SOS 2240771 HAS SOPS 2240771 HAS SOUS 926142 HAS SOUPS 926142 WITH SCORE 928382.771
AT ITER 572 NEW BEST:: SOT 6304538 SOS 2240641 HAS SOPS 2240641 HAS SOUS 926012 HAS SOUPS 926012 WITH SCORE 928252.641
AT ITER 575 NEW BEST:: SOT 6304849 SOS 2241263 HAS SOPS 2241263 HAS SOUS 925174 HAS SOUPS 925174 WITH SCORE 927415.263
AT ITER 588 NEW BEST:: SOT 6304849 SOS 2241914 HAS SOPS 2241914 HAS SOUS 924666 HAS SOUPS 924666 WITH SCORE 926907.914
AT ITER 610 NEW BEST:: SOT 6304702 SOS 2241620 HAS SOPS 2241620 HAS SOUS 924372 HAS SOUPS 924372 WITH SCORE 926613.62
AT ITER 638 NEW BEST:: SOT 6303681 SOS 2239578 HAS SOPS 2239578 HAS SOUS 923692 HAS SOUPS 923692 WITH SCORE 925931.578
AT ITER 660 NEW BEST:: SOT 6303681 SOS 2239517 HAS SOPS 2239517 HAS SOUS 923631 HAS SOUPS 923631 WITH SCORE 925870.517
AT ITER 681 NEW BEST:: SOT 6303681 SOS 2238181 HAS SOPS 2238181 HAS SOUS 923297 HAS SOUPS 923297 WITH SCORE 925535.181
AT ITER 700 NEW BEST:: SOT 6302869 SOS 2237369 HAS SOPS 2237369 HAS SOUS 922485 HAS SOUPS 922485 WITH SCORE 924722.369
AT ITER 713 NEW BEST:: SOT 6302869 SOS 2237561 HAS SOPS 2237561 HAS SOUS 922273 HAS SOUPS 922273 WITH SCORE 924510.561
AT ITER 734 NEW BEST:: SOT 6302752 SOS 2237444 HAS SOPS 2237444 HAS SOUS 922273 HAS SOUPS 922273 WITH SCORE 924510.444
AT ITER 739 NEW BEST:: SOT 6302482 SOS 2235056 HAS SOPS 2235056 HAS SOUS 921469 HAS SOUPS 921469 WITH SCORE 923704.056
AT ITER 740 NEW BEST:: SOT 6301906 SOS 2234480 HAS SOPS 2234480 HAS SOUS 920893 HAS SOUPS 920893 WITH SCORE 923127.48
AT ITER 769 NEW BEST:: SOT 6301906 SOS 2233766 HAS SOPS 2233766 HAS SOUS 920791 HAS SOUPS 920791 WITH SCORE 923024.766
AT ITER 774 NEW BEST:: SOT 6301797 SOS 2233657 HAS SOPS 2233657 HAS SOUS 920573 HAS SOUPS 920573 WITH SCORE 922806.657
AT ITER 783 NEW BEST:: SOT 6301578 SOS 2231905 HAS SOPS 2231905 HAS SOUS 920135 HAS SOUPS 920135 WITH SCORE 922366.905
AT ITER 804 NEW BEST:: SOT 6301116 SOS 2231443 HAS SOPS 2231443 HAS SOUS 919673 HAS SOUPS 919673 WITH SCORE 921904.443
AT ITER 835 NEW BEST:: SOT 6301116 SOS 2231443 HAS SOPS 2231443 HAS SOUS 919662 HAS SOUPS 919662 WITH SCORE 921893.443
AT ITER 862 NEW BEST:: SOT 6299975 SOS 2230139 HAS SOPS 2230139 HAS SOUS 917126 HAS SOUPS 917126 WITH SCORE 919356.139
AT ITER 865 NEW BEST:: SOT 6298967 SOS 2228987 HAS SOPS 2228987 HAS SOUS 915974 HAS SOUPS 915974 WITH SCORE 918202.987
AT ITER 875 NEW BEST:: SOT 6298967 SOS 2227875 HAS SOPS 2227875 HAS SOUS 915696 HAS SOUPS 915696 WITH SCORE 917923.875
AT ITER 878 NEW BEST:: SOT 6298967 SOS 2228704 HAS SOPS 2228704 HAS SOUS 915583 HAS SOUPS 915583 WITH SCORE 917811.704
AT ITER 890 NEW BEST:: SOT 6299040 SOS 2228826 HAS SOPS 2228826 HAS SOUS 915435 HAS SOUPS 915435 WITH SCORE 917663.826
AT ITER 900 NEW BEST:: SOT 6297150 SOS 2224785 HAS SOPS 2224785 HAS SOUS 913077 HAS SOUPS 913077 WITH SCORE 915301.785
AT ITER 912 NEW BEST:: SOT 6296282 SOS 2223793 HAS SOPS 2223793 HAS SOUS 911962 HAS SOUPS 911962 WITH SCORE 914185.793
AT ITER 969 NEW BEST:: SOT 6296291 SOS 2223802 HAS SOPS 2223802 HAS SOUS 911953 HAS SOUPS 911953 WITH SCORE 914176.802
AT ITER 975 NEW BEST:: SOT 6295024 SOS 2222354 HAS SOPS 2222354 HAS SOUS 910046 HAS SOUPS 910046 WITH SCORE 912268.354
AT ITER 1010 NEW BEST:: SOT 6294092 SOS 2220964 HAS SOPS 2220964 HAS SOUS 909244 HAS SOUPS 909244 WITH SCORE 911464.964
AT ITER 1011 NEW BEST:: SOT 6294062 SOS 2220724 HAS SOPS 2220724 HAS SOUS 909184 HAS SOUPS 909184 WITH SCORE 911404.724
AT ITER 1022 NEW BEST:: SOT 6294052 SOS 2221244 HAS SOPS 2221244 HAS SOUS 909164 HAS SOUPS 909164 WITH SCORE 911385.244
AT ITER 1026 NEW BEST:: SOT 6293825 SOS 2219428 HAS SOPS 2219428 HAS SOUS 908710 HAS SOUPS 908710 WITH SCORE 910929.428
AT ITER 1032 NEW BEST:: SOT 6293776 SOS 2219330 HAS SOPS 2219330 HAS SOUS 907875 HAS SOUPS 907875 WITH SCORE 910094.33
AT ITER 1035 NEW BEST:: SOT 6293776 SOS 2217978 HAS SOPS 2217978 HAS SOUS 907537 HAS SOUPS 907537 WITH SCORE 909754.978
AT ITER 1048 NEW BEST:: SOT 6293620 SOS 2217406 HAS SOPS 2217406 HAS SOUS 907485 HAS SOUPS 907485 WITH SCORE 909702.406
AT ITER 1054 NEW BEST:: SOT 6293620 SOS 2217406 HAS SOPS 2217406 HAS SOUS 907477 HAS SOUPS 907477 WITH SCORE 909694.406
AT ITER 1082 NEW BEST:: SOT 6293361 SOS 2216888 HAS SOPS 2216888 HAS SOUS 907181 HAS SOUPS 907181 WITH SCORE 909397.888
AT ITER 1100 NEW BEST:: SOT 6293396 SOS 2216958 HAS SOPS 2216958 HAS SOUS 906445 HAS SOUPS 906445 WITH SCORE 908661.958
AT ITER 1101 NEW BEST:: SOT 6293278 SOS 2216014 HAS SOPS 2216014 HAS SOUS 906209 HAS SOUPS 906209 WITH SCORE 908425.014
AT ITER 1172 NEW BEST:: SOT 6292942 SOS 2215678 HAS SOPS 2215678 HAS SOUS 905873 HAS SOUPS 905873 WITH SCORE 908088.678
AT ITER 1174 NEW BEST:: SOT 6293019 SOS 2215573 HAS SOPS 2215573 HAS SOUS 905504 HAS SOUPS 905504 WITH SCORE 907719.573
AT ITER 1177 NEW BEST:: SOT 6293019 SOS 2213701 HAS SOPS 2213701 HAS SOUS 905036 HAS SOUPS 905036 WITH SCORE 907249.701
AT ITER 1186 NEW BEST:: SOT 6293019 SOS 2214303 HAS SOPS 2214303 HAS SOUS 904568 HAS SOUPS 904568 WITH SCORE 906782.303
AT ITER 1200 NEW BEST:: SOT 6293019 SOS 2214303 HAS SOPS 2214303 HAS SOUS 904556 HAS SOUPS 904556 WITH SCORE 906770.303
AT ITER 1222 NEW BEST:: SOT 6291437 SOS 2212495 HAS SOPS 2212495 HAS SOUS 901696 HAS SOUPS 901696 WITH SCORE 903908.495
AT ITER 1224 NEW BEST:: SOT 6291437 SOS 2212495 HAS SOPS 2212495 HAS SOUS 901516 HAS SOUPS 901516 WITH SCORE 903728.495
AT ITER 1229 NEW BEST:: SOT 6290367 SOS 2210355 HAS SOPS 2210355 HAS SOUS 901106 HAS SOUPS 901106 WITH SCORE 903316.355
AT ITER 1232 NEW BEST:: SOT 6290203 SOS 2208623 HAS SOPS 2208623 HAS SOUS 901098 HAS SOUPS 901098 WITH SCORE 903306.623
AT ITER 1236 NEW BEST:: SOT 6290203 SOS 2207993 HAS SOPS 2207993 HAS SOUS 901008 HAS SOUPS 901008 WITH SCORE 903215.993
AT ITER 1250 NEW BEST:: SOT 6289132 SOS 2206769 HAS SOPS 2206769 HAS SOUS 898974 HAS SOUPS 898974 WITH SCORE 901180.769
AT ITER 1289 NEW BEST:: SOT 6288131 SOS 2205625 HAS SOPS 2205625 HAS SOUS 896972 HAS SOUPS 896972 WITH SCORE 899177.625
AT ITER 1344 NEW BEST:: SOT 6288131 SOS 2207214 HAS SOPS 2207214 HAS SOUS 895668 HAS SOUPS 895668 WITH SCORE 897875.214
AT ITER 1362 NEW BEST:: SOT 6288131 SOS 2207396 HAS SOPS 2207396 HAS SOUS 895538 HAS SOUPS 895538 WITH SCORE 897745.396
AT ITER 1368 NEW BEST:: SOT 6286493 SOS 2205524 HAS SOPS 2205524 HAS SOUS 893666 HAS SOUPS 893666 WITH SCORE 895871.524
AT ITER 1371 NEW BEST:: SOT 6287266 SOS 2207070 HAS SOPS 2207070 HAS SOUS 892626 HAS SOUPS 892626 WITH SCORE 894833.07
AT ITER 1404 NEW BEST:: SOT 6287266 SOS 2207070 HAS SOPS 2207070 HAS SOUS 892269 HAS SOUPS 892269 WITH SCORE 894476.07
AT ITER 1409 NEW BEST:: SOT 6286692 SOS 2206414 HAS SOPS 2206414 HAS SOUS 891613 HAS SOUPS 891613 WITH SCORE 893819.414
AT ITER 1412 NEW BEST:: SOT 6286692 SOS 2205462 HAS SOPS 2205462 HAS SOUS 891477 HAS SOUPS 891477 WITH SCORE 893682.462
AT ITER 1418 NEW BEST:: SOT 6286368 SOS 2205138 HAS SOPS 2205138 HAS SOUS 891153 HAS SOUPS 891153 WITH SCORE 893358.138
AT ITER 1432 NEW BEST:: SOT 6286162 SOS 2204726 HAS SOPS 2204726 HAS SOUS 890183 HAS SOUPS 890183 WITH SCORE 892387.726
AT ITER 1435 NEW BEST:: SOT 6286162 SOS 2204726 HAS SOPS 2204726 HAS SOUS 890137 HAS SOUPS 890137 WITH SCORE 892341.726
AT ITER 1437 NEW BEST:: SOT 6285613 SOS 2204245 HAS SOPS 2204245 HAS SOUS 890022 HAS SOUPS 890022 WITH SCORE 892226.245
AT ITER 1450 NEW BEST:: SOT 6284532 SOS 2202083 HAS SOPS 2202083 HAS SOUS 888796 HAS SOUPS 888796 WITH SCORE 890998.083
AT ITER 1459 NEW BEST:: SOT 6284224 SOS 2201731 HAS SOPS 2201731 HAS SOUS 888219 HAS SOUPS 888219 WITH SCORE 890420.731
AT ITER 1462 NEW BEST:: SOT 6284224 SOS 2201031 HAS SOPS 2201031 HAS SOUS 888119 HAS SOUPS 888119 WITH SCORE 890320.031
AT ITER 1469 NEW BEST:: SOT 6284139 SOS 2200861 HAS SOPS 2200861 HAS SOUS 887949 HAS SOUPS 887949 WITH SCORE 890149.861
AT ITER 1487 NEW BEST:: SOT 6284439 SOS 2201833 HAS SOPS 2201833 HAS SOUS 887601 HAS SOUPS 887601 WITH SCORE 889802.833
AT ITER 1490 NEW BEST:: SOT 6284439 SOS 2201833 HAS SOPS 2201833 HAS SOUS 887573 HAS SOUPS 887573 WITH SCORE 889774.833
AT ITER 1498 NEW BEST:: SOT 6283053 SOS 2200249 HAS SOPS 2200249 HAS SOUS 885989 HAS SOUPS 885989 WITH SCORE 888189.249
AT ITER 1548 NEW BEST:: SOT 6282766 SOS 2199921 HAS SOPS 2199921 HAS SOUS 885661 HAS SOUPS 885661 WITH SCORE 887860.921
AT ITER 1567 NEW BEST:: SOT 6282598 SOS 2198682 HAS SOPS 2198682 HAS SOUS 885196 HAS SOUPS 885196 WITH SCORE 887394.682
AT ITER 1595 NEW BEST:: SOT 6282598 SOS 2198682 HAS SOPS 2198682 HAS SOUS 885166 HAS SOUPS 885166 WITH SCORE 887364.682
AT ITER 1597 NEW BEST:: SOT 6281688 SOS 2196732 HAS SOPS 2196732 HAS SOUS 883996 HAS SOUPS 883996 WITH SCORE 886192.732
AT ITER 1606 NEW BEST:: SOT 6280733 SOS 2195218 HAS SOPS 2195218 HAS SOUS 883136 HAS SOUPS 883136 WITH SCORE 885331.218
AT ITER 1612 NEW BEST:: SOT 6280733 SOS 2194306 HAS SOPS 2194306 HAS SOUS 882908 HAS SOUPS 882908 WITH SCORE 885102.306
AT ITER 1614 NEW BEST:: SOT 6280733 SOS 2194306 HAS SOPS 2194306 HAS SOUS 882810 HAS SOUPS 882810 WITH SCORE 885004.306
AT ITER 1629 NEW BEST:: SOT 6280733 SOS 2192362 HAS SOPS 2192362 HAS SOUS 882324 HAS SOUPS 882324 WITH SCORE 884516.362
AT ITER 1632 NEW BEST:: SOT 6280733 SOS 2192196 HAS SOPS 2192196 HAS SOUS 882158 HAS SOUPS 882158 WITH SCORE 884350.196
AT ITER 1657 NEW BEST:: SOT 6281503 SOS 2193415 HAS SOPS 2193415 HAS SOUS 881849 HAS SOUPS 881849 WITH SCORE 884042.415
AT ITER 1667 NEW BEST:: SOT 6281503 SOS 2193415 HAS SOPS 2193415 HAS SOUS 881845 HAS SOUPS 881845 WITH SCORE 884038.415
AT ITER 1678 NEW BEST:: SOT 6281503 SOS 2193415 HAS SOPS 2193415 HAS SOUS 881753 HAS SOUPS 881753 WITH SCORE 883946.415
AT ITER 1682 NEW BEST:: SOT 6281503 SOS 2193399 HAS SOPS 2193399 HAS SOUS 881749 HAS SOUPS 881749 WITH SCORE 883942.399
AT ITER 1687 NEW BEST:: SOT 6281586 SOS 2192256 HAS SOPS 2192256 HAS SOUS 881728 HAS SOUPS 881728 WITH SCORE 883920.256
AT ITER 1693 NEW BEST:: SOT 6282418 SOS 2193970 HAS SOPS 2193970 HAS SOUS 881369 HAS SOUPS 881369 WITH SCORE 883562.97
AT ITER 1717 NEW BEST:: SOT 6282411 SOS 2193963 HAS SOPS 2193963 HAS SOUS 881362 HAS SOUPS 881362 WITH SCORE 883555.963
AT ITER 1747 NEW BEST:: SOT 6282141 SOS 2192310 HAS SOPS 2192310 HAS SOUS 880663 HAS SOUPS 880663 WITH SCORE 882855.31
AT ITER 1753 NEW BEST:: SOT 6282134 SOS 2192476 HAS SOPS 2192476 HAS SOUS 880547 HAS SOUPS 880547 WITH SCORE 882739.476
AT ITER 1760 NEW BEST:: SOT 6281887 SOS 2191982 HAS SOPS 2191982 HAS SOUS 879624 HAS SOUPS 879624 WITH SCORE 881815.982
AT ITER 1813 NEW BEST:: SOT 6281887 SOS 2191982 HAS SOPS 2191982 HAS SOUS 879504 HAS SOUPS 879504 WITH SCORE 881695.982
AT ITER 1858 NEW BEST:: SOT 6281887 SOS 2191982 HAS SOPS 2191982 HAS SOUS 879474 HAS SOUPS 879474 WITH SCORE 881665.982
AT ITER 1860 NEW BEST:: SOT 6281887 SOS 2191502 HAS SOPS 2191502 HAS SOUS 879354 HAS SOUPS 879354 WITH SCORE 881545.502
AT ITER 1872 NEW BEST:: SOT 6281906 SOS 2191540 HAS SOPS 2191540 HAS SOUS 879242 HAS SOUPS 879242 WITH SCORE 881433.54
AT ITER 1892 NEW BEST:: SOT 6281888 SOS 2191522 HAS SOPS 2191522 HAS SOUS 879224 HAS SOUPS 879224 WITH SCORE 881415.522
AT ITER 1894 NEW BEST:: SOT 6281286 SOS 2190232 HAS SOPS 2190232 HAS SOUS 878450 HAS SOUPS 878450 WITH SCORE 880640.232
AT ITER 1902 NEW BEST:: SOT 6281286 SOS 2188072 HAS SOPS 2188072 HAS SOUS 877910 HAS SOUPS 877910 WITH SCORE 880098.072
AT ITER 1909 NEW BEST:: SOT 6279781 SOS 2186352 HAS SOPS 2186352 HAS SOUS 876215 HAS SOUPS 876215 WITH SCORE 878401.352
AT ITER 1913 NEW BEST:: SOT 6279405 SOS 2186025 HAS SOPS 2186025 HAS SOUS 876154 HAS SOUPS 876154 WITH SCORE 878340.025
AT ITER 1932 NEW BEST:: SOT 6279405 SOS 2186074 HAS SOPS 2186074 HAS SOUS 876126 HAS SOUPS 876126 WITH SCORE 878312.074
AT ITER 1943 NEW BEST:: SOT 6279405 SOS 2186074 HAS SOPS 2186074 HAS SOUS 876114 HAS SOUPS 876114 WITH SCORE 878300.074
AT ITER 1954 NEW BEST:: SOT 6279267 SOS 2185936 HAS SOPS 2185936 HAS SOUS 876084 HAS SOUPS 876084 WITH SCORE 878269.936
AT ITER 1959 NEW BEST:: SOT 6279267 SOS 2185792 HAS SOPS 2185792 HAS SOUS 876048 HAS SOUPS 876048 WITH SCORE 878233.792
AT ITER 1986 NEW BEST:: SOT 6278835 SOS 2185360 HAS SOPS 2185360 HAS SOUS 875616 HAS SOUPS 875616 WITH SCORE 877801.36
AT ITER 1987 NEW BEST:: SOT 6277026 SOS 2181742 HAS SOPS 2181742 HAS SOUS 874185 HAS SOUPS 874185 WITH SCORE 876366.742
AT ITER 1993 NEW BEST:: SOT 6276868 SOS 2180320 HAS SOPS 2180320 HAS SOUS 873711 HAS SOUPS 873711 WITH SCORE 875891.32
AT ITER 2032 NEW BEST:: SOT 6276868 SOS 2180422 HAS SOPS 2180422 HAS SOUS 873609 HAS SOUPS 873609 WITH SCORE 875789.422
AT ITER 2035 NEW BEST:: SOT 6276868 SOS 2179438 HAS SOPS 2179438 HAS SOUS 873363 HAS SOUPS 873363 WITH SCORE 875542.438
AT ITER 2059 NEW BEST:: SOT 6276888 SOS 2179458 HAS SOPS 2179458 HAS SOUS 873323 HAS SOUPS 873323 WITH SCORE 875502.458
AT ITER 2066 NEW BEST:: SOT 6277287 SOS 2180043 HAS SOPS 2180043 HAS SOUS 871714 HAS SOUPS 871714 WITH SCORE 873894.043
AT ITER 2068 NEW BEST:: SOT 6277287 SOS 2179867 HAS SOPS 2179867 HAS SOUS 871670 HAS SOUPS 871670 WITH SCORE 873849.867
AT ITER 2073 NEW BEST:: SOT 6277287 SOS 2179766 HAS SOPS 2179766 HAS SOUS 871029 HAS SOUPS 871029 WITH SCORE 873208.766
AT ITER 2100 NEW BEST:: SOT 6277287 SOS 2179766 HAS SOPS 2179766 HAS SOUS 870919 HAS SOUPS 870919 WITH SCORE 873098.766
AT ITER 2102 NEW BEST:: SOT 6277287 SOS 2179760 HAS SOPS 2179760 HAS SOUS 870913 HAS SOUPS 870913 WITH SCORE 873092.76
AT ITER 2108 NEW BEST:: SOT 6277117 SOS 2178230 HAS SOPS 2178230 HAS SOUS 870403 HAS SOUPS 870403 WITH SCORE 872581.23
AT ITER 2111 NEW BEST:: SOT 6277117 SOS 2177978 HAS SOPS 2177978 HAS SOUS 870367 HAS SOUPS 870367 WITH SCORE 872544.978
AT ITER 2140 NEW BEST:: SOT 6277117 SOS 2178110 HAS SOPS 2178110 HAS SOUS 870213 HAS SOUPS 870213 WITH SCORE 872391.11
AT ITER 2144 NEW BEST:: SOT 6277117 SOS 2178638 HAS SOPS 2178638 HAS SOUS 869638 HAS SOUPS 869638 WITH SCORE 871816.638
AT ITER 2147 NEW BEST:: SOT 6277677 SOS 2179278 HAS SOPS 2179278 HAS SOUS 869043 HAS SOUPS 869043 WITH SCORE 871222.278
AT ITER 2165 NEW BEST:: SOT 6278224 SOS 2180805 HAS SOPS 2180805 HAS SOUS 868818 HAS SOUPS 868818 WITH SCORE 870998.805
AT ITER 2174 NEW BEST:: SOT 6278224 SOS 2180637 HAS SOPS 2180637 HAS SOUS 868776 HAS SOUPS 868776 WITH SCORE 870956.637
AT ITER 2187 NEW BEST:: SOT 6277951 SOS 2180325 HAS SOPS 2180325 HAS SOUS 868191 HAS SOUPS 868191 WITH SCORE 870371.325
AT ITER 2203 NEW BEST:: SOT 6277430 SOS 2179637 HAS SOPS 2179637 HAS SOUS 867971 HAS SOUPS 867971 WITH SCORE 870150.637
AT ITER 2272 NEW BEST:: SOT 6277430 SOS 2179637 HAS SOPS 2179637 HAS SOUS 867961 HAS SOUPS 867961 WITH SCORE 870140.637
AT ITER 2307 NEW BEST:: SOT 6277430 SOS 2180232 HAS SOPS 2180232 HAS SOUS 867620 HAS SOUPS 867620 WITH SCORE 869800.232
AT ITER 2337 NEW BEST:: SOT 6277381 SOS 2180134 HAS SOPS 2180134 HAS SOUS 867522 HAS SOUPS 867522 WITH SCORE 869702.134
AT ITER 2340 NEW BEST:: SOT 6277361 SOS 2180094 HAS SOPS 2180094 HAS SOUS 867362 HAS SOUPS 867362 WITH SCORE 869542.094
AT ITER 2369 NEW BEST:: SOT 6277361 SOS 2180094 HAS SOPS 2180094 HAS SOUS 867173 HAS SOUPS 867173 WITH SCORE 869353.094
AT ITER 2384 NEW BEST:: SOT 6276451 SOS 2179054 HAS SOPS 2179054 HAS SOUS 865231 HAS SOUPS 865231 WITH SCORE 867410.054
AT ITER 2398 NEW BEST:: SOT 6276451 SOS 2179054 HAS SOPS 2179054 HAS SOUS 865222 HAS SOUPS 865222 WITH SCORE 867401.054
AT ITER 2422 NEW BEST:: SOT 6276101 SOS 2178654 HAS SOPS 2178654 HAS SOUS 864702 HAS SOUPS 864702 WITH SCORE 866880.654
AT ITER 2434 NEW BEST:: SOT 6275016 SOS 2176484 HAS SOPS 2176484 HAS SOUS 863462 HAS SOUPS 863462 WITH SCORE 865638.484
AT ITER 2435 NEW BEST:: SOT 6274857 SOS 2176325 HAS SOPS 2176325 HAS SOUS 863462 HAS SOUPS 863462 WITH SCORE 865638.325
AT ITER 2443 NEW BEST:: SOT 6274851 SOS 2176319 HAS SOPS 2176319 HAS SOUS 863456 HAS SOUPS 863456 WITH SCORE 865632.319
AT ITER 2449 NEW BEST:: SOT 6274783 SOS 2175640 HAS SOPS 2175640 HAS SOUS 863185 HAS SOUPS 863185 WITH SCORE 865360.64
AT ITER 2460 NEW BEST:: SOT 6273747 SOS 2173772 HAS SOPS 2173772 HAS SOUS 861941 HAS SOUPS 861941 WITH SCORE 864114.772
AT ITER 2471 NEW BEST:: SOT 6272571 SOS 2171327 HAS SOPS 2171327 HAS SOUS 860960 HAS SOUPS 860960 WITH SCORE 863131.327
AT ITER 2477 NEW BEST:: SOT 6271710 SOS 2170343 HAS SOPS 2170343 HAS SOUS 859976 HAS SOUPS 859976 WITH SCORE 862146.343
AT ITER 2479 NEW BEST:: SOT 6271410 SOS 2170043 HAS SOPS 2170043 HAS SOUS 859676 HAS SOUPS 859676 WITH SCORE 861846.043
AT ITER 2485 NEW BEST:: SOT 6270759 SOS 2168741 HAS SOPS 2168741 HAS SOUS 858932 HAS SOUPS 858932 WITH SCORE 861100.741
AT ITER 2494 NEW BEST:: SOT 6270836 SOS 2167544 HAS SOPS 2167544 HAS SOUS 858893 HAS SOUPS 858893 WITH SCORE 861060.544
AT ITER 2513 NEW BEST:: SOT 6270836 SOS 2167487 HAS SOPS 2167487 HAS SOUS 858836 HAS SOUPS 858836 WITH SCORE 861003.487
AT ITER 2524 NEW BEST:: SOT 6270708 SOS 2167359 HAS SOPS 2167359 HAS SOUS 858708 HAS SOUPS 858708 WITH SCORE 860875.359
AT ITER 2537 NEW BEST:: SOT 6270708 SOS 2167359 HAS SOPS 2167359 HAS SOUS 858540 HAS SOUPS 858540 WITH SCORE 860707.359
AT ITER 2553 NEW BEST:: SOT 6270752 SOS 2167403 HAS SOPS 2167403 HAS SOUS 858466 HAS SOUPS 858466 WITH SCORE 860633.403
AT ITER 2568 NEW BEST:: SOT 6270482 SOS 2165141 HAS SOPS 2165141 HAS SOUS 857680 HAS SOUPS 857680 WITH SCORE 859845.141
AT ITER 2596 NEW BEST:: SOT 6269730 SOS 2163069 HAS SOPS 2163069 HAS SOUS 856736 HAS SOUPS 856736 WITH SCORE 858899.069
AT ITER 2598 NEW BEST:: SOT 6269460 SOS 2160909 HAS SOPS 2160909 HAS SOUS 856196 HAS SOUPS 856196 WITH SCORE 858356.909
AT ITER 2600 NEW BEST:: SOT 6269460 SOS 2160909 HAS SOPS 2160909 HAS SOUS 856193 HAS SOUPS 856193 WITH SCORE 858353.909
AT ITER 2603 NEW BEST:: SOT 6269516 SOS 2160861 HAS SOPS 2160861 HAS SOUS 854942 HAS SOUPS 854942 WITH SCORE 857102.861
AT ITER 2641 NEW BEST:: SOT 6269249 SOS 2158725 HAS SOPS 2158725 HAS SOUS 854408 HAS SOUPS 854408 WITH SCORE 856566.725
AT ITER 2666 NEW BEST:: SOT 6268158 SOS 2156711 HAS SOPS 2156711 HAS SOUS 853633 HAS SOUPS 853633 WITH SCORE 855789.711
AT ITER 2679 NEW BEST:: SOT 6268158 SOS 2156545 HAS SOPS 2156545 HAS SOUS 852349 HAS SOUPS 852349 WITH SCORE 854505.545
AT ITER 2717 NEW BEST:: SOT 6267451 SOS 2155737 HAS SOPS 2155737 HAS SOUS 851541 HAS SOUPS 851541 WITH SCORE 853696.737
AT ITER 2727 NEW BEST:: SOT 6268375 SOS 2157269 HAS SOPS 2157269 HAS SOUS 851107 HAS SOUPS 851107 WITH SCORE 853264.269
AT ITER 2775 NEW BEST:: SOT 6268375 SOS 2156285 HAS SOPS 2156285 HAS SOUS 850861 HAS SOUPS 850861 WITH SCORE 853017.285
AT ITER 2801 NEW BEST:: SOT 6268375 SOS 2156383 HAS SOPS 2156383 HAS SOUS 850791 HAS SOUPS 850791 WITH SCORE 852947.383
AT ITER 2847 NEW BEST:: SOT 6268375 SOS 2155382 HAS SOPS 2155382 HAS SOUS 850648 HAS SOUPS 850648 WITH SCORE 852803.382
AT ITER 2873 NEW BEST:: SOT 6268375 SOS 2156103 HAS SOPS 2156103 HAS SOUS 850571 HAS SOUPS 850571 WITH SCORE 852727.103
AT ITER 2892 NEW BEST:: SOT 6268375 SOS 2156061 HAS SOPS 2156061 HAS SOUS 850529 HAS SOUPS 850529 WITH SCORE 852685.061
AT ITER 2898 NEW BEST:: SOT 6268241 SOS 2154855 HAS SOPS 2154855 HAS SOUS 850127 HAS SOUPS 850127 WITH SCORE 852281.855
AT ITER 2913 NEW BEST:: SOT 6268241 SOS 2154855 HAS SOPS 2154855 HAS SOUS 849847 HAS SOUPS 849847 WITH SCORE 852001.855
AT ITER 2925 NEW BEST:: SOT 6268241 SOS 2155156 HAS SOPS 2155156 HAS SOUS 849589 HAS SOUPS 849589 WITH SCORE 851744.156
AT ITER 2930 NEW BEST:: SOT 6268241 SOS 2155156 HAS SOPS 2155156 HAS SOUS 849577 HAS SOUPS 849577 WITH SCORE 851732.156
AT ITER 2946 NEW BEST:: SOT 6268041 SOS 2153556 HAS SOPS 2153556 HAS SOUS 849177 HAS SOUPS 849177 WITH SCORE 851330.556
AT ITER 2954 NEW BEST:: SOT 6267866 SOS 2152474 HAS SOPS 2152474 HAS SOUS 848851 HAS SOUPS 848851 WITH SCORE 851003.474
AT ITER 2962 NEW BEST:: SOT 6267800 SOS 2152232 HAS SOPS 2152232 HAS SOUS 848829 HAS SOUPS 848829 WITH SCORE 850981.232
AT ITER 3001 NEW BEST:: SOT 6267720 SOS 2151592 HAS SOPS 2151592 HAS SOUS 848669 HAS SOUPS 848669 WITH SCORE 850820.592
AT ITER 3003 NEW BEST:: SOT 6267825 SOS 2152146 HAS SOPS 2152146 HAS SOUS 848522 HAS SOUPS 848522 WITH SCORE 850674.146
AT ITER 3025 NEW BEST:: SOT 6267568 SOS 2151632 HAS SOPS 2151632 HAS SOUS 846368 HAS SOUPS 846368 WITH SCORE 848519.632
AT ITER 3031 NEW BEST:: SOT 6267682 SOS 2151746 HAS SOPS 2151746 HAS SOUS 846266 HAS SOUPS 846266 WITH SCORE 848417.746
AT ITER 3050 NEW BEST:: SOT 6267682 SOS 2152544 HAS SOPS 2152544 HAS SOUS 845582 HAS SOUPS 845582 WITH SCORE 847734.544
AT ITER 3053 NEW BEST:: SOT 6266737 SOS 2150519 HAS SOPS 2150519 HAS SOUS 844367 HAS SOUPS 844367 WITH SCORE 846517.519
AT ITER 3061 NEW BEST:: SOT 6266625 SOS 2150295 HAS SOPS 2150295 HAS SOUS 844143 HAS SOUPS 844143 WITH SCORE 846293.295
AT ITER 3072 NEW BEST:: SOT 6266597 SOS 2150071 HAS SOPS 2150071 HAS SOUS 844087 HAS SOUPS 844087 WITH SCORE 846237.071
AT ITER 3084 NEW BEST:: SOT 6266597 SOS 2149905 HAS SOPS 2149905 HAS SOUS 842863 HAS SOUPS 842863 WITH SCORE 845012.905
AT ITER 3092 NEW BEST:: SOT 6266731 SOS 2151295 HAS SOPS 2151295 HAS SOUS 841973 HAS SOUPS 841973 WITH SCORE 844124.295
AT ITER 3098 NEW BEST:: SOT 6266731 SOS 2151295 HAS SOPS 2151295 HAS SOUS 841943 HAS SOUPS 841943 WITH SCORE 844094.295
AT ITER 3102 NEW BEST:: SOT 6266731 SOS 2150783 HAS SOPS 2150783 HAS SOUS 841815 HAS SOUPS 841815 WITH SCORE 843965.783
AT ITER 3106 NEW BEST:: SOT 6266731 SOS 2150783 HAS SOPS 2150783 HAS SOUS 841769 HAS SOUPS 841769 WITH SCORE 843919.783
AT ITER 3107 NEW BEST:: SOT 6266687 SOS 2150739 HAS SOPS 2150739 HAS SOUS 841769 HAS SOUPS 841769 WITH SCORE 843919.739
AT ITER 3120 NEW BEST:: SOT 6266417 SOS 2148975 HAS SOPS 2148975 HAS SOUS 841103 HAS SOUPS 841103 WITH SCORE 843251.975
AT ITER 3139 NEW BEST:: SOT 6266384 SOS 2148942 HAS SOPS 2148942 HAS SOUS 841070 HAS SOUPS 841070 WITH SCORE 843218.942
AT ITER 3161 NEW BEST:: SOT 6266342 SOS 2148900 HAS SOPS 2148900 HAS SOUS 841042 HAS SOUPS 841042 WITH SCORE 843190.9
AT ITER 3165 NEW BEST:: SOT 6265943 SOS 2148333 HAS SOPS 2148333 HAS SOUS 840601 HAS SOUPS 840601 WITH SCORE 842749.333
AT ITER 3171 NEW BEST:: SOT 6265943 SOS 2149306 HAS SOPS 2149306 HAS SOUS 840008 HAS SOUPS 840008 WITH SCORE 842157.306
AT ITER 3188 NEW BEST:: SOT 6265754 SOS 2149090 HAS SOPS 2149090 HAS SOUS 839636 HAS SOUPS 839636 WITH SCORE 841785.09
AT ITER 3200 NEW BEST:: SOT 6265747 SOS 2149076 HAS SOPS 2149076 HAS SOUS 839580 HAS SOUPS 839580 WITH SCORE 841729.076
AT ITER 3232 NEW BEST:: SOT 6265747 SOS 2149019 HAS SOPS 2149019 HAS SOUS 839523 HAS SOUPS 839523 WITH SCORE 841672.019
AT ITER 3246 NEW BEST:: SOT 6265747 SOS 2148144 HAS SOPS 2148144 HAS SOUS 839398 HAS SOUPS 839398 WITH SCORE 841546.144
AT ITER 3251 NEW BEST:: SOT 6265747 SOS 2148144 HAS SOPS 2148144 HAS SOUS 839235 HAS SOUPS 839235 WITH SCORE 841383.144
AT ITER 3278 NEW BEST:: SOT 6265735 SOS 2148048 HAS SOPS 2148048 HAS SOUS 839211 HAS SOUPS 839211 WITH SCORE 841359.048
AT ITER 3312 NEW BEST:: SOT 6265735 SOS 2146808 HAS SOPS 2146808 HAS SOUS 838901 HAS SOUPS 838901 WITH SCORE 841047.808
AT ITER 3313 NEW BEST:: SOT 6264559 SOS 2144332 HAS SOPS 2144332 HAS SOUS 837714 HAS SOUPS 837714 WITH SCORE 839858.332
AT ITER 3357 NEW BEST:: SOT 6264476 SOS 2144256 HAS SOPS 2144256 HAS SOUS 836862 HAS SOUPS 836862 WITH SCORE 839006.256
AT ITER 3368 NEW BEST:: SOT 6264388 SOS 2144064 HAS SOPS 2144064 HAS SOUS 836748 HAS SOUPS 836748 WITH SCORE 838892.064
AT ITER 3403 NEW BEST:: SOT 6264388 SOS 2143847 HAS SOPS 2143847 HAS SOUS 836717 HAS SOUPS 836717 WITH SCORE 838860.847
AT ITER 3408 NEW BEST:: SOT 6264388 SOS 2142591 HAS SOPS 2142591 HAS SOUS 836403 HAS SOUPS 836403 WITH SCORE 838545.591
AT ITER 3411 NEW BEST:: SOT 6264241 SOS 2141303 HAS SOPS 2141303 HAS SOUS 836327 HAS SOUPS 836327 WITH SCORE 838468.303
AT ITER 3414 NEW BEST:: SOT 6263765 SOS 2140759 HAS SOPS 2140759 HAS SOUS 835573 HAS SOUPS 835573 WITH SCORE 837713.759
AT ITER 3458 NEW BEST:: SOT 6263765 SOS 2138871 HAS SOPS 2138871 HAS SOUS 835305 HAS SOUPS 835305 WITH SCORE 837443.871
AT ITER 3479 NEW BEST:: SOT 6263765 SOS 2138871 HAS SOPS 2138871 HAS SOUS 835086 HAS SOUPS 835086 WITH SCORE 837224.871
AT ITER 3488 NEW BEST:: SOT 6263765 SOS 2139130 HAS SOPS 2139130 HAS SOUS 834864 HAS SOUPS 834864 WITH SCORE 837003.13
AT ITER 3519 NEW BEST:: SOT 6263609 SOS 2138153 HAS SOPS 2138153 HAS SOUS 834457 HAS SOUPS 834457 WITH SCORE 836595.153
AT ITER 3525 NEW BEST:: SOT 6263531 SOS 2137529 HAS SOPS 2137529 HAS SOUS 834301 HAS SOUPS 834301 WITH SCORE 836438.529
AT ITER 3529 NEW BEST:: SOT 6263531 SOS 2138096 HAS SOPS 2138096 HAS SOUS 834238 HAS SOUPS 834238 WITH SCORE 836376.096
AT ITER 3561 NEW BEST:: SOT 6262950 SOS 2136851 HAS SOPS 2136851 HAS SOUS 833491 HAS SOUPS 833491 WITH SCORE 835627.851
AT ITER 3625 NEW BEST:: SOT 6262703 SOS 2134875 HAS SOPS 2134875 HAS SOUS 832997 HAS SOUPS 832997 WITH SCORE 835131.875
AT ITER 3633 NEW BEST:: SOT 6262703 SOS 2134308 HAS SOPS 2134308 HAS SOUS 832916 HAS SOUPS 832916 WITH SCORE 835050.308
AT ITER 3636 NEW BEST:: SOT 6262703 SOS 2133884 HAS SOPS 2133884 HAS SOUS 832810 HAS SOUPS 832810 WITH SCORE 834943.884
AT ITER 3637 NEW BEST:: SOT 6262560 SOS 2133741 HAS SOPS 2133741 HAS SOUS 832667 HAS SOUPS 832667 WITH SCORE 834800.741
AT ITER 3645 NEW BEST:: SOT 6262560 SOS 2133741 HAS SOPS 2133741 HAS SOUS 832577 HAS SOUPS 832577 WITH SCORE 834710.741
AT ITER 3648 NEW BEST:: SOT 6262560 SOS 2134407 HAS SOPS 2134407 HAS SOUS 831911 HAS SOUPS 831911 WITH SCORE 834045.407
AT ITER 3659 NEW BEST:: SOT 6262429 SOS 2133359 HAS SOPS 2133359 HAS SOUS 831649 HAS SOUPS 831649 WITH SCORE 833782.359
AT ITER 3674 NEW BEST:: SOT 6260656 SOS 2129813 HAS SOPS 2129813 HAS SOUS 830452 HAS SOUPS 830452 WITH SCORE 832581.813
AT ITER 3713 NEW BEST:: SOT 6260640 SOS 2129797 HAS SOPS 2129797 HAS SOUS 830452 HAS SOUPS 830452 WITH SCORE 832581.797
AT ITER 3754 NEW BEST:: SOT 6259989 SOS 2129146 HAS SOPS 2129146 HAS SOUS 829801 HAS SOUPS 829801 WITH SCORE 831930.146
AT ITER 3768 NEW BEST:: SOT 6258764 SOS 2127569 HAS SOPS 2127569 HAS SOUS 828488 HAS SOUPS 828488 WITH SCORE 830615.569
AT ITER 3771 NEW BEST:: SOT 6258764 SOS 2127796 HAS SOPS 2127796 HAS SOUS 828289 HAS SOUPS 828289 WITH SCORE 830416.796
AT ITER 3778 NEW BEST:: SOT 6258764 SOS 2127796 HAS SOPS 2127796 HAS SOUS 828233 HAS SOUPS 828233 WITH SCORE 830360.796
AT ITER 3782 NEW BEST:: SOT 6258770 SOS 2126674 HAS SOPS 2126674 HAS SOUS 828083 HAS SOUPS 828083 WITH SCORE 830209.674
AT ITER 3783 NEW BEST:: SOT 6258945 SOS 2126874 HAS SOPS 2126874 HAS SOUS 827455 HAS SOUPS 827455 WITH SCORE 829581.874
AT ITER 3833 NEW BEST:: SOT 6258945 SOS 2126874 HAS SOPS 2126874 HAS SOUS 827358 HAS SOUPS 827358 WITH SCORE 829484.874
AT ITER 3853 NEW BEST:: SOT 6258778 SOS 2125538 HAS SOPS 2125538 HAS SOUS 827024 HAS SOUPS 827024 WITH SCORE 829149.538
AT ITER 3875 NEW BEST:: SOT 6258542 SOS 2123650 HAS SOPS 2123650 HAS SOUS 826552 HAS SOUPS 826552 WITH SCORE 828675.65
AT ITER 3883 NEW BEST:: SOT 6257366 SOS 2121133 HAS SOPS 2121133 HAS SOUS 825064 HAS SOUPS 825064 WITH SCORE 827185.133
AT ITER 3886 NEW BEST:: SOT 6257360 SOS 2121113 HAS SOPS 2121113 HAS SOUS 825064 HAS SOUPS 825064 WITH SCORE 827185.113
AT ITER 3890 NEW BEST:: SOT 6257360 SOS 2120912 HAS SOPS 2120912 HAS SOUS 824863 HAS SOUPS 824863 WITH SCORE 826983.912
AT ITER 3895 NEW BEST:: SOT 6256523 SOS 2120158 HAS SOPS 2120158 HAS SOUS 824524 HAS SOUPS 824524 WITH SCORE 826644.158
AT ITER 3912 NEW BEST:: SOT 6256523 SOS 2120072 HAS SOPS 2120072 HAS SOUS 824438 HAS SOUPS 824438 WITH SCORE 826558.072
AT ITER 3929 NEW BEST:: SOT 6256523 SOS 2120048 HAS SOPS 2120048 HAS SOUS 824432 HAS SOUPS 824432 WITH SCORE 826552.048
AT ITER 3930 NEW BEST:: SOT 6256449 SOS 2119966 HAS SOPS 2119966 HAS SOUS 824356 HAS SOUPS 824356 WITH SCORE 826475.966
AT ITER 3963 NEW BEST:: SOT 6256449 SOS 2119134 HAS SOPS 2119134 HAS SOUS 824148 HAS SOUPS 824148 WITH SCORE 826267.134
AT ITER 3978 NEW BEST:: SOT 6256258 SOS 2118943 HAS SOPS 2118943 HAS SOUS 823957 HAS SOUPS 823957 WITH SCORE 826075.943
AT ITER 3983 NEW BEST:: SOT 6255901 SOS 2118229 HAS SOPS 2118229 HAS SOUS 823549 HAS SOUPS 823549 WITH SCORE 825667.229
AT ITER 4002 NEW BEST:: SOT 6255901 SOS 2118229 HAS SOPS 2118229 HAS SOUS 823521 HAS SOUPS 823521 WITH SCORE 825639.229
AT ITER 4004 NEW BEST:: SOT 6255757 SOS 2117077 HAS SOPS 2117077 HAS SOUS 823233 HAS SOUPS 823233 WITH SCORE 825350.077
AT ITER 4005 NEW BEST:: SOT 6254699 SOS 2114961 HAS SOPS 2114961 HAS SOUS 822257 HAS SOUPS 822257 WITH SCORE 824371.961
AT ITER 4059 NEW BEST:: SOT 6254748 SOS 2114849 HAS SOPS 2114849 HAS SOUS 822060 HAS SOUPS 822060 WITH SCORE 824174.849
AT ITER 4077 NEW BEST:: SOT 6254482 SOS 2114583 HAS SOPS 2114583 HAS SOUS 821794 HAS SOUPS 821794 WITH SCORE 823908.583
AT ITER 4082 NEW BEST:: SOT 6254397 SOS 2114503 HAS SOPS 2114503 HAS SOUS 821744 HAS SOUPS 821744 WITH SCORE 823858.503
AT ITER 4090 NEW BEST:: SOT 6254397 SOS 2114503 HAS SOPS 2114503 HAS SOUS 821378 HAS SOUPS 821378 WITH SCORE 823492.503
AT ITER 4122 NEW BEST:: SOT 6254152 SOS 2113978 HAS SOPS 2113978 HAS SOUS 821063 HAS SOUPS 821063 WITH SCORE 823176.978
AT ITER 4131 NEW BEST:: SOT 6253965 SOS 2114008 HAS SOPS 2114008 HAS SOUS 820907 HAS SOUPS 820907 WITH SCORE 823021.008
AT ITER 4158 NEW BEST:: SOT 6253965 SOS 2114008 HAS SOPS 2114008 HAS SOUS 820897 HAS SOUPS 820897 WITH SCORE 823011.008
AT ITER 4162 NEW BEST:: SOT 6253967 SOS 2113968 HAS SOPS 2113968 HAS SOUS 820893 HAS SOUPS 820893 WITH SCORE 823006.968
AT ITER 4170 NEW BEST:: SOT 6253169 SOS 2112372 HAS SOPS 2112372 HAS SOUS 819981 HAS SOUPS 819981 WITH SCORE 822093.372
AT ITER 4190 NEW BEST:: SOT 6253040 SOS 2112243 HAS SOPS 2112243 HAS SOUS 819953 HAS SOUPS 819953 WITH SCORE 822065.243
AT ITER 4204 NEW BEST:: SOT 6252982 SOS 2112127 HAS SOPS 2112127 HAS SOUS 819837 HAS SOUPS 819837 WITH SCORE 821949.127
AT ITER 4207 NEW BEST:: SOT 6252916 SOS 2111599 HAS SOPS 2111599 HAS SOUS 819705 HAS SOUPS 819705 WITH SCORE 821816.599
AT ITER 4226 NEW BEST:: SOT 6252865 SOS 2111191 HAS SOPS 2111191 HAS SOUS 819603 HAS SOUPS 819603 WITH SCORE 821714.191
AT ITER 4231 NEW BEST:: SOT 6252655 SOS 2109301 HAS SOPS 2109301 HAS SOUS 818973 HAS SOUPS 818973 WITH SCORE 821082.301
AT ITER 4238 NEW BEST:: SOT 6252158 SOS 2108733 HAS SOPS 2108733 HAS SOUS 818423 HAS SOUPS 818423 WITH SCORE 820531.733
AT ITER 4252 NEW BEST:: SOT 6252158 SOS 2108997 HAS SOPS 2108997 HAS SOUS 818155 HAS SOUPS 818155 WITH SCORE 820263.997
AT ITER 4263 NEW BEST:: SOT 6252133 SOS 2108947 HAS SOPS 2108947 HAS SOUS 817930 HAS SOUPS 817930 WITH SCORE 820038.947
AT ITER 4278 NEW BEST:: SOT 6252133 SOS 2109865 HAS SOPS 2109865 HAS SOUS 817702 HAS SOUPS 817702 WITH SCORE 819811.865
AT ITER 4299 NEW BEST:: SOT 6252169 SOS 2109901 HAS SOPS 2109901 HAS SOUS 817633 HAS SOUPS 817633 WITH SCORE 819742.901
AT ITER 4306 NEW BEST:: SOT 6251686 SOS 2109349 HAS SOPS 2109349 HAS SOUS 817081 HAS SOUPS 817081 WITH SCORE 819190.349
AT ITER 4320 NEW BEST:: SOT 6251686 SOS 2108365 HAS SOPS 2108365 HAS SOUS 816835 HAS SOUPS 816835 WITH SCORE 818943.365
AT ITER 4398 NEW BEST:: SOT 6251411 SOS 2105898 HAS SOPS 2105898 HAS SOUS 816773 HAS SOUPS 816773 WITH SCORE 818878.898
AT ITER 4411 NEW BEST:: SOT 6251399 SOS 2105802 HAS SOPS 2105802 HAS SOUS 816749 HAS SOUPS 816749 WITH SCORE 818854.802
AT ITER 4412 NEW BEST:: SOT 6250909 SOS 2105381 HAS SOPS 2105381 HAS SOUS 816658 HAS SOUPS 816658 WITH SCORE 818763.381
AT ITER 4428 NEW BEST:: SOT 6250909 SOS 2106438 HAS SOPS 2106438 HAS SOUS 816119 HAS SOUPS 816119 WITH SCORE 818225.438
AT ITER 4452 NEW BEST:: SOT 6250909 SOS 2106438 HAS SOPS 2106438 HAS SOUS 816102 HAS SOUPS 816102 WITH SCORE 818208.438
AT ITER 4484 NEW BEST:: SOT 6250909 SOS 2106210 HAS SOPS 2106210 HAS SOUS 816102 HAS SOUPS 816102 WITH SCORE 818208.21
AT ITER 4491 NEW BEST:: SOT 6250330 SOS 2105442 HAS SOPS 2105442 HAS SOUS 815496 HAS SOUPS 815496 WITH SCORE 817601.442
AT ITER 4499 NEW BEST:: SOT 6250330 SOS 2105410 HAS SOPS 2105410 HAS SOUS 815488 HAS SOUPS 815488 WITH SCORE 817593.41
AT ITER 4534 NEW BEST:: SOT 6250330 SOS 2105410 HAS SOPS 2105410 HAS SOUS 815460 HAS SOUPS 815460 WITH SCORE 817565.41
AT ITER 4547 NEW BEST:: SOT 6250282 SOS 2105362 HAS SOPS 2105362 HAS SOUS 815460 HAS SOUPS 815460 WITH SCORE 817565.362
AT ITER 4551 NEW BEST:: SOT 6248392 SOS 2103085 HAS SOPS 2103085 HAS SOUS 813483 HAS SOUPS 813483 WITH SCORE 815586.085
AT ITER 4553 NEW BEST:: SOT 6248392 SOS 2103085 HAS SOPS 2103085 HAS SOUS 813455 HAS SOUPS 813455 WITH SCORE 815558.085
AT ITER 4557 NEW BEST:: SOT 6248392 SOS 2102687 HAS SOPS 2102687 HAS SOUS 813419 HAS SOUPS 813419 WITH SCORE 815521.687
AT ITER 4560 NEW BEST:: SOT 6248392 SOS 2103053 HAS SOPS 2103053 HAS SOUS 813053 HAS SOUPS 813053 WITH SCORE 815156.053
AT ITER 4577 NEW BEST:: SOT 6248225 SOS 2102886 HAS SOPS 2102886 HAS SOUS 812886 HAS SOUPS 812886 WITH SCORE 814988.886
AT ITER 4583 NEW BEST:: SOT 6247938 SOS 2102558 HAS SOPS 2102558 HAS SOUS 812558 HAS SOUPS 812558 WITH SCORE 814660.558
AT ITER 4624 NEW BEST:: SOT 6247938 SOS 2103506 HAS SOPS 2103506 HAS SOUS 811570 HAS SOUPS 811570 WITH SCORE 813673.506
AT ITER 4646 NEW BEST:: SOT 6248003 SOS 2103571 HAS SOPS 2103571 HAS SOUS 811530 HAS SOUPS 811530 WITH SCORE 813633.571
AT ITER 4654 NEW BEST:: SOT 6246827 SOS 2101137 HAS SOPS 2101137 HAS SOUS 810334 HAS SOUPS 810334 WITH SCORE 812435.137
AT ITER 4695 NEW BEST:: SOT 6246743 SOS 2100829 HAS SOPS 2100829 HAS SOUS 810334 HAS SOUPS 810334 WITH SCORE 812434.829
AT ITER 4725 NEW BEST:: SOT 6246743 SOS 2100829 HAS SOPS 2100829 HAS SOUS 810160 HAS SOUPS 810160 WITH SCORE 812260.829
AT ITER 4732 NEW BEST:: SOT 6246743 SOS 2100829 HAS SOPS 2100829 HAS SOUS 810151 HAS SOUPS 810151 WITH SCORE 812251.829
AT ITER 4766 NEW BEST:: SOT 6246808 SOS 2099506 HAS SOPS 2099506 HAS SOUS 810058 HAS SOUPS 810058 WITH SCORE 812157.506
AT ITER 4776 NEW BEST:: SOT 6246689 SOS 2098705 HAS SOPS 2098705 HAS SOUS 809887 HAS SOUPS 809887 WITH SCORE 811985.705
AT ITER 4784 NEW BEST:: SOT 6246551 SOS 2098429 HAS SOPS 2098429 HAS SOUS 808783 HAS SOUPS 808783 WITH SCORE 810881.429
AT ITER 4785 NEW BEST:: SOT 6246311 SOS 2097949 HAS SOPS 2097949 HAS SOUS 808303 HAS SOUPS 808303 WITH SCORE 810400.949
AT ITER 4786 NEW BEST:: SOT 6246263 SOS 2097565 HAS SOPS 2097565 HAS SOUS 808207 HAS SOUPS 808207 WITH SCORE 810304.565
AT ITER 4794 NEW BEST:: SOT 6244604 SOS 2095669 HAS SOPS 2095669 HAS SOUS 804889 HAS SOUPS 804889 WITH SCORE 806984.669
AT ITER 4824 NEW BEST:: SOT 6244604 SOS 2095669 HAS SOPS 2095669 HAS SOUS 804851 HAS SOUPS 804851 WITH SCORE 806946.669
AT ITER 4834 NEW BEST:: SOT 6244604 SOS 2094869 HAS SOPS 2094869 HAS SOUS 804651 HAS SOUPS 804651 WITH SCORE 806745.869
AT ITER 4844 NEW BEST:: SOT 6242985 SOS 2093251 HAS SOPS 2093251 HAS SOUS 803040 HAS SOUPS 803040 WITH SCORE 805133.251
AT ITER 4851 NEW BEST:: SOT 6242861 SOS 2093110 HAS SOPS 2093110 HAS SOUS 802869 HAS SOUPS 802869 WITH SCORE 804962.11
AT ITER 4856 NEW BEST:: SOT 6242861 SOS 2093110 HAS SOPS 2093110 HAS SOUS 802716 HAS SOUPS 802716 WITH SCORE 804809.11
AT ITER 4862 NEW BEST:: SOT 6242371 SOS 2092620 HAS SOPS 2092620 HAS SOUS 802226 HAS SOUPS 802226 WITH SCORE 804318.62
AT ITER 4871 NEW BEST:: SOT 6242371 SOS 2092620 HAS SOPS 2092620 HAS SOUS 802114 HAS SOUPS 802114 WITH SCORE 804206.62
AT ITER 4891 NEW BEST:: SOT 6241251 SOS 2091340 HAS SOPS 2091340 HAS SOUS 800149 HAS SOUPS 800149 WITH SCORE 802240.34
AT ITER 4907 NEW BEST:: SOT 6240551 SOS 2089700 HAS SOPS 2089700 HAS SOUS 799349 HAS SOUPS 799349 WITH SCORE 801438.7
AT ITER 4946 NEW BEST:: SOT 6240551 SOS 2089766 HAS SOPS 2089766 HAS SOUS 799283 HAS SOUPS 799283 WITH SCORE 801372.766
AT ITER 4968 NEW BEST:: SOT 6240551 SOS 2089766 HAS SOPS 2089766 HAS SOUS 799169 HAS SOUPS 799169 WITH SCORE 801258.766
AT ITER 4976 NEW BEST:: SOT 6240159 SOS 2089158 HAS SOPS 2089158 HAS SOUS 798723 HAS SOUPS 798723 WITH SCORE 800812.158
AT ITER 4996 NEW BEST:: SOT 6240159 SOS 2088590 HAS SOPS 2088590 HAS SOUS 798581 HAS SOUPS 798581 WITH SCORE 800669.59
AT ITER 5000 NEW BEST:: SOT 6240159 SOS 2088502 HAS SOPS 2088502 HAS SOUS 798559 HAS SOUPS 798559 WITH SCORE 800647.502
AT ITER 5012 NEW BEST:: SOT 6239739 SOS 2088022 HAS SOPS 2088022 HAS SOUS 798079 HAS SOUPS 798079 WITH SCORE 800167.022
AT ITER 5031 NEW BEST:: SOT 6239475 SOS 2087758 HAS SOPS 2087758 HAS SOUS 797815 HAS SOUPS 797815 WITH SCORE 799902.758
AT ITER 5034 NEW BEST:: SOT 6239475 SOS 2087758 HAS SOPS 2087758 HAS SOUS 797647 HAS SOUPS 797647 WITH SCORE 799734.758
AT ITER 5040 NEW BEST:: SOT 6238411 SOS 2086694 HAS SOPS 2086694 HAS SOUS 796583 HAS SOUPS 796583 WITH SCORE 798669.694
AT ITER 5044 NEW BEST:: SOT 6238411 SOS 2086694 HAS SOPS 2086694 HAS SOUS 796194 HAS SOUPS 796194 WITH SCORE 798280.694
AT ITER 5059 NEW BEST:: SOT 6238320 SOS 2086603 HAS SOPS 2086603 HAS SOUS 796103 HAS SOUPS 796103 WITH SCORE 798189.603
AT ITER 5074 NEW BEST:: SOT 6238166 SOS 2086295 HAS SOPS 2086295 HAS SOUS 795927 HAS SOUPS 795927 WITH SCORE 798013.295
AT ITER 5076 NEW BEST:: SOT 6238166 SOS 2085273 HAS SOPS 2085273 HAS SOUS 795781 HAS SOUPS 795781 WITH SCORE 797866.273
AT ITER 5097 NEW BEST:: SOT 6238062 SOS 2085169 HAS SOPS 2085169 HAS SOUS 795781 HAS SOUPS 795781 WITH SCORE 797866.169
AT ITER 5121 NEW BEST:: SOT 6237082 SOS 2083209 HAS SOPS 2083209 HAS SOUS 794661 HAS SOUPS 794661 WITH SCORE 796744.209
AT ITER 5141 NEW BEST:: SOT 6237082 SOS 2083209 HAS SOPS 2083209 HAS SOUS 794627 HAS SOUPS 794627 WITH SCORE 796710.209
AT ITER 5144 NEW BEST:: SOT 6237082 SOS 2083209 HAS SOPS 2083209 HAS SOUS 794607 HAS SOUPS 794607 WITH SCORE 796690.209
AT ITER 5147 NEW BEST:: SOT 6236914 SOS 2083083 HAS SOPS 2083083 HAS SOUS 794445 HAS SOUPS 794445 WITH SCORE 796528.083
AT ITER 5151 NEW BEST:: SOT 6236914 SOS 2083083 HAS SOPS 2083083 HAS SOUS 794415 HAS SOUPS 794415 WITH SCORE 796498.083
AT ITER 5175 NEW BEST:: SOT 6236237 SOS 2081951 HAS SOPS 2081951 HAS SOUS 793673 HAS SOUPS 793673 WITH SCORE 795754.951
AT ITER 5178 NEW BEST:: SOT 6236237 SOS 2081311 HAS SOPS 2081311 HAS SOUS 793513 HAS SOUPS 793513 WITH SCORE 795594.311
AT ITER 5203 NEW BEST:: SOT 6235740 SOS 2080263 HAS SOPS 2080263 HAS SOUS 792999 HAS SOUPS 792999 WITH SCORE 795079.263
AT ITER 5209 NEW BEST:: SOT 6235515 SOS 2080091 HAS SOPS 2080091 HAS SOUS 792983 HAS SOUPS 792983 WITH SCORE 795063.091
AT ITER 5230 NEW BEST:: SOT 6235478 SOS 2080054 HAS SOPS 2080054 HAS SOUS 792958 HAS SOUPS 792958 WITH SCORE 795038.054
AT ITER 5243 NEW BEST:: SOT 6235465 SOS 2080041 HAS SOPS 2080041 HAS SOUS 792958 HAS SOUPS 792958 WITH SCORE 795038.041
AT ITER 5281 NEW BEST:: SOT 6235297 SOS 2080110 HAS SOPS 2080110 HAS SOUS 792817 HAS SOUPS 792817 WITH SCORE 794897.11
AT ITER 5342 NEW BEST:: SOT 6235129 SOS 2079540 HAS SOPS 2079540 HAS SOUS 792643 HAS SOUPS 792643 WITH SCORE 794722.54
AT ITER 5350 NEW BEST:: SOT 6235083 SOS 2079494 HAS SOPS 2079494 HAS SOUS 792551 HAS SOUPS 792551 WITH SCORE 794630.494
AT ITER 5384 NEW BEST:: SOT 6235049 SOS 2079222 HAS SOPS 2079222 HAS SOUS 792483 HAS SOUPS 792483 WITH SCORE 794562.222
AT ITER 5408 NEW BEST:: SOT 6234893 SOS 2079090 HAS SOPS 2079090 HAS SOUS 792186 HAS SOUPS 792186 WITH SCORE 794265.09
AT ITER 5415 NEW BEST:: SOT 6235253 SOS 2079282 HAS SOPS 2079282 HAS SOUS 792006 HAS SOUPS 792006 WITH SCORE 794085.282
AT ITER 5421 NEW BEST:: SOT 6235253 SOS 2079058 HAS SOPS 2079058 HAS SOUS 791950 HAS SOUPS 791950 WITH SCORE 794029.058
AT ITER 5442 NEW BEST:: SOT 6235253 SOS 2079058 HAS SOPS 2079058 HAS SOUS 791834 HAS SOUPS 791834 WITH SCORE 793913.058
AT ITER 5489 NEW BEST:: SOT 6235253 SOS 2079058 HAS SOPS 2079058 HAS SOUS 791766 HAS SOUPS 791766 WITH SCORE 793845.058
AT ITER 5496 NEW BEST:: SOT 6235243 SOS 2079860 HAS SOPS 2079860 HAS SOUS 791746 HAS SOUPS 791746 WITH SCORE 793825.86
AT ITER 5498 NEW BEST:: SOT 6234995 SOS 2079146 HAS SOPS 2079146 HAS SOUS 791200 HAS SOUPS 791200 WITH SCORE 793279.146
AT ITER 5541 NEW BEST:: SOT 6233161 SOS 2075216 HAS SOPS 2075216 HAS SOUS 788842 HAS SOUPS 788842 WITH SCORE 790917.216
AT ITER 5578 NEW BEST:: SOT 6233161 SOS 2075216 HAS SOPS 2075216 HAS SOUS 788784 HAS SOUPS 788784 WITH SCORE 790859.216
AT ITER 5584 NEW BEST:: SOT 6233094 SOS 2074680 HAS SOPS 2074680 HAS SOUS 788650 HAS SOUPS 788650 WITH SCORE 790724.68
AT ITER 5610 NEW BEST:: SOT 6233042 SOS 2074628 HAS SOPS 2074628 HAS SOUS 788546 HAS SOUPS 788546 WITH SCORE 790620.628
AT ITER 5669 NEW BEST:: SOT 6233147 SOS 2074748 HAS SOPS 2074748 HAS SOUS 787857 HAS SOUPS 787857 WITH SCORE 789931.748
AT ITER 5727 NEW BEST:: SOT 6234392 SOS 2077736 HAS SOPS 2077736 HAS SOUS 787608 HAS SOUPS 787608 WITH SCORE 789685.736
AT ITER 5755 NEW BEST:: SOT 6233776 SOS 2077202 HAS SOPS 2077202 HAS SOUS 787074 HAS SOUPS 787074 WITH SCORE 789151.202
AT ITER 5759 NEW BEST:: SOT 6233776 SOS 2077544 HAS SOPS 2077544 HAS SOUS 786948 HAS SOUPS 786948 WITH SCORE 789025.544
AT ITER 5772 NEW BEST:: SOT 6232732 SOS 2075456 HAS SOPS 2075456 HAS SOUS 786084 HAS SOUPS 786084 WITH SCORE 788159.456
AT ITER 5778 NEW BEST:: SOT 6232669 SOS 2075384 HAS SOPS 2075384 HAS SOUS 785958 HAS SOUPS 785958 WITH SCORE 788033.384
AT ITER 5817 NEW BEST:: SOT 6232669 SOS 2075384 HAS SOPS 2075384 HAS SOUS 785736 HAS SOUPS 785736 WITH SCORE 787811.384
AT ITER 5826 NEW BEST:: SOT 6232669 SOS 2075384 HAS SOPS 2075384 HAS SOUS 785541 HAS SOUPS 785541 WITH SCORE 787616.384
AT ITER 5838 NEW BEST:: SOT 6231913 SOS 2074628 HAS SOPS 2074628 HAS SOUS 784785 HAS SOUPS 784785 WITH SCORE 786859.628
AT ITER 5847 NEW BEST:: SOT 6230850 SOS 2073594 HAS SOPS 2073594 HAS SOUS 783865 HAS SOUPS 783865 WITH SCORE 785938.594
AT ITER 5867 NEW BEST:: SOT 6230688 SOS 2073432 HAS SOPS 2073432 HAS SOUS 783715 HAS SOUPS 783715 WITH SCORE 785788.432
AT ITER 5868 NEW BEST:: SOT 6230688 SOS 2073702 HAS SOPS 2073702 HAS SOUS 783400 HAS SOUPS 783400 WITH SCORE 785473.702
AT ITER 5877 NEW BEST:: SOT 6230688 SOS 2073702 HAS SOPS 2073702 HAS SOUS 783328 HAS SOUPS 783328 WITH SCORE 785401.702
AT ITER 5878 NEW BEST:: SOT 6230688 SOS 2073702 HAS SOPS 2073702 HAS SOUS 783293 HAS SOUPS 783293 WITH SCORE 785366.702
AT ITER 5911 NEW BEST:: SOT 6230656 SOS 2073670 HAS SOPS 2073670 HAS SOUS 783293 HAS SOUPS 783293 WITH SCORE 785366.67
AT ITER 5921 NEW BEST:: SOT 6230951 SOS 2074378 HAS SOPS 2074378 HAS SOUS 783275 HAS SOUPS 783275 WITH SCORE 785349.378
AT ITER 5937 NEW BEST:: SOT 6229866 SOS 2072053 HAS SOPS 2072053 HAS SOUS 781880 HAS SOUPS 781880 WITH SCORE 783952.053
AT ITER 5943 NEW BEST:: SOT 6229866 SOS 2072116 HAS SOPS 2072116 HAS SOUS 781835 HAS SOUPS 781835 WITH SCORE 783907.116
AT ITER 5962 NEW BEST:: SOT 6229984 SOS 2072234 HAS SOPS 2072234 HAS SOUS 781627 HAS SOUPS 781627 WITH SCORE 783699.234
AT ITER 5966 NEW BEST:: SOT 6228831 SOS 2070507 HAS SOPS 2070507 HAS SOUS 780392 HAS SOUPS 780392 WITH SCORE 782462.507
AT ITER 6030 NEW BEST:: SOT 6228831 SOS 2070123 HAS SOPS 2070123 HAS SOUS 780296 HAS SOUPS 780296 WITH SCORE 782366.123
AT ITER 6078 NEW BEST:: SOT 6228561 SOS 2068897 HAS SOPS 2068897 HAS SOUS 779730 HAS SOUPS 779730 WITH SCORE 781798.897
AT ITER 6111 NEW BEST:: SOT 6228424 SOS 2068664 HAS SOPS 2068664 HAS SOUS 779634 HAS SOUPS 779634 WITH SCORE 781702.664
AT ITER 6131 NEW BEST:: SOT 6228550 SOS 2070250 HAS SOPS 2070250 HAS SOUS 778668 HAS SOUPS 778668 WITH SCORE 780738.25
AT ITER 6136 NEW BEST:: SOT 6228648 SOS 2070838 HAS SOPS 2070838 HAS SOUS 778492 HAS SOUPS 778492 WITH SCORE 780562.838
AT ITER 6170 NEW BEST:: SOT 6228133 SOS 2070348 HAS SOPS 2070348 HAS SOUS 778170 HAS SOUPS 778170 WITH SCORE 780240.348
AT ITER 6184 NEW BEST:: SOT 6226819 SOS 2068866 HAS SOPS 2068866 HAS SOUS 776832 HAS SOUPS 776832 WITH SCORE 778900.866
AT ITER 6238 NEW BEST:: SOT 6226063 SOS 2068002 HAS SOPS 2068002 HAS SOUS 775168 HAS SOUPS 775168 WITH SCORE 777236.002
AT ITER 6251 NEW BEST:: SOT 6225972 SOS 2067898 HAS SOPS 2067898 HAS SOUS 774986 HAS SOUPS 774986 WITH SCORE 777053.898
AT ITER 6258 NEW BEST:: SOT 6225918 SOS 2067574 HAS SOPS 2067574 HAS SOUS 773417 HAS SOUPS 773417 WITH SCORE 775484.574
AT ITER 6281 NEW BEST:: SOT 6225918 SOS 2067021 HAS SOPS 2067021 HAS SOUS 773338 HAS SOUPS 773338 WITH SCORE 775405.021
AT ITER 6343 NEW BEST:: SOT 6225918 SOS 2067012 HAS SOPS 2067012 HAS SOUS 773329 HAS SOUPS 773329 WITH SCORE 775396.012
AT ITER 6348 NEW BEST:: SOT 6225918 SOS 2066866 HAS SOPS 2066866 HAS SOUS 773183 HAS SOUPS 773183 WITH SCORE 775249.866
AT ITER 6411 NEW BEST:: SOT 6225918 SOS 2067472 HAS SOPS 2067472 HAS SOUS 773051 HAS SOUPS 773051 WITH SCORE 775118.472
AT ITER 6466 NEW BEST:: SOT 6225855 SOS 2067346 HAS SOPS 2067346 HAS SOUS 772484 HAS SOUPS 772484 WITH SCORE 774551.346
AT ITER 6523 NEW BEST:: SOT 6226320 SOS 2068462 HAS SOPS 2068462 HAS SOUS 772420 HAS SOUPS 772420 WITH SCORE 774488.462
AT ITER 6550 NEW BEST:: SOT 6226320 SOS 2069086 HAS SOPS 2069086 HAS SOUS 771796 HAS SOUPS 771796 WITH SCORE 773865.086
AT ITER 6575 NEW BEST:: SOT 6225767 SOS 2067428 HAS SOPS 2067428 HAS SOUS 771308 HAS SOUPS 771308 WITH SCORE 773375.428
AT ITER 6577 NEW BEST:: SOT 6225713 SOS 2067374 HAS SOPS 2067374 HAS SOUS 771254 HAS SOUPS 771254 WITH SCORE 773321.374
AT ITER 6590 NEW BEST:: SOT 6225713 SOS 2067374 HAS SOPS 2067374 HAS SOUS 771206 HAS SOUPS 771206 WITH SCORE 773273.374
AT ITER 6599 NEW BEST:: SOT 6225713 SOS 2066646 HAS SOPS 2066646 HAS SOUS 771102 HAS SOUPS 771102 WITH SCORE 773168.646
AT ITER 6652 NEW BEST:: SOT 6225527 SOS 2066460 HAS SOPS 2066460 HAS SOUS 770916 HAS SOUPS 770916 WITH SCORE 772982.46
AT ITER 6675 NEW BEST:: SOT 6225527 SOS 2066392 HAS SOPS 2066392 HAS SOUS 770848 HAS SOUPS 770848 WITH SCORE 772914.392
AT ITER 6692 NEW BEST:: SOT 6225488 SOS 2066080 HAS SOPS 2066080 HAS SOUS 770770 HAS SOUPS 770770 WITH SCORE 772836.08
AT ITER 6706 NEW BEST:: SOT 6225488 SOS 2066080 HAS SOPS 2066080 HAS SOUS 770700 HAS SOUPS 770700 WITH SCORE 772766.08
AT ITER 6711 NEW BEST:: SOT 6225450 SOS 2066352 HAS SOPS 2066352 HAS SOUS 770048 HAS SOUPS 770048 WITH SCORE 772114.352
AT ITER 6718 NEW BEST:: SOT 6225450 SOS 2066322 HAS SOPS 2066322 HAS SOUS 770018 HAS SOUPS 770018 WITH SCORE 772084.322
AT ITER 6735 NEW BEST:: SOT 6224897 SOS 2065690 HAS SOPS 2065690 HAS SOUS 769596 HAS SOUPS 769596 WITH SCORE 771661.69
AT ITER 6746 NEW BEST:: SOT 6224897 SOS 2065653 HAS SOPS 2065653 HAS SOUS 769559 HAS SOUPS 769559 WITH SCORE 771624.653
AT ITER 6766 NEW BEST:: SOT 6224897 SOS 2065480 HAS SOPS 2065480 HAS SOUS 769386 HAS SOUPS 769386 WITH SCORE 771451.48
AT ITER 6773 NEW BEST:: SOT 6224725 SOS 2064349 HAS SOPS 2064349 HAS SOUS 768933 HAS SOUPS 768933 WITH SCORE 770997.349
AT ITER 6785 NEW BEST:: SOT 6224687 SOS 2064273 HAS SOPS 2064273 HAS SOUS 768591 HAS SOUPS 768591 WITH SCORE 770655.273
AT ITER 6806 NEW BEST:: SOT 6224520 SOS 2062937 HAS SOPS 2062937 HAS SOUS 768257 HAS SOUPS 768257 WITH SCORE 770319.937
AT ITER 6810 NEW BEST:: SOT 6224520 SOS 2062594 HAS SOPS 2062594 HAS SOUS 768208 HAS SOUPS 768208 WITH SCORE 770270.594
AT ITER 6851 NEW BEST:: SOT 6224449 SOS 2062523 HAS SOPS 2062523 HAS SOUS 768137 HAS SOUPS 768137 WITH SCORE 770199.523
AT ITER 6866 NEW BEST:: SOT 6224617 SOS 2063126 HAS SOPS 2063126 HAS SOUS 768110 HAS SOUPS 768110 WITH SCORE 770173.126
AT ITER 6894 NEW BEST:: SOT 6224365 SOS 2062586 HAS SOPS 2062586 HAS SOUS 767786 HAS SOUPS 767786 WITH SCORE 769848.586
AT ITER 6910 NEW BEST:: SOT 6223975 SOS 2062196 HAS SOPS 2062196 HAS SOUS 767396 HAS SOUPS 767396 WITH SCORE 769458.196
AT ITER 6984 NEW BEST:: SOT 6223905 SOS 2063208 HAS SOPS 2063208 HAS SOUS 766248 HAS SOUPS 766248 WITH SCORE 768311.208
AT ITER 6985 NEW BEST:: SOT 6223905 SOS 2063208 HAS SOPS 2063208 HAS SOUS 766197 HAS SOUPS 766197 WITH SCORE 768260.208
AT ITER 6994 NEW BEST:: SOT 6223801 SOS 2063104 HAS SOPS 2063104 HAS SOUS 765960 HAS SOUPS 765960 WITH SCORE 768023.104
AT ITER 7038 NEW BEST:: SOT 6223733 SOS 2062560 HAS SOPS 2062560 HAS SOUS 765824 HAS SOUPS 765824 WITH SCORE 767886.56
AT ITER 7063 NEW BEST:: SOT 6223733 SOS 2062560 HAS SOPS 2062560 HAS SOUS 765708 HAS SOUPS 765708 WITH SCORE 767770.56
AT ITER 7091 NEW BEST:: SOT 6223733 SOS 2061280 HAS SOPS 2061280 HAS SOUS 765388 HAS SOUPS 765388 WITH SCORE 767449.28
AT ITER 7097 NEW BEST:: SOT 6223707 SOS 2060917 HAS SOPS 2060917 HAS SOUS 765181 HAS SOUPS 765181 WITH SCORE 767241.917
AT ITER 7109 NEW BEST:: SOT 6223707 SOS 2060725 HAS SOPS 2060725 HAS SOUS 765133 HAS SOUPS 765133 WITH SCORE 767193.725
AT ITER 7136 NEW BEST:: SOT 6223673 SOS 2060353 HAS SOPS 2060353 HAS SOUS 764965 HAS SOUPS 764965 WITH SCORE 767025.353
AT ITER 7144 NEW BEST:: SOT 6221916 SOS 2057421 HAS SOPS 2057421 HAS SOUS 763323 HAS SOUPS 763323 WITH SCORE 765380.421
AT ITER 7175 NEW BEST:: SOT 6221916 SOS 2056856 HAS SOPS 2056856 HAS SOUS 763286 HAS SOUPS 763286 WITH SCORE 765342.856
AT ITER 7193 NEW BEST:: SOT 6221540 SOS 2053517 HAS SOPS 2053517 HAS SOUS 763195 HAS SOUPS 763195 WITH SCORE 765248.517
AT ITER 7206 NEW BEST:: SOT 6221337 SOS 2053082 HAS SOPS 2053082 HAS SOUS 762934 HAS SOUPS 762934 WITH SCORE 764987.082
AT ITER 7232 NEW BEST:: SOT 6221279 SOS 2052966 HAS SOPS 2052966 HAS SOUS 762662 HAS SOUPS 762662 WITH SCORE 764714.966
AT ITER 7235 NEW BEST:: SOT 6221231 SOS 2052582 HAS SOPS 2052582 HAS SOUS 762566 HAS SOUPS 762566 WITH SCORE 764618.582
AT ITER 7276 NEW BEST:: SOT 6221231 SOS 2052552 HAS SOPS 2052552 HAS SOUS 762566 HAS SOUPS 762566 WITH SCORE 764618.552
AT ITER 7279 NEW BEST:: SOT 6221231 SOS 2052552 HAS SOPS 2052552 HAS SOUS 762538 HAS SOUPS 762538 WITH SCORE 764590.552
AT ITER 7301 NEW BEST:: SOT 6220657 SOS 2050978 HAS SOPS 2050978 HAS SOUS 762218 HAS SOUPS 762218 WITH SCORE 764268.978
AT ITER 7319 NEW BEST:: SOT 6220657 SOS 2050786 HAS SOPS 2050786 HAS SOUS 762170 HAS SOUPS 762170 WITH SCORE 764220.786
AT ITER 7334 NEW BEST:: SOT 6220657 SOS 2050306 HAS SOPS 2050306 HAS SOUS 762050 HAS SOUPS 762050 WITH SCORE 764100.306
AT ITER 7345 NEW BEST:: SOT 6220651 SOS 2050300 HAS SOPS 2050300 HAS SOUS 762044 HAS SOUPS 762044 WITH SCORE 764094.3
AT ITER 7348 NEW BEST:: SOT 6220707 SOS 2050952 HAS SOPS 2050952 HAS SOUS 762040 HAS SOUPS 762040 WITH SCORE 764090.952
AT ITER 7375 NEW BEST:: SOT 6220707 SOS 2050896 HAS SOPS 2050896 HAS SOUS 761888 HAS SOUPS 761888 WITH SCORE 763938.896
AT ITER 7465 NEW BEST:: SOT 6220280 SOS 2050469 HAS SOPS 2050469 HAS SOUS 761461 HAS SOUPS 761461 WITH SCORE 763511.469
AT ITER 7473 NEW BEST:: SOT 6220258 SOS 2050328 HAS SOPS 2050328 HAS SOUS 761278 HAS SOUPS 761278 WITH SCORE 763328.328
AT ITER 7487 NEW BEST:: SOT 6219934 SOS 2050004 HAS SOPS 2050004 HAS SOUS 760954 HAS SOUPS 760954 WITH SCORE 763004.004
AT ITER 7493 NEW BEST:: SOT 6219934 SOS 2050004 HAS SOPS 2050004 HAS SOUS 760926 HAS SOUPS 760926 WITH SCORE 762976.004
AT ITER 7541 NEW BEST:: SOT 6219409 SOS 2049391 HAS SOPS 2049391 HAS SOUS 760609 HAS SOUPS 760609 WITH SCORE 762658.391
AT ITER 7554 NEW BEST:: SOT 6219409 SOS 2049391 HAS SOPS 2049391 HAS SOUS 760603 HAS SOUPS 760603 WITH SCORE 762652.391
AT ITER 7587 NEW BEST:: SOT 6219346 SOS 2049328 HAS SOPS 2049328 HAS SOUS 760603 HAS SOUPS 760603 WITH SCORE 762652.328
AT ITER 7602 NEW BEST:: SOT 6220114 SOS 2050670 HAS SOPS 2050670 HAS SOUS 760507 HAS SOUPS 760507 WITH SCORE 762557.67
AT ITER 7628 NEW BEST:: SOT 6219897 SOS 2050123 HAS SOPS 2050123 HAS SOUS 760284 HAS SOUPS 760284 WITH SCORE 762334.123
AT ITER 7635 NEW BEST:: SOT 6219897 SOS 2050062 HAS SOPS 2050062 HAS SOUS 760223 HAS SOUPS 760223 WITH SCORE 762273.062
AT ITER 7640 NEW BEST:: SOT 6219824 SOS 2049405 HAS SOPS 2049405 HAS SOUS 760004 HAS SOUPS 760004 WITH SCORE 762053.405
AT ITER 7690 NEW BEST:: SOT 6219824 SOS 2049405 HAS SOPS 2049405 HAS SOUS 759977 HAS SOUPS 759977 WITH SCORE 762026.405
AT ITER 7695 NEW BEST:: SOT 6219824 SOS 2049317 HAS SOPS 2049317 HAS SOUS 759955 HAS SOUPS 759955 WITH SCORE 762004.317
AT ITER 7737 NEW BEST:: SOT 6219805 SOS 2049279 HAS SOPS 2049279 HAS SOUS 759803 HAS SOUPS 759803 WITH SCORE 761852.279
AT ITER 7743 NEW BEST:: SOT 6219805 SOS 2049405 HAS SOPS 2049405 HAS SOUS 759677 HAS SOUPS 759677 WITH SCORE 761726.405
AT ITER 7745 NEW BEST:: SOT 6219805 SOS 2049405 HAS SOPS 2049405 HAS SOUS 759362 HAS SOUPS 759362 WITH SCORE 761411.405
AT ITER 7749 NEW BEST:: SOT 6220753 SOS 2051301 HAS SOPS 2051301 HAS SOUS 758324 HAS SOUPS 758324 WITH SCORE 760375.301
AT ITER 7756 NEW BEST:: SOT 6220448 SOS 2050524 HAS SOPS 2050524 HAS SOUS 757901 HAS SOUPS 757901 WITH SCORE 759951.524
AT ITER 7794 NEW BEST:: SOT 6220448 SOS 2050320 HAS SOPS 2050320 HAS SOUS 757901 HAS SOUPS 757901 WITH SCORE 759951.32
AT ITER 7795 NEW BEST:: SOT 6220448 SOS 2050320 HAS SOPS 2050320 HAS SOUS 757890 HAS SOUPS 757890 WITH SCORE 759940.32
AT ITER 7811 NEW BEST:: SOT 6220448 SOS 2050320 HAS SOPS 2050320 HAS SOUS 757820 HAS SOUPS 757820 WITH SCORE 759870.32
AT ITER 7812 NEW BEST:: SOT 6220448 SOS 2050240 HAS SOPS 2050240 HAS SOUS 757820 HAS SOUPS 757820 WITH SCORE 759870.24
AT ITER 7814 NEW BEST:: SOT 6220448 SOS 2049432 HAS SOPS 2049432 HAS SOUS 757618 HAS SOUPS 757618 WITH SCORE 759667.432
AT ITER 7818 NEW BEST:: SOT 6220372 SOS 2048824 HAS SOPS 2048824 HAS SOUS 757466 HAS SOUPS 757466 WITH SCORE 759514.824
AT ITER 7820 NEW BEST:: SOT 6220359 SOS 2048811 HAS SOPS 2048811 HAS SOUS 757453 HAS SOUPS 757453 WITH SCORE 759501.811
AT ITER 7867 NEW BEST:: SOT 6220242 SOS 2047962 HAS SOPS 2047962 HAS SOUS 757000 HAS SOUPS 757000 WITH SCORE 759047.962
AT ITER 7892 NEW BEST:: SOT 6220228 SOS 2047934 HAS SOPS 2047934 HAS SOUS 756984 HAS SOUPS 756984 WITH SCORE 759031.934
AT ITER 7893 NEW BEST:: SOT 6220228 SOS 2048018 HAS SOPS 2048018 HAS SOUS 756924 HAS SOUPS 756924 WITH SCORE 758972.018
AT ITER 7989 NEW BEST:: SOT 6220228 SOS 2046730 HAS SOPS 2046730 HAS SOUS 756602 HAS SOUPS 756602 WITH SCORE 758648.73
AT ITER 8026 NEW BEST:: SOT 6220228 SOS 2046290 HAS SOPS 2046290 HAS SOUS 756492 HAS SOUPS 756492 WITH SCORE 758538.29
AT ITER 8036 NEW BEST:: SOT 6219106 SOS 2045168 HAS SOPS 2045168 HAS SOUS 755370 HAS SOUPS 755370 WITH SCORE 757415.168
AT ITER 8059 NEW BEST:: SOT 6219106 SOS 2045168 HAS SOPS 2045168 HAS SOUS 755357 HAS SOUPS 755357 WITH SCORE 757402.168
AT ITER 8068 NEW BEST:: SOT 6219027 SOS 2044457 HAS SOPS 2044457 HAS SOUS 755120 HAS SOUPS 755120 WITH SCORE 757164.457
AT ITER 8070 NEW BEST:: SOT 6217326 SOS 2041055 HAS SOPS 2041055 HAS SOUS 753176 HAS SOUPS 753176 WITH SCORE 755217.055
AT ITER 8090 NEW BEST:: SOT 6217396 SOS 2041125 HAS SOPS 2041125 HAS SOUS 753036 HAS SOUPS 753036 WITH SCORE 755077.125
AT ITER 8097 NEW BEST:: SOT 6217130 SOS 2040593 HAS SOPS 2040593 HAS SOUS 752732 HAS SOUPS 752732 WITH SCORE 754772.593
AT ITER 8100 NEW BEST:: SOT 6217086 SOS 2040549 HAS SOPS 2040549 HAS SOUS 752688 HAS SOUPS 752688 WITH SCORE 754728.549
AT ITER 8124 NEW BEST:: SOT 6217006 SOS 2040469 HAS SOPS 2040469 HAS SOUS 752608 HAS SOUPS 752608 WITH SCORE 754648.469
AT ITER 8144 NEW BEST:: SOT 6217006 SOS 2040469 HAS SOPS 2040469 HAS SOUS 752600 HAS SOUPS 752600 WITH SCORE 754640.469
AT ITER 8175 NEW BEST:: SOT 6216850 SOS 2038989 HAS SOPS 2038989 HAS SOUS 752056 HAS SOUPS 752056 WITH SCORE 754094.989
AT ITER 8192 NEW BEST:: SOT 6215674 SOS 2037831 HAS SOPS 2037831 HAS SOUS 751058 HAS SOUPS 751058 WITH SCORE 753095.831
AT ITER 8199 NEW BEST:: SOT 6215674 SOS 2038299 HAS SOPS 2038299 HAS SOUS 750528 HAS SOUPS 750528 WITH SCORE 752566.299
AT ITER 8204 NEW BEST:: SOT 6215674 SOS 2038299 HAS SOPS 2038299 HAS SOUS 750509 HAS SOUPS 750509 WITH SCORE 752547.299
AT ITER 8215 NEW BEST:: SOT 6215674 SOS 2037453 HAS SOPS 2037453 HAS SOUS 750509 HAS SOUPS 750509 WITH SCORE 752546.453
AT ITER 8237 NEW BEST:: SOT 6215674 SOS 2037453 HAS SOPS 2037453 HAS SOUS 750455 HAS SOUPS 750455 WITH SCORE 752492.453
AT ITER 8239 NEW BEST:: SOT 6215530 SOS 2036301 HAS SOPS 2036301 HAS SOUS 750167 HAS SOUPS 750167 WITH SCORE 752203.301
AT ITER 8245 NEW BEST:: SOT 6215450 SOS 2036221 HAS SOPS 2036221 HAS SOUS 750087 HAS SOUPS 750087 WITH SCORE 752123.221
AT ITER 8253 NEW BEST:: SOT 6214127 SOS 2033485 HAS SOPS 2033485 HAS SOUS 749223 HAS SOUPS 749223 WITH SCORE 751256.485
AT ITER 8266 NEW BEST:: SOT 6214112 SOS 2033365 HAS SOPS 2033365 HAS SOUS 749193 HAS SOUPS 749193 WITH SCORE 751226.365
AT ITER 8367 NEW BEST:: SOT 6213069 SOS 2032173 HAS SOPS 2032173 HAS SOUS 748001 HAS SOUPS 748001 WITH SCORE 750033.173
AT ITER 8374 NEW BEST:: SOT 6213069 SOS 2032359 HAS SOPS 2032359 HAS SOUS 747893 HAS SOUPS 747893 WITH SCORE 749925.359
AT ITER 8397 NEW BEST:: SOT 6213041 SOS 2032303 HAS SOPS 2032303 HAS SOUS 747741 HAS SOUPS 747741 WITH SCORE 749773.303
AT ITER 8512 NEW BEST:: SOT 6212719 SOS 2031935 HAS SOPS 2031935 HAS SOUS 747373 HAS SOUPS 747373 WITH SCORE 749404.935
AT ITER 8528 NEW BEST:: SOT 6212327 SOS 2031487 HAS SOPS 2031487 HAS SOUS 746589 HAS SOUPS 746589 WITH SCORE 748620.487
AT ITER 8541 NEW BEST:: SOT 6212250 SOS 2031410 HAS SOPS 2031410 HAS SOUS 746570 HAS SOUPS 746570 WITH SCORE 748601.41
AT ITER 8588 NEW BEST:: SOT 6212250 SOS 2031322 HAS SOPS 2031322 HAS SOUS 746548 HAS SOUPS 746548 WITH SCORE 748579.322
AT ITER 8602 NEW BEST:: SOT 6211908 SOS 2030980 HAS SOPS 2030980 HAS SOUS 746206 HAS SOUPS 746206 WITH SCORE 748236.98
AT ITER 8618 NEW BEST:: SOT 6211908 SOS 2030973 HAS SOPS 2030973 HAS SOUS 746199 HAS SOUPS 746199 WITH SCORE 748229.973
AT ITER 8624 NEW BEST:: SOT 6212437 SOS 2031905 HAS SOPS 2031905 HAS SOUS 746081 HAS SOUPS 746081 WITH SCORE 748112.905
AT ITER 8641 NEW BEST:: SOT 6212031 SOS 2030900 HAS SOPS 2030900 HAS SOUS 745832 HAS SOUPS 745832 WITH SCORE 747862.9
AT ITER 8656 NEW BEST:: SOT 6211866 SOS 2030504 HAS SOPS 2030504 HAS SOUS 745799 HAS SOUPS 745799 WITH SCORE 747829.504
AT ITER 8711 NEW BEST:: SOT 6213338 SOS 2033985 HAS SOPS 2033985 HAS SOUS 745489 HAS SOUPS 745489 WITH SCORE 747522.985
AT ITER 8720 NEW BEST:: SOT 6213258 SOS 2033825 HAS SOPS 2033825 HAS SOUS 745023 HAS SOUPS 745023 WITH SCORE 747056.825
AT ITER 8737 NEW BEST:: SOT 6213232 SOS 2033628 HAS SOPS 2033628 HAS SOUS 744980 HAS SOUPS 744980 WITH SCORE 747013.628
AT ITER 8772 NEW BEST:: SOT 6212490 SOS 2032934 HAS SOPS 2032934 HAS SOUS 744932 HAS SOUPS 744932 WITH SCORE 746964.934
AT ITER 8794 NEW BEST:: SOT 6211244 SOS 2031761 HAS SOPS 2031761 HAS SOUS 744270 HAS SOUPS 744270 WITH SCORE 746301.761
AT ITER 8818 NEW BEST:: SOT 6211205 SOS 2031697 HAS SOPS 2031697 HAS SOUS 744012 HAS SOUPS 744012 WITH SCORE 746043.697
AT ITER 8828 NEW BEST:: SOT 6210869 SOS 2031361 HAS SOPS 2031361 HAS SOUS 743676 HAS SOUPS 743676 WITH SCORE 745707.361
AT ITER 8851 NEW BEST:: SOT 6210547 SOS 2030717 HAS SOPS 2030717 HAS SOUS 743308 HAS SOUPS 743308 WITH SCORE 745338.717
AT ITER 8855 NEW BEST:: SOT 6210532 SOS 2030702 HAS SOPS 2030702 HAS SOUS 743293 HAS SOUPS 743293 WITH SCORE 745323.702
AT ITER 8882 NEW BEST:: SOT 6210532 SOS 2030694 HAS SOPS 2030694 HAS SOUS 743291 HAS SOUPS 743291 WITH SCORE 745321.694
AT ITER 8899 NEW BEST:: SOT 6210417 SOS 2030579 HAS SOPS 2030579 HAS SOUS 743176 HAS SOUPS 743176 WITH SCORE 745206.579
AT ITER 8910 NEW BEST:: SOT 6210417 SOS 2030313 HAS SOPS 2030313 HAS SOUS 742910 HAS SOUPS 742910 WITH SCORE 744940.313
AT ITER 8944 NEW BEST:: SOT 6210417 SOS 2029209 HAS SOPS 2029209 HAS SOUS 742634 HAS SOUPS 742634 WITH SCORE 744663.209
AT ITER 8948 NEW BEST:: SOT 6210373 SOS 2029165 HAS SOPS 2029165 HAS SOUS 742634 HAS SOUPS 742634 WITH SCORE 744663.165
AT ITER 8969 NEW BEST:: SOT 6209821 SOS 2028613 HAS SOPS 2028613 HAS SOUS 742082 HAS SOUPS 742082 WITH SCORE 744110.613
AT ITER 8971 NEW BEST:: SOT 6209821 SOS 2028277 HAS SOPS 2028277 HAS SOUS 741998 HAS SOUPS 741998 WITH SCORE 744026.277
AT ITER 9000 NEW BEST:: SOT 6209415 SOS 2027813 HAS SOPS 2027813 HAS SOUS 741534 HAS SOUPS 741534 WITH SCORE 743561.813
AT ITER 9005 NEW BEST:: SOT 6209415 SOS 2027813 HAS SOPS 2027813 HAS SOUS 741503 HAS SOUPS 741503 WITH SCORE 743530.813
AT ITER 9009 NEW BEST:: SOT 6209379 SOS 2027959 HAS SOPS 2027959 HAS SOUS 741493 HAS SOUPS 741493 WITH SCORE 743520.959
AT ITER 9010 NEW BEST:: SOT 6209379 SOS 2026319 HAS SOPS 2026319 HAS SOUS 741083 HAS SOUPS 741083 WITH SCORE 743109.319
AT ITER 9011 NEW BEST:: SOT 6209277 SOS 2025503 HAS SOPS 2025503 HAS SOUS 740879 HAS SOUPS 740879 WITH SCORE 742904.503
AT ITER 9037 NEW BEST:: SOT 6209277 SOS 2025381 HAS SOPS 2025381 HAS SOUS 740757 HAS SOUPS 740757 WITH SCORE 742782.381
AT ITER 9046 NEW BEST:: SOT 6209277 SOS 2025381 HAS SOPS 2025381 HAS SOUS 740643 HAS SOUPS 740643 WITH SCORE 742668.381
AT ITER 9054 NEW BEST:: SOT 6209360 SOS 2025595 HAS SOPS 2025595 HAS SOUS 739675 HAS SOUPS 739675 WITH SCORE 741700.595
AT ITER 9103 NEW BEST:: SOT 6209360 SOS 2025700 HAS SOPS 2025700 HAS SOUS 739600 HAS SOUPS 739600 WITH SCORE 741625.7
AT ITER 9105 NEW BEST:: SOT 6209193 SOS 2024118 HAS SOPS 2024118 HAS SOUS 739020 HAS SOUPS 739020 WITH SCORE 741044.118
AT ITER 9107 NEW BEST:: SOT 6209193 SOS 2025468 HAS SOPS 2025468 HAS SOUS 738084 HAS SOUPS 738084 WITH SCORE 740109.468
AT ITER 9118 NEW BEST:: SOT 6209869 SOS 2026656 HAS SOPS 2026656 HAS SOUS 737606 HAS SOUPS 737606 WITH SCORE 739632.656
AT ITER 9134 NEW BEST:: SOT 6209598 SOS 2026168 HAS SOPS 2026168 HAS SOUS 737304 HAS SOUPS 737304 WITH SCORE 739330.168
AT ITER 9139 NEW BEST:: SOT 6209388 SOS 2025977 HAS SOPS 2025977 HAS SOUS 737113 HAS SOUPS 737113 WITH SCORE 739138.977
AT ITER 9158 NEW BEST:: SOT 6209374 SOS 2025949 HAS SOPS 2025949 HAS SOUS 737007 HAS SOUPS 737007 WITH SCORE 739032.949
AT ITER 9246 NEW BEST:: SOT 6209235 SOS 2025810 HAS SOPS 2025810 HAS SOUS 736868 HAS SOUPS 736868 WITH SCORE 738893.81
AT ITER 9277 NEW BEST:: SOT 6209235 SOS 2025810 HAS SOPS 2025810 HAS SOUS 736583 HAS SOUPS 736583 WITH SCORE 738608.81
AT ITER 9292 NEW BEST:: SOT 6208934 SOS 2025509 HAS SOPS 2025509 HAS SOUS 736282 HAS SOUPS 736282 WITH SCORE 738307.509
AT ITER 9312 NEW BEST:: SOT 6208840 SOS 2024757 HAS SOPS 2024757 HAS SOUS 736094 HAS SOUPS 736094 WITH SCORE 738118.757
AT ITER 9347 NEW BEST:: SOT 6208840 SOS 2024757 HAS SOPS 2024757 HAS SOUS 736064 HAS SOUPS 736064 WITH SCORE 738088.757
AT ITER 9358 NEW BEST:: SOT 6209225 SOS 2025681 HAS SOPS 2025681 HAS SOUS 736018 HAS SOUPS 736018 WITH SCORE 738043.681
AT ITER 9365 NEW BEST:: SOT 6208560 SOS 2024256 HAS SOPS 2024256 HAS SOUS 735163 HAS SOUPS 735163 WITH SCORE 737187.256
AT ITER 9373 NEW BEST:: SOT 6208356 SOS 2022420 HAS SOPS 2022420 HAS SOUS 734551 HAS SOUPS 734551 WITH SCORE 736573.42
AT ITER 9406 NEW BEST:: SOT 6208356 SOS 2022486 HAS SOPS 2022486 HAS SOUS 734485 HAS SOUPS 734485 WITH SCORE 736507.486
AT ITER 9407 NEW BEST:: SOT 6208293 SOS 2022414 HAS SOPS 2022414 HAS SOUS 734359 HAS SOUPS 734359 WITH SCORE 736381.414
AT ITER 9435 NEW BEST:: SOT 6208293 SOS 2021070 HAS SOPS 2021070 HAS SOUS 734023 HAS SOUPS 734023 WITH SCORE 736044.07
AT ITER 9518 NEW BEST:: SOT 6208293 SOS 2021070 HAS SOPS 2021070 HAS SOUS 734016 HAS SOUPS 734016 WITH SCORE 736037.07
AT ITER 9526 NEW BEST:: SOT 6208229 SOS 2021006 HAS SOPS 2021006 HAS SOUS 734016 HAS SOUPS 734016 WITH SCORE 736037.006
AT ITER 9539 NEW BEST:: SOT 6208227 SOS 2020990 HAS SOPS 2020990 HAS SOUS 734012 HAS SOUPS 734012 WITH SCORE 736032.99
AT ITER 9549 NEW BEST:: SOT 6208053 SOS 2020816 HAS SOPS 2020816 HAS SOUS 733838 HAS SOUPS 733838 WITH SCORE 735858.816
AT ITER 9564 NEW BEST:: SOT 6208053 SOS 2020736 HAS SOPS 2020736 HAS SOUS 733818 HAS SOUPS 733818 WITH SCORE 735838.736
AT ITER 9565 NEW BEST:: SOT 6207983 SOS 2020656 HAS SOPS 2020656 HAS SOUS 733738 HAS SOUPS 733738 WITH SCORE 735758.656
AT ITER 9579 NEW BEST:: SOT 6207875 SOS 2020348 HAS SOPS 2020348 HAS SOUS 733580 HAS SOUPS 733580 WITH SCORE 735600.348
AT ITER 9641 NEW BEST:: SOT 6206708 SOS 2019286 HAS SOPS 2019286 HAS SOUS 732614 HAS SOUPS 732614 WITH SCORE 734633.286
AT ITER 9666 NEW BEST:: SOT 6206708 SOS 2019054 HAS SOPS 2019054 HAS SOUS 732382 HAS SOUPS 732382 WITH SCORE 734401.054
AT ITER 9676 NEW BEST:: SOT 6206683 SOS 2019029 HAS SOPS 2019029 HAS SOUS 732303 HAS SOUPS 732303 WITH SCORE 734322.029
AT ITER 9678 NEW BEST:: SOT 6206683 SOS 2019029 HAS SOPS 2019029 HAS SOUS 732240 HAS SOUPS 732240 WITH SCORE 734259.029
AT ITER 9692 NEW BEST:: SOT 6206683 SOS 2019029 HAS SOPS 2019029 HAS SOUS 732204 HAS SOUPS 732204 WITH SCORE 734223.029
AT ITER 9697 NEW BEST:: SOT 6206683 SOS 2018922 HAS SOPS 2018922 HAS SOUS 732097 HAS SOUPS 732097 WITH SCORE 734115.922
AT ITER 9716 NEW BEST:: SOT 6206683 SOS 2018922 HAS SOPS 2018922 HAS SOUS 731889 HAS SOUPS 731889 WITH SCORE 733907.922
AT ITER 9721 NEW BEST:: SOT 6206503 SOS 2018742 HAS SOPS 2018742 HAS SOUS 731709 HAS SOUPS 731709 WITH SCORE 733727.742
AT ITER 9746 NEW BEST:: SOT 6206503 SOS 2017126 HAS SOPS 2017126 HAS SOUS 731305 HAS SOUPS 731305 WITH SCORE 733322.126
AT ITER 9771 NEW BEST:: SOT 6206503 SOS 2016542 HAS SOPS 2016542 HAS SOUS 731159 HAS SOUPS 731159 WITH SCORE 733175.542
AT ITER 9773 NEW BEST:: SOT 6206571 SOS 2016610 HAS SOPS 2016610 HAS SOUS 731156 HAS SOUPS 731156 WITH SCORE 733172.61
AT ITER 9793 NEW BEST:: SOT 6206486 SOS 2015930 HAS SOPS 2015930 HAS SOUS 730986 HAS SOUPS 730986 WITH SCORE 733001.93
AT ITER 9802 NEW BEST:: SOT 6206269 SOS 2015682 HAS SOPS 2015682 HAS SOUS 730521 HAS SOUPS 730521 WITH SCORE 732536.682
AT ITER 9805 NEW BEST:: SOT 6206269 SOS 2015682 HAS SOPS 2015682 HAS SOUS 730507 HAS SOUPS 730507 WITH SCORE 732522.682
AT ITER 9889 NEW BEST:: SOT 6205893 SOS 2012842 HAS SOPS 2012842 HAS SOUS 729515 HAS SOUPS 729515 WITH SCORE 731527.842
AT ITER 9893 NEW BEST:: SOT 6205688 SOS 2012309 HAS SOPS 2012309 HAS SOUS 729503 HAS SOUPS 729503 WITH SCORE 731515.309
AT ITER 9921 NEW BEST:: SOT 6205046 SOS 2011667 HAS SOPS 2011667 HAS SOUS 728861 HAS SOUPS 728861 WITH SCORE 730872.667
AT ITER 9977 NEW BEST:: SOT 6205046 SOS 2011515 HAS SOPS 2011515 HAS SOUS 728823 HAS SOUPS 728823 WITH SCORE 730834.515
AT ITER 9989 NEW BEST:: SOT 6204800 SOS 2009997 HAS SOPS 2009997 HAS SOUS 728211 HAS SOUPS 728211 WITH SCORE 730220.997
AT ITER 9994 NEW BEST:: SOT 6204603 SOS 2013450 HAS SOPS 2013450 HAS SOUS 727950 HAS SOUPS 727950 WITH SCORE 729963.45

BK_TIME_CONFINEMENT_REACHED

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

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="HypertorusGrid-PT-d4k3p2b08"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is HypertorusGrid-PT-d4k3p2b08, 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 r093-oct2-158940140400312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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