About the Execution of LoLA for AutoFlight-PT-12b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9806.310 | 3569132.00 | 3657147.00 | 347.60 | TFFTTTFTTFT?FF?T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2019-input.r016-csrt-155225065100184.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is AutoFlight-PT-12b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-csrt-155225065100184
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 432K
-rw-r--r-- 1 mcc users 3.2K Feb 9 07:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 9 07:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 5 03:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 5 03:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 104 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 342 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7K Feb 4 22:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 2 00:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 2 00:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 29 11:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 29 11:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 266K 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 AutoFlight-PT-12b-CTLCardinality-00
FORMULA_NAME AutoFlight-PT-12b-CTLCardinality-01
FORMULA_NAME AutoFlight-PT-12b-CTLCardinality-02
FORMULA_NAME AutoFlight-PT-12b-CTLCardinality-03
FORMULA_NAME AutoFlight-PT-12b-CTLCardinality-04
FORMULA_NAME AutoFlight-PT-12b-CTLCardinality-05
FORMULA_NAME AutoFlight-PT-12b-CTLCardinality-06
FORMULA_NAME AutoFlight-PT-12b-CTLCardinality-07
FORMULA_NAME AutoFlight-PT-12b-CTLCardinality-08
FORMULA_NAME AutoFlight-PT-12b-CTLCardinality-09
FORMULA_NAME AutoFlight-PT-12b-CTLCardinality-10
FORMULA_NAME AutoFlight-PT-12b-CTLCardinality-11
FORMULA_NAME AutoFlight-PT-12b-CTLCardinality-12
FORMULA_NAME AutoFlight-PT-12b-CTLCardinality-13
FORMULA_NAME AutoFlight-PT-12b-CTLCardinality-14
FORMULA_NAME AutoFlight-PT-12b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1552504687982
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ AutoFlight-PT-12b @ 3569 seconds
FORMULA AutoFlight-PT-12b-CTLCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-CTLCardinality-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-CTLCardinality-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-CTLCardinality-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-CTLCardinality-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-CTLCardinality-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-CTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-CTLCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-CTLCardinality-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-CTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-CTLCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-CTLCardinality-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-12b-CTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for CTLCardinality @ AutoFlight-PT-12b
{
"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=CTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3569",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Mar 13 19:18:08 2019
",
"timelimit": 3569
},
"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": 48
},
"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": 48
},
"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": "TRUE",
"processed_size": 4,
"rewrites": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 273
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 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": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 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": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 4,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 323
},
"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": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 355
},
"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": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 6,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 395
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 395
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"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": "((p478 <= 0))",
"processed_size": 13,
"rewrites": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 7,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 444
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 0,
"G": 1,
"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": "AG(EX((p837 <= p630)))",
"processed_size": 22,
"rewrites": 50
},
"net":
{
"conflict_clusters": 978,
"singleton_clusters": 0
},
"result":
{
"edges": 539,
"markings": 540,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 444
},
"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": "(p603 + 1 <= p119)",
"processed_size": 18,
"rewrites": 50
},
"result":
{
"edges": 52040,
"markings": 44510,
"produced_by": "state space /EXEF",
"value": true
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability_from_a_successor",
"workflow": "stateequation"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 508
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"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": "A (G ((p423 <= p99)))",
"processed_size": 21,
"rewrites": 50
},
"result":
{
"edges": 37,
"markings": 38,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 593
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"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": "E (F ((p120 + 1 <= p166)))",
"processed_size": 26,
"rewrites": 49
},
"result":
{
"edges": 130,
"markings": 130,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 711
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 711
},
"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": "(p988 <= p968)",
"processed_size": 14,
"rewrites": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 12,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 949
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 1,
"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": "E (G ((p836 <= p953)))",
"processed_size": 22,
"rewrites": 49
},
"result":
{
"edges": 1604,
"markings": 1534,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "possible_preservation",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 949
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 949
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"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": "((p164 <= p612))",
"processed_size": 16,
"rewrites": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 13,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1423
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (G (((p733 <= p12) OR (p515 <= p548))))",
"processed_size": 42,
"rewrites": 50
},
"result":
{
"produced_by": "state equation",
"value": false
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 13,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1423
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1423
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"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": "((p1082 <= p289))",
"processed_size": 17,
"rewrites": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 14,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2846
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "E (G ((((p251 <= p1080) AND (1 <= p28)) OR (p11 <= 0))))",
"processed_size": 57,
"rewrites": 49
},
"result":
{
"edges": 369,
"markings": 349,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 9
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 4,
"problems": 2
},
"type": "possible_preservation",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 33364,
"runtime": 3569.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(** AND E(G(**))) : FALSE : (A(G(**)) AND **) : TRUE : TRUE : E(X(E(F(*)))) : FALSE : TRUE : TRUE : (A(G(E(X(**)))) AND **) : E(F(*)) : E(G((E(G(**)) OR A(G(**))))) : (E(G(**)) AND **) : A(G(**)) : E(G(E(F(**)))) : TRUE"
},
"net":
{
"arcs": 2618,
"conflict_clusters": 978,
"places": 1126,
"places_significant": 1050,
"singleton_clusters": 0,
"transitions": 1124
},
"result":
{
"interim_value": "yes no no yes yes yes no yes yes no yes unknown no no unknown yes ",
"preliminary_value": "yes no no yes yes yes no yes yes no yes unknown no no unknown yes "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3569 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: 2250/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1126
lola: finding significant places
lola: 1126 places, 1124 transitions, 1050 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 CTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p25)
lola: LP says that atomic proposition is always false: (3 <= p753)
lola: LP says that atomic proposition is always false: (2 <= p891)
lola: LP says that atomic proposition is always false: (2 <= p810)
lola: LP says that atomic proposition is always false: (2 <= p388)
lola: LP says that atomic proposition is always false: (3 <= p351)
lola: LP says that atomic proposition is always false: (3 <= p248)
lola: LP says that atomic proposition is always false: (2 <= p540)
lola: LP says that atomic proposition is always false: (3 <= p1090)
lola: LP says that atomic proposition is always false: (2 <= p954)
lola: LP says that atomic proposition is always false: (3 <= p1065)
lola: LP says that atomic proposition is always false: (2 <= p629)
lola: LP says that atomic proposition is always false: (2 <= p603)
lola: LP says that atomic proposition is always false: (2 <= p1083)
lola: LP says that atomic proposition is always false: (3 <= p435)
lola: LP says that atomic proposition is always false: (3 <= p1001)
lola: LP says that atomic proposition is always false: (2 <= p720)
lola: LP says that atomic proposition is always false: (3 <= p165)
lola: ((p988 <= p968) AND NOT(NOT(E (G ((p836 <= p953)))))) : A (F (E (G (())))) : (A (G (((p733 <= p12) OR (p515 <= p548)))) AND ((p164 <= p612))) : E (F (A (G ((p891 <= 1))))) : NOT(A (F (()))) : NOT(A (G (A (X ((p119 <= p603)))))) : A (F (())) : NOT(((3 <= p351) OR E (((p629 <= p295) U (3 <= p248))))) : E (G (())) : (A (G (E (X ((p837 <= p630))))) AND ((p478 <= 0))) : NOT(E (G (A (G ((p166 <= p120)))))) : E (G ((E (G ((p661 <= p645))) OR A (G ((p845 <= p939)))))) : (E (G ((((p251 <= p1080) AND (1 <= p28)) OR (p11 <= 0)))) AND A ((() U ((p1082 <= p289))))) : A (G ((p423 <= p99))) : E (G (E (F ((p379 + 1 <= p1022))))) : NOT(E (F (())))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:148
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:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:476
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:184
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:282
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: 48 rewrites
lola: closed formula file CTLCardinality.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: 48 rewrites
lola: closed formula file CTLCardinality.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: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 48 rewrites
lola: closed formula file CTLCardinality.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 3 will run for 273 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: 48 rewrites
lola: closed formula file CTLCardinality.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 296 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: 48 rewrites
lola: closed formula file CTLCardinality.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 5 will run for 323 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: 48 rewrites
lola: closed formula file CTLCardinality.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 6 will run for 355 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: 48 rewrites
lola: closed formula file CTLCardinality.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 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (E (X ((p837 <= p630))))) AND ((p478 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p478 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p478 <= 0))
lola: processed formula length: 13
lola: 48 rewrites
lola: closed formula file CTLCardinality.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 8 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((p837 <= p630)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(EX((p837 <= p630)))
lola: processed formula length: 22
lola: 50 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 540 markings, 539 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F ((p603 + 1 <= p119)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:623
lola: rewrite Frontend/Parser/formula_rewrite.k:714
lola: processed formula: (p603 + 1 <= p119)
lola: processed formula length: 18
lola: 50 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p603 + 1 <= p119)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEF
lola: The predicate is reachable from some successor.
lola: 44510 markings, 52040 edges
lola: ========================================
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p423 <= p99)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((p423 <= p99)))
lola: processed formula length: 21
lola: 50 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p99 + 1 <= p423)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 38 markings, 37 edges
lola: ========================================
lola: subprocess 10 will run for 593 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p120 + 1 <= p166)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((p120 + 1 <= p166)))
lola: processed formula length: 26
lola: 49 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p120 + 1 <= p166)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 130 markings, 130 edges
lola: ========================================
lola: subprocess 11 will run for 711 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((E (G ((p661 <= p645))) OR A (G ((p845 <= p939))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG((EG((p661 <= p645)) OR AG((p845 <= p939))))
lola: processed formula length: 46
lola: 51 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 166875 markings, 535653 edges, 33375 markings/sec, 0 secs
lola: 318668 markings, 1076721 edges, 30359 markings/sec, 5 secs
lola: 483553 markings, 1654342 edges, 32977 markings/sec, 10 secs
lola: 624775 markings, 2229978 edges, 28244 markings/sec, 15 secs
lola: 772257 markings, 2805999 edges, 29496 markings/sec, 20 secs
lola: 928243 markings, 3383716 edges, 31197 markings/sec, 25 secs
lola: 1067459 markings, 3951793 edges, 27843 markings/sec, 30 secs
lola: 1213659 markings, 4521929 edges, 29240 markings/sec, 35 secs
lola: 1345030 markings, 5097466 edges, 26274 markings/sec, 40 secs
lola: 1472731 markings, 5680912 edges, 25540 markings/sec, 45 secs
lola: 1617961 markings, 6259289 edges, 29046 markings/sec, 50 secs
lola: 1760929 markings, 6835408 edges, 28594 markings/sec, 55 secs
lola: 1908209 markings, 7413452 edges, 29456 markings/sec, 60 secs
lola: 2063875 markings, 7992834 edges, 31133 markings/sec, 65 secs
lola: 2203943 markings, 8567434 edges, 28014 markings/sec, 70 secs
lola: 2351309 markings, 9128886 edges, 29473 markings/sec, 75 secs
lola: 2504169 markings, 9708025 edges, 30572 markings/sec, 80 secs
lola: 2647252 markings, 10291298 edges, 28617 markings/sec, 85 secs
lola: 2803613 markings, 10870909 edges, 31272 markings/sec, 90 secs
lola: 2944817 markings, 11449136 edges, 28241 markings/sec, 95 secs
lola: 3093645 markings, 12027409 edges, 29766 markings/sec, 100 secs
lola: 3234515 markings, 12606937 edges, 28174 markings/sec, 105 secs
lola: 3359907 markings, 13185647 edges, 25078 markings/sec, 110 secs
lola: 3491945 markings, 13766171 edges, 26408 markings/sec, 115 secs
lola: 3631075 markings, 14344825 edges, 27826 markings/sec, 120 secs
lola: 3755675 markings, 14922767 edges, 24920 markings/sec, 125 secs
lola: 3887669 markings, 15503716 edges, 26399 markings/sec, 130 secs
lola: 4012367 markings, 16081804 edges, 24940 markings/sec, 135 secs
lola: 4124665 markings, 16658733 edges, 22460 markings/sec, 140 secs
lola: 4243241 markings, 17235789 edges, 23715 markings/sec, 145 secs
lola: 4376039 markings, 17813199 edges, 26560 markings/sec, 150 secs
lola: 4501037 markings, 18390006 edges, 25000 markings/sec, 155 secs
lola: 4633699 markings, 18968370 edges, 26532 markings/sec, 160 secs
lola: 4771669 markings, 19549909 edges, 27594 markings/sec, 165 secs
lola: 4898559 markings, 20131985 edges, 25378 markings/sec, 170 secs
lola: 5030439 markings, 20712376 edges, 26376 markings/sec, 175 secs
lola: 5169483 markings, 21295381 edges, 27809 markings/sec, 180 secs
lola: 5297316 markings, 21880354 edges, 25567 markings/sec, 185 secs
lola: 5430075 markings, 22466517 edges, 26552 markings/sec, 190 secs
lola: 5603509 markings, 23043066 edges, 34687 markings/sec, 195 secs
lola: 5764467 markings, 23616295 edges, 32192 markings/sec, 200 secs
lola: 5928533 markings, 24190780 edges, 32813 markings/sec, 205 secs
lola: 6070845 markings, 24770005 edges, 28462 markings/sec, 210 secs
lola: 6217049 markings, 25341529 edges, 29241 markings/sec, 215 secs
lola: 6369991 markings, 25907663 edges, 30588 markings/sec, 220 secs
lola: 6506619 markings, 26465910 edges, 27326 markings/sec, 225 secs
lola: 6650179 markings, 27025275 edges, 28712 markings/sec, 230 secs
lola: 6781691 markings, 27593844 edges, 26302 markings/sec, 235 secs
lola: 6908237 markings, 28172807 edges, 25309 markings/sec, 240 secs
lola: 7050007 markings, 28751253 edges, 28354 markings/sec, 245 secs
lola: 7196377 markings, 29328901 edges, 29274 markings/sec, 250 secs
lola: 7342121 markings, 29908690 edges, 29149 markings/sec, 255 secs
lola: 7498093 markings, 30489724 edges, 31194 markings/sec, 260 secs
lola: 7640520 markings, 31070092 edges, 28485 markings/sec, 265 secs
lola: 7791430 markings, 31650841 edges, 30182 markings/sec, 270 secs
lola: 7946409 markings, 32233899 edges, 30996 markings/sec, 275 secs
lola: 8090083 markings, 32818646 edges, 28735 markings/sec, 280 secs
lola: 8238925 markings, 33402608 edges, 29768 markings/sec, 285 secs
lola: 8366979 markings, 33982450 edges, 25611 markings/sec, 290 secs
lola: 8496069 markings, 34562441 edges, 25818 markings/sec, 295 secs
lola: 8621208 markings, 35112705 edges, 25028 markings/sec, 300 secs
lola: 8732143 markings, 35658720 edges, 22187 markings/sec, 305 secs
lola: 8837485 markings, 36199782 edges, 21068 markings/sec, 310 secs
lola: 8952755 markings, 36759014 edges, 23054 markings/sec, 315 secs
lola: 9076661 markings, 37337308 edges, 24781 markings/sec, 320 secs
lola: 9189019 markings, 37914637 edges, 22472 markings/sec, 325 secs
lola: 9306713 markings, 38492914 edges, 23539 markings/sec, 330 secs
lola: 9420259 markings, 39062986 edges, 22709 markings/sec, 335 secs
lola: 9523779 markings, 39628815 edges, 20704 markings/sec, 340 secs
lola: 9627619 markings, 40206192 edges, 20768 markings/sec, 345 secs
lola: 9737809 markings, 40787602 edges, 22038 markings/sec, 350 secs
lola: 9860611 markings, 41367851 edges, 24560 markings/sec, 355 secs
lola: 9973740 markings, 41948370 edges, 22626 markings/sec, 360 secs
lola: 10092251 markings, 42528457 edges, 23702 markings/sec, 365 secs
lola: 10216715 markings, 43110125 edges, 24893 markings/sec, 370 secs
lola: 10330373 markings, 43690601 edges, 22732 markings/sec, 375 secs
lola: 10448539 markings, 44270649 edges, 23633 markings/sec, 380 secs
lola: 10574503 markings, 44855616 edges, 25193 markings/sec, 385 secs
lola: 10691483 markings, 45439410 edges, 23396 markings/sec, 390 secs
lola: 10803631 markings, 46005058 edges, 22430 markings/sec, 395 secs
lola: 10930969 markings, 46570016 edges, 25468 markings/sec, 400 secs
lola: 11075659 markings, 47129930 edges, 28938 markings/sec, 405 secs
lola: 11214223 markings, 47691539 edges, 27713 markings/sec, 410 secs
lola: 11357705 markings, 48257341 edges, 28696 markings/sec, 415 secs
lola: 11481371 markings, 48819541 edges, 24733 markings/sec, 420 secs
lola: 11606755 markings, 49381733 edges, 25077 markings/sec, 425 secs
lola: 11744823 markings, 49955208 edges, 27614 markings/sec, 430 secs
lola: 11872115 markings, 50535710 edges, 25458 markings/sec, 435 secs
lola: 12001417 markings, 51114132 edges, 25860 markings/sec, 440 secs
lola: 12131415 markings, 51688792 edges, 26000 markings/sec, 445 secs
lola: 12243559 markings, 52245770 edges, 22429 markings/sec, 450 secs
lola: 12360425 markings, 52838613 edges, 23373 markings/sec, 455 secs
lola: 12490647 markings, 53433702 edges, 26044 markings/sec, 460 secs
lola: 12626285 markings, 54027006 edges, 27128 markings/sec, 465 secs
lola: 12756755 markings, 54622229 edges, 26094 markings/sec, 470 secs
lola: 12895319 markings, 55202589 edges, 27713 markings/sec, 475 secs
lola: 13027993 markings, 55797111 edges, 26535 markings/sec, 480 secs
lola: 13151769 markings, 56356280 edges, 24755 markings/sec, 485 secs
lola: 13282867 markings, 56903871 edges, 26220 markings/sec, 490 secs
lola: 13406513 markings, 57451138 edges, 24729 markings/sec, 495 secs
lola: 13533681 markings, 58032238 edges, 25434 markings/sec, 500 secs
lola: 13685695 markings, 58633454 edges, 30403 markings/sec, 505 secs
lola: 13832033 markings, 59231263 edges, 29268 markings/sec, 510 secs
lola: 13985635 markings, 59830341 edges, 30720 markings/sec, 515 secs
lola: 14126733 markings, 60411828 edges, 28220 markings/sec, 520 secs
lola: 14250874 markings, 60984918 edges, 24828 markings/sec, 525 secs
lola: 14383299 markings, 61567442 edges, 26485 markings/sec, 530 secs
lola: 14522963 markings, 62148158 edges, 27933 markings/sec, 535 secs
lola: 14648221 markings, 62729123 edges, 25052 markings/sec, 540 secs
lola: 14780639 markings, 63311878 edges, 26484 markings/sec, 545 secs
lola: 14905793 markings, 63892377 edges, 25031 markings/sec, 550 secs
lola: 15016643 markings, 64462371 edges, 22170 markings/sec, 555 secs
lola: 15133371 markings, 65030886 edges, 23346 markings/sec, 560 secs
lola: 15269301 markings, 65622509 edges, 27186 markings/sec, 565 secs
lola: 15395821 markings, 66204799 edges, 25304 markings/sec, 570 secs
lola: 15528683 markings, 66787644 edges, 26572 markings/sec, 575 secs
lola: 15667743 markings, 67371912 edges, 27812 markings/sec, 580 secs
lola: 15795007 markings, 67954989 edges, 25453 markings/sec, 585 secs
lola: 15927469 markings, 68538563 edges, 26492 markings/sec, 590 secs
lola: 16067971 markings, 69125568 edges, 28100 markings/sec, 595 secs
lola: 16195105 markings, 69712622 edges, 25427 markings/sec, 600 secs
lola: 16328735 markings, 70300366 edges, 26726 markings/sec, 605 secs
lola: 16483909 markings, 70879594 edges, 31035 markings/sec, 610 secs
lola: 16626171 markings, 71459320 edges, 28452 markings/sec, 615 secs
lola: 16775034 markings, 72040278 edges, 29773 markings/sec, 620 secs
lola: 16907196 markings, 72620755 edges, 26432 markings/sec, 625 secs
lola: 17033707 markings, 73198994 edges, 25302 markings/sec, 630 secs
lola: 17172889 markings, 73782010 edges, 27836 markings/sec, 635 secs
lola: 17302815 markings, 74359967 edges, 25985 markings/sec, 640 secs
lola: 17430251 markings, 74939624 edges, 25487 markings/sec, 645 secs
lola: 17562676 markings, 75521835 edges, 26485 markings/sec, 650 secs
lola: 17680425 markings, 76101387 edges, 23550 markings/sec, 655 secs
lola: 17794189 markings, 76680741 edges, 22753 markings/sec, 660 secs
lola: 17917775 markings, 77260921 edges, 24717 markings/sec, 665 secs
lola: 18053137 markings, 77840892 edges, 27072 markings/sec, 670 secs
lola: 18179733 markings, 78421665 edges, 25319 markings/sec, 675 secs
lola: 18315931 markings, 79003979 edges, 27240 markings/sec, 680 secs
lola: 18450675 markings, 79585639 edges, 26949 markings/sec, 685 secs
lola: 18578165 markings, 80168333 edges, 25498 markings/sec, 690 secs
lola: 18715511 markings, 80752802 edges, 27469 markings/sec, 695 secs
lola: 18848775 markings, 81336337 edges, 26653 markings/sec, 700 secs
lola: 18976693 markings, 81920767 edges, 25584 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown yes yes yes no yes yes no yes unknown unknown no unknown yes
lola: memory consumption: 4391944 KB
lola: time consumption: 721 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 711 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p988 <= p968) AND E (G ((p836 <= p953))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 711 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p988 <= p968)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p988 <= p968)
lola: processed formula length: 14
lola: 48 rewrites
lola: closed formula file CTLCardinality.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 13 will run for 949 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((p836 <= p953)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((p836 <= p953)))
lola: processed formula length: 22
lola: 49 rewrites
lola: closed formula file CTLCardinality.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: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p953 + 1 <= p836)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-13-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 1534 markings, 1604 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 13 will run for 949 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((p733 <= p12) OR (p515 <= p548)))) AND ((p164 <= p612)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 949 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p164 <= p612))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p164 <= p612))
lola: processed formula length: 16
lola: 48 rewrites
lola: closed formula file CTLCardinality.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 14 will run for 1423 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p733 <= p12) OR (p515 <= p548))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((p733 <= p12) OR (p515 <= p548))))
lola: processed formula length: 42
lola: 50 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p12 + 1 <= p733) AND (p548 + 1 <= p515))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 14 will run for 1423 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((((p251 <= p1080) AND (1 <= p28)) OR (p11 <= 0)))) AND ((p1082 <= p289)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1423 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p1082 <= p289))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p1082 <= p289))
lola: processed formula length: 17
lola: 48 rewrites
lola: closed formula file CTLCardinality.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 15 will run for 2846 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((((p251 <= p1080) AND (1 <= p28)) OR (p11 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((((p251 <= p1080) AND (1 <= p28)) OR (p11 <= 0))))
lola: processed formula length: 57
lola: 49 rewrites
lola: closed formula file CTLCardinality.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: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((p1080 + 1 <= p251) OR (p28 <= 0)) AND (1 <= p11))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 349 markings, 369 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 2846 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F ((p379 + 1 <= p1022)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:593
lola: rewrite Frontend/Parser/formula_rewrite.k:628
lola: rewrite Frontend/Parser/formula_rewrite.k:731
lola: processed formula: (p379 + 1 <= p1022)
lola: processed formula length: 19
lola: 51 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p1022 <= p379)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (p379 + 1 <= p1022)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-15-0.sara
lola: state equation: calling and running sara
lola: state equation: write sara problem file to CTLCardinality-15-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-15-0.sara.
sara: try reading problem file CTLCardinality-15-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 105786 markings, 601937 edges, 21157 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 212859 markings, 1226261 edges, 21415 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 302919 markings, 1852138 edges, 18012 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 396276 markings, 2478142 edges, 18671 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 488876 markings, 3102516 edges, 18520 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 579321 markings, 3728316 edges, 18089 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 663388 markings, 4350039 edges, 16813 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 740054 markings, 4973420 edges, 15333 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 830502 markings, 5597812 edges, 18090 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 918872 markings, 6223300 edges, 17674 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 1015349 markings, 6849549 edges, 19295 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 1103690 markings, 7476274 edges, 17668 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 1200665 markings, 8104577 edges, 19395 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 1289403 markings, 8732852 edges, 17748 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 1385228 markings, 9361946 edges, 19165 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 1474121 markings, 9986836 edges, 17779 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 1565056 markings, 10600007 edges, 18187 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 1647111 markings, 11227232 edges, 16411 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 1724282 markings, 11850245 edges, 15434 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 1808415 markings, 12476557 edges, 16827 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 1885042 markings, 13101258 edges, 15325 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 1965534 markings, 13727283 edges, 16098 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 2038759 markings, 14368804 edges, 14645 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 2109639 markings, 15012641 edges, 14176 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 2191607 markings, 15652787 edges, 16394 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 2269495 markings, 16285720 edges, 15578 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 2353346 markings, 16918440 edges, 16770 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 2433744 markings, 17550892 edges, 16080 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 2514539 markings, 18190703 edges, 16159 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 2598441 markings, 18816002 edges, 16780 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 2673348 markings, 19425464 edges, 14981 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 2762270 markings, 20010641 edges, 17784 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 2856075 markings, 20582588 edges, 18761 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 2956314 markings, 21169678 edges, 20048 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 3043900 markings, 21793354 edges, 17517 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 3139320 markings, 22414316 edges, 19084 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 3226728 markings, 23030961 edges, 17482 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 3318484 markings, 23653550 edges, 18351 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 3399533 markings, 24274635 edges, 16210 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 3472270 markings, 24863656 edges, 14547 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 3558976 markings, 25450547 edges, 17341 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 3639008 markings, 26022713 edges, 16006 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 3731618 markings, 26618517 edges, 18522 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 3816720 markings, 27222458 edges, 17020 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 3911290 markings, 27846400 edges, 18914 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 4000895 markings, 28475162 edges, 17921 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 4094376 markings, 29104095 edges, 18696 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 4174116 markings, 29715140 edges, 15948 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 4247582 markings, 30310167 edges, 14693 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 4321048 markings, 30894580 edges, 14693 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 4384989 markings, 31478896 edges, 12788 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 4451059 markings, 32062654 edges, 13214 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 4520708 markings, 32647349 edges, 13930 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 4584011 markings, 33231360 edges, 12661 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 4650876 markings, 33815005 edges, 13373 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 4714850 markings, 34398207 edges, 12795 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 4775121 markings, 35012272 edges, 12054 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 4834356 markings, 35595897 edges, 11847 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 4902553 markings, 36193118 edges, 13639 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 4970439 markings, 36815079 edges, 13577 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 5041396 markings, 37439583 edges, 14191 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 5116569 markings, 38070442 edges, 15035 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 5184335 markings, 38694458 edges, 13553 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 5256338 markings, 39320790 edges, 14401 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 5330223 markings, 39948234 edges, 14777 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 5398764 markings, 40574059 edges, 13708 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 5483028 markings, 41210972 edges, 16853 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 5573154 markings, 41852945 edges, 18025 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 5664519 markings, 42473603 edges, 18273 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 5742312 markings, 43092848 edges, 15559 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 5821319 markings, 43716085 edges, 15801 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 5905039 markings, 44339537 edges, 16744 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 5981519 markings, 44959573 edges, 15296 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 6060690 markings, 45579797 edges, 15834 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 6129548 markings, 46202452 edges, 13772 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 6198572 markings, 46818817 edges, 13805 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 6278611 markings, 47440939 edges, 16008 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 6355166 markings, 48063278 edges, 15311 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 6437706 markings, 48685541 edges, 16508 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 6516720 markings, 49306613 edges, 15803 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 6595254 markings, 49927028 edges, 15707 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 6679164 markings, 50552610 edges, 16782 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 6755942 markings, 51178307 edges, 15356 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 6844638 markings, 51801042 edges, 17739 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 6931203 markings, 52418640 edges, 17313 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 7022135 markings, 53036147 edges, 18186 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 7101154 markings, 53658295 edges, 15804 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 7179679 markings, 54279579 edges, 15705 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 7263219 markings, 54901813 edges, 16708 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 7339671 markings, 55524011 edges, 15290 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 7419456 markings, 56147259 edges, 15957 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 7488744 markings, 56769791 edges, 13858 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 7554308 markings, 57359664 edges, 13113 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 7629256 markings, 57944348 edges, 14990 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 7700927 markings, 58528331 edges, 14334 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 7778285 markings, 59132721 edges, 15472 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 7861892 markings, 59755302 edges, 16721 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 7938529 markings, 60378022 edges, 15327 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 8022056 markings, 61000051 edges, 16705 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 8099226 markings, 61627360 edges, 15434 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 8183347 markings, 62252634 edges, 16824 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 8273584 markings, 62873485 edges, 18047 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 8364387 markings, 63494346 edges, 18161 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 8447345 markings, 64114155 edges, 16592 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 8523809 markings, 64736188 edges, 15293 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 8607269 markings, 65357446 edges, 16692 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 8683586 markings, 65978262 edges, 15263 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 8763579 markings, 66599154 edges, 15999 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 8835674 markings, 67218159 edges, 14419 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 8903339 markings, 67838342 edges, 13533 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 8981086 markings, 68456974 edges, 15549 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 9056797 markings, 69075920 edges, 15142 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 9134705 markings, 69682195 edges, 15582 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 9216213 markings, 70287680 edges, 16302 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 9292138 markings, 70905389 edges, 15185 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 9375143 markings, 71522865 edges, 16601 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 9451721 markings, 72146008 edges, 15316 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 9530284 markings, 72758743 edges, 15713 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 9622451 markings, 73360362 edges, 18433 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 9708869 markings, 73967792 edges, 17284 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 9794591 markings, 74591624 edges, 17144 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 9870631 markings, 75208518 edges, 15208 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 9953762 markings, 75827562 edges, 16626 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 10028090 markings, 76434191 edges, 14866 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 10106947 markings, 77049569 edges, 15771 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 10180940 markings, 77663206 edges, 14799 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 10247773 markings, 78279093 edges, 13367 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 10322187 markings, 78903124 edges, 14883 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 10403055 markings, 79529363 edges, 16174 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 10481130 markings, 80152237 edges, 15615 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 10565151 markings, 80777112 edges, 16804 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 10644226 markings, 81421078 edges, 15815 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 10728229 markings, 82046116 edges, 16801 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 10805644 markings, 82675929 edges, 15483 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 10885164 markings, 83296948 edges, 15904 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 10979396 markings, 83916489 edges, 18846 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 11066812 markings, 84530431 edges, 17483 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 11153682 markings, 85161918 edges, 17374 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 11229543 markings, 85778914 edges, 15172 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 11313004 markings, 86400374 edges, 16692 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 11390642 markings, 87033659 edges, 15528 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 11470990 markings, 87659072 edges, 16070 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 11546136 markings, 88285900 edges, 15029 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 11614446 markings, 88913814 edges, 13662 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 11690884 markings, 89542115 edges, 15288 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 11770264 markings, 90170367 edges, 15876 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 11850688 markings, 90805738 edges, 16085 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 11935703 markings, 91438981 edges, 17003 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 12013765 markings, 92072421 edges, 15612 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 12098610 markings, 92705830 edges, 16969 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 12176492 markings, 93337679 edges, 15576 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 12258677 markings, 93966204 edges, 16437 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 12352341 markings, 94596078 edges, 18733 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 12445663 markings, 95241399 edges, 18664 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 12532336 markings, 95886750 edges, 17335 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 12611857 markings, 96532203 edges, 15904 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 12698573 markings, 97178042 edges, 17343 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 12777038 markings, 97817289 edges, 15693 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 12859867 markings, 98461423 edges, 16566 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 12932545 markings, 99106464 edges, 14536 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 13004141 markings, 99750430 edges, 14319 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 13087421 markings, 100396989 edges, 16656 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 13166747 markings, 101042673 edges, 15865 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 13253314 markings, 101688149 edges, 17313 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 13333315 markings, 102335304 edges, 16000 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 13416228 markings, 102983228 edges, 16583 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 13502686 markings, 103628221 edges, 17292 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 13581325 markings, 104266720 edges, 15728 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 13668011 markings, 104913528 edges, 17337 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 13747323 markings, 105557776 edges, 15862 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 13829677 markings, 106198606 edges, 16471 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 13901123 markings, 106823833 edges, 14289 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 13970747 markings, 107457947 edges, 13925 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 14047919 markings, 108106838 edges, 15434 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 14118664 markings, 108753998 edges, 14149 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 14191809 markings, 109398101 edges, 14629 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 14261868 markings, 110045897 edges, 14012 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 14324472 markings, 110688811 edges, 12521 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 14390489 markings, 111335423 edges, 13203 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 14466803 markings, 111978165 edges, 15263 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 14537643 markings, 112625981 edges, 14168 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 14614288 markings, 113274311 edges, 15329 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 14683146 markings, 113889814 edges, 13772 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 14748051 markings, 114475091 edges, 12981 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 14818673 markings, 115063243 edges, 14124 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 14884086 markings, 115660795 edges, 13083 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 14951206 markings, 116256352 edges, 13424 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 15034529 markings, 116841964 edges, 16665 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 15123522 markings, 117470997 edges, 17799 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 15215832 markings, 118118579 edges, 18462 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 15288906 markings, 118711788 edges, 14615 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 15363675 markings, 119297219 edges, 14954 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 15442352 markings, 119880393 edges, 15735 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 15519475 markings, 120507309 edges, 15425 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 15594038 markings, 121092436 edges, 14913 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 15658593 markings, 121677508 edges, 12911 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 15723777 markings, 122262292 edges, 13037 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 15798869 markings, 122847755 edges, 15018 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 15870605 markings, 123432191 edges, 14347 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 15949979 markings, 124048116 edges, 15875 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 16031735 markings, 124659680 edges, 16351 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 16103540 markings, 125244671 edges, 14361 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 16182612 markings, 125831742 edges, 15814 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 16256311 markings, 126432043 edges, 14740 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 16331736 markings, 127020139 edges, 15085 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 16402573 markings, 127605348 edges, 14167 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 16465650 markings, 128190349 edges, 12615 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 16532404 markings, 128776018 edges, 13351 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 16596868 markings, 129376041 edges, 12893 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 16657415 markings, 129999352 edges, 12109 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 16721389 markings, 130625768 edges, 12795 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 16787270 markings, 131240172 edges, 13176 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 16848093 markings, 131862021 edges, 12165 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 16911912 markings, 132487846 edges, 12764 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 16972874 markings, 133109606 edges, 12192 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 17028620 markings, 133735183 edges, 11149 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 17086256 markings, 134359673 edges, 11527 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 17150458 markings, 134984360 edges, 12840 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 17212612 markings, 135609040 edges, 12431 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 17275023 markings, 136233343 edges, 12482 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 17342133 markings, 136859912 edges, 13422 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 17404850 markings, 137486038 edges, 12543 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 17467140 markings, 138111228 edges, 12458 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 17534389 markings, 138739788 edges, 13450 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 17597764 markings, 139368555 edges, 12675 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 17660092 markings, 139998038 edges, 12466 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 17735076 markings, 140626016 edges, 14997 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 17811346 markings, 141250206 edges, 15254 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 17891464 markings, 141874983 edges, 16024 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 17966198 markings, 142500943 edges, 14947 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 18034507 markings, 143126879 edges, 13662 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 18107974 markings, 143752812 edges, 14693 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 18179390 markings, 144377488 edges, 14283 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 18247929 markings, 145001936 edges, 13708 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 18318762 markings, 145628714 edges, 14167 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 18380722 markings, 146253718 edges, 12392 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 18443160 markings, 146876922 edges, 12488 markings/sec, 1180 secs
lola: sara is running 1185 secs || sara is running 1185 secs || 18513892 markings, 147499158 edges, 14146 markings/sec, 1185 secs
lola: sara is running 1190 secs || sara is running 1190 secs || 18577891 markings, 148083167 edges, 12800 markings/sec, 1190 secs
lola: sara is running 1195 secs || sara is running 1195 secs || 18643194 markings, 148666305 edges, 13061 markings/sec, 1195 secs
lola: sara is running 1200 secs || sara is running 1200 secs || 18713120 markings, 149251351 edges, 13985 markings/sec, 1200 secs
lola: sara is running 1205 secs || sara is running 1205 secs || 18780902 markings, 149874645 edges, 13556 markings/sec, 1205 secs
lola: sara is running 1210 secs || sara is running 1210 secs || 18852157 markings, 150499644 edges, 14251 markings/sec, 1210 secs
lola: sara is running 1215 secs || sara is running 1215 secs || 18927044 markings, 151127918 edges, 14977 markings/sec, 1215 secs
lola: sara is running 1220 secs || sara is running 1220 secs || 18995332 markings, 151756392 edges, 13658 markings/sec, 1220 secs
lola: sara is running 1225 secs || sara is running 1225 secs || 19069688 markings, 152385681 edges, 14871 markings/sec, 1225 secs
lola: sara is running 1230 secs || sara is running 1230 secs || 19151098 markings, 153009798 edges, 16282 markings/sec, 1230 secs
lola: sara is running 1235 secs || sara is running 1235 secs || 19228378 markings, 153632920 edges, 15456 markings/sec, 1235 secs
lola: sara is running 1240 secs || sara is running 1240 secs || 19305507 markings, 154257735 edges, 15426 markings/sec, 1240 secs
lola: sara is running 1245 secs || sara is running 1245 secs || 19374055 markings, 154882982 edges, 13710 markings/sec, 1245 secs
lola: sara is running 1250 secs || sara is running 1250 secs || 19444739 markings, 155507693 edges, 14137 markings/sec, 1250 secs
lola: sara is running 1255 secs || sara is running 1255 secs || 19518982 markings, 156130633 edges, 14849 markings/sec, 1255 secs
lola: sara is running 1260 secs || sara is running 1260 secs || 19586898 markings, 156755955 edges, 13583 markings/sec, 1260 secs
lola: sara is running 1265 secs || sara is running 1265 secs || 19656874 markings, 157368285 edges, 13995 markings/sec, 1265 secs
lola: sara is running 1270 secs || sara is running 1270 secs || 19718036 markings, 157952906 edges, 12232 markings/sec, 1270 secs
lola: sara is running 1275 secs || sara is running 1275 secs || 19774924 markings, 158537529 edges, 11378 markings/sec, 1275 secs
lola: sara is running 1280 secs || sara is running 1280 secs || 19835081 markings, 159125739 edges, 12031 markings/sec, 1280 secs
lola: sara is running 1285 secs || sara is running 1285 secs || 19909578 markings, 159753359 edges, 14899 markings/sec, 1285 secs
lola: sara is running 1290 secs || sara is running 1290 secs || 19977710 markings, 160379406 edges, 13626 markings/sec, 1290 secs
lola: sara is running 1295 secs || sara is running 1295 secs || 20051332 markings, 161006523 edges, 14724 markings/sec, 1295 secs
lola: sara is running 1300 secs || sara is running 1300 secs || 20123257 markings, 161634637 edges, 14385 markings/sec, 1300 secs
lola: sara is running 1305 secs || sara is running 1305 secs || 20192758 markings, 162267700 edges, 13900 markings/sec, 1305 secs
lola: sara is running 1310 secs || sara is running 1310 secs || 20270184 markings, 162918699 edges, 15485 markings/sec, 1310 secs
lola: sara is running 1315 secs || sara is running 1315 secs || 20340168 markings, 163560313 edges, 13997 markings/sec, 1315 secs
lola: sara is running 1320 secs || sara is running 1320 secs || 20413596 markings, 164206201 edges, 14686 markings/sec, 1320 secs
lola: sara is running 1325 secs || sara is running 1325 secs || 20498378 markings, 164845184 edges, 16956 markings/sec, 1325 secs
lola: sara is running 1330 secs || sara is running 1330 secs || 20577599 markings, 165488891 edges, 15844 markings/sec, 1330 secs
lola: sara is running 1335 secs || sara is running 1335 secs || 20658195 markings, 166130401 edges, 16119 markings/sec, 1335 secs
lola: sara is running 1340 secs || sara is running 1340 secs || 20726082 markings, 166754921 edges, 13577 markings/sec, 1340 secs
lola: sara is running 1345 secs || sara is running 1345 secs || 20797378 markings, 167379898 edges, 14259 markings/sec, 1345 secs
lola: sara is running 1350 secs || sara is running 1350 secs || 20872070 markings, 168006097 edges, 14938 markings/sec, 1350 secs
lola: sara is running 1355 secs || sara is running 1355 secs || 20937038 markings, 168605428 edges, 12994 markings/sec, 1355 secs
lola: sara is running 1360 secs || sara is running 1360 secs || 21003456 markings, 169190152 edges, 13284 markings/sec, 1360 secs
lola: sara is running 1365 secs || sara is running 1365 secs || 21066394 markings, 169774017 edges, 12588 markings/sec, 1365 secs
lola: sara is running 1370 secs || sara is running 1370 secs || 21124918 markings, 170371680 edges, 11705 markings/sec, 1370 secs
lola: sara is running 1375 secs || sara is running 1375 secs || 21192105 markings, 171033065 edges, 13437 markings/sec, 1375 secs
lola: sara is running 1380 secs || sara is running 1380 secs || 21268319 markings, 171679929 edges, 15243 markings/sec, 1380 secs
lola: sara is running 1385 secs || sara is running 1385 secs || 21340844 markings, 172343587 edges, 14505 markings/sec, 1385 secs
lola: sara is running 1390 secs || sara is running 1390 secs || 21416672 markings, 172987975 edges, 15166 markings/sec, 1390 secs
lola: sara is running 1395 secs || sara is running 1395 secs || 21488341 markings, 173622112 edges, 14334 markings/sec, 1395 secs
lola: sara is running 1400 secs || sara is running 1400 secs || 21559642 markings, 174266798 edges, 14260 markings/sec, 1400 secs
lola: sara is running 1405 secs || sara is running 1405 secs || 21636695 markings, 174914650 edges, 15411 markings/sec, 1405 secs
lola: sara is running 1410 secs || sara is running 1410 secs || 21707704 markings, 175561855 edges, 14202 markings/sec, 1410 secs
lola: sara is running 1415 secs || sara is running 1415 secs || 21777836 markings, 176181484 edges, 14026 markings/sec, 1415 secs
lola: sara is running 1420 secs || sara is running 1420 secs || 21860380 markings, 176799789 edges, 16509 markings/sec, 1420 secs
lola: sara is running 1425 secs || sara is running 1425 secs || 21936936 markings, 177422428 edges, 15311 markings/sec, 1425 secs
lola: sara is running 1430 secs || sara is running 1430 secs || 22014832 markings, 178035487 edges, 15579 markings/sec, 1430 secs
lola: sara is running 1435 secs || sara is running 1435 secs || 22083267 markings, 178662978 edges, 13687 markings/sec, 1435 secs
lola: sara is running 1440 secs || sara is running 1440 secs || 22154978 markings, 179295320 edges, 14342 markings/sec, 1440 secs
lola: sara is running 1445 secs || sara is running 1445 secs || 22229308 markings, 179920520 edges, 14866 markings/sec, 1445 secs
lola: sara is running 1450 secs || sara is running 1450 secs || 22297031 markings, 180543493 edges, 13545 markings/sec, 1450 secs
lola: sara is running 1455 secs || sara is running 1455 secs || 22367721 markings, 181163705 edges, 14138 markings/sec, 1455 secs
lola: sara is running 1460 secs || sara is running 1460 secs || 22434046 markings, 181786110 edges, 13265 markings/sec, 1460 secs
lola: sara is running 1465 secs || sara is running 1465 secs || 22494918 markings, 182409995 edges, 12174 markings/sec, 1465 secs
lola: sara is running 1470 secs || sara is running 1470 secs || 22558636 markings, 183033540 edges, 12744 markings/sec, 1470 secs
lola: sara is running 1475 secs || sara is running 1475 secs || 22632536 markings, 183654975 edges, 14780 markings/sec, 1475 secs
lola: sara is running 1480 secs || sara is running 1480 secs || 22700570 markings, 184279971 edges, 13607 markings/sec, 1480 secs
lola: sara is running 1485 secs || sara is running 1485 secs || 22773648 markings, 184902871 edges, 14616 markings/sec, 1485 secs
lola: sara is running 1490 secs || sara is running 1490 secs || 22845351 markings, 185528083 edges, 14341 markings/sec, 1490 secs
lola: sara is running 1495 secs || sara is running 1495 secs || 22913342 markings, 186147957 edges, 13598 markings/sec, 1495 secs
lola: sara is running 1500 secs || sara is running 1500 secs || 22987904 markings, 186772462 edges, 14912 markings/sec, 1500 secs
lola: sara is running 1505 secs || sara is running 1505 secs || 23056250 markings, 187399133 edges, 13669 markings/sec, 1505 secs
lola: sara is running 1510 secs || sara is running 1510 secs || 23127469 markings, 188026184 edges, 14244 markings/sec, 1510 secs
lola: sara is running 1515 secs || sara is running 1515 secs || 23209814 markings, 188653568 edges, 16469 markings/sec, 1515 secs
lola: sara is running 1520 secs || sara is running 1520 secs || 23286706 markings, 189280470 edges, 15378 markings/sec, 1520 secs
lola: sara is running 1525 secs || sara is running 1525 secs || 23367069 markings, 189908270 edges, 16073 markings/sec, 1525 secs
lola: sara is running 1530 secs || sara is running 1530 secs || 23436950 markings, 190537149 edges, 13976 markings/sec, 1530 secs
lola: sara is running 1535 secs || sara is running 1535 secs || 23507262 markings, 191165969 edges, 14062 markings/sec, 1535 secs
lola: sara is running 1540 secs || sara is running 1540 secs || 23581843 markings, 191794211 edges, 14916 markings/sec, 1540 secs
lola: sara is running 1545 secs || sara is running 1545 secs || 23650483 markings, 192421966 edges, 13728 markings/sec, 1545 secs
lola: sara is running 1550 secs || sara is running 1550 secs || 23721799 markings, 193050249 edges, 14263 markings/sec, 1550 secs
lola: sara is running 1555 secs || sara is running 1555 secs || 23789705 markings, 193678524 edges, 13581 markings/sec, 1555 secs
lola: sara is running 1560 secs || sara is running 1560 secs || 23848022 markings, 194274981 edges, 11663 markings/sec, 1560 secs
lola: sara is running 1565 secs || sara is running 1565 secs || 23911869 markings, 194903283 edges, 12769 markings/sec, 1565 secs
lola: sara is running 1570 secs || sara is running 1570 secs || 23988155 markings, 195552569 edges, 15257 markings/sec, 1570 secs
lola: sara is running 1575 secs || sara is running 1575 secs || 24058594 markings, 196201381 edges, 14088 markings/sec, 1575 secs
lola: sara is running 1580 secs || sara is running 1580 secs || 24134428 markings, 196848329 edges, 15167 markings/sec, 1580 secs
lola: sara is running 1585 secs || sara is running 1585 secs || 24208862 markings, 197497478 edges, 14887 markings/sec, 1585 secs
lola: sara is running 1590 secs || sara is running 1590 secs || 24280089 markings, 198145682 edges, 14245 markings/sec, 1590 secs
lola: sara is running 1595 secs || sara is running 1595 secs || 24356912 markings, 198791841 edges, 15365 markings/sec, 1595 secs
lola: sara is running 1600 secs || sara is running 1600 secs || 24421102 markings, 199383366 edges, 12838 markings/sec, 1600 secs
lola: sara is running 1605 secs || sara is running 1605 secs || 24488823 markings, 199975856 edges, 13544 markings/sec, 1605 secs
lola: sara is running 1610 secs || sara is running 1610 secs || 24574391 markings, 200561188 edges, 17114 markings/sec, 1610 secs
lola: sara is running 1615 secs || sara is running 1615 secs || 24654616 markings, 201130630 edges, 16045 markings/sec, 1615 secs
lola: sara is running 1620 secs || sara is running 1620 secs || 24736569 markings, 201694318 edges, 16391 markings/sec, 1620 secs
lola: sara is running 1625 secs || sara is running 1625 secs || 24810374 markings, 202300775 edges, 14761 markings/sec, 1625 secs
lola: sara is running 1630 secs || sara is running 1630 secs || 24885715 markings, 202885829 edges, 15068 markings/sec, 1630 secs
lola: sara is running 1635 secs || sara is running 1635 secs || 24964421 markings, 203470095 edges, 15741 markings/sec, 1635 secs
lola: sara is running 1640 secs || sara is running 1640 secs || 25036022 markings, 204053581 edges, 14320 markings/sec, 1640 secs
lola: sara is running 1645 secs || sara is running 1645 secs || 25111090 markings, 204639062 edges, 15014 markings/sec, 1645 secs
lola: sara is running 1650 secs || sara is running 1650 secs || 25177717 markings, 205223024 edges, 13325 markings/sec, 1650 secs
lola: sara is running 1655 secs || sara is running 1655 secs || 25245000 markings, 205836964 edges, 13457 markings/sec, 1655 secs
lola: sara is running 1660 secs || sara is running 1660 secs || 25319392 markings, 206422356 edges, 14878 markings/sec, 1660 secs
lola: sara is running 1665 secs || sara is running 1665 secs || 25391319 markings, 207010759 edges, 14385 markings/sec, 1665 secs
lola: sara is running 1670 secs || sara is running 1670 secs || 25466177 markings, 207594653 edges, 14972 markings/sec, 1670 secs
lola: sara is running 1675 secs || sara is running 1675 secs || 25545060 markings, 208179962 edges, 15777 markings/sec, 1675 secs
lola: sara is running 1680 secs || sara is running 1680 secs || 25616397 markings, 208764810 edges, 14267 markings/sec, 1680 secs
lola: sara is running 1685 secs || sara is running 1685 secs || 25694747 markings, 209350427 edges, 15670 markings/sec, 1685 secs
lola: sara is running 1690 secs || sara is running 1690 secs || 25770855 markings, 209952361 edges, 15222 markings/sec, 1690 secs
lola: sara is running 1695 secs || sara is running 1695 secs || 25850000 markings, 210578835 edges, 15829 markings/sec, 1695 secs
lola: sara is running 1700 secs || sara is running 1700 secs || 25933863 markings, 211203843 edges, 16773 markings/sec, 1700 secs
lola: sara is running 1705 secs || sara is running 1705 secs || 26010464 markings, 211827166 edges, 15320 markings/sec, 1705 secs
lola: sara is running 1710 secs || sara is running 1710 secs || 26090381 markings, 212451357 edges, 15983 markings/sec, 1710 secs
lola: sara is running 1715 secs || sara is running 1715 secs || 26159933 markings, 213077495 edges, 13910 markings/sec, 1715 secs
lola: sara is running 1720 secs || sara is running 1720 secs || 26229722 markings, 213702017 edges, 13958 markings/sec, 1720 secs
lola: sara is running 1725 secs || sara is running 1725 secs || 26304024 markings, 214327441 edges, 14860 markings/sec, 1725 secs
lola: sara is running 1730 secs || sara is running 1730 secs || 26372183 markings, 214951883 edges, 13632 markings/sec, 1730 secs
lola: sara is running 1735 secs || sara is running 1735 secs || 26443147 markings, 215576507 edges, 14193 markings/sec, 1735 secs
lola: sara is running 1740 secs || sara is running 1740 secs || 26511855 markings, 216211677 edges, 13742 markings/sec, 1740 secs
lola: sara is running 1745 secs || sara is running 1745 secs || 26573092 markings, 216838934 edges, 12247 markings/sec, 1745 secs
lola: sara is running 1750 secs || sara is running 1750 secs || 26638474 markings, 217479448 edges, 13076 markings/sec, 1750 secs
lola: sara is running 1755 secs || sara is running 1755 secs || 26714121 markings, 218120945 edges, 15129 markings/sec, 1755 secs
lola: sara is running 1760 secs || sara is running 1760 secs || 26782237 markings, 218748088 edges, 13623 markings/sec, 1760 secs
lola: sara is running 1765 secs || sara is running 1765 secs || 26854884 markings, 219368052 edges, 14529 markings/sec, 1765 secs
lola: sara is running 1770 secs || sara is running 1770 secs || 26927016 markings, 219993411 edges, 14426 markings/sec, 1770 secs
lola: sara is running 1775 secs || sara is running 1775 secs || 26995587 markings, 220619774 edges, 13714 markings/sec, 1775 secs
lola: sara is running 1780 secs || sara is running 1780 secs || 27071450 markings, 221254553 edges, 15173 markings/sec, 1780 secs
lola: sara is running 1785 secs || sara is running 1785 secs || 27139952 markings, 221882978 edges, 13700 markings/sec, 1785 secs
lola: sara is running 1790 secs || sara is running 1790 secs || 27211325 markings, 222511717 edges, 14275 markings/sec, 1790 secs
lola: sara is running 1795 secs || sara is running 1795 secs || 27302557 markings, 223136747 edges, 18246 markings/sec, 1795 secs
lola: sara is running 1800 secs || sara is running 1800 secs || 27390443 markings, 223761238 edges, 17577 markings/sec, 1800 secs
lola: sara is running 1805 secs || sara is running 1805 secs || 27478974 markings, 224389109 edges, 17706 markings/sec, 1805 secs
lola: sara is running 1810 secs || sara is running 1810 secs || 27555439 markings, 225012098 edges, 15293 markings/sec, 1810 secs
lola: sara is running 1815 secs || sara is running 1815 secs || 27638319 markings, 225635514 edges, 16576 markings/sec, 1815 secs
lola: sara is running 1820 secs || sara is running 1820 secs || 27717129 markings, 226258390 edges, 15762 markings/sec, 1820 secs
lola: sara is running 1825 secs || sara is running 1825 secs || 27795775 markings, 226880592 edges, 15729 markings/sec, 1825 secs
lola: sara is running 1830 secs || sara is running 1830 secs || 27872030 markings, 227505919 edges, 15251 markings/sec, 1830 secs
lola: sara is running 1835 secs || sara is running 1835 secs || 27939901 markings, 228130834 edges, 13574 markings/sec, 1835 secs
lola: sara is running 1840 secs || sara is running 1840 secs || 28013158 markings, 228756303 edges, 14651 markings/sec, 1840 secs
lola: sara is running 1845 secs || sara is running 1845 secs || 28094953 markings, 229379352 edges, 16359 markings/sec, 1845 secs
lola: sara is running 1850 secs || sara is running 1850 secs || 28172240 markings, 230004892 edges, 15457 markings/sec, 1850 secs
lola: sara is running 1855 secs || sara is running 1855 secs || 28256500 markings, 230631423 edges, 16852 markings/sec, 1855 secs
lola: sara is running 1860 secs || sara is running 1860 secs || 28333421 markings, 231257515 edges, 15384 markings/sec, 1860 secs
lola: sara is running 1865 secs || sara is running 1865 secs || 28416275 markings, 231880768 edges, 16571 markings/sec, 1865 secs
lola: sara is running 1870 secs || sara is running 1870 secs || 28496039 markings, 232512477 edges, 15953 markings/sec, 1870 secs
lola: sara is running 1875 secs || sara is running 1875 secs || 28576592 markings, 233148457 edges, 16111 markings/sec, 1875 secs
lola: sara is running 1880 secs || sara is running 1880 secs || 28654505 markings, 233788284 edges, 15583 markings/sec, 1880 secs
lola: sara is running 1885 secs || sara is running 1885 secs || 28722103 markings, 234413660 edges, 13520 markings/sec, 1885 secs
lola: sara is running 1890 secs || sara is running 1890 secs || 28794667 markings, 235048177 edges, 14513 markings/sec, 1890 secs
lola: sara is running 1895 secs || sara is running 1895 secs || 28860305 markings, 235675737 edges, 13128 markings/sec, 1895 secs
lola: sara is running 1900 secs || sara is running 1900 secs || 28921665 markings, 236304153 edges, 12272 markings/sec, 1900 secs
lola: sara is running 1905 secs || sara is running 1905 secs || 28987045 markings, 236929783 edges, 13076 markings/sec, 1905 secs
lola: sara is running 1910 secs || sara is running 1910 secs || 29052496 markings, 237554415 edges, 13090 markings/sec, 1910 secs
lola: sara is running 1915 secs || sara is running 1915 secs || 29113392 markings, 238178495 edges, 12179 markings/sec, 1915 secs
lola: sara is running 1920 secs || sara is running 1920 secs || 29177691 markings, 238804997 edges, 12860 markings/sec, 1920 secs
lola: sara is running 1925 secs || sara is running 1925 secs || 29238094 markings, 239430869 edges, 12081 markings/sec, 1925 secs
lola: sara is running 1930 secs || sara is running 1930 secs || 29293307 markings, 240053603 edges, 11043 markings/sec, 1930 secs
lola: sara is running 1935 secs || sara is running 1935 secs || 29350867 markings, 240676414 edges, 11512 markings/sec, 1935 secs
lola: sara is running 1940 secs || sara is running 1940 secs || 29415595 markings, 241299684 edges, 12946 markings/sec, 1940 secs
lola: sara is running 1945 secs || sara is running 1945 secs || 29476890 markings, 241926011 edges, 12259 markings/sec, 1945 secs
lola: sara is running 1950 secs || sara is running 1950 secs || 29541024 markings, 242550871 edges, 12827 markings/sec, 1950 secs
lola: sara is running 1955 secs || sara is running 1955 secs || 29607686 markings, 243177596 edges, 13332 markings/sec, 1955 secs
lola: sara is running 1960 secs || sara is running 1960 secs || 29669145 markings, 243803433 edges, 12292 markings/sec, 1960 secs
lola: sara is running 1965 secs || sara is running 1965 secs || 29733094 markings, 244430074 edges, 12790 markings/sec, 1965 secs
lola: sara is running 1970 secs || sara is running 1970 secs || 29800182 markings, 245059174 edges, 13418 markings/sec, 1970 secs
lola: sara is running 1975 secs || sara is running 1975 secs || 29859467 markings, 245659406 edges, 11857 markings/sec, 1975 secs
lola: sara is running 1980 secs || sara is running 1980 secs || 29920330 markings, 246262694 edges, 12173 markings/sec, 1980 secs
lola: sara is running 1985 secs || sara is running 1985 secs || 29988797 markings, 246824344 edges, 13693 markings/sec, 1985 secs
lola: sara is running 1990 secs || sara is running 1990 secs || 30057802 markings, 247388759 edges, 13801 markings/sec, 1990 secs
lola: sara is running 1995 secs || sara is running 1995 secs || 30131313 markings, 247963305 edges, 14702 markings/sec, 1995 secs
lola: sara is running 2000 secs || sara is running 2000 secs || 30200057 markings, 248526748 edges, 13749 markings/sec, 2000 secs
lola: sara is running 2005 secs || sara is running 2005 secs || 30261637 markings, 249092562 edges, 12316 markings/sec, 2005 secs
lola: sara is running 2010 secs || sara is running 2010 secs || 30328513 markings, 249680497 edges, 13375 markings/sec, 2010 secs
lola: sara is running 2015 secs || sara is running 2015 secs || 30398530 markings, 250265897 edges, 14003 markings/sec, 2015 secs
lola: sara is running 2020 secs || sara is running 2020 secs || 30461945 markings, 250850453 edges, 12683 markings/sec, 2020 secs
lola: sara is running 2025 secs || sara is running 2025 secs || 30528549 markings, 251436982 edges, 13321 markings/sec, 2025 secs
lola: sara is running 2030 secs || sara is running 2030 secs || 30596613 markings, 252066665 edges, 13613 markings/sec, 2030 secs
lola: sara is running 2035 secs || sara is running 2035 secs || 30659326 markings, 252709695 edges, 12543 markings/sec, 2035 secs
lola: sara is running 2040 secs || sara is running 2040 secs || 30723358 markings, 253336282 edges, 12806 markings/sec, 2040 secs
lola: sara is running 2045 secs || sara is running 2045 secs || 30797257 markings, 253961302 edges, 14780 markings/sec, 2045 secs
lola: sara is running 2050 secs || sara is running 2050 secs || 30865118 markings, 254586141 edges, 13572 markings/sec, 2050 secs
lola: sara is running 2055 secs || sara is running 2055 secs || 30940557 markings, 255230314 edges, 15088 markings/sec, 2055 secs
lola: sara is running 2060 secs || sara is running 2060 secs || 31013624 markings, 255866029 edges, 14613 markings/sec, 2060 secs
lola: sara is running 2065 secs || sara is running 2065 secs || 31081699 markings, 256486622 edges, 13615 markings/sec, 2065 secs
lola: sara is running 2070 secs || sara is running 2070 secs || 31156572 markings, 257114520 edges, 14975 markings/sec, 2070 secs
lola: sara is running 2075 secs || sara is running 2075 secs || 31224817 markings, 257739962 edges, 13649 markings/sec, 2075 secs
lola: sara is running 2080 secs || sara is running 2080 secs || 31296742 markings, 258373598 edges, 14385 markings/sec, 2080 secs
lola: sara is running 2085 secs || sara is running 2085 secs || 31378783 markings, 258998095 edges, 16408 markings/sec, 2085 secs
lola: sara is running 2090 secs || sara is running 2090 secs || 31455363 markings, 259621421 edges, 15316 markings/sec, 2090 secs
lola: sara is running 2095 secs || sara is running 2095 secs || 31535140 markings, 260244537 edges, 15955 markings/sec, 2095 secs
lola: sara is running 2100 secs || sara is running 2100 secs || 31604760 markings, 260870543 edges, 13924 markings/sec, 2100 secs
lola: sara is running 2105 secs || sara is running 2105 secs || 31674558 markings, 261495751 edges, 13960 markings/sec, 2105 secs
lola: sara is running 2110 secs || sara is running 2110 secs || 31748754 markings, 262119790 edges, 14839 markings/sec, 2110 secs
lola: sara is running 2115 secs || sara is running 2115 secs || 31816699 markings, 262742327 edges, 13589 markings/sec, 2115 secs
lola: sara is running 2120 secs || sara is running 2120 secs || 31887252 markings, 263363069 edges, 14111 markings/sec, 2120 secs
lola: sara is running 2125 secs || sara is running 2125 secs || 31954937 markings, 263987207 edges, 13537 markings/sec, 2125 secs
lola: sara is running 2130 secs || sara is running 2130 secs || 32016085 markings, 264610873 edges, 12230 markings/sec, 2130 secs
lola: sara is running 2135 secs || sara is running 2135 secs || 32079507 markings, 265234933 edges, 12684 markings/sec, 2135 secs
lola: sara is running 2140 secs || sara is running 2140 secs || 32152946 markings, 265859284 edges, 14688 markings/sec, 2140 secs
lola: sara is running 2145 secs || sara is running 2145 secs || 32220502 markings, 266482665 edges, 13511 markings/sec, 2145 secs
lola: sara is running 2150 secs || sara is running 2150 secs || 32292856 markings, 267106153 edges, 14471 markings/sec, 2150 secs
lola: sara is running 2155 secs || sara is running 2155 secs || 32364505 markings, 267720003 edges, 14330 markings/sec, 2155 secs
lola: sara is running 2160 secs || sara is running 2160 secs || 32432896 markings, 268343351 edges, 13678 markings/sec, 2160 secs
lola: sara is running 2165 secs || sara is running 2165 secs || 32507248 markings, 268972235 edges, 14870 markings/sec, 2165 secs
lola: sara is running 2170 secs || sara is running 2170 secs || 32577612 markings, 269605037 edges, 14073 markings/sec, 2170 secs
lola: sara is running 2175 secs || sara is running 2175 secs || 32649237 markings, 270244268 edges, 14325 markings/sec, 2175 secs
lola: sara is running 2180 secs || sara is running 2180 secs || 32729735 markings, 270868587 edges, 16100 markings/sec, 2180 secs
lola: sara is running 2185 secs || sara is running 2185 secs || 32804442 markings, 271477432 edges, 14941 markings/sec, 2185 secs
lola: sara is running 2190 secs || sara is running 2190 secs || 32879592 markings, 272060811 edges, 15030 markings/sec, 2190 secs
lola: sara is running 2195 secs || sara is running 2195 secs || 32947750 markings, 272645018 edges, 13632 markings/sec, 2195 secs
lola: sara is running 2200 secs || sara is running 2200 secs || 33011389 markings, 273229091 edges, 12728 markings/sec, 2200 secs
lola: sara is running 2205 secs || sara is running 2205 secs || 33084160 markings, 273847780 edges, 14554 markings/sec, 2205 secs
lola: sara is running 2210 secs || sara is running 2210 secs || 33154988 markings, 274468687 edges, 14166 markings/sec, 2210 secs
lola: sara is running 2215 secs || sara is running 2215 secs || 33223133 markings, 275089511 edges, 13629 markings/sec, 2215 secs
lola: sara is running 2220 secs || sara is running 2220 secs || 33293383 markings, 275711177 edges, 14050 markings/sec, 2220 secs
lola: sara is running 2225 secs || sara is running 2225 secs || 33354624 markings, 276327824 edges, 12248 markings/sec, 2225 secs
lola: sara is running 2230 secs || sara is running 2230 secs || 33416475 markings, 276946498 edges, 12370 markings/sec, 2230 secs
lola: sara is running 2235 secs || sara is running 2235 secs || 33486881 markings, 277568325 edges, 14081 markings/sec, 2235 secs
lola: sara is running 2240 secs || sara is running 2240 secs || 33555029 markings, 278190064 edges, 13630 markings/sec, 2240 secs
lola: sara is running 2245 secs || sara is running 2245 secs || 33623871 markings, 278800095 edges, 13768 markings/sec, 2245 secs
lola: sara is running 2250 secs || sara is running 2250 secs || 33693570 markings, 279385487 edges, 13940 markings/sec, 2250 secs
lola: sara is running 2255 secs || sara is running 2255 secs || 33756961 markings, 279970516 edges, 12678 markings/sec, 2255 secs
lola: sara is running 2260 secs || sara is running 2260 secs || 33823772 markings, 280554451 edges, 13362 markings/sec, 2260 secs
lola: sara is running 2265 secs || sara is running 2265 secs || 33893372 markings, 281139717 edges, 13920 markings/sec, 2265 secs
lola: sara is running 2270 secs || sara is running 2270 secs || 33957197 markings, 281725941 edges, 12765 markings/sec, 2270 secs
lola: sara is running 2275 secs || sara is running 2275 secs || 34024118 markings, 282314664 edges, 13384 markings/sec, 2275 secs
lola: sara is running 2280 secs || sara is running 2280 secs || 34101652 markings, 282898880 edges, 15507 markings/sec, 2280 secs
lola: sara is running 2285 secs || sara is running 2285 secs || 34173131 markings, 283485351 edges, 14296 markings/sec, 2285 secs
lola: sara is running 2290 secs || sara is running 2290 secs || 34248416 markings, 284069544 edges, 15057 markings/sec, 2290 secs
lola: sara is running 2295 secs || sara is running 2295 secs || 34315834 markings, 284654532 edges, 13484 markings/sec, 2295 secs
lola: sara is running 2300 secs || sara is running 2300 secs || 34379650 markings, 285239504 edges, 12763 markings/sec, 2300 secs
lola: sara is running 2305 secs || sara is running 2305 secs || 34449044 markings, 285825155 edges, 13879 markings/sec, 2305 secs
lola: sara is running 2310 secs || sara is running 2310 secs || 34515366 markings, 286409667 edges, 13264 markings/sec, 2310 secs
lola: sara is running 2315 secs || sara is running 2315 secs || 34579337 markings, 286993292 edges, 12794 markings/sec, 2315 secs
lola: sara is running 2320 secs || sara is running 2320 secs || 34645881 markings, 287579083 edges, 13309 markings/sec, 2320 secs
lola: sara is running 2325 secs || sara is running 2325 secs || 34705635 markings, 288164341 edges, 11951 markings/sec, 2325 secs
lola: sara is running 2330 secs || sara is running 2330 secs || 34762965 markings, 288749165 edges, 11466 markings/sec, 2330 secs
lola: sara is running 2335 secs || sara is running 2335 secs || 34825550 markings, 289335515 edges, 12517 markings/sec, 2335 secs
lola: sara is running 2340 secs || sara is running 2340 secs || 34893724 markings, 289920601 edges, 13635 markings/sec, 2340 secs
lola: sara is running 2345 secs || sara is running 2345 secs || 34957544 markings, 290506850 edges, 12764 markings/sec, 2345 secs
lola: sara is running 2350 secs || sara is running 2350 secs || 35027807 markings, 291104511 edges, 14053 markings/sec, 2350 secs
lola: sara is running 2355 secs || sara is running 2355 secs || 35095125 markings, 291691082 edges, 13464 markings/sec, 2355 secs
lola: sara is running 2360 secs || sara is running 2360 secs || 35159202 markings, 292277316 edges, 12815 markings/sec, 2360 secs
lola: sara is running 2365 secs || sara is running 2365 secs || 35229036 markings, 292864800 edges, 13967 markings/sec, 2365 secs
lola: sara is running 2370 secs || sara is running 2370 secs || 35295377 markings, 293453127 edges, 13268 markings/sec, 2370 secs
lola: sara is running 2375 secs || sara is running 2375 secs || 35360060 markings, 294041058 edges, 12937 markings/sec, 2375 secs
lola: sara is running 2380 secs || sara is running 2380 secs || 35434879 markings, 294629369 edges, 14964 markings/sec, 2380 secs
lola: sara is running 2385 secs || sara is running 2385 secs || 35506436 markings, 295216028 edges, 14311 markings/sec, 2385 secs
lola: sara is running 2390 secs || sara is running 2390 secs || 35581888 markings, 295802301 edges, 15090 markings/sec, 2390 secs
lola: sara is running 2395 secs || sara is running 2395 secs || 35653381 markings, 296391010 edges, 14299 markings/sec, 2395 secs
lola: sara is running 2400 secs || sara is running 2400 secs || 35716887 markings, 296978707 edges, 12701 markings/sec, 2400 secs
lola: sara is running 2405 secs || sara is running 2405 secs || 35783825 markings, 297567506 edges, 13388 markings/sec, 2405 secs
lola: sara is running 2410 secs || sara is running 2410 secs || 35854044 markings, 298154209 edges, 14044 markings/sec, 2410 secs
lola: sara is running 2415 secs || sara is running 2415 secs || 35917594 markings, 298741191 edges, 12710 markings/sec, 2415 secs
lola: sara is running 2420 secs || sara is running 2420 secs || 35984760 markings, 299328943 edges, 13433 markings/sec, 2420 secs
lola: sara is running 2425 secs || sara is running 2425 secs || 36047154 markings, 299916963 edges, 12479 markings/sec, 2425 secs
lola: sara is running 2430 secs || sara is running 2430 secs || 36104404 markings, 300504632 edges, 11450 markings/sec, 2430 secs
lola: sara is running 2435 secs || sara is running 2435 secs || 36164471 markings, 301092820 edges, 12013 markings/sec, 2435 secs
lola: sara is running 2440 secs || sara is running 2440 secs || 36233793 markings, 301681037 edges, 13864 markings/sec, 2440 secs
lola: sara is running 2445 secs || sara is running 2445 secs || 36297877 markings, 302272319 edges, 12817 markings/sec, 2445 secs
lola: sara is running 2450 secs || sara is running 2450 secs || 36364677 markings, 302860317 edges, 13360 markings/sec, 2450 secs
lola: sara is running 2455 secs || sara is running 2455 secs || 36435179 markings, 303448736 edges, 14100 markings/sec, 2455 secs
lola: sara is running 2460 secs || sara is running 2460 secs || 36498841 markings, 304037050 edges, 12732 markings/sec, 2460 secs
lola: sara is running 2465 secs || sara is running 2465 secs || 36566603 markings, 304626345 edges, 13552 markings/sec, 2465 secs
lola: sara is running 2470 secs || sara is running 2470 secs || 36636478 markings, 305217709 edges, 13975 markings/sec, 2470 secs
lola: sara is running 2475 secs || sara is running 2475 secs || 36700616 markings, 305809389 edges, 12828 markings/sec, 2475 secs
lola: sara is running 2480 secs || sara is running 2480 secs || 36771327 markings, 306400581 edges, 14142 markings/sec, 2480 secs
lola: sara is running 2485 secs || sara is running 2485 secs || 36847503 markings, 306984301 edges, 15235 markings/sec, 2485 secs
lola: sara is running 2490 secs || sara is running 2490 secs || 36919501 markings, 307568033 edges, 14400 markings/sec, 2490 secs
lola: sara is running 2495 secs || sara is running 2495 secs || 36993266 markings, 308154041 edges, 14753 markings/sec, 2495 secs
lola: sara is running 2500 secs || sara is running 2500 secs || 37057391 markings, 308739954 edges, 12825 markings/sec, 2500 secs
lola: sara is running 2505 secs || sara is running 2505 secs || 37123648 markings, 309325737 edges, 13251 markings/sec, 2505 secs
lola: sara is running 2510 secs || sara is running 2510 secs || 37193447 markings, 309911831 edges, 13960 markings/sec, 2510 secs
lola: sara is running 2515 secs || sara is running 2515 secs || 37256898 markings, 310497286 edges, 12690 markings/sec, 2515 secs
lola: sara is running 2520 secs || sara is running 2520 secs || 37323847 markings, 311081842 edges, 13390 markings/sec, 2520 secs
lola: sara is running 2525 secs || sara is running 2525 secs || 37388116 markings, 311667815 edges, 12854 markings/sec, 2525 secs
lola: sara is running 2530 secs || sara is running 2530 secs || 37445688 markings, 312252965 edges, 11514 markings/sec, 2530 secs
lola: sara is running 2535 secs || sara is running 2535 secs || 37504834 markings, 312837622 edges, 11829 markings/sec, 2535 secs
lola: sara is running 2540 secs || sara is running 2540 secs || 37571736 markings, 313423639 edges, 13380 markings/sec, 2540 secs
lola: sara is running 2545 secs || sara is running 2545 secs || 37636153 markings, 314010007 edges, 12883 markings/sec, 2545 secs
lola: sara is running 2550 secs || sara is running 2550 secs || 37701449 markings, 314594584 edges, 13059 markings/sec, 2550 secs
lola: sara is running 2555 secs || sara is running 2555 secs || 37771599 markings, 315180944 edges, 14030 markings/sec, 2555 secs
lola: sara is running 2560 secs || sara is running 2560 secs || 37835679 markings, 315766551 edges, 12816 markings/sec, 2560 secs
lola: sara is running 2565 secs || sara is running 2565 secs || 37901945 markings, 316351997 edges, 13253 markings/sec, 2565 secs
lola: sara is running 2570 secs || sara is running 2570 secs || 37971927 markings, 316939725 edges, 13996 markings/sec, 2570 secs
lola: sara is running 2575 secs || sara is running 2575 secs || 38036466 markings, 317533894 edges, 12908 markings/sec, 2575 secs
lola: sara is running 2580 secs || sara is running 2580 secs || 38104981 markings, 318135098 edges, 13703 markings/sec, 2580 secs
lola: sara is running 2585 secs || sara is running 2585 secs || 38176404 markings, 318734031 edges, 14285 markings/sec, 2585 secs
lola: sara is running 2590 secs || sara is running 2590 secs || 38240752 markings, 319324894 edges, 12870 markings/sec, 2590 secs
lola: sara is running 2595 secs || sara is running 2595 secs || 38306971 markings, 319909074 edges, 13244 markings/sec, 2595 secs
lola: sara is running 2600 secs || sara is running 2600 secs || 38370472 markings, 320494983 edges, 12700 markings/sec, 2600 secs
lola: sara is running 2605 secs || sara is running 2605 secs || 38427643 markings, 321080407 edges, 11434 markings/sec, 2605 secs
lola: sara is running 2610 secs || sara is running 2610 secs || 38487655 markings, 321666095 edges, 12002 markings/sec, 2610 secs
lola: sara is running 2615 secs || sara is running 2615 secs || 38550235 markings, 322252744 edges, 12516 markings/sec, 2615 secs
lola: sara is running 2620 secs || sara is running 2620 secs || 38608283 markings, 322837856 edges, 11610 markings/sec, 2620 secs
lola: sara is running 2625 secs || sara is running 2625 secs || 38666874 markings, 323421622 edges, 11718 markings/sec, 2625 secs
lola: sara is running 2630 secs || sara is running 2630 secs || 38726781 markings, 324007934 edges, 11981 markings/sec, 2630 secs
lola: sara is running 2635 secs || sara is running 2635 secs || 38781373 markings, 324592925 edges, 10918 markings/sec, 2635 secs
lola: sara is running 2640 secs || sara is running 2640 secs || 38833425 markings, 325181113 edges, 10410 markings/sec, 2640 secs
lola: sara is running 2645 secs || sara is running 2645 secs || 38889241 markings, 325782951 edges, 11163 markings/sec, 2645 secs
lola: sara is running 2650 secs || sara is running 2650 secs || 38951334 markings, 326370527 edges, 12419 markings/sec, 2650 secs
lola: sara is running 2655 secs || sara is running 2655 secs || 39007316 markings, 326945226 edges, 11196 markings/sec, 2655 secs
lola: sara is running 2660 secs || sara is running 2660 secs || 39068835 markings, 327544755 edges, 12304 markings/sec, 2660 secs
lola: sara is running 2665 secs || sara is running 2665 secs || 39132471 markings, 328139693 edges, 12727 markings/sec, 2665 secs
lola: sara is running 2670 secs || sara is running 2670 secs || 39193110 markings, 328752105 edges, 12128 markings/sec, 2670 secs
lola: sara is running 2675 secs || sara is running 2675 secs || 39251785 markings, 329335339 edges, 11735 markings/sec, 2675 secs
lola: sara is running 2680 secs || sara is running 2680 secs || 39314886 markings, 329923666 edges, 12620 markings/sec, 2680 secs
lola: sara is running 2685 secs || sara is running 2685 secs || 39374577 markings, 330512090 edges, 11938 markings/sec, 2685 secs
lola: sara is running 2690 secs || sara is running 2690 secs || 39434066 markings, 331113289 edges, 11898 markings/sec, 2690 secs
lola: sara is running 2695 secs || sara is running 2695 secs || 39502181 markings, 331717275 edges, 13623 markings/sec, 2695 secs
lola: sara is running 2700 secs || sara is running 2700 secs || 39577331 markings, 332309005 edges, 15030 markings/sec, 2700 secs
lola: sara is running 2705 secs || sara is running 2705 secs || 39652593 markings, 332907788 edges, 15052 markings/sec, 2705 secs
lola: sara is running 2710 secs || sara is running 2710 secs || 39726498 markings, 333508743 edges, 14781 markings/sec, 2710 secs
lola: sara is running 2715 secs || sara is running 2715 secs || 39792038 markings, 334109554 edges, 13108 markings/sec, 2715 secs
lola: sara is running 2720 secs || sara is running 2720 secs || 39860523 markings, 334711959 edges, 13697 markings/sec, 2720 secs
lola: sara is running 2725 secs || sara is running 2725 secs || 39932553 markings, 335313868 edges, 14406 markings/sec, 2725 secs
lola: sara is running 2730 secs || sara is running 2730 secs || 39997413 markings, 335913754 edges, 12972 markings/sec, 2730 secs
lola: sara is running 2735 secs || sara is running 2735 secs || 40065725 markings, 336512689 edges, 13662 markings/sec, 2735 secs
lola: sara is running 2740 secs || sara is running 2740 secs || 40130966 markings, 337124534 edges, 13048 markings/sec, 2740 secs
lola: sara is running 2745 secs || sara is running 2745 secs || 40188520 markings, 337715455 edges, 11511 markings/sec, 2745 secs
lola: sara is running 2750 secs || sara is running 2750 secs || 40251573 markings, 338333155 edges, 12611 markings/sec, 2750 secs
lola: sara is running 2755 secs || sara is running 2755 secs || 40322317 markings, 338928974 edges, 14149 markings/sec, 2755 secs
lola: sara is running 2760 secs || sara is running 2760 secs || 40386407 markings, 339522796 edges, 12818 markings/sec, 2760 secs
lola: sara is running 2765 secs || sara is running 2765 secs || 40455146 markings, 340122431 edges, 13748 markings/sec, 2765 secs
lola: sara is running 2770 secs || sara is running 2770 secs || 40526406 markings, 340723950 edges, 14252 markings/sec, 2770 secs
lola: sara is running 2775 secs || sara is running 2775 secs || 40591647 markings, 341325110 edges, 13048 markings/sec, 2775 secs
lola: sara is running 2780 secs || sara is running 2780 secs || 40662227 markings, 341928401 edges, 14116 markings/sec, 2780 secs
lola: sara is running 2785 secs || sara is running 2785 secs || 40732410 markings, 342533542 edges, 14037 markings/sec, 2785 secs
lola: sara is running 2790 secs || sara is running 2790 secs || 40797920 markings, 343133955 edges, 13102 markings/sec, 2790 secs
lola: sara is running 2795 secs || sara is running 2795 secs || 40866023 markings, 343733567 edges, 13621 markings/sec, 2795 secs
lola: sara is running 2800 secs || sara is running 2800 secs || 40926162 markings, 344318360 edges, 12028 markings/sec, 2800 secs
lola: sara is running 2805 secs || sara is running 2805 secs || 40984733 markings, 344916094 edges, 11714 markings/sec, 2805 secs
lola: sara is running 2810 secs || sara is running 2810 secs || 41046363 markings, 345517328 edges, 12326 markings/sec, 2810 secs
lola: sara is running 2815 secs || sara is running 2815 secs || 41102839 markings, 346110106 edges, 11295 markings/sec, 2815 secs
lola: sara is running 2820 secs || sara is running 2820 secs || 41156382 markings, 346712762 edges, 10709 markings/sec, 2820 secs
lola: sara is running 2825 secs || sara is running 2825 secs || 41212167 markings, 347313952 edges, 11157 markings/sec, 2825 secs
lola: sara is running 2830 secs || sara is running 2830 secs || 41270395 markings, 347916919 edges, 11646 markings/sec, 2830 secs
lola: sara is running 2835 secs || sara is running 2835 secs || 41325327 markings, 348519759 edges, 10986 markings/sec, 2835 secs
lola: sara is running 2840 secs || sara is running 2840 secs || 41379705 markings, 349120333 edges, 10876 markings/sec, 2840 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no no yes yes yes no yes yes no yes unknown no no unknown yes
lola:
preliminary result: yes no no yes yes yes no yes yes no yes unknown no no unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no no yes yes yes no yes yes no yes unknown no no unknown yes
lola: memory consumption: 33364 KB
lola: time consumption: 3569 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
rslt: finished
BK_STOP 1552508257114
--------------------
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="AutoFlight-PT-12b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is AutoFlight-PT-12b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r016-csrt-155225065100184"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-12b.tgz
mv AutoFlight-PT-12b execution
cd execution
if [ "CTLCardinality" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 ;