Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.........................................
/home/mcc/execution
total 340K
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 105 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 343 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 192K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Parking-PT-432, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r112-csrt-152666469400408
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527033575698

info: Time: 3600 - MCC
===========================================================================================
prep: translating Parking-PT-432 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating Parking-PT-432 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Parking-PT-432 @ 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: 1314/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 529
lola: finding significant places
lola: 529 places, 785 transitions, 405 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 510 transition conflict sets
lola: TASK
lola: reading formula from Parking-PT-432-UpperBounds.task
lola: MAX(p200) : MAX(p518) : MAX(p184) : MAX(p5) : MAX(p514) : MAX(p49) : MAX(p180) : MAX(p398) : MAX(p475) : MAX(p99) : MAX(p272) : MAX(p176) : MAX(p41) : MAX(p96) : MAX(p468) : MAX(p363)
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(p200)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p200)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 9 markings, 8 edges
lola: ========================================

FORMULA Parking-PT-432-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p518)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p518)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 9 markings, 8 edges

FORMULA Parking-PT-432-UpperBounds-1 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(p184)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p184)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 373284 markings, 1175570 edges, 74657 markings/sec, 0 secs
lola: 785547 markings, 2473594 edges, 82453 markings/sec, 5 secs
lola: 1216639 markings, 3825663 edges, 86218 markings/sec, 10 secs
lola: 1654684 markings, 5182372 edges, 87609 markings/sec, 15 secs
lola: 2104029 markings, 6580501 edges, 89869 markings/sec, 20 secs
lola: 2529163 markings, 7939217 edges, 85027 markings/sec, 25 secs
lola: 2969669 markings, 9330895 edges, 88101 markings/sec, 30 secs
lola: 3389238 markings, 10733073 edges, 83914 markings/sec, 35 secs
lola: 3841148 markings, 12108341 edges, 90382 markings/sec, 40 secs
lola: 4277792 markings, 13461829 edges, 87329 markings/sec, 45 secs
lola: 4693798 markings, 14828852 edges, 83201 markings/sec, 50 secs
lola: 5115656 markings, 16167538 edges, 84372 markings/sec, 55 secs
lola: 5531241 markings, 17531464 edges, 83117 markings/sec, 60 secs
lola: 5948095 markings, 18890913 edges, 83371 markings/sec, 65 secs
lola: 6390439 markings, 20235533 edges, 88469 markings/sec, 70 secs
lola: 6809971 markings, 21503879 edges, 83906 markings/sec, 75 secs
lola: 7228892 markings, 22757315 edges, 83784 markings/sec, 80 secs
lola: 7659954 markings, 24070562 edges, 86212 markings/sec, 85 secs
lola: 8091857 markings, 25410228 edges, 86381 markings/sec, 90 secs
lola: 8506457 markings, 26720445 edges, 82920 markings/sec, 95 secs
lola: 8919642 markings, 28008317 edges, 82637 markings/sec, 100 secs
lola: 9309736 markings, 29331536 edges, 78019 markings/sec, 105 secs
lola: 9723387 markings, 30652941 edges, 82730 markings/sec, 110 secs
lola: 10163556 markings, 32004979 edges, 88034 markings/sec, 115 secs
lola: 10578106 markings, 33291191 edges, 82910 markings/sec, 120 secs
lola: 11018299 markings, 34616157 edges, 88039 markings/sec, 125 secs
lola: 11448296 markings, 35967027 edges, 85999 markings/sec, 130 secs
lola: 11866015 markings, 37283134 edges, 83544 markings/sec, 135 secs
lola: 12256182 markings, 38443176 edges, 78033 markings/sec, 140 secs
lola: 12625938 markings, 39619645 edges, 73951 markings/sec, 145 secs
lola: 13016079 markings, 40781630 edges, 78028 markings/sec, 150 secs
lola: 13409217 markings, 42026096 edges, 78628 markings/sec, 155 secs
lola: 13826448 markings, 43254448 edges, 83446 markings/sec, 160 secs
lola: 14214981 markings, 44496717 edges, 77707 markings/sec, 165 secs
lola: 14629525 markings, 45722672 edges, 82909 markings/sec, 170 secs
lola: 15017670 markings, 46957542 edges, 77629 markings/sec, 175 secs
lola: 15433010 markings, 48185714 edges, 83068 markings/sec, 180 secs
lola: 15839814 markings, 49422503 edges, 81361 markings/sec, 185 secs
lola: 16145475 markings, 50721444 edges, 61132 markings/sec, 190 secs
lola: 16470802 markings, 51941021 edges, 65065 markings/sec, 195 secs
lola: 16861292 markings, 53155371 edges, 78098 markings/sec, 200 secs
lola: 17296917 markings, 54454565 edges, 87125 markings/sec, 205 secs
lola: 17731107 markings, 55762162 edges, 86838 markings/sec, 210 secs
lola: 18154792 markings, 57062610 edges, 84737 markings/sec, 215 secs
lola: 18590409 markings, 58371713 edges, 87123 markings/sec, 220 secs
lola: 19023702 markings, 59669021 edges, 86659 markings/sec, 225 secs
lola: 19457194 markings, 60969927 edges, 86698 markings/sec, 230 secs
lola: 19899252 markings, 62292834 edges, 88412 markings/sec, 235 secs
lola: 20338363 markings, 63609534 edges, 87822 markings/sec, 240 secs
lola: 20767211 markings, 64888941 edges, 85770 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 972140 KB
lola: time consumption: 255 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 3 markings, 2 edges
lola: ========================================

FORMULA Parking-PT-432-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p514)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p514)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 17 markings, 16 edges
lola: ========================================

FORMULA Parking-PT-432-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p49)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p49)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 3 markings, 2 edges
lola: ========================================

FORMULA Parking-PT-432-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p180)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p180)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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 Parking-PT-432-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p398)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p398)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 3 markings, 2 edges
lola: ========================================

FORMULA Parking-PT-432-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 414 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p475)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p475)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 10 markings, 9 edges
lola: ========================================

