About the Execution of LoLA for Eratosthenes-PT-500
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5770.550 | 3570125.00 | 3634264.00 | 11647.80 | FTT?FTFTFFFFTFTT | 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.r071-smll-155234737800303.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 Eratosthenes-PT-500, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-smll-155234737800303
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 3.3K Feb 10 23:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 10 23:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 6 20:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 6 20:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 106 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 344 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 23:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 7.8K Feb 4 23:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 3 08:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 08:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Jan 31 01:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Jan 31 01:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:20 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 1006K 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 Eratosthenes-PT-500-LTLCardinality-00
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-01
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-02
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-03
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-04
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-05
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-06
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-07
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-08
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-09
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-10
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-11
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-12
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-13
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-14
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1552835760613
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ Eratosthenes-PT-500 @ 3570 seconds
FORMULA Eratosthenes-PT-500-LTLCardinality-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-LTLCardinality-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-LTLCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-LTLCardinality-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-LTLCardinality-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-LTLCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-LTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-LTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-LTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-LTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-LTLCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-LTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-LTLCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-LTLCardinality-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ Eratosthenes-PT-500
{
"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": "Sun Mar 17 15:16:00 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": 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": 36
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 36
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 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": 36
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 36
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 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": "(p363 <= p135)",
"processed_size": 14,
"rewrites": 36
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 4,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 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": 36
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 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": 36
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"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": 36
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(1 <= p32)",
"processed_size": 10,
"rewrites": 36
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 8,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(1 <= p86)",
"processed_size": 10,
"rewrites": 36
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 9,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 594
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "A (X ((1 <= p304)))",
"processed_size": 19,
"rewrites": 36
},
"result":
{
"edges": 840,
"markings": 567,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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": 712
},
"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": "(p361 + 1 <= p333)",
"processed_size": 18,
"rewrites": 38
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 11,
"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": 891
},
"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": "(p217 + 1 <= p184)",
"processed_size": 18,
"rewrites": 38
},
"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": 10
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1188
},
"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 <= p111))))",
"processed_size": 23,
"rewrites": 36
},
"result":
{
"edges": 407,
"markings": 406,
"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": 1781
},
"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 <= p183))))",
"processed_size": 23,
"rewrites": 36
},
"result":
{
"edges": 407,
"markings": 406,
"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": 55760,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "FALSE : A(F(**)) : TRUE : A(F(G(**))) : FALSE : TRUE : A(F(G(**))) : ** : A(F(G(**))) : FALSE : FALSE : FALSE : ** : A(X(**)) : ** : A(F(**))"
},
"net":
{
"arcs": 6573,
"conflict_clusters": 43,
"places": 499,
"places_significant": 404,
"singleton_clusters": 0,
"transitions": 2191
},
"result":
{
"interim_value": "no yes yes unknown no yes no yes no no no no yes no yes yes ",
"preliminary_value": "no yes yes unknown no yes no yes no no no no yes no yes yes "
},
"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: 2690/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 499
lola: finding significant places
lola: 499 places, 2191 transitions, 404 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: place invariant simplifies atomic proposition
lola: before: (p264 <= p113)
lola: after: (p264 <= 1)
lola: LP says that atomic proposition is always true: (p264 <= 1)
lola: LP says that atomic proposition is always false: (3 <= p448)
lola: place invariant simplifies atomic proposition
lola: before: (p497 <= p19)
lola: after: (p497 <= 1)
lola: LP says that atomic proposition is always true: (p497 <= 1)
lola: LP says that atomic proposition is always false: (2 <= p57)
lola: place invariant simplifies atomic proposition
lola: before: (p372 <= p401)
lola: after: (p372 <= 1)
lola: LP says that atomic proposition is always true: (p372 <= 1)
lola: place invariant simplifies atomic proposition
lola: before: (3 <= p167)
lola: after: (2 <= 0)
lola: LP says that atomic proposition is always false: (3 <= p314)
lola: LP says that atomic proposition is always false: (2 <= p341)
lola: A (F (G (((p264 <= 1) U (3 <= p448))))) : A (F ((p333 <= p361))) : A ((p497 <= 1)) : A (G (F (G (X ((p441 <= p15)))))) : A (X (G ((2 <= p57)))) : A (G ((p372 <= 1))) : A (F (F (G ((1 <= p183))))) : A ((p363 <= p135)) : A (F (X (F (G ((1 <= p111)))))) : A (F (X ((2 <= 0)))) : A (G ((3 <= p314))) : A (X ((2 <= p341))) : A ((1 <= p32)) : A (X ((1 <= p304))) : A ((1 <= p86)) : A (F ((p184 <= p217)))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:380
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:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
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:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 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: 36 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 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 36 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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 2 will run for 254 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: 36 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 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 36 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 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 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p363 <= p135)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p363 <= p135)
lola: processed formula length: 14
lola: 36 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 5 will run for 324 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: 36 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 356 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: 36 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 7 will run for 396 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: 36 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 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p32)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p32)
lola: processed formula length: 10
lola: 36 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 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p86)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p86)
lola: processed formula length: 10
lola: 36 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 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((1 <= p304)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((1 <= p304)))
lola: processed formula length: 19
lola: 36 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 567 markings, 840 edges
lola: ========================================
lola: subprocess 11 will run for 712 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p333 <= p361)))
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: (p361 + 1 <= p333)
lola: processed formula length: 18
lola: 38 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 12 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p184 <= p217)))
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: (p217 + 1 <= p184)
lola: processed formula length: 18
lola: 38 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 1188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((1 <= p111))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((1 <= p111))))
lola: processed formula length: 23
lola: 36 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: 406 markings, 407 edges
lola: ========================================
lola: subprocess 14 will run for 1781 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((1 <= p183))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((1 <= p183))))
lola: processed formula length: 23
lola: 36 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: 406 markings, 407 edges
lola: ========================================
lola: subprocess 15 will run for 3561 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p441 <= p15))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p441 <= p15))))
lola: processed formula length: 25
lola: 36 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: 47161 markings, 1034896 edges, 9432 markings/sec, 0 secs
lola: 97263 markings, 2255742 edges, 10020 markings/sec, 5 secs
lola: 143206 markings, 3485917 edges, 9189 markings/sec, 10 secs
lola: 184841 markings, 4716736 edges, 8327 markings/sec, 15 secs
lola: 224568 markings, 5939539 edges, 7945 markings/sec, 20 secs
lola: 268602 markings, 7168017 edges, 8807 markings/sec, 25 secs
lola: 313231 markings, 8381938 edges, 8926 markings/sec, 30 secs
lola: 354037 markings, 9606976 edges, 8161 markings/sec, 35 secs
lola: 391355 markings, 10833168 edges, 7464 markings/sec, 40 secs
lola: 425461 markings, 12052695 edges, 6821 markings/sec, 45 secs
lola: 467290 markings, 13267947 edges, 8366 markings/sec, 50 secs
lola: 513611 markings, 14483123 edges, 9264 markings/sec, 55 secs
lola: 553762 markings, 15702568 edges, 8030 markings/sec, 60 secs
lola: 588056 markings, 16924286 edges, 6859 markings/sec, 65 secs
lola: 631047 markings, 18128858 edges, 8598 markings/sec, 70 secs
lola: 666774 markings, 19342338 edges, 7145 markings/sec, 75 secs
lola: 700349 markings, 20554217 edges, 6715 markings/sec, 80 secs
lola: 734811 markings, 21782736 edges, 6892 markings/sec, 85 secs
lola: 776622 markings, 23014066 edges, 8362 markings/sec, 90 secs
lola: 813457 markings, 24249870 edges, 7367 markings/sec, 95 secs
lola: 848936 markings, 25488043 edges, 7096 markings/sec, 100 secs
lola: 880583 markings, 26721968 edges, 6329 markings/sec, 105 secs
lola: 918066 markings, 27942826 edges, 7497 markings/sec, 110 secs
lola: 949956 markings, 29169700 edges, 6378 markings/sec, 115 secs
lola: 981448 markings, 30406576 edges, 6298 markings/sec, 120 secs
lola: 1010908 markings, 31631743 edges, 5892 markings/sec, 125 secs
lola: 1058998 markings, 32864092 edges, 9618 markings/sec, 130 secs
lola: 1106162 markings, 34096425 edges, 9433 markings/sec, 135 secs
lola: 1151655 markings, 35343499 edges, 9099 markings/sec, 140 secs
lola: 1193383 markings, 36585172 edges, 8346 markings/sec, 145 secs
lola: 1232481 markings, 37798598 edges, 7820 markings/sec, 150 secs
lola: 1274900 markings, 39002445 edges, 8484 markings/sec, 155 secs
lola: 1317256 markings, 40219312 edges, 8471 markings/sec, 160 secs
lola: 1357352 markings, 41429575 edges, 8019 markings/sec, 165 secs
lola: 1395600 markings, 42658489 edges, 7650 markings/sec, 170 secs
lola: 1432143 markings, 43881918 edges, 7309 markings/sec, 175 secs
lola: 1472325 markings, 45117743 edges, 8036 markings/sec, 180 secs
lola: 1511680 markings, 46358636 edges, 7871 markings/sec, 185 secs
lola: 1550749 markings, 47601805 edges, 7814 markings/sec, 190 secs
lola: 1594821 markings, 48837344 edges, 8814 markings/sec, 195 secs
lola: 1637880 markings, 50074442 edges, 8612 markings/sec, 200 secs
lola: 1677585 markings, 51313454 edges, 7941 markings/sec, 205 secs
lola: 1717948 markings, 52546359 edges, 8073 markings/sec, 210 secs
lola: 1759113 markings, 53774213 edges, 8233 markings/sec, 215 secs
lola: 1797980 markings, 55004869 edges, 7773 markings/sec, 220 secs
lola: 1833708 markings, 56243213 edges, 7146 markings/sec, 225 secs
lola: 1869315 markings, 57478657 edges, 7121 markings/sec, 230 secs
lola: 1906778 markings, 58714578 edges, 7493 markings/sec, 235 secs
lola: 1941595 markings, 59949564 edges, 6963 markings/sec, 240 secs
lola: 1977485 markings, 61185839 edges, 7178 markings/sec, 245 secs
lola: 2018407 markings, 62416916 edges, 8184 markings/sec, 250 secs
lola: 2055914 markings, 63650818 edges, 7501 markings/sec, 255 secs
lola: 2090765 markings, 64884574 edges, 6970 markings/sec, 260 secs
lola: 2127601 markings, 66110310 edges, 7367 markings/sec, 265 secs
lola: 2164878 markings, 67332991 edges, 7455 markings/sec, 270 secs
lola: 2199609 markings, 68555723 edges, 6946 markings/sec, 275 secs
lola: 2232349 markings, 69788887 edges, 6548 markings/sec, 280 secs
lola: 2262579 markings, 71016495 edges, 6046 markings/sec, 285 secs
lola: 2312354 markings, 72264882 edges, 9955 markings/sec, 290 secs
lola: 2358205 markings, 73502230 edges, 9170 markings/sec, 295 secs
lola: 2401123 markings, 74747500 edges, 8584 markings/sec, 300 secs
lola: 2440762 markings, 75993588 edges, 7928 markings/sec, 305 secs
lola: 2476010 markings, 77232936 edges, 7050 markings/sec, 310 secs
lola: 2519769 markings, 78474456 edges, 8752 markings/sec, 315 secs
lola: 2560379 markings, 79709558 edges, 8122 markings/sec, 320 secs
lola: 2598402 markings, 80943465 edges, 7605 markings/sec, 325 secs
lola: 2635143 markings, 82186061 edges, 7348 markings/sec, 330 secs
lola: 2669722 markings, 83419464 edges, 6916 markings/sec, 335 secs
lola: 2703249 markings, 84647388 edges, 6705 markings/sec, 340 secs
lola: 2745666 markings, 85877833 edges, 8483 markings/sec, 345 secs
lola: 2786421 markings, 87109523 edges, 8151 markings/sec, 350 secs
lola: 2824052 markings, 88345900 edges, 7526 markings/sec, 355 secs
lola: 2858149 markings, 89576501 edges, 6819 markings/sec, 360 secs
lola: 2897598 markings, 90798092 edges, 7890 markings/sec, 365 secs
lola: 2931062 markings, 92025414 edges, 6693 markings/sec, 370 secs
lola: 2963243 markings, 93260538 edges, 6436 markings/sec, 375 secs
lola: 2995454 markings, 94485354 edges, 6442 markings/sec, 380 secs
lola: 3033404 markings, 95708518 edges, 7590 markings/sec, 385 secs
lola: 3069381 markings, 96935590 edges, 7195 markings/sec, 390 secs
lola: 3102564 markings, 98164483 edges, 6637 markings/sec, 395 secs
lola: 3132406 markings, 99393487 edges, 5968 markings/sec, 400 secs
lola: 3166970 markings, 100606032 edges, 6913 markings/sec, 405 secs
lola: 3198703 markings, 101823411 edges, 6347 markings/sec, 410 secs
lola: 3228248 markings, 103046357 edges, 5909 markings/sec, 415 secs
lola: 3255910 markings, 104272496 edges, 5532 markings/sec, 420 secs
lola: 3290950 markings, 105506828 edges, 7008 markings/sec, 425 secs
lola: 3331492 markings, 106755113 edges, 8108 markings/sec, 430 secs
lola: 3370818 markings, 107995436 edges, 7865 markings/sec, 435 secs
lola: 3411111 markings, 109240647 edges, 8059 markings/sec, 440 secs
lola: 3448487 markings, 110483336 edges, 7475 markings/sec, 445 secs
lola: 3482998 markings, 111720889 edges, 6902 markings/sec, 450 secs
lola: 3521736 markings, 112962033 edges, 7748 markings/sec, 455 secs
lola: 3558837 markings, 114198630 edges, 7420 markings/sec, 460 secs
lola: 3593630 markings, 115429036 edges, 6959 markings/sec, 465 secs
lola: 3630892 markings, 116667330 edges, 7452 markings/sec, 470 secs
lola: 3665026 markings, 117900640 edges, 6827 markings/sec, 475 secs
lola: 3697235 markings, 119129045 edges, 6442 markings/sec, 480 secs
lola: 3733042 markings, 120363032 edges, 7161 markings/sec, 485 secs
lola: 3768215 markings, 121599047 edges, 7035 markings/sec, 490 secs
lola: 3802326 markings, 122834209 edges, 6822 markings/sec, 495 secs
lola: 3838265 markings, 124069410 edges, 7188 markings/sec, 500 secs
lola: 3878347 markings, 125297607 edges, 8016 markings/sec, 505 secs
lola: 3915023 markings, 126531949 edges, 7335 markings/sec, 510 secs
lola: 3948885 markings, 127762869 edges, 6772 markings/sec, 515 secs
lola: 3985775 markings, 128987499 edges, 7378 markings/sec, 520 secs
lola: 4022416 markings, 130209642 edges, 7328 markings/sec, 525 secs
lola: 4057203 markings, 131431938 edges, 6957 markings/sec, 530 secs
lola: 4089567 markings, 132664481 edges, 6473 markings/sec, 535 secs
lola: 4120433 markings, 133889744 edges, 6173 markings/sec, 540 secs
lola: 4153940 markings, 135118147 edges, 6701 markings/sec, 545 secs
lola: 4185797 markings, 136344609 edges, 6371 markings/sec, 550 secs
lola: 4217396 markings, 137572219 edges, 6320 markings/sec, 555 secs
lola: 4250209 markings, 138799180 edges, 6563 markings/sec, 560 secs
lola: 4286248 markings, 140021034 edges, 7208 markings/sec, 565 secs
lola: 4319439 markings, 141247469 edges, 6638 markings/sec, 570 secs
lola: 4350931 markings, 142472266 edges, 6298 markings/sec, 575 secs
lola: 4383879 markings, 143689741 edges, 6590 markings/sec, 580 secs
lola: 4416284 markings, 144904991 edges, 6481 markings/sec, 585 secs
lola: 4449137 markings, 146118715 edges, 6571 markings/sec, 590 secs
lola: 4479131 markings, 147337686 edges, 5999 markings/sec, 595 secs
lola: 4508118 markings, 148558626 edges, 5797 markings/sec, 600 secs
lola: 4545450 markings, 149781397 edges, 7466 markings/sec, 605 secs
lola: 4592834 markings, 151026050 edges, 9477 markings/sec, 610 secs
lola: 4636060 markings, 152264764 edges, 8645 markings/sec, 615 secs
lola: 4678670 markings, 153513920 edges, 8522 markings/sec, 620 secs
lola: 4717289 markings, 154757036 edges, 7724 markings/sec, 625 secs
lola: 4756485 markings, 155996132 edges, 7839 markings/sec, 630 secs
lola: 4797474 markings, 157238743 edges, 8198 markings/sec, 635 secs
lola: 4838290 markings, 158472310 edges, 8163 markings/sec, 640 secs
lola: 4876675 markings, 159713732 edges, 7677 markings/sec, 645 secs
lola: 4912044 markings, 160954768 edges, 7074 markings/sec, 650 secs
lola: 4945432 markings, 162191713 edges, 6678 markings/sec, 655 secs
lola: 4982860 markings, 163420264 edges, 7486 markings/sec, 660 secs
lola: 5026437 markings, 164650073 edges, 8715 markings/sec, 665 secs
lola: 5064955 markings, 165884933 edges, 7704 markings/sec, 670 secs
lola: 5100376 markings, 167119851 edges, 7084 markings/sec, 675 secs
lola: 5137689 markings, 168341384 edges, 7463 markings/sec, 680 secs
lola: 5173830 markings, 169564102 edges, 7228 markings/sec, 685 secs
lola: 5206919 markings, 170794772 edges, 6618 markings/sec, 690 secs
lola: 5237298 markings, 172026392 edges, 6076 markings/sec, 695 secs
lola: 5272917 markings, 173246624 edges, 7124 markings/sec, 700 secs
lola: 5311002 markings, 174473001 edges, 7617 markings/sec, 705 secs
lola: 5345148 markings, 175702865 edges, 6829 markings/sec, 710 secs
lola: 5377554 markings, 176933985 edges, 6481 markings/sec, 715 secs
lola: 5407757 markings, 178156051 edges, 6041 markings/sec, 720 secs
lola: 5442626 markings, 179370993 edges, 6974 markings/sec, 725 secs
lola: 5472416 markings, 180590117 edges, 5958 markings/sec, 730 secs
lola: 5501993 markings, 181817527 edges, 5915 markings/sec, 735 secs
lola: 5528608 markings, 183043049 edges, 5323 markings/sec, 740 secs
lola: 5572278 markings, 184284652 edges, 8734 markings/sec, 745 secs
lola: 5615329 markings, 185524521 edges, 8610 markings/sec, 750 secs
lola: 5656889 markings, 186763570 edges, 8312 markings/sec, 755 secs
lola: 5695764 markings, 188005879 edges, 7775 markings/sec, 760 secs
lola: 5734207 markings, 189243629 edges, 7689 markings/sec, 765 secs
lola: 5773334 markings, 190480304 edges, 7825 markings/sec, 770 secs
lola: 5812574 markings, 191717865 edges, 7848 markings/sec, 775 secs
lola: 5850673 markings, 192949688 edges, 7620 markings/sec, 780 secs
lola: 5888983 markings, 194186660 edges, 7662 markings/sec, 785 secs
lola: 5924572 markings, 195421824 edges, 7118 markings/sec, 790 secs
lola: 5958327 markings, 196652337 edges, 6751 markings/sec, 795 secs
lola: 5995213 markings, 197887117 edges, 7377 markings/sec, 800 secs
lola: 6031409 markings, 199121778 edges, 7239 markings/sec, 805 secs
lola: 6066142 markings, 200356648 edges, 6947 markings/sec, 810 secs
lola: 6103749 markings, 201589665 edges, 7521 markings/sec, 815 secs
lola: 6144864 markings, 202812499 edges, 8223 markings/sec, 820 secs
lola: 6182732 markings, 204043400 edges, 7574 markings/sec, 825 secs
lola: 6218542 markings, 205269679 edges, 7162 markings/sec, 830 secs
lola: 6255374 markings, 206491701 edges, 7366 markings/sec, 835 secs
lola: 6294164 markings, 207711777 edges, 7758 markings/sec, 840 secs
lola: 6328774 markings, 208935060 edges, 6922 markings/sec, 845 secs
lola: 6361371 markings, 210161244 edges, 6519 markings/sec, 850 secs
lola: 6394533 markings, 211387160 edges, 6632 markings/sec, 855 secs
lola: 6428820 markings, 212616196 edges, 6857 markings/sec, 860 secs
lola: 6460301 markings, 213842052 edges, 6296 markings/sec, 865 secs
lola: 6492336 markings, 215074313 edges, 6407 markings/sec, 870 secs
lola: 6529136 markings, 216296255 edges, 7360 markings/sec, 875 secs
lola: 6564821 markings, 217517722 edges, 7137 markings/sec, 880 secs
lola: 6598528 markings, 218744498 edges, 6741 markings/sec, 885 secs
lola: 6630916 markings, 219964537 edges, 6478 markings/sec, 890 secs
lola: 6664295 markings, 221178689 edges, 6676 markings/sec, 895 secs
lola: 6699364 markings, 222394178 edges, 7014 markings/sec, 900 secs
lola: 6731198 markings, 223609240 edges, 6367 markings/sec, 905 secs
lola: 6761466 markings, 224831487 edges, 6054 markings/sec, 910 secs
lola: 6790889 markings, 226047107 edges, 5885 markings/sec, 915 secs
lola: 6834153 markings, 227293678 edges, 8653 markings/sec, 920 secs
lola: 6875079 markings, 228531432 edges, 8185 markings/sec, 925 secs
lola: 6913827 markings, 229770899 edges, 7750 markings/sec, 930 secs
lola: 6949003 markings, 231013329 edges, 7035 markings/sec, 935 secs
lola: 6984762 markings, 232250734 edges, 7152 markings/sec, 940 secs
lola: 7020061 markings, 233485638 edges, 7060 markings/sec, 945 secs
lola: 7055845 markings, 234722682 edges, 7157 markings/sec, 950 secs
lola: 7093227 markings, 235951752 edges, 7476 markings/sec, 955 secs
lola: 7127889 markings, 237182804 edges, 6932 markings/sec, 960 secs
lola: 7160526 markings, 238416786 edges, 6527 markings/sec, 965 secs
lola: 7192236 markings, 239645449 edges, 6342 markings/sec, 970 secs
lola: 7221553 markings, 240866668 edges, 5863 markings/sec, 975 secs
lola: 7258374 markings, 242088675 edges, 7364 markings/sec, 980 secs
lola: 7297868 markings, 243315821 edges, 7899 markings/sec, 985 secs
lola: 7332534 markings, 244545005 edges, 6933 markings/sec, 990 secs
lola: 7364421 markings, 245773888 edges, 6377 markings/sec, 995 secs
lola: 7398651 markings, 246987225 edges, 6846 markings/sec, 1000 secs
lola: 7431910 markings, 248204385 edges, 6652 markings/sec, 1005 secs
lola: 7462208 markings, 249426321 edges, 6060 markings/sec, 1010 secs
lola: 7491353 markings, 250651465 edges, 5829 markings/sec, 1015 secs
lola: 7521602 markings, 251864803 edges, 6050 markings/sec, 1020 secs
lola: 7555883 markings, 253080353 edges, 6856 markings/sec, 1025 secs
lola: 7588965 markings, 254299234 edges, 6616 markings/sec, 1030 secs
lola: 7619490 markings, 255519881 edges, 6105 markings/sec, 1035 secs
lola: 7648025 markings, 256739540 edges, 5707 markings/sec, 1040 secs
lola: 7678077 markings, 257942664 edges, 6010 markings/sec, 1045 secs
lola: 7708867 markings, 259151648 edges, 6158 markings/sec, 1050 secs
lola: 7735608 markings, 260358363 edges, 5348 markings/sec, 1055 secs
lola: 7763457 markings, 261577083 edges, 5570 markings/sec, 1060 secs
lola: 7788344 markings, 262791818 edges, 4977 markings/sec, 1065 secs
lola: 7822859 markings, 264029748 edges, 6903 markings/sec, 1070 secs
lola: 7858072 markings, 265274963 edges, 7043 markings/sec, 1075 secs
lola: 7892832 markings, 266514061 edges, 6952 markings/sec, 1080 secs
lola: 7928059 markings, 267754462 edges, 7045 markings/sec, 1085 secs
lola: 7961555 markings, 268994058 edges, 6699 markings/sec, 1090 secs
lola: 7994457 markings, 270230010 edges, 6580 markings/sec, 1095 secs
lola: 8026382 markings, 271464789 edges, 6385 markings/sec, 1100 secs
lola: 8059427 markings, 272703035 edges, 6609 markings/sec, 1105 secs
lola: 8092291 markings, 273934188 edges, 6573 markings/sec, 1110 secs
lola: 8123085 markings, 275159654 edges, 6159 markings/sec, 1115 secs
lola: 8156588 markings, 276395348 edges, 6701 markings/sec, 1120 secs
lola: 8187145 markings, 277623071 edges, 6111 markings/sec, 1125 secs
lola: 8216710 markings, 278847592 edges, 5913 markings/sec, 1130 secs
lola: 8247178 markings, 280075028 edges, 6094 markings/sec, 1135 secs
lola: 8279296 markings, 281307086 edges, 6424 markings/sec, 1140 secs
lola: 8308402 markings, 282533833 edges, 5821 markings/sec, 1145 secs
lola: 8339094 markings, 283770276 edges, 6138 markings/sec, 1150 secs
lola: 8372846 markings, 284998394 edges, 6750 markings/sec, 1155 secs
lola: 8407714 markings, 286219236 edges, 6974 markings/sec, 1160 secs
lola: 8440304 markings, 287449521 edges, 6518 markings/sec, 1165 secs
lola: 8471362 markings, 288672789 edges, 6212 markings/sec, 1170 secs
lola: 8503842 markings, 289893059 edges, 6496 markings/sec, 1175 secs
lola: 8536149 markings, 291110679 edges, 6461 markings/sec, 1180 secs
lola: 8568285 markings, 292324874 edges, 6427 markings/sec, 1185 secs
lola: 8598018 markings, 293547888 edges, 5947 markings/sec, 1190 secs
lola: 8626457 markings, 294768087 edges, 5688 markings/sec, 1195 secs
lola: 8655402 markings, 295987989 edges, 5789 markings/sec, 1200 secs
lola: 8684942 markings, 297209904 edges, 5908 markings/sec, 1205 secs
lola: 8712639 markings, 298429164 edges, 5539 markings/sec, 1210 secs
lola: 8740735 markings, 299652334 edges, 5619 markings/sec, 1215 secs
lola: 8769363 markings, 300873581 edges, 5726 markings/sec, 1220 secs
lola: 8801882 markings, 302088991 edges, 6504 markings/sec, 1225 secs
lola: 8832115 markings, 303305083 edges, 6047 markings/sec, 1230 secs
lola: 8861356 markings, 304524531 edges, 5848 markings/sec, 1235 secs
lola: 8889544 markings, 305736208 edges, 5638 markings/sec, 1240 secs
lola: 8919269 markings, 306945814 edges, 5945 markings/sec, 1245 secs
lola: 8948925 markings, 308154523 edges, 5931 markings/sec, 1250 secs
lola: 8978100 markings, 309359656 edges, 5835 markings/sec, 1255 secs
lola: 9005190 markings, 310571953 edges, 5418 markings/sec, 1260 secs
lola: 9031626 markings, 311783530 edges, 5287 markings/sec, 1265 secs
lola: 9064334 markings, 312994957 edges, 6542 markings/sec, 1270 secs
lola: 9111570 markings, 314241598 edges, 9447 markings/sec, 1275 secs
lola: 9155075 markings, 315478113 edges, 8701 markings/sec, 1280 secs
lola: 9198353 markings, 316724347 edges, 8656 markings/sec, 1285 secs
lola: 9237132 markings, 317965754 edges, 7756 markings/sec, 1290 secs
lola: 9274651 markings, 319201853 edges, 7504 markings/sec, 1295 secs
lola: 9316153 markings, 320444815 edges, 8300 markings/sec, 1300 secs
lola: 9357245 markings, 321676043 edges, 8218 markings/sec, 1305 secs
lola: 9395641 markings, 322911520 edges, 7679 markings/sec, 1310 secs
lola: 9430794 markings, 324149861 edges, 7031 markings/sec, 1315 secs
lola: 9464945 markings, 325381860 edges, 6830 markings/sec, 1320 secs
lola: 9500302 markings, 326604938 edges, 7071 markings/sec, 1325 secs
lola: 9543912 markings, 327832418 edges, 8722 markings/sec, 1330 secs
lola: 9582814 markings, 329064070 edges, 7780 markings/sec, 1335 secs
lola: 9619348 markings, 330299252 edges, 7307 markings/sec, 1340 secs
lola: 9655377 markings, 331520811 edges, 7206 markings/sec, 1345 secs
lola: 9692739 markings, 332743303 edges, 7472 markings/sec, 1350 secs
lola: 9725701 markings, 333970143 edges, 6592 markings/sec, 1355 secs
lola: 9756937 markings, 335201989 edges, 6247 markings/sec, 1360 secs
lola: 9790584 markings, 336419437 edges, 6729 markings/sec, 1365 secs
lola: 9829005 markings, 337644438 edges, 7684 markings/sec, 1370 secs
lola: 9863311 markings, 338870771 edges, 6861 markings/sec, 1375 secs
lola: 9896349 markings, 340099603 edges, 6608 markings/sec, 1380 secs
lola: 9925227 markings, 341327142 edges, 5776 markings/sec, 1385 secs
lola: 9961496 markings, 342537091 edges, 7254 markings/sec, 1390 secs
lola: 9992040 markings, 343753614 edges, 6109 markings/sec, 1395 secs
lola: 10021579 markings, 344978163 edges, 5908 markings/sec, 1400 secs
lola: 10048589 markings, 346202688 edges, 5402 markings/sec, 1405 secs
lola: 10088206 markings, 347437558 edges, 7923 markings/sec, 1410 secs
lola: 10131069 markings, 348677873 edges, 8573 markings/sec, 1415 secs
lola: 10171514 markings, 349912755 edges, 8089 markings/sec, 1420 secs
lola: 10212457 markings, 351153842 edges, 8189 markings/sec, 1425 secs
lola: 10250769 markings, 352387830 edges, 7662 markings/sec, 1430 secs
lola: 10288145 markings, 353621612 edges, 7475 markings/sec, 1435 secs
lola: 10326889 markings, 354858896 edges, 7749 markings/sec, 1440 secs
lola: 10366252 markings, 356088579 edges, 7873 markings/sec, 1445 secs
lola: 10403746 markings, 357319201 edges, 7499 markings/sec, 1450 secs
lola: 10439175 markings, 358551574 edges, 7086 markings/sec, 1455 secs
lola: 10474481 markings, 359778750 edges, 7061 markings/sec, 1460 secs
lola: 10509300 markings, 361007331 edges, 6964 markings/sec, 1465 secs
lola: 10546475 markings, 362238221 edges, 7435 markings/sec, 1470 secs
lola: 10580894 markings, 363468590 edges, 6884 markings/sec, 1475 secs
lola: 10616064 markings, 364701853 edges, 7034 markings/sec, 1480 secs
lola: 10658379 markings, 365926405 edges, 8463 markings/sec, 1485 secs
lola: 10697060 markings, 367154663 edges, 7736 markings/sec, 1490 secs
lola: 10732726 markings, 368382422 edges, 7133 markings/sec, 1495 secs
lola: 10769968 markings, 369602852 edges, 7448 markings/sec, 1500 secs
lola: 10807705 markings, 370820220 edges, 7547 markings/sec, 1505 secs
lola: 10843577 markings, 372037561 edges, 7174 markings/sec, 1510 secs
lola: 10877043 markings, 373266061 edges, 6693 markings/sec, 1515 secs
lola: 10908841 markings, 374487831 edges, 6360 markings/sec, 1520 secs
lola: 10943427 markings, 375713866 edges, 6917 markings/sec, 1525 secs
lola: 10975558 markings, 376937905 edges, 6426 markings/sec, 1530 secs
lola: 11008000 markings, 378165472 edges, 6488 markings/sec, 1535 secs
lola: 11042812 markings, 379389364 edges, 6962 markings/sec, 1540 secs
lola: 11079076 markings, 380607713 edges, 7253 markings/sec, 1545 secs
lola: 11113127 markings, 381833167 edges, 6810 markings/sec, 1550 secs
lola: 11144922 markings, 383054296 edges, 6359 markings/sec, 1555 secs
lola: 11179285 markings, 384267725 edges, 6873 markings/sec, 1560 secs
lola: 11213464 markings, 385480294 edges, 6836 markings/sec, 1565 secs
lola: 11246212 markings, 386691326 edges, 6550 markings/sec, 1570 secs
lola: 11276912 markings, 387913060 edges, 6140 markings/sec, 1575 secs
lola: 11305768 markings, 389129715 edges, 5771 markings/sec, 1580 secs
lola: 11347792 markings, 390361389 edges, 8405 markings/sec, 1585 secs
lola: 11389979 markings, 391595816 edges, 8437 markings/sec, 1590 secs
lola: 11429362 markings, 392824787 edges, 7877 markings/sec, 1595 secs
lola: 11467341 markings, 394062096 edges, 7596 markings/sec, 1600 secs
lola: 11503287 markings, 395290385 edges, 7189 markings/sec, 1605 secs
lola: 11538060 markings, 396516530 edges, 6955 markings/sec, 1610 secs
lola: 11576583 markings, 397751906 edges, 7705 markings/sec, 1615 secs
lola: 11614174 markings, 398975580 edges, 7518 markings/sec, 1620 secs
lola: 11649699 markings, 400199967 edges, 7105 markings/sec, 1625 secs
lola: 11683434 markings, 401429803 edges, 6747 markings/sec, 1630 secs
lola: 11715385 markings, 402650990 edges, 6390 markings/sec, 1635 secs
lola: 11745432 markings, 403867366 edges, 6009 markings/sec, 1640 secs
lola: 11783171 markings, 405081371 edges, 7548 markings/sec, 1645 secs
lola: 11823435 markings, 406303107 edges, 8053 markings/sec, 1650 secs
lola: 11858913 markings, 407527114 edges, 7096 markings/sec, 1655 secs
lola: 11891150 markings, 408751113 edges, 6447 markings/sec, 1660 secs
lola: 11926321 markings, 409959565 edges, 7034 markings/sec, 1665 secs
lola: 11960215 markings, 411170778 edges, 6779 markings/sec, 1670 secs
lola: 11991311 markings, 412388836 edges, 6219 markings/sec, 1675 secs
lola: 12020218 markings, 413609918 edges, 5781 markings/sec, 1680 secs
lola: 12051647 markings, 414815115 edges, 6286 markings/sec, 1685 secs
lola: 12087231 markings, 416029720 edges, 7117 markings/sec, 1690 secs
lola: 12120193 markings, 417246180 edges, 6592 markings/sec, 1695 secs
lola: 12151343 markings, 418465040 edges, 6230 markings/sec, 1700 secs
lola: 12179708 markings, 419682789 edges, 5673 markings/sec, 1705 secs
lola: 12211445 markings, 420882704 edges, 6347 markings/sec, 1710 secs
lola: 12241837 markings, 422089636 edges, 6078 markings/sec, 1715 secs
lola: 12269534 markings, 423297696 edges, 5539 markings/sec, 1720 secs
lola: 12296703 markings, 424513694 edges, 5434 markings/sec, 1725 secs
lola: 12322578 markings, 425725980 edges, 5175 markings/sec, 1730 secs
lola: 12361608 markings, 426967966 edges, 7806 markings/sec, 1735 secs
lola: 12398652 markings, 428200698 edges, 7409 markings/sec, 1740 secs
lola: 12434112 markings, 429431532 edges, 7092 markings/sec, 1745 secs
lola: 12470881 markings, 430666660 edges, 7354 markings/sec, 1750 secs
lola: 12504953 markings, 431894250 edges, 6814 markings/sec, 1755 secs
lola: 12536167 markings, 433117739 edges, 6243 markings/sec, 1760 secs
lola: 12572598 markings, 434352238 edges, 7286 markings/sec, 1765 secs
lola: 12606652 markings, 435580264 edges, 6811 markings/sec, 1770 secs
lola: 12639285 markings, 436802401 edges, 6527 markings/sec, 1775 secs
lola: 12672929 markings, 438026867 edges, 6729 markings/sec, 1780 secs
lola: 12704973 markings, 439251744 edges, 6409 markings/sec, 1785 secs
lola: 12736392 markings, 440471045 edges, 6284 markings/sec, 1790 secs
lola: 12767195 markings, 441690498 edges, 6161 markings/sec, 1795 secs
lola: 12800384 markings, 442914897 edges, 6638 markings/sec, 1800 secs
lola: 12830773 markings, 444135104 edges, 6078 markings/sec, 1805 secs
lola: 12862390 markings, 445363741 edges, 6323 markings/sec, 1810 secs
lola: 12897001 markings, 446585860 edges, 6922 markings/sec, 1815 secs
lola: 12932983 markings, 447801451 edges, 7196 markings/sec, 1820 secs
lola: 12966670 markings, 449026233 edges, 6737 markings/sec, 1825 secs
lola: 12998329 markings, 450244103 edges, 6332 markings/sec, 1830 secs
lola: 13032046 markings, 451456996 edges, 6743 markings/sec, 1835 secs
lola: 13065831 markings, 452668322 edges, 6757 markings/sec, 1840 secs
lola: 13098503 markings, 453875975 edges, 6534 markings/sec, 1845 secs
lola: 13128962 markings, 455096385 edges, 6092 markings/sec, 1850 secs
lola: 13157813 markings, 456310079 edges, 5770 markings/sec, 1855 secs
lola: 13188290 markings, 457528478 edges, 6095 markings/sec, 1860 secs
lola: 13218478 markings, 458745202 edges, 6038 markings/sec, 1865 secs
lola: 13246488 markings, 459956495 edges, 5602 markings/sec, 1870 secs
lola: 13275383 markings, 461178500 edges, 5779 markings/sec, 1875 secs
lola: 13307256 markings, 462394144 edges, 6375 markings/sec, 1880 secs
lola: 13339880 markings, 463605179 edges, 6525 markings/sec, 1885 secs
lola: 13370694 markings, 464823035 edges, 6163 markings/sec, 1890 secs
lola: 13400217 markings, 466037037 edges, 5905 markings/sec, 1895 secs
lola: 13430289 markings, 467243321 edges, 6014 markings/sec, 1900 secs
lola: 13460588 markings, 468447403 edges, 6060 markings/sec, 1905 secs
lola: 13491359 markings, 469652639 edges, 6154 markings/sec, 1910 secs
lola: 13519968 markings, 470856614 edges, 5722 markings/sec, 1915 secs
lola: 13547411 markings, 472069468 edges, 5489 markings/sec, 1920 secs
lola: 13573285 markings, 473274493 edges, 5175 markings/sec, 1925 secs
lola: 13617897 markings, 474511140 edges, 8922 markings/sec, 1930 secs
lola: 13659839 markings, 475743972 edges, 8388 markings/sec, 1935 secs
lola: 13699586 markings, 476976643 edges, 7949 markings/sec, 1940 secs
lola: 13735810 markings, 478212840 edges, 7245 markings/sec, 1945 secs
lola: 13772242 markings, 479444328 edges, 7286 markings/sec, 1950 secs
lola: 13808629 markings, 480673745 edges, 7277 markings/sec, 1955 secs
lola: 13845763 markings, 481907367 edges, 7427 markings/sec, 1960 secs
lola: 13883308 markings, 483133711 edges, 7509 markings/sec, 1965 secs
lola: 13919216 markings, 484362170 edges, 7182 markings/sec, 1970 secs
lola: 13951461 markings, 485591258 edges, 6449 markings/sec, 1975 secs
lola: 13984297 markings, 486816919 edges, 6567 markings/sec, 1980 secs
lola: 14015801 markings, 488033840 edges, 6301 markings/sec, 1985 secs
lola: 14054748 markings, 489251229 edges, 7789 markings/sec, 1990 secs
lola: 14093176 markings, 490471978 edges, 7686 markings/sec, 1995 secs
lola: 14128330 markings, 491695737 edges, 7031 markings/sec, 2000 secs
lola: 14159418 markings, 492918472 edges, 6218 markings/sec, 2005 secs
lola: 14196297 markings, 494124916 edges, 7376 markings/sec, 2010 secs
lola: 14228775 markings, 495335699 edges, 6496 markings/sec, 2015 secs
lola: 14259987 markings, 496555868 edges, 6242 markings/sec, 2020 secs
lola: 14288051 markings, 497775228 edges, 5613 markings/sec, 2025 secs
lola: 14321270 markings, 498980219 edges, 6644 markings/sec, 2030 secs
lola: 14356852 markings, 500195529 edges, 7116 markings/sec, 2035 secs
lola: 14388428 markings, 501411753 edges, 6315 markings/sec, 2040 secs
lola: 14419594 markings, 502631752 edges, 6233 markings/sec, 2045 secs
lola: 14447302 markings, 503848662 edges, 5542 markings/sec, 2050 secs
lola: 14480414 markings, 505048029 edges, 6622 markings/sec, 2055 secs
lola: 14509835 markings, 506254186 edges, 5884 markings/sec, 2060 secs
lola: 14537398 markings, 507465461 edges, 5513 markings/sec, 2065 secs
lola: 14564377 markings, 508680490 edges, 5396 markings/sec, 2070 secs
lola: 14594039 markings, 509897273 edges, 5932 markings/sec, 2075 secs
lola: 14633431 markings, 511136173 edges, 7878 markings/sec, 2080 secs
lola: 14672822 markings, 512368634 edges, 7878 markings/sec, 2085 secs
lola: 14710728 markings, 513599240 edges, 7581 markings/sec, 2090 secs
lola: 14746578 markings, 514830279 edges, 7170 markings/sec, 2095 secs
lola: 14782179 markings, 516058649 edges, 7120 markings/sec, 2100 secs
lola: 14817293 markings, 517285840 edges, 7023 markings/sec, 2105 secs
lola: 14852476 markings, 518517684 edges, 7037 markings/sec, 2110 secs
lola: 14888830 markings, 519743825 edges, 7271 markings/sec, 2115 secs
lola: 14923599 markings, 520968145 edges, 6954 markings/sec, 2120 secs
lola: 14957235 markings, 522194350 edges, 6727 markings/sec, 2125 secs
lola: 14989731 markings, 523414616 edges, 6499 markings/sec, 2130 secs
lola: 15020503 markings, 524631764 edges, 6154 markings/sec, 2135 secs
lola: 15055079 markings, 525858158 edges, 6915 markings/sec, 2140 secs
lola: 15087750 markings, 527082618 edges, 6534 markings/sec, 2145 secs
lola: 15119571 markings, 528308591 edges, 6364 markings/sec, 2150 secs
lola: 15153711 markings, 529531580 edges, 6828 markings/sec, 2155 secs
lola: 15191755 markings, 530744452 edges, 7609 markings/sec, 2160 secs
lola: 15226994 markings, 531965426 edges, 7048 markings/sec, 2165 secs
lola: 15259745 markings, 533180980 edges, 6550 markings/sec, 2170 secs
lola: 15294182 markings, 534393787 edges, 6887 markings/sec, 2175 secs
lola: 15329126 markings, 535603162 edges, 6989 markings/sec, 2180 secs
lola: 15362598 markings, 536807970 edges, 6694 markings/sec, 2185 secs
lola: 15394030 markings, 538027564 edges, 6286 markings/sec, 2190 secs
lola: 15423609 markings, 539238735 edges, 5916 markings/sec, 2195 secs
lola: 15455452 markings, 540457813 edges, 6369 markings/sec, 2200 secs
lola: 15485776 markings, 541675687 edges, 6065 markings/sec, 2205 secs
lola: 15514986 markings, 542892267 edges, 5842 markings/sec, 2210 secs
lola: 15543743 markings, 544113302 edges, 5751 markings/sec, 2215 secs
lola: 15577851 markings, 545325316 edges, 6822 markings/sec, 2220 secs
lola: 15610977 markings, 546533038 edges, 6625 markings/sec, 2225 secs
lola: 15642806 markings, 547751177 edges, 6366 markings/sec, 2230 secs
lola: 15672111 markings, 548959299 edges, 5861 markings/sec, 2235 secs
lola: 15704134 markings, 550165900 edges, 6405 markings/sec, 2240 secs
lola: 15735799 markings, 551370192 edges, 6333 markings/sec, 2245 secs
lola: 15766729 markings, 552571064 edges, 6186 markings/sec, 2250 secs
lola: 15795653 markings, 553781604 edges, 5785 markings/sec, 2255 secs
lola: 15823184 markings, 554989214 edges, 5506 markings/sec, 2260 secs
lola: 15856953 markings, 556205046 edges, 6754 markings/sec, 2265 secs
lola: 15894461 markings, 557440790 edges, 7502 markings/sec, 2270 secs
lola: 15931919 markings, 558668356 edges, 7492 markings/sec, 2275 secs
lola: 15967939 markings, 559897447 edges, 7204 markings/sec, 2280 secs
lola: 16000749 markings, 561126182 edges, 6562 markings/sec, 2285 secs
lola: 16033552 markings, 562351834 edges, 6561 markings/sec, 2290 secs
lola: 16065485 markings, 563574105 edges, 6387 markings/sec, 2295 secs
lola: 16100217 markings, 564803464 edges, 6946 markings/sec, 2300 secs
lola: 16134350 markings, 566024225 edges, 6827 markings/sec, 2305 secs
lola: 16165938 markings, 567241040 edges, 6318 markings/sec, 2310 secs
lola: 16198464 markings, 568466103 edges, 6505 markings/sec, 2315 secs
lola: 16228130 markings, 569683810 edges, 5933 markings/sec, 2320 secs
lola: 16256567 markings, 570897491 edges, 5687 markings/sec, 2325 secs
lola: 16287040 markings, 572100099 edges, 6095 markings/sec, 2330 secs
lola: 16322399 markings, 573314714 edges, 7072 markings/sec, 2335 secs
lola: 16357019 markings, 574529147 edges, 6924 markings/sec, 2340 secs
lola: 16389206 markings, 575747071 edges, 6437 markings/sec, 2345 secs
lola: 16418413 markings, 576962691 edges, 5841 markings/sec, 2350 secs
lola: 16450905 markings, 578161939 edges, 6498 markings/sec, 2355 secs
lola: 16481983 markings, 579365916 edges, 6216 markings/sec, 2360 secs
lola: 16510641 markings, 580574488 edges, 5732 markings/sec, 2365 secs
lola: 16538384 markings, 581788048 edges, 5549 markings/sec, 2370 secs
lola: 16565517 markings, 582990050 edges, 5427 markings/sec, 2375 secs
lola: 16596535 markings, 584188791 edges, 6204 markings/sec, 2380 secs
lola: 16629094 markings, 585397877 edges, 6512 markings/sec, 2385 secs
lola: 16657997 markings, 586604880 edges, 5781 markings/sec, 2390 secs
lola: 16686181 markings, 587815599 edges, 5637 markings/sec, 2395 secs
lola: 16711252 markings, 589020895 edges, 5014 markings/sec, 2400 secs
lola: 16741987 markings, 590210361 edges, 6147 markings/sec, 2405 secs
lola: 16769607 markings, 591406912 edges, 5524 markings/sec, 2410 secs
lola: 16795456 markings, 592605469 edges, 5170 markings/sec, 2415 secs
lola: 16820636 markings, 593811625 edges, 5036 markings/sec, 2420 secs
lola: 16843242 markings, 595009327 edges, 4521 markings/sec, 2425 secs
lola: 16877956 markings, 596250366 edges, 6943 markings/sec, 2430 secs
lola: 16910384 markings, 597485577 edges, 6486 markings/sec, 2435 secs
lola: 16942448 markings, 598714167 edges, 6413 markings/sec, 2440 secs
lola: 16975302 markings, 599942782 edges, 6571 markings/sec, 2445 secs
lola: 17006011 markings, 601169948 edges, 6142 markings/sec, 2450 secs
lola: 17037166 markings, 602394287 edges, 6231 markings/sec, 2455 secs
lola: 17065756 markings, 603613685 edges, 5718 markings/sec, 2460 secs
lola: 17097705 markings, 604846167 edges, 6390 markings/sec, 2465 secs
lola: 17127573 markings, 606071284 edges, 5974 markings/sec, 2470 secs
lola: 17157400 markings, 607291507 edges, 5965 markings/sec, 2475 secs
lola: 17187855 markings, 608510465 edges, 6091 markings/sec, 2480 secs
lola: 17217172 markings, 609730359 edges, 5863 markings/sec, 2485 secs
lola: 17245811 markings, 610945829 edges, 5728 markings/sec, 2490 secs
lola: 17272753 markings, 612155996 edges, 5388 markings/sec, 2495 secs
lola: 17301922 markings, 613375910 edges, 5834 markings/sec, 2500 secs
lola: 17331175 markings, 614595937 edges, 5851 markings/sec, 2505 secs
lola: 17357766 markings, 615808484 edges, 5318 markings/sec, 2510 secs
lola: 17386128 markings, 617035236 edges, 5672 markings/sec, 2515 secs
lola: 17415790 markings, 618253093 edges, 5932 markings/sec, 2520 secs
lola: 17448945 markings, 619463554 edges, 6631 markings/sec, 2525 secs
lola: 17479576 markings, 620679636 edges, 6126 markings/sec, 2530 secs
lola: 17509221 markings, 621893874 edges, 5929 markings/sec, 2535 secs
lola: 17538700 markings, 623102871 edges, 5896 markings/sec, 2540 secs
lola: 17567422 markings, 624306563 edges, 5744 markings/sec, 2545 secs
lola: 17598183 markings, 625512448 edges, 6152 markings/sec, 2550 secs
lola: 17627159 markings, 626710900 edges, 5795 markings/sec, 2555 secs
lola: 17654890 markings, 627928580 edges, 5546 markings/sec, 2560 secs
lola: 17681383 markings, 629134166 edges, 5299 markings/sec, 2565 secs
lola: 17708328 markings, 630344522 edges, 5389 markings/sec, 2570 secs
lola: 17735996 markings, 631557352 edges, 5534 markings/sec, 2575 secs
lola: 17761508 markings, 632764447 edges, 5102 markings/sec, 2580 secs
lola: 17787300 markings, 633977815 edges, 5158 markings/sec, 2585 secs
lola: 17812376 markings, 635188069 edges, 5015 markings/sec, 2590 secs
lola: 17842798 markings, 636395024 edges, 6084 markings/sec, 2595 secs
lola: 17871484 markings, 637594295 edges, 5737 markings/sec, 2600 secs
lola: 17899553 markings, 638809464 edges, 5614 markings/sec, 2605 secs
lola: 17926316 markings, 640013209 edges, 5353 markings/sec, 2610 secs
lola: 17953664 markings, 641212635 edges, 5470 markings/sec, 2615 secs
lola: 17980593 markings, 642408692 edges, 5386 markings/sec, 2620 secs
lola: 18008408 markings, 643606099 edges, 5563 markings/sec, 2625 secs
lola: 18035238 markings, 644798228 edges, 5366 markings/sec, 2630 secs
lola: 18060629 markings, 646004857 edges, 5078 markings/sec, 2635 secs
lola: 18085150 markings, 647204218 edges, 4904 markings/sec, 2640 secs
lola: 18120622 markings, 648411807 edges, 7094 markings/sec, 2645 secs
lola: 18168763 markings, 649654207 edges, 9628 markings/sec, 2650 secs
lola: 18212358 markings, 650889785 edges, 8719 markings/sec, 2655 secs
lola: 18254967 markings, 652136466 edges, 8522 markings/sec, 2660 secs
lola: 18293964 markings, 653375723 edges, 7799 markings/sec, 2665 secs
lola: 18333906 markings, 654611586 edges, 7988 markings/sec, 2670 secs
lola: 18375680 markings, 655850345 edges, 8355 markings/sec, 2675 secs
lola: 18415721 markings, 657079028 edges, 8008 markings/sec, 2680 secs
lola: 18454807 markings, 658316672 edges, 7817 markings/sec, 2685 secs
lola: 18490222 markings, 659552691 edges, 7083 markings/sec, 2690 secs
lola: 18523028 markings, 660782814 edges, 6561 markings/sec, 2695 secs
lola: 18562469 markings, 662008210 edges, 7888 markings/sec, 2700 secs
lola: 18606848 markings, 663234771 edges, 8876 markings/sec, 2705 secs
lola: 18645517 markings, 664466461 edges, 7734 markings/sec, 2710 secs
lola: 18680197 markings, 665699580 edges, 6936 markings/sec, 2715 secs
lola: 18719570 markings, 666917517 edges, 7875 markings/sec, 2720 secs
lola: 18754874 markings, 668138219 edges, 7061 markings/sec, 2725 secs
lola: 18788245 markings, 669368167 edges, 6674 markings/sec, 2730 secs
lola: 18817646 markings, 670598296 edges, 5880 markings/sec, 2735 secs
lola: 18855926 markings, 671816656 edges, 7656 markings/sec, 2740 secs
lola: 18894916 markings, 673040496 edges, 7798 markings/sec, 2745 secs
lola: 18928460 markings, 674268077 edges, 6709 markings/sec, 2750 secs
lola: 18960178 markings, 675496210 edges, 6344 markings/sec, 2755 secs
lola: 18993475 markings, 676710788 edges, 6659 markings/sec, 2760 secs
lola: 19027002 markings, 677926957 edges, 6705 markings/sec, 2765 secs
lola: 19056774 markings, 679145558 edges, 5954 markings/sec, 2770 secs
lola: 19085888 markings, 680371352 edges, 5823 markings/sec, 2775 secs
lola: 19116945 markings, 681595486 edges, 6211 markings/sec, 2780 secs
lola: 19160750 markings, 682838376 edges, 8761 markings/sec, 2785 secs
lola: 19205036 markings, 684071255 edges, 8857 markings/sec, 2790 secs
lola: 19247226 markings, 685309290 edges, 8438 markings/sec, 2795 secs
lola: 19286864 markings, 686547618 edges, 7928 markings/sec, 2800 secs
lola: 19322552 markings, 687779933 edges, 7138 markings/sec, 2805 secs
lola: 19364930 markings, 689015661 edges, 8476 markings/sec, 2810 secs
lola: 19404569 markings, 690245421 edges, 7928 markings/sec, 2815 secs
lola: 19442856 markings, 691473786 edges, 7657 markings/sec, 2820 secs
lola: 19480289 markings, 692708307 edges, 7487 markings/sec, 2825 secs
lola: 19515795 markings, 693935706 edges, 7101 markings/sec, 2830 secs
lola: 19550396 markings, 695162184 edges, 6920 markings/sec, 2835 secs
lola: 19589539 markings, 696393335 edges, 7829 markings/sec, 2840 secs
lola: 19625300 markings, 697623065 edges, 7152 markings/sec, 2845 secs
lola: 19661177 markings, 698855491 edges, 7175 markings/sec, 2850 secs
lola: 19705434 markings, 700079454 edges, 8851 markings/sec, 2855 secs
lola: 19744886 markings, 701307309 edges, 7890 markings/sec, 2860 secs
lola: 19781418 markings, 702535994 edges, 7306 markings/sec, 2865 secs
lola: 19819639 markings, 703756837 edges, 7644 markings/sec, 2870 secs
lola: 19858309 markings, 704973880 edges, 7734 markings/sec, 2875 secs
lola: 19895000 markings, 706193287 edges, 7338 markings/sec, 2880 secs
lola: 19928869 markings, 707421538 edges, 6774 markings/sec, 2885 secs
lola: 19961804 markings, 708645163 edges, 6587 markings/sec, 2890 secs
lola: 19997351 markings, 709869276 edges, 7109 markings/sec, 2895 secs
lola: 20029516 markings, 711090827 edges, 6433 markings/sec, 2900 secs
lola: 20063738 markings, 712318978 edges, 6844 markings/sec, 2905 secs
lola: 20100909 markings, 713539174 edges, 7434 markings/sec, 2910 secs
lola: 20137066 markings, 714757604 edges, 7231 markings/sec, 2915 secs
lola: 20171831 markings, 715983523 edges, 6953 markings/sec, 2920 secs
lola: 20204639 markings, 717203262 edges, 6562 markings/sec, 2925 secs
lola: 20238952 markings, 718414267 edges, 6863 markings/sec, 2930 secs
lola: 20274687 markings, 719627556 edges, 7147 markings/sec, 2935 secs
lola: 20306991 markings, 720841142 edges, 6461 markings/sec, 2940 secs
lola: 20337749 markings, 722062453 edges, 6152 markings/sec, 2945 secs
lola: 20369150 markings, 723278572 edges, 6280 markings/sec, 2950 secs
lola: 20413640 markings, 724518284 edges, 8898 markings/sec, 2955 secs
lola: 20456557 markings, 725744320 edges, 8583 markings/sec, 2960 secs
lola: 20496353 markings, 726977500 edges, 7959 markings/sec, 2965 secs
lola: 20533858 markings, 728212088 edges, 7501 markings/sec, 2970 secs
lola: 20568309 markings, 729439784 edges, 6890 markings/sec, 2975 secs
lola: 20607408 markings, 730669345 edges, 7820 markings/sec, 2980 secs
lola: 20645946 markings, 731897667 edges, 7708 markings/sec, 2985 secs
lola: 20681669 markings, 733119007 edges, 7145 markings/sec, 2990 secs
lola: 20717898 markings, 734348612 edges, 7246 markings/sec, 2995 secs
lola: 20750972 markings, 735575184 edges, 6615 markings/sec, 3000 secs
lola: 20782422 markings, 736796324 edges, 6290 markings/sec, 3005 secs
lola: 20816930 markings, 738009543 edges, 6902 markings/sec, 3010 secs
lola: 20857923 markings, 739228786 edges, 8199 markings/sec, 3015 secs
lola: 20894602 markings, 740450347 edges, 7336 markings/sec, 3020 secs
lola: 20929361 markings, 741675745 edges, 6952 markings/sec, 3025 secs
lola: 20962132 markings, 742888963 edges, 6554 markings/sec, 3030 secs
lola: 20998949 markings, 744100831 edges, 7363 markings/sec, 3035 secs
lola: 21030545 markings, 745314942 edges, 6319 markings/sec, 3040 secs
lola: 21061342 markings, 746538100 edges, 6159 markings/sec, 3045 secs
lola: 21090852 markings, 747752172 edges, 5902 markings/sec, 3050 secs
lola: 21126511 markings, 748962606 edges, 7132 markings/sec, 3055 secs
lola: 21161458 markings, 750178214 edges, 6989 markings/sec, 3060 secs
lola: 21192649 markings, 751395764 edges, 6238 markings/sec, 3065 secs
lola: 21222616 markings, 752612896 edges, 5993 markings/sec, 3070 secs
lola: 21253603 markings, 753815816 edges, 6197 markings/sec, 3075 secs
lola: 21285426 markings, 755022647 edges, 6365 markings/sec, 3080 secs
lola: 21313334 markings, 756227512 edges, 5582 markings/sec, 3085 secs
lola: 21341385 markings, 757443830 edges, 5610 markings/sec, 3090 secs
lola: 21366443 markings, 758656201 edges, 5012 markings/sec, 3095 secs
lola: 21405631 markings, 759893053 edges, 7838 markings/sec, 3100 secs
lola: 21443660 markings, 761127894 edges, 7606 markings/sec, 3105 secs
lola: 21479248 markings, 762357372 edges, 7118 markings/sec, 3110 secs
lola: 21517309 markings, 763594518 edges, 7612 markings/sec, 3115 secs
lola: 21552043 markings, 764825471 edges, 6947 markings/sec, 3120 secs
lola: 21584260 markings, 766052049 edges, 6443 markings/sec, 3125 secs
lola: 21621062 markings, 767284401 edges, 7360 markings/sec, 3130 secs
lola: 21655770 markings, 768511797 edges, 6942 markings/sec, 3135 secs
lola: 21689185 markings, 769733595 edges, 6683 markings/sec, 3140 secs
lola: 21723608 markings, 770959782 edges, 6885 markings/sec, 3145 secs
lola: 21756071 markings, 772185375 edges, 6493 markings/sec, 3150 secs
lola: 21787747 markings, 773405459 edges, 6335 markings/sec, 3155 secs
lola: 21819390 markings, 774626696 edges, 6329 markings/sec, 3160 secs
lola: 21853625 markings, 775851670 edges, 6847 markings/sec, 3165 secs
lola: 21884944 markings, 777072698 edges, 6264 markings/sec, 3170 secs
lola: 21917657 markings, 778301054 edges, 6543 markings/sec, 3175 secs
lola: 21954401 markings, 779521292 edges, 7349 markings/sec, 3180 secs
lola: 21990629 markings, 780739622 edges, 7246 markings/sec, 3185 secs
lola: 22024981 markings, 781965857 edges, 6870 markings/sec, 3190 secs
lola: 22057758 markings, 783185509 edges, 6555 markings/sec, 3195 secs
lola: 22091158 markings, 784396724 edges, 6680 markings/sec, 3200 secs
lola: 22126593 markings, 785610249 edges, 7087 markings/sec, 3205 secs
lola: 22158906 markings, 786823072 edges, 6463 markings/sec, 3210 secs
lola: 22189456 markings, 788044894 edges, 6110 markings/sec, 3215 secs
lola: 22218326 markings, 789258840 edges, 5774 markings/sec, 3220 secs
lola: 22250542 markings, 790478615 edges, 6443 markings/sec, 3225 secs
lola: 22280774 markings, 791694411 edges, 6046 markings/sec, 3230 secs
lola: 22310414 markings, 792910086 edges, 5928 markings/sec, 3235 secs
lola: 22340240 markings, 794126447 edges, 5965 markings/sec, 3240 secs
lola: 22374788 markings, 795340074 edges, 6910 markings/sec, 3245 secs
lola: 22406645 markings, 796553788 edges, 6371 markings/sec, 3250 secs
lola: 22437487 markings, 797771625 edges, 6168 markings/sec, 3255 secs
lola: 22467173 markings, 798982982 edges, 5937 markings/sec, 3260 secs
lola: 22498076 markings, 800186429 edges, 6181 markings/sec, 3265 secs
lola: 22529680 markings, 801391950 edges, 6321 markings/sec, 3270 secs
lola: 22559717 markings, 802594491 edges, 6007 markings/sec, 3275 secs
lola: 22588034 markings, 803808352 edges, 5663 markings/sec, 3280 secs
lola: 22615038 markings, 805017005 edges, 5401 markings/sec, 3285 secs
lola: 22654485 markings, 806238581 edges, 7889 markings/sec, 3290 secs
lola: 22697812 markings, 807472601 edges, 8665 markings/sec, 3295 secs
lola: 22737603 markings, 808701103 edges, 7958 markings/sec, 3300 secs
lola: 22777301 markings, 809938638 edges, 7940 markings/sec, 3305 secs
lola: 22813019 markings, 811169920 edges, 7144 markings/sec, 3310 secs
lola: 22848514 markings, 812397217 edges, 7099 markings/sec, 3315 secs
lola: 22887938 markings, 813631372 edges, 7885 markings/sec, 3320 secs
lola: 22926306 markings, 814856449 edges, 7674 markings/sec, 3325 secs
lola: 22962381 markings, 816082460 edges, 7215 markings/sec, 3330 secs
lola: 22996405 markings, 817313881 edges, 6805 markings/sec, 3335 secs
lola: 23029160 markings, 818539344 edges, 6551 markings/sec, 3340 secs
lola: 23059673 markings, 819759214 edges, 6103 markings/sec, 3345 secs
lola: 23098982 markings, 820976592 edges, 7862 markings/sec, 3350 secs
lola: 23138906 markings, 822196528 edges, 7985 markings/sec, 3355 secs
lola: 23174599 markings, 823419503 edges, 7139 markings/sec, 3360 secs
lola: 23206740 markings, 824642012 edges, 6428 markings/sec, 3365 secs
lola: 23243626 markings, 825849404 edges, 7377 markings/sec, 3370 secs
lola: 23276949 markings, 827060965 edges, 6665 markings/sec, 3375 secs
lola: 23308527 markings, 828279777 edges, 6316 markings/sec, 3380 secs
lola: 23337089 markings, 829499589 edges, 5712 markings/sec, 3385 secs
lola: 23370653 markings, 830708341 edges, 6713 markings/sec, 3390 secs
lola: 23406994 markings, 831922676 edges, 7268 markings/sec, 3395 secs
lola: 23438808 markings, 833138768 edges, 6363 markings/sec, 3400 secs
lola: 23470199 markings, 834357368 edges, 6278 markings/sec, 3405 secs
lola: 23498281 markings, 835574395 edges, 5616 markings/sec, 3410 secs
lola: 23532298 markings, 836775680 edges, 6803 markings/sec, 3415 secs
lola: 23561828 markings, 837981638 edges, 5906 markings/sec, 3420 secs
lola: 23590096 markings, 839193833 edges, 5654 markings/sec, 3425 secs
lola: 23616375 markings, 840408217 edges, 5256 markings/sec, 3430 secs
lola: 23649182 markings, 841627723 edges, 6561 markings/sec, 3435 secs
lola: 23689050 markings, 842864760 edges, 7974 markings/sec, 3440 secs
lola: 23728870 markings, 844094452 edges, 7964 markings/sec, 3445 secs
lola: 23767371 markings, 845326489 edges, 7700 markings/sec, 3450 secs
lola: 23804447 markings, 846558356 edges, 7415 markings/sec, 3455 secs
lola: 23839192 markings, 847786239 edges, 6949 markings/sec, 3460 secs
lola: 23876059 markings, 849014543 edges, 7373 markings/sec, 3465 secs
lola: 23912847 markings, 850243374 edges, 7358 markings/sec, 3470 secs
lola: 23948545 markings, 851465746 edges, 7140 markings/sec, 3475 secs
lola: 23984040 markings, 852691660 edges, 7099 markings/sec, 3480 secs
lola: 24017793 markings, 853916844 edges, 6751 markings/sec, 3485 secs
lola: 24050632 markings, 855137585 edges, 6568 markings/sec, 3490 secs
lola: 24083635 markings, 856360090 edges, 6601 markings/sec, 3495 secs
lola: 24118820 markings, 857584846 edges, 7037 markings/sec, 3500 secs
lola: 24151257 markings, 858806736 edges, 6487 markings/sec, 3505 secs
lola: 24183776 markings, 860032998 edges, 6504 markings/sec, 3510 secs
lola: 24223550 markings, 861249635 edges, 7955 markings/sec, 3515 secs
lola: 24260471 markings, 862467148 edges, 7384 markings/sec, 3520 secs
lola: 24295249 markings, 863687992 edges, 6956 markings/sec, 3525 secs
lola: 24329803 markings, 864902247 edges, 6911 markings/sec, 3530 secs
lola: 24364861 markings, 866114006 edges, 7012 markings/sec, 3535 secs
lola: 24400341 markings, 867322490 edges, 7096 markings/sec, 3540 secs
lola: 24433050 markings, 868537590 edges, 6542 markings/sec, 3545 secs
lola: 24463857 markings, 869753426 edges, 6161 markings/sec, 3550 secs
lola: 24495192 markings, 870969030 edges, 6267 markings/sec, 3555 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes yes unknown no yes no yes no no no no yes no yes yes
lola: memory consumption: 5671016 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: time limit reached - aborting
lola:
preliminary result: no yes yes unknown no yes no yes no no no no yes no yes yes
lola:
preliminary result: no yes yes unknown no yes no yes no no no no yes no yes yes
lola: memory consumption: 55760 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 1552839330738
--------------------
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="Eratosthenes-PT-500"
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 Eratosthenes-PT-500, 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 r071-smll-155234737800303"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Eratosthenes-PT-500.tgz
mv Eratosthenes-PT-500 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 ;