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)
....................
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 40K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 114K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 24K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 82K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 20K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 56K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 32K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 37K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 29K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 100K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 12K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 25K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 2 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 511K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
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 r112-csrt-152666469700569
=====================================================================

--------------------
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-PT-4-UpperBounds-00
FORMULA_NAME Peterson-PT-4-UpperBounds-01
FORMULA_NAME Peterson-PT-4-UpperBounds-02
FORMULA_NAME Peterson-PT-4-UpperBounds-03
FORMULA_NAME Peterson-PT-4-UpperBounds-04
FORMULA_NAME Peterson-PT-4-UpperBounds-05
FORMULA_NAME Peterson-PT-4-UpperBounds-06
FORMULA_NAME Peterson-PT-4-UpperBounds-07
FORMULA_NAME Peterson-PT-4-UpperBounds-08
FORMULA_NAME Peterson-PT-4-UpperBounds-09
FORMULA_NAME Peterson-PT-4-UpperBounds-10
FORMULA_NAME Peterson-PT-4-UpperBounds-11
FORMULA_NAME Peterson-PT-4-UpperBounds-12
FORMULA_NAME Peterson-PT-4-UpperBounds-13
FORMULA_NAME Peterson-PT-4-UpperBounds-14
FORMULA_NAME Peterson-PT-4-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1527044324891

