Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r088-csrt-155246566000250.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off 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 HypercubeGrid-PT-C4K3P3B12, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-155246566000250
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.1M
-rw-r--r-- 1 mcc users 5.0K Feb 11 02:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 11 02:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 7 01:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 7 01:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 113 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 351 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 3.1K Feb 5 00:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 5 00:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 3 09:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 3 09:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Jan 31 03:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 31 03:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:34 model-fix.log
-rwxr-xr-x 1 mcc users 3.0M 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 HypercubeGrid-PT-C4K3P3B12-UpperBounds-00
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-01
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-02
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-03
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-04
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-05
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-06
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-07
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-08
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-09
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-10
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-11
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-12
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-13
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-14
FORMULA_NAME HypercubeGrid-PT-C4K3P3B12-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552872426699

info: Time: 3600 - MCC
===========================================================================================
prep: translating HypercubeGrid-PT-C4K3P3B12 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating HypercubeGrid-PT-C4K3P3B12 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ HypercubeGrid-PT-C4K3P3B12 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 7857/65536 symbol table entries, 1827 collisions
lola: preprocessing...
lola: Size of bit vector: 78624
lola: finding significant places
lola: 2457 places, 5400 transitions, 1511 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 6345 transition conflict sets
lola: TASK
lola: reading formula from HypercubeGrid-PT-C4K3P3B12-UpperBounds.task
lola: MAX(pil_d2_n1_2_4_1_3) : MAX(pi_d2_n1_3_2_1_2) : MAX(pi_d2_n1_3_2_3_3) : MAX(pil_d1_n1_2_1_1_2) : MAX(pol_d1_n1_1_3_3_1) : MAX(pi_d3_n1_1_1_3_2) : MAX(pi_d4_n1_2_1_2_2) : MAX(pol_d4_n1_3_2_1_1) : MAX(pb_d3_n1_3_1_3_2) : MAX(pol_d1_n1_1_2_1_2) : MAX(pil_d4_n1_2_2_3_3) : MAX(pol_d2_n1_3_3_2_3) : MAX(pil_d1_n1_2_1_2_2) : MAX(pil_d4_n1_2_2_3_1) : MAX(pb_d3_n2_1_1_3_2) : MAX(pol_d3_n1_1_2_1_3)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d2_n1_2_4_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pil_d2_n1_2_4_1_3)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file HypercubeGrid-PT-C4K3P3B12-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 HypercubeGrid-PT-C4K3P3B12-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pi_d2_n1_3_2_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pi_d2_n1_3_2_1_2)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file HypercubeGrid-PT-C4K3P3B12-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: 2 markings, 1 edges
lola: ========================================

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

FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d1_n1_2_1_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pil_d1_n1_2_1_1_2)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file HypercubeGrid-PT-C4K3P3B12-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 HypercubeGrid-PT-C4K3P3B12-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pol_d1_n1_1_3_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pol_d1_n1_1_3_3_1)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file HypercubeGrid-PT-C4K3P3B12-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 HypercubeGrid-PT-C4K3P3B12-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pi_d3_n1_1_1_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pi_d3_n1_1_1_3_2)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file HypercubeGrid-PT-C4K3P3B12-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: 2 markings, 1 edges
lola: ========================================

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

FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pol_d4_n1_3_2_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pol_d4_n1_3_2_1_1)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file HypercubeGrid-PT-C4K3P3B12-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 HypercubeGrid-PT-C4K3P3B12-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 443 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d3_n1_3_1_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pb_d3_n1_3_1_3_2)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file HypercubeGrid-PT-C4K3P3B12-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: 36
lola: SUBRESULT
lola: result: 36
lola: produced by: state space
lola: The maximum value of the given expression is 36
lola: 198 markings, 197 edges
lola: ========================================

FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-8 36 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 507 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pol_d1_n1_1_2_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pol_d1_n1_1_2_1_2)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file HypercubeGrid-PT-C4K3P3B12-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

FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 591 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d4_n1_2_2_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pil_d4_n1_2_2_3_3)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file HypercubeGrid-PT-C4K3P3B12-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 HypercubeGrid-PT-C4K3P3B12-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 709 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pol_d2_n1_3_3_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pol_d2_n1_3_3_2_3)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file HypercubeGrid-PT-C4K3P3B12-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 HypercubeGrid-PT-C4K3P3B12-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 887 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d1_n1_2_1_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pil_d1_n1_2_1_2_2)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file HypercubeGrid-PT-C4K3P3B12-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

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

