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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 216K
-rw-r--r-- 1 mcc users 4.2K Feb 9 07:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 9 07:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 5 04:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 5 04:55 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:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 2 01:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 2 01:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Jan 29 12:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 29 12:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 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-V20P20N50-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-COL-V20P20N50-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-COL-V20P20N50-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-COL-V20P20N50-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-COL-V20P20N50-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-COL-V20P20N50-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-COL-V20P20N50-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-COL-V20P20N50-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-COL-V20P20N50-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-COL-V20P20N50-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-COL-V20P20N50-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-COL-V20P20N50-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-COL-V20P20N50-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-COL-V20P20N50-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-COL-V20P20N50-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-COL-V20P20N50-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552404058009

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-COL-V20P20N50 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-COL-V20P20N50 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-COL-V20P20N50 @ 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: 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-V20P20N50-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(p98) : MAX(0) : MAX(p104) : MAX(p100 + p101) : MAX(p98) : MAX(p98) : MAX(p105) : MAX(0) : MAX(p100 + p101) : MAX(p105) : MAX(p105) : MAX(p96) : MAX(p0) : MAX(0) : MAX(p100 + p101) : MAX(p102 + p103)
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-V20P20N50-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-V20P20N50-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-V20P20N50-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-V20P20N50-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
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-V20P20N50-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-V20P20N50-UpperBounds-13 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(p98)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p98)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5942 markings, 10179 edges, 1188 markings/sec, 30 secs
lola: 14723 markings, 34059 edges, 1756 markings/sec, 35 secs
lola: 19763 markings, 44292 edges, 1008 markings/sec, 40 secs
lola: 27168 markings, 63933 edges, 1481 markings/sec, 45 secs
lola: 34504 markings, 83287 edges, 1467 markings/sec, 50 secs
lola: 44936 markings, 112226 edges, 2086 markings/sec, 55 secs
lola: 53518 markings, 135063 edges, 1716 markings/sec, 60 secs
lola: 60314 markings, 154279 edges, 1359 markings/sec, 65 secs
lola: 69713 markings, 179093 edges, 1880 markings/sec, 70 secs
lola: 74257 markings, 188665 edges, 909 markings/sec, 75 secs
lola: 79524 markings, 204867 edges, 1053 markings/sec, 80 secs
lola: 84170 markings, 217055 edges, 929 markings/sec, 85 secs
lola: 91569 markings, 238587 edges, 1480 markings/sec, 90 secs
lola: 98444 markings, 259410 edges, 1375 markings/sec, 95 secs
lola: 104930 markings, 278517 edges, 1297 markings/sec, 100 secs
lola: 111148 markings, 296356 edges, 1244 markings/sec, 105 secs
lola: 117035 markings, 312748 edges, 1177 markings/sec, 110 secs
lola: 123778 markings, 332538 edges, 1349 markings/sec, 115 secs
lola: 130035 markings, 350120 edges, 1251 markings/sec, 120 secs
lola: 136490 markings, 367930 edges, 1291 markings/sec, 125 secs
lola: 144725 markings, 392732 edges, 1647 markings/sec, 130 secs
lola: 151225 markings, 404221 edges, 1300 markings/sec, 135 secs
lola: 157134 markings, 419208 edges, 1182 markings/sec, 140 secs
lola: 162570 markings, 435413 edges, 1087 markings/sec, 145 secs
lola: 167135 markings, 449535 edges, 913 markings/sec, 150 secs
lola: 171314 markings, 460719 edges, 836 markings/sec, 155 secs
lola: 175881 markings, 475795 edges, 913 markings/sec, 160 secs
lola: 182901 markings, 495594 edges, 1404 markings/sec, 165 secs
lola: 187466 markings, 510537 edges, 913 markings/sec, 170 secs
lola: 194105 markings, 529627 edges, 1328 markings/sec, 175 secs
lola: 200757 markings, 550000 edges, 1330 markings/sec, 180 secs
lola: 205063 markings, 563053 edges, 861 markings/sec, 185 secs
lola: 211050 markings, 580455 edges, 1197 markings/sec, 190 secs
lola: 216895 markings, 597643 edges, 1169 markings/sec, 195 secs
lola: 222646 markings, 614724 edges, 1150 markings/sec, 200 secs
lola: 229293 markings, 634231 edges, 1329 markings/sec, 205 secs
lola: 234965 markings, 650357 edges, 1134 markings/sec, 210 secs
lola: 241119 markings, 667170 edges, 1231 markings/sec, 215 secs
lola: 248961 markings, 692059 edges, 1568 markings/sec, 220 secs
lola: 255424 markings, 705174 edges, 1293 markings/sec, 225 secs
lola: 260810 markings, 714283 edges, 1077 markings/sec, 230 secs
lola: 266937 markings, 731066 edges, 1225 markings/sec, 235 secs
lola: 273010 markings, 748292 edges, 1215 markings/sec, 240 secs
lola: 277371 markings, 762008 edges, 872 markings/sec, 245 secs
lola: 282909 markings, 777669 edges, 1108 markings/sec, 250 secs
lola: 287325 markings, 789184 edges, 883 markings/sec, 255 secs
lola: 291545 markings, 802980 edges, 844 markings/sec, 260 secs
lola: 296202 markings, 818443 edges, 931 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown 1 unknown unknown
lola: memory consumption: 48712 KB
lola: time consumption: 275 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p98)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p98)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 6185 markings, 10546 edges, 1237 markings/sec, 30 secs
lola: 15399 markings, 35662 edges, 1843 markings/sec, 35 secs
lola: 20389 markings, 45661 edges, 998 markings/sec, 40 secs
lola: 28248 markings, 66501 edges, 1572 markings/sec, 45 secs
lola: 37785 markings, 92798 edges, 1907 markings/sec, 50 secs
lola: 47116 markings, 118179 edges, 1866 markings/sec, 55 secs
lola: 56314 markings, 142261 edges, 1840 markings/sec, 60 secs
lola: 65212 markings, 169835 edges, 1780 markings/sec, 65 secs
lola: 71893 markings, 183316 edges, 1336 markings/sec, 70 secs
lola: 77447 markings, 197978 edges, 1111 markings/sec, 75 secs
lola: 81831 markings, 210291 edges, 877 markings/sec, 80 secs
lola: 89341 markings, 233357 edges, 1502 markings/sec, 85 secs
lola: 94061 markings, 246537 edges, 944 markings/sec, 90 secs
lola: 101151 markings, 267056 edges, 1418 markings/sec, 95 secs
lola: 108074 markings, 287380 edges, 1385 markings/sec, 100 secs
lola: 116147 markings, 310760 edges, 1615 markings/sec, 105 secs
lola: 123224 markings, 331270 edges, 1415 markings/sec, 110 secs
lola: 129759 markings, 349317 edges, 1307 markings/sec, 115 secs
lola: 136889 markings, 369266 edges, 1426 markings/sec, 120 secs
lola: 146008 markings, 396477 edges, 1824 markings/sec, 125 secs
lola: 152036 markings, 406151 edges, 1206 markings/sec, 130 secs
lola: 158017 markings, 422210 edges, 1196 markings/sec, 135 secs
lola: 163908 markings, 439321 edges, 1178 markings/sec, 140 secs
lola: 168276 markings, 452256 edges, 874 markings/sec, 145 secs
lola: 172604 markings, 465010 edges, 866 markings/sec, 150 secs
lola: 180132 markings, 488448 edges, 1506 markings/sec, 155 secs
lola: 184487 markings, 500894 edges, 871 markings/sec, 160 secs
lola: 191645 markings, 522625 edges, 1432 markings/sec, 165 secs
lola: 196162 markings, 536364 edges, 903 markings/sec, 170 secs
lola: 202849 markings, 555778 edges, 1337 markings/sec, 175 secs
lola: 209260 markings, 574937 edges, 1282 markings/sec, 180 secs
lola: 215094 markings, 592771 edges, 1167 markings/sec, 185 secs
lola: 220673 markings, 609216 edges, 1116 markings/sec, 190 secs
lola: 226045 markings, 624433 edges, 1074 markings/sec, 195 secs
lola: 231725 markings, 641463 edges, 1136 markings/sec, 200 secs
lola: 237419 markings, 657413 edges, 1139 markings/sec, 205 secs
lola: 243279 markings, 674344 edges, 1172 markings/sec, 210 secs
lola: 252365 markings, 700752 edges, 1817 markings/sec, 215 secs
lola: 258833 markings, 709566 edges, 1294 markings/sec, 220 secs
lola: 264922 markings, 724707 edges, 1218 markings/sec, 225 secs
lola: 269892 markings, 740070 edges, 994 markings/sec, 230 secs
lola: 275643 markings, 757143 edges, 1150 markings/sec, 235 secs
lola: 281647 markings, 773421 edges, 1201 markings/sec, 240 secs
lola: 286057 markings, 786273 edges, 882 markings/sec, 245 secs
lola: 290455 markings, 799386 edges, 880 markings/sec, 250 secs
lola: 294916 markings, 814139 edges, 892 markings/sec, 255 secs
lola: 302383 markings, 835865 edges, 1493 markings/sec, 260 secs
lola: 306752 markings, 849711 edges, 874 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown 1 unknown unknown
lola: memory consumption: 49120 KB
lola: time consumption: 549 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 274 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-V20P20N50-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-V20P20N50-UpperBounds-6 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p98)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p98)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 6131 markings, 10419 edges, 1226 markings/sec, 30 secs
lola: 15101 markings, 35083 edges, 1794 markings/sec, 35 secs
lola: 19935 markings, 44683 edges, 967 markings/sec, 40 secs
lola: 28185 markings, 66344 edges, 1650 markings/sec, 45 secs
lola: 38212 markings, 93801 edges, 2005 markings/sec, 50 secs
lola: 48266 markings, 120975 edges, 2011 markings/sec, 55 secs
lola: 58389 markings, 147784 edges, 2025 markings/sec, 60 secs
lola: 67987 markings, 176930 edges, 1920 markings/sec, 65 secs
lola: 73873 markings, 187906 edges, 1177 markings/sec, 70 secs
lola: 79580 markings, 205039 edges, 1141 markings/sec, 75 secs
lola: 84118 markings, 216873 edges, 908 markings/sec, 80 secs
lola: 91268 markings, 237915 edges, 1430 markings/sec, 85 secs
lola: 98130 markings, 258663 edges, 1372 markings/sec, 90 secs
lola: 104599 markings, 277730 edges, 1294 markings/sec, 95 secs
lola: 111169 markings, 296407 edges, 1314 markings/sec, 100 secs
lola: 117546 markings, 314469 edges, 1275 markings/sec, 105 secs
lola: 124517 markings, 334318 edges, 1394 markings/sec, 110 secs
lola: 131422 markings, 353885 edges, 1381 markings/sec, 115 secs
lola: 137906 markings, 372703 edges, 1297 markings/sec, 120 secs
lola: 147596 markings, 398840 edges, 1938 markings/sec, 125 secs
lola: 153215 markings, 408931 edges, 1124 markings/sec, 130 secs
lola: 159251 markings, 426374 edges, 1207 markings/sec, 135 secs
lola: 165190 markings, 443668 edges, 1188 markings/sec, 140 secs
lola: 169752 markings, 455651 edges, 912 markings/sec, 145 secs
lola: 174325 markings, 470659 edges, 915 markings/sec, 150 secs
lola: 181782 markings, 492315 edges, 1491 markings/sec, 155 secs
lola: 186429 markings, 507278 edges, 929 markings/sec, 160 secs
lola: 193492 markings, 527552 edges, 1413 markings/sec, 165 secs
lola: 200312 markings, 548946 edges, 1364 markings/sec, 170 secs
lola: 204957 markings, 562696 edges, 929 markings/sec, 175 secs
lola: 211377 markings, 581436 edges, 1284 markings/sec, 180 secs
lola: 217601 markings, 599877 edges, 1245 markings/sec, 185 secs
lola: 223646 markings, 617972 edges, 1209 markings/sec, 190 secs
lola: 230263 markings, 636881 edges, 1323 markings/sec, 195 secs
lola: 236766 markings, 655479 edges, 1301 markings/sec, 200 secs
lola: 242815 markings, 672780 edges, 1210 markings/sec, 205 secs
lola: 251902 markings, 699704 edges, 1817 markings/sec, 210 secs
lola: 258779 markings, 709446 edges, 1375 markings/sec, 215 secs
lola: 265327 markings, 725785 edges, 1310 markings/sec, 220 secs
lola: 270811 markings, 742500 edges, 1097 markings/sec, 225 secs
lola: 276333 markings, 759399 edges, 1104 markings/sec, 230 secs
lola: 282534 markings, 776416 edges, 1240 markings/sec, 235 secs
lola: 287075 markings, 788641 edges, 908 markings/sec, 240 secs
lola: 291653 markings, 803344 edges, 916 markings/sec, 245 secs
lola: 296415 markings, 819117 edges, 952 markings/sec, 250 secs
lola: 303847 markings, 840133 edges, 1486 markings/sec, 255 secs
lola: 308127 markings, 854229 edges, 856 markings/sec, 260 secs
lola: 315345 markings, 875919 edges, 1444 markings/sec, 265 secs
lola: 319678 markings, 889224 edges, 867 markings/sec, 270 secs
lola: 326430 markings, 910033 edges, 1350 markings/sec, 275 secs
lola: 330823 markings, 923150 edges, 879 markings/sec, 280 secs
lola: 337238 markings, 942138 edges, 1283 markings/sec, 285 secs
lola: 341694 markings, 956403 edges, 891 markings/sec, 290 secs
lola: 347707 markings, 974011 edges, 1203 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown 20 1 unknown unknown unknown unknown unknown 1 unknown unknown
lola: memory consumption: 50968 KB
lola: time consumption: 851 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 302 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-V20P20N50-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-V20P20N50-UpperBounds-9 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 339 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-V20P20N50-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-V20P20N50-UpperBounds-10 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 388 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p96)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p96)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P20N50-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
lola: ========================================

