About the Execution of smart for HypertorusGrid-PT-d4k3p2b08
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15797.160 | 2381997.00 | 2382020.00 | 0.00 | [undef] | Cannot compute |
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-158940140400308.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140400308
=====================================================================
--------------------
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-CTLFireability-00
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLFireability-01
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLFireability-02
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLFireability-03
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLFireability-04
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLFireability-05
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLFireability-06
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLFireability-07
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLFireability-08
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLFireability-09
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLFireability-10
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLFireability-11
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLFireability-12
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLFireability-13
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLFireability-14
FORMULA_NAME HypertorusGrid-PT-d4k3p2b08-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589613975096
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypertorusGrid (PT), instance d4k3p2b08
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 3 NEW BEST:: SOT 6318764 SOS 2283724 HAS SOPS 2283724 HAS SOUS 951951 HAS SOUPS 951951 WITH SCORE 954234.724
AT ITER 9 NEW BEST:: SOT 6318820 SOS 2283574 HAS SOPS 2283574 HAS SOUS 951537 HAS SOUPS 951537 WITH SCORE 953820.574
AT ITER 31 NEW BEST:: SOT 6318791 SOS 2283396 HAS SOPS 2283396 HAS SOUS 951388 HAS SOUPS 951388 WITH SCORE 953671.396
AT ITER 34 NEW BEST:: SOT 6318791 SOS 2282244 HAS SOPS 2282244 HAS SOUS 951100 HAS SOUPS 951100 WITH SCORE 953382.244
AT ITER 45 NEW BEST:: SOT 6318706 SOS 2282159 HAS SOPS 2282159 HAS SOUS 951015 HAS SOUPS 951015 WITH SCORE 953297.159
AT ITER 55 NEW BEST:: SOT 6318442 SOS 2281895 HAS SOPS 2281895 HAS SOUS 950751 HAS SOUPS 950751 WITH SCORE 953032.895
AT ITER 78 NEW BEST:: SOT 6318292 SOS 2281205 HAS SOPS 2281205 HAS SOUS 950741 HAS SOUPS 950741 WITH SCORE 953022.205
AT ITER 84 NEW BEST:: SOT 6317438 SOS 2280229 HAS SOPS 2280229 HAS SOUS 949537 HAS SOUPS 949537 WITH SCORE 951817.229
AT ITER 86 NEW BEST:: SOT 6317438 SOS 2280229 HAS SOPS 2280229 HAS SOUS 949422 HAS SOUPS 949422 WITH SCORE 951702.229
AT ITER 120 NEW BEST:: SOT 6317511 SOS 2280302 HAS SOPS 2280302 HAS SOUS 949321 HAS SOUPS 949321 WITH SCORE 951601.302
AT ITER 127 NEW BEST:: SOT 6317511 SOS 2279958 HAS SOPS 2279958 HAS SOUS 949235 HAS SOUPS 949235 WITH SCORE 951514.958
AT ITER 130 NEW BEST:: SOT 6317596 SOS 2278833 HAS SOPS 2278833 HAS SOUS 949220 HAS SOUPS 949220 WITH SCORE 951498.833
AT ITER 133 NEW BEST:: SOT 6317326 SOS 2276557 HAS SOPS 2276557 HAS SOUS 948432 HAS SOUPS 948432 WITH SCORE 950708.557
AT ITER 137 NEW BEST:: SOT 6315856 SOS 2274877 HAS SOPS 2274877 HAS SOUS 946896 HAS SOUPS 946896 WITH SCORE 949170.877
AT ITER 141 NEW BEST:: SOT 6317119 SOS 2277403 HAS SOPS 2277403 HAS SOUS 946596 HAS SOUPS 946596 WITH SCORE 948873.403
AT ITER 205 NEW BEST:: SOT 6317119 SOS 2278292 HAS SOPS 2278292 HAS SOUS 946327 HAS SOUPS 946327 WITH SCORE 948605.292
AT ITER 206 NEW BEST:: SOT 6317119 SOS 2278292 HAS SOPS 2278292 HAS SOUS 946147 HAS SOUPS 946147 WITH SCORE 948425.292
AT ITER 208 NEW BEST:: SOT 6315376 SOS 2276300 HAS SOPS 2276300 HAS SOUS 944083 HAS SOUPS 944083 WITH SCORE 946359.3
AT ITER 213 NEW BEST:: SOT 6313954 SOS 2274878 HAS SOPS 2274878 HAS SOUS 942661 HAS SOUPS 942661 WITH SCORE 944935.878
AT ITER 214 NEW BEST:: SOT 6313954 SOS 2274878 HAS SOPS 2274878 HAS SOUS 942601 HAS SOUPS 942601 WITH SCORE 944875.878
AT ITER 224 NEW BEST:: SOT 6313954 SOS 2274695 HAS SOPS 2274695 HAS SOUS 942418 HAS SOUPS 942418 WITH SCORE 944692.695
AT ITER 242 NEW BEST:: SOT 6313954 SOS 2274429 HAS SOPS 2274429 HAS SOUS 941526 HAS SOUPS 941526 WITH SCORE 943800.429
AT ITER 245 NEW BEST:: SOT 6313819 SOS 2274159 HAS SOPS 2274159 HAS SOUS 940854 HAS SOUPS 940854 WITH SCORE 943128.159
AT ITER 255 NEW BEST:: SOT 6313819 SOS 2274999 HAS SOPS 2274999 HAS SOUS 940578 HAS SOUPS 940578 WITH SCORE 942852.999
AT ITER 262 NEW BEST:: SOT 6312643 SOS 2272580 HAS SOPS 2272580 HAS SOUS 939854 HAS SOUPS 939854 WITH SCORE 942126.58
AT ITER 266 NEW BEST:: SOT 6311510 SOS 2270314 HAS SOPS 2270314 HAS SOUS 938596 HAS SOUPS 938596 WITH SCORE 940866.314
AT ITER 284 NEW BEST:: SOT 6309683 SOS 2266660 HAS SOPS 2266660 HAS SOUS 937003 HAS SOUPS 937003 WITH SCORE 939269.66
AT ITER 290 NEW BEST:: SOT 6309683 SOS 2266411 HAS SOPS 2266411 HAS SOUS 935796 HAS SOUPS 935796 WITH SCORE 938062.411
AT ITER 309 NEW BEST:: SOT 6309540 SOS 2265267 HAS SOPS 2265267 HAS SOUS 935510 HAS SOUPS 935510 WITH SCORE 937775.267
AT ITER 355 NEW BEST:: SOT 6309372 SOS 2264231 HAS SOPS 2264231 HAS SOUS 935074 HAS SOUPS 935074 WITH SCORE 937338.231
AT ITER 372 NEW BEST:: SOT 6307513 SOS 2260513 HAS SOPS 2260513 HAS SOUS 933193 HAS SOUPS 933193 WITH SCORE 935453.513
AT ITER 373 NEW BEST:: SOT 6306421 SOS 2258292 HAS SOPS 2258292 HAS SOUS 932675 HAS SOUPS 932675 WITH SCORE 934933.292
AT ITER 384 NEW BEST:: SOT 6305385 SOS 2257108 HAS SOPS 2257108 HAS SOUS 930420 HAS SOUPS 930420 WITH SCORE 932677.108
AT ITER 387 NEW BEST:: SOT 6303554 SOS 2253446 HAS SOPS 2253446 HAS SOUS 928791 HAS SOUPS 928791 WITH SCORE 931044.446
AT ITER 394 NEW BEST:: SOT 6303603 SOS 2253383 HAS SOPS 2253383 HAS SOUS 928686 HAS SOUPS 928686 WITH SCORE 930939.383
AT ITER 398 NEW BEST:: SOT 6303453 SOS 2252033 HAS SOPS 2252033 HAS SOUS 928236 HAS SOUPS 928236 WITH SCORE 930488.033
AT ITER 399 NEW BEST:: SOT 6303453 SOS 2252033 HAS SOPS 2252033 HAS SOUS 928214 HAS SOUPS 928214 WITH SCORE 930466.033
AT ITER 400 NEW BEST:: SOT 6303453 SOS 2250983 HAS SOPS 2250983 HAS SOUS 928064 HAS SOUPS 928064 WITH SCORE 930314.983
AT ITER 407 NEW BEST:: SOT 6303453 SOS 2250983 HAS SOPS 2250983 HAS SOUS 927968 HAS SOUPS 927968 WITH SCORE 930218.983
AT ITER 417 NEW BEST:: SOT 6303327 SOS 2250857 HAS SOPS 2250857 HAS SOUS 927842 HAS SOUPS 927842 WITH SCORE 930092.857
AT ITER 419 NEW BEST:: SOT 6303327 SOS 2250031 HAS SOPS 2250031 HAS SOUS 927724 HAS SOUPS 927724 WITH SCORE 929974.031
AT ITER 421 NEW BEST:: SOT 6302188 SOS 2247753 HAS SOPS 2247753 HAS SOUS 926676 HAS SOUPS 926676 WITH SCORE 928923.753
AT ITER 425 NEW BEST:: SOT 6302031 SOS 2246497 HAS SOPS 2246497 HAS SOUS 926362 HAS SOUPS 926362 WITH SCORE 928608.497
AT ITER 432 NEW BEST:: SOT 6301401 SOS 2245237 HAS SOPS 2245237 HAS SOUS 925642 HAS SOUPS 925642 WITH SCORE 927887.237
AT ITER 447 NEW BEST:: SOT 6301401 SOS 2245157 HAS SOPS 2245157 HAS SOUS 925622 HAS SOUPS 925622 WITH SCORE 927867.157
AT ITER 455 NEW BEST:: SOT 6301432 SOS 2244260 HAS SOPS 2244260 HAS SOUS 925547 HAS SOUPS 925547 WITH SCORE 927791.26
AT ITER 457 NEW BEST:: SOT 6301306 SOS 2244134 HAS SOPS 2244134 HAS SOUS 925519 HAS SOUPS 925519 WITH SCORE 927763.134
AT ITER 476 NEW BEST:: SOT 6300260 SOS 2242042 HAS SOPS 2242042 HAS SOUS 924639 HAS SOUPS 924639 WITH SCORE 926881.042
AT ITER 501 NEW BEST:: SOT 6300118 SOS 2241900 HAS SOPS 2241900 HAS SOUS 924497 HAS SOUPS 924497 WITH SCORE 926738.9
AT ITER 514 NEW BEST:: SOT 6300118 SOS 2240700 HAS SOPS 2240700 HAS SOUS 924197 HAS SOUPS 924197 WITH SCORE 926437.7
AT ITER 543 NEW BEST:: SOT 6300087 SOS 2240387 HAS SOPS 2240387 HAS SOUS 924070 HAS SOUPS 924070 WITH SCORE 926310.387
AT ITER 552 NEW BEST:: SOT 6299968 SOS 2240149 HAS SOPS 2240149 HAS SOUS 923832 HAS SOUPS 923832 WITH SCORE 926072.149
AT ITER 568 NEW BEST:: SOT 6299737 SOS 2239885 HAS SOPS 2239885 HAS SOUS 923766 HAS SOUPS 923766 WITH SCORE 926005.885
AT ITER 588 NEW BEST:: SOT 6298274 SOS 2236750 HAS SOPS 2236750 HAS SOUS 921885 HAS SOUPS 921885 WITH SCORE 924121.75
AT ITER 591 NEW BEST:: SOT 6297651 SOS 2235504 HAS SOPS 2235504 HAS SOUS 921173 HAS SOUPS 921173 WITH SCORE 923408.504
AT ITER 628 NEW BEST:: SOT 6297548 SOS 2235401 HAS SOPS 2235401 HAS SOUS 921005 HAS SOUPS 921005 WITH SCORE 923240.401
AT ITER 630 NEW BEST:: SOT 6297521 SOS 2235374 HAS SOPS 2235374 HAS SOUS 920978 HAS SOUPS 920978 WITH SCORE 923213.374
AT ITER 673 NEW BEST:: SOT 6298515 SOS 2239394 HAS SOPS 2239394 HAS SOUS 920669 HAS SOUPS 920669 WITH SCORE 922908.394
AT ITER 676 NEW BEST:: SOT 6297591 SOS 2237438 HAS SOPS 2237438 HAS SOUS 919889 HAS SOUPS 919889 WITH SCORE 922126.438
AT ITER 684 NEW BEST:: SOT 6297346 SOS 2237193 HAS SOPS 2237193 HAS SOUS 919644 HAS SOUPS 919644 WITH SCORE 921881.193
AT ITER 695 NEW BEST:: SOT 6297346 SOS 2236233 HAS SOPS 2236233 HAS SOUS 919404 HAS SOUPS 919404 WITH SCORE 921640.233
AT ITER 698 NEW BEST:: SOT 6297119 SOS 2234417 HAS SOPS 2234417 HAS SOUS 918950 HAS SOUPS 918950 WITH SCORE 921184.417
AT ITER 703 NEW BEST:: SOT 6296440 SOS 2233641 HAS SOPS 2233641 HAS SOUS 917628 HAS SOUPS 917628 WITH SCORE 919861.641
AT ITER 717 NEW BEST:: SOT 6296440 SOS 2234299 HAS SOPS 2234299 HAS SOUS 917117 HAS SOUPS 917117 WITH SCORE 919351.299
AT ITER 734 NEW BEST:: SOT 6296170 SOS 2233346 HAS SOPS 2233346 HAS SOUS 916518 HAS SOUPS 916518 WITH SCORE 918751.346
AT ITER 741 NEW BEST:: SOT 6296020 SOS 2232146 HAS SOPS 2232146 HAS SOUS 916218 HAS SOUPS 916218 WITH SCORE 918450.146
AT ITER 745 NEW BEST:: SOT 6295849 SOS 2231975 HAS SOPS 2231975 HAS SOUS 916047 HAS SOUPS 916047 WITH SCORE 918278.975
AT ITER 753 NEW BEST:: SOT 6293959 SOS 2228017 HAS SOPS 2228017 HAS SOUS 914320 HAS SOUPS 914320 WITH SCORE 916548.017
AT ITER 774 NEW BEST:: SOT 6293875 SOS 2227933 HAS SOPS 2227933 HAS SOUS 914320 HAS SOUPS 914320 WITH SCORE 916547.933
AT ITER 778 NEW BEST:: SOT 6292741 SOS 2226637 HAS SOPS 2226637 HAS SOUS 913024 HAS SOUPS 913024 WITH SCORE 915250.637
AT ITER 782 NEW BEST:: SOT 6292494 SOS 2224414 HAS SOPS 2224414 HAS SOUS 912283 HAS SOUPS 912283 WITH SCORE 914507.414
AT ITER 786 NEW BEST:: SOT 6291822 SOS 2223646 HAS SOPS 2223646 HAS SOUS 912196 HAS SOUPS 912196 WITH SCORE 914419.646
AT ITER 812 NEW BEST:: SOT 6291822 SOS 2224346 HAS SOPS 2224346 HAS SOUS 911596 HAS SOUPS 911596 WITH SCORE 913820.346
AT ITER 826 NEW BEST:: SOT 6291822 SOS 2223597 HAS SOPS 2223597 HAS SOUS 911489 HAS SOUPS 911489 WITH SCORE 913712.597
AT ITER 838 NEW BEST:: SOT 6291822 SOS 2223597 HAS SOPS 2223597 HAS SOUS 911359 HAS SOUPS 911359 WITH SCORE 913582.597
AT ITER 842 NEW BEST:: SOT 6290471 SOS 2222053 HAS SOPS 2222053 HAS SOUS 909238 HAS SOUPS 909238 WITH SCORE 911460.053
AT ITER 852 NEW BEST:: SOT 6290471 SOS 2222053 HAS SOPS 2222053 HAS SOUS 909170 HAS SOUPS 909170 WITH SCORE 911392.053
AT ITER 866 NEW BEST:: SOT 6290385 SOS 2222451 HAS SOPS 2222451 HAS SOUS 908086 HAS SOUPS 908086 WITH SCORE 910308.451
AT ITER 896 NEW BEST:: SOT 6290385 SOS 2222329 HAS SOPS 2222329 HAS SOUS 907964 HAS SOUPS 907964 WITH SCORE 910186.329
AT ITER 940 NEW BEST:: SOT 6290314 SOS 2222559 HAS SOPS 2222559 HAS SOUS 907274 HAS SOUPS 907274 WITH SCORE 909496.559
AT ITER 947 NEW BEST:: SOT 6290797 SOS 2223525 HAS SOPS 2223525 HAS SOUS 907047 HAS SOUPS 907047 WITH SCORE 909270.525
AT ITER 958 NEW BEST:: SOT 6290398 SOS 2223126 HAS SOPS 2223126 HAS SOUS 906648 HAS SOUPS 906648 WITH SCORE 908871.126
AT ITER 1004 NEW BEST:: SOT 6289334 SOS 2220846 HAS SOPS 2220846 HAS SOUS 905280 HAS SOUPS 905280 WITH SCORE 907500.846
AT ITER 1014 NEW BEST:: SOT 6289334 SOS 2219598 HAS SOPS 2219598 HAS SOUS 904968 HAS SOUPS 904968 WITH SCORE 907187.598
AT ITER 1023 NEW BEST:: SOT 6288291 SOS 2217363 HAS SOPS 2217363 HAS SOUS 903627 HAS SOUPS 903627 WITH SCORE 905844.363
AT ITER 1045 NEW BEST:: SOT 6287115 SOS 2216069 HAS SOPS 2216069 HAS SOUS 902623 HAS SOUPS 902623 WITH SCORE 904839.069
AT ITER 1049 NEW BEST:: SOT 6287115 SOS 2216069 HAS SOPS 2216069 HAS SOUS 902612 HAS SOUPS 902612 WITH SCORE 904828.069
AT ITER 1050 NEW BEST:: SOT 6287056 SOS 2215443 HAS SOPS 2215443 HAS SOUS 902340 HAS SOUPS 902340 WITH SCORE 904555.443
AT ITER 1071 NEW BEST:: SOT 6285880 SOS 2212923 HAS SOPS 2212923 HAS SOUS 900828 HAS SOUPS 900828 WITH SCORE 903040.923
AT ITER 1079 NEW BEST:: SOT 6285880 SOS 2212797 HAS SOPS 2212797 HAS SOUS 900828 HAS SOUPS 900828 WITH SCORE 903040.797
AT ITER 1093 NEW BEST:: SOT 6285040 SOS 2211957 HAS SOPS 2211957 HAS SOUS 899988 HAS SOUPS 899988 WITH SCORE 902199.957
AT ITER 1098 NEW BEST:: SOT 6284186 SOS 2210981 HAS SOPS 2210981 HAS SOUS 899012 HAS SOUPS 899012 WITH SCORE 901222.981
AT ITER 1116 NEW BEST:: SOT 6284186 SOS 2210833 HAS SOPS 2210833 HAS SOUS 898312 HAS SOUPS 898312 WITH SCORE 900522.833
AT ITER 1126 NEW BEST:: SOT 6283353 SOS 2209167 HAS SOPS 2209167 HAS SOUS 897360 HAS SOUPS 897360 WITH SCORE 899569.167
AT ITER 1127 NEW BEST:: SOT 6284315 SOS 2211091 HAS SOPS 2211091 HAS SOUS 897244 HAS SOUPS 897244 WITH SCORE 899455.091
AT ITER 1140 NEW BEST:: SOT 6284917 SOS 2212213 HAS SOPS 2212213 HAS SOUS 896779 HAS SOUPS 896779 WITH SCORE 898991.213
AT ITER 1143 NEW BEST:: SOT 6284917 SOS 2210877 HAS SOPS 2210877 HAS SOUS 896445 HAS SOUPS 896445 WITH SCORE 898655.877
AT ITER 1170 NEW BEST:: SOT 6284917 SOS 2210825 HAS SOPS 2210825 HAS SOUS 896393 HAS SOUPS 896393 WITH SCORE 898603.825
AT ITER 1182 NEW BEST:: SOT 6284917 SOS 2210513 HAS SOPS 2210513 HAS SOUS 896315 HAS SOUPS 896315 WITH SCORE 898525.513
AT ITER 1211 NEW BEST:: SOT 6284881 SOS 2210477 HAS SOPS 2210477 HAS SOUS 896279 HAS SOUPS 896279 WITH SCORE 898489.477
AT ITER 1216 NEW BEST:: SOT 6284881 SOS 2210477 HAS SOPS 2210477 HAS SOUS 896267 HAS SOUPS 896267 WITH SCORE 898477.477
AT ITER 1233 NEW BEST:: SOT 6284881 SOS 2210406 HAS SOPS 2210406 HAS SOUS 896196 HAS SOUPS 896196 WITH SCORE 898406.406
AT ITER 1244 NEW BEST:: SOT 6283761 SOS 2209286 HAS SOPS 2209286 HAS SOUS 895076 HAS SOUPS 895076 WITH SCORE 897285.286
AT ITER 1245 NEW BEST:: SOT 6283598 SOS 2209123 HAS SOPS 2209123 HAS SOUS 894931 HAS SOUPS 894931 WITH SCORE 897140.123
AT ITER 1250 NEW BEST:: SOT 6282667 SOS 2207128 HAS SOPS 2207128 HAS SOUS 893734 HAS SOUPS 893734 WITH SCORE 895941.128
AT ITER 1251 NEW BEST:: SOT 6282667 SOS 2207128 HAS SOPS 2207128 HAS SOUS 893324 HAS SOUPS 893324 WITH SCORE 895531.128
AT ITER 1254 NEW BEST:: SOT 6282667 SOS 2207128 HAS SOPS 2207128 HAS SOUS 893295 HAS SOUPS 893295 WITH SCORE 895502.128
AT ITER 1280 NEW BEST:: SOT 6282667 SOS 2207920 HAS SOPS 2207920 HAS SOUS 892392 HAS SOUPS 892392 WITH SCORE 894599.92
AT ITER 1286 NEW BEST:: SOT 6282667 SOS 2207920 HAS SOPS 2207920 HAS SOUS 892130 HAS SOUPS 892130 WITH SCORE 894337.92
AT ITER 1312 NEW BEST:: SOT 6282067 SOS 2207320 HAS SOPS 2207320 HAS SOUS 891530 HAS SOUPS 891530 WITH SCORE 893737.32
AT ITER 1321 NEW BEST:: SOT 6281115 SOS 2205280 HAS SOPS 2205280 HAS SOUS 890306 HAS SOUPS 890306 WITH SCORE 892511.28
AT ITER 1333 NEW BEST:: SOT 6281162 SOS 2203813 HAS SOPS 2203813 HAS SOUS 890177 HAS SOUPS 890177 WITH SCORE 892380.813
AT ITER 1342 NEW BEST:: SOT 6281078 SOS 2203633 HAS SOPS 2203633 HAS SOUS 890069 HAS SOUPS 890069 WITH SCORE 892272.633
AT ITER 1372 NEW BEST:: SOT 6281078 SOS 2203568 HAS SOPS 2203568 HAS SOUS 890004 HAS SOUPS 890004 WITH SCORE 892207.568
AT ITER 1373 NEW BEST:: SOT 6280025 SOS 2201462 HAS SOPS 2201462 HAS SOUS 889068 HAS SOUPS 889068 WITH SCORE 891269.462
AT ITER 1376 NEW BEST:: SOT 6279346 SOS 2200104 HAS SOPS 2200104 HAS SOUS 888292 HAS SOUPS 888292 WITH SCORE 890492.104
AT ITER 1387 NEW BEST:: SOT 6277465 SOS 2196342 HAS SOPS 2196342 HAS SOUS 886150 HAS SOUPS 886150 WITH SCORE 888346.342
AT ITER 1416 NEW BEST:: SOT 6277556 SOS 2198427 HAS SOPS 2198427 HAS SOUS 885579 HAS SOUPS 885579 WITH SCORE 887777.427
AT ITER 1437 NEW BEST:: SOT 6277108 SOS 2197227 HAS SOPS 2197227 HAS SOUS 885075 HAS SOUPS 885075 WITH SCORE 887272.227
AT ITER 1469 NEW BEST:: SOT 6276520 SOS 2196555 HAS SOPS 2196555 HAS SOUS 883815 HAS SOUPS 883815 WITH SCORE 886011.555
AT ITER 1471 NEW BEST:: SOT 6276369 SOS 2195347 HAS SOPS 2195347 HAS SOUS 883513 HAS SOUPS 883513 WITH SCORE 885708.347
AT ITER 1488 NEW BEST:: SOT 6276326 SOS 2195477 HAS SOPS 2195477 HAS SOUS 882874 HAS SOUPS 882874 WITH SCORE 885069.477
AT ITER 1494 NEW BEST:: SOT 6276326 SOS 2195477 HAS SOPS 2195477 HAS SOUS 882844 HAS SOUPS 882844 WITH SCORE 885039.477
AT ITER 1522 NEW BEST:: SOT 6276095 SOS 2194982 HAS SOPS 2194982 HAS SOUS 882547 HAS SOUPS 882547 WITH SCORE 884741.982
AT ITER 1524 NEW BEST:: SOT 6276095 SOS 2194982 HAS SOPS 2194982 HAS SOUS 882517 HAS SOUPS 882517 WITH SCORE 884711.982
AT ITER 1526 NEW BEST:: SOT 6276095 SOS 2194982 HAS SOPS 2194982 HAS SOUS 882355 HAS SOUPS 882355 WITH SCORE 884549.982
AT ITER 1535 NEW BEST:: SOT 6276000 SOS 2194222 HAS SOPS 2194222 HAS SOUS 882165 HAS SOUPS 882165 WITH SCORE 884359.222
AT ITER 1552 NEW BEST:: SOT 6276000 SOS 2193144 HAS SOPS 2193144 HAS SOUS 882011 HAS SOUPS 882011 WITH SCORE 884204.144
AT ITER 1572 NEW BEST:: SOT 6275950 SOS 2193122 HAS SOPS 2193122 HAS SOUS 881989 HAS SOUPS 881989 WITH SCORE 884182.122
AT ITER 1576 NEW BEST:: SOT 6275950 SOS 2193122 HAS SOPS 2193122 HAS SOUS 881936 HAS SOUPS 881936 WITH SCORE 884129.122
AT ITER 1584 NEW BEST:: SOT 6274816 SOS 2191172 HAS SOPS 2191172 HAS SOUS 880598 HAS SOUPS 880598 WITH SCORE 882789.172
AT ITER 1588 NEW BEST:: SOT 6274623 SOS 2189628 HAS SOPS 2189628 HAS SOUS 880212 HAS SOUPS 880212 WITH SCORE 882401.628
AT ITER 1602 NEW BEST:: SOT 6274623 SOS 2189964 HAS SOPS 2189964 HAS SOUS 879960 HAS SOUPS 879960 WITH SCORE 882149.964
AT ITER 1608 NEW BEST:: SOT 6273699 SOS 2189025 HAS SOPS 2189025 HAS SOUS 879056 HAS SOUPS 879056 WITH SCORE 881245.025
AT ITER 1613 NEW BEST:: SOT 6273523 SOS 2188849 HAS SOPS 2188849 HAS SOUS 878752 HAS SOUPS 878752 WITH SCORE 880940.849
AT ITER 1630 NEW BEST:: SOT 6273523 SOS 2189677 HAS SOPS 2189677 HAS SOUS 878248 HAS SOUPS 878248 WITH SCORE 880437.677
AT ITER 1637 NEW BEST:: SOT 6273313 SOS 2189467 HAS SOPS 2189467 HAS SOUS 878038 HAS SOUPS 878038 WITH SCORE 880227.467
AT ITER 1639 NEW BEST:: SOT 6273313 SOS 2190440 HAS SOPS 2190440 HAS SOUS 877333 HAS SOUPS 877333 WITH SCORE 879523.44
AT ITER 1647 NEW BEST:: SOT 6273117 SOS 2190216 HAS SOPS 2190216 HAS SOUS 876941 HAS SOUPS 876941 WITH SCORE 879131.216
AT ITER 1656 NEW BEST:: SOT 6272857 SOS 2189696 HAS SOPS 2189696 HAS SOUS 875095 HAS SOUPS 875095 WITH SCORE 877284.696
AT ITER 1658 NEW BEST:: SOT 6272857 SOS 2189696 HAS SOPS 2189696 HAS SOUS 875080 HAS SOUPS 875080 WITH SCORE 877269.696
AT ITER 1673 NEW BEST:: SOT 6272857 SOS 2188344 HAS SOPS 2188344 HAS SOUS 874742 HAS SOUPS 874742 WITH SCORE 876930.344
AT ITER 1678 NEW BEST:: SOT 6272857 SOS 2188040 HAS SOPS 2188040 HAS SOUS 874666 HAS SOUPS 874666 WITH SCORE 876854.04
AT ITER 1691 NEW BEST:: SOT 6271366 SOS 2184932 HAS SOPS 2184932 HAS SOUS 873109 HAS SOUPS 873109 WITH SCORE 875293.932
AT ITER 1695 NEW BEST:: SOT 6271208 SOS 2184774 HAS SOPS 2184774 HAS SOUS 872969 HAS SOUPS 872969 WITH SCORE 875153.774
AT ITER 1701 NEW BEST:: SOT 6271192 SOS 2184742 HAS SOPS 2184742 HAS SOUS 872241 HAS SOUPS 872241 WITH SCORE 874425.742
AT ITER 1703 NEW BEST:: SOT 6270268 SOS 2183818 HAS SOPS 2183818 HAS SOUS 871317 HAS SOUPS 871317 WITH SCORE 873500.818
AT ITER 1722 NEW BEST:: SOT 6270284 SOS 2183834 HAS SOPS 2183834 HAS SOUS 871285 HAS SOUPS 871285 WITH SCORE 873468.834
AT ITER 1724 NEW BEST:: SOT 6270158 SOS 2183582 HAS SOPS 2183582 HAS SOUS 870210 HAS SOUPS 870210 WITH SCORE 872393.582
AT ITER 1805 NEW BEST:: SOT 6268576 SOS 2180192 HAS SOPS 2180192 HAS SOUS 868176 HAS SOUPS 868176 WITH SCORE 870356.192
AT ITER 1809 NEW BEST:: SOT 6268408 SOS 2180024 HAS SOPS 2180024 HAS SOUS 868008 HAS SOUPS 868008 WITH SCORE 870188.024
AT ITER 1827 NEW BEST:: SOT 6268408 SOS 2180024 HAS SOPS 2180024 HAS SOUS 867996 HAS SOUPS 867996 WITH SCORE 870176.024
AT ITER 1855 NEW BEST:: SOT 6267176 SOS 2178616 HAS SOPS 2178616 HAS SOUS 866588 HAS SOUPS 866588 WITH SCORE 868766.616
AT ITER 1860 NEW BEST:: SOT 6267023 SOS 2177392 HAS SOPS 2177392 HAS SOUS 866282 HAS SOUPS 866282 WITH SCORE 868459.392
AT ITER 1862 NEW BEST:: SOT 6267023 SOS 2177973 HAS SOPS 2177973 HAS SOUS 865784 HAS SOUPS 865784 WITH SCORE 867961.973
AT ITER 1867 NEW BEST:: SOT 6267023 SOS 2177852 HAS SOPS 2177852 HAS SOUS 865663 HAS SOUPS 865663 WITH SCORE 867840.852
AT ITER 1886 NEW BEST:: SOT 6266754 SOS 2175700 HAS SOPS 2175700 HAS SOUS 865125 HAS SOUPS 865125 WITH SCORE 867300.7
AT ITER 1904 NEW BEST:: SOT 6266700 SOS 2175268 HAS SOPS 2175268 HAS SOUS 865017 HAS SOUPS 865017 WITH SCORE 867192.268
AT ITER 1917 NEW BEST:: SOT 6266637 SOS 2175196 HAS SOPS 2175196 HAS SOUS 864945 HAS SOUPS 864945 WITH SCORE 867120.196
AT ITER 1918 NEW BEST:: SOT 6266637 SOS 2175336 HAS SOPS 2175336 HAS SOUS 864845 HAS SOUPS 864845 WITH SCORE 867020.336
AT ITER 1920 NEW BEST:: SOT 6266553 SOS 2175168 HAS SOPS 2175168 HAS SOUS 864749 HAS SOUPS 864749 WITH SCORE 866924.168
AT ITER 1921 NEW BEST:: SOT 6265566 SOS 2173194 HAS SOPS 2173194 HAS SOUS 863621 HAS SOUPS 863621 WITH SCORE 865794.194
AT ITER 1928 NEW BEST:: SOT 6265566 SOS 2173071 HAS SOPS 2173071 HAS SOUS 863498 HAS SOUPS 863498 WITH SCORE 865671.071
AT ITER 1931 NEW BEST:: SOT 6265405 SOS 2172910 HAS SOPS 2172910 HAS SOUS 863498 HAS SOUPS 863498 WITH SCORE 865670.91
AT ITER 1948 NEW BEST:: SOT 6265405 SOS 2173162 HAS SOPS 2173162 HAS SOUS 863204 HAS SOUPS 863204 WITH SCORE 865377.162
AT ITER 1967 NEW BEST:: SOT 6265400 SOS 2173157 HAS SOPS 2173157 HAS SOUS 863204 HAS SOUPS 863204 WITH SCORE 865377.157
AT ITER 1983 NEW BEST:: SOT 6265325 SOS 2173082 HAS SOPS 2173082 HAS SOUS 863129 HAS SOUPS 863129 WITH SCORE 865302.082
AT ITER 2011 NEW BEST:: SOT 6265094 SOS 2172818 HAS SOPS 2172818 HAS SOUS 862667 HAS SOUPS 862667 WITH SCORE 864839.818
AT ITER 2024 NEW BEST:: SOT 6264920 SOS 2172644 HAS SOPS 2172644 HAS SOUS 862493 HAS SOUPS 862493 WITH SCORE 864665.644
AT ITER 2033 NEW BEST:: SOT 6264920 SOS 2172644 HAS SOPS 2172644 HAS SOUS 862348 HAS SOUPS 862348 WITH SCORE 864520.644
AT ITER 2046 NEW BEST:: SOT 6265068 SOS 2172792 HAS SOPS 2172792 HAS SOUS 862088 HAS SOUPS 862088 WITH SCORE 864260.792
AT ITER 2050 NEW BEST:: SOT 6264368 SOS 2172098 HAS SOPS 2172098 HAS SOUS 861430 HAS SOUPS 861430 WITH SCORE 863602.098
AT ITER 2059 NEW BEST:: SOT 6263731 SOS 2170824 HAS SOPS 2170824 HAS SOUS 860702 HAS SOUPS 860702 WITH SCORE 862872.824
AT ITER 2088 NEW BEST:: SOT 6263731 SOS 2170474 HAS SOPS 2170474 HAS SOUS 860652 HAS SOUPS 860652 WITH SCORE 862822.474
AT ITER 2089 NEW BEST:: SOT 6263731 SOS 2170334 HAS SOPS 2170334 HAS SOUS 860512 HAS SOUPS 860512 WITH SCORE 862682.334
AT ITER 2126 NEW BEST:: SOT 6263664 SOS 2170267 HAS SOPS 2170267 HAS SOUS 860445 HAS SOUPS 860445 WITH SCORE 862615.267
AT ITER 2174 NEW BEST:: SOT 6263664 SOS 2170904 HAS SOPS 2170904 HAS SOUS 860032 HAS SOUPS 860032 WITH SCORE 862202.904
AT ITER 2185 NEW BEST:: SOT 6262488 SOS 2168394 HAS SOPS 2168394 HAS SOUS 858590 HAS SOUPS 858590 WITH SCORE 860758.394
AT ITER 2196 NEW BEST:: SOT 6262488 SOS 2169120 HAS SOPS 2169120 HAS SOUS 857945 HAS SOUPS 857945 WITH SCORE 860114.12
AT ITER 2199 NEW BEST:: SOT 6262096 SOS 2168280 HAS SOPS 2168280 HAS SOUS 857441 HAS SOUPS 857441 WITH SCORE 859609.28
AT ITER 2244 NEW BEST:: SOT 6261088 SOS 2167128 HAS SOPS 2167128 HAS SOUS 855713 HAS SOUPS 855713 WITH SCORE 857880.128
AT ITER 2247 NEW BEST:: SOT 6260777 SOS 2166128 HAS SOPS 2166128 HAS SOUS 855217 HAS SOUPS 855217 WITH SCORE 857383.128
AT ITER 2257 NEW BEST:: SOT 6260457 SOS 2163568 HAS SOPS 2163568 HAS SOUS 854577 HAS SOUPS 854577 WITH SCORE 856740.568
AT ITER 2258 NEW BEST:: SOT 6260457 SOS 2163568 HAS SOPS 2163568 HAS SOUS 854445 HAS SOUPS 854445 WITH SCORE 856608.568
AT ITER 2260 NEW BEST:: SOT 6259281 SOS 2161133 HAS SOPS 2161133 HAS SOUS 853613 HAS SOUPS 853613 WITH SCORE 855774.133
AT ITER 2273 NEW BEST:: SOT 6259281 SOS 2161133 HAS SOPS 2161133 HAS SOUS 853601 HAS SOUPS 853601 WITH SCORE 855762.133
AT ITER 2291 NEW BEST:: SOT 6258210 SOS 2159909 HAS SOPS 2159909 HAS SOUS 852377 HAS SOUPS 852377 WITH SCORE 854536.909
AT ITER 2296 NEW BEST:: SOT 6257118 SOS 2157725 HAS SOPS 2157725 HAS SOUS 851601 HAS SOUPS 851601 WITH SCORE 853758.725
AT ITER 2303 NEW BEST:: SOT 6257118 SOS 2157947 HAS SOPS 2157947 HAS SOUS 851342 HAS SOUPS 851342 WITH SCORE 853499.947
AT ITER 2316 NEW BEST:: SOT 6257099 SOS 2157928 HAS SOPS 2157928 HAS SOUS 851323 HAS SOUPS 851323 WITH SCORE 853480.928
AT ITER 2324 NEW BEST:: SOT 6256974 SOS 2156803 HAS SOPS 2156803 HAS SOUS 850948 HAS SOUPS 850948 WITH SCORE 853104.803
AT ITER 2331 NEW BEST:: SOT 6256974 SOS 2156803 HAS SOPS 2156803 HAS SOUS 850903 HAS SOUPS 850903 WITH SCORE 853059.803
AT ITER 2350 NEW BEST:: SOT 6256824 SOS 2156653 HAS SOPS 2156653 HAS SOUS 850649 HAS SOUPS 850649 WITH SCORE 852805.653
AT ITER 2378 NEW BEST:: SOT 6256824 SOS 2156411 HAS SOPS 2156411 HAS SOUS 850407 HAS SOUPS 850407 WITH SCORE 852563.411
AT ITER 2379 NEW BEST:: SOT 6256824 SOS 2156326 HAS SOPS 2156326 HAS SOUS 850322 HAS SOUPS 850322 WITH SCORE 852478.326
AT ITER 2431 NEW BEST:: SOT 6256824 SOS 2156152 HAS SOPS 2156152 HAS SOUS 850322 HAS SOUPS 850322 WITH SCORE 852478.152
AT ITER 2455 NEW BEST:: SOT 6256754 SOS 2156072 HAS SOPS 2156072 HAS SOUS 849990 HAS SOUPS 849990 WITH SCORE 852146.072
AT ITER 2468 NEW BEST:: SOT 6256530 SOS 2155848 HAS SOPS 2155848 HAS SOUS 849766 HAS SOUPS 849766 WITH SCORE 851921.848
AT ITER 2481 NEW BEST:: SOT 6256598 SOS 2155984 HAS SOPS 2155984 HAS SOUS 849614 HAS SOUPS 849614 WITH SCORE 851769.984
AT ITER 2507 NEW BEST:: SOT 6257798 SOS 2158384 HAS SOPS 2158384 HAS SOUS 848935 HAS SOUPS 848935 WITH SCORE 851093.384
AT ITER 2513 NEW BEST:: SOT 6257798 SOS 2158180 HAS SOPS 2158180 HAS SOUS 848731 HAS SOUPS 848731 WITH SCORE 850889.18
AT ITER 2520 NEW BEST:: SOT 6257434 SOS 2157764 HAS SOPS 2157764 HAS SOUS 847949 HAS SOUPS 847949 WITH SCORE 850106.764
AT ITER 2523 NEW BEST:: SOT 6257413 SOS 2157743 HAS SOPS 2157743 HAS SOUS 847928 HAS SOUPS 847928 WITH SCORE 850085.743
AT ITER 2527 NEW BEST:: SOT 6257035 SOS 2156933 HAS SOPS 2156933 HAS SOUS 847442 HAS SOUPS 847442 WITH SCORE 849598.933
AT ITER 2529 NEW BEST:: SOT 6257035 SOS 2156933 HAS SOPS 2156933 HAS SOUS 847428 HAS SOUPS 847428 WITH SCORE 849584.933
AT ITER 2539 NEW BEST:: SOT 6257082 SOS 2156980 HAS SOPS 2156980 HAS SOUS 847334 HAS SOUPS 847334 WITH SCORE 849490.98
AT ITER 2546 NEW BEST:: SOT 6256994 SOS 2156804 HAS SOPS 2156804 HAS SOUS 845749 HAS SOUPS 845749 WITH SCORE 847905.804
AT ITER 2554 NEW BEST:: SOT 6256910 SOS 2156720 HAS SOPS 2156720 HAS SOUS 845665 HAS SOUPS 845665 WITH SCORE 847821.72
AT ITER 2556 NEW BEST:: SOT 6256770 SOS 2156440 HAS SOPS 2156440 HAS SOUS 845265 HAS SOUPS 845265 WITH SCORE 847421.44
AT ITER 2559 NEW BEST:: SOT 6256640 SOS 2155400 HAS SOPS 2155400 HAS SOUS 845005 HAS SOUPS 845005 WITH SCORE 847160.4
AT ITER 2563 NEW BEST:: SOT 6256640 SOS 2155400 HAS SOPS 2155400 HAS SOUS 844993 HAS SOUPS 844993 WITH SCORE 847148.4
AT ITER 2588 NEW BEST:: SOT 6256332 SOS 2155118 HAS SOPS 2155118 HAS SOUS 844893 HAS SOUPS 844893 WITH SCORE 847048.118
AT ITER 2603 NEW BEST:: SOT 6256332 SOS 2154670 HAS SOPS 2154670 HAS SOUS 844781 HAS SOUPS 844781 WITH SCORE 846935.67
AT ITER 2610 NEW BEST:: SOT 6254967 SOS 2151940 HAS SOPS 2151940 HAS SOUS 843221 HAS SOUPS 843221 WITH SCORE 845372.94
AT ITER 2616 NEW BEST:: SOT 6254967 SOS 2151924 HAS SOPS 2151924 HAS SOUS 843217 HAS SOUPS 843217 WITH SCORE 845368.924
AT ITER 2640 NEW BEST:: SOT 6254967 SOS 2150932 HAS SOPS 2150932 HAS SOUS 842969 HAS SOUPS 842969 WITH SCORE 845119.932
AT ITER 2651 NEW BEST:: SOT 6254837 SOS 2149892 HAS SOPS 2149892 HAS SOUS 842709 HAS SOUPS 842709 WITH SCORE 844858.892
AT ITER 2657 NEW BEST:: SOT 6254956 SOS 2150028 HAS SOPS 2150028 HAS SOUS 841942 HAS SOUPS 841942 WITH SCORE 844092.028
AT ITER 2702 NEW BEST:: SOT 6254956 SOS 2149957 HAS SOPS 2149957 HAS SOUS 841264 HAS SOUPS 841264 WITH SCORE 843413.957
AT ITER 2730 NEW BEST:: SOT 6254774 SOS 2149227 HAS SOPS 2149227 HAS SOUS 841056 HAS SOUPS 841056 WITH SCORE 843205.227
AT ITER 2745 NEW BEST:: SOT 6254576 SOS 2148759 HAS SOPS 2148759 HAS SOUS 840588 HAS SOUPS 840588 WITH SCORE 842736.759
AT ITER 2754 NEW BEST:: SOT 6254587 SOS 2148770 HAS SOPS 2148770 HAS SOUS 840577 HAS SOUPS 840577 WITH SCORE 842725.77
AT ITER 2771 NEW BEST:: SOT 6254587 SOS 2148758 HAS SOPS 2148758 HAS SOUS 840493 HAS SOUPS 840493 WITH SCORE 842641.758
AT ITER 2772 NEW BEST:: SOT 6254160 SOS 2147464 HAS SOPS 2147464 HAS SOUS 840477 HAS SOUPS 840477 WITH SCORE 842624.464
AT ITER 2833 NEW BEST:: SOT 6254048 SOS 2147336 HAS SOPS 2147336 HAS SOUS 840349 HAS SOUPS 840349 WITH SCORE 842496.336
AT ITER 2851 NEW BEST:: SOT 6254048 SOS 2146416 HAS SOPS 2146416 HAS SOUS 840119 HAS SOUPS 840119 WITH SCORE 842265.416
AT ITER 2852 NEW BEST:: SOT 6254023 SOS 2146366 HAS SOPS 2146366 HAS SOUS 840069 HAS SOUPS 840069 WITH SCORE 842215.366
AT ITER 2855 NEW BEST:: SOT 6253899 SOS 2146242 HAS SOPS 2146242 HAS SOUS 839653 HAS SOUPS 839653 WITH SCORE 841799.242
AT ITER 2870 NEW BEST:: SOT 6253820 SOS 2145610 HAS SOPS 2145610 HAS SOUS 839495 HAS SOUPS 839495 WITH SCORE 841640.61
AT ITER 2885 NEW BEST:: SOT 6253708 SOS 2144602 HAS SOPS 2144602 HAS SOUS 839159 HAS SOUPS 839159 WITH SCORE 841303.602
AT ITER 2903 NEW BEST:: SOT 6253708 SOS 2144602 HAS SOPS 2144602 HAS SOUS 838907 HAS SOUPS 838907 WITH SCORE 841051.602
AT ITER 2904 NEW BEST:: SOT 6253664 SOS 2144558 HAS SOPS 2144558 HAS SOUS 838863 HAS SOUPS 838863 WITH SCORE 841007.558
AT ITER 2925 NEW BEST:: SOT 6253664 SOS 2144558 HAS SOPS 2144558 HAS SOUS 838638 HAS SOUPS 838638 WITH SCORE 840782.558
AT ITER 2933 NEW BEST:: SOT 6253664 SOS 2145572 HAS SOPS 2145572 HAS SOUS 838632 HAS SOUPS 838632 WITH SCORE 840777.572
AT ITER 2942 NEW BEST:: SOT 6253664 SOS 2147036 HAS SOPS 2147036 HAS SOUS 837204 HAS SOUPS 837204 WITH SCORE 839351.036
AT ITER 2950 NEW BEST:: SOT 6253664 SOS 2146004 HAS SOPS 2146004 HAS SOUS 836946 HAS SOUPS 836946 WITH SCORE 839092.004
AT ITER 3015 NEW BEST:: SOT 6252628 SOS 2143784 HAS SOPS 2143784 HAS SOUS 835614 HAS SOUPS 835614 WITH SCORE 837757.784
AT ITER 3020 NEW BEST:: SOT 6252607 SOS 2143739 HAS SOPS 2143739 HAS SOUS 835587 HAS SOUPS 835587 WITH SCORE 837730.739
AT ITER 3030 NEW BEST:: SOT 6251494 SOS 2141354 HAS SOPS 2141354 HAS SOUS 834156 HAS SOUPS 834156 WITH SCORE 836297.354
AT ITER 3044 NEW BEST:: SOT 6251457 SOS 2141280 HAS SOPS 2141280 HAS SOUS 833836 HAS SOUPS 833836 WITH SCORE 835977.28
AT ITER 3062 NEW BEST:: SOT 6249567 SOS 2139479 HAS SOPS 2139479 HAS SOUS 832782 HAS SOUPS 832782 WITH SCORE 834921.479
AT ITER 3068 NEW BEST:: SOT 6249567 SOS 2137319 HAS SOPS 2137319 HAS SOUS 832242 HAS SOUPS 832242 WITH SCORE 834379.319
AT ITER 3078 NEW BEST:: SOT 6249367 SOS 2136895 HAS SOPS 2136895 HAS SOUS 831986 HAS SOUPS 831986 WITH SCORE 834122.895
AT ITER 3086 NEW BEST:: SOT 6249367 SOS 2137519 HAS SOPS 2137519 HAS SOUS 831264 HAS SOUPS 831264 WITH SCORE 833401.519
AT ITER 3089 NEW BEST:: SOT 6249367 SOS 2137519 HAS SOPS 2137519 HAS SOUS 831058 HAS SOUPS 831058 WITH SCORE 833195.519
AT ITER 3095 NEW BEST:: SOT 6247883 SOS 2135823 HAS SOPS 2135823 HAS SOUS 828090 HAS SOUPS 828090 WITH SCORE 830225.823
AT ITER 3099 NEW BEST:: SOT 6247802 SOS 2135175 HAS SOPS 2135175 HAS SOUS 827928 HAS SOUPS 827928 WITH SCORE 830063.175
AT ITER 3103 NEW BEST:: SOT 6247676 SOS 2134923 HAS SOPS 2134923 HAS SOUS 827382 HAS SOUPS 827382 WITH SCORE 829516.923
AT ITER 3124 NEW BEST:: SOT 6247651 SOS 2134898 HAS SOPS 2134898 HAS SOUS 827382 HAS SOUPS 827382 WITH SCORE 829516.898
AT ITER 3127 NEW BEST:: SOT 6247651 SOS 2135005 HAS SOPS 2135005 HAS SOUS 827345 HAS SOUPS 827345 WITH SCORE 829480.005
AT ITER 3155 NEW BEST:: SOT 6247651 SOS 2132005 HAS SOPS 2132005 HAS SOUS 826595 HAS SOUPS 826595 WITH SCORE 828727.005
AT ITER 3161 NEW BEST:: SOT 6247553 SOS 2131893 HAS SOPS 2131893 HAS SOUS 826111 HAS SOUPS 826111 WITH SCORE 828242.893
AT ITER 3164 NEW BEST:: SOT 6247552 SOS 2132023 HAS SOPS 2132023 HAS SOUS 825948 HAS SOUPS 825948 WITH SCORE 828080.023
AT ITER 3188 NEW BEST:: SOT 6247552 SOS 2132023 HAS SOPS 2132023 HAS SOUS 825884 HAS SOUPS 825884 WITH SCORE 828016.023
AT ITER 3225 NEW BEST:: SOT 6247552 SOS 2131963 HAS SOPS 2131963 HAS SOUS 825404 HAS SOUPS 825404 WITH SCORE 827535.963
AT ITER 3282 NEW BEST:: SOT 6246558 SOS 2129833 HAS SOPS 2129833 HAS SOUS 824126 HAS SOUPS 824126 WITH SCORE 826255.833
AT ITER 3292 NEW BEST:: SOT 6246525 SOS 2129800 HAS SOPS 2129800 HAS SOUS 824126 HAS SOUPS 824126 WITH SCORE 826255.8
AT ITER 3305 NEW BEST:: SOT 6246265 SOS 2129130 HAS SOPS 2129130 HAS SOUS 823966 HAS SOUPS 823966 WITH SCORE 826095.13
AT ITER 3336 NEW BEST:: SOT 6246265 SOS 2129130 HAS SOPS 2129130 HAS SOUS 823960 HAS SOUPS 823960 WITH SCORE 826089.13
AT ITER 3366 NEW BEST:: SOT 6246244 SOS 2129109 HAS SOPS 2129109 HAS SOUS 823849 HAS SOUPS 823849 WITH SCORE 825978.109
AT ITER 3368 NEW BEST:: SOT 6246244 SOS 2129109 HAS SOPS 2129109 HAS SOUS 823658 HAS SOUPS 823658 WITH SCORE 825787.109
AT ITER 3372 NEW BEST:: SOT 6246244 SOS 2129793 HAS SOPS 2129793 HAS SOUS 822903 HAS SOUPS 822903 WITH SCORE 825032.793
AT ITER 3382 NEW BEST:: SOT 6246132 SOS 2129665 HAS SOPS 2129665 HAS SOUS 822265 HAS SOUPS 822265 WITH SCORE 824394.665
AT ITER 3385 NEW BEST:: SOT 6245586 SOS 2128573 HAS SOPS 2128573 HAS SOUS 821641 HAS SOUPS 821641 WITH SCORE 823769.573
AT ITER 3390 NEW BEST:: SOT 6244620 SOS 2127469 HAS SOPS 2127469 HAS SOUS 820297 HAS SOUPS 820297 WITH SCORE 822424.469
AT ITER 3414 NEW BEST:: SOT 6244620 SOS 2128351 HAS SOPS 2128351 HAS SOUS 819377 HAS SOUPS 819377 WITH SCORE 821505.351
AT ITER 3424 NEW BEST:: SOT 6244571 SOS 2128246 HAS SOPS 2128246 HAS SOUS 819363 HAS SOUPS 819363 WITH SCORE 821491.246
AT ITER 3432 NEW BEST:: SOT 6242681 SOS 2124336 HAS SOPS 2124336 HAS SOUS 817741 HAS SOUPS 817741 WITH SCORE 819865.336
AT ITER 3469 NEW BEST:: SOT 6242671 SOS 2124256 HAS SOPS 2124256 HAS SOUS 817721 HAS SOUPS 817721 WITH SCORE 819845.256
AT ITER 3479 NEW BEST:: SOT 6241733 SOS 2122380 HAS SOPS 2122380 HAS SOUS 816649 HAS SOUPS 816649 WITH SCORE 818771.38
AT ITER 3493 NEW BEST:: SOT 6241733 SOS 2121312 HAS SOPS 2121312 HAS SOUS 816589 HAS SOUPS 816589 WITH SCORE 818710.312
AT ITER 3504 NEW BEST:: SOT 6242336 SOS 2121792 HAS SOPS 2121792 HAS SOUS 816541 HAS SOUPS 816541 WITH SCORE 818662.792
AT ITER 3510 NEW BEST:: SOT 6242458 SOS 2122936 HAS SOPS 2122936 HAS SOUS 815520 HAS SOUPS 815520 WITH SCORE 817642.936
AT ITER 3525 NEW BEST:: SOT 6242389 SOS 2122285 HAS SOPS 2122285 HAS SOUS 815283 HAS SOUPS 815283 WITH SCORE 817405.285
AT ITER 3534 NEW BEST:: SOT 6242389 SOS 2122209 HAS SOPS 2122209 HAS SOUS 815207 HAS SOUPS 815207 WITH SCORE 817329.209
AT ITER 3554 NEW BEST:: SOT 6242235 SOS 2120977 HAS SOPS 2120977 HAS SOUS 814899 HAS SOUPS 814899 WITH SCORE 817019.977
AT ITER 3558 NEW BEST:: SOT 6242184 SOS 2120926 HAS SOPS 2120926 HAS SOUS 814869 HAS SOUPS 814869 WITH SCORE 816989.926
AT ITER 3567 NEW BEST:: SOT 6242184 SOS 2120926 HAS SOPS 2120926 HAS SOUS 814688 HAS SOUPS 814688 WITH SCORE 816808.926
AT ITER 3575 NEW BEST:: SOT 6242036 SOS 2119778 HAS SOPS 2119778 HAS SOUS 814290 HAS SOUPS 814290 WITH SCORE 816409.778
AT ITER 3577 NEW BEST:: SOT 6241357 SOS 2119099 HAS SOPS 2119099 HAS SOUS 813611 HAS SOUPS 813611 WITH SCORE 815730.099
AT ITER 3580 NEW BEST:: SOT 6241162 SOS 2118904 HAS SOPS 2118904 HAS SOUS 813611 HAS SOUPS 813611 WITH SCORE 815729.904
AT ITER 3597 NEW BEST:: SOT 6240861 SOS 2118603 HAS SOPS 2118603 HAS SOUS 813310 HAS SOUPS 813310 WITH SCORE 815428.603
AT ITER 3603 NEW BEST:: SOT 6240868 SOS 2117490 HAS SOPS 2117490 HAS SOUS 813163 HAS SOUPS 813163 WITH SCORE 815280.49
AT ITER 3607 NEW BEST:: SOT 6240868 SOS 2117468 HAS SOPS 2117468 HAS SOUS 813141 HAS SOUPS 813141 WITH SCORE 815258.468
AT ITER 3609 NEW BEST:: SOT 6240868 SOS 2118084 HAS SOPS 2118084 HAS SOUS 812755 HAS SOUPS 812755 WITH SCORE 814873.084
AT ITER 3659 NEW BEST:: SOT 6240868 SOS 2118052 HAS SOPS 2118052 HAS SOUS 812747 HAS SOUPS 812747 WITH SCORE 814865.052
AT ITER 3660 NEW BEST:: SOT 6240840 SOS 2117996 HAS SOPS 2117996 HAS SOUS 812715 HAS SOUPS 812715 WITH SCORE 814832.996
AT ITER 3683 NEW BEST:: SOT 6240840 SOS 2117996 HAS SOPS 2117996 HAS SOUS 812583 HAS SOUPS 812583 WITH SCORE 814700.996
AT ITER 3696 NEW BEST:: SOT 6240840 SOS 2118242 HAS SOPS 2118242 HAS SOUS 812439 HAS SOUPS 812439 WITH SCORE 814557.242
AT ITER 3705 NEW BEST:: SOT 6240840 SOS 2119523 HAS SOPS 2119523 HAS SOUS 811427 HAS SOUPS 811427 WITH SCORE 813546.523
AT ITER 3713 NEW BEST:: SOT 6241904 SOS 2120739 HAS SOPS 2120739 HAS SOUS 811367 HAS SOUPS 811367 WITH SCORE 813487.739
AT ITER 3744 NEW BEST:: SOT 6241904 SOS 2120757 HAS SOPS 2120757 HAS SOUS 811349 HAS SOUPS 811349 WITH SCORE 813469.757
AT ITER 3747 NEW BEST:: SOT 6240742 SOS 2119429 HAS SOPS 2119429 HAS SOUS 808999 HAS SOUPS 808999 WITH SCORE 811118.429
AT ITER 3760 NEW BEST:: SOT 6240517 SOS 2119204 HAS SOPS 2119204 HAS SOUS 808864 HAS SOUPS 808864 WITH SCORE 810983.204
AT ITER 3782 NEW BEST:: SOT 6240986 SOS 2119556 HAS SOPS 2119556 HAS SOUS 808514 HAS SOUPS 808514 WITH SCORE 810633.556
AT ITER 3791 NEW BEST:: SOT 6240986 SOS 2119546 HAS SOPS 2119546 HAS SOUS 808504 HAS SOUPS 808504 WITH SCORE 810623.546
AT ITER 3864 NEW BEST:: SOT 6240946 SOS 2119506 HAS SOPS 2119506 HAS SOUS 808352 HAS SOUPS 808352 WITH SCORE 810471.506
AT ITER 3875 NEW BEST:: SOT 6240663 SOS 2119643 HAS SOPS 2119643 HAS SOUS 808129 HAS SOUPS 808129 WITH SCORE 810248.643
AT ITER 3909 NEW BEST:: SOT 6240604 SOS 2119584 HAS SOPS 2119584 HAS SOUS 808070 HAS SOUPS 808070 WITH SCORE 810189.584
AT ITER 3914 NEW BEST:: SOT 6240584 SOS 2119424 HAS SOPS 2119424 HAS SOUS 808030 HAS SOUPS 808030 WITH SCORE 810149.424
AT ITER 3916 NEW BEST:: SOT 6240584 SOS 2119424 HAS SOPS 2119424 HAS SOUS 807572 HAS SOUPS 807572 WITH SCORE 809691.424
AT ITER 3918 NEW BEST:: SOT 6241308 SOS 2120290 HAS SOPS 2120290 HAS SOUS 806957 HAS SOUPS 806957 WITH SCORE 809077.29
AT ITER 3927 NEW BEST:: SOT 6241308 SOS 2120808 HAS SOPS 2120808 HAS SOUS 806513 HAS SOUPS 806513 WITH SCORE 808633.808
AT ITER 3939 NEW BEST:: SOT 6241308 SOS 2120808 HAS SOPS 2120808 HAS SOUS 806507 HAS SOUPS 806507 WITH SCORE 808627.808
AT ITER 3948 NEW BEST:: SOT 6241308 SOS 2120676 HAS SOPS 2120676 HAS SOUS 806375 HAS SOUPS 806375 WITH SCORE 808495.676
AT ITER 3982 NEW BEST:: SOT 6241378 SOS 2120746 HAS SOPS 2120746 HAS SOUS 806235 HAS SOUPS 806235 WITH SCORE 808355.746
AT ITER 3985 NEW BEST:: SOT 6240377 SOS 2118601 HAS SOPS 2118601 HAS SOUS 804948 HAS SOUPS 804948 WITH SCORE 807066.601
AT ITER 4003 NEW BEST:: SOT 6240313 SOS 2118537 HAS SOPS 2118537 HAS SOUS 804892 HAS SOUPS 804892 WITH SCORE 807010.537
AT ITER 4041 NEW BEST:: SOT 6240075 SOS 2118061 HAS SOPS 2118061 HAS SOUS 804620 HAS SOUPS 804620 WITH SCORE 806738.061
AT ITER 4080 NEW BEST:: SOT 6240075 SOS 2118635 HAS SOPS 2118635 HAS SOUS 804128 HAS SOUPS 804128 WITH SCORE 806246.635
AT ITER 4092 NEW BEST:: SOT 6240075 SOS 2118632 HAS SOPS 2118632 HAS SOUS 804125 HAS SOUPS 804125 WITH SCORE 806243.632
AT ITER 4099 NEW BEST:: SOT 6240075 SOS 2118382 HAS SOPS 2118382 HAS SOUS 803875 HAS SOUPS 803875 WITH SCORE 805993.382
AT ITER 4176 NEW BEST:: SOT 6240043 SOS 2118126 HAS SOPS 2118126 HAS SOUS 803811 HAS SOUPS 803811 WITH SCORE 805929.126
AT ITER 4197 NEW BEST:: SOT 6239951 SOS 2117942 HAS SOPS 2117942 HAS SOUS 803075 HAS SOUPS 803075 WITH SCORE 805192.942
AT ITER 4214 NEW BEST:: SOT 6239923 SOS 2117914 HAS SOPS 2117914 HAS SOUS 803019 HAS SOUPS 803019 WITH SCORE 805136.914
AT ITER 4235 NEW BEST:: SOT 6239811 SOS 2117690 HAS SOPS 2117690 HAS SOUS 802795 HAS SOUPS 802795 WITH SCORE 804912.69
AT ITER 4264 NEW BEST:: SOT 6239811 SOS 2117882 HAS SOPS 2117882 HAS SOUS 802571 HAS SOUPS 802571 WITH SCORE 804688.882
AT ITER 4284 NEW BEST:: SOT 6239552 SOS 2117208 HAS SOPS 2117208 HAS SOUS 802457 HAS SOUPS 802457 WITH SCORE 804574.208
AT ITER 4295 NEW BEST:: SOT 6238516 SOS 2114197 HAS SOPS 2114197 HAS SOUS 801012 HAS SOUPS 801012 WITH SCORE 803126.197
AT ITER 4299 NEW BEST:: SOT 6237963 SOS 2113091 HAS SOPS 2113091 HAS SOUS 800380 HAS SOUPS 800380 WITH SCORE 802493.091
AT ITER 4307 NEW BEST:: SOT 6238052 SOS 2113180 HAS SOPS 2113180 HAS SOUS 800321 HAS SOUPS 800321 WITH SCORE 802434.18
AT ITER 4309 NEW BEST:: SOT 6238052 SOS 2112924 HAS SOPS 2112924 HAS SOUS 799050 HAS SOUPS 799050 WITH SCORE 801162.924
AT ITER 4319 NEW BEST:: SOT 6237184 SOS 2111688 HAS SOPS 2111688 HAS SOUS 798090 HAS SOUPS 798090 WITH SCORE 800201.688
AT ITER 4335 NEW BEST:: SOT 6237562 SOS 2111796 HAS SOPS 2111796 HAS SOUS 797838 HAS SOUPS 797838 WITH SCORE 799949.796
AT ITER 4340 NEW BEST:: SOT 6237562 SOS 2111708 HAS SOPS 2111708 HAS SOUS 797816 HAS SOUPS 797816 WITH SCORE 799927.708
AT ITER 4355 NEW BEST:: SOT 6237562 SOS 2111708 HAS SOPS 2111708 HAS SOUS 797808 HAS SOUPS 797808 WITH SCORE 799919.708
AT ITER 4358 NEW BEST:: SOT 6237562 SOS 2110798 HAS SOPS 2110798 HAS SOUS 797678 HAS SOUPS 797678 WITH SCORE 799788.798
AT ITER 4393 NEW BEST:: SOT 6237562 SOS 2111518 HAS SOPS 2111518 HAS SOUS 796958 HAS SOUPS 796958 WITH SCORE 799069.518
AT ITER 4403 NEW BEST:: SOT 6237086 SOS 2110974 HAS SOPS 2110974 HAS SOUS 796168 HAS SOUPS 796168 WITH SCORE 798278.974
AT ITER 4426 NEW BEST:: SOT 6236539 SOS 2108349 HAS SOPS 2108349 HAS SOUS 796020 HAS SOUPS 796020 WITH SCORE 798128.349
AT ITER 4445 NEW BEST:: SOT 6236454 SOS 2107992 HAS SOPS 2107992 HAS SOUS 795986 HAS SOUPS 795986 WITH SCORE 798093.992
AT ITER 4473 NEW BEST:: SOT 6236454 SOS 2107984 HAS SOPS 2107984 HAS SOUS 795984 HAS SOUPS 795984 WITH SCORE 798091.984
AT ITER 4500 NEW BEST:: SOT 6236432 SOS 2107962 HAS SOPS 2107962 HAS SOUS 795875 HAS SOUPS 795875 WITH SCORE 797982.962
AT ITER 4520 NEW BEST:: SOT 6236341 SOS 2107858 HAS SOPS 2107858 HAS SOUS 795873 HAS SOUPS 795873 WITH SCORE 797980.858
AT ITER 4571 NEW BEST:: SOT 6236341 SOS 2107074 HAS SOPS 2107074 HAS SOUS 795761 HAS SOUPS 795761 WITH SCORE 797868.074
AT ITER 4574 NEW BEST:: SOT 6236341 SOS 2107074 HAS SOPS 2107074 HAS SOUS 795644 HAS SOUPS 795644 WITH SCORE 797751.074
AT ITER 4580 NEW BEST:: SOT 6235151 SOS 2104676 HAS SOPS 2104676 HAS SOUS 794284 HAS SOUPS 794284 WITH SCORE 796388.676
AT ITER 4597 NEW BEST:: SOT 6235151 SOS 2104527 HAS SOPS 2104527 HAS SOUS 794135 HAS SOUPS 794135 WITH SCORE 796239.527
AT ITER 4639 NEW BEST:: SOT 6235128 SOS 2104343 HAS SOPS 2104343 HAS SOUS 794089 HAS SOUPS 794089 WITH SCORE 796193.343
AT ITER 4646 NEW BEST:: SOT 6235144 SOS 2104359 HAS SOPS 2104359 HAS SOUS 794057 HAS SOUPS 794057 WITH SCORE 796161.359
AT ITER 4654 NEW BEST:: SOT 6234682 SOS 2103617 HAS SOPS 2103617 HAS SOUS 793525 HAS SOUPS 793525 WITH SCORE 795628.617
AT ITER 4668 NEW BEST:: SOT 6234304 SOS 2103185 HAS SOPS 2103185 HAS SOUS 793377 HAS SOUPS 793377 WITH SCORE 795480.185
AT ITER 4704 NEW BEST:: SOT 6233128 SOS 2100682 HAS SOPS 2100682 HAS SOUS 791984 HAS SOUPS 791984 WITH SCORE 794084.682
AT ITER 4712 NEW BEST:: SOT 6232092 SOS 2099498 HAS SOPS 2099498 HAS SOUS 789929 HAS SOUPS 789929 WITH SCORE 792028.498
AT ITER 4716 NEW BEST:: SOT 6231847 SOS 2099008 HAS SOPS 2099008 HAS SOUS 789649 HAS SOUPS 789649 WITH SCORE 791748.008
AT ITER 4725 NEW BEST:: SOT 6231823 SOS 2098984 HAS SOPS 2098984 HAS SOUS 789625 HAS SOUPS 789625 WITH SCORE 791723.984
AT ITER 4740 NEW BEST:: SOT 6231827 SOS 2098209 HAS SOPS 2098209 HAS SOUS 789522 HAS SOUPS 789522 WITH SCORE 791620.209
AT ITER 4742 NEW BEST:: SOT 6230788 SOS 2096131 HAS SOPS 2096131 HAS SOUS 788698 HAS SOUPS 788698 WITH SCORE 790794.131
AT ITER 4753 NEW BEST:: SOT 6230788 SOS 2096131 HAS SOPS 2096131 HAS SOUS 788604 HAS SOUPS 788604 WITH SCORE 790700.131
AT ITER 4760 NEW BEST:: SOT 6230788 SOS 2095819 HAS SOPS 2095819 HAS SOUS 788526 HAS SOUPS 788526 WITH SCORE 790621.819
AT ITER 4761 NEW BEST:: SOT 6230719 SOS 2095750 HAS SOPS 2095750 HAS SOUS 788457 HAS SOUPS 788457 WITH SCORE 790552.75
AT ITER 4777 NEW BEST:: SOT 6230404 SOS 2095435 HAS SOPS 2095435 HAS SOUS 788142 HAS SOUPS 788142 WITH SCORE 790237.435
AT ITER 4780 NEW BEST:: SOT 6230218 SOS 2095249 HAS SOPS 2095249 HAS SOUS 787956 HAS SOUPS 787956 WITH SCORE 790051.249
AT ITER 4790 NEW BEST:: SOT 6230204 SOS 2095219 HAS SOPS 2095219 HAS SOUS 787938 HAS SOUPS 787938 WITH SCORE 790033.219
AT ITER 4839 NEW BEST:: SOT 6230059 SOS 2094059 HAS SOPS 2094059 HAS SOUS 787648 HAS SOUPS 787648 WITH SCORE 789742.059
AT ITER 4841 NEW BEST:: SOT 6230059 SOS 2093963 HAS SOPS 2093963 HAS SOUS 787624 HAS SOUPS 787624 WITH SCORE 789717.963
AT ITER 4861 NEW BEST:: SOT 6229570 SOS 2093297 HAS SOPS 2093297 HAS SOUS 787528 HAS SOUPS 787528 WITH SCORE 789621.297
AT ITER 4863 NEW BEST:: SOT 6228856 SOS 2091767 HAS SOPS 2091767 HAS SOUS 786610 HAS SOUPS 786610 WITH SCORE 788701.767
AT ITER 4865 NEW BEST:: SOT 6229094 SOS 2092573 HAS SOPS 2092573 HAS SOUS 786558 HAS SOUPS 786558 WITH SCORE 788650.573
AT ITER 4867 NEW BEST:: SOT 6229004 SOS 2091853 HAS SOPS 2091853 HAS SOUS 786378 HAS SOUPS 786378 WITH SCORE 788469.853
AT ITER 4877 NEW BEST:: SOT 6228911 SOS 2091697 HAS SOPS 2091697 HAS SOUS 786276 HAS SOUPS 786276 WITH SCORE 788367.697
AT ITER 4890 NEW BEST:: SOT 6228710 SOS 2091120 HAS SOPS 2091120 HAS SOUS 785981 HAS SOUPS 785981 WITH SCORE 788072.12
AT ITER 4911 NEW BEST:: SOT 6228684 SOS 2090912 HAS SOPS 2090912 HAS SOUS 785929 HAS SOUPS 785929 WITH SCORE 788019.912
AT ITER 4929 NEW BEST:: SOT 6227680 SOS 2088904 HAS SOPS 2088904 HAS SOUS 785265 HAS SOUPS 785265 WITH SCORE 787353.904
AT ITER 4957 NEW BEST:: SOT 6227680 SOS 2088904 HAS SOPS 2088904 HAS SOUS 785085 HAS SOUPS 785085 WITH SCORE 787173.904
AT ITER 4959 NEW BEST:: SOT 6228520 SOS 2090113 HAS SOPS 2090113 HAS SOUS 784269 HAS SOUPS 784269 WITH SCORE 786359.113
AT ITER 4977 NEW BEST:: SOT 6228520 SOS 2090025 HAS SOPS 2090025 HAS SOUS 783565 HAS SOUPS 783565 WITH SCORE 785655.025
AT ITER 4987 NEW BEST:: SOT 6227799 SOS 2087724 HAS SOPS 2087724 HAS SOUS 783286 HAS SOUPS 783286 WITH SCORE 785373.724
Bounds file is: CTLFireability.xml
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-00 ( (EG( (! ( ( ((potential((tk(P805)>=1) & (tk(P724)>=1)))) | ((potential((tk(P805)>=1) & (tk(P724)>=1)))) ) | ((potential((tk(P1012)>=1) & (tk(P688)>=1)))) )))) | (! (EX( (EF( ((potential((tk(P1311)>=1) & (tk(P581)>=1))))))))) )
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-01 (! ( ((potential((tk(P1128)>=1) & (tk(P129)>=1)))) & (! (! (AF( ((potential((tk(P1022)>=1) & (tk(P698)>=1)))))))) ))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-02 (AX( ( (AF( ( ((potential((tk(P1558)>=1) & (tk(P673)>=1)))) & ((potential((tk(P1699)>=1) & (tk(P729)>=1)))) ))) & (EF( (! ((potential((tk(P801)>=1) & (tk(P720)>=1))))))) )))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-03 (EU( ((potential((tk(P1942)>=1) & (tk(P403)>=1)))) , ( (! ( ((potential((tk(P1043)>=1) & (tk(P719)>=1)))) | ((potential((tk(P1184)>=1) & (tk(P284)>=1)))) )) & (EF( ((potential((tk(P1638)>=1) & (tk(P665)>=1)))))) ) ))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-04 (AX( (! (EF( ( ((potential((tk(P1670)>=1) & (tk(P697)>=1)))) & ((potential((tk(P1617)>=1) & (tk(P723)>=1)))) ))))))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-05 ( (EX( (EG( (! ((potential((tk(P1681)>=1) & (tk(P711)>=1))))))))) | (AU( (! (! ((potential((tk(P1620)>=1) & (tk(P726)>=1)))))) , (! (! ((potential((tk(P867)>=1) & (tk(P705)>=1)))))) )) )
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-06 (! (AG( (AF( (! ((potential((tk(P1478)>=1) & (tk(P659)>=1))))))))))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-07 (AG( (EG( (AF( ((potential((tk(P1060)>=1) & (tk(P142)>=1))))))))))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-08 ( (AG( (! (EG( ((potential((tk(P1017)>=1) & (tk(P693)>=1))))))))) | (EG( (EX( (! ((potential((tk(P1468)>=1) & (tk(P649)>=1))))))))) )
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-09 ( ( ( (AG( ( ((potential((tk(P1566)>=1) & (tk(P672)>=1)))) & ((potential((tk(P850)>=1) & (tk(P688)>=1)))) ))) | (AX( ((potential((tk(P1643)>=1) & (tk(P670)>=1)))))) ) & (EX( (AG( ((potential((tk(P919)>=1) & (tk(P676)>=1)))))))) ) | (EF( (EX( ( ((potential((tk(P1623)>=1) & (tk(P650)>=1)))) & ((potential((tk(P1608)>=1) & (tk(P714)>=1)))) ))))) )
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-10 (! (! (EG( (! ( ((potential((tk(P777)>=1) & (tk(P696)>=1)))) & ((potential((tk(P768)>=1) & (tk(P687)>=1)))) ))))))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-11 (EX( (AG( (AF( ((potential((tk(P776)>=1) & (tk(P695)>=1))))))))))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-12 (AG( (AF( ( ( ((potential((tk(P738)>=1) & (tk(P657)>=1)))) & ((potential((tk(P1002)>=1) & (tk(P678)>=1)))) ) | ( ((potential((tk(P1010)>=1) & (tk(P686)>=1)))) | ((potential((tk(P859)>=1) & (tk(P697)>=1)))) ) )))))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-13 (! (EX( ( ( ( ((potential((tk(P1656)>=1) & (tk(P683)>=1)))) & ((potential((tk(P761)>=1) & (tk(P680)>=1)))) ) | ( ((potential((tk(P1498)>=1) & (tk(P679)>=1)))) | ((potential((tk(P912)>=1) & (tk(P669)>=1)))) ) ) & (AF( ((potential((tk(P1479)>=1) & (tk(P660)>=1)))))) ))))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-14 (! (EF( (AX( (! ((potential((tk(P1241)>=1) & (tk(P428)>=1))))))))))
PROPERTY: HypertorusGrid-PT-d4k3p2b08-CTLFireability-15 (! ( (AG( (AF( ((potential((tk(P1626)>=1) & (tk(P653)>=1)))))))) & ( (! (AF( ((potential((tk(P787)>=1) & (tk(P706)>=1))))))) | (! (EX( ((potential((tk(P1115)>=1) & (tk(P116)>=1))))))) ) ))
BK_STOP 1589616357093
--------------------
content from stderr:
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 461 Aborted ${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="CTLFireability"
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 CTLFireability"
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-158940140400308"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;