About the Execution of 2018-Gold for SimpleLoadBal-PT-15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2682.420 | 3570398.00 | 3679631.00 | 410.90 | ? 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2019-input.r165-csrt-155286442000106.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is SimpleLoadBal-PT-15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r165-csrt-155286442000106
=====================================================================
--------------------
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 1553109530708
info: Time: 3600 - MCC
===========================================================================================
prep: translating SimpleLoadBal-PT-15 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating SimpleLoadBal-PT-15 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ SimpleLoadBal-PT-15 @ 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: 1429/65536 symbol table entries, 126 collisions
lola: preprocessing...
lola: Size of bit vector: 4768
lola: finding significant places
lola: 149 places, 1280 transitions, 110 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2081 transition conflict sets
lola: TASK
lola: reading formula from SimpleLoadBal-PT-15-UpperBounds.task
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 223 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 SimpleLoadBal-PT-15-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: 47641 markings, 86226 edges, 9528 markings/sec, 0 secs
lola: 93519 markings, 174565 edges, 9176 markings/sec, 5 secs
lola: 140121 markings, 266348 edges, 9320 markings/sec, 10 secs
lola: 187041 markings, 359597 edges, 9384 markings/sec, 15 secs
lola: 234369 markings, 453658 edges, 9466 markings/sec, 20 secs
lola: 280501 markings, 546597 edges, 9226 markings/sec, 25 secs
lola: 326674 markings, 640538 edges, 9235 markings/sec, 30 secs
lola: 372766 markings, 735572 edges, 9218 markings/sec, 35 secs
lola: 418962 markings, 829979 edges, 9239 markings/sec, 40 secs
lola: 465172 markings, 925149 edges, 9242 markings/sec, 45 secs
lola: 511059 markings, 1020139 edges, 9177 markings/sec, 50 secs
lola: 557048 markings, 1115961 edges, 9198 markings/sec, 55 secs
lola: 603225 markings, 1212090 edges, 9235 markings/sec, 60 secs
lola: 652213 markings, 1307953 edges, 9798 markings/sec, 65 secs
lola: 699450 markings, 1405016 edges, 9447 markings/sec, 70 secs
lola: 746797 markings, 1502349 edges, 9469 markings/sec, 75 secs
lola: 793398 markings, 1599276 edges, 9320 markings/sec, 80 secs
lola: 840162 markings, 1695734 edges, 9353 markings/sec, 85 secs
lola: 887861 markings, 1794039 edges, 9540 markings/sec, 90 secs
lola: 934429 markings, 1891513 edges, 9314 markings/sec, 95 secs
lola: 980885 markings, 1988205 edges, 9291 markings/sec, 100 secs
lola: 1026836 markings, 2084436 edges, 9190 markings/sec, 105 secs
lola: 1073597 markings, 2182295 edges, 9352 markings/sec, 110 secs
lola: 1120243 markings, 2279471 edges, 9329 markings/sec, 115 secs
lola: 1166174 markings, 2375771 edges, 9186 markings/sec, 120 secs
lola: 1212263 markings, 2473544 edges, 9218 markings/sec, 125 secs
lola: 1258040 markings, 2570136 edges, 9155 markings/sec, 130 secs
lola: 1303138 markings, 2666185 edges, 9020 markings/sec, 135 secs
lola: 1348089 markings, 2762468 edges, 8990 markings/sec, 140 secs
lola: 1393147 markings, 2858764 edges, 9012 markings/sec, 145 secs
lola: 1438818 markings, 2954249 edges, 9134 markings/sec, 150 secs
lola: 1485381 markings, 3052134 edges, 9313 markings/sec, 155 secs
lola: 1532174 markings, 3151171 edges, 9359 markings/sec, 160 secs
lola: 1578629 markings, 3248309 edges, 9291 markings/sec, 165 secs
lola: 1624966 markings, 3345499 edges, 9267 markings/sec, 170 secs
lola: 1670413 markings, 3443233 edges, 9089 markings/sec, 175 secs
lola: 1715987 markings, 3541584 edges, 9115 markings/sec, 180 secs
lola: 1762054 markings, 3640232 edges, 9213 markings/sec, 185 secs
lola: 1808100 markings, 3737990 edges, 9209 markings/sec, 190 secs
lola: 1853459 markings, 3834950 edges, 9072 markings/sec, 195 secs
lola: 1899759 markings, 3933040 edges, 9260 markings/sec, 200 secs
lola: 1945741 markings, 4031157 edges, 9196 markings/sec, 205 secs
lola: 1991557 markings, 4128727 edges, 9163 markings/sec, 210 secs
lola: 2036396 markings, 4225112 edges, 8968 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: 198000 KB
lola: time consumption: 224 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 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 SimpleLoadBal-PT-15-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: 37 markings, 36 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-15-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 239 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 SimpleLoadBal-PT-15-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 SimpleLoadBal-PT-15-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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 SimpleLoadBal-PT-15-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-15-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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 SimpleLoadBal-PT-15-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 SimpleLoadBal-PT-15-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 304 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 SimpleLoadBal-PT-15-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 SimpleLoadBal-PT-15-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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 SimpleLoadBal-PT-15-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: 5 markings, 4 edges
lola:
FORMULA SimpleLoadBal-PT-15-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
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 SimpleLoadBal-PT-15-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 SimpleLoadBal-PT-15-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 418 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 SimpleLoadBal-PT-15-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 SimpleLoadBal-PT-15-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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 SimpleLoadBal-PT-15-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 SimpleLoadBal-PT-15-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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 SimpleLoadBal-PT-15-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 SimpleLoadBal-PT-15-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 669 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 SimpleLoadBal-PT-15-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-15-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 836 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 SimpleLoadBal-PT-15-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: 5 markings, 4 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-15-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1115 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 SimpleLoadBal-PT-15-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-15-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1672 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 SimpleLoadBal-PT-15-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-15-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3345 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 SimpleLoadBal-PT-15-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
FORMULA SimpleLoadBal-PT-15-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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 SimpleLoadBal-PT-15-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: 48173 markings, 87313 edges, 9635 markings/sec, 0 secs
lola: 96115 markings, 179635 edges, 9588 markings/sec, 5 secs
lola: 143234 markings, 272304 edges, 9424 markings/sec, 10 secs
lola: 190357 markings, 366247 edges, 9425 markings/sec, 15 secs
lola: 237493 markings, 460239 edges, 9427 markings/sec, 20 secs
lola: 284510 markings, 554983 edges, 9403 markings/sec, 25 secs
lola: 331006 markings, 649248 edges, 9299 markings/sec, 30 secs
lola: 377242 markings, 744521 edges, 9247 markings/sec, 35 secs
lola: 423520 markings, 839182 edges, 9256 markings/sec, 40 secs
lola: 469889 markings, 934624 edges, 9274 markings/sec, 45 secs
lola: 515895 markings, 1030259 edges, 9201 markings/sec, 50 secs
lola: 561994 markings, 1126155 edges, 9220 markings/sec, 55 secs
lola: 608006 markings, 1222074 edges, 9202 markings/sec, 60 secs
lola: 655854 markings, 1315457 edges, 9570 markings/sec, 65 secs
lola: 702067 markings, 1410788 edges, 9243 markings/sec, 70 secs
lola: 748328 markings, 1505342 edges, 9252 markings/sec, 75 secs
lola: 794310 markings, 1601044 edges, 9196 markings/sec, 80 secs
lola: 840781 markings, 1697103 edges, 9294 markings/sec, 85 secs
lola: 887788 markings, 1793884 edges, 9401 markings/sec, 90 secs
lola: 934357 markings, 1891365 edges, 9314 markings/sec, 95 secs
lola: 981048 markings, 1988552 edges, 9338 markings/sec, 100 secs
lola: 1028364 markings, 2087620 edges, 9463 markings/sec, 105 secs
lola: 1074415 markings, 2183959 edges, 9210 markings/sec, 110 secs
lola: 1121553 markings, 2282180 edges, 9428 markings/sec, 115 secs
lola: 1168644 markings, 2381085 edges, 9418 markings/sec, 120 secs
lola: 1214677 markings, 2478579 edges, 9207 markings/sec, 125 secs
lola: 1261100 markings, 2576767 edges, 9285 markings/sec, 130 secs
lola: 1306955 markings, 2674433 edges, 9171 markings/sec, 135 secs
lola: 1353421 markings, 2773513 edges, 9293 markings/sec, 140 secs
lola: 1399074 markings, 2871809 edges, 9131 markings/sec, 145 secs
lola: 1446256 markings, 2970110 edges, 9436 markings/sec, 150 secs
lola: 1493381 markings, 3069167 edges, 9425 markings/sec, 155 secs
lola: 1538841 markings, 3164823 edges, 9092 markings/sec, 160 secs
lola: 1584860 markings, 3261772 edges, 9204 markings/sec, 165 secs
lola: 1629534 markings, 3355008 edges, 8935 markings/sec, 170 secs
lola: 1674768 markings, 3452688 edges, 9047 markings/sec, 175 secs
lola: 1720342 markings, 3550944 edges, 9115 markings/sec, 180 secs
lola: 1766199 markings, 3649578 edges, 9171 markings/sec, 185 secs
lola: 1812122 markings, 3746636 edges, 9185 markings/sec, 190 secs
lola: 1857491 markings, 3843277 edges, 9074 markings/sec, 195 secs
lola: 1903112 markings, 3940248 edges, 9124 markings/sec, 200 secs
lola: 1948872 markings, 4037606 edges, 9152 markings/sec, 205 secs
lola: 1994099 markings, 4134416 edges, 9045 markings/sec, 210 secs
lola: 2039075 markings, 4230374 edges, 8995 markings/sec, 215 secs
lola: 2084667 markings, 4327206 edges, 9118 markings/sec, 220 secs
lola: 2130274 markings, 4423466 edges, 9121 markings/sec, 225 secs
lola: 2175695 markings, 4521015 edges, 9084 markings/sec, 230 secs
lola: 2221859 markings, 4619557 edges, 9233 markings/sec, 235 secs
lola: 2268141 markings, 4718555 edges, 9256 markings/sec, 240 secs
lola: 2314392 markings, 4817916 edges, 9250 markings/sec, 245 secs
lola: 2359967 markings, 4916972 edges, 9115 markings/sec, 250 secs
lola: 2406302 markings, 5016487 edges, 9267 markings/sec, 255 secs
lola: 2452907 markings, 5117582 edges, 9321 markings/sec, 260 secs
lola: 2499311 markings, 5217213 edges, 9281 markings/sec, 265 secs
lola: 2545763 markings, 5317643 edges, 9290 markings/sec, 270 secs
lola: 2592122 markings, 5416983 edges, 9272 markings/sec, 275 secs
lola: 2637858 markings, 5516955 edges, 9147 markings/sec, 280 secs
lola: 2684133 markings, 5616610 edges, 9255 markings/sec, 285 secs
lola: 2730004 markings, 5712665 edges, 9174 markings/sec, 290 secs
lola: 2775130 markings, 5810462 edges, 9025 markings/sec, 295 secs
lola: 2820275 markings, 5908802 edges, 9029 markings/sec, 300 secs
lola: 2865735 markings, 6005993 edges, 9092 markings/sec, 305 secs
lola: 2914108 markings, 6100741 edges, 9675 markings/sec, 310 secs
lola: 2960498 markings, 6197539 edges, 9278 markings/sec, 315 secs
lola: 3005797 markings, 6296492 edges, 9060 markings/sec, 320 secs
lola: 3051680 markings, 6394790 edges, 9177 markings/sec, 325 secs
lola: 3096938 markings, 6492630 edges, 9052 markings/sec, 330 secs
lola: 3142157 markings, 6590385 edges, 9044 markings/sec, 335 secs
lola: 3187101 markings, 6687452 edges, 8989 markings/sec, 340 secs
lola: 3231904 markings, 6785670 edges, 8961 markings/sec, 345 secs
lola: 3276664 markings, 6883064 edges, 8952 markings/sec, 350 secs
lola: 3321619 markings, 6980869 edges, 8991 markings/sec, 355 secs
lola: 3366905 markings, 7079897 edges, 9057 markings/sec, 360 secs
lola: 3411815 markings, 7179570 edges, 8982 markings/sec, 365 secs
lola: 3456560 markings, 7276900 edges, 8949 markings/sec, 370 secs
lola: 3501184 markings, 7376509 edges, 8925 markings/sec, 375 secs
lola: 3546036 markings, 7474818 edges, 8970 markings/sec, 380 secs
lola: 3590942 markings, 7572706 edges, 8981 markings/sec, 385 secs
lola: 3635695 markings, 7669918 edges, 8951 markings/sec, 390 secs
lola: 3680348 markings, 7768287 edges, 8931 markings/sec, 395 secs
lola: 3726172 markings, 7864551 edges, 9165 markings/sec, 400 secs
lola: 3770774 markings, 7963448 edges, 8920 markings/sec, 405 secs
lola: 3816646 markings, 8063282 edges, 9174 markings/sec, 410 secs
lola: 3861428 markings, 8161271 edges, 8956 markings/sec, 415 secs
lola: 3906580 markings, 8260120 edges, 9030 markings/sec, 420 secs
lola: 3951899 markings, 8357978 edges, 9064 markings/sec, 425 secs
lola: 3997159 markings, 8456525 edges, 9052 markings/sec, 430 secs
lola: 4041917 markings, 8554648 edges, 8952 markings/sec, 435 secs
lola: 4087876 markings, 8652059 edges, 9192 markings/sec, 440 secs
lola: 4132923 markings, 8750307 edges, 9009 markings/sec, 445 secs
lola: 4177783 markings, 8847579 edges, 8972 markings/sec, 450 secs
lola: 4222864 markings, 8945652 edges, 9016 markings/sec, 455 secs
lola: 4267681 markings, 9042708 edges, 8963 markings/sec, 460 secs
lola: 4312895 markings, 9140742 edges, 9043 markings/sec, 465 secs
lola: 4357665 markings, 9239837 edges, 8954 markings/sec, 470 secs
lola: 4402297 markings, 9338932 edges, 8926 markings/sec, 475 secs
lola: 4446908 markings, 9436684 edges, 8922 markings/sec, 480 secs
lola: 4491559 markings, 9536083 edges, 8930 markings/sec, 485 secs
lola: 4537664 markings, 9633975 edges, 9221 markings/sec, 490 secs
lola: 4582432 markings, 9731421 edges, 8954 markings/sec, 495 secs
lola: 4627092 markings, 9828738 edges, 8932 markings/sec, 500 secs
lola: 4671671 markings, 9926445 edges, 8916 markings/sec, 505 secs
lola: 4716182 markings, 10024567 edges, 8902 markings/sec, 510 secs
lola: 4760690 markings, 10121730 edges, 8902 markings/sec, 515 secs
lola: 4805362 markings, 10219217 edges, 8934 markings/sec, 520 secs
lola: 4850081 markings, 10317495 edges, 8944 markings/sec, 525 secs
lola: 4895917 markings, 10415906 edges, 9167 markings/sec, 530 secs
lola: 4940840 markings, 10512665 edges, 8985 markings/sec, 535 secs
lola: 4985419 markings, 10610682 edges, 8916 markings/sec, 540 secs
lola: 5031073 markings, 10709901 edges, 9131 markings/sec, 545 secs
lola: 5075920 markings, 10809505 edges, 8969 markings/sec, 550 secs
lola: 5120295 markings, 10908685 edges, 8875 markings/sec, 555 secs
lola: 5165104 markings, 11006123 edges, 8962 markings/sec, 560 secs
lola: 5210266 markings, 11105301 edges, 9032 markings/sec, 565 secs
lola: 5255862 markings, 11205140 edges, 9119 markings/sec, 570 secs
lola: 5302751 markings, 11305175 edges, 9378 markings/sec, 575 secs
lola: 5348009 markings, 11404053 edges, 9052 markings/sec, 580 secs
lola: 5394119 markings, 11504920 edges, 9222 markings/sec, 585 secs
lola: 5439069 markings, 11605422 edges, 8990 markings/sec, 590 secs
lola: 5485559 markings, 11705542 edges, 9298 markings/sec, 595 secs
lola: 5530882 markings, 11806810 edges, 9065 markings/sec, 600 secs
lola: 5576267 markings, 11907863 edges, 9077 markings/sec, 605 secs
lola: 5621927 markings, 12009659 edges, 9132 markings/sec, 610 secs
lola: 5668381 markings, 12110554 edges, 9291 markings/sec, 615 secs
lola: 5713415 markings, 12211345 edges, 9007 markings/sec, 620 secs
lola: 5759423 markings, 12311932 edges, 9202 markings/sec, 625 secs
lola: 5804799 markings, 12412405 edges, 9075 markings/sec, 630 secs
lola: 5850514 markings, 12512170 edges, 9143 markings/sec, 635 secs
lola: 5896355 markings, 12611574 edges, 9168 markings/sec, 640 secs
lola: 5942377 markings, 12712609 edges, 9204 markings/sec, 645 secs
lola: 5987712 markings, 12812372 edges, 9067 markings/sec, 650 secs
lola: 6032549 markings, 12913546 edges, 8967 markings/sec, 655 secs
lola: 6078844 markings, 13014761 edges, 9259 markings/sec, 660 secs
lola: 6124349 markings, 13116556 edges, 9101 markings/sec, 665 secs
lola: 6169807 markings, 13217411 edges, 9092 markings/sec, 670 secs
lola: 6214966 markings, 13317390 edges, 9032 markings/sec, 675 secs
lola: 6260086 markings, 13418375 edges, 9024 markings/sec, 680 secs
lola: 6306540 markings, 13522012 edges, 9291 markings/sec, 685 secs
lola: 6353286 markings, 13626223 edges, 9349 markings/sec, 690 secs
lola: 6399722 markings, 13728623 edges, 9287 markings/sec, 695 secs
lola: 6444598 markings, 13828272 edges, 8975 markings/sec, 700 secs
lola: 6489329 markings, 13927991 edges, 8946 markings/sec, 705 secs
lola: 6534762 markings, 14029160 edges, 9087 markings/sec, 710 secs
lola: 6580053 markings, 14129309 edges, 9058 markings/sec, 715 secs
lola: 6625908 markings, 14230252 edges, 9171 markings/sec, 720 secs
lola: 6672895 markings, 14332933 edges, 9397 markings/sec, 725 secs
lola: 6717336 markings, 14431385 edges, 8888 markings/sec, 730 secs
lola: 6762738 markings, 14530630 edges, 9080 markings/sec, 735 secs
lola: 6807754 markings, 14631480 edges, 9003 markings/sec, 740 secs
lola: 6853002 markings, 14729084 edges, 9050 markings/sec, 745 secs
lola: 6897655 markings, 14828161 edges, 8931 markings/sec, 750 secs
lola: 6942292 markings, 14927380 edges, 8927 markings/sec, 755 secs
lola: 6987001 markings, 15026945 edges, 8942 markings/sec, 760 secs
lola: 7033408 markings, 15130031 edges, 9281 markings/sec, 765 secs
lola: 7080550 markings, 15234592 edges, 9428 markings/sec, 770 secs
lola: 7126739 markings, 15338098 edges, 9238 markings/sec, 775 secs
lola: 7171690 markings, 15439044 edges, 8990 markings/sec, 780 secs
lola: 7216530 markings, 15538199 edges, 8968 markings/sec, 785 secs
lola: 7260999 markings, 15635843 edges, 8894 markings/sec, 790 secs
lola: 7306945 markings, 15736153 edges, 9189 markings/sec, 795 secs
lola: 7353234 markings, 15838400 edges, 9258 markings/sec, 800 secs
lola: 7399990 markings, 15941694 edges, 9351 markings/sec, 805 secs
lola: 7446288 markings, 16043336 edges, 9260 markings/sec, 810 secs
lola: 7491721 markings, 16145219 edges, 9087 markings/sec, 815 secs
lola: 7537851 markings, 16248814 edges, 9226 markings/sec, 820 secs
lola: 7584548 markings, 16352730 edges, 9339 markings/sec, 825 secs
lola: 7630314 markings, 16455294 edges, 9153 markings/sec, 830 secs
lola: 7676141 markings, 16556294 edges, 9165 markings/sec, 835 secs
lola: 7721866 markings, 16656884 edges, 9145 markings/sec, 840 secs
lola: 7768940 markings, 16760323 edges, 9415 markings/sec, 845 secs
lola: 7814814 markings, 16861576 edges, 9175 markings/sec, 850 secs
lola: 7860772 markings, 16963354 edges, 9192 markings/sec, 855 secs
lola: 7906192 markings, 17066130 edges, 9084 markings/sec, 860 secs
lola: 7950578 markings, 17165156 edges, 8877 markings/sec, 865 secs
lola: 7994636 markings, 17261723 edges, 8812 markings/sec, 870 secs
lola: 8039222 markings, 17360989 edges, 8917 markings/sec, 875 secs
lola: 8083750 markings, 17460576 edges, 8906 markings/sec, 880 secs
lola: 8127882 markings, 17560620 edges, 8826 markings/sec, 885 secs
lola: 8172029 markings, 17659823 edges, 8829 markings/sec, 890 secs
lola: 8217496 markings, 17759371 edges, 9093 markings/sec, 895 secs
lola: 8262715 markings, 17859293 edges, 9044 markings/sec, 900 secs
lola: 8307749 markings, 17959728 edges, 9007 markings/sec, 905 secs
lola: 8352658 markings, 18059027 edges, 8982 markings/sec, 910 secs
lola: 8396787 markings, 18158522 edges, 8826 markings/sec, 915 secs
lola: 8441460 markings, 18257107 edges, 8935 markings/sec, 920 secs
lola: 8485704 markings, 18357531 edges, 8849 markings/sec, 925 secs
lola: 8530873 markings, 18456415 edges, 9034 markings/sec, 930 secs
lola: 8575809 markings, 18555877 edges, 8987 markings/sec, 935 secs
lola: 8621102 markings, 18655284 edges, 9059 markings/sec, 940 secs
lola: 8665849 markings, 18752996 edges, 8949 markings/sec, 945 secs
lola: 8710600 markings, 18849373 edges, 8950 markings/sec, 950 secs
lola: 8755214 markings, 18947990 edges, 8923 markings/sec, 955 secs
lola: 8799885 markings, 19048215 edges, 8934 markings/sec, 960 secs
lola: 8843880 markings, 19145182 edges, 8799 markings/sec, 965 secs
lola: 8888047 markings, 19244796 edges, 8833 markings/sec, 970 secs
lola: 8932591 markings, 19344630 edges, 8909 markings/sec, 975 secs
lola: 8976498 markings, 19443559 edges, 8781 markings/sec, 980 secs
lola: 9020871 markings, 19542296 edges, 8875 markings/sec, 985 secs
lola: 9065526 markings, 19641415 edges, 8931 markings/sec, 990 secs
lola: 9109622 markings, 19739617 edges, 8819 markings/sec, 995 secs
lola: 9154124 markings, 19839349 edges, 8900 markings/sec, 1000 secs
lola: 9198229 markings, 19941022 edges, 8821 markings/sec, 1005 secs
lola: 9242319 markings, 20039867 edges, 8818 markings/sec, 1010 secs
lola: 9286777 markings, 20139833 edges, 8892 markings/sec, 1015 secs
lola: 9331414 markings, 20239129 edges, 8927 markings/sec, 1020 secs
lola: 9376420 markings, 20337735 edges, 9001 markings/sec, 1025 secs
lola: 9422079 markings, 20437032 edges, 9132 markings/sec, 1030 secs
lola: 9469806 markings, 20537740 edges, 9545 markings/sec, 1035 secs
lola: 9516282 markings, 20641547 edges, 9295 markings/sec, 1040 secs
lola: 9562774 markings, 20747443 edges, 9298 markings/sec, 1045 secs
lola: 9609294 markings, 20850016 edges, 9304 markings/sec, 1050 secs
lola: 9655521 markings, 20952957 edges, 9245 markings/sec, 1055 secs
lola: 9701585 markings, 21055492 edges, 9213 markings/sec, 1060 secs
lola: 9746979 markings, 21153864 edges, 9079 markings/sec, 1065 secs
lola: 9792001 markings, 21252884 edges, 9004 markings/sec, 1070 secs
lola: 9836371 markings, 21351201 edges, 8874 markings/sec, 1075 secs
lola: 9881911 markings, 21452964 edges, 9108 markings/sec, 1080 secs
lola: 9928237 markings, 21555637 edges, 9265 markings/sec, 1085 secs
lola: 9974757 markings, 21659670 edges, 9304 markings/sec, 1090 secs
lola: 10020871 markings, 21764051 edges, 9223 markings/sec, 1095 secs
lola: 10065339 markings, 21865047 edges, 8894 markings/sec, 1100 secs
lola: 10110657 markings, 21967991 edges, 9064 markings/sec, 1105 secs
lola: 10156753 markings, 22069710 edges, 9219 markings/sec, 1110 secs
lola: 10203465 markings, 22172870 edges, 9342 markings/sec, 1115 secs
lola: 10249632 markings, 22278520 edges, 9233 markings/sec, 1120 secs
lola: 10295454 markings, 22380691 edges, 9164 markings/sec, 1125 secs
lola: 10342227 markings, 22483936 edges, 9355 markings/sec, 1130 secs
lola: 10387331 markings, 22585318 edges, 9021 markings/sec, 1135 secs
lola: 10432958 markings, 22687332 edges, 9125 markings/sec, 1140 secs
lola: 10479490 markings, 22792086 edges, 9306 markings/sec, 1145 secs
lola: 10525791 markings, 22893298 edges, 9260 markings/sec, 1150 secs
lola: 10571101 markings, 22995457 edges, 9062 markings/sec, 1155 secs
lola: 10615204 markings, 23094985 edges, 8821 markings/sec, 1160 secs
lola: 10659372 markings, 23193848 edges, 8834 markings/sec, 1165 secs
lola: 10704030 markings, 23292348 edges, 8932 markings/sec, 1170 secs
lola: 10749643 markings, 23396114 edges, 9123 markings/sec, 1175 secs
lola: 10795843 markings, 23499217 edges, 9240 markings/sec, 1180 secs
lola: 10841910 markings, 23602547 edges, 9213 markings/sec, 1185 secs
lola: 10888542 markings, 23709670 edges, 9326 markings/sec, 1190 secs
lola: 10935028 markings, 23814599 edges, 9297 markings/sec, 1195 secs
lola: 10981516 markings, 23917870 edges, 9298 markings/sec, 1200 secs
lola: 11028174 markings, 24021543 edges, 9332 markings/sec, 1205 secs
lola: 11074832 markings, 24125690 edges, 9332 markings/sec, 1210 secs
lola: 11121118 markings, 24229244 edges, 9257 markings/sec, 1215 secs
lola: 11168804 markings, 24337294 edges, 9537 markings/sec, 1220 secs
lola: 11215650 markings, 24440139 edges, 9369 markings/sec, 1225 secs
lola: 11261589 markings, 24544266 edges, 9188 markings/sec, 1230 secs
lola: 11305891 markings, 24644282 edges, 8860 markings/sec, 1235 secs
lola: 11350403 markings, 24743434 edges, 8902 markings/sec, 1240 secs
lola: 11394545 markings, 24842814 edges, 8828 markings/sec, 1245 secs
lola: 11440275 markings, 24945346 edges, 9146 markings/sec, 1250 secs
lola: 11486377 markings, 25049533 edges, 9220 markings/sec, 1255 secs
lola: 11532007 markings, 25152567 edges, 9126 markings/sec, 1260 secs
lola: 11577805 markings, 25255646 edges, 9160 markings/sec, 1265 secs
lola: 11624156 markings, 25357543 edges, 9270 markings/sec, 1270 secs
lola: 11670615 markings, 25463030 edges, 9292 markings/sec, 1275 secs
lola: 11716555 markings, 25565870 edges, 9188 markings/sec, 1280 secs
lola: 11761992 markings, 25668455 edges, 9087 markings/sec, 1285 secs
lola: 11807802 markings, 25770633 edges, 9162 markings/sec, 1290 secs
lola: 11853393 markings, 25874240 edges, 9118 markings/sec, 1295 secs
lola: 11898719 markings, 25977640 edges, 9065 markings/sec, 1300 secs
lola: 11944263 markings, 26081504 edges, 9109 markings/sec, 1305 secs
lola: 11990000 markings, 26184457 edges, 9147 markings/sec, 1310 secs
lola: 12036116 markings, 26289441 edges, 9223 markings/sec, 1315 secs
lola: 12081912 markings, 26391312 edges, 9159 markings/sec, 1320 secs
lola: 12128231 markings, 26495556 edges, 9264 markings/sec, 1325 secs
lola: 12174486 markings, 26598884 edges, 9251 markings/sec, 1330 secs
lola: 12220888 markings, 26703752 edges, 9280 markings/sec, 1335 secs
lola: 12266968 markings, 26808985 edges, 9216 markings/sec, 1340 secs
lola: 12312779 markings, 26914154 edges, 9162 markings/sec, 1345 secs
lola: 12358664 markings, 27018212 edges, 9177 markings/sec, 1350 secs
lola: 12404816 markings, 27120722 edges, 9230 markings/sec, 1355 secs
lola: 12450869 markings, 27223816 edges, 9211 markings/sec, 1360 secs
lola: 12497607 markings, 27327282 edges, 9348 markings/sec, 1365 secs
lola: 12543331 markings, 27432610 edges, 9145 markings/sec, 1370 secs
lola: 12588477 markings, 27535326 edges, 9029 markings/sec, 1375 secs
lola: 12633554 markings, 27638815 edges, 9015 markings/sec, 1380 secs
lola: 12679221 markings, 27741201 edges, 9133 markings/sec, 1385 secs
lola: 12724478 markings, 27843252 edges, 9051 markings/sec, 1390 secs
lola: 12769562 markings, 27944320 edges, 9017 markings/sec, 1395 secs
lola: 12814319 markings, 28044771 edges, 8951 markings/sec, 1400 secs
lola: 12858777 markings, 28143474 edges, 8892 markings/sec, 1405 secs
lola: 12903173 markings, 28241181 edges, 8879 markings/sec, 1410 secs
lola: 12947752 markings, 28341344 edges, 8916 markings/sec, 1415 secs
lola: 12994225 markings, 28445655 edges, 9295 markings/sec, 1420 secs
lola: 13040264 markings, 28549355 edges, 9208 markings/sec, 1425 secs
lola: 13086626 markings, 28655616 edges, 9272 markings/sec, 1430 secs
lola: 13132986 markings, 28763166 edges, 9272 markings/sec, 1435 secs
lola: 13178991 markings, 28868019 edges, 9201 markings/sec, 1440 secs
lola: 13225777 markings, 28973498 edges, 9357 markings/sec, 1445 secs
lola: 13272030 markings, 29079205 edges, 9251 markings/sec, 1450 secs
lola: 13318511 markings, 29183795 edges, 9296 markings/sec, 1455 secs
lola: 13364356 markings, 29288091 edges, 9169 markings/sec, 1460 secs
lola: 13409979 markings, 29393011 edges, 9125 markings/sec, 1465 secs
lola: 13455233 markings, 29496663 edges, 9051 markings/sec, 1470 secs
lola: 13501117 markings, 29599554 edges, 9177 markings/sec, 1475 secs
lola: 13547466 markings, 29703593 edges, 9270 markings/sec, 1480 secs
lola: 13593296 markings, 29808630 edges, 9166 markings/sec, 1485 secs
lola: 13639626 markings, 29909474 edges, 9266 markings/sec, 1490 secs
lola: 13685848 markings, 30012478 edges, 9244 markings/sec, 1495 secs
lola: 13731716 markings, 30117036 edges, 9174 markings/sec, 1500 secs
lola: 13778810 markings, 30222861 edges, 9419 markings/sec, 1505 secs
lola: 13825693 markings, 30330328 edges, 9377 markings/sec, 1510 secs
lola: 13871998 markings, 30434506 edges, 9261 markings/sec, 1515 secs
lola: 13917387 markings, 30537445 edges, 9078 markings/sec, 1520 secs
lola: 13963533 markings, 30642309 edges, 9229 markings/sec, 1525 secs
lola: 14009492 markings, 30745432 edges, 9192 markings/sec, 1530 secs
lola: 14054787 markings, 30847205 edges, 9059 markings/sec, 1535 secs
lola: 14101036 markings, 30951023 edges, 9250 markings/sec, 1540 secs
lola: 14147407 markings, 31054616 edges, 9274 markings/sec, 1545 secs
lola: 14192708 markings, 31158957 edges, 9060 markings/sec, 1550 secs
lola: 14238125 markings, 31263485 edges, 9083 markings/sec, 1555 secs
lola: 14283706 markings, 31368902 edges, 9116 markings/sec, 1560 secs
lola: 14330947 markings, 31474356 edges, 9448 markings/sec, 1565 secs
lola: 14376618 markings, 31578088 edges, 9134 markings/sec, 1570 secs
lola: 14422682 markings, 31682925 edges, 9213 markings/sec, 1575 secs
lola: 14468283 markings, 31785967 edges, 9120 markings/sec, 1580 secs
lola: 14515235 markings, 31892387 edges, 9390 markings/sec, 1585 secs
lola: 14561127 markings, 31995062 edges, 9178 markings/sec, 1590 secs
lola: 14610247 markings, 32097305 edges, 9824 markings/sec, 1595 secs
lola: 14661065 markings, 32198747 edges, 10164 markings/sec, 1600 secs
lola: 14707058 markings, 32303811 edges, 9199 markings/sec, 1605 secs
lola: 14752827 markings, 32407286 edges, 9154 markings/sec, 1610 secs
lola: 14798570 markings, 32509830 edges, 9149 markings/sec, 1615 secs
lola: 14844293 markings, 32613303 edges, 9145 markings/sec, 1620 secs
lola: 14890346 markings, 32718308 edges, 9211 markings/sec, 1625 secs
lola: 14936244 markings, 32821939 edges, 9180 markings/sec, 1630 secs
lola: 14982066 markings, 32926369 edges, 9164 markings/sec, 1635 secs
lola: 15028259 markings, 33032529 edges, 9239 markings/sec, 1640 secs
lola: 15073910 markings, 33133726 edges, 9130 markings/sec, 1645 secs
lola: 15118192 markings, 33234041 edges, 8856 markings/sec, 1650 secs
lola: 15161860 markings, 33333635 edges, 8734 markings/sec, 1655 secs
lola: 15205885 markings, 33434379 edges, 8805 markings/sec, 1660 secs
lola: 15252246 markings, 33538538 edges, 9272 markings/sec, 1665 secs
lola: 15298487 markings, 33641322 edges, 9248 markings/sec, 1670 secs
lola: 15344553 markings, 33747572 edges, 9213 markings/sec, 1675 secs
lola: 15390269 markings, 33851530 edges, 9143 markings/sec, 1680 secs
lola: 15435935 markings, 33953892 edges, 9133 markings/sec, 1685 secs
lola: 15482427 markings, 34060021 edges, 9298 markings/sec, 1690 secs
lola: 15528364 markings, 34163028 edges, 9187 markings/sec, 1695 secs
lola: 15574094 markings, 34267147 edges, 9146 markings/sec, 1700 secs
lola: 15619089 markings, 34366458 edges, 8999 markings/sec, 1705 secs
lola: 15662826 markings, 34463931 edges, 8747 markings/sec, 1710 secs
lola: 15706525 markings, 34564206 edges, 8740 markings/sec, 1715 secs
lola: 15750606 markings, 34663316 edges, 8816 markings/sec, 1720 secs
lola: 15797087 markings, 34767977 edges, 9296 markings/sec, 1725 secs
lola: 15842539 markings, 34873200 edges, 9090 markings/sec, 1730 secs
lola: 15887798 markings, 34975290 edges, 9052 markings/sec, 1735 secs
lola: 15932879 markings, 35080415 edges, 9016 markings/sec, 1740 secs
lola: 15978582 markings, 35182344 edges, 9141 markings/sec, 1745 secs
lola: 16023970 markings, 35284439 edges, 9078 markings/sec, 1750 secs
lola: 16070115 markings, 35387042 edges, 9229 markings/sec, 1755 secs
lola: 16114269 markings, 35485690 edges, 8831 markings/sec, 1760 secs
lola: 16158466 markings, 35587477 edges, 8839 markings/sec, 1765 secs
lola: 16202643 markings, 35685996 edges, 8835 markings/sec, 1770 secs
lola: 16246734 markings, 35786835 edges, 8818 markings/sec, 1775 secs
lola: 16290290 markings, 35887832 edges, 8711 markings/sec, 1780 secs
lola: 16333809 markings, 35986614 edges, 8704 markings/sec, 1785 secs
lola: 16378254 markings, 36088651 edges, 8889 markings/sec, 1790 secs
lola: 16422159 markings, 36188126 edges, 8781 markings/sec, 1795 secs
lola: 16468129 markings, 36292087 edges, 9194 markings/sec, 1800 secs
lola: 16514381 markings, 36396326 edges, 9250 markings/sec, 1805 secs
lola: 16560234 markings, 36500492 edges, 9171 markings/sec, 1810 secs
lola: 16606173 markings, 36603919 edges, 9188 markings/sec, 1815 secs
lola: 16651384 markings, 36706802 edges, 9042 markings/sec, 1820 secs
lola: 16697060 markings, 36810362 edges, 9135 markings/sec, 1825 secs
lola: 16742935 markings, 36915926 edges, 9175 markings/sec, 1830 secs
lola: 16788671 markings, 37021442 edges, 9147 markings/sec, 1835 secs
lola: 16835725 markings, 37128023 edges, 9411 markings/sec, 1840 secs
lola: 16882112 markings, 37233116 edges, 9277 markings/sec, 1845 secs
lola: 16929531 markings, 37337286 edges, 9484 markings/sec, 1850 secs
lola: 16975440 markings, 37440829 edges, 9182 markings/sec, 1855 secs
lola: 17019242 markings, 37541975 edges, 8760 markings/sec, 1860 secs
lola: 17063798 markings, 37644364 edges, 8911 markings/sec, 1865 secs
lola: 17108352 markings, 37745833 edges, 8911 markings/sec, 1870 secs
lola: 17153107 markings, 37846697 edges, 8951 markings/sec, 1875 secs
lola: 17197625 markings, 37948249 edges, 8904 markings/sec, 1880 secs
lola: 17242273 markings, 38051821 edges, 8930 markings/sec, 1885 secs
lola: 17286419 markings, 38154407 edges, 8829 markings/sec, 1890 secs
lola: 17331629 markings, 38258944 edges, 9042 markings/sec, 1895 secs
lola: 17377214 markings, 38361879 edges, 9117 markings/sec, 1900 secs
lola: 17421134 markings, 38462934 edges, 8784 markings/sec, 1905 secs
lola: 17464899 markings, 38563440 edges, 8753 markings/sec, 1910 secs
lola: 17508431 markings, 38663572 edges, 8706 markings/sec, 1915 secs
lola: 17553056 markings, 38762961 edges, 8925 markings/sec, 1920 secs
lola: 17597272 markings, 38861821 edges, 8843 markings/sec, 1925 secs
lola: 17640768 markings, 38962955 edges, 8699 markings/sec, 1930 secs
lola: 17685550 markings, 39063434 edges, 8956 markings/sec, 1935 secs
lola: 17729334 markings, 39163858 edges, 8757 markings/sec, 1940 secs
lola: 17773235 markings, 39262461 edges, 8780 markings/sec, 1945 secs
lola: 17817067 markings, 39361766 edges, 8766 markings/sec, 1950 secs
lola: 17861038 markings, 39461762 edges, 8794 markings/sec, 1955 secs
lola: 17904460 markings, 39559249 edges, 8684 markings/sec, 1960 secs
lola: 17948264 markings, 39658650 edges, 8761 markings/sec, 1965 secs
lola: 17993130 markings, 39760853 edges, 8973 markings/sec, 1970 secs
lola: 18038155 markings, 39861552 edges, 9005 markings/sec, 1975 secs
lola: 18082850 markings, 39965352 edges, 8939 markings/sec, 1980 secs
lola: 18127499 markings, 40066334 edges, 8930 markings/sec, 1985 secs
lola: 18172036 markings, 40164976 edges, 8907 markings/sec, 1990 secs
lola: 18217615 markings, 40266985 edges, 9116 markings/sec, 1995 secs
lola: 18262823 markings, 40369678 edges, 9042 markings/sec, 2000 secs
lola: 18308780 markings, 40474462 edges, 9191 markings/sec, 2005 secs
lola: 18354947 markings, 40576985 edges, 9233 markings/sec, 2010 secs
lola: 18400454 markings, 40680218 edges, 9101 markings/sec, 2015 secs
lola: 18446253 markings, 40782776 edges, 9160 markings/sec, 2020 secs
lola: 18490093 markings, 40883519 edges, 8768 markings/sec, 2025 secs
lola: 18533387 markings, 40981493 edges, 8659 markings/sec, 2030 secs
lola: 18577764 markings, 41082038 edges, 8875 markings/sec, 2035 secs
lola: 18622310 markings, 41183714 edges, 8909 markings/sec, 2040 secs
lola: 18667375 markings, 41287096 edges, 9013 markings/sec, 2045 secs
lola: 18712158 markings, 41390173 edges, 8957 markings/sec, 2050 secs
lola: 18757210 markings, 41494362 edges, 9010 markings/sec, 2055 secs
lola: 18801780 markings, 41596377 edges, 8914 markings/sec, 2060 secs
lola: 18846350 markings, 41697136 edges, 8914 markings/sec, 2065 secs
lola: 18892064 markings, 41798904 edges, 9143 markings/sec, 2070 secs
lola: 18937631 markings, 41902828 edges, 9113 markings/sec, 2075 secs
lola: 18982642 markings, 42006731 edges, 9002 markings/sec, 2080 secs
lola: 19027233 markings, 42108935 edges, 8918 markings/sec, 2085 secs
lola: 19071945 markings, 42212832 edges, 8942 markings/sec, 2090 secs
lola: 19118022 markings, 42317540 edges, 9215 markings/sec, 2095 secs
lola: 19162575 markings, 42420255 edges, 8911 markings/sec, 2100 secs
lola: 19207991 markings, 42524859 edges, 9083 markings/sec, 2105 secs
lola: 19253946 markings, 42628684 edges, 9191 markings/sec, 2110 secs
lola: 19298694 markings, 42731372 edges, 8950 markings/sec, 2115 secs
lola: 19344396 markings, 42834422 edges, 9140 markings/sec, 2120 secs
lola: 19390483 markings, 42938149 edges, 9217 markings/sec, 2125 secs
lola: 19435423 markings, 43042699 edges, 8988 markings/sec, 2130 secs
lola: 19481156 markings, 43145911 edges, 9147 markings/sec, 2135 secs
lola: 19526488 markings, 43248434 edges, 9066 markings/sec, 2140 secs
lola: 19571802 markings, 43349738 edges, 9063 markings/sec, 2145 secs
lola: 19617950 markings, 43454521 edges, 9230 markings/sec, 2150 secs
lola: 19662013 markings, 43555486 edges, 8813 markings/sec, 2155 secs
lola: 19707231 markings, 43657638 edges, 9044 markings/sec, 2160 secs
lola: 19752017 markings, 43761087 edges, 8957 markings/sec, 2165 secs
lola: 19797107 markings, 43864820 edges, 9018 markings/sec, 2170 secs
lola: 19842358 markings, 43967352 edges, 9050 markings/sec, 2175 secs
lola: 19887215 markings, 44070837 edges, 8971 markings/sec, 2180 secs
lola: 19932665 markings, 44176584 edges, 9090 markings/sec, 2185 secs
lola: 19978328 markings, 44278422 edges, 9133 markings/sec, 2190 secs
lola: 20024790 markings, 44384030 edges, 9292 markings/sec, 2195 secs
lola: 20071252 markings, 44486977 edges, 9292 markings/sec, 2200 secs
lola: 20118862 markings, 44588446 edges, 9522 markings/sec, 2205 secs
lola: 20168353 markings, 44688090 edges, 9898 markings/sec, 2210 secs
lola: 20214050 markings, 44790615 edges, 9139 markings/sec, 2215 secs
lola: 20259019 markings, 44895925 edges, 8994 markings/sec, 2220 secs
lola: 20303395 markings, 44997997 edges, 8875 markings/sec, 2225 secs
lola: 20347646 markings, 45098277 edges, 8850 markings/sec, 2230 secs
lola: 20391642 markings, 45197110 edges, 8799 markings/sec, 2235 secs
lola: 20436091 markings, 45300224 edges, 8890 markings/sec, 2240 secs
lola: 20480047 markings, 45399149 edges, 8791 markings/sec, 2245 secs
lola: 20524850 markings, 45502845 edges, 8961 markings/sec, 2250 secs
lola: 20570057 markings, 45607470 edges, 9041 markings/sec, 2255 secs
lola: 20615710 markings, 45711142 edges, 9131 markings/sec, 2260 secs
lola: 20660862 markings, 45814653 edges, 9030 markings/sec, 2265 secs
lola: 20706128 markings, 45917476 edges, 9053 markings/sec, 2270 secs
lola: 20750431 markings, 46020394 edges, 8861 markings/sec, 2275 secs
lola: 20794979 markings, 46124073 edges, 8910 markings/sec, 2280 secs
lola: 20840012 markings, 46225874 edges, 9007 markings/sec, 2285 secs
lola: 20885160 markings, 46329550 edges, 9030 markings/sec, 2290 secs
lola: 20929384 markings, 46433068 edges, 8845 markings/sec, 2295 secs
lola: 20974933 markings, 46536487 edges, 9110 markings/sec, 2300 secs
lola: 21019625 markings, 46638242 edges, 8938 markings/sec, 2305 secs
lola: 21064833 markings, 46743192 edges, 9042 markings/sec, 2310 secs
lola: 21110814 markings, 46850494 edges, 9196 markings/sec, 2315 secs
lola: 21156927 markings, 46956202 edges, 9223 markings/sec, 2320 secs
lola: 21203171 markings, 47062233 edges, 9249 markings/sec, 2325 secs
lola: 21248779 markings, 47165607 edges, 9122 markings/sec, 2330 secs
lola: 21294322 markings, 47270759 edges, 9109 markings/sec, 2335 secs
lola: 21340093 markings, 47375859 edges, 9154 markings/sec, 2340 secs
lola: 21386789 markings, 47481082 edges, 9339 markings/sec, 2345 secs
lola: 21432170 markings, 47585988 edges, 9076 markings/sec, 2350 secs
lola: 21476976 markings, 47689992 edges, 8961 markings/sec, 2355 secs
lola: 21522201 markings, 47792740 edges, 9045 markings/sec, 2360 secs
lola: 21566759 markings, 47894022 edges, 8912 markings/sec, 2365 secs
lola: 21611759 markings, 47996648 edges, 9000 markings/sec, 2370 secs
lola: 21656736 markings, 48099180 edges, 8995 markings/sec, 2375 secs
lola: 21701647 markings, 48201333 edges, 8982 markings/sec, 2380 secs
lola: 21746556 markings, 48302516 edges, 8982 markings/sec, 2385 secs
lola: 21791838 markings, 48405837 edges, 9056 markings/sec, 2390 secs
lola: 21836673 markings, 48508096 edges, 8967 markings/sec, 2395 secs
lola: 21882078 markings, 48611473 edges, 9081 markings/sec, 2400 secs
lola: 21927484 markings, 48714682 edges, 9081 markings/sec, 2405 secs
lola: 21973224 markings, 48821156 edges, 9148 markings/sec, 2410 secs
lola: 22018998 markings, 48925810 edges, 9155 markings/sec, 2415 secs
lola: 22064558 markings, 49030561 edges, 9112 markings/sec, 2420 secs
lola: 22110184 markings, 49136321 edges, 9125 markings/sec, 2425 secs
lola: 22155012 markings, 49238144 edges, 8966 markings/sec, 2430 secs
lola: 22199658 markings, 49340034 edges, 8929 markings/sec, 2435 secs
lola: 22244743 markings, 49442710 edges, 9017 markings/sec, 2440 secs
lola: 22289910 markings, 49546585 edges, 9033 markings/sec, 2445 secs
lola: 22334375 markings, 49647782 edges, 8893 markings/sec, 2450 secs
lola: 22379771 markings, 49752370 edges, 9079 markings/sec, 2455 secs
lola: 22425413 markings, 49857381 edges, 9128 markings/sec, 2460 secs
lola: 22470663 markings, 49960356 edges, 9050 markings/sec, 2465 secs
lola: 22515800 markings, 50063613 edges, 9027 markings/sec, 2470 secs
lola: 22560380 markings, 50166813 edges, 8916 markings/sec, 2475 secs
lola: 22604719 markings, 50268658 edges, 8868 markings/sec, 2480 secs
lola: 22649761 markings, 50367933 edges, 9008 markings/sec, 2485 secs
lola: 22694276 markings, 50467660 edges, 8903 markings/sec, 2490 secs
lola: 22738458 markings, 50566990 edges, 8836 markings/sec, 2495 secs
lola: 22783120 markings, 50666996 edges, 8932 markings/sec, 2500 secs
lola: 22826323 markings, 50765797 edges, 8641 markings/sec, 2505 secs
lola: 22871126 markings, 50864838 edges, 8961 markings/sec, 2510 secs
lola: 22918336 markings, 50965919 edges, 9442 markings/sec, 2515 secs
lola: 22962019 markings, 51065860 edges, 8737 markings/sec, 2520 secs
lola: 23005547 markings, 51165868 edges, 8706 markings/sec, 2525 secs
lola: 23049418 markings, 51264971 edges, 8774 markings/sec, 2530 secs
lola: 23096294 markings, 51365631 edges, 9375 markings/sec, 2535 secs
lola: 23141094 markings, 51468283 edges, 8960 markings/sec, 2540 secs
lola: 23185294 markings, 51569258 edges, 8840 markings/sec, 2545 secs
lola: 23229839 markings, 51673009 edges, 8909 markings/sec, 2550 secs
lola: 23274319 markings, 51775627 edges, 8896 markings/sec, 2555 secs
lola: 23318825 markings, 51877850 edges, 8901 markings/sec, 2560 secs
lola: 23363142 markings, 51978066 edges, 8863 markings/sec, 2565 secs
lola: 23407633 markings, 52078406 edges, 8898 markings/sec, 2570 secs
lola: 23454759 markings, 52184208 edges, 9425 markings/sec, 2575 secs
lola: 23502253 markings, 52291718 edges, 9499 markings/sec, 2580 secs
lola: 23550854 markings, 52398319 edges, 9720 markings/sec, 2585 secs
lola: 23594707 markings, 52500068 edges, 8771 markings/sec, 2590 secs
lola: 23638936 markings, 52599324 edges, 8846 markings/sec, 2595 secs
lola: 23685555 markings, 52706637 edges, 9324 markings/sec, 2600 secs
lola: 23733124 markings, 52817691 edges, 9514 markings/sec, 2605 secs
lola: 23781695 markings, 52928337 edges, 9714 markings/sec, 2610 secs
lola: 23828125 markings, 53034177 edges, 9286 markings/sec, 2615 secs
lola: 23873960 markings, 53141172 edges, 9167 markings/sec, 2620 secs
lola: 23922818 markings, 53247460 edges, 9772 markings/sec, 2625 secs
lola: 23970005 markings, 53351972 edges, 9437 markings/sec, 2630 secs
lola: 24016558 markings, 53459057 edges, 9311 markings/sec, 2635 secs
lola: 24062043 markings, 53562678 edges, 9097 markings/sec, 2640 secs
lola: 24107658 markings, 53667196 edges, 9123 markings/sec, 2645 secs
lola: 24153911 markings, 53773991 edges, 9251 markings/sec, 2650 secs
lola: 24200585 markings, 53879793 edges, 9335 markings/sec, 2655 secs
lola: 24247109 markings, 53988828 edges, 9305 markings/sec, 2660 secs
lola: 24294569 markings, 54094411 edges, 9492 markings/sec, 2665 secs
lola: 24340914 markings, 54200403 edges, 9269 markings/sec, 2670 secs
lola: 24387099 markings, 54305687 edges, 9237 markings/sec, 2675 secs
lola: 24433318 markings, 54410852 edges, 9244 markings/sec, 2680 secs
lola: 24478980 markings, 54514156 edges, 9132 markings/sec, 2685 secs
lola: 24524252 markings, 54617026 edges, 9054 markings/sec, 2690 secs
lola: 24569956 markings, 54720924 edges, 9141 markings/sec, 2695 secs
lola: 24617552 markings, 54827277 edges, 9519 markings/sec, 2700 secs
lola: 24663654 markings, 54936271 edges, 9220 markings/sec, 2705 secs
lola: 24709813 markings, 55041270 edges, 9232 markings/sec, 2710 secs
lola: 24756743 markings, 55146231 edges, 9386 markings/sec, 2715 secs
lola: 24801989 markings, 55248096 edges, 9049 markings/sec, 2720 secs
lola: 24847960 markings, 55352761 edges, 9194 markings/sec, 2725 secs
lola: 24894910 markings, 55459430 edges, 9390 markings/sec, 2730 secs
lola: 24941438 markings, 55567904 edges, 9306 markings/sec, 2735 secs
lola: 24991168 markings, 55682608 edges, 9946 markings/sec, 2740 secs
lola: 25043240 markings, 55799987 edges, 10414 markings/sec, 2745 secs
lola: 25095284 markings, 55919647 edges, 10409 markings/sec, 2750 secs
lola: 25147484 markings, 56037738 edges, 10440 markings/sec, 2755 secs
lola: 25199667 markings, 56156857 edges, 10437 markings/sec, 2760 secs
lola: 25253328 markings, 56277864 edges, 10732 markings/sec, 2765 secs
lola: 25307071 markings, 56399617 edges, 10749 markings/sec, 2770 secs
lola: 25360768 markings, 56522288 edges, 10739 markings/sec, 2775 secs
lola: 25414069 markings, 56645354 edges, 10660 markings/sec, 2780 secs
lola: 25467370 markings, 56769015 edges, 10660 markings/sec, 2785 secs
lola: 25520791 markings, 56893153 edges, 10684 markings/sec, 2790 secs
lola: 25574409 markings, 57013848 edges, 10724 markings/sec, 2795 secs
lola: 25628085 markings, 57136714 edges, 10735 markings/sec, 2800 secs
lola: 25681446 markings, 57257758 edges, 10672 markings/sec, 2805 secs
lola: 25735433 markings, 57380073 edges, 10797 markings/sec, 2810 secs
lola: 25788956 markings, 57503045 edges, 10705 markings/sec, 2815 secs
lola: 25842433 markings, 57623646 edges, 10695 markings/sec, 2820 secs
lola: 25894356 markings, 57737688 edges, 10385 markings/sec, 2825 secs
lola: 25945571 markings, 57853293 edges, 10243 markings/sec, 2830 secs
lola: 25996088 markings, 57967556 edges, 10103 markings/sec, 2835 secs
lola: 26047185 markings, 58084060 edges, 10219 markings/sec, 2840 secs
lola: 26096259 markings, 58197672 edges, 9815 markings/sec, 2845 secs
lola: 26144921 markings, 58308011 edges, 9732 markings/sec, 2850 secs
lola: 26193551 markings, 58418863 edges, 9726 markings/sec, 2855 secs
lola: 26242138 markings, 58530153 edges, 9717 markings/sec, 2860 secs
lola: 26290489 markings, 58643791 edges, 9670 markings/sec, 2865 secs
lola: 26338912 markings, 58754481 edges, 9685 markings/sec, 2870 secs
lola: 26388264 markings, 58869004 edges, 9870 markings/sec, 2875 secs
lola: 26437237 markings, 58979026 edges, 9795 markings/sec, 2880 secs
lola: 26486576 markings, 59090553 edges, 9868 markings/sec, 2885 secs
lola: 26534701 markings, 59202222 edges, 9625 markings/sec, 2890 secs
lola: 26585836 markings, 59314248 edges, 10227 markings/sec, 2895 secs
lola: 26634649 markings, 59424992 edges, 9763 markings/sec, 2900 secs
lola: 26682517 markings, 59535922 edges, 9574 markings/sec, 2905 secs
lola: 26731306 markings, 59648397 edges, 9758 markings/sec, 2910 secs
lola: 26779570 markings, 59757409 edges, 9653 markings/sec, 2915 secs
lola: 26828227 markings, 59869313 edges, 9731 markings/sec, 2920 secs
lola: 26876787 markings, 59981227 edges, 9712 markings/sec, 2925 secs
lola: 26925305 markings, 60093397 edges, 9704 markings/sec, 2930 secs
lola: 26973339 markings, 60202624 edges, 9607 markings/sec, 2935 secs
lola: 27021416 markings, 60310450 edges, 9615 markings/sec, 2940 secs
lola: 27069842 markings, 60422511 edges, 9685 markings/sec, 2945 secs
lola: 27118311 markings, 60533453 edges, 9694 markings/sec, 2950 secs
lola: 27167310 markings, 60645928 edges, 9800 markings/sec, 2955 secs
lola: 27215749 markings, 60758669 edges, 9688 markings/sec, 2960 secs
lola: 27264985 markings, 60869899 edges, 9847 markings/sec, 2965 secs
lola: 27315333 markings, 60986075 edges, 10070 markings/sec, 2970 secs
lola: 27367870 markings, 61105113 edges, 10507 markings/sec, 2975 secs
lola: 27423815 markings, 61228350 edges, 11189 markings/sec, 2980 secs
lola: 27478757 markings, 61347052 edges, 10988 markings/sec, 2985 secs
lola: 27530491 markings, 61465699 edges, 10347 markings/sec, 2990 secs
lola: 27583589 markings, 61588724 edges, 10620 markings/sec, 2995 secs
lola: 27637512 markings, 61712673 edges, 10785 markings/sec, 3000 secs
lola: 27691754 markings, 61837072 edges, 10848 markings/sec, 3005 secs
lola: 27746462 markings, 61958213 edges, 10942 markings/sec, 3010 secs
lola: 27798468 markings, 62077213 edges, 10401 markings/sec, 3015 secs
lola: 27850958 markings, 62196421 edges, 10498 markings/sec, 3020 secs
lola: 27903069 markings, 62316038 edges, 10422 markings/sec, 3025 secs
lola: 27954804 markings, 62436036 edges, 10347 markings/sec, 3030 secs
lola: 28006885 markings, 62554005 edges, 10416 markings/sec, 3035 secs
lola: 28058808 markings, 62673496 edges, 10385 markings/sec, 3040 secs
lola: 28110937 markings, 62791832 edges, 10426 markings/sec, 3045 secs
lola: 28163585 markings, 62911339 edges, 10530 markings/sec, 3050 secs
lola: 28217734 markings, 63032014 edges, 10830 markings/sec, 3055 secs
lola: 28269591 markings, 63152883 edges, 10371 markings/sec, 3060 secs
lola: 28321268 markings, 63272046 edges, 10335 markings/sec, 3065 secs
lola: 28372951 markings, 63391800 edges, 10337 markings/sec, 3070 secs
lola: 28424828 markings, 63513028 edges, 10375 markings/sec, 3075 secs
lola: 28477426 markings, 63631608 edges, 10520 markings/sec, 3080 secs
lola: 28529449 markings, 63750309 edges, 10405 markings/sec, 3085 secs
lola: 28581698 markings, 63867040 edges, 10450 markings/sec, 3090 secs
lola: 28635532 markings, 63990422 edges, 10767 markings/sec, 3095 secs
lola: 28689819 markings, 64113409 edges, 10857 markings/sec, 3100 secs
lola: 28743116 markings, 64236512 edges, 10659 markings/sec, 3105 secs
lola: 28797410 markings, 64360755 edges, 10859 markings/sec, 3110 secs
lola: 28854542 markings, 64489830 edges, 11426 markings/sec, 3115 secs
lola: 28906944 markings, 64611332 edges, 10480 markings/sec, 3120 secs
lola: 28963752 markings, 64742999 edges, 11362 markings/sec, 3125 secs
lola: 29020255 markings, 64874545 edges, 11301 markings/sec, 3130 secs
lola: 29079025 markings, 65004875 edges, 11754 markings/sec, 3135 secs
lola: 29135721 markings, 65137554 edges, 11339 markings/sec, 3140 secs
lola: 29193090 markings, 65267656 edges, 11474 markings/sec, 3145 secs
lola: 29249579 markings, 65399441 edges, 11298 markings/sec, 3150 secs
lola: 29305039 markings, 65527040 edges, 11092 markings/sec, 3155 secs
lola: 29359799 markings, 65654245 edges, 10952 markings/sec, 3160 secs
lola: 29414043 markings, 65777789 edges, 10849 markings/sec, 3165 secs
lola: 29471363 markings, 65909357 edges, 11464 markings/sec, 3170 secs
lola: 29529440 markings, 66039325 edges, 11615 markings/sec, 3175 secs
lola: 29587717 markings, 66170453 edges, 11655 markings/sec, 3180 secs
lola: 29646697 markings, 66304505 edges, 11796 markings/sec, 3185 secs
lola: 29703893 markings, 66437199 edges, 11439 markings/sec, 3190 secs
lola: 29761197 markings, 66568647 edges, 11461 markings/sec, 3195 secs
lola: 29818218 markings, 66699566 edges, 11404 markings/sec, 3200 secs
lola: 29875320 markings, 66829105 edges, 11420 markings/sec, 3205 secs
lola: 29932477 markings, 66957183 edges, 11431 markings/sec, 3210 secs
lola: 29991361 markings, 67088093 edges, 11777 markings/sec, 3215 secs
lola: 30048410 markings, 67220329 edges, 11410 markings/sec, 3220 secs
lola: 30105082 markings, 67351254 edges, 11334 markings/sec, 3225 secs
lola: 30162092 markings, 67479556 edges, 11402 markings/sec, 3230 secs
lola: 30218853 markings, 67609672 edges, 11352 markings/sec, 3235 secs
lola: 30275331 markings, 67737044 edges, 11296 markings/sec, 3240 secs
lola: 30331488 markings, 67865917 edges, 11231 markings/sec, 3245 secs
lola: 30388144 markings, 67997476 edges, 11331 markings/sec, 3250 secs
lola: 30444966 markings, 68127739 edges, 11364 markings/sec, 3255 secs
lola: 30501902 markings, 68257216 edges, 11387 markings/sec, 3260 secs
lola: 30558445 markings, 68387509 edges, 11309 markings/sec, 3265 secs
lola: 30615129 markings, 68516455 edges, 11337 markings/sec, 3270 secs
lola: 30672041 markings, 68647110 edges, 11382 markings/sec, 3275 secs
lola: 30728884 markings, 68775428 edges, 11369 markings/sec, 3280 secs
lola: 30785684 markings, 68904822 edges, 11360 markings/sec, 3285 secs
lola: 30842553 markings, 69036642 edges, 11374 markings/sec, 3290 secs
lola: 30898800 markings, 69168205 edges, 11249 markings/sec, 3295 secs
lola: 30955292 markings, 69300815 edges, 11298 markings/sec, 3300 secs
lola: 31011952 markings, 69431874 edges, 11332 markings/sec, 3305 secs
lola: 31068685 markings, 69563378 edges, 11347 markings/sec, 3310 secs
lola: 31126283 markings, 69693575 edges, 11520 markings/sec, 3315 secs
lola: 31182471 markings, 69824036 edges, 11238 markings/sec, 3320 secs
lola: 31239191 markings, 69954199 edges, 11344 markings/sec, 3325 secs
lola: 31296759 markings, 70084465 edges, 11514 markings/sec, 3330 secs
lola: 31353578 markings, 70214332 edges, 11364 markings/sec, 3335 secs
lola: 31410022 markings, 70343652 edges, 11289 markings/sec, 3340 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: memory consumption: 2530448 KB
lola: time consumption: 3570 seconds
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: memory consumption: 2530448 KB
lola: time consumption: 3571 seconds
BK_STOP 1553113101106
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SimpleLoadBal-PT-15"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is 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 r165-csrt-155286442000106"
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 '
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 ;