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

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

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1552404702077

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P20N10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V80P20N10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-COL-V80P20N10 @ 3570 seconds
lola: LoLA will run for 3570 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-V80P20N10-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (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 + p180 + p181 + p182 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p98 + p100 + p101 + p97 + p96 + p95 + p94 + p93 + p91 + p92 + p99 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(0) : MAX(p89 + p90) : MAX(p7) : MAX(p183) : MAX(p184) : MAX(p186) : MAX(p186) : MAX(p186) : MAX(p186) : MAX(0) : MAX(p6) : MAX(p2 + p3) : MAX(p185) : MAX(p184) : MAX(p186) : MAX(p184)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-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-V80P20N10-UpperBounds-0 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-V80P20N10-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-V80P20N10-UpperBounds-9 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(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-V80P20N10-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-V80P20N10-UpperBounds-3 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 273 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-V80P20N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 7738 markings, 14146 edges, 1548 markings/sec, 30 secs
lola: 15392 markings, 28469 edges, 1531 markings/sec, 35 secs
lola: 22053 markings, 40855 edges, 1332 markings/sec, 40 secs
lola: 28744 markings, 53257 edges, 1338 markings/sec, 45 secs
lola: 35451 markings, 65699 edges, 1341 markings/sec, 50 secs
lola: 42291 markings, 78180 edges, 1368 markings/sec, 55 secs
lola: 48964 markings, 90580 edges, 1335 markings/sec, 60 secs
lola: 55770 markings, 102998 edges, 1361 markings/sec, 65 secs
lola: 62521 markings, 115197 edges, 1350 markings/sec, 70 secs
lola: 69013 markings, 127273 edges, 1298 markings/sec, 75 secs
lola: 75523 markings, 139371 edges, 1302 markings/sec, 80 secs
lola: 82176 markings, 151797 edges, 1331 markings/sec, 85 secs
lola: 89120 markings, 164649 edges, 1389 markings/sec, 90 secs
lola: 95660 markings, 176395 edges, 1308 markings/sec, 95 secs
lola: 102301 markings, 188736 edges, 1328 markings/sec, 100 secs
lola: 109203 markings, 201529 edges, 1380 markings/sec, 105 secs
lola: 115830 markings, 213488 edges, 1325 markings/sec, 110 secs
lola: 122461 markings, 225829 edges, 1326 markings/sec, 115 secs
lola: 129208 markings, 238334 edges, 1349 markings/sec, 120 secs
lola: 135663 markings, 249990 edges, 1291 markings/sec, 125 secs
lola: 142089 markings, 261942 edges, 1285 markings/sec, 130 secs
lola: 148788 markings, 274373 edges, 1340 markings/sec, 135 secs
lola: 155206 markings, 285993 edges, 1284 markings/sec, 140 secs
lola: 161773 markings, 298251 edges, 1313 markings/sec, 145 secs
lola: 168721 markings, 311082 edges, 1390 markings/sec, 150 secs
lola: 175011 markings, 322576 edges, 1258 markings/sec, 155 secs
lola: 181854 markings, 335080 edges, 1369 markings/sec, 160 secs
lola: 188509 markings, 347364 edges, 1331 markings/sec, 165 secs
lola: 195279 markings, 360034 edges, 1354 markings/sec, 170 secs
lola: 202072 markings, 372258 edges, 1359 markings/sec, 175 secs
lola: 208881 markings, 385020 edges, 1362 markings/sec, 180 secs
lola: 215688 markings, 397289 edges, 1361 markings/sec, 185 secs
lola: 222401 markings, 409870 edges, 1343 markings/sec, 190 secs
lola: 229090 markings, 421923 edges, 1338 markings/sec, 195 secs
lola: 235847 markings, 434603 edges, 1351 markings/sec, 200 secs
lola: 242537 markings, 446678 edges, 1338 markings/sec, 205 secs
lola: 249192 markings, 459162 edges, 1331 markings/sec, 210 secs
lola: 255790 markings, 471076 edges, 1320 markings/sec, 215 secs
lola: 262568 markings, 483519 edges, 1356 markings/sec, 220 secs
lola: 269011 markings, 495441 edges, 1289 markings/sec, 225 secs
lola: 275860 markings, 507800 edges, 1370 markings/sec, 230 secs
lola: 282312 markings, 519997 edges, 1290 markings/sec, 235 secs
lola: 288970 markings, 531990 edges, 1332 markings/sec, 240 secs
lola: 295693 markings, 544622 edges, 1345 markings/sec, 245 secs
lola: 302085 markings, 556196 edges, 1278 markings/sec, 250 secs
lola: 309030 markings, 568954 edges, 1389 markings/sec, 255 secs
lola: 315361 markings, 580785 edges, 1266 markings/sec, 260 secs
lola: 322289 markings, 593255 edges, 1386 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 80 unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 49348 KB
lola: time consumption: 284 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p186)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p186)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-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-V80P20N10-UpperBounds-5 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p186)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p186)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-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-V80P20N10-UpperBounds-6 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 328 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p186)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p186)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-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-V80P20N10-UpperBounds-7 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 365 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p186)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p186)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-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-V80P20N10-UpperBounds-8 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 410 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20
lola: 18816 markings, 28427 edges, 3763 markings/sec, 0 secs
lola: 43351 markings, 84554 edges, 4907 markings/sec, 5 secs
lola: 66786 markings, 137570 edges, 4687 markings/sec, 10 secs
lola: 89683 markings, 190346 edges, 4579 markings/sec, 15 secs
lola: 114439 markings, 248832 edges, 4951 markings/sec, 20 secs
lola: 142458 markings, 318451 edges, 5604 markings/sec, 25 secs
lola: 165157 markings, 369460 edges, 4540 markings/sec, 30 secs
lola: 189356 markings, 426079 edges, 4840 markings/sec, 35 secs
lola: 215857 markings, 491121 edges, 5300 markings/sec, 40 secs
lola: 233092 markings, 524379 edges, 3447 markings/sec, 45 secs
lola: 251305 markings, 561521 edges, 3643 markings/sec, 50 secs
lola: 276322 markings, 621252 edges, 5003 markings/sec, 55 secs
lola: 296849 markings, 663749 edges, 4105 markings/sec, 60 secs
lola: 316529 markings, 711683 edges, 3936 markings/sec, 65 secs
lola: 333157 markings, 740902 edges, 3326 markings/sec, 70 secs
lola: 356835 markings, 794749 edges, 4736 markings/sec, 75 secs
lola: 379512 markings, 847156 edges, 4535 markings/sec, 80 secs
lola: 401453 markings, 896179 edges, 4388 markings/sec, 85 secs
lola: 418952 markings, 927666 edges, 3500 markings/sec, 90 secs
lola: 441542 markings, 978868 edges, 4518 markings/sec, 95 secs
lola: 463685 markings, 1029096 edges, 4429 markings/sec, 100 secs
lola: 485854 markings, 1078983 edges, 4434 markings/sec, 105 secs
lola: 506345 markings, 1125629 edges, 4098 markings/sec, 110 secs
lola: 521443 markings, 1151685 edges, 3020 markings/sec, 115 secs
lola: 541010 markings, 1197618 edges, 3913 markings/sec, 120 secs
lola: 556707 markings, 1235839 edges, 3139 markings/sec, 125 secs
lola: 573034 markings, 1273048 edges, 3265 markings/sec, 130 secs
lola: 589250 markings, 1308977 edges, 3243 markings/sec, 135 secs
lola: 605751 markings, 1347049 edges, 3300 markings/sec, 140 secs
lola: 629220 markings, 1407738 edges, 4694 markings/sec, 145 secs
lola: 646348 markings, 1443894 edges, 3426 markings/sec, 150 secs
lola: 667218 markings, 1495668 edges, 4174 markings/sec, 155 secs
lola: 683064 markings, 1537168 edges, 3169 markings/sec, 160 secs
lola: 699238 markings, 1574271 edges, 3235 markings/sec, 165 secs
lola: 717251 markings, 1614951 edges, 3603 markings/sec, 170 secs
lola: 739247 markings, 1668020 edges, 4399 markings/sec, 175 secs
lola: 762751 markings, 1725579 edges, 4701 markings/sec, 180 secs
lola: 779824 markings, 1762471 edges, 3415 markings/sec, 185 secs
lola: 802990 markings, 1820016 edges, 4633 markings/sec, 190 secs
lola: 819752 markings, 1855509 edges, 3352 markings/sec, 195 secs
lola: 843134 markings, 1913280 edges, 4676 markings/sec, 200 secs
lola: 864705 markings, 1965884 edges, 4314 markings/sec, 205 secs
lola: 882537 markings, 2004347 edges, 3566 markings/sec, 210 secs
lola: 904736 markings, 2059583 edges, 4440 markings/sec, 215 secs
lola: 921397 markings, 2094859 edges, 3332 markings/sec, 220 secs
lola: 943354 markings, 2148456 edges, 4391 markings/sec, 225 secs
lola: 964955 markings, 2201618 edges, 4320 markings/sec, 230 secs
lola: 978875 markings, 2231725 edges, 2784 markings/sec, 235 secs
lola: 995288 markings, 2275223 edges, 3283 markings/sec, 240 secs
lola: 1009807 markings, 2309339 edges, 2904 markings/sec, 245 secs
lola: 1025385 markings, 2346151 edges, 3116 markings/sec, 250 secs
lola: 1041599 markings, 2387861 edges, 3243 markings/sec, 255 secs
lola: 1057142 markings, 2425389 edges, 3109 markings/sec, 260 secs
lola: 1072488 markings, 2461745 edges, 3069 markings/sec, 265 secs
lola: 1095874 markings, 2523872 edges, 4677 markings/sec, 270 secs
lola: 1112770 markings, 2564076 edges, 3379 markings/sec, 275 secs
lola: 1128972 markings, 2600815 edges, 3240 markings/sec, 280 secs
lola: 1149696 markings, 2651209 edges, 4145 markings/sec, 285 secs
lola: 1164022 markings, 2691470 edges, 2865 markings/sec, 290 secs
lola: 1180492 markings, 2736015 edges, 3294 markings/sec, 295 secs
lola: 1197260 markings, 2776023 edges, 3354 markings/sec, 300 secs
lola: 1214797 markings, 2817149 edges, 3507 markings/sec, 305 secs
lola: 1238247 markings, 2877538 edges, 4690 markings/sec, 310 secs
lola: 1255163 markings, 2916223 edges, 3383 markings/sec, 315 secs
lola: 1278629 markings, 2976415 edges, 4693 markings/sec, 320 secs
lola: 1296201 markings, 3017798 edges, 3514 markings/sec, 325 secs
lola: 1319761 markings, 3079525 edges, 4712 markings/sec, 330 secs
lola: 1336800 markings, 3119249 edges, 3408 markings/sec, 335 secs
lola: 1360216 markings, 3180039 edges, 4683 markings/sec, 340 secs
lola: 1377136 markings, 3217969 edges, 3384 markings/sec, 345 secs
lola: 1400202 markings, 3277915 edges, 4613 markings/sec, 350 secs
lola: 1417201 markings, 3317713 edges, 3400 markings/sec, 355 secs
lola: 1440234 markings, 3376456 edges, 4607 markings/sec, 360 secs
lola: 1457060 markings, 3416041 edges, 3365 markings/sec, 365 secs
lola: 1479687 markings, 3473856 edges, 4525 markings/sec, 370 secs
lola: 1496760 markings, 3513392 edges, 3415 markings/sec, 375 secs
lola: 1518353 markings, 3568097 edges, 4319 markings/sec, 380 secs
lola: 1531985 markings, 3597066 edges, 2726 markings/sec, 385 secs
lola: 1547843 markings, 3642400 edges, 3172 markings/sec, 390 secs
lola: 1564124 markings, 3681553 edges, 3256 markings/sec, 395 secs
lola: 1579164 markings, 3719661 edges, 3008 markings/sec, 400 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 80 unknown 80 80 80 80 1 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 unknown unknown 80 unknown 80 80 80 80 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 118244 KB
lola: time consumption: 694 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 410 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-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-V80P20N10-UpperBounds-10 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 479 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p185)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p185)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-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: 81 markings, 80 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-12 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 574 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-V80P20N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 7567 markings, 13804 edges, 1513 markings/sec, 30 secs
lola: 14849 markings, 27575 edges, 1456 markings/sec, 35 secs
lola: 21465 markings, 39679 edges, 1323 markings/sec, 40 secs
lola: 28003 markings, 51775 edges, 1308 markings/sec, 45 secs
lola: 34565 markings, 63930 edges, 1312 markings/sec, 50 secs
lola: 41292 markings, 76426 edges, 1345 markings/sec, 55 secs
lola: 48040 markings, 88869 edges, 1350 markings/sec, 60 secs
lola: 53639 markings, 99237 edges, 1120 markings/sec, 65 secs
lola: 59331 markings, 109696 edges, 1138 markings/sec, 70 secs
lola: 65310 markings, 120740 edges, 1196 markings/sec, 75 secs
lola: 71022 markings, 131261 edges, 1142 markings/sec, 80 secs
lola: 76737 markings, 141799 edges, 1143 markings/sec, 85 secs
lola: 82815 markings, 153072 edges, 1216 markings/sec, 90 secs
lola: 89407 markings, 165159 edges, 1318 markings/sec, 95 secs
lola: 95545 markings, 176166 edges, 1228 markings/sec, 100 secs
lola: 101887 markings, 187908 edges, 1268 markings/sec, 105 secs
lola: 108104 markings, 199619 edges, 1243 markings/sec, 110 secs
lola: 114660 markings, 211333 edges, 1311 markings/sec, 115 secs
lola: 121156 markings, 223254 edges, 1299 markings/sec, 120 secs
lola: 127064 markings, 234332 edges, 1182 markings/sec, 125 secs
lola: 133486 markings, 246297 edges, 1284 markings/sec, 130 secs
lola: 140045 markings, 258376 edges, 1312 markings/sec, 135 secs
lola: 146125 markings, 269331 edges, 1216 markings/sec, 140 secs
lola: 152433 markings, 281090 edges, 1262 markings/sec, 145 secs
lola: 158998 markings, 293263 edges, 1313 markings/sec, 150 secs
lola: 165129 markings, 304300 edges, 1226 markings/sec, 155 secs
lola: 171466 markings, 316139 edges, 1267 markings/sec, 160 secs
lola: 178107 markings, 328235 edges, 1328 markings/sec, 165 secs
lola: 184070 markings, 339228 edges, 1193 markings/sec, 170 secs
lola: 190792 markings, 351731 edges, 1344 markings/sec, 175 secs
lola: 197129 markings, 363134 edges, 1267 markings/sec, 180 secs
lola: 203723 markings, 375560 edges, 1319 markings/sec, 185 secs
lola: 210493 markings, 387654 edges, 1354 markings/sec, 190 secs
lola: 216994 markings, 399901 edges, 1300 markings/sec, 195 secs
lola: 223822 markings, 412134 edges, 1366 markings/sec, 200 secs
lola: 230264 markings, 424271 edges, 1288 markings/sec, 205 secs
lola: 237006 markings, 436354 edges, 1348 markings/sec, 210 secs
lola: 243350 markings, 448304 edges, 1269 markings/sec, 215 secs
lola: 250171 markings, 460566 edges, 1364 markings/sec, 220 secs
lola: 256604 markings, 472704 edges, 1287 markings/sec, 225 secs
lola: 263360 markings, 484854 edges, 1351 markings/sec, 230 secs
lola: 269883 markings, 497185 edges, 1305 markings/sec, 235 secs
lola: 276515 markings, 509105 edges, 1326 markings/sec, 240 secs
lola: 283372 markings, 521940 edges, 1371 markings/sec, 245 secs
lola: 289978 markings, 533976 edges, 1321 markings/sec, 250 secs
lola: 297286 markings, 547188 edges, 1462 markings/sec, 255 secs
lola: 303888 markings, 559412 edges, 1320 markings/sec, 260 secs
lola: 310648 markings, 571903 edges, 1352 markings/sec, 265 secs
lola: 317471 markings, 584364 edges, 1365 markings/sec, 270 secs
lola: 324444 markings, 597566 edges, 1395 markings/sec, 275 secs
lola: 330899 markings, 609133 edges, 1291 markings/sec, 280 secs
lola: 337947 markings, 621898 edges, 1410 markings/sec, 285 secs
lola: 344633 markings, 634436 edges, 1337 markings/sec, 290 secs
lola: 351242 markings, 646510 edges, 1322 markings/sec, 295 secs
lola: 358244 markings, 659414 edges, 1400 markings/sec, 300 secs
lola: 363993 markings, 669986 edges, 1150 markings/sec, 305 secs
lola: 370254 markings, 681219 edges, 1252 markings/sec, 310 secs
lola: 376190 markings, 692277 edges, 1187 markings/sec, 315 secs
lola: 382720 markings, 704232 edges, 1306 markings/sec, 320 secs
lola: 389760 markings, 717389 edges, 1408 markings/sec, 325 secs
lola: 396089 markings, 729007 edges, 1266 markings/sec, 330 secs
lola: 402390 markings, 740355 edges, 1260 markings/sec, 335 secs
lola: 408315 markings, 751418 edges, 1185 markings/sec, 340 secs
lola: 414128 markings, 761979 edges, 1163 markings/sec, 345 secs
lola: 421017 markings, 774702 edges, 1378 markings/sec, 350 secs
lola: 427805 markings, 786897 edges, 1358 markings/sec, 355 secs
lola: 434823 markings, 800222 edges, 1404 markings/sec, 360 secs
lola: 441475 markings, 812330 edges, 1330 markings/sec, 365 secs
lola: 448369 markings, 824892 edges, 1379 markings/sec, 370 secs
lola: 455013 markings, 837007 edges, 1329 markings/sec, 375 secs
lola: 461863 markings, 849531 edges, 1370 markings/sec, 380 secs
lola: 468505 markings, 861665 edges, 1328 markings/sec, 385 secs
lola: 475073 markings, 873629 edges, 1314 markings/sec, 390 secs
lola: 481877 markings, 886445 edges, 1361 markings/sec, 395 secs
lola: 488456 markings, 898416 edges, 1316 markings/sec, 400 secs
lola: 495174 markings, 910717 edges, 1344 markings/sec, 405 secs
lola: 502129 markings, 923863 edges, 1391 markings/sec, 410 secs
lola: 508713 markings, 935582 edges, 1317 markings/sec, 415 secs
lola: 515359 markings, 948011 edges, 1329 markings/sec, 420 secs
lola: 522461 markings, 960791 edges, 1420 markings/sec, 425 secs
lola: 528902 markings, 972717 edges, 1288 markings/sec, 430 secs
lola: 536145 markings, 985908 edges, 1449 markings/sec, 435 secs
lola: 543047 markings, 998585 edges, 1380 markings/sec, 440 secs
lola: 549879 markings, 1011114 edges, 1366 markings/sec, 445 secs
lola: 557156 markings, 1024548 edges, 1455 markings/sec, 450 secs
lola: 563478 markings, 1036045 edges, 1264 markings/sec, 455 secs
lola: 569850 markings, 1047877 edges, 1274 markings/sec, 460 secs
lola: 576033 markings, 1059138 edges, 1237 markings/sec, 465 secs
lola: 581774 markings, 1069755 edges, 1148 markings/sec, 470 secs
lola: 588607 markings, 1082185 edges, 1367 markings/sec, 475 secs
lola: 595209 markings, 1094297 edges, 1320 markings/sec, 480 secs
lola: 601839 markings, 1106511 edges, 1326 markings/sec, 485 secs
lola: 609048 markings, 1119616 edges, 1442 markings/sec, 490 secs
lola: 615250 markings, 1131158 edges, 1240 markings/sec, 495 secs
lola: 622241 markings, 1143913 edges, 1398 markings/sec, 500 secs
lola: 628819 markings, 1156050 edges, 1316 markings/sec, 505 secs
lola: 635729 markings, 1168864 edges, 1382 markings/sec, 510 secs
lola: 642801 markings, 1181698 edges, 1414 markings/sec, 515 secs
lola: 649608 markings, 1194018 edges, 1361 markings/sec, 520 secs
lola: 657007 markings, 1207437 edges, 1480 markings/sec, 525 secs
lola: 664195 markings, 1220775 edges, 1438 markings/sec, 530 secs
lola: 670929 markings, 1233245 edges, 1347 markings/sec, 535 secs
lola: 678418 markings, 1246889 edges, 1498 markings/sec, 540 secs
lola: 685389 markings, 1259789 edges, 1394 markings/sec, 545 secs
lola: 692662 markings, 1273060 edges, 1455 markings/sec, 550 secs
lola: 700313 markings, 1287345 edges, 1530 markings/sec, 555 secs
lola: 707263 markings, 1299844 edges, 1390 markings/sec, 560 secs
lola: 714542 markings, 1313275 edges, 1456 markings/sec, 565 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 80 unknown 80 80 80 80 1 80 unknown 80 unknown unknown unknown
lola: memory consumption: 70980 KB
lola: time consumption: 1272 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 574 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p186)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p186)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-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-V80P20N10-UpperBounds-14 80 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 766 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-V80P20N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 7517 markings, 13704 edges, 1503 markings/sec, 30 secs
lola: 14625 markings, 27130 edges, 1422 markings/sec, 35 secs
lola: 20727 markings, 38203 edges, 1220 markings/sec, 40 secs
lola: 26570 markings, 48938 edges, 1169 markings/sec, 45 secs
lola: 32409 markings, 59650 edges, 1168 markings/sec, 50 secs
lola: 38220 markings, 70318 edges, 1162 markings/sec, 55 secs
lola: 44177 markings, 81286 edges, 1191 markings/sec, 60 secs
lola: 49848 markings, 91992 edges, 1134 markings/sec, 65 secs
lola: 55459 markings, 102610 edges, 1122 markings/sec, 70 secs
lola: 61540 markings, 113773 edges, 1216 markings/sec, 75 secs
lola: 68142 markings, 125538 edges, 1320 markings/sec, 80 secs
lola: 74472 markings, 137301 edges, 1266 markings/sec, 85 secs
lola: 80750 markings, 148945 edges, 1256 markings/sec, 90 secs
lola: 87064 markings, 160830 edges, 1263 markings/sec, 95 secs
lola: 93728 markings, 173063 edges, 1333 markings/sec, 100 secs
lola: 100494 markings, 185159 edges, 1353 markings/sec, 105 secs
lola: 105999 markings, 195438 edges, 1101 markings/sec, 110 secs
lola: 111893 markings, 206296 edges, 1179 markings/sec, 115 secs
lola: 117414 markings, 216625 edges, 1104 markings/sec, 120 secs
lola: 123939 markings, 228782 edges, 1305 markings/sec, 125 secs
lola: 130954 markings, 241269 edges, 1403 markings/sec, 130 secs
lola: 137181 markings, 252994 edges, 1245 markings/sec, 135 secs
lola: 144056 markings, 265701 edges, 1375 markings/sec, 140 secs
lola: 150901 markings, 278058 edges, 1369 markings/sec, 145 secs
lola: 157299 markings, 290149 edges, 1280 markings/sec, 150 secs
lola: 164200 markings, 302476 edges, 1380 markings/sec, 155 secs
lola: 170723 markings, 314653 edges, 1305 markings/sec, 160 secs
lola: 177581 markings, 327436 edges, 1372 markings/sec, 165 secs
lola: 184024 markings, 339136 edges, 1289 markings/sec, 170 secs
lola: 191207 markings, 352426 edges, 1437 markings/sec, 175 secs
lola: 197701 markings, 364248 edges, 1299 markings/sec, 180 secs
lola: 204762 markings, 377335 edges, 1412 markings/sec, 185 secs
lola: 211332 markings, 389299 edges, 1314 markings/sec, 190 secs
lola: 218215 markings, 402227 edges, 1377 markings/sec, 195 secs
lola: 224845 markings, 414145 edges, 1326 markings/sec, 200 secs
lola: 231860 markings, 427158 edges, 1403 markings/sec, 205 secs
lola: 238366 markings, 439038 edges, 1301 markings/sec, 210 secs
lola: 245483 markings, 452240 edges, 1423 markings/sec, 215 secs
lola: 251923 markings, 464034 edges, 1288 markings/sec, 220 secs
lola: 259164 markings, 477338 edges, 1448 markings/sec, 225 secs
lola: 265596 markings, 489293 edges, 1286 markings/sec, 230 secs
lola: 272726 markings, 502103 edges, 1426 markings/sec, 235 secs
lola: 279288 markings, 514160 edges, 1312 markings/sec, 240 secs
lola: 286047 markings, 526677 edges, 1352 markings/sec, 245 secs
lola: 292842 markings, 539073 edges, 1359 markings/sec, 250 secs
lola: 299601 markings, 551778 edges, 1352 markings/sec, 255 secs
lola: 306330 markings, 564034 edges, 1346 markings/sec, 260 secs
lola: 313233 markings, 576560 edges, 1381 markings/sec, 265 secs
lola: 320172 markings, 589382 edges, 1388 markings/sec, 270 secs
lola: 327187 markings, 602242 edges, 1403 markings/sec, 275 secs
lola: 333934 markings, 614601 edges, 1349 markings/sec, 280 secs
lola: 341097 markings, 628163 edges, 1433 markings/sec, 285 secs
lola: 347757 markings, 640161 edges, 1332 markings/sec, 290 secs
lola: 354816 markings, 652965 edges, 1412 markings/sec, 295 secs
lola: 361624 markings, 665676 edges, 1362 markings/sec, 300 secs
lola: 368157 markings, 677702 edges, 1307 markings/sec, 305 secs
lola: 375399 markings, 690730 edges, 1448 markings/sec, 310 secs
lola: 381822 markings, 702471 edges, 1285 markings/sec, 315 secs
lola: 388566 markings, 715220 edges, 1349 markings/sec, 320 secs
lola: 395123 markings, 727075 edges, 1311 markings/sec, 325 secs
lola: 402041 markings, 739659 edges, 1384 markings/sec, 330 secs
lola: 408722 markings, 752207 edges, 1336 markings/sec, 335 secs
lola: 415278 markings, 764279 edges, 1311 markings/sec, 340 secs
lola: 422310 markings, 776945 edges, 1406 markings/sec, 345 secs
lola: 428776 markings, 788831 edges, 1293 markings/sec, 350 secs
lola: 435840 markings, 801886 edges, 1413 markings/sec, 355 secs
lola: 442323 markings, 813673 edges, 1297 markings/sec, 360 secs
lola: 449104 markings, 826362 edges, 1356 markings/sec, 365 secs
lola: 455665 markings, 838309 edges, 1312 markings/sec, 370 secs
lola: 462575 markings, 850923 edges, 1382 markings/sec, 375 secs
lola: 469257 markings, 863134 edges, 1336 markings/sec, 380 secs
lola: 476117 markings, 875700 edges, 1372 markings/sec, 385 secs
lola: 483321 markings, 889333 edges, 1441 markings/sec, 390 secs
lola: 489985 markings, 901274 edges, 1333 markings/sec, 395 secs
lola: 496840 markings, 914018 edges, 1371 markings/sec, 400 secs
lola: 504261 markings, 927404 edges, 1484 markings/sec, 405 secs
lola: 510980 markings, 939877 edges, 1344 markings/sec, 410 secs
lola: 518414 markings, 953398 edges, 1487 markings/sec, 415 secs
lola: 525406 markings, 966237 edges, 1398 markings/sec, 420 secs
lola: 532459 markings, 979217 edges, 1411 markings/sec, 425 secs
lola: 539882 markings, 992882 edges, 1485 markings/sec, 430 secs
lola: 546299 markings, 1004558 edges, 1283 markings/sec, 435 secs
lola: 553468 markings, 1017624 edges, 1434 markings/sec, 440 secs
lola: 560373 markings, 1030329 edges, 1381 markings/sec, 445 secs
lola: 567103 markings, 1042702 edges, 1346 markings/sec, 450 secs
lola: 574365 markings, 1056228 edges, 1452 markings/sec, 455 secs
lola: 580917 markings, 1068070 edges, 1310 markings/sec, 460 secs
lola: 588043 markings, 1081061 edges, 1425 markings/sec, 465 secs
lola: 594886 markings, 1093681 edges, 1369 markings/sec, 470 secs
lola: 601658 markings, 1106149 edges, 1354 markings/sec, 475 secs
lola: 609020 markings, 1119561 edges, 1472 markings/sec, 480 secs
lola: 615413 markings, 1131484 edges, 1279 markings/sec, 485 secs
lola: 622553 markings, 1144537 edges, 1428 markings/sec, 490 secs
lola: 629283 markings, 1156976 edges, 1346 markings/sec, 495 secs
lola: 636215 markings, 1169723 edges, 1386 markings/sec, 500 secs
lola: 643265 markings, 1182324 edges, 1410 markings/sec, 505 secs
lola: 649927 markings, 1194624 edges, 1332 markings/sec, 510 secs
lola: 657299 markings, 1208019 edges, 1474 markings/sec, 515 secs
lola: 664365 markings, 1221113 edges, 1413 markings/sec, 520 secs
lola: 671110 markings, 1233607 edges, 1349 markings/sec, 525 secs
lola: 678586 markings, 1247224 edges, 1495 markings/sec, 530 secs
lola: 685518 markings, 1260047 edges, 1386 markings/sec, 535 secs
lola: 692555 markings, 1272943 edges, 1407 markings/sec, 540 secs
lola: 699917 markings, 1286553 edges, 1472 markings/sec, 545 secs
lola: 706762 markings, 1298872 edges, 1369 markings/sec, 550 secs
lola: 713835 markings, 1311861 edges, 1415 markings/sec, 555 secs
lola: 721456 markings, 1325908 edges, 1524 markings/sec, 560 secs
lola: 728090 markings, 1337962 edges, 1327 markings/sec, 565 secs
lola: 735235 markings, 1351367 edges, 1429 markings/sec, 570 secs
lola: 742499 markings, 1364381 edges, 1453 markings/sec, 575 secs
lola: 749268 markings, 1377001 edges, 1354 markings/sec, 580 secs
lola: 756694 markings, 1390567 edges, 1485 markings/sec, 585 secs
lola: 763596 markings, 1403063 edges, 1380 markings/sec, 590 secs
lola: 770657 markings, 1416118 edges, 1412 markings/sec, 595 secs
lola: 778089 markings, 1429667 edges, 1486 markings/sec, 600 secs
lola: 784767 markings, 1441904 edges, 1336 markings/sec, 605 secs
lola: 792155 markings, 1455434 edges, 1478 markings/sec, 610 secs
lola: 799132 markings, 1468173 edges, 1395 markings/sec, 615 secs
lola: 806159 markings, 1481169 edges, 1405 markings/sec, 620 secs
lola: 813560 markings, 1494698 edges, 1480 markings/sec, 625 secs
lola: 820327 markings, 1507173 edges, 1353 markings/sec, 630 secs
lola: 827749 markings, 1520811 edges, 1484 markings/sec, 635 secs
lola: 834583 markings, 1533296 edges, 1367 markings/sec, 640 secs
lola: 841906 markings, 1546547 edges, 1465 markings/sec, 645 secs
lola: 849701 markings, 1561159 edges, 1559 markings/sec, 650 secs
lola: 863559 markings, 1582725 edges, 2772 markings/sec, 655 secs
lola: 886003 markings, 1634069 edges, 4489 markings/sec, 660 secs
lola: 906355 markings, 1683607 edges, 4070 markings/sec, 665 secs
lola: 921835 markings, 1716125 edges, 3096 markings/sec, 670 secs
lola: 938701 markings, 1753326 edges, 3373 markings/sec, 675 secs
lola: 958887 markings, 1801691 edges, 4037 markings/sec, 680 secs
lola: 978875 markings, 1849342 edges, 3998 markings/sec, 685 secs
lola: 998364 markings, 1895979 edges, 3898 markings/sec, 690 secs
lola: 1017877 markings, 1942196 edges, 3903 markings/sec, 695 secs
lola: 1037127 markings, 1987687 edges, 3850 markings/sec, 700 secs
lola: 1056267 markings, 2032566 edges, 3828 markings/sec, 705 secs
lola: 1070765 markings, 2074122 edges, 2900 markings/sec, 710 secs
lola: 1076693 markings, 2090664 edges, 1186 markings/sec, 715 secs
lola: 1083215 markings, 2109201 edges, 1304 markings/sec, 720 secs
lola: 1088874 markings, 2125435 edges, 1132 markings/sec, 725 secs
lola: 1094480 markings, 2141515 edges, 1121 markings/sec, 730 secs
lola: 1100165 markings, 2157623 edges, 1137 markings/sec, 735 secs
lola: 1106634 markings, 2175823 edges, 1294 markings/sec, 740 secs
lola: 1112245 markings, 2191952 edges, 1122 markings/sec, 745 secs
lola: 1117841 markings, 2207993 edges, 1119 markings/sec, 750 secs
lola: 1123641 markings, 2224673 edges, 1160 markings/sec, 755 secs
lola: 1128470 markings, 2239085 edges, 966 markings/sec, 760 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 80 unknown 80 80 80 80 1 80 unknown 80 unknown 80 unknown
lola: memory consumption: 93172 KB
lola: time consumption: 2038 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 766 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p89 + p90)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p89 + p90)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-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: 4 markings, 3 edges

