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.r395-oct2-167903718700392.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 smartxred
Input is ShieldPPPs-PT-003A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718700392
=====================================================================

--------------------
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 1679564966748

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPs-PT-003A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 09:49:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 09:49:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 09:49:30] [INFO ] Load time of PNML (sax parser for PT used): 81 ms
[2023-03-23 09:49:30] [INFO ] Transformed 96 places.
[2023-03-23 09:49:30] [INFO ] Transformed 81 transitions.
[2023-03-23 09:49:30] [INFO ] Found NUPN structural information;
[2023-03-23 09:49:30] [INFO ] Parsed PT model containing 96 places and 81 transitions and 306 arcs in 178 ms.
[2023-03-23 09:49:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 96 places, 81 transitions and 306 arcs took 4 ms.
Total runtime 249 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 003A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/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 4 NEW BEST:: SOT 5048 SOS 3616 HAS SOPS 3616 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2911.616
AT ITER 6 NEW BEST:: SOT 5043 SOS 3614 HAS SOPS 3614 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2909.614
AT ITER 8 NEW BEST:: SOT 5025 SOS 3600 HAS SOPS 3600 HAS SOUS 2892 HAS SOUPS 2892 WITH SCORE 2895.6
AT ITER 16 NEW BEST:: SOT 5005 SOS 3580 HAS SOPS 3580 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2875.58
AT ITER 17 NEW BEST:: SOT 4999 SOS 3550 HAS SOPS 3550 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2875.55
AT ITER 22 NEW BEST:: SOT 5043 SOS 3455 HAS SOPS 3455 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2833.455
AT ITER 26 NEW BEST:: SOT 5034 SOS 3446 HAS SOPS 3446 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2824.446
AT ITER 27 NEW BEST:: SOT 4975 SOS 3400 HAS SOPS 3400 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2778.4
AT ITER 31 NEW BEST:: SOT 4968 SOS 3365 HAS SOPS 3365 HAS SOUS 2774 HAS SOUPS 2774 WITH SCORE 2777.365
AT ITER 36 NEW BEST:: SOT 4968 SOS 3362 HAS SOPS 3362 HAS SOUS 2774 HAS SOUPS 2774 WITH SCORE 2777.362
AT ITER 37 NEW BEST:: SOT 4993 SOS 3305 HAS SOPS 3305 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2769.305
AT ITER 39 NEW BEST:: SOT 4993 SOS 3304 HAS SOPS 3304 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2768.304
AT ITER 40 NEW BEST:: SOT 4963 SOS 3255 HAS SOPS 3255 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2711.255
AT ITER 43 NEW BEST:: SOT 4882 SOS 3176 HAS SOPS 3176 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2623.176
AT ITER 49 NEW BEST:: SOT 4862 SOS 3156 HAS SOPS 3156 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2603.156
AT ITER 50 NEW BEST:: SOT 4836 SOS 3060 HAS SOPS 3060 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2597.06
AT ITER 53 NEW BEST:: SOT 4826 SOS 3050 HAS SOPS 3050 HAS SOUS 2584 HAS SOUPS 2584 WITH SCORE 2587.05
AT ITER 54 NEW BEST:: SOT 4823 SOS 3047 HAS SOPS 3047 HAS SOUS 2581 HAS SOUPS 2581 WITH SCORE 2584.047
AT ITER 57 NEW BEST:: SOT 4836 SOS 3056 HAS SOPS 3056 HAS SOUS 2572 HAS SOUPS 2572 WITH SCORE 2575.056
AT ITER 62 NEW BEST:: SOT 4790 SOS 2979 HAS SOPS 2979 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2497.979
AT ITER 64 NEW BEST:: SOT 4825 SOS 2987 HAS SOPS 2987 HAS SOUS 2476 HAS SOUPS 2476 WITH SCORE 2478.987
AT ITER 76 NEW BEST:: SOT 4825 SOS 2976 HAS SOPS 2976 HAS SOUS 2461 HAS SOUPS 2461 WITH SCORE 2463.976
AT ITER 96 NEW BEST:: SOT 4806 SOS 2946 HAS SOPS 2946 HAS SOUS 2424 HAS SOUPS 2424 WITH SCORE 2426.946
AT ITER 100 NEW BEST:: SOT 4786 SOS 2926 HAS SOPS 2926 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2406.926
AT ITER 102 NEW BEST:: SOT 4779 SOS 2891 HAS SOPS 2891 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2404.891
AT ITER 107 NEW BEST:: SOT 4777 SOS 2885 HAS SOPS 2885 HAS SOUS 2396 HAS SOUPS 2396 WITH SCORE 2398.885
AT ITER 117 NEW BEST:: SOT 4744 SOS 2761 HAS SOPS 2761 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2274.761
AT ITER 122 NEW BEST:: SOT 4725 SOS 2748 HAS SOPS 2748 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2261.748
AT ITER 125 NEW BEST:: SOT 4697 SOS 2706 HAS SOPS 2706 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2219.706
AT ITER 131 NEW BEST:: SOT 4705 SOS 2692 HAS SOPS 2692 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.692
AT ITER 162 NEW BEST:: SOT 4704 SOS 2691 HAS SOPS 2691 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.691
AT ITER 163 NEW BEST:: SOT 4692 SOS 2681 HAS SOPS 2681 HAS SOUS 2193 HAS SOUPS 2193 WITH SCORE 2195.681
AT ITER 165 NEW BEST:: SOT 4684 SOS 2673 HAS SOPS 2673 HAS SOUS 2185 HAS SOUPS 2185 WITH SCORE 2187.673
AT ITER 175 NEW BEST:: SOT 4666 SOS 2655 HAS SOPS 2655 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.655
AT ITER 178 NEW BEST:: SOT 4665 SOS 2651 HAS SOPS 2651 HAS SOUS 2163 HAS SOUPS 2163 WITH SCORE 2165.651
AT ITER 191 NEW BEST:: SOT 4666 SOS 2646 HAS SOPS 2646 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2163.646
AT ITER 210 NEW BEST:: SOT 4652 SOS 2613 HAS SOPS 2613 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.613
AT ITER 212 NEW BEST:: SOT 4625 SOS 2548 HAS SOPS 2548 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2073.548
AT ITER 217 NEW BEST:: SOT 4623 SOS 2538 HAS SOPS 2538 HAS SOUS 2067 HAS SOUPS 2067 WITH SCORE 2069.538
AT ITER 233 NEW BEST:: SOT 4623 SOS 2538 HAS SOPS 2538 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2068.538
AT ITER 247 NEW BEST:: SOT 4616 SOS 2520 HAS SOPS 2520 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2050.52
AT ITER 272 NEW BEST:: SOT 4620 SOS 2526 HAS SOPS 2526 HAS SOUS 2042 HAS SOUPS 2042 WITH SCORE 2044.526
AT ITER 280 NEW BEST:: SOT 4619 SOS 2525 HAS SOPS 2525 HAS SOUS 2041 HAS SOUPS 2041 WITH SCORE 2043.525
AT ITER 288 NEW BEST:: SOT 4615 SOS 2521 HAS SOPS 2521 HAS SOUS 2037 HAS SOUPS 2037 WITH SCORE 2039.521
AT ITER 289 NEW BEST:: SOT 4602 SOS 2467 HAS SOPS 2467 HAS SOUS 2036 HAS SOUPS 2036 WITH SCORE 2038.467
AT ITER 290 NEW BEST:: SOT 4590 SOS 2451 HAS SOPS 2451 HAS SOUS 2020 HAS SOUPS 2020 WITH SCORE 2022.451
AT ITER 294 NEW BEST:: SOT 4586 SOS 2443 HAS SOPS 2443 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2014.443
AT ITER 299 NEW BEST:: SOT 4587 SOS 2441 HAS SOPS 2441 HAS SOUS 2007 HAS SOUPS 2007 WITH SCORE 2009.441
AT ITER 304 NEW BEST:: SOT 4581 SOS 2435 HAS SOPS 2435 HAS SOUS 1999 HAS SOUPS 1999 WITH SCORE 2001.435
AT ITER 307 NEW BEST:: SOT 4575 SOS 2424 HAS SOPS 2424 HAS SOUS 1994 HAS SOUPS 1994 WITH SCORE 1996.424
AT ITER 321 NEW BEST:: SOT 4570 SOS 2414 HAS SOPS 2414 HAS SOUS 1989 HAS SOUPS 1989 WITH SCORE 1991.414
AT ITER 325 NEW BEST:: SOT 4569 SOS 2411 HAS SOPS 2411 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1988.411
AT ITER 345 NEW BEST:: SOT 4551 SOS 2393 HAS SOPS 2393 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1976.393
AT ITER 346 NEW BEST:: SOT 4533 SOS 2373 HAS SOPS 2373 HAS SOUS 1955 HAS SOUPS 1955 WITH SCORE 1957.373
AT ITER 355 NEW BEST:: SOT 4533 SOS 2358 HAS SOPS 2358 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1951.358
AT ITER 376 NEW BEST:: SOT 4529 SOS 2338 HAS SOPS 2338 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.338
AT ITER 379 NEW BEST:: SOT 4519 SOS 2327 HAS SOPS 2327 HAS SOUS 1934 HAS SOUPS 1934 WITH SCORE 1936.327
AT ITER 383 NEW BEST:: SOT 4515 SOS 2323 HAS SOPS 2323 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1932.323
AT ITER 402 NEW BEST:: SOT 4513 SOS 2321 HAS SOPS 2321 HAS SOUS 1928 HAS SOUPS 1928 WITH SCORE 1930.321
AT ITER 427 NEW BEST:: SOT 4513 SOS 2321 HAS SOPS 2321 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1928.321
AT ITER 431 NEW BEST:: SOT 4495 SOS 2303 HAS SOPS 2303 HAS SOUS 1908 HAS SOUPS 1908 WITH SCORE 1910.303
AT ITER 437 NEW BEST:: SOT 4493 SOS 2301 HAS SOPS 2301 HAS SOUS 1906 HAS SOUPS 1906 WITH SCORE 1908.301
AT ITER 449 NEW BEST:: SOT 4496 SOS 2304 HAS SOPS 2304 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1907.304
AT ITER 456 NEW BEST:: SOT 4499 SOS 2307 HAS SOPS 2307 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1906.307
AT ITER 470 NEW BEST:: SOT 4499 SOS 2305 HAS SOPS 2305 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1906.305
AT ITER 472 NEW BEST:: SOT 4499 SOS 2301 HAS SOPS 2301 HAS SOUS 1900 HAS SOUPS 1900 WITH SCORE 1902.301
AT ITER 496 NEW BEST:: SOT 4499 SOS 2300 HAS SOPS 2300 HAS SOUS 1900 HAS SOUPS 1900 WITH SCORE 1902.3
AT ITER 498 NEW BEST:: SOT 4497 SOS 2298 HAS SOPS 2298 HAS SOUS 1898 HAS SOUPS 1898 WITH SCORE 1900.298
AT ITER 508 NEW BEST:: SOT 4495 SOS 2296 HAS SOPS 2296 HAS SOUS 1896 HAS SOUPS 1896 WITH SCORE 1898.296
AT ITER 518 NEW BEST:: SOT 4491 SOS 2271 HAS SOPS 2271 HAS SOUS 1877 HAS SOUPS 1877 WITH SCORE 1879.271
AT ITER 519 NEW BEST:: SOT 4485 SOS 2242 HAS SOPS 2242 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1867.242
AT ITER 535 NEW BEST:: SOT 4485 SOS 2240 HAS SOPS 2240 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1865.24
AT ITER 536 NEW BEST:: SOT 4484 SOS 2239 HAS SOPS 2239 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1864.239
AT ITER 538 NEW BEST:: SOT 4484 SOS 2225 HAS SOPS 2225 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1864.225
AT ITER 550 NEW BEST:: SOT 4480 SOS 2143 HAS SOPS 2143 HAS SOUS 1805 HAS SOUPS 1805 WITH SCORE 1807.143
AT ITER 558 NEW BEST:: SOT 4460 SOS 2093 HAS SOPS 2093 HAS SOUS 1761 HAS SOUPS 1761 WITH SCORE 1763.093
AT ITER 571 NEW BEST:: SOT 4460 SOS 2108 HAS SOPS 2108 HAS SOUS 1754 HAS SOUPS 1754 WITH SCORE 1756.108
AT ITER 587 NEW BEST:: SOT 4463 SOS 2106 HAS SOPS 2106 HAS SOUS 1734 HAS SOUPS 1734 WITH SCORE 1736.106
AT ITER 590 NEW BEST:: SOT 4464 SOS 2109 HAS SOPS 2109 HAS SOUS 1730 HAS SOUPS 1730 WITH SCORE 1732.109
AT ITER 610 NEW BEST:: SOT 4462 SOS 2107 HAS SOPS 2107 HAS SOUS 1728 HAS SOUPS 1728 WITH SCORE 1730.107
AT ITER 645 NEW BEST:: SOT 4463 SOS 2110 HAS SOPS 2110 HAS SOUS 1727 HAS SOUPS 1727 WITH SCORE 1729.11
AT ITER 713 NEW BEST:: SOT 4459 SOS 2092 HAS SOPS 2092 HAS SOUS 1716 HAS SOUPS 1716 WITH SCORE 1718.092
AT ITER 733 NEW BEST:: SOT 4459 SOS 2091 HAS SOPS 2091 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1717.091
AT ITER 736 NEW BEST:: SOT 4452 SOS 2060 HAS SOPS 2060 HAS SOUS 1687 HAS SOUPS 1687 WITH SCORE 1689.06
AT ITER 764 NEW BEST:: SOT 4457 SOS 1980 HAS SOPS 1980 HAS SOUS 1671 HAS SOUPS 1671 WITH SCORE 1672.98
AT ITER 766 NEW BEST:: SOT 4455 SOS 1970 HAS SOPS 1970 HAS SOUS 1669 HAS SOUPS 1669 WITH SCORE 1670.97
AT ITER 767 NEW BEST:: SOT 4453 SOS 1966 HAS SOPS 1966 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1666.966
AT ITER 814 NEW BEST:: SOT 4452 SOS 1963 HAS SOPS 1963 HAS SOUS 1664 HAS SOUPS 1664 WITH SCORE 1665.963
AT ITER 824 NEW BEST:: SOT 4447 SOS 1953 HAS SOPS 1953 HAS SOUS 1654 HAS SOUPS 1654 WITH SCORE 1655.953
AT ITER 847 NEW BEST:: SOT 4451 SOS 1957 HAS SOPS 1957 HAS SOUS 1651 HAS SOUPS 1651 WITH SCORE 1652.957
AT ITER 851 NEW BEST:: SOT 4444 SOS 1950 HAS SOPS 1950 HAS SOUS 1633 HAS SOUPS 1633 WITH SCORE 1634.95
AT ITER 852 NEW BEST:: SOT 4436 SOS 1942 HAS SOPS 1942 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1626.942
AT ITER 856 NEW BEST:: SOT 4428 SOS 1929 HAS SOPS 1929 HAS SOUS 1612 HAS SOUPS 1612 WITH SCORE 1613.929
AT ITER 872 NEW BEST:: SOT 4436 SOS 1933 HAS SOPS 1933 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1603.933
AT ITER 873 NEW BEST:: SOT 4431 SOS 1928 HAS SOPS 1928 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1598.928
AT ITER 894 NEW BEST:: SOT 4426 SOS 1846 HAS SOPS 1846 HAS SOUS 1576 HAS SOUPS 1576 WITH SCORE 1577.846
AT ITER 896 NEW BEST:: SOT 4421 SOS 1836 HAS SOPS 1836 HAS SOUS 1567 HAS SOUPS 1567 WITH SCORE 1568.836
AT ITER 913 NEW BEST:: SOT 4422 SOS 1838 HAS SOPS 1838 HAS SOUS 1566 HAS SOUPS 1566 WITH SCORE 1567.838
AT ITER 914 NEW BEST:: SOT 4420 SOS 1836 HAS SOPS 1836 HAS SOUS 1564 HAS SOUPS 1564 WITH SCORE 1565.836
AT ITER 926 NEW BEST:: SOT 4418 SOS 1828 HAS SOPS 1828 HAS SOUS 1559 HAS SOUPS 1559 WITH SCORE 1560.828
AT ITER 947 NEW BEST:: SOT 4434 SOS 1852 HAS SOPS 1852 HAS SOUS 1555 HAS SOUPS 1555 WITH SCORE 1556.852
AT ITER 956 NEW BEST:: SOT 4434 SOS 1851 HAS SOPS 1851 HAS SOUS 1554 HAS SOUPS 1554 WITH SCORE 1555.851
AT ITER 965 NEW BEST:: SOT 4433 SOS 1850 HAS SOPS 1850 HAS SOUS 1553 HAS SOUPS 1553 WITH SCORE 1554.85
AT ITER 978 NEW BEST:: SOT 4432 SOS 1849 HAS SOPS 1849 HAS SOUS 1552 HAS SOUPS 1552 WITH SCORE 1553.849
AT ITER 991 NEW BEST:: SOT 4427 SOS 1844 HAS SOPS 1844 HAS SOUS 1547 HAS SOUPS 1547 WITH SCORE 1548.844
AT ITER 1007 NEW BEST:: SOT 4426 SOS 1841 HAS SOPS 1841 HAS SOUS 1544 HAS SOUPS 1544 WITH SCORE 1545.841
AT ITER 1008 NEW BEST:: SOT 4418 SOS 1825 HAS SOPS 1825 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1529.825
AT ITER 1013 NEW BEST:: SOT 4424 SOS 1837 HAS SOPS 1837 HAS SOUS 1525 HAS SOUPS 1525 WITH SCORE 1526.837
AT ITER 1041 NEW BEST:: SOT 4424 SOS 1836 HAS SOPS 1836 HAS SOUS 1524 HAS SOUPS 1524 WITH SCORE 1525.836
AT ITER 1043 NEW BEST:: SOT 4422 SOS 1832 HAS SOPS 1832 HAS SOUS 1519 HAS SOUPS 1519 WITH SCORE 1520.832
AT ITER 1066 NEW BEST:: SOT 4416 SOS 1814 HAS SOPS 1814 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1514.814
AT ITER 1078 NEW BEST:: SOT 4413 SOS 1812 HAS SOPS 1812 HAS SOUS 1511 HAS SOUPS 1511 WITH SCORE 1512.812
AT ITER 1082 NEW BEST:: SOT 4416 SOS 1807 HAS SOPS 1807 HAS SOUS 1505 HAS SOUPS 1505 WITH SCORE 1506.807
AT ITER 1095 NEW BEST:: SOT 4425 SOS 1801 HAS SOPS 1801 HAS SOUS 1499 HAS SOUPS 1499 WITH SCORE 1500.801
AT ITER 1113 NEW BEST:: SOT 4423 SOS 1799 HAS SOPS 1799 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1497.799
AT ITER 1169 NEW BEST:: SOT 4392 SOS 1757 HAS SOPS 1757 HAS SOUS 1487 HAS SOUPS 1487 WITH SCORE 1488.757
AT ITER 1180 NEW BEST:: SOT 4384 SOS 1742 HAS SOPS 1742 HAS SOUS 1478 HAS SOUPS 1478 WITH SCORE 1479.742
AT ITER 1183 NEW BEST:: SOT 4388 SOS 1728 HAS SOPS 1728 HAS SOUS 1456 HAS SOUPS 1456 WITH SCORE 1457.728
AT ITER 1187 NEW BEST:: SOT 4388 SOS 1725 HAS SOPS 1725 HAS SOUS 1453 HAS SOUPS 1453 WITH SCORE 1454.725
AT ITER 1188 NEW BEST:: SOT 4386 SOS 1722 HAS SOPS 1722 HAS SOUS 1450 HAS SOUPS 1450 WITH SCORE 1451.722
AT ITER 1199 NEW BEST:: SOT 4388 SOS 1715 HAS SOPS 1715 HAS SOUS 1443 HAS SOUPS 1443 WITH SCORE 1444.715
AT ITER 1212 NEW BEST:: SOT 4388 SOS 1712 HAS SOPS 1712 HAS SOUS 1441 HAS SOUPS 1441 WITH SCORE 1442.712
AT ITER 1247 NEW BEST:: SOT 4384 SOS 1708 HAS SOPS 1708 HAS SOUS 1441 HAS SOUPS 1441 WITH SCORE 1442.708
AT ITER 1256 NEW BEST:: SOT 4379 SOS 1703 HAS SOPS 1703 HAS SOUS 1431 HAS SOUPS 1431 WITH SCORE 1432.703
AT ITER 1261 NEW BEST:: SOT 4378 SOS 1702 HAS SOPS 1702 HAS SOUS 1430 HAS SOUPS 1430 WITH SCORE 1431.702
AT ITER 1264 NEW BEST:: SOT 4376 SOS 1696 HAS SOPS 1696 HAS SOUS 1424 HAS SOUPS 1424 WITH SCORE 1425.696
AT ITER 1300 NEW BEST:: SOT 4374 SOS 1694 HAS SOPS 1694 HAS SOUS 1422 HAS SOUPS 1422 WITH SCORE 1423.694
AT ITER 1302 NEW BEST:: SOT 4384 SOS 1699 HAS SOPS 1699 HAS SOUS 1419 HAS SOUPS 1419 WITH SCORE 1420.699
AT ITER 1310 NEW BEST:: SOT 4384 SOS 1698 HAS SOPS 1698 HAS SOUS 1419 HAS SOUPS 1419 WITH SCORE 1420.698
AT ITER 1320 NEW BEST:: SOT 4374 SOS 1688 HAS SOPS 1688 HAS SOUS 1407 HAS SOUPS 1407 WITH SCORE 1408.688
AT ITER 1331 NEW BEST:: SOT 4360 SOS 1684 HAS SOPS 1684 HAS SOUS 1403 HAS SOUPS 1403 WITH SCORE 1404.684
AT ITER 1332 NEW BEST:: SOT 4356 SOS 1683 HAS SOPS 1683 HAS SOUS 1395 HAS SOUPS 1395 WITH SCORE 1396.683
AT ITER 1348 NEW BEST:: SOT 4356 SOS 1681 HAS SOPS 1681 HAS SOUS 1393 HAS SOUPS 1393 WITH SCORE 1394.681
AT ITER 1369 NEW BEST:: SOT 4349 SOS 1671 HAS SOPS 1671 HAS SOUS 1383 HAS SOUPS 1383 WITH SCORE 1384.671
AT ITER 1373 NEW BEST:: SOT 4351 SOS 1662 HAS SOPS 1662 HAS SOUS 1377 HAS SOUPS 1377 WITH SCORE 1378.662
AT ITER 1381 NEW BEST:: SOT 4347 SOS 1653 HAS SOPS 1653 HAS SOUS 1376 HAS SOUPS 1376 WITH SCORE 1377.653
AT ITER 1390 NEW BEST:: SOT 4351 SOS 1648 HAS SOPS 1648 HAS SOUS 1368 HAS SOUPS 1368 WITH SCORE 1369.648
AT ITER 1399 NEW BEST:: SOT 4351 SOS 1636 HAS SOPS 1636 HAS SOUS 1365 HAS SOUPS 1365 WITH SCORE 1366.636
AT ITER 1407 NEW BEST:: SOT 4352 SOS 1639 HAS SOPS 1639 HAS SOUS 1364 HAS SOUPS 1364 WITH SCORE 1365.639
AT ITER 1410 NEW BEST:: SOT 4340 SOS 1607 HAS SOPS 1607 HAS SOUS 1347 HAS SOUPS 1347 WITH SCORE 1348.607
AT ITER 1416 NEW BEST:: SOT 4340 SOS 1587 HAS SOPS 1587 HAS SOUS 1347 HAS SOUPS 1347 WITH SCORE 1348.587
AT ITER 1428 NEW BEST:: SOT 4337 SOS 1578 HAS SOPS 1578 HAS SOUS 1338 HAS SOUPS 1338 WITH SCORE 1339.578
AT ITER 1442 NEW BEST:: SOT 4355 SOS 1576 HAS SOPS 1576 HAS SOUS 1332 HAS SOUPS 1332 WITH SCORE 1333.576
AT ITER 1447 NEW BEST:: SOT 4354 SOS 1574 HAS SOPS 1574 HAS SOUS 1328 HAS SOUPS 1328 WITH SCORE 1329.574
AT ITER 1478 NEW BEST:: SOT 4353 SOS 1541 HAS SOPS 1541 HAS SOUS 1325 HAS SOUPS 1325 WITH SCORE 1326.541
AT ITER 1506 NEW BEST:: SOT 4346 SOS 1534 HAS SOPS 1534 HAS SOUS 1320 HAS SOUPS 1320 WITH SCORE 1321.534
AT ITER 1528 NEW BEST:: SOT 4348 SOS 1522 HAS SOPS 1522 HAS SOUS 1317 HAS SOUPS 1317 WITH SCORE 1318.522
AT ITER 1583 NEW BEST:: SOT 4349 SOS 1521 HAS SOPS 1521 HAS SOUS 1314 HAS SOUPS 1314 WITH SCORE 1315.521
AT ITER 1609 NEW BEST:: SOT 4349 SOS 1518 HAS SOPS 1518 HAS SOUS 1310 HAS SOUPS 1310 WITH SCORE 1311.518
AT ITER 1625 NEW BEST:: SOT 4346 SOS 1515 HAS SOPS 1515 HAS SOUS 1304 HAS SOUPS 1304 WITH SCORE 1305.515
AT ITER 1637 NEW BEST:: SOT 4339 SOS 1501 HAS SOPS 1501 HAS SOUS 1283 HAS SOUPS 1283 WITH SCORE 1284.501
AT ITER 1644 NEW BEST:: SOT 4333 SOS 1492 HAS SOPS 1492 HAS SOUS 1274 HAS SOUPS 1274 WITH SCORE 1275.492
AT ITER 1663 NEW BEST:: SOT 4331 SOS 1490 HAS SOPS 1490 HAS SOUS 1272 HAS SOUPS 1272 WITH SCORE 1273.49
AT ITER 1679 NEW BEST:: SOT 4330 SOS 1487 HAS SOPS 1487 HAS SOUS 1269 HAS SOUPS 1269 WITH SCORE 1270.487
AT ITER 1681 NEW BEST:: SOT 4328 SOS 1485 HAS SOPS 1485 HAS SOUS 1267 HAS SOUPS 1267 WITH SCORE 1268.485
AT ITER 1686 NEW BEST:: SOT 4326 SOS 1483 HAS SOPS 1483 HAS SOUS 1265 HAS SOUPS 1265 WITH SCORE 1266.483
AT ITER 1690 NEW BEST:: SOT 4326 SOS 1483 HAS SOPS 1483 HAS SOUS 1261 HAS SOUPS 1261 WITH SCORE 1262.483
AT ITER 1697 NEW BEST:: SOT 4316 SOS 1463 HAS SOPS 1463 HAS SOUS 1239 HAS SOUPS 1239 WITH SCORE 1240.463
AT ITER 1709 NEW BEST:: SOT 4315 SOS 1462 HAS SOPS 1462 HAS SOUS 1238 HAS SOUPS 1238 WITH SCORE 1239.462
AT ITER 1710 NEW BEST:: SOT 4319 SOS 1460 HAS SOPS 1460 HAS SOUS 1236 HAS SOUPS 1236 WITH SCORE 1237.46
AT ITER 1754 NEW BEST:: SOT 4317 SOS 1446 HAS SOPS 1446 HAS SOUS 1231 HAS SOUPS 1231 WITH SCORE 1232.446
AT ITER 1761 NEW BEST:: SOT 4314 SOS 1438 HAS SOPS 1438 HAS SOUS 1227 HAS SOUPS 1227 WITH SCORE 1228.438
AT ITER 1789 NEW BEST:: SOT 4312 SOS 1436 HAS SOPS 1436 HAS SOUS 1225 HAS SOUPS 1225 WITH SCORE 1226.436
AT ITER 1791 NEW BEST:: SOT 4311 SOS 1434 HAS SOPS 1434 HAS SOUS 1223 HAS SOUPS 1223 WITH SCORE 1224.434
AT ITER 1833 NEW BEST:: SOT 4305 SOS 1433 HAS SOPS 1433 HAS SOUS 1222 HAS SOUPS 1222 WITH SCORE 1223.433
AT ITER 1843 NEW BEST:: SOT 4301 SOS 1427 HAS SOPS 1427 HAS SOUS 1216 HAS SOUPS 1216 WITH SCORE 1217.427
AT ITER 1872 NEW BEST:: SOT 4297 SOS 1416 HAS SOPS 1416 HAS SOUS 1214 HAS SOUPS 1214 WITH SCORE 1215.416
AT ITER 1930 NEW BEST:: SOT 4293 SOS 1401 HAS SOPS 1401 HAS SOUS 1202 HAS SOUPS 1202 WITH SCORE 1203.401
AT ITER 1973 NEW BEST:: SOT 4295 SOS 1405 HAS SOPS 1405 HAS SOUS 1200 HAS SOUPS 1200 WITH SCORE 1201.405
AT ITER 1983 NEW BEST:: SOT 4290 SOS 1395 HAS SOPS 1395 HAS SOUS 1190 HAS SOUPS 1190 WITH SCORE 1191.395
AT ITER 1998 NEW BEST:: SOT 4297 SOS 1402 HAS SOPS 1402 HAS SOUS 1189 HAS SOUPS 1189 WITH SCORE 1190.402
AT ITER 2023 NEW BEST:: SOT 4301 SOS 1401 HAS SOPS 1401 HAS SOUS 1189 HAS SOUPS 1189 WITH SCORE 1190.401
AT ITER 2032 NEW BEST:: SOT 4301 SOS 1399 HAS SOPS 1399 HAS SOUS 1189 HAS SOUPS 1189 WITH SCORE 1190.399
AT ITER 2065 NEW BEST:: SOT 4307 SOS 1397 HAS SOPS 1397 HAS SOUS 1188 HAS SOUPS 1188 WITH SCORE 1189.397
AT ITER 2067 NEW BEST:: SOT 4304 SOS 1394 HAS SOPS 1394 HAS SOUS 1188 HAS SOUPS 1188 WITH SCORE 1189.394
AT ITER 2084 NEW BEST:: SOT 4298 SOS 1384 HAS SOPS 1384 HAS SOUS 1183 HAS SOUPS 1183 WITH SCORE 1184.384
AT ITER 2085 NEW BEST:: SOT 4297 SOS 1383 HAS SOPS 1383 HAS SOUS 1182 HAS SOUPS 1182 WITH SCORE 1183.383
AT ITER 2115 NEW BEST:: SOT 4295 SOS 1381 HAS SOPS 1381 HAS SOUS 1180 HAS SOUPS 1180 WITH SCORE 1181.381
AT ITER 2120 NEW BEST:: SOT 4291 SOS 1394 HAS SOPS 1394 HAS SOUS 1169 HAS SOUPS 1169 WITH SCORE 1170.394
AT ITER 2124 NEW BEST:: SOT 4288 SOS 1391 HAS SOPS 1391 HAS SOUS 1169 HAS SOUPS 1169 WITH SCORE 1170.391
AT ITER 2148 NEW BEST:: SOT 4288 SOS 1391 HAS SOPS 1391 HAS SOUS 1168 HAS SOUPS 1168 WITH SCORE 1169.391
AT ITER 2152 NEW BEST:: SOT 4278 SOS 1387 HAS SOPS 1387 HAS SOUS 1164 HAS SOUPS 1164 WITH SCORE 1165.387
AT ITER 2163 NEW BEST:: SOT 4272 SOS 1371 HAS SOPS 1371 HAS SOUS 1156 HAS SOUPS 1156 WITH SCORE 1157.371
AT ITER 2165 NEW BEST:: SOT 4266 SOS 1368 HAS SOPS 1368 HAS SOUS 1153 HAS SOUPS 1153 WITH SCORE 1154.368
AT ITER 2166 NEW BEST:: SOT 4274 SOS 1414 HAS SOPS 1414 HAS SOUS 1149 HAS SOUPS 1149 WITH SCORE 1150.414
AT ITER 2186 NEW BEST:: SOT 4272 SOS 1409 HAS SOPS 1409 HAS SOUS 1149 HAS SOUPS 1149 WITH SCORE 1150.409
AT ITER 2216 NEW BEST:: SOT 4272 SOS 1403 HAS SOPS 1403 HAS SOUS 1149 HAS SOUPS 1149 WITH SCORE 1150.403
AT ITER 2218 NEW BEST:: SOT 4275 SOS 1394 HAS SOPS 1394 HAS SOUS 1138 HAS SOUPS 1138 WITH SCORE 1139.394
AT ITER 2242 NEW BEST:: SOT 4270 SOS 1369 HAS SOPS 1369 HAS SOUS 1129 HAS SOUPS 1129 WITH SCORE 1130.369
AT ITER 2245 NEW BEST:: SOT 4271 SOS 1325 HAS SOPS 1325 HAS SOUS 1129 HAS SOUPS 1129 WITH SCORE 1130.325
AT ITER 2261 NEW BEST:: SOT 4270 SOS 1320 HAS SOPS 1320 HAS SOUS 1127 HAS SOUPS 1127 WITH SCORE 1128.32
AT ITER 2313 NEW BEST:: SOT 4266 SOS 1314 HAS SOPS 1314 HAS SOUS 1121 HAS SOUPS 1121 WITH SCORE 1122.314
AT ITER 2359 NEW BEST:: SOT 4265 SOS 1300 HAS SOPS 1300 HAS SOUS 1115 HAS SOUPS 1115 WITH SCORE 1116.3
AT ITER 2399 NEW BEST:: SOT 4263 SOS 1299 HAS SOPS 1299 HAS SOUS 1114 HAS SOUPS 1114 WITH SCORE 1115.299
AT ITER 2470 NEW BEST:: SOT 4263 SOS 1297 HAS SOPS 1297 HAS SOUS 1113 HAS SOUPS 1113 WITH SCORE 1114.297
AT ITER 2579 NEW BEST:: SOT 4262 SOS 1294 HAS SOPS 1294 HAS SOUS 1104 HAS SOUPS 1104 WITH SCORE 1105.294
AT ITER 2601 NEW BEST:: SOT 4261 SOS 1293 HAS SOPS 1293 HAS SOUS 1103 HAS SOUPS 1103 WITH SCORE 1104.293
AT ITER 2631 NEW BEST:: SOT 4253 SOS 1273 HAS SOPS 1273 HAS SOUS 1089 HAS SOUPS 1089 WITH SCORE 1090.273
AT ITER 2639 NEW BEST:: SOT 4251 SOS 1269 HAS SOPS 1269 HAS SOUS 1085 HAS SOUPS 1085 WITH SCORE 1086.269
AT ITER 2682 NEW BEST:: SOT 4247 SOS 1263 HAS SOPS 1263 HAS SOUS 1081 HAS SOUPS 1081 WITH SCORE 1082.263
AT ITER 2684 NEW BEST:: SOT 4253 SOS 1266 HAS SOPS 1266 HAS SOUS 1075 HAS SOUPS 1075 WITH SCORE 1076.266
AT ITER 2713 NEW BEST:: SOT 4253 SOS 1264 HAS SOPS 1264 HAS SOUS 1074 HAS SOUPS 1074 WITH SCORE 1075.264
AT ITER 2731 NEW BEST:: SOT 4252 SOS 1261 HAS SOPS 1261 HAS SOUS 1070 HAS SOUPS 1070 WITH SCORE 1071.261
AT ITER 2760 NEW BEST:: SOT 4248 SOS 1257 HAS SOPS 1257 HAS SOUS 1066 HAS SOUPS 1066 WITH SCORE 1067.257
AT ITER 2762 NEW BEST:: SOT 4246 SOS 1255 HAS SOPS 1255 HAS SOUS 1064 HAS SOUPS 1064 WITH SCORE 1065.255
AT ITER 2780 NEW BEST:: SOT 4243 SOS 1256 HAS SOPS 1256 HAS SOUS 1052 HAS SOUPS 1052 WITH SCORE 1053.256
AT ITER 2804 NEW BEST:: SOT 4242 SOS 1256 HAS SOPS 1256 HAS SOUS 1051 HAS SOUPS 1051 WITH SCORE 1052.256
AT ITER 2930 NEW BEST:: SOT 4240 SOS 1254 HAS SOPS 1254 HAS SOUS 1050 HAS SOUPS 1050 WITH SCORE 1051.254
AT ITER 2932 NEW BEST:: SOT 4235 SOS 1241 HAS SOPS 1241 HAS SOUS 1040 HAS SOUPS 1040 WITH SCORE 1041.241
AT ITER 2985 NEW BEST:: SOT 4234 SOS 1240 HAS SOPS 1240 HAS SOUS 1040 HAS SOUPS 1040 WITH SCORE 1041.24
AT ITER 3058 NEW BEST:: SOT 4230 SOS 1234 HAS SOPS 1234 HAS SOUS 1034 HAS SOUPS 1034 WITH SCORE 1035.234
AT ITER 3131 NEW BEST:: SOT 4230 SOS 1229 HAS SOPS 1229 HAS SOUS 1033 HAS SOUPS 1033 WITH SCORE 1034.229
AT ITER 3178 NEW BEST:: SOT 4226 SOS 1225 HAS SOPS 1225 HAS SOUS 1029 HAS SOUPS 1029 WITH SCORE 1030.225
AT ITER 3277 NEW BEST:: SOT 4221 SOS 1220 HAS SOPS 1220 HAS SOUS 1023 HAS SOUPS 1023 WITH SCORE 1024.22
AT ITER 3361 NEW BEST:: SOT 4223 SOS 1217 HAS SOPS 1217 HAS SOUS 1022 HAS SOUPS 1022 WITH SCORE 1023.217
AT ITER 3410 NEW BEST:: SOT 4224 SOS 1166 HAS SOPS 1166 HAS SOUS 1022 HAS SOUPS 1022 WITH SCORE 1023.166
AT ITER 3445 NEW BEST:: SOT 4223 SOS 1164 HAS SOPS 1164 HAS SOUS 1017 HAS SOUPS 1017 WITH SCORE 1018.164
AT ITER 3460 NEW BEST:: SOT 4224 SOS 1162 HAS SOPS 1162 HAS SOUS 1015 HAS SOUPS 1015 WITH SCORE 1016.162
AT ITER 3471 NEW BEST:: SOT 4223 SOS 1161 HAS SOPS 1161 HAS SOUS 1014 HAS SOUPS 1014 WITH SCORE 1015.161
AT ITER 3504 NEW BEST:: SOT 4220 SOS 1159 HAS SOPS 1159 HAS SOUS 1011 HAS SOUPS 1011 WITH SCORE 1012.159
AT ITER 3512 NEW BEST:: SOT 4217 SOS 1153 HAS SOPS 1153 HAS SOUS 1005 HAS SOUPS 1005 WITH SCORE 1006.153
AT ITER 3641 NEW BEST:: SOT 4216 SOS 1170 HAS SOPS 1170 HAS SOUS 999 HAS SOUPS 999 WITH SCORE 1000.17
AT ITER 3650 NEW BEST:: SOT 4212 SOS 1168 HAS SOPS 1168 HAS SOUS 995 HAS SOUPS 995 WITH SCORE 996.168
AT ITER 3663 NEW BEST:: SOT 4212 SOS 1166 HAS SOPS 1166 HAS SOUS 995 HAS SOUPS 995 WITH SCORE 996.166
AT ITER 3787 NEW BEST:: SOT 4210 SOS 1165 HAS SOPS 1165 HAS SOUS 994 HAS SOUPS 994 WITH SCORE 995.165
AT ITER 3820 NEW BEST:: SOT 4207 SOS 1161 HAS SOPS 1161 HAS SOUS 990 HAS SOUPS 990 WITH SCORE 991.161
AT ITER 3874 NEW BEST:: SOT 4205 SOS 1158 HAS SOPS 1158 HAS SOUS 990 HAS SOUPS 990 WITH SCORE 991.158
AT ITER 3884 NEW BEST:: SOT 4205 SOS 1150 HAS SOPS 1150 HAS SOUS 988 HAS SOUPS 988 WITH SCORE 989.15
AT ITER 3885 NEW BEST:: SOT 4203 SOS 1136 HAS SOPS 1136 HAS SOUS 988 HAS SOUPS 988 WITH SCORE 989.136
AT ITER 3895 NEW BEST:: SOT 4201 SOS 1132 HAS SOPS 1132 HAS SOUS 984 HAS SOUPS 984 WITH SCORE 985.132
AT ITER 3916 NEW BEST:: SOT 4201 SOS 1136 HAS SOPS 1136 HAS SOUS 982 HAS SOUPS 982 WITH SCORE 983.136
AT ITER 3947 NEW BEST:: SOT 4199 SOS 1127 HAS SOPS 1127 HAS SOUS 977 HAS SOUPS 977 WITH SCORE 978.127
AT ITER 4015 NEW BEST:: SOT 4199 SOS 1123 HAS SOPS 1123 HAS SOUS 976 HAS SOUPS 976 WITH SCORE 977.123
AT ITER 4080 NEW BEST:: SOT 4200 SOS 1121 HAS SOPS 1121 HAS SOUS 971 HAS SOUPS 971 WITH SCORE 972.121
AT ITER 4203 NEW BEST:: SOT 4201 SOS 1116 HAS SOPS 1116 HAS SOUS 969 HAS SOUPS 969 WITH SCORE 970.116
AT ITER 4279 NEW BEST:: SOT 4198 SOS 1110 HAS SOPS 1110 HAS SOUS 963 HAS SOUPS 963 WITH SCORE 964.11
AT ITER 4556 NEW BEST:: SOT 4197 SOS 1109 HAS SOPS 1109 HAS SOUS 963 HAS SOUPS 963 WITH SCORE 964.109
AT ITER 4695 NEW BEST:: SOT 4196 SOS 1106 HAS SOPS 1106 HAS SOUS 960 HAS SOUPS 960 WITH SCORE 961.106
AT ITER 4776 NEW BEST:: SOT 4195 SOS 1106 HAS SOPS 1106 HAS SOUS 959 HAS SOUPS 959 WITH SCORE 960.106
AT ITER 4797 NEW BEST:: SOT 4195 SOS 1094 HAS SOPS 1094 HAS SOUS 959 HAS SOUPS 959 WITH SCORE 960.094
AT ITER 4818 NEW BEST:: SOT 4199 SOS 1086 HAS SOPS 1086 HAS SOUS 958 HAS SOUPS 958 WITH SCORE 959.086
AT ITER 4879 NEW BEST:: SOT 4194 SOS 1072 HAS SOPS 1072 HAS SOUS 953 HAS SOUPS 953 WITH SCORE 954.072
AT ITER 4985 NEW BEST:: SOT 4194 SOS 1071 HAS SOPS 1071 HAS SOUS 952 HAS SOUPS 952 WITH SCORE 953.071
AT ITER 5013 NEW BEST:: SOT 4204 SOS 1072 HAS SOPS 1072 HAS SOUS 950 HAS SOUPS 950 WITH SCORE 951.072
AT ITER 5053 NEW BEST:: SOT 4192 SOS 1056 HAS SOPS 1056 HAS SOUS 934 HAS SOUPS 934 WITH SCORE 935.056
AT ITER 5114 NEW BEST:: SOT 4188 SOS 1048 HAS SOPS 1048 HAS SOUS 926 HAS SOUPS 926 WITH SCORE 927.048
AT ITER 5118 NEW BEST:: SOT 4182 SOS 1037 HAS SOPS 1037 HAS SOUS 915 HAS SOUPS 915 WITH SCORE 916.037
AT ITER 5179 NEW BEST:: SOT 4181 SOS 1036 HAS SOPS 1036 HAS SOUS 915 HAS SOUPS 915 WITH SCORE 916.036
AT ITER 5261 NEW BEST:: SOT 4177 SOS 1054 HAS SOPS 1054 HAS SOUS 913 HAS SOUPS 913 WITH SCORE 914.054
AT ITER 5306 NEW BEST:: SOT 4176 SOS 1056 HAS SOPS 1056 HAS SOUS 908 HAS SOUPS 908 WITH SCORE 909.056
AT ITER 5495 NEW BEST:: SOT 4174 SOS 1055 HAS SOPS 1055 HAS SOUS 907 HAS SOUPS 907 WITH SCORE 908.055
AT ITER 6060 NEW BEST:: SOT 4175 SOS 1053 HAS SOPS 1053 HAS SOUS 905 HAS SOUPS 905 WITH SCORE 906.053
AT ITER 6258 NEW BEST:: SOT 4175 SOS 1053 HAS SOPS 1053 HAS SOUS 903 HAS SOUPS 903 WITH SCORE 904.053
AT ITER 6360 NEW BEST:: SOT 4174 SOS 1052 HAS SOPS 1052 HAS SOUS 903 HAS SOUPS 903 WITH SCORE 904.052
AT ITER 6426 NEW BEST:: SOT 4173 SOS 1051 HAS SOPS 1051 HAS SOUS 902 HAS SOUPS 902 WITH SCORE 903.051
AT ITER 6486 NEW BEST:: SOT 4169 SOS 1035 HAS SOPS 1035 HAS SOUS 895 HAS SOUPS 895 WITH SCORE 896.035
AT ITER 6546 NEW BEST:: SOT 4167 SOS 1033 HAS SOPS 1033 HAS SOUS 893 HAS SOUPS 893 WITH SCORE 894.033
AT ITER 6633 NEW BEST:: SOT 4167 SOS 1031 HAS SOPS 1031 HAS SOUS 893 HAS SOUPS 893 WITH SCORE 894.031
AT ITER 6807 NEW BEST:: SOT 4166 SOS 1031 HAS SOPS 1031 HAS SOUS 892 HAS SOUPS 892 WITH SCORE 893.031
AT ITER 6993 NEW BEST:: SOT 4167 SOS 1032 HAS SOPS 1032 HAS SOUS 891 HAS SOUPS 891 WITH SCORE 892.032
AT ITER 7065 NEW BEST:: SOT 4164 SOS 1030 HAS SOPS 1030 HAS SOUS 889 HAS SOUPS 889 WITH SCORE 890.03
AT ITER 7149 NEW BEST:: SOT 4162 SOS 1030 HAS SOPS 1030 HAS SOUS 888 HAS SOUPS 888 WITH SCORE 889.03
AT ITER 7154 NEW BEST:: SOT 4162 SOS 1027 HAS SOPS 1027 HAS SOUS 886 HAS SOUPS 886 WITH SCORE 887.027
AT ITER 7275 NEW BEST:: SOT 4160 SOS 1024 HAS SOPS 1024 HAS SOUS 885 HAS SOUPS 885 WITH SCORE 886.024
AT ITER 7325 NEW BEST:: SOT 4162 SOS 1023 HAS SOPS 1023 HAS SOUS 885 HAS SOUPS 885 WITH SCORE 886.023
AT ITER 7426 NEW BEST:: SOT 4163 SOS 1025 HAS SOPS 1025 HAS SOUS 884 HAS SOUPS 884 WITH SCORE 885.025
AT ITER 8091 NEW BEST:: SOT 4160 SOS 1017 HAS SOPS 1017 HAS SOUS 876 HAS SOUPS 876 WITH SCORE 877.017
AT ITER 8103 NEW BEST:: SOT 4158 SOS 1014 HAS SOPS 1014 HAS SOUS 874 HAS SOUPS 874 WITH SCORE 875.014
AT ITER 8929 NEW BEST:: SOT 4157 SOS 1012 HAS SOPS 1012 HAS SOUS 873 HAS SOUPS 873 WITH SCORE 874.012
AT ITER 9093 NEW BEST:: SOT 4156 SOS 1011 HAS SOPS 1011 HAS SOUS 872 HAS SOUPS 872 WITH SCORE 873.011
AT ITER 9304 NEW BEST:: SOT 4155 SOS 1010 HAS SOPS 1010 HAS SOUS 871 HAS SOUPS 871 WITH SCORE 872.01
STATE_SPACE STATES 61292908391850 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 34 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 750630189053083 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679565044744

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r395-oct2-167903718700392"
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 ;