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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 4.0K Feb 9 08:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 9 08:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 5 06:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 5 06:22 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 3.0K Feb 4 23:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 2 01:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 2 01:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Jan 29 14:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 29 14:17 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 45K Mar 10 17:31 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1552407243867

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P50N10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P50N10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-COL-V80P50N10 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2296/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 6016
lola: finding significant places
lola: 188 places, 2108 transitions, 181 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2613 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V80P50N10-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p93 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p94 <= 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 + 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 + p174 + p175 + p176 + p177 + p178 + p179 + p99 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p1 + p2 + p3 + p4 + 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 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p1 + p2 + p3 + p4 + 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 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(p185 + p186) : MAX(p183) : MAX(p183) : MAX(0) : MAX(0) : MAX(p180) : MAX(0) : MAX(p185 + p186) : MAX(p180) : MAX(p183) : MAX(p184) : MAX(p184) : MAX(p184) : MAX(p185 + p186) : MAX(0) : MAX(p0)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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-V80P50N10-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-V80P50N10-UpperBounds-3 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-V80P50N10-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-V80P50N10-UpperBounds-4 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-V80P50N10-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-V80P50N10-UpperBounds-6 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-V80P50N10-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-V80P50N10-UpperBounds-14 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(p180)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p180)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 356 markings, 355 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-5 80 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(p183)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p183)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 50
lola: 31504 markings, 43049 edges, 6301 markings/sec, 0 secs
lola: 60096 markings, 83456 edges, 5718 markings/sec, 5 secs
lola: 95462 markings, 135865 edges, 7073 markings/sec, 10 secs
lola: 125224 markings, 178250 edges, 5952 markings/sec, 15 secs
lola: 158384 markings, 226797 edges, 6632 markings/sec, 20 secs
lola: 192236 markings, 276363 edges, 6770 markings/sec, 25 secs
lola: 219863 markings, 314870 edges, 5525 markings/sec, 30 secs
lola: 248924 markings, 355542 edges, 5812 markings/sec, 35 secs
lola: 277935 markings, 395953 edges, 5802 markings/sec, 40 secs
lola: 304338 markings, 432227 edges, 5281 markings/sec, 45 secs
lola: 334087 markings, 474902 edges, 5950 markings/sec, 50 secs
lola: 363785 markings, 517377 edges, 5940 markings/sec, 55 secs
lola: 393090 markings, 559389 edges, 5861 markings/sec, 60 secs
lola: 422391 markings, 601217 edges, 5860 markings/sec, 65 secs
lola: 451549 markings, 643023 edges, 5832 markings/sec, 70 secs
lola: 483211 markings, 689864 edges, 6332 markings/sec, 75 secs
lola: 513125 markings, 733034 edges, 5983 markings/sec, 80 secs
lola: 535231 markings, 763386 edges, 4421 markings/sec, 85 secs
lola: 556880 markings, 793417 edges, 4330 markings/sec, 90 secs
lola: 586059 markings, 836562 edges, 5836 markings/sec, 95 secs
lola: 612392 markings, 874709 edges, 5267 markings/sec, 100 secs
lola: 639040 markings, 913836 edges, 5330 markings/sec, 105 secs
lola: 663666 markings, 949164 edges, 4925 markings/sec, 110 secs
lola: 693872 markings, 994089 edges, 6041 markings/sec, 115 secs
lola: 723551 markings, 1038374 edges, 5936 markings/sec, 120 secs
lola: 752912 markings, 1082373 edges, 5872 markings/sec, 125 secs
lola: 777799 markings, 1118013 edges, 4977 markings/sec, 130 secs
lola: 807394 markings, 1162197 edges, 5919 markings/sec, 135 secs
lola: 836887 markings, 1205903 edges, 5899 markings/sec, 140 secs
lola: 866063 markings, 1249404 edges, 5835 markings/sec, 145 secs
lola: 895199 markings, 1292730 edges, 5827 markings/sec, 150 secs
lola: 923656 markings, 1335423 edges, 5691 markings/sec, 155 secs
lola: 944639 markings, 1365462 edges, 4197 markings/sec, 160 secs
lola: 965216 markings, 1394864 edges, 4115 markings/sec, 165 secs
lola: 986265 markings, 1424489 edges, 4210 markings/sec, 170 secs
lola: 1006145 markings, 1453433 edges, 3976 markings/sec, 175 secs
lola: 1036013 markings, 1498470 edges, 5974 markings/sec, 180 secs
lola: 1060671 markings, 1534964 edges, 4932 markings/sec, 185 secs
lola: 1087616 markings, 1575430 edges, 5389 markings/sec, 190 secs
lola: 1110229 markings, 1609211 edges, 4523 markings/sec, 195 secs
lola: 1135527 markings, 1646821 edges, 5060 markings/sec, 200 secs
lola: 1164776 markings, 1690988 edges, 5850 markings/sec, 205 secs
lola: 1194002 markings, 1735696 edges, 5845 markings/sec, 210 secs
lola: 1219209 markings, 1772861 edges, 5041 markings/sec, 215 secs
lola: 1248054 markings, 1817168 edges, 5769 markings/sec, 220 secs
lola: 1272969 markings, 1853768 edges, 4983 markings/sec, 225 secs
lola: 1302069 markings, 1897903 edges, 5820 markings/sec, 230 secs
lola: 1330670 markings, 1941636 edges, 5720 markings/sec, 235 secs
lola: 1355962 markings, 1978888 edges, 5058 markings/sec, 240 secs
lola: 1384989 markings, 2023370 edges, 5805 markings/sec, 245 secs
lola: 1413051 markings, 2066384 edges, 5612 markings/sec, 250 secs
lola: 1438681 markings, 2103918 edges, 5126 markings/sec, 255 secs
lola: 1465646 markings, 2143390 edges, 5393 markings/sec, 260 secs
lola: 1483300 markings, 2170851 edges, 3531 markings/sec, 265 secs
lola: 1503133 markings, 2199281 edges, 3967 markings/sec, 270 secs
lola: 1522909 markings, 2228090 edges, 3955 markings/sec, 275 secs
lola: 1541805 markings, 2255754 edges, 3779 markings/sec, 280 secs
lola: 1560526 markings, 2283331 edges, 3744 markings/sec, 285 secs
lola: 1586610 markings, 2322842 edges, 5217 markings/sec, 290 secs
lola: 1612696 markings, 2361997 edges, 5217 markings/sec, 295 secs
lola: 1640645 markings, 2405154 edges, 5590 markings/sec, 300 secs
lola: 1662724 markings, 2437644 edges, 4416 markings/sec, 305 secs
lola: 1682135 markings, 2466999 edges, 3882 markings/sec, 310 secs
lola: 1707649 markings, 2505354 edges, 5103 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 80 1 unknown unknown unknown unknown unknown unknown unknown 1 unknown
lola: memory consumption: 125256 KB
lola: time consumption: 325 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p180)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p180)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 356 markings, 355 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-8 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p183)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p183)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 50
lola: 33684 markings, 45894 edges, 6737 markings/sec, 0 secs
lola: 63541 markings, 88225 edges, 5971 markings/sec, 5 secs
lola: 98218 markings, 139516 edges, 6935 markings/sec, 10 secs
lola: 132252 markings, 189719 edges, 6807 markings/sec, 15 secs
lola: 162118 markings, 231809 edges, 5973 markings/sec, 20 secs
lola: 194554 markings, 279486 edges, 6487 markings/sec, 25 secs
lola: 223419 markings, 319479 edges, 5773 markings/sec, 30 secs
lola: 254393 markings, 362529 edges, 6195 markings/sec, 35 secs
lola: 283801 markings, 404609 edges, 5882 markings/sec, 40 secs
lola: 308357 markings, 437568 edges, 4911 markings/sec, 45 secs
lola: 337951 markings, 479991 edges, 5919 markings/sec, 50 secs
lola: 367310 markings, 522122 edges, 5872 markings/sec, 55 secs
lola: 394620 markings, 561353 edges, 5462 markings/sec, 60 secs
lola: 421498 markings, 600018 edges, 5376 markings/sec, 65 secs
lola: 448403 markings, 638639 edges, 5381 markings/sec, 70 secs
lola: 476710 markings, 679119 edges, 5661 markings/sec, 75 secs
lola: 508486 markings, 726165 edges, 6355 markings/sec, 80 secs
lola: 532255 markings, 758788 edges, 4754 markings/sec, 85 secs
lola: 554383 markings, 789926 edges, 4426 markings/sec, 90 secs
lola: 581439 markings, 829793 edges, 5411 markings/sec, 95 secs
lola: 604799 markings, 863058 edges, 4672 markings/sec, 100 secs
lola: 630540 markings, 901527 edges, 5148 markings/sec, 105 secs
lola: 654544 markings, 935944 edges, 4801 markings/sec, 110 secs
lola: 683512 markings, 979370 edges, 5794 markings/sec, 115 secs
lola: 712801 markings, 1023466 edges, 5858 markings/sec, 120 secs
lola: 738100 markings, 1059342 edges, 5060 markings/sec, 125 secs
lola: 768236 markings, 1104299 edges, 6027 markings/sec, 130 secs
lola: 797882 markings, 1148494 edges, 5929 markings/sec, 135 secs
lola: 825719 markings, 1190080 edges, 5567 markings/sec, 140 secs
lola: 849059 markings, 1223606 edges, 4668 markings/sec, 145 secs
lola: 876505 markings, 1264276 edges, 5489 markings/sec, 150 secs
lola: 903257 markings, 1304463 edges, 5350 markings/sec, 155 secs
lola: 931018 markings, 1345263 edges, 5552 markings/sec, 160 secs
lola: 949365 markings, 1372141 edges, 3669 markings/sec, 165 secs
lola: 968110 markings, 1398746 edges, 3749 markings/sec, 170 secs
lola: 987130 markings, 1425856 edges, 3804 markings/sec, 175 secs
lola: 1006951 markings, 1454512 edges, 3964 markings/sec, 180 secs
lola: 1036403 markings, 1499002 edges, 5890 markings/sec, 185 secs
lola: 1060618 markings, 1534885 edges, 4843 markings/sec, 190 secs
lola: 1087737 markings, 1575689 edges, 5424 markings/sec, 195 secs
lola: 1110505 markings, 1609814 edges, 4554 markings/sec, 200 secs
lola: 1136773 markings, 1648824 edges, 5254 markings/sec, 205 secs
lola: 1165536 markings, 1692197 edges, 5753 markings/sec, 210 secs
lola: 1194591 markings, 1736580 edges, 5811 markings/sec, 215 secs
lola: 1219500 markings, 1773421 edges, 4982 markings/sec, 220 secs
lola: 1247930 markings, 1816982 edges, 5686 markings/sec, 225 secs
lola: 1270568 markings, 1850181 edges, 4528 markings/sec, 230 secs
lola: 1297573 markings, 1891408 edges, 5401 markings/sec, 235 secs
lola: 1321730 markings, 1927796 edges, 4831 markings/sec, 240 secs
lola: 1349829 markings, 1970004 edges, 5620 markings/sec, 245 secs
lola: 1378987 markings, 2014565 edges, 5832 markings/sec, 250 secs
lola: 1403604 markings, 2050905 edges, 4923 markings/sec, 255 secs
lola: 1432905 markings, 2095564 edges, 5860 markings/sec, 260 secs
lola: 1460300 markings, 2136311 edges, 5479 markings/sec, 265 secs
lola: 1479687 markings, 2165451 edges, 3877 markings/sec, 270 secs
lola: 1499543 markings, 2193797 edges, 3971 markings/sec, 275 secs
lola: 1517133 markings, 2219034 edges, 3518 markings/sec, 280 secs
lola: 1534211 markings, 2244691 edges, 3416 markings/sec, 285 secs
lola: 1552173 markings, 2270590 edges, 3592 markings/sec, 290 secs
lola: 1569601 markings, 2296540 edges, 3486 markings/sec, 295 secs
lola: 1598755 markings, 2340970 edges, 5831 markings/sec, 300 secs
lola: 1624902 markings, 2380230 edges, 5229 markings/sec, 305 secs
lola: 1653393 markings, 2422693 edges, 5698 markings/sec, 310 secs
lola: 1671547 markings, 2451192 edges, 3631 markings/sec, 315 secs
lola: 1695113 markings, 2486605 edges, 4713 markings/sec, 320 secs
lola: 1718380 markings, 2521542 edges, 4653 markings/sec, 325 secs
lola: 1745470 markings, 2564054 edges, 5418 markings/sec, 330 secs
lola: 1769187 markings, 2598890 edges, 4743 markings/sec, 335 secs
lola: 1795762 markings, 2640163 edges, 5315 markings/sec, 340 secs
lola: 1820667 markings, 2678025 edges, 4981 markings/sec, 345 secs
lola: 1847678 markings, 2719872 edges, 5402 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 80 1 unknown 80 unknown unknown unknown unknown unknown 1 unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 1 1 80 1 unknown 80 unknown unknown unknown unknown unknown 1 unknown
lola: memory consumption: 133240 KB
lola: time consumption: 685 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p184)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p184)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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-V80P50N10-UpperBounds-10 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 9 will run for 412 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p184)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p184)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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

FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-11 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 10 will run for 480 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p184)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p184)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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-V80P50N10-UpperBounds-12 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 576 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p183)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p183)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 50
lola: 32203 markings, 44098 edges, 6441 markings/sec, 0 secs
lola: 62804 markings, 87053 edges, 6120 markings/sec, 5 secs
lola: 95993 markings, 136662 edges, 6638 markings/sec, 10 secs
lola: 123128 markings, 174938 edges, 5427 markings/sec, 15 secs
lola: 155423 markings, 222844 edges, 6459 markings/sec, 20 secs
lola: 184153 markings, 264784 edges, 5746 markings/sec, 25 secs
lola: 213561 markings, 306864 edges, 5882 markings/sec, 30 secs
lola: 237312 markings, 336945 edges, 4750 markings/sec, 35 secs
lola: 265986 markings, 377979 edges, 5735 markings/sec, 40 secs
lola: 295073 markings, 420047 edges, 5817 markings/sec, 45 secs
lola: 322769 markings, 459961 edges, 5539 markings/sec, 50 secs
lola: 349978 markings, 499299 edges, 5442 markings/sec, 55 secs
lola: 377150 markings, 537599 edges, 5434 markings/sec, 60 secs
lola: 406091 markings, 579656 edges, 5788 markings/sec, 65 secs
lola: 436533 markings, 622923 edges, 6088 markings/sec, 70 secs
lola: 466023 markings, 664831 edges, 5898 markings/sec, 75 secs
lola: 493026 markings, 703383 edges, 5401 markings/sec, 80 secs
lola: 518793 markings, 740172 edges, 5153 markings/sec, 85 secs
lola: 538971 markings, 768723 edges, 4036 markings/sec, 90 secs
lola: 560942 markings, 799038 edges, 4394 markings/sec, 95 secs
lola: 591420 markings, 844073 edges, 6096 markings/sec, 100 secs
lola: 620836 markings, 888123 edges, 5883 markings/sec, 105 secs
lola: 644354 markings, 921503 edges, 4704 markings/sec, 110 secs
lola: 673741 markings, 965534 edges, 5877 markings/sec, 115 secs
lola: 698736 markings, 1001147 edges, 4999 markings/sec, 120 secs
lola: 727752 markings, 1044445 edges, 5803 markings/sec, 125 secs
lola: 757444 markings, 1089026 edges, 5938 markings/sec, 130 secs
lola: 786239 markings, 1131599 edges, 5759 markings/sec, 135 secs
lola: 811798 markings, 1168300 edges, 5112 markings/sec, 140 secs
lola: 841178 markings, 1212025 edges, 5876 markings/sec, 145 secs
lola: 870049 markings, 1255280 edges, 5774 markings/sec, 150 secs
lola: 899171 markings, 1298433 edges, 5824 markings/sec, 155 secs
lola: 927411 markings, 1340720 edges, 5648 markings/sec, 160 secs
lola: 946923 markings, 1368704 edges, 3902 markings/sec, 165 secs
lola: 966337 markings, 1396457 edges, 3883 markings/sec, 170 secs
lola: 985395 markings, 1423077 edges, 3812 markings/sec, 175 secs
lola: 1005160 markings, 1452016 edges, 3953 markings/sec, 180 secs
lola: 1033207 markings, 1494280 edges, 5609 markings/sec, 185 secs
lola: 1055782 markings, 1527662 edges, 4515 markings/sec, 190 secs
lola: 1082776 markings, 1568159 edges, 5399 markings/sec, 195 secs
lola: 1102162 markings, 1597651 edges, 3877 markings/sec, 200 secs
lola: 1125260 markings, 1631328 edges, 4620 markings/sec, 205 secs
lola: 1153142 markings, 1674217 edges, 5576 markings/sec, 210 secs
lola: 1176194 markings, 1707866 edges, 4610 markings/sec, 215 secs
lola: 1203386 markings, 1749469 edges, 5438 markings/sec, 220 secs
lola: 1227186 markings, 1784751 edges, 4760 markings/sec, 225 secs
lola: 1254923 markings, 1827177 edges, 5547 markings/sec, 230 secs
lola: 1279224 markings, 1863975 edges, 4860 markings/sec, 235 secs
lola: 1304947 markings, 1902325 edges, 5145 markings/sec, 240 secs
lola: 1332913 markings, 1945166 edges, 5593 markings/sec, 245 secs
lola: 1358416 markings, 1982669 edges, 5101 markings/sec, 250 secs
lola: 1387291 markings, 2026755 edges, 5775 markings/sec, 255 secs
lola: 1416575 markings, 2071048 edges, 5857 markings/sec, 260 secs
lola: 1441241 markings, 2107801 edges, 4933 markings/sec, 265 secs
lola: 1466051 markings, 2144190 edges, 4962 markings/sec, 270 secs
lola: 1482213 markings, 2169229 edges, 3232 markings/sec, 275 secs
lola: 1500872 markings, 2195902 edges, 3732 markings/sec, 280 secs
lola: 1519958 markings, 2223467 edges, 3817 markings/sec, 285 secs
lola: 1539508 markings, 2252150 edges, 3910 markings/sec, 290 secs
lola: 1558674 markings, 2280671 edges, 3833 markings/sec, 295 secs
lola: 1583965 markings, 2319355 edges, 5058 markings/sec, 300 secs
lola: 1608433 markings, 2355461 edges, 4894 markings/sec, 305 secs
lola: 1632968 markings, 2392678 edges, 4907 markings/sec, 310 secs
lola: 1658711 markings, 2431373 edges, 5149 markings/sec, 315 secs
lola: 1676647 markings, 2458552 edges, 3587 markings/sec, 320 secs
lola: 1701179 markings, 2495318 edges, 4906 markings/sec, 325 secs
lola: 1725193 markings, 2531897 edges, 4803 markings/sec, 330 secs
lola: 1754748 markings, 2577398 edges, 5911 markings/sec, 335 secs
lola: 1778837 markings, 2613495 edges, 4818 markings/sec, 340 secs
lola: 1807696 markings, 2657810 edges, 5772 markings/sec, 345 secs
lola: 1832249 markings, 2695134 edges, 4911 markings/sec, 350 secs
lola: 1859879 markings, 2738104 edges, 5526 markings/sec, 355 secs
lola: 1883330 markings, 2773156 edges, 4690 markings/sec, 360 secs
lola: 1910319 markings, 2815008 edges, 5398 markings/sec, 365 secs
lola: 1933319 markings, 2849411 edges, 4600 markings/sec, 370 secs
lola: 1961389 markings, 2892940 edges, 5614 markings/sec, 375 secs
lola: 1984450 markings, 2927336 edges, 4612 markings/sec, 380 secs
lola: 2010859 markings, 2968576 edges, 5282 markings/sec, 385 secs
lola: 2034458 markings, 3003835 edges, 4720 markings/sec, 390 secs
lola: 2060448 markings, 3044355 edges, 5198 markings/sec, 395 secs
lola: 2083846 markings, 3079333 edges, 4680 markings/sec, 400 secs
lola: 2108989 markings, 3118374 edges, 5029 markings/sec, 405 secs
lola: 2126958 markings, 3144205 edges, 3594 markings/sec, 410 secs
lola: 2142619 markings, 3168229 edges, 3132 markings/sec, 415 secs
lola: 2160767 markings, 3193625 edges, 3630 markings/sec, 420 secs
lola: 2176370 markings, 3217961 edges, 3121 markings/sec, 425 secs
lola: 2193882 markings, 3243110 edges, 3502 markings/sec, 430 secs
lola: 2210523 markings, 3268142 edges, 3328 markings/sec, 435 secs
lola: 2228465 markings, 3294775 edges, 3588 markings/sec, 440 secs
lola: 2246350 markings, 3321036 edges, 3577 markings/sec, 445 secs
lola: 2270658 markings, 3358805 edges, 4862 markings/sec, 450 secs
lola: 2294093 markings, 3393340 edges, 4687 markings/sec, 455 secs
lola: 2319302 markings, 3432022 edges, 5042 markings/sec, 460 secs
lola: 2347714 markings, 3475629 edges, 5682 markings/sec, 465 secs
lola: 2366585 markings, 3503723 edges, 3774 markings/sec, 470 secs
lola: 2383605 markings, 3529888 edges, 3404 markings/sec, 475 secs
lola: 2407808 markings, 3566512 edges, 4841 markings/sec, 480 secs
lola: 2433017 markings, 3604617 edges, 5042 markings/sec, 485 secs
lola: 2461923 markings, 3649698 edges, 5781 markings/sec, 490 secs
lola: 2487475 markings, 3688679 edges, 5110 markings/sec, 495 secs
lola: 2511621 markings, 3725917 edges, 4829 markings/sec, 500 secs
lola: 2541037 markings, 3771241 edges, 5883 markings/sec, 505 secs
lola: 2565560 markings, 3808593 edges, 4905 markings/sec, 510 secs
lola: 2593376 markings, 3852354 edges, 5563 markings/sec, 515 secs
lola: 2618589 markings, 3890554 edges, 5043 markings/sec, 520 secs
lola: 2645433 markings, 3932353 edges, 5369 markings/sec, 525 secs
lola: 2671800 markings, 3972980 edges, 5273 markings/sec, 530 secs
lola: 2696622 markings, 4010375 edges, 4964 markings/sec, 535 secs
lola: 2723680 markings, 4052979 edges, 5412 markings/sec, 540 secs
lola: 2748918 markings, 4091171 edges, 5048 markings/sec, 545 secs
lola: 2776306 markings, 4134104 edges, 5478 markings/sec, 550 secs
lola: 2801568 markings, 4172537 edges, 5052 markings/sec, 555 secs
lola: 2829200 markings, 4215533 edges, 5526 markings/sec, 560 secs
lola: 2854500 markings, 4253924 edges, 5060 markings/sec, 565 secs
lola: 2882791 markings, 4298814 edges, 5658 markings/sec, 570 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 80 1 unknown 80 unknown 80 80 80 unknown 1 unknown
lola: memory consumption: 187876 KB
lola: time consumption: 1261 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 577 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-V80P50N10-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: 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: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-15 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 769 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p185 + p186)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p185 + p186)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 2 markings, 1 edges

FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1154 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p185 + p186)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p185 + p186)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 2 markings, 1 edges
lola:
FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 15 will run for 2308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p185 + p186)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p185 + p186)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 2 markings, 1 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P50N10-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p183)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p183)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P50N10-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: 50
lola: 32167 markings, 44044 edges, 6433 markings/sec, 0 secs
lola: 61923 markings, 85789 edges, 5951 markings/sec, 5 secs
lola: 97231 markings, 138054 edges, 7062 markings/sec, 10 secs
lola: 127758 markings, 182284 edges, 6105 markings/sec, 15 secs
lola: 159320 markings, 227912 edges, 6312 markings/sec, 20 secs
lola: 192254 markings, 276390 edges, 6587 markings/sec, 25 secs
lola: 220171 markings, 315245 edges, 5583 markings/sec, 30 secs
lola: 249884 markings, 356967 edges, 5943 markings/sec, 35 secs
lola: 277662 markings, 395407 edges, 5556 markings/sec, 40 secs
lola: 303634 markings, 431218 edges, 5194 markings/sec, 45 secs
lola: 332070 markings, 472145 edges, 5687 markings/sec, 50 secs
lola: 360153 markings, 512600 edges, 5617 markings/sec, 55 secs
lola: 388480 markings, 553202 edges, 5665 markings/sec, 60 secs
lola: 416641 markings, 593616 edges, 5632 markings/sec, 65 secs
lola: 445204 markings, 634441 edges, 5713 markings/sec, 70 secs
lola: 473699 markings, 675070 edges, 5699 markings/sec, 75 secs
lola: 501743 markings, 715100 edges, 5609 markings/sec, 80 secs
lola: 528097 markings, 753730 edges, 5271 markings/sec, 85 secs
lola: 549465 markings, 783171 edges, 4274 markings/sec, 90 secs
lola: 576019 markings, 822006 edges, 5311 markings/sec, 95 secs
lola: 601812 markings, 858831 edges, 5159 markings/sec, 100 secs
lola: 629579 markings, 900093 edges, 5553 markings/sec, 105 secs
lola: 653886 markings, 935118 edges, 4861 markings/sec, 110 secs
lola: 683338 markings, 979109 edges, 5890 markings/sec, 115 secs
lola: 711845 markings, 1021554 edges, 5701 markings/sec, 120 secs
lola: 737467 markings, 1058423 edges, 5124 markings/sec, 125 secs
lola: 766364 markings, 1101401 edges, 5779 markings/sec, 130 secs
lola: 794572 markings, 1143950 edges, 5642 markings/sec, 135 secs
lola: 823296 markings, 1186931 edges, 5745 markings/sec, 140 secs
lola: 847994 markings, 1221933 edges, 4940 markings/sec, 145 secs
lola: 876769 markings, 1264821 edges, 5755 markings/sec, 150 secs
lola: 904814 markings, 1306506 edges, 5609 markings/sec, 155 secs
lola: 931302 markings, 1345689 edges, 5298 markings/sec, 160 secs
lola: 951756 markings, 1375043 edges, 4091 markings/sec, 165 secs
lola: 972705 markings, 1404889 edges, 4190 markings/sec, 170 secs
lola: 991370 markings, 1432350 edges, 3733 markings/sec, 175 secs
lola: 1015762 markings, 1468623 edges, 4878 markings/sec, 180 secs
lola: 1041596 markings, 1506458 edges, 5167 markings/sec, 185 secs
lola: 1071208 markings, 1552363 edges, 5922 markings/sec, 190 secs
lola: 1091358 markings, 1581341 edges, 4030 markings/sec, 195 secs
lola: 1115436 markings, 1616441 edges, 4816 markings/sec, 200 secs
lola: 1142963 markings, 1658949 edges, 5505 markings/sec, 205 secs
lola: 1166258 markings, 1693347 edges, 4659 markings/sec, 210 secs
lola: 1192446 markings, 1733851 edges, 5238 markings/sec, 215 secs
lola: 1216875 markings, 1769305 edges, 4886 markings/sec, 220 secs
lola: 1246815 markings, 1815339 edges, 5988 markings/sec, 225 secs
lola: 1271760 markings, 1851802 edges, 4989 markings/sec, 230 secs
lola: 1301901 markings, 1897651 edges, 6028 markings/sec, 235 secs
lola: 1330890 markings, 1941963 edges, 5798 markings/sec, 240 secs
lola: 1356789 markings, 1980018 edges, 5180 markings/sec, 245 secs
lola: 1385964 markings, 2024871 edges, 5835 markings/sec, 250 secs
lola: 1414615 markings, 2068281 edges, 5730 markings/sec, 255 secs
lola: 1437677 markings, 2102553 edges, 4612 markings/sec, 260 secs
lola: 1463163 markings, 2140075 edges, 5097 markings/sec, 265 secs
lola: 1480590 markings, 2166803 edges, 3485 markings/sec, 270 secs
lola: 1499018 markings, 2192735 edges, 3686 markings/sec, 275 secs
lola: 1515747 markings, 2217297 edges, 3346 markings/sec, 280 secs
lola: 1533793 markings, 2244252 edges, 3609 markings/sec, 285 secs
lola: 1553047 markings, 2272012 edges, 3851 markings/sec, 290 secs
lola: 1571898 markings, 2300235 edges, 3770 markings/sec, 295 secs
lola: 1600190 markings, 2343091 edges, 5658 markings/sec, 300 secs
lola: 1625075 markings, 2380554 edges, 4977 markings/sec, 305 secs
lola: 1652748 markings, 2421886 edges, 5535 markings/sec, 310 secs
lola: 1670659 markings, 2449862 edges, 3582 markings/sec, 315 secs
lola: 1693449 markings, 2483986 edges, 4558 markings/sec, 320 secs
lola: 1718398 markings, 2521605 edges, 4990 markings/sec, 325 secs
lola: 1745870 markings, 2564504 edges, 5494 markings/sec, 330 secs
lola: 1769096 markings, 2598713 edges, 4645 markings/sec, 335 secs
lola: 1795692 markings, 2640083 edges, 5319 markings/sec, 340 secs
lola: 1819378 markings, 2675803 edges, 4737 markings/sec, 345 secs
lola: 1845148 markings, 2715667 edges, 5154 markings/sec, 350 secs
lola: 1869410 markings, 2752320 edges, 4852 markings/sec, 355 secs
lola: 1895627 markings, 2792258 edges, 5243 markings/sec, 360 secs
lola: 1924259 markings, 2835679 edges, 5726 markings/sec, 365 secs
lola: 1951848 markings, 2878485 edges, 5518 markings/sec, 370 secs
lola: 1978373 markings, 2918329 edges, 5305 markings/sec, 375 secs
lola: 2006735 markings, 2962662 edges, 5672 markings/sec, 380 secs
lola: 2032860 markings, 3001667 edges, 5225 markings/sec, 385 secs
lola: 2061555 markings, 3045786 edges, 5739 markings/sec, 390 secs
lola: 2086927 markings, 3084265 edges, 5074 markings/sec, 395 secs
lola: 2112987 markings, 3123439 edges, 5212 markings/sec, 400 secs
lola: 2132240 markings, 3152405 edges, 3851 markings/sec, 405 secs
lola: 2149369 markings, 3177953 edges, 3426 markings/sec, 410 secs
lola: 2168846 markings, 3206452 edges, 3895 markings/sec, 415 secs
lola: 2186954 markings, 3232367 edges, 3622 markings/sec, 420 secs
lola: 2204907 markings, 3260026 edges, 3591 markings/sec, 425 secs
lola: 2223635 markings, 3287390 edges, 3746 markings/sec, 430 secs
lola: 2241688 markings, 3314086 edges, 3611 markings/sec, 435 secs
lola: 2260651 markings, 3342380 edges, 3793 markings/sec, 440 secs
lola: 2288810 markings, 3385905 edges, 5632 markings/sec, 445 secs
lola: 2314919 markings, 3425083 edges, 5222 markings/sec, 450 secs
lola: 2344127 markings, 3471439 edges, 5842 markings/sec, 455 secs
lola: 2364238 markings, 3500206 edges, 4022 markings/sec, 460 secs
lola: 2381704 markings, 3527041 edges, 3493 markings/sec, 465 secs
lola: 2405413 markings, 3562445 edges, 4742 markings/sec, 470 secs
lola: 2431038 markings, 3601947 edges, 5125 markings/sec, 475 secs
lola: 2460350 markings, 3647446 edges, 5862 markings/sec, 480 secs
lola: 2486253 markings, 3686865 edges, 5181 markings/sec, 485 secs
lola: 2511200 markings, 3725179 edges, 4989 markings/sec, 490 secs
lola: 2541136 markings, 3771449 edges, 5987 markings/sec, 495 secs
lola: 2566324 markings, 3809669 edges, 5038 markings/sec, 500 secs
lola: 2593084 markings, 3851773 edges, 5352 markings/sec, 505 secs
lola: 2616120 markings, 3886783 edges, 4607 markings/sec, 510 secs
lola: 2638644 markings, 3921390 edges, 4505 markings/sec, 515 secs
lola: 2666498 markings, 3964520 edges, 5571 markings/sec, 520 secs
lola: 2692104 markings, 4003452 edges, 5121 markings/sec, 525 secs
lola: 2720945 markings, 4048969 edges, 5768 markings/sec, 530 secs
lola: 2746278 markings, 4086983 edges, 5067 markings/sec, 535 secs
lola: 2774486 markings, 4131252 edges, 5642 markings/sec, 540 secs
lola: 2800340 markings, 4170652 edges, 5171 markings/sec, 545 secs
lola: 2828919 markings, 4215111 edges, 5716 markings/sec, 550 secs
lola: 2854576 markings, 4254082 edges, 5131 markings/sec, 555 secs
lola: 2882963 markings, 4299061 edges, 5677 markings/sec, 560 secs
lola: 2902757 markings, 4326804 edges, 3959 markings/sec, 565 secs
lola: 2920606 markings, 4354406 edges, 3570 markings/sec, 570 secs
lola: 2937285 markings, 4379368 edges, 3336 markings/sec, 575 secs
lola: 2956014 markings, 4406386 edges, 3746 markings/sec, 580 secs
lola: 2973367 markings, 4433122 edges, 3471 markings/sec, 585 secs
lola: 2990744 markings, 4457825 edges, 3475 markings/sec, 590 secs
lola: 3007609 markings, 4483724 edges, 3373 markings/sec, 595 secs
lola: 3025172 markings, 4509197 edges, 3513 markings/sec, 600 secs
lola: 3042238 markings, 4535420 edges, 3413 markings/sec, 605 secs
lola: 3060248 markings, 4562023 edges, 3602 markings/sec, 610 secs
lola: 3077940 markings, 4588387 edges, 3538 markings/sec, 615 secs
lola: 3104244 markings, 4628660 edges, 5261 markings/sec, 620 secs
lola: 3130176 markings, 4668486 edges, 5186 markings/sec, 625 secs
lola: 3155638 markings, 4707955 edges, 5092 markings/sec, 630 secs
lola: 3183108 markings, 4749756 edges, 5494 markings/sec, 635 secs
lola: 3201957 markings, 4777919 edges, 3770 markings/sec, 640 secs
lola: 3218172 markings, 4803168 edges, 3243 markings/sec, 645 secs
lola: 3236413 markings, 4830460 edges, 3648 markings/sec, 650 secs
lola: 3262394 markings, 4870831 edges, 5196 markings/sec, 655 secs
lola: 3287524 markings, 4909166 edges, 5026 markings/sec, 660 secs
lola: 3315231 markings, 4952740 edges, 5541 markings/sec, 665 secs
lola: 3338932 markings, 4989560 edges, 4740 markings/sec, 670 secs
lola: 3362001 markings, 5024405 edges, 4614 markings/sec, 675 secs
lola: 3388447 markings, 5066143 edges, 5289 markings/sec, 680 secs
lola: 3412299 markings, 5102975 edges, 4770 markings/sec, 685 secs
lola: 3435409 markings, 5138386 edges, 4622 markings/sec, 690 secs
lola: 3462064 markings, 5180184 edges, 5331 markings/sec, 695 secs
lola: 3488455 markings, 5220940 edges, 5278 markings/sec, 700 secs
lola: 3513613 markings, 5259739 edges, 5032 markings/sec, 705 secs
lola: 3542830 markings, 5305617 edges, 5843 markings/sec, 710 secs
lola: 3568454 markings, 5344978 edges, 5125 markings/sec, 715 secs
lola: 3595344 markings, 5387085 edges, 5378 markings/sec, 720 secs
lola: 3622835 markings, 5429294 edges, 5498 markings/sec, 725 secs
lola: 3647985 markings, 5467772 edges, 5030 markings/sec, 730 secs
lola: 3676239 markings, 5512356 edges, 5651 markings/sec, 735 secs
lola: 3702121 markings, 5551989 edges, 5176 markings/sec, 740 secs
lola: 3729567 markings, 5595106 edges, 5489 markings/sec, 745 secs
lola: 3756636 markings, 5636934 edges, 5414 markings/sec, 750 secs
lola: 3781981 markings, 5675947 edges, 5069 markings/sec, 755 secs
lola: 3806484 markings, 5713764 edges, 4901 markings/sec, 760 secs
lola: 3826097 markings, 5742214 edges, 3923 markings/sec, 765 secs
lola: 3843059 markings, 5768114 edges, 3392 markings/sec, 770 secs
lola: 3858719 markings, 5792425 edges, 3132 markings/sec, 775 secs
lola: 3877032 markings, 5818204 edges, 3663 markings/sec, 780 secs
lola: 3894876 markings, 5845731 edges, 3569 markings/sec, 785 secs
lola: 3911136 markings, 5870583 edges, 3252 markings/sec, 790 secs
lola: 3928868 markings, 5895783 edges, 3546 markings/sec, 795 secs
lola: 3946176 markings, 5922383 edges, 3462 markings/sec, 800 secs
lola: 3962761 markings, 5947423 edges, 3317 markings/sec, 805 secs
lola: 3980810 markings, 5973976 edges, 3610 markings/sec, 810 secs
lola: 3997470 markings, 5999261 edges, 3332 markings/sec, 815 secs
lola: 4015226 markings, 6025787 edges, 3551 markings/sec, 820 secs
lola: 4032214 markings, 6051158 edges, 3398 markings/sec, 825 secs
lola: 4056042 markings, 6088523 edges, 4766 markings/sec, 830 secs
lola: 4078738 markings, 6123244 edges, 4539 markings/sec, 835 secs
lola: 4104711 markings, 6162853 edges, 5195 markings/sec, 840 secs
lola: 4128585 markings, 6199913 edges, 4775 markings/sec, 845 secs
lola: 4154844 markings, 6240307 edges, 5252 markings/sec, 850 secs
lola: 4173250 markings, 6267751 edges, 3681 markings/sec, 855 secs
lola: 4188988 markings, 6292025 edges, 3148 markings/sec, 860 secs
lola: 4204114 markings, 6315031 edges, 3025 markings/sec, 865 secs
lola: 4221852 markings, 6341787 edges, 3548 markings/sec, 870 secs
lola: 4248001 markings, 6382373 edges, 5230 markings/sec, 875 secs
lola: 4273996 markings, 6422396 edges, 5199 markings/sec, 880 secs
lola: 4300463 markings, 6464286 edges, 5293 markings/sec, 885 secs
lola: 4328516 markings, 6507256 edges, 5611 markings/sec, 890 secs
lola: 4354517 markings, 6547569 edges, 5200 markings/sec, 895 secs
lola: 4379613 markings, 6587056 edges, 5019 markings/sec, 900 secs
lola: 4409278 markings, 6633703 edges, 5933 markings/sec, 905 secs
lola: 4435119 markings, 6673346 edges, 5168 markings/sec, 910 secs
lola: 4460278 markings, 6712496 edges, 5032 markings/sec, 915 secs
lola: 4489353 markings, 6758843 edges, 5815 markings/sec, 920 secs
lola: 4514938 markings, 6797726 edges, 5117 markings/sec, 925 secs
lola: 4539911 markings, 6836602 edges, 4995 markings/sec, 930 secs
lola: 4568414 markings, 6881649 edges, 5701 markings/sec, 935 secs
lola: 4593646 markings, 6920364 edges, 5046 markings/sec, 940 secs
lola: 4617257 markings, 6956960 edges, 4722 markings/sec, 945 secs
lola: 4644827 markings, 7000939 edges, 5514 markings/sec, 950 secs
lola: 4669929 markings, 7039354 edges, 5020 markings/sec, 955 secs
lola: 4695342 markings, 7078921 edges, 5083 markings/sec, 960 secs
lola: 4724294 markings, 7124650 edges, 5790 markings/sec, 965 secs
lola: 4749065 markings, 7162964 edges, 4954 markings/sec, 970 secs
lola: 4772912 markings, 7200255 edges, 4769 markings/sec, 975 secs
lola: 4799216 markings, 7241123 edges, 5261 markings/sec, 980 secs
lola: 4822230 markings, 7277276 edges, 4603 markings/sec, 985 secs
lola: 4848780 markings, 7319011 edges, 5310 markings/sec, 990 secs
lola: 4868388 markings, 7346742 edges, 3922 markings/sec, 995 secs
lola: 4886359 markings, 7374584 edges, 3594 markings/sec, 1000 secs
lola: 4903117 markings, 7400297 edges, 3352 markings/sec, 1005 secs
lola: 4918547 markings, 7423707 edges, 3086 markings/sec, 1010 secs
lola: 4935057 markings, 7448327 edges, 3302 markings/sec, 1015 secs
lola: 4953389 markings, 7474780 edges, 3666 markings/sec, 1020 secs
lola: 4970120 markings, 7500389 edges, 3346 markings/sec, 1025 secs
lola: 4986210 markings, 7524995 edges, 3218 markings/sec, 1030 secs
lola: 5002454 markings, 7549259 edges, 3249 markings/sec, 1035 secs
lola: 5020949 markings, 7576363 edges, 3699 markings/sec, 1040 secs
lola: 5037662 markings, 7601687 edges, 3343 markings/sec, 1045 secs
lola: 5053582 markings, 7625890 edges, 3184 markings/sec, 1050 secs
lola: 5071898 markings, 7652844 edges, 3663 markings/sec, 1055 secs
lola: 5088565 markings, 7678320 edges, 3333 markings/sec, 1060 secs
lola: 5106410 markings, 7704597 edges, 3569 markings/sec, 1065 secs
lola: 5123315 markings, 7730566 edges, 3381 markings/sec, 1070 secs
lola: 5140004 markings, 7755465 edges, 3338 markings/sec, 1075 secs
lola: 5161493 markings, 7788898 edges, 4298 markings/sec, 1080 secs
lola: 5196451 markings, 7833630 edges, 6992 markings/sec, 1085 secs
lola: 5217776 markings, 7863937 edges, 4265 markings/sec, 1090 secs
lola: 5235317 markings, 7891101 edges, 3508 markings/sec, 1095 secs
lola: 5251556 markings, 7915883 edges, 3248 markings/sec, 1100 secs
lola: 5267546 markings, 7940269 edges, 3198 markings/sec, 1105 secs
lola: 5282499 markings, 7963091 edges, 2991 markings/sec, 1110 secs
lola: 5305804 markings, 7999417 edges, 4661 markings/sec, 1115 secs
lola: 5329663 markings, 8035341 edges, 4772 markings/sec, 1120 secs
lola: 5353044 markings, 8072469 edges, 4676 markings/sec, 1125 secs
lola: 5376674 markings, 8109583 edges, 4726 markings/sec, 1130 secs
lola: 5404082 markings, 8152780 edges, 5482 markings/sec, 1135 secs
lola: 5428329 markings, 8189722 edges, 4849 markings/sec, 1140 secs
lola: 5451967 markings, 8226822 edges, 4728 markings/sec, 1145 secs
lola: 5476514 markings, 8265938 edges, 4909 markings/sec, 1150 secs
lola: 5502143 markings, 8306077 edges, 5126 markings/sec, 1155 secs
lola: 5527590 markings, 8345202 edges, 5089 markings/sec, 1160 secs
lola: 5554109 markings, 8386564 edges, 5304 markings/sec, 1165 secs
lola: 5583067 markings, 8432138 edges, 5792 markings/sec, 1170 secs
lola: 5609890 markings, 8474146 edges, 5365 markings/sec, 1175 secs
lola: 5636179 markings, 8514943 edges, 5258 markings/sec, 1180 secs
lola: 5665609 markings, 8561595 edges, 5886 markings/sec, 1185 secs
lola: 5689979 markings, 8599130 edges, 4874 markings/sec, 1190 secs
lola: 5713857 markings, 8636391 edges, 4776 markings/sec, 1195 secs
lola: 5736901 markings, 8672441 edges, 4609 markings/sec, 1200 secs
lola: 5764094 markings, 8715503 edges, 5439 markings/sec, 1205 secs
lola: 5790710 markings, 8757002 edges, 5323 markings/sec, 1210 secs
lola: 5816264 markings, 8796684 edges, 5111 markings/sec, 1215 secs
lola: 5844015 markings, 8841008 edges, 5550 markings/sec, 1220 secs
lola: 5871284 markings, 8882864 edges, 5454 markings/sec, 1225 secs
lola: 5897389 markings, 8923592 edges, 5221 markings/sec, 1230 secs
lola: 5926153 markings, 8969854 edges, 5753 markings/sec, 1235 secs
lola: 5951185 markings, 9007799 edges, 5006 markings/sec, 1240 secs
lola: 5976315 markings, 9047187 edges, 5026 markings/sec, 1245 secs
lola: 6001499 markings, 9087220 edges, 5037 markings/sec, 1250 secs
lola: 6029429 markings, 9130690 edges, 5586 markings/sec, 1255 secs
lola: 6054472 markings, 9169959 edges, 5009 markings/sec, 1260 secs
lola: 6078075 markings, 9207086 edges, 4721 markings/sec, 1265 secs
lola: 6103021 markings, 9244311 edges, 4989 markings/sec, 1270 secs
lola: 6137500 markings, 9288410 edges, 6896 markings/sec, 1275 secs
lola: 6153812 markings, 9313503 edges, 3262 markings/sec, 1280 secs
lola: 6168997 markings, 9336868 edges, 3037 markings/sec, 1285 secs
lola: 6183028 markings, 9358192 edges, 2806 markings/sec, 1290 secs
lola: 6198071 markings, 9381172 edges, 3009 markings/sec, 1295 secs
lola: 6215499 markings, 9406369 edges, 3486 markings/sec, 1300 secs
lola: 6247421 markings, 9447270 edges, 6384 markings/sec, 1305 secs
lola: 6265051 markings, 9474362 edges, 3526 markings/sec, 1310 secs
lola: 6281815 markings, 9500119 edges, 3353 markings/sec, 1315 secs
lola: 6297035 markings, 9523457 edges, 3044 markings/sec, 1320 secs
lola: 6314549 markings, 9549061 edges, 3503 markings/sec, 1325 secs
lola: 6343425 markings, 9586976 edges, 5775 markings/sec, 1330 secs
lola: 6360777 markings, 9613690 edges, 3470 markings/sec, 1335 secs
lola: 6377411 markings, 9639110 edges, 3327 markings/sec, 1340 secs
lola: 6392288 markings, 9661732 edges, 2975 markings/sec, 1345 secs
lola: 6420115 markings, 9698659 edges, 5565 markings/sec, 1350 secs
lola: 6436713 markings, 9724345 edges, 3320 markings/sec, 1355 secs
lola: 6452338 markings, 9748248 edges, 3125 markings/sec, 1360 secs
lola: 6474953 markings, 9778902 edges, 4523 markings/sec, 1365 secs
lola: 6491398 markings, 9804277 edges, 3289 markings/sec, 1370 secs
lola: 6508213 markings, 9829025 edges, 3363 markings/sec, 1375 secs
lola: 6526559 markings, 9856069 edges, 3669 markings/sec, 1380 secs
lola: 6550661 markings, 9893583 edges, 4820 markings/sec, 1385 secs
lola: 6570986 markings, 9923726 edges, 4065 markings/sec, 1390 secs
lola: 6596472 markings, 9963393 edges, 5097 markings/sec, 1395 secs
lola: 6621492 markings, 10002088 edges, 5004 markings/sec, 1400 secs
lola: 6647029 markings, 10042131 edges, 5107 markings/sec, 1405 secs
lola: 6673359 markings, 10082717 edges, 5266 markings/sec, 1410 secs
lola: 6696552 markings, 10114283 edges, 4639 markings/sec, 1415 secs
lola: 6712728 markings, 10139242 edges, 3235 markings/sec, 1420 secs
lola: 6727248 markings, 10161369 edges, 2904 markings/sec, 1425 secs
lola: 6741413 markings, 10182945 edges, 2833 markings/sec, 1430 secs
lola: 6755400 markings, 10204245 edges, 2797 markings/sec, 1435 secs
lola: 6769762 markings, 10226099 edges, 2872 markings/sec, 1440 secs
lola: 6794516 markings, 10264915 edges, 4951 markings/sec, 1445 secs
lola: 6820225 markings, 10304077 edges, 5142 markings/sec, 1450 secs
lola: 6846307 markings, 10345022 edges, 5216 markings/sec, 1455 secs
lola: 6872924 markings, 10387467 edges, 5323 markings/sec, 1460 secs
lola: 6900192 markings, 10430693 edges, 5454 markings/sec, 1465 secs
lola: 6926446 markings, 10470516 edges, 5251 markings/sec, 1470 secs
lola: 6952097 markings, 10510688 edges, 5130 markings/sec, 1475 secs
lola: 6981245 markings, 10557978 edges, 5830 markings/sec, 1480 secs
lola: 7006591 markings, 10596623 edges, 5069 markings/sec, 1485 secs
lola: 7032290 markings, 10636916 edges, 5140 markings/sec, 1490 secs
lola: 7058117 markings, 10677131 edges, 5165 markings/sec, 1495 secs
lola: 7086288 markings, 10721690 edges, 5634 markings/sec, 1500 secs
lola: 7112405 markings, 10762661 edges, 5223 markings/sec, 1505 secs
lola: 7137979 markings, 10803094 edges, 5115 markings/sec, 1510 secs
lola: 7163423 markings, 10842563 edges, 5089 markings/sec, 1515 secs
lola: 7191718 markings, 10887779 edges, 5659 markings/sec, 1520 secs
lola: 7217592 markings, 10928241 edges, 5175 markings/sec, 1525 secs
lola: 7243295 markings, 10968024 edges, 5141 markings/sec, 1530 secs
lola: 7270807 markings, 11011882 edges, 5502 markings/sec, 1535 secs
lola: 7297047 markings, 11053110 edges, 5248 markings/sec, 1540 secs
lola: 7322650 markings, 11092789 edges, 5121 markings/sec, 1545 secs
lola: 7348078 markings, 11132695 edges, 5086 markings/sec, 1550 secs
lola: 7375991 markings, 11176955 edges, 5583 markings/sec, 1555 secs
lola: 7401716 markings, 11217507 edges, 5145 markings/sec, 1560 secs
lola: 7427904 markings, 11258065 edges, 5238 markings/sec, 1565 secs
lola: 7456265 markings, 11304001 edges, 5672 markings/sec, 1570 secs
lola: 7481280 markings, 11342024 edges, 5003 markings/sec, 1575 secs
lola: 7506608 markings, 11382067 edges, 5066 markings/sec, 1580 secs
lola: 7530511 markings, 11419587 edges, 4781 markings/sec, 1585 secs
lola: 7553710 markings, 11455712 edges, 4640 markings/sec, 1590 secs
lola: 7577554 markings, 11486577 edges, 4769 markings/sec, 1595 secs
lola: 7594111 markings, 11512490 edges, 3311 markings/sec, 1600 secs
lola: 7609154 markings, 11535494 edges, 3009 markings/sec, 1605 secs
lola: 7624849 markings, 11559610 edges, 3139 markings/sec, 1610 secs
lola: 7639490 markings, 11581846 edges, 2928 markings/sec, 1615 secs
lola: 7654059 markings, 11603962 edges, 2914 markings/sec, 1620 secs
lola: 7669378 markings, 11626252 edges, 3064 markings/sec, 1625 secs
lola: 7692146 markings, 11656767 edges, 4554 markings/sec, 1630 secs
lola: 7709265 markings, 11682801 edges, 3424 markings/sec, 1635 secs
lola: 7724610 markings, 11706511 edges, 3069 markings/sec, 1640 secs
lola: 7740448 markings, 11730747 edges, 3168 markings/sec, 1645 secs
lola: 7755279 markings, 11753210 edges, 2966 markings/sec, 1650 secs
lola: 7773552 markings, 11778836 edges, 3655 markings/sec, 1655 secs
lola: 7794228 markings, 11808559 edges, 4135 markings/sec, 1660 secs
lola: 7810136 markings, 11832855 edges, 3182 markings/sec, 1665 secs
lola: 7825739 markings, 11856654 edges, 3121 markings/sec, 1670 secs
lola: 7841580 markings, 11880113 edges, 3168 markings/sec, 1675 secs
lola: 7862049 markings, 11908740 edges, 4094 markings/sec, 1680 secs
lola: 7878335 markings, 11933718 edges, 3257 markings/sec, 1685 secs
lola: 7893755 markings, 11957153 edges, 3084 markings/sec, 1690 secs
lola: 7912272 markings, 11983600 edges, 3703 markings/sec, 1695 secs
lola: 7930639 markings, 12011248 edges, 3673 markings/sec, 1700 secs
lola: 7946473 markings, 12035324 edges, 3167 markings/sec, 1705 secs
lola: 7965689 markings, 12063407 edges, 3843 markings/sec, 1710 secs
lola: 7983051 markings, 12089522 edges, 3472 markings/sec, 1715 secs
lola: 8017271 markings, 12135927 edges, 6844 markings/sec, 1720 secs
lola: 8040402 markings, 12171659 edges, 4626 markings/sec, 1725 secs
lola: 8066286 markings, 12212170 edges, 5177 markings/sec, 1730 secs
lola: 8092262 markings, 12252031 edges, 5195 markings/sec, 1735 secs
lola: 8116845 markings, 12290924 edges, 4917 markings/sec, 1740 secs
lola: 8142544 markings, 12331677 edges, 5140 markings/sec, 1745 secs
lola: 8175404 markings, 12372644 edges, 6572 markings/sec, 1750 secs
lola: 8192006 markings, 12398201 edges, 3320 markings/sec, 1755 secs
lola: 8207711 markings, 12422115 edges, 3141 markings/sec, 1760 secs
lola: 8224138 markings, 12447417 edges, 3285 markings/sec, 1765 secs
lola: 8239293 markings, 12470476 edges, 3031 markings/sec, 1770 secs
lola: 8254400 markings, 12493452 edges, 3021 markings/sec, 1775 secs
lola: 8271602 markings, 12518886 edges, 3440 markings/sec, 1780 secs
lola: 8297237 markings, 12559110 edges, 5127 markings/sec, 1785 secs
lola: 8323577 markings, 12600326 edges, 5268 markings/sec, 1790 secs
lola: 8349257 markings, 12640377 edges, 5136 markings/sec, 1795 secs
lola: 8376017 markings, 12683725 edges, 5352 markings/sec, 1800 secs
lola: 8403188 markings, 12726729 edges, 5434 markings/sec, 1805 secs
lola: 8429097 markings, 12766729 edges, 5182 markings/sec, 1810 secs
lola: 8454889 markings, 12806968 edges, 5158 markings/sec, 1815 secs
lola: 8478996 markings, 12845031 edges, 4821 markings/sec, 1820 secs
lola: 8505652 markings, 12887263 edges, 5331 markings/sec, 1825 secs
lola: 8529145 markings, 12924103 edges, 4699 markings/sec, 1830 secs
lola: 8553165 markings, 12961758 edges, 4804 markings/sec, 1835 secs
lola: 8578688 markings, 13001740 edges, 5105 markings/sec, 1840 secs
lola: 8606653 markings, 13046261 edges, 5593 markings/sec, 1845 secs
lola: 8632888 markings, 13087126 edges, 5247 markings/sec, 1850 secs
lola: 8659042 markings, 13128324 edges, 5231 markings/sec, 1855 secs
lola: 8684604 markings, 13168429 edges, 5112 markings/sec, 1860 secs
lola: 8712703 markings, 13213232 edges, 5620 markings/sec, 1865 secs
lola: 8738471 markings, 13253429 edges, 5154 markings/sec, 1870 secs
lola: 8764847 markings, 13294749 edges, 5275 markings/sec, 1875 secs
lola: 8789271 markings, 13333251 edges, 4885 markings/sec, 1880 secs
lola: 8814277 markings, 13373803 edges, 5001 markings/sec, 1885 secs
lola: 8837807 markings, 13410412 edges, 4706 markings/sec, 1890 secs
lola: 8861920 markings, 13447659 edges, 4823 markings/sec, 1895 secs
lola: 8885539 markings, 13485239 edges, 4724 markings/sec, 1900 secs
lola: 8910520 markings, 13525445 edges, 4996 markings/sec, 1905 secs
lola: 8934234 markings, 13562585 edges, 4743 markings/sec, 1910 secs
lola: 8959494 markings, 13601247 edges, 5052 markings/sec, 1915 secs
lola: 8984666 markings, 13641559 edges, 5034 markings/sec, 1920 secs
lola: 9011948 markings, 13685466 edges, 5456 markings/sec, 1925 secs
lola: 9038033 markings, 13725372 edges, 5217 markings/sec, 1930 secs
lola: 9063613 markings, 13765823 edges, 5116 markings/sec, 1935 secs
lola: 9088738 markings, 13805584 edges, 5025 markings/sec, 1940 secs
lola: 9114859 markings, 13845985 edges, 5224 markings/sec, 1945 secs
lola: 9132440 markings, 13870654 edges, 3516 markings/sec, 1950 secs
lola: 9161007 markings, 13907701 edges, 5713 markings/sec, 1955 secs
lola: 9177607 markings, 13933218 edges, 3320 markings/sec, 1960 secs
lola: 9193467 markings, 13957129 edges, 3172 markings/sec, 1965 secs
lola: 9208959 markings, 13981119 edges, 3098 markings/sec, 1970 secs
lola: 9223862 markings, 14003748 edges, 2981 markings/sec, 1975 secs
lola: 9238794 markings, 14026409 edges, 2986 markings/sec, 1980 secs
lola: 9255294 markings, 14050109 edges, 3300 markings/sec, 1985 secs
lola: 9280699 markings, 14083030 edges, 5081 markings/sec, 1990 secs
lola: 9299787 markings, 14110777 edges, 3818 markings/sec, 1995 secs
lola: 9315763 markings, 14135264 edges, 3195 markings/sec, 2000 secs
lola: 9331623 markings, 14159547 edges, 3172 markings/sec, 2005 secs
lola: 9346433 markings, 14181993 edges, 2962 markings/sec, 2010 secs
lola: 9361193 markings, 14204349 edges, 2952 markings/sec, 2015 secs
lola: 9379382 markings, 14229334 edges, 3638 markings/sec, 2020 secs
lola: 9404739 markings, 14263865 edges, 5071 markings/sec, 2025 secs
lola: 9420400 markings, 14287811 edges, 3132 markings/sec, 2030 secs
lola: 9435846 markings, 14311393 edges, 3089 markings/sec, 2035 secs
lola: 9451216 markings, 14334832 edges, 3074 markings/sec, 2040 secs
lola: 9466793 markings, 14357501 edges, 3115 markings/sec, 2045 secs
lola: 9491081 markings, 14389912 edges, 4858 markings/sec, 2050 secs
lola: 9506555 markings, 14413717 edges, 3095 markings/sec, 2055 secs
lola: 9522014 markings, 14437393 edges, 3092 markings/sec, 2060 secs
lola: 9537791 markings, 14460645 edges, 3155 markings/sec, 2065 secs
lola: 9559376 markings, 14490404 edges, 4317 markings/sec, 2070 secs
lola: 9575186 markings, 14514667 edges, 3162 markings/sec, 2075 secs
lola: 9590443 markings, 14537626 edges, 3051 markings/sec, 2080 secs
lola: 9610304 markings, 14565922 edges, 3972 markings/sec, 2085 secs
lola: 9625974 markings, 14589394 edges, 3134 markings/sec, 2090 secs
lola: 9652900 markings, 14629800 edges, 5385 markings/sec, 2095 secs
lola: 9669778 markings, 14654746 edges, 3376 markings/sec, 2100 secs
lola: 9693312 markings, 14691541 edges, 4707 markings/sec, 2105 secs
lola: 9717113 markings, 14728766 edges, 4760 markings/sec, 2110 secs
lola: 9741451 markings, 14766983 edges, 4868 markings/sec, 2115 secs
lola: 9765916 markings, 14805596 edges, 4893 markings/sec, 2120 secs
lola: 9792791 markings, 14849097 edges, 5375 markings/sec, 2125 secs
lola: 9813610 markings, 14879095 edges, 4164 markings/sec, 2130 secs
lola: 9849514 markings, 14922530 edges, 7181 markings/sec, 2135 secs
lola: 9865469 markings, 14946791 edges, 3191 markings/sec, 2140 secs
lola: 9881669 markings, 14971801 edges, 3240 markings/sec, 2145 secs
lola: 9897003 markings, 14995138 edges, 3067 markings/sec, 2150 secs
lola: 9912134 markings, 15018159 edges, 3026 markings/sec, 2155 secs
lola: 9927262 markings, 15041167 edges, 3026 markings/sec, 2160 secs
lola: 9942384 markings, 15064004 edges, 3024 markings/sec, 2165 secs
lola: 9969317 markings, 15106171 edges, 5387 markings/sec, 2170 secs
lola: 9994925 markings, 15145685 edges, 5122 markings/sec, 2175 secs
lola: 10020984 markings, 15186568 edges, 5212 markings/sec, 2180 secs
lola: 10046340 markings, 15226800 edges, 5071 markings/sec, 2185 secs
lola: 10074194 markings, 15271396 edges, 5571 markings/sec, 2190 secs
lola: 10100447 markings, 15312362 edges, 5251 markings/sec, 2195 secs
lola: 10126881 markings, 15353731 edges, 5287 markings/sec, 2200 secs
lola: 10152517 markings, 15394255 edges, 5127 markings/sec, 2205 secs
lola: 10176925 markings, 15433359 edges, 4882 markings/sec, 2210 secs
lola: 10206270 markings, 15479846 edges, 5869 markings/sec, 2215 secs
lola: 10232277 markings, 15520490 edges, 5201 markings/sec, 2220 secs
lola: 10257570 markings, 15560030 edges, 5059 markings/sec, 2225 secs
lola: 10283300 markings, 15600663 edges, 5146 markings/sec, 2230 secs
lola: 10311151 markings, 15644846 edges, 5570 markings/sec, 2235 secs
lola: 10336810 markings, 15684923 edges, 5132 markings/sec, 2240 secs
lola: 10362454 markings, 15725347 edges, 5129 markings/sec, 2245 secs
lola: 10387173 markings, 15764543 edges, 4944 markings/sec, 2250 secs
lola: 10412362 markings, 15804877 edges, 5038 markings/sec, 2255 secs
lola: 10441045 markings, 15850277 edges, 5737 markings/sec, 2260 secs
lola: 10467385 markings, 15891415 edges, 5268 markings/sec, 2265 secs
lola: 10492928 markings, 15931157 edges, 5109 markings/sec, 2270 secs
lola: 10517443 markings, 15970206 edges, 4903 markings/sec, 2275 secs
lola: 10545152 markings, 16014386 edges, 5542 markings/sec, 2280 secs
lola: 10571129 markings, 16054982 edges, 5195 markings/sec, 2285 secs
lola: 10596052 markings, 16094660 edges, 4985 markings/sec, 2290 secs
lola: 10621546 markings, 16134742 edges, 5099 markings/sec, 2295 secs
lola: 10648989 markings, 16178455 edges, 5489 markings/sec, 2300 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 1 80 1 1 80 unknown 80 80 80 1 1 50
lola:
preliminary result: 1 unknown unknown 1 1 80 1 1 80 unknown 80 80 80 1 1 50
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown unknown 1 1 80 1 1 80 unknown 80 80 80 1 1 50
lola: memory consumption: 606664 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown unknown 1 1 80 1 1 80 unknown 80 80 80 1 1 50
lola: memory consumption: 606892 KB
lola: time consumption: 3569 seconds

BK_STOP 1552410813462

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

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