fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r016-csrt-155225065100184
Last Updated
Apr 15, 2019

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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;