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-158940140400307.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140400307
=====================================================================

--------------------
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 5.9K Apr 27 15:14 GenericPropertiesVerdict.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)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-00
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-01
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-02
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-03
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-04
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-05
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-06
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-07
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-08
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-09
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-10
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-11
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-12
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-13
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-14
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589613977105

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

GOT IT HERE. BS
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 5 NEW BEST:: SOT 6316874 SOS 2279837 HAS SOPS 2279837 HAS SOUS 949771 HAS SOUPS 949771 WITH SCORE 952050.837
AT ITER 21 NEW BEST:: SOT 6316874 SOS 2279987 HAS SOPS 2279987 HAS SOUS 949621 HAS SOUPS 949621 WITH SCORE 951900.987
AT ITER 35 NEW BEST:: SOT 6316874 SOS 2279861 HAS SOPS 2279861 HAS SOUS 949621 HAS SOUPS 949621 WITH SCORE 951900.861
AT ITER 46 NEW BEST:: SOT 6316874 SOS 2278429 HAS SOPS 2278429 HAS SOUS 949263 HAS SOUPS 949263 WITH SCORE 951541.429
AT ITER 53 NEW BEST:: SOT 6316741 SOS 2277232 HAS SOPS 2277232 HAS SOUS 948864 HAS SOUPS 948864 WITH SCORE 951141.232
AT ITER 84 NEW BEST:: SOT 6316357 SOS 2276848 HAS SOPS 2276848 HAS SOUS 948480 HAS SOUPS 948480 WITH SCORE 950756.848
AT ITER 112 NEW BEST:: SOT 6316357 SOS 2276848 HAS SOPS 2276848 HAS SOUS 948395 HAS SOUPS 948395 WITH SCORE 950671.848
AT ITER 126 NEW BEST:: SOT 6317074 SOS 2278282 HAS SOPS 2278282 HAS SOUS 948365 HAS SOUPS 948365 WITH SCORE 950643.282
AT ITER 128 NEW BEST:: SOT 6316965 SOS 2277410 HAS SOPS 2277410 HAS SOUS 948147 HAS SOUPS 948147 WITH SCORE 950424.41
AT ITER 129 NEW BEST:: SOT 6316824 SOS 2277128 HAS SOPS 2277128 HAS SOUS 947021 HAS SOUPS 947021 WITH SCORE 949298.128
AT ITER 140 NEW BEST:: SOT 6315872 SOS 2276040 HAS SOPS 2276040 HAS SOUS 945504 HAS SOUPS 945504 WITH SCORE 947780.04
AT ITER 145 NEW BEST:: SOT 6315805 SOS 2275973 HAS SOPS 2275973 HAS SOUS 945504 HAS SOUPS 945504 WITH SCORE 947779.973
AT ITER 146 NEW BEST:: SOT 6315637 SOS 2275091 HAS SOPS 2275091 HAS SOUS 945090 HAS SOUPS 945090 WITH SCORE 947365.091
AT ITER 155 NEW BEST:: SOT 6315466 SOS 2274749 HAS SOPS 2274749 HAS SOUS 943866 HAS SOUPS 943866 WITH SCORE 946140.749
AT ITER 180 NEW BEST:: SOT 6315466 SOS 2273258 HAS SOPS 2273258 HAS SOUS 943653 HAS SOUPS 943653 WITH SCORE 945926.258
AT ITER 209 NEW BEST:: SOT 6314784 SOS 2272608 HAS SOPS 2272608 HAS SOUS 943227 HAS SOUPS 943227 WITH SCORE 945499.608
AT ITER 225 NEW BEST:: SOT 6314205 SOS 2272060 HAS SOPS 2272060 HAS SOUS 942896 HAS SOUPS 942896 WITH SCORE 945168.06
AT ITER 227 NEW BEST:: SOT 6314092 SOS 2271156 HAS SOPS 2271156 HAS SOUS 942670 HAS SOUPS 942670 WITH SCORE 944941.156
AT ITER 228 NEW BEST:: SOT 6313032 SOS 2269036 HAS SOPS 2269036 HAS SOUS 941534 HAS SOUPS 941534 WITH SCORE 943803.036
AT ITER 238 NEW BEST:: SOT 6311142 SOS 2265101 HAS SOPS 2265101 HAS SOUS 939219 HAS SOUPS 939219 WITH SCORE 941484.101
AT ITER 265 NEW BEST:: SOT 6311136 SOS 2265095 HAS SOPS 2265095 HAS SOUS 939213 HAS SOUPS 939213 WITH SCORE 941478.095
AT ITER 294 NEW BEST:: SOT 6311136 SOS 2265731 HAS SOPS 2265731 HAS SOUS 938471 HAS SOUPS 938471 WITH SCORE 940736.731
AT ITER 296 NEW BEST:: SOT 6311080 SOS 2265675 HAS SOPS 2265675 HAS SOUS 938471 HAS SOUPS 938471 WITH SCORE 940736.675
AT ITER 302 NEW BEST:: SOT 6311269 SOS 2265810 HAS SOPS 2265810 HAS SOUS 937971 HAS SOUPS 937971 WITH SCORE 940236.81
AT ITER 330 NEW BEST:: SOT 6311201 SOS 2265742 HAS SOPS 2265742 HAS SOUS 937903 HAS SOUPS 937903 WITH SCORE 940168.742
AT ITER 345 NEW BEST:: SOT 6311201 SOS 2265091 HAS SOPS 2265091 HAS SOUS 937810 HAS SOUPS 937810 WITH SCORE 940075.091
AT ITER 347 NEW BEST:: SOT 6311069 SOS 2264035 HAS SOPS 2264035 HAS SOUS 937546 HAS SOUPS 937546 WITH SCORE 939810.035
AT ITER 358 NEW BEST:: SOT 6310367 SOS 2263333 HAS SOPS 2263333 HAS SOUS 936844 HAS SOUPS 936844 WITH SCORE 939107.333
AT ITER 361 NEW BEST:: SOT 6310246 SOS 2262365 HAS SOPS 2262365 HAS SOUS 936602 HAS SOUPS 936602 WITH SCORE 938864.365
AT ITER 367 NEW BEST:: SOT 6310246 SOS 2262357 HAS SOPS 2262357 HAS SOUS 936596 HAS SOUPS 936596 WITH SCORE 938858.357
AT ITER 370 NEW BEST:: SOT 6310006 SOS 2262117 HAS SOPS 2262117 HAS SOUS 936356 HAS SOUPS 936356 WITH SCORE 938618.117
AT ITER 383 NEW BEST:: SOT 6309810 SOS 2260353 HAS SOPS 2260353 HAS SOUS 935768 HAS SOUPS 935768 WITH SCORE 938028.353
AT ITER 387 NEW BEST:: SOT 6309810 SOS 2259321 HAS SOPS 2259321 HAS SOUS 935510 HAS SOUPS 935510 WITH SCORE 937769.321
AT ITER 391 NEW BEST:: SOT 6309634 SOS 2257913 HAS SOPS 2257913 HAS SOUS 935158 HAS SOUPS 935158 WITH SCORE 937415.913
AT ITER 414 NEW BEST:: SOT 6308941 SOS 2257121 HAS SOPS 2257121 HAS SOUS 934366 HAS SOUPS 934366 WITH SCORE 936623.121
AT ITER 443 NEW BEST:: SOT 6308941 SOS 2256316 HAS SOPS 2256316 HAS SOUS 934251 HAS SOUPS 934251 WITH SCORE 936507.316
AT ITER 450 NEW BEST:: SOT 6308841 SOS 2255516 HAS SOPS 2255516 HAS SOUS 934051 HAS SOUPS 934051 WITH SCORE 936306.516
AT ITER 460 NEW BEST:: SOT 6308841 SOS 2255348 HAS SOPS 2255348 HAS SOUS 932890 HAS SOUPS 932890 WITH SCORE 935145.348
AT ITER 476 NEW BEST:: SOT 6308517 SOS 2255024 HAS SOPS 2255024 HAS SOUS 932566 HAS SOUPS 932566 WITH SCORE 934821.024
AT ITER 484 NEW BEST:: SOT 6307862 SOS 2254404 HAS SOPS 2254404 HAS SOUS 932191 HAS SOUPS 932191 WITH SCORE 934445.404
AT ITER 497 NEW BEST:: SOT 6307765 SOS 2254210 HAS SOPS 2254210 HAS SOUS 931997 HAS SOUPS 931997 WITH SCORE 934251.21
AT ITER 499 NEW BEST:: SOT 6307765 SOS 2254210 HAS SOPS 2254210 HAS SOUS 931727 HAS SOUPS 931727 WITH SCORE 933981.21
AT ITER 504 NEW BEST:: SOT 6308059 SOS 2254672 HAS SOPS 2254672 HAS SOUS 931000 HAS SOUPS 931000 WITH SCORE 933254.672
AT ITER 505 NEW BEST:: SOT 6307891 SOS 2253293 HAS SOPS 2253293 HAS SOUS 930515 HAS SOUPS 930515 WITH SCORE 932768.293
AT ITER 514 NEW BEST:: SOT 6307835 SOS 2253181 HAS SOPS 2253181 HAS SOUS 930451 HAS SOUPS 930451 WITH SCORE 932704.181
AT ITER 518 NEW BEST:: SOT 6307850 SOS 2253196 HAS SOPS 2253196 HAS SOUS 930421 HAS SOUPS 930421 WITH SCORE 932674.196
AT ITER 538 NEW BEST:: SOT 6307655 SOS 2251636 HAS SOPS 2251636 HAS SOUS 930031 HAS SOUPS 930031 WITH SCORE 932282.636
AT ITER 557 NEW BEST:: SOT 6307655 SOS 2251756 HAS SOPS 2251756 HAS SOUS 929911 HAS SOUPS 929911 WITH SCORE 932162.756
AT ITER 560 NEW BEST:: SOT 6306965 SOS 2251066 HAS SOPS 2251066 HAS SOUS 929221 HAS SOUPS 929221 WITH SCORE 931472.066
AT ITER 567 NEW BEST:: SOT 6306998 SOS 2249473 HAS SOPS 2249473 HAS SOUS 929050 HAS SOUPS 929050 WITH SCORE 931299.473
AT ITER 587 NEW BEST:: SOT 6306424 SOS 2248325 HAS SOPS 2248325 HAS SOUS 928394 HAS SOUPS 928394 WITH SCORE 930642.325
AT ITER 589 NEW BEST:: SOT 6305437 SOS 2245394 HAS SOPS 2245394 HAS SOUS 927323 HAS SOUPS 927323 WITH SCORE 929568.394
AT ITER 594 NEW BEST:: SOT 6305437 SOS 2245376 HAS SOPS 2245376 HAS SOUS 927305 HAS SOUPS 927305 WITH SCORE 929550.376
AT ITER 608 NEW BEST:: SOT 6305408 SOS 2245347 HAS SOPS 2245347 HAS SOUS 927305 HAS SOUPS 927305 WITH SCORE 929550.347
AT ITER 619 NEW BEST:: SOT 6305408 SOS 2245347 HAS SOPS 2245347 HAS SOUS 927137 HAS SOUPS 927137 WITH SCORE 929382.347
AT ITER 632 NEW BEST:: SOT 6305153 SOS 2243307 HAS SOPS 2243307 HAS SOUS 926627 HAS SOUPS 926627 WITH SCORE 928870.307
AT ITER 638 NEW BEST:: SOT 6305086 SOS 2243240 HAS SOPS 2243240 HAS SOUS 926627 HAS SOUPS 926627 WITH SCORE 928870.24
AT ITER 646 NEW BEST:: SOT 6304336 SOS 2242490 HAS SOPS 2242490 HAS SOUS 925877 HAS SOUPS 925877 WITH SCORE 928119.49
AT ITER 649 NEW BEST:: SOT 6304336 SOS 2241804 HAS SOPS 2241804 HAS SOUS 925779 HAS SOUPS 925779 WITH SCORE 928020.804
AT ITER 651 NEW BEST:: SOT 6304336 SOS 2241804 HAS SOPS 2241804 HAS SOUS 925744 HAS SOUPS 925744 WITH SCORE 927985.804
AT ITER 657 NEW BEST:: SOT 6304070 SOS 2239410 HAS SOPS 2239410 HAS SOUS 924946 HAS SOUPS 924946 WITH SCORE 927185.41
AT ITER 689 NEW BEST:: SOT 6303932 SOS 2239272 HAS SOPS 2239272 HAS SOUS 924736 HAS SOUPS 924736 WITH SCORE 926975.272
AT ITER 693 NEW BEST:: SOT 6303932 SOS 2237288 HAS SOPS 2237288 HAS SOUS 924240 HAS SOUPS 924240 WITH SCORE 926477.288
AT ITER 703 NEW BEST:: SOT 6303932 SOS 2237288 HAS SOPS 2237288 HAS SOUS 924217 HAS SOUPS 924217 WITH SCORE 926454.288
AT ITER 713 NEW BEST:: SOT 6303330 SOS 2236686 HAS SOPS 2236686 HAS SOUS 923615 HAS SOUPS 923615 WITH SCORE 925851.686
AT ITER 720 NEW BEST:: SOT 6303111 SOS 2234934 HAS SOPS 2234934 HAS SOUS 923177 HAS SOUPS 923177 WITH SCORE 925411.934
AT ITER 792 NEW BEST:: SOT 6302841 SOS 2233988 HAS SOPS 2233988 HAS SOUS 922579 HAS SOUPS 922579 WITH SCORE 924812.988
AT ITER 809 NEW BEST:: SOT 6302393 SOS 2233540 HAS SOPS 2233540 HAS SOUS 922131 HAS SOUPS 922131 WITH SCORE 924364.54
AT ITER 810 NEW BEST:: SOT 6302393 SOS 2233540 HAS SOPS 2233540 HAS SOUS 922107 HAS SOUPS 922107 WITH SCORE 924340.54
AT ITER 814 NEW BEST:: SOT 6302104 SOS 2233251 HAS SOPS 2233251 HAS SOUS 921818 HAS SOUPS 921818 WITH SCORE 924051.251
AT ITER 819 NEW BEST:: SOT 6302652 SOS 2234758 HAS SOPS 2234758 HAS SOUS 921681 HAS SOUPS 921681 WITH SCORE 923915.758
AT ITER 829 NEW BEST:: SOT 6301567 SOS 2233518 HAS SOPS 2233518 HAS SOUS 919702 HAS SOUPS 919702 WITH SCORE 921935.518
AT ITER 871 NEW BEST:: SOT 6301399 SOS 2232125 HAS SOPS 2232125 HAS SOUS 919215 HAS SOUPS 919215 WITH SCORE 921447.125
AT ITER 884 NEW BEST:: SOT 6301399 SOS 2232401 HAS SOPS 2232401 HAS SOUS 918939 HAS SOUPS 918939 WITH SCORE 921171.401
AT ITER 886 NEW BEST:: SOT 6301399 SOS 2232401 HAS SOPS 2232401 HAS SOUS 918529 HAS SOUPS 918529 WITH SCORE 920761.401
AT ITER 911 NEW BEST:: SOT 6300937 SOS 2231411 HAS SOPS 2231411 HAS SOUS 917935 HAS SOUPS 917935 WITH SCORE 920166.411
AT ITER 934 NEW BEST:: SOT 6300990 SOS 2231464 HAS SOPS 2231464 HAS SOUS 917898 HAS SOUPS 917898 WITH SCORE 920129.464
AT ITER 936 NEW BEST:: SOT 6301557 SOS 2232409 HAS SOPS 2232409 HAS SOUS 917128 HAS SOUPS 917128 WITH SCORE 919360.409
AT ITER 952 NEW BEST:: SOT 6301310 SOS 2230433 HAS SOPS 2230433 HAS SOUS 916634 HAS SOUPS 916634 WITH SCORE 918864.433
AT ITER 957 NEW BEST:: SOT 6301218 SOS 2230341 HAS SOPS 2230341 HAS SOUS 916542 HAS SOUPS 916542 WITH SCORE 918772.341
AT ITER 961 NEW BEST:: SOT 6301007 SOS 2228653 HAS SOPS 2228653 HAS SOUS 916120 HAS SOUPS 916120 WITH SCORE 918348.653
AT ITER 972 NEW BEST:: SOT 6300566 SOS 2227771 HAS SOPS 2227771 HAS SOUS 915616 HAS SOUPS 915616 WITH SCORE 917843.771
AT ITER 973 NEW BEST:: SOT 6300496 SOS 2227631 HAS SOPS 2227631 HAS SOUS 914737 HAS SOUPS 914737 WITH SCORE 916964.631
AT ITER 983 NEW BEST:: SOT 6300979 SOS 2228396 HAS SOPS 2228396 HAS SOUS 914431 HAS SOUPS 914431 WITH SCORE 916659.396
AT ITER 991 NEW BEST:: SOT 6300751 SOS 2226572 HAS SOPS 2226572 HAS SOUS 913975 HAS SOUPS 913975 WITH SCORE 916201.572
AT ITER 1017 NEW BEST:: SOT 6300769 SOS 2226590 HAS SOPS 2226590 HAS SOUS 913939 HAS SOUPS 913939 WITH SCORE 916165.59
AT ITER 1018 NEW BEST:: SOT 6300769 SOS 2226638 HAS SOPS 2226638 HAS SOUS 913891 HAS SOUPS 913891 WITH SCORE 916117.638
AT ITER 1019 NEW BEST:: SOT 6300769 SOS 2226590 HAS SOPS 2226590 HAS SOUS 913843 HAS SOUPS 913843 WITH SCORE 916069.59
AT ITER 1022 NEW BEST:: SOT 6300764 SOS 2226545 HAS SOPS 2226545 HAS SOUS 913828 HAS SOUPS 913828 WITH SCORE 916054.545
AT ITER 1030 NEW BEST:: SOT 6300764 SOS 2226545 HAS SOPS 2226545 HAS SOUS 913588 HAS SOUPS 913588 WITH SCORE 915814.545
AT ITER 1038 NEW BEST:: SOT 6300764 SOS 2226281 HAS SOPS 2226281 HAS SOUS 913522 HAS SOUPS 913522 WITH SCORE 915748.281
AT ITER 1049 NEW BEST:: SOT 6299833 SOS 2225217 HAS SOPS 2225217 HAS SOUS 911702 HAS SOUPS 911702 WITH SCORE 913927.217
AT ITER 1052 NEW BEST:: SOT 6299957 SOS 2225591 HAS SOPS 2225591 HAS SOUS 911224 HAS SOUPS 911224 WITH SCORE 913449.591
AT ITER 1073 NEW BEST:: SOT 6299712 SOS 2225311 HAS SOPS 2225311 HAS SOUS 910699 HAS SOUPS 910699 WITH SCORE 912924.311
AT ITER 1089 NEW BEST:: SOT 6298277 SOS 2223671 HAS SOPS 2223671 HAS SOUS 909059 HAS SOUPS 909059 WITH SCORE 911282.671
AT ITER 1103 NEW BEST:: SOT 6298250 SOS 2223455 HAS SOPS 2223455 HAS SOUS 909005 HAS SOUPS 909005 WITH SCORE 911228.455
AT ITER 1115 NEW BEST:: SOT 6298250 SOS 2223707 HAS SOPS 2223707 HAS SOUS 908825 HAS SOUPS 908825 WITH SCORE 911048.707
AT ITER 1118 NEW BEST:: SOT 6296549 SOS 2220305 HAS SOPS 2220305 HAS SOUS 906881 HAS SOUPS 906881 WITH SCORE 909101.305
AT ITER 1142 NEW BEST:: SOT 6296438 SOS 2219417 HAS SOPS 2219417 HAS SOUS 906659 HAS SOUPS 906659 WITH SCORE 908878.417
AT ITER 1174 NEW BEST:: SOT 6296438 SOS 2219348 HAS SOPS 2219348 HAS SOUS 906590 HAS SOUPS 906590 WITH SCORE 908809.348
AT ITER 1188 NEW BEST:: SOT 6294548 SOS 2215300 HAS SOPS 2215300 HAS SOUS 904162 HAS SOUPS 904162 WITH SCORE 906377.3
AT ITER 1198 NEW BEST:: SOT 6293617 SOS 2214236 HAS SOPS 2214236 HAS SOUS 903306 HAS SOUPS 903306 WITH SCORE 905520.236
AT ITER 1210 NEW BEST:: SOT 6293617 SOS 2215106 HAS SOPS 2215106 HAS SOUS 902378 HAS SOUPS 902378 WITH SCORE 904593.106
AT ITER 1236 NEW BEST:: SOT 6292186 SOS 2213150 HAS SOPS 2213150 HAS SOUS 900872 HAS SOUPS 900872 WITH SCORE 903085.15
AT ITER 1238 NEW BEST:: SOT 6292186 SOS 2213132 HAS SOPS 2213132 HAS SOUS 900872 HAS SOUPS 900872 WITH SCORE 903085.132
AT ITER 1245 NEW BEST:: SOT 6293106 SOS 2214972 HAS SOPS 2214972 HAS SOUS 900610 HAS SOUPS 900610 WITH SCORE 902824.972
AT ITER 1274 NEW BEST:: SOT 6291351 SOS 2211462 HAS SOPS 2211462 HAS SOUS 899665 HAS SOUPS 899665 WITH SCORE 901876.462
AT ITER 1276 NEW BEST:: SOT 6290262 SOS 2209284 HAS SOPS 2209284 HAS SOUS 898423 HAS SOUPS 898423 WITH SCORE 900632.284
AT ITER 1298 NEW BEST:: SOT 6290239 SOS 2209100 HAS SOPS 2209100 HAS SOUS 898377 HAS SOUPS 898377 WITH SCORE 900586.1
AT ITER 1299 NEW BEST:: SOT 6289063 SOS 2206631 HAS SOPS 2206631 HAS SOUS 897273 HAS SOUPS 897273 WITH SCORE 899479.631
AT ITER 1339 NEW BEST:: SOT 6289115 SOS 2205209 HAS SOPS 2205209 HAS SOUS 897159 HAS SOUPS 897159 WITH SCORE 899364.209
AT ITER 1348 NEW BEST:: SOT 6288924 SOS 2204827 HAS SOPS 2204827 HAS SOUS 895631 HAS SOUPS 895631 WITH SCORE 897835.827
AT ITER 1379 NEW BEST:: SOT 6287174 SOS 2201327 HAS SOPS 2201327 HAS SOUS 893631 HAS SOUPS 893631 WITH SCORE 895832.327
AT ITER 1406 NEW BEST:: SOT 6286376 SOS 2199617 HAS SOPS 2199617 HAS SOUS 892605 HAS SOUPS 892605 WITH SCORE 894804.617
AT ITER 1420 NEW BEST:: SOT 6286376 SOS 2199401 HAS SOPS 2199401 HAS SOUS 892551 HAS SOUPS 892551 WITH SCORE 894750.401
AT ITER 1435 NEW BEST:: SOT 6286376 SOS 2198353 HAS SOPS 2198353 HAS SOUS 892289 HAS SOUPS 892289 WITH SCORE 894487.353
AT ITER 1439 NEW BEST:: SOT 6286250 SOS 2198227 HAS SOPS 2198227 HAS SOUS 892163 HAS SOUPS 892163 WITH SCORE 894361.227
AT ITER 1452 NEW BEST:: SOT 6286250 SOS 2197184 HAS SOPS 2197184 HAS SOUS 892014 HAS SOUPS 892014 WITH SCORE 894211.184
AT ITER 1467 NEW BEST:: SOT 6286250 SOS 2196016 HAS SOPS 2196016 HAS SOUS 891722 HAS SOUPS 891722 WITH SCORE 893918.016
AT ITER 1470 NEW BEST:: SOT 6286154 SOS 2195792 HAS SOPS 2195792 HAS SOUS 891372 HAS SOUPS 891372 WITH SCORE 893567.792
AT ITER 1471 NEW BEST:: SOT 6286143 SOS 2195781 HAS SOPS 2195781 HAS SOUS 891361 HAS SOUPS 891361 WITH SCORE 893556.781
AT ITER 1494 NEW BEST:: SOT 6286143 SOS 2195781 HAS SOPS 2195781 HAS SOUS 891354 HAS SOUPS 891354 WITH SCORE 893549.781
AT ITER 1496 NEW BEST:: SOT 6286206 SOS 2195646 HAS SOPS 2195646 HAS SOUS 891165 HAS SOUPS 891165 WITH SCORE 893360.646
AT ITER 1503 NEW BEST:: SOT 6286206 SOS 2195552 HAS SOPS 2195552 HAS SOUS 891071 HAS SOUPS 891071 WITH SCORE 893266.552
AT ITER 1522 NEW BEST:: SOT 6284316 SOS 2191563 HAS SOPS 2191563 HAS SOUS 888702 HAS SOUPS 888702 WITH SCORE 890893.563
AT ITER 1529 NEW BEST:: SOT 6284316 SOS 2191563 HAS SOPS 2191563 HAS SOUS 888690 HAS SOUPS 888690 WITH SCORE 890881.563
AT ITER 1532 NEW BEST:: SOT 6284174 SOS 2191421 HAS SOPS 2191421 HAS SOUS 888548 HAS SOUPS 888548 WITH SCORE 890739.421
AT ITER 1536 NEW BEST:: SOT 6284363 SOS 2192339 HAS SOPS 2192339 HAS SOUS 888236 HAS SOUPS 888236 WITH SCORE 890428.339
AT ITER 1542 NEW BEST:: SOT 6284363 SOS 2192339 HAS SOPS 2192339 HAS SOUS 888080 HAS SOUPS 888080 WITH SCORE 890272.339
AT ITER 1549 NEW BEST:: SOT 6284363 SOS 2192591 HAS SOPS 2192591 HAS SOUS 887900 HAS SOUPS 887900 WITH SCORE 890092.591
AT ITER 1552 NEW BEST:: SOT 6283558 SOS 2190867 HAS SOPS 2190867 HAS SOUS 886980 HAS SOUPS 886980 WITH SCORE 889170.867
AT ITER 1581 NEW BEST:: SOT 6283558 SOS 2190187 HAS SOPS 2190187 HAS SOUS 886810 HAS SOUPS 886810 WITH SCORE 889000.187
AT ITER 1616 NEW BEST:: SOT 6283493 SOS 2190122 HAS SOPS 2190122 HAS SOUS 886745 HAS SOUPS 886745 WITH SCORE 888935.122
AT ITER 1621 NEW BEST:: SOT 6283493 SOS 2189969 HAS SOPS 2189969 HAS SOUS 886466 HAS SOUPS 886466 WITH SCORE 888655.969
AT ITER 1636 NEW BEST:: SOT 6281603 SOS 2188124 HAS SOPS 2188124 HAS SOUS 884693 HAS SOUPS 884693 WITH SCORE 886881.124
AT ITER 1639 NEW BEST:: SOT 6281407 SOS 2187928 HAS SOPS 2187928 HAS SOUS 884663 HAS SOUPS 884663 WITH SCORE 886850.928
AT ITER 1654 NEW BEST:: SOT 6281407 SOS 2188355 HAS SOPS 2188355 HAS SOUS 884297 HAS SOUPS 884297 WITH SCORE 886485.355
AT ITER 1669 NEW BEST:: SOT 6281407 SOS 2189153 HAS SOPS 2189153 HAS SOUS 883613 HAS SOUPS 883613 WITH SCORE 885802.153
AT ITER 1671 NEW BEST:: SOT 6281435 SOS 2188957 HAS SOPS 2188957 HAS SOUS 883609 HAS SOUPS 883609 WITH SCORE 885797.957
AT ITER 1715 NEW BEST:: SOT 6280595 SOS 2187157 HAS SOPS 2187157 HAS SOUS 882529 HAS SOUPS 882529 WITH SCORE 884716.157
AT ITER 1728 NEW BEST:: SOT 6280595 SOS 2187157 HAS SOPS 2187157 HAS SOUS 882361 HAS SOUPS 882361 WITH SCORE 884548.157
AT ITER 1761 NEW BEST:: SOT 6280595 SOS 2187790 HAS SOPS 2187790 HAS SOUS 882220 HAS SOUPS 882220 WITH SCORE 884407.79
AT ITER 1764 NEW BEST:: SOT 6280559 SOS 2187745 HAS SOPS 2187745 HAS SOUS 882121 HAS SOUPS 882121 WITH SCORE 884308.745
AT ITER 1771 NEW BEST:: SOT 6280544 SOS 2187730 HAS SOPS 2187730 HAS SOUS 882106 HAS SOUPS 882106 WITH SCORE 884293.73
AT ITER 1774 NEW BEST:: SOT 6280355 SOS 2186218 HAS SOPS 2186218 HAS SOUS 881728 HAS SOUPS 881728 WITH SCORE 883914.218
AT ITER 1776 NEW BEST:: SOT 6280222 SOS 2185952 HAS SOPS 2185952 HAS SOUS 881576 HAS SOUPS 881576 WITH SCORE 883761.952
AT ITER 1785 NEW BEST:: SOT 6280308 SOS 2184836 HAS SOPS 2184836 HAS SOUS 881564 HAS SOUPS 881564 WITH SCORE 883748.836
AT ITER 1786 NEW BEST:: SOT 6280091 SOS 2183100 HAS SOPS 2183100 HAS SOUS 881130 HAS SOUPS 881130 WITH SCORE 883313.1
AT ITER 1803 NEW BEST:: SOT 6280091 SOS 2183366 HAS SOPS 2183366 HAS SOUS 880940 HAS SOUPS 880940 WITH SCORE 883123.366
AT ITER 1816 NEW BEST:: SOT 6279927 SOS 2183038 HAS SOPS 2183038 HAS SOUS 880468 HAS SOUPS 880468 WITH SCORE 882651.038
AT ITER 1832 NEW BEST:: SOT 6279924 SOS 2183035 HAS SOPS 2183035 HAS SOUS 880465 HAS SOUPS 880465 WITH SCORE 882648.035
AT ITER 1840 NEW BEST:: SOT 6279924 SOS 2183329 HAS SOPS 2183329 HAS SOUS 880213 HAS SOUPS 880213 WITH SCORE 882396.329
AT ITER 1858 NEW BEST:: SOT 6279546 SOS 2182519 HAS SOPS 2182519 HAS SOUS 879727 HAS SOUPS 879727 WITH SCORE 881909.519
AT ITER 1865 NEW BEST:: SOT 6279537 SOS 2182456 HAS SOPS 2182456 HAS SOUS 879705 HAS SOUPS 879705 WITH SCORE 881887.456
AT ITER 1866 NEW BEST:: SOT 6279480 SOS 2183188 HAS SOPS 2183188 HAS SOUS 879591 HAS SOUPS 879591 WITH SCORE 881774.188
AT ITER 1891 NEW BEST:: SOT 6279210 SOS 2180814 HAS SOPS 2180814 HAS SOUS 878789 HAS SOUPS 878789 WITH SCORE 880969.814
AT ITER 1892 NEW BEST:: SOT 6279185 SOS 2180789 HAS SOPS 2180789 HAS SOUS 878764 HAS SOUPS 878764 WITH SCORE 880944.789
AT ITER 1901 NEW BEST:: SOT 6279185 SOS 2181615 HAS SOPS 2181615 HAS SOUS 878056 HAS SOUPS 878056 WITH SCORE 880237.615
AT ITER 1902 NEW BEST:: SOT 6279185 SOS 2181524 HAS SOPS 2181524 HAS SOUS 877821 HAS SOUPS 877821 WITH SCORE 880002.524
AT ITER 1904 NEW BEST:: SOT 6279185 SOS 2181692 HAS SOPS 2181692 HAS SOUS 877653 HAS SOUPS 877653 WITH SCORE 879834.692
AT ITER 1914 NEW BEST:: SOT 6279185 SOS 2183281 HAS SOPS 2183281 HAS SOUS 876291 HAS SOUPS 876291 WITH SCORE 878474.281
AT ITER 1923 NEW BEST:: SOT 6279185 SOS 2182875 HAS SOPS 2182875 HAS SOUS 876257 HAS SOUPS 876257 WITH SCORE 878439.875
AT ITER 1929 NEW BEST:: SOT 6279185 SOS 2182899 HAS SOPS 2182899 HAS SOUS 876229 HAS SOUPS 876229 WITH SCORE 878411.899
AT ITER 1945 NEW BEST:: SOT 6279149 SOS 2182863 HAS SOPS 2182863 HAS SOUS 876229 HAS SOUPS 876229 WITH SCORE 878411.863
AT ITER 1957 NEW BEST:: SOT 6279028 SOS 2181895 HAS SOPS 2181895 HAS SOUS 875987 HAS SOUPS 875987 WITH SCORE 878168.895
AT ITER 1967 NEW BEST:: SOT 6278934 SOS 2182532 HAS SOPS 2182532 HAS SOUS 875850 HAS SOUPS 875850 WITH SCORE 878032.532
AT ITER 1983 NEW BEST:: SOT 6278599 SOS 2180037 HAS SOPS 2180037 HAS SOUS 874975 HAS SOUPS 874975 WITH SCORE 877155.037
AT ITER 2006 NEW BEST:: SOT 6278599 SOS 2179794 HAS SOPS 2179794 HAS SOUS 874732 HAS SOUPS 874732 WITH SCORE 876911.794
AT ITER 2013 NEW BEST:: SOT 6278599 SOS 2179706 HAS SOPS 2179706 HAS SOUS 874732 HAS SOUPS 874732 WITH SCORE 876911.706
AT ITER 2020 NEW BEST:: SOT 6278158 SOS 2179202 HAS SOPS 2179202 HAS SOUS 873850 HAS SOUPS 873850 WITH SCORE 876029.202
AT ITER 2059 NEW BEST:: SOT 6278030 SOS 2178050 HAS SOPS 2178050 HAS SOUS 873466 HAS SOUPS 873466 WITH SCORE 875644.05
AT ITER 2062 NEW BEST:: SOT 6278030 SOS 2176042 HAS SOPS 2176042 HAS SOUS 872964 HAS SOUPS 872964 WITH SCORE 875140.042
AT ITER 2066 NEW BEST:: SOT 6278030 SOS 2176035 HAS SOPS 2176035 HAS SOUS 872957 HAS SOUPS 872957 WITH SCORE 875133.035
AT ITER 2091 NEW BEST:: SOT 6278030 SOS 2176035 HAS SOPS 2176035 HAS SOUS 872927 HAS SOUPS 872927 WITH SCORE 875103.035
AT ITER 2097 NEW BEST:: SOT 6278030 SOS 2174978 HAS SOPS 2174978 HAS SOUS 872776 HAS SOUPS 872776 WITH SCORE 874950.978
AT ITER 2098 NEW BEST:: SOT 6277916 SOS 2174750 HAS SOPS 2174750 HAS SOUS 872548 HAS SOUPS 872548 WITH SCORE 874722.75
AT ITER 2114 NEW BEST:: SOT 6277829 SOS 2174663 HAS SOPS 2174663 HAS SOUS 872461 HAS SOUPS 872461 WITH SCORE 874635.663
AT ITER 2120 NEW BEST:: SOT 6277737 SOS 2173927 HAS SOPS 2173927 HAS SOUS 872277 HAS SOUPS 872277 WITH SCORE 874450.927
AT ITER 2135 NEW BEST:: SOT 6277684 SOS 2173979 HAS SOPS 2173979 HAS SOUS 872239 HAS SOUPS 872239 WITH SCORE 874412.979
AT ITER 2137 NEW BEST:: SOT 6277684 SOS 2173979 HAS SOPS 2173979 HAS SOUS 872114 HAS SOUPS 872114 WITH SCORE 874287.979
AT ITER 2140 NEW BEST:: SOT 6277324 SOS 2172899 HAS SOPS 2172899 HAS SOUS 871574 HAS SOUPS 871574 WITH SCORE 873746.899
AT ITER 2165 NEW BEST:: SOT 6277276 SOS 2172851 HAS SOPS 2172851 HAS SOUS 871574 HAS SOUPS 871574 WITH SCORE 873746.851
AT ITER 2170 NEW BEST:: SOT 6277276 SOS 2171923 HAS SOPS 2171923 HAS SOUS 871342 HAS SOUPS 871342 WITH SCORE 873513.923
AT ITER 2171 NEW BEST:: SOT 6276322 SOS 2170015 HAS SOPS 2170015 HAS SOUS 871012 HAS SOUPS 871012 WITH SCORE 873182.015
AT ITER 2182 NEW BEST:: SOT 6276115 SOS 2168359 HAS SOPS 2168359 HAS SOUS 870598 HAS SOUPS 870598 WITH SCORE 872766.359
AT ITER 2199 NEW BEST:: SOT 6276115 SOS 2168359 HAS SOPS 2168359 HAS SOUS 870430 HAS SOUPS 870430 WITH SCORE 872598.359
AT ITER 2202 NEW BEST:: SOT 6274774 SOS 2165905 HAS SOPS 2165905 HAS SOUS 868930 HAS SOUPS 868930 WITH SCORE 871095.905
AT ITER 2206 NEW BEST:: SOT 6274606 SOS 2164617 HAS SOPS 2164617 HAS SOUS 868458 HAS SOUPS 868458 WITH SCORE 870622.617
AT ITER 2225 NEW BEST:: SOT 6274606 SOS 2164617 HAS SOPS 2164617 HAS SOUS 868194 HAS SOUPS 868194 WITH SCORE 870358.617
AT ITER 2240 NEW BEST:: SOT 6274424 SOS 2164409 HAS SOPS 2164409 HAS SOUS 867986 HAS SOUPS 867986 WITH SCORE 870150.409
AT ITER 2278 NEW BEST:: SOT 6272534 SOS 2159952 HAS SOPS 2159952 HAS SOUS 866082 HAS SOUPS 866082 WITH SCORE 868241.952
AT ITER 2300 NEW BEST:: SOT 6272524 SOS 2159872 HAS SOPS 2159872 HAS SOUS 866062 HAS SOUPS 866062 WITH SCORE 868221.872
AT ITER 2307 NEW BEST:: SOT 6272335 SOS 2159656 HAS SOPS 2159656 HAS SOUS 865846 HAS SOUPS 865846 WITH SCORE 868005.656
AT ITER 2325 NEW BEST:: SOT 6272320 SOS 2159536 HAS SOPS 2159536 HAS SOUS 865816 HAS SOUPS 865816 WITH SCORE 867975.536
AT ITER 2342 NEW BEST:: SOT 6272268 SOS 2158952 HAS SOPS 2158952 HAS SOUS 865544 HAS SOUPS 865544 WITH SCORE 867702.952
AT ITER 2361 NEW BEST:: SOT 6272247 SOS 2158651 HAS SOPS 2158651 HAS SOUS 865530 HAS SOUPS 865530 WITH SCORE 867688.651
AT ITER 2381 NEW BEST:: SOT 6271977 SOS 2157782 HAS SOPS 2157782 HAS SOUS 865087 HAS SOUPS 865087 WITH SCORE 867244.782
AT ITER 2399 NEW BEST:: SOT 6271582 SOS 2156410 HAS SOPS 2156410 HAS SOUS 864651 HAS SOUPS 864651 WITH SCORE 866807.41
AT ITER 2408 NEW BEST:: SOT 6271654 SOS 2156482 HAS SOPS 2156482 HAS SOUS 864523 HAS SOUPS 864523 WITH SCORE 866679.482
AT ITER 2409 NEW BEST:: SOT 6271646 SOS 2156474 HAS SOPS 2156474 HAS SOUS 864523 HAS SOUPS 864523 WITH SCORE 866679.474
AT ITER 2438 NEW BEST:: SOT 6270478 SOS 2154138 HAS SOPS 2154138 HAS SOUS 863195 HAS SOUPS 863195 WITH SCORE 865349.138
AT ITER 2448 NEW BEST:: SOT 6269470 SOS 2152986 HAS SOPS 2152986 HAS SOUS 862043 HAS SOUPS 862043 WITH SCORE 864195.986
AT ITER 2452 NEW BEST:: SOT 6268714 SOS 2152122 HAS SOPS 2152122 HAS SOUS 861179 HAS SOUPS 861179 WITH SCORE 863331.122
AT ITER 2457 NEW BEST:: SOT 6268714 SOS 2151870 HAS SOPS 2151870 HAS SOUS 859163 HAS SOUPS 859163 WITH SCORE 861314.87
AT ITER 2459 NEW BEST:: SOT 6268595 SOS 2151615 HAS SOPS 2151615 HAS SOUS 859010 HAS SOUPS 859010 WITH SCORE 861161.615
AT ITER 2470 NEW BEST:: SOT 6268595 SOS 2151640 HAS SOPS 2151640 HAS SOUS 858841 HAS SOUPS 858841 WITH SCORE 860992.64
AT ITER 2476 NEW BEST:: SOT 6268595 SOS 2152168 HAS SOPS 2152168 HAS SOUS 858225 HAS SOUPS 858225 WITH SCORE 860377.168
AT ITER 2485 NEW BEST:: SOT 6268551 SOS 2152124 HAS SOPS 2152124 HAS SOUS 858137 HAS SOUPS 858137 WITH SCORE 860289.124
AT ITER 2495 NEW BEST:: SOT 6268551 SOS 2151292 HAS SOPS 2151292 HAS SOUS 857929 HAS SOUPS 857929 WITH SCORE 860080.292
AT ITER 2507 NEW BEST:: SOT 6268275 SOS 2150434 HAS SOPS 2150434 HAS SOUS 857767 HAS SOUPS 857767 WITH SCORE 859917.434
AT ITER 2522 NEW BEST:: SOT 6268275 SOS 2150848 HAS SOPS 2150848 HAS SOUS 857284 HAS SOUPS 857284 WITH SCORE 859434.848
AT ITER 2539 NEW BEST:: SOT 6268331 SOS 2152060 HAS SOPS 2152060 HAS SOUS 857200 HAS SOUPS 857200 WITH SCORE 859352.06
AT ITER 2541 NEW BEST:: SOT 6268316 SOS 2153350 HAS SOPS 2153350 HAS SOUS 855649 HAS SOUPS 855649 WITH SCORE 857802.35
AT ITER 2548 NEW BEST:: SOT 6267650 SOS 2152684 HAS SOPS 2152684 HAS SOUS 854983 HAS SOUPS 854983 WITH SCORE 857135.684
AT ITER 2565 NEW BEST:: SOT 6267650 SOS 2152636 HAS SOPS 2152636 HAS SOUS 854971 HAS SOUPS 854971 WITH SCORE 857123.636
AT ITER 2567 NEW BEST:: SOT 6267489 SOS 2151348 HAS SOPS 2151348 HAS SOUS 854649 HAS SOUPS 854649 WITH SCORE 856800.348
AT ITER 2611 NEW BEST:: SOT 6267293 SOS 2149780 HAS SOPS 2149780 HAS SOUS 854257 HAS SOUPS 854257 WITH SCORE 856406.78
AT ITER 2640 NEW BEST:: SOT 6265403 SOS 2145748 HAS SOPS 2145748 HAS SOUS 851953 HAS SOUPS 851953 WITH SCORE 854098.748
AT ITER 2665 NEW BEST:: SOT 6265278 SOS 2145623 HAS SOPS 2145623 HAS SOUS 851828 HAS SOUPS 851828 WITH SCORE 853973.623
AT ITER 2701 NEW BEST:: SOT 6264067 SOS 2144239 HAS SOPS 2144239 HAS SOUS 851060 HAS SOUPS 851060 WITH SCORE 853204.239
AT ITER 2707 NEW BEST:: SOT 6263213 SOS 2142531 HAS SOPS 2142531 HAS SOUS 850084 HAS SOUPS 850084 WITH SCORE 852226.531
AT ITER 2716 NEW BEST:: SOT 6263213 SOS 2142235 HAS SOPS 2142235 HAS SOUS 850010 HAS SOUPS 850010 WITH SCORE 852152.235
AT ITER 2722 NEW BEST:: SOT 6263045 SOS 2140744 HAS SOPS 2140744 HAS SOUS 849509 HAS SOUPS 849509 WITH SCORE 851649.744
AT ITER 2759 NEW BEST:: SOT 6262877 SOS 2140576 HAS SOPS 2140576 HAS SOUS 849341 HAS SOUPS 849341 WITH SCORE 851481.576
AT ITER 2773 NEW BEST:: SOT 6261428 SOS 2138920 HAS SOPS 2138920 HAS SOUS 846701 HAS SOUPS 846701 WITH SCORE 848839.92
AT ITER 2780 NEW BEST:: SOT 6261428 SOS 2138920 HAS SOPS 2138920 HAS SOUS 846359 HAS SOUPS 846359 WITH SCORE 848497.92
AT ITER 2797 NEW BEST:: SOT 6261249 SOS 2138741 HAS SOPS 2138741 HAS SOUS 846180 HAS SOUPS 846180 WITH SCORE 848318.741
AT ITER 2836 NEW BEST:: SOT 6260514 SOS 2137166 HAS SOPS 2137166 HAS SOUS 845235 HAS SOUPS 845235 WITH SCORE 847372.166
AT ITER 2840 NEW BEST:: SOT 6259751 SOS 2136294 HAS SOPS 2136294 HAS SOUS 844363 HAS SOUPS 844363 WITH SCORE 846499.294
AT ITER 2868 NEW BEST:: SOT 6259804 SOS 2135595 HAS SOPS 2135595 HAS SOUS 844354 HAS SOUPS 844354 WITH SCORE 846489.595
AT ITER 2934 NEW BEST:: SOT 6259715 SOS 2135506 HAS SOPS 2135506 HAS SOUS 844178 HAS SOUPS 844178 WITH SCORE 846313.506
AT ITER 2944 NEW BEST:: SOT 6259715 SOS 2135506 HAS SOPS 2135506 HAS SOUS 844172 HAS SOUPS 844172 WITH SCORE 846307.506
AT ITER 2958 NEW BEST:: SOT 6259715 SOS 2135506 HAS SOPS 2135506 HAS SOUS 844170 HAS SOUPS 844170 WITH SCORE 846305.506
AT ITER 2978 NEW BEST:: SOT 6257825 SOS 2131476 HAS SOPS 2131476 HAS SOUS 841895 HAS SOUPS 841895 WITH SCORE 844026.476
AT ITER 3012 NEW BEST:: SOT 6256957 SOS 2129740 HAS SOPS 2129740 HAS SOUS 840903 HAS SOUPS 840903 WITH SCORE 843032.74
AT ITER 3019 NEW BEST:: SOT 6256957 SOS 2128536 HAS SOPS 2128536 HAS SOUS 840731 HAS SOUPS 840731 WITH SCORE 842859.536
AT ITER 3020 NEW BEST:: SOT 6256502 SOS 2128081 HAS SOPS 2128081 HAS SOUS 840276 HAS SOUPS 840276 WITH SCORE 842404.081
AT ITER 3025 NEW BEST:: SOT 6255878 SOS 2127457 HAS SOPS 2127457 HAS SOUS 839652 HAS SOUPS 839652 WITH SCORE 841779.457
AT ITER 3043 NEW BEST:: SOT 6255633 SOS 2127177 HAS SOPS 2127177 HAS SOUS 839162 HAS SOUPS 839162 WITH SCORE 841289.177
AT ITER 3046 NEW BEST:: SOT 6255283 SOS 2126477 HAS SOPS 2126477 HAS SOUS 838762 HAS SOUPS 838762 WITH SCORE 840888.477
AT ITER 3073 NEW BEST:: SOT 6255283 SOS 2126477 HAS SOPS 2126477 HAS SOUS 838754 HAS SOUPS 838754 WITH SCORE 840880.477
AT ITER 3086 NEW BEST:: SOT 6255283 SOS 2126371 HAS SOPS 2126371 HAS SOUS 838648 HAS SOUPS 838648 WITH SCORE 840774.371
AT ITER 3136 NEW BEST:: SOT 6255143 SOS 2125251 HAS SOPS 2125251 HAS SOUS 838368 HAS SOUPS 838368 WITH SCORE 840493.251
AT ITER 3170 NEW BEST:: SOT 6255041 SOS 2125149 HAS SOPS 2125149 HAS SOUS 838266 HAS SOUPS 838266 WITH SCORE 840391.149
AT ITER 3180 NEW BEST:: SOT 6255041 SOS 2125065 HAS SOPS 2125065 HAS SOUS 838182 HAS SOUPS 838182 WITH SCORE 840307.065
AT ITER 3194 NEW BEST:: SOT 6255010 SOS 2124786 HAS SOPS 2124786 HAS SOUS 838089 HAS SOUPS 838089 WITH SCORE 840213.786
AT ITER 3204 NEW BEST:: SOT 6255010 SOS 2123680 HAS SOPS 2123680 HAS SOUS 837931 HAS SOUPS 837931 WITH SCORE 840054.68
AT ITER 3242 NEW BEST:: SOT 6254929 SOS 2123032 HAS SOPS 2123032 HAS SOUS 837769 HAS SOUPS 837769 WITH SCORE 839892.032
AT ITER 3251 NEW BEST:: SOT 6254789 SOS 2122872 HAS SOPS 2122872 HAS SOUS 837469 HAS SOUPS 837469 WITH SCORE 839591.872
AT ITER 3258 NEW BEST:: SOT 6254708 SOS 2122791 HAS SOPS 2122791 HAS SOUS 837469 HAS SOUPS 837469 WITH SCORE 839591.791
AT ITER 3264 NEW BEST:: SOT 6254531 SOS 2121375 HAS SOPS 2121375 HAS SOUS 837115 HAS SOUPS 837115 WITH SCORE 839236.375
AT ITER 3278 NEW BEST:: SOT 6253586 SOS 2120243 HAS SOPS 2120243 HAS SOUS 836348 HAS SOUPS 836348 WITH SCORE 838468.243
AT ITER 3292 NEW BEST:: SOT 6251906 SOS 2118563 HAS SOPS 2118563 HAS SOUS 834668 HAS SOUPS 834668 WITH SCORE 836786.563
AT ITER 3305 NEW BEST:: SOT 6251832 SOS 2117971 HAS SOPS 2117971 HAS SOUS 834520 HAS SOUPS 834520 WITH SCORE 836637.971
AT ITER 3313 NEW BEST:: SOT 6251832 SOS 2118061 HAS SOPS 2118061 HAS SOUS 834430 HAS SOUPS 834430 WITH SCORE 836548.061
AT ITER 3316 NEW BEST:: SOT 6251258 SOS 2117487 HAS SOPS 2117487 HAS SOUS 833856 HAS SOUPS 833856 WITH SCORE 835973.487
AT ITER 3335 NEW BEST:: SOT 6251258 SOS 2117354 HAS SOPS 2117354 HAS SOUS 833837 HAS SOUPS 833837 WITH SCORE 835954.354
AT ITER 3353 NEW BEST:: SOT 6251203 SOS 2116914 HAS SOPS 2116914 HAS SOUS 833727 HAS SOUPS 833727 WITH SCORE 835843.914
AT ITER 3363 NEW BEST:: SOT 6251371 SOS 2119164 HAS SOPS 2119164 HAS SOUS 832639 HAS SOUPS 832639 WITH SCORE 834758.164
AT ITER 3379 NEW BEST:: SOT 6251371 SOS 2119164 HAS SOPS 2119164 HAS SOUS 832269 HAS SOUPS 832269 WITH SCORE 834388.164
AT ITER 3383 NEW BEST:: SOT 6251371 SOS 2119164 HAS SOPS 2119164 HAS SOUS 832101 HAS SOUPS 832101 WITH SCORE 834220.164
AT ITER 3404 NEW BEST:: SOT 6251142 SOS 2117103 HAS SOPS 2117103 HAS SOUS 831414 HAS SOUPS 831414 WITH SCORE 833531.103
AT ITER 3449 NEW BEST:: SOT 6251048 SOS 2116915 HAS SOPS 2116915 HAS SOUS 831226 HAS SOUPS 831226 WITH SCORE 833342.915
AT ITER 3450 NEW BEST:: SOT 6251030 SOS 2116897 HAS SOPS 2116897 HAS SOUS 831208 HAS SOUPS 831208 WITH SCORE 833324.897
AT ITER 3461 NEW BEST:: SOT 6250118 SOS 2115985 HAS SOPS 2115985 HAS SOUS 830296 HAS SOUPS 830296 WITH SCORE 832411.985
AT ITER 3470 NEW BEST:: SOT 6248984 SOS 2114851 HAS SOPS 2114851 HAS SOUS 829162 HAS SOUPS 829162 WITH SCORE 831276.851
AT ITER 3482 NEW BEST:: SOT 6248822 SOS 2114662 HAS SOPS 2114662 HAS SOUS 828973 HAS SOUPS 828973 WITH SCORE 831087.662
AT ITER 3489 NEW BEST:: SOT 6248822 SOS 2113080 HAS SOPS 2113080 HAS SOUS 828747 HAS SOUPS 828747 WITH SCORE 830860.08
AT ITER 3493 NEW BEST:: SOT 6248822 SOS 2113008 HAS SOPS 2113008 HAS SOUS 828729 HAS SOUPS 828729 WITH SCORE 830842.008
AT ITER 3538 NEW BEST:: SOT 6248108 SOS 2111238 HAS SOPS 2111238 HAS SOUS 828312 HAS SOUPS 828312 WITH SCORE 830423.238
AT ITER 3573 NEW BEST:: SOT 6247910 SOS 2111040 HAS SOPS 2111040 HAS SOUS 828114 HAS SOUPS 828114 WITH SCORE 830225.04
AT ITER 3583 NEW BEST:: SOT 6247882 SOS 2110816 HAS SOPS 2110816 HAS SOUS 828058 HAS SOUPS 828058 WITH SCORE 830168.816
AT ITER 3599 NEW BEST:: SOT 6247882 SOS 2110396 HAS SOPS 2110396 HAS SOUS 828058 HAS SOUPS 828058 WITH SCORE 830168.396
AT ITER 3612 NEW BEST:: SOT 6247644 SOS 2109920 HAS SOPS 2109920 HAS SOUS 827786 HAS SOUPS 827786 WITH SCORE 829895.92
AT ITER 3646 NEW BEST:: SOT 6247581 SOS 2109202 HAS SOPS 2109202 HAS SOUS 827446 HAS SOUPS 827446 WITH SCORE 829555.202
AT ITER 3652 NEW BEST:: SOT 6247581 SOS 2108682 HAS SOPS 2108682 HAS SOUS 827316 HAS SOUPS 827316 WITH SCORE 829424.682
AT ITER 3674 NEW BEST:: SOT 6247581 SOS 2108538 HAS SOPS 2108538 HAS SOUS 827280 HAS SOUPS 827280 WITH SCORE 829388.538
AT ITER 3676 NEW BEST:: SOT 6247329 SOS 2108286 HAS SOPS 2108286 HAS SOUS 827028 HAS SOUPS 827028 WITH SCORE 829136.286
AT ITER 3688 NEW BEST:: SOT 6246790 SOS 2106704 HAS SOPS 2106704 HAS SOUS 826274 HAS SOUPS 826274 WITH SCORE 828380.704
AT ITER 3702 NEW BEST:: SOT 6246790 SOS 2106376 HAS SOPS 2106376 HAS SOUS 826192 HAS SOUPS 826192 WITH SCORE 828298.376
AT ITER 3728 NEW BEST:: SOT 6246328 SOS 2105970 HAS SOPS 2105970 HAS SOUS 826178 HAS SOUPS 826178 WITH SCORE 828283.97
AT ITER 3745 NEW BEST:: SOT 6246328 SOS 2105207 HAS SOPS 2105207 HAS SOUS 826069 HAS SOUPS 826069 WITH SCORE 828174.207
AT ITER 3748 NEW BEST:: SOT 6246312 SOS 2105191 HAS SOPS 2105191 HAS SOUS 826053 HAS SOUPS 826053 WITH SCORE 828158.191
AT ITER 3750 NEW BEST:: SOT 6246308 SOS 2105159 HAS SOPS 2105159 HAS SOUS 826045 HAS SOUPS 826045 WITH SCORE 828150.159
AT ITER 3765 NEW BEST:: SOT 6246308 SOS 2103687 HAS SOPS 2103687 HAS SOUS 825869 HAS SOUPS 825869 WITH SCORE 827972.687
AT ITER 3775 NEW BEST:: SOT 6246308 SOS 2104311 HAS SOPS 2104311 HAS SOUS 825158 HAS SOUPS 825158 WITH SCORE 827262.311
AT ITER 3787 NEW BEST:: SOT 6245354 SOS 2103277 HAS SOPS 2103277 HAS SOUS 824184 HAS SOUPS 824184 WITH SCORE 826287.277
AT ITER 3790 NEW BEST:: SOT 6245281 SOS 2103204 HAS SOPS 2103204 HAS SOUS 824002 HAS SOUPS 824002 WITH SCORE 826105.204
AT ITER 3814 NEW BEST:: SOT 6244175 SOS 2100926 HAS SOPS 2100926 HAS SOUS 822738 HAS SOUPS 822738 WITH SCORE 824838.926
AT ITER 3820 NEW BEST:: SOT 6244252 SOS 2100923 HAS SOPS 2100923 HAS SOUS 821685 HAS SOUPS 821685 WITH SCORE 823785.923
AT ITER 3823 NEW BEST:: SOT 6244252 SOS 2100923 HAS SOPS 2100923 HAS SOUS 821517 HAS SOUPS 821517 WITH SCORE 823617.923
AT ITER 3825 NEW BEST:: SOT 6243370 SOS 2099915 HAS SOPS 2099915 HAS SOUS 820119 HAS SOUPS 820119 WITH SCORE 822218.915
AT ITER 3828 NEW BEST:: SOT 6242789 SOS 2099251 HAS SOPS 2099251 HAS SOUS 818957 HAS SOUPS 818957 WITH SCORE 821056.251
AT ITER 3845 NEW BEST:: SOT 6242729 SOS 2099191 HAS SOPS 2099191 HAS SOUS 818897 HAS SOUPS 818897 WITH SCORE 820996.191
AT ITER 3852 NEW BEST:: SOT 6242623 SOS 2099085 HAS SOPS 2099085 HAS SOUS 818867 HAS SOUPS 818867 WITH SCORE 820966.085
AT ITER 3864 NEW BEST:: SOT 6242353 SOS 2099039 HAS SOPS 2099039 HAS SOUS 818629 HAS SOUPS 818629 WITH SCORE 820728.039
AT ITER 3865 NEW BEST:: SOT 6242353 SOS 2097623 HAS SOPS 2097623 HAS SOUS 818275 HAS SOUPS 818275 WITH SCORE 820372.623
AT ITER 3868 NEW BEST:: SOT 6242353 SOS 2096647 HAS SOPS 2096647 HAS SOUS 818031 HAS SOUPS 818031 WITH SCORE 820127.647
AT ITER 3870 NEW BEST:: SOT 6242353 SOS 2096596 HAS SOPS 2096596 HAS SOUS 817674 HAS SOUPS 817674 WITH SCORE 819770.596
AT ITER 3893 NEW BEST:: SOT 6242263 SOS 2096416 HAS SOPS 2096416 HAS SOUS 817074 HAS SOUPS 817074 WITH SCORE 819170.416
AT ITER 3922 NEW BEST:: SOT 6242310 SOS 2096463 HAS SOPS 2096463 HAS SOUS 817072 HAS SOUPS 817072 WITH SCORE 819168.463
AT ITER 3933 NEW BEST:: SOT 6242093 SOS 2096029 HAS SOPS 2096029 HAS SOUS 816824 HAS SOUPS 816824 WITH SCORE 818920.029
AT ITER 3945 NEW BEST:: SOT 6242093 SOS 2095533 HAS SOPS 2095533 HAS SOUS 816700 HAS SOUPS 816700 WITH SCORE 818795.533
AT ITER 3952 NEW BEST:: SOT 6242079 SOS 2095505 HAS SOPS 2095505 HAS SOUS 816684 HAS SOUPS 816684 WITH SCORE 818779.505
AT ITER 3953 NEW BEST:: SOT 6242144 SOS 2095570 HAS SOPS 2095570 HAS SOUS 816589 HAS SOUPS 816589 WITH SCORE 818684.57
AT ITER 4015 NEW BEST:: SOT 6241995 SOS 2094378 HAS SOPS 2094378 HAS SOUS 816291 HAS SOUPS 816291 WITH SCORE 818385.378
AT ITER 4025 NEW BEST:: SOT 6241874 SOS 2094136 HAS SOPS 2094136 HAS SOUS 815953 HAS SOUPS 815953 WITH SCORE 818047.136
AT ITER 4029 NEW BEST:: SOT 6241706 SOS 2092912 HAS SOPS 2092912 HAS SOUS 815503 HAS SOUPS 815503 WITH SCORE 817595.912
AT ITER 4039 NEW BEST:: SOT 6241706 SOS 2090768 HAS SOPS 2090768 HAS SOUS 814967 HAS SOUPS 814967 WITH SCORE 817057.768
AT ITER 4072 NEW BEST:: SOT 6241706 SOS 2091726 HAS SOPS 2091726 HAS SOUS 814845 HAS SOUPS 814845 WITH SCORE 816936.726
AT ITER 4079 NEW BEST:: SOT 6241706 SOS 2091726 HAS SOPS 2091726 HAS SOUS 814537 HAS SOUPS 814537 WITH SCORE 816628.726
AT ITER 4088 NEW BEST:: SOT 6241562 SOS 2090430 HAS SOPS 2090430 HAS SOUS 814105 HAS SOUPS 814105 WITH SCORE 816195.43
AT ITER 4112 NEW BEST:: SOT 6241411 SOS 2090164 HAS SOPS 2090164 HAS SOUS 813803 HAS SOUPS 813803 WITH SCORE 815893.164
AT ITER 4115 NEW BEST:: SOT 6241887 SOS 2090522 HAS SOPS 2090522 HAS SOUS 813373 HAS SOUPS 813373 WITH SCORE 815463.522
AT ITER 4116 NEW BEST:: SOT 6241887 SOS 2091326 HAS SOPS 2091326 HAS SOUS 813121 HAS SOUPS 813121 WITH SCORE 815212.326
AT ITER 4128 NEW BEST:: SOT 6240711 SOS 2088854 HAS SOPS 2088854 HAS SOUS 811993 HAS SOUPS 811993 WITH SCORE 814081.854
AT ITER 4131 NEW BEST:: SOT 6240480 SOS 2088670 HAS SOPS 2088670 HAS SOUS 811809 HAS SOUPS 811809 WITH SCORE 813897.67
AT ITER 4137 NEW BEST:: SOT 6240324 SOS 2089368 HAS SOPS 2089368 HAS SOUS 811775 HAS SOUPS 811775 WITH SCORE 813864.368
AT ITER 4140 NEW BEST:: SOT 6240177 SOS 2088192 HAS SOPS 2088192 HAS SOUS 811481 HAS SOUPS 811481 WITH SCORE 813569.192
AT ITER 4153 NEW BEST:: SOT 6240177 SOS 2088192 HAS SOPS 2088192 HAS SOUS 811332 HAS SOUPS 811332 WITH SCORE 813420.192
AT ITER 4162 NEW BEST:: SOT 6240177 SOS 2088456 HAS SOPS 2088456 HAS SOUS 811024 HAS SOUPS 811024 WITH SCORE 813112.456
AT ITER 4190 NEW BEST:: SOT 6239582 SOS 2087776 HAS SOPS 2087776 HAS SOUS 809834 HAS SOUPS 809834 WITH SCORE 811921.776
AT ITER 4194 NEW BEST:: SOT 6239582 SOS 2087776 HAS SOPS 2087776 HAS SOUS 809636 HAS SOUPS 809636 WITH SCORE 811723.776
AT ITER 4203 NEW BEST:: SOT 6239582 SOS 2087762 HAS SOPS 2087762 HAS SOUS 809622 HAS SOUPS 809622 WITH SCORE 811709.762
AT ITER 4206 NEW BEST:: SOT 6239576 SOS 2087714 HAS SOPS 2087714 HAS SOUS 809610 HAS SOUPS 809610 WITH SCORE 811697.714
AT ITER 4246 NEW BEST:: SOT 6239676 SOS 2086596 HAS SOPS 2086596 HAS SOUS 809536 HAS SOUPS 809536 WITH SCORE 811622.596
AT ITER 4277 NEW BEST:: SOT 6239536 SOS 2086436 HAS SOPS 2086436 HAS SOUS 809236 HAS SOUPS 809236 WITH SCORE 811322.436
AT ITER 4297 NEW BEST:: SOT 6239498 SOS 2086360 HAS SOPS 2086360 HAS SOUS 809160 HAS SOUPS 809160 WITH SCORE 811246.36
AT ITER 4299 NEW BEST:: SOT 6238844 SOS 2085706 HAS SOPS 2085706 HAS SOUS 808506 HAS SOUPS 808506 WITH SCORE 810591.706
AT ITER 4323 NEW BEST:: SOT 6238784 SOS 2085682 HAS SOPS 2085682 HAS SOUS 808502 HAS SOUPS 808502 WITH SCORE 810587.682
AT ITER 4325 NEW BEST:: SOT 6238784 SOS 2085448 HAS SOPS 2085448 HAS SOUS 808268 HAS SOUPS 808268 WITH SCORE 810353.448
AT ITER 4326 NEW BEST:: SOT 6236943 SOS 2083607 HAS SOPS 2083607 HAS SOUS 806427 HAS SOUPS 806427 WITH SCORE 808510.607
AT ITER 4352 NEW BEST:: SOT 6236783 SOS 2083447 HAS SOPS 2083447 HAS SOUS 806329 HAS SOUPS 806329 WITH SCORE 808412.447
AT ITER 4376 NEW BEST:: SOT 6236773 SOS 2083437 HAS SOPS 2083437 HAS SOUS 806329 HAS SOUPS 806329 WITH SCORE 808412.437
AT ITER 4396 NEW BEST:: SOT 6237662 SOS 2084256 HAS SOPS 2084256 HAS SOUS 806116 HAS SOUPS 806116 WITH SCORE 808200.256
AT ITER 4409 NEW BEST:: SOT 6237642 SOS 2084216 HAS SOPS 2084216 HAS SOUS 806076 HAS SOUPS 806076 WITH SCORE 808160.216
AT ITER 4415 NEW BEST:: SOT 6237642 SOS 2084444 HAS SOPS 2084444 HAS SOUS 805833 HAS SOUPS 805833 WITH SCORE 807917.444
AT ITER 4430 NEW BEST:: SOT 6237489 SOS 2084138 HAS SOPS 2084138 HAS SOUS 805383 HAS SOUPS 805383 WITH SCORE 807467.138
AT ITER 4439 NEW BEST:: SOT 6237171 SOS 2083820 HAS SOPS 2083820 HAS SOUS 805065 HAS SOUPS 805065 WITH SCORE 807148.82
AT ITER 4444 NEW BEST:: SOT 6235281 SOS 2081666 HAS SOPS 2081666 HAS SOUS 803271 HAS SOUPS 803271 WITH SCORE 805352.666
AT ITER 4447 NEW BEST:: SOT 6233517 SOS 2078842 HAS SOPS 2078842 HAS SOUS 801323 HAS SOUPS 801323 WITH SCORE 803401.842
AT ITER 4525 NEW BEST:: SOT 6233328 SOS 2078626 HAS SOPS 2078626 HAS SOUS 801043 HAS SOUPS 801043 WITH SCORE 803121.626
AT ITER 4527 NEW BEST:: SOT 6232278 SOS 2076298 HAS SOPS 2076298 HAS SOUS 800086 HAS SOUPS 800086 WITH SCORE 802162.298
AT ITER 4555 NEW BEST:: SOT 6232172 SOS 2075344 HAS SOPS 2075344 HAS SOUS 799768 HAS SOUPS 799768 WITH SCORE 801843.344
AT ITER 4556 NEW BEST:: SOT 6231451 SOS 2073799 HAS SOPS 2073799 HAS SOUS 798841 HAS SOUPS 798841 WITH SCORE 800914.799
AT ITER 4567 NEW BEST:: SOT 6231363 SOS 2073751 HAS SOPS 2073751 HAS SOUS 798649 HAS SOUPS 798649 WITH SCORE 800722.751
AT ITER 4607 NEW BEST:: SOT 6231902 SOS 2075418 HAS SOPS 2075418 HAS SOUS 798292 HAS SOUPS 798292 WITH SCORE 800367.418
AT ITER 4619 NEW BEST:: SOT 6231855 SOS 2075371 HAS SOPS 2075371 HAS SOUS 798292 HAS SOUPS 798292 WITH SCORE 800367.371
AT ITER 4629 NEW BEST:: SOT 6231687 SOS 2075203 HAS SOPS 2075203 HAS SOUS 798124 HAS SOUPS 798124 WITH SCORE 800199.203
AT ITER 4658 NEW BEST:: SOT 6231029 SOS 2073887 HAS SOPS 2073887 HAS SOUS 797372 HAS SOUPS 797372 WITH SCORE 799445.887
AT ITER 4672 NEW BEST:: SOT 6230741 SOS 2073599 HAS SOPS 2073599 HAS SOUS 797084 HAS SOUPS 797084 WITH SCORE 799157.599
AT ITER 4675 NEW BEST:: SOT 6231348 SOS 2074422 HAS SOPS 2074422 HAS SOUS 796739 HAS SOUPS 796739 WITH SCORE 798813.422
AT ITER 4678 NEW BEST:: SOT 6231348 SOS 2074359 HAS SOPS 2074359 HAS SOUS 796676 HAS SOUPS 796676 WITH SCORE 798750.359
AT ITER 4683 NEW BEST:: SOT 6231338 SOS 2074333 HAS SOPS 2074333 HAS SOUS 796662 HAS SOUPS 796662 WITH SCORE 798736.333
AT ITER 4704 NEW BEST:: SOT 6230364 SOS 2072385 HAS SOPS 2072385 HAS SOUS 796476 HAS SOUPS 796476 WITH SCORE 798548.385
AT ITER 4708 NEW BEST:: SOT 6229937 SOS 2071513 HAS SOPS 2071513 HAS SOUS 795988 HAS SOUPS 795988 WITH SCORE 798059.513
AT ITER 4719 NEW BEST:: SOT 6228469 SOS 2069105 HAS SOPS 2069105 HAS SOUS 795214 HAS SOUPS 795214 WITH SCORE 797283.105
AT ITER 4738 NEW BEST:: SOT 6228469 SOS 2069105 HAS SOPS 2069105 HAS SOUS 795169 HAS SOUPS 795169 WITH SCORE 797238.105
AT ITER 4790 NEW BEST:: SOT 6227951 SOS 2068587 HAS SOPS 2068587 HAS SOUS 794651 HAS SOUPS 794651 WITH SCORE 796719.587
AT ITER 4818 NEW BEST:: SOT 6227614 SOS 2066090 HAS SOPS 2066090 HAS SOUS 793774 HAS SOUPS 793774 WITH SCORE 795840.09
AT ITER 4820 NEW BEST:: SOT 6226858 SOS 2065226 HAS SOPS 2065226 HAS SOUS 792154 HAS SOUPS 792154 WITH SCORE 794219.226
AT ITER 4821 NEW BEST:: SOT 6226858 SOS 2065226 HAS SOPS 2065226 HAS SOUS 792149 HAS SOUPS 792149 WITH SCORE 794214.226
AT ITER 4834 NEW BEST:: SOT 6226723 SOS 2065091 HAS SOPS 2065091 HAS SOUS 792149 HAS SOUPS 792149 WITH SCORE 794214.091
AT ITER 4842 NEW BEST:: SOT 6226703 SOS 2064931 HAS SOPS 2064931 HAS SOUS 792109 HAS SOUPS 792109 WITH SCORE 794173.931
AT ITER 4844 NEW BEST:: SOT 6226126 SOS 2063345 HAS SOPS 2063345 HAS SOUS 791237 HAS SOUPS 791237 WITH SCORE 793300.345
AT ITER 4856 NEW BEST:: SOT 6226126 SOS 2063345 HAS SOPS 2063345 HAS SOUS 791037 HAS SOUPS 791037 WITH SCORE 793100.345
AT ITER 4860 NEW BEST:: SOT 6225981 SOS 2062040 HAS SOPS 2062040 HAS SOUS 790602 HAS SOUPS 790602 WITH SCORE 792664.04
AT ITER 4885 NEW BEST:: SOT 6225981 SOS 2061728 HAS SOPS 2061728 HAS SOUS 790524 HAS SOUPS 790524 WITH SCORE 792585.728
AT ITER 4890 NEW BEST:: SOT 6225981 SOS 2061920 HAS SOPS 2061920 HAS SOUS 790303 HAS SOUPS 790303 WITH SCORE 792364.92
AT ITER 4950 NEW BEST:: SOT 6225946 SOS 2061772 HAS SOPS 2061772 HAS SOUS 790155 HAS SOUPS 790155 WITH SCORE 792216.772
AT ITER 4961 NEW BEST:: SOT 6226373 SOS 2064577 HAS SOPS 2064577 HAS SOUS 789859 HAS SOUPS 789859 WITH SCORE 791923.577
AT ITER 4972 NEW BEST:: SOT 6226373 SOS 2063702 HAS SOPS 2063702 HAS SOUS 789734 HAS SOUPS 789734 WITH SCORE 791797.702
AT ITER 4996 NEW BEST:: SOT 6225652 SOS 2062260 HAS SOPS 2062260 HAS SOUS 788910 HAS SOUPS 788910 WITH SCORE 790972.26
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-00 ( (EX( ( (! potential( ( 1 ) <= (tk(P379)) )) & (! potential( ( 2 ) <= (tk(P1738)) )) ))) | (EF((EG( potential( ( 3 ) <= (tk(P842)) ))))) )
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-01 (EF((EG( (! potential( (tk(P1263)) <= (tk(P1796)) ))))))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-02 (EF(( (EG( potential( ( 1 ) <= (tk(P1466)) ))) & potential( (tk(P428)) <= (tk(P531)) ) )))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-03 (AU( (EF(potential( (tk(P1164)) <= (tk(P1658)) ))),(AX( potential( (tk(P318)) <= (tk(P1912)) ))) ))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-04 ( (! ( (! (! potential( (tk(P973)) <= (tk(P447)) ))) & (EG( potential( (tk(P1218)) <= (tk(P310)) ))) )) | (AU( (! potential( (tk(P1449)) <= (tk(P1064)) )),( potential( ( 3 ) <= (tk(P1127)) ) & potential( (tk(P338)) <= (tk(P484)) ) ) )) )
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-05 (AG( (AX( ( potential( ( 2 ) <= (tk(P765)) ) | potential( (tk(P1756)) <= (tk(P107)) ) )))))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-06 (AF(( (EX( potential( (tk(P911)) <= (tk(P1360)) ))) & (AX( potential( (tk(P1712)) <= (tk(P1431)) ))) )))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-07 (AF(potential( (tk(P460)) <= (tk(P1190)) )))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-08 (! ( potential( ( 3 ) <= (tk(P1490)) ) | (AF((! potential( (tk(P1471)) <= (tk(P875)) )))) ))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-09 (! (AF((! ( potential( ( 2 ) <= (tk(P1034)) ) | potential( ( 1 ) <= (tk(P1159)) ) )))))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-10 (! ( (AF(potential( (tk(P656)) <= (tk(P1553)) ))) & (AG( ( potential( ( 2 ) <= (tk(P708)) ) | potential( (tk(P1042)) <= (tk(P582)) ) ))) ))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-11 ( ( (! (! ( potential( ( 3 ) <= (tk(P179)) ) & potential( ( 2 ) <= (tk(P244)) ) ))) & ( (EX( potential( (tk(P77)) <= (tk(P801)) ))) & (AG( potential( ( 1 ) <= (tk(P433)) ))) ) ) | (EX( (EG( potential( ( 1 ) <= (tk(P222)) ))))) )
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-12 ( (EU( potential( ( 2 ) <= (tk(P120)) ),(! potential( (tk(P1969)) <= (tk(P82)) )) )) & (EG( ( ( potential( ( 1 ) <= (tk(P1787)) ) & potential( (tk(P782)) <= (tk(P1018)) ) ) & ( potential( (tk(P1055)) <= (tk(P838)) ) | potential( ( 1 ) <= (tk(P278)) ) ) ))) )
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-13 ( (! (AG( ( potential( (tk(P1327)) <= (tk(P436)) ) | potential( (tk(P1184)) <= (tk(P186)) ) )))) | (AX( (EF(potential( ( 2 ) <= (tk(P1520)) ))))) )
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-14 ( (AG( (AX( potential( (tk(P949)) <= (tk(P322)) ))))) & (AU( ( potential( ( 1 ) <= (tk(P1762)) ) | potential( (tk(P1637)) <= (tk(P508)) ) ),(! potential( ( 2 ) <= (tk(P50)) )) )) )
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLCardinality-15 ( (AG( (AF(potential( (tk(P1767)) <= (tk(P664)) ))))) & ( (EU( potential( (tk(P703)) <= (tk(P505)) ),potential( (tk(P1659)) <= (tk(P584)) ) )) | ( ( potential( ( 1 ) <= (tk(P993)) ) | (! potential( ( 1 ) <= (tk(P474)) )) ) & potential( (tk(P1023)) <= (tk(P1142)) ) ) ) )

BK_STOP 1589616049738

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

/home/mcc/BenchKit/bin/smart.sh: line 117: 465 Segmentation fault ${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="HypertorusGrid-PT-d4k3p2b08"
export BK_EXAMINATION="CTLCardinality"
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 CTLCardinality"
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-158940140400307"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;