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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 3.7K Feb 12 18:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 12 18:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 9 02:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 25K Feb 9 02:04 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 2.7K Feb 5 01:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 01:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 4 20:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 4 20:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 1 20:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 1 20:57 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 2.0M 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-20-UpperBounds-00
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-01
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-02
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-03
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-04
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-05
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-06
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-07
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-08
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-09
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-10
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-11
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-12
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-13
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-14
FORMULA_NAME SimpleLoadBal-PT-20-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552948438924

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

FORMULA SimpleLoadBal-PT-20-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

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

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

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

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

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

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

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

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

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

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

FORMULA SimpleLoadBal-PT-20-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for UpperBounds @ SimpleLoadBal-PT-20

{
"exit":
{
"memory": 1463964,
"runtime": 3571.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(P-lb_load_1_16)",
"processed_size": 19,
"rewrites": 0
},
"result":
{
"preliminary_value": "1 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1 "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
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: 2399/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 6208
lola: finding significant places
lola: 194 places, 2205 transitions, 145 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-client_request_2) : MAX(P-client_ack_12) : MAX(P-lb_routing_1_10) : MAX(P-lb_load_1_1) : MAX(P-server_request_12_2) : MAX(P-client_idle_20) : MAX(P-client_ack_13) : MAX(P-client_request_9) : MAX(P-server_request_12_2) : MAX(P-lb_load_1_16) : MAX(P-server_request_5_2) : MAX(P-client_request_4) : MAX(P-server_request_1_2) : MAX(P-client_request_7) : MAX(P-server_request_13_2) : MAX(P-client_waiting_10)
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-client_request_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_request_2)
lola: processed formula length: 23
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 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_ack_12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_ack_12)
lola: processed formula length: 20
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 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_routing_1_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-lb_routing_1_10)
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: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_load_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-lb_load_1_1)
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: 4 markings, 3 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_request_12_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-server_request_12_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 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_idle_20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_idle_20)
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 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_ack_13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_ack_13)
lola: processed formula length: 20
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 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_request_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_request_9)
lola: processed formula length: 23
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 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_request_12_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-server_request_12_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 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-lb_load_1_16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-lb_load_1_16)
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: 22897 markings, 45188 edges, 4579 markings/sec, 0 secs
lola: 49090 markings, 100981 edges, 5239 markings/sec, 5 secs
lola: 75359 markings, 157965 edges, 5254 markings/sec, 10 secs
lola: 101544 markings, 215445 edges, 5237 markings/sec, 15 secs
lola: 128082 markings, 275399 edges, 5308 markings/sec, 20 secs
lola: 153731 markings, 334553 edges, 5130 markings/sec, 25 secs
lola: 179720 markings, 394979 edges, 5198 markings/sec, 30 secs
lola: 206323 markings, 455921 edges, 5321 markings/sec, 35 secs
lola: 232412 markings, 517049 edges, 5218 markings/sec, 40 secs
lola: 258958 markings, 579498 edges, 5309 markings/sec, 45 secs
lola: 285497 markings, 641373 edges, 5308 markings/sec, 50 secs
lola: 311735 markings, 703633 edges, 5248 markings/sec, 55 secs
lola: 337996 markings, 766176 edges, 5252 markings/sec, 60 secs
lola: 364417 markings, 828249 edges, 5284 markings/sec, 65 secs
lola: 390856 markings, 891126 edges, 5288 markings/sec, 70 secs
lola: 417219 markings, 953835 edges, 5273 markings/sec, 75 secs
lola: 443482 markings, 1017281 edges, 5253 markings/sec, 80 secs
lola: 469942 markings, 1079782 edges, 5292 markings/sec, 85 secs
lola: 496057 markings, 1141434 edges, 5223 markings/sec, 90 secs
lola: 522366 markings, 1204660 edges, 5262 markings/sec, 95 secs
lola: 549118 markings, 1265530 edges, 5350 markings/sec, 100 secs
lola: 574786 markings, 1327071 edges, 5134 markings/sec, 105 secs
lola: 600192 markings, 1387962 edges, 5081 markings/sec, 110 secs
lola: 625841 markings, 1449585 edges, 5130 markings/sec, 115 secs
lola: 651905 markings, 1512349 edges, 5213 markings/sec, 120 secs
lola: 677729 markings, 1574952 edges, 5165 markings/sec, 125 secs
lola: 703509 markings, 1637974 edges, 5156 markings/sec, 130 secs
lola: 729158 markings, 1700970 edges, 5130 markings/sec, 135 secs
lola: 755045 markings, 1763363 edges, 5177 markings/sec, 140 secs
lola: 780820 markings, 1826628 edges, 5155 markings/sec, 145 secs
lola: 806733 markings, 1890955 edges, 5183 markings/sec, 150 secs
lola: 832523 markings, 1953148 edges, 5158 markings/sec, 155 secs
lola: 857728 markings, 2014522 edges, 5041 markings/sec, 160 secs
lola: 883065 markings, 2076918 edges, 5067 markings/sec, 165 secs
lola: 908596 markings, 2139070 edges, 5106 markings/sec, 170 secs
lola: 934123 markings, 2202075 edges, 5105 markings/sec, 175 secs
lola: 959495 markings, 2264787 edges, 5074 markings/sec, 180 secs
lola: 985673 markings, 2328477 edges, 5236 markings/sec, 185 secs
lola: 1011913 markings, 2392096 edges, 5248 markings/sec, 190 secs
lola: 1038099 markings, 2456217 edges, 5237 markings/sec, 195 secs
lola: 1064396 markings, 2521320 edges, 5259 markings/sec, 200 secs
lola: 1090505 markings, 2586407 edges, 5222 markings/sec, 205 secs
lola: 1116821 markings, 2650292 edges, 5263 markings/sec, 210 secs
lola: 1142988 markings, 2714391 edges, 5233 markings/sec, 215 secs
lola: 1168529 markings, 2777712 edges, 5108 markings/sec, 220 secs
lola: 1193616 markings, 2839925 edges, 5017 markings/sec, 225 secs
lola: 1219553 markings, 2903782 edges, 5187 markings/sec, 230 secs
lola: 1245846 markings, 2967141 edges, 5259 markings/sec, 235 secs
lola: 1271831 markings, 3031065 edges, 5197 markings/sec, 240 secs
lola: 1297445 markings, 3093290 edges, 5123 markings/sec, 245 secs
lola: 1322829 markings, 3156481 edges, 5077 markings/sec, 250 secs
lola: 1348213 markings, 3219636 edges, 5077 markings/sec, 255 secs
lola: 1373247 markings, 3281635 edges, 5007 markings/sec, 260 secs
lola: 1398579 markings, 3343666 edges, 5066 markings/sec, 265 secs
lola: 1423789 markings, 3406293 edges, 5042 markings/sec, 270 secs
lola: 1449268 markings, 3470220 edges, 5096 markings/sec, 275 secs
lola: 1475138 markings, 3534021 edges, 5174 markings/sec, 280 secs
lola: 1500830 markings, 3597965 edges, 5138 markings/sec, 285 secs
lola: 1526471 markings, 3661483 edges, 5128 markings/sec, 290 secs
lola: 1552169 markings, 3725768 edges, 5140 markings/sec, 295 secs
lola: 1577891 markings, 3789512 edges, 5144 markings/sec, 300 secs
lola: 1603823 markings, 3854254 edges, 5186 markings/sec, 305 secs
lola: 1629878 markings, 3919577 edges, 5211 markings/sec, 310 secs
lola: 1655924 markings, 3984682 edges, 5209 markings/sec, 315 secs
lola: 1681922 markings, 4049855 edges, 5200 markings/sec, 320 secs
lola: 1707982 markings, 4114402 edges, 5212 markings/sec, 325 secs
lola: 1733848 markings, 4178427 edges, 5173 markings/sec, 330 secs
lola: 1759803 markings, 4242801 edges, 5191 markings/sec, 335 secs
lola: 1785380 markings, 4306232 edges, 5115 markings/sec, 340 secs
lola: 1811205 markings, 4367996 edges, 5165 markings/sec, 345 secs
lola: 1836913 markings, 4431737 edges, 5142 markings/sec, 350 secs
lola: 1863088 markings, 4497348 edges, 5235 markings/sec, 355 secs
lola: 1888796 markings, 4562317 edges, 5142 markings/sec, 360 secs
lola: 1914597 markings, 4626267 edges, 5160 markings/sec, 365 secs
lola: 1940665 markings, 4691697 edges, 5214 markings/sec, 370 secs
lola: 1966689 markings, 4756912 edges, 5205 markings/sec, 375 secs
lola: 1993196 markings, 4823975 edges, 5301 markings/sec, 380 secs
lola: 2019273 markings, 4890222 edges, 5215 markings/sec, 385 secs
lola: 2045257 markings, 4955341 edges, 5197 markings/sec, 390 secs
lola: 2071254 markings, 5020138 edges, 5199 markings/sec, 395 secs
lola: 2097347 markings, 5084606 edges, 5219 markings/sec, 400 secs
lola: 2123816 markings, 5151204 edges, 5294 markings/sec, 405 secs
lola: 2149358 markings, 5214223 edges, 5108 markings/sec, 410 secs
lola: 2174231 markings, 5276539 edges, 4975 markings/sec, 415 secs
lola: 2199093 markings, 5338822 edges, 4972 markings/sec, 420 secs
lola: 2223885 markings, 5400542 edges, 4958 markings/sec, 425 secs
lola: 2249112 markings, 5463623 edges, 5045 markings/sec, 430 secs
lola: 2274856 markings, 5524017 edges, 5149 markings/sec, 435 secs
lola: 2301812 markings, 5588369 edges, 5391 markings/sec, 440 secs
lola: 2326409 markings, 5651240 edges, 4919 markings/sec, 445 secs
lola: 2350937 markings, 5713324 edges, 4906 markings/sec, 450 secs
lola: 2375393 markings, 5775696 edges, 4891 markings/sec, 455 secs
lola: 2400033 markings, 5837726 edges, 4928 markings/sec, 460 secs
lola: 2425732 markings, 5902074 edges, 5140 markings/sec, 465 secs
lola: 2452213 markings, 5968666 edges, 5296 markings/sec, 470 secs
lola: 2477542 markings, 6032411 edges, 5066 markings/sec, 475 secs
lola: 2503267 markings, 6098296 edges, 5145 markings/sec, 480 secs
lola: 2530091 markings, 6165817 edges, 5365 markings/sec, 485 secs
lola: 2556036 markings, 6231200 edges, 5189 markings/sec, 490 secs
lola: 2580734 markings, 6294392 edges, 4940 markings/sec, 495 secs
lola: 2604968 markings, 6356084 edges, 4847 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 299376 KB
lola: time consumption: 515 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 10 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_request_5_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-server_request_5_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: 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: 34 markings, 33 edges
lola: ========================================
lola: subprocess 11 will run for 610 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_request_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_request_4)
lola: processed formula length: 23
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 12 will run for 763 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-server_request_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-server_request_1_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: 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: 34 markings, 33 edges
lola: ========================================
lola: subprocess 13 will run for 1017 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_request_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_request_7)
lola: processed formula length: 23
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 14 will run for 1526 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 15 will run for 3053 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P-client_waiting_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-client_waiting_10)
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: ========================================
lola: ...considering subproblem: MAX(P-lb_load_1_16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P-lb_load_1_16)
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: 22916 markings, 45228 edges, 4583 markings/sec, 0 secs
lola: 49134 markings, 101056 edges, 5244 markings/sec, 5 secs
lola: 75073 markings, 157352 edges, 5188 markings/sec, 10 secs
lola: 100434 markings, 212897 edges, 5072 markings/sec, 15 secs
lola: 127654 markings, 274373 edges, 5444 markings/sec, 20 secs
lola: 153984 markings, 335092 edges, 5266 markings/sec, 25 secs
lola: 181293 markings, 398654 edges, 5462 markings/sec, 30 secs
lola: 208400 markings, 460704 edges, 5421 markings/sec, 35 secs
lola: 235476 markings, 524166 edges, 5415 markings/sec, 40 secs
lola: 262601 markings, 587745 edges, 5425 markings/sec, 45 secs
lola: 289704 markings, 651259 edges, 5421 markings/sec, 50 secs
lola: 316571 markings, 714935 edges, 5373 markings/sec, 55 secs
lola: 343318 markings, 778701 edges, 5349 markings/sec, 60 secs
lola: 370056 markings, 841594 edges, 5348 markings/sec, 65 secs
lola: 396713 markings, 904881 edges, 5331 markings/sec, 70 secs
lola: 423273 markings, 968862 edges, 5312 markings/sec, 75 secs
lola: 449571 markings, 1031701 edges, 5260 markings/sec, 80 secs
lola: 476268 markings, 1094483 edges, 5339 markings/sec, 85 secs
lola: 502511 markings, 1157052 edges, 5249 markings/sec, 90 secs
lola: 529361 markings, 1220609 edges, 5370 markings/sec, 95 secs
lola: 556513 markings, 1283183 edges, 5430 markings/sec, 100 secs
lola: 583106 markings, 1347125 edges, 5319 markings/sec, 105 secs
lola: 610094 markings, 1411548 edges, 5398 markings/sec, 110 secs
lola: 636963 markings, 1476243 edges, 5374 markings/sec, 115 secs
lola: 664021 markings, 1541122 edges, 5412 markings/sec, 120 secs
lola: 690903 markings, 1607084 edges, 5376 markings/sec, 125 secs
lola: 717692 markings, 1672725 edges, 5358 markings/sec, 130 secs
lola: 744914 markings, 1738878 edges, 5444 markings/sec, 135 secs
lola: 772504 markings, 1806430 edges, 5518 markings/sec, 140 secs
lola: 800138 markings, 1874552 edges, 5527 markings/sec, 145 secs
lola: 827807 markings, 1942450 edges, 5534 markings/sec, 150 secs
lola: 855325 markings, 2008478 edges, 5504 markings/sec, 155 secs
lola: 882334 markings, 2075107 edges, 5402 markings/sec, 160 secs
lola: 910215 markings, 2142978 edges, 5576 markings/sec, 165 secs
lola: 938066 markings, 2211849 edges, 5570 markings/sec, 170 secs
lola: 965777 markings, 2280116 edges, 5542 markings/sec, 175 secs
lola: 993698 markings, 2347577 edges, 5584 markings/sec, 180 secs
lola: 1021308 markings, 2414847 edges, 5522 markings/sec, 185 secs
lola: 1048983 markings, 2483361 edges, 5535 markings/sec, 190 secs
lola: 1076490 markings, 2551441 edges, 5501 markings/sec, 195 secs
lola: 1103998 markings, 2619230 edges, 5502 markings/sec, 200 secs
lola: 1131526 markings, 2686278 edges, 5506 markings/sec, 205 secs
lola: 1158939 markings, 2754174 edges, 5483 markings/sec, 210 secs
lola: 1186010 markings, 2821118 edges, 5414 markings/sec, 215 secs
lola: 1213259 markings, 2888078 edges, 5450 markings/sec, 220 secs
lola: 1240503 markings, 2954192 edges, 5449 markings/sec, 225 secs
lola: 1267521 markings, 3020213 edges, 5404 markings/sec, 230 secs
lola: 1294390 markings, 3085809 edges, 5374 markings/sec, 235 secs
lola: 1321507 markings, 3153135 edges, 5423 markings/sec, 240 secs
lola: 1348034 markings, 3219194 edges, 5305 markings/sec, 245 secs
lola: 1374424 markings, 3284531 edges, 5278 markings/sec, 250 secs
lola: 1401323 markings, 3350323 edges, 5380 markings/sec, 255 secs
lola: 1427965 markings, 3416675 edges, 5328 markings/sec, 260 secs
lola: 1454532 markings, 3482584 edges, 5313 markings/sec, 265 secs
lola: 1481166 markings, 3549283 edges, 5327 markings/sec, 270 secs
lola: 1507710 markings, 3615045 edges, 5309 markings/sec, 275 secs
lola: 1534439 markings, 3681329 edges, 5346 markings/sec, 280 secs
lola: 1561091 markings, 3748283 edges, 5330 markings/sec, 285 secs
lola: 1587223 markings, 3812791 edges, 5226 markings/sec, 290 secs
lola: 1613238 markings, 3878214 edges, 5203 markings/sec, 295 secs
lola: 1639306 markings, 3943213 edges, 5214 markings/sec, 300 secs
lola: 1665729 markings, 4009138 edges, 5285 markings/sec, 305 secs
lola: 1692212 markings, 4075360 edges, 5297 markings/sec, 310 secs
lola: 1718538 markings, 4140691 edges, 5265 markings/sec, 315 secs
lola: 1745225 markings, 4207037 edges, 5337 markings/sec, 320 secs
lola: 1772320 markings, 4274183 edges, 5419 markings/sec, 325 secs
lola: 1799301 markings, 4339009 edges, 5396 markings/sec, 330 secs
lola: 1825802 markings, 4404320 edges, 5300 markings/sec, 335 secs
lola: 1852558 markings, 4471522 edges, 5351 markings/sec, 340 secs
lola: 1879145 markings, 4537651 edges, 5317 markings/sec, 345 secs
lola: 1905573 markings, 4604655 edges, 5286 markings/sec, 350 secs
lola: 1932122 markings, 4670199 edges, 5310 markings/sec, 355 secs
lola: 1958511 markings, 4736721 edges, 5278 markings/sec, 360 secs
lola: 1984925 markings, 4802898 edges, 5283 markings/sec, 365 secs
lola: 2011079 markings, 4869192 edges, 5231 markings/sec, 370 secs
lola: 2037111 markings, 4935172 edges, 5206 markings/sec, 375 secs
lola: 2063284 markings, 5001033 edges, 5235 markings/sec, 380 secs
lola: 2089461 markings, 5064829 edges, 5235 markings/sec, 385 secs
lola: 2115496 markings, 5130025 edges, 5207 markings/sec, 390 secs
lola: 2142121 markings, 5196543 edges, 5325 markings/sec, 395 secs
lola: 2169176 markings, 5264054 edges, 5411 markings/sec, 400 secs
lola: 2196035 markings, 5331186 edges, 5372 markings/sec, 405 secs
lola: 2222419 markings, 5397053 edges, 5277 markings/sec, 410 secs
lola: 2249037 markings, 5463404 edges, 5324 markings/sec, 415 secs
lola: 2276541 markings, 5528092 edges, 5501 markings/sec, 420 secs
lola: 2304276 markings, 5594665 edges, 5547 markings/sec, 425 secs
lola: 2330913 markings, 5662715 edges, 5327 markings/sec, 430 secs
lola: 2357407 markings, 5730070 edges, 5299 markings/sec, 435 secs
lola: 2384009 markings, 5797684 edges, 5320 markings/sec, 440 secs
lola: 2410709 markings, 5864595 edges, 5340 markings/sec, 445 secs
lola: 2437470 markings, 5931788 edges, 5352 markings/sec, 450 secs
lola: 2464372 markings, 5998994 edges, 5380 markings/sec, 455 secs
lola: 2490662 markings, 6065910 edges, 5258 markings/sec, 460 secs
lola: 2516676 markings, 6132110 edges, 5203 markings/sec, 465 secs
lola: 2542726 markings, 6197561 edges, 5210 markings/sec, 470 secs
lola: 2568901 markings, 6264088 edges, 5235 markings/sec, 475 secs
lola: 2595238 markings, 6331445 edges, 5267 markings/sec, 480 secs
lola: 2621251 markings, 6397708 edges, 5203 markings/sec, 485 secs
lola: 2645710 markings, 6459252 edges, 4892 markings/sec, 490 secs
lola: 2669933 markings, 6520126 edges, 4845 markings/sec, 495 secs
lola: 2693786 markings, 6580971 edges, 4771 markings/sec, 500 secs
lola: 2720227 markings, 6648506 edges, 5288 markings/sec, 505 secs
lola: 2746534 markings, 6715511 edges, 5261 markings/sec, 510 secs
lola: 2771036 markings, 6778240 edges, 4900 markings/sec, 515 secs
lola: 2794822 markings, 6838607 edges, 4757 markings/sec, 520 secs
lola: 2818327 markings, 6898364 edges, 4701 markings/sec, 525 secs
lola: 2842616 markings, 6959857 edges, 4858 markings/sec, 530 secs
lola: 2867746 markings, 7023913 edges, 5026 markings/sec, 535 secs
lola: 2893206 markings, 7088893 edges, 5092 markings/sec, 540 secs
lola: 2916938 markings, 7147920 edges, 4746 markings/sec, 545 secs
lola: 2941452 markings, 7210371 edges, 4903 markings/sec, 550 secs
lola: 2966930 markings, 7274694 edges, 5096 markings/sec, 555 secs
lola: 2992642 markings, 7339901 edges, 5142 markings/sec, 560 secs
lola: 3018415 markings, 7404412 edges, 5155 markings/sec, 565 secs
lola: 3044613 markings, 7469564 edges, 5240 markings/sec, 570 secs
lola: 3070448 markings, 7534742 edges, 5167 markings/sec, 575 secs
lola: 3095966 markings, 7600098 edges, 5104 markings/sec, 580 secs
lola: 3121170 markings, 7663304 edges, 5041 markings/sec, 585 secs
lola: 3146470 markings, 7727205 edges, 5060 markings/sec, 590 secs
lola: 3171392 markings, 7790633 edges, 4984 markings/sec, 595 secs
lola: 3196520 markings, 7854444 edges, 5026 markings/sec, 600 secs
lola: 3221501 markings, 7918349 edges, 4996 markings/sec, 605 secs
lola: 3246780 markings, 7983269 edges, 5056 markings/sec, 610 secs
lola: 3271864 markings, 8048386 edges, 5017 markings/sec, 615 secs
lola: 3297292 markings, 8113128 edges, 5086 markings/sec, 620 secs
lola: 3322764 markings, 8178973 edges, 5094 markings/sec, 625 secs
lola: 3347973 markings, 8242255 edges, 5042 markings/sec, 630 secs
lola: 3372732 markings, 8305404 edges, 4952 markings/sec, 635 secs
lola: 3397506 markings, 8368525 edges, 4955 markings/sec, 640 secs
lola: 3421714 markings, 8430471 edges, 4842 markings/sec, 645 secs
lola: 3445730 markings, 8492202 edges, 4803 markings/sec, 650 secs
lola: 3469813 markings, 8553804 edges, 4817 markings/sec, 655 secs
lola: 3494319 markings, 8616148 edges, 4901 markings/sec, 660 secs
lola: 3519497 markings, 8680160 edges, 5036 markings/sec, 665 secs
lola: 3544887 markings, 8745060 edges, 5078 markings/sec, 670 secs
lola: 3570101 markings, 8809769 edges, 5043 markings/sec, 675 secs
lola: 3594981 markings, 8873091 edges, 4976 markings/sec, 680 secs
lola: 3619206 markings, 8935563 edges, 4845 markings/sec, 685 secs
lola: 3643613 markings, 8997984 edges, 4881 markings/sec, 690 secs
lola: 3668660 markings, 9062295 edges, 5009 markings/sec, 695 secs
lola: 3693331 markings, 9124915 edges, 4934 markings/sec, 700 secs
lola: 3718071 markings, 9188574 edges, 4948 markings/sec, 705 secs
lola: 3743027 markings, 9252716 edges, 4991 markings/sec, 710 secs
lola: 3768414 markings, 9317404 edges, 5077 markings/sec, 715 secs
lola: 3793679 markings, 9383013 edges, 5053 markings/sec, 720 secs
lola: 3819354 markings, 9449102 edges, 5135 markings/sec, 725 secs
lola: 3844852 markings, 9514907 edges, 5100 markings/sec, 730 secs
lola: 3870211 markings, 9579132 edges, 5072 markings/sec, 735 secs
lola: 3895230 markings, 9643108 edges, 5004 markings/sec, 740 secs
lola: 3920321 markings, 9707190 edges, 5018 markings/sec, 745 secs
lola: 3945293 markings, 9770689 edges, 4994 markings/sec, 750 secs
lola: 3970079 markings, 9834696 edges, 4957 markings/sec, 755 secs
lola: 3995121 markings, 9899303 edges, 5008 markings/sec, 760 secs
lola: 4019747 markings, 9962883 edges, 4925 markings/sec, 765 secs
lola: 4044672 markings, 10026085 edges, 4985 markings/sec, 770 secs
lola: 4069546 markings, 10090422 edges, 4975 markings/sec, 775 secs
lola: 4094213 markings, 10154847 edges, 4933 markings/sec, 780 secs
lola: 4119090 markings, 10218365 edges, 4975 markings/sec, 785 secs
lola: 4144699 markings, 10283584 edges, 5122 markings/sec, 790 secs
lola: 4169952 markings, 10347734 edges, 5051 markings/sec, 795 secs
lola: 4194938 markings, 10411113 edges, 4997 markings/sec, 800 secs
lola: 4219742 markings, 10475040 edges, 4961 markings/sec, 805 secs
lola: 4244127 markings, 10537940 edges, 4877 markings/sec, 810 secs
lola: 4268704 markings, 10601117 edges, 4915 markings/sec, 815 secs
lola: 4293046 markings, 10663930 edges, 4868 markings/sec, 820 secs
lola: 4317015 markings, 10726372 edges, 4794 markings/sec, 825 secs
lola: 4341170 markings, 10789218 edges, 4831 markings/sec, 830 secs
lola: 4365737 markings, 10852971 edges, 4913 markings/sec, 835 secs
lola: 4389991 markings, 10915565 edges, 4851 markings/sec, 840 secs
lola: 4414722 markings, 10979065 edges, 4946 markings/sec, 845 secs
lola: 4440097 markings, 11044474 edges, 5075 markings/sec, 850 secs
lola: 4464799 markings, 11108204 edges, 4940 markings/sec, 855 secs
lola: 4489437 markings, 11172183 edges, 4928 markings/sec, 860 secs
lola: 4513555 markings, 11234941 edges, 4824 markings/sec, 865 secs
lola: 4537736 markings, 11298004 edges, 4836 markings/sec, 870 secs
lola: 4563284 markings, 11363868 edges, 5110 markings/sec, 875 secs
lola: 4588609 markings, 11429103 edges, 5065 markings/sec, 880 secs
lola: 4613232 markings, 11493107 edges, 4925 markings/sec, 885 secs
lola: 4637942 markings, 11557917 edges, 4942 markings/sec, 890 secs
lola: 4662724 markings, 11622417 edges, 4956 markings/sec, 895 secs
lola: 4687709 markings, 11686797 edges, 4997 markings/sec, 900 secs
lola: 4712752 markings, 11750849 edges, 5009 markings/sec, 905 secs
lola: 4737665 markings, 11815414 edges, 4983 markings/sec, 910 secs
lola: 4762560 markings, 11879825 edges, 4979 markings/sec, 915 secs
lola: 4787530 markings, 11944010 edges, 4994 markings/sec, 920 secs
lola: 4812501 markings, 12008376 edges, 4994 markings/sec, 925 secs
lola: 4837423 markings, 12072398 edges, 4984 markings/sec, 930 secs
lola: 4862447 markings, 12136648 edges, 5005 markings/sec, 935 secs
lola: 4887019 markings, 12201034 edges, 4914 markings/sec, 940 secs
lola: 4911805 markings, 12264278 edges, 4957 markings/sec, 945 secs
lola: 4936684 markings, 12328336 edges, 4976 markings/sec, 950 secs
lola: 4961269 markings, 12392104 edges, 4917 markings/sec, 955 secs
lola: 4985824 markings, 12454941 edges, 4911 markings/sec, 960 secs
lola: 5010247 markings, 12518444 edges, 4885 markings/sec, 965 secs
lola: 5034336 markings, 12580292 edges, 4818 markings/sec, 970 secs
lola: 5058896 markings, 12642786 edges, 4912 markings/sec, 975 secs
lola: 5082954 markings, 12704874 edges, 4812 markings/sec, 980 secs
lola: 5107036 markings, 12767062 edges, 4816 markings/sec, 985 secs
lola: 5131510 markings, 12824453 edges, 4895 markings/sec, 990 secs
lola: 5156327 markings, 12883312 edges, 4963 markings/sec, 995 secs
lola: 5181150 markings, 12944520 edges, 4965 markings/sec, 1000 secs
lola: 5204956 markings, 13005736 edges, 4761 markings/sec, 1005 secs
lola: 5228770 markings, 13067362 edges, 4763 markings/sec, 1010 secs
lola: 5252591 markings, 13129248 edges, 4764 markings/sec, 1015 secs
lola: 5276563 markings, 13190483 edges, 4794 markings/sec, 1020 secs
lola: 5300514 markings, 13253970 edges, 4790 markings/sec, 1025 secs
lola: 5324467 markings, 13315997 edges, 4791 markings/sec, 1030 secs
lola: 5348565 markings, 13378878 edges, 4820 markings/sec, 1035 secs
lola: 5372619 markings, 13440940 edges, 4811 markings/sec, 1040 secs
lola: 5396741 markings, 13502873 edges, 4824 markings/sec, 1045 secs
lola: 5421115 markings, 13565935 edges, 4875 markings/sec, 1050 secs
lola: 5445149 markings, 13628414 edges, 4807 markings/sec, 1055 secs
lola: 5469618 markings, 13689721 edges, 4894 markings/sec, 1060 secs
lola: 5493496 markings, 13752121 edges, 4776 markings/sec, 1065 secs
lola: 5517659 markings, 13814766 edges, 4833 markings/sec, 1070 secs
lola: 5542024 markings, 13877422 edges, 4873 markings/sec, 1075 secs
lola: 5566154 markings, 13939584 edges, 4826 markings/sec, 1080 secs
lola: 5590211 markings, 14000232 edges, 4811 markings/sec, 1085 secs
lola: 5614866 markings, 14061604 edges, 4931 markings/sec, 1090 secs
lola: 5639639 markings, 14126253 edges, 4955 markings/sec, 1095 secs
lola: 5663512 markings, 14188305 edges, 4775 markings/sec, 1100 secs
lola: 5687195 markings, 14248527 edges, 4737 markings/sec, 1105 secs
lola: 5711705 markings, 14311616 edges, 4902 markings/sec, 1110 secs
lola: 5735757 markings, 14373978 edges, 4810 markings/sec, 1115 secs
lola: 5759253 markings, 14435386 edges, 4699 markings/sec, 1120 secs
lola: 5782706 markings, 14496978 edges, 4691 markings/sec, 1125 secs
lola: 5805735 markings, 14555976 edges, 4606 markings/sec, 1130 secs
lola: 5830183 markings, 14618507 edges, 4890 markings/sec, 1135 secs
lola: 5855349 markings, 14683162 edges, 5033 markings/sec, 1140 secs
lola: 5880328 markings, 14748052 edges, 4996 markings/sec, 1145 secs
lola: 5904185 markings, 14809172 edges, 4771 markings/sec, 1150 secs
lola: 5927772 markings, 14870569 edges, 4717 markings/sec, 1155 secs
lola: 5951557 markings, 14931722 edges, 4757 markings/sec, 1160 secs
lola: 5975485 markings, 14994025 edges, 4786 markings/sec, 1165 secs
lola: 5999734 markings, 15056404 edges, 4850 markings/sec, 1170 secs
lola: 6024068 markings, 15119081 edges, 4867 markings/sec, 1175 secs
lola: 6048007 markings, 15181747 edges, 4788 markings/sec, 1180 secs
lola: 6072237 markings, 15245656 edges, 4846 markings/sec, 1185 secs
lola: 6097373 markings, 15310845 edges, 5027 markings/sec, 1190 secs
lola: 6121450 markings, 15373778 edges, 4815 markings/sec, 1195 secs
lola: 6145487 markings, 15437047 edges, 4807 markings/sec, 1200 secs
lola: 6169506 markings, 15499710 edges, 4804 markings/sec, 1205 secs
lola: 6193482 markings, 15561457 edges, 4795 markings/sec, 1210 secs
lola: 6217447 markings, 15623336 edges, 4793 markings/sec, 1215 secs
lola: 6241526 markings, 15686138 edges, 4816 markings/sec, 1220 secs
lola: 6266171 markings, 15748751 edges, 4929 markings/sec, 1225 secs
lola: 6289892 markings, 15811023 edges, 4744 markings/sec, 1230 secs
lola: 6313637 markings, 15873228 edges, 4749 markings/sec, 1235 secs
lola: 6337732 markings, 15934831 edges, 4819 markings/sec, 1240 secs
lola: 6362012 markings, 15998447 edges, 4856 markings/sec, 1245 secs
lola: 6387053 markings, 16063647 edges, 5008 markings/sec, 1250 secs
lola: 6410715 markings, 16125650 edges, 4732 markings/sec, 1255 secs
lola: 6434589 markings, 16187896 edges, 4775 markings/sec, 1260 secs
lola: 6458059 markings, 16248761 edges, 4694 markings/sec, 1265 secs
lola: 6481944 markings, 16310867 edges, 4777 markings/sec, 1270 secs
lola: 6505250 markings, 16371614 edges, 4661 markings/sec, 1275 secs
lola: 6529945 markings, 16434502 edges, 4939 markings/sec, 1280 secs
lola: 6553578 markings, 16495115 edges, 4727 markings/sec, 1285 secs
lola: 6576881 markings, 16556191 edges, 4661 markings/sec, 1290 secs
lola: 6600864 markings, 16618511 edges, 4797 markings/sec, 1295 secs
lola: 6624610 markings, 16679473 edges, 4749 markings/sec, 1300 secs
lola: 6648505 markings, 16743129 edges, 4779 markings/sec, 1305 secs
lola: 6672536 markings, 16805656 edges, 4806 markings/sec, 1310 secs
lola: 6697066 markings, 16869830 edges, 4906 markings/sec, 1315 secs
lola: 6723074 markings, 16935713 edges, 5202 markings/sec, 1320 secs
lola: 6747213 markings, 16999369 edges, 4828 markings/sec, 1325 secs
lola: 6771876 markings, 17063161 edges, 4933 markings/sec, 1330 secs
lola: 6796409 markings, 17126829 edges, 4907 markings/sec, 1335 secs
lola: 6820528 markings, 17190342 edges, 4824 markings/sec, 1340 secs
lola: 6844968 markings, 17255207 edges, 4888 markings/sec, 1345 secs
lola: 6869132 markings, 17318541 edges, 4833 markings/sec, 1350 secs
lola: 6893443 markings, 17381789 edges, 4862 markings/sec, 1355 secs
lola: 6917627 markings, 17445593 edges, 4837 markings/sec, 1360 secs
lola: 6942492 markings, 17510474 edges, 4973 markings/sec, 1365 secs
lola: 6967730 markings, 17576924 edges, 5048 markings/sec, 1370 secs
lola: 6993021 markings, 17642558 edges, 5058 markings/sec, 1375 secs
lola: 7017564 markings, 17706227 edges, 4909 markings/sec, 1380 secs
lola: 7041685 markings, 17769917 edges, 4824 markings/sec, 1385 secs
lola: 7066185 markings, 17833973 edges, 4900 markings/sec, 1390 secs
lola: 7091352 markings, 17898334 edges, 5033 markings/sec, 1395 secs
lola: 7115154 markings, 17960580 edges, 4760 markings/sec, 1400 secs
lola: 7138995 markings, 18022874 edges, 4768 markings/sec, 1405 secs
lola: 7162820 markings, 18086110 edges, 4765 markings/sec, 1410 secs
lola: 7186712 markings, 18148677 edges, 4778 markings/sec, 1415 secs
lola: 7210357 markings, 18211581 edges, 4729 markings/sec, 1420 secs
lola: 7234085 markings, 18273690 edges, 4746 markings/sec, 1425 secs
lola: 7259134 markings, 18339230 edges, 5010 markings/sec, 1430 secs
lola: 7282402 markings, 18399848 edges, 4654 markings/sec, 1435 secs
lola: 7305870 markings, 18461646 edges, 4694 markings/sec, 1440 secs
lola: 7329615 markings, 18524371 edges, 4749 markings/sec, 1445 secs
lola: 7353653 markings, 18586647 edges, 4808 markings/sec, 1450 secs
lola: 7377353 markings, 18647914 edges, 4740 markings/sec, 1455 secs
lola: 7401282 markings, 18711623 edges, 4786 markings/sec, 1460 secs
lola: 7425592 markings, 18774556 edges, 4862 markings/sec, 1465 secs
lola: 7449840 markings, 18838362 edges, 4850 markings/sec, 1470 secs
lola: 7473786 markings, 18901836 edges, 4789 markings/sec, 1475 secs
lola: 7498065 markings, 18964714 edges, 4856 markings/sec, 1480 secs
lola: 7522171 markings, 19027895 edges, 4821 markings/sec, 1485 secs
lola: 7547334 markings, 19093001 edges, 5033 markings/sec, 1490 secs
lola: 7571870 markings, 19156086 edges, 4907 markings/sec, 1495 secs
lola: 7595933 markings, 19220727 edges, 4813 markings/sec, 1500 secs
lola: 7620081 markings, 19283307 edges, 4830 markings/sec, 1505 secs
lola: 7644013 markings, 19348080 edges, 4786 markings/sec, 1510 secs
lola: 7668231 markings, 19411706 edges, 4844 markings/sec, 1515 secs
lola: 7692189 markings, 19475219 edges, 4792 markings/sec, 1520 secs
lola: 7716113 markings, 19538887 edges, 4785 markings/sec, 1525 secs
lola: 7740301 markings, 19602551 edges, 4838 markings/sec, 1530 secs
lola: 7764497 markings, 19666189 edges, 4839 markings/sec, 1535 secs
lola: 7788699 markings, 19729947 edges, 4840 markings/sec, 1540 secs
lola: 7812697 markings, 19793386 edges, 4800 markings/sec, 1545 secs
lola: 7836425 markings, 19856743 edges, 4746 markings/sec, 1550 secs
lola: 7860569 markings, 19920769 edges, 4829 markings/sec, 1555 secs
lola: 7885302 markings, 19985576 edges, 4947 markings/sec, 1560 secs
lola: 7909760 markings, 20048992 edges, 4892 markings/sec, 1565 secs
lola: 7934335 markings, 20113171 edges, 4915 markings/sec, 1570 secs
lola: 7958636 markings, 20176696 edges, 4860 markings/sec, 1575 secs
lola: 7983263 markings, 20240452 edges, 4925 markings/sec, 1580 secs
lola: 8007471 markings, 20304298 edges, 4842 markings/sec, 1585 secs
lola: 8032876 markings, 20363657 edges, 5081 markings/sec, 1590 secs
lola: 8057267 markings, 20427698 edges, 4878 markings/sec, 1595 secs
lola: 8081786 markings, 20492189 edges, 4904 markings/sec, 1600 secs
lola: 8106208 markings, 20557446 edges, 4884 markings/sec, 1605 secs
lola: 8131656 markings, 20623773 edges, 5090 markings/sec, 1610 secs
lola: 8156801 markings, 20689663 edges, 5029 markings/sec, 1615 secs
lola: 8181886 markings, 20754313 edges, 5017 markings/sec, 1620 secs
lola: 8206577 markings, 20819974 edges, 4938 markings/sec, 1625 secs
lola: 8231490 markings, 20885541 edges, 4983 markings/sec, 1630 secs
lola: 8256309 markings, 20951401 edges, 4964 markings/sec, 1635 secs
lola: 8281320 markings, 21016785 edges, 5002 markings/sec, 1640 secs
lola: 8306146 markings, 21082587 edges, 4965 markings/sec, 1645 secs
lola: 8330971 markings, 21148916 edges, 4965 markings/sec, 1650 secs
lola: 8356773 markings, 21211373 edges, 5160 markings/sec, 1655 secs
lola: 8382503 markings, 21274861 edges, 5146 markings/sec, 1660 secs
lola: 8406970 markings, 21339275 edges, 4893 markings/sec, 1665 secs
lola: 8430937 markings, 21403217 edges, 4793 markings/sec, 1670 secs
lola: 8455662 markings, 21466328 edges, 4945 markings/sec, 1675 secs
lola: 8479609 markings, 21530156 edges, 4789 markings/sec, 1680 secs
lola: 8503711 markings, 21594236 edges, 4820 markings/sec, 1685 secs
lola: 8527502 markings, 21658016 edges, 4758 markings/sec, 1690 secs
lola: 8551166 markings, 21721115 edges, 4733 markings/sec, 1695 secs
lola: 8575182 markings, 21784407 edges, 4803 markings/sec, 1700 secs
lola: 8598841 markings, 21847766 edges, 4732 markings/sec, 1705 secs
lola: 8622439 markings, 21910329 edges, 4720 markings/sec, 1710 secs
lola: 8645835 markings, 21973003 edges, 4679 markings/sec, 1715 secs
lola: 8669320 markings, 22035677 edges, 4697 markings/sec, 1720 secs
lola: 8692760 markings, 22097836 edges, 4688 markings/sec, 1725 secs
lola: 8715896 markings, 22158699 edges, 4627 markings/sec, 1730 secs
lola: 8739496 markings, 22219860 edges, 4720 markings/sec, 1735 secs
lola: 8763026 markings, 22281694 edges, 4706 markings/sec, 1740 secs
lola: 8786939 markings, 22344530 edges, 4783 markings/sec, 1745 secs
lola: 8810476 markings, 22406902 edges, 4707 markings/sec, 1750 secs
lola: 8834153 markings, 22469863 edges, 4735 markings/sec, 1755 secs
lola: 8857895 markings, 22532845 edges, 4748 markings/sec, 1760 secs
lola: 8881924 markings, 22594702 edges, 4806 markings/sec, 1765 secs
lola: 8906303 markings, 22655609 edges, 4876 markings/sec, 1770 secs
lola: 8930145 markings, 22717983 edges, 4768 markings/sec, 1775 secs
lola: 8954267 markings, 22781427 edges, 4824 markings/sec, 1780 secs
lola: 8978721 markings, 22846342 edges, 4891 markings/sec, 1785 secs
lola: 9002835 markings, 22910212 edges, 4823 markings/sec, 1790 secs
lola: 9026751 markings, 22974820 edges, 4783 markings/sec, 1795 secs
lola: 9051393 markings, 23038579 edges, 4928 markings/sec, 1800 secs
lola: 9075420 markings, 23101671 edges, 4805 markings/sec, 1805 secs
lola: 9099548 markings, 23165611 edges, 4826 markings/sec, 1810 secs
lola: 9123454 markings, 23228406 edges, 4781 markings/sec, 1815 secs
lola: 9147455 markings, 23291170 edges, 4800 markings/sec, 1820 secs
lola: 9171654 markings, 23355141 edges, 4840 markings/sec, 1825 secs
lola: 9196073 markings, 23420296 edges, 4884 markings/sec, 1830 secs
lola: 9220058 markings, 23484028 edges, 4797 markings/sec, 1835 secs
lola: 9243740 markings, 23547538 edges, 4736 markings/sec, 1840 secs
lola: 9267603 markings, 23611437 edges, 4773 markings/sec, 1845 secs
lola: 9291494 markings, 23673985 edges, 4778 markings/sec, 1850 secs
lola: 9315108 markings, 23737120 edges, 4723 markings/sec, 1855 secs
lola: 9338663 markings, 23800175 edges, 4711 markings/sec, 1860 secs
lola: 9362667 markings, 23861990 edges, 4801 markings/sec, 1865 secs
lola: 9386348 markings, 23924678 edges, 4736 markings/sec, 1870 secs
lola: 9409616 markings, 23986680 edges, 4654 markings/sec, 1875 secs
lola: 9433088 markings, 24048551 edges, 4694 markings/sec, 1880 secs
lola: 9457127 markings, 24111409 edges, 4808 markings/sec, 1885 secs
lola: 9481912 markings, 24177238 edges, 4957 markings/sec, 1890 secs
lola: 9505749 markings, 24239617 edges, 4767 markings/sec, 1895 secs
lola: 9529695 markings, 24301897 edges, 4789 markings/sec, 1900 secs
lola: 9553452 markings, 24365216 edges, 4751 markings/sec, 1905 secs
lola: 9577103 markings, 24428503 edges, 4730 markings/sec, 1910 secs
lola: 9601874 markings, 24492689 edges, 4954 markings/sec, 1915 secs
lola: 9625749 markings, 24555763 edges, 4775 markings/sec, 1920 secs
lola: 9650152 markings, 24617925 edges, 4881 markings/sec, 1925 secs
lola: 9675052 markings, 24680103 edges, 4980 markings/sec, 1930 secs
lola: 9698913 markings, 24743492 edges, 4772 markings/sec, 1935 secs
lola: 9723382 markings, 24808697 edges, 4894 markings/sec, 1940 secs
lola: 9747369 markings, 24872943 edges, 4797 markings/sec, 1945 secs
lola: 9771645 markings, 24936499 edges, 4855 markings/sec, 1950 secs
lola: 9795566 markings, 25001057 edges, 4784 markings/sec, 1955 secs
lola: 9820385 markings, 25066356 edges, 4964 markings/sec, 1960 secs
lola: 9844936 markings, 25132150 edges, 4910 markings/sec, 1965 secs
lola: 9869307 markings, 25197492 edges, 4874 markings/sec, 1970 secs
lola: 9893862 markings, 25263139 edges, 4911 markings/sec, 1975 secs
lola: 9918459 markings, 25328863 edges, 4919 markings/sec, 1980 secs
lola: 9942942 markings, 25393924 edges, 4897 markings/sec, 1985 secs
lola: 9966930 markings, 25458219 edges, 4798 markings/sec, 1990 secs
lola: 9990805 markings, 25521260 edges, 4775 markings/sec, 1995 secs
lola: 10014494 markings, 25584159 edges, 4738 markings/sec, 2000 secs
lola: 10038321 markings, 25646044 edges, 4765 markings/sec, 2005 secs
lola: 10061802 markings, 25709253 edges, 4696 markings/sec, 2010 secs
lola: 10086001 markings, 25770819 edges, 4840 markings/sec, 2015 secs
lola: 10109334 markings, 25832403 edges, 4667 markings/sec, 2020 secs
lola: 10132636 markings, 25893928 edges, 4660 markings/sec, 2025 secs
lola: 10155929 markings, 25956210 edges, 4659 markings/sec, 2030 secs
lola: 10179750 markings, 26019571 edges, 4764 markings/sec, 2035 secs
lola: 10203508 markings, 26082863 edges, 4752 markings/sec, 2040 secs
lola: 10227250 markings, 26146153 edges, 4748 markings/sec, 2045 secs
lola: 10251336 markings, 26209701 edges, 4817 markings/sec, 2050 secs
lola: 10275362 markings, 26273889 edges, 4805 markings/sec, 2055 secs
lola: 10300002 markings, 26336647 edges, 4928 markings/sec, 2060 secs
lola: 10324459 markings, 26401110 edges, 4891 markings/sec, 2065 secs
lola: 10348251 markings, 26464001 edges, 4758 markings/sec, 2070 secs
lola: 10372144 markings, 26527456 edges, 4779 markings/sec, 2075 secs
lola: 10396386 markings, 26590456 edges, 4848 markings/sec, 2080 secs
lola: 10420704 markings, 26655615 edges, 4864 markings/sec, 2085 secs
lola: 10444774 markings, 26718607 edges, 4814 markings/sec, 2090 secs
lola: 10468701 markings, 26782811 edges, 4785 markings/sec, 2095 secs
lola: 10493458 markings, 26848060 edges, 4951 markings/sec, 2100 secs
lola: 10518408 markings, 26913058 edges, 4990 markings/sec, 2105 secs
lola: 10542553 markings, 26977499 edges, 4829 markings/sec, 2110 secs
lola: 10566868 markings, 27041736 edges, 4863 markings/sec, 2115 secs
lola: 10591674 markings, 27106229 edges, 4961 markings/sec, 2120 secs
lola: 10616393 markings, 27171069 edges, 4944 markings/sec, 2125 secs
lola: 10640246 markings, 27234606 edges, 4771 markings/sec, 2130 secs
lola: 10664958 markings, 27298792 edges, 4942 markings/sec, 2135 secs
lola: 10688727 markings, 27361348 edges, 4754 markings/sec, 2140 secs
lola: 10712654 markings, 27424605 edges, 4785 markings/sec, 2145 secs
lola: 10737007 markings, 27488950 edges, 4871 markings/sec, 2150 secs
lola: 10760789 markings, 27551931 edges, 4756 markings/sec, 2155 secs
lola: 10784163 markings, 27614356 edges, 4675 markings/sec, 2160 secs
lola: 10807665 markings, 27676655 edges, 4700 markings/sec, 2165 secs
lola: 10831367 markings, 27739953 edges, 4740 markings/sec, 2170 secs
lola: 10854745 markings, 27801082 edges, 4676 markings/sec, 2175 secs
lola: 10878624 markings, 27862823 edges, 4776 markings/sec, 2180 secs
lola: 10902445 markings, 27926474 edges, 4764 markings/sec, 2185 secs
lola: 10926790 markings, 27987573 edges, 4869 markings/sec, 2190 secs
lola: 10951295 markings, 28048564 edges, 4901 markings/sec, 2195 secs
lola: 10975546 markings, 28110788 edges, 4850 markings/sec, 2200 secs
lola: 10999492 markings, 28173999 edges, 4789 markings/sec, 2205 secs
lola: 11023245 markings, 28237972 edges, 4751 markings/sec, 2210 secs
lola: 11047912 markings, 28300061 edges, 4933 markings/sec, 2215 secs
lola: 11071972 markings, 28363450 edges, 4812 markings/sec, 2220 secs
lola: 11095861 markings, 28427999 edges, 4778 markings/sec, 2225 secs
lola: 11119673 markings, 28491313 edges, 4762 markings/sec, 2230 secs
lola: 11144022 markings, 28554373 edges, 4870 markings/sec, 2235 secs
lola: 11168043 markings, 28618340 edges, 4804 markings/sec, 2240 secs
lola: 11191880 markings, 28681852 edges, 4767 markings/sec, 2245 secs
lola: 11216133 markings, 28745478 edges, 4851 markings/sec, 2250 secs
lola: 11241109 markings, 28810716 edges, 4995 markings/sec, 2255 secs
lola: 11265069 markings, 28874626 edges, 4792 markings/sec, 2260 secs
lola: 11289259 markings, 28938205 edges, 4838 markings/sec, 2265 secs
lola: 11313318 markings, 29002337 edges, 4812 markings/sec, 2270 secs
lola: 11338144 markings, 29067036 edges, 4965 markings/sec, 2275 secs
lola: 11362839 markings, 29133292 edges, 4939 markings/sec, 2280 secs
lola: 11387358 markings, 29198852 edges, 4904 markings/sec, 2285 secs
lola: 11411847 markings, 29264907 edges, 4898 markings/sec, 2290 secs
lola: 11436201 markings, 29330768 edges, 4871 markings/sec, 2295 secs
lola: 11460760 markings, 29395606 edges, 4912 markings/sec, 2300 secs
lola: 11485074 markings, 29460907 edges, 4863 markings/sec, 2305 secs
lola: 11509338 markings, 29525734 edges, 4853 markings/sec, 2310 secs
lola: 11533768 markings, 29590481 edges, 4886 markings/sec, 2315 secs
lola: 11558757 markings, 29655507 edges, 4998 markings/sec, 2320 secs
lola: 11582907 markings, 29719901 edges, 4830 markings/sec, 2325 secs
lola: 11607690 markings, 29786146 edges, 4957 markings/sec, 2330 secs
lola: 11632694 markings, 29852067 edges, 5001 markings/sec, 2335 secs
lola: 11657600 markings, 29918965 edges, 4981 markings/sec, 2340 secs
lola: 11682769 markings, 29986378 edges, 5034 markings/sec, 2345 secs
lola: 11708460 markings, 30054696 edges, 5138 markings/sec, 2350 secs
lola: 11733605 markings, 30121163 edges, 5029 markings/sec, 2355 secs
lola: 11759022 markings, 30188914 edges, 5083 markings/sec, 2360 secs
lola: 11784407 markings, 30257387 edges, 5077 markings/sec, 2365 secs
lola: 11810279 markings, 30324810 edges, 5174 markings/sec, 2370 secs
lola: 11835851 markings, 30392747 edges, 5114 markings/sec, 2375 secs
lola: 11861276 markings, 30460226 edges, 5085 markings/sec, 2380 secs
lola: 11886958 markings, 30528904 edges, 5136 markings/sec, 2385 secs
lola: 11912776 markings, 30597818 edges, 5164 markings/sec, 2390 secs
lola: 11938219 markings, 30664794 edges, 5089 markings/sec, 2395 secs
lola: 11964171 markings, 30732411 edges, 5190 markings/sec, 2400 secs
lola: 11990228 markings, 30800210 edges, 5211 markings/sec, 2405 secs
lola: 12015372 markings, 30868171 edges, 5029 markings/sec, 2410 secs
lola: 12040806 markings, 30936918 edges, 5087 markings/sec, 2415 secs
lola: 12066614 markings, 31004584 edges, 5162 markings/sec, 2420 secs
lola: 12092133 markings, 31071759 edges, 5104 markings/sec, 2425 secs
lola: 12117579 markings, 31140174 edges, 5089 markings/sec, 2430 secs
lola: 12142889 markings, 31208345 edges, 5062 markings/sec, 2435 secs
lola: 12166913 markings, 31272661 edges, 4805 markings/sec, 2440 secs
lola: 12190656 markings, 31336101 edges, 4749 markings/sec, 2445 secs
lola: 12214236 markings, 31399241 edges, 4716 markings/sec, 2450 secs
lola: 12238580 markings, 31465033 edges, 4869 markings/sec, 2455 secs
lola: 12263453 markings, 31531972 edges, 4975 markings/sec, 2460 secs
lola: 12288363 markings, 31598082 edges, 4982 markings/sec, 2465 secs
lola: 12313375 markings, 31664692 edges, 5002 markings/sec, 2470 secs
lola: 12338302 markings, 31731406 edges, 4985 markings/sec, 2475 secs
lola: 12362970 markings, 31797346 edges, 4934 markings/sec, 2480 secs
lola: 12387943 markings, 31864715 edges, 4995 markings/sec, 2485 secs
lola: 12413039 markings, 31931971 edges, 5019 markings/sec, 2490 secs
lola: 12437848 markings, 31997325 edges, 4962 markings/sec, 2495 secs
lola: 12461799 markings, 32061608 edges, 4790 markings/sec, 2500 secs
lola: 12485500 markings, 32124904 edges, 4740 markings/sec, 2505 secs
lola: 12509066 markings, 32187408 edges, 4713 markings/sec, 2510 secs
lola: 12532874 markings, 32251975 edges, 4762 markings/sec, 2515 secs
lola: 12558842 markings, 32322009 edges, 5194 markings/sec, 2520 secs
lola: 12582765 markings, 32385665 edges, 4785 markings/sec, 2525 secs
lola: 12607877 markings, 32451999 edges, 5022 markings/sec, 2530 secs
lola: 12633294 markings, 32519901 edges, 5083 markings/sec, 2535 secs
lola: 12657495 markings, 32584684 edges, 4840 markings/sec, 2540 secs
lola: 12683993 markings, 32655243 edges, 5300 markings/sec, 2545 secs
lola: 12710631 markings, 32723263 edges, 5328 markings/sec, 2550 secs
lola: 12734641 markings, 32788438 edges, 4802 markings/sec, 2555 secs
lola: 12759458 markings, 32855523 edges, 4963 markings/sec, 2560 secs
lola: 12784456 markings, 32922245 edges, 5000 markings/sec, 2565 secs
lola: 12809596 markings, 32989678 edges, 5028 markings/sec, 2570 secs
lola: 12833961 markings, 33052709 edges, 4873 markings/sec, 2575 secs
lola: 12857861 markings, 33117652 edges, 4780 markings/sec, 2580 secs
lola: 12882190 markings, 33181672 edges, 4866 markings/sec, 2585 secs
lola: 12907100 markings, 33249620 edges, 4982 markings/sec, 2590 secs
lola: 12930817 markings, 33313110 edges, 4743 markings/sec, 2595 secs
lola: 12954565 markings, 33376544 edges, 4750 markings/sec, 2600 secs
lola: 12978009 markings, 33438408 edges, 4689 markings/sec, 2605 secs
lola: 13001727 markings, 33502421 edges, 4744 markings/sec, 2610 secs
lola: 13025015 markings, 33565161 edges, 4658 markings/sec, 2615 secs
lola: 13047990 markings, 33626367 edges, 4595 markings/sec, 2620 secs
lola: 13071548 markings, 33689920 edges, 4712 markings/sec, 2625 secs
lola: 13096005 markings, 33755637 edges, 4891 markings/sec, 2630 secs
lola: 13119936 markings, 33817639 edges, 4786 markings/sec, 2635 secs
lola: 13143361 markings, 33880225 edges, 4685 markings/sec, 2640 secs
lola: 13166858 markings, 33943584 edges, 4699 markings/sec, 2645 secs
lola: 13190421 markings, 34006479 edges, 4713 markings/sec, 2650 secs
lola: 13214276 markings, 34069865 edges, 4771 markings/sec, 2655 secs
lola: 13238178 markings, 34132986 edges, 4780 markings/sec, 2660 secs
lola: 13262041 markings, 34197031 edges, 4773 markings/sec, 2665 secs
lola: 13286474 markings, 34263552 edges, 4887 markings/sec, 2670 secs
lola: 13310559 markings, 34329527 edges, 4817 markings/sec, 2675 secs
lola: 13334366 markings, 34394087 edges, 4761 markings/sec, 2680 secs
lola: 13358426 markings, 34458625 edges, 4812 markings/sec, 2685 secs
lola: 13382315 markings, 34522604 edges, 4778 markings/sec, 2690 secs
lola: 13406112 markings, 34588022 edges, 4759 markings/sec, 2695 secs
lola: 13431357 markings, 34654732 edges, 5049 markings/sec, 2700 secs
lola: 13456675 markings, 34722653 edges, 5064 markings/sec, 2705 secs
lola: 13481361 markings, 34789472 edges, 4937 markings/sec, 2710 secs
lola: 13505888 markings, 34855112 edges, 4905 markings/sec, 2715 secs
lola: 13530585 markings, 34922447 edges, 4939 markings/sec, 2720 secs
lola: 13555609 markings, 34988652 edges, 5005 markings/sec, 2725 secs
lola: 13580757 markings, 35056502 edges, 5030 markings/sec, 2730 secs
lola: 13606001 markings, 35124714 edges, 5049 markings/sec, 2735 secs
lola: 13630616 markings, 35191226 edges, 4923 markings/sec, 2740 secs
lola: 13655462 markings, 35257940 edges, 4969 markings/sec, 2745 secs
lola: 13680881 markings, 35325568 edges, 5084 markings/sec, 2750 secs
lola: 13706644 markings, 35395250 edges, 5153 markings/sec, 2755 secs
lola: 13732419 markings, 35464252 edges, 5155 markings/sec, 2760 secs
lola: 13755562 markings, 35526936 edges, 4629 markings/sec, 2765 secs
lola: 13778894 markings, 35589386 edges, 4666 markings/sec, 2770 secs
lola: 13801975 markings, 35650801 edges, 4616 markings/sec, 2775 secs
lola: 13828085 markings, 35718542 edges, 5222 markings/sec, 2780 secs
lola: 13853612 markings, 35786990 edges, 5105 markings/sec, 2785 secs
lola: 13879050 markings, 35856109 edges, 5088 markings/sec, 2790 secs
lola: 13904418 markings, 35924518 edges, 5074 markings/sec, 2795 secs
lola: 13929865 markings, 35992980 edges, 5089 markings/sec, 2800 secs
lola: 13955268 markings, 36062794 edges, 5081 markings/sec, 2805 secs
lola: 13981340 markings, 36133971 edges, 5214 markings/sec, 2810 secs
lola: 14007619 markings, 36204616 edges, 5256 markings/sec, 2815 secs
lola: 14033857 markings, 36275394 edges, 5248 markings/sec, 2820 secs
lola: 14060374 markings, 36345465 edges, 5303 markings/sec, 2825 secs
lola: 14086624 markings, 36415496 edges, 5250 markings/sec, 2830 secs
lola: 14112962 markings, 36486526 edges, 5268 markings/sec, 2835 secs
lola: 14139091 markings, 36556834 edges, 5226 markings/sec, 2840 secs
lola: 14165215 markings, 36627737 edges, 5225 markings/sec, 2845 secs
lola: 14191527 markings, 36697549 edges, 5262 markings/sec, 2850 secs
lola: 14218077 markings, 36767155 edges, 5310 markings/sec, 2855 secs
lola: 14244365 markings, 36837462 edges, 5258 markings/sec, 2860 secs
lola: 14270238 markings, 36906480 edges, 5175 markings/sec, 2865 secs
lola: 14295595 markings, 36974716 edges, 5071 markings/sec, 2870 secs
lola: 14321810 markings, 37043759 edges, 5243 markings/sec, 2875 secs
lola: 14347750 markings, 37114511 edges, 5188 markings/sec, 2880 secs
lola: 14373823 markings, 37184833 edges, 5215 markings/sec, 2885 secs
lola: 14400130 markings, 37255086 edges, 5261 markings/sec, 2890 secs
lola: 14426144 markings, 37325101 edges, 5203 markings/sec, 2895 secs
lola: 14452433 markings, 37394462 edges, 5258 markings/sec, 2900 secs
lola: 14478085 markings, 37464986 edges, 5130 markings/sec, 2905 secs
lola: 14503795 markings, 37533919 edges, 5142 markings/sec, 2910 secs
lola: 14529659 markings, 37604086 edges, 5173 markings/sec, 2915 secs
lola: 14555903 markings, 37675352 edges, 5249 markings/sec, 2920 secs
lola: 14581016 markings, 37743398 edges, 5023 markings/sec, 2925 secs
lola: 14606184 markings, 37809204 edges, 5034 markings/sec, 2930 secs
lola: 14631210 markings, 37875615 edges, 5005 markings/sec, 2935 secs
lola: 14656058 markings, 37942733 edges, 4970 markings/sec, 2940 secs
lola: 14680801 markings, 38010032 edges, 4949 markings/sec, 2945 secs
lola: 14705798 markings, 38076884 edges, 4999 markings/sec, 2950 secs
lola: 14730572 markings, 38143755 edges, 4955 markings/sec, 2955 secs
lola: 14754282 markings, 38208017 edges, 4742 markings/sec, 2960 secs
lola: 14778107 markings, 38271833 edges, 4765 markings/sec, 2965 secs
lola: 14802443 markings, 38337781 edges, 4867 markings/sec, 2970 secs
lola: 14826175 markings, 38402577 edges, 4746 markings/sec, 2975 secs
lola: 14850056 markings, 38466377 edges, 4776 markings/sec, 2980 secs
lola: 14875938 markings, 38536044 edges, 5176 markings/sec, 2985 secs
lola: 14901095 markings, 38602878 edges, 5031 markings/sec, 2990 secs
lola: 14925030 markings, 38666904 edges, 4787 markings/sec, 2995 secs
lola: 14948977 markings, 38732123 edges, 4789 markings/sec, 3000 secs
lola: 14973312 markings, 38797415 edges, 4867 markings/sec, 3005 secs
lola: 14997882 markings, 38863295 edges, 4914 markings/sec, 3010 secs
lola: 15022637 markings, 38929928 edges, 4951 markings/sec, 3015 secs
lola: 15046990 markings, 38994566 edges, 4871 markings/sec, 3020 secs
lola: 15071263 markings, 39058980 edges, 4855 markings/sec, 3025 secs
lola: 15095116 markings, 39122070 edges, 4771 markings/sec, 3030 secs
lola: 15118999 markings, 39184787 edges, 4777 markings/sec, 3035 secs
lola: 15143985 markings, 39251738 edges, 4997 markings/sec, 3040 secs
lola: 15169097 markings, 39319576 edges, 5022 markings/sec, 3045 secs
lola: time limit reached - aborting
lola: lola:
preliminary result: 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1 caught signal User defined signal 1 - aborting LoLA

lola:
preliminary result: 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1
lola: memory consumption: 1463728 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: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 1
lola: memory consumption: 1463964 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1552952009075

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

grep: GenericPropertiesVerdict.xml: No such file or directory
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-20"
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-20, 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-155286430900326"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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