Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2019-input.r132-oct2-155403939100022.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is PolyORBNT-COL-S10J40, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-oct2-155403939100022
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 4.0K Feb 12 10:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 12 10:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 8 12:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 8 11:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 107 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 345 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 00:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K Feb 4 22:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 4 13:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 4 13:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 1 09:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 1 09:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 7 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 93K Mar 10 17:31 model.pnml

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

=== Now, execution of the tool begins

BK_START 1554066404051

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBNT-COL-S10J40 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBNT-COL-S10J40 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ PolyORBNT-COL-S10J40 @ 3565 seconds
lola: LoLA will run for 3565 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 13274/65536 symbol table entries, 4118 collisions
lola: preprocessing...
lola: Size of bit vector: 28608
lola: finding significant places
lola: 894 places, 12380 transitions, 782 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2738 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S10J40-UpperBounds.task
lola: LP says that atomic proposition is always false: (p132 <= 0)
lola: MAX(p805) : MAX(p130) : MAX(p132) : MAX(p234) : MAX(p804) : MAX(p751) : MAX(p803 + p802 + p801 + p800 + p799 + p798 + p797 + p796 + p795 + p794) : MAX(p793) : MAX(p750 + p749 + p748 + p747 + p746 + p745 + p744 + p743 + p742 + p741) : MAX(p189) : MAX(p176) : MAX(p130) : MAX(p234) : MAX(p805) : MAX(p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230) : MAX(p232)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 215 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p132)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p132)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================

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

FORMULA PolyORBNT-COL-S10J40-UpperBounds-1 3 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 245 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p805)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p805)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
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: 17 markings, 16 edges
lola: ========================================

FORMULA PolyORBNT-COL-S10J40-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 263 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p234)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p234)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
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: 6 markings, 5 edges

FORMULA PolyORBNT-COL-S10J40-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p804)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p804)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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 PolyORBNT-COL-S10J40-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 5 will run for 308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p751)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p751)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
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: 22 markings, 21 edges

FORMULA PolyORBNT-COL-S10J40-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p793)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p793)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
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 PolyORBNT-COL-S10J40-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p189)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p189)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
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 PolyORBNT-COL-S10J40-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 417 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p176)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p176)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
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: 5 markings, 4 edges
lola:
FORMULA PolyORBNT-COL-S10J40-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 9 will run for 474 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p130)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p130)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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: 3
lola: SUBRESULT
lola: result: 3
lola: produced by: state space
lola: The maximum value of the given expression is 3
lola: 0 markings, 0 edges
lola:
FORMULA PolyORBNT-COL-S10J40-UpperBounds-11 3 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 10 will run for 553 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p234)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p234)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
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: 6 markings, 5 edges
lola: ========================================

FORMULA PolyORBNT-COL-S10J40-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 659 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p805)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p805)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
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: 17 markings, 16 edges
lola: ========================================

