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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
400.960 3569990.00 3694734.00 533.30 1 1 1 20 1 ? 1 1 1 ? 20 ? 20 10 1 1 normal

Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r022-csrt-155225094600118.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-V20P10N50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094600118
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 4.4K Feb 9 07:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 9 07:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 5 04:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 5 04: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.7K Feb 4 22:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.4K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 2 01:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 01:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jan 29 12:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jan 29 12:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt

-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 41K 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-V20P10N50-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552404022644

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V20P10N50 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V20P10N50 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-COL-V20P10N50 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2336/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 3456
lola: finding significant places
lola: 108 places, 2228 transitions, 101 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2453 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-COL-V20P10N50-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 <= 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 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p95 + p94 + p93 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p96 <= 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 <= 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 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(p44 + p45) : MAX(0) : MAX(0) : MAX(p105) : MAX(0) : MAX(p100) : MAX(p44 + p45) : MAX(0) : MAX(0) : MAX(p100) : MAX(p42) : MAX(p101) : MAX(p42) : MAX(p106) : MAX(0) : MAX(p97 + p98)
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-V20P10N50-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

FORMULA BridgeAndVehicles-COL-V20P10N50-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N50-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: ========================================
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

FORMULA BridgeAndVehicles-COL-V20P10N50-UpperBounds-2 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-V20P10N50-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: ========================================
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

FORMULA BridgeAndVehicles-COL-V20P10N50-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N50-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: ========================================
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

FORMULA BridgeAndVehicles-COL-V20P10N50-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N50-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-V20P10N50-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N50-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-V20P10N50-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N50-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: Structural Bound: 4294967295
lola: 7 markings, 6 edges, 1 markings/sec, 25 secs
lola: 44989 markings, 69985 edges, 8996 markings/sec, 30 secs
lola: 58610 markings, 97174 edges, 2724 markings/sec, 35 secs
lola: 68254 markings, 113095 edges, 1929 markings/sec, 40 secs
lola: 81669 markings, 142959 edges, 2683 markings/sec, 45 secs
lola: 93988 markings, 169032 edges, 2464 markings/sec, 50 secs
lola: 106448 markings, 195141 edges, 2492 markings/sec, 55 secs
lola: 117967 markings, 219957 edges, 2304 markings/sec, 60 secs
lola: 129440 markings, 247677 edges, 2295 markings/sec, 65 secs
lola: 140062 markings, 266663 edges, 2124 markings/sec, 70 secs
lola: 147018 markings, 282155 edges, 1391 markings/sec, 75 secs
lola: 155597 markings, 304948 edges, 1716 markings/sec, 80 secs
lola: 164724 markings, 327604 edges, 1825 markings/sec, 85 secs
lola: 174023 markings, 349555 edges, 1860 markings/sec, 90 secs
lola: 183202 markings, 370397 edges, 1836 markings/sec, 95 secs
lola: 191052 markings, 389838 edges, 1570 markings/sec, 100 secs
lola: 200203 markings, 411586 edges, 1830 markings/sec, 105 secs
lola: 210599 markings, 436021 edges, 2079 markings/sec, 110 secs
lola: 220086 markings, 462607 edges, 1897 markings/sec, 115 secs
lola: 233061 markings, 485745 edges, 2595 markings/sec, 120 secs
lola: 242537 markings, 507282 edges, 1895 markings/sec, 125 secs
lola: 250258 markings, 525613 edges, 1544 markings/sec, 130 secs
lola: 257715 markings, 540992 edges, 1491 markings/sec, 135 secs
lola: 263871 markings, 560970 edges, 1231 markings/sec, 140 secs
lola: 272009 markings, 578831 edges, 1628 markings/sec, 145 secs
lola: 279918 markings, 600688 edges, 1582 markings/sec, 150 secs
lola: 285846 markings, 616108 edges, 1186 markings/sec, 155 secs
lola: 294384 markings, 637039 edges, 1708 markings/sec, 160 secs
lola: 302375 markings, 656965 edges, 1598 markings/sec, 165 secs
lola: 310173 markings, 677167 edges, 1560 markings/sec, 170 secs
lola: 317717 markings, 697225 edges, 1509 markings/sec, 175 secs
lola: 326351 markings, 718751 edges, 1727 markings/sec, 180 secs
lola: 334456 markings, 739781 edges, 1621 markings/sec, 185 secs
lola: 342217 markings, 758776 edges, 1552 markings/sec, 190 secs
lola: 353135 markings, 786566 edges, 2184 markings/sec, 195 secs
lola: 367554 markings, 811023 edges, 2884 markings/sec, 200 secs
lola: 375878 markings, 831770 edges, 1665 markings/sec, 205 secs
lola: 383315 markings, 850964 edges, 1487 markings/sec, 210 secs
lola: 391086 markings, 869750 edges, 1554 markings/sec, 215 secs
lola: 399025 markings, 886735 edges, 1588 markings/sec, 220 secs
lola: 404233 markings, 903791 edges, 1042 markings/sec, 225 secs
lola: 414310 markings, 927622 edges, 2015 markings/sec, 230 secs
lola: 419346 markings, 944062 edges, 1007 markings/sec, 235 secs
lola: 428721 markings, 967031 edges, 1875 markings/sec, 240 secs
lola: 433479 markings, 982202 edges, 952 markings/sec, 245 secs
lola: 442164 markings, 1003503 edges, 1737 markings/sec, 250 secs
lola: 446826 markings, 1018772 edges, 932 markings/sec, 255 secs
lola: 454974 markings, 1039154 edges, 1630 markings/sec, 260 secs
lola: 462586 markings, 1058596 edges, 1522 markings/sec, 265 secs
lola: 469311 markings, 1077491 edges, 1345 markings/sec, 270 secs
lola: 476198 markings, 1095712 edges, 1377 markings/sec, 275 secs
lola: 483057 markings, 1113458 edges, 1372 markings/sec, 280 secs
lola: 490314 markings, 1132460 edges, 1451 markings/sec, 285 secs
lola: 497461 markings, 1150702 edges, 1429 markings/sec, 290 secs
lola: 504658 markings, 1171559 edges, 1439 markings/sec, 295 secs
lola: 517442 markings, 1197360 edges, 2557 markings/sec, 300 secs
lola: 530089 markings, 1220084 edges, 2529 markings/sec, 305 secs
lola: 538251 markings, 1240787 edges, 1632 markings/sec, 310 secs
lola: 545340 markings, 1259464 edges, 1418 markings/sec, 315 secs
lola: 554339 markings, 1279113 edges, 1800 markings/sec, 320 secs
lola: 560207 markings, 1295364 edges, 1174 markings/sec, 325 secs
lola: 567366 markings, 1312308 edges, 1432 markings/sec, 330 secs
lola: 575602 markings, 1330277 edges, 1647 markings/sec, 335 secs
lola: 581057 markings, 1348166 edges, 1091 markings/sec, 340 secs
lola: 588390 markings, 1372052 edges, 1467 markings/sec, 345 secs
lola: 596717 markings, 1390216 edges, 1665 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 unknown 1 unknown unknown 1 1 unknown unknown unknown unknown unknown 1 unknown
lola: memory consumption: 59356 KB
lola: time consumption: 357 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N50-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: Structural Bound: 4294967295
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: 45875 markings, 71474 edges, 9175 markings/sec, 30 secs
lola: 60294 markings, 100009 edges, 2884 markings/sec, 35 secs
lola: 72578 markings, 124295 edges, 2457 markings/sec, 40 secs
lola: 86010 markings, 153214 edges, 2686 markings/sec, 45 secs
lola: 98758 markings, 179125 edges, 2550 markings/sec, 50 secs
lola: 112916 markings, 208874 edges, 2832 markings/sec, 55 secs
lola: 123478 markings, 237390 edges, 2112 markings/sec, 60 secs
lola: 136540 markings, 259459 edges, 2612 markings/sec, 65 secs
lola: 145038 markings, 278853 edges, 1700 markings/sec, 70 secs
lola: 154565 markings, 303224 edges, 1905 markings/sec, 75 secs
lola: 164206 markings, 326775 edges, 1928 markings/sec, 80 secs
lola: 173963 markings, 349450 edges, 1951 markings/sec, 85 secs
lola: 183662 markings, 371114 edges, 1940 markings/sec, 90 secs
lola: 193188 markings, 395633 edges, 1905 markings/sec, 95 secs
lola: 203074 markings, 417878 edges, 1977 markings/sec, 100 secs
lola: 212843 markings, 440859 edges, 1954 markings/sec, 105 secs
lola: 221975 markings, 466706 edges, 1826 markings/sec, 110 secs
lola: 235293 markings, 489568 edges, 2664 markings/sec, 115 secs
lola: 244559 markings, 511274 edges, 1853 markings/sec, 120 secs
lola: 252213 markings, 530072 edges, 1531 markings/sec, 125 secs
lola: 259514 markings, 546805 edges, 1460 markings/sec, 130 secs
lola: 267925 markings, 569296 edges, 1682 markings/sec, 135 secs
lola: 273675 markings, 584210 edges, 1150 markings/sec, 140 secs
lola: 282630 markings, 605498 edges, 1791 markings/sec, 145 secs
lola: 289048 markings, 625778 edges, 1284 markings/sec, 150 secs
lola: 295604 markings, 640981 edges, 1311 markings/sec, 155 secs
lola: 304045 markings, 662405 edges, 1688 markings/sec, 160 secs
lola: 311901 markings, 682816 edges, 1571 markings/sec, 165 secs
lola: 320998 markings, 705808 edges, 1819 markings/sec, 170 secs
lola: 329026 markings, 726440 edges, 1606 markings/sec, 175 secs
lola: 337262 markings, 745965 edges, 1647 markings/sec, 180 secs
lola: 343660 markings, 763566 edges, 1280 markings/sec, 185 secs
lola: 357635 markings, 793560 edges, 2795 markings/sec, 190 secs
lola: 369560 markings, 816444 edges, 2385 markings/sec, 195 secs
lola: 378568 markings, 837325 edges, 1802 markings/sec, 200 secs
lola: 385580 markings, 855751 edges, 1402 markings/sec, 205 secs
lola: 392275 markings, 873486 edges, 1339 markings/sec, 210 secs
lola: 400224 markings, 890696 edges, 1590 markings/sec, 215 secs
lola: 405273 markings, 907274 edges, 1010 markings/sec, 220 secs
lola: 415548 markings, 931709 edges, 2055 markings/sec, 225 secs
lola: 420525 markings, 948014 edges, 995 markings/sec, 230 secs
lola: 430154 markings, 971425 edges, 1926 markings/sec, 235 secs
lola: 436059 markings, 990535 edges, 1181 markings/sec, 240 secs
lola: 444460 markings, 1011038 edges, 1680 markings/sec, 245 secs
lola: 452778 markings, 1031952 edges, 1664 markings/sec, 250 secs
lola: 458957 markings, 1051896 edges, 1236 markings/sec, 255 secs
lola: 465229 markings, 1067173 edges, 1254 markings/sec, 260 secs
lola: 472324 markings, 1085725 edges, 1419 markings/sec, 265 secs
lola: 479397 markings, 1104791 edges, 1415 markings/sec, 270 secs
lola: 487700 markings, 1125742 edges, 1661 markings/sec, 275 secs
lola: 495566 markings, 1145777 edges, 1573 markings/sec, 280 secs
lola: 502147 markings, 1163590 edges, 1316 markings/sec, 285 secs
lola: 514502 markings, 1192942 edges, 2471 markings/sec, 290 secs
lola: 528272 markings, 1216569 edges, 2754 markings/sec, 295 secs
lola: 536658 markings, 1237526 edges, 1677 markings/sec, 300 secs
lola: 544796 markings, 1257823 edges, 1628 markings/sec, 305 secs
lola: 553496 markings, 1277245 edges, 1740 markings/sec, 310 secs
lola: 559476 markings, 1293750 edges, 1196 markings/sec, 315 secs
lola: 566790 markings, 1310371 edges, 1463 markings/sec, 320 secs
lola: 574148 markings, 1326803 edges, 1472 markings/sec, 325 secs
lola: 579844 markings, 1344275 edges, 1139 markings/sec, 330 secs
lola: 584963 markings, 1361060 edges, 1024 markings/sec, 335 secs
lola: 595300 markings, 1385553 edges, 2067 markings/sec, 340 secs
lola: 600381 markings, 1402206 edges, 1016 markings/sec, 345 secs
lola: 608171 markings, 1424888 edges, 1558 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 unknown 1 unknown unknown 1 1 unknown unknown unknown unknown unknown 1 unknown
lola: memory consumption: 59948 KB
lola: time consumption: 713 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(p42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p42)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges

