About the Execution of 2018-Gold for DLCflexbar-PT-4b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5099.950 | 3569624.00 | 3648564.00 | 439.90 | 1 ? 1 1 1 1 1 1 1 1 1 1 1 1 1 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r055-oct2-155234418500076.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is DLCflexbar-PT-4b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r055-oct2-155234418500076
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.3M
-rw-r--r-- 1 mcc users 4.1K Feb 9 11:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 9 11:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 5 10:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 5 10:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:18 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:18 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 2 03:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 03:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jan 29 17:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Jan 29 17:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 4.1M 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 DLCflexbar-PT-4b-UpperBounds-00
FORMULA_NAME DLCflexbar-PT-4b-UpperBounds-01
FORMULA_NAME DLCflexbar-PT-4b-UpperBounds-02
FORMULA_NAME DLCflexbar-PT-4b-UpperBounds-03
FORMULA_NAME DLCflexbar-PT-4b-UpperBounds-04
FORMULA_NAME DLCflexbar-PT-4b-UpperBounds-05
FORMULA_NAME DLCflexbar-PT-4b-UpperBounds-06
FORMULA_NAME DLCflexbar-PT-4b-UpperBounds-07
FORMULA_NAME DLCflexbar-PT-4b-UpperBounds-08
FORMULA_NAME DLCflexbar-PT-4b-UpperBounds-09
FORMULA_NAME DLCflexbar-PT-4b-UpperBounds-10
FORMULA_NAME DLCflexbar-PT-4b-UpperBounds-11
FORMULA_NAME DLCflexbar-PT-4b-UpperBounds-12
FORMULA_NAME DLCflexbar-PT-4b-UpperBounds-13
FORMULA_NAME DLCflexbar-PT-4b-UpperBounds-14
FORMULA_NAME DLCflexbar-PT-4b-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1552695917949
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCflexbar-PT-4b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DLCflexbar-PT-4b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ DLCflexbar-PT-4b @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 28568/65536 symbol table entries, 10549 collisions
lola: preprocessing...
lola: Size of bit vector: 11440
lola: finding significant places
lola: 11440 places, 17128 transitions, 10832 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 23915 transition conflict sets
lola: TASK
lola: reading formula from DLCflexbar-PT-4b-UpperBounds.task
lola: MAX(p2834) : MAX(p8767) : MAX(p7673) : MAX(p4768) : MAX(p955) : MAX(p2682) : MAX(p3220) : MAX(p9485) : MAX(p5730) : MAX(p9568) : MAX(p8630) : MAX(p6549) : MAX(p11189) : MAX(p3231) : MAX(p1565) : MAX(p11121)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2834)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2834)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2698 markings, 2987 edges
lola: ========================================
FORMULA DLCflexbar-PT-4b-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p8767)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8767)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: 13653 markings, 15517 edges, 2731 markings/sec, 5 secs
lola: 31234 markings, 35826 edges, 3516 markings/sec, 10 secs
lola: 48724 markings, 56362 edges, 3498 markings/sec, 15 secs
lola: 66399 markings, 77143 edges, 3535 markings/sec, 20 secs
lola: 83850 markings, 97545 edges, 3490 markings/sec, 25 secs
lola: 101535 markings, 118245 edges, 3537 markings/sec, 30 secs
lola: 119244 markings, 138899 edges, 3542 markings/sec, 35 secs
lola: 136718 markings, 159195 edges, 3495 markings/sec, 40 secs
lola: 154522 markings, 180112 edges, 3561 markings/sec, 45 secs
lola: 171786 markings, 200263 edges, 3453 markings/sec, 50 secs
lola: 189526 markings, 220949 edges, 3548 markings/sec, 55 secs
lola: 207000 markings, 241535 edges, 3495 markings/sec, 60 secs
lola: 225219 markings, 263097 edges, 3644 markings/sec, 65 secs
lola: 243457 markings, 284340 edges, 3648 markings/sec, 70 secs
lola: 261961 markings, 305699 edges, 3701 markings/sec, 75 secs
lola: 280311 markings, 327280 edges, 3670 markings/sec, 80 secs
lola: 298290 markings, 348130 edges, 3596 markings/sec, 85 secs
lola: 317172 markings, 370352 edges, 3776 markings/sec, 90 secs
lola: 335078 markings, 391493 edges, 3581 markings/sec, 95 secs
lola: 352695 markings, 412510 edges, 3523 markings/sec, 100 secs
lola: 370857 markings, 434038 edges, 3632 markings/sec, 105 secs
lola: 389229 markings, 456032 edges, 3674 markings/sec, 110 secs
lola: 407279 markings, 477119 edges, 3610 markings/sec, 115 secs
lola: 425310 markings, 499134 edges, 3606 markings/sec, 120 secs
lola: 442720 markings, 519404 edges, 3482 markings/sec, 125 secs
lola: 460208 markings, 539942 edges, 3498 markings/sec, 130 secs
lola: 477421 markings, 560131 edges, 3443 markings/sec, 135 secs
lola: 494687 markings, 580222 edges, 3453 markings/sec, 140 secs
lola: 512358 markings, 600760 edges, 3534 markings/sec, 145 secs
lola: 529962 markings, 621416 edges, 3521 markings/sec, 150 secs
lola: 547661 markings, 642273 edges, 3540 markings/sec, 155 secs
lola: 565255 markings, 663210 edges, 3519 markings/sec, 160 secs
lola: 583479 markings, 684429 edges, 3645 markings/sec, 165 secs
lola: 601572 markings, 705711 edges, 3619 markings/sec, 170 secs
lola: 619790 markings, 727365 edges, 3644 markings/sec, 175 secs
lola: 637851 markings, 748682 edges, 3612 markings/sec, 180 secs
lola: 655813 markings, 770115 edges, 3592 markings/sec, 185 secs
lola: 674235 markings, 792024 edges, 3684 markings/sec, 190 secs
lola: 692542 markings, 813910 edges, 3661 markings/sec, 195 secs
lola: 710355 markings, 834992 edges, 3563 markings/sec, 200 secs
lola: 728559 markings, 856418 edges, 3641 markings/sec, 205 secs
lola: 746995 markings, 878379 edges, 3687 markings/sec, 210 secs
lola: 765642 markings, 900481 edges, 3729 markings/sec, 215 secs
lola: 783957 markings, 922644 edges, 3663 markings/sec, 220 secs
lola: 802626 markings, 944801 edges, 3734 markings/sec, 225 secs
lola: 821018 markings, 966730 edges, 3678 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 506360 KB
lola: time consumption: 264 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7673)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7673)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 384 markings, 383 edges
lola: ========================================
FORMULA DLCflexbar-PT-4b-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4768)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4768)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 100 markings, 99 edges
FORMULA DLCflexbar-PT-4b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p955)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p955)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 1947 markings, 2190 edges
FORMULA DLCflexbar-PT-4b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2682)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2682)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 46 markings, 45 edges
lola: ========================================
FORMULA DLCflexbar-PT-4b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 328 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3220)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3220)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 1844 markings, 2017 edges
FORMULA DLCflexbar-PT-4b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 364 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p9485)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9485)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4763 markings, 5313 edges
lola: ========================================
FORMULA DLCflexbar-PT-4b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5730)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5730)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 430 markings, 429 edges
FORMULA DLCflexbar-PT-4b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 466 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p9568)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9568)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 193 markings, 192 edges
FORMULA DLCflexbar-PT-4b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 542 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p8630)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8630)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 284 markings, 283 edges
FORMULA DLCflexbar-PT-4b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 650 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6549)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6549)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 494 markings, 493 edges
FORMULA DLCflexbar-PT-4b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 811 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p11189)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p11189)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 30 markings, 29 edges
FORMULA DLCflexbar-PT-4b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 1079 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3231)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3231)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 1840 markings, 2013 edges
FORMULA DLCflexbar-PT-4b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1616 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1565)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1565)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 53 markings, 52 edges
FORMULA DLCflexbar-PT-4b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3227 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p11121)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p11121)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: ========================================
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 66 markings, 65 edges
lola: ========================================
FORMULA DLCflexbar-PT-4b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p8767)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8767)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCflexbar-PT-4b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: 13830 markings, 15721 edges, 2766 markings/sec, 5 secs
lola: 31383 markings, 35992 edges, 3511 markings/sec, 10 secs
lola: 48889 markings, 56552 edges, 3501 markings/sec, 15 secs
lola: 66526 markings, 77284 edges, 3527 markings/sec, 20 secs
lola: 84057 markings, 97780 edges, 3506 markings/sec, 25 secs
lola: 101940 markings, 118728 edges, 3577 markings/sec, 30 secs
lola: 119574 markings, 139272 edges, 3527 markings/sec, 35 secs
lola: 137160 markings, 159709 edges, 3517 markings/sec, 40 secs
lola: 154914 markings, 180561 edges, 3551 markings/sec, 45 secs
lola: 172198 markings, 200744 edges, 3457 markings/sec, 50 secs
lola: 189813 markings, 221276 edges, 3523 markings/sec, 55 secs
lola: 207366 markings, 241961 edges, 3511 markings/sec, 60 secs
lola: 225432 markings, 263345 edges, 3613 markings/sec, 65 secs
lola: 243380 markings, 284247 edges, 3590 markings/sec, 70 secs
lola: 261810 markings, 305530 edges, 3686 markings/sec, 75 secs
lola: 280091 markings, 327016 edges, 3656 markings/sec, 80 secs
lola: 297942 markings, 347736 edges, 3570 markings/sec, 85 secs
lola: 316874 markings, 370008 edges, 3786 markings/sec, 90 secs
lola: 334834 markings, 391216 edges, 3592 markings/sec, 95 secs
lola: 352390 markings, 412126 edges, 3511 markings/sec, 100 secs
lola: 370584 markings, 433709 edges, 3639 markings/sec, 105 secs
lola: 388961 markings, 455723 edges, 3675 markings/sec, 110 secs
lola: 406966 markings, 476749 edges, 3601 markings/sec, 115 secs
lola: 424996 markings, 498756 edges, 3606 markings/sec, 120 secs
lola: 442408 markings, 519024 edges, 3482 markings/sec, 125 secs
lola: 459798 markings, 539436 edges, 3478 markings/sec, 130 secs
lola: 476981 markings, 559628 edges, 3437 markings/sec, 135 secs
lola: 494237 markings, 579698 edges, 3451 markings/sec, 140 secs
lola: 511703 markings, 600000 edges, 3493 markings/sec, 145 secs
lola: 529132 markings, 620428 edges, 3486 markings/sec, 150 secs
lola: 546651 markings, 641077 edges, 3504 markings/sec, 155 secs
lola: 564162 markings, 661898 edges, 3502 markings/sec, 160 secs
lola: 582088 markings, 682829 edges, 3585 markings/sec, 165 secs
lola: 599850 markings, 703635 edges, 3552 markings/sec, 170 secs
lola: 617886 markings, 725054 edges, 3607 markings/sec, 175 secs
lola: 635716 markings, 746189 edges, 3566 markings/sec, 180 secs
lola: 653374 markings, 767217 edges, 3532 markings/sec, 185 secs
lola: 671432 markings, 788663 edges, 3612 markings/sec, 190 secs
lola: 689775 markings, 810648 edges, 3669 markings/sec, 195 secs
lola: 707594 markings, 831457 edges, 3564 markings/sec, 200 secs
lola: 725940 markings, 853405 edges, 3669 markings/sec, 205 secs
lola: 744566 markings, 875572 edges, 3725 markings/sec, 210 secs
lola: 763513 markings, 897814 edges, 3789 markings/sec, 215 secs
lola: 782112 markings, 920465 edges, 3720 markings/sec, 220 secs
lola: 800496 markings, 942255 edges, 3677 markings/sec, 225 secs
lola: 818382 markings, 963537 edges, 3577 markings/sec, 230 secs
lola: 835916 markings, 984518 edges, 3507 markings/sec, 235 secs
lola: 853691 markings, 1006044 edges, 3555 markings/sec, 240 secs
lola: 871833 markings, 1027688 edges, 3628 markings/sec, 245 secs
lola: 889791 markings, 1049157 edges, 3592 markings/sec, 250 secs
lola: 908008 markings, 1071704 edges, 3643 markings/sec, 255 secs
lola: 926848 markings, 1093109 edges, 3768 markings/sec, 260 secs
lola: 945511 markings, 1114163 edges, 3733 markings/sec, 265 secs
lola: 964481 markings, 1135532 edges, 3794 markings/sec, 270 secs
lola: 983167 markings, 1156565 edges, 3737 markings/sec, 275 secs
lola: 1001933 markings, 1177616 edges, 3753 markings/sec, 280 secs
lola: 1020738 markings, 1198747 edges, 3761 markings/sec, 285 secs
lola: 1039730 markings, 1220083 edges, 3798 markings/sec, 290 secs
lola: 1058518 markings, 1241250 edges, 3758 markings/sec, 295 secs
lola: 1076958 markings, 1262007 edges, 3688 markings/sec, 300 secs
lola: 1096078 markings, 1283756 edges, 3824 markings/sec, 305 secs
lola: 1114303 markings, 1304328 edges, 3645 markings/sec, 310 secs
lola: 1133176 markings, 1325502 edges, 3775 markings/sec, 315 secs
lola: 1152395 markings, 1347500 edges, 3844 markings/sec, 320 secs
lola: 1170212 markings, 1367780 edges, 3563 markings/sec, 325 secs
lola: 1188396 markings, 1388692 edges, 3637 markings/sec, 330 secs
lola: 1207437 markings, 1410464 edges, 3808 markings/sec, 335 secs
lola: 1225690 markings, 1431849 edges, 3651 markings/sec, 340 secs
lola: 1243051 markings, 1451352 edges, 3472 markings/sec, 345 secs
lola: 1260009 markings, 1470944 edges, 3392 markings/sec, 350 secs
lola: 1277736 markings, 1491095 edges, 3545 markings/sec, 355 secs
lola: 1294973 markings, 1510461 edges, 3447 markings/sec, 360 secs
lola: 1312241 markings, 1529908 edges, 3454 markings/sec, 365 secs
lola: 1329781 markings, 1549593 edges, 3508 markings/sec, 370 secs
lola: 1347215 markings, 1569289 edges, 3487 markings/sec, 375 secs
lola: 1364882 markings, 1589423 edges, 3533 markings/sec, 380 secs
lola: 1382986 markings, 1610229 edges, 3621 markings/sec, 385 secs
lola: 1400945 markings, 1630419 edges, 3592 markings/sec, 390 secs
lola: 1419181 markings, 1651030 edges, 3647 markings/sec, 395 secs
lola: 1437190 markings, 1671241 edges, 3602 markings/sec, 400 secs
lola: 1455504 markings, 1691843 edges, 3663 markings/sec, 405 secs
lola: 1473573 markings, 1712292 edges, 3614 markings/sec, 410 secs
lola: 1491991 markings, 1733049 edges, 3684 markings/sec, 415 secs
lola: 1510105 markings, 1753568 edges, 3623 markings/sec, 420 secs
lola: 1527431 markings, 1773613 edges, 3465 markings/sec, 425 secs
lola: 1545386 markings, 1794267 edges, 3591 markings/sec, 430 secs
lola: 1563578 markings, 1815008 edges, 3638 markings/sec, 435 secs
lola: 1581655 markings, 1835295 edges, 3615 markings/sec, 440 secs
lola: 1599441 markings, 1855630 edges, 3557 markings/sec, 445 secs
lola: 1617075 markings, 1876126 edges, 3527 markings/sec, 450 secs
lola: 1635118 markings, 1896946 edges, 3609 markings/sec, 455 secs
lola: 1652182 markings, 1916973 edges, 3413 markings/sec, 460 secs
lola: 1670038 markings, 1937492 edges, 3571 markings/sec, 465 secs
lola: 1687797 markings, 1958077 edges, 3552 markings/sec, 470 secs
lola: 1705622 markings, 1978357 edges, 3565 markings/sec, 475 secs
lola: 1724576 markings, 1999703 edges, 3791 markings/sec, 480 secs
lola: 1742791 markings, 2020309 edges, 3643 markings/sec, 485 secs
lola: 1760973 markings, 2040807 edges, 3636 markings/sec, 490 secs
lola: 1778964 markings, 2062635 edges, 3598 markings/sec, 495 secs
lola: 1796293 markings, 2082592 edges, 3466 markings/sec, 500 secs
lola: 1814277 markings, 2103937 edges, 3597 markings/sec, 505 secs
lola: 1831718 markings, 2124149 edges, 3488 markings/sec, 510 secs
lola: 1850334 markings, 2145323 edges, 3723 markings/sec, 515 secs
lola: 1869322 markings, 2167363 edges, 3798 markings/sec, 520 secs
lola: 1888120 markings, 2188985 edges, 3760 markings/sec, 525 secs
lola: 1907347 markings, 2211136 edges, 3845 markings/sec, 530 secs
lola: 1926798 markings, 2233422 edges, 3890 markings/sec, 535 secs
lola: 1945864 markings, 2255394 edges, 3813 markings/sec, 540 secs
lola: 1965184 markings, 2277583 edges, 3864 markings/sec, 545 secs
lola: 1984137 markings, 2298879 edges, 3791 markings/sec, 550 secs
lola: 2003698 markings, 2321002 edges, 3912 markings/sec, 555 secs
lola: 2022734 markings, 2342365 edges, 3807 markings/sec, 560 secs
lola: 2041140 markings, 2363049 edges, 3681 markings/sec, 565 secs
lola: 2059763 markings, 2384198 edges, 3725 markings/sec, 570 secs
lola: 2078339 markings, 2405103 edges, 3715 markings/sec, 575 secs
lola: 2097463 markings, 2426949 edges, 3825 markings/sec, 580 secs
lola: 2116677 markings, 2449119 edges, 3843 markings/sec, 585 secs
lola: 2135732 markings, 2471007 edges, 3811 markings/sec, 590 secs
lola: 2155709 markings, 2493674 edges, 3995 markings/sec, 595 secs
lola: 2174244 markings, 2515115 edges, 3707 markings/sec, 600 secs
lola: 2192663 markings, 2536594 edges, 3684 markings/sec, 605 secs
lola: 2210959 markings, 2557823 edges, 3659 markings/sec, 610 secs
lola: 2229729 markings, 2579079 edges, 3754 markings/sec, 615 secs
lola: 2248718 markings, 2601127 edges, 3798 markings/sec, 620 secs
lola: 2267104 markings, 2622449 edges, 3677 markings/sec, 625 secs
lola: 2285658 markings, 2643767 edges, 3711 markings/sec, 630 secs
lola: 2303985 markings, 2665591 edges, 3665 markings/sec, 635 secs
lola: 2322808 markings, 2687511 edges, 3765 markings/sec, 640 secs
lola: 2341334 markings, 2708672 edges, 3705 markings/sec, 645 secs
lola: 2360019 markings, 2730263 edges, 3737 markings/sec, 650 secs
lola: 2378810 markings, 2751636 edges, 3758 markings/sec, 655 secs
lola: 2398291 markings, 2773573 edges, 3896 markings/sec, 660 secs
lola: 2417039 markings, 2794754 edges, 3750 markings/sec, 665 secs
lola: 2436473 markings, 2816665 edges, 3887 markings/sec, 670 secs
lola: 2455203 markings, 2838640 edges, 3746 markings/sec, 675 secs
lola: 2474554 markings, 2861312 edges, 3870 markings/sec, 680 secs
lola: 2493681 markings, 2882915 edges, 3825 markings/sec, 685 secs
lola: 2513210 markings, 2904936 edges, 3906 markings/sec, 690 secs
lola: 2532794 markings, 2927096 edges, 3917 markings/sec, 695 secs
lola: 2551988 markings, 2948834 edges, 3839 markings/sec, 700 secs
lola: 2570418 markings, 2970183 edges, 3686 markings/sec, 705 secs
lola: 2588545 markings, 2991140 edges, 3625 markings/sec, 710 secs
lola: 2606307 markings, 3011961 edges, 3552 markings/sec, 715 secs
lola: 2624869 markings, 3033168 edges, 3712 markings/sec, 720 secs
lola: 2643491 markings, 3054404 edges, 3724 markings/sec, 725 secs
lola: 2662047 markings, 3075308 edges, 3711 markings/sec, 730 secs
lola: 2680635 markings, 3096334 edges, 3718 markings/sec, 735 secs
lola: 2698953 markings, 3117702 edges, 3664 markings/sec, 740 secs
lola: 2718039 markings, 3140172 edges, 3817 markings/sec, 745 secs
lola: 2737150 markings, 3162059 edges, 3822 markings/sec, 750 secs
lola: 2756273 markings, 3184066 edges, 3825 markings/sec, 755 secs
lola: 2775225 markings, 3205868 edges, 3790 markings/sec, 760 secs
lola: 2794209 markings, 3228086 edges, 3797 markings/sec, 765 secs
lola: 2812866 markings, 3249195 edges, 3731 markings/sec, 770 secs
lola: 2831672 markings, 3270314 edges, 3761 markings/sec, 775 secs
lola: 2850236 markings, 3291222 edges, 3713 markings/sec, 780 secs
lola: 2868492 markings, 3312131 edges, 3651 markings/sec, 785 secs
lola: 2886239 markings, 3332838 edges, 3549 markings/sec, 790 secs
lola: 2904960 markings, 3353998 edges, 3744 markings/sec, 795 secs
lola: 2924847 markings, 3376379 edges, 3977 markings/sec, 800 secs
lola: 2943871 markings, 3397901 edges, 3805 markings/sec, 805 secs
lola: 2963020 markings, 3419936 edges, 3830 markings/sec, 810 secs
lola: 2981907 markings, 3441521 edges, 3777 markings/sec, 815 secs
lola: 3000663 markings, 3463420 edges, 3751 markings/sec, 820 secs
lola: 3020038 markings, 3485469 edges, 3875 markings/sec, 825 secs
lola: 3038779 markings, 3506863 edges, 3748 markings/sec, 830 secs
lola: 3057584 markings, 3528605 edges, 3761 markings/sec, 835 secs
lola: 3076401 markings, 3550360 edges, 3763 markings/sec, 840 secs
lola: 3094840 markings, 3572597 edges, 3688 markings/sec, 845 secs
lola: 3113508 markings, 3593945 edges, 3734 markings/sec, 850 secs
lola: 3132737 markings, 3616050 edges, 3846 markings/sec, 855 secs
lola: 3152936 markings, 3638833 edges, 4040 markings/sec, 860 secs
lola: 3173150 markings, 3661567 edges, 4043 markings/sec, 865 secs
lola: 3192007 markings, 3682781 edges, 3771 markings/sec, 870 secs
lola: 3210218 markings, 3703300 edges, 3642 markings/sec, 875 secs
lola: 3228175 markings, 3723818 edges, 3591 markings/sec, 880 secs
lola: 3246973 markings, 3745051 edges, 3760 markings/sec, 885 secs
lola: 3265330 markings, 3765918 edges, 3671 markings/sec, 890 secs
lola: 3284573 markings, 3787677 edges, 3849 markings/sec, 895 secs
lola: 3302947 markings, 3809077 edges, 3675 markings/sec, 900 secs
lola: 3321571 markings, 3830102 edges, 3725 markings/sec, 905 secs
lola: 3339644 markings, 3850422 edges, 3615 markings/sec, 910 secs
lola: 3357279 markings, 3870312 edges, 3527 markings/sec, 915 secs
lola: 3375227 markings, 3890836 edges, 3590 markings/sec, 920 secs
lola: 3392617 markings, 3910504 edges, 3478 markings/sec, 925 secs
lola: 3410519 markings, 3930606 edges, 3580 markings/sec, 930 secs
lola: 3428207 markings, 3950523 edges, 3538 markings/sec, 935 secs
lola: 3445865 markings, 3970469 edges, 3532 markings/sec, 940 secs
lola: 3463471 markings, 3990329 edges, 3521 markings/sec, 945 secs
lola: 3482288 markings, 4011578 edges, 3763 markings/sec, 950 secs
lola: 3501002 markings, 4033272 edges, 3743 markings/sec, 955 secs
lola: 3520160 markings, 4055225 edges, 3832 markings/sec, 960 secs
lola: 3538764 markings, 4076653 edges, 3721 markings/sec, 965 secs
lola: 3557879 markings, 4098410 edges, 3823 markings/sec, 970 secs
lola: 3575613 markings, 4118679 edges, 3547 markings/sec, 975 secs
lola: 3594403 markings, 4140423 edges, 3758 markings/sec, 980 secs
lola: 3613244 markings, 4162200 edges, 3768 markings/sec, 985 secs
lola: 3631949 markings, 4183594 edges, 3741 markings/sec, 990 secs
lola: 3650967 markings, 4206035 edges, 3804 markings/sec, 995 secs
lola: 3669429 markings, 4227347 edges, 3692 markings/sec, 1000 secs
lola: 3688044 markings, 4248532 edges, 3723 markings/sec, 1005 secs
lola: 3706881 markings, 4270671 edges, 3767 markings/sec, 1010 secs
lola: 3725965 markings, 4292141 edges, 3817 markings/sec, 1015 secs
lola: 3744711 markings, 4314874 edges, 3749 markings/sec, 1020 secs
lola: 3763229 markings, 4335679 edges, 3704 markings/sec, 1025 secs
lola: 3781585 markings, 4356499 edges, 3671 markings/sec, 1030 secs
lola: 3799838 markings, 4378460 edges, 3651 markings/sec, 1035 secs
lola: 3818868 markings, 4400088 edges, 3806 markings/sec, 1040 secs
lola: 3838032 markings, 4422434 edges, 3833 markings/sec, 1045 secs
lola: 3856786 markings, 4444148 edges, 3751 markings/sec, 1050 secs
lola: 3874771 markings, 4465027 edges, 3597 markings/sec, 1055 secs
lola: 3893505 markings, 4486165 edges, 3747 markings/sec, 1060 secs
lola: 3912921 markings, 4508410 edges, 3883 markings/sec, 1065 secs
lola: 3930154 markings, 4528447 edges, 3447 markings/sec, 1070 secs
lola: 3949032 markings, 4550403 edges, 3776 markings/sec, 1075 secs
lola: 3967490 markings, 4571612 edges, 3692 markings/sec, 1080 secs
lola: 3986462 markings, 4593167 edges, 3794 markings/sec, 1085 secs
lola: 4005462 markings, 4615355 edges, 3800 markings/sec, 1090 secs
lola: 4024856 markings, 4637225 edges, 3879 markings/sec, 1095 secs
lola: 4043680 markings, 4659055 edges, 3765 markings/sec, 1100 secs
lola: 4062835 markings, 4681109 edges, 3831 markings/sec, 1105 secs
lola: 4081394 markings, 4702606 edges, 3712 markings/sec, 1110 secs
lola: 4100824 markings, 4724624 edges, 3886 markings/sec, 1115 secs
lola: 4119708 markings, 4746741 edges, 3777 markings/sec, 1120 secs
lola: 4138560 markings, 4768544 edges, 3770 markings/sec, 1125 secs
lola: 4157546 markings, 4790560 edges, 3797 markings/sec, 1130 secs
lola: 4177038 markings, 4812858 edges, 3898 markings/sec, 1135 secs
lola: 4195562 markings, 4834601 edges, 3705 markings/sec, 1140 secs
lola: 4214815 markings, 4856775 edges, 3851 markings/sec, 1145 secs
lola: 4233056 markings, 4878236 edges, 3648 markings/sec, 1150 secs
lola: 4251744 markings, 4899329 edges, 3738 markings/sec, 1155 secs
lola: 4270414 markings, 4920542 edges, 3734 markings/sec, 1160 secs
lola: 4288084 markings, 4941002 edges, 3534 markings/sec, 1165 secs
lola: 4307248 markings, 4962702 edges, 3833 markings/sec, 1170 secs
lola: 4326758 markings, 4986409 edges, 3902 markings/sec, 1175 secs
lola: 4345409 markings, 5008149 edges, 3730 markings/sec, 1180 secs
lola: 4364983 markings, 5030190 edges, 3915 markings/sec, 1185 secs
lola: 4383745 markings, 5051387 edges, 3752 markings/sec, 1190 secs
lola: 4401966 markings, 5071942 edges, 3644 markings/sec, 1195 secs
lola: 4420363 markings, 5092944 edges, 3679 markings/sec, 1200 secs
lola: 4438740 markings, 5114202 edges, 3675 markings/sec, 1205 secs
lola: 4457047 markings, 5135587 edges, 3661 markings/sec, 1210 secs
lola: 4476176 markings, 5157128 edges, 3826 markings/sec, 1215 secs
lola: 4495291 markings, 5178601 edges, 3823 markings/sec, 1220 secs
lola: 4514075 markings, 5199902 edges, 3757 markings/sec, 1225 secs
lola: 4531788 markings, 5220114 edges, 3543 markings/sec, 1230 secs
lola: 4550425 markings, 5241338 edges, 3727 markings/sec, 1235 secs
lola: 4569174 markings, 5263187 edges, 3750 markings/sec, 1240 secs
lola: 4588321 markings, 5285588 edges, 3829 markings/sec, 1245 secs
lola: 4607276 markings, 5307814 edges, 3791 markings/sec, 1250 secs
lola: 4626682 markings, 5331996 edges, 3881 markings/sec, 1255 secs
lola: 4645838 markings, 5354559 edges, 3831 markings/sec, 1260 secs
lola: 4665194 markings, 5377402 edges, 3871 markings/sec, 1265 secs
lola: 4684114 markings, 5399576 edges, 3784 markings/sec, 1270 secs
lola: 4703963 markings, 5422596 edges, 3970 markings/sec, 1275 secs
lola: 4723292 markings, 5444399 edges, 3866 markings/sec, 1280 secs
lola: 4742904 markings, 5466770 edges, 3922 markings/sec, 1285 secs
lola: 4762683 markings, 5489917 edges, 3956 markings/sec, 1290 secs
lola: 4783050 markings, 5512807 edges, 4073 markings/sec, 1295 secs
lola: 4802892 markings, 5535174 edges, 3968 markings/sec, 1300 secs
lola: 4822416 markings, 5557114 edges, 3905 markings/sec, 1305 secs
lola: 4841883 markings, 5582436 edges, 3893 markings/sec, 1310 secs
lola: 4860594 markings, 5604138 edges, 3742 markings/sec, 1315 secs
lola: 4879833 markings, 5627035 edges, 3848 markings/sec, 1320 secs
lola: 4898619 markings, 5648247 edges, 3757 markings/sec, 1325 secs
lola: 4917124 markings, 5669529 edges, 3701 markings/sec, 1330 secs
lola: 4935373 markings, 5690904 edges, 3650 markings/sec, 1335 secs
lola: 4954760 markings, 5712878 edges, 3877 markings/sec, 1340 secs
lola: 4973851 markings, 5735127 edges, 3818 markings/sec, 1345 secs
lola: 4993009 markings, 5757715 edges, 3832 markings/sec, 1350 secs
lola: 5012103 markings, 5779822 edges, 3819 markings/sec, 1355 secs
lola: 5031428 markings, 5802157 edges, 3865 markings/sec, 1360 secs
lola: 5050476 markings, 5824483 edges, 3810 markings/sec, 1365 secs
lola: 5069568 markings, 5847063 edges, 3818 markings/sec, 1370 secs
lola: 5088825 markings, 5869672 edges, 3851 markings/sec, 1375 secs
lola: 5107325 markings, 5891009 edges, 3700 markings/sec, 1380 secs
lola: 5125952 markings, 5912582 edges, 3725 markings/sec, 1385 secs
lola: 5145128 markings, 5935383 edges, 3835 markings/sec, 1390 secs
lola: 5164869 markings, 5957806 edges, 3948 markings/sec, 1395 secs
lola: 5183652 markings, 5979442 edges, 3757 markings/sec, 1400 secs
lola: 5202065 markings, 6000136 edges, 3683 markings/sec, 1405 secs
lola: 5220772 markings, 6021290 edges, 3741 markings/sec, 1410 secs
lola: 5239308 markings, 6042139 edges, 3707 markings/sec, 1415 secs
lola: 5257609 markings, 6063199 edges, 3660 markings/sec, 1420 secs
lola: 5276368 markings, 6085370 edges, 3752 markings/sec, 1425 secs
lola: 5295797 markings, 6107789 edges, 3886 markings/sec, 1430 secs
lola: 5314777 markings, 6129369 edges, 3796 markings/sec, 1435 secs
lola: 5334446 markings, 6151576 edges, 3934 markings/sec, 1440 secs
lola: 5353615 markings, 6173129 edges, 3834 markings/sec, 1445 secs
lola: 5372126 markings, 6193938 edges, 3702 markings/sec, 1450 secs
lola: 5390860 markings, 6214957 edges, 3747 markings/sec, 1455 secs
lola: 5409850 markings, 6236445 edges, 3798 markings/sec, 1460 secs
lola: 5428830 markings, 6257779 edges, 3796 markings/sec, 1465 secs
lola: 5447926 markings, 6279473 edges, 3819 markings/sec, 1470 secs
lola: 5466886 markings, 6301435 edges, 3792 markings/sec, 1475 secs
lola: 5485454 markings, 6323148 edges, 3714 markings/sec, 1480 secs
lola: 5504203 markings, 6344854 edges, 3750 markings/sec, 1485 secs
lola: 5523234 markings, 6366307 edges, 3806 markings/sec, 1490 secs
lola: 5542087 markings, 6389075 edges, 3771 markings/sec, 1495 secs
lola: 5560551 markings, 6410631 edges, 3693 markings/sec, 1500 secs
lola: 5579214 markings, 6432086 edges, 3733 markings/sec, 1505 secs
lola: 5598105 markings, 6453465 edges, 3778 markings/sec, 1510 secs
lola: 5617847 markings, 6475723 edges, 3948 markings/sec, 1515 secs
lola: 5637000 markings, 6497313 edges, 3831 markings/sec, 1520 secs
lola: 5656249 markings, 6519025 edges, 3850 markings/sec, 1525 secs
lola: 5675639 markings, 6542499 edges, 3878 markings/sec, 1530 secs
lola: 5694846 markings, 6564827 edges, 3841 markings/sec, 1535 secs
lola: 5714094 markings, 6586984 edges, 3850 markings/sec, 1540 secs
lola: 5733275 markings, 6609008 edges, 3836 markings/sec, 1545 secs
lola: 5751978 markings, 6630225 edges, 3741 markings/sec, 1550 secs
lola: 5770031 markings, 6650728 edges, 3611 markings/sec, 1555 secs
lola: 5788068 markings, 6671857 edges, 3607 markings/sec, 1560 secs
lola: 5807029 markings, 6693399 edges, 3792 markings/sec, 1565 secs
lola: 5826203 markings, 6716105 edges, 3835 markings/sec, 1570 secs
lola: 5845098 markings, 6738071 edges, 3779 markings/sec, 1575 secs
lola: 5863162 markings, 6758596 edges, 3613 markings/sec, 1580 secs
lola: 5881145 markings, 6779146 edges, 3597 markings/sec, 1585 secs
lola: 5899024 markings, 6799744 edges, 3576 markings/sec, 1590 secs
lola: 5916668 markings, 6820261 edges, 3529 markings/sec, 1595 secs
lola: 5934789 markings, 6840715 edges, 3624 markings/sec, 1600 secs
lola: 5952770 markings, 6860843 edges, 3596 markings/sec, 1605 secs
lola: 5969899 markings, 6880725 edges, 3426 markings/sec, 1610 secs
lola: 5987813 markings, 6901227 edges, 3583 markings/sec, 1615 secs
lola: 6005619 markings, 6921899 edges, 3561 markings/sec, 1620 secs
lola: 6024054 markings, 6942871 edges, 3687 markings/sec, 1625 secs
lola: 6042218 markings, 6963897 edges, 3633 markings/sec, 1630 secs
lola: 6061001 markings, 6985796 edges, 3757 markings/sec, 1635 secs
lola: 6079376 markings, 7006553 edges, 3675 markings/sec, 1640 secs
lola: 6098203 markings, 7028011 edges, 3765 markings/sec, 1645 secs
lola: 6116789 markings, 7050016 edges, 3717 markings/sec, 1650 secs
lola: 6135645 markings, 7072143 edges, 3771 markings/sec, 1655 secs
lola: 6154622 markings, 7094035 edges, 3795 markings/sec, 1660 secs
lola: 6172475 markings, 7114564 edges, 3571 markings/sec, 1665 secs
lola: 6189838 markings, 7135077 edges, 3473 markings/sec, 1670 secs
lola: 6207993 markings, 7156144 edges, 3631 markings/sec, 1675 secs
lola: 6225787 markings, 7176756 edges, 3559 markings/sec, 1680 secs
lola: 6243855 markings, 7197585 edges, 3614 markings/sec, 1685 secs
lola: 6261502 markings, 7218259 edges, 3529 markings/sec, 1690 secs
lola: 6279628 markings, 7239443 edges, 3625 markings/sec, 1695 secs
lola: 6297506 markings, 7260519 edges, 3576 markings/sec, 1700 secs
lola: 6315048 markings, 7280755 edges, 3508 markings/sec, 1705 secs
lola: 6332584 markings, 7300931 edges, 3507 markings/sec, 1710 secs
lola: 6350460 markings, 7322320 edges, 3575 markings/sec, 1715 secs
lola: 6369229 markings, 7344375 edges, 3754 markings/sec, 1720 secs
lola: 6387784 markings, 7366227 edges, 3711 markings/sec, 1725 secs
lola: 6406860 markings, 7387672 edges, 3815 markings/sec, 1730 secs
lola: 6424964 markings, 7408788 edges, 3621 markings/sec, 1735 secs
lola: 6443568 markings, 7431032 edges, 3721 markings/sec, 1740 secs
lola: 6462199 markings, 7452615 edges, 3726 markings/sec, 1745 secs
lola: 6480960 markings, 7474346 edges, 3752 markings/sec, 1750 secs
lola: 6499691 markings, 7495686 edges, 3746 markings/sec, 1755 secs
lola: 6518479 markings, 7517147 edges, 3758 markings/sec, 1760 secs
lola: 6537154 markings, 7538172 edges, 3735 markings/sec, 1765 secs
lola: 6555688 markings, 7559106 edges, 3707 markings/sec, 1770 secs
lola: 6574193 markings, 7579994 edges, 3701 markings/sec, 1775 secs
lola: 6592417 markings, 7600894 edges, 3645 markings/sec, 1780 secs
lola: 6610994 markings, 7622497 edges, 3715 markings/sec, 1785 secs
lola: 6629998 markings, 7643987 edges, 3801 markings/sec, 1790 secs
lola: 6649600 markings, 7666067 edges, 3920 markings/sec, 1795 secs
lola: 6668011 markings, 7686927 edges, 3682 markings/sec, 1800 secs
lola: 6686404 markings, 7707814 edges, 3679 markings/sec, 1805 secs
lola: 6704081 markings, 7728283 edges, 3535 markings/sec, 1810 secs
lola: 6722133 markings, 7749023 edges, 3610 markings/sec, 1815 secs
lola: 6740752 markings, 7770137 edges, 3724 markings/sec, 1820 secs
lola: 6759378 markings, 7791867 edges, 3725 markings/sec, 1825 secs
lola: 6778313 markings, 7813413 edges, 3787 markings/sec, 1830 secs
lola: 6796120 markings, 7834034 edges, 3561 markings/sec, 1835 secs
lola: 6814868 markings, 7855582 edges, 3750 markings/sec, 1840 secs
lola: 6832758 markings, 7875813 edges, 3578 markings/sec, 1845 secs
lola: 6851441 markings, 7896877 edges, 3737 markings/sec, 1850 secs
lola: 6869465 markings, 7917211 edges, 3605 markings/sec, 1855 secs
lola: 6887817 markings, 7937898 edges, 3670 markings/sec, 1860 secs
lola: 6906689 markings, 7959605 edges, 3774 markings/sec, 1865 secs
lola: 6924603 markings, 7980720 edges, 3583 markings/sec, 1870 secs
lola: 6941761 markings, 8000560 edges, 3432 markings/sec, 1875 secs
lola: 6959097 markings, 8022147 edges, 3467 markings/sec, 1880 secs
lola: 6976753 markings, 8042041 edges, 3531 markings/sec, 1885 secs
lola: 6994451 markings, 8062057 edges, 3540 markings/sec, 1890 secs
lola: 7012579 markings, 8082629 edges, 3626 markings/sec, 1895 secs
lola: 7030003 markings, 8103072 edges, 3485 markings/sec, 1900 secs
lola: 7047410 markings, 8123349 edges, 3481 markings/sec, 1905 secs
lola: 7065262 markings, 8144823 edges, 3570 markings/sec, 1910 secs
lola: 7082552 markings, 8164982 edges, 3458 markings/sec, 1915 secs
lola: 7100674 markings, 8186492 edges, 3624 markings/sec, 1920 secs
lola: 7118176 markings, 8206992 edges, 3500 markings/sec, 1925 secs
lola: 7135852 markings, 8227410 edges, 3535 markings/sec, 1930 secs
lola: 7153373 markings, 8247654 edges, 3504 markings/sec, 1935 secs
lola: 7171110 markings, 8267594 edges, 3547 markings/sec, 1940 secs
lola: 7189380 markings, 8288176 edges, 3654 markings/sec, 1945 secs
lola: 7207094 markings, 8308099 edges, 3543 markings/sec, 1950 secs
lola: 7224721 markings, 8327964 edges, 3525 markings/sec, 1955 secs
lola: 7242228 markings, 8347671 edges, 3501 markings/sec, 1960 secs
lola: 7259458 markings, 8367180 edges, 3446 markings/sec, 1965 secs
lola: 7277207 markings, 8387152 edges, 3550 markings/sec, 1970 secs
lola: 7294380 markings, 8406817 edges, 3435 markings/sec, 1975 secs
lola: 7311717 markings, 8427062 edges, 3467 markings/sec, 1980 secs
lola: 7329524 markings, 8447869 edges, 3561 markings/sec, 1985 secs
lola: 7347866 markings, 8468706 edges, 3668 markings/sec, 1990 secs
lola: 7365265 markings, 8488761 edges, 3480 markings/sec, 1995 secs
lola: 7382734 markings, 8508577 edges, 3494 markings/sec, 2000 secs
lola: 7399942 markings, 8527882 edges, 3442 markings/sec, 2005 secs
lola: 7417390 markings, 8547526 edges, 3490 markings/sec, 2010 secs
lola: 7434172 markings, 8567142 edges, 3356 markings/sec, 2015 secs
lola: 7451446 markings, 8586829 edges, 3455 markings/sec, 2020 secs
lola: 7468910 markings, 8606834 edges, 3493 markings/sec, 2025 secs
lola: 7486957 markings, 8627580 edges, 3609 markings/sec, 2030 secs
lola: 7504974 markings, 8647858 edges, 3603 markings/sec, 2035 secs
lola: 7522487 markings, 8667572 edges, 3503 markings/sec, 2040 secs
lola: 7540398 markings, 8687914 edges, 3582 markings/sec, 2045 secs
lola: 7558190 markings, 8708320 edges, 3558 markings/sec, 2050 secs
lola: 7576593 markings, 8729108 edges, 3681 markings/sec, 2055 secs
lola: 7594358 markings, 8749038 edges, 3553 markings/sec, 2060 secs
lola: 7612632 markings, 8769564 edges, 3655 markings/sec, 2065 secs
lola: 7630627 markings, 8789854 edges, 3599 markings/sec, 2070 secs
lola: 7648659 markings, 8810138 edges, 3606 markings/sec, 2075 secs
lola: 7666523 markings, 8830745 edges, 3573 markings/sec, 2080 secs
lola: 7683579 markings, 8850497 edges, 3411 markings/sec, 2085 secs
lola: 7700680 markings, 8869697 edges, 3420 markings/sec, 2090 secs
lola: 7718646 markings, 8889930 edges, 3593 markings/sec, 2095 secs
lola: 7736066 markings, 8909911 edges, 3484 markings/sec, 2100 secs
lola: 7753669 markings, 8930019 edges, 3521 markings/sec, 2105 secs
lola: 7770631 markings, 8949645 edges, 3392 markings/sec, 2110 secs
lola: 7788005 markings, 8969865 edges, 3475 markings/sec, 2115 secs
lola: 7805588 markings, 8989964 edges, 3517 markings/sec, 2120 secs
lola: 7823404 markings, 9010418 edges, 3563 markings/sec, 2125 secs
lola: 7841532 markings, 9030905 edges, 3626 markings/sec, 2130 secs
lola: 7858384 markings, 9050335 edges, 3370 markings/sec, 2135 secs
lola: 7876291 markings, 9070741 edges, 3581 markings/sec, 2140 secs
lola: 7893929 markings, 9091135 edges, 3528 markings/sec, 2145 secs
lola: 7911437 markings, 9110901 edges, 3502 markings/sec, 2150 secs
lola: 7929141 markings, 9131440 edges, 3541 markings/sec, 2155 secs
lola: 7947214 markings, 9152505 edges, 3615 markings/sec, 2160 secs
lola: 7964619 markings, 9173034 edges, 3481 markings/sec, 2165 secs
lola: 7981893 markings, 9192886 edges, 3455 markings/sec, 2170 secs
lola: 7999310 markings, 9212769 edges, 3483 markings/sec, 2175 secs
lola: 8017279 markings, 9233007 edges, 3594 markings/sec, 2180 secs
lola: 8034795 markings, 9252737 edges, 3503 markings/sec, 2185 secs
lola: 8053094 markings, 9273496 edges, 3660 markings/sec, 2190 secs
lola: 8070686 markings, 9293583 edges, 3518 markings/sec, 2195 secs
lola: 8088592 markings, 9313988 edges, 3581 markings/sec, 2200 secs
lola: 8106310 markings, 9334128 edges, 3544 markings/sec, 2205 secs
lola: 8123740 markings, 9354170 edges, 3486 markings/sec, 2210 secs
lola: 8140980 markings, 9374124 edges, 3448 markings/sec, 2215 secs
lola: 8158854 markings, 9395219 edges, 3575 markings/sec, 2220 secs
lola: 8176743 markings, 9415758 edges, 3578 markings/sec, 2225 secs
lola: 8194149 markings, 9435479 edges, 3481 markings/sec, 2230 secs
lola: 8211801 markings, 9455779 edges, 3530 markings/sec, 2235 secs
lola: 8229549 markings, 9476305 edges, 3550 markings/sec, 2240 secs
lola: 8247165 markings, 9496067 edges, 3523 markings/sec, 2245 secs
lola: 8265043 markings, 9516995 edges, 3576 markings/sec, 2250 secs
lola: 8282654 markings, 9536981 edges, 3522 markings/sec, 2255 secs
lola: 8299861 markings, 9557064 edges, 3441 markings/sec, 2260 secs
lola: 8317310 markings, 9577238 edges, 3490 markings/sec, 2265 secs
lola: 8334859 markings, 9597750 edges, 3510 markings/sec, 2270 secs
lola: 8352622 markings, 9618126 edges, 3553 markings/sec, 2275 secs
lola: 8370283 markings, 9638407 edges, 3532 markings/sec, 2280 secs
lola: 8387683 markings, 9659037 edges, 3480 markings/sec, 2285 secs
lola: 8405399 markings, 9679629 edges, 3543 markings/sec, 2290 secs
lola: 8422770 markings, 9699798 edges, 3474 markings/sec, 2295 secs
lola: 8440052 markings, 9719554 edges, 3456 markings/sec, 2300 secs
lola: 8457363 markings, 9739621 edges, 3462 markings/sec, 2305 secs
lola: 8475635 markings, 9760560 edges, 3654 markings/sec, 2310 secs
lola: 8493454 markings, 9780959 edges, 3564 markings/sec, 2315 secs
lola: 8511572 markings, 9801886 edges, 3624 markings/sec, 2320 secs
lola: 8529434 markings, 9822390 edges, 3572 markings/sec, 2325 secs
lola: 8546839 markings, 9842483 edges, 3481 markings/sec, 2330 secs
lola: 8564281 markings, 9862815 edges, 3488 markings/sec, 2335 secs
lola: 8581055 markings, 9882214 edges, 3355 markings/sec, 2340 secs
lola: 8598291 markings, 9902813 edges, 3447 markings/sec, 2345 secs
lola: 8615412 markings, 9922341 edges, 3424 markings/sec, 2350 secs
lola: 8632954 markings, 9942593 edges, 3508 markings/sec, 2355 secs
lola: 8649912 markings, 9961854 edges, 3392 markings/sec, 2360 secs
lola: 8667711 markings, 9983324 edges, 3560 markings/sec, 2365 secs
lola: 8685804 markings, 10005602 edges, 3619 markings/sec, 2370 secs
lola: 8703229 markings, 10025698 edges, 3485 markings/sec, 2375 secs
lola: 8720786 markings, 10046349 edges, 3511 markings/sec, 2380 secs
lola: 8738444 markings, 10067000 edges, 3532 markings/sec, 2385 secs
lola: 8756403 markings, 10087461 edges, 3592 markings/sec, 2390 secs
lola: 8773490 markings, 10106874 edges, 3417 markings/sec, 2395 secs
lola: 8790347 markings, 10125894 edges, 3371 markings/sec, 2400 secs
lola: 8805977 markings, 10144185 edges, 3126 markings/sec, 2405 secs
lola: 8823609 markings, 10164049 edges, 3526 markings/sec, 2410 secs
lola: 8841095 markings, 10184368 edges, 3497 markings/sec, 2415 secs
lola: 8858264 markings, 10204486 edges, 3434 markings/sec, 2420 secs
lola: 8876075 markings, 10225381 edges, 3562 markings/sec, 2425 secs
lola: 8893862 markings, 10245578 edges, 3557 markings/sec, 2430 secs
lola: 8910047 markings, 10264855 edges, 3237 markings/sec, 2435 secs
lola: 8927337 markings, 10285099 edges, 3458 markings/sec, 2440 secs
lola: 8944123 markings, 10304224 edges, 3357 markings/sec, 2445 secs
lola: 8959598 markings, 10322009 edges, 3095 markings/sec, 2450 secs
lola: 8976567 markings, 10341227 edges, 3394 markings/sec, 2455 secs
lola: 8993649 markings, 10360536 edges, 3416 markings/sec, 2460 secs
lola: 9010907 markings, 10380317 edges, 3452 markings/sec, 2465 secs
lola: 9028759 markings, 10400713 edges, 3570 markings/sec, 2470 secs
lola: 9045901 markings, 10420265 edges, 3428 markings/sec, 2475 secs
lola: 9062715 markings, 10439837 edges, 3363 markings/sec, 2480 secs
lola: 9080898 markings, 10461050 edges, 3637 markings/sec, 2485 secs
lola: 9098914 markings, 10482139 edges, 3603 markings/sec, 2490 secs
lola: 9116267 markings, 10502339 edges, 3471 markings/sec, 2495 secs
lola: 9133529 markings, 10522565 edges, 3452 markings/sec, 2500 secs
lola: 9150414 markings, 10542692 edges, 3377 markings/sec, 2505 secs
lola: 9167737 markings, 10562302 edges, 3465 markings/sec, 2510 secs
lola: 9185242 markings, 10582627 edges, 3501 markings/sec, 2515 secs
lola: 9203111 markings, 10603226 edges, 3574 markings/sec, 2520 secs
lola: 9220453 markings, 10623497 edges, 3468 markings/sec, 2525 secs
lola: 9237927 markings, 10643733 edges, 3495 markings/sec, 2530 secs
lola: 9255582 markings, 10664050 edges, 3531 markings/sec, 2535 secs
lola: 9272444 markings, 10683382 edges, 3372 markings/sec, 2540 secs
lola: 9290049 markings, 10703624 edges, 3521 markings/sec, 2545 secs
lola: 9307561 markings, 10724235 edges, 3502 markings/sec, 2550 secs
lola: 9324484 markings, 10744387 edges, 3385 markings/sec, 2555 secs
lola: 9342081 markings, 10764667 edges, 3519 markings/sec, 2560 secs
lola: 9359320 markings, 10784773 edges, 3448 markings/sec, 2565 secs
lola: 9376680 markings, 10804630 edges, 3472 markings/sec, 2570 secs
lola: 9394303 markings, 10824412 edges, 3525 markings/sec, 2575 secs
lola: 9412120 markings, 10844363 edges, 3563 markings/sec, 2580 secs
lola: 9429951 markings, 10864871 edges, 3566 markings/sec, 2585 secs
lola: 9447660 markings, 10884766 edges, 3542 markings/sec, 2590 secs
lola: 9465189 markings, 10904519 edges, 3506 markings/sec, 2595 secs
lola: 9482591 markings, 10924353 edges, 3480 markings/sec, 2600 secs
lola: 9500483 markings, 10944729 edges, 3578 markings/sec, 2605 secs
lola: 9517457 markings, 10964372 edges, 3395 markings/sec, 2610 secs
lola: 9534665 markings, 10983729 edges, 3442 markings/sec, 2615 secs
lola: 9552035 markings, 11003264 edges, 3474 markings/sec, 2620 secs
lola: 9568503 markings, 11022285 edges, 3294 markings/sec, 2625 secs
lola: 9585854 markings, 11042882 edges, 3470 markings/sec, 2630 secs
lola: 9603875 markings, 11063133 edges, 3604 markings/sec, 2635 secs
lola: 9621761 markings, 11083232 edges, 3577 markings/sec, 2640 secs
lola: 9639830 markings, 11103731 edges, 3614 markings/sec, 2645 secs
lola: 9657962 markings, 11124654 edges, 3626 markings/sec, 2650 secs
lola: 9676466 markings, 11146510 edges, 3701 markings/sec, 2655 secs
lola: 9695608 markings, 11168508 edges, 3828 markings/sec, 2660 secs
lola: 9714298 markings, 11190076 edges, 3738 markings/sec, 2665 secs
lola: 9732898 markings, 11211102 edges, 3720 markings/sec, 2670 secs
lola: 9750945 markings, 11231396 edges, 3609 markings/sec, 2675 secs
lola: 9768278 markings, 11250924 edges, 3467 markings/sec, 2680 secs
lola: 9785042 markings, 11270461 edges, 3353 markings/sec, 2685 secs
lola: 9801975 markings, 11289884 edges, 3387 markings/sec, 2690 secs
lola: 9819047 markings, 11309367 edges, 3414 markings/sec, 2695 secs
lola: 9836613 markings, 11329555 edges, 3513 markings/sec, 2700 secs
lola: 9853617 markings, 11349008 edges, 3401 markings/sec, 2705 secs
lola: 9870657 markings, 11368385 edges, 3408 markings/sec, 2710 secs
lola: 9887722 markings, 11388276 edges, 3413 markings/sec, 2715 secs
lola: 9905055 markings, 11408312 edges, 3467 markings/sec, 2720 secs
lola: 9923055 markings, 11428567 edges, 3600 markings/sec, 2725 secs
lola: 9940181 markings, 11448270 edges, 3425 markings/sec, 2730 secs
lola: 9957056 markings, 11467250 edges, 3375 markings/sec, 2735 secs
lola: 9973946 markings, 11486504 edges, 3378 markings/sec, 2740 secs
lola: 9991537 markings, 11506312 edges, 3518 markings/sec, 2745 secs
lola: 10008756 markings, 11525701 edges, 3444 markings/sec, 2750 secs
lola: 10027014 markings, 11546262 edges, 3652 markings/sec, 2755 secs
lola: 10044399 markings, 11566432 edges, 3477 markings/sec, 2760 secs
lola: 10061754 markings, 11586141 edges, 3471 markings/sec, 2765 secs
lola: 10079807 markings, 11606536 edges, 3611 markings/sec, 2770 secs
lola: 10096835 markings, 11625957 edges, 3406 markings/sec, 2775 secs
lola: 10113546 markings, 11645221 edges, 3342 markings/sec, 2780 secs
lola: 10131037 markings, 11665632 edges, 3498 markings/sec, 2785 secs
lola: 10148267 markings, 11685994 edges, 3446 markings/sec, 2790 secs
lola: 10165255 markings, 11705717 edges, 3398 markings/sec, 2795 secs
lola: 10180599 markings, 11723362 edges, 3069 markings/sec, 2800 secs
lola: 10198253 markings, 11743672 edges, 3531 markings/sec, 2805 secs
lola: 10216445 markings, 11764304 edges, 3638 markings/sec, 2810 secs
lola: 10234925 markings, 11785353 edges, 3696 markings/sec, 2815 secs
lola: 10253024 markings, 11806611 edges, 3620 markings/sec, 2820 secs
lola: 10271202 markings, 11828428 edges, 3636 markings/sec, 2825 secs
lola: 10289433 markings, 11849278 edges, 3646 markings/sec, 2830 secs
lola: 10307971 markings, 11870447 edges, 3708 markings/sec, 2835 secs
lola: 10326537 markings, 11892065 edges, 3713 markings/sec, 2840 secs
lola: 10345445 markings, 11913320 edges, 3782 markings/sec, 2845 secs
lola: 10364271 markings, 11934521 edges, 3765 markings/sec, 2850 secs
lola: 10382506 markings, 11955053 edges, 3647 markings/sec, 2855 secs
lola: 10401919 markings, 11977285 edges, 3883 markings/sec, 2860 secs
lola: 10420332 markings, 11998631 edges, 3683 markings/sec, 2865 secs
lola: 10439928 markings, 12021542 edges, 3919 markings/sec, 2870 secs
lola: 10458929 markings, 12043026 edges, 3800 markings/sec, 2875 secs
lola: 10478498 markings, 12065070 edges, 3914 markings/sec, 2880 secs
lola: 10497354 markings, 12086428 edges, 3771 markings/sec, 2885 secs
lola: 10515852 markings, 12107450 edges, 3700 markings/sec, 2890 secs
lola: 10534359 markings, 12128890 edges, 3701 markings/sec, 2895 secs
lola: 10552454 markings, 12149795 edges, 3619 markings/sec, 2900 secs
lola: 10570382 markings, 12170808 edges, 3586 markings/sec, 2905 secs
lola: 10588930 markings, 12192081 edges, 3710 markings/sec, 2910 secs
lola: 10607712 markings, 12213324 edges, 3756 markings/sec, 2915 secs
lola: 10626303 markings, 12234279 edges, 3718 markings/sec, 2920 secs
lola: 10644700 markings, 12255160 edges, 3679 markings/sec, 2925 secs
lola: 10663301 markings, 12277220 edges, 3720 markings/sec, 2930 secs
lola: 10682475 markings, 12299322 edges, 3835 markings/sec, 2935 secs
lola: 10701548 markings, 12321213 edges, 3815 markings/sec, 2940 secs
lola: 10720324 markings, 12342939 edges, 3755 markings/sec, 2945 secs
lola: 10737735 markings, 12362945 edges, 3482 markings/sec, 2950 secs
lola: 10755605 markings, 12383852 edges, 3574 markings/sec, 2955 secs
lola: 10772884 markings, 12403408 edges, 3456 markings/sec, 2960 secs
lola: 10790805 markings, 12423533 edges, 3584 markings/sec, 2965 secs
lola: 10809234 markings, 12444276 edges, 3686 markings/sec, 2970 secs
lola: 10827720 markings, 12465414 edges, 3697 markings/sec, 2975 secs
lola: 10845196 markings, 12485822 edges, 3495 markings/sec, 2980 secs
lola: 10863949 markings, 12507048 edges, 3751 markings/sec, 2985 secs
lola: 10883705 markings, 12529290 edges, 3951 markings/sec, 2990 secs
lola: 10902634 markings, 12550719 edges, 3786 markings/sec, 2995 secs
lola: 10921799 markings, 12572771 edges, 3833 markings/sec, 3000 secs
lola: 10940868 markings, 12594530 edges, 3814 markings/sec, 3005 secs
lola: 10959577 markings, 12616335 edges, 3742 markings/sec, 3010 secs
lola: 10978987 markings, 12638405 edges, 3882 markings/sec, 3015 secs
lola: 10997778 markings, 12659940 edges, 3758 markings/sec, 3020 secs
lola: 11016606 markings, 12681538 edges, 3766 markings/sec, 3025 secs
lola: 11035391 markings, 12703374 edges, 3757 markings/sec, 3030 secs
lola: 11053864 markings, 12725701 edges, 3695 markings/sec, 3035 secs
lola: 11072527 markings, 12746982 edges, 3733 markings/sec, 3040 secs
lola: 11091937 markings, 12769336 edges, 3882 markings/sec, 3045 secs
lola: 11111936 markings, 12791884 edges, 4000 markings/sec, 3050 secs
lola: 11132172 markings, 12814663 edges, 4047 markings/sec, 3055 secs
lola: 11151530 markings, 12836425 edges, 3872 markings/sec, 3060 secs
lola: 11170869 markings, 12858227 edges, 3868 markings/sec, 3065 secs
lola: 11190199 markings, 12880347 edges, 3866 markings/sec, 3070 secs
lola: 11210287 markings, 12902978 edges, 4018 markings/sec, 3075 secs
lola: 11228849 markings, 12924115 edges, 3712 markings/sec, 3080 secs
lola: 11249665 markings, 12947805 edges, 4163 markings/sec, 3085 secs
lola: 11269003 markings, 12970120 edges, 3868 markings/sec, 3090 secs
lola: 11288042 markings, 12991567 edges, 3808 markings/sec, 3095 secs
lola: 11307041 markings, 13012908 edges, 3800 markings/sec, 3100 secs
lola: 11325618 markings, 13033973 edges, 3715 markings/sec, 3105 secs
lola: 11344181 markings, 13055152 edges, 3713 markings/sec, 3110 secs
lola: 11363174 markings, 13076538 edges, 3799 markings/sec, 3115 secs
lola: 11381804 markings, 13097482 edges, 3726 markings/sec, 3120 secs
lola: 11400302 markings, 13118312 edges, 3700 markings/sec, 3125 secs
lola: 11418746 markings, 13139229 edges, 3689 markings/sec, 3130 secs
lola: 11437786 markings, 13160635 edges, 3808 markings/sec, 3135 secs
lola: 11456384 markings, 13181966 edges, 3720 markings/sec, 3140 secs
lola: 11475417 markings, 13203923 edges, 3807 markings/sec, 3145 secs
lola: 11494207 markings, 13225577 edges, 3758 markings/sec, 3150 secs
lola: 11513194 markings, 13247317 edges, 3797 markings/sec, 3155 secs
lola: 11531869 markings, 13268590 edges, 3735 markings/sec, 3160 secs
lola: 11549607 markings, 13288947 edges, 3548 markings/sec, 3165 secs
lola: 11568313 markings, 13310841 edges, 3741 markings/sec, 3170 secs
lola: 11586959 markings, 13332152 edges, 3729 markings/sec, 3175 secs
lola: 11605868 markings, 13354251 edges, 3782 markings/sec, 3180 secs
lola: 11624603 markings, 13375884 edges, 3747 markings/sec, 3185 secs
lola: 11643151 markings, 13397075 edges, 3710 markings/sec, 3190 secs
lola: 11661824 markings, 13418550 edges, 3735 markings/sec, 3195 secs
lola: 11681092 markings, 13440838 edges, 3854 markings/sec, 3200 secs
lola: 11699731 markings, 13463498 edges, 3728 markings/sec, 3205 secs
lola: 11718293 markings, 13484358 edges, 3712 markings/sec, 3210 secs
lola: 11736701 markings, 13505178 edges, 3682 markings/sec, 3215 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 unknown 1 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 unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 4993712 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 4993712 KB
lola: time consumption: 3569 seconds
BK_STOP 1552699487573
--------------------
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="DLCflexbar-PT-4b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is DLCflexbar-PT-4b, 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 r055-oct2-155234418500076"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-4b.tgz
mv DLCflexbar-PT-4b 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 '
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 ;