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

About the Execution of LoLA for CloudReconfiguration-PT-320

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6876.270 3570104.00 3621218.00 9286.60 T?TTTTTTFTFFTTTT normal

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 836K
-rw-r--r-- 1 mcc users 4.0K Feb 9 09:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 9 09:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 5 08:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 5 08:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 114 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 352 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.3K Feb 4 23:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 2 02:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 2 02:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 29 16:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 29 16:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:18 UpperBounds.xml

-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 661K Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-00
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-01
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-02
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-03
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-04
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-05
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-06
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-07
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-08
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-09
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-10
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-11
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-12
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-13
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-14
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-15

=== Now, execution of the tool begins

BK_START 1552738639466

info: Time: 3600 - MCC
vrfy: Checking ReachabilityFireability @ CloudReconfiguration-PT-320 @ 3570 seconds

FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for ReachabilityFireability @ CloudReconfiguration-PT-320

{
"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=ReachabilityFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--json=ReachabilityFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sat Mar 16 12:17:19 2019
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "E (F (FIREABLE(t1440)))",
"processed_size": 23,
"rewrites": 1
},
"result":
{
"edges": 32,
"markings": 33,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 0,
"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": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "E (F (FIREABLE(t2330)))",
"processed_size": 23,
"rewrites": 1
},
"result":
{
"edges": 91,
"markings": 92,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 1,
"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": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "E (F (FIREABLE(t1855)))",
"processed_size": 23,
"rewrites": 1
},
"result":
{
"edges": 94,
"markings": 95,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 2,
"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": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "E (F (FIREABLE(t2282)))",
"processed_size": 23,
"rewrites": 1
},
"result":
{
"edges": 106,
"markings": 107,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 3,
"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": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"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": 1,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (NOT FIREABLE(t1939)))",
"processed_size": 27,
"rewrites": 2
},
"result":
{
"edges": 76,
"markings": 77,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 4,
"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": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"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": 1,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (NOT FIREABLE(t1557)))",
"processed_size": 27,
"rewrites": 2
},
"result":
{
"edges": 63,
"markings": 64,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 5,
"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": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "E (F (FIREABLE(t584)))",
"processed_size": 22,
"rewrites": 1
},
"result":
{
"edges": 101,
"markings": 102,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 6,
"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": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "E (F ((FIREABLE(t205) AND NOT FIREABLE(t1264))))",
"processed_size": 48,
"rewrites": 1
},
"result":
{
"edges": 95,
"markings": 96,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 1
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "E (F ((FIREABLE(t1610) OR FIREABLE(t2274) OR FIREABLE(t3056))))",
"processed_size": 65,
"rewrites": 1
},
"result":
{
"edges": 43,
"markings": 44,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 4,
"problems": 3
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "E (F ((FIREABLE(t1238) AND (FIREABLE(t2043) OR FIREABLE(t2874)))))",
"processed_size": 67,
"rewrites": 1
},
"result":
{
"edges": 339,
"markings": 323,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 5,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 594
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 5,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 5
},
"processed": "E (F (((FIREABLE(t108) AND FIREABLE(t2830)) OR FIREABLE(t2237) OR FIREABLE(t3081) OR FIREABLE(t2871))))",
"processed_size": 106,
"rewrites": 1
},
"result":
{
"edges": 40,
"markings": 41,
"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": 7,
"problems": 4
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 713
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 3,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 6,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 6
},
"processed": "E (F (((FIREABLE(t411) OR FIREABLE(t2359)) AND (FIREABLE(t1377) OR ((FIREABLE(t2332) OR FIREABLE(t1146)) AND NOT FIREABLE(t425))))))",
"processed_size": 135,
"rewrites": 1
},
"result":
{
"edges": 243,
"markings": 232,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 16,
"problems": 6
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 891
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 2,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 6,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 6
},
"processed": "E (F (((FIREABLE(t2594) OR (FIREABLE(t372) AND FIREABLE(t1544) AND (FIREABLE(t1034) OR FIREABLE(t2399)))) AND NOT FIREABLE(t612))))",
"processed_size": 133,
"rewrites": 1
},
"result":
{
"edges": 57,
"markings": 58,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 10,
"problems": 3
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1188
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 2,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 6,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 6
},
"processed": "A (G ((((FIREABLE(t213) OR FIREABLE(t1414) OR FIREABLE(t2674) OR FIREABLE(t430)) AND FIREABLE(t2660)) OR NOT FIREABLE(t1794))))",
"processed_size": 131,
"rewrites": 2
},
"result":
{
"edges": 77,
"markings": 78,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 7,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1782
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 3,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 8,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 9,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 9
},
"processed": "E (F ((((FIREABLE(t1354) OR FIREABLE(t1907)) AND (FIREABLE(t1094) OR FIREABLE(t3061))) OR FIREABLE(t2480) OR (FIREABLE(t1340) AND FIREABLE(t631) AND NOT FIREABLE(t1953)) OR FIREABLE(t1248))))",
"processed_size": 196,
"rewrites": 1
},
"result":
{
"edges": 159,
"markings": 156,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 15,
"problems": 7
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"error": null,
"memory": 6814964,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "ReachabilityFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "E(F(**)) : A(G(**)) : E(F(**)) : E(F(**)) : E(F(**)) : E(F(**)) : E(F(**)) : E(F(**)) : A(G(**)) : E(F(**)) : A(G(**)) : A(G(**)) : E(F(**)) : E(F(**)) : E(F(**)) : E(F(**))"
},
"net":
{
"arcs": 6479,
"conflict_clusters": 2448,
"places": 2587,
"places_significant": 2583,
"singleton_clusters": 0,
"transitions": 3099
},
"result":
{
"interim_value": "yes unknown yes yes yes yes yes yes no yes no no yes yes yes yes ",
"preliminary_value": "yes unknown yes yes yes yes yes yes no yes no no yes yes yes yes "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 5686/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2587
lola: finding significant places
lola: 2587 places, 3099 transitions, 2583 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 ReachabilityFireability.xml
lola: E (F ((FIREABLE(t1610) OR FIREABLE(t2274) OR FIREABLE(t3056)))) : A (G ((FIREABLE(t2583) OR FIREABLE(t1126) OR NOT FIREABLE(t2334) OR NOT FIREABLE(t1669) OR NOT FIREABLE(t2724) OR (NOT FIREABLE(t2516) AND NOT FIREABLE(t2248) AND FIREABLE(t427) AND FIREABLE(t454) AND (FIREABLE(t2574) OR FIREABLE(t2762)))))) : E (F (FIREABLE(t1440))) : E (F (FIREABLE(t2330))) : E (F ((((FIREABLE(t1354) OR FIREABLE(t1907)) AND (FIREABLE(t1094) OR FIREABLE(t3061))) OR FIREABLE(t2480) OR (FIREABLE(t1340) AND FIREABLE(t631) AND NOT FIREABLE(t1953)) OR FIREABLE(t1248)))) : E (F ((FIREABLE(t1238) AND (FIREABLE(t2043) OR FIREABLE(t2874))))) : E (F (FIREABLE(t1855))) : E (F (FIREABLE(t2282))) : A (G ((((FIREABLE(t213) OR FIREABLE(t1414) OR FIREABLE(t2674) OR FIREABLE(t430)) AND FIREABLE(t2660)) OR NOT FIREABLE(t1794)))) : E (F (((FIREABLE(t2594) OR (FIREABLE(t372) AND FIREABLE(t1544) AND (FIREABLE(t1034) OR FIREABLE(t2399)))) AND NOT FIREABLE(t612)))) : A (G (NOT FIREABLE(t1939))) : A (G (NOT FIREABLE(t1557))) : E (F (FIREABLE(t584))) : E (F (((FIREABLE(t411) OR FIREABLE(t2359)) AND (FIREABLE(t1377) OR ((FIREABLE(t2332) OR FIREABLE(t1146)) AND NOT FIREABLE(t425)))))) : E (F (((FIREABLE(t108) AND FIREABLE(t2830)) OR FIREABLE(t2237) OR FIREABLE(t3081) OR FIREABLE(t2871)))) : E (F ((FIREABLE(t205) AND NOT FIREABLE(t1264))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1440)))
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 (FIREABLE(t1440)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(t1440)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: The predicate is reachable.
lola: 33 markings, 32 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2330)))
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 (FIREABLE(t2330)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: FIREABLE(t2330)
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: 92 markings, 91 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1855)))
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 (FIREABLE(t1855)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: FIREABLE(t1855)
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: 95 markings, 94 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2282)))
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 (FIREABLE(t2282)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: FIREABLE(t2282)
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: 107 markings, 106 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t1939)))
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 (NOT FIREABLE(t1939)))
lola: processed formula length: 27
lola: 2 rewrites
lola: closed formula file ReachabilityFireability.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: FIREABLE(t1939)
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: 77 markings, 76 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t1557)))
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 (NOT FIREABLE(t1557)))
lola: processed formula length: 27
lola: 2 rewrites
lola: closed formula file ReachabilityFireability.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: FIREABLE(t1557)
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: 64 markings, 63 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t584)))
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 (FIREABLE(t584)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: FIREABLE(t584)
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: 102 markings, 101 edges
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t205) AND NOT FIREABLE(t1264))))
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 ((FIREABLE(t205) AND NOT FIREABLE(t1264))))
lola: processed formula length: 48
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: (FIREABLE(t205) AND NOT FIREABLE(t1264))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 96 markings, 95 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1610) OR FIREABLE(t2274) OR FIREABLE(t3056))))
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 ((FIREABLE(t1610) OR FIREABLE(t2274) OR FIREABLE(t3056))))
lola: processed formula length: 65
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: (FIREABLE(t1610) OR FIREABLE(t2274) OR FIREABLE(t3056))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 44 markings, 43 edges
lola: ========================================
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1238) AND (FIREABLE(t2043) OR FIREABLE(t2874)))))
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 ((FIREABLE(t1238) AND (FIREABLE(t2043) OR FIREABLE(t2874)))))
lola: processed formula length: 67
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: (FIREABLE(t1238) AND (FIREABLE(t2043) OR FIREABLE(t2874)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 323 markings, 339 edges
lola: ========================================
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t108) AND FIREABLE(t2830)) OR FIREABLE(t2237) OR FIREABLE(t3081) OR FIREABLE(t2871))))
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 (((FIREABLE(t108) AND FIREABLE(t2830)) OR FIREABLE(t2237) OR FIREABLE(t3081) OR FIREABLE(t2871))))
lola: processed formula length: 106
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: ((FIREABLE(t108) AND FIREABLE(t2830)) OR FIREABLE(t2237) OR FIREABLE(t3081) OR FIREABLE(t2871))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 7 literals and 4 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 41 markings, 40 edges
lola: ========================================
lola: subprocess 11 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t411) OR FIREABLE(t2359)) AND (FIREABLE(t1377) OR ((FIREABLE(t2332) OR FIREABLE(t1146)) AND NOT FIREABLE(t425))))))
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 (((FIREABLE(t411) OR FIREABLE(t2359)) AND (FIREABLE(t1377) OR ((FIREABLE(t2332) OR FIREABLE(t1146)) AND NOT FIREABLE(t425))))))
lola: processed formula length: 135
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: ((FIREABLE(t411) OR FIREABLE(t2359)) AND (FIREABLE(t1377) OR ((FIREABLE(t2332) OR FIREABLE(t1146)) AND NOT FIREABLE(t425))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 16 literals and 6 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 232 markings, 243 edges
lola: ========================================
lola: subprocess 12 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t2594) OR (FIREABLE(t372) AND FIREABLE(t1544) AND (FIREABLE(t1034) OR FIREABLE(t2399)))) AND NOT FIREABLE(t612))))
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 (((FIREABLE(t2594) OR (FIREABLE(t372) AND FIREABLE(t1544) AND (FIREABLE(t1034) OR FIREABLE(t2399)))) AND NOT FIREABLE(t612))))
lola: processed formula length: 133
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: ((FIREABLE(t2594) OR (FIREABLE(t372) AND FIREABLE(t1544) AND (FIREABLE(t1034) OR FIREABLE(t2399)))) AND NOT FIREABLE(t612))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 10 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 58 markings, 57 edges
lola: ========================================
lola: subprocess 13 will run for 1188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((FIREABLE(t213) OR FIREABLE(t1414) OR FIREABLE(t2674) OR FIREABLE(t430)) AND FIREABLE(t2660)) OR NOT FIREABLE(t1794))))
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 ((((FIREABLE(t213) OR FIREABLE(t1414) OR FIREABLE(t2674) OR FIREABLE(t430)) AND FIREABLE(t2660)) OR NOT FIREABLE(t1794))))
lola: processed formula length: 131
lola: 2 rewrites
lola: closed formula file ReachabilityFireability.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: (((NOT FIREABLE(t213) AND NOT FIREABLE(t1414) AND NOT FIREABLE(t2674) AND NOT FIREABLE(t430)) OR NOT FIREABLE(t2660)) AND FIREABLE(t1794))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 7 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 78 markings, 77 edges
lola: ========================================
lola: subprocess 14 will run for 1782 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((FIREABLE(t1354) OR FIREABLE(t1907)) AND (FIREABLE(t1094) OR FIREABLE(t3061))) OR FIREABLE(t2480) OR (FIREABLE(t1340) AND FIREABLE(t631) AND NOT FIREABLE(t1953)) OR FIREABLE(t1248))))
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 ((((FIREABLE(t1354) OR FIREABLE(t1907)) AND (FIREABLE(t1094) OR FIREABLE(t3061))) OR FIREABLE(t2480) OR (FIREABLE(t1340) AND FIREABLE(t631) AND NOT FIREABLE(t1953)) OR FIREABLE(t1248))))
lola: processed formula length: 196
lola: 1 rewrites
lola: closed formula file ReachabilityFireability.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: (((FIREABLE(t1354) OR FIREABLE(t1907)) AND (FIREABLE(t1094) OR FIREABLE(t3061))) OR FIREABLE(t2480) OR (FIREABLE(t1340) AND FIREABLE(t631) AND NOT FIREABLE(t1953)) OR FIREABLE(t1248))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 15 literals and 7 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 156 markings, 159 edges
lola: ========================================
lola: subprocess 15 will run for 3565 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t2583) OR FIREABLE(t1126) OR NOT FIREABLE(t2334) OR NOT FIREABLE(t1669) OR NOT FIREABLE(t2724) OR (NOT FIREABLE(t2516) AND NOT FIREABLE(t2248) AND FIREABLE(t427) AND FIREABLE(t454) AND (FIREABLE(t2574) OR FIREABLE(t2762))))))
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 ((FIREABLE(t2583) OR FIREABLE(t1126) OR NOT FIREABLE(t2334) OR NOT FIREABLE(t1669) OR NOT FIREABLE(t2724) OR (NOT FIREABLE(t2516) AND NOT FIREABLE(t2248) AND FIREABLE(t427) AND FIREABLE(t454) AND (FIREABLE(t2574) OR FIREABLE(t2762))))))
lola: processed formula length: 247
lola: 2 rewrites
lola: closed formula file ReachabilityFireability.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: (NOT FIREABLE(t2583) AND NOT FIREABLE(t1126) AND FIREABLE(t2334) AND FIREABLE(t1669) AND FIREABLE(t2724) AND (FIREABLE(t2516) OR FIREABLE(t2248) OR NOT FIREABLE(t427) OR NOT FIREABLE(t454) OR (NOT FIREABLE(t2574) AND NOT FIREABLE(t2762))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 31 literals and 5 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityFireability-15-0.sara.
sara: error: :12033: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: sara is running 0 secs || 55719 markings, 91282 edges, 11144 markings/sec, 0 secs
lola: sara is running 5 secs || 111635 markings, 189040 edges, 11183 markings/sec, 5 secs
lola: sara is running 10 secs || 168792 markings, 293511 edges, 11431 markings/sec, 10 secs
lola: sara is running 15 secs || 226322 markings, 399143 edges, 11506 markings/sec, 15 secs
lola: sara is running 20 secs || 284836 markings, 503321 edges, 11703 markings/sec, 20 secs
lola: sara is running 25 secs || 341908 markings, 611757 edges, 11414 markings/sec, 25 secs
lola: sara is running 30 secs || 399217 markings, 714033 edges, 11462 markings/sec, 30 secs
lola: sara is running 35 secs || 453820 markings, 812244 edges, 10921 markings/sec, 35 secs
lola: sara is running 40 secs || 506993 markings, 905053 edges, 10635 markings/sec, 40 secs
lola: sara is running 45 secs || 560488 markings, 998819 edges, 10699 markings/sec, 45 secs
lola: sara is running 50 secs || 613517 markings, 1099484 edges, 10606 markings/sec, 50 secs
lola: sara is running 55 secs || 663373 markings, 1190723 edges, 9971 markings/sec, 55 secs
lola: sara is running 60 secs || 716232 markings, 1289637 edges, 10572 markings/sec, 60 secs
lola: sara is running 65 secs || 768993 markings, 1383178 edges, 10552 markings/sec, 65 secs
lola: sara is running 70 secs || 821113 markings, 1477473 edges, 10424 markings/sec, 70 secs
lola: sara is running 75 secs || 874104 markings, 1567498 edges, 10598 markings/sec, 75 secs
lola: sara is running 80 secs || 924959 markings, 1656275 edges, 10171 markings/sec, 80 secs
lola: sara is running 85 secs || 974869 markings, 1741373 edges, 9982 markings/sec, 85 secs
lola: sara is running 90 secs || 1022920 markings, 1829475 edges, 9610 markings/sec, 90 secs
lola: sara is running 95 secs || 1072054 markings, 1915383 edges, 9827 markings/sec, 95 secs
lola: sara is running 100 secs || 1123630 markings, 2010703 edges, 10315 markings/sec, 100 secs
lola: sara is running 105 secs || 1176718 markings, 2111369 edges, 10618 markings/sec, 105 secs
lola: sara is running 110 secs || 1226811 markings, 2205401 edges, 10019 markings/sec, 110 secs
lola: sara is running 115 secs || 1276167 markings, 2298064 edges, 9871 markings/sec, 115 secs
lola: sara is running 120 secs || 1325484 markings, 2387443 edges, 9863 markings/sec, 120 secs
lola: sara is running 125 secs || 1370838 markings, 2468833 edges, 9071 markings/sec, 125 secs
lola: sara is running 130 secs || 1416253 markings, 2548133 edges, 9083 markings/sec, 130 secs
lola: sara is running 135 secs || 1469457 markings, 2642885 edges, 10641 markings/sec, 135 secs
lola: sara is running 140 secs || 1522052 markings, 2741731 edges, 10519 markings/sec, 140 secs
lola: sara is running 145 secs || 1575882 markings, 2845235 edges, 10766 markings/sec, 145 secs
lola: sara is running 150 secs || 1630427 markings, 2942296 edges, 10909 markings/sec, 150 secs
lola: sara is running 155 secs || 1684362 markings, 3044567 edges, 10787 markings/sec, 155 secs
lola: sara is running 160 secs || 1736777 markings, 3145369 edges, 10483 markings/sec, 160 secs
lola: sara is running 165 secs || 1784026 markings, 3229786 edges, 9450 markings/sec, 165 secs
lola: sara is running 170 secs || 1828034 markings, 3309616 edges, 8802 markings/sec, 170 secs
lola: sara is running 175 secs || 1874716 markings, 3392221 edges, 9336 markings/sec, 175 secs
lola: sara is running 180 secs || 1922651 markings, 3478328 edges, 9587 markings/sec, 180 secs
lola: sara is running 185 secs || 1970473 markings, 3564263 edges, 9564 markings/sec, 185 secs
lola: sara is running 190 secs || 2018940 markings, 3653789 edges, 9693 markings/sec, 190 secs
lola: sara is running 195 secs || 2067299 markings, 3743009 edges, 9672 markings/sec, 195 secs
lola: sara is running 200 secs || 2119228 markings, 3836699 edges, 10386 markings/sec, 200 secs
lola: sara is running 205 secs || 2165049 markings, 3923538 edges, 9164 markings/sec, 205 secs
lola: sara is running 210 secs || 2209355 markings, 4009337 edges, 8861 markings/sec, 210 secs
lola: sara is running 215 secs || 2257439 markings, 4091975 edges, 9617 markings/sec, 215 secs
lola: sara is running 220 secs || 2305722 markings, 4183390 edges, 9657 markings/sec, 220 secs
lola: sara is running 225 secs || 2356002 markings, 4279597 edges, 10056 markings/sec, 225 secs
lola: sara is running 230 secs || 2405285 markings, 4375022 edges, 9857 markings/sec, 230 secs
lola: sara is running 235 secs || 2450836 markings, 4460247 edges, 9110 markings/sec, 235 secs
lola: sara is running 240 secs || 2495758 markings, 4547335 edges, 8984 markings/sec, 240 secs
lola: sara is running 245 secs || 2543592 markings, 4635097 edges, 9567 markings/sec, 245 secs
lola: sara is running 250 secs || 2584122 markings, 4704006 edges, 8106 markings/sec, 250 secs
lola: sara is running 255 secs || 2637922 markings, 4803342 edges, 10760 markings/sec, 255 secs
lola: sara is running 260 secs || 2692258 markings, 4901172 edges, 10867 markings/sec, 260 secs
lola: sara is running 265 secs || 2745014 markings, 4991365 edges, 10551 markings/sec, 265 secs
lola: sara is running 270 secs || 2792536 markings, 5079314 edges, 9504 markings/sec, 270 secs
lola: sara is running 275 secs || 2838688 markings, 5159305 edges, 9230 markings/sec, 275 secs
lola: sara is running 280 secs || 2886141 markings, 5245577 edges, 9491 markings/sec, 280 secs
lola: sara is running 285 secs || 2937124 markings, 5339196 edges, 10197 markings/sec, 285 secs
lola: sara is running 290 secs || 2984940 markings, 5428117 edges, 9563 markings/sec, 290 secs
lola: sara is running 295 secs || 3033700 markings, 5514094 edges, 9752 markings/sec, 295 secs
lola: sara is running 300 secs || 3076678 markings, 5594364 edges, 8596 markings/sec, 300 secs
lola: sara is running 305 secs || 3118938 markings, 5674262 edges, 8452 markings/sec, 305 secs
lola: sara is running 310 secs || 3161300 markings, 5754941 edges, 8472 markings/sec, 310 secs
lola: sara is running 315 secs || 3204141 markings, 5834830 edges, 8568 markings/sec, 315 secs
lola: sara is running 320 secs || 3245064 markings, 5912988 edges, 8185 markings/sec, 320 secs
lola: sara is running 325 secs || 3290684 markings, 5997966 edges, 9124 markings/sec, 325 secs
lola: sara is running 330 secs || 3342627 markings, 6096658 edges, 10389 markings/sec, 330 secs
lola: sara is running 335 secs || 3394810 markings, 6195271 edges, 10437 markings/sec, 335 secs
lola: sara is running 340 secs || 3445767 markings, 6285639 edges, 10191 markings/sec, 340 secs
lola: sara is running 345 secs || 3492281 markings, 6366482 edges, 9303 markings/sec, 345 secs
lola: sara is running 350 secs || 3534191 markings, 6436818 edges, 8382 markings/sec, 350 secs
lola: sara is running 355 secs || 3573143 markings, 6504112 edges, 7790 markings/sec, 355 secs
lola: sara is running 360 secs || 3613044 markings, 6575273 edges, 7980 markings/sec, 360 secs
lola: sara is running 365 secs || 3652871 markings, 6659793 edges, 7965 markings/sec, 365 secs
lola: sara is running 370 secs || 3694728 markings, 6738871 edges, 8371 markings/sec, 370 secs
lola: sara is running 375 secs || 3741505 markings, 6828632 edges, 9355 markings/sec, 375 secs
lola: sara is running 380 secs || 3782692 markings, 6910530 edges, 8237 markings/sec, 380 secs
lola: sara is running 385 secs || 3824044 markings, 6987751 edges, 8270 markings/sec, 385 secs
lola: sara is running 390 secs || 3864728 markings, 7071827 edges, 8137 markings/sec, 390 secs
lola: sara is running 395 secs || 3904453 markings, 7156260 edges, 7945 markings/sec, 395 secs
lola: sara is running 400 secs || 3947024 markings, 7242166 edges, 8514 markings/sec, 400 secs
lola: sara is running 405 secs || 3984844 markings, 7322325 edges, 7564 markings/sec, 405 secs
lola: sara is running 410 secs || 4033804 markings, 7414030 edges, 9792 markings/sec, 410 secs
lola: sara is running 415 secs || 4089323 markings, 7515103 edges, 11104 markings/sec, 415 secs
lola: sara is running 420 secs || 4140537 markings, 7612916 edges, 10243 markings/sec, 420 secs
lola: sara is running 425 secs || 4194482 markings, 7718962 edges, 10789 markings/sec, 425 secs
lola: sara is running 430 secs || 4248689 markings, 7823964 edges, 10841 markings/sec, 430 secs
lola: sara is running 435 secs || 4301098 markings, 7924367 edges, 10482 markings/sec, 435 secs
lola: sara is running 440 secs || 4349107 markings, 8022519 edges, 9602 markings/sec, 440 secs
lola: sara is running 445 secs || 4403445 markings, 8128082 edges, 10868 markings/sec, 445 secs
lola: sara is running 450 secs || 4457666 markings, 8233652 edges, 10844 markings/sec, 450 secs
lola: sara is running 455 secs || 4511113 markings, 8338627 edges, 10689 markings/sec, 455 secs
lola: sara is running 460 secs || 4564254 markings, 8440583 edges, 10628 markings/sec, 460 secs
lola: sara is running 465 secs || 4609668 markings, 8530020 edges, 9083 markings/sec, 465 secs
lola: sara is running 470 secs || 4662008 markings, 8629999 edges, 10468 markings/sec, 470 secs
lola: sara is running 475 secs || 4709998 markings, 8720605 edges, 9598 markings/sec, 475 secs
lola: sara is running 480 secs || 4749614 markings, 8798786 edges, 7923 markings/sec, 480 secs
lola: sara is running 485 secs || 4802816 markings, 8893679 edges, 10640 markings/sec, 485 secs
lola: sara is running 490 secs || 4859636 markings, 8996274 edges, 11364 markings/sec, 490 secs
lola: sara is running 495 secs || 4914681 markings, 9098871 edges, 11009 markings/sec, 495 secs
lola: sara is running 500 secs || 4963801 markings, 9182095 edges, 9824 markings/sec, 500 secs
lola: sara is running 505 secs || 5007137 markings, 9255863 edges, 8667 markings/sec, 505 secs
lola: sara is running 510 secs || 5049252 markings, 9326079 edges, 8423 markings/sec, 510 secs
lola: sara is running 515 secs || 5094409 markings, 9405222 edges, 9031 markings/sec, 515 secs
lola: sara is running 520 secs || 5137071 markings, 9486081 edges, 8532 markings/sec, 520 secs
lola: sara is running 525 secs || 5179744 markings, 9563383 edges, 8535 markings/sec, 525 secs
lola: sara is running 530 secs || 5225247 markings, 9643389 edges, 9101 markings/sec, 530 secs
lola: sara is running 535 secs || 5271256 markings, 9726845 edges, 9202 markings/sec, 535 secs
lola: sara is running 540 secs || 5324340 markings, 9819686 edges, 10617 markings/sec, 540 secs
lola: sara is running 545 secs || 5373543 markings, 9917769 edges, 9841 markings/sec, 545 secs
lola: sara is running 550 secs || 5431454 markings, 10028764 edges, 11582 markings/sec, 550 secs
lola: sara is running 555 secs || 5487930 markings, 10137374 edges, 11295 markings/sec, 555 secs
lola: sara is running 560 secs || 5545395 markings, 10249005 edges, 11493 markings/sec, 560 secs
lola: sara is running 565 secs || 5598853 markings, 10344473 edges, 10692 markings/sec, 565 secs
lola: sara is running 570 secs || 5650622 markings, 10439261 edges, 10354 markings/sec, 570 secs
lola: sara is running 575 secs || 5704304 markings, 10539671 edges, 10736 markings/sec, 575 secs
lola: sara is running 580 secs || 5760897 markings, 10649522 edges, 11319 markings/sec, 580 secs
lola: sara is running 585 secs || 5817223 markings, 10757897 edges, 11265 markings/sec, 585 secs
lola: sara is running 590 secs || 5862301 markings, 10849958 edges, 9016 markings/sec, 590 secs
lola: sara is running 595 secs || 5901894 markings, 10931882 edges, 7919 markings/sec, 595 secs
lola: sara is running 600 secs || 5954790 markings, 11030958 edges, 10579 markings/sec, 600 secs
lola: sara is running 605 secs || 6009665 markings, 11136810 edges, 10975 markings/sec, 605 secs
lola: sara is running 610 secs || 6065080 markings, 11245128 edges, 11083 markings/sec, 610 secs
lola: sara is running 615 secs || 6122168 markings, 11352501 edges, 11418 markings/sec, 615 secs
lola: sara is running 620 secs || 6175270 markings, 11456280 edges, 10620 markings/sec, 620 secs
lola: sara is running 625 secs || 6225773 markings, 11543111 edges, 10101 markings/sec, 625 secs
lola: sara is running 630 secs || 6272698 markings, 11621649 edges, 9385 markings/sec, 630 secs
lola: sara is running 635 secs || 6320980 markings, 11703828 edges, 9656 markings/sec, 635 secs
lola: sara is running 640 secs || 6372184 markings, 11796378 edges, 10241 markings/sec, 640 secs
lola: sara is running 645 secs || 6419856 markings, 11880289 edges, 9534 markings/sec, 645 secs
lola: sara is running 650 secs || 6462417 markings, 11959074 edges, 8512 markings/sec, 650 secs
lola: sara is running 655 secs || 6508110 markings, 12041951 edges, 9139 markings/sec, 655 secs
lola: sara is running 660 secs || 6549393 markings, 12114064 edges, 8257 markings/sec, 660 secs
lola: sara is running 665 secs || 6592209 markings, 12192113 edges, 8563 markings/sec, 665 secs
lola: sara is running 670 secs || 6641570 markings, 12281133 edges, 9872 markings/sec, 670 secs
lola: sara is running 675 secs || 6687640 markings, 12362027 edges, 9214 markings/sec, 675 secs
lola: sara is running 680 secs || 6726355 markings, 12435128 edges, 7743 markings/sec, 680 secs
lola: sara is running 685 secs || 6772853 markings, 12516035 edges, 9300 markings/sec, 685 secs
lola: sara is running 690 secs || 6824788 markings, 12608342 edges, 10387 markings/sec, 690 secs
lola: sara is running 695 secs || 6871813 markings, 12694903 edges, 9405 markings/sec, 695 secs
lola: sara is running 700 secs || 6919260 markings, 12783662 edges, 9489 markings/sec, 700 secs
lola: sara is running 705 secs || 6964275 markings, 12871005 edges, 9003 markings/sec, 705 secs
lola: sara is running 710 secs || 7008314 markings, 12957079 edges, 8808 markings/sec, 710 secs
lola: sara is running 715 secs || 7046516 markings, 13028126 edges, 7640 markings/sec, 715 secs
lola: sara is running 720 secs || 7082519 markings, 13096273 edges, 7201 markings/sec, 720 secs
lola: sara is running 725 secs || 7120322 markings, 13167508 edges, 7561 markings/sec, 725 secs
lola: sara is running 730 secs || 7160973 markings, 13244698 edges, 8130 markings/sec, 730 secs
lola: sara is running 735 secs || 7209486 markings, 13340293 edges, 9703 markings/sec, 735 secs
lola: sara is running 740 secs || 7258660 markings, 13433575 edges, 9835 markings/sec, 740 secs
lola: sara is running 745 secs || 7306396 markings, 13524139 edges, 9547 markings/sec, 745 secs
lola: sara is running 750 secs || 7355132 markings, 13618974 edges, 9747 markings/sec, 750 secs
lola: sara is running 755 secs || 7403065 markings, 13713212 edges, 9587 markings/sec, 755 secs
lola: sara is running 760 secs || 7450730 markings, 13803043 edges, 9533 markings/sec, 760 secs
lola: sara is running 765 secs || 7497506 markings, 13892304 edges, 9355 markings/sec, 765 secs
lola: sara is running 770 secs || 7544424 markings, 13982824 edges, 9384 markings/sec, 770 secs
lola: sara is running 775 secs || 7592157 markings, 14074061 edges, 9547 markings/sec, 775 secs
lola: sara is running 780 secs || 7640124 markings, 14166618 edges, 9593 markings/sec, 780 secs
lola: sara is running 785 secs || 7689028 markings, 14263963 edges, 9781 markings/sec, 785 secs
lola: sara is running 790 secs || 7734813 markings, 14349954 edges, 9157 markings/sec, 790 secs
lola: sara is running 795 secs || 7778645 markings, 14437777 edges, 8766 markings/sec, 795 secs
lola: sara is running 800 secs || 7824132 markings, 14524938 edges, 9097 markings/sec, 800 secs
lola: sara is running 805 secs || 7876323 markings, 14625016 edges, 10438 markings/sec, 805 secs
lola: sara is running 810 secs || 7930078 markings, 14727032 edges, 10751 markings/sec, 810 secs
lola: sara is running 815 secs || 7984973 markings, 14829642 edges, 10979 markings/sec, 815 secs
lola: sara is running 820 secs || 8033263 markings, 14921757 edges, 9658 markings/sec, 820 secs
lola: sara is running 825 secs || 8085536 markings, 15022658 edges, 10455 markings/sec, 825 secs
lola: sara is running 830 secs || 8139499 markings, 15125770 edges, 10793 markings/sec, 830 secs
lola: sara is running 835 secs || 8194149 markings, 15230838 edges, 10930 markings/sec, 835 secs
lola: sara is running 840 secs || 8243939 markings, 15331410 edges, 9958 markings/sec, 840 secs
lola: sara is running 845 secs || 8298236 markings, 15437145 edges, 10859 markings/sec, 845 secs
lola: sara is running 850 secs || 8350376 markings, 15535217 edges, 10428 markings/sec, 850 secs
lola: sara is running 855 secs || 8402602 markings, 15636163 edges, 10445 markings/sec, 855 secs
lola: sara is running 860 secs || 8454776 markings, 15736476 edges, 10435 markings/sec, 860 secs
lola: sara is running 865 secs || 8508164 markings, 15840675 edges, 10678 markings/sec, 865 secs
lola: sara is running 870 secs || 8560665 markings, 15941540 edges, 10500 markings/sec, 870 secs
lola: sara is running 875 secs || 8610539 markings, 16042147 edges, 9975 markings/sec, 875 secs
lola: sara is running 880 secs || 8662115 markings, 16136577 edges, 10315 markings/sec, 880 secs
lola: sara is running 885 secs || 8712346 markings, 16223850 edges, 10046 markings/sec, 885 secs
lola: sara is running 890 secs || 8760129 markings, 16308835 edges, 9557 markings/sec, 890 secs
lola: sara is running 895 secs || 8811634 markings, 16400704 edges, 10301 markings/sec, 895 secs
lola: sara is running 900 secs || 8865834 markings, 16494762 edges, 10840 markings/sec, 900 secs
lola: sara is running 905 secs || 8913848 markings, 16583257 edges, 9603 markings/sec, 905 secs
lola: sara is running 910 secs || 8962488 markings, 16667909 edges, 9728 markings/sec, 910 secs
lola: sara is running 915 secs || 9010111 markings, 16752505 edges, 9525 markings/sec, 915 secs
lola: sara is running 920 secs || 9059614 markings, 16842672 edges, 9901 markings/sec, 920 secs
lola: sara is running 925 secs || 9107850 markings, 16928187 edges, 9647 markings/sec, 925 secs
lola: sara is running 930 secs || 9157732 markings, 17017851 edges, 9976 markings/sec, 930 secs
lola: sara is running 935 secs || 9210038 markings, 17112148 edges, 10461 markings/sec, 935 secs
lola: sara is running 940 secs || 9255681 markings, 17197161 edges, 9129 markings/sec, 940 secs
lola: sara is running 945 secs || 9294239 markings, 17268291 edges, 7712 markings/sec, 945 secs
lola: sara is running 950 secs || 9335141 markings, 17340017 edges, 8180 markings/sec, 950 secs
lola: sara is running 955 secs || 9375666 markings, 17410635 edges, 8105 markings/sec, 955 secs
lola: sara is running 960 secs || 9417986 markings, 17487556 edges, 8464 markings/sec, 960 secs
lola: sara is running 965 secs || 9462238 markings, 17571136 edges, 8850 markings/sec, 965 secs
lola: sara is running 970 secs || 9504948 markings, 17651382 edges, 8542 markings/sec, 970 secs
lola: sara is running 975 secs || 9542969 markings, 17720373 edges, 7604 markings/sec, 975 secs
lola: sara is running 980 secs || 9589310 markings, 17803045 edges, 9268 markings/sec, 980 secs
lola: sara is running 985 secs || 9636841 markings, 17899473 edges, 9506 markings/sec, 985 secs
lola: sara is running 990 secs || 9679559 markings, 17976875 edges, 8544 markings/sec, 990 secs
lola: sara is running 995 secs || 9713661 markings, 18035163 edges, 6820 markings/sec, 995 secs
lola: sara is running 1000 secs || 9742425 markings, 18086518 edges, 5753 markings/sec, 1000 secs
lola: sara is running 1005 secs || 9778312 markings, 18154346 edges, 7177 markings/sec, 1005 secs
lola: sara is running 1010 secs || 9814348 markings, 18224319 edges, 7207 markings/sec, 1010 secs
lola: sara is running 1015 secs || 9848449 markings, 18290671 edges, 6820 markings/sec, 1015 secs
lola: sara is running 1020 secs || 9882984 markings, 18349937 edges, 6907 markings/sec, 1020 secs
lola: sara is running 1025 secs || 9917144 markings, 18408153 edges, 6832 markings/sec, 1025 secs
lola: sara is running 1030 secs || 9946817 markings, 18472569 edges, 5935 markings/sec, 1030 secs
lola: sara is running 1035 secs || 9981253 markings, 18532323 edges, 6887 markings/sec, 1035 secs
lola: sara is running 1040 secs || 10013576 markings, 18591405 edges, 6465 markings/sec, 1040 secs
lola: sara is running 1045 secs || 10049048 markings, 18657123 edges, 7094 markings/sec, 1045 secs
lola: sara is running 1050 secs || 10085422 markings, 18722866 edges, 7275 markings/sec, 1050 secs
lola: sara is running 1055 secs || 10121377 markings, 18786347 edges, 7191 markings/sec, 1055 secs
lola: sara is running 1060 secs || 10157621 markings, 18851131 edges, 7249 markings/sec, 1060 secs
lola: sara is running 1065 secs || 10188350 markings, 18910469 edges, 6146 markings/sec, 1065 secs
lola: sara is running 1070 secs || 10221315 markings, 18974036 edges, 6593 markings/sec, 1070 secs
lola: sara is running 1075 secs || 10255950 markings, 19037266 edges, 6927 markings/sec, 1075 secs
lola: sara is running 1080 secs || 10288157 markings, 19098859 edges, 6441 markings/sec, 1080 secs
lola: sara is running 1085 secs || 10320966 markings, 19165406 edges, 6562 markings/sec, 1085 secs
lola: sara is running 1090 secs || 10359605 markings, 19237736 edges, 7728 markings/sec, 1090 secs
lola: sara is running 1095 secs || 10394923 markings, 19303287 edges, 7064 markings/sec, 1095 secs
lola: sara is running 1100 secs || 10433072 markings, 19370684 edges, 7630 markings/sec, 1100 secs
lola: sara is running 1105 secs || 10468669 markings, 19438136 edges, 7119 markings/sec, 1105 secs
lola: sara is running 1110 secs || 10510760 markings, 19520057 edges, 8418 markings/sec, 1110 secs
lola: sara is running 1115 secs || 10547140 markings, 19592670 edges, 7276 markings/sec, 1115 secs
lola: sara is running 1120 secs || 10578475 markings, 19652526 edges, 6267 markings/sec, 1120 secs
lola: sara is running 1125 secs || 10618881 markings, 19725717 edges, 8081 markings/sec, 1125 secs
lola: sara is running 1130 secs || 10649806 markings, 19791497 edges, 6185 markings/sec, 1130 secs
lola: sara is running 1135 secs || 10679455 markings, 19848847 edges, 5930 markings/sec, 1135 secs
lola: sara is running 1140 secs || 10712670 markings, 19914846 edges, 6643 markings/sec, 1140 secs
lola: sara is running 1145 secs || 10746824 markings, 19981179 edges, 6831 markings/sec, 1145 secs
lola: sara is running 1150 secs || 10781344 markings, 20039629 edges, 6904 markings/sec, 1150 secs
lola: sara is running 1155 secs || 10814448 markings, 20101029 edges, 6621 markings/sec, 1155 secs
lola: sara is running 1160 secs || 10848471 markings, 20161782 edges, 6805 markings/sec, 1160 secs
lola: sara is running 1165 secs || 10878165 markings, 20224403 edges, 5939 markings/sec, 1165 secs
lola: sara is running 1170 secs || 10910610 markings, 20302111 edges, 6489 markings/sec, 1170 secs
lola: sara is running 1175 secs || 10941765 markings, 20376688 edges, 6231 markings/sec, 1175 secs
lola: sara is running 1180 secs || 10970179 markings, 20446403 edges, 5683 markings/sec, 1180 secs
lola: sara is running 1185 secs || 11002773 markings, 20534068 edges, 6519 markings/sec, 1185 secs
lola: sara is running 1190 secs || 11032977 markings, 20612827 edges, 6041 markings/sec, 1190 secs
lola: sara is running 1195 secs || 11067933 markings, 20698896 edges, 6991 markings/sec, 1195 secs
lola: sara is running 1200 secs || 11099170 markings, 20783291 edges, 6247 markings/sec, 1200 secs
lola: sara is running 1205 secs || 11130131 markings, 20863132 edges, 6192 markings/sec, 1205 secs
lola: sara is running 1210 secs || 11168472 markings, 20960521 edges, 7668 markings/sec, 1210 secs
lola: sara is running 1215 secs || 11202631 markings, 21052653 edges, 6832 markings/sec, 1215 secs
lola: sara is running 1220 secs || 11235192 markings, 21137957 edges, 6512 markings/sec, 1220 secs
lola: sara is running 1225 secs || 11278005 markings, 21248653 edges, 8563 markings/sec, 1225 secs
lola: sara is running 1230 secs || 11317706 markings, 21349620 edges, 7940 markings/sec, 1230 secs
lola: sara is running 1235 secs || 11348439 markings, 21429928 edges, 6147 markings/sec, 1235 secs
lola: sara is running 1240 secs || 11374941 markings, 21497674 edges, 5300 markings/sec, 1240 secs
lola: sara is running 1245 secs || 11403368 markings, 21570071 edges, 5685 markings/sec, 1245 secs
lola: sara is running 1250 secs || 11438801 markings, 21660825 edges, 7087 markings/sec, 1250 secs
lola: sara is running 1255 secs || 11477027 markings, 21764459 edges, 7645 markings/sec, 1255 secs
lola: sara is running 1260 secs || 11509416 markings, 21849769 edges, 6478 markings/sec, 1260 secs
lola: sara is running 1265 secs || 11540242 markings, 21931412 edges, 6165 markings/sec, 1265 secs
lola: sara is running 1270 secs || 11576454 markings, 22029370 edges, 7242 markings/sec, 1270 secs
lola: sara is running 1275 secs || 11613142 markings, 22124477 edges, 7338 markings/sec, 1275 secs
lola: sara is running 1280 secs || 11647399 markings, 22213274 edges, 6851 markings/sec, 1280 secs
lola: sara is running 1285 secs || 11684772 markings, 22310469 edges, 7475 markings/sec, 1285 secs
lola: sara is running 1290 secs || 11712265 markings, 22380921 edges, 5499 markings/sec, 1290 secs
lola: sara is running 1295 secs || 11742653 markings, 22456352 edges, 6078 markings/sec, 1295 secs
lola: sara is running 1300 secs || 11769871 markings, 22525556 edges, 5444 markings/sec, 1300 secs
lola: sara is running 1305 secs || 11803099 markings, 22610656 edges, 6646 markings/sec, 1305 secs
lola: sara is running 1310 secs || 11833695 markings, 22688833 edges, 6119 markings/sec, 1310 secs
lola: sara is running 1315 secs || 11868279 markings, 22775864 edges, 6917 markings/sec, 1315 secs
lola: sara is running 1320 secs || 11901701 markings, 22862222 edges, 6684 markings/sec, 1320 secs
lola: sara is running 1325 secs || 11935130 markings, 22948463 edges, 6686 markings/sec, 1325 secs
lola: sara is running 1330 secs || 11969623 markings, 23035657 edges, 6899 markings/sec, 1330 secs
lola: sara is running 1335 secs || 12010919 markings, 23147179 edges, 8259 markings/sec, 1335 secs
lola: sara is running 1340 secs || 12051793 markings, 23257663 edges, 8175 markings/sec, 1340 secs
lola: sara is running 1345 secs || 12086195 markings, 23349735 edges, 6880 markings/sec, 1345 secs
lola: sara is running 1350 secs || 12116217 markings, 23429795 edges, 6004 markings/sec, 1350 secs
lola: sara is running 1355 secs || 12148386 markings, 23515802 edges, 6434 markings/sec, 1355 secs
lola: sara is running 1360 secs || 12181812 markings, 23602787 edges, 6685 markings/sec, 1360 secs
lola: sara is running 1365 secs || 12214032 markings, 23688379 edges, 6444 markings/sec, 1365 secs
lola: sara is running 1370 secs || 12242823 markings, 23762474 edges, 5758 markings/sec, 1370 secs
lola: sara is running 1375 secs || 12273448 markings, 23841607 edges, 6125 markings/sec, 1375 secs
lola: sara is running 1380 secs || 12303571 markings, 23917498 edges, 6025 markings/sec, 1380 secs
lola: sara is running 1385 secs || 12340525 markings, 24011975 edges, 7391 markings/sec, 1385 secs
lola: sara is running 1390 secs || 12379171 markings, 24114291 edges, 7729 markings/sec, 1390 secs
lola: sara is running 1395 secs || 12418247 markings, 24219426 edges, 7815 markings/sec, 1395 secs
lola: sara is running 1400 secs || 12457459 markings, 24325317 edges, 7842 markings/sec, 1400 secs
lola: sara is running 1405 secs || 12498341 markings, 24430115 edges, 8176 markings/sec, 1405 secs
lola: sara is running 1410 secs || 12536583 markings, 24532821 edges, 7648 markings/sec, 1410 secs
lola: sara is running 1415 secs || 12574954 markings, 24635841 edges, 7674 markings/sec, 1415 secs
lola: sara is running 1420 secs || 12614085 markings, 24741227 edges, 7826 markings/sec, 1420 secs
lola: sara is running 1425 secs || 12646135 markings, 24825490 edges, 6410 markings/sec, 1425 secs
lola: sara is running 1430 secs || 12676101 markings, 24902769 edges, 5993 markings/sec, 1430 secs
lola: sara is running 1435 secs || 12706895 markings, 24983623 edges, 6159 markings/sec, 1435 secs
lola: sara is running 1440 secs || 12738049 markings, 25063799 edges, 6231 markings/sec, 1440 secs
lola: sara is running 1445 secs || 12766599 markings, 25136183 edges, 5710 markings/sec, 1445 secs
lola: sara is running 1450 secs || 12801742 markings, 25229160 edges, 7029 markings/sec, 1450 secs
lola: sara is running 1455 secs || 12831842 markings, 25309047 edges, 6020 markings/sec, 1455 secs
lola: sara is running 1460 secs || 12868377 markings, 25400927 edges, 7307 markings/sec, 1460 secs
lola: sara is running 1465 secs || 12902992 markings, 25494454 edges, 6923 markings/sec, 1465 secs
lola: sara is running 1470 secs || 12939537 markings, 25591879 edges, 7309 markings/sec, 1470 secs
lola: sara is running 1475 secs || 12975739 markings, 25684561 edges, 7240 markings/sec, 1475 secs
lola: sara is running 1480 secs || 13012231 markings, 25782556 edges, 7298 markings/sec, 1480 secs
lola: sara is running 1485 secs || 13042956 markings, 25864444 edges, 6145 markings/sec, 1485 secs
lola: sara is running 1490 secs || 13074030 markings, 25949141 edges, 6215 markings/sec, 1490 secs
lola: sara is running 1495 secs || 13104246 markings, 26028735 edges, 6043 markings/sec, 1495 secs
lola: sara is running 1500 secs || 13133045 markings, 26100833 edges, 5760 markings/sec, 1500 secs
lola: sara is running 1505 secs || 13167362 markings, 26192738 edges, 6863 markings/sec, 1505 secs
lola: sara is running 1510 secs || 13207494 markings, 26300459 edges, 8026 markings/sec, 1510 secs
lola: sara is running 1515 secs || 13248350 markings, 26412999 edges, 8171 markings/sec, 1515 secs
lola: sara is running 1520 secs || 13284218 markings, 26509144 edges, 7174 markings/sec, 1520 secs
lola: sara is running 1525 secs || 13315927 markings, 26594242 edges, 6342 markings/sec, 1525 secs
lola: sara is running 1530 secs || 13348874 markings, 26682881 edges, 6589 markings/sec, 1530 secs
lola: sara is running 1535 secs || 13382186 markings, 26772162 edges, 6662 markings/sec, 1535 secs
lola: sara is running 1540 secs || 13417243 markings, 26864844 edges, 7011 markings/sec, 1540 secs
lola: sara is running 1545 secs || 13443632 markings, 26933518 edges, 5278 markings/sec, 1545 secs
lola: sara is running 1550 secs || 13474400 markings, 27010185 edges, 6154 markings/sec, 1550 secs
lola: sara is running 1555 secs || 13522041 markings, 27137526 edges, 9528 markings/sec, 1555 secs
lola: sara is running 1560 secs || 13563308 markings, 27244127 edges, 8253 markings/sec, 1560 secs
lola: sara is running 1565 secs || 13596379 markings, 27325669 edges, 6614 markings/sec, 1565 secs
lola: sara is running 1570 secs || 13640596 markings, 27441462 edges, 8843 markings/sec, 1570 secs
lola: sara is running 1575 secs || 13665505 markings, 27506858 edges, 4982 markings/sec, 1575 secs
lola: sara is running 1580 secs || 13688362 markings, 27564885 edges, 4571 markings/sec, 1580 secs
lola: sara is running 1585 secs || 13711659 markings, 27624573 edges, 4659 markings/sec, 1585 secs
lola: sara is running 1590 secs || 13741098 markings, 27699916 edges, 5888 markings/sec, 1590 secs
lola: sara is running 1595 secs || 13779824 markings, 27806148 edges, 7745 markings/sec, 1595 secs
lola: sara is running 1600 secs || 13819562 markings, 27907250 edges, 7948 markings/sec, 1600 secs
lola: sara is running 1605 secs || 13853694 markings, 27997040 edges, 6826 markings/sec, 1605 secs
lola: sara is running 1610 secs || 13883633 markings, 28080163 edges, 5988 markings/sec, 1610 secs
lola: sara is running 1615 secs || 13918534 markings, 28168438 edges, 6980 markings/sec, 1615 secs
lola: sara is running 1620 secs || 13949357 markings, 28250722 edges, 6165 markings/sec, 1620 secs
lola: sara is running 1625 secs || 13980876 markings, 28333301 edges, 6304 markings/sec, 1625 secs
lola: sara is running 1630 secs || 14012353 markings, 28418827 edges, 6295 markings/sec, 1630 secs
lola: sara is running 1635 secs || 14046231 markings, 28509837 edges, 6776 markings/sec, 1635 secs
lola: sara is running 1640 secs || 14080565 markings, 28600897 edges, 6867 markings/sec, 1640 secs
lola: sara is running 1645 secs || 14113324 markings, 28690461 edges, 6552 markings/sec, 1645 secs
lola: sara is running 1650 secs || 14143993 markings, 28770455 edges, 6134 markings/sec, 1650 secs
lola: sara is running 1655 secs || 14178086 markings, 28863047 edges, 6819 markings/sec, 1655 secs
lola: sara is running 1660 secs || 14227256 markings, 28994820 edges, 9834 markings/sec, 1660 secs
lola: sara is running 1665 secs || 14271908 markings, 29115196 edges, 8930 markings/sec, 1665 secs
lola: sara is running 1670 secs || 14311068 markings, 29216220 edges, 7832 markings/sec, 1670 secs
lola: sara is running 1675 secs || 14342439 markings, 29295685 edges, 6274 markings/sec, 1675 secs
lola: sara is running 1680 secs || 14370847 markings, 29369086 edges, 5682 markings/sec, 1680 secs
lola: sara is running 1685 secs || 14397861 markings, 29435058 edges, 5403 markings/sec, 1685 secs
lola: sara is running 1690 secs || 14424839 markings, 29502137 edges, 5396 markings/sec, 1690 secs
lola: sara is running 1695 secs || 14453401 markings, 29575690 edges, 5712 markings/sec, 1695 secs
lola: sara is running 1700 secs || 14480486 markings, 29641836 edges, 5417 markings/sec, 1700 secs
lola: sara is running 1705 secs || 14507316 markings, 29729966 edges, 5366 markings/sec, 1705 secs
lola: sara is running 1710 secs || 14541952 markings, 29830963 edges, 6927 markings/sec, 1710 secs
lola: sara is running 1715 secs || 14569758 markings, 29901337 edges, 5561 markings/sec, 1715 secs
lola: sara is running 1720 secs || 14607977 markings, 30004101 edges, 7644 markings/sec, 1720 secs
lola: sara is running 1725 secs || 14645623 markings, 30107507 edges, 7529 markings/sec, 1725 secs
lola: sara is running 1730 secs || 14674615 markings, 30189706 edges, 5798 markings/sec, 1730 secs
lola: sara is running 1735 secs || 14708160 markings, 30281573 edges, 6709 markings/sec, 1735 secs
lola: sara is running 1740 secs || 14738058 markings, 30368923 edges, 5980 markings/sec, 1740 secs
lola: sara is running 1745 secs || 14768653 markings, 30461065 edges, 6119 markings/sec, 1745 secs
lola: sara is running 1750 secs || 14802318 markings, 30558481 edges, 6733 markings/sec, 1750 secs
lola: sara is running 1755 secs || 14831315 markings, 30641185 edges, 5799 markings/sec, 1755 secs
lola: sara is running 1760 secs || 14860184 markings, 30728293 edges, 5774 markings/sec, 1760 secs
lola: sara is running 1765 secs || 14899105 markings, 30834411 edges, 7784 markings/sec, 1765 secs
lola: sara is running 1770 secs || 14944346 markings, 30951963 edges, 9048 markings/sec, 1770 secs
lola: sara is running 1775 secs || 14989204 markings, 31072166 edges, 8972 markings/sec, 1775 secs
lola: sara is running 1780 secs || 15035022 markings, 31191426 edges, 9164 markings/sec, 1780 secs
lola: sara is running 1785 secs || 15083711 markings, 31329416 edges, 9738 markings/sec, 1785 secs
lola: sara is running 1790 secs || 15135163 markings, 31469896 edges, 10290 markings/sec, 1790 secs
lola: sara is running 1795 secs || 15180838 markings, 31592917 edges, 9135 markings/sec, 1795 secs
lola: sara is running 1800 secs || 15224293 markings, 31718605 edges, 8691 markings/sec, 1800 secs
lola: sara is running 1805 secs || 15274519 markings, 31857433 edges, 10045 markings/sec, 1805 secs
lola: sara is running 1810 secs || 15325377 markings, 31996061 edges, 10172 markings/sec, 1810 secs
lola: sara is running 1815 secs || 15374974 markings, 32134934 edges, 9919 markings/sec, 1815 secs
lola: sara is running 1820 secs || 15422274 markings, 32264753 edges, 9460 markings/sec, 1820 secs
lola: sara is running 1825 secs || 15463255 markings, 32376170 edges, 8196 markings/sec, 1825 secs
lola: sara is running 1830 secs || 15501302 markings, 32477418 edges, 7609 markings/sec, 1830 secs
lola: sara is running 1835 secs || 15547619 markings, 32606049 edges, 9263 markings/sec, 1835 secs
lola: sara is running 1840 secs || 15586785 markings, 32709073 edges, 7833 markings/sec, 1840 secs
lola: sara is running 1845 secs || 15616227 markings, 32795262 edges, 5888 markings/sec, 1845 secs
lola: sara is running 1850 secs || 15652831 markings, 32884203 edges, 7321 markings/sec, 1850 secs
lola: sara is running 1855 secs || 15686734 markings, 32977248 edges, 6781 markings/sec, 1855 secs
lola: sara is running 1860 secs || 15735038 markings, 33103281 edges, 9661 markings/sec, 1860 secs
lola: sara is running 1865 secs || 15785325 markings, 33237463 edges, 10057 markings/sec, 1865 secs
lola: sara is running 1870 secs || 15817489 markings, 33316585 edges, 6433 markings/sec, 1870 secs
lola: sara is running 1875 secs || 15842057 markings, 33379164 edges, 4914 markings/sec, 1875 secs
lola: sara is running 1880 secs || 15865784 markings, 33440364 edges, 4745 markings/sec, 1880 secs
lola: sara is running 1885 secs || 15887916 markings, 33494966 edges, 4426 markings/sec, 1885 secs
lola: sara is running 1890 secs || 15910084 markings, 33549981 edges, 4434 markings/sec, 1890 secs
lola: sara is running 1895 secs || 15933676 markings, 33608493 edges, 4718 markings/sec, 1895 secs
lola: sara is running 1900 secs || 15957587 markings, 33671621 edges, 4782 markings/sec, 1900 secs
lola: sara is running 1905 secs || 15985959 markings, 33748435 edges, 5674 markings/sec, 1905 secs
lola: sara is running 1910 secs || 16018371 markings, 33831479 edges, 6482 markings/sec, 1910 secs
lola: sara is running 1915 secs || 16050844 markings, 33913573 edges, 6495 markings/sec, 1915 secs
lola: sara is running 1920 secs || 16078749 markings, 33990422 edges, 5581 markings/sec, 1920 secs
lola: sara is running 1925 secs || 16112578 markings, 34070969 edges, 6766 markings/sec, 1925 secs
lola: sara is running 1930 secs || 16141222 markings, 34151390 edges, 5729 markings/sec, 1930 secs
lola: sara is running 1935 secs || 16168474 markings, 34222246 edges, 5450 markings/sec, 1935 secs
lola: sara is running 1940 secs || 16208978 markings, 34327517 edges, 8101 markings/sec, 1940 secs
lola: sara is running 1945 secs || 16252039 markings, 34446539 edges, 8612 markings/sec, 1945 secs
lola: sara is running 1950 secs || 16307576 markings, 34596551 edges, 11107 markings/sec, 1950 secs
lola: sara is running 1955 secs || 16362425 markings, 34745491 edges, 10970 markings/sec, 1955 secs
lola: sara is running 1960 secs || 16420538 markings, 34904132 edges, 11623 markings/sec, 1960 secs
lola: sara is running 1965 secs || 16466889 markings, 35022686 edges, 9270 markings/sec, 1965 secs
lola: sara is running 1970 secs || 16509746 markings, 35133051 edges, 8571 markings/sec, 1970 secs
lola: sara is running 1975 secs || 16554371 markings, 35253266 edges, 8925 markings/sec, 1975 secs
lola: sara is running 1980 secs || 16603709 markings, 35389120 edges, 9868 markings/sec, 1980 secs
lola: sara is running 1985 secs || 16662493 markings, 35542072 edges, 11757 markings/sec, 1985 secs
lola: sara is running 1990 secs || 16711693 markings, 35683909 edges, 9840 markings/sec, 1990 secs
lola: sara is running 1995 secs || 16745464 markings, 35786285 edges, 6754 markings/sec, 1995 secs
lola: sara is running 2000 secs || 16775037 markings, 35872378 edges, 5915 markings/sec, 2000 secs
lola: sara is running 2005 secs || 16817984 markings, 35987285 edges, 8589 markings/sec, 2005 secs
lola: sara is running 2010 secs || 16870513 markings, 36129163 edges, 10506 markings/sec, 2010 secs
lola: sara is running 2015 secs || 16921172 markings, 36266151 edges, 10132 markings/sec, 2015 secs
lola: sara is running 2020 secs || 16977293 markings, 36420900 edges, 11224 markings/sec, 2020 secs
lola: sara is running 2025 secs || 17031353 markings, 36569210 edges, 10812 markings/sec, 2025 secs
lola: sara is running 2030 secs || 17070089 markings, 36668314 edges, 7747 markings/sec, 2030 secs
lola: sara is running 2035 secs || 17095214 markings, 36733518 edges, 5025 markings/sec, 2035 secs
lola: sara is running 2040 secs || 17119485 markings, 36795504 edges, 4854 markings/sec, 2040 secs
lola: sara is running 2045 secs || 17142064 markings, 36851182 edges, 4516 markings/sec, 2045 secs
lola: sara is running 2050 secs || 17165099 markings, 36907750 edges, 4607 markings/sec, 2050 secs
lola: sara is running 2055 secs || 17189125 markings, 36968597 edges, 4805 markings/sec, 2055 secs
lola: sara is running 2060 secs || 17219996 markings, 37043212 edges, 6174 markings/sec, 2060 secs
lola: sara is running 2065 secs || 17253626 markings, 37134403 edges, 6726 markings/sec, 2065 secs
lola: sara is running 2070 secs || 17283864 markings, 37214968 edges, 6048 markings/sec, 2070 secs
lola: sara is running 2075 secs || 17311942 markings, 37288316 edges, 5616 markings/sec, 2075 secs
lola: sara is running 2080 secs || 17343446 markings, 37371593 edges, 6301 markings/sec, 2080 secs
lola: sara is running 2085 secs || 17374901 markings, 37453040 edges, 6291 markings/sec, 2085 secs
lola: sara is running 2090 secs || 17403480 markings, 37528031 edges, 5716 markings/sec, 2090 secs
lola: sara is running 2095 secs || 17430720 markings, 37597925 edges, 5448 markings/sec, 2095 secs
lola: sara is running 2100 secs || 17464015 markings, 37684688 edges, 6659 markings/sec, 2100 secs
lola: sara is running 2105 secs || 17500454 markings, 37780432 edges, 7288 markings/sec, 2105 secs
lola: sara is running 2110 secs || 17536115 markings, 37873045 edges, 7132 markings/sec, 2110 secs
lola: sara is running 2115 secs || 17566386 markings, 37950541 edges, 6054 markings/sec, 2115 secs
lola: sara is running 2120 secs || 17593805 markings, 38026372 edges, 5484 markings/sec, 2120 secs
lola: sara is running 2125 secs || 17623114 markings, 38101761 edges, 5862 markings/sec, 2125 secs
lola: sara is running 2130 secs || 17660368 markings, 38198286 edges, 7451 markings/sec, 2130 secs
lola: sara is running 2135 secs || 17703329 markings, 38306623 edges, 8592 markings/sec, 2135 secs
lola: sara is running 2140 secs || 17740676 markings, 38407938 edges, 7469 markings/sec, 2140 secs
lola: sara is running 2145 secs || 17780109 markings, 38512580 edges, 7887 markings/sec, 2145 secs
lola: sara is running 2150 secs || 17817346 markings, 38613466 edges, 7447 markings/sec, 2150 secs
lola: sara is running 2155 secs || 17855637 markings, 38717359 edges, 7658 markings/sec, 2155 secs
lola: sara is running 2160 secs || 17891017 markings, 38815072 edges, 7076 markings/sec, 2160 secs
lola: sara is running 2165 secs || 17922929 markings, 38899490 edges, 6382 markings/sec, 2165 secs
lola: sara is running 2170 secs || 17952009 markings, 38977415 edges, 5816 markings/sec, 2170 secs
lola: sara is running 2175 secs || 17984019 markings, 39062059 edges, 6402 markings/sec, 2175 secs
lola: sara is running 2180 secs || 18016914 markings, 39151482 edges, 6579 markings/sec, 2180 secs
lola: sara is running 2185 secs || 18061093 markings, 39271272 edges, 8836 markings/sec, 2185 secs
lola: sara is running 2190 secs || 18106901 markings, 39397059 edges, 9162 markings/sec, 2190 secs
lola: sara is running 2195 secs || 18153408 markings, 39519123 edges, 9301 markings/sec, 2195 secs
lola: sara is running 2200 secs || 18198500 markings, 39643835 edges, 9018 markings/sec, 2200 secs
lola: sara is running 2205 secs || 18242620 markings, 39763046 edges, 8824 markings/sec, 2205 secs
lola: sara is running 2210 secs || 18288679 markings, 39890949 edges, 9212 markings/sec, 2210 secs
lola: sara is running 2215 secs || 18332601 markings, 40009638 edges, 8784 markings/sec, 2215 secs
lola: sara is running 2220 secs || 18375832 markings, 40127064 edges, 8646 markings/sec, 2220 secs
lola: sara is running 2225 secs || 18419760 markings, 40246733 edges, 8786 markings/sec, 2225 secs
lola: sara is running 2230 secs || 18463882 markings, 40364374 edges, 8824 markings/sec, 2230 secs
lola: sara is running 2235 secs || 18506165 markings, 40483146 edges, 8457 markings/sec, 2235 secs
lola: sara is running 2240 secs || 18555542 markings, 40614157 edges, 9875 markings/sec, 2240 secs
lola: sara is running 2245 secs || 18598988 markings, 40735733 edges, 8689 markings/sec, 2245 secs
lola: sara is running 2250 secs || 18641367 markings, 40851490 edges, 8476 markings/sec, 2250 secs
lola: sara is running 2255 secs || 18683149 markings, 40967846 edges, 8356 markings/sec, 2255 secs
lola: sara is running 2260 secs || 18730539 markings, 41095352 edges, 9478 markings/sec, 2260 secs
lola: sara is running 2265 secs || 18779703 markings, 41229892 edges, 9833 markings/sec, 2265 secs
lola: sara is running 2270 secs || 18832714 markings, 41371918 edges, 10602 markings/sec, 2270 secs
lola: sara is running 2275 secs || 18882304 markings, 41504382 edges, 9918 markings/sec, 2275 secs
lola: sara is running 2280 secs || 18920170 markings, 41609190 edges, 7573 markings/sec, 2280 secs
lola: sara is running 2285 secs || 18972595 markings, 41750995 edges, 10485 markings/sec, 2285 secs
lola: sara is running 2290 secs || 19024734 markings, 41891100 edges, 10428 markings/sec, 2290 secs
lola: sara is running 2295 secs || 19080820 markings, 42039296 edges, 11217 markings/sec, 2295 secs
lola: sara is running 2300 secs || 19128354 markings, 42174461 edges, 9507 markings/sec, 2300 secs
lola: sara is running 2305 secs || 19181168 markings, 42320446 edges, 10563 markings/sec, 2305 secs
lola: sara is running 2310 secs || 19232360 markings, 42458204 edges, 10238 markings/sec, 2310 secs
lola: sara is running 2315 secs || 19283486 markings, 42597729 edges, 10225 markings/sec, 2315 secs
lola: sara is running 2320 secs || 19330965 markings, 42727796 edges, 9496 markings/sec, 2320 secs
lola: sara is running 2325 secs || 19382733 markings, 42867515 edges, 10354 markings/sec, 2325 secs
lola: sara is running 2330 secs || 19435242 markings, 43011990 edges, 10502 markings/sec, 2330 secs
lola: sara is running 2335 secs || 19483837 markings, 43149780 edges, 9719 markings/sec, 2335 secs
lola: sara is running 2340 secs || 19532870 markings, 43279756 edges, 9807 markings/sec, 2340 secs
lola: sara is running 2345 secs || 19574488 markings, 43383172 edges, 8324 markings/sec, 2345 secs
lola: sara is running 2350 secs || 19612487 markings, 43484246 edges, 7600 markings/sec, 2350 secs
lola: sara is running 2355 secs || 19653227 markings, 43589121 edges, 8148 markings/sec, 2355 secs
lola: sara is running 2360 secs || 19698243 markings, 43698730 edges, 9003 markings/sec, 2360 secs
lola: sara is running 2365 secs || 19740127 markings, 43808090 edges, 8377 markings/sec, 2365 secs
lola: sara is running 2370 secs || 19778657 markings, 43911426 edges, 7706 markings/sec, 2370 secs
lola: sara is running 2375 secs || 19818955 markings, 44016372 edges, 8060 markings/sec, 2375 secs
lola: sara is running 2380 secs || 19857174 markings, 44115129 edges, 7644 markings/sec, 2380 secs
lola: sara is running 2385 secs || 19896618 markings, 44216891 edges, 7889 markings/sec, 2385 secs
lola: sara is running 2390 secs || 19937214 markings, 44323499 edges, 8119 markings/sec, 2390 secs
lola: sara is running 2395 secs || 19977554 markings, 44428748 edges, 8068 markings/sec, 2395 secs
lola: sara is running 2400 secs || 20018935 markings, 44534870 edges, 8276 markings/sec, 2400 secs
lola: sara is running 2405 secs || 20061547 markings, 44647076 edges, 8522 markings/sec, 2405 secs
lola: sara is running 2410 secs || 20104151 markings, 44757761 edges, 8521 markings/sec, 2410 secs
lola: sara is running 2415 secs || 20141433 markings, 44858772 edges, 7456 markings/sec, 2415 secs
lola: sara is running 2420 secs || 20175757 markings, 44951611 edges, 6865 markings/sec, 2420 secs
lola: sara is running 2425 secs || 20206852 markings, 45031363 edges, 6219 markings/sec, 2425 secs
lola: sara is running 2430 secs || 20238167 markings, 45112316 edges, 6263 markings/sec, 2430 secs
lola: sara is running 2435 secs || 20266452 markings, 45185919 edges, 5657 markings/sec, 2435 secs
lola: sara is running 2440 secs || 20306798 markings, 45292069 edges, 8069 markings/sec, 2440 secs
lola: sara is running 2445 secs || 20347523 markings, 45400794 edges, 8145 markings/sec, 2445 secs
lola: sara is running 2450 secs || 20381937 markings, 45494258 edges, 6883 markings/sec, 2450 secs
lola: sara is running 2455 secs || 20414160 markings, 45580184 edges, 6445 markings/sec, 2455 secs
lola: sara is running 2460 secs || 20453751 markings, 45688152 edges, 7918 markings/sec, 2460 secs
lola: sara is running 2465 secs || 20506121 markings, 45832658 edges, 10474 markings/sec, 2465 secs
lola: sara is running 2470 secs || 20548822 markings, 45943619 edges, 8540 markings/sec, 2470 secs
lola: sara is running 2475 secs || 20579666 markings, 46022315 edges, 6169 markings/sec, 2475 secs
lola: sara is running 2480 secs || 20603361 markings, 46081991 edges, 4739 markings/sec, 2480 secs
lola: sara is running 2485 secs || 20630204 markings, 46152938 edges, 5369 markings/sec, 2485 secs
lola: sara is running 2490 secs || 20665646 markings, 46252444 edges, 7088 markings/sec, 2490 secs
lola: sara is running 2495 secs || 20700143 markings, 46348828 edges, 6899 markings/sec, 2495 secs
lola: sara is running 2500 secs || 20733875 markings, 46441366 edges, 6746 markings/sec, 2500 secs
lola: sara is running 2505 secs || 20764078 markings, 46520125 edges, 6041 markings/sec, 2505 secs
lola: sara is running 2510 secs || 20794671 markings, 46599358 edges, 6119 markings/sec, 2510 secs
lola: sara is running 2515 secs || 20821607 markings, 46684545 edges, 5387 markings/sec, 2515 secs
lola: sara is running 2520 secs || 20853937 markings, 46769499 edges, 6466 markings/sec, 2520 secs
lola: sara is running 2525 secs || 20883766 markings, 46849485 edges, 5966 markings/sec, 2525 secs
lola: sara is running 2530 secs || 20918355 markings, 46942685 edges, 6918 markings/sec, 2530 secs
lola: sara is running 2535 secs || 20949799 markings, 47025073 edges, 6289 markings/sec, 2535 secs
lola: sara is running 2540 secs || 20982219 markings, 47108273 edges, 6484 markings/sec, 2540 secs
lola: sara is running 2545 secs || 21013951 markings, 47190736 edges, 6346 markings/sec, 2545 secs
lola: sara is running 2550 secs || 21045042 markings, 47272556 edges, 6218 markings/sec, 2550 secs
lola: sara is running 2555 secs || 21074908 markings, 47357207 edges, 5973 markings/sec, 2555 secs
lola: sara is running 2560 secs || 21104159 markings, 47438148 edges, 5850 markings/sec, 2560 secs
lola: sara is running 2565 secs || 21134794 markings, 47521497 edges, 6127 markings/sec, 2565 secs
lola: sara is running 2570 secs || 21164691 markings, 47606361 edges, 5979 markings/sec, 2570 secs
lola: sara is running 2575 secs || 21195620 markings, 47695772 edges, 6186 markings/sec, 2575 secs
lola: sara is running 2580 secs || 21230785 markings, 47795529 edges, 7033 markings/sec, 2580 secs
lola: sara is running 2585 secs || 21261253 markings, 47877608 edges, 6094 markings/sec, 2585 secs
lola: sara is running 2590 secs || 21288909 markings, 47949710 edges, 5531 markings/sec, 2590 secs
lola: sara is running 2595 secs || 21323518 markings, 48036364 edges, 6922 markings/sec, 2595 secs
lola: sara is running 2600 secs || 21357175 markings, 48130687 edges, 6731 markings/sec, 2600 secs
lola: sara is running 2605 secs || 21394179 markings, 48234102 edges, 7401 markings/sec, 2605 secs
lola: sara is running 2610 secs || 21428257 markings, 48326762 edges, 6816 markings/sec, 2610 secs
lola: sara is running 2615 secs || 21458647 markings, 48412797 edges, 6078 markings/sec, 2615 secs
lola: sara is running 2620 secs || 21493311 markings, 48501688 edges, 6933 markings/sec, 2620 secs
lola: sara is running 2625 secs || 21520638 markings, 48582347 edges, 5465 markings/sec, 2625 secs
lola: sara is running 2630 secs || 21545858 markings, 48654662 edges, 5044 markings/sec, 2630 secs
lola: sara is running 2635 secs || 21575066 markings, 48738734 edges, 5842 markings/sec, 2635 secs
lola: sara is running 2640 secs || 21605615 markings, 48820549 edges, 6110 markings/sec, 2640 secs
lola: sara is running 2645 secs || 21635867 markings, 48899457 edges, 6050 markings/sec, 2645 secs
lola: sara is running 2650 secs || 21663522 markings, 48970155 edges, 5531 markings/sec, 2650 secs
lola: sara is running 2655 secs || 21692139 markings, 49053297 edges, 5723 markings/sec, 2655 secs
lola: sara is running 2660 secs || 21720318 markings, 49127795 edges, 5636 markings/sec, 2660 secs
lola: sara is running 2665 secs || 21747062 markings, 49206946 edges, 5349 markings/sec, 2665 secs
lola: sara is running 2670 secs || 21780434 markings, 49288955 edges, 6674 markings/sec, 2670 secs
lola: sara is running 2675 secs || 21812725 markings, 49365818 edges, 6458 markings/sec, 2675 secs
lola: sara is running 2680 secs || 21845178 markings, 49440427 edges, 6491 markings/sec, 2680 secs
lola: sara is running 2685 secs || 21881564 markings, 49516718 edges, 7277 markings/sec, 2685 secs
lola: sara is running 2690 secs || 21931416 markings, 49591623 edges, 9970 markings/sec, 2690 secs
lola: sara is running 2695 secs || 21973395 markings, 49678753 edges, 8396 markings/sec, 2695 secs
lola: sara is running 2700 secs || 22015821 markings, 49770239 edges, 8485 markings/sec, 2700 secs
lola: sara is running 2705 secs || 22057716 markings, 49858787 edges, 8379 markings/sec, 2705 secs
lola: sara is running 2710 secs || 22099278 markings, 49959112 edges, 8312 markings/sec, 2710 secs
lola: sara is running 2715 secs || 22140877 markings, 50045145 edges, 8320 markings/sec, 2715 secs
lola: sara is running 2720 secs || 22179711 markings, 50134100 edges, 7767 markings/sec, 2720 secs
lola: sara is running 2725 secs || 22217885 markings, 50220086 edges, 7635 markings/sec, 2725 secs
lola: sara is running 2730 secs || 22255737 markings, 50305652 edges, 7570 markings/sec, 2730 secs
lola: sara is running 2735 secs || 22292338 markings, 50384964 edges, 7320 markings/sec, 2735 secs
lola: sara is running 2740 secs || 22331694 markings, 50469954 edges, 7871 markings/sec, 2740 secs
lola: sara is running 2745 secs || 22372290 markings, 50560097 edges, 8119 markings/sec, 2745 secs
lola: sara is running 2750 secs || 22412526 markings, 50651107 edges, 8047 markings/sec, 2750 secs
lola: sara is running 2755 secs || 22452016 markings, 50743117 edges, 7898 markings/sec, 2755 secs
lola: sara is running 2760 secs || 22489499 markings, 50824653 edges, 7497 markings/sec, 2760 secs
lola: sara is running 2765 secs || 22526029 markings, 50905059 edges, 7306 markings/sec, 2765 secs
lola: sara is running 2770 secs || 22565181 markings, 50991854 edges, 7830 markings/sec, 2770 secs
lola: sara is running 2775 secs || 22602785 markings, 51071060 edges, 7521 markings/sec, 2775 secs
lola: sara is running 2780 secs || 22640395 markings, 51152841 edges, 7522 markings/sec, 2780 secs
lola: sara is running 2785 secs || 22680576 markings, 51238605 edges, 8036 markings/sec, 2785 secs
lola: sara is running 2790 secs || 22717803 markings, 51326530 edges, 7445 markings/sec, 2790 secs
lola: sara is running 2795 secs || 22758178 markings, 51412490 edges, 8075 markings/sec, 2795 secs
lola: sara is running 2800 secs || 22796218 markings, 51497155 edges, 7608 markings/sec, 2800 secs
lola: sara is running 2805 secs || 22833744 markings, 51598057 edges, 7505 markings/sec, 2805 secs
lola: sara is running 2810 secs || 22867599 markings, 51678082 edges, 6771 markings/sec, 2810 secs
lola: sara is running 2815 secs || 22903294 markings, 51766775 edges, 7139 markings/sec, 2815 secs
lola: sara is running 2820 secs || 22940889 markings, 51851812 edges, 7519 markings/sec, 2820 secs
lola: sara is running 2825 secs || 22981564 markings, 51943039 edges, 8135 markings/sec, 2825 secs
lola: sara is running 2830 secs || 23020200 markings, 52034772 edges, 7727 markings/sec, 2830 secs
lola: sara is running 2835 secs || 23056878 markings, 52119920 edges, 7336 markings/sec, 2835 secs
lola: sara is running 2840 secs || 23093142 markings, 52200121 edges, 7253 markings/sec, 2840 secs
lola: sara is running 2845 secs || 23129411 markings, 52285482 edges, 7254 markings/sec, 2845 secs
lola: sara is running 2850 secs || 23164112 markings, 52366930 edges, 6940 markings/sec, 2850 secs
lola: sara is running 2855 secs || 23200043 markings, 52451704 edges, 7186 markings/sec, 2855 secs
lola: sara is running 2860 secs || 23236130 markings, 52534173 edges, 7217 markings/sec, 2860 secs
lola: sara is running 2865 secs || 23273151 markings, 52615876 edges, 7404 markings/sec, 2865 secs
lola: sara is running 2870 secs || 23312113 markings, 52703763 edges, 7792 markings/sec, 2870 secs
lola: sara is running 2875 secs || 23351688 markings, 52795116 edges, 7915 markings/sec, 2875 secs
lola: sara is running 2880 secs || 23388074 markings, 52876285 edges, 7277 markings/sec, 2880 secs
lola: sara is running 2885 secs || 23424590 markings, 52958817 edges, 7303 markings/sec, 2885 secs
lola: sara is running 2890 secs || 23460881 markings, 53043353 edges, 7258 markings/sec, 2890 secs
lola: sara is running 2895 secs || 23496734 markings, 53127342 edges, 7171 markings/sec, 2895 secs
lola: sara is running 2900 secs || 23532602 markings, 53210653 edges, 7174 markings/sec, 2900 secs
lola: sara is running 2905 secs || 23568824 markings, 53295941 edges, 7244 markings/sec, 2905 secs
lola: sara is running 2910 secs || 23606786 markings, 53375032 edges, 7592 markings/sec, 2910 secs
lola: sara is running 2915 secs || 23645425 markings, 53463151 edges, 7728 markings/sec, 2915 secs
lola: sara is running 2920 secs || 23683398 markings, 53550809 edges, 7595 markings/sec, 2920 secs
lola: sara is running 2925 secs || 23721396 markings, 53636342 edges, 7600 markings/sec, 2925 secs
lola: sara is running 2930 secs || 23757839 markings, 53720355 edges, 7289 markings/sec, 2930 secs
lola: sara is running 2935 secs || 23792878 markings, 53797894 edges, 7008 markings/sec, 2935 secs
lola: sara is running 2940 secs || 23827635 markings, 53879631 edges, 6951 markings/sec, 2940 secs
lola: sara is running 2945 secs || 23863456 markings, 53953697 edges, 7164 markings/sec, 2945 secs
lola: sara is running 2950 secs || 23897063 markings, 54034172 edges, 6721 markings/sec, 2950 secs
lola: sara is running 2955 secs || 23932931 markings, 54119059 edges, 7174 markings/sec, 2955 secs
lola: sara is running 2960 secs || 23970294 markings, 54199427 edges, 7473 markings/sec, 2960 secs
lola: sara is running 2965 secs || 24007601 markings, 54281708 edges, 7461 markings/sec, 2965 secs
lola: sara is running 2970 secs || 24046825 markings, 54369610 edges, 7845 markings/sec, 2970 secs
lola: sara is running 2975 secs || 24083032 markings, 54448100 edges, 7241 markings/sec, 2975 secs
lola: sara is running 2980 secs || 24118960 markings, 54526833 edges, 7186 markings/sec, 2980 secs
lola: sara is running 2985 secs || 24154951 markings, 54612970 edges, 7198 markings/sec, 2985 secs
lola: sara is running 2990 secs || 24189339 markings, 54692207 edges, 6878 markings/sec, 2990 secs
lola: sara is running 2995 secs || 24225296 markings, 54773135 edges, 7191 markings/sec, 2995 secs
lola: sara is running 3000 secs || 24261504 markings, 54856431 edges, 7242 markings/sec, 3000 secs
lola: sara is running 3005 secs || 24300136 markings, 54943606 edges, 7726 markings/sec, 3005 secs
lola: sara is running 3010 secs || 24338178 markings, 55034987 edges, 7608 markings/sec, 3010 secs
lola: sara is running 3015 secs || 24375493 markings, 55116764 edges, 7463 markings/sec, 3015 secs
lola: sara is running 3020 secs || 24411808 markings, 55196735 edges, 7263 markings/sec, 3020 secs
lola: sara is running 3025 secs || 24447874 markings, 55281223 edges, 7213 markings/sec, 3025 secs
lola: sara is running 3030 secs || 24481604 markings, 55363039 edges, 6746 markings/sec, 3030 secs
lola: sara is running 3035 secs || 24516458 markings, 55438605 edges, 6971 markings/sec, 3035 secs
lola: sara is running 3040 secs || 24551085 markings, 55519167 edges, 6925 markings/sec, 3040 secs
lola: sara is running 3045 secs || 24586419 markings, 55603510 edges, 7067 markings/sec, 3045 secs
lola: sara is running 3050 secs || 24621150 markings, 55687177 edges, 6946 markings/sec, 3050 secs
lola: sara is running 3055 secs || 24656071 markings, 55767791 edges, 6984 markings/sec, 3055 secs
lola: sara is running 3060 secs || 24693988 markings, 55856223 edges, 7583 markings/sec, 3060 secs
lola: sara is running 3065 secs || 24731251 markings, 55934481 edges, 7453 markings/sec, 3065 secs
lola: sara is running 3070 secs || 24767325 markings, 56011497 edges, 7215 markings/sec, 3070 secs
lola: sara is running 3075 secs || 24800519 markings, 56093197 edges, 6639 markings/sec, 3075 secs
lola: sara is running 3080 secs || 24833447 markings, 56173272 edges, 6586 markings/sec, 3080 secs
lola: sara is running 3085 secs || 24865383 markings, 56246395 edges, 6387 markings/sec, 3085 secs
lola: sara is running 3090 secs || 24897746 markings, 56317588 edges, 6473 markings/sec, 3090 secs
lola: sara is running 3095 secs || 24929593 markings, 56389332 edges, 6369 markings/sec, 3095 secs
lola: sara is running 3100 secs || 24963890 markings, 56477325 edges, 6859 markings/sec, 3100 secs
lola: sara is running 3105 secs || 24998792 markings, 56553182 edges, 6980 markings/sec, 3105 secs
lola: sara is running 3110 secs || 25033391 markings, 56635933 edges, 6920 markings/sec, 3110 secs
lola: sara is running 3115 secs || 25068550 markings, 56714458 edges, 7032 markings/sec, 3115 secs
lola: sara is running 3120 secs || 25104073 markings, 56790205 edges, 7105 markings/sec, 3120 secs
lola: sara is running 3125 secs || 25141156 markings, 56871738 edges, 7417 markings/sec, 3125 secs
lola: sara is running 3130 secs || 25176417 markings, 56954486 edges, 7052 markings/sec, 3130 secs
lola: sara is running 3135 secs || 25212739 markings, 57037548 edges, 7264 markings/sec, 3135 secs
lola: sara is running 3140 secs || 25247495 markings, 57118871 edges, 6951 markings/sec, 3140 secs
lola: sara is running 3145 secs || 25284101 markings, 57201849 edges, 7321 markings/sec, 3145 secs
lola: sara is running 3150 secs || 25318851 markings, 57283467 edges, 6950 markings/sec, 3150 secs
lola: sara is running 3155 secs || 25356866 markings, 57362626 edges, 7603 markings/sec, 3155 secs
lola: sara is running 3160 secs || 25394945 markings, 57447745 edges, 7616 markings/sec, 3160 secs
lola: sara is running 3165 secs || 25430212 markings, 57527855 edges, 7053 markings/sec, 3165 secs
lola: sara is running 3170 secs || 25464934 markings, 57605105 edges, 6944 markings/sec, 3170 secs
lola: sara is running 3175 secs || 25500646 markings, 57687484 edges, 7142 markings/sec, 3175 secs
lola: sara is running 3180 secs || 25534796 markings, 57768271 edges, 6830 markings/sec, 3180 secs
lola: sara is running 3185 secs || 25567675 markings, 57837525 edges, 6576 markings/sec, 3185 secs
lola: sara is running 3190 secs || 25599648 markings, 57913250 edges, 6395 markings/sec, 3190 secs
lola: sara is running 3195 secs || 25633861 markings, 57996248 edges, 6843 markings/sec, 3195 secs
lola: sara is running 3200 secs || 25669489 markings, 58080629 edges, 7126 markings/sec, 3200 secs
lola: sara is running 3205 secs || 25706175 markings, 58163138 edges, 7337 markings/sec, 3205 secs
lola: sara is running 3210 secs || 25741611 markings, 58244854 edges, 7087 markings/sec, 3210 secs
lola: sara is running 3215 secs || 25778331 markings, 58322419 edges, 7344 markings/sec, 3215 secs
lola: sara is running 3220 secs || 25813350 markings, 58410470 edges, 7004 markings/sec, 3220 secs
lola: sara is running 3225 secs || 25851500 markings, 58499425 edges, 7630 markings/sec, 3225 secs
lola: sara is running 3230 secs || 25896445 markings, 58596845 edges, 8989 markings/sec, 3230 secs
lola: sara is running 3235 secs || 25938690 markings, 58695107 edges, 8449 markings/sec, 3235 secs
lola: sara is running 3240 secs || 25980982 markings, 58795186 edges, 8458 markings/sec, 3240 secs
lola: sara is running 3245 secs || 26026527 markings, 58906293 edges, 9109 markings/sec, 3245 secs
lola: sara is running 3250 secs || 26063081 markings, 58991203 edges, 7311 markings/sec, 3250 secs
lola: sara is running 3255 secs || 26097771 markings, 59073492 edges, 6938 markings/sec, 3255 secs
lola: sara is running 3260 secs || 26133960 markings, 59161504 edges, 7238 markings/sec, 3260 secs
lola: sara is running 3265 secs || 26168376 markings, 59239013 edges, 6883 markings/sec, 3265 secs
lola: sara is running 3270 secs || 26204369 markings, 59323561 edges, 7199 markings/sec, 3270 secs
lola: sara is running 3275 secs || 26238824 markings, 59403378 edges, 6891 markings/sec, 3275 secs
lola: sara is running 3280 secs || 26276420 markings, 59494099 edges, 7519 markings/sec, 3280 secs
lola: sara is running 3285 secs || 26314277 markings, 59590946 edges, 7571 markings/sec, 3285 secs
lola: sara is running 3290 secs || 26354902 markings, 59690426 edges, 8125 markings/sec, 3290 secs
lola: sara is running 3295 secs || 26390909 markings, 59786586 edges, 7201 markings/sec, 3295 secs
lola: sara is running 3300 secs || 26432294 markings, 59876232 edges, 8277 markings/sec, 3300 secs
lola: sara is running 3305 secs || 26471949 markings, 59972991 edges, 7931 markings/sec, 3305 secs
lola: sara is running 3310 secs || 26509337 markings, 60074967 edges, 7478 markings/sec, 3310 secs
lola: sara is running 3315 secs || 26547789 markings, 60172177 edges, 7690 markings/sec, 3315 secs
lola: sara is running 3320 secs || 26587377 markings, 60272609 edges, 7918 markings/sec, 3320 secs
lola: sara is running 3325 secs || 26626358 markings, 60365091 edges, 7796 markings/sec, 3325 secs
lola: sara is running 3330 secs || 26667050 markings, 60455793 edges, 8138 markings/sec, 3330 secs
lola: sara is running 3335 secs || 26704090 markings, 60557742 edges, 7408 markings/sec, 3335 secs
lola: sara is running 3340 secs || 26743586 markings, 60656453 edges, 7899 markings/sec, 3340 secs
lola: sara is running 3345 secs || 26767569 markings, 60735717 edges, 4797 markings/sec, 3345 secs
lola: sara is running 3350 secs || 26807092 markings, 60836212 edges, 7905 markings/sec, 3350 secs
lola: sara is running 3355 secs || 26846591 markings, 60931542 edges, 7900 markings/sec, 3355 secs
lola: sara is running 3360 secs || 26889801 markings, 61031740 edges, 8642 markings/sec, 3360 secs
lola: sara is running 3365 secs || 26933285 markings, 61152399 edges, 8697 markings/sec, 3365 secs
lola: sara is running 3370 secs || 26972391 markings, 61261883 edges, 7821 markings/sec, 3370 secs
lola: sara is running 3375 secs || 27005186 markings, 61340971 edges, 6559 markings/sec, 3375 secs
lola: sara is running 3380 secs || 27042624 markings, 61429084 edges, 7488 markings/sec, 3380 secs
lola: sara is running 3385 secs || 27080308 markings, 61516404 edges, 7537 markings/sec, 3385 secs
lola: sara is running 3390 secs || 27117256 markings, 61605245 edges, 7390 markings/sec, 3390 secs
lola: sara is running 3395 secs || 27155832 markings, 61699981 edges, 7715 markings/sec, 3395 secs
lola: sara is running 3400 secs || 27195524 markings, 61787787 edges, 7938 markings/sec, 3400 secs
lola: sara is running 3405 secs || 27238402 markings, 61890727 edges, 8576 markings/sec, 3405 secs
lola: sara is running 3410 secs || 27274899 markings, 61979403 edges, 7299 markings/sec, 3410 secs
lola: sara is running 3415 secs || 27315039 markings, 62067904 edges, 8028 markings/sec, 3415 secs
lola: sara is running 3420 secs || 27359498 markings, 62163704 edges, 8892 markings/sec, 3420 secs
lola: sara is running 3425 secs || 27400765 markings, 62261281 edges, 8253 markings/sec, 3425 secs
lola: sara is running 3430 secs || 27443229 markings, 62359733 edges, 8493 markings/sec, 3430 secs
lola: sara is running 3435 secs || 27487093 markings, 62470251 edges, 8773 markings/sec, 3435 secs
lola: sara is running 3440 secs || 27522109 markings, 62550159 edges, 7003 markings/sec, 3440 secs
lola: sara is running 3445 secs || 27556472 markings, 62632131 edges, 6873 markings/sec, 3445 secs
lola: sara is running 3450 secs || 27592097 markings, 62717519 edges, 7125 markings/sec, 3450 secs
lola: sara is running 3455 secs || 27627680 markings, 62796182 edges, 7117 markings/sec, 3455 secs
lola: sara is running 3460 secs || 27662312 markings, 62880947 edges, 6926 markings/sec, 3460 secs
lola: sara is running 3465 secs || 27697434 markings, 62964475 edges, 7024 markings/sec, 3465 secs
lola: sara is running 3470 secs || 27736412 markings, 63056090 edges, 7796 markings/sec, 3470 secs
lola: sara is running 3475 secs || 27774526 markings, 63153471 edges, 7623 markings/sec, 3475 secs
lola: sara is running 3480 secs || 27813744 markings, 63254724 edges, 7844 markings/sec, 3480 secs
lola: sara is running 3485 secs || 27853090 markings, 63350248 edges, 7869 markings/sec, 3485 secs
lola: sara is running 3490 secs || 27890353 markings, 63444730 edges, 7453 markings/sec, 3490 secs
lola: sara is running 3495 secs || 27929341 markings, 63539672 edges, 7798 markings/sec, 3495 secs
lola: sara is running 3500 secs || 27968220 markings, 63635509 edges, 7776 markings/sec, 3500 secs
lola: sara is running 3505 secs || 28007949 markings, 63733653 edges, 7946 markings/sec, 3505 secs
lola: sara is running 3510 secs || 28049088 markings, 63831314 edges, 8228 markings/sec, 3510 secs
lola: sara is running 3515 secs || 28088245 markings, 63924847 edges, 7831 markings/sec, 3515 secs
lola: sara is running 3520 secs || 28123337 markings, 64021994 edges, 7018 markings/sec, 3520 secs
lola: sara is running 3525 secs || 28162137 markings, 64114821 edges, 7760 markings/sec, 3525 secs
lola: sara is running 3530 secs || 28196277 markings, 64210155 edges, 6828 markings/sec, 3530 secs
lola: sara is running 3535 secs || 28225582 markings, 64295955 edges, 5861 markings/sec, 3535 secs
lola: sara is running 3540 secs || 28263823 markings, 64389404 edges, 7648 markings/sec, 3540 secs
lola: sara is running 3545 secs || 28302957 markings, 64481234 edges, 7827 markings/sec, 3545 secs
lola: sara is running 3550 secs || 28344917 markings, 64582279 edges, 8392 markings/sec, 3550 secs
lola: sara is running 3555 secs || 28381158 markings, 64670231 edges, 7248 markings/sec, 3555 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown yes yes yes yes yes yes no yes no no yes yes yes yes
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: yes unknown yes yes yes yes yes yes no yes no no yes yes yes yes
lola: time limit reached - aborting
lola:
preliminary result: yes unknown yes yes yes yes yes yes no yes no no yes yes yes yes
lola:
preliminary result: yes unknown yes yes yes yes yes yes no yes no no yes yes yes yes
lola: memory consumption: 6814964 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityFireability.json
lola: closed JSON file ReachabilityFireability.json
rslt: finished

BK_STOP 1552742209570

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-320"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-320, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r038-smll-155229649000288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-320.tgz
mv CloudReconfiguration-PT-320 execution
cd execution
if [ "ReachabilityFireability" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '' ReachabilityFireability.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 ;