Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-2979
Executing tool tapaalPAR
Input is S_Philosophers-PT-002000, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172kn-ebro-146433143200934
=====================================================================

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

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-0
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-1
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-10
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-11
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-12
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-13
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-14
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-15
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-2
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-3
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-4
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-5
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-6
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-7
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-8
FORMULA_NAME Philosophers-COL-002000-ReachabilityCardinality-9

=== Now, execution of the tool begins

BK_START 1464729885691


*****************************************
TAPAAL onthefly-PAR performing ReachabilityCardinality search
*****************************************

verifypn -o mc -c 4 -n model.pnml ReachabilityCardinality.xml
Philosophers-COL-002000-ReachabilityCardinality-0: EF ( (3 <= ("Catch2_6" + "Catch2_7" + "Catch2_8" + "Catch2_9" + "Catch2_10" + "Catch2_11" + "Catch2_12" + "Catch2_13" + "Catch2_1" + "Catch2_2" + "Catch2_3" + "Catch2_4" + "Catch2_5" + "Catch2_97" + "Catch2_96" + "Catch2_95" + "Catch2_94" + "Catch2_101" + "Catch2_100" + "Catch2_99" + "Catch2_98" + "Catch2_105" + "Catch2_104" + "Catch2_103" + "Catch2_102" + "Catch2_109" + "Catch2_108" + "Catch2_107" + "Catch2_106" + "Catch2_80" + "Catch2_81" + "Catch2_78" + "Catch2_79" + "Catch2_84" + "Catch2_85" + "Catch2_82" + "Catch2_83" + "Catch2_88" + "Catch2_89" + "Catch2_86" + "Catch2_87" + "Catch2_92" + "Catch2_93" + "Catch2_90" + "Catch2_91" + "Catch2_127" + "Catch2_126" + "Catch2_129" + "Catch2_128" + "Catch2_131" + "Catch2_130" + "Catch2_133" + "Catch2_132" + "Catch2_135" + "Catch2_134" + "Catch2_137" + "Catch2_136" + "Catch2_139" + "Catch2_138" + "Catch2_141" + "Catch2_140" + "Catch2_110" + "Catch2_111" + "Catch2_112" + "Catch2_113" + "Catch2_114" + "Catch2_115" + "Catch2_116" + "Catch2_117" + "Catch2_118" + "Catch2_119" + "Catch2_120" + "Catch2_121" + "Catch2_122" + "Catch2_123" + "Catch2_124" + "Catch2_125" + "Catch2_37" + "Catch2_36" + "Catch2_35" + "Catch2_34" + "Catch2_33" + "Catch2_32" + "Catch2_31" + "Catch2_30" + "Catch2_45" + "Catch2_44" + "Catch2_43" + "Catch2_42" + "Catch2_41" + "Catch2_40" + "Catch2_39" + "Catch2_38" + "Catch2_20" + "Catch2_21" + "Catch2_18" + "Catch2_19" + "Catch2_16" + "Catch2_17" + "Catch2_14" + "Catch2_15" + "Catch2_28" + "Catch2_29" + "Catch2_26" + "Catch2_27" + "Catch2_24" + "Catch2_25" + "Catch2_22" + "Catch2_23" + "Catch2_67" + "Catch2_66" + "Catch2_69" + "Catch2_68" + "Catch2_63" + "Catch2_62" + "Catch2_65" + "Catch2_64" + "Catch2_75" + "Catch2_74" + "Catch2_77" + "Catch2_76" + "Catch2_71" + "Catch2_70" + "Catch2_73" + "Catch2_72" + "Catch2_50" + "Catch2_51" + "Catch2_52" + "Catch2_53" + "Catch2_46" + "Catch2_47" + "Catch2_48" + "Catch2_49" + "Catch2_58" + "Catch2_59" + "Catch2_60" + "Catch2_61" + "Catch2_54" + "Catch2_55" + "Catch2_56" + "Catch2_57" + "Catch2_566" + "Catch2_567" + "Catch2_568" + "Catch2_569" + "Catch2_570" + "Catch2_571" + "Catch2_572" + "Catch2_573" + "Catch2_558" + "Catch2_559" + "Catch2_560" + "Catch2_561" + "Catch2_562" + "Catch2_563" + "Catch2_564" + "Catch2_565" + "Catch2_583" + "Catch2_582" + "Catch2_585" + "Catch2_584" + "Catch2_587" + "Catch2_586" + "Catch2_589" + "Catch2_588" + "Catch2_575" + "Catch2_574" + "Catch2_577" + "Catch2_576" + "Catch2_579" + "Catch2_578" + "Catch2_581" + "Catch2_580" + "Catch2_536" + "Catch2_537" + "Catch2_534" + "Catch2_535" + "Catch2_540" + "Catch2_541" + "Catch2_538" + "Catch2_539" + "Catch2_528" + "Catch2_529" + "Catch2_526" + "Catch2_527" + "Catch2_532" + "Catch2_533" + "Catch2_530" + "Catch2_531" + "Catch2_553" + "Catch2_552" + "Catch2_551" + "Catch2_550" + "Catch2_557" + "Catch2_556" + "Catch2_555" + "Catch2_554" + "Catch2_545" + "Catch2_544" + "Catch2_543" + "Catch2_542" + "Catch2_549" + "Catch2_548" + "Catch2_547" + "Catch2_546" + "Catch2_634" + "Catch2_635" + "Catch2_636" + "Catch2_637" + "Catch2_630" + "Catch2_631" + "Catch2_632" + "Catch2_633" + "Catch2_626" + "Catch2_627" + "Catch2_628" + "Catch2_629" + "Catch2_622" + "Catch2_623" + "Catch2_624" + "Catch2_625" + "Catch2_651" + "Catch2_650" + "Catch2_653" + "Catch2_652" + "Catch2_647" + "Catch2_646" + "Catch2_649" + "Catch2_648" + "Catch2_643" + "Catch2_642" + "Catch2_645" + "Catch2_644" + "Catch2_639" + "Catch2_638" + "Catch2_641" + "Catch2_640" + "Catch2_604" + "Catch2_605" + "Catch2_602" + "Catch2_603" + "Catch2_600" + "Catch2_601" + "Catch2_598" + "Catch2_599" + "Catch2_596" + "Catch2_597" + "Catch2_594" + "Catch2_595" + "Catch2_592" + "Catch2_593" + "Catch2_590" + "Catch2_591" + "Catch2_621" + "Catch2_620" + "Catch2_619" + "Catch2_618" + "Catch2_617" + "Catch2_616" + "Catch2_615" + "Catch2_614" + "Catch2_613" + "Catch2_612" + "Catch2_611" + "Catch2_610" + "Catch2_609" + "Catch2_608" + "Catch2_607" + "Catch2_606" + "Catch2_431" + "Catch2_430" + "Catch2_433" + "Catch2_432" + "Catch2_435" + "Catch2_434" + "Catch2_437" + "Catch2_436" + "Catch2_439" + "Catch2_438" + "Catch2_441" + "Catch2_440" + "Catch2_443" + "Catch2_442" + "Catch2_445" + "Catch2_444" + "Catch2_446" + "Catch2_447" + "Catch2_448" + "Catch2_449" + "Catch2_450" + "Catch2_451" + "Catch2_452" + "Catch2_453" + "Catch2_454" + "Catch2_455" + "Catch2_456" + "Catch2_457" + "Catch2_458" + "Catch2_459" + "Catch2_460" + "Catch2_461" + "Catch2_401" + "Catch2_400" + "Catch2_399" + "Catch2_398" + "Catch2_405" + "Catch2_404" + "Catch2_403" + "Catch2_402" + "Catch2_409" + "Catch2_408" + "Catch2_407" + "Catch2_406" + "Catch2_413" + "Catch2_412" + "Catch2_411" + "Catch2_410" + "Catch2_416" + "Catch2_417" + "Catch2_414" + "Catch2_415" + "Catch2_420" + "Catch2_421" + "Catch2_418" + "Catch2_419" + "Catch2_424" + "Catch2_425" + "Catch2_422" + "Catch2_423" + "Catch2_428" + "Catch2_429" + "Catch2_426" + "Catch2_427" + "Catch2_499" + "Catch2_498" + "Catch2_501" + "Catch2_500" + "Catch2_495" + "Catch2_494" + "Catch2_497" + "Catch2_496" + "Catch2_507" + "Catch2_506" + "Catch2_509" + "Catch2_508" + "Catch2_503" + "Catch2_502" + "Catch2_505" + "Catch2_504" + "Catch2_514" + "Catch2_515" + "Catch2_516" + "Catch2_517" + "Catch2_510" + "Catch2_511" + "Catch2_512" + "Catch2_513" + "Catch2_522" + "Catch2_523" + "Catch2_524" + "Catch2_525" + "Catch2_518" + "Catch2_519" + "Catch2_520" + "Catch2_521" + "Catch2_469" + "Catch2_468" + "Catch2_467" + "Catch2_466" + "Catch2_465" + "Catch2_464" + "Catch2_463" + "Catch2_462" + "Catch2_477" + "Catch2_476" + "Catch2_475" + "Catch2_474" + "Catch2_473" + "Catch2_472" + "Catch2_471" + "Catch2_470" + "Catch2_484" + "Catch2_485" + "Catch2_482" + "Catch2_483" + "Catch2_480" + "Catch2_481" + "Catch2_478" + "Catch2_479" + "Catch2_492" + "Catch2_493" + "Catch2_490" + "Catch2_491" + "Catch2_488" + "Catch2_489" + "Catch2_486" + "Catch2_487" + "Catch2_329" + "Catch2_328" + "Catch2_327" + "Catch2_326" + "Catch2_333" + "Catch2_332" + "Catch2_331" + "Catch2_330" + "Catch2_321" + "Catch2_320" + "Catch2_319" + "Catch2_318" + "Catch2_325" + "Catch2_324" + "Catch2_323" + "Catch2_322" + "Catch2_312" + "Catch2_313" + "Catch2_310" + "Catch2_311" + "Catch2_316" + "Catch2_317" + "Catch2_314" + "Catch2_315" + "Catch2_304" + "Catch2_305" + "Catch2_302" + "Catch2_303" + "Catch2_308" + "Catch2_309" + "Catch2_306" + "Catch2_307" + "Catch2_295" + "Catch2_294" + "Catch2_297" + "Catch2_296" + "Catch2_299" + "Catch2_298" + "Catch2_301" + "Catch2_300" + "Catch2_287" + "Catch2_286" + "Catch2_289" + "Catch2_288" + "Catch2_291" + "Catch2_290" + "Catch2_293" + "Catch2_292" + "Catch2_278" + "Catch2_279" + "Catch2_280" + "Catch2_281" + "Catch2_282" + "Catch2_283" + "Catch2_284" + "Catch2_285" + "Catch2_270" + "Catch2_271" + "Catch2_272" + "Catch2_273" + "Catch2_274" + "Catch2_275" + "Catch2_276" + "Catch2_277" + "Catch2_397" + "Catch2_396" + "Catch2_395" + "Catch2_394" + "Catch2_393" + "Catch2_392" + "Catch2_391" + "Catch2_390" + "Catch2_389" + "Catch2_388" + "Catch2_387" + "Catch2_386" + "Catch2_385" + "Catch2_384" + "Catch2_383" + "Catch2_382" + "Catch2_380" + "Catch2_381" + "Catch2_378" + "Catch2_379" + "Catch2_376" + "Catch2_377" + "Catch2_374" + "Catch2_375" + "Catch2_372" + "Catch2_373" + "Catch2_370" + "Catch2_371" + "Catch2_368" + "Catch2_369" + "Catch2_366" + "Catch2_367" + "Catch2_363" + "Catch2_362" + "Catch2_365" + "Catch2_364" + "Catch2_359" + "Catch2_358" + "Catch2_361" + "Catch2_360" + "Catch2_355" + "Catch2_354" + "Catch2_357" + "Catch2_356" + "Catch2_351" + "Catch2_350" + "Catch2_353" + "Catch2_352" + "Catch2_346" + "Catch2_347" + "Catch2_348" + "Catch2_349" + "Catch2_342" + "Catch2_343" + "Catch2_344" + "Catch2_345" + "Catch2_338" + "Catch2_339" + "Catch2_340" + "Catch2_341" + "Catch2_334" + "Catch2_335" + "Catch2_336" + "Catch2_337" + "Catch2_192" + "Catch2_193" + "Catch2_190" + "Catch2_191" + "Catch2_196" + "Catch2_197" + "Catch2_194" + "Catch2_195" + "Catch2_200" + "Catch2_201" + "Catch2_198" + "Catch2_199" + "Catch2_204" + "Catch2_205" + "Catch2_202" + "Catch2_203" + "Catch2_177" + "Catch2_176" + "Catch2_175" + "Catch2_174" + "Catch2_181" + "Catch2_180" + "Catch2_179" + "Catch2_178" + "Catch2_185" + "Catch2_184" + "Catch2_183" + "Catch2_182" + "Catch2_189" + "Catch2_188" + "Catch2_187" + "Catch2_186" + "Catch2_158" + "Catch2_159" + "Catch2_160" + "Catch2_161" + "Catch2_162" + "Catch2_163" + "Catch2_164" + "Catch2_165" + "Catch2_166" + "Catch2_167" + "Catch2_168" + "Catch2_169" + "Catch2_170" + "Catch2_171" + "Catch2_172" + "Catch2_173" + "Catch2_143" + "Catch2_142" + "Catch2_145" + "Catch2_144" + "Catch2_147" + "Catch2_146" + "Catch2_149" + "Catch2_148" + "Catch2_151" + "Catch2_150" + "Catch2_153" + "Catch2_152" + "Catch2_155" + "Catch2_154" + "Catch2_157" + "Catch2_156" + "Catch2_260" + "Catch2_261" + "Catch2_258" + "Catch2_259" + "Catch2_256" + "Catch2_257" + "Catch2_254" + "Catch2_255" + "Catch2_268" + "Catch2_269" + "Catch2_266" + "Catch2_267" + "Catch2_264" + "Catch2_265" + "Catch2_262" + "Catch2_263" + "Catch2_245" + "Catch2_244" + "Catch2_243" + "Catch2_242" + "Catch2_241" + "Catch2_240" + "Catch2_239" + "Catch2_238" + "Catch2_253" + "Catch2_252" + "Catch2_251" + "Catch2_250" + "Catch2_249" + "Catch2_248" + "Catch2_247" + "Catch2_246" + "Catch2_226" + "Catch2_227" + "Catch2_228" + "Catch2_229" + "Catch2_222" + "Catch2_223" + "Catch2_224" + "Catch2_225" + "Catch2_234" + "Catch2_235" + "Catch2_236" + "Catch2_237" + "Catch2_230" + "Catch2_231" + "Catch2_232" + "Catch2_233" + "Catch2_211" + "Catch2_210" + "Catch2_213" + "Catch2_212" + "Catch2_207" + "Catch2_206" + "Catch2_209" + "Catch2_208" + "Catch2_219" + "Catch2_218" + "Catch2_221" + "Catch2_220" + "Catch2_215" + "Catch2_214" + "Catch2_217" + "Catch2_216" + "Catch2_1052" + "Catch2_1053" + "Catch2_1050" + "Catch2_1051" + "Catch2_1048" + "Catch2_1049" + "Catch2_1046" + "Catch2_1047" + "Catch2_1044" + "Catch2_1045" + "Catch2_1042" + "Catch2_1043" + "Catch2_1040" + "Catch2_1041" + "Catch2_1038" + "Catch2_1039" + "Catch2_1069" + "Catch2_1068" + "Catch2_1067" + "Catch2_1066" + "Catch2_1065" + "Catch2_1064" + "Catch2_1063" + "Catch2_1062" + "Catch2_1061" + "Catch2_1060" + "Catch2_1059" + "Catch2_1058" + "Catch2_1057" + "Catch2_1056" + "Catch2_1055" + "Catch2_1054" + "Catch2_1082" + "Catch2_1083" + "Catch2_1084" + "Catch2_1085" + "Catch2_1078" + "Catch2_1079" + "Catch2_1080" + "Catch2_1081" + "Catch2_1074" + "Catch2_1075" + "Catch2_1076" + "Catch2_1077" + "Catch2_1070" + "Catch2_1071" + "Catch2_1072" + "Catch2_1073" + "Catch2_1099" + "Catch2_1098" + "Catch2_1101" + "Catch2_1100" + "Catch2_1095" + "Catch2_1094" + "Catch2_1097" + "Catch2_1096" + "Catch2_1091" + "Catch2_1090" + "Catch2_1093" + "Catch2_1092" + "Catch2_1087" + "Catch2_1086" + "Catch2_1089" + "Catch2_1088" + "Catch2_1112" + "Catch2_1113" + "Catch2_1110" + "Catch2_1111" + "Catch2_1116" + "Catch2_1117" + "Catch2_1114" + "Catch2_1115" + "Catch2_1104" + "Catch2_1105" + "Catch2_1102" + "Catch2_1103" + "Catch2_1108" + "Catch2_1109" + "Catch2_1106" + "Catch2_1107" + "Catch2_1129" + "Catch2_1128" + "Catch2_1127" + "Catch2_1126" + "Catch2_1133" + "Catch2_1132" + "Catch2_1131" + "Catch2_1130" + "Catch2_1121" + "Catch2_1120" + "Catch2_1119" + "Catch2_1118" + "Catch2_1125" + "Catch2_1124" + "Catch2_1123" + "Catch2_1122" + "Catch2_1142" + "Catch2_1143" + "Catch2_1144" + "Catch2_1145" + "Catch2_1146" + "Catch2_1147" + "Catch2_1148" + "Catch2_1149" + "Catch2_1134" + "Catch2_1135" + "Catch2_1136" + "Catch2_1137" + "Catch2_1138" + "Catch2_1139" + "Catch2_1140" + "Catch2_1141" + "Catch2_1159" + "Catch2_1158" + "Catch2_1161" + "Catch2_1160" + "Catch2_1163" + "Catch2_1162" + "Catch2_1165" + "Catch2_1164" + "Catch2_1151" + "Catch2_1150" + "Catch2_1153" + "Catch2_1152" + "Catch2_1155" + "Catch2_1154" + "Catch2_1157" + "Catch2_1156" + "Catch2_917" + "Catch2_916" + "Catch2_915" + "Catch2_914" + "Catch2_913" + "Catch2_912" + "Catch2_911" + "Catch2_910" + "Catch2_925" + "Catch2_924" + "Catch2_923" + "Catch2_922" + "Catch2_921" + "Catch2_920" + "Catch2_919" + "Catch2_918" + "Catch2_932" + "Catch2_933" + "Catch2_930" + "Catch2_931" + "Catch2_928" + "Catch2_929" + "Catch2_926" + "Catch2_927" + "Catch2_940" + "Catch2_941" + "Catch2_938" + "Catch2_939" + "Catch2_936" + "Catch2_937" + "Catch2_934" + "Catch2_935" + "Catch2_947" + "Catch2_946" + "Catch2_949" + "Catch2_948" + "Catch2_943" + "Catch2_942" + "Catch2_945" + "Catch2_944" + "Catch2_955" + "Catch2_954" + "Catch2_957" + "Catch2_956" + "Catch2_951" + "Catch2_950" + "Catch2_953" + "Catch2_952" + "Catch2_962" + "Catch2_963" + "Catch2_964" + "Catch2_965" + "Catch2_958" + "Catch2_959" + "Catch2_960" + "Catch2_961" + "Catch2_970" + "Catch2_971" + "Catch2_972" + "Catch2_973" + "Catch2_966" + "Catch2_967" + "Catch2_968" + "Catch2_969" + "Catch2_977" + "Catch2_976" + "Catch2_975" + "Catch2_974" + "Catch2_981" + "Catch2_980" + "Catch2_979" + "Catch2_978" + "Catch2_985" + "Catch2_984" + "Catch2_983" + "Catch2_982" + "Catch2_989" + "Catch2_988" + "Catch2_987" + "Catch2_986" + "Catch2_992" + "Catch2_993" + "Catch2_990" + "Catch2_991" + "Catch2_996" + "Catch2_997" + "Catch2_994" + "Catch2_995" + "Catch2_1000" + "Catch2_1001" + "Catch2_998" + "Catch2_999" + "Catch2_1004" + "Catch2_1005" + "Catch2_1002" + "Catch2_1003" + "Catch2_1007" + "Catch2_1006" + "Catch2_1009" + "Catch2_1008" + "Catch2_1011" + "Catch2_1010" + "Catch2_1013" + "Catch2_1012" + "Catch2_1015" + "Catch2_1014" + "Catch2_1017" + "Catch2_1016" + "Catch2_1019" + "Catch2_1018" + "Catch2_1021" + "Catch2_1020" + "Catch2_1022" + "Catch2_1023" + "Catch2_1024" + "Catch2_1025" + "Catch2_1026" + "Catch2_1027" + "Catch2_1028" + "Catch2_1029" + "Catch2_1030" + "Catch2_1031" + "Catch2_1032" + "Catch2_1033" + "Catch2_1034" + "Catch2_1035" + "Catch2_1036" + "Catch2_1037" + "Catch2_811" + "Catch2_810" + "Catch2_813" + "Catch2_812" + "Catch2_807" + "Catch2_806" + "Catch2_809" + "Catch2_808" + "Catch2_803" + "Catch2_802" + "Catch2_805" + "Catch2_804" + "Catch2_799" + "Catch2_798" + "Catch2_801" + "Catch2_800" + "Catch2_794" + "Catch2_795" + "Catch2_796" + "Catch2_797" + "Catch2_790" + "Catch2_791" + "Catch2_792" + "Catch2_793" + "Catch2_786" + "Catch2_787" + "Catch2_788" + "Catch2_789" + "Catch2_782" + "Catch2_783" + "Catch2_784" + "Catch2_785" + "Catch2_845" + "Catch2_844" + "Catch2_843" + "Catch2_842" + "Catch2_841" + "Catch2_840" + "Catch2_839" + "Catch2_838" + "Catch2_837" + "Catch2_836" + "Catch2_835" + "Catch2_834" + "Catch2_833" + "Catch2_832" + "Catch2_831" + "Catch2_830" + "Catch2_828" + "Catch2_829" + "Catch2_826" + "Catch2_827" + "Catch2_824" + "Catch2_825" + "Catch2_822" + "Catch2_823" + "Catch2_820" + "Catch2_821" + "Catch2_818" + "Catch2_819" + "Catch2_816" + "Catch2_817" + "Catch2_814" + "Catch2_815" + "Catch2_871" + "Catch2_870" + "Catch2_873" + "Catch2_872" + "Catch2_875" + "Catch2_874" + "Catch2_877" + "Catch2_876" + "Catch2_863" + "Catch2_862" + "Catch2_865" + "Catch2_864" + "Catch2_867" + "Catch2_866" + "Catch2_869" + "Catch2_868" + "Catch2_854" + "Catch2_855" + "Catch2_856" + "Catch2_857" + "Catch2_858" + "Catch2_859" + "Catch2_860" + "Catch2_861" + "Catch2_846" + "Catch2_847" + "Catch2_848" + "Catch2_849" + "Catch2_850" + "Catch2_851" + "Catch2_852" + "Catch2_853" + "Catch2_905" + "Catch2_904" + "Catch2_903" + "Catch2_902" + "Catch2_909" + "Catch2_908" + "Catch2_907" + "Catch2_906" + "Catch2_897" + "Catch2_896" + "Catch2_895" + "Catch2_894" + "Catch2_901" + "Catch2_900" + "Catch2_899" + "Catch2_898" + "Catch2_888" + "Catch2_889" + "Catch2_886" + "Catch2_887" + "Catch2_892" + "Catch2_893" + "Catch2_890" + "Catch2_891" + "Catch2_880" + "Catch2_881" + "Catch2_878" + "Catch2_879" + "Catch2_884" + "Catch2_885" + "Catch2_882" + "Catch2_883" + "Catch2_674" + "Catch2_675" + "Catch2_676" + "Catch2_677" + "Catch2_670" + "Catch2_671" + "Catch2_672" + "Catch2_673" + "Catch2_682" + "Catch2_683" + "Catch2_684" + "Catch2_685" + "Catch2_678" + "Catch2_679" + "Catch2_680" + "Catch2_681" + "Catch2_659" + "Catch2_658" + "Catch2_661" + "Catch2_660" + "Catch2_655" + "Catch2_654" + "Catch2_657" + "Catch2_656" + "Catch2_667" + "Catch2_666" + "Catch2_669" + "Catch2_668" + "Catch2_663" + "Catch2_662" + "Catch2_665" + "Catch2_664" + "Catch2_708" + "Catch2_709" + "Catch2_706" + "Catch2_707" + "Catch2_704" + "Catch2_705" + "Catch2_702" + "Catch2_703" + "Catch2_716" + "Catch2_717" + "Catch2_714" + "Catch2_715" + "Catch2_712" + "Catch2_713" + "Catch2_710" + "Catch2_711" + "Catch2_693" + "Catch2_692" + "Catch2_691" + "Catch2_690" + "Catch2_689" + "Catch2_688" + "Catch2_687" + "Catch2_686" + "Catch2_701" + "Catch2_700" + "Catch2_699" + "Catch2_698" + "Catch2_697" + "Catch2_696" + "Catch2_695" + "Catch2_694" + "Catch2_734" + "Catch2_735" + "Catch2_736" + "Catch2_737" + "Catch2_738" + "Catch2_739" + "Catch2_740" + "Catch2_741" + "Catch2_742" + "Catch2_743" + "Catch2_744" + "Catch2_745" + "Catch2_746" + "Catch2_747" + "Catch2_748" + "Catch2_749" + "Catch2_719" + "Catch2_718" + "Catch2_721" + "Catch2_720" + "Catch2_723" + "Catch2_722" + "Catch2_725" + "Catch2_724" + "Catch2_727" + "Catch2_726" + "Catch2_729" + "Catch2_728" + "Catch2_731" + "Catch2_730" + "Catch2_733" + "Catch2_732" + "Catch2_768" + "Catch2_769" + "Catch2_766" + "Catch2_767" + "Catch2_772" + "Catch2_773" + "Catch2_770" + "Catch2_771" + "Catch2_776" + "Catch2_777" + "Catch2_774" + "Catch2_775" + "Catch2_780" + "Catch2_781" + "Catch2_778" + "Catch2_779" + "Catch2_753" + "Catch2_752" + "Catch2_751" + "Catch2_750" + "Catch2_757" + "Catch2_756" + "Catch2_755" + "Catch2_754" + "Catch2_761" + "Catch2_760" + "Catch2_759" + "Catch2_758" + "Catch2_765" + "Catch2_764" + "Catch2_763" + "Catch2_762" + "Catch2_1650" + "Catch2_1651" + "Catch2_1652" + "Catch2_1653" + "Catch2_1646" + "Catch2_1647" + "Catch2_1648" + "Catch2_1649" + "Catch2_1658" + "Catch2_1659" + "Catch2_1660" + "Catch2_1661" + "Catch2_1654" + "Catch2_1655" + "Catch2_1656" + "Catch2_1657" + "Catch2_1667" + "Catch2_1666" + "Catch2_1669" + "Catch2_1668" + "Catch2_1663" + "Catch2_1662" + "Catch2_1665" + "Catch2_1664" + "Catch2_1675" + "Catch2_1674" + "Catch2_1677" + "Catch2_1676" + "Catch2_1671" + "Catch2_1670" + "Catch2_1673" + "Catch2_1672" + "Catch2_1620" + "Catch2_1621" + "Catch2_1618" + "Catch2_1619" + "Catch2_1616" + "Catch2_1617" + "Catch2_1614" + "Catch2_1615" + "Catch2_1628" + "Catch2_1629" + "Catch2_1626" + "Catch2_1627" + "Catch2_1624" + "Catch2_1625" + "Catch2_1622" + "Catch2_1623" + "Catch2_1637" + "Catch2_1636" + "Catch2_1635" + "Catch2_1634" + "Catch2_1633" + "Catch2_1632" + "Catch2_1631" + "Catch2_1630" + "Catch2_1645" + "Catch2_1644" + "Catch2_1643" + "Catch2_1642" + "Catch2_1641" + "Catch2_1640" + "Catch2_1639" + "Catch2_1638" + "Catch2_1582" + "Catch2_1583" + "Catch2_1584" + "Catch2_1585" + "Catch2_1586" + "Catch2_1587" + "Catch2_1588" + "Catch2_1589" + "Catch2_1590" + "Catch2_1591" + "Catch2_1592" + "Catch2_1593" + "Catch2_1594" + "Catch2_1595" + "Catch2_1596" + "Catch2_1597" + "Catch2_1599" + "Catch2_1598" + "Catch2_1601" + "Catch2_1600" + "Catch2_1603" + "Catch2_1602" + "Catch2_1605" + "Catch2_1604" + "Catch2_1607" + "Catch2_1606" + "Catch2_1609" + "Catch2_1608" + "Catch2_1611" + "Catch2_1610" + "Catch2_1613" + "Catch2_1612" + "Catch2_1552" + "Catch2_1553" + "Catch2_1550" + "Catch2_1551" + "Catch2_1556" + "Catch2_1557" + "Catch2_1554" + "Catch2_1555" + "Catch2_1560" + "Catch2_1561" + "Catch2_1558" + "Catch2_1559" + "Catch2_1564" + "Catch2_1565" + "Catch2_1562" + "Catch2_1563" + "Catch2_1569" + "Catch2_1568" + "Catch2_1567" + "Catch2_1566" + "Catch2_1573" + "Catch2_1572" + "Catch2_1571" + "Catch2_1570" + "Catch2_1577" + "Catch2_1576" + "Catch2_1575" + "Catch2_1574" + "Catch2_1581" + "Catch2_1580" + "Catch2_1579" + "Catch2_1578" + "Catch2_1531" + "Catch2_1530" + "Catch2_1533" + "Catch2_1532" + "Catch2_1527" + "Catch2_1526" + "Catch2_1529" + "Catch2_1528" + "Catch2_1523" + "Catch2_1522" + "Catch2_1525" + "Catch2_1524" + "Catch2_1519" + "Catch2_1518" + "Catch2_1521" + "Catch2_1520" + "Catch2_1546" + "Catch2_1547" + "Catch2_1548" + "Catch2_1549" + "Catch2_1542" + "Catch2_1543" + "Catch2_1544" + "Catch2_1545" + "Catch2_1538" + "Catch2_1539" + "Catch2_1540" + "Catch2_1541" + "Catch2_1534" + "Catch2_1535" + "Catch2_1536" + "Catch2_1537" + "Catch2_1501" + "Catch2_1500" + "Catch2_1499" + "Catch2_1498" + "Catch2_1497" + "Catch2_1496" + "Catch2_1495" + "Catch2_1494" + "Catch2_1493" + "Catch2_1492" + "Catch2_1491" + "Catch2_1490" + "Catch2_1489" + "Catch2_1488" + "Catch2_1487" + "Catch2_1486" + "Catch2_1516" + "Catch2_1517" + "Catch2_1514" + "Catch2_1515" + "Catch2_1512" + "Catch2_1513" + "Catch2_1510" + "Catch2_1511" + "Catch2_1508" + "Catch2_1509" + "Catch2_1506" + "Catch2_1507" + "Catch2_1504" + "Catch2_1505" + "Catch2_1502" + "Catch2_1503" + "Catch2_1463" + "Catch2_1462" + "Catch2_1465" + "Catch2_1464" + "Catch2_1467" + "Catch2_1466" + "Catch2_1469" + "Catch2_1468" + "Catch2_1455" + "Catch2_1454" + "Catch2_1457" + "Catch2_1456" + "Catch2_1459" + "Catch2_1458" + "Catch2_1461" + "Catch2_1460" + "Catch2_1478" + "Catch2_1479" + "Catch2_1480" + "Catch2_1481" + "Catch2_1482" + "Catch2_1483" + "Catch2_1484" + "Catch2_1485" + "Catch2_1470" + "Catch2_1471" + "Catch2_1472" + "Catch2_1473" + "Catch2_1474" + "Catch2_1475" + "Catch2_1476" + "Catch2_1477" + "Catch2_1433" + "Catch2_1432" + "Catch2_1431" + "Catch2_1430" + "Catch2_1437" + "Catch2_1436" + "Catch2_1435" + "Catch2_1434" + "Catch2_1425" + "Catch2_1424" + "Catch2_1423" + "Catch2_1422" + "Catch2_1429" + "Catch2_1428" + "Catch2_1427" + "Catch2_1426" + "Catch2_1448" + "Catch2_1449" + "Catch2_1446" + "Catch2_1447" + "Catch2_1452" + "Catch2_1453" + "Catch2_1450" + "Catch2_1451" + "Catch2_1440" + "Catch2_1441" + "Catch2_1438" + "Catch2_1439" + "Catch2_1444" + "Catch2_1445" + "Catch2_1442" + "Catch2_1443" + "Catch2_1413" + "Catch2_1412" + "Catch2_1411" + "Catch2_1410" + "Catch2_1409" + "Catch2_1408" + "Catch2_1407" + "Catch2_1406" + "Catch2_1421" + "Catch2_1420" + "Catch2_1419" + "Catch2_1418" + "Catch2_1417" + "Catch2_1416" + "Catch2_1415" + "Catch2_1414" + "Catch2_1396" + "Catch2_1397" + "Catch2_1394" + "Catch2_1395" + "Catch2_1392" + "Catch2_1393" + "Catch2_1390" + "Catch2_1391" + "Catch2_1404" + "Catch2_1405" + "Catch2_1402" + "Catch2_1403" + "Catch2_1400" + "Catch2_1401" + "Catch2_1398" + "Catch2_1399" + "Catch2_1379" + "Catch2_1378" + "Catch2_1381" + "Catch2_1380" + "Catch2_1375" + "Catch2_1374" + "Catch2_1377" + "Catch2_1376" + "Catch2_1387" + "Catch2_1386" + "Catch2_1389" + "Catch2_1388" + "Catch2_1383" + "Catch2_1382" + "Catch2_1385" + "Catch2_1384" + "Catch2_1362" + "Catch2_1363" + "Catch2_1364" + "Catch2_1365" + "Catch2_1358" + "Catch2_1359" + "Catch2_1360" + "Catch2_1361" + "Catch2_1370" + "Catch2_1371" + "Catch2_1372" + "Catch2_1373" + "Catch2_1366" + "Catch2_1367" + "Catch2_1368" + "Catch2_1369" + "Catch2_1345" + "Catch2_1344" + "Catch2_1343" + "Catch2_1342" + "Catch2_1349" + "Catch2_1348" + "Catch2_1347" + "Catch2_1346" + "Catch2_1353" + "Catch2_1352" + "Catch2_1351" + "Catch2_1350" + "Catch2_1357" + "Catch2_1356" + "Catch2_1355" + "Catch2_1354" + "Catch2_1328" + "Catch2_1329" + "Catch2_1326" + "Catch2_1327" + "Catch2_1332" + "Catch2_1333" + "Catch2_1330" + "Catch2_1331" + "Catch2_1336" + "Catch2_1337" + "Catch2_1334" + "Catch2_1335" + "Catch2_1340" + "Catch2_1341" + "Catch2_1338" + "Catch2_1339" + "Catch2_1311" + "Catch2_1310" + "Catch2_1313" + "Catch2_1312" + "Catch2_1315" + "Catch2_1314" + "Catch2_1317" + "Catch2_1316" + "Catch2_1319" + "Catch2_1318" + "Catch2_1321" + "Catch2_1320" + "Catch2_1323" + "Catch2_1322" + "Catch2_1325" + "Catch2_1324" + "Catch2_1294" + "Catch2_1295" + "Catch2_1296" + "Catch2_1297" + "Catch2_1298" + "Catch2_1299" + "Catch2_1300" + "Catch2_1301" + "Catch2_1302" + "Catch2_1303" + "Catch2_1304" + "Catch2_1305" + "Catch2_1306" + "Catch2_1307" + "Catch2_1308" + "Catch2_1309" + "Catch2_1292" + "Catch2_1293" + "Catch2_1290" + "Catch2_1291" + "Catch2_1288" + "Catch2_1289" + "Catch2_1286" + "Catch2_1287" + "Catch2_1284" + "Catch2_1285" + "Catch2_1282" + "Catch2_1283" + "Catch2_1280" + "Catch2_1281" + "Catch2_1278" + "Catch2_1279" + "Catch2_1277" + "Catch2_1276" + "Catch2_1275" + "Catch2_1274" + "Catch2_1273" + "Catch2_1272" + "Catch2_1271" + "Catch2_1270" + "Catch2_1269" + "Catch2_1268" + "Catch2_1267" + "Catch2_1266" + "Catch2_1265" + "Catch2_1264" + "Catch2_1263" + "Catch2_1262" + "Catch2_1258" + "Catch2_1259" + "Catch2_1260" + "Catch2_1261" + "Catch2_1254" + "Catch2_1255" + "Catch2_1256" + "Catch2_1257" + "Catch2_1250" + "Catch2_1251" + "Catch2_1252" + "Catch2_1253" + "Catch2_1246" + "Catch2_1247" + "Catch2_1248" + "Catch2_1249" + "Catch2_1243" + "Catch2_1242" + "Catch2_1245" + "Catch2_1244" + "Catch2_1239" + "Catch2_1238" + "Catch2_1241" + "Catch2_1240" + "Catch2_1235" + "Catch2_1234" + "Catch2_1237" + "Catch2_1236" + "Catch2_1231" + "Catch2_1230" + "Catch2_1233" + "Catch2_1232" + "Catch2_1224" + "Catch2_1225" + "Catch2_1222" + "Catch2_1223" + "Catch2_1228" + "Catch2_1229" + "Catch2_1226" + "Catch2_1227" + "Catch2_1216" + "Catch2_1217" + "Catch2_1214" + "Catch2_1215" + "Catch2_1220" + "Catch2_1221" + "Catch2_1218" + "Catch2_1219" + "Catch2_1209" + "Catch2_1208" + "Catch2_1207" + "Catch2_1206" + "Catch2_1213" + "Catch2_1212" + "Catch2_1211" + "Catch2_1210" + "Catch2_1201" + "Catch2_1200" + "Catch2_1199" + "Catch2_1198" + "Catch2_1205" + "Catch2_1204" + "Catch2_1203" + "Catch2_1202" + "Catch2_1190" + "Catch2_1191" + "Catch2_1192" + "Catch2_1193" + "Catch2_1194" + "Catch2_1195" + "Catch2_1196" + "Catch2_1197" + "Catch2_1182" + "Catch2_1183" + "Catch2_1184" + "Catch2_1185" + "Catch2_1186" + "Catch2_1187" + "Catch2_1188" + "Catch2_1189" + "Catch2_1175" + "Catch2_1174" + "Catch2_1177" + "Catch2_1176" + "Catch2_1179" + "Catch2_1178" + "Catch2_1181" + "Catch2_1180" + "Catch2_1167" + "Catch2_1166" + "Catch2_1169" + "Catch2_1168" + "Catch2_1171" + "Catch2_1170" + "Catch2_1173" + "Catch2_1172" + "Catch2_2000" + "Catch2_1999" + "Catch2_1998" + "Catch2_1949" + "Catch2_1948" + "Catch2_1947" + "Catch2_1946" + "Catch2_1945" + "Catch2_1944" + "Catch2_1943" + "Catch2_1942" + "Catch2_1941" + "Catch2_1940" + "Catch2_1939" + "Catch2_1938" + "Catch2_1937" + "Catch2_1936" + "Catch2_1935" + "Catch2_1934" + "Catch2_1964" + "Catch2_1965" + "Catch2_1962" + "Catch2_1963" + "Catch2_1960" + "Catch2_1961" + "Catch2_1958" + "Catch2_1959" + "Catch2_1956" + "Catch2_1957" + "Catch2_1954" + "Catch2_1955" + "Catch2_1952" + "Catch2_1953" + "Catch2_1950" + "Catch2_1951" + "Catch2_1979" + "Catch2_1978" + "Catch2_1981" + "Catch2_1980" + "Catch2_1975" + "Catch2_1974" + "Catch2_1977" + "Catch2_1976" + "Catch2_1971" + "Catch2_1970" + "Catch2_1973" + "Catch2_1972" + "Catch2_1967" + "Catch2_1966" + "Catch2_1969" + "Catch2_1968" + "Catch2_1994" + "Catch2_1995" + "Catch2_1996" + "Catch2_1997" + "Catch2_1990" + "Catch2_1991" + "Catch2_1992" + "Catch2_1993" + "Catch2_1986" + "Catch2_1987" + "Catch2_1988" + "Catch2_1989" + "Catch2_1982" + "Catch2_1983" + "Catch2_1984" + "Catch2_1985" + "Catch2_1887" + "Catch2_1886" + "Catch2_1889" + "Catch2_1888" + "Catch2_1891" + "Catch2_1890" + "Catch2_1893" + "Catch2_1892" + "Catch2_1895" + "Catch2_1894" + "Catch2_1897" + "Catch2_1896" + "Catch2_1899" + "Catch2_1898" + "Catch2_1901" + "Catch2_1900" + "Catch2_1870" + "Catch2_1871" + "Catch2_1872" + "Catch2_1873" + "Catch2_1874" + "Catch2_1875" + "Catch2_1876" + "Catch2_1877" + "Catch2_1878" + "Catch2_1879" + "Catch2_1880" + "Catch2_1881" + "Catch2_1882" + "Catch2_1883" + "Catch2_1884" + "Catch2_1885" + "Catch2_1921" + "Catch2_1920" + "Catch2_1919" + "Catch2_1918" + "Catch2_1925" + "Catch2_1924" + "Catch2_1923" + "Catch2_1922" + "Catch2_1929" + "Catch2_1928" + "Catch2_1927" + "Catch2_1926" + "Catch2_1933" + "Catch2_1932" + "Catch2_1931" + "Catch2_1930" + "Catch2_1904" + "Catch2_1905" + "Catch2_1902" + "Catch2_1903" + "Catch2_1908" + "Catch2_1909" + "Catch2_1906" + "Catch2_1907" + "Catch2_1912" + "Catch2_1913" + "Catch2_1910" + "Catch2_1911" + "Catch2_1916" + "Catch2_1917" + "Catch2_1914" + "Catch2_1915" + "Catch2_1827" + "Catch2_1826" + "Catch2_1829" + "Catch2_1828" + "Catch2_1823" + "Catch2_1822" + "Catch2_1825" + "Catch2_1824" + "Catch2_1835" + "Catch2_1834" + "Catch2_1837" + "Catch2_1836" + "Catch2_1831" + "Catch2_1830" + "Catch2_1833" + "Catch2_1832" + "Catch2_1810" + "Catch2_1811" + "Catch2_1812" + "Catch2_1813" + "Catch2_1806" + "Catch2_1807" + "Catch2_1808" + "Catch2_1809" + "Catch2_1818" + "Catch2_1819" + "Catch2_1820" + "Catch2_1821" + "Catch2_1814" + "Catch2_1815" + "Catch2_1816" + "Catch2_1817" + "Catch2_1861" + "Catch2_1860" + "Catch2_1859" + "Catch2_1858" + "Catch2_1857" + "Catch2_1856" + "Catch2_1855" + "Catch2_1854" + "Catch2_1869" + "Catch2_1868" + "Catch2_1867" + "Catch2_1866" + "Catch2_1865" + "Catch2_1864" + "Catch2_1863" + "Catch2_1862" + "Catch2_1844" + "Catch2_1845" + "Catch2_1842" + "Catch2_1843" + "Catch2_1840" + "Catch2_1841" + "Catch2_1838" + "Catch2_1839" + "Catch2_1852" + "Catch2_1853" + "Catch2_1850" + "Catch2_1851" + "Catch2_1848" + "Catch2_1849" + "Catch2_1846" + "Catch2_1847" + "Catch2_1766" + "Catch2_1767" + "Catch2_1768" + "Catch2_1769" + "Catch2_1770" + "Catch2_1771" + "Catch2_1772" + "Catch2_1773" + "Catch2_1758" + "Catch2_1759" + "Catch2_1760" + "Catch2_1761" + "Catch2_1762" + "Catch2_1763" + "Catch2_1764" + "Catch2_1765" + "Catch2_1751" + "Catch2_1750" + "Catch2_1753" + "Catch2_1752" + "Catch2_1755" + "Catch2_1754" + "Catch2_1757" + "Catch2_1756" + "Catch2_1743" + "Catch2_1742" + "Catch2_1745" + "Catch2_1744" + "Catch2_1747" + "Catch2_1746" + "Catch2_1749" + "Catch2_1748" + "Catch2_1800" + "Catch2_1801" + "Catch2_1798" + "Catch2_1799" + "Catch2_1804" + "Catch2_1805" + "Catch2_1802" + "Catch2_1803" + "Catch2_1792" + "Catch2_1793" + "Catch2_1790" + "Catch2_1791" + "Catch2_1796" + "Catch2_1797" + "Catch2_1794" + "Catch2_1795" + "Catch2_1785" + "Catch2_1784" + "Catch2_1783" + "Catch2_1782" + "Catch2_1789" + "Catch2_1788" + "Catch2_1787" + "Catch2_1786" + "Catch2_1777" + "Catch2_1776" + "Catch2_1775" + "Catch2_1774" + "Catch2_1781" + "Catch2_1780" + "Catch2_1779" + "Catch2_1778" + "Catch2_1706" + "Catch2_1707" + "Catch2_1708" + "Catch2_1709" + "Catch2_1702" + "Catch2_1703" + "Catch2_1704" + "Catch2_1705" + "Catch2_1698" + "Catch2_1699" + "Catch2_1700" + "Catch2_1701" + "Catch2_1694" + "Catch2_1695" + "Catch2_1696" + "Catch2_1697" + "Catch2_1691" + "Catch2_1690" + "Catch2_1693" + "Catch2_1692" + "Catch2_1687" + "Catch2_1686" + "Catch2_1689" + "Catch2_1688" + "Catch2_1683" + "Catch2_1682" + "Catch2_1685" + "Catch2_1684" + "Catch2_1679" + "Catch2_1678" + "Catch2_1681" + "Catch2_1680" + "Catch2_1740" + "Catch2_1741" + "Catch2_1738" + "Catch2_1739" + "Catch2_1736" + "Catch2_1737" + "Catch2_1734" + "Catch2_1735" + "Catch2_1732" + "Catch2_1733" + "Catch2_1730" + "Catch2_1731" + "Catch2_1728" + "Catch2_1729" + "Catch2_1726" + "Catch2_1727" + "Catch2_1725" + "Catch2_1724" + "Catch2_1723" + "Catch2_1722" + "Catch2_1721" + "Catch2_1720" + "Catch2_1719" + "Catch2_1718" + "Catch2_1717" + "Catch2_1716" + "Catch2_1715" + "Catch2_1714" + "Catch2_1713" + "Catch2_1712" + "Catch2_1711" + "Catch2_1710")) )


BK_STOP 1464730322922

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/onthefly.sh: line 24: 421 Aborted $VERIFYPN/verifypn-linux64 $1 -d "model.pnml" $2

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="S_Philosophers-PT-002000"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="tapaalPAR"
export BK_RESULT_DIR="/users/gast00/fkordon/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

tar xzf /home/mcc/BenchKit/INPUTS/S_Philosophers-PT-002000.tgz
mv S_Philosophers-PT-002000 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool tapaalPAR"
echo " Input is S_Philosophers-PT-002000, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r172kn-ebro-146433143200934"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 '' ReachabilityCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;