Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r077-smll-155234766500082.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3957
Executing tool win2018
Input is EnergyBus-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r077-smll-155234766500082
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.3M
-rw-r--r-- 1 mcc users 3.3K Feb 10 23:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 10 23:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 6 20:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 6 20:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 104 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 342 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.8K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 3 08:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 08:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jan 31 00:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Jan 31 00:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 3.2M 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 EnergyBus-PT-none-UpperBounds-00
FORMULA_NAME EnergyBus-PT-none-UpperBounds-01
FORMULA_NAME EnergyBus-PT-none-UpperBounds-02
FORMULA_NAME EnergyBus-PT-none-UpperBounds-03
FORMULA_NAME EnergyBus-PT-none-UpperBounds-04
FORMULA_NAME EnergyBus-PT-none-UpperBounds-05
FORMULA_NAME EnergyBus-PT-none-UpperBounds-06
FORMULA_NAME EnergyBus-PT-none-UpperBounds-07
FORMULA_NAME EnergyBus-PT-none-UpperBounds-08
FORMULA_NAME EnergyBus-PT-none-UpperBounds-09
FORMULA_NAME EnergyBus-PT-none-UpperBounds-10
FORMULA_NAME EnergyBus-PT-none-UpperBounds-11
FORMULA_NAME EnergyBus-PT-none-UpperBounds-12
FORMULA_NAME EnergyBus-PT-none-UpperBounds-13
FORMULA_NAME EnergyBus-PT-none-UpperBounds-14
FORMULA_NAME EnergyBus-PT-none-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552444486069

info: Time: 3600 - MCC
===========================================================================================
prep: translating EnergyBus-PT-none Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating EnergyBus-PT-none formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ EnergyBus-PT-none @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 4587/65536 symbol table entries, 981 collisions
lola: preprocessing...
lola: Size of bit vector: 157
lola: finding significant places
lola: 157 places, 4430 transitions, 134 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1049 transition conflict sets
lola: TASK
lola: reading formula from EnergyBus-PT-none-UpperBounds.task
lola: MAX(p51) : MAX(p128) : MAX(p144) : MAX(p119) : MAX(p152) : MAX(p44) : MAX(p24) : MAX(p121) : MAX(p150) : MAX(p41) : MAX(p137) : MAX(p44) : MAX(p125) : MAX(p44) : MAX(p41) : MAX(p94)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p51)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p51)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file EnergyBus-PT-none-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 EnergyBus-PT-none-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(p128)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p128)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file EnergyBus-PT-none-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: 1229 markings, 2917 edges
lola: ========================================

FORMULA EnergyBus-PT-none-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p144)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p144)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file EnergyBus-PT-none-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: 5538 markings, 8552 edges, 1108 markings/sec, 0 secs
lola: 8603 markings, 13398 edges, 613 markings/sec, 5 secs
lola: 12174 markings, 19387 edges, 714 markings/sec, 10 secs
lola: 13878 markings, 22375 edges, 341 markings/sec, 15 secs
lola: 18996 markings, 30294 edges, 1024 markings/sec, 20 secs
lola: 20327 markings, 32613 edges, 266 markings/sec, 25 secs
lola: 24142 markings, 38429 edges, 763 markings/sec, 30 secs
lola: 25951 markings, 41527 edges, 362 markings/sec, 35 secs
lola: 30375 markings, 48426 edges, 885 markings/sec, 40 secs
lola: 35392 markings, 56236 edges, 1003 markings/sec, 45 secs
lola: 38215 markings, 60947 edges, 565 markings/sec, 50 secs
lola: 40117 markings, 64367 edges, 380 markings/sec, 55 secs
lola: 42593 markings, 69270 edges, 495 markings/sec, 60 secs
lola: 44060 markings, 72344 edges, 293 markings/sec, 65 secs
lola: 45774 markings, 75478 edges, 343 markings/sec, 70 secs
lola: 48852 markings, 80310 edges, 616 markings/sec, 75 secs
lola: 53775 markings, 87975 edges, 985 markings/sec, 80 secs
lola: 56392 markings, 92238 edges, 523 markings/sec, 85 secs
lola: 59022 markings, 96569 edges, 526 markings/sec, 90 secs
lola: 60954 markings, 99935 edges, 386 markings/sec, 95 secs
lola: 63287 markings, 104058 edges, 467 markings/sec, 100 secs
lola: 65639 markings, 108969 edges, 470 markings/sec, 105 secs
lola: 67629 markings, 114381 edges, 398 markings/sec, 110 secs
lola: 68814 markings, 118232 edges, 237 markings/sec, 115 secs
lola: 69835 markings, 120391 edges, 204 markings/sec, 120 secs
lola: 70812 markings, 122664 edges, 195 markings/sec, 125 secs
lola: 71844 markings, 126041 edges, 206 markings/sec, 130 secs
lola: 73456 markings, 129398 edges, 322 markings/sec, 135 secs
lola: 75140 markings, 133309 edges, 337 markings/sec, 140 secs
lola: 77643 markings, 138539 edges, 501 markings/sec, 145 secs
lola: 79441 markings, 141630 edges, 360 markings/sec, 150 secs
lola: 81265 markings, 145420 edges, 365 markings/sec, 155 secs
lola: 82648 markings, 149060 edges, 277 markings/sec, 160 secs
lola: 83606 markings, 151901 edges, 192 markings/sec, 165 secs
lola: 84655 markings, 154718 edges, 210 markings/sec, 170 secs
lola: 86441 markings, 159892 edges, 357 markings/sec, 175 secs
lola: 88864 markings, 164239 edges, 485 markings/sec, 180 secs
lola: 90893 markings, 169219 edges, 406 markings/sec, 185 secs
lola: 95609 markings, 178767 edges, 943 markings/sec, 190 secs
lola: 97840 markings, 182542 edges, 446 markings/sec, 195 secs
lola: 101852 markings, 189276 edges, 802 markings/sec, 200 secs
lola: 105262 markings, 194799 edges, 682 markings/sec, 205 secs
lola: 106982 markings, 197708 edges, 344 markings/sec, 210 secs
lola: 109492 markings, 202614 edges, 502 markings/sec, 215 secs
lola: 111023 markings, 205260 edges, 306 markings/sec, 220 secs
lola: 112927 markings, 208944 edges, 381 markings/sec, 225 secs
lola: 115404 markings, 212978 edges, 495 markings/sec, 230 secs
lola: 116837 markings, 216200 edges, 287 markings/sec, 235 secs
lola: 119273 markings, 220762 edges, 487 markings/sec, 240 secs
lola: 122457 markings, 226337 edges, 637 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 48280 KB
lola: time consumption: 257 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p119)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file EnergyBus-PT-none-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 EnergyBus-PT-none-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p152)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p152)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file EnergyBus-PT-none-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 EnergyBus-PT-none-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p44)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file EnergyBus-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 10 markings, 9 edges
lola: ========================================

FORMULA EnergyBus-PT-none-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p24)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file EnergyBus-PT-none-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 EnergyBus-PT-none-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p121)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p121)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file EnergyBus-PT-none-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 EnergyBus-PT-none-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 414 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p150)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p150)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file EnergyBus-PT-none-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: 12 markings, 11 edges
lola: ========================================

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

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

FORMULA EnergyBus-PT-none-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 662 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p44)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file EnergyBus-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 10 markings, 9 edges

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

FORMULA EnergyBus-PT-none-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1103 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p44)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file EnergyBus-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 10 markings, 9 edges
lola: ========================================

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

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

