Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r038-smll-155229648900227.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is CloudReconfiguration-PT-314, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-smll-155229648900227
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 824K
-rw-r--r-- 1 mcc users 3.8K Feb 9 09:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 9 09:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 5 08:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 08:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 114 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 352 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 4 23:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 23:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 2 02:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 2 02:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jan 29 16:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 29 16:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:18 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 660K 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 CloudReconfiguration-PT-314-UpperBounds-00
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-01
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-02
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-03
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-04
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-05
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-06
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-07
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-08
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-09
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-10
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-11
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-12
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-13
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-14
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552682573370

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ CloudReconfiguration-PT-314 @ 3570 seconds

FORMULA CloudReconfiguration-PT-314-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-314-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-314-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-314-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-314-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-314-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-314-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-314-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-314-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-314-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-314-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-314-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-314-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-314-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-314-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 @ CloudReconfiguration-PT-314

{
"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": "Fri Mar 15 20:42:53 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(p2115)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 76,
"markings": 77,
"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": 238
},
"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(p1648)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 62,
"markings": 63,
"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": 257
},
"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(p2224)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 86,
"markings": 87,
"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": 278
},
"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(p2530)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 70,
"markings": 71,
"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": 303
},
"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(p2353)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 67,
"markings": 68,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 333
},
"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(p2457)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 77,
"markings": 78,
"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": 370
},
"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(p196)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 58,
"markings": 59,
"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": 417
},
"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(p2070)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 97,
"markings": 98,
"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": 476
},
"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(p2120)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 87,
"markings": 88,
"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": 555
},
"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(p2160)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 62,
"markings": 63,
"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": 666
},
"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(p2497)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 61,
"markings": 62,
"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": 833
},
"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(p1037)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 55,
"markings": 56,
"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": 1110
},
"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(p560)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 79,
"markings": 80,
"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": 1665
},
"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(p1553)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 95,
"markings": 96,
"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": 3330
},
"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(p1098)",
"processed_size": 10,
"rewrites": 0
},
"result":
{
"edges": 52,
"markings": 53,
"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": 4605700,
"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": 6463,
"conflict_clusters": 2448,
"places": 2585,
"places_significant": 2581,
"singleton_clusters": 0,
"transitions": 3095
},
"result":
{
"interim_value": "unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ",
"preliminary_value": "unknown 1 1 1 1 1 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: 5680/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2585
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 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(p1332) : MAX(p2115) : MAX(p1648) : MAX(p2224) : MAX(p2530) : MAX(p2353) : MAX(p2457) : MAX(p196) : MAX(p2070) : MAX(p2120) : MAX(p2160) : MAX(p2497) : MAX(p1037) : MAX(p560) : MAX(p1553) : MAX(p1098)
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(p1332)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1332)
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: 28480 markings, 62218 edges, 5696 markings/sec, 0 secs
lola: 61445 markings, 142371 edges, 6593 markings/sec, 5 secs
lola: 95128 markings, 223976 edges, 6737 markings/sec, 10 secs
lola: 127107 markings, 301682 edges, 6396 markings/sec, 15 secs
lola: 159430 markings, 378881 edges, 6465 markings/sec, 20 secs
lola: 192010 markings, 456896 edges, 6516 markings/sec, 25 secs
lola: 223813 markings, 534526 edges, 6361 markings/sec, 30 secs
lola: 256654 markings, 613235 edges, 6568 markings/sec, 35 secs
lola: 289762 markings, 688104 edges, 6622 markings/sec, 40 secs
lola: 321332 markings, 765068 edges, 6314 markings/sec, 45 secs
lola: 353563 markings, 843646 edges, 6446 markings/sec, 50 secs
lola: 385020 markings, 919849 edges, 6291 markings/sec, 55 secs
lola: 416981 markings, 995755 edges, 6392 markings/sec, 60 secs
lola: 449283 markings, 1072473 edges, 6460 markings/sec, 65 secs
lola: 480520 markings, 1149722 edges, 6247 markings/sec, 70 secs
lola: 512845 markings, 1227045 edges, 6465 markings/sec, 75 secs
lola: 545029 markings, 1302544 edges, 6437 markings/sec, 80 secs
lola: 576666 markings, 1378946 edges, 6327 markings/sec, 85 secs
lola: 609310 markings, 1457669 edges, 6529 markings/sec, 90 secs
lola: 640557 markings, 1533686 edges, 6249 markings/sec, 95 secs
lola: 672209 markings, 1610599 edges, 6330 markings/sec, 100 secs
lola: 704594 markings, 1687894 edges, 6477 markings/sec, 105 secs
lola: 735844 markings, 1764793 edges, 6250 markings/sec, 110 secs
lola: 768199 markings, 1842235 edges, 6471 markings/sec, 115 secs
lola: 800466 markings, 1919719 edges, 6453 markings/sec, 120 secs
lola: 832189 markings, 1996609 edges, 6345 markings/sec, 125 secs
lola: 864505 markings, 2074994 edges, 6463 markings/sec, 130 secs
lola: 896236 markings, 2150372 edges, 6346 markings/sec, 135 secs
lola: 930190 markings, 2224594 edges, 6791 markings/sec, 140 secs
lola: 970030 markings, 2282880 edges, 7968 markings/sec, 145 secs
lola: 1010033 markings, 2341000 edges, 8001 markings/sec, 150 secs
lola: 1049483 markings, 2398023 edges, 7890 markings/sec, 155 secs
lola: 1087805 markings, 2466134 edges, 7664 markings/sec, 160 secs
lola: 1121748 markings, 2537925 edges, 6789 markings/sec, 165 secs
lola: 1151997 markings, 2611509 edges, 6050 markings/sec, 170 secs
lola: 1182463 markings, 2684677 edges, 6093 markings/sec, 175 secs
lola: 1212839 markings, 2757972 edges, 6075 markings/sec, 180 secs
lola: 1243854 markings, 2832944 edges, 6203 markings/sec, 185 secs
lola: 1274385 markings, 2907108 edges, 6106 markings/sec, 190 secs
lola: 1305696 markings, 2983007 edges, 6262 markings/sec, 195 secs
lola: 1336062 markings, 3055760 edges, 6073 markings/sec, 200 secs
lola: 1367543 markings, 3130148 edges, 6296 markings/sec, 205 secs
lola: 1399734 markings, 3202970 edges, 6438 markings/sec, 210 secs
lola: 1431511 markings, 3272859 edges, 6355 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 423096 KB
lola: time consumption: 227 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2115)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2115)
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: 77 markings, 76 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1648)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1648)
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: 63 markings, 62 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2224)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2224)
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: 87 markings, 86 edges
lola: ========================================
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2530)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2530)
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: 71 markings, 70 edges
lola: ========================================
lola: subprocess 5 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2353)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2353)
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: 68 markings, 67 edges
lola: ========================================
lola: subprocess 6 will run for 333 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2457)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2457)
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 7 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p196)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p196)
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: 59 markings, 58 edges
lola: ========================================
lola: subprocess 8 will run for 417 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2070)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2070)
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: 98 markings, 97 edges
lola: ========================================
lola: subprocess 9 will run for 476 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2120)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2120)
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: 88 markings, 87 edges
lola: ========================================
lola: subprocess 10 will run for 555 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2160)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2160)
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: 63 markings, 62 edges
lola: ========================================
lola: subprocess 11 will run for 666 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2497)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2497)
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: 62 markings, 61 edges
lola: ========================================
lola: subprocess 12 will run for 833 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1037)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1037)
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: 56 markings, 55 edges
lola: ========================================
lola: subprocess 13 will run for 1110 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p560)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p560)
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: 80 markings, 79 edges
lola: ========================================
lola: subprocess 14 will run for 1665 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1553)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1553)
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: 96 markings, 95 edges
lola: ========================================
lola: subprocess 15 will run for 3330 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1098)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1098)
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: 53 markings, 52 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p1332)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1332)
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: 29199 markings, 63802 edges, 5840 markings/sec, 0 secs
lola: 61186 markings, 141812 edges, 6397 markings/sec, 5 secs
lola: 93803 markings, 221020 edges, 6523 markings/sec, 10 secs
lola: 124995 markings, 296750 edges, 6238 markings/sec, 15 secs
lola: 156496 markings, 371818 edges, 6300 markings/sec, 20 secs
lola: 188388 markings, 447464 edges, 6378 markings/sec, 25 secs
lola: 219191 markings, 523753 edges, 6161 markings/sec, 30 secs
lola: 250944 markings, 599752 edges, 6351 markings/sec, 35 secs
lola: 283441 markings, 673858 edges, 6499 markings/sec, 40 secs
lola: 314334 markings, 748363 edges, 6179 markings/sec, 45 secs
lola: 346081 markings, 824477 edges, 6349 markings/sec, 50 secs
lola: 377128 markings, 899337 edges, 6209 markings/sec, 55 secs
lola: 408099 markings, 974404 edges, 6194 markings/sec, 60 secs
lola: 439630 markings, 1051280 edges, 6306 markings/sec, 65 secs
lola: 470461 markings, 1126101 edges, 6166 markings/sec, 70 secs
lola: 501835 markings, 1200611 edges, 6275 markings/sec, 75 secs
lola: 533856 markings, 1275496 edges, 6404 markings/sec, 80 secs
lola: 564424 markings, 1349806 edges, 6114 markings/sec, 85 secs
lola: 595689 markings, 1424906 edges, 6253 markings/sec, 90 secs
lola: 626588 markings, 1500481 edges, 6180 markings/sec, 95 secs
lola: 657422 markings, 1574691 edges, 6167 markings/sec, 100 secs
lola: 689022 markings, 1650367 edges, 6320 markings/sec, 105 secs
lola: 719647 markings, 1725021 edges, 6125 markings/sec, 110 secs
lola: 750499 markings, 1799561 edges, 6170 markings/sec, 115 secs
lola: 782170 markings, 1876683 edges, 6334 markings/sec, 120 secs
lola: 813244 markings, 1951888 edges, 6215 markings/sec, 125 secs
lola: 844664 markings, 2026456 edges, 6284 markings/sec, 130 secs
lola: 876337 markings, 2101507 edges, 6335 markings/sec, 135 secs
lola: 907314 markings, 2175847 edges, 6195 markings/sec, 140 secs
lola: 943143 markings, 2244338 edges, 7166 markings/sec, 145 secs
lola: 981171 markings, 2298844 edges, 7606 markings/sec, 150 secs
lola: 1020133 markings, 2353148 edges, 7792 markings/sec, 155 secs
lola: 1058284 markings, 2409909 edges, 7630 markings/sec, 160 secs
lola: 1095400 markings, 2480861 edges, 7423 markings/sec, 165 secs
lola: 1127323 markings, 2551246 edges, 6385 markings/sec, 170 secs
lola: 1157100 markings, 2622774 edges, 5955 markings/sec, 175 secs
lola: 1186829 markings, 2694584 edges, 5946 markings/sec, 180 secs
lola: 1216411 markings, 2767003 edges, 5916 markings/sec, 185 secs
lola: 1247087 markings, 2840633 edges, 6135 markings/sec, 190 secs
lola: 1276803 markings, 2912728 edges, 5943 markings/sec, 195 secs
lola: 1307563 markings, 2987005 edges, 6152 markings/sec, 200 secs
lola: 1337311 markings, 3058796 edges, 5950 markings/sec, 205 secs
lola: 1368244 markings, 3131707 edges, 6187 markings/sec, 210 secs
lola: 1399869 markings, 3203131 edges, 6325 markings/sec, 215 secs
lola: 1431109 markings, 3271787 edges, 6248 markings/sec, 220 secs
lola: 1465554 markings, 3340882 edges, 6889 markings/sec, 225 secs
lola: 1500136 markings, 3415319 edges, 6916 markings/sec, 230 secs
lola: 1536301 markings, 3483748 edges, 7233 markings/sec, 235 secs
lola: 1569273 markings, 3552784 edges, 6594 markings/sec, 240 secs
lola: 1603340 markings, 3622469 edges, 6813 markings/sec, 245 secs
lola: 1643025 markings, 3683058 edges, 7937 markings/sec, 250 secs
lola: 1679601 markings, 3752533 edges, 7315 markings/sec, 255 secs
lola: 1718028 markings, 3815186 edges, 7685 markings/sec, 260 secs
lola: 1754977 markings, 3883496 edges, 7390 markings/sec, 265 secs
lola: 1789359 markings, 3961075 edges, 6876 markings/sec, 270 secs
lola: 1827807 markings, 4023613 edges, 7690 markings/sec, 275 secs
lola: 1863181 markings, 4096583 edges, 7075 markings/sec, 280 secs
lola: 1898515 markings, 4166120 edges, 7067 markings/sec, 285 secs
lola: 1932183 markings, 4244289 edges, 6734 markings/sec, 290 secs
lola: 1968447 markings, 4323595 edges, 7253 markings/sec, 295 secs
lola: 2001329 markings, 4401128 edges, 6576 markings/sec, 300 secs
lola: 2035062 markings, 4476335 edges, 6747 markings/sec, 305 secs
lola: 2071042 markings, 4554804 edges, 7196 markings/sec, 310 secs
lola: 2104243 markings, 4632125 edges, 6640 markings/sec, 315 secs
lola: 2137007 markings, 4707476 edges, 6553 markings/sec, 320 secs
lola: 2169764 markings, 4786654 edges, 6551 markings/sec, 325 secs
lola: 2205811 markings, 4865232 edges, 7209 markings/sec, 330 secs
lola: 2238922 markings, 4941483 edges, 6622 markings/sec, 335 secs
lola: 2272501 markings, 5018765 edges, 6716 markings/sec, 340 secs
lola: 2307981 markings, 5097857 edges, 7096 markings/sec, 345 secs
lola: 2340318 markings, 5174730 edges, 6467 markings/sec, 350 secs
lola: 2373861 markings, 5250854 edges, 6709 markings/sec, 355 secs
lola: 2402296 markings, 5328062 edges, 5687 markings/sec, 360 secs
lola: 2431880 markings, 5396894 edges, 5917 markings/sec, 365 secs
lola: 2461729 markings, 5466602 edges, 5970 markings/sec, 370 secs
lola: 2493009 markings, 5536881 edges, 6256 markings/sec, 375 secs
lola: 2522148 markings, 5606263 edges, 5828 markings/sec, 380 secs
lola: 2557079 markings, 5679674 edges, 6986 markings/sec, 385 secs
lola: 2594440 markings, 5751188 edges, 7472 markings/sec, 390 secs
lola: 2625945 markings, 5825505 edges, 6301 markings/sec, 395 secs
lola: 2657531 markings, 5899636 edges, 6317 markings/sec, 400 secs
lola: 2694293 markings, 5974413 edges, 7352 markings/sec, 405 secs
lola: 2729048 markings, 6041566 edges, 6951 markings/sec, 410 secs
lola: 2761791 markings, 6121114 edges, 6549 markings/sec, 415 secs
lola: 2794815 markings, 6192764 edges, 6605 markings/sec, 420 secs
lola: 2829674 markings, 6260855 edges, 6972 markings/sec, 425 secs
lola: 2863353 markings, 6337289 edges, 6736 markings/sec, 430 secs
lola: 2894884 markings, 6408546 edges, 6306 markings/sec, 435 secs
lola: 2926750 markings, 6484148 edges, 6373 markings/sec, 440 secs
lola: 2960543 markings, 6555538 edges, 6759 markings/sec, 445 secs
lola: 2989923 markings, 6625456 edges, 5876 markings/sec, 450 secs
lola: 3020383 markings, 6695456 edges, 6092 markings/sec, 455 secs
lola: 3050805 markings, 6764147 edges, 6084 markings/sec, 460 secs
lola: 3082327 markings, 6836079 edges, 6304 markings/sec, 465 secs
lola: 3113575 markings, 6917515 edges, 6250 markings/sec, 470 secs
lola: 3147608 markings, 6981845 edges, 6807 markings/sec, 475 secs
lola: 3181363 markings, 7045164 edges, 6751 markings/sec, 480 secs
lola: 3216307 markings, 7128566 edges, 6989 markings/sec, 485 secs
lola: 3247134 markings, 7202053 edges, 6165 markings/sec, 490 secs
lola: 3280147 markings, 7278115 edges, 6603 markings/sec, 495 secs
lola: 3311214 markings, 7353357 edges, 6213 markings/sec, 500 secs
lola: 3342995 markings, 7430259 edges, 6356 markings/sec, 505 secs
lola: 3375584 markings, 7509322 edges, 6518 markings/sec, 510 secs
lola: 3406643 markings, 7597288 edges, 6212 markings/sec, 515 secs
lola: 3437199 markings, 7678484 edges, 6111 markings/sec, 520 secs
lola: 3470863 markings, 7737631 edges, 6733 markings/sec, 525 secs
lola: 3506938 markings, 7807126 edges, 7215 markings/sec, 530 secs
lola: 3543717 markings, 7870717 edges, 7356 markings/sec, 535 secs
lola: 3577553 markings, 7944423 edges, 6767 markings/sec, 540 secs
lola: 3612326 markings, 8013599 edges, 6955 markings/sec, 545 secs
lola: 3646433 markings, 8084283 edges, 6821 markings/sec, 550 secs
lola: 3679923 markings, 8149464 edges, 6698 markings/sec, 555 secs
lola: 3714938 markings, 8208936 edges, 7003 markings/sec, 560 secs
lola: 3747590 markings, 8273821 edges, 6530 markings/sec, 565 secs
lola: 3782177 markings, 8328769 edges, 6917 markings/sec, 570 secs
lola: 3815690 markings, 8399434 edges, 6703 markings/sec, 575 secs
lola: 3849696 markings, 8476839 edges, 6801 markings/sec, 580 secs
lola: 3882449 markings, 8552565 edges, 6551 markings/sec, 585 secs
lola: 3915560 markings, 8625580 edges, 6622 markings/sec, 590 secs
lola: 3948507 markings, 8698374 edges, 6589 markings/sec, 595 secs
lola: 3979355 markings, 8771368 edges, 6170 markings/sec, 600 secs
lola: 4010575 markings, 8842003 edges, 6244 markings/sec, 605 secs
lola: 4041973 markings, 8917253 edges, 6280 markings/sec, 610 secs
lola: 4076673 markings, 8994192 edges, 6940 markings/sec, 615 secs
lola: 4109551 markings, 9069760 edges, 6576 markings/sec, 620 secs
lola: 4142800 markings, 9145769 edges, 6650 markings/sec, 625 secs
lola: 4177322 markings, 9222933 edges, 6904 markings/sec, 630 secs
lola: 4209316 markings, 9298660 edges, 6399 markings/sec, 635 secs
lola: 4242051 markings, 9373593 edges, 6547 markings/sec, 640 secs
lola: 4269425 markings, 9446794 edges, 5475 markings/sec, 645 secs
lola: 4300295 markings, 9519376 edges, 6174 markings/sec, 650 secs
lola: 4329891 markings, 9595753 edges, 5919 markings/sec, 655 secs
lola: 4359594 markings, 9674534 edges, 5941 markings/sec, 660 secs
lola: 4390116 markings, 9733263 edges, 6104 markings/sec, 665 secs
lola: 4419291 markings, 9809592 edges, 5835 markings/sec, 670 secs
lola: 4450560 markings, 9880960 edges, 6254 markings/sec, 675 secs
lola: 4481284 markings, 9958073 edges, 6145 markings/sec, 680 secs
lola: 4511418 markings, 10029200 edges, 6027 markings/sec, 685 secs
lola: 4542689 markings, 10102881 edges, 6254 markings/sec, 690 secs
lola: 4572683 markings, 10182112 edges, 5999 markings/sec, 695 secs
lola: 4603611 markings, 10257795 edges, 6186 markings/sec, 700 secs
lola: 4633733 markings, 10333945 edges, 6024 markings/sec, 705 secs
lola: 4664257 markings, 10412660 edges, 6105 markings/sec, 710 secs
lola: 4694244 markings, 10487189 edges, 5997 markings/sec, 715 secs
lola: 4724240 markings, 10562221 edges, 5999 markings/sec, 720 secs
lola: 4753370 markings, 10644523 edges, 5826 markings/sec, 725 secs
lola: 4784274 markings, 10705523 edges, 6181 markings/sec, 730 secs
lola: 4815649 markings, 10779861 edges, 6275 markings/sec, 735 secs
lola: 4845070 markings, 10860681 edges, 5884 markings/sec, 740 secs
lola: 4875495 markings, 10937541 edges, 6085 markings/sec, 745 secs
lola: 4905294 markings, 11013417 edges, 5960 markings/sec, 750 secs
lola: 4934451 markings, 11081674 edges, 5831 markings/sec, 755 secs
lola: 4963083 markings, 11149682 edges, 5726 markings/sec, 760 secs
lola: 4991410 markings, 11217851 edges, 5665 markings/sec, 765 secs
lola: 5020743 markings, 11290004 edges, 5867 markings/sec, 770 secs
lola: 5049041 markings, 11377171 edges, 5660 markings/sec, 775 secs
lola: 5078750 markings, 11457778 edges, 5942 markings/sec, 780 secs
lola: 5106773 markings, 11523037 edges, 5605 markings/sec, 785 secs
lola: 5134997 markings, 11604726 edges, 5645 markings/sec, 790 secs
lola: 5163540 markings, 11689825 edges, 5709 markings/sec, 795 secs
lola: 5194174 markings, 11766042 edges, 6127 markings/sec, 800 secs
lola: 5227133 markings, 11832959 edges, 6592 markings/sec, 805 secs
lola: 5259971 markings, 11900107 edges, 6568 markings/sec, 810 secs
lola: 5291513 markings, 11967798 edges, 6308 markings/sec, 815 secs
lola: 5319753 markings, 12050163 edges, 5648 markings/sec, 820 secs
lola: 5350012 markings, 12118838 edges, 6052 markings/sec, 825 secs
lola: 5382391 markings, 12184572 edges, 6476 markings/sec, 830 secs
lola: 5413471 markings, 12241601 edges, 6216 markings/sec, 835 secs
lola: 5442414 markings, 12305547 edges, 5789 markings/sec, 840 secs
lola: 5472807 markings, 12379718 edges, 6079 markings/sec, 845 secs
lola: 5501767 markings, 12458421 edges, 5792 markings/sec, 850 secs
lola: 5529138 markings, 12535861 edges, 5474 markings/sec, 855 secs
lola: 5559785 markings, 12603008 edges, 6129 markings/sec, 860 secs
lola: 5587849 markings, 12680012 edges, 5613 markings/sec, 865 secs
lola: 5614840 markings, 12756891 edges, 5398 markings/sec, 870 secs
lola: 5644439 markings, 12833794 edges, 5920 markings/sec, 875 secs
lola: 5674358 markings, 12919119 edges, 5984 markings/sec, 880 secs
lola: 5701929 markings, 13002990 edges, 5514 markings/sec, 885 secs
lola: 5732914 markings, 13072749 edges, 6197 markings/sec, 890 secs
lola: 5763442 markings, 13143126 edges, 6106 markings/sec, 895 secs
lola: 5791535 markings, 13224068 edges, 5619 markings/sec, 900 secs
lola: 5821905 markings, 13290920 edges, 6074 markings/sec, 905 secs
lola: 5849089 markings, 13374545 edges, 5437 markings/sec, 910 secs
lola: 5876737 markings, 13459711 edges, 5530 markings/sec, 915 secs
lola: 5902291 markings, 13551049 edges, 5111 markings/sec, 920 secs
lola: 5927549 markings, 13643620 edges, 5052 markings/sec, 925 secs
lola: 5956093 markings, 13725022 edges, 5709 markings/sec, 930 secs
lola: 5984997 markings, 13800841 edges, 5781 markings/sec, 935 secs
lola: 6012714 markings, 13884124 edges, 5543 markings/sec, 940 secs
lola: 6040660 markings, 13957055 edges, 5589 markings/sec, 945 secs
lola: 6068866 markings, 14035066 edges, 5641 markings/sec, 950 secs
lola: 6097883 markings, 14112411 edges, 5803 markings/sec, 955 secs
lola: 6128256 markings, 14177293 edges, 6075 markings/sec, 960 secs
lola: 6156012 markings, 14256694 edges, 5551 markings/sec, 965 secs
lola: 6184171 markings, 14335583 edges, 5632 markings/sec, 970 secs
lola: 6211672 markings, 14413474 edges, 5500 markings/sec, 975 secs
lola: 6240037 markings, 14491839 edges, 5673 markings/sec, 980 secs
lola: 6266974 markings, 14573396 edges, 5387 markings/sec, 985 secs
lola: 6292766 markings, 14661380 edges, 5158 markings/sec, 990 secs
lola: 6318004 markings, 14750684 edges, 5048 markings/sec, 995 secs
lola: 6346195 markings, 14827083 edges, 5638 markings/sec, 1000 secs
lola: 6375910 markings, 14899278 edges, 5943 markings/sec, 1005 secs
lola: 6406587 markings, 14967342 edges, 6135 markings/sec, 1010 secs
lola: 6437502 markings, 15033452 edges, 6183 markings/sec, 1015 secs
lola: 6468188 markings, 15100085 edges, 6137 markings/sec, 1020 secs
lola: 6496417 markings, 15176936 edges, 5646 markings/sec, 1025 secs
lola: 6523603 markings, 15260535 edges, 5437 markings/sec, 1030 secs
lola: 6553314 markings, 15331870 edges, 5942 markings/sec, 1035 secs
lola: 6580221 markings, 15413363 edges, 5381 markings/sec, 1040 secs
lola: 6606031 markings, 15501759 edges, 5162 markings/sec, 1045 secs
lola: 6635562 markings, 15572701 edges, 5906 markings/sec, 1050 secs
lola: 6668247 markings, 15636130 edges, 6537 markings/sec, 1055 secs
lola: 6698851 markings, 15700212 edges, 6121 markings/sec, 1060 secs
lola: 6732534 markings, 15756575 edges, 6737 markings/sec, 1065 secs
lola: 6767426 markings, 15806201 edges, 6978 markings/sec, 1070 secs
lola: 6800876 markings, 15860505 edges, 6690 markings/sec, 1075 secs
lola: 6829105 markings, 15934844 edges, 5646 markings/sec, 1080 secs
lola: 6856810 markings, 16017123 edges, 5541 markings/sec, 1085 secs
lola: 6885430 markings, 16091830 edges, 5724 markings/sec, 1090 secs
lola: 6914050 markings, 16165394 edges, 5724 markings/sec, 1095 secs
lola: 6945574 markings, 16234395 edges, 6305 markings/sec, 1100 secs
lola: 6973944 markings, 16309712 edges, 5674 markings/sec, 1105 secs
lola: 7002870 markings, 16383362 edges, 5785 markings/sec, 1110 secs
lola: 7032987 markings, 16450413 edges, 6023 markings/sec, 1115 secs
lola: 7061803 markings, 16523880 edges, 5763 markings/sec, 1120 secs
lola: 7090156 markings, 16596085 edges, 5671 markings/sec, 1125 secs
lola: 7117271 markings, 16675132 edges, 5423 markings/sec, 1130 secs
lola: 7146282 markings, 16744925 edges, 5802 markings/sec, 1135 secs
lola: 7175370 markings, 16812122 edges, 5818 markings/sec, 1140 secs
lola: 7204008 markings, 16885624 edges, 5728 markings/sec, 1145 secs
lola: 7232073 markings, 16961790 edges, 5613 markings/sec, 1150 secs
lola: 7258556 markings, 17041407 edges, 5297 markings/sec, 1155 secs
lola: 7286225 markings, 17114973 edges, 5534 markings/sec, 1160 secs
lola: 7316288 markings, 17191138 edges, 6013 markings/sec, 1165 secs
lola: 7346522 markings, 17264419 edges, 6047 markings/sec, 1170 secs
lola: 7374871 markings, 17337844 edges, 5670 markings/sec, 1175 secs
lola: 7405604 markings, 17408633 edges, 6147 markings/sec, 1180 secs
lola: 7433370 markings, 17487932 edges, 5553 markings/sec, 1185 secs
lola: 7460651 markings, 17564315 edges, 5456 markings/sec, 1190 secs
lola: 7490419 markings, 17650883 edges, 5954 markings/sec, 1195 secs
lola: 7520253 markings, 17732750 edges, 5967 markings/sec, 1200 secs
lola: 7549991 markings, 17815161 edges, 5948 markings/sec, 1205 secs
lola: 7577071 markings, 17906832 edges, 5416 markings/sec, 1210 secs
lola: 7602830 markings, 17996508 edges, 5152 markings/sec, 1215 secs
lola: 7630644 markings, 18075295 edges, 5563 markings/sec, 1220 secs
lola: 7658706 markings, 18147828 edges, 5612 markings/sec, 1225 secs
lola: 7686891 markings, 18220447 edges, 5637 markings/sec, 1230 secs
lola: 7716974 markings, 18284626 edges, 6017 markings/sec, 1235 secs
lola: 7742624 markings, 18360474 edges, 5130 markings/sec, 1240 secs
lola: 7771075 markings, 18435532 edges, 5690 markings/sec, 1245 secs
lola: 7797707 markings, 18512437 edges, 5326 markings/sec, 1250 secs
lola: 7823361 markings, 18592661 edges, 5131 markings/sec, 1255 secs
lola: 7849437 markings, 18673622 edges, 5215 markings/sec, 1260 secs
lola: 7874062 markings, 18761115 edges, 4925 markings/sec, 1265 secs
lola: 7899216 markings, 18850513 edges, 5031 markings/sec, 1270 secs
lola: 7923675 markings, 18936844 edges, 4892 markings/sec, 1275 secs
lola: 7951674 markings, 19013602 edges, 5600 markings/sec, 1280 secs
lola: 7980701 markings, 19088174 edges, 5805 markings/sec, 1285 secs
lola: 8010462 markings, 19166449 edges, 5952 markings/sec, 1290 secs
lola: 8038526 markings, 19255732 edges, 5613 markings/sec, 1295 secs
lola: 8063765 markings, 19346505 edges, 5048 markings/sec, 1300 secs
lola: 8093294 markings, 19410605 edges, 5906 markings/sec, 1305 secs
lola: 8121153 markings, 19479988 edges, 5572 markings/sec, 1310 secs
lola: 8152172 markings, 19548623 edges, 6204 markings/sec, 1315 secs
lola: 8180391 markings, 19620120 edges, 5644 markings/sec, 1320 secs
lola: 8207152 markings, 19696282 edges, 5352 markings/sec, 1325 secs
lola: 8233839 markings, 19772237 edges, 5337 markings/sec, 1330 secs
lola: 8262481 markings, 19845990 edges, 5728 markings/sec, 1335 secs
lola: 8294340 markings, 19908498 edges, 6372 markings/sec, 1340 secs
lola: 8322715 markings, 19993913 edges, 5675 markings/sec, 1345 secs
lola: 8352462 markings, 20073258 edges, 5949 markings/sec, 1350 secs
lola: 8380757 markings, 20153016 edges, 5659 markings/sec, 1355 secs
lola: 8409563 markings, 20230116 edges, 5761 markings/sec, 1360 secs
lola: 8438305 markings, 20306045 edges, 5748 markings/sec, 1365 secs
lola: 8467630 markings, 20373849 edges, 5865 markings/sec, 1370 secs
lola: 8498806 markings, 20424902 edges, 6235 markings/sec, 1375 secs
lola: 8527535 markings, 20501530 edges, 5746 markings/sec, 1380 secs
lola: 8554319 markings, 20580970 edges, 5357 markings/sec, 1385 secs
lola: 8583131 markings, 20651322 edges, 5762 markings/sec, 1390 secs
lola: 8608811 markings, 20728735 edges, 5136 markings/sec, 1395 secs
lola: 8633675 markings, 20811651 edges, 4973 markings/sec, 1400 secs
lola: 8657649 markings, 20897082 edges, 4795 markings/sec, 1405 secs
lola: 8682162 markings, 20979604 edges, 4903 markings/sec, 1410 secs
lola: 8708947 markings, 21059084 edges, 5357 markings/sec, 1415 secs
lola: 8737714 markings, 21134866 edges, 5753 markings/sec, 1420 secs
lola: 8767084 markings, 21197201 edges, 5874 markings/sec, 1425 secs
lola: 8797584 markings, 21264926 edges, 6100 markings/sec, 1430 secs
lola: 8826231 markings, 21340645 edges, 5729 markings/sec, 1435 secs
lola: 8853396 markings, 21422408 edges, 5433 markings/sec, 1440 secs
lola: 8883862 markings, 21480458 edges, 6093 markings/sec, 1445 secs
lola: 8914771 markings, 21556927 edges, 6182 markings/sec, 1450 secs
lola: 8944811 markings, 21634512 edges, 6008 markings/sec, 1455 secs
lola: 8972903 markings, 21711309 edges, 5618 markings/sec, 1460 secs
lola: 8999955 markings, 21786020 edges, 5410 markings/sec, 1465 secs
lola: 9025787 markings, 21862418 edges, 5166 markings/sec, 1470 secs
lola: 9052515 markings, 21932391 edges, 5346 markings/sec, 1475 secs
lola: 9081947 markings, 21990642 edges, 5886 markings/sec, 1480 secs
lola: 9110731 markings, 22052506 edges, 5757 markings/sec, 1485 secs
lola: 9138107 markings, 22116731 edges, 5475 markings/sec, 1490 secs
lola: 9168102 markings, 22178581 edges, 5999 markings/sec, 1495 secs
lola: 9201356 markings, 22235764 edges, 6651 markings/sec, 1500 secs
lola: 9237140 markings, 22291395 edges, 7157 markings/sec, 1505 secs
lola: 9267580 markings, 22345846 edges, 6088 markings/sec, 1510 secs
lola: 9295378 markings, 22415004 edges, 5560 markings/sec, 1515 secs
lola: 9326767 markings, 22483755 edges, 6278 markings/sec, 1520 secs
lola: 9357081 markings, 22557402 edges, 6063 markings/sec, 1525 secs
lola: 9385706 markings, 22625671 edges, 5725 markings/sec, 1530 secs
lola: 9412549 markings, 22696820 edges, 5369 markings/sec, 1535 secs
lola: 9440547 markings, 22772579 edges, 5600 markings/sec, 1540 secs
lola: 9466464 markings, 22853708 edges, 5183 markings/sec, 1545 secs
lola: 9490884 markings, 22940834 edges, 4884 markings/sec, 1550 secs
lola: 9518565 markings, 23022944 edges, 5536 markings/sec, 1555 secs
lola: 9547982 markings, 23110646 edges, 5883 markings/sec, 1560 secs
lola: 9578437 markings, 23187694 edges, 6091 markings/sec, 1565 secs
lola: 9610320 markings, 23256068 edges, 6377 markings/sec, 1570 secs
lola: 9641995 markings, 23320011 edges, 6335 markings/sec, 1575 secs
lola: 9675802 markings, 23377503 edges, 6761 markings/sec, 1580 secs
lola: 9711373 markings, 23428558 edges, 7114 markings/sec, 1585 secs
lola: 9745092 markings, 23485062 edges, 6744 markings/sec, 1590 secs
lola: 9773544 markings, 23561150 edges, 5690 markings/sec, 1595 secs
lola: 9805244 markings, 23625525 edges, 6340 markings/sec, 1600 secs
lola: 9831579 markings, 23689960 edges, 5267 markings/sec, 1605 secs
lola: 9860022 markings, 23750536 edges, 5689 markings/sec, 1610 secs
lola: 9889977 markings, 23809968 edges, 5991 markings/sec, 1615 secs
lola: 9920275 markings, 23871334 edges, 6060 markings/sec, 1620 secs
lola: 9953445 markings, 23920568 edges, 6634 markings/sec, 1625 secs
lola: 9987331 markings, 23968505 edges, 6777 markings/sec, 1630 secs
lola: 10013953 markings, 24040832 edges, 5324 markings/sec, 1635 secs
lola: 10045304 markings, 24104227 edges, 6270 markings/sec, 1640 secs
lola: 10074687 markings, 24176564 edges, 5877 markings/sec, 1645 secs
lola: 10102443 markings, 24245101 edges, 5551 markings/sec, 1650 secs
lola: 10128714 markings, 24309392 edges, 5254 markings/sec, 1655 secs
lola: 10160302 markings, 24362903 edges, 6318 markings/sec, 1660 secs
lola: 10193627 markings, 24418255 edges, 6665 markings/sec, 1665 secs
lola: 10220511 markings, 24487099 edges, 5377 markings/sec, 1670 secs
lola: 10248525 markings, 24553894 edges, 5603 markings/sec, 1675 secs
lola: 10281032 markings, 24616442 edges, 6501 markings/sec, 1680 secs
lola: 10308972 markings, 24682418 edges, 5588 markings/sec, 1685 secs
lola: 10336775 markings, 24751611 edges, 5561 markings/sec, 1690 secs
lola: 10364239 markings, 24825029 edges, 5493 markings/sec, 1695 secs
lola: 10392639 markings, 24895064 edges, 5680 markings/sec, 1700 secs
lola: 10424766 markings, 24956115 edges, 6425 markings/sec, 1705 secs
lola: 10460127 markings, 25005520 edges, 7072 markings/sec, 1710 secs
lola: 10490750 markings, 25067083 edges, 6125 markings/sec, 1715 secs
lola: 10515477 markings, 25146443 edges, 4945 markings/sec, 1720 secs
lola: 10545928 markings, 25215072 edges, 6090 markings/sec, 1725 secs
lola: 10576898 markings, 25280755 edges, 6194 markings/sec, 1730 secs
lola: 10607471 markings, 25346850 edges, 6115 markings/sec, 1735 secs
lola: 10638555 markings, 25413227 edges, 6217 markings/sec, 1740 secs
lola: 10665439 markings, 25486550 edges, 5377 markings/sec, 1745 secs
lola: 10693221 markings, 25552375 edges, 5556 markings/sec, 1750 secs
lola: 10717893 markings, 25627763 edges, 4934 markings/sec, 1755 secs
lola: 10743246 markings, 25702957 edges, 5071 markings/sec, 1760 secs
lola: 10767057 markings, 25783906 edges, 4762 markings/sec, 1765 secs
lola: 10794533 markings, 25857651 edges, 5495 markings/sec, 1770 secs
lola: 10822210 markings, 25934776 edges, 5535 markings/sec, 1775 secs
lola: 10849866 markings, 26014722 edges, 5531 markings/sec, 1780 secs
lola: 10877965 markings, 26093730 edges, 5620 markings/sec, 1785 secs
lola: 10903479 markings, 26180145 edges, 5103 markings/sec, 1790 secs
lola: 10928571 markings, 26254952 edges, 5018 markings/sec, 1795 secs
lola: 10956885 markings, 26331690 edges, 5663 markings/sec, 1800 secs
lola: 10983741 markings, 26406027 edges, 5371 markings/sec, 1805 secs
lola: 11010148 markings, 26477634 edges, 5281 markings/sec, 1810 secs
lola: 11038256 markings, 26560671 edges, 5622 markings/sec, 1815 secs
lola: 11067852 markings, 26638302 edges, 5919 markings/sec, 1820 secs
lola: 11096527 markings, 26716870 edges, 5735 markings/sec, 1825 secs
lola: 11123417 markings, 26790593 edges, 5378 markings/sec, 1830 secs
lola: 11149071 markings, 26871691 edges, 5131 markings/sec, 1835 secs
lola: 11175859 markings, 26948791 edges, 5358 markings/sec, 1840 secs
lola: 11203513 markings, 27021419 edges, 5531 markings/sec, 1845 secs
lola: 11232888 markings, 27088479 edges, 5875 markings/sec, 1850 secs
lola: 11263068 markings, 27152815 edges, 6036 markings/sec, 1855 secs
lola: 11293466 markings, 27217200 edges, 6080 markings/sec, 1860 secs
lola: 11320460 markings, 27291738 edges, 5399 markings/sec, 1865 secs
lola: 11345386 markings, 27376637 edges, 4985 markings/sec, 1870 secs
lola: 11374431 markings, 27447329 edges, 5809 markings/sec, 1875 secs
lola: 11403554 markings, 27517184 edges, 5825 markings/sec, 1880 secs
lola: 11433561 markings, 27585395 edges, 6001 markings/sec, 1885 secs
lola: 11461905 markings, 27657899 edges, 5669 markings/sec, 1890 secs
lola: 11491894 markings, 27727425 edges, 5998 markings/sec, 1895 secs
lola: 11524960 markings, 27792197 edges, 6613 markings/sec, 1900 secs
lola: 11554841 markings, 27860231 edges, 5976 markings/sec, 1905 secs
lola: 11583668 markings, 27933325 edges, 5765 markings/sec, 1910 secs
lola: 11612043 markings, 28008843 edges, 5675 markings/sec, 1915 secs
lola: 11642535 markings, 28077339 edges, 6098 markings/sec, 1920 secs
lola: 11676904 markings, 28132987 edges, 6874 markings/sec, 1925 secs
lola: 11712818 markings, 28182198 edges, 7183 markings/sec, 1930 secs
lola: 11742159 markings, 28255076 edges, 5868 markings/sec, 1935 secs
lola: 11770919 markings, 28326478 edges, 5752 markings/sec, 1940 secs
lola: 11802554 markings, 28392414 edges, 6327 markings/sec, 1945 secs
lola: 11833201 markings, 28459959 edges, 6129 markings/sec, 1950 secs
lola: 11862209 markings, 28521057 edges, 5802 markings/sec, 1955 secs
lola: 11892259 markings, 28580476 edges, 6010 markings/sec, 1960 secs
lola: 11918975 markings, 28653987 edges, 5343 markings/sec, 1965 secs
lola: 11946071 markings, 28729727 edges, 5419 markings/sec, 1970 secs
lola: 11974121 markings, 28806218 edges, 5610 markings/sec, 1975 secs
lola: 12000597 markings, 28868160 edges, 5295 markings/sec, 1980 secs
lola: 12025252 markings, 28939978 edges, 4931 markings/sec, 1985 secs
lola: 12052916 markings, 29010098 edges, 5533 markings/sec, 1990 secs
lola: 12083370 markings, 29075617 edges, 6091 markings/sec, 1995 secs
lola: 12114154 markings, 29140917 edges, 6157 markings/sec, 2000 secs
lola: 12143393 markings, 29207777 edges, 5848 markings/sec, 2005 secs
lola: 12173273 markings, 29273975 edges, 5976 markings/sec, 2010 secs
lola: 12198130 markings, 29348730 edges, 4971 markings/sec, 2015 secs
lola: 12223990 markings, 29418191 edges, 5172 markings/sec, 2020 secs
lola: 12251927 markings, 29481871 edges, 5587 markings/sec, 2025 secs
lola: 12279290 markings, 29546902 edges, 5473 markings/sec, 2030 secs
lola: 12304854 markings, 29618421 edges, 5113 markings/sec, 2035 secs
lola: 12328876 markings, 29699748 edges, 4804 markings/sec, 2040 secs
lola: 12355213 markings, 29770921 edges, 5267 markings/sec, 2045 secs
lola: 12384109 markings, 29839443 edges, 5779 markings/sec, 2050 secs
lola: 12409783 markings, 29917352 edges, 5135 markings/sec, 2055 secs
lola: 12437051 markings, 29991348 edges, 5454 markings/sec, 2060 secs
lola: 12467098 markings, 30059294 edges, 6009 markings/sec, 2065 secs
lola: 12494791 markings, 30131887 edges, 5539 markings/sec, 2070 secs
lola: 12520565 markings, 30207836 edges, 5155 markings/sec, 2075 secs
lola: 12545858 markings, 30287405 edges, 5059 markings/sec, 2080 secs
lola: 12573361 markings, 30354591 edges, 5501 markings/sec, 2085 secs
lola: 12601074 markings, 30428427 edges, 5543 markings/sec, 2090 secs
lola: 12631768 markings, 30493809 edges, 6139 markings/sec, 2095 secs
lola: 12662307 markings, 30558880 edges, 6108 markings/sec, 2100 secs
lola: 12691560 markings, 30625768 edges, 5851 markings/sec, 2105 secs
lola: 12718722 markings, 30706043 edges, 5432 markings/sec, 2110 secs
lola: 12744377 markings, 30779724 edges, 5131 markings/sec, 2115 secs
lola: 12770140 markings, 30848039 edges, 5153 markings/sec, 2120 secs
lola: 12797939 markings, 30912948 edges, 5560 markings/sec, 2125 secs
lola: 12827167 markings, 30986510 edges, 5846 markings/sec, 2130 secs
lola: 12855761 markings, 31059556 edges, 5719 markings/sec, 2135 secs
lola: 12885834 markings, 31120277 edges, 6015 markings/sec, 2140 secs
lola: 12916289 markings, 31181692 edges, 6091 markings/sec, 2145 secs
lola: 12947316 markings, 31242099 edges, 6205 markings/sec, 2150 secs
lola: 12976592 markings, 31313636 edges, 5855 markings/sec, 2155 secs
lola: 13003061 markings, 31380499 edges, 5294 markings/sec, 2160 secs
lola: 13028447 markings, 31456891 edges, 5077 markings/sec, 2165 secs
lola: 13054870 markings, 31527786 edges, 5285 markings/sec, 2170 secs
lola: 13082062 markings, 31603606 edges, 5438 markings/sec, 2175 secs
lola: 13108869 markings, 31672984 edges, 5361 markings/sec, 2180 secs
lola: 13136010 markings, 31741497 edges, 5428 markings/sec, 2185 secs
lola: 13164976 markings, 31802944 edges, 5793 markings/sec, 2190 secs
lola: 13193924 markings, 31864281 edges, 5790 markings/sec, 2195 secs
lola: 13221297 markings, 31931454 edges, 5475 markings/sec, 2200 secs
lola: 13248716 markings, 32001033 edges, 5484 markings/sec, 2205 secs
lola: 13273127 markings, 32078174 edges, 4882 markings/sec, 2210 secs
lola: 13297470 markings, 32158300 edges, 4869 markings/sec, 2215 secs
lola: 13320395 markings, 32245899 edges, 4585 markings/sec, 2220 secs
lola: 13347225 markings, 32323343 edges, 5366 markings/sec, 2225 secs
lola: 13376744 markings, 32391255 edges, 5904 markings/sec, 2230 secs
lola: 13407124 markings, 32459602 edges, 6076 markings/sec, 2235 secs
lola: 13434345 markings, 32526070 edges, 5444 markings/sec, 2240 secs
lola: 13458208 markings, 32593000 edges, 4773 markings/sec, 2245 secs
lola: 13482391 markings, 32665706 edges, 4837 markings/sec, 2250 secs
lola: 13507944 markings, 32738653 edges, 5111 markings/sec, 2255 secs
lola: 13533158 markings, 32820445 edges, 5043 markings/sec, 2260 secs
lola: 13558242 markings, 32895068 edges, 5017 markings/sec, 2265 secs
lola: 13587508 markings, 32964590 edges, 5853 markings/sec, 2270 secs
lola: 13614722 markings, 33028042 edges, 5443 markings/sec, 2275 secs
lola: 13639953 markings, 33096442 edges, 5046 markings/sec, 2280 secs
lola: 13666171 markings, 33159123 edges, 5244 markings/sec, 2285 secs
lola: 13692111 markings, 33226651 edges, 5188 markings/sec, 2290 secs
lola: 13720683 markings, 33301785 edges, 5714 markings/sec, 2295 secs
lola: 13748609 markings, 33364426 edges, 5585 markings/sec, 2300 secs
lola: 13774945 markings, 33430112 edges, 5267 markings/sec, 2305 secs
lola: 13799508 markings, 33501976 edges, 4913 markings/sec, 2310 secs
lola: 13833493 markings, 33566730 edges, 6797 markings/sec, 2315 secs
lola: 13863095 markings, 33645021 edges, 5920 markings/sec, 2320 secs
lola: 13890835 markings, 33705787 edges, 5548 markings/sec, 2325 secs
lola: 13916991 markings, 33777615 edges, 5231 markings/sec, 2330 secs
lola: 13942389 markings, 33850551 edges, 5080 markings/sec, 2335 secs
lola: 13970311 markings, 33923610 edges, 5584 markings/sec, 2340 secs
lola: 13999022 markings, 33992653 edges, 5742 markings/sec, 2345 secs
lola: 14024489 markings, 34057397 edges, 5093 markings/sec, 2350 secs
lola: 14050985 markings, 34124664 edges, 5299 markings/sec, 2355 secs
lola: 14077032 markings, 34192002 edges, 5209 markings/sec, 2360 secs
lola: 14101701 markings, 34270849 edges, 4934 markings/sec, 2365 secs
lola: 14124225 markings, 34354077 edges, 4505 markings/sec, 2370 secs
lola: 14147500 markings, 34437580 edges, 4655 markings/sec, 2375 secs
lola: 14171510 markings, 34520631 edges, 4802 markings/sec, 2380 secs
lola: 14198864 markings, 34593619 edges, 5471 markings/sec, 2385 secs
lola: 14224711 markings, 34674602 edges, 5169 markings/sec, 2390 secs
lola: 14251970 markings, 34745520 edges, 5452 markings/sec, 2395 secs
lola: 14282053 markings, 34811709 edges, 6017 markings/sec, 2400 secs
lola: 14306472 markings, 34882296 edges, 4884 markings/sec, 2405 secs
lola: 14333365 markings, 34954437 edges, 5379 markings/sec, 2410 secs
lola: 14366145 markings, 35020464 edges, 6556 markings/sec, 2415 secs
lola: 14395037 markings, 35092932 edges, 5778 markings/sec, 2420 secs
lola: 14422296 markings, 35173252 edges, 5452 markings/sec, 2425 secs
lola: 14448021 markings, 35249471 edges, 5145 markings/sec, 2430 secs
lola: 14472664 markings, 35325397 edges, 4929 markings/sec, 2435 secs
lola: 14498929 markings, 35393248 edges, 5253 markings/sec, 2440 secs
lola: 14526946 markings, 35456922 edges, 5603 markings/sec, 2445 secs
lola: 14551662 markings, 35533080 edges, 4943 markings/sec, 2450 secs
lola: 14579353 markings, 35599934 edges, 5538 markings/sec, 2455 secs
lola: 14606117 markings, 35671918 edges, 5353 markings/sec, 2460 secs
lola: 14630770 markings, 35745041 edges, 4931 markings/sec, 2465 secs
lola: 14654021 markings, 35823558 edges, 4650 markings/sec, 2470 secs
lola: 14679471 markings, 35888512 edges, 5090 markings/sec, 2475 secs
lola: 14703515 markings, 35958579 edges, 4809 markings/sec, 2480 secs
lola: 14728068 markings, 36027944 edges, 4911 markings/sec, 2485 secs
lola: 14752917 markings, 36095281 edges, 4970 markings/sec, 2490 secs
lola: 14778160 markings, 36167107 edges, 5049 markings/sec, 2495 secs
lola: 14806476 markings, 36229797 edges, 5663 markings/sec, 2500 secs
lola: 14833289 markings, 36299714 edges, 5363 markings/sec, 2505 secs
lola: 14858549 markings, 36372485 edges, 5052 markings/sec, 2510 secs
lola: 14885064 markings, 36440094 edges, 5303 markings/sec, 2515 secs
lola: 14910309 markings, 36508487 edges, 5049 markings/sec, 2520 secs
lola: 14941412 markings, 36580704 edges, 6221 markings/sec, 2525 secs
lola: 14968195 markings, 36648011 edges, 5357 markings/sec, 2530 secs
lola: 14995152 markings, 36719719 edges, 5391 markings/sec, 2535 secs
lola: 15023262 markings, 36788493 edges, 5622 markings/sec, 2540 secs
lola: 15051245 markings, 36856895 edges, 5597 markings/sec, 2545 secs
lola: 15077333 markings, 36920121 edges, 5218 markings/sec, 2550 secs
lola: 15103538 markings, 36977970 edges, 5241 markings/sec, 2555 secs
lola: 15132578 markings, 37033987 edges, 5808 markings/sec, 2560 secs
lola: 15156848 markings, 37099541 edges, 4854 markings/sec, 2565 secs
lola: 15182805 markings, 37155930 edges, 5191 markings/sec, 2570 secs
lola: 15206059 markings, 37226131 edges, 4651 markings/sec, 2575 secs
lola: 15230696 markings, 37292709 edges, 4927 markings/sec, 2580 secs
lola: 15259402 markings, 37348414 edges, 5741 markings/sec, 2585 secs
lola: 15291980 markings, 37397138 edges, 6516 markings/sec, 2590 secs
lola: 15322836 markings, 37450097 edges, 6171 markings/sec, 2595 secs
lola: 15351011 markings, 37509685 edges, 5635 markings/sec, 2600 secs
lola: 15379228 markings, 37584957 edges, 5643 markings/sec, 2605 secs
lola: 15408279 markings, 37654761 edges, 5810 markings/sec, 2610 secs
lola: 15433223 markings, 37718606 edges, 4989 markings/sec, 2615 secs
lola: 15456489 markings, 37787782 edges, 4653 markings/sec, 2620 secs
lola: 15482400 markings, 37851992 edges, 5182 markings/sec, 2625 secs
lola: 15507589 markings, 37920700 edges, 5038 markings/sec, 2630 secs
lola: 15533794 markings, 37986411 edges, 5241 markings/sec, 2635 secs
lola: 15559809 markings, 38059466 edges, 5203 markings/sec, 2640 secs
lola: 15584419 markings, 38142591 edges, 4922 markings/sec, 2645 secs
lola: 15610044 markings, 38218349 edges, 5125 markings/sec, 2650 secs
lola: 15636639 markings, 38282589 edges, 5319 markings/sec, 2655 secs
lola: 15664675 markings, 38342731 edges, 5607 markings/sec, 2660 secs
lola: 15692651 markings, 38402707 edges, 5595 markings/sec, 2665 secs
lola: 15720902 markings, 38462155 edges, 5650 markings/sec, 2670 secs
lola: 15743121 markings, 38541504 edges, 4444 markings/sec, 2675 secs
lola: 15765024 markings, 38622130 edges, 4381 markings/sec, 2680 secs
lola: 15789418 markings, 38689630 edges, 4879 markings/sec, 2685 secs
lola: 15813756 markings, 38753357 edges, 4868 markings/sec, 2690 secs
lola: 15837439 markings, 38819071 edges, 4737 markings/sec, 2695 secs
lola: 15861221 markings, 38884536 edges, 4756 markings/sec, 2700 secs
lola: 15885574 markings, 38947423 edges, 4871 markings/sec, 2705 secs
lola: 15911648 markings, 39020278 edges, 5215 markings/sec, 2710 secs
lola: 15940683 markings, 39100853 edges, 5807 markings/sec, 2715 secs
lola: 15971161 markings, 39172382 edges, 6096 markings/sec, 2720 secs
lola: 16002268 markings, 39258045 edges, 6221 markings/sec, 2725 secs
lola: 16032251 markings, 39336427 edges, 5997 markings/sec, 2730 secs
lola: 16059014 markings, 39410078 edges, 5353 markings/sec, 2735 secs
lola: 16084770 markings, 39477374 edges, 5151 markings/sec, 2740 secs
lola: 16108184 markings, 39548453 edges, 4683 markings/sec, 2745 secs
lola: 16131760 markings, 39622898 edges, 4715 markings/sec, 2750 secs
lola: 16156687 markings, 39690317 edges, 4985 markings/sec, 2755 secs
lola: 16182207 markings, 39755281 edges, 5104 markings/sec, 2760 secs
lola: 16208344 markings, 39823008 edges, 5227 markings/sec, 2765 secs
lola: 16233880 markings, 39893218 edges, 5107 markings/sec, 2770 secs
lola: 16258405 markings, 39966726 edges, 4905 markings/sec, 2775 secs
lola: 16283444 markings, 40039411 edges, 5008 markings/sec, 2780 secs
lola: 16309346 markings, 40109111 edges, 5180 markings/sec, 2785 secs
lola: 16336660 markings, 40176071 edges, 5463 markings/sec, 2790 secs
lola: 16365397 markings, 40244243 edges, 5747 markings/sec, 2795 secs
lola: 16393929 markings, 40311038 edges, 5706 markings/sec, 2800 secs
lola: 16421858 markings, 40368131 edges, 5586 markings/sec, 2805 secs
lola: 16451303 markings, 40428565 edges, 5889 markings/sec, 2810 secs
lola: 16477621 markings, 40487308 edges, 5264 markings/sec, 2815 secs
lola: 16503220 markings, 40553232 edges, 5120 markings/sec, 2820 secs
lola: 16528571 markings, 40620585 edges, 5070 markings/sec, 2825 secs
lola: 16555061 markings, 40684524 edges, 5298 markings/sec, 2830 secs
lola: 16585776 markings, 40742915 edges, 6143 markings/sec, 2835 secs
lola: 16619383 markings, 40790353 edges, 6721 markings/sec, 2840 secs
lola: 16651454 markings, 40840400 edges, 6414 markings/sec, 2845 secs
lola: 16678261 markings, 40911192 edges, 5361 markings/sec, 2850 secs
lola: 16708623 markings, 40971643 edges, 6072 markings/sec, 2855 secs
lola: 16734346 markings, 41029535 edges, 5145 markings/sec, 2860 secs
lola: 16757519 markings, 41096586 edges, 4635 markings/sec, 2865 secs
lola: 16785105 markings, 41176715 edges, 5517 markings/sec, 2870 secs
lola: 16814343 markings, 41255648 edges, 5848 markings/sec, 2875 secs
lola: 16843871 markings, 41327802 edges, 5906 markings/sec, 2880 secs
lola: 16869920 markings, 41392305 edges, 5210 markings/sec, 2885 secs
lola: 16894378 markings, 41454940 edges, 4892 markings/sec, 2890 secs
lola: 16917123 markings, 41523045 edges, 4549 markings/sec, 2895 secs
lola: 16941917 markings, 41592634 edges, 4959 markings/sec, 2900 secs
lola: 16968579 markings, 41658036 edges, 5332 markings/sec, 2905 secs
lola: 16993541 markings, 41727949 edges, 4992 markings/sec, 2910 secs
lola: 17015938 markings, 41807604 edges, 4479 markings/sec, 2915 secs
lola: 17041066 markings, 41858721 edges, 5026 markings/sec, 2920 secs
lola: 17066149 markings, 41936794 edges, 5017 markings/sec, 2925 secs
lola: 17093790 markings, 41992185 edges, 5528 markings/sec, 2930 secs
lola: 17120456 markings, 42052769 edges, 5333 markings/sec, 2935 secs
lola: 17143971 markings, 42118273 edges, 4703 markings/sec, 2940 secs
lola: 17168711 markings, 42174164 edges, 4948 markings/sec, 2945 secs
lola: 17195338 markings, 42230181 edges, 5325 markings/sec, 2950 secs
lola: 17225544 markings, 42283300 edges, 6041 markings/sec, 2955 secs
lola: 17260090 markings, 42335086 edges, 6909 markings/sec, 2960 secs
lola: 17293077 markings, 42394032 edges, 6597 markings/sec, 2965 secs
lola: 17323839 markings, 42455609 edges, 6152 markings/sec, 2970 secs
lola: 17356701 markings, 42512394 edges, 6572 markings/sec, 2975 secs
lola: 17391197 markings, 42562868 edges, 6899 markings/sec, 2980 secs
lola: 17422168 markings, 42624907 edges, 6194 markings/sec, 2985 secs
lola: 17450743 markings, 42694956 edges, 5715 markings/sec, 2990 secs
lola: 17481425 markings, 42757137 edges, 6136 markings/sec, 2995 secs
lola: 17515565 markings, 42809605 edges, 6828 markings/sec, 3000 secs
lola: 17550051 markings, 42859629 edges, 6897 markings/sec, 3005 secs
lola: 17578485 markings, 42931669 edges, 5687 markings/sec, 3010 secs
lola: 17607163 markings, 43006421 edges, 5736 markings/sec, 3015 secs
lola: 17635272 markings, 43078770 edges, 5622 markings/sec, 3020 secs
lola: 17661139 markings, 43156270 edges, 5173 markings/sec, 3025 secs
lola: 17686327 markings, 43234663 edges, 5038 markings/sec, 3030 secs
lola: 17711271 markings, 43318255 edges, 4989 markings/sec, 3035 secs
lola: 17735362 markings, 43403048 edges, 4818 markings/sec, 3040 secs
lola: 17760420 markings, 43486184 edges, 5012 markings/sec, 3045 secs
lola: 17784620 markings, 43570848 edges, 4840 markings/sec, 3050 secs
lola: 17810547 markings, 43648403 edges, 5185 markings/sec, 3055 secs
lola: 17835874 markings, 43724087 edges, 5065 markings/sec, 3060 secs
lola: 17863103 markings, 43793060 edges, 5446 markings/sec, 3065 secs
lola: 17891070 markings, 43858269 edges, 5593 markings/sec, 3070 secs
lola: 17919615 markings, 43918782 edges, 5709 markings/sec, 3075 secs
lola: 17947918 markings, 43978731 edges, 5661 markings/sec, 3080 secs
lola: 17976230 markings, 44045525 edges, 5662 markings/sec, 3085 secs
lola: 18001799 markings, 44117995 edges, 5114 markings/sec, 3090 secs
lola: 18028265 markings, 44192624 edges, 5293 markings/sec, 3095 secs
lola: 18052721 markings, 44270174 edges, 4891 markings/sec, 3100 secs
lola: 18077041 markings, 44346055 edges, 4864 markings/sec, 3105 secs
lola: 18101148 markings, 44420666 edges, 4821 markings/sec, 3110 secs
lola: 18125119 markings, 44495218 edges, 4794 markings/sec, 3115 secs
lola: 18148940 markings, 44569450 edges, 4764 markings/sec, 3120 secs
lola: 18171308 markings, 44648625 edges, 4474 markings/sec, 3125 secs
lola: 18196127 markings, 44721047 edges, 4964 markings/sec, 3130 secs
lola: 18223579 markings, 44783221 edges, 5490 markings/sec, 3135 secs
lola: 18249844 markings, 44847845 edges, 5253 markings/sec, 3140 secs
lola: 18281358 markings, 44931065 edges, 6303 markings/sec, 3145 secs
lola: 18309880 markings, 45013305 edges, 5704 markings/sec, 3150 secs
lola: 18338246 markings, 45086762 edges, 5673 markings/sec, 3155 secs
lola: 18367626 markings, 45157749 edges, 5876 markings/sec, 3160 secs
lola: 18395559 markings, 45235844 edges, 5587 markings/sec, 3165 secs
lola: 18421345 markings, 45315563 edges, 5157 markings/sec, 3170 secs
lola: 18448617 markings, 45393147 edges, 5454 markings/sec, 3175 secs
lola: 18472938 markings, 45473781 edges, 4864 markings/sec, 3180 secs
lola: 18498570 markings, 45550966 edges, 5126 markings/sec, 3185 secs
lola: 18526486 markings, 45622472 edges, 5583 markings/sec, 3190 secs
lola: 18555193 markings, 45691796 edges, 5741 markings/sec, 3195 secs
lola: 18585612 markings, 45756012 edges, 6084 markings/sec, 3200 secs
lola: 18615987 markings, 45820273 edges, 6075 markings/sec, 3205 secs
lola: 18645199 markings, 45887257 edges, 5842 markings/sec, 3210 secs
lola: 18672599 markings, 45958153 edges, 5480 markings/sec, 3215 secs
lola: 18696895 markings, 46047002 edges, 4859 markings/sec, 3220 secs
lola: 18722614 markings, 46124567 edges, 5144 markings/sec, 3225 secs
lola: 18751596 markings, 46194080 edges, 5796 markings/sec, 3230 secs
lola: 18781368 markings, 46259598 edges, 5954 markings/sec, 3235 secs
lola: 18811663 markings, 46323245 edges, 6059 markings/sec, 3240 secs
lola: 18844022 markings, 46382979 edges, 6472 markings/sec, 3245 secs
lola: 18876152 markings, 46441381 edges, 6426 markings/sec, 3250 secs
lola: 18901181 markings, 46507282 edges, 5006 markings/sec, 3255 secs
lola: 18923956 markings, 46576566 edges, 4555 markings/sec, 3260 secs
lola: 18951550 markings, 46637143 edges, 5519 markings/sec, 3265 secs
lola: 18977779 markings, 46706386 edges, 5246 markings/sec, 3270 secs
lola: 19002120 markings, 46780011 edges, 4868 markings/sec, 3275 secs
lola: 19029498 markings, 46844973 edges, 5476 markings/sec, 3280 secs
lola: 19057514 markings, 46908495 edges, 5603 markings/sec, 3285 secs
lola: 19082754 markings, 46982084 edges, 5048 markings/sec, 3290 secs
lola: 19105247 markings, 47052666 edges, 4499 markings/sec, 3295 secs
lola: 19133065 markings, 47105134 edges, 5564 markings/sec, 3300 secs
lola: 19161669 markings, 47160953 edges, 5721 markings/sec, 3305 secs
lola: 19193372 markings, 47212319 edges, 6341 markings/sec, 3310 secs
lola: 19227709 markings, 47259285 edges, 6867 markings/sec, 3315 secs
lola: 19254684 markings, 47321536 edges, 5395 markings/sec, 3320 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1

preliminary result: unknown 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 4605700 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 1552686143475

--------------------
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="CloudReconfiguration-PT-314"
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-3957"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-314, 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 r038-smll-155229648900227"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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