fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution of r091kn-ebro-146369097200479
Last Updated
June 30, 2016

About the Execution of Tapaal(EXP) for PhilosophersDyn-PT-20

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
564.840 3097587.00 3098035.00 30.90 2 4 4 4 4 4 4 2 4 4 2 4 4 4 4 4 normal

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 tapaalEXP
Input is PhilosophersDyn-PT-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r091kn-ebro-146369097200479
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1464204454330

---> tapaalEXP --- TAPAAL Experimental

********************************************
* TAPAAL Experimental verifying UpperBounds*
********************************************

verifypn -d -n -r 1 -s BFS -x 1 model.pnml UpperBounds.xml

verifypn -d -n -r 1 -s BFS -x 2 model.pnml UpperBounds.xml

verifypn -d -n -r 1 -s BFS -x 3 model.pnml UpperBounds.xml

verifypn -d -n -r 1 -s BFS -x 4 model.pnml UpperBounds.xml

verifypn -d -n -r 1 -s BFS -x 5 model.pnml UpperBounds.xml

verifypn -d -n -r 1 -s BFS -x 6 model.pnml UpperBounds.xml

verifypn -d -n -r 1 -s BFS -x 7 model.pnml UpperBounds.xml

verifypn -d -n -r 1 -s BFS -x 8 model.pnml UpperBounds.xml

verifypn -d -n -r 1 -s BFS -x 9 model.pnml UpperBounds.xml

verifypn -d -n -r 1 -s BFS -x 10 model.pnml UpperBounds.xml

verifypn -d -n -r 1 -s BFS -x 11 model.pnml UpperBounds.xml

verifypn -d -n -r 1 -s BFS -x 12 model.pnml UpperBounds.xml

verifypn -d -n -r 1 -s BFS -x 13 model.pnml UpperBounds.xml

verifypn -d -n -r 1 -s BFS -x 14 model.pnml UpperBounds.xml

verifypn -d -n -r 1 -s BFS -x 15 model.pnml UpperBounds.xml