FORMULA BridgeAndVehicles-COL-V20P10N50-UpperBounds-10 20 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(p101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p101)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N50-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: ========================================
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: Structural Bound: 4294967295
lola: 20 markings, 19 edges, 4 markings/sec, 25 secs
lola: 40356 markings, 62545 edges, 8067 markings/sec, 30 secs
lola: 63008 markings, 95684 edges, 4530 markings/sec, 35 secs
lola: 74732 markings, 114738 edges, 2345 markings/sec, 40 secs
lola: 89385 markings, 146883 edges, 2931 markings/sec, 45 secs
lola: 103246 markings, 175643 edges, 2772 markings/sec, 50 secs
lola: 117285 markings, 205453 edges, 2808 markings/sec, 55 secs
lola: 130554 markings, 232350 edges, 2654 markings/sec, 60 secs
lola: 144275 markings, 261060 edges, 2744 markings/sec, 65 secs
lola: 155145 markings, 284411 edges, 2174 markings/sec, 70 secs
lola: 164197 markings, 304005 edges, 1810 markings/sec, 75 secs
lola: 175118 markings, 331948 edges, 2184 markings/sec, 80 secs
lola: 184636 markings, 350726 edges, 1904 markings/sec, 85 secs
lola: 195750 markings, 376648 edges, 2223 markings/sec, 90 secs
lola: 205725 markings, 401597 edges, 1995 markings/sec, 95 secs
lola: 215720 markings, 425525 edges, 1999 markings/sec, 100 secs
lola: 225867 markings, 448790 edges, 2029 markings/sec, 105 secs
lola: 235487 markings, 471133 edges, 1924 markings/sec, 110 secs
lola: 245872 markings, 496188 edges, 2077 markings/sec, 115 secs
lola: 255896 markings, 518873 edges, 2005 markings/sec, 120 secs
lola: 265768 markings, 540827 edges, 1974 markings/sec, 125 secs
lola: 274394 markings, 561663 edges, 1725 markings/sec, 130 secs
lola: 285171 markings, 582589 edges, 2155 markings/sec, 135 secs
lola: 294787 markings, 604814 edges, 1923 markings/sec, 140 secs
lola: 304480 markings, 631676 edges, 1939 markings/sec, 145 secs
lola: 313142 markings, 650728 edges, 1732 markings/sec, 150 secs
lola: 322418 markings, 676696 edges, 1855 markings/sec, 155 secs
lola: 330310 markings, 695046 edges, 1578 markings/sec, 160 secs
lola: 340917 markings, 720208 edges, 2121 markings/sec, 165 secs
lola: 349020 markings, 743861 edges, 1621 markings/sec, 170 secs
lola: 357243 markings, 763016 edges, 1645 markings/sec, 175 secs
lola: 366805 markings, 785823 edges, 1912 markings/sec, 180 secs
lola: 375832 markings, 807745 edges, 1805 markings/sec, 185 secs
lola: 384408 markings, 829148 edges, 1715 markings/sec, 190 secs
lola: 392525 markings, 849831 edges, 1623 markings/sec, 195 secs
lola: 401280 markings, 871544 edges, 1751 markings/sec, 200 secs
lola: 410255 markings, 892938 edges, 1795 markings/sec, 205 secs
lola: 419010 markings, 913160 edges, 1751 markings/sec, 210 secs
lola: 425925 markings, 932096 edges, 1383 markings/sec, 215 secs
lola: 440272 markings, 957017 edges, 2869 markings/sec, 220 secs
lola: 448864 markings, 978386 edges, 1718 markings/sec, 225 secs
lola: 456169 markings, 997316 edges, 1461 markings/sec, 230 secs
lola: 465206 markings, 1023222 edges, 1807 markings/sec, 235 secs
lola: 474123 markings, 1042264 edges, 1783 markings/sec, 240 secs
lola: 479759 markings, 1060726 edges, 1127 markings/sec, 245 secs
lola: 490657 markings, 1086060 edges, 2180 markings/sec, 250 secs
lola: 496839 markings, 1104233 edges, 1236 markings/sec, 255 secs
lola: 505978 markings, 1128645 edges, 1828 markings/sec, 260 secs
lola: 513150 markings, 1146675 edges, 1434 markings/sec, 265 secs
lola: 521831 markings, 1170034 edges, 1736 markings/sec, 270 secs
lola: 528827 markings, 1187888 edges, 1399 markings/sec, 275 secs
lola: 538372 markings, 1210574 edges, 1909 markings/sec, 280 secs
lola: 545410 markings, 1232228 edges, 1408 markings/sec, 285 secs
lola: 552972 markings, 1250098 edges, 1512 markings/sec, 290 secs
lola: 561598 markings, 1271340 edges, 1725 markings/sec, 295 secs
lola: 569708 markings, 1291659 edges, 1622 markings/sec, 300 secs
lola: 577265 markings, 1310978 edges, 1511 markings/sec, 305 secs
lola: 584632 markings, 1330340 edges, 1473 markings/sec, 310 secs
lola: 593128 markings, 1350901 edges, 1699 markings/sec, 315 secs
lola: 601072 markings, 1370248 edges, 1589 markings/sec, 320 secs
lola: 608387 markings, 1388868 edges, 1463 markings/sec, 325 secs
lola: 619864 markings, 1410756 edges, 2295 markings/sec, 330 secs
lola: 630184 markings, 1434423 edges, 2064 markings/sec, 335 secs
lola: 638961 markings, 1456108 edges, 1755 markings/sec, 340 secs
lola: 647229 markings, 1476287 edges, 1654 markings/sec, 345 secs
lola: 654790 markings, 1495034 edges, 1512 markings/sec, 350 secs
lola: 663842 markings, 1520713 edges, 1810 markings/sec, 355 secs
lola: 672145 markings, 1537972 edges, 1661 markings/sec, 360 secs
lola: 677284 markings, 1554782 edges, 1028 markings/sec, 365 secs
lola: 684800 markings, 1578653 edges, 1503 markings/sec, 370 secs
lola: 694042 markings, 1596902 edges, 1848 markings/sec, 375 secs
lola: 699699 markings, 1615468 edges, 1131 markings/sec, 380 secs
lola: 707986 markings, 1639768 edges, 1657 markings/sec, 385 secs
lola: 716341 markings, 1658372 edges, 1671 markings/sec, 390 secs
lola: 721961 markings, 1676814 edges, 1124 markings/sec, 395 secs
lola: 732347 markings, 1700430 edges, 2077 markings/sec, 400 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 unknown 1 unknown unknown 1 1 unknown 20 unknown unknown unknown 1 unknown
lola: memory consumption: 66516 KB
lola: time consumption: 1121 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p42)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V20P10N50-UpperBounds-12 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 489 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p106)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p106)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N50-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: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 34 markings, 33 edges
lola: ========================================

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

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