FORMULA EnergyBus-PT-none-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p144)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p144)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file EnergyBus-PT-none-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: 5366 markings, 8285 edges, 1073 markings/sec, 0 secs
lola: 8455 markings, 13135 edges, 618 markings/sec, 5 secs
lola: 12140 markings, 19329 edges, 737 markings/sec, 10 secs
lola: 13690 markings, 22072 edges, 310 markings/sec, 15 secs
lola: 18902 markings, 30141 edges, 1042 markings/sec, 20 secs
lola: 20304 markings, 32572 edges, 280 markings/sec, 25 secs
lola: 24118 markings, 38392 edges, 763 markings/sec, 30 secs
lola: 25824 markings, 41343 edges, 341 markings/sec, 35 secs
lola: 29819 markings, 47598 edges, 799 markings/sec, 40 secs
lola: 34882 markings, 55346 edges, 1013 markings/sec, 45 secs
lola: 37902 markings, 60443 edges, 604 markings/sec, 50 secs
lola: 40009 markings, 64193 edges, 421 markings/sec, 55 secs
lola: 42404 markings, 68880 edges, 479 markings/sec, 60 secs
lola: 43932 markings, 72139 edges, 306 markings/sec, 65 secs
lola: 45357 markings, 74837 edges, 285 markings/sec, 70 secs
lola: 48742 markings, 80132 edges, 677 markings/sec, 75 secs
lola: 53541 markings, 87546 edges, 960 markings/sec, 80 secs
lola: 56069 markings, 91694 edges, 506 markings/sec, 85 secs
lola: 58865 markings, 96287 edges, 559 markings/sec, 90 secs
lola: 60845 markings, 99755 edges, 396 markings/sec, 95 secs
lola: 63186 markings, 103874 edges, 468 markings/sec, 100 secs
lola: 65286 markings, 108003 edges, 420 markings/sec, 105 secs
lola: 67517 markings, 114200 edges, 446 markings/sec, 110 secs
lola: 68698 markings, 118034 edges, 236 markings/sec, 115 secs
lola: 69739 markings, 120240 edges, 208 markings/sec, 120 secs
lola: 70698 markings, 122463 edges, 192 markings/sec, 125 secs
lola: 71703 markings, 125265 edges, 201 markings/sec, 130 secs
lola: 73336 markings, 129198 edges, 327 markings/sec, 135 secs
lola: 74713 markings, 132327 edges, 275 markings/sec, 140 secs
lola: 77036 markings, 137505 edges, 465 markings/sec, 145 secs
lola: 78998 markings, 140875 edges, 392 markings/sec, 150 secs
lola: 81167 markings, 145262 edges, 434 markings/sec, 155 secs
lola: 82525 markings, 148852 edges, 272 markings/sec, 160 secs
lola: 83516 markings, 151750 edges, 198 markings/sec, 165 secs
lola: 84512 markings, 154379 edges, 199 markings/sec, 170 secs
lola: 86337 markings, 159724 edges, 365 markings/sec, 175 secs
lola: 88744 markings, 164033 edges, 481 markings/sec, 180 secs
lola: 90440 markings, 168402 edges, 339 markings/sec, 185 secs
lola: 95497 markings, 178584 edges, 1011 markings/sec, 190 secs
lola: 97756 markings, 182403 edges, 452 markings/sec, 195 secs
lola: 101506 markings, 188722 edges, 750 markings/sec, 200 secs
lola: 104284 markings, 193201 edges, 556 markings/sec, 205 secs
lola: 106827 markings, 197452 edges, 509 markings/sec, 210 secs
lola: 109281 markings, 202265 edges, 491 markings/sec, 215 secs
lola: 110850 markings, 204956 edges, 314 markings/sec, 220 secs
lola: 112188 markings, 207705 edges, 268 markings/sec, 225 secs
lola: 115225 markings, 212690 edges, 607 markings/sec, 230 secs
lola: 116121 markings, 214501 edges, 179 markings/sec, 235 secs
lola: 119079 markings, 220420 edges, 592 markings/sec, 240 secs
lola: 121082 markings, 224001 edges, 401 markings/sec, 245 secs
lola: 124382 markings, 231011 edges, 660 markings/sec, 250 secs
lola: 126057 markings, 234616 edges, 335 markings/sec, 255 secs
lola: 129421 markings, 240535 edges, 673 markings/sec, 260 secs
lola: 131507 markings, 244252 edges, 417 markings/sec, 265 secs
lola: 133749 markings, 250050 edges, 448 markings/sec, 270 secs
lola: 135612 markings, 253438 edges, 373 markings/sec, 275 secs
lola: 136730 markings, 255975 edges, 224 markings/sec, 280 secs
lola: 138334 markings, 260081 edges, 321 markings/sec, 285 secs
lola: 141817 markings, 265890 edges, 697 markings/sec, 290 secs
lola: 144262 markings, 270111 edges, 489 markings/sec, 295 secs
lola: 146607 markings, 274495 edges, 469 markings/sec, 300 secs
lola: 149791 markings, 281338 edges, 637 markings/sec, 305 secs
lola: 151459 markings, 284325 edges, 334 markings/sec, 310 secs
lola: 153314 markings, 288081 edges, 371 markings/sec, 315 secs
lola: 155163 markings, 293197 edges, 370 markings/sec, 320 secs
lola: 156089 markings, 295636 edges, 185 markings/sec, 325 secs
lola: 157165 markings, 298102 edges, 215 markings/sec, 330 secs
lola: 158150 markings, 300648 edges, 197 markings/sec, 335 secs
lola: 159114 markings, 303195 edges, 193 markings/sec, 340 secs
lola: 160897 markings, 308216 edges, 357 markings/sec, 345 secs
lola: 162291 markings, 311446 edges, 279 markings/sec, 350 secs
lola: 165389 markings, 317052 edges, 620 markings/sec, 355 secs
lola: 167341 markings, 321188 edges, 390 markings/sec, 360 secs
lola: 169445 markings, 326531 edges, 421 markings/sec, 365 secs
lola: 170366 markings, 328636 edges, 184 markings/sec, 370 secs
lola: 171421 markings, 331503 edges, 211 markings/sec, 375 secs
lola: 172331 markings, 333273 edges, 182 markings/sec, 380 secs
lola: 173971 markings, 338078 edges, 328 markings/sec, 385 secs
lola: 178426 markings, 345423 edges, 891 markings/sec, 390 secs
lola: 180848 markings, 350189 edges, 484 markings/sec, 395 secs
lola: 182317 markings, 353785 edges, 294 markings/sec, 400 secs
lola: 183291 markings, 355884 edges, 195 markings/sec, 405 secs
lola: 184803 markings, 359704 edges, 302 markings/sec, 410 secs
lola: 187609 markings, 365354 edges, 561 markings/sec, 415 secs
lola: 190267 markings, 370571 edges, 532 markings/sec, 420 secs
lola: 191793 markings, 374029 edges, 305 markings/sec, 425 secs
lola: 193044 markings, 376628 edges, 250 markings/sec, 430 secs
lola: 194053 markings, 378713 edges, 202 markings/sec, 435 secs
lola: 195184 markings, 382330 edges, 226 markings/sec, 440 secs
lola: 196210 markings, 385156 edges, 205 markings/sec, 445 secs
lola: 197681 markings, 390401 edges, 294 markings/sec, 450 secs
lola: 199019 markings, 393171 edges, 268 markings/sec, 455 secs
lola: 200829 markings, 397641 edges, 362 markings/sec, 460 secs
lola: 203379 markings, 402936 edges, 510 markings/sec, 465 secs
lola: 205138 markings, 406227 edges, 352 markings/sec, 470 secs
lola: 207551 markings, 412792 edges, 483 markings/sec, 475 secs
lola: 208485 markings, 414977 edges, 187 markings/sec, 480 secs
lola: 209389 markings, 416676 edges, 181 markings/sec, 485 secs
lola: 210409 markings, 420252 edges, 204 markings/sec, 490 secs
lola: 212136 markings, 424491 edges, 345 markings/sec, 495 secs
lola: 214434 markings, 428832 edges, 460 markings/sec, 500 secs
lola: 215529 markings, 431529 edges, 219 markings/sec, 505 secs
lola: 218247 markings, 437125 edges, 544 markings/sec, 510 secs
lola: 219891 markings, 440148 edges, 329 markings/sec, 515 secs
lola: 222420 markings, 447089 edges, 506 markings/sec, 520 secs
lola: 223447 markings, 449382 edges, 205 markings/sec, 525 secs
lola: 224451 markings, 451253 edges, 201 markings/sec, 530 secs
lola: 225420 markings, 454023 edges, 194 markings/sec, 535 secs
lola: 226321 markings, 455882 edges, 180 markings/sec, 540 secs
lola: 227954 markings, 460742 edges, 327 markings/sec, 545 secs
lola: 230028 markings, 465445 edges, 415 markings/sec, 550 secs
lola: 231101 markings, 467794 edges, 215 markings/sec, 555 secs
lola: 233575 markings, 472039 edges, 495 markings/sec, 560 secs
lola: 235393 markings, 475679 edges, 364 markings/sec, 565 secs
lola: 237548 markings, 481554 edges, 431 markings/sec, 570 secs
lola: 238559 markings, 484604 edges, 202 markings/sec, 575 secs
lola: 239524 markings, 487174 edges, 193 markings/sec, 580 secs
lola: 241892 markings, 492342 edges, 474 markings/sec, 585 secs
lola: 246189 markings, 498937 edges, 859 markings/sec, 590 secs
lola: 250073 markings, 506344 edges, 777 markings/sec, 595 secs
lola: 251394 markings, 508909 edges, 264 markings/sec, 600 secs
lola: 256684 markings, 516995 edges, 1058 markings/sec, 605 secs
lola: 258385 markings, 520115 edges, 340 markings/sec, 610 secs
lola: 261666 markings, 526072 edges, 656 markings/sec, 615 secs
lola: 264081 markings, 530392 edges, 483 markings/sec, 620 secs
lola: 266045 markings, 535150 edges, 393 markings/sec, 625 secs
lola: 267071 markings, 537195 edges, 205 markings/sec, 630 secs
lola: 268464 markings, 540703 edges, 279 markings/sec, 635 secs
lola: 269554 markings, 544392 edges, 218 markings/sec, 640 secs
lola: 270498 markings, 546877 edges, 189 markings/sec, 645 secs
lola: 271698 markings, 550512 edges, 240 markings/sec, 650 secs
lola: 273217 markings, 554151 edges, 304 markings/sec, 655 secs
lola: 274645 markings, 557207 edges, 286 markings/sec, 660 secs
lola: 276654 markings, 560671 edges, 402 markings/sec, 665 secs
lola: 278686 markings, 564407 edges, 406 markings/sec, 670 secs
lola: 280459 markings, 568382 edges, 355 markings/sec, 675 secs
lola: 284045 markings, 574381 edges, 717 markings/sec, 680 secs
lola: 285281 markings, 576515 edges, 247 markings/sec, 685 secs
lola: 287870 markings, 581894 edges, 518 markings/sec, 690 secs
lola: 289404 markings, 585246 edges, 307 markings/sec, 695 secs
lola: 292392 markings, 591247 edges, 598 markings/sec, 700 secs
lola: 295121 markings, 596449 edges, 546 markings/sec, 705 secs
lola: 296722 markings, 600297 edges, 320 markings/sec, 710 secs
lola: 297920 markings, 603015 edges, 240 markings/sec, 715 secs
lola: 298889 markings, 605017 edges, 194 markings/sec, 720 secs
lola: 299923 markings, 608079 edges, 207 markings/sec, 725 secs
lola: 300881 markings, 610767 edges, 192 markings/sec, 730 secs
lola: 301871 markings, 613882 edges, 198 markings/sec, 735 secs
lola: 303642 markings, 618601 edges, 354 markings/sec, 740 secs
lola: 305170 markings, 622256 edges, 306 markings/sec, 745 secs
lola: 306741 markings, 626158 edges, 314 markings/sec, 750 secs
lola: 308688 markings, 629388 edges, 389 markings/sec, 755 secs
lola: 310653 markings, 633279 edges, 393 markings/sec, 760 secs
lola: 312783 markings, 638383 edges, 426 markings/sec, 765 secs
lola: 313948 markings, 641831 edges, 233 markings/sec, 770 secs
lola: 314891 markings, 644883 edges, 189 markings/sec, 775 secs
lola: 316771 markings, 649565 edges, 376 markings/sec, 780 secs
lola: 319270 markings, 653773 edges, 500 markings/sec, 785 secs
lola: 321331 markings, 657289 edges, 412 markings/sec, 790 secs
lola: 323959 markings, 663924 edges, 526 markings/sec, 795 secs
lola: 325818 markings, 668706 edges, 372 markings/sec, 800 secs
lola: 327331 markings, 672283 edges, 303 markings/sec, 805 secs
lola: 330155 markings, 677327 edges, 565 markings/sec, 810 secs
lola: 332056 markings, 681137 edges, 380 markings/sec, 815 secs
lola: 334080 markings, 686066 edges, 405 markings/sec, 820 secs
lola: 335235 markings, 689000 edges, 231 markings/sec, 825 secs
lola: 336130 markings, 691341 edges, 179 markings/sec, 830 secs
lola: 337077 markings, 693470 edges, 189 markings/sec, 835 secs
lola: 339296 markings, 699335 edges, 444 markings/sec, 840 secs
lola: 344156 markings, 706703 edges, 972 markings/sec, 845 secs
lola: 345691 markings, 709377 edges, 307 markings/sec, 850 secs
lola: 349755 markings, 715737 edges, 813 markings/sec, 855 secs
lola: 354034 markings, 722331 edges, 856 markings/sec, 860 secs
lola: 357431 markings, 728033 edges, 679 markings/sec, 865 secs
lola: 359272 markings, 731240 edges, 368 markings/sec, 870 secs
lola: 360788 markings, 733907 edges, 303 markings/sec, 875 secs
lola: 362566 markings, 737158 edges, 356 markings/sec, 880 secs
lola: 365583 markings, 742383 edges, 603 markings/sec, 885 secs
lola: 368424 markings, 747084 edges, 568 markings/sec, 890 secs
lola: 370686 markings, 751394 edges, 452 markings/sec, 895 secs
lola: 372368 markings, 755097 edges, 336 markings/sec, 900 secs
lola: 373970 markings, 759794 edges, 320 markings/sec, 905 secs
lola: 375276 markings, 762787 edges, 261 markings/sec, 910 secs
lola: 376767 markings, 766191 edges, 298 markings/sec, 915 secs
lola: 378734 markings, 770210 edges, 393 markings/sec, 920 secs
lola: 382574 markings, 776185 edges, 768 markings/sec, 925 secs
lola: 385315 markings, 780598 edges, 548 markings/sec, 930 secs
lola: 388869 markings, 786926 edges, 711 markings/sec, 935 secs
lola: 390354 markings, 790116 edges, 297 markings/sec, 940 secs
lola: 393440 markings, 795159 edges, 617 markings/sec, 945 secs
lola: 396332 markings, 799937 edges, 578 markings/sec, 950 secs
lola: 398268 markings, 803151 edges, 387 markings/sec, 955 secs
lola: 400311 markings, 807372 edges, 409 markings/sec, 960 secs
lola: 404346 markings, 813907 edges, 807 markings/sec, 965 secs
lola: 408329 markings, 821361 edges, 797 markings/sec, 970 secs
lola: 410414 markings, 825710 edges, 417 markings/sec, 975 secs
lola: 412399 markings, 830962 edges, 397 markings/sec, 980 secs
lola: 413887 markings, 834093 edges, 298 markings/sec, 985 secs
lola: 415323 markings, 837450 edges, 287 markings/sec, 990 secs
lola: 419965 markings, 845164 edges, 928 markings/sec, 995 secs
lola: 422572 markings, 849630 edges, 521 markings/sec, 1000 secs
lola: 425825 markings, 856169 edges, 651 markings/sec, 1005 secs
lola: 427477 markings, 859942 edges, 330 markings/sec, 1010 secs
lola: 429164 markings, 864882 edges, 337 markings/sec, 1015 secs
lola: 430224 markings, 867660 edges, 212 markings/sec, 1020 secs
lola: 431231 markings, 869587 edges, 201 markings/sec, 1025 secs
lola: 432214 markings, 871814 edges, 197 markings/sec, 1030 secs
lola: 433934 markings, 876554 edges, 344 markings/sec, 1035 secs
lola: 435135 markings, 879745 edges, 240 markings/sec, 1040 secs
lola: 436745 markings, 883045 edges, 322 markings/sec, 1045 secs
lola: 439520 markings, 888481 edges, 555 markings/sec, 1050 secs
lola: 442182 markings, 894920 edges, 532 markings/sec, 1055 secs
lola: 443351 markings, 897727 edges, 234 markings/sec, 1060 secs
lola: 444296 markings, 899765 edges, 189 markings/sec, 1065 secs
lola: 445317 markings, 902978 edges, 204 markings/sec, 1070 secs
lola: 446188 markings, 904652 edges, 174 markings/sec, 1075 secs
lola: 450271 markings, 912863 edges, 817 markings/sec, 1080 secs
lola: 452470 markings, 916716 edges, 440 markings/sec, 1085 secs
lola: 454204 markings, 921589 edges, 347 markings/sec, 1090 secs
lola: 458931 markings, 931335 edges, 945 markings/sec, 1095 secs
lola: 463591 markings, 938595 edges, 932 markings/sec, 1100 secs
lola: 467014 markings, 944142 edges, 685 markings/sec, 1105 secs
lola: 470596 markings, 949548 edges, 716 markings/sec, 1110 secs
lola: 472696 markings, 953051 edges, 420 markings/sec, 1115 secs
lola: 474928 markings, 956928 edges, 446 markings/sec, 1120 secs
lola: 477601 markings, 962425 edges, 535 markings/sec, 1125 secs
lola: 478865 markings, 964905 edges, 253 markings/sec, 1130 secs
lola: 480484 markings, 968700 edges, 324 markings/sec, 1135 secs
lola: 485527 markings, 976377 edges, 1009 markings/sec, 1140 secs
lola: 487174 markings, 979480 edges, 329 markings/sec, 1145 secs
lola: 489510 markings, 984300 edges, 467 markings/sec, 1150 secs
lola: 491615 markings, 988111 edges, 421 markings/sec, 1155 secs
lola: 493476 markings, 992518 edges, 372 markings/sec, 1160 secs
lola: 494437 markings, 994492 edges, 192 markings/sec, 1165 secs
lola: 495564 markings, 997689 edges, 225 markings/sec, 1170 secs
lola: 496463 markings, 999446 edges, 180 markings/sec, 1175 secs
lola: 497581 markings, 1003113 edges, 224 markings/sec, 1180 secs
lola: 499333 markings, 1007514 edges, 350 markings/sec, 1185 secs
lola: 502147 markings, 1013083 edges, 563 markings/sec, 1190 secs
lola: 504792 markings, 1018289 edges, 529 markings/sec, 1195 secs
lola: 506295 markings, 1021705 edges, 301 markings/sec, 1200 secs
lola: 507515 markings, 1024248 edges, 244 markings/sec, 1205 secs
lola: 508534 markings, 1026394 edges, 204 markings/sec, 1210 secs
lola: 509474 markings, 1028357 edges, 188 markings/sec, 1215 secs
lola: 510471 markings, 1030716 edges, 199 markings/sec, 1220 secs
lola: 511368 markings, 1032471 edges, 179 markings/sec, 1225 secs
lola: 512554 markings, 1036972 edges, 237 markings/sec, 1230 secs
lola: 513469 markings, 1038596 edges, 183 markings/sec, 1235 secs
lola: 514431 markings, 1040981 edges, 192 markings/sec, 1240 secs
lola: 516124 markings, 1046761 edges, 339 markings/sec, 1245 secs
lola: 517318 markings, 1049244 edges, 239 markings/sec, 1250 secs
lola: 518758 markings, 1052790 edges, 288 markings/sec, 1255 secs
lola: 520803 markings, 1057455 edges, 409 markings/sec, 1260 secs
lola: 523625 markings, 1062621 edges, 564 markings/sec, 1265 secs
lola: 525454 markings, 1067055 edges, 366 markings/sec, 1270 secs
lola: 526591 markings, 1069877 edges, 227 markings/sec, 1275 secs
lola: 527568 markings, 1072546 edges, 195 markings/sec, 1280 secs
lola: 528477 markings, 1074645 edges, 182 markings/sec, 1285 secs
lola: 529973 markings, 1079739 edges, 299 markings/sec, 1290 secs
lola: 534345 markings, 1086707 edges, 874 markings/sec, 1295 secs
lola: 536635 markings, 1090556 edges, 458 markings/sec, 1300 secs
lola: 539494 markings, 1096621 edges, 572 markings/sec, 1305 secs
lola: 541070 markings, 1100064 edges, 315 markings/sec, 1310 secs
lola: 544450 markings, 1106421 edges, 676 markings/sec, 1315 secs
lola: 546138 markings, 1109402 edges, 338 markings/sec, 1320 secs
lola: 549218 markings, 1114604 edges, 616 markings/sec, 1325 secs
lola: 550725 markings, 1117205 edges, 301 markings/sec, 1330 secs
lola: 552503 markings, 1120904 edges, 356 markings/sec, 1335 secs
lola: 556234 markings, 1127026 edges, 746 markings/sec, 1340 secs
lola: 558715 markings, 1131886 edges, 496 markings/sec, 1345 secs
lola: 562302 markings, 1138337 edges, 717 markings/sec, 1350 secs
lola: 563854 markings, 1142325 edges, 310 markings/sec, 1355 secs
lola: 567453 markings, 1150821 edges, 720 markings/sec, 1360 secs
lola: 569354 markings, 1154879 edges, 380 markings/sec, 1365 secs
lola: 571010 markings, 1157656 edges, 331 markings/sec, 1370 secs
lola: 573322 markings, 1162820 edges, 462 markings/sec, 1375 secs
lola: 574539 markings, 1166089 edges, 243 markings/sec, 1380 secs
lola: 575500 markings, 1168497 edges, 192 markings/sec, 1385 secs
lola: 576557 markings, 1171409 edges, 211 markings/sec, 1390 secs
lola: 578816 markings, 1176943 edges, 452 markings/sec, 1395 secs
lola: 580057 markings, 1179530 edges, 248 markings/sec, 1400 secs
lola: 582822 markings, 1185615 edges, 553 markings/sec, 1405 secs
lola: 585538 markings, 1192359 edges, 543 markings/sec, 1410 secs
lola: 589115 markings, 1199691 edges, 715 markings/sec, 1415 secs
lola: 590002 markings, 1201509 edges, 177 markings/sec, 1420 secs
lola: 594444 markings, 1209736 edges, 888 markings/sec, 1425 secs
lola: 597622 markings, 1214530 edges, 636 markings/sec, 1430 secs
lola: 601510 markings, 1220874 edges, 778 markings/sec, 1435 secs
lola: 605991 markings, 1228369 edges, 896 markings/sec, 1440 secs
lola: 609608 markings, 1234064 edges, 723 markings/sec, 1445 secs
lola: 613957 markings, 1241069 edges, 870 markings/sec, 1450 secs
lola: 615665 markings, 1243885 edges, 342 markings/sec, 1455 secs
lola: 617784 markings, 1247444 edges, 424 markings/sec, 1460 secs
lola: 619220 markings, 1250007 edges, 287 markings/sec, 1465 secs
lola: 621425 markings, 1255272 edges, 441 markings/sec, 1470 secs
lola: 622850 markings, 1259844 edges, 285 markings/sec, 1475 secs
lola: 623848 markings, 1262788 edges, 200 markings/sec, 1480 secs
lola: 624985 markings, 1266459 edges, 227 markings/sec, 1485 secs
lola: 626614 markings, 1270194 edges, 326 markings/sec, 1490 secs
lola: 627605 markings, 1272887 edges, 198 markings/sec, 1495 secs
lola: 630935 markings, 1278993 edges, 666 markings/sec, 1500 secs
lola: 633611 markings, 1284423 edges, 535 markings/sec, 1505 secs
lola: 635677 markings, 1289410 edges, 413 markings/sec, 1510 secs
lola: 637216 markings, 1293279 edges, 308 markings/sec, 1515 secs
lola: 638356 markings, 1296799 edges, 228 markings/sec, 1520 secs
lola: 639343 markings, 1298973 edges, 197 markings/sec, 1525 secs
lola: 640303 markings, 1301184 edges, 192 markings/sec, 1530 secs
lola: 641263 markings, 1303949 edges, 192 markings/sec, 1535 secs
lola: 643036 markings, 1308458 edges, 355 markings/sec, 1540 secs
lola: 644487 markings, 1311965 edges, 290 markings/sec, 1545 secs
lola: 649406 markings, 1319701 edges, 984 markings/sec, 1550 secs
lola: 651486 markings, 1323129 edges, 416 markings/sec, 1555 secs
lola: 653123 markings, 1325921 edges, 327 markings/sec, 1560 secs
lola: 655255 markings, 1330002 edges, 426 markings/sec, 1565 secs
lola: 657346 markings, 1333592 edges, 418 markings/sec, 1570 secs
lola: 659610 markings, 1337428 edges, 453 markings/sec, 1575 secs
lola: 663148 markings, 1344913 edges, 708 markings/sec, 1580 secs
lola: 664782 markings, 1349277 edges, 327 markings/sec, 1585 secs
lola: 665716 markings, 1351294 edges, 187 markings/sec, 1590 secs
lola: 670724 markings, 1364203 edges, 1002 markings/sec, 1595 secs
lola: 672628 markings, 1367970 edges, 381 markings/sec, 1600 secs
lola: 675374 markings, 1372640 edges, 549 markings/sec, 1605 secs
lola: 678680 markings, 1378065 edges, 661 markings/sec, 1610 secs
lola: 680666 markings, 1381529 edges, 397 markings/sec, 1615 secs
lola: 683739 markings, 1386745 edges, 615 markings/sec, 1620 secs
lola: 685299 markings, 1390527 edges, 312 markings/sec, 1625 secs
lola: 687959 markings, 1394855 edges, 532 markings/sec, 1630 secs
lola: 690011 markings, 1399135 edges, 410 markings/sec, 1635 secs
lola: 691383 markings, 1402121 edges, 274 markings/sec, 1640 secs
lola: 692586 markings, 1405498 edges, 241 markings/sec, 1645 secs
lola: 693434 markings, 1407118 edges, 170 markings/sec, 1650 secs
lola: 694443 markings, 1409475 edges, 202 markings/sec, 1655 secs
lola: 695401 markings, 1412380 edges, 192 markings/sec, 1660 secs
lola: 697139 markings, 1416805 edges, 348 markings/sec, 1665 secs
lola: 698191 markings, 1419458 edges, 210 markings/sec, 1670 secs
lola: 701966 markings, 1425959 edges, 755 markings/sec, 1675 secs
lola: 703940 markings, 1430434 edges, 395 markings/sec, 1680 secs
lola: 705332 markings, 1433732 edges, 278 markings/sec, 1685 secs
lola: 706462 markings, 1436925 edges, 226 markings/sec, 1690 secs
lola: 707466 markings, 1439768 edges, 201 markings/sec, 1695 secs
lola: 708462 markings, 1441576 edges, 199 markings/sec, 1700 secs
lola: 709415 markings, 1443900 edges, 191 markings/sec, 1705 secs
lola: 711049 markings, 1449475 edges, 327 markings/sec, 1710 secs
lola: 712735 markings, 1453685 edges, 337 markings/sec, 1715 secs
lola: 714094 markings, 1456501 edges, 272 markings/sec, 1720 secs
lola: 717191 markings, 1462864 edges, 619 markings/sec, 1725 secs
lola: 719110 markings, 1466640 edges, 384 markings/sec, 1730 secs
lola: 720563 markings, 1470475 edges, 291 markings/sec, 1735 secs
lola: 721670 markings, 1473142 edges, 221 markings/sec, 1740 secs
lola: 722655 markings, 1476168 edges, 197 markings/sec, 1745 secs
lola: 723573 markings, 1477921 edges, 184 markings/sec, 1750 secs
lola: 726645 markings, 1485271 edges, 614 markings/sec, 1755 secs
lola: 730850 markings, 1491784 edges, 841 markings/sec, 1760 secs
lola: 732359 markings, 1494722 edges, 302 markings/sec, 1765 secs
lola: 735089 markings, 1500357 edges, 546 markings/sec, 1770 secs
lola: 740906 markings, 1512134 edges, 1163 markings/sec, 1775 secs
lola: 743254 markings, 1516180 edges, 470 markings/sec, 1780 secs
lola: 745180 markings, 1519462 edges, 385 markings/sec, 1785 secs
lola: 747728 markings, 1523904 edges, 510 markings/sec, 1790 secs
lola: 749237 markings, 1526482 edges, 302 markings/sec, 1795 secs
lola: 751126 markings, 1530663 edges, 378 markings/sec, 1800 secs
lola: 755432 markings, 1538332 edges, 861 markings/sec, 1805 secs
lola: 758845 markings, 1544624 edges, 683 markings/sec, 1810 secs
lola: 762027 markings, 1551166 edges, 636 markings/sec, 1815 secs
lola: 763565 markings, 1554702 edges, 308 markings/sec, 1820 secs
lola: 764553 markings, 1557408 edges, 198 markings/sec, 1825 secs
lola: 765963 markings, 1560246 edges, 282 markings/sec, 1830 secs
lola: 769028 markings, 1565568 edges, 613 markings/sec, 1835 secs
lola: 770805 markings, 1568991 edges, 355 markings/sec, 1840 secs
lola: 771799 markings, 1571024 edges, 199 markings/sec, 1845 secs
lola: 773484 markings, 1574361 edges, 337 markings/sec, 1850 secs
lola: 777386 markings, 1581468 edges, 780 markings/sec, 1855 secs
lola: 779707 markings, 1585935 edges, 464 markings/sec, 1860 secs
lola: 780984 markings, 1588303 edges, 255 markings/sec, 1865 secs
lola: 783094 markings, 1592550 edges, 422 markings/sec, 1870 secs
lola: 784843 markings, 1596882 edges, 350 markings/sec, 1875 secs
lola: 786560 markings, 1600746 edges, 343 markings/sec, 1880 secs
lola: 788639 markings, 1605459 edges, 416 markings/sec, 1885 secs
lola: 790766 markings, 1609732 edges, 425 markings/sec, 1890 secs
lola: 792681 markings, 1613351 edges, 383 markings/sec, 1895 secs
lola: 794309 markings, 1617970 edges, 326 markings/sec, 1900 secs
lola: 795275 markings, 1620238 edges, 193 markings/sec, 1905 secs
lola: 796287 markings, 1623141 edges, 202 markings/sec, 1910 secs
lola: 798031 markings, 1627867 edges, 349 markings/sec, 1915 secs
lola: 800911 markings, 1632795 edges, 576 markings/sec, 1920 secs
lola: 802491 markings, 1636154 edges, 316 markings/sec, 1925 secs
lola: 803936 markings, 1639215 edges, 289 markings/sec, 1930 secs
lola: 805517 markings, 1643244 edges, 316 markings/sec, 1935 secs
lola: 806635 markings, 1646311 edges, 224 markings/sec, 1940 secs
lola: 807492 markings, 1647933 edges, 171 markings/sec, 1945 secs
lola: 808530 markings, 1650617 edges, 208 markings/sec, 1950 secs
lola: 810032 markings, 1655184 edges, 300 markings/sec, 1955 secs
lola: 812751 markings, 1660982 edges, 544 markings/sec, 1960 secs
lola: 815629 markings, 1666365 edges, 576 markings/sec, 1965 secs
lola: 817309 markings, 1670253 edges, 336 markings/sec, 1970 secs
lola: 818421 markings, 1672537 edges, 222 markings/sec, 1975 secs
lola: 819587 markings, 1675048 edges, 233 markings/sec, 1980 secs
lola: 820579 markings, 1677496 edges, 198 markings/sec, 1985 secs
lola: 821760 markings, 1681482 edges, 236 markings/sec, 1990 secs
lola: 822708 markings, 1683668 edges, 190 markings/sec, 1995 secs
lola: 824336 markings, 1689013 edges, 326 markings/sec, 2000 secs
lola: 825938 markings, 1692877 edges, 320 markings/sec, 2005 secs
lola: 828928 markings, 1697883 edges, 598 markings/sec, 2010 secs
lola: 831936 markings, 1702996 edges, 602 markings/sec, 2015 secs
lola: 833824 markings, 1706553 edges, 378 markings/sec, 2020 secs
lola: 837095 markings, 1712192 edges, 654 markings/sec, 2025 secs
lola: 838972 markings, 1715423 edges, 375 markings/sec, 2030 secs
lola: 841633 markings, 1719798 edges, 532 markings/sec, 2035 secs
lola: 845011 markings, 1727106 edges, 676 markings/sec, 2040 secs
lola: 846339 markings, 1729859 edges, 266 markings/sec, 2045 secs
lola: 849971 markings, 1739342 edges, 726 markings/sec, 2050 secs
lola: 851367 markings, 1742498 edges, 279 markings/sec, 2055 secs
lola: 852447 markings, 1745232 edges, 216 markings/sec, 2060 secs
lola: 856501 markings, 1755615 edges, 811 markings/sec, 2065 secs
lola: 858672 markings, 1759211 edges, 434 markings/sec, 2070 secs
lola: 860887 markings, 1763035 edges, 443 markings/sec, 2075 secs
lola: 865798 markings, 1770789 edges, 982 markings/sec, 2080 secs
lola: 866864 markings, 1773091 edges, 213 markings/sec, 2085 secs
lola: 867827 markings, 1775109 edges, 193 markings/sec, 2090 secs
lola: 872342 markings, 1787597 edges, 903 markings/sec, 2095 secs
lola: 875276 markings, 1793095 edges, 587 markings/sec, 2100 secs
lola: 877632 markings, 1797678 edges, 471 markings/sec, 2105 secs
lola: 879311 markings, 1801348 edges, 336 markings/sec, 2110 secs
lola: 881195 markings, 1804693 edges, 377 markings/sec, 2115 secs
lola: 883202 markings, 1808050 edges, 401 markings/sec, 2120 secs
lola: 885310 markings, 1812307 edges, 422 markings/sec, 2125 secs
lola: 887349 markings, 1815910 edges, 408 markings/sec, 2130 secs
lola: 889782 markings, 1820479 edges, 487 markings/sec, 2135 secs
lola: 891319 markings, 1824497 edges, 307 markings/sec, 2140 secs
lola: 893519 markings, 1828252 edges, 440 markings/sec, 2145 secs
lola: 895185 markings, 1831063 edges, 333 markings/sec, 2150 secs
lola: 897572 markings, 1836862 edges, 477 markings/sec, 2155 secs
lola: 900181 markings, 1841198 edges, 522 markings/sec, 2160 secs
lola: 902822 markings, 1846913 edges, 528 markings/sec, 2165 secs
lola: 904364 markings, 1851029 edges, 308 markings/sec, 2170 secs
lola: 905412 markings, 1853740 edges, 210 markings/sec, 2175 secs
lola: 906437 markings, 1855827 edges, 205 markings/sec, 2180 secs
lola: 907439 markings, 1858088 edges, 200 markings/sec, 2185 secs
lola: 908399 markings, 1860367 edges, 192 markings/sec, 2190 secs
lola: 910151 markings, 1866120 edges, 350 markings/sec, 2195 secs
lola: 911394 markings, 1869206 edges, 249 markings/sec, 2200 secs
lola: 913578 markings, 1873427 edges, 437 markings/sec, 2205 secs
lola: 917294 markings, 1879206 edges, 743 markings/sec, 2210 secs
lola: 919744 markings, 1883333 edges, 490 markings/sec, 2215 secs
lola: 921889 markings, 1887052 edges, 429 markings/sec, 2220 secs
lola: 925883 markings, 1893471 edges, 799 markings/sec, 2225 secs
lola: 931415 markings, 1902175 edges, 1106 markings/sec, 2230 secs
lola: 933605 markings, 1906277 edges, 438 markings/sec, 2235 secs
lola: 935349 markings, 1910142 edges, 349 markings/sec, 2240 secs
lola: 938614 markings, 1916068 edges, 653 markings/sec, 2245 secs
lola: 940210 markings, 1918861 edges, 319 markings/sec, 2250 secs
lola: 942391 markings, 1923055 edges, 436 markings/sec, 2255 secs
lola: 945055 markings, 1927229 edges, 533 markings/sec, 2260 secs
lola: 947027 markings, 1930559 edges, 394 markings/sec, 2265 secs
lola: 949113 markings, 1934318 edges, 417 markings/sec, 2270 secs
lola: 951655 markings, 1939359 edges, 508 markings/sec, 2275 secs
lola: 953575 markings, 1942999 edges, 384 markings/sec, 2280 secs
lola: 954923 markings, 1946046 edges, 270 markings/sec, 2285 secs
lola: 956239 markings, 1949579 edges, 263 markings/sec, 2290 secs
lola: 957297 markings, 1953457 edges, 212 markings/sec, 2295 secs
lola: 959420 markings, 1958038 edges, 425 markings/sec, 2300 secs
lola: 960719 markings, 1960118 edges, 260 markings/sec, 2305 secs
lola: 963082 markings, 1964016 edges, 473 markings/sec, 2310 secs
lola: 965334 markings, 1967948 edges, 450 markings/sec, 2315 secs
lola: 967196 markings, 1971732 edges, 372 markings/sec, 2320 secs
lola: 968962 markings, 1975478 edges, 353 markings/sec, 2325 secs
lola: 972728 markings, 1985067 edges, 753 markings/sec, 2330 secs
lola: 975377 markings, 1989332 edges, 530 markings/sec, 2335 secs
lola: 978245 markings, 1994423 edges, 574 markings/sec, 2340 secs
lola: 979527 markings, 1996908 edges, 256 markings/sec, 2345 secs
lola: 983278 markings, 2003192 edges, 750 markings/sec, 2350 secs
lola: 984909 markings, 2005985 edges, 326 markings/sec, 2355 secs
lola: 987947 markings, 2011318 edges, 608 markings/sec, 2360 secs
lola: 990506 markings, 2016470 edges, 512 markings/sec, 2365 secs
lola: 991842 markings, 2019577 edges, 267 markings/sec, 2370 secs
lola: 992875 markings, 2021835 edges, 207 markings/sec, 2375 secs
lola: 994319 markings, 2026451 edges, 289 markings/sec, 2380 secs
lola: 996735 markings, 2030493 edges, 483 markings/sec, 2385 secs
lola: 999061 markings, 2036033 edges, 465 markings/sec, 2390 secs
lola: 999933 markings, 2037668 edges, 174 markings/sec, 2395 secs
lola: 1001171 markings, 2040849 edges, 248 markings/sec, 2400 secs
lola: 1002127 markings, 2043407 edges, 191 markings/sec, 2405 secs
lola: 1002994 markings, 2045146 edges, 173 markings/sec, 2410 secs
lola: 1004051 markings, 2048868 edges, 211 markings/sec, 2415 secs
lola: 1005479 markings, 2051768 edges, 286 markings/sec, 2420 secs
lola: 1006409 markings, 2053683 edges, 186 markings/sec, 2425 secs
lola: 1009434 markings, 2059867 edges, 605 markings/sec, 2430 secs
lola: 1012163 markings, 2065240 edges, 546 markings/sec, 2435 secs
lola: 1013651 markings, 2068628 edges, 298 markings/sec, 2440 secs
lola: 1014906 markings, 2071242 edges, 251 markings/sec, 2445 secs
lola: 1015962 markings, 2073318 edges, 211 markings/sec, 2450 secs
lola: 1017002 markings, 2075822 edges, 208 markings/sec, 2455 secs
lola: 1017936 markings, 2077848 edges, 187 markings/sec, 2460 secs
lola: 1019111 markings, 2082137 edges, 235 markings/sec, 2465 secs
lola: 1020097 markings, 2084056 edges, 197 markings/sec, 2470 secs
lola: 1021036 markings, 2086069 edges, 188 markings/sec, 2475 secs
lola: 1022478 markings, 2091312 edges, 288 markings/sec, 2480 secs
lola: 1023897 markings, 2094580 edges, 284 markings/sec, 2485 secs
lola: 1025287 markings, 2097848 edges, 278 markings/sec, 2490 secs
lola: 1027163 markings, 2102337 edges, 375 markings/sec, 2495 secs
lola: 1029438 markings, 2106248 edges, 455 markings/sec, 2500 secs
lola: 1031537 markings, 2110693 edges, 420 markings/sec, 2505 secs
lola: 1033111 markings, 2114992 edges, 315 markings/sec, 2510 secs
lola: 1034075 markings, 2117368 edges, 193 markings/sec, 2515 secs
lola: 1035077 markings, 2120459 edges, 200 markings/sec, 2520 secs
lola: 1035931 markings, 2122054 edges, 171 markings/sec, 2525 secs
lola: 1036942 markings, 2124531 edges, 202 markings/sec, 2530 secs
lola: 1041495 markings, 2133595 edges, 911 markings/sec, 2535 secs
lola: 1044461 markings, 2138425 edges, 593 markings/sec, 2540 secs
lola: 1047444 markings, 2143153 edges, 597 markings/sec, 2545 secs
lola: 1050207 markings, 2148531 edges, 553 markings/sec, 2550 secs
lola: 1052509 markings, 2153668 edges, 460 markings/sec, 2555 secs
lola: 1054376 markings, 2157779 edges, 373 markings/sec, 2560 secs
lola: 1056272 markings, 2162390 edges, 379 markings/sec, 2565 secs
lola: 1060742 markings, 2170838 edges, 894 markings/sec, 2570 secs
lola: 1062801 markings, 2174965 edges, 412 markings/sec, 2575 secs
lola: 1064430 markings, 2177984 edges, 326 markings/sec, 2580 secs
lola: 1066441 markings, 2182559 edges, 402 markings/sec, 2585 secs
lola: 1067430 markings, 2184713 edges, 198 markings/sec, 2590 secs
lola: 1069213 markings, 2188604 edges, 357 markings/sec, 2595 secs
lola: 1071886 markings, 2193137 edges, 535 markings/sec, 2600 secs
lola: 1075597 markings, 2199211 edges, 742 markings/sec, 2605 secs
lola: 1077958 markings, 2203345 edges, 472 markings/sec, 2610 secs
lola: 1081056 markings, 2208831 edges, 620 markings/sec, 2615 secs
lola: 1082667 markings, 2211763 edges, 322 markings/sec, 2620 secs
lola: 1086201 markings, 2217516 edges, 707 markings/sec, 2625 secs
lola: 1090047 markings, 2224005 edges, 769 markings/sec, 2630 secs
lola: 1091736 markings, 2226906 edges, 338 markings/sec, 2635 secs
lola: 1095392 markings, 2232480 edges, 731 markings/sec, 2640 secs
lola: 1097518 markings, 2236905 edges, 425 markings/sec, 2645 secs
lola: 1099940 markings, 2242248 edges, 484 markings/sec, 2650 secs
lola: 1102489 markings, 2247839 edges, 510 markings/sec, 2655 secs
lola: 1104578 markings, 2252114 edges, 418 markings/sec, 2660 secs
lola: 1107072 markings, 2257845 edges, 499 markings/sec, 2665 secs
lola: 1108335 markings, 2261233 edges, 253 markings/sec, 2670 secs
lola: 1109616 markings, 2264179 edges, 256 markings/sec, 2675 secs
lola: 1110652 markings, 2266855 edges, 207 markings/sec, 2680 secs
lola: 1111548 markings, 2268526 edges, 179 markings/sec, 2685 secs
lola: 1112685 markings, 2271612 edges, 227 markings/sec, 2690 secs
lola: 1113835 markings, 2275212 edges, 230 markings/sec, 2695 secs
lola: 1114918 markings, 2278389 edges, 217 markings/sec, 2700 secs
lola: 1115839 markings, 2280339 edges, 184 markings/sec, 2705 secs
lola: 1118266 markings, 2285952 edges, 485 markings/sec, 2710 secs
lola: 1119978 markings, 2289106 edges, 342 markings/sec, 2715 secs
lola: 1122419 markings, 2293244 edges, 488 markings/sec, 2720 secs
lola: 1125459 markings, 2298617 edges, 608 markings/sec, 2725 secs
lola: 1127676 markings, 2302233 edges, 443 markings/sec, 2730 secs
lola: 1130531 markings, 2306687 edges, 571 markings/sec, 2735 secs
lola: 1135630 markings, 2314481 edges, 1020 markings/sec, 2740 secs
lola: 1139043 markings, 2319922 edges, 683 markings/sec, 2745 secs
lola: 1141775 markings, 2324588 edges, 546 markings/sec, 2750 secs
lola: 1146811 markings, 2333480 edges, 1007 markings/sec, 2755 secs
lola: 1149203 markings, 2338368 edges, 478 markings/sec, 2760 secs
lola: 1150960 markings, 2342267 edges, 351 markings/sec, 2765 secs
lola: 1152476 markings, 2346461 edges, 303 markings/sec, 2770 secs
lola: 1153468 markings, 2349115 edges, 198 markings/sec, 2775 secs
lola: 1154415 markings, 2351322 edges, 189 markings/sec, 2780 secs
lola: 1155531 markings, 2354389 edges, 223 markings/sec, 2785 secs
lola: 1156919 markings, 2358698 edges, 278 markings/sec, 2790 secs
lola: 1158274 markings, 2361500 edges, 271 markings/sec, 2795 secs
lola: 1159676 markings, 2364839 edges, 280 markings/sec, 2800 secs
lola: 1162222 markings, 2370454 edges, 509 markings/sec, 2805 secs
lola: 1164662 markings, 2375342 edges, 488 markings/sec, 2810 secs
lola: 1166786 markings, 2380796 edges, 425 markings/sec, 2815 secs
lola: 1167753 markings, 2382749 edges, 193 markings/sec, 2820 secs
lola: 1168671 markings, 2384819 edges, 184 markings/sec, 2825 secs
lola: 1169620 markings, 2387192 edges, 190 markings/sec, 2830 secs
lola: 1172364 markings, 2394042 edges, 549 markings/sec, 2835 secs
lola: 1176529 markings, 2400536 edges, 833 markings/sec, 2840 secs
lola: 1178647 markings, 2404282 edges, 424 markings/sec, 2845 secs
lola: 1181046 markings, 2408456 edges, 480 markings/sec, 2850 secs
lola: 1183889 markings, 2413005 edges, 569 markings/sec, 2855 secs
lola: 1186195 markings, 2418069 edges, 461 markings/sec, 2860 secs
lola: 1187379 markings, 2420415 edges, 237 markings/sec, 2865 secs
lola: 1190665 markings, 2425865 edges, 657 markings/sec, 2870 secs
lola: 1193365 markings, 2430301 edges, 540 markings/sec, 2875 secs
lola: 1195890 markings, 2434572 edges, 505 markings/sec, 2880 secs
lola: 1199078 markings, 2440652 edges, 638 markings/sec, 2885 secs
lola: 1201382 markings, 2445982 edges, 461 markings/sec, 2890 secs
lola: 1203072 markings, 2450931 edges, 338 markings/sec, 2895 secs
lola: 1204070 markings, 2453400 edges, 200 markings/sec, 2900 secs
lola: 1205044 markings, 2455708 edges, 195 markings/sec, 2905 secs
lola: 1206007 markings, 2457549 edges, 193 markings/sec, 2910 secs
lola: 1206947 markings, 2459664 edges, 188 markings/sec, 2915 secs
lola: 1208629 markings, 2465087 edges, 336 markings/sec, 2920 secs
lola: 1210018 markings, 2468706 edges, 278 markings/sec, 2925 secs
lola: 1211469 markings, 2471614 edges, 290 markings/sec, 2930 secs
lola: 1214397 markings, 2477399 edges, 586 markings/sec, 2935 secs
lola: 1215686 markings, 2479931 edges, 258 markings/sec, 2940 secs
lola: 1217651 markings, 2484617 edges, 393 markings/sec, 2945 secs
lola: 1218885 markings, 2487957 edges, 247 markings/sec, 2950 secs
lola: 1219841 markings, 2489861 edges, 191 markings/sec, 2955 secs
lola: 1220912 markings, 2493856 edges, 214 markings/sec, 2960 secs
lola: 1224690 markings, 2500855 edges, 756 markings/sec, 2965 secs
lola: 1226436 markings, 2504201 edges, 349 markings/sec, 2970 secs
lola: 1227795 markings, 2507935 edges, 272 markings/sec, 2975 secs
lola: 1228675 markings, 2509718 edges, 176 markings/sec, 2980 secs
lola: 1230130 markings, 2512955 edges, 291 markings/sec, 2985 secs
lola: 1231413 markings, 2516308 edges, 257 markings/sec, 2990 secs
lola: 1233066 markings, 2519688 edges, 331 markings/sec, 2995 secs
lola: 1239129 markings, 2537036 edges, 1213 markings/sec, 3000 secs
lola: 1243254 markings, 2543881 edges, 825 markings/sec, 3005 secs
lola: 1245964 markings, 2549428 edges, 542 markings/sec, 3010 secs
lola: 1248207 markings, 2553900 edges, 449 markings/sec, 3015 secs
lola: 1250118 markings, 2557928 edges, 382 markings/sec, 3020 secs
lola: 1252699 markings, 2563214 edges, 516 markings/sec, 3025 secs
lola: 1254975 markings, 2567010 edges, 455 markings/sec, 3030 secs
lola: 1257663 markings, 2572173 edges, 538 markings/sec, 3035 secs
lola: 1261664 markings, 2579003 edges, 800 markings/sec, 3040 secs
lola: 1263821 markings, 2582773 edges, 431 markings/sec, 3045 secs
lola: 1266758 markings, 2587565 edges, 587 markings/sec, 3050 secs
lola: 1270025 markings, 2592612 edges, 653 markings/sec, 3055 secs
lola: 1273061 markings, 2597725 edges, 607 markings/sec, 3060 secs
lola: 1278077 markings, 2605543 edges, 1003 markings/sec, 3065 secs
lola: 1280128 markings, 2608984 edges, 410 markings/sec, 3070 secs
lola: 1283470 markings, 2614369 edges, 668 markings/sec, 3075 secs
lola: 1285379 markings, 2617473 edges, 382 markings/sec, 3080 secs
lola: 1288045 markings, 2622179 edges, 533 markings/sec, 3085 secs
lola: 1291730 markings, 2628763 edges, 737 markings/sec, 3090 secs
lola: 1295193 markings, 2634222 edges, 693 markings/sec, 3095 secs
lola: 1297033 markings, 2637409 edges, 368 markings/sec, 3100 secs
lola: 1300627 markings, 2644233 edges, 719 markings/sec, 3105 secs
lola: 1302297 markings, 2647239 edges, 334 markings/sec, 3110 secs
lola: 1305443 markings, 2653073 edges, 629 markings/sec, 3115 secs
lola: 1308076 markings, 2658575 edges, 527 markings/sec, 3120 secs
lola: 1309950 markings, 2663654 edges, 375 markings/sec, 3125 secs
lola: 1312976 markings, 2668594 edges, 605 markings/sec, 3130 secs
lola: 1314286 markings, 2670794 edges, 262 markings/sec, 3135 secs
lola: 1316510 markings, 2676232 edges, 445 markings/sec, 3140 secs
lola: 1318151 markings, 2680368 edges, 328 markings/sec, 3145 secs
lola: 1321068 markings, 2685888 edges, 583 markings/sec, 3150 secs
lola: 1323141 markings, 2689816 edges, 415 markings/sec, 3155 secs
lola: 1325337 markings, 2695951 edges, 439 markings/sec, 3160 secs
lola: 1326338 markings, 2698593 edges, 200 markings/sec, 3165 secs
lola: 1327278 markings, 2700890 edges, 188 markings/sec, 3170 secs
lola: 1328258 markings, 2702682 edges, 196 markings/sec, 3175 secs
lola: 1329251 markings, 2704876 edges, 199 markings/sec, 3180 secs
lola: 1330651 markings, 2709729 edges, 280 markings/sec, 3185 secs
lola: 1332111 markings, 2713330 edges, 292 markings/sec, 3190 secs
lola: 1333931 markings, 2716709 edges, 364 markings/sec, 3195 secs
lola: 1336253 markings, 2720811 edges, 464 markings/sec, 3200 secs
lola: 1338453 markings, 2724677 edges, 440 markings/sec, 3205 secs
lola: 1340958 markings, 2729023 edges, 501 markings/sec, 3210 secs
lola: 1342548 markings, 2731847 edges, 318 markings/sec, 3215 secs
lola: 1345410 markings, 2738901 edges, 572 markings/sec, 3220 secs
lola: 1346637 markings, 2742653 edges, 245 markings/sec, 3225 secs
lola: 1347509 markings, 2744285 edges, 174 markings/sec, 3230 secs
lola: 1348556 markings, 2748067 edges, 209 markings/sec, 3235 secs
lola: 1352700 markings, 2755638 edges, 829 markings/sec, 3240 secs
lola: 1353978 markings, 2758396 edges, 256 markings/sec, 3245 secs
lola: 1357475 markings, 2764351 edges, 699 markings/sec, 3250 secs
lola: 1360744 markings, 2769491 edges, 654 markings/sec, 3255 secs
lola: 1363975 markings, 2774757 edges, 646 markings/sec, 3260 secs
lola: 1365486 markings, 2778238 edges, 302 markings/sec, 3265 secs
lola: 1366473 markings, 2780880 edges, 197 markings/sec, 3270 secs
lola: 1368869 markings, 2785535 edges, 479 markings/sec, 3275 secs
lola: 1370920 markings, 2789693 edges, 410 markings/sec, 3280 secs
lola: 1373411 markings, 2793961 edges, 498 markings/sec, 3285 secs
lola: 1375101 markings, 2796937 edges, 338 markings/sec, 3290 secs
lola: 1378241 markings, 2803230 edges, 628 markings/sec, 3295 secs
lola: 1380357 markings, 2808473 edges, 423 markings/sec, 3300 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 109612 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 40152 KB
lola: time consumption: 3570 seconds

BK_STOP 1552448056433

--------------------
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="EnergyBus-PT-none"
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-3957"
echo " Executing tool win2018"
echo " Input is EnergyBus-PT-none, 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 r077-smll-155234766500082"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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