FORMULA Parking-PT-432-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 473 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p99)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 506123 markings, 1402935 edges, 101225 markings/sec, 0 secs
lola: 1006242 markings, 2793415 edges, 100024 markings/sec, 5 secs
lola: 1525153 markings, 4265473 edges, 103782 markings/sec, 10 secs
lola: 2001423 markings, 5616501 edges, 95254 markings/sec, 15 secs
lola: 2496589 markings, 7021197 edges, 99033 markings/sec, 20 secs
lola: 2967169 markings, 8356327 edges, 94116 markings/sec, 25 secs
lola: 3485402 markings, 9798398 edges, 103647 markings/sec, 30 secs
lola: 3940177 markings, 11090788 edges, 90955 markings/sec, 35 secs
lola: 4407310 markings, 12416910 edges, 93427 markings/sec, 40 secs
lola: 4897473 markings, 13807444 edges, 98033 markings/sec, 45 secs
lola: 5366057 markings, 15132465 edges, 93717 markings/sec, 50 secs
lola: 5860044 markings, 16513921 edges, 98797 markings/sec, 55 secs
lola: 6301393 markings, 17745588 edges, 88270 markings/sec, 60 secs
lola: 6760871 markings, 19025413 edges, 91896 markings/sec, 65 secs
lola: 7216819 markings, 20295589 edges, 91190 markings/sec, 70 secs
lola: 7630250 markings, 21495939 edges, 82686 markings/sec, 75 secs
lola: 8038929 markings, 22633635 edges, 81736 markings/sec, 80 secs
lola: 8431512 markings, 23773676 edges, 78517 markings/sec, 85 secs
lola: 8837768 markings, 24927731 edges, 81251 markings/sec, 90 secs
lola: 9238194 markings, 26055782 edges, 80085 markings/sec, 95 secs
lola: 9651926 markings, 27208357 edges, 82746 markings/sec, 100 secs
lola: 10078178 markings, 28444543 edges, 85250 markings/sec, 105 secs
lola: 10500773 markings, 29634883 edges, 84519 markings/sec, 110 secs
lola: 10913960 markings, 30815558 edges, 82637 markings/sec, 115 secs
lola: 11321741 markings, 31948174 edges, 81556 markings/sec, 120 secs
lola: 11774914 markings, 33210118 edges, 90635 markings/sec, 125 secs
lola: 12195392 markings, 34406708 edges, 84096 markings/sec, 130 secs
lola: 12595414 markings, 35545858 edges, 80004 markings/sec, 135 secs
lola: 13064431 markings, 36877877 edges, 93803 markings/sec, 140 secs
lola: 13515095 markings, 38157735 edges, 90133 markings/sec, 145 secs
lola: 14004087 markings, 39518276 edges, 97798 markings/sec, 150 secs
lola: 14490807 markings, 40900556 edges, 97344 markings/sec, 155 secs
lola: 14940791 markings, 42178681 edges, 89997 markings/sec, 160 secs
lola: 15412710 markings, 43518934 edges, 94384 markings/sec, 165 secs
lola: 15847974 markings, 44756678 edges, 87053 markings/sec, 170 secs
lola: 16274061 markings, 45941783 edges, 85217 markings/sec, 175 secs
lola: 16709384 markings, 47180490 edges, 87065 markings/sec, 180 secs
lola: 17130016 markings, 48378488 edges, 84126 markings/sec, 185 secs
lola: 17550754 markings, 49553508 edges, 84148 markings/sec, 190 secs
lola: 17937009 markings, 50677535 edges, 77251 markings/sec, 195 secs
lola: 18343933 markings, 51807665 edges, 81385 markings/sec, 200 secs
lola: 18791797 markings, 53053608 edges, 89573 markings/sec, 205 secs
lola: 19223603 markings, 54282690 edges, 86361 markings/sec, 210 secs
lola: 19623376 markings, 55421154 edges, 79955 markings/sec, 215 secs
lola: 20044971 markings, 56621774 edges, 84319 markings/sec, 220 secs
lola: 20440783 markings, 57748468 edges, 79162 markings/sec, 225 secs
lola: 20849998 markings, 58886174 edges, 81843 markings/sec, 230 secs
lola: 21301274 markings, 60144012 edges, 90255 markings/sec, 235 secs
lola: 21749874 markings, 61418320 edges, 89720 markings/sec, 240 secs
lola: 22151633 markings, 62563365 edges, 80352 markings/sec, 245 secs
lola: 22560307 markings, 63727234 edges, 81735 markings/sec, 250 secs
lola: 22951615 markings, 64842681 edges, 78262 markings/sec, 255 secs
lola: 23427830 markings, 66167473 edges, 95243 markings/sec, 260 secs
lola: 23910238 markings, 67537924 edges, 96482 markings/sec, 265 secs
lola: 24355704 markings, 68803801 edges, 89093 markings/sec, 270 secs
lola: 24833574 markings, 70161162 edges, 95574 markings/sec, 275 secs
lola: 25297493 markings, 71476624 edges, 92784 markings/sec, 280 secs
lola: 25790765 markings, 72848106 edges, 98654 markings/sec, 285 secs
lola: 26283828 markings, 74248119 edges, 98613 markings/sec, 290 secs
lola: 26735589 markings, 75531159 edges, 90352 markings/sec, 295 secs
lola: 27212794 markings, 76886185 edges, 95441 markings/sec, 300 secs
lola: 27665063 markings, 78170535 edges, 90454 markings/sec, 305 secs
lola: 28135982 markings, 79479964 edges, 94184 markings/sec, 310 secs
lola: 28607435 markings, 80820218 edges, 94291 markings/sec, 315 secs
lola: 29001814 markings, 81944037 edges, 78876 markings/sec, 320 secs
lola: 29420467 markings, 83118208 edges, 83731 markings/sec, 325 secs
lola: 29806314 markings, 84236001 edges, 77169 markings/sec, 330 secs
lola: 30237422 markings, 85435009 edges, 86222 markings/sec, 335 secs
lola: 30741046 markings, 86837459 edges, 100725 markings/sec, 340 secs
lola: 31198984 markings, 88138682 edges, 91588 markings/sec, 345 secs
lola: 31652848 markings, 89428946 edges, 90773 markings/sec, 350 secs
lola: 32099283 markings, 90724633 edges, 89287 markings/sec, 355 secs
lola: 32557626 markings, 91997417 edges, 91669 markings/sec, 360 secs
lola: 33052546 markings, 93374669 edges, 98984 markings/sec, 365 secs
lola: 33513681 markings, 94684763 edges, 92227 markings/sec, 370 secs
lola: 33951546 markings, 95929223 edges, 87573 markings/sec, 375 secs
lola: 34409953 markings, 97232230 edges, 91681 markings/sec, 380 secs
lola: 34853655 markings, 98492574 edges, 88740 markings/sec, 385 secs
lola: 35346755 markings, 99864850 edges, 98620 markings/sec, 390 secs
lola: 35823879 markings, 101219740 edges, 95425 markings/sec, 395 secs
lola: 36270908 markings, 102489839 edges, 89406 markings/sec, 400 secs
lola: 36740189 markings, 103822819 edges, 93856 markings/sec, 405 secs
lola: 37179339 markings, 105071340 edges, 87830 markings/sec, 410 secs
lola: 37656235 markings, 106398144 edges, 95379 markings/sec, 415 secs
lola: 38131176 markings, 107747692 edges, 94988 markings/sec, 420 secs
lola: 38569557 markings, 108993820 edges, 87676 markings/sec, 425 secs
lola: 39028846 markings, 110299435 edges, 91858 markings/sec, 430 secs
lola: 39474676 markings, 111564869 edges, 89166 markings/sec, 435 secs
lola: 39953287 markings, 112895771 edges, 95722 markings/sec, 440 secs
lola: 40447487 markings, 114298666 edges, 98840 markings/sec, 445 secs
lola: 40895851 markings, 115572454 edges, 89673 markings/sec, 450 secs
lola: 41366524 markings, 116909021 edges, 94135 markings/sec, 455 secs
lola: 41810404 markings, 118169628 edges, 88776 markings/sec, 460 secs
lola: 42281964 markings, 119480755 edges, 94312 markings/sec, 465 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1887696 KB
lola: time consumption: 728 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 473 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p272)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p272)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 3 markings, 2 edges
lola: ========================================

FORMULA Parking-PT-432-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 568 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p176)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p176)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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 Parking-PT-432-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 710 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p41)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 3 markings, 2 edges
lola: ========================================

FORMULA Parking-PT-432-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 947 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 Parking-PT-432-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 Parking-PT-432-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1421 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p468)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p468)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 9 markings, 8 edges
lola: ========================================

FORMULA Parking-PT-432-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2842 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p363)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p363)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 3 markings, 2 edges
lola: ========================================

