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-155229648700089.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 CloudDeployment-PT-6b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-smll-155229648700089
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.0M
-rw-r--r-- 1 mcc users 3.2K Feb 9 09:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 9 09:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 5 07:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Feb 5 07:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 108 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 346 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 2 02:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 02:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 29 15:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 29 15:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 4.8M 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 CloudDeployment-PT-6b-ReachabilityCardinality-00
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityCardinality-01
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityCardinality-02
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityCardinality-03
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityCardinality-04
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityCardinality-05
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityCardinality-06
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityCardinality-07
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityCardinality-08
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityCardinality-09
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityCardinality-10
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityCardinality-11
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityCardinality-12
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityCardinality-13
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityCardinality-14
FORMULA_NAME CloudDeployment-PT-6b-ReachabilityCardinality-15

=== Now, execution of the tool begins

BK_START 1552565924381

info: Time: 3600 - MCC
vrfy: Checking ReachabilityCardinality @ CloudDeployment-PT-6b @ 3570 seconds

FORMULA CloudDeployment-PT-6b-ReachabilityCardinality-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-ReachabilityCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-ReachabilityCardinality-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-ReachabilityCardinality-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-ReachabilityCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-ReachabilityCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-ReachabilityCardinality-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-ReachabilityCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-6b-ReachabilityCardinality-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for ReachabilityCardinality @ CloudDeployment-PT-6b

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 218
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 27
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 232
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 27
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 249
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 27
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 268
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 27
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 290
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 27
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 317
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 27
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 349
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 27
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 387
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 27
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 7,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 436
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 27
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 8,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 498
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "E (F ((1 <= p1616)))",
"processed_size": 20,
"rewrites": 28
},
"result":
{
"edges": 172,
"markings": 173,
"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": 1,
"problems": 1
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 581
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "E (F ((((1 <= p1511)))))",
"processed_size": 24,
"rewrites": 28
},
"result":
{
"edges": 23,
"markings": 24,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 698
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "A (G ((p1476 <= 0)))",
"processed_size": 20,
"rewrites": 29
},
"result":
{
"edges": 32,
"markings": 33,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 11,
"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": 872
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (G ((((p1810 + 1 <= p8) OR (p1538 <= p1616)))))",
"processed_size": 50,
"rewrites": 29
},
"result":
{
"edges": 16,
"markings": 17,
"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": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1308
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "E (F (((p1136 + 1 <= p1324) OR (p424 + 1 <= p648) OR (1 <= p1863))))",
"processed_size": 70,
"rewrites": 28
},
"result":
{
"edges": 22,
"markings": 23,
"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": 3,
"problems": 3
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"error": null,
"memory": 120596,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "ReachabilityCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(G(**)) : A(G(**)) : E(F(**)) : TRUE : FALSE : E(F(**)) : FALSE : TRUE : A(G(**)) : FALSE : FALSE : A(G(**)) : FALSE : E(F(**)) : TRUE : TRUE"
},
"net":
{
"arcs": 91831,
"conflict_clusters": 1659,
"places": 1888,
"places_significant": 1863,
"singleton_clusters": 0,
"transitions": 6804
},
"result":
{
"interim_value": "unknown no yes yes no yes no yes unknown no no no no yes yes yes ",
"preliminary_value": "unknown no yes yes no yes no yes unknown no no no no 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: 8692/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1888
lola: finding significant places
lola: 1888 places, 6804 transitions, 1863 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 ReachabilityCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p71)
lola: LP says that atomic proposition is always false: (2 <= p1378)
lola: LP says that atomic proposition is always false: (2 <= p369)
lola: LP says that atomic proposition is always false: (2 <= p1750)
lola: LP says that atomic proposition is always false: (3 <= p1542)
lola: LP says that atomic proposition is always false: (2 <= p1853)
lola: LP says that atomic proposition is always false: (3 <= p414)
lola: LP says that atomic proposition is always false: (2 <= p313)
lola: LP says that atomic proposition is always false: (2 <= p961)
lola: LP says that atomic proposition is always false: (2 <= p22)
lola: LP says that atomic proposition is always false: (2 <= p1222)
lola: LP says that atomic proposition is always false: (3 <= p1710)
lola: LP says that atomic proposition is always false: (3 <= p869)
lola: LP says that atomic proposition is always false: (2 <= p1630)
lola: LP says that atomic proposition is always false: (2 <= p600)
lola: LP says that atomic proposition is always false: (3 <= p1132)
lola: LP says that atomic proposition is always false: (3 <= p1641)
lola: LP says that atomic proposition is always false: (3 <= p102)
lola: LP says that atomic proposition is always false: (3 <= p1432)
lola: LP says that atomic proposition is always false: (3 <= p1507)
lola: A (G ((p202 <= p235))) : A (G ((p1476 <= 0))) : E (F (((p1136 + 1 <= p1324) OR (p424 + 1 <= p648) OR (1 <= p1863)))) : A (G (())) : E (F ((2 <= p369))) : E (F ((((1 <= p1511))))) : E (F ((3 <= p414))) : A (G (())) : A (G (((p988 <= p394) OR (p812 + 1 <= p1781) OR (p176 <= p1673)))) : E (F (())) : E (F (())) : A (G ((((p1810 + 1 <= p8) OR (p1538 <= p1616))))) : E (F ((3 <= p1132))) : E (F ((1 <= p1616))) : A (G (())) : A (G (()))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 27 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 27 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 27 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 268 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 27 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 27 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 317 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 27 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 349 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 27 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 387 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 27 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 436 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 27 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 498 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= p1616)))
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 ((1 <= p1616)))
lola: processed formula length: 20
lola: 28 rewrites
lola: closed formula file ReachabilityCardinality.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: (1 <= p1616)
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: 173 markings, 172 edges
lola: ========================================
lola: subprocess 10 will run for 581 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p1511)))))
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 ((((1 <= p1511)))))
lola: processed formula length: 24
lola: 28 rewrites
lola: closed formula file ReachabilityCardinality.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: (((1 <= p1511)))
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: 24 markings, 23 edges
lola: ========================================
lola: subprocess 11 will run for 698 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p1476 <= 0)))
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 ((p1476 <= 0)))
lola: processed formula length: 20
lola: 29 rewrites
lola: closed formula file ReachabilityCardinality.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: (1 <= p1476)
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: 33 markings, 32 edges
lola: ========================================
lola: subprocess 12 will run for 872 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p202 <= p235)))
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 ((p202 <= p235)))
lola: processed formula length: 22
lola: 29 rewrites
lola: closed formula file ReachabilityCardinality.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: (p235 + 1 <= p202)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityCardinality-12-0.sara.
sara: error: :3765: 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 || 64804 markings, 109350 edges, 12961 markings/sec, 0 secs
lola: sara is running 5 secs || 131415 markings, 213108 edges, 13322 markings/sec, 5 secs
lola: sara is running 10 secs || 183507 markings, 349514 edges, 10418 markings/sec, 10 secs
lola: sara is running 15 secs || 245311 markings, 467789 edges, 12361 markings/sec, 15 secs
lola: sara is running 20 secs || 309715 markings, 578022 edges, 12881 markings/sec, 20 secs
lola: sara is running 25 secs || 366314 markings, 700711 edges, 11320 markings/sec, 25 secs
lola: sara is running 30 secs || 425191 markings, 826769 edges, 11775 markings/sec, 30 secs
lola: sara is running 35 secs || 489448 markings, 938666 edges, 12851 markings/sec, 35 secs
lola: sara is running 40 secs || 546380 markings, 1066493 edges, 11386 markings/sec, 40 secs
lola: sara is running 45 secs || 605297 markings, 1187527 edges, 11783 markings/sec, 45 secs
lola: sara is running 50 secs || 670675 markings, 1292498 edges, 13076 markings/sec, 50 secs
lola: sara is running 55 secs || 724896 markings, 1426289 edges, 10844 markings/sec, 55 secs
lola: sara is running 60 secs || 788231 markings, 1537597 edges, 12667 markings/sec, 60 secs
lola: sara is running 65 secs || 850721 markings, 1654769 edges, 12498 markings/sec, 65 secs
lola: sara is running 70 secs || 913607 markings, 1770567 edges, 12577 markings/sec, 70 secs
lola: sara is running 75 secs || 974981 markings, 1888055 edges, 12275 markings/sec, 75 secs
lola: sara is running 80 secs || 1037957 markings, 2004211 edges, 12595 markings/sec, 80 secs
lola: sara is running 85 secs || 1096192 markings, 2130484 edges, 11647 markings/sec, 85 secs
lola: sara is running 90 secs || 1159839 markings, 2244033 edges, 12729 markings/sec, 90 secs
lola: sara is running 95 secs || 1220744 markings, 2363161 edges, 12181 markings/sec, 95 secs
lola: sara is running 100 secs || 1286905 markings, 2469640 edges, 13232 markings/sec, 100 secs
lola: sara is running 105 secs || 1345581 markings, 2595584 edges, 11735 markings/sec, 105 secs
lola: sara is running 110 secs || 1405887 markings, 2715861 edges, 12061 markings/sec, 110 secs
lola: sara is running 115 secs || 1469398 markings, 2828959 edges, 12702 markings/sec, 115 secs
lola: sara is running 120 secs || 1528020 markings, 2954651 edges, 11724 markings/sec, 120 secs
lola: sara is running 125 secs || 1588588 markings, 3074223 edges, 12114 markings/sec, 125 secs
lola: sara is running 130 secs || 1651756 markings, 3188422 edges, 12634 markings/sec, 130 secs
lola: sara is running 135 secs || 1711021 markings, 3312009 edges, 11853 markings/sec, 135 secs
lola: sara is running 140 secs || 1771816 markings, 3432771 edges, 12159 markings/sec, 140 secs
lola: sara is running 145 secs || 1840246 markings, 3534678 edges, 13686 markings/sec, 145 secs
lola: sara is running 150 secs || 1901032 markings, 3652386 edges, 12157 markings/sec, 150 secs
lola: sara is running 155 secs || 1964337 markings, 3764050 edges, 12661 markings/sec, 155 secs
lola: sara is running 160 secs || 2023895 markings, 3885524 edges, 11912 markings/sec, 160 secs
lola: sara is running 165 secs || 2095036 markings, 3978983 edges, 14228 markings/sec, 165 secs
lola: sara is running 170 secs || 2164153 markings, 4076582 edges, 13823 markings/sec, 170 secs
lola: sara is running 175 secs || 2222135 markings, 4199715 edges, 11596 markings/sec, 175 secs
lola: sara is running 180 secs || 2286462 markings, 4307440 edges, 12865 markings/sec, 180 secs
lola: sara is running 185 secs || 2348940 markings, 4420302 edges, 12496 markings/sec, 185 secs
lola: sara is running 190 secs || 2419191 markings, 4515301 edges, 14050 markings/sec, 190 secs
lola: sara is running 195 secs || 2487242 markings, 4615741 edges, 13610 markings/sec, 195 secs
lola: sara is running 200 secs || 2553167 markings, 4720087 edges, 13185 markings/sec, 200 secs
lola: sara is running 205 secs || 2617991 markings, 4827423 edges, 12965 markings/sec, 205 secs
lola: sara is running 210 secs || 2684143 markings, 4932967 edges, 13230 markings/sec, 210 secs
lola: sara is running 215 secs || 2751637 markings, 5036270 edges, 13499 markings/sec, 215 secs
lola: sara is running 220 secs || 2823384 markings, 5130967 edges, 14349 markings/sec, 220 secs
lola: sara is running 225 secs || 2891554 markings, 5230924 edges, 13634 markings/sec, 225 secs
lola: sara is running 230 secs || 2959426 markings, 5332148 edges, 13574 markings/sec, 230 secs
lola: sara is running 235 secs || 3023875 markings, 5440118 edges, 12890 markings/sec, 235 secs
lola: sara is running 240 secs || 3087073 markings, 5549535 edges, 12640 markings/sec, 240 secs
lola: sara is running 245 secs || 3149798 markings, 5661286 edges, 12545 markings/sec, 245 secs
lola: sara is running 250 secs || 3213923 markings, 5769486 edges, 12825 markings/sec, 250 secs
lola: sara is running 255 secs || 3278943 markings, 5877061 edges, 13004 markings/sec, 255 secs
lola: sara is running 260 secs || 3341059 markings, 5991334 edges, 12423 markings/sec, 260 secs
lola: sara is running 265 secs || 3403088 markings, 6102936 edges, 12406 markings/sec, 265 secs
lola: sara is running 270 secs || 3464016 markings, 6217140 edges, 12186 markings/sec, 270 secs
lola: sara is running 275 secs || 3524447 markings, 6331690 edges, 12086 markings/sec, 275 secs
lola: sara is running 280 secs || 3581725 markings, 6451603 edges, 11456 markings/sec, 280 secs
lola: sara is running 285 secs || 3638067 markings, 6570709 edges, 11268 markings/sec, 285 secs
lola: sara is running 290 secs || 3696957 markings, 6688373 edges, 11778 markings/sec, 290 secs
lola: sara is running 295 secs || 3753743 markings, 6805942 edges, 11357 markings/sec, 295 secs
lola: sara is running 300 secs || 3811150 markings, 6924420 edges, 11481 markings/sec, 300 secs
lola: sara is running 305 secs || 3869268 markings, 7040802 edges, 11624 markings/sec, 305 secs
lola: sara is running 310 secs || 3922606 markings, 7163250 edges, 10668 markings/sec, 310 secs
lola: sara is running 315 secs || 3979352 markings, 7281042 edges, 11349 markings/sec, 315 secs
lola: sara is running 320 secs || 4032792 markings, 7406408 edges, 10688 markings/sec, 320 secs
lola: sara is running 325 secs || 4090943 markings, 7520861 edges, 11630 markings/sec, 325 secs
lola: sara is running 330 secs || 4147159 markings, 7639476 edges, 11243 markings/sec, 330 secs
lola: sara is running 335 secs || 4202933 markings, 7759097 edges, 11155 markings/sec, 335 secs
lola: sara is running 340 secs || 4256286 markings, 7881893 edges, 10671 markings/sec, 340 secs
lola: sara is running 345 secs || 4311893 markings, 7997001 edges, 11121 markings/sec, 345 secs
lola: sara is running 350 secs || 4369321 markings, 8113355 edges, 11486 markings/sec, 350 secs
lola: sara is running 355 secs || 4422324 markings, 8235951 edges, 10601 markings/sec, 355 secs
lola: sara is running 360 secs || 4473489 markings, 8359853 edges, 10233 markings/sec, 360 secs
lola: sara is running 365 secs || 4524771 markings, 8486628 edges, 10256 markings/sec, 365 secs
lola: sara is running 370 secs || 4577156 markings, 8606184 edges, 10477 markings/sec, 370 secs
lola: sara is running 375 secs || 4628197 markings, 8730657 edges, 10208 markings/sec, 375 secs
lola: sara is running 380 secs || 4683174 markings, 8855558 edges, 10995 markings/sec, 380 secs
lola: sara is running 385 secs || 4735021 markings, 8984132 edges, 10369 markings/sec, 385 secs
lola: sara is running 390 secs || 4785682 markings, 9109302 edges, 10132 markings/sec, 390 secs
lola: sara is running 395 secs || 4832563 markings, 9242689 edges, 9376 markings/sec, 395 secs
lola: sara is running 400 secs || 4880812 markings, 9374977 edges, 9650 markings/sec, 400 secs
lola: sara is running 405 secs || 4926550 markings, 9520764 edges, 9148 markings/sec, 405 secs
lola: sara is running 410 secs || 4975253 markings, 9654273 edges, 9741 markings/sec, 410 secs
lola: sara is running 415 secs || 5028155 markings, 9780432 edges, 10580 markings/sec, 415 secs
lola: sara is running 420 secs || 5080559 markings, 9904004 edges, 10481 markings/sec, 420 secs
lola: sara is running 425 secs || 5126177 markings, 10038330 edges, 9124 markings/sec, 425 secs
lola: sara is running 430 secs || 5166398 markings, 10193218 edges, 8044 markings/sec, 430 secs
lola: sara is running 435 secs || 5209705 markings, 10355937 edges, 8661 markings/sec, 435 secs
lola: sara is running 440 secs || 5256009 markings, 10518167 edges, 9261 markings/sec, 440 secs
lola: sara is running 445 secs || 5298128 markings, 10683201 edges, 8424 markings/sec, 445 secs
lola: sara is running 450 secs || 5337519 markings, 10859830 edges, 7878 markings/sec, 450 secs
lola: sara is running 455 secs || 5378448 markings, 11032727 edges, 8186 markings/sec, 455 secs
lola: sara is running 460 secs || 5419018 markings, 11206675 edges, 8114 markings/sec, 460 secs
lola: sara is running 465 secs || 5460332 markings, 11381931 edges, 8263 markings/sec, 465 secs
lola: sara is running 470 secs || 5501583 markings, 11554025 edges, 8250 markings/sec, 470 secs
lola: sara is running 475 secs || 5544076 markings, 11726660 edges, 8499 markings/sec, 475 secs
lola: sara is running 480 secs || 5588063 markings, 11897540 edges, 8797 markings/sec, 480 secs
lola: sara is running 485 secs || 5631785 markings, 12067648 edges, 8744 markings/sec, 485 secs
lola: sara is running 490 secs || 5673959 markings, 12236448 edges, 8435 markings/sec, 490 secs
lola: sara is running 495 secs || 5717135 markings, 12405534 edges, 8635 markings/sec, 495 secs
lola: sara is running 500 secs || 5761214 markings, 12573675 edges, 8816 markings/sec, 500 secs
lola: sara is running 505 secs || 5805831 markings, 12742148 edges, 8923 markings/sec, 505 secs
lola: sara is running 510 secs || 5855503 markings, 12892918 edges, 9934 markings/sec, 510 secs
lola: sara is running 515 secs || 5915198 markings, 13012809 edges, 11939 markings/sec, 515 secs
lola: sara is running 520 secs || 5969124 markings, 13138431 edges, 10785 markings/sec, 520 secs
lola: sara is running 525 secs || 6018098 markings, 13288353 edges, 9795 markings/sec, 525 secs
lola: sara is running 530 secs || 6080210 markings, 13405808 edges, 12422 markings/sec, 530 secs
lola: sara is running 535 secs || 6134722 markings, 13542113 edges, 10902 markings/sec, 535 secs
lola: sara is running 540 secs || 6189885 markings, 13676046 edges, 11033 markings/sec, 540 secs
lola: sara is running 545 secs || 6252282 markings, 13788845 edges, 12479 markings/sec, 545 secs
lola: sara is running 550 secs || 6298963 markings, 13938263 edges, 9336 markings/sec, 550 secs
lola: sara is running 555 secs || 6352191 markings, 14066806 edges, 10646 markings/sec, 555 secs
lola: sara is running 560 secs || 6414293 markings, 14178875 edges, 12420 markings/sec, 560 secs
lola: sara is running 565 secs || 6461168 markings, 14327913 edges, 9375 markings/sec, 565 secs
lola: sara is running 570 secs || 6516084 markings, 14457868 edges, 10983 markings/sec, 570 secs
lola: sara is running 575 secs || 6577663 markings, 14576361 edges, 12316 markings/sec, 575 secs
lola: sara is running 580 secs || 6627716 markings, 14722385 edges, 10011 markings/sec, 580 secs
lola: sara is running 585 secs || 6685042 markings, 14851627 edges, 11465 markings/sec, 585 secs
lola: sara is running 590 secs || 6746817 markings, 14969233 edges, 12355 markings/sec, 590 secs
lola: sara is running 595 secs || 6800537 markings, 15108718 edges, 10744 markings/sec, 595 secs
lola: sara is running 600 secs || 6862377 markings, 15226844 edges, 12368 markings/sec, 600 secs
lola: sara is running 605 secs || 6914937 markings, 15366424 edges, 10512 markings/sec, 605 secs
lola: sara is running 610 secs || 6974832 markings, 15489110 edges, 11979 markings/sec, 610 secs
lola: sara is running 615 secs || 7030590 markings, 15621911 edges, 11152 markings/sec, 615 secs
lola: sara is running 620 secs || 7086494 markings, 15754906 edges, 11181 markings/sec, 620 secs
lola: sara is running 625 secs || 7146167 markings, 15877185 edges, 11935 markings/sec, 625 secs
lola: sara is running 630 secs || 7203964 markings, 16004030 edges, 11559 markings/sec, 630 secs
lola: sara is running 635 secs || 7260743 markings, 16134705 edges, 11356 markings/sec, 635 secs
lola: sara is running 640 secs || 7315543 markings, 16269144 edges, 10960 markings/sec, 640 secs
lola: sara is running 645 secs || 7372499 markings, 16383895 edges, 11391 markings/sec, 645 secs
lola: sara is running 650 secs || 7426984 markings, 16523076 edges, 10897 markings/sec, 650 secs
lola: sara is running 655 secs || 7483695 markings, 16654721 edges, 11342 markings/sec, 655 secs
lola: sara is running 660 secs || 7543941 markings, 16778100 edges, 12049 markings/sec, 660 secs
lola: sara is running 665 secs || 7597379 markings, 16918486 edges, 10688 markings/sec, 665 secs
lola: sara is running 670 secs || 7663679 markings, 17024894 edges, 13260 markings/sec, 670 secs
lola: sara is running 675 secs || 7725319 markings, 17143299 edges, 12328 markings/sec, 675 secs
lola: sara is running 680 secs || 7782653 markings, 17275619 edges, 11467 markings/sec, 680 secs
lola: sara is running 685 secs || 7839596 markings, 17407432 edges, 11389 markings/sec, 685 secs
lola: sara is running 690 secs || 7904499 markings, 17517338 edges, 12981 markings/sec, 690 secs
lola: sara is running 695 secs || 7974331 markings, 17614291 edges, 13966 markings/sec, 695 secs
lola: sara is running 700 secs || 8034958 markings, 17732685 edges, 12125 markings/sec, 700 secs
lola: sara is running 705 secs || 8091518 markings, 17862956 edges, 11312 markings/sec, 705 secs
lola: sara is running 710 secs || 8144682 markings, 17999706 edges, 10633 markings/sec, 710 secs
lola: sara is running 715 secs || 8212632 markings, 18102304 edges, 13590 markings/sec, 715 secs
lola: sara is running 720 secs || 8277750 markings, 18208953 edges, 13024 markings/sec, 720 secs
lola: sara is running 725 secs || 8344003 markings, 18315589 edges, 13251 markings/sec, 725 secs
lola: sara is running 730 secs || 8409940 markings, 18423190 edges, 13187 markings/sec, 730 secs
lola: sara is running 735 secs || 8473235 markings, 18537139 edges, 12659 markings/sec, 735 secs
lola: sara is running 740 secs || 8539851 markings, 18643548 edges, 13323 markings/sec, 740 secs
lola: sara is running 745 secs || 8602328 markings, 18757918 edges, 12495 markings/sec, 745 secs
lola: sara is running 750 secs || 8673364 markings, 18855494 edges, 14207 markings/sec, 750 secs
lola: sara is running 755 secs || 8736512 markings, 18966632 edges, 12630 markings/sec, 755 secs
lola: sara is running 760 secs || 8799267 markings, 19080179 edges, 12551 markings/sec, 760 secs
lola: sara is running 765 secs || 8862123 markings, 19194315 edges, 12571 markings/sec, 765 secs
lola: sara is running 770 secs || 8925329 markings, 19306084 edges, 12641 markings/sec, 770 secs
lola: sara is running 775 secs || 8985960 markings, 19424291 edges, 12126 markings/sec, 775 secs
lola: sara is running 780 secs || 9044590 markings, 19546151 edges, 11726 markings/sec, 780 secs
lola: sara is running 785 secs || 9108240 markings, 19658459 edges, 12730 markings/sec, 785 secs
lola: sara is running 790 secs || 9170515 markings, 19774917 edges, 12455 markings/sec, 790 secs
lola: sara is running 795 secs || 9233927 markings, 19889997 edges, 12682 markings/sec, 795 secs
lola: sara is running 800 secs || 9290446 markings, 20018258 edges, 11304 markings/sec, 800 secs
lola: sara is running 805 secs || 9349386 markings, 20138447 edges, 11788 markings/sec, 805 secs
lola: sara is running 810 secs || 9404561 markings, 20265544 edges, 11035 markings/sec, 810 secs
lola: sara is running 815 secs || 9459055 markings, 20393144 edges, 10899 markings/sec, 815 secs
lola: sara is running 820 secs || 9513875 markings, 20521370 edges, 10964 markings/sec, 820 secs
lola: sara is running 825 secs || 9568784 markings, 20648374 edges, 10982 markings/sec, 825 secs
lola: sara is running 830 secs || 9623098 markings, 20775022 edges, 10863 markings/sec, 830 secs
lola: sara is running 835 secs || 9679289 markings, 20899788 edges, 11238 markings/sec, 835 secs
lola: sara is running 840 secs || 9725054 markings, 21040864 edges, 9153 markings/sec, 840 secs
lola: sara is running 845 secs || 9781081 markings, 21165554 edges, 11205 markings/sec, 845 secs
lola: sara is running 850 secs || 9832470 markings, 21297894 edges, 10278 markings/sec, 850 secs
lola: sara is running 855 secs || 9885278 markings, 21427885 edges, 10562 markings/sec, 855 secs
lola: sara is running 860 secs || 9937190 markings, 21558383 edges, 10382 markings/sec, 860 secs
lola: sara is running 865 secs || 9988731 markings, 21688506 edges, 10308 markings/sec, 865 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown yes no yes no yes unknown no no unknown no yes yes yes
lola: memory consumption: 2046392 KB
lola: time consumption: 953 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityCardinality.json
lola: closed JSON file ReachabilityCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 872 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p1810 + 1 <= p8) OR (p1538 <= p1616)))))
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 ((((p1810 + 1 <= p8) OR (p1538 <= p1616)))))
lola: processed formula length: 50
lola: 29 rewrites
lola: closed formula file ReachabilityCardinality.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: (((p8 <= p1810) AND (p1616 + 1 <= p1538)))
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: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 17 markings, 16 edges
lola: ========================================
lola: subprocess 14 will run for 1308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p1136 + 1 <= p1324) OR (p424 + 1 <= p648) OR (1 <= p1863))))
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 (((p1136 + 1 <= p1324) OR (p424 + 1 <= p648) OR (1 <= p1863))))
lola: processed formula length: 70
lola: 28 rewrites
lola: closed formula file ReachabilityCardinality.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: ((p1136 + 1 <= p1324) OR (p424 + 1 <= p648) OR (1 <= p1863))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 23 markings, 22 edges
lola: ========================================
lola: subprocess 15 will run for 2617 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p988 <= p394) OR (p812 + 1 <= p1781) OR (p176 <= p1673))))
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 (((p988 <= p394) OR (p812 + 1 <= p1781) OR (p176 <= p1673))))
lola: processed formula length: 68
lola: 29 rewrites
lola: closed formula file ReachabilityCardinality.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: ((p394 + 1 <= p988) AND (p1781 <= p812) AND (p1673 + 1 <= p176))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ReachabilityCardinality-15-0.sara.
sara: error: :3765: 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 || 48223 markings, 118419 edges, 9645 markings/sec, 0 secs
lola: sara is running 5 secs || 90890 markings, 248099 edges, 8533 markings/sec, 5 secs
lola: sara is running 10 secs || 131172 markings, 385780 edges, 8056 markings/sec, 10 secs
lola: sara is running 15 secs || 174550 markings, 517230 edges, 8676 markings/sec, 15 secs
lola: sara is running 20 secs || 219706 markings, 645066 edges, 9031 markings/sec, 20 secs
lola: sara is running 25 secs || 259850 markings, 783213 edges, 8029 markings/sec, 25 secs
lola: sara is running 30 secs || 301447 markings, 921707 edges, 8319 markings/sec, 30 secs
lola: sara is running 35 secs || 366027 markings, 1037446 edges, 12916 markings/sec, 35 secs
lola: sara is running 40 secs || 430647 markings, 1155092 edges, 12924 markings/sec, 40 secs
lola: sara is running 45 secs || 501163 markings, 1264506 edges, 14103 markings/sec, 45 secs
lola: sara is running 50 secs || 563769 markings, 1382852 edges, 12521 markings/sec, 50 secs
lola: sara is running 55 secs || 618867 markings, 1513248 edges, 11020 markings/sec, 55 secs
lola: sara is running 60 secs || 666593 markings, 1653392 edges, 9545 markings/sec, 60 secs
lola: sara is running 65 secs || 693636 markings, 1843859 edges, 5409 markings/sec, 65 secs
lola: sara is running 70 secs || 746257 markings, 1977240 edges, 10524 markings/sec, 70 secs
lola: sara is running 75 secs || 805594 markings, 2097470 edges, 11867 markings/sec, 75 secs
lola: sara is running 80 secs || 869741 markings, 2212962 edges, 12829 markings/sec, 80 secs
lola: sara is running 85 secs || 928030 markings, 2334550 edges, 11658 markings/sec, 85 secs
lola: sara is running 90 secs || 980163 markings, 2466703 edges, 10427 markings/sec, 90 secs
lola: sara is running 95 secs || 1022970 markings, 2612130 edges, 8561 markings/sec, 95 secs
lola: sara is running 100 secs || 1048392 markings, 2810338 edges, 5084 markings/sec, 100 secs
lola: sara is running 105 secs || 1120646 markings, 2910849 edges, 14451 markings/sec, 105 secs
lola: sara is running 110 secs || 1189997 markings, 3016239 edges, 13870 markings/sec, 110 secs
lola: sara is running 115 secs || 1257732 markings, 3120790 edges, 13547 markings/sec, 115 secs
lola: sara is running 120 secs || 1327561 markings, 3224997 edges, 13966 markings/sec, 120 secs
lola: sara is running 125 secs || 1397551 markings, 3337964 edges, 13998 markings/sec, 125 secs
lola: sara is running 130 secs || 1469272 markings, 3445340 edges, 14344 markings/sec, 130 secs
lola: sara is running 135 secs || 1524095 markings, 3570680 edges, 10965 markings/sec, 135 secs
lola: sara is running 140 secs || 1571218 markings, 3699511 edges, 9425 markings/sec, 140 secs
lola: sara is running 145 secs || 1619383 markings, 3835390 edges, 9633 markings/sec, 145 secs
lola: sara is running 150 secs || 1689993 markings, 3946399 edges, 14122 markings/sec, 150 secs
lola: sara is running 155 secs || 1774949 markings, 4048946 edges, 16991 markings/sec, 155 secs
lola: sara is running 160 secs || 1847666 markings, 4169942 edges, 14543 markings/sec, 160 secs
lola: sara is running 165 secs || 1891991 markings, 4306288 edges, 8865 markings/sec, 165 secs
lola: sara is running 170 secs || 1934020 markings, 4436870 edges, 8406 markings/sec, 170 secs
lola: sara is running 175 secs || 1973932 markings, 4573978 edges, 7982 markings/sec, 175 secs
lola: sara is running 180 secs || 2017855 markings, 4703476 edges, 8785 markings/sec, 180 secs
lola: sara is running 185 secs || 2060632 markings, 4835084 edges, 8555 markings/sec, 185 secs
lola: sara is running 190 secs || 2100660 markings, 4972507 edges, 8006 markings/sec, 190 secs
lola: sara is running 195 secs || 2150706 markings, 5098352 edges, 10009 markings/sec, 195 secs
lola: sara is running 200 secs || 2223905 markings, 5201689 edges, 14640 markings/sec, 200 secs
lola: sara is running 205 secs || 2293510 markings, 5306291 edges, 13921 markings/sec, 205 secs
lola: sara is running 210 secs || 2364868 markings, 5411442 edges, 14272 markings/sec, 210 secs
lola: sara is running 215 secs || 2433112 markings, 5520054 edges, 13649 markings/sec, 215 secs
lola: sara is running 220 secs || 2500249 markings, 5631612 edges, 13427 markings/sec, 220 secs
lola: sara is running 225 secs || 2571768 markings, 5739046 edges, 14304 markings/sec, 225 secs
lola: sara is running 230 secs || 2642006 markings, 5845106 edges, 14048 markings/sec, 230 secs
lola: sara is running 235 secs || 2713634 markings, 5950853 edges, 14326 markings/sec, 235 secs
lola: sara is running 240 secs || 2780833 markings, 6059852 edges, 13440 markings/sec, 240 secs
lola: sara is running 245 secs || 2846873 markings, 6169201 edges, 13208 markings/sec, 245 secs
lola: sara is running 250 secs || 2907737 markings, 6285045 edges, 12173 markings/sec, 250 secs
lola: sara is running 255 secs || 2967006 markings, 6398121 edges, 11854 markings/sec, 255 secs
lola: sara is running 260 secs || 3023872 markings, 6518490 edges, 11373 markings/sec, 260 secs
lola: sara is running 265 secs || 3072056 markings, 6649970 edges, 9637 markings/sec, 265 secs
lola: sara is running 270 secs || 3120038 markings, 6770824 edges, 9596 markings/sec, 270 secs
lola: sara is running 275 secs || 3172578 markings, 6883557 edges, 10508 markings/sec, 275 secs
lola: sara is running 280 secs || 3215916 markings, 7007753 edges, 8668 markings/sec, 280 secs
lola: sara is running 285 secs || 3256766 markings, 7144982 edges, 8170 markings/sec, 285 secs
lola: sara is running 290 secs || 3316748 markings, 7265127 edges, 11996 markings/sec, 290 secs
lola: sara is running 295 secs || 3363820 markings, 7392791 edges, 9414 markings/sec, 295 secs
lola: sara is running 300 secs || 3442684 markings, 7496048 edges, 15773 markings/sec, 300 secs
lola: sara is running 305 secs || 3527077 markings, 7598567 edges, 16879 markings/sec, 305 secs
lola: sara is running 310 secs || 3611942 markings, 7700907 edges, 16973 markings/sec, 310 secs
lola: sara is running 315 secs || 3696519 markings, 7803471 edges, 16915 markings/sec, 315 secs
lola: sara is running 320 secs || 3781740 markings, 7906243 edges, 17044 markings/sec, 320 secs
lola: sara is running 325 secs || 3867160 markings, 8008631 edges, 17084 markings/sec, 325 secs
lola: sara is running 330 secs || 3906352 markings, 8160567 edges, 7838 markings/sec, 330 secs
lola: sara is running 335 secs || 3949164 markings, 8305512 edges, 8562 markings/sec, 335 secs
lola: sara is running 340 secs || 3985952 markings, 8464724 edges, 7358 markings/sec, 340 secs
lola: sara is running 345 secs || 4053974 markings, 8571686 edges, 13604 markings/sec, 345 secs
lola: sara is running 350 secs || 4121160 markings, 8676072 edges, 13437 markings/sec, 350 secs
lola: sara is running 355 secs || 4190668 markings, 8780000 edges, 13902 markings/sec, 355 secs
lola: sara is running 360 secs || 4262862 markings, 8885982 edges, 14439 markings/sec, 360 secs
lola: sara is running 365 secs || 4331879 markings, 8995445 edges, 13803 markings/sec, 365 secs
lola: sara is running 370 secs || 4399611 markings, 9106064 edges, 13546 markings/sec, 370 secs
lola: sara is running 375 secs || 4471851 markings, 9210269 edges, 14448 markings/sec, 375 secs
lola: sara is running 380 secs || 4542625 markings, 9315839 edges, 14155 markings/sec, 380 secs
lola: sara is running 385 secs || 4612240 markings, 9422585 edges, 13923 markings/sec, 385 secs
lola: sara is running 390 secs || 4678684 markings, 9531183 edges, 13289 markings/sec, 390 secs
lola: sara is running 395 secs || 4741605 markings, 9643951 edges, 12584 markings/sec, 395 secs
lola: sara is running 400 secs || 4800545 markings, 9759143 edges, 11788 markings/sec, 400 secs
lola: sara is running 405 secs || 4858627 markings, 9874915 edges, 11616 markings/sec, 405 secs
lola: sara is running 410 secs || 4911038 markings, 9999323 edges, 10482 markings/sec, 410 secs
lola: sara is running 415 secs || 4958609 markings, 10126490 edges, 9514 markings/sec, 415 secs
lola: sara is running 420 secs || 5008747 markings, 10241150 edges, 10028 markings/sec, 420 secs
lola: sara is running 425 secs || 5058243 markings, 10356855 edges, 9899 markings/sec, 425 secs
lola: sara is running 430 secs || 5096875 markings, 10491704 edges, 7726 markings/sec, 430 secs
lola: sara is running 435 secs || 5150857 markings, 10617608 edges, 10796 markings/sec, 435 secs
lola: sara is running 440 secs || 5199092 markings, 10749457 edges, 9647 markings/sec, 440 secs
lola: sara is running 445 secs || 5261501 markings, 10858352 edges, 12482 markings/sec, 445 secs
lola: sara is running 450 secs || 5346137 markings, 10960762 edges, 16927 markings/sec, 450 secs
lola: sara is running 455 secs || 5430384 markings, 11062975 edges, 16849 markings/sec, 455 secs
lola: sara is running 460 secs || 5514719 markings, 11165226 edges, 16867 markings/sec, 460 secs
lola: sara is running 465 secs || 5600060 markings, 11267642 edges, 17068 markings/sec, 465 secs
lola: sara is running 470 secs || 5684990 markings, 11369990 edges, 16986 markings/sec, 470 secs
lola: sara is running 475 secs || 5747506 markings, 11498219 edges, 12503 markings/sec, 475 secs
lola: sara is running 480 secs || 5789944 markings, 11642082 edges, 8488 markings/sec, 480 secs
lola: sara is running 485 secs || 5828621 markings, 11794618 edges, 7735 markings/sec, 485 secs
lola: sara is running 490 secs || 5874752 markings, 11932033 edges, 9226 markings/sec, 490 secs
lola: sara is running 495 secs || 5941916 markings, 12038706 edges, 13433 markings/sec, 495 secs
lola: sara is running 500 secs || 6001180 markings, 12149453 edges, 11853 markings/sec, 500 secs
lola: sara is running 505 secs || 6071840 markings, 12254707 edges, 14132 markings/sec, 505 secs
lola: sara is running 510 secs || 6135163 markings, 12368723 edges, 12665 markings/sec, 510 secs
lola: sara is running 515 secs || 6205729 markings, 12474405 edges, 14113 markings/sec, 515 secs
lola: sara is running 520 secs || 6269643 markings, 12576121 edges, 12783 markings/sec, 520 secs
lola: sara is running 525 secs || 6336725 markings, 12681877 edges, 13416 markings/sec, 525 secs
lola: sara is running 530 secs || 6408170 markings, 12780118 edges, 14289 markings/sec, 530 secs
lola: sara is running 535 secs || 6476279 markings, 12879542 edges, 13622 markings/sec, 535 secs
lola: sara is running 540 secs || 6546897 markings, 12978786 edges, 14124 markings/sec, 540 secs
lola: sara is running 545 secs || 6616902 markings, 13079679 edges, 14001 markings/sec, 545 secs
lola: sara is running 550 secs || 6681796 markings, 13183809 edges, 12979 markings/sec, 550 secs
lola: sara is running 555 secs || 6741539 markings, 13293369 edges, 11949 markings/sec, 555 secs
lola: sara is running 560 secs || 6802129 markings, 13405467 edges, 12118 markings/sec, 560 secs
lola: sara is running 565 secs || 6854352 markings, 13529050 edges, 10445 markings/sec, 565 secs
lola: sara is running 570 secs || 6904363 markings, 13658844 edges, 10002 markings/sec, 570 secs
lola: sara is running 575 secs || 6950966 markings, 13790282 edges, 9321 markings/sec, 575 secs
lola: sara is running 580 secs || 7009137 markings, 13893104 edges, 11634 markings/sec, 580 secs
lola: sara is running 585 secs || 7059683 markings, 14012138 edges, 10109 markings/sec, 585 secs
lola: sara is running 590 secs || 7100423 markings, 14156690 edges, 8148 markings/sec, 590 secs
lola: sara is running 595 secs || 7133848 markings, 14325205 edges, 6685 markings/sec, 595 secs
lola: sara is running 600 secs || 7177246 markings, 14452081 edges, 8680 markings/sec, 600 secs
lola: sara is running 605 secs || 7230229 markings, 14550024 edges, 10597 markings/sec, 605 secs
lola: sara is running 610 secs || 7277450 markings, 14658005 edges, 9444 markings/sec, 610 secs
lola: sara is running 615 secs || 7316119 markings, 14793110 edges, 7734 markings/sec, 615 secs
lola: sara is running 620 secs || 7342086 markings, 14977154 edges, 5193 markings/sec, 620 secs
lola: sara is running 625 secs || 7397863 markings, 15095074 edges, 11155 markings/sec, 625 secs
lola: sara is running 630 secs || 7454475 markings, 15219289 edges, 11322 markings/sec, 630 secs
lola: sara is running 635 secs || 7500656 markings, 15357679 edges, 9236 markings/sec, 635 secs
lola: sara is running 640 secs || 7532265 markings, 15525874 edges, 6322 markings/sec, 640 secs
lola: sara is running 645 secs || 7580287 markings, 15652713 edges, 9604 markings/sec, 645 secs
lola: sara is running 650 secs || 7658352 markings, 15755340 edges, 15613 markings/sec, 650 secs
lola: sara is running 655 secs || 7742948 markings, 15857142 edges, 16919 markings/sec, 655 secs
lola: sara is running 660 secs || 7826647 markings, 15959201 edges, 16740 markings/sec, 660 secs
lola: sara is running 665 secs || 7911301 markings, 16060800 edges, 16931 markings/sec, 665 secs
lola: sara is running 670 secs || 7995774 markings, 16162455 edges, 16895 markings/sec, 670 secs
lola: sara is running 675 secs || 8080694 markings, 16264309 edges, 16984 markings/sec, 675 secs
lola: sara is running 680 secs || 8165468 markings, 16366500 edges, 16955 markings/sec, 680 secs
lola: sara is running 685 secs || 8250039 markings, 16467981 edges, 16914 markings/sec, 685 secs
lola: sara is running 690 secs || 8330994 markings, 16575173 edges, 16191 markings/sec, 690 secs
lola: sara is running 695 secs || 8354787 markings, 16776298 edges, 4759 markings/sec, 695 secs
lola: sara is running 700 secs || 8375863 markings, 16995174 edges, 4215 markings/sec, 700 secs
lola: sara is running 705 secs || 8421335 markings, 17135134 edges, 9094 markings/sec, 705 secs
lola: sara is running 710 secs || 8462167 markings, 17269158 edges, 8166 markings/sec, 710 secs
lola: sara is running 715 secs || 8501622 markings, 17407706 edges, 7891 markings/sec, 715 secs
lola: sara is running 720 secs || 8545038 markings, 17543149 edges, 8683 markings/sec, 720 secs
lola: sara is running 725 secs || 8586001 markings, 17677426 edges, 8193 markings/sec, 725 secs
lola: sara is running 730 secs || 8625464 markings, 17816976 edges, 7893 markings/sec, 730 secs
lola: sara is running 735 secs || 8685577 markings, 17936621 edges, 12023 markings/sec, 735 secs
lola: sara is running 740 secs || 8754030 markings, 18041227 edges, 13691 markings/sec, 740 secs
lola: sara is running 745 secs || 8822792 markings, 18148412 edges, 13752 markings/sec, 745 secs
lola: sara is running 750 secs || 8894032 markings, 18253432 edges, 14248 markings/sec, 750 secs
lola: sara is running 755 secs || 8953493 markings, 18371316 edges, 11892 markings/sec, 755 secs
lola: sara is running 760 secs || 9001695 markings, 18498620 edges, 9640 markings/sec, 760 secs
lola: sara is running 765 secs || 9052836 markings, 18626029 edges, 10228 markings/sec, 765 secs
lola: sara is running 770 secs || 9109909 markings, 18749844 edges, 11415 markings/sec, 770 secs
lola: sara is running 775 secs || 9194023 markings, 18851315 edges, 16823 markings/sec, 775 secs
lola: sara is running 780 secs || 9278177 markings, 18953277 edges, 16831 markings/sec, 780 secs
lola: sara is running 785 secs || 9328314 markings, 19096842 edges, 10027 markings/sec, 785 secs
lola: sara is running 790 secs || 9371540 markings, 19227100 edges, 8645 markings/sec, 790 secs
lola: sara is running 795 secs || 9410578 markings, 19365878 edges, 7808 markings/sec, 795 secs
lola: sara is running 800 secs || 9451605 markings, 19502205 edges, 8205 markings/sec, 800 secs
lola: sara is running 805 secs || 9494148 markings, 19634912 edges, 8509 markings/sec, 805 secs
lola: sara is running 810 secs || 9533269 markings, 19773513 edges, 7824 markings/sec, 810 secs
lola: sara is running 815 secs || 9591366 markings, 19895152 edges, 11619 markings/sec, 815 secs
lola: sara is running 820 secs || 9649289 markings, 20013633 edges, 11585 markings/sec, 820 secs
lola: sara is running 825 secs || 9705753 markings, 20131390 edges, 11293 markings/sec, 825 secs
lola: sara is running 830 secs || 9752282 markings, 20266723 edges, 9306 markings/sec, 830 secs
lola: sara is running 835 secs || 9791171 markings, 20417391 edges, 7778 markings/sec, 835 secs
lola: sara is running 840 secs || 9817779 markings, 20612372 edges, 5322 markings/sec, 840 secs
lola: sara is running 845 secs || 9882904 markings, 20727590 edges, 13025 markings/sec, 845 secs
lola: sara is running 850 secs || 9957115 markings, 20826523 edges, 14842 markings/sec, 850 secs
lola: sara is running 855 secs || 10027668 markings, 20932160 edges, 14111 markings/sec, 855 secs
lola: sara is running 860 secs || 10096535 markings, 21036667 edges, 13773 markings/sec, 860 secs
lola: sara is running 865 secs || 10160304 markings, 21137513 edges, 12754 markings/sec, 865 secs
lola: sara is running 870 secs || 10227489 markings, 21242366 edges, 13437 markings/sec, 870 secs
lola: sara is running 875 secs || 10295290 markings, 21347754 edges, 13560 markings/sec, 875 secs
lola: sara is running 880 secs || 10368850 markings, 21445872 edges, 14712 markings/sec, 880 secs
lola: sara is running 885 secs || 10432551 markings, 21552347 edges, 12740 markings/sec, 885 secs
lola: sara is running 890 secs || 10500959 markings, 21651510 edges, 13682 markings/sec, 890 secs
lola: sara is running 895 secs || 10566340 markings, 21752839 edges, 13076 markings/sec, 895 secs
lola: sara is running 900 secs || 10630616 markings, 21856432 edges, 12855 markings/sec, 900 secs
lola: sara is running 905 secs || 10690011 markings, 21967292 edges, 11879 markings/sec, 905 secs
lola: sara is running 910 secs || 10746802 markings, 22081723 edges, 11358 markings/sec, 910 secs
lola: sara is running 915 secs || 10800364 markings, 22204651 edges, 10712 markings/sec, 915 secs
lola: sara is running 920 secs || 10849043 markings, 22333908 edges, 9736 markings/sec, 920 secs
lola: sara is running 925 secs || 10902046 markings, 22447204 edges, 10601 markings/sec, 925 secs
lola: sara is running 930 secs || 10955486 markings, 22556592 edges, 10688 markings/sec, 930 secs
lola: sara is running 935 secs || 10999878 markings, 22691506 edges, 8878 markings/sec, 935 secs
lola: sara is running 940 secs || 11034444 markings, 22856512 edges, 6913 markings/sec, 940 secs
lola: sara is running 945 secs || 11075514 markings, 22993970 edges, 8214 markings/sec, 945 secs
lola: sara is running 950 secs || 11124535 markings, 23104287 edges, 9804 markings/sec, 950 secs
lola: sara is running 955 secs || 11175567 markings, 23200547 edges, 10206 markings/sec, 955 secs
lola: sara is running 960 secs || 11217066 markings, 23327671 edges, 8300 markings/sec, 960 secs
lola: sara is running 965 secs || 11252553 markings, 23469858 edges, 7097 markings/sec, 965 secs
lola: sara is running 970 secs || 11284264 markings, 23640581 edges, 6342 markings/sec, 970 secs
lola: sara is running 975 secs || 11348623 markings, 23747333 edges, 12872 markings/sec, 975 secs
lola: sara is running 980 secs || 11404805 markings, 23873088 edges, 11236 markings/sec, 980 secs
lola: sara is running 985 secs || 11451774 markings, 24005899 edges, 9394 markings/sec, 985 secs
lola: sara is running 990 secs || 11490072 markings, 24156715 edges, 7660 markings/sec, 990 secs
lola: sara is running 995 secs || 11524935 markings, 24318614 edges, 6973 markings/sec, 995 secs
lola: sara is running 1000 secs || 11592936 markings, 24420412 edges, 13600 markings/sec, 1000 secs
lola: sara is running 1005 secs || 11677095 markings, 24521676 edges, 16832 markings/sec, 1005 secs
lola: sara is running 1010 secs || 11761414 markings, 24622903 edges, 16864 markings/sec, 1010 secs
lola: sara is running 1015 secs || 11845793 markings, 24723973 edges, 16876 markings/sec, 1015 secs
lola: sara is running 1020 secs || 11929863 markings, 24825147 edges, 16814 markings/sec, 1020 secs
lola: sara is running 1025 secs || 12014265 markings, 24926119 edges, 16880 markings/sec, 1025 secs
lola: sara is running 1030 secs || 12098726 markings, 25027752 edges, 16892 markings/sec, 1030 secs
lola: sara is running 1035 secs || 12182627 markings, 25128847 edges, 16780 markings/sec, 1035 secs
lola: sara is running 1040 secs || 12266899 markings, 25229853 edges, 16854 markings/sec, 1040 secs
lola: sara is running 1045 secs || 12311366 markings, 25394267 edges, 8893 markings/sec, 1045 secs
lola: sara is running 1050 secs || 12332544 markings, 25605344 edges, 4236 markings/sec, 1050 secs
lola: sara is running 1055 secs || 12378479 markings, 25771043 edges, 9187 markings/sec, 1055 secs
lola: sara is running 1060 secs || 12449297 markings, 25875941 edges, 14164 markings/sec, 1060 secs
lola: sara is running 1065 secs || 12518759 markings, 25980897 edges, 13892 markings/sec, 1065 secs
lola: sara is running 1070 secs || 12582139 markings, 26081122 edges, 12676 markings/sec, 1070 secs
lola: sara is running 1075 secs || 12650476 markings, 26186534 edges, 13667 markings/sec, 1075 secs
lola: sara is running 1080 secs || 12718272 markings, 26291784 edges, 13559 markings/sec, 1080 secs
lola: sara is running 1085 secs || 12791467 markings, 26389073 edges, 14639 markings/sec, 1085 secs
lola: sara is running 1090 secs || 12860991 markings, 26487576 edges, 13905 markings/sec, 1090 secs
lola: sara is running 1095 secs || 12924706 markings, 26594423 edges, 12743 markings/sec, 1095 secs
lola: sara is running 1100 secs || 12990563 markings, 26695562 edges, 13171 markings/sec, 1100 secs
lola: sara is running 1105 secs || 13056315 markings, 26798473 edges, 13150 markings/sec, 1105 secs
lola: sara is running 1110 secs || 13116466 markings, 26906429 edges, 12030 markings/sec, 1110 secs
lola: sara is running 1115 secs || 13173522 markings, 27021283 edges, 11411 markings/sec, 1115 secs
lola: sara is running 1120 secs || 13228028 markings, 27142667 edges, 10901 markings/sec, 1120 secs
lola: sara is running 1125 secs || 13278226 markings, 27269332 edges, 10040 markings/sec, 1125 secs
lola: sara is running 1130 secs || 13328147 markings, 27391426 edges, 9984 markings/sec, 1130 secs
lola: sara is running 1135 secs || 13384180 markings, 27496701 edges, 11207 markings/sec, 1135 secs
lola: sara is running 1140 secs || 13430054 markings, 27626404 edges, 9175 markings/sec, 1140 secs
lola: sara is running 1145 secs || 13470570 markings, 27772765 edges, 8103 markings/sec, 1145 secs
lola: sara is running 1150 secs || 13505927 markings, 27931931 edges, 7071 markings/sec, 1150 secs
lola: sara is running 1155 secs || 13551976 markings, 28050462 edges, 9210 markings/sec, 1155 secs
lola: sara is running 1160 secs || 13604846 markings, 28144413 edges, 10574 markings/sec, 1160 secs
lola: sara is running 1165 secs || 13648981 markings, 28262351 edges, 8827 markings/sec, 1165 secs
lola: sara is running 1170 secs || 13686914 markings, 28396777 edges, 7587 markings/sec, 1170 secs
lola: sara is running 1175 secs || 13713991 markings, 28577856 edges, 5415 markings/sec, 1175 secs
lola: sara is running 1180 secs || 13775121 markings, 28689384 edges, 12226 markings/sec, 1180 secs
lola: sara is running 1185 secs || 13833500 markings, 28808176 edges, 11676 markings/sec, 1185 secs
lola: sara is running 1190 secs || 13884030 markings, 28937330 edges, 10106 markings/sec, 1190 secs
lola: sara is running 1195 secs || 13923911 markings, 29084119 edges, 7976 markings/sec, 1195 secs
lola: sara is running 1200 secs || 13953904 markings, 29258184 edges, 5999 markings/sec, 1200 secs
lola: sara is running 1205 secs || 14013414 markings, 29364393 edges, 11902 markings/sec, 1205 secs
lola: sara is running 1210 secs || 14097749 markings, 29465569 edges, 16867 markings/sec, 1210 secs
lola: sara is running 1215 secs || 14182004 markings, 29566599 edges, 16851 markings/sec, 1215 secs
lola: sara is running 1220 secs || 14266143 markings, 29667629 edges, 16828 markings/sec, 1220 secs
lola: sara is running 1225 secs || 14350319 markings, 29768555 edges, 16835 markings/sec, 1225 secs
lola: sara is running 1230 secs || 14434266 markings, 29869307 edges, 16789 markings/sec, 1230 secs
lola: sara is running 1235 secs || 14518881 markings, 29970849 edges, 16923 markings/sec, 1235 secs
lola: sara is running 1240 secs || 14602776 markings, 30071944 edges, 16779 markings/sec, 1240 secs
lola: sara is running 1245 secs || 14686983 markings, 30172817 edges, 16841 markings/sec, 1245 secs
lola: sara is running 1250 secs || 14746867 markings, 30311946 edges, 11977 markings/sec, 1250 secs
lola: sara is running 1255 secs || 14769101 markings, 30518611 edges, 4447 markings/sec, 1255 secs
lola: sara is running 1260 secs || 14800083 markings, 30717378 edges, 6196 markings/sec, 1260 secs
lola: sara is running 1265 secs || 14864933 markings, 30833915 edges, 12970 markings/sec, 1265 secs
lola: sara is running 1270 secs || 14941743 markings, 30936748 edges, 15362 markings/sec, 1270 secs
lola: sara is running 1275 secs || 15014701 markings, 31043625 edges, 14592 markings/sec, 1275 secs
lola: sara is running 1280 secs || 15081947 markings, 31156415 edges, 13449 markings/sec, 1280 secs
lola: sara is running 1285 secs || 15140418 markings, 31280979 edges, 11694 markings/sec, 1285 secs
lola: sara is running 1290 secs || 15200353 markings, 31405390 edges, 11987 markings/sec, 1290 secs
lola: sara is running 1295 secs || 15239227 markings, 31560250 edges, 7775 markings/sec, 1295 secs
lola: sara is running 1300 secs || 15273212 markings, 31739939 edges, 6797 markings/sec, 1300 secs
lola: sara is running 1305 secs || 15340925 markings, 31852231 edges, 13543 markings/sec, 1305 secs
lola: sara is running 1310 secs || 15410353 markings, 31963891 edges, 13886 markings/sec, 1310 secs
lola: sara is running 1315 secs || 15475433 markings, 32076107 edges, 13016 markings/sec, 1315 secs
lola: sara is running 1320 secs || 15546453 markings, 32184659 edges, 14204 markings/sec, 1320 secs
lola: sara is running 1325 secs || 15586398 markings, 32315111 edges, 7989 markings/sec, 1325 secs
lola: sara is running 1330 secs || 15622562 markings, 32440814 edges, 7233 markings/sec, 1330 secs
lola: sara is running 1335 secs || 15659529 markings, 32570147 edges, 7393 markings/sec, 1335 secs
lola: sara is running 1340 secs || 15697266 markings, 32697687 edges, 7547 markings/sec, 1340 secs
lola: sara is running 1345 secs || 15733548 markings, 32824274 edges, 7256 markings/sec, 1345 secs
lola: sara is running 1350 secs || 15783101 markings, 32946561 edges, 9911 markings/sec, 1350 secs
lola: sara is running 1355 secs || 15847106 markings, 33057865 edges, 12801 markings/sec, 1355 secs
lola: sara is running 1360 secs || 15910046 markings, 33169850 edges, 12588 markings/sec, 1360 secs
lola: sara is running 1365 secs || 15979594 markings, 33271627 edges, 13910 markings/sec, 1365 secs
lola: sara is running 1370 secs || 16042715 markings, 33378904 edges, 12624 markings/sec, 1370 secs
lola: sara is running 1375 secs || 16110489 markings, 33483193 edges, 13555 markings/sec, 1375 secs
lola: sara is running 1380 secs || 16183114 markings, 33580139 edges, 14525 markings/sec, 1380 secs
lola: sara is running 1385 secs || 16250507 markings, 33680790 edges, 13479 markings/sec, 1385 secs
lola: sara is running 1390 secs || 16321201 markings, 33780610 edges, 14139 markings/sec, 1390 secs
lola: sara is running 1395 secs || 16389884 markings, 33882261 edges, 13737 markings/sec, 1395 secs
lola: sara is running 1400 secs || 16447920 markings, 33996265 edges, 11607 markings/sec, 1400 secs
lola: sara is running 1405 secs || 16502028 markings, 34118528 edges, 10822 markings/sec, 1405 secs
lola: sara is running 1410 secs || 16543522 markings, 34263757 edges, 8299 markings/sec, 1410 secs
lola: sara is running 1415 secs || 16570862 markings, 34441382 edges, 5468 markings/sec, 1415 secs
lola: sara is running 1420 secs || 16634303 markings, 34554307 edges, 12688 markings/sec, 1420 secs
lola: sara is running 1425 secs || 16693672 markings, 34665770 edges, 11874 markings/sec, 1425 secs
lola: sara is running 1430 secs || 16745961 markings, 34786288 edges, 10458 markings/sec, 1430 secs
lola: sara is running 1435 secs || 16791084 markings, 34921500 edges, 9025 markings/sec, 1435 secs
lola: sara is running 1440 secs || 16821820 markings, 35082833 edges, 6147 markings/sec, 1440 secs
lola: sara is running 1445 secs || 16867447 markings, 35232847 edges, 9125 markings/sec, 1445 secs
lola: sara is running 1450 secs || 16938966 markings, 35332225 edges, 14304 markings/sec, 1450 secs
lola: sara is running 1455 secs || 17009612 markings, 35430713 edges, 14129 markings/sec, 1455 secs
lola: sara is running 1460 secs || 17075125 markings, 35536417 edges, 13103 markings/sec, 1460 secs
lola: sara is running 1465 secs || 17135873 markings, 35646559 edges, 12150 markings/sec, 1465 secs
lola: sara is running 1470 secs || 17193581 markings, 35763500 edges, 11542 markings/sec, 1470 secs
lola: sara is running 1475 secs || 17244345 markings, 35890084 edges, 10153 markings/sec, 1475 secs
lola: sara is running 1480 secs || 17274382 markings, 36055698 edges, 6007 markings/sec, 1480 secs
lola: sara is running 1485 secs || 17323572 markings, 36201281 edges, 9838 markings/sec, 1485 secs
lola: sara is running 1490 secs || 17391275 markings, 36307562 edges, 13541 markings/sec, 1490 secs
lola: sara is running 1495 secs || 17458895 markings, 36409247 edges, 13524 markings/sec, 1495 secs
lola: sara is running 1500 secs || 17521479 markings, 36520074 edges, 12517 markings/sec, 1500 secs
lola: sara is running 1505 secs || 17590909 markings, 36619367 edges, 13886 markings/sec, 1505 secs
lola: sara is running 1510 secs || 17658962 markings, 36721711 edges, 13611 markings/sec, 1510 secs
lola: sara is running 1515 secs || 17719987 markings, 36832553 edges, 12205 markings/sec, 1515 secs
lola: sara is running 1520 secs || 17768324 markings, 36944232 edges, 9667 markings/sec, 1520 secs
lola: sara is running 1525 secs || 17811253 markings, 37062899 edges, 8586 markings/sec, 1525 secs
lola: sara is running 1530 secs || 17847757 markings, 37200460 edges, 7301 markings/sec, 1530 secs
lola: sara is running 1535 secs || 17876924 markings, 37359497 edges, 5833 markings/sec, 1535 secs
lola: sara is running 1540 secs || 17923941 markings, 37506771 edges, 9403 markings/sec, 1540 secs
lola: sara is running 1545 secs || 17994999 markings, 37604424 edges, 14212 markings/sec, 1545 secs
lola: sara is running 1550 secs || 18062363 markings, 37706355 edges, 13473 markings/sec, 1550 secs
lola: sara is running 1555 secs || 18125022 markings, 37820269 edges, 12532 markings/sec, 1555 secs
lola: sara is running 1560 secs || 18193569 markings, 37921327 edges, 13709 markings/sec, 1560 secs
lola: sara is running 1565 secs || 18252421 markings, 38034983 edges, 11770 markings/sec, 1565 secs
lola: sara is running 1570 secs || 18319973 markings, 38136858 edges, 13510 markings/sec, 1570 secs
lola: sara is running 1575 secs || 18391934 markings, 38234559 edges, 14392 markings/sec, 1575 secs
lola: sara is running 1580 secs || 18461518 markings, 38332761 edges, 13917 markings/sec, 1580 secs
lola: sara is running 1585 secs || 18530354 markings, 38433408 edges, 13767 markings/sec, 1585 secs
lola: sara is running 1590 secs || 18598386 markings, 38532426 edges, 13606 markings/sec, 1590 secs
lola: sara is running 1595 secs || 18652976 markings, 38644179 edges, 10918 markings/sec, 1595 secs
lola: sara is running 1600 secs || 18699343 markings, 38768562 edges, 9273 markings/sec, 1600 secs
lola: sara is running 1605 secs || 18737452 markings, 38912837 edges, 7622 markings/sec, 1605 secs
lola: sara is running 1610 secs || 18763934 markings, 39091456 edges, 5296 markings/sec, 1610 secs
lola: sara is running 1615 secs || 18824589 markings, 39210851 edges, 12131 markings/sec, 1615 secs
lola: sara is running 1620 secs || 18892284 markings, 39311547 edges, 13539 markings/sec, 1620 secs
lola: sara is running 1625 secs || 18961342 markings, 39410424 edges, 13812 markings/sec, 1625 secs
lola: sara is running 1630 secs || 19030661 markings, 39509156 edges, 13864 markings/sec, 1630 secs
lola: sara is running 1635 secs || 19101381 markings, 39607362 edges, 14144 markings/sec, 1635 secs
lola: sara is running 1640 secs || 19169141 markings, 39706573 edges, 13552 markings/sec, 1640 secs
lola: sara is running 1645 secs || 19237158 markings, 39805807 edges, 13603 markings/sec, 1645 secs
lola: sara is running 1650 secs || 19306772 markings, 39904627 edges, 13923 markings/sec, 1650 secs
lola: sara is running 1655 secs || 19377003 markings, 40003899 edges, 14046 markings/sec, 1655 secs
lola: sara is running 1660 secs || 19445409 markings, 40102414 edges, 13681 markings/sec, 1660 secs
lola: sara is running 1665 secs || 19509028 markings, 40207010 edges, 12724 markings/sec, 1665 secs
lola: sara is running 1670 secs || 19576989 markings, 40311702 edges, 13592 markings/sec, 1670 secs
lola: sara is running 1675 secs || 19645663 markings, 40410778 edges, 13735 markings/sec, 1675 secs
lola: sara is running 1680 secs || 19709081 markings, 40516484 edges, 12684 markings/sec, 1680 secs
lola: sara is running 1685 secs || 19777215 markings, 40616532 edges, 13627 markings/sec, 1685 secs
lola: sara is running 1690 secs || 19843358 markings, 40710877 edges, 13229 markings/sec, 1690 secs
lola: sara is running 1695 secs || 19912428 markings, 40816516 edges, 13814 markings/sec, 1695 secs
lola: sara is running 1700 secs || 19982048 markings, 40918836 edges, 13924 markings/sec, 1700 secs
lola: sara is running 1705 secs || 20046572 markings, 41033787 edges, 12905 markings/sec, 1705 secs
lola: sara is running 1710 secs || 20117607 markings, 41135839 edges, 14207 markings/sec, 1710 secs
lola: sara is running 1715 secs || 20189044 markings, 41237760 edges, 14287 markings/sec, 1715 secs
lola: sara is running 1720 secs || 20259399 markings, 41339603 edges, 14071 markings/sec, 1720 secs
lola: sara is running 1725 secs || 20321334 markings, 41450864 edges, 12387 markings/sec, 1725 secs
lola: sara is running 1730 secs || 20395691 markings, 41555767 edges, 14871 markings/sec, 1730 secs
lola: sara is running 1735 secs || 20466734 markings, 41658316 edges, 14209 markings/sec, 1735 secs
lola: sara is running 1740 secs || 20538216 markings, 41760456 edges, 14296 markings/sec, 1740 secs
lola: sara is running 1745 secs || 20606760 markings, 41864709 edges, 13709 markings/sec, 1745 secs
lola: sara is running 1750 secs || 20674267 markings, 41969064 edges, 13501 markings/sec, 1750 secs
lola: sara is running 1755 secs || 20742176 markings, 42073804 edges, 13582 markings/sec, 1755 secs
lola: sara is running 1760 secs || 20812686 markings, 42176856 edges, 14102 markings/sec, 1760 secs
lola: sara is running 1765 secs || 20882060 markings, 42280429 edges, 13875 markings/sec, 1765 secs
lola: sara is running 1770 secs || 20948434 markings, 42385899 edges, 13275 markings/sec, 1770 secs
lola: sara is running 1775 secs || 21013446 markings, 42499860 edges, 13002 markings/sec, 1775 secs
lola: sara is running 1780 secs || 21083573 markings, 42603446 edges, 14025 markings/sec, 1780 secs
lola: sara is running 1785 secs || 21150590 markings, 42708869 edges, 13403 markings/sec, 1785 secs
lola: sara is running 1790 secs || 21211539 markings, 42821896 edges, 12190 markings/sec, 1790 secs
lola: sara is running 1795 secs || 21283375 markings, 42926403 edges, 14367 markings/sec, 1795 secs
lola: sara is running 1800 secs || 21349466 markings, 43032544 edges, 13218 markings/sec, 1800 secs
lola: sara is running 1805 secs || 21416260 markings, 43139016 edges, 13359 markings/sec, 1805 secs
lola: sara is running 1810 secs || 21482999 markings, 43246174 edges, 13348 markings/sec, 1810 secs
lola: sara is running 1815 secs || 21548918 markings, 43353234 edges, 13184 markings/sec, 1815 secs
lola: sara is running 1820 secs || 21620504 markings, 43455748 edges, 14317 markings/sec, 1820 secs
lola: sara is running 1825 secs || 21686644 markings, 43563004 edges, 13228 markings/sec, 1825 secs
lola: sara is running 1830 secs || 21753150 markings, 43669619 edges, 13301 markings/sec, 1830 secs
lola: sara is running 1835 secs || 21821287 markings, 43776463 edges, 13627 markings/sec, 1835 secs
lola: sara is running 1840 secs || 21885472 markings, 43891297 edges, 12837 markings/sec, 1840 secs
lola: sara is running 1845 secs || 21952959 markings, 43996911 edges, 13497 markings/sec, 1845 secs
lola: sara is running 1850 secs || 22019255 markings, 44103687 edges, 13259 markings/sec, 1850 secs
lola: sara is running 1855 secs || 22085964 markings, 44210455 edges, 13342 markings/sec, 1855 secs
lola: sara is running 1860 secs || 22150747 markings, 44317539 edges, 12957 markings/sec, 1860 secs
lola: sara is running 1865 secs || 22218207 markings, 44422908 edges, 13492 markings/sec, 1865 secs
lola: sara is running 1870 secs || 22284163 markings, 44529698 edges, 13191 markings/sec, 1870 secs
lola: sara is running 1875 secs || 22344470 markings, 44642255 edges, 12061 markings/sec, 1875 secs
lola: sara is running 1880 secs || 22409688 markings, 44750315 edges, 13044 markings/sec, 1880 secs
lola: sara is running 1885 secs || 22478329 markings, 44854693 edges, 13728 markings/sec, 1885 secs
lola: sara is running 1890 secs || 22545519 markings, 44960045 edges, 13438 markings/sec, 1890 secs
lola: sara is running 1895 secs || 22608474 markings, 45069395 edges, 12591 markings/sec, 1895 secs
lola: sara is running 1900 secs || 22665512 markings, 45186216 edges, 11408 markings/sec, 1900 secs
lola: sara is running 1905 secs || 22726413 markings, 45298125 edges, 12180 markings/sec, 1905 secs
lola: sara is running 1910 secs || 22789034 markings, 45409984 edges, 12524 markings/sec, 1910 secs
lola: sara is running 1915 secs || 22850929 markings, 45520825 edges, 12379 markings/sec, 1915 secs
lola: sara is running 1920 secs || 22911180 markings, 45632728 edges, 12050 markings/sec, 1920 secs
lola: sara is running 1925 secs || 22971794 markings, 45743699 edges, 12123 markings/sec, 1925 secs
lola: sara is running 1930 secs || 23033898 markings, 45854726 edges, 12421 markings/sec, 1930 secs
lola: sara is running 1935 secs || 23101552 markings, 45960397 edges, 13531 markings/sec, 1935 secs
lola: sara is running 1940 secs || 23162363 markings, 46072727 edges, 12162 markings/sec, 1940 secs
lola: sara is running 1945 secs || 23223654 markings, 46184409 edges, 12258 markings/sec, 1945 secs
lola: sara is running 1950 secs || 23290160 markings, 46290584 edges, 13301 markings/sec, 1950 secs
lola: sara is running 1955 secs || 23353095 markings, 46399510 edges, 12587 markings/sec, 1955 secs
lola: sara is running 1960 secs || 23416154 markings, 46507374 edges, 12612 markings/sec, 1960 secs
lola: sara is running 1965 secs || 23478559 markings, 46614917 edges, 12481 markings/sec, 1965 secs
lola: sara is running 1970 secs || 23542391 markings, 46722635 edges, 12766 markings/sec, 1970 secs
lola: sara is running 1975 secs || 23599964 markings, 46838729 edges, 11515 markings/sec, 1975 secs
lola: sara is running 1980 secs || 23659633 markings, 46950533 edges, 11934 markings/sec, 1980 secs
lola: sara is running 1985 secs || 23721634 markings, 47059973 edges, 12400 markings/sec, 1985 secs
lola: sara is running 1990 secs || 23781016 markings, 47173941 edges, 11876 markings/sec, 1990 secs
lola: sara is running 1995 secs || 23842320 markings, 47283954 edges, 12261 markings/sec, 1995 secs
lola: sara is running 2000 secs || 23903558 markings, 47394737 edges, 12248 markings/sec, 2000 secs
lola: sara is running 2005 secs || 23965441 markings, 47505821 edges, 12377 markings/sec, 2005 secs
lola: sara is running 2010 secs || 24027480 markings, 47618148 edges, 12408 markings/sec, 2010 secs
lola: sara is running 2015 secs || 24091777 markings, 47728082 edges, 12859 markings/sec, 2015 secs
lola: sara is running 2020 secs || 24151671 markings, 47840548 edges, 11979 markings/sec, 2020 secs
lola: sara is running 2025 secs || 24208781 markings, 47958051 edges, 11422 markings/sec, 2025 secs
lola: sara is running 2030 secs || 24271028 markings, 48066721 edges, 12449 markings/sec, 2030 secs
lola: sara is running 2035 secs || 24329690 markings, 48179362 edges, 11732 markings/sec, 2035 secs
lola: sara is running 2040 secs || 24391751 markings, 48289867 edges, 12412 markings/sec, 2040 secs
lola: sara is running 2045 secs || 24453019 markings, 48400050 edges, 12254 markings/sec, 2045 secs
lola: sara is running 2050 secs || 24514345 markings, 48510174 edges, 12265 markings/sec, 2050 secs
lola: sara is running 2055 secs || 24572590 markings, 48626226 edges, 11649 markings/sec, 2055 secs
lola: sara is running 2060 secs || 24634110 markings, 48737305 edges, 12304 markings/sec, 2060 secs
lola: sara is running 2065 secs || 24688541 markings, 48857767 edges, 10886 markings/sec, 2065 secs
lola: sara is running 2070 secs || 24745652 markings, 48974055 edges, 11422 markings/sec, 2070 secs
lola: sara is running 2075 secs || 24806257 markings, 49084897 edges, 12121 markings/sec, 2075 secs
lola: sara is running 2080 secs || 24865911 markings, 49197369 edges, 11931 markings/sec, 2080 secs
lola: sara is running 2085 secs || 24922678 markings, 49313392 edges, 11353 markings/sec, 2085 secs
lola: sara is running 2090 secs || 24979788 markings, 49430956 edges, 11422 markings/sec, 2090 secs
lola: sara is running 2095 secs || 25036187 markings, 49546185 edges, 11280 markings/sec, 2095 secs
lola: sara is running 2100 secs || 25094485 markings, 49658516 edges, 11660 markings/sec, 2100 secs
lola: sara is running 2105 secs || 25156097 markings, 49768551 edges, 12322 markings/sec, 2105 secs
lola: sara is running 2110 secs || 25213042 markings, 49883081 edges, 11389 markings/sec, 2110 secs
lola: sara is running 2115 secs || 25269745 markings, 49998137 edges, 11341 markings/sec, 2115 secs
lola: sara is running 2120 secs || 25328557 markings, 50111804 edges, 11762 markings/sec, 2120 secs
lola: sara is running 2125 secs || 25386164 markings, 50227162 edges, 11521 markings/sec, 2125 secs
lola: sara is running 2130 secs || 25443467 markings, 50341465 edges, 11461 markings/sec, 2130 secs
lola: sara is running 2135 secs || 25501520 markings, 50456439 edges, 11611 markings/sec, 2135 secs
lola: sara is running 2140 secs || 25557580 markings, 50571781 edges, 11212 markings/sec, 2140 secs
lola: sara is running 2145 secs || 25613748 markings, 50687858 edges, 11234 markings/sec, 2145 secs
lola: sara is running 2150 secs || 25673556 markings, 50801527 edges, 11962 markings/sec, 2150 secs
lola: sara is running 2155 secs || 25724389 markings, 50924751 edges, 10167 markings/sec, 2155 secs
lola: sara is running 2160 secs || 25779829 markings, 51040077 edges, 11088 markings/sec, 2160 secs
lola: sara is running 2165 secs || 25831842 markings, 51161921 edges, 10403 markings/sec, 2165 secs
lola: sara is running 2170 secs || 25888445 markings, 51279237 edges, 11321 markings/sec, 2170 secs
lola: sara is running 2175 secs || 25946803 markings, 51395079 edges, 11672 markings/sec, 2175 secs
lola: sara is running 2180 secs || 26005461 markings, 51511009 edges, 11732 markings/sec, 2180 secs
lola: sara is running 2185 secs || 26059336 markings, 51629619 edges, 10775 markings/sec, 2185 secs
lola: sara is running 2190 secs || 26114810 markings, 51745875 edges, 11095 markings/sec, 2190 secs
lola: sara is running 2195 secs || 26174013 markings, 51859286 edges, 11841 markings/sec, 2195 secs
lola: sara is running 2200 secs || 26228363 markings, 51978003 edges, 10870 markings/sec, 2200 secs
lola: sara is running 2205 secs || 26281372 markings, 52097575 edges, 10602 markings/sec, 2205 secs
lola: sara is running 2210 secs || 26332512 markings, 52220931 edges, 10228 markings/sec, 2210 secs
lola: sara is running 2215 secs || 26381165 markings, 52347093 edges, 9731 markings/sec, 2215 secs
lola: sara is running 2220 secs || 26439137 markings, 52462912 edges, 11594 markings/sec, 2220 secs
lola: sara is running 2225 secs || 26489784 markings, 52585892 edges, 10129 markings/sec, 2225 secs
lola: sara is running 2230 secs || 26543376 markings, 52709533 edges, 10718 markings/sec, 2230 secs
lola: sara is running 2235 secs || 26603745 markings, 52820678 edges, 12074 markings/sec, 2235 secs
lola: sara is running 2240 secs || 26657505 markings, 52939095 edges, 10752 markings/sec, 2240 secs
lola: sara is running 2245 secs || 26710893 markings, 53058181 edges, 10678 markings/sec, 2245 secs
lola: sara is running 2250 secs || 26764256 markings, 53178789 edges, 10673 markings/sec, 2250 secs
lola: sara is running 2255 secs || 26814501 markings, 53304956 edges, 10049 markings/sec, 2255 secs
lola: sara is running 2260 secs || 26869729 markings, 53424439 edges, 11046 markings/sec, 2260 secs
lola: sara is running 2265 secs || 26924093 markings, 53540563 edges, 10873 markings/sec, 2265 secs
lola: sara is running 2270 secs || 26975254 markings, 53663792 edges, 10232 markings/sec, 2270 secs
lola: sara is running 2275 secs || 27028312 markings, 53785170 edges, 10612 markings/sec, 2275 secs
lola: sara is running 2280 secs || 27085044 markings, 53902956 edges, 11346 markings/sec, 2280 secs
lola: sara is running 2285 secs || 27136652 markings, 54024552 edges, 10322 markings/sec, 2285 secs
lola: sara is running 2290 secs || 27189478 markings, 54146411 edges, 10565 markings/sec, 2290 secs
lola: sara is running 2295 secs || 27243743 markings, 54263795 edges, 10853 markings/sec, 2295 secs
lola: sara is running 2300 secs || 27295448 markings, 54387463 edges, 10341 markings/sec, 2300 secs
lola: sara is running 2305 secs || 27348993 markings, 54504941 edges, 10709 markings/sec, 2305 secs
lola: sara is running 2310 secs || 27399143 markings, 54629305 edges, 10030 markings/sec, 2310 secs
lola: sara is running 2315 secs || 27447838 markings, 54755039 edges, 9739 markings/sec, 2315 secs
lola: sara is running 2320 secs || 27492672 markings, 54891881 edges, 8967 markings/sec, 2320 secs
lola: sara is running 2325 secs || 27540958 markings, 55020452 edges, 9657 markings/sec, 2325 secs
lola: sara is running 2330 secs || 27585408 markings, 55153595 edges, 8890 markings/sec, 2330 secs
lola: sara is running 2335 secs || 27635123 markings, 55276366 edges, 9943 markings/sec, 2335 secs
lola: sara is running 2340 secs || 27687808 markings, 55395231 edges, 10537 markings/sec, 2340 secs
lola: sara is running 2345 secs || 27737571 markings, 55516537 edges, 9953 markings/sec, 2345 secs
lola: sara is running 2350 secs || 27789398 markings, 55637326 edges, 10365 markings/sec, 2350 secs
lola: sara is running 2355 secs || 27850582 markings, 55749859 edges, 12237 markings/sec, 2355 secs
lola: sara is running 2360 secs || 27910531 markings, 55865302 edges, 11990 markings/sec, 2360 secs
lola: sara is running 2365 secs || 27969579 markings, 55980356 edges, 11810 markings/sec, 2365 secs
lola: sara is running 2370 secs || 28026586 markings, 56096063 edges, 11401 markings/sec, 2370 secs
lola: sara is running 2375 secs || 28077169 markings, 56219522 edges, 10117 markings/sec, 2375 secs
lola: sara is running 2380 secs || 28120704 markings, 56352372 edges, 8707 markings/sec, 2380 secs
lola: sara is running 2385 secs || 28166797 markings, 56486298 edges, 9219 markings/sec, 2385 secs
lola: sara is running 2390 secs || 28212655 markings, 56621553 edges, 9172 markings/sec, 2390 secs
lola: sara is running 2395 secs || 28270624 markings, 56736162 edges, 11594 markings/sec, 2395 secs
lola: sara is running 2400 secs || 28327323 markings, 56852949 edges, 11340 markings/sec, 2400 secs
lola: sara is running 2405 secs || 28376297 markings, 56986091 edges, 9795 markings/sec, 2405 secs
lola: sara is running 2410 secs || 28428226 markings, 57107592 edges, 10386 markings/sec, 2410 secs
lola: sara is running 2415 secs || 28469674 markings, 57238660 edges, 8290 markings/sec, 2415 secs
lola: sara is running 2420 secs || 28513303 markings, 57358907 edges, 8726 markings/sec, 2420 secs
lola: sara is running 2425 secs || 28569601 markings, 57471999 edges, 11260 markings/sec, 2425 secs
lola: sara is running 2430 secs || 28622252 markings, 57588758 edges, 10530 markings/sec, 2430 secs
lola: sara is running 2435 secs || 28665397 markings, 57717755 edges, 8629 markings/sec, 2435 secs
lola: sara is running 2440 secs || 28718282 markings, 57839094 edges, 10577 markings/sec, 2440 secs
lola: sara is running 2445 secs || 28775493 markings, 57954447 edges, 11442 markings/sec, 2445 secs
lola: sara is running 2450 secs || 28834680 markings, 58066933 edges, 11837 markings/sec, 2450 secs
lola: sara is running 2455 secs || 28887894 markings, 58188006 edges, 10643 markings/sec, 2455 secs
lola: sara is running 2460 secs || 28937985 markings, 58311893 edges, 10018 markings/sec, 2460 secs
lola: sara is running 2465 secs || 28984904 markings, 58443851 edges, 9384 markings/sec, 2465 secs
lola: sara is running 2470 secs || 29033115 markings, 58570872 edges, 9642 markings/sec, 2470 secs
lola: sara is running 2475 secs || 29081238 markings, 58698195 edges, 9625 markings/sec, 2475 secs
lola: sara is running 2480 secs || 29133814 markings, 58816441 edges, 10515 markings/sec, 2480 secs
lola: sara is running 2485 secs || 29193204 markings, 58927675 edges, 11878 markings/sec, 2485 secs
lola: sara is running 2490 secs || 29244389 markings, 59050026 edges, 10237 markings/sec, 2490 secs
lola: sara is running 2495 secs || 29293653 markings, 59176634 edges, 9853 markings/sec, 2495 secs
lola: sara is running 2500 secs || 29339349 markings, 59306210 edges, 9139 markings/sec, 2500 secs
lola: sara is running 2505 secs || 29387899 markings, 59429405 edges, 9710 markings/sec, 2505 secs
lola: sara is running 2510 secs || 29439104 markings, 59550122 edges, 10241 markings/sec, 2510 secs
lola: sara is running 2515 secs || 29491330 markings, 59671385 edges, 10445 markings/sec, 2515 secs
lola: sara is running 2520 secs || 29546708 markings, 59785665 edges, 11076 markings/sec, 2520 secs
lola: sara is running 2525 secs || 29598115 markings, 59905858 edges, 10281 markings/sec, 2525 secs
lola: sara is running 2530 secs || 29648035 markings, 60029533 edges, 9984 markings/sec, 2530 secs
lola: sara is running 2535 secs || 29705724 markings, 60142972 edges, 11538 markings/sec, 2535 secs
lola: sara is running 2540 secs || 29758219 markings, 60263034 edges, 10499 markings/sec, 2540 secs
lola: sara is running 2545 secs || 29810023 markings, 60389075 edges, 10361 markings/sec, 2545 secs
lola: sara is running 2550 secs || 29861216 markings, 60519464 edges, 10239 markings/sec, 2550 secs
lola: sara is running 2555 secs || 29909987 markings, 60652657 edges, 9754 markings/sec, 2555 secs
lola: sara is running 2560 secs || 29959122 markings, 60777378 edges, 9827 markings/sec, 2560 secs
lola: sara is running 2565 secs || 30011741 markings, 60894009 edges, 10524 markings/sec, 2565 secs
lola: sara is running 2570 secs || 30061776 markings, 61015366 edges, 10007 markings/sec, 2570 secs
lola: sara is running 2575 secs || 30115852 markings, 61131951 edges, 10815 markings/sec, 2575 secs
lola: sara is running 2580 secs || 30164579 markings, 61251556 edges, 9745 markings/sec, 2580 secs
lola: sara is running 2585 secs || 30213136 markings, 61380532 edges, 9711 markings/sec, 2585 secs
lola: sara is running 2590 secs || 30264391 markings, 61510088 edges, 10251 markings/sec, 2590 secs
lola: sara is running 2595 secs || 30322911 markings, 61625257 edges, 11704 markings/sec, 2595 secs
lola: sara is running 2600 secs || 30377233 markings, 61741345 edges, 10864 markings/sec, 2600 secs
lola: sara is running 2605 secs || 30427579 markings, 61860677 edges, 10069 markings/sec, 2605 secs
lola: sara is running 2610 secs || 30478929 markings, 61980078 edges, 10270 markings/sec, 2610 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no yes yes no yes no yes unknown no no no no yes yes yes
lola: memory consumption: 7396644 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityCardinality.json
lola: closed JSON file ReachabilityCardinality.json
lola: time limit reached - aborting
lola:
preliminary result: unknown no yes yes no yes no yes unknown no no no no yes yes yes
lola:
preliminary result: unknown no yes yes no yes no yes unknown no no no no yes yes yes
lola: memory consumption: 120596 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityCardinality.json
lola: closed JSON file ReachabilityCardinality.json
rslt: finished

BK_STOP 1552569494525

--------------------
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="CloudDeployment-PT-6b"
export BK_EXAMINATION="ReachabilityCardinality"
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 CloudDeployment-PT-6b, examination is ReachabilityCardinality"
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-155229648700089"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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