Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r049-oct2-155234405200497.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 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 DLCround-PT-13b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405200497
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 3.2K Feb 10 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 10 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 6 06:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 6 06:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 102 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 340 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.6K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 2 23:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 2 23:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 30 13:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 30 13:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 2.1M 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 DLCround-PT-13b-UpperBounds-00
FORMULA_NAME DLCround-PT-13b-UpperBounds-01
FORMULA_NAME DLCround-PT-13b-UpperBounds-02
FORMULA_NAME DLCround-PT-13b-UpperBounds-03
FORMULA_NAME DLCround-PT-13b-UpperBounds-04
FORMULA_NAME DLCround-PT-13b-UpperBounds-05
FORMULA_NAME DLCround-PT-13b-UpperBounds-06
FORMULA_NAME DLCround-PT-13b-UpperBounds-07
FORMULA_NAME DLCround-PT-13b-UpperBounds-08
FORMULA_NAME DLCround-PT-13b-UpperBounds-09
FORMULA_NAME DLCround-PT-13b-UpperBounds-10
FORMULA_NAME DLCround-PT-13b-UpperBounds-11
FORMULA_NAME DLCround-PT-13b-UpperBounds-12
FORMULA_NAME DLCround-PT-13b-UpperBounds-13
FORMULA_NAME DLCround-PT-13b-UpperBounds-14
FORMULA_NAME DLCround-PT-13b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552461144143

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ DLCround-PT-13b @ 3570 seconds

FORMULA DLCround-PT-13b-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-13b-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-13b-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-13b-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-13b-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-13b-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-13b-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-13b-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-13b-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-13b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-13b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-13b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-13b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-13b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA DLCround-PT-13b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -24
rslt: Output for UpperBounds @ DLCround-PT-13b