FORMULA PolyORBNT-COL-S10J40-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 818 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p232)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p232)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 3876 markings, 12405 edges, 775 markings/sec, 30 secs
lola: 7798 markings, 24133 edges, 784 markings/sec, 35 secs
lola: 11350 markings, 28378 edges, 710 markings/sec, 40 secs
lola: 14821 markings, 32585 edges, 694 markings/sec, 45 secs
lola: 18293 markings, 36794 edges, 694 markings/sec, 50 secs
lola: 21765 markings, 41004 edges, 694 markings/sec, 55 secs
lola: 25234 markings, 45379 edges, 694 markings/sec, 60 secs
lola: 28708 markings, 49597 edges, 695 markings/sec, 65 secs
lola: 32183 markings, 53987 edges, 695 markings/sec, 70 secs
lola: 35658 markings, 58211 edges, 695 markings/sec, 75 secs
lola: 39134 markings, 62607 edges, 695 markings/sec, 80 secs
lola: 42607 markings, 67006 edges, 695 markings/sec, 85 secs
lola: 46082 markings, 71411 edges, 695 markings/sec, 90 secs
lola: 49557 markings, 75822 edges, 695 markings/sec, 95 secs
lola: 53033 markings, 80236 edges, 695 markings/sec, 100 secs
lola: 56507 markings, 84831 edges, 695 markings/sec, 105 secs
lola: 59982 markings, 89435 edges, 695 markings/sec, 110 secs
lola: 63455 markings, 94046 edges, 695 markings/sec, 115 secs
lola: 66929 markings, 98849 edges, 695 markings/sec, 120 secs
lola: 70401 markings, 103850 edges, 694 markings/sec, 125 secs
lola: 73873 markings, 109441 edges, 694 markings/sec, 130 secs
lola: 77450 markings, 118520 edges, 715 markings/sec, 135 secs
lola: 81350 markings, 128190 edges, 780 markings/sec, 140 secs
lola: 85062 markings, 132459 edges, 742 markings/sec, 145 secs
lola: 88774 markings, 137544 edges, 742 markings/sec, 150 secs
lola: 92493 markings, 141818 edges, 744 markings/sec, 155 secs
lola: 96174 markings, 146902 edges, 736 markings/sec, 160 secs
lola: 99824 markings, 151171 edges, 730 markings/sec, 165 secs
lola: 103470 markings, 156256 edges, 729 markings/sec, 170 secs
lola: 107123 markings, 160520 edges, 731 markings/sec, 175 secs
lola: 110771 markings, 165604 edges, 730 markings/sec, 180 secs
lola: 114417 markings, 170684 edges, 729 markings/sec, 185 secs
lola: 118070 markings, 174951 edges, 731 markings/sec, 190 secs
lola: 121718 markings, 180034 edges, 730 markings/sec, 195 secs
lola: 125368 markings, 184303 edges, 730 markings/sec, 200 secs
lola: 129014 markings, 189390 edges, 729 markings/sec, 205 secs
lola: 132668 markings, 193655 edges, 731 markings/sec, 210 secs
lola: 136317 markings, 198742 edges, 730 markings/sec, 215 secs
lola: 139960 markings, 203821 edges, 729 markings/sec, 220 secs
lola: 143614 markings, 208089 edges, 731 markings/sec, 225 secs
lola: 147263 markings, 213175 edges, 730 markings/sec, 230 secs
lola: 150914 markings, 217445 edges, 730 markings/sec, 235 secs
lola: 154561 markings, 222535 edges, 729 markings/sec, 240 secs
lola: 158213 markings, 227624 edges, 730 markings/sec, 245 secs
lola: 161865 markings, 231891 edges, 730 markings/sec, 250 secs
lola: 165515 markings, 236978 edges, 730 markings/sec, 255 secs
lola: 169161 markings, 242064 edges, 729 markings/sec, 260 secs
lola: 172804 markings, 246319 edges, 729 markings/sec, 265 secs
lola: 176431 markings, 251384 edges, 725 markings/sec, 270 secs
lola: 180051 markings, 256441 edges, 724 markings/sec, 275 secs
lola: 183685 markings, 260687 edges, 727 markings/sec, 280 secs
lola: 187316 markings, 265756 edges, 726 markings/sec, 285 secs
lola: 190939 markings, 270819 edges, 725 markings/sec, 290 secs
lola: 194571 markings, 275061 edges, 726 markings/sec, 295 secs
lola: 198199 markings, 280129 edges, 726 markings/sec, 300 secs
lola: 201824 markings, 285194 edges, 725 markings/sec, 305 secs
lola: 205454 markings, 290265 edges, 726 markings/sec, 310 secs
lola: 209087 markings, 294508 edges, 727 markings/sec, 315 secs
lola: 212715 markings, 299578 edges, 726 markings/sec, 320 secs
lola: 216344 markings, 304648 edges, 726 markings/sec, 325 secs
lola: 219975 markings, 308890 edges, 726 markings/sec, 330 secs
lola: 223617 markings, 313976 edges, 728 markings/sec, 335 secs
lola: 227331 markings, 319151 edges, 743 markings/sec, 340 secs
lola: 231055 markings, 324330 edges, 745 markings/sec, 345 secs
lola: 234775 markings, 329514 edges, 744 markings/sec, 350 secs
lola: 238490 markings, 334682 edges, 743 markings/sec, 355 secs
lola: 242206 markings, 339029 edges, 743 markings/sec, 360 secs
lola: 245890 markings, 344163 edges, 737 markings/sec, 365 secs
lola: 249598 markings, 349335 edges, 742 markings/sec, 370 secs
lola: 253318 markings, 354512 edges, 744 markings/sec, 375 secs
lola: 257034 markings, 359693 edges, 743 markings/sec, 380 secs
lola: 260721 markings, 364833 edges, 737 markings/sec, 385 secs
lola: 264350 markings, 369910 edges, 726 markings/sec, 390 secs
lola: 268006 markings, 375016 edges, 731 markings/sec, 395 secs
lola: 271726 markings, 380206 edges, 744 markings/sec, 400 secs
lola: 275453 markings, 385390 edges, 745 markings/sec, 405 secs
lola: 279181 markings, 390589 edges, 746 markings/sec, 410 secs
lola: 282807 markings, 395665 edges, 725 markings/sec, 415 secs
lola: 286487 markings, 400801 edges, 736 markings/sec, 420 secs
lola: 290300 markings, 406095 edges, 763 markings/sec, 425 secs
lola: 293923 markings, 411167 edges, 725 markings/sec, 430 secs
lola: 297542 markings, 416237 edges, 724 markings/sec, 435 secs
lola: 301159 markings, 422149 edges, 723 markings/sec, 440 secs
lola: 304783 markings, 427220 edges, 725 markings/sec, 445 secs
lola: 308406 markings, 432292 edges, 725 markings/sec, 450 secs
lola: 312004 markings, 438182 edges, 720 markings/sec, 455 secs
lola: 315649 markings, 443285 edges, 729 markings/sec, 460 secs
lola: 319281 markings, 448372 edges, 726 markings/sec, 465 secs
lola: 322903 markings, 454296 edges, 724 markings/sec, 470 secs
lola: 326526 markings, 460222 edges, 725 markings/sec, 475 secs
lola: 330143 markings, 466142 edges, 723 markings/sec, 480 secs
lola: 333842 markings, 472158 edges, 740 markings/sec, 485 secs
lola: 337547 markings, 478182 edges, 741 markings/sec, 490 secs
lola: 341246 markings, 484200 edges, 740 markings/sec, 495 secs
lola: 344929 markings, 491909 edges, 737 markings/sec, 500 secs
lola: 348620 markings, 499635 edges, 738 markings/sec, 505 secs
lola: 352290 markings, 511894 edges, 734 markings/sec, 510 secs
lola: 356037 markings, 516225 edges, 749 markings/sec, 515 secs
lola: 359784 markings, 521368 edges, 749 markings/sec, 520 secs
lola: 363548 markings, 525691 edges, 753 markings/sec, 525 secs
lola: 367294 markings, 530840 edges, 749 markings/sec, 530 secs
lola: 370988 markings, 535164 edges, 739 markings/sec, 535 secs
lola: 374679 markings, 540293 edges, 738 markings/sec, 540 secs
lola: 378380 markings, 544615 edges, 740 markings/sec, 545 secs
lola: 382073 markings, 549754 edges, 739 markings/sec, 550 secs
lola: 385774 markings, 554897 edges, 740 markings/sec, 555 secs
lola: 389470 markings, 559220 edges, 739 markings/sec, 560 secs
lola: 393157 markings, 564347 edges, 737 markings/sec, 565 secs
lola: 396853 markings, 568664 edges, 739 markings/sec, 570 secs
lola: 400538 markings, 573796 edges, 737 markings/sec, 575 secs
lola: 404239 markings, 578116 edges, 740 markings/sec, 580 secs
lola: 407930 markings, 583259 edges, 738 markings/sec, 585 secs
lola: 411635 markings, 588405 edges, 741 markings/sec, 590 secs
lola: 415341 markings, 592743 edges, 741 markings/sec, 595 secs
lola: 419051 markings, 597895 edges, 742 markings/sec, 600 secs
lola: 422758 markings, 603049 edges, 741 markings/sec, 605 secs
lola: 426521 markings, 607445 edges, 753 markings/sec, 610 secs
lola: 430297 markings, 612684 edges, 755 markings/sec, 615 secs
lola: 434071 markings, 617921 edges, 755 markings/sec, 620 secs
lola: 437800 markings, 622282 edges, 746 markings/sec, 625 secs
lola: 441576 markings, 627514 edges, 755 markings/sec, 630 secs
lola: 445212 markings, 632121 edges, 727 markings/sec, 635 secs
lola: 448850 markings, 636846 edges, 728 markings/sec, 640 secs
lola: 452486 markings, 641921 edges, 727 markings/sec, 645 secs
lola: 456125 markings, 646999 edges, 728 markings/sec, 650 secs
lola: 459753 markings, 651238 edges, 726 markings/sec, 655 secs
lola: 463379 markings, 656302 edges, 725 markings/sec, 660 secs
lola: 467001 markings, 661364 edges, 724 markings/sec, 665 secs
lola: 470635 markings, 665609 edges, 727 markings/sec, 670 secs
lola: 474264 markings, 670679 edges, 726 markings/sec, 675 secs
lola: 477893 markings, 675747 edges, 726 markings/sec, 680 secs
lola: 481517 markings, 679982 edges, 725 markings/sec, 685 secs
lola: 485146 markings, 685053 edges, 726 markings/sec, 690 secs
lola: 488855 markings, 690213 edges, 742 markings/sec, 695 secs
lola: 492577 markings, 695396 edges, 744 markings/sec, 700 secs
lola: 496293 markings, 700566 edges, 743 markings/sec, 705 secs
lola: 500018 markings, 704920 edges, 745 markings/sec, 710 secs
lola: 503742 markings, 710098 edges, 745 markings/sec, 715 secs
lola: 507457 markings, 715276 edges, 743 markings/sec, 720 secs
lola: 511183 markings, 720457 edges, 745 markings/sec, 725 secs
lola: 514903 markings, 725641 edges, 744 markings/sec, 730 secs
lola: 518626 markings, 730821 edges, 745 markings/sec, 735 secs
lola: 522350 markings, 735177 edges, 745 markings/sec, 740 secs
lola: 526071 markings, 740362 edges, 744 markings/sec, 745 secs
lola: 529798 markings, 745548 edges, 745 markings/sec, 750 secs
lola: 533522 markings, 750740 edges, 745 markings/sec, 755 secs
lola: 537250 markings, 755925 edges, 746 markings/sec, 760 secs
lola: 540973 markings, 761116 edges, 745 markings/sec, 765 secs
lola: 544691 markings, 766292 edges, 744 markings/sec, 770 secs
lola: 548404 markings, 771474 edges, 743 markings/sec, 775 secs
lola: 552160 markings, 776692 edges, 751 markings/sec, 780 secs
lola: 555925 markings, 781932 edges, 753 markings/sec, 785 secs
lola: 559693 markings, 787174 edges, 754 markings/sec, 790 secs
lola: 563456 markings, 793250 edges, 753 markings/sec, 795 secs
lola: 567211 markings, 798476 edges, 751 markings/sec, 800 secs
lola: 570940 markings, 803678 edges, 746 markings/sec, 805 secs
lola: 574646 markings, 808845 edges, 741 markings/sec, 810 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 3 10 1 1 1 unknown 1 unknown 1 1 3 1 1 unknown unknown
lola: memory consumption: 135620 KB
lola: time consumption: 1108 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 819 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p803 + p802 + p801 + p800 + p799 + p798 + p797 + p796 + p795 + p794)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p803 + p802 + p801 + p800 + p799 + p798 + p797 + p796 + p795 + p794)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges

