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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.5K Feb 9 08:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 9 08:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 5 06:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 5 06:42 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.5K Feb 4 23:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 23:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 2 01:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 2 01:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jan 29 14:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jan 29 14:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K 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 47K 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-V80P50N50-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V80P50N50-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552523852680

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

FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-00 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-07 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-10 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-01 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-02 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P50N50-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ BridgeAndVehicles-COL-V80P50N50

{
"exit":
{
"memory": 1570168,
"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": "50 50 80 80 unknown 1 1 50 80 1 50 1 1 80 80 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: 228, Transitions: 8588
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: 8816/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 7296
lola: finding significant places
lola: 228 places, 8588 transitions, 221 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: (p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 <= 0)
lola: after: (1 <= 0)
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 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 <= 0)
lola: after: (1 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 <= 0)
lola: after: (1 <= 0)
lola: MAX(p175) : MAX(p89) : MAX(p2) : MAX(p174) : MAX(p176) : MAX(1) : MAX(p87 + p88) : MAX(p89) : MAX(p174) : MAX(p3 + p4) : MAX(p92) : MAX(1) : MAX(1) : MAX(p0) : MAX(p2) : MAX(1)
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(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 3 will run for 274 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 4 will run for 297 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: 27673 markings, 73374 edges, 5535 markings/sec, 30 secs
lola: 53347 markings, 148450 edges, 5135 markings/sec, 35 secs
lola: 78125 markings, 219104 edges, 4956 markings/sec, 40 secs
lola: 105702 markings, 293263 edges, 5515 markings/sec, 45 secs
lola: 131298 markings, 367995 edges, 5119 markings/sec, 50 secs
lola: 156584 markings, 438402 edges, 5057 markings/sec, 55 secs
lola: 182952 markings, 510962 edges, 5274 markings/sec, 60 secs
lola: 207590 markings, 582840 edges, 4928 markings/sec, 65 secs
lola: 230569 markings, 648086 edges, 4596 markings/sec, 70 secs
lola: 256757 markings, 718490 edges, 5238 markings/sec, 75 secs
lola: 282027 markings, 792274 edges, 5054 markings/sec, 80 secs
lola: 307351 markings, 862453 edges, 5065 markings/sec, 85 secs
lola: 333478 markings, 934644 edges, 5225 markings/sec, 90 secs
lola: 358600 markings, 1008029 edges, 5024 markings/sec, 95 secs
lola: 383317 markings, 1074450 edges, 4943 markings/sec, 100 secs
lola: 408086 markings, 1144861 edges, 4954 markings/sec, 105 secs
lola: 433383 markings, 1218785 edges, 5059 markings/sec, 110 secs
lola: 459118 markings, 1285894 edges, 5147 markings/sec, 115 secs
lola: 483973 markings, 1358811 edges, 4971 markings/sec, 120 secs
lola: 507939 markings, 1428653 edges, 4793 markings/sec, 125 secs
lola: 533835 markings, 1496710 edges, 5179 markings/sec, 130 secs
lola: 559182 markings, 1570879 edges, 5069 markings/sec, 135 secs
lola: 583763 markings, 1642367 edges, 4916 markings/sec, 140 secs
lola: 610456 markings, 1712868 edges, 5339 markings/sec, 145 secs
lola: 636364 markings, 1788783 edges, 5182 markings/sec, 150 secs
lola: 659535 markings, 1855797 edges, 4634 markings/sec, 155 secs
lola: 685863 markings, 1925793 edges, 5266 markings/sec, 160 secs
lola: 710445 markings, 1997568 edges, 4916 markings/sec, 165 secs
lola: 734019 markings, 2064107 edges, 4715 markings/sec, 170 secs
lola: 759984 markings, 2134785 edges, 5193 markings/sec, 175 secs
lola: 783662 markings, 2203932 edges, 4736 markings/sec, 180 secs
lola: 807954 markings, 2267320 edges, 4858 markings/sec, 185 secs
lola: 831921 markings, 2337627 edges, 4793 markings/sec, 190 secs
lola: 855576 markings, 2406560 edges, 4731 markings/sec, 195 secs
lola: 879485 markings, 2469062 edges, 4782 markings/sec, 200 secs
lola: 903376 markings, 2538957 edges, 4778 markings/sec, 205 secs
lola: 926411 markings, 2605946 edges, 4607 markings/sec, 210 secs
lola: 950696 markings, 2669994 edges, 4857 markings/sec, 215 secs
lola: 974040 markings, 2738150 edges, 4669 markings/sec, 220 secs
lola: 997966 markings, 2807208 edges, 4785 markings/sec, 225 secs
lola: 1023678 markings, 2876147 edges, 5142 markings/sec, 230 secs
lola: 1047787 markings, 2946410 edges, 4822 markings/sec, 235 secs
lola: 1072334 markings, 3011037 edges, 4909 markings/sec, 240 secs
lola: 1096210 markings, 3080895 edges, 4775 markings/sec, 245 secs
lola: 1120953 markings, 3152668 edges, 4949 markings/sec, 250 secs
lola: 1147685 markings, 3224091 edges, 5346 markings/sec, 255 secs
lola: 1172187 markings, 3295565 edges, 4900 markings/sec, 260 secs
lola: 1196922 markings, 3360994 edges, 4947 markings/sec, 265 secs
lola: 1221322 markings, 3432321 edges, 4880 markings/sec, 270 secs
lola: 1245208 markings, 3501534 edges, 4777 markings/sec, 275 secs
lola: 1270478 markings, 3568971 edges, 5054 markings/sec, 280 secs
lola: 1295324 markings, 3641501 edges, 4969 markings/sec, 285 secs
lola: 1320141 markings, 3707413 edges, 4963 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown 1 1 unknown unknown 1
lola: memory consumption: 592072 KB
lola: time consumption: 303 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 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p175)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p175)
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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 326 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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 151 markings, 150 edges
lola: ========================================
lola: subprocess 7 will run for 363 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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
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 8 will run for 406 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p92)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p92)
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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 154 markings, 153 edges
lola: ========================================
lola: subprocess 9 will run for 465 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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 151 markings, 150 edges
lola: ========================================
lola: subprocess 10 will run for 542 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: 326 markings, 325 edges
lola: ========================================
lola: subprocess 11 will run for 650 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 12 will run for 813 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: 326 markings, 325 edges
lola: ========================================
lola: subprocess 13 will run for 1084 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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
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 1621 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: 127 markings, 126 edges
lola: ========================================
lola: subprocess 15 will run for 3242 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(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: 26112 markings, 68701 edges, 5222 markings/sec, 30 secs
lola: 50389 markings, 139868 edges, 4855 markings/sec, 35 secs
lola: 74024 markings, 208197 edges, 4727 markings/sec, 40 secs
lola: 99665 markings, 275445 edges, 5128 markings/sec, 45 secs
lola: 124011 markings, 346859 edges, 4869 markings/sec, 50 secs
lola: 147662 markings, 415343 edges, 4730 markings/sec, 55 secs
lola: 173779 markings, 484011 edges, 5223 markings/sec, 60 secs
lola: 198812 markings, 557237 edges, 5007 markings/sec, 65 secs
lola: 223821 markings, 629806 edges, 5002 markings/sec, 70 secs
lola: 250817 markings, 700958 edges, 5399 markings/sec, 75 secs
lola: 276555 markings, 776335 edges, 5148 markings/sec, 80 secs
lola: 301727 markings, 849276 edges, 5034 markings/sec, 85 secs
lola: 328648 markings, 920679 edges, 5384 markings/sec, 90 secs
lola: 353950 markings, 994541 edges, 5060 markings/sec, 95 secs
lola: 378163 markings, 1064187 edges, 4843 markings/sec, 100 secs
lola: 404775 markings, 1135193 edges, 5322 markings/sec, 105 secs
lola: 429615 markings, 1207717 edges, 4968 markings/sec, 110 secs
lola: 454374 markings, 1275888 edges, 4952 markings/sec, 115 secs
lola: 480379 markings, 1348290 edges, 5201 markings/sec, 120 secs
lola: 505285 markings, 1421056 edges, 4981 markings/sec, 125 secs
lola: 530507 markings, 1486749 edges, 5044 markings/sec, 130 secs
lola: 554953 markings, 1558453 edges, 4889 markings/sec, 135 secs
lola: 578748 markings, 1627941 edges, 4759 markings/sec, 140 secs
lola: 603396 markings, 1692238 edges, 4930 markings/sec, 145 secs
lola: 627688 markings, 1763267 edges, 4858 markings/sec, 150 secs
lola: 652259 markings, 1834924 edges, 4914 markings/sec, 155 secs
lola: 677357 markings, 1900824 edges, 5020 markings/sec, 160 secs
lola: 701559 markings, 1971617 edges, 4840 markings/sec, 165 secs
lola: 726017 markings, 2042632 edges, 4892 markings/sec, 170 secs
lola: 751269 markings, 2109412 edges, 5050 markings/sec, 175 secs
lola: 775579 markings, 2180355 edges, 4862 markings/sec, 180 secs
lola: 799373 markings, 2249040 edges, 4759 markings/sec, 185 secs
lola: 824988 markings, 2317336 edges, 5123 markings/sec, 190 secs
lola: 849532 markings, 2388953 edges, 4909 markings/sec, 195 secs
lola: 874088 markings, 2453833 edges, 4911 markings/sec, 200 secs
lola: 899495 markings, 2527781 edges, 5081 markings/sec, 205 secs
lola: 924484 markings, 2600356 edges, 4998 markings/sec, 210 secs
lola: 951046 markings, 2671041 edges, 5312 markings/sec, 215 secs
lola: 976610 markings, 2745646 edges, 5113 markings/sec, 220 secs
lola: 1001459 markings, 2814988 edges, 4970 markings/sec, 225 secs
lola: 1028296 markings, 2889518 edges, 5367 markings/sec, 230 secs
lola: 1052404 markings, 2959672 edges, 4822 markings/sec, 235 secs
lola: 1076758 markings, 3024038 edges, 4871 markings/sec, 240 secs
lola: 1100204 markings, 3092429 edges, 4689 markings/sec, 245 secs
lola: 1123241 markings, 3159193 edges, 4607 markings/sec, 250 secs
lola: 1149306 markings, 3228943 edges, 5213 markings/sec, 255 secs
lola: 1174255 markings, 3301568 edges, 4990 markings/sec, 260 secs
lola: 1200209 markings, 3370593 edges, 5191 markings/sec, 265 secs
lola: 1225204 markings, 3443648 edges, 4999 markings/sec, 270 secs
lola: 1249552 markings, 3513839 edges, 4870 markings/sec, 275 secs
lola: 1275503 markings, 3583789 edges, 5190 markings/sec, 280 secs
lola: 1300178 markings, 3655495 edges, 4935 markings/sec, 285 secs
lola: 1325923 markings, 3724256 edges, 5149 markings/sec, 290 secs
lola: 1350696 markings, 3796512 edges, 4955 markings/sec, 295 secs
lola: 1376497 markings, 3865118 edges, 5160 markings/sec, 300 secs
lola: 1400954 markings, 3936614 edges, 4891 markings/sec, 305 secs
lola: 1425226 markings, 4006934 edges, 4854 markings/sec, 310 secs
lola: 1451215 markings, 4076799 edges, 5198 markings/sec, 315 secs
lola: 1476053 markings, 4149047 edges, 4968 markings/sec, 320 secs
lola: 1501793 markings, 4217943 edges, 5148 markings/sec, 325 secs
lola: 1526821 markings, 4291026 edges, 5006 markings/sec, 330 secs
lola: 1552259 markings, 4358871 edges, 5088 markings/sec, 335 secs
lola: 1577240 markings, 4431771 edges, 4996 markings/sec, 340 secs
lola: 1602749 markings, 4500857 edges, 5102 markings/sec, 345 secs
lola: 1628141 markings, 4574107 edges, 5078 markings/sec, 350 secs
lola: 1652078 markings, 4643096 edges, 4787 markings/sec, 355 secs
lola: 1677511 markings, 4712012 edges, 5087 markings/sec, 360 secs
lola: 1701855 markings, 4782525 edges, 4869 markings/sec, 365 secs
lola: 1727356 markings, 4851286 edges, 5100 markings/sec, 370 secs
lola: 1751919 markings, 4922651 edges, 4913 markings/sec, 375 secs
lola: 1777365 markings, 4991189 edges, 5089 markings/sec, 380 secs
lola: 1801918 markings, 5062496 edges, 4911 markings/sec, 385 secs
lola: 1827475 markings, 5131536 edges, 5111 markings/sec, 390 secs
lola: 1852147 markings, 5203171 edges, 4934 markings/sec, 395 secs
lola: 1877529 markings, 5271652 edges, 5076 markings/sec, 400 secs
lola: 1902156 markings, 5343172 edges, 4925 markings/sec, 405 secs
lola: 1927475 markings, 5411582 edges, 5064 markings/sec, 410 secs
lola: 1951673 markings, 5481690 edges, 4840 markings/sec, 415 secs
lola: 1976449 markings, 5548551 edges, 4955 markings/sec, 420 secs
lola: 2000937 markings, 5619645 edges, 4898 markings/sec, 425 secs
lola: 2026631 markings, 5689275 edges, 5139 markings/sec, 430 secs
lola: 2051188 markings, 5760458 edges, 4911 markings/sec, 435 secs
lola: 2076538 markings, 5829324 edges, 5070 markings/sec, 440 secs
lola: 2100665 markings, 5898785 edges, 4825 markings/sec, 445 secs
lola: 2126321 markings, 5968973 edges, 5131 markings/sec, 450 secs
lola: 2151278 markings, 6036383 edges, 4991 markings/sec, 455 secs
lola: 2175996 markings, 6108300 edges, 4944 markings/sec, 460 secs
lola: 2201122 markings, 6176440 edges, 5025 markings/sec, 465 secs
lola: 2225668 markings, 6247615 edges, 4909 markings/sec, 470 secs
lola: 2250825 markings, 6316053 edges, 5031 markings/sec, 475 secs
lola: 2274902 markings, 6385369 edges, 4815 markings/sec, 480 secs
lola: 2300483 markings, 6455552 edges, 5116 markings/sec, 485 secs
lola: 2325347 markings, 6523157 edges, 4973 markings/sec, 490 secs
lola: 2349815 markings, 6593976 edges, 4894 markings/sec, 495 secs
lola: 2374879 markings, 6662326 edges, 5013 markings/sec, 500 secs
lola: 2399683 markings, 6730465 edges, 4961 markings/sec, 505 secs
lola: 2424428 markings, 6801513 edges, 4949 markings/sec, 510 secs
lola: 2449547 markings, 6870132 edges, 5024 markings/sec, 515 secs
lola: 2473727 markings, 6937971 edges, 4836 markings/sec, 520 secs
lola: 2498972 markings, 7009076 edges, 5049 markings/sec, 525 secs
lola: 2524564 markings, 7079193 edges, 5118 markings/sec, 530 secs
lola: 2549558 markings, 7147651 edges, 4999 markings/sec, 535 secs
lola: 2573866 markings, 7217738 edges, 4862 markings/sec, 540 secs
lola: 2599058 markings, 7286903 edges, 5038 markings/sec, 545 secs
lola: 2624028 markings, 7355352 edges, 4994 markings/sec, 550 secs
lola: 2648807 markings, 7423234 edges, 4956 markings/sec, 555 secs
lola: 2673339 markings, 7493854 edges, 4906 markings/sec, 560 secs
lola: 2697909 markings, 7561379 edges, 4914 markings/sec, 565 secs
lola: 2722388 markings, 7628647 edges, 4896 markings/sec, 570 secs
lola: 2744610 markings, 7682578 edges, 4444 markings/sec, 575 secs
lola: 2771143 markings, 7755936 edges, 5307 markings/sec, 580 secs
lola: 2796420 markings, 7830587 edges, 5055 markings/sec, 585 secs
lola: 2821616 markings, 7904712 edges, 5039 markings/sec, 590 secs
lola: 2846764 markings, 7978758 edges, 5030 markings/sec, 595 secs
lola: 2871912 markings, 8052865 edges, 5030 markings/sec, 600 secs
lola: 2897052 markings, 8126746 edges, 5028 markings/sec, 605 secs
lola: 2921856 markings, 8199475 edges, 4961 markings/sec, 610 secs
lola: 2946310 markings, 8270661 edges, 4891 markings/sec, 615 secs
lola: 2970830 markings, 8337392 edges, 4904 markings/sec, 620 secs
lola: 2994118 markings, 8397276 edges, 4658 markings/sec, 625 secs
lola: 3020949 markings, 8468756 edges, 5366 markings/sec, 630 secs
lola: 3047002 markings, 8545626 edges, 5211 markings/sec, 635 secs
lola: 3072630 markings, 8621050 edges, 5126 markings/sec, 640 secs
lola: 3097911 markings, 8695499 edges, 5056 markings/sec, 645 secs
lola: 3123065 markings, 8769631 edges, 5031 markings/sec, 650 secs
lola: 3148610 markings, 8844471 edges, 5109 markings/sec, 655 secs
lola: 3173599 markings, 8917785 edges, 4998 markings/sec, 660 secs
lola: 3198281 markings, 8989661 edges, 4936 markings/sec, 665 secs
lola: 3222697 markings, 9056046 edges, 4883 markings/sec, 670 secs
lola: 3246124 markings, 9112534 edges, 4685 markings/sec, 675 secs
lola: 3272551 markings, 9187213 edges, 5285 markings/sec, 680 secs
lola: 3297910 markings, 9261954 edges, 5072 markings/sec, 685 secs
lola: 3323670 markings, 9337943 edges, 5152 markings/sec, 690 secs
lola: 3349006 markings, 9412478 edges, 5067 markings/sec, 695 secs
lola: 3374226 markings, 9486618 edges, 5044 markings/sec, 700 secs
lola: 3398288 markings, 9557306 edges, 4812 markings/sec, 705 secs
lola: 3423307 markings, 9630490 edges, 5004 markings/sec, 710 secs
lola: 3447956 markings, 9701980 edges, 4930 markings/sec, 715 secs
lola: 3472895 markings, 9769894 edges, 4988 markings/sec, 720 secs
lola: 3497411 markings, 9827043 edges, 4903 markings/sec, 725 secs
lola: 3523224 markings, 9903137 edges, 5163 markings/sec, 730 secs
lola: 3549000 markings, 9978984 edges, 5155 markings/sec, 735 secs
lola: 3573478 markings, 10051314 edges, 4896 markings/sec, 740 secs
lola: 3597239 markings, 10121242 edges, 4752 markings/sec, 745 secs
lola: 3620825 markings, 10190434 edges, 4717 markings/sec, 750 secs
lola: 3644906 markings, 10261207 edges, 4816 markings/sec, 755 secs
lola: 3670354 markings, 10335492 edges, 5090 markings/sec, 760 secs
lola: 3695094 markings, 10406688 edges, 4948 markings/sec, 765 secs
lola: 3720130 markings, 10475105 edges, 5007 markings/sec, 770 secs
lola: 3745441 markings, 10535375 edges, 5062 markings/sec, 775 secs
lola: 3771372 markings, 10611988 edges, 5186 markings/sec, 780 secs
lola: 3797025 markings, 10687487 edges, 5131 markings/sec, 785 secs
lola: 3822317 markings, 10761972 edges, 5058 markings/sec, 790 secs
lola: 3846142 markings, 10832128 edges, 4765 markings/sec, 795 secs
lola: 3869758 markings, 10901458 edges, 4723 markings/sec, 800 secs
lola: 3893272 markings, 10970341 edges, 4703 markings/sec, 805 secs
lola: 3916595 markings, 11038374 edges, 4665 markings/sec, 810 secs
lola: 3939482 markings, 11100704 edges, 4577 markings/sec, 815 secs
lola: 3961711 markings, 11160198 edges, 4446 markings/sec, 820 secs
lola: 3985975 markings, 11222241 edges, 4853 markings/sec, 825 secs
lola: 4009651 markings, 11292107 edges, 4735 markings/sec, 830 secs
lola: 4033175 markings, 11361242 edges, 4705 markings/sec, 835 secs
lola: 4057031 markings, 11431433 edges, 4771 markings/sec, 840 secs
lola: 4080755 markings, 11501291 edges, 4745 markings/sec, 845 secs
lola: 4104408 markings, 11570741 edges, 4731 markings/sec, 850 secs
lola: 4128238 markings, 11640580 edges, 4766 markings/sec, 855 secs
lola: 4151598 markings, 11708625 edges, 4672 markings/sec, 860 secs
lola: 4174584 markings, 11771319 edges, 4597 markings/sec, 865 secs
lola: 4197119 markings, 11828806 edges, 4507 markings/sec, 870 secs
lola: 4221838 markings, 11895268 edges, 4944 markings/sec, 875 secs
lola: 4245732 markings, 11965803 edges, 4779 markings/sec, 880 secs
lola: 4270151 markings, 12037636 edges, 4884 markings/sec, 885 secs
lola: 4294283 markings, 12108676 edges, 4826 markings/sec, 890 secs
lola: 4317952 markings, 12178393 edges, 4734 markings/sec, 895 secs
lola: 4341517 markings, 12247353 edges, 4713 markings/sec, 900 secs
lola: 4365862 markings, 12318791 edges, 4869 markings/sec, 905 secs
lola: 4388979 markings, 12385918 edges, 4623 markings/sec, 910 secs
lola: 4411901 markings, 12448254 edges, 4584 markings/sec, 915 secs
lola: 4435286 markings, 12503247 edges, 4677 markings/sec, 920 secs
lola: 4460123 markings, 12576026 edges, 4967 markings/sec, 925 secs
lola: 4484038 markings, 12646641 edges, 4783 markings/sec, 930 secs
lola: 4507776 markings, 12716459 edges, 4748 markings/sec, 935 secs
lola: 4531391 markings, 12785690 edges, 4723 markings/sec, 940 secs
lola: 4555209 markings, 12855890 edges, 4764 markings/sec, 945 secs
lola: 4578665 markings, 12924582 edges, 4691 markings/sec, 950 secs
lola: 4601989 markings, 12992597 edges, 4665 markings/sec, 955 secs
lola: 4624658 markings, 13056618 edges, 4534 markings/sec, 960 secs
lola: 4648177 markings, 13119633 edges, 4704 markings/sec, 965 secs
lola: 4672639 markings, 13181126 edges, 4892 markings/sec, 970 secs
lola: 4696432 markings, 13251036 edges, 4759 markings/sec, 975 secs
lola: 4720259 markings, 13321414 edges, 4765 markings/sec, 980 secs
lola: 4744040 markings, 13391398 edges, 4756 markings/sec, 985 secs
lola: 4767709 markings, 13460838 edges, 4734 markings/sec, 990 secs
lola: 4791636 markings, 13531148 edges, 4785 markings/sec, 995 secs
lola: 4815232 markings, 13600117 edges, 4719 markings/sec, 1000 secs
lola: 4838341 markings, 13667254 edges, 4622 markings/sec, 1005 secs
lola: 4861188 markings, 13729426 edges, 4569 markings/sec, 1010 secs
lola: 4884214 markings, 13783698 edges, 4605 markings/sec, 1015 secs
lola: 4908490 markings, 13855226 edges, 4855 markings/sec, 1020 secs
lola: 4932793 markings, 13926698 edges, 4861 markings/sec, 1025 secs
lola: 4956579 markings, 13996687 edges, 4757 markings/sec, 1030 secs
lola: 4980489 markings, 14066893 edges, 4782 markings/sec, 1035 secs
lola: 5005374 markings, 14140003 edges, 4977 markings/sec, 1040 secs
lola: 5030511 markings, 14213566 edges, 5027 markings/sec, 1045 secs
lola: 5055096 markings, 14285100 edges, 4917 markings/sec, 1050 secs
lola: 5079031 markings, 14350589 edges, 4787 markings/sec, 1055 secs
lola: 5103361 markings, 14408932 edges, 4866 markings/sec, 1060 secs
lola: 5128557 markings, 14482899 edges, 5039 markings/sec, 1065 secs
lola: 5152401 markings, 14553323 edges, 4769 markings/sec, 1070 secs
lola: 5176155 markings, 14623018 edges, 4751 markings/sec, 1075 secs
lola: 5200840 markings, 14695696 edges, 4937 markings/sec, 1080 secs
lola: 5226433 markings, 14770741 edges, 5119 markings/sec, 1085 secs
lola: 5249796 markings, 14839036 edges, 4673 markings/sec, 1090 secs
lola: 5272964 markings, 14906386 edges, 4634 markings/sec, 1095 secs
lola: 5296395 markings, 14970176 edges, 4686 markings/sec, 1100 secs
lola: 5320261 markings, 15027918 edges, 4773 markings/sec, 1105 secs
lola: 5344045 markings, 15097665 edges, 4757 markings/sec, 1110 secs
lola: 5367713 markings, 15167264 edges, 4734 markings/sec, 1115 secs
lola: 5392135 markings, 15239183 edges, 4884 markings/sec, 1120 secs
lola: 5417439 markings, 15313539 edges, 5061 markings/sec, 1125 secs
lola: 5443127 markings, 15388901 edges, 5138 markings/sec, 1130 secs
lola: 5468461 markings, 15462922 edges, 5067 markings/sec, 1135 secs
lola: 5492183 markings, 15531037 edges, 4744 markings/sec, 1140 secs
lola: 5514555 markings, 15587493 edges, 4474 markings/sec, 1145 secs
lola: 5538888 markings, 15651760 edges, 4867 markings/sec, 1150 secs
lola: 5562746 markings, 15722209 edges, 4772 markings/sec, 1155 secs
lola: 5587197 markings, 15794141 edges, 4890 markings/sec, 1160 secs
lola: 5610917 markings, 15863736 edges, 4744 markings/sec, 1165 secs
lola: 5635581 markings, 15936224 edges, 4933 markings/sec, 1170 secs
lola: 5659192 markings, 16005199 edges, 4722 markings/sec, 1175 secs
lola: 5682516 markings, 16073313 edges, 4665 markings/sec, 1180 secs
lola: 5705324 markings, 16136031 edges, 4562 markings/sec, 1185 secs
lola: 5730129 markings, 16196353 edges, 4961 markings/sec, 1190 secs
lola: 5755255 markings, 16269785 edges, 5025 markings/sec, 1195 secs
lola: 5779421 markings, 16340869 edges, 4833 markings/sec, 1200 secs
lola: 5803581 markings, 16411893 edges, 4832 markings/sec, 1205 secs
lola: 5827240 markings, 16481427 edges, 4732 markings/sec, 1210 secs
lola: 5851089 markings, 16551281 edges, 4770 markings/sec, 1215 secs
lola: 5876896 markings, 16626712 edges, 5161 markings/sec, 1220 secs
lola: 5902096 markings, 16699592 edges, 5040 markings/sec, 1225 secs
lola: 5926140 markings, 16758364 edges, 4809 markings/sec, 1230 secs
lola: 5950892 markings, 16826886 edges, 4950 markings/sec, 1235 secs
lola: 5974539 markings, 16896407 edges, 4729 markings/sec, 1240 secs
lola: 5998294 markings, 16966314 edges, 4751 markings/sec, 1245 secs
lola: 6023854 markings, 17041418 edges, 5112 markings/sec, 1250 secs
lola: 6049627 markings, 17117013 edges, 5155 markings/sec, 1255 secs
lola: 6075095 markings, 17191411 edges, 5094 markings/sec, 1260 secs
lola: 6100028 markings, 17263620 edges, 4987 markings/sec, 1265 secs
lola: 6123990 markings, 17323800 edges, 4792 markings/sec, 1270 secs
lola: 6150359 markings, 17395605 edges, 5274 markings/sec, 1275 secs
lola: 6176254 markings, 17471571 edges, 5179 markings/sec, 1280 secs
lola: 6202300 markings, 17548343 edges, 5209 markings/sec, 1285 secs
lola: 6227905 markings, 17623351 edges, 5121 markings/sec, 1290 secs
lola: 6253664 markings, 17698962 edges, 5152 markings/sec, 1295 secs
lola: 6278953 markings, 17772701 edges, 5058 markings/sec, 1300 secs
lola: 6303631 markings, 17841300 edges, 4936 markings/sec, 1305 secs
lola: 6328745 markings, 17902482 edges, 5023 markings/sec, 1310 secs
lola: 6354768 markings, 17978965 edges, 5205 markings/sec, 1315 secs
lola: 6380534 markings, 18054868 edges, 5153 markings/sec, 1320 secs
lola: 6406203 markings, 18130272 edges, 5134 markings/sec, 1325 secs
lola: 6431725 markings, 18205088 edges, 5104 markings/sec, 1330 secs
lola: 6457286 markings, 18279943 edges, 5112 markings/sec, 1335 secs
lola: 6482251 markings, 18352479 edges, 4993 markings/sec, 1340 secs
lola: 6506172 markings, 18417714 edges, 4784 markings/sec, 1345 secs
lola: 6531097 markings, 18480333 edges, 4985 markings/sec, 1350 secs
lola: 6556821 markings, 18555770 edges, 5145 markings/sec, 1355 secs
lola: 6582666 markings, 18631806 edges, 5169 markings/sec, 1360 secs
lola: 6608506 markings, 18707650 edges, 5168 markings/sec, 1365 secs
lola: 6633916 markings, 18782211 edges, 5082 markings/sec, 1370 secs
lola: 6659145 markings, 18855766 edges, 5046 markings/sec, 1375 secs
lola: 6683882 markings, 18924763 edges, 4947 markings/sec, 1380 secs
lola: 6709034 markings, 18986491 edges, 5030 markings/sec, 1385 secs
lola: 6735020 markings, 19062876 edges, 5197 markings/sec, 1390 secs
lola: 6760827 markings, 19138627 edges, 5161 markings/sec, 1395 secs
lola: 6786593 markings, 19214355 edges, 5153 markings/sec, 1400 secs
lola: 6811182 markings, 19286421 edges, 4918 markings/sec, 1405 secs
lola: 6835784 markings, 19358252 edges, 4920 markings/sec, 1410 secs
lola: 6860356 markings, 19429733 edges, 4914 markings/sec, 1415 secs
lola: 6883452 markings, 19487151 edges, 4619 markings/sec, 1420 secs
lola: 6909454 markings, 19558893 edges, 5200 markings/sec, 1425 secs
lola: 6934530 markings, 19632730 edges, 5015 markings/sec, 1430 secs
lola: 6959594 markings, 19706326 edges, 5013 markings/sec, 1435 secs
lola: 6984630 markings, 19779689 edges, 5007 markings/sec, 1440 secs
lola: 7009315 markings, 19851929 edges, 4937 markings/sec, 1445 secs
lola: 7034233 markings, 19924513 edges, 4984 markings/sec, 1450 secs
lola: 7058206 markings, 19990194 edges, 4795 markings/sec, 1455 secs
lola: 7083393 markings, 20053906 edges, 5037 markings/sec, 1460 secs
lola: 7108561 markings, 20128007 edges, 5034 markings/sec, 1465 secs
lola: 7133593 markings, 20201492 edges, 5006 markings/sec, 1470 secs
lola: 7158690 markings, 20275024 edges, 5019 markings/sec, 1475 secs
lola: 7183503 markings, 20347847 edges, 4963 markings/sec, 1480 secs
lola: 7208003 markings, 20419118 edges, 4900 markings/sec, 1485 secs
lola: 7231775 markings, 20484892 edges, 4754 markings/sec, 1490 secs
lola: 7256623 markings, 20547269 edges, 4970 markings/sec, 1495 secs
lola: 7281594 markings, 20620689 edges, 4994 markings/sec, 1500 secs
lola: 7306654 markings, 20694325 edges, 5012 markings/sec, 1505 secs
lola: 7330266 markings, 20763399 edges, 4722 markings/sec, 1510 secs
lola: 7353825 markings, 20832458 edges, 4712 markings/sec, 1515 secs
lola: 7377202 markings, 20900721 edges, 4675 markings/sec, 1520 secs
lola: 7400367 markings, 20966708 edges, 4633 markings/sec, 1525 secs
lola: 7424407 markings, 21024926 edges, 4808 markings/sec, 1530 secs
lola: 7448144 markings, 21094610 edges, 4747 markings/sec, 1535 secs
lola: 7471731 markings, 21163745 edges, 4717 markings/sec, 1540 secs
lola: 7495342 markings, 21233054 edges, 4722 markings/sec, 1545 secs
lola: 7519901 markings, 21304836 edges, 4912 markings/sec, 1550 secs
lola: 7545212 markings, 21378866 edges, 5062 markings/sec, 1555 secs
lola: 7568753 markings, 21446681 edges, 4708 markings/sec, 1560 secs
lola: 7591854 markings, 21501621 edges, 4620 markings/sec, 1565 secs
lola: 7615591 markings, 21571310 edges, 4747 markings/sec, 1570 secs
lola: 7639573 markings, 21641636 edges, 4796 markings/sec, 1575 secs
lola: 7664563 markings, 21714823 edges, 4998 markings/sec, 1580 secs
lola: 7688088 markings, 21783774 edges, 4705 markings/sec, 1585 secs
lola: 7711438 markings, 21851949 edges, 4670 markings/sec, 1590 secs
lola: 7734286 markings, 21917905 edges, 4570 markings/sec, 1595 secs
lola: 7757202 markings, 21972506 edges, 4583 markings/sec, 1600 secs
lola: 7780984 markings, 22042337 edges, 4756 markings/sec, 1605 secs
lola: 7805624 markings, 22114636 edges, 4928 markings/sec, 1610 secs
lola: 7830463 markings, 22187381 edges, 4968 markings/sec, 1615 secs
lola: 7855666 markings, 22261139 edges, 5041 markings/sec, 1620 secs
lola: 7880972 markings, 22334848 edges, 5061 markings/sec, 1625 secs
lola: 7905302 markings, 22401318 edges, 4866 markings/sec, 1630 secs
lola: 7931110 markings, 22468755 edges, 5162 markings/sec, 1635 secs
lola: 7956836 markings, 22544268 edges, 5145 markings/sec, 1640 secs
lola: 7982669 markings, 22619948 edges, 5167 markings/sec, 1645 secs
lola: 8008216 markings, 22694688 edges, 5109 markings/sec, 1650 secs
lola: 8033715 markings, 22769094 edges, 5100 markings/sec, 1655 secs
lola: 8058293 markings, 22838965 edges, 4916 markings/sec, 1660 secs
lola: 8084024 markings, 22903431 edges, 5146 markings/sec, 1665 secs
lola: 8109486 markings, 22978125 edges, 5092 markings/sec, 1670 secs
lola: 8134887 markings, 23052772 edges, 5080 markings/sec, 1675 secs
lola: 8160547 markings, 23127832 edges, 5132 markings/sec, 1680 secs
lola: 8185824 markings, 23201552 edges, 5055 markings/sec, 1685 secs
lola: 8210762 markings, 23273688 edges, 4988 markings/sec, 1690 secs
lola: 8235812 markings, 23335432 edges, 5010 markings/sec, 1695 secs
lola: 8261561 markings, 23411005 edges, 5150 markings/sec, 1700 secs
lola: 8287084 markings, 23485748 edges, 5105 markings/sec, 1705 secs
lola: 8312647 markings, 23560527 edges, 5113 markings/sec, 1710 secs
lola: 8337921 markings, 23634252 edges, 5055 markings/sec, 1715 secs
lola: 8362772 markings, 23705982 edges, 4970 markings/sec, 1720 secs
lola: 8387475 markings, 23767049 edges, 4941 markings/sec, 1725 secs
lola: 8412412 markings, 23840142 edges, 4987 markings/sec, 1730 secs
lola: 8438060 markings, 23915290 edges, 5130 markings/sec, 1735 secs
lola: 8463418 markings, 23989495 edges, 5072 markings/sec, 1740 secs
lola: 8488871 markings, 24063804 edges, 5091 markings/sec, 1745 secs
lola: 8513346 markings, 24132127 edges, 4895 markings/sec, 1750 secs
lola: 8538616 markings, 24197920 edges, 5054 markings/sec, 1755 secs
lola: 8562208 markings, 24267068 edges, 4718 markings/sec, 1760 secs
lola: 8585912 markings, 24336674 edges, 4741 markings/sec, 1765 secs
lola: 8609375 markings, 24405222 edges, 4693 markings/sec, 1770 secs
lola: 8632939 markings, 24473896 edges, 4713 markings/sec, 1775 secs
lola: 8655541 markings, 24538632 edges, 4520 markings/sec, 1780 secs
lola: 8678940 markings, 24597972 edges, 4680 markings/sec, 1785 secs
lola: 8703131 markings, 24668922 edges, 4838 markings/sec, 1790 secs
lola: 8727190 markings, 24739333 edges, 4812 markings/sec, 1795 secs
lola: 8751858 markings, 24811280 edges, 4934 markings/sec, 1800 secs
lola: 8776875 markings, 24884175 edges, 5003 markings/sec, 1805 secs
lola: 8799989 markings, 24945095 edges, 4623 markings/sec, 1810 secs
lola: 8825211 markings, 25016818 edges, 5044 markings/sec, 1815 secs
lola: 8849990 markings, 25089463 edges, 4956 markings/sec, 1820 secs
lola: 8874886 markings, 25162309 edges, 4979 markings/sec, 1825 secs
lola: 8899529 markings, 25234109 edges, 4929 markings/sec, 1830 secs
lola: 8924102 markings, 25305459 edges, 4915 markings/sec, 1835 secs
lola: 8948593 markings, 25368957 edges, 4898 markings/sec, 1840 secs
lola: 8973872 markings, 25442888 edges, 5056 markings/sec, 1845 secs
lola: 8999230 markings, 25517195 edges, 5072 markings/sec, 1850 secs
lola: 9024899 markings, 25592157 edges, 5134 markings/sec, 1855 secs
lola: 9049894 markings, 25664852 edges, 4999 markings/sec, 1860 secs
lola: 9074249 markings, 25727753 edges, 4871 markings/sec, 1865 secs
lola: 9099224 markings, 25800930 edges, 4995 markings/sec, 1870 secs
lola: 9124199 markings, 25874051 edges, 4995 markings/sec, 1875 secs
lola: 9149598 markings, 25948153 edges, 5080 markings/sec, 1880 secs
lola: 9174261 markings, 26019955 edges, 4933 markings/sec, 1885 secs
lola: 9197746 markings, 26084798 edges, 4697 markings/sec, 1890 secs
lola: 9223622 markings, 26156174 edges, 5175 markings/sec, 1895 secs
lola: 9248865 markings, 26230078 edges, 5049 markings/sec, 1900 secs
lola: 9273872 markings, 26303203 edges, 5001 markings/sec, 1905 secs
lola: 9298325 markings, 26374312 edges, 4891 markings/sec, 1910 secs
lola: 9321259 markings, 26440516 edges, 4587 markings/sec, 1915 secs
lola: 9344640 markings, 26501900 edges, 4676 markings/sec, 1920 secs
lola: 9368149 markings, 26570582 edges, 4702 markings/sec, 1925 secs
lola: 9392855 markings, 26642758 edges, 4941 markings/sec, 1930 secs
lola: 9417657 markings, 26715032 edges, 4960 markings/sec, 1935 secs
lola: 9442378 markings, 26786671 edges, 4944 markings/sec, 1940 secs
lola: 9467101 markings, 26851699 edges, 4945 markings/sec, 1945 secs
lola: 9492060 markings, 26924720 edges, 4992 markings/sec, 1950 secs
lola: 9517093 markings, 26997880 edges, 5007 markings/sec, 1955 secs
lola: 9542050 markings, 27070444 edges, 4991 markings/sec, 1960 secs
lola: 9566255 markings, 27140494 edges, 4841 markings/sec, 1965 secs
lola: 9591027 markings, 27206176 edges, 4954 markings/sec, 1970 secs
lola: 9615943 markings, 27278829 edges, 4983 markings/sec, 1975 secs
lola: 9641361 markings, 27353059 edges, 5084 markings/sec, 1980 secs
lola: 9665765 markings, 27424140 edges, 4881 markings/sec, 1985 secs
lola: 9688609 markings, 27489981 edges, 4569 markings/sec, 1990 secs
lola: 9711905 markings, 27551573 edges, 4659 markings/sec, 1995 secs
lola: 9735406 markings, 27620271 edges, 4700 markings/sec, 2000 secs
lola: 9759672 markings, 27690971 edges, 4853 markings/sec, 2005 secs
lola: 9782952 markings, 27758805 edges, 4656 markings/sec, 2010 secs
lola: 9805703 markings, 27824288 edges, 4550 markings/sec, 2015 secs
lola: 9829013 markings, 27886262 edges, 4662 markings/sec, 2020 secs
lola: 9853572 markings, 27957890 edges, 4912 markings/sec, 2025 secs
lola: 9878675 markings, 28031131 edges, 5021 markings/sec, 2030 secs
lola: 9903107 markings, 28102123 edges, 4886 markings/sec, 2035 secs
lola: 9926349 markings, 28164066 edges, 4648 markings/sec, 2040 secs
lola: 9950767 markings, 28234601 edges, 4884 markings/sec, 2045 secs
lola: 9975377 markings, 28306220 edges, 4922 markings/sec, 2050 secs
lola: 10000219 markings, 28378597 edges, 4968 markings/sec, 2055 secs
lola: 10024442 markings, 28448744 edges, 4845 markings/sec, 2060 secs
lola: 10047594 markings, 28510048 edges, 4630 markings/sec, 2065 secs
lola: 10071146 markings, 28578890 edges, 4710 markings/sec, 2070 secs
lola: 10094603 markings, 28647168 edges, 4691 markings/sec, 2075 secs
lola: 10117853 markings, 28714737 edges, 4650 markings/sec, 2080 secs
lola: 10140542 markings, 28779809 edges, 4538 markings/sec, 2085 secs
lola: 10164142 markings, 28843387 edges, 4720 markings/sec, 2090 secs
lola: 10187662 markings, 28911958 edges, 4704 markings/sec, 2095 secs
lola: 10211426 markings, 28981064 edges, 4753 markings/sec, 2100 secs
lola: 10234813 markings, 29048780 edges, 4677 markings/sec, 2105 secs
lola: 10257822 markings, 29109989 edges, 4602 markings/sec, 2110 secs
lola: 10281257 markings, 29178229 edges, 4687 markings/sec, 2115 secs
lola: 10304813 markings, 29246818 edges, 4711 markings/sec, 2120 secs
lola: 10328101 markings, 29314523 edges, 4658 markings/sec, 2125 secs
lola: 10350443 markings, 29376687 edges, 4468 markings/sec, 2130 secs
lola: 10374514 markings, 29443787 edges, 4814 markings/sec, 2135 secs
lola: 10397979 markings, 29512017 edges, 4693 markings/sec, 2140 secs
lola: 10421314 markings, 29579932 edges, 4667 markings/sec, 2145 secs
lola: 10444239 markings, 29646043 edges, 4585 markings/sec, 2150 secs
lola: 10468001 markings, 29710069 edges, 4752 markings/sec, 2155 secs
lola: 10491692 markings, 29778916 edges, 4738 markings/sec, 2160 secs
lola: 10515860 markings, 29849074 edges, 4834 markings/sec, 2165 secs
lola: 10539757 markings, 29918168 edges, 4779 markings/sec, 2170 secs
lola: 10563856 markings, 29983182 edges, 4820 markings/sec, 2175 secs
lola: 10588669 markings, 30055385 edges, 4963 markings/sec, 2180 secs
lola: 10613291 markings, 30126733 edges, 4924 markings/sec, 2185 secs
lola: 10637460 markings, 30196421 edges, 4834 markings/sec, 2190 secs
lola: 10662534 markings, 30264725 edges, 5015 markings/sec, 2195 secs
lola: 10688219 markings, 30339154 edges, 5137 markings/sec, 2200 secs
lola: 10713648 markings, 30412893 edges, 5086 markings/sec, 2205 secs
lola: 10738287 markings, 30479410 edges, 4928 markings/sec, 2210 secs
lola: 10763670 markings, 30553159 edges, 5077 markings/sec, 2215 secs
lola: 10789047 markings, 30626834 edges, 5075 markings/sec, 2220 secs
lola: 10814294 markings, 30699643 edges, 5049 markings/sec, 2225 secs
lola: 10839653 markings, 30768639 edges, 5072 markings/sec, 2230 secs
lola: 10865108 markings, 30842597 edges, 5091 markings/sec, 2235 secs
lola: 10890157 markings, 30915025 edges, 5010 markings/sec, 2240 secs
lola: 10914984 markings, 30982526 edges, 4965 markings/sec, 2245 secs
lola: 10939916 markings, 31054729 edges, 4986 markings/sec, 2250 secs
lola: 10964523 markings, 31125985 edges, 4921 markings/sec, 2255 secs
lola: 10989315 markings, 31197199 edges, 4958 markings/sec, 2260 secs
lola: 11014591 markings, 31267374 edges, 5055 markings/sec, 2265 secs
lola: 11039377 markings, 31364709 edges, 4957 markings/sec, 2270 secs
lola: 11063794 markings, 31460186 edges, 4883 markings/sec, 2275 secs
lola: 11088541 markings, 31549517 edges, 4949 markings/sec, 2280 secs
lola: 11111619 markings, 31639987 edges, 4616 markings/sec, 2285 secs
lola: 11134386 markings, 31729145 edges, 4553 markings/sec, 2290 secs
lola: 11158548 markings, 31816050 edges, 4832 markings/sec, 2295 secs
lola: 11182669 markings, 31910899 edges, 4824 markings/sec, 2300 secs
lola: 11205284 markings, 31999263 edges, 4523 markings/sec, 2305 secs
lola: 11229236 markings, 32085440 edges, 4790 markings/sec, 2310 secs
lola: 11252177 markings, 32175587 edges, 4588 markings/sec, 2315 secs
lola: 11274970 markings, 32264676 edges, 4559 markings/sec, 2320 secs
lola: 11298884 markings, 32350814 edges, 4783 markings/sec, 2325 secs
lola: 11321819 markings, 32440947 edges, 4587 markings/sec, 2330 secs
lola: 11344416 markings, 32529271 edges, 4519 markings/sec, 2335 secs
lola: 11368288 markings, 32615351 edges, 4774 markings/sec, 2340 secs
lola: 11391223 markings, 32705469 edges, 4587 markings/sec, 2345 secs
lola: 11413789 markings, 32793519 edges, 4513 markings/sec, 2350 secs
lola: 11437929 markings, 32880804 edges, 4828 markings/sec, 2355 secs
lola: 11460851 markings, 32970847 edges, 4584 markings/sec, 2360 secs
lola: 11483421 markings, 33058946 edges, 4514 markings/sec, 2365 secs
lola: 11507968 markings, 33148070 edges, 4909 markings/sec, 2370 secs
lola: 11530827 markings, 33237736 edges, 4572 markings/sec, 2375 secs
lola: 11553191 markings, 33324723 edges, 4473 markings/sec, 2380 secs
lola: 11577310 markings, 33412531 edges, 4824 markings/sec, 2385 secs
lola: 11601741 markings, 33508301 edges, 4886 markings/sec, 2390 secs
lola: 11625888 markings, 33597952 edges, 4829 markings/sec, 2395 secs
lola: 11649508 markings, 33688306 edges, 4724 markings/sec, 2400 secs
lola: 11672147 markings, 33776807 edges, 4528 markings/sec, 2405 secs
lola: 11695878 markings, 33862745 edges, 4746 markings/sec, 2410 secs
lola: 11720756 markings, 33960438 edges, 4976 markings/sec, 2415 secs
lola: 11744986 markings, 34054860 edges, 4846 markings/sec, 2420 secs
lola: 11770238 markings, 34147171 edges, 5050 markings/sec, 2425 secs
lola: 11794446 markings, 34241961 edges, 4842 markings/sec, 2430 secs
lola: 11819429 markings, 34332737 edges, 4997 markings/sec, 2435 secs
lola: 11843112 markings, 34425846 edges, 4737 markings/sec, 2440 secs
lola: 11865804 markings, 34514459 edges, 4538 markings/sec, 2445 secs
lola: 11889465 markings, 34600346 edges, 4732 markings/sec, 2450 secs
lola: 11912577 markings, 34691092 edges, 4622 markings/sec, 2455 secs
lola: 11935777 markings, 34780953 edges, 4640 markings/sec, 2460 secs
lola: 11961045 markings, 34874125 edges, 5054 markings/sec, 2465 secs
lola: 11984691 markings, 34966542 edges, 4729 markings/sec, 2470 secs
lola: 12008983 markings, 35055228 edges, 4858 markings/sec, 2475 secs
lola: 12032490 markings, 35147343 edges, 4701 markings/sec, 2480 secs
lola: 12056574 markings, 35239172 edges, 4817 markings/sec, 2485 secs
lola: 12081867 markings, 35334048 edges, 5059 markings/sec, 2490 secs
lola: 12105573 markings, 35426612 edges, 4741 markings/sec, 2495 secs
lola: 12130302 markings, 35517159 edges, 4946 markings/sec, 2500 secs
lola: 12154154 markings, 35610553 edges, 4770 markings/sec, 2505 secs
lola: 12178630 markings, 35700003 edges, 4895 markings/sec, 2510 secs
lola: 12202610 markings, 35794012 edges, 4796 markings/sec, 2515 secs
lola: 12225910 markings, 35884633 edges, 4660 markings/sec, 2520 secs
lola: 12250304 markings, 35974403 edges, 4879 markings/sec, 2525 secs
lola: 12272901 markings, 36062720 edges, 4519 markings/sec, 2530 secs
lola: 12296462 markings, 36148826 edges, 4712 markings/sec, 2535 secs
lola: 12319567 markings, 36239372 edges, 4621 markings/sec, 2540 secs
lola: 12342898 markings, 36324868 edges, 4666 markings/sec, 2545 secs
lola: 12365754 markings, 36414051 edges, 4571 markings/sec, 2550 secs
lola: 12388137 markings, 36501173 edges, 4477 markings/sec, 2555 secs
lola: 12412225 markings, 36589963 edges, 4818 markings/sec, 2560 secs
lola: 12435681 markings, 36681553 edges, 4691 markings/sec, 2565 secs
lola: 12460234 markings, 36771750 edges, 4911 markings/sec, 2570 secs
lola: 12483068 markings, 36861142 edges, 4567 markings/sec, 2575 secs
lola: 12507539 markings, 36951076 edges, 4894 markings/sec, 2580 secs
lola: 12531687 markings, 37045506 edges, 4830 markings/sec, 2585 secs
lola: 12554599 markings, 37129350 edges, 4582 markings/sec, 2590 secs
lola: 12577339 markings, 37218316 edges, 4548 markings/sec, 2595 secs
lola: 12599818 markings, 37303583 edges, 4496 markings/sec, 2600 secs
lola: 12623903 markings, 37394909 edges, 4817 markings/sec, 2605 secs
lola: 12646487 markings, 37482558 edges, 4517 markings/sec, 2610 secs
lola: 12671287 markings, 37574631 edges, 4960 markings/sec, 2615 secs
lola: 12694629 markings, 37665243 edges, 4668 markings/sec, 2620 secs
lola: 12719496 markings, 37757600 edges, 4973 markings/sec, 2625 secs
lola: 12743023 markings, 37848945 edges, 4705 markings/sec, 2630 secs
lola: 12766830 markings, 37937302 edges, 4761 markings/sec, 2635 secs
lola: 12789060 markings, 38023624 edges, 4446 markings/sec, 2640 secs
lola: 12812649 markings, 38111157 edges, 4718 markings/sec, 2645 secs
lola: 12834633 markings, 38196477 edges, 4397 markings/sec, 2650 secs
lola: 12858208 markings, 38283981 edges, 4715 markings/sec, 2655 secs
lola: 12880572 markings, 38370674 edges, 4473 markings/sec, 2660 secs
lola: 12905383 markings, 38463275 edges, 4962 markings/sec, 2665 secs
lola: 12929824 markings, 38553661 edges, 4888 markings/sec, 2670 secs
lola: 12953669 markings, 38646822 edges, 4769 markings/sec, 2675 secs
lola: 12978106 markings, 38737410 edges, 4887 markings/sec, 2680 secs
lola: 13001367 markings, 38828203 edges, 4652 markings/sec, 2685 secs
lola: 13025752 markings, 38918779 edges, 4877 markings/sec, 2690 secs
lola: 13049432 markings, 39010742 edges, 4736 markings/sec, 2695 secs
lola: 13074174 markings, 39103064 edges, 4948 markings/sec, 2700 secs
lola: 13098421 markings, 39192968 edges, 4849 markings/sec, 2705 secs
lola: 13122226 markings, 39285798 edges, 4761 markings/sec, 2710 secs
lola: 13146572 markings, 39376396 edges, 4869 markings/sec, 2715 secs
lola: 13168952 markings, 39463222 edges, 4476 markings/sec, 2720 secs
lola: 13192159 markings, 39549806 edges, 4641 markings/sec, 2725 secs
lola: 13215357 markings, 39636049 edges, 4640 markings/sec, 2730 secs
lola: 13237971 markings, 39723983 edges, 4523 markings/sec, 2735 secs
lola: 13261311 markings, 39810965 edges, 4668 markings/sec, 2740 secs
lola: 13284077 markings, 39895444 edges, 4553 markings/sec, 2745 secs
lola: 13306601 markings, 39983209 edges, 4505 markings/sec, 2750 secs
lola: 13331477 markings, 40076220 edges, 4975 markings/sec, 2755 secs
lola: 13356258 markings, 40168799 edges, 4956 markings/sec, 2760 secs
lola: 13380377 markings, 40262347 edges, 4824 markings/sec, 2765 secs
lola: 13405151 markings, 40355135 edges, 4955 markings/sec, 2770 secs
lola: 13429615 markings, 40446737 edges, 4893 markings/sec, 2775 secs
lola: 13453509 markings, 40535986 edges, 4779 markings/sec, 2780 secs
lola: 13476027 markings, 40623089 edges, 4504 markings/sec, 2785 secs
lola: 13498909 markings, 40708880 edges, 4576 markings/sec, 2790 secs
lola: 13521613 markings, 40793763 edges, 4541 markings/sec, 2795 secs
lola: 13544826 markings, 40880549 edges, 4643 markings/sec, 2800 secs
lola: 13567295 markings, 40961689 edges, 4494 markings/sec, 2805 secs
lola: 13592334 markings, 41051633 edges, 5008 markings/sec, 2810 secs
lola: 13616765 markings, 41148171 edges, 4886 markings/sec, 2815 secs
lola: 13640965 markings, 41243498 edges, 4840 markings/sec, 2820 secs
lola: 13665453 markings, 41340347 edges, 4898 markings/sec, 2825 secs
lola: 13689757 markings, 41435909 edges, 4861 markings/sec, 2830 secs
lola: 13715005 markings, 41535614 edges, 5050 markings/sec, 2835 secs
lola: 13739891 markings, 41633423 edges, 4977 markings/sec, 2840 secs
lola: 13763291 markings, 41725221 edges, 4680 markings/sec, 2845 secs
lola: 13787245 markings, 41815684 edges, 4791 markings/sec, 2850 secs
lola: 13811504 markings, 41908311 edges, 4852 markings/sec, 2855 secs
lola: 13835318 markings, 41987700 edges, 4763 markings/sec, 2860 secs
lola: 13859969 markings, 42084949 edges, 4930 markings/sec, 2865 secs
lola: 13883284 markings, 42176732 edges, 4663 markings/sec, 2870 secs
lola: 13907008 markings, 42270522 edges, 4745 markings/sec, 2875 secs
lola: 13930518 markings, 42363195 edges, 4702 markings/sec, 2880 secs
lola: 13953738 markings, 42454616 edges, 4644 markings/sec, 2885 secs
lola: 13976977 markings, 42546023 edges, 4648 markings/sec, 2890 secs
lola: 14001235 markings, 42641381 edges, 4852 markings/sec, 2895 secs
lola: 14025186 markings, 42734905 edges, 4790 markings/sec, 2900 secs
lola: 14048545 markings, 42821679 edges, 4672 markings/sec, 2905 secs
lola: 14071086 markings, 42897184 edges, 4508 markings/sec, 2910 secs
lola: 14095304 markings, 42990777 edges, 4844 markings/sec, 2915 secs
lola: 14119104 markings, 43084815 edges, 4760 markings/sec, 2920 secs
lola: 14143724 markings, 43181846 edges, 4924 markings/sec, 2925 secs
lola: 14168330 markings, 43278888 edges, 4921 markings/sec, 2930 secs
lola: 14191639 markings, 43370812 edges, 4662 markings/sec, 2935 secs
lola: 14214858 markings, 43462176 edges, 4644 markings/sec, 2940 secs
lola: 14237931 markings, 43552816 edges, 4615 markings/sec, 2945 secs
lola: 14260840 markings, 43642521 edges, 4582 markings/sec, 2950 secs
lola: 14283435 markings, 43726635 edges, 4519 markings/sec, 2955 secs
lola: 14305058 markings, 43805847 edges, 4325 markings/sec, 2960 secs
lola: 14329551 markings, 43892734 edges, 4899 markings/sec, 2965 secs
lola: 14354050 markings, 43989557 edges, 4900 markings/sec, 2970 secs
lola: 14377306 markings, 44081131 edges, 4651 markings/sec, 2975 secs
lola: 14400764 markings, 44173842 edges, 4692 markings/sec, 2980 secs
lola: 14423985 markings, 44265140 edges, 4644 markings/sec, 2985 secs
lola: 14447200 markings, 44356744 edges, 4643 markings/sec, 2990 secs
lola: 14470396 markings, 44447836 edges, 4639 markings/sec, 2995 secs
lola: 14493428 markings, 44538199 edges, 4606 markings/sec, 3000 secs
lola: 14516111 markings, 44625944 edges, 4537 markings/sec, 3005 secs
lola: 14539922 markings, 44714815 edges, 4762 markings/sec, 3010 secs
lola: 14562976 markings, 44792036 edges, 4611 markings/sec, 3015 secs
lola: 14586314 markings, 44883746 edges, 4668 markings/sec, 3020 secs
lola: 14609735 markings, 44976288 edges, 4684 markings/sec, 3025 secs
lola: 14633943 markings, 45071719 edges, 4842 markings/sec, 3030 secs
lola: 14657457 markings, 45164442 edges, 4703 markings/sec, 3035 secs
lola: 14681484 markings, 45259009 edges, 4805 markings/sec, 3040 secs
lola: 14706147 markings, 45356214 edges, 4933 markings/sec, 3045 secs
lola: 14730369 markings, 45451098 edges, 4844 markings/sec, 3050 secs
lola: 14754175 markings, 45540895 edges, 4761 markings/sec, 3055 secs
lola: 14777577 markings, 45628273 edges, 4680 markings/sec, 3060 secs
lola: 14802418 markings, 45714851 edges, 4968 markings/sec, 3065 secs
lola: 14826932 markings, 45811740 edges, 4903 markings/sec, 3070 secs
lola: 14851622 markings, 45909054 edges, 4938 markings/sec, 3075 secs
lola: 14876225 markings, 46006084 edges, 4921 markings/sec, 3080 secs
lola: 14900767 markings, 46102656 edges, 4908 markings/sec, 3085 secs
lola: 14925020 markings, 46198173 edges, 4851 markings/sec, 3090 secs
lola: 14949622 markings, 46294947 edges, 4920 markings/sec, 3095 secs
lola: 14972572 markings, 46384661 edges, 4590 markings/sec, 3100 secs
lola: 14994992 markings, 46468050 edges, 4484 markings/sec, 3105 secs
lola: 15016349 markings, 46540569 edges, 4271 markings/sec, 3110 secs
lola: 15040631 markings, 46633388 edges, 4856 markings/sec, 3115 secs
lola: 15064034 markings, 46725858 edges, 4681 markings/sec, 3120 secs
lola: 15087506 markings, 46818328 edges, 4694 markings/sec, 3125 secs
lola: 15111836 markings, 46914288 edges, 4866 markings/sec, 3130 secs
lola: 15135827 markings, 47008689 edges, 4798 markings/sec, 3135 secs
lola: 15160323 markings, 47105204 edges, 4899 markings/sec, 3140 secs
lola: 15184098 markings, 47198485 edges, 4755 markings/sec, 3145 secs
lola: 15207207 markings, 47288556 edges, 4622 markings/sec, 3150 secs
lola: 15229794 markings, 47372552 edges, 4517 markings/sec, 3155 secs
lola: 15252511 markings, 47448399 edges, 4543 markings/sec, 3160 secs
lola: 15275930 markings, 47540768 edges, 4684 markings/sec, 3165 secs
lola: 15299236 markings, 47632551 edges, 4661 markings/sec, 3170 secs
lola: 15322663 markings, 47725177 edges, 4685 markings/sec, 3175 secs
lola: 15345921 markings, 47816599 edges, 4652 markings/sec, 3180 secs
lola: 15369209 markings, 47908501 edges, 4658 markings/sec, 3185 secs
lola: 15392470 markings, 47999870 edges, 4652 markings/sec, 3190 secs
lola: 15415490 markings, 48090205 edges, 4604 markings/sec, 3195 secs
lola: 15438382 markings, 48178722 edges, 4578 markings/sec, 3200 secs
lola: 15461169 markings, 48261450 edges, 4557 markings/sec, 3205 secs
lola: 15484753 markings, 48343892 edges, 4717 markings/sec, 3210 secs
lola: 15508625 markings, 48438227 edges, 4774 markings/sec, 3215 secs
lola: 15533250 markings, 48535300 edges, 4925 markings/sec, 3220 secs
lola: 15557740 markings, 48631608 edges, 4898 markings/sec, 3225 secs
lola: 15582366 markings, 48728825 edges, 4925 markings/sec, 3230 secs
lola: 15606712 markings, 48824490 edges, 4869 markings/sec, 3235 secs
lola: time limit reached - aborting
lola:
preliminary result: 50 50 80 80 unknown 1 1 50 80 1 50 1 1 80 80 1
lola:
preliminary result: 50 50 80 80 unknown 1 1 50 80 1 50 1 1 80 80 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 50 80 80 unknown 1 1 50 80 1 50 1 1 80 80 1
lola: memory consumption: 1569896 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: 50 50 80 80 unknown 1 1 50 80 1 50 1 1 80 80 1
lola: memory consumption: 1570168 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 1552527422922

--------------------
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-V80P50N50"
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-V80P50N50, 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-155225065600488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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