fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r459-smll-167912651500608
Last Updated
May 14, 2023

About the Execution of Smart+red for StigmergyElection-PT-05a

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
380.136 68526.00 76070.00 664.30 4411 38255 1 6 normal

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.r459-smll-167912651500608.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 StigmergyElection-PT-05a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651500608
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 708K
-rw-r--r-- 1 mcc users 7.0K Feb 26 16:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 26 16:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 16:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 26 16:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 16:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 160K Feb 26 16:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 16:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 16:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:14 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 193K 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 1679436194087

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=StigmergyElection-PT-05a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 22:03:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 22:03:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 22:03:17] [INFO ] Load time of PNML (sax parser for PT used): 180 ms
[2023-03-21 22:03:17] [INFO ] Transformed 72 places.
[2023-03-21 22:03:17] [INFO ] Transformed 450 transitions.
[2023-03-21 22:03:17] [INFO ] Found NUPN structural information;
[2023-03-21 22:03:17] [INFO ] Parsed PT model containing 72 places and 450 transitions and 3637 arcs in 353 ms.
[2023-03-21 22:03:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 72 places, 450 transitions and 3637 arcs took 35 ms.
Total runtime 454 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 05a
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: 72 places, 450 transitions, 3637 arcs.
AT ITER 0 NEW BEST:: SOT 16876 SOS 6055 HAS SOPS 5531 HAS SOUS 2087 HAS SOUPS 2067 WITH SCORE 2073.055
AT ITER 8 NEW BEST:: SOT 16888 SOS 6063 HAS SOPS 5539 HAS SOUS 2083 HAS SOUPS 2063 WITH SCORE 2069.063
AT ITER 12 NEW BEST:: SOT 16807 SOS 5985 HAS SOPS 5461 HAS SOUS 2035 HAS SOUPS 2015 WITH SCORE 2020.985
AT ITER 15 NEW BEST:: SOT 16819 SOS 11338 HAS SOPS 7676 HAS SOUS 2033 HAS SOUPS 1997 WITH SCORE 2008.338
AT ITER 19 NEW BEST:: SOT 16831 SOS 11314 HAS SOPS 7664 HAS SOUS 2021 HAS SOUPS 1985 WITH SCORE 1996.314
AT ITER 24 NEW BEST:: SOT 16842 SOS 12672 HAS SOPS 9333 HAS SOUS 2012 HAS SOUPS 1972 WITH SCORE 1984.672
AT ITER 31 NEW BEST:: SOT 16842 SOS 11316 HAS SOPS 8391 HAS SOUS 2002 HAS SOUPS 1966 WITH SCORE 1977.316
AT ITER 33 NEW BEST:: SOT 16525 SOS 11436 HAS SOPS 8078 HAS SOUS 2035 HAS SOUPS 1960 WITH SCORE 1971.436
AT ITER 35 NEW BEST:: SOT 16512 SOS 11428 HAS SOPS 8084 HAS SOUS 2024 HAS SOUPS 1949 WITH SCORE 1960.428
AT ITER 62 NEW BEST:: SOT 16523 SOS 11394 HAS SOPS 8062 HAS SOUS 2012 HAS SOUPS 1937 WITH SCORE 1948.394
AT ITER 63 NEW BEST:: SOT 16522 SOS 11407 HAS SOPS 8085 HAS SOUS 2011 HAS SOUPS 1936 WITH SCORE 1947.407
AT ITER 66 NEW BEST:: SOT 16521 SOS 10397 HAS SOPS 7690 HAS SOUS 2007 HAS SOUPS 1935 WITH SCORE 1945.397
AT ITER 67 NEW BEST:: SOT 16620 SOS 10374 HAS SOPS 7700 HAS SOUS 1996 HAS SOUPS 1924 WITH SCORE 1934.374
AT ITER 73 NEW BEST:: SOT 16620 SOS 10370 HAS SOPS 7700 HAS SOUS 1993 HAS SOUPS 1924 WITH SCORE 1934.37
AT ITER 75 NEW BEST:: SOT 16638 SOS 10320 HAS SOPS 7668 HAS SOUS 1943 HAS SOUPS 1874 WITH SCORE 1884.32
AT ITER 81 NEW BEST:: SOT 16657 SOS 10329 HAS SOPS 7686 HAS SOUS 1941 HAS SOUPS 1872 WITH SCORE 1882.329
AT ITER 86 NEW BEST:: SOT 16747 SOS 10333 HAS SOPS 7690 HAS SOUS 1940 HAS SOUPS 1871 WITH SCORE 1881.333
AT ITER 93 NEW BEST:: SOT 16741 SOS 10270 HAS SOPS 7690 HAS SOUS 1934 HAS SOUPS 1868 WITH SCORE 1878.27
AT ITER 108 NEW BEST:: SOT 16741 SOS 10268 HAS SOPS 7615 HAS SOUS 1933 HAS SOUPS 1867 WITH SCORE 1877.268
AT ITER 111 NEW BEST:: SOT 16654 SOS 10156 HAS SOPS 7503 HAS SOUS 1864 HAS SOUPS 1798 WITH SCORE 1808.156
AT ITER 119 NEW BEST:: SOT 16654 SOS 10144 HAS SOPS 7491 HAS SOUS 1852 HAS SOUPS 1786 WITH SCORE 1796.144
AT ITER 136 NEW BEST:: SOT 16651 SOS 8770 HAS SOPS 6537 HAS SOUS 1838 HAS SOUPS 1776 WITH SCORE 1784.77
AT ITER 151 NEW BEST:: SOT 16651 SOS 8770 HAS SOPS 6533 HAS SOUS 1835 HAS SOUPS 1773 WITH SCORE 1781.77
AT ITER 155 NEW BEST:: SOT 16666 SOS 8768 HAS SOPS 6531 HAS SOUS 1825 HAS SOUPS 1763 WITH SCORE 1771.768
AT ITER 156 NEW BEST:: SOT 16658 SOS 13129 HAS SOPS 8127 HAS SOUS 1831 HAS SOUPS 1756 WITH SCORE 1769.129
AT ITER 159 NEW BEST:: SOT 16652 SOS 13107 HAS SOPS 8105 HAS SOUS 1815 HAS SOUPS 1740 WITH SCORE 1753.107
AT ITER 174 NEW BEST:: SOT 16644 SOS 13099 HAS SOPS 8100 HAS SOUS 1810 HAS SOUPS 1735 WITH SCORE 1748.099
AT ITER 180 NEW BEST:: SOT 16632 SOS 13083 HAS SOPS 8084 HAS SOUS 1805 HAS SOUPS 1730 WITH SCORE 1743.083
AT ITER 193 NEW BEST:: SOT 16670 SOS 13109 HAS SOPS 8005 HAS SOUS 1801 HAS SOUPS 1725 WITH SCORE 1738.109
AT ITER 213 NEW BEST:: SOT 17033 SOS 13457 HAS SOPS 8146 HAS SOUS 1743 HAS SOUPS 1662 WITH SCORE 1675.457
AT ITER 215 NEW BEST:: SOT 17037 SOS 13455 HAS SOPS 8144 HAS SOUS 1741 HAS SOUPS 1660 WITH SCORE 1673.455
AT ITER 220 NEW BEST:: SOT 17017 SOS 13449 HAS SOPS 8152 HAS SOUS 1721 HAS SOUPS 1640 WITH SCORE 1653.449
AT ITER 225 NEW BEST:: SOT 17055 SOS 13436 HAS SOPS 8139 HAS SOUS 1708 HAS SOUPS 1627 WITH SCORE 1640.436
AT ITER 237 NEW BEST:: SOT 16998 SOS 13226 HAS SOPS 8108 HAS SOUS 1692 HAS SOUPS 1624 WITH SCORE 1637.226
AT ITER 239 NEW BEST:: SOT 16994 SOS 13207 HAS SOPS 8089 HAS SOUS 1683 HAS SOUPS 1615 WITH SCORE 1628.207
AT ITER 242 NEW BEST:: SOT 17050 SOS 13187 HAS SOPS 8069 HAS SOUS 1658 HAS SOUPS 1590 WITH SCORE 1603.187
AT ITER 244 NEW BEST:: SOT 17044 SOS 13183 HAS SOPS 8065 HAS SOUS 1656 HAS SOUPS 1588 WITH SCORE 1601.183
AT ITER 247 NEW BEST:: SOT 17040 SOS 13179 HAS SOPS 8061 HAS SOUS 1652 HAS SOUPS 1584 WITH SCORE 1597.179
AT ITER 255 NEW BEST:: SOT 17034 SOS 13167 HAS SOPS 8049 HAS SOUS 1640 HAS SOUPS 1572 WITH SCORE 1585.167
AT ITER 279 NEW BEST:: SOT 17029 SOS 13176 HAS SOPS 8058 HAS SOUS 1630 HAS SOUPS 1562 WITH SCORE 1575.176
AT ITER 285 NEW BEST:: SOT 17017 SOS 13160 HAS SOPS 8042 HAS SOUS 1626 HAS SOUPS 1558 WITH SCORE 1571.16
AT ITER 293 NEW BEST:: SOT 17001 SOS 13468 HAS SOPS 7965 HAS SOUS 1627 HAS SOUPS 1534 WITH SCORE 1547.468
AT ITER 294 NEW BEST:: SOT 16995 SOS 13466 HAS SOPS 7961 HAS SOUS 1623 HAS SOUPS 1530 WITH SCORE 1543.466
AT ITER 301 NEW BEST:: SOT 16991 SOS 13458 HAS SOPS 7953 HAS SOUS 1619 HAS SOUPS 1526 WITH SCORE 1539.458
AT ITER 306 NEW BEST:: SOT 16991 SOS 13458 HAS SOPS 7953 HAS SOUS 1617 HAS SOUPS 1524 WITH SCORE 1537.458
AT ITER 308 NEW BEST:: SOT 16989 SOS 13474 HAS SOPS 7959 HAS SOUS 1615 HAS SOUPS 1520 WITH SCORE 1533.474
AT ITER 334 NEW BEST:: SOT 16967 SOS 13460 HAS SOPS 7945 HAS SOUS 1613 HAS SOUPS 1518 WITH SCORE 1531.46
AT ITER 343 NEW BEST:: SOT 16967 SOS 13448 HAS SOPS 7939 HAS SOUS 1613 HAS SOUPS 1518 WITH SCORE 1531.448
AT ITER 384 NEW BEST:: SOT 16976 SOS 13454 HAS SOPS 7927 HAS SOUS 1609 HAS SOUPS 1514 WITH SCORE 1527.454
AT ITER 389 NEW BEST:: SOT 16972 SOS 13450 HAS SOPS 7923 HAS SOUS 1605 HAS SOUPS 1510 WITH SCORE 1523.45
AT ITER 398 NEW BEST:: SOT 16966 SOS 13432 HAS SOPS 7429 HAS SOUS 1583 HAS SOUPS 1488 WITH SCORE 1501.432
AT ITER 399 NEW BEST:: SOT 16967 SOS 13431 HAS SOPS 7397 HAS SOUS 1569 HAS SOUPS 1474 WITH SCORE 1487.431
AT ITER 401 NEW BEST:: SOT 16967 SOS 13431 HAS SOPS 7397 HAS SOUS 1568 HAS SOUPS 1473 WITH SCORE 1486.431
AT ITER 407 NEW BEST:: SOT 16969 SOS 13377 HAS SOPS 7355 HAS SOUS 1539 HAS SOUPS 1444 WITH SCORE 1457.377
AT ITER 413 NEW BEST:: SOT 16967 SOS 13373 HAS SOPS 7349 HAS SOUS 1537 HAS SOUPS 1442 WITH SCORE 1455.373
AT ITER 414 NEW BEST:: SOT 16953 SOS 13359 HAS SOPS 7335 HAS SOUS 1537 HAS SOUPS 1442 WITH SCORE 1455.359
AT ITER 438 NEW BEST:: SOT 16952 SOS 13361 HAS SOPS 7337 HAS SOUS 1536 HAS SOUPS 1441 WITH SCORE 1454.361
AT ITER 439 NEW BEST:: SOT 16954 SOS 13357 HAS SOPS 7337 HAS SOUS 1534 HAS SOUPS 1439 WITH SCORE 1452.357
AT ITER 441 NEW BEST:: SOT 16951 SOS 13356 HAS SOPS 7335 HAS SOUS 1534 HAS SOUPS 1439 WITH SCORE 1452.356
AT ITER 446 NEW BEST:: SOT 16951 SOS 13352 HAS SOPS 7333 HAS SOUS 1532 HAS SOUPS 1437 WITH SCORE 1450.352
AT ITER 459 NEW BEST:: SOT 16979 SOS 13321 HAS SOPS 7337 HAS SOUS 1532 HAS SOUPS 1437 WITH SCORE 1450.321
AT ITER 472 NEW BEST:: SOT 16831 SOS 13176 HAS SOPS 7229 HAS SOUS 1527 HAS SOUPS 1433 WITH SCORE 1446.176
AT ITER 473 NEW BEST:: SOT 16801 SOS 13164 HAS SOPS 7199 HAS SOUS 1527 HAS SOUPS 1433 WITH SCORE 1446.164
AT ITER 490 NEW BEST:: SOT 16793 SOS 13146 HAS SOPS 7183 HAS SOUS 1519 HAS SOUPS 1425 WITH SCORE 1438.146
AT ITER 502 NEW BEST:: SOT 16789 SOS 13138 HAS SOPS 7175 HAS SOUS 1512 HAS SOUPS 1418 WITH SCORE 1431.138
AT ITER 530 NEW BEST:: SOT 16783 SOS 13118 HAS SOPS 7163 HAS SOUS 1506 HAS SOUPS 1412 WITH SCORE 1425.118
AT ITER 535 NEW BEST:: SOT 16765 SOS 13100 HAS SOPS 7563 HAS SOUS 1506 HAS SOUPS 1412 WITH SCORE 1425.1
AT ITER 536 NEW BEST:: SOT 16740 SOS 13066 HAS SOPS 7529 HAS SOUS 1484 HAS SOUPS 1390 WITH SCORE 1403.066
AT ITER 537 NEW BEST:: SOT 16689 SOS 13015 HAS SOPS 7486 HAS SOUS 1472 HAS SOUPS 1378 WITH SCORE 1391.015
AT ITER 538 NEW BEST:: SOT 16689 SOS 13007 HAS SOPS 7478 HAS SOUS 1466 HAS SOUPS 1372 WITH SCORE 1385.007
AT ITER 604 NEW BEST:: SOT 16689 SOS 13007 HAS SOPS 7478 HAS SOUS 1463 HAS SOUPS 1369 WITH SCORE 1382.007
AT ITER 631 NEW BEST:: SOT 16685 SOS 12999 HAS SOPS 7474 HAS SOUS 1459 HAS SOUPS 1365 WITH SCORE 1377.999
AT ITER 659 NEW BEST:: SOT 16724 SOS 12991 HAS SOPS 7466 HAS SOUS 1453 HAS SOUPS 1359 WITH SCORE 1371.991
AT ITER 663 NEW BEST:: SOT 16728 SOS 12990 HAS SOPS 7201 HAS SOUS 1446 HAS SOUPS 1352 WITH SCORE 1364.99
AT ITER 670 NEW BEST:: SOT 16728 SOS 12986 HAS SOPS 7197 HAS SOUS 1442 HAS SOUPS 1348 WITH SCORE 1360.986
AT ITER 674 NEW BEST:: SOT 16717 SOS 12980 HAS SOPS 7185 HAS SOUS 1441 HAS SOUPS 1347 WITH SCORE 1359.98
AT ITER 683 NEW BEST:: SOT 16712 SOS 12970 HAS SOPS 7175 HAS SOUS 1436 HAS SOUPS 1342 WITH SCORE 1354.97
AT ITER 686 NEW BEST:: SOT 16714 SOS 12957 HAS SOPS 7037 HAS SOUS 1404 HAS SOUPS 1310 WITH SCORE 1322.957
AT ITER 695 NEW BEST:: SOT 16712 SOS 12955 HAS SOPS 7033 HAS SOUS 1402 HAS SOUPS 1308 WITH SCORE 1320.955
AT ITER 696 NEW BEST:: SOT 16717 SOS 12944 HAS SOPS 7022 HAS SOUS 1391 HAS SOUPS 1297 WITH SCORE 1309.944
AT ITER 739 NEW BEST:: SOT 16722 SOS 12942 HAS SOPS 7023 HAS SOUS 1390 HAS SOUPS 1296 WITH SCORE 1308.942
AT ITER 750 NEW BEST:: SOT 16750 SOS 12940 HAS SOPS 7031 HAS SOUS 1390 HAS SOUPS 1296 WITH SCORE 1308.94
AT ITER 763 NEW BEST:: SOT 16748 SOS 12936 HAS SOPS 7024 HAS SOUS 1385 HAS SOUPS 1291 WITH SCORE 1303.936
AT ITER 774 NEW BEST:: SOT 16748 SOS 12932 HAS SOPS 7024 HAS SOUS 1385 HAS SOUPS 1291 WITH SCORE 1303.932
AT ITER 778 NEW BEST:: SOT 16690 SOS 12872 HAS SOPS 6964 HAS SOUS 1370 HAS SOUPS 1276 WITH SCORE 1288.872
AT ITER 784 NEW BEST:: SOT 16684 SOS 12860 HAS SOPS 6952 HAS SOUS 1364 HAS SOUPS 1270 WITH SCORE 1282.86
AT ITER 799 NEW BEST:: SOT 16682 SOS 12858 HAS SOPS 6950 HAS SOUS 1363 HAS SOUPS 1269 WITH SCORE 1281.858
AT ITER 800 NEW BEST:: SOT 16677 SOS 12851 HAS SOPS 6950 HAS SOUS 1363 HAS SOUPS 1269 WITH SCORE 1281.851
AT ITER 841 NEW BEST:: SOT 16676 SOS 12850 HAS SOPS 6949 HAS SOUS 1362 HAS SOUPS 1268 WITH SCORE 1280.85
AT ITER 844 NEW BEST:: SOT 16675 SOS 12849 HAS SOPS 6948 HAS SOUS 1361 HAS SOUPS 1267 WITH SCORE 1279.849
AT ITER 852 NEW BEST:: SOT 16672 SOS 12842 HAS SOPS 6941 HAS SOUS 1356 HAS SOUPS 1262 WITH SCORE 1274.842
AT ITER 881 NEW BEST:: SOT 16670 SOS 12846 HAS SOPS 6943 HAS SOUS 1355 HAS SOUPS 1261 WITH SCORE 1273.846
AT ITER 927 NEW BEST:: SOT 16662 SOS 12845 HAS SOPS 6942 HAS SOUS 1353 HAS SOUPS 1259 WITH SCORE 1271.845
AT ITER 976 NEW BEST:: SOT 16669 SOS 12843 HAS SOPS 6940 HAS SOUS 1348 HAS SOUPS 1254 WITH SCORE 1266.843
AT ITER 999 NEW BEST:: SOT 16661 SOS 12986 HAS SOPS 6930 HAS SOUS 1348 HAS SOUPS 1248 WITH SCORE 1260.986
AT ITER 1016 NEW BEST:: SOT 16678 SOS 13006 HAS SOPS 6950 HAS SOUS 1344 HAS SOUPS 1244 WITH SCORE 1257.006
AT ITER 1071 NEW BEST:: SOT 16681 SOS 13006 HAS SOPS 6950 HAS SOUS 1341 HAS SOUPS 1241 WITH SCORE 1254.006
AT ITER 1073 NEW BEST:: SOT 16676 SOS 13004 HAS SOPS 6948 HAS SOUS 1340 HAS SOUPS 1240 WITH SCORE 1253.004
AT ITER 1125 NEW BEST:: SOT 16678 SOS 12998 HAS SOPS 6942 HAS SOUS 1339 HAS SOUPS 1239 WITH SCORE 1251.998
AT ITER 1131 NEW BEST:: SOT 16676 SOS 13022 HAS SOPS 6939 HAS SOUS 1338 HAS SOUPS 1237 WITH SCORE 1250.022
AT ITER 1134 NEW BEST:: SOT 16655 SOS 13012 HAS SOPS 6919 HAS SOUS 1321 HAS SOUPS 1220 WITH SCORE 1233.012
AT ITER 1158 NEW BEST:: SOT 16654 SOS 13010 HAS SOPS 6917 HAS SOUS 1320 HAS SOUPS 1219 WITH SCORE 1232.01
AT ITER 1175 NEW BEST:: SOT 16654 SOS 12675 HAS SOPS 6795 HAS SOUS 1319 HAS SOUPS 1219 WITH SCORE 1231.675
AT ITER 1264 NEW BEST:: SOT 16653 SOS 12673 HAS SOPS 6793 HAS SOUS 1317 HAS SOUPS 1217 WITH SCORE 1229.673
AT ITER 1291 NEW BEST:: SOT 16651 SOS 12669 HAS SOPS 6789 HAS SOUS 1313 HAS SOUPS 1213 WITH SCORE 1225.669
AT ITER 1320 NEW BEST:: SOT 16673 SOS 9324 HAS SOPS 5985 HAS SOUS 1301 HAS SOUPS 1213 WITH SCORE 1222.324
AT ITER 1321 NEW BEST:: SOT 16667 SOS 9318 HAS SOPS 5979 HAS SOUS 1299 HAS SOUPS 1211 WITH SCORE 1220.318
AT ITER 1371 NEW BEST:: SOT 16667 SOS 9313 HAS SOPS 5974 HAS SOUS 1290 HAS SOUPS 1202 WITH SCORE 1211.313
AT ITER 1425 NEW BEST:: SOT 16668 SOS 9311 HAS SOPS 5972 HAS SOUS 1288 HAS SOUPS 1200 WITH SCORE 1209.311
AT ITER 1438 NEW BEST:: SOT 16677 SOS 9313 HAS SOPS 5974 HAS SOUS 1287 HAS SOUPS 1199 WITH SCORE 1208.313
AT ITER 1470 NEW BEST:: SOT 16667 SOS 11771 HAS SOPS 6530 HAS SOUS 1290 HAS SOUPS 1193 WITH SCORE 1204.771
AT ITER 1569 NEW BEST:: SOT 16659 SOS 11760 HAS SOPS 6514 HAS SOUS 1280 HAS SOUPS 1183 WITH SCORE 1194.76
AT ITER 1658 NEW BEST:: SOT 16657 SOS 11758 HAS SOPS 6510 HAS SOUS 1278 HAS SOUPS 1181 WITH SCORE 1192.758
AT ITER 1660 NEW BEST:: SOT 16654 SOS 11760 HAS SOPS 6510 HAS SOUS 1276 HAS SOUPS 1179 WITH SCORE 1190.76
AT ITER 1694 NEW BEST:: SOT 16654 SOS 11756 HAS SOPS 6508 HAS SOUS 1276 HAS SOUPS 1179 WITH SCORE 1190.756
AT ITER 1736 NEW BEST:: SOT 16650 SOS 11752 HAS SOPS 6500 HAS SOUS 1272 HAS SOUPS 1175 WITH SCORE 1186.752
AT ITER 1771 NEW BEST:: SOT 16648 SOS 11749 HAS SOPS 6497 HAS SOUS 1272 HAS SOUPS 1175 WITH SCORE 1186.749
AT ITER 1789 NEW BEST:: SOT 16648 SOS 11749 HAS SOPS 6495 HAS SOUS 1270 HAS SOUPS 1173 WITH SCORE 1184.749
AT ITER 1814 NEW BEST:: SOT 16645 SOS 11747 HAS SOPS 6491 HAS SOUS 1269 HAS SOUPS 1172 WITH SCORE 1183.747
AT ITER 1821 NEW BEST:: SOT 16644 SOS 11747 HAS SOPS 6490 HAS SOUS 1269 HAS SOUPS 1171 WITH SCORE 1182.747
AT ITER 1863 NEW BEST:: SOT 16553 SOS 11617 HAS SOPS 6390 HAS SOUS 1264 HAS SOUPS 1166 WITH SCORE 1177.617
AT ITER 1870 NEW BEST:: SOT 16553 SOS 11615 HAS SOPS 6388 HAS SOUS 1263 HAS SOUPS 1165 WITH SCORE 1176.615
AT ITER 1922 NEW BEST:: SOT 16545 SOS 11607 HAS SOPS 6504 HAS SOUS 1263 HAS SOUPS 1165 WITH SCORE 1176.607
AT ITER 1986 NEW BEST:: SOT 16546 SOS 11602 HAS SOPS 6499 HAS SOUS 1263 HAS SOUPS 1165 WITH SCORE 1176.602
AT ITER 2038 NEW BEST:: SOT 16537 SOS 11600 HAS SOPS 6493 HAS SOUS 1263 HAS SOUPS 1165 WITH SCORE 1176.6
AT ITER 2053 NEW BEST:: SOT 16537 SOS 11567 HAS SOPS 6433 HAS SOUS 1263 HAS SOUPS 1164 WITH SCORE 1175.567
AT ITER 2072 NEW BEST:: SOT 16556 SOS 11561 HAS SOPS 6427 HAS SOUS 1251 HAS SOUPS 1152 WITH SCORE 1163.561
AT ITER 2132 NEW BEST:: SOT 16550 SOS 11561 HAS SOPS 6423 HAS SOUS 1249 HAS SOUPS 1150 WITH SCORE 1161.561
AT ITER 2223 NEW BEST:: SOT 16549 SOS 11560 HAS SOPS 6421 HAS SOUS 1247 HAS SOUPS 1148 WITH SCORE 1159.56
AT ITER 2229 NEW BEST:: SOT 16553 SOS 11564 HAS SOPS 6414 HAS SOUS 1242 HAS SOUPS 1143 WITH SCORE 1154.564
AT ITER 2231 NEW BEST:: SOT 16544 SOS 11558 HAS SOPS 6402 HAS SOUS 1239 HAS SOUPS 1140 WITH SCORE 1151.558
AT ITER 2332 NEW BEST:: SOT 16544 SOS 11552 HAS SOPS 6396 HAS SOUS 1239 HAS SOUPS 1140 WITH SCORE 1151.552
AT ITER 2402 NEW BEST:: SOT 16543 SOS 11550 HAS SOPS 6394 HAS SOUS 1239 HAS SOUPS 1140 WITH SCORE 1151.55
AT ITER 2513 NEW BEST:: SOT 16541 SOS 11547 HAS SOPS 6391 HAS SOUS 1239 HAS SOUPS 1140 WITH SCORE 1151.547
AT ITER 2569 NEW BEST:: SOT 16524 SOS 11521 HAS SOPS 6357 HAS SOUS 1239 HAS SOUPS 1140 WITH SCORE 1151.521
AT ITER 2580 NEW BEST:: SOT 16522 SOS 11519 HAS SOPS 6355 HAS SOUS 1238 HAS SOUPS 1139 WITH SCORE 1150.519
AT ITER 2631 NEW BEST:: SOT 16522 SOS 11517 HAS SOPS 6353 HAS SOUS 1238 HAS SOUPS 1139 WITH SCORE 1150.517
AT ITER 2710 NEW BEST:: SOT 16525 SOS 11544 HAS SOPS 6353 HAS SOUS 1238 HAS SOUPS 1138 WITH SCORE 1149.544
AT ITER 2714 NEW BEST:: SOT 16523 SOS 11540 HAS SOPS 6349 HAS SOUS 1232 HAS SOUPS 1132 WITH SCORE 1143.54
AT ITER 2812 NEW BEST:: SOT 16523 SOS 11539 HAS SOPS 6348 HAS SOUS 1232 HAS SOUPS 1132 WITH SCORE 1143.539
AT ITER 2816 NEW BEST:: SOT 16522 SOS 11815 HAS SOPS 6411 HAS SOUS 1232 HAS SOUPS 1131 WITH SCORE 1142.815
AT ITER 2930 NEW BEST:: SOT 16530 SOS 11815 HAS SOPS 6253 HAS SOUS 1231 HAS SOUPS 1130 WITH SCORE 1141.815
AT ITER 3008 NEW BEST:: SOT 16530 SOS 11819 HAS SOPS 6111 HAS SOUS 1229 HAS SOUPS 1128 WITH SCORE 1139.819
AT ITER 3033 NEW BEST:: SOT 16532 SOS 11897 HAS SOPS 6103 HAS SOUS 1228 HAS SOUPS 1124 WITH SCORE 1135.897
AT ITER 3034 NEW BEST:: SOT 16532 SOS 11897 HAS SOPS 6103 HAS SOUS 1227 HAS SOUPS 1123 WITH SCORE 1134.897
AT ITER 3112 NEW BEST:: SOT 16530 SOS 11899 HAS SOPS 6103 HAS SOUS 1221 HAS SOUPS 1117 WITH SCORE 1128.899
AT ITER 3146 NEW BEST:: SOT 16527 SOS 11899 HAS SOPS 6103 HAS SOUS 1220 HAS SOUPS 1116 WITH SCORE 1127.899
AT ITER 3166 NEW BEST:: SOT 16545 SOS 11901 HAS SOPS 6107 HAS SOUS 1216 HAS SOUPS 1112 WITH SCORE 1123.901
AT ITER 3192 NEW BEST:: SOT 16544 SOS 11900 HAS SOPS 6106 HAS SOUS 1215 HAS SOUPS 1111 WITH SCORE 1122.9
AT ITER 3238 NEW BEST:: SOT 16541 SOS 11899 HAS SOPS 6104 HAS SOUS 1214 HAS SOUPS 1110 WITH SCORE 1121.899
AT ITER 3297 NEW BEST:: SOT 16546 SOS 11889 HAS SOPS 6314 HAS SOUS 1214 HAS SOUPS 1110 WITH SCORE 1121.889
AT ITER 3298 NEW BEST:: SOT 16549 SOS 11895 HAS SOPS 6320 HAS SOUS 1213 HAS SOUPS 1109 WITH SCORE 1120.895
AT ITER 3518 NEW BEST:: SOT 16551 SOS 11889 HAS SOPS 6314 HAS SOUS 1211 HAS SOUPS 1107 WITH SCORE 1118.889
AT ITER 3643 NEW BEST:: SOT 16550 SOS 11859 HAS SOPS 6314 HAS SOUS 1210 HAS SOUPS 1107 WITH SCORE 1118.859
AT ITER 3743 NEW BEST:: SOT 16551 SOS 11858 HAS SOPS 6314 HAS SOUS 1209 HAS SOUPS 1107 WITH SCORE 1118.858
AT ITER 3836 NEW BEST:: SOT 16551 SOS 11854 HAS SOPS 6312 HAS SOUS 1209 HAS SOUPS 1107 WITH SCORE 1118.854
AT ITER 3852 NEW BEST:: SOT 16549 SOS 11855 HAS SOPS 6311 HAS SOUS 1208 HAS SOUPS 1106 WITH SCORE 1117.855
AT ITER 3869 NEW BEST:: SOT 16538 SOS 11845 HAS SOPS 6301 HAS SOUS 1205 HAS SOUPS 1103 WITH SCORE 1114.845
AT ITER 4020 NEW BEST:: SOT 16537 SOS 11837 HAS SOPS 6289 HAS SOUS 1204 HAS SOUPS 1102 WITH SCORE 1113.837
AT ITER 4103 NEW BEST:: SOT 16527 SOS 11839 HAS SOPS 6285 HAS SOUS 1202 HAS SOUPS 1100 WITH SCORE 1111.839
AT ITER 4134 NEW BEST:: SOT 16528 SOS 11837 HAS SOPS 6327 HAS SOUS 1202 HAS SOUPS 1100 WITH SCORE 1111.837
AT ITER 4262 NEW BEST:: SOT 16528 SOS 11837 HAS SOPS 6327 HAS SOUS 1201 HAS SOUPS 1099 WITH SCORE 1110.837
AT ITER 4266 NEW BEST:: SOT 16525 SOS 11834 HAS SOPS 6324 HAS SOUS 1199 HAS SOUPS 1097 WITH SCORE 1108.834
AT ITER 4365 NEW BEST:: SOT 16524 SOS 11832 HAS SOPS 6322 HAS SOUS 1197 HAS SOUPS 1095 WITH SCORE 1106.832
AT ITER 4583 NEW BEST:: SOT 16514 SOS 11812 HAS SOPS 6302 HAS SOUS 1180 HAS SOUPS 1078 WITH SCORE 1089.812
AT ITER 4638 NEW BEST:: SOT 16535 SOS 11847 HAS SOPS 6315 HAS SOUS 1174 HAS SOUPS 1072 WITH SCORE 1083.847
AT ITER 4716 NEW BEST:: SOT 16534 SOS 11845 HAS SOPS 6313 HAS SOUS 1171 HAS SOUPS 1069 WITH SCORE 1080.845
AT ITER 4731 NEW BEST:: SOT 16530 SOS 11845 HAS SOPS 6313 HAS SOUS 1170 HAS SOUPS 1068 WITH SCORE 1079.845
AT ITER 4832 NEW BEST:: SOT 16528 SOS 11841 HAS SOPS 6309 HAS SOUS 1168 HAS SOUPS 1066 WITH SCORE 1077.841
AT ITER 4905 NEW BEST:: SOT 16536 SOS 11837 HAS SOPS 6309 HAS SOUS 1168 HAS SOUPS 1066 WITH SCORE 1077.837
AT ITER 5053 NEW BEST:: SOT 16533 SOS 11834 HAS SOPS 6351 HAS SOUS 1168 HAS SOUPS 1066 WITH SCORE 1077.834
AT ITER 5114 NEW BEST:: SOT 16532 SOS 11836 HAS SOPS 6353 HAS SOUS 1167 HAS SOUPS 1065 WITH SCORE 1076.836
AT ITER 5342 NEW BEST:: SOT 16527 SOS 11795 HAS SOPS 6331 HAS SOUS 1162 HAS SOUPS 1060 WITH SCORE 1071.795
AT ITER 5356 NEW BEST:: SOT 16527 SOS 11794 HAS SOPS 6375 HAS SOUS 1162 HAS SOUPS 1060 WITH SCORE 1071.794
AT ITER 5457 NEW BEST:: SOT 16527 SOS 11793 HAS SOPS 6374 HAS SOUS 1162 HAS SOUPS 1060 WITH SCORE 1071.793
AT ITER 5518 NEW BEST:: SOT 16519 SOS 11793 HAS SOPS 6370 HAS SOUS 1159 HAS SOUPS 1057 WITH SCORE 1068.793
AT ITER 5559 NEW BEST:: SOT 16518 SOS 11791 HAS SOPS 6369 HAS SOUS 1158 HAS SOUPS 1056 WITH SCORE 1067.791
AT ITER 5600 NEW BEST:: SOT 16519 SOS 11792 HAS SOPS 6363 HAS SOUS 1156 HAS SOUPS 1054 WITH SCORE 1065.792
AT ITER 5607 NEW BEST:: SOT 16519 SOS 11792 HAS SOPS 6363 HAS SOUS 1155 HAS SOUPS 1053 WITH SCORE 1064.792
AT ITER 5746 NEW BEST:: SOT 16518 SOS 11790 HAS SOPS 6361 HAS SOUS 1153 HAS SOUPS 1051 WITH SCORE 1062.79
AT ITER 5991 NEW BEST:: SOT 16516 SOS 11790 HAS SOPS 6361 HAS SOUS 1151 HAS SOUPS 1049 WITH SCORE 1060.79
AT ITER 6028 NEW BEST:: SOT 16516 SOS 11786 HAS SOPS 6361 HAS SOUS 1151 HAS SOUPS 1049 WITH SCORE 1060.786
AT ITER 6101 NEW BEST:: SOT 16510 SOS 11778 HAS SOPS 6353 HAS SOUS 1150 HAS SOUPS 1048 WITH SCORE 1059.778
AT ITER 6196 NEW BEST:: SOT 16506 SOS 11774 HAS SOPS 6349 HAS SOUS 1150 HAS SOUPS 1048 WITH SCORE 1059.774
AT ITER 6225 NEW BEST:: SOT 16506 SOS 11773 HAS SOPS 6348 HAS SOUS 1150 HAS SOUPS 1048 WITH SCORE 1059.773
AT ITER 6371 NEW BEST:: SOT 16506 SOS 11771 HAS SOPS 6346 HAS SOUS 1149 HAS SOUPS 1047 WITH SCORE 1058.771
AT ITER 6426 NEW BEST:: SOT 16503 SOS 11770 HAS SOPS 6344 HAS SOUS 1148 HAS SOUPS 1046 WITH SCORE 1057.77
AT ITER 6866 NEW BEST:: SOT 16496 SOS 11768 HAS SOPS 6342 HAS SOUS 1148 HAS SOUPS 1046 WITH SCORE 1057.768
AT ITER 6902 NEW BEST:: SOT 16496 SOS 11763 HAS SOPS 6322 HAS SOUS 1140 HAS SOUPS 1038 WITH SCORE 1049.763
AT ITER 6938 NEW BEST:: SOT 16503 SOS 11770 HAS SOPS 6116 HAS SOUS 1138 HAS SOUPS 1036 WITH SCORE 1047.77
AT ITER 7260 NEW BEST:: SOT 16500 SOS 11767 HAS SOPS 6113 HAS SOUS 1137 HAS SOUPS 1035 WITH SCORE 1046.767
AT ITER 7323 NEW BEST:: SOT 16504 SOS 11765 HAS SOPS 6113 HAS SOUS 1137 HAS SOUPS 1035 WITH SCORE 1046.765
AT ITER 7559 NEW BEST:: SOT 16503 SOS 11763 HAS SOPS 6111 HAS SOUS 1135 HAS SOUPS 1033 WITH SCORE 1044.763
AT ITER 7628 NEW BEST:: SOT 16505 SOS 11761 HAS SOPS 6111 HAS SOUS 1135 HAS SOUPS 1033 WITH SCORE 1044.761
AT ITER 7674 NEW BEST:: SOT 16505 SOS 11751 HAS SOPS 6106 HAS SOUS 1131 HAS SOUPS 1033 WITH SCORE 1044.751
AT ITER 7880 NEW BEST:: SOT 16504 SOS 11749 HAS SOPS 6104 HAS SOUS 1129 HAS SOUPS 1031 WITH SCORE 1042.749
AT ITER 7891 NEW BEST:: SOT 16506 SOS 11747 HAS SOPS 6012 HAS SOUS 1127 HAS SOUPS 1029 WITH SCORE 1040.747
AT ITER 7918 NEW BEST:: SOT 16506 SOS 11746 HAS SOPS 6011 HAS SOUS 1126 HAS SOUPS 1028 WITH SCORE 1039.746
AT ITER 8095 NEW BEST:: SOT 16507 SOS 11744 HAS SOPS 6053 HAS SOUS 1126 HAS SOUPS 1028 WITH SCORE 1039.744
AT ITER 8406 NEW BEST:: SOT 16507 SOS 11743 HAS SOPS 6052 HAS SOUS 1126 HAS SOUPS 1028 WITH SCORE 1039.743
AT ITER 8546 NEW BEST:: SOT 16493 SOS 11739 HAS SOPS 6048 HAS SOUS 1126 HAS SOUPS 1028 WITH SCORE 1039.739
AT ITER 8808 NEW BEST:: SOT 16491 SOS 11735 HAS SOPS 6044 HAS SOUS 1123 HAS SOUPS 1025 WITH SCORE 1036.735
AT ITER 9147 NEW BEST:: SOT 16488 SOS 11729 HAS SOPS 6038 HAS SOUS 1120 HAS SOUPS 1022 WITH SCORE 1033.729
AT ITER 9204 NEW BEST:: SOT 16487 SOS 11728 HAS SOPS 6037 HAS SOUS 1119 HAS SOUPS 1021 WITH SCORE 1032.728
AT ITER 9331 NEW BEST:: SOT 16486 SOS 11727 HAS SOPS 6034 HAS SOUS 1118 HAS SOUPS 1020 WITH SCORE 1031.727
AT ITER 9352 NEW BEST:: SOT 16485 SOS 11726 HAS SOPS 6034 HAS SOUS 1118 HAS SOUPS 1020 WITH SCORE 1031.726
AT ITER 9924 NEW BEST:: SOT 16484 SOS 11724 HAS SOPS 6032 HAS SOUS 1116 HAS SOUPS 1018 WITH SCORE 1029.724
STATE_SPACE STATES 4411 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 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 38255 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679436262613

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="StigmergyElection-PT-05a"
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 StigmergyElection-PT-05a, 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 r459-smll-167912651500608"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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