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 UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172kn-ebro-146433143200929
=====================================================================

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1464729460929


*****************************************
TAPAAL onthefly-PAR performing UpperBounds search
*****************************************
Philosophers-COL-002000-UpperBounds-0: place-bound ( "Think_1" + "Think_2" + "Think_3" + "Think_4" + "Think_5" + "Think_6" + "Think_7" + "Think_8" + "Think_9" + "Think_10" + "Think_11" + "Think_12" + "Think_13" + "Think_15" + "Think_14" + "Think_17" + "Think_16" + "Think_19" + "Think_18" + "Think_21" + "Think_20" + "Think_23" + "Think_22" + "Think_25" + "Think_24" + "Think_27" + "Think_26" + "Think_29" + "Think_28" + "Think_32" + "Think_33" + "Think_30" + "Think_31" + "Think_36" + "Think_37" + "Think_34" + "Think_35" + "Think_40" + "Think_41" + "Think_38" + "Think_39" + "Think_44" + "Think_45" + "Think_42" + "Think_43" + "Think_49" + "Think_48" + "Think_47" + "Think_46" + "Think_53" + "Think_52" + "Think_51" + "Think_50" + "Think_57" + "Think_56" + "Think_55" + "Think_54" + "Think_61" + "Think_60" + "Think_59" + "Think_58" + "Think_66" + "Think_67" + "Think_68" + "Think_69" + "Think_62" + "Think_63" + "Think_64" + "Think_65" + "Think_74" + "Think_75" + "Think_76" + "Think_77" + "Think_70" + "Think_71" + "Think_72" + "Think_73" + "Think_83" + "Think_82" + "Think_85" + "Think_84" + "Think_79" + "Think_78" + "Think_81" + "Think_80" + "Think_91" + "Think_90" + "Think_93" + "Think_92" + "Think_87" + "Think_86" + "Think_89" + "Think_88" + "Think_100" + "Think_101" + "Think_98" + "Think_99" + "Think_96" + "Think_97" + "Think_94" + "Think_95" + "Think_108" + "Think_109" + "Think_106" + "Think_107" + "Think_104" + "Think_105" + "Think_102" + "Think_103" + "Think_117" + "Think_116" + "Think_115" + "Think_114" + "Think_113" + "Think_112" + "Think_111" + "Think_110" + "Think_125" + "Think_124" + "Think_123" + "Think_122" + "Think_121" + "Think_120" + "Think_119" + "Think_118" + "Think_135" + "Think_134" + "Think_137" + "Think_136" + "Think_139" + "Think_138" + "Think_141" + "Think_140" + "Think_127" + "Think_126" + "Think_129" + "Think_128" + "Think_131" + "Think_130" + "Think_133" + "Think_132" + "Think_150" + "Think_151" + "Think_152" + "Think_153" + "Think_154" + "Think_155" + "Think_156" + "Think_157" + "Think_142" + "Think_143" + "Think_144" + "Think_145" + "Think_146" + "Think_147" + "Think_148" + "Think_149" + "Think_169" + "Think_168" + "Think_167" + "Think_166" + "Think_173" + "Think_172" + "Think_171" + "Think_170" + "Think_161" + "Think_160" + "Think_159" + "Think_158" + "Think_165" + "Think_164" + "Think_163" + "Think_162" + "Think_184" + "Think_185" + "Think_182" + "Think_183" + "Think_188" + "Think_189" + "Think_186" + "Think_187" + "Think_176" + "Think_177" + "Think_174" + "Think_175" + "Think_180" + "Think_181" + "Think_178" + "Think_179" + "Think_203" + "Think_202" + "Think_205" + "Think_204" + "Think_199" + "Think_198" + "Think_201" + "Think_200" + "Think_195" + "Think_194" + "Think_197" + "Think_196" + "Think_191" + "Think_190" + "Think_193" + "Think_192" + "Think_218" + "Think_219" + "Think_220" + "Think_221" + "Think_214" + "Think_215" + "Think_216" + "Think_217" + "Think_210" + "Think_211" + "Think_212" + "Think_213" + "Think_206" + "Think_207" + "Think_208" + "Think_209" + "Think_237" + "Think_236" + "Think_235" + "Think_234" + "Think_233" + "Think_232" + "Think_231" + "Think_230" + "Think_229" + "Think_228" + "Think_227" + "Think_226" + "Think_225" + "Think_224" + "Think_223" + "Think_222" + "Think_252" + "Think_253" + "Think_250" + "Think_251" + "Think_248" + "Think_249" + "Think_246" + "Think_247" + "Think_244" + "Think_245" + "Think_242" + "Think_243" + "Think_240" + "Think_241" + "Think_238" + "Think_239" + "Think_273" + "Think_272" + "Think_271" + "Think_270" + "Think_277" + "Think_276" + "Think_275" + "Think_274" + "Think_281" + "Think_280" + "Think_279" + "Think_278" + "Think_285" + "Think_284" + "Think_283" + "Think_282" + "Think_256" + "Think_257" + "Think_254" + "Think_255" + "Think_260" + "Think_261" + "Think_258" + "Think_259" + "Think_264" + "Think_265" + "Think_262" + "Think_263" + "Think_268" + "Think_269" + "Think_266" + "Think_267" + "Think_303" + "Think_302" + "Think_305" + "Think_304" + "Think_307" + "Think_306" + "Think_309" + "Think_308" + "Think_311" + "Think_310" + "Think_313" + "Think_312" + "Think_315" + "Think_314" + "Think_317" + "Think_316" + "Think_286" + "Think_287" + "Think_288" + "Think_289" + "Think_290" + "Think_291" + "Think_292" + "Think_293" + "Think_294" + "Think_295" + "Think_296" + "Think_297" + "Think_298" + "Think_299" + "Think_300" + "Think_301" + "Think_341" + "Think_340" + "Think_339" + "Think_338" + "Think_337" + "Think_336" + "Think_335" + "Think_334" + "Think_349" + "Think_348" + "Think_347" + "Think_346" + "Think_345" + "Think_344" + "Think_343" + "Think_342" + "Think_324" + "Think_325" + "Think_322" + "Think_323" + "Think_320" + "Think_321" + "Think_318" + "Think_319" + "Think_332" + "Think_333" + "Think_330" + "Think_331" + "Think_328" + "Think_329" + "Think_326" + "Think_327" + "Think_371" + "Think_370" + "Think_373" + "Think_372" + "Think_367" + "Think_366" + "Think_369" + "Think_368" + "Think_379" + "Think_378" + "Think_381" + "Think_380" + "Think_375" + "Think_374" + "Think_377" + "Think_376" + "Think_354" + "Think_355" + "Think_356" + "Think_357" + "Think_350" + "Think_351" + "Think_352" + "Think_353" + "Think_362" + "Think_363" + "Think_364" + "Think_365" + "Think_358" + "Think_359" + "Think_360" + "Think_361" + "Think_408" + "Think_409" + "Think_406" + "Think_407" + "Think_412" + "Think_413" + "Think_410" + "Think_411" + "Think_400" + "Think_401" + "Think_398" + "Think_399" + "Think_404" + "Think_405" + "Think_402" + "Think_403" + "Think_393" + "Think_392" + "Think_391" + "Think_390" + "Think_397" + "Think_396" + "Think_395" + "Think_394" + "Think_385" + "Think_384" + "Think_383" + "Think_382" + "Think_389" + "Think_388" + "Think_387" + "Think_386" + "Think_438" + "Think_439" + "Think_440" + "Think_441" + "Think_442" + "Think_443" + "Think_444" + "Think_445" + "Think_430" + "Think_431" + "Think_432" + "Think_433" + "Think_434" + "Think_435" + "Think_436" + "Think_437" + "Think_423" + "Think_422" + "Think_425" + "Think_424" + "Think_427" + "Think_426" + "Think_429" + "Think_428" + "Think_415" + "Think_414" + "Think_417" + "Think_416" + "Think_419" + "Think_418" + "Think_421" + "Think_420" + "Think_476" + "Think_477" + "Think_474" + "Think_475" + "Think_472" + "Think_473" + "Think_470" + "Think_471" + "Think_468" + "Think_469" + "Think_466" + "Think_467" + "Think_464" + "Think_465" + "Think_462" + "Think_463" + "Think_461" + "Think_460" + "Think_459" + "Think_458" + "Think_457" + "Think_456" + "Think_455" + "Think_454" + "Think_453" + "Think_452" + "Think_451" + "Think_450" + "Think_449" + "Think_448" + "Think_447" + "Think_446" + "Think_506" + "Think_507" + "Think_508" + "Think_509" + "Think_502" + "Think_503" + "Think_504" + "Think_505" + "Think_498" + "Think_499" + "Think_500" + "Think_501" + "Think_494" + "Think_495" + "Think_496" + "Think_497" + "Think_491" + "Think_490" + "Think_493" + "Think_492" + "Think_487" + "Think_486" + "Think_489" + "Think_488" + "Think_483" + "Think_482" + "Think_485" + "Think_484" + "Think_479" + "Think_478" + "Think_481" + "Think_480" + "Think_548" + "Think_549" + "Think_546" + "Think_547" + "Think_544" + "Think_545" + "Think_542" + "Think_543" + "Think_556" + "Think_557" + "Think_554" + "Think_555" + "Think_552" + "Think_553" + "Think_550" + "Think_551" + "Think_565" + "Think_564" + "Think_563" + "Think_562" + "Think_561" + "Think_560" + "Think_559" + "Think_558" + "Think_573" + "Think_572" + "Think_571" + "Think_570" + "Think_569" + "Think_568" + "Think_567" + "Think_566" + "Think_514" + "Think_515" + "Think_516" + "Think_517" + "Think_510" + "Think_511" + "Think_512" + "Think_513" + "Think_522" + "Think_523" + "Think_524" + "Think_525" + "Think_518" + "Think_519" + "Think_520" + "Think_521" + "Think_531" + "Think_530" + "Think_533" + "Think_532" + "Think_527" + "Think_526" + "Think_529" + "Think_528" + "Think_539" + "Think_538" + "Think_541" + "Think_540" + "Think_535" + "Think_534" + "Think_537" + "Think_536" + "Think_608" + "Think_609" + "Think_606" + "Think_607" + "Think_612" + "Think_613" + "Think_610" + "Think_611" + "Think_616" + "Think_617" + "Think_614" + "Think_615" + "Think_620" + "Think_621" + "Think_618" + "Think_619" + "Think_625" + "Think_624" + "Think_623" + "Think_622" + "Think_629" + "Think_628" + "Think_627" + "Think_626" + "Think_633" + "Think_632" + "Think_631" + "Think_630" + "Think_637" + "Think_636" + "Think_635" + "Think_634" + "Think_574" + "Think_575" + "Think_576" + "Think_577" + "Think_578" + "Think_579" + "Think_580" + "Think_581" + "Think_582" + "Think_583" + "Think_584" + "Think_585" + "Think_586" + "Think_587" + "Think_588" + "Think_589" + "Think_591" + "Think_590" + "Think_593" + "Think_592" + "Think_595" + "Think_594" + "Think_597" + "Think_596" + "Think_599" + "Think_598" + "Think_601" + "Think_600" + "Think_603" + "Think_602" + "Think_605" + "Think_604" + "Think_685" + "Think_684" + "Think_683" + "Think_682" + "Think_681" + "Think_680" + "Think_679" + "Think_678" + "Think_677" + "Think_676" + "Think_675" + "Think_674" + "Think_673" + "Think_672" + "Think_671" + "Think_670" + "Think_700" + "Think_701" + "Think_698" + "Think_699" + "Think_696" + "Think_697" + "Think_694" + "Think_695" + "Think_692" + "Think_693" + "Think_690" + "Think_691" + "Think_688" + "Think_689" + "Think_686" + "Think_687" + "Think_651" + "Think_650" + "Think_653" + "Think_652" + "Think_647" + "Think_646" + "Think_649" + "Think_648" + "Think_643" + "Think_642" + "Think_645" + "Think_644" + "Think_639" + "Think_638" + "Think_641" + "Think_640" + "Think_666" + "Think_667" + "Think_668" + "Think_669" + "Think_662" + "Think_663" + "Think_664" + "Think_665" + "Think_658" + "Think_659" + "Think_660" + "Think_661" + "Think_654" + "Think_655" + "Think_656" + "Think_657" + "Think_745" + "Think_744" + "Think_743" + "Think_742" + "Think_749" + "Think_748" + "Think_747" + "Think_746" + "Think_737" + "Think_736" + "Think_735" + "Think_734" + "Think_741" + "Think_740" + "Think_739" + "Think_738" + "Think_760" + "Think_761" + "Think_758" + "Think_759" + "Think_764" + "Think_765" + "Think_762" + "Think_763" + "Think_752" + "Think_753" + "Think_750" + "Think_751" + "Think_756" + "Think_757" + "Think_754" + "Think_755" + "Think_711" + "Think_710" + "Think_713" + "Think_712" + "Think_715" + "Think_714" + "Think_717" + "Think_716" + "Think_703" + "Think_702" + "Think_705" + "Think_704" + "Think_707" + "Think_706" + "Think_709" + "Think_708" + "Think_726" + "Think_727" + "Think_728" + "Think_729" + "Think_730" + "Think_731" + "Think_732" + "Think_733" + "Think_718" + "Think_719" + "Think_720" + "Think_721" + "Think_722" + "Think_723" + "Think_724" + "Think_725" + "Think_819" + "Think_818" + "Think_821" + "Think_820" + "Think_815" + "Think_814" + "Think_817" + "Think_816" + "Think_827" + "Think_826" + "Think_829" + "Think_828" + "Think_823" + "Think_822" + "Think_825" + "Think_824" + "Think_802" + "Think_803" + "Think_804" + "Think_805" + "Think_798" + "Think_799" + "Think_800" + "Think_801" + "Think_810" + "Think_811" + "Think_812" + "Think_813" + "Think_806" + "Think_807" + "Think_808" + "Think_809" + "Think_789" + "Think_788" + "Think_787" + "Think_786" + "Think_785" + "Think_784" + "Think_783" + "Think_782" + "Think_797" + "Think_796" + "Think_795" + "Think_794" + "Think_793" + "Think_792" + "Think_791" + "Think_790" + "Think_772" + "Think_773" + "Think_770" + "Think_771" + "Think_768" + "Think_769" + "Think_766" + "Think_767" + "Think_780" + "Think_781" + "Think_778" + "Think_779" + "Think_776" + "Think_777" + "Think_774" + "Think_775" + "Think_879" + "Think_878" + "Think_881" + "Think_880" + "Think_883" + "Think_882" + "Think_885" + "Think_884" + "Think_887" + "Think_886" + "Think_889" + "Think_888" + "Think_891" + "Think_890" + "Think_893" + "Think_892" + "Think_862" + "Think_863" + "Think_864" + "Think_865" + "Think_866" + "Think_867" + "Think_868" + "Think_869" + "Think_870" + "Think_871" + "Think_872" + "Think_873" + "Think_874" + "Think_875" + "Think_876" + "Think_877" + "Think_849" + "Think_848" + "Think_847" + "Think_846" + "Think_853" + "Think_852" + "Think_851" + "Think_850" + "Think_857" + "Think_856" + "Think_855" + "Think_854" + "Think_861" + "Think_860" + "Think_859" + "Think_858" + "Think_832" + "Think_833" + "Think_830" + "Think_831" + "Think_836" + "Think_837" + "Think_834" + "Think_835" + "Think_840" + "Think_841" + "Think_838" + "Think_839" + "Think_844" + "Think_845" + "Think_842" + "Think_843" + "Think_954" + "Think_955" + "Think_956" + "Think_957" + "Think_950" + "Think_951" + "Think_952" + "Think_953" + "Think_946" + "Think_947" + "Think_948" + "Think_949" + "Think_942" + "Think_943" + "Think_944" + "Think_945" + "Think_939" + "Think_938" + "Think_941" + "Think_940" + "Think_935" + "Think_934" + "Think_937" + "Think_936" + "Think_931" + "Think_930" + "Think_933" + "Think_932" + "Think_927" + "Think_926" + "Think_929" + "Think_928" + "Think_924" + "Think_925" + "Think_922" + "Think_923" + "Think_920" + "Think_921" + "Think_918" + "Think_919" + "Think_916" + "Think_917" + "Think_914" + "Think_915" + "Think_912" + "Think_913" + "Think_910" + "Think_911" + "Think_909" + "Think_908" + "Think_907" + "Think_906" + "Think_905" + "Think_904" + "Think_903" + "Think_902" + "Think_901" + "Think_900" + "Think_899" + "Think_898" + "Think_897" + "Think_896" + "Think_895" + "Think_894" + "Think_1014" + "Think_1015" + "Think_1016" + "Think_1017" + "Think_1018" + "Think_1019" + "Think_1020" + "Think_1021" + "Think_1006" + "Think_1007" + "Think_1008" + "Think_1009" + "Think_1010" + "Think_1011" + "Think_1012" + "Think_1013" + "Think_999" + "Think_998" + "Think_1001" + "Think_1000" + "Think_1003" + "Think_1002" + "Think_1005" + "Think_1004" + "Think_991" + "Think_990" + "Think_993" + "Think_992" + "Think_995" + "Think_994" + "Think_997" + "Think_996" + "Think_984" + "Think_985" + "Think_982" + "Think_983" + "Think_988" + "Think_989" + "Think_986" + "Think_987" + "Think_976" + "Think_977" + "Think_974" + "Think_975" + "Think_980" + "Think_981" + "Think_978" + "Think_979" + "Think_969" + "Think_968" + "Think_967" + "Think_966" + "Think_973" + "Think_972" + "Think_971" + "Think_970" + "Think_961" + "Think_960" + "Think_959" + "Think_958" + "Think_965" + "Think_964" + "Think_963" + "Think_962" + "Think_1098" + "Think_1099" + "Think_1100" + "Think_1101" + "Think_1094" + "Think_1095" + "Think_1096" + "Think_1097" + "Think_1090" + "Think_1091" + "Think_1092" + "Think_1093" + "Think_1086" + "Think_1087" + "Think_1088" + "Think_1089" + "Think_1115" + "Think_1114" + "Think_1117" + "Think_1116" + "Think_1111" + "Think_1110" + "Think_1113" + "Think_1112" + "Think_1107" + "Think_1106" + "Think_1109" + "Think_1108" + "Think_1103" + "Think_1102" + "Think_1105" + "Think_1104" + "Think_1132" + "Think_1133" + "Think_1130" + "Think_1131" + "Think_1128" + "Think_1129" + "Think_1126" + "Think_1127" + "Think_1124" + "Think_1125" + "Think_1122" + "Think_1123" + "Think_1120" + "Think_1121" + "Think_1118" + "Think_1119" + "Think_1149" + "Think_1148" + "Think_1147" + "Think_1146" + "Think_1145" + "Think_1144" + "Think_1143" + "Think_1142" + "Think_1141" + "Think_1140" + "Think_1139" + "Think_1138" + "Think_1137" + "Think_1136" + "Think_1135" + "Think_1134" + "Think_1030" + "Think_1031" + "Think_1032" + "Think_1033" + "Think_1034" + "Think_1035" + "Think_1036" + "Think_1037" + "Think_1022" + "Think_1023" + "Think_1024" + "Think_1025" + "Think_1026" + "Think_1027" + "Think_1028" + "Think_1029" + "Think_1047" + "Think_1046" + "Think_1049" + "Think_1048" + "Think_1051" + "Think_1050" + "Think_1053" + "Think_1052" + "Think_1039" + "Think_1038" + "Think_1041" + "Think_1040" + "Think_1043" + "Think_1042" + "Think_1045" + "Think_1044" + "Think_1064" + "Think_1065" + "Think_1062" + "Think_1063" + "Think_1068" + "Think_1069" + "Think_1066" + "Think_1067" + "Think_1056" + "Think_1057" + "Think_1054" + "Think_1055" + "Think_1060" + "Think_1061" + "Think_1058" + "Think_1059" + "Think_1081" + "Think_1080" + "Think_1079" + "Think_1078" + "Think_1085" + "Think_1084" + "Think_1083" + "Think_1082" + "Think_1073" + "Think_1072" + "Think_1071" + "Think_1070" + "Think_1077" + "Think_1076" + "Think_1075" + "Think_1074" + "Think_1219" + "Think_1218" + "Think_1221" + "Think_1220" + "Think_1215" + "Think_1214" + "Think_1217" + "Think_1216" + "Think_1227" + "Think_1226" + "Think_1229" + "Think_1228" + "Think_1223" + "Think_1222" + "Think_1225" + "Think_1224" + "Think_1234" + "Think_1235" + "Think_1236" + "Think_1237" + "Think_1230" + "Think_1231" + "Think_1232" + "Think_1233" + "Think_1242" + "Think_1243" + "Think_1244" + "Think_1245" + "Think_1238" + "Think_1239" + "Think_1240" + "Think_1241" + "Think_1253" + "Think_1252" + "Think_1251" + "Think_1250" + "Think_1249" + "Think_1248" + "Think_1247" + "Think_1246" + "Think_1261" + "Think_1260" + "Think_1259" + "Think_1258" + "Think_1257" + "Think_1256" + "Think_1255" + "Think_1254" + "Think_1268" + "Think_1269" + "Think_1266" + "Think_1267" + "Think_1264" + "Think_1265" + "Think_1262" + "Think_1263" + "Think_1276" + "Think_1277" + "Think_1274" + "Think_1275" + "Think_1272" + "Think_1273" + "Think_1270" + "Think_1271" + "Think_1151" + "Think_1150" + "Think_1153" + "Think_1152" + "Think_1155" + "Think_1154" + "Think_1157" + "Think_1156" + "Think_1159" + "Think_1158" + "Think_1161" + "Think_1160" + "Think_1163" + "Think_1162" + "Think_1165" + "Think_1164" + "Think_1166" + "Think_1167" + "Think_1168" + "Think_1169" + "Think_1170" + "Think_1171" + "Think_1172" + "Think_1173" + "Think_1174" + "Think_1175" + "Think_1176" + "Think_1177" + "Think_1178" + "Think_1179" + "Think_1180" + "Think_1181" + "Think_1185" + "Think_1184" + "Think_1183" + "Think_1182" + "Think_1189" + "Think_1188" + "Think_1187" + "Think_1186" + "Think_1193" + "Think_1192" + "Think_1191" + "Think_1190" + "Think_1197" + "Think_1196" + "Think_1195" + "Think_1194" + "Think_1200" + "Think_1201" + "Think_1198" + "Think_1199" + "Think_1204" + "Think_1205" + "Think_1202" + "Think_1203" + "Think_1208" + "Think_1209" + "Think_1206" + "Think_1207" + "Think_1212" + "Think_1213" + "Think_1210" + "Think_1211" + "Think_1373" + "Think_1372" + "Think_1371" + "Think_1370" + "Think_1369" + "Think_1368" + "Think_1367" + "Think_1366" + "Think_1365" + "Think_1364" + "Think_1363" + "Think_1362" + "Think_1361" + "Think_1360" + "Think_1359" + "Think_1358" + "Think_1356" + "Think_1357" + "Think_1354" + "Think_1355" + "Think_1352" + "Think_1353" + "Think_1350" + "Think_1351" + "Think_1348" + "Think_1349" + "Think_1346" + "Think_1347" + "Think_1344" + "Think_1345" + "Think_1342" + "Think_1343" + "Think_1403" + "Think_1402" + "Think_1405" + "Think_1404" + "Think_1399" + "Think_1398" + "Think_1401" + "Think_1400" + "Think_1395" + "Think_1394" + "Think_1397" + "Think_1396" + "Think_1391" + "Think_1390" + "Think_1393" + "Think_1392" + "Think_1386" + "Think_1387" + "Think_1388" + "Think_1389" + "Think_1382" + "Think_1383" + "Think_1384" + "Think_1385" + "Think_1378" + "Think_1379" + "Think_1380" + "Think_1381" + "Think_1374" + "Think_1375" + "Think_1376" + "Think_1377" + "Think_1305" + "Think_1304" + "Think_1303" + "Think_1302" + "Think_1309" + "Think_1308" + "Think_1307" + "Think_1306" + "Think_1297" + "Think_1296" + "Think_1295" + "Think_1294" + "Think_1301" + "Think_1300" + "Think_1299" + "Think_1298" + "Think_1288" + "Think_1289" + "Think_1286" + "Think_1287" + "Think_1292" + "Think_1293" + "Think_1290" + "Think_1291" + "Think_1280" + "Think_1281" + "Think_1278" + "Think_1279" + "Think_1284" + "Think_1285" + "Think_1282" + "Think_1283" + "Think_1335" + "Think_1334" + "Think_1337" + "Think_1336" + "Think_1339" + "Think_1338" + "Think_1341" + "Think_1340" + "Think_1327" + "Think_1326" + "Think_1329" + "Think_1328" + "Think_1331" + "Think_1330" + "Think_1333" + "Think_1332" + "Think_1318" + "Think_1319" + "Think_1320" + "Think_1321" + "Think_1322" + "Think_1323" + "Think_1324" + "Think_1325" + "Think_1310" + "Think_1311" + "Think_1312" + "Think_1313" + "Think_1314" + "Think_1315" + "Think_1316" + "Think_1317" + "Think_1492" + "Think_1493" + "Think_1490" + "Think_1491" + "Think_1488" + "Think_1489" + "Think_1486" + "Think_1487" + "Think_1500" + "Think_1501" + "Think_1498" + "Think_1499" + "Think_1496" + "Think_1497" + "Think_1494" + "Think_1495" + "Think_1477" + "Think_1476" + "Think_1475" + "Think_1474" + "Think_1473" + "Think_1472" + "Think_1471" + "Think_1470" + "Think_1485" + "Think_1484" + "Think_1483" + "Think_1482" + "Think_1481" + "Think_1480" + "Think_1479" + "Think_1478" + "Think_1522" + "Think_1523" + "Think_1524" + "Think_1525" + "Think_1518" + "Think_1519" + "Think_1520" + "Think_1521" + "Think_1530" + "Think_1531" + "Think_1532" + "Think_1533" + "Think_1526" + "Think_1527" + "Think_1528" + "Think_1529" + "Think_1507" + "Think_1506" + "Think_1509" + "Think_1508" + "Think_1503" + "Think_1502" + "Think_1505" + "Think_1504" + "Think_1515" + "Think_1514" + "Think_1517" + "Think_1516" + "Think_1511" + "Think_1510" + "Think_1513" + "Think_1512" + "Think_1424" + "Think_1425" + "Think_1422" + "Think_1423" + "Think_1428" + "Think_1429" + "Think_1426" + "Think_1427" + "Think_1432" + "Think_1433" + "Think_1430" + "Think_1431" + "Think_1436" + "Think_1437" + "Think_1434" + "Think_1435" + "Think_1409" + "Think_1408" + "Think_1407" + "Think_1406" + "Think_1413" + "Think_1412" + "Think_1411" + "Think_1410" + "Think_1417" + "Think_1416" + "Think_1415" + "Think_1414" + "Think_1421" + "Think_1420" + "Think_1419" + "Think_1418" + "Think_1454" + "Think_1455" + "Think_1456" + "Think_1457" + "Think_1458" + "Think_1459" + "Think_1460" + "Think_1461" + "Think_1462" + "Think_1463" + "Think_1464" + "Think_1465" + "Think_1466" + "Think_1467" + "Think_1468" + "Think_1469" + "Think_1439" + "Think_1438" + "Think_1441" + "Think_1440" + "Think_1443" + "Think_1442" + "Think_1445" + "Think_1444" + "Think_1447" + "Think_1446" + "Think_1449" + "Think_1448" + "Think_1451" + "Think_1450" + "Think_1453" + "Think_1452" + "Think_1640" + "Think_1641" + "Think_1638" + "Think_1639" + "Think_1644" + "Think_1645" + "Think_1642" + "Think_1643" + "Think_1632" + "Think_1633" + "Think_1630" + "Think_1631" + "Think_1636" + "Think_1637" + "Think_1634" + "Think_1635" + "Think_1657" + "Think_1656" + "Think_1655" + "Think_1654" + "Think_1661" + "Think_1660" + "Think_1659" + "Think_1658" + "Think_1649" + "Think_1648" + "Think_1647" + "Think_1646" + "Think_1653" + "Think_1652" + "Think_1651" + "Think_1650" + "Think_1606" + "Think_1607" + "Think_1608" + "Think_1609" + "Think_1610" + "Think_1611" + "Think_1612" + "Think_1613" + "Think_1598" + "Think_1599" + "Think_1600" + "Think_1601" + "Think_1602" + "Think_1603" + "Think_1604" + "Think_1605" + "Think_1623" + "Think_1622" + "Think_1625" + "Think_1624" + "Think_1627" + "Think_1626" + "Think_1629" + "Think_1628" + "Think_1615" + "Think_1614" + "Think_1617" + "Think_1616" + "Think_1619" + "Think_1618" + "Think_1621" + "Think_1620" + "Think_1580" + "Think_1581" + "Think_1578" + "Think_1579" + "Think_1576" + "Think_1577" + "Think_1574" + "Think_1575" + "Think_1572" + "Think_1573" + "Think_1570" + "Think_1571" + "Think_1568" + "Think_1569" + "Think_1566" + "Think_1567" + "Think_1597" + "Think_1596" + "Think_1595" + "Think_1594" + "Think_1593" + "Think_1592" + "Think_1591" + "Think_1590" + "Think_1589" + "Think_1588" + "Think_1587" + "Think_1586" + "Think_1585" + "Think_1584" + "Think_1583" + "Think_1582" + "Think_1546" + "Think_1547" + "Think_1548" + "Think_1549" + "Think_1542" + "Think_1543" + "Think_1544" + "Think_1545" + "Think_1538" + "Think_1539" + "Think_1540" + "Think_1541" + "Think_1534" + "Think_1535" + "Think_1536" + "Think_1537" + "Think_1563" + "Think_1562" + "Think_1565" + "Think_1564" + "Think_1559" + "Think_1558" + "Think_1561" + "Think_1560" + "Think_1555" + "Think_1554" + "Think_1557" + "Think_1556" + "Think_1551" + "Think_1550" + "Think_1553" + "Think_1552" + "Think_1761" + "Think_1760" + "Think_1759" + "Think_1758" + "Think_1765" + "Think_1764" + "Think_1763" + "Think_1762" + "Think_1769" + "Think_1768" + "Think_1767" + "Think_1766" + "Think_1773" + "Think_1772" + "Think_1771" + "Think_1770" + "Think_1776" + "Think_1777" + "Think_1774" + "Think_1775" + "Think_1780" + "Think_1781" + "Think_1778" + "Think_1779" + "Think_1784" + "Think_1785" + "Think_1782" + "Think_1783" + "Think_1788" + "Think_1789" + "Think_1786" + "Think_1787" + "Think_1727" + "Think_1726" + "Think_1729" + "Think_1728" + "Think_1731" + "Think_1730" + "Think_1733" + "Think_1732" + "Think_1735" + "Think_1734" + "Think_1737" + "Think_1736" + "Think_1739" + "Think_1738" + "Think_1741" + "Think_1740" + "Think_1742" + "Think_1743" + "Think_1744" + "Think_1745" + "Think_1746" + "Think_1747" + "Think_1748" + "Think_1749" + "Think_1750" + "Think_1751" + "Think_1752" + "Think_1753" + "Think_1754" + "Think_1755" + "Think_1756" + "Think_1757" + "Think_1701" + "Think_1700" + "Think_1699" + "Think_1698" + "Think_1697" + "Think_1696" + "Think_1695" + "Think_1694" + "Think_1709" + "Think_1708" + "Think_1707" + "Think_1706" + "Think_1705" + "Think_1704" + "Think_1703" + "Think_1702" + "Think_1716" + "Think_1717" + "Think_1714" + "Think_1715" + "Think_1712" + "Think_1713" + "Think_1710" + "Think_1711" + "Think_1724" + "Think_1725" + "Think_1722" + "Think_1723" + "Think_1720" + "Think_1721" + "Think_1718" + "Think_1719" + "Think_1667" + "Think_1666" + "Think_1669" + "Think_1668" + "Think_1663" + "Think_1662" + "Think_1665" + "Think_1664" + "Think_1675" + "Think_1674" + "Think_1677" + "Think_1676" + "Think_1671" + "Think_1670" + "Think_1673" + "Think_1672" + "Think_1682" + "Think_1683" + "Think_1684" + "Think_1685" + "Think_1678" + "Think_1679" + "Think_1680" + "Think_1681" + "Think_1690" + "Think_1691" + "Think_1692" + "Think_1693" + "Think_1686" + "Think_1687" + "Think_1688" + "Think_1689" + "Think_1911" + "Think_1910" + "Think_1913" + "Think_1912" + "Think_1915" + "Think_1914" + "Think_1917" + "Think_1916" + "Think_1903" + "Think_1902" + "Think_1905" + "Think_1904" + "Think_1907" + "Think_1906" + "Think_1909" + "Think_1908" + "Think_1894" + "Think_1895" + "Think_1896" + "Think_1897" + "Think_1898" + "Think_1899" + "Think_1900" + "Think_1901" + "Think_1886" + "Think_1887" + "Think_1888" + "Think_1889" + "Think_1890" + "Think_1891" + "Think_1892" + "Think_1893" + "Think_1881" + "Think_1880" + "Think_1879" + "Think_1878" + "Think_1885" + "Think_1884" + "Think_1883" + "Think_1882" + "Think_1873" + "Think_1872" + "Think_1871" + "Think_1870" + "Think_1877" + "Think_1876" + "Think_1875" + "Think_1874" + "Think_1864" + "Think_1865" + "Think_1862" + "Think_1863" + "Think_1868" + "Think_1869" + "Think_1866" + "Think_1867" + "Think_1856" + "Think_1857" + "Think_1854" + "Think_1855" + "Think_1860" + "Think_1861" + "Think_1858" + "Think_1859" + "Think_1851" + "Think_1850" + "Think_1853" + "Think_1852" + "Think_1847" + "Think_1846" + "Think_1849" + "Think_1848" + "Think_1843" + "Think_1842" + "Think_1845" + "Think_1844" + "Think_1839" + "Think_1838" + "Think_1841" + "Think_1840" + "Think_1834" + "Think_1835" + "Think_1836" + "Think_1837" + "Think_1830" + "Think_1831" + "Think_1832" + "Think_1833" + "Think_1826" + "Think_1827" + "Think_1828" + "Think_1829" + "Think_1822" + "Think_1823" + "Think_1824" + "Think_1825" + "Think_1821" + "Think_1820" + "Think_1819" + "Think_1818" + "Think_1817" + "Think_1816" + "Think_1815" + "Think_1814" + "Think_1813" + "Think_1812" + "Think_1811" + "Think_1810" + "Think_1809" + "Think_1808" + "Think_1807" + "Think_1806" + "Think_1804" + "Think_1805" + "Think_1802" + "Think_1803" + "Think_1800" + "Think_1801" + "Think_1798" + "Think_1799" + "Think_1796" + "Think_1797" + "Think_1794" + "Think_1795" + "Think_1792" + "Think_1793" + "Think_1790" + "Think_1791" + "Think_2000" + "Think_1998" + "Think_1999" + "Think_1985" + "Think_1984" + "Think_1983" + "Think_1982" + "Think_1989" + "Think_1988" + "Think_1987" + "Think_1986" + "Think_1993" + "Think_1992" + "Think_1991" + "Think_1990" + "Think_1997" + "Think_1996" + "Think_1995" + "Think_1994" + "Think_1970" + "Think_1971" + "Think_1972" + "Think_1973" + "Think_1966" + "Think_1967" + "Think_1968" + "Think_1969" + "Think_1978" + "Think_1979" + "Think_1980" + "Think_1981" + "Think_1974" + "Think_1975" + "Think_1976" + "Think_1977" + "Think_1955" + "Think_1954" + "Think_1957" + "Think_1956" + "Think_1951" + "Think_1950" + "Think_1953" + "Think_1952" + "Think_1963" + "Think_1962" + "Think_1965" + "Think_1964" + "Think_1959" + "Think_1958" + "Think_1961" + "Think_1960" + "Think_1940" + "Think_1941" + "Think_1938" + "Think_1939" + "Think_1936" + "Think_1937" + "Think_1934" + "Think_1935" + "Think_1948" + "Think_1949" + "Think_1946" + "Think_1947" + "Think_1944" + "Think_1945" + "Think_1942" + "Think_1943" + "Think_1925" + "Think_1924" + "Think_1923" + "Think_1922" + "Think_1921" + "Think_1920" + "Think_1919" + "Think_1918" + "Think_1933" + "Think_1932" + "Think_1931" + "Think_1930" + "Think_1929" + "Think_1928" + "Think_1927" + "Think_1926" < 0)


BK_STOP 1464729722475

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/onthefly.sh: line 51: 366 Aborted $VERIFYPN/verifypn-linux64 -o mc -c 4 -n -d model.pnml UpperBounds.xml

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="UpperBounds"
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 UpperBounds"
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-146433143200929"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.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 ;