Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 6.4K Feb 25 21:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 21:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 21:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 21:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 21:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 152K Feb 25 21:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 21:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 21:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 21K 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 1679067681250

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=ShieldPPPt-PT-003A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 003A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 78 places, 57 transitions, 222 arcs.
AT ITER 0 NEW BEST:: SOT 3631 SOS 3023 HAS SOPS 3023 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2499.023
AT ITER 4 NEW BEST:: SOT 3560 SOS 2987 HAS SOPS 2987 HAS SOUS 2461 HAS SOUPS 2461 WITH SCORE 2463.987
AT ITER 6 NEW BEST:: SOT 3545 SOS 2895 HAS SOPS 2895 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2407.895
AT ITER 9 NEW BEST:: SOT 3545 SOS 2845 HAS SOPS 2845 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2407.845
AT ITER 10 NEW BEST:: SOT 3545 SOS 2783 HAS SOPS 2783 HAS SOUS 2397 HAS SOUPS 2397 WITH SCORE 2399.783
AT ITER 11 NEW BEST:: SOT 3515 SOS 2753 HAS SOPS 2753 HAS SOUS 2365 HAS SOUPS 2365 WITH SCORE 2367.753
AT ITER 17 NEW BEST:: SOT 3515 SOS 2712 HAS SOPS 2712 HAS SOUS 2365 HAS SOUPS 2365 WITH SCORE 2367.712
AT ITER 18 NEW BEST:: SOT 3448 SOS 2645 HAS SOPS 2645 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2300.645
AT ITER 30 NEW BEST:: SOT 3387 SOS 2553 HAS SOPS 2553 HAS SOUS 2246 HAS SOUPS 2246 WITH SCORE 2248.553
AT ITER 31 NEW BEST:: SOT 3341 SOS 2507 HAS SOPS 2507 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2227.507
AT ITER 33 NEW BEST:: SOT 3288 SOS 2384 HAS SOPS 2384 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2087.384
AT ITER 38 NEW BEST:: SOT 3276 SOS 2370 HAS SOPS 2370 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2073.37
AT ITER 39 NEW BEST:: SOT 3247 SOS 2339 HAS SOPS 2339 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2042.339
AT ITER 41 NEW BEST:: SOT 3247 SOS 2333 HAS SOPS 2333 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2042.333
AT ITER 43 NEW BEST:: SOT 3247 SOS 2332 HAS SOPS 2332 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2041.332
AT ITER 45 NEW BEST:: SOT 3240 SOS 2324 HAS SOPS 2324 HAS SOUS 2031 HAS SOUPS 2031 WITH SCORE 2033.324
AT ITER 47 NEW BEST:: SOT 3233 SOS 2306 HAS SOPS 2306 HAS SOUS 2013 HAS SOUPS 2013 WITH SCORE 2015.306
AT ITER 48 NEW BEST:: SOT 3207 SOS 2270 HAS SOPS 2270 HAS SOUS 1977 HAS SOUPS 1977 WITH SCORE 1979.27
AT ITER 50 NEW BEST:: SOT 3197 SOS 2279 HAS SOPS 2279 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1977.279
AT ITER 51 NEW BEST:: SOT 3193 SOS 2274 HAS SOPS 2274 HAS SOUS 1970 HAS SOUPS 1970 WITH SCORE 1972.274
AT ITER 54 NEW BEST:: SOT 3193 SOS 2292 HAS SOPS 2292 HAS SOUS 1964 HAS SOUPS 1964 WITH SCORE 1966.292
AT ITER 57 NEW BEST:: SOT 3193 SOS 2262 HAS SOPS 2262 HAS SOUS 1958 HAS SOUPS 1958 WITH SCORE 1960.262
AT ITER 65 NEW BEST:: SOT 3165 SOS 2225 HAS SOPS 2225 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1931.225
AT ITER 66 NEW BEST:: SOT 3167 SOS 2183 HAS SOPS 2183 HAS SOUS 1887 HAS SOUPS 1887 WITH SCORE 1889.183
AT ITER 67 NEW BEST:: SOT 3167 SOS 2175 HAS SOPS 2175 HAS SOUS 1882 HAS SOUPS 1882 WITH SCORE 1884.175
AT ITER 68 NEW BEST:: SOT 3163 SOS 2166 HAS SOPS 2166 HAS SOUS 1872 HAS SOUPS 1872 WITH SCORE 1874.166
AT ITER 70 NEW BEST:: SOT 3156 SOS 2159 HAS SOPS 2159 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1867.159
AT ITER 74 NEW BEST:: SOT 3134 SOS 2144 HAS SOPS 2144 HAS SOUS 1835 HAS SOUPS 1835 WITH SCORE 1837.144
AT ITER 77 NEW BEST:: SOT 3140 SOS 2026 HAS SOPS 2026 HAS SOUS 1805 HAS SOUPS 1805 WITH SCORE 1807.026
AT ITER 80 NEW BEST:: SOT 3132 SOS 1988 HAS SOPS 1988 HAS SOUS 1767 HAS SOUPS 1767 WITH SCORE 1768.988
AT ITER 81 NEW BEST:: SOT 3107 SOS 1956 HAS SOPS 1956 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1736.956
AT ITER 85 NEW BEST:: SOT 3094 SOS 1918 HAS SOPS 1918 HAS SOUS 1717 HAS SOUPS 1717 WITH SCORE 1718.918
AT ITER 87 NEW BEST:: SOT 3091 SOS 1912 HAS SOPS 1912 HAS SOUS 1708 HAS SOUPS 1708 WITH SCORE 1709.912
AT ITER 89 NEW BEST:: SOT 3085 SOS 1906 HAS SOPS 1906 HAS SOUS 1702 HAS SOUPS 1702 WITH SCORE 1703.906
AT ITER 91 NEW BEST:: SOT 3085 SOS 1905 HAS SOPS 1905 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1702.905
AT ITER 104 NEW BEST:: SOT 3079 SOS 1893 HAS SOPS 1893 HAS SOUS 1689 HAS SOUPS 1689 WITH SCORE 1690.893
AT ITER 106 NEW BEST:: SOT 3098 SOS 1883 HAS SOPS 1883 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1677.883
AT ITER 108 NEW BEST:: SOT 3075 SOS 1831 HAS SOPS 1831 HAS SOUS 1649 HAS SOUPS 1649 WITH SCORE 1650.831
AT ITER 109 NEW BEST:: SOT 3124 SOS 1827 HAS SOPS 1827 HAS SOUS 1645 HAS SOUPS 1645 WITH SCORE 1646.827
AT ITER 115 NEW BEST:: SOT 3122 SOS 1823 HAS SOPS 1823 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1642.823
AT ITER 120 NEW BEST:: SOT 3101 SOS 1790 HAS SOPS 1790 HAS SOUS 1608 HAS SOUPS 1608 WITH SCORE 1609.79
AT ITER 122 NEW BEST:: SOT 3034 SOS 1716 HAS SOPS 1716 HAS SOUS 1531 HAS SOUPS 1531 WITH SCORE 1532.716
AT ITER 124 NEW BEST:: SOT 3025 SOS 1714 HAS SOPS 1714 HAS SOUS 1529 HAS SOUPS 1529 WITH SCORE 1530.714
AT ITER 125 NEW BEST:: SOT 3018 SOS 1685 HAS SOPS 1685 HAS SOUS 1516 HAS SOUPS 1516 WITH SCORE 1517.685
AT ITER 134 NEW BEST:: SOT 3004 SOS 1676 HAS SOPS 1676 HAS SOUS 1505 HAS SOUPS 1505 WITH SCORE 1506.676
AT ITER 135 NEW BEST:: SOT 2996 SOS 1642 HAS SOPS 1642 HAS SOUS 1484 HAS SOUPS 1484 WITH SCORE 1485.642
AT ITER 151 NEW BEST:: SOT 2996 SOS 1612 HAS SOPS 1612 HAS SOUS 1456 HAS SOUPS 1456 WITH SCORE 1457.612
AT ITER 152 NEW BEST:: SOT 2994 SOS 1610 HAS SOPS 1610 HAS SOUS 1454 HAS SOUPS 1454 WITH SCORE 1455.61
AT ITER 161 NEW BEST:: SOT 2951 SOS 1574 HAS SOPS 1574 HAS SOUS 1438 HAS SOUPS 1438 WITH SCORE 1439.574
AT ITER 168 NEW BEST:: SOT 2967 SOS 1573 HAS SOPS 1573 HAS SOUS 1436 HAS SOUPS 1436 WITH SCORE 1437.573
AT ITER 175 NEW BEST:: SOT 2948 SOS 1560 HAS SOPS 1560 HAS SOUS 1429 HAS SOUPS 1429 WITH SCORE 1430.56
AT ITER 178 NEW BEST:: SOT 2948 SOS 1558 HAS SOPS 1558 HAS SOUS 1427 HAS SOUPS 1427 WITH SCORE 1428.558
AT ITER 181 NEW BEST:: SOT 2942 SOS 1552 HAS SOPS 1552 HAS SOUS 1421 HAS SOUPS 1421 WITH SCORE 1422.552
AT ITER 194 NEW BEST:: SOT 2938 SOS 1540 HAS SOPS 1540 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1418.54
AT ITER 200 NEW BEST:: SOT 2926 SOS 1526 HAS SOPS 1526 HAS SOUS 1403 HAS SOUPS 1403 WITH SCORE 1404.526
AT ITER 204 NEW BEST:: SOT 2915 SOS 1514 HAS SOPS 1514 HAS SOUS 1391 HAS SOUPS 1391 WITH SCORE 1392.514
AT ITER 208 NEW BEST:: SOT 2915 SOS 1513 HAS SOPS 1513 HAS SOUS 1391 HAS SOUPS 1391 WITH SCORE 1392.513
AT ITER 225 NEW BEST:: SOT 2910 SOS 1503 HAS SOPS 1503 HAS SOUS 1386 HAS SOUPS 1386 WITH SCORE 1387.503
AT ITER 232 NEW BEST:: SOT 2910 SOS 1498 HAS SOPS 1498 HAS SOUS 1381 HAS SOUPS 1381 WITH SCORE 1382.498
AT ITER 234 NEW BEST:: SOT 2910 SOS 1491 HAS SOPS 1491 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1375.491
AT ITER 236 NEW BEST:: SOT 2908 SOS 1485 HAS SOPS 1485 HAS SOUS 1370 HAS SOUPS 1370 WITH SCORE 1371.485
AT ITER 256 NEW BEST:: SOT 2896 SOS 1452 HAS SOPS 1452 HAS SOUS 1337 HAS SOUPS 1337 WITH SCORE 1338.452
AT ITER 282 NEW BEST:: SOT 2888 SOS 1444 HAS SOPS 1444 HAS SOUS 1331 HAS SOUPS 1331 WITH SCORE 1332.444
AT ITER 284 NEW BEST:: SOT 2887 SOS 1443 HAS SOPS 1443 HAS SOUS 1327 HAS SOUPS 1327 WITH SCORE 1328.443
AT ITER 286 NEW BEST:: SOT 2886 SOS 1442 HAS SOPS 1442 HAS SOUS 1327 HAS SOUPS 1327 WITH SCORE 1328.442
AT ITER 294 NEW BEST:: SOT 2878 SOS 1429 HAS SOPS 1429 HAS SOUS 1314 HAS SOUPS 1314 WITH SCORE 1315.429
AT ITER 319 NEW BEST:: SOT 2858 SOS 1387 HAS SOPS 1387 HAS SOUS 1272 HAS SOUPS 1272 WITH SCORE 1273.387
AT ITER 322 NEW BEST:: SOT 2858 SOS 1370 HAS SOPS 1370 HAS SOUS 1272 HAS SOUPS 1272 WITH SCORE 1273.37
AT ITER 329 NEW BEST:: SOT 2856 SOS 1375 HAS SOPS 1375 HAS SOUS 1268 HAS SOUPS 1268 WITH SCORE 1269.375
AT ITER 333 NEW BEST:: SOT 2858 SOS 1372 HAS SOPS 1372 HAS SOUS 1265 HAS SOUPS 1265 WITH SCORE 1266.372
AT ITER 337 NEW BEST:: SOT 2856 SOS 1362 HAS SOPS 1362 HAS SOUS 1261 HAS SOUPS 1261 WITH SCORE 1262.362
AT ITER 363 NEW BEST:: SOT 2855 SOS 1358 HAS SOPS 1358 HAS SOUS 1259 HAS SOUPS 1259 WITH SCORE 1260.358
AT ITER 364 NEW BEST:: SOT 2850 SOS 1361 HAS SOPS 1361 HAS SOUS 1256 HAS SOUPS 1256 WITH SCORE 1257.361
AT ITER 366 NEW BEST:: SOT 2848 SOS 1359 HAS SOPS 1359 HAS SOUS 1254 HAS SOUPS 1254 WITH SCORE 1255.359
AT ITER 369 NEW BEST:: SOT 2847 SOS 1350 HAS SOPS 1350 HAS SOUS 1244 HAS SOUPS 1244 WITH SCORE 1245.35
AT ITER 382 NEW BEST:: SOT 2841 SOS 1345 HAS SOPS 1345 HAS SOUS 1236 HAS SOUPS 1236 WITH SCORE 1237.345
AT ITER 386 NEW BEST:: SOT 2840 SOS 1342 HAS SOPS 1342 HAS SOUS 1233 HAS SOUPS 1233 WITH SCORE 1234.342
AT ITER 412 NEW BEST:: SOT 2831 SOS 1341 HAS SOPS 1341 HAS SOUS 1232 HAS SOUPS 1232 WITH SCORE 1233.341
AT ITER 487 NEW BEST:: SOT 2826 SOS 1336 HAS SOPS 1336 HAS SOUS 1227 HAS SOUPS 1227 WITH SCORE 1228.336
AT ITER 494 NEW BEST:: SOT 2831 SOS 1330 HAS SOPS 1330 HAS SOUS 1218 HAS SOUPS 1218 WITH SCORE 1219.33
AT ITER 496 NEW BEST:: SOT 2812 SOS 1322 HAS SOPS 1322 HAS SOUS 1196 HAS SOUPS 1196 WITH SCORE 1197.322
AT ITER 498 NEW BEST:: SOT 2810 SOS 1318 HAS SOPS 1318 HAS SOUS 1192 HAS SOUPS 1192 WITH SCORE 1193.318
AT ITER 500 NEW BEST:: SOT 2807 SOS 1315 HAS SOPS 1315 HAS SOUS 1189 HAS SOUPS 1189 WITH SCORE 1190.315
AT ITER 506 NEW BEST:: SOT 2807 SOS 1305 HAS SOPS 1305 HAS SOUS 1189 HAS SOUPS 1189 WITH SCORE 1190.305
AT ITER 514 NEW BEST:: SOT 2802 SOS 1292 HAS SOPS 1292 HAS SOUS 1186 HAS SOUPS 1186 WITH SCORE 1187.292
AT ITER 520 NEW BEST:: SOT 2799 SOS 1275 HAS SOPS 1275 HAS SOUS 1178 HAS SOUPS 1178 WITH SCORE 1179.275
AT ITER 541 NEW BEST:: SOT 2796 SOS 1272 HAS SOPS 1272 HAS SOUS 1175 HAS SOUPS 1175 WITH SCORE 1176.272
AT ITER 553 NEW BEST:: SOT 2794 SOS 1270 HAS SOPS 1270 HAS SOUS 1173 HAS SOUPS 1173 WITH SCORE 1174.27
AT ITER 567 NEW BEST:: SOT 2790 SOS 1260 HAS SOPS 1260 HAS SOUS 1163 HAS SOUPS 1163 WITH SCORE 1164.26
AT ITER 569 NEW BEST:: SOT 2784 SOS 1257 HAS SOPS 1257 HAS SOUS 1162 HAS SOUPS 1162 WITH SCORE 1163.257
AT ITER 577 NEW BEST:: SOT 2769 SOS 1246 HAS SOPS 1246 HAS SOUS 1151 HAS SOUPS 1151 WITH SCORE 1152.246
AT ITER 595 NEW BEST:: SOT 2769 SOS 1238 HAS SOPS 1238 HAS SOUS 1143 HAS SOUPS 1143 WITH SCORE 1144.238
AT ITER 602 NEW BEST:: SOT 2769 SOS 1236 HAS SOPS 1236 HAS SOUS 1141 HAS SOUPS 1141 WITH SCORE 1142.236
AT ITER 603 NEW BEST:: SOT 2766 SOS 1221 HAS SOPS 1221 HAS SOUS 1125 HAS SOUPS 1125 WITH SCORE 1126.221
AT ITER 617 NEW BEST:: SOT 2762 SOS 1217 HAS SOPS 1217 HAS SOUS 1121 HAS SOUPS 1121 WITH SCORE 1122.217
AT ITER 652 NEW BEST:: SOT 2762 SOS 1220 HAS SOPS 1220 HAS SOUS 1118 HAS SOUPS 1118 WITH SCORE 1119.22
AT ITER 673 NEW BEST:: SOT 2761 SOS 1219 HAS SOPS 1219 HAS SOUS 1117 HAS SOUPS 1117 WITH SCORE 1118.219
AT ITER 674 NEW BEST:: SOT 2757 SOS 1212 HAS SOPS 1212 HAS SOUS 1112 HAS SOUPS 1112 WITH SCORE 1113.212
AT ITER 680 NEW BEST:: SOT 2764 SOS 1203 HAS SOPS 1203 HAS SOUS 1103 HAS SOUPS 1103 WITH SCORE 1104.203
AT ITER 690 NEW BEST:: SOT 2764 SOS 1196 HAS SOPS 1196 HAS SOUS 1100 HAS SOUPS 1100 WITH SCORE 1101.196
AT ITER 693 NEW BEST:: SOT 2763 SOS 1195 HAS SOPS 1195 HAS SOUS 1099 HAS SOUPS 1099 WITH SCORE 1100.195
AT ITER 698 NEW BEST:: SOT 2759 SOS 1185 HAS SOPS 1185 HAS SOUS 1091 HAS SOUPS 1091 WITH SCORE 1092.185
AT ITER 702 NEW BEST:: SOT 2753 SOS 1172 HAS SOPS 1172 HAS SOUS 1082 HAS SOUPS 1082 WITH SCORE 1083.172
AT ITER 710 NEW BEST:: SOT 2753 SOS 1170 HAS SOPS 1170 HAS SOUS 1080 HAS SOUPS 1080 WITH SCORE 1081.17
AT ITER 731 NEW BEST:: SOT 2750 SOS 1167 HAS SOPS 1167 HAS SOUS 1077 HAS SOUPS 1077 WITH SCORE 1078.167
AT ITER 746 NEW BEST:: SOT 2755 SOS 1164 HAS SOPS 1164 HAS SOUS 1074 HAS SOUPS 1074 WITH SCORE 1075.164
AT ITER 751 NEW BEST:: SOT 2754 SOS 1163 HAS SOPS 1163 HAS SOUS 1073 HAS SOUPS 1073 WITH SCORE 1074.163
AT ITER 786 NEW BEST:: SOT 2750 SOS 1149 HAS SOPS 1149 HAS SOUS 1065 HAS SOUPS 1065 WITH SCORE 1066.149
AT ITER 792 NEW BEST:: SOT 2750 SOS 1147 HAS SOPS 1147 HAS SOUS 1065 HAS SOUPS 1065 WITH SCORE 1066.147
AT ITER 798 NEW BEST:: SOT 2750 SOS 1144 HAS SOPS 1144 HAS SOUS 1065 HAS SOUPS 1065 WITH SCORE 1066.144
AT ITER 802 NEW BEST:: SOT 2746 SOS 1137 HAS SOPS 1137 HAS SOUS 1060 HAS SOUPS 1060 WITH SCORE 1061.137
AT ITER 842 NEW BEST:: SOT 2745 SOS 1123 HAS SOPS 1123 HAS SOUS 1056 HAS SOUPS 1056 WITH SCORE 1057.123
AT ITER 847 NEW BEST:: SOT 2729 SOS 1106 HAS SOPS 1106 HAS SOUS 1039 HAS SOUPS 1039 WITH SCORE 1040.106
AT ITER 850 NEW BEST:: SOT 2727 SOS 1100 HAS SOPS 1100 HAS SOUS 1033 HAS SOUPS 1033 WITH SCORE 1034.1
AT ITER 853 NEW BEST:: SOT 2727 SOS 1107 HAS SOPS 1107 HAS SOUS 1031 HAS SOUPS 1031 WITH SCORE 1032.107
AT ITER 864 NEW BEST:: SOT 2713 SOS 1097 HAS SOPS 1097 HAS SOUS 1026 HAS SOUPS 1026 WITH SCORE 1027.097
AT ITER 866 NEW BEST:: SOT 2711 SOS 1095 HAS SOPS 1095 HAS SOUS 1024 HAS SOUPS 1024 WITH SCORE 1025.095
AT ITER 919 NEW BEST:: SOT 2710 SOS 1094 HAS SOPS 1094 HAS SOUS 1022 HAS SOUPS 1022 WITH SCORE 1023.094
AT ITER 925 NEW BEST:: SOT 2707 SOS 1080 HAS SOPS 1080 HAS SOUS 1008 HAS SOUPS 1008 WITH SCORE 1009.08
AT ITER 933 NEW BEST:: SOT 2707 SOS 1069 HAS SOPS 1069 HAS SOUS 997 HAS SOUPS 997 WITH SCORE 998.069
AT ITER 935 NEW BEST:: SOT 2700 SOS 1066 HAS SOPS 1066 HAS SOUS 992 HAS SOUPS 992 WITH SCORE 993.066
AT ITER 948 NEW BEST:: SOT 2697 SOS 1060 HAS SOPS 1060 HAS SOUS 986 HAS SOUPS 986 WITH SCORE 987.06
AT ITER 951 NEW BEST:: SOT 2696 SOS 1058 HAS SOPS 1058 HAS SOUS 985 HAS SOUPS 985 WITH SCORE 986.058
AT ITER 957 NEW BEST:: SOT 2694 SOS 1056 HAS SOPS 1056 HAS SOUS 984 HAS SOUPS 984 WITH SCORE 985.056
AT ITER 961 NEW BEST:: SOT 2694 SOS 1045 HAS SOPS 1045 HAS SOUS 973 HAS SOUPS 973 WITH SCORE 974.045
AT ITER 978 NEW BEST:: SOT 2692 SOS 1043 HAS SOPS 1043 HAS SOUS 971 HAS SOUPS 971 WITH SCORE 972.043
AT ITER 981 NEW BEST:: SOT 2691 SOS 1040 HAS SOPS 1040 HAS SOUS 969 HAS SOUPS 969 WITH SCORE 970.04
AT ITER 1008 NEW BEST:: SOT 2691 SOS 1038 HAS SOPS 1038 HAS SOUS 969 HAS SOUPS 969 WITH SCORE 970.038
AT ITER 1027 NEW BEST:: SOT 2690 SOS 1036 HAS SOPS 1036 HAS SOUS 967 HAS SOUPS 967 WITH SCORE 968.036
AT ITER 1036 NEW BEST:: SOT 2687 SOS 1032 HAS SOPS 1032 HAS SOUS 963 HAS SOUPS 963 WITH SCORE 964.032
AT ITER 1070 NEW BEST:: SOT 2685 SOS 1026 HAS SOPS 1026 HAS SOUS 962 HAS SOUPS 962 WITH SCORE 963.026
AT ITER 1072 NEW BEST:: SOT 2676 SOS 1015 HAS SOPS 1015 HAS SOUS 951 HAS SOUPS 951 WITH SCORE 952.015
AT ITER 1111 NEW BEST:: SOT 2672 SOS 1010 HAS SOPS 1010 HAS SOUS 950 HAS SOUPS 950 WITH SCORE 951.01
AT ITER 1114 NEW BEST:: SOT 2670 SOS 1008 HAS SOPS 1008 HAS SOUS 948 HAS SOUPS 948 WITH SCORE 949.008
AT ITER 1118 NEW BEST:: SOT 2671 SOS 1004 HAS SOPS 1004 HAS SOUS 944 HAS SOUPS 944 WITH SCORE 945.004
AT ITER 1127 NEW BEST:: SOT 2665 SOS 998 HAS SOPS 998 HAS SOUS 938 HAS SOUPS 938 WITH SCORE 938.998
AT ITER 1134 NEW BEST:: SOT 2665 SOS 994 HAS SOPS 994 HAS SOUS 934 HAS SOUPS 934 WITH SCORE 934.994
AT ITER 1172 NEW BEST:: SOT 2667 SOS 992 HAS SOPS 992 HAS SOUS 933 HAS SOUPS 933 WITH SCORE 933.992
AT ITER 1186 NEW BEST:: SOT 2657 SOS 974 HAS SOPS 974 HAS SOUS 915 HAS SOUPS 915 WITH SCORE 915.974
AT ITER 1210 NEW BEST:: SOT 2656 SOS 972 HAS SOPS 972 HAS SOUS 913 HAS SOUPS 913 WITH SCORE 913.972
AT ITER 1220 NEW BEST:: SOT 2654 SOS 970 HAS SOPS 970 HAS SOUS 911 HAS SOUPS 911 WITH SCORE 911.97
AT ITER 1232 NEW BEST:: SOT 2652 SOS 968 HAS SOPS 968 HAS SOUS 909 HAS SOUPS 909 WITH SCORE 909.968
AT ITER 1241 NEW BEST:: SOT 2652 SOS 967 HAS SOPS 967 HAS SOUS 908 HAS SOUPS 908 WITH SCORE 908.967
AT ITER 1280 NEW BEST:: SOT 2648 SOS 963 HAS SOPS 963 HAS SOUS 904 HAS SOUPS 904 WITH SCORE 904.963
AT ITER 1288 NEW BEST:: SOT 2643 SOS 961 HAS SOPS 961 HAS SOUS 902 HAS SOUPS 902 WITH SCORE 902.961
AT ITER 1291 NEW BEST:: SOT 2643 SOS 960 HAS SOPS 960 HAS SOUS 901 HAS SOUPS 901 WITH SCORE 901.96
AT ITER 1363 NEW BEST:: SOT 2635 SOS 952 HAS SOPS 952 HAS SOUS 893 HAS SOUPS 893 WITH SCORE 893.952
AT ITER 1382 NEW BEST:: SOT 2634 SOS 949 HAS SOPS 949 HAS SOUS 891 HAS SOUPS 891 WITH SCORE 891.949
AT ITER 1461 NEW BEST:: SOT 2634 SOS 948 HAS SOPS 948 HAS SOUS 890 HAS SOUPS 890 WITH SCORE 890.948
AT ITER 1468 NEW BEST:: SOT 2629 SOS 943 HAS SOPS 943 HAS SOUS 882 HAS SOUPS 882 WITH SCORE 882.943
AT ITER 1495 NEW BEST:: SOT 2619 SOS 923 HAS SOPS 923 HAS SOUS 862 HAS SOUPS 862 WITH SCORE 862.923
AT ITER 1496 NEW BEST:: SOT 2613 SOS 918 HAS SOPS 918 HAS SOUS 857 HAS SOUPS 857 WITH SCORE 857.918
AT ITER 1524 NEW BEST:: SOT 2611 SOS 914 HAS SOPS 914 HAS SOUS 853 HAS SOUPS 853 WITH SCORE 853.914
AT ITER 1565 NEW BEST:: SOT 2609 SOS 908 HAS SOPS 908 HAS SOUS 849 HAS SOUPS 849 WITH SCORE 849.908
AT ITER 1590 NEW BEST:: SOT 2608 SOS 905 HAS SOPS 905 HAS SOUS 846 HAS SOUPS 846 WITH SCORE 846.905
AT ITER 1609 NEW BEST:: SOT 2602 SOS 898 HAS SOPS 898 HAS SOUS 839 HAS SOUPS 839 WITH SCORE 839.898
AT ITER 1631 NEW BEST:: SOT 2604 SOS 888 HAS SOPS 888 HAS SOUS 833 HAS SOUPS 833 WITH SCORE 833.888
AT ITER 1634 NEW BEST:: SOT 2603 SOS 887 HAS SOPS 887 HAS SOUS 832 HAS SOUPS 832 WITH SCORE 832.887
AT ITER 1661 NEW BEST:: SOT 2602 SOS 885 HAS SOPS 885 HAS SOUS 830 HAS SOUPS 830 WITH SCORE 830.885
AT ITER 1802 NEW BEST:: SOT 2599 SOS 878 HAS SOPS 878 HAS SOUS 823 HAS SOUPS 823 WITH SCORE 823.878
AT ITER 1922 NEW BEST:: SOT 2599 SOS 882 HAS SOPS 882 HAS SOUS 822 HAS SOUPS 822 WITH SCORE 822.882
AT ITER 2013 NEW BEST:: SOT 2598 SOS 877 HAS SOPS 877 HAS SOUS 820 HAS SOUPS 820 WITH SCORE 820.877
AT ITER 2035 NEW BEST:: SOT 2594 SOS 869 HAS SOPS 869 HAS SOUS 812 HAS SOUPS 812 WITH SCORE 812.869
AT ITER 2040 NEW BEST:: SOT 2594 SOS 869 HAS SOPS 869 HAS SOUS 811 HAS SOUPS 811 WITH SCORE 811.869
AT ITER 2044 NEW BEST:: SOT 2593 SOS 866 HAS SOPS 866 HAS SOUS 808 HAS SOUPS 808 WITH SCORE 808.866
AT ITER 2113 NEW BEST:: SOT 2592 SOS 861 HAS SOPS 861 HAS SOUS 805 HAS SOUPS 805 WITH SCORE 805.861
AT ITER 2137 NEW BEST:: SOT 2591 SOS 851 HAS SOPS 851 HAS SOUS 799 HAS SOUPS 799 WITH SCORE 799.851
AT ITER 2159 NEW BEST:: SOT 2591 SOS 849 HAS SOPS 849 HAS SOUS 799 HAS SOUPS 799 WITH SCORE 799.849
AT ITER 2224 NEW BEST:: SOT 2588 SOS 848 HAS SOPS 848 HAS SOUS 798 HAS SOUPS 798 WITH SCORE 798.848
AT ITER 2377 NEW BEST:: SOT 2586 SOS 846 HAS SOPS 846 HAS SOUS 796 HAS SOUPS 796 WITH SCORE 796.846
AT ITER 2465 NEW BEST:: SOT 2582 SOS 841 HAS SOPS 841 HAS SOUS 793 HAS SOUPS 793 WITH SCORE 793.841
AT ITER 2550 NEW BEST:: SOT 2581 SOS 840 HAS SOPS 840 HAS SOUS 792 HAS SOUPS 792 WITH SCORE 792.84
AT ITER 2558 NEW BEST:: SOT 2581 SOS 840 HAS SOPS 840 HAS SOUS 790 HAS SOUPS 790 WITH SCORE 790.84
AT ITER 2693 NEW BEST:: SOT 2580 SOS 839 HAS SOPS 839 HAS SOUS 789 HAS SOUPS 789 WITH SCORE 789.839
AT ITER 2708 NEW BEST:: SOT 2580 SOS 837 HAS SOPS 837 HAS SOUS 787 HAS SOUPS 787 WITH SCORE 787.837
AT ITER 2781 NEW BEST:: SOT 2580 SOS 836 HAS SOPS 836 HAS SOUS 787 HAS SOUPS 787 WITH SCORE 787.836
AT ITER 3036 NEW BEST:: SOT 2581 SOS 835 HAS SOPS 835 HAS SOUS 786 HAS SOUPS 786 WITH SCORE 786.835
AT ITER 3055 NEW BEST:: SOT 2580 SOS 833 HAS SOPS 833 HAS SOUS 784 HAS SOUPS 784 WITH SCORE 784.833
AT ITER 3066 NEW BEST:: SOT 2580 SOS 832 HAS SOPS 832 HAS SOUS 783 HAS SOUPS 783 WITH SCORE 783.832
AT ITER 3367 NEW BEST:: SOT 2578 SOS 829 HAS SOPS 829 HAS SOUS 781 HAS SOUPS 781 WITH SCORE 781.829
AT ITER 3635 NEW BEST:: SOT 2572 SOS 820 HAS SOPS 820 HAS SOUS 775 HAS SOUPS 775 WITH SCORE 775.82
AT ITER 3658 NEW BEST:: SOT 2572 SOS 818 HAS SOPS 818 HAS SOUS 775 HAS SOUPS 775 WITH SCORE 775.818
AT ITER 3751 NEW BEST:: SOT 2570 SOS 815 HAS SOPS 815 HAS SOUS 772 HAS SOUPS 772 WITH SCORE 772.815
AT ITER 4123 NEW BEST:: SOT 2570 SOS 814 HAS SOPS 814 HAS SOUS 772 HAS SOUPS 772 WITH SCORE 772.814
AT ITER 4228 NEW BEST:: SOT 2570 SOS 813 HAS SOPS 813 HAS SOUS 771 HAS SOUPS 771 WITH SCORE 771.813
AT ITER 4355 NEW BEST:: SOT 2570 SOS 812 HAS SOPS 812 HAS SOUS 770 HAS SOUPS 770 WITH SCORE 770.812
AT ITER 4364 NEW BEST:: SOT 2614 SOS 853 HAS SOPS 853 HAS SOUS 768 HAS SOUPS 768 WITH SCORE 768.853
AT ITER 4394 NEW BEST:: SOT 2614 SOS 828 HAS SOPS 828 HAS SOUS 761 HAS SOUPS 761 WITH SCORE 761.828
AT ITER 4400 NEW BEST:: SOT 2592 SOS 805 HAS SOPS 805 HAS SOUS 738 HAS SOUPS 738 WITH SCORE 738.805
AT ITER 4448 NEW BEST:: SOT 2568 SOS 793 HAS SOPS 793 HAS SOUS 720 HAS SOUPS 720 WITH SCORE 720.793
AT ITER 4520 NEW BEST:: SOT 2568 SOS 787 HAS SOPS 787 HAS SOUS 714 HAS SOUPS 714 WITH SCORE 714.787
AT ITER 4567 NEW BEST:: SOT 2568 SOS 786 HAS SOPS 786 HAS SOUS 714 HAS SOUPS 714 WITH SCORE 714.786
AT ITER 4610 NEW BEST:: SOT 2570 SOS 785 HAS SOPS 785 HAS SOUS 713 HAS SOUPS 713 WITH SCORE 713.785
AT ITER 4769 NEW BEST:: SOT 2568 SOS 788 HAS SOPS 788 HAS SOUS 712 HAS SOUPS 712 WITH SCORE 712.788
AT ITER 4879 NEW BEST:: SOT 2568 SOS 787 HAS SOPS 787 HAS SOUS 712 HAS SOUPS 712 WITH SCORE 712.787
AT ITER 4906 NEW BEST:: SOT 2564 SOS 783 HAS SOPS 783 HAS SOUS 705 HAS SOUPS 705 WITH SCORE 705.783
AT ITER 5035 NEW BEST:: SOT 2565 SOS 777 HAS SOPS 777 HAS SOUS 704 HAS SOUPS 704 WITH SCORE 704.777
AT ITER 5056 NEW BEST:: SOT 2565 SOS 791 HAS SOPS 791 HAS SOUS 700 HAS SOUPS 700 WITH SCORE 700.791
AT ITER 5333 NEW BEST:: SOT 2565 SOS 791 HAS SOPS 791 HAS SOUS 698 HAS SOUPS 698 WITH SCORE 698.791
AT ITER 5351 NEW BEST:: SOT 2561 SOS 784 HAS SOPS 784 HAS SOUS 695 HAS SOUPS 695 WITH SCORE 695.784
AT ITER 5360 NEW BEST:: SOT 2549 SOS 769 HAS SOPS 769 HAS SOUS 682 HAS SOUPS 682 WITH SCORE 682.769
AT ITER 5474 NEW BEST:: SOT 2546 SOS 766 HAS SOPS 766 HAS SOUS 679 HAS SOUPS 679 WITH SCORE 679.766
AT ITER 5514 NEW BEST:: SOT 2545 SOS 765 HAS SOPS 765 HAS SOUS 679 HAS SOUPS 679 WITH SCORE 679.765
AT ITER 5746 NEW BEST:: SOT 2541 SOS 760 HAS SOPS 760 HAS SOUS 674 HAS SOUPS 674 WITH SCORE 674.76
AT ITER 5859 NEW BEST:: SOT 2541 SOS 760 HAS SOPS 760 HAS SOUS 672 HAS SOUPS 672 WITH SCORE 672.76
AT ITER 5872 NEW BEST:: SOT 2540 SOS 760 HAS SOPS 760 HAS SOUS 669 HAS SOUPS 669 WITH SCORE 669.76
AT ITER 5889 NEW BEST:: SOT 2538 SOS 754 HAS SOPS 754 HAS SOUS 668 HAS SOUPS 668 WITH SCORE 668.754
AT ITER 5906 NEW BEST:: SOT 2537 SOS 752 HAS SOPS 752 HAS SOUS 666 HAS SOUPS 666 WITH SCORE 666.752
AT ITER 5934 NEW BEST:: SOT 2534 SOS 749 HAS SOPS 749 HAS SOUS 663 HAS SOUPS 663 WITH SCORE 663.749
AT ITER 5958 NEW BEST:: SOT 2535 SOS 743 HAS SOPS 743 HAS SOUS 658 HAS SOUPS 658 WITH SCORE 658.743
AT ITER 6045 NEW BEST:: SOT 2532 SOS 741 HAS SOPS 741 HAS SOUS 658 HAS SOUPS 658 WITH SCORE 658.741
AT ITER 6117 NEW BEST:: SOT 2531 SOS 739 HAS SOPS 739 HAS SOUS 656 HAS SOUPS 656 WITH SCORE 656.739
AT ITER 6170 NEW BEST:: SOT 2530 SOS 735 HAS SOPS 735 HAS SOUS 653 HAS SOUPS 653 WITH SCORE 653.735
AT ITER 6281 NEW BEST:: SOT 2527 SOS 731 HAS SOPS 731 HAS SOUS 651 HAS SOUPS 651 WITH SCORE 651.731
AT ITER 6283 NEW BEST:: SOT 2527 SOS 714 HAS SOPS 714 HAS SOUS 634 HAS SOUPS 634 WITH SCORE 634.714
AT ITER 6292 NEW BEST:: SOT 2529 SOS 712 HAS SOPS 712 HAS SOUS 633 HAS SOUPS 633 WITH SCORE 633.712
AT ITER 6334 NEW BEST:: SOT 2530 SOS 705 HAS SOPS 705 HAS SOUS 629 HAS SOUPS 629 WITH SCORE 629.705
AT ITER 6422 NEW BEST:: SOT 2530 SOS 695 HAS SOPS 695 HAS SOUS 624 HAS SOUPS 624 WITH SCORE 624.695
AT ITER 6625 NEW BEST:: SOT 2526 SOS 687 HAS SOPS 687 HAS SOUS 618 HAS SOUPS 618 WITH SCORE 618.687
AT ITER 6657 NEW BEST:: SOT 2526 SOS 687 HAS SOPS 687 HAS SOUS 617 HAS SOUPS 617 WITH SCORE 617.687
AT ITER 6712 NEW BEST:: SOT 2528 SOS 686 HAS SOPS 686 HAS SOUS 617 HAS SOUPS 617 WITH SCORE 617.686
AT ITER 7011 NEW BEST:: SOT 2526 SOS 688 HAS SOPS 688 HAS SOUS 614 HAS SOUPS 614 WITH SCORE 614.688
AT ITER 7055 NEW BEST:: SOT 2524 SOS 685 HAS SOPS 685 HAS SOUS 613 HAS SOUPS 613 WITH SCORE 613.685
AT ITER 7075 NEW BEST:: SOT 2523 SOS 684 HAS SOPS 684 HAS SOUS 612 HAS SOUPS 612 WITH SCORE 612.684
AT ITER 7293 NEW BEST:: SOT 2522 SOS 682 HAS SOPS 682 HAS SOUS 610 HAS SOUPS 610 WITH SCORE 610.682
AT ITER 7314 NEW BEST:: SOT 2519 SOS 677 HAS SOPS 677 HAS SOUS 606 HAS SOUPS 606 WITH SCORE 606.677
AT ITER 7384 NEW BEST:: SOT 2519 SOS 679 HAS SOPS 679 HAS SOUS 605 HAS SOUPS 605 WITH SCORE 605.679
AT ITER 7416 NEW BEST:: SOT 2517 SOS 673 HAS SOPS 673 HAS SOUS 602 HAS SOUPS 602 WITH SCORE 602.673
AT ITER 7438 NEW BEST:: SOT 2515 SOS 670 HAS SOPS 670 HAS SOUS 599 HAS SOUPS 599 WITH SCORE 599.67
AT ITER 8141 NEW BEST:: SOT 2515 SOS 668 HAS SOPS 668 HAS SOUS 599 HAS SOUPS 599 WITH SCORE 599.668
AT ITER 8521 NEW BEST:: SOT 2514 SOS 667 HAS SOPS 667 HAS SOUS 599 HAS SOUPS 599 WITH SCORE 599.667
AT ITER 9247 NEW BEST:: SOT 2512 SOS 664 HAS SOPS 664 HAS SOUS 598 HAS SOUPS 598 WITH SCORE 598.664
AT ITER 9996 NEW BEST:: SOT 2513 SOS 663 HAS SOPS 663 HAS SOUS 598 HAS SOUPS 598 WITH SCORE 598.663
STATE_SPACE STATES 128000000001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 34 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1875200000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679067683982

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

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="ShieldPPPt-PT-003A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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