fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r022-csrt-155225094600154
Last Updated
Apr 15, 2019

About the Execution of 2018-Gold for BridgeAndVehicles-COL-V80P20N50

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
470.400 3570265.00 3630914.00 349.80 20 1 80 1 1 80 1 20 1 80 20 20 ? 20 1 1 normal

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.r022-csrt-155225094600154.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 win2018
Input is BridgeAndVehicles-COL-V80P20N50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094600154
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 3.6K Feb 9 08:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 9 08:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 5 06:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 06:16 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.7K Feb 4 23:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 2 01:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 2 01:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Jan 29 14:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 29 14:08 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-V80P20N50-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-COL-V80P20N50-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-COL-V80P20N50-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-COL-V80P20N50-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-COL-V80P20N50-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-COL-V80P20N50-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-COL-V80P20N50-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-COL-V80P20N50-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-COL-V80P20N50-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-COL-V80P20N50-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-COL-V80P20N50-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V80P20N50-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V80P20N50-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V80P20N50-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V80P20N50-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V80P20N50-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552406044449

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P20N50 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P20N50 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-COL-V80P20N50 @ 3568 seconds
lola: LoLA will run for 3568 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 8816/65536 symbol table entries, 2860 collisions
lola: preprocessing...
lola: Size of bit vector: 7296
lola: finding significant places
lola: 228 places, 8588 transitions, 221 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 9173 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 <= 0)
lola: after: (1 <= 0)
lola: always false
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 + p98 + p97 + p96 + p95 + p94 + p93 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p99 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (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 + p174 + p175 + p176 + 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: always false
lola: place invariant simplifies atomic proposition
lola: before: (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 + p174 + p175 + p176 + 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: always false
lola: place invariant simplifies atomic proposition
lola: before: (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 + p174 + p175 + p176 + 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: always false
lola: place invariant simplifies atomic proposition
lola: before: (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 + p174 + p175 + p176 + 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: always false
lola: MAX(p58) : MAX(0) : MAX(p0) : MAX(0) : MAX(0) : MAX(p61) : MAX(p144 + p145) : MAX(p4) : MAX(0) : MAX(p61) : MAX(p146) : MAX(p58) : MAX(p143) : MAX(p146) : MAX(0) : MAX(0)
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(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 64 markings, 63 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-7 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p58)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p58)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 61 markings, 60 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-0 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p61)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p61)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 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: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-9 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p146)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p146)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola:
FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-10 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p58)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p58)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 61 markings, 60 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-11 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 712 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p143)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 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: 8526 markings, 12727 edges, 1705 markings/sec, 30 secs
lola: 21218 markings, 32632 edges, 2538 markings/sec, 35 secs
lola: 32578 markings, 49895 edges, 2272 markings/sec, 40 secs
lola: 45220 markings, 69757 edges, 2528 markings/sec, 45 secs
lola: 57904 markings, 89161 edges, 2537 markings/sec, 50 secs
lola: 72168 markings, 111261 edges, 2853 markings/sec, 55 secs
lola: 84516 markings, 130560 edges, 2470 markings/sec, 60 secs
lola: 96626 markings, 148761 edges, 2422 markings/sec, 65 secs
lola: 109368 markings, 169119 edges, 2548 markings/sec, 70 secs
lola: 121384 markings, 186918 edges, 2403 markings/sec, 75 secs
lola: 134856 markings, 208329 edges, 2694 markings/sec, 80 secs
lola: 146556 markings, 226060 edges, 2340 markings/sec, 85 secs
lola: 160212 markings, 247303 edges, 2731 markings/sec, 90 secs
lola: 171974 markings, 265657 edges, 2352 markings/sec, 95 secs
lola: 183624 markings, 283102 edges, 2330 markings/sec, 100 secs
lola: 196884 markings, 304102 edges, 2652 markings/sec, 105 secs
lola: 208454 markings, 321627 edges, 2314 markings/sec, 110 secs
lola: 222084 markings, 342818 edges, 2726 markings/sec, 115 secs
lola: 233522 markings, 360723 edges, 2288 markings/sec, 120 secs
lola: 245632 markings, 378861 edges, 2422 markings/sec, 125 secs
lola: 258718 markings, 399300 edges, 2617 markings/sec, 130 secs
lola: 270114 markings, 417096 edges, 2279 markings/sec, 135 secs
lola: 282005 markings, 434912 edges, 2378 markings/sec, 140 secs
lola: 295030 markings, 455247 edges, 2605 markings/sec, 145 secs
lola: 306570 markings, 473253 edges, 2308 markings/sec, 150 secs
lola: 318238 markings, 490865 edges, 2334 markings/sec, 155 secs
lola: 330410 markings, 509737 edges, 2434 markings/sec, 160 secs
lola: 342746 markings, 528810 edges, 2467 markings/sec, 165 secs
lola: 354328 markings, 546700 edges, 2316 markings/sec, 170 secs
lola: 365910 markings, 564167 edges, 2316 markings/sec, 175 secs
lola: 377842 markings, 582665 edges, 2386 markings/sec, 180 secs
lola: 390582 markings, 602268 edges, 2548 markings/sec, 185 secs
lola: 402245 markings, 620272 edges, 2333 markings/sec, 190 secs
lola: 413640 markings, 637782 edges, 2279 markings/sec, 195 secs
lola: 425468 markings, 655766 edges, 2366 markings/sec, 200 secs
lola: 436667 markings, 672752 edges, 2240 markings/sec, 205 secs
lola: 448220 markings, 690349 edges, 2311 markings/sec, 210 secs
lola: 459990 markings, 708650 edges, 2354 markings/sec, 215 secs
lola: 472038 markings, 727100 edges, 2410 markings/sec, 220 secs
lola: 483694 markings, 744905 edges, 2331 markings/sec, 225 secs
lola: 494930 markings, 762039 edges, 2247 markings/sec, 230 secs
lola: 506308 markings, 779127 edges, 2276 markings/sec, 235 secs
lola: 518016 markings, 797092 edges, 2342 markings/sec, 240 secs
lola: 529450 markings, 814656 edges, 2287 markings/sec, 245 secs
lola: 541148 markings, 832437 edges, 2340 markings/sec, 250 secs
lola: 552940 markings, 850321 edges, 2358 markings/sec, 255 secs
lola: 562815 markings, 865112 edges, 1975 markings/sec, 260 secs
lola: 574412 markings, 882813 edges, 2319 markings/sec, 265 secs
lola: 584930 markings, 898668 edges, 2104 markings/sec, 270 secs
lola: 595922 markings, 915222 edges, 2198 markings/sec, 275 secs
lola: 605900 markings, 930053 edges, 1996 markings/sec, 280 secs
lola: 617230 markings, 947241 edges, 2266 markings/sec, 285 secs
lola: 627280 markings, 962154 edges, 2010 markings/sec, 290 secs
lola: 636997 markings, 976589 edges, 1943 markings/sec, 295 secs
lola: 646802 markings, 991113 edges, 1961 markings/sec, 300 secs
lola: 653120 markings, 1000401 edges, 1264 markings/sec, 305 secs
lola: 653888 markings, 1001553 edges, 154 markings/sec, 310 secs
lola: 654650 markings, 1002696 edges, 152 markings/sec, 315 secs
lola: 656048 markings, 1004793 edges, 280 markings/sec, 320 secs
lola: 658470 markings, 1008424 edges, 484 markings/sec, 325 secs
lola: 659800 markings, 1010409 edges, 266 markings/sec, 330 secs
lola: 661156 markings, 1012435 edges, 271 markings/sec, 335 secs
lola: 662514 markings, 1014463 edges, 272 markings/sec, 340 secs
lola: 663854 markings, 1016466 edges, 268 markings/sec, 345 secs
lola: 665240 markings, 1018539 edges, 277 markings/sec, 350 secs
lola: 666574 markings, 1020534 edges, 267 markings/sec, 355 secs
lola: 667932 markings, 1022565 edges, 272 markings/sec, 360 secs
lola: 669700 markings, 1025209 edges, 354 markings/sec, 365 secs
lola: 674960 markings, 1033189 edges, 1052 markings/sec, 370 secs
lola: 676596 markings, 1035581 edges, 327 markings/sec, 375 secs
lola: 681010 markings, 1041941 edges, 883 markings/sec, 380 secs
lola: 684120 markings, 1046305 edges, 622 markings/sec, 385 secs
lola: 686792 markings, 1049989 edges, 534 markings/sec, 390 secs
lola: 689022 markings, 1053026 edges, 446 markings/sec, 395 secs
lola: 689788 markings, 1054175 edges, 153 markings/sec, 400 secs
lola: 690550 markings, 1055316 edges, 152 markings/sec, 405 secs
lola: 691308 markings, 1056447 edges, 152 markings/sec, 410 secs
lola: 692076 markings, 1057595 edges, 154 markings/sec, 415 secs
lola: 692830 markings, 1058720 edges, 151 markings/sec, 420 secs
lola: 693592 markings, 1059859 edges, 152 markings/sec, 425 secs
lola: 694356 markings, 1061001 edges, 153 markings/sec, 430 secs
lola: 695108 markings, 1062125 edges, 150 markings/sec, 435 secs
lola: 695856 markings, 1063243 edges, 150 markings/sec, 440 secs
lola: 696602 markings, 1064358 edges, 149 markings/sec, 445 secs
lola: 697350 markings, 1065476 edges, 150 markings/sec, 450 secs
lola: 698102 markings, 1066600 edges, 150 markings/sec, 455 secs
lola: 698880 markings, 1067763 edges, 156 markings/sec, 460 secs
lola: 699660 markings, 1068931 edges, 156 markings/sec, 465 secs
lola: 700438 markings, 1070094 edges, 156 markings/sec, 470 secs
lola: 701220 markings, 1071263 edges, 156 markings/sec, 475 secs
lola: 702006 markings, 1072439 edges, 157 markings/sec, 480 secs
lola: 702794 markings, 1073615 edges, 158 markings/sec, 485 secs
lola: 703578 markings, 1074791 edges, 157 markings/sec, 490 secs
lola: 704366 markings, 1075970 edges, 158 markings/sec, 495 secs
lola: 705150 markings, 1077144 edges, 157 markings/sec, 500 secs
lola: 705934 markings, 1078304 edges, 157 markings/sec, 505 secs
lola: 706724 markings, 1079479 edges, 158 markings/sec, 510 secs
lola: 707510 markings, 1080659 edges, 157 markings/sec, 515 secs
lola: 708296 markings, 1081840 edges, 157 markings/sec, 520 secs
lola: 709074 markings, 1083013 edges, 156 markings/sec, 525 secs
lola: 709860 markings, 1084194 edges, 157 markings/sec, 530 secs
lola: 712131 markings, 1087583 edges, 454 markings/sec, 535 secs
lola: 714101 markings, 1090137 edges, 394 markings/sec, 540 secs
lola: 714963 markings, 1091267 edges, 172 markings/sec, 545 secs
lola: 715759 markings, 1092449 edges, 159 markings/sec, 550 secs
lola: 716549 markings, 1093628 edges, 158 markings/sec, 555 secs
lola: 723415 markings, 1115396 edges, 1373 markings/sec, 560 secs
lola: 728802 markings, 1131587 edges, 1077 markings/sec, 565 secs
lola: 729580 markings, 1132655 edges, 156 markings/sec, 570 secs
lola: 730368 markings, 1133741 edges, 158 markings/sec, 575 secs
lola: 731154 markings, 1134920 edges, 157 markings/sec, 580 secs
lola: 731934 markings, 1136087 edges, 156 markings/sec, 585 secs
lola: 732716 markings, 1137257 edges, 156 markings/sec, 590 secs
lola: 733502 markings, 1138433 edges, 157 markings/sec, 595 secs
lola: 734280 markings, 1139598 edges, 156 markings/sec, 600 secs
lola: 735058 markings, 1140764 edges, 156 markings/sec, 605 secs
lola: 735838 markings, 1141930 edges, 156 markings/sec, 610 secs
lola: 736624 markings, 1143107 edges, 157 markings/sec, 615 secs
lola: 737404 markings, 1144275 edges, 156 markings/sec, 620 secs
lola: 738180 markings, 1145437 edges, 155 markings/sec, 625 secs
lola: 738960 markings, 1146605 edges, 156 markings/sec, 630 secs
lola: 739742 markings, 1147778 edges, 156 markings/sec, 635 secs
lola: 740522 markings, 1148945 edges, 156 markings/sec, 640 secs
lola: 741290 markings, 1150095 edges, 154 markings/sec, 645 secs
lola: 742068 markings, 1151251 edges, 156 markings/sec, 650 secs
lola: 742852 markings, 1152433 edges, 157 markings/sec, 655 secs
lola: 743638 markings, 1153609 edges, 157 markings/sec, 660 secs
lola: 744428 markings, 1154791 edges, 158 markings/sec, 665 secs
lola: 745212 markings, 1155948 edges, 157 markings/sec, 670 secs
lola: 745994 markings, 1157134 edges, 156 markings/sec, 675 secs
lola: 746776 markings, 1158305 edges, 156 markings/sec, 680 secs
lola: 747566 markings, 1159489 edges, 158 markings/sec, 685 secs
lola: 748346 markings, 1160659 edges, 156 markings/sec, 690 secs
lola: 749156 markings, 1161869 edges, 162 markings/sec, 695 secs
lola: 749970 markings, 1163073 edges, 163 markings/sec, 700 secs
lola: 750981 markings, 1164698 edges, 202 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: 20 1 unknown 1 1 unknown unknown 20 1 80 20 20 unknown unknown 1 1
lola: memory consumption: 215032 KB
lola: time consumption: 716 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p146)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p146)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-13 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 950 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 BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 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: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-2 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1425 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p61)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p61)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 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: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-5 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2851 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p144 + p145)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p144 + p145)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N50-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p143)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 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: 9480 markings, 14249 edges, 1896 markings/sec, 30 secs
lola: 23538 markings, 36114 edges, 2812 markings/sec, 35 secs
lola: 35861 markings, 55218 edges, 2465 markings/sec, 40 secs
lola: 49264 markings, 75968 edges, 2681 markings/sec, 45 secs
lola: 61828 markings, 95529 edges, 2513 markings/sec, 50 secs
lola: 74008 markings, 113803 edges, 2436 markings/sec, 55 secs
lola: 87798 markings, 135752 edges, 2758 markings/sec, 60 secs
lola: 100258 markings, 154356 edges, 2492 markings/sec, 65 secs
lola: 114026 markings, 176107 edges, 2754 markings/sec, 70 secs
lola: 127010 markings, 196023 edges, 2597 markings/sec, 75 secs
lola: 140218 markings, 216470 edges, 2642 markings/sec, 80 secs
lola: 153506 markings, 237247 edges, 2658 markings/sec, 85 secs
lola: 166420 markings, 256629 edges, 2583 markings/sec, 90 secs
lola: 180370 markings, 278453 edges, 2790 markings/sec, 95 secs
lola: 192874 markings, 297937 edges, 2501 markings/sec, 100 secs
lola: 205558 markings, 316922 edges, 2537 markings/sec, 105 secs
lola: 219440 markings, 338780 edges, 2776 markings/sec, 110 secs
lola: 232122 markings, 358479 edges, 2536 markings/sec, 115 secs
lola: 244812 markings, 377537 edges, 2538 markings/sec, 120 secs
lola: 258002 markings, 398227 edges, 2638 markings/sec, 125 secs
lola: 270050 markings, 416972 edges, 2410 markings/sec, 130 secs
lola: 282490 markings, 435713 edges, 2488 markings/sec, 135 secs
lola: 296246 markings, 457206 edges, 2751 markings/sec, 140 secs
lola: 308122 markings, 475581 edges, 2375 markings/sec, 145 secs
lola: 320100 markings, 493889 edges, 2396 markings/sec, 150 secs
lola: 331542 markings, 511142 edges, 2288 markings/sec, 155 secs
lola: 345018 markings, 532215 edges, 2695 markings/sec, 160 secs
lola: 356774 markings, 550452 edges, 2351 markings/sec, 165 secs
lola: 368706 markings, 568689 edges, 2386 markings/sec, 170 secs
lola: 380262 markings, 586145 edges, 2311 markings/sec, 175 secs
lola: 392652 markings, 605437 edges, 2478 markings/sec, 180 secs
lola: 404902 markings, 624258 edges, 2450 markings/sec, 185 secs
lola: 416620 markings, 642312 edges, 2344 markings/sec, 190 secs
lola: 428086 markings, 659958 edges, 2293 markings/sec, 195 secs
lola: 439762 markings, 677751 edges, 2335 markings/sec, 200 secs
lola: 451514 markings, 695659 edges, 2350 markings/sec, 205 secs
lola: 462960 markings, 713091 edges, 2289 markings/sec, 210 secs
lola: 474436 markings, 730603 edges, 2295 markings/sec, 215 secs
lola: 486005 markings, 748287 edges, 2314 markings/sec, 220 secs
lola: 497626 markings, 766074 edges, 2324 markings/sec, 225 secs
lola: 509060 markings, 783568 edges, 2287 markings/sec, 230 secs
lola: 520780 markings, 801499 edges, 2344 markings/sec, 235 secs
lola: 532516 markings, 819309 edges, 2347 markings/sec, 240 secs
lola: 544392 markings, 837397 edges, 2375 markings/sec, 245 secs
lola: 554818 markings, 853026 edges, 2085 markings/sec, 250 secs
lola: 566584 markings, 870985 edges, 2353 markings/sec, 255 secs
lola: 577506 markings, 887474 edges, 2184 markings/sec, 260 secs
lola: 588584 markings, 904185 edges, 2216 markings/sec, 265 secs
lola: 598836 markings, 919586 edges, 2050 markings/sec, 270 secs
lola: 610684 markings, 937368 edges, 2370 markings/sec, 275 secs
lola: 620672 markings, 952293 edges, 1998 markings/sec, 280 secs
lola: 630840 markings, 967430 edges, 2034 markings/sec, 285 secs
lola: 640750 markings, 982132 edges, 1982 markings/sec, 290 secs
lola: 650974 markings, 997265 edges, 2045 markings/sec, 295 secs
lola: 653514 markings, 1000992 edges, 508 markings/sec, 300 secs
lola: 654322 markings, 1002204 edges, 162 markings/sec, 305 secs
lola: 655552 markings, 1004049 edges, 246 markings/sec, 310 secs
lola: 657916 markings, 1007595 edges, 473 markings/sec, 315 secs
lola: 659526 markings, 1010000 edges, 322 markings/sec, 320 secs
lola: 661002 markings, 1012204 edges, 295 markings/sec, 325 secs
lola: 662408 markings, 1014305 edges, 281 markings/sec, 330 secs
lola: 663886 markings, 1016514 edges, 296 markings/sec, 335 secs
lola: 665326 markings, 1018668 edges, 288 markings/sec, 340 secs
lola: 666812 markings, 1020889 edges, 297 markings/sec, 345 secs
lola: 668342 markings, 1023178 edges, 306 markings/sec, 350 secs
lola: 673318 markings, 1030616 edges, 995 markings/sec, 355 secs
lola: 675310 markings, 1033714 edges, 398 markings/sec, 360 secs
lola: 679170 markings, 1039315 edges, 772 markings/sec, 365 secs
lola: 682832 markings, 1044492 edges, 732 markings/sec, 370 secs
lola: 685916 markings, 1048782 edges, 617 markings/sec, 375 secs
lola: 688596 markings, 1052441 edges, 536 markings/sec, 380 secs
lola: 689644 markings, 1053959 edges, 210 markings/sec, 385 secs
lola: 690440 markings, 1055153 edges, 159 markings/sec, 390 secs
lola: 691254 markings, 1056368 edges, 163 markings/sec, 395 secs
lola: 692060 markings, 1057571 edges, 161 markings/sec, 400 secs
lola: 692836 markings, 1058729 edges, 155 markings/sec, 405 secs
lola: 693614 markings, 1059892 edges, 156 markings/sec, 410 secs
lola: 694396 markings, 1061060 edges, 156 markings/sec, 415 secs
lola: 695180 markings, 1062231 edges, 157 markings/sec, 420 secs
lola: 695962 markings, 1063400 edges, 156 markings/sec, 425 secs
lola: 696724 markings, 1064539 edges, 152 markings/sec, 430 secs
lola: 697492 markings, 1065687 edges, 154 markings/sec, 435 secs
lola: 698264 markings, 1066843 edges, 154 markings/sec, 440 secs
lola: 699040 markings, 1068003 edges, 155 markings/sec, 445 secs
lola: 699818 markings, 1069166 edges, 156 markings/sec, 450 secs
lola: 700628 markings, 1070377 edges, 162 markings/sec, 455 secs
lola: 701432 markings, 1071572 edges, 161 markings/sec, 460 secs
lola: 702264 markings, 1072825 edges, 166 markings/sec, 465 secs
lola: 703024 markings, 1073962 edges, 152 markings/sec, 470 secs
lola: 703768 markings, 1075053 edges, 149 markings/sec, 475 secs
lola: 704512 markings, 1076189 edges, 149 markings/sec, 480 secs
lola: 705280 markings, 1077338 edges, 154 markings/sec, 485 secs
lola: 706096 markings, 1078541 edges, 163 markings/sec, 490 secs
lola: 706902 markings, 1079736 edges, 161 markings/sec, 495 secs
lola: 707708 markings, 1080936 edges, 161 markings/sec, 500 secs
lola: 708518 markings, 1082191 edges, 162 markings/sec, 505 secs
lola: 709346 markings, 1083433 edges, 166 markings/sec, 510 secs
lola: 710182 markings, 1084687 edges, 167 markings/sec, 515 secs
lola: 713221 markings, 1089048 edges, 608 markings/sec, 520 secs
lola: 714543 markings, 1090650 edges, 264 markings/sec, 525 secs
lola: 715355 markings, 1091848 edges, 162 markings/sec, 530 secs
lola: 716169 markings, 1093060 edges, 163 markings/sec, 535 secs
lola: 720289 markings, 1105230 edges, 824 markings/sec, 540 secs
lola: 727608 markings, 1128091 edges, 1464 markings/sec, 545 secs
lola: 729289 markings, 1132317 edges, 336 markings/sec, 550 secs
lola: 730108 markings, 1133351 edges, 164 markings/sec, 555 secs
lola: 730916 markings, 1134563 edges, 162 markings/sec, 560 secs
lola: 731728 markings, 1135780 edges, 162 markings/sec, 565 secs
lola: 732532 markings, 1136983 edges, 161 markings/sec, 570 secs
lola: 733336 markings, 1138185 edges, 161 markings/sec, 575 secs
lola: 734140 markings, 1139388 edges, 161 markings/sec, 580 secs
lola: 734948 markings, 1140598 edges, 162 markings/sec, 585 secs
lola: 735754 markings, 1141806 edges, 161 markings/sec, 590 secs
lola: 736566 markings, 1143020 edges, 162 markings/sec, 595 secs
lola: 737370 markings, 1144224 edges, 161 markings/sec, 600 secs
lola: 738178 markings, 1145434 edges, 162 markings/sec, 605 secs
lola: 738990 markings, 1146650 edges, 162 markings/sec, 610 secs
lola: 739798 markings, 1147860 edges, 162 markings/sec, 615 secs
lola: 740610 markings, 1149078 edges, 162 markings/sec, 620 secs
lola: 741418 markings, 1150287 edges, 162 markings/sec, 625 secs
lola: 742230 markings, 1151502 edges, 162 markings/sec, 630 secs
lola: 743050 markings, 1152717 edges, 164 markings/sec, 635 secs
lola: 743864 markings, 1153947 edges, 163 markings/sec, 640 secs
lola: 744676 markings, 1155162 edges, 162 markings/sec, 645 secs
lola: 745496 markings, 1156375 edges, 164 markings/sec, 650 secs
lola: 746308 markings, 1157604 edges, 162 markings/sec, 655 secs
lola: 747124 markings, 1158824 edges, 163 markings/sec, 660 secs
lola: 747932 markings, 1160021 edges, 162 markings/sec, 665 secs
lola: 748734 markings, 1161213 edges, 160 markings/sec, 670 secs
lola: 749544 markings, 1162456 edges, 162 markings/sec, 675 secs
lola: 750358 markings, 1163677 edges, 163 markings/sec, 680 secs
lola: 751361 markings, 1165217 edges, 201 markings/sec, 685 secs
lola: 752165 markings, 1166408 edges, 161 markings/sec, 690 secs
lola: 752977 markings, 1167619 edges, 162 markings/sec, 695 secs
lola: 759598 markings, 1188494 edges, 1324 markings/sec, 700 secs
lola: 765012 markings, 1204774 edges, 1083 markings/sec, 705 secs
lola: 765820 markings, 1205868 edges, 162 markings/sec, 710 secs
lola: 766632 markings, 1207010 edges, 162 markings/sec, 715 secs
lola: 767444 markings, 1208227 edges, 162 markings/sec, 720 secs
lola: 768254 markings, 1209439 edges, 162 markings/sec, 725 secs
lola: 769058 markings, 1210642 edges, 161 markings/sec, 730 secs
lola: 769870 markings, 1211857 edges, 162 markings/sec, 735 secs
lola: 770682 markings, 1213073 edges, 162 markings/sec, 740 secs
lola: 771490 markings, 1214282 edges, 162 markings/sec, 745 secs
lola: 772298 markings, 1215492 edges, 162 markings/sec, 750 secs
lola: 773110 markings, 1216708 edges, 162 markings/sec, 755 secs
lola: 773920 markings, 1217921 edges, 162 markings/sec, 760 secs
lola: 774726 markings, 1219128 edges, 161 markings/sec, 765 secs
lola: 775530 markings, 1220332 edges, 161 markings/sec, 770 secs
lola: 776342 markings, 1221548 edges, 162 markings/sec, 775 secs
lola: 777150 markings, 1222756 edges, 162 markings/sec, 780 secs
lola: 777954 markings, 1223959 edges, 161 markings/sec, 785 secs
lola: 778770 markings, 1225183 edges, 163 markings/sec, 790 secs
lola: 779582 markings, 1226375 edges, 162 markings/sec, 795 secs
lola: 780396 markings, 1227615 edges, 163 markings/sec, 800 secs
lola: 781208 markings, 1228811 edges, 162 markings/sec, 805 secs
lola: 782014 markings, 1230037 edges, 161 markings/sec, 810 secs
lola: 782832 markings, 1231242 edges, 164 markings/sec, 815 secs
lola: 783652 markings, 1232491 edges, 164 markings/sec, 820 secs
lola: 784464 markings, 1233709 edges, 162 markings/sec, 825 secs
lola: 785292 markings, 1234931 edges, 166 markings/sec, 830 secs
lola: 786110 markings, 1236178 edges, 164 markings/sec, 835 secs
lola: 787113 markings, 1237720 edges, 201 markings/sec, 840 secs
lola: 787923 markings, 1238921 edges, 162 markings/sec, 845 secs
lola: 789321 markings, 1241934 edges, 280 markings/sec, 850 secs
lola: 796545 markings, 1264902 edges, 1445 markings/sec, 855 secs
lola: 800514 markings, 1276434 edges, 794 markings/sec, 860 secs
lola: 801258 markings, 1277384 edges, 149 markings/sec, 865 secs
lola: 802002 markings, 1278473 edges, 149 markings/sec, 870 secs
lola: 802744 markings, 1279585 edges, 148 markings/sec, 875 secs
lola: 803542 markings, 1280779 edges, 160 markings/sec, 880 secs
lola: 804350 markings, 1281988 edges, 162 markings/sec, 885 secs
lola: 805162 markings, 1283203 edges, 162 markings/sec, 890 secs
lola: 805976 markings, 1284421 edges, 163 markings/sec, 895 secs
lola: 806726 markings, 1285544 edges, 150 markings/sec, 900 secs
lola: 807464 markings, 1286649 edges, 148 markings/sec, 905 secs
lola: 808202 markings, 1287754 edges, 148 markings/sec, 910 secs
lola: 808964 markings, 1288895 edges, 152 markings/sec, 915 secs
lola: 809744 markings, 1290063 edges, 156 markings/sec, 920 secs
lola: 810550 markings, 1291270 edges, 161 markings/sec, 925 secs
lola: 811360 markings, 1292483 edges, 162 markings/sec, 930 secs
lola: 812176 markings, 1293705 edges, 163 markings/sec, 935 secs
lola: 812992 markings, 1294918 edges, 163 markings/sec, 940 secs
lola: 813768 markings, 1296088 edges, 155 markings/sec, 945 secs
lola: 814526 markings, 1297222 edges, 152 markings/sec, 950 secs
lola: 815270 markings, 1298335 edges, 149 markings/sec, 955 secs
lola: 816022 markings, 1299453 edges, 150 markings/sec, 960 secs
lola: 816830 markings, 1300669 edges, 162 markings/sec, 965 secs
lola: 817574 markings, 1301783 edges, 149 markings/sec, 970 secs
lola: 818318 markings, 1302898 edges, 149 markings/sec, 975 secs
lola: 819070 markings, 1304026 edges, 150 markings/sec, 980 secs
lola: 819874 markings, 1305230 edges, 161 markings/sec, 985 secs
lola: 820666 markings, 1306402 edges, 158 markings/sec, 990 secs
lola: 821665 markings, 1308004 edges, 200 markings/sec, 995 secs
lola: 822479 markings, 1309170 edges, 163 markings/sec, 1000 secs
lola: 823299 markings, 1310391 edges, 164 markings/sec, 1005 secs
lola: 829588 markings, 1330175 edges, 1258 markings/sec, 1010 secs
lola: 834840 markings, 1345874 edges, 1050 markings/sec, 1015 secs
lola: 835652 markings, 1346953 edges, 162 markings/sec, 1020 secs
lola: 836476 markings, 1348136 edges, 165 markings/sec, 1025 secs
lola: 837280 markings, 1349342 edges, 161 markings/sec, 1030 secs
lola: 838014 markings, 1350438 edges, 147 markings/sec, 1035 secs
lola: 838754 markings, 1351547 edges, 148 markings/sec, 1040 secs
lola: 839510 markings, 1352677 edges, 151 markings/sec, 1045 secs
lola: 840310 markings, 1353874 edges, 160 markings/sec, 1050 secs
lola: 841124 markings, 1355093 edges, 163 markings/sec, 1055 secs
lola: 841940 markings, 1356314 edges, 163 markings/sec, 1060 secs
lola: 842754 markings, 1357533 edges, 163 markings/sec, 1065 secs
lola: 843562 markings, 1358743 edges, 162 markings/sec, 1070 secs
lola: 844364 markings, 1359944 edges, 160 markings/sec, 1075 secs
lola: 845178 markings, 1361163 edges, 163 markings/sec, 1080 secs
lola: 845936 markings, 1362296 edges, 152 markings/sec, 1085 secs
lola: 846674 markings, 1363405 edges, 148 markings/sec, 1090 secs
lola: 847418 markings, 1364517 edges, 149 markings/sec, 1095 secs
lola: 848172 markings, 1365645 edges, 151 markings/sec, 1100 secs
lola: 848994 markings, 1366874 edges, 164 markings/sec, 1105 secs
lola: 849812 markings, 1368098 edges, 164 markings/sec, 1110 secs
lola: 850632 markings, 1369325 edges, 164 markings/sec, 1115 secs
lola: 851452 markings, 1370525 edges, 164 markings/sec, 1120 secs
lola: 852262 markings, 1371766 edges, 162 markings/sec, 1125 secs
lola: 853008 markings, 1372885 edges, 149 markings/sec, 1130 secs
lola: 853744 markings, 1373989 edges, 147 markings/sec, 1135 secs
lola: 854490 markings, 1375108 edges, 149 markings/sec, 1140 secs
lola: 855236 markings, 1376227 edges, 149 markings/sec, 1145 secs
lola: 856225 markings, 1377748 edges, 198 markings/sec, 1150 secs
lola: 856969 markings, 1378854 edges, 149 markings/sec, 1155 secs
lola: 861260 markings, 1391751 edges, 858 markings/sec, 1160 secs
lola: 868210 markings, 1413374 edges, 1390 markings/sec, 1165 secs
lola: 869025 markings, 1414603 edges, 163 markings/sec, 1170 secs
lola: 869781 markings, 1415597 edges, 151 markings/sec, 1175 secs
lola: 870527 markings, 1416716 edges, 149 markings/sec, 1180 secs
lola: 871263 markings, 1417818 edges, 147 markings/sec, 1185 secs
lola: 872003 markings, 1418925 edges, 148 markings/sec, 1190 secs
lola: 872773 markings, 1420077 edges, 154 markings/sec, 1195 secs
lola: 873533 markings, 1421213 edges, 152 markings/sec, 1200 secs
lola: 874271 markings, 1422319 edges, 148 markings/sec, 1205 secs
lola: 875061 markings, 1423500 edges, 158 markings/sec, 1210 secs
lola: 875799 markings, 1424605 edges, 148 markings/sec, 1215 secs
lola: 876539 markings, 1425713 edges, 148 markings/sec, 1220 secs
lola: 877277 markings, 1426818 edges, 148 markings/sec, 1225 secs
lola: 878069 markings, 1428004 edges, 158 markings/sec, 1230 secs
lola: 878907 markings, 1429259 edges, 168 markings/sec, 1235 secs
lola: 879717 markings, 1430472 edges, 162 markings/sec, 1240 secs
lola: 880455 markings, 1431577 edges, 148 markings/sec, 1245 secs
lola: 881199 markings, 1432690 edges, 149 markings/sec, 1250 secs
lola: 881943 markings, 1433803 edges, 149 markings/sec, 1255 secs
lola: 882759 markings, 1435010 edges, 163 markings/sec, 1260 secs
lola: 883577 markings, 1436224 edges, 164 markings/sec, 1265 secs
lola: 884399 markings, 1437460 edges, 164 markings/sec, 1270 secs
lola: 885219 markings, 1438705 edges, 164 markings/sec, 1275 secs
lola: 886045 markings, 1439944 edges, 165 markings/sec, 1280 secs
lola: 886863 markings, 1441169 edges, 164 markings/sec, 1285 secs
lola: 887699 markings, 1442425 edges, 167 markings/sec, 1290 secs
lola: 888517 markings, 1443652 edges, 164 markings/sec, 1295 secs
lola: 889536 markings, 1445219 edges, 204 markings/sec, 1300 secs
lola: 890354 markings, 1446437 edges, 164 markings/sec, 1305 secs
lola: 897517 markings, 1469037 edges, 1433 markings/sec, 1310 secs
lola: 901398 markings, 1480272 edges, 776 markings/sec, 1315 secs
lola: 902216 markings, 1481309 edges, 164 markings/sec, 1320 secs
lola: 903036 markings, 1482539 edges, 164 markings/sec, 1325 secs
lola: 903800 markings, 1483682 edges, 153 markings/sec, 1330 secs
lola: 904564 markings, 1484825 edges, 153 markings/sec, 1335 secs
lola: 905298 markings, 1485923 edges, 147 markings/sec, 1340 secs
lola: 906092 markings, 1487111 edges, 159 markings/sec, 1345 secs
lola: 906868 markings, 1488274 edges, 155 markings/sec, 1350 secs
lola: 907570 markings, 1489325 edges, 140 markings/sec, 1355 secs
lola: 908358 markings, 1490503 edges, 158 markings/sec, 1360 secs
lola: 909086 markings, 1491593 edges, 146 markings/sec, 1365 secs
lola: 909824 markings, 1492698 edges, 148 markings/sec, 1370 secs
lola: 910562 markings, 1493803 edges, 148 markings/sec, 1375 secs
lola: 911300 markings, 1494908 edges, 148 markings/sec, 1380 secs
lola: 912038 markings, 1496015 edges, 148 markings/sec, 1385 secs
lola: 912800 markings, 1497155 edges, 152 markings/sec, 1390 secs
lola: 913544 markings, 1498267 edges, 149 markings/sec, 1395 secs
lola: 914288 markings, 1499380 edges, 149 markings/sec, 1400 secs
lola: 915036 markings, 1500499 edges, 150 markings/sec, 1405 secs
lola: 915832 markings, 1501690 edges, 159 markings/sec, 1410 secs
lola: 916644 markings, 1502905 edges, 162 markings/sec, 1415 secs
lola: 917462 markings, 1504129 edges, 164 markings/sec, 1420 secs
lola: 918278 markings, 1505326 edges, 163 markings/sec, 1425 secs
lola: 919084 markings, 1506562 edges, 161 markings/sec, 1430 secs
lola: 919828 markings, 1507678 edges, 149 markings/sec, 1435 secs
lola: 920572 markings, 1508788 edges, 149 markings/sec, 1440 secs
lola: 921527 markings, 1510275 edges, 191 markings/sec, 1445 secs
lola: 922347 markings, 1511491 edges, 164 markings/sec, 1450 secs
lola: 927812 markings, 1528402 edges, 1093 markings/sec, 1455 secs
lola: 933177 markings, 1544562 edges, 1073 markings/sec, 1460 secs
lola: 933979 markings, 1545630 edges, 160 markings/sec, 1465 secs
lola: 934767 markings, 1546758 edges, 158 markings/sec, 1470 secs
lola: 935559 markings, 1547944 edges, 158 markings/sec, 1475 secs
lola: 936355 markings, 1549134 edges, 159 markings/sec, 1480 secs
lola: 937147 markings, 1550319 edges, 158 markings/sec, 1485 secs
lola: 937933 markings, 1551495 edges, 157 markings/sec, 1490 secs
lola: 938713 markings, 1552664 edges, 156 markings/sec, 1495 secs
lola: 939493 markings, 1553830 edges, 156 markings/sec, 1500 secs
lola: 940277 markings, 1555005 edges, 157 markings/sec, 1505 secs
lola: 941059 markings, 1556174 edges, 156 markings/sec, 1510 secs
lola: 941865 markings, 1557381 edges, 161 markings/sec, 1515 secs
lola: 942637 markings, 1558537 edges, 154 markings/sec, 1520 secs
lola: 943375 markings, 1559642 edges, 148 markings/sec, 1525 secs
lola: 944115 markings, 1560752 edges, 148 markings/sec, 1530 secs
lola: 944857 markings, 1561861 edges, 148 markings/sec, 1535 secs
lola: 945635 markings, 1563024 edges, 156 markings/sec, 1540 secs
lola: 946379 markings, 1564137 edges, 149 markings/sec, 1545 secs
lola: 947123 markings, 1565250 edges, 149 markings/sec, 1550 secs
lola: 947867 markings, 1566349 edges, 149 markings/sec, 1555 secs
lola: 948605 markings, 1567468 edges, 148 markings/sec, 1560 secs
lola: 949349 markings, 1568582 edges, 149 markings/sec, 1565 secs
lola: 950095 markings, 1569698 edges, 149 markings/sec, 1570 secs
lola: 950841 markings, 1570804 edges, 149 markings/sec, 1575 secs
lola: 951585 markings, 1571908 edges, 149 markings/sec, 1580 secs
lola: 952329 markings, 1573052 edges, 149 markings/sec, 1585 secs
lola: 953272 markings, 1574513 edges, 189 markings/sec, 1590 secs
lola: 954044 markings, 1575677 edges, 154 markings/sec, 1595 secs
lola: 961189 markings, 1598212 edges, 1429 markings/sec, 1600 secs
lola: 964548 markings, 1607810 edges, 672 markings/sec, 1605 secs
lola: 965338 markings, 1608807 edges, 158 markings/sec, 1610 secs
lola: 966118 markings, 1609977 edges, 156 markings/sec, 1615 secs
lola: 966906 markings, 1611157 edges, 158 markings/sec, 1620 secs
lola: 967712 markings, 1612361 edges, 161 markings/sec, 1625 secs
lola: 968520 markings, 1613571 edges, 162 markings/sec, 1630 secs
lola: 969330 markings, 1614782 edges, 162 markings/sec, 1635 secs
lola: 970138 markings, 1615991 edges, 162 markings/sec, 1640 secs
lola: 970936 markings, 1617187 edges, 160 markings/sec, 1645 secs
lola: 971738 markings, 1618386 edges, 160 markings/sec, 1650 secs
lola: 972526 markings, 1619566 edges, 158 markings/sec, 1655 secs
lola: 973336 markings, 1620779 edges, 162 markings/sec, 1660 secs
lola: 974134 markings, 1621975 edges, 160 markings/sec, 1665 secs
lola: 974918 markings, 1623148 edges, 157 markings/sec, 1670 secs
lola: 975706 markings, 1624327 edges, 158 markings/sec, 1675 secs
lola: 976484 markings, 1625490 edges, 156 markings/sec, 1680 secs
lola: 977276 markings, 1626658 edges, 158 markings/sec, 1685 secs
lola: 978066 markings, 1627857 edges, 158 markings/sec, 1690 secs
lola: 978866 markings, 1629054 edges, 160 markings/sec, 1695 secs
lola: 979682 markings, 1630275 edges, 163 markings/sec, 1700 secs
lola: 980480 markings, 1631443 edges, 160 markings/sec, 1705 secs
lola: 981294 markings, 1632683 edges, 163 markings/sec, 1710 secs
lola: 982084 markings, 1633877 edges, 158 markings/sec, 1715 secs
lola: 982878 markings, 1635048 edges, 159 markings/sec, 1720 secs
lola: 983869 markings, 1636606 edges, 198 markings/sec, 1725 secs
lola: 985032 markings, 1638883 edges, 233 markings/sec, 1730 secs
lola: 992195 markings, 1661482 edges, 1433 markings/sec, 1735 secs
lola: 994996 markings, 1669250 edges, 560 markings/sec, 1740 secs
lola: 995793 markings, 1670259 edges, 159 markings/sec, 1745 secs
lola: 996609 markings, 1671484 edges, 163 markings/sec, 1750 secs
lola: 997397 markings, 1672660 edges, 158 markings/sec, 1755 secs
lola: 998181 markings, 1673833 edges, 157 markings/sec, 1760 secs
lola: 998967 markings, 1675009 edges, 157 markings/sec, 1765 secs
lola: 999751 markings, 1676182 edges, 157 markings/sec, 1770 secs
lola: 1000535 markings, 1677355 edges, 157 markings/sec, 1775 secs
lola: 1001341 markings, 1678563 edges, 161 markings/sec, 1780 secs
lola: 1002147 markings, 1679768 edges, 161 markings/sec, 1785 secs
lola: 1002951 markings, 1680972 edges, 161 markings/sec, 1790 secs
lola: 1003741 markings, 1682155 edges, 158 markings/sec, 1795 secs
lola: 1004535 markings, 1683344 edges, 159 markings/sec, 1800 secs
lola: 1005329 markings, 1684533 edges, 159 markings/sec, 1805 secs
lola: 1006125 markings, 1685723 edges, 159 markings/sec, 1810 secs
lola: 1006919 markings, 1686902 edges, 159 markings/sec, 1815 secs
lola: 1007711 markings, 1688095 edges, 158 markings/sec, 1820 secs
lola: 1008503 markings, 1689277 edges, 158 markings/sec, 1825 secs
lola: 1009325 markings, 1690492 edges, 164 markings/sec, 1830 secs
lola: 1010139 markings, 1691716 edges, 163 markings/sec, 1835 secs
lola: 1010957 markings, 1692953 edges, 164 markings/sec, 1840 secs
lola: 1011757 markings, 1694156 edges, 160 markings/sec, 1845 secs
lola: 1012569 markings, 1695374 edges, 162 markings/sec, 1850 secs
lola: 1013568 markings, 1696933 edges, 200 markings/sec, 1855 secs
lola: 1014358 markings, 1698103 edges, 158 markings/sec, 1860 secs
lola: 1020847 markings, 1718455 edges, 1298 markings/sec, 1865 secs
lola: 1024416 markings, 1728733 edges, 714 markings/sec, 1870 secs
lola: 1025206 markings, 1729732 edges, 158 markings/sec, 1875 secs
lola: 1026000 markings, 1730923 edges, 159 markings/sec, 1880 secs
lola: 1026794 markings, 1732110 edges, 159 markings/sec, 1885 secs
lola: 1027582 markings, 1733288 edges, 158 markings/sec, 1890 secs
lola: 1028362 markings, 1734455 edges, 156 markings/sec, 1895 secs
lola: 1029168 markings, 1735661 edges, 161 markings/sec, 1900 secs
lola: 1029960 markings, 1736846 edges, 158 markings/sec, 1905 secs
lola: 1030750 markings, 1738030 edges, 158 markings/sec, 1910 secs
lola: 1031530 markings, 1739196 edges, 156 markings/sec, 1915 secs
lola: 1032318 markings, 1740376 edges, 158 markings/sec, 1920 secs
lola: 1033100 markings, 1741548 edges, 156 markings/sec, 1925 secs
lola: 1033904 markings, 1742752 edges, 161 markings/sec, 1930 secs
lola: 1034710 markings, 1743957 edges, 161 markings/sec, 1935 secs
lola: 1035534 markings, 1745189 edges, 165 markings/sec, 1940 secs
lola: 1036316 markings, 1746359 edges, 156 markings/sec, 1945 secs
lola: 1037066 markings, 1747481 edges, 150 markings/sec, 1950 secs
lola: 1037810 markings, 1748594 edges, 149 markings/sec, 1955 secs
lola: 1038566 markings, 1749725 edges, 151 markings/sec, 1960 secs
lola: 1039392 markings, 1750962 edges, 165 markings/sec, 1965 secs
lola: 1040210 markings, 1752189 edges, 164 markings/sec, 1970 secs
lola: 1041040 markings, 1753434 edges, 166 markings/sec, 1975 secs
lola: 1041870 markings, 1754679 edges, 166 markings/sec, 1980 secs
lola: 1042891 markings, 1756268 edges, 204 markings/sec, 1985 secs
lola: 1045519 markings, 1763456 edges, 526 markings/sec, 1990 secs
lola: 1052675 markings, 1785780 edges, 1431 markings/sec, 1995 secs
lola: 1053513 markings, 1787285 edges, 168 markings/sec, 2000 secs
lola: 1054299 markings, 1788316 edges, 157 markings/sec, 2005 secs
lola: 1055043 markings, 1789430 edges, 149 markings/sec, 2010 secs
lola: 1055781 markings, 1790533 edges, 148 markings/sec, 2015 secs
lola: 1056521 markings, 1791640 edges, 148 markings/sec, 2020 secs
lola: 1057287 markings, 1792787 edges, 153 markings/sec, 2025 secs
lola: 1058071 markings, 1793959 edges, 157 markings/sec, 2030 secs
lola: 1058857 markings, 1795135 edges, 157 markings/sec, 2035 secs
lola: 1059641 markings, 1796310 edges, 157 markings/sec, 2040 secs
lola: 1060421 markings, 1797476 edges, 156 markings/sec, 2045 secs
lola: 1061207 markings, 1798653 edges, 157 markings/sec, 2050 secs
lola: 1061991 markings, 1799828 edges, 157 markings/sec, 2055 secs
lola: 1062785 markings, 1801017 edges, 159 markings/sec, 2060 secs
lola: 1063581 markings, 1802206 edges, 159 markings/sec, 2065 secs
lola: 1064333 markings, 1803331 edges, 150 markings/sec, 2070 secs
lola: 1065077 markings, 1804429 edges, 149 markings/sec, 2075 secs
lola: 1065829 markings, 1805568 edges, 150 markings/sec, 2080 secs
lola: 1066573 markings, 1806681 edges, 149 markings/sec, 2085 secs
lola: 1067317 markings, 1807785 edges, 149 markings/sec, 2090 secs
lola: 1068061 markings, 1808910 edges, 149 markings/sec, 2095 secs
lola: 1068873 markings, 1810128 edges, 162 markings/sec, 2100 secs
lola: 1069695 markings, 1811361 edges, 164 markings/sec, 2105 secs
lola: 1070511 markings, 1812585 edges, 163 markings/sec, 2110 secs
lola: 1071516 markings, 1814147 edges, 201 markings/sec, 2115 secs
lola: 1076893 markings, 1830878 edges, 1075 markings/sec, 2120 secs
lola: 1081180 markings, 1843361 edges, 857 markings/sec, 2125 secs
lola: 1081996 markings, 1844401 edges, 163 markings/sec, 2130 secs
lola: 1082816 markings, 1845630 edges, 164 markings/sec, 2135 secs
lola: 1083632 markings, 1846851 edges, 163 markings/sec, 2140 secs
lola: 1084444 markings, 1848065 edges, 162 markings/sec, 2145 secs
lola: 1085250 markings, 1849269 edges, 161 markings/sec, 2150 secs
lola: 1086062 markings, 1850484 edges, 162 markings/sec, 2155 secs
lola: 1086874 markings, 1851699 edges, 162 markings/sec, 2160 secs
lola: 1087682 markings, 1852910 edges, 162 markings/sec, 2165 secs
lola: 1088490 markings, 1854118 edges, 162 markings/sec, 2170 secs
lola: 1089296 markings, 1855325 edges, 161 markings/sec, 2175 secs
lola: 1090104 markings, 1856536 edges, 162 markings/sec, 2180 secs
lola: 1090916 markings, 1857750 edges, 162 markings/sec, 2185 secs
lola: 1091730 markings, 1858967 edges, 163 markings/sec, 2190 secs
lola: 1092546 markings, 1860187 edges, 163 markings/sec, 2195 secs
lola: 1093368 markings, 1861417 edges, 164 markings/sec, 2200 secs
lola: 1094196 markings, 1862644 edges, 166 markings/sec, 2205 secs
lola: 1095020 markings, 1863888 edges, 165 markings/sec, 2210 secs
lola: 1095838 markings, 1865115 edges, 164 markings/sec, 2215 secs
lola: 1096660 markings, 1866348 edges, 164 markings/sec, 2220 secs
lola: 1097482 markings, 1867581 edges, 164 markings/sec, 2225 secs
lola: 1098501 markings, 1869211 edges, 204 markings/sec, 2230 secs
lola: 1099661 markings, 1871438 edges, 232 markings/sec, 2235 secs
lola: 1107003 markings, 1894450 edges, 1468 markings/sec, 2240 secs
lola: 1108688 markings, 1898759 edges, 337 markings/sec, 2245 secs
lola: 1109435 markings, 1899697 edges, 149 markings/sec, 2250 secs
lola: 1110177 markings, 1900808 edges, 148 markings/sec, 2255 secs
lola: 1110935 markings, 1901941 edges, 152 markings/sec, 2260 secs
lola: 1111747 markings, 1903155 edges, 162 markings/sec, 2265 secs
lola: 1112551 markings, 1904359 edges, 161 markings/sec, 2270 secs
lola: 1113363 markings, 1905572 edges, 162 markings/sec, 2275 secs
lola: 1114171 markings, 1906783 edges, 162 markings/sec, 2280 secs
lola: 1114979 markings, 1907991 edges, 162 markings/sec, 2285 secs
lola: 1115787 markings, 1909200 edges, 162 markings/sec, 2290 secs
lola: 1116603 markings, 1910422 edges, 163 markings/sec, 2295 secs
lola: 1117421 markings, 1911647 edges, 164 markings/sec, 2300 secs
lola: 1118235 markings, 1912864 edges, 163 markings/sec, 2305 secs
lola: 1119047 markings, 1914078 edges, 162 markings/sec, 2310 secs
lola: 1119863 markings, 1915299 edges, 163 markings/sec, 2315 secs
lola: 1120679 markings, 1916519 edges, 163 markings/sec, 2320 secs
lola: 1121501 markings, 1917728 edges, 164 markings/sec, 2325 secs
lola: 1122339 markings, 1919004 edges, 168 markings/sec, 2330 secs
lola: 1123183 markings, 1920257 edges, 169 markings/sec, 2335 secs
lola: 1124005 markings, 1921503 edges, 164 markings/sec, 2340 secs
lola: 1124821 markings, 1922727 edges, 163 markings/sec, 2345 secs
lola: 1125830 markings, 1924301 edges, 202 markings/sec, 2350 secs
lola: 1131423 markings, 1941675 edges, 1119 markings/sec, 2355 secs
lola: 1135026 markings, 1952004 edges, 721 markings/sec, 2360 secs
lola: 1135848 markings, 1953055 edges, 164 markings/sec, 2365 secs
lola: 1136638 markings, 1954238 edges, 158 markings/sec, 2370 secs
lola: 1137438 markings, 1955433 edges, 160 markings/sec, 2375 secs
lola: 1138248 markings, 1956644 edges, 162 markings/sec, 2380 secs
lola: 1139052 markings, 1957847 edges, 161 markings/sec, 2385 secs
lola: 1139866 markings, 1959066 edges, 163 markings/sec, 2390 secs
lola: 1140672 markings, 1960271 edges, 161 markings/sec, 2395 secs
lola: 1141480 markings, 1961480 edges, 162 markings/sec, 2400 secs
lola: 1142268 markings, 1962660 edges, 158 markings/sec, 2405 secs
lola: 1143012 markings, 1963775 edges, 149 markings/sec, 2410 secs
lola: 1143752 markings, 1964883 edges, 148 markings/sec, 2415 secs
lola: 1144496 markings, 1965994 edges, 149 markings/sec, 2420 secs
lola: 1145240 markings, 1967106 edges, 149 markings/sec, 2425 secs
lola: 1145986 markings, 1968209 edges, 149 markings/sec, 2430 secs
lola: 1146732 markings, 1969338 edges, 149 markings/sec, 2435 secs
lola: 1147564 markings, 1970582 edges, 166 markings/sec, 2440 secs
lola: 1148374 markings, 1971795 edges, 162 markings/sec, 2445 secs
lola: 1149190 markings, 1973001 edges, 163 markings/sec, 2450 secs
lola: 1150008 markings, 1974246 edges, 164 markings/sec, 2455 secs
lola: 1150828 markings, 1975476 edges, 164 markings/sec, 2460 secs
lola: 1151843 markings, 1977062 edges, 203 markings/sec, 2465 secs
lola: 1157545 markings, 1994723 edges, 1140 markings/sec, 2470 secs
lola: 1160821 markings, 2004038 edges, 655 markings/sec, 2475 secs
lola: 1161643 markings, 2005090 edges, 164 markings/sec, 2480 secs
lola: 1162465 markings, 2006320 edges, 164 markings/sec, 2485 secs
lola: 1163283 markings, 2007542 edges, 164 markings/sec, 2490 secs
lola: 1164099 markings, 2008762 edges, 163 markings/sec, 2495 secs
lola: 1164915 markings, 2009983 edges, 163 markings/sec, 2500 secs
lola: 1165729 markings, 2011202 edges, 163 markings/sec, 2505 secs
lola: 1166539 markings, 2012413 edges, 162 markings/sec, 2510 secs
lola: 1167353 markings, 2013631 edges, 163 markings/sec, 2515 secs
lola: 1168161 markings, 2014842 edges, 162 markings/sec, 2520 secs
lola: 1168977 markings, 2016062 edges, 163 markings/sec, 2525 secs
lola: 1169795 markings, 2017286 edges, 164 markings/sec, 2530 secs
lola: 1170617 markings, 2018515 edges, 164 markings/sec, 2535 secs
lola: 1171439 markings, 2019744 edges, 164 markings/sec, 2540 secs
lola: 1172261 markings, 2020973 edges, 164 markings/sec, 2545 secs
lola: 1173083 markings, 2022203 edges, 164 markings/sec, 2550 secs
lola: 1173907 markings, 2023434 edges, 165 markings/sec, 2555 secs
lola: 1174729 markings, 2024670 edges, 164 markings/sec, 2560 secs
lola: 1175549 markings, 2025900 edges, 164 markings/sec, 2565 secs
lola: 1176373 markings, 2027116 edges, 165 markings/sec, 2570 secs
lola: 1177832 markings, 2030084 edges, 292 markings/sec, 2575 secs
lola: 1185145 markings, 2052916 edges, 1463 markings/sec, 2580 secs
lola: 1186124 markings, 2054892 edges, 196 markings/sec, 2585 secs
lola: 1186886 markings, 2055904 edges, 152 markings/sec, 2590 secs
lola: 1187690 markings, 2057107 edges, 161 markings/sec, 2595 secs
lola: 1188430 markings, 2058211 edges, 148 markings/sec, 2600 secs
lola: 1189196 markings, 2059356 edges, 153 markings/sec, 2605 secs
lola: 1190012 markings, 2060577 edges, 163 markings/sec, 2610 secs
lola: 1190828 markings, 2061799 edges, 163 markings/sec, 2615 secs
lola: 1191644 markings, 2063019 edges, 163 markings/sec, 2620 secs
lola: 1192460 markings, 2064240 edges, 163 markings/sec, 2625 secs
lola: 1193276 markings, 2065463 edges, 163 markings/sec, 2630 secs
lola: 1194094 markings, 2066686 edges, 164 markings/sec, 2635 secs
lola: 1194916 markings, 2067915 edges, 164 markings/sec, 2640 secs
lola: 1195738 markings, 2069144 edges, 164 markings/sec, 2645 secs
lola: 1196552 markings, 2070354 edges, 163 markings/sec, 2650 secs
lola: 1197376 markings, 2071594 edges, 165 markings/sec, 2655 secs
lola: 1198198 markings, 2072819 edges, 164 markings/sec, 2660 secs
lola: 1199018 markings, 2074053 edges, 164 markings/sec, 2665 secs
lola: 1199826 markings, 2075263 edges, 162 markings/sec, 2670 secs
lola: 1200620 markings, 2076435 edges, 159 markings/sec, 2675 secs
lola: 1201617 markings, 2078024 edges, 199 markings/sec, 2680 secs
lola: 1206204 markings, 2092191 edges, 917 markings/sec, 2685 secs
lola: 1210071 markings, 2103420 edges, 773 markings/sec, 2690 secs
lola: 1210861 markings, 2104426 edges, 158 markings/sec, 2695 secs
lola: 1211675 markings, 2105644 edges, 163 markings/sec, 2700 secs
lola: 1212491 markings, 2106863 edges, 163 markings/sec, 2705 secs
lola: 1213289 markings, 2108057 edges, 160 markings/sec, 2710 secs
lola: 1214057 markings, 2109204 edges, 154 markings/sec, 2715 secs
lola: 1214803 markings, 2110320 edges, 149 markings/sec, 2720 secs
lola: 1215541 markings, 2111424 edges, 148 markings/sec, 2725 secs
lola: 1216323 markings, 2112596 edges, 156 markings/sec, 2730 secs
lola: 1217119 markings, 2113786 edges, 159 markings/sec, 2735 secs
lola: 1217911 markings, 2114972 edges, 158 markings/sec, 2740 secs
lola: 1218729 markings, 2116195 edges, 164 markings/sec, 2745 secs
lola: 1219547 markings, 2117418 edges, 164 markings/sec, 2750 secs
lola: 1220369 markings, 2118647 edges, 164 markings/sec, 2755 secs
lola: 1221191 markings, 2119868 edges, 164 markings/sec, 2760 secs
lola: 1222009 markings, 2121096 edges, 164 markings/sec, 2765 secs
lola: 1222829 markings, 2122329 edges, 164 markings/sec, 2770 secs
lola: 1223651 markings, 2123541 edges, 164 markings/sec, 2775 secs
lola: 1224469 markings, 2124789 edges, 164 markings/sec, 2780 secs
lola: 1225490 markings, 2126395 edges, 204 markings/sec, 2785 secs
lola: 1230936 markings, 2143184 edges, 1089 markings/sec, 2790 secs
lola: 1233847 markings, 2151255 edges, 582 markings/sec, 2795 secs
lola: 1234690 markings, 2152342 edges, 169 markings/sec, 2800 secs
lola: 1235526 markings, 2153592 edges, 167 markings/sec, 2805 secs
lola: 1236362 markings, 2154839 edges, 167 markings/sec, 2810 secs
lola: 1237154 markings, 2156025 edges, 158 markings/sec, 2815 secs
lola: 1237908 markings, 2157151 edges, 151 markings/sec, 2820 secs
lola: 1238646 markings, 2158255 edges, 148 markings/sec, 2825 secs
lola: 1239386 markings, 2159364 edges, 148 markings/sec, 2830 secs
lola: 1240196 markings, 2160575 edges, 162 markings/sec, 2835 secs
lola: 1241036 markings, 2161832 edges, 168 markings/sec, 2840 secs
lola: 1241880 markings, 2163095 edges, 169 markings/sec, 2845 secs
lola: time limit reached - aborting
lola:
preliminary result: 20 1 80 1 1 80 1 20 1 80 20 20 unknown 20 1 1 lola:
caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 20 1 80 1 1 80 1 20 1 80 20 20 unknown 20 1 1
lola:
preliminary result: 20 1 80 1 1 80 1 20 1 80 20 20 unknown 20 1 1
lola: memory consumption: 240000 KB
lola: time consumption: 3568 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 20 1 80 1 1 80 1 20 1 80 20 20 unknown 20 1 1
lola: memory consumption: 240000 KB
lola: time consumption: 3568 seconds

BK_STOP 1552409614714

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

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-V80P20N50"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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 win2018"
echo " Input is BridgeAndVehicles-COL-V80P20N50, 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 r022-csrt-155225094600154"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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