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.r159-csrt-155286430900317.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 lola
Input is SimpleLoadBal-PT-15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r159-csrt-155286430900317
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 4.4K Feb 12 18:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 12 18:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Feb 9 02:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 9 02:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 106 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 344 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 3.0K Feb 5 01:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 5 01:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 4 20:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 4 20:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 1 20:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 1 20:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 1.2M 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 SimpleLoadBal-PT-15-UpperBounds-00
FORMULA_NAME SimpleLoadBal-PT-15-UpperBounds-01
FORMULA_NAME SimpleLoadBal-PT-15-UpperBounds-02
FORMULA_NAME SimpleLoadBal-PT-15-UpperBounds-03
FORMULA_NAME SimpleLoadBal-PT-15-UpperBounds-04
FORMULA_NAME SimpleLoadBal-PT-15-UpperBounds-05
FORMULA_NAME SimpleLoadBal-PT-15-UpperBounds-06
FORMULA_NAME SimpleLoadBal-PT-15-UpperBounds-07
FORMULA_NAME SimpleLoadBal-PT-15-UpperBounds-08
FORMULA_NAME SimpleLoadBal-PT-15-UpperBounds-09
FORMULA_NAME SimpleLoadBal-PT-15-UpperBounds-10
FORMULA_NAME SimpleLoadBal-PT-15-UpperBounds-11
FORMULA_NAME SimpleLoadBal-PT-15-UpperBounds-12
FORMULA_NAME SimpleLoadBal-PT-15-UpperBounds-13
FORMULA_NAME SimpleLoadBal-PT-15-UpperBounds-14
FORMULA_NAME SimpleLoadBal-PT-15-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552947888331

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ SimpleLoadBal-PT-15 @ 3570 seconds

