Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r159-csrt-155286430400029.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is SafeBus-COL-15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r159-csrt-155286430400029
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 188K
-rw-r--r-- 1 mcc users 3.1K Feb 12 15:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 12 15:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 8 17:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 8 17:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 101 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 339 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.2K Feb 5 01:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.4K Feb 5 01:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 4 17:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 4 17:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 1 14:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 1 14:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 equiv_pt
-rw-r--r-- 1 mcc users 3 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 42K Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME SafeBus-COL-15-UpperBounds-00
FORMULA_NAME SafeBus-COL-15-UpperBounds-01
FORMULA_NAME SafeBus-COL-15-UpperBounds-02
FORMULA_NAME SafeBus-COL-15-UpperBounds-03
FORMULA_NAME SafeBus-COL-15-UpperBounds-04
FORMULA_NAME SafeBus-COL-15-UpperBounds-05
FORMULA_NAME SafeBus-COL-15-UpperBounds-06
FORMULA_NAME SafeBus-COL-15-UpperBounds-07
FORMULA_NAME SafeBus-COL-15-UpperBounds-08
FORMULA_NAME SafeBus-COL-15-UpperBounds-09
FORMULA_NAME SafeBus-COL-15-UpperBounds-10
FORMULA_NAME SafeBus-COL-15-UpperBounds-11
FORMULA_NAME SafeBus-COL-15-UpperBounds-12
FORMULA_NAME SafeBus-COL-15-UpperBounds-13
FORMULA_NAME SafeBus-COL-15-UpperBounds-14
FORMULA_NAME SafeBus-COL-15-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552933279878

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ SafeBus-COL-15 @ 3570 seconds

FORMULA SafeBus-COL-15-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-15-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-15-UpperBounds-12 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-15-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-15-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-15-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-15-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-15-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-15-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-15-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-15-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-15-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-15-UpperBounds-08 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-15-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SafeBus-COL-15-UpperBounds-00 15 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for UpperBounds @ SafeBus-COL-15

