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.r355-smll-167891803400360.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 smart
Input is SemanticWebServices-PT-S064P12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803400360
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 7.3K Feb 26 10:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 10:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 10:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 10:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 10:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 10:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 26 10:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 25K Feb 26 10:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 117K 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 1679917939203

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

Filename model.pnml
Petri model created: 104 places, 158 transitions, 863 arcs.
AT ITER 0 NEW BEST:: SOT 12973 SOS 8117 HAS SOPS 5561 HAS SOUS 3493 HAS SOUPS 2715 WITH SCORE 2723.117
AT ITER 3 NEW BEST:: SOT 12973 SOS 8031 HAS SOPS 5503 HAS SOUS 3450 HAS SOUPS 2686 WITH SCORE 2694.031
AT ITER 5 NEW BEST:: SOT 12973 SOS 8009 HAS SOPS 5481 HAS SOUS 3439 HAS SOUPS 2675 WITH SCORE 2683.009
AT ITER 7 NEW BEST:: SOT 12973 SOS 7987 HAS SOPS 5459 HAS SOUS 3428 HAS SOUPS 2664 WITH SCORE 2671.987
AT ITER 8 NEW BEST:: SOT 12973 SOS 7971 HAS SOPS 5459 HAS SOUS 3420 HAS SOUPS 2664 WITH SCORE 2671.971
AT ITER 10 NEW BEST:: SOT 12973 SOS 7969 HAS SOPS 5459 HAS SOUS 3419 HAS SOUPS 2664 WITH SCORE 2671.969
AT ITER 22 NEW BEST:: SOT 12973 SOS 7923 HAS SOPS 5389 HAS SOUS 3396 HAS SOUPS 2629 WITH SCORE 2636.923
AT ITER 26 NEW BEST:: SOT 12973 SOS 7877 HAS SOPS 5325 HAS SOUS 3373 HAS SOUPS 2597 WITH SCORE 2604.877
AT ITER 31 NEW BEST:: SOT 12973 SOS 7913 HAS SOPS 5313 HAS SOUS 3391 HAS SOUPS 2591 WITH SCORE 2598.913
AT ITER 35 NEW BEST:: SOT 12970 SOS 7913 HAS SOPS 5305 HAS SOUS 3386 HAS SOUPS 2586 WITH SCORE 2593.913
AT ITER 49 NEW BEST:: SOT 12970 SOS 7891 HAS SOPS 5305 HAS SOUS 3375 HAS SOUPS 2586 WITH SCORE 2593.891
AT ITER 50 NEW BEST:: SOT 12970 SOS 7821 HAS SOPS 5235 HAS SOUS 3340 HAS SOUPS 2551 WITH SCORE 2558.821
AT ITER 55 NEW BEST:: SOT 12970 SOS 7821 HAS SOPS 5235 HAS SOUS 3337 HAS SOUPS 2548 WITH SCORE 2555.821
AT ITER 75 NEW BEST:: SOT 12970 SOS 7815 HAS SOPS 5215 HAS SOUS 3334 HAS SOUPS 2538 WITH SCORE 2545.815
AT ITER 76 NEW BEST:: SOT 12970 SOS 7813 HAS SOPS 5203 HAS SOUS 3333 HAS SOUPS 2532 WITH SCORE 2539.813
AT ITER 82 NEW BEST:: SOT 12970 SOS 7857 HAS SOPS 5197 HAS SOUS 3355 HAS SOUPS 2529 WITH SCORE 2536.857
AT ITER 90 NEW BEST:: SOT 12970 SOS 7845 HAS SOPS 5185 HAS SOUS 3349 HAS SOUPS 2523 WITH SCORE 2530.845
AT ITER 99 NEW BEST:: SOT 12970 SOS 7823 HAS SOPS 5163 HAS SOUS 3338 HAS SOUPS 2512 WITH SCORE 2519.823
AT ITER 105 NEW BEST:: SOT 12970 SOS 7867 HAS SOPS 5159 HAS SOUS 3360 HAS SOUPS 2510 WITH SCORE 2517.867
AT ITER 106 NEW BEST:: SOT 12970 SOS 7863 HAS SOPS 5155 HAS SOUS 3358 HAS SOUPS 2508 WITH SCORE 2515.863
AT ITER 108 NEW BEST:: SOT 12970 SOS 7799 HAS SOPS 5123 HAS SOUS 3326 HAS SOUPS 2492 WITH SCORE 2499.799
AT ITER 109 NEW BEST:: SOT 12970 SOS 7751 HAS SOPS 5067 HAS SOUS 3302 HAS SOUPS 2464 WITH SCORE 2471.751
AT ITER 115 NEW BEST:: SOT 12970 SOS 7697 HAS SOPS 5041 HAS SOUS 3275 HAS SOUPS 2451 WITH SCORE 2458.697
AT ITER 120 NEW BEST:: SOT 12970 SOS 7697 HAS SOPS 5039 HAS SOUS 3275 HAS SOUPS 2450 WITH SCORE 2457.697
AT ITER 121 NEW BEST:: SOT 12970 SOS 7647 HAS SOPS 5039 HAS SOUS 3250 HAS SOUPS 2450 WITH SCORE 2457.647
AT ITER 122 NEW BEST:: SOT 12970 SOS 7623 HAS SOPS 5039 HAS SOUS 3238 HAS SOUPS 2450 WITH SCORE 2457.623
AT ITER 124 NEW BEST:: SOT 12970 SOS 7617 HAS SOPS 5033 HAS SOUS 3235 HAS SOUPS 2447 WITH SCORE 2454.617
AT ITER 125 NEW BEST:: SOT 12970 SOS 7585 HAS SOPS 5017 HAS SOUS 3219 HAS SOUPS 2439 WITH SCORE 2446.585
AT ITER 134 NEW BEST:: SOT 12970 SOS 7669 HAS SOPS 5015 HAS SOUS 3261 HAS SOUPS 2438 WITH SCORE 2445.669
AT ITER 143 NEW BEST:: SOT 12970 SOS 7687 HAS SOPS 4973 HAS SOUS 3270 HAS SOUPS 2417 WITH SCORE 2424.687
AT ITER 147 NEW BEST:: SOT 12970 SOS 7665 HAS SOPS 4951 HAS SOUS 3259 HAS SOUPS 2406 WITH SCORE 2413.665
AT ITER 151 NEW BEST:: SOT 12970 SOS 7667 HAS SOPS 4939 HAS SOUS 3260 HAS SOUPS 2400 WITH SCORE 2407.667
AT ITER 152 NEW BEST:: SOT 12446 SOS 7343 HAS SOPS 4917 HAS SOUS 3007 HAS SOUPS 2249 WITH SCORE 2256.343
AT ITER 170 NEW BEST:: SOT 12446 SOS 7335 HAS SOPS 4917 HAS SOUS 3003 HAS SOUPS 2249 WITH SCORE 2256.335
AT ITER 171 NEW BEST:: SOT 12446 SOS 7325 HAS SOPS 4907 HAS SOUS 2998 HAS SOUPS 2244 WITH SCORE 2251.325
AT ITER 174 NEW BEST:: SOT 12446 SOS 7303 HAS SOPS 4907 HAS SOUS 2987 HAS SOUPS 2244 WITH SCORE 2251.303
AT ITER 186 NEW BEST:: SOT 12446 SOS 7301 HAS SOPS 4907 HAS SOUS 2986 HAS SOUPS 2244 WITH SCORE 2251.301
AT ITER 188 NEW BEST:: SOT 12446 SOS 7267 HAS SOPS 4907 HAS SOUS 2969 HAS SOUPS 2244 WITH SCORE 2251.267
AT ITER 190 NEW BEST:: SOT 12446 SOS 7207 HAS SOPS 4877 HAS SOUS 2939 HAS SOUPS 2229 WITH SCORE 2236.207
AT ITER 192 NEW BEST:: SOT 12446 SOS 7201 HAS SOPS 4871 HAS SOUS 2936 HAS SOUPS 2226 WITH SCORE 2233.201
AT ITER 197 NEW BEST:: SOT 12430 SOS 7185 HAS SOPS 4855 HAS SOUS 2922 HAS SOUPS 2212 WITH SCORE 2219.185
AT ITER 203 NEW BEST:: SOT 12430 SOS 7161 HAS SOPS 4837 HAS SOUS 2910 HAS SOUPS 2203 WITH SCORE 2210.161
AT ITER 214 NEW BEST:: SOT 12430 SOS 7153 HAS SOPS 4837 HAS SOUS 2906 HAS SOUPS 2203 WITH SCORE 2210.153
AT ITER 219 NEW BEST:: SOT 12430 SOS 7099 HAS SOPS 4805 HAS SOUS 2879 HAS SOUPS 2187 WITH SCORE 2194.099
AT ITER 249 NEW BEST:: SOT 12430 SOS 7081 HAS SOPS 4789 HAS SOUS 2870 HAS SOUPS 2179 WITH SCORE 2186.081
AT ITER 251 NEW BEST:: SOT 12430 SOS 7075 HAS SOPS 4787 HAS SOUS 2867 HAS SOUPS 2178 WITH SCORE 2185.075
AT ITER 254 NEW BEST:: SOT 12430 SOS 7039 HAS SOPS 4751 HAS SOUS 2849 HAS SOUPS 2160 WITH SCORE 2167.039
AT ITER 257 NEW BEST:: SOT 12430 SOS 7023 HAS SOPS 4735 HAS SOUS 2841 HAS SOUPS 2152 WITH SCORE 2159.023
AT ITER 260 NEW BEST:: SOT 12430 SOS 7031 HAS SOPS 4699 HAS SOUS 2845 HAS SOUPS 2134 WITH SCORE 2141.031
AT ITER 271 NEW BEST:: SOT 12430 SOS 7023 HAS SOPS 4699 HAS SOUS 2841 HAS SOUPS 2134 WITH SCORE 2141.023
AT ITER 294 NEW BEST:: SOT 12430 SOS 7013 HAS SOPS 4699 HAS SOUS 2836 HAS SOUPS 2134 WITH SCORE 2141.013
AT ITER 296 NEW BEST:: SOT 12416 SOS 6999 HAS SOPS 4685 HAS SOUS 2829 HAS SOUPS 2127 WITH SCORE 2133.999
AT ITER 303 NEW BEST:: SOT 12408 SOS 6991 HAS SOPS 4677 HAS SOUS 2826 HAS SOUPS 2124 WITH SCORE 2130.991
AT ITER 309 NEW BEST:: SOT 11874 SOS 6913 HAS SOPS 5175 HAS SOUS 2573 HAS SOUPS 2061 WITH SCORE 2067.913
AT ITER 311 NEW BEST:: SOT 11908 SOS 6941 HAS SOPS 5203 HAS SOUS 2569 HAS SOUPS 2057 WITH SCORE 2063.941
AT ITER 312 NEW BEST:: SOT 11902 SOS 6935 HAS SOPS 5197 HAS SOUS 2563 HAS SOUPS 2051 WITH SCORE 2057.935
AT ITER 313 NEW BEST:: SOT 11798 SOS 6877 HAS SOPS 5139 HAS SOUS 2544 HAS SOUPS 2032 WITH SCORE 2038.877
AT ITER 315 NEW BEST:: SOT 11882 SOS 6847 HAS SOPS 4983 HAS SOUS 2586 HAS SOUPS 2032 WITH SCORE 2038.847
AT ITER 323 NEW BEST:: SOT 11882 SOS 6837 HAS SOPS 4973 HAS SOUS 2581 HAS SOUPS 2027 WITH SCORE 2033.837
AT ITER 325 NEW BEST:: SOT 11882 SOS 6785 HAS SOPS 4947 HAS SOUS 2555 HAS SOUPS 2014 WITH SCORE 2020.785
AT ITER 335 NEW BEST:: SOT 11882 SOS 6785 HAS SOPS 4947 HAS SOUS 2553 HAS SOUPS 2012 WITH SCORE 2018.785
AT ITER 341 NEW BEST:: SOT 11866 SOS 6769 HAS SOPS 4931 HAS SOUS 2541 HAS SOUPS 2000 WITH SCORE 2006.769
AT ITER 354 NEW BEST:: SOT 11558 SOS 6504 HAS SOPS 4702 HAS SOUS 2422 HAS SOUPS 1899 WITH SCORE 1905.504
AT ITER 358 NEW BEST:: SOT 11526 SOS 6482 HAS SOPS 4670 HAS SOUS 2425 HAS SOUPS 1897 WITH SCORE 1903.482
AT ITER 361 NEW BEST:: SOT 11610 SOS 6554 HAS SOPS 4742 HAS SOUS 2419 HAS SOUPS 1891 WITH SCORE 1897.554
AT ITER 362 NEW BEST:: SOT 11513 SOS 6466 HAS SOPS 4654 HAS SOUS 2416 HAS SOUPS 1888 WITH SCORE 1894.466
AT ITER 375 NEW BEST:: SOT 11497 SOS 6450 HAS SOPS 4638 HAS SOUS 2398 HAS SOUPS 1870 WITH SCORE 1876.45
AT ITER 383 NEW BEST:: SOT 11497 SOS 6442 HAS SOPS 4638 HAS SOUS 2394 HAS SOUPS 1870 WITH SCORE 1876.442
AT ITER 395 NEW BEST:: SOT 11497 SOS 6416 HAS SOPS 4638 HAS SOUS 2381 HAS SOUPS 1870 WITH SCORE 1876.416
AT ITER 402 NEW BEST:: SOT 11497 SOS 6414 HAS SOPS 4638 HAS SOUS 2380 HAS SOUPS 1870 WITH SCORE 1876.414
AT ITER 411 NEW BEST:: SOT 11497 SOS 6404 HAS SOPS 4638 HAS SOUS 2375 HAS SOUPS 1870 WITH SCORE 1876.404
AT ITER 425 NEW BEST:: SOT 11497 SOS 6404 HAS SOPS 4638 HAS SOUS 2371 HAS SOUPS 1866 WITH SCORE 1872.404
AT ITER 433 NEW BEST:: SOT 11477 SOS 6374 HAS SOPS 4630 HAS SOUS 2356 HAS SOUPS 1862 WITH SCORE 1868.374
AT ITER 451 NEW BEST:: SOT 11477 SOS 6368 HAS SOPS 4630 HAS SOUS 2353 HAS SOUPS 1862 WITH SCORE 1868.368
AT ITER 463 NEW BEST:: SOT 11477 SOS 6384 HAS SOPS 4624 HAS SOUS 2361 HAS SOUPS 1859 WITH SCORE 1865.384
AT ITER 480 NEW BEST:: SOT 11477 SOS 6368 HAS SOPS 4610 HAS SOUS 2352 HAS SOUPS 1851 WITH SCORE 1857.368
AT ITER 486 NEW BEST:: SOT 11477 SOS 6348 HAS SOPS 4576 HAS SOUS 2342 HAS SOUPS 1834 WITH SCORE 1840.348
AT ITER 491 NEW BEST:: SOT 11477 SOS 6352 HAS SOPS 4574 HAS SOUS 2344 HAS SOUPS 1833 WITH SCORE 1839.352
AT ITER 492 NEW BEST:: SOT 11477 SOS 6302 HAS SOPS 4574 HAS SOUS 2319 HAS SOUPS 1833 WITH SCORE 1839.302
AT ITER 503 NEW BEST:: SOT 11453 SOS 6278 HAS SOPS 4550 HAS SOUS 2308 HAS SOUPS 1822 WITH SCORE 1828.278
AT ITER 514 NEW BEST:: SOT 11453 SOS 6286 HAS SOPS 4548 HAS SOUS 2312 HAS SOUPS 1821 WITH SCORE 1827.286
AT ITER 532 NEW BEST:: SOT 11451 SOS 6284 HAS SOPS 4546 HAS SOUS 2311 HAS SOUPS 1820 WITH SCORE 1826.284
AT ITER 562 NEW BEST:: SOT 11451 SOS 6238 HAS SOPS 4500 HAS SOUS 2288 HAS SOUPS 1797 WITH SCORE 1803.238
AT ITER 571 NEW BEST:: SOT 11451 SOS 6230 HAS SOPS 4500 HAS SOUS 2284 HAS SOUPS 1797 WITH SCORE 1803.23
AT ITER 572 NEW BEST:: SOT 11451 SOS 6214 HAS SOPS 4492 HAS SOUS 2276 HAS SOUPS 1793 WITH SCORE 1799.214
AT ITER 575 NEW BEST:: SOT 11451 SOS 6208 HAS SOPS 4492 HAS SOUS 2273 HAS SOUPS 1793 WITH SCORE 1799.208
AT ITER 594 NEW BEST:: SOT 11415 SOS 6172 HAS SOPS 4456 HAS SOUS 2261 HAS SOUPS 1781 WITH SCORE 1787.172
AT ITER 608 NEW BEST:: SOT 11415 SOS 6166 HAS SOPS 4456 HAS SOUS 2258 HAS SOUPS 1781 WITH SCORE 1787.166
AT ITER 618 NEW BEST:: SOT 11427 SOS 6154 HAS SOPS 4410 HAS SOUS 2256 HAS SOUPS 1762 WITH SCORE 1768.154
AT ITER 644 NEW BEST:: SOT 11427 SOS 6148 HAS SOPS 4410 HAS SOUS 2253 HAS SOUPS 1762 WITH SCORE 1768.148
AT ITER 649 NEW BEST:: SOT 11427 SOS 6100 HAS SOPS 4386 HAS SOUS 2229 HAS SOUPS 1750 WITH SCORE 1756.1
AT ITER 659 NEW BEST:: SOT 11417 SOS 6078 HAS SOPS 4376 HAS SOUS 2213 HAS SOUPS 1740 WITH SCORE 1746.078
AT ITER 669 NEW BEST:: SOT 11413 SOS 6074 HAS SOPS 4372 HAS SOUS 2212 HAS SOUPS 1739 WITH SCORE 1745.074
AT ITER 690 NEW BEST:: SOT 11413 SOS 6068 HAS SOPS 4370 HAS SOUS 2209 HAS SOUPS 1738 WITH SCORE 1744.068
AT ITER 701 NEW BEST:: SOT 11383 SOS 6038 HAS SOPS 4340 HAS SOUS 2171 HAS SOUPS 1700 WITH SCORE 1706.038
AT ITER 735 NEW BEST:: SOT 11383 SOS 6030 HAS SOPS 4340 HAS SOUS 2167 HAS SOUPS 1700 WITH SCORE 1706.03
AT ITER 766 NEW BEST:: SOT 11363 SOS 6010 HAS SOPS 4320 HAS SOUS 2159 HAS SOUPS 1692 WITH SCORE 1698.01
AT ITER 834 NEW BEST:: SOT 11363 SOS 6000 HAS SOPS 4310 HAS SOUS 2154 HAS SOUPS 1687 WITH SCORE 1693.0
AT ITER 836 NEW BEST:: SOT 11363 SOS 6003 HAS SOPS 4313 HAS SOUS 2153 HAS SOUPS 1686 WITH SCORE 1692.003
AT ITER 881 NEW BEST:: SOT 11363 SOS 6005 HAS SOPS 4309 HAS SOUS 2154 HAS SOUPS 1684 WITH SCORE 1690.005
AT ITER 884 NEW BEST:: SOT 11363 SOS 6005 HAS SOPS 4309 HAS SOUS 2153 HAS SOUPS 1683 WITH SCORE 1689.005
AT ITER 907 NEW BEST:: SOT 11363 SOS 5993 HAS SOPS 4299 HAS SOUS 2147 HAS SOUPS 1678 WITH SCORE 1683.993
AT ITER 914 NEW BEST:: SOT 11363 SOS 5975 HAS SOPS 4281 HAS SOUS 2138 HAS SOUPS 1669 WITH SCORE 1674.975
AT ITER 961 NEW BEST:: SOT 11432 SOS 6045 HAS SOPS 4351 HAS SOUS 2111 HAS SOUPS 1642 WITH SCORE 1648.045
AT ITER 988 NEW BEST:: SOT 11432 SOS 6025 HAS SOPS 4341 HAS SOUS 2101 HAS SOUPS 1637 WITH SCORE 1643.025
AT ITER 1064 NEW BEST:: SOT 11404 SOS 5961 HAS SOPS 4307 HAS SOUS 2057 HAS SOUPS 1608 WITH SCORE 1613.961
AT ITER 1078 NEW BEST:: SOT 11404 SOS 5959 HAS SOPS 4305 HAS SOUS 2056 HAS SOUPS 1607 WITH SCORE 1612.959
AT ITER 1105 NEW BEST:: SOT 11390 SOS 5951 HAS SOPS 4291 HAS SOUS 2052 HAS SOUPS 1600 WITH SCORE 1605.951
AT ITER 1113 NEW BEST:: SOT 11390 SOS 5949 HAS SOPS 4289 HAS SOUS 2051 HAS SOUPS 1599 WITH SCORE 1604.949
AT ITER 1123 NEW BEST:: SOT 11390 SOS 5943 HAS SOPS 4289 HAS SOUS 2048 HAS SOUPS 1599 WITH SCORE 1604.943
AT ITER 1147 NEW BEST:: SOT 11390 SOS 5935 HAS SOPS 4285 HAS SOUS 2044 HAS SOUPS 1597 WITH SCORE 1602.935
AT ITER 1149 NEW BEST:: SOT 11380 SOS 5925 HAS SOPS 4275 HAS SOUS 2044 HAS SOUPS 1597 WITH SCORE 1602.925
AT ITER 1174 NEW BEST:: SOT 11380 SOS 5921 HAS SOPS 4275 HAS SOUS 2042 HAS SOUPS 1597 WITH SCORE 1602.921
AT ITER 1227 NEW BEST:: SOT 11378 SOS 5919 HAS SOPS 4273 HAS SOUS 2040 HAS SOUPS 1595 WITH SCORE 1600.919
AT ITER 1247 NEW BEST:: SOT 11378 SOS 5917 HAS SOPS 4273 HAS SOUS 2039 HAS SOUPS 1595 WITH SCORE 1600.917
AT ITER 1253 NEW BEST:: SOT 11370 SOS 5909 HAS SOPS 4265 HAS SOUS 2039 HAS SOUPS 1595 WITH SCORE 1600.909
AT ITER 1292 NEW BEST:: SOT 11368 SOS 5907 HAS SOPS 4263 HAS SOUS 2039 HAS SOUPS 1595 WITH SCORE 1600.907
AT ITER 1314 NEW BEST:: SOT 11368 SOS 5899 HAS SOPS 4263 HAS SOUS 2035 HAS SOUPS 1595 WITH SCORE 1600.899
AT ITER 1337 NEW BEST:: SOT 11368 SOS 5883 HAS SOPS 4251 HAS SOUS 2027 HAS SOUPS 1589 WITH SCORE 1594.883
AT ITER 1341 NEW BEST:: SOT 11218 SOS 5919 HAS SOPS 4431 HAS SOUS 1952 HAS SOUPS 1558 WITH SCORE 1563.919
AT ITER 1385 NEW BEST:: SOT 11220 SOS 5921 HAS SOPS 4433 HAS SOUS 1950 HAS SOUPS 1556 WITH SCORE 1561.921
AT ITER 1413 NEW BEST:: SOT 11216 SOS 5917 HAS SOPS 4429 HAS SOUS 1948 HAS SOUPS 1554 WITH SCORE 1559.917
AT ITER 1415 NEW BEST:: SOT 11216 SOS 5911 HAS SOPS 4425 HAS SOUS 1945 HAS SOUPS 1552 WITH SCORE 1557.911
AT ITER 1426 NEW BEST:: SOT 11212 SOS 5907 HAS SOPS 4421 HAS SOUS 1942 HAS SOUPS 1549 WITH SCORE 1554.907
AT ITER 1429 NEW BEST:: SOT 11208 SOS 5903 HAS SOPS 4417 HAS SOUS 1936 HAS SOUPS 1543 WITH SCORE 1548.903
AT ITER 1434 NEW BEST:: SOT 11208 SOS 5901 HAS SOPS 4415 HAS SOUS 1935 HAS SOUPS 1542 WITH SCORE 1547.901
AT ITER 1475 NEW BEST:: SOT 11199 SOS 5892 HAS SOPS 4406 HAS SOUS 1915 HAS SOUPS 1522 WITH SCORE 1527.892
AT ITER 1503 NEW BEST:: SOT 11199 SOS 5880 HAS SOPS 4400 HAS SOUS 1909 HAS SOUPS 1519 WITH SCORE 1524.88
AT ITER 1516 NEW BEST:: SOT 11191 SOS 5872 HAS SOPS 4392 HAS SOUS 1907 HAS SOUPS 1517 WITH SCORE 1522.872
AT ITER 1535 NEW BEST:: SOT 11191 SOS 5870 HAS SOPS 4392 HAS SOUS 1906 HAS SOUPS 1517 WITH SCORE 1522.87
AT ITER 1557 NEW BEST:: SOT 11189 SOS 5846 HAS SOPS 4376 HAS SOUS 1893 HAS SOUPS 1508 WITH SCORE 1513.846
AT ITER 1560 NEW BEST:: SOT 11185 SOS 5842 HAS SOPS 4372 HAS SOUS 1892 HAS SOUPS 1507 WITH SCORE 1512.842
AT ITER 1590 NEW BEST:: SOT 11183 SOS 5816 HAS SOPS 4346 HAS SOUS 1888 HAS SOUPS 1503 WITH SCORE 1508.816
AT ITER 1596 NEW BEST:: SOT 11183 SOS 5806 HAS SOPS 4346 HAS SOUS 1883 HAS SOUPS 1503 WITH SCORE 1508.806
AT ITER 1601 NEW BEST:: SOT 10995 SOS 6008 HAS SOPS 4796 HAS SOUS 1796 HAS SOUPS 1491 WITH SCORE 1497.008
AT ITER 1720 NEW BEST:: SOT 10885 SOS 6228 HAS SOPS 5186 HAS SOUS 1741 HAS SOUPS 1486 WITH SCORE 1492.228
AT ITER 1775 NEW BEST:: SOT 10883 SOS 6226 HAS SOPS 5184 HAS SOUS 1740 HAS SOUPS 1485 WITH SCORE 1491.226
AT ITER 1795 NEW BEST:: SOT 10879 SOS 6222 HAS SOPS 5180 HAS SOUS 1736 HAS SOUPS 1481 WITH SCORE 1487.222
AT ITER 1805 NEW BEST:: SOT 10879 SOS 6218 HAS SOPS 5178 HAS SOUS 1734 HAS SOUPS 1480 WITH SCORE 1486.218
AT ITER 1837 NEW BEST:: SOT 10886 SOS 6225 HAS SOPS 5185 HAS SOUS 1731 HAS SOUPS 1477 WITH SCORE 1483.225
AT ITER 1848 NEW BEST:: SOT 10886 SOS 6223 HAS SOPS 5183 HAS SOUS 1730 HAS SOUPS 1476 WITH SCORE 1482.223
AT ITER 1886 NEW BEST:: SOT 10880 SOS 6217 HAS SOPS 5177 HAS SOUS 1727 HAS SOUPS 1473 WITH SCORE 1479.217
AT ITER 1910 NEW BEST:: SOT 10826 SOS 6168 HAS SOPS 5128 HAS SOUS 1710 HAS SOUPS 1456 WITH SCORE 1462.168
AT ITER 1919 NEW BEST:: SOT 10824 SOS 6166 HAS SOPS 5126 HAS SOUS 1699 HAS SOUPS 1445 WITH SCORE 1451.166
AT ITER 1981 NEW BEST:: SOT 10798 SOS 6143 HAS SOPS 5103 HAS SOUS 1689 HAS SOUPS 1435 WITH SCORE 1441.143
AT ITER 1986 NEW BEST:: SOT 10798 SOS 6143 HAS SOPS 5103 HAS SOUS 1684 HAS SOUPS 1430 WITH SCORE 1436.143
AT ITER 2012 NEW BEST:: SOT 10794 SOS 6139 HAS SOPS 5099 HAS SOUS 1683 HAS SOUPS 1429 WITH SCORE 1435.139
AT ITER 2125 NEW BEST:: SOT 10798 SOS 6161 HAS SOPS 5103 HAS SOUS 1685 HAS SOUPS 1422 WITH SCORE 1428.161
AT ITER 2231 NEW BEST:: SOT 10890 SOS 6237 HAS SOPS 5179 HAS SOUS 1683 HAS SOUPS 1420 WITH SCORE 1426.237
AT ITER 2253 NEW BEST:: SOT 10888 SOS 6235 HAS SOPS 5177 HAS SOUS 1682 HAS SOUPS 1419 WITH SCORE 1425.235
AT ITER 2260 NEW BEST:: SOT 10888 SOS 6235 HAS SOPS 5175 HAS SOUS 1682 HAS SOUPS 1418 WITH SCORE 1424.235
AT ITER 2294 NEW BEST:: SOT 10888 SOS 6215 HAS SOPS 5175 HAS SOUS 1672 HAS SOUPS 1418 WITH SCORE 1424.215
AT ITER 2324 NEW BEST:: SOT 10882 SOS 6209 HAS SOPS 5169 HAS SOUS 1671 HAS SOUPS 1417 WITH SCORE 1423.209
AT ITER 2347 NEW BEST:: SOT 10882 SOS 6209 HAS SOPS 5169 HAS SOUS 1668 HAS SOUPS 1414 WITH SCORE 1420.209
AT ITER 2349 NEW BEST:: SOT 10866 SOS 6193 HAS SOPS 5153 HAS SOUS 1660 HAS SOUPS 1406 WITH SCORE 1412.193
AT ITER 2359 NEW BEST:: SOT 10860 SOS 6187 HAS SOPS 5147 HAS SOUS 1660 HAS SOUPS 1406 WITH SCORE 1412.187
AT ITER 2379 NEW BEST:: SOT 10856 SOS 6163 HAS SOPS 5123 HAS SOUS 1657 HAS SOUPS 1403 WITH SCORE 1409.163
AT ITER 2434 NEW BEST:: SOT 10856 SOS 6159 HAS SOPS 5121 HAS SOUS 1655 HAS SOUPS 1402 WITH SCORE 1408.159
AT ITER 2445 NEW BEST:: SOT 10838 SOS 6141 HAS SOPS 5103 HAS SOUS 1645 HAS SOUPS 1392 WITH SCORE 1398.141
AT ITER 2502 NEW BEST:: SOT 10838 SOS 6141 HAS SOPS 5103 HAS SOUS 1643 HAS SOUPS 1390 WITH SCORE 1396.141
AT ITER 2514 NEW BEST:: SOT 10818 SOS 6126 HAS SOPS 5088 HAS SOUS 1643 HAS SOUPS 1390 WITH SCORE 1396.126
AT ITER 2518 NEW BEST:: SOT 10798 SOS 6105 HAS SOPS 5067 HAS SOUS 1642 HAS SOUPS 1389 WITH SCORE 1395.105
AT ITER 2608 NEW BEST:: SOT 10798 SOS 6103 HAS SOPS 5065 HAS SOUS 1641 HAS SOUPS 1388 WITH SCORE 1394.103
AT ITER 2789 NEW BEST:: SOT 10790 SOS 6095 HAS SOPS 5057 HAS SOUS 1635 HAS SOUPS 1382 WITH SCORE 1388.095
AT ITER 2800 NEW BEST:: SOT 10872 SOS 5903 HAS SOPS 4729 HAS SOUS 1675 HAS SOUPS 1382 WITH SCORE 1387.903
AT ITER 2901 NEW BEST:: SOT 10872 SOS 5899 HAS SOPS 4727 HAS SOUS 1673 HAS SOUPS 1381 WITH SCORE 1386.899
AT ITER 2908 NEW BEST:: SOT 10882 SOS 5909 HAS SOPS 4737 HAS SOUS 1672 HAS SOUPS 1380 WITH SCORE 1385.909
AT ITER 2980 NEW BEST:: SOT 10866 SOS 5893 HAS SOPS 4721 HAS SOUS 1667 HAS SOUPS 1375 WITH SCORE 1380.893
AT ITER 2997 NEW BEST:: SOT 10856 SOS 5883 HAS SOPS 4711 HAS SOUS 1657 HAS SOUPS 1365 WITH SCORE 1370.883
AT ITER 3028 NEW BEST:: SOT 10840 SOS 5867 HAS SOPS 4695 HAS SOUS 1653 HAS SOUPS 1361 WITH SCORE 1366.867
AT ITER 3037 NEW BEST:: SOT 10830 SOS 5857 HAS SOPS 4685 HAS SOUS 1651 HAS SOUPS 1359 WITH SCORE 1364.857
AT ITER 3042 NEW BEST:: SOT 10826 SOS 5853 HAS SOPS 4681 HAS SOUS 1648 HAS SOUPS 1356 WITH SCORE 1361.853
AT ITER 3058 NEW BEST:: SOT 10826 SOS 5847 HAS SOPS 4675 HAS SOUS 1645 HAS SOUPS 1353 WITH SCORE 1358.847
AT ITER 3070 NEW BEST:: SOT 10826 SOS 5837 HAS SOPS 4673 HAS SOUS 1640 HAS SOUPS 1352 WITH SCORE 1357.837
AT ITER 3079 NEW BEST:: SOT 10824 SOS 5835 HAS SOPS 4671 HAS SOUS 1638 HAS SOUPS 1350 WITH SCORE 1355.835
AT ITER 3087 NEW BEST:: SOT 10824 SOS 5823 HAS SOPS 4669 HAS SOUS 1632 HAS SOUPS 1349 WITH SCORE 1354.823
AT ITER 3108 NEW BEST:: SOT 10820 SOS 5819 HAS SOPS 4665 HAS SOUS 1628 HAS SOUPS 1345 WITH SCORE 1350.819
AT ITER 3193 NEW BEST:: SOT 10828 SOS 5811 HAS SOPS 4657 HAS SOUS 1625 HAS SOUPS 1342 WITH SCORE 1347.811
AT ITER 3198 NEW BEST:: SOT 10828 SOS 5809 HAS SOPS 4655 HAS SOUS 1624 HAS SOUPS 1341 WITH SCORE 1346.809
AT ITER 3240 NEW BEST:: SOT 10828 SOS 5807 HAS SOPS 4653 HAS SOUS 1623 HAS SOUPS 1340 WITH SCORE 1345.807
AT ITER 3370 NEW BEST:: SOT 10832 SOS 5806 HAS SOPS 4652 HAS SOUS 1619 HAS SOUPS 1336 WITH SCORE 1341.806
AT ITER 3385 NEW BEST:: SOT 10832 SOS 5804 HAS SOPS 4650 HAS SOUS 1618 HAS SOUPS 1335 WITH SCORE 1340.804
AT ITER 3446 NEW BEST:: SOT 10832 SOS 5802 HAS SOPS 4648 HAS SOUS 1617 HAS SOUPS 1334 WITH SCORE 1339.802
AT ITER 3457 NEW BEST:: SOT 10832 SOS 5800 HAS SOPS 4646 HAS SOUS 1616 HAS SOUPS 1333 WITH SCORE 1338.8
AT ITER 3542 NEW BEST:: SOT 10840 SOS 5815 HAS SOPS 4661 HAS SOUS 1611 HAS SOUPS 1328 WITH SCORE 1333.815
AT ITER 3544 NEW BEST:: SOT 10836 SOS 5811 HAS SOPS 4657 HAS SOUS 1607 HAS SOUPS 1324 WITH SCORE 1329.811
AT ITER 3572 NEW BEST:: SOT 10824 SOS 5799 HAS SOPS 4645 HAS SOUS 1607 HAS SOUPS 1324 WITH SCORE 1329.799
AT ITER 3577 NEW BEST:: SOT 10812 SOS 5791 HAS SOPS 4637 HAS SOUS 1605 HAS SOUPS 1322 WITH SCORE 1327.791
AT ITER 3595 NEW BEST:: SOT 10796 SOS 5775 HAS SOPS 4621 HAS SOUS 1604 HAS SOUPS 1321 WITH SCORE 1326.775
AT ITER 3605 NEW BEST:: SOT 10794 SOS 5773 HAS SOPS 4619 HAS SOUS 1604 HAS SOUPS 1321 WITH SCORE 1326.773
AT ITER 3702 NEW BEST:: SOT 10790 SOS 5769 HAS SOPS 4615 HAS SOUS 1602 HAS SOUPS 1319 WITH SCORE 1324.769
AT ITER 3737 NEW BEST:: SOT 10770 SOS 5749 HAS SOPS 4595 HAS SOUS 1587 HAS SOUPS 1304 WITH SCORE 1309.749
AT ITER 3743 NEW BEST:: SOT 10766 SOS 5721 HAS SOPS 4567 HAS SOUS 1584 HAS SOUPS 1301 WITH SCORE 1306.721
AT ITER 3775 NEW BEST:: SOT 10760 SOS 5715 HAS SOPS 4561 HAS SOUS 1578 HAS SOUPS 1295 WITH SCORE 1300.715
AT ITER 3829 NEW BEST:: SOT 10752 SOS 5709 HAS SOPS 4555 HAS SOUS 1577 HAS SOUPS 1294 WITH SCORE 1299.709
AT ITER 3855 NEW BEST:: SOT 10752 SOS 5707 HAS SOPS 4553 HAS SOUS 1576 HAS SOUPS 1293 WITH SCORE 1298.707
AT ITER 4117 NEW BEST:: SOT 10750 SOS 5705 HAS SOPS 4551 HAS SOUS 1576 HAS SOUPS 1293 WITH SCORE 1298.705
AT ITER 4286 NEW BEST:: SOT 10750 SOS 5705 HAS SOPS 4549 HAS SOUS 1576 HAS SOUPS 1292 WITH SCORE 1297.705
AT ITER 4458 NEW BEST:: SOT 10742 SOS 5697 HAS SOPS 4541 HAS SOUS 1570 HAS SOUPS 1286 WITH SCORE 1291.697
AT ITER 4655 NEW BEST:: SOT 10738 SOS 5693 HAS SOPS 4537 HAS SOUS 1567 HAS SOUPS 1283 WITH SCORE 1288.693
AT ITER 4834 NEW BEST:: SOT 10728 SOS 5687 HAS SOPS 4531 HAS SOUS 1566 HAS SOUPS 1282 WITH SCORE 1287.687
AT ITER 5092 NEW BEST:: SOT 10751 SOS 5713 HAS SOPS 4557 HAS SOUS 1565 HAS SOUPS 1281 WITH SCORE 1286.713
AT ITER 5109 NEW BEST:: SOT 10737 SOS 5702 HAS SOPS 4546 HAS SOUS 1564 HAS SOUPS 1280 WITH SCORE 1285.702
AT ITER 5249 NEW BEST:: SOT 10729 SOS 5694 HAS SOPS 4538 HAS SOUS 1562 HAS SOUPS 1278 WITH SCORE 1283.694
AT ITER 5271 NEW BEST:: SOT 10719 SOS 5685 HAS SOPS 4529 HAS SOUS 1558 HAS SOUPS 1274 WITH SCORE 1279.685
AT ITER 5400 NEW BEST:: SOT 10719 SOS 5667 HAS SOPS 4511 HAS SOUS 1558 HAS SOUPS 1274 WITH SCORE 1279.667
AT ITER 5602 NEW BEST:: SOT 10715 SOS 5663 HAS SOPS 4507 HAS SOUS 1555 HAS SOUPS 1271 WITH SCORE 1276.663
AT ITER 5679 NEW BEST:: SOT 10711 SOS 5659 HAS SOPS 4503 HAS SOUS 1553 HAS SOUPS 1269 WITH SCORE 1274.659
AT ITER 5735 NEW BEST:: SOT 10705 SOS 5653 HAS SOPS 4497 HAS SOUS 1548 HAS SOUPS 1264 WITH SCORE 1269.653
AT ITER 6026 NEW BEST:: SOT 10705 SOS 5653 HAS SOPS 4497 HAS SOUS 1547 HAS SOUPS 1263 WITH SCORE 1268.653
AT ITER 6118 NEW BEST:: SOT 10703 SOS 5651 HAS SOPS 4495 HAS SOUS 1546 HAS SOUPS 1262 WITH SCORE 1267.651
AT ITER 6151 NEW BEST:: SOT 10703 SOS 5649 HAS SOPS 4493 HAS SOUS 1545 HAS SOUPS 1261 WITH SCORE 1266.649
AT ITER 6243 NEW BEST:: SOT 10703 SOS 5649 HAS SOPS 4491 HAS SOUS 1545 HAS SOUPS 1260 WITH SCORE 1265.649
AT ITER 6433 NEW BEST:: SOT 10701 SOS 5647 HAS SOPS 4489 HAS SOUS 1543 HAS SOUPS 1258 WITH SCORE 1263.647
AT ITER 6441 NEW BEST:: SOT 10680 SOS 5626 HAS SOPS 4468 HAS SOUS 1543 HAS SOUPS 1258 WITH SCORE 1263.626
AT ITER 6597 NEW BEST:: SOT 10686 SOS 5628 HAS SOPS 4470 HAS SOUS 1542 HAS SOUPS 1257 WITH SCORE 1262.628
AT ITER 6651 NEW BEST:: SOT 10686 SOS 5626 HAS SOPS 4468 HAS SOUS 1541 HAS SOUPS 1256 WITH SCORE 1261.626
AT ITER 7110 NEW BEST:: SOT 10658 SOS 5615 HAS SOPS 4463 HAS SOUS 1532 HAS SOUPS 1250 WITH SCORE 1255.615
AT ITER 7197 NEW BEST:: SOT 10672 SOS 5632 HAS SOPS 4480 HAS SOUS 1527 HAS SOUPS 1245 WITH SCORE 1250.632
AT ITER 7444 NEW BEST:: SOT 10668 SOS 5627 HAS SOPS 4475 HAS SOUS 1524 HAS SOUPS 1242 WITH SCORE 1247.627
AT ITER 7581 NEW BEST:: SOT 10666 SOS 5625 HAS SOPS 4473 HAS SOUS 1520 HAS SOUPS 1238 WITH SCORE 1243.625
AT ITER 7605 NEW BEST:: SOT 10666 SOS 5625 HAS SOPS 4473 HAS SOUS 1519 HAS SOUPS 1237 WITH SCORE 1242.625
AT ITER 7770 NEW BEST:: SOT 10664 SOS 5621 HAS SOPS 4469 HAS SOUS 1518 HAS SOUPS 1236 WITH SCORE 1241.621
AT ITER 8254 NEW BEST:: SOT 10650 SOS 5610 HAS SOPS 4458 HAS SOUS 1517 HAS SOUPS 1235 WITH SCORE 1240.61
AT ITER 8358 NEW BEST:: SOT 10650 SOS 5606 HAS SOPS 4456 HAS SOUS 1515 HAS SOUPS 1234 WITH SCORE 1239.606
AT ITER 8396 NEW BEST:: SOT 10650 SOS 5606 HAS SOPS 4456 HAS SOUS 1514 HAS SOUPS 1233 WITH SCORE 1238.606
AT ITER 8586 NEW BEST:: SOT 10604 SOS 5686 HAS SOPS 4598 HAS SOUS 1491 HAS SOUPS 1227 WITH SCORE 1232.686
AT ITER 9338 NEW BEST:: SOT 10590 SOS 5676 HAS SOPS 4590 HAS SOUS 1490 HAS SOUPS 1227 WITH SCORE 1232.676
AT ITER 9943 NEW BEST:: SOT 10578 SOS 5658 HAS SOPS 4578 HAS SOUS 1487 HAS SOUPS 1227 WITH SCORE 1232.658
AT ITER 9991 NEW BEST:: SOT 10574 SOS 5654 HAS SOPS 4574 HAS SOUS 1487 HAS SOUPS 1227 WITH SCORE 1232.654
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11789100 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152248 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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