About the Execution of LoLA for Peterson-PT-4
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1033.030 | 3539501.00 | 3546828.00 | 12010.70 | ? ? 4 ? ? ? ? ? ? ? 5 ? ? ? 4 ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is Peterson-PT-4, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869500056
=====================================================================
--------------------
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-4-UpperBounds-0
FORMULA_NAME Peterson-COL-4-UpperBounds-1
FORMULA_NAME Peterson-COL-4-UpperBounds-10
FORMULA_NAME Peterson-COL-4-UpperBounds-11
FORMULA_NAME Peterson-COL-4-UpperBounds-12
FORMULA_NAME Peterson-COL-4-UpperBounds-13
FORMULA_NAME Peterson-COL-4-UpperBounds-14
FORMULA_NAME Peterson-COL-4-UpperBounds-15
FORMULA_NAME Peterson-COL-4-UpperBounds-2
FORMULA_NAME Peterson-COL-4-UpperBounds-3
FORMULA_NAME Peterson-COL-4-UpperBounds-4
FORMULA_NAME Peterson-COL-4-UpperBounds-5
FORMULA_NAME Peterson-COL-4-UpperBounds-6
FORMULA_NAME Peterson-COL-4-UpperBounds-7
FORMULA_NAME Peterson-COL-4-UpperBounds-8
FORMULA_NAME Peterson-COL-4-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494498608834
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Peterson-PT-4 @ 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: 1170/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 480 places, 690 transitions, 461 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1055 transition conflict sets
lola: TASK
lola: reading formula from Peterson-COL-4-UpperBounds.task
lola: MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3 + TestIdentity_1_2_4 + TestIdentity_4_1_0 + TestIdentity_4_1_1 + TestIdentity_4_1_2 + TestIdentity_4_1_3 + TestIdentity_4_1_4 + TestIdentity_1_3_0 + TestIdentity_1_3_1 + TestIdentity_1_3_2 + TestIdentity_1_3_3 + TestIdentity_1_3_4 + TestIdentity_4_2_0 + TestIdentity_4_2_1 + TestIdentity_4_2_2 + TestIdentity_4_2_3 + TestIdentity_4_2_4 + TestIdentity_4_3_0 + TestIdentity_4_3_1 + TestIdentity_4_3_2 + TestIdentity_4_3_3 + TestIdentity_4_3_4 + TestIdentity_2_0_0 + TestIdentity_2_0_1 + TestIdentity_2_0_2 + TestIdentity_2_0_3 + TestIdentity_2_0_4 + TestIdentity_2_1_0 + TestIdentity_2_1_1 + TestIdentity_2_1_2 + TestIdentity_2_1_3 + TestIdentity_2_1_4 + TestIdentity_2_2_0 + TestIdentity_2_2_1 + TestIdentity_2_2_2 + TestIdentity_2_2_3 + TestIdentity_2_2_4 + TestIdentity_2_3_0 + TestIdentity_2_3_1 + TestIdentity_2_3_2 + TestIdentity_2_3_3 + TestIdentity_2_3_4 + TestIdentity_0_0_0 + TestIdentity_0_0_1 + TestIdentity_0_0_2 + TestIdentity_0_0_3 + TestIdentity_0_0_4 + TestIdentity_0_1_0 + TestIdentity_0_1_1 + TestIdentity_0_1_2 + TestIdentity_0_1_3 + TestIdentity_0_1_4 + TestIdentity_3_0_0 + TestIdentity_3_0_1 + TestIdentity_3_0_2 + TestIdentity_3_0_3 + TestIdentity_3_0_4 + TestIdentity_0_2_0 + TestIdentity_0_2_1 + TestIdentity_0_2_2 + TestIdentity_0_2_3 + TestIdentity_0_2_4 + TestIdentity_3_1_0 + TestIdentity_3_1_1 + TestIdentity_3_1_2 + TestIdentity_3_1_3 + TestIdentity_3_1_4 + TestIdentity_0_3_0 + TestIdentity_0_3_1 + TestIdentity_0_3_2 + TestIdentity_0_3_3 + TestIdentity_0_3_4 + TestIdentity_3_2_0 + TestIdentity_3_2_1 + TestIdentity_3_2_2 + TestIdentity_3_2_3 + TestIdentity_3_2_4 + TestIdentity_3_3_0 + TestIdentity_3_3_1 + TestIdentity_3_3_2 + TestIdentity_3_3_3 + TestIdentity_3_3_4) : MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3 + TestIdentity_1_2_4 + TestIdentity_4_1_0 + TestIdentity_4_1_1 + TestIdentity_4_1_2 + TestIdentity_4_1_3 + TestIdentity_4_1_4 + TestIdentity_1_3_0 + TestIdentity_1_3_1 + TestIdentity_1_3_2 + TestIdentity_1_3_3 + TestIdentity_1_3_4 + TestIdentity_4_2_0 + TestIdentity_4_2_1 + TestIdentity_4_2_2 + TestIdentity_4_2_3 + TestIdentity_4_2_4 + TestIdentity_4_3_0 + TestIdentity_4_3_1 + TestIdentity_4_3_2 + TestIdentity_4_3_3 + TestIdentity_4_3_4 + TestIdentity_2_0_0 + TestIdentity_2_0_1 + TestIdentity_2_0_2 + TestIdentity_2_0_3 + TestIdentity_2_0_4 + TestIdentity_2_1_0 + TestIdentity_2_1_1 + TestIdentity_2_1_2 + TestIdentity_2_1_3 + TestIdentity_2_1_4 + TestIdentity_2_2_0 + TestIdentity_2_2_1 + TestIdentity_2_2_2 + TestIdentity_2_2_3 + TestIdentity_2_2_4 + TestIdentity_2_3_0 + TestIdentity_2_3_1 + TestIdentity_2_3_2 + TestIdentity_2_3_3 + TestIdentity_2_3_4 + TestIdentity_0_0_0 + TestIdentity_0_0_1 + TestIdentity_0_0_2 + TestIdentity_0_0_3 + TestIdentity_0_0_4 + TestIdentity_0_1_0 + TestIdentity_0_1_1 + TestIdentity_0_1_2 + TestIdentity_0_1_3 + TestIdentity_0_1_4 + TestIdentity_3_0_0 + TestIdentity_3_0_1 + TestIdentity_3_0_2 + TestIdentity_3_0_3 + TestIdentity_3_0_4 + TestIdentity_0_2_0 + TestIdentity_0_2_1 + TestIdentity_0_2_2 + TestIdentity_0_2_3 + TestIdentity_0_2_4 + TestIdentity_3_1_0 + TestIdentity_3_1_1 + TestIdentity_3_1_2 + TestIdentity_3_1_3 + TestIdentity_3_1_4 + TestIdentity_0_3_0 + TestIdentity_0_3_1 + TestIdentity_0_3_2 + TestIdentity_0_3_3 + TestIdentity_0_3_4 + TestIdentity_3_2_0 + TestIdentity_3_2_1 + TestIdentity_3_2_2 + TestIdentity_3_2_3 + TestIdentity_3_2_4 + TestIdentity_3_3_0 + TestIdentity_3_3_1 + TestIdentity_3_3_2 + TestIdentity_3_3_3 + TestIdentity_3_3_4) : MAX(AskForSection_0_0 + AskForSection_0_1 + AskForSection_0_2 + AskForSection_0_3 + AskForSection_1_0 + AskForSection_1_1 + AskForSection_1_2 + AskForSection_1_3 + AskForSection_2_0 + AskForSection_2_1 + AskForSection_2_2 + AskForSection_2_3 + AskForSection_3_0 + AskForSection_3_1 + AskForSection_3_2 + AskForSection_3_3 + AskForSection_4_3 + AskForSection_4_0 + AskForSection_4_1 + AskForSection_4_2) : MAX(TestAlone_4_3_0 + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_2_0_0 + TestAlone_2_0_1 + TestAlone_2_0_3 + TestAlone_2_0_4 + TestAlone_2_1_0 + TestAlone_2_1_1 + TestAlone_2_1_3 + TestAlone_2_1_4 + TestAlone_2_2_0 + TestAlone_2_2_1 + TestAlone_2_2_3 + TestAlone_2_2_4 + TestAlone_2_3_0 + TestAlone_2_3_1 + TestAlone_2_3_3 + TestAlone_2_3_4 + TestAlone_0_0_1 + TestAlone_0_0_2 + TestAlone_0_0_3 + TestAlone_0_0_4 + TestAlone_0_1_1 + TestAlone_0_1_2 + TestAlone_0_1_3 + TestAlone_0_1_4 + TestAlone_3_0_0 + TestAlone_3_0_1 + TestAlone_3_0_2 + TestAlone_3_0_4 + TestAlone_4_2_2 + TestAlone_0_2_1 + TestAlone_0_2_2 + TestAlone_0_2_3 + TestAlone_0_2_4 + TestAlone_3_1_0 + TestAlone_3_1_1 + TestAlone_3_1_2 + TestAlone_3_1_4 + TestAlone_4_2_1 + TestAlone_4_2_0 + TestAlone_0_3_1 + TestAlone_0_3_2 + TestAlone_0_3_3 + TestAlone_0_3_4 + TestAlone_3_2_0 + TestAlone_3_2_1 + TestAlone_3_2_2 + TestAlone_3_2_4 + TestAlone_3_3_0 + TestAlone_3_3_1 + TestAlone_3_3_2 + TestAlone_3_3_4 + TestAlone_1_0_0 + TestAlone_1_0_2 + TestAlone_1_0_3 + TestAlone_1_0_4 + TestAlone_1_1_0 + TestAlone_1_1_2 + TestAlone_1_1_3 + TestAlone_1_1_4 + TestAlone_4_0_0 + TestAlone_4_0_1 + TestAlone_4_0_2 + TestAlone_4_0_3 + TestAlone_1_2_0 + TestAlone_1_2_2 + TestAlone_1_2_3 + TestAlone_1_2_4 + TestAlone_4_1_0 + TestAlone_4_1_1 + TestAlone_4_1_2 + TestAlone_4_1_3 + TestAlone_1_3_0 + TestAlone_1_3_2 + TestAlone_1_3_3 + TestAlone_1_3_4 + TestAlone_4_2_3) : MAX(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) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4) : MAX(TestAlone_4_3_0 + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_2_0_0 + TestAlone_2_0_1 + TestAlone_2_0_3 + TestAlone_2_0_4 + TestAlone_2_1_0 + TestAlone_2_1_1 + TestAlone_2_1_3 + TestAlone_2_1_4 + TestAlone_2_2_0 + TestAlone_2_2_1 + TestAlone_2_2_3 + TestAlone_2_2_4 + TestAlone_2_3_0 + TestAlone_2_3_1 + TestAlone_2_3_3 + TestAlone_2_3_4 + TestAlone_0_0_1 + TestAlone_0_0_2 + TestAlone_0_0_3 + TestAlone_0_0_4 + TestAlone_0_1_1 + TestAlone_0_1_2 + TestAlone_0_1_3 + TestAlone_0_1_4 + TestAlone_3_0_0 + TestAlone_3_0_1 + TestAlone_3_0_2 + TestAlone_3_0_4 + TestAlone_4_2_2 + TestAlone_0_2_1 + TestAlone_0_2_2 + TestAlone_0_2_3 + TestAlone_0_2_4 + TestAlone_3_1_0 + TestAlone_3_1_1 + TestAlone_3_1_2 + TestAlone_3_1_4 + TestAlone_4_2_1 + TestAlone_4_2_0 + TestAlone_0_3_1 + TestAlone_0_3_2 + TestAlone_0_3_3 + TestAlone_0_3_4 + TestAlone_3_2_0 + TestAlone_3_2_1 + TestAlone_3_2_2 + TestAlone_3_2_4 + TestAlone_3_3_0 + TestAlone_3_3_1 + TestAlone_3_3_2 + TestAlone_3_3_4 + TestAlone_1_0_0 + TestAlone_1_0_2 + TestAlone_1_0_3 + TestAlone_1_0_4 + TestAlone_1_1_0 + TestAlone_1_1_2 + TestAlone_1_1_3 + TestAlone_1_1_4 + TestAlone_4_0_0 + TestAlone_4_0_1 + TestAlone_4_0_2 + TestAlone_4_0_3 + TestAlone_1_2_0 + TestAlone_1_2_2 + TestAlone_1_2_3 + TestAlone_1_2_4 + TestAlone_4_1_0 + TestAlone_4_1_1 + TestAlone_4_1_2 + TestAlone_4_1_3 + TestAlone_1_3_0 + TestAlone_1_3_2 + TestAlone_1_3_3 + TestAlone_1_3_4 + TestAlone_4_2_3) : MAX(Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_1_3 + Turn_1_2 + Turn_1_1 + Turn_1_0 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_1_4 + Turn_3_4 + Turn_2_4) : MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3 + TestIdentity_1_2_4 + TestIdentity_4_1_0 + TestIdentity_4_1_1 + TestIdentity_4_1_2 + TestIdentity_4_1_3 + TestIdentity_4_1_4 + TestIdentity_1_3_0 + TestIdentity_1_3_1 + TestIdentity_1_3_2 + TestIdentity_1_3_3 + TestIdentity_1_3_4 + TestIdentity_4_2_0 + TestIdentity_4_2_1 + TestIdentity_4_2_2 + TestIdentity_4_2_3 + TestIdentity_4_2_4 + TestIdentity_4_3_0 + TestIdentity_4_3_1 + TestIdentity_4_3_2 + TestIdentity_4_3_3 + TestIdentity_4_3_4 + TestIdentity_2_0_0 + TestIdentity_2_0_1 + TestIdentity_2_0_2 + TestIdentity_2_0_3 + TestIdentity_2_0_4 + TestIdentity_2_1_0 + TestIdentity_2_1_1 + TestIdentity_2_1_2 + TestIdentity_2_1_3 + TestIdentity_2_1_4 + TestIdentity_2_2_0 + TestIdentity_2_2_1 + TestIdentity_2_2_2 + TestIdentity_2_2_3 + TestIdentity_2_2_4 + TestIdentity_2_3_0 + TestIdentity_2_3_1 + TestIdentity_2_3_2 + TestIdentity_2_3_3 + TestIdentity_2_3_4 + TestIdentity_0_0_0 + TestIdentity_0_0_1 + TestIdentity_0_0_2 + TestIdentity_0_0_3 + TestIdentity_0_0_4 + TestIdentity_0_1_0 + TestIdentity_0_1_1 + TestIdentity_0_1_2 + TestIdentity_0_1_3 + TestIdentity_0_1_4 + TestIdentity_3_0_0 + TestIdentity_3_0_1 + TestIdentity_3_0_2 + TestIdentity_3_0_3 + TestIdentity_3_0_4 + TestIdentity_0_2_0 + TestIdentity_0_2_1 + TestIdentity_0_2_2 + TestIdentity_0_2_3 + TestIdentity_0_2_4 + TestIdentity_3_1_0 + TestIdentity_3_1_1 + TestIdentity_3_1_2 + TestIdentity_3_1_3 + TestIdentity_3_1_4 + TestIdentity_0_3_0 + TestIdentity_0_3_1 + TestIdentity_0_3_2 + TestIdentity_0_3_3 + TestIdentity_0_3_4 + TestIdentity_3_2_0 + TestIdentity_3_2_1 + TestIdentity_3_2_2 + TestIdentity_3_2_3 + TestIdentity_3_2_4 + TestIdentity_3_3_0 + TestIdentity_3_3_1 + TestIdentity_3_3_2 + TestIdentity_3_3_3 + TestIdentity_3_3_4) : MAX(Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_1_3 + Turn_1_2 + Turn_1_1 + Turn_1_0 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_1_4 + Turn_3_4 + Turn_2_4) : MAX(TestTurn_0_0 + TestTurn_0_1 + TestTurn_0_2 + TestTurn_0_3 + TestTurn_1_0 + TestTurn_1_1 + TestTurn_1_2 + TestTurn_1_3 + TestTurn_2_0 + TestTurn_2_1 + TestTurn_2_2 + TestTurn_2_3 + TestTurn_3_0 + TestTurn_3_1 + TestTurn_3_2 + TestTurn_3_3 + TestTurn_4_0 + TestTurn_4_1 + TestTurn_4_2 + TestTurn_4_3) : MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_1_0 + IsEndLoop_0_1_1 + IsEndLoop_0_1_2 + IsEndLoop_0_1_3 + IsEndLoop_0_1_4 + IsEndLoop_3_0_0 + IsEndLoop_3_0_1 + IsEndLoop_3_0_2 + IsEndLoop_3_0_3 + IsEndLoop_3_0_4 + IsEndLoop_0_2_0 + IsEndLoop_0_2_1 + IsEndLoop_0_2_2 + IsEndLoop_0_2_3 + IsEndLoop_0_2_4 + IsEndLoop_3_1_0 + IsEndLoop_3_1_1 + IsEndLoop_3_1_2 + IsEndLoop_3_1_3 + IsEndLoop_3_1_4 + IsEndLoop_0_3_0 + IsEndLoop_0_3_1 + IsEndLoop_0_3_2 + IsEndLoop_0_3_3 + IsEndLoop_0_3_4 + IsEndLoop_3_2_0 + IsEndLoop_3_2_1 + IsEndLoop_3_2_2 + IsEndLoop_3_2_3 + IsEndLoop_3_2_4 + IsEndLoop_3_3_0 + IsEndLoop_3_3_1 + IsEndLoop_3_3_2 + IsEndLoop_3_3_3 + IsEndLoop_3_3_4 + IsEndLoop_1_0_0 + IsEndLoop_1_0_1 + IsEndLoop_1_0_2 + IsEndLoop_1_0_3 + IsEndLoop_1_0_4 + IsEndLoop_1_1_0 + IsEndLoop_1_1_1 + IsEndLoop_1_1_2 + IsEndLoop_1_1_3 + IsEndLoop_1_1_4 + IsEndLoop_4_0_0 + IsEndLoop_4_0_1 + IsEndLoop_4_0_2 + IsEndLoop_4_0_3 + IsEndLoop_4_0_4 + IsEndLoop_1_2_0 + IsEndLoop_1_2_1 + IsEndLoop_1_2_2 + IsEndLoop_1_2_3 + IsEndLoop_1_2_4 + IsEndLoop_4_1_0 + IsEndLoop_4_1_1 + IsEndLoop_4_1_2 + IsEndLoop_4_1_3 + IsEndLoop_4_1_4 + IsEndLoop_1_3_0 + IsEndLoop_1_3_1 + IsEndLoop_1_3_2 + IsEndLoop_1_3_3 + IsEndLoop_1_3_4 + IsEndLoop_4_2_0 + IsEndLoop_4_2_1 + IsEndLoop_4_2_2 + IsEndLoop_4_2_3 + IsEndLoop_4_2_4 + IsEndLoop_4_3_0 + IsEndLoop_4_3_1 + IsEndLoop_4_3_2 + IsEndLoop_4_3_3 + IsEndLoop_4_3_4 + IsEndLoop_2_0_0 + IsEndLoop_2_0_1 + IsEndLoop_2_0_2 + IsEndLoop_2_0_3 + IsEndLoop_2_0_4 + IsEndLoop_2_1_0 + IsEndLoop_2_1_1 + IsEndLoop_2_1_2 + IsEndLoop_2_1_3 + IsEndLoop_2_1_4 + IsEndLoop_2_2_0 + IsEndLoop_2_2_1 + IsEndLoop_2_2_2 + IsEndLoop_2_2_3 + IsEndLoop_2_2_4 + IsEndLoop_2_3_0 + IsEndLoop_2_3_1 + IsEndLoop_2_3_2 + IsEndLoop_2_3_3 + IsEndLoop_2_3_4) : MAX(TestAlone_4_3_0 + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_2_0_0 + TestAlone_2_0_1 + TestAlone_2_0_3 + TestAlone_2_0_4 + TestAlone_2_1_0 + TestAlone_2_1_1 + TestAlone_2_1_3 + TestAlone_2_1_4 + TestAlone_2_2_0 + TestAlone_2_2_1 + TestAlone_2_2_3 + TestAlone_2_2_4 + TestAlone_2_3_0 + TestAlone_2_3_1 + TestAlone_2_3_3 + TestAlone_2_3_4 + TestAlone_0_0_1 + TestAlone_0_0_2 + TestAlone_0_0_3 + TestAlone_0_0_4 + TestAlone_0_1_1 + TestAlone_0_1_2 + TestAlone_0_1_3 + TestAlone_0_1_4 + TestAlone_3_0_0 + TestAlone_3_0_1 + TestAlone_3_0_2 + TestAlone_3_0_4 + TestAlone_4_2_2 + TestAlone_0_2_1 + TestAlone_0_2_2 + TestAlone_0_2_3 + TestAlone_0_2_4 + TestAlone_3_1_0 + TestAlone_3_1_1 + TestAlone_3_1_2 + TestAlone_3_1_4 + TestAlone_4_2_1 + TestAlone_4_2_0 + TestAlone_0_3_1 + TestAlone_0_3_2 + TestAlone_0_3_3 + TestAlone_0_3_4 + TestAlone_3_2_0 + TestAlone_3_2_1 + TestAlone_3_2_2 + TestAlone_3_2_4 + TestAlone_3_3_0 + TestAlone_3_3_1 + TestAlone_3_3_2 + TestAlone_3_3_4 + TestAlone_1_0_0 + TestAlone_1_0_2 + TestAlone_1_0_3 + TestAlone_1_0_4 + TestAlone_1_1_0 + TestAlone_1_1_2 + TestAlone_1_1_3 + TestAlone_1_1_4 + TestAlone_4_0_0 + TestAlone_4_0_1 + TestAlone_4_0_2 + TestAlone_4_0_3 + TestAlone_1_2_0 + TestAlone_1_2_2 + TestAlone_1_2_3 + TestAlone_1_2_4 + TestAlone_4_1_0 + TestAlone_4_1_1 + TestAlone_4_1_2 + TestAlone_4_1_3 + TestAlone_1_3_0 + TestAlone_1_3_2 + TestAlone_1_3_3 + TestAlone_1_3_4 + TestAlone_4_2_3) : MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4) : MAX(AskForSection_0_0 + AskForSection_0_1 + AskForSection_0_2 + AskForSection_0_3 + AskForSection_1_0 + AskForSection_1_1 + AskForSection_1_2 + AskForSection_1_3 + AskForSection_2_0 + AskForSection_2_1 + AskForSection_2_2 + AskForSection_2_3 + AskForSection_3_0 + AskForSection_3_1 + AskForSection_3_2 + AskForSection_3_3 + AskForSection_4_3 + AskForSection_4_0 + AskForSection_4_1 + AskForSection_4_2)
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(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 19 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: 170356 markings, 792526 edges, 34071 markings/sec, 0 secs
lola: 337147 markings, 1610603 edges, 33358 markings/sec, 5 secs
lola: 502814 markings, 2422143 edges, 33133 markings/sec, 10 secs
lola: 666441 markings, 3228250 edges, 32725 markings/sec, 15 secs
lola: 829520 markings, 4032970 edges, 32616 markings/sec, 20 secs
lola: 989475 markings, 4853376 edges, 31991 markings/sec, 25 secs
lola: 1150660 markings, 5646075 edges, 32237 markings/sec, 30 secs
lola: 1310340 markings, 6457163 edges, 31936 markings/sec, 35 secs
lola: 1469008 markings, 7246680 edges, 31734 markings/sec, 40 secs
lola: 1626958 markings, 8048435 edges, 31590 markings/sec, 45 secs
lola: 1786845 markings, 8845102 edges, 31977 markings/sec, 50 secs
lola: 1947635 markings, 9664378 edges, 32158 markings/sec, 55 secs
lola: 2108397 markings, 10452955 edges, 32152 markings/sec, 60 secs
lola: 2268806 markings, 11244363 edges, 32082 markings/sec, 65 secs
lola: 2426205 markings, 12028087 edges, 31480 markings/sec, 70 secs
lola: 2585705 markings, 12816234 edges, 31900 markings/sec, 75 secs
lola: 2742368 markings, 13620360 edges, 31333 markings/sec, 80 secs
lola: 2896130 markings, 14479987 edges, 30752 markings/sec, 85 secs
lola: 3059523 markings, 15201053 edges, 32679 markings/sec, 90 secs
lola: 3212894 markings, 15970229 edges, 30674 markings/sec, 95 secs
lola: 3366516 markings, 16737881 edges, 30724 markings/sec, 100 secs
lola: 3520286 markings, 17507796 edges, 30754 markings/sec, 105 secs
lola: 3677497 markings, 18278631 edges, 31442 markings/sec, 110 secs
lola: 3824494 markings, 19109922 edges, 29399 markings/sec, 115 secs
lola: 3985250 markings, 19925873 edges, 32151 markings/sec, 120 secs
lola: 4146014 markings, 20729071 edges, 32153 markings/sec, 125 secs
lola: 4304079 markings, 21519897 edges, 31613 markings/sec, 130 secs
lola: 4463483 markings, 22316025 edges, 31881 markings/sec, 135 secs
lola: 4622579 markings, 23112258 edges, 31819 markings/sec, 140 secs
lola: 4779539 markings, 23896768 edges, 31392 markings/sec, 145 secs
lola: 4934788 markings, 24671629 edges, 31050 markings/sec, 150 secs
lola: 5089879 markings, 25448983 edges, 31018 markings/sec, 155 secs
lola: 5245523 markings, 26226994 edges, 31129 markings/sec, 160 secs
lola: 5403500 markings, 27017139 edges, 31595 markings/sec, 165 secs
lola: 5561045 markings, 27803396 edges, 31509 markings/sec, 170 secs
lola: 5714076 markings, 28567411 edges, 30606 markings/sec, 175 secs
lola: 5868198 markings, 29338405 edges, 30824 markings/sec, 180 secs
lola: 6021002 markings, 30103838 edges, 30561 markings/sec, 185 secs
lola: 6172132 markings, 30859610 edges, 30226 markings/sec, 190 secs
lola: 6324863 markings, 31622668 edges, 30546 markings/sec, 195 secs
lola: 6478091 markings, 32390174 edges, 30646 markings/sec, 200 secs
lola: 6636109 markings, 33179498 edges, 31604 markings/sec, 205 secs
lola: 6789425 markings, 33943203 edges, 30663 markings/sec, 210 secs
lola: 6944794 markings, 34721724 edges, 31074 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(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 19 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: 169790 markings, 791249 edges, 33958 markings/sec, 0 secs
lola: 336368 markings, 1608519 edges, 33316 markings/sec, 5 secs
lola: 501650 markings, 2416442 edges, 33056 markings/sec, 10 secs
lola: 664814 markings, 3220278 edges, 32633 markings/sec, 15 secs
lola: 827319 markings, 4023584 edges, 32501 markings/sec, 20 secs
lola: 986702 markings, 4839590 edges, 31877 markings/sec, 25 secs
lola: 1147509 markings, 5630511 edges, 32161 markings/sec, 30 secs
lola: 1306778 markings, 6439153 edges, 31854 markings/sec, 35 secs
lola: 1464827 markings, 7224837 edges, 31610 markings/sec, 40 secs
lola: 1622354 markings, 8025423 edges, 31505 markings/sec, 45 secs
lola: 1777041 markings, 8797627 edges, 30937 markings/sec, 50 secs
lola: 1931118 markings, 9625887 edges, 30815 markings/sec, 55 secs
lola: 2094236 markings, 10384640 edges, 32624 markings/sec, 60 secs
lola: 2254707 markings, 11172580 edges, 32094 markings/sec, 65 secs
lola: 2412219 markings, 11957513 edges, 31502 markings/sec, 70 secs
lola: 2571673 markings, 12744641 edges, 31891 markings/sec, 75 secs
lola: 2727942 markings, 13546738 edges, 31254 markings/sec, 80 secs
lola: 2874722 markings, 14372665 edges, 29356 markings/sec, 85 secs
lola: 3032022 markings, 15068281 edges, 31460 markings/sec, 90 secs
lola: 3179345 markings, 15808082 edges, 29465 markings/sec, 95 secs
lola: 3326609 markings, 16544670 edges, 29453 markings/sec, 100 secs
lola: 3474611 markings, 17273741 edges, 29600 markings/sec, 105 secs
lola: 3623161 markings, 18015577 edges, 29710 markings/sec, 110 secs
lola: 3770876 markings, 18753491 edges, 29543 markings/sec, 115 secs
lola: 3915964 markings, 19578851 edges, 29018 markings/sec, 120 secs
lola: 4071649 markings, 20355282 edges, 31137 markings/sec, 125 secs
lola: 4224336 markings, 21119865 edges, 30537 markings/sec, 130 secs
lola: 4376718 markings, 21882452 edges, 30476 markings/sec, 135 secs
lola: 4528342 markings, 22641441 edges, 30325 markings/sec, 140 secs
lola: 4682061 markings, 23407879 edges, 30744 markings/sec, 145 secs
lola: 4831696 markings, 24156339 edges, 29927 markings/sec, 150 secs
lola: 4980897 markings, 24903804 edges, 29840 markings/sec, 155 secs
lola: 5129701 markings, 25648192 edges, 29761 markings/sec, 160 secs
lola: 5280091 markings, 26400101 edges, 30078 markings/sec, 165 secs
lola: 5432854 markings, 27163559 edges, 30553 markings/sec, 170 secs
lola: 5583921 markings, 27917703 edges, 30213 markings/sec, 175 secs
lola: 5730677 markings, 28651720 edges, 29351 markings/sec, 180 secs
lola: 5878830 markings, 29391738 edges, 29631 markings/sec, 185 secs
lola: 6025355 markings, 30124828 edges, 29305 markings/sec, 190 secs
lola: 6170485 markings, 30852045 edges, 29026 markings/sec, 195 secs
lola: 6317312 markings, 31586117 edges, 29365 markings/sec, 200 secs
lola: 6464845 markings, 32323254 edges, 29507 markings/sec, 205 secs
lola: 6615765 markings, 33078416 edges, 30184 markings/sec, 210 secs
lola: 6763346 markings, 33815351 edges, 29516 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(AskForSection_0_0 + AskForSection_0_1 + AskForSection_0_2 + AskForSection_0_3 + AskForSection_1_0 + AskForSection_1_1 + AskForSection_1_2 + AskForSection_1_3 + AskForSection_2_0 + AskForSection_2_1 + AskForSection_2_2 + AskForSection_2_3 + AskForSection_3_0 + AskForSection_3_1 + AskForSection_3_2 + AskForSection_3_3 + AskForSection_4_3 + AskForSection_4_0 + AskForSection_4_1 + AskForSection_4_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 19 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: 176248 markings, 680937 edges, 35250 markings/sec, 0 secs
lola: 348144 markings, 1361191 edges, 34379 markings/sec, 5 secs
lola: 520648 markings, 2038619 edges, 34501 markings/sec, 10 secs
lola: 689403 markings, 2719875 edges, 33751 markings/sec, 15 secs
lola: 861915 markings, 3379250 edges, 34502 markings/sec, 20 secs
lola: 1031844 markings, 4053826 edges, 33986 markings/sec, 25 secs
lola: 1200398 markings, 4729120 edges, 33711 markings/sec, 30 secs
lola: 1366270 markings, 5406054 edges, 33174 markings/sec, 35 secs
lola: 1531068 markings, 6097564 edges, 32960 markings/sec, 40 secs
lola: 1700218 markings, 6736007 edges, 33830 markings/sec, 45 secs
lola: 1869088 markings, 7386382 edges, 33774 markings/sec, 50 secs
lola: 2032594 markings, 8055225 edges, 32701 markings/sec, 55 secs
lola: 2196009 markings, 8721382 edges, 32683 markings/sec, 60 secs
lola: 2360672 markings, 9373809 edges, 32933 markings/sec, 65 secs
lola: 2526826 markings, 10020047 edges, 33231 markings/sec, 70 secs
lola: 2691424 markings, 10704148 edges, 32920 markings/sec, 75 secs
lola: 2861430 markings, 11366746 edges, 34001 markings/sec, 80 secs
lola: 3029357 markings, 12078588 edges, 33585 markings/sec, 85 secs
lola: 3200236 markings, 12752747 edges, 34176 markings/sec, 90 secs
lola: 3369553 markings, 13449806 edges, 33863 markings/sec, 95 secs
lola: 3541686 markings, 14133888 edges, 34427 markings/sec, 100 secs
lola: 3715437 markings, 14799042 edges, 34750 markings/sec, 105 secs
lola: 3885458 markings, 15491043 edges, 34004 markings/sec, 110 secs
lola: 4051888 markings, 16187287 edges, 33286 markings/sec, 115 secs
lola: 4218957 markings, 16879065 edges, 33414 markings/sec, 120 secs
lola: 4392926 markings, 17579348 edges, 34794 markings/sec, 125 secs
lola: 4560248 markings, 18295552 edges, 33464 markings/sec, 130 secs
lola: 4727002 markings, 18979775 edges, 33351 markings/sec, 135 secs
lola: 4892525 markings, 19660872 edges, 33105 markings/sec, 140 secs
lola: 5055129 markings, 20371925 edges, 32521 markings/sec, 145 secs
lola: 5222937 markings, 21079000 edges, 33562 markings/sec, 150 secs
lola: 5388276 markings, 21783051 edges, 33068 markings/sec, 155 secs
lola: 5553487 markings, 22467908 edges, 33042 markings/sec, 160 secs
lola: 5714837 markings, 23169355 edges, 32270 markings/sec, 165 secs
lola: 5874183 markings, 23873201 edges, 31869 markings/sec, 170 secs
lola: 6035172 markings, 24573028 edges, 32198 markings/sec, 175 secs
lola: 6206847 markings, 25257379 edges, 34335 markings/sec, 180 secs
lola: 6374648 markings, 25982386 edges, 33560 markings/sec, 185 secs
lola: 6539116 markings, 26698013 edges, 32894 markings/sec, 190 secs
lola: 6703336 markings, 27406512 edges, 32844 markings/sec, 195 secs
lola: 6866133 markings, 28102803 edges, 32559 markings/sec, 200 secs
lola: 7029385 markings, 28816891 edges, 32650 markings/sec, 205 secs
lola: 7192391 markings, 29517412 edges, 32601 markings/sec, 210 secs
lola: 7352392 markings, 30207966 edges, 32000 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(TestAlone_4_3_0 + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_2_0_0 + TestAlone_2_0_1 + TestAlone_2_0_3 + TestAlone_2_0_4 + TestAlone_2_1_0 + TestAlone_2_1_1 + TestAlone_2_1_3 + TestAlone_2_1_4 + TestAlone_2_2_0 + TestAlone_2_2_1 + TestAlone_2_2_3 + TestAlone_2_2_4 + TestAlone_2_3_0 + TestAlone_2_3_1 + TestAlone_2_3_3 + TestAlone_2_3_4 + TestAlone_0_0_1 + TestAlone_0_0_2 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 19 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: 170365 markings, 791458 edges, 34073 markings/sec, 0 secs
lola: 339442 markings, 1609664 edges, 33815 markings/sec, 5 secs
lola: 504545 markings, 2435702 edges, 33021 markings/sec, 10 secs
lola: 670812 markings, 3270762 edges, 33253 markings/sec, 15 secs
lola: 836034 markings, 4098565 edges, 33044 markings/sec, 20 secs
lola: 999153 markings, 4920988 edges, 32624 markings/sec, 25 secs
lola: 1161523 markings, 5733695 edges, 32474 markings/sec, 30 secs
lola: 1323553 markings, 6538620 edges, 32406 markings/sec, 35 secs
lola: 1484530 markings, 7338877 edges, 32195 markings/sec, 40 secs
lola: 1644958 markings, 8147207 edges, 32086 markings/sec, 45 secs
lola: 1806612 markings, 8950335 edges, 32331 markings/sec, 50 secs
lola: 1968726 markings, 9765390 edges, 32423 markings/sec, 55 secs
lola: 2130190 markings, 10564668 edges, 32293 markings/sec, 60 secs
lola: 2289180 markings, 11359320 edges, 31798 markings/sec, 65 secs
lola: 2446091 markings, 12153364 edges, 31382 markings/sec, 70 secs
lola: 2604550 markings, 12942580 edges, 31692 markings/sec, 75 secs
lola: 2764604 markings, 13737633 edges, 32011 markings/sec, 80 secs
lola: 2924906 markings, 14553084 edges, 32060 markings/sec, 85 secs
lola: 3083068 markings, 15340388 edges, 31632 markings/sec, 90 secs
lola: 3240084 markings, 16117969 edges, 31403 markings/sec, 95 secs
lola: 3397108 markings, 16899005 edges, 31405 markings/sec, 100 secs
lola: 3552460 markings, 17685812 edges, 31070 markings/sec, 105 secs
lola: 3708340 markings, 18466222 edges, 31176 markings/sec, 110 secs
lola: 3861473 markings, 19306359 edges, 30627 markings/sec, 115 secs
lola: 4024303 markings, 20120397 edges, 32566 markings/sec, 120 secs
lola: 4181856 markings, 20908189 edges, 31511 markings/sec, 125 secs
lola: 4340411 markings, 21701567 edges, 31711 markings/sec, 130 secs
lola: 4499150 markings, 22495378 edges, 31748 markings/sec, 135 secs
lola: 4659442 markings, 23296847 edges, 32058 markings/sec, 140 secs
lola: 4821720 markings, 24108122 edges, 32456 markings/sec, 145 secs
lola: 4984487 markings, 24922104 edges, 32553 markings/sec, 150 secs
lola: 5141714 markings, 25707992 edges, 31445 markings/sec, 155 secs
lola: 5297533 markings, 26487237 edges, 31164 markings/sec, 160 secs
lola: 5452412 markings, 27261700 edges, 30976 markings/sec, 165 secs
lola: 5605736 markings, 28028040 edges, 30665 markings/sec, 170 secs
lola: 5761608 markings, 28807833 edges, 31174 markings/sec, 175 secs
lola: 5918420 markings, 29591740 edges, 31362 markings/sec, 180 secs
lola: 6076762 markings, 30383476 edges, 31668 markings/sec, 185 secs
lola: 6234921 markings, 31172203 edges, 31632 markings/sec, 190 secs
lola: 6380710 markings, 31902693 edges, 29158 markings/sec, 195 secs
lola: 6526008 markings, 32628557 edges, 29060 markings/sec, 200 secs
lola: 6671049 markings, 33354320 edges, 29008 markings/sec, 205 secs
lola: 6814033 markings, 34069772 edges, 28597 markings/sec, 210 secs
lola: 6958323 markings, 34791376 edges, 28858 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(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 60 bytes per marking, with 19 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 5 will run for 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 19 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: 179664 markings, 643730 edges, 35933 markings/sec, 0 secs
lola: 352194 markings, 1330186 edges, 34506 markings/sec, 5 secs
lola: 526605 markings, 1989491 edges, 34882 markings/sec, 10 secs
lola: 700396 markings, 2646664 edges, 34758 markings/sec, 15 secs
lola: 870559 markings, 3307417 edges, 34033 markings/sec, 20 secs
lola: 1042626 markings, 3954891 edges, 34413 markings/sec, 25 secs
lola: 1211778 markings, 4628785 edges, 33830 markings/sec, 30 secs
lola: 1382971 markings, 5278260 edges, 34239 markings/sec, 35 secs
lola: 1553513 markings, 5922815 edges, 34108 markings/sec, 40 secs
lola: 1721216 markings, 6597606 edges, 33541 markings/sec, 45 secs
lola: 1895885 markings, 7252125 edges, 34934 markings/sec, 50 secs
lola: 2072045 markings, 7933904 edges, 35232 markings/sec, 55 secs
lola: 2244622 markings, 8611934 edges, 34515 markings/sec, 60 secs
lola: 2418843 markings, 9286546 edges, 34844 markings/sec, 65 secs
lola: 2591339 markings, 10011541 edges, 34499 markings/sec, 70 secs
lola: 2766979 markings, 10677277 edges, 35128 markings/sec, 75 secs
lola: 2941363 markings, 11345888 edges, 34877 markings/sec, 80 secs
lola: 3114944 markings, 12010664 edges, 34716 markings/sec, 85 secs
lola: 3289834 markings, 12664211 edges, 34978 markings/sec, 90 secs
lola: 3463477 markings, 13378745 edges, 34729 markings/sec, 95 secs
lola: 3636795 markings, 14051153 edges, 34664 markings/sec, 100 secs
lola: 3809972 markings, 14762124 edges, 34635 markings/sec, 105 secs
lola: 3980884 markings, 15456560 edges, 34182 markings/sec, 110 secs
lola: 4152123 markings, 16147955 edges, 34248 markings/sec, 115 secs
lola: 4325661 markings, 16852043 edges, 34708 markings/sec, 120 secs
lola: 4497474 markings, 17516876 edges, 34363 markings/sec, 125 secs
lola: 4664783 markings, 18192955 edges, 33462 markings/sec, 130 secs
lola: 4835987 markings, 18848457 edges, 34241 markings/sec, 135 secs
lola: 5003320 markings, 19552332 edges, 33467 markings/sec, 140 secs
lola: 5173402 markings, 20250793 edges, 34016 markings/sec, 145 secs
lola: 5341565 markings, 20941405 edges, 33633 markings/sec, 150 secs
lola: 5510041 markings, 21604699 edges, 33695 markings/sec, 155 secs
lola: 5677470 markings, 22293221 edges, 33486 markings/sec, 160 secs
lola: 5838929 markings, 22992800 edges, 32292 markings/sec, 165 secs
lola: 6008567 markings, 23681853 edges, 33928 markings/sec, 170 secs
lola: 6178966 markings, 24367012 edges, 34080 markings/sec, 175 secs
lola: 6348862 markings, 25050979 edges, 33979 markings/sec, 180 secs
lola: 6528649 markings, 25708626 edges, 35957 markings/sec, 185 secs
lola: 6704279 markings, 26377430 edges, 35126 markings/sec, 190 secs
lola: 6875683 markings, 27045437 edges, 34281 markings/sec, 195 secs
lola: 7045908 markings, 27734528 edges, 34045 markings/sec, 200 secs
lola: 7217057 markings, 28408984 edges, 34230 markings/sec, 205 secs
lola: 7383691 markings, 29071202 edges, 33327 markings/sec, 210 secs
lola: 7552957 markings, 29742756 edges, 33853 markings/sec, 215 secs
lola: 7719282 markings, 30422515 edges, 33265 markings/sec, 220 secs
lola: 7884592 markings, 31082836 edges, 33062 markings/sec, 225 secs
lola: 8048387 markings, 31751636 edges, 32759 markings/sec, 230 secs
lola: 8209736 markings, 32421034 edges, 32270 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 19 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: 187294 markings, 673299 edges, 37459 markings/sec, 0 secs
lola: 367672 markings, 1390558 edges, 36076 markings/sec, 5 secs
lola: 550139 markings, 2074863 edges, 36493 markings/sec, 10 secs
lola: 729137 markings, 2780395 edges, 35800 markings/sec, 15 secs
lola: 908351 markings, 3447442 edges, 35843 markings/sec, 20 secs
lola: 1085903 markings, 4132840 edges, 35510 markings/sec, 25 secs
lola: 1263617 markings, 4823528 edges, 35543 markings/sec, 30 secs
lola: 1441997 markings, 5494646 edges, 35676 markings/sec, 35 secs
lola: 1617661 markings, 6191005 edges, 35133 markings/sec, 40 secs
lola: 1794700 markings, 6862980 edges, 35408 markings/sec, 45 secs
lola: 1969608 markings, 7538508 edges, 34982 markings/sec, 50 secs
lola: 2141637 markings, 8239052 edges, 34406 markings/sec, 55 secs
lola: 2316617 markings, 8882473 edges, 34996 markings/sec, 60 secs
lola: 2490088 markings, 9566432 edges, 34694 markings/sec, 65 secs
lola: 2663207 markings, 10273666 edges, 34624 markings/sec, 70 secs
lola: 2837766 markings, 10931455 edges, 34912 markings/sec, 75 secs
lola: 3012158 markings, 11589262 edges, 34878 markings/sec, 80 secs
lola: 3185325 markings, 12248233 edges, 34633 markings/sec, 85 secs
lola: 3357993 markings, 12944759 edges, 34534 markings/sec, 90 secs
lola: 3531151 markings, 13629058 edges, 34632 markings/sec, 95 secs
lola: 3701315 markings, 14327153 edges, 34033 markings/sec, 100 secs
lola: 3875003 markings, 15013953 edges, 34738 markings/sec, 105 secs
lola: 4044768 markings, 15703452 edges, 33953 markings/sec, 110 secs
lola: 4212999 markings, 16385894 edges, 33646 markings/sec, 115 secs
lola: 4375862 markings, 17041578 edges, 32573 markings/sec, 120 secs
lola: 4538518 markings, 17675154 edges, 32531 markings/sec, 125 secs
lola: 4695803 markings, 18309310 edges, 31457 markings/sec, 130 secs
lola: 4858613 markings, 18935143 edges, 32562 markings/sec, 135 secs
lola: 5015896 markings, 19604290 edges, 31457 markings/sec, 140 secs
lola: 5176805 markings, 20265266 edges, 32182 markings/sec, 145 secs
lola: 5335269 markings, 20917336 edges, 31693 markings/sec, 150 secs
lola: 5494265 markings, 21541969 edges, 31799 markings/sec, 155 secs
lola: 5654127 markings, 22196633 edges, 31972 markings/sec, 160 secs
lola: 5808002 markings, 22852770 edges, 30775 markings/sec, 165 secs
lola: 5966599 markings, 23518678 edges, 31719 markings/sec, 170 secs
lola: 6129273 markings, 24158015 edges, 32535 markings/sec, 175 secs
lola: 6289004 markings, 24813492 edges, 31946 markings/sec, 180 secs
lola: 6459466 markings, 25445535 edges, 34092 markings/sec, 185 secs
lola: 6624940 markings, 26080798 edges, 33095 markings/sec, 190 secs
lola: 6789220 markings, 26721282 edges, 32856 markings/sec, 195 secs
lola: 6951783 markings, 27342694 edges, 32513 markings/sec, 200 secs
lola: 7113703 markings, 28000788 edges, 32384 markings/sec, 205 secs
lola: 7273238 markings, 28629548 edges, 31907 markings/sec, 210 secs
lola: 7431157 markings, 29249362 edges, 31584 markings/sec, 215 secs
lola: 7590155 markings, 29888259 edges, 31800 markings/sec, 220 secs
lola: 7743636 markings, 30525247 edges, 30696 markings/sec, 225 secs
lola: 7899299 markings, 31139402 edges, 31133 markings/sec, 230 secs
lola: 8052747 markings, 31770625 edges, 30690 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TestAlone_4_3_0 + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_2_0_0 + TestAlone_2_0_1 + TestAlone_2_0_3 + TestAlone_2_0_4 + TestAlone_2_1_0 + TestAlone_2_1_1 + TestAlone_2_1_3 + TestAlone_2_1_4 + TestAlone_2_2_0 + TestAlone_2_2_1 + TestAlone_2_2_3 + TestAlone_2_2_4 + TestAlone_2_3_0 + TestAlone_2_3_1 + TestAlone_2_3_3 + TestAlone_2_3_4 + TestAlone_0_0_1 + TestAlone_0_0_2 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 19 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: 163847 markings, 776163 edges, 32769 markings/sec, 0 secs
lola: 324066 markings, 1565350 edges, 32044 markings/sec, 5 secs
lola: 482765 markings, 2335628 edges, 31740 markings/sec, 10 secs
lola: 640970 markings, 3124304 edges, 31641 markings/sec, 15 secs
lola: 798596 markings, 3912957 edges, 31525 markings/sec, 20 secs
lola: 953399 markings, 4694695 edges, 30961 markings/sec, 25 secs
lola: 1108716 markings, 5470976 edges, 31063 markings/sec, 30 secs
lola: 1262586 markings, 6238656 edges, 30774 markings/sec, 35 secs
lola: 1415948 markings, 7004022 edges, 30672 markings/sec, 40 secs
lola: 1568492 markings, 7764056 edges, 30509 markings/sec, 45 secs
lola: 1720875 markings, 8528657 edges, 30477 markings/sec, 50 secs
lola: 1870569 markings, 9352224 edges, 29939 markings/sec, 55 secs
lola: 2028290 markings, 10082513 edges, 31544 markings/sec, 60 secs
lola: 2177106 markings, 10870298 edges, 29763 markings/sec, 65 secs
lola: 2329854 markings, 11599100 edges, 30550 markings/sec, 70 secs
lola: 2476725 markings, 12382610 edges, 29374 markings/sec, 75 secs
lola: 2629845 markings, 13102739 edges, 30624 markings/sec, 80 secs
lola: 2779399 markings, 13895149 edges, 29911 markings/sec, 85 secs
lola: 2937233 markings, 14614518 edges, 31567 markings/sec, 90 secs
lola: 3087612 markings, 15363344 edges, 30076 markings/sec, 95 secs
lola: 3237065 markings, 16102938 edges, 29891 markings/sec, 100 secs
lola: 3386444 markings, 16845764 edges, 29876 markings/sec, 105 secs
lola: 3534559 markings, 17595196 edges, 29623 markings/sec, 110 secs
lola: 3682707 markings, 18337373 edges, 29630 markings/sec, 115 secs
lola: 3826400 markings, 19131174 edges, 28739 markings/sec, 120 secs
lola: 3982528 markings, 19910653 edges, 31226 markings/sec, 125 secs
lola: 4133268 markings, 20665097 edges, 30148 markings/sec, 130 secs
lola: 4283329 markings, 21415706 edges, 30012 markings/sec, 135 secs
lola: 4433336 markings, 22166270 edges, 30001 markings/sec, 140 secs
lola: 4586887 markings, 22933805 edges, 30710 markings/sec, 145 secs
lola: 4740754 markings, 23703468 edges, 30773 markings/sec, 150 secs
lola: 4894052 markings, 24469041 edges, 30660 markings/sec, 155 secs
lola: 5048875 markings, 25242987 edges, 30965 markings/sec, 160 secs
lola: 5190379 markings, 25951068 edges, 28301 markings/sec, 165 secs
lola: 5331715 markings, 26657737 edges, 28267 markings/sec, 170 secs
lola: 5478871 markings, 27393521 edges, 29431 markings/sec, 175 secs
lola: 5618819 markings, 28093729 edges, 27990 markings/sec, 180 secs
lola: 5760713 markings, 28803332 edges, 28379 markings/sec, 185 secs
lola: 5909325 markings, 29546304 edges, 29722 markings/sec, 190 secs
lola: 6059958 markings, 30299538 edges, 30127 markings/sec, 195 secs
lola: 6206161 markings, 31030545 edges, 29241 markings/sec, 200 secs
lola: 6348336 markings, 31741078 edges, 28435 markings/sec, 205 secs
lola: 6488099 markings, 32439013 edges, 27953 markings/sec, 210 secs
lola: 6632562 markings, 33162153 edges, 28893 markings/sec, 215 secs
lola: 6774428 markings, 33871396 edges, 28373 markings/sec, 220 secs
lola: 6912733 markings, 34563142 edges, 27661 markings/sec, 225 secs
lola: 7057098 markings, 35285138 edges, 28873 markings/sec, 230 secs
lola: 7205647 markings, 36028068 edges, 29710 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_1_3 + Turn_1_2 + Turn_1_1 + Turn_1_0 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_1_4 + Turn_3_4 + Turn_2_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 19 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: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: ========================================
lola: subprocess 9 will run for 276 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_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 19 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: 164355 markings, 778752 edges, 32871 markings/sec, 0 secs
lola: 325233 markings, 1581901 edges, 32176 markings/sec, 5 secs
lola: 487366 markings, 2344039 edges, 32427 markings/sec, 10 secs
lola: 644638 markings, 3133516 edges, 31454 markings/sec, 15 secs
lola: 803779 markings, 3909928 edges, 31828 markings/sec, 20 secs
lola: 959058 markings, 4698147 edges, 31056 markings/sec, 25 secs
lola: 1116025 markings, 5470550 edges, 31393 markings/sec, 30 secs
lola: 1269952 markings, 6269712 edges, 30785 markings/sec, 35 secs
lola: 1424515 markings, 7031998 edges, 30913 markings/sec, 40 secs
lola: 1577497 markings, 7799830 edges, 30596 markings/sec, 45 secs
lola: 1733135 markings, 8575725 edges, 31128 markings/sec, 50 secs
lola: 1882783 markings, 9412365 edges, 29930 markings/sec, 55 secs
lola: 2046970 markings, 10118136 edges, 32837 markings/sec, 60 secs
lola: 2200899 markings, 10907976 edges, 30786 markings/sec, 65 secs
lola: 2354833 markings, 11664630 edges, 30787 markings/sec, 70 secs
lola: 2506355 markings, 12453962 edges, 30304 markings/sec, 75 secs
lola: 2662322 markings, 13192674 edges, 31193 markings/sec, 80 secs
lola: 2813098 markings, 13965236 edges, 30155 markings/sec, 85 secs
lola: 2967729 markings, 14747802 edges, 30926 markings/sec, 90 secs
lola: 3117960 markings, 15501147 edges, 30046 markings/sec, 95 secs
lola: 3266324 markings, 16242550 edges, 29673 markings/sec, 100 secs
lola: 3414804 markings, 16981005 edges, 29696 markings/sec, 105 secs
lola: 3562354 markings, 17739377 edges, 29510 markings/sec, 110 secs
lola: 3712988 markings, 18483850 edges, 30127 markings/sec, 115 secs
lola: 3857455 markings, 19286023 edges, 28893 markings/sec, 120 secs
lola: 4014605 markings, 20072806 edges, 31430 markings/sec, 125 secs
lola: 4170143 markings, 20849559 edges, 31108 markings/sec, 130 secs
lola: 4323590 markings, 21617274 edges, 30689 markings/sec, 135 secs
lola: 4477681 markings, 22387373 edges, 30818 markings/sec, 140 secs
lola: 4631859 markings, 23159119 edges, 30836 markings/sec, 145 secs
lola: 4784158 markings, 23919903 edges, 30460 markings/sec, 150 secs
lola: 4934442 markings, 24670935 edges, 30057 markings/sec, 155 secs
lola: 5084750 markings, 25423015 edges, 30062 markings/sec, 160 secs
lola: 5235733 markings, 26178000 edges, 30197 markings/sec, 165 secs
lola: 5388347 markings, 26940847 edges, 30523 markings/sec, 170 secs
lola: 5541719 markings, 27705845 edges, 30674 markings/sec, 175 secs
lola: 5689590 markings, 28446803 edges, 29574 markings/sec, 180 secs
lola: 5838898 markings, 29193369 edges, 29862 markings/sec, 185 secs
lola: 5986674 markings, 29932665 edges, 29555 markings/sec, 190 secs
lola: 6134163 markings, 30670343 edges, 29498 markings/sec, 195 secs
lola: 6281309 markings, 31405883 edges, 29429 markings/sec, 200 secs
lola: 6429388 markings, 32146747 edges, 29616 markings/sec, 205 secs
lola: 6580245 markings, 32899105 edges, 30171 markings/sec, 210 secs
lola: 6731643 markings, 33656882 edges, 30280 markings/sec, 215 secs
lola: 6881560 markings, 34404117 edges, 29983 markings/sec, 220 secs
lola: 7032046 markings, 35157884 edges, 30097 markings/sec, 225 secs
lola: 7180227 markings, 35899088 edges, 29636 markings/sec, 230 secs
lola: 7332023 markings, 36658951 edges, 30359 markings/sec, 235 secs
lola: 7482679 markings, 37410977 edges, 30131 markings/sec, 240 secs
lola: 7631689 markings, 38156985 edges, 29802 markings/sec, 245 secs
lola: 7781912 markings, 38906858 edges, 30045 markings/sec, 250 secs
lola: 7933967 markings, 39667720 edges, 30411 markings/sec, 255 secs
lola: 8079892 markings, 40397520 edges, 29185 markings/sec, 260 secs
lola: 8227937 markings, 41137550 edges, 29609 markings/sec, 265 secs
lola: 8375208 markings, 41874636 edges, 29454 markings/sec, 270 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_1_3 + Turn_1_2 + Turn_1_1 + Turn_1_0 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_1_4 + Turn_3_4 + Turn_2_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 19 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: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: ========================================
lola: subprocess 11 will run for 331 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TestTurn_0_0 + TestTurn_0_1 + TestTurn_0_2 + TestTurn_0_3 + TestTurn_1_0 + TestTurn_1_1 + TestTurn_1_2 + TestTurn_1_3 + TestTurn_2_0 + TestTurn_2_1 + TestTurn_2_2 + TestTurn_2_3 + TestTurn_3_0 + TestTurn_3_1 + TestTurn_3_2 + TestTurn_3_3 + TestTurn_4_0 + TestTurn_4_1 + TestTurn_4_2 + TestTurn_4_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 19 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: 176834 markings, 847049 edges, 35367 markings/sec, 0 secs
lola: 349090 markings, 1709541 edges, 34451 markings/sec, 5 secs
lola: 520264 markings, 2563532 edges, 34235 markings/sec, 10 secs
lola: 692200 markings, 3421359 edges, 34387 markings/sec, 15 secs
lola: 862443 markings, 4279191 edges, 34049 markings/sec, 20 secs
lola: 1031537 markings, 5121604 edges, 33819 markings/sec, 25 secs
lola: 1197902 markings, 5989360 edges, 33273 markings/sec, 30 secs
lola: 1366855 markings, 6810340 edges, 33791 markings/sec, 35 secs
lola: 1532062 markings, 7638711 edges, 33041 markings/sec, 40 secs
lola: 1699586 markings, 8465482 edges, 33505 markings/sec, 45 secs
lola: 1863509 markings, 9317342 edges, 32785 markings/sec, 50 secs
lola: 2030694 markings, 10148711 edges, 33437 markings/sec, 55 secs
lola: 2196649 markings, 10949803 edges, 33191 markings/sec, 60 secs
lola: 2363016 markings, 11781779 edges, 33273 markings/sec, 65 secs
lola: 2526752 markings, 12599709 edges, 32747 markings/sec, 70 secs
lola: 2691394 markings, 13425358 edges, 32928 markings/sec, 75 secs
lola: 2855855 markings, 14279117 edges, 32892 markings/sec, 80 secs
lola: 3022874 markings, 15082722 edges, 33404 markings/sec, 85 secs
lola: 3186115 markings, 15895438 edges, 32648 markings/sec, 90 secs
lola: 3349021 markings, 16713265 edges, 32581 markings/sec, 95 secs
lola: 3510060 markings, 17518778 edges, 32208 markings/sec, 100 secs
lola: 3671445 markings, 18324795 edges, 32277 markings/sec, 105 secs
lola: 3833112 markings, 19165474 edges, 32333 markings/sec, 110 secs
lola: 3999472 markings, 19997218 edges, 33272 markings/sec, 115 secs
lola: 4163495 markings, 20817191 edges, 32805 markings/sec, 120 secs
lola: 4327092 markings, 21635101 edges, 32719 markings/sec, 125 secs
lola: 4489607 markings, 22447685 edges, 32503 markings/sec, 130 secs
lola: 4653252 markings, 23265999 edges, 32729 markings/sec, 135 secs
lola: 4818645 markings, 24093006 edges, 33079 markings/sec, 140 secs
lola: 4987589 markings, 24937651 edges, 33789 markings/sec, 145 secs
lola: 5153270 markings, 25766056 edges, 33136 markings/sec, 150 secs
lola: 5318070 markings, 26590086 edges, 32960 markings/sec, 155 secs
lola: 5485416 markings, 27426943 edges, 33469 markings/sec, 160 secs
lola: 5647309 markings, 28236423 edges, 32379 markings/sec, 165 secs
lola: 5814458 markings, 29072141 edges, 33430 markings/sec, 170 secs
lola: 5984151 markings, 29920438 edges, 33939 markings/sec, 175 secs
lola: 6150234 markings, 30750978 edges, 33217 markings/sec, 180 secs
lola: 6322520 markings, 31612483 edges, 34457 markings/sec, 185 secs
lola: 6491850 markings, 32459058 edges, 33866 markings/sec, 190 secs
lola: 6659641 markings, 33298039 edges, 33558 markings/sec, 195 secs
lola: 6826081 markings, 34130258 edges, 33288 markings/sec, 200 secs
lola: 6989376 markings, 34946550 edges, 32659 markings/sec, 205 secs
lola: 7158850 markings, 35793656 edges, 33895 markings/sec, 210 secs
lola: 7322910 markings, 36614372 edges, 32812 markings/sec, 215 secs
lola: 7489806 markings, 37448300 edges, 33379 markings/sec, 220 secs
lola: 7653036 markings, 38265068 edges, 32646 markings/sec, 225 secs
lola: 7820833 markings, 39104018 edges, 33559 markings/sec, 230 secs
lola: 7992092 markings, 39960389 edges, 34252 markings/sec, 235 secs
lola: 8155283 markings, 40776128 edges, 32638 markings/sec, 240 secs
lola: 8319344 markings, 41596331 edges, 32812 markings/sec, 245 secs
lola: 8485514 markings, 42427428 edges, 33234 markings/sec, 250 secs
lola: 8651729 markings, 43258279 edges, 33243 markings/sec, 255 secs
lola: 8813543 markings, 44067548 edges, 32363 markings/sec, 260 secs
lola: 8977923 markings, 44889482 edges, 32876 markings/sec, 265 secs
lola: 9143977 markings, 45719540 edges, 33211 markings/sec, 270 secs
lola: 9307561 markings, 46537396 edges, 32717 markings/sec, 275 secs
lola: 9471868 markings, 47359118 edges, 32861 markings/sec, 280 secs
lola: 9637399 markings, 48186881 edges, 33106 markings/sec, 285 secs
lola: 9802075 markings, 49009918 edges, 32935 markings/sec, 290 secs
lola: 9963623 markings, 49817989 edges, 32310 markings/sec, 295 secs
lola: 10126684 markings, 50632875 edges, 32612 markings/sec, 300 secs
lola: 10290947 markings, 51454507 edges, 32853 markings/sec, 305 secs
lola: 10453568 markings, 52267763 edges, 32524 markings/sec, 310 secs
lola: 10614771 markings, 53073570 edges, 32241 markings/sec, 315 secs
lola: 10774459 markings, 53871957 edges, 31938 markings/sec, 320 secs
lola: 10929839 markings, 54649029 edges, 31076 markings/sec, 325 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 331 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_1_0 + IsEndLoop_0_1_1 + IsEndLoop_0_1_2 + IsEndLoop_0_1_3 + IsEndLoop_0_1_4 + IsEndLoop_3_0_0 + IsEndLoop_3_0_1 + IsEndLoop_3_0_2 + IsEndLoop_3_0_3 + IsEndLoop_3_0_4 + IsEndLoop_0_2_0 + IsEndLoop_0_2_1 + IsEndLoop_0_2_2 + IsEndLoop_0_2_3 + IsEndLoop_0_2_4 + IsEndLoop_3_1_0 + IsEndLoop_3_1_1 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 19 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: 174219 markings, 725103 edges, 34844 markings/sec, 0 secs
lola: 350383 markings, 1456931 edges, 35233 markings/sec, 5 secs
lola: 519897 markings, 2186438 edges, 33903 markings/sec, 10 secs
lola: 694667 markings, 2969226 edges, 34954 markings/sec, 15 secs
lola: 871560 markings, 3699849 edges, 35379 markings/sec, 20 secs
lola: 1037787 markings, 4417947 edges, 33245 markings/sec, 25 secs
lola: 1213555 markings, 5151360 edges, 35154 markings/sec, 30 secs
lola: 1375423 markings, 5872140 edges, 32374 markings/sec, 35 secs
lola: 1537878 markings, 6572241 edges, 32491 markings/sec, 40 secs
lola: 1700913 markings, 7261595 edges, 32607 markings/sec, 45 secs
lola: 1862084 markings, 7954646 edges, 32234 markings/sec, 50 secs
lola: 2027967 markings, 8667784 edges, 33177 markings/sec, 55 secs
lola: 2198872 markings, 9382262 edges, 34181 markings/sec, 60 secs
lola: 2357829 markings, 10070808 edges, 31791 markings/sec, 65 secs
lola: 2518144 markings, 10752522 edges, 32063 markings/sec, 70 secs
lola: 2679794 markings, 11423930 edges, 32330 markings/sec, 75 secs
lola: 2839574 markings, 12099618 edges, 31956 markings/sec, 80 secs
lola: 3006020 markings, 12777152 edges, 33289 markings/sec, 85 secs
lola: 3166020 markings, 13440845 edges, 32000 markings/sec, 90 secs
lola: 3325074 markings, 14142568 edges, 31811 markings/sec, 95 secs
lola: 3483093 markings, 14827167 edges, 31604 markings/sec, 100 secs
lola: 3640881 markings, 15495823 edges, 31558 markings/sec, 105 secs
lola: 3802210 markings, 16179987 edges, 32266 markings/sec, 110 secs
lola: 3963871 markings, 16851226 edges, 32332 markings/sec, 115 secs
lola: 4124453 markings, 17513954 edges, 32116 markings/sec, 120 secs
lola: 4284657 markings, 18193060 edges, 32041 markings/sec, 125 secs
lola: 4444736 markings, 18854739 edges, 32016 markings/sec, 130 secs
lola: 4605193 markings, 19504912 edges, 32091 markings/sec, 135 secs
lola: 4764057 markings, 20156327 edges, 31773 markings/sec, 140 secs
lola: 4918807 markings, 20803077 edges, 30950 markings/sec, 145 secs
lola: 5077955 markings, 21492628 edges, 31830 markings/sec, 150 secs
lola: 5233081 markings, 22183890 edges, 31025 markings/sec, 155 secs
lola: 5385424 markings, 22875977 edges, 30469 markings/sec, 160 secs
lola: 5536147 markings, 23553863 edges, 30145 markings/sec, 165 secs
lola: 5688209 markings, 24235911 edges, 30412 markings/sec, 170 secs
lola: 5847934 markings, 24901712 edges, 31945 markings/sec, 175 secs
lola: 6005698 markings, 25541904 edges, 31553 markings/sec, 180 secs
lola: 6158591 markings, 26195573 edges, 30579 markings/sec, 185 secs
lola: 6310166 markings, 26844035 edges, 30315 markings/sec, 190 secs
lola: 6463061 markings, 27478096 edges, 30579 markings/sec, 195 secs
lola: 6615111 markings, 28142005 edges, 30410 markings/sec, 200 secs
lola: 6763119 markings, 28813206 edges, 29602 markings/sec, 205 secs
lola: 6912722 markings, 29494178 edges, 29921 markings/sec, 210 secs
lola: 7062659 markings, 30144350 edges, 29987 markings/sec, 215 secs
lola: 7209895 markings, 30759815 edges, 29447 markings/sec, 220 secs
lola: 7368897 markings, 31429051 edges, 31800 markings/sec, 225 secs
lola: 7514564 markings, 32062556 edges, 29133 markings/sec, 230 secs
lola: 7668203 markings, 32721453 edges, 30728 markings/sec, 235 secs
lola: 7817918 markings, 33370031 edges, 29943 markings/sec, 240 secs
lola: 7962715 markings, 33978496 edges, 28959 markings/sec, 245 secs
lola: 8110770 markings, 34579811 edges, 29611 markings/sec, 250 secs
lola: 8249090 markings, 35162729 edges, 27664 markings/sec, 255 secs
lola: 8396046 markings, 35777472 edges, 29391 markings/sec, 260 secs
lola: 8547800 markings, 36419346 edges, 30351 markings/sec, 265 secs
lola: 8689940 markings, 37034342 edges, 28428 markings/sec, 270 secs
lola: 8828774 markings, 37637447 edges, 27767 markings/sec, 275 secs
lola: 8985098 markings, 38292350 edges, 31265 markings/sec, 280 secs
lola: 9138733 markings, 38920416 edges, 30727 markings/sec, 285 secs
lola: 9302900 markings, 39593022 edges, 32833 markings/sec, 290 secs
lola: 9464122 markings, 40249519 edges, 32244 markings/sec, 295 secs
lola: 9629808 markings, 40919808 edges, 33137 markings/sec, 300 secs
lola: 9792048 markings, 41623744 edges, 32448 markings/sec, 305 secs
lola: 9946690 markings, 42343814 edges, 30928 markings/sec, 310 secs
lola: 10100046 markings, 43057171 edges, 30671 markings/sec, 315 secs
lola: 10254987 markings, 43776373 edges, 30988 markings/sec, 320 secs
lola: 10406031 markings, 44464567 edges, 30209 markings/sec, 325 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 331 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TestAlone_4_3_0 + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_2_0_0 + TestAlone_2_0_1 + TestAlone_2_0_3 + TestAlone_2_0_4 + TestAlone_2_1_0 + TestAlone_2_1_1 + TestAlone_2_1_3 + TestAlone_2_1_4 + TestAlone_2_2_0 + TestAlone_2_2_1 + TestAlone_2_2_3 + TestAlone_2_2_4 + TestAlone_2_3_0 + TestAlone_2_3_1 + TestAlone_2_3_3 + TestAlone_2_3_4 + TestAlone_0_0_1 + TestAlone_0_0_2 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 19 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: 172609 markings, 797131 edges, 34522 markings/sec, 0 secs
lola: 340825 markings, 1616843 edges, 33643 markings/sec, 5 secs
lola: 505457 markings, 2440263 edges, 32926 markings/sec, 10 secs
lola: 671324 markings, 3272429 edges, 33173 markings/sec, 15 secs
lola: 836015 markings, 4098497 edges, 32938 markings/sec, 20 secs
lola: 998360 markings, 4917361 edges, 32469 markings/sec, 25 secs
lola: 1160005 markings, 5726889 edges, 32329 markings/sec, 30 secs
lola: 1321329 markings, 6528528 edges, 32265 markings/sec, 35 secs
lola: 1482185 markings, 7328005 edges, 32171 markings/sec, 40 secs
lola: 1643135 markings, 8128409 edges, 32190 markings/sec, 45 secs
lola: 1803402 markings, 8934224 edges, 32053 markings/sec, 50 secs
lola: 1964844 markings, 9746606 edges, 32288 markings/sec, 55 secs
lola: 2125931 markings, 10544432 edges, 32217 markings/sec, 60 secs
lola: 2284299 markings, 11335975 edges, 31674 markings/sec, 65 secs
lola: 2441164 markings, 12128270 edges, 31373 markings/sec, 70 secs
lola: 2599053 markings, 12917108 edges, 31578 markings/sec, 75 secs
lola: 2758647 markings, 13706431 edges, 31919 markings/sec, 80 secs
lola: 2918645 markings, 14521269 edges, 32000 markings/sec, 85 secs
lola: 3076575 markings, 15307856 edges, 31586 markings/sec, 90 secs
lola: 3232897 markings, 16082444 edges, 31264 markings/sec, 95 secs
lola: 3389259 markings, 16859025 edges, 31272 markings/sec, 100 secs
lola: 3544166 markings, 17644502 edges, 30981 markings/sec, 105 secs
lola: 3699369 markings, 18420808 edges, 31041 markings/sec, 110 secs
lola: 3851339 markings, 19256173 edges, 30394 markings/sec, 115 secs
lola: 4014162 markings, 20068935 edges, 32565 markings/sec, 120 secs
lola: 4171571 markings, 20857169 edges, 31482 markings/sec, 125 secs
lola: 4329304 markings, 21646173 edges, 31547 markings/sec, 130 secs
lola: 4487620 markings, 22437932 edges, 31663 markings/sec, 135 secs
lola: 4648417 markings, 23241610 edges, 32159 markings/sec, 140 secs
lola: 4810061 markings, 24049468 edges, 32329 markings/sec, 145 secs
lola: 4971984 markings, 24859218 edges, 32385 markings/sec, 150 secs
lola: 5129682 markings, 25647871 edges, 31540 markings/sec, 155 secs
lola: 5285097 markings, 26424782 edges, 31083 markings/sec, 160 secs
lola: 5439944 markings, 27199277 edges, 30969 markings/sec, 165 secs
lola: 5592740 markings, 27963519 edges, 30559 markings/sec, 170 secs
lola: 5748880 markings, 28743957 edges, 31228 markings/sec, 175 secs
lola: 5905107 markings, 29525001 edges, 31245 markings/sec, 180 secs
lola: 6063244 markings, 30316052 edges, 31627 markings/sec, 185 secs
lola: 6222327 markings, 31110767 edges, 31817 markings/sec, 190 secs
lola: 6375161 markings, 31874450 edges, 30567 markings/sec, 195 secs
lola: 6527762 markings, 32637688 edges, 30520 markings/sec, 200 secs
lola: 6679286 markings, 33395568 edges, 30305 markings/sec, 205 secs
lola: 6829305 markings, 34145995 edges, 30004 markings/sec, 210 secs
lola: 6980981 markings, 34904495 edges, 30335 markings/sec, 215 secs
lola: 7135581 markings, 35677661 edges, 30920 markings/sec, 220 secs
lola: 7290114 markings, 36449993 edges, 30907 markings/sec, 225 secs
lola: 7443837 markings, 37218792 edges, 30745 markings/sec, 230 secs
lola: 7603198 markings, 38014724 edges, 31872 markings/sec, 235 secs
lola: 7757673 markings, 38787431 edges, 30895 markings/sec, 240 secs
lola: 7913213 markings, 39565707 edges, 31108 markings/sec, 245 secs
lola: 8065995 markings, 40329124 edges, 30556 markings/sec, 250 secs
lola: 8218730 markings, 41093292 edges, 30547 markings/sec, 255 secs
lola: 8374362 markings, 41871561 edges, 31126 markings/sec, 260 secs
lola: 8531356 markings, 42656541 edges, 31399 markings/sec, 265 secs
lola: 8684387 markings, 43420972 edges, 30606 markings/sec, 270 secs
lola: 8834506 markings, 44172216 edges, 30024 markings/sec, 275 secs
lola: 8987913 markings, 44938470 edges, 30681 markings/sec, 280 secs
lola: 9144039 markings, 45719658 edges, 31225 markings/sec, 285 secs
lola: 9298653 markings, 46492492 edges, 30923 markings/sec, 290 secs
lola: 9453671 markings, 47267654 edges, 31004 markings/sec, 295 secs
lola: 9608614 markings, 48040037 edges, 30989 markings/sec, 300 secs
lola: 9763181 markings, 48814013 edges, 30913 markings/sec, 305 secs
lola: 9915247 markings, 49574696 edges, 30413 markings/sec, 310 secs
lola: 10070336 markings, 50348545 edges, 31018 markings/sec, 315 secs
lola: 10221411 markings, 51104581 edges, 30215 markings/sec, 320 secs
lola: 10370780 markings, 51852829 edges, 29874 markings/sec, 325 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 331 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 19 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: 187079 markings, 672454 edges, 37416 markings/sec, 0 secs
lola: 366991 markings, 1388988 edges, 35982 markings/sec, 5 secs
lola: 549180 markings, 2070369 edges, 36438 markings/sec, 10 secs
lola: 728173 markings, 2775960 edges, 35799 markings/sec, 15 secs
lola: 907942 markings, 3446116 edges, 35954 markings/sec, 20 secs
lola: 1085900 markings, 4132834 edges, 35592 markings/sec, 25 secs
lola: 1264174 markings, 4825484 edges, 35655 markings/sec, 30 secs
lola: 1442838 markings, 5497482 edges, 35733 markings/sec, 35 secs
lola: 1618743 markings, 6193780 edges, 35181 markings/sec, 40 secs
lola: 1795922 markings, 6867870 edges, 35436 markings/sec, 45 secs
lola: 1971478 markings, 7545003 edges, 35111 markings/sec, 50 secs
lola: 2144001 markings, 8249116 edges, 34505 markings/sec, 55 secs
lola: 2319648 markings, 8895740 edges, 35129 markings/sec, 60 secs
lola: 2493780 markings, 9580525 edges, 34826 markings/sec, 65 secs
lola: 2667334 markings, 10287575 edges, 34711 markings/sec, 70 secs
lola: 2831629 markings, 10909278 edges, 32859 markings/sec, 75 secs
lola: 2995277 markings, 11538299 edges, 32730 markings/sec, 80 secs
lola: 3158473 markings, 12150205 edges, 32639 markings/sec, 85 secs
lola: 3321883 markings, 12787033 edges, 32682 markings/sec, 90 secs
lola: 3484106 markings, 13455668 edges, 32445 markings/sec, 95 secs
lola: 3645918 markings, 14090033 edges, 32362 markings/sec, 100 secs
lola: 3809073 markings, 14758811 edges, 32631 markings/sec, 105 secs
lola: 3968747 markings, 15408519 edges, 31935 markings/sec, 110 secs
lola: 4129380 markings, 16055951 edges, 32127 markings/sec, 115 secs
lola: 4300980 markings, 16761455 edges, 34320 markings/sec, 120 secs
lola: 4472631 markings, 17420282 edges, 34330 markings/sec, 125 secs
lola: 4638526 markings, 18085082 edges, 33179 markings/sec, 130 secs
lola: 4805854 markings, 18725737 edges, 33466 markings/sec, 135 secs
lola: 4967294 markings, 19408000 edges, 32288 markings/sec, 140 secs
lola: 5135075 markings, 20098184 edges, 33556 markings/sec, 145 secs
lola: 5299461 markings, 20769171 edges, 32877 markings/sec, 150 secs
lola: 5465553 markings, 21420547 edges, 33218 markings/sec, 155 secs
lola: 5631644 markings, 22101034 edges, 33218 markings/sec, 160 secs
lola: 5794312 markings, 22793686 edges, 32534 markings/sec, 165 secs
lola: 5959253 markings, 23488702 edges, 32988 markings/sec, 170 secs
lola: 6130805 markings, 24163702 edges, 34310 markings/sec, 175 secs
lola: 6298311 markings, 24854980 edges, 33501 markings/sec, 180 secs
lola: 6478262 markings, 25508934 edges, 35990 markings/sec, 185 secs
lola: 6654260 markings, 26184047 edges, 35200 markings/sec, 190 secs
lola: 6825018 markings, 26850762 edges, 34152 markings/sec, 195 secs
lola: 6994166 markings, 27517806 edges, 33830 markings/sec, 200 secs
lola: 7164953 markings, 28201615 edges, 34157 markings/sec, 205 secs
lola: 7331125 markings, 28873917 edges, 33234 markings/sec, 210 secs
lola: 7499873 markings, 29528508 edges, 33750 markings/sec, 215 secs
lola: 7664516 markings, 30198601 edges, 32929 markings/sec, 220 secs
lola: 7830769 markings, 30857328 edges, 33251 markings/sec, 225 secs
lola: 7993720 markings, 31525903 edges, 32590 markings/sec, 230 secs
lola: 8152714 markings, 32185936 edges, 31799 markings/sec, 235 secs
lola: 8314945 markings, 32844898 edges, 32446 markings/sec, 240 secs
lola: 8479458 markings, 33503213 edges, 32903 markings/sec, 245 secs
lola: 8640019 markings, 34169384 edges, 32112 markings/sec, 250 secs
lola: 8798834 markings, 34820025 edges, 31763 markings/sec, 255 secs
lola: 8960358 markings, 35471331 edges, 32305 markings/sec, 260 secs
lola: 9121339 markings, 36143800 edges, 32196 markings/sec, 265 secs
lola: 9288661 markings, 36789728 edges, 33464 markings/sec, 270 secs
lola: 9453962 markings, 37420992 edges, 33060 markings/sec, 275 secs
lola: 9614873 markings, 38057352 edges, 32182 markings/sec, 280 secs
lola: 9779352 markings, 38666642 edges, 32896 markings/sec, 285 secs
lola: 9946896 markings, 39311727 edges, 33509 markings/sec, 290 secs
lola: 10108011 markings, 39986001 edges, 32223 markings/sec, 295 secs
lola: 10272752 markings, 40640561 edges, 32948 markings/sec, 300 secs
lola: 10435273 markings, 41307404 edges, 32504 markings/sec, 305 secs
lola: 10592260 markings, 41995085 edges, 31397 markings/sec, 310 secs
lola: 10744210 markings, 42690006 edges, 30390 markings/sec, 315 secs
lola: 10908758 markings, 43358134 edges, 32910 markings/sec, 320 secs
lola: 11070749 markings, 44017712 edges, 32398 markings/sec, 325 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 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(AskForSection_0_0 + AskForSection_0_1 + AskForSection_0_2 + AskForSection_0_3 + AskForSection_1_0 + AskForSection_1_1 + AskForSection_1_2 + AskForSection_1_3 + AskForSection_2_0 + AskForSection_2_1 + AskForSection_2_2 + AskForSection_2_3 + AskForSection_3_0 + AskForSection_3_1 + AskForSection_3_2 + AskForSection_3_3 + AskForSection_4_3 + AskForSection_4_0 + AskForSection_4_1 + AskForSection_4_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 19 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: 184659 markings, 712533 edges, 36932 markings/sec, 0 secs
lola: 364250 markings, 1428806 edges, 35918 markings/sec, 5 secs
lola: 544125 markings, 2130792 edges, 35975 markings/sec, 10 secs
lola: 721061 markings, 2839612 edges, 35387 markings/sec, 15 secs
lola: 901129 markings, 3532644 edges, 36014 markings/sec, 20 secs
lola: 1078306 markings, 4239761 edges, 35435 markings/sec, 25 secs
lola: 1252729 markings, 4952753 edges, 34885 markings/sec, 30 secs
lola: 1427600 markings, 5652185 edges, 34974 markings/sec, 35 secs
lola: 1601241 markings, 6358813 edges, 34728 markings/sec, 40 secs
lola: 1776844 markings, 7031873 edges, 35121 markings/sec, 45 secs
lola: 1948716 markings, 7728893 edges, 34374 markings/sec, 50 secs
lola: 2122608 markings, 8410061 edges, 34778 markings/sec, 55 secs
lola: 2286839 markings, 9072554 edges, 32846 markings/sec, 60 secs
lola: 2460723 markings, 9766245 edges, 34777 markings/sec, 65 secs
lola: 2632834 markings, 10471183 edges, 34422 markings/sec, 70 secs
lola: 2808678 markings, 11143833 edges, 35169 markings/sec, 75 secs
lola: 2976228 markings, 11855846 edges, 33510 markings/sec, 80 secs
lola: 3148845 markings, 12539725 edges, 34523 markings/sec, 85 secs
lola: 3317366 markings, 13247568 edges, 33704 markings/sec, 90 secs
lola: 3490227 markings, 13932270 edges, 34572 markings/sec, 95 secs
lola: 3664963 markings, 14597838 edges, 34947 markings/sec, 100 secs
lola: 3836513 markings, 15293881 edges, 34310 markings/sec, 105 secs
lola: 4004145 markings, 15994238 edges, 33526 markings/sec, 110 secs
lola: 4172959 markings, 16681612 edges, 33763 markings/sec, 115 secs
lola: 4345296 markings, 17388730 edges, 34467 markings/sec, 120 secs
lola: 4514435 markings, 18124086 edges, 33828 markings/sec, 125 secs
lola: 4683699 markings, 18799806 edges, 33853 markings/sec, 130 secs
lola: 4851635 markings, 19480228 edges, 33587 markings/sec, 135 secs
lola: 5015386 markings, 20190333 edges, 32750 markings/sec, 140 secs
lola: 5182224 markings, 20899179 edges, 33368 markings/sec, 145 secs
lola: 5346981 markings, 21620496 edges, 32951 markings/sec, 150 secs
lola: 5514655 markings, 22295734 edges, 33535 markings/sec, 155 secs
lola: 5676511 markings, 23003611 edges, 32371 markings/sec, 160 secs
lola: 5838256 markings, 23710479 edges, 32349 markings/sec, 165 secs
lola: 5996368 markings, 24420397 edges, 31622 markings/sec, 170 secs
lola: 6167914 markings, 25106684 edges, 34309 markings/sec, 175 secs
lola: 6338227 markings, 25828001 edges, 34063 markings/sec, 180 secs
lola: 6503815 markings, 26542505 edges, 33118 markings/sec, 185 secs
lola: 6669278 markings, 27264082 edges, 33093 markings/sec, 190 secs
lola: 6833308 markings, 27958521 edges, 32806 markings/sec, 195 secs
lola: 6997002 markings, 28675389 edges, 32739 markings/sec, 200 secs
lola: 7161239 markings, 29382248 edges, 32847 markings/sec, 205 secs
lola: 7322618 markings, 30075490 edges, 32276 markings/sec, 210 secs
lola: 7481588 markings, 30772968 edges, 31794 markings/sec, 215 secs
lola: 7647478 markings, 31468122 edges, 33178 markings/sec, 220 secs
lola: 7812310 markings, 32179826 edges, 32966 markings/sec, 225 secs
lola: 7975504 markings, 32898398 edges, 32639 markings/sec, 230 secs
lola: 8137007 markings, 33596341 edges, 32301 markings/sec, 235 secs
lola: 8298429 markings, 34290076 edges, 32284 markings/sec, 240 secs
lola: 8462197 markings, 35005401 edges, 32754 markings/sec, 245 secs
lola: 8623753 markings, 35703632 edges, 32311 markings/sec, 250 secs
lola: 8783588 markings, 36401608 edges, 31967 markings/sec, 255 secs
lola: 8947313 markings, 37110731 edges, 32745 markings/sec, 260 secs
lola: 9110251 markings, 37832668 edges, 32588 markings/sec, 265 secs
lola: 9260768 markings, 38521503 edges, 30103 markings/sec, 270 secs
lola: 9415908 markings, 39196795 edges, 31028 markings/sec, 275 secs
lola: 9570593 markings, 39867383 edges, 30937 markings/sec, 280 secs
lola: 9723881 markings, 40541009 edges, 30658 markings/sec, 285 secs
lola: 9884142 markings, 41224480 edges, 32052 markings/sec, 290 secs
lola: 10040059 markings, 41901871 edges, 31183 markings/sec, 295 secs
lola: 10188570 markings, 42570713 edges, 29702 markings/sec, 300 secs
lola: 10335743 markings, 43221111 edges, 29435 markings/sec, 305 secs
lola: 10481628 markings, 43869923 edges, 29177 markings/sec, 310 secs
lola: 10631474 markings, 44521591 edges, 29969 markings/sec, 315 secs
lola: 10778949 markings, 45164984 edges, 29495 markings/sec, 320 secs
lola: 10926567 markings, 45803728 edges, 29524 markings/sec, 325 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown 5 unknown unknown unknown 4 unknown 4 unknown unknown unknown unknown unknown
FORMULA Peterson-COL-4-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-4-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-4-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-4-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-4-UpperBounds-4 5 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-4-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-4-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-4-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-4-UpperBounds-8 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-4-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-4-UpperBounds-10 4 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-4-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-4-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-4-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-4-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Peterson-COL-4-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494502148335
--------------------
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-4"
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-4.tgz
mv Peterson-PT-4 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-4, 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-149440869500056"
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 '
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 ;