verifypn -d -n -r 1 -s BFS -x 16 model.pnml UpperBounds.xml
verifypnall -d -n -r 1 -s BFS -x 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 model.pnml UpperBounds.xml
Forks_1
Forks_18
Forks_7
Forks_19
Forks_12
Forks_8
Forks_20
Forks_11
Forks_5
Forks_6
Forks_14
Forks_13
Forks_3
Forks_16
Forks_4
Forks_2
Forks_9
Forks_10
Forks_15
Forks_17
WaitRight_7
WaitRight_13
WaitRight_6
WaitRight_20
WaitRight_14
WaitRight_5
WaitRight_19
WaitRight_4
WaitRight_11
WaitRight_3
WaitRight_12
WaitRight_9
WaitRight_16
WaitRight_2
WaitRight_10
WaitRight_1
WaitRight_15
WaitRight_18
WaitRight_17
WaitRight_8
WaitRight_7
WaitRight_13
WaitRight_6
WaitRight_20
WaitRight_14
WaitRight_5
WaitRight_19
WaitRight_4
WaitRight_11
WaitRight_3
WaitRight_12
WaitRight_9
WaitRight_16
WaitRight_2
WaitRight_10
WaitRight_1
WaitRight_15
WaitRight_18
WaitRight_17
WaitRight_8
Neighbourhood_14_4
Neighbourhood_1_11
Neighbourhood_17_5
Neighbourhood_8_13
Neighbourhood_12_7
Neighbourhood_14_19
Neighbourhood_4_6
Neighbourhood_1_16
Neighbourhood_2_10
Neighbourhood_16_4
Neighbourhood_7_18
Neighbourhood_12_10
Neighbourhood_3_5
Neighbourhood_11_6
Neighbourhood_13_20
Neighbourhood_11_11
Neighbourhood_20_11
Neighbourhood_14_14
Neighbourhood_5_7
Neighbourhood_5_14
Neighbourhood_9_17
Neighbourhood_5_19
Neighbourhood_17_2
Neighbourhood_18_16
Neighbourhood_9_2
Neighbourhood_12_1
Neighbourhood_4_20
Neighbourhood_10_5
Neighbourhood_8_1
Neighbourhood_8_2
Neighbourhood_18_8
Neighbourhood_10_11
Neighbourhood_15_8
Neighbourhood_16_13
Neighbourhood_9_4
Neighbourhood_13_8
Neighbourhood_3_15
Neighbourhood_9_16
Neighbourhood_15_3
Neighbourhood_19_7
Neighbourhood_11_16
Neighbourhood_18_12
Neighbourhood_4_9
Neighbourhood_15_1
Neighbourhood_1_2
Neighbourhood_2_2
Neighbourhood_2_4
Neighbourhood_6_3
Neighbourhood_3_10
Neighbourhood_10_15
Neighbourhood_9_12
Neighbourhood_6_8
Neighbourhood_1_1
Neighbourhood_12_18
Neighbourhood_19_16
Neighbourhood_19_9
Neighbourhood_11_15
Neighbourhood_17_4
Neighbourhood_1_12
Neighbourhood_11_7
Neighbourhood_3_4
Neighbourhood_6_19
Neighbourhood_5_6
Neighbourhood_20_20
Neighbourhood_20_15
Neighbourhood_12_9
Neighbourhood_19_18
Neighbourhood_17_6
Neighbourhood_19_6
Neighbourhood_14_11
Neighbourhood_15_14
Neighbourhood_5_18
Neighbourhood_7_11
Neighbourhood_8_12
Neighbourhood_11_5
Neighbourhood_2_13
Neighbourhood_17_17
Neighbourhood_5_9
Neighbourhood_15_12
Neighbourhood_9_13
Neighbourhood_8_17
Neighbourhood_13_19
Neighbourhood_6_10
Neighbourhood_9_15
Neighbourhood_4_18
Neighbourhood_20_9
Neighbourhood_20_10
Neighbourhood_7_20
Neighbourhood_20_19
Neighbourhood_5_8
Neighbourhood_14_2
Neighbourhood_2_15
Neighbourhood_3_16
Neighbourhood_1_3
Neighbourhood_16_15
Neighbourhood_3_2
Neighbourhood_8_3
Neighbourhood_9_1
Neighbourhood_7_2
Neighbourhood_10_16
Neighbourhood_13_10
Neighbourhood_15_13
Neighbourhood_2_14
Neighbourhood_14_10
Neighbourhood_4_8
Neighbourhood_4_17
Neighbourhood_17_16
Neighbourhood_18_6
Neighbourhood_13_18
Neighbourhood_11_4
Neighbourhood_7_19
Neighbourhood_16_14
Neighbourhood_1_13
Neighbourhood_11_17
Neighbourhood_7_12
Neighbourhood_9_14
Neighbourhood_13_11
Neighbourhood_12_19
Neighbourhood_18_17
Neighbourhood_14_1
Neighbourhood_18_4
Neighbourhood_6_9
Neighbourhood_6_20
Neighbourhood_14_20
Neighbourhood_16_6
Neighbourhood_7_9
Neighbourhood_8_15
Neighbourhood_9_5
Neighbourhood_5_10
Neighbourhood_18_18
Neighbourhood_6_2
Neighbourhood_20_2
Neighbourhood_3_7
Neighbourhood_19_10
Neighbourhood_17_8
Neighbourhood_20_8
Neighbourhood_11_9
Neighbourhood_2_16
Neighbourhood_8_14
Neighbourhood_2_12
Neighbourhood_8_4
Neighbourhood_6_7
Neighbourhood_19_5
Neighbourhood_1_4
Neighbourhood_3_14
Neighbourhood_1_20
Neighbourhood_8_11
Neighbourhood_16_12
Neighbourhood_15_20
Neighbourhood_11_8
Neighbourhood_17_14
Neighbourhood_19_20
Neighbourhood_9_3
Neighbourhood_18_19
Neighbourhood_11_19
Neighbourhood_10_4
Neighbourhood_4_2
Neighbourhood_13_7
Neighbourhood_6_12
Neighbourhood_16_5
Neighbourhood_5_11
Neighbourhood_6_1
Neighbourhood_4_7
Neighbourhood_13_12
Neighbourhood_3_3
Neighbourhood_8_10
Neighbourhood_17_1
Neighbourhood_10_17
Neighbourhood_15_10
Neighbourhood_19_4
Neighbourhood_15_2
Neighbourhood_3_8
Neighbourhood_18_5
Neighbourhood_16_16
Neighbourhood_14_13
Neighbourhood_18_10
Neighbourhood_3_12
Neighbourhood_1_19
Neighbourhood_10_18
Neighbourhood_9_20
Neighbourhood_18_14
Neighbourhood_3_18
Neighbourhood_4_13
Neighbourhood_11_14
Neighbourhood_20_3
Neighbourhood_16_1
Neighbourhood_19_8
Neighbourhood_17_9
Neighbourhood_15_16
Neighbourhood_16_11
Neighbourhood_6_6
Neighbourhood_2_18
Neighbourhood_10_13
Neighbourhood_10_9
Neighbourhood_12_8
Neighbourhood_8_5
Neighbourhood_6_11
Neighbourhood_5_2
Neighbourhood_8_9
Neighbourhood_14_12
Neighbourhood_20_18
Neighbourhood_14_15
Neighbourhood_11_3
Neighbourhood_19_14
Neighbourhood_7_10
Neighbourhood_5_12
Neighbourhood_7_1
Neighbourhood_14_7
Neighbourhood_18_20
Neighbourhood_5_17
Neighbourhood_11_18
Neighbourhood_2_17
Neighbourhood_11_13
Neighbourhood_12_2
Neighbourhood_7_15
Neighbourhood_19_19
Neighbourhood_10_3
Neighbourhood_16_10
Neighbourhood_10_19
Neighbourhood_12_17
Neighbourhood_17_10
Neighbourhood_2_3
Neighbourhood_6_4
Neighbourhood_3_13
Neighbourhood_15_7
Neighbourhood_14_5
Neighbourhood_10_20
Neighbourhood_10_14
Neighbourhood_1_18
Neighbourhood_15_6
Neighbourhood_15_11
Neighbourhood_13_2
Neighbourhood_15_18
Neighbourhood_17_15
Neighbourhood_8_20
Neighbourhood_7_6
Neighbourhood_15_15
Neighbourhood_8_18
Neighbourhood_4_12
Neighbourhood_3_20
Neighbourhood_4_16
Neighbourhood_13_4
Neighbourhood_18_9
Neighbourhood_9_9
Neighbourhood_20_4
Neighbourhood_1_6
Neighbourhood_16_19
Neighbourhood_8_7
Neighbourhood_7_5
Neighbourhood_19_3
Neighbourhood_17_20
Neighbourhood_14_16
Neighbourhood_12_3
Neighbourhood_3_17
Neighbourhood_6_15
Neighbourhood_9_19
Neighbourhood_6_14
Neighbourhood_2_8
Neighbourhood_1_14
Neighbourhood_11_2
Neighbourhood_9_8
Neighbourhood_2_19
Neighbourhood_18_2
Neighbourhood_6_5
Neighbourhood_13_17
Neighbourhood_20_14
Neighbourhood_2_7
Neighbourhood_12_13
Neighbourhood_5_3
Neighbourhood_13_14
Neighbourhood_14_6
Neighbourhood_1_8
Neighbourhood_6_13
Neighbourhood_3_19
Neighbourhood_16_20
Neighbourhood_7_7
Neighbourhood_5_16
Neighbourhood_13_6
Neighbourhood_7_4
Neighbourhood_18_3
Neighbourhood_12_12
Neighbourhood_1_9
Neighbourhood_19_12
Neighbourhood_16_7
Neighbourhood_8_6
Neighbourhood_2_20
Neighbourhood_9_18
Neighbourhood_14_8
Neighbourhood_20_17
Neighbourhood_15_5
Neighbourhood_20_5
Neighbourhood_18_1
Neighbourhood_5_1
Neighbourhood_19_1
Neighbourhood_10_8
Neighbourhood_18_11
Neighbourhood_12_5
Neighbourhood_15_9
Neighbourhood_1_15
Neighbourhood_13_16
Neighbourhood_12_15
Neighbourhood_4_1
Neighbourhood_11_20
Neighbourhood_5_5
Neighbourhood_1_5
Neighbourhood_13_13
Neighbourhood_9_6
Neighbourhood_16_9
Neighbourhood_14_18
Neighbourhood_5_15
Neighbourhood_20_6
Neighbourhood_8_19
Neighbourhood_19_15
Neighbourhood_20_13
Neighbourhood_7_14
Neighbourhood_12_4
Neighbourhood_10_2
Neighbourhood_9_10
Neighbourhood_4_4
Neighbourhood_4_11
Neighbourhood_10_10
Neighbourhood_17_19
Neighbourhood_2_5
Neighbourhood_17_11
Neighbourhood_2_9
Neighbourhood_6_16
Neighbourhood_3_11
Neighbourhood_20_7
Neighbourhood_17_7
Neighbourhood_12_14
Neighbourhood_11_12
Neighbourhood_7_17
Neighbourhood_13_3
Neighbourhood_14_17
Neighbourhood_7_8
Neighbourhood_19_13
Neighbourhood_10_7
Neighbourhood_10_1
Neighbourhood_3_1
Neighbourhood_17_3
Neighbourhood_19_2
Neighbourhood_7_16
Neighbourhood_20_16
Neighbourhood_15_4
Neighbourhood_4_19
Neighbourhood_10_6
Neighbourhood_7_13
Neighbourhood_5_13
Neighbourhood_4_10
Neighbourhood_17_18
Neighbourhood_12_20
Neighbourhood_17_13
Neighbourhood_5_20
Neighbourhood_3_9
Neighbourhood_13_15
Neighbourhood_14_9
Neighbourhood_9_7
Neighbourhood_12_11
Neighbourhood_19_11
Neighbourhood_20_12
Neighbourhood_11_10
Neighbourhood_3_6
Neighbourhood_12_6
Neighbourhood_4_15
Neighbourhood_18_15
Neighbourhood_20_1
Neighbourhood_4_3
Neighbourhood_6_18
Neighbourhood_19_17
Neighbourhood_1_10
Neighbourhood_2_6
Neighbourhood_8_8
Neighbourhood_17_12
Neighbourhood_5_4
Neighbourhood_16_3
Neighbourhood_16_8
Neighbourhood_15_19
Neighbourhood_9_11
Neighbourhood_12_16
Neighbourhood_14_3
Neighbourhood_16_17
Neighbourhood_10_12
Neighbourhood_4_5
Neighbourhood_16_18
Neighbourhood_4_14
Neighbourhood_18_13
Neighbourhood_15_17
Neighbourhood_1_17
Neighbourhood_13_5
Neighbourhood_13_9
Neighbourhood_11_1
Neighbourhood_7_3
Neighbourhood_16_2
Neighbourhood_2_1
Neighbourhood_6_17
Neighbourhood_1_7
Neighbourhood_8_16
Neighbourhood_2_11
Neighbourhood_18_7
Neighbourhood_13_1
HasRight_13
HasRight_7
HasRight_14
HasRight_1
HasRight_15
HasRight_2
HasRight_6
HasRight_9
HasRight_16
HasRight_20
HasRight_19
HasRight_8
HasRight_17
HasRight_18
HasRight_4
HasRight_10
HasRight_3
HasRight_11
HasRight_12
HasRight_5
WaitRight_7
WaitRight_13
WaitRight_6
WaitRight_20
WaitRight_14
WaitRight_5
WaitRight_19
WaitRight_4
WaitRight_11
WaitRight_3
WaitRight_12
WaitRight_9
WaitRight_16
WaitRight_2
WaitRight_10
WaitRight_1
WaitRight_15
WaitRight_18
WaitRight_17
WaitRight_8
Think_10
Think_20
Think_18
Think_4
Think_11
Think_17
Think_3
Think_16
Think_5
Think_6
Think_15
Think_7
Think_14
Think_8
Think_13
Think_19
Think_12
Think_9
Think_2
Think_1
Think_10
Think_20
Think_18
Think_4
Think_11
Think_17
Think_3
Think_16
Think_5
Think_6
Think_15
Think_7
Think_14
Think_8
Think_13
Think_19
Think_12
Think_9
Think_2
Think_1
WaitRight_7
WaitRight_13
WaitRight_6
WaitRight_20
WaitRight_14
WaitRight_5
WaitRight_19
WaitRight_4
WaitRight_11
WaitRight_3
WaitRight_12
WaitRight_9
WaitRight_16
WaitRight_2
WaitRight_10
WaitRight_1
WaitRight_15
WaitRight_18
WaitRight_17
WaitRight_8
WaitRight_7
WaitRight_13
WaitRight_6
WaitRight_20
WaitRight_14
WaitRight_5
WaitRight_19
WaitRight_4
WaitRight_11
WaitRight_3
WaitRight_12
WaitRight_9
WaitRight_16
WaitRight_2
WaitRight_10
WaitRight_1
WaitRight_15
WaitRight_18
WaitRight_17
WaitRight_8
Neighbourhood_14_4
Neighbourhood_1_11
Neighbourhood_17_5
Neighbourhood_8_13
Neighbourhood_12_7
Neighbourhood_14_19
Neighbourhood_4_6
Neighbourhood_1_16
Neighbourhood_2_10
Neighbourhood_16_4
Neighbourhood_7_18
Neighbourhood_12_10
Neighbourhood_3_5
Neighbourhood_11_6
Neighbourhood_13_20
Neighbourhood_11_11
Neighbourhood_20_11
Neighbourhood_14_14
Neighbourhood_5_7
Neighbourhood_5_14
Neighbourhood_9_17
Neighbourhood_5_19
Neighbourhood_17_2
Neighbourhood_18_16
Neighbourhood_9_2
Neighbourhood_12_1
Neighbourhood_4_20
Neighbourhood_10_5
Neighbourhood_8_1
Neighbourhood_8_2
Neighbourhood_18_8
Neighbourhood_10_11
Neighbourhood_15_8
Neighbourhood_16_13
Neighbourhood_9_4
Neighbourhood_13_8
Neighbourhood_3_15
Neighbourhood_9_16
Neighbourhood_15_3
Neighbourhood_19_7
Neighbourhood_11_16
Neighbourhood_18_12
Neighbourhood_4_9
Neighbourhood_15_1
Neighbourhood_1_2
Neighbourhood_2_2
Neighbourhood_2_4
Neighbourhood_6_3
Neighbourhood_3_10
Neighbourhood_10_15
Neighbourhood_9_12
Neighbourhood_6_8
Neighbourhood_1_1
Neighbourhood_12_18
Neighbourhood_19_16
Neighbourhood_19_9
Neighbourhood_11_15
Neighbourhood_17_4
Neighbourhood_1_12
Neighbourhood_11_7
Neighbourhood_3_4
Neighbourhood_6_19
Neighbourhood_5_6
Neighbourhood_20_20
Neighbourhood_20_15
Neighbourhood_12_9
Neighbourhood_19_18
Neighbourhood_17_6
Neighbourhood_19_6
Neighbourhood_14_11
Neighbourhood_15_14
Neighbourhood_5_18
Neighbourhood_7_11
Neighbourhood_8_12
Neighbourhood_11_5
Neighbourhood_2_13
Neighbourhood_17_17
Neighbourhood_5_9
Neighbourhood_15_12
Neighbourhood_9_13
Neighbourhood_8_17
Neighbourhood_13_19
Neighbourhood_6_10
Neighbourhood_9_15
Neighbourhood_4_18
Neighbourhood_20_9
Neighbourhood_20_10
Neighbourhood_7_20
Neighbourhood_20_19
Neighbourhood_5_8
Neighbourhood_14_2
Neighbourhood_2_15
Neighbourhood_3_16
Neighbourhood_1_3
Neighbourhood_16_15
Neighbourhood_3_2
Neighbourhood_8_3
Neighbourhood_9_1
Neighbourhood_7_2
Neighbourhood_10_16
Neighbourhood_13_10
Neighbourhood_15_13
Neighbourhood_2_14
Neighbourhood_14_10
Neighbourhood_4_8
Neighbourhood_4_17
Neighbourhood_17_16
Neighbourhood_18_6
Neighbourhood_13_18
Neighbourhood_11_4
Neighbourhood_7_19
Neighbourhood_16_14
Neighbourhood_1_13
Neighbourhood_11_17
Neighbourhood_7_12
Neighbourhood_9_14
Neighbourhood_13_11
Neighbourhood_12_19
Neighbourhood_18_17
Neighbourhood_14_1
Neighbourhood_18_4
Neighbourhood_6_9
Neighbourhood_6_20
Neighbourhood_14_20
Neighbourhood_16_6
Neighbourhood_7_9
Neighbourhood_8_15
Neighbourhood_9_5
Neighbourhood_5_10
Neighbourhood_18_18
Neighbourhood_6_2
Neighbourhood_20_2
Neighbourhood_3_7
Neighbourhood_19_10
Neighbourhood_17_8
Neighbourhood_20_8
Neighbourhood_11_9
Neighbourhood_2_16
Neighbourhood_8_14
Neighbourhood_2_12
Neighbourhood_8_4
Neighbourhood_6_7
Neighbourhood_19_5
Neighbourhood_1_4
Neighbourhood_3_14
Neighbourhood_1_20
Neighbourhood_8_11
Neighbourhood_16_12
Neighbourhood_15_20
Neighbourhood_11_8
Neighbourhood_17_14
Neighbourhood_19_20
Neighbourhood_9_3
Neighbourhood_18_19
Neighbourhood_11_19
Neighbourhood_10_4
Neighbourhood_4_2
Neighbourhood_13_7
Neighbourhood_6_12
Neighbourhood_16_5
Neighbourhood_5_11
Neighbourhood_6_1
Neighbourhood_4_7
Neighbourhood_13_12
Neighbourhood_3_3
Neighbourhood_8_10
Neighbourhood_17_1
Neighbourhood_10_17
Neighbourhood_15_10
Neighbourhood_19_4
Neighbourhood_15_2
Neighbourhood_3_8
Neighbourhood_18_5
Neighbourhood_16_16
Neighbourhood_14_13
Neighbourhood_18_10
Neighbourhood_3_12
Neighbourhood_1_19
Neighbourhood_10_18
Neighbourhood_9_20
Neighbourhood_18_14
Neighbourhood_3_18
Neighbourhood_4_13
Neighbourhood_11_14
Neighbourhood_20_3
Neighbourhood_16_1
Neighbourhood_19_8
Neighbourhood_17_9
Neighbourhood_15_16
Neighbourhood_16_11
Neighbourhood_6_6
Neighbourhood_2_18
Neighbourhood_10_13
Neighbourhood_10_9
Neighbourhood_12_8
Neighbourhood_8_5
Neighbourhood_6_11
Neighbourhood_5_2
Neighbourhood_8_9
Neighbourhood_14_12
Neighbourhood_20_18
Neighbourhood_14_15
Neighbourhood_11_3
Neighbourhood_19_14
Neighbourhood_7_10
Neighbourhood_5_12
Neighbourhood_7_1
Neighbourhood_14_7
Neighbourhood_18_20
Neighbourhood_5_17
Neighbourhood_11_18
Neighbourhood_2_17
Neighbourhood_11_13
Neighbourhood_12_2
Neighbourhood_7_15
Neighbourhood_19_19
Neighbourhood_10_3
Neighbourhood_16_10
Neighbourhood_10_19
Neighbourhood_12_17
Neighbourhood_17_10
Neighbourhood_2_3
Neighbourhood_6_4
Neighbourhood_3_13
Neighbourhood_15_7
Neighbourhood_14_5
Neighbourhood_10_20
Neighbourhood_10_14
Neighbourhood_1_18
Neighbourhood_15_6
Neighbourhood_15_11
Neighbourhood_13_2
Neighbourhood_15_18
Neighbourhood_17_15
Neighbourhood_8_20
Neighbourhood_7_6
Neighbourhood_15_15
Neighbourhood_8_18
Neighbourhood_4_12
Neighbourhood_3_20
Neighbourhood_4_16
Neighbourhood_13_4
Neighbourhood_18_9
Neighbourhood_9_9
Neighbourhood_20_4
Neighbourhood_1_6
Neighbourhood_16_19
Neighbourhood_8_7
Neighbourhood_7_5
Neighbourhood_19_3
Neighbourhood_17_20
Neighbourhood_14_16
Neighbourhood_12_3
Neighbourhood_3_17
Neighbourhood_6_15
Neighbourhood_9_19
Neighbourhood_6_14
Neighbourhood_2_8
Neighbourhood_1_14
Neighbourhood_11_2
Neighbourhood_9_8
Neighbourhood_2_19
Neighbourhood_18_2
Neighbourhood_6_5
Neighbourhood_13_17
Neighbourhood_20_14
Neighbourhood_2_7
Neighbourhood_12_13
Neighbourhood_5_3
Neighbourhood_13_14
Neighbourhood_14_6
Neighbourhood_1_8
Neighbourhood_6_13
Neighbourhood_3_19
Neighbourhood_16_20
Neighbourhood_7_7
Neighbourhood_5_16
Neighbourhood_13_6
Neighbourhood_7_4
Neighbourhood_18_3
Neighbourhood_12_12
Neighbourhood_1_9
Neighbourhood_19_12
Neighbourhood_16_7
Neighbourhood_8_6
Neighbourhood_2_20
Neighbourhood_9_18
Neighbourhood_14_8
Neighbourhood_20_17
Neighbourhood_15_5
Neighbourhood_20_5
Neighbourhood_18_1
Neighbourhood_5_1
Neighbourhood_19_1
Neighbourhood_10_8
Neighbourhood_18_11
Neighbourhood_12_5
Neighbourhood_15_9
Neighbourhood_1_15
Neighbourhood_13_16
Neighbourhood_12_15
Neighbourhood_4_1
Neighbourhood_11_20
Neighbourhood_5_5
Neighbourhood_1_5
Neighbourhood_13_13
Neighbourhood_9_6
Neighbourhood_16_9
Neighbourhood_14_18
Neighbourhood_5_15
Neighbourhood_20_6
Neighbourhood_8_19
Neighbourhood_19_15
Neighbourhood_20_13
Neighbourhood_7_14
Neighbourhood_12_4
Neighbourhood_10_2
Neighbourhood_9_10
Neighbourhood_4_4
Neighbourhood_4_11
Neighbourhood_10_10
Neighbourhood_17_19
Neighbourhood_2_5
Neighbourhood_17_11
Neighbourhood_2_9
Neighbourhood_6_16
Neighbourhood_3_11
Neighbourhood_20_7
Neighbourhood_17_7
Neighbourhood_12_14
Neighbourhood_11_12
Neighbourhood_7_17
Neighbourhood_13_3
Neighbourhood_14_17
Neighbourhood_7_8
Neighbourhood_19_13
Neighbourhood_10_7
Neighbourhood_10_1
Neighbourhood_3_1
Neighbourhood_17_3
Neighbourhood_19_2
Neighbourhood_7_16
Neighbourhood_20_16
Neighbourhood_15_4
Neighbourhood_4_19
Neighbourhood_10_6
Neighbourhood_7_13
Neighbourhood_5_13
Neighbourhood_4_10
Neighbourhood_17_18
Neighbourhood_12_20
Neighbourhood_17_13
Neighbourhood_5_20
Neighbourhood_3_9
Neighbourhood_13_15
Neighbourhood_14_9
Neighbourhood_9_7
Neighbourhood_12_11
Neighbourhood_19_11
Neighbourhood_20_12
Neighbourhood_11_10
Neighbourhood_3_6
Neighbourhood_12_6
Neighbourhood_4_15
Neighbourhood_18_15
Neighbourhood_20_1
Neighbourhood_4_3
Neighbourhood_6_18
Neighbourhood_19_17
Neighbourhood_1_10
Neighbourhood_2_6
Neighbourhood_8_8
Neighbourhood_17_12
Neighbourhood_5_4
Neighbourhood_16_3
Neighbourhood_16_8
Neighbourhood_15_19
Neighbourhood_9_11
Neighbourhood_12_16
Neighbourhood_14_3
Neighbourhood_16_17
Neighbourhood_10_12
Neighbourhood_4_5
Neighbourhood_16_18
Neighbourhood_4_14
Neighbourhood_18_13
Neighbourhood_15_17
Neighbourhood_1_17
Neighbourhood_13_5
Neighbourhood_13_9
Neighbourhood_11_1
Neighbourhood_7_3
Neighbourhood_16_2
Neighbourhood_2_1
Neighbourhood_6_17
Neighbourhood_1_7
Neighbourhood_8_16
Neighbourhood_2_11
Neighbourhood_18_7
Neighbourhood_13_1
WaitRight_7
WaitRight_13
WaitRight_6
WaitRight_20
WaitRight_14
WaitRight_5
WaitRight_19
WaitRight_4
WaitRight_11
WaitRight_3
WaitRight_12
WaitRight_9
WaitRight_16
WaitRight_2
WaitRight_10
WaitRight_1
WaitRight_15
WaitRight_18
WaitRight_17
WaitRight_8
Think_10
Think_20
Think_18
Think_4
Think_11
Think_17
Think_3
Think_16
Think_5
Think_6
Think_15
Think_7
Think_14
Think_8
Think_13
Think_19
Think_12
Think_9
Think_2
Think_1
WaitRight_7
WaitRight_13
WaitRight_6
WaitRight_20
WaitRight_14
WaitRight_5
WaitRight_19
WaitRight_4
WaitRight_11
WaitRight_3
WaitRight_12
WaitRight_9
WaitRight_16
WaitRight_2
WaitRight_10
WaitRight_1
WaitRight_15
WaitRight_18
WaitRight_17
WaitRight_8
WaitRight_7
WaitRight_13
WaitRight_6
WaitRight_20
WaitRight_14
WaitRight_5
WaitRight_19
WaitRight_4
WaitRight_11
WaitRight_3
WaitRight_12
WaitRight_9
WaitRight_16
WaitRight_2
WaitRight_10
WaitRight_1
WaitRight_15
WaitRight_18
WaitRight_17
WaitRight_8
Forks_1
Forks_18
Forks_7
Forks_19
Forks_12
Forks_8
Forks_20
Forks_11
Forks_5
Forks_6
Forks_14
Forks_13
Forks_3
Forks_16
Forks_4
Forks_2
Forks_9
Forks_10
Forks_15
Forks_17

