Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250300312.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
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 r108-csrt-158961250300312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 221K Apr 30 13:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 540K Apr 30 13:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 404K Apr 30 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.1M Apr 30 13:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 30 13:04 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 182K Apr 30 13:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 506K Apr 30 13:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 94K Apr 30 13:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 285K Apr 30 13:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 343K Apr 30 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 822K Apr 30 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 110K Apr 30 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 293K Apr 30 13:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 7.3K Apr 30 13:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 15K Apr 30 13:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 30 13:04 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 30 13:04 instance
-rw-r--r-- 1 mcc users 6 Apr 30 13:04 iscolored
-rw-r--r-- 1 mcc users 7.3M Apr 30 13:04 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 1589640612908

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeoElection (PT), instance 6
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 161 NEW BEST:: SOT 11175390 SOS 6012999 HAS SOPS 5993269 HAS SOUS 1368430 HAS SOUPS 1365843 WITH SCORE 1371855.999
AT ITER 168 NEW BEST:: SOT 11175390 SOS 6012233 HAS SOPS 5992503 HAS SOUS 1365630 HAS SOUPS 1363043 WITH SCORE 1369055.233
AT ITER 203 NEW BEST:: SOT 11175390 SOS 6012342 HAS SOPS 5992612 HAS SOUS 1365188 HAS SOUPS 1362601 WITH SCORE 1368613.342
AT ITER 264 NEW BEST:: SOT 11175351 SOS 6012303 HAS SOPS 5992573 HAS SOUS 1365110 HAS SOUPS 1362523 WITH SCORE 1368535.303
AT ITER 391 NEW BEST:: SOT 11175171 SOS 6012123 HAS SOPS 5992393 HAS SOUS 1364926 HAS SOUPS 1362339 WITH SCORE 1368351.123
AT ITER 418 NEW BEST:: SOT 11175171 SOS 6002373 HAS SOPS 5982643 HAS SOUS 1362117 HAS SOUPS 1359530 WITH SCORE 1365532.373
AT ITER 423 NEW BEST:: SOT 11174719 SOS 6014707 HAS SOPS 5994977 HAS SOUS 1361891 HAS SOUPS 1359304 WITH SCORE 1365318.707
AT ITER 470 NEW BEST:: SOT 11174719 SOS 6009887 HAS SOPS 5990157 HAS SOUS 1361340 HAS SOUPS 1358753 WITH SCORE 1364762.887
AT ITER 479 NEW BEST:: SOT 11174126 SOS 6014530 HAS SOPS 5994800 HAS SOUS 1361041 HAS SOUPS 1358454 WITH SCORE 1364468.53
AT ITER 546 NEW BEST:: SOT 11174126 SOS 6012163 HAS SOPS 5992433 HAS SOUS 1358277 HAS SOUPS 1355690 WITH SCORE 1361702.163
AT ITER 584 NEW BEST:: SOT 11174126 SOS 6008723 HAS SOPS 5988993 HAS SOUS 1357588 HAS SOUPS 1355001 WITH SCORE 1361009.723
AT ITER 586 NEW BEST:: SOT 11174126 SOS 6003743 HAS SOPS 5984013 HAS SOUS 1356935 HAS SOUPS 1354348 WITH SCORE 1360351.743
AT ITER 716 NEW BEST:: SOT 11173990 SOS 6006950 HAS SOPS 5987220 HAS SOUS 1356798 HAS SOUPS 1354211 WITH SCORE 1360217.95
AT ITER 749 NEW BEST:: SOT 11173990 SOS 6002430 HAS SOPS 5982700 HAS SOUS 1355894 HAS SOUPS 1353307 WITH SCORE 1359309.43
AT ITER 794 NEW BEST:: SOT 11173395 SOS 6003655 HAS SOPS 5983925 HAS SOUS 1355429 HAS SOUPS 1352842 WITH SCORE 1358845.655
AT ITER 846 NEW BEST:: SOT 11173395 SOS 6003733 HAS SOPS 5984003 HAS SOUS 1355414 HAS SOUPS 1352827 WITH SCORE 1358830.733
AT ITER 887 NEW BEST:: SOT 11173395 SOS 6001583 HAS SOPS 5981853 HAS SOUS 1355045 HAS SOUPS 1352458 WITH SCORE 1358459.583
AT ITER 1021 NEW BEST:: SOT 11150330 SOS 6196094 HAS SOPS 6176364 HAS SOUS 1333183 HAS SOUPS 1330596 WITH SCORE 1336792.094
AT ITER 1026 NEW BEST:: SOT 11150330 SOS 6191114 HAS SOPS 6171384 HAS SOUS 1332579 HAS SOUPS 1329992 WITH SCORE 1336183.114
AT ITER 1050 NEW BEST:: SOT 11150330 SOS 6188624 HAS SOPS 6168894 HAS SOUS 1332228 HAS SOUPS 1329641 WITH SCORE 1335829.624
AT ITER 1066 NEW BEST:: SOT 11149921 SOS 6226824 HAS SOPS 6207094 HAS SOUS 1331431 HAS SOUPS 1328844 WITH SCORE 1335070.824
AT ITER 1077 NEW BEST:: SOT 11149921 SOS 6220765 HAS SOPS 6201035 HAS SOUS 1330412 HAS SOUPS 1327825 WITH SCORE 1334045.765
AT ITER 1108 NEW BEST:: SOT 11149921 SOS 6218632 HAS SOPS 6200267 HAS SOUS 1330175 HAS SOUPS 1327588 WITH SCORE 1333806.632
AT ITER 1112 NEW BEST:: SOT 11149509 SOS 6243593 HAS SOPS 6225228 HAS SOUS 1329358 HAS SOUPS 1326771 WITH SCORE 1333014.593
AT ITER 1124 NEW BEST:: SOT 11149509 SOS 6243550 HAS SOPS 6225185 HAS SOUS 1328771 HAS SOUPS 1326184 WITH SCORE 1332427.55
AT ITER 1130 NEW BEST:: SOT 11148244 SOS 6246276 HAS SOPS 6227911 HAS SOUS 1328063 HAS SOUPS 1325476 WITH SCORE 1331722.276
AT ITER 1137 NEW BEST:: SOT 11148244 SOS 6242316 HAS SOPS 6223951 HAS SOUS 1327428 HAS SOUPS 1324841 WITH SCORE 1331083.316
AT ITER 1143 NEW BEST:: SOT 11148244 SOS 6231060 HAS SOPS 6212695 HAS SOUS 1327397 HAS SOUPS 1324810 WITH SCORE 1331041.06
AT ITER 1168 NEW BEST:: SOT 11148244 SOS 6224172 HAS SOPS 6208495 HAS SOUS 1326434 HAS SOUPS 1323847 WITH SCORE 1330071.172
AT ITER 1225 NEW BEST:: SOT 11148255 SOS 6217260 HAS SOPS 6201583 HAS SOUS 1325179 HAS SOUPS 1322592 WITH SCORE 1328809.26
AT ITER 1326 NEW BEST:: SOT 11148436 SOS 6213465 HAS SOPS 6197788 HAS SOUS 1322650 HAS SOUPS 1320063 WITH SCORE 1326276.465
AT ITER 1401 NEW BEST:: SOT 11148436 SOS 6212655 HAS SOPS 6196978 HAS SOUS 1321658 HAS SOUPS 1319071 WITH SCORE 1325283.655
AT ITER 1441 NEW BEST:: SOT 11148436 SOS 6207747 HAS SOPS 6192070 HAS SOUS 1318513 HAS SOUPS 1315926 WITH SCORE 1322133.747
AT ITER 1446 NEW BEST:: SOT 11148436 SOS 6210691 HAS SOPS 6195014 HAS SOUS 1318167 HAS SOUPS 1315580 WITH SCORE 1321790.691
AT ITER 1476 NEW BEST:: SOT 11148436 SOS 6210873 HAS SOPS 6195196 HAS SOUS 1317148 HAS SOUPS 1314561 WITH SCORE 1320771.873
AT ITER 1502 NEW BEST:: SOT 11148436 SOS 6207753 HAS SOPS 6192076 HAS SOUS 1316723 HAS SOUPS 1314136 WITH SCORE 1320343.753
AT ITER 1520 NEW BEST:: SOT 11147008 SOS 6211018 HAS SOPS 6195341 HAS SOUS 1316032 HAS SOUPS 1313445 WITH SCORE 1319656.018
AT ITER 1549 NEW BEST:: SOT 11147008 SOS 6205778 HAS SOPS 6190101 HAS SOUS 1315427 HAS SOUPS 1312840 WITH SCORE 1319045.778
AT ITER 1629 NEW BEST:: SOT 11147008 SOS 6207409 HAS SOPS 6191732 HAS SOUS 1314841 HAS SOUPS 1312254 WITH SCORE 1318461.409
AT ITER 1719 NEW BEST:: SOT 11147008 SOS 6206805 HAS SOPS 6191128 HAS SOUS 1310254 HAS SOUPS 1307667 WITH SCORE 1313873.805
AT ITER 1766 NEW BEST:: SOT 11147008 SOS 6213665 HAS SOPS 6197988 HAS SOUS 1308398 HAS SOUPS 1305811 WITH SCORE 1312024.665
AT ITER 1790 NEW BEST:: SOT 11147008 SOS 6211445 HAS SOPS 6195768 HAS SOUS 1307356 HAS SOUPS 1304769 WITH SCORE 1310980.445
AT ITER 1793 NEW BEST:: SOT 11147008 SOS 6211445 HAS SOPS 6195768 HAS SOUS 1306682 HAS SOUPS 1304095 WITH SCORE 1310306.445
AT ITER 2138 NEW BEST:: SOT 11147008 SOS 6207281 HAS SOPS 6191604 HAS SOUS 1306420 HAS SOUPS 1303833 WITH SCORE 1310040.281
AT ITER 2242 NEW BEST:: SOT 11147008 SOS 6207281 HAS SOPS 6191604 HAS SOUS 1306419 HAS SOUPS 1303832 WITH SCORE 1310039.281
AT ITER 2364 NEW BEST:: SOT 11147008 SOS 6207281 HAS SOPS 6191604 HAS SOUS 1306106 HAS SOUPS 1303519 WITH SCORE 1309726.281
AT ITER 2429 NEW BEST:: SOT 11146603 SOS 6205823 HAS SOPS 6190146 HAS SOUS 1305620 HAS SOUPS 1303033 WITH SCORE 1309238.823
AT ITER 2438 NEW BEST:: SOT 11146603 SOS 6205823 HAS SOPS 6190146 HAS SOUS 1305044 HAS SOUPS 1302457 WITH SCORE 1308662.823
AT ITER 2489 NEW BEST:: SOT 11146603 SOS 6205823 HAS SOPS 6190146 HAS SOUS 1304514 HAS SOUPS 1301927 WITH SCORE 1308132.823
AT ITER 2513 NEW BEST:: SOT 11146603 SOS 6194719 HAS SOPS 6179042 HAS SOUS 1302920 HAS SOUPS 1300333 WITH SCORE 1306527.719
AT ITER 2546 NEW BEST:: SOT 11146080 SOS 6194234 HAS SOPS 6178557 HAS SOUS 1302483 HAS SOUPS 1299896 WITH SCORE 1306090.234
AT ITER 2551 NEW BEST:: SOT 11146080 SOS 6194228 HAS SOPS 6178551 HAS SOUS 1302483 HAS SOUPS 1299896 WITH SCORE 1306090.228
AT ITER 2612 NEW BEST:: SOT 11146080 SOS 6194182 HAS SOPS 6178505 HAS SOUS 1302379 HAS SOUPS 1299792 WITH SCORE 1305986.182
AT ITER 2667 NEW BEST:: SOT 11145374 SOS 6195686 HAS SOPS 6180009 HAS SOUS 1301843 HAS SOUPS 1299256 WITH SCORE 1305451.686
AT ITER 2727 NEW BEST:: SOT 11145374 SOS 6192726 HAS SOPS 6177049 HAS SOUS 1301427 HAS SOUPS 1298840 WITH SCORE 1305032.726
AT ITER 2847 NEW BEST:: SOT 11144840 SOS 6192192 HAS SOPS 6176649 HAS SOUS 1299811 HAS SOUPS 1297224 WITH SCORE 1303416.192
AT ITER 2854 NEW BEST:: SOT 11144840 SOS 6191512 HAS SOPS 6175969 HAS SOUS 1299240 HAS SOUPS 1296653 WITH SCORE 1302844.512
AT ITER 2952 NEW BEST:: SOT 11144840 SOS 6188882 HAS SOPS 6173339 HAS SOUS 1298758 HAS SOUPS 1296171 WITH SCORE 1302359.882
AT ITER 2987 NEW BEST:: SOT 11144345 SOS 6187100 HAS SOPS 6171557 HAS SOUS 1298164 HAS SOUPS 1295577 WITH SCORE 1301764.1
AT ITER 3016 NEW BEST:: SOT 11144345 SOS 6186940 HAS SOPS 6171621 HAS SOUS 1298164 HAS SOUPS 1295577 WITH SCORE 1301763.94
AT ITER 3031 NEW BEST:: SOT 11144345 SOS 6186090 HAS SOPS 6170771 HAS SOUS 1297538 HAS SOUPS 1294951 WITH SCORE 1301137.09
AT ITER 3037 NEW BEST:: SOT 11144345 SOS 6182780 HAS SOPS 6167461 HAS SOUS 1296876 HAS SOUPS 1294289 WITH SCORE 1300471.78
AT ITER 3144 NEW BEST:: SOT 11144345 SOS 6180040 HAS SOPS 6164721 HAS SOUS 1296602 HAS SOUPS 1294015 WITH SCORE 1300195.04
AT ITER 3214 NEW BEST:: SOT 11144143 SOS 6180538 HAS SOPS 6165219 HAS SOUS 1296450 HAS SOUPS 1293863 WITH SCORE 1300043.538
AT ITER 3244 NEW BEST:: SOT 11144135 SOS 6180747 HAS SOPS 6165428 HAS SOUS 1296402 HAS SOUPS 1293815 WITH SCORE 1299995.747
AT ITER 3266 NEW BEST:: SOT 11144135 SOS 6176751 HAS SOPS 6161432 HAS SOUS 1295546 HAS SOUPS 1292959 WITH SCORE 1299135.751
AT ITER 3294 NEW BEST:: SOT 11144135 SOS 6174564 HAS SOPS 6160652 HAS SOUS 1295127 HAS SOUPS 1292674 WITH SCORE 1298848.564
AT ITER 3383 NEW BEST:: SOT 11143996 SOS 6176832 HAS SOPS 6162920 HAS SOUS 1294987 HAS SOUPS 1292534 WITH SCORE 1298710.832
AT ITER 3563 NEW BEST:: SOT 11142896 SOS 6175732 HAS SOPS 6161820 HAS SOUS 1293447 HAS SOUPS 1290994 WITH SCORE 1297169.732
AT ITER 3624 NEW BEST:: SOT 11142766 SOS 6175342 HAS SOPS 6161430 HAS SOUS 1293239 HAS SOUPS 1290786 WITH SCORE 1296961.342
AT ITER 3629 NEW BEST:: SOT 11142766 SOS 6175342 HAS SOPS 6161430 HAS SOUS 1292577 HAS SOUPS 1290124 WITH SCORE 1296299.342
AT ITER 3906 NEW BEST:: SOT 11142766 SOS 6175342 HAS SOPS 6161430 HAS SOUS 1292235 HAS SOUPS 1289782 WITH SCORE 1295957.342
AT ITER 4007 NEW BEST:: SOT 11141689 SOS 6288109 HAS SOPS 6274197 HAS SOUS 1291438 HAS SOUPS 1288985 WITH SCORE 1295273.109
AT ITER 4030 NEW BEST:: SOT 11130241 SOS 6301141 HAS SOPS 6287229 HAS SOUS 1281609 HAS SOUPS 1279156 WITH SCORE 1285457.141
AT ITER 4051 NEW BEST:: SOT 11130215 SOS 6299927 HAS SOPS 6286015 HAS SOUS 1281237 HAS SOUPS 1278784 WITH SCORE 1285083.927
AT ITER 4134 NEW BEST:: SOT 11121904 SOS 6342738 HAS SOPS 6328826 HAS SOUS 1274225 HAS SOUPS 1271772 WITH SCORE 1278114.738
AT ITER 4157 NEW BEST:: SOT 11121904 SOS 6340539 HAS SOPS 6326627 HAS SOUS 1269499 HAS SOUPS 1267046 WITH SCORE 1273386.539
AT ITER 4190 NEW BEST:: SOT 11121234 SOS 6341567 HAS SOPS 6327655 HAS SOUS 1268951 HAS SOUPS 1266498 WITH SCORE 1272839.567
AT ITER 4197 NEW BEST:: SOT 11121234 SOS 6336149 HAS SOPS 6323742 HAS SOUS 1267377 HAS SOUPS 1264924 WITH SCORE 1271260.149
AT ITER 4205 NEW BEST:: SOT 11121374 SOS 6336289 HAS SOPS 6323882 HAS SOUS 1266295 HAS SOUPS 1263842 WITH SCORE 1270178.289
AT ITER 4300 NEW BEST:: SOT 11121374 SOS 6336289 HAS SOPS 6323882 HAS SOUS 1265915 HAS SOUPS 1263462 WITH SCORE 1269798.289
AT ITER 4354 NEW BEST:: SOT 11121374 SOS 6336929 HAS SOPS 6324522 HAS SOUS 1265723 HAS SOUPS 1263270 WITH SCORE 1269606.929
AT ITER 4392 NEW BEST:: SOT 11121239 SOS 6336794 HAS SOPS 6324387 HAS SOUS 1265588 HAS SOUPS 1263135 WITH SCORE 1269471.794
AT ITER 4406 NEW BEST:: SOT 11104796 SOS 6702153 HAS SOPS 6689746 HAS SOUS 1249601 HAS SOUPS 1247148 WITH SCORE 1253850.153
AT ITER 4411 NEW BEST:: SOT 11104796 SOS 6701517 HAS SOPS 6689110 HAS SOUS 1249548 HAS SOUPS 1247095 WITH SCORE 1253796.517
AT ITER 4580 NEW BEST:: SOT 11104796 SOS 6700721 HAS SOPS 6688314 HAS SOUS 1249548 HAS SOUPS 1247095 WITH SCORE 1253795.721
AT ITER 4602 NEW BEST:: SOT 11105149 SOS 6686970 HAS SOPS 6674563 HAS SOUS 1247535 HAS SOUPS 1245082 WITH SCORE 1251768.97
AT ITER 4709 NEW BEST:: SOT 11099129 SOS 6791062 HAS SOPS 6778655 HAS SOUS 1244395 HAS SOUPS 1241942 WITH SCORE 1248733.062
AT ITER 4869 NEW BEST:: SOT 11099129 SOS 6791062 HAS SOPS 6778655 HAS SOUS 1244223 HAS SOUPS 1241770 WITH SCORE 1248561.062
AT ITER 4873 NEW BEST:: SOT 11098844 SOS 6790897 HAS SOPS 6778490 HAS SOUS 1244058 HAS SOUPS 1241605 WITH SCORE 1248395.897
AT ITER 4906 NEW BEST:: SOT 11098844 SOS 6790897 HAS SOPS 6778490 HAS SOUS 1244052 HAS SOUPS 1241599 WITH SCORE 1248389.897
AT ITER 4933 NEW BEST:: SOT 11099447 SOS 6791500 HAS SOPS 6779093 HAS SOUS 1243005 HAS SOUPS 1240552 WITH SCORE 1247343.5
AT ITER 5025 NEW BEST:: SOT 11099447 SOS 6791500 HAS SOPS 6779093 HAS SOUS 1242338 HAS SOUPS 1239885 WITH SCORE 1246676.5
AT ITER 5055 NEW BEST:: SOT 11097973 SOS 6790003 HAS SOPS 6777596 HAS SOUS 1240747 HAS SOUPS 1238294 WITH SCORE 1245084.003
AT ITER 5088 NEW BEST:: SOT 11097973 SOS 6791875 HAS SOPS 6779468 HAS SOUS 1240506 HAS SOUPS 1238053 WITH SCORE 1244844.875
AT ITER 5169 NEW BEST:: SOT 11097973 SOS 6787243 HAS SOPS 6774836 HAS SOUS 1240120 HAS SOUPS 1237667 WITH SCORE 1244454.243
AT ITER 5183 NEW BEST:: SOT 11097973 SOS 6779897 HAS SOPS 6767490 HAS SOUS 1237681 HAS SOUPS 1235228 WITH SCORE 1242007.897
AT ITER 5194 NEW BEST:: SOT 11098693 SOS 6776657 HAS SOPS 6764250 HAS SOUS 1234113 HAS SOUPS 1231660 WITH SCORE 1238436.657
AT ITER 5239 NEW BEST:: SOT 11098693 SOS 6765075 HAS SOPS 6752668 HAS SOUS 1232429 HAS SOUPS 1229976 WITH SCORE 1236741.075
AT ITER 5259 NEW BEST:: SOT 11089046 SOS 6854786 HAS SOPS 6842379 HAS SOUS 1226294 HAS SOUPS 1223841 WITH SCORE 1230695.786
AT ITER 5306 NEW BEST:: SOT 11089046 SOS 6854786 HAS SOPS 6842379 HAS SOUS 1224748 HAS SOUPS 1222295 WITH SCORE 1229149.786
AT ITER 5440 NEW BEST:: SOT 11089046 SOS 6855138 HAS SOPS 6842731 HAS SOUS 1222988 HAS SOUPS 1220535 WITH SCORE 1227390.138
AT ITER 5455 NEW BEST:: SOT 11089046 SOS 6855138 HAS SOPS 6842731 HAS SOUS 1222392 HAS SOUPS 1219939 WITH SCORE 1226794.138
AT ITER 5643 NEW BEST:: SOT 11089046 SOS 6851388 HAS SOPS 6838981 HAS SOUS 1221881 HAS SOUPS 1219428 WITH SCORE 1226279.388
AT ITER 5662 NEW BEST:: SOT 11091154 SOS 6853496 HAS SOPS 6841089 HAS SOUS 1221735 HAS SOUPS 1219282 WITH SCORE 1226135.496
AT ITER 5695 NEW BEST:: SOT 11091282 SOS 6853624 HAS SOPS 6841217 HAS SOUS 1221223 HAS SOUPS 1218770 WITH SCORE 1225623.624
AT ITER 5697 NEW BEST:: SOT 11091282 SOS 6853624 HAS SOPS 6841217 HAS SOUS 1220556 HAS SOUPS 1218103 WITH SCORE 1224956.624
AT ITER 5717 NEW BEST:: SOT 11091282 SOS 6853624 HAS SOPS 6841217 HAS SOUS 1219915 HAS SOUPS 1217462 WITH SCORE 1224315.624
AT ITER 5737 NEW BEST:: SOT 11091282 SOS 6853624 HAS SOPS 6841217 HAS SOUS 1219806 HAS SOUPS 1217353 WITH SCORE 1224206.624
AT ITER 5797 NEW BEST:: SOT 11090784 SOS 6852814 HAS SOPS 6840505 HAS SOUS 1218437 HAS SOUPS 1216082 WITH SCORE 1222934.814
AT ITER 5806 NEW BEST:: SOT 11090784 SOS 6849492 HAS SOPS 6837183 HAS SOUS 1217932 HAS SOUPS 1215577 WITH SCORE 1222426.492
AT ITER 5814 NEW BEST:: SOT 11090784 SOS 6849492 HAS SOPS 6837183 HAS SOUS 1217154 HAS SOUPS 1214799 WITH SCORE 1221648.492
AT ITER 5837 NEW BEST:: SOT 11090237 SOS 6848945 HAS SOPS 6836636 HAS SOUS 1215513 HAS SOUPS 1213158 WITH SCORE 1220006.945
AT ITER 5871 NEW BEST:: SOT 11090957 SOS 6849905 HAS SOPS 6837596 HAS SOUS 1213480 HAS SOUPS 1211125 WITH SCORE 1217974.905
AT ITER 5880 NEW BEST:: SOT 11090957 SOS 6847547 HAS SOPS 6835238 HAS SOUS 1212904 HAS SOUPS 1210549 WITH SCORE 1217396.547
AT ITER 5884 NEW BEST:: SOT 11091077 SOS 6847667 HAS SOPS 6835358 HAS SOUS 1212870 HAS SOUPS 1210515 WITH SCORE 1217362.667
AT ITER 5949 NEW BEST:: SOT 11091077 SOS 6848591 HAS SOPS 6836282 HAS SOUS 1209753 HAS SOUPS 1207398 WITH SCORE 1214246.591
AT ITER 5954 NEW BEST:: SOT 11091250 SOS 6848764 HAS SOPS 6836455 HAS SOUS 1209730 HAS SOUPS 1207375 WITH SCORE 1214223.764
AT ITER 6025 NEW BEST:: SOT 11091250 SOS 6848764 HAS SOPS 6836455 HAS SOUS 1209567 HAS SOUPS 1207212 WITH SCORE 1214060.764
AT ITER 6081 NEW BEST:: SOT 11090955 SOS 6849574 HAS SOPS 6837265 HAS SOUS 1209272 HAS SOUPS 1206917 WITH SCORE 1213766.574
AT ITER 6085 NEW BEST:: SOT 11090880 SOS 6849499 HAS SOPS 6837190 HAS SOUS 1209192 HAS SOUPS 1206837 WITH SCORE 1213686.499
AT ITER 6125 NEW BEST:: SOT 11095250 SOS 6853547 HAS SOPS 6841238 HAS SOUS 1208480 HAS SOUPS 1206125 WITH SCORE 1212978.547
AT ITER 6145 NEW BEST:: SOT 11085381 SOS 6948169 HAS SOPS 6935860 HAS SOUS 1202189 HAS SOUPS 1199834 WITH SCORE 1206782.169
AT ITER 6323 NEW BEST:: SOT 11086178 SOS 6940281 HAS SOPS 6927972 HAS SOUS 1201454 HAS SOUPS 1199099 WITH SCORE 1206039.281
AT ITER 6566 NEW BEST:: SOT 11086178 SOS 6940281 HAS SOPS 6927972 HAS SOUS 1201445 HAS SOUPS 1199090 WITH SCORE 1206030.281
AT ITER 6570 NEW BEST:: SOT 11086178 SOS 6937691 HAS SOPS 6925382 HAS SOUS 1200926 HAS SOUPS 1198571 WITH SCORE 1205508.691
AT ITER 6610 NEW BEST:: SOT 11086069 SOS 6936492 HAS SOPS 6924183 HAS SOUS 1200708 HAS SOUPS 1198353 WITH SCORE 1205289.492
AT ITER 6637 NEW BEST:: SOT 11086069 SOS 6936773 HAS SOPS 6924464 HAS SOUS 1200168 HAS SOUPS 1197813 WITH SCORE 1204749.773
AT ITER 6645 NEW BEST:: SOT 11086069 SOS 6936759 HAS SOPS 6924450 HAS SOUS 1200168 HAS SOUPS 1197813 WITH SCORE 1204749.759
AT ITER 6757 NEW BEST:: SOT 11083017 SOS 6938155 HAS SOPS 6925846 HAS SOUS 1196505 HAS SOUPS 1194150 WITH SCORE 1201088.155
AT ITER 6803 NEW BEST:: SOT 11083017 SOS 6938155 HAS SOPS 6925846 HAS SOUS 1196186 HAS SOUPS 1193831 WITH SCORE 1200769.155
AT ITER 6846 NEW BEST:: SOT 11083947 SOS 6939085 HAS SOPS 6926776 HAS SOUS 1196109 HAS SOUPS 1193754 WITH SCORE 1200693.085
AT ITER 6879 NEW BEST:: SOT 11083508 SOS 6941558 HAS SOPS 6929249 HAS SOUS 1195874 HAS SOUPS 1193519 WITH SCORE 1200460.558
AT ITER 6920 NEW BEST:: SOT 11083508 SOS 6938375 HAS SOPS 6926066 HAS SOUS 1195764 HAS SOUPS 1193409 WITH SCORE 1200347.375
AT ITER 6990 NEW BEST:: SOT 11082768 SOS 6937901 HAS SOPS 6925592 HAS SOUS 1195237 HAS SOUPS 1192882 WITH SCORE 1199819.901
AT ITER 7033 NEW BEST:: SOT 11082768 SOS 6937131 HAS SOPS 6924822 HAS SOUS 1195006 HAS SOUPS 1192651 WITH SCORE 1199588.131
AT ITER 7296 NEW BEST:: SOT 11082400 SOS 6936763 HAS SOPS 6924454 HAS SOUS 1194086 HAS SOUPS 1191731 WITH SCORE 1198667.763
AT ITER 7349 NEW BEST:: SOT 11082400 SOS 6936763 HAS SOPS 6924454 HAS SOUS 1193811 HAS SOUPS 1191456 WITH SCORE 1198392.763
AT ITER 7376 NEW BEST:: SOT 11082400 SOS 6936763 HAS SOPS 6924454 HAS SOUS 1193775 HAS SOUPS 1191420 WITH SCORE 1198356.763
AT ITER 7412 NEW BEST:: SOT 11081251 SOS 6935614 HAS SOPS 6923305 HAS SOUS 1193464 HAS SOUPS 1191109 WITH SCORE 1198044.614
AT ITER 7451 NEW BEST:: SOT 11081544 SOS 6935507 HAS SOPS 6923198 HAS SOUS 1190294 HAS SOUPS 1187939 WITH SCORE 1194874.507
AT ITER 7464 NEW BEST:: SOT 11081544 SOS 6935507 HAS SOPS 6923198 HAS SOUS 1190293 HAS SOUPS 1187938 WITH SCORE 1194873.507
AT ITER 7465 NEW BEST:: SOT 11081544 SOS 6935507 HAS SOPS 6923198 HAS SOUS 1190085 HAS SOUPS 1187730 WITH SCORE 1194665.507
AT ITER 7473 NEW BEST:: SOT 11081544 SOS 6935503 HAS SOPS 6923194 HAS SOUS 1189480 HAS SOUPS 1187125 WITH SCORE 1194060.503
AT ITER 7504 NEW BEST:: SOT 11081544 SOS 6935503 HAS SOPS 6923194 HAS SOUS 1189436 HAS SOUPS 1187081 WITH SCORE 1194016.503
AT ITER 7583 NEW BEST:: SOT 11081373 SOS 6935446 HAS SOPS 6923137 HAS SOUS 1189282 HAS SOUPS 1186927 WITH SCORE 1193862.446
AT ITER 7628 NEW BEST:: SOT 11081373 SOS 6935628 HAS SOPS 6923319 HAS SOUS 1188446 HAS SOUPS 1186091 WITH SCORE 1193026.628
AT ITER 7656 NEW BEST:: SOT 11083190 SOS 6937445 HAS SOPS 6925136 HAS SOUS 1188105 HAS SOUPS 1185750 WITH SCORE 1192687.445
AT ITER 7791 NEW BEST:: SOT 11083190 SOS 6937445 HAS SOPS 6925136 HAS SOUS 1187526 HAS SOUPS 1185171 WITH SCORE 1192108.445
AT ITER 7847 NEW BEST:: SOT 11083190 SOS 6937193 HAS SOPS 6924884 HAS SOUS 1187358 HAS SOUPS 1185003 WITH SCORE 1191940.193
AT ITER 7873 NEW BEST:: SOT 11083190 SOS 6938176 HAS SOPS 6925867 HAS SOUS 1187078 HAS SOUPS 1184723 WITH SCORE 1191661.176
AT ITER 7900 NEW BEST:: SOT 11083413 SOS 6938140 HAS SOPS 6925831 HAS SOUS 1184114 HAS SOUPS 1181759 WITH SCORE 1188697.14
AT ITER 7911 NEW BEST:: SOT 11083413 SOS 6935404 HAS SOPS 6923095 HAS SOUS 1183886 HAS SOUPS 1181531 WITH SCORE 1188466.404
AT ITER 7975 NEW BEST:: SOT 11083413 SOS 6935404 HAS SOPS 6923095 HAS SOUS 1183172 HAS SOUPS 1180817 WITH SCORE 1187752.404
AT ITER 7992 NEW BEST:: SOT 11083272 SOS 6935653 HAS SOPS 6923344 HAS SOUS 1183061 HAS SOUPS 1180706 WITH SCORE 1187641.653
AT ITER 7996 NEW BEST:: SOT 11083272 SOS 6935652 HAS SOPS 6923344 HAS SOUS 1183060 HAS SOUPS 1180706 WITH SCORE 1187641.652
AT ITER 8065 NEW BEST:: SOT 11083272 SOS 6935512 HAS SOPS 6923666 HAS SOUS 1182746 HAS SOUPS 1180392 WITH SCORE 1187327.512
AT ITER 8093 NEW BEST:: SOT 11081633 SOS 6939554 HAS SOPS 6927708 HAS SOUS 1181737 HAS SOUPS 1179383 WITH SCORE 1186322.554
AT ITER 8157 NEW BEST:: SOT 11081493 SOS 6939414 HAS SOPS 6927568 HAS SOUS 1181317 HAS SOUPS 1178963 WITH SCORE 1185902.414
AT ITER 8160 NEW BEST:: SOT 11081193 SOS 6939114 HAS SOPS 6927268 HAS SOUS 1181183 HAS SOUPS 1178829 WITH SCORE 1185768.114
AT ITER 8186 NEW BEST:: SOT 11081109 SOS 6938400 HAS SOPS 6926554 HAS SOUS 1181054 HAS SOUPS 1178700 WITH SCORE 1185638.4
AT ITER 8308 NEW BEST:: SOT 11081109 SOS 6935458 HAS SOPS 6923612 HAS SOUS 1180552 HAS SOUPS 1178198 WITH SCORE 1185133.458
AT ITER 8338 NEW BEST:: SOT 11081089 SOS 6935438 HAS SOPS 6923592 HAS SOUS 1180532 HAS SOUPS 1178178 WITH SCORE 1185113.438
AT ITER 8341 NEW BEST:: SOT 11081089 SOS 6934214 HAS SOPS 6922368 HAS SOUS 1180226 HAS SOUPS 1177872 WITH SCORE 1184806.214
AT ITER 8344 NEW BEST:: SOT 11081089 SOS 6934214 HAS SOPS 6922368 HAS SOUS 1179432 HAS SOUPS 1177078 WITH SCORE 1184012.214
AT ITER 8378 NEW BEST:: SOT 11079885 SOS 6933296 HAS SOPS 6921450 HAS SOUS 1178473 HAS SOUPS 1176119 WITH SCORE 1183052.296
AT ITER 8388 NEW BEST:: SOT 11079831 SOS 6933242 HAS SOPS 6921396 HAS SOUS 1178292 HAS SOUPS 1175938 WITH SCORE 1182871.242
AT ITER 8436 NEW BEST:: SOT 11079828 SOS 6933236 HAS SOPS 6921390 HAS SOUS 1178286 HAS SOUPS 1175932 WITH SCORE 1182865.236
AT ITER 8437 NEW BEST:: SOT 11079828 SOS 6933236 HAS SOPS 6922503 HAS SOUS 1178078 HAS SOUPS 1175883 WITH SCORE 1182816.236
AT ITER 8472 NEW BEST:: SOT 11079828 SOS 6933236 HAS SOPS 6922503 HAS SOUS 1177672 HAS SOUPS 1175477 WITH SCORE 1182410.236
AT ITER 8493 NEW BEST:: SOT 11079828 SOS 6933236 HAS SOPS 6922503 HAS SOUS 1177655 HAS SOUPS 1175460 WITH SCORE 1182393.236
AT ITER 8562 NEW BEST:: SOT 11079828 SOS 6933236 HAS SOPS 6922503 HAS SOUS 1177414 HAS SOUPS 1175219 WITH SCORE 1182152.236
AT ITER 8570 NEW BEST:: SOT 11078172 SOS 6936286 HAS SOPS 6925553 HAS SOUS 1175838 HAS SOUPS 1173643 WITH SCORE 1180579.286
AT ITER 8581 NEW BEST:: SOT 11077711 SOS 6931215 HAS SOPS 6920543 HAS SOUS 1173994 HAS SOUPS 1171860 WITH SCORE 1178791.215
AT ITER 8672 NEW BEST:: SOT 11077711 SOS 6931215 HAS SOPS 6920543 HAS SOUS 1172860 HAS SOUPS 1170726 WITH SCORE 1177657.215
AT ITER 8752 NEW BEST:: SOT 11076990 SOS 6920381 HAS SOPS 6909709 HAS SOUS 1168533 HAS SOUPS 1166399 WITH SCORE 1173319.381
AT ITER 8888 NEW BEST:: SOT 11060537 SOS 6923305 HAS SOPS 6912633 HAS SOUS 1150721 HAS SOUPS 1148587 WITH SCORE 1155510.305
AT ITER 8891 NEW BEST:: SOT 11060537 SOS 6923638 HAS SOPS 6912966 HAS SOUS 1150690 HAS SOUPS 1148556 WITH SCORE 1155479.638
AT ITER 8899 NEW BEST:: SOT 11059665 SOS 6921458 HAS SOPS 6910786 HAS SOUS 1150363 HAS SOUPS 1148229 WITH SCORE 1155150.458
AT ITER 8917 NEW BEST:: SOT 11059595 SOS 6915088 HAS SOPS 6904416 HAS SOUS 1150153 HAS SOUPS 1148019 WITH SCORE 1154934.088
AT ITER 8919 NEW BEST:: SOT 11059595 SOS 6915088 HAS SOPS 6904416 HAS SOUS 1150145 HAS SOUPS 1148011 WITH SCORE 1154926.088
AT ITER 8940 NEW BEST:: SOT 11059595 SOS 6913328 HAS SOPS 6902656 HAS SOUS 1149969 HAS SOUPS 1147835 WITH SCORE 1154748.328
AT ITER 8978 NEW BEST:: SOT 11059872 SOS 6908716 HAS SOPS 6898044 HAS SOUS 1147701 HAS SOUPS 1145567 WITH SCORE 1152475.716
AT ITER 9042 NEW BEST:: SOT 11059479 SOS 6914173 HAS SOPS 6903501 HAS SOUS 1147612 HAS SOUPS 1145478 WITH SCORE 1152392.173
AT ITER 9061 NEW BEST:: SOT 11059479 SOS 6918419 HAS SOPS 6907747 HAS SOUS 1146682 HAS SOUPS 1144548 WITH SCORE 1151466.419
AT ITER 9078 NEW BEST:: SOT 11059479 SOS 6918332 HAS SOPS 6908077 HAS SOUS 1146317 HAS SOUPS 1144183 WITH SCORE 1151101.332
AT ITER 9146 NEW BEST:: SOT 11063103 SOS 6921956 HAS SOPS 6911701 HAS SOUS 1145090 HAS SOUPS 1142956 WITH SCORE 1149877.956
AT ITER 9218 NEW BEST:: SOT 11063103 SOS 6921956 HAS SOPS 6911701 HAS SOUS 1144572 HAS SOUPS 1142438 WITH SCORE 1149359.956
AT ITER 9315 NEW BEST:: SOT 11063001 SOS 6913668 HAS SOPS 6903421 HAS SOUS 1144490 HAS SOUPS 1142357 WITH SCORE 1149270.668
AT ITER 9443 NEW BEST:: SOT 11063046 SOS 6913713 HAS SOPS 6903466 HAS SOUS 1143160 HAS SOUPS 1141027 WITH SCORE 1147940.713
AT ITER 9467 NEW BEST:: SOT 11063046 SOS 6914657 HAS SOPS 6904410 HAS SOUS 1143154 HAS SOUPS 1141021 WITH SCORE 1147935.657
AT ITER 9476 NEW BEST:: SOT 11063046 SOS 6912257 HAS SOPS 6902010 HAS SOUS 1142914 HAS SOUPS 1140781 WITH SCORE 1147693.257
AT ITER 9606 NEW BEST:: SOT 11063046 SOS 6909057 HAS SOPS 6898810 HAS SOUS 1142425 HAS SOUPS 1140292 WITH SCORE 1147201.057
AT ITER 9683 NEW BEST:: SOT 11062978 SOS 6908989 HAS SOPS 6898742 HAS SOUS 1142323 HAS SOUPS 1140190 WITH SCORE 1147098.989
AT ITER 9771 NEW BEST:: SOT 11062978 SOS 6909921 HAS SOPS 6899674 HAS SOUS 1141978 HAS SOUPS 1139845 WITH SCORE 1146754.921
AT ITER 9787 NEW BEST:: SOT 11061699 SOS 6899144 HAS SOPS 6888897 HAS SOUS 1140568 HAS SOUPS 1138435 WITH SCORE 1145334.144
AT ITER 9926 NEW BEST:: SOT 11061699 SOS 6898870 HAS SOPS 6888623 HAS SOUS 1140568 HAS SOUPS 1138435 WITH SCORE 1145333.87
AT ITER 9942 NEW BEST:: SOT 11061699 SOS 6897990 HAS SOPS 6887743 HAS SOUS 1139786 HAS SOUPS 1137653 WITH SCORE 1144550.99
AT ITER 9971 NEW BEST:: SOT 11061699 SOS 6894970 HAS SOPS 6884723 HAS SOUS 1139326 HAS SOUPS 1137193 WITH SCORE 1144087.97

BK_TIME_CONFINEMENT_REACHED

--------------------
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="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"

# 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-4028"
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 r108-csrt-158961250300312"
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 ;