Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r182-oct2-158987913900443.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is BridgeAndVehicles-PT-V80P50N50, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-oct2-158987913900443
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 8.8K Mar 26 02:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Mar 26 02:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 105K Mar 25 22:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 305K Mar 25 22:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 18K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 297K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 864K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 41K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 482K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.4M Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.1K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.5M Mar 24 05:37 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 BridgeAndVehicles-PT-V80P50N50-CTLCardinality-00
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-CTLCardinality-01
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-CTLCardinality-02
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-CTLCardinality-03
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-CTLCardinality-04
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-CTLCardinality-05
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-CTLCardinality-06
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-CTLCardinality-07
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-CTLCardinality-08
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-CTLCardinality-09
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-CTLCardinality-10
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-CTLCardinality-11
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-CTLCardinality-12
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-CTLCardinality-13
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-CTLCardinality-14
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591154889348

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 03:28:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 03:28:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 03:28:13] [INFO ] Load time of PNML (sax parser for PT used): 572 ms
[2020-06-03 03:28:14] [INFO ] Transformed 228 places.
[2020-06-03 03:28:14] [INFO ] Transformed 8588 transitions.
[2020-06-03 03:28:14] [INFO ] Parsed PT model containing 228 places and 8588 transitions in 749 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 408 ms.
Incomplete random walk after 100000 steps, including 147 resets, run finished after 2170 ms. (steps per millisecond=46 ) properties seen :[1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 0, 1, 1, 0, 0]
[2020-06-03 03:28:16] [INFO ] Flow matrix only has 530 transitions (discarded 8058 similar events)
// Phase 1: matrix 530 rows 228 cols
[2020-06-03 03:28:16] [INFO ] Computed 7 place invariants in 31 ms
[2020-06-03 03:28:17] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned unsat
[2020-06-03 03:28:17] [INFO ] [Real]Absence check using 7 positive place invariants in 21 ms returned unsat
[2020-06-03 03:28:17] [INFO ] [Real]Absence check using 7 positive place invariants in 19 ms returned sat
[2020-06-03 03:28:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 03:28:17] [INFO ] [Real]Absence check using state equation in 561 ms returned sat
[2020-06-03 03:28:17] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 03:28:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 25 ms returned unsat
[2020-06-03 03:28:18] [INFO ] [Real]Absence check using 7 positive place invariants in 31 ms returned unsat
[2020-06-03 03:28:18] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned unsat
[2020-06-03 03:28:18] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned unsat
[2020-06-03 03:28:18] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned unsat
Successfully simplified 7 atomic propositions for a total of 7 simplifications.
[2020-06-03 03:28:19] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2020-06-03 03:28:19] [INFO ] Flatten gal took : 721 ms
[2020-06-03 03:28:19] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2020-06-03 03:28:19] [INFO ] Flatten gal took : 435 ms
FORMULA BridgeAndVehicles-PT-V80P50N50-CTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BridgeAndVehicles-PT-V80P50N50-CTLCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BridgeAndVehicles-PT-V80P50N50-CTLCardinality-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BridgeAndVehicles-PT-V80P50N50-CTLCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BridgeAndVehicles-PT-V80P50N50-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-03 03:28:19] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 2 ms.
[2020-06-03 03:28:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 121 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ BridgeAndVehicles-PT-V80P50N50 @ 3570 seconds

FORMULA BridgeAndVehicles-PT-V80P50N50-CTLCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-PT-V80P50N50-CTLCardinality-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-PT-V80P50N50-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-PT-V80P50N50-CTLCardinality-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-PT-V80P50N50-CTLCardinality-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-PT-V80P50N50-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-PT-V80P50N50-CTLCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-PT-V80P50N50-CTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA BridgeAndVehicles-PT-V80P50N50-CTLCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ BridgeAndVehicles-PT-V80P50N50

{
"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": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Jun 3 03:28:20 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 321
},
"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": 14
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 354
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(p83 <= p84)",
"processed_size": 12,
"rewrites": 14
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 393
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 2,
"F": 0,
"G": 0,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "E((p205 <= p220) U EX((1 <= p45)))",
"processed_size": 34,
"rewrites": 16
},
"net":
{
"conflict_clusters": 5,
"singleton_clusters": 0
},
"result":
{
"edges": 251,
"markings": 252,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 442
},
"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 ((2 <= p0)))",
"processed_size": 17,
"rewrites": 16
},
"result":
{
"edges": 79,
"markings": 80,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 505
},
"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": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "E (F ((p0 <= p83)))",
"processed_size": 19,
"rewrites": 15
},
"result":
{
"edges": 80,
"markings": 81,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 590
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"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": "E (F (((p227 + 1 <= p44) AND (p91 + 1 <= p109))))",
"processed_size": 49,
"rewrites": 15
},
"result":
{
"produced_by": "state equation",
"value": true
},
"task":
{
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 705
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p169 <= 0) OR (p0 <= 1))",
"processed_size": 27,
"rewrites": 18
},
"result":
{
"edges": 657,
"markings": 658,
"produced_by": "state space /EFEG",
"value": false
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 81
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "eventual_occurrence_from_all_states",
"workflow": "stateequation"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 881
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "E (G (((p41 <= p90))))",
"processed_size": 22,
"rewrites": 15
},
"result":
{
"edges": 657,
"markings": 658,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 110
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "possible_preservation",
"workflow": "stateequation"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1175
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1175
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(p213 <= p3)",
"processed_size": 12,
"rewrites": 14
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 8,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1763
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G ((p58 <= p83)))",
"processed_size": 20,
"rewrites": 16
},
"result":
{
"produced_by": "state equation",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 8,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 483508,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(G(**)) : TRUE : A(G(A(F(**)))) : E(G(E(F(**)))) : ** : (E(F(E(G(**)))) OR E(F(E(G(**))))) : E(F(**)) : (** AND A(G(**))) : E(F(**)) : E((** U E(X(**)))) : E(G(*))"
},
"net":
{
"arcs": 67470,
"conflict_clusters": 5,
"places": 228,
"places_significant": 221,
"singleton_clusters": 0,
"transitions": 8588
},
"result":
{
"interim_value": "no yes no unknown yes unknown yes no yes yes yes ",
"preliminary_value": "no yes no unknown yes unknown yes 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: 8816/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 7296
lola: finding significant places
lola: 228 places, 8588 transitions, 221 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p187)
lola: A (G ((2 <= p0))) : (E (X (E (G ((1 <= p170 + p171))))) OR E (G ((0 <= 0)))) : A (G (A (F (((1 <= p169) AND (2 <= p0)))))) : E (G (E (F (((p175 <= p169) AND (p83 <= p172)))))) : ((p83 <= p84) AND E (G ((0 <= 0)))) : E (F ((E (G ((3 <= p175))) OR E (G ((3 <= p172)))))) : E (F ((p0 <= p83))) : ((p213 <= p3) AND A (G ((p58 <= p83)))) : E (((0 <= 0) U ((p227 + 1 <= p44) AND (p91 + 1 <= p109)))) : E (((p205 <= p220) U E (X ((1 <= p45))))) : NOT(A (F (((p90 + 1 <= p41)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:548
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 321 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: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p83 <= p84)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p83 <= p84)
lola: processed formula length: 12
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 393 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((p205 <= p220) U E (X ((1 <= p45)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((p205 <= p220) U EX((1 <= p45)))
lola: processed formula length: 34
lola: 16 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 252 markings, 251 edges
lola: ========================================
lola: subprocess 3 will run for 442 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((2 <= p0)))
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 ((2 <= p0)))
lola: processed formula length: 17
lola: 16 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p0 <= 1)
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: 80 markings, 79 edges
lola: ========================================
lola: subprocess 4 will run for 505 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p0 <= p83)))
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 ((p0 <= p83)))
lola: processed formula length: 19
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
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: (p0 <= p83)
lola: state equation task get result unparse finished id 0
lola: The predicate is reachable.
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: 81 markings, 80 edges
lola: subprocess 5 will run for 590 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p227 + 1 <= p44) AND (p91 + 1 <= p109))))
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 (((p227 + 1 <= p44) AND (p91 + 1 <= p109))))
lola: processed formula length: 49
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: ========================================
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: ((p227 + 1 <= p44) AND (p91 + 1 <= p109))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-5-0.sara.
lola: sara is running 0 secs || 10275 markings, 27266 edges, 2055 markings/sec, 0 secs
sara: place or transition ordering is non-deterministic

