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=NeoElection-PT-5
export BK_EXAMINATION=CTLFireability
export BK_TOOL=marcie
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1661
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/NeoElection-PT-5
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool marcie:'
echo ' Test is NeoElection-PT-5, examination is CTLFireability'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

Execution Outputs of marcie for NeoElection/5 (P/T)

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

execution on node 30: cluster1u32.lip6.fr (runId=136959876701537_n_30)
=====================================================================
runnning marcie on NeoElection-PT-5 (CTLFireability)
We got on stdout:
Probing ssh
Waiting ssh to respond
Ssh up and responding
=====================================================================
Generated by BenchKit 1.0
Executing tool marcie:
Test is NeoElection-PT-5, examination is CTLFireability
=====================================================================

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

START 1369637239

Marcie rev. 1103M (build: rohrch on 2013-02-17)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mem=4 --mcc-file=CTLFireability.txt

constant oo registered with value < INFINITY >
parse successfull!


(NrP: 3090 NrTr: 4674)

net check time: 0m0sec

CANNOT_COMPUTE

STOP 1369637240

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

check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok

mcc/mcc_parse.cc:759: Exception: parse error ctl p_1845_fireability_x: E G (X (poll__handleAI2_174? | poll__handleAI2_1435? | poll__handleAI2_404? | poll__handleAI2_760? | poll__handleAI2_569? | poll__handleAI2_629? | poll__handleAI2_1263? | poll__handleAI2_1705? | poll__handleAI2_1269? | poll__handleAI2_1130? | poll__handleAI2_914? | poll__handleAI2_818? | poll__handleAI2_43? | poll__handleAI2_682? | poll__handleAI2_835? | poll__handleAI2_790? | poll__handleAI2_395? | poll__handleAI2_1571? | poll__handleAI2_616? | poll__handleAI2_159? | poll__handleAI2_1709? | poll__handleAI2_1861? | poll__handleAI2_474? | poll__handleAI2_170? | poll__handleAI2_1438? | poll__handleAI2_327? | poll__handleAI2_500? | poll__handleAI2_251? | poll__handleAI2_614? | poll__handleAI2_1292? | poll__handleAI2_99? | poll__handleAI2_1567? | poll__handleAI2_1350? | poll__handleAI2_199? | poll__handleAI2_936? | poll__handleAI2_1644? | poll__handleAI2_1364? | poll__handleAI2_374? | poll__handleAI2_906? | poll__handleAI2_98? | poll__handleAI2_1368? | poll__handleAI2_421? | poll__handleAI2_1574? | poll__handleAI2_1345? | poll__handleAI2_482? | poll__handleAI2_821? | poll__handleAI2_679? | poll__handleAI2_237? | poll__handleAI2_17? | poll__handleAI2_534? | poll__handleAI2_623? | poll__handleAI2_90? | poll__handleAI2_2160? | poll__handleAI2_133? | poll__handleAI2_750? | poll__handleAI2_1052? | poll__handleAI2_1076? | poll__handleAI2_749? | poll__handleAI2_769? | poll__handleAI2_375? | poll__handleAI2_107? | poll__handleAI2_676? | poll__handleAI2_252? | poll__handleAI2_1420? | poll__handleAI2_714? | poll__handleAI2_1078? | poll__handleAI2_1270? | poll__handleAI2_417? | poll__handleAI2_675? | poll__handleAI2_784? | poll__handleAI2_1584? | poll__handleAI2_603? | poll__handleAI2_996? | poll__handleAI2_1724? | poll__handleAI2_1075? | poll__handleAI2_1862? | poll__handleAI2_697? | poll__handleAI2_1419? | poll__handleAI2_643? | poll__handleAI2_1194? | poll__handleAI2_246? | poll__handleAI2_336? | poll__handleAI2_284? | poll__handleAI2_2007? | poll__handleAI2_18? | poll__handleAI2_72? | poll__handleAI2_1633? | poll__handleAI2_240? | poll__handleAI2_1583? | poll__handleAI2_280? | poll__handleAI2_34? | poll__handleAI2_2083? | poll__handleAI2_247? | poll__handleAI2_531? | poll__handleAI2_257? | poll__handleAI2_398? | poll__handleAI2_1129? | poll__handleAI2_478? | poll__handleAI2_768? | poll__handleAI2_846? | poll__handleAI2_1192? | poll__handleAI2_71? | poll__handleAI2_91? | poll__handleAI2_973? | poll__handleAI2_1505? | poll__handleAI2_231? | poll__handleAI2_1266? | poll__handleAI2_306? | poll__handleAI2_1796? | poll__handleAI2_184? | poll__handleAI2_975? | poll__handleAI2_69? | poll__handleAI2_238? | poll__handleAI2_203? | poll__handleAI2_210? | poll__handleAI2_423? | poll__handleAI2_108? | poll__handleAI2_1277? | poll__handleAI2_330? | poll__handleAI2_351? | poll__handleAI2_1346? | poll__handleAI2_142? | poll__handleAI2_759? | poll__handleAI2_843? | poll__handleAI2_422? | poll__handleAI2_994? | poll__handleAI2_267? | poll__handleAI2_2156? | poll__handleAI2_269? | poll__handleAI2_1726? | poll__handleAI2_128? | poll__handleAI2_420? | poll__handleAI2_693? | poll__handleAI2_762? | poll__handleAI2_1293? | poll__handleAI2_2016? | poll__handleAI2_1216? | poll__handleAI2_274? | poll__handleAI2_1271? | poll__handleAI2_1643? | poll__handleAI2_1212? | poll__handleAI2_282? | poll__handleAI2_1579? | poll__handleAI2_464? | poll__handleAI2_173? | poll__handleAI2_93? | poll__handleAI2_265? | poll__handleAI2_1147? | poll__handleAI2_1272? | poll__handleAI2_139? | poll__handleAI2_109? | poll__handleAI2_485? | poll__handleAI2_1139? | poll__handleAI2_488? | poll__handleAI2_1728? | poll__handleAI2_1712? | poll__handleAI2_1265? | poll__handleAI2_617? | poll__handleAI2_1045? | poll__handleAI2_382? | poll__handleAI2_2151? | poll__handleAI2_195? | poll__handleAI2_383? | poll__handleAI2_1429? | poll__handleAI2_1720? | poll__handleAI2_1190? | poll__handleAI2_855? | poll__handleAI2_758? | poll__handleAI2_861? | poll__handleAI2_923? | poll__handleAI2_138? | poll__handleAI2_1721? | poll__handleAI2_711? | poll__handleAI2_411? | poll__handleAI2_348? | poll__handleAI2_118? | poll__handleAI2_400? | poll__handleAI2_532? | poll__handleAI2_1940? | poll__handleAI2_1210? | poll__handleAI2_204? | poll__handleAI2_32? | poll__handleAI2_919? | poll__handleAI2_820? | poll__handleAI2_863? | poll__handleAI2_313? | poll__handleAI2_317? | poll__handleAI2_187? | poll__handleAI2_778? | poll__handleAI2_13? | poll__handleAI2_1077? | poll__handleAI2_535? | poll__handleAI2_401? | poll__handleAI2_1202? | poll__handleAI2_1143? | poll__handleAI2_165? | poll__handleAI2_345? | poll__handleAI2_352? | poll__handleAI2_385? | poll__handleAI2_575? | poll__handleAI2_556? | poll__handleAI2_1654? | poll__handleAI2_186? | poll__handleAI2_312? | poll__handleAI2_1499? | poll__handleAI2_194? | poll__handleAI2_141? | poll__handleAI2_909? | poll__handleAI2_102? | poll__handleAI2_308? | poll__handleAI2_628? | poll__handleAI2_180? | poll__handleAI2_688? | poll__handleAI2_754? | poll__handleAI2_976? | poll__handleAI2_127? | poll__handleAI2_59? | poll__handleAI2_1497? | poll__handleAI2_1347? | poll__handleAI2_696? | poll__handleAI2_915? | poll__handleAI2_1196? | poll__handleAI2_1005? | poll__handleAI2_1286? | poll__handleAI2_463? | poll__handleAI2_42? | poll__handleAI2_615? | poll__handleAI2_918? | poll__handleAI2_214? | poll__handleAI2_611? | poll__handleAI2_54? | poll__handleAI2_1047? | poll__handleAI2_1146? | poll__handleAI2_397? | poll__handleAI2_396? | poll__handleAI2_1790? | poll__handleAI2_425? | poll__handleAI2_850? | poll__handleAI2_1638? | poll__handleAI2_1073? | poll__handleAI2_562? | poll__handleAI2_788? | poll__handleAI2_634? | poll__handleAI2_677? | poll__handleAI2_1436? | poll__handleAI2_1793? | poll__handleAI2_974? | poll__handleAI2_51? | poll__handleAI2_1274? | poll__handleAI2_61? | poll__handleAI2_830? | poll__handleAI2_554? | poll__handleAI2_103? | poll__handleAI2_995? | poll__handleAI2_604? | poll__handleAI2_921? | poll__handleAI2_1281? | poll__handleAI2_22? | poll__handleAI2_1211? | poll__handleAI2_1220? | poll__handleAI2_239? | poll__handleAI2_1151? | poll__handleAI2_576? | poll__handleAI2_202? | poll__handleAI2_24? | poll__handleAI2_2011? | poll__handleAI2_1494? | poll__handleAI2_129? | poll__handleAI2_285? | poll__handleAI2_254? | poll__handleAI2_1066? | poll__handleAI2_1634? | poll__handleAI2_753? | poll__handleAI2_1273? | poll__handleAI2_503? | poll__handleAI2_44? | poll__handleAI2_198? | poll__handleAI2_1507? | poll__handleAI2_201? | poll__handleAI2_541? | poll__handleAI2_902? | poll__handleAI2_167? | poll__handleAI2_619? | poll__handleAI2_27? | poll__handleAI2_492? | poll__handleAI2_471? | poll__handleAI2_1503? | poll__handleAI2_409? | poll__handleAI2_1713? | poll__handleAI2_673? | poll__handleAI2_998? | poll__handleAI2_1067? | poll__handleAI2_935? | poll__handleAI2_928? | poll__handleAI2_1361? | poll__handleAI2_58? | poll__handleAI2_913? | poll__handleAI2_701? | poll__handleAI2_841? | poll__handleAI2_94? | poll__handleAI2_1725? | poll__handleAI2_2086? | poll__handleAI2_124? | poll__handleAI2_498? | poll__handleAI2_544? | poll__handleAI2_779? | poll__handleAI2_557? | poll__handleAI2_916? | poll__handleAI2_2088? | poll__handleAI2_100? | poll__handleAI2_407? | poll__handleAI2_631? | poll__handleAI2_389? | poll__handleAI2_2013? | poll__handleAI2_341? | poll__handleAI2_639? | poll__handleAI2_747? | poll__handleAI2_2087? | poll__handleAI2_825? | poll__handleAI2_853? | poll__handleAI2_645? | poll__handleAI2_1572? | poll__handleAI2_476? | poll__handleAI2_609? | poll__handleAI2_1434? | poll__handleAI2_537? | poll__handleAI2_116? | poll__handleAI2_1120? | poll__handleAI2_625? | poll__handleAI2_45? | poll__handleAI2_1152? | poll__handleAI2_988? | poll__handleAI2_601? | poll__handleAI2_158? | poll__handleAI2_1652? | poll__handleAI2_1489? | poll__handleAI2_822? | poll__handleAI2_1440? | poll__handleAI2_1427? | poll__handleAI2_854? | poll__handleAI2_1215? | poll__handleAI2_1432? | poll__handleAI2_465? | poll__handleAI2_178? | poll__handleAI2_529? | poll__handleAI2_691? | poll__handleAI2_339? | poll__handleAI2_1118? | poll__handleAI2_325? | poll__handleAI2_567? | poll__handleAI2_648? | poll__handleAI2_1566? | poll__handleAI2_1715? | poll__handleAI2_1204? | poll__handleAI2_706? | poll__handleAI2_1348? | poll__handleAI2_987? | poll__handleAI2_1000? | poll__handleAI2_504? | poll__handleAI2_20? | poll__handleAI2_234? | poll__handleAI2_1867? | poll__handleAI2_340? | poll__handleAI2_685? | poll__handleAI2_1289? | poll__handleAI2_912? | poll__handleAI2_307? | poll__handleAI2_991? | poll__handleAI2_1294? | poll__handleAI2_1935? | poll__handleAI2_428? | poll__handleAI2_770? | poll__handleAI2_761? | poll__handleAI2_1219? | poll__handleAI2_1576? | poll__handleAI2_1217? | poll__handleAI2_29? | poll__handleAI2_92? | poll__handleAI2_211? | poll__handleAI2_783? | poll__handleAI2_1366? | poll__handleAI2_924? | poll__handleAI2_276? | poll__handleAI2_1061? | poll__handleAI2_681? | poll__handleAI2_1065? | poll__handleAI2_429? | poll__handleAI2_1062? | poll__handleAI2_613? | poll__handleAI2_140? | poll__handleAI2_497? | poll__handleAI2_612? | poll__handleAI2_2152? | poll__handleAI2_119? | poll__handleAI2_144? | poll__handleAI2_552? | poll__handleAI2_309? | poll__handleAI2_565? | poll__handleAI2_1288? | poll__handleAI2_1070? | poll__handleAI2_242? | poll__handleAI2_390? | poll__handleAI2_1707? | poll__handleAI2_2010? | poll__handleAI2_831? | poll__handleAI2_469? | poll__handleAI2_342? | poll__handleAI2_392? | poll__handleAI2_305? | poll__handleAI2_191? | poll__handleAI2_1938? | poll__handleAI2_49? | poll__handleAI2_1189? | poll__handleAI2_1128? | poll__handleAI2_65? | poll__handleAI2_709? | poll__handleAI2_264? | poll__handleAI2_416? | poll__handleAI2_380? | poll__handleAI2_2012? | poll__handleAI2_641? | poll__handleAI2_1564? | poll__handleAI2_1512? | poll__handleAI2_1794? | poll__handleAI2_1353? | poll__handleAI2_494? | poll__handleAI2_318? | poll__handleAI2_496? | poll__handleAI2_1054? | poll__handleAI2_1716? | poll__handleAI2_26? | poll__handleAI2_689? | poll__handleAI2_470? | poll__handleAI2_1004? | poll__handleAI2_122? | poll__handleAI2_780? | poll__handleAI2_859? | poll__handleAI2_1799? | poll__handleAI2_543? | poll__handleAI2_1046? | poll__handleAI2_258? | poll__handleAI2_349? | poll__handleAI2_475? | poll__handleAI2_1565? | poll__handleAI2_487? | poll__handleAI2_985? | poll__handleAI2_1079? | poll__handleAI2_1074? | poll__handleAI2_823? | poll__handleAI2_480? | poll__handleAI2_1198? | poll__handleAI2_844? | poll__handleAI2_1059? | poll__handleAI2_542? | poll__handleAI2_715? | poll__handleAI2_35? | poll__handleAI2_1562? | poll__handleAI2_772? | poll__handleAI2_112? | poll__handleAI2_992? | poll__handleAI2_66? | poll__handleAI2_1637? | poll__handleAI2_1795? | poll__handleAI2_1203? | poll__handleAI2_1656? | poll__handleAI2_2005? | poll__handleAI2_266? | poll__handleAI2_901? | poll__handleAI2_555? | poll__handleAI2_979? | poll__handleAI2_316? | poll__handleAI2_1008? | poll__handleAI2_324? | poll__handleAI2_354? | poll__handleAI2_1126? | poll__handleAI2_245? | poll__handleAI2_2077? | poll__handleAI2_200? | poll__handleAI2_1007? | poll__handleAI2_1214? | poll__handleAI2_635? | poll__handleAI2_1933? | poll__handleAI2_196? | poll__handleAI2_864? | poll__handleAI2_606? | poll__handleAI2_278? | poll__handleAI2_502? | poll__handleAI2_1352? | poll__handleAI2_256? | poll__handleAI2_229? | poll__handleAI2_993? | poll__handleAI2_836? | poll__handleAI2_929? | poll__handleAI2_490? | poll__handleAI2_322? | poll__handleAI2_53? | poll__handleAI2_393? | poll__handleAI2_819? | poll__handleAI2_125? | poll__handleAI2_1003? | poll__handleAI2_302? | poll__handleAI2_786? | poll__handleAI2_460? | poll__handleAI2_977? | poll__handleAI2_1646? | poll__handleAI2_1727? | poll__handleAI2_373? | poll__handleAI2_412? | poll__handleAI2_1213? | poll__handleAI2_207? | poll__handleAI2_1568? | poll__handleAI2_1581? | poll__handleAI2_1280? | poll__handleAI2_1422? | poll__handleAI2_558? | poll__handleAI2_357? | poll__handleAI2_1002? | poll__handleAI2_457? | poll__handleAI2_33? | poll__handleAI2_64? | poll__handleAI2_40? | poll__handleAI2_746? | poll__handleAI2_1570? | poll__handleAI2_1490? | poll__handleAI2_403? | poll__handleAI2_486? | poll__handleAI2_57? | poll__handleAI2_334? | poll__handleAI2_642? | poll__handleAI2_391? | poll__handleAI2_1426? | poll__handleAI2_1649? | poll__handleAI2_847? | poll__handleAI2_2155? | poll__handleAI2_106? | poll__handleAI2_1119? | poll__handleAI2_622? | poll__handleAI2_856? | poll__handleAI2_1275? | poll__handleAI2_326? | poll__handleAI2_1424? | poll__handleAI2_533? | poll__handleAI2_67? | poll__handleAI2_206? | poll__handleAI2_135? | poll__handleAI2_636? | poll__handleAI2_399? | poll__handleAI2_1290? | poll__handleAI2_1866? | poll__handleAI2_1261? | poll__handleAI2_1431? | poll__handleAI2_774? | poll__handleAI2_321? | poll__handleAI2_640? | poll__handleAI2_386? | poll__handleAI2_279? | poll__handleAI2_833? | poll__handleAI2_495? | poll__handleAI2_1080? | poll__handleAI2_1430? | poll__handleAI2_2006? | poll__handleAI2_561? | poll__handleAI2_89? | poll__handleAI2_1645? | poll__handleAI2_904? | poll__handleAI2_353? | poll__handleAI2_1936? | poll__handleAI2_1137? | poll__handleAI2_501? | poll__handleAI2_927? | poll__handleAI2_271? | poll__handleAI2_745? | poll__handleAI2_1051? | poll__handleAI2_703? | poll__handleAI2_1069? | poll__handleAI2_1710? | poll__handleAI2_192? | poll__handleAI2_550? | poll__handleAI2_1063? | poll__handleAI2_115? | poll__handleAI2_491? | poll__handleAI2_28? | poll__handleAI2_55? | poll__handleAI2_782? | poll__handleAI2_188? | poll__handleAI2_683? | poll__handleAI2_934? | poll__handleAI2_1510? | poll__handleAI2_1635? | poll__handleAI2_560? | poll__handleAI2_699? | poll__handleAI2_481? | poll__handleAI2_2078? | poll__handleAI2_764? | poll__handleAI2_908? | poll__handleAI2_787? | poll__handleAI2_483? | poll__handleAI2_183? | poll__handleAI2_1150? | poll__handleAI2_177? | poll__handleAI2_126? | poll__handleAI2_1500? | poll__handleAI2_46? | poll__handleAI2_1648? | poll__handleAI2_1133? | poll__handleAI2_175? | poll__handleAI2_121? | poll__handleAI2_314? | poll__handleAI2_101? | poll__handleAI2_1276? | poll__handleAI2_1138? | poll__handleAI2_1580? | poll__handleAI2_573? | poll__handleAI2_281? | poll__handleAI2_283? | poll__handleAI2_932? | poll__handleAI2_168? | poll__handleAI2_376? | poll__handleAI2_1706? | poll__handleAI2_1224? | poll__handleAI2_466? | poll__handleAI2_1943? | poll__handleAI2_718? | poll__handleAI2_1563? | poll__handleAI2_1267? | poll__handleAI2_235? | poll__handleAI2_181? | poll__handleAI2_310? | poll__handleAI2_1797? | poll__handleAI2_1941? | poll__handleAI2_610? | poll__handleAI2_134? | poll__handleAI2_88? | poll__handleAI2_215? | poll__handleAI2_1800? | poll__handleAI2_559? | poll__handleAI2_1496? | poll__handleAI2_1125? | poll__handleAI2_608? | poll__handleAI2_414? | poll__handleAI2_710? | poll__handleAI2_176? | poll__handleAI2_39? | poll__handleAI2_1117? | poll__handleAI2_840? | poll__handleAI2_1365? | poll__handleAI2_832? | poll__handleAI2_538? | poll__handleAI2_169? | poll__handleAI2_990? | poll__handleAI2_95? | poll__handleAI2_911? | poll__handleAI2_829? | poll__handleAI2_68? | poll__handleAI2_1001? | poll__handleAI2_1222? | poll__handleAI2_828? | poll__handleAI2_834? | poll__handleAI2_249? | poll__handleAI2_1056? | poll__handleAI2_539? | poll__handleAI2_978? | poll__handleAI2_36? | poll__handleAI2_1058? | poll__handleAI2_1714? | poll__handleAI2_792? | poll__handleAI2_700? | poll__handleAI2_163? | poll__handleAI2_644? | poll__handleAI2_162? | poll__handleAI2_405? | poll__handleAI2_1055? | poll__handleAI2_205? | poll__handleAI2_431? | poll__handleAI2_288? | poll__handleAI2_719? | poll__handleAI2_1864? | poll__handleAI2_716? | poll__handleAI2_1268? | poll__handleAI2_626? | poll__handleAI2_37? | poll__handleAI2_791? | poll__handleAI2_136? | poll__handleAI2_860? | poll__handleAI2_2150? | poll__handleAI2_1367? | poll__handleAI2_1049? | poll__handleAI2_838? | poll__handleAI2_910? | poll__handleAI2_1131? | poll__handleAI2_1502? | poll__handleAI2_618? | poll__handleAI2_917? | poll__handleAI2_1355? | poll__handleAI2_426? | poll__handleAI2_857? | poll__handleAI2_858? | poll__handleAI2_130? | poll__handleAI2_111? | poll__handleAI2_335? | poll__handleAI2_1508? | poll__handleAI2_692? | poll__handleAI2_350? | poll__handleAI2_1141? | poll__handleAI2_638? | poll__handleAI2_2014? | poll__handleAI2_1504? | poll__handleAI2_347? | poll__handleAI2_566? | poll__handleAI2_536? | poll__handleAI2_568? | poll__handleAI2_459? | poll__handleAI2_2159? | poll__handleAI2_172? | poll__handleAI2_360? | poll__handleAI2_15? | poll__handleAI2_680? | poll__handleAI2_408? | poll__handleAI2_461? | poll__handleAI2_85? | poll__handleAI2_564? | poll__handleAI2_842? | poll__handleAI2_86? | poll__handleAI2_1121? | poll__handleAI2_38? | poll__handleAI2_2009? | poll__handleAI2_713? | poll__handleAI2_87? | poll__handleAI2_2149? | poll__handleAI2_193? | poll__handleAI2_25? | poll__handleAI2_1789? | poll__handleAI2_255? | poll__handleAI2_1149? | poll__handleAI2_430? | poll__handleAI2_627? | poll__handleAI2_1493? | poll__handleAI2_1718? | poll__handleAI2_607? | poll__handleAI2_384? | poll__handleAI2_212? | poll__handleAI2_999? | poll__handleAI2_275? | poll__handleAI2_712? | poll__handleAI2_47? | poll__handleAI2_1722? | poll__handleAI2_686? | poll__handleAI2_1868? | poll__handleAI2_248? | poll__handleAI2_1653? | poll__handleAI2_402? | poll__handleAI2_1193? | poll__handleAI2_473? | poll__handleAI2_164? | poll__handleAI2_545? | poll__handleAI2_419? | poll__handleAI2_572? | poll__handleAI2_1278? | poll__handleAI2_707? | poll__handleAI2_1863? | poll__handleAI2_1865? | poll__handleAI2_1934? | poll__handleAI2_120? | poll__handleAI2_1354? | poll__handleAI2_458? | poll__handleAI2_1639? | poll__handleAI2_981? | poll__handleAI2_1199? | poll__handleAI2_1577? | poll__handleAI2_708? | poll__handleAI2_997? | poll__handleAI2_48? | poll__handleAI2_989? | poll__handleAI2_394? | poll__handleAI2_1208? | poll__handleAI2_925? | poll__handleAI2_209? | poll__handleAI2_574? | poll__handleAI2_704? | poll__handleAI2_418? | poll__handleAI2_1650? | poll__handleAI2_358? | poll__handleAI2_771? | poll__handleAI2_387? | poll__handleAI2_63? | poll__handleAI2_548? | poll__handleAI2_530? | poll__handleAI2_982? | poll__handleAI2_1283? | poll__handleAI2_157? | poll__handleAI2_690? | poll__handleAI2_117? | poll__handleAI2_765? | poll__handleAI2_338? | poll__handleAI2_827? | poll__handleAI2_359? | poll__handleAI2_233? | poll__handleAI2_230? | poll__handleAI2_563? | poll__handleAI2_687? | poll__handleAI2_2158? | poll__handleAI2_1428? | poll__handleAI2_546? | poll__handleAI2_303? | poll__handleAI2_343? | poll__handleAI2_286? | poll__handleAI2_1723? | poll__handleAI2_1495? | poll__handleAI2_903? | poll__handleAI2_1944? | poll__handleAI2_1356? | poll__handleAI2_427? | poll__handleAI2_213? | poll__handleAI2_776? | poll__handleAI2_1492? | poll__handleAI2_16? | poll__handleAI2_132? | poll__handleAI2_930? | poll__handleAI2_837? | poll__handleAI2_1068? | poll__handleAI2_333? | poll__handleAI2_424? | poll__handleAI2_1717? | poll__handleAI2_1869? | poll__handleAI2_406? | poll__handleAI2_624? | poll__handleAI2_1264? | poll__handleAI2_647? | poll__handleAI2_1201? | poll__handleAI2_678? | poll__handleAI2_1636? | poll__handleAI2_50? | poll__handleAI2_410? | poll__handleAI2_479? | poll__handleAI2_131? | poll__handleAI2_1798? | poll__handleAI2_845? | poll__handleAI2_260? | poll__handleAI2_540? | poll__handleAI2_1191? | poll__handleAI2_766? | poll__handleAI2_767? | poll__handleAI2_852? | poll__handleAI2_1221? | poll__handleAI2_983? | poll__handleAI2_1197? | poll__handleAI2_785? | poll__handleAI2_1872? | poll__handleAI2_602? | poll__handleAI2_862? | poll__handleAI2_493? | poll__handleAI2_1136? | poll__handleAI2_1719? | poll__handleAI2_773? | poll__handleAI2_56? | poll__handleAI2_272? | poll__handleAI2_1291? | poll__handleAI2_1144? | poll__handleAI2_1509? | poll__handleAI2_851? | poll__handleAI2_143? | poll__handleAI2_839? | poll__handleAI2_1282? | poll__handleAI2_171? | poll__handleAI2_1122? | poll__handleAI2_1647? | poll__handleAI2_926? | poll__handleAI2_1279? | poll__handleAI2_241? | poll__handleAI2_547? | poll__handleAI2_1870? | poll__handleAI2_1640? | poll__handleAI2_570? | poll__handleAI2_311? | poll__handleAI2_344? | poll__handleAI2_1506? | poll__handleAI2_817? | poll__handleAI2_19? | poll__handleAI2_907? | poll__handleAI2_551? | poll__handleAI2_1358? | poll__handleAI2_1072? | poll__handleAI2_1351? | poll__handleAI2_674? | poll__handleAI2_1209? | poll__handleAI2_379? | poll__handleAI2_432? | poll__handleAI2_702? | poll__handleAI2_637? | poll__handleAI2_621? | poll__handleAI2_1207? | poll__handleAI2_777? | poll__handleAI2_763? | poll__handleAI2_2008? | poll__handleAI2_190? | poll__handleAI2_1423? | poll__handleAI2_1205? | poll__handleAI2_1195? | poll__handleAI2_23? | poll__handleAI2_695? | poll__handleAI2_756? | poll__handleAI2_1417? | poll__handleAI2_632? | poll__handleAI2_1349? | poll__handleAI2_301? | poll__handleAI2_97? | poll__handleAI2_232? | poll__handleAI2_1127? | poll__handleAI2_1148? | poll__handleAI2_931? | poll__handleAI2_620? | poll__handleAI2_1200? | poll__handleAI2_789? | poll__handleAI2_273? | poll__handleAI2_1064? | poll__handleAI2_1135? | poll__handleAI2_781? | poll__handleAI2_236? | poll__handleAI2_1295? | poll__handleAI2_986? | poll__handleAI2_1418? | poll__handleAI2_2157? | poll__handleAI2_826? | poll__handleAI2_1360? | poll__handleAI2_848? | poll__handleAI2_413? | poll__handleAI2_1651? | poll__handleAI2_1937? | poll__handleAI2_2153? | poll__handleAI2_346? | poll__handleAI2_323? | poll__handleAI2_849? | poll__handleAI2_1792? | poll__handleAI2_1048? | poll__handleAI2_1641? | poll__handleAI2_263? | poll__handleAI2_571? | poll__handleAI2_320? | poll__handleAI2_1433? | poll__handleAI2_1578? | poll__handleAI2_905? | poll__handleAI2_1939? | poll__handleAI2_1655? | poll__handleAI2_1582? | poll__handleAI2_1071? | poll__handleAI2_462? | poll__handleAI2_31? | poll__handleAI2_110? | poll__handleAI2_355? | poll__handleAI2_549? | poll__handleAI2_1145? | poll__handleAI2_388? | poll__handleAI2_21? | poll__handleAI2_216? | poll__handleAI2_1363? | poll__handleAI2_2154? | poll__handleAI2_41? | poll__handleAI2_378? | poll__handleAI2_1284? | poll__handleAI2_1511? | poll__handleAI2_243? | poll__handleAI2_824? | poll__handleAI2_1206? | poll__handleAI2_2085? | poll__handleAI2_489? | poll__handleAI2_1296? | poll__handleAI2_2082? | poll__handleAI2_356? | poll__handleAI2_1561? | poll__handleAI2_922? | poll__handleAI2_179? | poll__handleAI2_1575? | poll__handleAI2_1223? | poll__handleAI2_1142? | poll__handleAI2_717? | poll__handleAI2_933? | poll__handleAI2_468? | poll__handleAI2_332? | poll__handleAI2_30? | poll__handleAI2_1491? | poll__handleAI2_748? | poll__handleAI2_1362? | poll__handleAI2_328? | poll__handleAI2_250? | poll__handleAI2_1942? | poll__handleAI2_1132? | poll__handleAI2_62? | poll__handleAI2_1053? | poll__handleAI2_1359? | poll__handleAI2_2081? | poll__handleAI2_1060? | poll__handleAI2_123? | poll__handleAI2_1642? | poll__handleAI2_1218? | poll__handleAI2_96? | poll__handleAI2_630? | poll__handleAI2_472? | poll__handleAI2_1140? | poll__handleAI2_553? | poll__handleAI2_1425? | poll__handleAI2_752? | poll__handleAI2_1871? | poll__handleAI2_244? | poll__handleAI2_261? | poll__handleAI2_381? | poll__handleAI2_1569? | poll__handleAI2_1573? | poll__handleAI2_1285? | poll__handleAI2_499? | poll__handleAI2_1357? | poll__handleAI2_1006? | poll__handleAI2_705? | poll__handleAI2_605? | poll__handleAI2_1124? | poll__handleAI2_984? | poll__handleAI2_315? | poll__handleAI2_1050? | poll__handleAI2_1262? | poll__handleAI2_751? | poll__handleAI2_1711? | poll__handleAI2_467? | poll__handleAI2_2084? | poll__handleAI2_1791? | poll__handleAI2_684? | poll__handleAI2_268? | poll__handleAI2_757? | poll__handleAI2_633? | poll__handleAI2_1134? | poll__handleAI2_694? | poll__handleAI2_270? | poll__handleAI2_755? | poll__handleAI2_319? | poll__handleAI2_331? | poll__handleAI2_182? | poll__handleAI2_920? | poll__handleAI2_646? | poll__handleAI2_166? | poll__handleAI2_1057? | poll__handleAI2_1287? | poll__handleAI2_1421? | poll__handleAI2_262? | poll__handleAI2_980? | poll__handleAI2_1437? | poll__handleAI2_720? | poll__handleAI2_377? | poll__handleAI2_2015? | poll__handleAI2_1501? | poll__handleAI2_189? | poll__handleAI2_160? | poll__handleAI2_1708? | poll__handleAI2_477? | poll__handleAI2_137? | poll__handleAI2_287? | poll__handleAI2_775? | poll__handleAI2_104? | poll__handleAI2_415? | poll__handleAI2_337? | poll__handleAI2_259? | poll__handleAI2_185? | poll__handleAI2_484? | poll__handleAI2_2079? | poll__handleAI2_698? | poll__handleAI2_1498? | poll__handleAI2_1439? | poll__handleAI2_161? | poll__handleAI2_114? | poll__handleAI2_14? | poll__handleAI2_1123? | poll__handleAI2_70? | poll__handleAI2_197? | poll__handleAI2_113? | poll__handleAI2_52? | poll__handleAI2_329? | poll__handleAI2_304? | poll__handleAI2_60? | poll__handleAI2_277? | poll__handleAI2_105? | poll__handleAI2_253? | poll__handleAI2_2080? | poll__handleAI2_208?) & E G (startNeg__send_33? | startNeg__send_7? | startNeg__send_159? | startNeg__send_37? | startNeg__send_12? | startNeg__send_77? | startNeg__send_95? | startNeg__send_127? | startNeg__send_155? | startNeg__send_136? | startNeg__send_174? | startNeg__send_1? | startNeg__send_70? | startNeg__send_160? | startNeg__send_112? | startNeg__send_66? | startNeg__send_80? | startNeg__send_104? | startNeg__send_22? | startNeg__send_170? | startNeg__send_24? | startNeg__send_5? | startNeg__send_161? | startNeg__send_20? | startNeg__send_99? | startNeg__send_139? | startNeg__send_153? | startNeg__send_8? | startNeg__send_128? | startNeg__send_10? | startNeg__send_151? | startNeg__send_67? | startNeg__send_82? | startNeg__send_48? | startNeg__send_34? | startNeg__send_134? | startNeg__send_96? | startNeg__send_91? | startNeg__send_110? | startNeg__send_6? | startNeg__send_73? | startNeg__send_84? | startNeg__send_122? | startNeg__send_105? | startNeg__send_107? | startNeg__send_94? | startNeg__send_108? | startNeg__send_39? | startNeg__send_135? | startNeg__send_32? | startNeg__send_141? | startNeg__send_68? | startNeg__send_100? | startNeg__send_52? | startNeg__send_173? | startNeg__send_47? | startNeg__send_106? | startNeg__send_140? | startNeg__send_158? | startNeg__send_169? | startNeg__send_38? | startNeg__send_74? | startNeg__send_42? | startNeg__send_166? | startNeg__send_125? | startNeg__send_71? | startNeg__send_109? | startNeg__send_54? | startNeg__send_43? | startNeg__send_163? | startNeg__send_92? | startNeg__send_76? | startNeg__send_142? | startNeg__send_171? | startNeg__send_81? | startNeg__send_62? | startNeg__send_23? | startNeg__send_4? | startNeg__send_111? | startNeg__send_157? | startNeg__send_132? | startNeg__send_14? | startNeg__send_51? | startNeg__send_72? | startNeg__send_15? | startNeg__send_172? | startNeg__send_130? | startNeg__send_83? | startNeg__send_156? | startNeg__send_102? | startNeg__send_165? | startNeg__send_124? | startNeg__send_35? | startNeg__send_45? | startNeg__send_40? | startNeg__send_75? | startNeg__send_9? | startNeg__send_168? | startNeg__send_64? | startNeg__send_2? | startNeg__send_103? | startNeg__send_79? | startNeg__send_61? | startNeg__send_46? | startNeg__send_113? | startNeg__send_41? | startNeg__send_154? | startNeg__send_101? | startNeg__send_31? | startNeg__send_137? | startNeg__send_63? | startNeg__send_44? | startNeg__send_49? | startNeg__send_53? | startNeg__send_114? | startNeg__send_36? | startNeg__send_21? | startNeg__send_123? | startNeg__send_19? | startNeg__send_133? | startNeg__send_131? | startNeg__send_16? | startNeg__send_11? | startNeg__send_126? | startNeg__send_144? | startNeg__send_143? | startNeg__send_93? | startNeg__send_97? | startNeg__send_65? | startNeg__send_13? | startNeg__send_152? | startNeg__send_18? | startNeg__send_164? | startNeg__send_138? | startNeg__send_78? | startNeg__send_17? | startNeg__send_69? | startNeg__send_50? | startNeg__send_3? | startNeg__send_162? | startNeg__send_121? | startNeg__send_98? | startNeg__send_129? | startNeg__send_167?))
ctl p_1886_fireability_and: A G ((startNeg__end_1? | startNeg__end_6? | startNeg__end_2? | startNeg__end_4? | startNeg__end_5? | startNeg__end_3?) & (poll__handleRI_33? | poll__handleRI_35? | poll__handleRI_2? | poll__handleRI_28? | poll__handleRI_23? | poll__handleRI_17? | poll__handleRI_7? | poll__handleRI_32? | poll__handleRI_11? | poll__handleRI_19? | poll__handleRI_6? | poll__handleRI_8? | poll__handleRI_29? | poll__handleRI_13? | poll__handleRI_3? | poll__handleRI_25? | poll__handleRI_26? | poll__handleRI_1? | poll__handleRI_21? | poll__handleRI_15? | poll__handleRI_27? | poll__handleRI_34? | poll__handleRI_5? | poll__handleRI_10? | poll__handleRI_20? | poll__handleRI_24? | poll__handleRI_18? | poll__handleRI_4? | poll__handleRI_9? | poll__handleRI_31? | poll__handleRI_36? | poll__handleRI_16? | poll__handleRI_22? | poll__handleRI_30? | poll__handleRI_12? | poll__handleRI_14?))
ctl p_1887_fireability_or: A F ((startNeg__end_1? | startNeg__end_6? | startNeg__end_2? | startNeg__end_4? | startNeg__end_5? | startNeg__end_3?) | (poll__handleRI_33? | poll__handleRI_35? | poll__handleRI_2? | poll__handleRI_28? | poll__handleRI_23? | poll__handleRI_17? | poll__handleRI_7? | poll__handleRI_32? | poll__handleRI_11? | poll__handleRI_19? | poll__handleRI_6? | poll__handleRI_8? | poll__handleRI_29? | poll__handleRI_13? | poll__handleRI_3? | poll__handleRI_25? | poll__handleRI_26? | poll__handleRI_1? | poll__handleRI_21? | poll__handleRI_15? | poll__handleRI_27? | poll__handleRI_34? | poll__handleRI_5? | poll__handleRI_10? | poll__handleRI_20? | poll__handleRI_24? | poll__handleRI_18? | poll__handleRI_4? | poll__handleRI_9? | poll__handleRI_31? | poll__handleRI_36? | poll__handleRI_16? | poll__handleRI_22? | poll__handleRI_30? | poll__handleRI_12? | poll__handleRI_14?))
ctl p_1888_fireability_and_notx: E G (!(startNeg__end_1? | startNeg__end_6? | startNeg__end_2? | startNeg__end_4? | startNeg__end_5? | startNeg__end_3?) & (poll__handleRI_33? | poll__handleRI_35? | poll__handleRI_2? | poll__handleRI_28? | poll__handleRI_23? | poll__handleRI_17? | poll__handleRI_7? | poll__handleRI_32? | poll__handleRI_11? | poll__handleRI_19? | poll__handleRI_6? | poll__handleRI_8? | poll__handleRI_29? | poll__handleRI_13? | poll__handleRI_3? | poll__handleRI_25? | poll__handleRI_26? | poll__handleRI_1? | poll__handleRI_21? | poll__handleRI_15? | poll__handleRI_27? | poll__handleRI_34? | poll__handleRI_5? | poll__handleRI_10? | poll__handleRI_20? | poll__handleRI_24? | poll__handleRI_18? | poll__handleRI_4? | poll__handleRI_9? | poll__handleRI_31? | poll__handleRI_36? | poll__handleRI_16? | poll__handleRI_22? | poll__handleRI_30? | poll__handleRI_12? | poll__handleRI_14?))


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