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.r259-smll-167863534200208.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 NeoElection-PT-6, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534200208
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 24M
-rw-r--r-- 1 mcc users 641K Feb 26 16:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 2.1M Feb 26 16:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 504K Feb 26 16:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.8M Feb 26 16:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 259K Feb 25 16:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 650K Feb 25 16:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 392K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.0M Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.7M Feb 26 17:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 5.4M Feb 26 17:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 497K Feb 26 17:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.7M Feb 26 17:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 7.5M 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 1678706183351

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=NeoElection-PT-6
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeoElection (PT), instance 6
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: 4830 places, 8435 transitions, 49028 arcs.
AT ITER 0 NEW BEST:: SOT 11175390 SOS 6014619 HAS SOPS 5993923 HAS SOUS 1368610 HAS SOUPS 1366023 WITH SCORE 1372037.619
AT ITER 101 NEW BEST:: SOT 11175390 SOS 6009219 HAS SOPS 5988656 HAS SOUS 1367657 HAS SOUPS 1365070 WITH SCORE 1371079.219
AT ITER 105 NEW BEST:: SOT 11174790 SOS 6010264 HAS SOPS 5989701 HAS SOUS 1367156 HAS SOUPS 1364569 WITH SCORE 1370579.264
AT ITER 107 NEW BEST:: SOT 11173107 SOS 6014015 HAS SOPS 5993452 HAS SOUS 1366078 HAS SOUPS 1363491 WITH SCORE 1369505.015
AT ITER 123 NEW BEST:: SOT 11172157 SOS 6013528 HAS SOPS 5992965 HAS SOUS 1365954 HAS SOUPS 1363367 WITH SCORE 1369380.528
AT ITER 207 NEW BEST:: SOT 11172157 SOS 6002716 HAS SOPS 5982153 HAS SOUS 1363258 HAS SOUPS 1360671 WITH SCORE 1366673.716
AT ITER 239 NEW BEST:: SOT 11172508 SOS 6003052 HAS SOPS 5982489 HAS SOUS 1363237 HAS SOUPS 1360650 WITH SCORE 1366653.052
AT ITER 250 NEW BEST:: SOT 11172437 SOS 6003050 HAS SOPS 5982487 HAS SOUS 1363208 HAS SOUPS 1360621 WITH SCORE 1366624.05
AT ITER 338 NEW BEST:: SOT 11172437 SOS 5990076 HAS SOPS 5969513 HAS SOUS 1362709 HAS SOUPS 1360122 WITH SCORE 1366112.076
AT ITER 438 NEW BEST:: SOT 11172437 SOS 5986206 HAS SOPS 5965643 HAS SOUS 1362145 HAS SOUPS 1359558 WITH SCORE 1365544.206
AT ITER 566 NEW BEST:: SOT 11172437 SOS 5977198 HAS SOPS 5956635 HAS SOUS 1358239 HAS SOUPS 1355652 WITH SCORE 1361629.198
AT ITER 625 NEW BEST:: SOT 11171401 SOS 5978931 HAS SOPS 5958368 HAS SOUS 1357414 HAS SOUPS 1354827 WITH SCORE 1360805.931
AT ITER 661 NEW BEST:: SOT 11171401 SOS 5976901 HAS SOPS 5956338 HAS SOUS 1357008 HAS SOUPS 1354421 WITH SCORE 1360397.901
AT ITER 719 NEW BEST:: SOT 11171401 SOS 5965580 HAS SOPS 5945017 HAS SOUS 1355355 HAS SOUPS 1352768 WITH SCORE 1358733.58
AT ITER 737 NEW BEST:: SOT 11171401 SOS 5961650 HAS SOPS 5941087 HAS SOUS 1354782 HAS SOUPS 1352195 WITH SCORE 1358156.65
AT ITER 746 NEW BEST:: SOT 11170936 SOS 5960162 HAS SOPS 5939599 HAS SOUS 1354317 HAS SOUPS 1351730 WITH SCORE 1357690.162
AT ITER 854 NEW BEST:: SOT 11170936 SOS 5946759 HAS SOPS 5926196 HAS SOUS 1351952 HAS SOUPS 1349365 WITH SCORE 1355311.759
AT ITER 872 NEW BEST:: SOT 11170936 SOS 5943749 HAS SOPS 5923186 HAS SOUS 1351350 HAS SOUPS 1348763 WITH SCORE 1354706.749
AT ITER 979 NEW BEST:: SOT 11170936 SOS 5940579 HAS SOPS 5920016 HAS SOUS 1350859 HAS SOUPS 1348272 WITH SCORE 1354212.579
AT ITER 1043 NEW BEST:: SOT 11170936 SOS 5938939 HAS SOPS 5918376 HAS SOUS 1350531 HAS SOUPS 1347944 WITH SCORE 1353882.939
AT ITER 1089 NEW BEST:: SOT 11170936 SOS 5933273 HAS SOPS 5912710 HAS SOUS 1347775 HAS SOUPS 1345188 WITH SCORE 1351121.273
AT ITER 1115 NEW BEST:: SOT 11170936 SOS 5929533 HAS SOPS 5908970 HAS SOUS 1347105 HAS SOUPS 1344518 WITH SCORE 1350447.533
AT ITER 1151 NEW BEST:: SOT 11170936 SOS 5927383 HAS SOPS 5906820 HAS SOUS 1346705 HAS SOUPS 1344118 WITH SCORE 1350045.383
AT ITER 1155 NEW BEST:: SOT 11170527 SOS 5955041 HAS SOPS 5934478 HAS SOUS 1345887 HAS SOUPS 1343300 WITH SCORE 1349255.041
AT ITER 1188 NEW BEST:: SOT 11170527 SOS 5952391 HAS SOPS 5931828 HAS SOUS 1345401 HAS SOUPS 1342814 WITH SCORE 1348766.391
AT ITER 1243 NEW BEST:: SOT 11170527 SOS 5952193 HAS SOPS 5931630 HAS SOUS 1344827 HAS SOUPS 1342240 WITH SCORE 1348192.193
AT ITER 1314 NEW BEST:: SOT 11169752 SOS 5953433 HAS SOPS 5932870 HAS SOUS 1344207 HAS SOUPS 1341620 WITH SCORE 1347573.433
AT ITER 1325 NEW BEST:: SOT 11167853 SOS 5956656 HAS SOPS 5936093 HAS SOUS 1342762 HAS SOUPS 1340175 WITH SCORE 1346131.656
AT ITER 1356 NEW BEST:: SOT 11167853 SOS 5953526 HAS SOPS 5932963 HAS SOUS 1342292 HAS SOUPS 1339705 WITH SCORE 1345658.526
AT ITER 1371 NEW BEST:: SOT 11167853 SOS 5950826 HAS SOPS 5930263 HAS SOUS 1341751 HAS SOUPS 1339164 WITH SCORE 1345114.826
AT ITER 1420 NEW BEST:: SOT 11167846 SOS 5950819 HAS SOPS 5930256 HAS SOUS 1341737 HAS SOUPS 1339150 WITH SCORE 1345100.819
AT ITER 1601 NEW BEST:: SOT 11167846 SOS 5947129 HAS SOPS 5926566 HAS SOUS 1341039 HAS SOUPS 1338452 WITH SCORE 1344399.129
AT ITER 1613 NEW BEST:: SOT 11167846 SOS 5941729 HAS SOPS 5921166 HAS SOUS 1340404 HAS SOUPS 1337817 WITH SCORE 1343758.729
AT ITER 1627 NEW BEST:: SOT 11167846 SOS 5937724 HAS SOPS 5917161 HAS SOUS 1339915 HAS SOUPS 1337328 WITH SCORE 1343265.724
AT ITER 1653 NEW BEST:: SOT 11167846 SOS 5935780 HAS SOPS 5916435 HAS SOUS 1339698 HAS SOUPS 1337111 WITH SCORE 1343046.78
AT ITER 1706 NEW BEST:: SOT 11167846 SOS 5931010 HAS SOPS 5911665 HAS SOUS 1339251 HAS SOUPS 1336664 WITH SCORE 1342595.01
AT ITER 1768 NEW BEST:: SOT 11166720 SOS 5934720 HAS SOPS 5915375 HAS SOUS 1339199 HAS SOUPS 1336612 WITH SCORE 1342546.72
AT ITER 1809 NEW BEST:: SOT 11166720 SOS 5929300 HAS SOPS 5909955 HAS SOUS 1338512 HAS SOUPS 1335925 WITH SCORE 1341854.3
AT ITER 1810 NEW BEST:: SOT 11166720 SOS 5920950 HAS SOPS 5901605 HAS SOUS 1335183 HAS SOUPS 1332596 WITH SCORE 1338516.95
AT ITER 1863 NEW BEST:: SOT 11166720 SOS 5912961 HAS SOPS 5893616 HAS SOUS 1331944 HAS SOUPS 1329357 WITH SCORE 1335269.961
AT ITER 1944 NEW BEST:: SOT 11166720 SOS 5911151 HAS SOPS 5891806 HAS SOUS 1331581 HAS SOUPS 1328994 WITH SCORE 1334905.151
AT ITER 1982 NEW BEST:: SOT 11166720 SOS 5910551 HAS SOPS 5891206 HAS SOUS 1331020 HAS SOUPS 1328433 WITH SCORE 1334343.551
AT ITER 1991 NEW BEST:: SOT 11166720 SOS 5910551 HAS SOPS 5891206 HAS SOUS 1330737 HAS SOUPS 1328150 WITH SCORE 1334060.551
AT ITER 2000 NEW BEST:: SOT 11166720 SOS 5909821 HAS SOPS 5890476 HAS SOUS 1330164 HAS SOUPS 1327577 WITH SCORE 1333486.821
AT ITER 2017 NEW BEST:: SOT 11166720 SOS 5909545 HAS SOPS 5890200 HAS SOUS 1330153 HAS SOUPS 1327566 WITH SCORE 1333475.545
AT ITER 2104 NEW BEST:: SOT 11166720 SOS 5906655 HAS SOPS 5887310 HAS SOUS 1329739 HAS SOUPS 1327152 WITH SCORE 1333058.655
AT ITER 2155 NEW BEST:: SOT 11166720 SOS 5902059 HAS SOPS 5882714 HAS SOUS 1329739 HAS SOUPS 1327152 WITH SCORE 1333054.059
AT ITER 2265 NEW BEST:: SOT 11166720 SOS 5896319 HAS SOPS 5876974 HAS SOUS 1329086 HAS SOUPS 1326499 WITH SCORE 1332395.319
AT ITER 2270 NEW BEST:: SOT 11166075 SOS 5896809 HAS SOPS 5877464 HAS SOUS 1327501 HAS SOUPS 1324914 WITH SCORE 1330810.809
AT ITER 2306 NEW BEST:: SOT 11166075 SOS 5896809 HAS SOPS 5877464 HAS SOUS 1327428 HAS SOUPS 1324841 WITH SCORE 1330737.809
AT ITER 2365 NEW BEST:: SOT 11166075 SOS 5890581 HAS SOPS 5871236 HAS SOUS 1327168 HAS SOUPS 1324581 WITH SCORE 1330471.581
AT ITER 2390 NEW BEST:: SOT 11166075 SOS 5884531 HAS SOPS 5865186 HAS SOUS 1326930 HAS SOUPS 1324343 WITH SCORE 1330227.531
AT ITER 2401 NEW BEST:: SOT 11166075 SOS 5881085 HAS SOPS 5861740 HAS SOUS 1326112 HAS SOUPS 1323525 WITH SCORE 1329406.085
AT ITER 2475 NEW BEST:: SOT 11166075 SOS 5877385 HAS SOPS 5858040 HAS SOUS 1325372 HAS SOUPS 1322785 WITH SCORE 1328662.385
AT ITER 2495 NEW BEST:: SOT 11166075 SOS 5871665 HAS SOPS 5852320 HAS SOUS 1324228 HAS SOUPS 1321641 WITH SCORE 1327512.665
AT ITER 2562 NEW BEST:: SOT 11166075 SOS 5867355 HAS SOPS 5848010 HAS SOUS 1323607 HAS SOUPS 1321020 WITH SCORE 1326887.355
AT ITER 2582 NEW BEST:: SOT 11166075 SOS 5867355 HAS SOPS 5848010 HAS SOUS 1323548 HAS SOUPS 1320961 WITH SCORE 1326828.355
AT ITER 2630 NEW BEST:: SOT 11166075 SOS 5862865 HAS SOPS 5843520 HAS SOUS 1322866 HAS SOUPS 1320279 WITH SCORE 1326141.865
AT ITER 2646 NEW BEST:: SOT 11166075 SOS 5860305 HAS SOPS 5840960 HAS SOUS 1322610 HAS SOUPS 1320023 WITH SCORE 1325883.305
AT ITER 2796 NEW BEST:: SOT 11166075 SOS 5857485 HAS SOPS 5838140 HAS SOUS 1322046 HAS SOUPS 1319459 WITH SCORE 1325316.485
AT ITER 2837 NEW BEST:: SOT 11166075 SOS 5854215 HAS SOPS 5834870 HAS SOUS 1321461 HAS SOUPS 1318874 WITH SCORE 1324728.215
AT ITER 2952 NEW BEST:: SOT 11166075 SOS 5850184 HAS SOPS 5830839 HAS SOUS 1318758 HAS SOUPS 1316171 WITH SCORE 1322021.184
AT ITER 3008 NEW BEST:: SOT 11157759 SOS 5929741 HAS SOPS 5910396 HAS SOUS 1313738 HAS SOUPS 1311151 WITH SCORE 1317080.741
AT ITER 3014 NEW BEST:: SOT 11157759 SOS 5927782 HAS SOPS 5908437 HAS SOUS 1313738 HAS SOUPS 1311151 WITH SCORE 1317078.782
AT ITER 3043 NEW BEST:: SOT 11155908 SOS 5930949 HAS SOPS 5911604 HAS SOUS 1311966 HAS SOUPS 1309379 WITH SCORE 1315309.949
AT ITER 3092 NEW BEST:: SOT 11155908 SOS 5930652 HAS SOPS 5911307 HAS SOUS 1311934 HAS SOUPS 1309347 WITH SCORE 1315277.652
AT ITER 3114 NEW BEST:: SOT 11155513 SOS 5931531 HAS SOPS 5912186 HAS SOUS 1311630 HAS SOUPS 1309043 WITH SCORE 1314974.531
AT ITER 3140 NEW BEST:: SOT 11155513 SOS 5931087 HAS SOPS 5912038 HAS SOUS 1311556 HAS SOUPS 1309006 WITH SCORE 1314937.087
AT ITER 3142 NEW BEST:: SOT 11155513 SOS 5880149 HAS SOPS 5861100 HAS SOUS 1311248 HAS SOUPS 1308698 WITH SCORE 1314578.149
AT ITER 3170 NEW BEST:: SOT 11155498 SOS 5880080 HAS SOPS 5861031 HAS SOUS 1311230 HAS SOUPS 1308680 WITH SCORE 1314560.08
AT ITER 3216 NEW BEST:: SOT 11155453 SOS 5879929 HAS SOPS 5860880 HAS SOUS 1311216 HAS SOUPS 1308666 WITH SCORE 1314545.929
AT ITER 3291 NEW BEST:: SOT 11155453 SOS 5873723 HAS SOPS 5854674 HAS SOUS 1310946 HAS SOUPS 1308396 WITH SCORE 1314269.723
AT ITER 3295 NEW BEST:: SOT 11154947 SOS 5934636 HAS SOPS 5915587 HAS SOUS 1310659 HAS SOUPS 1308109 WITH SCORE 1314043.636
AT ITER 3450 NEW BEST:: SOT 11154947 SOS 5935004 HAS SOPS 5915955 HAS SOUS 1310615 HAS SOUPS 1308065 WITH SCORE 1314000.004
AT ITER 3454 NEW BEST:: SOT 11154947 SOS 5935300 HAS SOPS 5918942 HAS SOUS 1307361 HAS SOUPS 1305164 WITH SCORE 1311099.3
AT ITER 3515 NEW BEST:: SOT 11154506 SOS 5937505 HAS SOPS 5921147 HAS SOUS 1307105 HAS SOUPS 1304908 WITH SCORE 1310845.505
AT ITER 3522 NEW BEST:: SOT 11154506 SOS 5930402 HAS SOPS 5914044 HAS SOUS 1303440 HAS SOUPS 1301243 WITH SCORE 1307173.402
AT ITER 3594 NEW BEST:: SOT 11154506 SOS 5925514 HAS SOPS 5909156 HAS SOUS 1303000 HAS SOUPS 1300803 WITH SCORE 1306728.514
AT ITER 3669 NEW BEST:: SOT 11154506 SOS 5919735 HAS SOPS 5903377 HAS SOUS 1302565 HAS SOUPS 1300368 WITH SCORE 1306287.735
AT ITER 3850 NEW BEST:: SOT 11154506 SOS 5909508 HAS SOPS 5893150 HAS SOUS 1299422 HAS SOUPS 1297225 WITH SCORE 1303134.508
AT ITER 3896 NEW BEST:: SOT 11154506 SOS 5910095 HAS SOPS 5893737 HAS SOUS 1298268 HAS SOUPS 1296071 WITH SCORE 1301981.095
AT ITER 3908 NEW BEST:: SOT 11154425 SOS 5910034 HAS SOPS 5893676 HAS SOUS 1298224 HAS SOUPS 1296027 WITH SCORE 1301937.034
AT ITER 3919 NEW BEST:: SOT 11154425 SOS 5909904 HAS SOPS 5893546 HAS SOUS 1297581 HAS SOUPS 1295384 WITH SCORE 1301293.904
AT ITER 3945 NEW BEST:: SOT 11154425 SOS 5909114 HAS SOPS 5892756 HAS SOUS 1297031 HAS SOUPS 1294834 WITH SCORE 1300743.114
AT ITER 3962 NEW BEST:: SOT 11154360 SOS 5909399 HAS SOPS 5893041 HAS SOUS 1296991 HAS SOUPS 1294794 WITH SCORE 1300703.399
AT ITER 4009 NEW BEST:: SOT 11153718 SOS 5913937 HAS SOPS 5897579 HAS SOUS 1296644 HAS SOUPS 1294447 WITH SCORE 1300360.937
AT ITER 4015 NEW BEST:: SOT 11153718 SOS 5909467 HAS SOPS 5893109 HAS SOUS 1296151 HAS SOUPS 1293954 WITH SCORE 1299863.467
AT ITER 4048 NEW BEST:: SOT 11153718 SOS 5909447 HAS SOPS 5893089 HAS SOUS 1296151 HAS SOUPS 1293954 WITH SCORE 1299863.447
AT ITER 4117 NEW BEST:: SOT 11153718 SOS 5908755 HAS SOPS 5895477 HAS SOUS 1295766 HAS SOUPS 1293954 WITH SCORE 1299862.755
AT ITER 4156 NEW BEST:: SOT 11152695 SOS 5909174 HAS SOPS 5895896 HAS SOUS 1294945 HAS SOUPS 1293133 WITH SCORE 1299042.174
AT ITER 4282 NEW BEST:: SOT 11152695 SOS 5899413 HAS SOPS 5886135 HAS SOUS 1293322 HAS SOUPS 1291510 WITH SCORE 1297409.413
AT ITER 4289 NEW BEST:: SOT 11152695 SOS 5897543 HAS SOPS 5884265 HAS SOUS 1292948 HAS SOUPS 1291136 WITH SCORE 1297033.543
AT ITER 4330 NEW BEST:: SOT 11152695 SOS 5897305 HAS SOPS 5884027 HAS SOUS 1292948 HAS SOUPS 1291136 WITH SCORE 1297033.305
AT ITER 4345 NEW BEST:: SOT 11151160 SOS 5895346 HAS SOPS 5882068 HAS SOUS 1291201 HAS SOUPS 1289389 WITH SCORE 1295284.346
AT ITER 4358 NEW BEST:: SOT 11150540 SOS 5897918 HAS SOPS 5884640 HAS SOUS 1290805 HAS SOUPS 1288993 WITH SCORE 1294890.918
AT ITER 4386 NEW BEST:: SOT 11150540 SOS 5892701 HAS SOPS 5879423 HAS SOUS 1290670 HAS SOUPS 1288858 WITH SCORE 1294750.701
AT ITER 4407 NEW BEST:: SOT 11139221 SOS 5907867 HAS SOPS 5894589 HAS SOUS 1280979 HAS SOUPS 1279167 WITH SCORE 1285074.867
AT ITER 4465 NEW BEST:: SOT 11139057 SOS 5916264 HAS SOPS 5902986 HAS SOUS 1280859 HAS SOUPS 1279047 WITH SCORE 1284963.264
AT ITER 4481 NEW BEST:: SOT 11139057 SOS 5916220 HAS SOPS 5902942 HAS SOUS 1280859 HAS SOUPS 1279047 WITH SCORE 1284963.22
AT ITER 4520 NEW BEST:: SOT 11139057 SOS 5914876 HAS SOPS 5901598 HAS SOUS 1280172 HAS SOUPS 1278360 WITH SCORE 1284274.876
AT ITER 4698 NEW BEST:: SOT 11138117 SOS 5914895 HAS SOPS 5901617 HAS SOUS 1279369 HAS SOUPS 1277557 WITH SCORE 1283471.895
AT ITER 4763 NEW BEST:: SOT 11138117 SOS 5912645 HAS SOPS 5899367 HAS SOUS 1279144 HAS SOUPS 1277332 WITH SCORE 1283244.645
AT ITER 4786 NEW BEST:: SOT 11138117 SOS 5912015 HAS SOPS 5898737 HAS SOUS 1278374 HAS SOUPS 1276562 WITH SCORE 1282474.015
AT ITER 4932 NEW BEST:: SOT 11137124 SOS 5913466 HAS SOPS 5900188 HAS SOUS 1277576 HAS SOUPS 1275764 WITH SCORE 1281677.466
AT ITER 4953 NEW BEST:: SOT 11136289 SOS 5910961 HAS SOPS 5897683 HAS SOUS 1276240 HAS SOUPS 1274428 WITH SCORE 1280338.961
AT ITER 4955 NEW BEST:: SOT 11136289 SOS 5911061 HAS SOPS 5897783 HAS SOUS 1276190 HAS SOUPS 1274378 WITH SCORE 1280289.061
AT ITER 5055 NEW BEST:: SOT 11136289 SOS 5912588 HAS SOPS 5898182 HAS SOUS 1276125 HAS SOUPS 1274172 WITH SCORE 1280084.588
AT ITER 5069 NEW BEST:: SOT 11136289 SOS 5912560 HAS SOPS 5898154 HAS SOUS 1276125 HAS SOUPS 1274172 WITH SCORE 1280084.56
AT ITER 5210 NEW BEST:: SOT 11135873 SOS 6482469 HAS SOPS 6468063 HAS SOUS 1275103 HAS SOUPS 1273150 WITH SCORE 1279632.469
AT ITER 5276 NEW BEST:: SOT 11135873 SOS 6481579 HAS SOPS 6467173 HAS SOUS 1274027 HAS SOUPS 1272074 WITH SCORE 1278555.579
AT ITER 5393 NEW BEST:: SOT 11135423 SOS 6480049 HAS SOPS 6465643 HAS SOUS 1273577 HAS SOUPS 1271624 WITH SCORE 1278104.049
AT ITER 5465 NEW BEST:: SOT 11135423 SOS 6480049 HAS SOPS 6465643 HAS SOUS 1273287 HAS SOUPS 1271334 WITH SCORE 1277814.049
AT ITER 5481 NEW BEST:: SOT 11134388 SOS 6480393 HAS SOPS 6465987 HAS SOUS 1272446 HAS SOUPS 1270493 WITH SCORE 1276973.393
AT ITER 5543 NEW BEST:: SOT 11133831 SOS 6484848 HAS SOPS 6470442 HAS SOUS 1272107 HAS SOUPS 1270154 WITH SCORE 1276638.848
AT ITER 5580 NEW BEST:: SOT 11133831 SOS 6484698 HAS SOPS 6470292 HAS SOUS 1271207 HAS SOUPS 1269254 WITH SCORE 1275738.698
AT ITER 5597 NEW BEST:: SOT 11133480 SOS 6483676 HAS SOPS 6469270 HAS SOUS 1269957 HAS SOUPS 1268004 WITH SCORE 1274487.676
AT ITER 5726 NEW BEST:: SOT 11133480 SOS 6484398 HAS SOPS 6469992 HAS SOUS 1269896 HAS SOUPS 1267943 WITH SCORE 1274427.398
AT ITER 5985 NEW BEST:: SOT 11133480 SOS 6484398 HAS SOPS 6469992 HAS SOUS 1269609 HAS SOUPS 1267656 WITH SCORE 1274140.398
AT ITER 6089 NEW BEST:: SOT 11138243 SOS 6481187 HAS SOPS 6466781 HAS SOUS 1269077 HAS SOUPS 1267124 WITH SCORE 1273605.187
AT ITER 6123 NEW BEST:: SOT 11138243 SOS 6481187 HAS SOPS 6466781 HAS SOUS 1268771 HAS SOUPS 1266818 WITH SCORE 1273299.187
AT ITER 6137 NEW BEST:: SOT 11138243 SOS 6480647 HAS SOPS 6466241 HAS SOUS 1268249 HAS SOUPS 1266296 WITH SCORE 1272776.647
AT ITER 6166 NEW BEST:: SOT 11121984 SOS 6853046 HAS SOPS 6838640 HAS SOUS 1253247 HAS SOUPS 1251294 WITH SCORE 1258147.046
AT ITER 6195 NEW BEST:: SOT 11121984 SOS 6852464 HAS SOPS 6838058 HAS SOUS 1253247 HAS SOUPS 1251294 WITH SCORE 1258146.464
AT ITER 6328 NEW BEST:: SOT 11121328 SOS 6851808 HAS SOPS 6837402 HAS SOUS 1252586 HAS SOUPS 1250633 WITH SCORE 1257484.808
AT ITER 6445 NEW BEST:: SOT 11121578 SOS 6852058 HAS SOPS 6837652 HAS SOUS 1252159 HAS SOUPS 1250206 WITH SCORE 1257058.058
AT ITER 6471 NEW BEST:: SOT 11121087 SOS 6856509 HAS SOPS 6842103 HAS SOUS 1251871 HAS SOUPS 1249918 WITH SCORE 1256774.509
AT ITER 6491 NEW BEST:: SOT 11121087 SOS 6856509 HAS SOPS 6842103 HAS SOUS 1251800 HAS SOUPS 1249847 WITH SCORE 1256703.509
AT ITER 6510 NEW BEST:: SOT 11121297 SOS 6853759 HAS SOPS 6839353 HAS SOUS 1251795 HAS SOUPS 1249842 WITH SCORE 1256695.759
AT ITER 6513 NEW BEST:: SOT 11121297 SOS 6851311 HAS SOPS 6836905 HAS SOUS 1251523 HAS SOUPS 1249570 WITH SCORE 1256421.311
AT ITER 6514 NEW BEST:: SOT 11121297 SOS 6851161 HAS SOPS 6836770 HAS SOUS 1251478 HAS SOUPS 1249540 WITH SCORE 1256391.161
AT ITER 6538 NEW BEST:: SOT 11121297 SOS 6850982 HAS SOPS 6836591 HAS SOUS 1251477 HAS SOUPS 1249539 WITH SCORE 1256389.982
AT ITER 6685 NEW BEST:: SOT 11121607 SOS 6837605 HAS SOPS 6823214 HAS SOUS 1249709 HAS SOUPS 1247771 WITH SCORE 1254608.605
AT ITER 6712 NEW BEST:: SOT 11121607 SOS 6834785 HAS SOPS 6820394 HAS SOUS 1249265 HAS SOUPS 1247327 WITH SCORE 1254161.785
AT ITER 6732 NEW BEST:: SOT 11122216 SOS 6835394 HAS SOPS 6821003 HAS SOUS 1249189 HAS SOUPS 1247251 WITH SCORE 1254086.394
AT ITER 6734 NEW BEST:: SOT 11122216 SOS 6821985 HAS SOPS 6807594 HAS SOUS 1246744 HAS SOUPS 1244806 WITH SCORE 1251627.985
AT ITER 6766 NEW BEST:: SOT 11122366 SOS 6828404 HAS SOPS 6814013 HAS SOUS 1246243 HAS SOUPS 1244305 WITH SCORE 1251133.404
AT ITER 6843 NEW BEST:: SOT 11122366 SOS 6828404 HAS SOPS 6814013 HAS SOUS 1246193 HAS SOUPS 1244255 WITH SCORE 1251083.404
AT ITER 6899 NEW BEST:: SOT 11122366 SOS 6828404 HAS SOPS 6814013 HAS SOUS 1246037 HAS SOUPS 1244099 WITH SCORE 1250927.404
AT ITER 6970 NEW BEST:: SOT 11121501 SOS 6831205 HAS SOPS 6816814 HAS SOUS 1245499 HAS SOUPS 1243561 WITH SCORE 1250392.205
AT ITER 6986 NEW BEST:: SOT 11121092 SOS 6830796 HAS SOPS 6816405 HAS SOUS 1245276 HAS SOUPS 1243338 WITH SCORE 1250168.796
AT ITER 7058 NEW BEST:: SOT 11121092 SOS 6831202 HAS SOPS 6816811 HAS SOUS 1245224 HAS SOUPS 1243286 WITH SCORE 1250117.202
AT ITER 7075 NEW BEST:: SOT 11117083 SOS 6883298 HAS SOPS 6868907 HAS SOUS 1240687 HAS SOUPS 1238749 WITH SCORE 1245632.298
AT ITER 7082 NEW BEST:: SOT 11117058 SOS 6883273 HAS SOPS 6868882 HAS SOUS 1240493 HAS SOUPS 1238555 WITH SCORE 1245438.273
AT ITER 7104 NEW BEST:: SOT 11117058 SOS 6883689 HAS SOPS 6869298 HAS SOUS 1240075 HAS SOUPS 1238137 WITH SCORE 1245020.689
AT ITER 7119 NEW BEST:: SOT 11117058 SOS 6877169 HAS SOPS 6863143 HAS SOUS 1239439 HAS SOUPS 1237660 WITH SCORE 1244537.169
AT ITER 7134 NEW BEST:: SOT 11117054 SOS 6876206 HAS SOPS 6862180 HAS SOUS 1239298 HAS SOUPS 1237519 WITH SCORE 1244395.206
AT ITER 7150 NEW BEST:: SOT 11116083 SOS 6876614 HAS SOPS 6862588 HAS SOUS 1238519 HAS SOUPS 1236740 WITH SCORE 1243616.614
AT ITER 7294 NEW BEST:: SOT 11116083 SOS 6876614 HAS SOPS 6862588 HAS SOUS 1237646 HAS SOUPS 1235867 WITH SCORE 1242743.614
AT ITER 7405 NEW BEST:: SOT 11116083 SOS 6873122 HAS SOPS 6859096 HAS SOUS 1237355 HAS SOUPS 1235576 WITH SCORE 1242449.122
AT ITER 7420 NEW BEST:: SOT 11116083 SOS 6872134 HAS SOPS 6858108 HAS SOUS 1237184 HAS SOUPS 1235405 WITH SCORE 1242277.134
AT ITER 7494 NEW BEST:: SOT 11115701 SOS 6871656 HAS SOPS 6857630 HAS SOUS 1236420 HAS SOUPS 1234641 WITH SCORE 1241512.656
AT ITER 7518 NEW BEST:: SOT 11115701 SOS 6871656 HAS SOPS 6857630 HAS SOUS 1235652 HAS SOUPS 1233873 WITH SCORE 1240744.656
AT ITER 7676 NEW BEST:: SOT 11115437 SOS 6871018 HAS SOPS 6856992 HAS SOUS 1235201 HAS SOUPS 1233422 WITH SCORE 1240293.018
AT ITER 7686 NEW BEST:: SOT 11115041 SOS 6874962 HAS SOPS 6860936 HAS SOUS 1235112 HAS SOUPS 1233333 WITH SCORE 1240207.962
AT ITER 7691 NEW BEST:: SOT 11115041 SOS 6874962 HAS SOPS 6860936 HAS SOUS 1235066 HAS SOUPS 1233287 WITH SCORE 1240161.962
AT ITER 7710 NEW BEST:: SOT 11115041 SOS 6874962 HAS SOPS 6860936 HAS SOUS 1234904 HAS SOUPS 1233125 WITH SCORE 1239999.962
AT ITER 7766 NEW BEST:: SOT 11115041 SOS 6874962 HAS SOPS 6860936 HAS SOUS 1234843 HAS SOUPS 1233064 WITH SCORE 1239938.962
AT ITER 7779 NEW BEST:: SOT 11115041 SOS 6874914 HAS SOPS 6860888 HAS SOUS 1234843 HAS SOUPS 1233064 WITH SCORE 1239938.914
AT ITER 7892 NEW BEST:: SOT 11115041 SOS 6875584 HAS SOPS 6861558 HAS SOUS 1234508 HAS SOUPS 1232729 WITH SCORE 1239604.584
AT ITER 7951 NEW BEST:: SOT 11114431 SOS 6876560 HAS SOPS 6862534 HAS SOUS 1233898 HAS SOUPS 1232119 WITH SCORE 1238995.56
AT ITER 8030 NEW BEST:: SOT 11114431 SOS 6870366 HAS SOPS 6856340 HAS SOUS 1233351 HAS SOUPS 1231572 WITH SCORE 1238442.366
AT ITER 8057 NEW BEST:: SOT 11114015 SOS 6869740 HAS SOPS 6855714 HAS SOUS 1232311 HAS SOUPS 1230532 WITH SCORE 1237401.74
AT ITER 8148 NEW BEST:: SOT 11114015 SOS 6869740 HAS SOPS 6855714 HAS SOUS 1232139 HAS SOUPS 1230360 WITH SCORE 1237229.74
AT ITER 8240 NEW BEST:: SOT 11114015 SOS 6869762 HAS SOPS 6855736 HAS SOUS 1232128 HAS SOUPS 1230349 WITH SCORE 1237218.762
AT ITER 8270 NEW BEST:: SOT 11114015 SOS 6865306 HAS SOPS 6851280 HAS SOUS 1231226 HAS SOUPS 1229447 WITH SCORE 1236312.306
AT ITER 8323 NEW BEST:: SOT 11114015 SOS 6865306 HAS SOPS 6851280 HAS SOUS 1231144 HAS SOUPS 1229365 WITH SCORE 1236230.306
AT ITER 8601 NEW BEST:: SOT 11113994 SOS 6865265 HAS SOPS 6851239 HAS SOUS 1231130 HAS SOUPS 1229351 WITH SCORE 1236216.265
AT ITER 8605 NEW BEST:: SOT 11113994 SOS 6865483 HAS SOPS 6851457 HAS SOUS 1230912 HAS SOUPS 1229133 WITH SCORE 1235998.483
AT ITER 8646 NEW BEST:: SOT 11113659 SOS 6865806 HAS SOPS 6851780 HAS SOUS 1230577 HAS SOUPS 1228798 WITH SCORE 1235663.806
AT ITER 8738 NEW BEST:: SOT 11112419 SOS 6867816 HAS SOPS 6853790 HAS SOUS 1229587 HAS SOUPS 1227808 WITH SCORE 1234675.816
AT ITER 8770 NEW BEST:: SOT 11112419 SOS 6544850 HAS SOPS 6530824 HAS SOUS 1229733 HAS SOUPS 1227954 WITH SCORE 1234498.85
AT ITER 8791 NEW BEST:: SOT 11108804 SOS 7121909 HAS SOPS 7107883 HAS SOUS 1227443 HAS SOUPS 1225664 WITH SCORE 1232785.909
AT ITER 8806 NEW BEST:: SOT 11108323 SOS 7121320 HAS SOPS 7107294 HAS SOUS 1226415 HAS SOUPS 1224636 WITH SCORE 1231757.32
AT ITER 8826 NEW BEST:: SOT 11108265 SOS 7121156 HAS SOPS 7107130 HAS SOUS 1226320 HAS SOUPS 1224541 WITH SCORE 1231662.156
AT ITER 8859 NEW BEST:: SOT 11108265 SOS 7121156 HAS SOPS 7107130 HAS SOUS 1225416 HAS SOUPS 1223637 WITH SCORE 1230758.156
AT ITER 8977 NEW BEST:: SOT 11108265 SOS 7120972 HAS SOPS 7106946 HAS SOUS 1225415 HAS SOUPS 1223636 WITH SCORE 1230756.972
AT ITER 8987 NEW BEST:: SOT 11108265 SOS 7121872 HAS SOPS 7107846 HAS SOUS 1224965 HAS SOUPS 1223186 WITH SCORE 1230307.872
AT ITER 9014 NEW BEST:: SOT 11108265 SOS 7121702 HAS SOPS 7107676 HAS SOUS 1224319 HAS SOUPS 1222540 WITH SCORE 1229661.702
AT ITER 9049 NEW BEST:: SOT 11108265 SOS 7114666 HAS SOPS 7100640 HAS SOUS 1221709 HAS SOUPS 1219930 WITH SCORE 1227044.666
AT ITER 9060 NEW BEST:: SOT 11108265 SOS 7110236 HAS SOPS 7096210 HAS SOUS 1220978 HAS SOUPS 1219199 WITH SCORE 1226309.236
AT ITER 9208 NEW BEST:: SOT 11108265 SOS 7110236 HAS SOPS 7096210 HAS SOUS 1220808 HAS SOUPS 1219029 WITH SCORE 1226139.236
AT ITER 9226 NEW BEST:: SOT 11108566 SOS 7110537 HAS SOPS 7096511 HAS SOUS 1219583 HAS SOUPS 1217804 WITH SCORE 1224914.537
AT ITER 9255 NEW BEST:: SOT 11108566 SOS 7110537 HAS SOPS 7096511 HAS SOUS 1219087 HAS SOUPS 1217308 WITH SCORE 1224418.537
AT ITER 9274 NEW BEST:: SOT 11108566 SOS 7101020 HAS SOPS 7086994 HAS SOUS 1216562 HAS SOUPS 1214783 WITH SCORE 1221884.02
AT ITER 9418 NEW BEST:: SOT 11107661 SOS 7100115 HAS SOPS 7086089 HAS SOUS 1215593 HAS SOUPS 1213814 WITH SCORE 1220914.115
AT ITER 9431 NEW BEST:: SOT 11107661 SOS 7100115 HAS SOPS 7086089 HAS SOUS 1215516 HAS SOUPS 1213737 WITH SCORE 1220837.115
AT ITER 9454 NEW BEST:: SOT 11107531 SOS 7099845 HAS SOPS 7085819 HAS SOUS 1215094 HAS SOUPS 1213315 WITH SCORE 1220414.845
AT ITER 9479 NEW BEST:: SOT 11107531 SOS 7093429 HAS SOPS 7079403 HAS SOUS 1214347 HAS SOUPS 1212568 WITH SCORE 1219661.429
AT ITER 9498 NEW BEST:: SOT 11107431 SOS 7093609 HAS SOPS 7079583 HAS SOUS 1214267 HAS SOUPS 1212488 WITH SCORE 1219581.609
AT ITER 9514 NEW BEST:: SOT 11107431 SOS 7092519 HAS SOPS 7078493 HAS SOUS 1214146 HAS SOUPS 1212367 WITH SCORE 1219459.519
AT ITER 9570 NEW BEST:: SOT 11107431 SOS 7088391 HAS SOPS 7074365 HAS SOUS 1213887 HAS SOUPS 1212108 WITH SCORE 1219196.391
AT ITER 9600 NEW BEST:: SOT 11107431 SOS 7088391 HAS SOPS 7074398 HAS SOUS 1212983 HAS SOUPS 1211204 WITH SCORE 1218292.391
AT ITER 9606 NEW BEST:: SOT 11107431 SOS 7087811 HAS SOPS 7073818 HAS SOUS 1212983 HAS SOUPS 1211204 WITH SCORE 1218291.811
AT ITER 9620 NEW BEST:: SOT 11107431 SOS 7087811 HAS SOPS 7073818 HAS SOUS 1212901 HAS SOUPS 1211122 WITH SCORE 1218209.811
AT ITER 9624 NEW BEST:: SOT 11107431 SOS 7087811 HAS SOPS 7073818 HAS SOUS 1212683 HAS SOUPS 1210904 WITH SCORE 1217991.811
AT ITER 9630 NEW BEST:: SOT 11108038 SOS 7090037 HAS SOPS 7074425 HAS SOUS 1212877 HAS SOUPS 1210243 WITH SCORE 1217333.037
AT ITER 9701 NEW BEST:: SOT 11108038 SOS 7090037 HAS SOPS 7074425 HAS SOUS 1212217 HAS SOUPS 1209583 WITH SCORE 1216673.037
AT ITER 9708 NEW BEST:: SOT 11107496 SOS 7089264 HAS SOPS 7072539 HAS SOUS 1211444 HAS SOUPS 1208651 WITH SCORE 1215740.264
AT ITER 9715 NEW BEST:: SOT 11106252 SOS 7093246 HAS SOPS 7076521 HAS SOUS 1210896 HAS SOUPS 1208103 WITH SCORE 1215196.246
AT ITER 9745 NEW BEST:: SOT 11106252 SOS 7093046 HAS SOPS 7076321 HAS SOUS 1210154 HAS SOUPS 1207361 WITH SCORE 1214454.046
AT ITER 9818 NEW BEST:: SOT 11106252 SOS 7106840 HAS SOPS 7090115 HAS SOUS 1209810 HAS SOUPS 1207017 WITH SCORE 1214123.84
AT ITER 9821 NEW BEST:: SOT 11106346 SOS 7111442 HAS SOPS 7092749 HAS SOUS 1209343 HAS SOUPS 1206304 WITH SCORE 1213415.442
AT ITER 9914 NEW BEST:: SOT 11105985 SOS 7107031 HAS SOPS 7088338 HAS SOUS 1208804 HAS SOUPS 1205765 WITH SCORE 1212872.031
AT ITER 9968 NEW BEST:: SOT 11105679 SOS 7205822 HAS SOPS 7187129 HAS SOUS 1208114 HAS SOUPS 1205075 WITH SCORE 1212280.822
AT ITER 9998 NEW BEST:: SOT 11105530 SOS 7205673 HAS SOPS 7186980 HAS SOUS 1207899 HAS SOUPS 1204860 WITH SCORE 1212065.673
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 13208952 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16116580 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="NeoElection-PT-6"
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 NeoElection-PT-6, 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 r259-smll-167863534200208"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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