lola: sara is running 5 secs || 20836 markings, 56694 edges, 2112 markings/sec, 5 secs
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 6 will run for 705 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F (((1 <= p169) AND (2 <= p0))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all states
lola: rewrite Frontend/Parser/formula_rewrite.k:599
lola: rewrite Frontend/Parser/formula_rewrite.k:634
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p169 <= 0) OR (p0 <= 1))
lola: processed formula length: 27
lola: 18 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p169 <= 0) OR (p0 <= 1))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p169) AND (2 <= p0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-6-0.sara.
lola: state equation: write sara problem file to CTLCardinality-6-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-6-1.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate does not eventually occur from all states.
lola: 658 markings, 657 edges
lola: ========================================
lola: subprocess 7 will run for 881 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((p41 <= p90))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G (((p41 <= p90))))
lola: processed formula length: 22
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p90 + 1 <= p41))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-7-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 658 markings, 657 edges
lola: ========================================
lola: subprocess 8 will run for 1175 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p213 <= p3) AND A (G ((p58 <= p83))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 1175 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p213 <= p3)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p213 <= p3)
lola: processed formula length: 12
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 1763 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p58 <= p83)))
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 ((p58 <= p83)))
lola: processed formula length: 20
lola: 16 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p83 + 1 <= p58)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-9-0.sara.
lola: sara is running 0 secs || 10813 markings, 16919 edges, 2163 markings/sec, 0 secs
lola: sara is running 5 secs || 17504 markings, 29923 edges, 1338 markings/sec, 5 secs
lola: sara is running 10 secs || 23361 markings, 46338 edges, 1171 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic

lola: sara is running 15 secs || 30672 markings, 67032 edges, 1462 markings/sec, 15 secs
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 1751 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F (((p175 <= p169) AND (p83 <= p172))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:593
lola: rewrite Frontend/Parser/formula_rewrite.k:628
lola: rewrite Frontend/Parser/formula_rewrite.k:731
lola: processed formula: ((p175 <= p169) AND (p83 <= p172))
lola: processed formula length: 34
lola: 17 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p175 <= p169) AND (p83 <= p172))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
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: ((p169 + 1 <= p175) OR (p172 + 1 <= p83))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-9-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-9-1.sara.
lola: state equation: write sara problem file to CTLCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-9-0.sara.
lola: sara is running 0 secs || sara is running 0 secs || 196406 markings, 568065 edges, 39281 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 422806 markings, 1224437 edges, 45280 markings/sec, 5 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 10 secs || sara is running 10 secs || 624617 markings, 1808753 edges, 40362 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic

