fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r028-ebro-152646306200191
Last Updated
June 26, 2018

About the Execution of LoLA for BridgeAndVehicles-COL-V50P50N10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
532.460 3570604.00 3651654.00 614.70 50 50 1 50 1 50 ? 1 ? 50 1 1 1 50 50 ? normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
....................
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 122 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 360 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_pt
-rw-r--r-- 1 mcc users 10 May 15 18:49 instance
-rw-r--r-- 1 mcc users 5 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 42K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BridgeAndVehicles-COL-V50P50N10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306200191
=====================================================================


--------------------
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-V50P50N10-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V50P50N10-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526535144049

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V50P50N10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V50P50N10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-COL-V50P50N10 @ 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: 1456/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 4096
lola: finding significant places
lola: 128 places, 1328 transitions, 121 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1653 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V50P50N10-UpperBounds.task
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 + p98 + p97 + p96 + p95 + p94 + p93 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p99 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(p53) : MAX(p126) : MAX(0) : MAX(p126) : MAX(0) : MAX(p126) : MAX(p119) : MAX(p51 + p52) : MAX(p120) : MAX(p126) : MAX(p121 + p122) : MAX(p121 + p122) : MAX(0) : MAX(p126) : MAX(p124) : MAX(p119)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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-V50P50N10-UpperBounds-2 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-V50P50N10-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-V50P50N10-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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-V50P50N10-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p126)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p126)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================

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

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

FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-5 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p119)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 16139 markings, 36344 edges, 3228 markings/sec, 0 secs
lola: 42643 markings, 123626 edges, 5301 markings/sec, 5 secs
lola: 56304 markings, 159790 edges, 2732 markings/sec, 10 secs
lola: 81094 markings, 241086 edges, 4958 markings/sec, 15 secs
lola: 104422 markings, 318621 edges, 4666 markings/sec, 20 secs
lola: 118409 markings, 355055 edges, 2797 markings/sec, 25 secs
lola: 142462 markings, 433333 edges, 4811 markings/sec, 30 secs
lola: 165951 markings, 509306 edges, 4698 markings/sec, 35 secs
lola: 185676 markings, 571489 edges, 3945 markings/sec, 40 secs
lola: 201635 markings, 616663 edges, 3192 markings/sec, 45 secs
lola: 224141 markings, 688811 edges, 4501 markings/sec, 50 secs
lola: 246762 markings, 760751 edges, 4524 markings/sec, 55 secs
lola: 267992 markings, 828474 edges, 4246 markings/sec, 60 secs
lola: 291729 markings, 901478 edges, 4747 markings/sec, 65 secs
lola: 307688 markings, 941937 edges, 3192 markings/sec, 70 secs
lola: 322600 markings, 980368 edges, 2982 markings/sec, 75 secs
lola: 349350 markings, 1066362 edges, 5350 markings/sec, 80 secs
lola: 364147 markings, 1107665 edges, 2959 markings/sec, 85 secs
lola: 378522 markings, 1145743 edges, 2875 markings/sec, 90 secs
lola: 404677 markings, 1230192 edges, 5231 markings/sec, 95 secs
lola: 418274 markings, 1267170 edges, 2719 markings/sec, 100 secs
lola: 432685 markings, 1307309 edges, 2882 markings/sec, 105 secs
lola: 456552 markings, 1384207 edges, 4773 markings/sec, 110 secs
lola: 470473 markings, 1420969 edges, 2784 markings/sec, 115 secs
lola: 496027 markings, 1502935 edges, 5111 markings/sec, 120 secs
lola: 508578 markings, 1536839 edges, 2510 markings/sec, 125 secs
lola: 531550 markings, 1611711 edges, 4594 markings/sec, 130 secs
lola: 547386 markings, 1653423 edges, 3167 markings/sec, 135 secs
lola: 563265 markings, 1700100 edges, 3176 markings/sec, 140 secs
lola: 583995 markings, 1763820 edges, 4146 markings/sec, 145 secs
lola: 597490 markings, 1799735 edges, 2699 markings/sec, 150 secs
lola: 620921 markings, 1875015 edges, 4686 markings/sec, 155 secs
lola: 634697 markings, 1911210 edges, 2755 markings/sec, 160 secs
lola: 657537 markings, 1984312 edges, 4568 markings/sec, 165 secs
lola: 671702 markings, 2022184 edges, 2833 markings/sec, 170 secs
lola: 693886 markings, 2091724 edges, 4437 markings/sec, 175 secs
lola: 712151 markings, 2147487 edges, 3653 markings/sec, 180 secs
lola: 732082 markings, 2204160 edges, 3986 markings/sec, 185 secs
lola: 748587 markings, 2247432 edges, 3301 markings/sec, 190 secs
lola: 763652 markings, 2286935 edges, 3013 markings/sec, 195 secs
lola: 781128 markings, 2332619 edges, 3495 markings/sec, 200 secs
lola: 799886 markings, 2382971 edges, 3752 markings/sec, 205 secs
lola: 827087 markings, 2471387 edges, 5440 markings/sec, 210 secs
lola: 840403 markings, 2506743 edges, 2663 markings/sec, 215 secs
lola: 854171 markings, 2544051 edges, 2754 markings/sec, 220 secs
lola: 870495 markings, 2592959 edges, 3265 markings/sec, 225 secs
lola: 894839 markings, 2668577 edges, 4869 markings/sec, 230 secs
lola: 908475 markings, 2704978 edges, 2727 markings/sec, 235 secs
lola: 920862 markings, 2738099 edges, 2477 markings/sec, 240 secs
lola: 946693 markings, 2821507 edges, 5166 markings/sec, 245 secs
lola: 960360 markings, 2858916 edges, 2733 markings/sec, 250 secs
lola: 975221 markings, 2897607 edges, 2972 markings/sec, 255 secs
lola: 991397 markings, 2945665 edges, 3235 markings/sec, 260 secs
lola: 1015179 markings, 3019376 edges, 4756 markings/sec, 265 secs
lola: 1028581 markings, 3055189 edges, 2680 markings/sec, 270 secs
lola: 1041706 markings, 3089803 edges, 2625 markings/sec, 275 secs
lola: 1067825 markings, 3173141 edges, 5224 markings/sec, 280 secs
lola: 1081193 markings, 3208938 edges, 2674 markings/sec, 285 secs
lola: 1093675 markings, 3242609 edges, 2496 markings/sec, 290 secs
lola: 1118844 markings, 3321943 edges, 5034 markings/sec, 295 secs
lola: 1132256 markings, 3357977 edges, 2682 markings/sec, 300 secs
lola: 1145613 markings, 3394337 edges, 2671 markings/sec, 305 secs
lola: 1169908 markings, 3470758 edges, 4859 markings/sec, 310 secs
lola: 1183383 markings, 3507059 edges, 2695 markings/sec, 315 secs
lola: 1196633 markings, 3543126 edges, 2650 markings/sec, 320 secs
lola: 1221035 markings, 3619563 edges, 4880 markings/sec, 325 secs
lola: 1234512 markings, 3655903 edges, 2695 markings/sec, 330 secs
lola: 1246982 markings, 3689174 edges, 2494 markings/sec, 335 secs
lola: 1271399 markings, 3765987 edges, 4883 markings/sec, 340 secs
lola: 1284333 markings, 3800736 edges, 2587 markings/sec, 345 secs
lola: 1302710 markings, 3857705 edges, 3675 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 50 1 50 1 50 unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown
lola: memory consumption: 80084 KB
lola: time consumption: 357 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p120)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p120)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 28874 markings, 71812 edges, 5775 markings/sec, 0 secs
lola: 58891 markings, 146844 edges, 6003 markings/sec, 5 secs
lola: 86325 markings, 214030 edges, 5487 markings/sec, 10 secs
lola: 117446 markings, 295340 edges, 6224 markings/sec, 15 secs
lola: 148090 markings, 374873 edges, 6129 markings/sec, 20 secs
lola: 181323 markings, 464614 edges, 6647 markings/sec, 25 secs
lola: 215172 markings, 556606 edges, 6770 markings/sec, 30 secs
lola: 244677 markings, 631418 edges, 5901 markings/sec, 35 secs
lola: 273854 markings, 705266 edges, 5835 markings/sec, 40 secs
lola: 303111 markings, 780675 edges, 5851 markings/sec, 45 secs
lola: 334334 markings, 862085 edges, 6245 markings/sec, 50 secs
lola: 358695 markings, 919816 edges, 4872 markings/sec, 55 secs
lola: 390177 markings, 1006082 edges, 6296 markings/sec, 60 secs
lola: 413722 markings, 1061620 edges, 4709 markings/sec, 65 secs
lola: 437452 markings, 1120905 edges, 4746 markings/sec, 70 secs
lola: 467846 markings, 1201552 edges, 6079 markings/sec, 75 secs
lola: 498546 markings, 1285320 edges, 6140 markings/sec, 80 secs
lola: 521331 markings, 1339935 edges, 4557 markings/sec, 85 secs
lola: 551565 markings, 1421323 edges, 6047 markings/sec, 90 secs
lola: 581791 markings, 1502590 edges, 6045 markings/sec, 95 secs
lola: 605075 markings, 1558999 edges, 4657 markings/sec, 100 secs
lola: 634515 markings, 1636994 edges, 5888 markings/sec, 105 secs
lola: 664044 markings, 1716075 edges, 5906 markings/sec, 110 secs
lola: 692720 markings, 1792320 edges, 5735 markings/sec, 115 secs
lola: 717799 markings, 1856712 edges, 5016 markings/sec, 120 secs
lola: 744382 markings, 1924129 edges, 5317 markings/sec, 125 secs
lola: 767768 markings, 1978914 edges, 4677 markings/sec, 130 secs
lola: 799749 markings, 2066868 edges, 6396 markings/sec, 135 secs
lola: 822819 markings, 2125548 edges, 4614 markings/sec, 140 secs
lola: 845321 markings, 2184304 edges, 4500 markings/sec, 145 secs
lola: 877316 markings, 2271739 edges, 6399 markings/sec, 150 secs
lola: 901359 markings, 2334251 edges, 4809 markings/sec, 155 secs
lola: 924191 markings, 2392796 edges, 4566 markings/sec, 160 secs
lola: 946774 markings, 2454262 edges, 4517 markings/sec, 165 secs
lola: 977859 markings, 2541662 edges, 6217 markings/sec, 170 secs
lola: 1000545 markings, 2601680 edges, 4537 markings/sec, 175 secs
lola: 1031352 markings, 2688192 edges, 6161 markings/sec, 180 secs
lola: 1053986 markings, 2747897 edges, 4527 markings/sec, 185 secs
lola: 1084634 markings, 2833410 edges, 6130 markings/sec, 190 secs
lola: 1107164 markings, 2894695 edges, 4506 markings/sec, 195 secs
lola: 1137050 markings, 2977491 edges, 5977 markings/sec, 200 secs
lola: 1159875 markings, 3038566 edges, 4565 markings/sec, 205 secs
lola: 1189779 markings, 3121301 edges, 5981 markings/sec, 210 secs
lola: 1212477 markings, 3182298 edges, 4540 markings/sec, 215 secs
lola: 1241949 markings, 3263986 edges, 5894 markings/sec, 220 secs
lola: 1264529 markings, 3324868 edges, 4516 markings/sec, 225 secs
lola: 1293679 markings, 3405829 edges, 5830 markings/sec, 230 secs
lola: 1317623 markings, 3470880 edges, 4789 markings/sec, 235 secs
lola: 1346405 markings, 3541677 edges, 5756 markings/sec, 240 secs
lola: 1368885 markings, 3600527 edges, 4496 markings/sec, 245 secs
lola: 1392697 markings, 3659711 edges, 4762 markings/sec, 250 secs
lola: 1416177 markings, 3715668 edges, 4696 markings/sec, 255 secs
lola: 1447843 markings, 3802475 edges, 6333 markings/sec, 260 secs
lola: 1470440 markings, 3865211 edges, 4519 markings/sec, 265 secs
lola: 1493237 markings, 3929192 edges, 4559 markings/sec, 270 secs
lola: 1524882 markings, 4021634 edges, 6329 markings/sec, 275 secs
lola: 1550263 markings, 4080925 edges, 5076 markings/sec, 280 secs
lola: 1573813 markings, 4142963 edges, 4710 markings/sec, 285 secs
lola: 1596399 markings, 4206718 edges, 4517 markings/sec, 290 secs
lola: 1618863 markings, 4268067 edges, 4493 markings/sec, 295 secs
lola: 1646676 markings, 4349027 edges, 5563 markings/sec, 300 secs
lola: 1672975 markings, 4422251 edges, 5260 markings/sec, 305 secs
lola: 1695208 markings, 4482825 edges, 4447 markings/sec, 310 secs
lola: 1724733 markings, 4569332 edges, 5905 markings/sec, 315 secs
lola: 1748756 markings, 4635484 edges, 4805 markings/sec, 320 secs
lola: 1771358 markings, 4697401 edges, 4520 markings/sec, 325 secs
lola: 1801865 markings, 4784270 edges, 6101 markings/sec, 330 secs
lola: 1824618 markings, 4846397 edges, 4551 markings/sec, 335 secs
lola: 1847053 markings, 4910370 edges, 4487 markings/sec, 340 secs
lola: 1877497 markings, 4997276 edges, 6089 markings/sec, 345 secs
lola: 1899980 markings, 5060287 edges, 4497 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 50 1 50 1 50 unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown
lola: memory consumption: 105892 KB
lola: time consumption: 714 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p126)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p126)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola:
FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-9 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 9 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p53)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges

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

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

