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.r016-csrt-155225065500443.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 BridgeAndVehicles-COL-V80P20N10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-csrt-155225065500443
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 216K
-rw-r--r-- 1 mcc users 5.0K Feb 9 08:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 9 08:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 5 05:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 05:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 118 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 356 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 4 23:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 2 01:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Feb 2 01:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Jan 29 13:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Jan 29 13:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 45K 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 BridgeAndVehicles-COL-V80P20N10-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V80P20N10-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552519873264

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ BridgeAndVehicles-COL-V80P20N10 @ 3570 seconds

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-03 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-04 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-05 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-06 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-07 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-08 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-10 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-13 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-14 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-15 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-02 10 TECHNIQUES SEQUENTIAL_PROCESSING TOPOLOGICAL EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ BridgeAndVehicles-COL-V80P20N10

{
"exit":
{
"memory": 517676,
"runtime": 3570.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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p176)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"preliminary_value": "1 1 10 80 80 80 80 80 80 1 80 1 unknown 80 80 80 "
},
"task":
{
"compoundnumber": 17,
"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: 188, Transitions: 2108
lola: @ trans altern_cpt
lola: @ trans timeout_B
lola: @ trans enregistrement_B
lola: @ trans timeout_A
lola: @ trans liberation_B
lola: @ trans enregistrement_A
lola: @ trans liberation_A
lola: @ trans autorisation_B
lola: @ trans basculement
lola: @ trans decision
lola: @ trans autorisation_A
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 2296/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 6016
lola: finding significant places
lola: 188 places, 2108 transitions, 181 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: (p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p98 + p97 + p96 + p95 + p94 + p93 + p99 <= 0)
lola: after: (1 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 <= 0)
lola: after: (1 <= 0)
lola: MAX(1) : MAX(p87 + p88) : MAX(p89) : MAX(p2) : MAX(p174) : MAX(p0) : MAX(p0) : MAX(p0) : MAX(p0) : MAX(1) : MAX(p5) : MAX(p3 + p4) : MAX(p176) : MAX(p174) : MAX(p0) : MAX(p174)
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(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2)
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 356 markings, 355 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p174)
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 81 markings, 80 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p89)
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: 20
lola: 144832 markings, 397666 edges, 28966 markings/sec, 0 secs
lola: 285412 markings, 878390 edges, 28116 markings/sec, 5 secs
lola: 428505 markings, 1324809 edges, 28619 markings/sec, 10 secs
lola: 571504 markings, 1815075 edges, 28600 markings/sec, 15 secs
lola: 715784 markings, 2199744 edges, 28856 markings/sec, 20 secs
lola: 862134 markings, 2632571 edges, 29270 markings/sec, 25 secs
lola: 1009227 markings, 3147657 edges, 29419 markings/sec, 30 secs
lola: 1156510 markings, 3660341 edges, 29457 markings/sec, 35 secs
lola: 1303272 markings, 4169953 edges, 29352 markings/sec, 40 secs
lola: 1450518 markings, 4677771 edges, 29449 markings/sec, 45 secs
lola: 1596914 markings, 5183992 edges, 29279 markings/sec, 50 secs
lola: 1743659 markings, 5691459 edges, 29349 markings/sec, 55 secs
lola: 1890456 markings, 6198941 edges, 29359 markings/sec, 60 secs
lola: 2034775 markings, 6701096 edges, 28864 markings/sec, 65 secs
lola: 2179783 markings, 7183993 edges, 29002 markings/sec, 70 secs
lola: 2318839 markings, 7666350 edges, 27811 markings/sec, 75 secs
lola: 2458225 markings, 8130759 edges, 27877 markings/sec, 80 secs
lola: 2612578 markings, 8603701 edges, 30871 markings/sec, 85 secs
lola: 2758027 markings, 9144225 edges, 29090 markings/sec, 90 secs
lola: 2903746 markings, 9586518 edges, 29144 markings/sec, 95 secs
lola: 3061443 markings, 9987352 edges, 31539 markings/sec, 100 secs
lola: 3212775 markings, 10450414 edges, 30266 markings/sec, 105 secs
lola: 3359473 markings, 10970065 edges, 29340 markings/sec, 110 secs
lola: 3505855 markings, 11481686 edges, 29276 markings/sec, 115 secs
lola: 3652869 markings, 11997314 edges, 29403 markings/sec, 120 secs
lola: 3807522 markings, 12535680 edges, 30931 markings/sec, 125 secs
lola: 3956410 markings, 13059095 edges, 29778 markings/sec, 130 secs
lola: 4106033 markings, 13579394 edges, 29925 markings/sec, 135 secs
lola: 4257277 markings, 14107375 edges, 30249 markings/sec, 140 secs
lola: 4400794 markings, 14610880 edges, 28703 markings/sec, 145 secs
lola: 4539557 markings, 15096247 edges, 27753 markings/sec, 150 secs
lola: 4683687 markings, 15601417 edges, 28826 markings/sec, 155 secs
lola: 4821578 markings, 16081417 edges, 27578 markings/sec, 160 secs
lola: 4958217 markings, 16559759 edges, 27328 markings/sec, 165 secs
lola: 5094372 markings, 17037475 edges, 27231 markings/sec, 170 secs
lola: 5230979 markings, 17513091 edges, 27321 markings/sec, 175 secs
lola: 5370185 markings, 17991468 edges, 27841 markings/sec, 180 secs
lola: 5521252 markings, 18516552 edges, 30213 markings/sec, 185 secs
lola: 5672040 markings, 19042730 edges, 30158 markings/sec, 190 secs
lola: 5822131 markings, 19569735 edges, 30018 markings/sec, 195 secs
lola: 5972561 markings, 20094877 edges, 30086 markings/sec, 200 secs
lola: 6123421 markings, 20617401 edges, 30172 markings/sec, 205 secs
lola: 6274246 markings, 21138639 edges, 30165 markings/sec, 210 secs
lola: 6425456 markings, 21661763 edges, 30242 markings/sec, 215 secs
lola: 6575542 markings, 22179429 edges, 30017 markings/sec, 220 secs
lola: 6725754 markings, 22699685 edges, 30042 markings/sec, 225 secs
lola: 6875751 markings, 23218733 edges, 29999 markings/sec, 230 secs
lola: 7028561 markings, 23730516 edges, 30562 markings/sec, 235 secs
lola: 7177603 markings, 24246522 edges, 29808 markings/sec, 240 secs
lola: 7317328 markings, 24704446 edges, 27945 markings/sec, 245 secs
lola: 7473131 markings, 25198523 edges, 31161 markings/sec, 250 secs
lola: 7608765 markings, 25708917 edges, 27127 markings/sec, 255 secs
lola: 7738620 markings, 26185408 edges, 25971 markings/sec, 260 secs
lola: 7883425 markings, 26569208 edges, 28961 markings/sec, 265 secs
lola: 8040005 markings, 26966205 edges, 31316 markings/sec, 270 secs
lola: 8196327 markings, 27417486 edges, 31264 markings/sec, 275 secs
lola: 8340698 markings, 27928867 edges, 28874 markings/sec, 280 secs
lola: 8479249 markings, 28417892 edges, 27710 markings/sec, 285 secs
lola: 8616783 markings, 28899541 edges, 27507 markings/sec, 290 secs
lola: 8754074 markings, 29382457 edges, 27458 markings/sec, 295 secs
lola: 8891135 markings, 29861684 edges, 27412 markings/sec, 300 secs
lola: 9027848 markings, 30343285 edges, 27343 markings/sec, 305 secs
lola: 9174413 markings, 30858949 edges, 29313 markings/sec, 310 secs
lola: 9324853 markings, 31383736 edges, 30088 markings/sec, 315 secs
lola: 9461160 markings, 31863102 edges, 27261 markings/sec, 320 secs
lola: 9597097 markings, 32339156 edges, 27187 markings/sec, 325 secs
lola: 9733084 markings, 32816631 edges, 27197 markings/sec, 330 secs
lola: 9868782 markings, 33293050 edges, 27140 markings/sec, 335 secs
lola: 10004878 markings, 33768856 edges, 27219 markings/sec, 340 secs
lola: 10141099 markings, 34249439 edges, 27244 markings/sec, 345 secs
lola: 10277108 markings, 34725042 edges, 27202 markings/sec, 350 secs
lola: 10414250 markings, 35207605 edges, 27428 markings/sec, 355 secs
lola: 10554455 markings, 35699589 edges, 28041 markings/sec, 360 secs
lola: 10695213 markings, 36194319 edges, 28152 markings/sec, 365 secs
lola: 10835611 markings, 36690464 edges, 28080 markings/sec, 370 secs
lola: 10976623 markings, 37177332 edges, 28202 markings/sec, 375 secs
lola: 11122077 markings, 37683177 edges, 29091 markings/sec, 380 secs
lola: 11271139 markings, 38204868 edges, 29812 markings/sec, 385 secs
lola: 11416312 markings, 38715043 edges, 29035 markings/sec, 390 secs
lola: 11561140 markings, 39223366 edges, 28966 markings/sec, 395 secs
lola: 11705434 markings, 39733502 edges, 28859 markings/sec, 400 secs
lola: 11849870 markings, 40239471 edges, 28887 markings/sec, 405 secs
lola: 11994975 markings, 40749083 edges, 29021 markings/sec, 410 secs
lola: 12139247 markings, 41251116 edges, 28854 markings/sec, 415 secs
lola: 12284617 markings, 41761162 edges, 29074 markings/sec, 420 secs
lola: 12429585 markings, 42265492 edges, 28994 markings/sec, 425 secs
lola: 12573864 markings, 42772293 edges, 28856 markings/sec, 430 secs
lola: 12719193 markings, 43277930 edges, 29066 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 80 80 80 80 80 80 1 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 unknown unknown 80 80 80 80 80 80 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 982308 KB
lola: time consumption: 451 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 9 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5)
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p176)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p176)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 168866 markings, 429439 edges, 33773 markings/sec, 30 secs
lola: 335108 markings, 851523 edges, 33248 markings/sec, 35 secs
lola: 500534 markings, 1272054 edges, 33085 markings/sec, 40 secs
lola: 665033 markings, 1689036 edges, 32900 markings/sec, 45 secs
lola: 828826 markings, 2105181 edges, 32759 markings/sec, 50 secs
lola: 989866 markings, 2512981 edges, 32208 markings/sec, 55 secs
lola: 1148371 markings, 2913774 edges, 31701 markings/sec, 60 secs
lola: 1316175 markings, 3336756 edges, 33561 markings/sec, 65 secs
lola: 1482531 markings, 3758373 edges, 33271 markings/sec, 70 secs
lola: 1645537 markings, 4170997 edges, 32601 markings/sec, 75 secs
lola: 1805147 markings, 4574075 edges, 31922 markings/sec, 80 secs
lola: 1962715 markings, 4971273 edges, 31514 markings/sec, 85 secs
lola: 2125746 markings, 5382683 edges, 32606 markings/sec, 90 secs
lola: 2284996 markings, 5784472 edges, 31850 markings/sec, 95 secs
lola: 2437714 markings, 6170327 edges, 30544 markings/sec, 100 secs
lola: 2590751 markings, 6556165 edges, 30607 markings/sec, 105 secs
lola: 2750755 markings, 6959665 edges, 32001 markings/sec, 110 secs
lola: 2911437 markings, 7364101 edges, 32136 markings/sec, 115 secs
lola: 3060529 markings, 7814737 edges, 29818 markings/sec, 120 secs
lola: 3203171 markings, 8317384 edges, 28528 markings/sec, 125 secs
lola: 3345373 markings, 8819377 edges, 28440 markings/sec, 130 secs
lola: 3495326 markings, 9348916 edges, 29991 markings/sec, 135 secs
lola: 3646489 markings, 9884138 edges, 30233 markings/sec, 140 secs
lola: 3799315 markings, 10423011 edges, 30565 markings/sec, 145 secs
lola: 3955285 markings, 10973025 edges, 31194 markings/sec, 150 secs
lola: 4111813 markings, 11525412 edges, 31306 markings/sec, 155 secs
lola: 4267713 markings, 12075361 edges, 31180 markings/sec, 160 secs
lola: 4422968 markings, 12621016 edges, 31051 markings/sec, 165 secs
lola: 4578907 markings, 13172738 edges, 31188 markings/sec, 170 secs
lola: 4735012 markings, 13722711 edges, 31221 markings/sec, 175 secs
lola: 4894417 markings, 14284298 edges, 31881 markings/sec, 180 secs
lola: 5052785 markings, 14842125 edges, 31674 markings/sec, 185 secs
lola: 5208682 markings, 15390209 edges, 31179 markings/sec, 190 secs
lola: 5368278 markings, 15952863 edges, 31919 markings/sec, 195 secs
lola: 5529071 markings, 16518855 edges, 32159 markings/sec, 200 secs
lola: 5689191 markings, 17083483 edges, 32024 markings/sec, 205 secs
lola: 5849217 markings, 17646377 edges, 32005 markings/sec, 210 secs
lola: 6007234 markings, 18197424 edges, 31603 markings/sec, 215 secs
lola: 6164233 markings, 18750251 edges, 31400 markings/sec, 220 secs
lola: 6319458 markings, 19295919 edges, 31045 markings/sec, 225 secs
lola: 6475083 markings, 19844045 edges, 31125 markings/sec, 230 secs
lola: 6631472 markings, 20397054 edges, 31278 markings/sec, 235 secs
lola: 6785714 markings, 20940887 edges, 30848 markings/sec, 240 secs
lola: 6940732 markings, 21487309 edges, 31004 markings/sec, 245 secs
lola: 7094829 markings, 22029749 edges, 30819 markings/sec, 250 secs
lola: 7249175 markings, 22574236 edges, 30869 markings/sec, 255 secs
lola: 7404335 markings, 23121048 edges, 31032 markings/sec, 260 secs
lola: 7559200 markings, 23665844 edges, 30973 markings/sec, 265 secs
lola: 7714163 markings, 24212046 edges, 30993 markings/sec, 270 secs
lola: 7869038 markings, 24758420 edges, 30975 markings/sec, 275 secs
lola: 8024794 markings, 25306014 edges, 31151 markings/sec, 280 secs
lola: 8179002 markings, 25849277 edges, 30842 markings/sec, 285 secs
lola: 8335298 markings, 26398981 edges, 31259 markings/sec, 290 secs
lola: 8489751 markings, 26944685 edges, 30891 markings/sec, 295 secs
lola: 8645142 markings, 27490038 edges, 31078 markings/sec, 300 secs
lola: 8801544 markings, 28033070 edges, 31280 markings/sec, 305 secs
lola: 8957891 markings, 28583904 edges, 31269 markings/sec, 310 secs
lola: 9113837 markings, 29130348 edges, 31189 markings/sec, 315 secs
lola: 9267824 markings, 29672348 edges, 30797 markings/sec, 320 secs
lola: 9418991 markings, 30205593 edges, 30233 markings/sec, 325 secs
lola: 9569652 markings, 30736409 edges, 30132 markings/sec, 330 secs
lola: 9724034 markings, 31280686 edges, 30876 markings/sec, 335 secs
lola: 9878846 markings, 31825123 edges, 30962 markings/sec, 340 secs
lola: 10033287 markings, 32368594 edges, 30888 markings/sec, 345 secs
lola: 10188652 markings, 32918148 edges, 31073 markings/sec, 350 secs
lola: 10342598 markings, 33459731 edges, 30789 markings/sec, 355 secs
lola: 10497421 markings, 34003849 edges, 30965 markings/sec, 360 secs
lola: 10648687 markings, 34537372 edges, 30253 markings/sec, 365 secs
lola: 10801618 markings, 35076509 edges, 30586 markings/sec, 370 secs
lola: 10949305 markings, 35595686 edges, 29537 markings/sec, 375 secs
lola: 11096663 markings, 36116038 edges, 29472 markings/sec, 380 secs
lola: 11238966 markings, 36616157 edges, 28461 markings/sec, 385 secs
lola: 11380146 markings, 37113091 edges, 28236 markings/sec, 390 secs
lola: 11540895 markings, 37678943 edges, 32150 markings/sec, 395 secs
lola: 11702313 markings, 38237771 edges, 32284 markings/sec, 400 secs
lola: 11862240 markings, 38799429 edges, 31985 markings/sec, 405 secs
lola: 12020110 markings, 39353818 edges, 31574 markings/sec, 410 secs
lola: 12174766 markings, 39898141 edges, 30931 markings/sec, 415 secs
lola: 12330005 markings, 40445387 edges, 31048 markings/sec, 420 secs
lola: 12486011 markings, 40993365 edges, 31201 markings/sec, 425 secs
lola: 12641567 markings, 41541782 edges, 31111 markings/sec, 430 secs
lola: 12793119 markings, 42076602 edges, 30310 markings/sec, 435 secs
lola: 12946679 markings, 42616883 edges, 30712 markings/sec, 440 secs
lola: 13102172 markings, 43164733 edges, 31099 markings/sec, 445 secs
lola: 13257632 markings, 43711083 edges, 31092 markings/sec, 450 secs
lola: 13411875 markings, 44255835 edges, 30849 markings/sec, 455 secs
lola: 13567140 markings, 44801661 edges, 31053 markings/sec, 460 secs
lola: 13720866 markings, 45343521 edges, 30745 markings/sec, 465 secs
lola: 13868953 markings, 45865862 edges, 29617 markings/sec, 470 secs
lola: 14010140 markings, 46362876 edges, 28237 markings/sec, 475 secs
lola: 14151583 markings, 46860250 edges, 28289 markings/sec, 480 secs
lola: 14303713 markings, 47389884 edges, 30426 markings/sec, 485 secs
lola: 14461159 markings, 47936123 edges, 31489 markings/sec, 490 secs
lola: 14617269 markings, 48485047 edges, 31222 markings/sec, 495 secs
lola: 14772841 markings, 49032688 edges, 31114 markings/sec, 500 secs
lola: 14928570 markings, 49579715 edges, 31146 markings/sec, 505 secs
lola: 15083687 markings, 50127228 edges, 31023 markings/sec, 510 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 80 80 80 80 80 80 1 80 unknown unknown unknown unknown unknown
lola: memory consumption: 1017448 KB
lola: time consumption: 971 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 11 will run for 519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p174)
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 81 markings, 80 edges
lola: ========================================
lola: subprocess 12 will run for 649 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 866 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p174)
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: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 81 markings, 80 edges
lola: ========================================
lola: subprocess 14 will run for 1298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p87 + p88)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p87 + p88)
lola: processed formula length: 14
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: 32 markings, 31 edges
lola: ========================================
lola: subprocess 15 will run for 2596 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3 + p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3 + p4)
lola: processed formula length: 12
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: 2 markings, 1 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p89)
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: 20
lola: 161923 markings, 458151 edges, 32385 markings/sec, 0 secs
lola: 317270 markings, 982705 edges, 31069 markings/sec, 5 secs
lola: 479612 markings, 1482196 edges, 32468 markings/sec, 10 secs
lola: 631470 markings, 1984726 edges, 30372 markings/sec, 15 secs
lola: 796244 markings, 2404662 edges, 32955 markings/sec, 20 secs
lola: 954328 markings, 2957692 edges, 31617 markings/sec, 25 secs
lola: 1112273 markings, 3508162 edges, 31589 markings/sec, 30 secs
lola: 1271133 markings, 4058272 edges, 31772 markings/sec, 35 secs
lola: 1428801 markings, 4603481 edges, 31534 markings/sec, 40 secs
lola: 1586375 markings, 5147255 edges, 31515 markings/sec, 45 secs
lola: 1743426 markings, 5690528 edges, 31410 markings/sec, 50 secs
lola: 1900276 markings, 6234180 edges, 31370 markings/sec, 55 secs
lola: 2056948 markings, 6776015 edges, 31334 markings/sec, 60 secs
lola: 2214742 markings, 7304445 edges, 31559 markings/sec, 65 secs
lola: 2367532 markings, 7832532 edges, 30558 markings/sec, 70 secs
lola: 2521760 markings, 8331780 edges, 30846 markings/sec, 75 secs
lola: 2685273 markings, 8875322 edges, 32703 markings/sec, 80 secs
lola: 2832884 markings, 9407526 edges, 29522 markings/sec, 85 secs
lola: 2997509 markings, 9824403 edges, 32925 markings/sec, 90 secs
lola: 3159388 markings, 10263740 edges, 32376 markings/sec, 95 secs
lola: 3315249 markings, 10812112 edges, 31172 markings/sec, 100 secs
lola: 3471381 markings, 11361529 edges, 31226 markings/sec, 105 secs
lola: 3626236 markings, 11904391 edges, 30971 markings/sec, 110 secs
lola: 3778890 markings, 12436751 edges, 30531 markings/sec, 115 secs
lola: 3926561 markings, 12954713 edges, 29534 markings/sec, 120 secs
lola: 4072957 markings, 13464580 edges, 29279 markings/sec, 125 secs
lola: 4222615 markings, 13986400 edges, 29932 markings/sec, 130 secs
lola: 4371329 markings, 14507225 edges, 29743 markings/sec, 135 secs
lola: 4523795 markings, 15039318 edges, 30493 markings/sec, 140 secs
lola: 4674012 markings, 15566380 edges, 30043 markings/sec, 145 secs
lola: 4828156 markings, 16105158 edges, 30829 markings/sec, 150 secs
lola: 4979402 markings, 16632964 edges, 30249 markings/sec, 155 secs
lola: 5132690 markings, 17172329 edges, 30658 markings/sec, 160 secs
lola: 5288444 markings, 17708472 edges, 31151 markings/sec, 165 secs
lola: 5443974 markings, 18244354 edges, 31106 markings/sec, 170 secs
lola: 5597580 markings, 18784140 edges, 30721 markings/sec, 175 secs
lola: 5748405 markings, 19312473 edges, 30165 markings/sec, 180 secs
lola: 5898430 markings, 19836999 edges, 30005 markings/sec, 185 secs
lola: 6049597 markings, 20359829 edges, 30233 markings/sec, 190 secs
lola: 6200861 markings, 20885224 edges, 30253 markings/sec, 195 secs
lola: 6353673 markings, 21413139 edges, 30562 markings/sec, 200 secs
lola: 6505608 markings, 21937661 edges, 30387 markings/sec, 205 secs
lola: 6657255 markings, 22462691 edges, 30329 markings/sec, 210 secs
lola: 6809395 markings, 22990556 edges, 30428 markings/sec, 215 secs
lola: 6963024 markings, 23507942 edges, 30726 markings/sec, 220 secs
lola: 7116375 markings, 24035134 edges, 30670 markings/sec, 225 secs
lola: 7269692 markings, 24551989 edges, 30663 markings/sec, 230 secs
lola: 7440556 markings, 25072727 edges, 34173 markings/sec, 235 secs
lola: 7591046 markings, 25640766 edges, 30098 markings/sec, 240 secs
lola: 7734131 markings, 26169291 edges, 28617 markings/sec, 245 secs
lola: 7893342 markings, 26594717 edges, 31842 markings/sec, 250 secs
lola: 8054745 markings, 27004862 edges, 32281 markings/sec, 255 secs
lola: 8212432 markings, 27475825 edges, 31537 markings/sec, 260 secs
lola: 8363308 markings, 28009170 edges, 30175 markings/sec, 265 secs
lola: 8514367 markings, 28538882 edges, 30212 markings/sec, 270 secs
lola: 8662667 markings, 29060485 edges, 29660 markings/sec, 275 secs
lola: 8811407 markings, 29584066 edges, 29748 markings/sec, 280 secs
lola: 8957457 markings, 30096048 edges, 29210 markings/sec, 285 secs
lola: 9103655 markings, 30608857 edges, 29240 markings/sec, 290 secs
lola: 9249412 markings, 31118694 edges, 29151 markings/sec, 295 secs
lola: 9395779 markings, 31633675 edges, 29273 markings/sec, 300 secs
lola: 9542327 markings, 32147794 edges, 29310 markings/sec, 305 secs
lola: 9692977 markings, 32675938 edges, 30130 markings/sec, 310 secs
lola: 9843933 markings, 33206538 edges, 30191 markings/sec, 315 secs
lola: 9994825 markings, 33733881 edges, 30178 markings/sec, 320 secs
lola: 10145546 markings, 34263922 edges, 30144 markings/sec, 325 secs
lola: 10296751 markings, 34794763 edges, 30241 markings/sec, 330 secs
lola: 10448562 markings, 35329168 edges, 30362 markings/sec, 335 secs
lola: 10602334 markings, 35868678 edges, 30754 markings/sec, 340 secs
lola: 10755876 markings, 36408366 edges, 30708 markings/sec, 345 secs
lola: 10907307 markings, 36936169 edges, 30286 markings/sec, 350 secs
lola: 11042840 markings, 37408036 edges, 27107 markings/sec, 355 secs
lola: 11177669 markings, 37878001 edges, 26966 markings/sec, 360 secs
lola: 11326273 markings, 38397144 edges, 29721 markings/sec, 365 secs
lola: 11470106 markings, 38903624 edges, 28767 markings/sec, 370 secs
lola: 11615928 markings, 39416217 edges, 29164 markings/sec, 375 secs
lola: 11764905 markings, 39941892 edges, 29795 markings/sec, 380 secs
lola: 11906490 markings, 40437350 edges, 28317 markings/sec, 385 secs
lola: 12047747 markings, 40934555 edges, 28251 markings/sec, 390 secs
lola: 12184503 markings, 41411169 edges, 27351 markings/sec, 395 secs
lola: 12322994 markings, 41892052 edges, 27698 markings/sec, 400 secs
lola: 12459474 markings, 42371672 edges, 27296 markings/sec, 405 secs
lola: 12595985 markings, 42847929 edges, 27302 markings/sec, 410 secs
lola: 12738758 markings, 43348306 edges, 28555 markings/sec, 415 secs
lola: 12885780 markings, 43860934 edges, 29404 markings/sec, 420 secs
lola: 13033559 markings, 44378569 edges, 29556 markings/sec, 425 secs
lola: 13175756 markings, 44874926 edges, 28439 markings/sec, 430 secs
lola: 13311497 markings, 45348128 edges, 27148 markings/sec, 435 secs
lola: 13447619 markings, 45827910 edges, 27224 markings/sec, 440 secs
lola: 13585532 markings, 46306072 edges, 27583 markings/sec, 445 secs
lola: 13726305 markings, 46790603 edges, 28155 markings/sec, 450 secs
lola: 13863874 markings, 47267633 edges, 27514 markings/sec, 455 secs
lola: 14000465 markings, 47746846 edges, 27318 markings/sec, 460 secs
lola: 14141885 markings, 48243620 edges, 28284 markings/sec, 465 secs
lola: 14293323 markings, 48772643 edges, 30288 markings/sec, 470 secs
lola: 14444646 markings, 49296437 edges, 30265 markings/sec, 475 secs
lola: 14595268 markings, 49817729 edges, 30124 markings/sec, 480 secs
lola: 14744624 markings, 50334816 edges, 29871 markings/sec, 485 secs
lola: 14895889 markings, 50854997 edges, 30253 markings/sec, 490 secs
lola: 15046285 markings, 51375709 edges, 30079 markings/sec, 495 secs
lola: 15196053 markings, 51898134 edges, 29954 markings/sec, 500 secs
lola: 15344830 markings, 52393293 edges, 29755 markings/sec, 505 secs
lola: 15483745 markings, 52874880 edges, 27783 markings/sec, 510 secs
lola: 15622961 markings, 53343330 edges, 27843 markings/sec, 515 secs
lola: 15771265 markings, 53787638 edges, 29661 markings/sec, 520 secs
lola: 15930996 markings, 54372687 edges, 31946 markings/sec, 525 secs
lola: 16072842 markings, 54911154 edges, 28369 markings/sec, 530 secs
lola: 16204524 markings, 55394963 edges, 26336 markings/sec, 535 secs
lola: 16355992 markings, 55797120 edges, 30294 markings/sec, 540 secs
lola: 16512171 markings, 56192677 edges, 31236 markings/sec, 545 secs
lola: 16671621 markings, 56598302 edges, 31890 markings/sec, 550 secs
lola: 16819604 markings, 57120083 edges, 29597 markings/sec, 555 secs
lola: 16965995 markings, 57636341 edges, 29278 markings/sec, 560 secs
lola: 17112456 markings, 58151554 edges, 29292 markings/sec, 565 secs
lola: 17257976 markings, 58665060 edges, 29104 markings/sec, 570 secs
lola: 17404478 markings, 59180099 edges, 29300 markings/sec, 575 secs
lola: 17550286 markings, 59691998 edges, 29162 markings/sec, 580 secs
lola: 17696310 markings, 60204637 edges, 29205 markings/sec, 585 secs
lola: 17841701 markings, 60718585 edges, 29078 markings/sec, 590 secs
lola: 17987153 markings, 61228036 edges, 29090 markings/sec, 595 secs
lola: 18133274 markings, 61742953 edges, 29224 markings/sec, 600 secs
lola: 18279611 markings, 62257215 edges, 29267 markings/sec, 605 secs
lola: 18425472 markings, 62769016 edges, 29172 markings/sec, 610 secs
lola: 18570518 markings, 63279708 edges, 29009 markings/sec, 615 secs
lola: 18716300 markings, 63792539 edges, 29156 markings/sec, 620 secs
lola: 18862250 markings, 64305130 edges, 29190 markings/sec, 625 secs
lola: 19008160 markings, 64817186 edges, 29182 markings/sec, 630 secs
lola: 19153450 markings, 65326958 edges, 29058 markings/sec, 635 secs
lola: 19292896 markings, 65819534 edges, 27889 markings/sec, 640 secs
lola: 19430049 markings, 66302269 edges, 27431 markings/sec, 645 secs
lola: 19566723 markings, 66782656 edges, 27335 markings/sec, 650 secs
lola: 19708622 markings, 67281894 edges, 28380 markings/sec, 655 secs
lola: 19853621 markings, 67793381 edges, 29000 markings/sec, 660 secs
lola: 19997806 markings, 68296660 edges, 28837 markings/sec, 665 secs
lola: 20141788 markings, 68800016 edges, 28796 markings/sec, 670 secs
lola: 20278491 markings, 69278758 edges, 27341 markings/sec, 675 secs
lola: 20415732 markings, 69759493 edges, 27448 markings/sec, 680 secs
lola: 20552598 markings, 70240412 edges, 27373 markings/sec, 685 secs
lola: 20695144 markings, 70742685 edges, 28509 markings/sec, 690 secs
lola: 20840816 markings, 71255843 edges, 29134 markings/sec, 695 secs
lola: 20986327 markings, 71769982 edges, 29102 markings/sec, 700 secs
lola: 21131902 markings, 72281401 edges, 29115 markings/sec, 705 secs
lola: 21272589 markings, 72774716 edges, 28137 markings/sec, 710 secs
lola: 21411278 markings, 73263292 edges, 27738 markings/sec, 715 secs
lola: 21553257 markings, 73759087 edges, 28396 markings/sec, 720 secs
lola: 21697772 markings, 74268511 edges, 28903 markings/sec, 725 secs
lola: 21842544 markings, 74775383 edges, 28954 markings/sec, 730 secs
lola: 21986676 markings, 75280880 edges, 28826 markings/sec, 735 secs
lola: 22130863 markings, 75786264 edges, 28837 markings/sec, 740 secs
lola: 22271893 markings, 76280698 edges, 28206 markings/sec, 745 secs
lola: 22416565 markings, 76790380 edges, 28934 markings/sec, 750 secs
lola: 22556978 markings, 77282299 edges, 28083 markings/sec, 755 secs
lola: 22697543 markings, 77776725 edges, 28113 markings/sec, 760 secs
lola: 22838386 markings, 78269342 edges, 28169 markings/sec, 765 secs
lola: 22979341 markings, 78764593 edges, 28191 markings/sec, 770 secs
lola: 23119973 markings, 79261278 edges, 28126 markings/sec, 775 secs
lola: 23261175 markings, 79754201 edges, 28240 markings/sec, 780 secs
lola: 23401958 markings, 80252102 edges, 28157 markings/sec, 785 secs
lola: 23543924 markings, 80744855 edges, 28393 markings/sec, 790 secs
lola: 23685303 markings, 81235180 edges, 28276 markings/sec, 795 secs
lola: 23828980 markings, 81736857 edges, 28735 markings/sec, 800 secs
lola: 23974267 markings, 82247028 edges, 29057 markings/sec, 805 secs
lola: 24119878 markings, 82758050 edges, 29122 markings/sec, 810 secs
lola: 24265043 markings, 83271132 edges, 29033 markings/sec, 815 secs
lola: 24410058 markings, 83780922 edges, 29003 markings/sec, 820 secs
lola: 24555951 markings, 84290203 edges, 29179 markings/sec, 825 secs
lola: 24701843 markings, 84799269 edges, 29178 markings/sec, 830 secs
lola: 24848166 markings, 85312011 edges, 29265 markings/sec, 835 secs
lola: 24998004 markings, 85837170 edges, 29968 markings/sec, 840 secs
lola: 25147631 markings, 86361393 edges, 29925 markings/sec, 845 secs
lola: 25297647 markings, 86882867 edges, 30003 markings/sec, 850 secs
lola: 25446874 markings, 87404007 edges, 29845 markings/sec, 855 secs
lola: 25596252 markings, 87928683 edges, 29876 markings/sec, 860 secs
lola: 25745802 markings, 88450324 edges, 29910 markings/sec, 865 secs
lola: 25894973 markings, 88971989 edges, 29834 markings/sec, 870 secs
lola: 26043636 markings, 89492732 edges, 29733 markings/sec, 875 secs
lola: 26188547 markings, 89995598 edges, 28982 markings/sec, 880 secs
lola: 26338304 markings, 90509935 edges, 29951 markings/sec, 885 secs
lola: 26487947 markings, 91031429 edges, 29929 markings/sec, 890 secs
lola: 26636116 markings, 91552395 edges, 29634 markings/sec, 895 secs
lola: 26781522 markings, 92062353 edges, 29081 markings/sec, 900 secs
lola: 26927307 markings, 92567844 edges, 29157 markings/sec, 905 secs
lola: 27074735 markings, 93080274 edges, 29486 markings/sec, 910 secs
lola: 27219489 markings, 93581166 edges, 28951 markings/sec, 915 secs
lola: 27364531 markings, 94082936 edges, 29008 markings/sec, 920 secs
lola: 27506048 markings, 94571825 edges, 28303 markings/sec, 925 secs
lola: 27646953 markings, 95058253 edges, 28181 markings/sec, 930 secs
lola: 27789500 markings, 95554117 edges, 28509 markings/sec, 935 secs
lola: 27934574 markings, 96035446 edges, 29015 markings/sec, 940 secs
lola: 28076768 markings, 96530692 edges, 28439 markings/sec, 945 secs
lola: 28223648 markings, 97018764 edges, 29376 markings/sec, 950 secs
lola: 28398841 markings, 97551752 edges, 35039 markings/sec, 955 secs
lola: 28547667 markings, 98117383 edges, 29765 markings/sec, 960 secs
lola: 28695126 markings, 98677260 edges, 29492 markings/sec, 965 secs
lola: 28838057 markings, 99211222 edges, 28586 markings/sec, 970 secs
lola: 28984370 markings, 99654078 edges, 29263 markings/sec, 975 secs
lola: 29146137 markings, 100063177 edges, 32353 markings/sec, 980 secs
lola: 29308326 markings, 100474091 edges, 32438 markings/sec, 985 secs
lola: 29465893 markings, 100939615 edges, 31513 markings/sec, 990 secs
lola: 29617693 markings, 101474349 edges, 30360 markings/sec, 995 secs
lola: 29766608 markings, 102000291 edges, 29783 markings/sec, 1000 secs
lola: 29915418 markings, 102522506 edges, 29762 markings/sec, 1005 secs
lola: 30062360 markings, 103040226 edges, 29388 markings/sec, 1010 secs
lola: 30209147 markings, 103559835 edges, 29357 markings/sec, 1015 secs
lola: 30355821 markings, 104072958 edges, 29335 markings/sec, 1020 secs
lola: 30502384 markings, 104589086 edges, 29313 markings/sec, 1025 secs
lola: 30652834 markings, 105120283 edges, 30090 markings/sec, 1030 secs
lola: 30803389 markings, 105651045 edges, 30111 markings/sec, 1035 secs
lola: 30953443 markings, 106178069 edges, 30011 markings/sec, 1040 secs
lola: 31102728 markings, 106702692 edges, 29857 markings/sec, 1045 secs
lola: 31251755 markings, 107227721 edges, 29805 markings/sec, 1050 secs
lola: 31400704 markings, 107751343 edges, 29790 markings/sec, 1055 secs
lola: 31549217 markings, 108274199 edges, 29703 markings/sec, 1060 secs
lola: 31698558 markings, 108800752 edges, 29868 markings/sec, 1065 secs
lola: 31848702 markings, 109328166 edges, 30029 markings/sec, 1070 secs
lola: 31998678 markings, 109857382 edges, 29995 markings/sec, 1075 secs
lola: 32146006 markings, 110375759 edges, 29466 markings/sec, 1080 secs
lola: 32294544 markings, 110897489 edges, 29708 markings/sec, 1085 secs
lola: 32441277 markings, 111415062 edges, 29347 markings/sec, 1090 secs
lola: 32587125 markings, 111927965 edges, 29170 markings/sec, 1095 secs
lola: 32736600 markings, 112454601 edges, 29895 markings/sec, 1100 secs
lola: 32885692 markings, 112980480 edges, 29818 markings/sec, 1105 secs
lola: 33033281 markings, 113501450 edges, 29518 markings/sec, 1110 secs
lola: 33183335 markings, 114026721 edges, 30011 markings/sec, 1115 secs
lola: 33333636 markings, 114551526 edges, 30060 markings/sec, 1120 secs
lola: 33483455 markings, 115078596 edges, 29964 markings/sec, 1125 secs
lola: 33632946 markings, 115603764 edges, 29898 markings/sec, 1130 secs
lola: 33779600 markings, 116120181 edges, 29331 markings/sec, 1135 secs
lola: 33924831 markings, 116632127 edges, 29046 markings/sec, 1140 secs
lola: 34071123 markings, 117146086 edges, 29258 markings/sec, 1145 secs
lola: 34216612 markings, 117659750 edges, 29098 markings/sec, 1150 secs
lola: 34361787 markings, 118172999 edges, 29035 markings/sec, 1155 secs
lola: 34511400 markings, 118696837 edges, 29923 markings/sec, 1160 secs
lola: 34657566 markings, 119210951 edges, 29233 markings/sec, 1165 secs
lola: 34806552 markings, 119735872 edges, 29797 markings/sec, 1170 secs
lola: 34956355 markings, 120262904 edges, 29961 markings/sec, 1175 secs
lola: 35105349 markings, 120785404 edges, 29799 markings/sec, 1180 secs
lola: 35254259 markings, 121308996 edges, 29782 markings/sec, 1185 secs
lola: 35403395 markings, 121834394 edges, 29827 markings/sec, 1190 secs
lola: 35552290 markings, 122358341 edges, 29779 markings/sec, 1195 secs
lola: 35701500 markings, 122880059 edges, 29842 markings/sec, 1200 secs
lola: 35850156 markings, 123405171 edges, 29731 markings/sec, 1205 secs
lola: 35998528 markings, 123927565 edges, 29674 markings/sec, 1210 secs
lola: 36147635 markings, 124448962 edges, 29821 markings/sec, 1215 secs
lola: 36296735 markings, 124974912 edges, 29820 markings/sec, 1220 secs
lola: 36446080 markings, 125501587 edges, 29869 markings/sec, 1225 secs
lola: 36595307 markings, 126025035 edges, 29845 markings/sec, 1230 secs
lola: 36744095 markings, 126549936 edges, 29758 markings/sec, 1235 secs
lola: 36893017 markings, 127070390 edges, 29784 markings/sec, 1240 secs
lola: 37041222 markings, 127594814 edges, 29641 markings/sec, 1245 secs
lola: 37185948 markings, 128104693 edges, 28945 markings/sec, 1250 secs
lola: 37334075 markings, 128622050 edges, 29625 markings/sec, 1255 secs
lola: 37483881 markings, 129145438 edges, 29961 markings/sec, 1260 secs
lola: 37633624 markings, 129668814 edges, 29949 markings/sec, 1265 secs
lola: 37783086 markings, 130193922 edges, 29892 markings/sec, 1270 secs
lola: 37932545 markings, 130720084 edges, 29892 markings/sec, 1275 secs
lola: 38079861 markings, 131237783 edges, 29463 markings/sec, 1280 secs
lola: 38228588 markings, 131763059 edges, 29745 markings/sec, 1285 secs
lola: 38376945 markings, 132287540 edges, 29671 markings/sec, 1290 secs
lola: 38525707 markings, 132808468 edges, 29752 markings/sec, 1295 secs
lola: 38675315 markings, 133334375 edges, 29922 markings/sec, 1300 secs
lola: 38824791 markings, 133857629 edges, 29895 markings/sec, 1305 secs
lola: 38973801 markings, 134381692 edges, 29802 markings/sec, 1310 secs
lola: 39122387 markings, 134900647 edges, 29717 markings/sec, 1315 secs
lola: 39271119 markings, 135424976 edges, 29746 markings/sec, 1320 secs
lola: 39419559 markings, 135944954 edges, 29688 markings/sec, 1325 secs
lola: 39567976 markings, 136464821 edges, 29683 markings/sec, 1330 secs
lola: 39716480 markings, 136986569 edges, 29701 markings/sec, 1335 secs
lola: 39864903 markings, 137507464 edges, 29685 markings/sec, 1340 secs
lola: 40012953 markings, 138026894 edges, 29610 markings/sec, 1345 secs
lola: 40159737 markings, 138541893 edges, 29357 markings/sec, 1350 secs
lola: 40307282 markings, 139061942 edges, 29509 markings/sec, 1355 secs
lola: 40455198 markings, 139580157 edges, 29583 markings/sec, 1360 secs
lola: 40602970 markings, 140098671 edges, 29554 markings/sec, 1365 secs
lola: 40751078 markings, 140621627 edges, 29622 markings/sec, 1370 secs
lola: 40899754 markings, 141135551 edges, 29735 markings/sec, 1375 secs
lola: 41048337 markings, 141652277 edges, 29717 markings/sec, 1380 secs
lola: 41197958 markings, 142175861 edges, 29924 markings/sec, 1385 secs
lola: 41346609 markings, 142700280 edges, 29730 markings/sec, 1390 secs
lola: 41496657 markings, 143226133 edges, 30010 markings/sec, 1395 secs
lola: 41645749 markings, 143753084 edges, 29818 markings/sec, 1400 secs
lola: 41790779 markings, 144260387 edges, 29006 markings/sec, 1405 secs
lola: 41935630 markings, 144769252 edges, 28970 markings/sec, 1410 secs
lola: 42080293 markings, 145271579 edges, 28933 markings/sec, 1415 secs
lola: 42225041 markings, 145777703 edges, 28950 markings/sec, 1420 secs
lola: 42369951 markings, 146284815 edges, 28982 markings/sec, 1425 secs
lola: 42514186 markings, 146789913 edges, 28847 markings/sec, 1430 secs
lola: 42657933 markings, 147291843 edges, 28749 markings/sec, 1435 secs
lola: 42800599 markings, 147790476 edges, 28533 markings/sec, 1440 secs
lola: 42947824 markings, 148305060 edges, 29445 markings/sec, 1445 secs
lola: 43096852 markings, 148825978 edges, 29806 markings/sec, 1450 secs
lola: 43245341 markings, 149346260 edges, 29698 markings/sec, 1455 secs
lola: 43394240 markings, 149869589 edges, 29780 markings/sec, 1460 secs
lola: 43545055 markings, 150387311 edges, 30163 markings/sec, 1465 secs
lola: 43695373 markings, 150904155 edges, 30064 markings/sec, 1470 secs
lola: 43845436 markings, 151432728 edges, 30013 markings/sec, 1475 secs
lola: 43994899 markings, 151955942 edges, 29893 markings/sec, 1480 secs
lola: 44143418 markings, 152474631 edges, 29704 markings/sec, 1485 secs
lola: 44291887 markings, 152989514 edges, 29694 markings/sec, 1490 secs
lola: 44441145 markings, 153504795 edges, 29852 markings/sec, 1495 secs
lola: 44589453 markings, 154019874 edges, 29662 markings/sec, 1500 secs
lola: 44738284 markings, 154533073 edges, 29766 markings/sec, 1505 secs
lola: 44887299 markings, 155050034 edges, 29803 markings/sec, 1510 secs
lola: 45036212 markings, 155566038 edges, 29783 markings/sec, 1515 secs
lola: 45190872 markings, 156090023 edges, 30932 markings/sec, 1520 secs
lola: 45342897 markings, 156607208 edges, 30405 markings/sec, 1525 secs
lola: 45493488 markings, 157120972 edges, 30118 markings/sec, 1530 secs
lola: 45648639 markings, 157591491 edges, 31030 markings/sec, 1535 secs
lola: 45825504 markings, 158220648 edges, 35373 markings/sec, 1540 secs
lola: 45968502 markings, 158768774 edges, 28600 markings/sec, 1545 secs
lola: 46110355 markings, 159305730 edges, 28371 markings/sec, 1550 secs
lola: 46252523 markings, 159834524 edges, 28434 markings/sec, 1555 secs
lola: 46397262 markings, 160275652 edges, 28948 markings/sec, 1560 secs
lola: 46559489 markings, 160685174 edges, 32445 markings/sec, 1565 secs
lola: 46726155 markings, 161107767 edges, 33333 markings/sec, 1570 secs
lola: 46885696 markings, 161550734 edges, 31908 markings/sec, 1575 secs
lola: 47037534 markings, 162084675 edges, 30368 markings/sec, 1580 secs
lola: 47189991 markings, 162622824 edges, 30491 markings/sec, 1585 secs
lola: 47342159 markings, 163160142 edges, 30434 markings/sec, 1590 secs
lola: 47493798 markings, 163692798 edges, 30328 markings/sec, 1595 secs
lola: 47643217 markings, 164218549 edges, 29884 markings/sec, 1600 secs
lola: 47783729 markings, 164715347 edges, 28102 markings/sec, 1605 secs
lola: 47923189 markings, 165204224 edges, 27892 markings/sec, 1610 secs
lola: 48060324 markings, 165688646 edges, 27427 markings/sec, 1615 secs
lola: 48199022 markings, 166178044 edges, 27740 markings/sec, 1620 secs
lola: 48337853 markings, 166667448 edges, 27766 markings/sec, 1625 secs
lola: 48476539 markings, 167153470 edges, 27737 markings/sec, 1630 secs
lola: 48621266 markings, 167663540 edges, 28945 markings/sec, 1635 secs
lola: 48759049 markings, 168149124 edges, 27557 markings/sec, 1640 secs
lola: 48896323 markings, 168630936 edges, 27455 markings/sec, 1645 secs
lola: 49036346 markings, 169125537 edges, 28005 markings/sec, 1650 secs
lola: 49188554 markings, 169661503 edges, 30442 markings/sec, 1655 secs
lola: 49343126 markings, 170207851 edges, 30914 markings/sec, 1660 secs
lola: 49497534 markings, 170749369 edges, 30882 markings/sec, 1665 secs
lola: 49651504 markings, 171293707 edges, 30794 markings/sec, 1670 secs
lola: 49805614 markings, 171836066 edges, 30822 markings/sec, 1675 secs
lola: 49959986 markings, 172378096 edges, 30874 markings/sec, 1680 secs
lola: 50114053 markings, 172921966 edges, 30813 markings/sec, 1685 secs
lola: 50268919 markings, 173468251 edges, 30973 markings/sec, 1690 secs
lola: 50423366 markings, 174012171 edges, 30889 markings/sec, 1695 secs
lola: 50565355 markings, 174512801 edges, 28398 markings/sec, 1700 secs
lola: 50702417 markings, 174994814 edges, 27412 markings/sec, 1705 secs
lola: 50839495 markings, 175476723 edges, 27416 markings/sec, 1710 secs
lola: 50976718 markings, 175960138 edges, 27445 markings/sec, 1715 secs
lola: 51134523 markings, 176513191 edges, 31561 markings/sec, 1720 secs
lola: 51289257 markings, 177058327 edges, 30947 markings/sec, 1725 secs
lola: 51443671 markings, 177600222 edges, 30883 markings/sec, 1730 secs
lola: 51580459 markings, 178082529 edges, 27358 markings/sec, 1735 secs
lola: 51717176 markings, 178565011 edges, 27343 markings/sec, 1740 secs
lola: 51861880 markings, 179073777 edges, 28941 markings/sec, 1745 secs
lola: 52006646 markings, 179584060 edges, 28953 markings/sec, 1750 secs
lola: 52151038 markings, 180092820 edges, 28878 markings/sec, 1755 secs
lola: 52288272 markings, 180574726 edges, 27447 markings/sec, 1760 secs
lola: 52425243 markings, 181058582 edges, 27394 markings/sec, 1765 secs
lola: 52563298 markings, 181544622 edges, 27611 markings/sec, 1770 secs
lola: 52699389 markings, 182024743 edges, 27218 markings/sec, 1775 secs
lola: 52835833 markings, 182504435 edges, 27289 markings/sec, 1780 secs
lola: 52971218 markings, 182980110 edges, 27077 markings/sec, 1785 secs
lola: 53106901 markings, 183458158 edges, 27137 markings/sec, 1790 secs
lola: 53242566 markings, 183935145 edges, 27133 markings/sec, 1795 secs
lola: 53388389 markings, 184448132 edges, 29165 markings/sec, 1800 secs
lola: 53523525 markings, 184925686 edges, 27027 markings/sec, 1805 secs
lola: 53659216 markings, 185402682 edges, 27138 markings/sec, 1810 secs
lola: 53794401 markings, 185876641 edges, 27037 markings/sec, 1815 secs
lola: 53929481 markings, 186353073 edges, 27016 markings/sec, 1820 secs
lola: 54065122 markings, 186830863 edges, 27128 markings/sec, 1825 secs
lola: 54202662 markings, 187312775 edges, 27508 markings/sec, 1830 secs
lola: 54338948 markings, 187794784 edges, 27257 markings/sec, 1835 secs
lola: 54475904 markings, 188275986 edges, 27391 markings/sec, 1840 secs
lola: 54612246 markings, 188755347 edges, 27268 markings/sec, 1845 secs
lola: 54748042 markings, 189235118 edges, 27159 markings/sec, 1850 secs
lola: 54884083 markings, 189714917 edges, 27208 markings/sec, 1855 secs
lola: 55020305 markings, 190195271 edges, 27244 markings/sec, 1860 secs
lola: 55160869 markings, 190688065 edges, 28113 markings/sec, 1865 secs
lola: 55309872 markings, 191214030 edges, 29801 markings/sec, 1870 secs
lola: 55458562 markings, 191737899 edges, 29738 markings/sec, 1875 secs
lola: 55607463 markings, 192259093 edges, 29780 markings/sec, 1880 secs
lola: 55756322 markings, 192780047 edges, 29772 markings/sec, 1885 secs
lola: 55904937 markings, 193301911 edges, 29723 markings/sec, 1890 secs
lola: 56053112 markings, 193822495 edges, 29635 markings/sec, 1895 secs
lola: 56202676 markings, 194349634 edges, 29913 markings/sec, 1900 secs
lola: 56351380 markings, 194873542 edges, 29741 markings/sec, 1905 secs
lola: 56500951 markings, 195398655 edges, 29914 markings/sec, 1910 secs
lola: 56649664 markings, 195925071 edges, 29743 markings/sec, 1915 secs
lola: 56798667 markings, 196451933 edges, 29801 markings/sec, 1920 secs
lola: 56947924 markings, 196973684 edges, 29851 markings/sec, 1925 secs
lola: 57096855 markings, 197498308 edges, 29786 markings/sec, 1930 secs
lola: 57244343 markings, 198016872 edges, 29498 markings/sec, 1935 secs
lola: 57393018 markings, 198539712 edges, 29735 markings/sec, 1940 secs
lola: 57541344 markings, 199060495 edges, 29665 markings/sec, 1945 secs
lola: 57689126 markings, 199579097 edges, 29556 markings/sec, 1950 secs
lola: 57836536 markings, 200098904 edges, 29482 markings/sec, 1955 secs
lola: 57984780 markings, 200620330 edges, 29649 markings/sec, 1960 secs
lola: 58121999 markings, 201102533 edges, 27444 markings/sec, 1965 secs
lola: 58255221 markings, 201570711 edges, 26644 markings/sec, 1970 secs
lola: 58387691 markings, 202036390 edges, 26494 markings/sec, 1975 secs
lola: 58520680 markings, 202502119 edges, 26598 markings/sec, 1980 secs
lola: 58653404 markings, 202970301 edges, 26545 markings/sec, 1985 secs
lola: 58789264 markings, 203449007 edges, 27172 markings/sec, 1990 secs
lola: 58926874 markings, 203932428 edges, 27522 markings/sec, 1995 secs
lola: 59062915 markings, 204412387 edges, 27208 markings/sec, 2000 secs
lola: 59197558 markings, 204884780 edges, 26929 markings/sec, 2005 secs
lola: 59337515 markings, 205377777 edges, 27991 markings/sec, 2010 secs
lola: 59480889 markings, 205881256 edges, 28675 markings/sec, 2015 secs
lola: 59623859 markings, 206386002 edges, 28594 markings/sec, 2020 secs
lola: 59768134 markings, 206888146 edges, 28855 markings/sec, 2025 secs
lola: 59911469 markings, 207390358 edges, 28667 markings/sec, 2030 secs
lola: 60055720 markings, 207891572 edges, 28850 markings/sec, 2035 secs
lola: 60200280 markings, 208402995 edges, 28912 markings/sec, 2040 secs
lola: 60344486 markings, 208910353 edges, 28841 markings/sec, 2045 secs
lola: 60489303 markings, 209417970 edges, 28963 markings/sec, 2050 secs
lola: 60633263 markings, 209928423 edges, 28792 markings/sec, 2055 secs
lola: 60777716 markings, 210436957 edges, 28891 markings/sec, 2060 secs
lola: 60921326 markings, 210941246 edges, 28722 markings/sec, 2065 secs
lola: 61064994 markings, 211445577 edges, 28734 markings/sec, 2070 secs
lola: 61209076 markings, 211949420 edges, 28816 markings/sec, 2075 secs
lola: 61351733 markings, 212451370 edges, 28531 markings/sec, 2080 secs
lola: 61495406 markings, 212955089 edges, 28735 markings/sec, 2085 secs
lola: 61639505 markings, 213459868 edges, 28820 markings/sec, 2090 secs
lola: 61783256 markings, 213965459 edges, 28750 markings/sec, 2095 secs
lola: 61927120 markings, 214470716 edges, 28773 markings/sec, 2100 secs
lola: 62070791 markings, 214975259 edges, 28734 markings/sec, 2105 secs
lola: 62213855 markings, 215475340 edges, 28613 markings/sec, 2110 secs
lola: 62357377 markings, 215979639 edges, 28704 markings/sec, 2115 secs
lola: 62500376 markings, 216484145 edges, 28600 markings/sec, 2120 secs
lola: 62644080 markings, 216985894 edges, 28741 markings/sec, 2125 secs
lola: 62787367 markings, 217490116 edges, 28657 markings/sec, 2130 secs
lola: 62930989 markings, 217995779 edges, 28724 markings/sec, 2135 secs
lola: 63074474 markings, 218499530 edges, 28697 markings/sec, 2140 secs
lola: 63218347 markings, 219002080 edges, 28775 markings/sec, 2145 secs
lola: 63361234 markings, 219496706 edges, 28577 markings/sec, 2150 secs
lola: 63504781 markings, 219997220 edges, 28709 markings/sec, 2155 secs
lola: 63647587 markings, 220498158 edges, 28561 markings/sec, 2160 secs
lola: 63787370 markings, 220989524 edges, 27957 markings/sec, 2165 secs
lola: 63923111 markings, 221468353 edges, 27148 markings/sec, 2170 secs
lola: 64062173 markings, 221957099 edges, 27812 markings/sec, 2175 secs
lola: 64203865 markings, 222454089 edges, 28338 markings/sec, 2180 secs
lola: 64344151 markings, 222943456 edges, 28057 markings/sec, 2185 secs
lola: 64480239 markings, 223420343 edges, 27218 markings/sec, 2190 secs
lola: 64622188 markings, 223916375 edges, 28390 markings/sec, 2195 secs
lola: 64766329 markings, 224420509 edges, 28828 markings/sec, 2200 secs
lola: 64910227 markings, 224924279 edges, 28780 markings/sec, 2205 secs
lola: 65054526 markings, 225428311 edges, 28860 markings/sec, 2210 secs
lola: 65198618 markings, 225930177 edges, 28818 markings/sec, 2215 secs
lola: 65343351 markings, 226437422 edges, 28947 markings/sec, 2220 secs
lola: 65488031 markings, 226943254 edges, 28936 markings/sec, 2225 secs
lola: 65633079 markings, 227449911 edges, 29010 markings/sec, 2230 secs
lola: 65777232 markings, 227957870 edges, 28831 markings/sec, 2235 secs
lola: 65922220 markings, 228458510 edges, 28998 markings/sec, 2240 secs
lola: 66067512 markings, 228956155 edges, 29058 markings/sec, 2245 secs
lola: 66212236 markings, 229463386 edges, 28945 markings/sec, 2250 secs
lola: 66356884 markings, 229971131 edges, 28930 markings/sec, 2255 secs
lola: 66501073 markings, 230474141 edges, 28838 markings/sec, 2260 secs
lola: 66644973 markings, 230975222 edges, 28780 markings/sec, 2265 secs
lola: 66789203 markings, 231475573 edges, 28846 markings/sec, 2270 secs
lola: 66933389 markings, 231974838 edges, 28837 markings/sec, 2275 secs
lola: 67078250 markings, 232473733 edges, 28972 markings/sec, 2280 secs
lola: 67223388 markings, 232976895 edges, 29028 markings/sec, 2285 secs
lola: 67367926 markings, 233476048 edges, 28908 markings/sec, 2290 secs
lola: 67514041 markings, 233980016 edges, 29223 markings/sec, 2295 secs
lola: 67660737 markings, 234472162 edges, 29339 markings/sec, 2300 secs
lola: 67805626 markings, 234977013 edges, 28978 markings/sec, 2305 secs
lola: 67953845 markings, 235463594 edges, 29644 markings/sec, 2310 secs
lola: 68139522 markings, 236035604 edges, 37135 markings/sec, 2315 secs
lola: 68284982 markings, 236592087 edges, 29092 markings/sec, 2320 secs
lola: 68427963 markings, 237139698 edges, 28596 markings/sec, 2325 secs
lola: 68570066 markings, 237677320 edges, 28421 markings/sec, 2330 secs
lola: 68708229 markings, 238195301 edges, 27633 markings/sec, 2335 secs
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 68827292 markings, 238620238 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p176)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p176)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 164635 markings, 418251 edges, 32927 markings/sec, 30 secs
lola: 320949 markings, 816888 edges, 31263 markings/sec, 35 secs
lola: 476096 markings, 1211246 edges, 31029 markings/sec, 40 secs
lola: 630764 markings, 1603449 edges, 30934 markings/sec, 45 secs
lola: 788178 markings, 2001325 edges, 31483 markings/sec, 50 secs
lola: 945507 markings, 2400607 edges, 31466 markings/sec, 55 secs
lola: 1103408 markings, 2800054 edges, 31580 markings/sec, 60 secs
lola: 1260294 markings, 3197088 edges, 31377 markings/sec, 65 secs
lola: 1417278 markings, 3593444 edges, 31397 markings/sec, 70 secs
lola: 1578338 markings, 4001418 edges, 32212 markings/sec, 75 secs
lola: 1738520 markings, 4405158 edges, 32036 markings/sec, 80 secs
lola: 1895966 markings, 4802859 edges, 31489 markings/sec, 85 secs
lola: 2048242 markings, 5186513 edges, 30455 markings/sec, 90 secs
lola: 2200032 markings, 5571543 edges, 30358 markings/sec, 95 secs
lola: 2352072 markings, 5953186 edges, 30408 markings/sec, 100 secs
lola: 2508825 markings, 6350465 edges, 31351 markings/sec, 105 secs
lola: 2669737 markings, 6754992 edges, 32182 markings/sec, 110 secs
lola: 2830842 markings, 7159934 edges, 32221 markings/sec, 115 secs
lola: 2991631 markings, 7572661 edges, 32158 markings/sec, 120 secs
lola: 3143236 markings, 8107521 edges, 30321 markings/sec, 125 secs
lola: 3293190 markings, 8637076 edges, 29991 markings/sec, 130 secs
lola: 3443138 markings, 9164518 edges, 29990 markings/sec, 135 secs
lola: 3592411 markings, 9692150 edges, 29855 markings/sec, 140 secs
lola: 3737059 markings, 10202775 edges, 28930 markings/sec, 145 secs
lola: 3881726 markings, 10712607 edges, 28933 markings/sec, 150 secs
lola: 4028036 markings, 11228328 edges, 29262 markings/sec, 155 secs
lola: 4174808 markings, 11747242 edges, 29354 markings/sec, 160 secs
lola: 4318949 markings, 12255809 edges, 28828 markings/sec, 165 secs
lola: 4464027 markings, 12766049 edges, 29016 markings/sec, 170 secs
lola: 4608351 markings, 13274821 edges, 28865 markings/sec, 175 secs
lola: 4753122 markings, 13786759 edges, 28954 markings/sec, 180 secs
lola: 4897902 markings, 14295992 edges, 28956 markings/sec, 185 secs
lola: 5042922 markings, 14806872 edges, 29004 markings/sec, 190 secs
lola: 5188455 markings, 15320100 edges, 29107 markings/sec, 195 secs
lola: 5332517 markings, 15826557 edges, 28812 markings/sec, 200 secs
lola: 5480429 markings, 16348790 edges, 29582 markings/sec, 205 secs
lola: 5630428 markings, 16876585 edges, 30000 markings/sec, 210 secs
lola: 5780604 markings, 17404632 edges, 30035 markings/sec, 215 secs
lola: 5931493 markings, 17932432 edges, 30178 markings/sec, 220 secs
lola: 6082296 markings, 18462716 edges, 30161 markings/sec, 225 secs
lola: 6230988 markings, 18985326 edges, 29738 markings/sec, 230 secs
lola: 6378193 markings, 19504095 edges, 29441 markings/sec, 235 secs
lola: 6524174 markings, 20019054 edges, 29196 markings/sec, 240 secs
lola: 6664004 markings, 20512262 edges, 27966 markings/sec, 245 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 10 80 80 80 80 80 80 1 80 1 unknown 80 80 80
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: 1 1 10 80 80 80 80 80 80 1 80 1 unknown 80 80 80

preliminary result: 1 1 10 80 80 80 80 80 80 1 80 1 unknown 80 80 80
lola: memory consumption: 517676 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: memory consumption: 517676 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1552523443405

--------------------
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="BridgeAndVehicles-COL-V80P20N10"
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 BridgeAndVehicles-COL-V80P20N10, 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 r016-csrt-155225065500443"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V80P20N10.tgz
mv BridgeAndVehicles-COL-V80P20N10 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 ;