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 ;