FORMULA Parking-PT-432-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p184)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p184)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file Parking-PT-432-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: 426404 markings, 1344311 edges, 85281 markings/sec, 0 secs
lola: 858833 markings, 2703764 edges, 86486 markings/sec, 5 secs
lola: 1291892 markings, 4050867 edges, 86612 markings/sec, 10 secs
lola: 1725387 markings, 5398933 edges, 86699 markings/sec, 15 secs
lola: 2156624 markings, 6754051 edges, 86247 markings/sec, 20 secs
lola: 2582917 markings, 8102006 edges, 85259 markings/sec, 25 secs
lola: 3005787 markings, 9460025 edges, 84574 markings/sec, 30 secs
lola: 3418386 markings, 10816138 edges, 82520 markings/sec, 35 secs
lola: 3858664 markings, 12161863 edges, 88056 markings/sec, 40 secs
lola: 4294632 markings, 13516049 edges, 87194 markings/sec, 45 secs
lola: 4707715 markings, 14885378 edges, 82617 markings/sec, 50 secs
lola: 5129601 markings, 16210050 edges, 84377 markings/sec, 55 secs
lola: 5551289 markings, 17592416 edges, 84338 markings/sec, 60 secs
lola: 5979503 markings, 18990075 edges, 85643 markings/sec, 65 secs
lola: 6442832 markings, 20393515 edges, 92666 markings/sec, 70 secs
lola: 6897247 markings, 21758161 edges, 90883 markings/sec, 75 secs
lola: 7348104 markings, 23118281 edges, 90171 markings/sec, 80 secs
lola: 7797445 markings, 24499113 edges, 89868 markings/sec, 85 secs
lola: 8207473 markings, 25783147 edges, 82006 markings/sec, 90 secs
lola: 8581856 markings, 26947437 edges, 74877 markings/sec, 95 secs
lola: 8953845 markings, 28106162 edges, 74398 markings/sec, 100 secs
lola: 9340062 markings, 29442550 edges, 77243 markings/sec, 105 secs
lola: 9728665 markings, 30668472 edges, 77721 markings/sec, 110 secs
lola: 10111012 markings, 31851194 edges, 76469 markings/sec, 115 secs
lola: 10493158 markings, 33035783 edges, 76429 markings/sec, 120 secs
lola: 10882149 markings, 34203394 edges, 77798 markings/sec, 125 secs
lola: 11252573 markings, 35393923 edges, 74085 markings/sec, 130 secs
lola: 11654625 markings, 36590975 edges, 80410 markings/sec, 135 secs
lola: 12106247 markings, 37988861 edges, 90324 markings/sec, 140 secs
lola: 12552402 markings, 39358915 edges, 89231 markings/sec, 145 secs
lola: 13004585 markings, 40734592 edges, 90437 markings/sec, 150 secs
lola: 13436324 markings, 42114316 edges, 86348 markings/sec, 155 secs
lola: 13894132 markings, 43471992 edges, 91562 markings/sec, 160 secs
lola: 14336949 markings, 44843572 edges, 88563 markings/sec, 165 secs
lola: 14787933 markings, 46184137 edges, 90197 markings/sec, 170 secs
lola: 15222945 markings, 47567752 edges, 87002 markings/sec, 175 secs
lola: 15676298 markings, 48897514 edges, 90671 markings/sec, 180 secs
lola: 16060089 markings, 50363731 edges, 76758 markings/sec, 185 secs
lola: 16432638 markings, 51830107 edges, 74510 markings/sec, 190 secs
lola: 16870777 markings, 53183660 edges, 87628 markings/sec, 195 secs
lola: 17325050 markings, 54540724 edges, 90855 markings/sec, 200 secs
lola: 17775428 markings, 55891173 edges, 90076 markings/sec, 205 secs
lola: 18214091 markings, 57242983 edges, 87733 markings/sec, 210 secs
lola: 18665371 markings, 58589686 edges, 90256 markings/sec, 215 secs
lola: 19111645 markings, 59926501 edges, 89255 markings/sec, 220 secs
lola: 19557565 markings, 61277828 edges, 89184 markings/sec, 225 secs
lola: 20014871 markings, 62643004 edges, 91461 markings/sec, 230 secs
lola: 20468087 markings, 63986554 edges, 90643 markings/sec, 235 secs
lola: 20912774 markings, 65337797 edges, 88937 markings/sec, 240 secs
lola: 21353412 markings, 66717964 edges, 88128 markings/sec, 245 secs
lola: 21815334 markings, 68086795 edges, 92384 markings/sec, 250 secs
lola: 22268417 markings, 69457321 edges, 90617 markings/sec, 255 secs
lola: 22721487 markings, 70824853 edges, 90614 markings/sec, 260 secs
lola: 23176176 markings, 72187014 edges, 90938 markings/sec, 265 secs
lola: 23623100 markings, 73545930 edges, 89385 markings/sec, 270 secs
lola: 24064191 markings, 74896317 edges, 88218 markings/sec, 275 secs
lola: 24512151 markings, 76238550 edges, 89592 markings/sec, 280 secs
lola: 24953669 markings, 77528624 edges, 88304 markings/sec, 285 secs
lola: 25332634 markings, 78663441 edges, 75793 markings/sec, 290 secs
lola: 25708184 markings, 79808265 edges, 75110 markings/sec, 295 secs
lola: 26090289 markings, 80961984 edges, 76421 markings/sec, 300 secs
lola: 26466371 markings, 82108262 edges, 75216 markings/sec, 305 secs
lola: 26839819 markings, 83248516 edges, 74690 markings/sec, 310 secs
lola: 27224891 markings, 84423443 edges, 77014 markings/sec, 315 secs
lola: 27652402 markings, 85780190 edges, 85502 markings/sec, 320 secs
lola: 28081881 markings, 87065205 edges, 85896 markings/sec, 325 secs
lola: 28489990 markings, 88291245 edges, 81622 markings/sec, 330 secs
lola: 28915468 markings, 89607499 edges, 85096 markings/sec, 335 secs
lola: 29288904 markings, 90762720 edges, 74687 markings/sec, 340 secs
lola: 29668980 markings, 91903083 edges, 76015 markings/sec, 345 secs
lola: 30061425 markings, 93101651 edges, 78489 markings/sec, 350 secs
lola: 30433104 markings, 94252274 edges, 74336 markings/sec, 355 secs
lola: 30832921 markings, 95468813 edges, 79963 markings/sec, 360 secs
lola: 31212542 markings, 96686380 edges, 75924 markings/sec, 365 secs
lola: 31607749 markings, 97834331 edges, 79041 markings/sec, 370 secs
lola: 31983670 markings, 98978719 edges, 75184 markings/sec, 375 secs
lola: 32380483 markings, 100174028 edges, 79363 markings/sec, 380 secs
lola: 32790208 markings, 101342467 edges, 81945 markings/sec, 385 secs
lola: 33148075 markings, 102513274 edges, 71573 markings/sec, 390 secs
lola: 33544461 markings, 103698146 edges, 79277 markings/sec, 395 secs
lola: 33933637 markings, 104858425 edges, 77835 markings/sec, 400 secs
lola: 34308995 markings, 105999456 edges, 75072 markings/sec, 405 secs
lola: 34737197 markings, 107296945 edges, 85640 markings/sec, 410 secs
lola: 35176464 markings, 108626441 edges, 87853 markings/sec, 415 secs
lola: 35553478 markings, 109775241 edges, 75403 markings/sec, 420 secs
lola: 35926308 markings, 110918112 edges, 74566 markings/sec, 425 secs
lola: 36288745 markings, 112073998 edges, 72487 markings/sec, 430 secs
lola: 36636848 markings, 113321527 edges, 69621 markings/sec, 435 secs
lola: 36996549 markings, 114501219 edges, 71940 markings/sec, 440 secs
lola: 37374937 markings, 115657109 edges, 75678 markings/sec, 445 secs
lola: 37801502 markings, 116945509 edges, 85313 markings/sec, 450 secs
lola: 38231408 markings, 118314608 edges, 85981 markings/sec, 455 secs
lola: 38684787 markings, 119679914 edges, 90676 markings/sec, 460 secs
lola: 39140030 markings, 121021084 edges, 91049 markings/sec, 465 secs
lola: 39587353 markings, 122380613 edges, 89465 markings/sec, 470 secs
lola: 40030383 markings, 123745849 edges, 88606 markings/sec, 475 secs
lola: 40484425 markings, 125104351 edges, 90808 markings/sec, 480 secs
lola: 40904920 markings, 126443395 edges, 84099 markings/sec, 485 secs
lola: 41354944 markings, 127807416 edges, 90005 markings/sec, 490 secs
lola: 41807268 markings, 129161841 edges, 90465 markings/sec, 495 secs
lola: 42209615 markings, 130383386 edges, 80469 markings/sec, 500 secs
lola: 42601181 markings, 131523739 edges, 78313 markings/sec, 505 secs
lola: 42956647 markings, 132717888 edges, 71093 markings/sec, 510 secs
lola: 43329950 markings, 133879191 edges, 74661 markings/sec, 515 secs
lola: 43724133 markings, 135028495 edges, 78837 markings/sec, 520 secs
lola: 44110839 markings, 136175216 edges, 77341 markings/sec, 525 secs
lola: 44537740 markings, 137474900 edges, 85380 markings/sec, 530 secs
lola: 44996980 markings, 138793815 edges, 91848 markings/sec, 535 secs
lola: 45402032 markings, 140209261 edges, 81010 markings/sec, 540 secs
lola: 45873587 markings, 141554810 edges, 94311 markings/sec, 545 secs
lola: 46324863 markings, 142905297 edges, 90255 markings/sec, 550 secs
lola: 46771390 markings, 144251529 edges, 89305 markings/sec, 555 secs
lola: 47229308 markings, 145562528 edges, 91584 markings/sec, 560 secs
lola: 47627017 markings, 146967027 edges, 79542 markings/sec, 565 secs
lola: 48100491 markings, 148312126 edges, 94695 markings/sec, 570 secs
lola: 48551730 markings, 149665095 edges, 90248 markings/sec, 575 secs
lola: 48999318 markings, 151018073 edges, 89518 markings/sec, 580 secs
lola: 49454419 markings, 152318119 edges, 91020 markings/sec, 585 secs
lola: 49864980 markings, 153699011 edges, 82112 markings/sec, 590 secs
lola: 50313698 markings, 155051442 edges, 89744 markings/sec, 595 secs
lola: 50760782 markings, 156395405 edges, 89417 markings/sec, 600 secs
lola: 51224724 markings, 157718559 edges, 92788 markings/sec, 605 secs
lola: 51660263 markings, 159035111 edges, 87108 markings/sec, 610 secs
lola: 52106321 markings, 160343701 edges, 89212 markings/sec, 615 secs
lola: 52522614 markings, 161726805 edges, 83259 markings/sec, 620 secs
lola: 52946560 markings, 163108190 edges, 84789 markings/sec, 625 secs
lola: 53411575 markings, 164442953 edges, 93003 markings/sec, 630 secs
lola: 53876670 markings, 165770332 edges, 93019 markings/sec, 635 secs
lola: 54308879 markings, 167094523 edges, 86442 markings/sec, 640 secs
lola: 54757756 markings, 168377345 edges, 89775 markings/sec, 645 secs
lola: 55199745 markings, 169705076 edges, 88398 markings/sec, 650 secs
lola: 55640502 markings, 171052526 edges, 88151 markings/sec, 655 secs
lola: 56085078 markings, 172410708 edges, 88915 markings/sec, 660 secs
lola: 56523808 markings, 173761047 edges, 87746 markings/sec, 665 secs
lola: 56953083 markings, 175112057 edges, 85855 markings/sec, 670 secs
lola: 57369816 markings, 176480098 edges, 83347 markings/sec, 675 secs
lola: 57721159 markings, 177720641 edges, 70269 markings/sec, 680 secs
lola: 58041697 markings, 178941471 edges, 64108 markings/sec, 685 secs
lola: 58414331 markings, 180106856 edges, 74527 markings/sec, 690 secs
lola: 58795451 markings, 181253940 edges, 76224 markings/sec, 695 secs
lola: 59165648 markings, 182415063 edges, 74039 markings/sec, 700 secs
lola: 59582723 markings, 183682463 edges, 83415 markings/sec, 705 secs
lola: 60027075 markings, 185040390 edges, 88870 markings/sec, 710 secs
lola: 60479220 markings, 186374143 edges, 90429 markings/sec, 715 secs
lola: 60872264 markings, 187733633 edges, 78609 markings/sec, 720 secs
lola: 61264408 markings, 188884640 edges, 78429 markings/sec, 725 secs
lola: 61641235 markings, 190058919 edges, 75365 markings/sec, 730 secs
lola: 62044528 markings, 191244055 edges, 80659 markings/sec, 735 secs
lola: 62501381 markings, 192593623 edges, 91371 markings/sec, 740 secs
lola: 62926553 markings, 193986269 edges, 85034 markings/sec, 745 secs
lola: 63391576 markings, 195342402 edges, 93005 markings/sec, 750 secs
lola: 63844646 markings, 196695435 edges, 90614 markings/sec, 755 secs
lola: 64276829 markings, 198073185 edges, 86437 markings/sec, 760 secs
lola: 64724242 markings, 199451438 edges, 89483 markings/sec, 765 secs
lola: 65176808 markings, 200813677 edges, 90513 markings/sec, 770 secs
lola: 65600904 markings, 202195693 edges, 84819 markings/sec, 775 secs
lola: 66057043 markings, 203555206 edges, 91228 markings/sec, 780 secs
lola: 66502347 markings, 204909686 edges, 89061 markings/sec, 785 secs
lola: 66898604 markings, 206335656 edges, 79251 markings/sec, 790 secs
lola: 67355038 markings, 207690522 edges, 91287 markings/sec, 795 secs
lola: 67808529 markings, 209048414 edges, 90698 markings/sec, 800 secs
lola: 68265937 markings, 210406133 edges, 91482 markings/sec, 805 secs
lola: 68706878 markings, 211765585 edges, 88188 markings/sec, 810 secs
lola: 69159339 markings, 213095753 edges, 90492 markings/sec, 815 secs
lola: 69561392 markings, 214517523 edges, 80411 markings/sec, 820 secs
lola: 69998374 markings, 215875957 edges, 87396 markings/sec, 825 secs
lola: 70451681 markings, 217237677 edges, 90661 markings/sec, 830 secs
lola: 70900087 markings, 218597557 edges, 89681 markings/sec, 835 secs
lola: 71364754 markings, 219936194 edges, 92933 markings/sec, 840 secs
lola: 71795278 markings, 221279485 edges, 86105 markings/sec, 845 secs
lola: 72252311 markings, 222593480 edges, 91407 markings/sec, 850 secs
lola: 72658296 markings, 223975172 edges, 81197 markings/sec, 855 secs
lola: 73079780 markings, 225350244 edges, 84297 markings/sec, 860 secs
lola: 73549617 markings, 226699301 edges, 93967 markings/sec, 865 secs
lola: 73989149 markings, 228055568 edges, 87906 markings/sec, 870 secs
lola: 74456546 markings, 229395207 edges, 93479 markings/sec, 875 secs
lola: 74889320 markings, 230739756 edges, 86555 markings/sec, 880 secs
lola: 75344034 markings, 232048537 edges, 90943 markings/sec, 885 secs
lola: 75764057 markings, 233391401 edges, 84005 markings/sec, 890 secs
lola: 76164814 markings, 234792782 edges, 80151 markings/sec, 895 secs
lola: 76634270 markings, 236133810 edges, 93891 markings/sec, 900 secs
lola: 77072748 markings, 237488761 edges, 87696 markings/sec, 905 secs
lola: 77536528 markings, 238819822 edges, 92756 markings/sec, 910 secs
lola: 77969132 markings, 240164153 edges, 86521 markings/sec, 915 secs
lola: 78421128 markings, 241457045 edges, 90399 markings/sec, 920 secs
lola: 78863619 markings, 242766735 edges, 88498 markings/sec, 925 secs
lola: 79234304 markings, 244204387 edges, 74137 markings/sec, 930 secs
lola: 79703049 markings, 245541458 edges, 93749 markings/sec, 935 secs
lola: 80143072 markings, 246904346 edges, 88005 markings/sec, 940 secs
lola: 80607822 markings, 248229681 edges, 92950 markings/sec, 945 secs
lola: 81065702 markings, 249564595 edges, 91576 markings/sec, 950 secs
lola: 81486637 markings, 250857748 edges, 84187 markings/sec, 955 secs
lola: 81932243 markings, 252146805 edges, 89121 markings/sec, 960 secs
lola: 82310276 markings, 253569091 edges, 75607 markings/sec, 965 secs
lola: 82735954 markings, 254936462 edges, 85136 markings/sec, 970 secs
lola: 83182054 markings, 256282710 edges, 89220 markings/sec, 975 secs
lola: 83644392 markings, 257598714 edges, 92468 markings/sec, 980 secs
lola: 84060671 markings, 258970658 edges, 83256 markings/sec, 985 secs
lola: 84522244 markings, 260281068 edges, 92315 markings/sec, 990 secs
lola: 84963120 markings, 261622806 edges, 88175 markings/sec, 995 secs
lola: 85425381 markings, 262941502 edges, 92452 markings/sec, 1000 secs
lola: 85853951 markings, 264296042 edges, 85714 markings/sec, 1005 secs
lola: 86264760 markings, 265688443 edges, 82162 markings/sec, 1010 secs
lola: 86734622 markings, 267031384 edges, 93972 markings/sec, 1015 secs
lola: 87193961 markings, 268360260 edges, 91868 markings/sec, 1020 secs
lola: 87659747 markings, 269697115 edges, 93157 markings/sec, 1025 secs
lola: 88053153 markings, 271052278 edges, 78681 markings/sec, 1030 secs
lola: 88499331 markings, 272325211 edges, 89236 markings/sec, 1035 secs
lola: 88944014 markings, 273596270 edges, 88937 markings/sec, 1040 secs
lola: 89390461 markings, 274874707 edges, 89289 markings/sec, 1045 secs
lola: 89833219 markings, 276151367 edges, 88552 markings/sec, 1050 secs
lola: 90280309 markings, 277435638 edges, 89418 markings/sec, 1055 secs
lola: 90728073 markings, 278775784 edges, 89553 markings/sec, 1060 secs
lola: 91184577 markings, 280163877 edges, 91301 markings/sec, 1065 secs
lola: 91639292 markings, 281545531 edges, 90943 markings/sec, 1070 secs
lola: 92094274 markings, 282926846 edges, 90996 markings/sec, 1075 secs
lola: 92546014 markings, 284301878 edges, 90348 markings/sec, 1080 secs
lola: 92997033 markings, 285672467 edges, 90204 markings/sec, 1085 secs
lola: 93446835 markings, 287040170 edges, 89960 markings/sec, 1090 secs
lola: 93897444 markings, 288405032 edges, 90122 markings/sec, 1095 secs
lola: 94349696 markings, 289780736 edges, 90450 markings/sec, 1100 secs
lola: 94805719 markings, 291164386 edges, 91205 markings/sec, 1105 secs
lola: 95256853 markings, 292533228 edges, 90227 markings/sec, 1110 secs
lola: 95707996 markings, 293905181 edges, 90229 markings/sec, 1115 secs
lola: 96154130 markings, 295261457 edges, 89227 markings/sec, 1120 secs
lola: 96603126 markings, 296623382 edges, 89799 markings/sec, 1125 secs
lola: 97045117 markings, 297985269 edges, 88398 markings/sec, 1130 secs
lola: 97340350 markings, 299469529 edges, 59047 markings/sec, 1135 secs
lola: 97709513 markings, 300861898 edges, 73833 markings/sec, 1140 secs
lola: 98125177 markings, 302215287 edges, 83133 markings/sec, 1145 secs
lola: 98553182 markings, 303563697 edges, 85601 markings/sec, 1150 secs
lola: 98983791 markings, 304892973 edges, 86122 markings/sec, 1155 secs
lola: 99394776 markings, 306233753 edges, 82197 markings/sec, 1160 secs
lola: 99825898 markings, 307574857 edges, 86224 markings/sec, 1165 secs
lola: 100252513 markings, 308903744 edges, 85323 markings/sec, 1170 secs
lola: 100680914 markings, 310243562 edges, 85680 markings/sec, 1175 secs
lola: 101118327 markings, 311589475 edges, 87483 markings/sec, 1180 secs
lola: 101554366 markings, 312932418 edges, 87208 markings/sec, 1185 secs
lola: 101981477 markings, 314262154 edges, 85422 markings/sec, 1190 secs
lola: 102398243 markings, 315622835 edges, 83353 markings/sec, 1195 secs
lola: 102836272 markings, 316977317 edges, 87606 markings/sec, 1200 secs
lola: 103264958 markings, 318337922 edges, 85737 markings/sec, 1205 secs
lola: 103696692 markings, 319688543 edges, 86347 markings/sec, 1210 secs
lola: 104122128 markings, 321035427 edges, 85087 markings/sec, 1215 secs
lola: 104563212 markings, 322356754 edges, 88217 markings/sec, 1220 secs
lola: 104988392 markings, 323713581 edges, 85036 markings/sec, 1225 secs
lola: 105409352 markings, 325046030 edges, 84192 markings/sec, 1230 secs
lola: 105844996 markings, 326372112 edges, 87129 markings/sec, 1235 secs
lola: 106267035 markings, 327657012 edges, 84408 markings/sec, 1240 secs
lola: 106687207 markings, 328979856 edges, 84034 markings/sec, 1245 secs
lola: 107107252 markings, 330292764 edges, 84009 markings/sec, 1250 secs
lola: 107537720 markings, 331626105 edges, 86094 markings/sec, 1255 secs
lola: 107958094 markings, 332965867 edges, 84075 markings/sec, 1260 secs
lola: 108384248 markings, 334293226 edges, 85231 markings/sec, 1265 secs
lola: 108789150 markings, 335638904 edges, 80980 markings/sec, 1270 secs
lola: 109165704 markings, 336815528 edges, 75311 markings/sec, 1275 secs
lola: 109530801 markings, 337968294 edges, 73019 markings/sec, 1280 secs
lola: 109884462 markings, 339123498 edges, 70732 markings/sec, 1285 secs
lola: 110302426 markings, 340414620 edges, 83593 markings/sec, 1290 secs
lola: 110724590 markings, 341751710 edges, 84433 markings/sec, 1295 secs
lola: 111148479 markings, 343094905 edges, 84778 markings/sec, 1300 secs
lola: 111562710 markings, 344426775 edges, 82846 markings/sec, 1305 secs
lola: 111987547 markings, 345737061 edges, 84967 markings/sec, 1310 secs
lola: 112388184 markings, 347104488 edges, 80127 markings/sec, 1315 secs
lola: 112831797 markings, 348423909 edges, 88723 markings/sec, 1320 secs
lola: 113259865 markings, 349758561 edges, 85614 markings/sec, 1325 secs
lola: 113681773 markings, 351055611 edges, 84382 markings/sec, 1330 secs
lola: 114092396 markings, 352346603 edges, 82125 markings/sec, 1335 secs
lola: 114504985 markings, 353700852 edges, 82518 markings/sec, 1340 secs
lola: 114932119 markings, 355023522 edges, 85427 markings/sec, 1345 secs
lola: 115349433 markings, 356336612 edges, 83463 markings/sec, 1350 secs
lola: 115776986 markings, 357671690 edges, 85511 markings/sec, 1355 secs
lola: 116198237 markings, 359000989 edges, 84250 markings/sec, 1360 secs
lola: 116623597 markings, 360321976 edges, 85072 markings/sec, 1365 secs
lola: 117039652 markings, 361637441 edges, 83211 markings/sec, 1370 secs
lola: 117380387 markings, 362783935 edges, 68147 markings/sec, 1375 secs
lola: 117715587 markings, 363951355 edges, 67040 markings/sec, 1380 secs
lola: 118019951 markings, 365158072 edges, 60873 markings/sec, 1385 secs
lola: 118439356 markings, 366455542 edges, 83881 markings/sec, 1390 secs
lola: 118868564 markings, 367786800 edges, 85842 markings/sec, 1395 secs
lola: 119275863 markings, 369140671 edges, 81460 markings/sec, 1400 secs
lola: 119716897 markings, 370472095 edges, 88207 markings/sec, 1405 secs
lola: 120141853 markings, 371844136 edges, 84991 markings/sec, 1410 secs
lola: 120583762 markings, 373175232 edges, 88382 markings/sec, 1415 secs
lola: 121011956 markings, 374514496 edges, 85639 markings/sec, 1420 secs
lola: 121433696 markings, 375866520 edges, 84348 markings/sec, 1425 secs
lola: 121845352 markings, 377130486 edges, 82331 markings/sec, 1430 secs
lola: 122241168 markings, 378521747 edges, 79163 markings/sec, 1435 secs
lola: 122688416 markings, 379850559 edges, 89450 markings/sec, 1440 secs
lola: 123114615 markings, 381179755 edges, 85240 markings/sec, 1445 secs
lola: 123524822 markings, 382459109 edges, 82041 markings/sec, 1450 secs
lola: 123910807 markings, 383619077 edges, 77197 markings/sec, 1455 secs
lola: 124280440 markings, 384913507 edges, 73927 markings/sec, 1460 secs
lola: 124676989 markings, 386184070 edges, 79310 markings/sec, 1465 secs
lola: 125051720 markings, 387324847 edges, 74946 markings/sec, 1470 secs
lola: 125426264 markings, 388455648 edges, 74909 markings/sec, 1475 secs
lola: 125781787 markings, 389587576 edges, 71105 markings/sec, 1480 secs
lola: 126159036 markings, 390686492 edges, 75450 markings/sec, 1485 secs
lola: 126496537 markings, 391879454 edges, 67500 markings/sec, 1490 secs
lola: 126866937 markings, 393073051 edges, 74080 markings/sec, 1495 secs
lola: 127273710 markings, 394312204 edges, 81355 markings/sec, 1500 secs
lola: 127649093 markings, 395429426 edges, 75077 markings/sec, 1505 secs
lola: 128016328 markings, 396562316 edges, 73447 markings/sec, 1510 secs
lola: 128436041 markings, 397804382 edges, 83943 markings/sec, 1515 secs
lola: 128826687 markings, 399106984 edges, 78129 markings/sec, 1520 secs
lola: 129224601 markings, 400433700 edges, 79583 markings/sec, 1525 secs
lola: 129644054 markings, 401738434 edges, 83891 markings/sec, 1530 secs
lola: 130081389 markings, 403007389 edges, 87467 markings/sec, 1535 secs
lola: 130493004 markings, 404291395 edges, 82323 markings/sec, 1540 secs
lola: 130912285 markings, 405510619 edges, 83856 markings/sec, 1545 secs
lola: 131246439 markings, 406669833 edges, 66831 markings/sec, 1550 secs
lola: 131591273 markings, 407836262 edges, 68967 markings/sec, 1555 secs
lola: 131974297 markings, 408960141 edges, 76605 markings/sec, 1560 secs
lola: 132370977 markings, 410181795 edges, 79336 markings/sec, 1565 secs
lola: 132793711 markings, 411458359 edges, 84547 markings/sec, 1570 secs
lola: 133206777 markings, 412701041 edges, 82613 markings/sec, 1575 secs
lola: 133610312 markings, 413978468 edges, 80707 markings/sec, 1580 secs
lola: 133992075 markings, 415305051 edges, 76353 markings/sec, 1585 secs
lola: 134382866 markings, 416625245 edges, 78158 markings/sec, 1590 secs
lola: 134819054 markings, 417906705 edges, 87238 markings/sec, 1595 secs
lola: 135255471 markings, 419169946 edges, 87283 markings/sec, 1600 secs
lola: 135657929 markings, 420453131 edges, 80492 markings/sec, 1605 secs
lola: 136081898 markings, 421673267 edges, 84794 markings/sec, 1610 secs
lola: 136494860 markings, 422919433 edges, 82592 markings/sec, 1615 secs
lola: 136906656 markings, 424211717 edges, 82359 markings/sec, 1620 secs
lola: 137314225 markings, 425505347 edges, 81514 markings/sec, 1625 secs
lola: 137723706 markings, 426812366 edges, 81896 markings/sec, 1630 secs
lola: 138131380 markings, 428106959 edges, 81535 markings/sec, 1635 secs
lola: 138538089 markings, 429395704 edges, 81342 markings/sec, 1640 secs
lola: 138913802 markings, 430719900 edges, 75143 markings/sec, 1645 secs
lola: 139259140 markings, 432082003 edges, 69068 markings/sec, 1650 secs
lola: 139600484 markings, 433457474 edges, 68269 markings/sec, 1655 secs
lola: 140019922 markings, 434764858 edges, 83888 markings/sec, 1660 secs
lola: 140434520 markings, 436067586 edges, 82920 markings/sec, 1665 secs
lola: 140849236 markings, 437369897 edges, 82943 markings/sec, 1670 secs
lola: 141274394 markings, 438652759 edges, 85032 markings/sec, 1675 secs
lola: 141683495 markings, 439965788 edges, 81820 markings/sec, 1680 secs
lola: 142074273 markings, 441276686 edges, 78156 markings/sec, 1685 secs
lola: 142474558 markings, 442609532 edges, 80057 markings/sec, 1690 secs
lola: 142899140 markings, 443904062 edges, 84916 markings/sec, 1695 secs
lola: 143310127 markings, 445241867 edges, 82197 markings/sec, 1700 secs
lola: 143733295 markings, 446546627 edges, 84634 markings/sec, 1705 secs
lola: 144158544 markings, 447839977 edges, 85050 markings/sec, 1710 secs
lola: 144558006 markings, 449180497 edges, 79892 markings/sec, 1715 secs
lola: 144985500 markings, 450474318 edges, 85499 markings/sec, 1720 secs
lola: 145403545 markings, 451763873 edges, 83609 markings/sec, 1725 secs
lola: 145788740 markings, 453076847 edges, 77039 markings/sec, 1730 secs
lola: 146207239 markings, 454389252 edges, 83700 markings/sec, 1735 secs
lola: 146630272 markings, 455708684 edges, 84607 markings/sec, 1740 secs
lola: 147048183 markings, 457003158 edges, 83582 markings/sec, 1745 secs
lola: 147431781 markings, 458287537 edges, 76720 markings/sec, 1750 secs
lola: 147849322 markings, 459603501 edges, 83508 markings/sec, 1755 secs
lola: 148266587 markings, 460906657 edges, 83453 markings/sec, 1760 secs
lola: 148678640 markings, 462204035 edges, 82411 markings/sec, 1765 secs
lola: 149038758 markings, 463575992 edges, 72024 markings/sec, 1770 secs
lola: 149467677 markings, 464874116 edges, 85784 markings/sec, 1775 secs
lola: 149883817 markings, 466183266 edges, 83228 markings/sec, 1780 secs
lola: 150310557 markings, 467480808 edges, 85348 markings/sec, 1785 secs
lola: 150715765 markings, 468791654 edges, 81042 markings/sec, 1790 secs
lola: 151146381 markings, 470056943 edges, 86123 markings/sec, 1795 secs
lola: 151562570 markings, 471345495 edges, 83238 markings/sec, 1800 secs
lola: 151927635 markings, 472717459 edges, 73013 markings/sec, 1805 secs
lola: 152321843 markings, 474042741 edges, 78842 markings/sec, 1810 secs
lola: 152756498 markings, 475354934 edges, 86931 markings/sec, 1815 secs
lola: 153186368 markings, 476708471 edges, 85974 markings/sec, 1820 secs
lola: 153637204 markings, 478031799 edges, 90167 markings/sec, 1825 secs
lola: 154046784 markings, 479372889 edges, 81916 markings/sec, 1830 secs
lola: 154477058 markings, 480617228 edges, 86055 markings/sec, 1835 secs
lola: 154901753 markings, 481872609 edges, 84939 markings/sec, 1840 secs
lola: 155232956 markings, 483263375 edges, 66241 markings/sec, 1845 secs
lola: 155657183 markings, 484563832 edges, 84845 markings/sec, 1850 secs
lola: 156096026 markings, 485851911 edges, 87769 markings/sec, 1855 secs
lola: 156500395 markings, 487149254 edges, 80874 markings/sec, 1860 secs
lola: 156937149 markings, 488430172 edges, 87351 markings/sec, 1865 secs
lola: 157343881 markings, 489660817 edges, 81346 markings/sec, 1870 secs
lola: 157706913 markings, 490794524 edges, 72606 markings/sec, 1875 secs
lola: 158078565 markings, 491891194 edges, 74330 markings/sec, 1880 secs
lola: 158456204 markings, 493115834 edges, 75528 markings/sec, 1885 secs
lola: 158792017 markings, 494479674 edges, 67163 markings/sec, 1890 secs
lola: 159206154 markings, 495687556 edges, 82827 markings/sec, 1895 secs
lola: 159596782 markings, 496841011 edges, 78126 markings/sec, 1900 secs
lola: 159963441 markings, 498011397 edges, 73332 markings/sec, 1905 secs
lola: 160379814 markings, 499233999 edges, 83275 markings/sec, 1910 secs
lola: 160739139 markings, 500388369 edges, 71865 markings/sec, 1915 secs
lola: 161120108 markings, 501513897 edges, 76194 markings/sec, 1920 secs
lola: 161499563 markings, 502632797 edges, 75891 markings/sec, 1925 secs
lola: 161849271 markings, 503790794 edges, 69942 markings/sec, 1930 secs
lola: 162131925 markings, 505007659 edges, 56531 markings/sec, 1935 secs
lola: 162530128 markings, 506158823 edges, 79641 markings/sec, 1940 secs
lola: 162913666 markings, 507287069 edges, 76708 markings/sec, 1945 secs
lola: 163266631 markings, 508431911 edges, 70593 markings/sec, 1950 secs
lola: 163660871 markings, 509578999 edges, 78848 markings/sec, 1955 secs
lola: 164090561 markings, 510857356 edges, 85938 markings/sec, 1960 secs
lola: 164485720 markings, 512114754 edges, 79032 markings/sec, 1965 secs
lola: 164905669 markings, 513350290 edges, 83990 markings/sec, 1970 secs
lola: 165302288 markings, 514631843 edges, 79324 markings/sec, 1975 secs
lola: 165612877 markings, 516047723 edges, 62118 markings/sec, 1980 secs
lola: 166039714 markings, 517319708 edges, 85367 markings/sec, 1985 secs
lola: 166453597 markings, 518602247 edges, 82777 markings/sec, 1990 secs
lola: 166884145 markings, 519866810 edges, 86110 markings/sec, 1995 secs
lola: 167266742 markings, 521195511 edges, 76519 markings/sec, 2000 secs
lola: 167706748 markings, 522473224 edges, 88001 markings/sec, 2005 secs
lola: 168115658 markings, 523757628 edges, 81782 markings/sec, 2010 secs
lola: 168512768 markings, 524909703 edges, 79422 markings/sec, 2015 secs
lola: 168881752 markings, 526034128 edges, 73797 markings/sec, 2020 secs
lola: 169163002 markings, 527257547 edges, 56250 markings/sec, 2025 secs
lola: 169552222 markings, 528375250 edges, 77844 markings/sec, 2030 secs
lola: 169943244 markings, 529522528 edges, 78204 markings/sec, 2035 secs
lola: 170369354 markings, 530771453 edges, 85222 markings/sec, 2040 secs
lola: 170801052 markings, 532037756 edges, 86340 markings/sec, 2045 secs
lola: 171222014 markings, 533310564 edges, 84192 markings/sec, 2050 secs
lola: 171572046 markings, 534561051 edges, 70006 markings/sec, 2055 secs
lola: 171989352 markings, 535777208 edges, 83461 markings/sec, 2060 secs
lola: 172409052 markings, 536984678 edges, 83940 markings/sec, 2065 secs
lola: 172823310 markings, 538209986 edges, 82852 markings/sec, 2070 secs
lola: 173246395 markings, 539424362 edges, 84617 markings/sec, 2075 secs
lola: 173660305 markings, 540645982 edges, 82782 markings/sec, 2080 secs
lola: 174080346 markings, 541914990 edges, 84008 markings/sec, 2085 secs
lola: 174511474 markings, 543226843 edges, 86226 markings/sec, 2090 secs
lola: 174942687 markings, 544536966 edges, 86243 markings/sec, 2095 secs
lola: 175374105 markings, 545848095 edges, 86284 markings/sec, 2100 secs
lola: 175803460 markings, 547154185 edges, 85871 markings/sec, 2105 secs
lola: 176232505 markings, 548456289 edges, 85809 markings/sec, 2110 secs
lola: 176659616 markings, 549754926 edges, 85422 markings/sec, 2115 secs
lola: 177087537 markings, 551054304 edges, 85584 markings/sec, 2120 secs
lola: 177514087 markings, 552350145 edges, 85310 markings/sec, 2125 secs
lola: 177928817 markings, 553611710 edges, 82946 markings/sec, 2130 secs
lola: 178310426 markings, 554772020 edges, 76322 markings/sec, 2135 secs
lola: 178688509 markings, 555922335 edges, 75617 markings/sec, 2140 secs
lola: 179067180 markings, 557074586 edges, 75734 markings/sec, 2145 secs
lola: 179455390 markings, 558255379 edges, 77642 markings/sec, 2150 secs
lola: 179833067 markings, 559404385 edges, 75535 markings/sec, 2155 secs
lola: 180229790 markings, 560612252 edges, 79345 markings/sec, 2160 secs
lola: 180576873 markings, 561995571 edges, 69417 markings/sec, 2165 secs
lola: 180857374 markings, 563420778 edges, 56100 markings/sec, 2170 secs
lola: 181255152 markings, 564727606 edges, 79556 markings/sec, 2175 secs
lola: 181653038 markings, 566044022 edges, 79577 markings/sec, 2180 secs
lola: 182070830 markings, 567342094 edges, 83558 markings/sec, 2185 secs
lola: 182485443 markings, 568629811 edges, 82923 markings/sec, 2190 secs
lola: 182883790 markings, 569934006 edges, 79669 markings/sec, 2195 secs
lola: 183300785 markings, 571228347 edges, 83399 markings/sec, 2200 secs
lola: 183713854 markings, 572511202 edges, 82614 markings/sec, 2205 secs
lola: 184127923 markings, 573810577 edges, 82814 markings/sec, 2210 secs
lola: 184550363 markings, 575113510 edges, 84488 markings/sec, 2215 secs
lola: 184972176 markings, 576409727 edges, 84363 markings/sec, 2220 secs
lola: 185390198 markings, 577687578 edges, 83604 markings/sec, 2225 secs
lola: 185786834 markings, 579005596 edges, 79327 markings/sec, 2230 secs
lola: 186207281 markings, 580312030 edges, 84089 markings/sec, 2235 secs
lola: 186620182 markings, 581628389 edges, 82580 markings/sec, 2240 secs
lola: 187031431 markings, 582923971 edges, 82250 markings/sec, 2245 secs
lola: 187451311 markings, 584187403 edges, 83976 markings/sec, 2250 secs
lola: 187864252 markings, 585495923 edges, 82588 markings/sec, 2255 secs
lola: 188276318 markings, 586797126 edges, 82413 markings/sec, 2260 secs
lola: 188684485 markings, 588089336 edges, 81633 markings/sec, 2265 secs
lola: 189098886 markings, 589376132 edges, 82880 markings/sec, 2270 secs
lola: 189494305 markings, 590562577 edges, 79084 markings/sec, 2275 secs
lola: 189884895 markings, 591764701 edges, 78118 markings/sec, 2280 secs
lola: 190280122 markings, 593001686 edges, 79045 markings/sec, 2285 secs
lola: 190651952 markings, 594168237 edges, 74366 markings/sec, 2290 secs
lola: 191024460 markings, 595320503 edges, 74502 markings/sec, 2295 secs
lola: 191375462 markings, 596437016 edges, 70200 markings/sec, 2300 secs
lola: 191768484 markings, 597661190 edges, 78604 markings/sec, 2305 secs
lola: 192138964 markings, 598898925 edges, 74096 markings/sec, 2310 secs
lola: 192523528 markings, 600109590 edges, 76913 markings/sec, 2315 secs
lola: 192889952 markings, 601256980 edges, 73285 markings/sec, 2320 secs
lola: 193250335 markings, 602406933 edges, 72077 markings/sec, 2325 secs
lola: 193608360 markings, 603558206 edges, 71605 markings/sec, 2330 secs
lola: 193965545 markings, 604699819 edges, 71437 markings/sec, 2335 secs
lola: 194320873 markings, 605835870 edges, 71066 markings/sec, 2340 secs
lola: 194723711 markings, 607053670 edges, 80568 markings/sec, 2345 secs
lola: 195105334 markings, 608289065 edges, 76325 markings/sec, 2350 secs
lola: 195462806 markings, 609426969 edges, 71494 markings/sec, 2355 secs
lola: 195813729 markings, 610610479 edges, 70185 markings/sec, 2360 secs
lola: 196210882 markings, 611790193 edges, 79431 markings/sec, 2365 secs
lola: 196566309 markings, 612913103 edges, 71085 markings/sec, 2370 secs
lola: 196904330 markings, 613979696 edges, 67604 markings/sec, 2375 secs
lola: 197292423 markings, 615099751 edges, 77619 markings/sec, 2380 secs
lola: 197618439 markings, 616215878 edges, 65203 markings/sec, 2385 secs
lola: 198007318 markings, 617433600 edges, 77776 markings/sec, 2390 secs
lola: 198377265 markings, 618582455 edges, 73989 markings/sec, 2395 secs
lola: 198739600 markings, 619722829 edges, 72467 markings/sec, 2400 secs
lola: 199138360 markings, 620970682 edges, 79752 markings/sec, 2405 secs
lola: 199551414 markings, 622267560 edges, 82611 markings/sec, 2410 secs
lola: 199965863 markings, 623570223 edges, 82890 markings/sec, 2415 secs
lola: 200391103 markings, 624878713 edges, 85048 markings/sec, 2420 secs
lola: 200787511 markings, 626187880 edges, 79282 markings/sec, 2425 secs
lola: 201163587 markings, 627520108 edges, 75215 markings/sec, 2430 secs
lola: 201522152 markings, 628881093 edges, 71713 markings/sec, 2435 secs
lola: 201940865 markings, 630176442 edges, 83743 markings/sec, 2440 secs
lola: 202355417 markings, 631473571 edges, 82910 markings/sec, 2445 secs
lola: 202747528 markings, 632791196 edges, 78422 markings/sec, 2450 secs
lola: 203178833 markings, 634078954 edges, 86261 markings/sec, 2455 secs
lola: 203592139 markings, 635408106 edges, 82661 markings/sec, 2460 secs
lola: 204021149 markings, 636702857 edges, 85802 markings/sec, 2465 secs
lola: 204435671 markings, 637999543 edges, 82904 markings/sec, 2470 secs
lola: 204848502 markings, 639318937 edges, 82566 markings/sec, 2475 secs
lola: 205267927 markings, 640617080 edges, 83885 markings/sec, 2480 secs
lola: 205654693 markings, 641963850 edges, 77353 markings/sec, 2485 secs
lola: 206087720 markings, 643257025 edges, 86605 markings/sec, 2490 secs
lola: 206508155 markings, 644562703 edges, 84087 markings/sec, 2495 secs
lola: 206922925 markings, 645855895 edges, 82954 markings/sec, 2500 secs
lola: 207339934 markings, 647145437 edges, 83402 markings/sec, 2505 secs
lola: 207731865 markings, 648472549 edges, 78386 markings/sec, 2510 secs
lola: 208142576 markings, 649794337 edges, 82142 markings/sec, 2515 secs
lola: 208566912 markings, 651091557 edges, 84867 markings/sec, 2520 secs
lola: 208982065 markings, 652392493 edges, 83031 markings/sec, 2525 secs
lola: 209409901 markings, 653644994 edges, 85567 markings/sec, 2530 secs
lola: 209783114 markings, 654939008 edges, 74643 markings/sec, 2535 secs
lola: 210174428 markings, 656192798 edges, 78263 markings/sec, 2540 secs
lola: 210557510 markings, 657388495 edges, 76616 markings/sec, 2545 secs
lola: 210941091 markings, 658502452 edges, 76716 markings/sec, 2550 secs
lola: 211308820 markings, 659663149 edges, 73546 markings/sec, 2555 secs
lola: 211690731 markings, 660767394 edges, 76382 markings/sec, 2560 secs
lola: 212043685 markings, 661904744 edges, 70591 markings/sec, 2565 secs
lola: 212411418 markings, 663196227 edges, 73547 markings/sec, 2570 secs
lola: 212843254 markings, 664465382 edges, 86367 markings/sec, 2575 secs
lola: 213263553 markings, 665753138 edges, 84060 markings/sec, 2580 secs
lola: 213675280 markings, 667039422 edges, 82345 markings/sec, 2585 secs
lola: 214100530 markings, 668275921 edges, 85050 markings/sec, 2590 secs
lola: 214473477 markings, 669596240 edges, 74589 markings/sec, 2595 secs
lola: 214884830 markings, 670900317 edges, 82271 markings/sec, 2600 secs
lola: 215299149 markings, 672191768 edges, 82864 markings/sec, 2605 secs
lola: 215733336 markings, 673450840 edges, 86837 markings/sec, 2610 secs
lola: 216109170 markings, 674630006 edges, 75167 markings/sec, 2615 secs
lola: 216482339 markings, 675715115 edges, 74634 markings/sec, 2620 secs
lola: 216814468 markings, 676870767 edges, 66426 markings/sec, 2625 secs
lola: 217165354 markings, 678018684 edges, 70177 markings/sec, 2630 secs
lola: 217517182 markings, 679219909 edges, 70366 markings/sec, 2635 secs
lola: 217900363 markings, 680344475 edges, 76636 markings/sec, 2640 secs
lola: 218284577 markings, 681454631 edges, 76843 markings/sec, 2645 secs
lola: 218661865 markings, 682575438 edges, 75458 markings/sec, 2650 secs
lola: 219018950 markings, 683696033 edges, 71417 markings/sec, 2655 secs
lola: 219391908 markings, 684784284 edges, 74592 markings/sec, 2660 secs
lola: 219749486 markings, 685900184 edges, 71516 markings/sec, 2665 secs
lola: 220137225 markings, 687120685 edges, 77548 markings/sec, 2670 secs
lola: 220510994 markings, 688294790 edges, 74754 markings/sec, 2675 secs
lola: 220869304 markings, 689444467 edges, 71662 markings/sec, 2680 secs
lola: 221233898 markings, 690606552 edges, 72919 markings/sec, 2685 secs
lola: 221588825 markings, 691739278 edges, 70985 markings/sec, 2690 secs
lola: 221913404 markings, 692909260 edges, 64916 markings/sec, 2695 secs
lola: 222253958 markings, 694074861 edges, 68111 markings/sec, 2700 secs
lola: 222518357 markings, 695329364 edges, 52880 markings/sec, 2705 secs
lola: 222804514 markings, 696566098 edges, 57231 markings/sec, 2710 secs
lola: 223172457 markings, 697710221 edges, 73589 markings/sec, 2715 secs
lola: 223526631 markings, 698869832 edges, 70835 markings/sec, 2720 secs
lola: 223888507 markings, 700024304 edges, 72375 markings/sec, 2725 secs
lola: 224254736 markings, 701180166 edges, 73246 markings/sec, 2730 secs
lola: 224610148 markings, 702341095 edges, 71082 markings/sec, 2735 secs
lola: 225005131 markings, 703541436 edges, 78997 markings/sec, 2740 secs
lola: 225414158 markings, 704835744 edges, 81805 markings/sec, 2745 secs
lola: 225821417 markings, 706147122 edges, 81452 markings/sec, 2750 secs
lola: 226248257 markings, 707408032 edges, 85368 markings/sec, 2755 secs
lola: 226605297 markings, 708770748 edges, 71408 markings/sec, 2760 secs
lola: 226994016 markings, 710110689 edges, 77744 markings/sec, 2765 secs
lola: 227425836 markings, 711418041 edges, 86364 markings/sec, 2770 secs
lola: 227842192 markings, 712721995 edges, 83271 markings/sec, 2775 secs
lola: 228250433 markings, 714070316 edges, 81648 markings/sec, 2780 secs
lola: 228681868 markings, 715378382 edges, 86287 markings/sec, 2785 secs
lola: 229095973 markings, 716682373 edges, 82821 markings/sec, 2790 secs
lola: 229517299 markings, 717974586 edges, 84265 markings/sec, 2795 secs
lola: 229887891 markings, 719335824 edges, 74118 markings/sec, 2800 secs
lola: 230328884 markings, 720628485 edges, 88199 markings/sec, 2805 secs
lola: 230754613 markings, 721931182 edges, 85146 markings/sec, 2810 secs
lola: 231165813 markings, 723224635 edges, 82240 markings/sec, 2815 secs
lola: 231576701 markings, 724521828 edges, 82178 markings/sec, 2820 secs
lola: 231967903 markings, 725864417 edges, 78240 markings/sec, 2825 secs
lola: 232390663 markings, 727168355 edges, 84552 markings/sec, 2830 secs
lola: 232791606 markings, 728516566 edges, 80189 markings/sec, 2835 secs
lola: time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 unknown 1 1 1 1 1 1

preliminary result: 1 1 unknown 1 1 1 1 1 1 unknown 1 1 1 1 1 1
lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 unknown 1 1 1 1 1 1
lola: memory consumption: 18940 KB
lola: time consumption: 3570 seconds

BK_STOP 1527037146244

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/Parking-PT-432.tgz
mv Parking-PT-432 execution
cd execution
pwd
ls -lh

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