info: Time: 3600 - MCC
===========================================================================================
prep: translating Peterson-PT-4 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating Peterson-PT-4 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Peterson-PT-4 @ 3569 seconds
lola: LoLA will run for 3569 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: Size of bit vector: 480
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-PT-4-UpperBounds.task
lola: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4) : 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(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(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(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(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(BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_2_0_0 + BeginLoop_2_0_1 + BeginLoop_2_0_2 + BeginLoop_2_0_3 + BeginLoop_2_0_4 + BeginLoop_2_1_0 + BeginLoop_2_1_1 + BeginLoop_2_1_2 + BeginLoop_2_1_3 + BeginLoop_2_1_4 + BeginLoop_2_2_0 + BeginLoop_2_2_1 + BeginLoop_2_2_2 + BeginLoop_2_2_3 + BeginLoop_2_2_4 + BeginLoop_2_3_0 + BeginLoop_2_3_1 + BeginLoop_2_3_2 + BeginLoop_2_3_3 + BeginLoop_2_3_4 + BeginLoop_0_0_0 + BeginLoop_0_0_1 + BeginLoop_0_0_2 + BeginLoop_0_0_3 + BeginLoop_0_0_4 + BeginLoop_0_1_0 + BeginLoop_0_1_1 + BeginLoop_0_1_2 + BeginLoop_0_1_3 + BeginLoop_0_1_4 + BeginLoop_3_0_0 + BeginLoop_3_0_1 + BeginLoop_3_0_2 + BeginLoop_3_0_3 + BeginLoop_3_0_4 + BeginLoop_0_2_0 + BeginLoop_0_2_1 + BeginLoop_0_2_2 + BeginLoop_0_2_3 + BeginLoop_0_2_4 + BeginLoop_3_1_0 + BeginLoop_3_1_1 + BeginLoop_3_1_2 + BeginLoop_3_1_3 + BeginLoop_3_1_4 + BeginLoop_0_3_0 + BeginLoop_0_3_1 + BeginLoop_0_3_2 + BeginLoop_0_3_3 + BeginLoop_0_3_4 + BeginLoop_3_2_0 + BeginLoop_3_2_1 + BeginLoop_3_2_2 + BeginLoop_3_2_3 + BeginLoop_3_2_4 + BeginLoop_3_3_0 + BeginLoop_3_3_1 + BeginLoop_3_3_2 + BeginLoop_3_3_3 + BeginLoop_3_3_4 + BeginLoop_4_2_4 + BeginLoop_4_2_3 + BeginLoop_1_0_0 + BeginLoop_1_0_1 + BeginLoop_1_0_2 + BeginLoop_1_0_3 + BeginLoop_1_0_4 + BeginLoop_1_1_0 + BeginLoop_1_1_1 + BeginLoop_1_1_2 + BeginLoop_1_1_3 + BeginLoop_1_1_4 + BeginLoop_4_0_0 + BeginLoop_4_0_1 + BeginLoop_4_0_2 + BeginLoop_4_0_3 + BeginLoop_4_0_4 + BeginLoop_1_2_0 + BeginLoop_1_2_1 + BeginLoop_1_2_2 + BeginLoop_1_2_3 + BeginLoop_1_2_4 + BeginLoop_4_1_0 + BeginLoop_4_1_1 + BeginLoop_4_1_2 + BeginLoop_4_1_3 + BeginLoop_4_1_4 + BeginLoop_4_2_2 + BeginLoop_1_3_0 + BeginLoop_1_3_1 + BeginLoop_1_3_2 + BeginLoop_1_3_3 + BeginLoop_1_3_4 + BeginLoop_4_2_1 + BeginLoop_4_2_0) : MAX(BeginLoop_3_3_0) : MAX(TestAlone_0_0_1) : MAX(IsEndLoop_3_0_2) : MAX(AskForSection_1_3) : MAX(TestIdentity_3_1_0) : MAX(TestAlone_4_3_0) : MAX(TestIdentity_0_0_2) : MAX(WantSection_2_T)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(BeginLoop_3_3_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(BeginLoop_3_3_0)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 81 markings, 80 edges

FORMULA Peterson-PT-4-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(TestAlone_0_0_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(TestAlone_0_0_1)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: ========================================
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 14 markings, 13 edges
lola: ========================================

FORMULA Peterson-PT-4-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(IsEndLoop_3_0_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(IsEndLoop_3_0_2)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 15 markings, 14 edges

FORMULA Peterson-PT-4-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AskForSection_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AskForSection_1_3)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 27 markings, 26 edges
lola: ========================================

FORMULA Peterson-PT-4-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(TestIdentity_3_1_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(TestIdentity_3_1_0)
lola: processed formula length: 23
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 48 markings, 47 edges
lola: ========================================

FORMULA Peterson-PT-4-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(TestAlone_4_3_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(TestAlone_4_3_0)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 31 markings, 30 edges

FORMULA Peterson-PT-4-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(TestIdentity_0_0_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(TestIdentity_0_0_2)
lola: processed formula length: 23
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: ========================================
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 16 markings, 15 edges

FORMULA Peterson-PT-4-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(WantSection_2_T)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(WantSection_2_T)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: ========================================
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges

FORMULA Peterson-PT-4-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
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: processed formula: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 5
lola: 195929 markings, 706932 edges, 39186 markings/sec, 0 secs
lola: 380896 markings, 1436135 edges, 36993 markings/sec, 5 secs
lola: 581357 markings, 2189091 edges, 40092 markings/sec, 10 secs
lola: 776697 markings, 2933772 edges, 39068 markings/sec, 15 secs
lola: 966439 markings, 3694515 edges, 37948 markings/sec, 20 secs
lola: 1165700 markings, 4430992 edges, 39852 markings/sec, 25 secs
lola: 1350408 markings, 5173245 edges, 36942 markings/sec, 30 secs
lola: 1546142 markings, 5893668 edges, 39147 markings/sec, 35 secs
lola: 1730941 markings, 6638851 edges, 36960 markings/sec, 40 secs
lola: 1920729 markings, 7343881 edges, 37958 markings/sec, 45 secs
lola: 2102340 markings, 8067958 edges, 36322 markings/sec, 50 secs
lola: 2282117 markings, 8763118 edges, 35955 markings/sec, 55 secs
lola: 2465346 markings, 9462123 edges, 36646 markings/sec, 60 secs
lola: 2644007 markings, 10221945 edges, 35732 markings/sec, 65 secs
lola: 2832707 markings, 10912942 edges, 37740 markings/sec, 70 secs
lola: 3020358 markings, 11621770 edges, 37530 markings/sec, 75 secs
lola: 3206773 markings, 12329566 edges, 37283 markings/sec, 80 secs
lola: 3396811 markings, 13098561 edges, 38008 markings/sec, 85 secs
lola: 3585491 markings, 13832831 edges, 37736 markings/sec, 90 secs
lola: 3764536 markings, 14591337 edges, 35809 markings/sec, 95 secs
lola: 3947033 markings, 15313589 edges, 36499 markings/sec, 100 secs
lola: 4127197 markings, 16046892 edges, 36033 markings/sec, 105 secs
lola: 4316466 markings, 16817631 edges, 37854 markings/sec, 110 secs
lola: 4500523 markings, 17528787 edges, 36811 markings/sec, 115 secs
lola: 4675974 markings, 18237047 edges, 35090 markings/sec, 120 secs
lola: 4860431 markings, 18942243 edges, 36891 markings/sec, 125 secs
lola: 5037747 markings, 19695682 edges, 35463 markings/sec, 130 secs
lola: 5217699 markings, 20440492 edges, 35990 markings/sec, 135 secs
lola: 5400231 markings, 21155427 edges, 36506 markings/sec, 140 secs
lola: 5579219 markings, 21881994 edges, 35798 markings/sec, 145 secs
lola: 5754755 markings, 22630470 edges, 35107 markings/sec, 150 secs
lola: 5929449 markings, 23373903 edges, 34939 markings/sec, 155 secs
lola: 6116127 markings, 24105073 edges, 37336 markings/sec, 160 secs
lola: 6296157 markings, 24844897 edges, 36006 markings/sec, 165 secs
lola: 6494602 markings, 25570195 edges, 39689 markings/sec, 170 secs
lola: 6686037 markings, 26308403 edges, 38287 markings/sec, 175 secs
lola: 6873283 markings, 27036653 edges, 37449 markings/sec, 180 secs
lola: 7056866 markings, 27773859 edges, 36717 markings/sec, 185 secs
lola: 7238335 markings, 28495756 edges, 36294 markings/sec, 190 secs
lola: 7420792 markings, 29209505 edges, 36491 markings/sec, 195 secs
lola: 7601045 markings, 29935279 edges, 36051 markings/sec, 200 secs
lola: 7778663 markings, 30662143 edges, 35524 markings/sec, 205 secs
lola: 7957342 markings, 31377816 edges, 35736 markings/sec, 210 secs
lola: 8127783 markings, 32083529 edges, 34088 markings/sec, 215 secs
lola: 8302955 markings, 32795670 edges, 35034 markings/sec, 220 secs
lola: 8481744 markings, 33512172 edges, 35758 markings/sec, 225 secs
lola: 8655543 markings, 34235892 edges, 34760 markings/sec, 230 secs
lola: 8829424 markings, 34928389 edges, 34776 markings/sec, 235 secs
lola: 9006899 markings, 35661752 edges, 35495 markings/sec, 240 secs
lola: 9184874 markings, 36399135 edges, 35595 markings/sec, 245 secs
lola: 9369558 markings, 37109589 edges, 36937 markings/sec, 250 secs
lola: 9553330 markings, 37805965 edges, 36754 markings/sec, 255 secs
lola: 9735844 markings, 38493832 edges, 36503 markings/sec, 260 secs
lola: 9917462 markings, 39203872 edges, 36324 markings/sec, 265 secs
lola: 10093869 markings, 39928919 edges, 35281 markings/sec, 270 secs
lola: 10277049 markings, 40656758 edges, 36636 markings/sec, 275 secs
lola: 10455494 markings, 41390535 edges, 35689 markings/sec, 280 secs
lola: 10622130 markings, 42123535 edges, 33327 markings/sec, 285 secs
lola: 10788830 markings, 42866829 edges, 33340 markings/sec, 290 secs
lola: 10965091 markings, 43593387 edges, 35252 markings/sec, 295 secs
lola: 11140585 markings, 44314989 edges, 35099 markings/sec, 300 secs
lola: 11309784 markings, 45044439 edges, 33840 markings/sec, 305 secs
lola: 11483930 markings, 45784520 edges, 34829 markings/sec, 310 secs
lola: 11662934 markings, 46478287 edges, 35801 markings/sec, 315 secs
lola: 11839806 markings, 47178194 edges, 35374 markings/sec, 320 secs
lola: 12016354 markings, 47870033 edges, 35310 markings/sec, 325 secs
lola: 12184106 markings, 48595349 edges, 33550 markings/sec, 330 secs
lola: 12352628 markings, 49287633 edges, 33704 markings/sec, 335 secs
lola: 12530792 markings, 49971841 edges, 35633 markings/sec, 340 secs
lola: 12712035 markings, 50670482 edges, 36249 markings/sec, 345 secs
lola: 12890387 markings, 51383508 edges, 35670 markings/sec, 350 secs
lola: 13062210 markings, 52113760 edges, 34365 markings/sec, 355 secs
lola: 13241129 markings, 52835142 edges, 35784 markings/sec, 360 secs
lola: 13412972 markings, 53567502 edges, 34369 markings/sec, 365 secs
lola: 13579130 markings, 54312431 edges, 33232 markings/sec, 370 secs
lola: 13740431 markings, 55055037 edges, 32260 markings/sec, 375 secs
lola: 13909112 markings, 55779706 edges, 33736 markings/sec, 380 secs
lola: 14081868 markings, 56472359 edges, 34551 markings/sec, 385 secs
lola: 14255417 markings, 57175632 edges, 34710 markings/sec, 390 secs
lola: 14431853 markings, 57900812 edges, 35287 markings/sec, 395 secs
lola: 14610352 markings, 58601331 edges, 35700 markings/sec, 400 secs
lola: 14788346 markings, 59299671 edges, 35599 markings/sec, 405 secs
lola: 14964782 markings, 60030746 edges, 35287 markings/sec, 410 secs
lola: 15133735 markings, 60794844 edges, 33791 markings/sec, 415 secs
lola: 15307060 markings, 61501847 edges, 34665 markings/sec, 420 secs
lola: 15487580 markings, 62232877 edges, 36104 markings/sec, 425 secs
lola: 15670003 markings, 62957299 edges, 36485 markings/sec, 430 secs
lola: 15849807 markings, 63677682 edges, 35961 markings/sec, 435 secs
lola: 16033977 markings, 64389400 edges, 36834 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown 1 1 1 1 1 1 1 1
lola: memory consumption: 899060 KB
lola: time consumption: 446 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 446 seconds at most (--localtimelimit=0)
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: processed formula: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 5
lola: 204292 markings, 738555 edges, 40858 markings/sec, 0 secs
lola: 399744 markings, 1506198 edges, 39090 markings/sec, 5 secs
lola: 597181 markings, 2260606 edges, 39487 markings/sec, 10 secs
lola: 792934 markings, 2996139 edges, 39151 markings/sec, 15 secs
lola: 978154 markings, 3743764 edges, 37044 markings/sec, 20 secs
lola: 1175922 markings, 4473895 edges, 39554 markings/sec, 25 secs
lola: 1365440 markings, 5221736 edges, 37904 markings/sec, 30 secs
lola: 1557314 markings, 5937760 edges, 38375 markings/sec, 35 secs
lola: 1744132 markings, 6693110 edges, 37364 markings/sec, 40 secs
lola: 1929728 markings, 7378158 edges, 37119 markings/sec, 45 secs
lola: 2112420 markings, 8106561 edges, 36538 markings/sec, 50 secs
lola: 2293895 markings, 8801564 edges, 36295 markings/sec, 55 secs
lola: 2476807 markings, 9509414 edges, 36582 markings/sec, 60 secs
lola: 2656375 markings, 10255925 edges, 35914 markings/sec, 65 secs
lola: 2839621 markings, 10938306 edges, 36649 markings/sec, 70 secs
lola: 3023124 markings, 11631947 edges, 36701 markings/sec, 75 secs
lola: 3206298 markings, 12323057 edges, 36635 markings/sec, 80 secs
lola: 3386444 markings, 13056204 edges, 36029 markings/sec, 85 secs
lola: 3573045 markings, 13785542 edges, 37320 markings/sec, 90 secs
lola: 3753812 markings, 14549269 edges, 36153 markings/sec, 95 secs
lola: 3938824 markings, 15280360 edges, 37002 markings/sec, 100 secs
lola: 4120861 markings, 16020541 edges, 36407 markings/sec, 105 secs
lola: 4304187 markings, 16773559 edges, 36665 markings/sec, 110 secs
lola: 4486307 markings, 17474361 edges, 36424 markings/sec, 115 secs
lola: 4662068 markings, 18181513 edges, 35152 markings/sec, 120 secs
lola: 4845110 markings, 18884152 edges, 36608 markings/sec, 125 secs
lola: 5022260 markings, 19630280 edges, 35430 markings/sec, 130 secs
lola: 5203388 markings, 20381338 edges, 36226 markings/sec, 135 secs
lola: 5387632 markings, 21108763 edges, 36849 markings/sec, 140 secs
lola: 5569507 markings, 21841838 edges, 36375 markings/sec, 145 secs
lola: 5746926 markings, 22594218 edges, 35484 markings/sec, 150 secs
lola: 5921999 markings, 23341972 edges, 35015 markings/sec, 155 secs
lola: 6109413 markings, 24080812 edges, 37483 markings/sec, 160 secs
lola: 6290297 markings, 24818997 edges, 36177 markings/sec, 165 secs
lola: 6487412 markings, 25541413 edges, 39423 markings/sec, 170 secs
lola: 6678301 markings, 26276917 edges, 38178 markings/sec, 175 secs
lola: 6864853 markings, 27004920 edges, 37310 markings/sec, 180 secs
lola: 7046731 markings, 27737755 edges, 36376 markings/sec, 185 secs
lola: 7227452 markings, 28451810 edges, 36144 markings/sec, 190 secs
lola: 7406533 markings, 29154102 edges, 35816 markings/sec, 195 secs
lola: 7586922 markings, 29874678 edges, 36078 markings/sec, 200 secs
lola: 7756758 markings, 30578424 edges, 33967 markings/sec, 205 secs
lola: 7927743 markings, 31250854 edges, 34197 markings/sec, 210 secs
lola: 8097305 markings, 31951646 edges, 33912 markings/sec, 215 secs
lola: 8267213 markings, 32657319 edges, 33982 markings/sec, 220 secs
lola: 8440186 markings, 33340386 edges, 34595 markings/sec, 225 secs
lola: 8607353 markings, 34032984 edges, 33433 markings/sec, 230 secs
lola: 8778809 markings, 34743978 edges, 34291 markings/sec, 235 secs
lola: 8952318 markings, 35438122 edges, 34702 markings/sec, 240 secs
lola: 9125269 markings, 36159150 edges, 34590 markings/sec, 245 secs
lola: 9310795 markings, 36881887 edges, 37105 markings/sec, 250 secs
lola: 9498448 markings, 37588267 edges, 37531 markings/sec, 255 secs
lola: 9684437 markings, 38316753 edges, 37198 markings/sec, 260 secs
lola: 9871794 markings, 39035217 edges, 37471 markings/sec, 265 secs
lola: 10056691 markings, 39772809 edges, 36979 markings/sec, 270 secs
lola: 10240881 markings, 40516535 edges, 36838 markings/sec, 275 secs
lola: 10423472 markings, 41260032 edges, 36518 markings/sec, 280 secs
lola: 10596876 markings, 42016024 edges, 34681 markings/sec, 285 secs
lola: 10766107 markings, 42778845 edges, 33846 markings/sec, 290 secs
lola: 10948379 markings, 43523355 edges, 36454 markings/sec, 295 secs
lola: 11124901 markings, 44249352 edges, 35304 markings/sec, 300 secs
lola: 11294374 markings, 44976428 edges, 33895 markings/sec, 305 secs
lola: 11466233 markings, 45718967 edges, 34372 markings/sec, 310 secs
lola: 11646138 markings, 46409752 edges, 35981 markings/sec, 315 secs
lola: 11821692 markings, 47101815 edges, 35111 markings/sec, 320 secs
lola: 11996131 markings, 47786015 edges, 34888 markings/sec, 325 secs
lola: 12163810 markings, 48509396 edges, 33536 markings/sec, 330 secs
lola: 12338559 markings, 49229953 edges, 34950 markings/sec, 335 secs
lola: 12517504 markings, 49921942 edges, 35789 markings/sec, 340 secs
lola: 12696263 markings, 50612431 edges, 35752 markings/sec, 345 secs
lola: 12874971 markings, 51318950 edges, 35742 markings/sec, 350 secs
lola: 13046411 markings, 52045886 edges, 34288 markings/sec, 355 secs
lola: 13222284 markings, 52762298 edges, 35175 markings/sec, 360 secs
lola: 13394030 markings, 53486065 edges, 34349 markings/sec, 365 secs
lola: 13559851 markings, 54223337 edges, 33164 markings/sec, 370 secs
lola: 13718977 markings, 54957484 edges, 31825 markings/sec, 375 secs
lola: 13885791 markings, 55692661 edges, 33363 markings/sec, 380 secs
lola: 14060135 markings, 56380372 edges, 34869 markings/sec, 385 secs
lola: 14235345 markings, 57090793 edges, 35042 markings/sec, 390 secs
lola: 14407606 markings, 57800606 edges, 34452 markings/sec, 395 secs
lola: 14585838 markings, 58502718 edges, 35646 markings/sec, 400 secs
lola: 14765019 markings, 59203389 edges, 35836 markings/sec, 405 secs
lola: 14940422 markings, 59922615 edges, 35081 markings/sec, 410 secs
lola: 15105495 markings, 60672331 edges, 33015 markings/sec, 415 secs
lola: 15273468 markings, 61367835 edges, 33595 markings/sec, 420 secs
lola: 15447095 markings, 62079472 edges, 34725 markings/sec, 425 secs
lola: 15624890 markings, 62787434 edges, 35559 markings/sec, 430 secs
lola: 15802010 markings, 63495045 edges, 35424 markings/sec, 435 secs
lola: 15980674 markings, 64183154 edges, 35733 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown 1 1 1 1 1 1 1 1
lola: memory consumption: 895940 KB
lola: time consumption: 892 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 446 seconds at most (--localtimelimit=0)
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: processed formula: 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: processed formula length: 1442
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 1064 markings, 1864 edges
lola: ========================================

FORMULA Peterson-PT-4-UpperBounds-6 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 535 seconds at most (--localtimelimit=0)
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: processed formula: 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: processed formula length: 1442
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 1064 markings, 1864 edges
lola: ========================================

FORMULA Peterson-PT-4-UpperBounds-3 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 669 seconds at most (--localtimelimit=0)
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: processed formula: 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: processed formula length: 1442
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 1064 markings, 1864 edges
lola: ========================================

FORMULA Peterson-PT-4-UpperBounds-4 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 892 seconds at most (--localtimelimit=0)
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_2_0_0 + BeginLoop_2_0_1 + BeginLoop_2_0_2 + BeginLoop_2_0_3 + BeginLoop_2_0_4 + BeginLoop_2_1_0 + BeginLoop_2_1_1 + BeginLoop_2_1_2 + BeginLoop_2_1_3 + BeginLoop_2_1_4 + BeginLoop_2_2_0 + BeginLoop_2_2_1 + BeginLoop_2_2_2 + BeginLoop_2_2_3 + BeginLoop_2_2_4 + BeginLoop_2_3_0 + BeginLoop_2_3_1 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_2_0_0 + BeginLoop_2_0_1 + BeginLoop_2_0_2 + BeginLoop_2_0_3 + BeginLoop_2_0_4 + BeginLoop_2_1_0 + BeginLoop_2_1_1 + BeginLoop_2_1_2 + BeginLoop_2_1_3 + BeginLoop_2_1_4 + BeginLoop_2_2_0 + BeginLoop_2_2_1 + BeginLoop_2_2_2 + BeginLoop_2_2_3 + BeginLoop_2_2_4 + BeginLoop_2_3_0 + BeginLoop_2_3_1 + ... (shortened)
lola: processed formula length: 1802
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 16 markings, 15 edges
lola: ========================================

FORMULA Peterson-PT-4-UpperBounds-7 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1338 seconds at most (--localtimelimit=0)
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: processed formula: 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: processed formula length: 2102
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 31 markings, 31 edges
lola: ========================================

FORMULA Peterson-PT-4-UpperBounds-5 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2676 seconds at most (--localtimelimit=0)
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: processed formula: 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: processed formula length: 1802
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 208 markings, 222 edges
lola: ========================================

FORMULA Peterson-PT-4-UpperBounds-1 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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: processed formula: MAX(CS_0 + CS_1 + CS_2 + CS_3 + CS_4)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file Peterson-PT-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 5
lola: 202417 markings, 732057 edges, 40483 markings/sec, 0 secs
lola: 390721 markings, 1471980 edges, 37661 markings/sec, 5 secs
lola: 582278 markings, 2192875 edges, 38311 markings/sec, 10 secs
lola: 773151 markings, 2920941 edges, 38175 markings/sec, 15 secs
lola: 958815 markings, 3648593 edges, 37133 markings/sec, 20 secs
lola: 1148460 markings, 4362461 edges, 37929 markings/sec, 25 secs
lola: 1333652 markings, 5095686 edges, 37038 markings/sec, 30 secs
lola: 1523974 markings, 5810873 edges, 38064 markings/sec, 35 secs
lola: 1710499 markings, 6541035 edges, 37305 markings/sec, 40 secs
lola: 1896203 markings, 7253339 edges, 37141 markings/sec, 45 secs
lola: 2080798 markings, 7971582 edges, 36919 markings/sec, 50 secs
lola: 2262712 markings, 8689126 edges, 36383 markings/sec, 55 secs
lola: 2447929 markings, 9394039 edges, 37043 markings/sec, 60 secs
lola: 2629204 markings, 10165076 edges, 36255 markings/sec, 65 secs
lola: 2817847 markings, 10856791 edges, 37729 markings/sec, 70 secs
lola: 3007095 markings, 11570499 edges, 37850 markings/sec, 75 secs
lola: 3191182 markings, 12269125 edges, 36817 markings/sec, 80 secs
lola: 3374374 markings, 13008866 edges, 36638 markings/sec, 85 secs
lola: 3565723 markings, 13756037 edges, 38270 markings/sec, 90 secs
lola: 3752296 markings, 14542746 edges, 37315 markings/sec, 95 secs
lola: 3940763 markings, 15287762 edges, 37693 markings/sec, 100 secs
lola: 4126213 markings, 16042712 edges, 37090 markings/sec, 105 secs
lola: 4313579 markings, 16806850 edges, 37473 markings/sec, 110 secs
lola: 4498350 markings, 17520454 edges, 36954 markings/sec, 115 secs
lola: 4680766 markings, 18256637 edges, 36483 markings/sec, 120 secs
lola: 4864800 markings, 18959207 edges, 36807 markings/sec, 125 secs
lola: 5040226 markings, 19705530 edges, 35085 markings/sec, 130 secs
lola: 5218742 markings, 20444892 edges, 35703 markings/sec, 135 secs
lola: 5398656 markings, 21148782 edges, 35983 markings/sec, 140 secs
lola: 5577250 markings, 21872150 edges, 35719 markings/sec, 145 secs
lola: 5749586 markings, 22606220 edges, 34467 markings/sec, 150 secs
lola: 5921533 markings, 23339927 edges, 34389 markings/sec, 155 secs
lola: 6107502 markings, 24073799 edges, 37194 markings/sec, 160 secs
lola: 6287558 markings, 24807812 edges, 36011 markings/sec, 165 secs
lola: 6485412 markings, 25535008 edges, 39571 markings/sec, 170 secs
lola: 6675846 markings, 26267265 edges, 38087 markings/sec, 175 secs
lola: 6859823 markings, 26985300 edges, 36795 markings/sec, 180 secs
lola: 7040735 markings, 27712864 edges, 36182 markings/sec, 185 secs
lola: 7222071 markings, 28429856 edges, 36267 markings/sec, 190 secs
lola: 7402234 markings, 29138968 edges, 36033 markings/sec, 195 secs
lola: 7584187 markings, 29863955 edges, 36391 markings/sec, 200 secs
lola: 7762081 markings, 30598098 edges, 35579 markings/sec, 205 secs
lola: 7942890 markings, 31315970 edges, 36162 markings/sec, 210 secs
lola: 8115647 markings, 32030917 edges, 34551 markings/sec, 215 secs
lola: 8292124 markings, 32752621 edges, 35295 markings/sec, 220 secs
lola: 8470794 markings, 33466163 edges, 35734 markings/sec, 225 secs
lola: 8642687 markings, 34181485 edges, 34379 markings/sec, 230 secs
lola: 8815185 markings, 34878427 edges, 34500 markings/sec, 235 secs
lola: 8991543 markings, 35596154 edges, 35272 markings/sec, 240 secs
lola: 9169255 markings, 36335760 edges, 35542 markings/sec, 245 secs
lola: 9351318 markings, 37047603 edges, 36413 markings/sec, 250 secs
lola: 9535008 markings, 37733676 edges, 36738 markings/sec, 255 secs
lola: 9716101 markings, 38424688 edges, 36219 markings/sec, 260 secs
lola: 9896864 markings, 39129216 edges, 36153 markings/sec, 265 secs
lola: 10073092 markings, 39846880 edges, 35246 markings/sec, 270 secs
lola: 10252268 markings, 40560332 edges, 35835 markings/sec, 275 secs
lola: 10428447 markings, 41281484 edges, 35236 markings/sec, 280 secs
lola: 10595399 markings, 42009195 edges, 33390 markings/sec, 285 secs
lola: 10756974 markings, 42744741 edges, 32315 markings/sec, 290 secs
lola: 10934027 markings, 43461780 edges, 35411 markings/sec, 295 secs
lola: 11108224 markings, 44178077 edges, 34839 markings/sec, 300 secs
lola: 11275767 markings, 44901568 edges, 33509 markings/sec, 305 secs
lola: 11445982 markings, 45641806 edges, 34043 markings/sec, 310 secs
lola: 11625119 markings, 46326913 edges, 35827 markings/sec, 315 secs
lola: 11799626 markings, 47014228 edges, 34901 markings/sec, 320 secs
lola: 11972253 markings, 47693059 edges, 34525 markings/sec, 325 secs
lola: 12142775 markings, 48413045 edges, 34104 markings/sec, 330 secs
lola: 12314073 markings, 49129133 edges, 34260 markings/sec, 335 secs
lola: 12492476 markings, 49820496 edges, 35681 markings/sec, 340 secs
lola: 12667906 markings, 50501965 edges, 35086 markings/sec, 345 secs
lola: 12846186 markings, 51201990 edges, 35656 markings/sec, 350 secs
lola: 13016220 markings, 51918099 edges, 34007 markings/sec, 355 secs
lola: 13191762 markings, 52628820 edges, 35108 markings/sec, 360 secs
lola: 13361360 markings, 53348312 edges, 33920 markings/sec, 365 secs
lola: 13526908 markings, 54077237 edges, 33110 markings/sec, 370 secs
lola: 13686353 markings, 54807702 edges, 31889 markings/sec, 375 secs
lola: 13846123 markings, 55540304 edges, 31954 markings/sec, 380 secs
lola: 14018880 markings, 56224158 edges, 34551 markings/sec, 385 secs
lola: 14191002 markings, 56904488 edges, 34424 markings/sec, 390 secs
lola: 14357865 markings, 57611090 edges, 33373 markings/sec, 395 secs
lola: 14536505 markings, 58301431 edges, 35728 markings/sec, 400 secs
lola: 14709011 markings, 58984082 edges, 34501 markings/sec, 405 secs
lola: 14855791 markings, 59553698 edges, 29356 markings/sec, 410 secs
lola: 15021416 markings, 60284453 edges, 33125 markings/sec, 415 secs
lola: 15185811 markings, 61003033 edges, 32879 markings/sec, 420 secs
lola: 15355174 markings, 61693786 edges, 33873 markings/sec, 425 secs
lola: 15531723 markings, 62391184 edges, 35310 markings/sec, 430 secs
lola: 15702240 markings, 63091107 edges, 34103 markings/sec, 435 secs
lola: 15873708 markings, 63774132 edges, 34294 markings/sec, 440 secs
lola: 16051652 markings, 64452416 edges, 35589 markings/sec, 445 secs
lola: 16222230 markings, 65144140 edges, 34116 markings/sec, 450 secs
lola: 16392365 markings, 65840647 edges, 34027 markings/sec, 455 secs
lola: 16553188 markings, 66550740 edges, 32165 markings/sec, 460 secs
lola: 16706088 markings, 67252663 edges, 30580 markings/sec, 465 secs
lola: 16872819 markings, 67948209 edges, 33346 markings/sec, 470 secs
lola: 17027406 markings, 68649260 edges, 30917 markings/sec, 475 secs
lola: 17196177 markings, 69318253 edges, 33754 markings/sec, 480 secs
lola: 17366475 markings, 69990421 edges, 34060 markings/sec, 485 secs
lola: 17538716 markings, 70649107 edges, 34448 markings/sec, 490 secs
lola: 17698743 markings, 71333330 edges, 32005 markings/sec, 495 secs
lola: 17872146 markings, 72006479 edges, 34681 markings/sec, 500 secs
lola: 18044129 markings, 72682614 edges, 34397 markings/sec, 505 secs
lola: 18215823 markings, 73349119 edges, 34339 markings/sec, 510 secs
lola: 18370270 markings, 74034342 edges, 30889 markings/sec, 515 secs
lola: 18537768 markings, 74710264 edges, 33500 markings/sec, 520 secs
lola: 18706882 markings, 75378138 edges, 33823 markings/sec, 525 secs
lola: 18871233 markings, 76059683 edges, 32870 markings/sec, 530 secs
lola: 19038271 markings, 76737930 edges, 33408 markings/sec, 535 secs
lola: 19205925 markings, 77407842 edges, 33531 markings/sec, 540 secs
lola: 19377377 markings, 78076301 edges, 34290 markings/sec, 545 secs
lola: 19558841 markings, 78749059 edges, 36293 markings/sec, 550 secs
lola: 19730148 markings, 79430792 edges, 34261 markings/sec, 555 secs
lola: 19897883 markings, 80085371 edges, 33547 markings/sec, 560 secs
lola: 20068851 markings, 80727611 edges, 34194 markings/sec, 565 secs
lola: 20230556 markings, 81368035 edges, 32341 markings/sec, 570 secs
lola: 20398988 markings, 82027358 edges, 33686 markings/sec, 575 secs
lola: 20564524 markings, 82713048 edges, 33107 markings/sec, 580 secs
lola: 20731051 markings, 83395853 edges, 33305 markings/sec, 585 secs
lola: 20898981 markings, 84074231 edges, 33586 markings/sec, 590 secs
lola: 21063628 markings, 84725858 edges, 32929 markings/sec, 595 secs
lola: 21224360 markings, 85378807 edges, 32146 markings/sec, 600 secs
lola: 21388988 markings, 86034013 edges, 32926 markings/sec, 605 secs
lola: 21549389 markings, 86710711 edges, 32080 markings/sec, 610 secs
lola: 21710776 markings, 87356180 edges, 32277 markings/sec, 615 secs
lola: 21873644 markings, 88017041 edges, 32574 markings/sec, 620 secs
lola: 22053596 markings, 88693085 edges, 35990 markings/sec, 625 secs
lola: 22226422 markings, 89363584 edges, 34565 markings/sec, 630 secs
lola: 22393880 markings, 90044016 edges, 33492 markings/sec, 635 secs
lola: 22556871 markings, 90729271 edges, 32598 markings/sec, 640 secs
lola: 22722924 markings, 91365728 edges, 33211 markings/sec, 645 secs
lola: 22891260 markings, 92009090 edges, 33667 markings/sec, 650 secs
lola: 23050116 markings, 92642028 edges, 31771 markings/sec, 655 secs
lola: 23203011 markings, 93280522 edges, 30579 markings/sec, 660 secs
lola: 23363671 markings, 93953504 edges, 32132 markings/sec, 665 secs
lola: 23535694 markings, 94634857 edges, 34405 markings/sec, 670 secs
lola: 23700136 markings, 95323741 edges, 32888 markings/sec, 675 secs
lola: 23860745 markings, 95955655 edges, 32122 markings/sec, 680 secs
lola: 24011753 markings, 96596712 edges, 30202 markings/sec, 685 secs
lola: 24178211 markings, 97282085 edges, 33292 markings/sec, 690 secs
lola: 24338621 markings, 97978703 edges, 32082 markings/sec, 695 secs
lola: 24499693 markings, 98687035 edges, 32214 markings/sec, 700 secs
lola: 24657836 markings, 99383335 edges, 31629 markings/sec, 705 secs
lola: 24818794 markings, 100059116 edges, 32192 markings/sec, 710 secs
lola: 24977253 markings, 100690750 edges, 31692 markings/sec, 715 secs
lola: 25135842 markings, 101352309 edges, 31718 markings/sec, 720 secs
lola: 25290652 markings, 102013373 edges, 30962 markings/sec, 725 secs
lola: 25447135 markings, 102665856 edges, 31297 markings/sec, 730 secs
lola: 25611147 markings, 103294907 edges, 32802 markings/sec, 735 secs
lola: 25772773 markings, 103912782 edges, 32325 markings/sec, 740 secs
lola: 25927984 markings, 104544573 edges, 31042 markings/sec, 745 secs
lola: 26084461 markings, 105197368 edges, 31295 markings/sec, 750 secs
lola: 26240906 markings, 105853707 edges, 31289 markings/sec, 755 secs
lola: 26402398 markings, 106531757 edges, 32298 markings/sec, 760 secs
lola: 26577787 markings, 107264205 edges, 35078 markings/sec, 765 secs
lola: 26747285 markings, 107955677 edges, 33900 markings/sec, 770 secs
lola: 26922977 markings, 108645115 edges, 35138 markings/sec, 775 secs
lola: 27105029 markings, 109352547 edges, 36410 markings/sec, 780 secs
lola: 27286628 markings, 110061301 edges, 36320 markings/sec, 785 secs
lola: 27468014 markings, 110789052 edges, 36277 markings/sec, 790 secs
lola: 27649084 markings, 111519416 edges, 36214 markings/sec, 795 secs
lola: 27822763 markings, 112251843 edges, 34736 markings/sec, 800 secs
lola: 27996381 markings, 112993831 edges, 34724 markings/sec, 805 secs
lola: 28165259 markings, 113726560 edges, 33776 markings/sec, 810 secs
lola: 28338310 markings, 114447581 edges, 34610 markings/sec, 815 secs
lola: 28507955 markings, 115168052 edges, 33929 markings/sec, 820 secs
lola: 28666296 markings, 115865173 edges, 31668 markings/sec, 825 secs
lola: 28832986 markings, 116573456 edges, 33338 markings/sec, 830 secs
lola: 29001308 markings, 117256775 edges, 33664 markings/sec, 835 secs
lola: 29176339 markings, 117928103 edges, 35006 markings/sec, 840 secs
lola: 29350861 markings, 118606313 edges, 34904 markings/sec, 845 secs
lola: 29522242 markings, 119305831 edges, 34276 markings/sec, 850 secs
lola: 29688578 markings, 120016196 edges, 33267 markings/sec, 855 secs
lola: 29855144 markings, 120716316 edges, 33313 markings/sec, 860 secs
lola: 30025024 markings, 121375285 edges, 33976 markings/sec, 865 secs
lola: 30197601 markings, 122038255 edges, 34515 markings/sec, 870 secs
lola: 30366911 markings, 122713373 edges, 33862 markings/sec, 875 secs
lola: 30533008 markings, 123407346 edges, 33219 markings/sec, 880 secs
lola: 30698307 markings, 124101053 edges, 33060 markings/sec, 885 secs
lola: 30867604 markings, 124804028 edges, 33859 markings/sec, 890 secs
lola: 31047688 markings, 125510701 edges, 36017 markings/sec, 895 secs
lola: 31223240 markings, 126228592 edges, 35110 markings/sec, 900 secs
lola: 31388374 markings, 126942281 edges, 33027 markings/sec, 905 secs
lola: 31558669 markings, 127648847 edges, 34059 markings/sec, 910 secs
lola: 31731141 markings, 128347747 edges, 34494 markings/sec, 915 secs
lola: 31897076 markings, 129056588 edges, 33187 markings/sec, 920 secs
lola: 32069283 markings, 129770152 edges, 34441 markings/sec, 925 secs
lola: 32247361 markings, 130437021 edges, 35616 markings/sec, 930 secs
lola: 32416821 markings, 131117539 edges, 33892 markings/sec, 935 secs
lola: 32591453 markings, 131796205 edges, 34926 markings/sec, 940 secs
lola: 32754428 markings, 132506608 edges, 32595 markings/sec, 945 secs
lola: 32928701 markings, 133195875 edges, 34855 markings/sec, 950 secs
lola: 33098471 markings, 133885954 edges, 33954 markings/sec, 955 secs
lola: 33267282 markings, 134571454 edges, 33762 markings/sec, 960 secs
lola: 33435001 markings, 135242304 edges, 33544 markings/sec, 965 secs
lola: 33601095 markings, 135942922 edges, 33219 markings/sec, 970 secs
lola: 33772387 markings, 136661563 edges, 34258 markings/sec, 975 secs
lola: 33941382 markings, 137375611 edges, 33799 markings/sec, 980 secs
lola: 34111720 markings, 138100203 edges, 34068 markings/sec, 985 secs
lola: 34281449 markings, 138802937 edges, 33946 markings/sec, 990 secs
lola: 34454910 markings, 139467774 edges, 34692 markings/sec, 995 secs
lola: 34622618 markings, 140134132 edges, 33542 markings/sec, 1000 secs
lola: 34784614 markings, 140797031 edges, 32399 markings/sec, 1005 secs
lola: 34940986 markings, 141480500 edges, 31274 markings/sec, 1010 secs
lola: 35102926 markings, 142167257 edges, 32388 markings/sec, 1015 secs
lola: 35275559 markings, 142852087 edges, 34527 markings/sec, 1020 secs
lola: 35449235 markings, 143527386 edges, 34735 markings/sec, 1025 secs
lola: 35619026 markings, 144191634 edges, 33958 markings/sec, 1030 secs
lola: 35791167 markings, 144914145 edges, 34428 markings/sec, 1035 secs
lola: 35961436 markings, 145621851 edges, 34054 markings/sec, 1040 secs
lola: 36129971 markings, 146314297 edges, 33707 markings/sec, 1045 secs
lola: 36294466 markings, 147001425 edges, 32899 markings/sec, 1050 secs
lola: 36464960 markings, 147706233 edges, 34099 markings/sec, 1055 secs
lola: 36632617 markings, 148418396 edges, 33531 markings/sec, 1060 secs
lola: 36798880 markings, 149108531 edges, 33253 markings/sec, 1065 secs
lola: 36966020 markings, 149811428 edges, 33428 markings/sec, 1070 secs
lola: 37132928 markings, 150524990 edges, 33382 markings/sec, 1075 secs
lola: 37292319 markings, 151246773 edges, 31878 markings/sec, 1080 secs
lola: 37452125 markings, 151931864 edges, 31961 markings/sec, 1085 secs
lola: 37612622 markings, 152615089 edges, 32099 markings/sec, 1090 secs
lola: 37778177 markings, 153315465 edges, 33111 markings/sec, 1095 secs
lola: 37951321 markings, 154030795 edges, 34629 markings/sec, 1100 secs
lola: 38109921 markings, 154717855 edges, 31720 markings/sec, 1105 secs
lola: 38267212 markings, 155400778 edges, 31458 markings/sec, 1110 secs
lola: 38420608 markings, 156052783 edges, 30679 markings/sec, 1115 secs
lola: 38579515 markings, 156729307 edges, 31781 markings/sec, 1120 secs
lola: 38731705 markings, 157372679 edges, 30438 markings/sec, 1125 secs
lola: 38891910 markings, 158049034 edges, 32041 markings/sec, 1130 secs
lola: 39046415 markings, 158699518 edges, 30901 markings/sec, 1135 secs
lola: 39190716 markings, 159364827 edges, 28860 markings/sec, 1140 secs
lola: 39346883 markings, 160032770 edges, 31233 markings/sec, 1145 secs
lola: 39516924 markings, 160749102 edges, 34008 markings/sec, 1150 secs
lola: 39683334 markings, 161443947 edges, 33282 markings/sec, 1155 secs
lola: 39848148 markings, 162121317 edges, 32963 markings/sec, 1160 secs
lola: 40010602 markings, 162795539 edges, 32491 markings/sec, 1165 secs
lola: 40171891 markings, 163464731 edges, 32258 markings/sec, 1170 secs
lola: 40328532 markings, 164143042 edges, 31328 markings/sec, 1175 secs
lola: 40502912 markings, 164805549 edges, 34876 markings/sec, 1180 secs
lola: 40673169 markings, 165472009 edges, 34051 markings/sec, 1185 secs
lola: 40840527 markings, 166163455 edges, 33472 markings/sec, 1190 secs
lola: 41012712 markings, 166846892 edges, 34437 markings/sec, 1195 secs
lola: 41177348 markings, 167511458 edges, 32927 markings/sec, 1200 secs
lola: 41339428 markings, 168188965 edges, 32416 markings/sec, 1205 secs
lola: 41499027 markings, 168864176 edges, 31920 markings/sec, 1210 secs
lola: 41669356 markings, 169516908 edges, 34066 markings/sec, 1215 secs
lola: 41836558 markings, 170166058 edges, 33440 markings/sec, 1220 secs
lola: 42002440 markings, 170829609 edges, 33176 markings/sec, 1225 secs
lola: 42163827 markings, 171482006 edges, 32277 markings/sec, 1230 secs
lola: 42333471 markings, 172154631 edges, 33929 markings/sec, 1235 secs
lola: 42516074 markings, 172816525 edges, 36521 markings/sec, 1240 secs
lola: 42693739 markings, 173505699 edges, 35533 markings/sec, 1245 secs
lola: 42863255 markings, 174199059 edges, 33903 markings/sec, 1250 secs
lola: 43036012 markings, 174844009 edges, 34551 markings/sec, 1255 secs
lola: 43200305 markings, 175467311 edges, 32859 markings/sec, 1260 secs
lola: 43356764 markings, 176112929 edges, 31292 markings/sec, 1265 secs
lola: 43521139 markings, 176752197 edges, 32875 markings/sec, 1270 secs
lola: 43680341 markings, 177387512 edges, 31840 markings/sec, 1275 secs
lola: 43838678 markings, 177993168 edges, 31667 markings/sec, 1280 secs
lola: 43999474 markings, 178647211 edges, 32159 markings/sec, 1285 secs
lola: 44161166 markings, 179303234 edges, 32338 markings/sec, 1290 secs
lola: 44321194 markings, 179935880 edges, 32006 markings/sec, 1295 secs
lola: 44480866 markings, 180578389 edges, 31934 markings/sec, 1300 secs
lola: 44644676 markings, 181228728 edges, 32762 markings/sec, 1305 secs
lola: 44806674 markings, 181862637 edges, 32400 markings/sec, 1310 secs
lola: 44966265 markings, 182520189 edges, 31918 markings/sec, 1315 secs
lola: 45124255 markings, 183168174 edges, 31598 markings/sec, 1320 secs
lola: 45287006 markings, 183799396 edges, 32550 markings/sec, 1325 secs
lola: 45444468 markings, 184433599 edges, 31492 markings/sec, 1330 secs
lola: 45600992 markings, 185069430 edges, 31305 markings/sec, 1335 secs
lola: 45768030 markings, 185742509 edges, 33408 markings/sec, 1340 secs
lola: 45939972 markings, 186411725 edges, 34388 markings/sec, 1345 secs
lola: 46110056 markings, 187079333 edges, 34017 markings/sec, 1350 secs
lola: 46280701 markings, 187752285 edges, 34129 markings/sec, 1355 secs
lola: 46440650 markings, 188402671 edges, 31990 markings/sec, 1360 secs
lola: 46615884 markings, 189042736 edges, 35047 markings/sec, 1365 secs
lola: 46778485 markings, 189721240 edges, 32520 markings/sec, 1370 secs
lola: 46937112 markings, 190366918 edges, 31725 markings/sec, 1375 secs
lola: 47094552 markings, 191003836 edges, 31488 markings/sec, 1380 secs
lola: 47247779 markings, 191675183 edges, 30645 markings/sec, 1385 secs
lola: 47407591 markings, 192352291 edges, 31962 markings/sec, 1390 secs
lola: 47574457 markings, 192996369 edges, 33373 markings/sec, 1395 secs
lola: 47737709 markings, 193655617 edges, 32650 markings/sec, 1400 secs
lola: 47897107 markings, 194301386 edges, 31880 markings/sec, 1405 secs
lola: 48070669 markings, 194910756 edges, 34712 markings/sec, 1410 secs
lola: 48237632 markings, 195559979 edges, 33393 markings/sec, 1415 secs
lola: 48400887 markings, 196219469 edges, 32651 markings/sec, 1420 secs
lola: 48559036 markings, 196880395 edges, 31630 markings/sec, 1425 secs
lola: 48720536 markings, 197525595 edges, 32300 markings/sec, 1430 secs
lola: 48874494 markings, 198151281 edges, 30792 markings/sec, 1435 secs
lola: 49024744 markings, 198786754 edges, 30050 markings/sec, 1440 secs
lola: 49180549 markings, 199452672 edges, 31161 markings/sec, 1445 secs
lola: 49335895 markings, 200101996 edges, 31069 markings/sec, 1450 secs
lola: 49499146 markings, 200768487 edges, 32650 markings/sec, 1455 secs
lola: 49654651 markings, 201449380 edges, 31101 markings/sec, 1460 secs
lola: 49811389 markings, 202105890 edges, 31348 markings/sec, 1465 secs
lola: 49972798 markings, 202746846 edges, 32282 markings/sec, 1470 secs
lola: 50124593 markings, 203372951 edges, 30359 markings/sec, 1475 secs
lola: 50264183 markings, 203955025 edges, 27918 markings/sec, 1480 secs
lola: 50421281 markings, 204571810 edges, 31420 markings/sec, 1485 secs
lola: 50576496 markings, 205194727 edges, 31043 markings/sec, 1490 secs
lola: 50736454 markings, 205823054 edges, 31992 markings/sec, 1495 secs
lola: 50904510 markings, 206474743 edges, 33611 markings/sec, 1500 secs
lola: 51068416 markings, 207128675 edges, 32781 markings/sec, 1505 secs
lola: 51227355 markings, 207780805 edges, 31788 markings/sec, 1510 secs
lola: 51383476 markings, 208439000 edges, 31224 markings/sec, 1515 secs
lola: 51540497 markings, 209100000 edges, 31404 markings/sec, 1520 secs
lola: 51699047 markings, 209733554 edges, 31710 markings/sec, 1525 secs
lola: 51851098 markings, 210397803 edges, 30410 markings/sec, 1530 secs
lola: 52000673 markings, 211051477 edges, 29915 markings/sec, 1535 secs
lola: 52156236 markings, 211674235 edges, 31113 markings/sec, 1540 secs
lola: 52323481 markings, 212295158 edges, 33449 markings/sec, 1545 secs
lola: 52486382 markings, 212935982 edges, 32580 markings/sec, 1550 secs
lola: 52644330 markings, 213586890 edges, 31590 markings/sec, 1555 secs
lola: 52797351 markings, 214192595 edges, 30604 markings/sec, 1560 secs
lola: 52945589 markings, 214808576 edges, 29648 markings/sec, 1565 secs
lola: 53096108 markings, 215434236 edges, 30104 markings/sec, 1570 secs
lola: 53252848 markings, 216079258 edges, 31348 markings/sec, 1575 secs
lola: 53421456 markings, 216700337 edges, 33722 markings/sec, 1580 secs
lola: 53582507 markings, 217352740 edges, 32210 markings/sec, 1585 secs
lola: 53744591 markings, 217999545 edges, 32417 markings/sec, 1590 secs
lola: 53905607 markings, 218649334 edges, 32203 markings/sec, 1595 secs
lola: 54071320 markings, 219282687 edges, 33143 markings/sec, 1600 secs
lola: 54229423 markings, 219932560 edges, 31621 markings/sec, 1605 secs
lola: 54388723 markings, 220584148 edges, 31860 markings/sec, 1610 secs
lola: 54543335 markings, 221224763 edges, 30922 markings/sec, 1615 secs
lola: 54701414 markings, 221862868 edges, 31616 markings/sec, 1620 secs
lola: 54879113 markings, 222512934 edges, 35540 markings/sec, 1625 secs
lola: 55050784 markings, 223172536 edges, 34334 markings/sec, 1630 secs
lola: 55217673 markings, 223835943 edges, 33378 markings/sec, 1635 secs
lola: 55381000 markings, 224491866 edges, 32665 markings/sec, 1640 secs
lola: 55544255 markings, 225139253 edges, 32651 markings/sec, 1645 secs
lola: 55702627 markings, 225801773 edges, 31674 markings/sec, 1650 secs
lola: 55866066 markings, 226442083 edges, 32688 markings/sec, 1655 secs
lola: 56029313 markings, 227093694 edges, 32649 markings/sec, 1660 secs
lola: 56201968 markings, 227729343 edges, 34531 markings/sec, 1665 secs
lola: 56367953 markings, 228369031 edges, 33197 markings/sec, 1670 secs
lola: 56533801 markings, 229026813 edges, 33170 markings/sec, 1675 secs
lola: 56695590 markings, 229669944 edges, 32358 markings/sec, 1680 secs
lola: 56854625 markings, 230312034 edges, 31807 markings/sec, 1685 secs
lola: 57012124 markings, 230966014 edges, 31500 markings/sec, 1690 secs
lola: 57171805 markings, 231609116 edges, 31936 markings/sec, 1695 secs
lola: 57322707 markings, 232186313 edges, 30180 markings/sec, 1700 secs
lola: 57467818 markings, 232771253 edges, 29022 markings/sec, 1705 secs
lola: 57617234 markings, 233375284 edges, 29883 markings/sec, 1710 secs
lola: 57778656 markings, 233984499 edges, 32284 markings/sec, 1715 secs
lola: 57935642 markings, 234611760 edges, 31397 markings/sec, 1720 secs
lola: 58091371 markings, 235245599 edges, 31146 markings/sec, 1725 secs
lola: 58247825 markings, 235877524 edges, 31291 markings/sec, 1730 secs
lola: 58390816 markings, 236453772 edges, 28598 markings/sec, 1735 secs
lola: 58538969 markings, 237086037 edges, 29631 markings/sec, 1740 secs
lola: 58689628 markings, 237746872 edges, 30132 markings/sec, 1745 secs
lola: 58830437 markings, 238335320 edges, 28162 markings/sec, 1750 secs
lola: 58974711 markings, 238970578 edges, 28855 markings/sec, 1755 secs
lola: 59134943 markings, 239582476 edges, 32046 markings/sec, 1760 secs
lola: 59297678 markings, 240211300 edges, 32547 markings/sec, 1765 secs
lola: 59454014 markings, 240869421 edges, 31267 markings/sec, 1770 secs
lola: 59617704 markings, 241521234 edges, 32738 markings/sec, 1775 secs
lola: 59779437 markings, 242177644 edges, 32347 markings/sec, 1780 secs
lola: 59942236 markings, 242827359 edges, 32560 markings/sec, 1785 secs
lola: 60100274 markings, 243475012 edges, 31608 markings/sec, 1790 secs
lola: 60260145 markings, 244115121 edges, 31974 markings/sec, 1795 secs
lola: 60411844 markings, 244733143 edges, 30340 markings/sec, 1800 secs
lola: 60571570 markings, 245391825 edges, 31945 markings/sec, 1805 secs
lola: 60727012 markings, 246058143 edges, 31088 markings/sec, 1810 secs
lola: 60878390 markings, 246724015 edges, 30276 markings/sec, 1815 secs
lola: 61024249 markings, 247364520 edges, 29172 markings/sec, 1820 secs
lola: 61176506 markings, 247971619 edges, 30451 markings/sec, 1825 secs
lola: 61344892 markings, 248608739 edges, 33677 markings/sec, 1830 secs
lola: 61502762 markings, 249210309 edges, 31574 markings/sec, 1835 secs
lola: 61667651 markings, 249861408 edges, 32978 markings/sec, 1840 secs
lola: 61830953 markings, 250512338 edges, 32660 markings/sec, 1845 secs
lola: 61990810 markings, 251148795 edges, 31971 markings/sec, 1850 secs
lola: 62148970 markings, 251789999 edges, 31632 markings/sec, 1855 secs
lola: 62305751 markings, 252427123 edges, 31356 markings/sec, 1860 secs
lola: 62466700 markings, 253080909 edges, 32190 markings/sec, 1865 secs
lola: 62627751 markings, 253735603 edges, 32210 markings/sec, 1870 secs
lola: 62810389 markings, 254471920 edges, 36528 markings/sec, 1875 secs
lola: 62968753 markings, 255105175 edges, 31673 markings/sec, 1880 secs
lola: 63137156 markings, 255774536 edges, 33681 markings/sec, 1885 secs
lola: 63306386 markings, 256448089 edges, 33846 markings/sec, 1890 secs
lola: 63482668 markings, 257148500 edges, 35256 markings/sec, 1895 secs
lola: 63661565 markings, 257843991 edges, 35779 markings/sec, 1900 secs
lola: 63840977 markings, 258561718 edges, 35882 markings/sec, 1905 secs
lola: 64014885 markings, 259258407 edges, 34782 markings/sec, 1910 secs
lola: 64186376 markings, 259963434 edges, 34298 markings/sec, 1915 secs
lola: 64350914 markings, 260639504 edges, 32908 markings/sec, 1920 secs
lola: 64506032 markings, 261270777 edges, 31024 markings/sec, 1925 secs
lola: 64668692 markings, 261920285 edges, 32532 markings/sec, 1930 secs
lola: 64844084 markings, 262622934 edges, 35078 markings/sec, 1935 secs
lola: 65016691 markings, 263335434 edges, 34521 markings/sec, 1940 secs
lola: 65171727 markings, 263974503 edges, 31007 markings/sec, 1945 secs
lola: 65353813 markings, 264661225 edges, 36417 markings/sec, 1950 secs
lola: 65534998 markings, 265345004 edges, 36237 markings/sec, 1955 secs
lola: 65713276 markings, 266017099 edges, 35656 markings/sec, 1960 secs
lola: 65888188 markings, 266703191 edges, 34982 markings/sec, 1965 secs
lola: 66063296 markings, 267405616 edges, 35022 markings/sec, 1970 secs
lola: 66242464 markings, 268107171 edges, 35834 markings/sec, 1975 secs
lola: 66416581 markings, 268797859 edges, 34823 markings/sec, 1980 secs
lola: 66586551 markings, 269480185 edges, 33994 markings/sec, 1985 secs
lola: 66756557 markings, 270174937 edges, 34001 markings/sec, 1990 secs
lola: 66932122 markings, 270879343 edges, 35113 markings/sec, 1995 secs
lola: 67101478 markings, 271569206 edges, 33871 markings/sec, 2000 secs
lola: 67279005 markings, 272259923 edges, 35505 markings/sec, 2005 secs
lola: 67457957 markings, 272998102 edges, 35790 markings/sec, 2010 secs
lola: 67637736 markings, 273718869 edges, 35956 markings/sec, 2015 secs
lola: 67819865 markings, 274427192 edges, 36426 markings/sec, 2020 secs
lola: 67991276 markings, 275134440 edges, 34282 markings/sec, 2025 secs
lola: 68157878 markings, 275830907 edges, 33320 markings/sec, 2030 secs
lola: 68332101 markings, 276497681 edges, 34845 markings/sec, 2035 secs
lola: 68494847 markings, 277160940 edges, 32549 markings/sec, 2040 secs
lola: 68651373 markings, 277798531 edges, 31305 markings/sec, 2045 secs
lola: 68816487 markings, 278449108 edges, 33023 markings/sec, 2050 secs
lola: 68993545 markings, 279118851 edges, 35412 markings/sec, 2055 secs
lola: 69162772 markings, 279773529 edges, 33845 markings/sec, 2060 secs
lola: 69336019 markings, 280455292 edges, 34649 markings/sec, 2065 secs
lola: 69505944 markings, 281130998 edges, 33985 markings/sec, 2070 secs
lola: 69673875 markings, 281811084 edges, 33586 markings/sec, 2075 secs
lola: 69839272 markings, 282489253 edges, 33079 markings/sec, 2080 secs
lola: 70007828 markings, 283173235 edges, 33711 markings/sec, 2085 secs
lola: 70176357 markings, 283852164 edges, 33706 markings/sec, 2090 secs
lola: 70347356 markings, 284540356 edges, 34200 markings/sec, 2095 secs
lola: 70519293 markings, 285241274 edges, 34387 markings/sec, 2100 secs
lola: 70691065 markings, 285929573 edges, 34354 markings/sec, 2105 secs
lola: 70858216 markings, 286606411 edges, 33430 markings/sec, 2110 secs
lola: 71027766 markings, 287293701 edges, 33910 markings/sec, 2115 secs
lola: 71202281 markings, 287953287 edges, 34903 markings/sec, 2120 secs
lola: 71373645 markings, 288613815 edges, 34273 markings/sec, 2125 secs
lola: 71541447 markings, 289300530 edges, 33560 markings/sec, 2130 secs
lola: 71707176 markings, 289995726 edges, 33146 markings/sec, 2135 secs
lola: 71874993 markings, 290680623 edges, 33563 markings/sec, 2140 secs
lola: 72043163 markings, 291326372 edges, 33634 markings/sec, 2145 secs
lola: 72204322 markings, 292019836 edges, 32232 markings/sec, 2150 secs
lola: 72373121 markings, 292725142 edges, 33760 markings/sec, 2155 secs
lola: 72536208 markings, 293425049 edges, 32617 markings/sec, 2160 secs
lola: 72702407 markings, 294066615 edges, 33240 markings/sec, 2165 secs
lola: 72870666 markings, 294720002 edges, 33652 markings/sec, 2170 secs
lola: 73038615 markings, 295369925 edges, 33590 markings/sec, 2175 secs
lola: 73200332 markings, 296050246 edges, 32343 markings/sec, 2180 secs
lola: 73360876 markings, 296732704 edges, 32109 markings/sec, 2185 secs
lola: 73533348 markings, 297401221 edges, 34494 markings/sec, 2190 secs
lola: 73692854 markings, 298011112 edges, 31901 markings/sec, 2195 secs
lola: 73862003 markings, 298710591 edges, 33830 markings/sec, 2200 secs
lola: 74033446 markings, 299427992 edges, 34289 markings/sec, 2205 secs
lola: 74201810 markings, 300151027 edges, 33673 markings/sec, 2210 secs
lola: 74369957 markings, 300853936 edges, 33629 markings/sec, 2215 secs
lola: 74540200 markings, 301553364 edges, 34049 markings/sec, 2220 secs
lola: 74707729 markings, 302245521 edges, 33506 markings/sec, 2225 secs
lola: 74873317 markings, 302936471 edges, 33118 markings/sec, 2230 secs
lola: 75037104 markings, 303626279 edges, 32757 markings/sec, 2235 secs
lola: 75205401 markings, 304322806 edges, 33659 markings/sec, 2240 secs
lola: 75367592 markings, 305004557 edges, 32438 markings/sec, 2245 secs
lola: 75527736 markings, 305694225 edges, 32029 markings/sec, 2250 secs
lola: 75691611 markings, 306379641 edges, 32775 markings/sec, 2255 secs
lola: 75861975 markings, 307100537 edges, 34073 markings/sec, 2260 secs
lola: 76028572 markings, 307804642 edges, 33319 markings/sec, 2265 secs
lola: 76196923 markings, 308508336 edges, 33670 markings/sec, 2270 secs
lola: 76363458 markings, 309220147 edges, 33307 markings/sec, 2275 secs
lola: 76524713 markings, 309940410 edges, 32251 markings/sec, 2280 secs
lola: 76682765 markings, 310634341 edges, 31610 markings/sec, 2285 secs
lola: 76846849 markings, 311337148 edges, 32817 markings/sec, 2290 secs
lola: 77004280 markings, 312006958 edges, 31486 markings/sec, 2295 secs
lola: 77169976 markings, 312721585 edges, 33139 markings/sec, 2300 secs
lola: 77349266 markings, 313412272 edges, 35858 markings/sec, 2305 secs
lola: 77526794 markings, 314075762 edges, 35506 markings/sec, 2310 secs
lola: 77700965 markings, 314745702 edges, 34834 markings/sec, 2315 secs
lola: 77870984 markings, 315448881 edges, 34004 markings/sec, 2320 secs
lola: 78046655 markings, 316098321 edges, 35134 markings/sec, 2325 secs
lola: 78209489 markings, 316778548 edges, 32567 markings/sec, 2330 secs
lola: 78381204 markings, 317432798 edges, 34343 markings/sec, 2335 secs
lola: 78550107 markings, 318095767 edges, 33781 markings/sec, 2340 secs
lola: 78720219 markings, 318758899 edges, 34022 markings/sec, 2345 secs
lola: 78891088 markings, 319423858 edges, 34174 markings/sec, 2350 secs
lola: 79056262 markings, 320094129 edges, 33035 markings/sec, 2355 secs
lola: 79226329 markings, 320756976 edges, 34013 markings/sec, 2360 secs
lola: 79395053 markings, 321438892 edges, 33745 markings/sec, 2365 secs
lola: 79558498 markings, 322092498 edges, 32689 markings/sec, 2370 secs
lola: 79722901 markings, 322737047 edges, 32881 markings/sec, 2375 secs
lola: 79889886 markings, 323407777 edges, 33397 markings/sec, 2380 secs
lola: 80053207 markings, 324082815 edges, 32664 markings/sec, 2385 secs
lola: 80217660 markings, 324730083 edges, 32891 markings/sec, 2390 secs
lola: 80379200 markings, 325395538 edges, 32308 markings/sec, 2395 secs
lola: 80539724 markings, 326059840 edges, 32105 markings/sec, 2400 secs
lola: 80702824 markings, 326720758 edges, 32620 markings/sec, 2405 secs
lola: 80867824 markings, 327378035 edges, 33000 markings/sec, 2410 secs
lola: 81025290 markings, 328041455 edges, 31493 markings/sec, 2415 secs
lola: 81185528 markings, 328675160 edges, 32048 markings/sec, 2420 secs
lola: 81346865 markings, 329341443 edges, 32267 markings/sec, 2425 secs
lola: 81507620 markings, 330012745 edges, 32151 markings/sec, 2430 secs
lola: 81666008 markings, 330661675 edges, 31678 markings/sec, 2435 secs
lola: 81834807 markings, 331291535 edges, 33760 markings/sec, 2440 secs
lola: 82000021 markings, 331923316 edges, 33043 markings/sec, 2445 secs
lola: 82168037 markings, 332560659 edges, 33603 markings/sec, 2450 secs
lola: 82329626 markings, 333202853 edges, 32318 markings/sec, 2455 secs
lola: 82494806 markings, 333823829 edges, 33036 markings/sec, 2460 secs
lola: 82649193 markings, 334447164 edges, 30877 markings/sec, 2465 secs
lola: 82808933 markings, 335068243 edges, 31948 markings/sec, 2470 secs
lola: 82965986 markings, 335708678 edges, 31411 markings/sec, 2475 secs
lola: 83130252 markings, 336362441 edges, 32853 markings/sec, 2480 secs
lola: 83293986 markings, 337021278 edges, 32747 markings/sec, 2485 secs
lola: 83455583 markings, 337678995 edges, 32319 markings/sec, 2490 secs
lola: 83613627 markings, 338351189 edges, 31609 markings/sec, 2495 secs
lola: 83767454 markings, 339030867 edges, 30765 markings/sec, 2500 secs
lola: 83922367 markings, 339707015 edges, 30983 markings/sec, 2505 secs
lola: 84082122 markings, 340360530 edges, 31951 markings/sec, 2510 secs
lola: 84242246 markings, 341023671 edges, 32025 markings/sec, 2515 secs
lola: 84395035 markings, 341680627 edges, 30558 markings/sec, 2520 secs
lola: 84548756 markings, 342354549 edges, 30744 markings/sec, 2525 secs
lola: 84712931 markings, 342988455 edges, 32835 markings/sec, 2530 secs
lola: 84874304 markings, 343632028 edges, 32275 markings/sec, 2535 secs
lola: 85036212 markings, 344266564 edges, 32382 markings/sec, 2540 secs
lola: 85193918 markings, 344949945 edges, 31541 markings/sec, 2545 secs
lola: 85352234 markings, 345601460 edges, 31663 markings/sec, 2550 secs
lola: 85509579 markings, 346260922 edges, 31469 markings/sec, 2555 secs
lola: 85667228 markings, 346906626 edges, 31530 markings/sec, 2560 secs
lola: 85817869 markings, 347537954 edges, 30128 markings/sec, 2565 secs
lola: 85972835 markings, 348160106 edges, 30993 markings/sec, 2570 secs
lola: 86131613 markings, 348778493 edges, 31756 markings/sec, 2575 secs
lola: 86294180 markings, 349397146 edges, 32513 markings/sec, 2580 secs
lola: 86451538 markings, 350001308 edges, 31472 markings/sec, 2585 secs
lola: 86606164 markings, 350635177 edges, 30925 markings/sec, 2590 secs
lola: 86761765 markings, 351264476 edges, 31120 markings/sec, 2595 secs
lola: 86920916 markings, 351911120 edges, 31830 markings/sec, 2600 secs
lola: 87078579 markings, 352560903 edges, 31533 markings/sec, 2605 secs
lola: 87229445 markings, 353212275 edges, 30173 markings/sec, 2610 secs
lola: 87378159 markings, 353874101 edges, 29743 markings/sec, 2615 secs
lola: 87527456 markings, 354526436 edges, 29859 markings/sec, 2620 secs
lola: 87682313 markings, 355167907 edges, 30971 markings/sec, 2625 secs
lola: 87828019 markings, 355820173 edges, 29141 markings/sec, 2630 secs
lola: 87979533 markings, 356447359 edges, 30303 markings/sec, 2635 secs
lola: 88137981 markings, 357061128 edges, 31690 markings/sec, 2640 secs
lola: 88295699 markings, 357676031 edges, 31544 markings/sec, 2645 secs
lola: 88445085 markings, 358307284 edges, 29877 markings/sec, 2650 secs
lola: 88597552 markings, 358950876 edges, 30493 markings/sec, 2655 secs
lola: 88747868 markings, 359561730 edges, 30063 markings/sec, 2660 secs
lola: 88903470 markings, 360189423 edges, 31120 markings/sec, 2665 secs
lola: 89059916 markings, 360812984 edges, 31289 markings/sec, 2670 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 5 unknown 5 5 5 5 5 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: unknown 5 unknown 5 5 5 5 5 1 1 1 1 1 1 1 1

preliminary result: unknown 5 unknown 5 5 5 5 5 1 1 1 1 1 1 1 1
lola: memory consumption: 4758144 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 5 unknown 5 5 5 5 5 1 1 1 1 1 1 1 1
lola: memory consumption: 4758144 KB
lola: time consumption: 3569 seconds

BK_STOP 1527047894468

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="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
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
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 r112-csrt-152666469700569"
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 ;