fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r228-oct2-159033547200131
Last Updated
Jun 28, 2020

About the Execution of ITS-LoLa for SmartHome-PT-17

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15735.740 3600000.00 3616508.00 261.40 FTTFTFTFFTFT?TFF normal

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.r228-oct2-159033547200131.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 SmartHome-PT-17, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r228-oct2-159033547200131
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 3.6K May 14 03:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 03:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 21:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 21:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 10:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 139K May 12 20:42 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 SmartHome-PT-17-CTLCardinality-00
FORMULA_NAME SmartHome-PT-17-CTLCardinality-01
FORMULA_NAME SmartHome-PT-17-CTLCardinality-02
FORMULA_NAME SmartHome-PT-17-CTLCardinality-03
FORMULA_NAME SmartHome-PT-17-CTLCardinality-04
FORMULA_NAME SmartHome-PT-17-CTLCardinality-05
FORMULA_NAME SmartHome-PT-17-CTLCardinality-06
FORMULA_NAME SmartHome-PT-17-CTLCardinality-07
FORMULA_NAME SmartHome-PT-17-CTLCardinality-08
FORMULA_NAME SmartHome-PT-17-CTLCardinality-09
FORMULA_NAME SmartHome-PT-17-CTLCardinality-10
FORMULA_NAME SmartHome-PT-17-CTLCardinality-11
FORMULA_NAME SmartHome-PT-17-CTLCardinality-12
FORMULA_NAME SmartHome-PT-17-CTLCardinality-13
FORMULA_NAME SmartHome-PT-17-CTLCardinality-14
FORMULA_NAME SmartHome-PT-17-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591291975111

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 17:32:57] [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-04 17:32:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 17:32:57] [INFO ] Load time of PNML (sax parser for PT used): 97 ms
[2020-06-04 17:32:57] [INFO ] Transformed 571 places.
[2020-06-04 17:32:57] [INFO ] Transformed 617 transitions.
[2020-06-04 17:32:57] [INFO ] Found NUPN structural information;
[2020-06-04 17:32:57] [INFO ] Parsed PT model containing 571 places and 617 transitions in 149 ms.
Deduced a syphon composed of 176 places in 13 ms
Reduce places removed 176 places and 150 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 51 ms.
Incomplete random walk after 100000 steps, including 325 resets, run finished after 201 ms. (steps per millisecond=497 ) properties seen :[0, 1, 0, 1, 1, 0, 1, 1, 0]
// Phase 1: matrix 467 rows 395 cols
[2020-06-04 17:32:57] [INFO ] Computed 18 place invariants in 16 ms
[2020-06-04 17:32:57] [INFO ] [Real]Absence check using 18 positive place invariants in 31 ms returned sat
[2020-06-04 17:32:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 17:32:58] [INFO ] [Real]Absence check using state equation in 414 ms returned sat
[2020-06-04 17:32:58] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 17:32:58] [INFO ] [Nat]Absence check using 18 positive place invariants in 335 ms returned sat
[2020-06-04 17:32:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 17:32:58] [INFO ] [Nat]Absence check using state equation in 331 ms returned sat
[2020-06-04 17:32:59] [INFO ] Deduced a trap composed of 45 places in 266 ms
[2020-06-04 17:32:59] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 310 ms
[2020-06-04 17:32:59] [INFO ] Computed and/alt/rep : 466/1393/466 causal constraints in 50 ms.
[2020-06-04 17:33:01] [INFO ] Added : 451 causal constraints over 91 iterations in 2718 ms. Result :sat
[2020-06-04 17:33:01] [INFO ] [Real]Absence check using 18 positive place invariants in 14 ms returned sat
[2020-06-04 17:33:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 17:33:02] [INFO ] [Real]Absence check using state equation in 291 ms returned sat
[2020-06-04 17:33:02] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 17:33:02] [INFO ] [Nat]Absence check using 18 positive place invariants in 19 ms returned unsat
[2020-06-04 17:33:02] [INFO ] [Real]Absence check using 18 positive place invariants in 14 ms returned sat
[2020-06-04 17:33:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 17:33:02] [INFO ] [Real]Absence check using state equation in 281 ms returned sat
[2020-06-04 17:33:02] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 17:33:02] [INFO ] [Nat]Absence check using 18 positive place invariants in 18 ms returned unsat
[2020-06-04 17:33:02] [INFO ] [Real]Absence check using 18 positive place invariants in 14 ms returned sat
[2020-06-04 17:33:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 17:33:03] [INFO ] [Real]Absence check using state equation in 337 ms returned sat
[2020-06-04 17:33:03] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 17:33:03] [INFO ] [Nat]Absence check using 18 positive place invariants in 31 ms returned unsat
Successfully simplified 3 atomic propositions for a total of 3 simplifications.
[2020-06-04 17:33:03] [INFO ] Initial state reduction rules for CTL removed 12 formulas.
[2020-06-04 17:33:03] [INFO ] Flatten gal took : 62 ms
[2020-06-04 17:33:03] [INFO ] Initial state reduction rules for CTL removed 13 formulas.
[2020-06-04 17:33:03] [INFO ] Flatten gal took : 19 ms
FORMULA SmartHome-PT-17-CTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-17-CTLCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-17-CTLCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-17-CTLCardinality-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-17-CTLCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-17-CTLCardinality-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-17-CTLCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-17-CTLCardinality-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-17-CTLCardinality-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-17-CTLCardinality-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-17-CTLCardinality-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-17-CTLCardinality-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SmartHome-PT-17-CTLCardinality-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 17:33:03] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2020-06-04 17:33:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 5 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ SmartHome-PT-17 @ 3570 seconds

FORMULA SmartHome-PT-17-CTLCardinality-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA SmartHome-PT-17-CTLCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ SmartHome-PT-17