FORMULA BridgeAndVehicles-COL-V50P50N10-UpperBounds-14 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p119)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 16708 markings, 37811 edges, 3342 markings/sec, 0 secs
lola: 43681 markings, 126135 edges, 5395 markings/sec, 5 secs
lola: 56961 markings, 161589 edges, 2656 markings/sec, 10 secs
lola: 82272 markings, 244451 edges, 5062 markings/sec, 15 secs
lola: 106655 markings, 323806 edges, 4877 markings/sec, 20 secs
lola: 120442 markings, 361353 edges, 2757 markings/sec, 25 secs
lola: 143585 markings, 436376 edges, 4629 markings/sec, 30 secs
lola: 167259 markings, 512898 edges, 4735 markings/sec, 35 secs
lola: 190677 markings, 587433 edges, 4684 markings/sec, 40 secs
lola: 207707 markings, 638431 edges, 3406 markings/sec, 45 secs
lola: 226588 markings, 695229 edges, 3776 markings/sec, 50 secs
lola: 249015 markings, 766562 edges, 4485 markings/sec, 55 secs
lola: 270881 markings, 836026 edges, 4373 markings/sec, 60 secs
lola: 294273 markings, 908567 edges, 4678 markings/sec, 65 secs
lola: 310258 markings, 949142 edges, 3197 markings/sec, 70 secs
lola: 325515 markings, 987153 edges, 3051 markings/sec, 75 secs
lola: 351994 markings, 1075316 edges, 5296 markings/sec, 80 secs
lola: 368097 markings, 1117542 edges, 3221 markings/sec, 85 secs
lola: 381305 markings, 1152866 edges, 2642 markings/sec, 90 secs
lola: 407706 markings, 1238868 edges, 5280 markings/sec, 95 secs
lola: 420160 markings, 1272301 edges, 2491 markings/sec, 100 secs
lola: 441623 markings, 1340416 edges, 4293 markings/sec, 105 secs
lola: 459834 markings, 1392068 edges, 3642 markings/sec, 110 secs
lola: 473188 markings, 1427962 edges, 2671 markings/sec, 115 secs
lola: 498463 markings, 1509812 edges, 5055 markings/sec, 120 secs
lola: 511935 markings, 1545411 edges, 2694 markings/sec, 125 secs
lola: 536395 markings, 1623737 edges, 4892 markings/sec, 130 secs
lola: 549586 markings, 1659575 edges, 2638 markings/sec, 135 secs
lola: 571676 markings, 1731426 edges, 4418 markings/sec, 140 secs
lola: 587488 markings, 1773262 edges, 3162 markings/sec, 145 secs
lola: 605385 markings, 1828393 edges, 3579 markings/sec, 150 secs
lola: 624407 markings, 1883767 edges, 3804 markings/sec, 155 secs
lola: 641417 markings, 1935311 edges, 3402 markings/sec, 160 secs
lola: 660943 markings, 1992840 edges, 3905 markings/sec, 165 secs
lola: 679714 markings, 2051749 edges, 3754 markings/sec, 170 secs
lola: 697026 markings, 2100363 edges, 3462 markings/sec, 175 secs
lola: 717862 markings, 2166649 edges, 4167 markings/sec, 180 secs
lola: 733865 markings, 2208981 edges, 3201 markings/sec, 185 secs
lola: 753278 markings, 2258906 edges, 3883 markings/sec, 190 secs
lola: 767294 markings, 2296487 edges, 2803 markings/sec, 195 secs
lola: 783990 markings, 2339885 edges, 3339 markings/sec, 200 secs
lola: 806508 markings, 2407610 edges, 4504 markings/sec, 205 secs
lola: 829190 markings, 2477324 edges, 4536 markings/sec, 210 secs
lola: 842743 markings, 2513396 edges, 2711 markings/sec, 215 secs
lola: 855864 markings, 2548780 edges, 2624 markings/sec, 220 secs
lola: 876444 markings, 2615005 edges, 4116 markings/sec, 225 secs
lola: 896289 markings, 2672675 edges, 3969 markings/sec, 230 secs
lola: 909883 markings, 2708926 edges, 2719 markings/sec, 235 secs
lola: 923223 markings, 2743987 edges, 2668 markings/sec, 240 secs
lola: 949858 markings, 2829464 edges, 5327 markings/sec, 245 secs
lola: 962514 markings, 2863813 edges, 2531 markings/sec, 250 secs
lola: 977186 markings, 2903147 edges, 2934 markings/sec, 255 secs
lola: 996263 markings, 2963580 edges, 3815 markings/sec, 260 secs
lola: 1016318 markings, 3022569 edges, 4011 markings/sec, 265 secs
lola: 1029629 markings, 3058051 edges, 2662 markings/sec, 270 secs
lola: 1042784 markings, 3092712 edges, 2631 markings/sec, 275 secs
lola: 1069403 markings, 3177593 edges, 5324 markings/sec, 280 secs
lola: 1082817 markings, 3213551 edges, 2683 markings/sec, 285 secs
lola: 1095491 markings, 3247046 edges, 2535 markings/sec, 290 secs
lola: 1121355 markings, 3329096 edges, 5173 markings/sec, 295 secs
lola: 1134832 markings, 3365314 edges, 2695 markings/sec, 300 secs
lola: 1147123 markings, 3398395 edges, 2458 markings/sec, 305 secs
lola: 1172810 markings, 3478996 edges, 5137 markings/sec, 310 secs
lola: 1186275 markings, 3515231 edges, 2693 markings/sec, 315 secs
lola: 1198855 markings, 3548728 edges, 2516 markings/sec, 320 secs
lola: 1223760 markings, 3627280 edges, 4981 markings/sec, 325 secs
lola: 1236965 markings, 3662794 edges, 2641 markings/sec, 330 secs
lola: 1250821 markings, 3701379 edges, 2771 markings/sec, 335 secs
lola: 1273661 markings, 3772328 edges, 4568 markings/sec, 340 secs
lola: 1286151 markings, 3805608 edges, 2498 markings/sec, 345 secs
lola: 1308218 markings, 3875431 edges, 4413 markings/sec, 350 secs
lola: 1326308 markings, 3922935 edges, 3618 markings/sec, 355 secs
lola: 1339957 markings, 3959969 edges, 2730 markings/sec, 360 secs
lola: 1361681 markings, 4018305 edges, 4345 markings/sec, 365 secs
lola: 1374254 markings, 4052633 edges, 2515 markings/sec, 370 secs
lola: 1394713 markings, 4107699 edges, 4092 markings/sec, 375 secs
lola: 1409001 markings, 4146269 edges, 2858 markings/sec, 380 secs
lola: 1426434 markings, 4192162 edges, 3487 markings/sec, 385 secs
lola: 1453764 markings, 4284371 edges, 5466 markings/sec, 390 secs
lola: 1470962 markings, 4330368 edges, 3440 markings/sec, 395 secs
lola: 1485123 markings, 4367526 edges, 2832 markings/sec, 400 secs
lola: 1498224 markings, 4402422 edges, 2620 markings/sec, 405 secs
lola: 1511117 markings, 4437271 edges, 2579 markings/sec, 410 secs
lola: 1537826 markings, 4524315 edges, 5342 markings/sec, 415 secs
lola: 1552925 markings, 4565938 edges, 3020 markings/sec, 420 secs
lola: 1567406 markings, 4604176 edges, 2896 markings/sec, 425 secs
lola: 1580680 markings, 4639587 edges, 2655 markings/sec, 430 secs
lola: 1592630 markings, 4671101 edges, 2390 markings/sec, 435 secs
lola: 1621921 markings, 4764763 edges, 5858 markings/sec, 440 secs
lola: 1633127 markings, 4796059 edges, 2241 markings/sec, 445 secs
lola: 1648011 markings, 4835633 edges, 2977 markings/sec, 450 secs
lola: 1660760 markings, 4869473 edges, 2550 markings/sec, 455 secs
lola: 1684890 markings, 4948127 edges, 4826 markings/sec, 460 secs
lola: 1702287 markings, 4995501 edges, 3479 markings/sec, 465 secs
lola: 1715962 markings, 5031546 edges, 2735 markings/sec, 470 secs
lola: 1728961 markings, 5066329 edges, 2600 markings/sec, 475 secs
lola: 1742873 markings, 5106127 edges, 2782 markings/sec, 480 secs
lola: 1769001 markings, 5187493 edges, 5226 markings/sec, 485 secs
lola: 1780267 markings, 5217751 edges, 2253 markings/sec, 490 secs
lola: 1793608 markings, 5254034 edges, 2668 markings/sec, 495 secs
lola: 1807692 markings, 5291119 edges, 2817 markings/sec, 500 secs
lola: 1834519 markings, 5375856 edges, 5365 markings/sec, 505 secs
lola: 1845853 markings, 5407573 edges, 2267 markings/sec, 510 secs
lola: 1860041 markings, 5445334 edges, 2838 markings/sec, 515 secs
lola: 1873558 markings, 5480840 edges, 2703 markings/sec, 520 secs
lola: 1899754 markings, 5563340 edges, 5239 markings/sec, 525 secs
lola: 1911014 markings, 5594792 edges, 2252 markings/sec, 530 secs
lola: 1925009 markings, 5632069 edges, 2799 markings/sec, 535 secs
lola: 1938228 markings, 5666730 edges, 2644 markings/sec, 540 secs
lola: 1964749 markings, 5750085 edges, 5304 markings/sec, 545 secs
lola: 1977314 markings, 5783183 edges, 2513 markings/sec, 550 secs
lola: 1990684 markings, 5819415 edges, 2674 markings/sec, 555 secs
lola: 2010935 markings, 5885163 edges, 4050 markings/sec, 560 secs
lola: 2028664 markings, 5933451 edges, 3546 markings/sec, 565 secs
lola: 2042271 markings, 5969663 edges, 2721 markings/sec, 570 secs
lola: 2054687 markings, 6002440 edges, 2483 markings/sec, 575 secs
lola: 2081650 markings, 6083821 edges, 5393 markings/sec, 580 secs
lola: 2095927 markings, 6123559 edges, 2855 markings/sec, 585 secs
lola: 2108885 markings, 6158798 edges, 2592 markings/sec, 590 secs
lola: 2128342 markings, 6215436 edges, 3891 markings/sec, 595 secs
lola: 2149744 markings, 6273885 edges, 4280 markings/sec, 600 secs
lola: 2162422 markings, 6308633 edges, 2536 markings/sec, 605 secs
lola: 2179413 markings, 6356948 edges, 3398 markings/sec, 610 secs
lola: 2200003 markings, 6413301 edges, 4118 markings/sec, 615 secs
lola: 2213188 markings, 6449237 edges, 2637 markings/sec, 620 secs
lola: 2232452 markings, 6502040 edges, 3853 markings/sec, 625 secs
lola: 2253443 markings, 6565490 edges, 4198 markings/sec, 630 secs
lola: 2278712 markings, 6643137 edges, 5054 markings/sec, 635 secs
lola: 2293244 markings, 6684413 edges, 2906 markings/sec, 640 secs
lola: 2306793 markings, 6719097 edges, 2710 markings/sec, 645 secs
lola: 2319414 markings, 6754648 edges, 2524 markings/sec, 650 secs
lola: 2333749 markings, 6792621 edges, 2867 markings/sec, 655 secs
lola: 2346251 markings, 6825416 edges, 2500 markings/sec, 660 secs
lola: 2374434 markings, 6917665 edges, 5637 markings/sec, 665 secs
lola: 2390645 markings, 6962264 edges, 3242 markings/sec, 670 secs
lola: 2403836 markings, 6996000 edges, 2638 markings/sec, 675 secs
lola: 2416624 markings, 7032020 edges, 2558 markings/sec, 680 secs
lola: 2430720 markings, 7069393 edges, 2819 markings/sec, 685 secs
lola: 2443929 markings, 7105088 edges, 2642 markings/sec, 690 secs
lola: 2473023 markings, 7197286 edges, 5819 markings/sec, 695 secs
lola: 2486593 markings, 7235744 edges, 2714 markings/sec, 700 secs
lola: 2501062 markings, 7273359 edges, 2894 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 50 1 50 1 50 unknown unknown unknown 50 unknown unknown 1 50 50 unknown
lola: memory consumption: 133160 KB
lola: time consumption: 1428 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 714 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p121 + p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p121 + p122)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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-V50P50N10-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1071 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p121 + p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p121 + p122)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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-V50P50N10-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2142 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p51 + p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p51 + p52)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-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-V50P50N10-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p119)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V50P50N10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 50
lola: 16552 markings, 37347 edges, 3310 markings/sec, 0 secs
lola: 43529 markings, 125712 edges, 5395 markings/sec, 5 secs
lola: 56860 markings, 161326 edges, 2666 markings/sec, 10 secs
lola: 82121 markings, 244000 edges, 5052 markings/sec, 15 secs
lola: 106126 markings, 322263 edges, 4801 markings/sec, 20 secs
lola: 119217 markings, 357060 edges, 2618 markings/sec, 25 secs
lola: 143347 markings, 435765 edges, 4826 markings/sec, 30 secs
lola: 166992 markings, 512189 edges, 4729 markings/sec, 35 secs
lola: 189711 markings, 585175 edges, 4544 markings/sec, 40 secs
lola: 206057 markings, 632192 edges, 3269 markings/sec, 45 secs
lola: 226021 markings, 693911 edges, 3993 markings/sec, 50 secs
lola: 248152 markings, 764538 edges, 4426 markings/sec, 55 secs
lola: 270314 markings, 834459 edges, 4432 markings/sec, 60 secs
lola: 293490 markings, 906456 edges, 4635 markings/sec, 65 secs
lola: 309344 markings, 946593 edges, 3171 markings/sec, 70 secs
lola: 323825 markings, 983370 edges, 2896 markings/sec, 75 secs
lola: 351032 markings, 1071907 edges, 5441 markings/sec, 80 secs
lola: 366557 markings, 1113126 edges, 3105 markings/sec, 85 secs
lola: 379689 markings, 1148549 edges, 2626 markings/sec, 90 secs
lola: 406368 markings, 1235058 edges, 5336 markings/sec, 95 secs
lola: 419306 markings, 1270021 edges, 2588 markings/sec, 100 secs
lola: 437358 markings, 1324712 edges, 3610 markings/sec, 105 secs
lola: 457317 markings, 1386207 edges, 3992 markings/sec, 110 secs
lola: 471248 markings, 1423037 edges, 2786 markings/sec, 115 secs
lola: 496875 markings, 1505335 edges, 5125 markings/sec, 120 secs
lola: 509154 markings, 1538304 edges, 2456 markings/sec, 125 secs
lola: 532961 markings, 1615240 edges, 4761 markings/sec, 130 secs
lola: 548088 markings, 1655454 edges, 3025 markings/sec, 135 secs
lola: 565163 markings, 1707218 edges, 3415 markings/sec, 140 secs
lola: 584975 markings, 1766104 edges, 3962 markings/sec, 145 secs
lola: 597917 markings, 1800917 edges, 2588 markings/sec, 150 secs
lola: 621086 markings, 1875459 edges, 4634 markings/sec, 155 secs
lola: 634760 markings, 1911379 edges, 2735 markings/sec, 160 secs
lola: 657597 markings, 1984483 edges, 4567 markings/sec, 165 secs
lola: 671124 markings, 2020083 edges, 2705 markings/sec, 170 secs
lola: 693151 markings, 2090068 edges, 4405 markings/sec, 175 secs
lola: 710688 markings, 2142257 edges, 3507 markings/sec, 180 secs
lola: 731660 markings, 2203061 edges, 4194 markings/sec, 185 secs
lola: 747908 markings, 2245635 edges, 3250 markings/sec, 190 secs
lola: 763007 markings, 2285068 edges, 3020 markings/sec, 195 secs
lola: 780791 markings, 2331747 edges, 3557 markings/sec, 200 secs
lola: 798187 markings, 2376800 edges, 3479 markings/sec, 205 secs
lola: 826493 markings, 2469635 edges, 5661 markings/sec, 210 secs
lola: 839456 markings, 2504036 edges, 2593 markings/sec, 215 secs
lola: 853382 markings, 2541806 edges, 2785 markings/sec, 220 secs
lola: 868016 markings, 2583869 edges, 2927 markings/sec, 225 secs
lola: 894186 markings, 2666775 edges, 5234 markings/sec, 230 secs
lola: 907728 markings, 2702876 edges, 2708 markings/sec, 235 secs
lola: 920243 markings, 2736468 edges, 2503 markings/sec, 240 secs
lola: 944667 markings, 2816789 edges, 4885 markings/sec, 245 secs
lola: 959754 markings, 2857314 edges, 3017 markings/sec, 250 secs
lola: 972964 markings, 2892400 edges, 2642 markings/sec, 255 secs
lola: 987271 markings, 2930512 edges, 2861 markings/sec, 260 secs
lola: 1013873 markings, 3015727 edges, 5320 markings/sec, 265 secs
lola: 1027239 markings, 3051421 edges, 2673 markings/sec, 270 secs
lola: 1039592 markings, 3084128 edges, 2471 markings/sec, 275 secs
lola: 1065862 markings, 3167538 edges, 5254 markings/sec, 280 secs
lola: 1078736 markings, 3201915 edges, 2575 markings/sec, 285 secs
lola: 1092059 markings, 3238173 edges, 2665 markings/sec, 290 secs
lola: 1114496 markings, 3311459 edges, 4487 markings/sec, 295 secs
lola: 1128791 markings, 3349834 edges, 2859 markings/sec, 300 secs
lola: 1143638 markings, 3388815 edges, 2969 markings/sec, 305 secs
lola: 1165506 markings, 3460042 edges, 4374 markings/sec, 310 secs
lola: 1180009 markings, 3499097 edges, 2901 markings/sec, 315 secs
lola: 1194681 markings, 3537676 edges, 2934 markings/sec, 320 secs
lola: 1217324 markings, 3609805 edges, 4529 markings/sec, 325 secs
lola: 1231306 markings, 3647111 edges, 2796 markings/sec, 330 secs
lola: 1244978 markings, 3684137 edges, 2734 markings/sec, 335 secs
lola: 1269042 markings, 3759289 edges, 4813 markings/sec, 340 secs
lola: 1282401 markings, 3795343 edges, 2672 markings/sec, 345 secs
lola: 1294298 markings, 3826801 edges, 2379 markings/sec, 350 secs
lola: 1321093 markings, 3908500 edges, 5359 markings/sec, 355 secs
lola: 1332215 markings, 3938545 edges, 2224 markings/sec, 360 secs
lola: 1351715 markings, 3992880 edges, 3900 markings/sec, 365 secs
lola: 1369941 markings, 4041241 edges, 3645 markings/sec, 370 secs
lola: 1385046 markings, 4082445 edges, 3021 markings/sec, 375 secs
lola: 1402697 markings, 4129535 edges, 3530 markings/sec, 380 secs
lola: 1420163 markings, 4175952 edges, 3493 markings/sec, 385 secs
lola: 1446341 markings, 4261427 edges, 5236 markings/sec, 390 secs
lola: 1465509 markings, 4314943 edges, 3834 markings/sec, 395 secs
lola: 1476102 markings, 4344365 edges, 2119 markings/sec, 400 secs
lola: 1491540 markings, 4385519 edges, 3088 markings/sec, 405 secs
lola: 1504804 markings, 4420737 edges, 2653 markings/sec, 410 secs
lola: 1525811 markings, 4487690 edges, 4201 markings/sec, 415 secs
lola: 1547922 markings, 4551870 edges, 4422 markings/sec, 420 secs
lola: 1560493 markings, 4584544 edges, 2514 markings/sec, 425 secs
lola: 1573000 markings, 4619542 edges, 2501 markings/sec, 430 secs
lola: 1587754 markings, 4658189 edges, 2951 markings/sec, 435 secs
lola: 1612279 markings, 4739980 edges, 4905 markings/sec, 440 secs
lola: 1628932 markings, 4784608 edges, 3331 markings/sec, 445 secs
lola: 1643058 markings, 4821793 edges, 2825 markings/sec, 450 secs
lola: 1656305 markings, 4857248 edges, 2649 markings/sec, 455 secs
lola: 1668935 markings, 4891669 edges, 2526 markings/sec, 460 secs
lola: 1696845 markings, 4980131 edges, 5582 markings/sec, 465 secs
lola: 1707640 markings, 5010105 edges, 2159 markings/sec, 470 secs
lola: 1722394 markings, 5049453 edges, 2951 markings/sec, 475 secs
lola: 1736463 markings, 5086311 edges, 2814 markings/sec, 480 secs
lola: 1762345 markings, 5168905 edges, 5176 markings/sec, 485 secs
lola: 1775961 markings, 5207035 edges, 2723 markings/sec, 490 secs
lola: 1790187 markings, 5244782 edges, 2845 markings/sec, 495 secs
lola: 1802760 markings, 5278297 edges, 2515 markings/sec, 500 secs
lola: 1825853 markings, 5353591 edges, 4619 markings/sec, 505 secs
lola: 1842613 markings, 5398727 edges, 3352 markings/sec, 510 secs
lola: 1856619 markings, 5435910 edges, 2801 markings/sec, 515 secs
lola: 1869320 markings, 5469858 edges, 2540 markings/sec, 520 secs
lola: 1892211 markings, 5544332 edges, 4578 markings/sec, 525 secs
lola: 1908386 markings, 5587717 edges, 3235 markings/sec, 530 secs
lola: 1922350 markings, 5624791 edges, 2793 markings/sec, 535 secs
lola: 1934557 markings, 5657234 edges, 2441 markings/sec, 540 secs
lola: 1960573 markings, 5738143 edges, 5203 markings/sec, 545 secs
lola: 1972734 markings, 5772296 edges, 2432 markings/sec, 550 secs
lola: 1986633 markings, 5809239 edges, 2780 markings/sec, 555 secs
lola: 2002684 markings, 5854986 edges, 3210 markings/sec, 560 secs
lola: 2026124 markings, 5926325 edges, 4688 markings/sec, 565 secs
lola: 2039538 markings, 5961999 edges, 2683 markings/sec, 570 secs
lola: 2052244 markings, 5996238 edges, 2541 markings/sec, 575 secs
lola: 2076106 markings, 6070107 edges, 4772 markings/sec, 580 secs
lola: 2093535 markings, 6116978 edges, 3486 markings/sec, 585 secs
lola: 2105099 markings, 6147936 edges, 2313 markings/sec, 590 secs
lola: 2124484 markings, 6204123 edges, 3877 markings/sec, 595 secs
lola: 2145716 markings, 6262899 edges, 4246 markings/sec, 600 secs
lola: 2160501 markings, 6303523 edges, 2957 markings/sec, 605 secs
lola: 2175704 markings, 6346062 edges, 3041 markings/sec, 610 secs
lola: 2196502 markings, 6403646 edges, 4160 markings/sec, 615 secs
lola: 2209644 markings, 6438901 edges, 2628 markings/sec, 620 secs
lola: 2229621 markings, 6494358 edges, 3995 markings/sec, 625 secs
lola: 2244469 markings, 6532850 edges, 2970 markings/sec, 630 secs
lola: 2272059 markings, 6627760 edges, 5518 markings/sec, 635 secs
lola: 2290749 markings, 6677439 edges, 3738 markings/sec, 640 secs
lola: 2300553 markings, 6703963 edges, 1961 markings/sec, 645 secs
lola: 2317271 markings, 6748734 edges, 3344 markings/sec, 650 secs
lola: 2331260 markings, 6785701 edges, 2798 markings/sec, 655 secs
lola: 2343763 markings, 6819064 edges, 2501 markings/sec, 660 secs
lola: 2369095 markings, 6904144 edges, 5066 markings/sec, 665 secs
lola: 2387992 markings, 6954782 edges, 3779 markings/sec, 670 secs
lola: 2397840 markings, 6981885 edges, 1970 markings/sec, 675 secs
lola: 2414464 markings, 7026091 edges, 3325 markings/sec, 680 secs
lola: 2428346 markings, 7062793 edges, 2776 markings/sec, 685 secs
lola: 2440512 markings, 7095195 edges, 2433 markings/sec, 690 secs
lola: 2466903 markings, 7182433 edges, 5278 markings/sec, 695 secs
lola: 2484292 markings, 7229331 edges, 3478 markings/sec, 700 secs
lola: 2497256 markings, 7262512 edges, 2593 markings/sec, 705 secs
lola: 2510058 markings, 7298568 edges, 2560 markings/sec, 710 secs
lola: 2523962 markings, 7335440 edges, 2781 markings/sec, 715 secs
lola: 2542019 markings, 7390963 edges, 3611 markings/sec, 720 secs
lola: 2566710 markings, 7464494 edges, 4938 markings/sec, 725 secs
lola: 2578759 markings, 7498411 edges, 2410 markings/sec, 730 secs
lola: 2594052 markings, 7538625 edges, 3059 markings/sec, 735 secs
lola: 2607147 markings, 7573256 edges, 2619 markings/sec, 740 secs
lola: 2619717 markings, 7607128 edges, 2514 markings/sec, 745 secs
lola: 2645501 markings, 7691031 edges, 5157 markings/sec, 750 secs
lola: 2661859 markings, 7735670 edges, 3272 markings/sec, 755 secs
lola: 2675695 markings, 7771609 edges, 2767 markings/sec, 760 secs
lola: 2686899 markings, 7802746 edges, 2241 markings/sec, 765 secs
lola: 2701740 markings, 7841634 edges, 2968 markings/sec, 770 secs
lola: 2725557 markings, 7920687 edges, 4763 markings/sec, 775 secs
lola: 2743410 markings, 7968312 edges, 3571 markings/sec, 780 secs
lola: 2756565 markings, 8002352 edges, 2631 markings/sec, 785 secs
lola: 2768434 markings, 8035541 edges, 2374 markings/sec, 790 secs
lola: 2782708 markings, 8072900 edges, 2855 markings/sec, 795 secs
lola: 2806059 markings, 8150307 edges, 4670 markings/sec, 800 secs
lola: 2823735 markings, 8197364 edges, 3535 markings/sec, 805 secs
lola: 2837442 markings, 8233103 edges, 2741 markings/sec, 810 secs
lola: 2849994 markings, 8266569 edges, 2510 markings/sec, 815 secs
lola: 2862835 markings, 8301342 edges, 2568 markings/sec, 820 secs
lola: 2889995 markings, 8386404 edges, 5432 markings/sec, 825 secs
lola: 2902678 markings, 8422233 edges, 2537 markings/sec, 830 secs
lola: 2917359 markings, 8461029 edges, 2936 markings/sec, 835 secs
lola: 2930284 markings, 8495496 edges, 2585 markings/sec, 840 secs
lola: 2951593 markings, 8563904 edges, 4262 markings/sec, 845 secs
lola: 2969967 markings, 8614424 edges, 3675 markings/sec, 850 secs
lola: 2982777 markings, 8647826 edges, 2562 markings/sec, 855 secs
lola: 2994949 markings, 8681173 edges, 2434 markings/sec, 860 secs
lola: 3010402 markings, 8724955 edges, 3091 markings/sec, 865 secs
lola: 3037097 markings, 8803436 edges, 5339 markings/sec, 870 secs
lola: 3051947 markings, 8844816 edges, 2970 markings/sec, 875 secs
lola: 3062161 markings, 8871794 edges, 2043 markings/sec, 880 secs
lola: 3080642 markings, 8926939 edges, 3696 markings/sec, 885 secs
lola: 3099145 markings, 8982051 edges, 3701 markings/sec, 890 secs
lola: 3118402 markings, 9039375 edges, 3851 markings/sec, 895 secs
lola: 3137837 markings, 9090364 edges, 3887 markings/sec, 900 secs
lola: 3148603 markings, 9118974 edges, 2153 markings/sec, 905 secs
lola: 3167128 markings, 9174000 edges, 3705 markings/sec, 910 secs
lola: 3186367 markings, 9230877 edges, 3848 markings/sec, 915 secs
lola: 3204810 markings, 9280091 edges, 3689 markings/sec, 920 secs
lola: 3219089 markings, 9320103 edges, 2856 markings/sec, 925 secs
lola: 3239109 markings, 9376502 edges, 4004 markings/sec, 930 secs
lola: 3254175 markings, 9417380 edges, 3013 markings/sec, 935 secs
lola: 3280604 markings, 9504962 edges, 5286 markings/sec, 940 secs
lola: 3301911 markings, 9563758 edges, 4261 markings/sec, 945 secs
lola: 3315955 markings, 9603741 edges, 2809 markings/sec, 950 secs
lola: 3325861 markings, 9630052 edges, 1981 markings/sec, 955 secs
lola: 3343312 markings, 9676842 edges, 3490 markings/sec, 960 secs
lola: 3355980 markings, 9709488 edges, 2534 markings/sec, 965 secs
lola: 3367885 markings, 9742607 edges, 2381 markings/sec, 970 secs
lola: 3381531 markings, 9778476 edges, 2729 markings/sec, 975 secs
lola: 3407983 markings, 9869134 edges, 5290 markings/sec, 980 secs
lola: 3427697 markings, 9921069 edges, 3943 markings/sec, 985 secs
lola: 3438171 markings, 9950289 edges, 2095 markings/sec, 990 secs
lola: 3454796 markings, 9993540 edges, 3325 markings/sec, 995 secs
lola: 3465159 markings, 10022193 edges, 2073 markings/sec, 1000 secs
lola: 3480451 markings, 10062794 edges, 3058 markings/sec, 1005 secs
lola: 3493112 markings, 10095928 edges, 2532 markings/sec, 1010 secs
lola: 3518839 markings, 10183569 edges, 5145 markings/sec, 1015 secs
lola: 3538577 markings, 10235865 edges, 3948 markings/sec, 1020 secs
lola: 3549380 markings, 10266048 edges, 2161 markings/sec, 1025 secs
lola: 3565758 markings, 10308722 edges, 3276 markings/sec, 1030 secs
lola: 3576045 markings, 10337070 edges, 2057 markings/sec, 1035 secs
lola: 3591117 markings, 10377150 edges, 3014 markings/sec, 1040 secs
lola: 3606553 markings, 10421353 edges, 3087 markings/sec, 1045 secs
lola: 3631404 markings, 10501380 edges, 4970 markings/sec, 1050 secs
lola: 3648658 markings, 10548413 edges, 3451 markings/sec, 1055 secs
lola: 3658410 markings, 10575202 edges, 1950 markings/sec, 1060 secs
lola: 3675531 markings, 10620451 edges, 3424 markings/sec, 1065 secs
lola: 3688810 markings, 10655246 edges, 2656 markings/sec, 1070 secs
lola: 3701594 markings, 10689617 edges, 2557 markings/sec, 1075 secs
lola: 3724499 markings, 10765325 edges, 4581 markings/sec, 1080 secs
lola: 3744691 markings, 10821073 edges, 4038 markings/sec, 1085 secs
lola: 3756789 markings, 10855191 edges, 2420 markings/sec, 1090 secs
lola: 3771838 markings, 10894123 edges, 3010 markings/sec, 1095 secs
lola: 3782991 markings, 10925209 edges, 2231 markings/sec, 1100 secs
lola: 3797329 markings, 10963228 edges, 2868 markings/sec, 1105 secs
lola: 3817660 markings, 11028048 edges, 4066 markings/sec, 1110 secs
lola: 3839391 markings, 11089938 edges, 4346 markings/sec, 1115 secs
lola: 3852874 markings, 11128230 edges, 2697 markings/sec, 1120 secs
lola: 3866169 markings, 11162122 edges, 2659 markings/sec, 1125 secs
lola: 3878792 markings, 11197629 edges, 2525 markings/sec, 1130 secs
lola: 3892537 markings, 11234020 edges, 2749 markings/sec, 1135 secs
lola: 3909247 markings, 11285115 edges, 3342 markings/sec, 1140 secs
lola: 3932571 markings, 11354568 edges, 4665 markings/sec, 1145 secs
lola: 3946468 markings, 11394069 edges, 2779 markings/sec, 1150 secs
lola: 3959482 markings, 11427280 edges, 2603 markings/sec, 1155 secs
lola: 3972196 markings, 11463046 edges, 2543 markings/sec, 1160 secs
lola: 3985798 markings, 11499106 edges, 2720 markings/sec, 1165 secs
lola: 4006376 markings, 11565677 edges, 4116 markings/sec, 1170 secs
lola: 4026619 markings, 11621831 edges, 4049 markings/sec, 1175 secs
lola: 4039033 markings, 11656844 edges, 2483 markings/sec, 1180 secs
lola: 4053658 markings, 11694951 edges, 2925 markings/sec, 1185 secs
lola: 4064299 markings, 11723993 edges, 2128 markings/sec, 1190 secs
lola: 4078661 markings, 11761902 edges, 2872 markings/sec, 1195 secs
lola: 4100962 markings, 11836151 edges, 4460 markings/sec, 1200 secs
lola: 4119544 markings, 11885791 edges, 3716 markings/sec, 1205 secs
lola: 4129334 markings, 11912693 edges, 1958 markings/sec, 1210 secs
lola: 4145301 markings, 11955176 edges, 3193 markings/sec, 1215 secs
lola: 4158332 markings, 11989743 edges, 2606 markings/sec, 1220 secs
lola: 4179064 markings, 12056171 edges, 4146 markings/sec, 1225 secs
lola: 4201180 markings, 12114880 edges, 4423 markings/sec, 1230 secs
lola: 4215868 markings, 12155677 edges, 2938 markings/sec, 1235 secs
lola: 4226475 markings, 12184198 edges, 2121 markings/sec, 1240 secs
lola: 4241952 markings, 12229455 edges, 3095 markings/sec, 1245 secs
lola: 4258963 markings, 12281173 edges, 3402 markings/sec, 1250 secs
lola: 4276085 markings, 12333298 edges, 3424 markings/sec, 1255 secs
lola: 4293454 markings, 12386415 edges, 3474 markings/sec, 1260 secs
lola: 4310473 markings, 12438271 edges, 3404 markings/sec, 1265 secs
lola: 4330818 markings, 12491258 edges, 4069 markings/sec, 1270 secs
lola: 4342525 markings, 12523079 edges, 2341 markings/sec, 1275 secs
lola: 4357769 markings, 12567563 edges, 3049 markings/sec, 1280 secs
lola: 4375564 markings, 12621391 edges, 3559 markings/sec, 1285 secs
lola: 4393287 markings, 12674892 edges, 3545 markings/sec, 1290 secs
lola: 4413410 markings, 12730830 edges, 4025 markings/sec, 1295 secs
lola: 4426610 markings, 12766811 edges, 2640 markings/sec, 1300 secs
lola: 4442269 markings, 12812449 edges, 3132 markings/sec, 1305 secs
lola: 4460199 markings, 12865830 edges, 3586 markings/sec, 1310 secs
lola: 4477547 markings, 12912394 edges, 3470 markings/sec, 1315 secs
lola: 4494602 markings, 12958404 edges, 3411 markings/sec, 1320 secs
lola: 4519719 markings, 13043405 edges, 5023 markings/sec, 1325 secs
lola: 4539954 markings, 13100567 edges, 4047 markings/sec, 1330 secs
lola: 4556170 markings, 13146444 edges, 3243 markings/sec, 1335 secs
lola: 4566744 markings, 13176002 edges, 2115 markings/sec, 1340 secs
lola: 4583131 markings, 13217710 edges, 3277 markings/sec, 1345 secs
lola: 4595445 markings, 13252419 edges, 2463 markings/sec, 1350 secs
lola: 4609678 markings, 13289144 edges, 2847 markings/sec, 1355 secs
lola: 4620665 markings, 13319672 edges, 2197 markings/sec, 1360 secs
lola: 4634202 markings, 13355038 edges, 2707 markings/sec, 1365 secs
lola: 4659814 markings, 13442031 edges, 5122 markings/sec, 1370 secs
lola: 4679929 markings, 13496833 edges, 4023 markings/sec, 1375 secs
lola: 4694118 markings, 13537279 edges, 2838 markings/sec, 1380 secs
lola: 4703897 markings, 13564315 edges, 1956 markings/sec, 1385 secs
lola: 4721576 markings, 13610161 edges, 3536 markings/sec, 1390 secs
lola: 4732391 markings, 13640267 edges, 2163 markings/sec, 1395 secs
lola: 4747877 markings, 13680935 edges, 3097 markings/sec, 1400 secs
lola: 4760004 markings, 13712985 edges, 2425 markings/sec, 1405 secs
lola: 4780154 markings, 13779040 edges, 4030 markings/sec, 1410 secs
lola: 4797989 markings, 13835918 edges, 3567 markings/sec, 1415 secs
lola: 4818420 markings, 13889479 edges, 4086 markings/sec, 1420 secs
lola: 4829825 markings, 13921578 edges, 2281 markings/sec, 1425 secs
lola: 4844628 markings, 13958874 edges, 2961 markings/sec, 1430 secs
lola: 4857831 markings, 13996198 edges, 2641 markings/sec, 1435 secs
lola: 4871648 markings, 14032001 edges, 2763 markings/sec, 1440 secs
lola: 4882574 markings, 14062146 edges, 2185 markings/sec, 1445 secs
lola: 4899647 markings, 14111997 edges, 3415 markings/sec, 1450 secs
lola: 4921707 markings, 14186123 edges, 4412 markings/sec, 1455 secs
lola: 4942100 markings, 14239974 edges, 4079 markings/sec, 1460 secs
lola: 4953905 markings, 14273205 edges, 2361 markings/sec, 1465 secs
lola: 4968323 markings, 14309554 edges, 2884 markings/sec, 1470 secs
lola: 4981796 markings, 14347583 edges, 2695 markings/sec, 1475 secs
lola: 4995878 markings, 14384311 edges, 2816 markings/sec, 1480 secs
lola: 5008203 markings, 14417230 edges, 2465 markings/sec, 1485 secs
lola: 5030258 markings, 14490112 edges, 4411 markings/sec, 1490 secs
lola: 5048200 markings, 14542751 edges, 3588 markings/sec, 1495 secs
lola: 5066223 markings, 14591774 edges, 3605 markings/sec, 1500 secs
lola: 5076657 markings, 14620804 edges, 2087 markings/sec, 1505 secs
lola: 5093383 markings, 14664226 edges, 3345 markings/sec, 1510 secs
lola: 5104247 markings, 14694395 edges, 2173 markings/sec, 1515 secs
lola: 5119350 markings, 14734323 edges, 3021 markings/sec, 1520 secs
lola: 5131259 markings, 14765680 edges, 2382 markings/sec, 1525 secs
lola: 5155728 markings, 14848810 edges, 4894 markings/sec, 1530 secs
lola: 5176093 markings, 14903201 edges, 4073 markings/sec, 1535 secs
lola: 5188154 markings, 14937213 edges, 2412 markings/sec, 1540 secs
lola: 5202380 markings, 14973250 edges, 2845 markings/sec, 1545 secs
lola: 5215262 markings, 15009584 edges, 2576 markings/sec, 1550 secs
lola: 5229470 markings, 15046950 edges, 2842 markings/sec, 1555 secs
lola: 5241530 markings, 15079082 edges, 2412 markings/sec, 1560 secs
lola: 5264958 markings, 15157857 edges, 4686 markings/sec, 1565 secs
lola: 5284705 markings, 15211133 edges, 3949 markings/sec, 1570 secs
lola: 5297288 markings, 15246654 edges, 2517 markings/sec, 1575 secs
lola: 5311172 markings, 15281915 edges, 2777 markings/sec, 1580 secs
lola: 5324315 markings, 15318944 edges, 2629 markings/sec, 1585 secs
lola: 5338078 markings, 15355177 edges, 2753 markings/sec, 1590 secs
lola: 5349680 markings, 15385936 edges, 2320 markings/sec, 1595 secs
lola: 5373359 markings, 15465924 edges, 4736 markings/sec, 1600 secs
lola: 5393064 markings, 15518523 edges, 3941 markings/sec, 1605 secs
lola: 5404515 markings, 15550639 edges, 2290 markings/sec, 1610 secs
lola: 5419860 markings, 15590313 edges, 3069 markings/sec, 1615 secs
lola: 5431054 markings, 15621451 edges, 2239 markings/sec, 1620 secs
lola: 5445161 markings, 15658840 edges, 2821 markings/sec, 1625 secs
lola: 5465730 markings, 15724034 edges, 4114 markings/sec, 1630 secs
lola: 5485424 markings, 15780336 edges, 3939 markings/sec, 1635 secs
lola: 5500158 markings, 15822155 edges, 2947 markings/sec, 1640 secs
lola: 5510124 markings, 15848811 edges, 1993 markings/sec, 1645 secs
lola: 5526738 markings, 15893420 edges, 3323 markings/sec, 1650 secs
lola: 5540148 markings, 15928850 edges, 2682 markings/sec, 1655 secs
lola: 5554860 markings, 15972362 edges, 2942 markings/sec, 1660 secs
lola: 5574937 markings, 16038136 edges, 4015 markings/sec, 1665 secs
lola: 5597999 markings, 16096394 edges, 4612 markings/sec, 1670 secs
lola: 5611469 markings, 16133685 edges, 2694 markings/sec, 1675 secs
lola: 5621882 markings, 16161426 edges, 2083 markings/sec, 1680 secs
lola: 5636170 markings, 16204182 edges, 2858 markings/sec, 1685 secs
lola: 5652220 markings, 16252749 edges, 3210 markings/sec, 1690 secs
lola: 5668584 markings, 16304275 edges, 3273 markings/sec, 1695 secs
lola: 5684593 markings, 16353956 edges, 3202 markings/sec, 1700 secs
lola: 5700854 markings, 16403347 edges, 3252 markings/sec, 1705 secs
lola: 5716940 markings, 16453675 edges, 3217 markings/sec, 1710 secs
lola: 5733056 markings, 16502884 edges, 3223 markings/sec, 1715 secs
lola: 5754326 markings, 16559725 edges, 4254 markings/sec, 1720 secs
lola: 5768202 markings, 16598020 edges, 2775 markings/sec, 1725 secs
lola: 5778629 markings, 16624527 edges, 2085 markings/sec, 1730 secs
lola: 5795098 markings, 16676484 edges, 3294 markings/sec, 1735 secs
lola: 5811650 markings, 16727150 edges, 3310 markings/sec, 1740 secs
lola: 5828110 markings, 16777710 edges, 3292 markings/sec, 1745 secs
lola: 5844281 markings, 16827415 edges, 3234 markings/sec, 1750 secs
lola: 5860588 markings, 16877125 edges, 3261 markings/sec, 1755 secs
lola: 5879440 markings, 16925814 edges, 3770 markings/sec, 1760 secs
lola: 5891478 markings, 16958913 edges, 2408 markings/sec, 1765 secs
lola: 5907637 markings, 17007737 edges, 3232 markings/sec, 1770 secs
lola: 5924428 markings, 17058910 edges, 3358 markings/sec, 1775 secs
lola: 5942731 markings, 17110702 edges, 3661 markings/sec, 1780 secs
lola: 5956141 markings, 17146705 edges, 2682 markings/sec, 1785 secs
lola: 5973898 markings, 17195847 edges, 3551 markings/sec, 1790 secs
lola: 5999327 markings, 17281000 edges, 5086 markings/sec, 1795 secs
lola: 6014655 markings, 17331049 edges, 3066 markings/sec, 1800 secs
lola: 6036337 markings, 17387083 edges, 4336 markings/sec, 1805 secs
lola: 6049310 markings, 17423860 edges, 2595 markings/sec, 1810 secs
lola: 6058848 markings, 17450112 edges, 1908 markings/sec, 1815 secs
lola: 6077569 markings, 17498193 edges, 3744 markings/sec, 1820 secs
lola: 6089390 markings, 17531455 edges, 2364 markings/sec, 1825 secs
lola: 6103984 markings, 17568767 edges, 2919 markings/sec, 1830 secs
lola: 6116116 markings, 17602709 edges, 2426 markings/sec, 1835 secs
lola: 6129816 markings, 17638785 edges, 2740 markings/sec, 1840 secs
lola: 6152643 markings, 17715255 edges, 4565 markings/sec, 1845 secs
lola: 6168799 markings, 17766683 edges, 3231 markings/sec, 1850 secs
lola: 6189941 markings, 17822082 edges, 4228 markings/sec, 1855 secs
lola: 6203438 markings, 17860423 edges, 2699 markings/sec, 1860 secs
lola: 6213248 markings, 17887496 edges, 1962 markings/sec, 1865 secs
lola: 6231167 markings, 17933366 edges, 3584 markings/sec, 1870 secs
lola: 6243231 markings, 17967318 edges, 2413 markings/sec, 1875 secs
lola: 6257500 markings, 18003899 edges, 2854 markings/sec, 1880 secs
lola: 6269475 markings, 18037322 edges, 2395 markings/sec, 1885 secs
lola: 6282865 markings, 18072585 edges, 2678 markings/sec, 1890 secs
lola: 6306610 markings, 18151344 edges, 4749 markings/sec, 1895 secs
lola: 6321968 markings, 18201030 edges, 3072 markings/sec, 1900 secs
lola: 6343182 markings, 18256222 edges, 4243 markings/sec, 1905 secs
lola: 6355542 markings, 18291149 edges, 2472 markings/sec, 1910 secs
lola: 6364658 markings, 18315856 edges, 1823 markings/sec, 1915 secs
lola: 6384103 markings, 18366747 edges, 3889 markings/sec, 1920 secs
lola: 6394672 markings, 18396113 edges, 2114 markings/sec, 1925 secs
lola: 6410700 markings, 18438086 edges, 3206 markings/sec, 1930 secs
lola: 6423042 markings, 18470595 edges, 2468 markings/sec, 1935 secs
lola: 6441265 markings, 18528335 edges, 3645 markings/sec, 1940 secs
lola: 6460942 markings, 18593051 edges, 3935 markings/sec, 1945 secs
lola: 6481355 markings, 18647550 edges, 4083 markings/sec, 1950 secs
lola: 6495403 markings, 18687482 edges, 2810 markings/sec, 1955 secs
lola: 6505387 markings, 18715122 edges, 1997 markings/sec, 1960 secs
lola: 6522976 markings, 18760335 edges, 3518 markings/sec, 1965 secs
lola: 6534623 markings, 18793021 edges, 2329 markings/sec, 1970 secs
lola: 6549239 markings, 18830961 edges, 2923 markings/sec, 1975 secs
lola: 6559866 markings, 18860135 edges, 2125 markings/sec, 1980 secs
lola: 6577937 markings, 18913834 edges, 3614 markings/sec, 1985 secs
lola: 6598904 markings, 18983924 edges, 4193 markings/sec, 1990 secs
lola: 6619239 markings, 19038278 edges, 4067 markings/sec, 1995 secs
lola: 6633293 markings, 19078269 edges, 2811 markings/sec, 2000 secs
lola: 6643209 markings, 19105658 edges, 1983 markings/sec, 2005 secs
lola: 6660896 markings, 19151356 edges, 3537 markings/sec, 2010 secs
lola: 6672212 markings, 19183015 edges, 2263 markings/sec, 2015 secs
lola: 6687353 markings, 19222620 edges, 3028 markings/sec, 2020 secs
lola: 6699641 markings, 19255219 edges, 2458 markings/sec, 2025 secs
lola: 6721609 markings, 19326572 edges, 4394 markings/sec, 2030 secs
lola: 6736868 markings, 19376494 edges, 3052 markings/sec, 2035 secs
lola: 6757735 markings, 19431029 edges, 4173 markings/sec, 2040 secs
lola: 6769734 markings, 19464815 edges, 2400 markings/sec, 2045 secs
lola: 6782048 markings, 19495820 edges, 2463 markings/sec, 2050 secs
lola: 6797779 markings, 19539413 edges, 3146 markings/sec, 2055 secs
lola: 6809455 markings, 19569540 edges, 2335 markings/sec, 2060 secs
lola: 6823069 markings, 19607214 edges, 2723 markings/sec, 2065 secs
lola: 6839488 markings, 19655808 edges, 3284 markings/sec, 2070 secs
lola: 6860221 markings, 19724580 edges, 4147 markings/sec, 2075 secs
lola: 6880370 markings, 19778683 edges, 4030 markings/sec, 2080 secs
lola: 6893713 markings, 19816504 edges, 2669 markings/sec, 2085 secs
lola: 6903041 markings, 19841942 edges, 1866 markings/sec, 2090 secs
lola: 6921133 markings, 19889442 edges, 3618 markings/sec, 2095 secs
lola: 6931095 markings, 19916761 edges, 1992 markings/sec, 2100 secs
lola: 6946380 markings, 19957304 edges, 3057 markings/sec, 2105 secs
lola: 6961254 markings, 20000456 edges, 2975 markings/sec, 2110 secs
lola: 6982346 markings, 20070866 edges, 4218 markings/sec, 2115 secs
lola: 7002319 markings, 20124609 edges, 3995 markings/sec, 2120 secs
lola: 7015452 markings, 20161779 edges, 2627 markings/sec, 2125 secs
lola: 7024635 markings, 20186628 edges, 1837 markings/sec, 2130 secs
lola: 7042962 markings, 20235087 edges, 3665 markings/sec, 2135 secs
lola: time limit reached - aborting
lola:
preliminary result: 50 50 1 50 1 50 unknown 1 unknown 50 1 1 1 50 50 unknown
lola:
preliminary result: 50 50 1 50 1 50 unknown 1 unknown 50 1 1 1 50 50 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 50 1 50 1 50 unknown 1 unknown 50 1 1 1 50 50 unknown
lola: memory consumption: 330024 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 50 50 1 50 1 50 unknown 1 unknown 50 1 1 1 50 50 unknown
lola: memory consumption: 330476 KB
lola: time consumption: 3570 seconds

BK_STOP 1526538714653

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

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-V50P50N10"
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

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V50P50N10.tgz
mv BridgeAndVehicles-COL-V50P50N10 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is BridgeAndVehicles-COL-V50P50N10, 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 r028-ebro-152646306200191"
echo "====================================================================="
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 ;