FORMULA BridgeAndVehicles-COL-V80P20N10-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 1532 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2 + p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2 + p3)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V80P20N10-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-V80P20N10-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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-V80P20N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 6880 markings, 12627 edges, 1376 markings/sec, 30 secs
lola: 13913 markings, 25706 edges, 1407 markings/sec, 35 secs
lola: 20011 markings, 36801 edges, 1220 markings/sec, 40 secs
lola: 26131 markings, 48063 edges, 1224 markings/sec, 45 secs
lola: 32579 markings, 59989 edges, 1290 markings/sec, 50 secs
lola: 39002 markings, 71876 edges, 1285 markings/sec, 55 secs
lola: 45419 markings, 83761 edges, 1283 markings/sec, 60 secs
lola: 51838 markings, 95635 edges, 1284 markings/sec, 65 secs
lola: 58223 markings, 107480 edges, 1277 markings/sec, 70 secs
lola: 64707 markings, 119534 edges, 1297 markings/sec, 75 secs
lola: 71228 markings, 131673 edges, 1304 markings/sec, 80 secs
lola: 77916 markings, 143920 edges, 1338 markings/sec, 85 secs
lola: 84598 markings, 155931 edges, 1336 markings/sec, 90 secs
lola: 91278 markings, 168335 edges, 1336 markings/sec, 95 secs
lola: 97806 markings, 180658 edges, 1306 markings/sec, 100 secs
lola: 104799 markings, 193046 edges, 1399 markings/sec, 105 secs
lola: 111497 markings, 205535 edges, 1340 markings/sec, 110 secs
lola: 117940 markings, 217677 edges, 1289 markings/sec, 115 secs
lola: 124927 markings, 230096 edges, 1397 markings/sec, 120 secs
lola: 131611 markings, 242578 edges, 1337 markings/sec, 125 secs
lola: 138061 markings, 254754 edges, 1290 markings/sec, 130 secs
lola: 145010 markings, 267136 edges, 1390 markings/sec, 135 secs
lola: 151608 markings, 279440 edges, 1320 markings/sec, 140 secs
lola: 158432 markings, 292132 edges, 1365 markings/sec, 145 secs
lola: 165013 markings, 304068 edges, 1316 markings/sec, 150 secs
lola: 171712 markings, 316631 edges, 1340 markings/sec, 155 secs
lola: 178758 markings, 329281 edges, 1409 markings/sec, 160 secs
lola: 184956 markings, 341000 edges, 1240 markings/sec, 165 secs
lola: 191769 markings, 353547 edges, 1363 markings/sec, 170 secs
lola: 198154 markings, 365154 edges, 1277 markings/sec, 175 secs
lola: 205360 markings, 378501 edges, 1441 markings/sec, 180 secs
lola: 211801 markings, 390237 edges, 1288 markings/sec, 185 secs
lola: 218982 markings, 403545 edges, 1436 markings/sec, 190 secs
lola: 225403 markings, 415261 edges, 1284 markings/sec, 195 secs
lola: 232589 markings, 428590 edges, 1437 markings/sec, 200 secs
lola: 239038 markings, 440382 edges, 1290 markings/sec, 205 secs
lola: 246270 markings, 453563 edges, 1446 markings/sec, 210 secs
lola: 252670 markings, 465528 edges, 1280 markings/sec, 215 secs
lola: 259904 markings, 478525 edges, 1447 markings/sec, 220 secs
lola: 266521 markings, 490782 edges, 1323 markings/sec, 225 secs
lola: 273245 markings, 503108 edges, 1345 markings/sec, 230 secs
lola: 279903 markings, 515214 edges, 1332 markings/sec, 235 secs
lola: 286391 markings, 527365 edges, 1298 markings/sec, 240 secs
lola: 293070 markings, 539527 edges, 1336 markings/sec, 245 secs
lola: 299799 markings, 552145 edges, 1346 markings/sec, 250 secs
lola: 306427 markings, 564228 edges, 1326 markings/sec, 255 secs
lola: 313156 markings, 576407 edges, 1346 markings/sec, 260 secs
lola: 319877 markings, 589060 edges, 1344 markings/sec, 265 secs
lola: 326851 markings, 601600 edges, 1395 markings/sec, 270 secs
lola: 333405 markings, 613547 edges, 1311 markings/sec, 275 secs
lola: 340195 markings, 626359 edges, 1358 markings/sec, 280 secs
lola: 346861 markings, 638369 edges, 1333 markings/sec, 285 secs
lola: 353750 markings, 650840 edges, 1378 markings/sec, 290 secs
lola: 360379 markings, 663271 edges, 1326 markings/sec, 295 secs
lola: 366884 markings, 675156 edges, 1301 markings/sec, 300 secs
lola: 373766 markings, 688143 edges, 1376 markings/sec, 305 secs
lola: 380020 markings, 699434 edges, 1251 markings/sec, 310 secs
lola: 386774 markings, 711668 edges, 1351 markings/sec, 315 secs
lola: 393447 markings, 724058 edges, 1335 markings/sec, 320 secs
lola: 399958 markings, 736153 edges, 1302 markings/sec, 325 secs
lola: 406972 markings, 748764 edges, 1403 markings/sec, 330 secs
lola: 413376 markings, 760506 edges, 1281 markings/sec, 335 secs
lola: 420317 markings, 773672 edges, 1388 markings/sec, 340 secs
lola: 426796 markings, 785414 edges, 1296 markings/sec, 345 secs
lola: 433658 markings, 797892 edges, 1372 markings/sec, 350 secs
lola: 440344 markings, 810068 edges, 1337 markings/sec, 355 secs
lola: 447231 markings, 822649 edges, 1377 markings/sec, 360 secs
lola: 454022 markings, 835060 edges, 1358 markings/sec, 365 secs
lola: 460674 markings, 847339 edges, 1330 markings/sec, 370 secs
lola: 467331 markings, 859725 edges, 1331 markings/sec, 375 secs
lola: 473738 markings, 871554 edges, 1281 markings/sec, 380 secs
lola: 480813 markings, 884348 edges, 1415 markings/sec, 385 secs
lola: 487750 markings, 897036 edges, 1387 markings/sec, 390 secs
lola: 494551 markings, 909475 edges, 1360 markings/sec, 395 secs
lola: 501638 markings, 922881 edges, 1417 markings/sec, 400 secs
lola: 508158 markings, 934755 edges, 1304 markings/sec, 405 secs
lola: 515059 markings, 947411 edges, 1380 markings/sec, 410 secs
lola: 522412 markings, 960694 edges, 1471 markings/sec, 415 secs
lola: 528815 markings, 972543 edges, 1281 markings/sec, 420 secs
lola: 536034 markings, 985686 edges, 1444 markings/sec, 425 secs
lola: 542895 markings, 998283 edges, 1372 markings/sec, 430 secs
lola: 549633 markings, 1010654 edges, 1348 markings/sec, 435 secs
lola: 556829 markings, 1024132 edges, 1439 markings/sec, 440 secs
lola: 563437 markings, 1035963 edges, 1322 markings/sec, 445 secs
lola: 570557 markings, 1048923 edges, 1424 markings/sec, 450 secs
lola: 577507 markings, 1061738 edges, 1390 markings/sec, 455 secs
lola: 583953 markings, 1073564 edges, 1289 markings/sec, 460 secs
lola: 590753 markings, 1086446 edges, 1360 markings/sec, 465 secs
lola: 597288 markings, 1098017 edges, 1307 markings/sec, 470 secs
lola: 604056 markings, 1110432 edges, 1354 markings/sec, 475 secs
lola: 610736 markings, 1122836 edges, 1336 markings/sec, 480 secs
lola: 617231 markings, 1134592 edges, 1299 markings/sec, 485 secs
lola: 623863 markings, 1147157 edges, 1326 markings/sec, 490 secs
lola: 629819 markings, 1157636 edges, 1191 markings/sec, 495 secs
lola: 635783 markings, 1168972 edges, 1193 markings/sec, 500 secs
lola: 642073 markings, 1180245 edges, 1258 markings/sec, 505 secs
lola: 648398 markings, 1191973 edges, 1265 markings/sec, 510 secs
lola: 655527 markings, 1205181 edges, 1426 markings/sec, 515 secs
lola: 662776 markings, 1218238 edges, 1450 markings/sec, 520 secs
lola: 669571 markings, 1230566 edges, 1359 markings/sec, 525 secs
lola: 676696 markings, 1243965 edges, 1425 markings/sec, 530 secs
lola: 683964 markings, 1257033 edges, 1454 markings/sec, 535 secs
lola: 690637 markings, 1269339 edges, 1335 markings/sec, 540 secs
lola: 698239 markings, 1283230 edges, 1520 markings/sec, 545 secs
lola: 705398 markings, 1296526 edges, 1432 markings/sec, 550 secs
lola: 712744 markings, 1309717 edges, 1469 markings/sec, 555 secs
lola: 720388 markings, 1324254 edges, 1529 markings/sec, 560 secs
lola: 727277 markings, 1336662 edges, 1378 markings/sec, 565 secs
lola: 734736 markings, 1350473 edges, 1492 markings/sec, 570 secs
lola: 742340 markings, 1364066 edges, 1521 markings/sec, 575 secs
lola: 749291 markings, 1377047 edges, 1390 markings/sec, 580 secs
lola: 756968 markings, 1391115 edges, 1535 markings/sec, 585 secs
lola: 763980 markings, 1403831 edges, 1402 markings/sec, 590 secs
lola: 771337 markings, 1417478 edges, 1471 markings/sec, 595 secs
lola: 778949 markings, 1431151 edges, 1522 markings/sec, 600 secs
lola: 785865 markings, 1444100 edges, 1383 markings/sec, 605 secs
lola: 793510 markings, 1458144 edges, 1529 markings/sec, 610 secs
lola: 800444 markings, 1470766 edges, 1387 markings/sec, 615 secs
lola: 807897 markings, 1484401 edges, 1491 markings/sec, 620 secs
lola: 815155 markings, 1497635 edges, 1452 markings/sec, 625 secs
lola: 822183 markings, 1510367 edges, 1406 markings/sec, 630 secs
lola: 829611 markings, 1524080 edges, 1486 markings/sec, 635 secs
lola: 836228 markings, 1536142 edges, 1323 markings/sec, 640 secs
lola: 843556 markings, 1549612 edges, 1466 markings/sec, 645 secs
lola: 852492 markings, 1565519 edges, 1787 markings/sec, 650 secs
lola: 866684 markings, 1587526 edges, 2838 markings/sec, 655 secs
lola: 888532 markings, 1638498 edges, 4370 markings/sec, 660 secs
lola: 908836 markings, 1687842 edges, 4061 markings/sec, 665 secs
lola: 929555 markings, 1737199 edges, 4144 markings/sec, 670 secs
lola: 947788 markings, 1780371 edges, 3647 markings/sec, 675 secs
lola: 964398 markings, 1816939 edges, 3322 markings/sec, 680 secs
lola: 981937 markings, 1856635 edges, 3508 markings/sec, 685 secs
lola: 1000450 markings, 1899606 edges, 3703 markings/sec, 690 secs
lola: 1019838 markings, 1945620 edges, 3878 markings/sec, 695 secs
lola: 1039735 markings, 1993313 edges, 3979 markings/sec, 700 secs
lola: 1060584 markings, 2044297 edges, 4170 markings/sec, 705 secs
lola: 1071648 markings, 2076391 edges, 2213 markings/sec, 710 secs
lola: 1078216 markings, 2094955 edges, 1314 markings/sec, 715 secs
lola: 1083891 markings, 2111229 edges, 1135 markings/sec, 720 secs
lola: 1089561 markings, 2127494 edges, 1134 markings/sec, 725 secs
lola: 1095208 markings, 2143693 edges, 1129 markings/sec, 730 secs
lola: 1101785 markings, 2161987 edges, 1315 markings/sec, 735 secs
lola: 1107370 markings, 2178031 edges, 1117 markings/sec, 740 secs
lola: 1112944 markings, 2194044 edges, 1115 markings/sec, 745 secs
lola: 1118514 markings, 2210012 edges, 1114 markings/sec, 750 secs
lola: 1124286 markings, 2226587 edges, 1154 markings/sec, 755 secs
lola: 1128985 markings, 2240630 edges, 940 markings/sec, 760 secs
lola: 1134682 markings, 2256984 edges, 1139 markings/sec, 765 secs
lola: 1139511 markings, 2271414 edges, 966 markings/sec, 770 secs
lola: 1145085 markings, 2287364 edges, 1115 markings/sec, 775 secs
lola: 1150795 markings, 2303777 edges, 1142 markings/sec, 780 secs
lola: 1155543 markings, 2317967 edges, 950 markings/sec, 785 secs
lola: 1161037 markings, 2333686 edges, 1099 markings/sec, 790 secs
lola: 1166567 markings, 2349575 edges, 1106 markings/sec, 795 secs
lola: 1171202 markings, 2363426 edges, 927 markings/sec, 800 secs
lola: 1176825 markings, 2379596 edges, 1125 markings/sec, 805 secs
lola: 1181771 markings, 2394004 edges, 989 markings/sec, 810 secs
lola: 1187090 markings, 2409604 edges, 1064 markings/sec, 815 secs
lola: 1192701 markings, 2425754 edges, 1122 markings/sec, 820 secs
lola: 1198322 markings, 2441901 edges, 1124 markings/sec, 825 secs
lola: 1202983 markings, 2455830 edges, 932 markings/sec, 830 secs
lola: 1207942 markings, 2470653 edges, 992 markings/sec, 835 secs
lola: 1213442 markings, 2486384 edges, 1100 markings/sec, 840 secs
lola: 1218361 markings, 2501087 edges, 984 markings/sec, 845 secs
lola: 1224203 markings, 2517904 edges, 1168 markings/sec, 850 secs
lola: 1228741 markings, 2531457 edges, 908 markings/sec, 855 secs
lola: 1233271 markings, 2544993 edges, 906 markings/sec, 860 secs
lola: 1238294 markings, 2559318 edges, 1005 markings/sec, 865 secs
lola: 1242897 markings, 2573073 edges, 921 markings/sec, 870 secs
lola: 1248230 markings, 2588374 edges, 1067 markings/sec, 875 secs
lola: 1252661 markings, 2601566 edges, 886 markings/sec, 880 secs
lola: 1258136 markings, 2617308 edges, 1095 markings/sec, 885 secs
lola: 1262311 markings, 2629779 edges, 835 markings/sec, 890 secs
lola: 1266970 markings, 2643698 edges, 932 markings/sec, 895 secs
lola: 1271722 markings, 2657229 edges, 950 markings/sec, 900 secs
lola: 1275877 markings, 2669640 edges, 831 markings/sec, 905 secs
lola: 1280928 markings, 2684126 edges, 1010 markings/sec, 910 secs
lola: 1285074 markings, 2696506 edges, 829 markings/sec, 915 secs
lola: 1289791 markings, 2710598 edges, 943 markings/sec, 920 secs
lola: 1294637 markings, 2724432 edges, 969 markings/sec, 925 secs
lola: 1299096 markings, 2737755 edges, 892 markings/sec, 930 secs
lola: 1304432 markings, 2753058 edges, 1067 markings/sec, 935 secs
lola: 1309167 markings, 2767209 edges, 947 markings/sec, 940 secs
lola: 1314691 markings, 2783085 edges, 1105 markings/sec, 945 secs
lola: 1319617 markings, 2797809 edges, 985 markings/sec, 950 secs
lola: 1325046 markings, 2814038 edges, 1086 markings/sec, 955 secs
lola: 1330590 markings, 2829931 edges, 1109 markings/sec, 960 secs
lola: 1335696 markings, 2845189 edges, 1021 markings/sec, 965 secs
lola: 1340641 markings, 2859967 edges, 989 markings/sec, 970 secs
lola: 1345560 markings, 2873998 edges, 984 markings/sec, 975 secs
lola: 1350151 markings, 2887711 edges, 918 markings/sec, 980 secs
lola: 1355707 markings, 2903743 edges, 1111 markings/sec, 985 secs
lola: 1360607 markings, 2918300 edges, 980 markings/sec, 990 secs
lola: 1365155 markings, 2931840 edges, 910 markings/sec, 995 secs
lola: 1370605 markings, 2947525 edges, 1090 markings/sec, 1000 secs
lola: 1374968 markings, 2960553 edges, 873 markings/sec, 1005 secs
lola: 1380185 markings, 2976103 edges, 1043 markings/sec, 1010 secs
lola: 1386012 markings, 2992918 edges, 1165 markings/sec, 1015 secs
lola: 1390913 markings, 3007522 edges, 980 markings/sec, 1020 secs
lola: 1396238 markings, 3023438 edges, 1065 markings/sec, 1025 secs
lola: 1401560 markings, 3038706 edges, 1064 markings/sec, 1030 secs
lola: 1406178 markings, 3052452 edges, 924 markings/sec, 1035 secs
lola: 1411876 markings, 3068905 edges, 1140 markings/sec, 1040 secs
lola: 1416557 markings, 3082840 edges, 936 markings/sec, 1045 secs
lola: 1421775 markings, 3098440 edges, 1044 markings/sec, 1050 secs
lola: 1426995 markings, 3113413 edges, 1044 markings/sec, 1055 secs
lola: 1431471 markings, 3126784 edges, 895 markings/sec, 1060 secs
lola: 1436379 markings, 3141356 edges, 982 markings/sec, 1065 secs
lola: 1441446 markings, 3155971 edges, 1013 markings/sec, 1070 secs
lola: 1446698 markings, 3171627 edges, 1050 markings/sec, 1075 secs
lola: 1452335 markings, 3187868 edges, 1127 markings/sec, 1080 secs
lola: 1457414 markings, 3202997 edges, 1016 markings/sec, 1085 secs
lola: 1462922 markings, 3219467 edges, 1102 markings/sec, 1090 secs
lola: 1468832 markings, 3236480 edges, 1182 markings/sec, 1095 secs
lola: 1473875 markings, 3251548 edges, 1009 markings/sec, 1100 secs
lola: 1479415 markings, 3268067 edges, 1108 markings/sec, 1105 secs
lola: 1484833 markings, 3283658 edges, 1084 markings/sec, 1110 secs
lola: 1489187 markings, 3296620 edges, 871 markings/sec, 1115 secs
lola: 1494007 markings, 3311019 edges, 964 markings/sec, 1120 secs
lola: 1499791 markings, 3327695 edges, 1157 markings/sec, 1125 secs
lola: 1504016 markings, 3340244 edges, 845 markings/sec, 1130 secs
lola: 1508468 markings, 3353546 edges, 890 markings/sec, 1135 secs
lola: 1513409 markings, 3368315 edges, 988 markings/sec, 1140 secs
lola: 1518240 markings, 3382115 edges, 966 markings/sec, 1145 secs
lola: 1522791 markings, 3395660 edges, 910 markings/sec, 1150 secs
lola: 1527806 markings, 3410651 edges, 1003 markings/sec, 1155 secs
lola: 1533178 markings, 3426082 edges, 1074 markings/sec, 1160 secs
lola: 1537829 markings, 3439974 edges, 930 markings/sec, 1165 secs
lola: 1542759 markings, 3454663 edges, 986 markings/sec, 1170 secs
lola: 1548401 markings, 3470912 edges, 1128 markings/sec, 1175 secs
lola: 1552730 markings, 3483841 edges, 866 markings/sec, 1180 secs
lola: 1557603 markings, 3498356 edges, 975 markings/sec, 1185 secs
lola: 1562969 markings, 3513831 edges, 1073 markings/sec, 1190 secs
lola: 1567797 markings, 3528210 edges, 966 markings/sec, 1195 secs
lola: 1572854 markings, 3543278 edges, 1011 markings/sec, 1200 secs
lola: 1578068 markings, 3558259 edges, 1043 markings/sec, 1205 secs
lola: 1582633 markings, 3571891 edges, 913 markings/sec, 1210 secs
lola: 1587726 markings, 3587071 edges, 1019 markings/sec, 1215 secs
lola: 1593326 markings, 3603218 edges, 1120 markings/sec, 1220 secs
lola: 1597947 markings, 3616973 edges, 924 markings/sec, 1225 secs
lola: 1603260 markings, 3632855 edges, 1063 markings/sec, 1230 secs
lola: 1608436 markings, 3647688 edges, 1035 markings/sec, 1235 secs
lola: 1613349 markings, 3662369 edges, 983 markings/sec, 1240 secs
lola: 1618643 markings, 3678147 edges, 1059 markings/sec, 1245 secs
lola: 1624349 markings, 3694619 edges, 1141 markings/sec, 1250 secs
lola: 1629158 markings, 3708893 edges, 962 markings/sec, 1255 secs
lola: 1634610 markings, 3725195 edges, 1090 markings/sec, 1260 secs
lola: 1640579 markings, 3742984 edges, 1194 markings/sec, 1265 secs
lola: 1645270 markings, 3756384 edges, 938 markings/sec, 1270 secs
lola: 1650119 markings, 3770823 edges, 970 markings/sec, 1275 secs
lola: 1655640 markings, 3787332 edges, 1104 markings/sec, 1280 secs
lola: 1661423 markings, 3804000 edges, 1157 markings/sec, 1285 secs
lola: 1666612 markings, 3819461 edges, 1038 markings/sec, 1290 secs
lola: 1672500 markings, 3837021 edges, 1178 markings/sec, 1295 secs
lola: 1678378 markings, 3853985 edges, 1176 markings/sec, 1300 secs
lola: 1683566 markings, 3869441 edges, 1038 markings/sec, 1305 secs
lola: 1689457 markings, 3887009 edges, 1178 markings/sec, 1310 secs
lola: 1695275 markings, 3903798 edges, 1164 markings/sec, 1315 secs
lola: 1700483 markings, 3919313 edges, 1042 markings/sec, 1320 secs
lola: 1706574 markings, 3937485 edges, 1218 markings/sec, 1325 secs
lola: 1712384 markings, 3954210 edges, 1162 markings/sec, 1330 secs
lola: 1717846 markings, 3970488 edges, 1092 markings/sec, 1335 secs
lola: 1724203 markings, 3989499 edges, 1271 markings/sec, 1340 secs
lola: 1729652 markings, 4005149 edges, 1090 markings/sec, 1345 secs
lola: 1735227 markings, 4021771 edges, 1115 markings/sec, 1350 secs
lola: 1741666 markings, 4040447 edges, 1288 markings/sec, 1355 secs
lola: 1746718 markings, 4055448 edges, 1010 markings/sec, 1360 secs
lola: 1752522 markings, 4072752 edges, 1161 markings/sec, 1365 secs
lola: 1758104 markings, 4088867 edges, 1116 markings/sec, 1370 secs
lola: 1763475 markings, 4104822 edges, 1074 markings/sec, 1375 secs
lola: 1769435 markings, 4122647 edges, 1192 markings/sec, 1380 secs
lola: 1774734 markings, 4137870 edges, 1060 markings/sec, 1385 secs
lola: 1780092 markings, 4153839 edges, 1072 markings/sec, 1390 secs
lola: 1785821 markings, 4170918 edges, 1146 markings/sec, 1395 secs
lola: 1793149 markings, 4188174 edges, 1466 markings/sec, 1400 secs
lola: 1800196 markings, 4204281 edges, 1409 markings/sec, 1405 secs
lola: 1807236 markings, 4217891 edges, 1408 markings/sec, 1410 secs
lola: 1815488 markings, 4236091 edges, 1650 markings/sec, 1415 secs
lola: 1823921 markings, 4255589 edges, 1687 markings/sec, 1420 secs
lola: 1831704 markings, 4272200 edges, 1557 markings/sec, 1425 secs
lola: 1849293 markings, 4319532 edges, 3518 markings/sec, 1430 secs
lola: 1855508 markings, 4334428 edges, 1243 markings/sec, 1435 secs
lola: 1861595 markings, 4348759 edges, 1217 markings/sec, 1440 secs
lola: 1868084 markings, 4364717 edges, 1298 markings/sec, 1445 secs
lola: 1884006 markings, 4407962 edges, 3184 markings/sec, 1450 secs
lola: 1889974 markings, 4422367 edges, 1194 markings/sec, 1455 secs
lola: 1895692 markings, 4436548 edges, 1144 markings/sec, 1460 secs
lola: 1901604 markings, 4450705 edges, 1182 markings/sec, 1465 secs
lola: 1916909 markings, 4492412 edges, 3061 markings/sec, 1470 secs
lola: 1923068 markings, 4507165 edges, 1232 markings/sec, 1475 secs
lola: 1929670 markings, 4523283 edges, 1320 markings/sec, 1480 secs
lola: 1936185 markings, 4538977 edges, 1303 markings/sec, 1485 secs
lola: 1951678 markings, 4581540 edges, 3099 markings/sec, 1490 secs
lola: 1958463 markings, 4597664 edges, 1357 markings/sec, 1495 secs
lola: 1964947 markings, 4613175 edges, 1297 markings/sec, 1500 secs
lola: 1980511 markings, 4655520 edges, 3113 markings/sec, 1505 secs
lola: 1986905 markings, 4671058 edges, 1279 markings/sec, 1510 secs
lola: 1993564 markings, 4687043 edges, 1332 markings/sec, 1515 secs
lola: 2009031 markings, 4730501 edges, 3093 markings/sec, 1520 secs
lola: 2015627 markings, 4745371 edges, 1319 markings/sec, 1525 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown 80 unknown 80 80 80 80 1 80 1 80 unknown 80 unknown
lola:
preliminary result: 1 1 unknown 80 unknown 80 80 80 80 1 80 1 80 unknown 80 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 80 unknown 80 80 80 80 1 80 1 80 unknown 80 unknown
lola: memory consumption: 141920 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 80 unknown 80 80 80 80 1 80 1 80 unknown 80 unknown
lola: memory consumption: 141920 KB
lola: time consumption: 3570 seconds

BK_STOP 1552408272686

--------------------
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-V80P20N10"
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-V80P20N10, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r022-csrt-155225094600148"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V80P20N10.tgz
mv BridgeAndVehicles-COL-V80P20N10 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;