{
"exit":
{
"memory": 621032,
"runtime": 3571.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 15,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 15,
"visible_transitions": 0
},
"processed": "MAX(p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513)",
"processed_size": 107,
"rewrites": 0
},
"result":
{
"preliminary_value": "15 1 1 1 1 unknown 1 1 15 1 1 1 15 1 1 1 "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: Places: 636, Transitions: 4801
lola: @ trans C_free
lola: @ trans C_refuse
lola: @ trans I_refused
lola: @ trans C_provide
lola: @ trans Gto
lola: @ trans I_ask1
lola: @ trans loss_m
lola: @ trans I_rec1
lola: @ trans I_rec2
lola: @ trans I_emit
lola: @ trans I_ask2
lola: @ trans I_reemit
lola: @ trans I_free
lola: @ trans loss_a
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 5437/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 20352
lola: finding significant places
lola: 636 places, 4801 transitions, 556 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: place invariant simplifies atomic proposition
lola: before: (p544 + p543 + p542 + p541 + p540 + p539 + p538 + p537 + p536 + p535 + p534 + p533 + p532 + p531 + p530 <= 0)
lola: after: (1 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 <= 0)
lola: after: (1 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p619 + p618 + p617 + p616 + p615 + p614 + p613 + p612 + p611 + p610 + p609 + p608 + p607 + p606 + p605 <= 0)
lola: after: (15 <= 0)
lola: MAX(p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272) : MAX(p498) : MAX(1) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14) : MAX(p529) : MAX(p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513) : MAX(1) : MAX(p635) : MAX(p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589) : MAX(p635) : MAX(p30) : MAX(p498) : MAX(15) : MAX(p31) : MAX(p635) : MAX(p30)
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(1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(1)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(1)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(15)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p498)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p498)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 5 markings, 4 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p635)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p635)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 5 markings, 4 edges
lola: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p635)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p635)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 5 markings, 4 edges
lola: ========================================
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p30)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p498)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p498)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 5 markings, 4 edges
lola: ========================================
lola: subprocess 8 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p529)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p529)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p31)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 10 will run for 592 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p635)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p635)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 5 markings, 4 edges
lola: ========================================
lola: subprocess 11 will run for 710 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p30)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 887 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589)
lola: processed formula length: 107
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 1183 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513)
lola: processed formula length: 107
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 15
lola: 8506 markings, 8801 edges, 1701 markings/sec, 0 secs
lola: 17794 markings, 18657 edges, 1858 markings/sec, 5 secs
lola: 26851 markings, 28922 edges, 1811 markings/sec, 10 secs
lola: 35934 markings, 39125 edges, 1817 markings/sec, 15 secs
lola: 45067 markings, 49162 edges, 1827 markings/sec, 20 secs
lola: 54223 markings, 59203 edges, 1831 markings/sec, 25 secs
lola: 63376 markings, 69916 edges, 1831 markings/sec, 30 secs
lola: 72390 markings, 80405 edges, 1803 markings/sec, 35 secs
lola: 81476 markings, 90965 edges, 1817 markings/sec, 40 secs
lola: 90504 markings, 102346 edges, 1806 markings/sec, 45 secs
lola: 99438 markings, 115515 edges, 1787 markings/sec, 50 secs
lola: 108310 markings, 127430 edges, 1774 markings/sec, 55 secs
lola: 117144 markings, 139788 edges, 1767 markings/sec, 60 secs
lola: 126111 markings, 152916 edges, 1793 markings/sec, 65 secs
lola: 135109 markings, 164999 edges, 1800 markings/sec, 70 secs
lola: 144260 markings, 175688 edges, 1830 markings/sec, 75 secs
lola: 153371 markings, 185538 edges, 1822 markings/sec, 80 secs
lola: 162411 markings, 195626 edges, 1808 markings/sec, 85 secs
lola: 171490 markings, 206856 edges, 1816 markings/sec, 90 secs
lola: 180343 markings, 220001 edges, 1771 markings/sec, 95 secs
lola: 189305 markings, 230626 edges, 1792 markings/sec, 100 secs
lola: 198156 markings, 242497 edges, 1770 markings/sec, 105 secs
lola: 206797 markings, 255143 edges, 1728 markings/sec, 110 secs
lola: 215288 markings, 269949 edges, 1698 markings/sec, 115 secs
lola: 224163 markings, 283504 edges, 1775 markings/sec, 120 secs
lola: 233185 markings, 294010 edges, 1804 markings/sec, 125 secs
lola: 242140 markings, 306739 edges, 1791 markings/sec, 130 secs
lola: 251072 markings, 319731 edges, 1786 markings/sec, 135 secs
lola: 259997 markings, 331520 edges, 1785 markings/sec, 140 secs
lola: 269107 markings, 343935 edges, 1822 markings/sec, 145 secs
lola: 278174 markings, 355285 edges, 1813 markings/sec, 150 secs
lola: 287475 markings, 368342 edges, 1860 markings/sec, 155 secs
lola: 296662 markings, 383102 edges, 1837 markings/sec, 160 secs
lola: 305346 markings, 397097 edges, 1737 markings/sec, 165 secs
lola: 314367 markings, 409529 edges, 1804 markings/sec, 170 secs
lola: 322727 markings, 423929 edges, 1672 markings/sec, 175 secs
lola: 331887 markings, 435193 edges, 1832 markings/sec, 180 secs
lola: 340691 markings, 449056 edges, 1761 markings/sec, 185 secs
lola: 349745 markings, 462690 edges, 1811 markings/sec, 190 secs
lola: 358611 markings, 478309 edges, 1773 markings/sec, 195 secs
lola: 367921 markings, 490999 edges, 1862 markings/sec, 200 secs
lola: 377479 markings, 504682 edges, 1912 markings/sec, 205 secs
lola: 385985 markings, 518436 edges, 1701 markings/sec, 210 secs
lola: 394401 markings, 532625 edges, 1683 markings/sec, 215 secs
lola: 403261 markings, 545273 edges, 1772 markings/sec, 220 secs
lola: 412478 markings, 556569 edges, 1843 markings/sec, 225 secs
lola: 421997 markings, 566841 edges, 1904 markings/sec, 230 secs
lola: 431283 markings, 577133 edges, 1857 markings/sec, 235 secs
lola: 440675 markings, 587718 edges, 1878 markings/sec, 240 secs
lola: 450022 markings, 598768 edges, 1869 markings/sec, 245 secs
lola: 459094 markings, 610536 edges, 1814 markings/sec, 250 secs
lola: 468245 markings, 622215 edges, 1830 markings/sec, 255 secs
lola: 477269 markings, 633015 edges, 1805 markings/sec, 260 secs
lola: 486215 markings, 645930 edges, 1789 markings/sec, 265 secs
lola: 495205 markings, 658956 edges, 1798 markings/sec, 270 secs
lola: 504409 markings, 671347 edges, 1841 markings/sec, 275 secs
lola: 513000 markings, 684333 edges, 1718 markings/sec, 280 secs
lola: 521265 markings, 698339 edges, 1653 markings/sec, 285 secs
lola: 529662 markings, 711938 edges, 1679 markings/sec, 290 secs
lola: 538602 markings, 725911 edges, 1788 markings/sec, 295 secs
lola: 547299 markings, 738180 edges, 1739 markings/sec, 300 secs
lola: 555745 markings, 752571 edges, 1689 markings/sec, 305 secs
lola: 564458 markings, 764878 edges, 1743 markings/sec, 310 secs
lola: 573320 markings, 777464 edges, 1772 markings/sec, 315 secs
lola: 581646 markings, 792573 edges, 1665 markings/sec, 320 secs
lola: 590591 markings, 809328 edges, 1789 markings/sec, 325 secs
lola: 599140 markings, 822365 edges, 1710 markings/sec, 330 secs
lola: 607330 markings, 838455 edges, 1638 markings/sec, 335 secs
lola: 615523 markings, 852199 edges, 1639 markings/sec, 340 secs
lola: 623835 markings, 866719 edges, 1662 markings/sec, 345 secs
lola: 632237 markings, 881447 edges, 1680 markings/sec, 350 secs
lola: 640717 markings, 894563 edges, 1696 markings/sec, 355 secs
lola: 649767 markings, 909416 edges, 1810 markings/sec, 360 secs
lola: 658512 markings, 925002 edges, 1749 markings/sec, 365 secs
lola: 666826 markings, 939603 edges, 1663 markings/sec, 370 secs
lola: 675055 markings, 953680 edges, 1646 markings/sec, 375 secs
lola: 683856 markings, 969597 edges, 1760 markings/sec, 380 secs
lola: 692908 markings, 980427 edges, 1810 markings/sec, 385 secs
lola: 701999 markings, 990371 edges, 1818 markings/sec, 390 secs
lola: 710950 markings, 1002411 edges, 1790 markings/sec, 395 secs
lola: 719313 markings, 1016648 edges, 1673 markings/sec, 400 secs
lola: 727991 markings, 1030280 edges, 1736 markings/sec, 405 secs
lola: 736971 markings, 1042808 edges, 1796 markings/sec, 410 secs
lola: 745721 markings, 1062017 edges, 1750 markings/sec, 415 secs
lola: 754722 markings, 1074148 edges, 1800 markings/sec, 420 secs
lola: 763724 markings, 1085809 edges, 1800 markings/sec, 425 secs
lola: 772358 markings, 1100167 edges, 1727 markings/sec, 430 secs
lola: 780718 markings, 1115134 edges, 1672 markings/sec, 435 secs
lola: 789130 markings, 1130318 edges, 1682 markings/sec, 440 secs
lola: 797403 markings, 1146098 edges, 1655 markings/sec, 445 secs
lola: 805748 markings, 1159970 edges, 1669 markings/sec, 450 secs
lola: 814409 markings, 1174371 edges, 1732 markings/sec, 455 secs
lola: 822756 markings, 1189216 edges, 1669 markings/sec, 460 secs
lola: 831043 markings, 1203819 edges, 1657 markings/sec, 465 secs
lola: 839295 markings, 1217452 edges, 1650 markings/sec, 470 secs
lola: 847695 markings, 1232838 edges, 1680 markings/sec, 475 secs
lola: 855830 markings, 1246497 edges, 1627 markings/sec, 480 secs
lola: 864270 markings, 1261292 edges, 1688 markings/sec, 485 secs
lola: 873129 markings, 1274015 edges, 1772 markings/sec, 490 secs
lola: 882070 markings, 1286184 edges, 1788 markings/sec, 495 secs
lola: 890963 markings, 1300878 edges, 1779 markings/sec, 500 secs
lola: 899530 markings, 1317888 edges, 1713 markings/sec, 505 secs
lola: 908085 markings, 1334868 edges, 1711 markings/sec, 510 secs
lola: 916449 markings, 1349387 edges, 1673 markings/sec, 515 secs
lola: 924762 markings, 1363878 edges, 1663 markings/sec, 520 secs
lola: 933127 markings, 1377834 edges, 1673 markings/sec, 525 secs
lola: 941465 markings, 1391520 edges, 1668 markings/sec, 530 secs
lola: 949966 markings, 1407181 edges, 1700 markings/sec, 535 secs
lola: 958325 markings, 1421649 edges, 1672 markings/sec, 540 secs
lola: 966547 markings, 1436315 edges, 1644 markings/sec, 545 secs
lola: 975480 markings, 1449512 edges, 1787 markings/sec, 550 secs
lola: 984411 markings, 1462795 edges, 1786 markings/sec, 555 secs
lola: 993290 markings, 1475830 edges, 1776 markings/sec, 560 secs
lola: 1001623 markings, 1489727 edges, 1667 markings/sec, 565 secs
lola: 1009788 markings, 1504189 edges, 1633 markings/sec, 570 secs
lola: 1018291 markings, 1518827 edges, 1701 markings/sec, 575 secs
lola: 1027331 markings, 1530363 edges, 1808 markings/sec, 580 secs
lola: 1036042 markings, 1542822 edges, 1742 markings/sec, 585 secs
lola: 1044184 markings, 1557264 edges, 1628 markings/sec, 590 secs
lola: 1052424 markings, 1571625 edges, 1648 markings/sec, 595 secs
lola: 1060795 markings, 1589136 edges, 1674 markings/sec, 600 secs
lola: 1069198 markings, 1604204 edges, 1681 markings/sec, 605 secs
lola: 1077434 markings, 1618401 edges, 1647 markings/sec, 610 secs
lola: 1085575 markings, 1634392 edges, 1628 markings/sec, 615 secs
lola: 1093856 markings, 1648335 edges, 1656 markings/sec, 620 secs
lola: 1102254 markings, 1663815 edges, 1680 markings/sec, 625 secs
lola: 1110799 markings, 1679119 edges, 1709 markings/sec, 630 secs
lola: 1119044 markings, 1694993 edges, 1649 markings/sec, 635 secs
lola: 1128284 markings, 1706628 edges, 1848 markings/sec, 640 secs
lola: 1136835 markings, 1722199 edges, 1710 markings/sec, 645 secs
lola: 1145337 markings, 1736383 edges, 1700 markings/sec, 650 secs
lola: 1153840 markings, 1750251 edges, 1701 markings/sec, 655 secs
lola: 1162325 markings, 1765424 edges, 1697 markings/sec, 660 secs
lola: 1170885 markings, 1782455 edges, 1712 markings/sec, 665 secs
lola: 1179398 markings, 1797775 edges, 1703 markings/sec, 670 secs
lola: 1187958 markings, 1811487 edges, 1712 markings/sec, 675 secs
lola: 1196495 markings, 1825243 edges, 1707 markings/sec, 680 secs
lola: 1205174 markings, 1840685 edges, 1736 markings/sec, 685 secs
lola: 1214087 markings, 1853837 edges, 1783 markings/sec, 690 secs
lola: 1222448 markings, 1868220 edges, 1672 markings/sec, 695 secs
lola: 1231236 markings, 1882782 edges, 1758 markings/sec, 700 secs
lola: 1239689 markings, 1898129 edges, 1691 markings/sec, 705 secs
lola: 1248180 markings, 1913052 edges, 1698 markings/sec, 710 secs
lola: 1256880 markings, 1928270 edges, 1740 markings/sec, 715 secs
lola: 1265747 markings, 1941864 edges, 1773 markings/sec, 720 secs
lola: 1274597 markings, 1954413 edges, 1770 markings/sec, 725 secs
lola: 1283225 markings, 1970577 edges, 1726 markings/sec, 730 secs
lola: 1291699 markings, 1986571 edges, 1695 markings/sec, 735 secs
lola: 1300275 markings, 2000204 edges, 1715 markings/sec, 740 secs
lola: 1308842 markings, 2015279 edges, 1713 markings/sec, 745 secs
lola: 1317841 markings, 2028772 edges, 1800 markings/sec, 750 secs
lola: 1327068 markings, 2043499 edges, 1845 markings/sec, 755 secs
lola: 1336392 markings, 2057896 edges, 1865 markings/sec, 760 secs
lola: 1345025 markings, 2072759 edges, 1727 markings/sec, 765 secs
lola: 1354235 markings, 2086363 edges, 1842 markings/sec, 770 secs
lola: 1363226 markings, 2102337 edges, 1798 markings/sec, 775 secs
lola: 1372425 markings, 2119045 edges, 1840 markings/sec, 780 secs
lola: 1381366 markings, 2133601 edges, 1788 markings/sec, 785 secs
lola: 1389891 markings, 2148386 edges, 1705 markings/sec, 790 secs
lola: 1398561 markings, 2163010 edges, 1734 markings/sec, 795 secs
lola: 1407054 markings, 2180568 edges, 1699 markings/sec, 800 secs
lola: 1415511 markings, 2195432 edges, 1691 markings/sec, 805 secs
lola: 1424220 markings, 2212787 edges, 1742 markings/sec, 810 secs
lola: 1432925 markings, 2227806 edges, 1741 markings/sec, 815 secs
lola: 1441520 markings, 2242046 edges, 1719 markings/sec, 820 secs
lola: 1449969 markings, 2256763 edges, 1690 markings/sec, 825 secs
lola: 1458279 markings, 2272070 edges, 1662 markings/sec, 830 secs
lola: 1467301 markings, 2288982 edges, 1804 markings/sec, 835 secs
lola: 1476293 markings, 2302273 edges, 1798 markings/sec, 840 secs
lola: 1484723 markings, 2316706 edges, 1686 markings/sec, 845 secs
lola: 1493016 markings, 2331373 edges, 1659 markings/sec, 850 secs
lola: 1501230 markings, 2346744 edges, 1643 markings/sec, 855 secs
lola: 1509604 markings, 2361108 edges, 1675 markings/sec, 860 secs
lola: 1517799 markings, 2377437 edges, 1639 markings/sec, 865 secs
lola: 1526100 markings, 2394198 edges, 1660 markings/sec, 870 secs
lola: 1534563 markings, 2409292 edges, 1693 markings/sec, 875 secs
lola: 1542988 markings, 2422528 edges, 1685 markings/sec, 880 secs
lola: 1551219 markings, 2436498 edges, 1646 markings/sec, 885 secs
lola: 1559498 markings, 2451991 edges, 1656 markings/sec, 890 secs
lola: 1567842 markings, 2466307 edges, 1669 markings/sec, 895 secs
lola: 1576169 markings, 2480891 edges, 1665 markings/sec, 900 secs
lola: 1584582 markings, 2495448 edges, 1683 markings/sec, 905 secs
lola: 1592793 markings, 2510736 edges, 1642 markings/sec, 910 secs
lola: 1601016 markings, 2525445 edges, 1645 markings/sec, 915 secs
lola: 1609288 markings, 2540574 edges, 1654 markings/sec, 920 secs
lola: 1617554 markings, 2555059 edges, 1653 markings/sec, 925 secs
lola: 1625816 markings, 2569954 edges, 1652 markings/sec, 930 secs
lola: 1634176 markings, 2585037 edges, 1672 markings/sec, 935 secs
lola: 1642588 markings, 2600555 edges, 1682 markings/sec, 940 secs
lola: 1650951 markings, 2614798 edges, 1673 markings/sec, 945 secs
lola: 1659390 markings, 2633139 edges, 1688 markings/sec, 950 secs
lola: 1667656 markings, 2648264 edges, 1653 markings/sec, 955 secs
lola: 1676149 markings, 2663803 edges, 1699 markings/sec, 960 secs
lola: 1684608 markings, 2680777 edges, 1692 markings/sec, 965 secs
lola: 1693128 markings, 2694811 edges, 1704 markings/sec, 970 secs
lola: 1701596 markings, 2710204 edges, 1694 markings/sec, 975 secs
lola: 1710012 markings, 2724423 edges, 1683 markings/sec, 980 secs
lola: 1718332 markings, 2739366 edges, 1664 markings/sec, 985 secs
lola: 1726623 markings, 2754591 edges, 1658 markings/sec, 990 secs
lola: 1735391 markings, 2769589 edges, 1754 markings/sec, 995 secs
lola: 1743918 markings, 2787449 edges, 1705 markings/sec, 1000 secs
lola: 1752817 markings, 2800398 edges, 1780 markings/sec, 1005 secs
lola: 1761552 markings, 2815721 edges, 1747 markings/sec, 1010 secs
lola: 1770035 markings, 2831863 edges, 1697 markings/sec, 1015 secs
lola: 1779069 markings, 2847185 edges, 1807 markings/sec, 1020 secs
lola: 1787521 markings, 2865063 edges, 1690 markings/sec, 1025 secs
lola: 1795955 markings, 2881053 edges, 1687 markings/sec, 1030 secs
lola: 1804393 markings, 2898088 edges, 1688 markings/sec, 1035 secs
lola: 1812985 markings, 2913545 edges, 1718 markings/sec, 1040 secs
lola: 1821418 markings, 2928547 edges, 1687 markings/sec, 1045 secs
lola: 1829850 markings, 2944397 edges, 1686 markings/sec, 1050 secs
lola: 1838222 markings, 2959177 edges, 1674 markings/sec, 1055 secs
lola: 1846494 markings, 2973290 edges, 1654 markings/sec, 1060 secs
lola: 1855013 markings, 2989260 edges, 1704 markings/sec, 1065 secs
lola: 1863520 markings, 3004801 edges, 1701 markings/sec, 1070 secs
lola: 1872039 markings, 3021147 edges, 1704 markings/sec, 1075 secs
lola: 1880469 markings, 3036900 edges, 1686 markings/sec, 1080 secs
lola: 1888909 markings, 3053378 edges, 1688 markings/sec, 1085 secs
lola: 1897461 markings, 3067842 edges, 1710 markings/sec, 1090 secs
lola: 1906052 markings, 3086164 edges, 1718 markings/sec, 1095 secs
lola: 1914614 markings, 3102057 edges, 1712 markings/sec, 1100 secs
lola: 1923280 markings, 3118533 edges, 1733 markings/sec, 1105 secs
lola: 1931868 markings, 3134141 edges, 1718 markings/sec, 1110 secs
lola: 1940594 markings, 3149446 edges, 1745 markings/sec, 1115 secs
lola: 1949156 markings, 3164609 edges, 1712 markings/sec, 1120 secs
lola: 1957766 markings, 3179841 edges, 1722 markings/sec, 1125 secs
lola: 1966389 markings, 3197894 edges, 1725 markings/sec, 1130 secs
lola: 1975044 markings, 3213508 edges, 1731 markings/sec, 1135 secs
lola: 1983458 markings, 3227944 edges, 1683 markings/sec, 1140 secs
lola: 1991827 markings, 3243365 edges, 1674 markings/sec, 1145 secs
lola: 2000435 markings, 3258665 edges, 1722 markings/sec, 1150 secs
lola: 2009508 markings, 3272971 edges, 1815 markings/sec, 1155 secs
lola: 2018227 markings, 3289364 edges, 1744 markings/sec, 1160 secs
lola: 2027092 markings, 3304476 edges, 1773 markings/sec, 1165 secs
lola: 2035853 markings, 3321717 edges, 1752 markings/sec, 1170 secs
lola: 2044372 markings, 3338360 edges, 1704 markings/sec, 1175 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 unknown 1 unknown 1 1 15 1 1 1 15 1 1 1
lola: memory consumption: 396792 KB
lola: time consumption: 1203 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1183 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14)
lola: processed formula length: 82
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 15 will run for 2352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272)
lola: processed formula length: 107
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 15
lola: SUBRESULT
lola: result: 15
lola: produced by: state space
lola: The maximum value of the given expression is 15
lola: 16 markings, 15 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p499 + p500 + p501 + p502 + p503 + p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513)
lola: processed formula length: 107
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 15
lola: 8133 markings, 8418 edges, 1627 markings/sec, 0 secs
lola: 17011 markings, 17822 edges, 1776 markings/sec, 5 secs
lola: 25769 markings, 27694 edges, 1752 markings/sec, 10 secs
lola: 34503 markings, 37547 edges, 1747 markings/sec, 15 secs
lola: 43430 markings, 47445 edges, 1785 markings/sec, 20 secs
lola: 52607 markings, 57423 edges, 1835 markings/sec, 25 secs
lola: 61793 markings, 67931 edges, 1837 markings/sec, 30 secs
lola: 70877 markings, 78740 edges, 1817 markings/sec, 35 secs
lola: 79981 markings, 89235 edges, 1821 markings/sec, 40 secs
lola: 88738 markings, 100086 edges, 1751 markings/sec, 45 secs
lola: 97465 markings, 112923 edges, 1745 markings/sec, 50 secs
lola: 106112 markings, 124463 edges, 1729 markings/sec, 55 secs
lola: 114664 markings, 137099 edges, 1710 markings/sec, 60 secs
lola: 123482 markings, 148318 edges, 1764 markings/sec, 65 secs
lola: 132152 markings, 161176 edges, 1734 markings/sec, 70 secs
lola: 141149 markings, 172337 edges, 1799 markings/sec, 75 secs
lola: 149979 markings, 181840 edges, 1766 markings/sec, 80 secs
lola: 158930 markings, 191502 edges, 1790 markings/sec, 85 secs
lola: 168098 markings, 202325 edges, 1834 markings/sec, 90 secs
lola: 177058 markings, 215089 edges, 1792 markings/sec, 95 secs
lola: 186011 markings, 227007 edges, 1791 markings/sec, 100 secs
lola: 195195 markings, 238098 edges, 1837 markings/sec, 105 secs
lola: 203827 markings, 251678 edges, 1726 markings/sec, 110 secs
lola: 212583 markings, 265764 edges, 1751 markings/sec, 115 secs
lola: 221451 markings, 280397 edges, 1774 markings/sec, 120 secs
lola: 230520 markings, 291055 edges, 1814 markings/sec, 125 secs
lola: 239551 markings, 303328 edges, 1806 markings/sec, 130 secs
lola: 248738 markings, 315508 edges, 1837 markings/sec, 135 secs
lola: 257648 markings, 328762 edges, 1782 markings/sec, 140 secs
lola: 266864 markings, 341445 edges, 1843 markings/sec, 145 secs
lola: 276103 markings, 352598 edges, 1848 markings/sec, 150 secs
lola: 285224 markings, 365592 edges, 1824 markings/sec, 155 secs
lola: 294237 markings, 378908 edges, 1803 markings/sec, 160 secs
lola: 303065 markings, 393647 edges, 1766 markings/sec, 165 secs
lola: 311915 markings, 406429 edges, 1770 markings/sec, 170 secs
lola: 320444 markings, 419381 edges, 1706 markings/sec, 175 secs
lola: 329379 markings, 431518 edges, 1787 markings/sec, 180 secs
lola: 337959 markings, 444293 edges, 1716 markings/sec, 185 secs
lola: 346830 markings, 456993 edges, 1774 markings/sec, 190 secs
lola: 355480 markings, 473485 edges, 1730 markings/sec, 195 secs
lola: 363891 markings, 486441 edges, 1682 markings/sec, 200 secs
lola: 373028 markings, 497509 edges, 1827 markings/sec, 205 secs
lola: 381692 markings, 511795 edges, 1733 markings/sec, 210 secs
lola: 390058 markings, 525167 edges, 1673 markings/sec, 215 secs
lola: 398549 markings, 538689 edges, 1698 markings/sec, 220 secs
lola: 407385 markings, 551087 edges, 1767 markings/sec, 225 secs
lola: 416727 markings, 561196 edges, 1868 markings/sec, 230 secs
lola: 426015 markings, 571534 edges, 1858 markings/sec, 235 secs
lola: 435081 markings, 581179 edges, 1813 markings/sec, 240 secs
lola: 444279 markings, 591860 edges, 1840 markings/sec, 245 secs
lola: 453290 markings, 603037 edges, 1802 markings/sec, 250 secs
lola: 462272 markings, 614784 edges, 1796 markings/sec, 255 secs
lola: 471475 markings, 625960 edges, 1841 markings/sec, 260 secs
lola: 480289 markings, 637554 edges, 1763 markings/sec, 265 secs
lola: 489075 markings, 649575 edges, 1757 markings/sec, 270 secs
lola: 497869 markings, 662774 edges, 1759 markings/sec, 275 secs
lola: 506535 markings, 674842 edges, 1733 markings/sec, 280 secs
lola: 514880 markings, 687316 edges, 1669 markings/sec, 285 secs
lola: 522948 markings, 701209 edges, 1614 markings/sec, 290 secs
lola: 531054 markings, 714220 edges, 1621 markings/sec, 295 secs
lola: 539502 markings, 727332 edges, 1690 markings/sec, 300 secs
lola: 547912 markings, 739280 edges, 1682 markings/sec, 305 secs
lola: 555978 markings, 752997 edges, 1613 markings/sec, 310 secs
lola: 564413 markings, 764814 edges, 1687 markings/sec, 315 secs
lola: 572974 markings, 776554 edges, 1712 markings/sec, 320 secs
lola: 580983 markings, 791170 edges, 1602 markings/sec, 325 secs
lola: 589199 markings, 806877 edges, 1643 markings/sec, 330 secs
lola: 597215 markings, 819604 edges, 1603 markings/sec, 335 secs
lola: 605179 markings, 834657 edges, 1593 markings/sec, 340 secs
lola: 613030 markings, 848137 edges, 1570 markings/sec, 345 secs
lola: 621015 markings, 861984 edges, 1597 markings/sec, 350 secs
lola: 628989 markings, 875447 edges, 1595 markings/sec, 355 secs
lola: 637094 markings, 889502 edges, 1621 markings/sec, 360 secs
lola: 645772 markings, 902228 edges, 1736 markings/sec, 365 secs
lola: 654340 markings, 918255 edges, 1714 markings/sec, 370 secs
lola: 662532 markings, 931789 edges, 1638 markings/sec, 375 secs
lola: 670610 markings, 945961 edges, 1616 markings/sec, 380 secs
lola: 678700 markings, 961593 edges, 1618 markings/sec, 385 secs
lola: 687371 markings, 974506 edges, 1734 markings/sec, 390 secs
lola: 696172 markings, 984027 edges, 1760 markings/sec, 395 secs
lola: 704997 markings, 993923 edges, 1765 markings/sec, 400 secs
lola: 713502 markings, 1006883 edges, 1701 markings/sec, 405 secs
lola: 721651 markings, 1020560 edges, 1630 markings/sec, 410 secs
lola: 730323 markings, 1032669 edges, 1734 markings/sec, 415 secs
lola: 738929 markings, 1047479 edges, 1721 markings/sec, 420 secs
lola: 747505 markings, 1064781 edges, 1715 markings/sec, 425 secs
lola: 756309 markings, 1075854 edges, 1761 markings/sec, 430 secs
lola: 765003 markings, 1087771 edges, 1739 markings/sec, 435 secs
lola: 773299 markings, 1101879 edges, 1659 markings/sec, 440 secs
lola: 781339 markings, 1115829 edges, 1608 markings/sec, 445 secs
lola: 789418 markings, 1130870 edges, 1616 markings/sec, 450 secs
lola: 797504 markings, 1146266 edges, 1617 markings/sec, 455 secs
lola: 805474 markings, 1159564 edges, 1594 markings/sec, 460 secs
lola: 813746 markings, 1173345 edges, 1654 markings/sec, 465 secs
lola: 821723 markings, 1187549 edges, 1595 markings/sec, 470 secs
lola: 829653 markings, 1201635 edges, 1586 markings/sec, 475 secs
lola: 837623 markings, 1214906 edges, 1594 markings/sec, 480 secs
lola: 845617 markings, 1229647 edges, 1599 markings/sec, 485 secs
lola: 853539 markings, 1242792 edges, 1584 markings/sec, 490 secs
lola: 861448 markings, 1255855 edges, 1582 markings/sec, 495 secs
lola: 869879 markings, 1269599 edges, 1686 markings/sec, 500 secs
lola: 878540 markings, 1281028 edges, 1732 markings/sec, 505 secs
lola: 887242 markings, 1292896 edges, 1740 markings/sec, 510 secs
lola: 895768 markings, 1308413 edges, 1705 markings/sec, 515 secs
lola: 903848 markings, 1326544 edges, 1616 markings/sec, 520 secs
lola: 912163 markings, 1341582 edges, 1663 markings/sec, 525 secs
lola: 920298 markings, 1355723 edges, 1627 markings/sec, 530 secs
lola: 928501 markings, 1370339 edges, 1641 markings/sec, 535 secs
lola: 936594 markings, 1383555 edges, 1619 markings/sec, 540 secs
lola: 944811 markings, 1398117 edges, 1643 markings/sec, 545 secs
lola: 953091 markings, 1412985 edges, 1656 markings/sec, 550 secs
lola: 961267 markings, 1426679 edges, 1635 markings/sec, 555 secs
lola: 969395 markings, 1442088 edges, 1626 markings/sec, 560 secs
lola: 978303 markings, 1453174 edges, 1782 markings/sec, 565 secs
lola: 986921 markings, 1466950 edges, 1724 markings/sec, 570 secs
lola: 995490 markings, 1479464 edges, 1714 markings/sec, 575 secs
lola: 1003651 markings, 1493323 edges, 1632 markings/sec, 580 secs
lola: 1011645 markings, 1507518 edges, 1599 markings/sec, 585 secs
lola: 1020136 markings, 1521009 edges, 1698 markings/sec, 590 secs
lola: 1029015 markings, 1532096 edges, 1776 markings/sec, 595 secs
lola: 1037557 markings, 1545825 edges, 1708 markings/sec, 600 secs
lola: 1045610 markings, 1559476 edges, 1611 markings/sec, 605 secs
lola: 1053736 markings, 1574372 edges, 1625 markings/sec, 610 secs
lola: 1061903 markings, 1591654 edges, 1633 markings/sec, 615 secs
lola: 1070084 markings, 1605543 edges, 1636 markings/sec, 620 secs
lola: 1078074 markings, 1619443 edges, 1598 markings/sec, 625 secs
lola: 1086033 markings, 1635086 edges, 1592 markings/sec, 630 secs
lola: 1094052 markings, 1648755 edges, 1604 markings/sec, 635 secs
lola: 1102179 markings, 1663644 edges, 1625 markings/sec, 640 secs
lola: 1110497 markings, 1678582 edges, 1664 markings/sec, 645 secs
lola: 1118754 markings, 1694693 edges, 1651 markings/sec, 650 secs
lola: 1127838 markings, 1706105 edges, 1817 markings/sec, 655 secs
lola: 1136223 markings, 1721091 edges, 1677 markings/sec, 660 secs
lola: 1144570 markings, 1735100 edges, 1669 markings/sec, 665 secs
lola: 1152876 markings, 1748645 edges, 1661 markings/sec, 670 secs
lola: 1161065 markings, 1763288 edges, 1638 markings/sec, 675 secs
lola: 1169230 markings, 1779166 edges, 1633 markings/sec, 680 secs
lola: 1177285 markings, 1793352 edges, 1611 markings/sec, 685 secs
lola: 1185389 markings, 1807546 edges, 1621 markings/sec, 690 secs
lola: 1193524 markings, 1820418 edges, 1627 markings/sec, 695 secs
lola: 1201578 markings, 1834445 edges, 1611 markings/sec, 700 secs
lola: 1210265 markings, 1847254 edges, 1737 markings/sec, 705 secs
lola: 1218441 markings, 1861537 edges, 1635 markings/sec, 710 secs
lola: 1226404 markings, 1874694 edges, 1593 markings/sec, 715 secs
lola: 1234663 markings, 1888797 edges, 1652 markings/sec, 720 secs
lola: 1243003 markings, 1903485 edges, 1668 markings/sec, 725 secs
lola: 1251469 markings, 1918903 edges, 1693 markings/sec, 730 secs
lola: 1260359 markings, 1933562 edges, 1778 markings/sec, 735 secs
lola: 1269194 markings, 1946353 edges, 1767 markings/sec, 740 secs
lola: 1277831 markings, 1960295 edges, 1727 markings/sec, 745 secs
lola: 1286333 markings, 1976805 edges, 1700 markings/sec, 750 secs
lola: 1294634 markings, 1991205 edges, 1660 markings/sec, 755 secs
lola: 1303193 markings, 2004644 edges, 1712 markings/sec, 760 secs
lola: 1311617 markings, 2021616 edges, 1685 markings/sec, 765 secs
lola: 1320831 markings, 2034077 edges, 1843 markings/sec, 770 secs
lola: 1329949 markings, 2049150 edges, 1824 markings/sec, 775 secs
lola: 1338726 markings, 2061670 edges, 1755 markings/sec, 780 secs
lola: 1347059 markings, 2075767 edges, 1667 markings/sec, 785 secs
lola: 1355597 markings, 2088412 edges, 1708 markings/sec, 790 secs
lola: 1364053 markings, 2103307 edges, 1691 markings/sec, 795 secs
lola: 1372558 markings, 2119337 edges, 1701 markings/sec, 800 secs
lola: 1380882 markings, 2132739 edges, 1665 markings/sec, 805 secs
lola: 1388843 markings, 2146355 edges, 1592 markings/sec, 810 secs
lola: 1396935 markings, 2160118 edges, 1618 markings/sec, 815 secs
lola: 1404843 markings, 2174413 edges, 1582 markings/sec, 820 secs
lola: 1412868 markings, 2190421 edges, 1605 markings/sec, 825 secs
lola: 1421315 markings, 2207667 edges, 1689 markings/sec, 830 secs
lola: 1429620 markings, 2222244 edges, 1661 markings/sec, 835 secs
lola: 1438000 markings, 2236326 edges, 1676 markings/sec, 840 secs
lola: 1446259 markings, 2249790 edges, 1652 markings/sec, 845 secs
lola: 1454486 markings, 2264880 edges, 1645 markings/sec, 850 secs
lola: 1463114 markings, 2279604 edges, 1726 markings/sec, 855 secs
lola: 1472096 markings, 2296656 edges, 1796 markings/sec, 860 secs
lola: 1480441 markings, 2309301 edges, 1669 markings/sec, 865 secs
lola: 1488547 markings, 2323606 edges, 1621 markings/sec, 870 secs
lola: 1496548 markings, 2338894 edges, 1600 markings/sec, 875 secs
lola: 1504652 markings, 2352615 edges, 1621 markings/sec, 880 secs
lola: 1512679 markings, 2367371 edges, 1605 markings/sec, 885 secs
lola: 1520897 markings, 2382986 edges, 1644 markings/sec, 890 secs
lola: 1529287 markings, 2399547 edges, 1678 markings/sec, 895 secs
lola: 1537859 markings, 2413208 edges, 1714 markings/sec, 900 secs
lola: 1546078 markings, 2427940 edges, 1644 markings/sec, 905 secs
lola: 1554357 markings, 2442893 edges, 1656 markings/sec, 910 secs
lola: 1562667 markings, 2457814 edges, 1662 markings/sec, 915 secs
lola: 1570772 markings, 2471445 edges, 1621 markings/sec, 920 secs
lola: 1578897 markings, 2485770 edges, 1625 markings/sec, 925 secs
lola: 1587050 markings, 2500394 edges, 1631 markings/sec, 930 secs
lola: 1595076 markings, 2514717 edges, 1605 markings/sec, 935 secs
lola: 1602991 markings, 2529177 edges, 1583 markings/sec, 940 secs
lola: 1611030 markings, 2543355 edges, 1608 markings/sec, 945 secs
lola: 1618992 markings, 2557673 edges, 1592 markings/sec, 950 secs
lola: 1626870 markings, 2571862 edges, 1576 markings/sec, 955 secs
lola: 1634907 markings, 2586381 edges, 1607 markings/sec, 960 secs
lola: 1642857 markings, 2601027 edges, 1590 markings/sec, 965 secs
lola: 1650927 markings, 2614765 edges, 1614 markings/sec, 970 secs
lola: 1658984 markings, 2632729 edges, 1611 markings/sec, 975 secs
lola: 1666988 markings, 2647197 edges, 1601 markings/sec, 980 secs
lola: 1675192 markings, 2661663 edges, 1641 markings/sec, 985 secs
lola: 1683272 markings, 2677465 edges, 1616 markings/sec, 990 secs
lola: 1691629 markings, 2692163 edges, 1671 markings/sec, 995 secs
lola: 1699761 markings, 2706793 edges, 1626 markings/sec, 1000 secs
lola: 1708031 markings, 2721000 edges, 1654 markings/sec, 1005 secs
lola: 1716049 markings, 2734866 edges, 1604 markings/sec, 1010 secs
lola: 1724229 markings, 2749649 edges, 1636 markings/sec, 1015 secs
lola: 1732493 markings, 2764623 edges, 1653 markings/sec, 1020 secs
lola: 1741184 markings, 2780802 edges, 1738 markings/sec, 1025 secs
lola: 1749992 markings, 2795508 edges, 1762 markings/sec, 1030 secs
lola: 1758673 markings, 2809887 edges, 1736 markings/sec, 1035 secs
lola: 1766761 markings, 2825597 edges, 1618 markings/sec, 1040 secs
lola: 1774911 markings, 2840799 edges, 1630 markings/sec, 1045 secs
lola: 1783481 markings, 2855670 edges, 1714 markings/sec, 1050 secs
lola: 1791360 markings, 2872615 edges, 1576 markings/sec, 1055 secs
lola: 1799365 markings, 2889355 edges, 1601 markings/sec, 1060 secs
lola: 1807351 markings, 2903371 edges, 1597 markings/sec, 1065 secs
lola: 1815501 markings, 2917990 edges, 1630 markings/sec, 1070 secs
lola: 1823364 markings, 2931942 edges, 1573 markings/sec, 1075 secs
lola: 1831407 markings, 2947159 edges, 1609 markings/sec, 1080 secs
lola: 1839429 markings, 2961237 edges, 1604 markings/sec, 1085 secs
lola: 1847436 markings, 2974843 edges, 1601 markings/sec, 1090 secs
lola: 1855429 markings, 2989949 edges, 1599 markings/sec, 1095 secs
lola: 1863431 markings, 3004654 edges, 1600 markings/sec, 1100 secs
lola: 1871389 markings, 3020119 edges, 1592 markings/sec, 1105 secs
lola: 1879288 markings, 3034839 edges, 1580 markings/sec, 1110 secs
lola: 1887197 markings, 3050305 edges, 1582 markings/sec, 1115 secs
lola: 1895093 markings, 3063845 edges, 1579 markings/sec, 1120 secs
lola: 1903116 markings, 3078623 edges, 1605 markings/sec, 1125 secs
lola: 1911136 markings, 3095869 edges, 1604 markings/sec, 1130 secs
lola: 1919263 markings, 3110057 edges, 1625 markings/sec, 1135 secs
lola: 1927235 markings, 3125809 edges, 1594 markings/sec, 1140 secs
lola: 1935468 markings, 3140464 edges, 1647 markings/sec, 1145 secs
lola: 1943649 markings, 3154614 edges, 1636 markings/sec, 1150 secs
lola: 1951774 markings, 3168652 edges, 1625 markings/sec, 1155 secs
lola: 1959814 markings, 3183879 edges, 1608 markings/sec, 1160 secs
lola: 1967966 markings, 3200916 edges, 1630 markings/sec, 1165 secs
lola: 1976116 markings, 3215094 edges, 1630 markings/sec, 1170 secs
lola: 1984071 markings, 3229080 edges, 1591 markings/sec, 1175 secs
lola: 1992032 markings, 3243672 edges, 1592 markings/sec, 1180 secs
lola: 2000198 markings, 3258242 edges, 1633 markings/sec, 1185 secs
lola: 2008735 markings, 3272172 edges, 1707 markings/sec, 1190 secs
lola: 2017058 markings, 3287035 edges, 1665 markings/sec, 1195 secs
lola: 2025362 markings, 3302113 edges, 1661 markings/sec, 1200 secs
lola: 2033742 markings, 3318047 edges, 1676 markings/sec, 1205 secs
lola: 2041887 markings, 3333802 edges, 1629 markings/sec, 1210 secs
lola: 2049932 markings, 3348314 edges, 1609 markings/sec, 1215 secs
lola: 2058052 markings, 3365411 edges, 1624 markings/sec, 1220 secs
lola: 2066197 markings, 3380407 edges, 1629 markings/sec, 1225 secs
lola: 2074220 markings, 3395134 edges, 1605 markings/sec, 1230 secs
lola: 2082800 markings, 3409746 edges, 1716 markings/sec, 1235 secs
lola: 2091288 markings, 3423471 edges, 1698 markings/sec, 1240 secs
lola: 2099256 markings, 3436228 edges, 1594 markings/sec, 1245 secs
lola: 2107680 markings, 3451987 edges, 1685 markings/sec, 1250 secs
lola: 2116340 markings, 3462883 edges, 1732 markings/sec, 1255 secs
lola: 2124428 markings, 3477556 edges, 1618 markings/sec, 1260 secs
lola: 2132373 markings, 3492850 edges, 1589 markings/sec, 1265 secs
lola: 2140159 markings, 3507834 edges, 1557 markings/sec, 1270 secs
lola: 2148135 markings, 3522258 edges, 1595 markings/sec, 1275 secs
lola: 2156219 markings, 3537467 edges, 1617 markings/sec, 1280 secs
lola: 2164285 markings, 3552073 edges, 1613 markings/sec, 1285 secs
lola: 2172278 markings, 3566405 edges, 1599 markings/sec, 1290 secs
lola: 2180291 markings, 3580803 edges, 1603 markings/sec, 1295 secs
lola: 2188247 markings, 3596960 edges, 1591 markings/sec, 1300 secs
lola: 2196124 markings, 3612019 edges, 1575 markings/sec, 1305 secs
lola: 2203955 markings, 3626730 edges, 1566 markings/sec, 1310 secs
lola: 2212009 markings, 3640829 edges, 1611 markings/sec, 1315 secs
lola: 2219919 markings, 3659334 edges, 1582 markings/sec, 1320 secs
lola: 2228193 markings, 3672855 edges, 1655 markings/sec, 1325 secs
lola: 2236360 markings, 3691733 edges, 1633 markings/sec, 1330 secs
lola: 2244800 markings, 3705160 edges, 1688 markings/sec, 1335 secs
lola: 2252808 markings, 3720306 edges, 1602 markings/sec, 1340 secs
lola: 2260874 markings, 3736481 edges, 1613 markings/sec, 1345 secs
lola: 2268889 markings, 3751731 edges, 1603 markings/sec, 1350 secs
lola: 2276914 markings, 3766154 edges, 1605 markings/sec, 1355 secs
lola: 2285106 markings, 3780042 edges, 1638 markings/sec, 1360 secs
lola: 2293276 markings, 3795113 edges, 1634 markings/sec, 1365 secs
lola: 2301450 markings, 3809923 edges, 1635 markings/sec, 1370 secs
lola: 2309458 markings, 3824155 edges, 1602 markings/sec, 1375 secs
lola: 2317581 markings, 3839352 edges, 1625 markings/sec, 1380 secs
lola: 2325929 markings, 3855442 edges, 1670 markings/sec, 1385 secs
lola: 2333944 markings, 3869292 edges, 1603 markings/sec, 1390 secs
lola: 2341995 markings, 3884615 edges, 1610 markings/sec, 1395 secs
lola: 2350036 markings, 3899093 edges, 1608 markings/sec, 1400 secs
lola: 2357938 markings, 3913715 edges, 1580 markings/sec, 1405 secs
lola: 2365800 markings, 3926935 edges, 1572 markings/sec, 1410 secs
lola: 2373818 markings, 3941339 edges, 1604 markings/sec, 1415 secs
lola: 2381649 markings, 3956028 edges, 1566 markings/sec, 1420 secs
lola: 2389635 markings, 3969144 edges, 1597 markings/sec, 1425 secs
lola: 2397853 markings, 3983717 edges, 1644 markings/sec, 1430 secs
lola: 2405983 markings, 4001871 edges, 1626 markings/sec, 1435 secs
lola: 2414219 markings, 4022461 edges, 1647 markings/sec, 1440 secs
lola: 2422080 markings, 4037934 edges, 1572 markings/sec, 1445 secs
lola: 2430253 markings, 4052957 edges, 1635 markings/sec, 1450 secs
lola: 2438265 markings, 4068055 edges, 1602 markings/sec, 1455 secs
lola: 2446200 markings, 4083461 edges, 1587 markings/sec, 1460 secs
lola: 2454372 markings, 4099105 edges, 1634 markings/sec, 1465 secs
lola: 2462357 markings, 4114256 edges, 1597 markings/sec, 1470 secs
lola: 2470467 markings, 4129236 edges, 1622 markings/sec, 1475 secs
lola: 2478816 markings, 4142862 edges, 1670 markings/sec, 1480 secs
lola: 2487141 markings, 4157552 edges, 1665 markings/sec, 1485 secs
lola: 2495250 markings, 4174313 edges, 1622 markings/sec, 1490 secs
lola: 2503197 markings, 4189019 edges, 1589 markings/sec, 1495 secs
lola: 2511306 markings, 4204032 edges, 1622 markings/sec, 1500 secs
lola: 2519228 markings, 4218944 edges, 1584 markings/sec, 1505 secs
lola: 2527636 markings, 4231580 edges, 1682 markings/sec, 1510 secs
lola: 2535969 markings, 4248184 edges, 1667 markings/sec, 1515 secs
lola: 2544113 markings, 4263312 edges, 1629 markings/sec, 1520 secs
lola: 2552398 markings, 4278316 edges, 1657 markings/sec, 1525 secs
lola: 2560510 markings, 4293809 edges, 1622 markings/sec, 1530 secs
lola: 2568666 markings, 4308886 edges, 1631 markings/sec, 1535 secs
lola: 2576720 markings, 4328287 edges, 1611 markings/sec, 1540 secs
lola: 2584784 markings, 4342896 edges, 1613 markings/sec, 1545 secs
lola: 2592702 markings, 4360072 edges, 1584 markings/sec, 1550 secs
lola: 2600548 markings, 4375218 edges, 1569 markings/sec, 1555 secs
lola: 2608701 markings, 4389404 edges, 1631 markings/sec, 1560 secs
lola: 2616686 markings, 4404761 edges, 1597 markings/sec, 1565 secs
lola: 2624508 markings, 4419391 edges, 1564 markings/sec, 1570 secs
lola: 2632244 markings, 4436109 edges, 1547 markings/sec, 1575 secs
lola: 2640236 markings, 4451494 edges, 1598 markings/sec, 1580 secs
lola: 2648157 markings, 4466786 edges, 1584 markings/sec, 1585 secs
lola: 2656187 markings, 4481433 edges, 1606 markings/sec, 1590 secs
lola: 2664149 markings, 4496509 edges, 1592 markings/sec, 1595 secs
lola: 2672036 markings, 4510016 edges, 1577 markings/sec, 1600 secs
lola: 2679813 markings, 4524410 edges, 1555 markings/sec, 1605 secs
lola: 2687686 markings, 4538904 edges, 1575 markings/sec, 1610 secs
lola: 2695617 markings, 4553864 edges, 1586 markings/sec, 1615 secs
lola: 2703866 markings, 4572002 edges, 1650 markings/sec, 1620 secs
lola: 2712025 markings, 4587131 edges, 1632 markings/sec, 1625 secs
lola: 2720218 markings, 4602713 edges, 1639 markings/sec, 1630 secs
lola: 2728143 markings, 4617412 edges, 1585 markings/sec, 1635 secs
lola: 2736310 markings, 4632744 edges, 1633 markings/sec, 1640 secs
lola: 2744421 markings, 4647926 edges, 1622 markings/sec, 1645 secs
lola: 2752554 markings, 4662021 edges, 1627 markings/sec, 1650 secs
lola: 2760853 markings, 4679600 edges, 1660 markings/sec, 1655 secs
lola: 2768916 markings, 4697810 edges, 1613 markings/sec, 1660 secs
lola: 2777019 markings, 4713435 edges, 1621 markings/sec, 1665 secs
lola: 2785037 markings, 4728018 edges, 1604 markings/sec, 1670 secs
lola: 2793181 markings, 4741866 edges, 1629 markings/sec, 1675 secs
lola: 2801339 markings, 4756348 edges, 1632 markings/sec, 1680 secs
lola: 2809528 markings, 4771481 edges, 1638 markings/sec, 1685 secs
lola: 2817685 markings, 4786293 edges, 1631 markings/sec, 1690 secs
lola: 2825822 markings, 4801387 edges, 1627 markings/sec, 1695 secs
lola: 2833936 markings, 4815976 edges, 1623 markings/sec, 1700 secs
lola: 2842055 markings, 4830698 edges, 1624 markings/sec, 1705 secs
lola: 2850087 markings, 4843706 edges, 1606 markings/sec, 1710 secs
lola: 2858190 markings, 4858011 edges, 1621 markings/sec, 1715 secs
lola: 2866238 markings, 4873698 edges, 1610 markings/sec, 1720 secs
lola: 2874272 markings, 4892119 edges, 1607 markings/sec, 1725 secs
lola: 2882092 markings, 4905856 edges, 1564 markings/sec, 1730 secs
lola: 2889847 markings, 4920228 edges, 1551 markings/sec, 1735 secs
lola: 2897837 markings, 4934941 edges, 1598 markings/sec, 1740 secs
lola: 2905682 markings, 4950305 edges, 1569 markings/sec, 1745 secs
lola: 2913553 markings, 4967183 edges, 1574 markings/sec, 1750 secs
lola: 2921476 markings, 4985860 edges, 1585 markings/sec, 1755 secs
lola: 2929466 markings, 5001421 edges, 1598 markings/sec, 1760 secs
lola: 2937408 markings, 5018073 edges, 1588 markings/sec, 1765 secs
lola: 2945430 markings, 5033955 edges, 1604 markings/sec, 1770 secs
lola: 2953467 markings, 5048597 edges, 1607 markings/sec, 1775 secs
lola: 2961655 markings, 5065631 edges, 1638 markings/sec, 1780 secs
lola: 2969745 markings, 5079831 edges, 1618 markings/sec, 1785 secs
lola: 2977757 markings, 5094252 edges, 1602 markings/sec, 1790 secs
lola: 2985898 markings, 5108551 edges, 1628 markings/sec, 1795 secs
lola: 2994204 markings, 5122727 edges, 1661 markings/sec, 1800 secs
lola: 3002137 markings, 5137977 edges, 1587 markings/sec, 1805 secs
lola: 3010212 markings, 5155012 edges, 1615 markings/sec, 1810 secs
lola: 3018689 markings, 5168071 edges, 1695 markings/sec, 1815 secs
lola: 3026973 markings, 5181916 edges, 1657 markings/sec, 1820 secs
lola: 3035218 markings, 5197922 edges, 1649 markings/sec, 1825 secs
lola: 3043363 markings, 5213307 edges, 1629 markings/sec, 1830 secs
lola: 3051455 markings, 5228136 edges, 1618 markings/sec, 1835 secs
lola: 3059933 markings, 5240028 edges, 1696 markings/sec, 1840 secs
lola: 3067749 markings, 5257031 edges, 1563 markings/sec, 1845 secs
lola: 3076126 markings, 5271291 edges, 1675 markings/sec, 1850 secs
lola: 3084307 markings, 5286715 edges, 1636 markings/sec, 1855 secs
lola: 3092483 markings, 5302298 edges, 1635 markings/sec, 1860 secs
lola: 3100486 markings, 5316361 edges, 1601 markings/sec, 1865 secs
lola: 3108627 markings, 5331088 edges, 1628 markings/sec, 1870 secs
lola: 3116747 markings, 5344649 edges, 1624 markings/sec, 1875 secs
lola: 3124747 markings, 5358782 edges, 1600 markings/sec, 1880 secs
lola: 3132795 markings, 5372983 edges, 1610 markings/sec, 1885 secs
lola: 3140774 markings, 5387967 edges, 1596 markings/sec, 1890 secs
lola: 3148832 markings, 5402831 edges, 1612 markings/sec, 1895 secs
lola: 3156760 markings, 5418812 edges, 1586 markings/sec, 1900 secs
lola: 3164875 markings, 5435537 edges, 1623 markings/sec, 1905 secs
lola: 3172830 markings, 5451318 edges, 1591 markings/sec, 1910 secs
lola: 3180937 markings, 5468378 edges, 1621 markings/sec, 1915 secs
lola: 3188990 markings, 5483599 edges, 1611 markings/sec, 1920 secs
lola: 3197044 markings, 5498628 edges, 1611 markings/sec, 1925 secs
lola: 3205225 markings, 5515012 edges, 1636 markings/sec, 1930 secs
lola: 3213483 markings, 5530277 edges, 1652 markings/sec, 1935 secs
lola: 3221799 markings, 5545441 edges, 1663 markings/sec, 1940 secs
lola: 3230146 markings, 5560419 edges, 1669 markings/sec, 1945 secs
lola: 3238417 markings, 5574995 edges, 1654 markings/sec, 1950 secs
lola: 3246796 markings, 5590229 edges, 1676 markings/sec, 1955 secs
lola: 3255105 markings, 5606549 edges, 1662 markings/sec, 1960 secs
lola: 3263594 markings, 5623501 edges, 1698 markings/sec, 1965 secs
lola: 3272048 markings, 5639030 edges, 1691 markings/sec, 1970 secs
lola: 3280064 markings, 5655642 edges, 1603 markings/sec, 1975 secs
lola: 3288263 markings, 5671293 edges, 1640 markings/sec, 1980 secs
lola: 3296327 markings, 5686047 edges, 1613 markings/sec, 1985 secs
lola: 3304406 markings, 5700650 edges, 1616 markings/sec, 1990 secs
lola: 3312538 markings, 5715677 edges, 1626 markings/sec, 1995 secs
lola: 3320711 markings, 5730231 edges, 1635 markings/sec, 2000 secs
lola: 3328892 markings, 5745165 edges, 1636 markings/sec, 2005 secs
lola: 3336946 markings, 5760609 edges, 1611 markings/sec, 2010 secs
lola: 3344927 markings, 5776359 edges, 1596 markings/sec, 2015 secs
lola: 3353169 markings, 5792312 edges, 1648 markings/sec, 2020 secs
lola: 3361478 markings, 5807152 edges, 1662 markings/sec, 2025 secs
lola: 3369666 markings, 5822998 edges, 1638 markings/sec, 2030 secs
lola: 3377556 markings, 5839175 edges, 1578 markings/sec, 2035 secs
lola: 3385592 markings, 5853634 edges, 1607 markings/sec, 2040 secs
lola: 3393531 markings, 5870159 edges, 1588 markings/sec, 2045 secs
lola: 3401395 markings, 5884973 edges, 1573 markings/sec, 2050 secs
lola: 3409496 markings, 5900217 edges, 1620 markings/sec, 2055 secs
lola: 3417513 markings, 5915755 edges, 1603 markings/sec, 2060 secs
lola: 3425651 markings, 5931357 edges, 1628 markings/sec, 2065 secs
lola: 3433627 markings, 5945409 edges, 1595 markings/sec, 2070 secs
lola: 3441719 markings, 5960420 edges, 1618 markings/sec, 2075 secs
lola: 3450095 markings, 5976191 edges, 1675 markings/sec, 2080 secs
lola: 3458490 markings, 5991815 edges, 1679 markings/sec, 2085 secs
lola: 3466873 markings, 6007178 edges, 1677 markings/sec, 2090 secs
lola: 3475131 markings, 6023950 edges, 1652 markings/sec, 2095 secs
lola: 3483557 markings, 6040830 edges, 1685 markings/sec, 2100 secs
lola: 3491919 markings, 6057224 edges, 1672 markings/sec, 2105 secs
lola: 3500424 markings, 6073580 edges, 1701 markings/sec, 2110 secs
lola: 3508809 markings, 6088570 edges, 1677 markings/sec, 2115 secs
lola: 3517130 markings, 6105062 edges, 1664 markings/sec, 2120 secs
lola: 3525469 markings, 6121798 edges, 1668 markings/sec, 2125 secs
lola: 3533938 markings, 6137744 edges, 1694 markings/sec, 2130 secs
lola: 3542389 markings, 6154656 edges, 1690 markings/sec, 2135 secs
lola: 3550524 markings, 6170577 edges, 1627 markings/sec, 2140 secs
lola: 3558727 markings, 6184888 edges, 1641 markings/sec, 2145 secs
lola: 3566792 markings, 6198796 edges, 1613 markings/sec, 2150 secs
lola: 3574723 markings, 6213508 edges, 1586 markings/sec, 2155 secs
lola: 3582665 markings, 6229847 edges, 1588 markings/sec, 2160 secs
lola: 3590677 markings, 6246665 edges, 1602 markings/sec, 2165 secs
lola: 3598600 markings, 6263287 edges, 1585 markings/sec, 2170 secs
lola: 3606606 markings, 6277633 edges, 1601 markings/sec, 2175 secs
lola: 3614494 markings, 6291570 edges, 1578 markings/sec, 2180 secs
lola: 3622615 markings, 6308206 edges, 1624 markings/sec, 2185 secs
lola: 3630617 markings, 6323813 edges, 1600 markings/sec, 2190 secs
lola: 3638589 markings, 6338803 edges, 1594 markings/sec, 2195 secs
lola: 3646619 markings, 6354363 edges, 1606 markings/sec, 2200 secs
lola: 3654548 markings, 6369219 edges, 1586 markings/sec, 2205 secs
lola: 3662524 markings, 6385137 edges, 1595 markings/sec, 2210 secs
lola: 3670407 markings, 6401713 edges, 1577 markings/sec, 2215 secs
lola: 3678369 markings, 6416046 edges, 1592 markings/sec, 2220 secs
lola: 3686247 markings, 6432047 edges, 1576 markings/sec, 2225 secs
lola: 3694305 markings, 6446617 edges, 1612 markings/sec, 2230 secs
lola: 3702396 markings, 6462428 edges, 1618 markings/sec, 2235 secs
lola: 3710441 markings, 6477259 edges, 1609 markings/sec, 2240 secs
lola: 3718657 markings, 6492983 edges, 1643 markings/sec, 2245 secs
lola: 3726790 markings, 6507438 edges, 1627 markings/sec, 2250 secs
lola: 3734789 markings, 6521178 edges, 1600 markings/sec, 2255 secs
lola: 3743049 markings, 6536971 edges, 1652 markings/sec, 2260 secs
lola: 3751350 markings, 6553323 edges, 1660 markings/sec, 2265 secs
lola: 3759694 markings, 6569765 edges, 1669 markings/sec, 2270 secs
lola: 3768099 markings, 6585731 edges, 1681 markings/sec, 2275 secs
lola: 3776457 markings, 6601286 edges, 1672 markings/sec, 2280 secs
lola: 3784864 markings, 6617720 edges, 1681 markings/sec, 2285 secs
lola: 3793322 markings, 6634274 edges, 1692 markings/sec, 2290 secs
lola: 3801756 markings, 6650196 edges, 1687 markings/sec, 2295 secs
lola: 3809967 markings, 6666780 edges, 1642 markings/sec, 2300 secs
lola: 3818094 markings, 6681158 edges, 1625 markings/sec, 2305 secs
lola: 3826264 markings, 6695761 edges, 1634 markings/sec, 2310 secs
lola: 3834313 markings, 6710296 edges, 1610 markings/sec, 2315 secs
lola: 3842488 markings, 6726464 edges, 1635 markings/sec, 2320 secs
lola: 3850544 markings, 6741500 edges, 1611 markings/sec, 2325 secs
lola: 3858560 markings, 6756403 edges, 1603 markings/sec, 2330 secs
lola: 3866540 markings, 6772343 edges, 1596 markings/sec, 2335 secs
lola: 3874893 markings, 6789570 edges, 1671 markings/sec, 2340 secs
lola: time limit reached - aborting
lola:
preliminary result: 15 1 1 1 1 unknown 1 1 15 1 1 1 15 1 1 1 lola:
caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: 15 1 1 1 1 unknown 1 1 15 1 1 1 15 1 1 1

preliminary result: 15 1 1 1 1 unknown 1 1 15 1 1 1 15 1 1 1
lola: memory consumption: 621032 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 15 1 1 1 1 unknown 1 1 15 1 1 1 15 1 1 1
lola: memory consumption: 621032 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1552936850045

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SafeBus-COL-15"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is SafeBus-COL-15, 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 r159-csrt-155286430400029"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-COL-15.tgz
mv SafeBus-COL-15 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;