{
"exit":
{
"memory": 8330296,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((p294 <= 0))",
"processed_size": 13,
"rewrites": 9
},
"result":
{
"preliminary_value": "yes yes unknown "
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "tscc preserving/always up"
}
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"store":
{
"type": "dfs/tscc"
},
"type": "liveness",
"workflow": "stateequation"
}
}
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: 862/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 12640
lola: finding significant places
lola: 395 places, 467 transitions, 377 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 true: (p69 <= 1)
lola: LP says that atomic proposition is always true: (p378 <= 1)
lola: LP says that atomic proposition is always true: (p294 <= 1)
lola: (NOT(E (G (((p389 <= 0))))) OR E (F (A (F (((1 <= p69))))))) : E ((((p362 <= 0) AND (((p109 <= 0)) OR ((1 <= p378)))) U A (X ((1 <= 0))))) : A (G (E (F (((p294 <= 0))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:455
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (((p294 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: ((p294 <= 0))
lola: processed formula length: 13
lola: 9 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
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p294))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p294 <= 0))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-0.sara.
lola: state equation: write sara problem file to CTLCardinality-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-1.sara.
sara: place or transition ordering is non-deterministic

sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 557417 markings, 2120467 edges, 111483 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 958702 markings, 4187060 edges, 80257 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 1280031 markings, 6303843 edges, 64266 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 1764681 markings, 8237862 edges, 96930 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 2086084 markings, 10252524 edges, 64281 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 2504411 markings, 12212466 edges, 83665 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 2853955 markings, 14262408 edges, 69909 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 3094835 markings, 16297914 edges, 48176 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 3506595 markings, 18284479 edges, 82352 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 3829869 markings, 20330126 edges, 64655 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 4072487 markings, 22382648 edges, 48524 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 4489645 markings, 24280565 edges, 83432 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 4819007 markings, 26303227 edges, 65872 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 5027525 markings, 28295380 edges, 41704 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 5431919 markings, 30266071 edges, 80879 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 5728279 markings, 32313389 edges, 59272 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 5915724 markings, 34341264 edges, 37489 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 6296589 markings, 36317113 edges, 76173 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 6617588 markings, 38335986 edges, 64200 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 6878890 markings, 40382909 edges, 52260 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 7291667 markings, 42365785 edges, 82555 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 7631287 markings, 44398084 edges, 67924 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 7848145 markings, 46374319 edges, 43372 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 8286545 markings, 48217394 edges, 87680 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 8634508 markings, 50080821 edges, 69593 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 8890608 markings, 51938561 edges, 51220 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 9349565 markings, 53692157 edges, 91791 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 9671702 markings, 55583008 edges, 64427 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 10025165 markings, 57470577 edges, 70693 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 10440385 markings, 59427969 edges, 83044 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 10749342 markings, 61434090 edges, 61791 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 11099284 markings, 63419906 edges, 69988 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 11518040 markings, 65416844 edges, 83751 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 11860866 markings, 67244320 edges, 68565 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 12145205 markings, 69127354 edges, 56868 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 12424943 markings, 70957756 edges, 55948 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 12709074 markings, 72836255 edges, 56826 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 12991383 markings, 74743007 edges, 56462 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 13327710 markings, 76546874 edges, 67265 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 13635966 markings, 78244233 edges, 61651 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 14053496 markings, 80254394 edges, 83506 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 14490594 markings, 82339418 edges, 87420 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 14916442 markings, 84371954 edges, 85170 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 15285516 markings, 86403853 edges, 73815 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 15647836 markings, 88358094 edges, 72464 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 16027364 markings, 90297808 edges, 75906 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 16259811 markings, 92208365 edges, 46489 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 16660237 markings, 94177399 edges, 80085 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 16965313 markings, 96102412 edges, 61015 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 17298296 markings, 97945275 edges, 66597 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 17658226 markings, 99830495 edges, 71986 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 17899405 markings, 101688273 edges, 48236 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 18319042 markings, 103568588 edges, 83927 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 18681391 markings, 105481399 edges, 72470 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 18995329 markings, 107371960 edges, 62788 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 19378666 markings, 109361521 edges, 76667 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 19643254 markings, 111382062 edges, 52918 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 20070363 markings, 113406275 edges, 85422 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 20362742 markings, 115448314 edges, 58476 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 20703730 markings, 117410284 edges, 68198 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 21026305 markings, 119348080 edges, 64515 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 21337111 markings, 121270506 edges, 62161 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 21639177 markings, 123149694 edges, 60413 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 21884245 markings, 125079316 edges, 49014 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 22179908 markings, 126994889 edges, 59133 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 22430217 markings, 128892669 edges, 50062 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 22708041 markings, 130712180 edges, 55565 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 22979977 markings, 132503160 edges, 54387 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 23273122 markings, 134252034 edges, 58629 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 23506083 markings, 136015080 edges, 46592 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 23743949 markings, 137780052 edges, 47573 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 24060657 markings, 139661150 edges, 63342 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 24371547 markings, 141494810 edges, 62178 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 24642773 markings, 143286771 edges, 54245 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 24943799 markings, 145108307 edges, 60205 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 25208618 markings, 147168580 edges, 52964 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 25540764 markings, 149190334 edges, 66429 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 25812204 markings, 151244016 edges, 54288 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 26211391 markings, 153267187 edges, 79837 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 26512997 markings, 155294943 edges, 60321 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 26882126 markings, 157232965 edges, 73826 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 27288188 markings, 159161737 edges, 81212 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 27595584 markings, 161046717 edges, 61479 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 27999897 markings, 163043617 edges, 80863 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 28313148 markings, 165013496 edges, 62650 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 28590835 markings, 166868284 edges, 55537 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 28986810 markings, 168891518 edges, 79195 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 29311757 markings, 170824186 edges, 64989 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 29625718 markings, 172621614 edges, 62792 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 29941710 markings, 174427913 edges, 63198 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 30241497 markings, 176318432 edges, 59957 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 30546496 markings, 178194646 edges, 61000 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 30801036 markings, 179954171 edges, 50908 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 31040410 markings, 181767492 edges, 47875 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 31332919 markings, 183582927 edges, 58502 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 31626076 markings, 185603318 edges, 58631 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 31955838 markings, 187491277 edges, 65952 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 32270915 markings, 189357971 edges, 63015 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 32619556 markings, 191350898 edges, 69728 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 32904633 markings, 193313689 edges, 57015 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 33244316 markings, 195339198 edges, 67937 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 33611859 markings, 197409398 edges, 73509 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 34054923 markings, 199271717 edges, 88613 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 34396265 markings, 200908480 edges, 68268 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 34667405 markings, 202605465 edges, 54228 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 35033136 markings, 204243324 edges, 73146 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 35376632 markings, 205877970 edges, 68699 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 35626397 markings, 207519709 edges, 49953 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 35958116 markings, 209192697 edges, 66344 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 36324708 markings, 210776052 edges, 73318 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 36591904 markings, 212394607 edges, 53439 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 36848240 markings, 213996165 edges, 51267 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 37197912 markings, 215487082 edges, 69934 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 37448753 markings, 217186213 edges, 50168 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 37654995 markings, 218858912 edges, 41248 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 38005897 markings, 220409521 edges, 70180 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 38317315 markings, 221958533 edges, 62284 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 38552453 markings, 223513230 edges, 47028 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 38868786 markings, 225078231 edges, 63267 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 39171388 markings, 226614749 edges, 60520 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 39414630 markings, 228226369 edges, 48648 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 39583187 markings, 229817133 edges, 33711 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 39917703 markings, 231290516 edges, 66903 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 40180777 markings, 232861218 edges, 52615 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 40395944 markings, 234451135 edges, 43033 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 40571496 markings, 236009013 edges, 35110 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 40891049 markings, 237589492 edges, 63911 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 41169912 markings, 239142895 edges, 55773 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 41410112 markings, 240681250 edges, 48040 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 41699718 markings, 242179914 edges, 57921 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 41944083 markings, 243716297 edges, 48873 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 42284952 markings, 245367468 edges, 68174 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 42732488 markings, 247425557 edges, 89507 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 43161804 markings, 249433076 edges, 85863 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 43756369 markings, 251342707 edges, 118913 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 44311309 markings, 253328703 edges, 110988 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 44651782 markings, 255388780 edges, 68095 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 45127473 markings, 257194409 edges, 95138 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 45651402 markings, 258764997 edges, 104786 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 46103354 markings, 260499847 edges, 90390 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 46658831 markings, 261991857 edges, 111095 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 47171472 markings, 263418761 edges, 102528 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 47663679 markings, 264834844 edges, 98441 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 48132536 markings, 266288595 edges, 93771 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 48570612 markings, 267740065 edges, 87615 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 48997791 markings, 269200282 edges, 85436 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 49416565 markings, 270645100 edges, 83755 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 49817079 markings, 272041125 edges, 80103 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 50198458 markings, 273400535 edges, 76276 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 50568987 markings, 274739199 edges, 74106 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 50956961 markings, 276211630 edges, 77595 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 51323911 markings, 277666556 edges, 73390 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 51691206 markings, 279189332 edges, 73459 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 52036689 markings, 280690121 edges, 69097 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 52381759 markings, 282221151 edges, 69014 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 52718422 markings, 283723261 edges, 67333 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 53064824 markings, 285275878 edges, 69280 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 53411581 markings, 286934453 edges, 69351 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 53746840 markings, 288597163 edges, 67052 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 54085682 markings, 290293212 edges, 67768 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 54433675 markings, 292041700 edges, 69599 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 54753166 markings, 293773487 edges, 63898 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 55066909 markings, 295565391 edges, 62749 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 55405621 markings, 297305055 edges, 67742 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 55724793 markings, 299040152 edges, 63834 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 56035873 markings, 300797297 edges, 62216 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 56352394 markings, 302571537 edges, 63304 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 56665166 markings, 304324984 edges, 62554 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 56976536 markings, 306066006 edges, 62274 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 57316934 markings, 307898670 edges, 68080 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 57642240 markings, 309710238 edges, 65061 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 57936628 markings, 311509020 edges, 58878 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 58260333 markings, 313330332 edges, 64741 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 58570973 markings, 315222414 edges, 62128 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 58873613 markings, 317098772 edges, 60528 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 59172881 markings, 318934797 edges, 59854 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 59467206 markings, 320771700 edges, 58865 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 59759045 markings, 322696322 edges, 58368 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 60041729 markings, 324524376 edges, 56537 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 60331094 markings, 326250955 edges, 57873 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 60663235 markings, 328200376 edges, 66428 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 60993155 markings, 330267326 edges, 65984 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 61352475 markings, 332064743 edges, 71864 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 61688050 markings, 333675304 edges, 67115 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 61889520 markings, 335351601 edges, 40294 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 62044399 markings, 337082713 edges, 30976 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 62356958 markings, 339023903 edges, 62512 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 62670578 markings, 340975650 edges, 62724 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 62974698 markings, 342915847 edges, 60824 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 63322500 markings, 344770995 edges, 69560 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 63633641 markings, 346800451 edges, 62228 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 63911714 markings, 348789228 edges, 55615 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 64213168 markings, 350685609 edges, 60291 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 64518226 markings, 352575762 edges, 61012 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 64772800 markings, 354470216 edges, 50915 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 65013558 markings, 356406848 edges, 48152 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 65353311 markings, 358270176 edges, 67951 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 65675928 markings, 360219401 edges, 64523 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 65957300 markings, 362179478 edges, 56274 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 66303184 markings, 364119671 edges, 69177 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 66560383 markings, 366077695 edges, 51440 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 66861027 markings, 367997319 edges, 60129 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 67175141 markings, 369983940 edges, 62823 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 67447615 markings, 371868591 edges, 54495 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 67772831 markings, 373460871 edges, 65043 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 68090601 markings, 374952776 edges, 63554 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 68290724 markings, 376557866 edges, 40025 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 68373432 markings, 378134507 edges, 16542 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 68639201 markings, 379940151 edges, 53154 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 68913083 markings, 381827783 edges, 54776 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 69188769 markings, 383691446 edges, 55137 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 69456090 markings, 385551858 edges, 53464 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 69761609 markings, 387431532 edges, 61104 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 70083007 markings, 389316167 edges, 64280 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 70332070 markings, 391181783 edges, 49813 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 70612974 markings, 392935440 edges, 56181 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 70869953 markings, 394682732 edges, 51396 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 71117837 markings, 396482418 edges, 49577 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 71393101 markings, 398328525 edges, 55053 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 71576150 markings, 400128356 edges, 36610 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 71880811 markings, 402030162 edges, 60932 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 72160984 markings, 403925844 edges, 56035 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 72429023 markings, 405805244 edges, 53608 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 72704659 markings, 407673918 edges, 55127 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 72860322 markings, 409485384 edges, 31133 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 72915739 markings, 411215862 edges, 11083 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 72949682 markings, 412829037 edges, 6789 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 72975615 markings, 414510129 edges, 5187 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 73007685 markings, 416109413 edges, 6414 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 73177901 markings, 417810940 edges, 34043 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 73265858 markings, 419292771 edges, 17591 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 73334916 markings, 420763001 edges, 13812 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 73362561 markings, 422278941 edges, 5529 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 73432552 markings, 423797992 edges, 13998 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 73555501 markings, 425343497 edges, 24590 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 73632495 markings, 426824482 edges, 15399 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 73701782 markings, 428267363 edges, 13857 markings/sec, 1180 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown
lola: memory consumption: 4867392 KB
lola: time consumption: 1192 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 1 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((p362 <= 0) AND (((p109 <= 0)) OR ((1 <= p378)))) U DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:618
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:738
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: E ((((p362 <= 0) AND (((p109 <= 0)) OR ((1 <= p378)))) U DEADLOCK))
lola: processed formula length: 68
lola: 9 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 /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
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: DEADLOCK
lola: state equation task get result unparse finished id 0
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: There is a path where Predicate Phi holds until Predicate Psi.
lola: 944 markings, 1196 edges
lola: ========================================
lola: subprocess 2 will run for 2378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (((1 <= p389)))) OR E (F (((1 <= p69)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 2378 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p69))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p69))))
lola: processed formula length: 20
lola: 7 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p69))
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-2-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 20 markings, 19 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (E (F (((p294 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: ((p294 <= 0))
lola: processed formula length: 13
lola: 9 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
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: 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: ((p294 <= 0))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-3-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-3-1.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p294))
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-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-3-0.sara.
sara: place or transition ordering is non-deterministic

sara: place or transition ordering is non-deterministic

lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 560060 markings, 2129200 edges, 112012 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 966394 markings, 4213910 edges, 81267 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 1299467 markings, 6353801 edges, 66615 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 1778143 markings, 8311935 edges, 95735 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 2101031 markings, 10349965 edges, 64578 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 2525433 markings, 12317852 edges, 84880 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 2876387 markings, 14452656 edges, 70191 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 3118998 markings, 16559971 edges, 48522 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 3569262 markings, 18612659 edges, 90053 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 3886311 markings, 20690932 edges, 63410 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 4114622 markings, 22744608 edges, 45662 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 4555304 markings, 24659909 edges, 88136 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 4846214 markings, 26716377 edges, 58182 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 5113704 markings, 28769240 edges, 53498 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 5509260 markings, 30773642 edges, 79111 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 5789703 markings, 32898832 edges, 56089 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 5968014 markings, 34948317 edges, 35662 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 6414848 markings, 36949301 edges, 89367 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 6725367 markings, 39017800 edges, 62104 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 6968280 markings, 41108385 edges, 48583 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 7424857 markings, 43129225 edges, 91315 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 7703887 markings, 45225196 edges, 55806 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 8047532 markings, 47288942 edges, 68729 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 8466408 markings, 49198555 edges, 83775 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 8778114 markings, 51162399 edges, 62341 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 9209810 markings, 53037573 edges, 86339 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 9582714 markings, 54934545 edges, 74581 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 9847732 markings, 56826483 edges, 53004 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 10331130 markings, 58802398 edges, 96680 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 10661776 markings, 60850186 edges, 66129 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 11000178 markings, 62909305 edges, 67680 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 11428335 markings, 64887049 edges, 85631 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 11766033 markings, 66815449 edges, 67540 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 12097555 markings, 68759002 edges, 66304 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 12380195 markings, 70677923 edges, 56528 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 12676216 markings, 72628828 edges, 59204 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 12967253 markings, 74551348 edges, 58207 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 13279909 markings, 76391368 edges, 62531 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 13612457 markings, 78136707 edges, 66510 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 14028675 markings, 80180436 edges, 83244 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 14485040 markings, 82309986 edges, 91273 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 14920448 markings, 84389978 edges, 87082 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 15296006 markings, 86436298 edges, 75112 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 15652643 markings, 88429700 edges, 71327 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 16050653 markings, 90447347 edges, 79602 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 16326099 markings, 92493730 edges, 55089 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 16692036 markings, 94494271 edges, 73187 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 17046360 markings, 96452672 edges, 70865 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 17351323 markings, 98357390 edges, 60993 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 17733994 markings, 100283114 edges, 76534 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 18012303 markings, 102183495 edges, 55662 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 18392587 markings, 104091950 edges, 76057 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 18777075 markings, 105969682 edges, 76898 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 19072508 markings, 107838143 edges, 59087 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 19452593 markings, 109851843 edges, 76017 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 19748863 markings, 111882862 edges, 59254 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 20135722 markings, 113938493 edges, 77372 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 20487971 markings, 115979916 edges, 70450 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 20768792 markings, 117996766 edges, 56164 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 21143766 markings, 119995008 edges, 74995 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 21394421 markings, 121949557 edges, 50131 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 21745736 markings, 123899957 edges, 70263 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 21947478 markings, 125823657 edges, 40348 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 22295173 markings, 127784785 edges, 69539 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 22495456 markings, 129670402 edges, 40057 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 22843808 markings, 131511266 edges, 69670 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 23065338 markings, 133303747 edges, 44306 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 23404437 markings, 135160450 edges, 67820 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 23595357 markings, 136988417 edges, 38184 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 23944658 markings, 138845560 edges, 69860 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 24175402 markings, 140689477 edges, 46149 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 24534344 markings, 142515284 edges, 71788 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 24759526 markings, 144330678 edges, 45036 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 25125809 markings, 146355471 edges, 73257 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 25349715 markings, 148376066 edges, 44781 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 25729175 markings, 150438850 edges, 75892 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 26081169 markings, 152494138 edges, 70399 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 26359074 markings, 154553426 edges, 55581 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 26782203 markings, 156540681 edges, 84626 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 27147068 markings, 158492983 edges, 72973 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 27484227 markings, 160407745 edges, 67432 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 27913552 markings, 162436993 edges, 85865 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 28232361 markings, 164518801 edges, 63762 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 28529576 markings, 166482381 edges, 59443 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 28915788 markings, 168537238 edges, 77242 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 29270609 markings, 170501218 edges, 70964 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 29571823 markings, 172377043 edges, 60243 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 29908643 markings, 174246290 edges, 67364 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 30229484 markings, 176208125 edges, 64168 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 30540517 markings, 178163980 edges, 62207 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 30809589 markings, 180022081 edges, 53814 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 31071942 markings, 181889213 edges, 52471 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 31351781 markings, 183740253 edges, 55968 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 31646257 markings, 185784485 edges, 58895 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 31993103 markings, 187720475 edges, 69369 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 32327924 markings, 189712511 edges, 66964 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 32680361 markings, 191731422 edges, 70487 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 32970417 markings, 193709433 edges, 58011 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 33321108 markings, 195745926 edges, 70138 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 33686459 markings, 197805097 edges, 73070 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 34141261 markings, 199591020 edges, 90960 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 34468143 markings, 201287754 edges, 65376 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 34724073 markings, 202968388 edges, 51186 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 35116125 markings, 204580508 edges, 78410 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 35455379 markings, 206276088 edges, 67851 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 35678044 markings, 207917856 edges, 44533 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 36070252 markings, 209556604 edges, 78442 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 36401375 markings, 211170142 edges, 66225 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 36657035 markings, 212802564 edges, 51132 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 36973614 markings, 214390406 edges, 63316 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 37272923 markings, 216000044 edges, 59862 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 37516177 markings, 217696142 edges, 48651 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 37702994 markings, 219332460 edges, 37363 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 38099903 markings, 220832063 edges, 79382 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 38402977 markings, 222427643 edges, 60615 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 38615408 markings, 223949515 edges, 42486 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 38971597 markings, 225497699 edges, 71238 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 39254958 markings, 227119928 edges, 56672 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 39448163 markings, 228726079 edges, 38641 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 39668041 markings, 230362725 edges, 43976 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 40024284 markings, 231852206 edges, 71249 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 40285713 markings, 233484553 edges, 52286 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 40474284 markings, 235067085 edges, 37714 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 40707403 markings, 236649982 edges, 46624 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 40992708 markings, 238278271 edges, 57061 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 41305563 markings, 239873133 edges, 62571 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 41558968 markings, 241446750 edges, 50681 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 41814211 markings, 243015256 edges, 51049 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 42049354 markings, 244569485 edges, 47029 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 42582239 markings, 246530110 edges, 106577 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 42904593 markings, 248596752 edges, 64471 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 43448798 markings, 250546911 edges, 108841 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 44110919 markings, 252358043 edges, 132424 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 44516381 markings, 254413604 edges, 81092 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 44804156 markings, 256376017 edges, 57555 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 45378379 markings, 258044758 edges, 114845 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 45843081 markings, 259806379 edges, 92940 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 46433919 markings, 261337535 edges, 118168 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 46961094 markings, 262844494 edges, 105435 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 47493436 markings, 264332527 edges, 106468 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 47986761 markings, 265817293 edges, 98665 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 48436212 markings, 267289049 edges, 89890 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 48867599 markings, 268752799 edges, 86277 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 49289039 markings, 270206144 edges, 84288 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 49703510 markings, 271642023 edges, 82894 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 50105189 markings, 273065304 edges, 80336 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 50497973 markings, 274478426 edges, 78557 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 50880583 markings, 275913517 edges, 76522 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 51248207 markings, 277363477 edges, 73525 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 51610939 markings, 278853786 edges, 72546 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 51962706 markings, 280372539 edges, 70353 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 52319860 markings, 281940996 edges, 71431 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 52678613 markings, 283536959 edges, 71751 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 53037897 markings, 285144043 edges, 71857 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 53380665 markings, 286784260 edges, 68554 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 53715480 markings, 288442367 edges, 66963 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 54052001 markings, 290130803 edges, 67304 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 54404654 markings, 291901660 edges, 70531 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 54723752 markings, 293629768 edges, 63820 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 55037836 markings, 295410642 edges, 62817 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 55382433 markings, 297156501 edges, 68919 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 55700164 markings, 298904365 edges, 63546 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 56008492 markings, 300658306 edges, 61666 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 56334966 markings, 302466077 edges, 65295 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 56655532 markings, 304269751 edges, 64113 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 56981585 markings, 306096482 edges, 65211 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 57326684 markings, 307948766 edges, 69020 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 57652759 markings, 309776336 edges, 65215 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 57958850 markings, 311621690 edges, 61218 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 58282216 markings, 313467792 edges, 64673 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 58598951 markings, 315371816 edges, 63347 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 58897726 markings, 317248510 edges, 59755 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 59197897 markings, 319105605 edges, 60034 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 59495430 markings, 320943624 edges, 59507 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 59788569 markings, 322903470 edges, 58628 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 60080461 markings, 324778891 edges, 58378 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 60385613 markings, 326588697 edges, 61030 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 60713743 markings, 328554620 edges, 65626 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 61048590 markings, 330581514 edges, 66969 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 61405493 markings, 332286424 edges, 71381 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 61725943 markings, 333916428 edges, 64090 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 61897343 markings, 335590325 edges, 34280 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 62085816 markings, 337398706 edges, 37695 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 62410316 markings, 339365072 edges, 64900 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 62733036 markings, 341361344 edges, 64544 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 63042384 markings, 343279176 edges, 61870 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 63393632 markings, 345198020 edges, 70250 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 63665649 markings, 347202985 edges, 54403 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 63976659 markings, 349189768 edges, 62202 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 64283621 markings, 351049284 edges, 61392 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 64575646 markings, 352974228 edges, 58405 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 64834758 markings, 354889131 edges, 51822 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 65079299 markings, 356856290 edges, 48908 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 65440240 markings, 358778155 edges, 72188 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 65739454 markings, 360754871 edges, 59843 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 66060486 markings, 362685524 edges, 64206 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 66382874 markings, 364661268 edges, 64478 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 66636592 markings, 366639437 edges, 50744 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 66952452 markings, 368577742 edges, 63172 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 67249247 markings, 370587710 edges, 59359 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 67527034 markings, 372412360 edges, 55557 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 67885137 markings, 373963576 edges, 71621 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 68195666 markings, 375591694 edges, 62106 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 68308058 markings, 377238750 edges, 22478 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 68503645 markings, 379010526 edges, 39117 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 68787308 markings, 380888363 edges, 56733 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 69048289 markings, 382779848 edges, 52196 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 69325642 markings, 384676731 edges, 55471 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 69628591 markings, 386631203 edges, 60590 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 69951700 markings, 388556391 edges, 64622 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 70264255 markings, 390488684 edges, 62511 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 70503381 markings, 392225295 edges, 47825 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 70766580 markings, 394001586 edges, 52640 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 71014239 markings, 395765763 edges, 49532 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 71274847 markings, 397603666 edges, 52122 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 71487157 markings, 399438758 edges, 42462 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 71755105 markings, 401299298 edges, 53590 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 72039539 markings, 403166364 edges, 56887 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 72304289 markings, 405040066 edges, 52950 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 72596398 markings, 406911134 edges, 58422 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 72840899 markings, 408775856 edges, 48900 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 72880762 markings, 410572877 edges, 7973 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 72941909 markings, 412286927 edges, 12229 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 72966032 markings, 413988392 edges, 4825 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 72993981 markings, 415571389 edges, 5590 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 73138909 markings, 417265773 edges, 28986 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 73254151 markings, 418795278 edges, 23048 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 73295100 markings, 420279712 edges, 8190 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 73354933 markings, 421824521 edges, 11967 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 73422777 markings, 423307718 edges, 13569 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 73471853 markings, 424758275 edges, 9815 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 73606192 markings, 426318735 edges, 26868 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 73675558 markings, 427776115 edges, 13873 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 73783476 markings, 429293333 edges, 21584 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 73923263 markings, 430880656 edges, 27957 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 74002620 markings, 432342304 edges, 15871 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 74155384 markings, 433873272 edges, 30553 markings/sec, 1180 secs
lola: sara is running 1185 secs || sara is running 1185 secs || 74290887 markings, 435422811 edges, 27101 markings/sec, 1185 secs
lola: sara is running 1190 secs || sara is running 1190 secs || 74399624 markings, 436936840 edges, 21747 markings/sec, 1190 secs
lola: sara is running 1195 secs || sara is running 1195 secs || 74468863 markings, 438397701 edges, 13848 markings/sec, 1195 secs
lola: sara is running 1200 secs || sara is running 1200 secs || 74556733 markings, 439911084 edges, 17574 markings/sec, 1200 secs
lola: sara is running 1205 secs || sara is running 1205 secs || 74645202 markings, 441425017 edges, 17694 markings/sec, 1205 secs
lola: sara is running 1210 secs || sara is running 1210 secs || 74773926 markings, 443028840 edges, 25745 markings/sec, 1210 secs
lola: sara is running 1215 secs || sara is running 1215 secs || 74843338 markings, 444535078 edges, 13882 markings/sec, 1215 secs
lola: sara is running 1220 secs || sara is running 1220 secs || 74900108 markings, 446023209 edges, 11354 markings/sec, 1220 secs
lola: sara is running 1225 secs || sara is running 1225 secs || 75024932 markings, 447628455 edges, 24965 markings/sec, 1225 secs
lola: sara is running 1230 secs || sara is running 1230 secs || 75138075 markings, 449190524 edges, 22629 markings/sec, 1230 secs
lola: sara is running 1235 secs || sara is running 1235 secs || 75230386 markings, 450760830 edges, 18462 markings/sec, 1235 secs
lola: sara is running 1240 secs || sara is running 1240 secs || 75402450 markings, 452484137 edges, 34413 markings/sec, 1240 secs
lola: sara is running 1245 secs || sara is running 1245 secs || 75559244 markings, 454194905 edges, 31359 markings/sec, 1245 secs
lola: sara is running 1250 secs || sara is running 1250 secs || 75652483 markings, 455846066 edges, 18648 markings/sec, 1250 secs
lola: sara is running 1255 secs || sara is running 1255 secs || 75749094 markings, 457540834 edges, 19322 markings/sec, 1255 secs
lola: sara is running 1260 secs || sara is running 1260 secs || 75909854 markings, 459341408 edges, 32152 markings/sec, 1260 secs
lola: sara is running 1265 secs || sara is running 1265 secs || 76015740 markings, 461106009 edges, 21177 markings/sec, 1265 secs
lola: sara is running 1270 secs || sara is running 1270 secs || 76308463 markings, 462869321 edges, 58545 markings/sec, 1270 secs
lola: sara is running 1275 secs || sara is running 1275 secs || 76720674 markings, 464878945 edges, 82442 markings/sec, 1275 secs
lola: sara is running 1280 secs || sara is running 1280 secs || 77115344 markings, 466785192 edges, 78934 markings/sec, 1280 secs
lola: sara is running 1285 secs || sara is running 1285 secs || 77610809 markings, 468373374 edges, 99093 markings/sec, 1285 secs
lola: sara is running 1290 secs || sara is running 1290 secs || 78113665 markings, 470043904 edges, 100571 markings/sec, 1290 secs
lola: sara is running 1295 secs || sara is running 1295 secs || 78464019 markings, 471912778 edges, 70071 markings/sec, 1295 secs
lola: sara is running 1300 secs || sara is running 1300 secs || 78729536 markings, 473622274 edges, 53103 markings/sec, 1300 secs
lola: sara is running 1305 secs || sara is running 1305 secs || 79261562 markings, 475062672 edges, 106405 markings/sec, 1305 secs
lola: sara is running 1310 secs || sara is running 1310 secs || 79643847 markings, 476735123 edges, 76457 markings/sec, 1310 secs
lola: sara is running 1315 secs || sara is running 1315 secs || 80168152 markings, 478110251 edges, 104861 markings/sec, 1315 secs
lola: sara is running 1320 secs || sara is running 1320 secs || 80656501 markings, 479467123 edges, 97670 markings/sec, 1320 secs
lola: sara is running 1325 secs || sara is running 1325 secs || 81128939 markings, 480803889 edges, 94488 markings/sec, 1325 secs
lola: sara is running 1330 secs || sara is running 1330 secs || 81584886 markings, 482114659 edges, 91189 markings/sec, 1330 secs
lola: sara is running 1335 secs || sara is running 1335 secs || 82014456 markings, 483435447 edges, 85914 markings/sec, 1335 secs
lola: sara is running 1340 secs || sara is running 1340 secs || 82415142 markings, 484765938 edges, 80137 markings/sec, 1340 secs
lola: sara is running 1345 secs || sara is running 1345 secs || 82799990 markings, 486090906 edges, 76970 markings/sec, 1345 secs
lola: sara is running 1350 secs || sara is running 1350 secs || 83179980 markings, 487401275 edges, 75998 markings/sec, 1350 secs
lola: sara is running 1355 secs || sara is running 1355 secs || 83547996 markings, 488687889 edges, 73603 markings/sec, 1355 secs
lola: sara is running 1360 secs || sara is running 1360 secs || 83908292 markings, 489971256 edges, 72059 markings/sec, 1360 secs
lola: sara is running 1365 secs || sara is running 1365 secs || 84264752 markings, 491258666 edges, 71292 markings/sec, 1365 secs
lola: sara is running 1370 secs || sara is running 1370 secs || 84619603 markings, 492562484 edges, 70970 markings/sec, 1370 secs
lola: sara is running 1375 secs || sara is running 1375 secs || 84959430 markings, 493873926 edges, 67965 markings/sec, 1375 secs
lola: sara is running 1380 secs || sara is running 1380 secs || 85296859 markings, 495209706 edges, 67486 markings/sec, 1380 secs
lola: sara is running 1385 secs || sara is running 1385 secs || 85631476 markings, 496598024 edges, 66923 markings/sec, 1385 secs
lola: sara is running 1390 secs || sara is running 1390 secs || 85954458 markings, 497988609 edges, 64596 markings/sec, 1390 secs
lola: sara is running 1395 secs || sara is running 1395 secs || 86280253 markings, 499410099 edges, 65159 markings/sec, 1395 secs
lola: sara is running 1400 secs || sara is running 1400 secs || 86607248 markings, 500876194 edges, 65399 markings/sec, 1400 secs
lola: sara is running 1405 secs || sara is running 1405 secs || 86938307 markings, 502352132 edges, 66212 markings/sec, 1405 secs
lola: sara is running 1410 secs || sara is running 1410 secs || 87250151 markings, 503858033 edges, 62369 markings/sec, 1410 secs
lola: sara is running 1415 secs || sara is running 1415 secs || 87558710 markings, 505376064 edges, 61712 markings/sec, 1415 secs
lola: sara is running 1420 secs || sara is running 1420 secs || 87878209 markings, 506909099 edges, 63900 markings/sec, 1420 secs
lola: sara is running 1425 secs || sara is running 1425 secs || 88174476 markings, 508503912 edges, 59253 markings/sec, 1425 secs
lola: sara is running 1430 secs || sara is running 1430 secs || 88473103 markings, 510112658 edges, 59725 markings/sec, 1430 secs
lola: sara is running 1435 secs || sara is running 1435 secs || 88781265 markings, 511724059 edges, 61632 markings/sec, 1435 secs
lola: sara is running 1440 secs || sara is running 1440 secs || 89089004 markings, 513353604 edges, 61548 markings/sec, 1440 secs
lola: sara is running 1445 secs || sara is running 1445 secs || 89396289 markings, 514929486 edges, 61457 markings/sec, 1445 secs
lola: sara is running 1450 secs || sara is running 1450 secs || 89679220 markings, 516585854 edges, 56586 markings/sec, 1450 secs
lola: sara is running 1455 secs || sara is running 1455 secs || 89963656 markings, 518208012 edges, 56887 markings/sec, 1455 secs
lola: sara is running 1460 secs || sara is running 1460 secs || 90277349 markings, 519900777 edges, 62739 markings/sec, 1460 secs
lola: sara is running 1465 secs || sara is running 1465 secs || 90567099 markings, 521606443 edges, 57950 markings/sec, 1465 secs
lola: sara is running 1470 secs || sara is running 1470 secs || 90874108 markings, 523299720 edges, 61402 markings/sec, 1470 secs
lola: sara is running 1475 secs || sara is running 1475 secs || 91183964 markings, 525025140 edges, 61971 markings/sec, 1475 secs
lola: sara is running 1480 secs || sara is running 1480 secs || 91487506 markings, 526730937 edges, 60708 markings/sec, 1480 secs
lola: sara is running 1485 secs || sara is running 1485 secs || 91765882 markings, 528405396 edges, 55675 markings/sec, 1485 secs
lola: sara is running 1490 secs || sara is running 1490 secs || 92073454 markings, 530120390 edges, 61514 markings/sec, 1490 secs
lola: sara is running 1495 secs || sara is running 1495 secs || 92371672 markings, 531877287 edges, 59644 markings/sec, 1495 secs
lola: sara is running 1500 secs || sara is running 1500 secs || 92670547 markings, 533643728 edges, 59775 markings/sec, 1500 secs
lola: sara is running 1505 secs || sara is running 1505 secs || 92953284 markings, 535449779 edges, 56547 markings/sec, 1505 secs
lola: sara is running 1510 secs || sara is running 1510 secs || 93230846 markings, 537222400 edges, 55512 markings/sec, 1510 secs
lola: sara is running 1515 secs || sara is running 1515 secs || 93521112 markings, 538969827 edges, 58053 markings/sec, 1515 secs
lola: sara is running 1520 secs || sara is running 1520 secs || 93798271 markings, 540645007 edges, 55432 markings/sec, 1520 secs
lola: sara is running 1525 secs || sara is running 1525 secs || 94059300 markings, 542368423 edges, 52206 markings/sec, 1525 secs
lola: sara is running 1530 secs || sara is running 1530 secs || 94324127 markings, 544189158 edges, 52965 markings/sec, 1530 secs
lola: sara is running 1535 secs || sara is running 1535 secs || 94611020 markings, 545958898 edges, 57379 markings/sec, 1535 secs
lola: sara is running 1540 secs || sara is running 1540 secs || 94881221 markings, 547753983 edges, 54040 markings/sec, 1540 secs
lola: sara is running 1545 secs || sara is running 1545 secs || 95173412 markings, 549558173 edges, 58438 markings/sec, 1545 secs
lola: sara is running 1550 secs || sara is running 1550 secs || 95523795 markings, 551031605 edges, 70077 markings/sec, 1550 secs
lola: sara is running 1555 secs || sara is running 1555 secs || 95816019 markings, 552587571 edges, 58445 markings/sec, 1555 secs
lola: sara is running 1560 secs || sara is running 1560 secs || 96081295 markings, 554242866 edges, 53055 markings/sec, 1560 secs
lola: sara is running 1565 secs || sara is running 1565 secs || 96354235 markings, 555995676 edges, 54588 markings/sec, 1565 secs
lola: sara is running 1570 secs || sara is running 1570 secs || 96670820 markings, 557842315 edges, 63317 markings/sec, 1570 secs
lola: sara is running 1575 secs || sara is running 1575 secs || 96962850 markings, 559742329 edges, 58406 markings/sec, 1575 secs
lola: sara is running 1580 secs || sara is running 1580 secs || 97271539 markings, 561465565 edges, 61738 markings/sec, 1580 secs
lola: sara is running 1585 secs || sara is running 1585 secs || 97584474 markings, 563298448 edges, 62587 markings/sec, 1585 secs
lola: sara is running 1590 secs || sara is running 1590 secs || 97820110 markings, 565146255 edges, 47127 markings/sec, 1590 secs
lola: sara is running 1595 secs || sara is running 1595 secs || 98110076 markings, 567003821 edges, 57993 markings/sec, 1595 secs
lola: sara is running 1600 secs || sara is running 1600 secs || 98396411 markings, 568729882 edges, 57267 markings/sec, 1600 secs
lola: sara is running 1605 secs || sara is running 1605 secs || 98669170 markings, 570471530 edges, 54552 markings/sec, 1605 secs
lola: sara is running 1610 secs || sara is running 1610 secs || 98919344 markings, 572256330 edges, 50035 markings/sec, 1610 secs
lola: sara is running 1615 secs || sara is running 1615 secs || 99134304 markings, 574078380 edges, 42992 markings/sec, 1615 secs
lola: sara is running 1620 secs || sara is running 1620 secs || 99431597 markings, 575933299 edges, 59459 markings/sec, 1620 secs
lola: sara is running 1625 secs || sara is running 1625 secs || 99761867 markings, 577769745 edges, 66054 markings/sec, 1625 secs
lola: sara is running 1630 secs || sara is running 1630 secs || 100024502 markings, 579669348 edges, 52527 markings/sec, 1630 secs
lola: sara is running 1635 secs || sara is running 1635 secs || 100346685 markings, 581465536 edges, 64437 markings/sec, 1635 secs
lola: sara is running 1640 secs || sara is running 1640 secs || 100627482 markings, 583330799 edges, 56159 markings/sec, 1640 secs
lola: sara is running 1645 secs || sara is running 1645 secs || 100880584 markings, 585219706 edges, 50620 markings/sec, 1645 secs
lola: sara is running 1650 secs || sara is running 1650 secs || 101152775 markings, 587019298 edges, 54438 markings/sec, 1650 secs
lola: sara is running 1655 secs || sara is running 1655 secs || 101466071 markings, 588607758 edges, 62659 markings/sec, 1655 secs
lola: sara is running 1660 secs || sara is running 1660 secs || 101793714 markings, 590125273 edges, 65529 markings/sec, 1660 secs
lola: sara is running 1665 secs || sara is running 1665 secs || 102007529 markings, 591719992 edges, 42763 markings/sec, 1665 secs
lola: sara is running 1670 secs || sara is running 1670 secs || 102075795 markings, 593299990 edges, 13653 markings/sec, 1670 secs
lola: sara is running 1675 secs || sara is running 1675 secs || 102340572 markings, 595076303 edges, 52955 markings/sec, 1675 secs
lola: sara is running 1680 secs || sara is running 1680 secs || 102637657 markings, 596914584 edges, 59417 markings/sec, 1680 secs
lola: sara is running 1685 secs || sara is running 1685 secs || 102922971 markings, 598834017 edges, 57063 markings/sec, 1685 secs
lola: sara is running 1690 secs || sara is running 1690 secs || 103187752 markings, 600665851 edges, 52956 markings/sec, 1690 secs
lola: sara is running 1695 secs || sara is running 1695 secs || 103460512 markings, 602501040 edges, 54552 markings/sec, 1695 secs
lola: sara is running 1700 secs || sara is running 1700 secs || 103729438 markings, 604359460 edges, 53785 markings/sec, 1700 secs
lola: sara is running 1705 secs || sara is running 1705 secs || 104056502 markings, 606254937 edges, 65413 markings/sec, 1705 secs
lola: sara is running 1710 secs || sara is running 1710 secs || 104248696 markings, 608061612 edges, 38439 markings/sec, 1710 secs
lola: sara is running 1715 secs || sara is running 1715 secs || 104356658 markings, 609656610 edges, 21592 markings/sec, 1715 secs
lola: sara is running 1720 secs || sara is running 1720 secs || 104644828 markings, 611453832 edges, 57634 markings/sec, 1720 secs
lola: sara is running 1725 secs || sara is running 1725 secs || 104891546 markings, 613236267 edges, 49344 markings/sec, 1725 secs
lola: sara is running 1730 secs || sara is running 1730 secs || 105161692 markings, 615020923 edges, 54029 markings/sec, 1730 secs
lola: sara is running 1735 secs || sara is running 1735 secs || 105411461 markings, 616786848 edges, 49954 markings/sec, 1735 secs
lola: sara is running 1740 secs || sara is running 1740 secs || 105661992 markings, 618471320 edges, 50106 markings/sec, 1740 secs
lola: sara is running 1745 secs || sara is running 1745 secs || 105909598 markings, 620202111 edges, 49521 markings/sec, 1745 secs
lola: sara is running 1750 secs || sara is running 1750 secs || 106172403 markings, 621869011 edges, 52561 markings/sec, 1750 secs
lola: sara is running 1755 secs || sara is running 1755 secs || 106433216 markings, 623646236 edges, 52163 markings/sec, 1755 secs
lola: sara is running 1760 secs || sara is running 1760 secs || 106529146 markings, 625416303 edges, 19186 markings/sec, 1760 secs
lola: sara is running 1765 secs || sara is running 1765 secs || 106624949 markings, 627134062 edges, 19161 markings/sec, 1765 secs
lola: sara is running 1770 secs || sara is running 1770 secs || 106713435 markings, 628777967 edges, 17697 markings/sec, 1770 secs
lola: sara is running 1775 secs || sara is running 1775 secs || 106797644 markings, 630426517 edges, 16842 markings/sec, 1775 secs
lola: sara is running 1780 secs || sara is running 1780 secs || 106824145 markings, 631995460 edges, 5300 markings/sec, 1780 secs
lola: sara is running 1785 secs || sara is running 1785 secs || 106866441 markings, 633503835 edges, 8459 markings/sec, 1785 secs
lola: sara is running 1790 secs || sara is running 1790 secs || 106952537 markings, 634981709 edges, 17219 markings/sec, 1790 secs
lola: sara is running 1795 secs || sara is running 1795 secs || 107016513 markings, 636382711 edges, 12795 markings/sec, 1795 secs
lola: sara is running 1800 secs || sara is running 1800 secs || 107096768 markings, 637824545 edges, 16051 markings/sec, 1800 secs
lola: sara is running 1805 secs || sara is running 1805 secs || 107287399 markings, 639502194 edges, 38126 markings/sec, 1805 secs
lola: sara is running 1810 secs || sara is running 1810 secs || 107338403 markings, 640945157 edges, 10201 markings/sec, 1810 secs
lola: sara is running 1815 secs || sara is running 1815 secs || 107463872 markings, 642446989 edges, 25094 markings/sec, 1815 secs
lola: sara is running 1820 secs || sara is running 1820 secs || 107560859 markings, 643912666 edges, 19397 markings/sec, 1820 secs
lola: sara is running 1825 secs || sara is running 1825 secs || 107647478 markings, 645361547 edges, 17324 markings/sec, 1825 secs
lola: sara is running 1830 secs || sara is running 1830 secs || 107726179 markings, 646789168 edges, 15740 markings/sec, 1830 secs
lola: sara is running 1835 secs || sara is running 1835 secs || 107820870 markings, 648217145 edges, 18938 markings/sec, 1835 secs
lola: sara is running 1840 secs || sara is running 1840 secs || 107904565 markings, 649633236 edges, 16739 markings/sec, 1840 secs
lola: sara is running 1845 secs || sara is running 1845 secs || 108101877 markings, 651165103 edges, 39462 markings/sec, 1845 secs
lola: sara is running 1850 secs || sara is running 1850 secs || 108206621 markings, 652638282 edges, 20949 markings/sec, 1850 secs
lola: sara is running 1855 secs || sara is running 1855 secs || 108297139 markings, 654105541 edges, 18104 markings/sec, 1855 secs
lola: sara is running 1860 secs || sara is running 1860 secs || 108367974 markings, 655512053 edges, 14167 markings/sec, 1860 secs
lola: sara is running 1865 secs || sara is running 1865 secs || 108455003 markings, 656968179 edges, 17406 markings/sec, 1865 secs
lola: sara is running 1870 secs || sara is running 1870 secs || 108569446 markings, 658462683 edges, 22889 markings/sec, 1870 secs
lola: sara is running 1875 secs || sara is running 1875 secs || 108654721 markings, 659939711 edges, 17055 markings/sec, 1875 secs
lola: sara is running 1880 secs || sara is running 1880 secs || 108720817 markings, 661396810 edges, 13219 markings/sec, 1880 secs
lola: sara is running 1885 secs || sara is running 1885 secs || 108821683 markings, 662881788 edges, 20173 markings/sec, 1885 secs
lola: sara is running 1890 secs || sara is running 1890 secs || 108911916 markings, 664370037 edges, 18047 markings/sec, 1890 secs
lola: sara is running 1895 secs || sara is running 1895 secs || 109019982 markings, 665915249 edges, 21613 markings/sec, 1895 secs
lola: sara is running 1900 secs || sara is running 1900 secs || 109131188 markings, 667462480 edges, 22241 markings/sec, 1900 secs
lola: sara is running 1905 secs || sara is running 1905 secs || 109205473 markings, 668980426 edges, 14857 markings/sec, 1905 secs
lola: sara is running 1910 secs || sara is running 1910 secs || 109356181 markings, 670620439 edges, 30142 markings/sec, 1910 secs
lola: sara is running 1915 secs || sara is running 1915 secs || 109470056 markings, 672223685 edges, 22775 markings/sec, 1915 secs
lola: sara is running 1920 secs || sara is running 1920 secs || 109617134 markings, 673884050 edges, 29416 markings/sec, 1920 secs
lola: sara is running 1925 secs || sara is running 1925 secs || 109696299 markings, 675469275 edges, 15833 markings/sec, 1925 secs
lola: sara is running 1930 secs || sara is running 1930 secs || 109830530 markings, 677132456 edges, 26846 markings/sec, 1930 secs
lola: sara is running 1935 secs || sara is running 1935 secs || 109965545 markings, 678869009 edges, 27003 markings/sec, 1935 secs
lola: sara is running 1940 secs || sara is running 1940 secs || 110147595 markings, 680592906 edges, 36410 markings/sec, 1940 secs
lola: sara is running 1945 secs || sara is running 1945 secs || 110466968 markings, 682346654 edges, 63875 markings/sec, 1945 secs
lola: sara is running 1950 secs || sara is running 1950 secs || 110694549 markings, 684009360 edges, 45516 markings/sec, 1950 secs
lola: sara is running 1955 secs || sara is running 1955 secs || 111017914 markings, 685806308 edges, 64673 markings/sec, 1955 secs
lola: sara is running 1960 secs || sara is running 1960 secs || 111267581 markings, 687520650 edges, 49933 markings/sec, 1960 secs
lola: sara is running 1965 secs || sara is running 1965 secs || 111568362 markings, 689319427 edges, 60156 markings/sec, 1965 secs
lola: sara is running 1970 secs || sara is running 1970 secs || 111794562 markings, 691001607 edges, 45240 markings/sec, 1970 secs
lola: sara is running 1975 secs || sara is running 1975 secs || 112121895 markings, 692775896 edges, 65467 markings/sec, 1975 secs
lola: sara is running 1980 secs || sara is running 1980 secs || 112542594 markings, 694741806 edges, 84140 markings/sec, 1980 secs
lola: sara is running 1985 secs || sara is running 1985 secs || 112865648 markings, 696567653 edges, 64611 markings/sec, 1985 secs
lola: sara is running 1990 secs || sara is running 1990 secs || 113117594 markings, 698222859 edges, 50389 markings/sec, 1990 secs
lola: sara is running 1995 secs || sara is running 1995 secs || 113470434 markings, 699994233 edges, 70568 markings/sec, 1995 secs
lola: sara is running 2000 secs || sara is running 2000 secs || 113951575 markings, 701616330 edges, 96228 markings/sec, 2000 secs
lola: sara is running 2005 secs || sara is running 2005 secs || 114447855 markings, 703298993 edges, 99256 markings/sec, 2005 secs
lola: sara is running 2010 secs || sara is running 2010 secs || 114804484 markings, 705168921 edges, 71326 markings/sec, 2010 secs
lola: sara is running 2015 secs || sara is running 2015 secs || 115051319 markings, 706902915 edges, 49367 markings/sec, 2015 secs
lola: sara is running 2020 secs || sara is running 2020 secs || 115583074 markings, 708352415 edges, 106351 markings/sec, 2020 secs
lola: sara is running 2025 secs || sara is running 2025 secs || 116043495 markings, 709887006 edges, 92084 markings/sec, 2025 secs
lola: sara is running 2030 secs || sara is running 2030 secs || 116447392 markings, 711451879 edges, 80779 markings/sec, 2030 secs
lola: sara is running 2035 secs || sara is running 2035 secs || 116925607 markings, 712803292 edges, 95643 markings/sec, 2035 secs
lola: sara is running 2040 secs || sara is running 2040 secs || 117382565 markings, 714139802 edges, 91392 markings/sec, 2040 secs
lola: sara is running 2045 secs || sara is running 2045 secs || 117845319 markings, 715448781 edges, 92551 markings/sec, 2045 secs
lola: sara is running 2050 secs || sara is running 2050 secs || 118284905 markings, 716770260 edges, 87917 markings/sec, 2050 secs
lola: sara is running 2055 secs || sara is running 2055 secs || 118693058 markings, 718112878 edges, 81631 markings/sec, 2055 secs
lola: sara is running 2060 secs || sara is running 2060 secs || 119083507 markings, 719439004 edges, 78090 markings/sec, 2060 secs
lola: sara is running 2065 secs || sara is running 2065 secs || 119467692 markings, 720769769 edges, 76837 markings/sec, 2065 secs
lola: sara is running 2070 secs || sara is running 2070 secs || 119839751 markings, 722092169 edges, 74412 markings/sec, 2070 secs
lola: sara is running 2075 secs || sara is running 2075 secs || 120206740 markings, 723371953 edges, 73398 markings/sec, 2075 secs
lola: sara is running 2080 secs || sara is running 2080 secs || 120565748 markings, 724662516 edges, 71802 markings/sec, 2080 secs
lola: sara is running 2085 secs || sara is running 2085 secs || 120921621 markings, 725965029 edges, 71175 markings/sec, 2085 secs
lola: sara is running 2090 secs || sara is running 2090 secs || 121269390 markings, 727286289 edges, 69554 markings/sec, 2090 secs
lola: sara is running 2095 secs || sara is running 2095 secs || 121604647 markings, 728598623 edges, 67051 markings/sec, 2095 secs
lola: sara is running 2100 secs || sara is running 2100 secs || 121947088 markings, 729998604 edges, 68488 markings/sec, 2100 secs
lola: sara is running 2105 secs || sara is running 2105 secs || 122267356 markings, 731365216 edges, 64054 markings/sec, 2105 secs
lola: sara is running 2110 secs || sara is running 2110 secs || 122593821 markings, 732775939 edges, 65293 markings/sec, 2110 secs
lola: sara is running 2115 secs || sara is running 2115 secs || 122912893 markings, 734206598 edges, 63814 markings/sec, 2115 secs
lola: sara is running 2120 secs || sara is running 2120 secs || 123229553 markings, 735633710 edges, 63332 markings/sec, 2120 secs
lola: sara is running 2125 secs || sara is running 2125 secs || 123541625 markings, 737069218 edges, 62414 markings/sec, 2125 secs
lola: sara is running 2130 secs || sara is running 2130 secs || 123847030 markings, 738571202 edges, 61081 markings/sec, 2130 secs
lola: sara is running 2135 secs || sara is running 2135 secs || 124153096 markings, 740086154 edges, 61213 markings/sec, 2135 secs
lola: sara is running 2140 secs || sara is running 2140 secs || 124460054 markings, 741602697 edges, 61392 markings/sec, 2140 secs
lola: sara is running 2145 secs || sara is running 2145 secs || 124778353 markings, 743210000 edges, 63660 markings/sec, 2145 secs
lola: sara is running 2150 secs || sara is running 2150 secs || 125083753 markings, 744845032 edges, 61080 markings/sec, 2150 secs
lola: sara is running 2155 secs || sara is running 2155 secs || 125366421 markings, 746457716 edges, 56534 markings/sec, 2155 secs
lola: sara is running 2160 secs || sara is running 2160 secs || 125660177 markings, 748050063 edges, 58751 markings/sec, 2160 secs
lola: sara is running 2165 secs || sara is running 2165 secs || 125962581 markings, 749547973 edges, 60481 markings/sec, 2165 secs
lola: sara is running 2170 secs || sara is running 2170 secs || 126233398 markings, 751110254 edges, 54163 markings/sec, 2170 secs
lola: sara is running 2175 secs || sara is running 2175 secs || 126512455 markings, 752681438 edges, 55811 markings/sec, 2175 secs
lola: sara is running 2180 secs || sara is running 2180 secs || 126819356 markings, 754289641 edges, 61380 markings/sec, 2180 secs
lola: sara is running 2185 secs || sara is running 2185 secs || 127112537 markings, 755948780 edges, 58636 markings/sec, 2185 secs
lola: sara is running 2190 secs || sara is running 2190 secs || 127414591 markings, 757635577 edges, 60411 markings/sec, 2190 secs
lola: sara is running 2195 secs || sara is running 2195 secs || 127714145 markings, 759310832 edges, 59911 markings/sec, 2195 secs
lola: sara is running 2200 secs || sara is running 2200 secs || 128008358 markings, 760970684 edges, 58843 markings/sec, 2200 secs
lola: sara is running 2205 secs || sara is running 2205 secs || 128281212 markings, 762586248 edges, 54571 markings/sec, 2205 secs
lola: sara is running 2210 secs || sara is running 2210 secs || 128553710 markings, 764262298 edges, 54500 markings/sec, 2210 secs
lola: sara is running 2215 secs || sara is running 2215 secs || 128852152 markings, 765981414 edges, 59688 markings/sec, 2215 secs
lola: sara is running 2220 secs || sara is running 2220 secs || 129138193 markings, 767759869 edges, 57208 markings/sec, 2220 secs
lola: sara is running 2225 secs || sara is running 2225 secs || 129435026 markings, 769563075 edges, 59367 markings/sec, 2225 secs
lola: sara is running 2230 secs || sara is running 2230 secs || 129718705 markings, 771281471 edges, 56736 markings/sec, 2230 secs
lola: sara is running 2235 secs || sara is running 2235 secs || 130007787 markings, 773046555 edges, 57816 markings/sec, 2235 secs
lola: sara is running 2240 secs || sara is running 2240 secs || 130296816 markings, 774816402 edges, 57806 markings/sec, 2240 secs
lola: sara is running 2245 secs || sara is running 2245 secs || 130574529 markings, 776590467 edges, 55543 markings/sec, 2245 secs
lola: sara is running 2250 secs || sara is running 2250 secs || 130848733 markings, 778442133 edges, 54841 markings/sec, 2250 secs
lola: sara is running 2255 secs || sara is running 2255 secs || 131165963 markings, 780334815 edges, 63446 markings/sec, 2255 secs
lola: sara is running 2260 secs || sara is running 2260 secs || 131470806 markings, 782170001 edges, 60969 markings/sec, 2260 secs
lola: sara is running 2265 secs || sara is running 2265 secs || 131799510 markings, 783783666 edges, 65741 markings/sec, 2265 secs
lola: sara is running 2270 secs || sara is running 2270 secs || 132105295 markings, 785251861 edges, 61157 markings/sec, 2270 secs
lola: sara is running 2275 secs || sara is running 2275 secs || 132313158 markings, 786783276 edges, 41573 markings/sec, 2275 secs
lola: sara is running 2280 secs || sara is running 2280 secs || 132501095 markings, 788385909 edges, 37587 markings/sec, 2280 secs
lola: sara is running 2285 secs || sara is running 2285 secs || 132686445 markings, 789921094 edges, 37070 markings/sec, 2285 secs
lola: sara is running 2290 secs || sara is running 2290 secs || 132929640 markings, 791552787 edges, 48639 markings/sec, 2290 secs
lola: sara is running 2295 secs || sara is running 2295 secs || 133208187 markings, 793238324 edges, 55709 markings/sec, 2295 secs
lola: sara is running 2300 secs || sara is running 2300 secs || 133502979 markings, 795064710 edges, 58958 markings/sec, 2300 secs
lola: sara is running 2305 secs || sara is running 2305 secs || 133785325 markings, 796891880 edges, 56469 markings/sec, 2305 secs
lola: sara is running 2310 secs || sara is running 2310 secs || 134093873 markings, 798558667 edges, 61710 markings/sec, 2310 secs
lola: sara is running 2315 secs || sara is running 2315 secs || 134388115 markings, 800368141 edges, 58848 markings/sec, 2315 secs
lola: sara is running 2320 secs || sara is running 2320 secs || 134629504 markings, 802153634 edges, 48278 markings/sec, 2320 secs
lola: sara is running 2325 secs || sara is running 2325 secs || 134911296 markings, 803934195 edges, 56358 markings/sec, 2325 secs
lola: sara is running 2330 secs || sara is running 2330 secs || 135176782 markings, 805492840 edges, 53097 markings/sec, 2330 secs
lola: sara is running 2335 secs || sara is running 2335 secs || 135417310 markings, 807159341 edges, 48106 markings/sec, 2335 secs
lola: sara is running 2340 secs || sara is running 2340 secs || 135625859 markings, 808783852 edges, 41710 markings/sec, 2340 secs
lola: sara is running 2345 secs || sara is running 2345 secs || 135832563 markings, 810463861 edges, 41341 markings/sec, 2345 secs
lola: sara is running 2350 secs || sara is running 2350 secs || 136152585 markings, 812156661 edges, 64004 markings/sec, 2350 secs
lola: sara is running 2355 secs || sara is running 2355 secs || 136427131 markings, 813880905 edges, 54909 markings/sec, 2355 secs
lola: sara is running 2360 secs || sara is running 2360 secs || 136638596 markings, 815564242 edges, 42293 markings/sec, 2360 secs
lola: sara is running 2365 secs || sara is running 2365 secs || 136931480 markings, 817218926 edges, 58577 markings/sec, 2365 secs
lola: sara is running 2370 secs || sara is running 2370 secs || 137226185 markings, 818948099 edges, 58941 markings/sec, 2370 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes unknown
lola:
preliminary result: yes yes unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown
lola: memory consumption: 8330296 KB
lola: lola: time consumption: 3570 secondsmemory consumption: 8330296 KB

lola: lola: time consumption: 3570 secondsprint data as JSON (--json)

lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
rslt: finished

--------------------
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="SmartHome-PT-17"
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 SmartHome-PT-17, 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 r228-oct2-159033547200131"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-17.tgz
mv SmartHome-PT-17 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 ;