{
"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": "Wed Mar 13 07:12:24 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(p2340)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 231,
"markings": 232,
"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(p5232)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 14,
"markings": 15,
"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(p379)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 349,
"markings": 350,
"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": 273
},
"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(p3247)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 275,
"markings": 276,
"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": 296
},
"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(p1003)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 30,
"markings": 31,
"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": 321
},
"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(p4835)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 300,
"markings": 301,
"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": 356
},
"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(p3276)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 4605,
"markings": 4079,
"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": 400
},
"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(p5151)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 23,
"markings": 24,
"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": 458
},
"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(p2954)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 348,
"markings": 349,
"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": 534
},
"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(p4732)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 64,
"markings": 65,
"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": 640
},
"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(p2634)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 336,
"markings": 337,
"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": 800
},
"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(p2819)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 258,
"markings": 259,
"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": 1066
},
"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(p886)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 287,
"markings": 288,
"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": 1599
},
"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(p3703)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 165,
"markings": 166,
"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": 3197
},
"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(p4175)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 277,
"markings": 278,
"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": 9107256,
"runtime": 3570.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "UpperBounds.json",
"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": 24849,
"conflict_clusters": 4577,
"places": 5343,
"places_significant": 5031,
"singleton_clusters": 0,
"transitions": 8727
},
"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: 14070/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 5343
lola: finding significant places
lola: 5343 places, 8727 transitions, 5031 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(p2340) : MAX(p5232) : MAX(p379) : MAX(p3247) : MAX(p1003) : MAX(p158) : MAX(p4835) : MAX(p3276) : MAX(p5151) : MAX(p2954) : MAX(p4732) : MAX(p2634) : MAX(p2819) : MAX(p886) : MAX(p3703) : MAX(p4175)
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(p2340)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2340)
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: 232 markings, 231 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5232)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5232)
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: 15 markings, 14 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p379)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p379)
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: 350 markings, 349 edges
lola: ========================================
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3247)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3247)
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: 276 markings, 275 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1003)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1003)
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: 31 markings, 30 edges
lola: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p158)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p158)
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: 27530 markings, 35062 edges, 5506 markings/sec, 0 secs
lola: 65895 markings, 82261 edges, 7673 markings/sec, 5 secs
lola: 103951 markings, 128490 edges, 7611 markings/sec, 10 secs
lola: 141483 markings, 174376 edges, 7506 markings/sec, 15 secs
lola: 177581 markings, 218739 edges, 7220 markings/sec, 20 secs
lola: 213958 markings, 262581 edges, 7275 markings/sec, 25 secs
lola: 250613 markings, 307293 edges, 7331 markings/sec, 30 secs
lola: 287226 markings, 352282 edges, 7323 markings/sec, 35 secs
lola: 323465 markings, 395222 edges, 7248 markings/sec, 40 secs
lola: 359320 markings, 438254 edges, 7171 markings/sec, 45 secs
lola: 395339 markings, 480989 edges, 7204 markings/sec, 50 secs
lola: 431315 markings, 523747 edges, 7195 markings/sec, 55 secs
lola: 467147 markings, 566979 edges, 7166 markings/sec, 60 secs
lola: 503920 markings, 610780 edges, 7355 markings/sec, 65 secs
lola: 541071 markings, 655164 edges, 7430 markings/sec, 70 secs
lola: 576134 markings, 697263 edges, 7013 markings/sec, 75 secs
lola: 611840 markings, 739415 edges, 7141 markings/sec, 80 secs
lola: 647864 markings, 782735 edges, 7205 markings/sec, 85 secs
lola: 684389 markings, 826624 edges, 7305 markings/sec, 90 secs
lola: 721127 markings, 870428 edges, 7348 markings/sec, 95 secs
lola: 757746 markings, 914371 edges, 7324 markings/sec, 100 secs
lola: 794108 markings, 959319 edges, 7272 markings/sec, 105 secs
lola: 830209 markings, 1004759 edges, 7220 markings/sec, 110 secs
lola: 866381 markings, 1050442 edges, 7234 markings/sec, 115 secs
lola: 903442 markings, 1096440 edges, 7412 markings/sec, 120 secs
lola: 940908 markings, 1142899 edges, 7493 markings/sec, 125 secs
lola: 978398 markings, 1189463 edges, 7498 markings/sec, 130 secs
lola: 1015817 markings, 1236070 edges, 7484 markings/sec, 135 secs
lola: 1052999 markings, 1281863 edges, 7436 markings/sec, 140 secs
lola: 1090133 markings, 1328161 edges, 7427 markings/sec, 145 secs
lola: 1127128 markings, 1374396 edges, 7399 markings/sec, 150 secs
lola: 1164054 markings, 1420070 edges, 7385 markings/sec, 155 secs
lola: 1201593 markings, 1464648 edges, 7508 markings/sec, 160 secs
lola: 1239135 markings, 1509225 edges, 7508 markings/sec, 165 secs
lola: 1276345 markings, 1555480 edges, 7442 markings/sec, 170 secs
lola: 1313386 markings, 1601251 edges, 7408 markings/sec, 175 secs
lola: 1350548 markings, 1647555 edges, 7432 markings/sec, 180 secs
lola: 1387522 markings, 1693658 edges, 7395 markings/sec, 185 secs
lola: 1424559 markings, 1739730 edges, 7407 markings/sec, 190 secs
lola: 1461753 markings, 1785213 edges, 7439 markings/sec, 195 secs
lola: 1499138 markings, 1830020 edges, 7477 markings/sec, 200 secs
lola: 1536462 markings, 1874668 edges, 7465 markings/sec, 205 secs
lola: 1573447 markings, 1919640 edges, 7397 markings/sec, 210 secs
lola: 1610783 markings, 1964280 edges, 7467 markings/sec, 215 secs
lola: 1647985 markings, 2010509 edges, 7440 markings/sec, 220 secs
lola: 1684955 markings, 2056191 edges, 7394 markings/sec, 225 secs
lola: 1722312 markings, 2100700 edges, 7471 markings/sec, 230 secs
lola: 1759313 markings, 2146626 edges, 7400 markings/sec, 235 secs
lola: 1796468 markings, 2193035 edges, 7431 markings/sec, 240 secs
lola: 1833439 markings, 2239198 edges, 7394 markings/sec, 245 secs
lola: 1870435 markings, 2285433 edges, 7399 markings/sec, 250 secs
lola: 1907821 markings, 2330078 edges, 7477 markings/sec, 255 secs
lola: 1945015 markings, 2374563 edges, 7439 markings/sec, 260 secs
lola: 1982282 markings, 2419309 edges, 7453 markings/sec, 265 secs
lola: 2019569 markings, 2463278 edges, 7457 markings/sec, 270 secs
lola: 2056736 markings, 2508204 edges, 7433 markings/sec, 275 secs
lola: 2093332 markings, 2552824 edges, 7319 markings/sec, 280 secs
lola: 2129882 markings, 2597313 edges, 7310 markings/sec, 285 secs
lola: 2166012 markings, 2641934 edges, 7226 markings/sec, 290 secs
lola: 2202472 markings, 2687228 edges, 7292 markings/sec, 295 secs
lola: 2239444 markings, 2733830 edges, 7394 markings/sec, 300 secs
lola: 2276448 markings, 2780786 edges, 7401 markings/sec, 305 secs
lola: 2313434 markings, 2827426 edges, 7397 markings/sec, 310 secs
lola: 2350512 markings, 2873559 edges, 7416 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: 1052224 KB
lola: time consumption: 336 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 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1058192 KB
lola: time consumption: 338 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 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4835)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4835)
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: 301 markings, 300 edges
lola: ========================================
lola: subprocess 7 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3276)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3276)
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: 4079 markings, 4605 edges
lola: ========================================
lola: subprocess 8 will run for 400 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5151)
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: 24 markings, 23 edges
lola: ========================================
lola: subprocess 9 will run for 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2954)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2954)
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: 349 markings, 348 edges
lola: ========================================
lola: subprocess 10 will run for 534 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4732)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4732)
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: 65 markings, 64 edges
lola: ========================================
lola: subprocess 11 will run for 640 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2634)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2634)
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: 337 markings, 336 edges
lola: ========================================
lola: subprocess 12 will run for 800 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2819)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2819)
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: 259 markings, 258 edges
lola: ========================================
lola: subprocess 13 will run for 1066 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p886)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p886)
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: 288 markings, 287 edges
lola: ========================================
lola: subprocess 14 will run for 1599 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3703)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3703)
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: 166 markings, 165 edges
lola: ========================================
lola: subprocess 15 will run for 3197 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4175)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4175)
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: 278 markings, 277 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p158)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p158)
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: 27437 markings, 34946 edges, 5487 markings/sec, 0 secs
lola: 65572 markings, 81894 edges, 7627 markings/sec, 5 secs
lola: 103483 markings, 127954 edges, 7582 markings/sec, 10 secs
lola: 141306 markings, 174163 edges, 7565 markings/sec, 15 secs
lola: 178550 markings, 219894 edges, 7449 markings/sec, 20 secs
lola: 215737 markings, 264784 edges, 7437 markings/sec, 25 secs
lola: 254109 markings, 311645 edges, 7674 markings/sec, 30 secs
lola: 292531 markings, 358616 edges, 7684 markings/sec, 35 secs
lola: 330480 markings, 403501 edges, 7590 markings/sec, 40 secs
lola: 368182 markings, 448962 edges, 7540 markings/sec, 45 secs
lola: 405870 markings, 493615 edges, 7538 markings/sec, 50 secs
lola: 443504 markings, 538405 edges, 7527 markings/sec, 55 secs
lola: 480815 markings, 583261 edges, 7462 markings/sec, 60 secs
lola: 517613 markings, 627066 edges, 7360 markings/sec, 65 secs
lola: 554118 markings, 670802 edges, 7301 markings/sec, 70 secs
lola: 590047 markings, 713493 edges, 7186 markings/sec, 75 secs
lola: 626839 markings, 757519 edges, 7358 markings/sec, 80 secs
lola: 663620 markings, 801547 edges, 7356 markings/sec, 85 secs
lola: 700342 markings, 845718 edges, 7344 markings/sec, 90 secs
lola: 737208 markings, 889607 edges, 7373 markings/sec, 95 secs
lola: 773902 markings, 934367 edges, 7339 markings/sec, 100 secs
lola: 810439 markings, 979770 edges, 7307 markings/sec, 105 secs
lola: 846748 markings, 1025033 edges, 7262 markings/sec, 110 secs
lola: 883021 markings, 1070918 edges, 7255 markings/sec, 115 secs
lola: 919513 markings, 1116371 edges, 7298 markings/sec, 120 secs
lola: 955898 markings, 1161463 edges, 7277 markings/sec, 125 secs
lola: 992330 markings, 1206684 edges, 7286 markings/sec, 130 secs
lola: 1028599 markings, 1251869 edges, 7254 markings/sec, 135 secs
lola: 1064997 markings, 1296745 edges, 7280 markings/sec, 140 secs
lola: 1101081 markings, 1342160 edges, 7217 markings/sec, 145 secs
lola: 1137298 markings, 1387121 edges, 7243 markings/sec, 150 secs
lola: 1173721 markings, 1431301 edges, 7285 markings/sec, 155 secs
lola: 1210470 markings, 1475148 edges, 7350 markings/sec, 160 secs
lola: 1247201 markings, 1519106 edges, 7346 markings/sec, 165 secs
lola: 1283606 markings, 1564307 edges, 7281 markings/sec, 170 secs
lola: 1319934 markings, 1609471 edges, 7266 markings/sec, 175 secs
lola: 1356309 markings, 1654719 edges, 7275 markings/sec, 180 secs
lola: 1392571 markings, 1699896 edges, 7252 markings/sec, 185 secs
lola: 1428878 markings, 1744994 edges, 7261 markings/sec, 190 secs
lola: 1465234 markings, 1789249 edges, 7271 markings/sec, 195 secs
lola: 1501058 markings, 1832334 edges, 7165 markings/sec, 200 secs
lola: 1535969 markings, 1874099 edges, 6982 markings/sec, 205 secs
lola: 1571840 markings, 1917738 edges, 7174 markings/sec, 210 secs
lola: 1608051 markings, 1961007 edges, 7242 markings/sec, 215 secs
lola: 1643855 markings, 2005342 edges, 7161 markings/sec, 220 secs
lola: 1681021 markings, 2051401 edges, 7433 markings/sec, 225 secs
lola: 1718440 markings, 2096176 edges, 7484 markings/sec, 230 secs
lola: 1755173 markings, 2141537 edges, 7347 markings/sec, 235 secs
lola: 1792226 markings, 2187544 edges, 7411 markings/sec, 240 secs
lola: 1828894 markings, 2233454 edges, 7334 markings/sec, 245 secs
lola: 1865413 markings, 2279334 edges, 7304 markings/sec, 250 secs
lola: 1902813 markings, 2324200 edges, 7480 markings/sec, 255 secs
lola: 1940203 markings, 2368817 edges, 7478 markings/sec, 260 secs
lola: 1977628 markings, 2413717 edges, 7485 markings/sec, 265 secs
lola: 2015081 markings, 2458036 edges, 7491 markings/sec, 270 secs
lola: 2052413 markings, 2502971 edges, 7466 markings/sec, 275 secs
lola: 2090069 markings, 2548598 edges, 7531 markings/sec, 280 secs
lola: 2127552 markings, 2594445 edges, 7497 markings/sec, 285 secs
lola: 2164834 markings, 2640443 edges, 7456 markings/sec, 290 secs
lola: 2202092 markings, 2686756 edges, 7452 markings/sec, 295 secs
lola: 2239232 markings, 2733566 edges, 7428 markings/sec, 300 secs
lola: 2276405 markings, 2780732 edges, 7435 markings/sec, 305 secs
lola: 2313344 markings, 2827316 edges, 7388 markings/sec, 310 secs
lola: 2350462 markings, 2873503 edges, 7424 markings/sec, 315 secs
lola: 2388048 markings, 2918885 edges, 7517 markings/sec, 320 secs
lola: 2425721 markings, 2963960 edges, 7535 markings/sec, 325 secs
lola: 2463384 markings, 3008931 edges, 7533 markings/sec, 330 secs
lola: 2501064 markings, 3054126 edges, 7536 markings/sec, 335 secs
lola: 2538634 markings, 3099472 edges, 7514 markings/sec, 340 secs
lola: 2576191 markings, 3144840 edges, 7511 markings/sec, 345 secs
lola: 2613973 markings, 3189947 edges, 7556 markings/sec, 350 secs
lola: 2651721 markings, 3235110 edges, 7550 markings/sec, 355 secs
lola: 2689136 markings, 3280821 edges, 7483 markings/sec, 360 secs
lola: 2726550 markings, 3325782 edges, 7483 markings/sec, 365 secs
lola: 2763972 markings, 3370722 edges, 7484 markings/sec, 370 secs
lola: 2801589 markings, 3415339 edges, 7523 markings/sec, 375 secs
lola: 2839080 markings, 3460396 edges, 7498 markings/sec, 380 secs
lola: 2876397 markings, 3505296 edges, 7463 markings/sec, 385 secs
lola: 2913905 markings, 3550527 edges, 7502 markings/sec, 390 secs
lola: 2951273 markings, 3596106 edges, 7474 markings/sec, 395 secs
lola: 2988764 markings, 3641104 edges, 7498 markings/sec, 400 secs
lola: 3026260 markings, 3685900 edges, 7499 markings/sec, 405 secs
lola: 3063609 markings, 3732028 edges, 7470 markings/sec, 410 secs
lola: 3100796 markings, 3779002 edges, 7437 markings/sec, 415 secs
lola: 3137810 markings, 3825795 edges, 7403 markings/sec, 420 secs
lola: 3174936 markings, 3873392 edges, 7425 markings/sec, 425 secs
lola: 3212171 markings, 3920593 edges, 7447 markings/sec, 430 secs
lola: 3249361 markings, 3967297 edges, 7438 markings/sec, 435 secs
lola: 3286488 markings, 4014007 edges, 7425 markings/sec, 440 secs
lola: 3323840 markings, 4059502 edges, 7470 markings/sec, 445 secs
lola: 3361383 markings, 4104664 edges, 7509 markings/sec, 450 secs
lola: 3398724 markings, 4151280 edges, 7468 markings/sec, 455 secs
lola: 3435925 markings, 4197439 edges, 7440 markings/sec, 460 secs
lola: 3473103 markings, 4244208 edges, 7436 markings/sec, 465 secs
lola: 3510377 markings, 4291341 edges, 7455 markings/sec, 470 secs
lola: 3547585 markings, 4337991 edges, 7442 markings/sec, 475 secs
lola: 3584805 markings, 4383850 edges, 7444 markings/sec, 480 secs
lola: 3622183 markings, 4430024 edges, 7476 markings/sec, 485 secs
lola: 3659677 markings, 4475105 edges, 7499 markings/sec, 490 secs
lola: 3696732 markings, 4521404 edges, 7411 markings/sec, 495 secs
lola: 3733931 markings, 4567769 edges, 7440 markings/sec, 500 secs
lola: 3771063 markings, 4614067 edges, 7426 markings/sec, 505 secs
lola: 3807751 markings, 4660723 edges, 7338 markings/sec, 510 secs
lola: 3845114 markings, 4706154 edges, 7473 markings/sec, 515 secs
lola: 3882380 markings, 4752579 edges, 7453 markings/sec, 520 secs
lola: 3919535 markings, 4798838 edges, 7431 markings/sec, 525 secs
lola: 3956821 markings, 4844174 edges, 7457 markings/sec, 530 secs
lola: 3994000 markings, 4890107 edges, 7436 markings/sec, 535 secs
lola: 4031130 markings, 4936344 edges, 7426 markings/sec, 540 secs
lola: 4068608 markings, 4983267 edges, 7496 markings/sec, 545 secs
lola: 4106101 markings, 5030912 edges, 7499 markings/sec, 550 secs
lola: 4143640 markings, 5077382 edges, 7508 markings/sec, 555 secs
lola: 4181155 markings, 5124719 edges, 7503 markings/sec, 560 secs
lola: 4218923 markings, 5171305 edges, 7554 markings/sec, 565 secs
lola: 4256601 markings, 5218405 edges, 7536 markings/sec, 570 secs
lola: 4294327 markings, 5264517 edges, 7545 markings/sec, 575 secs
lola: 4331880 markings, 5311157 edges, 7511 markings/sec, 580 secs
lola: 4369775 markings, 5358124 edges, 7579 markings/sec, 585 secs
lola: 4407365 markings, 5404908 edges, 7518 markings/sec, 590 secs
lola: 4444254 markings, 5451135 edges, 7378 markings/sec, 595 secs
lola: 4481542 markings, 5497734 edges, 7458 markings/sec, 600 secs
lola: 4519662 markings, 5543606 edges, 7624 markings/sec, 605 secs
lola: 4557764 markings, 5591350 edges, 7620 markings/sec, 610 secs
lola: 4595724 markings, 5639282 edges, 7592 markings/sec, 615 secs
lola: 4633347 markings, 5685647 edges, 7525 markings/sec, 620 secs
lola: 4670930 markings, 5732673 edges, 7517 markings/sec, 625 secs
lola: 4707685 markings, 5778584 edges, 7351 markings/sec, 630 secs
lola: 4743798 markings, 5824107 edges, 7223 markings/sec, 635 secs
lola: 4779601 markings, 5868784 edges, 7161 markings/sec, 640 secs
lola: 4815505 markings, 5912952 edges, 7181 markings/sec, 645 secs
lola: 4851866 markings, 5956216 edges, 7272 markings/sec, 650 secs
lola: 4888149 markings, 6001663 edges, 7257 markings/sec, 655 secs
lola: 4924719 markings, 6046962 edges, 7314 markings/sec, 660 secs
lola: 4961249 markings, 6092329 edges, 7306 markings/sec, 665 secs
lola: 4997785 markings, 6136579 edges, 7307 markings/sec, 670 secs
lola: 5033554 markings, 6180180 edges, 7154 markings/sec, 675 secs
lola: 5069204 markings, 6224374 edges, 7130 markings/sec, 680 secs
lola: 5104789 markings, 6268929 edges, 7117 markings/sec, 685 secs
lola: 5140945 markings, 6313978 edges, 7231 markings/sec, 690 secs
lola: 5177146 markings, 6359702 edges, 7240 markings/sec, 695 secs
lola: 5213438 markings, 6404480 edges, 7258 markings/sec, 700 secs
lola: 5249937 markings, 6447902 edges, 7300 markings/sec, 705 secs
lola: 5286319 markings, 6492491 edges, 7276 markings/sec, 710 secs
lola: 5323001 markings, 6536267 edges, 7336 markings/sec, 715 secs
lola: 5359676 markings, 6579936 edges, 7335 markings/sec, 720 secs
lola: 5396301 markings, 6623842 edges, 7325 markings/sec, 725 secs
lola: 5432874 markings, 6667248 edges, 7315 markings/sec, 730 secs
lola: 5469517 markings, 6711153 edges, 7329 markings/sec, 735 secs
lola: 5506039 markings, 6755810 edges, 7304 markings/sec, 740 secs
lola: 5542589 markings, 6800940 edges, 7310 markings/sec, 745 secs
lola: 5578965 markings, 6845983 edges, 7275 markings/sec, 750 secs
lola: 5615151 markings, 6891443 edges, 7237 markings/sec, 755 secs
lola: 5651367 markings, 6937027 edges, 7243 markings/sec, 760 secs
lola: 5687773 markings, 6982432 edges, 7281 markings/sec, 765 secs
lola: 5724024 markings, 7027254 edges, 7250 markings/sec, 770 secs
lola: 5760378 markings, 7072446 edges, 7271 markings/sec, 775 secs
lola: 5796622 markings, 7117477 edges, 7249 markings/sec, 780 secs
lola: 5833055 markings, 7161606 edges, 7287 markings/sec, 785 secs
lola: 5869570 markings, 7205511 edges, 7303 markings/sec, 790 secs
lola: 5906271 markings, 7249109 edges, 7340 markings/sec, 795 secs
lola: 5942813 markings, 7293403 edges, 7308 markings/sec, 800 secs
lola: 5979330 markings, 7337750 edges, 7303 markings/sec, 805 secs
lola: 6015842 markings, 7381224 edges, 7302 markings/sec, 810 secs
lola: 6052331 markings, 7424803 edges, 7298 markings/sec, 815 secs
lola: 6088735 markings, 7469655 edges, 7281 markings/sec, 820 secs
lola: 6125129 markings, 7514615 edges, 7279 markings/sec, 825 secs
lola: 6161388 markings, 7560213 edges, 7252 markings/sec, 830 secs
lola: 6197564 markings, 7604954 edges, 7235 markings/sec, 835 secs
lola: 6233996 markings, 7648478 edges, 7286 markings/sec, 840 secs
lola: 6270516 markings, 7692261 edges, 7304 markings/sec, 845 secs
lola: 6306750 markings, 7737399 edges, 7247 markings/sec, 850 secs
lola: 6342976 markings, 7782110 edges, 7245 markings/sec, 855 secs
lola: 6379223 markings, 7827773 edges, 7249 markings/sec, 860 secs
lola: 6415335 markings, 7873691 edges, 7222 markings/sec, 865 secs
lola: 6451657 markings, 7917653 edges, 7264 markings/sec, 870 secs
lola: 6488208 markings, 7961455 edges, 7310 markings/sec, 875 secs
lola: 6524856 markings, 8005367 edges, 7330 markings/sec, 880 secs
lola: 6561511 markings, 8049633 edges, 7331 markings/sec, 885 secs
lola: 6598257 markings, 8093824 edges, 7349 markings/sec, 890 secs
lola: 6634436 markings, 8139398 edges, 7236 markings/sec, 895 secs
lola: 6670652 markings, 8185078 edges, 7243 markings/sec, 900 secs
lola: 6706832 markings, 8230799 edges, 7236 markings/sec, 905 secs
lola: 6743216 markings, 8276562 edges, 7277 markings/sec, 910 secs
lola: 6779207 markings, 8321999 edges, 7198 markings/sec, 915 secs
lola: 6815324 markings, 8368320 edges, 7223 markings/sec, 920 secs
lola: 6851627 markings, 8412036 edges, 7261 markings/sec, 925 secs
lola: 6887877 markings, 8455989 edges, 7250 markings/sec, 930 secs
lola: 6924103 markings, 8501109 edges, 7245 markings/sec, 935 secs
lola: 6960155 markings, 8546461 edges, 7210 markings/sec, 940 secs
lola: 6996365 markings, 8591718 edges, 7242 markings/sec, 945 secs
lola: 7032473 markings, 8635135 edges, 7222 markings/sec, 950 secs
lola: 7068998 markings, 8678919 edges, 7305 markings/sec, 955 secs
lola: 7105387 markings, 8722717 edges, 7278 markings/sec, 960 secs
lola: 7141416 markings, 8768140 edges, 7206 markings/sec, 965 secs
lola: 7177507 markings, 8812965 edges, 7218 markings/sec, 970 secs
lola: 7213767 markings, 8857694 edges, 7252 markings/sec, 975 secs
lola: 7249985 markings, 8902780 edges, 7244 markings/sec, 980 secs
lola: 7285950 markings, 8947739 edges, 7193 markings/sec, 985 secs
lola: 7321989 markings, 8992466 edges, 7208 markings/sec, 990 secs
lola: 7357813 markings, 9037550 edges, 7165 markings/sec, 995 secs
lola: 7393877 markings, 9082914 edges, 7213 markings/sec, 1000 secs
lola: 7429775 markings, 9129029 edges, 7180 markings/sec, 1005 secs
lola: 7466347 markings, 9175475 edges, 7314 markings/sec, 1010 secs
lola: 7503066 markings, 9221899 edges, 7344 markings/sec, 1015 secs
lola: 7539771 markings, 9268273 edges, 7341 markings/sec, 1020 secs
lola: 7576431 markings, 9314767 edges, 7332 markings/sec, 1025 secs
lola: 7613048 markings, 9361540 edges, 7323 markings/sec, 1030 secs
lola: 7649711 markings, 9407980 edges, 7333 markings/sec, 1035 secs
lola: 7687297 markings, 9455988 edges, 7517 markings/sec, 1040 secs
lola: 7724854 markings, 9503478 edges, 7511 markings/sec, 1045 secs
lola: 7762495 markings, 9551108 edges, 7528 markings/sec, 1050 secs
lola: 7799965 markings, 9598927 edges, 7494 markings/sec, 1055 secs
lola: 7837743 markings, 9646540 edges, 7556 markings/sec, 1060 secs
lola: 7875132 markings, 9695098 edges, 7478 markings/sec, 1065 secs
lola: 7912671 markings, 9743114 edges, 7508 markings/sec, 1070 secs
lola: 7950390 markings, 9790310 edges, 7544 markings/sec, 1075 secs
lola: 7988074 markings, 9837803 edges, 7537 markings/sec, 1080 secs
lola: 8025746 markings, 9885112 edges, 7534 markings/sec, 1085 secs
lola: 8063358 markings, 9932820 edges, 7522 markings/sec, 1090 secs
lola: 8101064 markings, 9980613 edges, 7541 markings/sec, 1095 secs
lola: 8138537 markings, 10028703 edges, 7495 markings/sec, 1100 secs
lola: 8176029 markings, 10076710 edges, 7498 markings/sec, 1105 secs
lola: 8213617 markings, 10124417 edges, 7518 markings/sec, 1110 secs
lola: 8251244 markings, 10172311 edges, 7525 markings/sec, 1115 secs
lola: 8288831 markings, 10220668 edges, 7517 markings/sec, 1120 secs
lola: 8326493 markings, 10268449 edges, 7532 markings/sec, 1125 secs
lola: 8364147 markings, 10316241 edges, 7531 markings/sec, 1130 secs
lola: 8401626 markings, 10364002 edges, 7496 markings/sec, 1135 secs
lola: 8439263 markings, 10411427 edges, 7527 markings/sec, 1140 secs
lola: 8476860 markings, 10459652 edges, 7519 markings/sec, 1145 secs
lola: 8514555 markings, 10506716 edges, 7539 markings/sec, 1150 secs
lola: 8552236 markings, 10554630 edges, 7536 markings/sec, 1155 secs
lola: 8589999 markings, 10602342 edges, 7553 markings/sec, 1160 secs
lola: 8627634 markings, 10650723 edges, 7527 markings/sec, 1165 secs
lola: 8665422 markings, 10699263 edges, 7558 markings/sec, 1170 secs
lola: 8703008 markings, 10747350 edges, 7517 markings/sec, 1175 secs
lola: 8740594 markings, 10794634 edges, 7517 markings/sec, 1180 secs
lola: 8778335 markings, 10843051 edges, 7548 markings/sec, 1185 secs
lola: 8816091 markings, 10890839 edges, 7551 markings/sec, 1190 secs
lola: 8853616 markings, 10938263 edges, 7505 markings/sec, 1195 secs
lola: 8891105 markings, 10985367 edges, 7498 markings/sec, 1200 secs
lola: 8928672 markings, 11033930 edges, 7513 markings/sec, 1205 secs
lola: 8966311 markings, 11080895 edges, 7528 markings/sec, 1210 secs
lola: 9004166 markings, 11128077 edges, 7571 markings/sec, 1215 secs
lola: 9041944 markings, 11175003 edges, 7556 markings/sec, 1220 secs
lola: 9079534 markings, 11222357 edges, 7518 markings/sec, 1225 secs
lola: 9116903 markings, 11269188 edges, 7474 markings/sec, 1230 secs
lola: 9154062 markings, 11316314 edges, 7432 markings/sec, 1235 secs
lola: 9191323 markings, 11363635 edges, 7452 markings/sec, 1240 secs
lola: 9228388 markings, 11410627 edges, 7413 markings/sec, 1245 secs
lola: 9265704 markings, 11457516 edges, 7463 markings/sec, 1250 secs
lola: 9303009 markings, 11505248 edges, 7461 markings/sec, 1255 secs
lola: 9340298 markings, 11552215 edges, 7458 markings/sec, 1260 secs
lola: 9377658 markings, 11599745 edges, 7472 markings/sec, 1265 secs
lola: 9414840 markings, 11646390 edges, 7436 markings/sec, 1270 secs
lola: 9451906 markings, 11693777 edges, 7413 markings/sec, 1275 secs
lola: 9489092 markings, 11740779 edges, 7437 markings/sec, 1280 secs
lola: 9526626 markings, 11787996 edges, 7507 markings/sec, 1285 secs
lola: 9563655 markings, 11835589 edges, 7406 markings/sec, 1290 secs
lola: 9600762 markings, 11882445 edges, 7421 markings/sec, 1295 secs
lola: 9637793 markings, 11930361 edges, 7406 markings/sec, 1300 secs
lola: 9674916 markings, 11978471 edges, 7425 markings/sec, 1305 secs
lola: 9712261 markings, 12026489 edges, 7469 markings/sec, 1310 secs
lola: 9749528 markings, 12073345 edges, 7453 markings/sec, 1315 secs
lola: 9787008 markings, 12120388 edges, 7496 markings/sec, 1320 secs
lola: 9824534 markings, 12167719 edges, 7505 markings/sec, 1325 secs
lola: 9862073 markings, 12215090 edges, 7508 markings/sec, 1330 secs
lola: 9899509 markings, 12262502 edges, 7487 markings/sec, 1335 secs
lola: 9936552 markings, 12308356 edges, 7409 markings/sec, 1340 secs
lola: 9973062 markings, 12354459 edges, 7302 markings/sec, 1345 secs
lola: 10009900 markings, 12400142 edges, 7368 markings/sec, 1350 secs
lola: 10047116 markings, 12447558 edges, 7443 markings/sec, 1355 secs
lola: 10084356 markings, 12494632 edges, 7448 markings/sec, 1360 secs
lola: 10121310 markings, 12542019 edges, 7391 markings/sec, 1365 secs
lola: 10158588 markings, 12589252 edges, 7456 markings/sec, 1370 secs
lola: 10195520 markings, 12636253 edges, 7386 markings/sec, 1375 secs
lola: 10232920 markings, 12683280 edges, 7480 markings/sec, 1380 secs
lola: 10270141 markings, 12730878 edges, 7444 markings/sec, 1385 secs
lola: 10307429 markings, 12779090 edges, 7458 markings/sec, 1390 secs
lola: 10344480 markings, 12827534 edges, 7410 markings/sec, 1395 secs
lola: 10381535 markings, 12875685 edges, 7411 markings/sec, 1400 secs
lola: 10418674 markings, 12923956 edges, 7428 markings/sec, 1405 secs
lola: 10455681 markings, 12971150 edges, 7401 markings/sec, 1410 secs
lola: 10492676 markings, 13019085 edges, 7399 markings/sec, 1415 secs
lola: 10529633 markings, 13066820 edges, 7391 markings/sec, 1420 secs
lola: 10566936 markings, 13114600 edges, 7461 markings/sec, 1425 secs
lola: 10603846 markings, 13162095 edges, 7382 markings/sec, 1430 secs
lola: 10640669 markings, 13209447 edges, 7365 markings/sec, 1435 secs
lola: 10677835 markings, 13257028 edges, 7433 markings/sec, 1440 secs
lola: 10714802 markings, 13304896 edges, 7393 markings/sec, 1445 secs
lola: 10752081 markings, 13352265 edges, 7456 markings/sec, 1450 secs
lola: 10789214 markings, 13400582 edges, 7427 markings/sec, 1455 secs
lola: 10826142 markings, 13447997 edges, 7386 markings/sec, 1460 secs
lola: 10863146 markings, 13495776 edges, 7401 markings/sec, 1465 secs
lola: 10900145 markings, 13543944 edges, 7400 markings/sec, 1470 secs
lola: 10937552 markings, 13590916 edges, 7481 markings/sec, 1475 secs
lola: 10974732 markings, 13638166 edges, 7436 markings/sec, 1480 secs
lola: 11011699 markings, 13686109 edges, 7393 markings/sec, 1485 secs
lola: 11048709 markings, 13734468 edges, 7402 markings/sec, 1490 secs
lola: 11085806 markings, 13781558 edges, 7419 markings/sec, 1495 secs
lola: 11122740 markings, 13829542 edges, 7387 markings/sec, 1500 secs
lola: 11159722 markings, 13877187 edges, 7396 markings/sec, 1505 secs
lola: 11196654 markings, 13925234 edges, 7386 markings/sec, 1510 secs
lola: 11233301 markings, 13972571 edges, 7329 markings/sec, 1515 secs
lola: 11270009 markings, 14019279 edges, 7342 markings/sec, 1520 secs
lola: 11306656 markings, 14066442 edges, 7329 markings/sec, 1525 secs
lola: 11343100 markings, 14113833 edges, 7289 markings/sec, 1530 secs
lola: 11379565 markings, 14161110 edges, 7293 markings/sec, 1535 secs
lola: 11416206 markings, 14207711 edges, 7328 markings/sec, 1540 secs
lola: 11452735 markings, 14254834 edges, 7306 markings/sec, 1545 secs
lola: 11488989 markings, 14300958 edges, 7251 markings/sec, 1550 secs
lola: 11525135 markings, 14346845 edges, 7229 markings/sec, 1555 secs
lola: 11561334 markings, 14392844 edges, 7240 markings/sec, 1560 secs
lola: 11597485 markings, 14439009 edges, 7230 markings/sec, 1565 secs
lola: 11633620 markings, 14484269 edges, 7227 markings/sec, 1570 secs
lola: 11669239 markings, 14528777 edges, 7124 markings/sec, 1575 secs
lola: 11705312 markings, 14575182 edges, 7215 markings/sec, 1580 secs
lola: 11741503 markings, 14620927 edges, 7238 markings/sec, 1585 secs
lola: 11777520 markings, 14667792 edges, 7203 markings/sec, 1590 secs
lola: 11813809 markings, 14714502 edges, 7258 markings/sec, 1595 secs
lola: 11850075 markings, 14760418 edges, 7253 markings/sec, 1600 secs
lola: 11886290 markings, 14806068 edges, 7243 markings/sec, 1605 secs
lola: 11922411 markings, 14852072 edges, 7224 markings/sec, 1610 secs
lola: 11958455 markings, 14898129 edges, 7209 markings/sec, 1615 secs
lola: 11994340 markings, 14944025 edges, 7177 markings/sec, 1620 secs
lola: 12030480 markings, 14989526 edges, 7228 markings/sec, 1625 secs
lola: 12066530 markings, 15035138 edges, 7210 markings/sec, 1630 secs
lola: 12102723 markings, 15081079 edges, 7239 markings/sec, 1635 secs
lola: 12138781 markings, 15126860 edges, 7212 markings/sec, 1640 secs
lola: 12174992 markings, 15173066 edges, 7242 markings/sec, 1645 secs
lola: 12211255 markings, 15218325 edges, 7253 markings/sec, 1650 secs
lola: 12247418 markings, 15262711 edges, 7233 markings/sec, 1655 secs
lola: 12284007 markings, 15306307 edges, 7318 markings/sec, 1660 secs
lola: 12320568 markings, 15349907 edges, 7312 markings/sec, 1665 secs
lola: 12357144 markings, 15393923 edges, 7315 markings/sec, 1670 secs
lola: 12393607 markings, 15437331 edges, 7293 markings/sec, 1675 secs
lola: 12430078 markings, 15481254 edges, 7294 markings/sec, 1680 secs
lola: 12466532 markings, 15525509 edges, 7291 markings/sec, 1685 secs
lola: 12502923 markings, 15569003 edges, 7278 markings/sec, 1690 secs
lola: 12539314 markings, 15612835 edges, 7278 markings/sec, 1695 secs
lola: 12575773 markings, 15656947 edges, 7292 markings/sec, 1700 secs
lola: 12612323 markings, 15700434 edges, 7310 markings/sec, 1705 secs
lola: 12648798 markings, 15744574 edges, 7295 markings/sec, 1710 secs
lola: 12685410 markings, 15788157 edges, 7322 markings/sec, 1715 secs
lola: 12721800 markings, 15832364 edges, 7278 markings/sec, 1720 secs
lola: 12758188 markings, 15876685 edges, 7278 markings/sec, 1725 secs
lola: 12794333 markings, 15921689 edges, 7229 markings/sec, 1730 secs
lola: 12830337 markings, 15967401 edges, 7201 markings/sec, 1735 secs
lola: 12866350 markings, 16013179 edges, 7203 markings/sec, 1740 secs
lola: 12902426 markings, 16059417 edges, 7215 markings/sec, 1745 secs
lola: 12938615 markings, 16105345 edges, 7238 markings/sec, 1750 secs
lola: 12974768 markings, 16150453 edges, 7231 markings/sec, 1755 secs
lola: 13010187 markings, 16195235 edges, 7084 markings/sec, 1760 secs
lola: 13046515 markings, 16239100 edges, 7266 markings/sec, 1765 secs
lola: 13082845 markings, 16284033 edges, 7266 markings/sec, 1770 secs
lola: 13119118 markings, 16328347 edges, 7255 markings/sec, 1775 secs
lola: 13155529 markings, 16372560 edges, 7282 markings/sec, 1780 secs
lola: 13192086 markings, 16416134 edges, 7311 markings/sec, 1785 secs
lola: 13228439 markings, 16460258 edges, 7271 markings/sec, 1790 secs
lola: 13264624 markings, 16505465 edges, 7237 markings/sec, 1795 secs
lola: 13300643 markings, 16550729 edges, 7204 markings/sec, 1800 secs
lola: 13337099 markings, 16594301 edges, 7291 markings/sec, 1805 secs
lola: 13373623 markings, 16637641 edges, 7305 markings/sec, 1810 secs
lola: 13410050 markings, 16681173 edges, 7285 markings/sec, 1815 secs
lola: 13446304 markings, 16726261 edges, 7251 markings/sec, 1820 secs
lola: 13482717 markings, 16769747 edges, 7283 markings/sec, 1825 secs
lola: 13519125 markings, 16813259 edges, 7282 markings/sec, 1830 secs
lola: 13555119 markings, 16857664 edges, 7199 markings/sec, 1835 secs
lola: 13591337 markings, 16901915 edges, 7244 markings/sec, 1840 secs
lola: 13627576 markings, 16946014 edges, 7248 markings/sec, 1845 secs
lola: 13663735 markings, 16991060 edges, 7232 markings/sec, 1850 secs
lola: 13699886 markings, 17035645 edges, 7230 markings/sec, 1855 secs
lola: 13735959 markings, 17080620 edges, 7215 markings/sec, 1860 secs
lola: 13772196 markings, 17125866 edges, 7247 markings/sec, 1865 secs
lola: 13808259 markings, 17170596 edges, 7213 markings/sec, 1870 secs
lola: 13844593 markings, 17214135 edges, 7267 markings/sec, 1875 secs
lola: 13880897 markings, 17258571 edges, 7261 markings/sec, 1880 secs
lola: 13917149 markings, 17302929 edges, 7250 markings/sec, 1885 secs
lola: 13953263 markings, 17348181 edges, 7223 markings/sec, 1890 secs
lola: 13989428 markings, 17393275 edges, 7233 markings/sec, 1895 secs
lola: 14025449 markings, 17437904 edges, 7204 markings/sec, 1900 secs
lola: 14061397 markings, 17482929 edges, 7190 markings/sec, 1905 secs
lola: 14097673 markings, 17526628 edges, 7255 markings/sec, 1910 secs
lola: 14133927 markings, 17571115 edges, 7251 markings/sec, 1915 secs
lola: 14170231 markings, 17616775 edges, 7261 markings/sec, 1920 secs
lola: 14206583 markings, 17661560 edges, 7270 markings/sec, 1925 secs
lola: 14242577 markings, 17707229 edges, 7199 markings/sec, 1930 secs
lola: 14278634 markings, 17753233 edges, 7211 markings/sec, 1935 secs
lola: 14315071 markings, 17799572 edges, 7287 markings/sec, 1940 secs
lola: 14352123 markings, 17846614 edges, 7410 markings/sec, 1945 secs
lola: 14388765 markings, 17892685 edges, 7328 markings/sec, 1950 secs
lola: 14425514 markings, 17938251 edges, 7350 markings/sec, 1955 secs
lola: 14462751 markings, 17982774 edges, 7447 markings/sec, 1960 secs
lola: 14499938 markings, 18028490 edges, 7437 markings/sec, 1965 secs
lola: 14536814 markings, 18074743 edges, 7375 markings/sec, 1970 secs
lola: 14573773 markings, 18120567 edges, 7392 markings/sec, 1975 secs
lola: 14611085 markings, 18165347 edges, 7462 markings/sec, 1980 secs
lola: 14648119 markings, 18211153 edges, 7407 markings/sec, 1985 secs
lola: 14685064 markings, 18257425 edges, 7389 markings/sec, 1990 secs
lola: 14722051 markings, 18304485 edges, 7397 markings/sec, 1995 secs
lola: 14759042 markings, 18350952 edges, 7398 markings/sec, 2000 secs
lola: 14795998 markings, 18398143 edges, 7391 markings/sec, 2005 secs
lola: 14833104 markings, 18445296 edges, 7421 markings/sec, 2010 secs
lola: 14870299 markings, 18491764 edges, 7439 markings/sec, 2015 secs
lola: 14907397 markings, 18538788 edges, 7420 markings/sec, 2020 secs
lola: 14944558 markings, 18586776 edges, 7432 markings/sec, 2025 secs
lola: 14981960 markings, 18633933 edges, 7480 markings/sec, 2030 secs
lola: 15019483 markings, 18681198 edges, 7505 markings/sec, 2035 secs
lola: 15057059 markings, 18728728 edges, 7515 markings/sec, 2040 secs
lola: 15094418 markings, 18776599 edges, 7472 markings/sec, 2045 secs
lola: 15131979 markings, 18824416 edges, 7512 markings/sec, 2050 secs
lola: 15169389 markings, 18872266 edges, 7482 markings/sec, 2055 secs
lola: 15207049 markings, 18919667 edges, 7532 markings/sec, 2060 secs
lola: 15244620 markings, 18967222 edges, 7514 markings/sec, 2065 secs
lola: 15282062 markings, 19015440 edges, 7488 markings/sec, 2070 secs
lola: 15319685 markings, 19063783 edges, 7525 markings/sec, 2075 secs
lola: 15357133 markings, 19110777 edges, 7490 markings/sec, 2080 secs
lola: 15394783 markings, 19157472 edges, 7530 markings/sec, 2085 secs
lola: 15432485 markings, 19204683 edges, 7540 markings/sec, 2090 secs
lola: 15470114 markings, 19252238 edges, 7526 markings/sec, 2095 secs
lola: 15507591 markings, 19300189 edges, 7495 markings/sec, 2100 secs
lola: 15545032 markings, 19347597 edges, 7488 markings/sec, 2105 secs
lola: 15582637 markings, 19396038 edges, 7521 markings/sec, 2110 secs
lola: 15620192 markings, 19443859 edges, 7511 markings/sec, 2115 secs
lola: 15657423 markings, 19490974 edges, 7446 markings/sec, 2120 secs
lola: 15694589 markings, 19537822 edges, 7433 markings/sec, 2125 secs
lola: 15731416 markings, 19584471 edges, 7365 markings/sec, 2130 secs
lola: 15768675 markings, 19632209 edges, 7452 markings/sec, 2135 secs
lola: 15806236 markings, 19679735 edges, 7512 markings/sec, 2140 secs
lola: 15843629 markings, 19727573 edges, 7479 markings/sec, 2145 secs
lola: 15881017 markings, 19775128 edges, 7478 markings/sec, 2150 secs
lola: 15918302 markings, 19822004 edges, 7457 markings/sec, 2155 secs
lola: 15954826 markings, 19868524 edges, 7305 markings/sec, 2160 secs
lola: 15991957 markings, 19915655 edges, 7426 markings/sec, 2165 secs
lola: 16029430 markings, 19963768 edges, 7495 markings/sec, 2170 secs
lola: 16066834 markings, 20012079 edges, 7481 markings/sec, 2175 secs
lola: 16104524 markings, 20059112 edges, 7538 markings/sec, 2180 secs
lola: 16141856 markings, 20105829 edges, 7466 markings/sec, 2185 secs
lola: 16178876 markings, 20152763 edges, 7404 markings/sec, 2190 secs
lola: 16215652 markings, 20199455 edges, 7355 markings/sec, 2195 secs
lola: 16252468 markings, 20246058 edges, 7363 markings/sec, 2200 secs
lola: 16289268 markings, 20292772 edges, 7360 markings/sec, 2205 secs
lola: 16326483 markings, 20340050 edges, 7443 markings/sec, 2210 secs
lola: 16363709 markings, 20386979 edges, 7445 markings/sec, 2215 secs
lola: 16401071 markings, 20434070 edges, 7472 markings/sec, 2220 secs
lola: 16438445 markings, 20481549 edges, 7475 markings/sec, 2225 secs
lola: 16475793 markings, 20528772 edges, 7470 markings/sec, 2230 secs
lola: 16513235 markings, 20576457 edges, 7488 markings/sec, 2235 secs
lola: 16550686 markings, 20623974 edges, 7490 markings/sec, 2240 secs
lola: 16588130 markings, 20671479 edges, 7489 markings/sec, 2245 secs
lola: 16625650 markings, 20719613 edges, 7504 markings/sec, 2250 secs
lola: 16663430 markings, 20767555 edges, 7556 markings/sec, 2255 secs
lola: 16701015 markings, 20814507 edges, 7517 markings/sec, 2260 secs
lola: 16738468 markings, 20861713 edges, 7491 markings/sec, 2265 secs
lola: 16775398 markings, 20908205 edges, 7386 markings/sec, 2270 secs
lola: 16812343 markings, 20954220 edges, 7389 markings/sec, 2275 secs
lola: 16849557 markings, 21001009 edges, 7443 markings/sec, 2280 secs
lola: 16886701 markings, 21047367 edges, 7429 markings/sec, 2285 secs
lola: 16923575 markings, 21094170 edges, 7375 markings/sec, 2290 secs
lola: 16960652 markings, 21140959 edges, 7415 markings/sec, 2295 secs
lola: 16997618 markings, 21187565 edges, 7393 markings/sec, 2300 secs
lola: 17034534 markings, 21234209 edges, 7383 markings/sec, 2305 secs
lola: 17071559 markings, 21280937 edges, 7405 markings/sec, 2310 secs
lola: 17108701 markings, 21328164 edges, 7428 markings/sec, 2315 secs
lola: 17145796 markings, 21375195 edges, 7419 markings/sec, 2320 secs
lola: 17182735 markings, 21422519 edges, 7388 markings/sec, 2325 secs
lola: 17219754 markings, 21469703 edges, 7404 markings/sec, 2330 secs
lola: 17256909 markings, 21516417 edges, 7431 markings/sec, 2335 secs
lola: 17293902 markings, 21563236 edges, 7399 markings/sec, 2340 secs
lola: 17330968 markings, 21609845 edges, 7413 markings/sec, 2345 secs
lola: 17367836 markings, 21657387 edges, 7374 markings/sec, 2350 secs
lola: 17404809 markings, 21704078 edges, 7395 markings/sec, 2355 secs
lola: 17441794 markings, 21750407 edges, 7397 markings/sec, 2360 secs
lola: 17478537 markings, 21797521 edges, 7349 markings/sec, 2365 secs
lola: 17515453 markings, 21844397 edges, 7383 markings/sec, 2370 secs
lola: 17553058 markings, 21891594 edges, 7521 markings/sec, 2375 secs
lola: 17590800 markings, 21938765 edges, 7548 markings/sec, 2380 secs
lola: 17628450 markings, 21986841 edges, 7530 markings/sec, 2385 secs
lola: 17665961 markings, 22034022 edges, 7502 markings/sec, 2390 secs
lola: 17703654 markings, 22081595 edges, 7539 markings/sec, 2395 secs
lola: 17741460 markings, 22129934 edges, 7561 markings/sec, 2400 secs
lola: 17779371 markings, 22177117 edges, 7582 markings/sec, 2405 secs
lola: 17817131 markings, 22224112 edges, 7552 markings/sec, 2410 secs
lola: 17855194 markings, 22269875 edges, 7613 markings/sec, 2415 secs
lola: 17893392 markings, 22315335 edges, 7640 markings/sec, 2420 secs
lola: 17931550 markings, 22361263 edges, 7632 markings/sec, 2425 secs
lola: 17969693 markings, 22406802 edges, 7629 markings/sec, 2430 secs
lola: 18007787 markings, 22452612 edges, 7619 markings/sec, 2435 secs
lola: 18045852 markings, 22498686 edges, 7613 markings/sec, 2440 secs
lola: 18083829 markings, 22544045 edges, 7595 markings/sec, 2445 secs
lola: 18121781 markings, 22589823 edges, 7590 markings/sec, 2450 secs
lola: 18159818 markings, 22635794 edges, 7607 markings/sec, 2455 secs
lola: 18197976 markings, 22681223 edges, 7632 markings/sec, 2460 secs
lola: 18235994 markings, 22727254 edges, 7604 markings/sec, 2465 secs
lola: 18274255 markings, 22772845 edges, 7652 markings/sec, 2470 secs
lola: 18312275 markings, 22819126 edges, 7604 markings/sec, 2475 secs
lola: 18350175 markings, 22865428 edges, 7580 markings/sec, 2480 secs
lola: 18387859 markings, 22912741 edges, 7537 markings/sec, 2485 secs
lola: 18425388 markings, 22960127 edges, 7506 markings/sec, 2490 secs
lola: 18463008 markings, 23007939 edges, 7524 markings/sec, 2495 secs
lola: 18500719 markings, 23056158 edges, 7542 markings/sec, 2500 secs
lola: 18538501 markings, 23103697 edges, 7556 markings/sec, 2505 secs
lola: 18576097 markings, 23151296 edges, 7519 markings/sec, 2510 secs
lola: 18613861 markings, 23198183 edges, 7553 markings/sec, 2515 secs
lola: 18651907 markings, 23244428 edges, 7609 markings/sec, 2520 secs
lola: 18689740 markings, 23290831 edges, 7567 markings/sec, 2525 secs
lola: 18727603 markings, 23337250 edges, 7573 markings/sec, 2530 secs
lola: 18765820 markings, 23382746 edges, 7643 markings/sec, 2535 secs
lola: 18803885 markings, 23428280 edges, 7613 markings/sec, 2540 secs
lola: 18841628 markings, 23475528 edges, 7549 markings/sec, 2545 secs
lola: 18879292 markings, 23522713 edges, 7533 markings/sec, 2550 secs
lola: 18917276 markings, 23568523 edges, 7597 markings/sec, 2555 secs
lola: 18955387 markings, 23613782 edges, 7622 markings/sec, 2560 secs
lola: 18993316 markings, 23659081 edges, 7586 markings/sec, 2565 secs
lola: 19031163 markings, 23706047 edges, 7569 markings/sec, 2570 secs
lola: 19069166 markings, 23751429 edges, 7601 markings/sec, 2575 secs
lola: 19107119 markings, 23796890 edges, 7591 markings/sec, 2580 secs
lola: 19144819 markings, 23843450 edges, 7540 markings/sec, 2585 secs
lola: 19182598 markings, 23889458 edges, 7556 markings/sec, 2590 secs
lola: 19220393 markings, 23935763 edges, 7559 markings/sec, 2595 secs
lola: 19258133 markings, 23982614 edges, 7548 markings/sec, 2600 secs
lola: 19295576 markings, 24029083 edges, 7489 markings/sec, 2605 secs
lola: 19332111 markings, 24074673 edges, 7307 markings/sec, 2610 secs
lola: 19368860 markings, 24120411 edges, 7350 markings/sec, 2615 secs
lola: 19405517 markings, 24165181 edges, 7331 markings/sec, 2620 secs
lola: 19442453 markings, 24209920 edges, 7387 markings/sec, 2625 secs
lola: 19479090 markings, 24254665 edges, 7327 markings/sec, 2630 secs
lola: 19515801 markings, 24299899 edges, 7342 markings/sec, 2635 secs
lola: 19552590 markings, 24345888 edges, 7358 markings/sec, 2640 secs
lola: 19589168 markings, 24391574 edges, 7316 markings/sec, 2645 secs
lola: 19625730 markings, 24437140 edges, 7312 markings/sec, 2650 secs
lola: 19662399 markings, 24482092 edges, 7334 markings/sec, 2655 secs
lola: 19699250 markings, 24526672 edges, 7370 markings/sec, 2660 secs
lola: 19735995 markings, 24572566 edges, 7349 markings/sec, 2665 secs
lola: 19772944 markings, 24618275 edges, 7390 markings/sec, 2670 secs
lola: 19809104 markings, 24663549 edges, 7232 markings/sec, 2675 secs
lola: 19845498 markings, 24710213 edges, 7279 markings/sec, 2680 secs
lola: 19882078 markings, 24756723 edges, 7316 markings/sec, 2685 secs
lola: 19918766 markings, 24803362 edges, 7338 markings/sec, 2690 secs
lola: 19955476 markings, 24849874 edges, 7342 markings/sec, 2695 secs
lola: 19992100 markings, 24895590 edges, 7325 markings/sec, 2700 secs
lola: 20028927 markings, 24939999 edges, 7365 markings/sec, 2705 secs
lola: 20065884 markings, 24984656 edges, 7391 markings/sec, 2710 secs
lola: 20102474 markings, 25030533 edges, 7318 markings/sec, 2715 secs
lola: 20139124 markings, 25076413 edges, 7330 markings/sec, 2720 secs
lola: 20175924 markings, 25121035 edges, 7360 markings/sec, 2725 secs
lola: 20213836 markings, 25167244 edges, 7582 markings/sec, 2730 secs
lola: 20251580 markings, 25214423 edges, 7549 markings/sec, 2735 secs
lola: 20289233 markings, 25261856 edges, 7531 markings/sec, 2740 secs
lola: 20326817 markings, 25308740 edges, 7517 markings/sec, 2745 secs
lola: 20363986 markings, 25355985 edges, 7434 markings/sec, 2750 secs
lola: 20401572 markings, 25403313 edges, 7517 markings/sec, 2755 secs
lola: 20438080 markings, 25449194 edges, 7302 markings/sec, 2760 secs
lola: 20474746 markings, 25496399 edges, 7333 markings/sec, 2765 secs
lola: 20511452 markings, 25542931 edges, 7341 markings/sec, 2770 secs
lola: 20548295 markings, 25590052 edges, 7369 markings/sec, 2775 secs
lola: 20585183 markings, 25637354 edges, 7378 markings/sec, 2780 secs
lola: 20622011 markings, 25684193 edges, 7366 markings/sec, 2785 secs
lola: 20658849 markings, 25731697 edges, 7368 markings/sec, 2790 secs
lola: 20695107 markings, 25776902 edges, 7252 markings/sec, 2795 secs
lola: 20731535 markings, 25823528 edges, 7286 markings/sec, 2800 secs
lola: 20768243 markings, 25869851 edges, 7342 markings/sec, 2805 secs
lola: 20805123 markings, 25916387 edges, 7376 markings/sec, 2810 secs
lola: 20841882 markings, 25963309 edges, 7352 markings/sec, 2815 secs
lola: 20878908 markings, 26009849 edges, 7405 markings/sec, 2820 secs
lola: 20915751 markings, 26056310 edges, 7369 markings/sec, 2825 secs
lola: 20952498 markings, 26102912 edges, 7349 markings/sec, 2830 secs
lola: 20989165 markings, 26150025 edges, 7333 markings/sec, 2835 secs
lola: 21025979 markings, 26196657 edges, 7363 markings/sec, 2840 secs
lola: 21062721 markings, 26243459 edges, 7348 markings/sec, 2845 secs
lola: 21099397 markings, 26290987 edges, 7335 markings/sec, 2850 secs
lola: 21136099 markings, 26337059 edges, 7340 markings/sec, 2855 secs
lola: 21172720 markings, 26383654 edges, 7324 markings/sec, 2860 secs
lola: 21209282 markings, 26430138 edges, 7312 markings/sec, 2865 secs
lola: 21245887 markings, 26477364 edges, 7321 markings/sec, 2870 secs
lola: 21282637 markings, 26523390 edges, 7350 markings/sec, 2875 secs
lola: 21319266 markings, 26569920 edges, 7326 markings/sec, 2880 secs
lola: 21355971 markings, 26616913 edges, 7341 markings/sec, 2885 secs
lola: 21392668 markings, 26663213 edges, 7339 markings/sec, 2890 secs
lola: 21429291 markings, 26709786 edges, 7325 markings/sec, 2895 secs
lola: 21466103 markings, 26755993 edges, 7362 markings/sec, 2900 secs
lola: 21502905 markings, 26803629 edges, 7360 markings/sec, 2905 secs
lola: 21539787 markings, 26849557 edges, 7376 markings/sec, 2910 secs
lola: 21576650 markings, 26895662 edges, 7373 markings/sec, 2915 secs
lola: 21613514 markings, 26940877 edges, 7373 markings/sec, 2920 secs
lola: 21649730 markings, 26986930 edges, 7243 markings/sec, 2925 secs
lola: 21686031 markings, 27032290 edges, 7260 markings/sec, 2930 secs
lola: 21721723 markings, 27077735 edges, 7138 markings/sec, 2935 secs
lola: 21757754 markings, 27123419 edges, 7206 markings/sec, 2940 secs
lola: 21793707 markings, 27168897 edges, 7191 markings/sec, 2945 secs
lola: 21829885 markings, 27214381 edges, 7236 markings/sec, 2950 secs
lola: 21866109 markings, 27260793 edges, 7245 markings/sec, 2955 secs
lola: 21902263 markings, 27306261 edges, 7231 markings/sec, 2960 secs
lola: 21938638 markings, 27352548 edges, 7275 markings/sec, 2965 secs
lola: 21974602 markings, 27397904 edges, 7193 markings/sec, 2970 secs
lola: 22010575 markings, 27443724 edges, 7195 markings/sec, 2975 secs
lola: 22046698 markings, 27489492 edges, 7225 markings/sec, 2980 secs
lola: 22083020 markings, 27535319 edges, 7264 markings/sec, 2985 secs
lola: 22118656 markings, 27580486 edges, 7127 markings/sec, 2990 secs
lola: 22154421 markings, 27625723 edges, 7153 markings/sec, 2995 secs
lola: 22189823 markings, 27669996 edges, 7080 markings/sec, 3000 secs
lola: 22224711 markings, 27714281 edges, 6978 markings/sec, 3005 secs
lola: 22259422 markings, 27758593 edges, 6942 markings/sec, 3010 secs
lola: 22295152 markings, 27803745 edges, 7146 markings/sec, 3015 secs
lola: 22330905 markings, 27848423 edges, 7151 markings/sec, 3020 secs
lola: 22366492 markings, 27893498 edges, 7117 markings/sec, 3025 secs
lola: 22402223 markings, 27938800 edges, 7146 markings/sec, 3030 secs
lola: 22437985 markings, 27984464 edges, 7152 markings/sec, 3035 secs
lola: 22474075 markings, 28029177 edges, 7218 markings/sec, 3040 secs
lola: 22509824 markings, 28075359 edges, 7150 markings/sec, 3045 secs
lola: 22545651 markings, 28121512 edges, 7165 markings/sec, 3050 secs
lola: 22581519 markings, 28167663 edges, 7174 markings/sec, 3055 secs
lola: 22617310 markings, 28212877 edges, 7158 markings/sec, 3060 secs
lola: 22652914 markings, 28259134 edges, 7121 markings/sec, 3065 secs
lola: 22688878 markings, 28304601 edges, 7193 markings/sec, 3070 secs
lola: 22724829 markings, 28350138 edges, 7190 markings/sec, 3075 secs
lola: 22760850 markings, 28395827 edges, 7204 markings/sec, 3080 secs
lola: 22796826 markings, 28441462 edges, 7195 markings/sec, 3085 secs
lola: 22832869 markings, 28486217 edges, 7209 markings/sec, 3090 secs
lola: 22868823 markings, 28532259 edges, 7191 markings/sec, 3095 secs
lola: 22904861 markings, 28578084 edges, 7208 markings/sec, 3100 secs
lola: 22940945 markings, 28623013 edges, 7217 markings/sec, 3105 secs
lola: 22976767 markings, 28667391 edges, 7164 markings/sec, 3110 secs
lola: 23012820 markings, 28710660 edges, 7211 markings/sec, 3115 secs
lola: 23049168 markings, 28753762 edges, 7270 markings/sec, 3120 secs
lola: 23085559 markings, 28797758 edges, 7278 markings/sec, 3125 secs
lola: 23121830 markings, 28840932 edges, 7254 markings/sec, 3130 secs
lola: 23158100 markings, 28884672 edges, 7254 markings/sec, 3135 secs
lola: 23194386 markings, 28928525 edges, 7257 markings/sec, 3140 secs
lola: 23230683 markings, 28972009 edges, 7259 markings/sec, 3145 secs
lola: 23266995 markings, 29015372 edges, 7262 markings/sec, 3150 secs
lola: 23303356 markings, 29059479 edges, 7272 markings/sec, 3155 secs
lola: 23339738 markings, 29103004 edges, 7276 markings/sec, 3160 secs
lola: 23376135 markings, 29146753 edges, 7279 markings/sec, 3165 secs
lola: 23412706 markings, 29190559 edges, 7314 markings/sec, 3170 secs
lola: 23449112 markings, 29234485 edges, 7281 markings/sec, 3175 secs
lola: 23485351 markings, 29278838 edges, 7248 markings/sec, 3180 secs
lola: 23521522 markings, 29323397 edges, 7234 markings/sec, 3185 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: 9106416 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: memory consumption: 9106644 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 2 - aborting LoLA
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 2 - aborting LoLA
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: memory consumption: 9107256 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 1552464738370

--------------------
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="DLCround-PT-13b"
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 DLCround-PT-13b, 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 r049-oct2-155234405200497"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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