FORMULA BridgeAndVehicles-COL-V20P20N50-UpperBounds-11 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 453 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P20N50-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: 61 markings, 60 edges
lola: ========================================

FORMULA BridgeAndVehicles-COL-V20P20N50-UpperBounds-12 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 543 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p104)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p104)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P20N50-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-V20P20N50-UpperBounds-2 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 679 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P20N50-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-V20P20N50-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 906 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P20N50-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-V20P20N50-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P20N50-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-V20P20N50-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2719 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p102 + p103)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p102 + p103)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P20N50-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-V20P20N50-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p98)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p98)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-COL-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 6574 markings, 11468 edges, 1315 markings/sec, 30 secs
lola: 16309 markings, 36854 edges, 1947 markings/sec, 35 secs
lola: 21452 markings, 47987 edges, 1029 markings/sec, 40 secs
lola: 29972 markings, 70586 edges, 1704 markings/sec, 45 secs
lola: 41228 markings, 102343 edges, 2251 markings/sec, 50 secs
lola: 50437 markings, 126810 edges, 1842 markings/sec, 55 secs
lola: 59396 markings, 151194 edges, 1792 markings/sec, 60 secs
lola: 69324 markings, 178591 edges, 1986 markings/sec, 65 secs
lola: 75209 markings, 191094 edges, 1177 markings/sec, 70 secs
lola: 80374 markings, 206838 edges, 1033 markings/sec, 75 secs
lola: 85399 markings, 221163 edges, 1005 markings/sec, 80 secs
lola: 93120 markings, 243394 edges, 1544 markings/sec, 85 secs
lola: 100489 markings, 264837 edges, 1474 markings/sec, 90 secs
lola: 107562 markings, 285704 edges, 1415 markings/sec, 95 secs
lola: 115694 markings, 309692 edges, 1626 markings/sec, 100 secs
lola: 121750 markings, 326657 edges, 1211 markings/sec, 105 secs
lola: 129005 markings, 347147 edges, 1451 markings/sec, 110 secs
lola: 135967 markings, 366127 edges, 1392 markings/sec, 115 secs
lola: 144244 markings, 391635 edges, 1655 markings/sec, 120 secs
lola: 151122 markings, 403964 edges, 1376 markings/sec, 125 secs
lola: 157137 markings, 419218 edges, 1203 markings/sec, 130 secs
lola: 162613 markings, 435545 edges, 1095 markings/sec, 135 secs
lola: 167193 markings, 449680 edges, 916 markings/sec, 140 secs
lola: 171645 markings, 461826 edges, 890 markings/sec, 145 secs
lola: 179133 markings, 486175 edges, 1498 markings/sec, 150 secs
lola: 183841 markings, 498770 edges, 942 markings/sec, 155 secs
lola: 191034 markings, 521163 edges, 1439 markings/sec, 160 secs
lola: 195672 markings, 534714 edges, 928 markings/sec, 165 secs
lola: 202458 markings, 554473 edges, 1357 markings/sec, 170 secs
lola: 208926 markings, 574183 edges, 1294 markings/sec, 175 secs
lola: 215129 markings, 592858 edges, 1241 markings/sec, 180 secs
lola: 220844 markings, 609630 edges, 1143 markings/sec, 185 secs
lola: 226213 markings, 624906 edges, 1074 markings/sec, 190 secs
lola: 232122 markings, 642527 edges, 1182 markings/sec, 195 secs
lola: 238014 markings, 659035 edges, 1178 markings/sec, 200 secs
lola: 243836 markings, 676224 edges, 1164 markings/sec, 205 secs
lola: 253409 markings, 702627 edges, 1915 markings/sec, 210 secs
lola: 259861 markings, 712025 edges, 1290 markings/sec, 215 secs
lola: 266423 markings, 729315 edges, 1312 markings/sec, 220 secs
lola: 272792 markings, 747769 edges, 1274 markings/sec, 225 secs
lola: 277911 markings, 763328 edges, 1024 markings/sec, 230 secs
lola: 283475 markings, 779587 edges, 1113 markings/sec, 235 secs
lola: 287904 markings, 790913 edges, 886 markings/sec, 240 secs
lola: 292275 markings, 805442 edges, 874 markings/sec, 245 secs
lola: 299688 markings, 829624 edges, 1483 markings/sec, 250 secs
lola: 304476 markings, 842234 edges, 958 markings/sec, 255 secs
lola: 309007 markings, 857107 edges, 906 markings/sec, 260 secs
lola: 316234 markings, 877865 edges, 1445 markings/sec, 265 secs
lola: 320650 markings, 892418 edges, 883 markings/sec, 270 secs
lola: 327591 markings, 912688 edges, 1388 markings/sec, 275 secs
lola: 332132 markings, 927385 edges, 908 markings/sec, 280 secs
lola: 338647 markings, 946488 edges, 1303 markings/sec, 285 secs
lola: 344862 markings, 965635 edges, 1243 markings/sec, 290 secs
lola: 349518 markings, 979918 edges, 931 markings/sec, 295 secs
lola: 355425 markings, 997385 edges, 1181 markings/sec, 300 secs
lola: 362040 markings, 1017060 edges, 1323 markings/sec, 305 secs
lola: 367507 markings, 1032665 edges, 1093 markings/sec, 310 secs
lola: 373682 markings, 1050244 edges, 1235 markings/sec, 315 secs
lola: 379464 markings, 1067144 edges, 1156 markings/sec, 320 secs
lola: 388617 markings, 1093777 edges, 1831 markings/sec, 325 secs
lola: 395483 markings, 1103726 edges, 1373 markings/sec, 330 secs
lola: 400871 markings, 1114010 edges, 1078 markings/sec, 335 secs
lola: 407815 markings, 1134330 edges, 1389 markings/sec, 340 secs
lola: 414871 markings, 1154327 edges, 1411 markings/sec, 345 secs
lola: 421002 markings, 1171574 edges, 1226 markings/sec, 350 secs
lola: 426137 markings, 1187354 edges, 1027 markings/sec, 355 secs
lola: 432666 markings, 1204268 edges, 1306 markings/sec, 360 secs
lola: 437207 markings, 1217297 edges, 908 markings/sec, 365 secs
lola: 441755 markings, 1231091 edges, 910 markings/sec, 370 secs
lola: 446182 markings, 1245827 edges, 885 markings/sec, 375 secs
lola: 453439 markings, 1269559 edges, 1451 markings/sec, 380 secs
lola: 458340 markings, 1282335 edges, 980 markings/sec, 385 secs
lola: 462696 markings, 1296608 edges, 871 markings/sec, 390 secs
lola: 467281 markings, 1311801 edges, 917 markings/sec, 395 secs
lola: 474279 markings, 1331675 edges, 1400 markings/sec, 400 secs
lola: 478608 markings, 1345871 edges, 866 markings/sec, 405 secs
lola: 485383 markings, 1366828 edges, 1355 markings/sec, 410 secs
lola: 489855 markings, 1380010 edges, 894 markings/sec, 415 secs
lola: 494378 markings, 1394826 edges, 905 markings/sec, 420 secs
lola: 500729 markings, 1413143 edges, 1270 markings/sec, 425 secs
lola: 506008 markings, 1430251 edges, 1056 markings/sec, 430 secs
lola: 511298 markings, 1445547 edges, 1058 markings/sec, 435 secs
lola: 517227 markings, 1463020 edges, 1186 markings/sec, 440 secs
lola: 522741 markings, 1480505 edges, 1103 markings/sec, 445 secs
lola: 527349 markings, 1494245 edges, 922 markings/sec, 450 secs
lola: 533540 markings, 1512245 edges, 1238 markings/sec, 455 secs
lola: 538698 markings, 1527355 edges, 1032 markings/sec, 460 secs
lola: 544461 markings, 1543660 edges, 1153 markings/sec, 465 secs
lola: 549924 markings, 1560055 edges, 1093 markings/sec, 470 secs
lola: 559141 markings, 1585770 edges, 1843 markings/sec, 475 secs
lola: 565658 markings, 1594943 edges, 1303 markings/sec, 480 secs
lola: 571679 markings, 1604330 edges, 1204 markings/sec, 485 secs
lola: 579041 markings, 1623966 edges, 1472 markings/sec, 490 secs
lola: 585232 markings, 1642188 edges, 1238 markings/sec, 495 secs
lola: 590914 markings, 1659530 edges, 1136 markings/sec, 500 secs
lola: 598274 markings, 1678670 edges, 1472 markings/sec, 505 secs
lola: 603183 markings, 1693754 edges, 982 markings/sec, 510 secs
lola: 609733 markings, 1710917 edges, 1310 markings/sec, 515 secs
lola: 615158 markings, 1726383 edges, 1085 markings/sec, 520 secs
lola: 620994 markings, 1742457 edges, 1167 markings/sec, 525 secs
lola: 625671 markings, 1754664 edges, 935 markings/sec, 530 secs
lola: 630243 markings, 1769812 edges, 914 markings/sec, 535 secs
lola: 634718 markings, 1784614 edges, 895 markings/sec, 540 secs
lola: 639314 markings, 1799782 edges, 919 markings/sec, 545 secs
lola: 646904 markings, 1821734 edges, 1518 markings/sec, 550 secs
lola: 651527 markings, 1836324 edges, 925 markings/sec, 555 secs
lola: 656028 markings, 1851102 edges, 900 markings/sec, 560 secs
lola: 660531 markings, 1866010 edges, 901 markings/sec, 565 secs
lola: 667331 markings, 1885056 edges, 1360 markings/sec, 570 secs
lola: 671469 markings, 1898617 edges, 828 markings/sec, 575 secs
lola: 675723 markings, 1912562 edges, 851 markings/sec, 580 secs
lola: 682721 markings, 1932656 edges, 1400 markings/sec, 585 secs
lola: 687249 markings, 1947546 edges, 906 markings/sec, 590 secs
lola: 691892 markings, 1962774 edges, 929 markings/sec, 595 secs
lola: 698435 markings, 1981597 edges, 1309 markings/sec, 600 secs
lola: 702935 markings, 1996249 edges, 900 markings/sec, 605 secs
lola: 709293 markings, 2014880 edges, 1272 markings/sec, 610 secs
lola: 713848 markings, 2029640 edges, 911 markings/sec, 615 secs
lola: 719915 markings, 2047505 edges, 1213 markings/sec, 620 secs
lola: 725679 markings, 2064770 edges, 1153 markings/sec, 625 secs
lola: 730491 markings, 2079949 edges, 962 markings/sec, 630 secs
lola: 735954 markings, 2096236 edges, 1093 markings/sec, 635 secs
lola: 742028 markings, 2113564 edges, 1215 markings/sec, 640 secs
lola: 747632 markings, 2129911 edges, 1121 markings/sec, 645 secs
lola: 753448 markings, 2146015 edges, 1163 markings/sec, 650 secs
lola: 761787 markings, 2171897 edges, 1668 markings/sec, 655 secs
lola: 768549 markings, 2185865 edges, 1352 markings/sec, 660 secs
lola: 775170 markings, 2195250 edges, 1324 markings/sec, 665 secs
lola: 781240 markings, 2205438 edges, 1214 markings/sec, 670 secs
lola: 789151 markings, 2227098 edges, 1582 markings/sec, 675 secs
lola: 795813 markings, 2246510 edges, 1332 markings/sec, 680 secs
lola: 801894 markings, 2264961 edges, 1216 markings/sec, 685 secs
lola: 809511 markings, 2284999 edges, 1523 markings/sec, 690 secs
lola: 814724 markings, 2300883 edges, 1043 markings/sec, 695 secs
lola: 822130 markings, 2319819 edges, 1481 markings/sec, 700 secs
lola: 827158 markings, 2335136 edges, 1006 markings/sec, 705 secs
lola: 834154 markings, 2352601 edges, 1399 markings/sec, 710 secs
lola: 839051 markings, 2367617 edges, 979 markings/sec, 715 secs
lola: 845907 markings, 2384193 edges, 1371 markings/sec, 720 secs
lola: 850739 markings, 2398890 edges, 966 markings/sec, 725 secs
lola: 855576 markings, 2412490 edges, 967 markings/sec, 730 secs
lola: 860293 markings, 2427996 edges, 943 markings/sec, 735 secs
lola: 864878 markings, 2443229 edges, 917 markings/sec, 740 secs
lola: 869471 markings, 2458314 edges, 919 markings/sec, 745 secs
lola: 877162 markings, 2480928 edges, 1538 markings/sec, 750 secs
lola: 881838 markings, 2495236 edges, 935 markings/sec, 755 secs
lola: 886349 markings, 2510036 edges, 902 markings/sec, 760 secs
lola: 890725 markings, 2524572 edges, 875 markings/sec, 765 secs
lola: 898098 markings, 2547104 edges, 1475 markings/sec, 770 secs
lola: 902843 markings, 2560961 edges, 949 markings/sec, 775 secs
lola: 907362 markings, 2575809 edges, 904 markings/sec, 780 secs
lola: 911840 markings, 2590526 edges, 896 markings/sec, 785 secs
lola: 918880 markings, 2610612 edges, 1408 markings/sec, 790 secs
lola: 923216 markings, 2624869 edges, 867 markings/sec, 795 secs
lola: 927283 markings, 2638177 edges, 813 markings/sec, 800 secs
lola: 933550 markings, 2656772 edges, 1253 markings/sec, 805 secs
lola: 937911 markings, 2670257 edges, 872 markings/sec, 810 secs
lola: 942189 markings, 2684270 edges, 856 markings/sec, 815 secs
lola: 948466 markings, 2702452 edges, 1255 markings/sec, 820 secs
lola: 952789 markings, 2716515 edges, 865 markings/sec, 825 secs
lola: 958452 markings, 2733310 edges, 1133 markings/sec, 830 secs
lola: 962689 markings, 2746641 edges, 847 markings/sec, 835 secs
lola: 968300 markings, 2763103 edges, 1122 markings/sec, 840 secs
lola: 972917 markings, 2777967 edges, 923 markings/sec, 845 secs
lola: 978585 markings, 2794725 edges, 1134 markings/sec, 850 secs
lola: 984047 markings, 2810992 edges, 1092 markings/sec, 855 secs
lola: 989915 markings, 2828144 edges, 1174 markings/sec, 860 secs
lola: 995398 markings, 2843734 edges, 1097 markings/sec, 865 secs
lola: 1000964 markings, 2859821 edges, 1113 markings/sec, 870 secs
lola: 1009649 markings, 2884839 edges, 1737 markings/sec, 875 secs
lola: 1016403 markings, 2898045 edges, 1351 markings/sec, 880 secs
lola: 1022846 markings, 2907714 edges, 1289 markings/sec, 885 secs
lola: 1029277 markings, 2917351 edges, 1286 markings/sec, 890 secs
lola: 1036889 markings, 2937137 edges, 1522 markings/sec, 895 secs
lola: 1042797 markings, 2955338 edges, 1182 markings/sec, 900 secs
lola: 1051018 markings, 2978173 edges, 1644 markings/sec, 905 secs
lola: 1056722 markings, 2994912 edges, 1141 markings/sec, 910 secs
lola: 1063858 markings, 3013861 edges, 1427 markings/sec, 915 secs
lola: 1068667 markings, 3028478 edges, 962 markings/sec, 920 secs
lola: 1075504 markings, 3046099 edges, 1367 markings/sec, 925 secs
lola: 1080529 markings, 3061185 edges, 1005 markings/sec, 930 secs
lola: 1086865 markings, 3077438 edges, 1267 markings/sec, 935 secs
lola: 1093214 markings, 3094447 edges, 1270 markings/sec, 940 secs
lola: 1098950 markings, 3110448 edges, 1147 markings/sec, 945 secs
lola: 1105507 markings, 3126739 edges, 1311 markings/sec, 950 secs
lola: 1109825 markings, 3140226 edges, 864 markings/sec, 955 secs
lola: 1115872 markings, 3154801 edges, 1209 markings/sec, 960 secs
lola: 1120947 markings, 3169541 edges, 1015 markings/sec, 965 secs
lola: 1125798 markings, 3182285 edges, 970 markings/sec, 970 secs
lola: 1130456 markings, 3197771 edges, 932 markings/sec, 975 secs
lola: 1134978 markings, 3212612 edges, 904 markings/sec, 980 secs
lola: 1139391 markings, 3227275 edges, 883 markings/sec, 985 secs
lola: 1143882 markings, 3241995 edges, 898 markings/sec, 990 secs
lola: 1151620 markings, 3265097 edges, 1548 markings/sec, 995 secs
lola: 1156325 markings, 3279042 edges, 941 markings/sec, 1000 secs
lola: 1160891 markings, 3294170 edges, 913 markings/sec, 1005 secs
lola: 1165279 markings, 3308614 edges, 878 markings/sec, 1010 secs
lola: 1169578 markings, 3322716 edges, 860 markings/sec, 1015 secs
lola: 1176791 markings, 3343722 edges, 1443 markings/sec, 1020 secs
lola: 1181334 markings, 3357930 edges, 909 markings/sec, 1025 secs
lola: 1185757 markings, 3372431 edges, 885 markings/sec, 1030 secs
lola: 1190068 markings, 3386594 edges, 862 markings/sec, 1035 secs
lola: 1196860 markings, 3407312 edges, 1358 markings/sec, 1040 secs
lola: 1201458 markings, 3420835 edges, 920 markings/sec, 1045 secs
lola: 1205848 markings, 3435218 edges, 878 markings/sec, 1050 secs
lola: 1210341 markings, 3449849 edges, 899 markings/sec, 1055 secs
lola: 1217076 markings, 3469209 edges, 1347 markings/sec, 1060 secs
lola: 1221693 markings, 3484238 edges, 923 markings/sec, 1065 secs
lola: 1226165 markings, 3498796 edges, 894 markings/sec, 1070 secs
lola: 1232585 markings, 3517428 edges, 1284 markings/sec, 1075 secs
lola: 1237185 markings, 3532326 edges, 920 markings/sec, 1080 secs
lola: 1243176 markings, 3550598 edges, 1198 markings/sec, 1085 secs
lola: 1247895 markings, 3565045 edges, 944 markings/sec, 1090 secs
lola: 1253728 markings, 3582865 edges, 1167 markings/sec, 1095 secs
lola: 1258445 markings, 3597344 edges, 943 markings/sec, 1100 secs
lola: 1264158 markings, 3614255 edges, 1143 markings/sec, 1105 secs
lola: 1269622 markings, 3630704 edges, 1093 markings/sec, 1110 secs
lola: 1274981 markings, 3646781 edges, 1072 markings/sec, 1115 secs
lola: 1280273 markings, 3662321 edges, 1058 markings/sec, 1120 secs
lola: 1285447 markings, 3677141 edges, 1035 markings/sec, 1125 secs
lola: 1290637 markings, 3691716 edges, 1038 markings/sec, 1130 secs
lola: 1298559 markings, 3715956 edges, 1584 markings/sec, 1135 secs
lola: 1304709 markings, 3729438 edges, 1230 markings/sec, 1140 secs
lola: 1311085 markings, 3739448 edges, 1275 markings/sec, 1145 secs
lola: 1317412 markings, 3749350 edges, 1265 markings/sec, 1150 secs
lola: 1323576 markings, 3759017 edges, 1233 markings/sec, 1155 secs
lola: 1331293 markings, 3779154 edges, 1543 markings/sec, 1160 secs
lola: 1337144 markings, 3797190 edges, 1170 markings/sec, 1165 secs
lola: 1346013 markings, 3821573 edges, 1774 markings/sec, 1170 secs
lola: 1350891 markings, 3836740 edges, 976 markings/sec, 1175 secs
lola: 1358118 markings, 3855952 edges, 1445 markings/sec, 1180 secs
lola: 1363565 markings, 3872102 edges, 1089 markings/sec, 1185 secs
lola: 1370222 markings, 3889753 edges, 1331 markings/sec, 1190 secs
lola: 1377430 markings, 3908668 edges, 1442 markings/sec, 1195 secs
lola: 1382896 markings, 3924904 edges, 1093 markings/sec, 1200 secs
lola: 1389952 markings, 3942874 edges, 1411 markings/sec, 1205 secs
lola: 1395654 markings, 3959041 edges, 1140 markings/sec, 1210 secs
lola: 1401563 markings, 3974714 edges, 1182 markings/sec, 1215 secs
lola: 1408153 markings, 3991239 edges, 1318 markings/sec, 1220 secs
lola: 1413055 markings, 4006223 edges, 980 markings/sec, 1225 secs
lola: 1419416 markings, 4021814 edges, 1272 markings/sec, 1230 secs
lola: 1425636 markings, 4037609 edges, 1244 markings/sec, 1235 secs
lola: 1430535 markings, 4052040 edges, 980 markings/sec, 1240 secs
lola: 1436861 markings, 4067201 edges, 1265 markings/sec, 1245 secs
lola: 1441707 markings, 4081652 edges, 969 markings/sec, 1250 secs
lola: 1446483 markings, 4094170 edges, 955 markings/sec, 1255 secs
lola: 1451077 markings, 4109436 edges, 919 markings/sec, 1260 secs
lola: 1455552 markings, 4124129 edges, 895 markings/sec, 1265 secs
lola: 1459933 markings, 4138683 edges, 876 markings/sec, 1270 secs
lola: 1464253 markings, 4152827 edges, 864 markings/sec, 1275 secs
lola: 1468680 markings, 4167577 edges, 885 markings/sec, 1280 secs
lola: 1476252 markings, 4188896 edges, 1514 markings/sec, 1285 secs
lola: 1480908 markings, 4203741 edges, 931 markings/sec, 1290 secs
lola: 1485392 markings, 4218433 edges, 897 markings/sec, 1295 secs
lola: 1489705 markings, 4232713 edges, 863 markings/sec, 1300 secs
lola: 1493966 markings, 4246727 edges, 852 markings/sec, 1305 secs
lola: 1500901 markings, 4268909 edges, 1387 markings/sec, 1310 secs
lola: 1505777 markings, 4281953 edges, 975 markings/sec, 1315 secs
lola: 1510297 markings, 4296803 edges, 904 markings/sec, 1320 secs
lola: 1514664 markings, 4311155 edges, 873 markings/sec, 1325 secs
lola: 1518967 markings, 4325269 edges, 861 markings/sec, 1330 secs
lola: 1525854 markings, 4345939 edges, 1377 markings/sec, 1335 secs
lola: 1530485 markings, 4359812 edges, 926 markings/sec, 1340 secs
lola: 1534941 markings, 4374295 edges, 891 markings/sec, 1345 secs
lola: 1539278 markings, 4388528 edges, 867 markings/sec, 1350 secs
lola: 1545745 markings, 4408196 edges, 1293 markings/sec, 1355 secs
lola: 1550383 markings, 4421980 edges, 928 markings/sec, 1360 secs
lola: 1554873 markings, 4436708 edges, 898 markings/sec, 1365 secs
lola: 1559395 markings, 4451458 edges, 904 markings/sec, 1370 secs
lola: 1565846 markings, 4469979 edges, 1290 markings/sec, 1375 secs
lola: 1570433 markings, 4484896 edges, 917 markings/sec, 1380 secs
lola: 1576308 markings, 4503442 edges, 1175 markings/sec, 1385 secs
lola: 1581157 markings, 4517542 edges, 970 markings/sec, 1390 secs
lola: 1585676 markings, 4532098 edges, 904 markings/sec, 1395 secs
lola: 1591695 markings, 4549745 edges, 1204 markings/sec, 1400 secs
lola: 1596279 markings, 4564498 edges, 917 markings/sec, 1405 secs
lola: 1602044 markings, 4581410 edges, 1153 markings/sec, 1410 secs
lola: 1607555 markings, 4597761 edges, 1102 markings/sec, 1415 secs
lola: 1612917 markings, 4613701 edges, 1072 markings/sec, 1420 secs
lola: 1618166 markings, 4629321 edges, 1050 markings/sec, 1425 secs
lola: 1623666 markings, 4645101 edges, 1100 markings/sec, 1430 secs
lola: 1629254 markings, 4660585 edges, 1118 markings/sec, 1435 secs
lola: 1637497 markings, 4685944 edges, 1649 markings/sec, 1440 secs
lola: 1643773 markings, 4699977 edges, 1255 markings/sec, 1445 secs
lola: 1649982 markings, 4710056 edges, 1242 markings/sec, 1450 secs
lola: 1656199 markings, 4720014 edges, 1243 markings/sec, 1455 secs
lola: 1662238 markings, 4729652 edges, 1208 markings/sec, 1460 secs
lola: 1667851 markings, 4739749 edges, 1123 markings/sec, 1465 secs
lola: 1676537 markings, 4763271 edges, 1737 markings/sec, 1470 secs
lola: 1681748 markings, 4779399 edges, 1042 markings/sec, 1475 secs
lola: 1690229 markings, 4802792 edges, 1696 markings/sec, 1480 secs
lola: 1695224 markings, 4818149 edges, 999 markings/sec, 1485 secs
lola: 1702724 markings, 4838192 edges, 1500 markings/sec, 1490 secs
lola: 1709064 markings, 4856060 edges, 1268 markings/sec, 1495 secs
lola: 1714817 markings, 4872392 edges, 1151 markings/sec, 1500 secs
lola: 1721643 markings, 4890142 edges, 1365 markings/sec, 1505 secs
lola: 1727352 markings, 4906453 edges, 1142 markings/sec, 1510 secs
lola: 1733165 markings, 4922218 edges, 1163 markings/sec, 1515 secs
lola: 1739690 markings, 4938922 edges, 1305 markings/sec, 1520 secs
lola: 1745497 markings, 4954886 edges, 1161 markings/sec, 1525 secs
lola: 1750874 markings, 4969979 edges, 1075 markings/sec, 1530 secs
lola: 1757292 markings, 4986080 edges, 1284 markings/sec, 1535 secs
lola: 1763458 markings, 5002097 edges, 1233 markings/sec, 1540 secs
lola: 1768297 markings, 5016546 edges, 968 markings/sec, 1545 secs
lola: 1774625 markings, 5032247 edges, 1266 markings/sec, 1550 secs
lola: 1780946 markings, 5047903 edges, 1264 markings/sec, 1555 secs
lola: 1785431 markings, 5061851 edges, 897 markings/sec, 1560 secs
lola: 1791603 markings, 5076885 edges, 1234 markings/sec, 1565 secs
lola: 1797805 markings, 5092138 edges, 1240 markings/sec, 1570 secs
lola: 1802247 markings, 5105929 edges, 888 markings/sec, 1575 secs
lola: 1808239 markings, 5120199 edges, 1198 markings/sec, 1580 secs
lola: 1813758 markings, 5134388 edges, 1104 markings/sec, 1585 secs
lola: 1818064 markings, 5146868 edges, 861 markings/sec, 1590 secs
lola: 1822610 markings, 5160409 edges, 909 markings/sec, 1595 secs
lola: 1827109 markings, 5175382 edges, 900 markings/sec, 1600 secs
lola: 1831616 markings, 5190243 edges, 901 markings/sec, 1605 secs
lola: 1836001 markings, 5204729 edges, 877 markings/sec, 1610 secs
lola: 1840309 markings, 5219014 edges, 862 markings/sec, 1615 secs
lola: 1844664 markings, 5233310 edges, 871 markings/sec, 1620 secs
lola: 1852383 markings, 5256126 edges, 1544 markings/sec, 1625 secs
lola: 1857087 markings, 5269981 edges, 941 markings/sec, 1630 secs
lola: 1861666 markings, 5285157 edges, 916 markings/sec, 1635 secs
lola: 1866118 markings, 5299823 edges, 890 markings/sec, 1640 secs
lola: 1870460 markings, 5314054 edges, 868 markings/sec, 1645 secs
lola: 1874725 markings, 5328189 edges, 853 markings/sec, 1650 secs
lola: 1882016 markings, 5350146 edges, 1458 markings/sec, 1655 secs
lola: 1886772 markings, 5363958 edges, 951 markings/sec, 1660 secs
lola: 1891288 markings, 5378789 edges, 903 markings/sec, 1665 secs
lola: 1895732 markings, 5393384 edges, 889 markings/sec, 1670 secs
lola: 1900048 markings, 5407532 edges, 863 markings/sec, 1675 secs
lola: 1906510 markings, 5428552 edges, 1292 markings/sec, 1680 secs
lola: 1911584 markings, 5442016 edges, 1015 markings/sec, 1685 secs
lola: 1916211 markings, 5457244 edges, 925 markings/sec, 1690 secs
lola: 1920635 markings, 5471754 edges, 885 markings/sec, 1695 secs
lola: 1924957 markings, 5485802 edges, 864 markings/sec, 1700 secs
lola: 1931667 markings, 5504842 edges, 1342 markings/sec, 1705 secs
lola: 1936271 markings, 5519868 edges, 921 markings/sec, 1710 secs
lola: 1940694 markings, 5534355 edges, 885 markings/sec, 1715 secs
lola: 1945095 markings, 5548686 edges, 880 markings/sec, 1720 secs
lola: 1951470 markings, 5566831 edges, 1275 markings/sec, 1725 secs
lola: 1956027 markings, 5581684 edges, 911 markings/sec, 1730 secs
lola: 1960382 markings, 5595867 edges, 871 markings/sec, 1735 secs
lola: 1966538 markings, 5613540 edges, 1231 markings/sec, 1740 secs
lola: 1971082 markings, 5628236 edges, 909 markings/sec, 1745 secs
lola: 1976497 markings, 5645613 edges, 1083 markings/sec, 1750 secs
lola: 1981402 markings, 5659688 edges, 981 markings/sec, 1755 secs
lola: 1985876 markings, 5674075 edges, 895 markings/sec, 1760 secs
lola: 1991506 markings, 5690512 edges, 1126 markings/sec, 1765 secs
lola: 1996844 markings, 5706495 edges, 1068 markings/sec, 1770 secs
lola: 2001415 markings, 5720757 edges, 914 markings/sec, 1775 secs
lola: 2006723 markings, 5736403 edges, 1062 markings/sec, 1780 secs
lola: 2012137 markings, 5752385 edges, 1083 markings/sec, 1785 secs
lola: 2017272 markings, 5766860 edges, 1027 markings/sec, 1790 secs
lola: 2022784 markings, 5782261 edges, 1102 markings/sec, 1795 secs
lola: 2031126 markings, 5807033 edges, 1668 markings/sec, 1800 secs
lola: 2037495 markings, 5820311 edges, 1274 markings/sec, 1805 secs
lola: 2043685 markings, 5830671 edges, 1238 markings/sec, 1810 secs
lola: 2049810 markings, 5840884 edges, 1225 markings/sec, 1815 secs
lola: 2055998 markings, 5850874 edges, 1238 markings/sec, 1820 secs
lola: 2062136 markings, 5860854 edges, 1228 markings/sec, 1825 secs
lola: 2068420 markings, 5875486 edges, 1257 markings/sec, 1830 secs
lola: 2076855 markings, 5900349 edges, 1687 markings/sec, 1835 secs
lola: 2084738 markings, 5922888 edges, 1577 markings/sec, 1840 secs
lola: 2091948 markings, 5943612 edges, 1442 markings/sec, 1845 secs
lola: 2098734 markings, 5962690 edges, 1357 markings/sec, 1850 secs
lola: 2106638 markings, 5983881 edges, 1581 markings/sec, 1855 secs
lola: 2111717 markings, 5999496 edges, 1016 markings/sec, 1860 secs
lola: 2118567 markings, 6017342 edges, 1370 markings/sec, 1865 secs
lola: 2125303 markings, 6035077 edges, 1347 markings/sec, 1870 secs
lola: 2130572 markings, 6050783 edges, 1054 markings/sec, 1875 secs
lola: 2137327 markings, 6068546 edges, 1351 markings/sec, 1880 secs
lola: 2144386 markings, 6086701 edges, 1412 markings/sec, 1885 secs
lola: 2150535 markings, 6103943 edges, 1230 markings/sec, 1890 secs
lola: 2156542 markings, 6120194 edges, 1201 markings/sec, 1895 secs
lola: 2163461 markings, 6137765 edges, 1384 markings/sec, 1900 secs
lola: 2170251 markings, 6155105 edges, 1358 markings/sec, 1905 secs
lola: 2175467 markings, 6170797 edges, 1043 markings/sec, 1910 secs
lola: 2182095 markings, 6187339 edges, 1326 markings/sec, 1915 secs
lola: 2188865 markings, 6204408 edges, 1354 markings/sec, 1920 secs
lola: 2194173 markings, 6220211 edges, 1062 markings/sec, 1925 secs
lola: 2200571 markings, 6236250 edges, 1280 markings/sec, 1930 secs
lola: 2207155 markings, 6252537 edges, 1317 markings/sec, 1935 secs
lola: 2212990 markings, 6268494 edges, 1167 markings/sec, 1940 secs
lola: 2218655 markings, 6283702 edges, 1133 markings/sec, 1945 secs
lola: 2225215 markings, 6299729 edges, 1312 markings/sec, 1950 secs
lola: 2231103 markings, 6315341 edges, 1178 markings/sec, 1955 secs
lola: 2236537 markings, 6330136 edges, 1087 markings/sec, 1960 secs
lola: 2242980 markings, 6345529 edges, 1289 markings/sec, 1965 secs
lola: 2248246 markings, 6360535 edges, 1053 markings/sec, 1970 secs
lola: 2253222 markings, 6373706 edges, 995 markings/sec, 1975 secs
lola: 2258083 markings, 6389856 edges, 972 markings/sec, 1980 secs
lola: 2262848 markings, 6405533 edges, 953 markings/sec, 1985 secs
lola: 2267483 markings, 6420886 edges, 927 markings/sec, 1990 secs
lola: 2272062 markings, 6435977 edges, 916 markings/sec, 1995 secs
lola: 2276426 markings, 6450464 edges, 873 markings/sec, 2000 secs
lola: 2280838 markings, 6464936 edges, 882 markings/sec, 2005 secs
lola: 2288594 markings, 6487638 edges, 1551 markings/sec, 2010 secs
lola: 2293437 markings, 6502064 edges, 969 markings/sec, 2015 secs
lola: 2298093 markings, 6517353 edges, 931 markings/sec, 2020 secs
lola: 2302643 markings, 6532474 edges, 910 markings/sec, 2025 secs
lola: 2307072 markings, 6547039 edges, 886 markings/sec, 2030 secs
lola: 2311412 markings, 6561248 edges, 868 markings/sec, 2035 secs
lola: 2315930 markings, 6576264 edges, 904 markings/sec, 2040 secs
lola: 2323339 markings, 6596610 edges, 1482 markings/sec, 2045 secs
lola: 2328052 markings, 6612111 edges, 943 markings/sec, 2050 secs
lola: 2332625 markings, 6627141 edges, 915 markings/sec, 2055 secs
lola: 2337084 markings, 6641773 edges, 892 markings/sec, 2060 secs
lola: 2341421 markings, 6656007 edges, 867 markings/sec, 2065 secs
lola: 2348036 markings, 6677095 edges, 1323 markings/sec, 2070 secs
lola: 2353100 markings, 6690850 edges, 1013 markings/sec, 2075 secs
lola: 2357751 markings, 6706135 edges, 930 markings/sec, 2080 secs
lola: 2362247 markings, 6720847 edges, 899 markings/sec, 2085 secs
lola: 2366752 markings, 6735552 edges, 901 markings/sec, 2090 secs
lola: 2373501 markings, 6755806 edges, 1350 markings/sec, 2095 secs
lola: 2378480 markings, 6770843 edges, 996 markings/sec, 2100 secs
lola: 2383214 markings, 6786272 edges, 947 markings/sec, 2105 secs
lola: 2387770 markings, 6801103 edges, 911 markings/sec, 2110 secs
lola: 2394218 markings, 6820250 edges, 1290 markings/sec, 2115 secs
lola: 2399170 markings, 6835584 edges, 990 markings/sec, 2120 secs
lola: 2403829 markings, 6850763 edges, 932 markings/sec, 2125 secs
lola: 2409474 markings, 6868950 edges, 1129 markings/sec, 2130 secs
lola: 2414890 markings, 6884337 edges, 1083 markings/sec, 2135 secs
lola: 2419556 markings, 6899391 edges, 933 markings/sec, 2140 secs
lola: 2425458 markings, 6916873 edges, 1180 markings/sec, 2145 secs
lola: 2430341 markings, 6932166 edges, 977 markings/sec, 2150 secs
lola: 2435768 markings, 6949442 edges, 1085 markings/sec, 2155 secs
lola: 2440876 markings, 6964293 edges, 1022 markings/sec, 2160 secs
lola: 2446429 markings, 6980662 edges, 1111 markings/sec, 2165 secs
lola: 2451208 markings, 6995843 edges, 956 markings/sec, 2170 secs
lola: 2456747 markings, 7012153 edges, 1108 markings/sec, 2175 secs
lola: 2461988 markings, 7027595 edges, 1048 markings/sec, 2180 secs
lola: 2467580 markings, 7043435 edges, 1118 markings/sec, 2185 secs
lola: 2473281 markings, 7058890 edges, 1140 markings/sec, 2190 secs
lola: 2481583 markings, 7084524 edges, 1660 markings/sec, 2195 secs
lola: 2488028 markings, 7099006 edges, 1289 markings/sec, 2200 secs
lola: 2494422 markings, 7109735 edges, 1279 markings/sec, 2205 secs
lola: 2500961 markings, 7120716 edges, 1308 markings/sec, 2210 secs
lola: 2507493 markings, 7131691 edges, 1306 markings/sec, 2215 secs
lola: 2513790 markings, 7142147 edges, 1259 markings/sec, 2220 secs
lola: 2519925 markings, 7152824 edges, 1227 markings/sec, 2225 secs
lola: 2528957 markings, 7177019 edges, 1806 markings/sec, 2230 secs
lola: 2535417 markings, 7196670 edges, 1292 markings/sec, 2235 secs
lola: 2544566 markings, 7221950 edges, 1830 markings/sec, 2240 secs
lola: 2551033 markings, 7241155 edges, 1293 markings/sec, 2245 secs
lola: 2558557 markings, 7261602 edges, 1505 markings/sec, 2250 secs
lola: 2566378 markings, 7282542 edges, 1564 markings/sec, 2255 secs
lola: 2571598 markings, 7298605 edges, 1044 markings/sec, 2260 secs
lola: 2578739 markings, 7317323 edges, 1428 markings/sec, 2265 secs
lola: 2585869 markings, 7336070 edges, 1426 markings/sec, 2270 secs
lola: 2591713 markings, 7352848 edges, 1169 markings/sec, 2275 secs
lola: 2597971 markings, 7369865 edges, 1252 markings/sec, 2280 secs
lola: 2604488 markings, 7386568 edges, 1303 markings/sec, 2285 secs
lola: 2611261 markings, 7404093 edges, 1355 markings/sec, 2290 secs
lola: 2616295 markings, 7419553 edges, 1007 markings/sec, 2295 secs
lola: 2622765 markings, 7436013 edges, 1294 markings/sec, 2300 secs
lola: 2629408 markings, 7452972 edges, 1329 markings/sec, 2305 secs
lola: 2636282 markings, 7470553 edges, 1375 markings/sec, 2310 secs
lola: 2641350 markings, 7486001 edges, 1014 markings/sec, 2315 secs
lola: 2648203 markings, 7503280 edges, 1371 markings/sec, 2320 secs
lola: 2654416 markings, 7518877 edges, 1243 markings/sec, 2325 secs
lola: 2660525 markings, 7534295 edges, 1222 markings/sec, 2330 secs
lola: 2665012 markings, 7548337 edges, 897 markings/sec, 2335 secs
lola: 2671306 markings, 7563955 edges, 1259 markings/sec, 2340 secs
lola: 2677853 markings, 7580356 edges, 1309 markings/sec, 2345 secs
lola: 2684314 markings, 7596547 edges, 1292 markings/sec, 2350 secs
lola: 2689339 markings, 7611737 edges, 1005 markings/sec, 2355 secs
lola: 2695777 markings, 7627524 edges, 1288 markings/sec, 2360 secs
lola: 2702373 markings, 7643871 edges, 1319 markings/sec, 2365 secs
lola: 2708168 markings, 7659928 edges, 1159 markings/sec, 2370 secs
lola: 2713870 markings, 7674900 edges, 1140 markings/sec, 2375 secs
lola: 2720291 markings, 7690530 edges, 1284 markings/sec, 2380 secs
lola: 2726568 markings, 7706153 edges, 1255 markings/sec, 2385 secs
lola: 2731535 markings, 7720885 edges, 993 markings/sec, 2390 secs
lola: 2737920 markings, 7735942 edges, 1277 markings/sec, 2395 secs
lola: 2743997 markings, 7751112 edges, 1215 markings/sec, 2400 secs
lola: 2748673 markings, 7764789 edges, 935 markings/sec, 2405 secs
lola: 2753709 markings, 7780024 edges, 1007 markings/sec, 2410 secs
lola: 2758526 markings, 7796048 edges, 963 markings/sec, 2415 secs
lola: 2763305 markings, 7811750 edges, 956 markings/sec, 2420 secs
lola: 2767911 markings, 7827058 edges, 921 markings/sec, 2425 secs
lola: 2772454 markings, 7841984 edges, 909 markings/sec, 2430 secs
lola: 2776881 markings, 7856683 edges, 885 markings/sec, 2435 secs
lola: 2781375 markings, 7871429 edges, 899 markings/sec, 2440 secs
lola: 2789269 markings, 7894575 edges, 1579 markings/sec, 2445 secs
lola: 2794305 markings, 7909532 edges, 1007 markings/sec, 2450 secs
lola: 2799139 markings, 7925409 edges, 967 markings/sec, 2455 secs
lola: 2803847 markings, 7941027 edges, 942 markings/sec, 2460 secs
lola: 2808486 markings, 7956315 edges, 928 markings/sec, 2465 secs
lola: 2812999 markings, 7971129 edges, 903 markings/sec, 2470 secs
lola: 2817436 markings, 7985672 edges, 887 markings/sec, 2475 secs
lola: 2824982 markings, 8007854 edges, 1509 markings/sec, 2480 secs
lola: 2829999 markings, 8023050 edges, 1003 markings/sec, 2485 secs
lola: 2834850 markings, 8038993 edges, 970 markings/sec, 2490 secs
lola: 2839522 markings, 8054336 edges, 934 markings/sec, 2495 secs
lola: 2844068 markings, 8069271 edges, 909 markings/sec, 2500 secs
lola: 2848516 markings, 8083899 edges, 890 markings/sec, 2505 secs
lola: 2855672 markings, 8104797 edges, 1431 markings/sec, 2510 secs
lola: 2860686 markings, 8120095 edges, 1003 markings/sec, 2515 secs
lola: 2865428 markings, 8135700 edges, 948 markings/sec, 2520 secs
lola: 2869983 markings, 8150627 edges, 911 markings/sec, 2525 secs
lola: 2874455 markings, 8165199 edges, 894 markings/sec, 2530 secs
lola: 2881115 markings, 8185356 edges, 1332 markings/sec, 2535 secs
lola: 2886107 markings, 8200125 edges, 998 markings/sec, 2540 secs
lola: 2890844 markings, 8215554 edges, 947 markings/sec, 2545 secs
lola: 2895399 markings, 8230497 edges, 911 markings/sec, 2550 secs
lola: 2899997 markings, 8245505 edges, 920 markings/sec, 2555 secs
lola: 2906591 markings, 8264197 edges, 1319 markings/sec, 2560 secs
lola: 2911376 markings, 8279670 edges, 957 markings/sec, 2565 secs
lola: 2915949 markings, 8294573 edges, 915 markings/sec, 2570 secs
lola: 2922050 markings, 8312833 edges, 1220 markings/sec, 2575 secs
lola: 2927021 markings, 8328094 edges, 994 markings/sec, 2580 secs
lola: 2931652 markings, 8343063 edges, 926 markings/sec, 2585 secs
lola: 2937568 markings, 8360621 edges, 1183 markings/sec, 2590 secs
lola: 2942488 markings, 8375938 edges, 984 markings/sec, 2595 secs
lola: 2947097 markings, 8390709 edges, 922 markings/sec, 2600 secs
lola: 2953043 markings, 8408070 edges, 1189 markings/sec, 2605 secs
lola: 2957706 markings, 8422933 edges, 933 markings/sec, 2610 secs
lola: 2963448 markings, 8439763 edges, 1148 markings/sec, 2615 secs
lola: 2968881 markings, 8455755 edges, 1087 markings/sec, 2620 secs
lola: 2974156 markings, 8471746 edges, 1055 markings/sec, 2625 secs
lola: 2979503 markings, 8487166 edges, 1069 markings/sec, 2630 secs
lola: 2984898 markings, 8502776 edges, 1079 markings/sec, 2635 secs
lola: 2990431 markings, 8518157 edges, 1107 markings/sec, 2640 secs
lola: 2998871 markings, 8543348 edges, 1688 markings/sec, 2645 secs
lola: 3005239 markings, 8556539 edges, 1274 markings/sec, 2650 secs
lola: 3011657 markings, 8567620 edges, 1284 markings/sec, 2655 secs
lola: 3017868 markings, 8578189 edges, 1242 markings/sec, 2660 secs
lola: 3024253 markings, 8589142 edges, 1277 markings/sec, 2665 secs
lola: 3030607 markings, 8599877 edges, 1271 markings/sec, 2670 secs
lola: 3036921 markings, 8610544 edges, 1263 markings/sec, 2675 secs
lola: 3042625 markings, 8621832 edges, 1141 markings/sec, 2680 secs
lola: 3053349 markings, 8651430 edges, 2145 markings/sec, 2685 secs
lola: 3059633 markings, 8670624 edges, 1257 markings/sec, 2690 secs
lola: 3068566 markings, 8695313 edges, 1787 markings/sec, 2695 secs
lola: 3074667 markings, 8713716 edges, 1220 markings/sec, 2700 secs
lola: 3082419 markings, 8734469 edges, 1550 markings/sec, 2705 secs
lola: 3090303 markings, 8755676 edges, 1577 markings/sec, 2710 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 20 1 unknown unknown 20 1 1 20 20 20 20 1 1 1
lola:
preliminary result: unknown 1 20 1 unknown unknown 20 1 1 20 20 20 20 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 20 1 unknown unknown 20 1 1 20 20 20 20 1 1 1
lola: memory consumption: 188940 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 20 1 unknown unknown 20 1 1 20 20 20 20 1 1 1
lola: memory consumption: 188940 KB
lola: time consumption: 3570 seconds

BK_STOP 1552407628638

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

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