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

--------------------
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-000500-UpperBounds-0
FORMULA_NAME Philosophers-COL-000500-UpperBounds-1
FORMULA_NAME Philosophers-COL-000500-UpperBounds-10
FORMULA_NAME Philosophers-COL-000500-UpperBounds-11
FORMULA_NAME Philosophers-COL-000500-UpperBounds-12
FORMULA_NAME Philosophers-COL-000500-UpperBounds-13
FORMULA_NAME Philosophers-COL-000500-UpperBounds-14
FORMULA_NAME Philosophers-COL-000500-UpperBounds-15
FORMULA_NAME Philosophers-COL-000500-UpperBounds-2
FORMULA_NAME Philosophers-COL-000500-UpperBounds-3
FORMULA_NAME Philosophers-COL-000500-UpperBounds-4
FORMULA_NAME Philosophers-COL-000500-UpperBounds-5
FORMULA_NAME Philosophers-COL-000500-UpperBounds-6
FORMULA_NAME Philosophers-COL-000500-UpperBounds-7
FORMULA_NAME Philosophers-COL-000500-UpperBounds-8
FORMULA_NAME Philosophers-COL-000500-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1464727346044


*****************************************
TAPAAL onthefly-PAR performing UpperBounds search
*****************************************
Philosophers-COL-000500-UpperBounds-0: place-bound ( "Fork_6" + "Fork_7" + "Fork_8" + "Fork_9" + "Fork_2" + "Fork_3" + "Fork_4" + "Fork_5" + "Fork_1" + "Fork_48" + "Fork_49" + "Fork_46" + "Fork_47" + "Fork_44" + "Fork_45" + "Fork_42" + "Fork_43" + "Fork_56" + "Fork_57" + "Fork_54" + "Fork_55" + "Fork_52" + "Fork_53" + "Fork_50" + "Fork_51" + "Fork_65" + "Fork_64" + "Fork_63" + "Fork_62" + "Fork_61" + "Fork_60" + "Fork_59" + "Fork_58" + "Fork_73" + "Fork_72" + "Fork_71" + "Fork_70" + "Fork_69" + "Fork_68" + "Fork_67" + "Fork_66" + "Fork_14" + "Fork_15" + "Fork_16" + "Fork_17" + "Fork_10" + "Fork_11" + "Fork_12" + "Fork_13" + "Fork_22" + "Fork_23" + "Fork_24" + "Fork_25" + "Fork_18" + "Fork_19" + "Fork_20" + "Fork_21" + "Fork_31" + "Fork_30" + "Fork_33" + "Fork_32" + "Fork_27" + "Fork_26" + "Fork_29" + "Fork_28" + "Fork_39" + "Fork_38" + "Fork_41" + "Fork_40" + "Fork_35" + "Fork_34" + "Fork_37" + "Fork_36" + "Fork_108" + "Fork_109" + "Fork_106" + "Fork_107" + "Fork_112" + "Fork_113" + "Fork_110" + "Fork_111" + "Fork_116" + "Fork_117" + "Fork_114" + "Fork_115" + "Fork_120" + "Fork_121" + "Fork_118" + "Fork_119" + "Fork_125" + "Fork_124" + "Fork_123" + "Fork_122" + "Fork_129" + "Fork_128" + "Fork_127" + "Fork_126" + "Fork_133" + "Fork_132" + "Fork_131" + "Fork_130" + "Fork_137" + "Fork_136" + "Fork_135" + "Fork_134" + "Fork_74" + "Fork_75" + "Fork_76" + "Fork_77" + "Fork_78" + "Fork_79" + "Fork_80" + "Fork_81" + "Fork_82" + "Fork_83" + "Fork_84" + "Fork_85" + "Fork_86" + "Fork_87" + "Fork_88" + "Fork_89" + "Fork_91" + "Fork_90" + "Fork_93" + "Fork_92" + "Fork_95" + "Fork_94" + "Fork_97" + "Fork_96" + "Fork_99" + "Fork_98" + "Fork_101" + "Fork_100" + "Fork_103" + "Fork_102" + "Fork_105" + "Fork_104" + "Fork_185" + "Fork_184" + "Fork_183" + "Fork_182" + "Fork_181" + "Fork_180" + "Fork_179" + "Fork_178" + "Fork_177" + "Fork_176" + "Fork_175" + "Fork_174" + "Fork_173" + "Fork_172" + "Fork_171" + "Fork_170" + "Fork_200" + "Fork_201" + "Fork_198" + "Fork_199" + "Fork_196" + "Fork_197" + "Fork_194" + "Fork_195" + "Fork_192" + "Fork_193" + "Fork_190" + "Fork_191" + "Fork_188" + "Fork_189" + "Fork_186" + "Fork_187" + "Fork_151" + "Fork_150" + "Fork_153" + "Fork_152" + "Fork_147" + "Fork_146" + "Fork_149" + "Fork_148" + "Fork_143" + "Fork_142" + "Fork_145" + "Fork_144" + "Fork_139" + "Fork_138" + "Fork_141" + "Fork_140" + "Fork_166" + "Fork_167" + "Fork_168" + "Fork_169" + "Fork_162" + "Fork_163" + "Fork_164" + "Fork_165" + "Fork_158" + "Fork_159" + "Fork_160" + "Fork_161" + "Fork_154" + "Fork_155" + "Fork_156" + "Fork_157" + "Fork_245" + "Fork_244" + "Fork_243" + "Fork_242" + "Fork_249" + "Fork_248" + "Fork_247" + "Fork_246" + "Fork_237" + "Fork_236" + "Fork_235" + "Fork_234" + "Fork_241" + "Fork_240" + "Fork_239" + "Fork_238" + "Fork_260" + "Fork_261" + "Fork_258" + "Fork_259" + "Fork_264" + "Fork_265" + "Fork_262" + "Fork_263" + "Fork_252" + "Fork_253" + "Fork_250" + "Fork_251" + "Fork_256" + "Fork_257" + "Fork_254" + "Fork_255" + "Fork_211" + "Fork_210" + "Fork_213" + "Fork_212" + "Fork_215" + "Fork_214" + "Fork_217" + "Fork_216" + "Fork_203" + "Fork_202" + "Fork_205" + "Fork_204" + "Fork_207" + "Fork_206" + "Fork_209" + "Fork_208" + "Fork_226" + "Fork_227" + "Fork_228" + "Fork_229" + "Fork_230" + "Fork_231" + "Fork_232" + "Fork_233" + "Fork_218" + "Fork_219" + "Fork_220" + "Fork_221" + "Fork_222" + "Fork_223" + "Fork_224" + "Fork_225" + "Fork_319" + "Fork_318" + "Fork_321" + "Fork_320" + "Fork_315" + "Fork_314" + "Fork_317" + "Fork_316" + "Fork_327" + "Fork_326" + "Fork_329" + "Fork_328" + "Fork_323" + "Fork_322" + "Fork_325" + "Fork_324" + "Fork_302" + "Fork_303" + "Fork_304" + "Fork_305" + "Fork_298" + "Fork_299" + "Fork_300" + "Fork_301" + "Fork_310" + "Fork_311" + "Fork_312" + "Fork_313" + "Fork_306" + "Fork_307" + "Fork_308" + "Fork_309" + "Fork_289" + "Fork_288" + "Fork_287" + "Fork_286" + "Fork_285" + "Fork_284" + "Fork_283" + "Fork_282" + "Fork_297" + "Fork_296" + "Fork_295" + "Fork_294" + "Fork_293" + "Fork_292" + "Fork_291" + "Fork_290" + "Fork_272" + "Fork_273" + "Fork_270" + "Fork_271" + "Fork_268" + "Fork_269" + "Fork_266" + "Fork_267" + "Fork_280" + "Fork_281" + "Fork_278" + "Fork_279" + "Fork_276" + "Fork_277" + "Fork_274" + "Fork_275" + "Fork_379" + "Fork_378" + "Fork_381" + "Fork_380" + "Fork_383" + "Fork_382" + "Fork_385" + "Fork_384" + "Fork_387" + "Fork_386" + "Fork_389" + "Fork_388" + "Fork_391" + "Fork_390" + "Fork_393" + "Fork_392" + "Fork_362" + "Fork_363" + "Fork_364" + "Fork_365" + "Fork_366" + "Fork_367" + "Fork_368" + "Fork_369" + "Fork_370" + "Fork_371" + "Fork_372" + "Fork_373" + "Fork_374" + "Fork_375" + "Fork_376" + "Fork_377" + "Fork_349" + "Fork_348" + "Fork_347" + "Fork_346" + "Fork_353" + "Fork_352" + "Fork_351" + "Fork_350" + "Fork_357" + "Fork_356" + "Fork_355" + "Fork_354" + "Fork_361" + "Fork_360" + "Fork_359" + "Fork_358" + "Fork_332" + "Fork_333" + "Fork_330" + "Fork_331" + "Fork_336" + "Fork_337" + "Fork_334" + "Fork_335" + "Fork_340" + "Fork_341" + "Fork_338" + "Fork_339" + "Fork_344" + "Fork_345" + "Fork_342" + "Fork_343" + "Fork_454" + "Fork_455" + "Fork_456" + "Fork_457" + "Fork_450" + "Fork_451" + "Fork_452" + "Fork_453" + "Fork_446" + "Fork_447" + "Fork_448" + "Fork_449" + "Fork_442" + "Fork_443" + "Fork_444" + "Fork_445" + "Fork_439" + "Fork_438" + "Fork_441" + "Fork_440" + "Fork_435" + "Fork_434" + "Fork_437" + "Fork_436" + "Fork_431" + "Fork_430" + "Fork_433" + "Fork_432" + "Fork_427" + "Fork_426" + "Fork_429" + "Fork_428" + "Fork_424" + "Fork_425" + "Fork_422" + "Fork_423" + "Fork_420" + "Fork_421" + "Fork_418" + "Fork_419" + "Fork_416" + "Fork_417" + "Fork_414" + "Fork_415" + "Fork_412" + "Fork_413" + "Fork_410" + "Fork_411" + "Fork_409" + "Fork_408" + "Fork_407" + "Fork_406" + "Fork_405" + "Fork_404" + "Fork_403" + "Fork_402" + "Fork_401" + "Fork_400" + "Fork_399" + "Fork_398" + "Fork_397" + "Fork_396" + "Fork_395" + "Fork_394" + "Fork_499" + "Fork_498" + "Fork_500" + "Fork_491" + "Fork_490" + "Fork_493" + "Fork_492" + "Fork_495" + "Fork_494" + "Fork_497" + "Fork_496" + "Fork_484" + "Fork_485" + "Fork_482" + "Fork_483" + "Fork_488" + "Fork_489" + "Fork_486" + "Fork_487" + "Fork_476" + "Fork_477" + "Fork_474" + "Fork_475" + "Fork_480" + "Fork_481" + "Fork_478" + "Fork_479" + "Fork_469" + "Fork_468" + "Fork_467" + "Fork_466" + "Fork_473" + "Fork_472" + "Fork_471" + "Fork_470" + "Fork_461" + "Fork_460" + "Fork_459" + "Fork_458" + "Fork_465" + "Fork_464" + "Fork_463" + "Fork_462" < 0)


BK_STOP 1464730607458

--------------------
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: 363 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-000500"
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-000500.tgz
mv S_Philosophers-PT-000500 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-000500, 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-146433143200911"
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 ;