FORMULA SimpleLoadBal-PT-15-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-15-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-15-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-15-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-15-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-15-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-15-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-15-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-15-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-15-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-15-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-15-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-15-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-15-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SimpleLoadBal-PT-15-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ SimpleLoadBal-PT-15
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 1429/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 4768
lola: finding significant places
lola: 149 places, 1280 transitions, 110 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: MAX(P-lb_load_2_9) : MAX(P-lb_load_2_6) : MAX(P-lb_routing_1_8) : MAX(P-server_request_2_1) : MAX(P-lb_routing_1_9) : MAX(P-client_request_11) : MAX(P-client_ack_4) : MAX(P-lb_routing_1_5) : MAX(P-lb_routing_1_12) : MAX(P-server_request_3_2) : MAX(P-server_request_13_2) : MAX(P-client_idle_10) : MAX(P-server_processed_1) : MAX(P-client_idle_13) : MAX(P-server_request_4_1) : MAX(P-server_request_9_1)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_load_2_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-lb_load_2_9)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 58620 markings, 70572 edges, 11724 markings/sec, 0 secs
lola: 122488 markings, 148943 edges, 12774 markings/sec, 5 secs
lola: 186046 markings, 227655 edges, 12712 markings/sec, 10 secs
lola: 248907 markings, 305208 edges, 12572 markings/sec, 15 secs
lola: 310449 markings, 380710 edges, 12308 markings/sec, 20 secs
lola: 371920 markings, 455333 edges, 12294 markings/sec, 25 secs
lola: 435508 markings, 532546 edges, 12718 markings/sec, 30 secs
lola: 498931 markings, 610355 edges, 12685 markings/sec, 35 secs
lola: 562663 markings, 689014 edges, 12746 markings/sec, 40 secs
lola: 626559 markings, 767593 edges, 12779 markings/sec, 45 secs
lola: 690369 markings, 847204 edges, 12762 markings/sec, 50 secs
lola: 753530 markings, 925633 edges, 12632 markings/sec, 55 secs
lola: 817017 markings, 1004551 edges, 12697 markings/sec, 60 secs
lola: 880255 markings, 1082860 edges, 12648 markings/sec, 65 secs
lola: 942456 markings, 1159886 edges, 12440 markings/sec, 70 secs
lola: 1005245 markings, 1236234 edges, 12558 markings/sec, 75 secs
lola: 1069567 markings, 1314522 edges, 12864 markings/sec, 80 secs
lola: 1131395 markings, 1391154 edges, 12366 markings/sec, 85 secs
lola: 1192884 markings, 1467210 edges, 12298 markings/sec, 90 secs
lola: 1253788 markings, 1542967 edges, 12181 markings/sec, 95 secs
lola: 1314834 markings, 1618793 edges, 12209 markings/sec, 100 secs
lola: 1375864 markings, 1696318 edges, 12206 markings/sec, 105 secs
lola: 1437136 markings, 1774451 edges, 12254 markings/sec, 110 secs
lola: 1498044 markings, 1852481 edges, 12182 markings/sec, 115 secs
lola: 1558816 markings, 1930962 edges, 12154 markings/sec, 120 secs
lola: 1618457 markings, 2011087 edges, 11928 markings/sec, 125 secs
lola: 1677034 markings, 2090833 edges, 11715 markings/sec, 130 secs
lola: 1735085 markings, 2173323 edges, 11610 markings/sec, 135 secs
lola: 1793771 markings, 2256872 edges, 11737 markings/sec, 140 secs
lola: 1852205 markings, 2343937 edges, 11687 markings/sec, 145 secs
lola: 1909883 markings, 2430045 edges, 11536 markings/sec, 150 secs
lola: 1967288 markings, 2513378 edges, 11481 markings/sec, 155 secs
lola: 2024982 markings, 2608873 edges, 11539 markings/sec, 160 secs
lola: 2082859 markings, 2700964 edges, 11575 markings/sec, 165 secs
lola: 2140486 markings, 2798596 edges, 11525 markings/sec, 170 secs
lola: 2197435 markings, 2896643 edges, 11390 markings/sec, 175 secs
lola: 2253867 markings, 2990729 edges, 11286 markings/sec, 180 secs
lola: 2309895 markings, 3088692 edges, 11206 markings/sec, 185 secs
lola: 2366703 markings, 3188982 edges, 11362 markings/sec, 190 secs
lola: 2423380 markings, 3293501 edges, 11335 markings/sec, 195 secs
lola: 2480540 markings, 3399583 edges, 11432 markings/sec, 200 secs
lola: 2537284 markings, 3507859 edges, 11349 markings/sec, 205 secs
lola: 2593736 markings, 3611947 edges, 11290 markings/sec, 210 secs
lola: 2649940 markings, 3720751 edges, 11241 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 261128 KB
lola: time consumption: 227 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_load_2_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-lb_load_2_6)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 41 markings, 40 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_routing_1_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-lb_routing_1_8)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_request_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-server_request_2_1)
lola: processed formula length: 25
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_routing_1_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-lb_routing_1_9)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: ========================================
lola: subprocess 5 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_request_11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_request_11)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: ========================================
lola: subprocess 6 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_ack_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_ack_4)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 5 markings, 4 edges
lola: ========================================
lola: subprocess 7 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_routing_1_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-lb_routing_1_5)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: ========================================
lola: subprocess 8 will run for 417 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_routing_1_12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-lb_routing_1_12)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: subprocess 9 will run for 477 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_request_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-server_request_3_2)
lola: processed formula length: 25
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: ========================================
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: 7 markings, 6 edges
lola: ========================================
lola: subprocess 10 will run for 557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_request_13_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-server_request_13_2)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 7 markings, 6 edges
lola: ========================================
lola: subprocess 11 will run for 668 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_idle_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_idle_10)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: ========================================
lola: subprocess 12 will run for 835 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_processed_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-server_processed_1)
lola: processed formula length: 25
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 5 markings, 4 edges
lola: ========================================
lola: subprocess 13 will run for 1114 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_idle_13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_idle_13)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: ========================================
lola: subprocess 14 will run for 1671 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_request_4_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-server_request_4_1)
lola: processed formula length: 25
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 15 will run for 3342 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_request_9_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-server_request_9_1)
lola: processed formula length: 25
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_load_2_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-lb_load_2_9)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 60688 markings, 73038 edges, 12138 markings/sec, 0 secs
lola: 126491 markings, 153889 edges, 13161 markings/sec, 5 secs
lola: 193031 markings, 236085 edges, 13308 markings/sec, 10 secs
lola: 257980 markings, 316121 edges, 12990 markings/sec, 15 secs
lola: 322029 markings, 394869 edges, 12810 markings/sec, 20 secs
lola: 385905 markings, 471923 edges, 12775 markings/sec, 25 secs
lola: 451034 markings, 551382 edges, 13026 markings/sec, 30 secs
lola: 515478 markings, 631123 edges, 12889 markings/sec, 35 secs
lola: 581425 markings, 711527 edges, 13189 markings/sec, 40 secs
lola: 644749 markings, 790156 edges, 12665 markings/sec, 45 secs
lola: 708558 markings, 869687 edges, 12762 markings/sec, 50 secs
lola: 772783 markings, 949723 edges, 12845 markings/sec, 55 secs
lola: 836473 markings, 1028477 edges, 12738 markings/sec, 60 secs
lola: 899601 markings, 1107077 edges, 12626 markings/sec, 65 secs
lola: 962508 markings, 1184635 edges, 12581 markings/sec, 70 secs
lola: 1026124 markings, 1261825 edges, 12723 markings/sec, 75 secs
lola: 1088983 markings, 1338152 edges, 12572 markings/sec, 80 secs
lola: 1152707 markings, 1417657 edges, 12745 markings/sec, 85 secs
lola: 1214532 markings, 1494236 edges, 12365 markings/sec, 90 secs
lola: 1275787 markings, 1570368 edges, 12251 markings/sec, 95 secs
lola: 1338276 markings, 1648611 edges, 12498 markings/sec, 100 secs
lola: 1399699 markings, 1726833 edges, 12285 markings/sec, 105 secs
lola: 1462113 markings, 1806204 edges, 12483 markings/sec, 110 secs
lola: 1522764 markings, 1884374 edges, 12130 markings/sec, 115 secs
lola: 1584148 markings, 1964886 edges, 12277 markings/sec, 120 secs
lola: 1643764 markings, 2045143 edges, 11923 markings/sec, 125 secs
lola: 1703032 markings, 2128148 edges, 11854 markings/sec, 130 secs
lola: 1761374 markings, 2212380 edges, 11668 markings/sec, 135 secs
lola: 1821563 markings, 2298582 edges, 12038 markings/sec, 140 secs
lola: 1880891 markings, 2388078 edges, 11866 markings/sec, 145 secs
lola: 1940870 markings, 2474755 edges, 11996 markings/sec, 150 secs
lola: 1999458 markings, 2564983 edges, 11718 markings/sec, 155 secs
lola: 2058752 markings, 2661695 edges, 11859 markings/sec, 160 secs
lola: 2117765 markings, 2760420 edges, 11803 markings/sec, 165 secs
lola: 2174621 markings, 2858327 edges, 11371 markings/sec, 170 secs
lola: 2233562 markings, 2955354 edges, 11788 markings/sec, 175 secs
lola: 2290388 markings, 3054508 edges, 11365 markings/sec, 180 secs
lola: 2347311 markings, 3155917 edges, 11385 markings/sec, 185 secs
lola: 2404307 markings, 3259583 edges, 11399 markings/sec, 190 secs
lola: 2464167 markings, 3368225 edges, 11972 markings/sec, 195 secs
lola: 2522718 markings, 3481159 edges, 11710 markings/sec, 200 secs
lola: 2580982 markings, 3588325 edges, 11653 markings/sec, 205 secs
lola: 2636189 markings, 3692484 edges, 11041 markings/sec, 210 secs
lola: 2690588 markings, 3799612 edges, 10880 markings/sec, 215 secs
lola: 2746094 markings, 3906518 edges, 11101 markings/sec, 220 secs
lola: 2803824 markings, 4020148 edges, 11546 markings/sec, 225 secs
lola: 2861094 markings, 4130279 edges, 11454 markings/sec, 230 secs
lola: 2916966 markings, 4241374 edges, 11174 markings/sec, 235 secs
lola: 2972621 markings, 4348939 edges, 11131 markings/sec, 240 secs
lola: 3026751 markings, 4456300 edges, 10826 markings/sec, 245 secs
lola: 3081846 markings, 4569508 edges, 11019 markings/sec, 250 secs
lola: 3137083 markings, 4684478 edges, 11047 markings/sec, 255 secs
lola: 3192604 markings, 4801217 edges, 11104 markings/sec, 260 secs
lola: 3248393 markings, 4915525 edges, 11158 markings/sec, 265 secs
lola: 3303165 markings, 5034093 edges, 10954 markings/sec, 270 secs
lola: 3357644 markings, 5148454 edges, 10896 markings/sec, 275 secs
lola: 3413404 markings, 5264745 edges, 11152 markings/sec, 280 secs
lola: 3468954 markings, 5384102 edges, 11110 markings/sec, 285 secs
lola: 3523497 markings, 5499661 edges, 10909 markings/sec, 290 secs
lola: 3579478 markings, 5618205 edges, 11196 markings/sec, 295 secs
lola: 3633350 markings, 5735992 edges, 10774 markings/sec, 300 secs
lola: 3686586 markings, 5851523 edges, 10647 markings/sec, 305 secs
lola: 3740148 markings, 5969453 edges, 10712 markings/sec, 310 secs
lola: 3794445 markings, 6082150 edges, 10859 markings/sec, 315 secs
lola: 3848811 markings, 6199200 edges, 10873 markings/sec, 320 secs
lola: 3904237 markings, 6315313 edges, 11085 markings/sec, 325 secs
lola: 3961420 markings, 6437867 edges, 11437 markings/sec, 330 secs
lola: 4018673 markings, 6563484 edges, 11451 markings/sec, 335 secs
lola: 4073408 markings, 6686002 edges, 10947 markings/sec, 340 secs
lola: 4129145 markings, 6806615 edges, 11147 markings/sec, 345 secs
lola: 4184904 markings, 6932541 edges, 11152 markings/sec, 350 secs
lola: 4240497 markings, 7055313 edges, 11119 markings/sec, 355 secs
lola: 4295204 markings, 7178006 edges, 10941 markings/sec, 360 secs
lola: 4349727 markings, 7299360 edges, 10905 markings/sec, 365 secs
lola: 4404702 markings, 7417377 edges, 10995 markings/sec, 370 secs
lola: 4458424 markings, 7538936 edges, 10744 markings/sec, 375 secs
lola: 4514299 markings, 7663681 edges, 11175 markings/sec, 380 secs
lola: 4569699 markings, 7791237 edges, 11080 markings/sec, 385 secs
lola: 4625294 markings, 7916390 edges, 11119 markings/sec, 390 secs
lola: 4680949 markings, 8043879 edges, 11131 markings/sec, 395 secs
lola: 4737915 markings, 8170434 edges, 11393 markings/sec, 400 secs
lola: 4794513 markings, 8298163 edges, 11320 markings/sec, 405 secs
lola: 4850748 markings, 8426939 edges, 11247 markings/sec, 410 secs
lola: 4906069 markings, 8550768 edges, 11064 markings/sec, 415 secs
lola: 4960570 markings, 8682130 edges, 10900 markings/sec, 420 secs
lola: 5015422 markings, 8812203 edges, 10970 markings/sec, 425 secs
lola: 5071531 markings, 8939024 edges, 11222 markings/sec, 430 secs
lola: 5126890 markings, 9069835 edges, 11072 markings/sec, 435 secs
lola: 5181184 markings, 9197649 edges, 10859 markings/sec, 440 secs
lola: 5237375 markings, 9329052 edges, 11238 markings/sec, 445 secs
lola: 5294442 markings, 9461874 edges, 11413 markings/sec, 450 secs
lola: 5353059 markings, 9595695 edges, 11723 markings/sec, 455 secs
lola: 5410700 markings, 9729207 edges, 11528 markings/sec, 460 secs
lola: 5467065 markings, 9862861 edges, 11273 markings/sec, 465 secs
lola: 5522878 markings, 9996795 edges, 11163 markings/sec, 470 secs
lola: 5579676 markings, 10129048 edges, 11360 markings/sec, 475 secs
lola: 5636093 markings, 10258989 edges, 11283 markings/sec, 480 secs
lola: 5693107 markings, 10389269 edges, 11403 markings/sec, 485 secs
lola: 5750236 markings, 10521932 edges, 11426 markings/sec, 490 secs
lola: 5806203 markings, 10655356 edges, 11193 markings/sec, 495 secs
lola: 5861970 markings, 10792795 edges, 11153 markings/sec, 500 secs
lola: 5918699 markings, 10921920 edges, 11346 markings/sec, 505 secs
lola: 5973812 markings, 11052709 edges, 11023 markings/sec, 510 secs
lola: 6030961 markings, 11184789 edges, 11430 markings/sec, 515 secs
lola: 6086443 markings, 11317367 edges, 11096 markings/sec, 520 secs
lola: 6142454 markings, 11451373 edges, 11202 markings/sec, 525 secs
lola: 6199067 markings, 11583701 edges, 11323 markings/sec, 530 secs
lola: 6255004 markings, 11718618 edges, 11187 markings/sec, 535 secs
lola: 6310951 markings, 11855008 edges, 11189 markings/sec, 540 secs
lola: 6367737 markings, 11990578 edges, 11357 markings/sec, 545 secs
lola: 6425288 markings, 12125928 edges, 11510 markings/sec, 550 secs
lola: 6479201 markings, 12255747 edges, 10783 markings/sec, 555 secs
lola: 6533826 markings, 12387291 edges, 10925 markings/sec, 560 secs
lola: 6587525 markings, 12517574 edges, 10740 markings/sec, 565 secs
lola: 6641365 markings, 12650926 edges, 10768 markings/sec, 570 secs
lola: 6694914 markings, 12782887 edges, 10710 markings/sec, 575 secs
lola: 6749273 markings, 12913916 edges, 10872 markings/sec, 580 secs
lola: 6803724 markings, 13044012 edges, 10890 markings/sec, 585 secs
lola: 6856622 markings, 13170387 edges, 10580 markings/sec, 590 secs
lola: 6909341 markings, 13300741 edges, 10544 markings/sec, 595 secs
lola: 6962668 markings, 13430371 edges, 10665 markings/sec, 600 secs
lola: 7016741 markings, 13563564 edges, 10815 markings/sec, 605 secs
lola: 7070675 markings, 13696976 edges, 10787 markings/sec, 610 secs
lola: 7124700 markings, 13828572 edges, 10805 markings/sec, 615 secs
lola: 7179178 markings, 13955970 edges, 10896 markings/sec, 620 secs
lola: 7233487 markings, 14086293 edges, 10862 markings/sec, 625 secs
lola: 7287380 markings, 14212601 edges, 10779 markings/sec, 630 secs
lola: 7341023 markings, 14343929 edges, 10729 markings/sec, 635 secs
lola: 7393762 markings, 14474072 edges, 10548 markings/sec, 640 secs
lola: 7447695 markings, 14603986 edges, 10787 markings/sec, 645 secs
lola: 7501243 markings, 14735306 edges, 10710 markings/sec, 650 secs
lola: 7555606 markings, 14867774 edges, 10873 markings/sec, 655 secs
lola: 7610346 markings, 14996540 edges, 10948 markings/sec, 660 secs
lola: 7664631 markings, 15127609 edges, 10857 markings/sec, 665 secs
lola: 7718189 markings, 15260188 edges, 10712 markings/sec, 670 secs
lola: 7771571 markings, 15390559 edges, 10676 markings/sec, 675 secs
lola: 7827259 markings, 15526783 edges, 11138 markings/sec, 680 secs
lola: 7882287 markings, 15660107 edges, 11006 markings/sec, 685 secs
lola: 7936619 markings, 15794208 edges, 10866 markings/sec, 690 secs
lola: 7990194 markings, 15925159 edges, 10715 markings/sec, 695 secs
lola: 8045047 markings, 16054485 edges, 10971 markings/sec, 700 secs
lola: 8099469 markings, 16187516 edges, 10884 markings/sec, 705 secs
lola: 8152968 markings, 16318150 edges, 10700 markings/sec, 710 secs
lola: 8205150 markings, 16447353 edges, 10436 markings/sec, 715 secs
lola: 8258698 markings, 16574841 edges, 10710 markings/sec, 720 secs
lola: 8312088 markings, 16706860 edges, 10678 markings/sec, 725 secs
lola: 8366046 markings, 16835552 edges, 10792 markings/sec, 730 secs
lola: 8419016 markings, 16964473 edges, 10594 markings/sec, 735 secs
lola: 8472021 markings, 17094270 edges, 10601 markings/sec, 740 secs
lola: 8526181 markings, 17227636 edges, 10832 markings/sec, 745 secs
lola: 8579628 markings, 17359021 edges, 10689 markings/sec, 750 secs
lola: 8632157 markings, 17491934 edges, 10506 markings/sec, 755 secs
lola: 8687108 markings, 17629574 edges, 10990 markings/sec, 760 secs
lola: 8742091 markings, 17765430 edges, 10997 markings/sec, 765 secs
lola: 8797740 markings, 17904826 edges, 11130 markings/sec, 770 secs
lola: 8850361 markings, 18034411 edges, 10524 markings/sec, 775 secs
lola: 8903674 markings, 18162688 edges, 10663 markings/sec, 780 secs
lola: 8956534 markings, 18291550 edges, 10572 markings/sec, 785 secs
lola: 9009725 markings, 18425147 edges, 10638 markings/sec, 790 secs
lola: 9063503 markings, 18561855 edges, 10756 markings/sec, 795 secs
lola: 9117748 markings, 18693365 edges, 10849 markings/sec, 800 secs
lola: 9171565 markings, 18827116 edges, 10763 markings/sec, 805 secs
lola: 9224827 markings, 18962197 edges, 10652 markings/sec, 810 secs
lola: 9278492 markings, 19095107 edges, 10733 markings/sec, 815 secs
lola: 9332542 markings, 19231239 edges, 10810 markings/sec, 820 secs
lola: 9385778 markings, 19362479 edges, 10647 markings/sec, 825 secs
lola: 9439285 markings, 19491707 edges, 10701 markings/sec, 830 secs
lola: 9492601 markings, 19621429 edges, 10663 markings/sec, 835 secs
lola: 9545948 markings, 19754744 edges, 10669 markings/sec, 840 secs
lola: 9598711 markings, 19889309 edges, 10553 markings/sec, 845 secs
lola: 9651982 markings, 20018578 edges, 10654 markings/sec, 850 secs
lola: 9705585 markings, 20145518 edges, 10721 markings/sec, 855 secs
lola: 9759337 markings, 20274929 edges, 10750 markings/sec, 860 secs
lola: 9813178 markings, 20409645 edges, 10768 markings/sec, 865 secs
lola: 9865535 markings, 20540452 edges, 10471 markings/sec, 870 secs
lola: 9919543 markings, 20672363 edges, 10802 markings/sec, 875 secs
lola: 9973335 markings, 20808624 edges, 10758 markings/sec, 880 secs
lola: 10027278 markings, 20944842 edges, 10789 markings/sec, 885 secs
lola: 10080920 markings, 21082859 edges, 10728 markings/sec, 890 secs
lola: 10134608 markings, 21218094 edges, 10738 markings/sec, 895 secs
lola: 10187468 markings, 21349122 edges, 10572 markings/sec, 900 secs
lola: 10240568 markings, 21477644 edges, 10620 markings/sec, 905 secs
lola: 10292760 markings, 21609055 edges, 10438 markings/sec, 910 secs
lola: 10345019 markings, 21741708 edges, 10452 markings/sec, 915 secs
lola: 10398300 markings, 21872988 edges, 10656 markings/sec, 920 secs
lola: 10452606 markings, 22007490 edges, 10861 markings/sec, 925 secs
lola: 10506573 markings, 22142028 edges, 10793 markings/sec, 930 secs
lola: 10560487 markings, 22278154 edges, 10783 markings/sec, 935 secs
lola: 10615037 markings, 22412953 edges, 10910 markings/sec, 940 secs
lola: 10669004 markings, 22543483 edges, 10793 markings/sec, 945 secs
lola: 10723298 markings, 22680556 edges, 10859 markings/sec, 950 secs
lola: 10776982 markings, 22816936 edges, 10737 markings/sec, 955 secs
lola: 10830899 markings, 22948180 edges, 10783 markings/sec, 960 secs
lola: 10885341 markings, 23081266 edges, 10888 markings/sec, 965 secs
lola: 10939748 markings, 23218257 edges, 10881 markings/sec, 970 secs
lola: 10993973 markings, 23354408 edges, 10845 markings/sec, 975 secs
lola: 11048166 markings, 23493346 edges, 10839 markings/sec, 980 secs
lola: 11101681 markings, 23628636 edges, 10703 markings/sec, 985 secs
lola: 11155678 markings, 23767832 edges, 10799 markings/sec, 990 secs
lola: 11209288 markings, 23901899 edges, 10722 markings/sec, 995 secs
lola: 11263260 markings, 24035742 edges, 10794 markings/sec, 1000 secs
lola: 11316789 markings, 24168385 edges, 10706 markings/sec, 1005 secs
lola: 11369619 markings, 24301844 edges, 10566 markings/sec, 1010 secs
lola: 11422196 markings, 24437147 edges, 10515 markings/sec, 1015 secs
lola: 11474329 markings, 24570158 edges, 10427 markings/sec, 1020 secs
lola: 11526716 markings, 24702627 edges, 10477 markings/sec, 1025 secs
lola: 11579167 markings, 24834323 edges, 10490 markings/sec, 1030 secs
lola: 11632090 markings, 24967673 edges, 10585 markings/sec, 1035 secs
lola: 11685157 markings, 25098892 edges, 10613 markings/sec, 1040 secs
lola: 11737641 markings, 25230895 edges, 10497 markings/sec, 1045 secs
lola: 11790671 markings, 25367348 edges, 10606 markings/sec, 1050 secs
lola: 11845559 markings, 25504000 edges, 10978 markings/sec, 1055 secs
lola: 11899264 markings, 25637233 edges, 10741 markings/sec, 1060 secs
lola: 11952441 markings, 25772312 edges, 10635 markings/sec, 1065 secs
lola: 12006280 markings, 25905121 edges, 10768 markings/sec, 1070 secs
lola: 12059947 markings, 26041794 edges, 10733 markings/sec, 1075 secs
lola: 12113469 markings, 26178749 edges, 10704 markings/sec, 1080 secs
lola: 12166901 markings, 26313101 edges, 10686 markings/sec, 1085 secs
lola: 12219978 markings, 26450438 edges, 10615 markings/sec, 1090 secs
lola: 12273480 markings, 26584544 edges, 10700 markings/sec, 1095 secs
lola: 12325646 markings, 26720646 edges, 10433 markings/sec, 1100 secs
lola: 12378713 markings, 26850570 edges, 10613 markings/sec, 1105 secs
lola: 12431237 markings, 26982909 edges, 10505 markings/sec, 1110 secs
lola: 12483771 markings, 27116403 edges, 10507 markings/sec, 1115 secs
lola: 12537546 markings, 27252342 edges, 10755 markings/sec, 1120 secs
lola: 12590336 markings, 27386192 edges, 10558 markings/sec, 1125 secs
lola: 12644266 markings, 27523846 edges, 10786 markings/sec, 1130 secs
lola: 12697787 markings, 27662241 edges, 10704 markings/sec, 1135 secs
lola: 12751922 markings, 27799570 edges, 10827 markings/sec, 1140 secs
lola: 12804502 markings, 27935477 edges, 10516 markings/sec, 1145 secs
lola: 12858949 markings, 28068503 edges, 10889 markings/sec, 1150 secs
lola: 12913162 markings, 28203667 edges, 10843 markings/sec, 1155 secs
lola: 12966824 markings, 28342089 edges, 10732 markings/sec, 1160 secs
lola: 13020747 markings, 28477209 edges, 10785 markings/sec, 1165 secs
lola: 13074498 markings, 28614140 edges, 10750 markings/sec, 1170 secs
lola: 13128598 markings, 28746879 edges, 10820 markings/sec, 1175 secs
lola: 13182069 markings, 28879692 edges, 10694 markings/sec, 1180 secs
lola: 13234992 markings, 29008693 edges, 10585 markings/sec, 1185 secs
lola: 13287355 markings, 29144024 edges, 10473 markings/sec, 1190 secs
lola: 13340760 markings, 29280242 edges, 10681 markings/sec, 1195 secs
lola: 13394391 markings, 29417730 edges, 10726 markings/sec, 1200 secs
lola: 13448543 markings, 29549398 edges, 10830 markings/sec, 1205 secs
lola: 13502196 markings, 29684559 edges, 10731 markings/sec, 1210 secs
lola: 13555457 markings, 29821770 edges, 10652 markings/sec, 1215 secs
lola: 13608548 markings, 29957297 edges, 10618 markings/sec, 1220 secs
lola: 13662074 markings, 30093912 edges, 10705 markings/sec, 1225 secs
lola: 13715690 markings, 30232737 edges, 10723 markings/sec, 1230 secs
lola: 13769325 markings, 30372696 edges, 10727 markings/sec, 1235 secs
lola: 13823320 markings, 30512534 edges, 10799 markings/sec, 1240 secs
lola: 13877481 markings, 30651689 edges, 10832 markings/sec, 1245 secs
lola: 13931129 markings, 30790955 edges, 10730 markings/sec, 1250 secs
lola: 13984849 markings, 30927738 edges, 10744 markings/sec, 1255 secs
lola: 14038992 markings, 31065114 edges, 10829 markings/sec, 1260 secs
lola: 14092452 markings, 31201368 edges, 10692 markings/sec, 1265 secs
lola: 14146202 markings, 31339950 edges, 10750 markings/sec, 1270 secs
lola: 14199656 markings, 31478762 edges, 10691 markings/sec, 1275 secs
lola: 14253924 markings, 31616681 edges, 10854 markings/sec, 1280 secs
lola: 14307933 markings, 31753322 edges, 10802 markings/sec, 1285 secs
lola: 14362221 markings, 31889774 edges, 10858 markings/sec, 1290 secs
lola: 14416595 markings, 32029211 edges, 10875 markings/sec, 1295 secs
lola: 14469672 markings, 32165718 edges, 10615 markings/sec, 1300 secs
lola: 14523748 markings, 32304020 edges, 10815 markings/sec, 1305 secs
lola: 14578267 markings, 32441283 edges, 10904 markings/sec, 1310 secs
lola: 14631274 markings, 32578711 edges, 10601 markings/sec, 1315 secs
lola: 14685405 markings, 32718796 edges, 10826 markings/sec, 1320 secs
lola: 14738711 markings, 32853758 edges, 10661 markings/sec, 1325 secs
lola: 14790910 markings, 32983639 edges, 10440 markings/sec, 1330 secs
lola: 14843105 markings, 33118247 edges, 10439 markings/sec, 1335 secs
lola: 14895274 markings, 33250979 edges, 10434 markings/sec, 1340 secs
lola: 14948125 markings, 33388438 edges, 10570 markings/sec, 1345 secs
lola: 15002049 markings, 33526825 edges, 10785 markings/sec, 1350 secs
lola: 15053899 markings, 33664084 edges, 10370 markings/sec, 1355 secs
lola: 15105927 markings, 33796416 edges, 10406 markings/sec, 1360 secs
lola: 15157929 markings, 33928225 edges, 10400 markings/sec, 1365 secs
lola: 15210133 markings, 34064976 edges, 10441 markings/sec, 1370 secs
lola: 15262223 markings, 34199301 edges, 10418 markings/sec, 1375 secs
lola: 15314455 markings, 34332357 edges, 10446 markings/sec, 1380 secs
lola: 15367080 markings, 34466554 edges, 10525 markings/sec, 1385 secs
lola: 15418084 markings, 34599933 edges, 10201 markings/sec, 1390 secs
lola: 15472910 markings, 34738140 edges, 10965 markings/sec, 1395 secs
lola: 15526657 markings, 34879900 edges, 10749 markings/sec, 1400 secs
lola: 15580847 markings, 35017376 edges, 10838 markings/sec, 1405 secs
lola: 15633617 markings, 35155305 edges, 10554 markings/sec, 1410 secs
lola: 15686311 markings, 35291529 edges, 10539 markings/sec, 1415 secs
lola: 15740917 markings, 35431438 edges, 10921 markings/sec, 1420 secs
lola: 15795672 markings, 35572816 edges, 10951 markings/sec, 1425 secs
lola: 15850768 markings, 35714617 edges, 11019 markings/sec, 1430 secs
lola: 15905248 markings, 35852259 edges, 10896 markings/sec, 1435 secs
lola: 15958770 markings, 35993830 edges, 10704 markings/sec, 1440 secs
lola: 16012848 markings, 36129234 edges, 10816 markings/sec, 1445 secs
lola: 16066883 markings, 36269327 edges, 10807 markings/sec, 1450 secs
lola: 16121013 markings, 36403678 edges, 10826 markings/sec, 1455 secs
lola: 16173720 markings, 36540436 edges, 10541 markings/sec, 1460 secs
lola: 16226638 markings, 36679163 edges, 10584 markings/sec, 1465 secs
lola: 16279091 markings, 36815553 edges, 10491 markings/sec, 1470 secs
lola: 16333368 markings, 36959278 edges, 10855 markings/sec, 1475 secs
lola: 16387964 markings, 37095681 edges, 10919 markings/sec, 1480 secs
lola: 16439793 markings, 37233583 edges, 10366 markings/sec, 1485 secs
lola: 16491673 markings, 37366927 edges, 10376 markings/sec, 1490 secs
lola: 16543832 markings, 37499203 edges, 10432 markings/sec, 1495 secs
lola: 16597367 markings, 37633906 edges, 10707 markings/sec, 1500 secs
lola: 16649440 markings, 37769159 edges, 10415 markings/sec, 1505 secs
lola: 16701024 markings, 37904570 edges, 10317 markings/sec, 1510 secs
lola: 16752823 markings, 38037706 edges, 10360 markings/sec, 1515 secs
lola: 16804955 markings, 38170151 edges, 10426 markings/sec, 1520 secs
lola: 16857010 markings, 38307845 edges, 10411 markings/sec, 1525 secs
lola: 16908969 markings, 38443879 edges, 10392 markings/sec, 1530 secs
lola: 16962003 markings, 38580605 edges, 10607 markings/sec, 1535 secs
lola: 17015530 markings, 38718095 edges, 10705 markings/sec, 1540 secs
lola: 17068738 markings, 38857605 edges, 10642 markings/sec, 1545 secs
lola: 17122329 markings, 38999202 edges, 10718 markings/sec, 1550 secs
lola: 17175626 markings, 39141605 edges, 10659 markings/sec, 1555 secs
lola: 17228130 markings, 39276607 edges, 10501 markings/sec, 1560 secs
lola: 17280797 markings, 39412522 edges, 10533 markings/sec, 1565 secs
lola: 17333443 markings, 39549996 edges, 10529 markings/sec, 1570 secs
lola: 17386057 markings, 39687680 edges, 10523 markings/sec, 1575 secs
lola: 17438933 markings, 39822232 edges, 10575 markings/sec, 1580 secs
lola: 17493164 markings, 39958294 edges, 10846 markings/sec, 1585 secs
lola: 17545883 markings, 40098926 edges, 10544 markings/sec, 1590 secs
lola: 17599156 markings, 40238793 edges, 10655 markings/sec, 1595 secs
lola: 17651369 markings, 40375383 edges, 10443 markings/sec, 1600 secs
lola: 17704327 markings, 40512890 edges, 10592 markings/sec, 1605 secs
lola: 17757168 markings, 40647995 edges, 10568 markings/sec, 1610 secs
lola: 17810799 markings, 40786342 edges, 10726 markings/sec, 1615 secs
lola: 17864089 markings, 40926366 edges, 10658 markings/sec, 1620 secs
lola: 17917034 markings, 41064012 edges, 10589 markings/sec, 1625 secs
lola: 17969112 markings, 41201258 edges, 10416 markings/sec, 1630 secs
lola: 18021200 markings, 41330638 edges, 10418 markings/sec, 1635 secs
lola: 18072960 markings, 41464969 edges, 10352 markings/sec, 1640 secs
lola: 18124553 markings, 41602470 edges, 10319 markings/sec, 1645 secs
lola: 18176367 markings, 41735380 edges, 10363 markings/sec, 1650 secs
lola: 18228242 markings, 41870472 edges, 10375 markings/sec, 1655 secs
lola: 18280413 markings, 42011324 edges, 10434 markings/sec, 1660 secs
lola: 18333080 markings, 42151315 edges, 10533 markings/sec, 1665 secs
lola: 18385841 markings, 42286487 edges, 10552 markings/sec, 1670 secs
lola: 18437483 markings, 42423204 edges, 10328 markings/sec, 1675 secs
lola: 18489977 markings, 42555971 edges, 10499 markings/sec, 1680 secs
lola: 18542143 markings, 42692580 edges, 10433 markings/sec, 1685 secs
lola: 18594610 markings, 42825349 edges, 10493 markings/sec, 1690 secs
lola: 18647538 markings, 42960376 edges, 10586 markings/sec, 1695 secs
lola: 18700342 markings, 43103015 edges, 10561 markings/sec, 1700 secs
lola: 18753397 markings, 43245706 edges, 10611 markings/sec, 1705 secs
lola: 18805586 markings, 43385921 edges, 10438 markings/sec, 1710 secs
lola: 18858951 markings, 43523943 edges, 10673 markings/sec, 1715 secs
lola: 18913860 markings, 43667743 edges, 10982 markings/sec, 1720 secs
lola: 18967735 markings, 43809278 edges, 10775 markings/sec, 1725 secs
lola: 19022590 markings, 43955183 edges, 10971 markings/sec, 1730 secs
lola: 19077792 markings, 44099121 edges, 11040 markings/sec, 1735 secs
lola: 19131911 markings, 44241247 edges, 10824 markings/sec, 1740 secs
lola: 19186151 markings, 44380140 edges, 10848 markings/sec, 1745 secs
lola: 19238993 markings, 44518788 edges, 10568 markings/sec, 1750 secs
lola: 19291575 markings, 44656589 edges, 10516 markings/sec, 1755 secs
lola: 19344469 markings, 44795955 edges, 10579 markings/sec, 1760 secs
lola: 19397428 markings, 44935038 edges, 10592 markings/sec, 1765 secs
lola: 19450995 markings, 45075335 edges, 10713 markings/sec, 1770 secs
lola: 19503444 markings, 45212900 edges, 10490 markings/sec, 1775 secs
lola: 19556810 markings, 45349371 edges, 10673 markings/sec, 1780 secs
lola: 19609853 markings, 45487892 edges, 10609 markings/sec, 1785 secs
lola: 19662565 markings, 45622265 edges, 10542 markings/sec, 1790 secs
lola: 19714529 markings, 45758513 edges, 10393 markings/sec, 1795 secs
lola: 19767503 markings, 45895002 edges, 10595 markings/sec, 1800 secs
lola: 19820692 markings, 46033074 edges, 10638 markings/sec, 1805 secs
lola: 19873608 markings, 46170989 edges, 10583 markings/sec, 1810 secs
lola: 19926301 markings, 46311488 edges, 10539 markings/sec, 1815 secs
lola: 19979624 markings, 46445862 edges, 10665 markings/sec, 1820 secs
lola: 20032006 markings, 46585981 edges, 10476 markings/sec, 1825 secs
lola: 20084497 markings, 46725580 edges, 10498 markings/sec, 1830 secs
lola: 20136818 markings, 46863250 edges, 10464 markings/sec, 1835 secs
lola: 20190596 markings, 47006818 edges, 10756 markings/sec, 1840 secs
lola: 20244361 markings, 47149856 edges, 10753 markings/sec, 1845 secs
lola: 20298187 markings, 47289230 edges, 10765 markings/sec, 1850 secs
lola: 20350125 markings, 47425540 edges, 10388 markings/sec, 1855 secs
lola: 20402429 markings, 47564916 edges, 10461 markings/sec, 1860 secs
lola: 20454757 markings, 47702575 edges, 10466 markings/sec, 1865 secs
lola: 20507374 markings, 47838928 edges, 10523 markings/sec, 1870 secs
lola: 20559601 markings, 47978891 edges, 10445 markings/sec, 1875 secs
lola: 20611927 markings, 48115728 edges, 10465 markings/sec, 1880 secs
lola: 20665058 markings, 48251494 edges, 10626 markings/sec, 1885 secs
lola: 20717567 markings, 48388110 edges, 10502 markings/sec, 1890 secs
lola: 20770494 markings, 48523702 edges, 10585 markings/sec, 1895 secs
lola: 20822796 markings, 48663952 edges, 10460 markings/sec, 1900 secs
lola: 20874805 markings, 48802327 edges, 10402 markings/sec, 1905 secs
lola: 20927079 markings, 48938306 edges, 10455 markings/sec, 1910 secs
lola: 20981184 markings, 49074946 edges, 10821 markings/sec, 1915 secs
lola: 21033471 markings, 49212747 edges, 10457 markings/sec, 1920 secs
lola: 21085333 markings, 49349642 edges, 10372 markings/sec, 1925 secs
lola: 21139034 markings, 49494280 edges, 10740 markings/sec, 1930 secs
lola: 21190996 markings, 49631775 edges, 10392 markings/sec, 1935 secs
lola: 21242871 markings, 49767704 edges, 10375 markings/sec, 1940 secs
lola: 21294547 markings, 49903743 edges, 10335 markings/sec, 1945 secs
lola: 21347955 markings, 50043290 edges, 10682 markings/sec, 1950 secs
lola: 21400206 markings, 50177874 edges, 10450 markings/sec, 1955 secs
lola: 21451544 markings, 50315599 edges, 10268 markings/sec, 1960 secs
lola: 21503693 markings, 50448225 edges, 10430 markings/sec, 1965 secs
lola: 21555349 markings, 50586454 edges, 10331 markings/sec, 1970 secs
lola: 21607552 markings, 50723301 edges, 10441 markings/sec, 1975 secs
lola: 21659493 markings, 50862937 edges, 10388 markings/sec, 1980 secs
lola: 21712318 markings, 51003949 edges, 10565 markings/sec, 1985 secs
lola: 21764545 markings, 51143129 edges, 10445 markings/sec, 1990 secs
lola: 21816564 markings, 51281099 edges, 10404 markings/sec, 1995 secs
lola: 21868831 markings, 51420959 edges, 10453 markings/sec, 2000 secs
lola: 21921691 markings, 51559826 edges, 10572 markings/sec, 2005 secs
lola: 21975894 markings, 51701824 edges, 10841 markings/sec, 2010 secs
lola: 22028780 markings, 51838353 edges, 10577 markings/sec, 2015 secs
lola: 22080969 markings, 51978383 edges, 10438 markings/sec, 2020 secs
lola: 22133739 markings, 52116807 edges, 10554 markings/sec, 2025 secs
lola: 22186709 markings, 52255697 edges, 10594 markings/sec, 2030 secs
lola: 22238930 markings, 52394087 edges, 10444 markings/sec, 2035 secs
lola: 22291568 markings, 52531700 edges, 10528 markings/sec, 2040 secs
lola: 22343679 markings, 52672250 edges, 10422 markings/sec, 2045 secs
lola: 22395775 markings, 52810599 edges, 10419 markings/sec, 2050 secs
lola: 22448150 markings, 52948347 edges, 10475 markings/sec, 2055 secs
lola: 22500453 markings, 53090829 edges, 10461 markings/sec, 2060 secs
lola: 22552546 markings, 53228104 edges, 10419 markings/sec, 2065 secs
lola: 22604964 markings, 53358776 edges, 10484 markings/sec, 2070 secs
lola: 22656109 markings, 53495543 edges, 10229 markings/sec, 2075 secs
lola: 22707251 markings, 53630080 edges, 10228 markings/sec, 2080 secs
lola: 22760873 markings, 53772477 edges, 10724 markings/sec, 2085 secs
lola: 22811760 markings, 53908857 edges, 10177 markings/sec, 2090 secs
lola: 22862095 markings, 54043043 edges, 10067 markings/sec, 2095 secs
lola: 22913787 markings, 54175218 edges, 10338 markings/sec, 2100 secs
lola: 22965618 markings, 54313410 edges, 10366 markings/sec, 2105 secs
lola: 23017468 markings, 54448560 edges, 10370 markings/sec, 2110 secs
lola: 23070029 markings, 54588362 edges, 10512 markings/sec, 2115 secs
lola: 23123232 markings, 54727455 edges, 10641 markings/sec, 2120 secs
lola: 23175055 markings, 54864184 edges, 10365 markings/sec, 2125 secs
lola: 23226779 markings, 55001374 edges, 10345 markings/sec, 2130 secs
lola: 23279374 markings, 55140091 edges, 10519 markings/sec, 2135 secs
lola: 23330974 markings, 55277550 edges, 10320 markings/sec, 2140 secs
lola: 23383293 markings, 55415637 edges, 10464 markings/sec, 2145 secs
lola: 23435171 markings, 55556379 edges, 10376 markings/sec, 2150 secs
lola: 23487316 markings, 55694642 edges, 10429 markings/sec, 2155 secs
lola: 23540468 markings, 55835307 edges, 10630 markings/sec, 2160 secs
lola: 23595591 markings, 55978880 edges, 11025 markings/sec, 2165 secs
lola: 23649971 markings, 56122798 edges, 10876 markings/sec, 2170 secs
lola: 23701998 markings, 56264215 edges, 10405 markings/sec, 2175 secs
lola: 23754445 markings, 56402369 edges, 10489 markings/sec, 2180 secs
lola: 23806622 markings, 56542164 edges, 10435 markings/sec, 2185 secs
lola: 23861023 markings, 56685580 edges, 10880 markings/sec, 2190 secs
lola: 23915302 markings, 56829885 edges, 10856 markings/sec, 2195 secs
lola: 23968575 markings, 56968437 edges, 10655 markings/sec, 2200 secs
lola: 24022563 markings, 57110433 edges, 10798 markings/sec, 2205 secs
lola: 24076162 markings, 57244455 edges, 10720 markings/sec, 2210 secs
lola: 24128793 markings, 57382116 edges, 10526 markings/sec, 2215 secs
lola: 24182649 markings, 57523303 edges, 10771 markings/sec, 2220 secs
lola: 24237638 markings, 57671244 edges, 10998 markings/sec, 2225 secs
lola: 24292525 markings, 57820887 edges, 10977 markings/sec, 2230 secs
lola: 24345274 markings, 57958160 edges, 10550 markings/sec, 2235 secs
lola: 24399692 markings, 58102117 edges, 10884 markings/sec, 2240 secs
lola: 24451863 markings, 58243136 edges, 10434 markings/sec, 2245 secs
lola: 24504934 markings, 58381359 edges, 10614 markings/sec, 2250 secs
lola: 24557543 markings, 58519591 edges, 10522 markings/sec, 2255 secs
lola: 24610326 markings, 58664806 edges, 10557 markings/sec, 2260 secs
lola: 24664598 markings, 58810208 edges, 10854 markings/sec, 2265 secs
lola: 24718387 markings, 58950782 edges, 10758 markings/sec, 2270 secs
lola: 24770636 markings, 59092892 edges, 10450 markings/sec, 2275 secs
lola: 24823652 markings, 59232041 edges, 10603 markings/sec, 2280 secs
lola: 24876900 markings, 59369979 edges, 10650 markings/sec, 2285 secs
lola: 24929333 markings, 59512591 edges, 10487 markings/sec, 2290 secs
lola: 24981801 markings, 59653198 edges, 10494 markings/sec, 2295 secs
lola: 25033927 markings, 59793538 edges, 10425 markings/sec, 2300 secs
lola: 25086468 markings, 59933195 edges, 10508 markings/sec, 2305 secs
lola: 25139574 markings, 60073100 edges, 10621 markings/sec, 2310 secs
lola: 25192304 markings, 60215915 edges, 10546 markings/sec, 2315 secs
lola: 25244845 markings, 60355751 edges, 10508 markings/sec, 2320 secs
lola: 25297500 markings, 60500634 edges, 10531 markings/sec, 2325 secs
lola: 25351596 markings, 60646275 edges, 10819 markings/sec, 2330 secs
lola: 25404317 markings, 60788506 edges, 10544 markings/sec, 2335 secs
lola: 25456718 markings, 60931439 edges, 10480 markings/sec, 2340 secs
lola: 25509095 markings, 61073511 edges, 10475 markings/sec, 2345 secs
lola: 25561323 markings, 61216688 edges, 10446 markings/sec, 2350 secs
lola: 25613431 markings, 61357989 edges, 10422 markings/sec, 2355 secs
lola: 25665994 markings, 61498751 edges, 10513 markings/sec, 2360 secs
lola: 25718915 markings, 61638122 edges, 10584 markings/sec, 2365 secs
lola: 25771021 markings, 61777691 edges, 10421 markings/sec, 2370 secs
lola: 25823378 markings, 61920468 edges, 10471 markings/sec, 2375 secs
lola: 25875186 markings, 62059479 edges, 10362 markings/sec, 2380 secs
lola: 25926951 markings, 62198909 edges, 10353 markings/sec, 2385 secs
lola: 25978485 markings, 62340039 edges, 10307 markings/sec, 2390 secs
lola: 26033768 markings, 62484217 edges, 11057 markings/sec, 2395 secs
lola: 26087502 markings, 62630728 edges, 10747 markings/sec, 2400 secs
lola: 26142085 markings, 62775496 edges, 10917 markings/sec, 2405 secs
lola: 26196065 markings, 62917849 edges, 10796 markings/sec, 2410 secs
lola: 26249747 markings, 63060062 edges, 10736 markings/sec, 2415 secs
lola: 26303801 markings, 63206529 edges, 10811 markings/sec, 2420 secs
lola: 26357792 markings, 63352873 edges, 10798 markings/sec, 2425 secs
lola: 26412286 markings, 63500107 edges, 10899 markings/sec, 2430 secs
lola: 26465825 markings, 63643903 edges, 10708 markings/sec, 2435 secs
lola: 26519723 markings, 63790988 edges, 10780 markings/sec, 2440 secs
lola: 26573821 markings, 63936946 edges, 10820 markings/sec, 2445 secs
lola: 26626918 markings, 64082141 edges, 10619 markings/sec, 2450 secs
lola: 26680767 markings, 64226846 edges, 10770 markings/sec, 2455 secs
lola: 26734152 markings, 64369159 edges, 10677 markings/sec, 2460 secs
lola: 26788166 markings, 64515770 edges, 10803 markings/sec, 2465 secs
lola: 26842122 markings, 64661490 edges, 10791 markings/sec, 2470 secs
lola: 26895820 markings, 64809535 edges, 10740 markings/sec, 2475 secs
lola: 26949160 markings, 64949143 edges, 10668 markings/sec, 2480 secs
lola: 27004588 markings, 65099446 edges, 11086 markings/sec, 2485 secs
lola: 27058458 markings, 65246493 edges, 10774 markings/sec, 2490 secs
lola: 27112997 markings, 65393345 edges, 10908 markings/sec, 2495 secs
lola: 27168250 markings, 65543496 edges, 11051 markings/sec, 2500 secs
lola: 27222588 markings, 65689752 edges, 10868 markings/sec, 2505 secs
lola: 27278153 markings, 65839580 edges, 11113 markings/sec, 2510 secs
lola: 27332643 markings, 65987110 edges, 10898 markings/sec, 2515 secs
lola: 27387548 markings, 66135676 edges, 10981 markings/sec, 2520 secs
lola: 27440069 markings, 66277184 edges, 10504 markings/sec, 2525 secs
lola: 27491995 markings, 66418408 edges, 10385 markings/sec, 2530 secs
lola: 27543600 markings, 66559955 edges, 10321 markings/sec, 2535 secs
lola: 27595678 markings, 66701155 edges, 10416 markings/sec, 2540 secs
lola: 27647531 markings, 66838764 edges, 10371 markings/sec, 2545 secs
lola: 27699204 markings, 66978690 edges, 10335 markings/sec, 2550 secs
lola: 27751389 markings, 67119618 edges, 10437 markings/sec, 2555 secs
lola: 27803786 markings, 67258595 edges, 10479 markings/sec, 2560 secs
lola: 27855606 markings, 67398441 edges, 10364 markings/sec, 2565 secs
lola: 27907384 markings, 67539282 edges, 10356 markings/sec, 2570 secs
lola: 27959558 markings, 67682103 edges, 10435 markings/sec, 2575 secs
lola: 28011794 markings, 67822559 edges, 10447 markings/sec, 2580 secs
lola: 28064152 markings, 67962744 edges, 10472 markings/sec, 2585 secs
lola: 28117765 markings, 68106995 edges, 10723 markings/sec, 2590 secs
lola: 28171032 markings, 68250782 edges, 10653 markings/sec, 2595 secs
lola: 28223608 markings, 68393238 edges, 10515 markings/sec, 2600 secs
lola: 28276191 markings, 68532914 edges, 10517 markings/sec, 2605 secs
lola: 28328606 markings, 68676455 edges, 10483 markings/sec, 2610 secs
lola: 28381398 markings, 68814436 edges, 10558 markings/sec, 2615 secs
lola: 28435143 markings, 68958325 edges, 10749 markings/sec, 2620 secs
lola: 28488125 markings, 69101024 edges, 10596 markings/sec, 2625 secs
lola: 28540822 markings, 69243148 edges, 10539 markings/sec, 2630 secs
lola: 28593751 markings, 69386018 edges, 10586 markings/sec, 2635 secs
lola: 28647416 markings, 69532876 edges, 10733 markings/sec, 2640 secs
lola: 28699958 markings, 69675628 edges, 10508 markings/sec, 2645 secs
lola: 28752464 markings, 69820196 edges, 10501 markings/sec, 2650 secs
lola: 28804984 markings, 69959716 edges, 10504 markings/sec, 2655 secs
lola: 28857102 markings, 70101657 edges, 10424 markings/sec, 2660 secs
lola: 28910881 markings, 70245223 edges, 10756 markings/sec, 2665 secs
lola: 28962943 markings, 70389734 edges, 10412 markings/sec, 2670 secs
lola: 29014708 markings, 70529332 edges, 10353 markings/sec, 2675 secs
lola: 29066266 markings, 70670461 edges, 10312 markings/sec, 2680 secs
lola: 29119486 markings, 70814587 edges, 10644 markings/sec, 2685 secs
lola: 29171178 markings, 70954048 edges, 10338 markings/sec, 2690 secs
lola: 29222656 markings, 71095044 edges, 10296 markings/sec, 2695 secs
lola: 29274099 markings, 71235177 edges, 10289 markings/sec, 2700 secs
lola: 29326863 markings, 71377044 edges, 10553 markings/sec, 2705 secs
lola: 29377227 markings, 71514559 edges, 10073 markings/sec, 2710 secs
lola: 29428897 markings, 71656576 edges, 10334 markings/sec, 2715 secs
lola: 29481714 markings, 71799138 edges, 10563 markings/sec, 2720 secs
lola: 29535320 markings, 71943496 edges, 10721 markings/sec, 2725 secs
lola: 29589306 markings, 72090950 edges, 10797 markings/sec, 2730 secs
lola: 29642322 markings, 72237122 edges, 10603 markings/sec, 2735 secs
lola: 29694386 markings, 72378419 edges, 10413 markings/sec, 2740 secs
lola: 29746965 markings, 72516835 edges, 10516 markings/sec, 2745 secs
lola: 29799271 markings, 72656404 edges, 10461 markings/sec, 2750 secs
lola: 29851928 markings, 72795424 edges, 10531 markings/sec, 2755 secs
lola: 29906500 markings, 72937663 edges, 10914 markings/sec, 2760 secs
lola: 29959309 markings, 73076366 edges, 10562 markings/sec, 2765 secs
lola: 30011675 markings, 73220016 edges, 10473 markings/sec, 2770 secs
lola: 30064668 markings, 73360954 edges, 10599 markings/sec, 2775 secs
lola: 30117170 markings, 73504570 edges, 10500 markings/sec, 2780 secs
lola: 30169299 markings, 73647217 edges, 10426 markings/sec, 2785 secs
lola: 30221665 markings, 73787248 edges, 10473 markings/sec, 2790 secs
lola: 30274921 markings, 73929745 edges, 10651 markings/sec, 2795 secs
lola: 30328979 markings, 74073117 edges, 10812 markings/sec, 2800 secs
lola: 30383845 markings, 74220868 edges, 10973 markings/sec, 2805 secs
lola: 30438913 markings, 74371353 edges, 11014 markings/sec, 2810 secs
lola: 30492083 markings, 74512931 edges, 10634 markings/sec, 2815 secs
lola: 30544209 markings, 74654838 edges, 10425 markings/sec, 2820 secs
lola: 30598315 markings, 74801238 edges, 10821 markings/sec, 2825 secs
lola: 30651610 markings, 74947141 edges, 10659 markings/sec, 2830 secs
lola: 30704418 markings, 75090291 edges, 10562 markings/sec, 2835 secs
lola: 30757843 markings, 75235237 edges, 10685 markings/sec, 2840 secs
lola: 30811929 markings, 75379729 edges, 10817 markings/sec, 2845 secs
lola: 30865117 markings, 75526249 edges, 10638 markings/sec, 2850 secs
lola: 30919015 markings, 75671635 edges, 10780 markings/sec, 2855 secs
lola: 30972539 markings, 75816364 edges, 10705 markings/sec, 2860 secs
lola: 31026476 markings, 75964650 edges, 10787 markings/sec, 2865 secs
lola: 31080091 markings, 76112683 edges, 10723 markings/sec, 2870 secs
lola: 31133681 markings, 76259469 edges, 10718 markings/sec, 2875 secs
lola: 31187229 markings, 76403681 edges, 10710 markings/sec, 2880 secs
lola: 31241634 markings, 76551403 edges, 10881 markings/sec, 2885 secs
lola: 31294267 markings, 76692253 edges, 10527 markings/sec, 2890 secs
lola: 31349274 markings, 76839838 edges, 11001 markings/sec, 2895 secs
lola: 31402306 markings, 76981831 edges, 10606 markings/sec, 2900 secs
lola: 31457454 markings, 77130580 edges, 11030 markings/sec, 2905 secs
lola: 31511440 markings, 77277196 edges, 10797 markings/sec, 2910 secs
lola: 31565915 markings, 77424473 edges, 10895 markings/sec, 2915 secs
lola: 31620961 markings, 77574248 edges, 11009 markings/sec, 2920 secs
lola: 31674917 markings, 77721910 edges, 10791 markings/sec, 2925 secs
lola: 31728409 markings, 77866658 edges, 10698 markings/sec, 2930 secs
lola: 31782078 markings, 78014287 edges, 10734 markings/sec, 2935 secs
lola: 31835696 markings, 78160679 edges, 10724 markings/sec, 2940 secs
lola: 31889305 markings, 78307908 edges, 10722 markings/sec, 2945 secs
lola: 31942469 markings, 78452308 edges, 10633 markings/sec, 2950 secs
lola: 31995963 markings, 78598216 edges, 10699 markings/sec, 2955 secs
lola: 32049197 markings, 78742740 edges, 10647 markings/sec, 2960 secs
lola: 32103795 markings, 78887047 edges, 10920 markings/sec, 2965 secs
lola: 32158866 markings, 79035321 edges, 11014 markings/sec, 2970 secs
lola: 32213321 markings, 79179356 edges, 10891 markings/sec, 2975 secs
lola: 32267262 markings, 79325861 edges, 10788 markings/sec, 2980 secs
lola: 32321938 markings, 79472592 edges, 10935 markings/sec, 2985 secs
lola: 32375290 markings, 79613084 edges, 10670 markings/sec, 2990 secs
lola: 32428561 markings, 79760986 edges, 10654 markings/sec, 2995 secs
lola: 32482815 markings, 79910952 edges, 10851 markings/sec, 3000 secs
lola: 32535754 markings, 80057993 edges, 10588 markings/sec, 3005 secs
lola: 32588333 markings, 80201222 edges, 10516 markings/sec, 3010 secs
lola: 32642392 markings, 80350783 edges, 10812 markings/sec, 3015 secs
lola: 32695387 markings, 80499037 edges, 10599 markings/sec, 3020 secs
lola: 32748882 markings, 80642656 edges, 10699 markings/sec, 3025 secs
lola: 32802996 markings, 80790772 edges, 10823 markings/sec, 3030 secs
lola: 32856840 markings, 80939891 edges, 10769 markings/sec, 3035 secs
lola: 32911285 markings, 81088398 edges, 10889 markings/sec, 3040 secs
lola: 32966111 markings, 81235575 edges, 10965 markings/sec, 3045 secs
lola: 33020747 markings, 81383886 edges, 10927 markings/sec, 3050 secs
lola: 33075795 markings, 81531883 edges, 11010 markings/sec, 3055 secs
lola: 33130413 markings, 81682312 edges, 10924 markings/sec, 3060 secs
lola: 33184740 markings, 81832349 edges, 10865 markings/sec, 3065 secs
lola: 33239948 markings, 81981101 edges, 11042 markings/sec, 3070 secs
lola: 33294677 markings, 82131977 edges, 10946 markings/sec, 3075 secs
lola: 33348291 markings, 82280637 edges, 10723 markings/sec, 3080 secs
lola: 33403330 markings, 82433432 edges, 11008 markings/sec, 3085 secs
lola: 33457515 markings, 82576444 edges, 10837 markings/sec, 3090 secs
lola: 33512314 markings, 82724813 edges, 10960 markings/sec, 3095 secs
lola: 33566999 markings, 82874555 edges, 10937 markings/sec, 3100 secs
lola: 33621609 markings, 83020526 edges, 10922 markings/sec, 3105 secs
lola: 33674906 markings, 83169939 edges, 10659 markings/sec, 3110 secs
lola: 33729062 markings, 83318883 edges, 10831 markings/sec, 3115 secs
lola: 33783260 markings, 83467653 edges, 10840 markings/sec, 3120 secs
lola: 33837945 markings, 83617747 edges, 10937 markings/sec, 3125 secs
lola: 33892331 markings, 83766211 edges, 10877 markings/sec, 3130 secs
lola: 33946364 markings, 83913257 edges, 10807 markings/sec, 3135 secs
lola: 33998631 markings, 84050704 edges, 10453 markings/sec, 3140 secs
lola: 34051605 markings, 84193129 edges, 10595 markings/sec, 3145 secs
lola: 34103712 markings, 84336459 edges, 10421 markings/sec, 3150 secs
lola: 34155752 markings, 84480875 edges, 10408 markings/sec, 3155 secs
lola: 34208003 markings, 84621552 edges, 10450 markings/sec, 3160 secs
lola: 34262013 markings, 84767725 edges, 10802 markings/sec, 3165 secs
lola: 34315877 markings, 84912687 edges, 10773 markings/sec, 3170 secs
lola: 34370173 markings, 85060371 edges, 10859 markings/sec, 3175 secs
lola: 34424829 markings, 85210771 edges, 10931 markings/sec, 3180 secs
lola: 34479028 markings, 85358916 edges, 10840 markings/sec, 3185 secs
lola: 34532980 markings, 85504903 edges, 10790 markings/sec, 3190 secs
lola: 34586790 markings, 85650627 edges, 10762 markings/sec, 3195 secs
lola: 34640476 markings, 85795191 edges, 10737 markings/sec, 3200 secs
lola: 34693978 markings, 85940949 edges, 10700 markings/sec, 3205 secs
lola: 34747039 markings, 86086191 edges, 10612 markings/sec, 3210 secs
lola: 34800216 markings, 86231239 edges, 10635 markings/sec, 3215 secs
lola: 34853368 markings, 86373787 edges, 10630 markings/sec, 3220 secs
lola: 34905711 markings, 86517628 edges, 10469 markings/sec, 3225 secs
lola: 34958328 markings, 86662350 edges, 10523 markings/sec, 3230 secs
lola: 35011693 markings, 86809178 edges, 10673 markings/sec, 3235 secs
lola: 35065203 markings, 86954867 edges, 10702 markings/sec, 3240 secs
lola: 35118271 markings, 87098696 edges, 10614 markings/sec, 3245 secs
lola: 35172312 markings, 87244205 edges, 10808 markings/sec, 3250 secs
lola: 35225289 markings, 87389490 edges, 10595 markings/sec, 3255 secs
lola: 35279530 markings, 87535773 edges, 10848 markings/sec, 3260 secs
lola: 35332384 markings, 87680532 edges, 10571 markings/sec, 3265 secs
lola: 35383891 markings, 87821493 edges, 10301 markings/sec, 3270 secs
lola: 35436765 markings, 87967909 edges, 10575 markings/sec, 3275 secs
lola: 35489245 markings, 88116154 edges, 10496 markings/sec, 3280 secs
lola: 35540875 markings, 88259171 edges, 10326 markings/sec, 3285 secs
lola: 35592972 markings, 88402406 edges, 10419 markings/sec, 3290 secs
lola: 35649280 markings, 88553397 edges, 11262 markings/sec, 3295 secs
lola: 35702431 markings, 88700583 edges, 10630 markings/sec, 3300 secs
lola: 35755091 markings, 88843816 edges, 10532 markings/sec, 3305 secs
lola: 35807112 markings, 88987863 edges, 10404 markings/sec, 3310 secs
lola: 35859957 markings, 89129987 edges, 10569 markings/sec, 3315 secs
lola: 35913209 markings, 89270012 edges, 10650 markings/sec, 3320 secs
lola: 35968124 markings, 89420083 edges, 10983 markings/sec, 3325 secs
lola: 36022609 markings, 89570292 edges, 10897 markings/sec, 3330 secs
lola: 36075059 markings, 89712260 edges, 10490 markings/sec, 3335 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
lola:
preliminary result: unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
lola:
preliminary result: unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 3168672 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: memory consumption: 3168672 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
rslt: finished

BK_STOP 1552951458868

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 2 (ignored)
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="SimpleLoadBal-PT-15"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is SimpleLoadBal-PT-15, 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 r159-csrt-155286430900317"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SimpleLoadBal-PT-15.tgz
mv SimpleLoadBal-PT-15 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 ;