FORMULA PolyORBNT-COL-S10J40-UpperBounds-6 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1228 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p750 + p749 + p748 + p747 + p746 + p745 + p744 + p743 + p742 + p741)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p750 + p749 + p748 + p747 + p746 + p745 + p744 + p743 + p742 + p741)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBNT-COL-S10J40-UpperBounds-8 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2456 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230)
lola: processed formula length: 289
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
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: 25 markings, 24 edges

FORMULA PolyORBNT-COL-S10J40-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p232)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p232)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S10J40-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 3911 markings, 12538 edges, 782 markings/sec, 30 secs
lola: 7809 markings, 24145 edges, 780 markings/sec, 35 secs
lola: 11355 markings, 28383 edges, 709 markings/sec, 40 secs
lola: 14820 markings, 32584 edges, 693 markings/sec, 45 secs
lola: 18288 markings, 36787 edges, 694 markings/sec, 50 secs
lola: 21770 markings, 41011 edges, 696 markings/sec, 55 secs
lola: 25224 markings, 45367 edges, 691 markings/sec, 60 secs
lola: 28676 markings, 49561 edges, 690 markings/sec, 65 secs
lola: 32131 markings, 53927 edges, 691 markings/sec, 70 secs
lola: 35585 markings, 58128 edges, 691 markings/sec, 75 secs
lola: 39037 markings, 62499 edges, 690 markings/sec, 80 secs
lola: 42491 markings, 66877 edges, 691 markings/sec, 85 secs
lola: 45945 markings, 71257 edges, 691 markings/sec, 90 secs
lola: 49397 markings, 75642 edges, 690 markings/sec, 95 secs
lola: 52848 markings, 80030 edges, 690 markings/sec, 100 secs
lola: 56302 markings, 84601 edges, 691 markings/sec, 105 secs
lola: 59753 markings, 89179 edges, 690 markings/sec, 110 secs
lola: 63203 markings, 93764 edges, 690 markings/sec, 115 secs
lola: 66657 markings, 98544 edges, 691 markings/sec, 120 secs
lola: 70105 markings, 103519 edges, 690 markings/sec, 125 secs
lola: 73551 markings, 108890 edges, 689 markings/sec, 130 secs
lola: 77050 markings, 117124 edges, 700 markings/sec, 135 secs
lola: 80949 markings, 127731 edges, 780 markings/sec, 140 secs
lola: 84640 markings, 131977 edges, 738 markings/sec, 145 secs
lola: 88328 markings, 137034 edges, 738 markings/sec, 150 secs
lola: 92021 markings, 141282 edges, 739 markings/sec, 155 secs
lola: 95690 markings, 146340 edges, 734 markings/sec, 160 secs
lola: 99318 markings, 150585 edges, 726 markings/sec, 165 secs
lola: 102944 markings, 155636 edges, 725 markings/sec, 170 secs
lola: 106571 markings, 159879 edges, 725 markings/sec, 175 secs
lola: 110191 markings, 164928 edges, 724 markings/sec, 180 secs
lola: 113839 markings, 169190 edges, 730 markings/sec, 185 secs
lola: 117488 markings, 174273 edges, 730 markings/sec, 190 secs
lola: 121135 markings, 179357 edges, 729 markings/sec, 195 secs
lola: 124787 markings, 183621 edges, 730 markings/sec, 200 secs
lola: 128434 markings, 188705 edges, 729 markings/sec, 205 secs
lola: 132088 markings, 192975 edges, 731 markings/sec, 210 secs
lola: 135735 markings, 198064 edges, 729 markings/sec, 215 secs
lola: 139383 markings, 203151 edges, 730 markings/sec, 220 secs
lola: 143039 markings, 207418 edges, 731 markings/sec, 225 secs
lola: 146685 markings, 212504 edges, 729 markings/sec, 230 secs
lola: 150338 markings, 216771 edges, 731 markings/sec, 235 secs
lola: 153989 markings, 221858 edges, 730 markings/sec, 240 secs
lola: 157638 markings, 226945 edges, 730 markings/sec, 245 secs
lola: 161287 markings, 231220 edges, 730 markings/sec, 250 secs
lola: 164937 markings, 236307 edges, 730 markings/sec, 255 secs
lola: 168586 markings, 241396 edges, 730 markings/sec, 260 secs
lola: 172239 markings, 245662 edges, 731 markings/sec, 265 secs
lola: 175890 markings, 250753 edges, 730 markings/sec, 270 secs
lola: 179537 markings, 255841 edges, 729 markings/sec, 275 secs
lola: 183191 markings, 260108 edges, 731 markings/sec, 280 secs
lola: 186836 markings, 265199 edges, 729 markings/sec, 285 secs
lola: 190483 markings, 270294 edges, 729 markings/sec, 290 secs
lola: 194136 markings, 274558 edges, 731 markings/sec, 295 secs
lola: 197787 markings, 279650 edges, 730 markings/sec, 300 secs
lola: 201434 markings, 284741 edges, 729 markings/sec, 305 secs
lola: 205089 markings, 289010 edges, 731 markings/sec, 310 secs
lola: 208738 markings, 294101 edges, 730 markings/sec, 315 secs
lola: 212389 markings, 299196 edges, 730 markings/sec, 320 secs
lola: 216034 markings, 304287 edges, 729 markings/sec, 325 secs
lola: 219687 markings, 308560 edges, 731 markings/sec, 330 secs
lola: 223335 markings, 313653 edges, 730 markings/sec, 335 secs
lola: 226983 markings, 318744 edges, 730 markings/sec, 340 secs
lola: 230627 markings, 323836 edges, 729 markings/sec, 345 secs
lola: 234277 markings, 328930 edges, 730 markings/sec, 350 secs
lola: 237927 markings, 333194 edges, 730 markings/sec, 355 secs
lola: 241578 markings, 338291 edges, 730 markings/sec, 360 secs
lola: 245228 markings, 343391 edges, 730 markings/sec, 365 secs
lola: 248875 markings, 348489 edges, 729 markings/sec, 370 secs
lola: 252524 markings, 353591 edges, 730 markings/sec, 375 secs
lola: 256174 markings, 358688 edges, 730 markings/sec, 380 secs
lola: 259822 markings, 363785 edges, 730 markings/sec, 385 secs
lola: 263474 markings, 368885 edges, 730 markings/sec, 390 secs
lola: 267122 markings, 373985 edges, 730 markings/sec, 395 secs
lola: 270776 markings, 378253 edges, 731 markings/sec, 400 secs
lola: 274426 markings, 383353 edges, 730 markings/sec, 405 secs
lola: 278077 markings, 388454 edges, 730 markings/sec, 410 secs
lola: 281722 markings, 394389 edges, 729 markings/sec, 415 secs
lola: 285373 markings, 399493 edges, 730 markings/sec, 420 secs
lola: 289021 markings, 404600 edges, 730 markings/sec, 425 secs
lola: 292669 markings, 409707 edges, 730 markings/sec, 430 secs
lola: 296320 markings, 414810 edges, 730 markings/sec, 435 secs
lola: 299970 markings, 419915 edges, 730 markings/sec, 440 secs
lola: 303623 markings, 425022 edges, 731 markings/sec, 445 secs
lola: 307268 markings, 430965 edges, 729 markings/sec, 450 secs
lola: 310918 markings, 436074 edges, 730 markings/sec, 455 secs
lola: 314564 markings, 442018 edges, 729 markings/sec, 460 secs
lola: 318212 markings, 447126 edges, 730 markings/sec, 465 secs
lola: 321859 markings, 453075 edges, 729 markings/sec, 470 secs
lola: 325506 markings, 458183 edges, 729 markings/sec, 475 secs
lola: 329153 markings, 464137 edges, 729 markings/sec, 480 secs
lola: 332796 markings, 470087 edges, 729 markings/sec, 485 secs
lola: 336437 markings, 476040 edges, 728 markings/sec, 490 secs
lola: 340077 markings, 482841 edges, 728 markings/sec, 495 secs
lola: 343722 markings, 488796 edges, 729 markings/sec, 500 secs
lola: 347356 markings, 496451 edges, 727 markings/sec, 505 secs
lola: 350976 markings, 506662 edges, 724 markings/sec, 510 secs
lola: 354655 markings, 514623 edges, 736 markings/sec, 515 secs
lola: 358350 markings, 518892 edges, 739 markings/sec, 520 secs
lola: 362061 markings, 523978 edges, 742 markings/sec, 525 secs
lola: 365768 markings, 528251 edges, 741 markings/sec, 530 secs
lola: 369426 markings, 533334 edges, 732 markings/sec, 535 secs
lola: 373070 markings, 538417 edges, 729 markings/sec, 540 secs
lola: 376725 markings, 542683 edges, 731 markings/sec, 545 secs
lola: 380371 markings, 547765 edges, 729 markings/sec, 550 secs
lola: 384024 markings, 552030 edges, 731 markings/sec, 555 secs
lola: 387669 markings, 557111 edges, 729 markings/sec, 560 secs
lola: 391322 markings, 561379 edges, 731 markings/sec, 565 secs
lola: 394970 markings, 566466 edges, 730 markings/sec, 570 secs
lola: 398616 markings, 571553 edges, 729 markings/sec, 575 secs
lola: 402274 markings, 575822 edges, 732 markings/sec, 580 secs
lola: 405922 markings, 580909 edges, 730 markings/sec, 585 secs
lola: 409576 markings, 585177 edges, 731 markings/sec, 590 secs
lola: 413227 markings, 590264 edges, 730 markings/sec, 595 secs
lola: 416876 markings, 595349 edges, 730 markings/sec, 600 secs
lola: 420525 markings, 599624 edges, 730 markings/sec, 605 secs
lola: 424174 markings, 604709 edges, 730 markings/sec, 610 secs
lola: 427827 markings, 608976 edges, 731 markings/sec, 615 secs
lola: 431474 markings, 614061 edges, 729 markings/sec, 620 secs
lola: 435123 markings, 619149 edges, 730 markings/sec, 625 secs
lola: 438777 markings, 623416 edges, 731 markings/sec, 630 secs
lola: 442427 markings, 628506 edges, 730 markings/sec, 635 secs
lola: 446074 markings, 633598 edges, 729 markings/sec, 640 secs
lola: 449726 markings, 637867 edges, 730 markings/sec, 645 secs
lola: 453377 markings, 642959 edges, 730 markings/sec, 650 secs
lola: 457026 markings, 648050 edges, 730 markings/sec, 655 secs
lola: 460680 markings, 652317 edges, 731 markings/sec, 660 secs
lola: 464328 markings, 657407 edges, 730 markings/sec, 665 secs
lola: 467978 markings, 662498 edges, 730 markings/sec, 670 secs
lola: 471629 markings, 666775 edges, 730 markings/sec, 675 secs
lola: 475278 markings, 671865 edges, 730 markings/sec, 680 secs
lola: 478930 markings, 676960 edges, 730 markings/sec, 685 secs
lola: 482577 markings, 682049 edges, 729 markings/sec, 690 secs
lola: 486231 markings, 686318 edges, 731 markings/sec, 695 secs
lola: 489870 markings, 691399 edges, 728 markings/sec, 700 secs
lola: 493521 markings, 696496 edges, 730 markings/sec, 705 secs
lola: 497171 markings, 701590 edges, 730 markings/sec, 710 secs
lola: 500820 markings, 705858 edges, 730 markings/sec, 715 secs
lola: 504468 markings, 710957 edges, 730 markings/sec, 720 secs
lola: 508120 markings, 716053 edges, 730 markings/sec, 725 secs
lola: 511770 markings, 721150 edges, 730 markings/sec, 730 secs
lola: 515423 markings, 726249 edges, 731 markings/sec, 735 secs
lola: 519072 markings, 731347 edges, 730 markings/sec, 740 secs
lola: 522723 markings, 736446 edges, 730 markings/sec, 745 secs
lola: 526378 markings, 740714 edges, 731 markings/sec, 750 secs
lola: 530029 markings, 745814 edges, 730 markings/sec, 755 secs
lola: 533678 markings, 750918 edges, 730 markings/sec, 760 secs
lola: 537324 markings, 756019 edges, 729 markings/sec, 765 secs
lola: 540976 markings, 761119 edges, 730 markings/sec, 770 secs
lola: 544626 markings, 766220 edges, 730 markings/sec, 775 secs
lola: 548279 markings, 771323 edges, 731 markings/sec, 780 secs
lola: 551923 markings, 776420 edges, 729 markings/sec, 785 secs
lola: 555572 markings, 781520 edges, 730 markings/sec, 790 secs
lola: 559224 markings, 786624 edges, 730 markings/sec, 795 secs
lola: 562873 markings, 791727 edges, 730 markings/sec, 800 secs
lola: 566520 markings, 797669 edges, 729 markings/sec, 805 secs
lola: 570171 markings, 802773 edges, 730 markings/sec, 810 secs
lola: 573823 markings, 807880 edges, 730 markings/sec, 815 secs
lola: 577471 markings, 812987 edges, 730 markings/sec, 820 secs
lola: 581118 markings, 818930 edges, 729 markings/sec, 825 secs
lola: 584764 markings, 824038 edges, 729 markings/sec, 830 secs
lola: 588412 markings, 829189 edges, 730 markings/sec, 835 secs
lola: 592059 markings, 835094 edges, 729 markings/sec, 840 secs
lola: 595706 markings, 841043 edges, 729 markings/sec, 845 secs
lola: 599353 markings, 846155 edges, 729 markings/sec, 850 secs
lola: 603000 markings, 852107 edges, 729 markings/sec, 855 secs
lola: 606647 markings, 858058 edges, 729 markings/sec, 860 secs
lola: 610286 markings, 864860 edges, 728 markings/sec, 865 secs
lola: 613931 markings, 870818 edges, 729 markings/sec, 870 secs
lola: 617564 markings, 878474 edges, 727 markings/sec, 875 secs
lola: 621194 markings, 886979 edges, 726 markings/sec, 880 secs
lola: 624841 markings, 897486 edges, 729 markings/sec, 885 secs
lola: 628537 markings, 901756 edges, 739 markings/sec, 890 secs
lola: 632232 markings, 906847 edges, 739 markings/sec, 895 secs
lola: 635927 markings, 911121 edges, 739 markings/sec, 900 secs
lola: 639595 markings, 916205 edges, 734 markings/sec, 905 secs
lola: 643244 markings, 920475 edges, 730 markings/sec, 910 secs
lola: 646893 markings, 925557 edges, 730 markings/sec, 915 secs
lola: 650543 markings, 930640 edges, 730 markings/sec, 920 secs
lola: 654196 markings, 934908 edges, 731 markings/sec, 925 secs
lola: 657846 markings, 939994 edges, 730 markings/sec, 930 secs
lola: 661500 markings, 944263 edges, 731 markings/sec, 935 secs
lola: 665148 markings, 949350 edges, 730 markings/sec, 940 secs
lola: 668802 markings, 953622 edges, 731 markings/sec, 945 secs
lola: 672456 markings, 958710 edges, 731 markings/sec, 950 secs
lola: 676089 markings, 963778 edges, 727 markings/sec, 955 secs
lola: 679716 markings, 968018 edges, 725 markings/sec, 960 secs
lola: 683345 markings, 973082 edges, 726 markings/sec, 965 secs
lola: 686974 markings, 977320 edges, 726 markings/sec, 970 secs
lola: 690602 markings, 982384 edges, 726 markings/sec, 975 secs
lola: 694231 markings, 987449 edges, 726 markings/sec, 980 secs
lola: 697865 markings, 991694 edges, 727 markings/sec, 985 secs
lola: 701494 markings, 996760 edges, 726 markings/sec, 990 secs
lola: 705127 markings, 1001005 edges, 727 markings/sec, 995 secs
lola: 708755 markings, 1006068 edges, 726 markings/sec, 1000 secs
lola: 712380 markings, 1011130 edges, 725 markings/sec, 1005 secs
lola: 716009 markings, 1015371 edges, 726 markings/sec, 1010 secs
lola: 719632 markings, 1020429 edges, 725 markings/sec, 1015 secs
lola: 723282 markings, 1025521 edges, 730 markings/sec, 1020 secs
lola: 726927 markings, 1029778 edges, 729 markings/sec, 1025 secs
lola: 730577 markings, 1034875 edges, 730 markings/sec, 1030 secs
lola: 734226 markings, 1039972 edges, 730 markings/sec, 1035 secs
lola: 737880 markings, 1045065 edges, 731 markings/sec, 1040 secs
lola: 741536 markings, 1049336 edges, 731 markings/sec, 1045 secs
lola: 745189 markings, 1054432 edges, 731 markings/sec, 1050 secs
lola: 748849 markings, 1059536 edges, 732 markings/sec, 1055 secs
lola: 752685 markings, 1064024 edges, 767 markings/sec, 1060 secs
lola: 756559 markings, 1069379 edges, 775 markings/sec, 1065 secs
lola: 760321 markings, 1074606 edges, 752 markings/sec, 1070 secs
lola: 764023 markings, 1079759 edges, 740 markings/sec, 1075 secs
lola: 767700 markings, 1084883 edges, 735 markings/sec, 1080 secs
lola: 771483 markings, 1089304 edges, 757 markings/sec, 1085 secs
lola: 775307 markings, 1094603 edges, 765 markings/sec, 1090 secs
lola: 779117 markings, 1099889 edges, 762 markings/sec, 1095 secs
lola: 782914 markings, 1105156 edges, 759 markings/sec, 1100 secs
lola: 786615 markings, 1110320 edges, 740 markings/sec, 1105 secs
lola: 790306 markings, 1115463 edges, 738 markings/sec, 1110 secs
lola: 793827 markings, 1119741 edges, 704 markings/sec, 1115 secs
lola: 797455 markings, 1124655 edges, 726 markings/sec, 1120 secs
lola: 801087 markings, 1129734 edges, 726 markings/sec, 1125 secs
lola: 804719 markings, 1134810 edges, 726 markings/sec, 1130 secs
lola: 808352 markings, 1139891 edges, 727 markings/sec, 1135 secs
lola: 811984 markings, 1144971 edges, 726 markings/sec, 1140 secs
lola: 815613 markings, 1150045 edges, 726 markings/sec, 1145 secs
lola: 819243 markings, 1155123 edges, 726 markings/sec, 1150 secs
lola: 822873 markings, 1160200 edges, 726 markings/sec, 1155 secs
lola: 826505 markings, 1165282 edges, 726 markings/sec, 1160 secs
lola: 830136 markings, 1170364 edges, 726 markings/sec, 1165 secs
lola: 833765 markings, 1175442 edges, 726 markings/sec, 1170 secs
lola: 837394 markings, 1180523 edges, 726 markings/sec, 1175 secs
lola: 841020 markings, 1186443 edges, 725 markings/sec, 1180 secs
lola: 844651 markings, 1191526 edges, 726 markings/sec, 1185 secs
lola: 848282 markings, 1196610 edges, 726 markings/sec, 1190 secs
lola: 851909 markings, 1201691 edges, 725 markings/sec, 1195 secs
lola: 855536 markings, 1207617 edges, 725 markings/sec, 1200 secs
lola: 859168 markings, 1212704 edges, 726 markings/sec, 1205 secs
lola: 862794 markings, 1218630 edges, 725 markings/sec, 1210 secs
lola: 866425 markings, 1223717 edges, 726 markings/sec, 1215 secs
lola: 870050 markings, 1229645 edges, 725 markings/sec, 1220 secs
lola: 873676 markings, 1235567 edges, 725 markings/sec, 1225 secs
lola: 877283 markings, 1241481 edges, 721 markings/sec, 1230 secs
lola: 880916 markings, 1247425 edges, 727 markings/sec, 1235 secs
lola: 884543 markings, 1254215 edges, 725 markings/sec, 1240 secs
lola: 888177 markings, 1261006 edges, 727 markings/sec, 1245 secs
lola: 891791 markings, 1269502 edges, 723 markings/sec, 1250 secs
lola: 895261 markings, 1280709 edges, 694 markings/sec, 1255 secs
lola: 898860 markings, 1284962 edges, 720 markings/sec, 1260 secs
lola: 902452 markings, 1290038 edges, 718 markings/sec, 1265 secs
lola: 906046 markings, 1294918 edges, 719 markings/sec, 1270 secs
lola: 909643 markings, 1299364 edges, 719 markings/sec, 1275 secs
lola: 913230 markings, 1304435 edges, 717 markings/sec, 1280 secs
lola: 916828 markings, 1308695 edges, 720 markings/sec, 1285 secs
lola: 920427 markings, 1313768 edges, 720 markings/sec, 1290 secs
lola: 924018 markings, 1318845 edges, 718 markings/sec, 1295 secs
lola: 927614 markings, 1323103 edges, 719 markings/sec, 1300 secs
lola: 931209 markings, 1328173 edges, 719 markings/sec, 1305 secs
lola: 934804 markings, 1333253 edges, 719 markings/sec, 1310 secs
lola: 938399 markings, 1337512 edges, 719 markings/sec, 1315 secs
lola: 941993 markings, 1342582 edges, 719 markings/sec, 1320 secs
lola: 945587 markings, 1346838 edges, 719 markings/sec, 1325 secs
lola: 949181 markings, 1351916 edges, 719 markings/sec, 1330 secs
lola: 952772 markings, 1356987 edges, 718 markings/sec, 1335 secs
lola: 956363 markings, 1362065 edges, 718 markings/sec, 1340 secs
lola: 959963 markings, 1366323 edges, 720 markings/sec, 1345 secs
lola: 963556 markings, 1371399 edges, 719 markings/sec, 1350 secs
lola: 967144 markings, 1376474 edges, 718 markings/sec, 1355 secs
lola: 970743 markings, 1380729 edges, 720 markings/sec, 1360 secs
lola: 974335 markings, 1385808 edges, 718 markings/sec, 1365 secs
lola: 977927 markings, 1390889 edges, 718 markings/sec, 1370 secs
lola: 981525 markings, 1395142 edges, 720 markings/sec, 1375 secs
lola: 985118 markings, 1400224 edges, 719 markings/sec, 1380 secs
lola: 988709 markings, 1405305 edges, 718 markings/sec, 1385 secs
lola: 992303 markings, 1410380 edges, 719 markings/sec, 1390 secs
lola: 995899 markings, 1415467 edges, 719 markings/sec, 1395 secs
lola: 999493 markings, 1419725 edges, 719 markings/sec, 1400 secs
lola: 1003088 markings, 1424802 edges, 719 markings/sec, 1405 secs
lola: 1006681 markings, 1429886 edges, 719 markings/sec, 1410 secs
lola: 1010275 markings, 1434964 edges, 719 markings/sec, 1415 secs
lola: 1013867 markings, 1440050 edges, 718 markings/sec, 1420 secs
lola: 1017462 markings, 1444307 edges, 719 markings/sec, 1425 secs
lola: 1021061 markings, 1449391 edges, 720 markings/sec, 1430 secs
lola: 1024652 markings, 1454476 edges, 718 markings/sec, 1435 secs
lola: 1028244 markings, 1459565 edges, 718 markings/sec, 1440 secs
lola: 1031839 markings, 1464645 edges, 719 markings/sec, 1445 secs
lola: 1035433 markings, 1469734 edges, 719 markings/sec, 1450 secs
lola: 1039028 markings, 1474816 edges, 719 markings/sec, 1455 secs
lola: 1042617 markings, 1479903 edges, 718 markings/sec, 1460 secs
lola: 1046205 markings, 1484989 edges, 718 markings/sec, 1465 secs
lola: 1049800 markings, 1490072 edges, 719 markings/sec, 1470 secs
lola: 1053391 markings, 1495160 edges, 718 markings/sec, 1475 secs
lola: 1056985 markings, 1500243 edges, 719 markings/sec, 1480 secs
lola: 1060574 markings, 1505332 edges, 718 markings/sec, 1485 secs
lola: 1064168 markings, 1510428 edges, 719 markings/sec, 1490 secs
lola: 1067762 markings, 1515512 edges, 719 markings/sec, 1495 secs
lola: 1071352 markings, 1520602 edges, 718 markings/sec, 1500 secs
lola: 1074978 markings, 1525748 edges, 725 markings/sec, 1505 secs
lola: 1078640 markings, 1531739 edges, 732 markings/sec, 1510 secs
lola: 1082291 markings, 1536900 edges, 730 markings/sec, 1515 secs
lola: 1085930 markings, 1542045 edges, 728 markings/sec, 1520 secs
lola: 1089591 markings, 1548062 edges, 732 markings/sec, 1525 secs
lola: 1093265 markings, 1553250 edges, 735 markings/sec, 1530 secs
lola: 1096936 markings, 1559281 edges, 734 markings/sec, 1535 secs
lola: 1100601 markings, 1565307 edges, 733 markings/sec, 1540 secs
lola: 1104281 markings, 1570503 edges, 736 markings/sec, 1545 secs
lola: 1107949 markings, 1576536 edges, 734 markings/sec, 1550 secs
lola: 1111623 markings, 1582576 edges, 735 markings/sec, 1555 secs
lola: 1115289 markings, 1589460 edges, 733 markings/sec, 1560 secs
lola: 1118961 markings, 1595503 edges, 734 markings/sec, 1565 secs
lola: 1122624 markings, 1602389 edges, 733 markings/sec, 1570 secs
lola: 1126283 markings, 1610119 edges, 732 markings/sec, 1575 secs
lola: 1129900 markings, 1624097 edges, 723 markings/sec, 1580 secs
lola: 1133566 markings, 1628435 edges, 733 markings/sec, 1585 secs
lola: 1137213 markings, 1633571 edges, 729 markings/sec, 1590 secs
lola: 1140863 markings, 1637889 edges, 730 markings/sec, 1595 secs
lola: 1144505 markings, 1643021 edges, 728 markings/sec, 1600 secs
lola: 1148158 markings, 1648163 edges, 731 markings/sec, 1605 secs
lola: 1151840 markings, 1652520 edges, 736 markings/sec, 1610 secs
lola: 1155455 markings, 1657622 edges, 723 markings/sec, 1615 secs
lola: 1159020 markings, 1661837 edges, 713 markings/sec, 1620 secs
lola: 1162582 markings, 1666878 edges, 712 markings/sec, 1625 secs
lola: 1166145 markings, 1671912 edges, 713 markings/sec, 1630 secs
lola: 1169710 markings, 1676135 edges, 713 markings/sec, 1635 secs
lola: 1173275 markings, 1681172 edges, 713 markings/sec, 1640 secs
lola: 1176833 markings, 1686213 edges, 712 markings/sec, 1645 secs
lola: 1180398 markings, 1690427 edges, 713 markings/sec, 1650 secs
lola: 1183960 markings, 1695472 edges, 712 markings/sec, 1655 secs
lola: 1187524 markings, 1700511 edges, 713 markings/sec, 1660 secs
lola: 1191091 markings, 1704736 edges, 713 markings/sec, 1665 secs
lola: 1194656 markings, 1709775 edges, 713 markings/sec, 1670 secs
lola: 1198220 markings, 1714815 edges, 713 markings/sec, 1675 secs
lola: 1201786 markings, 1719038 edges, 713 markings/sec, 1680 secs
lola: 1205351 markings, 1724080 edges, 713 markings/sec, 1685 secs
lola: 1208913 markings, 1729125 edges, 712 markings/sec, 1690 secs
lola: 1212481 markings, 1733342 edges, 714 markings/sec, 1695 secs
lola: 1216042 markings, 1738388 edges, 712 markings/sec, 1700 secs
lola: 1219603 markings, 1743427 edges, 712 markings/sec, 1705 secs
lola: 1223165 markings, 1748476 edges, 712 markings/sec, 1710 secs
lola: 1226732 markings, 1752692 edges, 713 markings/sec, 1715 secs
lola: 1230294 markings, 1757742 edges, 712 markings/sec, 1720 secs
lola: 1233858 markings, 1762784 edges, 713 markings/sec, 1725 secs
lola: 1237418 markings, 1767821 edges, 712 markings/sec, 1730 secs
lola: 1240980 markings, 1772871 edges, 712 markings/sec, 1735 secs
lola: 1244548 markings, 1777089 edges, 714 markings/sec, 1740 secs
lola: 1248106 markings, 1782136 edges, 712 markings/sec, 1745 secs
lola: 1251670 markings, 1787181 edges, 713 markings/sec, 1750 secs
lola: 1255230 markings, 1792233 edges, 712 markings/sec, 1755 secs
lola: 1258795 markings, 1797278 edges, 713 markings/sec, 1760 secs
lola: 1262358 markings, 1802324 edges, 713 markings/sec, 1765 secs
lola: 1265919 markings, 1807374 edges, 712 markings/sec, 1770 secs
lola: 1269487 markings, 1811591 edges, 714 markings/sec, 1775 secs
lola: 1273049 markings, 1816645 edges, 712 markings/sec, 1780 secs
lola: 1276610 markings, 1821690 edges, 712 markings/sec, 1785 secs
lola: 1280171 markings, 1826745 edges, 712 markings/sec, 1790 secs
lola: 1283735 markings, 1831793 edges, 713 markings/sec, 1795 secs
lola: 1287299 markings, 1836843 edges, 713 markings/sec, 1800 secs
lola: 1290860 markings, 1841896 edges, 712 markings/sec, 1805 secs
lola: 1294425 markings, 1846948 edges, 713 markings/sec, 1810 secs
lola: 1297982 markings, 1852000 edges, 711 markings/sec, 1815 secs
lola: 1301545 markings, 1857050 edges, 713 markings/sec, 1820 secs
lola: 1305107 markings, 1862937 edges, 712 markings/sec, 1825 secs
lola: 1308665 markings, 1867992 edges, 712 markings/sec, 1830 secs
lola: 1312228 markings, 1873044 edges, 713 markings/sec, 1835 secs
lola: 1315783 markings, 1878094 edges, 711 markings/sec, 1840 secs
lola: 1319339 markings, 1883983 edges, 711 markings/sec, 1845 secs
lola: 1322902 markings, 1889037 edges, 713 markings/sec, 1850 secs
lola: 1326462 markings, 1894094 edges, 712 markings/sec, 1855 secs
lola: 1330016 markings, 1899986 edges, 711 markings/sec, 1860 secs
lola: 1333577 markings, 1905040 edges, 712 markings/sec, 1865 secs
lola: 1337134 markings, 1910933 edges, 711 markings/sec, 1870 secs
lola: 1340684 markings, 1916831 edges, 710 markings/sec, 1875 secs
lola: 1344243 markings, 1921887 edges, 712 markings/sec, 1880 secs
lola: 1347800 markings, 1927787 edges, 711 markings/sec, 1885 secs
lola: 1351350 markings, 1934529 edges, 710 markings/sec, 1890 secs
lola: 1354908 markings, 1940437 edges, 712 markings/sec, 1895 secs
lola: 1358457 markings, 1947189 edges, 710 markings/sec, 1900 secs
lola: 1362004 markings, 1954788 edges, 709 markings/sec, 1905 secs
lola: 1365526 markings, 1965802 edges, 704 markings/sec, 1910 secs
lola: 1369078 markings, 1972859 edges, 710 markings/sec, 1915 secs
lola: 1372643 markings, 1977893 edges, 713 markings/sec, 1920 secs
lola: 1376208 markings, 1982117 edges, 713 markings/sec, 1925 secs
lola: 1379771 markings, 1987149 edges, 713 markings/sec, 1930 secs
lola: 1383338 markings, 1991376 edges, 713 markings/sec, 1935 secs
lola: 1386904 markings, 1996411 edges, 713 markings/sec, 1940 secs
lola: 1390469 markings, 2001449 edges, 713 markings/sec, 1945 secs
lola: 1394028 markings, 2005664 edges, 712 markings/sec, 1950 secs
lola: 1397596 markings, 2010703 edges, 714 markings/sec, 1955 secs
lola: 1401149 markings, 2015737 edges, 711 markings/sec, 1960 secs
lola: 1404721 markings, 2019957 edges, 714 markings/sec, 1965 secs
lola: 1408280 markings, 2024999 edges, 712 markings/sec, 1970 secs
lola: 1411844 markings, 2029211 edges, 713 markings/sec, 1975 secs
lola: 1415397 markings, 2034246 edges, 711 markings/sec, 1980 secs
lola: 1418960 markings, 2039282 edges, 713 markings/sec, 1985 secs
lola: 1422521 markings, 2043502 edges, 712 markings/sec, 1990 secs
lola: 1426086 markings, 2048541 edges, 713 markings/sec, 1995 secs
lola: 1429645 markings, 2053572 edges, 712 markings/sec, 2000 secs
lola: 1433206 markings, 2057792 edges, 712 markings/sec, 2005 secs
lola: 1436775 markings, 2062836 edges, 714 markings/sec, 2010 secs
lola: 1440322 markings, 2067865 edges, 709 markings/sec, 2015 secs
lola: 1443884 markings, 2072903 edges, 712 markings/sec, 2020 secs
lola: 1447446 markings, 2077124 edges, 712 markings/sec, 2025 secs
lola: 1451019 markings, 2082174 edges, 715 markings/sec, 2030 secs
lola: 1454614 markings, 2087260 edges, 719 markings/sec, 2035 secs
lola: 1458219 markings, 2092346 edges, 721 markings/sec, 2040 secs
lola: 1461822 markings, 2096613 edges, 721 markings/sec, 2045 secs
lola: 1465455 markings, 2101742 edges, 727 markings/sec, 2050 secs
lola: 1469054 markings, 2106833 edges, 720 markings/sec, 2055 secs
lola: 1472660 markings, 2111923 edges, 721 markings/sec, 2060 secs
lola: 1476264 markings, 2116191 edges, 721 markings/sec, 2065 secs
lola: 1479868 markings, 2121290 edges, 721 markings/sec, 2070 secs
lola: 1483471 markings, 2126384 edges, 721 markings/sec, 2075 secs
lola: 1487074 markings, 2131474 edges, 721 markings/sec, 2080 secs
lola: 1490677 markings, 2136574 edges, 721 markings/sec, 2085 secs
lola: 1494281 markings, 2141670 edges, 721 markings/sec, 2090 secs
lola: 1497884 markings, 2146762 edges, 721 markings/sec, 2095 secs
lola: 1501491 markings, 2151033 edges, 721 markings/sec, 2100 secs
lola: 1505094 markings, 2156131 edges, 721 markings/sec, 2105 secs
lola: 1508689 markings, 2161213 edges, 719 markings/sec, 2110 secs
lola: 1512255 markings, 2166273 edges, 713 markings/sec, 2115 secs
lola: 1515823 markings, 2171326 edges, 714 markings/sec, 2120 secs
lola: 1519389 markings, 2176386 edges, 713 markings/sec, 2125 secs
lola: 1522958 markings, 2181440 edges, 714 markings/sec, 2130 secs
lola: 1526526 markings, 2186499 edges, 714 markings/sec, 2135 secs
lola: 1530092 markings, 2191556 edges, 713 markings/sec, 2140 secs
lola: 1533661 markings, 2196611 edges, 714 markings/sec, 2145 secs
lola: 1537248 markings, 2201702 edges, 717 markings/sec, 2150 secs
lola: 1540849 markings, 2207632 edges, 720 markings/sec, 2155 secs
lola: 1544451 markings, 2212734 edges, 720 markings/sec, 2160 secs
lola: 1548050 markings, 2217836 edges, 720 markings/sec, 2165 secs
lola: 1551655 markings, 2222937 edges, 721 markings/sec, 2170 secs
lola: 1555249 markings, 2228875 edges, 719 markings/sec, 2175 secs
lola: 1558851 markings, 2233983 edges, 720 markings/sec, 2180 secs
lola: 1562453 markings, 2239079 edges, 720 markings/sec, 2185 secs
lola: 1566050 markings, 2245025 edges, 719 markings/sec, 2190 secs
lola: 1569656 markings, 2250129 edges, 721 markings/sec, 2195 secs
lola: 1573250 markings, 2256076 edges, 719 markings/sec, 2200 secs
lola: 1576889 markings, 2262074 edges, 728 markings/sec, 2205 secs
lola: 1580554 markings, 2268101 edges, 733 markings/sec, 2210 secs
lola: 1584223 markings, 2274134 edges, 734 markings/sec, 2215 secs
lola: 1587889 markings, 2280163 edges, 733 markings/sec, 2220 secs
lola: 1591502 markings, 2286992 edges, 723 markings/sec, 2225 secs
lola: 1595087 markings, 2293782 edges, 717 markings/sec, 2230 secs
lola: 1598658 markings, 2301417 edges, 714 markings/sec, 2235 secs
lola: 1602174 markings, 2314419 edges, 703 markings/sec, 2240 secs
lola: 1605783 markings, 2318691 edges, 722 markings/sec, 2245 secs
lola: 1609389 markings, 2323778 edges, 721 markings/sec, 2250 secs
lola: 1613000 markings, 2328047 edges, 722 markings/sec, 2255 secs
lola: 1616604 markings, 2333138 edges, 721 markings/sec, 2260 secs
lola: 1620208 markings, 2338227 edges, 721 markings/sec, 2265 secs
lola: 1623816 markings, 2342497 edges, 722 markings/sec, 2270 secs
lola: 1627424 markings, 2347584 edges, 722 markings/sec, 2275 secs
lola: 1631025 markings, 2352673 edges, 720 markings/sec, 2280 secs
lola: 1634634 markings, 2356945 edges, 722 markings/sec, 2285 secs
lola: 1638242 markings, 2362033 edges, 722 markings/sec, 2290 secs
lola: 1641855 markings, 2367134 edges, 723 markings/sec, 2295 secs
lola: 1645453 markings, 2371394 edges, 720 markings/sec, 2300 secs
lola: 1649054 markings, 2376484 edges, 720 markings/sec, 2305 secs
lola: 1652649 markings, 2381556 edges, 719 markings/sec, 2310 secs
lola: 1656243 markings, 2385812 edges, 719 markings/sec, 2315 secs
lola: 1659843 markings, 2390902 edges, 720 markings/sec, 2320 secs
lola: 1663440 markings, 2395977 edges, 719 markings/sec, 2325 secs
lola: 1667041 markings, 2400242 edges, 720 markings/sec, 2330 secs
lola: 1670637 markings, 2405327 edges, 719 markings/sec, 2335 secs
lola: 1674250 markings, 2410420 edges, 723 markings/sec, 2340 secs
lola: 1677924 markings, 2415601 edges, 735 markings/sec, 2345 secs
lola: 1681604 markings, 2419958 edges, 736 markings/sec, 2350 secs
lola: 1685281 markings, 2425137 edges, 735 markings/sec, 2355 secs
lola: 1688964 markings, 2430321 edges, 737 markings/sec, 2360 secs
lola: 1692619 markings, 2435475 edges, 731 markings/sec, 2365 secs
lola: 1696203 markings, 2440551 edges, 717 markings/sec, 2370 secs
lola: 1699774 markings, 2444771 edges, 714 markings/sec, 2375 secs
lola: 1703362 markings, 2449850 edges, 718 markings/sec, 2380 secs
lola: 1706929 markings, 2454898 edges, 713 markings/sec, 2385 secs
lola: 1710493 markings, 2459952 edges, 713 markings/sec, 2390 secs
lola: 1714059 markings, 2464999 edges, 713 markings/sec, 2395 secs
lola: 1717626 markings, 2470053 edges, 713 markings/sec, 2400 secs
lola: 1721191 markings, 2474271 edges, 713 markings/sec, 2405 secs
lola: 1724757 markings, 2479325 edges, 713 markings/sec, 2410 secs
lola: 1728320 markings, 2484375 edges, 713 markings/sec, 2415 secs
lola: 1731890 markings, 2489426 edges, 714 markings/sec, 2420 secs
lola: 1735451 markings, 2494481 edges, 712 markings/sec, 2425 secs
lola: 1739017 markings, 2499532 edges, 713 markings/sec, 2430 secs
lola: 1742595 markings, 2504604 edges, 716 markings/sec, 2435 secs
lola: 1745899 markings, 2509345 edges, 661 markings/sec, 2440 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 3 10 1 1 1 10 1 10 1 1 3 1 1 1 unknown
lola: lola: caught signal User defined signal 1 - aborting LoLA

preliminary result: 1 3 10 1 1 1 10 1 10 1 1 3 1 1 1 unknown
lola:
preliminary result: 1 3 10 1 1 1 10 1 10 1 1 3 1 1 1 unknown
lola: memory consumption: 277372 KB
lola: time consumption: 3565 seconds
lola: Child process aborted or communication problem between parent and child process

FORMULA PolyORBNT-COL-S10J40-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: 1 3 10 1 1 1 10 1 10 1 1 3 1 1 1 unknown
lola:
preliminary result: 1 3 10 1 1 1 10 1 10 1 1 3 1 1 1 unknown
lola: memory consumption: 51072 KB
lola: time consumption: 3565 seconds
lola: memory consumption: 50792 KB
lola: time consumption: 3565 seconds

BK_STOP 1554069974244

--------------------
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="PolyORBNT-COL-S10J40"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is PolyORBNT-COL-S10J40, 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 r132-oct2-155403939100022"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-COL-S10J40.tgz
mv PolyORBNT-COL-S10J40 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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 ;