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 TokenRing-PT-015, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r139kn-smll-146384401800110
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1463859182087

---> tapaalEXP --- TAPAAL Experimental

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

verifypn -d -n -r 1 -s BFS -x 1 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

verifypn -d -n -r 1 -s BFS -x 2 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

verifypn -d -n -r 1 -s BFS -x 3 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

verifypn -d -n -r 1 -s BFS -x 4 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

verifypn -d -n -r 1 -s BFS -x 5 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

verifypn -d -n -r 1 -s BFS -x 6 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

verifypn -d -n -r 1 -s BFS -x 7 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

verifypn -d -n -r 1 -s BFS -x 8 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

verifypn -d -n -r 1 -s BFS -x 9 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

verifypn -d -n -r 1 -s BFS -x 10 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

verifypn -d -n -r 1 -s BFS -x 11 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

verifypn -d -n -r 1 -s BFS -x 12 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

verifypn -d -n -r 1 -s BFS -x 13 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

verifypn -d -n -r 1 -s BFS -x 14 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

verifypn -d -n -r 1 -s BFS -x 15 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

verifypn -d -n -r 1 -s BFS -x 16 model.pnml UpperBounds.xml
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
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
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7
State_9_0
State_13_10
State_4_12
State_14_2
State_7_14
State_11_12
State_15_10
State_6_11
State_2_13
State_0_14
State_8_8
State_3_1
State_0_8
State_15_6
State_12_1
State_12_5
State_13_11
State_5_2
State_0_4
State_11_6
State_15_7
State_14_15
State_8_10
State_1_1
State_12_15
State_4_3
State_6_5
State_10_9
State_8_4
State_14_14
State_13_5
State_3_0
State_2_7
State_8_7
State_9_7
State_8_1
State_1_10
State_1_4
State_1_9
State_5_15
State_4_6
State_0_5
State_13_2
State_0_11
State_6_14
State_2_10
State_12_12
State_10_0
State_6_2
State_8_13
State_15_1
State_10_13
State_11_3
State_14_11
State_0_1
State_2_4
State_14_1
State_4_15
State_5_8
State_12_8
State_14_5
State_10_7
State_3_9
State_2_0
State_9_1
State_12_6
State_14_7
State_15_0
State_1_5
State_5_5
State_3_15
State_9_13
State_10_10
State_7_2
State_5_3
State_7_4
State_12_2
State_1_7
State_1_11
State_6_1
State_7_13
State_10_3
State_8_5
State_12_11
State_13_7
State_11_8
State_14_13
State_3_4
State_11_2
State_15_5
State_4_0
State_14_4
State_7_10
State_1_14
State_6_12
State_0_10
State_3_6
State_10_15
State_4_9
State_6_4
State_2_6
State_9_10
State_11_7
State_8_14
State_2_3
State_3_12
State_9_6
State_15_13
State_14_8
State_4_7
State_2_11
State_6_8
State_2_15
State_5_12
State_7_5
State_0_6
State_7_1
State_15_9
State_3_7
State_5_0
State_13_12
State_1_2
State_10_2
State_11_15
State_11_11
State_12_7
State_6_9
State_12_3
State_3_3
State_1_6
State_10_6
State_9_14
State_15_4
State_5_4
State_3_8
State_0_2
State_5_9
State_14_0
State_13_8
State_5_10
State_10_14
State_1_12
State_0_3
State_6_13
State_3_5
State_4_8
State_14_12
State_7_3
State_9_2
State_12_10
State_3_11
State_2_2
State_8_12
State_3_14
State_10_11
State_14_9
State_6_0
State_13_0
State_7_9
State_11_4
State_11_1
State_1_15
State_2_8
State_8_15
State_1_3
State_13_3
State_7_0
State_9_8
State_9_11
State_4_1
State_9_5
State_8_2
State_13_13
State_0_9
State_4_4
State_5_13
State_0_15
State_10_1
State_2_14
State_2_5
State_4_13
State_6_10
State_13_9
State_13_4
State_11_14
State_12_0
State_15_12
State_3_2
State_6_3
State_13_15
State_2_12
State_7_12
State_5_7
State_8_6
State_6_7
State_9_15
State_15_11
State_7_6
State_8_11
State_4_11
State_0_13
State_12_4
State_11_13
State_5_1
State_11_10
State_1_8
State_10_5
State_3_10
State_14_3
State_5_11
State_15_14
State_12_14
State_2_1
State_8_9
State_6_15
State_5_14
State_13_6
State_6_6
State_12_9
State_10_8
State_11_0
State_9_3
State_10_4
State_14_10
State_13_1
State_4_2
State_1_13
State_15_3
State_8_0
State_1_0
State_11_5
State_4_14
State_10_12
State_3_13
State_0_0
State_7_7
State_15_8
State_9_12
State_7_15
State_9_4
State_4_10
State_11_9
State_15_15
State_9_9
State_7_11
State_8_3
State_15_2
State_0_12
State_14_6
State_2_9
State_7_8
State_5_6
State_12_13
State_4_5
State_13_14
State_0_7

FORMULA TokenRing-COL-015-UpperBounds-0 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA TokenRing-COL-015-UpperBounds-1 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA TokenRing-COL-015-UpperBounds-2 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA TokenRing-COL-015-UpperBounds-3 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA TokenRing-COL-015-UpperBounds-4 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA TokenRing-COL-015-UpperBounds-5 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA TokenRing-COL-015-UpperBounds-6 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA TokenRing-COL-015-UpperBounds-7 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA TokenRing-COL-015-UpperBounds-8 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA TokenRing-COL-015-UpperBounds-9 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA TokenRing-COL-015-UpperBounds-10 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA TokenRing-COL-015-UpperBounds-11 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA TokenRing-COL-015-UpperBounds-12 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA TokenRing-COL-015-UpperBounds-13 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA TokenRing-COL-015-UpperBounds-14 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA TokenRing-COL-015-UpperBounds-15 16 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

BK_STOP 1463861553913

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