fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r181-csrt-155344535000263
Last Updated
Apr 15, 2019

About the Execution of LoLA for NoC3x3-PT-2B

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
13279.520 3570250.00 3770532.00 454.30 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.r181-csrt-155344535000263.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 NoC3x3-PT-2B, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181-csrt-155344535000263
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 700K
-rw-r--r-- 1 mcc users 3.4K Mar 23 12:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 23 12:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 23 12:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 12:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 10:10 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 2.4K Mar 23 12:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Mar 23 12:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.9K Mar 23 12:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 23 10:10 NewModel
-rw-r--r-- 1 mcc users 3.6K Mar 23 12:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 23 12:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 103 Mar 23 11:58 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 341 Mar 23 11:58 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.3K Mar 23 11:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 23 11:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 12:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 12:13 UpperBounds.xml

-rw-r--r-- 1 mcc users 6 Mar 23 10:10 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 23 10:10 instance
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 iscolored
-rw-r--r-- 1 mcc users 0 Mar 23 10:10 model-fix.log
-rw-r--r-- 1 mcc users 548K Mar 23 10:10 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 NoC3x3-PT-2B-UpperBounds-00
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-01
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-02
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-03
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-04
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-05
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-06
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-07
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-08
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-09
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-10
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-11
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-12
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-13
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-14
FORMULA_NAME NoC3x3-PT-2B-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1553475901467

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ NoC3x3-PT-2B @ 3570 seconds

