About the Execution of LoLA for CloudReconfiguration-PT-315
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
12972.660 | 3570107.00 | 3615530.00 | 8226.10 | TFFFFFTTFFFTTT?F | normal |
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-155229648900240.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-315, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-smll-155229648900240
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 816K
-rw-r--r-- 1 mcc users 3.3K Feb 9 09:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 9 09:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 08:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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 6.0K Mar 10 17:31 GenericPropertiesVerdict.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.5K Feb 4 23:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.0K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 2 02:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 2 02:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Jan 29 16:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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 booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-315-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1552694619148
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ CloudReconfiguration-PT-315 @ 3570 seconds
FORMULA CloudReconfiguration-PT-315-LTLCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-315-LTLCardinality-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-315-LTLCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-315-LTLCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-315-LTLCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-315-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-315-LTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-315-LTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-315-LTLCardinality-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-315-LTLCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-315-LTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-315-LTLCardinality-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-315-LTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-315-LTLCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudReconfiguration-PT-315-LTLCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ CloudReconfiguration-PT-315
{
"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=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sat Mar 16 00:03:39 2019
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 221
},
"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": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 49
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 235
},
"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": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 49
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 252
},
"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": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 49
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 272
},
"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": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 49
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 294
},
"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": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 49
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"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": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 49
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 353
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(p465 <= p1480)",
"processed_size": 15,
"rewrites": 49
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 6,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 393
},
"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": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 49
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 442
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X ((p1136 <= p2566)))",
"processed_size": 24,
"rewrites": 49
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 505
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (F ((p2160 <= p2034))))",
"processed_size": 28,
"rewrites": 49
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 589
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (F ((p455 <= p1469))))",
"processed_size": 27,
"rewrites": 49
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 707
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "A ((X ((p1212 <= p673)) OR (G (F ((1 <= p516))) AND X (F ((p1212 <= p673))))))",
"processed_size": 78,
"rewrites": 49
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 884
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(p1019 + 1 <= p1581)",
"processed_size": 20,
"rewrites": 51
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 5
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1179
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"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": "A (G (F ((1 <= p1958))))",
"processed_size": 24,
"rewrites": 49
},
"result":
{
"edges": 65,
"markings": 65,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1769
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"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": "A (F (G ((1 <= p923))))",
"processed_size": 23,
"rewrites": 49
},
"result":
{
"edges": 67,
"markings": 66,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 13029296,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X(F(**))) : FALSE : FALSE : A(G(F(**))) : A(F(G(**))) : FALSE : A((X(**) OR (G(F(**)) AND X(F(**))))) : A(X(**)) : FALSE : FALSE : FALSE : ** : A(X(F(**))) : A(F(**)) : A(G(F(**))) : FALSE"
},
"net":
{
"arcs": 6463,
"conflict_clusters": 2448,
"places": 2585,
"places_significant": 2581,
"singleton_clusters": 0,
"transitions": 3095
},
"result":
{
"interim_value": "yes no no no no no yes yes no no no yes yes yes unknown no ",
"preliminary_value": "yes no no no no no yes yes no no no yes yes yes unknown no "
},
"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 LTLCardinality.xml
lola: LP says that atomic proposition is always false: (2 <= p2173)
lola: LP says that atomic proposition is always false: (2 <= p1874)
lola: LP says that atomic proposition is always false: (3 <= p72)
lola: LP says that atomic proposition is always false: (2 <= p2198)
lola: LP says that atomic proposition is always false: (2 <= p92)
lola: LP says that atomic proposition is always false: (2 <= p306)
lola: LP says that atomic proposition is always false: (3 <= p182)
lola: LP says that atomic proposition is always false: (3 <= p2087)
lola: LP says that atomic proposition is always false: (2 <= p2023)
lola: A (X (F (F (F ((p2160 <= p2034)))))) : A (X (X ((2 <= p2173)))) : A (G (F (X (X ((2 <= p1874)))))) : A (G (G (F (F ((1 <= p1958)))))) : A (X (X (F (G ((1 <= p923)))))) : A (X (F (((p226 <= p2499) U (3 <= p72))))) : A ((G (F ((1 <= p516))) U X ((p1212 <= p673)))) : A (X ((p1136 <= p2566))) : A ((((p87 <= p671) U (2 <= p2198)) U G (F ((2 <= p92))))) : A (G (X (((p2557 <= p97) U (2 <= p306))))) : A ((G (F ((p1826 <= p1508))) U X (X ((3 <= p182))))) : A ((p465 <= p1480)) : A (F (X (((3 <= p2087) U (p455 <= p1469))))) : A (F ((p1581 <= p1019))) : A (G (F ((p1324 <= p175)))) : A ((2 <= p2023))
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 49 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 49 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 49 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 49 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 294 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 49 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 49 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p465 <= p1480)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p465 <= p1480)
lola: processed formula length: 15
lola: 49 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 393 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 49 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 442 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((p1136 <= p2566)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((p1136 <= p2566)))
lola: processed formula length: 24
lola: 49 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 9 will run for 505 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((p2160 <= p2034))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((p2160 <= p2034))))
lola: processed formula length: 28
lola: 49 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 10 will run for 589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((p455 <= p1469))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((p455 <= p1469))))
lola: processed formula length: 27
lola: 49 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 11 will run for 707 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((p1212 <= p673)) OR (G (F ((1 <= p516))) AND X (F ((p1212 <= p673))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((p1212 <= p673)) OR (G (F ((1 <= p516))) AND X (F ((p1212 <= p673))))))
lola: processed formula length: 78
lola: 49 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 12 will run for 884 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p1581 <= p1019)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p1019 + 1 <= p1581)
lola: processed formula length: 20
lola: 51 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 1179 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((1 <= p1958))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((1 <= p1958))))
lola: processed formula length: 24
lola: 49 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 65 markings, 65 edges
lola: ========================================
lola: subprocess 14 will run for 1769 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((1 <= p923))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((1 <= p923))))
lola: processed formula length: 23
lola: 49 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 66 markings, 67 edges
lola: ========================================
lola: subprocess 15 will run for 3539 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p1324 <= p175))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p1324 <= p175))))
lola: processed formula length: 27
lola: 49 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 69578 markings, 195736 edges, 13916 markings/sec, 0 secs
lola: 141062 markings, 389585 edges, 14297 markings/sec, 5 secs
lola: 230969 markings, 568757 edges, 17981 markings/sec, 10 secs
lola: 336677 markings, 745004 edges, 21142 markings/sec, 15 secs
lola: 404043 markings, 921945 edges, 13473 markings/sec, 20 secs
lola: 479843 markings, 1083243 edges, 15160 markings/sec, 25 secs
lola: 548289 markings, 1260076 edges, 13689 markings/sec, 30 secs
lola: 613219 markings, 1427123 edges, 12986 markings/sec, 35 secs
lola: 677317 markings, 1589551 edges, 12820 markings/sec, 40 secs
lola: 743588 markings, 1749639 edges, 13254 markings/sec, 45 secs
lola: 805527 markings, 1909030 edges, 12388 markings/sec, 50 secs
lola: 860846 markings, 2064350 edges, 11064 markings/sec, 55 secs
lola: 916364 markings, 2215259 edges, 11104 markings/sec, 60 secs
lola: 965780 markings, 2358720 edges, 9883 markings/sec, 65 secs
lola: 1015066 markings, 2496428 edges, 9857 markings/sec, 70 secs
lola: 1059699 markings, 2637634 edges, 8927 markings/sec, 75 secs
lola: 1132095 markings, 2806972 edges, 14479 markings/sec, 80 secs
lola: 1191004 markings, 2976677 edges, 11782 markings/sec, 85 secs
lola: 1246445 markings, 3133735 edges, 11088 markings/sec, 90 secs
lola: 1283406 markings, 3283136 edges, 7392 markings/sec, 95 secs
lola: 1319777 markings, 3434977 edges, 7274 markings/sec, 100 secs
lola: 1356226 markings, 3587065 edges, 7290 markings/sec, 105 secs
lola: 1396491 markings, 3751647 edges, 8053 markings/sec, 110 secs
lola: 1442582 markings, 3921323 edges, 9218 markings/sec, 115 secs
lola: 1485027 markings, 4097826 edges, 8489 markings/sec, 120 secs
lola: 1535508 markings, 4276746 edges, 10096 markings/sec, 125 secs
lola: 1586154 markings, 4453209 edges, 10129 markings/sec, 130 secs
lola: 1634259 markings, 4616570 edges, 9621 markings/sec, 135 secs
lola: 1683923 markings, 4783045 edges, 9933 markings/sec, 140 secs
lola: 1733480 markings, 4953137 edges, 9911 markings/sec, 145 secs
lola: 1780107 markings, 5111133 edges, 9325 markings/sec, 150 secs
lola: 1833003 markings, 5278954 edges, 10579 markings/sec, 155 secs
lola: 1881617 markings, 5451935 edges, 9723 markings/sec, 160 secs
lola: 1929537 markings, 5623971 edges, 9584 markings/sec, 165 secs
lola: 1979211 markings, 5784190 edges, 9935 markings/sec, 170 secs
lola: 2020915 markings, 5943007 edges, 8341 markings/sec, 175 secs
lola: 2071656 markings, 6105238 edges, 10148 markings/sec, 180 secs
lola: 2120739 markings, 6267090 edges, 9817 markings/sec, 185 secs
lola: 2169401 markings, 6423146 edges, 9732 markings/sec, 190 secs
lola: 2211597 markings, 6581989 edges, 8439 markings/sec, 195 secs
lola: 2248970 markings, 6728659 edges, 7475 markings/sec, 200 secs
lola: 2288505 markings, 6879672 edges, 7907 markings/sec, 205 secs
lola: 2327344 markings, 7029851 edges, 7768 markings/sec, 210 secs
lola: 2363643 markings, 7179727 edges, 7260 markings/sec, 215 secs
lola: 2399270 markings, 7322086 edges, 7125 markings/sec, 220 secs
lola: 2433143 markings, 7458480 edges, 6775 markings/sec, 225 secs
lola: 2468666 markings, 7584466 edges, 7105 markings/sec, 230 secs
lola: 2503077 markings, 7715643 edges, 6882 markings/sec, 235 secs
lola: 2548086 markings, 7887084 edges, 9002 markings/sec, 240 secs
lola: 2589383 markings, 8050489 edges, 8259 markings/sec, 245 secs
lola: 2627926 markings, 8200027 edges, 7709 markings/sec, 250 secs
lola: 2670232 markings, 8355282 edges, 8461 markings/sec, 255 secs
lola: 2702613 markings, 8494148 edges, 6476 markings/sec, 260 secs
lola: 2748123 markings, 8652153 edges, 9102 markings/sec, 265 secs
lola: 2793964 markings, 8812633 edges, 9168 markings/sec, 270 secs
lola: 2827466 markings, 8957769 edges, 6700 markings/sec, 275 secs
lola: 2859584 markings, 9095390 edges, 6424 markings/sec, 280 secs
lola: 2920460 markings, 9275532 edges, 12175 markings/sec, 285 secs
lola: 2991022 markings, 9464686 edges, 14112 markings/sec, 290 secs
lola: 3058030 markings, 9656226 edges, 13402 markings/sec, 295 secs
lola: 3126756 markings, 9835587 edges, 13745 markings/sec, 300 secs
lola: 3190787 markings, 10005004 edges, 12806 markings/sec, 305 secs
lola: 3254355 markings, 10172483 edges, 12714 markings/sec, 310 secs
lola: 3310219 markings, 10341992 edges, 11173 markings/sec, 315 secs
lola: 3376864 markings, 10504711 edges, 13329 markings/sec, 320 secs
lola: 3440935 markings, 10668053 edges, 12814 markings/sec, 325 secs
lola: 3498810 markings, 10807074 edges, 11575 markings/sec, 330 secs
lola: 3549552 markings, 10944475 edges, 10148 markings/sec, 335 secs
lola: 3601176 markings, 11072132 edges, 10325 markings/sec, 340 secs
lola: 3640048 markings, 11222474 edges, 7774 markings/sec, 345 secs
lola: 3711673 markings, 11400405 edges, 14325 markings/sec, 350 secs
lola: 3770594 markings, 11583047 edges, 11784 markings/sec, 355 secs
lola: 3836425 markings, 11772761 edges, 13166 markings/sec, 360 secs
lola: 3904499 markings, 11923473 edges, 13615 markings/sec, 365 secs
lola: 3970858 markings, 12090824 edges, 13272 markings/sec, 370 secs
lola: 4038884 markings, 12269469 edges, 13605 markings/sec, 375 secs
lola: 4092785 markings, 12431866 edges, 10780 markings/sec, 380 secs
lola: 4142495 markings, 12592263 edges, 9942 markings/sec, 385 secs
lola: 4205959 markings, 12736711 edges, 12693 markings/sec, 390 secs
lola: 4271136 markings, 12885488 edges, 13035 markings/sec, 395 secs
lola: 4336504 markings, 13024215 edges, 13074 markings/sec, 400 secs
lola: 4402705 markings, 13166348 edges, 13240 markings/sec, 405 secs
lola: 4463221 markings, 13293573 edges, 12103 markings/sec, 410 secs
lola: 4520162 markings, 13416511 edges, 11388 markings/sec, 415 secs
lola: 4582151 markings, 13569607 edges, 12398 markings/sec, 420 secs
lola: 4634883 markings, 13734748 edges, 10546 markings/sec, 425 secs
lola: 4684670 markings, 13895758 edges, 9957 markings/sec, 430 secs
lola: 4734771 markings, 14048107 edges, 10020 markings/sec, 435 secs
lola: 4778392 markings, 14199108 edges, 8724 markings/sec, 440 secs
lola: 4821385 markings, 14357646 edges, 8599 markings/sec, 445 secs
lola: 4865206 markings, 14501834 edges, 8764 markings/sec, 450 secs
lola: 4908112 markings, 14655141 edges, 8581 markings/sec, 455 secs
lola: 4967105 markings, 14787886 edges, 11799 markings/sec, 460 secs
lola: 5027888 markings, 14939086 edges, 12157 markings/sec, 465 secs
lola: 5100050 markings, 15082965 edges, 14432 markings/sec, 470 secs
lola: 5161780 markings, 15236772 edges, 12346 markings/sec, 475 secs
lola: 5209750 markings, 15406929 edges, 9594 markings/sec, 480 secs
lola: 5259531 markings, 15593493 edges, 9956 markings/sec, 485 secs
lola: 5297406 markings, 15756514 edges, 7575 markings/sec, 490 secs
lola: 5326577 markings, 15862638 edges, 5834 markings/sec, 495 secs
lola: 5369898 markings, 16016922 edges, 8664 markings/sec, 500 secs
lola: 5414195 markings, 16172983 edges, 8859 markings/sec, 505 secs
lola: 5467284 markings, 16326418 edges, 10618 markings/sec, 510 secs
lola: 5521996 markings, 16490379 edges, 10942 markings/sec, 515 secs
lola: 5570631 markings, 16635664 edges, 9727 markings/sec, 520 secs
lola: 5622540 markings, 16770679 edges, 10382 markings/sec, 525 secs
lola: 5696220 markings, 16905230 edges, 14736 markings/sec, 530 secs
lola: 5768070 markings, 17033037 edges, 14370 markings/sec, 535 secs
lola: 5837904 markings, 17166209 edges, 13967 markings/sec, 540 secs
lola: 5902370 markings, 17294529 edges, 12893 markings/sec, 545 secs
lola: 5972249 markings, 17414871 edges, 13976 markings/sec, 550 secs
lola: 6041214 markings, 17580044 edges, 13793 markings/sec, 555 secs
lola: 6089882 markings, 17742998 edges, 9734 markings/sec, 560 secs
lola: 6124565 markings, 17888134 edges, 6937 markings/sec, 565 secs
lola: 6157200 markings, 18027034 edges, 6527 markings/sec, 570 secs
lola: 6198842 markings, 18169171 edges, 8328 markings/sec, 575 secs
lola: 6249751 markings, 18337510 edges, 10182 markings/sec, 580 secs
lola: 6297504 markings, 18499179 edges, 9551 markings/sec, 585 secs
lola: 6339114 markings, 18650114 edges, 8322 markings/sec, 590 secs
lola: 6372634 markings, 18791970 edges, 6704 markings/sec, 595 secs
lola: 6404625 markings, 18923161 edges, 6398 markings/sec, 600 secs
lola: 6437835 markings, 19066399 edges, 6642 markings/sec, 605 secs
lola: 6470947 markings, 19202502 edges, 6622 markings/sec, 610 secs
lola: 6529495 markings, 19364699 edges, 11710 markings/sec, 615 secs
lola: 6600185 markings, 19554514 edges, 14138 markings/sec, 620 secs
lola: 6672082 markings, 19738863 edges, 14379 markings/sec, 625 secs
lola: 6737081 markings, 19919425 edges, 13000 markings/sec, 630 secs
lola: 6794242 markings, 20107554 edges, 11432 markings/sec, 635 secs
lola: 6863822 markings, 20287566 edges, 13916 markings/sec, 640 secs
lola: 6922048 markings, 20454898 edges, 11645 markings/sec, 645 secs
lola: 6972151 markings, 20620766 edges, 10021 markings/sec, 650 secs
lola: 7025875 markings, 20802070 edges, 10745 markings/sec, 655 secs
lola: 7083287 markings, 20969720 edges, 11482 markings/sec, 660 secs
lola: 7129378 markings, 21141525 edges, 9218 markings/sec, 665 secs
lola: 7170645 markings, 21303063 edges, 8253 markings/sec, 670 secs
lola: 7210975 markings, 21467502 edges, 8066 markings/sec, 675 secs
lola: 7248915 markings, 21625731 edges, 7588 markings/sec, 680 secs
lola: 7288774 markings, 21787141 edges, 7972 markings/sec, 685 secs
lola: 7357027 markings, 21965272 edges, 13651 markings/sec, 690 secs
lola: 7415987 markings, 22145646 edges, 11792 markings/sec, 695 secs
lola: 7469195 markings, 22334154 edges, 10642 markings/sec, 700 secs
lola: 7526649 markings, 22517933 edges, 11491 markings/sec, 705 secs
lola: 7583912 markings, 22691555 edges, 11453 markings/sec, 710 secs
lola: 7630214 markings, 22865763 edges, 9260 markings/sec, 715 secs
lola: 7673614 markings, 23036545 edges, 8680 markings/sec, 720 secs
lola: 7717349 markings, 23204671 edges, 8747 markings/sec, 725 secs
lola: 7758273 markings, 23384614 edges, 8185 markings/sec, 730 secs
lola: 7798685 markings, 23536316 edges, 8082 markings/sec, 735 secs
lola: 7850528 markings, 23699506 edges, 10369 markings/sec, 740 secs
lola: 7913565 markings, 23870275 edges, 12607 markings/sec, 745 secs
lola: 7975996 markings, 24048146 edges, 12486 markings/sec, 750 secs
lola: 8031604 markings, 24225699 edges, 11122 markings/sec, 755 secs
lola: 8089673 markings, 24387842 edges, 11614 markings/sec, 760 secs
lola: 8147394 markings, 24566507 edges, 11544 markings/sec, 765 secs
lola: 8208982 markings, 24746799 edges, 12318 markings/sec, 770 secs
lola: 8270289 markings, 24929835 edges, 12261 markings/sec, 775 secs
lola: 8323842 markings, 25083519 edges, 10711 markings/sec, 780 secs
lola: 8382020 markings, 25261904 edges, 11636 markings/sec, 785 secs
lola: 8433796 markings, 25436482 edges, 10355 markings/sec, 790 secs
lola: 8497926 markings, 25607353 edges, 12826 markings/sec, 795 secs
lola: 8563004 markings, 25788503 edges, 13016 markings/sec, 800 secs
lola: 8619319 markings, 25964051 edges, 11263 markings/sec, 805 secs
lola: 8675448 markings, 26138883 edges, 11226 markings/sec, 810 secs
lola: 8735868 markings, 26324622 edges, 12084 markings/sec, 815 secs
lola: 8792400 markings, 26501516 edges, 11306 markings/sec, 820 secs
lola: 8854773 markings, 26665282 edges, 12475 markings/sec, 825 secs
lola: 8909885 markings, 26849708 edges, 11022 markings/sec, 830 secs
lola: 8970627 markings, 27032566 edges, 12148 markings/sec, 835 secs
lola: 9021900 markings, 27190175 edges, 10255 markings/sec, 840 secs
lola: 9080398 markings, 27370277 edges, 11700 markings/sec, 845 secs
lola: 9145827 markings, 27545262 edges, 13086 markings/sec, 850 secs
lola: 9209626 markings, 27722365 edges, 12760 markings/sec, 855 secs
lola: 9262651 markings, 27891619 edges, 10605 markings/sec, 860 secs
lola: 9315981 markings, 28056692 edges, 10666 markings/sec, 865 secs
lola: 9356791 markings, 28232093 edges, 8162 markings/sec, 870 secs
lola: 9395245 markings, 28375545 edges, 7691 markings/sec, 875 secs
lola: 9444022 markings, 28531518 edges, 9755 markings/sec, 880 secs
lola: 9507124 markings, 28698262 edges, 12620 markings/sec, 885 secs
lola: 9569188 markings, 28874284 edges, 12413 markings/sec, 890 secs
lola: 9621776 markings, 29039527 edges, 10518 markings/sec, 895 secs
lola: 9675546 markings, 29186992 edges, 10754 markings/sec, 900 secs
lola: 9727715 markings, 29347908 edges, 10434 markings/sec, 905 secs
lola: 9767882 markings, 29512777 edges, 8033 markings/sec, 910 secs
lola: 9828376 markings, 29687669 edges, 12099 markings/sec, 915 secs
lola: 9889342 markings, 29856333 edges, 12193 markings/sec, 920 secs
lola: 9939817 markings, 30001414 edges, 10095 markings/sec, 925 secs
lola: 9993454 markings, 30165327 edges, 10727 markings/sec, 930 secs
lola: 10046573 markings, 30328693 edges, 10624 markings/sec, 935 secs
lola: 10112107 markings, 30498502 edges, 13107 markings/sec, 940 secs
lola: 10159467 markings, 30668327 edges, 9472 markings/sec, 945 secs
lola: 10217722 markings, 30838787 edges, 11651 markings/sec, 950 secs
lola: 10277773 markings, 30996538 edges, 12010 markings/sec, 955 secs
lola: 10321906 markings, 31160800 edges, 8827 markings/sec, 960 secs
lola: 10391542 markings, 31331272 edges, 13927 markings/sec, 965 secs
lola: 10456993 markings, 31492949 edges, 13090 markings/sec, 970 secs
lola: 10513254 markings, 31667345 edges, 11252 markings/sec, 975 secs
lola: 10578007 markings, 31834009 edges, 12951 markings/sec, 980 secs
lola: 10636999 markings, 32002526 edges, 11798 markings/sec, 985 secs
lola: 10702880 markings, 32168174 edges, 13176 markings/sec, 990 secs
lola: 10761303 markings, 32331655 edges, 11685 markings/sec, 995 secs
lola: 10815268 markings, 32495939 edges, 10793 markings/sec, 1000 secs
lola: 10859557 markings, 32661893 edges, 8858 markings/sec, 1005 secs
lola: 10899739 markings, 32806457 edges, 8036 markings/sec, 1010 secs
lola: 10934578 markings, 32949832 edges, 6968 markings/sec, 1015 secs
lola: 10964691 markings, 33076559 edges, 6023 markings/sec, 1020 secs
lola: 11002576 markings, 33223353 edges, 7577 markings/sec, 1025 secs
lola: 11048767 markings, 33371630 edges, 9238 markings/sec, 1030 secs
lola: 11098987 markings, 33524352 edges, 10044 markings/sec, 1035 secs
lola: 11145245 markings, 33680871 edges, 9252 markings/sec, 1040 secs
lola: 11196330 markings, 33825166 edges, 10217 markings/sec, 1045 secs
lola: 11250504 markings, 33976185 edges, 10835 markings/sec, 1050 secs
lola: 11306431 markings, 34121932 edges, 11185 markings/sec, 1055 secs
lola: 11360721 markings, 34276839 edges, 10858 markings/sec, 1060 secs
lola: 11419395 markings, 34419563 edges, 11735 markings/sec, 1065 secs
lola: 11478024 markings, 34562265 edges, 11726 markings/sec, 1070 secs
lola: 11535868 markings, 34703147 edges, 11569 markings/sec, 1075 secs
lola: 11592426 markings, 34841622 edges, 11312 markings/sec, 1080 secs
lola: 11651660 markings, 34982869 edges, 11847 markings/sec, 1085 secs
lola: 11709324 markings, 35122459 edges, 11533 markings/sec, 1090 secs
lola: 11765665 markings, 35259740 edges, 11268 markings/sec, 1095 secs
lola: 11822434 markings, 35398009 edges, 11354 markings/sec, 1100 secs
lola: 11873249 markings, 35543671 edges, 10163 markings/sec, 1105 secs
lola: 11927772 markings, 35681033 edges, 10905 markings/sec, 1110 secs
lola: 11989336 markings, 35826699 edges, 12313 markings/sec, 1115 secs
lola: 12052099 markings, 35997106 edges, 12553 markings/sec, 1120 secs
lola: 12137581 markings, 36159299 edges, 17096 markings/sec, 1125 secs
lola: 12202124 markings, 36311045 edges, 12909 markings/sec, 1130 secs
lola: 12283783 markings, 36498516 edges, 16332 markings/sec, 1135 secs
lola: 12359681 markings, 36685831 edges, 15180 markings/sec, 1140 secs
lola: 12415364 markings, 36848294 edges, 11137 markings/sec, 1145 secs
lola: 12476292 markings, 37009253 edges, 12186 markings/sec, 1150 secs
lola: 12540389 markings, 37199587 edges, 12819 markings/sec, 1155 secs
lola: 12599317 markings, 37362960 edges, 11786 markings/sec, 1160 secs
lola: 12662498 markings, 37551200 edges, 12636 markings/sec, 1165 secs
lola: 12755455 markings, 37673416 edges, 18591 markings/sec, 1170 secs
lola: 12835877 markings, 37852256 edges, 16084 markings/sec, 1175 secs
lola: 12897663 markings, 38045080 edges, 12357 markings/sec, 1180 secs
lola: 12964176 markings, 38241457 edges, 13303 markings/sec, 1185 secs
lola: 13027918 markings, 38428433 edges, 12748 markings/sec, 1190 secs
lola: 13080209 markings, 38595311 edges, 10458 markings/sec, 1195 secs
lola: 13135651 markings, 38756835 edges, 11088 markings/sec, 1200 secs
lola: 13190406 markings, 38906184 edges, 10951 markings/sec, 1205 secs
lola: 13251760 markings, 39077117 edges, 12271 markings/sec, 1210 secs
lola: 13309654 markings, 39265047 edges, 11579 markings/sec, 1215 secs
lola: 13370288 markings, 39444283 edges, 12127 markings/sec, 1220 secs
lola: 13436853 markings, 39618919 edges, 13313 markings/sec, 1225 secs
lola: 13499926 markings, 39796450 edges, 12615 markings/sec, 1230 secs
lola: 13560510 markings, 39986618 edges, 12117 markings/sec, 1235 secs
lola: 13624833 markings, 40174532 edges, 12865 markings/sec, 1240 secs
lola: 13684452 markings, 40349095 edges, 11924 markings/sec, 1245 secs
lola: 13747663 markings, 40494988 edges, 12642 markings/sec, 1250 secs
lola: 13811566 markings, 40638322 edges, 12781 markings/sec, 1255 secs
lola: 13874407 markings, 40769386 edges, 12568 markings/sec, 1260 secs
lola: 13933104 markings, 40922590 edges, 11739 markings/sec, 1265 secs
lola: 13997368 markings, 41082240 edges, 12853 markings/sec, 1270 secs
lola: 14051758 markings, 41236434 edges, 10878 markings/sec, 1275 secs
lola: 14106654 markings, 41371681 edges, 10979 markings/sec, 1280 secs
lola: 14166296 markings, 41523732 edges, 11928 markings/sec, 1285 secs
lola: 14222171 markings, 41653631 edges, 11175 markings/sec, 1290 secs
lola: 14275902 markings, 41799968 edges, 10746 markings/sec, 1295 secs
lola: 14327504 markings, 41940261 edges, 10320 markings/sec, 1300 secs
lola: 14376031 markings, 42070914 edges, 9705 markings/sec, 1305 secs
lola: 14418179 markings, 42197749 edges, 8430 markings/sec, 1310 secs
lola: 14461121 markings, 42317248 edges, 8588 markings/sec, 1315 secs
lola: 14501676 markings, 42431764 edges, 8111 markings/sec, 1320 secs
lola: 14543977 markings, 42559084 edges, 8460 markings/sec, 1325 secs
lola: 14603905 markings, 42691833 edges, 11986 markings/sec, 1330 secs
lola: 14649992 markings, 42842914 edges, 9217 markings/sec, 1335 secs
lola: 14706508 markings, 42989471 edges, 11303 markings/sec, 1340 secs
lola: 14749377 markings, 43124881 edges, 8574 markings/sec, 1345 secs
lola: 14783064 markings, 43256632 edges, 6737 markings/sec, 1350 secs
lola: 14815638 markings, 43392386 edges, 6515 markings/sec, 1355 secs
lola: 14849764 markings, 43534417 edges, 6825 markings/sec, 1360 secs
lola: 14885003 markings, 43681317 edges, 7048 markings/sec, 1365 secs
lola: 14926775 markings, 43845638 edges, 8354 markings/sec, 1370 secs
lola: 14969075 markings, 44007649 edges, 8460 markings/sec, 1375 secs
lola: 15016819 markings, 44180289 edges, 9549 markings/sec, 1380 secs
lola: 15060958 markings, 44349938 edges, 8828 markings/sec, 1385 secs
lola: 15109614 markings, 44518775 edges, 9731 markings/sec, 1390 secs
lola: 15156544 markings, 44670672 edges, 9386 markings/sec, 1395 secs
lola: 15202749 markings, 44831672 edges, 9241 markings/sec, 1400 secs
lola: 15253670 markings, 44995901 edges, 10184 markings/sec, 1405 secs
lola: 15296687 markings, 45147626 edges, 8603 markings/sec, 1410 secs
lola: 15347698 markings, 45310873 edges, 10202 markings/sec, 1415 secs
lola: 15394420 markings, 45476664 edges, 9344 markings/sec, 1420 secs
lola: 15439702 markings, 45639430 edges, 9056 markings/sec, 1425 secs
lola: 15487381 markings, 45792911 edges, 9536 markings/sec, 1430 secs
lola: 15527655 markings, 45945567 edges, 8055 markings/sec, 1435 secs
lola: 15575301 markings, 46101515 edges, 9529 markings/sec, 1440 secs
lola: 15624110 markings, 46258720 edges, 9762 markings/sec, 1445 secs
lola: 15670040 markings, 46409814 edges, 9186 markings/sec, 1450 secs
lola: 15710513 markings, 46562145 edges, 8095 markings/sec, 1455 secs
lola: 15750669 markings, 46708664 edges, 8031 markings/sec, 1460 secs
lola: 15786979 markings, 46851247 edges, 7262 markings/sec, 1465 secs
lola: 15825746 markings, 46998682 edges, 7753 markings/sec, 1470 secs
lola: 15861282 markings, 47145366 edges, 7107 markings/sec, 1475 secs
lola: 15895934 markings, 47287197 edges, 6930 markings/sec, 1480 secs
lola: 15930556 markings, 47422927 edges, 6924 markings/sec, 1485 secs
lola: 15964251 markings, 47551085 edges, 6739 markings/sec, 1490 secs
lola: 15996737 markings, 47670789 edges, 6497 markings/sec, 1495 secs
lola: 16038610 markings, 47831666 edges, 8375 markings/sec, 1500 secs
lola: 16078682 markings, 47988987 edges, 8014 markings/sec, 1505 secs
lola: 16117125 markings, 48140461 edges, 7689 markings/sec, 1510 secs
lola: 16158580 markings, 48289352 edges, 8291 markings/sec, 1515 secs
lola: 16194393 markings, 48432393 edges, 7163 markings/sec, 1520 secs
lola: 16225686 markings, 48563193 edges, 6259 markings/sec, 1525 secs
lola: 16275653 markings, 48725156 edges, 9993 markings/sec, 1530 secs
lola: 16314421 markings, 48875087 edges, 7754 markings/sec, 1535 secs
lola: 16346611 markings, 49013143 edges, 6438 markings/sec, 1540 secs
lola: 16377434 markings, 49143294 edges, 6165 markings/sec, 1545 secs
lola: 16437273 markings, 49311952 edges, 11968 markings/sec, 1550 secs
lola: 16500466 markings, 49480566 edges, 12639 markings/sec, 1555 secs
lola: 16562411 markings, 49654578 edges, 12389 markings/sec, 1560 secs
lola: 16623177 markings, 49817909 edges, 12153 markings/sec, 1565 secs
lola: 16681516 markings, 49969854 edges, 11668 markings/sec, 1570 secs
lola: 16735763 markings, 50113255 edges, 10849 markings/sec, 1575 secs
lola: 16786121 markings, 50261433 edges, 10072 markings/sec, 1580 secs
lola: 16836391 markings, 50400387 edges, 10054 markings/sec, 1585 secs
lola: 16896303 markings, 50544850 edges, 11982 markings/sec, 1590 secs
lola: 16953054 markings, 50691128 edges, 11350 markings/sec, 1595 secs
lola: 17004905 markings, 50815641 edges, 10370 markings/sec, 1600 secs
lola: 17050452 markings, 50940845 edges, 9109 markings/sec, 1605 secs
lola: 17099046 markings, 51054954 edges, 9719 markings/sec, 1610 secs
lola: 17137438 markings, 51185312 edges, 7678 markings/sec, 1615 secs
lola: 17184840 markings, 51327582 edges, 9480 markings/sec, 1620 secs
lola: 17252025 markings, 51502802 edges, 13437 markings/sec, 1625 secs
lola: 17318943 markings, 51668136 edges, 13384 markings/sec, 1630 secs
lola: 17369979 markings, 51836065 edges, 10207 markings/sec, 1635 secs
lola: 17424280 markings, 52002486 edges, 10860 markings/sec, 1640 secs
lola: 17488303 markings, 52167815 edges, 12805 markings/sec, 1645 secs
lola: 17547814 markings, 52301061 edges, 11902 markings/sec, 1650 secs
lola: 17612535 markings, 52461579 edges, 12944 markings/sec, 1655 secs
lola: 17661023 markings, 52603621 edges, 9698 markings/sec, 1660 secs
lola: 17716737 markings, 52751262 edges, 11143 markings/sec, 1665 secs
lola: 17767713 markings, 52905396 edges, 10195 markings/sec, 1670 secs
lola: 17819764 markings, 53054575 edges, 10410 markings/sec, 1675 secs
lola: 17872786 markings, 53204080 edges, 10604 markings/sec, 1680 secs
lola: 17934804 markings, 53341418 edges, 12404 markings/sec, 1685 secs
lola: 17998304 markings, 53483780 edges, 12700 markings/sec, 1690 secs
lola: 18062562 markings, 53626108 edges, 12852 markings/sec, 1695 secs
lola: 18127285 markings, 53767392 edges, 12945 markings/sec, 1700 secs
lola: 18187922 markings, 53896202 edges, 12127 markings/sec, 1705 secs
lola: 18241845 markings, 54011021 edges, 10785 markings/sec, 1710 secs
lola: 18293876 markings, 54122345 edges, 10406 markings/sec, 1715 secs
lola: 18348350 markings, 54253404 edges, 10895 markings/sec, 1720 secs
lola: 18397482 markings, 54408587 edges, 9826 markings/sec, 1725 secs
lola: 18442528 markings, 54534186 edges, 9009 markings/sec, 1730 secs
lola: 18488071 markings, 54678450 edges, 9109 markings/sec, 1735 secs
lola: 18534394 markings, 54809320 edges, 9265 markings/sec, 1740 secs
lola: 18582331 markings, 54968119 edges, 9587 markings/sec, 1745 secs
lola: 18628389 markings, 55120635 edges, 9212 markings/sec, 1750 secs
lola: 18674098 markings, 55266525 edges, 9142 markings/sec, 1755 secs
lola: 18722126 markings, 55422906 edges, 9606 markings/sec, 1760 secs
lola: 18765827 markings, 55575828 edges, 8740 markings/sec, 1765 secs
lola: 18822486 markings, 55700698 edges, 11332 markings/sec, 1770 secs
lola: 18880587 markings, 55844768 edges, 11620 markings/sec, 1775 secs
lola: 18945791 markings, 55982006 edges, 13041 markings/sec, 1780 secs
lola: 19010171 markings, 56123970 edges, 12876 markings/sec, 1785 secs
lola: 19056590 markings, 56292660 edges, 9284 markings/sec, 1790 secs
lola: 19105662 markings, 56450093 edges, 9814 markings/sec, 1795 secs
lola: 19147803 markings, 56634684 edges, 8428 markings/sec, 1800 secs
lola: 19179342 markings, 56769640 edges, 6308 markings/sec, 1805 secs
lola: 19213560 markings, 56884959 edges, 6844 markings/sec, 1810 secs
lola: 19251620 markings, 57028077 edges, 7612 markings/sec, 1815 secs
lola: 19296958 markings, 57181279 edges, 9068 markings/sec, 1820 secs
lola: 19349007 markings, 57325500 edges, 10410 markings/sec, 1825 secs
lola: 19398370 markings, 57476166 edges, 9873 markings/sec, 1830 secs
lola: 19442450 markings, 57606972 edges, 8816 markings/sec, 1835 secs
lola: 19493840 markings, 57749452 edges, 10278 markings/sec, 1840 secs
lola: 19555289 markings, 57874832 edges, 12290 markings/sec, 1845 secs
lola: 19622412 markings, 57997901 edges, 13425 markings/sec, 1850 secs
lola: 19691438 markings, 58115271 edges, 13805 markings/sec, 1855 secs
lola: 19750984 markings, 58243611 edges, 11909 markings/sec, 1860 secs
lola: 19816048 markings, 58360684 edges, 13013 markings/sec, 1865 secs
lola: 19880703 markings, 58482411 edges, 12931 markings/sec, 1870 secs
lola: 19944363 markings, 58644803 edges, 12732 markings/sec, 1875 secs
lola: 19989252 markings, 58802338 edges, 8978 markings/sec, 1880 secs
lola: 20021905 markings, 58943787 edges, 6531 markings/sec, 1885 secs
lola: 20053908 markings, 59078839 edges, 6401 markings/sec, 1890 secs
lola: 20097434 markings, 59222798 edges, 8705 markings/sec, 1895 secs
lola: 20146508 markings, 59385948 edges, 9815 markings/sec, 1900 secs
lola: 20192724 markings, 59541255 edges, 9243 markings/sec, 1905 secs
lola: 20232387 markings, 59687348 edges, 7933 markings/sec, 1910 secs
lola: 20264794 markings, 59824388 edges, 6481 markings/sec, 1915 secs
lola: 20295509 markings, 59951322 edges, 6143 markings/sec, 1920 secs
lola: 20328165 markings, 60091098 edges, 6531 markings/sec, 1925 secs
lola: 20360414 markings, 60223831 edges, 6450 markings/sec, 1930 secs
lola: 20410320 markings, 60370846 edges, 9981 markings/sec, 1935 secs
lola: 20475145 markings, 60547892 edges, 12965 markings/sec, 1940 secs
lola: 20543385 markings, 60731100 edges, 13648 markings/sec, 1945 secs
lola: 20607539 markings, 60898280 edges, 12831 markings/sec, 1950 secs
lola: 20667070 markings, 61079373 edges, 11906 markings/sec, 1955 secs
lola: 20722849 markings, 61258069 edges, 11156 markings/sec, 1960 secs
lola: 20782450 markings, 61432899 edges, 11920 markings/sec, 1965 secs
lola: 20842775 markings, 61600832 edges, 12065 markings/sec, 1970 secs
lola: 20899287 markings, 61759802 edges, 11302 markings/sec, 1975 secs
lola: 20945487 markings, 61929891 edges, 9240 markings/sec, 1980 secs
lola: 20998017 markings, 62103538 edges, 10506 markings/sec, 1985 secs
lola: 21052022 markings, 62261196 edges, 10801 markings/sec, 1990 secs
lola: 21096637 markings, 62427260 edges, 8923 markings/sec, 1995 secs
lola: 21134854 markings, 62579567 edges, 7643 markings/sec, 2000 secs
lola: 21174262 markings, 62736024 edges, 7882 markings/sec, 2005 secs
lola: 21209395 markings, 62880384 edges, 7027 markings/sec, 2010 secs
lola: 21244803 markings, 63035592 edges, 7082 markings/sec, 2015 secs
lola: 21310715 markings, 63211482 edges, 13182 markings/sec, 2020 secs
lola: 21376082 markings, 63380187 edges, 13073 markings/sec, 2025 secs
lola: 21437901 markings, 63558364 edges, 12364 markings/sec, 2030 secs
lola: 21490080 markings, 63735902 edges, 10436 markings/sec, 2035 secs
lola: 21542496 markings, 63928231 edges, 10483 markings/sec, 2040 secs
lola: 21596025 markings, 64087175 edges, 10706 markings/sec, 2045 secs
lola: 21645926 markings, 64260184 edges, 9980 markings/sec, 2050 secs
lola: 21686053 markings, 64419885 edges, 8025 markings/sec, 2055 secs
lola: 21727840 markings, 64584439 edges, 8357 markings/sec, 2060 secs
lola: 21771337 markings, 64750617 edges, 8699 markings/sec, 2065 secs
lola: 21807936 markings, 64911406 edges, 7320 markings/sec, 2070 secs
lola: 21849000 markings, 65057051 edges, 8213 markings/sec, 2075 secs
lola: 21899645 markings, 65219460 edges, 10129 markings/sec, 2080 secs
lola: 21962446 markings, 65385784 edges, 12560 markings/sec, 2085 secs
lola: 22021337 markings, 65554966 edges, 11778 markings/sec, 2090 secs
lola: 22070569 markings, 65713808 edges, 9846 markings/sec, 2095 secs
lola: 22122311 markings, 65857967 edges, 10348 markings/sec, 2100 secs
lola: 22176460 markings, 66023244 edges, 10830 markings/sec, 2105 secs
lola: 22233732 markings, 66186264 edges, 11454 markings/sec, 2110 secs
lola: 22286340 markings, 66354076 edges, 10522 markings/sec, 2115 secs
lola: 22340119 markings, 66503220 edges, 10756 markings/sec, 2120 secs
lola: 22388639 markings, 66654266 edges, 9704 markings/sec, 2125 secs
lola: 22444854 markings, 66820089 edges, 11243 markings/sec, 2130 secs
lola: 22496761 markings, 66988730 edges, 10381 markings/sec, 2135 secs
lola: 22560104 markings, 67154283 edges, 12669 markings/sec, 2140 secs
lola: 22619409 markings, 67327232 edges, 11861 markings/sec, 2145 secs
lola: 22669825 markings, 67485869 edges, 10083 markings/sec, 2150 secs
lola: 22723612 markings, 67656396 edges, 10757 markings/sec, 2155 secs
lola: 22780456 markings, 67828553 edges, 11369 markings/sec, 2160 secs
lola: 22832943 markings, 67991778 edges, 10497 markings/sec, 2165 secs
lola: 22890636 markings, 68143679 edges, 11539 markings/sec, 2170 secs
lola: 22944549 markings, 68316808 edges, 10783 markings/sec, 2175 secs
lola: 22996694 markings, 68482627 edges, 10429 markings/sec, 2180 secs
lola: 23045881 markings, 68632126 edges, 9837 markings/sec, 2185 secs
lola: 23096933 markings, 68789482 edges, 10210 markings/sec, 2190 secs
lola: 23155663 markings, 68956144 edges, 11746 markings/sec, 2195 secs
lola: 23220158 markings, 69129646 edges, 12899 markings/sec, 2200 secs
lola: 23279467 markings, 69296803 edges, 11862 markings/sec, 2205 secs
lola: 23330678 markings, 69461408 edges, 10242 markings/sec, 2210 secs
lola: 23375483 markings, 69623056 edges, 8961 markings/sec, 2215 secs
lola: 23411203 markings, 69780127 edges, 7144 markings/sec, 2220 secs
lola: 23452840 markings, 69919848 edges, 8327 markings/sec, 2225 secs
lola: 23504241 markings, 70075261 edges, 10280 markings/sec, 2230 secs
lola: 23565197 markings, 70234482 edges, 12191 markings/sec, 2235 secs
lola: 23622492 markings, 70404163 edges, 11459 markings/sec, 2240 secs
lola: 23670038 markings, 70553221 edges, 9509 markings/sec, 2245 secs
lola: 23720038 markings, 70690486 edges, 10000 markings/sec, 2250 secs
lola: 23769967 markings, 70844753 edges, 9986 markings/sec, 2255 secs
lola: 23809361 markings, 71004256 edges, 7879 markings/sec, 2260 secs
lola: 23865954 markings, 71170229 edges, 11319 markings/sec, 2265 secs
lola: 23921402 markings, 71325854 edges, 11090 markings/sec, 2270 secs
lola: 23972201 markings, 71460424 edges, 10160 markings/sec, 2275 secs
lola: 24024604 markings, 71615354 edges, 10481 markings/sec, 2280 secs
lola: 24069156 markings, 71775834 edges, 8910 markings/sec, 2285 secs
lola: 24131599 markings, 71932797 edges, 12489 markings/sec, 2290 secs
lola: 24182286 markings, 72095485 edges, 10137 markings/sec, 2295 secs
lola: 24230047 markings, 72253797 edges, 9552 markings/sec, 2300 secs
lola: 24287609 markings, 72416771 edges, 11512 markings/sec, 2305 secs
lola: 24341637 markings, 72562349 edges, 10806 markings/sec, 2310 secs
lola: 24388794 markings, 72729437 edges, 9431 markings/sec, 2315 secs
lola: 24455167 markings, 72878891 edges, 13275 markings/sec, 2320 secs
lola: 24518925 markings, 73041988 edges, 12752 markings/sec, 2325 secs
lola: 24568682 markings, 73201585 edges, 9951 markings/sec, 2330 secs
lola: 24631623 markings, 73361911 edges, 12588 markings/sec, 2335 secs
lola: 24688264 markings, 73524548 edges, 11328 markings/sec, 2340 secs
lola: 24750417 markings, 73678627 edges, 12431 markings/sec, 2345 secs
lola: 24805782 markings, 73836305 edges, 11073 markings/sec, 2350 secs
lola: 24858289 markings, 73995515 edges, 10501 markings/sec, 2355 secs
lola: 24900386 markings, 74152717 edges, 8419 markings/sec, 2360 secs
lola: 24939381 markings, 74290954 edges, 7799 markings/sec, 2365 secs
lola: 24973355 markings, 74430324 edges, 6795 markings/sec, 2370 secs
lola: 25003783 markings, 74558649 edges, 6086 markings/sec, 2375 secs
lola: 25036085 markings, 74691829 edges, 6460 markings/sec, 2380 secs
lola: 25082938 markings, 74833576 edges, 9371 markings/sec, 2385 secs
lola: 25128427 markings, 74986989 edges, 9098 markings/sec, 2390 secs
lola: 25171294 markings, 75130988 edges, 8573 markings/sec, 2395 secs
lola: 25219623 markings, 75267510 edges, 9666 markings/sec, 2400 secs
lola: 25275709 markings, 75414388 edges, 11217 markings/sec, 2405 secs
lola: 25326027 markings, 75563325 edges, 10064 markings/sec, 2410 secs
lola: 25373973 markings, 75704207 edges, 9589 markings/sec, 2415 secs
lola: 25433703 markings, 75850444 edges, 11946 markings/sec, 2420 secs
lola: 25489505 markings, 75986545 edges, 11160 markings/sec, 2425 secs
lola: 25545203 markings, 76122103 edges, 11140 markings/sec, 2430 secs
lola: 25600379 markings, 76257333 edges, 11035 markings/sec, 2435 secs
lola: 25654411 markings, 76386590 edges, 10806 markings/sec, 2440 secs
lola: 25711063 markings, 76525732 edges, 11330 markings/sec, 2445 secs
lola: 25766526 markings, 76660044 edges, 11093 markings/sec, 2450 secs
lola: 25819202 markings, 76788492 edges, 10535 markings/sec, 2455 secs
lola: 25873636 markings, 76923542 edges, 10887 markings/sec, 2460 secs
lola: 25922859 markings, 77062331 edges, 9845 markings/sec, 2465 secs
lola: 25973985 markings, 77188584 edges, 10225 markings/sec, 2470 secs
lola: 26033554 markings, 77333744 edges, 11914 markings/sec, 2475 secs
lola: 26094507 markings, 77492941 edges, 12191 markings/sec, 2480 secs
lola: 26154874 markings, 77654480 edges, 12073 markings/sec, 2485 secs
lola: 26240210 markings, 77809994 edges, 17067 markings/sec, 2490 secs
lola: 26304046 markings, 77949060 edges, 12767 markings/sec, 2495 secs
lola: 26377789 markings, 78123292 edges, 14749 markings/sec, 2500 secs
lola: 26448333 markings, 78295771 edges, 14109 markings/sec, 2505 secs
lola: 26512212 markings, 78482028 edges, 12776 markings/sec, 2510 secs
lola: 26569387 markings, 78645088 edges, 11435 markings/sec, 2515 secs
lola: 26619558 markings, 78809259 edges, 10034 markings/sec, 2520 secs
lola: 26673611 markings, 78947739 edges, 10811 markings/sec, 2525 secs
lola: 26735664 markings, 79099200 edges, 12411 markings/sec, 2530 secs
lola: 26790270 markings, 79271683 edges, 10921 markings/sec, 2535 secs
lola: 26854073 markings, 79467915 edges, 12761 markings/sec, 2540 secs
lola: 26918733 markings, 79664977 edges, 12932 markings/sec, 2545 secs
lola: 26967449 markings, 79858448 edges, 9743 markings/sec, 2550 secs
lola: 27035540 markings, 80046715 edges, 13618 markings/sec, 2555 secs
lola: 27092872 markings, 80231342 edges, 11466 markings/sec, 2560 secs
lola: 27149949 markings, 80421769 edges, 11415 markings/sec, 2565 secs
lola: 27210123 markings, 80600371 edges, 12035 markings/sec, 2570 secs
lola: 27271544 markings, 80786421 edges, 12284 markings/sec, 2575 secs
lola: 27328662 markings, 80976144 edges, 11424 markings/sec, 2580 secs
lola: 27388081 markings, 81159028 edges, 11884 markings/sec, 2585 secs
lola: 27448953 markings, 81325374 edges, 12174 markings/sec, 2590 secs
lola: 27512297 markings, 81499117 edges, 12669 markings/sec, 2595 secs
lola: 27570167 markings, 81677932 edges, 11574 markings/sec, 2600 secs
lola: 27633302 markings, 81869607 edges, 12627 markings/sec, 2605 secs
lola: 27705476 markings, 82059933 edges, 14435 markings/sec, 2610 secs
lola: 27772757 markings, 82248601 edges, 13456 markings/sec, 2615 secs
lola: 27835833 markings, 82438033 edges, 12615 markings/sec, 2620 secs
lola: 27905047 markings, 82627160 edges, 13843 markings/sec, 2625 secs
lola: 27974814 markings, 82815085 edges, 13953 markings/sec, 2630 secs
lola: 28029932 markings, 82994228 edges, 11024 markings/sec, 2635 secs
lola: 28090797 markings, 83169434 edges, 12173 markings/sec, 2640 secs
lola: 28151255 markings, 83350378 edges, 12092 markings/sec, 2645 secs
lola: 28211931 markings, 83522389 edges, 12135 markings/sec, 2650 secs
lola: 28262099 markings, 83700279 edges, 10034 markings/sec, 2655 secs
lola: 28313445 markings, 83875343 edges, 10269 markings/sec, 2660 secs
lola: 28360397 markings, 84048656 edges, 9390 markings/sec, 2665 secs
lola: 28411796 markings, 84218796 edges, 10280 markings/sec, 2670 secs
lola: 28464001 markings, 84383753 edges, 10441 markings/sec, 2675 secs
lola: 28523893 markings, 84567724 edges, 11978 markings/sec, 2680 secs
lola: 28585424 markings, 84761693 edges, 12306 markings/sec, 2685 secs
lola: 28639760 markings, 84943382 edges, 10867 markings/sec, 2690 secs
lola: 28689631 markings, 85117961 edges, 9974 markings/sec, 2695 secs
lola: 28745499 markings, 85290429 edges, 11174 markings/sec, 2700 secs
lola: 28803604 markings, 85460216 edges, 11621 markings/sec, 2705 secs
lola: 28856845 markings, 85627058 edges, 10648 markings/sec, 2710 secs
lola: 28906180 markings, 85788283 edges, 9867 markings/sec, 2715 secs
lola: 28956376 markings, 85939215 edges, 10039 markings/sec, 2720 secs
lola: 29011471 markings, 86092109 edges, 11019 markings/sec, 2725 secs
lola: 29056192 markings, 86244714 edges, 8944 markings/sec, 2730 secs
lola: 29117140 markings, 86425880 edges, 12190 markings/sec, 2735 secs
lola: 29172071 markings, 86578769 edges, 10986 markings/sec, 2740 secs
lola: 29225679 markings, 86744981 edges, 10722 markings/sec, 2745 secs
lola: 29276530 markings, 86917788 edges, 10170 markings/sec, 2750 secs
lola: 29336619 markings, 87095434 edges, 12018 markings/sec, 2755 secs
lola: 29391120 markings, 87268980 edges, 10900 markings/sec, 2760 secs
lola: 29451104 markings, 87446593 edges, 11997 markings/sec, 2765 secs
lola: 29512000 markings, 87631318 edges, 12179 markings/sec, 2770 secs
lola: 29571022 markings, 87810534 edges, 11804 markings/sec, 2775 secs
lola: 29634536 markings, 87988041 edges, 12703 markings/sec, 2780 secs
lola: 29695363 markings, 88159769 edges, 12165 markings/sec, 2785 secs
lola: 29752595 markings, 88323049 edges, 11446 markings/sec, 2790 secs
lola: 29814315 markings, 88481948 edges, 12344 markings/sec, 2795 secs
lola: 29869314 markings, 88644120 edges, 11000 markings/sec, 2800 secs
lola: 29926664 markings, 88816981 edges, 11470 markings/sec, 2805 secs
lola: 29984687 markings, 88973033 edges, 11605 markings/sec, 2810 secs
lola: 30040985 markings, 89125653 edges, 11260 markings/sec, 2815 secs
lola: 30111798 markings, 89303306 edges, 14163 markings/sec, 2820 secs
lola: 30168854 markings, 89476169 edges, 11411 markings/sec, 2825 secs
lola: 30231612 markings, 89671098 edges, 12552 markings/sec, 2830 secs
lola: 30289312 markings, 89865623 edges, 11540 markings/sec, 2835 secs
lola: 30347680 markings, 90048307 edges, 11674 markings/sec, 2840 secs
lola: 30415789 markings, 90217338 edges, 13622 markings/sec, 2845 secs
lola: 30479869 markings, 90398986 edges, 12816 markings/sec, 2850 secs
lola: 30543044 markings, 90578952 edges, 12635 markings/sec, 2855 secs
lola: 30608262 markings, 90761292 edges, 13044 markings/sec, 2860 secs
lola: 30661369 markings, 90923528 edges, 10621 markings/sec, 2865 secs
lola: 30726133 markings, 91102473 edges, 12953 markings/sec, 2870 secs
lola: 30789413 markings, 91287069 edges, 12656 markings/sec, 2875 secs
lola: 30852382 markings, 91450936 edges, 12594 markings/sec, 2880 secs
lola: 30896247 markings, 91617995 edges, 8773 markings/sec, 2885 secs
lola: 30957080 markings, 91800097 edges, 12167 markings/sec, 2890 secs
lola: 31021524 markings, 91994852 edges, 12889 markings/sec, 2895 secs
lola: 31092596 markings, 92178639 edges, 14214 markings/sec, 2900 secs
lola: 31161902 markings, 92363300 edges, 13861 markings/sec, 2905 secs
lola: 31221720 markings, 92549212 edges, 11964 markings/sec, 2910 secs
lola: 31292084 markings, 92735471 edges, 14073 markings/sec, 2915 secs
lola: 31348474 markings, 92922567 edges, 11278 markings/sec, 2920 secs
lola: 31415882 markings, 93106596 edges, 13482 markings/sec, 2925 secs
lola: 31481447 markings, 93288533 edges, 13113 markings/sec, 2930 secs
lola: 31539346 markings, 93465341 edges, 11580 markings/sec, 2935 secs
lola: 31598804 markings, 93638912 edges, 11892 markings/sec, 2940 secs
lola: 31655116 markings, 93813143 edges, 11262 markings/sec, 2945 secs
lola: 31715250 markings, 93977046 edges, 12027 markings/sec, 2950 secs
lola: 31766079 markings, 94146884 edges, 10166 markings/sec, 2955 secs
lola: 31819609 markings, 94315310 edges, 10706 markings/sec, 2960 secs
lola: 31874840 markings, 94483843 edges, 11046 markings/sec, 2965 secs
lola: 31923654 markings, 94650675 edges, 9763 markings/sec, 2970 secs
lola: 31972473 markings, 94816940 edges, 9764 markings/sec, 2975 secs
lola: 32017665 markings, 94980577 edges, 9038 markings/sec, 2980 secs
lola: 32076405 markings, 95147733 edges, 11748 markings/sec, 2985 secs
lola: 32136884 markings, 95334186 edges, 12096 markings/sec, 2990 secs
lola: 32192188 markings, 95515828 edges, 11061 markings/sec, 2995 secs
lola: 32245183 markings, 95685411 edges, 10599 markings/sec, 3000 secs
lola: 32295094 markings, 95859972 edges, 9982 markings/sec, 3005 secs
lola: 32351184 markings, 96028860 edges, 11218 markings/sec, 3010 secs
lola: 32405210 markings, 96197708 edges, 10805 markings/sec, 3015 secs
lola: 32456243 markings, 96355703 edges, 10207 markings/sec, 3020 secs
lola: 32506344 markings, 96508084 edges, 10020 markings/sec, 3025 secs
lola: 32556261 markings, 96657241 edges, 9983 markings/sec, 3030 secs
lola: 32609869 markings, 96804647 edges, 10722 markings/sec, 3035 secs
lola: 32652731 markings, 96965200 edges, 8572 markings/sec, 3040 secs
lola: 32713918 markings, 97134305 edges, 12237 markings/sec, 3045 secs
lola: 32765899 markings, 97287421 edges, 10396 markings/sec, 3050 secs
lola: 32814976 markings, 97443402 edges, 9815 markings/sec, 3055 secs
lola: 32874696 markings, 97617791 edges, 11944 markings/sec, 3060 secs
lola: 32937274 markings, 97797721 edges, 12516 markings/sec, 3065 secs
lola: 32989574 markings, 97974578 edges, 10460 markings/sec, 3070 secs
lola: 33048609 markings, 98143424 edges, 11807 markings/sec, 3075 secs
lola: 33098502 markings, 98313486 edges, 9979 markings/sec, 3080 secs
lola: 33158726 markings, 98486795 edges, 12045 markings/sec, 3085 secs
lola: 33219021 markings, 98668367 edges, 12059 markings/sec, 3090 secs
lola: 33280231 markings, 98845650 edges, 12242 markings/sec, 3095 secs
lola: 33338617 markings, 99019985 edges, 11677 markings/sec, 3100 secs
lola: 33400024 markings, 99187294 edges, 12281 markings/sec, 3105 secs
lola: 33453267 markings, 99348157 edges, 10649 markings/sec, 3110 secs
lola: 33512918 markings, 99497317 edges, 11930 markings/sec, 3115 secs
lola: 33566720 markings, 99659034 edges, 10760 markings/sec, 3120 secs
lola: 33622831 markings, 99817693 edges, 11222 markings/sec, 3125 secs
lola: 33677605 markings, 99975297 edges, 10955 markings/sec, 3130 secs
lola: 33735361 markings, 100124619 edges, 11551 markings/sec, 3135 secs
lola: 33800218 markings, 100294659 edges, 12971 markings/sec, 3140 secs
lola: 33862345 markings, 100453892 edges, 12425 markings/sec, 3145 secs
lola: 33921853 markings, 100643968 edges, 11902 markings/sec, 3150 secs
lola: 33984896 markings, 100835730 edges, 12609 markings/sec, 3155 secs
lola: 34042007 markings, 101028732 edges, 11422 markings/sec, 3160 secs
lola: 34097186 markings, 101208591 edges, 11036 markings/sec, 3165 secs
lola: 34161022 markings, 101366610 edges, 12767 markings/sec, 3170 secs
lola: 34223582 markings, 101537053 edges, 12512 markings/sec, 3175 secs
lola: 34285730 markings, 101713622 edges, 12430 markings/sec, 3180 secs
lola: 34347423 markings, 101892948 edges, 12339 markings/sec, 3185 secs
lola: 34403296 markings, 102058432 edges, 11175 markings/sec, 3190 secs
lola: 34464100 markings, 102225960 edges, 12161 markings/sec, 3195 secs
lola: 34528325 markings, 102411691 edges, 12845 markings/sec, 3200 secs
lola: 34590976 markings, 102581091 edges, 12530 markings/sec, 3205 secs
lola: 34641691 markings, 102747622 edges, 10143 markings/sec, 3210 secs
lola: 34695882 markings, 102891437 edges, 10838 markings/sec, 3215 secs
lola: 34752829 markings, 103042505 edges, 11389 markings/sec, 3220 secs
lola: 34801288 markings, 103212221 edges, 9692 markings/sec, 3225 secs
lola: 34851941 markings, 103373293 edges, 10131 markings/sec, 3230 secs
lola: 34898735 markings, 103532284 edges, 9359 markings/sec, 3235 secs
lola: 34961730 markings, 103681583 edges, 12599 markings/sec, 3240 secs
lola: 35016592 markings, 103841114 edges, 10972 markings/sec, 3245 secs
lola: 35063315 markings, 104012725 edges, 9345 markings/sec, 3250 secs
lola: 35109385 markings, 104166363 edges, 9214 markings/sec, 3255 secs
lola: 35159987 markings, 104341070 edges, 10120 markings/sec, 3260 secs
lola: 35207241 markings, 104498580 edges, 9451 markings/sec, 3265 secs
lola: 35264934 markings, 104639719 edges, 11539 markings/sec, 3270 secs
lola: 35315034 markings, 104797650 edges, 10020 markings/sec, 3275 secs
lola: 35360090 markings, 104950382 edges, 9011 markings/sec, 3280 secs
lola: 35409728 markings, 105116631 edges, 9928 markings/sec, 3285 secs
lola: 35460490 markings, 105258935 edges, 10152 markings/sec, 3290 secs
lola: 35508819 markings, 105405907 edges, 9666 markings/sec, 3295 secs
lola: 35554262 markings, 105553388 edges, 9089 markings/sec, 3300 secs
lola: 35593219 markings, 105708589 edges, 7791 markings/sec, 3305 secs
lola: 35635602 markings, 105858714 edges, 8477 markings/sec, 3310 secs
lola: 35690655 markings, 106008941 edges, 11011 markings/sec, 3315 secs
lola: 35748096 markings, 106168255 edges, 11488 markings/sec, 3320 secs
lola: 35802611 markings, 106333898 edges, 10903 markings/sec, 3325 secs
lola: 35872911 markings, 106473992 edges, 14060 markings/sec, 3330 secs
lola: 35936965 markings, 106598047 edges, 12811 markings/sec, 3335 secs
lola: 35993377 markings, 106727609 edges, 11282 markings/sec, 3340 secs
lola: 36023810 markings, 106863610 edges, 6087 markings/sec, 3345 secs
lola: 36048295 markings, 106974022 edges, 4897 markings/sec, 3350 secs
lola: 36086459 markings, 107107992 edges, 7633 markings/sec, 3355 secs
lola: 36120788 markings, 107250732 edges, 6866 markings/sec, 3360 secs
lola: 36163895 markings, 107384757 edges, 8621 markings/sec, 3365 secs
lola: 36215677 markings, 107541220 edges, 10356 markings/sec, 3370 secs
lola: 36261228 markings, 107680429 edges, 9110 markings/sec, 3375 secs
lola: 36304735 markings, 107805760 edges, 8701 markings/sec, 3380 secs
lola: 36350868 markings, 107911745 edges, 9227 markings/sec, 3385 secs
lola: 36416807 markings, 108072246 edges, 13188 markings/sec, 3390 secs
lola: 36445448 markings, 108198139 edges, 5728 markings/sec, 3395 secs
lola: 36479632 markings, 108316738 edges, 6837 markings/sec, 3400 secs
lola: 36522230 markings, 108420643 edges, 8520 markings/sec, 3405 secs
lola: 36563526 markings, 108545247 edges, 8259 markings/sec, 3410 secs
lola: 36593811 markings, 108666921 edges, 6057 markings/sec, 3415 secs
lola: 36656538 markings, 108796990 edges, 12545 markings/sec, 3420 secs
lola: 36705899 markings, 108940248 edges, 9872 markings/sec, 3425 secs
lola: 36758841 markings, 109099513 edges, 10588 markings/sec, 3430 secs
lola: 36810878 markings, 109219279 edges, 10407 markings/sec, 3435 secs
lola: 36864457 markings, 109384696 edges, 10716 markings/sec, 3440 secs
lola: 36919037 markings, 109551563 edges, 10916 markings/sec, 3445 secs
lola: 36971659 markings, 109711245 edges, 10524 markings/sec, 3450 secs
lola: 37024398 markings, 109836716 edges, 10548 markings/sec, 3455 secs
lola: 37075299 markings, 109992567 edges, 10180 markings/sec, 3460 secs
lola: 37119227 markings, 110137405 edges, 8786 markings/sec, 3465 secs
lola: 37158467 markings, 110277107 edges, 7848 markings/sec, 3470 secs
lola: 37191787 markings, 110404510 edges, 6664 markings/sec, 3475 secs
lola: 37239714 markings, 110559917 edges, 9585 markings/sec, 3480 secs
lola: 37286377 markings, 110681895 edges, 9333 markings/sec, 3485 secs
lola: 37340730 markings, 110851915 edges, 10871 markings/sec, 3490 secs
lola: 37388793 markings, 111008123 edges, 9613 markings/sec, 3495 secs
lola: 37443210 markings, 111197229 edges, 10883 markings/sec, 3500 secs
lola: 37495234 markings, 111374676 edges, 10405 markings/sec, 3505 secs
lola: 37549548 markings, 111555930 edges, 10863 markings/sec, 3510 secs
lola: 37608309 markings, 111741226 edges, 11752 markings/sec, 3515 secs
lola: 37666099 markings, 111929705 edges, 11558 markings/sec, 3520 secs
lola: 37724778 markings, 112115884 edges, 11736 markings/sec, 3525 secs
lola: 37786053 markings, 112305706 edges, 12255 markings/sec, 3530 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no no no no no yes yes no no no yes yes yes unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: yes no no no no no yes yes no no no yes yes yes unknown no
preliminary result: yes no no no no no yes yes no no no yes yes yes unknown no
lola: memory consumption: 13029296 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished
BK_STOP 1552698189255
--------------------
content from stderr:
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-315"
export BK_EXAMINATION="LTLCardinality"
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-315, examination is LTLCardinality"
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-155229648900240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-315.tgz
mv CloudReconfiguration-PT-315 execution
cd execution
if [ "LTLCardinality" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;