About the Execution of LoLA for FlexibleBarrier-PT-12b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.290 | 3570495.00 | 3450200.00 | 14672.70 | ? ? 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 704K
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K 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 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K 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 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 536K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is FlexibleBarrier-PT-12b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-blw7-152649998100163
=====================================================================
--------------------
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 FlexibleBarrier-PT-12b-UpperBounds-00
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-01
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-02
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-03
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-04
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-05
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-06
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-07
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-08
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-09
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-10
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-11
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-12
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-13
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-14
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1526661455488
info: Time: 3600 - MCC
===========================================================================================
prep: translating FlexibleBarrier-PT-12b 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 FlexibleBarrier-PT-12b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ FlexibleBarrier-PT-12b @ 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: 4277/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 1988
lola: finding significant places
lola: 1988 places, 2289 transitions, 1974 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2315 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-12b-UpperBounds.task
lola: MAX(p1387) : MAX(p338) : MAX(p936) : MAX(p859) : MAX(p1534) : MAX(p1128) : MAX(p1295) : MAX(p545) : MAX(p34) : MAX(p1740) : MAX(p1062) : MAX(p1127) : MAX(p462) : MAX(p954) : MAX(p265) : MAX(p303)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1387)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1387)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 112298 markings, 135644 edges, 22460 markings/sec, 0 secs
lola: 234246 markings, 290263 edges, 24390 markings/sec, 5 secs
lola: 360040 markings, 446520 edges, 25159 markings/sec, 10 secs
lola: 483749 markings, 605343 edges, 24742 markings/sec, 15 secs
lola: 607351 markings, 763464 edges, 24720 markings/sec, 20 secs
lola: 728051 markings, 909043 edges, 24140 markings/sec, 25 secs
lola: 851958 markings, 1060293 edges, 24781 markings/sec, 30 secs
lola: 976629 markings, 1213743 edges, 24934 markings/sec, 35 secs
lola: 1101344 markings, 1367357 edges, 24943 markings/sec, 40 secs
lola: 1226083 markings, 1520981 edges, 24948 markings/sec, 45 secs
lola: 1350939 markings, 1674714 edges, 24971 markings/sec, 50 secs
lola: 1475958 markings, 1828667 edges, 25004 markings/sec, 55 secs
lola: 1601176 markings, 1982838 edges, 25044 markings/sec, 60 secs
lola: 1722361 markings, 2132454 edges, 24237 markings/sec, 65 secs
lola: 1848210 markings, 2286332 edges, 25170 markings/sec, 70 secs
lola: 1974624 markings, 2438909 edges, 25283 markings/sec, 75 secs
lola: 2097407 markings, 2594357 edges, 24557 markings/sec, 80 secs
lola: 2216940 markings, 2754173 edges, 23907 markings/sec, 85 secs
lola: 2336457 markings, 2914093 edges, 23903 markings/sec, 90 secs
lola: 2456288 markings, 3074463 edges, 23966 markings/sec, 95 secs
lola: 2575942 markings, 3234971 edges, 23931 markings/sec, 100 secs
lola: 2694780 markings, 3397635 edges, 23768 markings/sec, 105 secs
lola: 2810564 markings, 3564320 edges, 23157 markings/sec, 110 secs
lola: 2926555 markings, 3732664 edges, 23198 markings/sec, 115 secs
lola: 3043886 markings, 3884896 edges, 23466 markings/sec, 120 secs
lola: 3137015 markings, 4095134 edges, 18626 markings/sec, 125 secs
lola: 3252040 markings, 4241684 edges, 23005 markings/sec, 130 secs
lola: 3371275 markings, 4400520 edges, 23847 markings/sec, 135 secs
lola: 3494734 markings, 4556559 edges, 24692 markings/sec, 140 secs
lola: 3613105 markings, 4717570 edges, 23674 markings/sec, 145 secs
lola: 3734756 markings, 4872953 edges, 24330 markings/sec, 150 secs
lola: 3853039 markings, 5033087 edges, 23657 markings/sec, 155 secs
lola: 3973634 markings, 5191733 edges, 24119 markings/sec, 160 secs
lola: 4093463 markings, 5349935 edges, 23966 markings/sec, 165 secs
lola: 4214049 markings, 5505413 edges, 24117 markings/sec, 170 secs
lola: 4334665 markings, 5663776 edges, 24123 markings/sec, 175 secs
lola: 4456892 markings, 5818331 edges, 24445 markings/sec, 180 secs
lola: 4578155 markings, 5975782 edges, 24253 markings/sec, 185 secs
lola: 4698834 markings, 6134258 edges, 24136 markings/sec, 190 secs
lola: 4819883 markings, 6293101 edges, 24210 markings/sec, 195 secs
lola: 4941915 markings, 6450896 edges, 24406 markings/sec, 200 secs
lola: 5064769 markings, 6607703 edges, 24571 markings/sec, 205 secs
lola: 5186935 markings, 6767044 edges, 24433 markings/sec, 210 secs
lola: 5308705 markings, 6926723 edges, 24354 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1622676 KB
lola: time consumption: 224 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p338)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p338)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 115412 markings, 139314 edges, 23082 markings/sec, 0 secs
lola: 238837 markings, 297703 edges, 24685 markings/sec, 5 secs
lola: 362644 markings, 449616 edges, 24761 markings/sec, 10 secs
lola: 479733 markings, 600792 edges, 23418 markings/sec, 15 secs
lola: 603063 markings, 758366 edges, 24666 markings/sec, 20 secs
lola: 727162 markings, 907929 edges, 24820 markings/sec, 25 secs
lola: 851586 markings, 1059735 edges, 24885 markings/sec, 30 secs
lola: 971649 markings, 1208072 edges, 24013 markings/sec, 35 secs
lola: 1096376 markings, 1361693 edges, 24945 markings/sec, 40 secs
lola: 1221480 markings, 1515739 edges, 25021 markings/sec, 45 secs
lola: 1346414 markings, 1669608 edges, 24987 markings/sec, 50 secs
lola: 1466989 markings, 1818488 edges, 24115 markings/sec, 55 secs
lola: 1592342 markings, 1972805 edges, 25071 markings/sec, 60 secs
lola: 1717726 markings, 2126096 edges, 25077 markings/sec, 65 secs
lola: 1844250 markings, 2278877 edges, 25305 markings/sec, 70 secs
lola: 1970359 markings, 2433547 edges, 25222 markings/sec, 75 secs
lola: 2093331 markings, 2589155 edges, 24594 markings/sec, 80 secs
lola: 2212284 markings, 2748334 edges, 23791 markings/sec, 85 secs
lola: 2331527 markings, 2907980 edges, 23849 markings/sec, 90 secs
lola: 2451021 markings, 3067741 edges, 23899 markings/sec, 95 secs
lola: 2570851 markings, 3228015 edges, 23966 markings/sec, 100 secs
lola: 2689662 markings, 3389380 edges, 23762 markings/sec, 105 secs
lola: 2804220 markings, 3556516 edges, 22912 markings/sec, 110 secs
lola: 2919772 markings, 3724809 edges, 23110 markings/sec, 115 secs
lola: 3038671 markings, 3876159 edges, 23780 markings/sec, 120 secs
lola: 3133261 markings, 4084929 edges, 18918 markings/sec, 125 secs
lola: 3248400 markings, 4237372 edges, 23028 markings/sec, 130 secs
lola: 3367769 markings, 4396366 edges, 23874 markings/sec, 135 secs
lola: 3491264 markings, 4552043 edges, 24699 markings/sec, 140 secs
lola: 3608926 markings, 4712333 edges, 23532 markings/sec, 145 secs
lola: 3729415 markings, 4866334 edges, 24098 markings/sec, 150 secs
lola: 3847552 markings, 5026198 edges, 23627 markings/sec, 155 secs
lola: 3968266 markings, 5183579 edges, 24143 markings/sec, 160 secs
lola: 4055212 markings, 5301504 edges, 17389 markings/sec, 165 secs
lola: 4176325 markings, 5454279 edges, 24223 markings/sec, 170 secs
lola: 4296849 markings, 5611379 edges, 24105 markings/sec, 175 secs
lola: 4416959 markings, 5769153 edges, 24022 markings/sec, 180 secs
lola: 4537444 markings, 5927480 edges, 24097 markings/sec, 185 secs
lola: 4660288 markings, 6082486 edges, 24569 markings/sec, 190 secs
lola: 4782077 markings, 6240707 edges, 24358 markings/sec, 195 secs
lola: 4903314 markings, 6399806 edges, 24247 markings/sec, 200 secs
lola: 5024696 markings, 6559048 edges, 24276 markings/sec, 205 secs
lola: 5146746 markings, 6717798 edges, 24410 markings/sec, 210 secs
lola: 5269878 markings, 6874212 edges, 24626 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1171216 KB
lola: time consumption: 447 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p936)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p936)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 16 markings, 15 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-12b-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p859)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p859)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 23 markings, 22 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-12b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1534)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1534)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 7 markings, 6 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-12b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1128)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1128)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 23 markings, 22 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-12b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 312 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1295)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1295)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 9 markings, 8 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-12b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 346 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p545)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p545)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 31 markings, 30 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-12b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p34)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 30 markings, 29 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-12b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1740)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1740)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 25 markings, 24 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-12b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 520 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1062)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1062)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 38 markings, 37 edges
FORMULA FlexibleBarrier-PT-12b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================lola: subprocess 11 will run for 624 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1127)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1127)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 11 markings, 10 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-12b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 779 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p462)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p462)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 38 markings, 37 edges
FORMULA FlexibleBarrier-PT-12b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 1039 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p954)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p954)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 38 markings, 37 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-12b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1559 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p265)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p265)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 28 markings, 27 edges
FORMULA FlexibleBarrier-PT-12b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 3118 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p303)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p303)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 41 markings, 40 edges
lola: ========================================
FORMULA FlexibleBarrier-PT-12b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p1387)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1387)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 115004 markings, 138852 edges, 23001 markings/sec, 0 secs
lola: 238797 markings, 297655 edges, 24759 markings/sec, 5 secs
lola: 365464 markings, 453117 edges, 25333 markings/sec, 10 secs
lola: 489831 markings, 612311 edges, 24873 markings/sec, 15 secs
lola: 613489 markings, 770681 edges, 24732 markings/sec, 20 secs
lola: 737712 markings, 922913 edges, 24845 markings/sec, 25 secs
lola: 863387 markings, 1074659 edges, 25135 markings/sec, 30 secs
lola: 988479 markings, 1228048 edges, 25018 markings/sec, 35 secs
lola: 1113823 markings, 1381853 edges, 25069 markings/sec, 40 secs
lola: 1239256 markings, 1535892 edges, 25087 markings/sec, 45 secs
lola: 1364666 markings, 1690322 edges, 25082 markings/sec, 50 secs
lola: 1470214 markings, 1822142 edges, 21110 markings/sec, 55 secs
lola: 1587230 markings, 1965587 edges, 23403 markings/sec, 60 secs
lola: 1713735 markings, 2118697 edges, 25301 markings/sec, 65 secs
lola: 1839850 markings, 2273319 edges, 25223 markings/sec, 70 secs
lola: 1966097 markings, 2428229 edges, 25249 markings/sec, 75 secs
lola: 2089455 markings, 2584532 edges, 24672 markings/sec, 80 secs
lola: 2209390 markings, 2744826 edges, 23987 markings/sec, 85 secs
lola: 2329281 markings, 2905155 edges, 23978 markings/sec, 90 secs
lola: 2449572 markings, 3065920 edges, 24058 markings/sec, 95 secs
lola: 2569892 markings, 3226843 edges, 24064 markings/sec, 100 secs
lola: 2689616 markings, 3389333 edges, 23945 markings/sec, 105 secs
lola: 2805378 markings, 3557779 edges, 23152 markings/sec, 110 secs
lola: 2906341 markings, 3705478 edges, 20193 markings/sec, 115 secs
lola: 3017036 markings, 3847551 edges, 22139 markings/sec, 120 secs
lola: 3121019 markings, 4033617 edges, 20797 markings/sec, 125 secs
lola: 3223712 markings, 4206998 edges, 20539 markings/sec, 130 secs
lola: 3344684 markings, 4363253 edges, 24194 markings/sec, 135 secs
lola: 3466889 markings, 4522811 edges, 24441 markings/sec, 140 secs
lola: 3588487 markings, 4680225 edges, 24320 markings/sec, 145 secs
lola: 3707600 markings, 4840457 edges, 23823 markings/sec, 150 secs
lola: 3827984 markings, 4999166 edges, 24077 markings/sec, 155 secs
lola: 3949213 markings, 5156954 edges, 24246 markings/sec, 160 secs
lola: 4068793 markings, 5318282 edges, 23916 markings/sec, 165 secs
lola: 4189972 markings, 5473915 edges, 24236 markings/sec, 170 secs
lola: 4312242 markings, 5630113 edges, 24454 markings/sec, 175 secs
lola: 4433691 markings, 5789063 edges, 24290 markings/sec, 180 secs
lola: 4554981 markings, 5948231 edges, 24258 markings/sec, 185 secs
lola: 4676437 markings, 6107476 edges, 24291 markings/sec, 190 secs
lola: 4799771 markings, 6263721 edges, 24667 markings/sec, 195 secs
lola: 4922304 markings, 6422409 edges, 24507 markings/sec, 200 secs
lola: 5044377 markings, 6582541 edges, 24415 markings/sec, 205 secs
lola: 5166294 markings, 6742390 edges, 24383 markings/sec, 210 secs
lola: 5288461 markings, 6902521 edges, 24433 markings/sec, 215 secs
lola: 5412254 markings, 7059377 edges, 24759 markings/sec, 220 secs
lola: 5535338 markings, 7218987 edges, 24617 markings/sec, 225 secs
lola: 5652141 markings, 7381130 edges, 23361 markings/sec, 230 secs
lola: 5757850 markings, 7533659 edges, 21142 markings/sec, 235 secs
lola: 5865966 markings, 7686926 edges, 21623 markings/sec, 240 secs
lola: 5981954 markings, 7852903 edges, 23198 markings/sec, 245 secs
lola: 6097847 markings, 8019297 edges, 23179 markings/sec, 250 secs
lola: 6214138 markings, 8186036 edges, 23258 markings/sec, 255 secs
lola: 6326139 markings, 8359706 edges, 22400 markings/sec, 260 secs
lola: 6438319 markings, 8535189 edges, 22436 markings/sec, 265 secs
lola: 6552911 markings, 8697128 edges, 22918 markings/sec, 270 secs
lola: 6653012 markings, 8888296 edges, 20020 markings/sec, 275 secs
lola: 6749078 markings, 9074626 edges, 19213 markings/sec, 280 secs
lola: 6862394 markings, 9236258 edges, 22663 markings/sec, 285 secs
lola: 6981090 markings, 9398350 edges, 23739 markings/sec, 290 secs
lola: 7093786 markings, 9549555 edges, 22539 markings/sec, 295 secs
lola: 7206275 markings, 9695780 edges, 22498 markings/sec, 300 secs
lola: 7326839 markings, 9853316 edges, 24113 markings/sec, 305 secs
lola: 7447524 markings, 10009168 edges, 24137 markings/sec, 310 secs
lola: 7568672 markings, 10166512 edges, 24230 markings/sec, 315 secs
lola: 7688814 markings, 10324065 edges, 24028 markings/sec, 320 secs
lola: 7810750 markings, 10477960 edges, 24387 markings/sec, 325 secs
lola: 7933543 markings, 10632166 edges, 24559 markings/sec, 330 secs
lola: 8056002 markings, 10787727 edges, 24492 markings/sec, 335 secs
lola: 8178538 markings, 10943835 edges, 24507 markings/sec, 340 secs
lola: 8300986 markings, 11100386 edges, 24490 markings/sec, 345 secs
lola: 8423417 markings, 11256802 edges, 24486 markings/sec, 350 secs
lola: 8546018 markings, 11413466 edges, 24520 markings/sec, 355 secs
lola: 8668851 markings, 11570331 edges, 24567 markings/sec, 360 secs
lola: 8791796 markings, 11727537 edges, 24589 markings/sec, 365 secs
lola: 8916137 markings, 11882086 edges, 24868 markings/sec, 370 secs
lola: 9039581 markings, 12038890 edges, 24689 markings/sec, 375 secs
lola: 9157080 markings, 12199310 edges, 23500 markings/sec, 380 secs
lola: 9274276 markings, 12361510 edges, 23439 markings/sec, 385 secs
lola: 9391491 markings, 12523616 edges, 23443 markings/sec, 390 secs
lola: 9509203 markings, 12686541 edges, 23542 markings/sec, 395 secs
lola: 9626984 markings, 12849424 edges, 23556 markings/sec, 400 secs
lola: 9742183 markings, 13017488 edges, 23040 markings/sec, 405 secs
lola: 9856863 markings, 13187283 edges, 22936 markings/sec, 410 secs
lola: 9970773 markings, 13351945 edges, 22782 markings/sec, 415 secs
lola: 10075682 markings, 13502499 edges, 20982 markings/sec, 420 secs
lola: 10168636 markings, 13704887 edges, 18591 markings/sec, 425 secs
lola: 10282002 markings, 13861180 edges, 22673 markings/sec, 430 secs
lola: 10402274 markings, 14020205 edges, 24054 markings/sec, 435 secs
lola: 10523540 markings, 14176303 edges, 24253 markings/sec, 440 secs
lola: 10644397 markings, 14328709 edges, 24171 markings/sec, 445 secs
lola: 10767383 markings, 14482288 edges, 24597 markings/sec, 450 secs
lola: 10887971 markings, 14635239 edges, 24118 markings/sec, 455 secs
lola: 11009514 markings, 14784997 edges, 24309 markings/sec, 460 secs
lola: 11131967 markings, 14936237 edges, 24491 markings/sec, 465 secs
lola: 11256012 markings, 15084824 edges, 24809 markings/sec, 470 secs
lola: 11379120 markings, 15235663 edges, 24622 markings/sec, 475 secs
lola: 11495138 markings, 15378430 edges, 23204 markings/sec, 480 secs
lola: 11618053 markings, 15530025 edges, 24583 markings/sec, 485 secs
lola: 11741252 markings, 15681920 edges, 24640 markings/sec, 490 secs
lola: 11864664 markings, 15834043 edges, 24682 markings/sec, 495 secs
lola: 11988059 markings, 15986146 edges, 24679 markings/sec, 500 secs
lola: 12111511 markings, 16138310 edges, 24690 markings/sec, 505 secs
lola: 12236159 markings, 16289043 edges, 24930 markings/sec, 510 secs
lola: 12354657 markings, 16444508 edges, 23700 markings/sec, 515 secs
lola: 12473003 markings, 16602893 edges, 23669 markings/sec, 520 secs
lola: 12591571 markings, 16761535 edges, 23714 markings/sec, 525 secs
lola: 12710438 markings, 16920606 edges, 23773 markings/sec, 530 secs
lola: 12829714 markings, 17079753 edges, 23855 markings/sec, 535 secs
lola: 12945394 markings, 17242076 edges, 23136 markings/sec, 540 secs
lola: 13059541 markings, 17408312 edges, 22829 markings/sec, 545 secs
lola: 13174132 markings, 17567744 edges, 22918 markings/sec, 550 secs
lola: 13284181 markings, 17732102 edges, 22010 markings/sec, 555 secs
lola: 13385074 markings, 17925101 edges, 20179 markings/sec, 560 secs
lola: 13502568 markings, 18083806 edges, 23499 markings/sec, 565 secs
lola: 13622422 markings, 18241746 edges, 23971 markings/sec, 570 secs
lola: 13740578 markings, 18398232 edges, 23631 markings/sec, 575 secs
lola: 13859517 markings, 18551380 edges, 23788 markings/sec, 580 secs
lola: 13978065 markings, 18705386 edges, 23710 markings/sec, 585 secs
lola: 14098711 markings, 18859441 edges, 24129 markings/sec, 590 secs
lola: 14218571 markings, 19015811 edges, 23972 markings/sec, 595 secs
lola: 14336676 markings, 19170471 edges, 23621 markings/sec, 600 secs
lola: 14455624 markings, 19326711 edges, 23790 markings/sec, 605 secs
lola: 14575058 markings, 19483576 edges, 23887 markings/sec, 610 secs
lola: 14694862 markings, 19641079 edges, 23961 markings/sec, 615 secs
lola: 14816523 markings, 19796530 edges, 24332 markings/sec, 620 secs
lola: 14937473 markings, 19953946 edges, 24190 markings/sec, 625 secs
lola: 15058509 markings, 20111641 edges, 24207 markings/sec, 630 secs
lola: 15179625 markings, 20269853 edges, 24223 markings/sec, 635 secs
lola: 15299489 markings, 20428711 edges, 23973 markings/sec, 640 secs
lola: 15414498 markings, 20593957 edges, 23002 markings/sec, 645 secs
lola: 15529705 markings, 20759209 edges, 23041 markings/sec, 650 secs
lola: 15645161 markings, 20924936 edges, 23091 markings/sec, 655 secs
lola: 15728296 markings, 21045015 edges, 16627 markings/sec, 660 secs
lola: 15843472 markings, 21210971 edges, 23035 markings/sec, 665 secs
lola: 15956367 markings, 21376460 edges, 22579 markings/sec, 670 secs
lola: 16066529 markings, 21547688 edges, 22032 markings/sec, 675 secs
lola: 16177946 markings, 21715514 edges, 22283 markings/sec, 680 secs
lola: 16281772 markings, 21889186 edges, 20765 markings/sec, 685 secs
lola: 16371722 markings, 22089068 edges, 17990 markings/sec, 690 secs
lola: 16478721 markings, 22232681 edges, 21400 markings/sec, 695 secs
lola: 16594277 markings, 22388418 edges, 23111 markings/sec, 700 secs
lola: 16711998 markings, 22545706 edges, 23544 markings/sec, 705 secs
lola: 16830682 markings, 22700234 edges, 23737 markings/sec, 710 secs
lola: 16950788 markings, 22855848 edges, 24021 markings/sec, 715 secs
lola: 17065042 markings, 23006404 edges, 22851 markings/sec, 720 secs
lola: 17180065 markings, 23149047 edges, 23005 markings/sec, 725 secs
lola: 17300853 markings, 23302345 edges, 24158 markings/sec, 730 secs
lola: 17421448 markings, 23456895 edges, 24119 markings/sec, 735 secs
lola: 17541959 markings, 23611052 edges, 24102 markings/sec, 740 secs
lola: 17662625 markings, 23765421 edges, 24133 markings/sec, 745 secs
lola: 17783536 markings, 23920046 edges, 24182 markings/sec, 750 secs
lola: 17905458 markings, 24072452 edges, 24384 markings/sec, 755 secs
lola: 18026930 markings, 24226295 edges, 24294 markings/sec, 760 secs
lola: 18148531 markings, 24380601 edges, 24320 markings/sec, 765 secs
lola: 18269940 markings, 24535975 edges, 24282 markings/sec, 770 secs
lola: 18391457 markings, 24691349 edges, 24303 markings/sec, 775 secs
lola: 18509194 markings, 24847441 edges, 23547 markings/sec, 780 secs
lola: 18625295 markings, 25008180 edges, 23220 markings/sec, 785 secs
lola: 18741594 markings, 25169101 edges, 23260 markings/sec, 790 secs
lola: 18858274 markings, 25330603 edges, 23336 markings/sec, 795 secs
lola: 18975025 markings, 25492181 edges, 23350 markings/sec, 800 secs
lola: 19090800 markings, 25655145 edges, 23155 markings/sec, 805 secs
lola: 19203038 markings, 25823963 edges, 22448 markings/sec, 810 secs
lola: 19315861 markings, 25993862 edges, 22565 markings/sec, 815 secs
lola: 19431043 markings, 26142901 edges, 23036 markings/sec, 820 secs
lola: 19519797 markings, 26355336 edges, 17751 markings/sec, 825 secs
lola: 19631192 markings, 26502404 edges, 22279 markings/sec, 830 secs
lola: 19752866 markings, 26657875 edges, 24335 markings/sec, 835 secs
lola: 19873101 markings, 26812266 edges, 24047 markings/sec, 840 secs
lola: 19996880 markings, 26958588 edges, 24756 markings/sec, 845 secs
lola: 20119978 markings, 27109819 edges, 24620 markings/sec, 850 secs
lola: 20242967 markings, 27261416 edges, 24598 markings/sec, 855 secs
lola: 20366039 markings, 27413151 edges, 24614 markings/sec, 860 secs
lola: 20489248 markings, 27565059 edges, 24642 markings/sec, 865 secs
lola: 20612749 markings, 27717274 edges, 24700 markings/sec, 870 secs
lola: 20736139 markings, 27869373 edges, 24678 markings/sec, 875 secs
lola: 20859358 markings, 28021561 edges, 24644 markings/sec, 880 secs
lola: 20984581 markings, 28171438 edges, 25045 markings/sec, 885 secs
lola: 21108859 markings, 28323877 edges, 24856 markings/sec, 890 secs
lola: 21233420 markings, 28476598 edges, 24912 markings/sec, 895 secs
lola: 21351627 markings, 28631841 edges, 23641 markings/sec, 900 secs
lola: 21469127 markings, 28789905 edges, 23500 markings/sec, 905 secs
lola: 21586880 markings, 28947233 edges, 23551 markings/sec, 910 secs
lola: 21704879 markings, 29105272 edges, 23600 markings/sec, 915 secs
lola: 21822915 markings, 29263208 edges, 23607 markings/sec, 920 secs
lola: 21939340 markings, 29424202 edges, 23285 markings/sec, 925 secs
lola: 22053869 markings, 29589732 edges, 22906 markings/sec, 930 secs
lola: 22168530 markings, 29754991 edges, 22932 markings/sec, 935 secs
lola: 22276739 markings, 29908437 edges, 21642 markings/sec, 940 secs
lola: 22374584 markings, 30105349 edges, 19569 markings/sec, 945 secs
lola: 22492260 markings, 30264089 edges, 23535 markings/sec, 950 secs
lola: 22611410 markings, 30416574 edges, 23830 markings/sec, 955 secs
lola: 22731548 markings, 30571036 edges, 24028 markings/sec, 960 secs
lola: 22846804 markings, 30722852 edges, 23051 markings/sec, 965 secs
lola: 22966475 markings, 30879932 edges, 23934 markings/sec, 970 secs
lola: 23087652 markings, 31034873 edges, 24235 markings/sec, 975 secs
lola: 23208253 markings, 31191143 edges, 24120 markings/sec, 980 secs
lola: 23328718 markings, 31348310 edges, 24093 markings/sec, 985 secs
lola: 23448900 markings, 31506055 edges, 24036 markings/sec, 990 secs
lola: 23568781 markings, 31663418 edges, 23976 markings/sec, 995 secs
lola: 23689172 markings, 31822093 edges, 24078 markings/sec, 1000 secs
lola: 23811761 markings, 31977188 edges, 24518 markings/sec, 1005 secs
lola: 23933166 markings, 32134892 edges, 24281 markings/sec, 1010 secs
lola: 24048672 markings, 32295205 edges, 23101 markings/sec, 1015 secs
lola: 24162456 markings, 32458028 edges, 22757 markings/sec, 1020 secs
lola: 24277513 markings, 32618697 edges, 23011 markings/sec, 1025 secs
lola: 24391673 markings, 32782385 edges, 22832 markings/sec, 1030 secs
lola: 24507102 markings, 32943395 edges, 23086 markings/sec, 1035 secs
lola: 24621798 markings, 33106008 edges, 22939 markings/sec, 1040 secs
lola: 24732750 markings, 33273881 edges, 22190 markings/sec, 1045 secs
lola: 24843227 markings, 33447031 edges, 22095 markings/sec, 1050 secs
lola: 24956138 markings, 33612331 edges, 22582 markings/sec, 1055 secs
lola: 25061560 markings, 33781686 edges, 21084 markings/sec, 1060 secs
lola: 25151560 markings, 33989841 edges, 18000 markings/sec, 1065 secs
lola: 25270199 markings, 34147281 edges, 23728 markings/sec, 1070 secs
lola: 25391330 markings, 34298665 edges, 24226 markings/sec, 1075 secs
lola: 25511709 markings, 34451528 edges, 24076 markings/sec, 1080 secs
lola: 25631968 markings, 34605430 edges, 24052 markings/sec, 1085 secs
lola: 25752394 markings, 34759556 edges, 24085 markings/sec, 1090 secs
lola: 25872968 markings, 34913770 edges, 24115 markings/sec, 1095 secs
lola: 25993836 markings, 35068365 edges, 24174 markings/sec, 1100 secs
lola: 26115961 markings, 35220749 edges, 24425 markings/sec, 1105 secs
lola: 26237620 markings, 35375049 edges, 24332 markings/sec, 1110 secs
lola: 26359125 markings, 35529439 edges, 24301 markings/sec, 1115 secs
lola: 26480705 markings, 35684878 edges, 24316 markings/sec, 1120 secs
lola: 26602062 markings, 35839974 edges, 24271 markings/sec, 1125 secs
lola: 26720222 markings, 35995682 edges, 23632 markings/sec, 1130 secs
lola: 26839673 markings, 36146260 edges, 23890 markings/sec, 1135 secs
lola: 26955292 markings, 36306466 edges, 23124 markings/sec, 1140 secs
lola: 27070990 markings, 36466608 edges, 23140 markings/sec, 1145 secs
lola: 27187147 markings, 36627538 edges, 23231 markings/sec, 1150 secs
lola: 27303439 markings, 36788465 edges, 23258 markings/sec, 1155 secs
lola: 27418677 markings, 36950343 edges, 23048 markings/sec, 1160 secs
lola: 27530962 markings, 37119377 edges, 22457 markings/sec, 1165 secs
lola: 27643999 markings, 37288770 edges, 22607 markings/sec, 1170 secs
lola: 27750084 markings, 37460544 edges, 21217 markings/sec, 1175 secs
lola: 27852388 markings, 37649582 edges, 20461 markings/sec, 1180 secs
lola: 27977752 markings, 37803908 edges, 25073 markings/sec, 1185 secs
lola: 28103068 markings, 37958207 edges, 25063 markings/sec, 1190 secs
lola: 28228385 markings, 38112488 edges, 25063 markings/sec, 1195 secs
lola: 28354113 markings, 38267219 edges, 25146 markings/sec, 1200 secs
lola: 28479499 markings, 38421652 edges, 25077 markings/sec, 1205 secs
lola: 28604920 markings, 38576036 edges, 25084 markings/sec, 1210 secs
lola: 28730780 markings, 38729602 edges, 25172 markings/sec, 1215 secs
lola: 28857230 markings, 38882725 edges, 25290 markings/sec, 1220 secs
lola: 28982844 markings, 39036681 edges, 25123 markings/sec, 1225 secs
lola: 29108325 markings, 39190482 edges, 25096 markings/sec, 1230 secs
lola: 29227679 markings, 39339326 edges, 23871 markings/sec, 1235 secs
lola: 29346979 markings, 39500046 edges, 23860 markings/sec, 1240 secs
lola: 29466827 markings, 39661586 edges, 23970 markings/sec, 1245 secs
lola: 29587474 markings, 39822241 edges, 24129 markings/sec, 1250 secs
lola: 29702643 markings, 39976846 edges, 23034 markings/sec, 1255 secs
lola: 29817549 markings, 40131409 edges, 22981 markings/sec, 1260 secs
lola: 29929227 markings, 40290864 edges, 22336 markings/sec, 1265 secs
lola: 30040027 markings, 40452062 edges, 22160 markings/sec, 1270 secs
lola: 30152756 markings, 40601588 edges, 22546 markings/sec, 1275 secs
lola: 30251562 markings, 40773236 edges, 19761 markings/sec, 1280 secs
lola: 30355575 markings, 40949755 edges, 20803 markings/sec, 1285 secs
lola: 30456536 markings, 41081114 edges, 20192 markings/sec, 1290 secs
lola: 30558309 markings, 41212270 edges, 20355 markings/sec, 1295 secs
lola: 30676142 markings, 41364650 edges, 23567 markings/sec, 1300 secs
lola: 30786130 markings, 41510357 edges, 21998 markings/sec, 1305 secs
lola: 30881657 markings, 41631589 edges, 19105 markings/sec, 1310 secs
lola: 31000047 markings, 41787216 edges, 23678 markings/sec, 1315 secs
lola: 31118908 markings, 41943416 edges, 23772 markings/sec, 1320 secs
lola: 31207832 markings, 42056758 edges, 17785 markings/sec, 1325 secs
lola: 31327726 markings, 42214209 edges, 23979 markings/sec, 1330 secs
lola: 31448254 markings, 42372721 edges, 24106 markings/sec, 1335 secs
lola: 31571327 markings, 42527805 edges, 24615 markings/sec, 1340 secs
lola: 31690133 markings, 42689437 edges, 23761 markings/sec, 1345 secs
lola: 31806683 markings, 42850917 edges, 23310 markings/sec, 1350 secs
lola: 31922188 markings, 43015698 edges, 23101 markings/sec, 1355 secs
lola: 32037735 markings, 43182095 edges, 23109 markings/sec, 1360 secs
lola: 32155281 markings, 43345466 edges, 23509 markings/sec, 1365 secs
lola: 32271782 markings, 43511521 edges, 23300 markings/sec, 1370 secs
lola: 32385320 markings, 43671453 edges, 22708 markings/sec, 1375 secs
lola: 32497086 markings, 43841421 edges, 22353 markings/sec, 1380 secs
lola: 32601665 markings, 44006150 edges, 20916 markings/sec, 1385 secs
lola: 32692201 markings, 44138770 edges, 18107 markings/sec, 1390 secs
lola: 32802548 markings, 44300511 edges, 22069 markings/sec, 1395 secs
lola: 32889693 markings, 44513791 edges, 17429 markings/sec, 1400 secs
lola: 32975071 markings, 44619650 edges, 17076 markings/sec, 1405 secs
lola: 33091154 markings, 44768549 edges, 23217 markings/sec, 1410 secs
lola: 33207716 markings, 44918633 edges, 23312 markings/sec, 1415 secs
lola: 33295402 markings, 45027542 edges, 17537 markings/sec, 1420 secs
lola: 33413075 markings, 45178366 edges, 23535 markings/sec, 1425 secs
lola: 33531655 markings, 45329711 edges, 23716 markings/sec, 1430 secs
lola: 33627565 markings, 45449481 edges, 19182 markings/sec, 1435 secs
lola: 33739044 markings, 45592945 edges, 22296 markings/sec, 1440 secs
lola: 33858994 markings, 45747038 edges, 23990 markings/sec, 1445 secs
lola: 33981115 markings, 45898570 edges, 24424 markings/sec, 1450 secs
lola: 34102788 markings, 46053138 edges, 24335 markings/sec, 1455 secs
lola: 34225068 markings, 46208585 edges, 24456 markings/sec, 1460 secs
lola: 34343869 markings, 46363654 edges, 23760 markings/sec, 1465 secs
lola: 34461175 markings, 46525834 edges, 23461 markings/sec, 1470 secs
lola: 34578688 markings, 46688331 edges, 23503 markings/sec, 1475 secs
lola: 34696465 markings, 46851101 edges, 23555 markings/sec, 1480 secs
lola: 34782673 markings, 46970739 edges, 17242 markings/sec, 1485 secs
lola: 34900606 markings, 47133760 edges, 23587 markings/sec, 1490 secs
lola: 35013055 markings, 47303815 edges, 22490 markings/sec, 1495 secs
lola: 35096650 markings, 47426668 edges, 16719 markings/sec, 1500 secs
lola: 35211710 markings, 47588637 edges, 23012 markings/sec, 1505 secs
lola: 35314361 markings, 47766661 edges, 20530 markings/sec, 1510 secs
lola: 35395633 markings, 47916068 edges, 16254 markings/sec, 1515 secs
lola: 35508784 markings, 48049602 edges, 22630 markings/sec, 1520 secs
lola: 35627414 markings, 48196264 edges, 23726 markings/sec, 1525 secs
lola: 35731230 markings, 48324618 edges, 20763 markings/sec, 1530 secs
lola: 35836538 markings, 48451766 edges, 21062 markings/sec, 1535 secs
lola: 35957006 markings, 48600508 edges, 24094 markings/sec, 1540 secs
lola: 36070456 markings, 48741267 edges, 22690 markings/sec, 1545 secs
lola: 36168693 markings, 48859532 edges, 19647 markings/sec, 1550 secs
lola: 36291297 markings, 49010122 edges, 24521 markings/sec, 1555 secs
lola: 36414104 markings, 49161578 edges, 24561 markings/sec, 1560 secs
lola: 36505003 markings, 49272672 edges, 18180 markings/sec, 1565 secs
lola: 36629338 markings, 49425127 edges, 24867 markings/sec, 1570 secs
lola: 36751037 markings, 49579680 edges, 24340 markings/sec, 1575 secs
lola: 36837256 markings, 49685144 edges, 17244 markings/sec, 1580 secs
lola: 36956254 markings, 49844376 edges, 23800 markings/sec, 1585 secs
lola: 37075470 markings, 50004139 edges, 23843 markings/sec, 1590 secs
lola: 37169876 markings, 50132606 edges, 18881 markings/sec, 1595 secs
lola: 37282037 markings, 50282217 edges, 22432 markings/sec, 1600 secs
lola: 37401592 markings, 50443552 edges, 23911 markings/sec, 1605 secs
lola: 37516832 markings, 50605713 edges, 23048 markings/sec, 1610 secs
lola: 37631991 markings, 50772213 edges, 23032 markings/sec, 1615 secs
lola: 37748338 markings, 50929263 edges, 23269 markings/sec, 1620 secs
lola: 37842799 markings, 51101443 edges, 18892 markings/sec, 1625 secs
lola: 37927021 markings, 51240042 edges, 16844 markings/sec, 1630 secs
lola: 38045567 markings, 51386411 edges, 23709 markings/sec, 1635 secs
lola: 38164600 markings, 51533580 edges, 23807 markings/sec, 1640 secs
lola: 38254086 markings, 51641651 edges, 17897 markings/sec, 1645 secs
lola: 38374508 markings, 51789944 edges, 24084 markings/sec, 1650 secs
lola: 38495355 markings, 51939176 edges, 24169 markings/sec, 1655 secs
lola: 38585417 markings, 52048481 edges, 18012 markings/sec, 1660 secs
lola: 38707825 markings, 52198506 edges, 24482 markings/sec, 1665 secs
lola: 38830512 markings, 52349738 edges, 24537 markings/sec, 1670 secs
lola: 38927829 markings, 52472397 edges, 19463 markings/sec, 1675 secs
lola: 39045014 markings, 52612817 edges, 23437 markings/sec, 1680 secs
lola: 39169739 markings, 52765833 edges, 24945 markings/sec, 1685 secs
lola: 39272673 markings, 52894182 edges, 20587 markings/sec, 1690 secs
lola: 39368817 markings, 53021545 edges, 19229 markings/sec, 1695 secs
lola: 39487040 markings, 53179699 edges, 23645 markings/sec, 1700 secs
lola: 39606320 markings, 53339369 edges, 23856 markings/sec, 1705 secs
lola: 39725771 markings, 53499091 edges, 23890 markings/sec, 1710 secs
lola: 39845189 markings, 53659080 edges, 23884 markings/sec, 1715 secs
lola: 39960983 markings, 53820875 edges, 23159 markings/sec, 1720 secs
lola: 40075555 markings, 53988141 edges, 22914 markings/sec, 1725 secs
lola: 40192293 markings, 54149812 edges, 23348 markings/sec, 1730 secs
lola: 40297532 markings, 54323714 edges, 21048 markings/sec, 1735 secs
lola: 40402736 markings, 54501367 edges, 21041 markings/sec, 1740 secs
lola: 40521192 markings, 54647833 edges, 23691 markings/sec, 1745 secs
lola: 40640217 markings, 54794969 edges, 23805 markings/sec, 1750 secs
lola: 40759948 markings, 54942854 edges, 23946 markings/sec, 1755 secs
lola: 40880939 markings, 55090501 edges, 24198 markings/sec, 1760 secs
lola: 41002764 markings, 55238237 edges, 24365 markings/sec, 1765 secs
lola: 41124808 markings, 55387970 edges, 24409 markings/sec, 1770 secs
lola: 41247494 markings, 55538596 edges, 24537 markings/sec, 1775 secs
lola: 41370457 markings, 55690234 edges, 24593 markings/sec, 1780 secs
lola: 41494042 markings, 55842534 edges, 24717 markings/sec, 1785 secs
lola: 41618399 markings, 55995683 edges, 24871 markings/sec, 1790 secs
lola: 41739048 markings, 56144221 edges, 24130 markings/sec, 1795 secs
lola: 41856040 markings, 56297441 edges, 23398 markings/sec, 1800 secs
lola: 41974665 markings, 56457727 edges, 23725 markings/sec, 1805 secs
lola: 42093488 markings, 56618239 edges, 23765 markings/sec, 1810 secs
lola: 42213143 markings, 56777762 edges, 23931 markings/sec, 1815 secs
lola: 42333067 markings, 56937790 edges, 23985 markings/sec, 1820 secs
lola: 42448756 markings, 57100354 edges, 23138 markings/sec, 1825 secs
lola: 42564084 markings, 57266409 edges, 23066 markings/sec, 1830 secs
lola: 42680812 markings, 57426633 edges, 23346 markings/sec, 1835 secs
lola: 42784750 markings, 57603917 edges, 20788 markings/sec, 1840 secs
lola: 42884648 markings, 57770411 edges, 19980 markings/sec, 1845 secs
lola: 43003561 markings, 57916928 edges, 23783 markings/sec, 1850 secs
lola: 43122813 markings, 58064271 edges, 23850 markings/sec, 1855 secs
lola: 43242812 markings, 58212500 edges, 24000 markings/sec, 1860 secs
lola: 43363342 markings, 58361506 edges, 24106 markings/sec, 1865 secs
lola: 43486043 markings, 58509068 edges, 24540 markings/sec, 1870 secs
lola: 43608431 markings, 58659046 edges, 24478 markings/sec, 1875 secs
lola: 43731252 markings, 58809749 edges, 24564 markings/sec, 1880 secs
lola: 43854745 markings, 58961433 edges, 24699 markings/sec, 1885 secs
lola: 43978502 markings, 59114004 edges, 24751 markings/sec, 1890 secs
lola: 44103043 markings, 59267353 edges, 24908 markings/sec, 1895 secs
lola: 44222918 markings, 59415165 edges, 23975 markings/sec, 1900 secs
lola: 44339595 markings, 59571225 edges, 23335 markings/sec, 1905 secs
lola: 44458839 markings, 59730499 edges, 23849 markings/sec, 1910 secs
lola: 44578360 markings, 59890099 edges, 23904 markings/sec, 1915 secs
lola: 44698052 markings, 60050268 edges, 23938 markings/sec, 1920 secs
lola: 44810912 markings, 60201711 edges, 22572 markings/sec, 1925 secs
lola: 44926781 markings, 60364465 edges, 23174 markings/sec, 1930 secs
lola: 45042212 markings, 60531003 edges, 23086 markings/sec, 1935 secs
lola: 45158813 markings, 60690739 edges, 23320 markings/sec, 1940 secs
lola: 45262986 markings, 60868376 edges, 20835 markings/sec, 1945 secs
lola: 45369487 markings, 61043068 edges, 21300 markings/sec, 1950 secs
lola: 45488127 markings, 61188509 edges, 23728 markings/sec, 1955 secs
lola: 45606938 markings, 61335372 edges, 23762 markings/sec, 1960 secs
lola: 45726287 markings, 61482885 edges, 23870 markings/sec, 1965 secs
lola: 45846332 markings, 61631162 edges, 24009 markings/sec, 1970 secs
lola: 45967614 markings, 61779395 edges, 24256 markings/sec, 1975 secs
lola: 46089608 markings, 61927231 edges, 24399 markings/sec, 1980 secs
lola: 46211703 markings, 62076870 edges, 24419 markings/sec, 1985 secs
lola: 46334452 markings, 62227551 edges, 24550 markings/sec, 1990 secs
lola: 46457636 markings, 62379382 edges, 24637 markings/sec, 1995 secs
lola: 46581580 markings, 62532104 edges, 24789 markings/sec, 2000 secs
lola: 46700887 markings, 62679224 edges, 23861 markings/sec, 2005 secs
lola: 46816864 markings, 62834532 edges, 23195 markings/sec, 2010 secs
lola: 46935467 markings, 62992946 edges, 23721 markings/sec, 2015 secs
lola: 47054307 markings, 63151792 edges, 23768 markings/sec, 2020 secs
lola: 47173220 markings, 63310990 edges, 23783 markings/sec, 2025 secs
lola: 47292589 markings, 63470677 edges, 23874 markings/sec, 2030 secs
lola: 47407962 markings, 63632015 edges, 23075 markings/sec, 2035 secs
lola: 47522325 markings, 63799030 edges, 22873 markings/sec, 2040 secs
lola: 47638753 markings, 63957302 edges, 23286 markings/sec, 2045 secs
lola: 47742241 markings, 64134515 edges, 20698 markings/sec, 2050 secs
lola: 47848657 markings, 64308685 edges, 21283 markings/sec, 2055 secs
lola: 47967129 markings, 64453795 edges, 23694 markings/sec, 2060 secs
lola: 48085933 markings, 64600627 edges, 23761 markings/sec, 2065 secs
lola: 48205250 markings, 64748101 edges, 23863 markings/sec, 2070 secs
lola: 48325328 markings, 64896437 edges, 24016 markings/sec, 2075 secs
lola: 48446217 markings, 65045309 edges, 24178 markings/sec, 2080 secs
lola: 48568823 markings, 65192897 edges, 24521 markings/sec, 2085 secs
lola: 48691095 markings, 65342861 edges, 24454 markings/sec, 2090 secs
lola: 48814160 markings, 65493623 edges, 24613 markings/sec, 2095 secs
lola: 48937291 markings, 65645397 edges, 24626 markings/sec, 2100 secs
lola: 49056558 markings, 65792748 edges, 23853 markings/sec, 2105 secs
lola: 49176195 markings, 65940269 edges, 23927 markings/sec, 2110 secs
lola: 49292189 markings, 66095281 edges, 23199 markings/sec, 2115 secs
lola: 49410511 markings, 66253848 edges, 23664 markings/sec, 2120 secs
lola: 49529387 markings, 66412548 edges, 23775 markings/sec, 2125 secs
lola: 49648540 markings, 66571723 edges, 23831 markings/sec, 2130 secs
lola: 49767924 markings, 66731434 edges, 23877 markings/sec, 2135 secs
lola: 49883210 markings, 66893090 edges, 23057 markings/sec, 2140 secs
lola: 49994393 markings, 67053242 edges, 22237 markings/sec, 2145 secs
lola: 50110582 markings, 67213978 edges, 23238 markings/sec, 2150 secs
lola: 50199135 markings, 67360751 edges, 17711 markings/sec, 2155 secs
lola: 50296898 markings, 67537469 edges, 19553 markings/sec, 2160 secs
lola: 50409758 markings, 67677585 edges, 22572 markings/sec, 2165 secs
lola: 50506147 markings, 67793110 edges, 19278 markings/sec, 2170 secs
lola: 50625119 markings, 67940208 edges, 23794 markings/sec, 2175 secs
lola: 50744877 markings, 68088183 edges, 23952 markings/sec, 2180 secs
lola: 50865228 markings, 68236785 edges, 24070 markings/sec, 2185 secs
lola: 50987057 markings, 68385363 edges, 24366 markings/sec, 2190 secs
lola: 51109604 markings, 68534006 edges, 24509 markings/sec, 2195 secs
lola: 51232340 markings, 68684527 edges, 24547 markings/sec, 2200 secs
lola: 51355763 markings, 68835894 edges, 24685 markings/sec, 2205 secs
lola: 51479416 markings, 68988271 edges, 24731 markings/sec, 2210 secs
lola: 51602225 markings, 69140938 edges, 24562 markings/sec, 2215 secs
lola: 51717498 markings, 69287965 edges, 23055 markings/sec, 2220 secs
lola: 51835851 markings, 69446104 edges, 23671 markings/sec, 2225 secs
lola: 51954577 markings, 69605260 edges, 23745 markings/sec, 2230 secs
lola: 52073644 markings, 69764586 edges, 23813 markings/sec, 2235 secs
lola: 52192992 markings, 69924190 edges, 23870 markings/sec, 2240 secs
lola: 52310562 markings, 70083157 edges, 23514 markings/sec, 2245 secs
lola: 52424664 markings, 70249926 edges, 22820 markings/sec, 2250 secs
lola: 52539906 markings, 70415815 edges, 23048 markings/sec, 2255 secs
lola: 52653286 markings, 70572431 edges, 22676 markings/sec, 2260 secs
lola: 52748104 markings, 70771611 edges, 18964 markings/sec, 2265 secs
lola: 52868028 markings, 70914799 edges, 23985 markings/sec, 2270 secs
lola: 52987104 markings, 71060593 edges, 23815 markings/sec, 2275 secs
lola: 53105986 markings, 71207603 edges, 23776 markings/sec, 2280 secs
lola: 53225803 markings, 71355637 edges, 23963 markings/sec, 2285 secs
lola: 53323460 markings, 71473839 edges, 19531 markings/sec, 2290 secs
lola: 53444863 markings, 71622744 edges, 24281 markings/sec, 2295 secs
lola: 53566619 markings, 71772611 edges, 24351 markings/sec, 2300 secs
lola: 53688886 markings, 71923469 edges, 24453 markings/sec, 2305 secs
lola: 53811694 markings, 72074853 edges, 24562 markings/sec, 2310 secs
lola: 53934889 markings, 72226732 edges, 24639 markings/sec, 2315 secs
lola: 54058220 markings, 72378798 edges, 24666 markings/sec, 2320 secs
lola: 54164729 markings, 72511074 edges, 21302 markings/sec, 2325 secs
lola: 54265967 markings, 72645444 edges, 20248 markings/sec, 2330 secs
lola: 54271050 markings, 72651880 edges, 1017 markings/sec, 2335 secs
lola: 54271723 markings, 72652720 edges, 135 markings/sec, 2340 secs
lola: 54272200 markings, 72653249 edges, 95 markings/sec, 2345 secs
lola: 54273107 markings, 72654532 edges, 181 markings/sec, 2350 secs
lola: 54273377 markings, 72654945 edges, 54 markings/sec, 2355 secs
lola: 54273825 markings, 72655901 edges, 90 markings/sec, 2360 secs
lola: 54274321 markings, 72657054 edges, 99 markings/sec, 2365 secs
lola: 54275593 markings, 72659248 edges, 254 markings/sec, 2370 secs
lola: 54276386 markings, 72660911 edges, 159 markings/sec, 2375 secs
lola: 54276975 markings, 72662631 edges, 118 markings/sec, 2380 secs
lola: 54277800 markings, 72663503 edges, 165 markings/sec, 2385 secs
lola: 54278715 markings, 72664468 edges, 183 markings/sec, 2390 secs
lola: 54279855 markings, 72665679 edges, 228 markings/sec, 2395 secs
lola: 54280529 markings, 72666439 edges, 135 markings/sec, 2400 secs
lola: 54281060 markings, 72667003 edges, 106 markings/sec, 2405 secs
lola: 54281477 markings, 72667596 edges, 83 markings/sec, 2410 secs
lola: 54282178 markings, 72668370 edges, 140 markings/sec, 2415 secs
lola: 54282586 markings, 72668846 edges, 82 markings/sec, 2420 secs
lola: 54283119 markings, 72669415 edges, 107 markings/sec, 2425 secs
lola: 54284411 markings, 72670821 edges, 258 markings/sec, 2430 secs
lola: 54284774 markings, 72671364 edges, 73 markings/sec, 2435 secs
lola: 54285819 markings, 72672959 edges, 209 markings/sec, 2440 secs
lola: 54286516 markings, 72673732 edges, 139 markings/sec, 2445 secs
lola: 54287076 markings, 72674335 edges, 112 markings/sec, 2450 secs
lola: 54288335 markings, 72675962 edges, 252 markings/sec, 2455 secs
lola: 54292108 markings, 72680712 edges, 755 markings/sec, 2460 secs
lola: 54293073 markings, 72681883 edges, 193 markings/sec, 2465 secs
lola: 54296621 markings, 72686396 edges, 710 markings/sec, 2470 secs
lola: 54299426 markings, 72689970 edges, 561 markings/sec, 2475 secs
lola: 54300437 markings, 72691192 edges, 202 markings/sec, 2480 secs
lola: 54301365 markings, 72692325 edges, 186 markings/sec, 2485 secs
lola: 54301883 markings, 72693056 edges, 104 markings/sec, 2490 secs
lola: 54302788 markings, 72694417 edges, 181 markings/sec, 2495 secs
lola: 54303905 markings, 72697038 edges, 223 markings/sec, 2500 secs
lola: 54304633 markings, 72698191 edges, 146 markings/sec, 2505 secs
lola: 54305934 markings, 72701159 edges, 260 markings/sec, 2510 secs
lola: 54306788 markings, 72702402 edges, 171 markings/sec, 2515 secs
lola: 54307690 markings, 72703345 edges, 180 markings/sec, 2520 secs
lola: 54308128 markings, 72703808 edges, 88 markings/sec, 2525 secs
lola: 54309309 markings, 72705064 edges, 236 markings/sec, 2530 secs
lola: 54315232 markings, 72712298 edges, 1185 markings/sec, 2535 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA FlexibleBarrier-PT-12b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p338)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p338)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-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: 114775 markings, 138590 edges, 22955 markings/sec, 0 secs
lola: 236817 markings, 294080 edges, 24408 markings/sec, 5 secs
lola: 357600 markings, 443568 edges, 24157 markings/sec, 10 secs
lola: 476233 markings, 596811 edges, 23727 markings/sec, 15 secs
lola: 598168 markings, 752569 edges, 24387 markings/sec, 20 secs
lola: 718267 markings, 896859 edges, 24020 markings/sec, 25 secs
lola: 840547 markings, 1047229 edges, 24456 markings/sec, 30 secs
lola: 963035 markings, 1198279 edges, 24498 markings/sec, 35 secs
lola: 1085866 markings, 1349758 edges, 24566 markings/sec, 40 secs
lola: 1209434 markings, 1502046 edges, 24714 markings/sec, 45 secs
lola: 1332731 markings, 1654046 edges, 24659 markings/sec, 50 secs
lola: 1457045 markings, 1805903 edges, 24863 markings/sec, 55 secs
lola: 1582509 markings, 1957464 edges, 25093 markings/sec, 60 secs
lola: 1707093 markings, 2110315 edges, 24917 markings/sec, 65 secs
lola: 1832383 markings, 2263916 edges, 25058 markings/sec, 70 secs
lola: 1957922 markings, 2417856 edges, 25108 markings/sec, 75 secs
lola: 2079524 markings, 2573837 edges, 24320 markings/sec, 80 secs
lola: 2197644 markings, 2728958 edges, 23624 markings/sec, 85 secs
lola: 2315560 markings, 2887429 edges, 23583 markings/sec, 90 secs
lola: 2433473 markings, 3045638 edges, 23583 markings/sec, 95 secs
lola: 2551215 markings, 3204520 edges, 23548 markings/sec, 100 secs
lola: 2669446 markings, 3362649 edges, 23646 markings/sec, 105 secs
lola: 2783065 markings, 3524671 edges, 22724 markings/sec, 110 secs
lola: 2893829 markings, 3687119 edges, 22153 markings/sec, 115 secs
lola: 3007039 markings, 3834903 edges, 22642 markings/sec, 120 secs
lola: 3108911 markings, 4012268 edges, 20374 markings/sec, 125 secs
lola: 3208531 markings, 4188751 edges, 19924 markings/sec, 130 secs
lola: 3327798 markings, 4340658 edges, 23853 markings/sec, 135 secs
lola: 3447377 markings, 4499936 edges, 23916 markings/sec, 140 secs
lola: 3567598 markings, 4651576 edges, 24044 markings/sec, 145 secs
lola: 3681361 markings, 4809607 edges, 22753 markings/sec, 150 secs
lola: 3801002 markings, 4959615 edges, 23928 markings/sec, 155 secs
lola: 3916185 markings, 5117532 edges, 23037 markings/sec, 160 secs
lola: 4035656 markings, 5273862 edges, 23894 markings/sec, 165 secs
lola: 4153714 markings, 5426269 edges, 23612 markings/sec, 170 secs
lola: 4271633 markings, 5581295 edges, 23584 markings/sec, 175 secs
lola: 4391802 markings, 5733735 edges, 24034 markings/sec, 180 secs
lola: 4511746 markings, 5889251 edges, 23989 markings/sec, 185 secs
lola: 4630876 markings, 6045968 edges, 23826 markings/sec, 190 secs
lola: 4750188 markings, 6202728 edges, 23862 markings/sec, 195 secs
lola: 4871061 markings, 6356408 edges, 24175 markings/sec, 200 secs
lola: 4991969 markings, 6512976 edges, 24182 markings/sec, 205 secs
lola: 5112779 markings, 6671329 edges, 24162 markings/sec, 210 secs
lola: 5233112 markings, 6829323 edges, 24067 markings/sec, 215 secs
lola: 5353905 markings, 6988016 edges, 24159 markings/sec, 220 secs
lola: 5476929 markings, 7143213 edges, 24605 markings/sec, 225 secs
lola: 5594486 markings, 7303276 edges, 23511 markings/sec, 230 secs
lola: 5708122 markings, 7461421 edges, 22727 markings/sec, 235 secs
lola: 5820560 markings, 7623099 edges, 22488 markings/sec, 240 secs
lola: 5932823 markings, 7786011 edges, 22453 markings/sec, 245 secs
lola: 6046959 markings, 7945516 edges, 22827 markings/sec, 250 secs
lola: 6160109 markings, 8108259 edges, 22630 markings/sec, 255 secs
lola: 6271321 markings, 8274251 edges, 22242 markings/sec, 260 secs
lola: 6380465 markings, 8444277 edges, 21829 markings/sec, 265 secs
lola: 6489968 markings, 8614426 edges, 21901 markings/sec, 270 secs
lola: 6600924 markings, 8767606 edges, 22191 markings/sec, 275 secs
lola: 6688817 markings, 8975748 edges, 17579 markings/sec, 280 secs
lola: 6792981 markings, 9138761 edges, 20833 markings/sec, 285 secs
lola: 6908152 markings, 9297027 edges, 23034 markings/sec, 290 secs
lola: 7024897 markings, 9461129 edges, 23349 markings/sec, 295 secs
lola: 7143858 markings, 9611146 edges, 23792 markings/sec, 300 secs
lola: 7259274 markings, 9766811 edges, 23083 markings/sec, 305 secs
lola: 7377782 markings, 9916668 edges, 23702 markings/sec, 310 secs
lola: 7494652 markings, 10071121 edges, 23374 markings/sec, 315 secs
lola: 7611881 markings, 10227087 edges, 23446 markings/sec, 320 secs
lola: 7730980 markings, 10375045 edges, 23820 markings/sec, 325 secs
lola: 7850373 markings, 10526730 edges, 23879 markings/sec, 330 secs
lola: 7969522 markings, 10679267 edges, 23830 markings/sec, 335 secs
lola: 8089042 markings, 10832283 edges, 23904 markings/sec, 340 secs
lola: 8208559 markings, 10985277 edges, 23903 markings/sec, 345 secs
lola: 8330161 markings, 11136771 edges, 24320 markings/sec, 350 secs
lola: 8450930 markings, 11290124 edges, 24154 markings/sec, 355 secs
lola: 8572262 markings, 11444193 edges, 24266 markings/sec, 360 secs
lola: 8692883 markings, 11598723 edges, 24124 markings/sec, 365 secs
lola: 8814515 markings, 11754221 edges, 24326 markings/sec, 370 secs
lola: 8936204 markings, 11909781 edges, 24338 markings/sec, 375 secs
lola: 9057713 markings, 12064788 edges, 24302 markings/sec, 380 secs
lola: 9172418 markings, 12219519 edges, 22941 markings/sec, 385 secs
lola: 9286943 markings, 12377994 edges, 22905 markings/sec, 390 secs
lola: 9401336 markings, 12536414 edges, 22879 markings/sec, 395 secs
lola: 9516299 markings, 12695731 edges, 22993 markings/sec, 400 secs
lola: 9631153 markings, 12854757 edges, 22971 markings/sec, 405 secs
lola: 9743292 markings, 13018669 edges, 22428 markings/sec, 410 secs
lola: 9854754 markings, 13183191 edges, 22292 markings/sec, 415 secs
lola: 9966310 markings, 13346844 edges, 22311 markings/sec, 420 secs
lola: 10076131 markings, 13503336 edges, 21964 markings/sec, 425 secs
lola: 10166641 markings, 13702259 edges, 18102 markings/sec, 430 secs
lola: 10279149 markings, 13855787 edges, 22502 markings/sec, 435 secs
lola: 10395979 markings, 14012174 edges, 23366 markings/sec, 440 secs
lola: 10513932 markings, 14165095 edges, 23591 markings/sec, 445 secs
lola: 10631707 markings, 14312270 edges, 23555 markings/sec, 450 secs
lola: 10751433 markings, 14462811 edges, 23945 markings/sec, 455 secs
lola: 10868488 markings, 14613266 edges, 23411 markings/sec, 460 secs
lola: 10988659 markings, 14756419 edges, 24034 markings/sec, 465 secs
lola: 11107788 markings, 14902557 edges, 23826 markings/sec, 470 secs
lola: 11226324 markings, 15049196 edges, 23707 markings/sec, 475 secs
lola: 11344899 markings, 15195804 edges, 23715 markings/sec, 480 secs
lola: 11463991 markings, 15343048 edges, 23818 markings/sec, 485 secs
lola: 11584221 markings, 15488275 edges, 24046 markings/sec, 490 secs
lola: 11704170 markings, 15634801 edges, 23990 markings/sec, 495 secs
lola: 11823991 markings, 15781796 edges, 23964 markings/sec, 500 secs
lola: 11944027 markings, 15930169 edges, 24007 markings/sec, 505 secs
lola: 12064008 markings, 16078390 edges, 23996 markings/sec, 510 secs
lola: 12183868 markings, 16226472 edges, 23972 markings/sec, 515 secs
lola: 12302682 markings, 16374129 edges, 23763 markings/sec, 520 secs
lola: 12417957 markings, 16528812 edges, 23055 markings/sec, 525 secs
lola: 12533847 markings, 16684151 edges, 23178 markings/sec, 530 secs
lola: 12649915 markings, 16839698 edges, 23214 markings/sec, 535 secs
lola: 12766634 markings, 16996066 edges, 23344 markings/sec, 540 secs
lola: 12884000 markings, 17153703 edges, 23473 markings/sec, 545 secs
lola: 12994352 markings, 17313741 edges, 22070 markings/sec, 550 secs
lola: 13105639 markings, 17475256 edges, 22257 markings/sec, 555 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 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: unknown unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1 lola:
preliminary result: unknown unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 2839480 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 2839480 KB
lola: time consumption: 3570 seconds
BK_STOP 1526665025983
--------------------
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="FlexibleBarrier-PT-12b"
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/FlexibleBarrier-PT-12b.tgz
mv FlexibleBarrier-PT-12b 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 FlexibleBarrier-PT-12b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r088-blw7-152649998100163"
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 ;