Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.7K Feb 9 08:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 9 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 5 06:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 5 06:28 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 11K Feb 4 23:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.7K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 2 01:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 2 01:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Jan 29 14:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 29 14:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 45K Mar 10 17:31 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1552523504406

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

FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-00 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

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

FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-09 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-12 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-15 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-COL-V80P50N20-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

{
"exit":
{
"memory": 2441720,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p92)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"preliminary_value": "80 unknown 1 1 80 1 80 80 80 50 1 1 80 80 unknown 50 "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: Places: 198, Transitions: 3728
lola: @ trans altern_cpt
lola: @ trans timeout_B
lola: @ trans enregistrement_B
lola: @ trans timeout_A
lola: @ trans liberation_B
lola: @ trans enregistrement_A
lola: @ trans liberation_A
lola: @ trans autorisation_B
lola: @ trans basculement
lola: @ trans decision
lola: @ trans autorisation_A
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 3926/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 6336
lola: finding significant places
lola: 198 places, 3728 transitions, 191 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: place invariant simplifies atomic proposition
lola: before: (p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p98 + p97 + p96 + p95 + p94 + p93 + p99 <= 0)
lola: after: (1 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 <= 0)
lola: after: (1 <= 0)
lola: MAX(p174) : MAX(p92) : MAX(p3 + p4) : MAX(1) : MAX(p1) : MAX(1) : MAX(p2) : MAX(p0) : MAX(p2) : MAX(p175) : MAX(p90 + p91) : MAX(p87 + p88) : MAX(p5) : MAX(p174) : MAX(p92) : MAX(p175)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(1)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(1)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p174)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 81 markings, 80 edges
lola: ========================================
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 339 markings, 338 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p92)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p92)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 71123 markings, 225859 edges, 14225 markings/sec, 0 secs
lola: 136204 markings, 456896 edges, 13016 markings/sec, 5 secs
lola: 203401 markings, 699494 edges, 13439 markings/sec, 10 secs
lola: 263204 markings, 912649 edges, 11961 markings/sec, 15 secs
lola: 330145 markings, 1096633 edges, 13388 markings/sec, 20 secs
lola: 397395 markings, 1281311 edges, 13450 markings/sec, 25 secs
lola: 465364 markings, 1467987 edges, 13594 markings/sec, 30 secs
lola: 534386 markings, 1656126 edges, 13804 markings/sec, 35 secs
lola: 603567 markings, 1844309 edges, 13836 markings/sec, 40 secs
lola: 672227 markings, 2034111 edges, 13732 markings/sec, 45 secs
lola: 739682 markings, 2220243 edges, 13491 markings/sec, 50 secs
lola: 806952 markings, 2402015 edges, 13454 markings/sec, 55 secs
lola: 873658 markings, 2586771 edges, 13341 markings/sec, 60 secs
lola: 939070 markings, 2809487 edges, 13082 markings/sec, 65 secs
lola: 1005364 markings, 3054925 edges, 13259 markings/sec, 70 secs
lola: 1071861 markings, 3300799 edges, 13299 markings/sec, 75 secs
lola: 1139224 markings, 3545705 edges, 13473 markings/sec, 80 secs
lola: 1205608 markings, 3792489 edges, 13277 markings/sec, 85 secs
lola: 1272464 markings, 4036467 edges, 13371 markings/sec, 90 secs
lola: 1338568 markings, 4282078 edges, 13221 markings/sec, 95 secs
lola: 1405189 markings, 4525515 edges, 13324 markings/sec, 100 secs
lola: 1470034 markings, 4761444 edges, 12969 markings/sec, 105 secs
lola: 1534850 markings, 5001140 edges, 12963 markings/sec, 110 secs
lola: 1604289 markings, 5253903 edges, 13888 markings/sec, 115 secs
lola: 1673527 markings, 5507228 edges, 13848 markings/sec, 120 secs
lola: 1741283 markings, 5758437 edges, 13551 markings/sec, 125 secs
lola: 1809868 markings, 6009345 edges, 13717 markings/sec, 130 secs
lola: 1878383 markings, 6260356 edges, 13703 markings/sec, 135 secs
lola: 1946585 markings, 6510725 edges, 13640 markings/sec, 140 secs
lola: 2011569 markings, 6746035 edges, 12997 markings/sec, 145 secs
lola: 2076826 markings, 6983152 edges, 13051 markings/sec, 150 secs
lola: 2141782 markings, 7219273 edges, 12991 markings/sec, 155 secs
lola: 2209871 markings, 7468026 edges, 13618 markings/sec, 160 secs
lola: 2275356 markings, 7707465 edges, 13097 markings/sec, 165 secs
lola: 2339755 markings, 7943043 edges, 12880 markings/sec, 170 secs
lola: 2404059 markings, 8178969 edges, 12861 markings/sec, 175 secs
lola: 2468835 markings, 8408939 edges, 12955 markings/sec, 180 secs
lola: 2537706 markings, 8660764 edges, 13774 markings/sec, 185 secs
lola: 2605653 markings, 8909383 edges, 13589 markings/sec, 190 secs
lola: 2670738 markings, 9147325 edges, 13017 markings/sec, 195 secs
lola: 2737777 markings, 9389058 edges, 13408 markings/sec, 200 secs
lola: 2799993 markings, 9617126 edges, 12443 markings/sec, 205 secs
lola: 2865580 markings, 9851497 edges, 13117 markings/sec, 210 secs
lola: 2935348 markings, 10102757 edges, 13954 markings/sec, 215 secs
lola: 3002794 markings, 10345132 edges, 13489 markings/sec, 220 secs
lola: 3071722 markings, 10595358 edges, 13786 markings/sec, 225 secs
lola: 3136724 markings, 10831967 edges, 13000 markings/sec, 230 secs
lola: 3201534 markings, 11062689 edges, 12962 markings/sec, 235 secs
lola: 3268842 markings, 11304568 edges, 13462 markings/sec, 240 secs
lola: 3333440 markings, 11536902 edges, 12920 markings/sec, 245 secs
lola: 3397731 markings, 11768889 edges, 12858 markings/sec, 250 secs
lola: 3462215 markings, 11998518 edges, 12897 markings/sec, 255 secs
lola: 3529608 markings, 12237896 edges, 13479 markings/sec, 260 secs
lola: 3598221 markings, 12481747 edges, 13723 markings/sec, 265 secs
lola: 3666842 markings, 12727140 edges, 13724 markings/sec, 270 secs
lola: 3735044 markings, 12971982 edges, 13640 markings/sec, 275 secs
lola: 3803168 markings, 13211219 edges, 13625 markings/sec, 280 secs
lola: 3870804 markings, 13452355 edges, 13527 markings/sec, 285 secs
lola: 3939462 markings, 13695540 edges, 13732 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 80 unknown unknown 1 80 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 447688 KB
lola: time consumption: 307 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 336 markings, 335 edges
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 336 markings, 335 edges
lola: ========================================
lola: subprocess 8 will run for 407 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p175)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p175)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 466 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 543 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p174)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 80
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: 81 markings, 80 edges
lola: ========================================
lola: subprocess 11 will run for 651 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p92)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p92)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 74949 markings, 236973 edges, 14990 markings/sec, 0 secs
lola: 144787 markings, 488683 edges, 13968 markings/sec, 5 secs
lola: 210288 markings, 724854 edges, 13100 markings/sec, 10 secs
lola: 271637 markings, 932311 edges, 12270 markings/sec, 15 secs
lola: 337704 markings, 1113912 edges, 13213 markings/sec, 20 secs
lola: 402075 markings, 1294411 edges, 12874 markings/sec, 25 secs
lola: 471432 markings, 1481534 edges, 13871 markings/sec, 30 secs
lola: 538030 markings, 1663858 edges, 13320 markings/sec, 35 secs
lola: 606476 markings, 1852812 edges, 13689 markings/sec, 40 secs
lola: 672366 markings, 2034527 edges, 13178 markings/sec, 45 secs
lola: 738672 markings, 2217384 edges, 13261 markings/sec, 50 secs
lola: 806585 markings, 2400917 edges, 13583 markings/sec, 55 secs
lola: 878881 markings, 2601654 edges, 14459 markings/sec, 60 secs
lola: 949846 markings, 2850909 edges, 14193 markings/sec, 65 secs
lola: 1020806 markings, 3108768 edges, 14192 markings/sec, 70 secs
lola: 1090067 markings, 3366342 edges, 13852 markings/sec, 75 secs
lola: 1156097 markings, 3611223 edges, 13206 markings/sec, 80 secs
lola: 1223900 markings, 3857894 edges, 13561 markings/sec, 85 secs
lola: 1293686 markings, 4118129 edges, 13957 markings/sec, 90 secs
lola: 1364118 markings, 4376178 edges, 14086 markings/sec, 95 secs
lola: 1432648 markings, 4627370 edges, 13706 markings/sec, 100 secs
lola: 1499401 markings, 4869583 edges, 13351 markings/sec, 105 secs
lola: 1567685 markings, 5117765 edges, 13657 markings/sec, 110 secs
lola: 1635177 markings, 5368257 edges, 13498 markings/sec, 115 secs
lola: 1705066 markings, 5623251 edges, 13978 markings/sec, 120 secs
lola: 1775308 markings, 5880362 edges, 14048 markings/sec, 125 secs
lola: 1844389 markings, 6136870 edges, 13816 markings/sec, 130 secs
lola: 1914652 markings, 6392827 edges, 14053 markings/sec, 135 secs
lola: 1983660 markings, 6643570 edges, 13802 markings/sec, 140 secs
lola: 2054458 markings, 6901823 edges, 14160 markings/sec, 145 secs
lola: 2124887 markings, 7159001 edges, 14086 markings/sec, 150 secs
lola: 2194660 markings, 7414174 edges, 13955 markings/sec, 155 secs
lola: 2264523 markings, 7670306 edges, 13973 markings/sec, 160 secs
lola: 2334747 markings, 7926106 edges, 14045 markings/sec, 165 secs
lola: 2404152 markings, 8179366 edges, 13881 markings/sec, 170 secs
lola: 2474337 markings, 8430360 edges, 14037 markings/sec, 175 secs
lola: 2544464 markings, 8686986 edges, 14025 markings/sec, 180 secs
lola: 2613515 markings, 8939507 edges, 13810 markings/sec, 185 secs
lola: 2679197 markings, 9175563 edges, 13136 markings/sec, 190 secs
lola: 2747236 markings, 9425683 edges, 13608 markings/sec, 195 secs
lola: 2816603 markings, 9677324 edges, 13873 markings/sec, 200 secs
lola: 2885779 markings, 9924715 edges, 13835 markings/sec, 205 secs
lola: 2955413 markings, 10175699 edges, 13927 markings/sec, 210 secs
lola: 3021501 markings, 10413223 edges, 13218 markings/sec, 215 secs
lola: 3083259 markings, 10639267 edges, 12352 markings/sec, 220 secs
lola: 3148365 markings, 10874756 edges, 13021 markings/sec, 225 secs
lola: 3215113 markings, 11110547 edges, 13350 markings/sec, 230 secs
lola: 3281820 markings, 11350364 edges, 13341 markings/sec, 235 secs
lola: 3349001 markings, 11592812 edges, 13436 markings/sec, 240 secs
lola: 3418466 markings, 11841256 edges, 13893 markings/sec, 245 secs
lola: 3482338 markings, 12072760 edges, 12774 markings/sec, 250 secs
lola: 3546367 markings, 12298289 edges, 12806 markings/sec, 255 secs
lola: 3611037 markings, 12527939 edges, 12934 markings/sec, 260 secs
lola: 3679074 markings, 12771687 edges, 13607 markings/sec, 265 secs
lola: 3748589 markings, 13020726 edges, 13903 markings/sec, 270 secs
lola: 3818409 markings, 13266033 edges, 13964 markings/sec, 275 secs
lola: 3888836 markings, 13514760 edges, 14085 markings/sec, 280 secs
lola: 3958488 markings, 13762087 edges, 13930 markings/sec, 285 secs
lola: 4027496 markings, 14002841 edges, 13802 markings/sec, 290 secs
lola: 4094899 markings, 14240675 edges, 13481 markings/sec, 295 secs
lola: 4161523 markings, 14474048 edges, 13325 markings/sec, 300 secs
lola: 4229827 markings, 14710151 edges, 13661 markings/sec, 305 secs
lola: 4299695 markings, 14952683 edges, 13974 markings/sec, 310 secs
lola: 4367134 markings, 15188236 edges, 13488 markings/sec, 315 secs
lola: 4435783 markings, 15420561 edges, 13730 markings/sec, 320 secs
lola: 4504100 markings, 15655413 edges, 13663 markings/sec, 325 secs
lola: 4572221 markings, 15884707 edges, 13624 markings/sec, 330 secs
lola: 4642410 markings, 16120907 edges, 14038 markings/sec, 335 secs
lola: 4711938 markings, 16349591 edges, 13906 markings/sec, 340 secs
lola: 4780633 markings, 16570872 edges, 13739 markings/sec, 345 secs
lola: 4850325 markings, 16789625 edges, 13938 markings/sec, 350 secs
lola: 4919707 markings, 16989025 edges, 13876 markings/sec, 355 secs
lola: 4984858 markings, 17169903 edges, 13030 markings/sec, 360 secs
lola: 5076329 markings, 17494703 edges, 18294 markings/sec, 365 secs
lola: 5146967 markings, 17762365 edges, 14128 markings/sec, 370 secs
lola: 5215730 markings, 18022934 edges, 13753 markings/sec, 375 secs
lola: 5286135 markings, 18290163 edges, 14081 markings/sec, 380 secs
lola: 5355933 markings, 18555279 edges, 13960 markings/sec, 385 secs
lola: 5425031 markings, 18817820 edges, 13820 markings/sec, 390 secs
lola: 5493407 markings, 19077820 edges, 13675 markings/sec, 395 secs
lola: 5561063 markings, 19334961 edges, 13531 markings/sec, 400 secs
lola: 5636854 markings, 19622113 edges, 15158 markings/sec, 405 secs
lola: 5707092 markings, 19885548 edges, 14048 markings/sec, 410 secs
lola: 5770460 markings, 20126114 edges, 12674 markings/sec, 415 secs
lola: 5842160 markings, 20394115 edges, 14340 markings/sec, 420 secs
lola: 5908248 markings, 20639968 edges, 13218 markings/sec, 425 secs
lola: 5969631 markings, 20861224 edges, 12277 markings/sec, 430 secs
lola: 6036695 markings, 21047374 edges, 13413 markings/sec, 435 secs
lola: 6106838 markings, 21238903 edges, 14029 markings/sec, 440 secs
lola: 6176560 markings, 21429085 edges, 13944 markings/sec, 445 secs
lola: 6247134 markings, 21618219 edges, 14115 markings/sec, 450 secs
lola: 6317467 markings, 21810946 edges, 14067 markings/sec, 455 secs
lola: 6388683 markings, 22006018 edges, 14243 markings/sec, 460 secs
lola: 6460486 markings, 22196899 edges, 14361 markings/sec, 465 secs
lola: 6532559 markings, 22394804 edges, 14415 markings/sec, 470 secs
lola: 6604351 markings, 22592224 edges, 14358 markings/sec, 475 secs
lola: 6676252 markings, 22786470 edges, 14380 markings/sec, 480 secs
lola: 6746848 markings, 22979749 edges, 14119 markings/sec, 485 secs
lola: 6819248 markings, 23174435 edges, 14480 markings/sec, 490 secs
lola: 6889058 markings, 23366552 edges, 13962 markings/sec, 495 secs
lola: 6959830 markings, 23558505 edges, 14154 markings/sec, 500 secs
lola: 7032039 markings, 23752631 edges, 14442 markings/sec, 505 secs
lola: 7103869 markings, 23948177 edges, 14366 markings/sec, 510 secs
lola: 7173604 markings, 24156210 edges, 13947 markings/sec, 515 secs
lola: 7241988 markings, 24406578 edges, 13677 markings/sec, 520 secs
lola: 7312277 markings, 24664594 edges, 14058 markings/sec, 525 secs
lola: 7381655 markings, 24922906 edges, 13876 markings/sec, 530 secs
lola: 7450456 markings, 25178932 edges, 13760 markings/sec, 535 secs
lola: 7520374 markings, 25439410 edges, 13984 markings/sec, 540 secs
lola: 7590011 markings, 25694017 edges, 13927 markings/sec, 545 secs
lola: 7658658 markings, 25949699 edges, 13729 markings/sec, 550 secs
lola: 7726112 markings, 26197663 edges, 13491 markings/sec, 555 secs
lola: 7794222 markings, 26449199 edges, 13622 markings/sec, 560 secs
lola: 7862487 markings, 26704211 edges, 13653 markings/sec, 565 secs
lola: 7931732 markings, 26958579 edges, 13849 markings/sec, 570 secs
lola: 7999736 markings, 27208340 edges, 13601 markings/sec, 575 secs
lola: 8069179 markings, 27467422 edges, 13889 markings/sec, 580 secs
lola: 8137350 markings, 27718534 edges, 13634 markings/sec, 585 secs
lola: 8205747 markings, 27969480 edges, 13679 markings/sec, 590 secs
lola: 8274824 markings, 28228800 edges, 13815 markings/sec, 595 secs
lola: 8340454 markings, 28466809 edges, 13126 markings/sec, 600 secs
lola: 8404332 markings, 28703174 edges, 12776 markings/sec, 605 secs
lola: 8468607 markings, 28938849 edges, 12855 markings/sec, 610 secs
lola: 8534038 markings, 29179635 edges, 13086 markings/sec, 615 secs
lola: 8603430 markings, 29437941 edges, 13878 markings/sec, 620 secs
lola: 8672431 markings, 29688494 edges, 13800 markings/sec, 625 secs
lola: 8742573 markings, 29950663 edges, 14028 markings/sec, 630 secs
lola: 8812491 markings, 30211601 edges, 13984 markings/sec, 635 secs
lola: 8882186 markings, 30467454 edges, 13939 markings/sec, 640 secs
lola: 8951889 markings, 30722115 edges, 13941 markings/sec, 645 secs
lola: local time limit reached - aborting
lola:
preliminary result: 80 unknown unknown 1 80 1 80 80 80 50 unknown unknown 80 80 unknown unknown
lola: memory consumption: 772000 KB
lola: time consumption: 964 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 651 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p175)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p175)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 868 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p90 + p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p90 + p91)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p87 + p88)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p87 + p88)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 62 markings, 61 edges
lola: ========================================
lola: subprocess 15 will run for 2606 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3 + p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3 + p4)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p92)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p92)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 75412 markings, 238362 edges, 15082 markings/sec, 0 secs
lola: 147932 markings, 497800 edges, 14504 markings/sec, 5 secs
lola: 216823 markings, 747740 edges, 13778 markings/sec, 10 secs
lola: 280797 markings, 959063 edges, 12795 markings/sec, 15 secs
lola: 354242 markings, 1161469 edges, 14689 markings/sec, 20 secs
lola: 427221 markings, 1362699 edges, 14596 markings/sec, 25 secs
lola: 499668 markings, 1562273 edges, 14489 markings/sec, 30 secs
lola: 572995 markings, 1760504 edges, 14665 markings/sec, 35 secs
lola: 642139 markings, 1951561 edges, 13829 markings/sec, 40 secs
lola: 712019 markings, 2144587 edges, 13976 markings/sec, 45 secs
lola: 785659 markings, 2344741 edges, 14728 markings/sec, 50 secs
lola: 859076 markings, 2544429 edges, 14683 markings/sec, 55 secs
lola: 928860 markings, 2769703 edges, 13957 markings/sec, 60 secs
lola: 999617 markings, 3032628 edges, 14151 markings/sec, 65 secs
lola: 1070229 markings, 3294728 edges, 14122 markings/sec, 70 secs
lola: 1140344 markings, 3549968 edges, 14023 markings/sec, 75 secs
lola: 1208774 markings, 3804813 edges, 13686 markings/sec, 80 secs
lola: 1277642 markings, 4055935 edges, 13774 markings/sec, 85 secs
lola: 1345531 markings, 4309025 edges, 13578 markings/sec, 90 secs
lola: 1413807 markings, 4559050 edges, 13655 markings/sec, 95 secs
lola: 1483480 markings, 4808594 edges, 13935 markings/sec, 100 secs
lola: 1552371 markings, 5063641 edges, 13778 markings/sec, 105 secs
lola: 1621216 markings, 5314802 edges, 13769 markings/sec, 110 secs
lola: 1689026 markings, 5566271 edges, 13562 markings/sec, 115 secs
lola: 1757637 markings, 5816737 edges, 13722 markings/sec, 120 secs
lola: 1826105 markings, 6067181 edges, 13694 markings/sec, 125 secs
lola: 1894506 markings, 6317875 edges, 13680 markings/sec, 130 secs
lola: 1962502 markings, 6564634 edges, 13599 markings/sec, 135 secs
lola: 2031175 markings, 6816973 edges, 13735 markings/sec, 140 secs
lola: 2099604 markings, 7066229 edges, 13686 markings/sec, 145 secs
lola: 2168533 markings, 7317946 edges, 13786 markings/sec, 150 secs
lola: 2237197 markings, 7569255 edges, 13733 markings/sec, 155 secs
lola: 2305780 markings, 7820673 edges, 13717 markings/sec, 160 secs
lola: 2374076 markings, 8071314 edges, 13659 markings/sec, 165 secs
lola: 2443686 markings, 8317844 edges, 13922 markings/sec, 170 secs
lola: 2512157 markings, 8566509 edges, 13694 markings/sec, 175 secs
lola: 2580778 markings, 8817738 edges, 13724 markings/sec, 180 secs
lola: 2649282 markings, 9068967 edges, 13701 markings/sec, 185 secs
lola: 2717943 markings, 9316458 edges, 13732 markings/sec, 190 secs
lola: 2785976 markings, 9566825 edges, 13607 markings/sec, 195 secs
lola: 2854712 markings, 9809697 edges, 13747 markings/sec, 200 secs
lola: 2925069 markings, 10066548 edges, 14071 markings/sec, 205 secs
lola: 2995891 markings, 10323128 edges, 14164 markings/sec, 210 secs
lola: 3065798 markings, 10576036 edges, 13981 markings/sec, 215 secs
lola: 3134146 markings, 10823544 edges, 13670 markings/sec, 220 secs
lola: 3203992 markings, 11071980 edges, 13969 markings/sec, 225 secs
lola: 3275524 markings, 11327694 edges, 14306 markings/sec, 230 secs
lola: 3345769 markings, 11580441 edges, 14049 markings/sec, 235 secs
lola: 3415749 markings, 11834212 edges, 13996 markings/sec, 240 secs
lola: 3486234 markings, 12087611 edges, 14097 markings/sec, 245 secs
lola: 3556992 markings, 12335126 edges, 14152 markings/sec, 250 secs
lola: 3627530 markings, 12587001 edges, 14108 markings/sec, 255 secs
lola: 3697900 markings, 12839437 edges, 14074 markings/sec, 260 secs
lola: 3767928 markings, 13088352 edges, 14006 markings/sec, 265 secs
lola: 3838050 markings, 13333990 edges, 14024 markings/sec, 270 secs
lola: 3908102 markings, 13583299 edges, 14010 markings/sec, 275 secs
lola: 3978317 markings, 13831733 edges, 14043 markings/sec, 280 secs
lola: 4048711 markings, 14077120 edges, 14079 markings/sec, 285 secs
lola: 4119491 markings, 14325164 edges, 14156 markings/sec, 290 secs
lola: 4189584 markings, 14572663 edges, 14019 markings/sec, 295 secs
lola: 4259633 markings, 14814607 edges, 14010 markings/sec, 300 secs
lola: 4330400 markings, 15059422 edges, 14153 markings/sec, 305 secs
lola: 4399963 markings, 15298256 edges, 13913 markings/sec, 310 secs
lola: 4470578 markings, 15540025 edges, 14123 markings/sec, 315 secs
lola: 4540556 markings, 15777517 edges, 13996 markings/sec, 320 secs
lola: 4610695 markings, 16014890 edges, 14028 markings/sec, 325 secs
lola: 4680929 markings, 16246328 edges, 14047 markings/sec, 330 secs
lola: 4750709 markings, 16474417 edges, 13956 markings/sec, 335 secs
lola: 4820237 markings, 16695806 edges, 13906 markings/sec, 340 secs
lola: 4888099 markings, 16901697 edges, 13572 markings/sec, 345 secs
lola: 4949768 markings, 17069033 edges, 12334 markings/sec, 350 secs
lola: 5026530 markings, 17314697 edges, 15352 markings/sec, 355 secs
lola: 5100115 markings, 17588066 edges, 14717 markings/sec, 360 secs
lola: 5169741 markings, 17851676 edges, 13925 markings/sec, 365 secs
lola: 5239853 markings, 18117460 edges, 14022 markings/sec, 370 secs
lola: 5310680 markings, 18384089 edges, 14165 markings/sec, 375 secs
lola: 5384244 markings, 18663666 edges, 14713 markings/sec, 380 secs
lola: 5459154 markings, 18949058 edges, 14982 markings/sec, 385 secs
lola: 5533928 markings, 19229503 edges, 14955 markings/sec, 390 secs
lola: 5601019 markings, 19484347 edges, 13418 markings/sec, 395 secs
lola: 5667038 markings, 19735435 edges, 13204 markings/sec, 400 secs
lola: 5738980 markings, 20007661 edges, 14388 markings/sec, 405 secs
lola: 5806952 markings, 20262595 edges, 13594 markings/sec, 410 secs
lola: 5875965 markings, 20520145 edges, 13803 markings/sec, 415 secs
lola: 5938895 markings, 20752634 edges, 12586 markings/sec, 420 secs
lola: 6001968 markings, 20953753 edges, 12615 markings/sec, 425 secs
lola: 6073255 markings, 21146463 edges, 14257 markings/sec, 430 secs
lola: 6144067 markings, 21335715 edges, 14162 markings/sec, 435 secs
lola: 6216089 markings, 21532564 edges, 14404 markings/sec, 440 secs
lola: 6286784 markings, 21726176 edges, 14139 markings/sec, 445 secs
lola: 6356624 markings, 21917510 edges, 13968 markings/sec, 450 secs
lola: 6422962 markings, 22098757 edges, 13268 markings/sec, 455 secs
lola: 6489296 markings, 22279881 edges, 13267 markings/sec, 460 secs
lola: 6555980 markings, 22458731 edges, 13337 markings/sec, 465 secs
lola: 6625968 markings, 22651020 edges, 13998 markings/sec, 470 secs
lola: 6691753 markings, 22828523 edges, 13157 markings/sec, 475 secs
lola: 6758520 markings, 23008289 edges, 13353 markings/sec, 480 secs
lola: 6824213 markings, 23188920 edges, 13139 markings/sec, 485 secs
lola: 6889413 markings, 23367471 edges, 13040 markings/sec, 490 secs
lola: 6955147 markings, 23545018 edges, 13147 markings/sec, 495 secs
lola: 7021447 markings, 23721884 edges, 13260 markings/sec, 500 secs
lola: 7088947 markings, 23908400 edges, 13500 markings/sec, 505 secs
lola: 7155352 markings, 24085408 edges, 13281 markings/sec, 510 secs
lola: 7219806 markings, 24323821 edges, 12891 markings/sec, 515 secs
lola: 7284333 markings, 24562816 edges, 12905 markings/sec, 520 secs
lola: 7348711 markings, 24801379 edges, 12876 markings/sec, 525 secs
lola: 7413177 markings, 25040359 edges, 12893 markings/sec, 530 secs
lola: 7477397 markings, 25278680 edges, 12844 markings/sec, 535 secs
lola: 7541604 markings, 25516932 edges, 12841 markings/sec, 540 secs
lola: 7608566 markings, 25765030 edges, 13392 markings/sec, 545 secs
lola: 7672960 markings, 25999089 edges, 12879 markings/sec, 550 secs
lola: 7737020 markings, 26237370 edges, 12812 markings/sec, 555 secs
lola: 7800887 markings, 26475262 edges, 12773 markings/sec, 560 secs
lola: 7864771 markings, 26713135 edges, 12777 markings/sec, 565 secs
lola: 7930702 markings, 26954626 edges, 13186 markings/sec, 570 secs
lola: 7994462 markings, 27192159 edges, 12752 markings/sec, 575 secs
lola: 8059990 markings, 27431468 edges, 13106 markings/sec, 580 secs
lola: 8123745 markings, 27669723 edges, 12751 markings/sec, 585 secs
lola: 8187723 markings, 27904826 edges, 12796 markings/sec, 590 secs
lola: 8252158 markings, 28140490 edges, 12887 markings/sec, 595 secs
lola: 8320625 markings, 28389598 edges, 13693 markings/sec, 600 secs
lola: 8384852 markings, 28627716 edges, 12845 markings/sec, 605 secs
lola: 8449461 markings, 28867113 edges, 12922 markings/sec, 610 secs
lola: 8516022 markings, 29114477 edges, 13312 markings/sec, 615 secs
lola: 8583559 markings, 29365541 edges, 13507 markings/sec, 620 secs
lola: 8649018 markings, 29604096 edges, 13092 markings/sec, 625 secs
lola: 8713531 markings, 29843901 edges, 12903 markings/sec, 630 secs
lola: 8776151 markings, 30076341 edges, 12524 markings/sec, 635 secs
lola: 8840673 markings, 30310339 edges, 12904 markings/sec, 640 secs
lola: 8905729 markings, 30553133 edges, 13011 markings/sec, 645 secs
lola: 8971693 markings, 30799189 edges, 13193 markings/sec, 650 secs
lola: 9036937 markings, 31038520 edges, 13049 markings/sec, 655 secs
lola: 9099562 markings, 31267651 edges, 12525 markings/sec, 660 secs
lola: 9163732 markings, 31506195 edges, 12834 markings/sec, 665 secs
lola: 9230686 markings, 31752985 edges, 13391 markings/sec, 670 secs
lola: 9299772 markings, 32006589 edges, 13817 markings/sec, 675 secs
lola: 9367734 markings, 32261712 edges, 13592 markings/sec, 680 secs
lola: 9431884 markings, 32494181 edges, 12830 markings/sec, 685 secs
lola: 9496566 markings, 32729406 edges, 12936 markings/sec, 690 secs
lola: 9560756 markings, 32967489 edges, 12838 markings/sec, 695 secs
lola: 9624788 markings, 33205094 edges, 12806 markings/sec, 700 secs
lola: 9688892 markings, 33438345 edges, 12821 markings/sec, 705 secs
lola: 9755122 markings, 33683387 edges, 13246 markings/sec, 710 secs
lola: 9818993 markings, 33921083 edges, 12774 markings/sec, 715 secs
lola: 9882779 markings, 34158492 edges, 12757 markings/sec, 720 secs
lola: 9946589 markings, 34391828 edges, 12762 markings/sec, 725 secs
lola: 10009865 markings, 34625344 edges, 12655 markings/sec, 730 secs
lola: 10081020 markings, 34888467 edges, 14231 markings/sec, 735 secs
lola: 10145134 markings, 35124918 edges, 12823 markings/sec, 740 secs
lola: 10208339 markings, 35357693 edges, 12641 markings/sec, 745 secs
lola: 10280243 markings, 35624602 edges, 14381 markings/sec, 750 secs
lola: 10352395 markings, 35886698 edges, 14430 markings/sec, 755 secs
lola: 10424379 markings, 36155594 edges, 14397 markings/sec, 760 secs
lola: 10497033 markings, 36418630 edges, 14531 markings/sec, 765 secs
lola: 10569523 markings, 36682163 edges, 14498 markings/sec, 770 secs
lola: 10640542 markings, 36947444 edges, 14204 markings/sec, 775 secs
lola: 10705266 markings, 37188195 edges, 12945 markings/sec, 780 secs
lola: 10769606 markings, 37423129 edges, 12868 markings/sec, 785 secs
lola: 10833352 markings, 37660050 edges, 12749 markings/sec, 790 secs
lola: 10905197 markings, 37922971 edges, 14369 markings/sec, 795 secs
lola: 10972356 markings, 38173878 edges, 13432 markings/sec, 800 secs
lola: 11036355 markings, 38408475 edges, 12800 markings/sec, 805 secs
lola: 11100394 markings, 38641899 edges, 12808 markings/sec, 810 secs
lola: 11167341 markings, 38892535 edges, 13389 markings/sec, 815 secs
lola: 11230997 markings, 39126411 edges, 12731 markings/sec, 820 secs
lola: 11294979 markings, 39360874 edges, 12796 markings/sec, 825 secs
lola: 11358621 markings, 39595479 edges, 12728 markings/sec, 830 secs
lola: 11425145 markings, 39840189 edges, 13305 markings/sec, 835 secs
lola: 11490717 markings, 40078498 edges, 13114 markings/sec, 840 secs
lola: 11555738 markings, 40320000 edges, 13004 markings/sec, 845 secs
lola: 11622795 markings, 40565408 edges, 13411 markings/sec, 850 secs
lola: 11686679 markings, 40797002 edges, 12777 markings/sec, 855 secs
lola: 11751143 markings, 41036280 edges, 12893 markings/sec, 860 secs
lola: 11815085 markings, 41274637 edges, 12788 markings/sec, 865 secs
lola: 11878978 markings, 41508511 edges, 12779 markings/sec, 870 secs
lola: 11943706 markings, 41744673 edges, 12946 markings/sec, 875 secs
lola: 12008134 markings, 41984522 edges, 12886 markings/sec, 880 secs
lola: 12074141 markings, 42228082 edges, 13201 markings/sec, 885 secs
lola: 12137564 markings, 42458799 edges, 12685 markings/sec, 890 secs
lola: 12201349 markings, 42697597 edges, 12757 markings/sec, 895 secs
lola: 12266112 markings, 42936379 edges, 12953 markings/sec, 900 secs
lola: 12334083 markings, 43186551 edges, 13594 markings/sec, 905 secs
lola: 12402056 markings, 43433239 edges, 13595 markings/sec, 910 secs
lola: 12466733 markings, 43668647 edges, 12935 markings/sec, 915 secs
lola: 12531136 markings, 43908115 edges, 12881 markings/sec, 920 secs
lola: 12595422 markings, 44143391 edges, 12857 markings/sec, 925 secs
lola: 12662921 markings, 44388932 edges, 13500 markings/sec, 930 secs
lola: 12733265 markings, 44651344 edges, 14069 markings/sec, 935 secs
lola: 12803112 markings, 44908737 edges, 13969 markings/sec, 940 secs
lola: 12869672 markings, 45150952 edges, 13312 markings/sec, 945 secs
lola: 12933561 markings, 45389817 edges, 12778 markings/sec, 950 secs
lola: 12997234 markings, 45623855 edges, 12735 markings/sec, 955 secs
lola: 13063563 markings, 45866430 edges, 13266 markings/sec, 960 secs
lola: 13134917 markings, 46131058 edges, 14271 markings/sec, 965 secs
lola: 13206666 markings, 46395552 edges, 14350 markings/sec, 970 secs
lola: 13277398 markings, 46652763 edges, 14146 markings/sec, 975 secs
lola: 13348799 markings, 46918521 edges, 14280 markings/sec, 980 secs
lola: 13420789 markings, 47177316 edges, 14398 markings/sec, 985 secs
lola: 13493170 markings, 47444242 edges, 14476 markings/sec, 990 secs
lola: 13564547 markings, 47704039 edges, 14275 markings/sec, 995 secs
lola: 13636568 markings, 47974024 edges, 14404 markings/sec, 1000 secs
lola: 13707642 markings, 48230710 edges, 14215 markings/sec, 1005 secs
lola: 13779424 markings, 48499244 edges, 14356 markings/sec, 1010 secs
lola: 13850769 markings, 48757623 edges, 14269 markings/sec, 1015 secs
lola: 13922855 markings, 49028020 edges, 14417 markings/sec, 1020 secs
lola: 13994403 markings, 49287378 edges, 14310 markings/sec, 1025 secs
lola: 14065602 markings, 49551828 edges, 14240 markings/sec, 1030 secs
lola: 14135873 markings, 49810758 edges, 14054 markings/sec, 1035 secs
lola: 14206373 markings, 50067486 edges, 14100 markings/sec, 1040 secs
lola: 14277177 markings, 50328891 edges, 14161 markings/sec, 1045 secs
lola: 14349307 markings, 50590979 edges, 14426 markings/sec, 1050 secs
lola: 14421352 markings, 50856501 edges, 14409 markings/sec, 1055 secs
lola: 14493807 markings, 51121426 edges, 14491 markings/sec, 1060 secs
lola: 14565801 markings, 51387611 edges, 14399 markings/sec, 1065 secs
lola: 14638057 markings, 51652408 edges, 14451 markings/sec, 1070 secs
lola: 14709633 markings, 51917206 edges, 14315 markings/sec, 1075 secs
lola: 14781169 markings, 52180236 edges, 14307 markings/sec, 1080 secs
lola: 14850963 markings, 52432923 edges, 13959 markings/sec, 1085 secs
lola: 14922102 markings, 52700331 edges, 14228 markings/sec, 1090 secs
lola: 14993741 markings, 52961535 edges, 14328 markings/sec, 1095 secs
lola: 15065278 markings, 53222437 edges, 14307 markings/sec, 1100 secs
lola: 15136370 markings, 53484855 edges, 14218 markings/sec, 1105 secs
lola: 15208226 markings, 53748345 edges, 14371 markings/sec, 1110 secs
lola: 15280934 markings, 54010263 edges, 14542 markings/sec, 1115 secs
lola: 15353284 markings, 54281599 edges, 14470 markings/sec, 1120 secs
lola: 15425562 markings, 54542604 edges, 14456 markings/sec, 1125 secs
lola: 15497118 markings, 54810163 edges, 14311 markings/sec, 1130 secs
lola: 15569467 markings, 55073499 edges, 14470 markings/sec, 1135 secs
lola: 15640721 markings, 55335981 edges, 14251 markings/sec, 1140 secs
lola: 15713022 markings, 55603957 edges, 14460 markings/sec, 1145 secs
lola: 15784841 markings, 55865338 edges, 14364 markings/sec, 1150 secs
lola: 15856359 markings, 56126353 edges, 14304 markings/sec, 1155 secs
lola: 15927962 markings, 56393285 edges, 14321 markings/sec, 1160 secs
lola: 15999468 markings, 56657673 edges, 14301 markings/sec, 1165 secs
lola: 16069742 markings, 56915262 edges, 14055 markings/sec, 1170 secs
lola: 16138778 markings, 57161588 edges, 13807 markings/sec, 1175 secs
lola: 16209205 markings, 57422233 edges, 14085 markings/sec, 1180 secs
lola: 16279876 markings, 57680288 edges, 14134 markings/sec, 1185 secs
lola: 16352039 markings, 57948622 edges, 14433 markings/sec, 1190 secs
lola: 16423776 markings, 58208745 edges, 14347 markings/sec, 1195 secs
lola: 16495494 markings, 58475639 edges, 14344 markings/sec, 1200 secs
lola: 16565573 markings, 58733320 edges, 14016 markings/sec, 1205 secs
lola: 16636670 markings, 58992192 edges, 14219 markings/sec, 1210 secs
lola: 16705704 markings, 59248094 edges, 13807 markings/sec, 1215 secs
lola: 16772334 markings, 59494842 edges, 13326 markings/sec, 1220 secs
lola: 16835979 markings, 59726171 edges, 12729 markings/sec, 1225 secs
lola: 16899509 markings, 59957955 edges, 12706 markings/sec, 1230 secs
lola: 16964632 markings, 60196076 edges, 13025 markings/sec, 1235 secs
lola: 17035802 markings, 60453309 edges, 14234 markings/sec, 1240 secs
lola: 17101554 markings, 60699394 edges, 13150 markings/sec, 1245 secs
lola: 17165190 markings, 60933525 edges, 12727 markings/sec, 1250 secs
lola: 17229571 markings, 61169273 edges, 12876 markings/sec, 1255 secs
lola: 17294856 markings, 61410543 edges, 13057 markings/sec, 1260 secs
lola: 17363765 markings, 61664531 edges, 13782 markings/sec, 1265 secs
lola: 17432919 markings, 61916177 edges, 13831 markings/sec, 1270 secs
lola: 17501928 markings, 62168884 edges, 13802 markings/sec, 1275 secs
lola: 17566281 markings, 62409994 edges, 12871 markings/sec, 1280 secs
lola: 17629881 markings, 62641359 edges, 12720 markings/sec, 1285 secs
lola: 17694928 markings, 62878877 edges, 13009 markings/sec, 1290 secs
lola: 17758546 markings, 63112116 edges, 12724 markings/sec, 1295 secs
lola: 17822792 markings, 63344000 edges, 12849 markings/sec, 1300 secs
lola: 17886668 markings, 63583365 edges, 12775 markings/sec, 1305 secs
lola: 17950572 markings, 63812940 edges, 12781 markings/sec, 1310 secs
lola: 18014599 markings, 64053397 edges, 12805 markings/sec, 1315 secs
lola: 18080919 markings, 64293369 edges, 13264 markings/sec, 1320 secs
lola: 18152241 markings, 64559504 edges, 14264 markings/sec, 1325 secs
lola: 18223578 markings, 64822699 edges, 14267 markings/sec, 1330 secs
lola: 18293193 markings, 65076930 edges, 13923 markings/sec, 1335 secs
lola: 18364543 markings, 65338291 edges, 14270 markings/sec, 1340 secs
lola: 18435675 markings, 65599346 edges, 14226 markings/sec, 1345 secs
lola: 18505997 markings, 65857916 edges, 14064 markings/sec, 1350 secs
lola: 18577029 markings, 66112536 edges, 14206 markings/sec, 1355 secs
lola: 18649054 markings, 66383349 edges, 14405 markings/sec, 1360 secs
lola: 18720318 markings, 66642062 edges, 14253 markings/sec, 1365 secs
lola: 18791217 markings, 66903576 edges, 14180 markings/sec, 1370 secs
lola: 18862742 markings, 67169700 edges, 14305 markings/sec, 1375 secs
lola: 18934587 markings, 67432281 edges, 14369 markings/sec, 1380 secs
lola: 19006143 markings, 67693874 edges, 14311 markings/sec, 1385 secs
lola: 19077648 markings, 67955786 edges, 14301 markings/sec, 1390 secs
lola: 19147470 markings, 68214746 edges, 13964 markings/sec, 1395 secs
lola: 19218124 markings, 68476770 edges, 14131 markings/sec, 1400 secs
lola: 19289304 markings, 68737964 edges, 14236 markings/sec, 1405 secs
lola: 19360618 markings, 68996507 edges, 14263 markings/sec, 1410 secs
lola: 19431812 markings, 69257905 edges, 14239 markings/sec, 1415 secs
lola: 19503195 markings, 69517646 edges, 14277 markings/sec, 1420 secs
lola: 19574145 markings, 69782811 edges, 14190 markings/sec, 1425 secs
lola: 19644929 markings, 70043722 edges, 14157 markings/sec, 1430 secs
lola: 19715917 markings, 70303202 edges, 14198 markings/sec, 1435 secs
lola: 19787300 markings, 70564794 edges, 14277 markings/sec, 1440 secs
lola: 19858687 markings, 70826669 edges, 14277 markings/sec, 1445 secs
lola: 19928097 markings, 71083363 edges, 13882 markings/sec, 1450 secs
lola: 19997661 markings, 71341359 edges, 13913 markings/sec, 1455 secs
lola: 20065387 markings, 71591877 edges, 13545 markings/sec, 1460 secs
lola: 20128705 markings, 71826177 edges, 12664 markings/sec, 1465 secs
lola: 20193747 markings, 72056509 edges, 13008 markings/sec, 1470 secs
lola: 20257304 markings, 72295344 edges, 12711 markings/sec, 1475 secs
lola: 20322515 markings, 72531955 edges, 13042 markings/sec, 1480 secs
lola: 20386944 markings, 72772318 edges, 12886 markings/sec, 1485 secs
lola: 20450717 markings, 73006293 edges, 12755 markings/sec, 1490 secs
lola: 20514109 markings, 73236849 edges, 12678 markings/sec, 1495 secs
lola: 20580646 markings, 73486373 edges, 13307 markings/sec, 1500 secs
lola: 20652373 markings, 73751865 edges, 14345 markings/sec, 1505 secs
lola: 20723853 markings, 74015258 edges, 14296 markings/sec, 1510 secs
lola: 20792678 markings, 74268812 edges, 13765 markings/sec, 1515 secs
lola: 20862391 markings, 74524573 edges, 13943 markings/sec, 1520 secs
lola: 20932152 markings, 74777553 edges, 13952 markings/sec, 1525 secs
lola: 21003028 markings, 75036456 edges, 14175 markings/sec, 1530 secs
lola: 21074398 markings, 75297384 edges, 14274 markings/sec, 1535 secs
lola: 21142423 markings, 75554346 edges, 13605 markings/sec, 1540 secs
lola: 21209896 markings, 75801340 edges, 13495 markings/sec, 1545 secs
lola: 21278539 markings, 76052907 edges, 13729 markings/sec, 1550 secs
lola: 21348011 markings, 76308252 edges, 13894 markings/sec, 1555 secs
lola: 21417546 markings, 76564336 edges, 13907 markings/sec, 1560 secs
lola: 21486998 markings, 76820499 edges, 13890 markings/sec, 1565 secs
lola: 21557675 markings, 77081992 edges, 14135 markings/sec, 1570 secs
lola: 21629297 markings, 77347763 edges, 14324 markings/sec, 1575 secs
lola: 21700991 markings, 77604806 edges, 14339 markings/sec, 1580 secs
lola: 21772405 markings, 77874814 edges, 14283 markings/sec, 1585 secs
lola: 21842735 markings, 78132905 edges, 14066 markings/sec, 1590 secs
lola: 21913948 markings, 78394513 edges, 14243 markings/sec, 1595 secs
lola: 21985227 markings, 78656780 edges, 14256 markings/sec, 1600 secs
lola: 22055169 markings, 78914322 edges, 13988 markings/sec, 1605 secs
lola: 22125760 markings, 79175308 edges, 14118 markings/sec, 1610 secs
lola: 22195684 markings, 79433871 edges, 13985 markings/sec, 1615 secs
lola: 22261426 markings, 79678431 edges, 13148 markings/sec, 1620 secs
lola: 22326287 markings, 79919493 edges, 12972 markings/sec, 1625 secs
lola: 22389736 markings, 80154819 edges, 12690 markings/sec, 1630 secs
lola: 22454175 markings, 80385818 edges, 12888 markings/sec, 1635 secs
lola: 22522756 markings, 80637816 edges, 13716 markings/sec, 1640 secs
lola: 22591874 markings, 80898683 edges, 13824 markings/sec, 1645 secs
lola: 22660576 markings, 81151283 edges, 13740 markings/sec, 1650 secs
lola: 22729859 markings, 81406390 edges, 13857 markings/sec, 1655 secs
lola: 22798814 markings, 81660618 edges, 13791 markings/sec, 1660 secs
lola: 22867953 markings, 81915985 edges, 13828 markings/sec, 1665 secs
lola: 22936052 markings, 82167769 edges, 13620 markings/sec, 1670 secs
lola: 23003748 markings, 82418399 edges, 13539 markings/sec, 1675 secs
lola: 23072084 markings, 82671940 edges, 13667 markings/sec, 1680 secs
lola: 23141328 markings, 82914561 edges, 13849 markings/sec, 1685 secs
lola: 23210328 markings, 83168088 edges, 13800 markings/sec, 1690 secs
lola: 23279047 markings, 83406348 edges, 13744 markings/sec, 1695 secs
lola: 23344846 markings, 83633443 edges, 13160 markings/sec, 1700 secs
lola: 23408593 markings, 83865200 edges, 12749 markings/sec, 1705 secs
lola: 23473271 markings, 84091805 edges, 12936 markings/sec, 1710 secs
lola: 23541570 markings, 84330818 edges, 13660 markings/sec, 1715 secs
lola: 23607225 markings, 84560327 edges, 13131 markings/sec, 1720 secs
lola: 23671476 markings, 84785066 edges, 12850 markings/sec, 1725 secs
lola: 23735608 markings, 85010103 edges, 12826 markings/sec, 1730 secs
lola: 23800685 markings, 85239680 edges, 13015 markings/sec, 1735 secs
lola: 23870476 markings, 85487887 edges, 13958 markings/sec, 1740 secs
lola: 23940355 markings, 85746756 edges, 13976 markings/sec, 1745 secs
lola: 24006218 markings, 85990053 edges, 13173 markings/sec, 1750 secs
lola: 24074544 markings, 86243428 edges, 13665 markings/sec, 1755 secs
lola: 24141752 markings, 86492880 edges, 13442 markings/sec, 1760 secs
lola: 24207809 markings, 86737953 edges, 13211 markings/sec, 1765 secs
lola: 24274244 markings, 86984839 edges, 13287 markings/sec, 1770 secs
lola: 24339766 markings, 87227912 edges, 13104 markings/sec, 1775 secs
lola: 24406193 markings, 87470161 edges, 13285 markings/sec, 1780 secs
lola: 24472466 markings, 87717426 edges, 13255 markings/sec, 1785 secs
lola: 24536750 markings, 87949673 edges, 12857 markings/sec, 1790 secs
lola: 24601314 markings, 88188285 edges, 12913 markings/sec, 1795 secs
lola: 24665743 markings, 88426526 edges, 12886 markings/sec, 1800 secs
lola: 24730834 markings, 88662034 edges, 13018 markings/sec, 1805 secs
lola: 24795211 markings, 88901214 edges, 12875 markings/sec, 1810 secs
lola: 24858002 markings, 89134180 edges, 12558 markings/sec, 1815 secs
lola: 24922730 markings, 89369614 edges, 12946 markings/sec, 1820 secs
lola: 24986696 markings, 89607993 edges, 12793 markings/sec, 1825 secs
lola: 25051210 markings, 89837401 edges, 12903 markings/sec, 1830 secs
lola: 25115138 markings, 90073912 edges, 12786 markings/sec, 1835 secs
lola: 25179197 markings, 90311169 edges, 12812 markings/sec, 1840 secs
lola: 25244282 markings, 90546874 edges, 13017 markings/sec, 1845 secs
lola: 25308775 markings, 90786775 edges, 12899 markings/sec, 1850 secs
lola: 25375606 markings, 91030346 edges, 13366 markings/sec, 1855 secs
lola: 25439808 markings, 91268033 edges, 12840 markings/sec, 1860 secs
lola: 25507100 markings, 91515776 edges, 13458 markings/sec, 1865 secs
lola: 25578398 markings, 91772435 edges, 14260 markings/sec, 1870 secs
lola: 25651265 markings, 92038560 edges, 14573 markings/sec, 1875 secs
lola: 25723579 markings, 92303064 edges, 14463 markings/sec, 1880 secs
lola: 25795937 markings, 92568248 edges, 14472 markings/sec, 1885 secs
lola: 25868630 markings, 92830518 edges, 14539 markings/sec, 1890 secs
lola: 25940499 markings, 93095173 edges, 14374 markings/sec, 1895 secs
lola: 26011521 markings, 93353728 edges, 14204 markings/sec, 1900 secs
lola: 26084691 markings, 93614709 edges, 14634 markings/sec, 1905 secs
lola: 26156648 markings, 93878236 edges, 14391 markings/sec, 1910 secs
lola: 26227399 markings, 94137870 edges, 14150 markings/sec, 1915 secs
lola: 26299050 markings, 94397115 edges, 14330 markings/sec, 1920 secs
lola: 26370994 markings, 94658142 edges, 14389 markings/sec, 1925 secs
lola: 26442334 markings, 94914235 edges, 14268 markings/sec, 1930 secs
lola: 26514076 markings, 95174175 edges, 14348 markings/sec, 1935 secs
lola: 26584529 markings, 95428284 edges, 14091 markings/sec, 1940 secs
lola: 26655889 markings, 95686824 edges, 14272 markings/sec, 1945 secs
lola: 26726861 markings, 95944556 edges, 14194 markings/sec, 1950 secs
lola: 26794890 markings, 96185989 edges, 13606 markings/sec, 1955 secs
lola: 26862556 markings, 96429424 edges, 13533 markings/sec, 1960 secs
lola: 26926274 markings, 96658290 edges, 12744 markings/sec, 1965 secs
lola: 26989370 markings, 96885640 edges, 12619 markings/sec, 1970 secs
lola: 27052670 markings, 97114571 edges, 12660 markings/sec, 1975 secs
lola: 27116585 markings, 97338999 edges, 12783 markings/sec, 1980 secs
lola: 27179581 markings, 97562965 edges, 12599 markings/sec, 1985 secs
lola: 27243514 markings, 97793736 edges, 12787 markings/sec, 1990 secs
lola: 27308806 markings, 98026908 edges, 13058 markings/sec, 1995 secs
lola: 27372813 markings, 98255621 edges, 12801 markings/sec, 2000 secs
lola: 27437616 markings, 98481200 edges, 12961 markings/sec, 2005 secs
lola: 27505672 markings, 98721363 edges, 13611 markings/sec, 2010 secs
lola: 27572341 markings, 98957670 edges, 13334 markings/sec, 2015 secs
lola: 27636350 markings, 99182180 edges, 12802 markings/sec, 2020 secs
lola: 27700679 markings, 99408388 edges, 12866 markings/sec, 2025 secs
lola: 27765348 markings, 99634604 edges, 12934 markings/sec, 2030 secs
lola: 27830022 markings, 99857037 edges, 12935 markings/sec, 2035 secs
lola: 27894051 markings, 100079932 edges, 12806 markings/sec, 2040 secs
lola: 27958336 markings, 100303487 edges, 12857 markings/sec, 2045 secs
lola: 28022502 markings, 100521456 edges, 12833 markings/sec, 2050 secs
lola: 28086757 markings, 100742988 edges, 12851 markings/sec, 2055 secs
lola: 28150956 markings, 100958476 edges, 12840 markings/sec, 2060 secs
lola: 28217050 markings, 101182658 edges, 13219 markings/sec, 2065 secs
lola: 28281020 markings, 101393140 edges, 12794 markings/sec, 2070 secs
lola: 28344939 markings, 101601202 edges, 12784 markings/sec, 2075 secs
lola: 28410565 markings, 101811194 edges, 13125 markings/sec, 2080 secs
lola: 28475732 markings, 102009504 edges, 13033 markings/sec, 2085 secs
lola: 28536696 markings, 102176973 edges, 12193 markings/sec, 2090 secs
lola: 28583796 markings, 102311630 edges, 9420 markings/sec, 2095 secs
lola: 28667383 markings, 102588448 edges, 16717 markings/sec, 2100 secs
lola: 28761555 markings, 102926977 edges, 18834 markings/sec, 2105 secs
lola: 28827121 markings, 103176695 edges, 13113 markings/sec, 2110 secs
lola: 28891031 markings, 103424858 edges, 12782 markings/sec, 2115 secs
lola: 28958026 markings, 103680424 edges, 13399 markings/sec, 2120 secs
lola: 29026918 markings, 103948131 edges, 13778 markings/sec, 2125 secs
lola: 29093956 markings, 104203907 edges, 13408 markings/sec, 2130 secs
lola: 29174862 markings, 104518921 edges, 16181 markings/sec, 2135 secs
lola: 29227058 markings, 104716499 edges, 10439 markings/sec, 2140 secs
lola: 29309145 markings, 105029357 edges, 16417 markings/sec, 2145 secs
lola: 29361519 markings, 105231789 edges, 10475 markings/sec, 2150 secs
lola: 29438290 markings, 105526485 edges, 15354 markings/sec, 2155 secs
lola: 29501503 markings, 105771532 edges, 12643 markings/sec, 2160 secs
lola: 29562185 markings, 106003040 edges, 12136 markings/sec, 2165 secs
lola: 29640178 markings, 106300315 edges, 15599 markings/sec, 2170 secs
lola: 29703528 markings, 106545477 edges, 12670 markings/sec, 2175 secs
lola: 29769166 markings, 106796371 edges, 13128 markings/sec, 2180 secs
lola: 29844382 markings, 107082796 edges, 15043 markings/sec, 2185 secs
lola: 29917675 markings, 107361759 edges, 14659 markings/sec, 2190 secs
lola: 29985953 markings, 107624987 edges, 13656 markings/sec, 2195 secs
lola: 30051181 markings, 107872013 edges, 13046 markings/sec, 2200 secs
lola: 30119461 markings, 108130437 edges, 13656 markings/sec, 2205 secs
lola: 30188097 markings, 108386839 edges, 13727 markings/sec, 2210 secs
lola: 30250438 markings, 108620482 edges, 12468 markings/sec, 2215 secs
lola: 30315341 markings, 108857443 edges, 12981 markings/sec, 2220 secs
lola: 30378077 markings, 109047281 edges, 12547 markings/sec, 2225 secs
lola: 30449473 markings, 109243000 edges, 14279 markings/sec, 2230 secs
lola: 30519869 markings, 109434442 edges, 14079 markings/sec, 2235 secs
lola: 30586979 markings, 109612783 edges, 13422 markings/sec, 2240 secs
lola: 30653044 markings, 109795460 edges, 13213 markings/sec, 2245 secs
lola: 30719252 markings, 109971581 edges, 13242 markings/sec, 2250 secs
lola: 30787580 markings, 110159236 edges, 13666 markings/sec, 2255 secs
lola: 30853657 markings, 110338900 edges, 13215 markings/sec, 2260 secs
lola: 30919717 markings, 110515025 edges, 13212 markings/sec, 2265 secs
lola: 30986495 markings, 110698817 edges, 13356 markings/sec, 2270 secs
lola: 31059653 markings, 110897437 edges, 14632 markings/sec, 2275 secs
lola: 31131093 markings, 111090134 edges, 14288 markings/sec, 2280 secs
lola: 31204071 markings, 111287240 edges, 14596 markings/sec, 2285 secs
lola: 31276426 markings, 111482898 edges, 14471 markings/sec, 2290 secs
lola: 31348550 markings, 111678143 edges, 14425 markings/sec, 2295 secs
lola: 31417283 markings, 111863668 edges, 13747 markings/sec, 2300 secs
lola: 31483794 markings, 112043088 edges, 13302 markings/sec, 2305 secs
lola: 31549661 markings, 112221351 edges, 13173 markings/sec, 2310 secs
lola: 31616327 markings, 112401675 edges, 13333 markings/sec, 2315 secs
lola: 31689549 markings, 112600577 edges, 14644 markings/sec, 2320 secs
lola: 31762697 markings, 112799773 edges, 14630 markings/sec, 2325 secs
lola: 31835133 markings, 112992222 edges, 14487 markings/sec, 2330 secs
lola: 31905259 markings, 113223832 edges, 14025 markings/sec, 2335 secs
lola: 31975842 markings, 113482114 edges, 14117 markings/sec, 2340 secs
lola: 32043542 markings, 113734414 edges, 13540 markings/sec, 2345 secs
lola: 32107768 markings, 113972675 edges, 12845 markings/sec, 2350 secs
lola: 32171560 markings, 114204962 edges, 12758 markings/sec, 2355 secs
lola: 32235782 markings, 114445915 edges, 12844 markings/sec, 2360 secs
lola: 32299791 markings, 114683820 edges, 12802 markings/sec, 2365 secs
lola: 32364158 markings, 114923313 edges, 12873 markings/sec, 2370 secs
lola: 32432692 markings, 115175035 edges, 13707 markings/sec, 2375 secs
lola: 32502351 markings, 115430926 edges, 13932 markings/sec, 2380 secs
lola: 32572028 markings, 115687324 edges, 13935 markings/sec, 2385 secs
lola: 32640915 markings, 115944573 edges, 13777 markings/sec, 2390 secs
lola: 32710910 markings, 116205266 edges, 13999 markings/sec, 2395 secs
lola: 32779091 markings, 116456749 edges, 13636 markings/sec, 2400 secs
lola: 32847135 markings, 116707703 edges, 13609 markings/sec, 2405 secs
lola: 32914768 markings, 116957411 edges, 13527 markings/sec, 2410 secs
lola: 32982478 markings, 117207530 edges, 13542 markings/sec, 2415 secs
lola: 33051460 markings, 117462965 edges, 13796 markings/sec, 2420 secs
lola: 33120165 markings, 117717414 edges, 13741 markings/sec, 2425 secs
lola: 33187344 markings, 117966216 edges, 13436 markings/sec, 2430 secs
lola: 33251012 markings, 118201538 edges, 12734 markings/sec, 2435 secs
lola: 33314458 markings, 118435360 edges, 12689 markings/sec, 2440 secs
lola: 33378492 markings, 118665748 edges, 12807 markings/sec, 2445 secs
lola: 33442803 markings, 118904817 edges, 12862 markings/sec, 2450 secs
lola: 33507918 markings, 119146364 edges, 13023 markings/sec, 2455 secs
lola: 33571744 markings, 119378294 edges, 12765 markings/sec, 2460 secs
lola: 33638690 markings, 119630103 edges, 13389 markings/sec, 2465 secs
lola: 33706668 markings, 119879024 edges, 13596 markings/sec, 2470 secs
lola: 33776381 markings, 120139611 edges, 13943 markings/sec, 2475 secs
lola: 33846240 markings, 120399802 edges, 13972 markings/sec, 2480 secs
lola: 33916235 markings, 120657853 edges, 13999 markings/sec, 2485 secs
lola: 33985272 markings, 120911717 edges, 13807 markings/sec, 2490 secs
lola: 34053974 markings, 121164472 edges, 13740 markings/sec, 2495 secs
lola: 34117242 markings, 121397229 edges, 12654 markings/sec, 2500 secs
lola: 34181396 markings, 121637984 edges, 12831 markings/sec, 2505 secs
lola: 34245262 markings, 121872713 edges, 12773 markings/sec, 2510 secs
lola: 34312505 markings, 122120752 edges, 13449 markings/sec, 2515 secs
lola: 34381817 markings, 122377029 edges, 13862 markings/sec, 2520 secs
lola: 34449527 markings, 122627298 edges, 13542 markings/sec, 2525 secs
lola: 34518081 markings, 122881257 edges, 13711 markings/sec, 2530 secs
lola: 34585268 markings, 123130000 edges, 13437 markings/sec, 2535 secs
lola: 34652637 markings, 123379542 edges, 13474 markings/sec, 2540 secs
lola: 34719734 markings, 123625894 edges, 13419 markings/sec, 2545 secs
lola: 34787569 markings, 123875252 edges, 13567 markings/sec, 2550 secs
lola: 34854895 markings, 124122656 edges, 13465 markings/sec, 2555 secs
lola: 34923266 markings, 124372757 edges, 13674 markings/sec, 2560 secs
lola: 34991996 markings, 124629067 edges, 13746 markings/sec, 2565 secs
lola: 35057383 markings, 124871857 edges, 13077 markings/sec, 2570 secs
lola: 35127259 markings, 125128259 edges, 13975 markings/sec, 2575 secs
lola: 35191975 markings, 125364764 edges, 12943 markings/sec, 2580 secs
lola: 35257315 markings, 125610460 edges, 13068 markings/sec, 2585 secs
lola: 35328506 markings, 125872542 edges, 14238 markings/sec, 2590 secs
lola: 35393051 markings, 126109652 edges, 12909 markings/sec, 2595 secs
lola: 35457127 markings, 126348509 edges, 12815 markings/sec, 2600 secs
lola: time limit reached - aborting
lola: lola: caught signal User defined signal 1 - aborting LoLA

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

BK_STOP 1552527074651

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-COL-V80P50N20"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is BridgeAndVehicles-COL-V80P50N20, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r016-csrt-155225065600479"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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