About the Execution of LoLA for DLCround-PT-13b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
2619.930 | 3570586.00 | 3619853.00 | 7650.30 | 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
Waiting for the VM to be ready (probing ssh)
...................
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.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 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 2.1M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-13b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735300149
=====================================================================
--------------------
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 DLCround-PT-13b-UpperBounds-00
FORMULA_NAME DLCround-PT-13b-UpperBounds-01
FORMULA_NAME DLCround-PT-13b-UpperBounds-02
FORMULA_NAME DLCround-PT-13b-UpperBounds-03
FORMULA_NAME DLCround-PT-13b-UpperBounds-04
FORMULA_NAME DLCround-PT-13b-UpperBounds-05
FORMULA_NAME DLCround-PT-13b-UpperBounds-06
FORMULA_NAME DLCround-PT-13b-UpperBounds-07
FORMULA_NAME DLCround-PT-13b-UpperBounds-08
FORMULA_NAME DLCround-PT-13b-UpperBounds-09
FORMULA_NAME DLCround-PT-13b-UpperBounds-10
FORMULA_NAME DLCround-PT-13b-UpperBounds-11
FORMULA_NAME DLCround-PT-13b-UpperBounds-12
FORMULA_NAME DLCround-PT-13b-UpperBounds-13
FORMULA_NAME DLCround-PT-13b-UpperBounds-14
FORMULA_NAME DLCround-PT-13b-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1526681003209
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-13b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCround-PT-13b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ DLCround-PT-13b @ 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: 14070/65536 symbol table entries, 4277 collisions
lola: preprocessing...
lola: Size of bit vector: 5343
lola: finding significant places
lola: 5343 places, 8727 transitions, 5031 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 12738 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-13b-UpperBounds.task
lola: MAX(p3910) : MAX(p2197) : MAX(p3236) : MAX(p2804) : MAX(p1881) : MAX(p4703) : MAX(p4523) : MAX(p2011) : MAX(p4461) : MAX(p2929) : MAX(p2777) : MAX(p1850) : MAX(p1436) : MAX(p4139) : MAX(p4129) : MAX(p3681)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3910)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3910)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 321 markings, 320 edges
lola: ========================================
FORMULA DLCround-PT-13b-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2197)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2197)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 89 markings, 88 edges
lola: ========================================
FORMULA DLCround-PT-13b-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3236)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3236)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 4300 markings, 4843 edges
lola: ========================================
FORMULA DLCround-PT-13b-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2804)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2804)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 5688 markings, 6680 edges, 1138 markings/sec, 0 secs
lola: 18683 markings, 22830 edges, 2599 markings/sec, 5 secs
lola: 31921 markings, 39082 edges, 2648 markings/sec, 10 secs
lola: 45117 markings, 55288 edges, 2639 markings/sec, 15 secs
lola: 58743 markings, 72223 edges, 2725 markings/sec, 20 secs
lola: 72412 markings, 89538 edges, 2734 markings/sec, 25 secs
lola: 86096 markings, 107196 edges, 2737 markings/sec, 30 secs
lola: 99801 markings, 124571 edges, 2741 markings/sec, 35 secs
lola: 113524 markings, 141988 edges, 2745 markings/sec, 40 secs
lola: 127158 markings, 159613 edges, 2727 markings/sec, 45 secs
lola: 140793 markings, 177517 edges, 2727 markings/sec, 50 secs
lola: 154588 markings, 195066 edges, 2759 markings/sec, 55 secs
lola: 168479 markings, 212506 edges, 2778 markings/sec, 60 secs
lola: 182367 markings, 229841 edges, 2778 markings/sec, 65 secs
lola: 196270 markings, 247096 edges, 2781 markings/sec, 70 secs
lola: 210182 markings, 264611 edges, 2782 markings/sec, 75 secs
lola: 224026 markings, 282042 edges, 2769 markings/sec, 80 secs
lola: 237868 markings, 299360 edges, 2768 markings/sec, 85 secs
lola: 251635 markings, 316406 edges, 2753 markings/sec, 90 secs
lola: 265814 markings, 334367 edges, 2836 markings/sec, 95 secs
lola: 280051 markings, 352253 edges, 2847 markings/sec, 100 secs
lola: 294179 markings, 370041 edges, 2826 markings/sec, 105 secs
lola: 308346 markings, 387627 edges, 2833 markings/sec, 110 secs
lola: 322449 markings, 405361 edges, 2821 markings/sec, 115 secs
lola: 336608 markings, 422975 edges, 2832 markings/sec, 120 secs
lola: 350688 markings, 440790 edges, 2816 markings/sec, 125 secs
lola: 364868 markings, 458363 edges, 2836 markings/sec, 130 secs
lola: 378942 markings, 476003 edges, 2815 markings/sec, 135 secs
lola: 393020 markings, 494023 edges, 2816 markings/sec, 140 secs
lola: 407225 markings, 511758 edges, 2841 markings/sec, 145 secs
lola: 421399 markings, 529592 edges, 2835 markings/sec, 150 secs
lola: 435512 markings, 547476 edges, 2823 markings/sec, 155 secs
lola: 448364 markings, 563554 edges, 2570 markings/sec, 160 secs
lola: 462388 markings, 581438 edges, 2805 markings/sec, 165 secs
lola: 476417 markings, 599476 edges, 2806 markings/sec, 170 secs
lola: 490374 markings, 617608 edges, 2791 markings/sec, 175 secs
lola: 504277 markings, 635339 edges, 2781 markings/sec, 180 secs
lola: 518307 markings, 653180 edges, 2806 markings/sec, 185 secs
lola: 532384 markings, 671181 edges, 2815 markings/sec, 190 secs
lola: 546507 markings, 688823 edges, 2825 markings/sec, 195 secs
lola: 560544 markings, 706483 edges, 2807 markings/sec, 200 secs
lola: 574509 markings, 724141 edges, 2793 markings/sec, 205 secs
lola: 588465 markings, 741524 edges, 2791 markings/sec, 210 secs
lola: 602382 markings, 759154 edges, 2783 markings/sec, 215 secs
lola: 616299 markings, 776817 edges, 2783 markings/sec, 220 secs
lola: 630185 markings, 794707 edges, 2777 markings/sec, 225 secs
lola: 644043 markings, 813057 edges, 2772 markings/sec, 230 secs
lola: 657871 markings, 830885 edges, 2766 markings/sec, 235 secs
lola: 671739 markings, 848306 edges, 2774 markings/sec, 240 secs
lola: 685611 markings, 866126 edges, 2774 markings/sec, 245 secs
lola: 699476 markings, 884007 edges, 2773 markings/sec, 250 secs
lola: 713375 markings, 901849 edges, 2780 markings/sec, 255 secs
lola: 727374 markings, 919773 edges, 2800 markings/sec, 260 secs
lola: 741354 markings, 938055 edges, 2796 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 236684 KB
lola: time consumption: 292 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1881)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1881)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 20 markings, 19 edges
FORMULA DLCround-PT-13b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4703)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4703)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 66 markings, 65 edges
FORMULA DLCround-PT-13b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4523)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4523)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 84 markings, 83 edges
FORMULA DLCround-PT-13b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2011)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2011)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 84 markings, 83 edges
FORMULA DLCround-PT-13b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4461)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4461)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 93 markings, 92 edges
lola: ========================================
FORMULA DLCround-PT-13b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 466 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2929)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2929)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 248 markings, 247 edges
FORMULA DLCround-PT-13b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 10 will run for 543 seconds at most (--localtimelimit=0)
========================================lola:
========================================
lola: ...considering subproblem: MAX(p2777)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2777)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 295 markings, 294 edges
lola: ========================================
FORMULA DLCround-PT-13b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 652 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1850)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1850)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 18 markings, 17 edges
FORMULA DLCround-PT-13b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 12 will run for 814 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1436)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1436)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 1457 markings, 1553 edges
FORMULA DLCround-PT-13b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 1085 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4139)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4139)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 297 markings, 296 edges
lola:
========================================
FORMULA DLCround-PT-13b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1626 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4129)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4129)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 298 markings, 297 edges
lola:
FORMULA DLCround-PT-13b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 15 will run for 3249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3681)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3681)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 171 markings, 170 edges
FORMULA DLCround-PT-13b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p2804)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2804)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 6140 markings, 7224 edges, 1228 markings/sec, 0 secs
lola: 19462 markings, 23801 edges, 2664 markings/sec, 5 secs
lola: 32493 markings, 39866 edges, 2606 markings/sec, 10 secs
lola: 45555 markings, 55801 edges, 2612 markings/sec, 15 secs
lola: 58986 markings, 72517 edges, 2686 markings/sec, 20 secs
lola: 72334 markings, 89416 edges, 2670 markings/sec, 25 secs
lola: 85933 markings, 106983 edges, 2720 markings/sec, 30 secs
lola: 99514 markings, 124203 edges, 2716 markings/sec, 35 secs
lola: 113159 markings, 141451 edges, 2729 markings/sec, 40 secs
lola: 126679 markings, 158958 edges, 2704 markings/sec, 45 secs
lola: 140314 markings, 176918 edges, 2727 markings/sec, 50 secs
lola: 154025 markings, 194400 edges, 2742 markings/sec, 55 secs
lola: 167920 markings, 211857 edges, 2779 markings/sec, 60 secs
lola: 181814 markings, 229010 edges, 2779 markings/sec, 65 secs
lola: 195696 markings, 246434 edges, 2776 markings/sec, 70 secs
lola: 209631 markings, 263972 edges, 2787 markings/sec, 75 secs
lola: 223605 markings, 281503 edges, 2795 markings/sec, 80 secs
lola: 237566 markings, 299014 edges, 2792 markings/sec, 85 secs
lola: 251500 markings, 316254 edges, 2787 markings/sec, 90 secs
lola: 265433 markings, 333802 edges, 2787 markings/sec, 95 secs
lola: 279402 markings, 351422 edges, 2794 markings/sec, 100 secs
lola: 293260 markings, 368892 edges, 2772 markings/sec, 105 secs
lola: 307095 markings, 386025 edges, 2767 markings/sec, 110 secs
lola: 320785 markings, 403181 edges, 2738 markings/sec, 115 secs
lola: 334336 markings, 420068 edges, 2710 markings/sec, 120 secs
lola: 347527 markings, 436783 edges, 2638 markings/sec, 125 secs
lola: 361029 markings, 453573 edges, 2700 markings/sec, 130 secs
lola: 374785 markings, 470720 edges, 2751 markings/sec, 135 secs
lola: 388523 markings, 488328 edges, 2748 markings/sec, 140 secs
lola: 402315 markings, 505529 edges, 2758 markings/sec, 145 secs
lola: 416087 markings, 522999 edges, 2754 markings/sec, 150 secs
lola: 429848 markings, 540391 edges, 2752 markings/sec, 155 secs
lola: 443507 markings, 557555 edges, 2732 markings/sec, 160 secs
lola: 456997 markings, 574382 edges, 2698 markings/sec, 165 secs
lola: 470621 markings, 591912 edges, 2725 markings/sec, 170 secs
lola: 484254 markings, 609730 edges, 2727 markings/sec, 175 secs
lola: 497738 markings, 626876 edges, 2697 markings/sec, 180 secs
lola: 511267 markings, 644222 edges, 2706 markings/sec, 185 secs
lola: 524835 markings, 661653 edges, 2714 markings/sec, 190 secs
lola: 538547 markings, 678836 edges, 2742 markings/sec, 195 secs
lola: 552027 markings, 695817 edges, 2696 markings/sec, 200 secs
lola: 565410 markings, 712545 edges, 2677 markings/sec, 205 secs
lola: 578973 markings, 729883 edges, 2713 markings/sec, 210 secs
lola: 592516 markings, 746669 edges, 2709 markings/sec, 215 secs
lola: 605962 markings, 763798 edges, 2689 markings/sec, 220 secs
lola: 619525 markings, 781033 edges, 2713 markings/sec, 225 secs
lola: 633048 markings, 798667 edges, 2705 markings/sec, 230 secs
lola: 646404 markings, 816023 edges, 2671 markings/sec, 235 secs
lola: 659268 markings, 832583 edges, 2573 markings/sec, 240 secs
lola: 672751 markings, 849527 edges, 2697 markings/sec, 245 secs
lola: 686156 markings, 866898 edges, 2681 markings/sec, 250 secs
lola: 699659 markings, 884240 edges, 2701 markings/sec, 255 secs
lola: 713148 markings, 901532 edges, 2698 markings/sec, 260 secs
lola: 726681 markings, 918869 edges, 2707 markings/sec, 265 secs
lola: 740220 markings, 936613 edges, 2708 markings/sec, 270 secs
lola: 753721 markings, 953816 edges, 2700 markings/sec, 275 secs
lola: 767212 markings, 970947 edges, 2698 markings/sec, 280 secs
lola: 780663 markings, 988319 edges, 2690 markings/sec, 285 secs
lola: 793950 markings, 1005444 edges, 2657 markings/sec, 290 secs
lola: 807695 markings, 1022268 edges, 2749 markings/sec, 295 secs
lola: 821445 markings, 1039097 edges, 2750 markings/sec, 300 secs
lola: 834855 markings, 1056284 edges, 2682 markings/sec, 305 secs
lola: 848296 markings, 1073496 edges, 2688 markings/sec, 310 secs
lola: 861722 markings, 1090933 edges, 2685 markings/sec, 315 secs
lola: 875152 markings, 1107889 edges, 2686 markings/sec, 320 secs
lola: 888473 markings, 1125320 edges, 2664 markings/sec, 325 secs
lola: 901795 markings, 1142328 edges, 2664 markings/sec, 330 secs
lola: 915268 markings, 1159083 edges, 2695 markings/sec, 335 secs
lola: 928709 markings, 1176058 edges, 2688 markings/sec, 340 secs
lola: 942126 markings, 1193254 edges, 2683 markings/sec, 345 secs
lola: 955562 markings, 1210131 edges, 2687 markings/sec, 350 secs
lola: 969015 markings, 1226838 edges, 2691 markings/sec, 355 secs
lola: 982484 markings, 1243735 edges, 2694 markings/sec, 360 secs
lola: 996017 markings, 1260546 edges, 2707 markings/sec, 365 secs
lola: 1009137 markings, 1276833 edges, 2624 markings/sec, 370 secs
lola: 1021956 markings, 1292955 edges, 2564 markings/sec, 375 secs
lola: 1035441 markings, 1309899 edges, 2697 markings/sec, 380 secs
lola: 1048844 markings, 1326419 edges, 2681 markings/sec, 385 secs
lola: 1061797 markings, 1343293 edges, 2591 markings/sec, 390 secs
lola: 1074713 markings, 1359662 edges, 2583 markings/sec, 395 secs
lola: 1087934 markings, 1376413 edges, 2644 markings/sec, 400 secs
lola: 1101766 markings, 1394166 edges, 2766 markings/sec, 405 secs
lola: 1115473 markings, 1411902 edges, 2741 markings/sec, 410 secs
lola: 1128560 markings, 1428549 edges, 2617 markings/sec, 415 secs
lola: 1141651 markings, 1445017 edges, 2618 markings/sec, 420 secs
lola: 1154806 markings, 1461587 edges, 2631 markings/sec, 425 secs
lola: 1167936 markings, 1477859 edges, 2626 markings/sec, 430 secs
lola: 1181169 markings, 1494355 edges, 2647 markings/sec, 435 secs
lola: 1194381 markings, 1511115 edges, 2642 markings/sec, 440 secs
lola: 1207517 markings, 1527472 edges, 2627 markings/sec, 445 secs
lola: 1220669 markings, 1543961 edges, 2630 markings/sec, 450 secs
lola: 1234437 markings, 1561452 edges, 2754 markings/sec, 455 secs
lola: 1248166 markings, 1579276 edges, 2746 markings/sec, 460 secs
lola: 1261875 markings, 1597226 edges, 2742 markings/sec, 465 secs
lola: 1275627 markings, 1615399 edges, 2750 markings/sec, 470 secs
lola: 1289508 markings, 1633317 edges, 2776 markings/sec, 475 secs
lola: 1303403 markings, 1651280 edges, 2779 markings/sec, 480 secs
lola: 1317291 markings, 1668896 edges, 2778 markings/sec, 485 secs
lola: 1331068 markings, 1686770 edges, 2755 markings/sec, 490 secs
lola: 1345068 markings, 1704245 edges, 2800 markings/sec, 495 secs
lola: 1358881 markings, 1721843 edges, 2763 markings/sec, 500 secs
lola: 1372380 markings, 1738670 edges, 2700 markings/sec, 505 secs
lola: 1385997 markings, 1755979 edges, 2723 markings/sec, 510 secs
lola: 1399532 markings, 1773111 edges, 2707 markings/sec, 515 secs
lola: 1413024 markings, 1790376 edges, 2698 markings/sec, 520 secs
lola: 1426456 markings, 1808155 edges, 2686 markings/sec, 525 secs
lola: 1439915 markings, 1825567 edges, 2692 markings/sec, 530 secs
lola: 1453816 markings, 1843027 edges, 2780 markings/sec, 535 secs
lola: 1467694 markings, 1860869 edges, 2776 markings/sec, 540 secs
lola: 1481513 markings, 1878676 edges, 2764 markings/sec, 545 secs
lola: 1495248 markings, 1896292 edges, 2747 markings/sec, 550 secs
lola: 1507627 markings, 1912133 edges, 2476 markings/sec, 555 secs
lola: 1521247 markings, 1929956 edges, 2724 markings/sec, 560 secs
lola: 1534717 markings, 1947201 edges, 2694 markings/sec, 565 secs
lola: 1548268 markings, 1964403 edges, 2710 markings/sec, 570 secs
lola: 1562065 markings, 1982212 edges, 2759 markings/sec, 575 secs
lola: 1575630 markings, 1999272 edges, 2713 markings/sec, 580 secs
lola: 1589194 markings, 2016778 edges, 2713 markings/sec, 585 secs
lola: 1602883 markings, 2034003 edges, 2738 markings/sec, 590 secs
lola: 1616534 markings, 2051084 edges, 2730 markings/sec, 595 secs
lola: 1630062 markings, 2068093 edges, 2706 markings/sec, 600 secs
lola: 1643552 markings, 2084725 edges, 2698 markings/sec, 605 secs
lola: 1657029 markings, 2101943 edges, 2695 markings/sec, 610 secs
lola: 1670643 markings, 2118967 edges, 2723 markings/sec, 615 secs
lola: 1684128 markings, 2135831 edges, 2697 markings/sec, 620 secs
lola: 1697359 markings, 2152211 edges, 2646 markings/sec, 625 secs
lola: 1710201 markings, 2168169 edges, 2568 markings/sec, 630 secs
lola: 1723675 markings, 2185060 edges, 2695 markings/sec, 635 secs
lola: 1736903 markings, 2201895 edges, 2646 markings/sec, 640 secs
lola: 1750736 markings, 2219124 edges, 2767 markings/sec, 645 secs
lola: 1764312 markings, 2236386 edges, 2715 markings/sec, 650 secs
lola: 1778115 markings, 2253784 edges, 2761 markings/sec, 655 secs
lola: 1791841 markings, 2271053 edges, 2745 markings/sec, 660 secs
lola: 1805471 markings, 2288420 edges, 2726 markings/sec, 665 secs
lola: 1819068 markings, 2306914 edges, 2719 markings/sec, 670 secs
lola: 1832753 markings, 2324087 edges, 2737 markings/sec, 675 secs
lola: 1846526 markings, 2341176 edges, 2755 markings/sec, 680 secs
lola: 1860255 markings, 2358315 edges, 2746 markings/sec, 685 secs
lola: 1873997 markings, 2375538 edges, 2748 markings/sec, 690 secs
lola: 1887687 markings, 2393081 edges, 2738 markings/sec, 695 secs
lola: 1901335 markings, 2410482 edges, 2730 markings/sec, 700 secs
lola: 1914888 markings, 2427264 edges, 2711 markings/sec, 705 secs
lola: 1928516 markings, 2444843 edges, 2726 markings/sec, 710 secs
lola: 1942139 markings, 2462573 edges, 2725 markings/sec, 715 secs
lola: 1955622 markings, 2479748 edges, 2697 markings/sec, 720 secs
lola: 1969139 markings, 2497038 edges, 2703 markings/sec, 725 secs
lola: 1982836 markings, 2514757 edges, 2739 markings/sec, 730 secs
lola: 1996450 markings, 2531760 edges, 2723 markings/sec, 735 secs
lola: 2009971 markings, 2548733 edges, 2704 markings/sec, 740 secs
lola: 2023601 markings, 2565854 edges, 2726 markings/sec, 745 secs
lola: 2037152 markings, 2583108 edges, 2710 markings/sec, 750 secs
lola: 2050721 markings, 2599902 edges, 2714 markings/sec, 755 secs
lola: 2064269 markings, 2617152 edges, 2710 markings/sec, 760 secs
lola: 2077811 markings, 2634384 edges, 2708 markings/sec, 765 secs
lola: 2091285 markings, 2651928 edges, 2695 markings/sec, 770 secs
lola: 2104612 markings, 2669427 edges, 2665 markings/sec, 775 secs
lola: 2117943 markings, 2686383 edges, 2666 markings/sec, 780 secs
lola: 2131316 markings, 2703404 edges, 2675 markings/sec, 785 secs
lola: 2144661 markings, 2720753 edges, 2669 markings/sec, 790 secs
lola: 2158062 markings, 2737801 edges, 2680 markings/sec, 795 secs
lola: 2171409 markings, 2754988 edges, 2669 markings/sec, 800 secs
lola: 2184902 markings, 2772218 edges, 2699 markings/sec, 805 secs
lola: 2198383 markings, 2789840 edges, 2696 markings/sec, 810 secs
lola: 2211850 markings, 2806992 edges, 2693 markings/sec, 815 secs
lola: 2225412 markings, 2824205 edges, 2712 markings/sec, 820 secs
lola: 2238961 markings, 2841810 edges, 2710 markings/sec, 825 secs
lola: 2252549 markings, 2859162 edges, 2718 markings/sec, 830 secs
lola: 2266178 markings, 2875879 edges, 2726 markings/sec, 835 secs
lola: 2279766 markings, 2892487 edges, 2718 markings/sec, 840 secs
lola: 2293168 markings, 2909705 edges, 2680 markings/sec, 845 secs
lola: 2306637 markings, 2927051 edges, 2694 markings/sec, 850 secs
lola: 2320110 markings, 2944410 edges, 2695 markings/sec, 855 secs
lola: 2333658 markings, 2961646 edges, 2710 markings/sec, 860 secs
lola: 2347132 markings, 2979176 edges, 2695 markings/sec, 865 secs
lola: 2360599 markings, 2996450 edges, 2693 markings/sec, 870 secs
lola: 2374219 markings, 3013332 edges, 2724 markings/sec, 875 secs
lola: 2387830 markings, 3030539 edges, 2722 markings/sec, 880 secs
lola: 2401390 markings, 3048059 edges, 2712 markings/sec, 885 secs
lola: 2415011 markings, 3064898 edges, 2724 markings/sec, 890 secs
lola: 2428612 markings, 3081846 edges, 2720 markings/sec, 895 secs
lola: 2442294 markings, 3099271 edges, 2736 markings/sec, 900 secs
lola: 2455984 markings, 3116708 edges, 2738 markings/sec, 905 secs
lola: 2469738 markings, 3133764 edges, 2751 markings/sec, 910 secs
lola: 2483394 markings, 3151096 edges, 2731 markings/sec, 915 secs
lola: 2497090 markings, 3168350 edges, 2739 markings/sec, 920 secs
lola: 2510776 markings, 3185025 edges, 2737 markings/sec, 925 secs
lola: 2524299 markings, 3202280 edges, 2705 markings/sec, 930 secs
lola: 2537969 markings, 3219615 edges, 2734 markings/sec, 935 secs
lola: 2551553 markings, 3237214 edges, 2717 markings/sec, 940 secs
lola: 2565021 markings, 3254422 edges, 2694 markings/sec, 945 secs
lola: 2578525 markings, 3271598 edges, 2701 markings/sec, 950 secs
lola: 2592003 markings, 3288395 edges, 2696 markings/sec, 955 secs
lola: 2605413 markings, 3305031 edges, 2682 markings/sec, 960 secs
lola: 2618821 markings, 3321996 edges, 2682 markings/sec, 965 secs
lola: 2632241 markings, 3338965 edges, 2684 markings/sec, 970 secs
lola: 2645671 markings, 3356177 edges, 2686 markings/sec, 975 secs
lola: 2658985 markings, 3373761 edges, 2663 markings/sec, 980 secs
lola: 2672250 markings, 3391254 edges, 2653 markings/sec, 985 secs
lola: 2685734 markings, 3408248 edges, 2697 markings/sec, 990 secs
lola: 2699235 markings, 3425803 edges, 2700 markings/sec, 995 secs
lola: 2712750 markings, 3443096 edges, 2703 markings/sec, 1000 secs
lola: 2726324 markings, 3460305 edges, 2715 markings/sec, 1005 secs
lola: 2739757 markings, 3477387 edges, 2687 markings/sec, 1010 secs
lola: 2753241 markings, 3494511 edges, 2697 markings/sec, 1015 secs
lola: 2766814 markings, 3511460 edges, 2715 markings/sec, 1020 secs
lola: 2780401 markings, 3528610 edges, 2717 markings/sec, 1025 secs
lola: 2793797 markings, 3545749 edges, 2679 markings/sec, 1030 secs
lola: 2807225 markings, 3562598 edges, 2686 markings/sec, 1035 secs
lola: 2820700 markings, 3579890 edges, 2695 markings/sec, 1040 secs
lola: 2834241 markings, 3597077 edges, 2708 markings/sec, 1045 secs
lola: 2847773 markings, 3614272 edges, 2706 markings/sec, 1050 secs
lola: 2861278 markings, 3631648 edges, 2701 markings/sec, 1055 secs
lola: 2874822 markings, 3648653 edges, 2709 markings/sec, 1060 secs
lola: 2888508 markings, 3665561 edges, 2737 markings/sec, 1065 secs
lola: 2902076 markings, 3682503 edges, 2714 markings/sec, 1070 secs
lola: 2915712 markings, 3699613 edges, 2727 markings/sec, 1075 secs
lola: 2929390 markings, 3716611 edges, 2736 markings/sec, 1080 secs
lola: 2943019 markings, 3733593 edges, 2726 markings/sec, 1085 secs
lola: 2956664 markings, 3750936 edges, 2729 markings/sec, 1090 secs
lola: 2970185 markings, 3768264 edges, 2704 markings/sec, 1095 secs
lola: 2983776 markings, 3785836 edges, 2718 markings/sec, 1100 secs
lola: 2997346 markings, 3802645 edges, 2714 markings/sec, 1105 secs
lola: 3011044 markings, 3819649 edges, 2740 markings/sec, 1110 secs
lola: 3024966 markings, 3836806 edges, 2784 markings/sec, 1115 secs
lola: 3038445 markings, 3854241 edges, 2696 markings/sec, 1120 secs
lola: 3051884 markings, 3871339 edges, 2688 markings/sec, 1125 secs
lola: 3065495 markings, 3888900 edges, 2722 markings/sec, 1130 secs
lola: 3079116 markings, 3906004 edges, 2724 markings/sec, 1135 secs
lola: 3092843 markings, 3923317 edges, 2745 markings/sec, 1140 secs
lola: 3106627 markings, 3940379 edges, 2757 markings/sec, 1145 secs
lola: 3120322 markings, 3957436 edges, 2739 markings/sec, 1150 secs
lola: 3133952 markings, 3974587 edges, 2726 markings/sec, 1155 secs
lola: 3147620 markings, 3992334 edges, 2734 markings/sec, 1160 secs
lola: 3161209 markings, 4009515 edges, 2718 markings/sec, 1165 secs
lola: 3174796 markings, 4026611 edges, 2717 markings/sec, 1170 secs
lola: 3188442 markings, 4044288 edges, 2729 markings/sec, 1175 secs
lola: 3201921 markings, 4062600 edges, 2696 markings/sec, 1180 secs
lola: 3215393 markings, 4080447 edges, 2694 markings/sec, 1185 secs
lola: 3229076 markings, 4097567 edges, 2737 markings/sec, 1190 secs
lola: 3242571 markings, 4115014 edges, 2699 markings/sec, 1195 secs
lola: 3256007 markings, 4132229 edges, 2687 markings/sec, 1200 secs
lola: 3269549 markings, 4149356 edges, 2708 markings/sec, 1205 secs
lola: 3283060 markings, 4166606 edges, 2702 markings/sec, 1210 secs
lola: 3296715 markings, 4183690 edges, 2731 markings/sec, 1215 secs
lola: 3310259 markings, 4200770 edges, 2709 markings/sec, 1220 secs
lola: 3323824 markings, 4218023 edges, 2713 markings/sec, 1225 secs
lola: 3337376 markings, 4234924 edges, 2710 markings/sec, 1230 secs
lola: 3350922 markings, 4251719 edges, 2709 markings/sec, 1235 secs
lola: 3364430 markings, 4268912 edges, 2702 markings/sec, 1240 secs
lola: 3377884 markings, 4286278 edges, 2691 markings/sec, 1245 secs
lola: 3391343 markings, 4303880 edges, 2692 markings/sec, 1250 secs
lola: 3404765 markings, 4321681 edges, 2684 markings/sec, 1255 secs
lola: 3418221 markings, 4339610 edges, 2691 markings/sec, 1260 secs
lola: 3431773 markings, 4356829 edges, 2710 markings/sec, 1265 secs
lola: 3445276 markings, 4374147 edges, 2701 markings/sec, 1270 secs
lola: 3458751 markings, 4391420 edges, 2695 markings/sec, 1275 secs
lola: 3472305 markings, 4408510 edges, 2711 markings/sec, 1280 secs
lola: 3485830 markings, 4425727 edges, 2705 markings/sec, 1285 secs
lola: 3499227 markings, 4443382 edges, 2679 markings/sec, 1290 secs
lola: 3512629 markings, 4460897 edges, 2680 markings/sec, 1295 secs
lola: 3526136 markings, 4478090 edges, 2701 markings/sec, 1300 secs
lola: 3539613 markings, 4495204 edges, 2695 markings/sec, 1305 secs
lola: 3552877 markings, 4512656 edges, 2653 markings/sec, 1310 secs
lola: 3566261 markings, 4529835 edges, 2677 markings/sec, 1315 secs
lola: 3579634 markings, 4546842 edges, 2675 markings/sec, 1320 secs
lola: 3593205 markings, 4563904 edges, 2714 markings/sec, 1325 secs
lola: 3606750 markings, 4581197 edges, 2709 markings/sec, 1330 secs
lola: 3620358 markings, 4598431 edges, 2722 markings/sec, 1335 secs
lola: 3634116 markings, 4615224 edges, 2752 markings/sec, 1340 secs
lola: 3647728 markings, 4632118 edges, 2722 markings/sec, 1345 secs
lola: 3661154 markings, 4649175 edges, 2685 markings/sec, 1350 secs
lola: 3674445 markings, 4666411 edges, 2658 markings/sec, 1355 secs
lola: 3687407 markings, 4683139 edges, 2592 markings/sec, 1360 secs
lola: 3700713 markings, 4699958 edges, 2661 markings/sec, 1365 secs
lola: 3714256 markings, 4717028 edges, 2709 markings/sec, 1370 secs
lola: 3727813 markings, 4734153 edges, 2711 markings/sec, 1375 secs
lola: 3741258 markings, 4750637 edges, 2689 markings/sec, 1380 secs
lola: 3754416 markings, 4767548 edges, 2632 markings/sec, 1385 secs
lola: 3768015 markings, 4786310 edges, 2720 markings/sec, 1390 secs
lola: 3781379 markings, 4804107 edges, 2673 markings/sec, 1395 secs
lola: 3794860 markings, 4821321 edges, 2696 markings/sec, 1400 secs
lola: 3808335 markings, 4838594 edges, 2695 markings/sec, 1405 secs
lola: 3822165 markings, 4856271 edges, 2766 markings/sec, 1410 secs
lola: 3835913 markings, 4873909 edges, 2750 markings/sec, 1415 secs
lola: 3849532 markings, 4892407 edges, 2724 markings/sec, 1420 secs
lola: 3863062 markings, 4911116 edges, 2706 markings/sec, 1425 secs
lola: 3876505 markings, 4928120 edges, 2689 markings/sec, 1430 secs
lola: 3889902 markings, 4945276 edges, 2679 markings/sec, 1435 secs
lola: 3903308 markings, 4961994 edges, 2681 markings/sec, 1440 secs
lola: 3916657 markings, 4979166 edges, 2670 markings/sec, 1445 secs
lola: 3930044 markings, 4996701 edges, 2677 markings/sec, 1450 secs
lola: 3943513 markings, 5013884 edges, 2694 markings/sec, 1455 secs
lola: 3956897 markings, 5030963 edges, 2677 markings/sec, 1460 secs
lola: 3970309 markings, 5047884 edges, 2682 markings/sec, 1465 secs
lola: 3983716 markings, 5065122 edges, 2681 markings/sec, 1470 secs
lola: 3997178 markings, 5082704 edges, 2692 markings/sec, 1475 secs
lola: 4010642 markings, 5099494 edges, 2693 markings/sec, 1480 secs
lola: 4024020 markings, 5116788 edges, 2676 markings/sec, 1485 secs
lola: 4037409 markings, 5134071 edges, 2678 markings/sec, 1490 secs
lola: 4051017 markings, 5151345 edges, 2722 markings/sec, 1495 secs
lola: 4064638 markings, 5168781 edges, 2724 markings/sec, 1500 secs
lola: 4078353 markings, 5185928 edges, 2743 markings/sec, 1505 secs
lola: 4091534 markings, 5202989 edges, 2636 markings/sec, 1510 secs
lola: 4105291 markings, 5220786 edges, 2751 markings/sec, 1515 secs
lola: 4119054 markings, 5238237 edges, 2753 markings/sec, 1520 secs
lola: 4132085 markings, 5254884 edges, 2606 markings/sec, 1525 secs
lola: 4145270 markings, 5271873 edges, 2637 markings/sec, 1530 secs
lola: 4158774 markings, 5289130 edges, 2701 markings/sec, 1535 secs
lola: 4172253 markings, 5305868 edges, 2696 markings/sec, 1540 secs
lola: 4185761 markings, 5322807 edges, 2702 markings/sec, 1545 secs
lola: 4199240 markings, 5339982 edges, 2696 markings/sec, 1550 secs
lola: 4212784 markings, 5357192 edges, 2709 markings/sec, 1555 secs
lola: 4226302 markings, 5374130 edges, 2704 markings/sec, 1560 secs
lola: 4239760 markings, 5391472 edges, 2692 markings/sec, 1565 secs
lola: 4253541 markings, 5409144 edges, 2756 markings/sec, 1570 secs
lola: 4267453 markings, 5426308 edges, 2782 markings/sec, 1575 secs
lola: 4280908 markings, 5443459 edges, 2691 markings/sec, 1580 secs
lola: 4294229 markings, 5460006 edges, 2664 markings/sec, 1585 secs
lola: 4307431 markings, 5476525 edges, 2640 markings/sec, 1590 secs
lola: 4320964 markings, 5493850 edges, 2707 markings/sec, 1595 secs
lola: 4334455 markings, 5511132 edges, 2698 markings/sec, 1600 secs
lola: 4347932 markings, 5528290 edges, 2695 markings/sec, 1605 secs
lola: 4361274 markings, 5545042 edges, 2668 markings/sec, 1610 secs
lola: 4374365 markings, 5561761 edges, 2618 markings/sec, 1615 secs
lola: 4387567 markings, 5578164 edges, 2640 markings/sec, 1620 secs
lola: 4400587 markings, 5594700 edges, 2604 markings/sec, 1625 secs
lola: 4414076 markings, 5611698 edges, 2698 markings/sec, 1630 secs
lola: 4427626 markings, 5628804 edges, 2710 markings/sec, 1635 secs
lola: 4441262 markings, 5645668 edges, 2727 markings/sec, 1640 secs
lola: 4454815 markings, 5662832 edges, 2711 markings/sec, 1645 secs
lola: 4468376 markings, 5680346 edges, 2712 markings/sec, 1650 secs
lola: 4482339 markings, 5697593 edges, 2793 markings/sec, 1655 secs
lola: 4496214 markings, 5715045 edges, 2775 markings/sec, 1660 secs
lola: 4509877 markings, 5732225 edges, 2733 markings/sec, 1665 secs
lola: 4523880 markings, 5750050 edges, 2801 markings/sec, 1670 secs
lola: 4537973 markings, 5767717 edges, 2819 markings/sec, 1675 secs
lola: 4552023 markings, 5785395 edges, 2810 markings/sec, 1680 secs
lola: 4565622 markings, 5802361 edges, 2720 markings/sec, 1685 secs
lola: 4579325 markings, 5819739 edges, 2741 markings/sec, 1690 secs
lola: 4593045 markings, 5837136 edges, 2744 markings/sec, 1695 secs
lola: 4606584 markings, 5854117 edges, 2708 markings/sec, 1700 secs
lola: 4620157 markings, 5871100 edges, 2715 markings/sec, 1705 secs
lola: 4633681 markings, 5888882 edges, 2705 markings/sec, 1710 secs
lola: 4647191 markings, 5906341 edges, 2702 markings/sec, 1715 secs
lola: 4660681 markings, 5923432 edges, 2698 markings/sec, 1720 secs
lola: 4674265 markings, 5940608 edges, 2717 markings/sec, 1725 secs
lola: 4687881 markings, 5957536 edges, 2723 markings/sec, 1730 secs
lola: 4701450 markings, 5974755 edges, 2714 markings/sec, 1735 secs
lola: 4714986 markings, 5991702 edges, 2707 markings/sec, 1740 secs
lola: 4728827 markings, 6009228 edges, 2768 markings/sec, 1745 secs
lola: 4742639 markings, 6026806 edges, 2762 markings/sec, 1750 secs
lola: 4756155 markings, 6044109 edges, 2703 markings/sec, 1755 secs
lola: 4769592 markings, 6061893 edges, 2687 markings/sec, 1760 secs
lola: 4783028 markings, 6079279 edges, 2687 markings/sec, 1765 secs
lola: 4796553 markings, 6096290 edges, 2705 markings/sec, 1770 secs
lola: 4809892 markings, 6113402 edges, 2668 markings/sec, 1775 secs
lola: 4823246 markings, 6130647 edges, 2671 markings/sec, 1780 secs
lola: 4836572 markings, 6147755 edges, 2665 markings/sec, 1785 secs
lola: 4849874 markings, 6164721 edges, 2660 markings/sec, 1790 secs
lola: 4863826 markings, 6182920 edges, 2790 markings/sec, 1795 secs
lola: 4877557 markings, 6200501 edges, 2746 markings/sec, 1800 secs
lola: 4891429 markings, 6218171 edges, 2774 markings/sec, 1805 secs
lola: 4905289 markings, 6236081 edges, 2772 markings/sec, 1810 secs
lola: 4919123 markings, 6253114 edges, 2767 markings/sec, 1815 secs
lola: 4932832 markings, 6270846 edges, 2742 markings/sec, 1820 secs
lola: 4946231 markings, 6288339 edges, 2680 markings/sec, 1825 secs
lola: 4959845 markings, 6306606 edges, 2723 markings/sec, 1830 secs
lola: 4973566 markings, 6324253 edges, 2744 markings/sec, 1835 secs
lola: 4987288 markings, 6341710 edges, 2744 markings/sec, 1840 secs
lola: 5000268 markings, 6358283 edges, 2596 markings/sec, 1845 secs
lola: 5013293 markings, 6374902 edges, 2605 markings/sec, 1850 secs
lola: 5025588 markings, 6398405 edges, 2459 markings/sec, 1855 secs
lola: 5037325 markings, 6425239 edges, 2347 markings/sec, 1860 secs
lola: 5050146 markings, 6446808 edges, 2564 markings/sec, 1865 secs
lola: 5063512 markings, 6463794 edges, 2673 markings/sec, 1870 secs
lola: 5076846 markings, 6480862 edges, 2667 markings/sec, 1875 secs
lola: 5090321 markings, 6498221 edges, 2695 markings/sec, 1880 secs
lola: 5103863 markings, 6515351 edges, 2708 markings/sec, 1885 secs
lola: 5117734 markings, 6533212 edges, 2774 markings/sec, 1890 secs
lola: 5131205 markings, 6550646 edges, 2694 markings/sec, 1895 secs
lola: 5144716 markings, 6567873 edges, 2702 markings/sec, 1900 secs
lola: 5158614 markings, 6585588 edges, 2780 markings/sec, 1905 secs
lola: 5172083 markings, 6602739 edges, 2694 markings/sec, 1910 secs
lola: 5185587 markings, 6619946 edges, 2701 markings/sec, 1915 secs
lola: 5199095 markings, 6637433 edges, 2702 markings/sec, 1920 secs
lola: 5213127 markings, 6654957 edges, 2806 markings/sec, 1925 secs
lola: 5226903 markings, 6672262 edges, 2755 markings/sec, 1930 secs
lola: 5240230 markings, 6689028 edges, 2665 markings/sec, 1935 secs
lola: 5253789 markings, 6706213 edges, 2712 markings/sec, 1940 secs
lola: 5267354 markings, 6722999 edges, 2713 markings/sec, 1945 secs
lola: 5280809 markings, 6740145 edges, 2691 markings/sec, 1950 secs
lola: 5294239 markings, 6757211 edges, 2686 markings/sec, 1955 secs
lola: 5307636 markings, 6774706 edges, 2679 markings/sec, 1960 secs
lola: 5321010 markings, 6792376 edges, 2675 markings/sec, 1965 secs
lola: 5334348 markings, 6809505 edges, 2668 markings/sec, 1970 secs
lola: 5347820 markings, 6826623 edges, 2694 markings/sec, 1975 secs
lola: 5361587 markings, 6844063 edges, 2753 markings/sec, 1980 secs
lola: 5375507 markings, 6861371 edges, 2784 markings/sec, 1985 secs
lola: 5389358 markings, 6878962 edges, 2770 markings/sec, 1990 secs
lola: 5402940 markings, 6896460 edges, 2716 markings/sec, 1995 secs
lola: 5416618 markings, 6913330 edges, 2736 markings/sec, 2000 secs
lola: 5430270 markings, 6930489 edges, 2730 markings/sec, 2005 secs
lola: 5444252 markings, 6948152 edges, 2796 markings/sec, 2010 secs
lola: 5458286 markings, 6965991 edges, 2807 markings/sec, 2015 secs
lola: 5472086 markings, 6983232 edges, 2760 markings/sec, 2020 secs
lola: 5485844 markings, 7000476 edges, 2752 markings/sec, 2025 secs
lola: 5499630 markings, 7017857 edges, 2757 markings/sec, 2030 secs
lola: 5513375 markings, 7035247 edges, 2749 markings/sec, 2035 secs
lola: 5527459 markings, 7053075 edges, 2817 markings/sec, 2040 secs
lola: 5541346 markings, 7070496 edges, 2777 markings/sec, 2045 secs
lola: 5554975 markings, 7087548 edges, 2726 markings/sec, 2050 secs
lola: 5568555 markings, 7105407 edges, 2716 markings/sec, 2055 secs
lola: 5582053 markings, 7122842 edges, 2700 markings/sec, 2060 secs
lola: 5595482 markings, 7139855 edges, 2686 markings/sec, 2065 secs
lola: 5609063 markings, 7156987 edges, 2716 markings/sec, 2070 secs
lola: 5622507 markings, 7173856 edges, 2689 markings/sec, 2075 secs
lola: 5636117 markings, 7190726 edges, 2722 markings/sec, 2080 secs
lola: 5649715 markings, 7207878 edges, 2720 markings/sec, 2085 secs
lola: 5663277 markings, 7225022 edges, 2712 markings/sec, 2090 secs
lola: 5676696 markings, 7242215 edges, 2684 markings/sec, 2095 secs
lola: 5689718 markings, 7258766 edges, 2604 markings/sec, 2100 secs
lola: 5702988 markings, 7275789 edges, 2654 markings/sec, 2105 secs
lola: 5716473 markings, 7293312 edges, 2697 markings/sec, 2110 secs
lola: 5730069 markings, 7310359 edges, 2719 markings/sec, 2115 secs
lola: 5743849 markings, 7328263 edges, 2756 markings/sec, 2120 secs
lola: 5757416 markings, 7345459 edges, 2713 markings/sec, 2125 secs
lola: 5770893 markings, 7362786 edges, 2695 markings/sec, 2130 secs
lola: 5784315 markings, 7379961 edges, 2684 markings/sec, 2135 secs
lola: 5797726 markings, 7397300 edges, 2682 markings/sec, 2140 secs
lola: 5810900 markings, 7416201 edges, 2635 markings/sec, 2145 secs
lola: 5824591 markings, 7434135 edges, 2738 markings/sec, 2150 secs
lola: 5838141 markings, 7451464 edges, 2710 markings/sec, 2155 secs
lola: 5851660 markings, 7468861 edges, 2704 markings/sec, 2160 secs
lola: 5865188 markings, 7486065 edges, 2706 markings/sec, 2165 secs
lola: 5878642 markings, 7503000 edges, 2691 markings/sec, 2170 secs
lola: 5892140 markings, 7520261 edges, 2700 markings/sec, 2175 secs
lola: 5905727 markings, 7537833 edges, 2717 markings/sec, 2180 secs
lola: 5919194 markings, 7555083 edges, 2693 markings/sec, 2185 secs
lola: 5932741 markings, 7572103 edges, 2709 markings/sec, 2190 secs
lola: 5946330 markings, 7589170 edges, 2718 markings/sec, 2195 secs
lola: 5959933 markings, 7606308 edges, 2721 markings/sec, 2200 secs
lola: 5973592 markings, 7623522 edges, 2732 markings/sec, 2205 secs
lola: 5986975 markings, 7640177 edges, 2677 markings/sec, 2210 secs
lola: 6000054 markings, 7656705 edges, 2616 markings/sec, 2215 secs
lola: 6013305 markings, 7673613 edges, 2650 markings/sec, 2220 secs
lola: 6026781 markings, 7690859 edges, 2695 markings/sec, 2225 secs
lola: 6040036 markings, 7708610 edges, 2651 markings/sec, 2230 secs
lola: 6053175 markings, 7724745 edges, 2628 markings/sec, 2235 secs
lola: 6066473 markings, 7742249 edges, 2660 markings/sec, 2240 secs
lola: 6080097 markings, 7759291 edges, 2725 markings/sec, 2245 secs
lola: 6093600 markings, 7776253 edges, 2701 markings/sec, 2250 secs
lola: 6106843 markings, 7792985 edges, 2649 markings/sec, 2255 secs
lola: 6120381 markings, 7810015 edges, 2708 markings/sec, 2260 secs
lola: 6133957 markings, 7827049 edges, 2715 markings/sec, 2265 secs
lola: 6147336 markings, 7844703 edges, 2676 markings/sec, 2270 secs
lola: 6160758 markings, 7861758 edges, 2684 markings/sec, 2275 secs
lola: 6174146 markings, 7878915 edges, 2678 markings/sec, 2280 secs
lola: 6187599 markings, 7896016 edges, 2691 markings/sec, 2285 secs
lola: 6201015 markings, 7912758 edges, 2683 markings/sec, 2290 secs
lola: 6214412 markings, 7929632 edges, 2679 markings/sec, 2295 secs
lola: 6227867 markings, 7946516 edges, 2691 markings/sec, 2300 secs
lola: 6241248 markings, 7963639 edges, 2676 markings/sec, 2305 secs
lola: 6254555 markings, 7980519 edges, 2661 markings/sec, 2310 secs
lola: 6267998 markings, 7997624 edges, 2689 markings/sec, 2315 secs
lola: 6281515 markings, 8015068 edges, 2703 markings/sec, 2320 secs
lola: 6295410 markings, 8032542 edges, 2779 markings/sec, 2325 secs
lola: 6309295 markings, 8050367 edges, 2777 markings/sec, 2330 secs
lola: 6323192 markings, 8067915 edges, 2779 markings/sec, 2335 secs
lola: 6337091 markings, 8085036 edges, 2780 markings/sec, 2340 secs
lola: 6351007 markings, 8102263 edges, 2783 markings/sec, 2345 secs
lola: 6364929 markings, 8119911 edges, 2784 markings/sec, 2350 secs
lola: 6378823 markings, 8137182 edges, 2779 markings/sec, 2355 secs
lola: 6392861 markings, 8154680 edges, 2808 markings/sec, 2360 secs
lola: 6406919 markings, 8172506 edges, 2812 markings/sec, 2365 secs
lola: 6420839 markings, 8190358 edges, 2784 markings/sec, 2370 secs
lola: 6434898 markings, 8208527 edges, 2812 markings/sec, 2375 secs
lola: 6448915 markings, 8225785 edges, 2803 markings/sec, 2380 secs
lola: 6463088 markings, 8243411 edges, 2835 markings/sec, 2385 secs
lola: 6477413 markings, 8261186 edges, 2865 markings/sec, 2390 secs
lola: 6491285 markings, 8279068 edges, 2774 markings/sec, 2395 secs
lola: 6505245 markings, 8296906 edges, 2792 markings/sec, 2400 secs
lola: 6519237 markings, 8314869 edges, 2798 markings/sec, 2405 secs
lola: 6533231 markings, 8332472 edges, 2799 markings/sec, 2410 secs
lola: 6547459 markings, 8350405 edges, 2846 markings/sec, 2415 secs
lola: 6561482 markings, 8368074 edges, 2805 markings/sec, 2420 secs
lola: 6575546 markings, 8385760 edges, 2813 markings/sec, 2425 secs
lola: 6589526 markings, 8403533 edges, 2796 markings/sec, 2430 secs
lola: 6603701 markings, 8421175 edges, 2835 markings/sec, 2435 secs
lola: 6617787 markings, 8438981 edges, 2817 markings/sec, 2440 secs
lola: 6631889 markings, 8457025 edges, 2820 markings/sec, 2445 secs
lola: 6645961 markings, 8474642 edges, 2814 markings/sec, 2450 secs
lola: 6659888 markings, 8492290 edges, 2785 markings/sec, 2455 secs
lola: 6673871 markings, 8510335 edges, 2797 markings/sec, 2460 secs
lola: 6687718 markings, 8528277 edges, 2769 markings/sec, 2465 secs
lola: 6701536 markings, 8545942 edges, 2764 markings/sec, 2470 secs
lola: 6715464 markings, 8563533 edges, 2786 markings/sec, 2475 secs
lola: 6729500 markings, 8581317 edges, 2807 markings/sec, 2480 secs
lola: 6743503 markings, 8599033 edges, 2801 markings/sec, 2485 secs
lola: 6757370 markings, 8617246 edges, 2773 markings/sec, 2490 secs
lola: 6771301 markings, 8635092 edges, 2786 markings/sec, 2495 secs
lola: 6785028 markings, 8652453 edges, 2745 markings/sec, 2500 secs
lola: 6798597 markings, 8669367 edges, 2714 markings/sec, 2505 secs
lola: 6811989 markings, 8686501 edges, 2678 markings/sec, 2510 secs
lola: 6825515 markings, 8703251 edges, 2705 markings/sec, 2515 secs
lola: 6839100 markings, 8720883 edges, 2717 markings/sec, 2520 secs
lola: 6852990 markings, 8738422 edges, 2778 markings/sec, 2525 secs
lola: 6866770 markings, 8756129 edges, 2756 markings/sec, 2530 secs
lola: 6880681 markings, 8774216 edges, 2782 markings/sec, 2535 secs
lola: 6894846 markings, 8791948 edges, 2833 markings/sec, 2540 secs
lola: 6908783 markings, 8809505 edges, 2787 markings/sec, 2545 secs
lola: 6922699 markings, 8827180 edges, 2783 markings/sec, 2550 secs
lola: 6936554 markings, 8845087 edges, 2771 markings/sec, 2555 secs
lola: 6950415 markings, 8862964 edges, 2772 markings/sec, 2560 secs
lola: 6964349 markings, 8880768 edges, 2787 markings/sec, 2565 secs
lola: 6978362 markings, 8898311 edges, 2803 markings/sec, 2570 secs
lola: 6992375 markings, 8916584 edges, 2803 markings/sec, 2575 secs
lola: 7006246 markings, 8934037 edges, 2774 markings/sec, 2580 secs
lola: 7019737 markings, 8953242 edges, 2698 markings/sec, 2585 secs
lola: 7033121 markings, 8970557 edges, 2677 markings/sec, 2590 secs
lola: 7046560 markings, 8988053 edges, 2688 markings/sec, 2595 secs
lola: 7059938 markings, 9005228 edges, 2676 markings/sec, 2600 secs
lola: 7073407 markings, 9022390 edges, 2694 markings/sec, 2605 secs
lola: 7087089 markings, 9039264 edges, 2736 markings/sec, 2610 secs
lola: 7100681 markings, 9056815 edges, 2718 markings/sec, 2615 secs
lola: 7114235 markings, 9074395 edges, 2711 markings/sec, 2620 secs
lola: 7128122 markings, 9092006 edges, 2777 markings/sec, 2625 secs
lola: 7141864 markings, 9109677 edges, 2748 markings/sec, 2630 secs
lola: 7155752 markings, 9127360 edges, 2778 markings/sec, 2635 secs
lola: 7169608 markings, 9144864 edges, 2771 markings/sec, 2640 secs
lola: 7183593 markings, 9162198 edges, 2797 markings/sec, 2645 secs
lola: 7197496 markings, 9179634 edges, 2781 markings/sec, 2650 secs
lola: 7211386 markings, 9197201 edges, 2778 markings/sec, 2655 secs
lola: 7225248 markings, 9214854 edges, 2772 markings/sec, 2660 secs
lola: 7239096 markings, 9232579 edges, 2770 markings/sec, 2665 secs
lola: 7252908 markings, 9250749 edges, 2762 markings/sec, 2670 secs
lola: 7266741 markings, 9268421 edges, 2767 markings/sec, 2675 secs
lola: 7280639 markings, 9286628 edges, 2780 markings/sec, 2680 secs
lola: 7294565 markings, 9304421 edges, 2785 markings/sec, 2685 secs
lola: 7308410 markings, 9322488 edges, 2769 markings/sec, 2690 secs
lola: 7322234 markings, 9339906 edges, 2765 markings/sec, 2695 secs
lola: 7336091 markings, 9357549 edges, 2771 markings/sec, 2700 secs
lola: 7350006 markings, 9375556 edges, 2783 markings/sec, 2705 secs
lola: 7364089 markings, 9393148 edges, 2817 markings/sec, 2710 secs
lola: 7378090 markings, 9410741 edges, 2800 markings/sec, 2715 secs
lola: 7392110 markings, 9428513 edges, 2804 markings/sec, 2720 secs
lola: 7406038 markings, 9445926 edges, 2786 markings/sec, 2725 secs
lola: 7419988 markings, 9463208 edges, 2790 markings/sec, 2730 secs
lola: 7433874 markings, 9480846 edges, 2777 markings/sec, 2735 secs
lola: 7447720 markings, 9498735 edges, 2769 markings/sec, 2740 secs
lola: 7461537 markings, 9516964 edges, 2763 markings/sec, 2745 secs
lola: 7475361 markings, 9535187 edges, 2765 markings/sec, 2750 secs
lola: 7489272 markings, 9552371 edges, 2782 markings/sec, 2755 secs
lola: 7503118 markings, 9570182 edges, 2769 markings/sec, 2760 secs
lola: 7517041 markings, 9587612 edges, 2785 markings/sec, 2765 secs
lola: 7530899 markings, 9605519 edges, 2772 markings/sec, 2770 secs
lola: 7544806 markings, 9623379 edges, 2781 markings/sec, 2775 secs
lola: 7558705 markings, 9641452 edges, 2780 markings/sec, 2780 secs
lola: 7572609 markings, 9659239 edges, 2781 markings/sec, 2785 secs
lola: 7586477 markings, 9677168 edges, 2774 markings/sec, 2790 secs
lola: 7600384 markings, 9694696 edges, 2781 markings/sec, 2795 secs
lola: 7614331 markings, 9712221 edges, 2789 markings/sec, 2800 secs
lola: 7628191 markings, 9729806 edges, 2772 markings/sec, 2805 secs
lola: 7642076 markings, 9747442 edges, 2777 markings/sec, 2810 secs
lola: 7656073 markings, 9764938 edges, 2799 markings/sec, 2815 secs
lola: 7670024 markings, 9782512 edges, 2790 markings/sec, 2820 secs
lola: 7684053 markings, 9800013 edges, 2806 markings/sec, 2825 secs
lola: 7697578 markings, 9816984 edges, 2705 markings/sec, 2830 secs
lola: 7711131 markings, 9834108 edges, 2711 markings/sec, 2835 secs
lola: 7724687 markings, 9851008 edges, 2711 markings/sec, 2840 secs
lola: 7738240 markings, 9868109 edges, 2711 markings/sec, 2845 secs
lola: 7751796 markings, 9884993 edges, 2711 markings/sec, 2850 secs
lola: 7765376 markings, 9902059 edges, 2716 markings/sec, 2855 secs
lola: 7778888 markings, 9919209 edges, 2702 markings/sec, 2860 secs
lola: 7792939 markings, 9936668 edges, 2810 markings/sec, 2865 secs
lola: 7807039 markings, 9954153 edges, 2820 markings/sec, 2870 secs
lola: 7821021 markings, 9971860 edges, 2796 markings/sec, 2875 secs
lola: 7834958 markings, 9989592 edges, 2787 markings/sec, 2880 secs
lola: 7848842 markings, 10007416 edges, 2777 markings/sec, 2885 secs
lola: 7862681 markings, 10025222 edges, 2768 markings/sec, 2890 secs
lola: 7876482 markings, 10042761 edges, 2760 markings/sec, 2895 secs
lola: 7890188 markings, 10060489 edges, 2741 markings/sec, 2900 secs
lola: 7903983 markings, 10078087 edges, 2759 markings/sec, 2905 secs
lola: 7918085 markings, 10095343 edges, 2820 markings/sec, 2910 secs
lola: 7931987 markings, 10113292 edges, 2780 markings/sec, 2915 secs
lola: 7945915 markings, 10130967 edges, 2786 markings/sec, 2920 secs
lola: 7959786 markings, 10148134 edges, 2774 markings/sec, 2925 secs
lola: 7973797 markings, 10165942 edges, 2802 markings/sec, 2930 secs
lola: 7987871 markings, 10183475 edges, 2815 markings/sec, 2935 secs
lola: 8001563 markings, 10201529 edges, 2738 markings/sec, 2940 secs
lola: 8015350 markings, 10218876 edges, 2757 markings/sec, 2945 secs
lola: 8029184 markings, 10236593 edges, 2767 markings/sec, 2950 secs
lola: 8042946 markings, 10254247 edges, 2752 markings/sec, 2955 secs
lola: 8056738 markings, 10272551 edges, 2758 markings/sec, 2960 secs
lola: 8070627 markings, 10290220 edges, 2778 markings/sec, 2965 secs
lola: 8084464 markings, 10307947 edges, 2767 markings/sec, 2970 secs
lola: 8098281 markings, 10325401 edges, 2763 markings/sec, 2975 secs
lola: 8112192 markings, 10343314 edges, 2782 markings/sec, 2980 secs
lola: 8126066 markings, 10361550 edges, 2775 markings/sec, 2985 secs
lola: 8140005 markings, 10378875 edges, 2788 markings/sec, 2990 secs
lola: 8152901 markings, 10395012 edges, 2579 markings/sec, 2995 secs
lola: 8166357 markings, 10411813 edges, 2691 markings/sec, 3000 secs
lola: 8179730 markings, 10429001 edges, 2675 markings/sec, 3005 secs
lola: 8193053 markings, 10445922 edges, 2665 markings/sec, 3010 secs
lola: 8206490 markings, 10462613 edges, 2687 markings/sec, 3015 secs
lola: 8220032 markings, 10479376 edges, 2708 markings/sec, 3020 secs
lola: 8233561 markings, 10496184 edges, 2706 markings/sec, 3025 secs
lola: 8246934 markings, 10512980 edges, 2675 markings/sec, 3030 secs
lola: 8260348 markings, 10529857 edges, 2683 markings/sec, 3035 secs
lola: 8273716 markings, 10546510 edges, 2674 markings/sec, 3040 secs
lola: 8287123 markings, 10563166 edges, 2681 markings/sec, 3045 secs
lola: 8300595 markings, 10580263 edges, 2694 markings/sec, 3050 secs
lola: 8314077 markings, 10597438 edges, 2696 markings/sec, 3055 secs
lola: 8327544 markings, 10614713 edges, 2693 markings/sec, 3060 secs
lola: 8341062 markings, 10631991 edges, 2704 markings/sec, 3065 secs
lola: 8354531 markings, 10649479 edges, 2694 markings/sec, 3070 secs
lola: 8368007 markings, 10666904 edges, 2695 markings/sec, 3075 secs
lola: 8381536 markings, 10683646 edges, 2706 markings/sec, 3080 secs
lola: 8395107 markings, 10700470 edges, 2714 markings/sec, 3085 secs
lola: 8408823 markings, 10717527 edges, 2743 markings/sec, 3090 secs
lola: 8422391 markings, 10734407 edges, 2714 markings/sec, 3095 secs
lola: 8435985 markings, 10751438 edges, 2719 markings/sec, 3100 secs
lola: 8449635 markings, 10768725 edges, 2730 markings/sec, 3105 secs
lola: 8463212 markings, 10786117 edges, 2715 markings/sec, 3110 secs
lola: 8476694 markings, 10803290 edges, 2696 markings/sec, 3115 secs
lola: 8490106 markings, 10820518 edges, 2682 markings/sec, 3120 secs
lola: 8503579 markings, 10838006 edges, 2695 markings/sec, 3125 secs
lola: 8517143 markings, 10855017 edges, 2713 markings/sec, 3130 secs
lola: 8530646 markings, 10872579 edges, 2701 markings/sec, 3135 secs
lola: 8544216 markings, 10889684 edges, 2714 markings/sec, 3140 secs
lola: 8557681 markings, 10907076 edges, 2693 markings/sec, 3145 secs
lola: 8571261 markings, 10924463 edges, 2716 markings/sec, 3150 secs
lola: 8584784 markings, 10941938 edges, 2705 markings/sec, 3155 secs
lola: 8598085 markings, 10960989 edges, 2660 markings/sec, 3160 secs
lola: 8611530 markings, 10978628 edges, 2689 markings/sec, 3165 secs
lola: 8625070 markings, 10995956 edges, 2708 markings/sec, 3170 secs
lola: 8638555 markings, 11013296 edges, 2697 markings/sec, 3175 secs
lola: 8652082 markings, 11030491 edges, 2705 markings/sec, 3180 secs
lola: 8665636 markings, 11047567 edges, 2711 markings/sec, 3185 secs
lola: 8679135 markings, 11064791 edges, 2700 markings/sec, 3190 secs
lola: 8692590 markings, 11082220 edges, 2691 markings/sec, 3195 secs
lola: 8706159 markings, 11099598 edges, 2714 markings/sec, 3200 secs
lola: 8719791 markings, 11116732 edges, 2726 markings/sec, 3205 secs
lola: 8733396 markings, 11133821 edges, 2721 markings/sec, 3210 secs
lola: 8746965 markings, 11150917 edges, 2714 markings/sec, 3215 secs
lola: 8760576 markings, 11168076 edges, 2722 markings/sec, 3220 secs
lola: 8774098 markings, 11184939 edges, 2704 markings/sec, 3225 secs
lola: 8787608 markings, 11202017 edges, 2702 markings/sec, 3230 secs
lola: 8800321 markings, 11218201 edges, 2543 markings/sec, 3235 secs
lola: 8813806 markings, 11235457 edges, 2697 markings/sec, 3240 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 2463012 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 2463012 KB
lola: time consumption: 3570 seconds
BK_STOP 1526684573795
--------------------
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="DLCround-PT-13b"
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/DLCround-PT-13b.tgz
mv DLCround-PT-13b 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 DLCround-PT-13b, 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 r064-smll-152649735300149"
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 ;