lola: sara is running 15 secs || sara is running 15 secs || 747903 markings, 2165832 edges, 24657 markings/sec, 15 secs
lola: state equation 1: solution produced
lola: sara is running 20 secs || sara is running 20 secs || 990689 markings, 2868509 edges, 48557 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 1168020 markings, 3383295 edges, 35466 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 1330117 markings, 3851398 edges, 32419 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 1562312 markings, 4524698 edges, 46439 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 1779078 markings, 5151665 edges, 43353 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 2033295 markings, 5886624 edges, 50843 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 2254211 markings, 6527171 edges, 44183 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 2417120 markings, 6998384 edges, 32582 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 2580478 markings, 7470662 edges, 32672 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 2748182 markings, 7956197 edges, 33541 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 2912008 markings, 8430074 edges, 32765 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 3077394 markings, 8908700 edges, 33077 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 3242815 markings, 9385700 edges, 33084 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 3411803 markings, 9874434 edges, 33798 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 3574421 markings, 10344951 edges, 32524 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 3736679 markings, 10812178 edges, 32452 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 3900735 markings, 11286113 edges, 32811 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 4065773 markings, 11762083 edges, 33008 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 4224211 markings, 12220389 edges, 31688 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 4386761 markings, 12687775 edges, 32510 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 4547160 markings, 13149762 edges, 32080 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 4708317 markings, 13613211 edges, 32231 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 4858089 markings, 14044182 edges, 29954 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 5016980 markings, 14499838 edges, 31778 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 5174028 markings, 14950831 edges, 31410 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 5330916 markings, 15400783 edges, 31378 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 5489877 markings, 15856379 edges, 31792 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 5644768 markings, 16299551 edges, 30978 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 5799619 markings, 16743639 edges, 30970 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 5961732 markings, 17206413 edges, 32423 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 6119215 markings, 17656333 edges, 31497 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 6294945 markings, 18136671 edges, 35146 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 6458389 markings, 18588083 edges, 32689 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 6598903 markings, 19000278 edges, 28103 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 6772360 markings, 19447659 edges, 34691 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 6915036 markings, 19940040 edges, 28535 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 7037116 markings, 20413169 edges, 24416 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 7191006 markings, 20878065 edges, 30778 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 7318035 markings, 21372977 edges, 25406 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 7434438 markings, 21774805 edges, 23281 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 7572793 markings, 22233723 edges, 27671 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 7688457 markings, 22682465 edges, 23133 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 7825572 markings, 23116032 edges, 27423 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 7955396 markings, 23597426 edges, 25965 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 8063852 markings, 24004781 edges, 21691 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 8213886 markings, 24477038 edges, 30007 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 8338415 markings, 24960624 edges, 24906 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 8478861 markings, 25406863 edges, 28089 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 8609353 markings, 25898498 edges, 26098 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 8732136 markings, 26330615 edges, 24557 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 8882071 markings, 26840900 edges, 29987 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 9003042 markings, 27302950 edges, 24194 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 9153572 markings, 27782281 edges, 30106 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 9273989 markings, 28249573 edges, 24083 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 9423846 markings, 28722766 edges, 29971 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 9550977 markings, 29216436 edges, 25426 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 9691150 markings, 29662006 edges, 28035 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 9821080 markings, 30160201 edges, 25986 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 9962137 markings, 30621595 edges, 28211 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 10093113 markings, 31114256 edges, 26195 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 10226873 markings, 31558569 edges, 26752 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 10362080 markings, 32059262 edges, 27041 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 10501615 markings, 32521135 edges, 27907 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 10632924 markings, 33013801 edges, 26262 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 10770433 markings, 33462537 edges, 27502 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 10896895 markings, 33944594 edges, 25292 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 11042835 markings, 34421013 edges, 29188 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 11169625 markings, 34912736 edges, 25358 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 11315795 markings, 35393382 edges, 29234 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 11442926 markings, 35871062 edges, 25426 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 11593952 markings, 36389533 edges, 30205 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 11727141 markings, 36841733 edges, 26638 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 11858662 markings, 37331513 edges, 26304 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 12001133 markings, 37805831 edges, 28494 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 12133621 markings, 38298282 edges, 26498 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 12275949 markings, 38795070 edges, 28466 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 12412991 markings, 39252729 edges, 27408 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 12535824 markings, 39728691 edges, 24567 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 12689427 markings, 40252881 edges, 30721 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 12832328 markings, 40738859 edges, 28580 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 12964795 markings, 41219688 edges, 26493 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 13099422 markings, 41706944 edges, 26925 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 13240641 markings, 42193192 edges, 28244 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 13382695 markings, 42681373 edges, 28411 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 13517197 markings, 43164220 edges, 26900 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 13655907 markings, 43672677 edges, 27742 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 13797509 markings, 44172623 edges, 28320 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 13940122 markings, 44671286 edges, 28523 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 14080889 markings, 45165219 edges, 28153 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 14215865 markings, 45639781 edges, 26995 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 14353213 markings, 46125483 edges, 27470 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 14494020 markings, 46625337 edges, 28161 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 14630139 markings, 47110099 edges, 27224 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 14764281 markings, 47589896 edges, 26828 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 14903405 markings, 48081215 edges, 27825 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 15040439 markings, 48554638 edges, 27407 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 15172559 markings, 49032839 edges, 26424 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 15303475 markings, 49507650 edges, 26183 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 15446300 markings, 50008432 edges, 28565 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 15581719 markings, 50486589 edges, 27084 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 15788844 markings, 51233293 edges, 41425 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 16071598 markings, 52263330 edges, 56551 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 16372107 markings, 53395777 edges, 60102 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 16687396 markings, 54327585 edges, 63058 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 16992957 markings, 55423755 edges, 61112 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 17266224 markings, 56362517 edges, 54653 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 17397522 markings, 56866182 edges, 26260 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 17534866 markings, 57400862 edges, 27469 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 17666093 markings, 57850145 edges, 26245 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 17808944 markings, 58345919 edges, 28570 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 17945540 markings, 58867760 edges, 27319 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 18068516 markings, 59342754 edges, 24595 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 18216603 markings, 59802867 edges, 29617 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 18349943 markings, 60313656 edges, 26668 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 18474756 markings, 60798396 edges, 24963 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 18612151 markings, 61250463 edges, 27479 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 18748575 markings, 61752514 edges, 27285 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 18884747 markings, 62274199 edges, 27234 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 19008244 markings, 62713568 edges, 24699 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 19158584 markings, 63225655 edges, 30068 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 19297431 markings, 63759421 edges, 27769 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 19418511 markings, 64211019 edges, 24216 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 19566774 markings, 64695612 edges, 29653 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 19708016 markings, 65239856 edges, 28248 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 19827809 markings, 65698490 edges, 23959 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 19971990 markings, 66157726 edges, 28836 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 20101855 markings, 66658001 edges, 25973 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 20223420 markings, 67127835 edges, 24313 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 20371920 markings, 67602836 edges, 29700 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 20503642 markings, 68110986 edges, 26344 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 20621786 markings, 68567306 edges, 23629 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 20769314 markings, 69041187 edges, 29506 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 20904538 markings, 69563888 edges, 27045 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 21022455 markings, 70018141 edges, 23583 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 21167951 markings, 70487965 edges, 29099 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 21391120 markings, 71349199 edges, 44634 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 21694459 markings, 72432872 edges, 60668 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 21986150 markings, 73467068 edges, 58338 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 22273607 markings, 74493499 edges, 57491 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 22484071 markings, 75293170 edges, 42093 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 22633569 markings, 75801496 edges, 29900 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 22771921 markings, 76333585 edges, 27670 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 22915288 markings, 76805018 edges, 28673 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 23049391 markings, 77326129 edges, 26821 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 23180555 markings, 77788964 edges, 26233 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 23328348 markings, 78323240 edges, 29559 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 23455373 markings, 78813641 edges, 25405 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 23600282 markings, 79299104 edges, 28982 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 23733845 markings, 79813093 edges, 26713 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 23881927 markings, 80311459 edges, 29616 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 24017187 markings, 80834450 edges, 27052 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 24155817 markings, 81297012 edges, 27726 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 24289037 markings, 81815553 edges, 26644 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 24430059 markings, 82286898 edges, 28204 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 24567929 markings, 82823677 edges, 27574 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 24701697 markings, 83269887 edges, 26754 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 24836738 markings, 83794928 edges, 27008 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 24977125 markings, 84268688 edges, 28077 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 25117272 markings, 84811620 edges, 28029 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 25252227 markings, 85269705 edges, 26991 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 25383945 markings, 85778437 edges, 26344 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 25528192 markings, 86276826 edges, 28849 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 25666222 markings, 86799922 edges, 27606 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 25821819 markings, 87353310 edges, 31119 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 25967161 markings, 87856793 edges, 29068 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 26098599 markings, 88364020 edges, 26288 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 26239743 markings, 88856831 edges, 28229 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 26373086 markings, 89331354 edges, 26669 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 26510084 markings, 89847867 edges, 27400 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 26651771 markings, 90346846 edges, 28337 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 26787608 markings, 90823302 edges, 27167 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 26916160 markings, 91318219 edges, 25710 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 27062286 markings, 91839119 edges, 29225 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 27200895 markings, 92331133 edges, 27722 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 27338522 markings, 92821696 edges, 27525 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 27477333 markings, 93322245 edges, 27762 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 27608693 markings, 93813525 edges, 26272 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 27742083 markings, 94301562 edges, 26678 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 27879784 markings, 94797995 edges, 27540 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 28016258 markings, 95291729 edges, 27295 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 28150974 markings, 95775511 edges, 26943 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 28287329 markings, 96255837 edges, 27271 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 28420029 markings, 96737412 edges, 26540 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 28554870 markings, 97230882 edges, 26968 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 28685359 markings, 97708008 edges, 26098 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 28818986 markings, 98184914 edges, 26725 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 28950206 markings, 98658180 edges, 26244 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 29090996 markings, 99171609 edges, 28158 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 29237133 markings, 99710319 edges, 29227 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 29390510 markings, 100274257 edges, 30675 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 29512008 markings, 100752751 edges, 24300 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 29637978 markings, 101165273 edges, 25194 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 29808556 markings, 101612482 edges, 34116 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 29943429 markings, 102079842 edges, 26975 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 30083812 markings, 102581675 edges, 28077 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 30235721 markings, 103133058 edges, 30382 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 30387481 markings, 103664196 edges, 30352 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 30513368 markings, 104149258 edges, 25177 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 30661214 markings, 104602847 edges, 29569 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 30797596 markings, 105137303 edges, 27276 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 30940532 markings, 105684076 edges, 28587 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 31070377 markings, 106189397 edges, 25969 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 31192404 markings, 106604465 edges, 24405 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 31338759 markings, 107112030 edges, 29271 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 31471883 markings, 107634106 edges, 26625 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 31609527 markings, 108158922 edges, 27529 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 31725355 markings, 108604029 edges, 23166 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 31880812 markings, 109092779 edges, 31091 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 32022607 markings, 109648904 edges, 28359 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 32170035 markings, 110213419 edges, 29486 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 32299920 markings, 110714314 edges, 25977 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 32455902 markings, 111207552 edges, 31196 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 32589144 markings, 111730133 edges, 26648 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 32726360 markings, 112255461 edges, 27443 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 32856702 markings, 112758256 edges, 26068 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 33010271 markings, 113244559 edges, 30714 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 33151299 markings, 113797720 edges, 28206 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 33296404 markings, 114354963 edges, 29021 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 33420667 markings, 114833424 edges, 24853 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 33575655 markings, 115328592 edges, 30998 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 33797093 markings, 116186379 edges, 44288 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 34058613 markings, 117099717 edges, 52304 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 34207410 markings, 117676259 edges, 29759 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 34352960 markings, 118237116 edges, 29110 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 34472338 markings, 118696145 edges, 23876 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 34624797 markings, 119186930 edges, 30492 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 34761446 markings, 119723015 edges, 27330 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 34908340 markings, 120289956 edges, 29379 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 35043365 markings, 120747756 edges, 27005 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 35187623 markings, 121272010 edges, 28852 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 35325645 markings, 121804111 edges, 27604 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 35457824 markings, 122314550 edges, 26436 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 35614064 markings, 122824393 edges, 31248 markings/sec, 1180 secs
lola: sara is running 1185 secs || sara is running 1185 secs || 35851669 markings, 123747869 edges, 47521 markings/sec, 1185 secs
lola: sara is running 1190 secs || sara is running 1190 secs || 36083250 markings, 124548147 edges, 46316 markings/sec, 1190 secs
lola: sara is running 1195 secs || sara is running 1195 secs || 36361280 markings, 125628365 edges, 55606 markings/sec, 1195 secs
lola: sara is running 1200 secs || sara is running 1200 secs || 36637767 markings, 126609522 edges, 55297 markings/sec, 1200 secs
lola: sara is running 1205 secs || sara is running 1205 secs || 36842057 markings, 127396981 edges, 40858 markings/sec, 1205 secs
lola: sara is running 1210 secs || sara is running 1210 secs || 37126608 markings, 128417176 edges, 56910 markings/sec, 1210 secs
lola: sara is running 1215 secs || sara is running 1215 secs || 37409354 markings, 129420009 edges, 56549 markings/sec, 1215 secs
lola: sara is running 1220 secs || sara is running 1220 secs || 37683598 markings, 130485693 edges, 54849 markings/sec, 1220 secs
lola: sara is running 1225 secs || sara is running 1225 secs || 37962232 markings, 131484220 edges, 55727 markings/sec, 1225 secs
lola: sara is running 1230 secs || sara is running 1230 secs || 38141887 markings, 132175115 edges, 35931 markings/sec, 1230 secs
lola: sara is running 1235 secs || sara is running 1235 secs || 38289353 markings, 132667272 edges, 29493 markings/sec, 1235 secs
lola: sara is running 1240 secs || sara is running 1240 secs || 38424091 markings, 133190566 edges, 26948 markings/sec, 1240 secs
lola: sara is running 1245 secs || sara is running 1245 secs || 38546129 markings, 133660718 edges, 24408 markings/sec, 1245 secs
lola: sara is running 1250 secs || sara is running 1250 secs || 38778517 markings, 134487847 edges, 46478 markings/sec, 1250 secs
lola: sara is running 1255 secs || sara is running 1255 secs || 39050151 markings, 135458975 edges, 54327 markings/sec, 1255 secs
lola: sara is running 1260 secs || sara is running 1260 secs || 39259776 markings, 136274276 edges, 41925 markings/sec, 1260 secs
lola: sara is running 1265 secs || sara is running 1265 secs || 39389050 markings, 136699573 edges, 25855 markings/sec, 1265 secs
lola: sara is running 1270 secs || sara is running 1270 secs || 39522571 markings, 137219611 edges, 26704 markings/sec, 1270 secs
lola: sara is running 1275 secs || sara is running 1275 secs || 39653956 markings, 137724461 edges, 26277 markings/sec, 1275 secs
lola: sara is running 1280 secs || sara is running 1280 secs || 39799370 markings, 138217330 edges, 29083 markings/sec, 1280 secs
lola: sara is running 1285 secs || sara is running 1285 secs || 39935461 markings, 138746504 edges, 27218 markings/sec, 1285 secs
lola: sara is running 1290 secs || sara is running 1290 secs || 40066771 markings, 139215005 edges, 26262 markings/sec, 1290 secs
lola: sara is running 1295 secs || sara is running 1295 secs || 40206310 markings, 139726363 edges, 27908 markings/sec, 1295 secs
lola: sara is running 1300 secs || sara is running 1300 secs || 40340035 markings, 140241701 edges, 26745 markings/sec, 1300 secs
lola: sara is running 1305 secs || sara is running 1305 secs || 40477922 markings, 140709799 edges, 27577 markings/sec, 1305 secs
lola: sara is running 1310 secs || sara is running 1310 secs || 40608485 markings, 141217457 edges, 26113 markings/sec, 1310 secs
lola: sara is running 1315 secs || sara is running 1315 secs || 40738944 markings, 141677533 edges, 26092 markings/sec, 1315 secs
lola: sara is running 1320 secs || sara is running 1320 secs || 40877356 markings, 142194850 edges, 27682 markings/sec, 1320 secs
lola: sara is running 1325 secs || sara is running 1325 secs || 41003043 markings, 142677367 edges, 25137 markings/sec, 1325 secs
lola: sara is running 1330 secs || sara is running 1330 secs || 41145010 markings, 143167445 edges, 28393 markings/sec, 1330 secs
lola: sara is running 1335 secs || sara is running 1335 secs || 41278088 markings, 143681645 edges, 26616 markings/sec, 1335 secs
lola: sara is running 1340 secs || sara is running 1340 secs || 41417471 markings, 144161959 edges, 27877 markings/sec, 1340 secs
lola: sara is running 1345 secs || sara is running 1345 secs || 41557971 markings, 144707923 edges, 28100 markings/sec, 1345 secs
lola: sara is running 1350 secs || sara is running 1350 secs || 41697831 markings, 145189239 edges, 27972 markings/sec, 1350 secs
lola: sara is running 1355 secs || sara is running 1355 secs || 41835824 markings, 145725976 edges, 27599 markings/sec, 1355 secs
lola: sara is running 1360 secs || sara is running 1360 secs || 41970131 markings, 146187620 edges, 26861 markings/sec, 1360 secs
lola: sara is running 1365 secs || sara is running 1365 secs || 42104329 markings, 146709628 edges, 26840 markings/sec, 1365 secs
lola: sara is running 1370 secs || sara is running 1370 secs || 42274716 markings, 147314027 edges, 34077 markings/sec, 1370 secs
lola: sara is running 1375 secs || sara is running 1375 secs || 42411063 markings, 147838701 edges, 27269 markings/sec, 1375 secs
lola: sara is running 1380 secs || sara is running 1380 secs || 42556624 markings, 148354677 edges, 29112 markings/sec, 1380 secs
lola: sara is running 1385 secs || sara is running 1385 secs || 42689784 markings, 148836815 edges, 26632 markings/sec, 1385 secs
lola: sara is running 1390 secs || sara is running 1390 secs || 42826241 markings, 149347700 edges, 27291 markings/sec, 1390 secs
lola: sara is running 1395 secs || sara is running 1395 secs || 42963620 markings, 149831308 edges, 27476 markings/sec, 1395 secs
lola: sara is running 1400 secs || sara is running 1400 secs || 43093020 markings, 150329502 edges, 25880 markings/sec, 1400 secs
lola: sara is running 1405 secs || sara is running 1405 secs || 43262731 markings, 150943731 edges, 33942 markings/sec, 1405 secs
lola: sara is running 1410 secs || sara is running 1410 secs || 43544459 markings, 151973523 edges, 56346 markings/sec, 1410 secs
lola: sara is running 1415 secs || sara is running 1415 secs || 43839764 markings, 153052700 edges, 59061 markings/sec, 1415 secs
lola: sara is running 1420 secs || sara is running 1420 secs || 44131857 markings, 154111078 edges, 58419 markings/sec, 1420 secs
lola: sara is running 1425 secs || sara is running 1425 secs || 44420435 markings, 155161765 edges, 57716 markings/sec, 1425 secs
lola: sara is running 1430 secs || sara is running 1430 secs || 44562386 markings, 155680733 edges, 28390 markings/sec, 1430 secs
lola: sara is running 1435 secs || sara is running 1435 secs || 44753301 markings, 156389580 edges, 38183 markings/sec, 1435 secs
lola: sara is running 1440 secs || sara is running 1440 secs || 44953743 markings, 157113334 edges, 40088 markings/sec, 1440 secs
lola: sara is running 1445 secs || sara is running 1445 secs || 45096013 markings, 157638196 edges, 28454 markings/sec, 1445 secs
lola: sara is running 1450 secs || sara is running 1450 secs || 45236022 markings, 158153532 edges, 28002 markings/sec, 1450 secs
lola: sara is running 1455 secs || sara is running 1455 secs || 45378639 markings, 158667375 edges, 28523 markings/sec, 1455 secs
lola: sara is running 1460 secs || sara is running 1460 secs || 45515887 markings, 159167613 edges, 27450 markings/sec, 1460 secs
lola: sara is running 1465 secs || sara is running 1465 secs || 45667226 markings, 159726652 edges, 30268 markings/sec, 1465 secs
lola: sara is running 1470 secs || sara is running 1470 secs || 45831030 markings, 160330052 edges, 32761 markings/sec, 1470 secs
lola: sara is running 1475 secs || sara is running 1475 secs || 45956804 markings, 160826089 edges, 25155 markings/sec, 1475 secs
lola: sara is running 1480 secs || sara is running 1480 secs || 46087278 markings, 161239798 edges, 26095 markings/sec, 1480 secs
lola: sara is running 1485 secs || sara is running 1485 secs || 46263717 markings, 161702823 edges, 35288 markings/sec, 1485 secs
lola: sara is running 1490 secs || sara is running 1490 secs || 46400523 markings, 162173335 edges, 27361 markings/sec, 1490 secs
lola: sara is running 1495 secs || sara is running 1495 secs || 46545241 markings, 162695931 edges, 28944 markings/sec, 1495 secs
lola: sara is running 1500 secs || sara is running 1500 secs || 46689861 markings, 163214663 edges, 28924 markings/sec, 1500 secs
lola: sara is running 1505 secs || sara is running 1505 secs || 46831935 markings, 163722877 edges, 28415 markings/sec, 1505 secs
lola: sara is running 1510 secs || sara is running 1510 secs || 46979836 markings, 164231136 edges, 29580 markings/sec, 1510 secs
lola: sara is running 1515 secs || sara is running 1515 secs || 47131561 markings, 164783763 edges, 30345 markings/sec, 1515 secs
lola: sara is running 1520 secs || sara is running 1520 secs || 47262859 markings, 165287702 edges, 26260 markings/sec, 1520 secs
lola: sara is running 1525 secs || sara is running 1525 secs || 47416259 markings, 165763391 edges, 30680 markings/sec, 1525 secs
lola: sara is running 1530 secs || sara is running 1530 secs || 47546807 markings, 166275192 edges, 26110 markings/sec, 1530 secs
lola: sara is running 1535 secs || sara is running 1535 secs || 47679295 markings, 166794760 edges, 26498 markings/sec, 1535 secs
lola: sara is running 1540 secs || sara is running 1540 secs || 47820504 markings, 167332373 edges, 28242 markings/sec, 1540 secs
lola: sara is running 1545 secs || sara is running 1545 secs || 47950793 markings, 167837303 edges, 26058 markings/sec, 1545 secs
lola: sara is running 1550 secs || sara is running 1550 secs || 48084886 markings, 168274524 edges, 26819 markings/sec, 1550 secs
lola: sara is running 1555 secs || sara is running 1555 secs || 48221617 markings, 168771593 edges, 27346 markings/sec, 1555 secs
lola: sara is running 1560 secs || sara is running 1560 secs || 48351311 markings, 169280173 edges, 25939 markings/sec, 1560 secs
lola: sara is running 1565 secs || sara is running 1565 secs || 48561173 markings, 170086723 edges, 41972 markings/sec, 1565 secs
lola: sara is running 1570 secs || sara is running 1570 secs || 48844807 markings, 171068152 edges, 56727 markings/sec, 1570 secs
lola: sara is running 1575 secs || sara is running 1575 secs || 49124491 markings, 172164070 edges, 55937 markings/sec, 1575 secs
lola: sara is running 1580 secs || sara is running 1580 secs || 49309122 markings, 172873827 edges, 36926 markings/sec, 1580 secs
lola: sara is running 1585 secs || sara is running 1585 secs || 49435407 markings, 173347190 edges, 25257 markings/sec, 1585 secs
lola: sara is running 1590 secs || sara is running 1590 secs || 49591406 markings, 173852024 edges, 31200 markings/sec, 1590 secs
lola: sara is running 1595 secs || sara is running 1595 secs || 49731181 markings, 174400203 edges, 27955 markings/sec, 1595 secs
lola: sara is running 1600 secs || sara is running 1600 secs || 49869952 markings, 174944825 edges, 27754 markings/sec, 1600 secs
lola: sara is running 1605 secs || sara is running 1605 secs || 50016107 markings, 175504194 edges, 29231 markings/sec, 1605 secs
lola: sara is running 1610 secs || sara is running 1610 secs || 50150002 markings, 175976245 edges, 26779 markings/sec, 1610 secs
lola: sara is running 1615 secs || sara is running 1615 secs || 50300099 markings, 176492032 edges, 30019 markings/sec, 1615 secs
lola: sara is running 1620 secs || sara is running 1620 secs || 50440175 markings, 177041707 edges, 28015 markings/sec, 1620 secs
lola: sara is running 1625 secs || sara is running 1625 secs || 50579941 markings, 177580235 edges, 27953 markings/sec, 1625 secs
lola: sara is running 1630 secs || sara is running 1630 secs || 50720705 markings, 178123624 edges, 28153 markings/sec, 1630 secs
lola: sara is running 1635 secs || sara is running 1635 secs || 50863901 markings, 178589823 edges, 28639 markings/sec, 1635 secs
lola: sara is running 1640 secs || sara is running 1640 secs || 51010320 markings, 179140698 edges, 29284 markings/sec, 1640 secs
lola: sara is running 1645 secs || sara is running 1645 secs || 51150199 markings, 179688796 edges, 27976 markings/sec, 1645 secs
lola: sara is running 1650 secs || sara is running 1650 secs || 51358524 markings, 180493796 edges, 41665 markings/sec, 1650 secs
lola: sara is running 1655 secs || sara is running 1655 secs || 51604467 markings, 181338787 edges, 49189 markings/sec, 1655 secs
lola: sara is running 1660 secs || sara is running 1660 secs || 51747244 markings, 181898783 edges, 28555 markings/sec, 1660 secs
lola: sara is running 1665 secs || sara is running 1665 secs || 51891161 markings, 182451996 edges, 28783 markings/sec, 1665 secs
lola: sara is running 1670 secs || sara is running 1670 secs || 52026324 markings, 182973497 edges, 27033 markings/sec, 1670 secs
lola: sara is running 1675 secs || sara is running 1675 secs || 52177131 markings, 183455436 edges, 30161 markings/sec, 1675 secs
lola: sara is running 1680 secs || sara is running 1680 secs || 52318256 markings, 184008587 edges, 28225 markings/sec, 1680 secs
lola: sara is running 1685 secs || sara is running 1685 secs || 52457171 markings, 184553561 edges, 27783 markings/sec, 1685 secs
lola: sara is running 1690 secs || sara is running 1690 secs || 52626583 markings, 185200783 edges, 33882 markings/sec, 1690 secs
lola: sara is running 1695 secs || sara is running 1695 secs || 52922006 markings, 186250815 edges, 59085 markings/sec, 1695 secs
lola: sara is running 1700 secs || sara is running 1700 secs || 53211720 markings, 187372841 edges, 57943 markings/sec, 1700 secs
lola: sara is running 1705 secs || sara is running 1705 secs || 53503026 markings, 188407225 edges, 58261 markings/sec, 1705 secs
lola: sara is running 1710 secs || sara is running 1710 secs || 53787305 markings, 189510077 edges, 56856 markings/sec, 1710 secs
lola: sara is running 1715 secs || sara is running 1715 secs || 54079433 markings, 190549070 edges, 58426 markings/sec, 1715 secs
lola: sara is running 1720 secs || sara is running 1720 secs || 54292745 markings, 191377072 edges, 42662 markings/sec, 1720 secs
lola: sara is running 1725 secs || sara is running 1725 secs || 54426075 markings, 191869115 edges, 26666 markings/sec, 1725 secs
lola: sara is running 1730 secs || sara is running 1730 secs || 54580854 markings, 192401005 edges, 30956 markings/sec, 1730 secs
lola: sara is running 1735 secs || sara is running 1735 secs || 54718950 markings, 192940846 edges, 27619 markings/sec, 1735 secs
lola: sara is running 1740 secs || sara is running 1740 secs || 54859804 markings, 193486332 edges, 28171 markings/sec, 1740 secs
lola: sara is running 1745 secs || sara is running 1745 secs || 54995148 markings, 193963958 edges, 27069 markings/sec, 1745 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes no unknown yes unknown yes no yes yes yes
lola: memory consumption: 3116296 KB
lola: time consumption: 1818 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 1752 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (E (G ((3 <= p175))))) OR E (F (E (G ((3 <= p172))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 1752 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((3 <= p172)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:598
lola: rewrite Frontend/Parser/formula_rewrite.k:633
lola: rewrite Frontend/Parser/formula_rewrite.k:730
lola: processed formula: (3 <= p172)
lola: processed formula length: 11
lola: 17 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (3 <= p172)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation 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: (p172 <= 2)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-10-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-10-1.sara.
lola: state equation: write sara problem file to CTLCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-10-0.sara.
lola: sara is running 0 secs || sara is running 0 secs || 35382 markings, 100469 edges, 7076 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 110526 markings, 321157 edges, 15029 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 158408 markings, 462580 edges, 9576 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 203283 markings, 605134 edges, 8975 markings/sec, 15 secs
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic

lola: sara is running 20 secs || sara is running 20 secs || 240899 markings, 752293 edges, 7523 markings/sec, 20 secs
sara: warning, failure of lp_solve (at job 10)
lola: state equation 0: solution produced
lola: sara is running 25 secs || sara is running 25 secs || 281218 markings, 911153 edges, 8064 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 324819 markings, 1083089 edges, 8720 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 379160 markings, 1298213 edges, 10868 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 465722 markings, 1635614 edges, 17312 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 552315 markings, 1977540 edges, 17319 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 638781 markings, 2314785 edges, 17293 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 724969 markings, 2654841 edges, 17238 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 808894 markings, 2982776 edges, 16785 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 852951 markings, 3156006 edges, 8811 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 896992 markings, 3330000 edges, 8808 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 940684 markings, 3502822 edges, 8738 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 984374 markings, 3671886 edges, 8738 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 1045987 markings, 3914253 edges, 12323 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 1090146 markings, 4088719 edges, 8832 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 1133970 markings, 4262073 edges, 8765 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 1177806 markings, 4431398 edges, 8767 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 1245103 markings, 4696136 edges, 13459 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 1333583 markings, 5045440 edges, 17696 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 1421662 markings, 5389399 edges, 17616 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 1469362 markings, 5577699 edges, 9540 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 1551714 markings, 5899720 edges, 16470 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 1637122 markings, 6236107 edges, 17082 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 1722227 markings, 6570257 edges, 17021 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 1782943 markings, 6807868 edges, 12143 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 1826177 markings, 6978377 edges, 8647 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 1905852 markings, 7292306 edges, 15935 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 1994549 markings, 7639174 edges, 17739 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 2082406 markings, 7986114 edges, 17571 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 2167208 markings, 8316752 edges, 16960 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 2252463 markings, 8653422 edges, 17051 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 2338561 markings, 8989396 edges, 17220 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 2424467 markings, 9328466 edges, 17181 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 2510033 markings, 9662779 edges, 17113 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 2596151 markings, 10001874 edges, 17224 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 2683578 markings, 10344681 edges, 17485 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 2771194 markings, 10689089 edges, 17523 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 2844916 markings, 10980440 edges, 14744 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 2888266 markings, 11148137 edges, 8670 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 2973895 markings, 11485339 edges, 17126 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 3028357 markings, 11700611 edges, 10892 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 3071342 markings, 11867357 edges, 8597 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 3114736 markings, 12037508 edges, 8679 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 3157880 markings, 12207656 edges, 8629 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 3200474 markings, 12375756 edges, 8519 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 3243667 markings, 12544819 edges, 8639 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 3286909 markings, 12713428 edges, 8648 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 3330739 markings, 12886086 edges, 8766 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 3409126 markings, 13195823 edges, 15677 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 3494777 markings, 13529800 edges, 17130 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 3581073 markings, 13870424 edges, 17259 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 3666209 markings, 14203081 edges, 17027 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 3752054 markings, 14541265 edges, 17169 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 3808829 markings, 14765669 edges, 11355 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 3852008 markings, 14932621 edges, 8636 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 3895224 markings, 15102518 edges, 8643 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 3939091 markings, 15275840 edges, 8773 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 3982879 markings, 15449075 edges, 8758 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 4026173 markings, 15616749 edges, 8659 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 4069901 markings, 15788193 edges, 8746 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 4113832 markings, 15961471 edges, 8786 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 4178533 markings, 16217399 edges, 12940 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 4265634 markings, 16556900 edges, 17420 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 4354310 markings, 16907241 edges, 17735 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 4440826 markings, 17244969 edges, 17303 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 4525580 markings, 17579387 edges, 16951 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 4608598 markings, 17903522 edges, 16604 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 4684599 markings, 18202736 edges, 15200 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 4728111 markings, 18374910 edges, 8702 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 4804499 markings, 18672936 edges, 15278 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 4888210 markings, 19002623 edges, 16742 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 4971250 markings, 19327928 edges, 16608 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 5054175 markings, 19653812 edges, 16585 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 5113921 markings, 19889936 edges, 11949 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 5196947 markings, 20214002 edges, 16605 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 5282204 markings, 20550095 edges, 17051 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 5367362 markings, 20883140 edges, 17032 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 5453761 markings, 21223363 edges, 17280 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 5514548 markings, 21463982 edges, 12157 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 5555896 markings, 21623643 edges, 8270 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 5621807 markings, 21882881 edges, 13182 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 5707983 markings, 22223397 edges, 17235 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 5790575 markings, 22545235 edges, 16518 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 5876377 markings, 22884042 edges, 17160 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 5944284 markings, 23118403 edges, 13581 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 6047687 markings, 23482652 edges, 20681 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 6145151 markings, 23837694 edges, 19493 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 6249952 markings, 24201477 edges, 20960 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 6356397 markings, 24574075 edges, 21289 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 6431169 markings, 24846352 edges, 14954 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 6480919 markings, 25030419 edges, 9950 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 6537639 markings, 25218348 edges, 11344 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 6637061 markings, 25564572 edges, 19884 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 6726412 markings, 25887783 edges, 17870 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 6832044 markings, 26252980 edges, 21126 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 6940014 markings, 26628245 edges, 21594 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 7040564 markings, 26992715 edges, 20110 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 7152202 markings, 27370473 edges, 22328 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 7222448 markings, 27618694 edges, 14049 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 7323719 markings, 27985122 edges, 20254 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 7438523 markings, 28369641 edges, 22961 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 7543334 markings, 28741084 edges, 20962 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 7650611 markings, 29114534 edges, 21455 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 7722198 markings, 29355243 edges, 14317 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 7823831 markings, 29717372 edges, 20327 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 7935070 markings, 30096004 edges, 22248 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 8041532 markings, 30465009 edges, 21292 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 8143355 markings, 30831587 edges, 20365 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 8248639 markings, 31175884 edges, 21057 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 8352629 markings, 31543573 edges, 20798 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 8427587 markings, 31796027 edges, 14992 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 8484091 markings, 31985067 edges, 11301 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 8536968 markings, 32168885 edges, 10575 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 8588836 markings, 32352486 edges, 10374 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 8639494 markings, 32535527 edges, 10132 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 8701871 markings, 32731436 edges, 12475 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 8755792 markings, 32916660 edges, 10784 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 8808524 markings, 33101755 edges, 10546 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 8859789 markings, 33284591 edges, 10253 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 8919102 markings, 33475477 edges, 11863 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 8974789 markings, 33662525 edges, 11137 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 9028420 markings, 33847501 edges, 10726 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 9079635 markings, 34029060 edges, 10243 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 9136740 markings, 34218046 edges, 11421 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 9195109 markings, 34411046 edges, 11674 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 9275773 markings, 34690465 edges, 16133 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 9392290 markings, 35079242 edges, 23303 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 9504052 markings, 35462445 edges, 22352 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 9622332 markings, 35854177 edges, 23656 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 9733720 markings, 36237512 edges, 22278 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 9853662 markings, 36630360 edges, 23988 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 9963501 markings, 37012448 edges, 21968 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 10086364 markings, 37409832 edges, 24573 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 10203041 markings, 37800147 edges, 23335 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 10319088 markings, 38188018 edges, 23209 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 10439293 markings, 38581581 edges, 24041 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 10551578 markings, 38966770 edges, 22457 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 10677102 markings, 39370155 edges, 25105 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 10799139 markings, 39768121 edges, 24407 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 10917258 markings, 40160548 edges, 23624 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 11040095 markings, 40563150 edges, 24567 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 11166136 markings, 40968476 edges, 25208 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 11289898 markings, 41368983 edges, 24752 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 11412183 markings, 41767015 edges, 24457 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 11533820 markings, 42168372 edges, 24327 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 11661597 markings, 42574730 edges, 25555 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 11790004 markings, 42983546 edges, 25681 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 11916656 markings, 43386900 edges, 25330 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 12043651 markings, 43789727 edges, 25399 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 12173123 markings, 44198880 edges, 25894 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 12306161 markings, 44609932 edges, 26608 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 12439561 markings, 45025193 edges, 26680 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 12571620 markings, 45438316 edges, 26412 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 12708869 markings, 45854660 edges, 27450 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 12846897 markings, 46272813 edges, 27606 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 12988672 markings, 46692034 edges, 28355 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 13136592 markings, 47116993 edges, 29584 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 13233256 markings, 47383320 edges, 19333 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 13263247 markings, 47454628 edges, 5998 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 13288193 markings, 47515044 edges, 4989 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 13310686 markings, 47569785 edges, 4499 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 13332468 markings, 47622929 edges, 4356 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 13353004 markings, 47673037 edges, 4107 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 13363179 markings, 47750345 edges, 2035 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 13368870 markings, 47885720 edges, 1138 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 13439437 markings, 48115211 edges, 14113 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 13468954 markings, 48185268 edges, 5903 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 13493411 markings, 48244270 edges, 4891 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 13515982 markings, 48299366 edges, 4514 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 13537803 markings, 48352489 edges, 4364 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 13558514 markings, 48403050 edges, 4142 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 13568303 markings, 48484521 edges, 1958 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 13574013 markings, 48613603 edges, 1142 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 13645855 markings, 48844027 edges, 14368 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 13674957 markings, 48913368 edges, 5820 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 13699800 markings, 48973537 edges, 4969 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 13722351 markings, 49028584 edges, 4510 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 13744038 markings, 49081372 edges, 4337 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 13763743 markings, 49131167 edges, 3941 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 13770826 markings, 49228524 edges, 1417 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 13781451 markings, 49371059 edges, 2125 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 13854308 markings, 49574794 edges, 14571 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 13881620 markings, 49640448 edges, 5462 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 13905505 markings, 49698208 edges, 4777 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 13927812 markings, 49752626 edges, 4461 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 13948296 markings, 49802684 edges, 4097 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 13964062 markings, 49862395 edges, 3153 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 13970268 markings, 49977671 edges, 1241 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 14016048 markings, 50180789 edges, 9156 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 14062174 markings, 50301372 edges, 9225 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 14087758 markings, 50363129 edges, 5117 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 14110782 markings, 50419180 edges, 4605 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 14132431 markings, 50471930 edges, 4330 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 14152908 markings, 50521954 edges, 4095 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 14161305 markings, 50606976 edges, 1679 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 14166773 markings, 50747388 edges, 1094 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 14241873 markings, 50957590 edges, 15020 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 14269289 markings, 51023449 edges, 5483 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 14292699 markings, 51080154 edges, 4682 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 14314593 markings, 51133579 edges, 4379 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 14335775 markings, 51185124 edges, 4236 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 14349364 markings, 51249776 edges, 2718 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 14355279 markings, 51376759 edges, 1183 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 14420236 markings, 51608863 edges, 12991 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 14450129 markings, 51679092 edges, 5979 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 14474772 markings, 51738856 edges, 4929 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 14497151 markings, 51793291 edges, 4476 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 14518369 markings, 51844966 edges, 4244 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 14534479 markings, 51901501 edges, 3222 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 14540717 markings, 52016515 edges, 1248 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 14590204 markings, 52227500 edges, 9897 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 14631140 markings, 52332327 edges, 8187 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 14655924 markings, 52392362 edges, 4957 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 14678622 markings, 52447385 edges, 4540 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 14699100 markings, 52497246 edges, 4096 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 14716155 markings, 52547916 edges, 3411 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 14722700 markings, 52660131 edges, 1309 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 14761275 markings, 52848371 edges, 7715 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 14809870 markings, 52977061 edges, 9719 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 14835114 markings, 53038090 edges, 5049 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 14857436 markings, 53092360 edges, 4464 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 14878497 markings, 53143593 edges, 4212 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 14895652 markings, 53197553 edges, 3431 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 14902125 markings, 53310912 edges, 1295 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 14947823 markings, 53513161 edges, 9140 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 14990254 markings, 53622916 edges, 8486 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 15015032 markings, 53682781 edges, 4956 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 15037160 markings, 53736661 edges, 4426 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 15057993 markings, 53787434 edges, 4167 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 15072552 markings, 53847083 edges, 2912 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 15078578 markings, 53970287 edges, 1205 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 15141486 markings, 54196432 edges, 12582 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 15170499 markings, 54265412 edges, 5803 markings/sec, 1180 secs
lola: sara is running 1185 secs || sara is running 1185 secs || 15194516 markings, 54323529 edges, 4803 markings/sec, 1185 secs
lola: sara is running 1190 secs || sara is running 1190 secs || 15216354 markings, 54376661 edges, 4368 markings/sec, 1190 secs
lola: sara is running 1195 secs || sara is running 1195 secs || 15236983 markings, 54426902 edges, 4126 markings/sec, 1195 secs
lola: sara is running 1200 secs || sara is running 1200 secs || 15246787 markings, 54510352 edges, 1961 markings/sec, 1200 secs
lola: sara is running 1205 secs || sara is running 1205 secs || 15255765 markings, 54650354 edges, 1796 markings/sec, 1205 secs
lola: sara is running 1210 secs || sara is running 1210 secs || 15324798 markings, 54842501 edges, 13807 markings/sec, 1210 secs
lola: sara is running 1215 secs || sara is running 1215 secs || 15350543 markings, 54904473 edges, 5149 markings/sec, 1215 secs
lola: sara is running 1220 secs || sara is running 1220 secs || 15373426 markings, 54959971 edges, 4577 markings/sec, 1220 secs
lola: sara is running 1225 secs || sara is running 1225 secs || 15394434 markings, 55011241 edges, 4202 markings/sec, 1225 secs
lola: sara is running 1230 secs || sara is running 1230 secs || 15411252 markings, 55063757 edges, 3364 markings/sec, 1230 secs
lola: sara is running 1235 secs || sara is running 1235 secs || 15417770 markings, 55185508 edges, 1304 markings/sec, 1235 secs
lola: sara is running 1240 secs || sara is running 1240 secs || 15473510 markings, 55402264 edges, 11148 markings/sec, 1240 secs
lola: sara is running 1245 secs || sara is running 1245 secs || 15505891 markings, 55480926 edges, 6476 markings/sec, 1245 secs
lola: sara is running 1250 secs || sara is running 1250 secs || 15529711 markings, 55538622 edges, 4764 markings/sec, 1250 secs
lola: sara is running 1255 secs || sara is running 1255 secs || 15551299 markings, 55591176 edges, 4318 markings/sec, 1255 secs
lola: sara is running 1260 secs || sara is running 1260 secs || 15571843 markings, 55641246 edges, 4109 markings/sec, 1260 secs
lola: sara is running 1265 secs || sara is running 1265 secs || 15580179 markings, 55734149 edges, 1667 markings/sec, 1265 secs
lola: sara is running 1270 secs || sara is running 1270 secs || 15604484 markings, 55900289 edges, 4861 markings/sec, 1270 secs
lola: sara is running 1275 secs || sara is running 1275 secs || 15660557 markings, 56052863 edges, 11215 markings/sec, 1275 secs
lola: sara is running 1280 secs || sara is running 1280 secs || 15685464 markings, 56113040 edges, 4981 markings/sec, 1280 secs
lola: sara is running 1285 secs || sara is running 1285 secs || 15707493 markings, 56166531 edges, 4406 markings/sec, 1285 secs
lola: sara is running 1290 secs || sara is running 1290 secs || 15728096 markings, 56216788 edges, 4121 markings/sec, 1290 secs
lola: sara is running 1295 secs || sara is running 1295 secs || 15739661 markings, 56292110 edges, 2313 markings/sec, 1295 secs
lola: sara is running 1300 secs || sara is running 1300 secs || 15745133 markings, 56427468 edges, 1094 markings/sec, 1300 secs
lola: sara is running 1305 secs || sara is running 1305 secs || 15814684 markings, 56620724 edges, 13910 markings/sec, 1305 secs
lola: sara is running 1310 secs || sara is running 1310 secs || 15839968 markings, 56681506 edges, 5057 markings/sec, 1310 secs
lola: sara is running 1315 secs || sara is running 1315 secs || 15862570 markings, 56736449 edges, 4520 markings/sec, 1315 secs
lola: sara is running 1320 secs || sara is running 1320 secs || 15883272 markings, 56786740 edges, 4140 markings/sec, 1320 secs
lola: sara is running 1325 secs || sara is running 1325 secs || 15896145 markings, 56855744 edges, 2575 markings/sec, 1325 secs
lola: sara is running 1330 secs || sara is running 1330 secs || 15901998 markings, 56988652 edges, 1171 markings/sec, 1330 secs
lola: sara is running 1335 secs || sara is running 1335 secs || 15969065 markings, 57186089 edges, 13413 markings/sec, 1335 secs
lola: sara is running 1340 secs || sara is running 1340 secs || 15994584 markings, 57247535 edges, 5104 markings/sec, 1340 secs
lola: sara is running 1345 secs || sara is running 1345 secs || 16016967 markings, 57301796 edges, 4477 markings/sec, 1345 secs
lola: sara is running 1350 secs || sara is running 1350 secs || 16037751 markings, 57352318 edges, 4157 markings/sec, 1350 secs
lola: sara is running 1355 secs || sara is running 1355 secs || 16049942 markings, 57424725 edges, 2438 markings/sec, 1355 secs
lola: sara is running 1360 secs || sara is running 1360 secs || 16055528 markings, 57559853 edges, 1117 markings/sec, 1360 secs
lola: sara is running 1365 secs || sara is running 1365 secs || 16123709 markings, 57749054 edges, 13636 markings/sec, 1365 secs
lola: sara is running 1370 secs || sara is running 1370 secs || 16148669 markings, 57809046 edges, 4992 markings/sec, 1370 secs
lola: sara is running 1375 secs || sara is running 1375 secs || 16170809 markings, 57862898 edges, 4428 markings/sec, 1375 secs
lola: sara is running 1380 secs || sara is running 1380 secs || 16191257 markings, 57912578 edges, 4090 markings/sec, 1380 secs
lola: sara is running 1385 secs || sara is running 1385 secs || 16200961 markings, 57997564 edges, 1941 markings/sec, 1385 secs
lola: sara is running 1390 secs || sara is running 1390 secs || 16224960 markings, 58164303 edges, 4800 markings/sec, 1390 secs
lola: sara is running 1395 secs || sara is running 1395 secs || 16278423 markings, 58309099 edges, 10693 markings/sec, 1395 secs
lola: sara is running 1400 secs || sara is running 1400 secs || 16302446 markings, 58367154 edges, 4805 markings/sec, 1400 secs
lola: sara is running 1405 secs || sara is running 1405 secs || 16323950 markings, 58419390 edges, 4301 markings/sec, 1405 secs
lola: sara is running 1410 secs || sara is running 1410 secs || 16342394 markings, 58469466 edges, 3689 markings/sec, 1410 secs
lola: sara is running 1415 secs || sara is running 1415 secs || 16349056 markings, 58580258 edges, 1332 markings/sec, 1415 secs
lola: sara is running 1420 secs || sara is running 1420 secs || 16404504 markings, 58798791 edges, 11090 markings/sec, 1420 secs
lola: sara is running 1425 secs || sara is running 1425 secs || 16432446 markings, 58864724 edges, 5588 markings/sec, 1425 secs
lola: sara is running 1430 secs || sara is running 1430 secs || 16455093 markings, 58919595 edges, 4529 markings/sec, 1430 secs
lola: sara is running 1435 secs || sara is running 1435 secs || 16475710 markings, 58969556 edges, 4123 markings/sec, 1435 secs
lola: sara is running 1440 secs || sara is running 1440 secs || 16488414 markings, 59041359 edges, 2541 markings/sec, 1440 secs
lola: sara is running 1445 secs || sara is running 1445 secs || 16498700 markings, 59183871 edges, 2057 markings/sec, 1445 secs
lola: sara is running 1450 secs || sara is running 1450 secs || 16561406 markings, 59357015 edges, 12541 markings/sec, 1450 secs
lola: sara is running 1455 secs || sara is running 1455 secs || 16585535 markings, 59415129 edges, 4826 markings/sec, 1455 secs
lola: sara is running 1460 secs || sara is running 1460 secs || 16606957 markings, 59467212 edges, 4284 markings/sec, 1460 secs
lola: sara is running 1465 secs || sara is running 1465 secs || 16624465 markings, 59520001 edges, 3502 markings/sec, 1465 secs
lola: sara is running 1470 secs || sara is running 1470 secs || 16630842 markings, 59639439 edges, 1275 markings/sec, 1470 secs
lola: sara is running 1475 secs || sara is running 1475 secs || 16689064 markings, 59843395 edges, 11644 markings/sec, 1475 secs
lola: sara is running 1480 secs || sara is running 1480 secs || 16714935 markings, 59905362 edges, 5174 markings/sec, 1480 secs
lola: sara is running 1485 secs || sara is running 1485 secs || 16736708 markings, 59958226 edges, 4355 markings/sec, 1485 secs
lola: sara is running 1490 secs || sara is running 1490 secs || 16756886 markings, 60007327 edges, 4036 markings/sec, 1490 secs
lola: sara is running 1495 secs || sara is running 1495 secs || 16764754 markings, 60106043 edges, 1574 markings/sec, 1495 secs
lola: sara is running 1500 secs || sara is running 1500 secs || 16812124 markings, 60313357 edges, 9474 markings/sec, 1500 secs
lola: sara is running 1505 secs || sara is running 1505 secs || 16843655 markings, 60391038 edges, 6306 markings/sec, 1505 secs
lola: sara is running 1510 secs || sara is running 1510 secs || 16865859 markings, 60444874 edges, 4441 markings/sec, 1510 secs
lola: sara is running 1515 secs || sara is running 1515 secs || 16886252 markings, 60494332 edges, 4079 markings/sec, 1515 secs
lola: sara is running 1520 secs || sara is running 1520 secs || 16895469 markings, 60580670 edges, 1843 markings/sec, 1520 secs
lola: sara is running 1525 secs || sara is running 1525 secs || 16930132 markings, 60763900 edges, 6933 markings/sec, 1525 secs
lola: sara is running 1530 secs || sara is running 1530 secs || 16970313 markings, 60868894 edges, 8036 markings/sec, 1530 secs
lola: sara is running 1535 secs || sara is running 1535 secs || 16992554 markings, 60922539 edges, 4448 markings/sec, 1535 secs
lola: sara is running 1540 secs || sara is running 1540 secs || 17012878 markings, 60972077 edges, 4065 markings/sec, 1540 secs
lola: sara is running 1545 secs || sara is running 1545 secs || 17022955 markings, 61058576 edges, 2015 markings/sec, 1545 secs
lola: sara is running 1550 secs || sara is running 1550 secs || 17058031 markings, 61242108 edges, 7015 markings/sec, 1550 secs
lola: sara is running 1555 secs || sara is running 1555 secs || 17097705 markings, 61345471 edges, 7935 markings/sec, 1555 secs
lola: sara is running 1560 secs || sara is running 1560 secs || 17119678 markings, 61398566 edges, 4395 markings/sec, 1560 secs
lola: sara is running 1565 secs || sara is running 1565 secs || 17139923 markings, 61447786 edges, 4049 markings/sec, 1565 secs
lola: sara is running 1570 secs || sara is running 1570 secs || 17148058 markings, 61544959 edges, 1627 markings/sec, 1570 secs
lola: sara is running 1575 secs || sara is running 1575 secs || 17198190 markings, 61755371 edges, 10026 markings/sec, 1575 secs
lola: sara is running 1580 secs || sara is running 1580 secs || 17224677 markings, 61818050 edges, 5297 markings/sec, 1580 secs
lola: sara is running 1585 secs || sara is running 1585 secs || 17246035 markings, 61869807 edges, 4272 markings/sec, 1585 secs
lola: sara is running 1590 secs || sara is running 1590 secs || 17263722 markings, 61921514 edges, 3537 markings/sec, 1590 secs
lola: sara is running 1595 secs || sara is running 1595 secs || 17270012 markings, 62041613 edges, 1258 markings/sec, 1595 secs
lola: sara is running 1600 secs || sara is running 1600 secs || 17327322 markings, 62229296 edges, 11462 markings/sec, 1600 secs
lola: sara is running 1605 secs || sara is running 1605 secs || 17350876 markings, 62285877 edges, 4711 markings/sec, 1605 secs
lola: sara is running 1610 secs || sara is running 1610 secs || 17371310 markings, 62335428 edges, 4087 markings/sec, 1610 secs
lola: sara is running 1615 secs || sara is running 1615 secs || 17383594 markings, 62409272 edges, 2457 markings/sec, 1615 secs
lola: sara is running 1620 secs || sara is running 1620 secs || 17409660 markings, 62577011 edges, 5213 markings/sec, 1620 secs
lola: sara is running 1625 secs || sara is running 1625 secs || 17453779 markings, 62694480 edges, 8824 markings/sec, 1625 secs
lola: sara is running 1630 secs || sara is running 1630 secs || 17475201 markings, 62746165 edges, 4284 markings/sec, 1630 secs
lola: sara is running 1635 secs || sara is running 1635 secs || 17493355 markings, 62794957 edges, 3631 markings/sec, 1635 secs
lola: sara is running 1640 secs || sara is running 1640 secs || 17499737 markings, 62915373 edges, 1276 markings/sec, 1640 secs
lola: sara is running 1645 secs || sara is running 1645 secs || 17555135 markings, 63096662 edges, 11080 markings/sec, 1645 secs
lola: sara is running 1650 secs || sara is running 1650 secs || 17577975 markings, 63151593 edges, 4568 markings/sec, 1650 secs
lola: sara is running 1655 secs || sara is running 1655 secs || 17597937 markings, 63199995 edges, 3992 markings/sec, 1655 secs
lola: sara is running 1660 secs || sara is running 1660 secs || 17607497 markings, 63290717 edges, 1912 markings/sec, 1660 secs
lola: sara is running 1665 secs || sara is running 1665 secs || 17655114 markings, 63493151 edges, 9523 markings/sec, 1665 secs
lola: sara is running 1670 secs || sara is running 1670 secs || 17679693 markings, 63551341 edges, 4916 markings/sec, 1670 secs
lola: sara is running 1675 secs || sara is running 1675 secs || 17700157 markings, 63600899 edges, 4093 markings/sec, 1675 secs
lola: sara is running 1680 secs || sara is running 1680 secs || 17712147 markings, 63674382 edges, 2398 markings/sec, 1680 secs
lola: sara is running 1685 secs || sara is running 1685 secs || 17744974 markings, 63854117 edges, 6565 markings/sec, 1685 secs
lola: sara is running 1690 secs || sara is running 1690 secs || 17780627 markings, 63946464 edges, 7131 markings/sec, 1690 secs
lola: sara is running 1695 secs || sara is running 1695 secs || 17801013 markings, 63995749 edges, 4077 markings/sec, 1695 secs
lola: sara is running 1700 secs || sara is running 1700 secs || 17813954 markings, 64065479 edges, 2588 markings/sec, 1700 secs
lola: sara is running 1705 secs || sara is running 1705 secs || 17843136 markings, 64237851 edges, 5836 markings/sec, 1705 secs
lola: sara is running 1710 secs || sara is running 1710 secs || 17880706 markings, 64336505 edges, 7514 markings/sec, 1710 secs
lola: sara is running 1715 secs || sara is running 1715 secs || 17901018 markings, 64385459 edges, 4062 markings/sec, 1715 secs
lola: sara is running 1720 secs || sara is running 1720 secs || 17912940 markings, 64462405 edges, 2384 markings/sec, 1720 secs
lola: sara is running 1725 secs || sara is running 1725 secs || 17950887 markings, 64648584 edges, 7589 markings/sec, 1725 secs
lola: sara is running 1730 secs || sara is running 1730 secs || 17980044 markings, 64721631 edges, 5831 markings/sec, 1730 secs
lola: sara is running 1735 secs || sara is running 1735 secs || 17999834 markings, 64769568 edges, 3958 markings/sec, 1735 secs
lola: sara is running 1740 secs || sara is running 1740 secs || 18009031 markings, 64862724 edges, 1839 markings/sec, 1740 secs
lola: sara is running 1745 secs || sara is running 1745 secs || 18056837 markings, 65050045 edges, 9561 markings/sec, 1745 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes no unknown yes unknown yes no yes yes yes
lola: local time limit reached - aborting
lola:
preliminary result: no yes no unknown yes unknown yes no yes yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes no unknown yes unknown yes no yes yes yes
lola: memory consumption: 1709144 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 1709144 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: time limit reached - aborting
lola:
preliminary result: no yes no unknown yes unknown yes no yes yes yes
lola:
preliminary result: no yes no unknown yes unknown yes no yes yes yes
lola: memory consumption: 483508 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
rslt: finished
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 15616456 kB
After kill :
MemTotal: 16427332 kB
MemFree: 15616456 kB

--------------------
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="BridgeAndVehicles-PT-V80P50N50"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
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-4028"
echo " Executing tool itslola"
echo " Input is BridgeAndVehicles-PT-V80P50N50, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r182-oct2-158987913900443"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V80P50N50.tgz
mv BridgeAndVehicles-PT-V80P50N50 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;