FORMULA NoC3x3-PT-2B-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-2B-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-2B-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-2B-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-2B-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-2B-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-2B-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-2B-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-2B-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-2B-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-2B-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-2B-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-2B-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-2B-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-2B-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ NoC3x3-PT-2B

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=UpperBounds.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--timelimit=3570",
"--localtimelimit=0",
"--json=UpperBounds.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Mon Mar 25 01:05:01 2019
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"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(p1927)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 38,
"markings": 39,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"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(p1434)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 42,
"markings": 43,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"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(p143)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 68,
"markings": 69,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"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(p1447)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 42,
"markings": 43,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"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(p1414)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 42,
"markings": 43,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"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(p1119)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 38,
"markings": 39,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 359
},
"exit":
{
"localtimelimitreached": false
},
"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(p1780)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 39,
"markings": 40,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 404
},
"exit":
{
"localtimelimitreached": false
},
"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(p1664)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 77,
"markings": 78,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 462
},
"exit":
{
"localtimelimitreached": false
},
"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(p1396)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 51,
"markings": 52,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 539
},
"exit":
{
"localtimelimitreached": false
},
"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(p82)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 155,
"markings": 156,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 647
},
"exit":
{
"localtimelimitreached": false
},
"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(p249)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 55,
"markings": 56,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 809
},
"exit":
{
"localtimelimitreached": false
},
"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(p427)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 97,
"markings": 98,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1079
},
"exit":
{
"localtimelimitreached": false
},
"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(p276)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 107,
"markings": 108,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1618
},
"exit":
{
"localtimelimitreached": false
},
"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(p1595)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 58,
"markings": 59,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 3237
},
"exit":
{
"localtimelimitreached": false
},
"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(p479)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 74,
"markings": 75,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 42588,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "UpperBounds.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*)"
},
"net":
{
"arcs": 5835,
"conflict_clusters": 1456,
"places": 2003,
"places_significant": 1937,
"singleton_clusters": 0,
"transitions": 2292
},
"result":
{
"interim_value": "1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 ",
"preliminary_value": "1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1 "
},
"task":
{
"type": "compound"
}
}
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: 4295/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2003
lola: finding significant places
lola: 2003 places, 2292 transitions, 1937 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(p1927) : MAX(p1434) : MAX(p143) : MAX(p1447) : MAX(p1414) : MAX(p500) : MAX(p1119) : MAX(p1780) : MAX(p1664) : MAX(p1396) : MAX(p82) : MAX(p249) : MAX(p427) : MAX(p276) : MAX(p1595) : MAX(p479)
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(p1927)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1927)
lola: processed formula length: 10
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: 39 markings, 38 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1434)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1434)
lola: processed formula length: 10
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: 43 markings, 42 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p143)
lola: processed formula length: 9
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: 69 markings, 68 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1447)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1447)
lola: processed formula length: 10
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: 43 markings, 42 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1414)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1414)
lola: processed formula length: 10
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: 43 markings, 42 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p500)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p500)
lola: processed formula length: 9
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: 216089 markings, 220705 edges, 43218 markings/sec, 0 secs
lola: 436003 markings, 458276 edges, 43983 markings/sec, 5 secs
lola: 649478 markings, 695779 edges, 42695 markings/sec, 10 secs
lola: 862425 markings, 932995 edges, 42589 markings/sec, 15 secs
lola: 1071066 markings, 1165155 edges, 41728 markings/sec, 20 secs
lola: 1296463 markings, 1415729 edges, 45079 markings/sec, 25 secs
lola: 1518699 markings, 1656600 edges, 44447 markings/sec, 30 secs
lola: 1745374 markings, 1908205 edges, 45335 markings/sec, 35 secs
lola: 1976386 markings, 2160861 edges, 46202 markings/sec, 40 secs
lola: 2205235 markings, 2413234 edges, 45770 markings/sec, 45 secs
lola: 2431330 markings, 2665161 edges, 45219 markings/sec, 50 secs
lola: 2653374 markings, 2912867 edges, 44409 markings/sec, 55 secs
lola: 2865056 markings, 3148262 edges, 42336 markings/sec, 60 secs
lola: 3076117 markings, 3384447 edges, 42212 markings/sec, 65 secs
lola: 3289076 markings, 3624092 edges, 42592 markings/sec, 70 secs
lola: 3518931 markings, 3882248 edges, 45971 markings/sec, 75 secs
lola: 3744948 markings, 4136044 edges, 45203 markings/sec, 80 secs
lola: 3972191 markings, 4389327 edges, 45449 markings/sec, 85 secs
lola: 4199410 markings, 4642660 edges, 45444 markings/sec, 90 secs
lola: 4424773 markings, 4893277 edges, 45073 markings/sec, 95 secs
lola: 4651534 markings, 5147243 edges, 45352 markings/sec, 100 secs
lola: 4878181 markings, 5402040 edges, 45329 markings/sec, 105 secs
lola: 5106711 markings, 5659226 edges, 45706 markings/sec, 110 secs
lola: 5331590 markings, 5912496 edges, 44976 markings/sec, 115 secs
lola: 5559328 markings, 6165480 edges, 45548 markings/sec, 120 secs
lola: 5784522 markings, 6416514 edges, 45039 markings/sec, 125 secs
lola: 6009793 markings, 6667704 edges, 45054 markings/sec, 130 secs
lola: 6240342 markings, 6922017 edges, 46110 markings/sec, 135 secs
lola: 6463195 markings, 7174395 edges, 44571 markings/sec, 140 secs
lola: 6690306 markings, 7429438 edges, 45422 markings/sec, 145 secs
lola: 6917985 markings, 7685706 edges, 45536 markings/sec, 150 secs
lola: 7147536 markings, 7936637 edges, 45910 markings/sec, 155 secs
lola: 7376858 markings, 8191875 edges, 45864 markings/sec, 160 secs
lola: 7602862 markings, 8443362 edges, 45201 markings/sec, 165 secs
lola: 7828596 markings, 8694474 edges, 45147 markings/sec, 170 secs
lola: 8055581 markings, 8945799 edges, 45397 markings/sec, 175 secs
lola: 8287440 markings, 9197399 edges, 46372 markings/sec, 180 secs
lola: 8513730 markings, 9449288 edges, 45258 markings/sec, 185 secs
lola: 8745943 markings, 9701809 edges, 46443 markings/sec, 190 secs
lola: 8971380 markings, 9952531 edges, 45087 markings/sec, 195 secs
lola: 9196403 markings, 10203191 edges, 45005 markings/sec, 200 secs
lola: 9420568 markings, 10453292 edges, 44833 markings/sec, 205 secs
lola: 9645493 markings, 10702716 edges, 44985 markings/sec, 210 secs
lola: 9867969 markings, 10953656 edges, 44495 markings/sec, 215 secs
lola: 10093133 markings, 11206709 edges, 45033 markings/sec, 220 secs
lola: 10318716 markings, 11460372 edges, 45117 markings/sec, 225 secs
lola: 10541736 markings, 11709689 edges, 44604 markings/sec, 230 secs
lola: 10766135 markings, 11959755 edges, 44880 markings/sec, 235 secs
lola: 10990675 markings, 12210022 edges, 44908 markings/sec, 240 secs
lola: 11217627 markings, 12460697 edges, 45390 markings/sec, 245 secs
lola: 11439603 markings, 12712349 edges, 44395 markings/sec, 250 secs
lola: 11668035 markings, 12969099 edges, 45686 markings/sec, 255 secs
lola: 11894140 markings, 13224135 edges, 45221 markings/sec, 260 secs
lola: 12117062 markings, 13473139 edges, 44584 markings/sec, 265 secs
lola: 12342057 markings, 13723431 edges, 44999 markings/sec, 270 secs
lola: 12566141 markings, 13973350 edges, 44817 markings/sec, 275 secs
lola: 12789553 markings, 14222406 edges, 44682 markings/sec, 280 secs
lola: 13016642 markings, 14475302 edges, 45418 markings/sec, 285 secs
lola: 13238805 markings, 14725128 edges, 44433 markings/sec, 290 secs
lola: 13467114 markings, 14981900 edges, 45662 markings/sec, 295 secs
lola: 13697148 markings, 15233147 edges, 46007 markings/sec, 300 secs
lola: 13932331 markings, 15474016 edges, 47037 markings/sec, 305 secs
lola: 14166556 markings, 15720104 edges, 46845 markings/sec, 310 secs
lola: 14392858 markings, 15968724 edges, 45260 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1515904 KB
lola: time consumption: 330 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 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1119)
lola: processed formula length: 10
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: 39 markings, 38 edges
lola: ========================================
lola: subprocess 7 will run for 359 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1780)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1780)
lola: processed formula length: 10
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: 40 markings, 39 edges
lola: ========================================
lola: subprocess 8 will run for 404 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1664)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1664)
lola: processed formula length: 10
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: 78 markings, 77 edges
lola: ========================================
lola: subprocess 9 will run for 462 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1396)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1396)
lola: processed formula length: 10
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: 52 markings, 51 edges
lola: ========================================
lola: subprocess 10 will run for 539 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p82)
lola: processed formula length: 8
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: 156 markings, 155 edges
lola: ========================================
lola: subprocess 11 will run for 647 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p249)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p249)
lola: processed formula length: 9
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: 56 markings, 55 edges
lola: ========================================
lola: subprocess 12 will run for 809 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p427)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p427)
lola: processed formula length: 9
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: 98 markings, 97 edges
lola: ========================================
lola: subprocess 13 will run for 1079 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p276)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p276)
lola: processed formula length: 9
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: 108 markings, 107 edges
lola: ========================================
lola: subprocess 14 will run for 1618 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1595)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1595)
lola: processed formula length: 10
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: 59 markings, 58 edges
lola: ========================================
lola: subprocess 15 will run for 3237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p479)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p479)
lola: processed formula length: 9
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: 75 markings, 74 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p500)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p500)
lola: processed formula length: 9
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: 229185 markings, 234140 edges, 45837 markings/sec, 0 secs
lola: 460292 markings, 485453 edges, 46221 markings/sec, 5 secs
lola: 687628 markings, 738434 edges, 45467 markings/sec, 10 secs
lola: 914096 markings, 990434 edges, 45294 markings/sec, 15 secs
lola: 1138977 markings, 1240580 edges, 44976 markings/sec, 20 secs
lola: 1366415 markings, 1492419 edges, 45488 markings/sec, 25 secs
lola: 1596079 markings, 1741536 edges, 45933 markings/sec, 30 secs
lola: 1820727 markings, 1991521 edges, 44930 markings/sec, 35 secs
lola: 2046827 markings, 2237608 edges, 45220 markings/sec, 40 secs
lola: 2261446 markings, 2475921 edges, 42924 markings/sec, 45 secs
lola: 2485094 markings, 2725224 edges, 44730 markings/sec, 50 secs
lola: 2706027 markings, 2971596 edges, 44187 markings/sec, 55 secs
lola: 2928494 markings, 3219180 edges, 44493 markings/sec, 60 secs
lola: 3151323 markings, 3469232 edges, 44566 markings/sec, 65 secs
lola: 3375945 markings, 3721607 edges, 44924 markings/sec, 70 secs
lola: 3599778 markings, 3973611 edges, 44767 markings/sec, 75 secs
lola: 3822730 markings, 4222794 edges, 44590 markings/sec, 80 secs
lola: 4045974 markings, 4471573 edges, 44649 markings/sec, 85 secs
lola: 4267407 markings, 4718532 edges, 44287 markings/sec, 90 secs
lola: 4481992 markings, 4957281 edges, 42917 markings/sec, 95 secs
lola: 4697615 markings, 5199268 edges, 43125 markings/sec, 100 secs
lola: 4913940 markings, 5442277 edges, 43265 markings/sec, 105 secs
lola: 5131912 markings, 5687813 edges, 43594 markings/sec, 110 secs
lola: 5345340 markings, 5927771 edges, 42686 markings/sec, 115 secs
lola: 5561674 markings, 6168146 edges, 43267 markings/sec, 120 secs
lola: 5778218 markings, 6409490 edges, 43309 markings/sec, 125 secs
lola: 5995232 markings, 6651340 edges, 43403 markings/sec, 130 secs
lola: 6211710 markings, 6892030 edges, 43296 markings/sec, 135 secs
lola: 6427535 markings, 7134291 edges, 43165 markings/sec, 140 secs
lola: 6644180 markings, 7377475 edges, 43329 markings/sec, 145 secs
lola: 6861908 markings, 7622413 edges, 43546 markings/sec, 150 secs
lola: 7081874 markings, 7863625 edges, 43993 markings/sec, 155 secs
lola: 7299056 markings, 8105287 edges, 43436 markings/sec, 160 secs
lola: 7515904 markings, 8346571 edges, 43370 markings/sec, 165 secs
lola: 7731994 markings, 8587399 edges, 43218 markings/sec, 170 secs
lola: 7946884 markings, 8826458 edges, 42978 markings/sec, 175 secs
lola: 8166063 markings, 9064669 edges, 43836 markings/sec, 180 secs
lola: 8382182 markings, 9302932 edges, 43224 markings/sec, 185 secs
lola: 8597824 markings, 9543113 edges, 43128 markings/sec, 190 secs
lola: 8820666 markings, 9784540 edges, 44568 markings/sec, 195 secs
lola: 9035213 markings, 10023781 edges, 42909 markings/sec, 200 secs
lola: 9249321 markings, 10262368 edges, 42822 markings/sec, 205 secs
lola: 9463515 markings, 10501097 edges, 42839 markings/sec, 210 secs
lola: 9680245 markings, 10741826 edges, 43346 markings/sec, 215 secs
lola: 9891419 markings, 10980050 edges, 42235 markings/sec, 220 secs
lola: 10108774 markings, 11224335 edges, 43471 markings/sec, 225 secs
lola: 10325160 markings, 11467718 edges, 43277 markings/sec, 230 secs
lola: 10539007 markings, 11706615 edges, 42769 markings/sec, 235 secs
lola: 10753308 markings, 11945404 edges, 42860 markings/sec, 240 secs
lola: 10967142 markings, 12183823 edges, 42767 markings/sec, 245 secs
lola: 11182426 markings, 12423559 edges, 43057 markings/sec, 250 secs
lola: 11395566 markings, 12662807 edges, 42628 markings/sec, 255 secs
lola: 11612326 markings, 12906325 edges, 43352 markings/sec, 260 secs
lola: 11828424 markings, 13149776 edges, 43220 markings/sec, 265 secs
lola: 12042010 markings, 13389869 edges, 42717 markings/sec, 270 secs
lola: 12255694 markings, 13627254 edges, 42737 markings/sec, 275 secs
lola: 12466940 markings, 13862735 edges, 42249 markings/sec, 280 secs
lola: 12681135 markings, 14101329 edges, 42839 markings/sec, 285 secs
lola: 12895869 markings, 14340297 edges, 42947 markings/sec, 290 secs
lola: 13106218 markings, 14576275 edges, 42070 markings/sec, 295 secs
lola: 13317504 markings, 14813425 edges, 42257 markings/sec, 300 secs
lola: 13534263 markings, 15057287 edges, 43352 markings/sec, 305 secs
lola: 13756177 markings, 15293348 edges, 44383 markings/sec, 310 secs
lola: 13979316 markings, 15522004 edges, 44628 markings/sec, 315 secs
lola: 14203161 markings, 15759700 edges, 44769 markings/sec, 320 secs
lola: 14417347 markings, 15995982 edges, 42837 markings/sec, 325 secs
lola: 14634131 markings, 16231064 edges, 43357 markings/sec, 330 secs
lola: 14849327 markings, 16470598 edges, 43039 markings/sec, 335 secs
lola: 15064237 markings, 16709544 edges, 42982 markings/sec, 340 secs
lola: 15272215 markings, 16941226 edges, 41596 markings/sec, 345 secs
lola: 15496389 markings, 17179615 edges, 44835 markings/sec, 350 secs
lola: 15720961 markings, 17409675 edges, 44914 markings/sec, 355 secs
lola: 15945994 markings, 17642182 edges, 45007 markings/sec, 360 secs
lola: 16166862 markings, 17882348 edges, 44174 markings/sec, 365 secs
lola: 16384875 markings, 18124851 edges, 43603 markings/sec, 370 secs
lola: 16600735 markings, 18365337 edges, 43172 markings/sec, 375 secs
lola: 16818869 markings, 18601492 edges, 43627 markings/sec, 380 secs
lola: 17034243 markings, 18840057 edges, 43075 markings/sec, 385 secs
lola: 17247869 markings, 19077915 edges, 42725 markings/sec, 390 secs
lola: 17460955 markings, 19314906 edges, 42617 markings/sec, 395 secs
lola: 17677088 markings, 19550369 edges, 43227 markings/sec, 400 secs
lola: 17905003 markings, 19783540 edges, 45583 markings/sec, 405 secs
lola: 18128645 markings, 20013771 edges, 44728 markings/sec, 410 secs
lola: 18350815 markings, 20250877 edges, 44434 markings/sec, 415 secs
lola: 18569344 markings, 20486718 edges, 43706 markings/sec, 420 secs
lola: 18780494 markings, 20721785 edges, 42230 markings/sec, 425 secs
lola: 18993462 markings, 20957355 edges, 42594 markings/sec, 430 secs
lola: 19204027 markings, 21192064 edges, 42113 markings/sec, 435 secs
lola: 19423173 markings, 21424775 edges, 43829 markings/sec, 440 secs
lola: 19641211 markings, 21650845 edges, 43608 markings/sec, 445 secs
lola: 19829367 markings, 21890678 edges, 37631 markings/sec, 450 secs
lola: 20031991 markings, 22128965 edges, 40525 markings/sec, 455 secs
lola: 20255909 markings, 22358449 edges, 44784 markings/sec, 460 secs
lola: 20450951 markings, 22601086 edges, 39008 markings/sec, 465 secs
lola: 20647686 markings, 22843502 edges, 39347 markings/sec, 470 secs
lola: 20862904 markings, 23082430 edges, 43044 markings/sec, 475 secs
lola: 21077276 markings, 23318716 edges, 42874 markings/sec, 480 secs
lola: 21290272 markings, 23554595 edges, 42599 markings/sec, 485 secs
lola: 21502711 markings, 23789867 edges, 42488 markings/sec, 490 secs
lola: 21717638 markings, 24027519 edges, 42985 markings/sec, 495 secs
lola: 21922806 markings, 24255820 edges, 41034 markings/sec, 500 secs
lola: 22129369 markings, 24482594 edges, 41313 markings/sec, 505 secs
lola: 22337330 markings, 24713109 edges, 41592 markings/sec, 510 secs
lola: 22549446 markings, 24947423 edges, 42423 markings/sec, 515 secs
lola: 22762329 markings, 25181691 edges, 42577 markings/sec, 520 secs
lola: 22971890 markings, 25414232 edges, 41912 markings/sec, 525 secs
lola: 23183140 markings, 25646231 edges, 42250 markings/sec, 530 secs
lola: 23394623 markings, 25880504 edges, 42297 markings/sec, 535 secs
lola: 23605156 markings, 26113177 edges, 42107 markings/sec, 540 secs
lola: 23820420 markings, 26349494 edges, 43053 markings/sec, 545 secs
lola: 24025022 markings, 26581618 edges, 40920 markings/sec, 550 secs
lola: 24227854 markings, 26818420 edges, 40566 markings/sec, 555 secs
lola: 24437208 markings, 27049484 edges, 41871 markings/sec, 560 secs
lola: 24652584 markings, 27287608 edges, 43075 markings/sec, 565 secs
lola: 24863574 markings, 27516262 edges, 42198 markings/sec, 570 secs
lola: 25080207 markings, 27750760 edges, 43327 markings/sec, 575 secs
lola: 25291233 markings, 27982920 edges, 42205 markings/sec, 580 secs
lola: 25494719 markings, 28209212 edges, 40697 markings/sec, 585 secs
lola: 25698451 markings, 28436165 edges, 40746 markings/sec, 590 secs
lola: 25902175 markings, 28662803 edges, 40745 markings/sec, 595 secs
lola: 26108615 markings, 28892799 edges, 41288 markings/sec, 600 secs
lola: 26313976 markings, 29121168 edges, 41072 markings/sec, 605 secs
lola: 26518010 markings, 29348342 edges, 40807 markings/sec, 610 secs
lola: 26723766 markings, 29576343 edges, 41151 markings/sec, 615 secs
lola: 26935183 markings, 29810188 edges, 42283 markings/sec, 620 secs
lola: 27150128 markings, 30046715 edges, 42989 markings/sec, 625 secs
lola: 27362275 markings, 30283021 edges, 42429 markings/sec, 630 secs
lola: 27573724 markings, 30518395 edges, 42290 markings/sec, 635 secs
lola: 27785684 markings, 30754284 edges, 42392 markings/sec, 640 secs
lola: 27993150 markings, 30985170 edges, 41493 markings/sec, 645 secs
lola: 28203092 markings, 31218949 edges, 41988 markings/sec, 650 secs
lola: 28413754 markings, 31452458 edges, 42132 markings/sec, 655 secs
lola: 28619437 markings, 31680901 edges, 41137 markings/sec, 660 secs
lola: 28823801 markings, 31908543 edges, 40873 markings/sec, 665 secs
lola: 29028846 markings, 32136760 edges, 41009 markings/sec, 670 secs
lola: 29240623 markings, 32368632 edges, 42355 markings/sec, 675 secs
lola: 29451517 markings, 32600198 edges, 42179 markings/sec, 680 secs
lola: 29659752 markings, 32829994 edges, 41647 markings/sec, 685 secs
lola: 29867103 markings, 33060673 edges, 41470 markings/sec, 690 secs
lola: 30074011 markings, 33291037 edges, 41382 markings/sec, 695 secs
lola: 30283920 markings, 33522148 edges, 41982 markings/sec, 700 secs
lola: 30496988 markings, 33755878 edges, 42614 markings/sec, 705 secs
lola: 30708131 markings, 33985584 edges, 42229 markings/sec, 710 secs
lola: 30911176 markings, 34211445 edges, 40609 markings/sec, 715 secs
lola: 31113760 markings, 34436964 edges, 40517 markings/sec, 720 secs
lola: 31318243 markings, 34672079 edges, 40897 markings/sec, 725 secs
lola: 31533427 markings, 34911606 edges, 43037 markings/sec, 730 secs
lola: 31747253 markings, 35149635 edges, 42765 markings/sec, 735 secs
lola: 31964999 markings, 35389646 edges, 43549 markings/sec, 740 secs
lola: 32171938 markings, 35621394 edges, 41388 markings/sec, 745 secs
lola: 32379037 markings, 35851927 edges, 41420 markings/sec, 750 secs
lola: 32586110 markings, 36082502 edges, 41415 markings/sec, 755 secs
lola: 32797038 markings, 36315430 edges, 42186 markings/sec, 760 secs
lola: 33004635 markings, 36549412 edges, 41519 markings/sec, 765 secs
lola: 33208665 markings, 36776667 edges, 40806 markings/sec, 770 secs
lola: 33413771 markings, 37004878 edges, 41021 markings/sec, 775 secs
lola: 33618915 markings, 37234160 edges, 41029 markings/sec, 780 secs
lola: 33833794 markings, 37472612 edges, 42976 markings/sec, 785 secs
lola: 34039414 markings, 37705918 edges, 41124 markings/sec, 790 secs
lola: 34246762 markings, 37936842 edges, 41470 markings/sec, 795 secs
lola: 34453990 markings, 38167497 edges, 41446 markings/sec, 800 secs
lola: 34664456 markings, 38402081 edges, 42093 markings/sec, 805 secs
lola: 34875410 markings, 38638895 edges, 42191 markings/sec, 810 secs
lola: 35083049 markings, 38878030 edges, 41528 markings/sec, 815 secs
lola: 35295431 markings, 39113500 edges, 42476 markings/sec, 820 secs
lola: 35504582 markings, 39351729 edges, 41830 markings/sec, 825 secs
lola: 35717749 markings, 39589201 edges, 42633 markings/sec, 830 secs
lola: 35934078 markings, 39828948 edges, 43266 markings/sec, 835 secs
lola: 36143281 markings, 40061256 edges, 41841 markings/sec, 840 secs
lola: 36352846 markings, 40293968 edges, 41913 markings/sec, 845 secs
lola: 36561843 markings, 40527439 edges, 41799 markings/sec, 850 secs
lola: 36772386 markings, 40761575 edges, 42109 markings/sec, 855 secs
lola: 36982892 markings, 40995694 edges, 42101 markings/sec, 860 secs
lola: 37195924 markings, 41231059 edges, 42606 markings/sec, 865 secs
lola: 37406024 markings, 41469277 edges, 42020 markings/sec, 870 secs
lola: 37619174 markings, 41707848 edges, 42630 markings/sec, 875 secs
lola: 37829631 markings, 41944927 edges, 42091 markings/sec, 880 secs
lola: 38044485 markings, 42185700 edges, 42971 markings/sec, 885 secs
lola: 38247648 markings, 42414117 edges, 40633 markings/sec, 890 secs
lola: 38451820 markings, 42643417 edges, 40834 markings/sec, 895 secs
lola: 38662850 markings, 42880772 edges, 42206 markings/sec, 900 secs
lola: 38878660 markings, 43123063 edges, 43162 markings/sec, 905 secs
lola: 39094914 markings, 43366194 edges, 43251 markings/sec, 910 secs
lola: 39311256 markings, 43607975 edges, 43268 markings/sec, 915 secs
lola: 39519193 markings, 43841882 edges, 41587 markings/sec, 920 secs
lola: 39730476 markings, 44078376 edges, 42257 markings/sec, 925 secs
lola: 39944603 markings, 44318287 edges, 42825 markings/sec, 930 secs
lola: 40151939 markings, 44551033 edges, 41467 markings/sec, 935 secs
lola: 40363390 markings, 44787739 edges, 42290 markings/sec, 940 secs
lola: 40571508 markings, 45020255 edges, 41624 markings/sec, 945 secs
lola: 40778122 markings, 45252678 edges, 41323 markings/sec, 950 secs
lola: 40982816 markings, 45482480 edges, 40939 markings/sec, 955 secs
lola: 41181077 markings, 45704959 edges, 39652 markings/sec, 960 secs
lola: 41379765 markings, 45927521 edges, 39738 markings/sec, 965 secs
lola: 41583503 markings, 46156251 edges, 40748 markings/sec, 970 secs
lola: 41778634 markings, 46375122 edges, 39026 markings/sec, 975 secs
lola: 41980223 markings, 46601308 edges, 40318 markings/sec, 980 secs
lola: 42185288 markings, 46830840 edges, 41013 markings/sec, 985 secs
lola: 42401722 markings, 47073080 edges, 43287 markings/sec, 990 secs
lola: 42616329 markings, 47313808 edges, 42921 markings/sec, 995 secs
lola: 42831069 markings, 47553968 edges, 42948 markings/sec, 1000 secs
lola: 43042913 markings, 47791091 edges, 42369 markings/sec, 1005 secs
lola: 43257046 markings, 48030708 edges, 42827 markings/sec, 1010 secs
lola: 43463167 markings, 48261660 edges, 41224 markings/sec, 1015 secs
lola: 43667026 markings, 48490223 edges, 40772 markings/sec, 1020 secs
lola: 43871123 markings, 48719507 edges, 40819 markings/sec, 1025 secs
lola: 44079452 markings, 48952946 edges, 41666 markings/sec, 1030 secs
lola: 44283504 markings, 49182192 edges, 40810 markings/sec, 1035 secs
lola: 44485939 markings, 49410018 edges, 40487 markings/sec, 1040 secs
lola: 44689620 markings, 49638736 edges, 40736 markings/sec, 1045 secs
lola: 44899287 markings, 49873562 edges, 41933 markings/sec, 1050 secs
lola: 45104268 markings, 50102342 edges, 40996 markings/sec, 1055 secs
lola: 45304914 markings, 50332769 edges, 40129 markings/sec, 1060 secs
lola: 45509985 markings, 50568577 edges, 41014 markings/sec, 1065 secs
lola: 45713017 markings, 50793540 edges, 40606 markings/sec, 1070 secs
lola: 45915926 markings, 51019302 edges, 40582 markings/sec, 1075 secs
lola: 46133370 markings, 51260860 edges, 43489 markings/sec, 1080 secs
lola: 46342157 markings, 51491555 edges, 41757 markings/sec, 1085 secs
lola: 46545203 markings, 51717746 edges, 40609 markings/sec, 1090 secs
lola: 46763582 markings, 51944673 edges, 43676 markings/sec, 1095 secs
lola: 46972902 markings, 52173217 edges, 41864 markings/sec, 1100 secs
lola: 47159983 markings, 52411840 edges, 37416 markings/sec, 1105 secs
lola: 47369469 markings, 52644600 edges, 41897 markings/sec, 1110 secs
lola: 47585442 markings, 52873462 edges, 43195 markings/sec, 1115 secs
lola: 47767983 markings, 53106267 edges, 36508 markings/sec, 1120 secs
lola: 47958130 markings, 53334341 edges, 38029 markings/sec, 1125 secs
lola: 48161330 markings, 53559188 edges, 40640 markings/sec, 1130 secs
lola: 48371343 markings, 53791799 edges, 42003 markings/sec, 1135 secs
lola: 48577948 markings, 54020984 edges, 41321 markings/sec, 1140 secs
lola: 48793714 markings, 54256753 edges, 43153 markings/sec, 1145 secs
lola: 49006614 markings, 54492522 edges, 42580 markings/sec, 1150 secs
lola: 49220183 markings, 54728385 edges, 42714 markings/sec, 1155 secs
lola: 49432630 markings, 54964245 edges, 42489 markings/sec, 1160 secs
lola: 49646009 markings, 55198062 edges, 42676 markings/sec, 1165 secs
lola: 49859790 markings, 55432752 edges, 42756 markings/sec, 1170 secs
lola: 50066908 markings, 55662687 edges, 41424 markings/sec, 1175 secs
lola: 50283233 markings, 55895811 edges, 43265 markings/sec, 1180 secs
lola: 50498688 markings, 56128803 edges, 43091 markings/sec, 1185 secs
lola: 50710280 markings, 56363444 edges, 42318 markings/sec, 1190 secs
lola: 50922317 markings, 56597888 edges, 42407 markings/sec, 1195 secs
lola: 51128885 markings, 56832782 edges, 41314 markings/sec, 1200 secs
lola: 51321226 markings, 57057206 edges, 38468 markings/sec, 1205 secs
lola: 51524068 markings, 57278896 edges, 40568 markings/sec, 1210 secs
lola: 51726142 markings, 57503430 edges, 40415 markings/sec, 1215 secs
lola: 51927048 markings, 57726974 edges, 40181 markings/sec, 1220 secs
lola: 52122197 markings, 57944194 edges, 39030 markings/sec, 1225 secs
lola: 52316798 markings, 58160783 edges, 38920 markings/sec, 1230 secs
lola: 52515343 markings, 58384058 edges, 39709 markings/sec, 1235 secs
lola: 52718823 markings, 58610471 edges, 40696 markings/sec, 1240 secs
lola: 52920592 markings, 58835049 edges, 40354 markings/sec, 1245 secs
lola: 53122393 markings, 59059487 edges, 40360 markings/sec, 1250 secs
lola: 53326976 markings, 59287062 edges, 40917 markings/sec, 1255 secs
lola: 53532127 markings, 59515194 edges, 41030 markings/sec, 1260 secs
lola: 53734984 markings, 59739675 edges, 40571 markings/sec, 1265 secs
lola: 53944186 markings, 59964942 edges, 41840 markings/sec, 1270 secs
lola: 54141514 markings, 60182485 edges, 39466 markings/sec, 1275 secs
lola: 54337162 markings, 60400564 edges, 39130 markings/sec, 1280 secs
lola: 54532072 markings, 60617527 edges, 38982 markings/sec, 1285 secs
lola: 54734356 markings, 60842695 edges, 40457 markings/sec, 1290 secs
lola: 54931276 markings, 61061799 edges, 39384 markings/sec, 1295 secs
lola: 55127342 markings, 61280952 edges, 39213 markings/sec, 1300 secs
lola: 55322938 markings, 61498655 edges, 39119 markings/sec, 1305 secs
lola: 55518961 markings, 61716847 edges, 39205 markings/sec, 1310 secs
lola: 55716991 markings, 61935509 edges, 39606 markings/sec, 1315 secs
lola: 55919185 markings, 62158319 edges, 40439 markings/sec, 1320 secs
lola: 56124925 markings, 62387501 edges, 41148 markings/sec, 1325 secs
lola: 56328321 markings, 62614005 edges, 40679 markings/sec, 1330 secs
lola: 56535719 markings, 62844752 edges, 41480 markings/sec, 1335 secs
lola: 56735526 markings, 63066926 edges, 39961 markings/sec, 1340 secs
lola: 56939833 markings, 63288948 edges, 40861 markings/sec, 1345 secs
lola: 57154270 markings, 63527233 edges, 42887 markings/sec, 1350 secs
lola: 57372945 markings, 63764972 edges, 43735 markings/sec, 1355 secs
lola: 57583793 markings, 63999671 edges, 42170 markings/sec, 1360 secs
lola: 57795978 markings, 64235907 edges, 42437 markings/sec, 1365 secs
lola: 58009466 markings, 64473261 edges, 42698 markings/sec, 1370 secs
lola: 58223797 markings, 64711954 edges, 42866 markings/sec, 1375 secs
lola: 58425847 markings, 64937084 edges, 40410 markings/sec, 1380 secs
lola: 58630972 markings, 65164179 edges, 41025 markings/sec, 1385 secs
lola: 58832787 markings, 65394030 edges, 40363 markings/sec, 1390 secs
lola: 59046792 markings, 65627197 edges, 42801 markings/sec, 1395 secs
lola: 59254724 markings, 65875472 edges, 41586 markings/sec, 1400 secs
lola: 59472962 markings, 66121351 edges, 43648 markings/sec, 1405 secs
lola: 59690571 markings, 66361667 edges, 43522 markings/sec, 1410 secs
lola: 59901787 markings, 66605150 edges, 42243 markings/sec, 1415 secs
lola: 60119054 markings, 66847282 edges, 43453 markings/sec, 1420 secs
lola: 60334028 markings, 67088231 edges, 42995 markings/sec, 1425 secs
lola: 60554893 markings, 67333328 edges, 44173 markings/sec, 1430 secs
lola: 60775701 markings, 67578477 edges, 44162 markings/sec, 1435 secs
lola: 60994674 markings, 67823073 edges, 43795 markings/sec, 1440 secs
lola: 61211112 markings, 68064204 edges, 43288 markings/sec, 1445 secs
lola: 61428073 markings, 68305480 edges, 43392 markings/sec, 1450 secs
lola: 61645087 markings, 68546866 edges, 43403 markings/sec, 1455 secs
lola: 61845635 markings, 68770103 edges, 40110 markings/sec, 1460 secs
lola: 62047190 markings, 68993995 edges, 40311 markings/sec, 1465 secs
lola: 62245702 markings, 69214586 edges, 39702 markings/sec, 1470 secs
lola: 62444891 markings, 69436165 edges, 39838 markings/sec, 1475 secs
lola: 62643510 markings, 69658072 edges, 39724 markings/sec, 1480 secs
lola: 62847330 markings, 69885742 edges, 40764 markings/sec, 1485 secs
lola: 63048566 markings, 70112203 edges, 40247 markings/sec, 1490 secs
lola: 63249527 markings, 70336004 edges, 40192 markings/sec, 1495 secs
lola: 63446899 markings, 70555643 edges, 39474 markings/sec, 1500 secs
lola: 63642875 markings, 70773342 edges, 39195 markings/sec, 1505 secs
lola: 63844522 markings, 70999057 edges, 40329 markings/sec, 1510 secs
lola: 64045819 markings, 71222911 edges, 40259 markings/sec, 1515 secs
lola: 64243304 markings, 71442345 edges, 39497 markings/sec, 1520 secs
lola: 64441875 markings, 71664446 edges, 39714 markings/sec, 1525 secs
lola: 64640217 markings, 71886973 edges, 39668 markings/sec, 1530 secs
lola: 64840760 markings, 72112207 edges, 40109 markings/sec, 1535 secs
lola: 65046923 markings, 72341353 edges, 41233 markings/sec, 1540 secs
lola: 65245102 markings, 72564017 edges, 39636 markings/sec, 1545 secs
lola: 65444931 markings, 72788687 edges, 39966 markings/sec, 1550 secs
lola: 65646362 markings, 73013959 edges, 40286 markings/sec, 1555 secs
lola: 65851812 markings, 73244989 edges, 41090 markings/sec, 1560 secs
lola: 66073568 markings, 73494275 edges, 44351 markings/sec, 1565 secs
lola: 66289539 markings, 73735968 edges, 43194 markings/sec, 1570 secs
lola: 66507431 markings, 73979961 edges, 43578 markings/sec, 1575 secs
lola: 66719453 markings, 74218014 edges, 42404 markings/sec, 1580 secs
lola: 66934281 markings, 74458633 edges, 42966 markings/sec, 1585 secs
lola: 67151808 markings, 74702574 edges, 43505 markings/sec, 1590 secs
lola: 67362784 markings, 74939332 edges, 42195 markings/sec, 1595 secs
lola: 67578989 markings, 75181350 edges, 43241 markings/sec, 1600 secs
lola: 67794292 markings, 75421965 edges, 43061 markings/sec, 1605 secs
lola: 68006054 markings, 75660332 edges, 42352 markings/sec, 1610 secs
lola: 68225963 markings, 75907178 edges, 43982 markings/sec, 1615 secs
lola: 68444379 markings, 76151361 edges, 43683 markings/sec, 1620 secs
lola: 68658782 markings, 76392475 edges, 42881 markings/sec, 1625 secs
lola: 68867948 markings, 76627961 edges, 41833 markings/sec, 1630 secs
lola: 69083503 markings, 76870093 edges, 43111 markings/sec, 1635 secs
lola: 69301562 markings, 77115749 edges, 43612 markings/sec, 1640 secs
lola: 69520306 markings, 77361473 edges, 43749 markings/sec, 1645 secs
lola: 69737185 markings, 77604437 edges, 43376 markings/sec, 1650 secs
lola: 69954570 markings, 77847262 edges, 43477 markings/sec, 1655 secs
lola: 70174967 markings, 78093806 edges, 44079 markings/sec, 1660 secs
lola: 70391294 markings, 78336062 edges, 43265 markings/sec, 1665 secs
lola: 70609787 markings, 78579389 edges, 43699 markings/sec, 1670 secs
lola: 70827945 markings, 78824276 edges, 43632 markings/sec, 1675 secs
lola: 71050022 markings, 79073073 edges, 44415 markings/sec, 1680 secs
lola: 71268004 markings, 79318037 edges, 43596 markings/sec, 1685 secs
lola: 71486654 markings, 79562455 edges, 43730 markings/sec, 1690 secs
lola: 71708154 markings, 79809842 edges, 44300 markings/sec, 1695 secs
lola: 71930790 markings, 80059350 edges, 44527 markings/sec, 1700 secs
lola: 72141983 markings, 80306681 edges, 42239 markings/sec, 1705 secs
lola: 72367022 markings, 80542014 edges, 45008 markings/sec, 1710 secs
lola: 72592471 markings, 80773076 edges, 45090 markings/sec, 1715 secs
lola: 72814084 markings, 81000162 edges, 44323 markings/sec, 1720 secs
lola: 73009402 markings, 81241474 edges, 39064 markings/sec, 1725 secs
lola: 73206575 markings, 81486397 edges, 39435 markings/sec, 1730 secs
lola: 73437500 markings, 81722910 edges, 46185 markings/sec, 1735 secs
lola: 73646794 markings, 81967946 edges, 41859 markings/sec, 1740 secs
lola: 73843439 markings, 82218725 edges, 39329 markings/sec, 1745 secs
lola: 74063233 markings, 82465449 edges, 43959 markings/sec, 1750 secs
lola: 74284370 markings, 82710270 edges, 44227 markings/sec, 1755 secs
lola: 74501255 markings, 82951948 edges, 43377 markings/sec, 1760 secs
lola: 74717920 markings, 83191814 edges, 43333 markings/sec, 1765 secs
lola: 74934196 markings, 83432840 edges, 43255 markings/sec, 1770 secs
lola: 75152977 markings, 83674219 edges, 43756 markings/sec, 1775 secs
lola: 75368211 markings, 83913666 edges, 43047 markings/sec, 1780 secs
lola: 75594691 markings, 84154007 edges, 45296 markings/sec, 1785 secs
lola: 75813775 markings, 84398127 edges, 43817 markings/sec, 1790 secs
lola: 76033230 markings, 84641174 edges, 43891 markings/sec, 1795 secs
lola: 76250819 markings, 84883358 edges, 43518 markings/sec, 1800 secs
lola: 76465153 markings, 85121428 edges, 42867 markings/sec, 1805 secs
lola: 76677413 markings, 85357032 edges, 42452 markings/sec, 1810 secs
lola: 76891948 markings, 85593317 edges, 42907 markings/sec, 1815 secs
lola: 77095124 markings, 85817594 edges, 40635 markings/sec, 1820 secs
lola: 77300959 markings, 86046977 edges, 41167 markings/sec, 1825 secs
lola: 77494602 markings, 86273864 edges, 38729 markings/sec, 1830 secs
lola: 77706103 markings, 86509432 edges, 42300 markings/sec, 1835 secs
lola: 77920981 markings, 86746767 edges, 42976 markings/sec, 1840 secs
lola: 78127655 markings, 86977133 edges, 41335 markings/sec, 1845 secs
lola: 78340039 markings, 87211429 edges, 42477 markings/sec, 1850 secs
lola: 78550326 markings, 87445332 edges, 42057 markings/sec, 1855 secs
lola: 78761312 markings, 87676234 edges, 42197 markings/sec, 1860 secs
lola: 78968674 markings, 87905112 edges, 41472 markings/sec, 1865 secs
lola: 79183612 markings, 88141475 edges, 42988 markings/sec, 1870 secs
lola: 79396058 markings, 88374298 edges, 42489 markings/sec, 1875 secs
lola: 79603391 markings, 88601230 edges, 41467 markings/sec, 1880 secs
lola: 79820638 markings, 88837354 edges, 43449 markings/sec, 1885 secs
lola: 80036817 markings, 89073960 edges, 43236 markings/sec, 1890 secs
lola: 80244633 markings, 89307173 edges, 41563 markings/sec, 1895 secs
lola: 80448405 markings, 89534370 edges, 40754 markings/sec, 1900 secs
lola: 80655305 markings, 89764888 edges, 41380 markings/sec, 1905 secs
lola: 80861434 markings, 89995747 edges, 41226 markings/sec, 1910 secs
lola: 81064739 markings, 90222483 edges, 40661 markings/sec, 1915 secs
lola: 81270195 markings, 90451686 edges, 41091 markings/sec, 1920 secs
lola: 81476421 markings, 90681476 edges, 41245 markings/sec, 1925 secs
lola: 81686579 markings, 90915000 edges, 42032 markings/sec, 1930 secs
lola: 81893382 markings, 91145410 edges, 41361 markings/sec, 1935 secs
lola: 82101165 markings, 91376998 edges, 41557 markings/sec, 1940 secs
lola: 82312105 markings, 91610905 edges, 42188 markings/sec, 1945 secs
lola: 82518210 markings, 91841324 edges, 41221 markings/sec, 1950 secs
lola: 82727430 markings, 92074511 edges, 41844 markings/sec, 1955 secs
lola: 82937302 markings, 92308408 edges, 41974 markings/sec, 1960 secs
lola: 83150225 markings, 92545811 edges, 42585 markings/sec, 1965 secs
lola: 83350523 markings, 92768544 edges, 40060 markings/sec, 1970 secs
lola: 83551611 markings, 92991711 edges, 40218 markings/sec, 1975 secs
lola: 83750237 markings, 93213114 edges, 39725 markings/sec, 1980 secs
lola: 83954837 markings, 93441202 edges, 40920 markings/sec, 1985 secs
lola: 84156173 markings, 93663457 edges, 40267 markings/sec, 1990 secs
lola: 84360191 markings, 93888049 edges, 40804 markings/sec, 1995 secs
lola: 84561386 markings, 94112035 edges, 40239 markings/sec, 2000 secs
lola: 84765627 markings, 94339830 edges, 40848 markings/sec, 2005 secs
lola: 84966841 markings, 94563968 edges, 40243 markings/sec, 2010 secs
lola: 85163655 markings, 94786834 edges, 39363 markings/sec, 2015 secs
lola: 85366743 markings, 95013201 edges, 40618 markings/sec, 2020 secs
lola: 85562593 markings, 95231578 edges, 39170 markings/sec, 2025 secs
lola: 85758723 markings, 95450011 edges, 39226 markings/sec, 2030 secs
lola: 85953703 markings, 95667737 edges, 38996 markings/sec, 2035 secs
lola: 86149351 markings, 95885836 edges, 39130 markings/sec, 2040 secs
lola: 86345111 markings, 96104096 edges, 39152 markings/sec, 2045 secs
lola: 86554236 markings, 96329408 edges, 41825 markings/sec, 2050 secs
lola: 86758918 markings, 96577931 edges, 40936 markings/sec, 2055 secs
lola: 86966309 markings, 96806676 edges, 41478 markings/sec, 2060 secs
lola: 87181010 markings, 97046002 edges, 42940 markings/sec, 2065 secs
lola: 87395814 markings, 97285400 edges, 42961 markings/sec, 2070 secs
lola: 87616768 markings, 97532231 edges, 44191 markings/sec, 2075 secs
lola: 87831689 markings, 97765765 edges, 42984 markings/sec, 2080 secs
lola: 88034714 markings, 98001289 edges, 40605 markings/sec, 2085 secs
lola: 88235575 markings, 98225522 edges, 40172 markings/sec, 2090 secs
lola: 88430725 markings, 98445920 edges, 39030 markings/sec, 2095 secs
lola: 88627310 markings, 98664780 edges, 39317 markings/sec, 2100 secs
lola: 88824320 markings, 98884259 edges, 39402 markings/sec, 2105 secs
lola: 89036287 markings, 99120049 edges, 42393 markings/sec, 2110 secs
lola: 89250278 markings, 99359042 edges, 42798 markings/sec, 2115 secs
lola: 89465190 markings, 99598492 edges, 42982 markings/sec, 2120 secs
lola: 89675639 markings, 99834963 edges, 42090 markings/sec, 2125 secs
lola: 89886035 markings, 100069222 edges, 42079 markings/sec, 2130 secs
lola: 90099883 markings, 100307496 edges, 42770 markings/sec, 2135 secs
lola: 90309999 markings, 100541593 edges, 42023 markings/sec, 2140 secs
lola: 90516096 markings, 100770927 edges, 41219 markings/sec, 2145 secs
lola: 90720688 markings, 100998748 edges, 40918 markings/sec, 2150 secs
lola: 90927722 markings, 101229290 edges, 41407 markings/sec, 2155 secs
lola: 91130498 markings, 101453810 edges, 40555 markings/sec, 2160 secs
lola: 91336252 markings, 101682319 edges, 41151 markings/sec, 2165 secs
lola: 91540698 markings, 101909978 edges, 40889 markings/sec, 2170 secs
lola: 91748742 markings, 102141542 edges, 41609 markings/sec, 2175 secs
lola: 91958103 markings, 102372865 edges, 41872 markings/sec, 2180 secs
lola: 92167103 markings, 102608888 edges, 41800 markings/sec, 2185 secs
lola: 92379764 markings, 102848544 edges, 42532 markings/sec, 2190 secs
lola: 92595626 markings, 103090464 edges, 43172 markings/sec, 2195 secs
lola: 92796560 markings, 103316427 edges, 40187 markings/sec, 2200 secs
lola: 92990365 markings, 103534459 edges, 38761 markings/sec, 2205 secs
lola: 93194132 markings, 103763690 edges, 40753 markings/sec, 2210 secs
lola: 93398245 markings, 103993309 edges, 40823 markings/sec, 2215 secs
lola: 93613747 markings, 104235172 edges, 43100 markings/sec, 2220 secs
lola: 93828598 markings, 104476509 edges, 42970 markings/sec, 2225 secs
lola: 94043278 markings, 104716948 edges, 42936 markings/sec, 2230 secs
lola: 94261465 markings, 104961580 edges, 43637 markings/sec, 2235 secs
lola: 94473825 markings, 105200276 edges, 42472 markings/sec, 2240 secs
lola: 94691558 markings, 105445225 edges, 43547 markings/sec, 2245 secs
lola: 94910393 markings, 105692000 edges, 43767 markings/sec, 2250 secs
lola: 95117903 markings, 105925085 edges, 41502 markings/sec, 2255 secs
lola: 95325454 markings, 106158201 edges, 41510 markings/sec, 2260 secs
lola: 95534692 markings, 106392634 edges, 41848 markings/sec, 2265 secs
lola: 95751179 markings, 106635939 edges, 43297 markings/sec, 2270 secs
lola: 95969491 markings, 106880580 edges, 43662 markings/sec, 2275 secs
lola: 96185681 markings, 107123312 edges, 43238 markings/sec, 2280 secs
lola: 96397715 markings, 107361059 edges, 42407 markings/sec, 2285 secs
lola: 96613673 markings, 107603592 edges, 43192 markings/sec, 2290 secs
lola: 96827435 markings, 107844008 edges, 42752 markings/sec, 2295 secs
lola: 97043802 markings, 108087034 edges, 43273 markings/sec, 2300 secs
lola: 97263785 markings, 108333977 edges, 43997 markings/sec, 2305 secs
lola: 97483122 markings, 108580221 edges, 43867 markings/sec, 2310 secs
lola: 97701096 markings, 108823955 edges, 43595 markings/sec, 2315 secs
lola: 97920125 markings, 109069389 edges, 43806 markings/sec, 2320 secs
lola: 98139130 markings, 109315300 edges, 43801 markings/sec, 2325 secs
lola: 98357384 markings, 109561067 edges, 43651 markings/sec, 2330 secs
lola: 98575156 markings, 109805280 edges, 43554 markings/sec, 2335 secs
lola: 98791992 markings, 110048135 edges, 43367 markings/sec, 2340 secs
lola: 99009244 markings, 110291524 edges, 43450 markings/sec, 2345 secs
lola: 99229603 markings, 110537957 edges, 44072 markings/sec, 2350 secs
lola: 99450845 markings, 110786626 edges, 44248 markings/sec, 2355 secs
lola: 99648800 markings, 111020053 edges, 39591 markings/sec, 2360 secs
lola: 99875110 markings, 111259474 edges, 45262 markings/sec, 2365 secs
lola: 100091672 markings, 111500466 edges, 43312 markings/sec, 2370 secs
lola: 100306652 markings, 111739659 edges, 42996 markings/sec, 2375 secs
lola: 100515355 markings, 111972362 edges, 41741 markings/sec, 2380 secs
lola: 100717746 markings, 112197308 edges, 40478 markings/sec, 2385 secs
lola: 100921519 markings, 112422358 edges, 40755 markings/sec, 2390 secs
lola: 101129948 markings, 112654964 edges, 41686 markings/sec, 2395 secs
lola: 101348028 markings, 112897370 edges, 43616 markings/sec, 2400 secs
lola: 101554821 markings, 113127876 edges, 41359 markings/sec, 2405 secs
lola: 101756772 markings, 113352990 edges, 40390 markings/sec, 2410 secs
lola: 101959796 markings, 113578411 edges, 40605 markings/sec, 2415 secs
lola: 102161294 markings, 113803304 edges, 40300 markings/sec, 2420 secs
lola: 102363332 markings, 114028277 edges, 40408 markings/sec, 2425 secs
lola: 102565710 markings, 114253512 edges, 40476 markings/sec, 2430 secs
lola: 102770785 markings, 114481862 edges, 41015 markings/sec, 2435 secs
lola: 102985099 markings, 114720619 edges, 42863 markings/sec, 2440 secs
lola: 103195882 markings, 114952314 edges, 42157 markings/sec, 2445 secs
lola: 103407618 markings, 115182730 edges, 42347 markings/sec, 2450 secs
lola: 103612069 markings, 115409974 edges, 40890 markings/sec, 2455 secs
lola: 103811836 markings, 115634795 edges, 39953 markings/sec, 2460 secs
lola: 104020698 markings, 115869760 edges, 41772 markings/sec, 2465 secs
lola: 104225423 markings, 116097242 edges, 40945 markings/sec, 2470 secs
lola: 104425271 markings, 116323184 edges, 39970 markings/sec, 2475 secs
lola: 104629322 markings, 116552659 edges, 40810 markings/sec, 2480 secs
lola: 104836641 markings, 116786042 edges, 41464 markings/sec, 2485 secs
lola: 105056215 markings, 117030951 edges, 43915 markings/sec, 2490 secs
lola: 105268660 markings, 117270292 edges, 42489 markings/sec, 2495 secs
lola: 105490273 markings, 117519592 edges, 44323 markings/sec, 2500 secs
lola: 105711893 markings, 117763174 edges, 44324 markings/sec, 2505 secs
lola: 105926015 markings, 118001852 edges, 42824 markings/sec, 2510 secs
lola: 106143415 markings, 118243762 edges, 43480 markings/sec, 2515 secs
lola: 106360132 markings, 118484843 edges, 43343 markings/sec, 2520 secs
lola: 106576796 markings, 118726003 edges, 43333 markings/sec, 2525 secs
lola: 106792321 markings, 118964360 edges, 43105 markings/sec, 2530 secs
lola: 107008167 markings, 119204957 edges, 43169 markings/sec, 2535 secs
lola: 107225263 markings, 119446246 edges, 43419 markings/sec, 2540 secs
lola: 107439375 markings, 119684776 edges, 42822 markings/sec, 2545 secs
lola: 107655295 markings, 119925510 edges, 43184 markings/sec, 2550 secs
lola: 107871916 markings, 120166447 edges, 43324 markings/sec, 2555 secs
lola: 108086623 markings, 120405612 edges, 42941 markings/sec, 2560 secs
lola: 108300878 markings, 120644273 edges, 42851 markings/sec, 2565 secs
lola: 108515442 markings, 120883129 edges, 42913 markings/sec, 2570 secs
lola: 108724761 markings, 121116271 edges, 41864 markings/sec, 2575 secs
lola: 108931238 markings, 121346217 edges, 41295 markings/sec, 2580 secs
lola: 109144540 markings, 121577860 edges, 42660 markings/sec, 2585 secs
lola: 109356209 markings, 121810768 edges, 42334 markings/sec, 2590 secs
lola: 109567643 markings, 122047126 edges, 42287 markings/sec, 2595 secs
lola: 109771635 markings, 122276707 edges, 40798 markings/sec, 2600 secs
lola: 109977081 markings, 122508076 edges, 41089 markings/sec, 2605 secs
lola: 110179353 markings, 122731666 edges, 40454 markings/sec, 2610 secs
lola: 110376571 markings, 122955816 edges, 39444 markings/sec, 2615 secs
lola: 110582821 markings, 123187754 edges, 41250 markings/sec, 2620 secs
lola: 110800979 markings, 123432908 edges, 43632 markings/sec, 2625 secs
lola: 111011303 markings, 123667989 edges, 42065 markings/sec, 2630 secs
lola: 111221044 markings, 123903846 edges, 41948 markings/sec, 2635 secs
lola: 111422641 markings, 124130932 edges, 40319 markings/sec, 2640 secs
lola: 111629443 markings, 124349687 edges, 41360 markings/sec, 2645 secs
lola: 111840967 markings, 124566925 edges, 42305 markings/sec, 2650 secs
lola: 112047765 markings, 124789756 edges, 41360 markings/sec, 2655 secs
lola: 112246916 markings, 125009300 edges, 39830 markings/sec, 2660 secs
lola: 112447910 markings, 125227480 edges, 40199 markings/sec, 2665 secs
lola: 112645466 markings, 125447412 edges, 39511 markings/sec, 2670 secs
lola: 112847746 markings, 125672250 edges, 40456 markings/sec, 2675 secs
lola: 113043124 markings, 125889719 edges, 39076 markings/sec, 2680 secs
lola: 113244799 markings, 126108665 edges, 40335 markings/sec, 2685 secs
lola: 113458599 markings, 126327441 edges, 42760 markings/sec, 2690 secs
lola: 113671238 markings, 126546529 edges, 42528 markings/sec, 2695 secs
lola: 113874103 markings, 126767136 edges, 40573 markings/sec, 2700 secs
lola: 114090439 markings, 127005643 edges, 43267 markings/sec, 2705 secs
lola: 114307545 markings, 127247335 edges, 43421 markings/sec, 2710 secs
lola: 114527046 markings, 127485952 edges, 43900 markings/sec, 2715 secs
lola: 114740975 markings, 127722947 edges, 42786 markings/sec, 2720 secs
lola: 114930630 markings, 127933984 edges, 37931 markings/sec, 2725 secs
lola: 115123101 markings, 128148128 edges, 38494 markings/sec, 2730 secs
lola: 115314950 markings, 128361405 edges, 38370 markings/sec, 2735 secs
lola: 115521819 markings, 128577689 edges, 41374 markings/sec, 2740 secs
lola: 115730407 markings, 128791355 edges, 41718 markings/sec, 2745 secs
lola: 115935789 markings, 129007352 edges, 41076 markings/sec, 2750 secs
lola: 116138581 markings, 129223567 edges, 40558 markings/sec, 2755 secs
lola: 116336921 markings, 129442578 edges, 39668 markings/sec, 2760 secs
lola: 116526002 markings, 129652688 edges, 37816 markings/sec, 2765 secs
lola: 116717019 markings, 129864240 edges, 38203 markings/sec, 2770 secs
lola: 116907191 markings, 130075688 edges, 38034 markings/sec, 2775 secs
lola: 117109861 markings, 130289877 edges, 40534 markings/sec, 2780 secs
lola: 117312515 markings, 130508913 edges, 40531 markings/sec, 2785 secs
lola: 117488889 markings, 130733831 edges, 35275 markings/sec, 2790 secs
lola: 117687067 markings, 130951294 edges, 39636 markings/sec, 2795 secs
lola: 117886676 markings, 131169730 edges, 39922 markings/sec, 2800 secs
lola: 118065104 markings, 131397278 edges, 35686 markings/sec, 2805 secs
lola: 118265602 markings, 131626649 edges, 40100 markings/sec, 2810 secs
lola: 118470690 markings, 131854600 edges, 41018 markings/sec, 2815 secs
lola: 118671780 markings, 132075042 edges, 40218 markings/sec, 2820 secs
lola: 118885938 markings, 132313089 edges, 42832 markings/sec, 2825 secs
lola: 119105057 markings, 132555164 edges, 43824 markings/sec, 2830 secs
lola: 119325846 markings, 132800200 edges, 44158 markings/sec, 2835 secs
lola: 119548453 markings, 133045918 edges, 44521 markings/sec, 2840 secs
lola: 119763294 markings, 133283240 edges, 42968 markings/sec, 2845 secs
lola: 119975638 markings, 133517586 edges, 42469 markings/sec, 2850 secs
lola: 120194427 markings, 133760276 edges, 43758 markings/sec, 2855 secs
lola: 120417738 markings, 134006530 edges, 44662 markings/sec, 2860 secs
lola: 120639213 markings, 134251485 edges, 44295 markings/sec, 2865 secs
lola: 120859981 markings, 134497245 edges, 44154 markings/sec, 2870 secs
lola: 121082374 markings, 134744951 edges, 44479 markings/sec, 2875 secs
lola: 121303567 markings, 134991141 edges, 44239 markings/sec, 2880 secs
lola: 121521692 markings, 135233921 edges, 43625 markings/sec, 2885 secs
lola: 121742942 markings, 135480309 edges, 44250 markings/sec, 2890 secs
lola: 121960766 markings, 135722805 edges, 43565 markings/sec, 2895 secs
lola: 122174439 markings, 135959270 edges, 42735 markings/sec, 2900 secs
lola: 122384966 markings, 136193498 edges, 42105 markings/sec, 2905 secs
lola: 122595337 markings, 136427926 edges, 42074 markings/sec, 2910 secs
lola: 122809749 markings, 136664888 edges, 42882 markings/sec, 2915 secs
lola: 123029900 markings, 136909792 edges, 44030 markings/sec, 2920 secs
lola: 123255881 markings, 137157835 edges, 45196 markings/sec, 2925 secs
lola: 123467114 markings, 137393228 edges, 42247 markings/sec, 2930 secs
lola: 123678230 markings, 137628248 edges, 42223 markings/sec, 2935 secs
lola: 123892142 markings, 137866416 edges, 42782 markings/sec, 2940 secs
lola: 124122812 markings, 138114981 edges, 46134 markings/sec, 2945 secs
lola: 124340263 markings, 138357107 edges, 43490 markings/sec, 2950 secs
lola: 124557519 markings, 138599059 edges, 43451 markings/sec, 2955 secs
lola: 124778364 markings, 138842005 edges, 44169 markings/sec, 2960 secs
lola: 124996767 markings, 139085092 edges, 43681 markings/sec, 2965 secs
lola: 125213930 markings, 139326704 edges, 43433 markings/sec, 2970 secs
lola: 125428664 markings, 139564951 edges, 42947 markings/sec, 2975 secs
lola: 125655058 markings, 139815741 edges, 45279 markings/sec, 2980 secs
lola: 125885077 markings, 140071697 edges, 46004 markings/sec, 2985 secs
lola: 126109757 markings, 140321784 edges, 44936 markings/sec, 2990 secs
lola: 126331310 markings, 140568619 edges, 44311 markings/sec, 2995 secs
lola: 126546361 markings, 140808635 edges, 43010 markings/sec, 3000 secs
lola: 126759189 markings, 141045732 edges, 42566 markings/sec, 3005 secs
lola: 126973784 markings, 141284490 edges, 42919 markings/sec, 3010 secs
lola: 127189359 markings, 141523565 edges, 43115 markings/sec, 3015 secs
lola: 127403107 markings, 141761515 edges, 42750 markings/sec, 3020 secs
lola: 127618672 markings, 142001448 edges, 43113 markings/sec, 3025 secs
lola: 127832253 markings, 142239315 edges, 42716 markings/sec, 3030 secs
lola: 128046434 markings, 142477082 edges, 42836 markings/sec, 3035 secs
lola: 128262136 markings, 142717401 edges, 43140 markings/sec, 3040 secs
lola: 128477838 markings, 142957662 edges, 43140 markings/sec, 3045 secs
lola: 128694566 markings, 143196379 edges, 43346 markings/sec, 3050 secs
lola: 128911204 markings, 143437650 edges, 43328 markings/sec, 3055 secs
lola: 129124253 markings, 143674941 edges, 42610 markings/sec, 3060 secs
lola: 129346772 markings, 143919696 edges, 44504 markings/sec, 3065 secs
lola: 129564054 markings, 144161753 edges, 43456 markings/sec, 3070 secs
lola: 129779759 markings, 144401546 edges, 43141 markings/sec, 3075 secs
lola: 129998155 markings, 144644944 edges, 43679 markings/sec, 3080 secs
lola: 130215360 markings, 144889785 edges, 43441 markings/sec, 3085 secs
lola: 130430139 markings, 145135888 edges, 42956 markings/sec, 3090 secs
lola: 130650253 markings, 145381700 edges, 44023 markings/sec, 3095 secs
lola: 130886759 markings, 145631274 edges, 47301 markings/sec, 3100 secs
lola: 131114055 markings, 145877006 edges, 45459 markings/sec, 3105 secs
lola: 131332699 markings, 146120249 edges, 43729 markings/sec, 3110 secs
lola: 131553024 markings, 146365416 edges, 44065 markings/sec, 3115 secs
lola: 131781648 markings, 146611714 edges, 45725 markings/sec, 3120 secs
lola: 131985164 markings, 146864883 edges, 40703 markings/sec, 3125 secs
lola: 132199116 markings, 147109951 edges, 42790 markings/sec, 3130 secs
lola: 132417075 markings, 147352592 edges, 43592 markings/sec, 3135 secs
lola: 132635954 markings, 147596934 edges, 43776 markings/sec, 3140 secs
lola: 132850329 markings, 147837647 edges, 42875 markings/sec, 3145 secs
lola: 133068727 markings, 148081766 edges, 43680 markings/sec, 3150 secs
lola: 133286116 markings, 148327249 edges, 43478 markings/sec, 3155 secs
lola: 133506377 markings, 148574684 edges, 44052 markings/sec, 3160 secs
lola: 133713416 markings, 148807432 edges, 41408 markings/sec, 3165 secs
lola: 133923793 markings, 149044055 edges, 42075 markings/sec, 3170 secs
lola: 134142503 markings, 149289784 edges, 43742 markings/sec, 3175 secs
lola: 134368304 markings, 149544208 edges, 45160 markings/sec, 3180 secs
lola: 134595454 markings, 149798764 edges, 45430 markings/sec, 3185 secs
lola: 134814455 markings, 150044652 edges, 43800 markings/sec, 3190 secs
lola: 135033643 markings, 150290840 edges, 43838 markings/sec, 3195 secs
lola: 135252388 markings, 150536038 edges, 43749 markings/sec, 3200 secs
lola: 135471686 markings, 150781825 edges, 43860 markings/sec, 3205 secs
lola: 135691835 markings, 151029325 edges, 44030 markings/sec, 3210 secs
lola: 135911025 markings, 151275145 edges, 43838 markings/sec, 3215 secs
lola: 136124857 markings, 151515233 edges, 42766 markings/sec, 3220 secs
lola: 136340448 markings, 151756899 edges, 43118 markings/sec, 3225 secs
lola: 136559276 markings, 152002283 edges, 43766 markings/sec, 3230 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 42588 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1553479471717

--------------------
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="NoC3x3-PT-2B"
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 NoC3x3-PT-2B, 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 r181-csrt-155344535000263"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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