Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r387-oct2-167903711800392.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldPPPs-PT-003A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711800392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 492K
-rw-r--r-- 1 mcc users 7.3K Feb 26 01:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 01:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 01:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 01:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 01:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 26 01:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 01:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 01:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 27K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679063963987

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPs-PT-003A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 003A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 96 places, 81 transitions, 306 arcs.
AT ITER 0 NEW BEST:: SOT 5070 SOS 3635 HAS SOPS 3635 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2930.635
AT ITER 5 NEW BEST:: SOT 4993 SOS 3596 HAS SOPS 3596 HAS SOUS 2883 HAS SOUPS 2883 WITH SCORE 2886.596
AT ITER 6 NEW BEST:: SOT 4977 SOS 3579 HAS SOPS 3579 HAS SOUS 2866 HAS SOUPS 2866 WITH SCORE 2869.579
AT ITER 10 NEW BEST:: SOT 4958 SOS 3558 HAS SOPS 3558 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2848.558
AT ITER 14 NEW BEST:: SOT 4930 SOS 3531 HAS SOPS 3531 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2799.531
AT ITER 19 NEW BEST:: SOT 4925 SOS 3526 HAS SOPS 3526 HAS SOUS 2791 HAS SOUPS 2791 WITH SCORE 2794.526
AT ITER 20 NEW BEST:: SOT 4885 SOS 3484 HAS SOPS 3484 HAS SOUS 2749 HAS SOUPS 2749 WITH SCORE 2752.484
AT ITER 27 NEW BEST:: SOT 4891 SOS 3486 HAS SOPS 3486 HAS SOUS 2743 HAS SOUPS 2743 WITH SCORE 2746.486
AT ITER 28 NEW BEST:: SOT 4909 SOS 3489 HAS SOPS 3489 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2743.489
AT ITER 33 NEW BEST:: SOT 4908 SOS 3488 HAS SOPS 3488 HAS SOUS 2739 HAS SOUPS 2739 WITH SCORE 2742.488
AT ITER 40 NEW BEST:: SOT 4863 SOS 3443 HAS SOPS 3443 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2697.443
AT ITER 42 NEW BEST:: SOT 4852 SOS 3424 HAS SOPS 3424 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2666.424
AT ITER 52 NEW BEST:: SOT 4855 SOS 3418 HAS SOPS 3418 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2654.418
AT ITER 54 NEW BEST:: SOT 4850 SOS 3413 HAS SOPS 3413 HAS SOUS 2646 HAS SOUPS 2646 WITH SCORE 2649.413
AT ITER 59 NEW BEST:: SOT 4851 SOS 3414 HAS SOPS 3414 HAS SOUS 2645 HAS SOUPS 2645 WITH SCORE 2648.414
AT ITER 74 NEW BEST:: SOT 4855 SOS 3413 HAS SOPS 3413 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2642.413
AT ITER 84 NEW BEST:: SOT 4859 SOS 3324 HAS SOPS 3324 HAS SOUS 2615 HAS SOUPS 2615 WITH SCORE 2618.324
AT ITER 105 NEW BEST:: SOT 4843 SOS 3300 HAS SOPS 3300 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2594.3
AT ITER 110 NEW BEST:: SOT 4817 SOS 3249 HAS SOPS 3249 HAS SOUS 2523 HAS SOUPS 2523 WITH SCORE 2526.249
AT ITER 114 NEW BEST:: SOT 4817 SOS 3243 HAS SOPS 3243 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2520.243
AT ITER 121 NEW BEST:: SOT 4805 SOS 3228 HAS SOPS 3228 HAS SOUS 2500 HAS SOUPS 2500 WITH SCORE 2503.228
AT ITER 135 NEW BEST:: SOT 4805 SOS 3226 HAS SOPS 3226 HAS SOUS 2498 HAS SOUPS 2498 WITH SCORE 2501.226
AT ITER 140 NEW BEST:: SOT 4805 SOS 3203 HAS SOPS 3203 HAS SOUS 2480 HAS SOUPS 2480 WITH SCORE 2483.203
AT ITER 142 NEW BEST:: SOT 4799 SOS 3185 HAS SOPS 3185 HAS SOUS 2462 HAS SOUPS 2462 WITH SCORE 2465.185
AT ITER 145 NEW BEST:: SOT 4791 SOS 3145 HAS SOPS 3145 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2463.145
AT ITER 159 NEW BEST:: SOT 4791 SOS 3142 HAS SOPS 3142 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2460.142
AT ITER 164 NEW BEST:: SOT 4786 SOS 3145 HAS SOPS 3145 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2458.145
AT ITER 167 NEW BEST:: SOT 4798 SOS 3154 HAS SOPS 3154 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2456.154
AT ITER 169 NEW BEST:: SOT 4799 SOS 3137 HAS SOPS 3137 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2456.137
AT ITER 179 NEW BEST:: SOT 4780 SOS 3118 HAS SOPS 3118 HAS SOUS 2434 HAS SOUPS 2434 WITH SCORE 2437.118
AT ITER 182 NEW BEST:: SOT 4761 SOS 3099 HAS SOPS 3099 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2417.099
AT ITER 187 NEW BEST:: SOT 4759 SOS 3097 HAS SOPS 3097 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2415.097
AT ITER 198 NEW BEST:: SOT 4734 SOS 3061 HAS SOPS 3061 HAS SOUS 2343 HAS SOUPS 2343 WITH SCORE 2346.061
AT ITER 202 NEW BEST:: SOT 4734 SOS 2988 HAS SOPS 2988 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2342.988
AT ITER 221 NEW BEST:: SOT 4729 SOS 2956 HAS SOPS 2956 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2310.956
AT ITER 227 NEW BEST:: SOT 4726 SOS 2863 HAS SOPS 2863 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2285.863
AT ITER 244 NEW BEST:: SOT 4726 SOS 2850 HAS SOPS 2850 HAS SOUS 2282 HAS SOUPS 2282 WITH SCORE 2284.85
AT ITER 250 NEW BEST:: SOT 4722 SOS 2844 HAS SOPS 2844 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2278.844
AT ITER 251 NEW BEST:: SOT 4720 SOS 2841 HAS SOPS 2841 HAS SOUS 2273 HAS SOUPS 2273 WITH SCORE 2275.841
AT ITER 262 NEW BEST:: SOT 4723 SOS 2830 HAS SOPS 2830 HAS SOUS 2262 HAS SOUPS 2262 WITH SCORE 2264.83
AT ITER 263 NEW BEST:: SOT 4733 SOS 2762 HAS SOPS 2762 HAS SOUS 2253 HAS SOUPS 2253 WITH SCORE 2255.762
AT ITER 265 NEW BEST:: SOT 4730 SOS 2759 HAS SOPS 2759 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2252.759
AT ITER 280 NEW BEST:: SOT 4721 SOS 2687 HAS SOPS 2687 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.687
AT ITER 286 NEW BEST:: SOT 4715 SOS 2678 HAS SOPS 2678 HAS SOUS 2200 HAS SOUPS 2200 WITH SCORE 2202.678
AT ITER 302 NEW BEST:: SOT 4719 SOS 2689 HAS SOPS 2689 HAS SOUS 2199 HAS SOUPS 2199 WITH SCORE 2201.689
AT ITER 307 NEW BEST:: SOT 4714 SOS 2684 HAS SOPS 2684 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2196.684
AT ITER 310 NEW BEST:: SOT 4709 SOS 2678 HAS SOPS 2678 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2190.678
AT ITER 313 NEW BEST:: SOT 4689 SOS 2651 HAS SOPS 2651 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2163.651
AT ITER 314 NEW BEST:: SOT 4689 SOS 2649 HAS SOPS 2649 HAS SOUS 2156 HAS SOUPS 2156 WITH SCORE 2158.649
AT ITER 330 NEW BEST:: SOT 4677 SOS 2612 HAS SOPS 2612 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2119.612
AT ITER 337 NEW BEST:: SOT 4660 SOS 2605 HAS SOPS 2605 HAS SOUS 2110 HAS SOUPS 2110 WITH SCORE 2112.605
AT ITER 340 NEW BEST:: SOT 4651 SOS 2596 HAS SOPS 2596 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2103.596
AT ITER 351 NEW BEST:: SOT 4649 SOS 2585 HAS SOPS 2585 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2103.585
AT ITER 358 NEW BEST:: SOT 4649 SOS 2557 HAS SOPS 2557 HAS SOUS 2097 HAS SOUPS 2097 WITH SCORE 2099.557
AT ITER 360 NEW BEST:: SOT 4635 SOS 2522 HAS SOPS 2522 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.522
AT ITER 367 NEW BEST:: SOT 4632 SOS 2519 HAS SOPS 2519 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2068.519
AT ITER 380 NEW BEST:: SOT 4607 SOS 2450 HAS SOPS 2450 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2064.45
AT ITER 394 NEW BEST:: SOT 4607 SOS 2433 HAS SOPS 2433 HAS SOUS 2055 HAS SOUPS 2055 WITH SCORE 2057.433
AT ITER 403 NEW BEST:: SOT 4601 SOS 2427 HAS SOPS 2427 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2051.427
AT ITER 410 NEW BEST:: SOT 4617 SOS 2420 HAS SOPS 2420 HAS SOUS 2046 HAS SOUPS 2046 WITH SCORE 2048.42
AT ITER 411 NEW BEST:: SOT 4611 SOS 2414 HAS SOPS 2414 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2042.414
AT ITER 418 NEW BEST:: SOT 4602 SOS 2376 HAS SOPS 2376 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2025.376
AT ITER 422 NEW BEST:: SOT 4596 SOS 2364 HAS SOPS 2364 HAS SOUS 2022 HAS SOUPS 2022 WITH SCORE 2024.364
AT ITER 426 NEW BEST:: SOT 4587 SOS 2362 HAS SOPS 2362 HAS SOUS 2021 HAS SOUPS 2021 WITH SCORE 2023.362
AT ITER 434 NEW BEST:: SOT 4583 SOS 2358 HAS SOPS 2358 HAS SOUS 2017 HAS SOUPS 2017 WITH SCORE 2019.358
AT ITER 443 NEW BEST:: SOT 4582 SOS 2354 HAS SOPS 2354 HAS SOUS 2010 HAS SOUPS 2010 WITH SCORE 2012.354
AT ITER 452 NEW BEST:: SOT 4578 SOS 2348 HAS SOPS 2348 HAS SOUS 2004 HAS SOUPS 2004 WITH SCORE 2006.348
AT ITER 453 NEW BEST:: SOT 4575 SOS 2345 HAS SOPS 2345 HAS SOUS 2001 HAS SOUPS 2001 WITH SCORE 2003.345
AT ITER 457 NEW BEST:: SOT 4628 SOS 2332 HAS SOPS 2332 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1985.332
AT ITER 465 NEW BEST:: SOT 4626 SOS 2328 HAS SOPS 2328 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1981.328
AT ITER 478 NEW BEST:: SOT 4620 SOS 2316 HAS SOPS 2316 HAS SOUS 1963 HAS SOUPS 1963 WITH SCORE 1965.316
AT ITER 480 NEW BEST:: SOT 4620 SOS 2296 HAS SOPS 2296 HAS SOUS 1963 HAS SOUPS 1963 WITH SCORE 1965.296
AT ITER 481 NEW BEST:: SOT 4620 SOS 2294 HAS SOPS 2294 HAS SOUS 1961 HAS SOUPS 1961 WITH SCORE 1963.294
AT ITER 482 NEW BEST:: SOT 4620 SOS 2292 HAS SOPS 2292 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1961.292
AT ITER 488 NEW BEST:: SOT 4620 SOS 2308 HAS SOPS 2308 HAS SOUS 1953 HAS SOUPS 1953 WITH SCORE 1955.308
AT ITER 512 NEW BEST:: SOT 4624 SOS 2329 HAS SOPS 2329 HAS SOUS 1941 HAS SOUPS 1941 WITH SCORE 1943.329
AT ITER 519 NEW BEST:: SOT 4630 SOS 2314 HAS SOPS 2314 HAS SOUS 1916 HAS SOUPS 1916 WITH SCORE 1918.314
AT ITER 541 NEW BEST:: SOT 4621 SOS 2292 HAS SOPS 2292 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1903.292
AT ITER 577 NEW BEST:: SOT 4619 SOS 2289 HAS SOPS 2289 HAS SOUS 1898 HAS SOUPS 1898 WITH SCORE 1900.289
AT ITER 578 NEW BEST:: SOT 4615 SOS 2282 HAS SOPS 2282 HAS SOUS 1891 HAS SOUPS 1891 WITH SCORE 1893.282
AT ITER 591 NEW BEST:: SOT 4615 SOS 2279 HAS SOPS 2279 HAS SOUS 1890 HAS SOUPS 1890 WITH SCORE 1892.279
AT ITER 592 NEW BEST:: SOT 4614 SOS 2278 HAS SOPS 2278 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1891.278
AT ITER 630 NEW BEST:: SOT 4618 SOS 2269 HAS SOPS 2269 HAS SOUS 1886 HAS SOUPS 1886 WITH SCORE 1888.269
AT ITER 634 NEW BEST:: SOT 4607 SOS 2254 HAS SOPS 2254 HAS SOUS 1871 HAS SOUPS 1871 WITH SCORE 1873.254
AT ITER 646 NEW BEST:: SOT 4606 SOS 2243 HAS SOPS 2243 HAS SOUS 1857 HAS SOUPS 1857 WITH SCORE 1859.243
AT ITER 651 NEW BEST:: SOT 4604 SOS 2224 HAS SOPS 2224 HAS SOUS 1853 HAS SOUPS 1853 WITH SCORE 1855.224
AT ITER 663 NEW BEST:: SOT 4603 SOS 2222 HAS SOPS 2222 HAS SOUS 1850 HAS SOUPS 1850 WITH SCORE 1852.222
AT ITER 670 NEW BEST:: SOT 4602 SOS 2216 HAS SOPS 2216 HAS SOUS 1816 HAS SOUPS 1816 WITH SCORE 1818.216
AT ITER 680 NEW BEST:: SOT 4602 SOS 2216 HAS SOPS 2216 HAS SOUS 1815 HAS SOUPS 1815 WITH SCORE 1817.216
AT ITER 700 NEW BEST:: SOT 4591 SOS 2202 HAS SOPS 2202 HAS SOUS 1801 HAS SOUPS 1801 WITH SCORE 1803.202
AT ITER 702 NEW BEST:: SOT 4592 SOS 2203 HAS SOPS 2203 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1798.203
AT ITER 711 NEW BEST:: SOT 4590 SOS 2194 HAS SOPS 2194 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1785.194
AT ITER 717 NEW BEST:: SOT 4588 SOS 2192 HAS SOPS 2192 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1783.192
AT ITER 720 NEW BEST:: SOT 4586 SOS 2186 HAS SOPS 2186 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1779.186
AT ITER 731 NEW BEST:: SOT 4585 SOS 2185 HAS SOPS 2185 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1779.185
AT ITER 754 NEW BEST:: SOT 4590 SOS 2119 HAS SOPS 2119 HAS SOUS 1766 HAS SOUPS 1766 WITH SCORE 1768.119
AT ITER 761 NEW BEST:: SOT 4591 SOS 2115 HAS SOPS 2115 HAS SOUS 1757 HAS SOUPS 1757 WITH SCORE 1759.115
AT ITER 763 NEW BEST:: SOT 4585 SOS 2100 HAS SOPS 2100 HAS SOUS 1742 HAS SOUPS 1742 WITH SCORE 1744.1
AT ITER 771 NEW BEST:: SOT 4585 SOS 2058 HAS SOPS 2058 HAS SOUS 1686 HAS SOUPS 1686 WITH SCORE 1688.058
AT ITER 775 NEW BEST:: SOT 4584 SOS 2056 HAS SOPS 2056 HAS SOUS 1684 HAS SOUPS 1684 WITH SCORE 1686.056
AT ITER 804 NEW BEST:: SOT 4581 SOS 2059 HAS SOPS 2059 HAS SOUS 1681 HAS SOUPS 1681 WITH SCORE 1683.059
AT ITER 806 NEW BEST:: SOT 4577 SOS 2055 HAS SOPS 2055 HAS SOUS 1677 HAS SOUPS 1677 WITH SCORE 1679.055
AT ITER 808 NEW BEST:: SOT 4577 SOS 2055 HAS SOPS 2055 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1678.055
AT ITER 809 NEW BEST:: SOT 4578 SOS 2058 HAS SOPS 2058 HAS SOUS 1672 HAS SOUPS 1672 WITH SCORE 1674.058
AT ITER 831 NEW BEST:: SOT 4570 SOS 2047 HAS SOPS 2047 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1667.047
AT ITER 833 NEW BEST:: SOT 4556 SOS 2091 HAS SOPS 2091 HAS SOUS 1647 HAS SOUPS 1647 WITH SCORE 1649.091
AT ITER 867 NEW BEST:: SOT 4544 SOS 2076 HAS SOPS 2076 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1623.076
AT ITER 884 NEW BEST:: SOT 4543 SOS 2074 HAS SOPS 2074 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1622.074
AT ITER 887 NEW BEST:: SOT 4543 SOS 2071 HAS SOPS 2071 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1622.071
AT ITER 888 NEW BEST:: SOT 4553 SOS 2099 HAS SOPS 2099 HAS SOUS 1615 HAS SOUPS 1615 WITH SCORE 1617.099
AT ITER 913 NEW BEST:: SOT 4546 SOS 2094 HAS SOPS 2094 HAS SOUS 1612 HAS SOUPS 1612 WITH SCORE 1614.094
AT ITER 917 NEW BEST:: SOT 4550 SOS 2050 HAS SOPS 2050 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1599.05
AT ITER 967 NEW BEST:: SOT 4550 SOS 2048 HAS SOPS 2048 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1599.048
AT ITER 988 NEW BEST:: SOT 4544 SOS 2034 HAS SOPS 2034 HAS SOUS 1583 HAS SOUPS 1583 WITH SCORE 1585.034
AT ITER 996 NEW BEST:: SOT 4544 SOS 2028 HAS SOPS 2028 HAS SOUS 1577 HAS SOUPS 1577 WITH SCORE 1579.028
AT ITER 1007 NEW BEST:: SOT 4541 SOS 2025 HAS SOPS 2025 HAS SOUS 1574 HAS SOUPS 1574 WITH SCORE 1576.025
AT ITER 1019 NEW BEST:: SOT 4541 SOS 2016 HAS SOPS 2016 HAS SOUS 1570 HAS SOUPS 1570 WITH SCORE 1572.016
AT ITER 1021 NEW BEST:: SOT 4539 SOS 2015 HAS SOPS 2015 HAS SOUS 1567 HAS SOUPS 1567 WITH SCORE 1569.015
AT ITER 1024 NEW BEST:: SOT 4531 SOS 2006 HAS SOPS 2006 HAS SOUS 1558 HAS SOUPS 1558 WITH SCORE 1560.006
AT ITER 1069 NEW BEST:: SOT 4531 SOS 1998 HAS SOPS 1998 HAS SOUS 1558 HAS SOUPS 1558 WITH SCORE 1559.998
AT ITER 1094 NEW BEST:: SOT 4514 SOS 1964 HAS SOPS 1964 HAS SOUS 1524 HAS SOUPS 1524 WITH SCORE 1525.964
AT ITER 1104 NEW BEST:: SOT 4513 SOS 1960 HAS SOPS 1960 HAS SOUS 1522 HAS SOUPS 1522 WITH SCORE 1523.96
AT ITER 1109 NEW BEST:: SOT 4514 SOS 1942 HAS SOPS 1942 HAS SOUS 1515 HAS SOUPS 1515 WITH SCORE 1516.942
AT ITER 1128 NEW BEST:: SOT 4512 SOS 1940 HAS SOPS 1940 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1514.94
AT ITER 1131 NEW BEST:: SOT 4512 SOS 1932 HAS SOPS 1932 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1514.932
AT ITER 1135 NEW BEST:: SOT 4494 SOS 1915 HAS SOPS 1915 HAS SOUS 1500 HAS SOUPS 1500 WITH SCORE 1501.915
AT ITER 1156 NEW BEST:: SOT 4493 SOS 1908 HAS SOPS 1908 HAS SOUS 1500 HAS SOUPS 1500 WITH SCORE 1501.908
AT ITER 1162 NEW BEST:: SOT 4489 SOS 1895 HAS SOPS 1895 HAS SOUS 1491 HAS SOUPS 1491 WITH SCORE 1492.895
AT ITER 1180 NEW BEST:: SOT 4489 SOS 1803 HAS SOPS 1803 HAS SOUS 1463 HAS SOUPS 1463 WITH SCORE 1464.803
AT ITER 1183 NEW BEST:: SOT 4487 SOS 1801 HAS SOPS 1801 HAS SOUS 1461 HAS SOUPS 1461 WITH SCORE 1462.801
AT ITER 1190 NEW BEST:: SOT 4462 SOS 1727 HAS SOPS 1727 HAS SOUS 1454 HAS SOUPS 1454 WITH SCORE 1455.727
AT ITER 1193 NEW BEST:: SOT 4462 SOS 1719 HAS SOPS 1719 HAS SOUS 1454 HAS SOUPS 1454 WITH SCORE 1455.719
AT ITER 1203 NEW BEST:: SOT 4462 SOS 1699 HAS SOPS 1699 HAS SOUS 1438 HAS SOUPS 1438 WITH SCORE 1439.699
AT ITER 1216 NEW BEST:: SOT 4462 SOS 1691 HAS SOPS 1691 HAS SOUS 1430 HAS SOUPS 1430 WITH SCORE 1431.691
AT ITER 1223 NEW BEST:: SOT 4462 SOS 1662 HAS SOPS 1662 HAS SOUS 1427 HAS SOUPS 1427 WITH SCORE 1428.662
AT ITER 1244 NEW BEST:: SOT 4459 SOS 1661 HAS SOPS 1661 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1427.661
AT ITER 1248 NEW BEST:: SOT 4467 SOS 1664 HAS SOPS 1664 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1418.664
AT ITER 1278 NEW BEST:: SOT 4469 SOS 1666 HAS SOPS 1666 HAS SOUS 1416 HAS SOUPS 1416 WITH SCORE 1417.666
AT ITER 1297 NEW BEST:: SOT 4466 SOS 1665 HAS SOPS 1665 HAS SOUS 1414 HAS SOUPS 1414 WITH SCORE 1415.665
AT ITER 1357 NEW BEST:: SOT 4466 SOS 1659 HAS SOPS 1659 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1413.659
AT ITER 1367 NEW BEST:: SOT 4464 SOS 1651 HAS SOPS 1651 HAS SOUS 1402 HAS SOUPS 1402 WITH SCORE 1403.651
AT ITER 1408 NEW BEST:: SOT 4462 SOS 1647 HAS SOPS 1647 HAS SOUS 1400 HAS SOUPS 1400 WITH SCORE 1401.647
AT ITER 1412 NEW BEST:: SOT 4463 SOS 1644 HAS SOPS 1644 HAS SOUS 1385 HAS SOUPS 1385 WITH SCORE 1386.644
AT ITER 1416 NEW BEST:: SOT 4463 SOS 1632 HAS SOPS 1632 HAS SOUS 1385 HAS SOUPS 1385 WITH SCORE 1386.632
AT ITER 1447 NEW BEST:: SOT 4459 SOS 1620 HAS SOPS 1620 HAS SOUS 1377 HAS SOUPS 1377 WITH SCORE 1378.62
AT ITER 1453 NEW BEST:: SOT 4458 SOS 1617 HAS SOPS 1617 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1375.617
AT ITER 1473 NEW BEST:: SOT 4450 SOS 1616 HAS SOPS 1616 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1375.616
AT ITER 1497 NEW BEST:: SOT 4448 SOS 1608 HAS SOPS 1608 HAS SOUS 1368 HAS SOUPS 1368 WITH SCORE 1369.608
AT ITER 1517 NEW BEST:: SOT 4443 SOS 1589 HAS SOPS 1589 HAS SOUS 1361 HAS SOUPS 1361 WITH SCORE 1362.589
AT ITER 1532 NEW BEST:: SOT 4440 SOS 1584 HAS SOPS 1584 HAS SOUS 1357 HAS SOUPS 1357 WITH SCORE 1358.584
AT ITER 1538 NEW BEST:: SOT 4440 SOS 1581 HAS SOPS 1581 HAS SOUS 1352 HAS SOUPS 1352 WITH SCORE 1353.581
AT ITER 1595 NEW BEST:: SOT 4436 SOS 1563 HAS SOPS 1563 HAS SOUS 1341 HAS SOUPS 1341 WITH SCORE 1342.563
AT ITER 1632 NEW BEST:: SOT 4437 SOS 1560 HAS SOPS 1560 HAS SOUS 1340 HAS SOUPS 1340 WITH SCORE 1341.56
AT ITER 1636 NEW BEST:: SOT 4433 SOS 1560 HAS SOPS 1560 HAS SOUS 1336 HAS SOUPS 1336 WITH SCORE 1337.56
AT ITER 1651 NEW BEST:: SOT 4433 SOS 1558 HAS SOPS 1558 HAS SOUS 1334 HAS SOUPS 1334 WITH SCORE 1335.558
AT ITER 1682 NEW BEST:: SOT 4429 SOS 1557 HAS SOPS 1557 HAS SOUS 1334 HAS SOUPS 1334 WITH SCORE 1335.557
AT ITER 1685 NEW BEST:: SOT 4423 SOS 1551 HAS SOPS 1551 HAS SOUS 1330 HAS SOUPS 1330 WITH SCORE 1331.551
AT ITER 1698 NEW BEST:: SOT 4412 SOS 1537 HAS SOPS 1537 HAS SOUS 1311 HAS SOUPS 1311 WITH SCORE 1312.537
AT ITER 1736 NEW BEST:: SOT 4405 SOS 1531 HAS SOPS 1531 HAS SOUS 1305 HAS SOUPS 1305 WITH SCORE 1306.531
AT ITER 1750 NEW BEST:: SOT 4394 SOS 1520 HAS SOPS 1520 HAS SOUS 1294 HAS SOUPS 1294 WITH SCORE 1295.52
AT ITER 1761 NEW BEST:: SOT 4394 SOS 1535 HAS SOPS 1535 HAS SOUS 1292 HAS SOUPS 1292 WITH SCORE 1293.535
AT ITER 1775 NEW BEST:: SOT 4393 SOS 1534 HAS SOPS 1534 HAS SOUS 1291 HAS SOUPS 1291 WITH SCORE 1292.534
AT ITER 1785 NEW BEST:: SOT 4385 SOS 1521 HAS SOPS 1521 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1289.521
AT ITER 1798 NEW BEST:: SOT 4379 SOS 1509 HAS SOPS 1509 HAS SOUS 1276 HAS SOUPS 1276 WITH SCORE 1277.509
AT ITER 1820 NEW BEST:: SOT 4379 SOS 1511 HAS SOPS 1511 HAS SOUS 1274 HAS SOUPS 1274 WITH SCORE 1275.511
AT ITER 1823 NEW BEST:: SOT 4365 SOS 1489 HAS SOPS 1489 HAS SOUS 1256 HAS SOUPS 1256 WITH SCORE 1257.489
AT ITER 1859 NEW BEST:: SOT 4365 SOS 1483 HAS SOPS 1483 HAS SOUS 1253 HAS SOUPS 1253 WITH SCORE 1254.483
AT ITER 1864 NEW BEST:: SOT 4363 SOS 1481 HAS SOPS 1481 HAS SOUS 1251 HAS SOUPS 1251 WITH SCORE 1252.481
AT ITER 1883 NEW BEST:: SOT 4395 SOS 1451 HAS SOPS 1451 HAS SOUS 1249 HAS SOUPS 1249 WITH SCORE 1250.451
AT ITER 1892 NEW BEST:: SOT 4392 SOS 1447 HAS SOPS 1447 HAS SOUS 1245 HAS SOUPS 1245 WITH SCORE 1246.447
AT ITER 1969 NEW BEST:: SOT 4387 SOS 1440 HAS SOPS 1440 HAS SOUS 1234 HAS SOUPS 1234 WITH SCORE 1235.44
AT ITER 1979 NEW BEST:: SOT 4387 SOS 1440 HAS SOPS 1440 HAS SOUS 1233 HAS SOUPS 1233 WITH SCORE 1234.44
AT ITER 1986 NEW BEST:: SOT 4378 SOS 1436 HAS SOPS 1436 HAS SOUS 1220 HAS SOUPS 1220 WITH SCORE 1221.436
AT ITER 1995 NEW BEST:: SOT 4375 SOS 1431 HAS SOPS 1431 HAS SOUS 1216 HAS SOUPS 1216 WITH SCORE 1217.431
AT ITER 2007 NEW BEST:: SOT 4363 SOS 1426 HAS SOPS 1426 HAS SOUS 1211 HAS SOUPS 1211 WITH SCORE 1212.426
AT ITER 2070 NEW BEST:: SOT 4338 SOS 1400 HAS SOPS 1400 HAS SOUS 1195 HAS SOUPS 1195 WITH SCORE 1196.4
AT ITER 2077 NEW BEST:: SOT 4334 SOS 1388 HAS SOPS 1388 HAS SOUS 1187 HAS SOUPS 1187 WITH SCORE 1188.388
AT ITER 2085 NEW BEST:: SOT 4327 SOS 1370 HAS SOPS 1370 HAS SOUS 1169 HAS SOUPS 1169 WITH SCORE 1170.37
AT ITER 2088 NEW BEST:: SOT 4321 SOS 1364 HAS SOPS 1364 HAS SOUS 1165 HAS SOUPS 1165 WITH SCORE 1166.364
AT ITER 2153 NEW BEST:: SOT 4319 SOS 1363 HAS SOPS 1363 HAS SOUS 1164 HAS SOUPS 1164 WITH SCORE 1165.363
AT ITER 2163 NEW BEST:: SOT 4319 SOS 1352 HAS SOPS 1352 HAS SOUS 1153 HAS SOUPS 1153 WITH SCORE 1154.352
AT ITER 2193 NEW BEST:: SOT 4316 SOS 1348 HAS SOPS 1348 HAS SOUS 1149 HAS SOUPS 1149 WITH SCORE 1150.348
AT ITER 2196 NEW BEST:: SOT 4320 SOS 1346 HAS SOPS 1346 HAS SOUS 1147 HAS SOUPS 1147 WITH SCORE 1148.346
AT ITER 2253 NEW BEST:: SOT 4312 SOS 1338 HAS SOPS 1338 HAS SOUS 1139 HAS SOUPS 1139 WITH SCORE 1140.338
AT ITER 2330 NEW BEST:: SOT 4308 SOS 1334 HAS SOPS 1334 HAS SOUS 1135 HAS SOUPS 1135 WITH SCORE 1136.334
AT ITER 2336 NEW BEST:: SOT 4305 SOS 1306 HAS SOPS 1306 HAS SOUS 1130 HAS SOUPS 1130 WITH SCORE 1131.306
AT ITER 2348 NEW BEST:: SOT 4299 SOS 1300 HAS SOPS 1300 HAS SOUS 1123 HAS SOUPS 1123 WITH SCORE 1124.3
AT ITER 2379 NEW BEST:: SOT 4298 SOS 1299 HAS SOPS 1299 HAS SOUS 1122 HAS SOUPS 1122 WITH SCORE 1123.299
AT ITER 2410 NEW BEST:: SOT 4290 SOS 1284 HAS SOPS 1284 HAS SOUS 1101 HAS SOUPS 1101 WITH SCORE 1102.284
AT ITER 2440 NEW BEST:: SOT 4290 SOS 1284 HAS SOPS 1284 HAS SOUS 1099 HAS SOUPS 1099 WITH SCORE 1100.284
AT ITER 2483 NEW BEST:: SOT 4281 SOS 1273 HAS SOPS 1273 HAS SOUS 1090 HAS SOUPS 1090 WITH SCORE 1091.273
AT ITER 2487 NEW BEST:: SOT 4276 SOS 1268 HAS SOPS 1268 HAS SOUS 1085 HAS SOUPS 1085 WITH SCORE 1086.268
AT ITER 2578 NEW BEST:: SOT 4272 SOS 1255 HAS SOPS 1255 HAS SOUS 1080 HAS SOUPS 1080 WITH SCORE 1081.255
AT ITER 2580 NEW BEST:: SOT 4272 SOS 1255 HAS SOPS 1255 HAS SOUS 1078 HAS SOUPS 1078 WITH SCORE 1079.255
AT ITER 2593 NEW BEST:: SOT 4271 SOS 1250 HAS SOPS 1250 HAS SOUS 1075 HAS SOUPS 1075 WITH SCORE 1076.25
AT ITER 2655 NEW BEST:: SOT 4267 SOS 1239 HAS SOPS 1239 HAS SOUS 1073 HAS SOUPS 1073 WITH SCORE 1074.239
AT ITER 2733 NEW BEST:: SOT 4266 SOS 1237 HAS SOPS 1237 HAS SOUS 1073 HAS SOUPS 1073 WITH SCORE 1074.237
AT ITER 2780 NEW BEST:: SOT 4264 SOS 1232 HAS SOPS 1232 HAS SOUS 1071 HAS SOUPS 1071 WITH SCORE 1072.232
AT ITER 2781 NEW BEST:: SOT 4257 SOS 1219 HAS SOPS 1219 HAS SOUS 1062 HAS SOUPS 1062 WITH SCORE 1063.219
AT ITER 2806 NEW BEST:: SOT 4251 SOS 1213 HAS SOPS 1213 HAS SOUS 1057 HAS SOUPS 1057 WITH SCORE 1058.213
AT ITER 2833 NEW BEST:: SOT 4249 SOS 1205 HAS SOPS 1205 HAS SOUS 1051 HAS SOUPS 1051 WITH SCORE 1052.205
AT ITER 2866 NEW BEST:: SOT 4249 SOS 1205 HAS SOPS 1205 HAS SOUS 1049 HAS SOUPS 1049 WITH SCORE 1050.205
AT ITER 2966 NEW BEST:: SOT 4250 SOS 1214 HAS SOPS 1214 HAS SOUS 1047 HAS SOUPS 1047 WITH SCORE 1048.214
AT ITER 3000 NEW BEST:: SOT 4245 SOS 1209 HAS SOPS 1209 HAS SOUS 1043 HAS SOUPS 1043 WITH SCORE 1044.209
AT ITER 3047 NEW BEST:: SOT 4245 SOS 1197 HAS SOPS 1197 HAS SOUS 1043 HAS SOUPS 1043 WITH SCORE 1044.197
AT ITER 3104 NEW BEST:: SOT 4244 SOS 1196 HAS SOPS 1196 HAS SOUS 1043 HAS SOUPS 1043 WITH SCORE 1044.196
AT ITER 3254 NEW BEST:: SOT 4243 SOS 1193 HAS SOPS 1193 HAS SOUS 1040 HAS SOUPS 1040 WITH SCORE 1041.193
AT ITER 3260 NEW BEST:: SOT 4242 SOS 1190 HAS SOPS 1190 HAS SOUS 1040 HAS SOUPS 1040 WITH SCORE 1041.19
AT ITER 3289 NEW BEST:: SOT 4242 SOS 1188 HAS SOPS 1188 HAS SOUS 1038 HAS SOUPS 1038 WITH SCORE 1039.188
AT ITER 3307 NEW BEST:: SOT 4240 SOS 1186 HAS SOPS 1186 HAS SOUS 1036 HAS SOUPS 1036 WITH SCORE 1037.186
AT ITER 3380 NEW BEST:: SOT 4239 SOS 1186 HAS SOPS 1186 HAS SOUS 1035 HAS SOUPS 1035 WITH SCORE 1036.186
AT ITER 3401 NEW BEST:: SOT 4237 SOS 1182 HAS SOPS 1182 HAS SOUS 1031 HAS SOUPS 1031 WITH SCORE 1032.182
AT ITER 3402 NEW BEST:: SOT 4231 SOS 1176 HAS SOPS 1176 HAS SOUS 1025 HAS SOUPS 1025 WITH SCORE 1026.176
AT ITER 3711 NEW BEST:: SOT 4230 SOS 1175 HAS SOPS 1175 HAS SOUS 1024 HAS SOUPS 1024 WITH SCORE 1025.175
AT ITER 3723 NEW BEST:: SOT 4234 SOS 1175 HAS SOPS 1175 HAS SOUS 1020 HAS SOUPS 1020 WITH SCORE 1021.175
AT ITER 3727 NEW BEST:: SOT 4233 SOS 1173 HAS SOPS 1173 HAS SOUS 1018 HAS SOUPS 1018 WITH SCORE 1019.173
AT ITER 3751 NEW BEST:: SOT 4227 SOS 1172 HAS SOPS 1172 HAS SOUS 1015 HAS SOUPS 1015 WITH SCORE 1016.172
AT ITER 3838 NEW BEST:: SOT 4234 SOS 1162 HAS SOPS 1162 HAS SOUS 1011 HAS SOUPS 1011 WITH SCORE 1012.162
AT ITER 3885 NEW BEST:: SOT 4234 SOS 1161 HAS SOPS 1161 HAS SOUS 1010 HAS SOUPS 1010 WITH SCORE 1011.161
AT ITER 3930 NEW BEST:: SOT 4237 SOS 1172 HAS SOPS 1172 HAS SOUS 1008 HAS SOUPS 1008 WITH SCORE 1009.172
AT ITER 4017 NEW BEST:: SOT 4238 SOS 1169 HAS SOPS 1169 HAS SOUS 1006 HAS SOUPS 1006 WITH SCORE 1007.169
AT ITER 4076 NEW BEST:: SOT 4235 SOS 1170 HAS SOPS 1170 HAS SOUS 1004 HAS SOUPS 1004 WITH SCORE 1005.17
AT ITER 4110 NEW BEST:: SOT 4234 SOS 1168 HAS SOPS 1168 HAS SOUS 1001 HAS SOUPS 1001 WITH SCORE 1002.168
AT ITER 4134 NEW BEST:: SOT 4229 SOS 1167 HAS SOPS 1167 HAS SOUS 999 HAS SOUPS 999 WITH SCORE 1000.167
AT ITER 4188 NEW BEST:: SOT 4229 SOS 1165 HAS SOPS 1165 HAS SOUS 999 HAS SOUPS 999 WITH SCORE 1000.165
AT ITER 4206 NEW BEST:: SOT 4226 SOS 1164 HAS SOPS 1164 HAS SOUS 998 HAS SOUPS 998 WITH SCORE 999.164
AT ITER 4234 NEW BEST:: SOT 4219 SOS 1150 HAS SOPS 1150 HAS SOUS 987 HAS SOUPS 987 WITH SCORE 988.15
AT ITER 4293 NEW BEST:: SOT 4220 SOS 1144 HAS SOPS 1144 HAS SOUS 987 HAS SOUPS 987 WITH SCORE 988.144
AT ITER 4467 NEW BEST:: SOT 4217 SOS 1138 HAS SOPS 1138 HAS SOUS 985 HAS SOUPS 985 WITH SCORE 986.138
AT ITER 4702 NEW BEST:: SOT 4217 SOS 1137 HAS SOPS 1137 HAS SOUS 983 HAS SOUPS 983 WITH SCORE 984.137
AT ITER 4911 NEW BEST:: SOT 4216 SOS 1135 HAS SOPS 1135 HAS SOUS 981 HAS SOUPS 981 WITH SCORE 982.135
AT ITER 4921 NEW BEST:: SOT 4216 SOS 1133 HAS SOPS 1133 HAS SOUS 980 HAS SOUPS 980 WITH SCORE 981.133
AT ITER 5016 NEW BEST:: SOT 4214 SOS 1130 HAS SOPS 1130 HAS SOUS 977 HAS SOUPS 977 WITH SCORE 978.13
AT ITER 5024 NEW BEST:: SOT 4211 SOS 1121 HAS SOPS 1121 HAS SOUS 970 HAS SOUPS 970 WITH SCORE 971.121
AT ITER 5169 NEW BEST:: SOT 4211 SOS 1119 HAS SOPS 1119 HAS SOUS 968 HAS SOUPS 968 WITH SCORE 969.119
AT ITER 5191 NEW BEST:: SOT 4210 SOS 1117 HAS SOPS 1117 HAS SOUS 967 HAS SOUPS 967 WITH SCORE 968.117
AT ITER 5604 NEW BEST:: SOT 4210 SOS 1117 HAS SOPS 1117 HAS SOUS 966 HAS SOUPS 966 WITH SCORE 967.117
AT ITER 5725 NEW BEST:: SOT 4212 SOS 1115 HAS SOPS 1115 HAS SOUS 960 HAS SOUPS 960 WITH SCORE 961.115
AT ITER 5946 NEW BEST:: SOT 4213 SOS 1113 HAS SOPS 1113 HAS SOUS 960 HAS SOUPS 960 WITH SCORE 961.113
AT ITER 6005 NEW BEST:: SOT 4213 SOS 1110 HAS SOPS 1110 HAS SOUS 957 HAS SOUPS 957 WITH SCORE 958.11
AT ITER 6187 NEW BEST:: SOT 4213 SOS 1109 HAS SOPS 1109 HAS SOUS 957 HAS SOUPS 957 WITH SCORE 958.109
AT ITER 6383 NEW BEST:: SOT 4211 SOS 1105 HAS SOPS 1105 HAS SOUS 954 HAS SOUPS 954 WITH SCORE 955.105
AT ITER 6610 NEW BEST:: SOT 4208 SOS 1105 HAS SOPS 1105 HAS SOUS 951 HAS SOUPS 951 WITH SCORE 952.105
AT ITER 6628 NEW BEST:: SOT 4208 SOS 1104 HAS SOPS 1104 HAS SOUS 951 HAS SOUPS 951 WITH SCORE 952.104
AT ITER 6633 NEW BEST:: SOT 4207 SOS 1102 HAS SOPS 1102 HAS SOUS 949 HAS SOUPS 949 WITH SCORE 950.102
AT ITER 6682 NEW BEST:: SOT 4206 SOS 1097 HAS SOPS 1097 HAS SOUS 947 HAS SOUPS 947 WITH SCORE 948.097
AT ITER 7041 NEW BEST:: SOT 4206 SOS 1094 HAS SOPS 1094 HAS SOUS 944 HAS SOUPS 944 WITH SCORE 945.094
AT ITER 7230 NEW BEST:: SOT 4206 SOS 1090 HAS SOPS 1090 HAS SOUS 944 HAS SOUPS 944 WITH SCORE 945.09
AT ITER 7280 NEW BEST:: SOT 4205 SOS 1088 HAS SOPS 1088 HAS SOUS 943 HAS SOUPS 943 WITH SCORE 944.088
AT ITER 7726 NEW BEST:: SOT 4204 SOS 1088 HAS SOPS 1088 HAS SOUS 942 HAS SOUPS 942 WITH SCORE 943.088
AT ITER 8041 NEW BEST:: SOT 4203 SOS 1087 HAS SOPS 1087 HAS SOUS 942 HAS SOUPS 942 WITH SCORE 943.087
AT ITER 8350 NEW BEST:: SOT 4202 SOS 1086 HAS SOPS 1086 HAS SOUS 941 HAS SOUPS 941 WITH SCORE 942.086
AT ITER 8391 NEW BEST:: SOT 4200 SOS 1084 HAS SOPS 1084 HAS SOUS 939 HAS SOUPS 939 WITH SCORE 940.084
AT ITER 8581 NEW BEST:: SOT 4200 SOS 1079 HAS SOPS 1079 HAS SOUS 934 HAS SOUPS 934 WITH SCORE 935.079
AT ITER 8656 NEW BEST:: SOT 4200 SOS 1074 HAS SOPS 1074 HAS SOUS 934 HAS SOUPS 934 WITH SCORE 935.074
AT ITER 8833 NEW BEST:: SOT 4199 SOS 1073 HAS SOPS 1073 HAS SOUS 933 HAS SOUPS 933 WITH SCORE 934.073
AT ITER 9229 NEW BEST:: SOT 4198 SOS 1070 HAS SOPS 1070 HAS SOUS 931 HAS SOUPS 931 WITH SCORE 932.07
AT ITER 9323 NEW BEST:: SOT 4198 SOS 1070 HAS SOPS 1070 HAS SOUS 930 HAS SOUPS 930 WITH SCORE 931.07
AT ITER 9347 NEW BEST:: SOT 4196 SOS 1067 HAS SOPS 1067 HAS SOUS 927 HAS SOUPS 927 WITH SCORE 928.067
AT ITER 9411 NEW BEST:: SOT 4192 SOS 1061 HAS SOPS 1061 HAS SOUS 921 HAS SOUPS 921 WITH SCORE 922.061
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 6587708 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152916 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPs-PT-003A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ShieldPPPs-PT-003A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r387-oct2-167903711800392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-003A.tgz
mv ShieldPPPs-PT-003A execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;