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 pnmc
Input is S_Railroad-PT-100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r191kn-smll-146444155800253
=====================================================================

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1464631502316


BK_TIME_CONFINEMENT_REACHED

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


-- Steps
Warning: place pl_P0_1 is not connected.
Warning: place pl_P107_1 is not connected.
Warning: place pl_P113_1 is not connected.
Warning: place pl_P115_1 is not connected.
Warning: place pl_P11_1 is not connected.
Warning: place pl_P121_1 is not connected.
Warning: place pl_P125_1 is not connected.
Warning: place pl_P128_1 is not connected.
Warning: place pl_P129_1 is not connected.
Warning: place pl_P130_1 is not connected.
Warning: place pl_P142_1 is not connected.
Warning: place pl_P149_1 is not connected.
Warning: place pl_P157_1 is not connected.
Warning: place pl_P159_1 is not connected.
Warning: place pl_P15_1 is not connected.
Warning: place pl_P166_1 is not connected.
Warning: place pl_P16_1 is not connected.
Warning: place pl_P174_1 is not connected.
Warning: place pl_P180_1 is not connected.
Warning: place pl_P182_1 is not connected.
Warning: place pl_P196_1 is not connected.
Warning: place pl_P200_1 is not connected.
Warning: place pl_P213_1 is not connected.
Warning: place pl_P216_1 is not connected.
Warning: place pl_P218_10 is not connected.
Warning: place pl_P218_100 is not connected.
Warning: place pl_P218_101 is not connected.
Warning: place pl_P218_11 is not connected.
Warning: place pl_P218_12 is not connected.
Warning: place pl_P218_13 is not connected.
Warning: place pl_P218_14 is not connected.
Warning: place pl_P218_15 is not connected.
Warning: place pl_P218_16 is not connected.
Warning: place pl_P218_17 is not connected.
Warning: place pl_P218_18 is not connected.
Warning: place pl_P218_19 is not connected.
Warning: place pl_P218_2 is not connected.
Warning: place pl_P218_20 is not connected.
Warning: place pl_P218_21 is not connected.
Warning: place pl_P218_22 is not connected.
Warning: place pl_P218_23 is not connected.
Warning: place pl_P218_24 is not connected.
Warning: place pl_P218_25 is not connected.
Warning: place pl_P218_26 is not connected.
Warning: place pl_P218_27 is not connected.
Warning: place pl_P218_28 is not connected.
Warning: place pl_P218_29 is not connected.
Warning: place pl_P218_30 is not connected.
Warning: place pl_P218_31 is not connected.
Warning: place pl_P218_32 is not connected.
Warning: place pl_P218_33 is not connected.
Warning: place pl_P218_34 is not connected.
Warning: place pl_P218_35 is not connected.
Warning: place pl_P218_36 is not connected.
Warning: place pl_P218_37 is not connected.
Warning: place pl_P218_38 is not connected.
Warning: place pl_P218_39 is not connected.
Warning: place pl_P218_4 is not connected.
Warning: place pl_P218_40 is not connected.
Warning: place pl_P218_41 is not connected.
Warning: place pl_P218_42 is not connected.
Warning: place pl_P218_43 is not connected.
Warning: place pl_P218_44 is not connected.
Warning: place pl_P218_45 is not connected.
Warning: place pl_P218_46 is not connected.
Warning: place pl_P218_47 is not connected.
Warning: place pl_P218_48 is not connected.
Warning: place pl_P218_49 is not connected.
Warning: place pl_P218_5 is not connected.
Warning: place pl_P218_50 is not connected.
Warning: place pl_P218_51 is not connected.
Warning: place pl_P218_52 is not connected.
Warning: place pl_P218_53 is not connected.
Warning: place pl_P218_54 is not connected.
Warning: place pl_P218_55 is not connected.
Warning: place pl_P218_56 is not connected.
Warning: place pl_P218_57 is not connected.
Warning: place pl_P218_58 is not connected.
Warning: place pl_P218_59 is not connected.
Warning: place pl_P218_6 is not connected.
Warning: place pl_P218_60 is not connected.
Warning: place pl_P218_61 is not connected.
Warning: place pl_P218_62 is not connected.
Warning: place pl_P218_63 is not connected.
Warning: place pl_P218_64 is not connected.
Warning: place pl_P218_65 is not connected.
Warning: place pl_P218_66 is not connected.
Warning: place pl_P218_67 is not connected.
Warning: place pl_P218_68 is not connected.
Warning: place pl_P218_69 is not connected.
Warning: place pl_P218_7 is not connected.
Warning: place pl_P218_70 is not connected.
Warning: place pl_P218_71 is not connected.
Warning: place pl_P218_72 is not connected.
Warning: place pl_P218_73 is not connected.
Warning: place pl_P218_74 is not connected.
Warning: place pl_P218_75 is not connected.
Warning: place pl_P218_76 is not connected.
Warning: place pl_P218_77 is not connected.
Warning: place pl_P218_78 is not connected.
Warning: place pl_P218_79 is not connected.
Warning: place pl_P218_8 is not connected.
Warning: place pl_P218_80 is not connected.
Warning: place pl_P218_81 is not connected.
Warning: place pl_P218_82 is not connected.
Warning: place pl_P218_83 is not connected.
Warning: place pl_P218_84 is not connected.
Warning: place pl_P218_85 is not connected.
Warning: place pl_P218_86 is not connected.
Warning: place pl_P218_87 is not connected.
Warning: place pl_P218_88 is not connected.
Warning: place pl_P218_89 is not connected.
Warning: place pl_P218_9 is not connected.
Warning: place pl_P218_90 is not connected.
Warning: place pl_P218_91 is not connected.
Warning: place pl_P218_92 is not connected.
Warning: place pl_P218_93 is not connected.
Warning: place pl_P218_94 is not connected.
Warning: place pl_P218_95 is not connected.
Warning: place pl_P218_96 is not connected.
Warning: place pl_P218_97 is not connected.
Warning: place pl_P218_98 is not connected.
Warning: place pl_P218_99 is not connected.
Warning: place pl_P21_1 is not connected.
Warning: place pl_P229_1 is not connected.
Warning: place pl_P234_1 is not connected.
Warning: place pl_P239_1 is not connected.
Warning: place pl_P240_1 is not connected.
Warning: place pl_P252_1 is not connected.
Warning: place pl_P25_1 is not connected.
Warning: place pl_P262_1 is not connected.
Warning: place pl_P267_1 is not connected.
Warning: place pl_P26_1 is not connected.
Warning: place pl_P274_1 is not connected.
Warning: place pl_P279_1 is not connected.
Warning: place pl_P281_1 is not connected.
Warning: place pl_P299_1 is not connected.
Warning: place pl_P2_1 is not connected.
Warning: place pl_P300_1 is not connected.
Warning: place pl_P303_1 is not connected.
Warning: place pl_P305_1 is not connected.
Warning: place pl_P307_1 is not connected.
Warning: place pl_P314_1 is not connected.
Warning: place pl_P316_1 is not connected.
Warning: place pl_P319_1 is not connected.
Warning: place pl_P321_1 is not connected.
Warning: place pl_P322_1 is not connected.
Warning: place pl_P336_1 is not connected.
Warning: place pl_P33_1 is not connected.
Warning: place pl_P343_1 is not connected.
Warning: place pl_P347_1 is not connected.
Warning: place pl_P351_1 is not connected.
Warning: place pl_P352_1 is not connected.
Warning: place pl_P356_1 is not connected.
Warning: place pl_P360_1 is not connected.
Warning: place pl_P368_1 is not connected.
Warning: place pl_P369_1 is not connected.
Warning: place pl_P36_1 is not connected.
Warning: place pl_P371_1 is not connected.
Warning: place pl_P379_1 is not connected.
Warning: place pl_P381_1 is not connected.
Warning: place pl_P386_1 is not connected.
Warning: place pl_P388_1 is not connected.
Warning: place pl_P389_1 is not connected.
Warning: place pl_P397_1 is not connected.
Warning: place pl_P403_1 is not connected.
Warning: place pl_P406_1 is not connected.
Warning: place pl_P408_1 is not connected.
Warning: place pl_P40_1 is not connected.
Warning: place pl_P412_1 is not connected.
Warning: place pl_P413_1 is not connected.
Warning: place pl_P414_1 is not connected.
Warning: place pl_P41_1 is not connected.
Warning: place pl_P429_1 is not connected.
Warning: place pl_P434_1 is not connected.
Warning: place pl_P437_1 is not connected.
Warning: place pl_P450_1 is not connected.
Warning: place pl_P451_1 is not connected.
Warning: place pl_P459_1 is not connected.
Warning: place pl_P465_1 is not connected.
Warning: place pl_P469_1 is not connected.
Warning: place pl_P470_1 is not connected.
Warning: place pl_P471_1 is not connected.
Warning: place pl_P478_1 is not connected.
Warning: place pl_P47_1 is not connected.
Warning: place pl_P483_1 is not connected.
Warning: place pl_P488_1 is not connected.
Warning: place pl_P489_1 is not connected.
Warning: place pl_P48_1 is not connected.
Warning: place pl_P495_1 is not connected.
Warning: place pl_P500_1 is not connected.
Warning: place pl_P502_10 is not connected.
Warning: place pl_P502_100 is not connected.
Warning: place pl_P502_101 is not connected.
Warning: place pl_P502_11 is not connected.
Warning: place pl_P502_12 is not connected.
Warning: place pl_P502_13 is not connected.
Warning: place pl_P502_14 is not connected.
Warning: place pl_P502_15 is not connected.
Warning: place pl_P502_16 is not connected.
Warning: place pl_P502_17 is not connected.
Warning: place pl_P502_18 is not connected.
Warning: place pl_P502_19 is not connected.
Warning: place pl_P502_20 is not connected.
Warning: place pl_P502_21 is not connected.
Warning: place pl_P502_22 is not connected.
Warning: place pl_P502_23 is not connected.
Warning: place pl_P502_24 is not connected.
Warning: place pl_P502_25 is not connected.
Warning: place pl_P502_26 is not connected.
Warning: place pl_P502_27 is not connected.
Warning: place pl_P502_28 is not connected.
Warning: place pl_P502_29 is not connected.
Warning: place pl_P502_30 is not connected.
Warning: place pl_P502_31 is not connected.
Warning: place pl_P502_32 is not connected.
Warning: place pl_P502_33 is not connected.
Warning: place pl_P502_34 is not connected.
Warning: place pl_P502_35 is not connected.
Warning: place pl_P502_36 is not connected.
Warning: place pl_P502_37 is not connected.
Warning: place pl_P502_38 is not connected.
Warning: place pl_P502_39 is not connected.
Warning: place pl_P502_4 is not connected.
Warning: place pl_P502_40 is not connected.
Warning: place pl_P502_41 is not connected.
Warning: place pl_P502_42 is not connected.
Warning: place pl_P502_43 is not connected.
Warning: place pl_P502_44 is not connected.
Warning: place pl_P502_45 is not connected.
Warning: place pl_P502_46 is not connected.
Warning: place pl_P502_47 is not connected.
Warning: place pl_P502_48 is not connected.
Warning: place pl_P502_49 is not connected.
Warning: place pl_P502_5 is not connected.
Warning: place pl_P502_50 is not connected.
Warning: place pl_P502_51 is not connected.
Warning: place pl_P502_52 is not connected.
Warning: place pl_P502_53 is not connected.
Warning: place pl_P502_54 is not connected.
Warning: place pl_P502_55 is not connected.
Warning: place pl_P502_56 is not connected.
Warning: place pl_P502_57 is not connected.
Warning: place pl_P502_58 is not connected.
Warning: place pl_P502_59 is not connected.
Warning: place pl_P502_6 is not connected.
Warning: place pl_P502_60 is not connected.
Warning: place pl_P502_61 is not connected.
Warning: place pl_P502_62 is not connected.
Warning: place pl_P502_63 is not connected.
Warning: place pl_P502_64 is not connected.
Warning: place pl_P502_65 is not connected.
Warning: place pl_P502_66 is not connected.
Warning: place pl_P502_67 is not connected.
Warning: place pl_P502_68 is not connected.
Warning: place pl_P502_69 is not connected.
Warning: place pl_P502_7 is not connected.
Warning: place pl_P502_70 is not connected.
Warning: place pl_P502_71 is not connected.
Warning: place pl_P502_72 is not connected.
Warning: place pl_P502_73 is not connected.
Warning: place pl_P502_74 is not connected.
Warning: place pl_P502_75 is not connected.
Warning: place pl_P502_76 is not connected.
Warning: place pl_P502_77 is not connected.
Warning: place pl_P502_78 is not connected.
Warning: place pl_P502_79 is not connected.
Warning: place pl_P502_8 is not connected.
Warning: place pl_P502_80 is not connected.
Warning: place pl_P502_81 is not connected.
Warning: place pl_P502_82 is not connected.
Warning: place pl_P502_83 is not connected.
Warning: place pl_P502_84 is not connected.
Warning: place pl_P502_85 is not connected.
Warning: place pl_P502_86 is not connected.
Warning: place pl_P502_87 is not connected.
Warning: place pl_P502_88 is not connected.
Warning: place pl_P502_89 is not connected.
Warning: place pl_P502_9 is not connected.
Warning: place pl_P502_90 is not connected.
Warning: place pl_P502_91 is not connected.
Warning: place pl_P502_92 is not connected.
Warning: place pl_P502_93 is not connected.
Warning: place pl_P502_94 is not connected.
Warning: place pl_P502_95 is not connected.
Warning: place pl_P502_96 is not connected.
Warning: place pl_P502_97 is not connected.
Warning: place pl_P502_98 is not connected.
Warning: place pl_P502_99 is not connected.
Warning: place pl_P506_1 is not connected.
Warning: place pl_P507_1 is not connected.
Warning: place pl_P509_1 is not connected.
Warning: place pl_P62_1 is not connected.
Warning: place pl_P64_1 is not connected.
Warning: place pl_P67_1 is not connected.
Warning: place pl_P69_1 is not connected.
Warning: place pl_P84_1 is not connected.
Warning: place pl_P91_1 is not connected.
Warning: place pl_P99_1 is not connected.
force : 0.145145s
firing rule : 0.0796498s
rewrite : 0.225655s
state space :

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_Railroad-PT-100"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="pnmc"
export BK_RESULT_DIR="/root/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_Railroad-PT-100.tgz
mv S_Railroad-PT-100 execution

# this is for BenchKit: explicit launching of the test

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