FORMULA HypercubeGrid-PT-C4K3P3B12-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1773 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d3_n2_1_1_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pb_d3_n2_1_1_3_2)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file HypercubeGrid-PT-C4K3P3B12-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: 36
lola: 120057 markings, 126988 edges, 24011 markings/sec, 0 secs
lola: 194795 markings, 208077 edges, 14948 markings/sec, 5 secs
lola: 260060 markings, 282750 edges, 13053 markings/sec, 10 secs
lola: 329584 markings, 355279 edges, 13905 markings/sec, 15 secs
lola: 399720 markings, 434201 edges, 14027 markings/sec, 20 secs
lola: 468965 markings, 512142 edges, 13849 markings/sec, 25 secs
lola: 538084 markings, 589854 edges, 13824 markings/sec, 30 secs
lola: 604812 markings, 664957 edges, 13346 markings/sec, 35 secs
lola: 671367 markings, 739813 edges, 13311 markings/sec, 40 secs
lola: 739405 markings, 816358 edges, 13608 markings/sec, 45 secs
lola: 808475 markings, 894057 edges, 13814 markings/sec, 50 secs
lola: 876035 markings, 970000 edges, 13512 markings/sec, 55 secs
lola: 941484 markings, 1043650 edges, 13090 markings/sec, 60 secs
lola: 1003957 markings, 1113810 edges, 12495 markings/sec, 65 secs
lola: 1080811 markings, 1192708 edges, 15371 markings/sec, 70 secs
lola: 1155833 markings, 1267746 edges, 15004 markings/sec, 75 secs
lola: 1231559 markings, 1343646 edges, 15145 markings/sec, 80 secs
lola: 1307720 markings, 1420004 edges, 15232 markings/sec, 85 secs
lola: 1383817 markings, 1496334 edges, 15219 markings/sec, 90 secs
lola: 1458995 markings, 1571748 edges, 15036 markings/sec, 95 secs
lola: 1531523 markings, 1644495 edges, 14506 markings/sec, 100 secs
lola: 1603719 markings, 1717122 edges, 14439 markings/sec, 105 secs
lola: 1677332 markings, 1791462 edges, 14723 markings/sec, 110 secs
lola: 1750668 markings, 1865521 edges, 14667 markings/sec, 115 secs
lola: 1822341 markings, 1937685 edges, 14335 markings/sec, 120 secs
lola: 1893343 markings, 2009008 edges, 14200 markings/sec, 125 secs
lola: 1967439 markings, 2083328 edges, 14819 markings/sec, 130 secs
lola: 2040126 markings, 2156509 edges, 14537 markings/sec, 135 secs
lola: 2117751 markings, 2234890 edges, 15525 markings/sec, 140 secs
lola: 2194301 markings, 2312161 edges, 15310 markings/sec, 145 secs
lola: 2271350 markings, 2389728 edges, 15410 markings/sec, 150 secs
lola: 2345692 markings, 2464325 edges, 14868 markings/sec, 155 secs
lola: 2419051 markings, 2537903 edges, 14672 markings/sec, 160 secs
lola: 2494887 markings, 2614432 edges, 15167 markings/sec, 165 secs
lola: 2571467 markings, 2691750 edges, 15316 markings/sec, 170 secs
lola: 2648332 markings, 2769262 edges, 15373 markings/sec, 175 secs
lola: 2724625 markings, 2845995 edges, 15259 markings/sec, 180 secs
lola: 2801255 markings, 2922863 edges, 15326 markings/sec, 185 secs
lola: 2876273 markings, 2998248 edges, 15004 markings/sec, 190 secs
lola: 2949402 markings, 3072100 edges, 14626 markings/sec, 195 secs
lola: 3024336 markings, 3147766 edges, 14987 markings/sec, 200 secs
lola: 3099706 markings, 3223688 edges, 15074 markings/sec, 205 secs
lola: 3173195 markings, 3297527 edges, 14698 markings/sec, 210 secs
lola: 3244089 markings, 3368634 edges, 14179 markings/sec, 215 secs
lola: 3314705 markings, 3439676 edges, 14123 markings/sec, 220 secs
lola: 3387113 markings, 3512797 edges, 14482 markings/sec, 225 secs
lola: 3462944 markings, 3589371 edges, 15166 markings/sec, 230 secs
lola: 3540933 markings, 3667896 edges, 15598 markings/sec, 235 secs
lola: 3612972 markings, 3740236 edges, 14408 markings/sec, 240 secs
lola: 3686914 markings, 3814396 edges, 14788 markings/sec, 245 secs
lola: 3758993 markings, 3887014 edges, 14416 markings/sec, 250 secs
lola: 3830880 markings, 3959615 edges, 14377 markings/sec, 255 secs
lola: 3903011 markings, 4032422 edges, 14426 markings/sec, 260 secs
lola: 3974938 markings, 4104835 edges, 14385 markings/sec, 265 secs
lola: 4047115 markings, 4177289 edges, 14435 markings/sec, 270 secs
lola: 4119333 markings, 4249721 edges, 14444 markings/sec, 275 secs
lola: 4191457 markings, 4322420 edges, 14425 markings/sec, 280 secs
lola: 4263687 markings, 4395363 edges, 14446 markings/sec, 285 secs
lola: 4335697 markings, 4468035 edges, 14402 markings/sec, 290 secs
lola: 4407526 markings, 4540348 edges, 14366 markings/sec, 295 secs
lola: 4479680 markings, 4612760 edges, 14431 markings/sec, 300 secs
lola: 4553593 markings, 4686891 edges, 14783 markings/sec, 305 secs
lola: 4625640 markings, 4759554 edges, 14409 markings/sec, 310 secs
lola: 4697557 markings, 4832187 edges, 14383 markings/sec, 315 secs
lola: 4769459 markings, 4904734 edges, 14380 markings/sec, 320 secs
lola: 4841295 markings, 4977047 edges, 14367 markings/sec, 325 secs
lola: 4913569 markings, 5049559 edges, 14455 markings/sec, 330 secs
lola: 4986035 markings, 5122240 edges, 14493 markings/sec, 335 secs
lola: 5058096 markings, 5194949 edges, 14412 markings/sec, 340 secs
lola: 5130056 markings, 5267623 edges, 14392 markings/sec, 345 secs
lola: 5202150 markings, 5340344 edges, 14419 markings/sec, 350 secs
lola: 5274655 markings, 5413325 edges, 14501 markings/sec, 355 secs
lola: 5347929 markings, 5486832 edges, 14655 markings/sec, 360 secs
lola: 5420870 markings, 5560024 edges, 14588 markings/sec, 365 secs
lola: 5493050 markings, 5632926 edges, 14436 markings/sec, 370 secs
lola: 5565856 markings, 5706440 edges, 14561 markings/sec, 375 secs
lola: 5638959 markings, 5780118 edges, 14621 markings/sec, 380 secs
lola: 5711157 markings, 5852704 edges, 14440 markings/sec, 385 secs
lola: 5783378 markings, 5925147 edges, 14444 markings/sec, 390 secs
lola: 5855938 markings, 5998066 edges, 14512 markings/sec, 395 secs
lola: 5928002 markings, 6070835 edges, 14413 markings/sec, 400 secs
lola: 6001948 markings, 6145502 edges, 14789 markings/sec, 405 secs
lola: 6079137 markings, 6223263 edges, 15438 markings/sec, 410 secs
lola: 6154873 markings, 6299367 edges, 15147 markings/sec, 415 secs
lola: 6236128 markings, 6380865 edges, 16251 markings/sec, 420 secs
lola: 6317183 markings, 6462577 edges, 16211 markings/sec, 425 secs
lola: 6398250 markings, 6544441 edges, 16213 markings/sec, 430 secs
lola: 6478060 markings, 6624899 edges, 15962 markings/sec, 435 secs
lola: 6557912 markings, 6705172 edges, 15970 markings/sec, 440 secs
lola: 6638288 markings, 6785794 edges, 16075 markings/sec, 445 secs
lola: 6717211 markings, 6865222 edges, 15785 markings/sec, 450 secs
lola: 6793353 markings, 6942116 edges, 15228 markings/sec, 455 secs
lola: 6868224 markings, 7017697 edges, 14974 markings/sec, 460 secs
lola: 6944387 markings, 7094371 edges, 15233 markings/sec, 465 secs
lola: 7020631 markings, 7170896 edges, 15249 markings/sec, 470 secs
lola: 7096171 markings, 7246661 edges, 15108 markings/sec, 475 secs
lola: 7170980 markings, 7322189 edges, 14962 markings/sec, 480 secs
lola: 7245822 markings, 7397768 edges, 14968 markings/sec, 485 secs
lola: 7324285 markings, 7476849 edges, 15693 markings/sec, 490 secs
lola: 7404475 markings, 7557448 edges, 16038 markings/sec, 495 secs
lola: 7481484 markings, 7634692 edges, 15402 markings/sec, 500 secs
lola: 7557582 markings, 7711268 edges, 15220 markings/sec, 505 secs
lola: 7634943 markings, 7789396 edges, 15472 markings/sec, 510 secs
lola: 7709663 markings, 7864826 edges, 14944 markings/sec, 515 secs
lola: 7785539 markings, 7941214 edges, 15175 markings/sec, 520 secs
lola: 7867443 markings, 8023420 edges, 16381 markings/sec, 525 secs
lola: 7948616 markings, 8104888 edges, 16235 markings/sec, 530 secs
lola: 8028814 markings, 8185871 edges, 16040 markings/sec, 535 secs
lola: 8108978 markings, 8266824 edges, 16033 markings/sec, 540 secs
lola: 8188474 markings, 8346885 edges, 15899 markings/sec, 545 secs
lola: 8268957 markings, 8427702 edges, 16097 markings/sec, 550 secs
lola: 8348433 markings, 8507413 edges, 15895 markings/sec, 555 secs
lola: 8427452 markings, 8587112 edges, 15804 markings/sec, 560 secs
lola: 8506603 markings, 8667039 edges, 15830 markings/sec, 565 secs
lola: 8587435 markings, 8748541 edges, 16166 markings/sec, 570 secs
lola: 8668266 markings, 8829813 edges, 16166 markings/sec, 575 secs
lola: 8750070 markings, 8911865 edges, 16361 markings/sec, 580 secs
lola: 8831721 markings, 8994085 edges, 16330 markings/sec, 585 secs
lola: 8910352 markings, 9073492 edges, 15726 markings/sec, 590 secs
lola: 8985600 markings, 9149408 edges, 15050 markings/sec, 595 secs
lola: 9060685 markings, 9224964 edges, 15017 markings/sec, 600 secs
lola: 9136120 markings, 9300636 edges, 15087 markings/sec, 605 secs
lola: 9211226 markings, 9376012 edges, 15021 markings/sec, 610 secs
lola: 9291477 markings, 9457055 edges, 16050 markings/sec, 615 secs
lola: 9373072 markings, 9539452 edges, 16319 markings/sec, 620 secs
lola: 9454104 markings, 9621071 edges, 16206 markings/sec, 625 secs
lola: 9533615 markings, 9700936 edges, 15902 markings/sec, 630 secs
lola: 9613908 markings, 9781467 edges, 16059 markings/sec, 635 secs
lola: 9691719 markings, 9859968 edges, 15562 markings/sec, 640 secs
lola: 9768095 markings, 9937089 edges, 15275 markings/sec, 645 secs
lola: 9844658 markings, 10014280 edges, 15313 markings/sec, 650 secs
lola: 9920786 markings, 10090822 edges, 15226 markings/sec, 655 secs
lola: 9994015 markings, 10164276 edges, 14646 markings/sec, 660 secs
lola: 10071428 markings, 10242098 edges, 15483 markings/sec, 665 secs
lola: 10146428 markings, 10317831 edges, 15000 markings/sec, 670 secs
lola: 10221515 markings, 10393649 edges, 15017 markings/sec, 675 secs
lola: 10296635 markings, 10469303 edges, 15024 markings/sec, 680 secs
lola: 10372198 markings, 10545206 edges, 15113 markings/sec, 685 secs
lola: 10447955 markings, 10621188 edges, 15151 markings/sec, 690 secs
lola: 10523949 markings, 10697803 edges, 15199 markings/sec, 695 secs
lola: 10598509 markings, 10773092 edges, 14912 markings/sec, 700 secs
lola: 10676360 markings, 10851611 edges, 15570 markings/sec, 705 secs
lola: 10751550 markings, 10927246 edges, 15038 markings/sec, 710 secs
lola: 10827182 markings, 11003116 edges, 15126 markings/sec, 715 secs
lola: 10905270 markings, 11081546 edges, 15618 markings/sec, 720 secs
lola: 10979414 markings, 11156418 edges, 14829 markings/sec, 725 secs
lola: 11052095 markings, 11229820 edges, 14536 markings/sec, 730 secs
lola: 11126478 markings, 11304765 edges, 14877 markings/sec, 735 secs
lola: 11201340 markings, 11380002 edges, 14972 markings/sec, 740 secs
lola: 11277342 markings, 11456236 edges, 15200 markings/sec, 745 secs
lola: 11352932 markings, 11532346 edges, 15118 markings/sec, 750 secs
lola: 11429573 markings, 11609749 edges, 15328 markings/sec, 755 secs
lola: 11506559 markings, 11687425 edges, 15397 markings/sec, 760 secs
lola: 11581884 markings, 11763241 edges, 15065 markings/sec, 765 secs
lola: 11657611 markings, 11839208 edges, 15145 markings/sec, 770 secs
lola: 11736396 markings, 11918264 edges, 15757 markings/sec, 775 secs
lola: 11811490 markings, 11994098 edges, 15019 markings/sec, 780 secs
lola: 11886859 markings, 12070209 edges, 15074 markings/sec, 785 secs
lola: 11962151 markings, 12146091 edges, 15058 markings/sec, 790 secs
lola: 12038249 markings, 12222593 edges, 15220 markings/sec, 795 secs
lola: 12119626 markings, 12304217 edges, 16275 markings/sec, 800 secs
lola: 12195097 markings, 12380210 edges, 15094 markings/sec, 805 secs
lola: 12270438 markings, 12456294 edges, 15068 markings/sec, 810 secs
lola: 12347315 markings, 12533873 edges, 15375 markings/sec, 815 secs
lola: 12422661 markings, 12609713 edges, 15069 markings/sec, 820 secs
lola: 12499157 markings, 12686451 edges, 15299 markings/sec, 825 secs
lola: 12577569 markings, 12765131 edges, 15682 markings/sec, 830 secs
lola: 12660246 markings, 12848623 edges, 16535 markings/sec, 835 secs
lola: 12743104 markings, 12932289 edges, 16572 markings/sec, 840 secs
lola: 12823382 markings, 13013147 edges, 16056 markings/sec, 845 secs
lola: 12905444 markings, 13095566 edges, 16412 markings/sec, 850 secs
lola: 12987680 markings, 13178047 edges, 16447 markings/sec, 855 secs
lola: 13068890 markings, 13260014 edges, 16242 markings/sec, 860 secs
lola: 13150364 markings, 13342292 edges, 16295 markings/sec, 865 secs
lola: 13231831 markings, 13424371 edges, 16293 markings/sec, 870 secs
lola: 13313008 markings, 13505913 edges, 16235 markings/sec, 875 secs
lola: 13393524 markings, 13586670 edges, 16103 markings/sec, 880 secs
lola: 13473960 markings, 13667751 edges, 16087 markings/sec, 885 secs
lola: 13555305 markings, 13749900 edges, 16269 markings/sec, 890 secs
lola: 13637317 markings, 13832594 edges, 16402 markings/sec, 895 secs
lola: 13718808 markings, 13914538 edges, 16298 markings/sec, 900 secs
lola: 13801034 markings, 13997013 edges, 16445 markings/sec, 905 secs
lola: 13881907 markings, 14078450 edges, 16175 markings/sec, 910 secs
lola: 13960971 markings, 14158293 edges, 15813 markings/sec, 915 secs
lola: 14041298 markings, 14239314 edges, 16065 markings/sec, 920 secs
lola: 14120695 markings, 14319188 edges, 15879 markings/sec, 925 secs
lola: 14200097 markings, 14398837 edges, 15880 markings/sec, 930 secs
lola: 14280040 markings, 14479178 edges, 15989 markings/sec, 935 secs
lola: 14361870 markings, 14561814 edges, 16366 markings/sec, 940 secs
lola: 14441769 markings, 14642494 edges, 15980 markings/sec, 945 secs
lola: 14520722 markings, 14721972 edges, 15791 markings/sec, 950 secs
lola: 14602403 markings, 14803960 edges, 16336 markings/sec, 955 secs
lola: 14683959 markings, 14885801 edges, 16311 markings/sec, 960 secs
lola: 14763403 markings, 14966026 edges, 15889 markings/sec, 965 secs
lola: 14843538 markings, 15046952 edges, 16027 markings/sec, 970 secs
lola: 14921909 markings, 15125885 edges, 15674 markings/sec, 975 secs
lola: 14998184 markings, 15202490 edges, 15255 markings/sec, 980 secs
lola: 15073745 markings, 15278278 edges, 15112 markings/sec, 985 secs
lola: 15148623 markings, 15353723 edges, 14976 markings/sec, 990 secs
lola: 15223472 markings, 15429307 edges, 14970 markings/sec, 995 secs
lola: 15298443 markings, 15504959 edges, 14994 markings/sec, 1000 secs
lola: 15373200 markings, 15580220 edges, 14951 markings/sec, 1005 secs
lola: 15448715 markings, 15655982 edges, 15103 markings/sec, 1010 secs
lola: 15524507 markings, 15732036 edges, 15158 markings/sec, 1015 secs
lola: 15599608 markings, 15807868 edges, 15020 markings/sec, 1020 secs
lola: 15674463 markings, 15883460 edges, 14971 markings/sec, 1025 secs
lola: 15749472 markings, 15959046 edges, 15002 markings/sec, 1030 secs
lola: 15824704 markings, 16034657 edges, 15046 markings/sec, 1035 secs
lola: 15899789 markings, 16109972 edges, 15017 markings/sec, 1040 secs
lola: 15974668 markings, 16185307 edges, 14976 markings/sec, 1045 secs
lola: 16050369 markings, 16261757 edges, 15140 markings/sec, 1050 secs
lola: 16125187 markings, 16337307 edges, 14964 markings/sec, 1055 secs
lola: 16199943 markings, 16412554 edges, 14951 markings/sec, 1060 secs
lola: 16274785 markings, 16487704 edges, 14968 markings/sec, 1065 secs
lola: 16349834 markings, 16562975 edges, 15010 markings/sec, 1070 secs
lola: 16424539 markings, 16638336 edges, 14941 markings/sec, 1075 secs
lola: 16499247 markings, 16713774 edges, 14942 markings/sec, 1080 secs
lola: 16574096 markings, 16789255 edges, 14970 markings/sec, 1085 secs
lola: 16648815 markings, 16864407 edges, 14944 markings/sec, 1090 secs
lola: 16724338 markings, 16940166 edges, 15105 markings/sec, 1095 secs
lola: 16803912 markings, 17020120 edges, 15915 markings/sec, 1100 secs
lola: 16884498 markings, 17101499 edges, 16117 markings/sec, 1105 secs
lola: 16964807 markings, 17182599 edges, 16062 markings/sec, 1110 secs
lola: 17044342 markings, 17262669 edges, 15907 markings/sec, 1115 secs
lola: 17122824 markings, 17341459 edges, 15696 markings/sec, 1120 secs
lola: 17200544 markings, 17419410 edges, 15544 markings/sec, 1125 secs
lola: 17279648 markings, 17499266 edges, 15821 markings/sec, 1130 secs
lola: 17358751 markings, 17579145 edges, 15821 markings/sec, 1135 secs
lola: 17437930 markings, 17658932 edges, 15836 markings/sec, 1140 secs
lola: 17515970 markings, 17737344 edges, 15608 markings/sec, 1145 secs
lola: 17595390 markings, 17817004 edges, 15884 markings/sec, 1150 secs
lola: 17674689 markings, 17896880 edges, 15860 markings/sec, 1155 secs
lola: 17753948 markings, 17976919 edges, 15852 markings/sec, 1160 secs
lola: 17833276 markings, 18056946 edges, 15866 markings/sec, 1165 secs
lola: 17912541 markings, 18136708 edges, 15853 markings/sec, 1170 secs
lola: 17990872 markings, 18215283 edges, 15666 markings/sec, 1175 secs
lola: 18066048 markings, 18290824 edges, 15035 markings/sec, 1180 secs
lola: 18140523 markings, 18366030 edges, 14895 markings/sec, 1185 secs
lola: 18215059 markings, 18441295 edges, 14907 markings/sec, 1190 secs
lola: 18290079 markings, 18516849 edges, 15004 markings/sec, 1195 secs
lola: 18364814 markings, 18591909 edges, 14947 markings/sec, 1200 secs
lola: 18442201 markings, 18669528 edges, 15477 markings/sec, 1205 secs
lola: 18517332 markings, 18745226 edges, 15026 markings/sec, 1210 secs
lola: 18591849 markings, 18820480 edges, 14903 markings/sec, 1215 secs
lola: 18666521 markings, 18895832 edges, 14934 markings/sec, 1220 secs
lola: 18741127 markings, 18970937 edges, 14921 markings/sec, 1225 secs
lola: 18816345 markings, 19046404 edges, 15044 markings/sec, 1230 secs
lola: 18891760 markings, 19122077 edges, 15083 markings/sec, 1235 secs
lola: 18967444 markings, 19198495 edges, 15137 markings/sec, 1240 secs
lola: 19042303 markings, 19274087 edges, 14972 markings/sec, 1245 secs
lola: 19117195 markings, 19349561 edges, 14978 markings/sec, 1250 secs
lola: 19192270 markings, 19425015 edges, 15015 markings/sec, 1255 secs
lola: 19267266 markings, 19500239 edges, 14999 markings/sec, 1260 secs
lola: 19341976 markings, 19575392 edges, 14942 markings/sec, 1265 secs
lola: 19416508 markings, 19650658 edges, 14906 markings/sec, 1270 secs
lola: 19490576 markings, 19725453 edges, 14814 markings/sec, 1275 secs
lola: 19565726 markings, 19801115 edges, 15030 markings/sec, 1280 secs
lola: 19641159 markings, 19876867 edges, 15087 markings/sec, 1285 secs
lola: 19716551 markings, 19952483 edges, 15078 markings/sec, 1290 secs
lola: 19796561 markings, 20033186 edges, 16002 markings/sec, 1295 secs
lola: 19873132 markings, 20110506 edges, 15314 markings/sec, 1300 secs
lola: 19948595 markings, 20186588 edges, 15093 markings/sec, 1305 secs
lola: 20024081 markings, 20262491 edges, 15097 markings/sec, 1310 secs
lola: 20100557 markings, 20339204 edges, 15295 markings/sec, 1315 secs
lola: 20176131 markings, 20415175 edges, 15115 markings/sec, 1320 secs
lola: 20251363 markings, 20491147 edges, 15046 markings/sec, 1325 secs
lola: 20327520 markings, 20568045 edges, 15231 markings/sec, 1330 secs
lola: 20402704 markings, 20643756 edges, 15037 markings/sec, 1335 secs
lola: 20479659 markings, 20721054 edges, 15391 markings/sec, 1340 secs
lola: 20559069 markings, 20800701 edges, 15882 markings/sec, 1345 secs
lola: 20638631 markings, 20880952 edges, 15912 markings/sec, 1350 secs
lola: 20718154 markings, 20961258 edges, 15905 markings/sec, 1355 secs
lola: 20800638 markings, 21044397 edges, 16497 markings/sec, 1360 secs
lola: 20876104 markings, 21120246 edges, 15093 markings/sec, 1365 secs
lola: 20951764 markings, 21196135 edges, 15132 markings/sec, 1370 secs
lola: 21026905 markings, 21271725 edges, 15028 markings/sec, 1375 secs
lola: 21104706 markings, 21350293 edges, 15560 markings/sec, 1380 secs
lola: 21183977 markings, 21430327 edges, 15854 markings/sec, 1385 secs
lola: 21262898 markings, 21509775 edges, 15784 markings/sec, 1390 secs
lola: 21342624 markings, 21589781 edges, 15945 markings/sec, 1395 secs
lola: 21421192 markings, 21668625 edges, 15714 markings/sec, 1400 secs
lola: 21499294 markings, 21747494 edges, 15620 markings/sec, 1405 secs
lola: 21579075 markings, 21828057 edges, 15956 markings/sec, 1410 secs
lola: 21658667 markings, 21908232 edges, 15918 markings/sec, 1415 secs
lola: 21738078 markings, 21987985 edges, 15882 markings/sec, 1420 secs
lola: 21816388 markings, 22066528 edges, 15662 markings/sec, 1425 secs
lola: 21893888 markings, 22144654 edges, 15500 markings/sec, 1430 secs
lola: 21972163 markings, 22223704 edges, 15655 markings/sec, 1435 secs
lola: 22048176 markings, 22300371 edges, 15203 markings/sec, 1440 secs
lola: 22122804 markings, 22375463 edges, 14926 markings/sec, 1445 secs
lola: 22198053 markings, 22450948 edges, 15050 markings/sec, 1450 secs
lola: 22272688 markings, 22525911 edges, 14927 markings/sec, 1455 secs
lola: 22346879 markings, 22600831 edges, 14838 markings/sec, 1460 secs
lola: 22421896 markings, 22676582 edges, 15003 markings/sec, 1465 secs
lola: 22500165 markings, 22755420 edges, 15654 markings/sec, 1470 secs
lola: 22575108 markings, 22830696 edges, 14989 markings/sec, 1475 secs
lola: 22649413 markings, 22905223 edges, 14861 markings/sec, 1480 secs
lola: 22722846 markings, 22979184 edges, 14687 markings/sec, 1485 secs
lola: 22797357 markings, 23054431 edges, 14902 markings/sec, 1490 secs
lola: 22872553 markings, 23130323 edges, 15039 markings/sec, 1495 secs
lola: 22949568 markings, 23207858 edges, 15403 markings/sec, 1500 secs
lola: 23025909 markings, 23284461 edges, 15268 markings/sec, 1505 secs
lola: 23100826 markings, 23359616 edges, 14983 markings/sec, 1510 secs
lola: 23177185 markings, 23436727 edges, 15272 markings/sec, 1515 secs
lola: 23254498 markings, 23514797 edges, 15463 markings/sec, 1520 secs
lola: 23331436 markings, 23592316 edges, 15388 markings/sec, 1525 secs
lola: 23406760 markings, 23668014 edges, 15065 markings/sec, 1530 secs
lola: 23485212 markings, 23746703 edges, 15690 markings/sec, 1535 secs
lola: 23560336 markings, 23822329 edges, 15025 markings/sec, 1540 secs
lola: 23634891 markings, 23897615 edges, 14911 markings/sec, 1545 secs
lola: 23711434 markings, 23974885 edges, 15309 markings/sec, 1550 secs
lola: 23792264 markings, 24056255 edges, 16166 markings/sec, 1555 secs
lola: 23875160 markings, 24139431 edges, 16579 markings/sec, 1560 secs
lola: 23958183 markings, 24222816 edges, 16605 markings/sec, 1565 secs
lola: 24040465 markings, 24305913 edges, 16456 markings/sec, 1570 secs
lola: 24123243 markings, 24389491 edges, 16556 markings/sec, 1575 secs
lola: 24205966 markings, 24472763 edges, 16545 markings/sec, 1580 secs
lola: 24287659 markings, 24554729 edges, 16339 markings/sec, 1585 secs
lola: 24367707 markings, 24635051 edges, 16010 markings/sec, 1590 secs
lola: 24448737 markings, 24716884 edges, 16206 markings/sec, 1595 secs
lola: 24530245 markings, 24799194 edges, 16302 markings/sec, 1600 secs
lola: 24611904 markings, 24881444 edges, 16332 markings/sec, 1605 secs
lola: 24695848 markings, 24965754 edges, 16789 markings/sec, 1610 secs
lola: 24777303 markings, 25047452 edges, 16291 markings/sec, 1615 secs
lola: 24858990 markings, 25129905 edges, 16337 markings/sec, 1620 secs
lola: 24939416 markings, 25211118 edges, 16085 markings/sec, 1625 secs
lola: 25019112 markings, 25291418 edges, 15939 markings/sec, 1630 secs
lola: 25100840 markings, 25373522 edges, 16346 markings/sec, 1635 secs
lola: 25183081 markings, 25456008 edges, 16448 markings/sec, 1640 secs
lola: 25263608 markings, 25537180 edges, 16105 markings/sec, 1645 secs
lola: 25337398 markings, 25611690 edges, 14758 markings/sec, 1650 secs
lola: 25411104 markings, 25686057 edges, 14741 markings/sec, 1655 secs
lola: 25485556 markings, 25760990 edges, 14890 markings/sec, 1660 secs
lola: 25563635 markings, 25839315 edges, 15616 markings/sec, 1665 secs
lola: 25639026 markings, 25915028 edges, 15078 markings/sec, 1670 secs
lola: 25715292 markings, 25992038 edges, 15253 markings/sec, 1675 secs
lola: 25790625 markings, 26068112 edges, 15067 markings/sec, 1680 secs
lola: 25871593 markings, 26149666 edges, 16194 markings/sec, 1685 secs
lola: 25955695 markings, 26234113 edges, 16820 markings/sec, 1690 secs
lola: 26039395 markings, 26318061 edges, 16740 markings/sec, 1695 secs
lola: 26117579 markings, 26396970 edges, 15637 markings/sec, 1700 secs
lola: 26194409 markings, 26474551 edges, 15366 markings/sec, 1705 secs
lola: 26269799 markings, 26550560 edges, 15078 markings/sec, 1710 secs
lola: 26345607 markings, 26626798 edges, 15162 markings/sec, 1715 secs
lola: 26423895 markings, 26705328 edges, 15658 markings/sec, 1720 secs
lola: 26497558 markings, 26779424 edges, 14733 markings/sec, 1725 secs
lola: 26570802 markings, 26853385 edges, 14649 markings/sec, 1730 secs
lola: 26645741 markings, 26929064 edges, 14988 markings/sec, 1735 secs
lola: 26717140 markings, 27000934 edges, 14280 markings/sec, 1740 secs
lola: 26792298 markings, 27076402 edges, 15032 markings/sec, 1745 secs
lola: 26869110 markings, 27153441 edges, 15362 markings/sec, 1750 secs
lola: 26946476 markings, 27231444 edges, 15473 markings/sec, 1755 secs
lola: 27020308 markings, 27306003 edges, 14766 markings/sec, 1760 secs
lola: 27094009 markings, 27380341 edges, 14740 markings/sec, 1765 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 36 1 1 1 1 1 unknown unknown
lola: memory consumption: 3436940 KB
lola: time consumption: 1795 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1774 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pol_d3_n1_1_2_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pol_d3_n1_1_2_1_3)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file HypercubeGrid-PT-C4K3P3B12-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 HypercubeGrid-PT-C4K3P3B12-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(pb_d3_n2_1_1_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pb_d3_n2_1_1_3_2)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file HypercubeGrid-PT-C4K3P3B12-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: 36
lola: 119856 markings, 126786 edges, 23971 markings/sec, 0 secs
lola: 195318 markings, 208738 edges, 15092 markings/sec, 5 secs
lola: 259551 markings, 282238 edges, 12847 markings/sec, 10 secs
lola: 332699 markings, 358786 edges, 14630 markings/sec, 15 secs
lola: 406903 markings, 442266 edges, 14841 markings/sec, 20 secs
lola: 481720 markings, 526464 edges, 14963 markings/sec, 25 secs
lola: 556337 markings, 610434 edges, 14923 markings/sec, 30 secs
lola: 630666 markings, 694057 edges, 14866 markings/sec, 35 secs
lola: 703400 markings, 775861 edges, 14547 markings/sec, 40 secs
lola: 773106 markings, 854233 edges, 13941 markings/sec, 45 secs
lola: 845326 markings, 935498 edges, 14444 markings/sec, 50 secs
lola: 915438 markings, 1014323 edges, 14022 markings/sec, 55 secs
lola: 987623 markings, 1095491 edges, 14437 markings/sec, 60 secs
lola: 1065980 markings, 1177878 edges, 15671 markings/sec, 65 secs
lola: 1148994 markings, 1260892 edges, 16603 markings/sec, 70 secs
lola: 1232268 markings, 1344356 edges, 16655 markings/sec, 75 secs
lola: 1317409 markings, 1429726 edges, 17028 markings/sec, 80 secs
lola: 1400193 markings, 1512759 edges, 16557 markings/sec, 85 secs
lola: 1483171 markings, 1596000 edges, 16596 markings/sec, 90 secs
lola: 1567953 markings, 1681032 edges, 16956 markings/sec, 95 secs
lola: 1650845 markings, 1764715 edges, 16578 markings/sec, 100 secs
lola: 1733230 markings, 1847906 edges, 16477 markings/sec, 105 secs
lola: 1814740 markings, 1930032 edges, 16302 markings/sec, 110 secs
lola: 1900070 markings, 2015757 edges, 17066 markings/sec, 115 secs
lola: 1983662 markings, 2099599 edges, 16718 markings/sec, 120 secs
lola: 2063108 markings, 2179714 edges, 15889 markings/sec, 125 secs
lola: 2141462 markings, 2258844 edges, 15671 markings/sec, 130 secs
lola: 2218976 markings, 2337000 edges, 15503 markings/sec, 135 secs
lola: 2294484 markings, 2412954 edges, 15102 markings/sec, 140 secs
lola: 2370475 markings, 2489183 edges, 15198 markings/sec, 145 secs
lola: 2447838 markings, 2566917 edges, 15473 markings/sec, 150 secs
lola: 2529253 markings, 2649123 edges, 16283 markings/sec, 155 secs
lola: 2610372 markings, 2731044 edges, 16224 markings/sec, 160 secs
lola: 2689439 markings, 2810641 edges, 15813 markings/sec, 165 secs
lola: 2768348 markings, 2889858 edges, 15782 markings/sec, 170 secs
lola: 2847497 markings, 2969243 edges, 15830 markings/sec, 175 secs
lola: 2924384 markings, 3046827 edges, 15377 markings/sec, 180 secs
lola: 3005908 markings, 3129157 edges, 16305 markings/sec, 185 secs
lola: 3089923 markings, 3213837 edges, 16803 markings/sec, 190 secs
lola: 3173140 markings, 3297471 edges, 16643 markings/sec, 195 secs
lola: 3256195 markings, 3380776 edges, 16611 markings/sec, 200 secs
lola: 3338379 markings, 3463583 edges, 16437 markings/sec, 205 secs
lola: 3419557 markings, 3545563 edges, 16236 markings/sec, 210 secs
lola: 3501341 markings, 3628039 edges, 16357 markings/sec, 215 secs
lola: 3584121 markings, 3711289 edges, 16556 markings/sec, 220 secs
lola: 3667220 markings, 3794644 edges, 16620 markings/sec, 225 secs
lola: 3750029 markings, 3877968 edges, 16562 markings/sec, 230 secs
lola: 3830893 markings, 3959629 edges, 16173 markings/sec, 235 secs
lola: 3911752 markings, 4041225 edges, 16172 markings/sec, 240 secs
lola: 3995635 markings, 4125641 edges, 16777 markings/sec, 245 secs
lola: 4078711 markings, 4208980 edges, 16615 markings/sec, 250 secs
lola: 4162437 markings, 4293116 edges, 16745 markings/sec, 255 secs
lola: 4244074 markings, 4375556 edges, 16327 markings/sec, 260 secs
lola: 4325683 markings, 4457957 edges, 16322 markings/sec, 265 secs
lola: 4405971 markings, 4538778 edges, 16058 markings/sec, 270 secs
lola: 4486067 markings, 4619165 edges, 16019 markings/sec, 275 secs
lola: 4566723 markings, 4700061 edges, 16131 markings/sec, 280 secs
lola: 4647536 markings, 4781668 edges, 16163 markings/sec, 285 secs
lola: 4729069 markings, 4864011 edges, 16307 markings/sec, 290 secs
lola: 4810674 markings, 4946224 edges, 16321 markings/sec, 295 secs
lola: 4892095 markings, 5028020 edges, 16284 markings/sec, 300 secs
lola: 4974579 markings, 5110751 edges, 16497 markings/sec, 305 secs
lola: 5054879 markings, 5191706 edges, 16060 markings/sec, 310 secs
lola: 5133933 markings, 5271537 edges, 15811 markings/sec, 315 secs
lola: 5215366 markings, 5353651 edges, 16287 markings/sec, 320 secs
lola: 5296136 markings, 5434877 edges, 16154 markings/sec, 325 secs
lola: 5375424 markings, 5514408 edges, 15858 markings/sec, 330 secs
lola: 5451336 markings, 5590800 edges, 15182 markings/sec, 335 secs
lola: 5526333 markings, 5666525 edges, 14999 markings/sec, 340 secs
lola: 5608184 markings, 5749140 edges, 16370 markings/sec, 345 secs
lola: 5690371 markings, 5831850 edges, 16437 markings/sec, 350 secs
lola: 5772896 markings, 5914636 edges, 16505 markings/sec, 355 secs
lola: 5855891 markings, 5998019 edges, 16599 markings/sec, 360 secs
lola: 5937675 markings, 6080592 edges, 16357 markings/sec, 365 secs
lola: 6019051 markings, 6162775 edges, 16275 markings/sec, 370 secs
lola: 6100632 markings, 6244902 edges, 16316 markings/sec, 375 secs
lola: 6181785 markings, 6326362 edges, 16231 markings/sec, 380 secs
lola: 6262284 markings, 6407134 edges, 16100 markings/sec, 385 secs
lola: 6341605 markings, 6487235 edges, 15864 markings/sec, 390 secs
lola: 6420574 markings, 6566983 edges, 15794 markings/sec, 395 secs
lola: 6500419 markings, 6647403 edges, 15969 markings/sec, 400 secs
lola: 6580033 markings, 6727366 edges, 15923 markings/sec, 405 secs
lola: 6658668 markings, 6806236 edges, 15727 markings/sec, 410 secs
lola: 6740158 markings, 6888399 edges, 16298 markings/sec, 415 secs
lola: 6821254 markings, 6970281 edges, 16219 markings/sec, 420 secs
lola: 6902630 markings, 7052330 edges, 16275 markings/sec, 425 secs
lola: 6982813 markings, 7132959 edges, 16037 markings/sec, 430 secs
lola: 7065419 markings, 7215816 edges, 16521 markings/sec, 435 secs
lola: 7149350 markings, 7300343 edges, 16786 markings/sec, 440 secs
lola: 7230126 markings, 7381918 edges, 16155 markings/sec, 445 secs
lola: 7313036 markings, 7465522 edges, 16582 markings/sec, 450 secs
lola: 7395816 markings, 7548760 edges, 16556 markings/sec, 455 secs
lola: 7477061 markings, 7630257 edges, 16249 markings/sec, 460 secs
lola: 7557545 markings, 7711230 edges, 16097 markings/sec, 465 secs
lola: 7637193 markings, 7791660 edges, 15930 markings/sec, 470 secs
lola: 7717918 markings, 7873137 edges, 16145 markings/sec, 475 secs
lola: 7799197 markings, 7954956 edges, 16256 markings/sec, 480 secs
lola: 7880896 markings, 8036914 edges, 16340 markings/sec, 485 secs
lola: 7962053 markings, 8118455 edges, 16231 markings/sec, 490 secs
lola: 8042624 markings, 8199810 edges, 16114 markings/sec, 495 secs
lola: 8122331 markings, 8280297 edges, 15941 markings/sec, 500 secs
lola: 8201015 markings, 8359510 edges, 15737 markings/sec, 505 secs
lola: 8282250 markings, 8441034 edges, 16247 markings/sec, 510 secs
lola: 8363771 markings, 8522803 edges, 16304 markings/sec, 515 secs
lola: 8445461 markings, 8605306 edges, 16338 markings/sec, 520 secs
lola: 8526354 markings, 8686985 edges, 16179 markings/sec, 525 secs
lola: 8608102 markings, 8769341 edges, 16350 markings/sec, 530 secs
lola: 8691162 markings, 8852784 edges, 16612 markings/sec, 535 secs
lola: 8774208 markings, 8936075 edges, 16609 markings/sec, 540 secs
lola: 8855790 markings, 9018404 edges, 16316 markings/sec, 545 secs
lola: 8934801 markings, 9098186 edges, 15802 markings/sec, 550 secs
lola: 9014825 markings, 9178830 edges, 16005 markings/sec, 555 secs
lola: 9096329 markings, 9260724 edges, 16301 markings/sec, 560 secs
lola: 9178409 markings, 9343051 edges, 16416 markings/sec, 565 secs
lola: 9259982 markings, 9425247 edges, 16315 markings/sec, 570 secs
lola: 9340451 markings, 9506514 edges, 16094 markings/sec, 575 secs
lola: 9420672 markings, 9587411 edges, 16044 markings/sec, 580 secs
lola: 9502080 markings, 9669296 edges, 16282 markings/sec, 585 secs
lola: 9585027 markings, 9752501 edges, 16589 markings/sec, 590 secs
lola: 9667185 markings, 9835190 edges, 16432 markings/sec, 595 secs
lola: 9750581 markings, 9919407 edges, 16679 markings/sec, 600 secs
lola: 9831078 markings, 10000604 edges, 16099 markings/sec, 605 secs
lola: 9912185 markings, 10082192 edges, 16221 markings/sec, 610 secs
lola: 9993245 markings, 10163504 edges, 16212 markings/sec, 615 secs
lola: 10073915 markings, 10244603 edges, 16134 markings/sec, 620 secs
lola: 10155240 markings, 10326732 edges, 16265 markings/sec, 625 secs
lola: 10235676 markings, 10407932 edges, 16087 markings/sec, 630 secs
lola: 10317344 markings, 10490153 edges, 16334 markings/sec, 635 secs
lola: 10397533 markings, 10570616 edges, 16038 markings/sec, 640 secs
lola: 10478161 markings, 10651554 edges, 16126 markings/sec, 645 secs
lola: 10556710 markings, 10730881 edges, 15710 markings/sec, 650 secs
lola: 10635332 markings, 10810279 edges, 15724 markings/sec, 655 secs
lola: 10716471 markings, 10891989 edges, 16228 markings/sec, 660 secs
lola: 10795604 markings, 10971444 edges, 15827 markings/sec, 665 secs
lola: 10875851 markings, 11051928 edges, 16049 markings/sec, 670 secs
lola: 10957251 markings, 11134041 edges, 16280 markings/sec, 675 secs
lola: 11039734 markings, 11217339 edges, 16497 markings/sec, 680 secs
lola: 11121938 markings, 11300193 edges, 16441 markings/sec, 685 secs
lola: 11202015 markings, 11380681 edges, 16015 markings/sec, 690 secs
lola: 11283746 markings, 11462657 edges, 16346 markings/sec, 695 secs
lola: 11364963 markings, 11544497 edges, 16243 markings/sec, 700 secs
lola: 11446072 markings, 11626406 edges, 16222 markings/sec, 705 secs
lola: 11527389 markings, 11708396 edges, 16263 markings/sec, 710 secs
lola: 11609660 markings, 11791108 edges, 16454 markings/sec, 715 secs
lola: 11692116 markings, 11873816 edges, 16491 markings/sec, 720 secs
lola: 11773692 markings, 11955923 edges, 16315 markings/sec, 725 secs
lola: 11854316 markings, 12037347 edges, 16125 markings/sec, 730 secs
lola: 11935648 markings, 12119408 edges, 16266 markings/sec, 735 secs
lola: 12016458 markings, 12200733 edges, 16162 markings/sec, 740 secs
lola: 12097504 markings, 12282030 edges, 16209 markings/sec, 745 secs
lola: 12179265 markings, 12364222 edges, 16352 markings/sec, 750 secs
lola: 12261346 markings, 12447118 edges, 16416 markings/sec, 755 secs
lola: 12343263 markings, 12529790 edges, 16383 markings/sec, 760 secs
lola: 12425837 markings, 12612898 edges, 16515 markings/sec, 765 secs
lola: 12508619 markings, 12695940 edges, 16556 markings/sec, 770 secs
lola: 12589594 markings, 12777271 edges, 16195 markings/sec, 775 secs
lola: 12671438 markings, 12859929 edges, 16369 markings/sec, 780 secs
lola: 12753067 markings, 12942348 edges, 16326 markings/sec, 785 secs
lola: 12834968 markings, 13024813 edges, 16380 markings/sec, 790 secs
lola: 12917744 markings, 13107904 edges, 16555 markings/sec, 795 secs
lola: 13001256 markings, 13191718 edges, 16702 markings/sec, 800 secs
lola: 13083822 markings, 13275091 edges, 16513 markings/sec, 805 secs
lola: 13163502 markings, 13355552 edges, 15936 markings/sec, 810 secs
lola: 13242422 markings, 13435033 edges, 15784 markings/sec, 815 secs
lola: 13322129 markings, 13515064 edges, 15941 markings/sec, 820 secs
lola: 13402747 markings, 13595921 edges, 16124 markings/sec, 825 secs
lola: 13483550 markings, 13677433 edges, 16161 markings/sec, 830 secs
lola: 13565478 markings, 13760169 edges, 16386 markings/sec, 835 secs
lola: 13647274 markings, 13842618 edges, 16359 markings/sec, 840 secs
lola: 13728644 markings, 13924405 edges, 16274 markings/sec, 845 secs
lola: 13811153 markings, 14007163 edges, 16502 markings/sec, 850 secs
lola: 13893296 markings, 14089947 edges, 16429 markings/sec, 855 secs
lola: 13975488 markings, 14172945 edges, 16438 markings/sec, 860 secs
lola: 14057866 markings, 14255996 edges, 16476 markings/sec, 865 secs
lola: 14139928 markings, 14338482 edges, 16412 markings/sec, 870 secs
lola: 14218360 markings, 14417154 edges, 15686 markings/sec, 875 secs
lola: 14298637 markings, 14497958 edges, 16055 markings/sec, 880 secs
lola: 14381787 markings, 14581925 edges, 16630 markings/sec, 885 secs
lola: 14464800 markings, 14665673 edges, 16603 markings/sec, 890 secs
lola: 14546949 markings, 14748330 edges, 16430 markings/sec, 895 secs
lola: 14629282 markings, 14830919 edges, 16467 markings/sec, 900 secs
lola: 14711785 markings, 14913903 edges, 16501 markings/sec, 905 secs
lola: 14793733 markings, 14996655 edges, 16390 markings/sec, 910 secs
lola: 14875648 markings, 15079315 edges, 16383 markings/sec, 915 secs
lola: 14955482 markings, 15159648 edges, 15967 markings/sec, 920 secs
lola: 15036438 markings, 15240859 edges, 16191 markings/sec, 925 secs
lola: 15116912 markings, 15321699 edges, 16095 markings/sec, 930 secs
lola: 15197057 markings, 15402632 edges, 16029 markings/sec, 935 secs
lola: 15276416 markings, 15482771 edges, 15872 markings/sec, 940 secs
lola: 15357654 markings, 15564567 edges, 16248 markings/sec, 945 secs
lola: 15437861 markings, 15645096 edges, 16041 markings/sec, 950 secs
lola: 15517733 markings, 15725206 edges, 15974 markings/sec, 955 secs
lola: 15599310 markings, 15807568 edges, 16315 markings/sec, 960 secs
lola: 15679267 markings, 15888307 edges, 15991 markings/sec, 965 secs
lola: 15759900 markings, 15969543 edges, 16127 markings/sec, 970 secs
lola: 15839643 markings, 16049646 edges, 15949 markings/sec, 975 secs
lola: 15919656 markings, 16129896 edges, 16003 markings/sec, 980 secs
lola: 16000674 markings, 16211571 edges, 16204 markings/sec, 985 secs
lola: 16081016 markings, 16292697 edges, 16068 markings/sec, 990 secs
lola: 16156257 markings, 16368579 edges, 15048 markings/sec, 995 secs
lola: 16231586 markings, 16444365 edges, 15066 markings/sec, 1000 secs
lola: 16308256 markings, 16521273 edges, 15334 markings/sec, 1005 secs
lola: 16388488 markings, 16601924 edges, 16046 markings/sec, 1010 secs
lola: 16469393 markings, 16683631 edges, 16181 markings/sec, 1015 secs
lola: 16547834 markings, 16762815 edges, 15688 markings/sec, 1020 secs
lola: 16625923 markings, 16841426 edges, 15618 markings/sec, 1025 secs
lola: 16704924 markings, 16920696 edges, 15800 markings/sec, 1030 secs
lola: 16782416 markings, 16998418 edges, 15498 markings/sec, 1035 secs
lola: 16857709 markings, 17074441 edges, 15059 markings/sec, 1040 secs
lola: 16936851 markings, 17154362 edges, 15828 markings/sec, 1045 secs
lola: 17015569 markings, 17233706 edges, 15744 markings/sec, 1050 secs
lola: 17093547 markings, 17312090 edges, 15596 markings/sec, 1055 secs
lola: 17169313 markings, 17388085 edges, 15153 markings/sec, 1060 secs
lola: 17245745 markings, 17465033 edges, 15286 markings/sec, 1065 secs
lola: 17329242 markings, 17549357 edges, 16699 markings/sec, 1070 secs
lola: 17411622 markings, 17632446 edges, 16476 markings/sec, 1075 secs
lola: 17492861 markings, 17714159 edges, 16248 markings/sec, 1080 secs
lola: 17575128 markings, 17796681 edges, 16453 markings/sec, 1085 secs
lola: 17655930 markings, 17877940 edges, 16160 markings/sec, 1090 secs
lola: 17735629 markings, 17958420 edges, 15940 markings/sec, 1095 secs
lola: 17815753 markings, 18039310 edges, 16025 markings/sec, 1100 secs
lola: 17897384 markings, 18121482 edges, 16326 markings/sec, 1105 secs
lola: 17979539 markings, 18203915 edges, 16431 markings/sec, 1110 secs
lola: 18061618 markings, 18286346 edges, 16416 markings/sec, 1115 secs
lola: 18142765 markings, 18368286 edges, 16229 markings/sec, 1120 secs
lola: 18223840 markings, 18450164 edges, 16215 markings/sec, 1125 secs
lola: 18305528 markings, 18532402 edges, 16338 markings/sec, 1130 secs
lola: 18387405 markings, 18614567 edges, 16375 markings/sec, 1135 secs
lola: 18468390 markings, 18695800 edges, 16197 markings/sec, 1140 secs
lola: 18549969 markings, 18778184 edges, 16316 markings/sec, 1145 secs
lola: 18631272 markings, 18860282 edges, 16261 markings/sec, 1150 secs
lola: 18712690 markings, 18942307 edges, 16284 markings/sec, 1155 secs
lola: 18794718 markings, 19024714 edges, 16406 markings/sec, 1160 secs
lola: 18877233 markings, 19107474 edges, 16503 markings/sec, 1165 secs
lola: 18958324 markings, 19189285 edges, 16218 markings/sec, 1170 secs
lola: 19038337 markings, 19270088 edges, 16003 markings/sec, 1175 secs
lola: 19120525 markings, 19352910 edges, 16438 markings/sec, 1180 secs
lola: 19201624 markings, 19434400 edges, 16220 markings/sec, 1185 secs
lola: 19283902 markings, 19516926 edges, 16456 markings/sec, 1190 secs
lola: 19363931 markings, 19597565 edges, 16006 markings/sec, 1195 secs
lola: 19443151 markings, 19677561 edges, 15844 markings/sec, 1200 secs
lola: 19524151 markings, 19759264 edges, 16200 markings/sec, 1205 secs
lola: 19606325 markings, 19841920 edges, 16435 markings/sec, 1210 secs
lola: 19687824 markings, 19923671 edges, 16300 markings/sec, 1215 secs
lola: 19770209 markings, 20006579 edges, 16477 markings/sec, 1220 secs
lola: 19851148 markings, 20088310 edges, 16188 markings/sec, 1225 secs
lola: 19932541 markings, 20170426 edges, 16279 markings/sec, 1230 secs
lola: 20014717 markings, 20253096 edges, 16435 markings/sec, 1235 secs
lola: 20097214 markings, 20335851 edges, 16499 markings/sec, 1240 secs
lola: 20179130 markings, 20418198 edges, 16383 markings/sec, 1245 secs
lola: 20261115 markings, 20500998 edges, 16397 markings/sec, 1250 secs
lola: 20343270 markings, 20583926 edges, 16431 markings/sec, 1255 secs
lola: 20425657 markings, 20666868 edges, 16477 markings/sec, 1260 secs
lola: 20508003 markings, 20749483 edges, 16469 markings/sec, 1265 secs
lola: 20590432 markings, 20832282 edges, 16486 markings/sec, 1270 secs
lola: 20672597 markings, 20915253 edges, 16433 markings/sec, 1275 secs
lola: 20754670 markings, 20998122 edges, 16415 markings/sec, 1280 secs
lola: 20836053 markings, 21080050 edges, 16277 markings/sec, 1285 secs
lola: 20918610 markings, 21162885 edges, 16511 markings/sec, 1290 secs
lola: 21000400 markings, 21244960 edges, 16358 markings/sec, 1295 secs
lola: 21081444 markings, 21326807 edges, 16209 markings/sec, 1300 secs
lola: 21163519 markings, 21409680 edges, 16415 markings/sec, 1305 secs
lola: 21245396 markings, 21492155 edges, 16375 markings/sec, 1310 secs
lola: 21327310 markings, 21574422 edges, 16383 markings/sec, 1315 secs
lola: 21409328 markings, 21656683 edges, 16404 markings/sec, 1320 secs
lola: 21491752 markings, 21739884 edges, 16485 markings/sec, 1325 secs
lola: 21572555 markings, 21821483 edges, 16161 markings/sec, 1330 secs
lola: 21651325 markings, 21900840 edges, 15754 markings/sec, 1335 secs
lola: 21731571 markings, 21981457 edges, 16049 markings/sec, 1340 secs
lola: 21811976 markings, 22062101 edges, 16081 markings/sec, 1345 secs
lola: 21891977 markings, 22142728 edges, 16000 markings/sec, 1350 secs
lola: 21972570 markings, 22224116 edges, 16119 markings/sec, 1355 secs
lola: 22054582 markings, 22306815 edges, 16402 markings/sec, 1360 secs
lola: 22134657 markings, 22387355 edges, 16015 markings/sec, 1365 secs
lola: 22216436 markings, 22469386 edges, 16356 markings/sec, 1370 secs
lola: 22298679 markings, 22552161 edges, 16449 markings/sec, 1375 secs
lola: 22380837 markings, 22635125 edges, 16432 markings/sec, 1380 secs
lola: 22462142 markings, 22717142 edges, 16261 markings/sec, 1385 secs
lola: 22544364 markings, 22799850 edges, 16444 markings/sec, 1390 secs
lola: 22626758 markings, 22882502 edges, 16479 markings/sec, 1395 secs
lola: 22708814 markings, 22965019 edges, 16411 markings/sec, 1400 secs
lola: 22790596 markings, 23047594 edges, 16356 markings/sec, 1405 secs
lola: 22872557 markings, 23130327 edges, 16392 markings/sec, 1410 secs
lola: 22954416 markings, 23212739 edges, 16372 markings/sec, 1415 secs
lola: 23036458 markings, 23295041 edges, 16408 markings/sec, 1420 secs
lola: 23116932 markings, 23375879 edges, 16095 markings/sec, 1425 secs
lola: 23198554 markings, 23458304 edges, 16324 markings/sec, 1430 secs
lola: 23280318 markings, 23540856 edges, 16353 markings/sec, 1435 secs
lola: 23362398 markings, 23623491 edges, 16416 markings/sec, 1440 secs
lola: 23443807 markings, 23705174 edges, 16282 markings/sec, 1445 secs
lola: 23525171 markings, 23786815 edges, 16273 markings/sec, 1450 secs
lola: 23606365 markings, 23868802 edges, 16239 markings/sec, 1455 secs
lola: 23687848 markings, 23951092 edges, 16297 markings/sec, 1460 secs
lola: 23764064 markings, 24027869 edges, 15243 markings/sec, 1465 secs
lola: 23839595 markings, 24103760 edges, 15106 markings/sec, 1470 secs
lola: 23916576 markings, 24180971 edges, 15396 markings/sec, 1475 secs
lola: 23996551 markings, 24261564 edges, 15995 markings/sec, 1480 secs
lola: 24078364 markings, 24344180 edges, 16363 markings/sec, 1485 secs
lola: 24160270 markings, 24426761 edges, 16381 markings/sec, 1490 secs
lola: 24242610 markings, 24509540 edges, 16468 markings/sec, 1495 secs
lola: 24324437 markings, 24591618 edges, 16365 markings/sec, 1500 secs
lola: 24406498 markings, 24674228 edges, 16412 markings/sec, 1505 secs
lola: 24488340 markings, 24756877 edges, 16368 markings/sec, 1510 secs
lola: 24569844 markings, 24839101 edges, 16301 markings/sec, 1515 secs
lola: 24650607 markings, 24920366 edges, 16153 markings/sec, 1520 secs
lola: 24733055 markings, 25003070 edges, 16490 markings/sec, 1525 secs
lola: 24815354 markings, 25085833 edges, 16460 markings/sec, 1530 secs
lola: 24897586 markings, 25168878 edges, 16446 markings/sec, 1535 secs
lola: 24979507 markings, 25251547 edges, 16384 markings/sec, 1540 secs
lola: 25061196 markings, 25333747 edges, 16338 markings/sec, 1545 secs
lola: 25143355 markings, 25416163 edges, 16432 markings/sec, 1550 secs
lola: 25224897 markings, 25498092 edges, 16308 markings/sec, 1555 secs
lola: 25306216 markings, 25580205 edges, 16264 markings/sec, 1560 secs
lola: 25387818 markings, 25662614 edges, 16320 markings/sec, 1565 secs
lola: 25469327 markings, 25744669 edges, 16302 markings/sec, 1570 secs
lola: 25551533 markings, 25827178 edges, 16441 markings/sec, 1575 secs
lola: 25634098 markings, 25910057 edges, 16513 markings/sec, 1580 secs
lola: 25716035 markings, 25992784 edges, 16387 markings/sec, 1585 secs
lola: 25796044 markings, 26073582 edges, 16002 markings/sec, 1590 secs
lola: 25877576 markings, 26155689 edges, 16306 markings/sec, 1595 secs
lola: 25959944 markings, 26238376 edges, 16474 markings/sec, 1600 secs
lola: 26042129 markings, 26320804 edges, 16437 markings/sec, 1605 secs
lola: 26124222 markings, 26403683 edges, 16419 markings/sec, 1610 secs
lola: 26205892 markings, 26486142 edges, 16334 markings/sec, 1615 secs
lola: 26287459 markings, 26568340 edges, 16313 markings/sec, 1620 secs
lola: 26368802 markings, 26650071 edges, 16269 markings/sec, 1625 secs
lola: 26450726 markings, 26732238 edges, 16385 markings/sec, 1630 secs
lola: 26531834 markings, 26814029 edges, 16222 markings/sec, 1635 secs
lola: 26613427 markings, 26896427 edges, 16319 markings/sec, 1640 secs
lola: 26693721 markings, 26977357 edges, 16059 markings/sec, 1645 secs
lola: 26775089 markings, 27059137 edges, 16274 markings/sec, 1650 secs
lola: 26857141 markings, 27141439 edges, 16410 markings/sec, 1655 secs
lola: 26938952 markings, 27223854 edges, 16362 markings/sec, 1660 secs
lola: 27020322 markings, 27306017 edges, 16274 markings/sec, 1665 secs
lola: 27101808 markings, 27388195 edges, 16297 markings/sec, 1670 secs
lola: 27181275 markings, 27468104 edges, 15893 markings/sec, 1675 secs
lola: 27262671 markings, 27549749 edges, 16279 markings/sec, 1680 secs
lola: 27344435 markings, 27632090 edges, 16353 markings/sec, 1685 secs
lola: 27425442 markings, 27713894 edges, 16201 markings/sec, 1690 secs
lola: 27506055 markings, 27795181 edges, 16123 markings/sec, 1695 secs
lola: 27587679 markings, 27877244 edges, 16325 markings/sec, 1700 secs
lola: 27669590 markings, 27959404 edges, 16382 markings/sec, 1705 secs
lola: 27751202 markings, 28041495 edges, 16322 markings/sec, 1710 secs
lola: 27832988 markings, 28123982 edges, 16357 markings/sec, 1715 secs
lola: 27913583 markings, 28205117 edges, 16119 markings/sec, 1720 secs
lola: 27987917 markings, 28279700 edges, 14867 markings/sec, 1725 secs
lola: 28061610 markings, 28353612 edges, 14739 markings/sec, 1730 secs
lola: 28138618 markings, 28431289 edges, 15402 markings/sec, 1735 secs
lola: 28216211 markings, 28509478 edges, 15519 markings/sec, 1740 secs
lola: 28291722 markings, 28585430 edges, 15102 markings/sec, 1745 secs
lola: 28369927 markings, 28664056 edges, 15641 markings/sec, 1750 secs
lola: 28454084 markings, 28748668 edges, 16831 markings/sec, 1755 secs
lola: 28535759 markings, 28830786 edges, 16335 markings/sec, 1760 secs
lola: 28616513 markings, 28911979 edges, 16151 markings/sec, 1765 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 36 1 1 1 1 1 unknown 1
lola:
preliminary result: 1 1 1 1 1 1 1 1 36 1 1 1 1 1 unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 36 1 1 1 1 1 unknown 1
lola: memory consumption: 3632276 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 36 1 1 1 1 1 unknown 1
lola: memory consumption: 3632276 KB
lola: time consumption: 3569 seconds

BK_STOP 1552875996356

--------------------
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="HypercubeGrid-PT-C4K3P3B12"
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 HypercubeGrid-PT-C4K3P3B12, 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 r088-csrt-155246566000250"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/HypercubeGrid-PT-C4K3P3B12.tgz
mv HypercubeGrid-PT-C4K3P3B12 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 ;