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.r139-smll-167819422800368.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 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 DiscoveryGPU-PT-11a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819422800368
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 9.0K Feb 25 13:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 25 13:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 13:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 25 13:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 25 13:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 25 13:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 25 13:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 39K Mar 5 18:22 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 1678379966130

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=DiscoveryGPU-PT-11a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 16:39:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 16:39:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 16:39:29] [INFO ] Load time of PNML (sax parser for PT used): 101 ms
[2023-03-09 16:39:29] [INFO ] Transformed 113 places.
[2023-03-09 16:39:29] [INFO ] Transformed 155 transitions.
[2023-03-09 16:39:29] [INFO ] Found NUPN structural information;
[2023-03-09 16:39:29] [INFO ] Parsed PT model containing 113 places and 155 transitions and 498 arcs in 289 ms.
[2023-03-09 16:39:29] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 113 places, 155 transitions and 498 arcs took 9 ms.
Total runtime 348 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 11a
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: 113 places, 155 transitions, 498 arcs.
AT ITER 0 NEW BEST:: SOT 12844 SOS 6446 HAS SOPS 6446 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6394.446
AT ITER 3 NEW BEST:: SOT 12844 SOS 6498 HAS SOPS 6498 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6372.498
AT ITER 10 NEW BEST:: SOT 12844 SOS 6497 HAS SOPS 6497 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6371.497
AT ITER 14 NEW BEST:: SOT 12913 SOS 6527 HAS SOPS 6527 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6338.527
AT ITER 23 NEW BEST:: SOT 12941 SOS 6498 HAS SOPS 6498 HAS SOUS 6303 HAS SOUPS 6303 WITH SCORE 6309.498
AT ITER 24 NEW BEST:: SOT 10832 SOS 6571 HAS SOPS 4410 HAS SOUS 4302 HAS SOUPS 4222 WITH SCORE 4228.571
AT ITER 28 NEW BEST:: SOT 10824 SOS 6563 HAS SOPS 4402 HAS SOUS 4294 HAS SOUPS 4214 WITH SCORE 4220.563
AT ITER 33 NEW BEST:: SOT 10880 SOS 6576 HAS SOPS 4385 HAS SOUS 4285 HAS SOUPS 4197 WITH SCORE 4203.576
AT ITER 34 NEW BEST:: SOT 10904 SOS 6598 HAS SOPS 4418 HAS SOUS 4265 HAS SOUPS 4177 WITH SCORE 4183.598
AT ITER 39 NEW BEST:: SOT 10904 SOS 6592 HAS SOPS 4412 HAS SOUS 4259 HAS SOUPS 4171 WITH SCORE 4177.592
AT ITER 40 NEW BEST:: SOT 10903 SOS 6591 HAS SOPS 4402 HAS SOUS 4249 HAS SOUPS 4161 WITH SCORE 4167.591
AT ITER 41 NEW BEST:: SOT 10904 SOS 6618 HAS SOPS 4421 HAS SOUS 4242 HAS SOUPS 4154 WITH SCORE 4160.618
AT ITER 48 NEW BEST:: SOT 10904 SOS 6618 HAS SOPS 4375 HAS SOUS 4150 HAS SOUPS 4062 WITH SCORE 4068.618
AT ITER 54 NEW BEST:: SOT 10885 SOS 6618 HAS SOPS 4356 HAS SOUS 4113 HAS SOUPS 4024 WITH SCORE 4030.618
AT ITER 56 NEW BEST:: SOT 10919 SOS 6652 HAS SOPS 4353 HAS SOUS 4110 HAS SOUPS 4021 WITH SCORE 4027.652
AT ITER 57 NEW BEST:: SOT 10919 SOS 6635 HAS SOPS 4336 HAS SOUS 4110 HAS SOUPS 4021 WITH SCORE 4027.635
AT ITER 62 NEW BEST:: SOT 10932 SOS 6612 HAS SOPS 4332 HAS SOUS 4071 HAS SOUPS 3982 WITH SCORE 3988.612
AT ITER 65 NEW BEST:: SOT 10922 SOS 6607 HAS SOPS 4327 HAS SOUS 4066 HAS SOUPS 3977 WITH SCORE 3983.607
AT ITER 70 NEW BEST:: SOT 10062 SOS 6925 HAS SOPS 3468 HAS SOUS 3626 HAS SOUPS 3466 WITH SCORE 3472.925
AT ITER 73 NEW BEST:: SOT 10018 SOS 6892 HAS SOPS 3380 HAS SOUS 3543 HAS SOUPS 3378 WITH SCORE 3384.892
AT ITER 74 NEW BEST:: SOT 10020 SOS 6894 HAS SOPS 3368 HAS SOUS 3545 HAS SOUPS 3366 WITH SCORE 3372.894
AT ITER 95 NEW BEST:: SOT 9980 SOS 6855 HAS SOPS 3351 HAS SOUS 3532 HAS SOUPS 3349 WITH SCORE 3355.855
AT ITER 105 NEW BEST:: SOT 9974 SOS 6851 HAS SOPS 3339 HAS SOUS 3519 HAS SOUPS 3336 WITH SCORE 3342.851
AT ITER 109 NEW BEST:: SOT 9974 SOS 6834 HAS SOPS 3322 HAS SOUS 3502 HAS SOUPS 3319 WITH SCORE 3325.834
AT ITER 111 NEW BEST:: SOT 9962 SOS 6835 HAS SOPS 3311 HAS SOUS 3491 HAS SOUPS 3308 WITH SCORE 3314.835
AT ITER 125 NEW BEST:: SOT 9927 SOS 6752 HAS SOPS 3241 HAS SOUS 3421 HAS SOUPS 3238 WITH SCORE 3244.752
AT ITER 138 NEW BEST:: SOT 9927 SOS 6676 HAS SOPS 3089 HAS SOUS 3277 HAS SOUPS 3086 WITH SCORE 3092.676
AT ITER 143 NEW BEST:: SOT 9920 SOS 6662 HAS SOPS 3075 HAS SOUS 3263 HAS SOUPS 3072 WITH SCORE 3078.662
AT ITER 156 NEW BEST:: SOT 9941 SOS 6683 HAS SOPS 3057 HAS SOUS 3245 HAS SOUPS 3054 WITH SCORE 3060.683
AT ITER 161 NEW BEST:: SOT 9991 SOS 6646 HAS SOPS 2983 HAS SOUS 3171 HAS SOUPS 2980 WITH SCORE 2986.646
AT ITER 166 NEW BEST:: SOT 9946 SOS 6615 HAS SOPS 2893 HAS SOUS 3091 HAS SOUPS 2890 WITH SCORE 2896.615
AT ITER 172 NEW BEST:: SOT 9938 SOS 6607 HAS SOPS 2890 HAS SOUS 3088 HAS SOUPS 2887 WITH SCORE 2893.607
AT ITER 177 NEW BEST:: SOT 9924 SOS 6593 HAS SOPS 2862 HAS SOUS 3060 HAS SOUPS 2859 WITH SCORE 2865.593
AT ITER 189 NEW BEST:: SOT 9922 SOS 6591 HAS SOPS 2858 HAS SOUS 3058 HAS SOUPS 2855 WITH SCORE 2861.591
AT ITER 191 NEW BEST:: SOT 9871 SOS 6540 HAS SOPS 2807 HAS SOUS 3007 HAS SOUPS 2804 WITH SCORE 2810.54
AT ITER 204 NEW BEST:: SOT 9868 SOS 6531 HAS SOPS 2792 HAS SOUS 2992 HAS SOUPS 2789 WITH SCORE 2795.531
AT ITER 207 NEW BEST:: SOT 9868 SOS 6522 HAS SOPS 2783 HAS SOUS 2983 HAS SOUPS 2780 WITH SCORE 2786.522
AT ITER 209 NEW BEST:: SOT 9822 SOS 6476 HAS SOPS 2726 HAS SOUS 2926 HAS SOUPS 2723 WITH SCORE 2729.476
AT ITER 227 NEW BEST:: SOT 9822 SOS 6475 HAS SOPS 2725 HAS SOUS 2925 HAS SOUPS 2722 WITH SCORE 2728.475
AT ITER 238 NEW BEST:: SOT 9816 SOS 6466 HAS SOPS 2713 HAS SOUS 2913 HAS SOUPS 2710 WITH SCORE 2716.466
AT ITER 239 NEW BEST:: SOT 9776 SOS 6431 HAS SOPS 2633 HAS SOUS 2833 HAS SOUPS 2630 WITH SCORE 2636.431
AT ITER 247 NEW BEST:: SOT 9788 SOS 6439 HAS SOPS 2621 HAS SOUS 2821 HAS SOUPS 2618 WITH SCORE 2624.439
AT ITER 258 NEW BEST:: SOT 9786 SOS 6436 HAS SOPS 2587 HAS SOUS 2787 HAS SOUPS 2584 WITH SCORE 2590.436
AT ITER 263 NEW BEST:: SOT 9804 SOS 6435 HAS SOPS 2585 HAS SOUS 2785 HAS SOUPS 2582 WITH SCORE 2588.435
AT ITER 269 NEW BEST:: SOT 9804 SOS 6420 HAS SOPS 2570 HAS SOUS 2770 HAS SOUPS 2567 WITH SCORE 2573.42
AT ITER 275 NEW BEST:: SOT 9760 SOS 6376 HAS SOPS 2482 HAS SOUS 2682 HAS SOUPS 2479 WITH SCORE 2485.376
AT ITER 290 NEW BEST:: SOT 9748 SOS 6364 HAS SOPS 2458 HAS SOUS 2658 HAS SOUPS 2455 WITH SCORE 2461.364
AT ITER 296 NEW BEST:: SOT 9717 SOS 6326 HAS SOPS 2396 HAS SOUS 2596 HAS SOUPS 2393 WITH SCORE 2399.326
AT ITER 312 NEW BEST:: SOT 9700 SOS 6308 HAS SOPS 2362 HAS SOUS 2562 HAS SOUPS 2359 WITH SCORE 2365.308
AT ITER 321 NEW BEST:: SOT 9711 SOS 6319 HAS SOPS 2359 HAS SOUS 2559 HAS SOUPS 2356 WITH SCORE 2362.319
AT ITER 324 NEW BEST:: SOT 9706 SOS 6277 HAS SOPS 2275 HAS SOUS 2475 HAS SOUPS 2272 WITH SCORE 2278.277
AT ITER 325 NEW BEST:: SOT 9742 SOS 6266 HAS SOPS 2217 HAS SOUS 2417 HAS SOUPS 2214 WITH SCORE 2220.266
AT ITER 332 NEW BEST:: SOT 9742 SOS 6259 HAS SOPS 2203 HAS SOUS 2403 HAS SOUPS 2200 WITH SCORE 2206.259
AT ITER 335 NEW BEST:: SOT 9736 SOS 6254 HAS SOPS 2199 HAS SOUS 2399 HAS SOUPS 2196 WITH SCORE 2202.254
AT ITER 347 NEW BEST:: SOT 9758 SOS 6256 HAS SOPS 2183 HAS SOUS 2383 HAS SOUPS 2180 WITH SCORE 2186.256
AT ITER 356 NEW BEST:: SOT 9755 SOS 6253 HAS SOPS 2177 HAS SOUS 2377 HAS SOUPS 2174 WITH SCORE 2180.253
AT ITER 360 NEW BEST:: SOT 9748 SOS 6246 HAS SOPS 2163 HAS SOUS 2363 HAS SOUPS 2160 WITH SCORE 2166.246
AT ITER 365 NEW BEST:: SOT 9697 SOS 6195 HAS SOPS 2098 HAS SOUS 2298 HAS SOUPS 2095 WITH SCORE 2101.195
AT ITER 372 NEW BEST:: SOT 9661 SOS 6140 HAS SOPS 2026 HAS SOUS 2226 HAS SOUPS 2023 WITH SCORE 2029.14
AT ITER 376 NEW BEST:: SOT 9660 SOS 6116 HAS SOPS 1978 HAS SOUS 2178 HAS SOUPS 1975 WITH SCORE 1981.116
AT ITER 406 NEW BEST:: SOT 9646 SOS 6102 HAS SOPS 1950 HAS SOUS 2150 HAS SOUPS 1947 WITH SCORE 1953.102
AT ITER 407 NEW BEST:: SOT 9646 SOS 6090 HAS SOPS 1939 HAS SOUS 2140 HAS SOUPS 1937 WITH SCORE 1943.09
AT ITER 426 NEW BEST:: SOT 9642 SOS 6086 HAS SOPS 1931 HAS SOUS 2132 HAS SOUPS 1929 WITH SCORE 1935.086
AT ITER 433 NEW BEST:: SOT 9642 SOS 6085 HAS SOPS 1930 HAS SOUS 2131 HAS SOUPS 1928 WITH SCORE 1934.085
AT ITER 453 NEW BEST:: SOT 9642 SOS 6084 HAS SOPS 1930 HAS SOUS 2131 HAS SOUPS 1928 WITH SCORE 1934.084
AT ITER 476 NEW BEST:: SOT 9540 SOS 6052 HAS SOPS 1866 HAS SOUS 2067 HAS SOUPS 1864 WITH SCORE 1870.052
AT ITER 488 NEW BEST:: SOT 9540 SOS 6047 HAS SOPS 1861 HAS SOUS 2062 HAS SOUPS 1859 WITH SCORE 1865.047
AT ITER 489 NEW BEST:: SOT 9527 SOS 6034 HAS SOPS 1857 HAS SOUS 2058 HAS SOUPS 1855 WITH SCORE 1861.034
AT ITER 501 NEW BEST:: SOT 9525 SOS 6032 HAS SOPS 1853 HAS SOUS 2054 HAS SOUPS 1851 WITH SCORE 1857.032
AT ITER 525 NEW BEST:: SOT 9528 SOS 6032 HAS SOPS 1850 HAS SOUS 2051 HAS SOUPS 1848 WITH SCORE 1854.032
AT ITER 535 NEW BEST:: SOT 9515 SOS 6019 HAS SOPS 1833 HAS SOUS 2034 HAS SOUPS 1831 WITH SCORE 1837.019
AT ITER 552 NEW BEST:: SOT 9513 SOS 6044 HAS SOPS 1829 HAS SOUS 2030 HAS SOUPS 1827 WITH SCORE 1833.044
AT ITER 556 NEW BEST:: SOT 9512 SOS 6038 HAS SOPS 1822 HAS SOUS 2023 HAS SOUPS 1820 WITH SCORE 1826.038
AT ITER 564 NEW BEST:: SOT 9506 SOS 6016 HAS SOPS 1778 HAS SOUS 1979 HAS SOUPS 1776 WITH SCORE 1782.016
AT ITER 624 NEW BEST:: SOT 9504 SOS 6015 HAS SOPS 1777 HAS SOUS 1978 HAS SOUPS 1775 WITH SCORE 1781.015
AT ITER 629 NEW BEST:: SOT 9508 SOS 6007 HAS SOPS 1757 HAS SOUS 1958 HAS SOUPS 1755 WITH SCORE 1761.007
AT ITER 659 NEW BEST:: SOT 9506 SOS 6005 HAS SOPS 1755 HAS SOUS 1956 HAS SOUPS 1753 WITH SCORE 1759.005
AT ITER 681 NEW BEST:: SOT 9506 SOS 5993 HAS SOPS 1743 HAS SOUS 1944 HAS SOUPS 1741 WITH SCORE 1746.993
AT ITER 682 NEW BEST:: SOT 9504 SOS 5990 HAS SOPS 1739 HAS SOUS 1940 HAS SOUPS 1737 WITH SCORE 1742.99
AT ITER 724 NEW BEST:: SOT 9503 SOS 5989 HAS SOPS 1723 HAS SOUS 1924 HAS SOUPS 1721 WITH SCORE 1726.989
AT ITER 754 NEW BEST:: SOT 9500 SOS 5982 HAS SOPS 1717 HAS SOUS 1918 HAS SOUPS 1715 WITH SCORE 1720.982
AT ITER 757 NEW BEST:: SOT 9494 SOS 5976 HAS SOPS 1705 HAS SOUS 1906 HAS SOUPS 1703 WITH SCORE 1708.976
AT ITER 772 NEW BEST:: SOT 9491 SOS 6153 HAS SOPS 1697 HAS SOUS 1901 HAS SOUPS 1695 WITH SCORE 1701.153
AT ITER 777 NEW BEST:: SOT 9495 SOS 6147 HAS SOPS 1685 HAS SOUS 1889 HAS SOUPS 1683 WITH SCORE 1689.147
AT ITER 792 NEW BEST:: SOT 9455 SOS 6107 HAS SOPS 1605 HAS SOUS 1809 HAS SOUPS 1603 WITH SCORE 1609.107
AT ITER 825 NEW BEST:: SOT 9453 SOS 6121 HAS SOPS 1601 HAS SOUS 1805 HAS SOUPS 1599 WITH SCORE 1605.121
AT ITER 827 NEW BEST:: SOT 9438 SOS 6105 HAS SOPS 1571 HAS SOUS 1775 HAS SOUPS 1569 WITH SCORE 1575.105
AT ITER 852 NEW BEST:: SOT 9480 SOS 6117 HAS SOPS 1568 HAS SOUS 1772 HAS SOUPS 1566 WITH SCORE 1572.117
AT ITER 868 NEW BEST:: SOT 9480 SOS 6117 HAS SOPS 1558 HAS SOUS 1762 HAS SOUPS 1556 WITH SCORE 1562.117
AT ITER 889 NEW BEST:: SOT 9471 SOS 6088 HAS SOPS 1520 HAS SOUS 1724 HAS SOUPS 1518 WITH SCORE 1524.088
AT ITER 898 NEW BEST:: SOT 9457 SOS 6074 HAS SOPS 1510 HAS SOUS 1714 HAS SOUPS 1508 WITH SCORE 1514.074
AT ITER 921 NEW BEST:: SOT 9462 SOS 6074 HAS SOPS 1505 HAS SOUS 1709 HAS SOUPS 1503 WITH SCORE 1509.074
AT ITER 932 NEW BEST:: SOT 9462 SOS 6071 HAS SOPS 1502 HAS SOUS 1706 HAS SOUPS 1500 WITH SCORE 1506.071
AT ITER 945 NEW BEST:: SOT 9451 SOS 6071 HAS SOPS 1491 HAS SOUS 1695 HAS SOUPS 1489 WITH SCORE 1495.071
AT ITER 956 NEW BEST:: SOT 9448 SOS 6068 HAS SOPS 1488 HAS SOUS 1692 HAS SOUPS 1486 WITH SCORE 1492.068
AT ITER 959 NEW BEST:: SOT 9441 SOS 6068 HAS SOPS 1481 HAS SOUS 1685 HAS SOUPS 1479 WITH SCORE 1485.068
AT ITER 982 NEW BEST:: SOT 9431 SOS 6046 HAS SOPS 1445 HAS SOUS 1649 HAS SOUPS 1443 WITH SCORE 1449.046
AT ITER 987 NEW BEST:: SOT 9426 SOS 6041 HAS SOPS 1444 HAS SOUS 1648 HAS SOUPS 1442 WITH SCORE 1448.041
AT ITER 994 NEW BEST:: SOT 9430 SOS 6036 HAS SOPS 1443 HAS SOUS 1647 HAS SOUPS 1441 WITH SCORE 1447.036
AT ITER 1012 NEW BEST:: SOT 9428 SOS 6034 HAS SOPS 1440 HAS SOUS 1644 HAS SOUPS 1438 WITH SCORE 1444.034
AT ITER 1014 NEW BEST:: SOT 9426 SOS 6033 HAS SOPS 1437 HAS SOUS 1641 HAS SOUPS 1435 WITH SCORE 1441.033
AT ITER 1043 NEW BEST:: SOT 9451 SOS 6027 HAS SOPS 1425 HAS SOUS 1629 HAS SOUPS 1423 WITH SCORE 1429.027
AT ITER 1085 NEW BEST:: SOT 9449 SOS 6027 HAS SOPS 1424 HAS SOUS 1628 HAS SOUPS 1422 WITH SCORE 1428.027
AT ITER 1091 NEW BEST:: SOT 9440 SOS 6035 HAS SOPS 1423 HAS SOUS 1627 HAS SOUPS 1421 WITH SCORE 1427.035
AT ITER 1097 NEW BEST:: SOT 9430 SOS 6025 HAS SOPS 1390 HAS SOUS 1594 HAS SOUPS 1388 WITH SCORE 1394.025
AT ITER 1113 NEW BEST:: SOT 9424 SOS 5831 HAS SOPS 1384 HAS SOUS 1582 HAS SOUPS 1382 WITH SCORE 1387.831
AT ITER 1147 NEW BEST:: SOT 9422 SOS 5827 HAS SOPS 1380 HAS SOUS 1578 HAS SOUPS 1378 WITH SCORE 1383.827
AT ITER 1161 NEW BEST:: SOT 9420 SOS 5822 HAS SOPS 1376 HAS SOUS 1574 HAS SOUPS 1374 WITH SCORE 1379.822
AT ITER 1177 NEW BEST:: SOT 9418 SOS 5823 HAS SOPS 1375 HAS SOUS 1573 HAS SOUPS 1373 WITH SCORE 1378.823
AT ITER 1186 NEW BEST:: SOT 9420 SOS 5824 HAS SOPS 1371 HAS SOUS 1569 HAS SOUPS 1369 WITH SCORE 1374.824
AT ITER 1227 NEW BEST:: SOT 9447 SOS 5829 HAS SOPS 1359 HAS SOUS 1557 HAS SOUPS 1357 WITH SCORE 1362.829
AT ITER 1233 NEW BEST:: SOT 9440 SOS 5822 HAS SOPS 1359 HAS SOUS 1557 HAS SOUPS 1357 WITH SCORE 1362.822
AT ITER 1263 NEW BEST:: SOT 9438 SOS 5818 HAS SOPS 1353 HAS SOUS 1551 HAS SOUPS 1351 WITH SCORE 1356.818
AT ITER 1265 NEW BEST:: SOT 9431 SOS 5811 HAS SOPS 1346 HAS SOUS 1544 HAS SOUPS 1344 WITH SCORE 1349.811
AT ITER 1361 NEW BEST:: SOT 9431 SOS 5810 HAS SOPS 1344 HAS SOUS 1543 HAS SOUPS 1342 WITH SCORE 1347.81
AT ITER 1375 NEW BEST:: SOT 9423 SOS 5803 HAS SOPS 1328 HAS SOUS 1534 HAS SOUPS 1326 WITH SCORE 1331.803
AT ITER 1384 NEW BEST:: SOT 9434 SOS 5813 HAS SOPS 1324 HAS SOUS 1530 HAS SOUPS 1322 WITH SCORE 1327.813
AT ITER 1438 NEW BEST:: SOT 9430 SOS 5809 HAS SOPS 1322 HAS SOUS 1528 HAS SOUPS 1320 WITH SCORE 1325.809
AT ITER 1501 NEW BEST:: SOT 9420 SOS 5801 HAS SOPS 1302 HAS SOUS 1508 HAS SOUPS 1300 WITH SCORE 1305.801
AT ITER 1594 NEW BEST:: SOT 9419 SOS 5800 HAS SOPS 1301 HAS SOUS 1507 HAS SOUPS 1299 WITH SCORE 1304.8
AT ITER 1635 NEW BEST:: SOT 9419 SOS 5799 HAS SOPS 1300 HAS SOUS 1506 HAS SOUPS 1298 WITH SCORE 1303.799
AT ITER 1658 NEW BEST:: SOT 9416 SOS 5797 HAS SOPS 1294 HAS SOUS 1500 HAS SOUPS 1292 WITH SCORE 1297.797
AT ITER 1695 NEW BEST:: SOT 9414 SOS 5794 HAS SOPS 1290 HAS SOUS 1496 HAS SOUPS 1288 WITH SCORE 1293.794
AT ITER 1728 NEW BEST:: SOT 9411 SOS 5791 HAS SOPS 1287 HAS SOUS 1493 HAS SOUPS 1285 WITH SCORE 1290.791
AT ITER 1729 NEW BEST:: SOT 9387 SOS 5782 HAS SOPS 1284 HAS SOUS 1490 HAS SOUPS 1282 WITH SCORE 1287.782
AT ITER 1738 NEW BEST:: SOT 9387 SOS 5782 HAS SOPS 1276 HAS SOUS 1482 HAS SOUPS 1274 WITH SCORE 1279.782
AT ITER 1740 NEW BEST:: SOT 9386 SOS 5781 HAS SOPS 1275 HAS SOUS 1481 HAS SOUPS 1273 WITH SCORE 1278.781
AT ITER 1762 NEW BEST:: SOT 9384 SOS 5782 HAS SOPS 1271 HAS SOUS 1477 HAS SOUPS 1269 WITH SCORE 1274.782
AT ITER 1785 NEW BEST:: SOT 9383 SOS 5781 HAS SOPS 1269 HAS SOUS 1475 HAS SOUPS 1267 WITH SCORE 1272.781
AT ITER 1795 NEW BEST:: SOT 9379 SOS 5777 HAS SOPS 1261 HAS SOUS 1467 HAS SOUPS 1259 WITH SCORE 1264.777
AT ITER 1845 NEW BEST:: SOT 9379 SOS 5775 HAS SOPS 1257 HAS SOUS 1463 HAS SOUPS 1255 WITH SCORE 1260.775
AT ITER 1876 NEW BEST:: SOT 9381 SOS 5772 HAS SOPS 1255 HAS SOUS 1461 HAS SOUPS 1253 WITH SCORE 1258.772
AT ITER 1896 NEW BEST:: SOT 9377 SOS 5770 HAS SOPS 1251 HAS SOUS 1457 HAS SOUPS 1249 WITH SCORE 1254.77
AT ITER 1942 NEW BEST:: SOT 9373 SOS 5768 HAS SOPS 1249 HAS SOUS 1455 HAS SOUPS 1247 WITH SCORE 1252.768
AT ITER 1954 NEW BEST:: SOT 9382 SOS 5776 HAS SOPS 1247 HAS SOUS 1453 HAS SOUPS 1245 WITH SCORE 1250.776
AT ITER 2029 NEW BEST:: SOT 9378 SOS 5773 HAS SOPS 1241 HAS SOUS 1447 HAS SOUPS 1239 WITH SCORE 1244.773
AT ITER 2061 NEW BEST:: SOT 9377 SOS 5775 HAS SOPS 1239 HAS SOUS 1445 HAS SOUPS 1237 WITH SCORE 1242.775
AT ITER 2124 NEW BEST:: SOT 9371 SOS 5772 HAS SOPS 1233 HAS SOUS 1439 HAS SOUPS 1231 WITH SCORE 1236.772
AT ITER 2131 NEW BEST:: SOT 9370 SOS 5768 HAS SOPS 1231 HAS SOUS 1437 HAS SOUPS 1229 WITH SCORE 1234.768
AT ITER 2177 NEW BEST:: SOT 9372 SOS 5769 HAS SOPS 1227 HAS SOUS 1433 HAS SOUPS 1225 WITH SCORE 1230.769
AT ITER 2209 NEW BEST:: SOT 9370 SOS 5767 HAS SOPS 1223 HAS SOUS 1429 HAS SOUPS 1221 WITH SCORE 1226.767
AT ITER 2228 NEW BEST:: SOT 9349 SOS 5746 HAS SOPS 1214 HAS SOUS 1420 HAS SOUPS 1212 WITH SCORE 1217.746
AT ITER 2267 NEW BEST:: SOT 9346 SOS 5733 HAS SOPS 1208 HAS SOUS 1414 HAS SOUPS 1206 WITH SCORE 1211.733
AT ITER 2304 NEW BEST:: SOT 9341 SOS 5737 HAS SOPS 1207 HAS SOUS 1413 HAS SOUPS 1205 WITH SCORE 1210.737
AT ITER 2339 NEW BEST:: SOT 9334 SOS 5730 HAS SOPS 1197 HAS SOUS 1403 HAS SOUPS 1195 WITH SCORE 1200.73
AT ITER 2390 NEW BEST:: SOT 9333 SOS 5730 HAS SOPS 1196 HAS SOUS 1402 HAS SOUPS 1194 WITH SCORE 1199.73
AT ITER 2391 NEW BEST:: SOT 9331 SOS 5727 HAS SOPS 1192 HAS SOUS 1398 HAS SOUPS 1190 WITH SCORE 1195.727
AT ITER 2407 NEW BEST:: SOT 9330 SOS 5726 HAS SOPS 1190 HAS SOUS 1396 HAS SOUPS 1188 WITH SCORE 1193.726
AT ITER 2414 NEW BEST:: SOT 9328 SOS 5731 HAS SOPS 1186 HAS SOUS 1392 HAS SOUPS 1184 WITH SCORE 1189.731
AT ITER 2435 NEW BEST:: SOT 9326 SOS 5728 HAS SOPS 1182 HAS SOUS 1388 HAS SOUPS 1180 WITH SCORE 1185.728
AT ITER 2436 NEW BEST:: SOT 9326 SOS 5788 HAS SOPS 1178 HAS SOUS 1386 HAS SOUPS 1176 WITH SCORE 1181.788
AT ITER 2488 NEW BEST:: SOT 9325 SOS 5786 HAS SOPS 1174 HAS SOUS 1382 HAS SOUPS 1172 WITH SCORE 1177.786
AT ITER 2514 NEW BEST:: SOT 9317 SOS 5784 HAS SOPS 1170 HAS SOUS 1378 HAS SOUPS 1168 WITH SCORE 1173.784
AT ITER 2517 NEW BEST:: SOT 9317 SOS 5846 HAS SOPS 1168 HAS SOUS 1378 HAS SOUPS 1167 WITH SCORE 1172.846
AT ITER 2521 NEW BEST:: SOT 9316 SOS 5845 HAS SOPS 1166 HAS SOUS 1376 HAS SOUPS 1165 WITH SCORE 1170.845
AT ITER 2582 NEW BEST:: SOT 9312 SOS 5841 HAS SOPS 1164 HAS SOUS 1374 HAS SOUPS 1163 WITH SCORE 1168.841
AT ITER 2612 NEW BEST:: SOT 9311 SOS 5839 HAS SOPS 1162 HAS SOUS 1372 HAS SOUPS 1161 WITH SCORE 1166.839
AT ITER 2664 NEW BEST:: SOT 9313 SOS 5838 HAS SOPS 1150 HAS SOUS 1360 HAS SOUPS 1149 WITH SCORE 1154.838
AT ITER 2753 NEW BEST:: SOT 9306 SOS 5838 HAS SOPS 1143 HAS SOUS 1353 HAS SOUPS 1142 WITH SCORE 1147.838
AT ITER 2842 NEW BEST:: SOT 9311 SOS 5839 HAS SOPS 1139 HAS SOUS 1349 HAS SOUPS 1138 WITH SCORE 1143.839
AT ITER 2903 NEW BEST:: SOT 9310 SOS 5837 HAS SOPS 1137 HAS SOUS 1347 HAS SOUPS 1136 WITH SCORE 1141.837
AT ITER 2959 NEW BEST:: SOT 9310 SOS 5835 HAS SOPS 1137 HAS SOUS 1347 HAS SOUPS 1136 WITH SCORE 1141.835
AT ITER 2974 NEW BEST:: SOT 9306 SOS 5833 HAS SOPS 1133 HAS SOUS 1343 HAS SOUPS 1132 WITH SCORE 1137.833
AT ITER 3018 NEW BEST:: SOT 9304 SOS 5831 HAS SOPS 1131 HAS SOUS 1341 HAS SOUPS 1130 WITH SCORE 1135.831
AT ITER 3036 NEW BEST:: SOT 9303 SOS 5830 HAS SOPS 1129 HAS SOUS 1339 HAS SOUPS 1128 WITH SCORE 1133.83
AT ITER 3140 NEW BEST:: SOT 9304 SOS 5830 HAS SOPS 1128 HAS SOUS 1338 HAS SOUPS 1127 WITH SCORE 1132.83
AT ITER 3158 NEW BEST:: SOT 9302 SOS 5829 HAS SOPS 1124 HAS SOUS 1334 HAS SOUPS 1123 WITH SCORE 1128.829
AT ITER 3202 NEW BEST:: SOT 9302 SOS 5828 HAS SOPS 1123 HAS SOUS 1333 HAS SOUPS 1122 WITH SCORE 1127.828
AT ITER 3408 NEW BEST:: SOT 9301 SOS 5827 HAS SOPS 1122 HAS SOUS 1332 HAS SOUPS 1121 WITH SCORE 1126.827
AT ITER 3460 NEW BEST:: SOT 9298 SOS 5824 HAS SOPS 1117 HAS SOUS 1327 HAS SOUPS 1116 WITH SCORE 1121.824
AT ITER 3461 NEW BEST:: SOT 9297 SOS 5823 HAS SOPS 1115 HAS SOUS 1325 HAS SOUPS 1114 WITH SCORE 1119.823
AT ITER 3518 NEW BEST:: SOT 9297 SOS 5822 HAS SOPS 1115 HAS SOUS 1325 HAS SOUPS 1114 WITH SCORE 1119.822
AT ITER 3599 NEW BEST:: SOT 9298 SOS 5823 HAS SOPS 1109 HAS SOUS 1319 HAS SOUPS 1108 WITH SCORE 1113.823
AT ITER 3651 NEW BEST:: SOT 9313 SOS 5825 HAS SOPS 1100 HAS SOUS 1310 HAS SOUPS 1099 WITH SCORE 1104.825
AT ITER 3778 NEW BEST:: SOT 9312 SOS 5824 HAS SOPS 1098 HAS SOUS 1308 HAS SOUPS 1097 WITH SCORE 1102.824
AT ITER 3789 NEW BEST:: SOT 9311 SOS 5822 HAS SOPS 1096 HAS SOUS 1306 HAS SOUPS 1095 WITH SCORE 1100.822
AT ITER 3873 NEW BEST:: SOT 9309 SOS 5819 HAS SOPS 1092 HAS SOUS 1302 HAS SOUPS 1091 WITH SCORE 1096.819
AT ITER 3925 NEW BEST:: SOT 9310 SOS 5819 HAS SOPS 1091 HAS SOUS 1301 HAS SOUPS 1090 WITH SCORE 1095.819
AT ITER 3992 NEW BEST:: SOT 9308 SOS 5816 HAS SOPS 1087 HAS SOUS 1297 HAS SOUPS 1086 WITH SCORE 1091.816
AT ITER 4070 NEW BEST:: SOT 9308 SOS 5816 HAS SOPS 1083 HAS SOUS 1293 HAS SOUPS 1082 WITH SCORE 1087.816
AT ITER 4107 NEW BEST:: SOT 9306 SOS 5814 HAS SOPS 1080 HAS SOUS 1290 HAS SOUPS 1079 WITH SCORE 1084.814
AT ITER 4257 NEW BEST:: SOT 9302 SOS 5829 HAS SOPS 1072 HAS SOUS 1282 HAS SOUPS 1071 WITH SCORE 1076.829
AT ITER 4300 NEW BEST:: SOT 9299 SOS 5825 HAS SOPS 1066 HAS SOUS 1276 HAS SOUPS 1065 WITH SCORE 1070.825
AT ITER 4318 NEW BEST:: SOT 9298 SOS 5824 HAS SOPS 1064 HAS SOUS 1274 HAS SOUPS 1063 WITH SCORE 1068.824
AT ITER 4371 NEW BEST:: SOT 9293 SOS 5823 HAS SOPS 1063 HAS SOUS 1273 HAS SOUPS 1062 WITH SCORE 1067.823
AT ITER 4430 NEW BEST:: SOT 9291 SOS 5822 HAS SOPS 1061 HAS SOUS 1271 HAS SOUPS 1060 WITH SCORE 1065.822
AT ITER 4477 NEW BEST:: SOT 9291 SOS 5821 HAS SOPS 1060 HAS SOUS 1270 HAS SOUPS 1059 WITH SCORE 1064.821
AT ITER 4599 NEW BEST:: SOT 9289 SOS 5820 HAS SOPS 1060 HAS SOUS 1270 HAS SOUPS 1059 WITH SCORE 1064.82
AT ITER 4674 NEW BEST:: SOT 9285 SOS 5817 HAS SOPS 1052 HAS SOUS 1262 HAS SOUPS 1051 WITH SCORE 1056.817
AT ITER 4686 NEW BEST:: SOT 9286 SOS 5816 HAS SOPS 1052 HAS SOUS 1262 HAS SOUPS 1051 WITH SCORE 1056.816
AT ITER 4688 NEW BEST:: SOT 9285 SOS 5814 HAS SOPS 1048 HAS SOUS 1258 HAS SOUPS 1047 WITH SCORE 1052.814
AT ITER 4825 NEW BEST:: SOT 9271 SOS 5811 HAS SOPS 1031 HAS SOUS 1241 HAS SOUPS 1030 WITH SCORE 1035.811
AT ITER 5022 NEW BEST:: SOT 9275 SOS 5815 HAS SOPS 1027 HAS SOUS 1237 HAS SOUPS 1026 WITH SCORE 1031.815
AT ITER 5043 NEW BEST:: SOT 9257 SOS 5797 HAS SOPS 1019 HAS SOUS 1229 HAS SOUPS 1018 WITH SCORE 1023.797
AT ITER 5159 NEW BEST:: SOT 9255 SOS 5795 HAS SOPS 1017 HAS SOUS 1227 HAS SOUPS 1016 WITH SCORE 1021.795
AT ITER 5176 NEW BEST:: SOT 9255 SOS 5794 HAS SOPS 1013 HAS SOUS 1223 HAS SOUPS 1012 WITH SCORE 1017.794
AT ITER 5188 NEW BEST:: SOT 9255 SOS 5793 HAS SOPS 1013 HAS SOUS 1222 HAS SOUPS 1012 WITH SCORE 1017.793
AT ITER 5208 NEW BEST:: SOT 9253 SOS 5791 HAS SOPS 1009 HAS SOUS 1218 HAS SOUPS 1008 WITH SCORE 1013.791
AT ITER 5282 NEW BEST:: SOT 9254 SOS 5792 HAS SOPS 1007 HAS SOUS 1216 HAS SOUPS 1006 WITH SCORE 1011.792
AT ITER 5312 NEW BEST:: SOT 9253 SOS 5791 HAS SOPS 1005 HAS SOUS 1215 HAS SOUPS 1004 WITH SCORE 1009.791
AT ITER 5342 NEW BEST:: SOT 9251 SOS 5788 HAS SOPS 1001 HAS SOUS 1211 HAS SOUPS 1000 WITH SCORE 1005.788
AT ITER 5429 NEW BEST:: SOT 9250 SOS 5788 HAS SOPS 1000 HAS SOUS 1210 HAS SOUPS 999 WITH SCORE 1004.788
AT ITER 5491 NEW BEST:: SOT 9246 SOS 5785 HAS SOPS 995 HAS SOUS 1205 HAS SOUPS 994 WITH SCORE 999.785
AT ITER 5546 NEW BEST:: SOT 9245 SOS 5784 HAS SOPS 993 HAS SOUS 1203 HAS SOUPS 992 WITH SCORE 997.784
AT ITER 5583 NEW BEST:: SOT 9244 SOS 5783 HAS SOPS 991 HAS SOUS 1201 HAS SOUPS 990 WITH SCORE 995.783
AT ITER 5678 NEW BEST:: SOT 9240 SOS 5775 HAS SOPS 979 HAS SOUS 1189 HAS SOUPS 978 WITH SCORE 983.775
AT ITER 5813 NEW BEST:: SOT 9250 SOS 5772 HAS SOPS 973 HAS SOUS 1183 HAS SOUPS 972 WITH SCORE 977.772
AT ITER 6085 NEW BEST:: SOT 9250 SOS 5770 HAS SOPS 967 HAS SOUS 1177 HAS SOUPS 966 WITH SCORE 971.77
AT ITER 6110 NEW BEST:: SOT 9247 SOS 5768 HAS SOPS 966 HAS SOUS 1176 HAS SOUPS 965 WITH SCORE 970.768
AT ITER 6125 NEW BEST:: SOT 9247 SOS 5767 HAS SOPS 966 HAS SOUS 1176 HAS SOUPS 965 WITH SCORE 970.767
AT ITER 6241 NEW BEST:: SOT 9245 SOS 5767 HAS SOPS 964 HAS SOUS 1174 HAS SOUPS 963 WITH SCORE 968.767
AT ITER 6298 NEW BEST:: SOT 9247 SOS 5769 HAS SOPS 960 HAS SOUS 1170 HAS SOUPS 959 WITH SCORE 964.769
AT ITER 6391 NEW BEST:: SOT 9246 SOS 5767 HAS SOPS 958 HAS SOUS 1168 HAS SOUPS 957 WITH SCORE 962.767
AT ITER 6435 NEW BEST:: SOT 9246 SOS 5767 HAS SOPS 956 HAS SOUS 1166 HAS SOUPS 955 WITH SCORE 960.767
AT ITER 6759 NEW BEST:: SOT 9246 SOS 5766 HAS SOPS 956 HAS SOUS 1166 HAS SOUPS 955 WITH SCORE 960.766
AT ITER 7159 NEW BEST:: SOT 9245 SOS 5767 HAS SOPS 954 HAS SOUS 1164 HAS SOUPS 953 WITH SCORE 958.767
AT ITER 7187 NEW BEST:: SOT 9244 SOS 5765 HAS SOPS 952 HAS SOUS 1162 HAS SOUPS 951 WITH SCORE 956.765
AT ITER 7236 NEW BEST:: SOT 9243 SOS 5764 HAS SOPS 950 HAS SOUS 1160 HAS SOUPS 949 WITH SCORE 954.764
AT ITER 7645 NEW BEST:: SOT 9241 SOS 5762 HAS SOPS 947 HAS SOUS 1157 HAS SOUPS 946 WITH SCORE 951.762
AT ITER 8065 NEW BEST:: SOT 9241 SOS 5761 HAS SOPS 945 HAS SOUS 1155 HAS SOUPS 944 WITH SCORE 949.761
AT ITER 8342 NEW BEST:: SOT 9239 SOS 5758 HAS SOPS 941 HAS SOUS 1151 HAS SOUPS 940 WITH SCORE 945.758
AT ITER 8372 NEW BEST:: SOT 9239 SOS 5757 HAS SOPS 941 HAS SOUS 1151 HAS SOUPS 940 WITH SCORE 945.757
AT ITER 8472 NEW BEST:: SOT 9241 SOS 5759 HAS SOPS 939 HAS SOUS 1149 HAS SOUPS 938 WITH SCORE 943.759
AT ITER 8566 NEW BEST:: SOT 9242 SOS 5759 HAS SOPS 938 HAS SOUS 1148 HAS SOUPS 937 WITH SCORE 942.759
AT ITER 9151 NEW BEST:: SOT 9242 SOS 5758 HAS SOPS 937 HAS SOUS 1147 HAS SOUPS 936 WITH SCORE 941.758
AT ITER 9405 NEW BEST:: SOT 9241 SOS 5756 HAS SOPS 928 HAS SOUS 1138 HAS SOUPS 927 WITH SCORE 932.756
AT ITER 9527 NEW BEST:: SOT 9240 SOS 5755 HAS SOPS 926 HAS SOUS 1136 HAS SOUPS 925 WITH SCORE 930.755
AT ITER 9595 NEW BEST:: SOT 9240 SOS 5754 HAS SOPS 922 HAS SOUS 1132 HAS SOUPS 921 WITH SCORE 926.754
AT ITER 9851 NEW BEST:: SOT 9239 SOS 5753 HAS SOPS 920 HAS SOUS 1130 HAS SOUPS 919 WITH SCORE 924.753
STATE_SPACE STATES 285311670612 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 13 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3994363388555 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678379977596

--------------------
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="DiscoveryGPU-PT-11a"
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 DiscoveryGPU-PT-11a, 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 r139-smll-167819422800368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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