FORMULA PhilosophersDyn-COL-20-UpperBounds-0 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA PhilosophersDyn-COL-20-UpperBounds-1 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA PhilosophersDyn-COL-20-UpperBounds-2 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA PhilosophersDyn-COL-20-UpperBounds-3 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA PhilosophersDyn-COL-20-UpperBounds-4 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA PhilosophersDyn-COL-20-UpperBounds-5 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA PhilosophersDyn-COL-20-UpperBounds-6 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA PhilosophersDyn-COL-20-UpperBounds-7 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA PhilosophersDyn-COL-20-UpperBounds-8 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA PhilosophersDyn-COL-20-UpperBounds-9 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA PhilosophersDyn-COL-20-UpperBounds-10 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA PhilosophersDyn-COL-20-UpperBounds-11 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA PhilosophersDyn-COL-20-UpperBounds-12 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA PhilosophersDyn-COL-20-UpperBounds-13 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA PhilosophersDyn-COL-20-UpperBounds-14 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA PhilosophersDyn-COL-20-UpperBounds-15 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

BK_STOP 1464207551917

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

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="PhilosophersDyn-PT-20"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="tapaalEXP"
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/PhilosophersDyn-PT-20.tgz
mv PhilosophersDyn-PT-20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool tapaalEXP"
echo " Input is PhilosophersDyn-PT-20, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r091kn-ebro-146369097200479"
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 ;