FORMULA BridgeAndVehicles-COL-V20P10N50-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p44 + p45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p44 + p45)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N50-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-V20P10N50-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2447 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p97 + p98)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p97 + p98)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N50-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-V20P10N50-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p100)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N50-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: ========================================
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: 45829 markings, 71393 edges, 9166 markings/sec, 30 secs
lola: 60294 markings, 100009 edges, 2893 markings/sec, 35 secs
lola: 72542 markings, 124240 edges, 2450 markings/sec, 40 secs
lola: 86096 markings, 153385 edges, 2711 markings/sec, 45 secs
lola: 98934 markings, 179423 edges, 2568 markings/sec, 50 secs
lola: 113329 markings, 209903 edges, 2879 markings/sec, 55 secs
lola: 123708 markings, 237792 edges, 2076 markings/sec, 60 secs
lola: 135906 markings, 258334 edges, 2440 markings/sec, 65 secs
lola: 144780 markings, 278437 edges, 1775 markings/sec, 70 secs
lola: 154471 markings, 303076 edges, 1938 markings/sec, 75 secs
lola: 164282 markings, 326871 edges, 1962 markings/sec, 80 secs
lola: 173987 markings, 349492 edges, 1941 markings/sec, 85 secs
lola: 183768 markings, 371281 edges, 1956 markings/sec, 90 secs
lola: 193276 markings, 395785 edges, 1902 markings/sec, 95 secs
lola: 203133 markings, 418027 edges, 1971 markings/sec, 100 secs
lola: 213047 markings, 441197 edges, 1983 markings/sec, 105 secs
lola: 222238 markings, 467210 edges, 1838 markings/sec, 110 secs
lola: 235940 markings, 490659 edges, 2740 markings/sec, 115 secs
lola: 245055 markings, 512244 edges, 1823 markings/sec, 120 secs
lola: 252143 markings, 529949 edges, 1418 markings/sec, 125 secs
lola: 259547 markings, 546923 edges, 1481 markings/sec, 130 secs
lola: 269117 markings, 571292 edges, 1914 markings/sec, 135 secs
lola: 274748 markings, 587797 edges, 1126 markings/sec, 140 secs
lola: 284246 markings, 610888 edges, 1900 markings/sec, 145 secs
lola: 293283 markings, 633353 edges, 1807 markings/sec, 150 secs
lola: 301515 markings, 655066 edges, 1646 markings/sec, 155 secs
lola: 309805 markings, 676061 edges, 1658 markings/sec, 160 secs
lola: 317444 markings, 696417 edges, 1528 markings/sec, 165 secs
lola: 325979 markings, 718150 edges, 1707 markings/sec, 170 secs
lola: 333874 markings, 738031 edges, 1579 markings/sec, 175 secs
lola: 341973 markings, 757948 edges, 1620 markings/sec, 180 secs
lola: 352199 markings, 785060 edges, 2045 markings/sec, 185 secs
lola: 366998 markings, 809933 edges, 2960 markings/sec, 190 secs
lola: 375309 markings, 830617 edges, 1662 markings/sec, 195 secs
lola: 382860 markings, 849973 edges, 1510 markings/sec, 200 secs
lola: 390912 markings, 869174 edges, 1610 markings/sec, 205 secs
lola: 398787 markings, 885933 edges, 1575 markings/sec, 210 secs
lola: 403878 markings, 902601 edges, 1018 markings/sec, 215 secs
lola: 413684 markings, 926639 edges, 1961 markings/sec, 220 secs
lola: 419013 markings, 943057 edges, 1066 markings/sec, 225 secs
lola: 427761 markings, 965481 edges, 1750 markings/sec, 230 secs
lola: 433336 markings, 981728 edges, 1115 markings/sec, 235 secs
lola: 442241 markings, 1003779 edges, 1781 markings/sec, 240 secs
lola: 447877 markings, 1022004 edges, 1127 markings/sec, 245 secs
lola: 455695 markings, 1041517 edges, 1564 markings/sec, 250 secs
lola: 463639 markings, 1061985 edges, 1589 markings/sec, 255 secs
lola: 471167 markings, 1081993 edges, 1506 markings/sec, 260 secs
lola: 478243 markings, 1101054 edges, 1415 markings/sec, 265 secs
lola: 485814 markings, 1121618 edges, 1514 markings/sec, 270 secs
lola: 493568 markings, 1140759 edges, 1551 markings/sec, 275 secs
lola: 500893 markings, 1159397 edges, 1465 markings/sec, 280 secs
lola: 509736 markings, 1184102 edges, 1769 markings/sec, 285 secs
lola: 523400 markings, 1207362 edges, 2733 markings/sec, 290 secs
lola: 533339 markings, 1230535 edges, 1988 markings/sec, 295 secs
lola: 543197 markings, 1252469 edges, 1972 markings/sec, 300 secs
lola: 550806 markings, 1271362 edges, 1522 markings/sec, 305 secs
lola: 557344 markings, 1288974 edges, 1308 markings/sec, 310 secs
lola: 565495 markings, 1307009 edges, 1630 markings/sec, 315 secs
lola: 571880 markings, 1323024 edges, 1277 markings/sec, 320 secs
lola: 578320 markings, 1339188 edges, 1288 markings/sec, 325 secs
lola: 583192 markings, 1355129 edges, 974 markings/sec, 330 secs
lola: 591606 markings, 1377947 edges, 1683 markings/sec, 335 secs
lola: 597833 markings, 1393857 edges, 1245 markings/sec, 340 secs
lola: 602854 markings, 1410320 edges, 1004 markings/sec, 345 secs
lola: 612659 markings, 1434157 edges, 1961 markings/sec, 350 secs
lola: 617888 markings, 1451166 edges, 1046 markings/sec, 355 secs
lola: 627073 markings, 1474015 edges, 1837 markings/sec, 360 secs
lola: 632333 markings, 1491135 edges, 1052 markings/sec, 365 secs
lola: 641032 markings, 1513267 edges, 1740 markings/sec, 370 secs
lola: 647761 markings, 1534325 edges, 1346 markings/sec, 375 secs
lola: 654510 markings, 1551699 edges, 1350 markings/sec, 380 secs
lola: 662285 markings, 1572267 edges, 1555 markings/sec, 385 secs
lola: 669611 markings, 1592134 edges, 1465 markings/sec, 390 secs
lola: 676596 markings, 1611373 edges, 1397 markings/sec, 395 secs
lola: 684401 markings, 1631574 edges, 1561 markings/sec, 400 secs
lola: 691745 markings, 1650677 edges, 1469 markings/sec, 405 secs
lola: 697940 markings, 1668190 edges, 1239 markings/sec, 410 secs
lola: 711061 markings, 1698331 edges, 2624 markings/sec, 415 secs
lola: 725518 markings, 1723388 edges, 2891 markings/sec, 420 secs
lola: 734383 markings, 1745457 edges, 1773 markings/sec, 425 secs
lola: 743768 markings, 1767837 edges, 1877 markings/sec, 430 secs
lola: 752659 markings, 1788827 edges, 1778 markings/sec, 435 secs
lola: 760014 markings, 1808474 edges, 1471 markings/sec, 440 secs
lola: 769164 markings, 1829356 edges, 1830 markings/sec, 445 secs
lola: 775971 markings, 1847876 edges, 1361 markings/sec, 450 secs
lola: 784123 markings, 1867015 edges, 1630 markings/sec, 455 secs
lola: 792400 markings, 1885131 edges, 1655 markings/sec, 460 secs
lola: 797864 markings, 1903051 edges, 1093 markings/sec, 465 secs
lola: 803195 markings, 1920511 edges, 1066 markings/sec, 470 secs
lola: 812927 markings, 1945531 edges, 1946 markings/sec, 475 secs
lola: 819256 markings, 1963722 edges, 1266 markings/sec, 480 secs
lola: 824309 markings, 1980229 edges, 1011 markings/sec, 485 secs
lola: 833652 markings, 2003341 edges, 1869 markings/sec, 490 secs
lola: 839131 markings, 2020404 edges, 1096 markings/sec, 495 secs
lola: 844042 markings, 2036512 edges, 982 markings/sec, 500 secs
lola: 852975 markings, 2058344 edges, 1787 markings/sec, 505 secs
lola: 858029 markings, 2074817 edges, 1011 markings/sec, 510 secs
lola: 866546 markings, 2096143 edges, 1703 markings/sec, 515 secs
lola: 871682 markings, 2112888 edges, 1027 markings/sec, 520 secs
lola: 879731 markings, 2133588 edges, 1610 markings/sec, 525 secs
lola: 885003 markings, 2150669 edges, 1054 markings/sec, 530 secs
lola: 892810 markings, 2171295 edges, 1561 markings/sec, 535 secs
lola: 900155 markings, 2191044 edges, 1469 markings/sec, 540 secs
lola: 907060 markings, 2210034 edges, 1381 markings/sec, 545 secs
lola: 913675 markings, 2228505 edges, 1323 markings/sec, 550 secs
lola: 920354 markings, 2247140 edges, 1336 markings/sec, 555 secs
lola: 926771 markings, 2263489 edges, 1283 markings/sec, 560 secs
lola: 932548 markings, 2279433 edges, 1155 markings/sec, 565 secs
lola: 941312 markings, 2302904 edges, 1753 markings/sec, 570 secs
lola: 956403 markings, 2328421 edges, 3018 markings/sec, 575 secs
lola: 968905 markings, 2356189 edges, 2500 markings/sec, 580 secs
lola: 979772 markings, 2380446 edges, 2173 markings/sec, 585 secs
lola: 986545 markings, 2398815 edges, 1355 markings/sec, 590 secs
lola: 995409 markings, 2418934 edges, 1773 markings/sec, 595 secs
lola: 1001627 markings, 2436223 edges, 1244 markings/sec, 600 secs
lola: 1009884 markings, 2455422 edges, 1651 markings/sec, 605 secs
lola: 1016672 markings, 2473758 edges, 1358 markings/sec, 610 secs
lola: 1024234 markings, 2491868 edges, 1512 markings/sec, 615 secs
lola: 1031553 markings, 2510314 edges, 1464 markings/sec, 620 secs
lola: 1038509 markings, 2528032 edges, 1391 markings/sec, 625 secs
lola: 1045933 markings, 2545987 edges, 1485 markings/sec, 630 secs
lola: 1054089 markings, 2563674 edges, 1631 markings/sec, 635 secs
lola: 1059576 markings, 2581680 edges, 1097 markings/sec, 640 secs
lola: 1064850 markings, 2598964 edges, 1055 markings/sec, 645 secs
lola: 1069906 markings, 2615659 edges, 1011 markings/sec, 650 secs
lola: 1080376 markings, 2640357 edges, 2094 markings/sec, 655 secs
lola: 1085803 markings, 2658133 edges, 1085 markings/sec, 660 secs
lola: 1091057 markings, 2675214 edges, 1051 markings/sec, 665 secs
lola: 1100586 markings, 2698962 edges, 1906 markings/sec, 670 secs
lola: 1105870 markings, 2715221 edges, 1057 markings/sec, 675 secs
lola: 1110710 markings, 2731090 edges, 968 markings/sec, 680 secs
lola: 1118264 markings, 2752118 edges, 1511 markings/sec, 685 secs
lola: 1124490 markings, 2768563 edges, 1245 markings/sec, 690 secs
lola: 1129306 markings, 2784367 edges, 963 markings/sec, 695 secs
lola: 1137870 markings, 2805728 edges, 1713 markings/sec, 700 secs
lola: 1143184 markings, 2823066 edges, 1063 markings/sec, 705 secs
lola: 1150757 markings, 2844026 edges, 1515 markings/sec, 710 secs
lola: 1156376 markings, 2860295 edges, 1124 markings/sec, 715 secs
lola: 1163032 markings, 2879071 edges, 1331 markings/sec, 720 secs
lola: 1168567 markings, 2895012 edges, 1107 markings/sec, 725 secs
lola: 1175932 markings, 2914785 edges, 1473 markings/sec, 730 secs
lola: 1182929 markings, 2934074 edges, 1399 markings/sec, 735 secs
lola: 1189593 markings, 2953023 edges, 1333 markings/sec, 740 secs
lola: 1196294 markings, 2971579 edges, 1340 markings/sec, 745 secs
lola: 1203235 markings, 2990263 edges, 1388 markings/sec, 750 secs
lola: 1210157 markings, 3008028 edges, 1384 markings/sec, 755 secs
lola: 1218624 markings, 3033161 edges, 1693 markings/sec, 760 secs
lola: 1232299 markings, 3058085 edges, 2735 markings/sec, 765 secs
lola: 1246314 markings, 3083883 edges, 2803 markings/sec, 770 secs
lola: 1254500 markings, 3104783 edges, 1637 markings/sec, 775 secs
lola: 1265406 markings, 3128881 edges, 2181 markings/sec, 780 secs
lola: 1272476 markings, 3148075 edges, 1414 markings/sec, 785 secs
lola: 1281802 markings, 3169536 edges, 1865 markings/sec, 790 secs
lola: 1288469 markings, 3187942 edges, 1333 markings/sec, 795 secs
lola: 1296978 markings, 3208032 edges, 1702 markings/sec, 800 secs
lola: 1304400 markings, 3227116 edges, 1484 markings/sec, 805 secs
lola: 1311406 markings, 3245095 edges, 1401 markings/sec, 810 secs
lola: 1319218 markings, 3263796 edges, 1562 markings/sec, 815 secs
lola: 1325387 markings, 3281245 edges, 1234 markings/sec, 820 secs
lola: 1332930 markings, 3299228 edges, 1509 markings/sec, 825 secs
lola: 1340122 markings, 3316954 edges, 1438 markings/sec, 830 secs
lola: 1346205 markings, 3333492 edges, 1217 markings/sec, 835 secs
lola: 1353479 markings, 3350633 edges, 1455 markings/sec, 840 secs
lola: 1359515 markings, 3367266 edges, 1207 markings/sec, 845 secs
lola: 1367487 markings, 3385211 edges, 1594 markings/sec, 850 secs
lola: 1372905 markings, 3402967 edges, 1084 markings/sec, 855 secs
lola: 1378357 markings, 3420850 edges, 1090 markings/sec, 860 secs
lola: 1383290 markings, 3437155 edges, 987 markings/sec, 865 secs
lola: 1393762 markings, 3461702 edges, 2094 markings/sec, 870 secs
lola: 1399172 markings, 3479438 edges, 1082 markings/sec, 875 secs
lola: 1404466 markings, 3496773 edges, 1059 markings/sec, 880 secs
lola: 1409948 markings, 3514518 edges, 1096 markings/sec, 885 secs
lola: 1418793 markings, 3535042 edges, 1769 markings/sec, 890 secs
lola: 1423624 markings, 3550808 edges, 966 markings/sec, 895 secs
lola: 1428284 markings, 3565966 edges, 932 markings/sec, 900 secs
lola: 1435081 markings, 3586996 edges, 1359 markings/sec, 905 secs
lola: 1442122 markings, 3603673 edges, 1408 markings/sec, 910 secs
lola: 1447030 markings, 3619627 edges, 982 markings/sec, 915 secs
lola: 1451714 markings, 3634928 edges, 937 markings/sec, 920 secs
lola: 1460182 markings, 3655901 edges, 1694 markings/sec, 925 secs
lola: 1465022 markings, 3671662 edges, 968 markings/sec, 930 secs
lola: 1471824 markings, 3691637 edges, 1360 markings/sec, 935 secs
lola: 1477915 markings, 3707854 edges, 1218 markings/sec, 940 secs
lola: 1482575 markings, 3722942 edges, 932 markings/sec, 945 secs
lola: 1489967 markings, 3741977 edges, 1478 markings/sec, 950 secs
lola: 1495077 markings, 3758555 edges, 1022 markings/sec, 955 secs
lola: 1502509 markings, 3778407 edges, 1486 markings/sec, 960 secs
lola: 1509359 markings, 3797008 edges, 1370 markings/sec, 965 secs
lola: 1515460 markings, 3815144 edges, 1220 markings/sec, 970 secs
lola: 1521998 markings, 3833023 edges, 1308 markings/sec, 975 secs
lola: 1528577 markings, 3851139 edges, 1316 markings/sec, 980 secs
lola: 1535260 markings, 3869018 edges, 1337 markings/sec, 985 secs
lola: 1541277 markings, 3885826 edges, 1203 markings/sec, 990 secs
lola: 1550470 markings, 3910306 edges, 1839 markings/sec, 995 secs
lola: 1564800 markings, 3934843 edges, 2866 markings/sec, 1000 secs
lola: 1577877 markings, 3959558 edges, 2615 markings/sec, 1005 secs
lola: 1586792 markings, 3982075 edges, 1783 markings/sec, 1010 secs
lola: 1598027 markings, 4007014 edges, 2247 markings/sec, 1015 secs
lola: 1605623 markings, 4027486 edges, 1519 markings/sec, 1020 secs
lola: 1615114 markings, 4049573 edges, 1898 markings/sec, 1025 secs
lola: 1622673 markings, 4070067 edges, 1512 markings/sec, 1030 secs
lola: 1631251 markings, 4090679 edges, 1716 markings/sec, 1035 secs
lola: 1639938 markings, 4111438 edges, 1737 markings/sec, 1040 secs
lola: 1646498 markings, 4129945 edges, 1312 markings/sec, 1045 secs
lola: 1654701 markings, 4149844 edges, 1641 markings/sec, 1050 secs
lola: 1662581 markings, 4169020 edges, 1576 markings/sec, 1055 secs
lola: 1669035 markings, 4187246 edges, 1291 markings/sec, 1060 secs
lola: 1676866 markings, 4206220 edges, 1566 markings/sec, 1065 secs
lola: 1684317 markings, 4225203 edges, 1490 markings/sec, 1070 secs
lola: 1690907 markings, 4242956 edges, 1318 markings/sec, 1075 secs
lola: 1698455 markings, 4261268 edges, 1510 markings/sec, 1080 secs
lola: 1705142 markings, 4279160 edges, 1337 markings/sec, 1085 secs
lola: 1712018 markings, 4296480 edges, 1375 markings/sec, 1090 secs
lola: 1719322 markings, 4313841 edges, 1461 markings/sec, 1095 secs
lola: 1726059 markings, 4331314 edges, 1347 markings/sec, 1100 secs
lola: 1733652 markings, 4350149 edges, 1519 markings/sec, 1105 secs
lola: 1739169 markings, 4368227 edges, 1103 markings/sec, 1110 secs
lola: 1744522 markings, 4385791 edges, 1071 markings/sec, 1115 secs
lola: 1749686 markings, 4402690 edges, 1033 markings/sec, 1120 secs
lola: 1759527 markings, 4427194 edges, 1968 markings/sec, 1125 secs
lola: 1765783 markings, 4445539 edges, 1251 markings/sec, 1130 secs
lola: 1771152 markings, 4463153 edges, 1074 markings/sec, 1135 secs
lola: 1776370 markings, 4480268 edges, 1044 markings/sec, 1140 secs
lola: 1784018 markings, 4503178 edges, 1530 markings/sec, 1145 secs
lola: 1791812 markings, 4522090 edges, 1559 markings/sec, 1150 secs
lola: 1797295 markings, 4539942 edges, 1097 markings/sec, 1155 secs
lola: 1802561 markings, 4557203 edges, 1053 markings/sec, 1160 secs
lola: 1811780 markings, 4580009 edges, 1844 markings/sec, 1165 secs
lola: 1817566 markings, 4598398 edges, 1157 markings/sec, 1170 secs
lola: 1822931 markings, 4615889 edges, 1073 markings/sec, 1175 secs
lola: 1830537 markings, 4637631 edges, 1521 markings/sec, 1180 secs
lola: 1837318 markings, 4656127 edges, 1356 markings/sec, 1185 secs
lola: 1842685 markings, 4673555 edges, 1073 markings/sec, 1190 secs
lola: 1851035 markings, 4694907 edges, 1670 markings/sec, 1195 secs
lola: 1856622 markings, 4713045 edges, 1117 markings/sec, 1200 secs
lola: 1863213 markings, 4733257 edges, 1318 markings/sec, 1205 secs
lola: 1869972 markings, 4751317 edges, 1352 markings/sec, 1210 secs
lola: 1876436 markings, 4770976 edges, 1293 markings/sec, 1215 secs
lola: 1882783 markings, 4788413 edges, 1269 markings/sec, 1220 secs
lola: 1889642 markings, 4806949 edges, 1372 markings/sec, 1225 secs
lola: 1895539 markings, 4825400 edges, 1179 markings/sec, 1230 secs
lola: 1901593 markings, 4842238 edges, 1211 markings/sec, 1235 secs
lola: 1908567 markings, 4861237 edges, 1395 markings/sec, 1240 secs
lola: 1915100 markings, 4878998 edges, 1307 markings/sec, 1245 secs
lola: 1921998 markings, 4896389 edges, 1380 markings/sec, 1250 secs
lola: 1930164 markings, 4921073 edges, 1633 markings/sec, 1255 secs
lola: 1940278 markings, 4942164 edges, 2023 markings/sec, 1260 secs
lola: 1951792 markings, 4960449 edges, 2303 markings/sec, 1265 secs
lola: 1966022 markings, 4989140 edges, 2846 markings/sec, 1270 secs
lola: 1972195 markings, 5005963 edges, 1235 markings/sec, 1275 secs
lola: 1983388 markings, 5031162 edges, 2239 markings/sec, 1280 secs
lola: 1990750 markings, 5051026 edges, 1472 markings/sec, 1285 secs
lola: 2000342 markings, 5073617 edges, 1918 markings/sec, 1290 secs
lola: 2009175 markings, 5094897 edges, 1767 markings/sec, 1295 secs
lola: 2016569 markings, 5114826 edges, 1479 markings/sec, 1300 secs
lola: 2025149 markings, 5135547 edges, 1716 markings/sec, 1305 secs
lola: 2033050 markings, 5155468 edges, 1580 markings/sec, 1310 secs
lola: 2040072 markings, 5174404 edges, 1404 markings/sec, 1315 secs
lola: 2047852 markings, 5193491 edges, 1556 markings/sec, 1320 secs
lola: 2055473 markings, 5212213 edges, 1524 markings/sec, 1325 secs
lola: 2061914 markings, 5230563 edges, 1288 markings/sec, 1330 secs
lola: 2069653 markings, 5249616 edges, 1548 markings/sec, 1335 secs
lola: 2077239 markings, 5268400 edges, 1517 markings/sec, 1340 secs
lola: 2083340 markings, 5285950 edges, 1220 markings/sec, 1345 secs
lola: 2090519 markings, 5303620 edges, 1436 markings/sec, 1350 secs
lola: 2097776 markings, 5321618 edges, 1451 markings/sec, 1355 secs
lola: 2104640 markings, 5339371 edges, 1373 markings/sec, 1360 secs
lola: 2111040 markings, 5356735 edges, 1280 markings/sec, 1365 secs
lola: 2118382 markings, 5374738 edges, 1468 markings/sec, 1370 secs
lola: 2125700 markings, 5392900 edges, 1464 markings/sec, 1375 secs
lola: 2131964 markings, 5410383 edges, 1253 markings/sec, 1380 secs
lola: 2139205 markings, 5427755 edges, 1448 markings/sec, 1385 secs
lola: 2146003 markings, 5445112 edges, 1360 markings/sec, 1390 secs
lola: 2153458 markings, 5460498 edges, 1491 markings/sec, 1395 secs
lola: 2159289 markings, 5479594 edges, 1166 markings/sec, 1400 secs
lola: 2164890 markings, 5497976 edges, 1120 markings/sec, 1405 secs
lola: 2170284 markings, 5515663 edges, 1079 markings/sec, 1410 secs
lola: 2175515 markings, 5532809 edges, 1046 markings/sec, 1415 secs
lola: 2184145 markings, 5556294 edges, 1726 markings/sec, 1420 secs
lola: 2190999 markings, 5573637 edges, 1371 markings/sec, 1425 secs
lola: 2196610 markings, 5592027 edges, 1122 markings/sec, 1430 secs
lola: 2201994 markings, 5609538 edges, 1077 markings/sec, 1435 secs
lola: 2207211 markings, 5626655 edges, 1043 markings/sec, 1440 secs
lola: 2216096 markings, 5648698 edges, 1777 markings/sec, 1445 secs
lola: 2222249 markings, 5667003 edges, 1231 markings/sec, 1450 secs
lola: 2227724 markings, 5684824 edges, 1095 markings/sec, 1455 secs
lola: 2233031 markings, 5702254 edges, 1061 markings/sec, 1460 secs
lola: 2240947 markings, 5724127 edges, 1583 markings/sec, 1465 secs
lola: 2247540 markings, 5741772 edges, 1319 markings/sec, 1470 secs
lola: 2253038 markings, 5759706 edges, 1100 markings/sec, 1475 secs
lola: 2258319 markings, 5776907 edges, 1056 markings/sec, 1480 secs
lola: 2266817 markings, 5797846 edges, 1700 markings/sec, 1485 secs
lola: 2272475 markings, 5816185 edges, 1132 markings/sec, 1490 secs
lola: 2277852 markings, 5833718 edges, 1075 markings/sec, 1495 secs
lola: 2285810 markings, 5853651 edges, 1592 markings/sec, 1500 secs
lola: 2291444 markings, 5871957 edges, 1127 markings/sec, 1505 secs
lola: 2296747 markings, 5889140 edges, 1061 markings/sec, 1510 secs
lola: 2304585 markings, 5909446 edges, 1568 markings/sec, 1515 secs
lola: 2309986 markings, 5926891 edges, 1080 markings/sec, 1520 secs
lola: 2317363 markings, 5946455 edges, 1475 markings/sec, 1525 secs
lola: 2322853 markings, 5964096 edges, 1098 markings/sec, 1530 secs
lola: 2330006 markings, 5983481 edges, 1431 markings/sec, 1535 secs
lola: 2336714 markings, 6001952 edges, 1342 markings/sec, 1540 secs
lola: 2342832 markings, 6020674 edges, 1224 markings/sec, 1545 secs
lola: 2349448 markings, 6038490 edges, 1323 markings/sec, 1550 secs
lola: 2355706 markings, 6055986 edges, 1252 markings/sec, 1555 secs
lola: 2362259 markings, 6073174 edges, 1311 markings/sec, 1560 secs
lola: 2370573 markings, 6098203 edges, 1663 markings/sec, 1565 secs
lola: 2378643 markings, 6116631 edges, 1614 markings/sec, 1570 secs
lola: 2392781 markings, 6139124 edges, 2828 markings/sec, 1575 secs
lola: 2406821 markings, 6167271 edges, 2808 markings/sec, 1580 secs
lola: 2413375 markings, 6185337 edges, 1311 markings/sec, 1585 secs
lola: 2424898 markings, 6210960 edges, 2305 markings/sec, 1590 secs
lola: 2432179 markings, 6230023 edges, 1456 markings/sec, 1595 secs
lola: 2440687 markings, 6250648 edges, 1702 markings/sec, 1600 secs
lola: 2450490 markings, 6273803 edges, 1961 markings/sec, 1605 secs
lola: 2457917 markings, 6294322 edges, 1485 markings/sec, 1610 secs
lola: 2466825 markings, 6315778 edges, 1782 markings/sec, 1615 secs
lola: 2475719 markings, 6337487 edges, 1779 markings/sec, 1620 secs
lola: 2482497 markings, 6356179 edges, 1356 markings/sec, 1625 secs
lola: 2489759 markings, 6374602 edges, 1452 markings/sec, 1630 secs
lola: 2497185 markings, 6392956 edges, 1485 markings/sec, 1635 secs
lola: 2504908 markings, 6412058 edges, 1545 markings/sec, 1640 secs
lola: 2511451 markings, 6430685 edges, 1309 markings/sec, 1645 secs
lola: 2519271 markings, 6450234 edges, 1564 markings/sec, 1650 secs
lola: 2527053 markings, 6469671 edges, 1556 markings/sec, 1655 secs
lola: 2534657 markings, 6488908 edges, 1521 markings/sec, 1660 secs
lola: 2541080 markings, 6507087 edges, 1285 markings/sec, 1665 secs
lola: 2548592 markings, 6525910 edges, 1502 markings/sec, 1670 secs
lola: 2556094 markings, 6544700 edges, 1500 markings/sec, 1675 secs
lola: 2562904 markings, 6563307 edges, 1362 markings/sec, 1680 secs
lola: 2569737 markings, 6581205 edges, 1367 markings/sec, 1685 secs
lola: 2577029 markings, 6599408 edges, 1458 markings/sec, 1690 secs
lola: 2584338 markings, 6617698 edges, 1462 markings/sec, 1695 secs
lola: 2590491 markings, 6635410 edges, 1231 markings/sec, 1700 secs
lola: 2597577 markings, 6652976 edges, 1417 markings/sec, 1705 secs
lola: 2604696 markings, 6670577 edges, 1424 markings/sec, 1710 secs
lola: 2611415 markings, 6688195 edges, 1344 markings/sec, 1715 secs
lola: 2617772 markings, 6705123 edges, 1271 markings/sec, 1720 secs
lola: 2624783 markings, 6722089 edges, 1402 markings/sec, 1725 secs
lola: 2631659 markings, 6739116 edges, 1375 markings/sec, 1730 secs
lola: 2638488 markings, 6754686 edges, 1366 markings/sec, 1735 secs
lola: 2643765 markings, 6769828 edges, 1055 markings/sec, 1740 secs
lola: 2649412 markings, 6788361 edges, 1129 markings/sec, 1745 secs
lola: 2654871 markings, 6806264 edges, 1092 markings/sec, 1750 secs
lola: 2660176 markings, 6823657 edges, 1061 markings/sec, 1755 secs
lola: 2665319 markings, 6840496 edges, 1029 markings/sec, 1760 secs
lola: 2673944 markings, 6862896 edges, 1725 markings/sec, 1765 secs
lola: 2679643 markings, 6877290 edges, 1140 markings/sec, 1770 secs
lola: 2685155 markings, 6895387 edges, 1102 markings/sec, 1775 secs
lola: 2690482 markings, 6912850 edges, 1065 markings/sec, 1780 secs
lola: 2695618 markings, 6929657 edges, 1027 markings/sec, 1785 secs
lola: 2700972 markings, 6946997 edges, 1071 markings/sec, 1790 secs
lola: 2709693 markings, 6966672 edges, 1744 markings/sec, 1795 secs
lola: 2714850 markings, 6983587 edges, 1031 markings/sec, 1800 secs
lola: 2720211 markings, 7001025 edges, 1072 markings/sec, 1805 secs
lola: 2725372 markings, 7017958 edges, 1032 markings/sec, 1810 secs
lola: 2732158 markings, 7039721 edges, 1357 markings/sec, 1815 secs
lola: 2738795 markings, 7053884 edges, 1327 markings/sec, 1820 secs
lola: 2744219 markings, 7071566 edges, 1085 markings/sec, 1825 secs
lola: 2749505 markings, 7088791 edges, 1057 markings/sec, 1830 secs
lola: 2754553 markings, 7105204 edges, 1010 markings/sec, 1835 secs
lola: 2762664 markings, 7124708 edges, 1622 markings/sec, 1840 secs
lola: 2767936 markings, 7141881 edges, 1054 markings/sec, 1845 secs
lola: 2773153 markings, 7158779 edges, 1043 markings/sec, 1850 secs
lola: 2779711 markings, 7179158 edges, 1312 markings/sec, 1855 secs
lola: 2786021 markings, 7194592 edges, 1262 markings/sec, 1860 secs
lola: 2791441 markings, 7212191 edges, 1084 markings/sec, 1865 secs
lola: 2797708 markings, 7232066 edges, 1253 markings/sec, 1870 secs
lola: 2804009 markings, 7247785 edges, 1260 markings/sec, 1875 secs
lola: 2809435 markings, 7265304 edges, 1085 markings/sec, 1880 secs
lola: 2816477 markings, 7283652 edges, 1408 markings/sec, 1885 secs
lola: 2821918 markings, 7301151 edges, 1088 markings/sec, 1890 secs
lola: 2828772 markings, 7319517 edges, 1371 markings/sec, 1895 secs
lola: 2834248 markings, 7336991 edges, 1095 markings/sec, 1900 secs
lola: 2840997 markings, 7355538 edges, 1350 markings/sec, 1905 secs
lola: 2847473 markings, 7373652 edges, 1295 markings/sec, 1910 secs
lola: 2853609 markings, 7390991 edges, 1227 markings/sec, 1915 secs
lola: 2859588 markings, 7408048 edges, 1196 markings/sec, 1920 secs
lola: 2865994 markings, 7424798 edges, 1281 markings/sec, 1925 secs
lola: 2873351 markings, 7446967 edges, 1471 markings/sec, 1930 secs
lola: 2880789 markings, 7465444 edges, 1488 markings/sec, 1935 secs
lola: 2895877 markings, 7489959 edges, 3018 markings/sec, 1940 secs
lola: 2908251 markings, 7513885 edges, 2475 markings/sec, 1945 secs
lola: 2916288 markings, 7534242 edges, 1607 markings/sec, 1950 secs
lola: 2926118 markings, 7557117 edges, 1966 markings/sec, 1955 secs
lola: 2935587 markings, 7579747 edges, 1894 markings/sec, 1960 secs
lola: 2942176 markings, 7597540 edges, 1318 markings/sec, 1965 secs
lola: 2951689 markings, 7619628 edges, 1903 markings/sec, 1970 secs
lola: 2960740 markings, 7641406 edges, 1810 markings/sec, 1975 secs
lola: 2966378 markings, 7657726 edges, 1128 markings/sec, 1980 secs
lola: 2975036 markings, 7678812 edges, 1732 markings/sec, 1985 secs
lola: 2983555 markings, 7699501 edges, 1704 markings/sec, 1990 secs
lola: 2991034 markings, 7719713 edges, 1496 markings/sec, 1995 secs
lola: 2998547 markings, 7739116 edges, 1503 markings/sec, 2000 secs
lola: 3006677 markings, 7759376 edges, 1626 markings/sec, 2005 secs
lola: 3014833 markings, 7779703 edges, 1631 markings/sec, 2010 secs
lola: 3021677 markings, 7799154 edges, 1369 markings/sec, 2015 secs
lola: 3028995 markings, 7817552 edges, 1464 markings/sec, 2020 secs
lola: 3036451 markings, 7836398 edges, 1491 markings/sec, 2025 secs
lola: 3043921 markings, 7855215 edges, 1494 markings/sec, 2030 secs
lola: 3050811 markings, 7873842 edges, 1378 markings/sec, 2035 secs
lola: 3057528 markings, 7891977 edges, 1343 markings/sec, 2040 secs
lola: 3064784 markings, 7910290 edges, 1451 markings/sec, 2045 secs
lola: 3071708 markings, 7927818 edges, 1385 markings/sec, 2050 secs
lola: 3078936 markings, 7946130 edges, 1446 markings/sec, 2055 secs
lola: 3084878 markings, 7963363 edges, 1188 markings/sec, 2060 secs
lola: 3091917 markings, 7981194 edges, 1408 markings/sec, 2065 secs
lola: 3099060 markings, 7999319 edges, 1429 markings/sec, 2070 secs
lola: 3106336 markings, 8017763 edges, 1455 markings/sec, 2075 secs
lola: 3112311 markings, 8035237 edges, 1195 markings/sec, 2080 secs
lola: 3119259 markings, 8052752 edges, 1390 markings/sec, 2085 secs
lola: 3125767 markings, 8069138 edges, 1302 markings/sec, 2090 secs
lola: 3132314 markings, 8085652 edges, 1309 markings/sec, 2095 secs
lola: 3138318 markings, 8102069 edges, 1201 markings/sec, 2100 secs
lola: 3144635 markings, 8118900 edges, 1263 markings/sec, 2105 secs
lola: 3151388 markings, 8135741 edges, 1351 markings/sec, 2110 secs
lola: 3158092 markings, 8152419 edges, 1341 markings/sec, 2115 secs
lola: 3164245 markings, 8169460 edges, 1231 markings/sec, 2120 secs
lola: 3170674 markings, 8185867 edges, 1286 markings/sec, 2125 secs
lola: 3177315 markings, 8202070 edges, 1328 markings/sec, 2130 secs
lola: 3183962 markings, 8218218 edges, 1329 markings/sec, 2135 secs
lola: 3190185 markings, 8234133 edges, 1245 markings/sec, 2140 secs
lola: 3196047 markings, 8248212 edges, 1172 markings/sec, 2145 secs
lola: 3200784 markings, 8263810 edges, 947 markings/sec, 2150 secs
lola: 3206355 markings, 8282083 edges, 1114 markings/sec, 2155 secs
lola: 3211807 markings, 8299962 edges, 1090 markings/sec, 2160 secs
lola: 3217089 markings, 8317280 edges, 1056 markings/sec, 2165 secs
lola: 3222214 markings, 8334076 edges, 1025 markings/sec, 2170 secs
lola: 3231610 markings, 8356802 edges, 1879 markings/sec, 2175 secs
lola: 3236658 markings, 8371114 edges, 1010 markings/sec, 2180 secs
lola: 3242035 markings, 8388753 edges, 1075 markings/sec, 2185 secs
lola: 3247575 markings, 8406757 edges, 1108 markings/sec, 2190 secs
lola: 3252884 markings, 8424181 edges, 1062 markings/sec, 2195 secs
lola: 3258044 markings, 8441102 edges, 1032 markings/sec, 2200 secs
lola: 3267103 markings, 8463003 edges, 1812 markings/sec, 2205 secs
lola: 3271889 markings, 8477316 edges, 957 markings/sec, 2210 secs
lola: 3277526 markings, 8495713 edges, 1127 markings/sec, 2215 secs
lola: 3282916 markings, 8513244 edges, 1078 markings/sec, 2220 secs
lola: 3288270 markings, 8530823 edges, 1071 markings/sec, 2225 secs
lola: 3296422 markings, 8552793 edges, 1630 markings/sec, 2230 secs
lola: 3302001 markings, 8567614 edges, 1116 markings/sec, 2235 secs
lola: 3307845 markings, 8586575 edges, 1169 markings/sec, 2240 secs
lola: 3313420 markings, 8604776 edges, 1115 markings/sec, 2245 secs
lola: 3320309 markings, 8627024 edges, 1378 markings/sec, 2250 secs
lola: 3327032 markings, 8642108 edges, 1345 markings/sec, 2255 secs
lola: 3332570 markings, 8660166 edges, 1108 markings/sec, 2260 secs
lola: 3338151 markings, 8678281 edges, 1116 markings/sec, 2265 secs
lola: 3345162 markings, 8699324 edges, 1402 markings/sec, 2270 secs
lola: 3351247 markings, 8714744 edges, 1217 markings/sec, 2275 secs
lola: 3356995 markings, 8733345 edges, 1150 markings/sec, 2280 secs
lola: 3363447 markings, 8754143 edges, 1290 markings/sec, 2285 secs
lola: 3369851 markings, 8769744 edges, 1281 markings/sec, 2290 secs
lola: 3375597 markings, 8788319 edges, 1149 markings/sec, 2295 secs
lola: 3382664 markings, 8807965 edges, 1413 markings/sec, 2300 secs
lola: 3388355 markings, 8824993 edges, 1138 markings/sec, 2305 secs
lola: 3394726 markings, 8844766 edges, 1274 markings/sec, 2310 secs
lola: 3400900 markings, 8861528 edges, 1235 markings/sec, 2315 secs
lola: 3407752 markings, 8880355 edges, 1370 markings/sec, 2320 secs
lola: 3413207 markings, 8897676 edges, 1091 markings/sec, 2325 secs
lola: 3419723 markings, 8915785 edges, 1303 markings/sec, 2330 secs
lola: 3426041 markings, 8933593 edges, 1264 markings/sec, 2335 secs
lola: 3432638 markings, 8951201 edges, 1319 markings/sec, 2340 secs
lola: 3439152 markings, 8968308 edges, 1303 markings/sec, 2345 secs
lola: 3447557 markings, 8993638 edges, 1681 markings/sec, 2350 secs
lola: 3458584 markings, 9015551 edges, 2205 markings/sec, 2355 secs
lola: 3470880 markings, 9034781 edges, 2459 markings/sec, 2360 secs
lola: 3484712 markings, 9063420 edges, 2766 markings/sec, 2365 secs
lola: 3491268 markings, 9081816 edges, 1311 markings/sec, 2370 secs
lola: 3502582 markings, 9107514 edges, 2263 markings/sec, 2375 secs
lola: 3510001 markings, 9127136 edges, 1484 markings/sec, 2380 secs
lola: 3518379 markings, 9147661 edges, 1676 markings/sec, 2385 secs
lola: 3527719 markings, 9170094 edges, 1868 markings/sec, 2390 secs
lola: 3534651 markings, 9188530 edges, 1386 markings/sec, 2395 secs
lola: 3541538 markings, 9206449 edges, 1377 markings/sec, 2400 secs
lola: 3550115 markings, 9227215 edges, 1715 markings/sec, 2405 secs
lola: 3558526 markings, 9247734 edges, 1682 markings/sec, 2410 secs
lola: 3564968 markings, 9265188 edges, 1288 markings/sec, 2415 secs
lola: 3571832 markings, 9283246 edges, 1373 markings/sec, 2420 secs
lola: 3579809 markings, 9303128 edges, 1595 markings/sec, 2425 secs
lola: 3587854 markings, 9323201 edges, 1609 markings/sec, 2430 secs
lola: 3595890 markings, 9343591 edges, 1607 markings/sec, 2435 secs
lola: 3602904 markings, 9363514 edges, 1403 markings/sec, 2440 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 20 1 unknown 1 1 1 unknown 20 unknown 20 10 1 1
lola:
preliminary result: 1 1 1 20 1 unknown 1 1 1 unknown 20 unknown 20 10 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 20 1 unknown 1 1 1 unknown 20 unknown 20 10 1 1
lola: memory consumption: 193292 KB
lola: time consumption: 3569 seconds
lola: Child process aborted or communication problem between parent and child process

FORMULA BridgeAndVehicles-COL-V20P10N50-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p100)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P10N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
memory consumption: 31564 KB
lola: time consumption: 3569 seconds
lola: RUNNING
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 20 1 unknown 1 1 1 unknown 20 unknown 20 10 1 1
lola: memory consumption: 32592 KB
lola: time consumption: 3569 seconds

BK_STOP 1552407592634

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

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