fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution of r107kn-smll-146369149400253
Last Updated
June 30, 2016

About the Execution of pnmc for Railroad-PT-100

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
3123.860 3600000.00 3600009.00 40.40 [undef] Time out reached

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 Railroad-PT-100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r107kn-smll-146369149400253
=====================================================================


--------------------
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 1464165139610


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.
firing rule : 0.087517s
rewrite : 0.0813593s
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="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/Railroad-PT-100.tgz
mv 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 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 r107kn-smll-146369149400253"
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 ;