Introduction

Execution Chart

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

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.

export BK_INPUT=GlobalRessAlloc-PT-03
export BK_EXAMINATION=ReachabilityDeadlock
export BK_TOOL=cunf
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1724
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/GlobalRessAlloc-PT-03
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool cunf:'
echo ' Test is GlobalRessAlloc-PT-03, examination is ReachabilityDeadlock'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

Execution Outputs of cunf for GlobalRessAlloc/03 (P/T)

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

execution on node 21: quadhexa-2.u-paris10.fr (runId=136952155300323_n_21)
=====================================================================
runnning cunf on GlobalRessAlloc-PT-03 (ReachabilityDeadlock)
We got on stdout:
Probing ssh
Waiting ssh to respond
Ssh up and responding
=====================================================================
Generated by BenchKit 1.0
Executing tool cunf:
Test is GlobalRessAlloc-PT-03, examination is ReachabilityDeadlock
=====================================================================

--------------------
content from stdout:

START 1371567027
FORMULA p_1_deadlock FALSE TECHNIQUES NET_UNFOLDING
CANNOT_COMPUTE
STOP 1371567421

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

bkh: PWD '/home/mcc/BenchKit/INPUTS/GlobalRessAlloc-PT-03'
bkh: BK_EXAMINATION 'ReachabilityDeadlock'
bkh: iscolored FALSE
bkh: translating pnml to pep...
bkh: unfolding... cross the fingers to stay in memory!
bkh: yeah!
At size 2, 4096 histories
At size 4, 8192 histories
At size 4, 12288 histories
At size 4, 16384 histories
At size 4, 20480 histories
At size 4, 24576 histories
At size 4, 28672 histories
At size 4, 32768 histories
At size 4, 36864 histories
At size 4, 40960 histories
At size 4, 45056 histories
At size 4, 49152 histories
At size 4, 53248 histories
At size 4, 57344 histories
At size 4, 61440 histories
At size 4, 65536 histories
At size 4, 69632 histories
At size 4, 73728 histories
At size 4, 77824 histories
At size 4, 81920 histories
At size 4, 86016 histories
At size 4, 90112 histories
At size 4, 94208 histories
At size 5, 98304 histories
At size 5, 102400 histories
At size 5, 106496 histories
At size 5, 110592 histories
At size 5, 114688 histories
At size 5, 118784 histories
At size 5, 122880 histories
At size 5, 126976 histories
At size 5, 131072 histories
At size 5, 135168 histories
At size 5, 139264 histories
At size 5, 143360 histories
At size 5, 147456 histories
At size 5, 151552 histories
At size 5, 155648 histories
At size 5, 159744 histories
At size 5, 163840 histories
At size 5, 167936 histories
At size 6, 172032 histories
At size 6, 176128 histories
At size 6, 180224 histories
At size 6, 184320 histories
At size 6, 188416 histories
At size 6, 192512 histories
At size 6, 196608 histories
At size 6, 200704 histories
At size 6, 204800 histories
At size 6, 208896 histories
At size 6, 212992 histories
At size 6, 217088 histories
At size 6, 221184 histories
At size 6, 225280 histories
At size 6, 229376 histories
At size 6, 233472 histories
At size 6, 237568 histories
At size 6, 241664 histories
At size 6, 245760 histories
At size 6, 249856 histories
At size 6, 253952 histories
At size 6, 258048 histories
At size 6, 262144 histories
At size 6, 266240 histories
At size 6, 270336 histories
At size 6, 274432 histories
At size 6, 278528 histories
At size 6, 282624 histories
At size 6, 286720 histories
At size 6, 290816 histories
At size 6, 294912 histories
At size 6, 299008 histories
At size 6, 303104 histories
At size 6, 307200 histories
At size 6, 311296 histories
At size 6, 315392 histories
At size 6, 319488 histories
At size 6, 323584 histories
At size 6, 327680 histories
At size 6, 331776 histories
At size 6, 335872 histories
At size 6, 339968 histories
At size 6, 344064 histories
At size 6, 348160 histories
At size 6, 352256 histories
At size 6, 356352 histories
At size 6, 360448 histories
At size 6, 364544 histories
At size 6, 368640 histories
At size 6, 372736 histories
At size 6, 376832 histories
At size 6, 380928 histories
At size 6, 385024 histories
At size 6, 389120 histories
At size 6, 393216 histories
At size 6, 397312 histories
At size 6, 401408 histories
At size 6, 405504 histories
At size 6, 409600 histories
At size 6, 413696 histories
At size 6, 417792 histories
At size 6, 421888 histories
At size 6, 425984 histories
At size 6, 430080 histories
At size 6, 434176 histories
At size 6, 438272 histories
At size 6, 442368 histories
At size 6, 446464 histories
At size 6, 450560 histories
At size 6, 454656 histories
At size 6, 458752 histories
At size 6, 462848 histories
At size 6, 466944 histories
At size 6, 471040 histories
At size 6, 475136 histories
At size 6, 479232 histories
At size 6, 483328 histories
At size 6, 487424 histories
At size 6, 491520 histories
At size 6, 495616 histories
At size 6, 499712 histories
At size 6, 503808 histories
At size 7, 507904 histories
At size 7, 512000 histories
At size 7, 516096 histories
At size 7, 520192 histories
At size 7, 524288 histories
At size 7, 528384 histories
At size 7, 532480 histories
At size 7, 536576 histories
At size 7, 540672 histories
At size 7, 544768 histories
At size 7, 548864 histories
At size 7, 552960 histories
At size 7, 557056 histories
At size 7, 561152 histories
At size 7, 565248 histories
At size 7, 569344 histories
At size 7, 573440 histories
At size 7, 577536 histories
At size 7, 581632 histories
At size 7, 585728 histories
At size 7, 589824 histories
At size 7, 593920 histories
At size 7, 598016 histories
At size 7, 602112 histories
At size 7, 606208 histories
At size 7, 610304 histories
At size 7, 614400 histories
At size 7, 618496 histories
At size 7, 622592 histories
At size 7, 626688 histories
At size 7, 630784 histories
At size 7, 634880 histories
At size 7, 638976 histories
At size 7, 643072 histories
At size 7, 647168 histories
At size 7, 651264 histories
At size 7, 655360 histories
At size 7, 659456 histories
At size 7, 663552 histories
At size 7, 667648 histories
At size 7, 671744 histories
At size 7, 675840 histories
At size 7, 679936 histories
At size 7, 684032 histories
At size 7, 688128 histories
At size 7, 692224 histories
At size 7, 696320 histories
At size 7, 700416 histories
At size 7, 704512 histories
At size 7, 708608 histories
At size 7, 712704 histories
At size 7, 716800 histories
At size 7, 720896 histories
At size 7, 724992 histories
At size 7, 729088 histories
At size 7, 733184 histories
At size 7, 737280 histories
At size 7, 741376 histories
At size 7, 745472 histories
At size 7, 749568 histories
At size 7, 753664 histories
At size 7, 757760 histories
At size 7, 761856 histories
At size 7, 765952 histories
At size 7, 770048 histories
At size 7, 774144 histories
At size 7, 778240 histories
At size 7, 782336 histories
At size 7, 786432 histories
At size 7, 790528 histories
At size 7, 794624 histories
At size 7, 798720 histories
At size 7, 802816 histories
At size 7, 806912 histories
At size 7, 811008 histories
At size 7, 815104 histories
At size 7, 819200 histories
At size 7, 823296 histories
At size 7, 827392 histories
At size 7, 831488 histories
At size 7, 835584 histories
At size 8, 839680 histories
At size 8, 843776 histories
At size 8, 847872 histories
At size 8, 851968 histories
At size 8, 856064 histories
At size 8, 860160 histories
At size 8, 864256 histories
At size 8, 868352 histories
At size 8, 872448 histories
At size 8, 876544 histories
At size 8, 880640 histories
At size 8, 884736 histories
At size 8, 888832 histories
At size 8, 892928 histories
At size 8, 897024 histories
At size 8, 901120 histories
At size 8, 905216 histories
At size 8, 909312 histories
At size 8, 913408 histories
At size 8, 917504 histories
At size 8, 921600 histories
At size 8, 925696 histories
At size 8, 929792 histories
At size 8, 933888 histories
At size 8, 937984 histories
At size 8, 942080 histories
At size 8, 946176 histories
At size 8, 950272 histories
At size 8, 954368 histories
At size 8, 958464 histories
At size 8, 962560 histories
At size 8, 966656 histories
At size 8, 970752 histories
At size 8, 974848 histories
At size 8, 978944 histories
At size 8, 983040 histories
At size 8, 987136 histories
At size 8, 991232 histories
At size 8, 995328 histories
At size 8, 999424 histories
At size 8, 1003520 histories
At size 8, 1007616 histories
At size 8, 1011712 histories
At size 8, 1015808 histories
At size 8, 1019904 histories
At size 8, 1024000 histories
At size 8, 1028096 histories
At size 8, 1032192 histories
At size 8, 1036288 histories
At size 8, 1040384 histories
At size 8, 1044480 histories
At size 8, 1048576 histories
At size 8, 1052672 histories
At size 8, 1056768 histories
At size 8, 1060864 histories
At size 8, 1064960 histories
At size 8, 1069056 histories
At size 8, 1073152 histories
At size 8, 1077248 histories
At size 8, 1081344 histories
At size 8, 1085440 histories
At size 8, 1089536 histories
At size 8, 1093632 histories
At size 8, 1097728 histories
At size 8, 1101824 histories
At size 8, 1105920 histories
At size 8, 1110016 histories
At size 8, 1114112 histories
At size 8, 1118208 histories
At size 8, 1122304 histories
At size 8, 1126400 histories
At size 8, 1130496 histories
At size 8, 1134592 histories
At size 8, 1138688 histories
At size 8, 1142784 histories
At size 8, 1146880 histories
At size 8, 1150976 histories
At size 9, 1155072 histories
At size 9, 1159168 histories
At size 9, 1163264 histories
At size 9, 1167360 histories
At size 9, 1171456 histories
At size 9, 1175552 histories
At size 9, 1179648 histories
At size 9, 1183744 histories
At size 9, 1187840 histories
At size 9, 1191936 histories
At size 9, 1196032 histories
At size 9, 1200128 histories
At size 9, 1204224 histories
At size 9, 1208320 histories
At size 9, 1212416 histories
At size 9, 1216512 histories
At size 9, 1220608 histories
At size 9, 1224704 histories
At size 9, 1228800 histories
At size 9, 1232896 histories
At size 9, 1236992 histories
At size 9, 1241088 histories
At size 9, 1245184 histories
At size 9, 1249280 histories
At size 9, 1253376 histories
At size 9, 1257472 histories
At size 9, 1261568 histories
At size 9, 1265664 histories
At size 9, 1269760 histories
At size 9, 1273856 histories
At size 9, 1277952 histories
At size 9, 1282048 histories
At size 9, 1286144 histories
At size 9, 1290240 histories
At size 9, 1294336 histories
At size 9, 1298432 histories
At size 9, 1302528 histories
At size 9, 1306624 histories
At size 9, 1310720 histories
At size 9, 1314816 histories
At size 9, 1318912 histories
At size 9, 1323008 histories
At size 9, 1327104 histories
At size 9, 1331200 histories
At size 9, 1335296 histories
At size 9, 1339392 histories
At size 9, 1343488 histories
At size 9, 1347584 histories
At size 9, 1351680 histories
At size 9, 1355776 histories
At size 9, 1359872 histories
At size 9, 1363968 histories
At size 9, 1368064 histories
At size 9, 1372160 histories
At size 9, 1376256 histories
At size 9, 1380352 histories
At size 9, 1384448 histories
At size 9, 1388544 histories
At size 9, 1392640 histories
At size 9, 1396736 histories
At size 9, 1400832 histories
At size 9, 1404928 histories
At size 9, 1409024 histories
At size 9, 1413120 histories
At size 9, 1417216 histories
At size 9, 1421312 histories
At size 9, 1425408 histories
At size 9, 1429504 histories
At size 9, 1433600 histories
At size 9, 1437696 histories
At size 9, 1441792 histories
At size 9, 1445888 histories
At size 9, 1449984 histories
At size 9, 1454080 histories
At size 9, 1458176 histories
At size 9, 1462272 histories
At size 9, 1466368 histories
At size 9, 1470464 histories
At size 9, 1474560 histories
At size 9, 1478656 histories
At size 9, 1482752 histories
At size 9, 1486848 histories
At size 9, 1490944 histories
At size 9, 1495040 histories
At size 9, 1499136 histories
At size 9, 1503232 histories
At size 9, 1507328 histories
At size 9, 1511424 histories
At size 9, 1515520 histories
At size 9, 1519616 histories
At size 9, 1523712 histories
At size 9, 1527808 histories
At size 9, 1531904 histories
At size 9, 1536000 histories
At size 9, 1540096 histories
At size 9, 1544192 histories
At size 9, 1548288 histories
At size 9, 1552384 histories
At size 9, 1556480 histories
At size 9, 1560576 histories
At size 9, 1564672 histories
At size 9, 1568768 histories
At size 9, 1572864 histories
At size 9, 1576960 histories
At size 9, 1581056 histories
At size 9, 1585152 histories
At size 10, 1589248 histories
At size 10, 1593344 histories
At size 10, 1597440 histories
At size 10, 1601536 histories
At size 10, 1605632 histories
At size 10, 1609728 histories
At size 10, 1613824 histories
At size 10, 1617920 histories
At size 10, 1622016 histories
At size 10, 1626112 histories
At size 10, 1630208 histories
At size 11, 1634304 histories
At size 11, 1638400 histories
At size 11, 1642496 histories
At size 11, 1646592 histories
At size 11, 1650688 histories
At size 11, 1654784 histories
At size 11, 1658880 histories
At size 11, 1662976 histories
At size 11, 1667072 histories
At size 11, 1671168 histories
At size 11, 1675264 histories
At size 11, 1679360 histories
At size 11, 1683456 histories
At size 11, 1687552 histories
At size 11, 1691648 histories
At size 11, 1695744 histories
At size 11, 1699840 histories
At size 11, 1703936 histories
At size 11, 1708032 histories
At size 11, 1712128 histories
At size 11, 1716224 histories
At size 11, 1720320 histories
At size 11, 1724416 histories
At size 11, 1728512 histories
At size 11, 1732608 histories
At size 11, 1736704 histories
At size 11, 1740800 histories
At size 11, 1744896 histories
At size 11, 1748992 histories
At size 11, 1753088 histories
At size 11, 1757184 histories
At size 11, 1761280 histories
At size 11, 1765376 histories
At size 11, 1769472 histories
At size 11, 1773568 histories
At size 11, 1777664 histories
At size 11, 1781760 histories
At size 11, 1785856 histories
At size 12, 1789952 histories
At size 12, 1794048 histories
At size 12, 1798144 histories
At size 12, 1802240 histories
At size 12, 1806336 histories
At size 13, 1810432 histories
At size 13, 1814528 histories
time 69.936
mem 1021
hist 1816762
events 1816762
cond 6268482
gen 117277
read 0
comp 0
r(h) 0.00
s(h) 0.00
co(r) 31.88
rco(r) 0.00
mrk(h) 10.01
pre(e) 3.17
ctx(e) 0.00
pst(e) 3.45
cutoffs 1765508
ewhite 51254
egray 0
eblack 1765508
net /tmp/m.ll_net
main: Formula 0
deadlock: p.id().c_str()='p_1_deadlock'
inv_dead: p.id().c_str()='p_1_deadlock'
main: Formula 1
deadlock: p.id().c_str()='p_47_deadlock'
deadlock: Running cna: 'cna-mcc u.cuf /tmp/cna.out --deadlock --reduce 4-tree stb bin sccred'
debug: 0.0: load cuf
Traceback (most recent call last):
File "/home/mcc/BenchKit/bin//cna-mcc", line 13, in
sys.stderr ('cna: error: %s\n' % str (e))
TypeError: 'file' object is not callable
deadlock: buff=''

--------------------
content from /tmp/BenchKit_head_log_file.1724: