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-3254
Executing tool lola
Input is Peterson-PT-5, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869500065
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494502966758


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Peterson-PT-5 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2076/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 834 places, 1242 transitions, 811 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1908 transition conflict sets
lola: TASK
lola: reading formula from Peterson-COL-5-UpperBounds.task
lola: MAX(Idle_0 + Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5) : MAX(BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_4_0 + BeginLoop_4_4_1 + BeginLoop_4_4_2 + BeginLoop_4_4_3 + BeginLoop_4_4_4 + BeginLoop_4_4_5 + BeginLoop_2_0_0 + BeginLoop_2_0_1 + BeginLoop_2_0_2 + BeginLoop_2_0_3 + BeginLoop_2_0_4 + BeginLoop_2_0_5 + BeginLoop_2_1_0 + BeginLoop_2_1_1 + BeginLoop_2_1_2 + BeginLoop_2_1_3 + BeginLoop_2_1_4 + BeginLoop_2_1_5 + BeginLoop_5_0_0 + BeginLoop_5_0_1 + BeginLoop_5_0_2 + BeginLoop_5_0_3 + BeginLoop_5_0_4 + BeginLoop_5_0_5 + BeginLoop_2_2_0 + BeginLoop_2_2_1 + BeginLoop_2_2_2 + BeginLoop_2_2_3 + BeginLoop_2_2_4 + BeginLoop_2_2_5 + BeginLoop_5_1_0 + BeginLoop_5_1_1 + BeginLoop_5_1_2 + BeginLoop_5_1_3 + BeginLoop_5_1_4 + BeginLoop_5_1_5 + BeginLoop_2_3_0 + BeginLoop_2_3_1 + BeginLoop_2_3_2 + BeginLoop_2_3_3 + BeginLoop_2_3_4 + BeginLoop_2_3_5 + BeginLoop_5_2_0 + BeginLoop_5_2_1 + BeginLoop_5_2_2 + BeginLoop_5_2_3 + BeginLoop_5_2_4 + BeginLoop_5_2_5 + BeginLoop_2_4_0 + BeginLoop_2_4_1 + BeginLoop_2_4_2 + BeginLoop_2_4_3 + BeginLoop_2_4_4 + BeginLoop_2_4_5 + BeginLoop_0_0_0 + BeginLoop_0_0_1 + BeginLoop_0_0_2 + BeginLoop_0_0_3 + BeginLoop_0_0_4 + BeginLoop_0_0_5 + BeginLoop_5_3_0 + BeginLoop_5_3_1 + BeginLoop_5_3_2 + BeginLoop_5_3_3 + BeginLoop_5_3_4 + BeginLoop_5_3_5 + BeginLoop_0_1_0 + BeginLoop_0_1_1 + BeginLoop_0_1_2 + BeginLoop_0_1_3 + BeginLoop_0_1_4 + BeginLoop_0_1_5 + BeginLoop_5_4_0 + BeginLoop_5_4_1 + BeginLoop_5_4_2 + BeginLoop_5_4_3 + BeginLoop_5_4_4 + BeginLoop_5_4_5 + BeginLoop_3_0_0 + BeginLoop_3_0_1 + BeginLoop_3_0_2 + BeginLoop_3_0_3 + BeginLoop_3_0_4 + BeginLoop_3_0_5 + BeginLoop_0_2_0 + BeginLoop_0_2_1 + BeginLoop_0_2_2 + BeginLoop_0_2_3 + BeginLoop_0_2_4 + BeginLoop_0_2_5 + BeginLoop_3_1_0 + BeginLoop_3_1_1 + BeginLoop_3_1_2 + BeginLoop_3_1_3 + BeginLoop_3_1_4 + BeginLoop_3_1_5 + BeginLoop_0_3_0 + BeginLoop_0_3_1 + BeginLoop_0_3_2 + BeginLoop_0_3_3 + BeginLoop_0_3_4 + BeginLoop_0_3_5 + BeginLoop_3_2_0 + BeginLoop_3_2_1 + BeginLoop_3_2_2 + BeginLoop_3_2_3 + BeginLoop_3_2_4 + BeginLoop_3_2_5 + BeginLoop_0_4_0 + BeginLoop_0_4_1 + BeginLoop_0_4_2 + BeginLoop_0_4_3 + BeginLoop_0_4_4 + BeginLoop_0_4_5 + BeginLoop_3_3_0 + BeginLoop_3_3_1 + BeginLoop_3_3_2 + BeginLoop_3_3_3 + BeginLoop_3_3_4 + BeginLoop_3_3_5 + BeginLoop_3_4_0 + BeginLoop_3_4_1 + BeginLoop_3_4_2 + BeginLoop_3_4_3 + BeginLoop_3_4_4 + BeginLoop_3_4_5 + BeginLoop_1_0_0 + BeginLoop_1_0_1 + BeginLoop_1_0_2 + BeginLoop_1_0_3 + BeginLoop_1_0_4 + BeginLoop_1_0_5 + BeginLoop_1_1_0 + BeginLoop_1_1_1 + BeginLoop_1_1_2 + BeginLoop_1_1_3 + BeginLoop_1_1_4 + BeginLoop_1_1_5 + BeginLoop_4_0_0 + BeginLoop_4_0_1 + BeginLoop_4_0_2 + BeginLoop_4_0_3 + BeginLoop_4_0_4 + BeginLoop_4_0_5 + BeginLoop_1_2_0 + BeginLoop_1_2_1 + BeginLoop_1_2_2 + BeginLoop_1_2_3 + BeginLoop_1_2_4 + BeginLoop_1_2_5 + BeginLoop_4_1_0 + BeginLoop_4_1_1 + BeginLoop_4_1_2 + BeginLoop_4_1_3 + BeginLoop_4_1_4 + BeginLoop_4_1_5 + BeginLoop_1_3_0 + BeginLoop_1_3_1 + BeginLoop_1_3_2 + BeginLoop_1_3_3 + BeginLoop_1_3_4 + BeginLoop_1_3_5 + BeginLoop_4_2_0 + BeginLoop_4_2_1 + BeginLoop_4_2_2 + BeginLoop_4_2_3 + BeginLoop_4_2_4 + BeginLoop_4_2_5 + BeginLoop_1_4_0 + BeginLoop_1_4_1 + BeginLoop_1_4_2 + BeginLoop_1_4_3 + BeginLoop_1_4_4 + BeginLoop_1_4_5) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5) : MAX(EndTurn_1_0 + EndTurn_1_1 + EndTurn_1_2 + EndTurn_1_3 + EndTurn_1_4 + EndTurn_2_0 + EndTurn_2_1 + EndTurn_2_2 + EndTurn_2_3 + EndTurn_2_4 + EndTurn_3_0 + EndTurn_3_1 + EndTurn_3_2 + EndTurn_3_3 + EndTurn_3_4 + EndTurn_4_0 + EndTurn_4_1 + EndTurn_4_2 + EndTurn_4_3 + EndTurn_4_4 + EndTurn_5_0 + EndTurn_5_1 + EndTurn_5_2 + EndTurn_5_3 + EndTurn_5_4 + EndTurn_0_3 + EndTurn_0_2 + EndTurn_0_1 + EndTurn_0_0 + EndTurn_0_4) : MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_0_1_0 + IsEndLoop_0_1_1 + IsEndLoop_0_1_2 + IsEndLoop_0_1_3 + IsEndLoop_0_1_4 + IsEndLoop_0_1_5 + IsEndLoop_5_4_0 + IsEndLoop_5_4_1 + IsEndLoop_5_4_2 + IsEndLoop_5_4_3 + IsEndLoop_5_4_4 + IsEndLoop_5_4_5 + IsEndLoop_3_0_0 + IsEndLoop_3_0_1 + IsEndLoop_3_0_2 + IsEndLoop_3_0_3 + IsEndLoop_3_0_4 + IsEndLoop_3_0_5 + IsEndLoop_0_2_0 + IsEndLoop_0_2_1 + IsEndLoop_0_2_2 + IsEndLoop_0_2_3 + IsEndLoop_0_2_4 + IsEndLoop_0_2_5 + IsEndLoop_3_1_0 + IsEndLoop_3_1_1 + IsEndLoop_3_1_2 + IsEndLoop_3_1_3 + IsEndLoop_3_1_4 + IsEndLoop_3_1_5 + IsEndLoop_0_3_0 + IsEndLoop_0_3_1 + IsEndLoop_0_3_2 + IsEndLoop_0_3_3 + IsEndLoop_0_3_4 + IsEndLoop_0_3_5 + IsEndLoop_3_2_0 + IsEndLoop_3_2_1 + IsEndLoop_3_2_2 + IsEndLoop_3_2_3 + IsEndLoop_3_2_4 + IsEndLoop_3_2_5 + IsEndLoop_0_4_0 + IsEndLoop_0_4_1 + IsEndLoop_0_4_2 + IsEndLoop_0_4_3 + IsEndLoop_0_4_4 + IsEndLoop_0_4_5 + IsEndLoop_3_3_0 + IsEndLoop_3_3_1 + IsEndLoop_3_3_2 + IsEndLoop_3_3_3 + IsEndLoop_3_3_4 + IsEndLoop_3_3_5 + IsEndLoop_3_4_0 + IsEndLoop_3_4_1 + IsEndLoop_3_4_2 + IsEndLoop_3_4_3 + IsEndLoop_3_4_4 + IsEndLoop_3_4_5 + IsEndLoop_1_0_0 + IsEndLoop_1_0_1 + IsEndLoop_1_0_2 + IsEndLoop_1_0_3 + IsEndLoop_1_0_4 + IsEndLoop_1_0_5 + IsEndLoop_1_1_0 + IsEndLoop_1_1_1 + IsEndLoop_1_1_2 + IsEndLoop_1_1_3 + IsEndLoop_1_1_4 + IsEndLoop_1_1_5 + IsEndLoop_4_0_0 + IsEndLoop_4_0_1 + IsEndLoop_4_0_2 + IsEndLoop_4_0_3 + IsEndLoop_4_0_4 + IsEndLoop_4_0_5 + IsEndLoop_1_2_0 + IsEndLoop_1_2_1 + IsEndLoop_1_2_2 + IsEndLoop_1_2_3 + IsEndLoop_1_2_4 + IsEndLoop_1_2_5 + IsEndLoop_4_1_0 + IsEndLoop_4_1_1 + IsEndLoop_4_1_2 + IsEndLoop_4_1_3 + IsEndLoop_4_1_4 + IsEndLoop_4_1_5 + IsEndLoop_1_3_0 + IsEndLoop_1_3_1 + IsEndLoop_1_3_2 + IsEndLoop_1_3_3 + IsEndLoop_1_3_4 + IsEndLoop_1_3_5 + IsEndLoop_4_2_0 + IsEndLoop_4_2_1 + IsEndLoop_4_2_2 + IsEndLoop_4_2_3 + IsEndLoop_4_2_4 + IsEndLoop_4_2_5 + IsEndLoop_1_4_0 + IsEndLoop_1_4_1 + IsEndLoop_1_4_2 + IsEndLoop_1_4_3 + IsEndLoop_1_4_4 + IsEndLoop_1_4_5 + IsEndLoop_4_3_0 + IsEndLoop_4_3_1 + IsEndLoop_4_3_2 + IsEndLoop_4_3_3 + IsEndLoop_4_3_4 + IsEndLoop_4_3_5 + IsEndLoop_4_4_0 + IsEndLoop_4_4_1 + IsEndLoop_4_4_2 + IsEndLoop_4_4_3 + IsEndLoop_4_4_4 + IsEndLoop_4_4_5 + IsEndLoop_2_0_0 + IsEndLoop_2_0_1 + IsEndLoop_2_0_2 + IsEndLoop_2_0_3 + IsEndLoop_2_0_4 + IsEndLoop_2_0_5 + IsEndLoop_2_4_4 + IsEndLoop_2_4_3 + IsEndLoop_2_1_0 + IsEndLoop_2_1_1 + IsEndLoop_2_1_2 + IsEndLoop_2_1_3 + IsEndLoop_2_1_4 + IsEndLoop_2_1_5 + IsEndLoop_5_0_0 + IsEndLoop_5_0_1 + IsEndLoop_5_0_2 + IsEndLoop_5_0_3 + IsEndLoop_5_0_4 + IsEndLoop_5_0_5 + IsEndLoop_2_2_0 + IsEndLoop_2_2_1 + IsEndLoop_2_2_2 + IsEndLoop_2_2_3 + IsEndLoop_2_2_4 + IsEndLoop_2_2_5 + IsEndLoop_2_4_2 + IsEndLoop_5_1_0 + IsEndLoop_5_1_1 + IsEndLoop_5_1_2 + IsEndLoop_5_1_3 + IsEndLoop_5_1_4 + IsEndLoop_5_1_5 + IsEndLoop_2_3_0 + IsEndLoop_2_3_1 + IsEndLoop_2_3_2 + IsEndLoop_2_3_3 + IsEndLoop_2_3_4 + IsEndLoop_2_3_5 + IsEndLoop_2_4_1 + IsEndLoop_5_2_0 + IsEndLoop_5_2_1 + IsEndLoop_5_2_2 + IsEndLoop_5_2_3 + IsEndLoop_5_2_4 + IsEndLoop_2_4_0 + IsEndLoop_5_2_5 + IsEndLoop_2_4_5) : MAX(EndTurn_1_0 + EndTurn_1_1 + EndTurn_1_2 + EndTurn_1_3 + EndTurn_1_4 + EndTurn_2_0 + EndTurn_2_1 + EndTurn_2_2 + EndTurn_2_3 + EndTurn_2_4 + EndTurn_3_0 + EndTurn_3_1 + EndTurn_3_2 + EndTurn_3_3 + EndTurn_3_4 + EndTurn_4_0 + EndTurn_4_1 + EndTurn_4_2 + EndTurn_4_3 + EndTurn_4_4 + EndTurn_5_0 + EndTurn_5_1 + EndTurn_5_2 + EndTurn_5_3 + EndTurn_5_4 + EndTurn_0_3 + EndTurn_0_2 + EndTurn_0_1 + EndTurn_0_0 + EndTurn_0_4) : MAX(BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_4_0 + BeginLoop_4_4_1 + BeginLoop_4_4_2 + BeginLoop_4_4_3 + BeginLoop_4_4_4 + BeginLoop_4_4_5 + BeginLoop_2_0_0 + BeginLoop_2_0_1 + BeginLoop_2_0_2 + BeginLoop_2_0_3 + BeginLoop_2_0_4 + BeginLoop_2_0_5 + BeginLoop_2_1_0 + BeginLoop_2_1_1 + BeginLoop_2_1_2 + BeginLoop_2_1_3 + BeginLoop_2_1_4 + BeginLoop_2_1_5 + BeginLoop_5_0_0 + BeginLoop_5_0_1 + BeginLoop_5_0_2 + BeginLoop_5_0_3 + BeginLoop_5_0_4 + BeginLoop_5_0_5 + BeginLoop_2_2_0 + BeginLoop_2_2_1 + BeginLoop_2_2_2 + BeginLoop_2_2_3 + BeginLoop_2_2_4 + BeginLoop_2_2_5 + BeginLoop_5_1_0 + BeginLoop_5_1_1 + BeginLoop_5_1_2 + BeginLoop_5_1_3 + BeginLoop_5_1_4 + BeginLoop_5_1_5 + BeginLoop_2_3_0 + BeginLoop_2_3_1 + BeginLoop_2_3_2 + BeginLoop_2_3_3 + BeginLoop_2_3_4 + BeginLoop_2_3_5 + BeginLoop_5_2_0 + BeginLoop_5_2_1 + BeginLoop_5_2_2 + BeginLoop_5_2_3 + BeginLoop_5_2_4 + BeginLoop_5_2_5 + BeginLoop_2_4_0 + BeginLoop_2_4_1 + BeginLoop_2_4_2 + BeginLoop_2_4_3 + BeginLoop_2_4_4 + BeginLoop_2_4_5 + BeginLoop_0_0_0 + BeginLoop_0_0_1 + BeginLoop_0_0_2 + BeginLoop_0_0_3 + BeginLoop_0_0_4 + BeginLoop_0_0_5 + BeginLoop_5_3_0 + BeginLoop_5_3_1 + BeginLoop_5_3_2 + BeginLoop_5_3_3 + BeginLoop_5_3_4 + BeginLoop_5_3_5 + BeginLoop_0_1_0 + BeginLoop_0_1_1 + BeginLoop_0_1_2 + BeginLoop_0_1_3 + BeginLoop_0_1_4 + BeginLoop_0_1_5 + BeginLoop_5_4_0 + BeginLoop_5_4_1 + BeginLoop_5_4_2 + BeginLoop_5_4_3 + BeginLoop_5_4_4 + BeginLoop_5_4_5 + BeginLoop_3_0_0 + BeginLoop_3_0_1 + BeginLoop_3_0_2 + BeginLoop_3_0_3 + BeginLoop_3_0_4 + BeginLoop_3_0_5 + BeginLoop_0_2_0 + BeginLoop_0_2_1 + BeginLoop_0_2_2 + BeginLoop_0_2_3 + BeginLoop_0_2_4 + BeginLoop_0_2_5 + BeginLoop_3_1_0 + BeginLoop_3_1_1 + BeginLoop_3_1_2 + BeginLoop_3_1_3 + BeginLoop_3_1_4 + BeginLoop_3_1_5 + BeginLoop_0_3_0 + BeginLoop_0_3_1 + BeginLoop_0_3_2 + BeginLoop_0_3_3 + BeginLoop_0_3_4 + BeginLoop_0_3_5 + BeginLoop_3_2_0 + BeginLoop_3_2_1 + BeginLoop_3_2_2 + BeginLoop_3_2_3 + BeginLoop_3_2_4 + BeginLoop_3_2_5 + BeginLoop_0_4_0 + BeginLoop_0_4_1 + BeginLoop_0_4_2 + BeginLoop_0_4_3 + BeginLoop_0_4_4 + BeginLoop_0_4_5 + BeginLoop_3_3_0 + BeginLoop_3_3_1 + BeginLoop_3_3_2 + BeginLoop_3_3_3 + BeginLoop_3_3_4 + BeginLoop_3_3_5 + BeginLoop_3_4_0 + BeginLoop_3_4_1 + BeginLoop_3_4_2 + BeginLoop_3_4_3 + BeginLoop_3_4_4 + BeginLoop_3_4_5 + BeginLoop_1_0_0 + BeginLoop_1_0_1 + BeginLoop_1_0_2 + BeginLoop_1_0_3 + BeginLoop_1_0_4 + BeginLoop_1_0_5 + BeginLoop_1_1_0 + BeginLoop_1_1_1 + BeginLoop_1_1_2 + BeginLoop_1_1_3 + BeginLoop_1_1_4 + BeginLoop_1_1_5 + BeginLoop_4_0_0 + BeginLoop_4_0_1 + BeginLoop_4_0_2 + BeginLoop_4_0_3 + BeginLoop_4_0_4 + BeginLoop_4_0_5 + BeginLoop_1_2_0 + BeginLoop_1_2_1 + BeginLoop_1_2_2 + BeginLoop_1_2_3 + BeginLoop_1_2_4 + BeginLoop_1_2_5 + BeginLoop_4_1_0 + BeginLoop_4_1_1 + BeginLoop_4_1_2 + BeginLoop_4_1_3 + BeginLoop_4_1_4 + BeginLoop_4_1_5 + BeginLoop_1_3_0 + BeginLoop_1_3_1 + BeginLoop_1_3_2 + BeginLoop_1_3_3 + BeginLoop_1_3_4 + BeginLoop_1_3_5 + BeginLoop_4_2_0 + BeginLoop_4_2_1 + BeginLoop_4_2_2 + BeginLoop_4_2_3 + BeginLoop_4_2_4 + BeginLoop_4_2_5 + BeginLoop_1_4_0 + BeginLoop_1_4_1 + BeginLoop_1_4_2 + BeginLoop_1_4_3 + BeginLoop_1_4_4 + BeginLoop_1_4_5) : MAX(Idle_0 + Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5) : MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_0_5 + TestIdentity_3_4_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_1_1_5 + TestIdentity_3_4_3 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_4_0_5 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3 + TestIdentity_1_2_4 + TestIdentity_1_2_5 + TestIdentity_3_4_2 + TestIdentity_4_1_0 + TestIdentity_4_1_1 + TestIdentity_4_1_2 + TestIdentity_4_1_3 + TestIdentity_4_1_4 + TestIdentity_4_1_5 + TestIdentity_1_3_0 + TestIdentity_1_3_1 + TestIdentity_1_3_2 + TestIdentity_1_3_3 + TestIdentity_1_3_4 + TestIdentity_1_3_5 + TestIdentity_4_2_0 + TestIdentity_4_2_1 + TestIdentity_4_2_2 + TestIdentity_4_2_3 + TestIdentity_4_2_4 + TestIdentity_4_2_5 + TestIdentity_1_4_0 + TestIdentity_1_4_1 + TestIdentity_1_4_2 + TestIdentity_1_4_3 + TestIdentity_1_4_4 + TestIdentity_1_4_5 + TestIdentity_4_3_0 + TestIdentity_4_3_1 + TestIdentity_4_3_2 + TestIdentity_4_3_3 + TestIdentity_4_3_4 + TestIdentity_4_3_5 + TestIdentity_4_4_0 + TestIdentity_4_4_1 + TestIdentity_4_4_2 + TestIdentity_4_4_3 + TestIdentity_4_4_4 + TestIdentity_4_4_5 + TestIdentity_2_0_0 + TestIdentity_2_0_1 + TestIdentity_2_0_2 + TestIdentity_2_0_3 + TestIdentity_2_0_4 + TestIdentity_2_0_5 + TestIdentity_2_1_0 + TestIdentity_2_1_1 + TestIdentity_2_1_2 + TestIdentity_2_1_3 + TestIdentity_2_1_4 + TestIdentity_2_1_5 + TestIdentity_3_4_1 + TestIdentity_3_4_0 + TestIdentity_5_0_0 + TestIdentity_5_0_1 + TestIdentity_5_0_2 + TestIdentity_5_0_3 + TestIdentity_5_0_4 + TestIdentity_5_0_5 + TestIdentity_2_2_0 + TestIdentity_2_2_1 + TestIdentity_2_2_2 + TestIdentity_2_2_3 + TestIdentity_2_2_4 + TestIdentity_2_2_5 + TestIdentity_5_1_0 + TestIdentity_5_1_1 + TestIdentity_5_1_2 + TestIdentity_5_1_3 + TestIdentity_5_1_4 + TestIdentity_5_1_5 + TestIdentity_2_3_0 + TestIdentity_2_3_1 + TestIdentity_2_3_2 + TestIdentity_2_3_3 + TestIdentity_2_3_4 + TestIdentity_2_3_5 + TestIdentity_5_2_0 + TestIdentity_5_2_1 + TestIdentity_5_2_2 + TestIdentity_5_2_3 + TestIdentity_5_2_4 + TestIdentity_5_2_5 + TestIdentity_2_4_0 + TestIdentity_2_4_1 + TestIdentity_2_4_2 + TestIdentity_2_4_3 + TestIdentity_2_4_4 + TestIdentity_2_4_5 + TestIdentity_0_0_0 + TestIdentity_0_0_1 + TestIdentity_0_0_2 + TestIdentity_0_0_3 + TestIdentity_0_0_4 + TestIdentity_0_0_5 + TestIdentity_5_3_0 + TestIdentity_5_3_1 + TestIdentity_5_3_2 + TestIdentity_5_3_3 + TestIdentity_5_3_4 + TestIdentity_5_3_5 + TestIdentity_0_1_0 + TestIdentity_0_1_1 + TestIdentity_0_1_2 + TestIdentity_0_1_3 + TestIdentity_0_1_4 + TestIdentity_0_1_5 + TestIdentity_5_4_0 + TestIdentity_5_4_1 + TestIdentity_5_4_2 + TestIdentity_5_4_3 + TestIdentity_5_4_4 + TestIdentity_5_4_5 + TestIdentity_3_0_0 + TestIdentity_3_0_1 + TestIdentity_3_0_2 + TestIdentity_3_0_3 + TestIdentity_3_0_4 + TestIdentity_3_0_5 + TestIdentity_0_2_0 + TestIdentity_0_2_1 + TestIdentity_0_2_2 + TestIdentity_0_2_3 + TestIdentity_0_2_4 + TestIdentity_0_2_5 + TestIdentity_3_1_0 + TestIdentity_3_1_1 + TestIdentity_3_1_2 + TestIdentity_3_1_3 + TestIdentity_3_1_4 + TestIdentity_3_1_5 + TestIdentity_0_3_0 + TestIdentity_0_3_1 + TestIdentity_0_3_2 + TestIdentity_0_3_3 + TestIdentity_0_3_4 + TestIdentity_0_3_5 + TestIdentity_3_2_0 + TestIdentity_3_2_1 + TestIdentity_3_2_2 + TestIdentity_3_2_3 + TestIdentity_3_2_4 + TestIdentity_3_2_5 + TestIdentity_0_4_0 + TestIdentity_0_4_1 + TestIdentity_0_4_2 + TestIdentity_0_4_3 + TestIdentity_0_4_4 + TestIdentity_0_4_5 + TestIdentity_3_3_0 + TestIdentity_3_3_1 + TestIdentity_3_3_2 + TestIdentity_3_3_3 + TestIdentity_3_3_4 + TestIdentity_3_3_5 + TestIdentity_3_4_5) : MAX(BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_4_0 + BeginLoop_4_4_1 + BeginLoop_4_4_2 + BeginLoop_4_4_3 + BeginLoop_4_4_4 + BeginLoop_4_4_5 + BeginLoop_2_0_0 + BeginLoop_2_0_1 + BeginLoop_2_0_2 + BeginLoop_2_0_3 + BeginLoop_2_0_4 + BeginLoop_2_0_5 + BeginLoop_2_1_0 + BeginLoop_2_1_1 + BeginLoop_2_1_2 + BeginLoop_2_1_3 + BeginLoop_2_1_4 + BeginLoop_2_1_5 + BeginLoop_5_0_0 + BeginLoop_5_0_1 + BeginLoop_5_0_2 + BeginLoop_5_0_3 + BeginLoop_5_0_4 + BeginLoop_5_0_5 + BeginLoop_2_2_0 + BeginLoop_2_2_1 + BeginLoop_2_2_2 + BeginLoop_2_2_3 + BeginLoop_2_2_4 + BeginLoop_2_2_5 + BeginLoop_5_1_0 + BeginLoop_5_1_1 + BeginLoop_5_1_2 + BeginLoop_5_1_3 + BeginLoop_5_1_4 + BeginLoop_5_1_5 + BeginLoop_2_3_0 + BeginLoop_2_3_1 + BeginLoop_2_3_2 + BeginLoop_2_3_3 + BeginLoop_2_3_4 + BeginLoop_2_3_5 + BeginLoop_5_2_0 + BeginLoop_5_2_1 + BeginLoop_5_2_2 + BeginLoop_5_2_3 + BeginLoop_5_2_4 + BeginLoop_5_2_5 + BeginLoop_2_4_0 + BeginLoop_2_4_1 + BeginLoop_2_4_2 + BeginLoop_2_4_3 + BeginLoop_2_4_4 + BeginLoop_2_4_5 + BeginLoop_0_0_0 + BeginLoop_0_0_1 + BeginLoop_0_0_2 + BeginLoop_0_0_3 + BeginLoop_0_0_4 + BeginLoop_0_0_5 + BeginLoop_5_3_0 + BeginLoop_5_3_1 + BeginLoop_5_3_2 + BeginLoop_5_3_3 + BeginLoop_5_3_4 + BeginLoop_5_3_5 + BeginLoop_0_1_0 + BeginLoop_0_1_1 + BeginLoop_0_1_2 + BeginLoop_0_1_3 + BeginLoop_0_1_4 + BeginLoop_0_1_5 + BeginLoop_5_4_0 + BeginLoop_5_4_1 + BeginLoop_5_4_2 + BeginLoop_5_4_3 + BeginLoop_5_4_4 + BeginLoop_5_4_5 + BeginLoop_3_0_0 + BeginLoop_3_0_1 + BeginLoop_3_0_2 + BeginLoop_3_0_3 + BeginLoop_3_0_4 + BeginLoop_3_0_5 + BeginLoop_0_2_0 + BeginLoop_0_2_1 + BeginLoop_0_2_2 + BeginLoop_0_2_3 + BeginLoop_0_2_4 + BeginLoop_0_2_5 + BeginLoop_3_1_0 + BeginLoop_3_1_1 + BeginLoop_3_1_2 + BeginLoop_3_1_3 + BeginLoop_3_1_4 + BeginLoop_3_1_5 + BeginLoop_0_3_0 + BeginLoop_0_3_1 + BeginLoop_0_3_2 + BeginLoop_0_3_3 + BeginLoop_0_3_4 + BeginLoop_0_3_5 + BeginLoop_3_2_0 + BeginLoop_3_2_1 + BeginLoop_3_2_2 + BeginLoop_3_2_3 + BeginLoop_3_2_4 + BeginLoop_3_2_5 + BeginLoop_0_4_0 + BeginLoop_0_4_1 + BeginLoop_0_4_2 + BeginLoop_0_4_3 + BeginLoop_0_4_4 + BeginLoop_0_4_5 + BeginLoop_3_3_0 + BeginLoop_3_3_1 + BeginLoop_3_3_2 + BeginLoop_3_3_3 + BeginLoop_3_3_4 + BeginLoop_3_3_5 + BeginLoop_3_4_0 + BeginLoop_3_4_1 + BeginLoop_3_4_2 + BeginLoop_3_4_3 + BeginLoop_3_4_4 + BeginLoop_3_4_5 + BeginLoop_1_0_0 + BeginLoop_1_0_1 + BeginLoop_1_0_2 + BeginLoop_1_0_3 + BeginLoop_1_0_4 + BeginLoop_1_0_5 + BeginLoop_1_1_0 + BeginLoop_1_1_1 + BeginLoop_1_1_2 + BeginLoop_1_1_3 + BeginLoop_1_1_4 + BeginLoop_1_1_5 + BeginLoop_4_0_0 + BeginLoop_4_0_1 + BeginLoop_4_0_2 + BeginLoop_4_0_3 + BeginLoop_4_0_4 + BeginLoop_4_0_5 + BeginLoop_1_2_0 + BeginLoop_1_2_1 + BeginLoop_1_2_2 + BeginLoop_1_2_3 + BeginLoop_1_2_4 + BeginLoop_1_2_5 + BeginLoop_4_1_0 + BeginLoop_4_1_1 + BeginLoop_4_1_2 + BeginLoop_4_1_3 + BeginLoop_4_1_4 + BeginLoop_4_1_5 + BeginLoop_1_3_0 + BeginLoop_1_3_1 + BeginLoop_1_3_2 + BeginLoop_1_3_3 + BeginLoop_1_3_4 + BeginLoop_1_3_5 + BeginLoop_4_2_0 + BeginLoop_4_2_1 + BeginLoop_4_2_2 + BeginLoop_4_2_3 + BeginLoop_4_2_4 + BeginLoop_4_2_5 + BeginLoop_1_4_0 + BeginLoop_1_4_1 + BeginLoop_1_4_2 + BeginLoop_1_4_3 + BeginLoop_1_4_4 + BeginLoop_1_4_5) : MAX(Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_2_4 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_3_4 + Turn_4_0 + Turn_4_1 + Turn_4_2 + Turn_4_3 + Turn_4_4 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_1_0 + Turn_1_1 + Turn_1_2 + Turn_1_3 + Turn_1_4 + Turn_1_5 + Turn_0_5 + Turn_4_5 + Turn_3_5 + Turn_2_5) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5) : MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_0_5 + TestIdentity_3_4_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_1_1_5 + TestIdentity_3_4_3 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_4_0_5 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3 + TestIdentity_1_2_4 + TestIdentity_1_2_5 + TestIdentity_3_4_2 + TestIdentity_4_1_0 + TestIdentity_4_1_1 + TestIdentity_4_1_2 + TestIdentity_4_1_3 + TestIdentity_4_1_4 + TestIdentity_4_1_5 + TestIdentity_1_3_0 + TestIdentity_1_3_1 + TestIdentity_1_3_2 + TestIdentity_1_3_3 + TestIdentity_1_3_4 + TestIdentity_1_3_5 + TestIdentity_4_2_0 + TestIdentity_4_2_1 + TestIdentity_4_2_2 + TestIdentity_4_2_3 + TestIdentity_4_2_4 + TestIdentity_4_2_5 + TestIdentity_1_4_0 + TestIdentity_1_4_1 + TestIdentity_1_4_2 + TestIdentity_1_4_3 + TestIdentity_1_4_4 + TestIdentity_1_4_5 + TestIdentity_4_3_0 + TestIdentity_4_3_1 + TestIdentity_4_3_2 + TestIdentity_4_3_3 + TestIdentity_4_3_4 + TestIdentity_4_3_5 + TestIdentity_4_4_0 + TestIdentity_4_4_1 + TestIdentity_4_4_2 + TestIdentity_4_4_3 + TestIdentity_4_4_4 + TestIdentity_4_4_5 + TestIdentity_2_0_0 + TestIdentity_2_0_1 + TestIdentity_2_0_2 + TestIdentity_2_0_3 + TestIdentity_2_0_4 + TestIdentity_2_0_5 + TestIdentity_2_1_0 + TestIdentity_2_1_1 + TestIdentity_2_1_2 + TestIdentity_2_1_3 + TestIdentity_2_1_4 + TestIdentity_2_1_5 + TestIdentity_3_4_1 + TestIdentity_3_4_0 + TestIdentity_5_0_0 + TestIdentity_5_0_1 + TestIdentity_5_0_2 + TestIdentity_5_0_3 + TestIdentity_5_0_4 + TestIdentity_5_0_5 + TestIdentity_2_2_0 + TestIdentity_2_2_1 + TestIdentity_2_2_2 + TestIdentity_2_2_3 + TestIdentity_2_2_4 + TestIdentity_2_2_5 + TestIdentity_5_1_0 + TestIdentity_5_1_1 + TestIdentity_5_1_2 + TestIdentity_5_1_3 + TestIdentity_5_1_4 + TestIdentity_5_1_5 + TestIdentity_2_3_0 + TestIdentity_2_3_1 + TestIdentity_2_3_2 + TestIdentity_2_3_3 + TestIdentity_2_3_4 + TestIdentity_2_3_5 + TestIdentity_5_2_0 + TestIdentity_5_2_1 + TestIdentity_5_2_2 + TestIdentity_5_2_3 + TestIdentity_5_2_4 + TestIdentity_5_2_5 + TestIdentity_2_4_0 + TestIdentity_2_4_1 + TestIdentity_2_4_2 + TestIdentity_2_4_3 + TestIdentity_2_4_4 + TestIdentity_2_4_5 + TestIdentity_0_0_0 + TestIdentity_0_0_1 + TestIdentity_0_0_2 + TestIdentity_0_0_3 + TestIdentity_0_0_4 + TestIdentity_0_0_5 + TestIdentity_5_3_0 + TestIdentity_5_3_1 + TestIdentity_5_3_2 + TestIdentity_5_3_3 + TestIdentity_5_3_4 + TestIdentity_5_3_5 + TestIdentity_0_1_0 + TestIdentity_0_1_1 + TestIdentity_0_1_2 + TestIdentity_0_1_3 + TestIdentity_0_1_4 + TestIdentity_0_1_5 + TestIdentity_5_4_0 + TestIdentity_5_4_1 + TestIdentity_5_4_2 + TestIdentity_5_4_3 + TestIdentity_5_4_4 + TestIdentity_5_4_5 + TestIdentity_3_0_0 + TestIdentity_3_0_1 + TestIdentity_3_0_2 + TestIdentity_3_0_3 + TestIdentity_3_0_4 + TestIdentity_3_0_5 + TestIdentity_0_2_0 + TestIdentity_0_2_1 + TestIdentity_0_2_2 + TestIdentity_0_2_3 + TestIdentity_0_2_4 + TestIdentity_0_2_5 + TestIdentity_3_1_0 + TestIdentity_3_1_1 + TestIdentity_3_1_2 + TestIdentity_3_1_3 + TestIdentity_3_1_4 + TestIdentity_3_1_5 + TestIdentity_0_3_0 + TestIdentity_0_3_1 + TestIdentity_0_3_2 + TestIdentity_0_3_3 + TestIdentity_0_3_4 + TestIdentity_0_3_5 + TestIdentity_3_2_0 + TestIdentity_3_2_1 + TestIdentity_3_2_2 + TestIdentity_3_2_3 + TestIdentity_3_2_4 + TestIdentity_3_2_5 + TestIdentity_0_4_0 + TestIdentity_0_4_1 + TestIdentity_0_4_2 + TestIdentity_0_4_3 + TestIdentity_0_4_4 + TestIdentity_0_4_5 + TestIdentity_3_3_0 + TestIdentity_3_3_1 + TestIdentity_3_3_2 + TestIdentity_3_3_3 + TestIdentity_3_3_4 + TestIdentity_3_3_5 + TestIdentity_3_4_5) : MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_0_5 + TestIdentity_3_4_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_1_1_5 + TestIdentity_3_4_3 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_4_0_5 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3 + TestIdentity_1_2_4 + TestIdentity_1_2_5 + TestIdentity_3_4_2 + TestIdentity_4_1_0 + TestIdentity_4_1_1 + TestIdentity_4_1_2 + TestIdentity_4_1_3 + TestIdentity_4_1_4 + TestIdentity_4_1_5 + TestIdentity_1_3_0 + TestIdentity_1_3_1 + TestIdentity_1_3_2 + TestIdentity_1_3_3 + TestIdentity_1_3_4 + TestIdentity_1_3_5 + TestIdentity_4_2_0 + TestIdentity_4_2_1 + TestIdentity_4_2_2 + TestIdentity_4_2_3 + TestIdentity_4_2_4 + TestIdentity_4_2_5 + TestIdentity_1_4_0 + TestIdentity_1_4_1 + TestIdentity_1_4_2 + TestIdentity_1_4_3 + TestIdentity_1_4_4 + TestIdentity_1_4_5 + TestIdentity_4_3_0 + TestIdentity_4_3_1 + TestIdentity_4_3_2 + TestIdentity_4_3_3 + TestIdentity_4_3_4 + TestIdentity_4_3_5 + TestIdentity_4_4_0 + TestIdentity_4_4_1 + TestIdentity_4_4_2 + TestIdentity_4_4_3 + TestIdentity_4_4_4 + TestIdentity_4_4_5 + TestIdentity_2_0_0 + TestIdentity_2_0_1 + TestIdentity_2_0_2 + TestIdentity_2_0_3 + TestIdentity_2_0_4 + TestIdentity_2_0_5 + TestIdentity_2_1_0 + TestIdentity_2_1_1 + TestIdentity_2_1_2 + TestIdentity_2_1_3 + TestIdentity_2_1_4 + TestIdentity_2_1_5 + TestIdentity_3_4_1 + TestIdentity_3_4_0 + TestIdentity_5_0_0 + TestIdentity_5_0_1 + TestIdentity_5_0_2 + TestIdentity_5_0_3 + TestIdentity_5_0_4 + TestIdentity_5_0_5 + TestIdentity_2_2_0 + TestIdentity_2_2_1 + TestIdentity_2_2_2 + TestIdentity_2_2_3 + TestIdentity_2_2_4 + TestIdentity_2_2_5 + TestIdentity_5_1_0 + TestIdentity_5_1_1 + TestIdentity_5_1_2 + TestIdentity_5_1_3 + TestIdentity_5_1_4 + TestIdentity_5_1_5 + TestIdentity_2_3_0 + TestIdentity_2_3_1 + TestIdentity_2_3_2 + TestIdentity_2_3_3 + TestIdentity_2_3_4 + TestIdentity_2_3_5 + TestIdentity_5_2_0 + TestIdentity_5_2_1 + TestIdentity_5_2_2 + TestIdentity_5_2_3 + TestIdentity_5_2_4 + TestIdentity_5_2_5 + TestIdentity_2_4_0 + TestIdentity_2_4_1 + TestIdentity_2_4_2 + TestIdentity_2_4_3 + TestIdentity_2_4_4 + TestIdentity_2_4_5 + TestIdentity_0_0_0 + TestIdentity_0_0_1 + TestIdentity_0_0_2 + TestIdentity_0_0_3 + TestIdentity_0_0_4 + TestIdentity_0_0_5 + TestIdentity_5_3_0 + TestIdentity_5_3_1 + TestIdentity_5_3_2 + TestIdentity_5_3_3 + TestIdentity_5_3_4 + TestIdentity_5_3_5 + TestIdentity_0_1_0 + TestIdentity_0_1_1 + TestIdentity_0_1_2 + TestIdentity_0_1_3 + TestIdentity_0_1_4 + TestIdentity_0_1_5 + TestIdentity_5_4_0 + TestIdentity_5_4_1 + TestIdentity_5_4_2 + TestIdentity_5_4_3 + TestIdentity_5_4_4 + TestIdentity_5_4_5 + TestIdentity_3_0_0 + TestIdentity_3_0_1 + TestIdentity_3_0_2 + TestIdentity_3_0_3 + TestIdentity_3_0_4 + TestIdentity_3_0_5 + TestIdentity_0_2_0 + TestIdentity_0_2_1 + TestIdentity_0_2_2 + TestIdentity_0_2_3 + TestIdentity_0_2_4 + TestIdentity_0_2_5 + TestIdentity_3_1_0 + TestIdentity_3_1_1 + TestIdentity_3_1_2 + TestIdentity_3_1_3 + TestIdentity_3_1_4 + TestIdentity_3_1_5 + TestIdentity_0_3_0 + TestIdentity_0_3_1 + TestIdentity_0_3_2 + TestIdentity_0_3_3 + TestIdentity_0_3_4 + TestIdentity_0_3_5 + TestIdentity_3_2_0 + TestIdentity_3_2_1 + TestIdentity_3_2_2 + TestIdentity_3_2_3 + TestIdentity_3_2_4 + TestIdentity_3_2_5 + TestIdentity_0_4_0 + TestIdentity_0_4_1 + TestIdentity_0_4_2 + TestIdentity_0_4_3 + TestIdentity_0_4_4 + TestIdentity_0_4_5 + TestIdentity_3_3_0 + TestIdentity_3_3_1 + TestIdentity_3_3_2 + TestIdentity_3_3_3 + TestIdentity_3_3_4 + TestIdentity_3_3_5 + TestIdentity_3_4_5) : MAX(WantSection_5_T + WantSection_5_F + WantSection_4_T + WantSection_4_F + WantSection_3_T + WantSection_3_F + WantSection_2_T + WantSection_2_F + WantSection_1_T + WantSection_1_F + WantSection_0_T + WantSection_0_F)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Idle_0 + Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 96698 markings, 271179 edges, 19340 markings/sec, 0 secs
lola: 183708 markings, 669347 edges, 17402 markings/sec, 5 secs
lola: 269338 markings, 1061619 edges, 17126 markings/sec, 10 secs
lola: 353831 markings, 1465703 edges, 16899 markings/sec, 15 secs
lola: 439234 markings, 1855550 edges, 17081 markings/sec, 20 secs
lola: 521675 markings, 2262002 edges, 16488 markings/sec, 25 secs
lola: 604147 markings, 2665936 edges, 16494 markings/sec, 30 secs
lola: 686584 markings, 3046262 edges, 16487 markings/sec, 35 secs
lola: 766852 markings, 3524068 edges, 16054 markings/sec, 40 secs
lola: 854215 markings, 3949070 edges, 17473 markings/sec, 45 secs
lola: 938702 markings, 4416126 edges, 16897 markings/sec, 50 secs
lola: 1029971 markings, 4736009 edges, 18254 markings/sec, 55 secs
lola: 1116183 markings, 5138494 edges, 17242 markings/sec, 60 secs
lola: 1201530 markings, 5527531 edges, 17069 markings/sec, 65 secs
lola: 1286963 markings, 5915334 edges, 17087 markings/sec, 70 secs
lola: 1371979 markings, 6302662 edges, 17003 markings/sec, 75 secs
lola: 1455616 markings, 6695397 edges, 16727 markings/sec, 80 secs
lola: 1537338 markings, 7092855 edges, 16344 markings/sec, 85 secs
lola: 1618761 markings, 7496279 edges, 16285 markings/sec, 90 secs
lola: 1699556 markings, 7879396 edges, 16159 markings/sec, 95 secs
lola: 1780801 markings, 8350771 edges, 16249 markings/sec, 100 secs
lola: 1868201 markings, 8764028 edges, 17480 markings/sec, 105 secs
lola: 1950275 markings, 9240669 edges, 16415 markings/sec, 110 secs
lola: 2042050 markings, 9567602 edges, 18355 markings/sec, 115 secs
lola: 2127466 markings, 9967402 edges, 17083 markings/sec, 120 secs
lola: 2212165 markings, 10365579 edges, 16940 markings/sec, 125 secs
lola: 2296733 markings, 10747249 edges, 16914 markings/sec, 130 secs
lola: 2378457 markings, 11150809 edges, 16345 markings/sec, 135 secs
lola: 2461222 markings, 11541000 edges, 16553 markings/sec, 140 secs
lola: 2542128 markings, 11943333 edges, 16181 markings/sec, 145 secs
lola: 2620226 markings, 12382092 edges, 15620 markings/sec, 150 secs
lola: 2705049 markings, 12796480 edges, 16965 markings/sec, 155 secs
lola: 2792383 markings, 13218633 edges, 17467 markings/sec, 160 secs
lola: 2877253 markings, 13639774 edges, 16974 markings/sec, 165 secs
lola: 2964384 markings, 13999618 edges, 17426 markings/sec, 170 secs
lola: 3046346 markings, 14389308 edges, 16392 markings/sec, 175 secs
lola: 3130370 markings, 14770652 edges, 16805 markings/sec, 180 secs
lola: 3213092 markings, 15156628 edges, 16544 markings/sec, 185 secs
lola: 3292335 markings, 15553854 edges, 15849 markings/sec, 190 secs
lola: 3373832 markings, 15928649 edges, 16299 markings/sec, 195 secs
lola: 3455680 markings, 16307082 edges, 16370 markings/sec, 200 secs
lola: 3536802 markings, 16672426 edges, 16224 markings/sec, 205 secs
lola: 3615270 markings, 17128529 edges, 15694 markings/sec, 210 secs
lola: 3699842 markings, 17538947 edges, 16914 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_4_0 + BeginLoop_4_4_1 + BeginLoop_4_4_2 + BeginLoop_4_4_3 + BeginLoop_4_4_4 + BeginLoop_4_4_5 + BeginLoop_2_0_0 + BeginLoop_2_0_1 + BeginLoop_2_0_2 + BeginLoop_2_0_3 + BeginLoop_2_0_4 + BeginLoop_2_0_5 + BeginLoop_2_1_0 + BeginLoop_2_1_1 + BeginLoop_2_1_2 + BeginLoop_2_1_3 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 87517 markings, 216880 edges, 17503 markings/sec, 0 secs
lola: 169025 markings, 515425 edges, 16302 markings/sec, 5 secs
lola: 243376 markings, 941787 edges, 14870 markings/sec, 10 secs
lola: 318191 markings, 1350864 edges, 14963 markings/sec, 15 secs
lola: 393966 markings, 1791926 edges, 15155 markings/sec, 20 secs
lola: 471528 markings, 2254919 edges, 15512 markings/sec, 25 secs
lola: 550129 markings, 2722854 edges, 15720 markings/sec, 30 secs
lola: 627164 markings, 3187955 edges, 15407 markings/sec, 35 secs
lola: 703589 markings, 3647259 edges, 15285 markings/sec, 40 secs
lola: 780734 markings, 4107753 edges, 15429 markings/sec, 45 secs
lola: 857612 markings, 4565626 edges, 15376 markings/sec, 50 secs
lola: 938055 markings, 4961990 edges, 16089 markings/sec, 55 secs
lola: 1011969 markings, 5500905 edges, 14783 markings/sec, 60 secs
lola: 1089801 markings, 5969826 edges, 15566 markings/sec, 65 secs
lola: 1145989 markings, 6799612 edges, 11238 markings/sec, 70 secs
lola: 1236526 markings, 7036348 edges, 18107 markings/sec, 75 secs
lola: 1317613 markings, 7431347 edges, 16217 markings/sec, 80 secs
lola: 1394978 markings, 7894084 edges, 15473 markings/sec, 85 secs
lola: 1472933 markings, 8362735 edges, 15591 markings/sec, 90 secs
lola: 1550045 markings, 8822155 edges, 15422 markings/sec, 95 secs
lola: 1627747 markings, 9290474 edges, 15540 markings/sec, 100 secs
lola: 1704180 markings, 9748526 edges, 15287 markings/sec, 105 secs
lola: 1779902 markings, 10202700 edges, 15144 markings/sec, 110 secs
lola: 1857400 markings, 10666908 edges, 15500 markings/sec, 115 secs
lola: 1934551 markings, 11126975 edges, 15430 markings/sec, 120 secs
lola: 2011791 markings, 11568564 edges, 15448 markings/sec, 125 secs
lola: 2087747 markings, 12051174 edges, 15191 markings/sec, 130 secs
lola: 2165585 markings, 12519356 edges, 15568 markings/sec, 135 secs
lola: 2226916 markings, 13238298 edges, 12266 markings/sec, 140 secs
lola: 2308480 markings, 13659100 edges, 16313 markings/sec, 145 secs
lola: 2393892 markings, 13988334 edges, 17082 markings/sec, 150 secs
lola: 2471923 markings, 14457448 edges, 15606 markings/sec, 155 secs
lola: 2549460 markings, 14921977 edges, 15507 markings/sec, 160 secs
lola: 2626307 markings, 15385182 edges, 15369 markings/sec, 165 secs
lola: 2702913 markings, 15847003 edges, 15321 markings/sec, 170 secs
lola: 2779521 markings, 16306494 edges, 15322 markings/sec, 175 secs
lola: 2856297 markings, 16761330 edges, 15355 markings/sec, 180 secs
lola: 2932396 markings, 17221309 edges, 15220 markings/sec, 185 secs
lola: 3007869 markings, 17673903 edges, 15095 markings/sec, 190 secs
lola: 3084469 markings, 18131427 edges, 15320 markings/sec, 195 secs
lola: 3160497 markings, 18587095 edges, 15206 markings/sec, 200 secs
lola: 3235383 markings, 19032275 edges, 14977 markings/sec, 205 secs
lola: 3311257 markings, 19468137 edges, 15175 markings/sec, 210 secs
lola: 3386320 markings, 19945621 edges, 15013 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 91906 markings, 251557 edges, 18381 markings/sec, 0 secs
lola: 176029 markings, 628913 edges, 16825 markings/sec, 5 secs
lola: 257102 markings, 1013603 edges, 16215 markings/sec, 10 secs
lola: 338328 markings, 1386483 edges, 16245 markings/sec, 15 secs
lola: 417402 markings, 1787227 edges, 15815 markings/sec, 20 secs
lola: 498317 markings, 2169880 edges, 16183 markings/sec, 25 secs
lola: 578900 markings, 2546976 edges, 16117 markings/sec, 30 secs
lola: 657874 markings, 2925273 edges, 15795 markings/sec, 35 secs
lola: 731711 markings, 3347019 edges, 14767 markings/sec, 40 secs
lola: 814517 markings, 3756024 edges, 16561 markings/sec, 45 secs
lola: 898682 markings, 4172639 edges, 16833 markings/sec, 50 secs
lola: 981364 markings, 4542661 edges, 16536 markings/sec, 55 secs
lola: 1066646 markings, 4888944 edges, 17056 markings/sec, 60 secs
lola: 1149325 markings, 5259232 edges, 16536 markings/sec, 65 secs
lola: 1230387 markings, 5639014 edges, 16212 markings/sec, 70 secs
lola: 1309958 markings, 6013210 edges, 15914 markings/sec, 75 secs
lola: 1389567 markings, 6403691 edges, 15922 markings/sec, 80 secs
lola: 1469938 markings, 6778874 edges, 16074 markings/sec, 85 secs
lola: 1549838 markings, 7163438 edges, 15980 markings/sec, 90 secs
lola: 1628531 markings, 7546563 edges, 15739 markings/sec, 95 secs
lola: 1705085 markings, 7889922 edges, 15311 markings/sec, 100 secs
lola: 1782315 markings, 8352077 edges, 15446 markings/sec, 105 secs
lola: 1866010 markings, 8746554 edges, 16739 markings/sec, 110 secs
lola: 1942703 markings, 9220882 edges, 15339 markings/sec, 115 secs
lola: 2031681 markings, 9505061 edges, 17796 markings/sec, 120 secs
lola: 2113877 markings, 9880439 edges, 16439 markings/sec, 125 secs
lola: 2194927 markings, 10259517 edges, 16210 markings/sec, 130 secs
lola: 2275347 markings, 10638638 edges, 16084 markings/sec, 135 secs
lola: 2355530 markings, 11019031 edges, 16037 markings/sec, 140 secs
lola: 2433234 markings, 11403077 edges, 15541 markings/sec, 145 secs
lola: 2511500 markings, 11779160 edges, 15653 markings/sec, 150 secs
lola: 2589977 markings, 12133475 edges, 15695 markings/sec, 155 secs
lola: 2664285 markings, 12578946 edges, 14862 markings/sec, 160 secs
lola: 2746659 markings, 12982163 edges, 16475 markings/sec, 165 secs
lola: 2822181 markings, 13496219 edges, 15104 markings/sec, 170 secs
lola: 2911390 markings, 13750084 edges, 17842 markings/sec, 175 secs
lola: 2993427 markings, 14123001 edges, 16407 markings/sec, 180 secs
lola: 3072613 markings, 14492952 edges, 15837 markings/sec, 185 secs
lola: 3151460 markings, 14861873 edges, 15769 markings/sec, 190 secs
lola: 3229772 markings, 15234530 edges, 15662 markings/sec, 195 secs
lola: 3306497 markings, 15609899 edges, 15345 markings/sec, 200 secs
lola: 3384639 markings, 15969358 edges, 15628 markings/sec, 205 secs
lola: 3463212 markings, 16333179 edges, 15715 markings/sec, 210 secs
lola: 3541387 markings, 16665915 edges, 15635 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(EndTurn_1_0 + EndTurn_1_1 + EndTurn_1_2 + EndTurn_1_3 + EndTurn_1_4 + EndTurn_2_0 + EndTurn_2_1 + EndTurn_2_2 + EndTurn_2_3 + EndTurn_2_4 + EndTurn_3_0 + EndTurn_3_1 + EndTurn_3_2 + EndTurn_3_3 + EndTurn_3_4 + EndTurn_4_0 + EndTurn_4_1 + EndTurn_4_2 + EndTurn_4_3 + EndTurn_4_4 + EndTurn_5_0 + EndTurn_5_1 + EndTurn_5_2 + EndTurn_5_3 + EndTurn_5_4 + EndTurn_0_3 + EndTurn_0_2 + EndTurn_0_1 + EndT... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 94562 markings, 270604 edges, 18912 markings/sec, 0 secs
lola: 183478 markings, 656740 edges, 17783 markings/sec, 5 secs
lola: 269788 markings, 1051963 edges, 17262 markings/sec, 10 secs
lola: 354949 markings, 1450982 edges, 17032 markings/sec, 15 secs
lola: 439728 markings, 1844413 edges, 16956 markings/sec, 20 secs
lola: 521660 markings, 2242891 edges, 16386 markings/sec, 25 secs
lola: 600130 markings, 2631183 edges, 15694 markings/sec, 30 secs
lola: 682050 markings, 3020528 edges, 16384 markings/sec, 35 secs
lola: 763379 markings, 3400911 edges, 16266 markings/sec, 40 secs
lola: 838321 markings, 3845096 edges, 14988 markings/sec, 45 secs
lola: 921257 markings, 4257268 edges, 16587 markings/sec, 50 secs
lola: 998791 markings, 4687386 edges, 15507 markings/sec, 55 secs
lola: 1089553 markings, 4998015 edges, 18152 markings/sec, 60 secs
lola: 1171371 markings, 5378957 edges, 16364 markings/sec, 65 secs
lola: 1257385 markings, 5762543 edges, 17203 markings/sec, 70 secs
lola: 1339454 markings, 6140190 edges, 16414 markings/sec, 75 secs
lola: 1418871 markings, 6523292 edges, 15883 markings/sec, 80 secs
lola: 1501377 markings, 6910249 edges, 16501 markings/sec, 85 secs
lola: 1582061 markings, 7307844 edges, 16137 markings/sec, 90 secs
lola: 1663674 markings, 7702059 edges, 16323 markings/sec, 95 secs
lola: 1742309 markings, 8051320 edges, 15727 markings/sec, 100 secs
lola: 1817112 markings, 8514069 edges, 14961 markings/sec, 105 secs
lola: 1898769 markings, 8915915 edges, 16331 markings/sec, 110 secs
lola: 1971482 markings, 9405968 edges, 14543 markings/sec, 115 secs
lola: 2065037 markings, 9668140 edges, 18711 markings/sec, 120 secs
lola: 2147054 markings, 10041105 edges, 16403 markings/sec, 125 secs
lola: 2230710 markings, 10428862 edges, 16731 markings/sec, 130 secs
lola: 2313821 markings, 10816750 edges, 16622 markings/sec, 135 secs
lola: 2397017 markings, 11221780 edges, 16639 markings/sec, 140 secs
lola: 2482103 markings, 11615640 edges, 17017 markings/sec, 145 secs
lola: 2563291 markings, 12009380 edges, 16238 markings/sec, 150 secs
lola: 2649292 markings, 12393434 edges, 17200 markings/sec, 155 secs
lola: 2730394 markings, 12754016 edges, 16220 markings/sec, 160 secs
lola: 2810395 markings, 13244957 edges, 16000 markings/sec, 165 secs
lola: 2898990 markings, 13680966 edges, 17719 markings/sec, 170 secs
lola: 2982936 markings, 14079718 edges, 16789 markings/sec, 175 secs
lola: 3072242 markings, 14448001 edges, 17861 markings/sec, 180 secs
lola: 3155446 markings, 14828439 edges, 16641 markings/sec, 185 secs
lola: 3239682 markings, 15227992 edges, 16847 markings/sec, 190 secs
lola: 3321546 markings, 15614808 edges, 16373 markings/sec, 195 secs
lola: 3402603 markings, 16004226 edges, 16211 markings/sec, 200 secs
lola: 3485495 markings, 16400037 edges, 16578 markings/sec, 205 secs
lola: 3564957 markings, 16781504 edges, 15892 markings/sec, 210 secs
lola: 3641278 markings, 17223199 edges, 15264 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_0_1_0 + IsEndLoop_0_1_1 + IsEndLoop_0_1_2 + IsEndLoop_0_1_3 + IsEndLoop_0_1_4 + IsEndLoop_0_1_5 + IsEndLoop_5_4_0 + IsEndLoop_5_4_1 + IsEndLoop_5_4_2 + IsEndLoop_5_4_3 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 90729 markings, 175186 edges, 18146 markings/sec, 0 secs
lola: 170336 markings, 564083 edges, 15921 markings/sec, 5 secs
lola: 247551 markings, 962922 edges, 15443 markings/sec, 10 secs
lola: 324214 markings, 1372727 edges, 15333 markings/sec, 15 secs
lola: 400055 markings, 1774615 edges, 15168 markings/sec, 20 secs
lola: 474552 markings, 2167901 edges, 14899 markings/sec, 25 secs
lola: 549485 markings, 2559418 edges, 14987 markings/sec, 30 secs
lola: 624801 markings, 2958604 edges, 15063 markings/sec, 35 secs
lola: 697151 markings, 3347509 edges, 14470 markings/sec, 40 secs
lola: 770351 markings, 3735331 edges, 14640 markings/sec, 45 secs
lola: 844128 markings, 4124983 edges, 14755 markings/sec, 50 secs
lola: 916348 markings, 4512121 edges, 14444 markings/sec, 55 secs
lola: 990569 markings, 4871821 edges, 14844 markings/sec, 60 secs
lola: 1051289 markings, 5510417 edges, 12144 markings/sec, 65 secs
lola: 1141106 markings, 5686608 edges, 17963 markings/sec, 70 secs
lola: 1220556 markings, 6064728 edges, 15890 markings/sec, 75 secs
lola: 1297539 markings, 6465987 edges, 15397 markings/sec, 80 secs
lola: 1372588 markings, 6867403 edges, 15010 markings/sec, 85 secs
lola: 1447997 markings, 7268403 edges, 15082 markings/sec, 90 secs
lola: 1522560 markings, 7659556 edges, 14913 markings/sec, 95 secs
lola: 1598715 markings, 8057803 edges, 15231 markings/sec, 100 secs
lola: 1673308 markings, 8457289 edges, 14919 markings/sec, 105 secs
lola: 1746728 markings, 8849002 edges, 14684 markings/sec, 110 secs
lola: 1821525 markings, 9240893 edges, 14959 markings/sec, 115 secs
lola: 1895211 markings, 9628042 edges, 14737 markings/sec, 120 secs
lola: 1967921 markings, 10019441 edges, 14542 markings/sec, 125 secs
lola: 2041993 markings, 10374723 edges, 14814 markings/sec, 130 secs
lola: 2100980 markings, 11022403 edges, 11797 markings/sec, 135 secs
lola: 2186731 markings, 11277111 edges, 17150 markings/sec, 140 secs
lola: 2270802 markings, 11557835 edges, 16814 markings/sec, 145 secs
lola: 2346482 markings, 11935436 edges, 15136 markings/sec, 150 secs
lola: 2421015 markings, 12329985 edges, 14907 markings/sec, 155 secs
lola: 2495509 markings, 12727264 edges, 14899 markings/sec, 160 secs
lola: 2570472 markings, 13124910 edges, 14993 markings/sec, 165 secs
lola: 2643549 markings, 13507338 edges, 14615 markings/sec, 170 secs
lola: 2717421 markings, 13893435 edges, 14774 markings/sec, 175 secs
lola: 2792029 markings, 14293741 edges, 14922 markings/sec, 180 secs
lola: 2866352 markings, 14687924 edges, 14865 markings/sec, 185 secs
lola: 2941256 markings, 15085728 edges, 14981 markings/sec, 190 secs
lola: 3014958 markings, 15477541 edges, 14740 markings/sec, 195 secs
lola: 3088425 markings, 15866139 edges, 14693 markings/sec, 200 secs
lola: 3161122 markings, 16283185 edges, 14539 markings/sec, 205 secs
lola: 3233930 markings, 16786008 edges, 14562 markings/sec, 210 secs
lola: 3320188 markings, 17020241 edges, 17252 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(EndTurn_1_0 + EndTurn_1_1 + EndTurn_1_2 + EndTurn_1_3 + EndTurn_1_4 + EndTurn_2_0 + EndTurn_2_1 + EndTurn_2_2 + EndTurn_2_3 + EndTurn_2_4 + EndTurn_3_0 + EndTurn_3_1 + EndTurn_3_2 + EndTurn_3_3 + EndTurn_3_4 + EndTurn_4_0 + EndTurn_4_1 + EndTurn_4_2 + EndTurn_4_3 + EndTurn_4_4 + EndTurn_5_0 + EndTurn_5_1 + EndTurn_5_2 + EndTurn_5_3 + EndTurn_5_4 + EndTurn_0_3 + EndTurn_0_2 + EndTurn_0_1 + EndT... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 99117 markings, 289509 edges, 19823 markings/sec, 0 secs
lola: 191811 markings, 693189 edges, 18539 markings/sec, 5 secs
lola: 281807 markings, 1107950 edges, 17999 markings/sec, 10 secs
lola: 371483 markings, 1521987 edges, 17935 markings/sec, 15 secs
lola: 459983 markings, 1942349 edges, 17700 markings/sec, 20 secs
lola: 547404 markings, 2368105 edges, 17484 markings/sec, 25 secs
lola: 633627 markings, 2794528 edges, 17245 markings/sec, 30 secs
lola: 720409 markings, 3204891 edges, 17356 markings/sec, 35 secs
lola: 800871 markings, 3658010 edges, 16092 markings/sec, 40 secs
lola: 890729 markings, 4105002 edges, 17972 markings/sec, 45 secs
lola: 973860 markings, 4636757 edges, 16626 markings/sec, 50 secs
lola: 1068106 markings, 4900574 edges, 18849 markings/sec, 55 secs
lola: 1158723 markings, 5323935 edges, 18123 markings/sec, 60 secs
lola: 1250473 markings, 5731555 edges, 18350 markings/sec, 65 secs
lola: 1339926 markings, 6142213 edges, 17891 markings/sec, 70 secs
lola: 1426735 markings, 6564706 edges, 17362 markings/sec, 75 secs
lola: 1515324 markings, 6979747 edges, 17718 markings/sec, 80 secs
lola: 1601120 markings, 7404759 edges, 17159 markings/sec, 85 secs
lola: 1687716 markings, 7814231 edges, 17319 markings/sec, 90 secs
lola: 1768728 markings, 8272439 edges, 16202 markings/sec, 95 secs
lola: 1857504 markings, 8714243 edges, 17755 markings/sec, 100 secs
lola: 1941360 markings, 9206332 edges, 16771 markings/sec, 105 secs
lola: 2035065 markings, 9565752 edges, 18741 markings/sec, 110 secs
lola: 2127056 markings, 9948684 edges, 18398 markings/sec, 115 secs
lola: 2215792 markings, 10363357 edges, 17747 markings/sec, 120 secs
lola: 2302747 markings, 10764665 edges, 17391 markings/sec, 125 secs
lola: 2389584 markings, 11183209 edges, 17367 markings/sec, 130 secs
lola: 2476996 markings, 11593267 edges, 17482 markings/sec, 135 secs
lola: 2563244 markings, 12009029 edges, 17250 markings/sec, 140 secs
lola: 2650198 markings, 12397406 edges, 17391 markings/sec, 145 secs
lola: 2732803 markings, 12821310 edges, 16521 markings/sec, 150 secs
lola: 2819706 markings, 13290867 edges, 17381 markings/sec, 155 secs
lola: 2908922 markings, 13724411 edges, 17843 markings/sec, 160 secs
lola: 2997661 markings, 14124148 edges, 17748 markings/sec, 165 secs
lola: 3086676 markings, 14510169 edges, 17803 markings/sec, 170 secs
lola: 3173977 markings, 14917718 edges, 17460 markings/sec, 175 secs
lola: 3260151 markings, 15329736 edges, 17235 markings/sec, 180 secs
lola: 3345339 markings, 15730273 edges, 17038 markings/sec, 185 secs
lola: 3429973 markings, 16133931 edges, 16927 markings/sec, 190 secs
lola: 3513700 markings, 16533374 edges, 16745 markings/sec, 195 secs
lola: 3596772 markings, 16924456 edges, 16614 markings/sec, 200 secs
lola: 3676118 markings, 17397944 edges, 15869 markings/sec, 205 secs
lola: 3763745 markings, 17834208 edges, 17525 markings/sec, 210 secs
lola: 3845418 markings, 18359256 edges, 16335 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_4_0 + BeginLoop_4_4_1 + BeginLoop_4_4_2 + BeginLoop_4_4_3 + BeginLoop_4_4_4 + BeginLoop_4_4_5 + BeginLoop_2_0_0 + BeginLoop_2_0_1 + BeginLoop_2_0_2 + BeginLoop_2_0_3 + BeginLoop_2_0_4 + BeginLoop_2_0_5 + BeginLoop_2_1_0 + BeginLoop_2_1_1 + BeginLoop_2_1_2 + BeginLoop_2_1_3 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 91871 markings, 228850 edges, 18374 markings/sec, 0 secs
lola: 176868 markings, 563225 edges, 16999 markings/sec, 5 secs
lola: 255769 markings, 1006681 edges, 15780 markings/sec, 10 secs
lola: 333781 markings, 1444953 edges, 15602 markings/sec, 15 secs
lola: 411193 markings, 1895108 edges, 15482 markings/sec, 20 secs
lola: 488386 markings, 2356907 edges, 15439 markings/sec, 25 secs
lola: 565704 markings, 2818717 edges, 15464 markings/sec, 30 secs
lola: 642005 markings, 3277473 edges, 15260 markings/sec, 35 secs
lola: 717921 markings, 3733267 edges, 15183 markings/sec, 40 secs
lola: 794227 markings, 4187799 edges, 15261 markings/sec, 45 secs
lola: 870514 markings, 4636833 edges, 15257 markings/sec, 50 secs
lola: 945440 markings, 5101204 edges, 14985 markings/sec, 55 secs
lola: 1023325 markings, 5569542 edges, 15577 markings/sec, 60 secs
lola: 1100588 markings, 6033647 edges, 15453 markings/sec, 65 secs
lola: 1157559 markings, 6827287 edges, 11394 markings/sec, 70 secs
lola: 1246545 markings, 7065468 edges, 17797 markings/sec, 75 secs
lola: 1325666 markings, 7478560 edges, 15824 markings/sec, 80 secs
lola: 1402455 markings, 7939581 edges, 15358 markings/sec, 85 secs
lola: 1479475 markings, 8402669 edges, 15404 markings/sec, 90 secs
lola: 1555975 markings, 8861294 edges, 15300 markings/sec, 95 secs
lola: 1632943 markings, 9318398 edges, 15394 markings/sec, 100 secs
lola: 1708435 markings, 9773829 edges, 15098 markings/sec, 105 secs
lola: 1783344 markings, 10223337 edges, 14982 markings/sec, 110 secs
lola: 1859881 markings, 10681764 edges, 15307 markings/sec, 115 secs
lola: 1935978 markings, 11135492 edges, 15219 markings/sec, 120 secs
lola: 2012138 markings, 11570821 edges, 15232 markings/sec, 125 secs
lola: 2086714 markings, 12046123 edges, 14915 markings/sec, 130 secs
lola: 2163704 markings, 12506409 edges, 15398 markings/sec, 135 secs
lola: 2226903 markings, 13164416 edges, 12640 markings/sec, 140 secs
lola: 2304668 markings, 13649450 edges, 15553 markings/sec, 145 secs
lola: 2389524 markings, 13961542 edges, 16971 markings/sec, 150 secs
lola: 2467600 markings, 14434164 edges, 15615 markings/sec, 155 secs
lola: 2545042 markings, 14899156 edges, 15488 markings/sec, 160 secs
lola: 2622308 markings, 15362784 edges, 15453 markings/sec, 165 secs
lola: 2699290 markings, 15823820 edges, 15396 markings/sec, 170 secs
lola: 2776034 markings, 16285669 edges, 15349 markings/sec, 175 secs
lola: 2852851 markings, 16740418 edges, 15363 markings/sec, 180 secs
lola: 2929219 markings, 17202073 edges, 15274 markings/sec, 185 secs
lola: 3004904 markings, 17656226 edges, 15137 markings/sec, 190 secs
lola: 3081576 markings, 18114434 edges, 15334 markings/sec, 195 secs
lola: 3157904 markings, 18571258 edges, 15266 markings/sec, 200 secs
lola: 3232848 markings, 19016925 edges, 14989 markings/sec, 205 secs
lola: 3308986 markings, 19454605 edges, 15228 markings/sec, 210 secs
lola: 3383985 markings, 19930964 edges, 15000 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Idle_0 + Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 94025 markings, 263183 edges, 18805 markings/sec, 0 secs
lola: 182410 markings, 663733 edges, 17677 markings/sec, 5 secs
lola: 269540 markings, 1063413 edges, 17426 markings/sec, 10 secs
lola: 355582 markings, 1473556 edges, 17208 markings/sec, 15 secs
lola: 442245 markings, 1870826 edges, 17333 markings/sec, 20 secs
lola: 526247 markings, 2283242 edges, 16800 markings/sec, 25 secs
lola: 609920 markings, 2695862 edges, 16735 markings/sec, 30 secs
lola: 693921 markings, 3077120 edges, 16800 markings/sec, 35 secs
lola: 775507 markings, 3567219 edges, 16317 markings/sec, 40 secs
lola: 864092 markings, 3996822 edges, 17717 markings/sec, 45 secs
lola: 950157 markings, 4449495 edges, 17213 markings/sec, 50 secs
lola: 1041668 markings, 4788288 edges, 18302 markings/sec, 55 secs
lola: 1128631 markings, 5195945 edges, 17393 markings/sec, 60 secs
lola: 1215114 markings, 5590539 edges, 17297 markings/sec, 65 secs
lola: 1301971 markings, 5984446 edges, 17371 markings/sec, 70 secs
lola: 1388110 markings, 6372276 edges, 17228 markings/sec, 75 secs
lola: 1471914 markings, 6773939 edges, 16761 markings/sec, 80 secs
lola: 1555115 markings, 7179916 edges, 16640 markings/sec, 85 secs
lola: 1637240 markings, 7596486 edges, 16425 markings/sec, 90 secs
lola: 1715823 markings, 8032874 edges, 15717 markings/sec, 95 secs
lola: 1803364 markings, 8460446 edges, 17508 markings/sec, 100 secs
lola: 1882608 markings, 9007471 edges, 15849 markings/sec, 105 secs
lola: 1976234 markings, 9313860 edges, 18725 markings/sec, 110 secs
lola: 2064931 markings, 9673458 edges, 17739 markings/sec, 115 secs
lola: 2150312 markings, 10068958 edges, 17076 markings/sec, 120 secs
lola: 2234299 markings, 10469189 edges, 16797 markings/sec, 125 secs
lola: 2318988 markings, 10856051 edges, 16938 markings/sec, 130 secs
lola: 2400873 markings, 11258555 edges, 16377 markings/sec, 135 secs
lola: 2484180 markings, 11649487 edges, 16661 markings/sec, 140 secs
lola: 2564337 markings, 12058657 edges, 16031 markings/sec, 145 secs
lola: 2643618 markings, 12495433 edges, 15856 markings/sec, 150 secs
lola: 2729064 markings, 12915965 edges, 17089 markings/sec, 155 secs
lola: 2814158 markings, 13370208 edges, 17019 markings/sec, 160 secs
lola: 2901847 markings, 13719107 edges, 17538 markings/sec, 165 secs
lola: 2987009 markings, 14098586 edges, 17032 markings/sec, 170 secs
lola: 3068938 markings, 14494504 edges, 16386 markings/sec, 175 secs
lola: 3153000 markings, 14876175 edges, 16812 markings/sec, 180 secs
lola: 3234572 markings, 15270151 edges, 16314 markings/sec, 185 secs
lola: 3315267 markings, 15661223 edges, 16139 markings/sec, 190 secs
lola: 3397618 markings, 16033380 edges, 16470 markings/sec, 195 secs
lola: 3479035 markings, 16416304 edges, 16283 markings/sec, 200 secs
lola: 3560486 markings, 16767967 edges, 16290 markings/sec, 205 secs
lola: 3639542 markings, 17243943 edges, 15811 markings/sec, 210 secs
lola: 3724554 markings, 17660340 edges, 17002 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_0_5 + TestIdentity_3_4_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_1_1_5 + TestIdentity_3_4_3 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 95398 markings, 232226 edges, 19080 markings/sec, 0 secs
lola: 186819 markings, 497484 edges, 18284 markings/sec, 5 secs
lola: 273220 markings, 837079 edges, 17280 markings/sec, 10 secs
lola: 352496 markings, 1318402 edges, 15855 markings/sec, 15 secs
lola: 431501 markings, 1798250 edges, 15801 markings/sec, 20 secs
lola: 510197 markings, 2269492 edges, 15739 markings/sec, 25 secs
lola: 588097 markings, 2735555 edges, 15580 markings/sec, 30 secs
lola: 666492 markings, 3204171 edges, 15679 markings/sec, 35 secs
lola: 745124 markings, 3674313 edges, 15726 markings/sec, 40 secs
lola: 823629 markings, 4141215 edges, 15701 markings/sec, 45 secs
lola: 901267 markings, 4601602 edges, 15528 markings/sec, 50 secs
lola: 978720 markings, 5056944 edges, 15491 markings/sec, 55 secs
lola: 1056412 markings, 5499609 edges, 15538 markings/sec, 60 secs
lola: 1135021 markings, 5904089 edges, 15722 markings/sec, 65 secs
lola: 1180295 markings, 6919429 edges, 9055 markings/sec, 70 secs
lola: 1272498 markings, 7164219 edges, 18441 markings/sec, 75 secs
lola: 1361553 markings, 7437959 edges, 17811 markings/sec, 80 secs
lola: 1440747 markings, 7909342 edges, 15839 markings/sec, 85 secs
lola: 1519121 markings, 8387288 edges, 15675 markings/sec, 90 secs
lola: 1597854 markings, 8861830 edges, 15747 markings/sec, 95 secs
lola: 1676732 markings, 9336572 edges, 15776 markings/sec, 100 secs
lola: 1755898 markings, 9806629 edges, 15833 markings/sec, 105 secs
lola: 1833708 markings, 10274802 edges, 15562 markings/sec, 110 secs
lola: 1912145 markings, 10743503 edges, 15687 markings/sec, 115 secs
lola: 1990607 markings, 11206663 edges, 15692 markings/sec, 120 secs
lola: 2068313 markings, 11668965 edges, 15541 markings/sec, 125 secs
lola: 2146198 markings, 12123091 edges, 15577 markings/sec, 130 secs
lola: 2225066 markings, 12549544 edges, 15774 markings/sec, 135 secs
lola: 2265695 markings, 13582851 edges, 8126 markings/sec, 140 secs
lola: 2351779 markings, 13994809 edges, 17217 markings/sec, 145 secs
lola: 2444475 markings, 14237497 edges, 18539 markings/sec, 150 secs
lola: 2533798 markings, 14504232 edges, 17865 markings/sec, 155 secs
lola: 2614106 markings, 14947163 edges, 16062 markings/sec, 160 secs
lola: 2691994 markings, 15416999 edges, 15578 markings/sec, 165 secs
lola: 2769362 markings, 15882572 edges, 15474 markings/sec, 170 secs
lola: 2847707 markings, 16351426 edges, 15669 markings/sec, 175 secs
lola: 2923833 markings, 16801607 edges, 15225 markings/sec, 180 secs
lola: 3000746 markings, 17264229 edges, 15383 markings/sec, 185 secs
lola: 3077705 markings, 17722721 edges, 15392 markings/sec, 190 secs
lola: 3154863 markings, 18185105 edges, 15432 markings/sec, 195 secs
lola: 3231443 markings, 18637726 edges, 15316 markings/sec, 200 secs
lola: 3307140 markings, 19085662 edges, 15139 markings/sec, 205 secs
lola: 3383979 markings, 19515637 edges, 15368 markings/sec, 210 secs
lola: 3459846 markings, 19928670 edges, 15173 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_4_0 + BeginLoop_4_4_1 + BeginLoop_4_4_2 + BeginLoop_4_4_3 + BeginLoop_4_4_4 + BeginLoop_4_4_5 + BeginLoop_2_0_0 + BeginLoop_2_0_1 + BeginLoop_2_0_2 + BeginLoop_2_0_3 + BeginLoop_2_0_4 + BeginLoop_2_0_5 + BeginLoop_2_1_0 + BeginLoop_2_1_1 + BeginLoop_2_1_2 + BeginLoop_2_1_3 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 93347 markings, 232886 edges, 18669 markings/sec, 0 secs
lola: 179234 markings, 577000 edges, 17177 markings/sec, 5 secs
lola: 259235 markings, 1027481 edges, 16000 markings/sec, 10 secs
lola: 338376 markings, 1472059 edges, 15828 markings/sec, 15 secs
lola: 417137 markings, 1930153 edges, 15752 markings/sec, 20 secs
lola: 495617 markings, 2400059 edges, 15696 markings/sec, 25 secs
lola: 574157 markings, 2870137 edges, 15708 markings/sec, 30 secs
lola: 651621 markings, 3335658 edges, 15493 markings/sec, 35 secs
lola: 728850 markings, 3798417 edges, 15446 markings/sec, 40 secs
lola: 806568 markings, 4261998 edges, 15544 markings/sec, 45 secs
lola: 884087 markings, 4715148 edges, 15504 markings/sec, 50 secs
lola: 960306 markings, 5188670 edges, 15244 markings/sec, 55 secs
lola: 1039323 markings, 5666408 edges, 15803 markings/sec, 60 secs
lola: 1117879 markings, 6138380 edges, 15711 markings/sec, 65 secs
lola: 1179196 markings, 6881423 edges, 12263 markings/sec, 70 secs
lola: 1268945 markings, 7137016 edges, 17950 markings/sec, 75 secs
lola: 1346578 markings, 7604378 edges, 15527 markings/sec, 80 secs
lola: 1424962 markings, 8073407 edges, 15677 markings/sec, 85 secs
lola: 1503135 markings, 8544670 edges, 15635 markings/sec, 90 secs
lola: 1581314 markings, 9012383 edges, 15636 markings/sec, 95 secs
lola: 1658588 markings, 9473190 edges, 15455 markings/sec, 100 secs
lola: 1735183 markings, 9933920 edges, 15319 markings/sec, 105 secs
lola: 1811584 markings, 10391700 edges, 15280 markings/sec, 110 secs
lola: 1889385 markings, 10858127 edges, 15560 markings/sec, 115 secs
lola: 1966292 markings, 11311528 edges, 15381 markings/sec, 120 secs
lola: 2046837 markings, 11710873 edges, 16109 markings/sec, 125 secs
lola: 2120430 markings, 12247281 edges, 14719 markings/sec, 130 secs
lola: 2198495 markings, 12717905 edges, 15613 markings/sec, 135 secs
lola: 2255487 markings, 13527770 edges, 11398 markings/sec, 140 secs
lola: 2347121 markings, 13761561 edges, 18327 markings/sec, 145 secs
lola: 2427779 markings, 14192989 edges, 16132 markings/sec, 150 secs
lola: 2505990 markings, 14661075 edges, 15642 markings/sec, 155 secs
lola: 2583643 markings, 15129937 edges, 15531 markings/sec, 160 secs
lola: 2661051 markings, 15595511 edges, 15482 markings/sec, 165 secs
lola: 2737390 markings, 16053113 edges, 15268 markings/sec, 170 secs
lola: 2813580 markings, 16509680 edges, 15238 markings/sec, 175 secs
lola: 2890095 markings, 16967084 edges, 15303 markings/sec, 180 secs
lola: 2966046 markings, 17422996 edges, 15190 markings/sec, 185 secs
lola: 3042566 markings, 17880709 edges, 15304 markings/sec, 190 secs
lola: 3118791 markings, 18336156 edges, 15245 markings/sec, 195 secs
lola: 3194453 markings, 18790044 edges, 15132 markings/sec, 200 secs
lola: 3270278 markings, 19228027 edges, 15165 markings/sec, 205 secs
lola: 3347052 markings, 19658148 edges, 15355 markings/sec, 210 secs
lola: 3407892 markings, 20385063 edges, 12168 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_2_4 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_3_4 + Turn_4_0 + Turn_4_1 + Turn_4_2 + Turn_4_3 + Turn_4_4 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_1_0 + Turn_1_1 + Turn_1_2 + Turn_1_3 + Turn_1_4 + Turn_1_5 + Turn_0_5 + Turn_4_5 + Turn_3_5 + Turn_2_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: ========================================
lola: subprocess 11 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 96789 markings, 266841 edges, 19358 markings/sec, 0 secs
lola: 183765 markings, 665886 edges, 17395 markings/sec, 5 secs
lola: 268274 markings, 1068008 edges, 16902 markings/sec, 10 secs
lola: 353251 markings, 1457856 edges, 16995 markings/sec, 15 secs
lola: 435267 markings, 1879906 edges, 16403 markings/sec, 20 secs
lola: 519964 markings, 2274152 edges, 16939 markings/sec, 25 secs
lola: 604020 markings, 2666502 edges, 16811 markings/sec, 30 secs
lola: 686146 markings, 3029621 edges, 16425 markings/sec, 35 secs
lola: 765088 markings, 3513844 edges, 15788 markings/sec, 40 secs
lola: 852286 markings, 3938834 edges, 17440 markings/sec, 45 secs
lola: 936266 markings, 4408726 edges, 16796 markings/sec, 50 secs
lola: 1027633 markings, 4717968 edges, 18273 markings/sec, 55 secs
lola: 1114974 markings, 5101688 edges, 17468 markings/sec, 60 secs
lola: 1200161 markings, 5498550 edges, 17037 markings/sec, 65 secs
lola: 1283990 markings, 5892001 edges, 16766 markings/sec, 70 secs
lola: 1366503 markings, 6295718 edges, 16503 markings/sec, 75 secs
lola: 1451403 markings, 6689706 edges, 16980 markings/sec, 80 secs
lola: 1534271 markings, 7087322 edges, 16574 markings/sec, 85 secs
lola: 1617214 markings, 7486092 edges, 16589 markings/sec, 90 secs
lola: 1698137 markings, 7853807 edges, 16185 markings/sec, 95 secs
lola: 1778590 markings, 8333928 edges, 16091 markings/sec, 100 secs
lola: 1865280 markings, 8743353 edges, 17338 markings/sec, 105 secs
lola: 1946831 markings, 9230491 edges, 16310 markings/sec, 110 secs
lola: 2039429 markings, 9539759 edges, 18520 markings/sec, 115 secs
lola: 2124691 markings, 9929426 edges, 17052 markings/sec, 120 secs
lola: 2209623 markings, 10326372 edges, 16986 markings/sec, 125 secs
lola: 2293113 markings, 10726016 edges, 16698 markings/sec, 130 secs
lola: 2376861 markings, 11120925 edges, 16750 markings/sec, 135 secs
lola: 2458364 markings, 11523251 edges, 16301 markings/sec, 140 secs
lola: 2534865 markings, 11894062 edges, 15300 markings/sec, 145 secs
lola: 2616086 markings, 12234312 edges, 16244 markings/sec, 150 secs
lola: 2691712 markings, 12715715 edges, 15125 markings/sec, 155 secs
lola: 2776163 markings, 13126866 edges, 16890 markings/sec, 160 secs
lola: 2855250 markings, 13576748 edges, 15817 markings/sec, 165 secs
lola: 2944496 markings, 13902265 edges, 17849 markings/sec, 170 secs
lola: 3024406 markings, 14268331 edges, 15982 markings/sec, 175 secs
lola: 3106074 markings, 14652262 edges, 16334 markings/sec, 180 secs
lola: 3187896 markings, 15031101 edges, 16364 markings/sec, 185 secs
lola: 3267270 markings, 15428518 edges, 15875 markings/sec, 190 secs
lola: 3347700 markings, 15797327 edges, 16086 markings/sec, 195 secs
lola: 3429751 markings, 16176685 edges, 16410 markings/sec, 200 secs
lola: 3511825 markings, 16546773 edges, 16415 markings/sec, 205 secs
lola: 3588299 markings, 16984974 edges, 15295 markings/sec, 210 secs
lola: 3671396 markings, 17394831 edges, 16619 markings/sec, 215 secs
lola: 3755455 markings, 17793339 edges, 16812 markings/sec, 220 secs
lola: 3830206 markings, 18320425 edges, 14950 markings/sec, 225 secs
lola: 3921156 markings, 18595354 edges, 18190 markings/sec, 230 secs
lola: 4006490 markings, 18983175 edges, 17067 markings/sec, 235 secs
lola: 4090466 markings, 19372073 edges, 16795 markings/sec, 240 secs
lola: 4170175 markings, 19743487 edges, 15942 markings/sec, 245 secs
lola: 4250060 markings, 20129812 edges, 15977 markings/sec, 250 secs
lola: 4328759 markings, 20514736 edges, 15740 markings/sec, 255 secs
lola: 4409649 markings, 20883087 edges, 16178 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 265 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4 + CS_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 96882 markings, 267357 edges, 19376 markings/sec, 0 secs
lola: 183761 markings, 665861 edges, 17376 markings/sec, 5 secs
lola: 268200 markings, 1067710 edges, 16888 markings/sec, 10 secs
lola: 353340 markings, 1458212 edges, 17028 markings/sec, 15 secs
lola: 435615 markings, 1881425 edges, 16455 markings/sec, 20 secs
lola: 520456 markings, 2276532 edges, 16968 markings/sec, 25 secs
lola: 604791 markings, 2669831 edges, 16867 markings/sec, 30 secs
lola: 687164 markings, 3033588 edges, 16475 markings/sec, 35 secs
lola: 766250 markings, 3519563 edges, 15817 markings/sec, 40 secs
lola: 853374 markings, 3944013 edges, 17425 markings/sec, 45 secs
lola: 937505 markings, 4412017 edges, 16826 markings/sec, 50 secs
lola: 1028848 markings, 4723242 edges, 18269 markings/sec, 55 secs
lola: 1116036 markings, 5106203 edges, 17438 markings/sec, 60 secs
lola: 1201073 markings, 5502561 edges, 17007 markings/sec, 65 secs
lola: 1285451 markings, 5899044 edges, 16876 markings/sec, 70 secs
lola: 1368401 markings, 6304898 edges, 16590 markings/sec, 75 secs
lola: 1453297 markings, 6698690 edges, 16979 markings/sec, 80 secs
lola: 1536005 markings, 7096748 edges, 16542 markings/sec, 85 secs
lola: 1618764 markings, 7494077 edges, 16552 markings/sec, 90 secs
lola: 1699259 markings, 7859175 edges, 16099 markings/sec, 95 secs
lola: 1779529 markings, 8338605 edges, 16054 markings/sec, 100 secs
lola: 1866660 markings, 8749334 edges, 17426 markings/sec, 105 secs
lola: 1947856 markings, 9232899 edges, 16239 markings/sec, 110 secs
lola: 2040047 markings, 9542516 edges, 18438 markings/sec, 115 secs
lola: 2125154 markings, 9931420 edges, 17021 markings/sec, 120 secs
lola: 2209947 markings, 10328081 edges, 16959 markings/sec, 125 secs
lola: 2293324 markings, 10727142 edges, 16675 markings/sec, 130 secs
lola: 2376981 markings, 11121636 edges, 16731 markings/sec, 135 secs
lola: 2458147 markings, 11522181 edges, 16233 markings/sec, 140 secs
lola: 2539182 markings, 11913874 edges, 16207 markings/sec, 145 secs
lola: 2620737 markings, 12267579 edges, 16311 markings/sec, 150 secs
lola: 2700372 markings, 12755893 edges, 15927 markings/sec, 155 secs
lola: 2787158 markings, 13178401 edges, 17357 markings/sec, 160 secs
lola: 2870228 markings, 13620332 edges, 16614 markings/sec, 165 secs
lola: 2958337 markings, 13964326 edges, 17622 markings/sec, 170 secs
lola: 3041914 markings, 14348575 edges, 16715 markings/sec, 175 secs
lola: 3124181 markings, 14734694 edges, 16453 markings/sec, 180 secs
lola: 3206798 markings, 15114035 edges, 16523 markings/sec, 185 secs
lola: 3286097 markings, 15514268 edges, 15860 markings/sec, 190 secs
lola: 3367397 markings, 15891165 edges, 16260 markings/sec, 195 secs
lola: 3449241 markings, 16267170 edges, 16369 markings/sec, 200 secs
lola: 3530561 markings, 16622973 edges, 16264 markings/sec, 205 secs
lola: 3606725 markings, 17076293 edges, 15233 markings/sec, 210 secs
lola: 3691007 markings, 17488985 edges, 16856 markings/sec, 215 secs
lola: 3768198 markings, 18015148 edges, 15438 markings/sec, 220 secs
lola: 3854592 markings, 18404169 edges, 17279 markings/sec, 225 secs
lola: 3946719 markings, 18707363 edges, 18425 markings/sec, 230 secs
lola: 4031557 markings, 19103544 edges, 16968 markings/sec, 235 secs
lola: 4113994 markings, 19488782 edges, 16487 markings/sec, 240 secs
lola: 4196240 markings, 19864519 edges, 16449 markings/sec, 245 secs
lola: 4276479 markings, 20267202 edges, 16048 markings/sec, 250 secs
lola: 4358709 markings, 20648428 edges, 16446 markings/sec, 255 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_0_5 + TestIdentity_3_4_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_1_1_5 + TestIdentity_3_4_3 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 96205 markings, 234445 edges, 19241 markings/sec, 0 secs
lola: 188135 markings, 501533 edges, 18386 markings/sec, 5 secs
lola: 274933 markings, 849489 edges, 17360 markings/sec, 10 secs
lola: 354553 markings, 1331953 edges, 15924 markings/sec, 15 secs
lola: 433881 markings, 1812074 edges, 15866 markings/sec, 20 secs
lola: 512682 markings, 2283900 edges, 15760 markings/sec, 25 secs
lola: 591187 markings, 2752583 edges, 15701 markings/sec, 30 secs
lola: 670084 markings, 3224356 edges, 15779 markings/sec, 35 secs
lola: 748932 markings, 3696567 edges, 15770 markings/sec, 40 secs
lola: 827907 markings, 4167237 edges, 15795 markings/sec, 45 secs
lola: 906077 markings, 4630312 edges, 15634 markings/sec, 50 secs
lola: 983940 markings, 5086579 edges, 15573 markings/sec, 55 secs
lola: 1062256 markings, 5530849 edges, 15663 markings/sec, 60 secs
lola: 1136300 markings, 6003627 edges, 14809 markings/sec, 65 secs
lola: 1186946 markings, 6936170 edges, 10129 markings/sec, 70 secs
lola: 1279852 markings, 7185302 edges, 18581 markings/sec, 75 secs
lola: 1368847 markings, 7477800 edges, 17799 markings/sec, 80 secs
lola: 1448386 markings, 7957809 edges, 15908 markings/sec, 85 secs
lola: 1527231 markings, 8439100 edges, 15769 markings/sec, 90 secs
lola: 1606552 markings, 8910719 edges, 15864 markings/sec, 95 secs
lola: 1685472 markings, 9388794 edges, 15784 markings/sec, 100 secs
lola: 1764675 markings, 9863002 edges, 15841 markings/sec, 105 secs
lola: 1842825 markings, 10329315 edges, 15630 markings/sec, 110 secs
lola: 1921579 markings, 10799836 edges, 15751 markings/sec, 115 secs
lola: 2000381 markings, 11267557 edges, 15760 markings/sec, 120 secs
lola: 2075515 markings, 11711263 edges, 15027 markings/sec, 125 secs
lola: 2150418 markings, 12148833 edges, 14981 markings/sec, 130 secs
lola: 2226521 markings, 12555820 edges, 15221 markings/sec, 135 secs
lola: 2267821 markings, 13595623 edges, 8260 markings/sec, 140 secs
lola: 2355568 markings, 14003854 edges, 17549 markings/sec, 145 secs
lola: 2449101 markings, 14251053 edges, 18707 markings/sec, 150 secs
lola: 2540188 markings, 14530976 edges, 18217 markings/sec, 155 secs
lola: 2621782 markings, 14994898 edges, 16319 markings/sec, 160 secs
lola: 2701055 markings, 15470460 edges, 15855 markings/sec, 165 secs
lola: 2779633 markings, 15944090 edges, 15716 markings/sec, 170 secs
lola: 2859034 markings, 16418275 edges, 15880 markings/sec, 175 secs
lola: 2936154 markings, 16880652 edges, 15424 markings/sec, 180 secs
lola: 3014437 markings, 17347821 edges, 15657 markings/sec, 185 secs
lola: 3092460 markings, 17812701 edges, 15605 markings/sec, 190 secs
lola: 3170508 markings, 18278258 edges, 15610 markings/sec, 195 secs
lola: 3247767 markings, 18734005 edges, 15452 markings/sec, 200 secs
lola: 3324858 markings, 19185305 edges, 15418 markings/sec, 205 secs
lola: 3402473 markings, 19620763 edges, 15523 markings/sec, 210 secs
lola: 3461107 markings, 20329266 edges, 11727 markings/sec, 215 secs
lola: 3532620 markings, 20933143 edges, 14303 markings/sec, 220 secs
lola: 3623550 markings, 21183997 edges, 18186 markings/sec, 225 secs
lola: 3707223 markings, 21541696 edges, 16735 markings/sec, 230 secs
lola: 3785755 markings, 22016921 edges, 15706 markings/sec, 235 secs
lola: 3863465 markings, 22484614 edges, 15542 markings/sec, 240 secs
lola: 3939988 markings, 22942365 edges, 15305 markings/sec, 245 secs
lola: 4017146 markings, 23405335 edges, 15432 markings/sec, 250 secs
lola: 4093676 markings, 23862414 edges, 15306 markings/sec, 255 secs
lola: 4170671 markings, 24323001 edges, 15399 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_0_5 + TestIdentity_3_4_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_1_1_5 + TestIdentity_3_4_3 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 95105 markings, 231439 edges, 19021 markings/sec, 0 secs
lola: 186170 markings, 495451 edges, 18213 markings/sec, 5 secs
lola: 272358 markings, 834096 edges, 17238 markings/sec, 10 secs
lola: 351667 markings, 1313185 edges, 15862 markings/sec, 15 secs
lola: 430589 markings, 1791194 edges, 15784 markings/sec, 20 secs
lola: 509172 markings, 2262311 edges, 15717 markings/sec, 25 secs
lola: 587449 markings, 2730722 edges, 15655 markings/sec, 30 secs
lola: 665840 markings, 3199767 edges, 15678 markings/sec, 35 secs
lola: 744351 markings, 3669679 edges, 15702 markings/sec, 40 secs
lola: 822898 markings, 4135753 edges, 15709 markings/sec, 45 secs
lola: 900744 markings, 4598160 edges, 15569 markings/sec, 50 secs
lola: 978253 markings, 5054246 edges, 15502 markings/sec, 55 secs
lola: 1055947 markings, 5498023 edges, 15539 markings/sec, 60 secs
lola: 1134724 markings, 5902260 edges, 15755 markings/sec, 65 secs
lola: 1179839 markings, 6917905 edges, 9023 markings/sec, 70 secs
lola: 1271931 markings, 7162500 edges, 18418 markings/sec, 75 secs
lola: 1360828 markings, 7435550 edges, 17779 markings/sec, 80 secs
lola: 1440064 markings, 7906791 edges, 15847 markings/sec, 85 secs
lola: 1518479 markings, 8383277 edges, 15683 markings/sec, 90 secs
lola: 1596993 markings, 8857861 edges, 15703 markings/sec, 95 secs
lola: 1675765 markings, 9328490 edges, 15754 markings/sec, 100 secs
lola: 1754793 markings, 9796851 edges, 15806 markings/sec, 105 secs
lola: 1832192 markings, 10266403 edges, 15480 markings/sec, 110 secs
lola: 1910552 markings, 10732465 edges, 15672 markings/sec, 115 secs
lola: 1988783 markings, 11192995 edges, 15646 markings/sec, 120 secs
lola: 2066303 markings, 11656815 edges, 15504 markings/sec, 125 secs
lola: 2144180 markings, 12111174 edges, 15575 markings/sec, 130 secs
lola: 2222730 markings, 12538682 edges, 15710 markings/sec, 135 secs
lola: 2264495 markings, 13536509 edges, 8353 markings/sec, 140 secs
lola: 2348032 markings, 13986181 edges, 16707 markings/sec, 145 secs
lola: 2440822 markings, 14227681 edges, 18558 markings/sec, 150 secs
lola: 2530187 markings, 14493881 edges, 17873 markings/sec, 155 secs
lola: 2609888 markings, 14922510 edges, 15940 markings/sec, 160 secs
lola: 2688074 markings, 15391379 edges, 15637 markings/sec, 165 secs
lola: 2765962 markings, 15862232 edges, 15578 markings/sec, 170 secs
lola: 2844232 markings, 16329682 edges, 15654 markings/sec, 175 secs
lola: 2920126 markings, 16784487 edges, 15179 markings/sec, 180 secs
lola: 2997461 markings, 17244545 edges, 15467 markings/sec, 185 secs
lola: 3074649 markings, 17704020 edges, 15438 markings/sec, 190 secs
lola: 3152141 markings, 18168819 edges, 15498 markings/sec, 195 secs
lola: 3229036 markings, 18623702 edges, 15379 markings/sec, 200 secs
lola: 3304876 markings, 19071759 edges, 15168 markings/sec, 205 secs
lola: 3381996 markings, 19503777 edges, 15424 markings/sec, 210 secs
lola: 3459179 markings, 19907794 edges, 15437 markings/sec, 215 secs
lola: 3505700 markings, 20864918 edges, 9304 markings/sec, 220 secs
lola: 3596894 markings, 21106405 edges, 18239 markings/sec, 225 secs
lola: 3683225 markings, 21398532 edges, 17266 markings/sec, 230 secs
lola: 3760997 markings, 21867364 edges, 15554 markings/sec, 235 secs
lola: 3838241 markings, 22331867 edges, 15449 markings/sec, 240 secs
lola: 3914201 markings, 22788777 edges, 15192 markings/sec, 245 secs
lola: 3989688 markings, 23240400 edges, 15097 markings/sec, 250 secs
lola: 4065643 markings, 23693268 edges, 15191 markings/sec, 255 secs
lola: 4142661 markings, 24155817 edges, 15404 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(WantSection_5_T + WantSection_5_F + WantSection_4_T + WantSection_4_F + WantSection_3_T + WantSection_3_F + WantSection_2_T + WantSection_2_F + WantSection_1_T + WantSection_1_F + WantSection_0_T + WantSection_0_F)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 5 unknown unknown unknown unknown 6
lola: ========================================
FORMULA Peterson-COL-5-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-10 5 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-5-UpperBounds-15 6 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494506240096

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Peterson-PT-5"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/Peterson-PT-5.tgz
mv Peterson-PT-5 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is Peterson-PT-5, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r048-smll-149440869500065"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;