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 864K
-rw-r--r-- 1 mcc users 4.2K May 30 21:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 30 21:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K May 29 15:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 29 15:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 2.7K May 28 09:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 28 09:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 28 08:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 12K May 28 08:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 4.5K May 28 06:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 28 06:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 8.3K May 27 04:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 27 04:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 6 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw------- 1 mcc users 672K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is EGFr-PT-10421, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749169700272
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527786447564

info: Time: 3600 - MCC
===========================================================================================
prep: translating EGFr-PT-10421 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating EGFr-PT-10421 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ EGFr-PT-10421 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 586/65536 symbol table entries, 1 collisions
lola: preprocessing...
lola: Size of bit vector: 6656
lola: finding significant places
lola: 208 places, 378 transitions, 76 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 731 transition conflict sets
lola: TASK
lola: reading formula from EGFr-PT-10421-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (pp2a_equals_1 <= 0)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (nrg4_equals_1 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (pi3kr_equals_0 <= 0)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (pp2b_equals_0 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(0) : MAX(vav2_equals_0) : MAX(pak1_equals_1) : MAX(0) : MAX(ccbl_equals_1) : MAX(0) : MAX(mtor_ric_equals_1) : MAX(mekk1_equals_0) : MAX(0) : MAX(mekk1_equals_1) : MAX(pip3_equals_0) : MAX(mkk4_equals_1) : MAX(erbb13_equals_0) : MAX(p70s6_1_equals_0) : MAX(ras_equals_1) : MAX(ap1_equals_1)
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(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 0
lola: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: 0 markings, 0 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-0 0 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 0 markings, 0 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 0
lola: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: 0 markings, 0 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-5 0 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 0 markings, 0 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-8 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(ccbl_equals_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ccbl_equals_1)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 3 markings, 2 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-4 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(pak1_equals_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pak1_equals_1)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 10 markings, 9 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(mtor_ric_equals_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mtor_ric_equals_1)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: 1 markings, 0 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-6 0 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(mekk1_equals_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mekk1_equals_0)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 0 markings, 0 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(vav2_equals_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(vav2_equals_0)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 0 markings, 0 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 510 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(mekk1_equals_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mekk1_equals_1)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 8 markings, 7 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 595 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pip3_equals_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pip3_equals_0)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 0 markings, 0 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 714 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(mkk4_equals_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mkk4_equals_1)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 9 markings, 8 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(erbb13_equals_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(erbb13_equals_0)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 0 markings, 0 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1190 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p70s6_1_equals_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p70s6_1_equals_0)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 0 markings, 0 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1784 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ras_equals_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ras_equals_1)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 480765 markings, 1669600 edges, 96153 markings/sec, 0 secs
lola: 954314 markings, 3317355 edges, 94710 markings/sec, 5 secs
lola: 1432287 markings, 4984016 edges, 95595 markings/sec, 10 secs
lola: 1922843 markings, 6689902 edges, 98111 markings/sec, 15 secs
lola: 2372704 markings, 8256263 edges, 89972 markings/sec, 20 secs
lola: 2831328 markings, 9853210 edges, 91725 markings/sec, 25 secs
lola: 3287878 markings, 11448058 edges, 91310 markings/sec, 30 secs
lola: 3758064 markings, 13083413 edges, 94037 markings/sec, 35 secs
lola: 4250764 markings, 14798279 edges, 98540 markings/sec, 40 secs
lola: 4725100 markings, 16455634 edges, 94867 markings/sec, 45 secs
lola: 5192967 markings, 18086745 edges, 93573 markings/sec, 50 secs
lola: 5660985 markings, 19716052 edges, 93604 markings/sec, 55 secs
lola: 6146980 markings, 21407718 edges, 97199 markings/sec, 60 secs
lola: 6638011 markings, 23116376 edges, 98206 markings/sec, 65 secs
lola: 7106610 markings, 24748007 edges, 93720 markings/sec, 70 secs
lola: 7575547 markings, 26382032 edges, 93787 markings/sec, 75 secs
lola: 8044644 markings, 28018850 edges, 93819 markings/sec, 80 secs
lola: 8520816 markings, 29675593 edges, 95234 markings/sec, 85 secs
lola: 8990475 markings, 31312621 edges, 93932 markings/sec, 90 secs
lola: 9469176 markings, 32978186 edges, 95740 markings/sec, 95 secs
lola: 9989288 markings, 34789272 edges, 104022 markings/sec, 100 secs
lola: 10505437 markings, 36586234 edges, 103230 markings/sec, 105 secs
lola: 11017352 markings, 38368317 edges, 102383 markings/sec, 110 secs
lola: 11523663 markings, 40133991 edges, 101262 markings/sec, 115 secs
lola: 12022687 markings, 41868408 edges, 99805 markings/sec, 120 secs
lola: 12519769 markings, 43599469 edges, 99416 markings/sec, 125 secs
lola: 13014616 markings, 45322596 edges, 98969 markings/sec, 130 secs
lola: 13508524 markings, 47041726 edges, 98782 markings/sec, 135 secs
lola: 14000818 markings, 48755160 edges, 98459 markings/sec, 140 secs
lola: 14494866 markings, 50473646 edges, 98810 markings/sec, 145 secs
lola: 14991162 markings, 52205741 edges, 99259 markings/sec, 150 secs
lola: 15484314 markings, 53920836 edges, 98630 markings/sec, 155 secs
lola: 15978158 markings, 55639676 edges, 98769 markings/sec, 160 secs
lola: 16469502 markings, 57349738 edges, 98269 markings/sec, 165 secs
lola: 16963668 markings, 59075956 edges, 98833 markings/sec, 170 secs
lola: 17459686 markings, 60804989 edges, 99204 markings/sec, 175 secs
lola: 17958952 markings, 62543656 edges, 99853 markings/sec, 180 secs
lola: 18449696 markings, 64252148 edges, 98149 markings/sec, 185 secs
lola: 18939996 markings, 65960858 edges, 98060 markings/sec, 190 secs
lola: 19436108 markings, 67686721 edges, 99222 markings/sec, 195 secs
lola: 19932546 markings, 69415273 edges, 99288 markings/sec, 200 secs
lola: 20433849 markings, 71161287 edges, 100261 markings/sec, 205 secs
lola: 20920220 markings, 72853085 edges, 97274 markings/sec, 210 secs
lola: 21416258 markings, 74580781 edges, 99208 markings/sec, 215 secs
lola: 21906117 markings, 76285857 edges, 97972 markings/sec, 220 secs
lola: 22399029 markings, 78003767 edges, 98582 markings/sec, 225 secs
lola: 22899149 markings, 79745944 edges, 100024 markings/sec, 230 secs
lola: 23388472 markings, 81452874 edges, 97865 markings/sec, 235 secs
lola: 23881096 markings, 83168596 edges, 98525 markings/sec, 240 secs
lola: 24386870 markings, 84928697 edges, 101155 markings/sec, 245 secs
lola: 24874292 markings, 86630927 edges, 97484 markings/sec, 250 secs
lola: 25358592 markings, 88315501 edges, 96860 markings/sec, 255 secs
lola: 25834183 markings, 89972546 edges, 95118 markings/sec, 260 secs
lola: 26314078 markings, 91644275 edges, 95979 markings/sec, 265 secs
lola: 26792406 markings, 93312520 edges, 95666 markings/sec, 270 secs
lola: 27279592 markings, 95010994 edges, 97437 markings/sec, 275 secs
lola: 27764495 markings, 96702011 edges, 96981 markings/sec, 280 secs
lola: 28262713 markings, 98436007 edges, 99644 markings/sec, 285 secs
lola: 28762206 markings, 100177165 edges, 99899 markings/sec, 290 secs
lola: 29251909 markings, 101885106 edges, 97941 markings/sec, 295 secs
lola: 29737226 markings, 103574949 edges, 97063 markings/sec, 300 secs
lola: 30219979 markings, 105254661 edges, 96551 markings/sec, 305 secs
lola: 30711452 markings, 106965968 edges, 98295 markings/sec, 310 secs
lola: 31197528 markings, 108657740 edges, 97215 markings/sec, 315 secs
lola: 31683840 markings, 110354725 edges, 97262 markings/sec, 320 secs
lola: 32167142 markings, 112035897 edges, 96660 markings/sec, 325 secs
lola: 32653524 markings, 113727260 edges, 97276 markings/sec, 330 secs
lola: 33141542 markings, 115430798 edges, 97604 markings/sec, 335 secs
lola: 33632690 markings, 117140373 edges, 98230 markings/sec, 340 secs
lola: 34119455 markings, 118833687 edges, 97353 markings/sec, 345 secs
lola: 34601904 markings, 120512563 edges, 96490 markings/sec, 350 secs
lola: 35091297 markings, 122219649 edges, 97879 markings/sec, 355 secs
lola: 35588855 markings, 123949929 edges, 99512 markings/sec, 360 secs
lola: 36076811 markings, 125647829 edges, 97591 markings/sec, 365 secs
lola: 36573611 markings, 127377082 edges, 99360 markings/sec, 370 secs
lola: 37074713 markings, 129121184 edges, 100220 markings/sec, 375 secs
lola: 37577941 markings, 130873417 edges, 100646 markings/sec, 380 secs
lola: 38073568 markings, 132598117 edges, 99125 markings/sec, 385 secs
lola: 38568086 markings, 134321385 edges, 98904 markings/sec, 390 secs
lola: 39069804 markings, 136069332 edges, 100344 markings/sec, 395 secs
lola: 39563468 markings, 137792913 edges, 98733 markings/sec, 400 secs
lola: 40052646 markings, 139494851 edges, 97836 markings/sec, 405 secs
lola: 40551749 markings, 141230759 edges, 99821 markings/sec, 410 secs
lola: 41051212 markings, 142969988 edges, 99893 markings/sec, 415 secs
lola: 41547403 markings, 144699306 edges, 99238 markings/sec, 420 secs
lola: 42053124 markings, 146457647 edges, 101144 markings/sec, 425 secs
lola: 42550611 markings, 148190985 edges, 99497 markings/sec, 430 secs
lola: 43050438 markings, 149936636 edges, 99965 markings/sec, 435 secs
lola: 43552629 markings, 151686750 edges, 100438 markings/sec, 440 secs
lola: 44056908 markings, 153443492 edges, 100856 markings/sec, 445 secs
lola: 44559734 markings, 155196351 edges, 100565 markings/sec, 450 secs
lola: 45061664 markings, 156944882 edges, 100386 markings/sec, 455 secs
lola: 45549683 markings, 158642400 edges, 97604 markings/sec, 460 secs
lola: 46044442 markings, 160365173 edges, 98952 markings/sec, 465 secs
lola: 46532734 markings, 162071836 edges, 97658 markings/sec, 470 secs
lola: 47017020 markings, 163759623 edges, 96857 markings/sec, 475 secs
lola: 47501277 markings, 165444454 edges, 96851 markings/sec, 480 secs
lola: 47988655 markings, 167144029 edges, 97476 markings/sec, 485 secs
lola: 48488350 markings, 168884099 edges, 99939 markings/sec, 490 secs
lola: 48984346 markings, 170611185 edges, 99199 markings/sec, 495 secs
lola: 49481634 markings, 172342020 edges, 99458 markings/sec, 500 secs
lola: 49979662 markings, 174075148 edges, 99606 markings/sec, 505 secs
lola: 50460472 markings, 175748271 edges, 96162 markings/sec, 510 secs
lola: 50948342 markings, 177445673 edges, 97574 markings/sec, 515 secs
lola: 51438393 markings, 179155469 edges, 98010 markings/sec, 520 secs
lola: 51931120 markings, 180869009 edges, 98545 markings/sec, 525 secs
lola: 52422175 markings, 182582171 edges, 98211 markings/sec, 530 secs
lola: 52911149 markings, 184287167 edges, 97795 markings/sec, 535 secs
lola: 53402134 markings, 185995974 edges, 98197 markings/sec, 540 secs
lola: 53892216 markings, 187703831 edges, 98016 markings/sec, 545 secs
lola: 54377072 markings, 189392674 edges, 96971 markings/sec, 550 secs
lola: 54855697 markings, 191058631 edges, 95725 markings/sec, 555 secs
lola: 55331134 markings, 192715833 edges, 95087 markings/sec, 560 secs
lola: 55814984 markings, 194403023 edges, 96770 markings/sec, 565 secs
lola: 56302746 markings, 196101066 edges, 97552 markings/sec, 570 secs
lola: 56797236 markings, 197822215 edges, 98898 markings/sec, 575 secs
lola: 57289349 markings, 199541577 edges, 98423 markings/sec, 580 secs
lola: 57776346 markings, 201239187 edges, 97399 markings/sec, 585 secs
lola: 58260134 markings, 202923552 edges, 96758 markings/sec, 590 secs
lola: 58743561 markings, 204606972 edges, 96685 markings/sec, 595 secs
lola: 59254306 markings, 206386796 edges, 102149 markings/sec, 600 secs
lola: 59762410 markings, 208152941 edges, 101621 markings/sec, 605 secs
lola: 60243809 markings, 209830821 edges, 96280 markings/sec, 610 secs
lola: 60738804 markings, 211560126 edges, 98999 markings/sec, 615 secs
lola: 61232582 markings, 213279790 edges, 98756 markings/sec, 620 secs
lola: 61725959 markings, 214999026 edges, 98675 markings/sec, 625 secs
lola: 62217868 markings, 216711858 edges, 98382 markings/sec, 630 secs
lola: 62712625 markings, 218434145 edges, 98951 markings/sec, 635 secs
lola: 63185294 markings, 220083027 edges, 94534 markings/sec, 640 secs
lola: 63678615 markings, 221805642 edges, 98664 markings/sec, 645 secs
lola: 64189992 markings, 223586682 edges, 102275 markings/sec, 650 secs
lola: 64688035 markings, 225319323 edges, 99609 markings/sec, 655 secs
lola: 65174502 markings, 227016833 edges, 97293 markings/sec, 660 secs
lola: 65670312 markings, 228746621 edges, 99162 markings/sec, 665 secs
lola: 66164798 markings, 230467886 edges, 98897 markings/sec, 670 secs
lola: 66665629 markings, 232217550 edges, 100166 markings/sec, 675 secs
lola: 67165902 markings, 233961568 edges, 100055 markings/sec, 680 secs
lola: 67663772 markings, 235699324 edges, 99574 markings/sec, 685 secs
lola: 68168184 markings, 237458085 edges, 100882 markings/sec, 690 secs
lola: 68659898 markings, 239167824 edges, 98343 markings/sec, 695 secs
lola: 69151636 markings, 240880746 edges, 98348 markings/sec, 700 secs
lola: 69648726 markings, 242610669 edges, 99418 markings/sec, 705 secs
lola: 70145010 markings, 244337990 edges, 99257 markings/sec, 710 secs
lola: 70641347 markings, 246066158 edges, 99267 markings/sec, 715 secs
lola: 71134959 markings, 247785627 edges, 98722 markings/sec, 720 secs
lola: 71627504 markings, 249503228 edges, 98509 markings/sec, 725 secs
lola: 72117446 markings, 251209077 edges, 97988 markings/sec, 730 secs
lola: 72595309 markings, 252870245 edges, 95573 markings/sec, 735 secs
lola: 73080296 markings, 254558548 edges, 96997 markings/sec, 740 secs
lola: 73562993 markings, 256240969 edges, 96539 markings/sec, 745 secs
lola: 74032429 markings, 257876065 edges, 93887 markings/sec, 750 secs
lola: 74516124 markings, 259562355 edges, 96739 markings/sec, 755 secs
lola: 75008010 markings, 261274162 edges, 98377 markings/sec, 760 secs
lola: 75498446 markings, 262979172 edges, 98087 markings/sec, 765 secs
lola: 75986024 markings, 264676845 edges, 97516 markings/sec, 770 secs
lola: 76470255 markings, 266361525 edges, 96846 markings/sec, 775 secs
lola: 76953060 markings, 268042180 edges, 96561 markings/sec, 780 secs
lola: 77430923 markings, 269706664 edges, 95573 markings/sec, 785 secs
lola: 77917082 markings, 271398882 edges, 97232 markings/sec, 790 secs
lola: 78412762 markings, 273126102 edges, 99136 markings/sec, 795 secs
lola: 78906508 markings, 274846225 edges, 98749 markings/sec, 800 secs
lola: 79396852 markings, 276556886 edges, 98069 markings/sec, 805 secs
lola: 79888754 markings, 278274281 edges, 98380 markings/sec, 810 secs
lola: 80383000 markings, 279994323 edges, 98849 markings/sec, 815 secs
lola: 80880169 markings, 281724541 edges, 99434 markings/sec, 820 secs
lola: 81385542 markings, 283485325 edges, 101075 markings/sec, 825 secs
lola: 81894562 markings, 285258742 edges, 101804 markings/sec, 830 secs
lola: 82405866 markings, 287041099 edges, 102261 markings/sec, 835 secs
lola: 82910433 markings, 288800992 edges, 100913 markings/sec, 840 secs
lola: 83422078 markings, 290584169 edges, 102329 markings/sec, 845 secs
lola: 83931324 markings, 292354448 edges, 101849 markings/sec, 850 secs
lola: 84432549 markings, 294101997 edges, 100245 markings/sec, 855 secs
lola: 84933923 markings, 295854751 edges, 100275 markings/sec, 860 secs
lola: 85440798 markings, 297620289 edges, 101375 markings/sec, 865 secs
lola: 85952076 markings, 299400897 edges, 102256 markings/sec, 870 secs
lola: 86467416 markings, 301197154 edges, 103068 markings/sec, 875 secs
lola: 86990254 markings, 303017249 edges, 104568 markings/sec, 880 secs
lola: 87509828 markings, 304825990 edges, 103915 markings/sec, 885 secs
lola: 88026358 markings, 306625855 edges, 103306 markings/sec, 890 secs
lola: 88546730 markings, 308436601 edges, 104074 markings/sec, 895 secs
lola: 89061928 markings, 310229506 edges, 103040 markings/sec, 900 secs
lola: 89571938 markings, 312004122 edges, 102002 markings/sec, 905 secs
lola: 90083033 markings, 313784433 edges, 102219 markings/sec, 910 secs
lola: 90599673 markings, 315582172 edges, 103328 markings/sec, 915 secs
lola: 91108404 markings, 317352389 edges, 101746 markings/sec, 920 secs
lola: 91621073 markings, 319140759 edges, 102534 markings/sec, 925 secs
lola: 92119542 markings, 320874448 edges, 99694 markings/sec, 930 secs
lola: 92611968 markings, 322587866 edges, 98485 markings/sec, 935 secs
lola: 93109273 markings, 324319916 edges, 99461 markings/sec, 940 secs
lola: 93598055 markings, 326022703 edges, 97756 markings/sec, 945 secs
lola: 94088842 markings, 327728438 edges, 98157 markings/sec, 950 secs
lola: 94582504 markings, 329450191 edges, 98732 markings/sec, 955 secs
lola: 95070716 markings, 331157558 edges, 97642 markings/sec, 960 secs
lola: 95563768 markings, 332873007 edges, 98610 markings/sec, 965 secs
lola: 96033027 markings, 334506640 edges, 93852 markings/sec, 970 secs
lola: 96492010 markings, 336107529 edges, 91797 markings/sec, 975 secs
lola: 96962632 markings, 337745091 edges, 94124 markings/sec, 980 secs
lola: 97424956 markings, 339356229 edges, 92465 markings/sec, 985 secs
lola: 97887851 markings, 340967440 edges, 92579 markings/sec, 990 secs
lola: 98355832 markings, 342593760 edges, 93596 markings/sec, 995 secs
lola: 98848532 markings, 344312131 edges, 98540 markings/sec, 1000 secs
lola: 99337984 markings, 346018359 edges, 97890 markings/sec, 1005 secs
lola: 99827364 markings, 347724722 edges, 97876 markings/sec, 1010 secs
lola: 100317141 markings, 349429254 edges, 97955 markings/sec, 1015 secs
lola: 100809966 markings, 351143684 edges, 98565 markings/sec, 1020 secs
lola: 101294558 markings, 352830386 edges, 96918 markings/sec, 1025 secs
lola: 101781764 markings, 354526044 edges, 97441 markings/sec, 1030 secs
lola: 102269764 markings, 356223880 edges, 97600 markings/sec, 1035 secs
lola: 102751244 markings, 357899674 edges, 96296 markings/sec, 1040 secs
lola: 103233783 markings, 359582822 edges, 96508 markings/sec, 1045 secs
lola: 103717452 markings, 361263779 edges, 96734 markings/sec, 1050 secs
lola: 104197727 markings, 362935653 edges, 96055 markings/sec, 1055 secs
lola: 104685518 markings, 364634873 edges, 97558 markings/sec, 1060 secs
lola: 105172659 markings, 366331205 edges, 97428 markings/sec, 1065 secs
lola: 105663274 markings, 368037642 edges, 98123 markings/sec, 1070 secs
lola: 106151775 markings, 369738174 edges, 97700 markings/sec, 1075 secs
lola: 106640956 markings, 371441992 edges, 97836 markings/sec, 1080 secs
lola: 107126572 markings, 373134278 edges, 97123 markings/sec, 1085 secs
lola: 107606882 markings, 374807052 edges, 96062 markings/sec, 1090 secs
lola: 108089242 markings, 376484874 edges, 96472 markings/sec, 1095 secs
lola: 108572459 markings, 378173426 edges, 96643 markings/sec, 1100 secs
lola: 109064064 markings, 379883591 edges, 98321 markings/sec, 1105 secs
lola: 109557836 markings, 381602415 edges, 98754 markings/sec, 1110 secs
lola: 110049489 markings, 383320537 edges, 98331 markings/sec, 1115 secs
lola: 110554377 markings, 385079858 edges, 100978 markings/sec, 1120 secs
lola: 111057869 markings, 386833754 edges, 100698 markings/sec, 1125 secs
lola: 111552404 markings, 388557723 edges, 98907 markings/sec, 1130 secs
lola: 112058484 markings, 390318571 edges, 101216 markings/sec, 1135 secs
lola: 112565651 markings, 392088506 edges, 101433 markings/sec, 1140 secs
lola: 113070422 markings, 393844234 edges, 100954 markings/sec, 1145 secs
lola: 113567402 markings, 395574745 edges, 99396 markings/sec, 1150 secs
lola: 114065966 markings, 397311122 edges, 99713 markings/sec, 1155 secs
lola: 114565489 markings, 399048860 edges, 99905 markings/sec, 1160 secs
lola: 115077576 markings, 400829518 edges, 102417 markings/sec, 1165 secs
lola: 115584868 markings, 402596945 edges, 101458 markings/sec, 1170 secs
lola: 116101860 markings, 404398863 edges, 103398 markings/sec, 1175 secs
lola: 116609785 markings, 406166521 edges, 101585 markings/sec, 1180 secs
lola: 117121212 markings, 407945632 edges, 102285 markings/sec, 1185 secs
lola: 117657212 markings, 409811346 edges, 107200 markings/sec, 1190 secs
lola: 118186786 markings, 411657248 edges, 105915 markings/sec, 1195 secs
lola: 118720116 markings, 413516189 edges, 106666 markings/sec, 1200 secs
lola: 119252382 markings, 415369388 edges, 106453 markings/sec, 1205 secs
lola: 119782624 markings, 417215063 edges, 106048 markings/sec, 1210 secs
lola: 120308742 markings, 419046391 edges, 105224 markings/sec, 1215 secs
lola: 120839442 markings, 420900046 edges, 106140 markings/sec, 1220 secs
lola: 121376193 markings, 422770326 edges, 107350 markings/sec, 1225 secs
lola: 121909370 markings, 424627176 edges, 106635 markings/sec, 1230 secs
lola: 122432246 markings, 426446730 edges, 104575 markings/sec, 1235 secs
lola: 122945436 markings, 428232905 edges, 102638 markings/sec, 1240 secs
lola: 123458244 markings, 430019884 edges, 102562 markings/sec, 1245 secs
lola: 123979856 markings, 431834920 edges, 104322 markings/sec, 1250 secs
lola: 124505092 markings, 433661074 edges, 105047 markings/sec, 1255 secs
lola: 125018820 markings, 435454584 edges, 102746 markings/sec, 1260 secs
lola: 125543784 markings, 437281488 edges, 104993 markings/sec, 1265 secs
lola: 126060197 markings, 439079592 edges, 103283 markings/sec, 1270 secs
lola: 126584840 markings, 440908281 edges, 104929 markings/sec, 1275 secs
lola: 127105450 markings, 442721585 edges, 104122 markings/sec, 1280 secs
lola: 127627648 markings, 444541240 edges, 104440 markings/sec, 1285 secs
lola: 128153610 markings, 446372497 edges, 105192 markings/sec, 1290 secs
lola: 128678169 markings, 448198156 edges, 104912 markings/sec, 1295 secs
lola: 129182226 markings, 449957736 edges, 100811 markings/sec, 1300 secs
lola: 129682217 markings, 451697243 edges, 99998 markings/sec, 1305 secs
lola: 130175718 markings, 453416209 edges, 98700 markings/sec, 1310 secs
lola: 130675881 markings, 455163633 edges, 100033 markings/sec, 1315 secs
lola: 131181768 markings, 456926183 edges, 101177 markings/sec, 1320 secs
lola: 131684570 markings, 458677913 edges, 100560 markings/sec, 1325 secs
lola: 132174242 markings, 460384845 edges, 97934 markings/sec, 1330 secs
lola: 132667550 markings, 462100182 edges, 98662 markings/sec, 1335 secs
lola: 133143994 markings, 463761417 edges, 95289 markings/sec, 1340 secs
lola: 133632489 markings, 465461706 edges, 97699 markings/sec, 1345 secs
lola: 134121049 markings, 467162312 edges, 97712 markings/sec, 1350 secs
lola: 134602086 markings, 468837000 edges, 96207 markings/sec, 1355 secs
lola: 135066536 markings, 470457750 edges, 92890 markings/sec, 1360 secs
lola: 135550804 markings, 472146158 edges, 96854 markings/sec, 1365 secs
lola: 136036679 markings, 473837119 edges, 97175 markings/sec, 1370 secs
lola: 136501311 markings, 475453158 edges, 92926 markings/sec, 1375 secs
lola: 136965141 markings, 477068095 edges, 92766 markings/sec, 1380 secs
lola: 137442241 markings, 478728585 edges, 95420 markings/sec, 1385 secs
lola: 137934004 markings, 480439642 edges, 98353 markings/sec, 1390 secs
lola: 138427304 markings, 482156561 edges, 98660 markings/sec, 1395 secs
lola: 138927954 markings, 483900529 edges, 100130 markings/sec, 1400 secs
lola: 139427416 markings, 485640853 edges, 99892 markings/sec, 1405 secs
lola: 139915954 markings, 487341923 edges, 97708 markings/sec, 1410 secs
lola: 140403550 markings, 489039459 edges, 97519 markings/sec, 1415 secs
lola: 140883402 markings, 490715329 edges, 95970 markings/sec, 1420 secs
lola: 141351134 markings, 492341313 edges, 93546 markings/sec, 1425 secs
lola: 141818968 markings, 493970768 edges, 93567 markings/sec, 1430 secs
lola: 142290918 markings, 495619809 edges, 94390 markings/sec, 1435 secs
lola: 142767228 markings, 497280242 edges, 95262 markings/sec, 1440 secs
lola: 143242680 markings, 498936566 edges, 95090 markings/sec, 1445 secs
lola: 143727432 markings, 500627021 edges, 96950 markings/sec, 1450 secs
lola: 144217104 markings, 502331988 edges, 97934 markings/sec, 1455 secs
lola: 144700319 markings, 504012931 edges, 96643 markings/sec, 1460 secs
lola: 145171525 markings, 505654383 edges, 94241 markings/sec, 1465 secs
lola: 145644315 markings, 507303531 edges, 94558 markings/sec, 1470 secs
lola: 146102156 markings, 508895955 edges, 91568 markings/sec, 1475 secs
lola: 146563402 markings, 510499357 edges, 92249 markings/sec, 1480 secs
lola: 147020766 markings, 512091735 edges, 91473 markings/sec, 1485 secs
lola: 147488348 markings, 513720596 edges, 93516 markings/sec, 1490 secs
lola: 147973977 markings, 515413775 edges, 97126 markings/sec, 1495 secs
lola: 148467350 markings, 517130386 edges, 98675 markings/sec, 1500 secs
lola: 148958102 markings, 518837838 edges, 98150 markings/sec, 1505 secs
lola: 149445298 markings, 520536061 edges, 97439 markings/sec, 1510 secs
lola: 149938322 markings, 522249812 edges, 98605 markings/sec, 1515 secs
lola: 150430590 markings, 523965805 edges, 98454 markings/sec, 1520 secs
lola: 150920167 markings, 525670065 edges, 97915 markings/sec, 1525 secs
lola: 151407403 markings, 527366620 edges, 97447 markings/sec, 1530 secs
lola: 151895969 markings, 529068885 edges, 97713 markings/sec, 1535 secs
lola: 152391186 markings, 530792185 edges, 99043 markings/sec, 1540 secs
lola: 152871331 markings, 532463285 edges, 96029 markings/sec, 1545 secs
lola: 153353658 markings, 534141242 edges, 96465 markings/sec, 1550 secs
lola: 153829996 markings, 535799467 edges, 95268 markings/sec, 1555 secs
lola: 154290913 markings, 537406540 edges, 92183 markings/sec, 1560 secs
lola: 154752530 markings, 539012268 edges, 92323 markings/sec, 1565 secs
lola: 155211686 markings, 540614632 edges, 91831 markings/sec, 1570 secs
lola: 155698656 markings, 542311515 edges, 97394 markings/sec, 1575 secs
lola: 156208631 markings, 544086788 edges, 101995 markings/sec, 1580 secs
lola: 156721690 markings, 545868717 edges, 102612 markings/sec, 1585 secs
lola: 157225291 markings, 547625153 edges, 100720 markings/sec, 1590 secs
lola: 157717382 markings, 549343290 edges, 98418 markings/sec, 1595 secs
lola: 158216946 markings, 551089813 edges, 99913 markings/sec, 1600 secs
lola: 158708759 markings, 552805888 edges, 98363 markings/sec, 1605 secs
lola: 159201272 markings, 554525224 edges, 98503 markings/sec, 1610 secs
lola: 159691478 markings, 556231995 edges, 98041 markings/sec, 1615 secs
lola: 160174300 markings, 557913832 edges, 96564 markings/sec, 1620 secs
lola: 160664210 markings, 559621640 edges, 97982 markings/sec, 1625 secs
lola: 161151281 markings, 561321074 edges, 97414 markings/sec, 1630 secs
lola: 161641866 markings, 563028939 edges, 98117 markings/sec, 1635 secs
lola: 162134953 markings, 564748149 edges, 98617 markings/sec, 1640 secs
lola: 162625688 markings, 566458562 edges, 98147 markings/sec, 1645 secs
lola: 163118924 markings, 568175490 edges, 98647 markings/sec, 1650 secs
lola: 163628130 markings, 569948189 edges, 101841 markings/sec, 1655 secs
lola: 164131924 markings, 571705182 edges, 100759 markings/sec, 1660 secs
lola: 164634806 markings, 573458533 edges, 100576 markings/sec, 1665 secs
lola: 165131312 markings, 575186531 edges, 99301 markings/sec, 1670 secs
lola: 165629621 markings, 576920596 edges, 99662 markings/sec, 1675 secs
lola: 166119306 markings, 578624281 edges, 97937 markings/sec, 1680 secs
lola: 166615888 markings, 580357605 edges, 99316 markings/sec, 1685 secs
lola: 167106030 markings, 582065550 edges, 98028 markings/sec, 1690 secs
lola: 167603730 markings, 583797385 edges, 99540 markings/sec, 1695 secs
lola: 168092702 markings, 585499434 edges, 97794 markings/sec, 1700 secs
lola: 168586005 markings, 587219970 edges, 98661 markings/sec, 1705 secs
lola: 169074814 markings, 588919344 edges, 97762 markings/sec, 1710 secs
lola: 169572640 markings, 590653901 edges, 99565 markings/sec, 1715 secs
lola: 170065060 markings, 592367154 edges, 98484 markings/sec, 1720 secs
lola: 170533782 markings, 594003527 edges, 93744 markings/sec, 1725 secs
lola: 171012370 markings, 595670443 edges, 95718 markings/sec, 1730 secs
lola: 171491622 markings, 597339214 edges, 95850 markings/sec, 1735 secs
lola: 171964058 markings, 598982303 edges, 94487 markings/sec, 1740 secs
lola: 172429932 markings, 600604563 edges, 93175 markings/sec, 1745 secs
lola: 172897142 markings, 602234535 edges, 93442 markings/sec, 1750 secs
lola: 173365544 markings, 603862793 edges, 93680 markings/sec, 1755 secs
lola: 173827205 markings, 605469531 edges, 92332 markings/sec, 1760 secs
lola: 174295674 markings, 607099046 edges, 93694 markings/sec, 1765 secs
lola: 174761477 markings, 608720124 edges, 93161 markings/sec, 1770 secs
lola: 175228956 markings, 610350756 edges, 93496 markings/sec, 1775 secs
lola: local time limit reached - aborting
lola:
preliminary result: 0 1 1 1 1 0 0 1 1 1 1 1 1 1 unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1785 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ap1_equals_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ap1_equals_1)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 14 markings, 13 edges
lola: ========================================

FORMULA EGFr-PT-10421-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(ras_equals_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ras_equals_1)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file EGFr-PT-10421-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: 480633 markings, 1669183 edges, 96127 markings/sec, 0 secs
lola: 955906 markings, 3323003 edges, 95055 markings/sec, 5 secs
lola: 1450664 markings, 5047989 edges, 98952 markings/sec, 10 secs
lola: 1942982 markings, 6761576 edges, 98464 markings/sec, 15 secs
lola: 2435316 markings, 8473693 edges, 98467 markings/sec, 20 secs
lola: 2926159 markings, 10182458 edges, 98169 markings/sec, 25 secs
lola: 3422282 markings, 11915023 edges, 99225 markings/sec, 30 secs
lola: 3905423 markings, 13595057 edges, 96628 markings/sec, 35 secs
lola: 4386332 markings, 15271394 edges, 96182 markings/sec, 40 secs
lola: 4879724 markings, 16994997 edges, 98678 markings/sec, 45 secs
lola: 5388963 markings, 18768175 edges, 101848 markings/sec, 50 secs
lola: 5891415 markings, 20518882 edges, 100490 markings/sec, 55 secs
lola: 6379453 markings, 22218308 edges, 97608 markings/sec, 60 secs
lola: 6868050 markings, 23918253 edges, 97719 markings/sec, 65 secs
lola: 7359163 markings, 25626142 edges, 98223 markings/sec, 70 secs
lola: 7855636 markings, 27358603 edges, 99295 markings/sec, 75 secs
lola: 8357868 markings, 29108552 edges, 100446 markings/sec, 80 secs
lola: 8862442 markings, 30865796 edges, 100915 markings/sec, 85 secs
lola: 9362248 markings, 32606828 edges, 99961 markings/sec, 90 secs
lola: 9866063 markings, 34361405 edges, 100763 markings/sec, 95 secs
lola: 10367666 markings, 36104922 edges, 100321 markings/sec, 100 secs
lola: 10865441 markings, 37839260 edges, 99555 markings/sec, 105 secs
lola: 11358773 markings, 39560162 edges, 98666 markings/sec, 110 secs
lola: 11858447 markings, 41298402 edges, 99935 markings/sec, 115 secs
lola: 12345778 markings, 42994608 edges, 97466 markings/sec, 120 secs
lola: 12837478 markings, 44706081 edges, 98340 markings/sec, 125 secs
lola: 13326669 markings, 46409359 edges, 97838 markings/sec, 130 secs
lola: 13811895 markings, 48099141 edges, 97045 markings/sec, 135 secs
lola: 14296874 markings, 49783864 edges, 96996 markings/sec, 140 secs
lola: 14788371 markings, 51495552 edges, 98299 markings/sec, 145 secs
lola: 15269908 markings, 53174844 edges, 96307 markings/sec, 150 secs
lola: 15747540 markings, 54836615 edges, 95526 markings/sec, 155 secs
lola: 16227094 markings, 56503955 edges, 95911 markings/sec, 160 secs
lola: 16702989 markings, 58163387 edges, 95179 markings/sec, 165 secs
lola: 17194275 markings, 59881773 edges, 98257 markings/sec, 170 secs
lola: 17696786 markings, 61628813 edges, 100502 markings/sec, 175 secs
lola: 18195668 markings, 63367075 edges, 99776 markings/sec, 180 secs
lola: 18681352 markings, 65058186 edges, 97137 markings/sec, 185 secs
lola: 19171562 markings, 66766970 edges, 98042 markings/sec, 190 secs
lola: 19666751 markings, 68491187 edges, 99038 markings/sec, 195 secs
lola: 20157574 markings, 70197455 edges, 98165 markings/sec, 200 secs
lola: 20643704 markings, 71891565 edges, 97226 markings/sec, 205 secs
lola: 21125160 markings, 73566564 edges, 96291 markings/sec, 210 secs
lola: 21611361 markings, 75258910 edges, 97240 markings/sec, 215 secs
lola: 22089775 markings, 76927500 edges, 95683 markings/sec, 220 secs
lola: 22560416 markings, 78567546 edges, 94128 markings/sec, 225 secs
lola: 23038728 markings, 80232809 edges, 95662 markings/sec, 230 secs
lola: 23521147 markings, 81913456 edges, 96484 markings/sec, 235 secs
lola: 24003928 markings, 83595413 edges, 96556 markings/sec, 240 secs
lola: 24494900 markings, 85306363 edges, 98194 markings/sec, 245 secs
lola: 24982514 markings, 87008138 edges, 97523 markings/sec, 250 secs
lola: 25480896 markings, 88742746 edges, 99676 markings/sec, 255 secs
lola: 25976725 markings, 90470436 edges, 99166 markings/sec, 260 secs
lola: 26466724 markings, 92175523 edges, 98000 markings/sec, 265 secs
lola: 26954262 markings, 93875332 edges, 97508 markings/sec, 270 secs
lola: 27443409 markings, 95583229 edges, 97829 markings/sec, 275 secs
lola: 27936458 markings, 97300586 edges, 98610 markings/sec, 280 secs
lola: 28434248 markings, 99032993 edges, 99558 markings/sec, 285 secs
lola: 28934900 markings, 100779467 edges, 100130 markings/sec, 290 secs
lola: 29426479 markings, 102492310 edges, 98316 markings/sec, 295 secs
lola: 29907279 markings, 104166446 edges, 96160 markings/sec, 300 secs
lola: 30391352 markings, 105852079 edges, 96815 markings/sec, 305 secs
lola: 30878115 markings, 107544448 edges, 97353 markings/sec, 310 secs
lola: 31366280 markings, 109245882 edges, 97633 markings/sec, 315 secs
lola: 31856604 markings, 110955143 edges, 98065 markings/sec, 320 secs
lola: 32339790 markings, 112633825 edges, 96637 markings/sec, 325 secs
lola: 32827276 markings, 114332557 edges, 97497 markings/sec, 330 secs
lola: 33308868 markings, 116013567 edges, 96318 markings/sec, 335 secs
lola: 33802493 markings, 117731030 edges, 98725 markings/sec, 340 secs
lola: 34297746 markings, 119453258 edges, 99051 markings/sec, 345 secs
lola: 34773505 markings, 121111243 edges, 95152 markings/sec, 350 secs
lola: 35257620 markings, 122798838 edges, 96823 markings/sec, 355 secs
lola: 35746347 markings, 124499136 edges, 97745 markings/sec, 360 secs
lola: 36215472 markings, 126130385 edges, 93825 markings/sec, 365 secs
lola: 36686539 markings, 127771501 edges, 94213 markings/sec, 370 secs
lola: 37158667 markings, 129413941 edges, 94426 markings/sec, 375 secs
lola: 37633885 markings, 131068006 edges, 95044 markings/sec, 380 secs
lola: 38099128 markings, 132687654 edges, 93049 markings/sec, 385 secs
lola: 38568663 markings, 134323401 edges, 93907 markings/sec, 390 secs
lola: 39048860 markings, 135996457 edges, 96039 markings/sec, 395 secs
lola: 39517654 markings, 137632836 edges, 93759 markings/sec, 400 secs
lola: 39981524 markings, 139247430 edges, 92774 markings/sec, 405 secs
lola: 40450769 markings, 140880300 edges, 93849 markings/sec, 410 secs
lola: 40919160 markings, 142510379 edges, 93678 markings/sec, 415 secs
lola: 41384781 markings, 144132621 edges, 93124 markings/sec, 420 secs
lola: 41888358 markings, 145885836 edges, 100715 markings/sec, 425 secs
lola: 42400567 markings, 147667625 edges, 102442 markings/sec, 430 secs
lola: 42904638 markings, 149428262 edges, 100814 markings/sec, 435 secs
lola: 43413730 markings, 151203489 edges, 101818 markings/sec, 440 secs
lola: 43916730 markings, 152954827 edges, 100600 markings/sec, 445 secs
lola: 44409660 markings, 154672331 edges, 98586 markings/sec, 450 secs
lola: 44897776 markings, 156374420 edges, 97623 markings/sec, 455 secs
lola: 45379606 markings, 158051321 edges, 96366 markings/sec, 460 secs
lola: 45859268 markings, 159720231 edges, 95932 markings/sec, 465 secs
lola: 46353030 markings, 161443611 edges, 98752 markings/sec, 470 secs
lola: 46814418 markings, 163054386 edges, 92278 markings/sec, 475 secs
lola: 47279295 markings, 164672308 edges, 92975 markings/sec, 480 secs
lola: 47751854 markings, 166318239 edges, 94512 markings/sec, 485 secs
lola: 48219488 markings, 167948878 edges, 93527 markings/sec, 490 secs
lola: 48687830 markings, 169577470 edges, 93668 markings/sec, 495 secs
lola: 49152914 markings, 171199160 edges, 93017 markings/sec, 500 secs
lola: 49621701 markings, 172830720 edges, 93757 markings/sec, 505 secs
lola: 50088526 markings, 174454940 edges, 93365 markings/sec, 510 secs
lola: 50563104 markings, 176104376 edges, 94916 markings/sec, 515 secs
lola: 51051614 markings, 177805774 edges, 97702 markings/sec, 520 secs
lola: 51542116 markings, 179516719 edges, 98100 markings/sec, 525 secs
lola: 52015272 markings, 181162625 edges, 94631 markings/sec, 530 secs
lola: 52490048 markings, 182819704 edges, 94955 markings/sec, 535 secs
lola: 52984110 markings, 184541034 edges, 98812 markings/sec, 540 secs
lola: 53470340 markings, 186233940 edges, 97246 markings/sec, 545 secs
lola: 53961632 markings, 187946885 edges, 98258 markings/sec, 550 secs
lola: 54452560 markings, 189655830 edges, 98186 markings/sec, 555 secs
lola: 54948267 markings, 191380831 edges, 99141 markings/sec, 560 secs
lola: 55438510 markings, 193089745 edges, 98049 markings/sec, 565 secs
lola: 55914519 markings, 194750875 edges, 95202 markings/sec, 570 secs
lola: 56385882 markings, 196389513 edges, 94273 markings/sec, 575 secs
lola: 56854151 markings, 198020772 edges, 93654 markings/sec, 580 secs
lola: 57326254 markings, 199670969 edges, 94421 markings/sec, 585 secs
lola: 57800171 markings, 201322143 edges, 94783 markings/sec, 590 secs
lola: 58277109 markings, 202982925 edges, 95388 markings/sec, 595 secs
lola: 58749894 markings, 204628859 edges, 94557 markings/sec, 600 secs
lola: 59230287 markings, 206303443 edges, 96079 markings/sec, 605 secs
lola: 59715574 markings, 207990600 edges, 97057 markings/sec, 610 secs
lola: 60190408 markings, 209644247 edges, 94967 markings/sec, 615 secs
lola: 60669926 markings, 211319790 edges, 95904 markings/sec, 620 secs
lola: 61154476 markings, 213008161 edges, 96910 markings/sec, 625 secs
lola: 61637061 markings, 214688786 edges, 96517 markings/sec, 630 secs
lola: 62111572 markings, 216342352 edges, 94902 markings/sec, 635 secs
lola: 62593166 markings, 218018126 edges, 96319 markings/sec, 640 secs
lola: 63072905 markings, 219689497 edges, 95948 markings/sec, 645 secs
lola: 63547199 markings, 221349197 edges, 94859 markings/sec, 650 secs
lola: 64041667 markings, 223069076 edges, 98894 markings/sec, 655 secs
lola: 64529930 markings, 224768650 edges, 97653 markings/sec, 660 secs
lola: 65010564 markings, 226444800 edges, 96127 markings/sec, 665 secs
lola: 65494274 markings, 228134024 edges, 96742 markings/sec, 670 secs
lola: 65988658 markings, 229855675 edges, 98877 markings/sec, 675 secs
lola: 66467956 markings, 231530594 edges, 95860 markings/sec, 680 secs
lola: 66939004 markings, 233170134 edges, 94210 markings/sec, 685 secs
lola: 67417144 markings, 234840777 edges, 95628 markings/sec, 690 secs
lola: 67904484 markings, 236537534 edges, 97468 markings/sec, 695 secs
lola: 68390712 markings, 238230799 edges, 97246 markings/sec, 700 secs
lola: 68863518 markings, 239876920 edges, 94561 markings/sec, 705 secs
lola: 69359030 markings, 241603270 edges, 99102 markings/sec, 710 secs
lola: 69851122 markings, 243315585 edges, 98418 markings/sec, 715 secs
lola: 70333232 markings, 244993199 edges, 96422 markings/sec, 720 secs
lola: 70812312 markings, 246662776 edges, 95816 markings/sec, 725 secs
lola: 71290132 markings, 248326328 edges, 95564 markings/sec, 730 secs
lola: 71768184 markings, 249993792 edges, 95610 markings/sec, 735 secs
lola: 72249949 markings, 251669516 edges, 96353 markings/sec, 740 secs
lola: 72731091 markings, 253343923 edges, 96228 markings/sec, 745 secs
lola: 73218442 markings, 255040879 edges, 97470 markings/sec, 750 secs
lola: 73705984 markings, 256740044 edges, 97508 markings/sec, 755 secs
lola: 74195748 markings, 258446177 edges, 97953 markings/sec, 760 secs
lola: 74681796 markings, 260137664 edges, 97210 markings/sec, 765 secs
lola: 75162248 markings, 261810471 edges, 96090 markings/sec, 770 secs
lola: 75656262 markings, 263529095 edges, 98803 markings/sec, 775 secs
lola: 76153089 markings, 265258566 edges, 99365 markings/sec, 780 secs
lola: 76644226 markings, 266966681 edges, 98227 markings/sec, 785 secs
lola: 77135823 markings, 268678246 edges, 98319 markings/sec, 790 secs
lola: 77627888 markings, 270390421 edges, 98413 markings/sec, 795 secs
lola: 78124542 markings, 272121306 edges, 99331 markings/sec, 800 secs
lola: 78625462 markings, 273865715 edges, 100184 markings/sec, 805 secs
lola: 79117664 markings, 275581407 edges, 98440 markings/sec, 810 secs
lola: 79606971 markings, 277290509 edges, 97861 markings/sec, 815 secs
lola: 80099513 markings, 279007428 edges, 98508 markings/sec, 820 secs
lola: 80596212 markings, 280735548 edges, 99340 markings/sec, 825 secs
lola: 81089840 markings, 282455662 edges, 98726 markings/sec, 830 secs
lola: 81581808 markings, 284170788 edges, 98394 markings/sec, 835 secs
lola: 82077182 markings, 285894422 edges, 99075 markings/sec, 840 secs
lola: 82570970 markings, 287617233 edges, 98758 markings/sec, 845 secs
lola: 83062632 markings, 289331391 edges, 98332 markings/sec, 850 secs
lola: 83545019 markings, 291010830 edges, 96477 markings/sec, 855 secs
lola: 84031327 markings, 292702920 edges, 97262 markings/sec, 860 secs
lola: 84518528 markings, 294402603 edges, 97440 markings/sec, 865 secs
lola: 85008324 markings, 296113633 edges, 97959 markings/sec, 870 secs
lola: 85497916 markings, 297819250 edges, 97918 markings/sec, 875 secs
lola: 85982614 markings, 299507187 edges, 96940 markings/sec, 880 secs
lola: 86481876 markings, 301247122 edges, 99852 markings/sec, 885 secs
lola: 86986732 markings, 303005287 edges, 100971 markings/sec, 890 secs
lola: 87486818 markings, 304745701 edges, 100017 markings/sec, 895 secs
lola: 87976442 markings, 306451273 edges, 97925 markings/sec, 900 secs
lola: 88464603 markings, 308150370 edges, 97632 markings/sec, 905 secs
lola: 88954079 markings, 309854958 edges, 97895 markings/sec, 910 secs
lola: 89446488 markings, 311567324 edges, 98482 markings/sec, 915 secs
lola: 89936960 markings, 313274878 edges, 98094 markings/sec, 920 secs
lola: 90430976 markings, 314994379 edges, 98803 markings/sec, 925 secs
lola: 90911482 markings, 316664903 edges, 96101 markings/sec, 930 secs
lola: 91384911 markings, 318317043 edges, 94686 markings/sec, 935 secs
lola: 91877966 markings, 320034640 edges, 98611 markings/sec, 940 secs
lola: 92370614 markings, 321749772 edges, 98530 markings/sec, 945 secs
lola: 92860672 markings, 323453324 edges, 98012 markings/sec, 950 secs
lola: 93352089 markings, 325165223 edges, 98283 markings/sec, 955 secs
lola: 93841594 markings, 326869776 edges, 97901 markings/sec, 960 secs
lola: 94331954 markings, 328577095 edges, 98072 markings/sec, 965 secs
lola: 94825744 markings, 330302233 edges, 98758 markings/sec, 970 secs
lola: 95316989 markings, 332015176 edges, 98249 markings/sec, 975 secs
lola: 95815300 markings, 333748532 edges, 99662 markings/sec, 980 secs
lola: 96298514 markings, 335433122 edges, 96643 markings/sec, 985 secs
lola: 96789807 markings, 337143756 edges, 98259 markings/sec, 990 secs
lola: 97278203 markings, 338843915 edges, 97679 markings/sec, 995 secs
lola: 97771225 markings, 340561940 edges, 98604 markings/sec, 1000 secs
lola: 98264587 markings, 342276702 edges, 98672 markings/sec, 1005 secs
lola: 98758270 markings, 343997472 edges, 98737 markings/sec, 1010 secs
lola: 99251220 markings, 345715725 edges, 98590 markings/sec, 1015 secs
lola: 99740502 markings, 347422409 edges, 97856 markings/sec, 1020 secs
lola: 100238470 markings, 349154547 edges, 99594 markings/sec, 1025 secs
lola: 100734968 markings, 350881510 edges, 99300 markings/sec, 1030 secs
lola: 101221807 markings, 352577042 edges, 97368 markings/sec, 1035 secs
lola: 101711318 markings, 354282015 edges, 97902 markings/sec, 1040 secs
lola: 102200397 markings, 355982883 edges, 97816 markings/sec, 1045 secs
lola: 102692470 markings, 357694319 edges, 98415 markings/sec, 1050 secs
lola: 103192110 markings, 359436473 edges, 99928 markings/sec, 1055 secs
lola: 103696385 markings, 361190471 edges, 100855 markings/sec, 1060 secs
lola: 104187424 markings, 362899564 edges, 98208 markings/sec, 1065 secs
lola: 104675257 markings, 364599824 edges, 97567 markings/sec, 1070 secs
lola: 105166476 markings, 366309915 edges, 98244 markings/sec, 1075 secs
lola: 105669282 markings, 368058943 edges, 100561 markings/sec, 1080 secs
lola: 106166373 markings, 369788946 edges, 99418 markings/sec, 1085 secs
lola: 106658092 markings, 371501417 edges, 98344 markings/sec, 1090 secs
lola: 107150666 markings, 373218460 edges, 98515 markings/sec, 1095 secs
lola: 107647462 markings, 374948287 edges, 99359 markings/sec, 1100 secs
lola: 108132518 markings, 376636437 edges, 97011 markings/sec, 1105 secs
lola: 108618349 markings, 378333180 edges, 97166 markings/sec, 1110 secs
lola: 109109639 markings, 380041385 edges, 98258 markings/sec, 1115 secs
lola: 109590916 markings, 381717538 edges, 96255 markings/sec, 1120 secs
lola: 110078388 markings, 383420789 edges, 97494 markings/sec, 1125 secs
lola: 110566130 markings, 385121164 edges, 97548 markings/sec, 1130 secs
lola: 111057668 markings, 386833051 edges, 98308 markings/sec, 1135 secs
lola: 111547662 markings, 388541493 edges, 97999 markings/sec, 1140 secs
lola: 112037300 markings, 390245131 edges, 97928 markings/sec, 1145 secs
lola: 112527876 markings, 391956237 edges, 98115 markings/sec, 1150 secs
lola: 113016970 markings, 393659148 edges, 97819 markings/sec, 1155 secs
lola: 113517614 markings, 395402029 edges, 100129 markings/sec, 1160 secs
lola: 114012790 markings, 397124689 edges, 99035 markings/sec, 1165 secs
lola: 114499884 markings, 398820233 edges, 97419 markings/sec, 1170 secs
lola: 114983908 markings, 400503316 edges, 96805 markings/sec, 1175 secs
lola: 115467020 markings, 402185393 edges, 96622 markings/sec, 1180 secs
lola: 115971630 markings, 403945112 edges, 100922 markings/sec, 1185 secs
lola: 116468022 markings, 405671861 edges, 99278 markings/sec, 1190 secs
lola: 116946775 markings, 407338361 edges, 95751 markings/sec, 1195 secs
lola: 117426502 markings, 409008601 edges, 95945 markings/sec, 1200 secs
lola: 117893618 markings, 410633591 edges, 93423 markings/sec, 1205 secs
lola: 118366924 markings, 412286812 edges, 94661 markings/sec, 1210 secs
lola: 118861674 markings, 414010116 edges, 98950 markings/sec, 1215 secs
lola: 119362727 markings, 415753702 edges, 100211 markings/sec, 1220 secs
lola: 119862278 markings, 417491791 edges, 99910 markings/sec, 1225 secs
lola: 120373260 markings, 419270640 edges, 102196 markings/sec, 1230 secs
lola: 120873792 markings, 421019379 edges, 100106 markings/sec, 1235 secs
lola: 121379234 markings, 422780890 edges, 101088 markings/sec, 1240 secs
lola: 121891603 markings, 424564732 edges, 102474 markings/sec, 1245 secs
lola: 122390232 markings, 426301159 edges, 99726 markings/sec, 1250 secs
lola: 122887341 markings, 428031028 edges, 99422 markings/sec, 1255 secs
lola: 123388206 markings, 429775028 edges, 100173 markings/sec, 1260 secs
lola: 123895772 markings, 431543324 edges, 101513 markings/sec, 1265 secs
lola: 124411858 markings, 433336989 edges, 103217 markings/sec, 1270 secs
lola: 124920724 markings, 435110611 edges, 101773 markings/sec, 1275 secs
lola: 125426343 markings, 436873281 edges, 101124 markings/sec, 1280 secs
lola: 125924112 markings, 438604893 edges, 99554 markings/sec, 1285 secs
lola: 126425464 markings, 440352022 edges, 100270 markings/sec, 1290 secs
lola: 126932908 markings, 442121304 edges, 101489 markings/sec, 1295 secs
lola: 127440310 markings, 443888289 edges, 101480 markings/sec, 1300 secs
lola: 127951182 markings, 445666671 edges, 102174 markings/sec, 1305 secs
lola: 128458408 markings, 447432623 edges, 101445 markings/sec, 1310 secs
lola: 128964046 markings, 449195343 edges, 101128 markings/sec, 1315 secs
lola: 129473342 markings, 450971320 edges, 101859 markings/sec, 1320 secs
lola: 129978932 markings, 452730393 edges, 101118 markings/sec, 1325 secs
lola: 130468366 markings, 454438649 edges, 97887 markings/sec, 1330 secs
lola: 130940830 markings, 456088395 edges, 94493 markings/sec, 1335 secs
lola: 131407677 markings, 457711962 edges, 93369 markings/sec, 1340 secs
lola: 131872298 markings, 459333859 edges, 92924 markings/sec, 1345 secs
lola: 132368686 markings, 461060793 edges, 99278 markings/sec, 1350 secs
lola: 132863889 markings, 462786039 edges, 99041 markings/sec, 1355 secs
lola: 133358276 markings, 464508472 edges, 98877 markings/sec, 1360 secs
lola: 133861126 markings, 466258425 edges, 100570 markings/sec, 1365 secs
lola: 134360879 markings, 467995735 edges, 99951 markings/sec, 1370 secs
lola: 134863326 markings, 469748427 edges, 100489 markings/sec, 1375 secs
lola: 135354056 markings, 471458878 edges, 98146 markings/sec, 1380 secs
lola: 135851316 markings, 473192667 edges, 99452 markings/sec, 1385 secs
lola: 136348870 markings, 474923847 edges, 99511 markings/sec, 1390 secs
lola: 136846718 markings, 476655270 edges, 99570 markings/sec, 1395 secs
lola: 137343016 markings, 478382647 edges, 99260 markings/sec, 1400 secs
lola: 137835022 markings, 480095032 edges, 98401 markings/sec, 1405 secs
lola: 138328804 markings, 481812882 edges, 98756 markings/sec, 1410 secs
lola: 138818199 markings, 483517305 edges, 97879 markings/sec, 1415 secs
lola: 139311012 markings, 485234952 edges, 98563 markings/sec, 1420 secs
lola: 139798740 markings, 486934703 edges, 97546 markings/sec, 1425 secs
lola: 140303011 markings, 488689634 edges, 100854 markings/sec, 1430 secs
lola: 140788448 markings, 490383951 edges, 97087 markings/sec, 1435 secs
lola: 141280138 markings, 492095223 edges, 98338 markings/sec, 1440 secs
lola: 141764651 markings, 493781079 edges, 96903 markings/sec, 1445 secs
lola: 142253245 markings, 495487905 edges, 97719 markings/sec, 1450 secs
lola: 142745988 markings, 497206137 edges, 98549 markings/sec, 1455 secs
lola: 143238370 markings, 498921347 edges, 98476 markings/sec, 1460 secs
lola: 143731146 markings, 500639718 edges, 98555 markings/sec, 1465 secs
lola: 144227389 markings, 502367774 edges, 99249 markings/sec, 1470 secs
lola: 144726298 markings, 504103405 edges, 99782 markings/sec, 1475 secs
lola: 145210694 markings, 505791218 edges, 96879 markings/sec, 1480 secs
lola: 145700303 markings, 507497897 edges, 97922 markings/sec, 1485 secs
lola: 146178896 markings, 509163163 edges, 95719 markings/sec, 1490 secs
lola: 146651811 markings, 510808208 edges, 94583 markings/sec, 1495 secs
lola: 147125252 markings, 512456014 edges, 94688 markings/sec, 1500 secs
lola: 147600572 markings, 514113615 edges, 95064 markings/sec, 1505 secs
lola: 148081644 markings, 515788138 edges, 96214 markings/sec, 1510 secs
lola: 148544416 markings, 517398601 edges, 92554 markings/sec, 1515 secs
lola: 149006856 markings, 519007278 edges, 92488 markings/sec, 1520 secs
lola: 149465379 markings, 520605295 edges, 91705 markings/sec, 1525 secs
lola: 149926145 markings, 522207558 edges, 92153 markings/sec, 1530 secs
lola: 150394538 markings, 523840526 edges, 93679 markings/sec, 1535 secs
lola: 150863800 markings, 525474845 edges, 93852 markings/sec, 1540 secs
lola: 151328498 markings, 527092412 edges, 92940 markings/sec, 1545 secs
lola: 151792028 markings, 528707252 edges, 92706 markings/sec, 1550 secs
lola: 152264284 markings, 530350640 edges, 94451 markings/sec, 1555 secs
lola: 152730781 markings, 531974217 edges, 93299 markings/sec, 1560 secs
lola: 153203589 markings, 533618253 edges, 94562 markings/sec, 1565 secs
lola: 153664906 markings, 535225732 edges, 92263 markings/sec, 1570 secs
lola: 154142731 markings, 536890217 edges, 95565 markings/sec, 1575 secs
lola: 154621290 markings, 538555492 edges, 95712 markings/sec, 1580 secs
lola: 155100014 markings, 540226353 edges, 95745 markings/sec, 1585 secs
lola: 155582182 markings, 541906782 edges, 96434 markings/sec, 1590 secs
lola: 156077684 markings, 543632849 edges, 99100 markings/sec, 1595 secs
lola: 156565432 markings, 545325525 edges, 97550 markings/sec, 1600 secs
lola: 157057448 markings, 547040014 edges, 98403 markings/sec, 1605 secs
lola: 157522194 markings, 548660981 edges, 92949 markings/sec, 1610 secs
lola: 157972929 markings, 550234999 edges, 90147 markings/sec, 1615 secs
lola: 158422248 markings, 551807640 edges, 89864 markings/sec, 1620 secs
lola: 158874962 markings, 553386174 edges, 90543 markings/sec, 1625 secs
lola: 159326843 markings, 554963416 edges, 90376 markings/sec, 1630 secs
lola: 159775725 markings, 556525896 edges, 89776 markings/sec, 1635 secs
lola: 160243769 markings, 558156150 edges, 93609 markings/sec, 1640 secs
lola: 160712324 markings, 559789417 edges, 93711 markings/sec, 1645 secs
lola: 161168671 markings, 561381654 edges, 91269 markings/sec, 1650 secs
lola: 161644211 markings, 563036975 edges, 95108 markings/sec, 1655 secs
lola: 162125432 markings, 564714947 edges, 96244 markings/sec, 1660 secs
lola: 162619362 markings, 566435870 edges, 98786 markings/sec, 1665 secs
lola: 163097644 markings, 568101751 edges, 95656 markings/sec, 1670 secs
lola: 163587734 markings, 569807082 edges, 98018 markings/sec, 1675 secs
lola: 164062066 markings, 571461940 edges, 94866 markings/sec, 1680 secs
lola: 164530844 markings, 573095299 edges, 93756 markings/sec, 1685 secs
lola: 165000237 markings, 574730492 edges, 93879 markings/sec, 1690 secs
lola: 165481285 markings, 576405056 edges, 96210 markings/sec, 1695 secs
lola: 165972430 markings, 578112384 edges, 98229 markings/sec, 1700 secs
lola: 166448443 markings, 579771909 edges, 95203 markings/sec, 1705 secs
lola: 166927024 markings, 581443231 edges, 95716 markings/sec, 1710 secs
lola: 167403644 markings, 583100704 edges, 95324 markings/sec, 1715 secs
lola: 167893125 markings, 584803615 edges, 97896 markings/sec, 1720 secs
lola: 168386464 markings, 586525166 edges, 98668 markings/sec, 1725 secs
lola: 168857272 markings, 588163357 edges, 94162 markings/sec, 1730 secs
lola: 169339732 markings, 589843406 edges, 96492 markings/sec, 1735 secs
lola: 169836514 markings, 591571913 edges, 99356 markings/sec, 1740 secs
lola: 170309829 markings, 593222636 edges, 94663 markings/sec, 1745 secs
lola: 170812030 markings, 594972515 edges, 100440 markings/sec, 1750 secs
lola: 171287602 markings, 596630115 edges, 95114 markings/sec, 1755 secs
lola: 171760246 markings, 598272712 edges, 94529 markings/sec, 1760 secs
lola: 172227060 markings, 599896738 edges, 93363 markings/sec, 1765 secs
lola: 172704988 markings, 601562899 edges, 95586 markings/sec, 1770 secs
lola: 173171930 markings, 603190413 edges, 93388 markings/sec, 1775 secs
lola: 173628306 markings, 604778426 edges, 91275 markings/sec, 1780 secs
lola: time limit reached - aborting
lola:
preliminary result: 0 1 1 1 1 0 0 1 1 1 1 1 1 1 unknown 1
lola:
preliminary result: 0 1 1 1 1 0 0 1 1 1 1 1 1 1 unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 0 1 1 1 1 0 0 1 1 1 1 1 1 1 unknown 1
lola: memory consumption: 18116 KB
lola: time consumption: 3570 seconds

BK_STOP 1527790018400

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

grep: GenericPropertiesVerdict.xml: No such file or directory

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="EGFr-PT-10421"
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/EGFr-PT-10421.tgz
mv EGFr-PT-10421 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 EGFr-PT-10421, 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 r280-csrt-152749169700272"
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 ;