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.r491-tall-167912710500448.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 Szymanski-PT-a12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710500448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 460K
-rw-r--r-- 1 mcc users 7.2K Feb 26 16:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 16:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 16:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 16:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:19 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:19 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 16:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 16:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 16:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 16:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 101K 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 1679253415238

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=Szymanski-PT-a12
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 19:16:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 19:16:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 19:16:57] [INFO ] Load time of PNML (sax parser for PT used): 58 ms
[2023-03-19 19:16:57] [INFO ] Transformed 61 places.
[2023-03-19 19:16:57] [INFO ] Transformed 224 transitions.
[2023-03-19 19:16:57] [INFO ] Parsed PT model containing 61 places and 224 transitions and 900 arcs in 127 ms.
[2023-03-19 19:16:57] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 61 places, 224 transitions and 900 arcs took 6 ms.
Total runtime 171 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Szymanski (PT), instance a12
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: 61 places, 224 transitions, 900 arcs.
AT ITER 0 NEW BEST:: SOT 7814 SOS 6985 HAS SOPS 5466 HAS SOUS 4363 HAS SOUPS 4240 WITH SCORE 4246.985
AT ITER 2 NEW BEST:: SOT 7813 SOS 6983 HAS SOPS 5461 HAS SOUS 4361 HAS SOUPS 4235 WITH SCORE 4241.983
AT ITER 3 NEW BEST:: SOT 7011 SOS 6534 HAS SOPS 4453 HAS SOUS 3489 HAS SOUPS 3327 WITH SCORE 3333.534
AT ITER 5 NEW BEST:: SOT 7003 SOS 6526 HAS SOPS 4429 HAS SOUS 3457 HAS SOUPS 3295 WITH SCORE 3301.526
AT ITER 6 NEW BEST:: SOT 7003 SOS 6526 HAS SOPS 4429 HAS SOUS 3453 HAS SOUPS 3291 WITH SCORE 3297.526
AT ITER 7 NEW BEST:: SOT 6957 SOS 6470 HAS SOPS 4079 HAS SOUS 3403 HAS SOUPS 3241 WITH SCORE 3247.47
AT ITER 14 NEW BEST:: SOT 6941 SOS 6454 HAS SOPS 4047 HAS SOUS 3387 HAS SOUPS 3225 WITH SCORE 3231.454
AT ITER 25 NEW BEST:: SOT 6981 SOS 6494 HAS SOPS 3991 HAS SOUS 3351 HAS SOUPS 3169 WITH SCORE 3175.494
AT ITER 32 NEW BEST:: SOT 6981 SOS 6494 HAS SOPS 3947 HAS SOUS 3285 HAS SOUPS 3103 WITH SCORE 3109.494
AT ITER 33 NEW BEST:: SOT 6965 SOS 6478 HAS SOPS 3915 HAS SOUS 3253 HAS SOUPS 3071 WITH SCORE 3077.478
AT ITER 34 NEW BEST:: SOT 6964 SOS 6477 HAS SOPS 3914 HAS SOUS 3252 HAS SOUPS 3070 WITH SCORE 3076.477
AT ITER 37 NEW BEST:: SOT 6964 SOS 6477 HAS SOPS 3866 HAS SOUS 3224 HAS SOUPS 3042 WITH SCORE 3048.477
AT ITER 48 NEW BEST:: SOT 6930 SOS 6443 HAS SOPS 3832 HAS SOUS 3190 HAS SOUPS 3008 WITH SCORE 3014.443
AT ITER 56 NEW BEST:: SOT 6936 SOS 6623 HAS SOPS 3830 HAS SOUS 3192 HAS SOUPS 3006 WITH SCORE 3012.623
AT ITER 57 NEW BEST:: SOT 6896 SOS 6583 HAS SOPS 3806 HAS SOUS 3164 HAS SOUPS 2978 WITH SCORE 2984.583
AT ITER 61 NEW BEST:: SOT 6896 SOS 6343 HAS SOPS 3848 HAS SOUS 3159 HAS SOUPS 2978 WITH SCORE 2984.343
AT ITER 70 NEW BEST:: SOT 6890 SOS 6337 HAS SOPS 3845 HAS SOUS 3138 HAS SOUPS 2957 WITH SCORE 2963.337
AT ITER 81 NEW BEST:: SOT 6874 SOS 6321 HAS SOPS 3845 HAS SOUS 3130 HAS SOUPS 2949 WITH SCORE 2955.321
AT ITER 95 NEW BEST:: SOT 6881 SOS 6328 HAS SOPS 3792 HAS SOUS 3085 HAS SOUPS 2904 WITH SCORE 2910.328
AT ITER 96 NEW BEST:: SOT 6897 SOS 6322 HAS SOPS 3568 HAS SOUS 3059 HAS SOUPS 2878 WITH SCORE 2884.322
AT ITER 110 NEW BEST:: SOT 6911 SOS 6336 HAS SOPS 3582 HAS SOUS 3057 HAS SOUPS 2876 WITH SCORE 2882.336
AT ITER 117 NEW BEST:: SOT 7037 SOS 6462 HAS SOPS 3580 HAS SOUS 3007 HAS SOUPS 2826 WITH SCORE 2832.462
AT ITER 131 NEW BEST:: SOT 7017 SOS 6442 HAS SOPS 3540 HAS SOUS 2967 HAS SOUPS 2786 WITH SCORE 2792.442
AT ITER 133 NEW BEST:: SOT 7013 SOS 6438 HAS SOPS 3460 HAS SOUS 2883 HAS SOUPS 2702 WITH SCORE 2708.438
AT ITER 137 NEW BEST:: SOT 6977 SOS 6402 HAS SOPS 3316 HAS SOUS 2797 HAS SOUPS 2616 WITH SCORE 2622.402
AT ITER 138 NEW BEST:: SOT 6961 SOS 6386 HAS SOPS 3316 HAS SOUS 2797 HAS SOUPS 2616 WITH SCORE 2622.386
AT ITER 152 NEW BEST:: SOT 6963 SOS 6097 HAS SOPS 3388 HAS SOUS 2782 HAS SOUPS 2608 WITH SCORE 2614.097
AT ITER 153 NEW BEST:: SOT 6955 SOS 6089 HAS SOPS 3366 HAS SOUS 2760 HAS SOUPS 2586 WITH SCORE 2592.089
AT ITER 158 NEW BEST:: SOT 6927 SOS 6061 HAS SOPS 3310 HAS SOUS 2724 HAS SOUPS 2550 WITH SCORE 2556.061
AT ITER 159 NEW BEST:: SOT 6923 SOS 6057 HAS SOPS 3296 HAS SOUS 2720 HAS SOUPS 2546 WITH SCORE 2552.057
AT ITER 161 NEW BEST:: SOT 6923 SOS 6043 HAS SOPS 3176 HAS SOUS 2720 HAS SOUPS 2546 WITH SCORE 2552.043
AT ITER 170 NEW BEST:: SOT 6923 SOS 6043 HAS SOPS 3172 HAS SOUS 2714 HAS SOUPS 2540 WITH SCORE 2546.043
AT ITER 176 NEW BEST:: SOT 6919 SOS 6039 HAS SOPS 3156 HAS SOUS 2702 HAS SOUPS 2524 WITH SCORE 2530.039
AT ITER 194 NEW BEST:: SOT 6911 SOS 6031 HAS SOPS 3149 HAS SOUS 2695 HAS SOUPS 2517 WITH SCORE 2523.031
AT ITER 196 NEW BEST:: SOT 6899 SOS 6019 HAS SOPS 3137 HAS SOUS 2683 HAS SOUPS 2505 WITH SCORE 2511.019
AT ITER 206 NEW BEST:: SOT 6893 SOS 6003 HAS SOPS 3099 HAS SOUS 2677 HAS SOUPS 2499 WITH SCORE 2505.003
AT ITER 215 NEW BEST:: SOT 6893 SOS 6003 HAS SOPS 3099 HAS SOUS 2675 HAS SOUPS 2497 WITH SCORE 2503.003
AT ITER 228 NEW BEST:: SOT 6789 SOS 5913 HAS SOPS 3015 HAS SOUS 2543 HAS SOUPS 2365 WITH SCORE 2370.913
AT ITER 234 NEW BEST:: SOT 6787 SOS 5659 HAS SOPS 3053 HAS SOUS 2499 HAS SOUPS 2328 WITH SCORE 2333.659
AT ITER 248 NEW BEST:: SOT 6784 SOS 5607 HAS SOPS 2734 HAS SOUS 2442 HAS SOUPS 2271 WITH SCORE 2276.607
AT ITER 267 NEW BEST:: SOT 6776 SOS 5599 HAS SOPS 2726 HAS SOUS 2434 HAS SOUPS 2263 WITH SCORE 2268.599
AT ITER 270 NEW BEST:: SOT 6789 SOS 5615 HAS SOPS 2691 HAS SOUS 2415 HAS SOUPS 2244 WITH SCORE 2249.615
AT ITER 272 NEW BEST:: SOT 6781 SOS 5607 HAS SOPS 2691 HAS SOUS 2415 HAS SOUPS 2244 WITH SCORE 2249.607
AT ITER 295 NEW BEST:: SOT 6781 SOS 5599 HAS SOPS 2651 HAS SOUS 2399 HAS SOUPS 2228 WITH SCORE 2233.599
AT ITER 298 NEW BEST:: SOT 6785 SOS 5603 HAS SOPS 2640 HAS SOUS 2392 HAS SOUPS 2221 WITH SCORE 2226.603
AT ITER 310 NEW BEST:: SOT 6956 SOS 5766 HAS SOPS 2667 HAS SOUS 2319 HAS SOUPS 2148 WITH SCORE 2153.766
AT ITER 327 NEW BEST:: SOT 6932 SOS 5742 HAS SOPS 2651 HAS SOUS 2303 HAS SOUPS 2132 WITH SCORE 2137.742
AT ITER 353 NEW BEST:: SOT 6932 SOS 5743 HAS SOPS 2671 HAS SOUS 2295 HAS SOUPS 2124 WITH SCORE 2129.743
AT ITER 381 NEW BEST:: SOT 6924 SOS 5735 HAS SOPS 2647 HAS SOUS 2291 HAS SOUPS 2112 WITH SCORE 2117.735
AT ITER 389 NEW BEST:: SOT 6904 SOS 5715 HAS SOPS 2619 HAS SOUS 2263 HAS SOUPS 2084 WITH SCORE 2089.715
AT ITER 405 NEW BEST:: SOT 6908 SOS 5396 HAS SOPS 2644 HAS SOUS 2214 HAS SOUPS 2043 WITH SCORE 2048.396
AT ITER 408 NEW BEST:: SOT 6908 SOS 5396 HAS SOPS 2526 HAS SOUS 2156 HAS SOUPS 1985 WITH SCORE 1990.396
AT ITER 409 NEW BEST:: SOT 6908 SOS 5382 HAS SOPS 2510 HAS SOUS 2152 HAS SOUPS 1981 WITH SCORE 1986.382
AT ITER 416 NEW BEST:: SOT 6908 SOS 5380 HAS SOPS 2508 HAS SOUS 2152 HAS SOUPS 1981 WITH SCORE 1986.38
AT ITER 424 NEW BEST:: SOT 6900 SOS 5372 HAS SOPS 2500 HAS SOUS 2148 HAS SOUPS 1977 WITH SCORE 1982.372
AT ITER 436 NEW BEST:: SOT 6900 SOS 5350 HAS SOPS 2436 HAS SOUS 2138 HAS SOUPS 1967 WITH SCORE 1972.35
AT ITER 444 NEW BEST:: SOT 6891 SOS 5348 HAS SOPS 2463 HAS SOUS 2133 HAS SOUPS 1962 WITH SCORE 1967.348
AT ITER 460 NEW BEST:: SOT 6879 SOS 5336 HAS SOPS 2448 HAS SOUS 2107 HAS SOUPS 1936 WITH SCORE 1941.336
AT ITER 461 NEW BEST:: SOT 6875 SOS 5332 HAS SOPS 2448 HAS SOUS 2107 HAS SOUPS 1936 WITH SCORE 1941.332
AT ITER 482 NEW BEST:: SOT 6856 SOS 5313 HAS SOPS 2452 HAS SOUS 2095 HAS SOUPS 1924 WITH SCORE 1929.313
AT ITER 499 NEW BEST:: SOT 6924 SOS 5381 HAS SOPS 2481 HAS SOUS 2084 HAS SOUPS 1913 WITH SCORE 1918.381
AT ITER 502 NEW BEST:: SOT 6916 SOS 5373 HAS SOPS 2473 HAS SOUS 2076 HAS SOUPS 1905 WITH SCORE 1910.373
AT ITER 503 NEW BEST:: SOT 6916 SOS 5375 HAS SOPS 2475 HAS SOUS 2060 HAS SOUPS 1889 WITH SCORE 1894.375
AT ITER 510 NEW BEST:: SOT 6916 SOS 5375 HAS SOPS 2471 HAS SOUS 2056 HAS SOUPS 1885 WITH SCORE 1890.375
AT ITER 528 NEW BEST:: SOT 6900 SOS 5359 HAS SOPS 2447 HAS SOUS 2040 HAS SOUPS 1869 WITH SCORE 1874.359
AT ITER 560 NEW BEST:: SOT 6868 SOS 5327 HAS SOPS 2415 HAS SOUS 2036 HAS SOUPS 1865 WITH SCORE 1870.327
AT ITER 578 NEW BEST:: SOT 6902 SOS 4760 HAS SOPS 2437 HAS SOUS 1995 HAS SOUPS 1840 WITH SCORE 1844.76
AT ITER 596 NEW BEST:: SOT 6882 SOS 4740 HAS SOPS 2417 HAS SOUS 1987 HAS SOUPS 1832 WITH SCORE 1836.74
AT ITER 607 NEW BEST:: SOT 6878 SOS 4736 HAS SOPS 2417 HAS SOUS 1987 HAS SOUPS 1832 WITH SCORE 1836.736
AT ITER 618 NEW BEST:: SOT 6858 SOS 4716 HAS SOPS 2329 HAS SOUS 1947 HAS SOUPS 1792 WITH SCORE 1796.716
AT ITER 622 NEW BEST:: SOT 6938 SOS 4796 HAS SOPS 2245 HAS SOUS 1923 HAS SOUPS 1768 WITH SCORE 1772.796
AT ITER 636 NEW BEST:: SOT 6936 SOS 4785 HAS SOPS 2253 HAS SOUS 1916 HAS SOUPS 1761 WITH SCORE 1765.785
AT ITER 656 NEW BEST:: SOT 7010 SOS 4560 HAS SOPS 2292 HAS SOUS 1851 HAS SOUPS 1704 WITH SCORE 1708.56
AT ITER 663 NEW BEST:: SOT 7035 SOS 4598 HAS SOPS 2297 HAS SOUS 1838 HAS SOUPS 1691 WITH SCORE 1695.598
AT ITER 695 NEW BEST:: SOT 7035 SOS 4590 HAS SOPS 2289 HAS SOUS 1838 HAS SOUPS 1691 WITH SCORE 1695.59
AT ITER 701 NEW BEST:: SOT 7035 SOS 4590 HAS SOPS 2281 HAS SOUS 1826 HAS SOUPS 1679 WITH SCORE 1683.59
AT ITER 708 NEW BEST:: SOT 7086 SOS 4459 HAS SOPS 2338 HAS SOUS 1762 HAS SOUPS 1621 WITH SCORE 1625.459
AT ITER 712 NEW BEST:: SOT 7078 SOS 4451 HAS SOPS 2334 HAS SOUS 1758 HAS SOUPS 1617 WITH SCORE 1621.451
AT ITER 737 NEW BEST:: SOT 7090 SOS 4463 HAS SOPS 2326 HAS SOUS 1734 HAS SOUPS 1593 WITH SCORE 1597.463
AT ITER 750 NEW BEST:: SOT 7060 SOS 4433 HAS SOPS 2296 HAS SOUS 1716 HAS SOUPS 1575 WITH SCORE 1579.433
AT ITER 757 NEW BEST:: SOT 7048 SOS 4421 HAS SOPS 2284 HAS SOUS 1704 HAS SOUPS 1563 WITH SCORE 1567.421
AT ITER 776 NEW BEST:: SOT 7048 SOS 4417 HAS SOPS 2280 HAS SOUS 1703 HAS SOUPS 1562 WITH SCORE 1566.417
AT ITER 782 NEW BEST:: SOT 7050 SOS 4419 HAS SOPS 2269 HAS SOUS 1692 HAS SOUPS 1551 WITH SCORE 1555.419
AT ITER 813 NEW BEST:: SOT 7094 SOS 4385 HAS SOPS 2322 HAS SOUS 1687 HAS SOUPS 1549 WITH SCORE 1553.385
AT ITER 841 NEW BEST:: SOT 7050 SOS 4341 HAS SOPS 2330 HAS SOUS 1679 HAS SOUPS 1541 WITH SCORE 1545.341
AT ITER 845 NEW BEST:: SOT 7070 SOS 4361 HAS SOPS 2322 HAS SOUS 1675 HAS SOUPS 1533 WITH SCORE 1537.361
AT ITER 872 NEW BEST:: SOT 7050 SOS 4341 HAS SOPS 2322 HAS SOUS 1675 HAS SOUPS 1533 WITH SCORE 1537.341
AT ITER 886 NEW BEST:: SOT 7050 SOS 4337 HAS SOPS 2318 HAS SOUS 1675 HAS SOUPS 1533 WITH SCORE 1537.337
AT ITER 899 NEW BEST:: SOT 7058 SOS 4345 HAS SOPS 2314 HAS SOUS 1671 HAS SOUPS 1529 WITH SCORE 1533.345
AT ITER 907 NEW BEST:: SOT 7061 SOS 4348 HAS SOPS 2313 HAS SOUS 1670 HAS SOUPS 1528 WITH SCORE 1532.348
AT ITER 912 NEW BEST:: SOT 7073 SOS 4360 HAS SOPS 2305 HAS SOUS 1682 HAS SOUPS 1520 WITH SCORE 1524.36
AT ITER 922 NEW BEST:: SOT 7121 SOS 4408 HAS SOPS 2221 HAS SOUS 1658 HAS SOUPS 1496 WITH SCORE 1500.408
AT ITER 940 NEW BEST:: SOT 7121 SOS 4408 HAS SOPS 2213 HAS SOUS 1658 HAS SOUPS 1488 WITH SCORE 1492.408
AT ITER 959 NEW BEST:: SOT 7231 SOS 4402 HAS SOPS 2131 HAS SOUS 1626 HAS SOUPS 1456 WITH SCORE 1460.402
AT ITER 989 NEW BEST:: SOT 7226 SOS 4372 HAS SOPS 2122 HAS SOUS 1625 HAS SOUPS 1455 WITH SCORE 1459.372
AT ITER 1018 NEW BEST:: SOT 7223 SOS 4417 HAS SOPS 2167 HAS SOUS 1620 HAS SOUPS 1450 WITH SCORE 1454.417
AT ITER 1109 NEW BEST:: SOT 7211 SOS 4403 HAS SOPS 2092 HAS SOUS 1578 HAS SOUPS 1405 WITH SCORE 1409.403
AT ITER 1111 NEW BEST:: SOT 7211 SOS 4403 HAS SOPS 2050 HAS SOUS 1574 HAS SOUPS 1401 WITH SCORE 1405.403
AT ITER 1116 NEW BEST:: SOT 7207 SOS 4399 HAS SOPS 2038 HAS SOUS 1566 HAS SOUPS 1393 WITH SCORE 1397.399
AT ITER 1121 NEW BEST:: SOT 7187 SOS 4375 HAS SOPS 2030 HAS SOUS 1535 HAS SOUPS 1365 WITH SCORE 1369.375
AT ITER 1126 NEW BEST:: SOT 7187 SOS 4375 HAS SOPS 2015 HAS SOUS 1531 HAS SOUPS 1361 WITH SCORE 1365.375
AT ITER 1146 NEW BEST:: SOT 7107 SOS 4510 HAS SOPS 2246 HAS SOUS 1508 HAS SOUPS 1338 WITH SCORE 1342.51
AT ITER 1165 NEW BEST:: SOT 7105 SOS 4505 HAS SOPS 2241 HAS SOUS 1507 HAS SOUPS 1337 WITH SCORE 1341.505
AT ITER 1176 NEW BEST:: SOT 7105 SOS 4503 HAS SOPS 2239 HAS SOUS 1506 HAS SOUPS 1336 WITH SCORE 1340.503
AT ITER 1179 NEW BEST:: SOT 7097 SOS 4495 HAS SOPS 2231 HAS SOUS 1500 HAS SOUPS 1330 WITH SCORE 1334.495
AT ITER 1209 NEW BEST:: SOT 7126 SOS 4438 HAS SOPS 2252 HAS SOUS 1482 HAS SOUPS 1315 WITH SCORE 1319.438
AT ITER 1213 NEW BEST:: SOT 7102 SOS 4414 HAS SOPS 2236 HAS SOUS 1482 HAS SOUPS 1315 WITH SCORE 1319.414
AT ITER 1265 NEW BEST:: SOT 7123 SOS 4435 HAS SOPS 2229 HAS SOUS 1465 HAS SOUPS 1298 WITH SCORE 1302.435
AT ITER 1286 NEW BEST:: SOT 7123 SOS 4432 HAS SOPS 2221 HAS SOUS 1465 HAS SOUPS 1298 WITH SCORE 1302.432
AT ITER 1303 NEW BEST:: SOT 7123 SOS 4456 HAS SOPS 2245 HAS SOUS 1461 HAS SOUPS 1294 WITH SCORE 1298.456
AT ITER 1321 NEW BEST:: SOT 7129 SOS 4447 HAS SOPS 2211 HAS SOUS 1453 HAS SOUPS 1286 WITH SCORE 1290.447
AT ITER 1391 NEW BEST:: SOT 7125 SOS 4443 HAS SOPS 2227 HAS SOUS 1449 HAS SOUPS 1282 WITH SCORE 1286.443
AT ITER 1409 NEW BEST:: SOT 7121 SOS 4439 HAS SOPS 2215 HAS SOUS 1441 HAS SOUPS 1274 WITH SCORE 1278.439
AT ITER 1411 NEW BEST:: SOT 7125 SOS 4435 HAS SOPS 2209 HAS SOUS 1438 HAS SOUPS 1271 WITH SCORE 1275.435
AT ITER 1413 NEW BEST:: SOT 7096 SOS 4406 HAS SOPS 2188 HAS SOUS 1425 HAS SOUPS 1258 WITH SCORE 1262.406
AT ITER 1416 NEW BEST:: SOT 7084 SOS 4394 HAS SOPS 2188 HAS SOUS 1419 HAS SOUPS 1252 WITH SCORE 1256.394
AT ITER 1439 NEW BEST:: SOT 7080 SOS 4424 HAS SOPS 2216 HAS SOUS 1415 HAS SOUPS 1248 WITH SCORE 1252.424
AT ITER 1449 NEW BEST:: SOT 7124 SOS 4468 HAS SOPS 2200 HAS SOUS 1411 HAS SOUPS 1244 WITH SCORE 1248.468
AT ITER 1505 NEW BEST:: SOT 7145 SOS 4436 HAS SOPS 2230 HAS SOUS 1387 HAS SOUPS 1222 WITH SCORE 1226.436
AT ITER 1517 NEW BEST:: SOT 7142 SOS 4416 HAS SOPS 2207 HAS SOUS 1384 HAS SOUPS 1219 WITH SCORE 1223.416
AT ITER 1559 NEW BEST:: SOT 7108 SOS 4382 HAS SOPS 2173 HAS SOUS 1374 HAS SOUPS 1209 WITH SCORE 1213.382
AT ITER 1566 NEW BEST:: SOT 7108 SOS 4430 HAS SOPS 2221 HAS SOUS 1368 HAS SOUPS 1203 WITH SCORE 1207.43
AT ITER 1569 NEW BEST:: SOT 7108 SOS 4418 HAS SOPS 2209 HAS SOUS 1368 HAS SOUPS 1203 WITH SCORE 1207.418
AT ITER 1571 NEW BEST:: SOT 7112 SOS 4404 HAS SOPS 2184 HAS SOUS 1352 HAS SOUPS 1187 WITH SCORE 1191.404
AT ITER 1593 NEW BEST:: SOT 7104 SOS 4396 HAS SOPS 2180 HAS SOUS 1348 HAS SOUPS 1183 WITH SCORE 1187.396
AT ITER 1617 NEW BEST:: SOT 7092 SOS 4384 HAS SOPS 2180 HAS SOUS 1348 HAS SOUPS 1183 WITH SCORE 1187.384
AT ITER 1621 NEW BEST:: SOT 7088 SOS 4380 HAS SOPS 2164 HAS SOUS 1332 HAS SOUPS 1167 WITH SCORE 1171.38
AT ITER 1665 NEW BEST:: SOT 7088 SOS 4380 HAS SOPS 2164 HAS SOUS 1330 HAS SOUPS 1165 WITH SCORE 1169.38
AT ITER 1668 NEW BEST:: SOT 7073 SOS 4369 HAS SOPS 2153 HAS SOUS 1325 HAS SOUPS 1160 WITH SCORE 1164.369
AT ITER 1686 NEW BEST:: SOT 7057 SOS 4353 HAS SOPS 2133 HAS SOUS 1305 HAS SOUPS 1140 WITH SCORE 1144.353
AT ITER 1701 NEW BEST:: SOT 7054 SOS 4348 HAS SOPS 2131 HAS SOUS 1302 HAS SOUPS 1137 WITH SCORE 1141.348
AT ITER 1711 NEW BEST:: SOT 7054 SOS 4328 HAS SOPS 2111 HAS SOUS 1301 HAS SOUPS 1136 WITH SCORE 1140.328
AT ITER 1712 NEW BEST:: SOT 7035 SOS 4323 HAS SOPS 2097 HAS SOUS 1294 HAS SOUPS 1125 WITH SCORE 1129.323
AT ITER 1751 NEW BEST:: SOT 7039 SOS 4327 HAS SOPS 2089 HAS SOUS 1290 HAS SOUPS 1121 WITH SCORE 1125.327
AT ITER 1772 NEW BEST:: SOT 7046 SOS 4334 HAS SOPS 2100 HAS SOUS 1289 HAS SOUPS 1120 WITH SCORE 1124.334
AT ITER 1857 NEW BEST:: SOT 7046 SOS 4286 HAS SOPS 2052 HAS SOUS 1289 HAS SOUPS 1120 WITH SCORE 1124.286
AT ITER 1907 NEW BEST:: SOT 7079 SOS 4270 HAS SOPS 2086 HAS SOUS 1269 HAS SOUPS 1100 WITH SCORE 1104.27
AT ITER 1909 NEW BEST:: SOT 7079 SOS 4234 HAS SOPS 2050 HAS SOUS 1269 HAS SOUPS 1100 WITH SCORE 1104.234
AT ITER 1928 NEW BEST:: SOT 7079 SOS 4210 HAS SOPS 2026 HAS SOUS 1269 HAS SOUPS 1100 WITH SCORE 1104.21
AT ITER 1940 NEW BEST:: SOT 7045 SOS 4176 HAS SOPS 2028 HAS SOUS 1267 HAS SOUPS 1098 WITH SCORE 1102.176
AT ITER 2078 NEW BEST:: SOT 7045 SOS 4168 HAS SOPS 2020 HAS SOUS 1267 HAS SOUPS 1098 WITH SCORE 1102.168
AT ITER 2119 NEW BEST:: SOT 7045 SOS 4200 HAS SOPS 2024 HAS SOUS 1269 HAS SOUPS 1093 WITH SCORE 1097.2
AT ITER 2168 NEW BEST:: SOT 7017 SOS 4172 HAS SOPS 2024 HAS SOUS 1269 HAS SOUPS 1093 WITH SCORE 1097.172
AT ITER 2177 NEW BEST:: SOT 7021 SOS 4176 HAS SOPS 2024 HAS SOUS 1265 HAS SOUPS 1089 WITH SCORE 1093.176
AT ITER 2211 NEW BEST:: SOT 7029 SOS 4184 HAS SOPS 2016 HAS SOUS 1257 HAS SOUPS 1081 WITH SCORE 1085.184
AT ITER 2234 NEW BEST:: SOT 7021 SOS 4176 HAS SOPS 1992 HAS SOUS 1245 HAS SOUPS 1069 WITH SCORE 1073.176
AT ITER 2258 NEW BEST:: SOT 7017 SOS 4172 HAS SOPS 1984 HAS SOUS 1237 HAS SOUPS 1061 WITH SCORE 1065.172
AT ITER 2264 NEW BEST:: SOT 7017 SOS 4136 HAS SOPS 1948 HAS SOUS 1227 HAS SOUPS 1051 WITH SCORE 1055.136
AT ITER 2304 NEW BEST:: SOT 7017 SOS 4148 HAS SOPS 1944 HAS SOUS 1230 HAS SOUPS 1050 WITH SCORE 1054.148
AT ITER 2376 NEW BEST:: SOT 7017 SOS 4132 HAS SOPS 1928 HAS SOUS 1230 HAS SOUPS 1050 WITH SCORE 1054.132
AT ITER 2478 NEW BEST:: SOT 7009 SOS 4124 HAS SOPS 1920 HAS SOUS 1226 HAS SOUPS 1046 WITH SCORE 1050.124
AT ITER 2516 NEW BEST:: SOT 7009 SOS 4120 HAS SOPS 1916 HAS SOUS 1226 HAS SOUPS 1046 WITH SCORE 1050.12
AT ITER 2519 NEW BEST:: SOT 7009 SOS 4116 HAS SOPS 1912 HAS SOUS 1226 HAS SOUPS 1046 WITH SCORE 1050.116
AT ITER 2552 NEW BEST:: SOT 7009 SOS 4108 HAS SOPS 1904 HAS SOUS 1226 HAS SOUPS 1046 WITH SCORE 1050.108
AT ITER 2587 NEW BEST:: SOT 7009 SOS 4104 HAS SOPS 1900 HAS SOUS 1226 HAS SOUPS 1046 WITH SCORE 1050.104
AT ITER 2649 NEW BEST:: SOT 7009 SOS 4106 HAS SOPS 1902 HAS SOUS 1225 HAS SOUPS 1045 WITH SCORE 1049.106
AT ITER 2764 NEW BEST:: SOT 7009 SOS 4104 HAS SOPS 1900 HAS SOUS 1225 HAS SOUPS 1045 WITH SCORE 1049.104
AT ITER 2774 NEW BEST:: SOT 7005 SOS 4100 HAS SOPS 1884 HAS SOUS 1217 HAS SOUPS 1037 WITH SCORE 1041.1
AT ITER 2805 NEW BEST:: SOT 7005 SOS 4100 HAS SOPS 1880 HAS SOUS 1213 HAS SOUPS 1033 WITH SCORE 1037.1
AT ITER 3039 NEW BEST:: SOT 7022 SOS 4089 HAS SOPS 1897 HAS SOUS 1201 HAS SOUPS 1022 WITH SCORE 1026.089
AT ITER 3052 NEW BEST:: SOT 7022 SOS 4085 HAS SOPS 1893 HAS SOUS 1201 HAS SOUPS 1022 WITH SCORE 1026.085
AT ITER 3083 NEW BEST:: SOT 7028 SOS 4091 HAS SOPS 1887 HAS SOUS 1195 HAS SOUPS 1016 WITH SCORE 1020.091
AT ITER 3160 NEW BEST:: SOT 7027 SOS 4090 HAS SOPS 1887 HAS SOUS 1194 HAS SOUPS 1015 WITH SCORE 1019.09
AT ITER 3245 NEW BEST:: SOT 7027 SOS 4098 HAS SOPS 1895 HAS SOUS 1193 HAS SOUPS 1014 WITH SCORE 1018.098
AT ITER 3318 NEW BEST:: SOT 7023 SOS 4094 HAS SOPS 1895 HAS SOUS 1193 HAS SOUPS 1014 WITH SCORE 1018.094
AT ITER 3435 NEW BEST:: SOT 7023 SOS 4090 HAS SOPS 1891 HAS SOUS 1193 HAS SOUPS 1014 WITH SCORE 1018.09
AT ITER 3509 NEW BEST:: SOT 7020 SOS 4087 HAS SOPS 1888 HAS SOUS 1190 HAS SOUPS 1011 WITH SCORE 1015.087
AT ITER 3543 NEW BEST:: SOT 7020 SOS 4087 HAS SOPS 1888 HAS SOUS 1189 HAS SOUPS 1010 WITH SCORE 1014.087
AT ITER 3557 NEW BEST:: SOT 7020 SOS 4087 HAS SOPS 1888 HAS SOUS 1188 HAS SOUPS 1009 WITH SCORE 1013.087
AT ITER 3777 NEW BEST:: SOT 7023 SOS 4090 HAS SOPS 1887 HAS SOUS 1187 HAS SOUPS 1008 WITH SCORE 1012.09
AT ITER 3818 NEW BEST:: SOT 7025 SOS 4092 HAS SOPS 1884 HAS SOUS 1184 HAS SOUPS 1005 WITH SCORE 1009.092
AT ITER 3854 NEW BEST:: SOT 7023 SOS 4090 HAS SOPS 1882 HAS SOUS 1182 HAS SOUPS 1003 WITH SCORE 1007.09
AT ITER 4035 NEW BEST:: SOT 7023 SOS 4080 HAS SOPS 1872 HAS SOUS 1181 HAS SOUPS 1002 WITH SCORE 1006.08
AT ITER 4370 NEW BEST:: SOT 7034 SOS 4091 HAS SOPS 1871 HAS SOUS 1180 HAS SOUPS 1001 WITH SCORE 1005.091
AT ITER 4419 NEW BEST:: SOT 7018 SOS 4075 HAS SOPS 1887 HAS SOUS 1180 HAS SOUPS 1001 WITH SCORE 1005.075
AT ITER 4506 NEW BEST:: SOT 7018 SOS 4059 HAS SOPS 1871 HAS SOUS 1180 HAS SOUPS 1001 WITH SCORE 1005.059
AT ITER 5102 NEW BEST:: SOT 7012 SOS 4053 HAS SOPS 1869 HAS SOUS 1178 HAS SOUPS 999 WITH SCORE 1003.053
AT ITER 5365 NEW BEST:: SOT 7008 SOS 4049 HAS SOPS 1869 HAS SOUS 1174 HAS SOUPS 999 WITH SCORE 1003.049
AT ITER 5417 NEW BEST:: SOT 7008 SOS 4049 HAS SOPS 1869 HAS SOUS 1173 HAS SOUPS 998 WITH SCORE 1002.049
AT ITER 5597 NEW BEST:: SOT 7008 SOS 4045 HAS SOPS 1865 HAS SOUS 1172 HAS SOUPS 997 WITH SCORE 1001.045
AT ITER 6574 NEW BEST:: SOT 7008 SOS 4037 HAS SOPS 1857 HAS SOUS 1171 HAS SOUPS 996 WITH SCORE 1000.037
AT ITER 7394 NEW BEST:: SOT 7004 SOS 4033 HAS SOPS 1857 HAS SOUS 1167 HAS SOUPS 996 WITH SCORE 1000.033
AT ITER 7677 NEW BEST:: SOT 7004 SOS 4025 HAS SOPS 1849 HAS SOUS 1166 HAS SOUPS 995 WITH SCORE 999.025
AT ITER 7872 NEW BEST:: SOT 7000 SOS 4021 HAS SOPS 1849 HAS SOUS 1162 HAS SOUPS 995 WITH SCORE 999.021
AT ITER 8597 NEW BEST:: SOT 6992 SOS 4013 HAS SOPS 1845 HAS SOUS 1162 HAS SOUPS 995 WITH SCORE 999.013
AT ITER 8927 NEW BEST:: SOT 6988 SOS 4009 HAS SOPS 1845 HAS SOUS 1158 HAS SOUPS 995 WITH SCORE 999.009
AT ITER 9133 NEW BEST:: SOT 6980 SOS 4001 HAS SOPS 1845 HAS SOUS 1158 HAS SOUPS 995 WITH SCORE 999.001
AT ITER 9142 NEW BEST:: SOT 6980 SOS 3997 HAS SOPS 1841 HAS SOUS 1157 HAS SOUPS 994 WITH SCORE 997.997
AT ITER 9253 NEW BEST:: SOT 6980 SOS 3991 HAS SOPS 1835 HAS SOUS 1156 HAS SOUPS 993 WITH SCORE 996.991
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 160900 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16271540 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
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="Szymanski-PT-a12"
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 Szymanski-PT-a12, 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 r491-tall-167912710500448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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