About the Execution of LoLA for IBMB2S565S3960-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10508.690 | 3570655.00 | 3622933.00 | 8192.00 | 1 3 7 ? 3 3 7 2 2 3 1 7 ? 7 3 3 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
....................
/home/mcc/execution
total 312K
-rw-r--r-- 1 mcc users 4.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 5.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 127K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is IBMB2S565S3960-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r100-smll-152658630800191
=====================================================================
--------------------
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 IBMB2S565S3960-PT-none-UpperBounds-00
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-01
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-02
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-03
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-04
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-05
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-06
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-07
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-08
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-09
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-10
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-11
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-12
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-13
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-14
FORMULA_NAME IBMB2S565S3960-PT-none-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1526782156268
info: Time: 3600 - MCC
===========================================================================================
prep: translating IBMB2S565S3960-PT-none Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating IBMB2S565S3960-PT-none formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ IBMB2S565S3960-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: 452/65536 symbol table entries, 1 collisions
lola: preprocessing...
lola: Size of bit vector: 8736
lola: finding significant places
lola: 273 places, 179 transitions, 172 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 171 transition conflict sets
lola: TASK
lola: reading formula from IBMB2S565S3960-PT-none-UpperBounds.task
lola: MAX(merge.s00001162.input.s00001128) : MAX(callToTask.s00003964.input.s00001052) : MAX(callToTask.s00003980.output.s00001077) : MAX(callToTask.s00003969.output.s00001077) : MAX(join.s00001163.activated.s00001064) : MAX(callToTask.s00003977.input.s00001066) : MAX(merge.s00001061.input.s00001066) : MAX(merge.s00002239.activated) : MAX(merge.s00001162.input.s00001052) : MAX(join.s00001163.input.s00001066) : MAX(merge.s00002238.input.s00001052) : MAX(callToTask.s00003973.input.s00001066) : MAX(callToTask.s00003970.output.s00001054) : MAX(callToProcess.s00003859.input.s00001066) : MAX(callToProcess.s00003884.input.s00001068) : MAX(fork.s00001403.activated.s00001078)
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(merge.s00001162.input.s00001128)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(merge.s00001162.input.s00001128)
lola: processed formula length: 36
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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 IBMB2S565S3960-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 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003964.input.s00001052)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003964.input.s00001052)
lola: processed formula length: 41
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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: 3
lola: SUBRESULT
lola: result: 3
lola: produced by: state space
lola: The maximum value of the given expression is 3
lola: 388 markings, 387 edges
lola: ========================================
FORMULA IBMB2S565S3960-PT-none-UpperBounds-1 3 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003980.output.s00001077)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003980.output.s00001077)
lola: processed formula length: 42
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 244 markings, 243 edges
lola: ========================================
FORMULA IBMB2S565S3960-PT-none-UpperBounds-2 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003969.output.s00001077)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003969.output.s00001077)
lola: processed formula length: 42
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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: 7
lola: 624946 markings, 1759913 edges, 124989 markings/sec, 0 secs
lola: 1281285 markings, 3676518 edges, 131268 markings/sec, 5 secs
lola: 1908976 markings, 5461454 edges, 125538 markings/sec, 10 secs
lola: 2500944 markings, 7316093 edges, 118394 markings/sec, 15 secs
lola: 3121348 markings, 9172035 edges, 124081 markings/sec, 20 secs
lola: 3760950 markings, 11035950 edges, 127920 markings/sec, 25 secs
lola: 4372637 markings, 12724430 edges, 122337 markings/sec, 30 secs
lola: 5013936 markings, 14451431 edges, 128260 markings/sec, 35 secs
lola: 5667820 markings, 16184313 edges, 130777 markings/sec, 40 secs
lola: 6365667 markings, 17926059 edges, 139569 markings/sec, 45 secs
lola: 7056721 markings, 19722081 edges, 138211 markings/sec, 50 secs
lola: 7681526 markings, 21584207 edges, 124961 markings/sec, 55 secs
lola: 8298774 markings, 23356017 edges, 123450 markings/sec, 60 secs
lola: 8958293 markings, 25123073 edges, 131904 markings/sec, 65 secs
lola: 9564279 markings, 26895972 edges, 121197 markings/sec, 70 secs
lola: 10174409 markings, 28698853 edges, 122026 markings/sec, 75 secs
lola: 10770485 markings, 30405193 edges, 119215 markings/sec, 80 secs
lola: 11394233 markings, 32147211 edges, 124750 markings/sec, 85 secs
lola: 11810325 markings, 34023179 edges, 83218 markings/sec, 90 secs
lola: 12169612 markings, 35838455 edges, 71857 markings/sec, 95 secs
lola: 12608954 markings, 37701009 edges, 87868 markings/sec, 100 secs
lola: 13059504 markings, 39591424 edges, 90110 markings/sec, 105 secs
lola: 13589226 markings, 41448227 edges, 105944 markings/sec, 110 secs
lola: 14115967 markings, 43228042 edges, 105348 markings/sec, 115 secs
lola: 14691777 markings, 45046222 edges, 115162 markings/sec, 120 secs
lola: 15221443 markings, 46897920 edges, 105933 markings/sec, 125 secs
lola: 15750117 markings, 48677180 edges, 105735 markings/sec, 130 secs
lola: 16317404 markings, 50481300 edges, 113457 markings/sec, 135 secs
lola: 16835288 markings, 52290030 edges, 103577 markings/sec, 140 secs
lola: 17349544 markings, 54030145 edges, 102851 markings/sec, 145 secs
lola: 17962857 markings, 55834262 edges, 122663 markings/sec, 150 secs
lola: 18578685 markings, 57640357 edges, 123166 markings/sec, 155 secs
lola: 19215853 markings, 59467783 edges, 127434 markings/sec, 160 secs
lola: 19858856 markings, 61261207 edges, 128601 markings/sec, 165 secs
lola: 20509223 markings, 63093764 edges, 130073 markings/sec, 170 secs
lola: 21024169 markings, 64926251 edges, 102989 markings/sec, 175 secs
lola: 21612440 markings, 66777714 edges, 117654 markings/sec, 180 secs
lola: 22066252 markings, 68585747 edges, 90762 markings/sec, 185 secs
lola: 22549747 markings, 70266174 edges, 96699 markings/sec, 190 secs
lola: 23094581 markings, 72005065 edges, 108967 markings/sec, 195 secs
lola: 23767334 markings, 73856796 edges, 134551 markings/sec, 200 secs
lola: 24389033 markings, 75693278 edges, 124340 markings/sec, 205 secs
lola: 24919026 markings, 77503423 edges, 105999 markings/sec, 210 secs
lola: 25500485 markings, 79313214 edges, 116292 markings/sec, 215 secs
lola: 26086866 markings, 81083075 edges, 117276 markings/sec, 220 secs
lola: 26681318 markings, 82886067 edges, 118890 markings/sec, 225 secs
lola: 27284172 markings, 84688052 edges, 120571 markings/sec, 230 secs
lola: 27941835 markings, 86515041 edges, 131533 markings/sec, 235 secs
lola: 28598709 markings, 88360218 edges, 131375 markings/sec, 240 secs
lola: 29242538 markings, 90110101 edges, 128766 markings/sec, 245 secs
lola: 29771508 markings, 91883763 edges, 105794 markings/sec, 250 secs
lola: 30372453 markings, 93695861 edges, 120189 markings/sec, 255 secs
lola: 30913396 markings, 95480223 edges, 108189 markings/sec, 260 secs
lola: 31479836 markings, 97226521 edges, 113288 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 3 7 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1317500 KB
lola: time consumption: 274 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(join.s00001163.activated.s00001064)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(join.s00001163.activated.s00001064)
lola: processed formula length: 39
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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: 3
lola: SUBRESULT
lola: result: 3
lola: produced by: state space
lola: The maximum value of the given expression is 3
lola: 403 markings, 402 edges
lola:
FORMULA IBMB2S565S3960-PT-none-UpperBounds-4 3 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 5 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003977.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003977.input.s00001066)
lola: processed formula length: 41
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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: 3
lola: SUBRESULT
lola: result: 3
lola: produced by: state space
lola: The maximum value of the given expression is 3
lola: 400 markings, 399 edges
lola: ========================================
FORMULA IBMB2S565S3960-PT-none-UpperBounds-5 3 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(merge.s00001061.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(merge.s00001061.input.s00001066)
lola: processed formula length: 36
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 342 markings, 341 edges
lola: ========================================
FORMULA IBMB2S565S3960-PT-none-UpperBounds-6 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 366 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(merge.s00002239.activated)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(merge.s00002239.activated)
lola: processed formula length: 30
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 9 markings, 8 edges
lola:
FORMULA IBMB2S565S3960-PT-none-UpperBounds-7 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 8 will run for 412 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(merge.s00001162.input.s00001052)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(merge.s00001162.input.s00001052)
lola: processed formula length: 36
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 19 markings, 18 edges
lola: ========================================
FORMULA IBMB2S565S3960-PT-none-UpperBounds-8 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 470 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(join.s00001163.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(join.s00001163.input.s00001066)
lola: processed formula length: 35
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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: 3
lola: SUBRESULT
lola: result: 3
lola: produced by: state space
lola: The maximum value of the given expression is 3
lola: 400 markings, 399 edges
lola: ========================================
FORMULA IBMB2S565S3960-PT-none-UpperBounds-9 3 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 549 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(merge.s00002238.input.s00001052)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(merge.s00002238.input.s00001052)
lola: processed formula length: 36
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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 IBMB2S565S3960-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 659 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003973.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003973.input.s00001066)
lola: processed formula length: 41
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 62 markings, 61 edges
lola: ========================================
FORMULA IBMB2S565S3960-PT-none-UpperBounds-11 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 824 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003970.output.s00001054)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003970.output.s00001054)
lola: processed formula length: 42
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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: 7
lola: 788628 markings, 1758061 edges, 157726 markings/sec, 0 secs
lola: 1647860 markings, 3640873 edges, 171846 markings/sec, 5 secs
lola: 2496823 markings, 5442948 edges, 169793 markings/sec, 10 secs
lola: 3294083 markings, 7140094 edges, 159452 markings/sec, 15 secs
lola: 3983918 markings, 8802759 edges, 137967 markings/sec, 20 secs
lola: 4736688 markings, 10539959 edges, 150554 markings/sec, 25 secs
lola: 5483418 markings, 12363056 edges, 149346 markings/sec, 30 secs
lola: 6349129 markings, 14198938 edges, 173142 markings/sec, 35 secs
lola: 7160174 markings, 15944197 edges, 162209 markings/sec, 40 secs
lola: 8032187 markings, 17596885 edges, 174403 markings/sec, 45 secs
lola: 8765408 markings, 19397328 edges, 146644 markings/sec, 50 secs
lola: 9633560 markings, 21240966 edges, 173630 markings/sec, 55 secs
lola: 10478406 markings, 23005660 edges, 168969 markings/sec, 60 secs
lola: 11244534 markings, 24611289 edges, 153226 markings/sec, 65 secs
lola: 11991550 markings, 26355663 edges, 149403 markings/sec, 70 secs
lola: 12803473 markings, 28085174 edges, 162385 markings/sec, 75 secs
lola: 13575841 markings, 29694680 edges, 154474 markings/sec, 80 secs
lola: 14292659 markings, 31409273 edges, 143364 markings/sec, 85 secs
lola: 14894158 markings, 33186833 edges, 120300 markings/sec, 90 secs
lola: 15473169 markings, 35010428 edges, 115802 markings/sec, 95 secs
lola: 15915096 markings, 36673618 edges, 88385 markings/sec, 100 secs
lola: 16482950 markings, 38485579 edges, 113571 markings/sec, 105 secs
lola: 17243858 markings, 40275790 edges, 152182 markings/sec, 110 secs
lola: 17956675 markings, 42044735 edges, 142563 markings/sec, 115 secs
lola: 18590196 markings, 43690534 edges, 126704 markings/sec, 120 secs
lola: 19354240 markings, 45499137 edges, 152809 markings/sec, 125 secs
lola: 20089157 markings, 47239489 edges, 146983 markings/sec, 130 secs
lola: 20704040 markings, 48892041 edges, 122977 markings/sec, 135 secs
lola: 21472875 markings, 50637210 edges, 153767 markings/sec, 140 secs
lola: 22153067 markings, 52328969 edges, 136038 markings/sec, 145 secs
lola: 22757789 markings, 53957382 edges, 120944 markings/sec, 150 secs
lola: 23586698 markings, 55711845 edges, 165782 markings/sec, 155 secs
lola: 24532995 markings, 57551997 edges, 189259 markings/sec, 160 secs
lola: 25497706 markings, 59412970 edges, 192942 markings/sec, 165 secs
lola: 26325660 markings, 61270517 edges, 165591 markings/sec, 170 secs
lola: 27096931 markings, 63061386 edges, 154254 markings/sec, 175 secs
lola: 27828279 markings, 64712127 edges, 146270 markings/sec, 180 secs
lola: 28738059 markings, 66530114 edges, 181956 markings/sec, 185 secs
lola: 29577671 markings, 68343471 edges, 167922 markings/sec, 190 secs
lola: 30430153 markings, 70160277 edges, 170496 markings/sec, 195 secs
lola: 31284457 markings, 71948480 edges, 170861 markings/sec, 200 secs
lola: 32164886 markings, 73758279 edges, 176086 markings/sec, 205 secs
lola: 33071359 markings, 75598001 edges, 181295 markings/sec, 210 secs
lola: 33962460 markings, 77429280 edges, 178220 markings/sec, 215 secs
lola: 34695429 markings, 79185611 edges, 146594 markings/sec, 220 secs
lola: 35407783 markings, 80908436 edges, 142471 markings/sec, 225 secs
lola: 36238979 markings, 82649235 edges, 166239 markings/sec, 230 secs
lola: 36854746 markings, 84392742 edges, 123153 markings/sec, 235 secs
lola: 37450871 markings, 85887894 edges, 119225 markings/sec, 240 secs
lola: 38039532 markings, 87319992 edges, 117732 markings/sec, 245 secs
lola: 38625316 markings, 88752320 edges, 117157 markings/sec, 250 secs
lola: 39468449 markings, 90385360 edges, 168627 markings/sec, 255 secs
lola: 40425086 markings, 92140581 edges, 191327 markings/sec, 260 secs
lola: 41178509 markings, 93768155 edges, 150685 markings/sec, 265 secs
lola: 41971220 markings, 95547608 edges, 158542 markings/sec, 270 secs
lola: 42790129 markings, 97256033 edges, 163782 markings/sec, 275 secs
lola: 43580526 markings, 98884651 edges, 158079 markings/sec, 280 secs
lola: 44441503 markings, 100657734 edges, 172195 markings/sec, 285 secs
lola: 45363170 markings, 102429762 edges, 184333 markings/sec, 290 secs
lola: 45992539 markings, 103917691 edges, 125874 markings/sec, 295 secs
lola: 46613435 markings, 105386437 edges, 124179 markings/sec, 300 secs
lola: 47125887 markings, 106927912 edges, 102490 markings/sec, 305 secs
lola: 47590269 markings, 108178246 edges, 92876 markings/sec, 310 secs
lola: 48264554 markings, 109747507 edges, 134857 markings/sec, 315 secs
lola: 48959535 markings, 111339594 edges, 138996 markings/sec, 320 secs
lola: 49717122 markings, 112949019 edges, 151517 markings/sec, 325 secs
lola: 50454464 markings, 114568079 edges, 147468 markings/sec, 330 secs
lola: 51046617 markings, 116004286 edges, 118431 markings/sec, 335 secs
lola: 51924433 markings, 117476849 edges, 175563 markings/sec, 340 secs
lola: 52624228 markings, 118833184 edges, 139959 markings/sec, 345 secs
lola: 53198902 markings, 120281800 edges, 114935 markings/sec, 350 secs
lola: 53845675 markings, 121686403 edges, 129355 markings/sec, 355 secs
lola: 54545712 markings, 123094640 edges, 140007 markings/sec, 360 secs
lola: 55116608 markings, 124313137 edges, 114179 markings/sec, 365 secs
lola: 55797443 markings, 125860192 edges, 136167 markings/sec, 370 secs
lola: 56396522 markings, 127471534 edges, 119816 markings/sec, 375 secs
lola: 57003237 markings, 129174833 edges, 121343 markings/sec, 380 secs
lola: 57439867 markings, 130676437 edges, 87326 markings/sec, 385 secs
lola: 57997824 markings, 132102783 edges, 111591 markings/sec, 390 secs
lola: 58576898 markings, 133528446 edges, 115815 markings/sec, 395 secs
lola: 59118322 markings, 134797664 edges, 108285 markings/sec, 400 secs
lola: 59542131 markings, 135982339 edges, 84762 markings/sec, 405 secs
lola: 60047482 markings, 137200223 edges, 101070 markings/sec, 410 secs
lola: 60804101 markings, 138988908 edges, 151324 markings/sec, 415 secs
lola: 61514438 markings, 140665857 edges, 142067 markings/sec, 420 secs
lola: 62065639 markings, 142158749 edges, 110240 markings/sec, 425 secs
lola: 62832936 markings, 143918593 edges, 153459 markings/sec, 430 secs
lola: 63564291 markings, 145720520 edges, 146271 markings/sec, 435 secs
lola: 64213818 markings, 147441986 edges, 129905 markings/sec, 440 secs
lola: 64991780 markings, 149248948 edges, 155592 markings/sec, 445 secs
lola: 65747640 markings, 151086225 edges, 151172 markings/sec, 450 secs
lola: 66442186 markings, 152870120 edges, 138909 markings/sec, 455 secs
lola: 67118814 markings, 154501177 edges, 135326 markings/sec, 460 secs
lola: 67790203 markings, 156132281 edges, 134278 markings/sec, 465 secs
lola: 68399114 markings, 157551269 edges, 121782 markings/sec, 470 secs
lola: 68868539 markings, 158834810 edges, 93885 markings/sec, 475 secs
lola: 69528958 markings, 160393299 edges, 132084 markings/sec, 480 secs
lola: 70287420 markings, 162192223 edges, 151692 markings/sec, 485 secs
lola: 70975684 markings, 163904840 edges, 137653 markings/sec, 490 secs
lola: 71570920 markings, 165456941 edges, 119047 markings/sec, 495 secs
lola: 72381785 markings, 167380501 edges, 162173 markings/sec, 500 secs
lola: 73161816 markings, 169214695 edges, 156006 markings/sec, 505 secs
lola: 73789347 markings, 170909643 edges, 125506 markings/sec, 510 secs
lola: 74394893 markings, 172383262 edges, 121109 markings/sec, 515 secs
lola: 75040307 markings, 173929566 edges, 129083 markings/sec, 520 secs
lola: 75758389 markings, 175654441 edges, 143616 markings/sec, 525 secs
lola: 76627669 markings, 177547677 edges, 173856 markings/sec, 530 secs
lola: 77498893 markings, 179346798 edges, 174245 markings/sec, 535 secs
lola: 78269167 markings, 180964260 edges, 154055 markings/sec, 540 secs
lola: 78864020 markings, 182378469 edges, 118971 markings/sec, 545 secs
lola: 79497607 markings, 183900148 edges, 126717 markings/sec, 550 secs
lola: 80155748 markings, 185545730 edges, 131628 markings/sec, 555 secs
lola: 80970902 markings, 187314873 edges, 163031 markings/sec, 560 secs
lola: 81813757 markings, 189014687 edges, 168571 markings/sec, 565 secs
lola: 82544999 markings, 190541068 edges, 146248 markings/sec, 570 secs
lola: 83209436 markings, 192407234 edges, 132887 markings/sec, 575 secs
lola: 83777693 markings, 194189017 edges, 113651 markings/sec, 580 secs
lola: 84321301 markings, 196025235 edges, 108722 markings/sec, 585 secs
lola: 84754847 markings, 197720026 edges, 86709 markings/sec, 590 secs
lola: 85505492 markings, 199572267 edges, 150129 markings/sec, 595 secs
lola: 86219014 markings, 201330823 edges, 142704 markings/sec, 600 secs
lola: 86868189 markings, 203008688 edges, 129835 markings/sec, 605 secs
lola: 87621696 markings, 204788637 edges, 150701 markings/sec, 610 secs
lola: 88349751 markings, 206568675 edges, 145611 markings/sec, 615 secs
lola: 89023907 markings, 208313587 edges, 134831 markings/sec, 620 secs
lola: 89717602 markings, 209979057 edges, 138739 markings/sec, 625 secs
lola: 90459138 markings, 211746076 edges, 148307 markings/sec, 630 secs
lola: 91182855 markings, 213485291 edges, 144743 markings/sec, 635 secs
lola: 91782503 markings, 215091553 edges, 119930 markings/sec, 640 secs
lola: 92757574 markings, 216973822 edges, 195014 markings/sec, 645 secs
lola: 93712418 markings, 218839551 edges, 190969 markings/sec, 650 secs
lola: 94593668 markings, 220713235 edges, 176250 markings/sec, 655 secs
lola: 95431154 markings, 222597044 edges, 167497 markings/sec, 660 secs
lola: 96173100 markings, 224300149 edges, 148389 markings/sec, 665 secs
lola: 97023197 markings, 226083999 edges, 170019 markings/sec, 670 secs
lola: 97921857 markings, 227925601 edges, 179732 markings/sec, 675 secs
lola: 98761106 markings, 229764876 edges, 167850 markings/sec, 680 secs
lola: 99608520 markings, 231549335 edges, 169483 markings/sec, 685 secs
lola: 100464030 markings, 233338343 edges, 171102 markings/sec, 690 secs
lola: 101381971 markings, 235203881 edges, 183588 markings/sec, 695 secs
lola: 102307275 markings, 237065348 edges, 185061 markings/sec, 700 secs
lola: 103095228 markings, 238868582 edges, 157591 markings/sec, 705 secs
lola: 103813995 markings, 240607277 edges, 143753 markings/sec, 710 secs
lola: 104596173 markings, 242364783 edges, 156436 markings/sec, 715 secs
lola: 105317485 markings, 244112673 edges, 144262 markings/sec, 720 secs
lola: 105946276 markings, 245792942 edges, 125758 markings/sec, 725 secs
lola: 106585087 markings, 247345304 edges, 127762 markings/sec, 730 secs
lola: 107215289 markings, 248879318 edges, 126040 markings/sec, 735 secs
lola: 108039356 markings, 250533943 edges, 164813 markings/sec, 740 secs
lola: 109013016 markings, 252319950 edges, 194732 markings/sec, 745 secs
lola: 109819371 markings, 254008984 edges, 161271 markings/sec, 750 secs
lola: 110601002 markings, 255798043 edges, 156326 markings/sec, 755 secs
lola: 111435190 markings, 257537747 edges, 166838 markings/sec, 760 secs
lola: 112289925 markings, 259294942 edges, 170947 markings/sec, 765 secs
lola: 113157526 markings, 261080197 edges, 173520 markings/sec, 770 secs
lola: 114091742 markings, 262862699 edges, 186843 markings/sec, 775 secs
lola: 114852420 markings, 264468930 edges, 152136 markings/sec, 780 secs
lola: 115484524 markings, 266129216 edges, 126421 markings/sec, 785 secs
lola: 116249221 markings, 267797221 edges, 152939 markings/sec, 790 secs
lola: 117065724 markings, 269471861 edges, 163301 markings/sec, 795 secs
lola: 117744840 markings, 270973525 edges, 135823 markings/sec, 800 secs
lola: 118320310 markings, 272434526 edges, 115094 markings/sec, 805 secs
lola: 118960539 markings, 274047757 edges, 128046 markings/sec, 810 secs
lola: 119599531 markings, 275664325 edges, 127798 markings/sec, 815 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 3 7 unknown 3 3 7 2 2 3 1 7 unknown unknown unknown unknown
lola: memory consumption: 4926760 KB
lola: time consumption: 1099 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 823 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToProcess.s00003859.input.s00001066)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToProcess.s00003859.input.s00001066)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 34 markings, 33 edges
lola: ========================================
FORMULA IBMB2S565S3960-PT-none-UpperBounds-13 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(callToProcess.s00003884.input.s00001068)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToProcess.s00003884.input.s00001068)
lola: processed formula length: 44
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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: 3
lola: SUBRESULT
lola: result: 3
lola: produced by: state space
lola: The maximum value of the given expression is 3
lola: 451 markings, 450 edges
lola: ========================================
FORMULA IBMB2S565S3960-PT-none-UpperBounds-14 3 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2471 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(fork.s00001403.activated.s00001078)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(fork.s00001403.activated.s00001078)
lola: processed formula length: 39
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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: 3
lola: SUBRESULT
lola: result: 3
lola: produced by: state space
lola: The maximum value of the given expression is 3
lola: 397 markings, 396 edges
lola: ========================================
FORMULA IBMB2S565S3960-PT-none-UpperBounds-15 3 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(callToTask.s00003969.output.s00001077)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(callToTask.s00003969.output.s00001077)
lola: processed formula length: 42
lola: 0 rewrites
lola: closed formula file IBMB2S565S3960-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: 7
lola: 629145 markings, 1774856 edges, 125829 markings/sec, 0 secs
lola: 1285053 markings, 3687161 edges, 131182 markings/sec, 5 secs
lola: 1911387 markings, 5471406 edges, 125267 markings/sec, 10 secs
lola: 2505056 markings, 7323880 edges, 118734 markings/sec, 15 secs
lola: 3123150 markings, 9179677 edges, 123619 markings/sec, 20 secs
lola: 3762365 markings, 11040148 edges, 127843 markings/sec, 25 secs
lola: 4317705 markings, 12613597 edges, 111068 markings/sec, 30 secs
lola: 4923185 markings, 14203985 edges, 121096 markings/sec, 35 secs
lola: 5571492 markings, 15925878 edges, 129661 markings/sec, 40 secs
lola: 6272703 markings, 17665582 edges, 140242 markings/sec, 45 secs
lola: 6989366 markings, 19422312 edges, 143333 markings/sec, 50 secs
lola: 7581482 markings, 21298757 edges, 118423 markings/sec, 55 secs
lola: 8158767 markings, 23052857 edges, 115457 markings/sec, 60 secs
lola: 8826060 markings, 24802482 edges, 133459 markings/sec, 65 secs
lola: 9445826 markings, 26562760 edges, 123953 markings/sec, 70 secs
lola: 10062122 markings, 28359406 edges, 123259 markings/sec, 75 secs
lola: 10644099 markings, 30030937 edges, 116395 markings/sec, 80 secs
lola: 11286733 markings, 31753704 edges, 128527 markings/sec, 85 secs
lola: 11718318 markings, 33573025 edges, 86317 markings/sec, 90 secs
lola: 12091584 markings, 35436615 edges, 74653 markings/sec, 95 secs
lola: 12493971 markings, 37184216 edges, 80477 markings/sec, 100 secs
lola: 12898014 markings, 39054701 edges, 80809 markings/sec, 105 secs
lola: 13437600 markings, 40898140 edges, 107917 markings/sec, 110 secs
lola: 13959308 markings, 42656164 edges, 104342 markings/sec, 115 secs
lola: 14494151 markings, 44452002 edges, 106969 markings/sec, 120 secs
lola: 15046582 markings, 46276123 edges, 110486 markings/sec, 125 secs
lola: 15567933 markings, 48026459 edges, 104270 markings/sec, 130 secs
lola: 16101007 markings, 49824039 edges, 106615 markings/sec, 135 secs
lola: 16639986 markings, 51601703 edges, 107796 markings/sec, 140 secs
lola: 17138193 markings, 53304402 edges, 99641 markings/sec, 145 secs
lola: 17667985 markings, 55063248 edges, 105958 markings/sec, 150 secs
lola: 18316902 markings, 56886843 edges, 129783 markings/sec, 155 secs
lola: 18946914 markings, 58667262 edges, 126002 markings/sec, 160 secs
lola: 19551830 markings, 60453206 edges, 120983 markings/sec, 165 secs
lola: 20235579 markings, 62250538 edges, 136750 markings/sec, 170 secs
lola: 20786795 markings, 64079356 edges, 110243 markings/sec, 175 secs
lola: 21335634 markings, 65911003 edges, 109768 markings/sec, 180 secs
lola: 21838676 markings, 67748158 edges, 100608 markings/sec, 185 secs
lola: 22310572 markings, 69430905 edges, 94379 markings/sec, 190 secs
lola: 22771247 markings, 71066165 edges, 92135 markings/sec, 195 secs
lola: 23405339 markings, 72859842 edges, 126818 markings/sec, 200 secs
lola: 24075192 markings, 74703003 edges, 133971 markings/sec, 205 secs
lola: 24618268 markings, 76464241 edges, 108615 markings/sec, 210 secs
lola: 25159177 markings, 78315578 edges, 108182 markings/sec, 215 secs
lola: 25747676 markings, 80062355 edges, 117700 markings/sec, 220 secs
lola: 26334682 markings, 81835529 edges, 117401 markings/sec, 225 secs
lola: 26915774 markings, 83599345 edges, 116218 markings/sec, 230 secs
lola: 27566167 markings, 85434566 edges, 130079 markings/sec, 235 secs
lola: 28174454 markings, 87230425 edges, 121657 markings/sec, 240 secs
lola: 28865344 markings, 89085024 edges, 138178 markings/sec, 245 secs
lola: 29421961 markings, 90789615 edges, 111323 markings/sec, 250 secs
lola: 29989973 markings, 92546717 edges, 113602 markings/sec, 255 secs
lola: 30583534 markings, 94337848 edges, 118712 markings/sec, 260 secs
lola: 31103240 markings, 96075136 edges, 103941 markings/sec, 265 secs
lola: 31621394 markings, 97759356 edges, 103631 markings/sec, 270 secs
lola: 32158339 markings, 99503588 edges, 107389 markings/sec, 275 secs
lola: 32775736 markings, 101227369 edges, 123479 markings/sec, 280 secs
lola: 33394384 markings, 102906686 edges, 123730 markings/sec, 285 secs
lola: 33802706 markings, 104671821 edges, 81664 markings/sec, 290 secs
lola: 34257578 markings, 106391334 edges, 90974 markings/sec, 295 secs
lola: 34704497 markings, 107932544 edges, 89384 markings/sec, 300 secs
lola: 35204057 markings, 109471103 edges, 99912 markings/sec, 305 secs
lola: 35636971 markings, 110973578 edges, 86583 markings/sec, 310 secs
lola: 36118020 markings, 112484690 edges, 96210 markings/sec, 315 secs
lola: 36558972 markings, 113995414 edges, 88190 markings/sec, 320 secs
lola: 37139556 markings, 115795759 edges, 116117 markings/sec, 325 secs
lola: 37692073 markings, 117616225 edges, 110503 markings/sec, 330 secs
lola: 38327119 markings, 119375574 edges, 127009 markings/sec, 335 secs
lola: 39045761 markings, 121147150 edges, 143728 markings/sec, 340 secs
lola: 39750321 markings, 122922676 edges, 140912 markings/sec, 345 secs
lola: 40527091 markings, 124735976 edges, 155354 markings/sec, 350 secs
lola: 41132955 markings, 126311094 edges, 121173 markings/sec, 355 secs
lola: 41636048 markings, 127882305 edges, 100619 markings/sec, 360 secs
lola: 42138121 markings, 129376555 edges, 100415 markings/sec, 365 secs
lola: 42660039 markings, 130788064 edges, 104384 markings/sec, 370 secs
lola: 43218160 markings, 132241216 edges, 111624 markings/sec, 375 secs
lola: 43736062 markings, 133938256 edges, 103580 markings/sec, 380 secs
lola: 44159739 markings, 135730468 edges, 84735 markings/sec, 385 secs
lola: 44595685 markings, 137411492 edges, 87189 markings/sec, 390 secs
lola: 45041998 markings, 139148338 edges, 89263 markings/sec, 395 secs
lola: 45483752 markings, 140674316 edges, 88351 markings/sec, 400 secs
lola: 45881098 markings, 142105218 edges, 79469 markings/sec, 405 secs
lola: 46315176 markings, 143509462 edges, 86816 markings/sec, 410 secs
lola: 46770515 markings, 144980182 edges, 91068 markings/sec, 415 secs
lola: 47302352 markings, 146752710 edges, 106367 markings/sec, 420 secs
lola: 47811821 markings, 148466011 edges, 101894 markings/sec, 425 secs
lola: 48306251 markings, 150133173 edges, 98886 markings/sec, 430 secs
lola: 48862101 markings, 151959126 edges, 111170 markings/sec, 435 secs
lola: 49376745 markings, 153791109 edges, 102929 markings/sec, 440 secs
lola: 49949291 markings, 155627507 edges, 114509 markings/sec, 445 secs
lola: 50527279 markings, 157522571 edges, 115598 markings/sec, 450 secs
lola: 51036625 markings, 159362348 edges, 101869 markings/sec, 455 secs
lola: 51616929 markings, 161207076 edges, 116061 markings/sec, 460 secs
lola: 52154759 markings, 162943966 edges, 107566 markings/sec, 465 secs
lola: 52607137 markings, 164573338 edges, 90476 markings/sec, 470 secs
lola: 53082160 markings, 166125458 edges, 95005 markings/sec, 475 secs
lola: 53595846 markings, 167774456 edges, 102737 markings/sec, 480 secs
lola: 54138837 markings, 169619263 edges, 108598 markings/sec, 485 secs
lola: 54647475 markings, 171352291 edges, 101728 markings/sec, 490 secs
lola: 55184092 markings, 173094799 edges, 107323 markings/sec, 495 secs
lola: 55761579 markings, 175028872 edges, 115497 markings/sec, 500 secs
lola: 56302897 markings, 176871298 edges, 108264 markings/sec, 505 secs
lola: 56871666 markings, 178736978 edges, 113754 markings/sec, 510 secs
lola: 57376196 markings, 180345523 edges, 100906 markings/sec, 515 secs
lola: 57947678 markings, 182072259 edges, 114296 markings/sec, 520 secs
lola: 58596303 markings, 183976290 edges, 129725 markings/sec, 525 secs
lola: 59102034 markings, 185576392 edges, 101146 markings/sec, 530 secs
lola: 59735132 markings, 187156715 edges, 126620 markings/sec, 535 secs
lola: 60363586 markings, 188773556 edges, 125691 markings/sec, 540 secs
lola: 60939241 markings, 190363121 edges, 115131 markings/sec, 545 secs
lola: 61455375 markings, 191942428 edges, 103227 markings/sec, 550 secs
lola: 62017742 markings, 193692400 edges, 112473 markings/sec, 555 secs
lola: 62577821 markings, 195355795 edges, 112016 markings/sec, 560 secs
lola: 63123457 markings, 196811906 edges, 109127 markings/sec, 565 secs
lola: 63678557 markings, 198362184 edges, 111020 markings/sec, 570 secs
lola: 64303633 markings, 199934486 edges, 125015 markings/sec, 575 secs
lola: 64740435 markings, 201757646 edges, 87360 markings/sec, 580 secs
lola: 65128146 markings, 203645898 edges, 77542 markings/sec, 585 secs
lola: 65532154 markings, 205406779 edges, 80802 markings/sec, 590 secs
lola: 65938245 markings, 207290484 edges, 81218 markings/sec, 595 secs
lola: 66456155 markings, 209159957 edges, 103582 markings/sec, 600 secs
lola: 66964547 markings, 210958174 edges, 101678 markings/sec, 605 secs
lola: 67528046 markings, 212777956 edges, 112700 markings/sec, 610 secs
lola: 68091433 markings, 214621426 edges, 112677 markings/sec, 615 secs
lola: 68586297 markings, 216425691 edges, 98973 markings/sec, 620 secs
lola: 69154727 markings, 218234144 edges, 113686 markings/sec, 625 secs
lola: 69721221 markings, 220053682 edges, 113299 markings/sec, 630 secs
lola: 70216678 markings, 221844173 edges, 99091 markings/sec, 635 secs
lola: 70753829 markings, 223581141 edges, 107430 markings/sec, 640 secs
lola: 71389217 markings, 225394814 edges, 127078 markings/sec, 645 secs
lola: 72008997 markings, 227210658 edges, 123956 markings/sec, 650 secs
lola: 72625140 markings, 229033426 edges, 123229 markings/sec, 655 secs
lola: 73279720 markings, 230831254 edges, 130916 markings/sec, 660 secs
lola: 73909932 markings, 232667018 edges, 126042 markings/sec, 665 secs
lola: 74432924 markings, 234500302 edges, 104598 markings/sec, 670 secs
lola: 75011820 markings, 236371238 edges, 115779 markings/sec, 675 secs
lola: 75474800 markings, 238163920 edges, 92596 markings/sec, 680 secs
lola: 75961406 markings, 239848278 edges, 97321 markings/sec, 685 secs
lola: 76517474 markings, 241594229 edges, 111214 markings/sec, 690 secs
lola: 77195485 markings, 243453534 edges, 135602 markings/sec, 695 secs
lola: 77812816 markings, 245276998 edges, 123466 markings/sec, 700 secs
lola: 78331248 markings, 247091790 edges, 103686 markings/sec, 705 secs
lola: 78922053 markings, 248897883 edges, 118161 markings/sec, 710 secs
lola: 79503192 markings, 250671813 edges, 116228 markings/sec, 715 secs
lola: 80096743 markings, 252464857 edges, 118710 markings/sec, 720 secs
lola: 80712315 markings, 254286454 edges, 123114 markings/sec, 725 secs
lola: 81368931 markings, 256118318 edges, 131323 markings/sec, 730 secs
lola: 82031733 markings, 257968839 edges, 132560 markings/sec, 735 secs
lola: 82643409 markings, 259776311 edges, 122335 markings/sec, 740 secs
lola: 83247305 markings, 261509322 edges, 120779 markings/sec, 745 secs
lola: 83758755 markings, 263146909 edges, 102290 markings/sec, 750 secs
lola: 84308913 markings, 264796615 edges, 110032 markings/sec, 755 secs
lola: 84819638 markings, 266311961 edges, 102145 markings/sec, 760 secs
lola: 85312568 markings, 267968156 edges, 98586 markings/sec, 765 secs
lola: 85854124 markings, 269647013 edges, 108311 markings/sec, 770 secs
lola: 86386791 markings, 271298992 edges, 106533 markings/sec, 775 secs
lola: 87058667 markings, 272961098 edges, 134375 markings/sec, 780 secs
lola: 87762898 markings, 274625983 edges, 140846 markings/sec, 785 secs
lola: 88201636 markings, 276268676 edges, 87748 markings/sec, 790 secs
lola: 88579509 markings, 277949580 edges, 75575 markings/sec, 795 secs
lola: 89020368 markings, 279717811 edges, 88172 markings/sec, 800 secs
lola: 89499635 markings, 281212685 edges, 95853 markings/sec, 805 secs
lola: 89918643 markings, 282682998 edges, 83802 markings/sec, 810 secs
lola: 90406025 markings, 284170957 edges, 97476 markings/sec, 815 secs
lola: 90856545 markings, 285626842 edges, 90104 markings/sec, 820 secs
lola: 91307916 markings, 287086020 edges, 90274 markings/sec, 825 secs
lola: 91791990 markings, 288552175 edges, 96815 markings/sec, 830 secs
lola: 92216699 markings, 289990622 edges, 84942 markings/sec, 835 secs
lola: 92680824 markings, 291459714 edges, 92825 markings/sec, 840 secs
lola: 93360684 markings, 293005762 edges, 135972 markings/sec, 845 secs
lola: 94175500 markings, 294657237 edges, 162963 markings/sec, 850 secs
lola: 95004856 markings, 296342590 edges, 165871 markings/sec, 855 secs
lola: 95840433 markings, 298036788 edges, 167115 markings/sec, 860 secs
lola: 96657746 markings, 299715706 edges, 163463 markings/sec, 865 secs
lola: 97248868 markings, 301363400 edges, 118224 markings/sec, 870 secs
lola: 97768565 markings, 302866668 edges, 103939 markings/sec, 875 secs
lola: 98346131 markings, 304328128 edges, 115513 markings/sec, 880 secs
lola: 98918907 markings, 305866904 edges, 114555 markings/sec, 885 secs
lola: 99349822 markings, 307504257 edges, 86183 markings/sec, 890 secs
lola: 99871641 markings, 309159520 edges, 104364 markings/sec, 895 secs
lola: 100448309 markings, 310861460 edges, 115334 markings/sec, 900 secs
lola: 101042727 markings, 312619659 edges, 118884 markings/sec, 905 secs
lola: 101655174 markings, 314427122 edges, 122489 markings/sec, 910 secs
lola: 102285453 markings, 316127110 edges, 126056 markings/sec, 915 secs
lola: 102874882 markings, 317759467 edges, 117886 markings/sec, 920 secs
lola: 103482689 markings, 319465780 edges, 121561 markings/sec, 925 secs
lola: 104035496 markings, 321069453 edges, 110561 markings/sec, 930 secs
lola: 104717166 markings, 322658767 edges, 136334 markings/sec, 935 secs
lola: 105277801 markings, 324327543 edges, 112127 markings/sec, 940 secs
lola: 105899337 markings, 325971521 edges, 124307 markings/sec, 945 secs
lola: 106530151 markings, 327649187 edges, 126163 markings/sec, 950 secs
lola: 107153877 markings, 329340230 edges, 124745 markings/sec, 955 secs
lola: 107750826 markings, 330946796 edges, 119390 markings/sec, 960 secs
lola: 108376272 markings, 332626749 edges, 125089 markings/sec, 965 secs
lola: 108990055 markings, 334316881 edges, 122757 markings/sec, 970 secs
lola: 109607705 markings, 335995809 edges, 123530 markings/sec, 975 secs
lola: 110227894 markings, 337655741 edges, 124038 markings/sec, 980 secs
lola: 110865650 markings, 339367022 edges, 127551 markings/sec, 985 secs
lola: 111498159 markings, 341063376 edges, 126502 markings/sec, 990 secs
lola: 112147056 markings, 342802466 edges, 129779 markings/sec, 995 secs
lola: 112781743 markings, 344505190 edges, 126937 markings/sec, 1000 secs
lola: 113417231 markings, 346232738 edges, 127098 markings/sec, 1005 secs
lola: 114012040 markings, 347871389 edges, 118962 markings/sec, 1010 secs
lola: 114677421 markings, 349535369 edges, 133076 markings/sec, 1015 secs
lola: 115499525 markings, 351264777 edges, 164421 markings/sec, 1020 secs
lola: 116320277 markings, 352986489 edges, 164150 markings/sec, 1025 secs
lola: 116945018 markings, 354768447 edges, 124948 markings/sec, 1030 secs
lola: 117548334 markings, 356601532 edges, 120663 markings/sec, 1035 secs
lola: 118188962 markings, 358472423 edges, 128126 markings/sec, 1040 secs
lola: 118724205 markings, 360168326 edges, 107049 markings/sec, 1045 secs
lola: 119384611 markings, 361840411 edges, 132081 markings/sec, 1050 secs
lola: 120017437 markings, 363523902 edges, 126565 markings/sec, 1055 secs
lola: 120617693 markings, 365289738 edges, 120051 markings/sec, 1060 secs
lola: 121235677 markings, 367082273 edges, 123597 markings/sec, 1065 secs
lola: 121822865 markings, 368769781 edges, 117438 markings/sec, 1070 secs
lola: 122466223 markings, 370464547 edges, 128672 markings/sec, 1075 secs
lola: 122911161 markings, 372304998 edges, 88988 markings/sec, 1080 secs
lola: 123297805 markings, 374183154 edges, 77329 markings/sec, 1085 secs
lola: 123702429 markings, 375948825 edges, 80925 markings/sec, 1090 secs
lola: 124094965 markings, 377776419 edges, 78507 markings/sec, 1095 secs
lola: 124600885 markings, 379643087 edges, 101184 markings/sec, 1100 secs
lola: 125101016 markings, 381449245 edges, 100026 markings/sec, 1105 secs
lola: 125665989 markings, 383248711 edges, 112995 markings/sec, 1110 secs
lola: 126233904 markings, 385089497 edges, 113583 markings/sec, 1115 secs
lola: 126736685 markings, 386909051 edges, 100556 markings/sec, 1120 secs
lola: 127290171 markings, 388685054 edges, 110697 markings/sec, 1125 secs
lola: 127857926 markings, 390490915 edges, 113551 markings/sec, 1130 secs
lola: 128358879 markings, 392297086 edges, 100191 markings/sec, 1135 secs
lola: 128880420 markings, 394000896 edges, 104308 markings/sec, 1140 secs
lola: 129489698 markings, 395778965 edges, 121856 markings/sec, 1145 secs
lola: 130109658 markings, 397595737 edges, 123992 markings/sec, 1150 secs
lola: 130744548 markings, 399429265 edges, 126978 markings/sec, 1155 secs
lola: 131389515 markings, 401218551 edges, 128993 markings/sec, 1160 secs
lola: 132031856 markings, 403046443 edges, 128468 markings/sec, 1165 secs
lola: 132545736 markings, 404870726 edges, 102776 markings/sec, 1170 secs
lola: 133127396 markings, 406713348 edges, 116332 markings/sec, 1175 secs
lola: 133578715 markings, 408507007 edges, 90264 markings/sec, 1180 secs
lola: 134062558 markings, 410184225 edges, 96769 markings/sec, 1185 secs
lola: 134609771 markings, 411924374 edges, 109443 markings/sec, 1190 secs
lola: 135274436 markings, 413753500 edges, 132933 markings/sec, 1195 secs
lola: 135887097 markings, 415568024 edges, 122532 markings/sec, 1200 secs
lola: 136407693 markings, 417343303 edges, 104119 markings/sec, 1205 secs
lola: 136974377 markings, 419120370 edges, 113337 markings/sec, 1210 secs
lola: 137552575 markings, 420856622 edges, 115640 markings/sec, 1215 secs
lola: 138137079 markings, 422634012 edges, 116901 markings/sec, 1220 secs
lola: 138718582 markings, 424391131 edges, 116301 markings/sec, 1225 secs
lola: 139388094 markings, 426198724 edges, 133902 markings/sec, 1230 secs
lola: 140001868 markings, 427979816 edges, 122755 markings/sec, 1235 secs
lola: 140625847 markings, 429775195 edges, 124796 markings/sec, 1240 secs
lola: 141225742 markings, 431558698 edges, 119979 markings/sec, 1245 secs
lola: 141742817 markings, 433296957 edges, 103415 markings/sec, 1250 secs
lola: 142283913 markings, 434997563 edges, 108219 markings/sec, 1255 secs
lola: 142790754 markings, 436724829 edges, 101368 markings/sec, 1260 secs
lola: 143394302 markings, 438443542 edges, 120710 markings/sec, 1265 secs
lola: 144003031 markings, 440056696 edges, 121746 markings/sec, 1270 secs
lola: 144397302 markings, 441742423 edges, 78854 markings/sec, 1275 secs
lola: 144802266 markings, 443394533 edges, 80993 markings/sec, 1280 secs
lola: 145258540 markings, 444942382 edges, 91255 markings/sec, 1285 secs
lola: 145696748 markings, 446338765 edges, 87642 markings/sec, 1290 secs
lola: 146114024 markings, 447782301 edges, 83455 markings/sec, 1295 secs
lola: 146576579 markings, 449233647 edges, 92511 markings/sec, 1300 secs
lola: 147015866 markings, 450759465 edges, 87857 markings/sec, 1305 secs
lola: 147676118 markings, 452379355 edges, 132050 markings/sec, 1310 secs
lola: 148494066 markings, 454122993 edges, 163590 markings/sec, 1315 secs
lola: 149314668 markings, 455874111 edges, 164120 markings/sec, 1320 secs
lola: 149861707 markings, 457408964 edges, 109408 markings/sec, 1325 secs
lola: 150376095 markings, 459001973 edges, 102878 markings/sec, 1330 secs
lola: 150942613 markings, 460745507 edges, 113304 markings/sec, 1335 secs
lola: 151548665 markings, 462501634 edges, 121210 markings/sec, 1340 secs
lola: 152171855 markings, 464161006 edges, 124638 markings/sec, 1345 secs
lola: 152766706 markings, 465840486 edges, 118970 markings/sec, 1350 secs
lola: 153383653 markings, 467538212 edges, 123389 markings/sec, 1355 secs
lola: 154003340 markings, 469254718 edges, 123937 markings/sec, 1360 secs
lola: 154635468 markings, 470978971 edges, 126426 markings/sec, 1365 secs
lola: 155282161 markings, 472746749 edges, 129339 markings/sec, 1370 secs
lola: 155885236 markings, 474343564 edges, 120615 markings/sec, 1375 secs
lola: 156606379 markings, 476073961 edges, 144229 markings/sec, 1380 secs
lola: 157172461 markings, 477784839 edges, 113216 markings/sec, 1385 secs
lola: 157698505 markings, 479402297 edges, 105209 markings/sec, 1390 secs
lola: 158253083 markings, 480869415 edges, 110916 markings/sec, 1395 secs
lola: 158802184 markings, 482416720 edges, 109820 markings/sec, 1400 secs
lola: 159167114 markings, 484046191 edges, 72986 markings/sec, 1405 secs
lola: 159508368 markings, 485755075 edges, 68251 markings/sec, 1410 secs
lola: 159895450 markings, 487418240 edges, 77416 markings/sec, 1415 secs
lola: 160262541 markings, 489117307 edges, 73418 markings/sec, 1420 secs
lola: 160731752 markings, 490874965 edges, 93842 markings/sec, 1425 secs
lola: 161218276 markings, 492628480 edges, 97305 markings/sec, 1430 secs
lola: 161744266 markings, 494321423 edges, 105198 markings/sec, 1435 secs
lola: 162287184 markings, 496066607 edges, 108584 markings/sec, 1440 secs
lola: 162805289 markings, 497852022 edges, 103621 markings/sec, 1445 secs
lola: 163303993 markings, 499537136 edges, 99741 markings/sec, 1450 secs
lola: 163836465 markings, 501254786 edges, 106494 markings/sec, 1455 secs
lola: 164351541 markings, 502991185 edges, 103015 markings/sec, 1460 secs
lola: 164842432 markings, 504636600 edges, 98178 markings/sec, 1465 secs
lola: 165329728 markings, 506278885 edges, 97459 markings/sec, 1470 secs
lola: 165960594 markings, 508045231 edges, 126173 markings/sec, 1475 secs
lola: 166587630 markings, 509819555 edges, 125407 markings/sec, 1480 secs
lola: 167183801 markings, 511575887 edges, 119234 markings/sec, 1485 secs
lola: 167834573 markings, 513315874 edges, 130154 markings/sec, 1490 secs
lola: 168394246 markings, 515109012 edges, 111935 markings/sec, 1495 secs
lola: 168920098 markings, 516893373 edges, 105170 markings/sec, 1500 secs
lola: 169438583 markings, 518696286 edges, 103697 markings/sec, 1505 secs
lola: 169903795 markings, 520396363 edges, 93042 markings/sec, 1510 secs
lola: 170369895 markings, 522053896 edges, 93220 markings/sec, 1515 secs
lola: 170955517 markings, 523784668 edges, 117124 markings/sec, 1520 secs
lola: 171603703 markings, 525566089 edges, 129637 markings/sec, 1525 secs
lola: 172195878 markings, 527315214 edges, 118435 markings/sec, 1530 secs
lola: 172686601 markings, 529076481 edges, 98145 markings/sec, 1535 secs
lola: 173252800 markings, 530795181 edges, 113240 markings/sec, 1540 secs
lola: 173809977 markings, 532496825 edges, 111435 markings/sec, 1545 secs
lola: 174384406 markings, 534235260 edges, 114886 markings/sec, 1550 secs
lola: 174964531 markings, 535975438 edges, 116025 markings/sec, 1555 secs
lola: 175604195 markings, 537728364 edges, 127933 markings/sec, 1560 secs
lola: 176213008 markings, 539466178 edges, 121763 markings/sec, 1565 secs
lola: 176823241 markings, 541233227 edges, 122047 markings/sec, 1570 secs
lola: 177409866 markings, 542986985 edges, 117325 markings/sec, 1575 secs
lola: 177910994 markings, 544686796 edges, 100226 markings/sec, 1580 secs
lola: 178430696 markings, 546347993 edges, 103940 markings/sec, 1585 secs
lola: 178925724 markings, 548040505 edges, 99006 markings/sec, 1590 secs
lola: 179516890 markings, 549740179 edges, 118233 markings/sec, 1595 secs
lola: 180118930 markings, 551410362 edges, 120408 markings/sec, 1600 secs
lola: 180519581 markings, 553155773 edges, 80130 markings/sec, 1605 secs
lola: 180971743 markings, 554850013 edges, 90432 markings/sec, 1610 secs
lola: 181411972 markings, 556384097 edges, 88046 markings/sec, 1615 secs
lola: 181884584 markings, 557910998 edges, 94522 markings/sec, 1620 secs
lola: 182322694 markings, 559408092 edges, 87622 markings/sec, 1625 secs
lola: 182770096 markings, 560924180 edges, 89480 markings/sec, 1630 secs
lola: 183273771 markings, 562448694 edges, 100735 markings/sec, 1635 secs
lola: 184059479 markings, 564145174 edges, 157142 markings/sec, 1640 secs
lola: 184858432 markings, 565872482 edges, 159791 markings/sec, 1645 secs
lola: 185534520 markings, 567553602 edges, 135218 markings/sec, 1650 secs
lola: 186079489 markings, 569149883 edges, 108994 markings/sec, 1655 secs
lola: 186596163 markings, 570856786 edges, 103335 markings/sec, 1660 secs
lola: 187164268 markings, 572594607 edges, 113621 markings/sec, 1665 secs
lola: 187763679 markings, 574257557 edges, 119882 markings/sec, 1670 secs
lola: 188367619 markings, 575934221 edges, 120788 markings/sec, 1675 secs
lola: 188977057 markings, 577630238 edges, 121888 markings/sec, 1680 secs
lola: 189586082 markings, 579345482 edges, 121805 markings/sec, 1685 secs
lola: 190207936 markings, 581071959 edges, 124371 markings/sec, 1690 secs
lola: 190843555 markings, 582836605 edges, 127124 markings/sec, 1695 secs
lola: 191505234 markings, 584543919 edges, 132336 markings/sec, 1700 secs
lola: 192101175 markings, 586261141 edges, 119188 markings/sec, 1705 secs
lola: 192475323 markings, 587962304 edges, 74830 markings/sec, 1710 secs
lola: 192806232 markings, 589595057 edges, 66182 markings/sec, 1715 secs
lola: 193192111 markings, 591254613 edges, 77176 markings/sec, 1720 secs
lola: 193549140 markings, 592925751 edges, 71406 markings/sec, 1725 secs
lola: 194004906 markings, 594728061 edges, 91153 markings/sec, 1730 secs
lola: 194498462 markings, 596483287 edges, 98711 markings/sec, 1735 secs
lola: 194899429 markings, 598266107 edges, 80193 markings/sec, 1740 secs
lola: 195323872 markings, 599992076 edges, 84889 markings/sec, 1745 secs
lola: 195744679 markings, 601736420 edges, 84161 markings/sec, 1750 secs
lola: 196161430 markings, 603575888 edges, 83350 markings/sec, 1755 secs
lola: 196515017 markings, 605394396 edges, 70717 markings/sec, 1760 secs
lola: 196901368 markings, 607247630 edges, 77270 markings/sec, 1765 secs
lola: 197244931 markings, 609097108 edges, 68713 markings/sec, 1770 secs
lola: 197565772 markings, 610808950 edges, 64168 markings/sec, 1775 secs
lola: 197875353 markings, 612389151 edges, 61916 markings/sec, 1780 secs
lola: 198182021 markings, 613952014 edges, 61334 markings/sec, 1785 secs
lola: 198634921 markings, 615652972 edges, 90580 markings/sec, 1790 secs
lola: 199219599 markings, 617478975 edges, 116936 markings/sec, 1795 secs
lola: 199688643 markings, 619321272 edges, 93809 markings/sec, 1800 secs
lola: 200009579 markings, 621043636 edges, 64187 markings/sec, 1805 secs
lola: 200343906 markings, 622875353 edges, 66865 markings/sec, 1810 secs
lola: 200705252 markings, 624671408 edges, 72269 markings/sec, 1815 secs
lola: 201081322 markings, 626368098 edges, 75214 markings/sec, 1820 secs
lola: 201455081 markings, 628066590 edges, 74752 markings/sec, 1825 secs
lola: 201838390 markings, 629826179 edges, 76662 markings/sec, 1830 secs
lola: 202204345 markings, 631510653 edges, 73191 markings/sec, 1835 secs
lola: 202592252 markings, 633316473 edges, 77581 markings/sec, 1840 secs
lola: 202980490 markings, 635154363 edges, 77648 markings/sec, 1845 secs
lola: 203362706 markings, 636900517 edges, 76443 markings/sec, 1850 secs
lola: 203743407 markings, 638729205 edges, 76140 markings/sec, 1855 secs
lola: 204136814 markings, 640574449 edges, 78681 markings/sec, 1860 secs
lola: 204504290 markings, 642302493 edges, 73495 markings/sec, 1865 secs
lola: 204959140 markings, 644148281 edges, 90970 markings/sec, 1870 secs
lola: 205314659 markings, 645967453 edges, 71104 markings/sec, 1875 secs
lola: 205694274 markings, 647744218 edges, 75923 markings/sec, 1880 secs
lola: 206026334 markings, 649579871 edges, 66412 markings/sec, 1885 secs
lola: 206378091 markings, 651367296 edges, 70351 markings/sec, 1890 secs
lola: 206810007 markings, 653217305 edges, 86383 markings/sec, 1895 secs
lola: 207195344 markings, 655042364 edges, 77067 markings/sec, 1900 secs
lola: 207486510 markings, 656867490 edges, 58233 markings/sec, 1905 secs
lola: 207808183 markings, 658652999 edges, 64335 markings/sec, 1910 secs
lola: 208113284 markings, 660231304 edges, 61020 markings/sec, 1915 secs
lola: 208408421 markings, 661786536 edges, 59027 markings/sec, 1920 secs
lola: 208716862 markings, 663290737 edges, 61688 markings/sec, 1925 secs
lola: 208994168 markings, 664777880 edges, 55461 markings/sec, 1930 secs
lola: 209309873 markings, 666302432 edges, 63141 markings/sec, 1935 secs
lola: 209594954 markings, 667815667 edges, 57016 markings/sec, 1940 secs
lola: 210158137 markings, 669519956 edges, 112637 markings/sec, 1945 secs
lola: 210838500 markings, 671354735 edges, 136073 markings/sec, 1950 secs
lola: 211483855 markings, 673199467 edges, 129071 markings/sec, 1955 secs
lola: 211816327 markings, 674974787 edges, 66494 markings/sec, 1960 secs
lola: 212136333 markings, 676698337 edges, 64001 markings/sec, 1965 secs
lola: 212456065 markings, 678533804 edges, 63946 markings/sec, 1970 secs
lola: 212810305 markings, 680499388 edges, 70848 markings/sec, 1975 secs
lola: 213174787 markings, 682289291 edges, 72896 markings/sec, 1980 secs
lola: 213581082 markings, 684006492 edges, 81259 markings/sec, 1985 secs
lola: 213936522 markings, 685790714 edges, 71088 markings/sec, 1990 secs
lola: 214319727 markings, 687576554 edges, 76641 markings/sec, 1995 secs
lola: 214702765 markings, 689358127 edges, 76608 markings/sec, 2000 secs
lola: 215083469 markings, 691147335 edges, 76141 markings/sec, 2005 secs
lola: 215479497 markings, 692992955 edges, 79206 markings/sec, 2010 secs
lola: 215876736 markings, 694845089 edges, 79448 markings/sec, 2015 secs
lola: 216258378 markings, 696639523 edges, 76328 markings/sec, 2020 secs
lola: 216678100 markings, 698610235 edges, 83944 markings/sec, 2025 secs
lola: 217178366 markings, 700387693 edges, 100053 markings/sec, 2030 secs
lola: 217634732 markings, 702042692 edges, 91273 markings/sec, 2035 secs
lola: 218152201 markings, 703689989 edges, 103494 markings/sec, 2040 secs
lola: 218730778 markings, 705415329 edges, 115715 markings/sec, 2045 secs
lola: 219316496 markings, 707218524 edges, 117144 markings/sec, 2050 secs
lola: 219857816 markings, 708997300 edges, 108264 markings/sec, 2055 secs
lola: 220430025 markings, 710765559 edges, 114442 markings/sec, 2060 secs
lola: 220968128 markings, 712582094 edges, 107621 markings/sec, 2065 secs
lola: 221416579 markings, 714399493 edges, 89690 markings/sec, 2070 secs
lola: 221929653 markings, 716250260 edges, 102615 markings/sec, 2075 secs
lola: 222320050 markings, 718047406 edges, 78079 markings/sec, 2080 secs
lola: 222725202 markings, 719676611 edges, 81030 markings/sec, 2085 secs
lola: 223124678 markings, 721289361 edges, 79895 markings/sec, 2090 secs
lola: 223744589 markings, 723097965 edges, 123982 markings/sec, 2095 secs
lola: 224371466 markings, 724914369 edges, 125375 markings/sec, 2100 secs
lola: 224817839 markings, 726653076 edges, 89275 markings/sec, 2105 secs
lola: 225256402 markings, 728459332 edges, 87713 markings/sec, 2110 secs
lola: 225752796 markings, 730192576 edges, 99279 markings/sec, 2115 secs
lola: 226226867 markings, 731897422 edges, 94814 markings/sec, 2120 secs
lola: 226727135 markings, 733659291 edges, 100054 markings/sec, 2125 secs
lola: 227217897 markings, 735378381 edges, 98152 markings/sec, 2130 secs
lola: 227758565 markings, 737202445 edges, 108134 markings/sec, 2135 secs
lola: 228255208 markings, 738953947 edges, 99329 markings/sec, 2140 secs
lola: 228805454 markings, 740782691 edges, 110049 markings/sec, 2145 secs
lola: 229302767 markings, 742538397 edges, 99463 markings/sec, 2150 secs
lola: 229818180 markings, 744346020 edges, 103083 markings/sec, 2155 secs
lola: 230281293 markings, 746130151 edges, 92623 markings/sec, 2160 secs
lola: 230729249 markings, 747872664 edges, 89591 markings/sec, 2165 secs
lola: 231190896 markings, 749652895 edges, 92329 markings/sec, 2170 secs
lola: 231758963 markings, 751442888 edges, 113613 markings/sec, 2175 secs
lola: 232179291 markings, 753219963 edges, 84066 markings/sec, 2180 secs
lola: 232561400 markings, 755023675 edges, 76422 markings/sec, 2185 secs
lola: 232965399 markings, 756599759 edges, 80800 markings/sec, 2190 secs
lola: 233393592 markings, 758175519 edges, 85639 markings/sec, 2195 secs
lola: 233759175 markings, 759688312 edges, 73117 markings/sec, 2200 secs
lola: 234157303 markings, 761228098 edges, 79626 markings/sec, 2205 secs
lola: 234584670 markings, 762780249 edges, 85473 markings/sec, 2210 secs
lola: 235315539 markings, 764540872 edges, 146174 markings/sec, 2215 secs
lola: 236059458 markings, 766333533 edges, 148784 markings/sec, 2220 secs
lola: 236606283 markings, 768070980 edges, 109365 markings/sec, 2225 secs
lola: 237043385 markings, 769747701 edges, 87420 markings/sec, 2230 secs
lola: 237518396 markings, 771583150 edges, 95002 markings/sec, 2235 secs
lola: 238026792 markings, 773383305 edges, 101679 markings/sec, 2240 secs
lola: 238540159 markings, 775086092 edges, 102673 markings/sec, 2245 secs
lola: 239066763 markings, 776852984 edges, 105321 markings/sec, 2250 secs
lola: 239587650 markings, 778594456 edges, 104177 markings/sec, 2255 secs
lola: 240122125 markings, 780376636 edges, 106895 markings/sec, 2260 secs
lola: 240666564 markings, 782187555 edges, 108888 markings/sec, 2265 secs
lola: 241220881 markings, 783977015 edges, 110863 markings/sec, 2270 secs
lola: 241805577 markings, 785776599 edges, 116939 markings/sec, 2275 secs
lola: 242307012 markings, 787504074 edges, 100287 markings/sec, 2280 secs
lola: 242787714 markings, 789132203 edges, 96140 markings/sec, 2285 secs
lola: 243306643 markings, 790780761 edges, 103786 markings/sec, 2290 secs
lola: 243868617 markings, 792570468 edges, 112395 markings/sec, 2295 secs
lola: 244457343 markings, 794382026 edges, 117745 markings/sec, 2300 secs
lola: 245025401 markings, 796139930 edges, 113612 markings/sec, 2305 secs
lola: 245599688 markings, 797911311 edges, 114857 markings/sec, 2310 secs
lola: 246073627 markings, 799747280 edges, 94788 markings/sec, 2315 secs
lola: 246553650 markings, 801588373 edges, 96005 markings/sec, 2320 secs
lola: 246985255 markings, 803423479 edges, 86321 markings/sec, 2325 secs
lola: 247402729 markings, 805109496 edges, 83495 markings/sec, 2330 secs
lola: 247800150 markings, 806732803 edges, 79484 markings/sec, 2335 secs
lola: 248317205 markings, 808446957 edges, 103411 markings/sec, 2340 secs
lola: 248941334 markings, 810242481 edges, 124826 markings/sec, 2345 secs
lola: 249469873 markings, 812032314 edges, 105708 markings/sec, 2350 secs
lola: 249899202 markings, 813786093 edges, 85866 markings/sec, 2355 secs
lola: 250376493 markings, 815578796 edges, 95458 markings/sec, 2360 secs
lola: 250861803 markings, 817283354 edges, 97062 markings/sec, 2365 secs
lola: 251352511 markings, 819013346 edges, 98142 markings/sec, 2370 secs
lola: 251837970 markings, 820730287 edges, 97092 markings/sec, 2375 secs
lola: 252357063 markings, 822524715 edges, 103819 markings/sec, 2380 secs
lola: 252880680 markings, 824302556 edges, 104723 markings/sec, 2385 secs
lola: 253401350 markings, 826091228 edges, 104134 markings/sec, 2390 secs
lola: 253931505 markings, 827884707 edges, 106031 markings/sec, 2395 secs
lola: 254438493 markings, 829669150 edges, 101398 markings/sec, 2400 secs
lola: 254907461 markings, 831433947 edges, 93794 markings/sec, 2405 secs
lola: 255376039 markings, 833164395 edges, 93716 markings/sec, 2410 secs
lola: 255814236 markings, 834937632 edges, 87639 markings/sec, 2415 secs
lola: 256332406 markings, 836701718 edges, 103634 markings/sec, 2420 secs
lola: 256843292 markings, 838460271 edges, 102177 markings/sec, 2425 secs
lola: 257209742 markings, 840255148 edges, 73290 markings/sec, 2430 secs
lola: 257621230 markings, 841933375 edges, 82298 markings/sec, 2435 secs
lola: 258007903 markings, 843498617 edges, 77335 markings/sec, 2440 secs
lola: 258395104 markings, 845002067 edges, 77440 markings/sec, 2445 secs
lola: 258792679 markings, 846514884 edges, 79515 markings/sec, 2450 secs
lola: 259171314 markings, 848030209 edges, 75727 markings/sec, 2455 secs
lola: 259736383 markings, 849647697 edges, 113014 markings/sec, 2460 secs
lola: 260469287 markings, 851415685 edges, 146581 markings/sec, 2465 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 3 7 unknown 3 3 7 2 2 3 1 7 unknown 7 3 3
lola:
preliminary result: 1 3 7 unknown 3 3 7 2 2 3 1 7 unknown 7 3 3
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 3 7 unknown 3 3 7 2 2 3 1 7 unknown 7 3 3
lola: memory consumption: 18404 KB
lola: time consumption: 3570 seconds
BK_STOP 1526785726923
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="IBMB2S565S3960-PT-none"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/IBMB2S565S3960-PT-none.tgz
mv IBMB2S565S3960-PT-none execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is IBMB2S565S3960-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 r100-smll-152658630800191"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;