About the Execution of ITS-LoLa for NeoElection-PT-4
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15742.230 | 3600000.00 | 3637001.00 | 1216.70 | ?FF?FFF?TFFTFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r174-csrt-158987853000292.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is NeoElection-PT-4, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r174-csrt-158987853000292
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 98K Apr 30 13:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 239K Apr 30 13:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 99K Apr 30 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 279K Apr 30 13:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 30 13:04 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Apr 30 13:04 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 135K Apr 30 13:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 363K Apr 30 13:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 51K Apr 30 13:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 160K Apr 30 13:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 128K Apr 30 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 318K Apr 30 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 46K Apr 30 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 127K Apr 30 13:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 30 13:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.8K Apr 30 13:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 30 13:04 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 30 13:04 instance
-rw-r--r-- 1 mcc users 6 Apr 30 13:04 iscolored
-rw-r--r-- 1 mcc users 2.1M Apr 30 13:04 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 NeoElection-PT-4-CTLFireability-00
FORMULA_NAME NeoElection-PT-4-CTLFireability-01
FORMULA_NAME NeoElection-PT-4-CTLFireability-02
FORMULA_NAME NeoElection-PT-4-CTLFireability-03
FORMULA_NAME NeoElection-PT-4-CTLFireability-04
FORMULA_NAME NeoElection-PT-4-CTLFireability-05
FORMULA_NAME NeoElection-PT-4-CTLFireability-06
FORMULA_NAME NeoElection-PT-4-CTLFireability-07
FORMULA_NAME NeoElection-PT-4-CTLFireability-08
FORMULA_NAME NeoElection-PT-4-CTLFireability-09
FORMULA_NAME NeoElection-PT-4-CTLFireability-10
FORMULA_NAME NeoElection-PT-4-CTLFireability-11
FORMULA_NAME NeoElection-PT-4-CTLFireability-12
FORMULA_NAME NeoElection-PT-4-CTLFireability-13
FORMULA_NAME NeoElection-PT-4-CTLFireability-14
FORMULA_NAME NeoElection-PT-4-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591138072630
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-02 22:47:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-02 22:47:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-02 22:47:55] [INFO ] Load time of PNML (sax parser for PT used): 274 ms
[2020-06-02 22:47:55] [INFO ] Transformed 1830 places.
[2020-06-02 22:47:55] [INFO ] Transformed 2340 transitions.
[2020-06-02 22:47:55] [INFO ] Parsed PT model containing 1830 places and 2340 transitions in 386 ms.
Deduced a syphon composed of 1687 places in 9 ms
Reduce places removed 1699 places and 2213 transitions.
Reduce places removed 9 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 127 ms.
Finished random walk after 71 steps, including 0 resets, run visited all 8 properties in 6 ms. (steps per millisecond=11 )
[2020-06-02 22:47:56] [INFO ] Initial state reduction rules for CTL removed 12 formulas.
[2020-06-02 22:47:56] [INFO ] Flatten gal took : 57 ms
[2020-06-02 22:47:56] [INFO ] Initial state reduction rules for CTL removed 13 formulas.
[2020-06-02 22:47:56] [INFO ] Flatten gal took : 18 ms
FORMULA NeoElection-PT-4-CTLFireability-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-PT-4-CTLFireability-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-PT-4-CTLFireability-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-PT-4-CTLFireability-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-PT-4-CTLFireability-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-PT-4-CTLFireability-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-PT-4-CTLFireability-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-PT-4-CTLFireability-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-PT-4-CTLFireability-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-PT-4-CTLFireability-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-PT-4-CTLFireability-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-PT-4-CTLFireability-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-PT-4-CTLFireability-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-02 22:47:56] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 6 ms.
[2020-06-02 22:47:56] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 11 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ NeoElection-PT-4 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ NeoElection-PT-4
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Tue Jun 2 22:47:56 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1189
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1189
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "((1 <= p102) OR (1 <= p105) OR (1 <= p103) OR (1 <= p104))",
"processed_size": 61,
"rewrites": 5
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 2,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 5772388,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(F(*)) : A(F(DEADLOCK)) : (** OR A(G(E(F(**)))))"
},
"net":
{
"arcs": 650,
"conflict_clusters": 44,
"places": 122,
"places_significant": 87,
"singleton_clusters": 0,
"transitions": 127
},
"result":
{
"interim_value": "unknown unknown unknown ",
"preliminary_value": "unknown unknown unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 249/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 122
lola: finding significant places
lola: 122 places, 127 transitions, 87 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 CTLFireability.xml
lola: NOT(E (G (((((1 <= p0) OR (1 <= p1) OR (1 <= p2) OR (1 <= p3)) AND (((1 <= p87) AND (1 <= p97)) OR ((1 <= p67) AND (1 <= p95)) OR ((1 <= p47) AND (1 <= p94)) OR ((1 <= p91) AND (1 <= p97)) OR ((1 <= p83) AND (1 <= p97)) OR ((1 <= p51) AND (1 <= p94)) OR ((1 <= p55) AND (1 <= p94)) OR ((1 <= p63) AND (1 <= p95)) OR ((1 <= p59) AND (1 <= p95)) OR ((1 <= p71) AND (1 <= p96)) OR ((1 <= p75) AND (1 <= p96)) OR ((1 <= p79) AND (1 <= p96)))) OR (((p9 <= 0) OR (p32 <= 0) OR (p81 <= 0) OR (p96 <= 0)) AND ((p5 <= 0) OR (p11 <= 0) OR (p57 <= 0) OR (p94 <= 0)) AND ((p6 <= 0) OR (p20 <= 0) OR (p65 <= 0) OR (p95 <= 0)) AND ((p6 <= 0) OR (p26 <= 0) OR (p69 <= 0) OR (p95 <= 0)) AND ((p4 <= 0) OR (p11 <= 0) OR (p49 <= 0) OR (p94 <= 0)) AND ((p7 <= 0) OR (p23 <= 0) OR (p65 <= 0) OR (p95 <= 0)) AND ((p5 <= 0) OR (p14 <= 0) OR (p49 <= 0) OR (p94 <= 0)) AND ((p5 <= 0) OR (p14 <= 0) OR (p57 <= 0) OR (p94 <= 0)) AND ((p9 <= 0) OR (p29 <= 0) OR (p81 <= 0) OR (p96 <= 0)) AND ((p4 <= 0) OR (p17 <= 0) OR (p57 <= 0) OR (p94 <= 0)) AND ((p7 <= 0) OR (p23 <= 0) OR (p69 <= 0) OR (p95 <= 0)) AND ((p6 <= 0) OR (p26 <= 0) OR (p65 <= 0) OR (p95 <= 0)) AND ((p4 <= 0) OR (p11 <= 0) OR (p53 <= 0) OR (p94 <= 0)) AND ((p5 <= 0) OR (p11 <= 0) OR (p53 <= 0) OR (p94 <= 0)) AND ((p5 <= 0) OR (p17 <= 0) OR (p53 <= 0) OR (p94 <= 0)) AND ((p7 <= 0) OR (p20 <= 0) OR (p65 <= 0) OR (p95 <= 0)) AND ((p5 <= 0) OR (p14 <= 0) OR (p53 <= 0) OR (p94 <= 0)) AND ((p4 <= 0) OR (p17 <= 0) OR (p53 <= 0) OR (p94 <= 0)) AND ((p8 <= 0) OR (p35 <= 0) OR (p81 <= 0) OR (p96 <= 0)) AND ((p7 <= 0) OR (p26 <= 0) OR (p69 <= 0) OR (p95 <= 0)) AND ((p6 <= 0) OR (p23 <= 0) OR (p65 <= 0) OR (p95 <= 0)) AND ((p4 <= 0) OR (p14 <= 0) OR (p53 <= 0) OR (p94 <= 0)) AND ((p8 <= 0) OR (p32 <= 0) OR (p81 <= 0) OR (p96 <= 0)) AND ((p4 <= 0) OR (p17 <= 0) OR (p49 <= 0) OR (p94 <= 0)) AND ((p4 <= 0) OR (p14 <= 0) OR (p57 <= 0) OR (p94 <= 0)) AND ((p9 <= 0) OR (p35 <= 0) OR (p81 <= 0) OR (p96 <= 0)) AND ((p7 <= 0) OR (p26 <= 0) OR (p65 <= 0) OR (p95 <= 0)) AND ((p5 <= 0) OR (p17 <= 0) OR (p57 <= 0) OR (p94 <= 0)) AND ((p5 <= 0) OR (p11 <= 0) OR (p49 <= 0) OR (p94 <= 0)) AND ((p4 <= 0) OR (p14 <= 0) OR (p49 <= 0) OR (p94 <= 0)) AND ((p6 <= 0) OR (p23 <= 0) OR (p69 <= 0) OR (p95 <= 0)) AND ((p8 <= 0) OR (p29 <= 0) OR (p81 <= 0) OR (p96 <= 0)) AND ((p7 <= 0) OR (p20 <= 0) OR (p69 <= 0) OR (p95 <= 0)) AND ((p5 <= 0) OR (p17 <= 0) OR (p49 <= 0) OR (p94 <= 0)) AND ((p6 <= 0) OR (p20 <= 0) OR (p69 <= 0) OR (p95 <= 0)) AND ((p4 <= 0) OR (p11 <= 0) OR (p57 <= 0) OR (p94 <= 0))))))) : A (F (A (X ((1 <= 0))))) : (((1 <= p102) OR (1 <= p105) OR (1 <= p103) OR (1 <= p104)) OR A (G (E (F ((((1 <= p6) AND (1 <= p62) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p46) AND (1 <= p94)) OR ((1 <= p9) AND (1 <= p78) AND (1 <= p96)) OR ((1 <= p8) AND (1 <= p70) AND (1 <= p96)) OR ((1 <= p82) AND (1 <= p97)) OR ((1 <= p6) AND (1 <= p66) AND (1 <= p95)) OR ((1 <= p7) AND (1 <= p62) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p50) AND (1 <= p94)) OR ((1 <= p5) AND (1 <= p46) AND (1 <= p94)) OR ((1 <= p90) AND (1 <= p97)) OR ((1 <= p5) AND (1 <= p50) AND (1 <= p94)) OR ((1 <= p7) AND (1 <= p58) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p54) AND (1 <= p94)) OR ((1 <= p9) AND (1 <= p74) AND (1 <= p96)) OR ((1 <= p7) AND (1 <= p66) AND (1 <= p95)) OR ((1 <= p8) AND (1 <= p74) AND (1 <= p96)) OR ((1 <= p6) AND (1 <= p58) AND (1 <= p95)) OR ((1 <= p5) AND (1 <= p54) AND (1 <= p94)) OR ((1 <= p9) AND (1 <= p70) AND (1 <= p96)) OR ((1 <= p86) AND (1 <= p97)) OR ((1 <= p8) AND (1 <= p78) AND (1 <= p96))))))))
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: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 (F (DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:776
lola: processed formula: NOT DEADLOCK
lola: processed formula length: 12
lola: 8 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
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: 969427 markings, 4201892 edges, 193885 markings/sec, 0 secs || sara not yet started (preprocessing)
lola: 1839442 markings, 8376808 edges, 174003 markings/sec, 5 secs || sara not yet started (preprocessing)
lola: 2709767 markings, 12505755 edges, 174065 markings/sec, 10 secs || sara not yet started (preprocessing)
lola: 3570786 markings, 16658296 edges, 172204 markings/sec, 15 secs || sara not yet started (preprocessing)
lola: 4369486 markings, 20722887 edges, 159740 markings/sec, 20 secs || sara not yet started (preprocessing)
lola: 5151146 markings, 24795012 edges, 156332 markings/sec, 25 secs || sara not yet started (preprocessing)
lola: 5810721 markings, 28854391 edges, 131915 markings/sec, 30 secs || sara not yet started (preprocessing)
lola: 6594291 markings, 32736985 edges, 156714 markings/sec, 35 secs || sara not yet started (preprocessing)
lola: 7457679 markings, 36836130 edges, 172678 markings/sec, 40 secs || sara not yet started (preprocessing)
lola: 8281215 markings, 40814498 edges, 164707 markings/sec, 45 secs || sara not yet started (preprocessing)
lola: 9017300 markings, 44859753 edges, 147217 markings/sec, 50 secs || sara not yet started (preprocessing)
lola: 9808960 markings, 48707487 edges, 158332 markings/sec, 55 secs || sara not yet started (preprocessing)
lola: 10632836 markings, 52556877 edges, 164775 markings/sec, 60 secs || sara not yet started (preprocessing)
lola: 11379487 markings, 56449638 edges, 149330 markings/sec, 65 secs || sara not yet started (preprocessing)
lola: 12118602 markings, 60280964 edges, 147823 markings/sec, 70 secs || sara not yet started (preprocessing)
lola: 12825938 markings, 63981061 edges, 141467 markings/sec, 75 secs || sara not yet started (preprocessing)
lola: 13549987 markings, 67629594 edges, 144810 markings/sec, 80 secs || sara not yet started (preprocessing)
lola: 14264088 markings, 71350142 edges, 142820 markings/sec, 85 secs || sara not yet started (preprocessing)
lola: 15016242 markings, 75066094 edges, 150431 markings/sec, 90 secs || sara not yet started (preprocessing)
lola: 15784049 markings, 78765467 edges, 153561 markings/sec, 95 secs || sara not yet started (preprocessing)
lola: 16534312 markings, 82481863 edges, 150053 markings/sec, 100 secs || sara not yet started (preprocessing)
lola: 17208296 markings, 86312709 edges, 134797 markings/sec, 105 secs || sara not yet started (preprocessing)
lola: 17978524 markings, 90164098 edges, 154046 markings/sec, 110 secs || sara not yet started (preprocessing)
lola: 18720533 markings, 93960742 edges, 148402 markings/sec, 115 secs || sara not yet started (preprocessing)
lola: 19407919 markings, 97411713 edges, 137477 markings/sec, 120 secs || sara not yet started (preprocessing)
lola: 20169648 markings, 100976841 edges, 152346 markings/sec, 125 secs || sara not yet started (preprocessing)
lola: 20916577 markings, 104590367 edges, 149386 markings/sec, 130 secs || sara not yet started (preprocessing)
lola: 21613048 markings, 108397398 edges, 139294 markings/sec, 135 secs || sara not yet started (preprocessing)
lola: 22316871 markings, 111947291 edges, 140765 markings/sec, 140 secs || sara not yet started (preprocessing)
lola: 23051279 markings, 115670564 edges, 146882 markings/sec, 145 secs || sara not yet started (preprocessing)
lola: 23735159 markings, 119145620 edges, 136776 markings/sec, 150 secs || sara not yet started (preprocessing)
lola: 24437681 markings, 122384450 edges, 140504 markings/sec, 155 secs || sara not yet started (preprocessing)
lola: 25069176 markings, 125737159 edges, 126299 markings/sec, 160 secs || sara not yet started (preprocessing)
lola: 25743878 markings, 129062993 edges, 134940 markings/sec, 165 secs || sara not yet started (preprocessing)
lola: 26367137 markings, 132209786 edges, 124652 markings/sec, 170 secs || sara not yet started (preprocessing)
lola: 26961204 markings, 135270536 edges, 118813 markings/sec, 175 secs || sara not yet started (preprocessing)
lola: 27566778 markings, 138328540 edges, 121115 markings/sec, 180 secs || sara not yet started (preprocessing)
lola: 28177798 markings, 141427426 edges, 122204 markings/sec, 185 secs || sara not yet started (preprocessing)
lola: 28801766 markings, 144559772 edges, 124794 markings/sec, 190 secs || sara not yet started (preprocessing)
lola: 29442201 markings, 147719005 edges, 128087 markings/sec, 195 secs || sara not yet started (preprocessing)
lola: 30117666 markings, 151035477 edges, 135093 markings/sec, 200 secs || sara not yet started (preprocessing)
lola: 30826297 markings, 154459508 edges, 141726 markings/sec, 205 secs || sara not yet started (preprocessing)
lola: 31648296 markings, 158178578 edges, 164400 markings/sec, 210 secs || sara not yet started (preprocessing)
lola: 32396937 markings, 161926236 edges, 149728 markings/sec, 215 secs || sara not yet started (preprocessing)
lola: 33202226 markings, 165757185 edges, 161058 markings/sec, 220 secs || sara not yet started (preprocessing)
lola: 33904340 markings, 169296957 edges, 140423 markings/sec, 225 secs || sara not yet started (preprocessing)
lola: 34596473 markings, 172932208 edges, 138427 markings/sec, 230 secs || sara not yet started (preprocessing)
lola: 35181227 markings, 176534995 edges, 116951 markings/sec, 235 secs || sara not yet started (preprocessing)
lola: 35924193 markings, 180217708 edges, 148593 markings/sec, 240 secs || sara not yet started (preprocessing)
lola: 36690065 markings, 183941704 edges, 153174 markings/sec, 245 secs || sara not yet started (preprocessing)
lola: 37430495 markings, 187641171 edges, 148086 markings/sec, 250 secs || sara not yet started (preprocessing)
lola: 38059465 markings, 191120386 edges, 125794 markings/sec, 255 secs || sara not yet started (preprocessing)
lola: 38770535 markings, 194514079 edges, 142214 markings/sec, 260 secs || sara not yet started (preprocessing)
lola: 39466777 markings, 197964243 edges, 139248 markings/sec, 265 secs || sara not yet started (preprocessing)
lola: 40082021 markings, 201313500 edges, 123049 markings/sec, 270 secs || sara not yet started (preprocessing)
lola: 40687802 markings, 204503108 edges, 121156 markings/sec, 275 secs || sara not yet started (preprocessing)
lola: 41323380 markings, 207758260 edges, 127116 markings/sec, 280 secs || sara not yet started (preprocessing)
lola: 41934262 markings, 210971204 edges, 122176 markings/sec, 285 secs || sara not yet started (preprocessing)
lola: 42578561 markings, 214207508 edges, 128860 markings/sec, 290 secs || sara not yet started (preprocessing)
lola: 43234766 markings, 217414925 edges, 131241 markings/sec, 295 secs || sara not yet started (preprocessing)
lola: 43869847 markings, 220710929 edges, 127016 markings/sec, 300 secs || sara not yet started (preprocessing)
lola: 44486874 markings, 224094477 edges, 123405 markings/sec, 305 secs || sara not yet started (preprocessing)
lola: 45169154 markings, 227662221 edges, 136456 markings/sec, 310 secs || sara not yet started (preprocessing)
lola: 45901925 markings, 231412678 edges, 146554 markings/sec, 315 secs || sara not yet started (preprocessing)
lola: 46704660 markings, 235245556 edges, 160547 markings/sec, 320 secs || sara not yet started (preprocessing)
lola: 47456049 markings, 239041852 edges, 150278 markings/sec, 325 secs || sara not yet started (preprocessing)
lola: 48153178 markings, 242770291 edges, 139426 markings/sec, 330 secs || sara not yet started (preprocessing)
lola: 48895202 markings, 246577405 edges, 148405 markings/sec, 335 secs || sara not yet started (preprocessing)
lola: 49643510 markings, 250266646 edges, 149662 markings/sec, 340 secs || sara not yet started (preprocessing)
lola: 50319910 markings, 253659574 edges, 135280 markings/sec, 345 secs || sara not yet started (preprocessing)
lola: 50968761 markings, 257013699 edges, 129770 markings/sec, 350 secs || sara not yet started (preprocessing)
lola: 51601558 markings, 260288359 edges, 126559 markings/sec, 355 secs || sara not yet started (preprocessing)
lola: 52246331 markings, 263578458 edges, 128955 markings/sec, 360 secs || sara not yet started (preprocessing)
lola: 52876306 markings, 266870782 edges, 125995 markings/sec, 365 secs || sara not yet started (preprocessing)
lola: 53539472 markings, 270246575 edges, 132633 markings/sec, 370 secs || sara not yet started (preprocessing)
lola: 54262910 markings, 273819881 edges, 144688 markings/sec, 375 secs || sara not yet started (preprocessing)
lola: 54959899 markings, 277258703 edges, 139398 markings/sec, 380 secs || sara not yet started (preprocessing)
lola: 55744927 markings, 281092959 edges, 157006 markings/sec, 385 secs || sara not yet started (preprocessing)
lola: 56523830 markings, 285022877 edges, 155781 markings/sec, 390 secs || sara not yet started (preprocessing)
lola: 57203315 markings, 288795033 edges, 135897 markings/sec, 395 secs || sara not yet started (preprocessing)
lola: 57849230 markings, 292311956 edges, 129183 markings/sec, 400 secs || sara not yet started (preprocessing)
lola: 58524748 markings, 295879785 edges, 135104 markings/sec, 405 secs || sara not yet started (preprocessing)
lola: 59207488 markings, 299556766 edges, 136548 markings/sec, 410 secs || sara not yet started (preprocessing)
lola: 59847888 markings, 303113735 edges, 128080 markings/sec, 415 secs || sara not yet started (preprocessing)
lola: 60479666 markings, 306718454 edges, 126356 markings/sec, 420 secs || sara not yet started (preprocessing)
lola: 61084835 markings, 310208501 edges, 121034 markings/sec, 425 secs || sara not yet started (preprocessing)
lola: 61675702 markings, 313844761 edges, 118173 markings/sec, 430 secs || sara not yet started (preprocessing)
lola: 62207142 markings, 317533156 edges, 106288 markings/sec, 435 secs || sara not yet started (preprocessing)
lola: 62836909 markings, 320890877 edges, 125953 markings/sec, 440 secs || sara not yet started (preprocessing)
lola: 63532645 markings, 324453366 edges, 139147 markings/sec, 445 secs || sara not yet started (preprocessing)
lola: 64236815 markings, 328230996 edges, 140834 markings/sec, 450 secs || sara not yet started (preprocessing)
lola: 64932266 markings, 331995930 edges, 139090 markings/sec, 455 secs || sara not yet started (preprocessing)
lola: 65609428 markings, 335866649 edges, 135432 markings/sec, 460 secs || sara not yet started (preprocessing)
lola: 66213948 markings, 339693831 edges, 120904 markings/sec, 465 secs || sara not yet started (preprocessing)
lola: 66914374 markings, 343484710 edges, 140085 markings/sec, 470 secs || sara not yet started (preprocessing)
lola: 67624840 markings, 347254195 edges, 142093 markings/sec, 475 secs || sara not yet started (preprocessing)
lola: 68327538 markings, 351048636 edges, 140540 markings/sec, 480 secs || sara not yet started (preprocessing)
lola: 68949594 markings, 354697194 edges, 124411 markings/sec, 485 secs || sara not yet started (preprocessing)
lola: 69548814 markings, 358386167 edges, 119844 markings/sec, 490 secs || sara not yet started (preprocessing)
lola: 70194543 markings, 361980089 edges, 129146 markings/sec, 495 secs || sara not yet started (preprocessing)
lola: 70804211 markings, 365542960 edges, 121934 markings/sec, 500 secs || sara not yet started (preprocessing)
lola: 71433202 markings, 369085886 edges, 125798 markings/sec, 505 secs || sara not yet started (preprocessing)
lola: 72060407 markings, 372696409 edges, 125441 markings/sec, 510 secs || sara not yet started (preprocessing)
lola: 72675789 markings, 376263704 edges, 123076 markings/sec, 515 secs || sara not yet started (preprocessing)
lola: 73321961 markings, 379791824 edges, 129234 markings/sec, 520 secs || sara not yet started (preprocessing)
lola: 73970703 markings, 383337233 edges, 129748 markings/sec, 525 secs || sara not yet started (preprocessing)
lola: 74623335 markings, 386887991 edges, 130526 markings/sec, 530 secs || sara not yet started (preprocessing)
lola: 75267115 markings, 390469210 edges, 128756 markings/sec, 535 secs || sara not yet started (preprocessing)
lola: 75854138 markings, 394195293 edges, 117405 markings/sec, 540 secs || sara not yet started (preprocessing)
lola: 76486288 markings, 397757809 edges, 126430 markings/sec, 545 secs || sara not yet started (preprocessing)
lola: 77159018 markings, 401583721 edges, 134546 markings/sec, 550 secs || sara not yet started (preprocessing)
lola: 77817519 markings, 405334174 edges, 131700 markings/sec, 555 secs || sara not yet started (preprocessing)
lola: 78455791 markings, 409058199 edges, 127654 markings/sec, 560 secs || sara not yet started (preprocessing)
lola: 79184549 markings, 412917008 edges, 145752 markings/sec, 565 secs || sara not yet started (preprocessing)
lola: 79908116 markings, 416763868 edges, 144713 markings/sec, 570 secs || sara not yet started (preprocessing)
lola: 80595856 markings, 420522607 edges, 137548 markings/sec, 575 secs || sara not yet started (preprocessing)
lola: 81214249 markings, 424237183 edges, 123679 markings/sec, 580 secs || sara not yet started (preprocessing)
lola: 81838668 markings, 427895926 edges, 124884 markings/sec, 585 secs || sara not yet started (preprocessing)
lola: 82532161 markings, 431637855 edges, 138699 markings/sec, 590 secs || sara not yet started (preprocessing)
lola: 83184508 markings, 435351234 edges, 130469 markings/sec, 595 secs || sara not yet started (preprocessing)
lola: 83836978 markings, 439094606 edges, 130494 markings/sec, 600 secs || sara not yet started (preprocessing)
lola: 84497610 markings, 442601465 edges, 132126 markings/sec, 605 secs || sara not yet started (preprocessing)
lola: 85119807 markings, 445994844 edges, 124439 markings/sec, 610 secs || sara not yet started (preprocessing)
lola: 85672085 markings, 449355847 edges, 110456 markings/sec, 615 secs || sara not yet started (preprocessing)
lola: 86300893 markings, 452688494 edges, 125762 markings/sec, 620 secs || sara not yet started (preprocessing)
lola: 86869054 markings, 455925574 edges, 113632 markings/sec, 625 secs || sara not yet started (preprocessing)
lola: 87438288 markings, 459191870 edges, 113847 markings/sec, 630 secs || sara not yet started (preprocessing)
lola: 88005702 markings, 462435226 edges, 113483 markings/sec, 635 secs || sara not yet started (preprocessing)
lola: 88560589 markings, 465520268 edges, 110977 markings/sec, 640 secs || sara not yet started (preprocessing)
lola: 89115485 markings, 468723891 edges, 110979 markings/sec, 645 secs || sara not yet started (preprocessing)
lola: 89732199 markings, 472066740 edges, 123343 markings/sec, 650 secs || sara not yet started (preprocessing)
lola: 90292566 markings, 475301853 edges, 112073 markings/sec, 655 secs || sara not yet started (preprocessing)
lola: 91038904 markings, 478976883 edges, 149268 markings/sec, 660 secs || sara not yet started (preprocessing)
lola: 91840756 markings, 482744569 edges, 160370 markings/sec, 665 secs || sara not yet started (preprocessing)
lola: 92530275 markings, 486451251 edges, 137904 markings/sec, 670 secs || sara not yet started (preprocessing)
lola: 93230682 markings, 490064600 edges, 140081 markings/sec, 675 secs || sara not yet started (preprocessing)
lola: 93972565 markings, 493701679 edges, 148377 markings/sec, 680 secs || sara not yet started (preprocessing)
lola: 94628506 markings, 497175298 edges, 131188 markings/sec, 685 secs || sara not yet started (preprocessing)
lola: 95264940 markings, 500538372 edges, 127287 markings/sec, 690 secs || sara not yet started (preprocessing)
lola: 95877734 markings, 503875465 edges, 122559 markings/sec, 695 secs || sara not yet started (preprocessing)
lola: 96481693 markings, 507193856 edges, 120792 markings/sec, 700 secs || sara not yet started (preprocessing)
lola: 97042695 markings, 510546808 edges, 112200 markings/sec, 705 secs || sara not yet started (preprocessing)
lola: 97562446 markings, 514053311 edges, 103950 markings/sec, 710 secs || sara not yet started (preprocessing)
lola: 98224738 markings, 517474566 edges, 132458 markings/sec, 715 secs || sara not yet started (preprocessing)
lola: 98916109 markings, 521073033 edges, 138274 markings/sec, 720 secs || sara not yet started (preprocessing)
lola: 99595168 markings, 524493257 edges, 135812 markings/sec, 725 secs || sara not yet started (preprocessing)
lola: 100296985 markings, 528120847 edges, 140363 markings/sec, 730 secs || sara not yet started (preprocessing)
lola: 100911337 markings, 531496582 edges, 122870 markings/sec, 735 secs || sara not yet started (preprocessing)
lola: 101456251 markings, 534830100 edges, 108983 markings/sec, 740 secs || sara not yet started (preprocessing)
lola: 102103764 markings, 538129335 edges, 129503 markings/sec, 745 secs || sara not yet started (preprocessing)
lola: 102763684 markings, 541416311 edges, 131984 markings/sec, 750 secs || sara not yet started (preprocessing)
lola: 103402388 markings, 544679950 edges, 127741 markings/sec, 755 secs || sara not yet started (preprocessing)
lola: 104010084 markings, 547969197 edges, 121539 markings/sec, 760 secs || sara not yet started (preprocessing)
lola: 104545417 markings, 551234907 edges, 107067 markings/sec, 765 secs || sara not yet started (preprocessing)
lola: 105222840 markings, 554765468 edges, 135485 markings/sec, 770 secs || sara not yet started (preprocessing)
lola: 105793513 markings, 558022111 edges, 114135 markings/sec, 775 secs || sara not yet started (preprocessing)
lola: 106384561 markings, 561221233 edges, 118210 markings/sec, 780 secs || sara not yet started (preprocessing)
lola: 107007173 markings, 564527241 edges, 124522 markings/sec, 785 secs || sara not yet started (preprocessing)
lola: 107541372 markings, 567584819 edges, 106840 markings/sec, 790 secs || sara not yet started (preprocessing)
lola: 108108504 markings, 570656731 edges, 113426 markings/sec, 795 secs || sara not yet started (preprocessing)
lola: 108706905 markings, 573770352 edges, 119680 markings/sec, 800 secs || sara not yet started (preprocessing)
lola: 109337725 markings, 576996430 edges, 126164 markings/sec, 805 secs || sara not yet started (preprocessing)
lola: 109950717 markings, 580184743 edges, 122598 markings/sec, 810 secs || sara not yet started (preprocessing)
lola: 110532721 markings, 583298562 edges, 116401 markings/sec, 815 secs || sara not yet started (preprocessing)
lola: 111064904 markings, 586527664 edges, 106437 markings/sec, 820 secs || sara not yet started (preprocessing)
lola: 111626439 markings, 589718168 edges, 112307 markings/sec, 825 secs || sara not yet started (preprocessing)
lola: 112279362 markings, 593229738 edges, 130585 markings/sec, 830 secs || sara not yet started (preprocessing)
lola: 112922160 markings, 596768384 edges, 128560 markings/sec, 835 secs || sara not yet started (preprocessing)
lola: 113566188 markings, 600316799 edges, 128806 markings/sec, 840 secs || sara not yet started (preprocessing)
lola: 114283655 markings, 603982306 edges, 143493 markings/sec, 845 secs || sara not yet started (preprocessing)
lola: 115000581 markings, 607578547 edges, 143385 markings/sec, 850 secs || sara not yet started (preprocessing)
lola: 115698580 markings, 611173138 edges, 139600 markings/sec, 855 secs || sara not yet started (preprocessing)
lola: 116321200 markings, 614595560 edges, 124524 markings/sec, 860 secs || sara not yet started (preprocessing)
lola: 116903137 markings, 618075229 edges, 116387 markings/sec, 865 secs || sara not yet started (preprocessing)
lola: 117584424 markings, 621663765 edges, 136257 markings/sec, 870 secs || sara not yet started (preprocessing)
lola: 118227305 markings, 625212309 edges, 128576 markings/sec, 875 secs || sara not yet started (preprocessing)
lola: 118913728 markings, 628877047 edges, 137285 markings/sec, 880 secs || sara not yet started (preprocessing)
lola: 119608572 markings, 632366386 edges, 138969 markings/sec, 885 secs || sara not yet started (preprocessing)
lola: 120246402 markings, 635680237 edges, 127566 markings/sec, 890 secs || sara not yet started (preprocessing)
lola: 120820898 markings, 638948948 edges, 114899 markings/sec, 895 secs || sara not yet started (preprocessing)
lola: 121438409 markings, 642215994 edges, 123502 markings/sec, 900 secs || sara not yet started (preprocessing)
lola: 122038731 markings, 645453307 edges, 120064 markings/sec, 905 secs || sara not yet started (preprocessing)
lola: 122627265 markings, 648642935 edges, 117707 markings/sec, 910 secs || sara not yet started (preprocessing)
lola: 123209194 markings, 651848577 edges, 116386 markings/sec, 915 secs || sara not yet started (preprocessing)
lola: 123791086 markings, 654919441 edges, 116378 markings/sec, 920 secs || sara not yet started (preprocessing)
lola: 124363561 markings, 658123982 edges, 114495 markings/sec, 925 secs || sara not yet started (preprocessing)
lola: 124999127 markings, 661401938 edges, 127113 markings/sec, 930 secs || sara not yet started (preprocessing)
lola: 125573464 markings, 664595373 edges, 114867 markings/sec, 935 secs || sara not yet started (preprocessing)
lola: 126250870 markings, 667988920 edges, 135481 markings/sec, 940 secs || sara not yet started (preprocessing)
lola: 126894958 markings, 671280704 edges, 128818 markings/sec, 945 secs || sara not yet started (preprocessing)
lola: 127555242 markings, 674632967 edges, 132057 markings/sec, 950 secs || sara not yet started (preprocessing)
lola: 128247375 markings, 678114339 edges, 138427 markings/sec, 955 secs || sara not yet started (preprocessing)
lola: 128909559 markings, 681577479 edges, 132437 markings/sec, 960 secs || sara not yet started (preprocessing)
lola: 129751948 markings, 685532376 edges, 168478 markings/sec, 965 secs || sara not yet started (preprocessing)
lola: 130530715 markings, 689419934 edges, 155753 markings/sec, 970 secs || sara not yet started (preprocessing)
lola: 131252091 markings, 693212308 edges, 144275 markings/sec, 975 secs || sara not yet started (preprocessing)
lola: 131981416 markings, 697012571 edges, 145865 markings/sec, 980 secs || sara not yet started (preprocessing)
lola: 132733818 markings, 700771887 edges, 150480 markings/sec, 985 secs || sara not yet started (preprocessing)
lola: 133442453 markings, 704569023 edges, 141727 markings/sec, 990 secs || sara not yet started (preprocessing)
lola: 134148824 markings, 708428453 edges, 141274 markings/sec, 995 secs || sara not yet started (preprocessing)
lola: 134817543 markings, 712147790 edges, 133744 markings/sec, 1000 secs || sara not yet started (preprocessing)
lola: 135433607 markings, 715865063 edges, 123213 markings/sec, 1005 secs || sara not yet started (preprocessing)
lola: 136003922 markings, 719588294 edges, 114063 markings/sec, 1010 secs || sara not yet started (preprocessing)
lola: 136744110 markings, 723255572 edges, 148038 markings/sec, 1015 secs || sara not yet started (preprocessing)
lola: 137506300 markings, 727173847 edges, 152438 markings/sec, 1020 secs || sara not yet started (preprocessing)
lola: 138253230 markings, 731006147 edges, 149386 markings/sec, 1025 secs || sara not yet started (preprocessing)
lola: 138996874 markings, 734873902 edges, 148729 markings/sec, 1030 secs || sara not yet started (preprocessing)
lola: 139641232 markings, 738740555 edges, 128872 markings/sec, 1035 secs || sara not yet started (preprocessing)
lola: 140319304 markings, 742385825 edges, 135614 markings/sec, 1040 secs || sara not yet started (preprocessing)
lola: 141041983 markings, 746050250 edges, 144536 markings/sec, 1045 secs || sara not yet started (preprocessing)
lola: 141745701 markings, 749665877 edges, 140744 markings/sec, 1050 secs || sara not yet started (preprocessing)
lola: 142397897 markings, 753213221 edges, 130439 markings/sec, 1055 secs || sara not yet started (preprocessing)
lola: 142996219 markings, 756865905 edges, 119664 markings/sec, 1060 secs || sara not yet started (preprocessing)
lola: 143668119 markings, 760385900 edges, 134380 markings/sec, 1065 secs || sara not yet started (preprocessing)
lola: 144269645 markings, 763770476 edges, 120305 markings/sec, 1070 secs || sara not yet started (preprocessing)
lola: 144878175 markings, 767175189 edges, 121706 markings/sec, 1075 secs || sara not yet started (preprocessing)
lola: 145537812 markings, 770642428 edges, 131927 markings/sec, 1080 secs || sara not yet started (preprocessing)
lola: 146152340 markings, 774090732 edges, 122906 markings/sec, 1085 secs || sara not yet started (preprocessing)
lola: 146779814 markings, 777525307 edges, 125495 markings/sec, 1090 secs || sara not yet started (preprocessing)
lola: 147458992 markings, 781032014 edges, 135836 markings/sec, 1095 secs || sara not yet started (preprocessing)
lola: 148129603 markings, 784503153 edges, 134122 markings/sec, 1100 secs || sara not yet started (preprocessing)
lola: 148783910 markings, 787937431 edges, 130861 markings/sec, 1105 secs || sara not yet started (preprocessing)
lola: 149394390 markings, 791567445 edges, 122096 markings/sec, 1110 secs || sara not yet started (preprocessing)
lola: 150013921 markings, 795094333 edges, 123906 markings/sec, 1115 secs || sara not yet started (preprocessing)
lola: 150709706 markings, 798817248 edges, 139157 markings/sec, 1120 secs || sara not yet started (preprocessing)
lola: 151392051 markings, 802580788 edges, 136469 markings/sec, 1125 secs || sara not yet started (preprocessing)
lola: 152051844 markings, 806246570 edges, 131959 markings/sec, 1130 secs || sara not yet started (preprocessing)
lola: 152788949 markings, 809975497 edges, 147421 markings/sec, 1135 secs || sara not yet started (preprocessing)
lola: 153516194 markings, 813681113 edges, 145449 markings/sec, 1140 secs || sara not yet started (preprocessing)
lola: 154220525 markings, 817346081 edges, 140866 markings/sec, 1145 secs || sara not yet started (preprocessing)
lola: 154849677 markings, 820971411 edges, 125830 markings/sec, 1150 secs || sara not yet started (preprocessing)
lola: 155483128 markings, 824555493 edges, 126690 markings/sec, 1155 secs || sara not yet started (preprocessing)
lola: 156118872 markings, 827865514 edges, 127149 markings/sec, 1160 secs || sara not yet started (preprocessing)
lola: 156759018 markings, 831354120 edges, 128029 markings/sec, 1165 secs || sara not yet started (preprocessing)
lola: 157403537 markings, 834872553 edges, 128904 markings/sec, 1170 secs || sara not yet started (preprocessing)
lola: 158065018 markings, 838233165 edges, 132296 markings/sec, 1175 secs || sara not yet started (preprocessing)
lola: 158697717 markings, 841512912 edges, 126540 markings/sec, 1180 secs || sara not yet started (preprocessing)
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown
lola: memory consumption: 5853984 KB
lola: time consumption: 1193 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 1188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((((p0 <= 0) AND (p1 <= 0) AND (p2 <= 0) AND (p3 <= 0)) OR (((p87 <= 0) OR (p97 <= 0)) AND ((p67 <= 0) OR (p95 <= 0)) AND ((p47 <= 0) OR (p94 <= 0)) AND ((p91 <= 0) OR (p97 <= 0)) AND ((p83 <= 0) OR (p97 <= 0)) AND ((p51 <= 0) OR (p94 <= 0)) AND ((p55 <= 0) OR (p94 <= 0)) AND ((p63 <= 0) OR (p95 <= 0)) AND ((p59 <= 0) OR (p95 <= 0)) AND ((p71 <= 0) OR (p96 <= 0)) AND ((p75 <= 0) O... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: ((((1 <= p0) OR (1 <= p1) OR (1 <= p2) OR (1 <= p3)) AND (((1 <= p87) AND (1 <= p97)) OR ((1 <= p67) AND (1 <= p95)) OR ((1 <= p47) AND (1 <= p94)) OR ((1 <= p91) AND (1 <= p97)) OR ((1 <= p83) AND (1 <= p97)) OR ((1 <= p51) AND (1 <= p94)) OR ((1 <= p55) AND (1 <= p94)) OR ((1 <= p63) AND (1 <= p95)) OR ((1 <= p59) AND (1 <= p95)) OR ((1 <= p71) AND (1 <= p96)) OR ((1 <= p75) AND (1 ... (shortened)
lola: processed formula length: 2641
lola: 8 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((((p0 <= 0) AND (p1 <= 0) AND (p2 <= 0) AND (p3 <= 0)) OR (((p87 <= 0) OR (p97 <= 0)) AND ((p67 <= 0) OR (p95 <= 0)) AND ((p47 <= 0) OR (p94 <= 0)) AND ((p91 <= 0) OR (p97 <= 0)) AND ((p83 <= 0) OR (p97 <= 0)) AND ((p51 <= 0) OR (p94 <= 0)) AND ((p55 <= 0) OR (p94 <= 0)) AND ((p63 <= 0) OR (p95 <= 0)) AND ((p59 <= 0) OR (p95 <= 0)) AND ((p71 <= 0) OR (p96 <= 0)) AND ((p75 <= 0) OR (p96 <= 0)) AND ((p79 <= 0) OR (p96 <= 0)))) AND (((1 <= p9) AND (1 <= p32) AND (1 <= p81) AND (1 <= p96)) OR ((1 <= p5) AND (1 <= p11) AND (1 <= p57) AND (1 <= p94)) OR ((1 <= p6) AND (1 <= p20) AND (1 <= p65) AND (1 <= p95)) OR ((1 <= p6) AND (1 <= p26) AND (1 <= p69) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p11) AND (1 <= p49) AND (1 <= p94)) OR ((1 <= p7) AND (1 <= p23) AND (1 <= p65) AND (1 <= p95)) OR ((1 <= p5) AND (1 <= p14) AND (1 <= p49) AND (1 <= p94)) OR ((1 <= p5) AND (1 <= p14) AND (1 <= p57) AND (1 <= p94)) OR ((1 <= p9) AND (1 <= p29) AND (1 <= p81) AND (1 <= p96)) OR ((1 <= p4) AND (1 <= p17) AND (1 <= p57) AND (1 <= p94)) OR ((1 <= p7) AND (1 <= p23) AND (1 <= p69) AND (1 <= p95)) OR ((1 <= p6) AND (1 <= p26) AND (1 <= p65) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p11) AND (1 <= p53) AND (1 <= p94)) OR ((1 <= p5) AND (1 <= p11) AND (1 <= p53) AND (1 <= p94)) OR ((1 <= p5) AND (1 <= p17) AND (1 <= p53) AND (1 <= p94)) OR ((1 <= p7) AND (1 <= p20) AND (1 <= p65) AND (1 <= p95)) OR ((1 <= p5) AND (1 <= p14) AND (1 <= p53) AND (1 <= p94)) OR ((1 <= p4) AND (1 <= p17) AND (1 <= p53) AND (1 <= p94)) OR ((1 <= p8) AND (1 <= p35) AND (1 <= p81) AND (1 <= p96)) OR ((1 <= p7) AND (1 <= p26) AND (1 <= p69) AND (1 <= p95)) OR ((1 <= p6) AND (1 <= p23) AND (1 <= p65) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p14) AND (1 <= p53) AND (1 <= p94)) OR ((1 <= p8) AND (1 <= p32) AND (1 <= p81) AND (1 <= p96)) OR ((1 <= p4) AND (1 <= p17) AND (1 <= p49) AND (1 <= p94)) OR ((1 <= p4) AND (1 <= p14) AND (1 <= p57) AND (1 <= p94)) OR ((1 <= p9) AND (1 <= p35) AND (1 <= p81) AND (1 <= p96)) OR ((1 <= p7) AND (1 <= p26) AND (1 <= p65) AND (1 <= p95)) OR ((1 <= p5) AND (1 <= p17) AND (1 <= p57) AND (1 <= p94)) OR ((1 <= p5) AND (1 <= p11) AND (1 <= p49) AND (1 <= p94)) OR ((1 <= p4) AND (1 <= p14) AND (1 <= p49) AND (1 <= p94)) OR ((1 <= p6) AND (1 <= p23) AND (1 <= p69) AND (1 <= p95)) OR ((1 <= p8) AND (1 <= p29) AND (1 <= p81) AND (1 <= p96)) OR ((1 <= p7) AND (1 <= p20) AND (1 <= p69) AND (1 <= p95)) OR ((1 <= p5) AND (1 <= p17) AND (1 <= p49) AND (1 <= p94)) OR ((1 <= p6) AND (1 <= p20) AND (1 <= p69) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p11) AND (1 <= p57) AND (1 <= p94))))
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: 1036139 markings, 2651043 edges, 207228 markings/sec, 0 secs || sara not yet started (preprocessing)
lola: 2033297 markings, 5227125 edges, 199432 markings/sec, 5 secs || sara not yet started (preprocessing)
lola: 2995580 markings, 7834395 edges, 192457 markings/sec, 10 secs || sara not yet started (preprocessing)
lola: 3946580 markings, 10399762 edges, 190200 markings/sec, 15 secs || sara not yet started (preprocessing)
lola: 4925322 markings, 12992813 edges, 195748 markings/sec, 20 secs || sara not yet started (preprocessing)
lola: 5855186 markings, 15504524 edges, 185973 markings/sec, 25 secs || sara not yet started (preprocessing)
lola: 6748116 markings, 18068062 edges, 178586 markings/sec, 30 secs || sara not yet started (preprocessing)
lola: 7744398 markings, 20618165 edges, 199256 markings/sec, 35 secs || sara not yet started (preprocessing)
lola: 8703647 markings, 23113391 edges, 191850 markings/sec, 40 secs || sara not yet started (preprocessing)
lola: 9623717 markings, 25574524 edges, 184014 markings/sec, 45 secs || sara not yet started (preprocessing)
lola: 10591024 markings, 28202349 edges, 193461 markings/sec, 50 secs || sara not yet started (preprocessing)
lola: 11634971 markings, 30925817 edges, 208789 markings/sec, 55 secs || sara not yet started (preprocessing)
lola: 12569344 markings, 33409020 edges, 186875 markings/sec, 60 secs || sara not yet started (preprocessing)
lola: 13511487 markings, 35935409 edges, 188429 markings/sec, 65 secs || sara not yet started (preprocessing)
lola: 14513786 markings, 38547256 edges, 200460 markings/sec, 70 secs || sara not yet started (preprocessing)
lola: 15519936 markings, 41259700 edges, 201230 markings/sec, 75 secs || sara not yet started (preprocessing)
lola: 16501417 markings, 43860097 edges, 196296 markings/sec, 80 secs || sara not yet started (preprocessing)
lola: 17489884 markings, 46561079 edges, 197693 markings/sec, 85 secs || sara not yet started (preprocessing)
lola: 18519761 markings, 49353480 edges, 205975 markings/sec, 90 secs || sara not yet started (preprocessing)
lola: 19576366 markings, 52164980 edges, 211321 markings/sec, 95 secs || sara not yet started (preprocessing)
lola: 20595984 markings, 54927554 edges, 203924 markings/sec, 100 secs || sara not yet started (preprocessing)
lola: 21598980 markings, 57679012 edges, 200599 markings/sec, 105 secs || sara not yet started (preprocessing)
lola: 22673131 markings, 60571785 edges, 214830 markings/sec, 110 secs || sara not yet started (preprocessing)
lola: 23710688 markings, 63511215 edges, 207511 markings/sec, 115 secs || sara not yet started (preprocessing)
lola: 24694364 markings, 66400158 edges, 196735 markings/sec, 120 secs || sara not yet started (preprocessing)
lola: 25679905 markings, 69261410 edges, 197108 markings/sec, 125 secs || sara not yet started (preprocessing)
lola: 26651085 markings, 72137353 edges, 194236 markings/sec, 130 secs || sara not yet started (preprocessing)
lola: 27609717 markings, 74949095 edges, 191726 markings/sec, 135 secs || sara not yet started (preprocessing)
lola: 28598787 markings, 77704522 edges, 197814 markings/sec, 140 secs || sara not yet started (preprocessing)
lola: 29553747 markings, 80451916 edges, 190992 markings/sec, 145 secs || sara not yet started (preprocessing)
lola: 30537010 markings, 83242000 edges, 196653 markings/sec, 150 secs || sara not yet started (preprocessing)
lola: 31496272 markings, 85993885 edges, 191852 markings/sec, 155 secs || sara not yet started (preprocessing)
lola: 32444508 markings, 88654865 edges, 189647 markings/sec, 160 secs || sara not yet started (preprocessing)
lola: 33334759 markings, 91224266 edges, 178050 markings/sec, 165 secs || sara not yet started (preprocessing)
lola: 34189623 markings, 93738356 edges, 170973 markings/sec, 170 secs || sara not yet started (preprocessing)
lola: 35083646 markings, 96323063 edges, 178805 markings/sec, 175 secs || sara not yet started (preprocessing)
lola: 35998030 markings, 98902407 edges, 182877 markings/sec, 180 secs || sara not yet started (preprocessing)
lola: 36872857 markings, 101426116 edges, 174965 markings/sec, 185 secs || sara not yet started (preprocessing)
lola: 37729484 markings, 103934414 edges, 171325 markings/sec, 190 secs || sara not yet started (preprocessing)
lola: 38705394 markings, 106393577 edges, 195182 markings/sec, 195 secs || sara not yet started (preprocessing)
lola: 39644661 markings, 108764650 edges, 187853 markings/sec, 200 secs || sara not yet started (preprocessing)
lola: 40592526 markings, 111204627 edges, 189573 markings/sec, 205 secs || sara not yet started (preprocessing)
lola: 41548228 markings, 113742494 edges, 191140 markings/sec, 210 secs || sara not yet started (preprocessing)
lola: 42537297 markings, 116219495 edges, 197814 markings/sec, 215 secs || sara not yet started (preprocessing)
lola: 43440538 markings, 118559770 edges, 180648 markings/sec, 220 secs || sara not yet started (preprocessing)
lola: 44351944 markings, 120851677 edges, 182281 markings/sec, 225 secs || sara not yet started (preprocessing)
lola: 45253783 markings, 123125907 edges, 180368 markings/sec, 230 secs || sara not yet started (preprocessing)
lola: 46111608 markings, 125358342 edges, 171565 markings/sec, 235 secs || sara not yet started (preprocessing)
lola: 47042470 markings, 127789921 edges, 186172 markings/sec, 240 secs || sara not yet started (preprocessing)
lola: 48007067 markings, 130237909 edges, 192919 markings/sec, 245 secs || sara not yet started (preprocessing)
lola: 48913718 markings, 132633409 edges, 181330 markings/sec, 250 secs || sara not yet started (preprocessing)
lola: 49830623 markings, 135046593 edges, 183381 markings/sec, 255 secs || sara not yet started (preprocessing)
lola: 50760337 markings, 137660127 edges, 185943 markings/sec, 260 secs || sara not yet started (preprocessing)
lola: 51681454 markings, 140295920 edges, 184223 markings/sec, 265 secs || sara not yet started (preprocessing)
lola: 52580235 markings, 142733910 edges, 179756 markings/sec, 270 secs || sara not yet started (preprocessing)
lola: 53475254 markings, 145201492 edges, 179004 markings/sec, 275 secs || sara not yet started (preprocessing)
lola: 54325020 markings, 147537914 edges, 169953 markings/sec, 280 secs || sara not yet started (preprocessing)
lola: 55157552 markings, 149858402 edges, 166506 markings/sec, 285 secs || sara not yet started (preprocessing)
lola: 56024784 markings, 152272027 edges, 173446 markings/sec, 290 secs || sara not yet started (preprocessing)
lola: 56877451 markings, 154673834 edges, 170533 markings/sec, 295 secs || sara not yet started (preprocessing)
lola: 57758689 markings, 157038151 edges, 176248 markings/sec, 300 secs || sara not yet started (preprocessing)
lola: 58716930 markings, 159601776 edges, 191648 markings/sec, 305 secs || sara not yet started (preprocessing)
lola: 59658533 markings, 162118285 edges, 188321 markings/sec, 310 secs || sara not yet started (preprocessing)
lola: 60575902 markings, 164592489 edges, 183474 markings/sec, 315 secs || sara not yet started (preprocessing)
lola: 61467267 markings, 167079611 edges, 178273 markings/sec, 320 secs || sara not yet started (preprocessing)
lola: 62400913 markings, 169495622 edges, 186729 markings/sec, 325 secs || sara not yet started (preprocessing)
lola: 63326543 markings, 172001852 edges, 185126 markings/sec, 330 secs || sara not yet started (preprocessing)
lola: 64228765 markings, 174398769 edges, 180444 markings/sec, 335 secs || sara not yet started (preprocessing)
lola: 65121543 markings, 176763871 edges, 178556 markings/sec, 340 secs || sara not yet started (preprocessing)
lola: 66030797 markings, 179212784 edges, 181851 markings/sec, 345 secs || sara not yet started (preprocessing)
lola: 66961531 markings, 181793605 edges, 186147 markings/sec, 350 secs || sara not yet started (preprocessing)
lola: 67941806 markings, 184390086 edges, 196055 markings/sec, 355 secs || sara not yet started (preprocessing)
lola: 68911365 markings, 187009040 edges, 193912 markings/sec, 360 secs || sara not yet started (preprocessing)
lola: 69845095 markings, 189699606 edges, 186746 markings/sec, 365 secs || sara not yet started (preprocessing)
lola: 70774937 markings, 192397117 edges, 185968 markings/sec, 370 secs || sara not yet started (preprocessing)
lola: 71701460 markings, 195132428 edges, 185305 markings/sec, 375 secs || sara not yet started (preprocessing)
lola: 72630211 markings, 197768740 edges, 185750 markings/sec, 380 secs || sara not yet started (preprocessing)
lola: 73565587 markings, 200447097 edges, 187075 markings/sec, 385 secs || sara not yet started (preprocessing)
lola: 74488211 markings, 203078495 edges, 184525 markings/sec, 390 secs || sara not yet started (preprocessing)
lola: 75378451 markings, 205685596 edges, 178048 markings/sec, 395 secs || sara not yet started (preprocessing)
lola: 76307046 markings, 208346913 edges, 185719 markings/sec, 400 secs || sara not yet started (preprocessing)
lola: 77236872 markings, 210931795 edges, 185965 markings/sec, 405 secs || sara not yet started (preprocessing)
lola: 78285756 markings, 213566601 edges, 209777 markings/sec, 410 secs || sara not yet started (preprocessing)
lola: 79316650 markings, 216235443 edges, 206179 markings/sec, 415 secs || sara not yet started (preprocessing)
lola: 80306547 markings, 218901802 edges, 197979 markings/sec, 420 secs || sara not yet started (preprocessing)
lola: 81319224 markings, 221503498 edges, 202535 markings/sec, 425 secs || sara not yet started (preprocessing)
lola: 82275957 markings, 224034145 edges, 191347 markings/sec, 430 secs || sara not yet started (preprocessing)
lola: 83287701 markings, 226615895 edges, 202349 markings/sec, 435 secs || sara not yet started (preprocessing)
lola: 84263312 markings, 229103092 edges, 195122 markings/sec, 440 secs || sara not yet started (preprocessing)
lola: 85206212 markings, 231566843 edges, 188580 markings/sec, 445 secs || sara not yet started (preprocessing)
lola: 86183593 markings, 234193971 edges, 195476 markings/sec, 450 secs || sara not yet started (preprocessing)
lola: 87202417 markings, 236822982 edges, 203765 markings/sec, 455 secs || sara not yet started (preprocessing)
lola: 88194728 markings, 239409601 edges, 198462 markings/sec, 460 secs || sara not yet started (preprocessing)
lola: 89156752 markings, 242086087 edges, 192405 markings/sec, 465 secs || sara not yet started (preprocessing)
lola: 90101991 markings, 244797209 edges, 189048 markings/sec, 470 secs || sara not yet started (preprocessing)
lola: 91018007 markings, 247420806 edges, 183203 markings/sec, 475 secs || sara not yet started (preprocessing)
lola: 91957667 markings, 250053498 edges, 187932 markings/sec, 480 secs || sara not yet started (preprocessing)
lola: 92895614 markings, 252672945 edges, 187589 markings/sec, 485 secs || sara not yet started (preprocessing)
lola: 93791437 markings, 255167740 edges, 179165 markings/sec, 490 secs || sara not yet started (preprocessing)
lola: 94730431 markings, 257810155 edges, 187799 markings/sec, 495 secs || sara not yet started (preprocessing)
lola: 95689175 markings, 260529793 edges, 191749 markings/sec, 500 secs || sara not yet started (preprocessing)
lola: 96719828 markings, 263085271 edges, 206131 markings/sec, 505 secs || sara not yet started (preprocessing)
lola: 97669538 markings, 265455980 edges, 189942 markings/sec, 510 secs || sara not yet started (preprocessing)
lola: 98596573 markings, 267740055 edges, 185407 markings/sec, 515 secs || sara not yet started (preprocessing)
lola: 99542572 markings, 270084278 edges, 189200 markings/sec, 520 secs || sara not yet started (preprocessing)
lola: 100541133 markings, 272555904 edges, 199712 markings/sec, 525 secs || sara not yet started (preprocessing)
lola: 101453327 markings, 275042082 edges, 182439 markings/sec, 530 secs || sara not yet started (preprocessing)
lola: 102352776 markings, 277420736 edges, 179890 markings/sec, 535 secs || sara not yet started (preprocessing)
lola: 103247364 markings, 279841321 edges, 178918 markings/sec, 540 secs || sara not yet started (preprocessing)
lola: 104090194 markings, 282282309 edges, 168566 markings/sec, 545 secs || sara not yet started (preprocessing)
lola: 105053207 markings, 284768157 edges, 192603 markings/sec, 550 secs || sara not yet started (preprocessing)
lola: 106022596 markings, 287272593 edges, 193878 markings/sec, 555 secs || sara not yet started (preprocessing)
lola: 107009555 markings, 289794740 edges, 197392 markings/sec, 560 secs || sara not yet started (preprocessing)
lola: 107942101 markings, 292212559 edges, 186509 markings/sec, 565 secs || sara not yet started (preprocessing)
lola: 108899334 markings, 294749300 edges, 191447 markings/sec, 570 secs || sara not yet started (preprocessing)
lola: 109854270 markings, 297422000 edges, 190987 markings/sec, 575 secs || sara not yet started (preprocessing)
lola: 110794659 markings, 300012328 edges, 188078 markings/sec, 580 secs || sara not yet started (preprocessing)
lola: 111762605 markings, 302658796 edges, 193589 markings/sec, 585 secs || sara not yet started (preprocessing)
lola: 112696148 markings, 305273374 edges, 186709 markings/sec, 590 secs || sara not yet started (preprocessing)
lola: 113717195 markings, 307960194 edges, 204209 markings/sec, 595 secs || sara not yet started (preprocessing)
lola: 114741014 markings, 310718090 edges, 204764 markings/sec, 600 secs || sara not yet started (preprocessing)
lola: 115718795 markings, 313433074 edges, 195556 markings/sec, 605 secs || sara not yet started (preprocessing)
lola: 116741695 markings, 316101793 edges, 204580 markings/sec, 610 secs || sara not yet started (preprocessing)
lola: 117730808 markings, 318772013 edges, 197823 markings/sec, 615 secs || sara not yet started (preprocessing)
lola: 118724699 markings, 321425638 edges, 198778 markings/sec, 620 secs || sara not yet started (preprocessing)
lola: 119699718 markings, 323998818 edges, 195004 markings/sec, 625 secs || sara not yet started (preprocessing)
lola: 120634130 markings, 326538305 edges, 186882 markings/sec, 630 secs || sara not yet started (preprocessing)
lola: 121619813 markings, 329217490 edges, 197137 markings/sec, 635 secs || sara not yet started (preprocessing)
lola: 122618065 markings, 331912142 edges, 199650 markings/sec, 640 secs || sara not yet started (preprocessing)
lola: 123618058 markings, 334632192 edges, 199999 markings/sec, 645 secs || sara not yet started (preprocessing)
lola: 124582706 markings, 337432891 edges, 192930 markings/sec, 650 secs || sara not yet started (preprocessing)
lola: 125540810 markings, 340232558 edges, 191621 markings/sec, 655 secs || sara not yet started (preprocessing)
lola: 126495435 markings, 342992233 edges, 190925 markings/sec, 660 secs || sara not yet started (preprocessing)
lola: 127448066 markings, 345720839 edges, 190526 markings/sec, 665 secs || sara not yet started (preprocessing)
lola: 128360511 markings, 348327229 edges, 182489 markings/sec, 670 secs || sara not yet started (preprocessing)
lola: 129247027 markings, 350881144 edges, 177303 markings/sec, 675 secs || sara not yet started (preprocessing)
lola: 130174326 markings, 353568564 edges, 185460 markings/sec, 680 secs || sara not yet started (preprocessing)
lola: 131105787 markings, 356282057 edges, 186292 markings/sec, 685 secs || sara not yet started (preprocessing)
lola: 132110722 markings, 358835144 edges, 200987 markings/sec, 690 secs || sara not yet started (preprocessing)
lola: 133079649 markings, 361328374 edges, 193785 markings/sec, 695 secs || sara not yet started (preprocessing)
lola: 134033025 markings, 363765176 edges, 190675 markings/sec, 700 secs || sara not yet started (preprocessing)
lola: 134973389 markings, 366197252 edges, 188073 markings/sec, 705 secs || sara not yet started (preprocessing)
lola: 135927994 markings, 368709332 edges, 190921 markings/sec, 710 secs || sara not yet started (preprocessing)
lola: 136831866 markings, 371258161 edges, 180774 markings/sec, 715 secs || sara not yet started (preprocessing)
lola: 137726656 markings, 373737711 edges, 178958 markings/sec, 720 secs || sara not yet started (preprocessing)
lola: 138598600 markings, 376163940 edges, 174389 markings/sec, 725 secs || sara not yet started (preprocessing)
lola: 139506572 markings, 378695703 edges, 181594 markings/sec, 730 secs || sara not yet started (preprocessing)
lola: 140497028 markings, 381292971 edges, 198091 markings/sec, 735 secs || sara not yet started (preprocessing)
lola: 141467009 markings, 383869527 edges, 193996 markings/sec, 740 secs || sara not yet started (preprocessing)
lola: 142375034 markings, 386237476 edges, 181605 markings/sec, 745 secs || sara not yet started (preprocessing)
lola: 143280107 markings, 388646720 edges, 181015 markings/sec, 750 secs || sara not yet started (preprocessing)
lola: 144174577 markings, 391085646 edges, 178894 markings/sec, 755 secs || sara not yet started (preprocessing)
lola: 145057640 markings, 393592687 edges, 176613 markings/sec, 760 secs || sara not yet started (preprocessing)
lola: 145954823 markings, 396101861 edges, 179437 markings/sec, 765 secs || sara not yet started (preprocessing)
lola: 146853820 markings, 398650416 edges, 179799 markings/sec, 770 secs || sara not yet started (preprocessing)
lola: 147839312 markings, 401306278 edges, 197098 markings/sec, 775 secs || sara not yet started (preprocessing)
lola: 148912485 markings, 404072071 edges, 214635 markings/sec, 780 secs || sara not yet started (preprocessing)
lola: 149954112 markings, 406823775 edges, 208325 markings/sec, 785 secs || sara not yet started (preprocessing)
lola: 150957563 markings, 409561163 edges, 200690 markings/sec, 790 secs || sara not yet started (preprocessing)
lola: 152008719 markings, 412233523 edges, 210231 markings/sec, 795 secs || sara not yet started (preprocessing)
lola: 153045634 markings, 414929369 edges, 207383 markings/sec, 800 secs || sara not yet started (preprocessing)
lola: 154055053 markings, 417594715 edges, 201884 markings/sec, 805 secs || sara not yet started (preprocessing)
lola: 155048280 markings, 420181504 edges, 198645 markings/sec, 810 secs || sara not yet started (preprocessing)
lola: 156053002 markings, 422828953 edges, 200944 markings/sec, 815 secs || sara not yet started (preprocessing)
lola: 157091773 markings, 425551022 edges, 207754 markings/sec, 820 secs || sara not yet started (preprocessing)
lola: 158092414 markings, 428225891 edges, 200128 markings/sec, 825 secs || sara not yet started (preprocessing)
lola: 159104423 markings, 431003288 edges, 202402 markings/sec, 830 secs || sara not yet started (preprocessing)
lola: 160062027 markings, 433807154 edges, 191521 markings/sec, 835 secs || sara not yet started (preprocessing)
lola: 160993725 markings, 436576951 edges, 186340 markings/sec, 840 secs || sara not yet started (preprocessing)
lola: 161927123 markings, 439248790 edges, 186680 markings/sec, 845 secs || sara not yet started (preprocessing)
lola: 162899988 markings, 441979214 edges, 194573 markings/sec, 850 secs || sara not yet started (preprocessing)
lola: 163816322 markings, 444613751 edges, 183267 markings/sec, 855 secs || sara not yet started (preprocessing)
lola: 164731852 markings, 447283206 edges, 183106 markings/sec, 860 secs || sara not yet started (preprocessing)
lola: 165707015 markings, 450055541 edges, 195033 markings/sec, 865 secs || sara not yet started (preprocessing)
lola: 166731312 markings, 452724664 edges, 204859 markings/sec, 870 secs || sara not yet started (preprocessing)
lola: 167751256 markings, 455312608 edges, 203989 markings/sec, 875 secs || sara not yet started (preprocessing)
lola: 168775019 markings, 457807544 edges, 204753 markings/sec, 880 secs || sara not yet started (preprocessing)
lola: 169769747 markings, 460286820 edges, 198946 markings/sec, 885 secs || sara not yet started (preprocessing)
lola: 170790486 markings, 462853836 edges, 204148 markings/sec, 890 secs || sara not yet started (preprocessing)
lola: 171741579 markings, 465514463 edges, 190219 markings/sec, 895 secs || sara not yet started (preprocessing)
lola: 172683838 markings, 468081299 edges, 188452 markings/sec, 900 secs || sara not yet started (preprocessing)
lola: 173636506 markings, 470679111 edges, 190534 markings/sec, 905 secs || sara not yet started (preprocessing)
lola: 174492716 markings, 473246572 edges, 171242 markings/sec, 910 secs || sara not yet started (preprocessing)
lola: 175538561 markings, 475939512 edges, 209169 markings/sec, 915 secs || sara not yet started (preprocessing)
lola: 176555948 markings, 478577179 edges, 203477 markings/sec, 920 secs || sara not yet started (preprocessing)
lola: 177545095 markings, 481137878 edges, 197829 markings/sec, 925 secs || sara not yet started (preprocessing)
lola: 178512975 markings, 483666186 edges, 193576 markings/sec, 930 secs || sara not yet started (preprocessing)
lola: 179461564 markings, 486294691 edges, 189718 markings/sec, 935 secs || sara not yet started (preprocessing)
lola: 180373883 markings, 488885944 edges, 182464 markings/sec, 940 secs || sara not yet started (preprocessing)
lola: 181295835 markings, 491503227 edges, 184390 markings/sec, 945 secs || sara not yet started (preprocessing)
lola: 182301791 markings, 494156352 edges, 201191 markings/sec, 950 secs || sara not yet started (preprocessing)
lola: 183309614 markings, 496754478 edges, 201565 markings/sec, 955 secs || sara not yet started (preprocessing)
lola: 184333757 markings, 499288903 edges, 204829 markings/sec, 960 secs || sara not yet started (preprocessing)
lola: 185320151 markings, 501779188 edges, 197279 markings/sec, 965 secs || sara not yet started (preprocessing)
lola: 186339309 markings, 504377459 edges, 203832 markings/sec, 970 secs || sara not yet started (preprocessing)
lola: 187283672 markings, 507050179 edges, 188873 markings/sec, 975 secs || sara not yet started (preprocessing)
lola: 188225980 markings, 509649976 edges, 188462 markings/sec, 980 secs || sara not yet started (preprocessing)
lola: 189167995 markings, 512264991 edges, 188403 markings/sec, 985 secs || sara not yet started (preprocessing)
lola: 190144089 markings, 514639648 edges, 195219 markings/sec, 990 secs || sara not yet started (preprocessing)
lola: 190994717 markings, 517119630 edges, 170126 markings/sec, 995 secs || sara not yet started (preprocessing)
lola: 191860221 markings, 519591675 edges, 173101 markings/sec, 1000 secs || sara not yet started (preprocessing)
lola: 192839567 markings, 522104498 edges, 195869 markings/sec, 1005 secs || sara not yet started (preprocessing)
lola: 193709296 markings, 524691119 edges, 173946 markings/sec, 1010 secs || sara not yet started (preprocessing)
lola: 194713062 markings, 527317706 edges, 200753 markings/sec, 1015 secs || sara not yet started (preprocessing)
lola: 195638102 markings, 529722930 edges, 185008 markings/sec, 1020 secs || sara not yet started (preprocessing)
lola: 196557881 markings, 532084680 edges, 183956 markings/sec, 1025 secs || sara not yet started (preprocessing)
lola: 197458203 markings, 534431860 edges, 180064 markings/sec, 1030 secs || sara not yet started (preprocessing)
lola: 198419869 markings, 537011564 edges, 192333 markings/sec, 1035 secs || sara not yet started (preprocessing)
lola: 199360300 markings, 539706117 edges, 188086 markings/sec, 1040 secs || sara not yet started (preprocessing)
lola: 200275217 markings, 542286556 edges, 182983 markings/sec, 1045 secs || sara not yet started (preprocessing)
lola: 201203644 markings, 544875237 edges, 185685 markings/sec, 1050 secs || sara not yet started (preprocessing)
lola: 202100809 markings, 547200888 edges, 179433 markings/sec, 1055 secs || sara not yet started (preprocessing)
lola: 202937707 markings, 549671721 edges, 167380 markings/sec, 1060 secs || sara not yet started (preprocessing)
lola: 203795207 markings, 552061220 edges, 171500 markings/sec, 1065 secs || sara not yet started (preprocessing)
lola: 204749716 markings, 554462955 edges, 190902 markings/sec, 1070 secs || sara not yet started (preprocessing)
lola: 205640762 markings, 556873522 edges, 178209 markings/sec, 1075 secs || sara not yet started (preprocessing)
lola: 206604997 markings, 559508425 edges, 192847 markings/sec, 1080 secs || sara not yet started (preprocessing)
lola: 207632386 markings, 562235272 edges, 205478 markings/sec, 1085 secs || sara not yet started (preprocessing)
lola: 208656500 markings, 564985502 edges, 204823 markings/sec, 1090 secs || sara not yet started (preprocessing)
lola: 209623895 markings, 567657053 edges, 193479 markings/sec, 1095 secs || sara not yet started (preprocessing)
lola: 210631204 markings, 570293862 edges, 201462 markings/sec, 1100 secs || sara not yet started (preprocessing)
lola: 211618070 markings, 572951308 edges, 197373 markings/sec, 1105 secs || sara not yet started (preprocessing)
lola: 212586529 markings, 575554917 edges, 193692 markings/sec, 1110 secs || sara not yet started (preprocessing)
lola: 213535118 markings, 578063108 edges, 189718 markings/sec, 1115 secs || sara not yet started (preprocessing)
lola: 214483424 markings, 580664552 edges, 189661 markings/sec, 1120 secs || sara not yet started (preprocessing)
lola: 215478076 markings, 583333748 edges, 198930 markings/sec, 1125 secs || sara not yet started (preprocessing)
lola: 216473392 markings, 586011998 edges, 199063 markings/sec, 1130 secs || sara not yet started (preprocessing)
lola: 217456992 markings, 588760909 edges, 196720 markings/sec, 1135 secs || sara not yet started (preprocessing)
lola: 218399046 markings, 591492436 edges, 188411 markings/sec, 1140 secs || sara not yet started (preprocessing)
lola: 219314123 markings, 594200258 edges, 183015 markings/sec, 1145 secs || sara not yet started (preprocessing)
lola: 220221357 markings, 596779851 edges, 181447 markings/sec, 1150 secs || sara not yet started (preprocessing)
lola: 221173440 markings, 599507727 edges, 190417 markings/sec, 1155 secs || sara not yet started (preprocessing)
lola: 222110772 markings, 602184559 edges, 187466 markings/sec, 1160 secs || sara not yet started (preprocessing)
lola: 222974610 markings, 604719655 edges, 172768 markings/sec, 1165 secs || sara not yet started (preprocessing)
lola: 223919631 markings, 607408313 edges, 189004 markings/sec, 1170 secs || sara not yet started (preprocessing)
lola: 224870717 markings, 610111145 edges, 190217 markings/sec, 1175 secs || sara not yet started (preprocessing)
lola: 225843088 markings, 612592489 edges, 194474 markings/sec, 1180 secs || sara not yet started (preprocessing)
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown
lola: memory consumption: 8390632 KB
lola: time consumption: 2381 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p102) OR (1 <= p105) OR (1 <= p103) OR (1 <= p104)) OR A (G (E (F ((((1 <= p6) AND (1 <= p62) AND (1 <= p95)) OR ((1 <= p4) AND (1 <= p46) AND (1 <= p94)) OR ((1 <= p9) AND (1 <= p78) AND (1 <= p96)) OR ((1 <= p8) AND (1 <= p70) AND (1 <= p96)) OR ((1 <= p82) AND (1 <= p97)) OR ((1 <= p6) AND (1 <= p66) AND (1 <= p95)) OR ((1 <= p7) AND (1 <= p62) AND (1 <= p95)) OR ((1 <= p4) AN... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p102) OR (1 <= p105) OR (1 <= p103) OR (1 <= p104))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p102) OR (1 <= p105) OR (1 <= p103) OR (1 <= p104))
lola: processed formula length: 61
lola: 5 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 4 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:776
lola: processed formula: NOT DEADLOCK
lola: processed formula length: 12
lola: 8 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
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: 921976 markings, 3986431 edges, 184395 markings/sec, 0 secs || sara not yet started (preprocessing)
lola: 1731374 markings, 7884975 edges, 161880 markings/sec, 5 secs || sara not yet started (preprocessing)
lola: 2538577 markings, 11746348 edges, 161441 markings/sec, 10 secs || sara not yet started (preprocessing)
lola: 3358229 markings, 15643688 edges, 163930 markings/sec, 15 secs || sara not yet started (preprocessing)
lola: 4118640 markings, 19399504 edges, 152082 markings/sec, 20 secs || sara not yet started (preprocessing)
lola: 4847496 markings, 23173750 edges, 145771 markings/sec, 25 secs || sara not yet started (preprocessing)
lola: 5512473 markings, 27044333 edges, 132995 markings/sec, 30 secs || sara not yet started (preprocessing)
lola: 6202150 markings, 30765473 edges, 137935 markings/sec, 35 secs || sara not yet started (preprocessing)
lola: 6965865 markings, 34505005 edges, 152743 markings/sec, 40 secs || sara not yet started (preprocessing)
lola: 7773983 markings, 38366304 edges, 161624 markings/sec, 45 secs || sara not yet started (preprocessing)
lola: 8540463 markings, 42136913 edges, 153296 markings/sec, 50 secs || sara not yet started (preprocessing)
lola: 9211468 markings, 45911861 edges, 134201 markings/sec, 55 secs || sara not yet started (preprocessing)
lola: 10002708 markings, 49574976 edges, 158248 markings/sec, 60 secs || sara not yet started (preprocessing)
lola: 10762445 markings, 53208197 edges, 151947 markings/sec, 65 secs || sara not yet started (preprocessing)
lola: 11454925 markings, 56898676 edges, 138496 markings/sec, 70 secs || sara not yet started (preprocessing)
lola: 12136750 markings, 60367610 edges, 136365 markings/sec, 75 secs || sara not yet started (preprocessing)
lola: 12784974 markings, 63766614 edges, 129645 markings/sec, 80 secs || sara not yet started (preprocessing)
lola: 13479321 markings, 67281183 edges, 138869 markings/sec, 85 secs || sara not yet started (preprocessing)
lola: 14142876 markings, 70745987 edges, 132711 markings/sec, 90 secs || sara not yet started (preprocessing)
lola: 14826870 markings, 74197854 edges, 136799 markings/sec, 95 secs || sara not yet started (preprocessing)
lola: 15515068 markings, 77469949 edges, 137640 markings/sec, 100 secs || sara not yet started (preprocessing)
lola: 16191159 markings, 80728204 edges, 135218 markings/sec, 105 secs || sara not yet started (preprocessing)
lola: 16824437 markings, 84088691 edges, 126656 markings/sec, 110 secs || sara not yet started (preprocessing)
lola: 17462292 markings, 87588117 edges, 127571 markings/sec, 115 secs || sara not yet started (preprocessing)
lola: 18195083 markings, 91320046 edges, 146558 markings/sec, 120 secs || sara not yet started (preprocessing)
lola: 18924694 markings, 95048319 edges, 145922 markings/sec, 125 secs || sara not yet started (preprocessing)
lola: 19664482 markings, 98640639 edges, 147958 markings/sec, 130 secs || sara not yet started (preprocessing)
lola: 20406481 markings, 102140169 edges, 148400 markings/sec, 135 secs || sara not yet started (preprocessing)
lola: 21117338 markings, 105587501 edges, 142171 markings/sec, 140 secs || sara not yet started (preprocessing)
lola: 21709775 markings, 108959105 edges, 118487 markings/sec, 145 secs || sara not yet started (preprocessing)
lola: 22388884 markings, 112305207 edges, 135822 markings/sec, 150 secs || sara not yet started (preprocessing)
lola: 23079208 markings, 115804953 edges, 138065 markings/sec, 155 secs || sara not yet started (preprocessing)
lola: 23743687 markings, 119183821 edges, 132896 markings/sec, 160 secs || sara not yet started (preprocessing)
lola: 24427817 markings, 122342284 edges, 136826 markings/sec, 165 secs || sara not yet started (preprocessing)
lola: 25028133 markings, 125466305 edges, 120063 markings/sec, 170 secs || sara not yet started (preprocessing)
lola: 25639928 markings, 128526845 edges, 122359 markings/sec, 175 secs || sara not yet started (preprocessing)
lola: 26247418 markings, 131569709 edges, 121498 markings/sec, 180 secs || sara not yet started (preprocessing)
lola: 26849115 markings, 134677422 edges, 120339 markings/sec, 185 secs || sara not yet started (preprocessing)
lola: 27461541 markings, 137715876 edges, 122485 markings/sec, 190 secs || sara not yet started (preprocessing)
lola: 28032475 markings, 140733021 edges, 114187 markings/sec, 195 secs || sara not yet started (preprocessing)
lola: 28647197 markings, 143801423 edges, 122944 markings/sec, 200 secs || sara not yet started (preprocessing)
lola: 29324028 markings, 147125308 edges, 135366 markings/sec, 205 secs || sara not yet started (preprocessing)
lola: 30009652 markings, 150493786 edges, 137125 markings/sec, 210 secs || sara not yet started (preprocessing)
lola: 30708500 markings, 153968358 edges, 139770 markings/sec, 215 secs || sara not yet started (preprocessing)
lola: 31537219 markings, 157647624 edges, 165744 markings/sec, 220 secs || sara not yet started (preprocessing)
lola: 32263189 markings, 161231490 edges, 145194 markings/sec, 225 secs || sara not yet started (preprocessing)
lola: 33014920 markings, 164787859 edges, 150346 markings/sec, 230 secs || sara not yet started (preprocessing)
lola: 33701325 markings, 168288142 edges, 137281 markings/sec, 235 secs || sara not yet started (preprocessing)
lola: 34381927 markings, 171798548 edges, 136120 markings/sec, 240 secs || sara not yet started (preprocessing)
lola: 34980257 markings, 175333521 edges, 119666 markings/sec, 245 secs || sara not yet started (preprocessing)
lola: 35632639 markings, 178782847 edges, 130476 markings/sec, 250 secs || sara not yet started (preprocessing)
lola: 36332881 markings, 182241203 edges, 140048 markings/sec, 255 secs || sara not yet started (preprocessing)
lola: 37069444 markings, 185798449 edges, 147313 markings/sec, 260 secs || sara not yet started (preprocessing)
lola: 37711163 markings, 189244887 edges, 128344 markings/sec, 265 secs || sara not yet started (preprocessing)
lola: 38375488 markings, 192639813 edges, 132865 markings/sec, 270 secs || sara not yet started (preprocessing)
lola: 39076473 markings, 195972882 edges, 140197 markings/sec, 275 secs || sara not yet started (preprocessing)
lola: 39702437 markings, 199319203 edges, 125193 markings/sec, 280 secs || sara not yet started (preprocessing)
lola: 40340122 markings, 202618119 edges, 127537 markings/sec, 285 secs || sara not yet started (preprocessing)
lola: 40933601 markings, 205787721 edges, 118696 markings/sec, 290 secs || sara not yet started (preprocessing)
lola: 41561551 markings, 208976099 edges, 125590 markings/sec, 295 secs || sara not yet started (preprocessing)
lola: 42159674 markings, 212143538 edges, 119625 markings/sec, 300 secs || sara not yet started (preprocessing)
lola: 42798906 markings, 215292193 edges, 127846 markings/sec, 305 secs || sara not yet started (preprocessing)
lola: 43449852 markings, 218470699 edges, 130189 markings/sec, 310 secs || sara not yet started (preprocessing)
lola: 44041052 markings, 221737420 edges, 118240 markings/sec, 315 secs || sara not yet started (preprocessing)
lola: 44670552 markings, 225049188 edges, 125900 markings/sec, 320 secs || sara not yet started (preprocessing)
lola: 45346657 markings, 228561356 edges, 135221 markings/sec, 325 secs || sara not yet started (preprocessing)
lola: 46028132 markings, 231987090 edges, 136295 markings/sec, 330 secs || sara not yet started (preprocessing)
lola: 46755093 markings, 235493451 edges, 145392 markings/sec, 335 secs || sara not yet started (preprocessing)
lola: 47425002 markings, 238866795 edges, 133982 markings/sec, 340 secs || sara not yet started (preprocessing)
lola: 48034916 markings, 242187671 edges, 121983 markings/sec, 345 secs || sara not yet started (preprocessing)
lola: 48695048 markings, 245574000 edges, 132026 markings/sec, 350 secs || sara not yet started (preprocessing)
lola: 49371714 markings, 249040397 edges, 135333 markings/sec, 355 secs || sara not yet started (preprocessing)
lola: 50020801 markings, 252113410 edges, 129817 markings/sec, 360 secs || sara not yet started (preprocessing)
lola: 50578276 markings, 255099121 edges, 111495 markings/sec, 365 secs || sara not yet started (preprocessing)
lola: 51169235 markings, 258098637 edges, 118192 markings/sec, 370 secs || sara not yet started (preprocessing)
lola: 51760381 markings, 261125532 edges, 118229 markings/sec, 375 secs || sara not yet started (preprocessing)
lola: 52364090 markings, 264182434 edges, 120742 markings/sec, 380 secs || sara not yet started (preprocessing)
lola: 52969188 markings, 267314530 edges, 121020 markings/sec, 385 secs || sara not yet started (preprocessing)
lola: 53584895 markings, 270486341 edges, 123141 markings/sec, 390 secs || sara not yet started (preprocessing)
lola: 54271427 markings, 273862826 edges, 137306 markings/sec, 395 secs || sara not yet started (preprocessing)
lola: 54916679 markings, 277039137 edges, 129050 markings/sec, 400 secs || sara not yet started (preprocessing)
lola: 55617828 markings, 280469523 edges, 140230 markings/sec, 405 secs || sara not yet started (preprocessing)
lola: 56336421 markings, 284057126 edges, 143719 markings/sec, 410 secs || sara not yet started (preprocessing)
lola: 56997883 markings, 287620486 edges, 132292 markings/sec, 415 secs || sara not yet started (preprocessing)
lola: 57681322 markings, 291359108 edges, 136688 markings/sec, 420 secs || sara not yet started (preprocessing)
lola: 58379942 markings, 295146337 edges, 139724 markings/sec, 425 secs || sara not yet started (preprocessing)
lola: 59093300 markings, 298890746 edges, 142672 markings/sec, 430 secs || sara not yet started (preprocessing)
lola: 59753988 markings, 302597776 edges, 132138 markings/sec, 435 secs || sara not yet started (preprocessing)
lola: 60414942 markings, 306345685 edges, 132191 markings/sec, 440 secs || sara not yet started (preprocessing)
lola: 61055282 markings, 310032432 edges, 128068 markings/sec, 445 secs || sara not yet started (preprocessing)
lola: 61666246 markings, 313786989 edges, 122193 markings/sec, 450 secs || sara not yet started (preprocessing)
lola: 62208751 markings, 317545939 edges, 108501 markings/sec, 455 secs || sara not yet started (preprocessing)
lola: 62880977 markings, 321090644 edges, 134445 markings/sec, 460 secs || sara not yet started (preprocessing)
lola: 63602146 markings, 324794558 edges, 144234 markings/sec, 465 secs || sara not yet started (preprocessing)
lola: 64303474 markings, 328585762 edges, 140266 markings/sec, 470 secs || sara not yet started (preprocessing)
lola: 65004506 markings, 332381821 edges, 140206 markings/sec, 475 secs || sara not yet started (preprocessing)
lola: 65642557 markings, 336070940 edges, 127610 markings/sec, 480 secs || sara not yet started (preprocessing)
lola: 66214276 markings, 339697416 edges, 114344 markings/sec, 485 secs || sara not yet started (preprocessing)
lola: 66874529 markings, 343265050 edges, 132051 markings/sec, 490 secs || sara not yet started (preprocessing)
lola: 67550724 markings, 346819959 edges, 135239 markings/sec, 495 secs || sara not yet started (preprocessing)
lola: 68200687 markings, 350346042 edges, 129993 markings/sec, 500 secs || sara not yet started (preprocessing)
lola: 68816970 markings, 353893611 edges, 123257 markings/sec, 505 secs || sara not yet started (preprocessing)
lola: 69379351 markings, 357468480 edges, 112476 markings/sec, 510 secs || sara not yet started (preprocessing)
lola: 70015868 markings, 360940807 edges, 127303 markings/sec, 515 secs || sara not yet started (preprocessing)
lola: 70609928 markings, 364419319 edges, 118812 markings/sec, 520 secs || sara not yet started (preprocessing)
lola: 71206580 markings, 367859090 edges, 119330 markings/sec, 525 secs || sara not yet started (preprocessing)
lola: 71841224 markings, 371371403 edges, 126929 markings/sec, 530 secs || sara not yet started (preprocessing)
lola: 72437660 markings, 374852518 edges, 119287 markings/sec, 535 secs || sara not yet started (preprocessing)
lola: 73028943 markings, 378295693 edges, 118257 markings/sec, 540 secs || sara not yet started (preprocessing)
lola: 73681892 markings, 381780205 edges, 130590 markings/sec, 545 secs || sara not yet started (preprocessing)
lola: 74323755 markings, 385258874 edges, 128373 markings/sec, 550 secs || sara not yet started (preprocessing)
lola: 74964725 markings, 388768766 edges, 128194 markings/sec, 555 secs || sara not yet started (preprocessing)
lola: 75567940 markings, 392327972 edges, 120643 markings/sec, 560 secs || sara not yet started (preprocessing)
lola: 76142160 markings, 396002813 edges, 114844 markings/sec, 565 secs || sara not yet started (preprocessing)
lola: 76832474 markings, 399667764 edges, 138063 markings/sec, 570 secs || sara not yet started (preprocessing)
lola: 77476140 markings, 403445717 edges, 128733 markings/sec, 575 secs || sara not yet started (preprocessing)
lola: 78142058 markings, 407216006 edges, 133184 markings/sec, 580 secs || sara not yet started (preprocessing)
lola: 78822659 markings, 410954274 edges, 136120 markings/sec, 585 secs || sara not yet started (preprocessing)
lola: 79536275 markings, 414746380 edges, 142723 markings/sec, 590 secs || sara not yet started (preprocessing)
lola: 80231286 markings, 418487314 edges, 139002 markings/sec, 595 secs || sara not yet started (preprocessing)
lola: 80891860 markings, 422192345 edges, 132115 markings/sec, 600 secs || sara not yet started (preprocessing)
lola: 81467770 markings, 425850945 edges, 115182 markings/sec, 605 secs || sara not yet started (preprocessing)
lola: 82143973 markings, 429439775 edges, 135241 markings/sec, 610 secs || sara not yet started (preprocessing)
lola: 82795534 markings, 433168835 edges, 130312 markings/sec, 615 secs || sara not yet started (preprocessing)
lola: 83449291 markings, 436834126 edges, 130751 markings/sec, 620 secs || sara not yet started (preprocessing)
lola: 84099616 markings, 440501324 edges, 130065 markings/sec, 625 secs || sara not yet started (preprocessing)
lola: 84724923 markings, 443835570 edges, 125061 markings/sec, 630 secs || sara not yet started (preprocessing)
lola: 85323768 markings, 447137935 edges, 119769 markings/sec, 635 secs || sara not yet started (preprocessing)
lola: 85877174 markings, 450392393 edges, 110681 markings/sec, 640 secs || sara not yet started (preprocessing)
lola: 86475036 markings, 453763183 edges, 119572 markings/sec, 645 secs || sara not yet started (preprocessing)
lola: 87065138 markings, 456970093 edges, 118020 markings/sec, 650 secs || sara not yet started (preprocessing)
lola: 87611974 markings, 460191846 edges, 109367 markings/sec, 655 secs || sara not yet started (preprocessing)
lola: 88183091 markings, 463389785 edges, 114223 markings/sec, 660 secs || sara not yet started (preprocessing)
lola: 88725862 markings, 466518763 edges, 108554 markings/sec, 665 secs || sara not yet started (preprocessing)
lola: 89312730 markings, 469816404 edges, 117374 markings/sec, 670 secs || sara not yet started (preprocessing)
lola: 89888849 markings, 473086427 edges, 115224 markings/sec, 675 secs || sara not yet started (preprocessing)
lola: 90469232 markings, 476310351 edges, 116077 markings/sec, 680 secs || sara not yet started (preprocessing)
lola: 91289027 markings, 480114148 edges, 163959 markings/sec, 685 secs || sara not yet started (preprocessing)
lola: 92055965 markings, 483864367 edges, 153388 markings/sec, 690 secs || sara not yet started (preprocessing)
lola: 92770932 markings, 487608701 edges, 142993 markings/sec, 695 secs || sara not yet started (preprocessing)
lola: 93473729 markings, 491321196 edges, 140559 markings/sec, 700 secs || sara not yet started (preprocessing)
lola: 94252944 markings, 495086408 edges, 155843 markings/sec, 705 secs || sara not yet started (preprocessing)
lola: 94943651 markings, 498765659 edges, 138141 markings/sec, 710 secs || sara not yet started (preprocessing)
lola: 95626414 markings, 502438161 edges, 136553 markings/sec, 715 secs || sara not yet started (preprocessing)
lola: 96289219 markings, 506072066 edges, 132561 markings/sec, 720 secs || sara not yet started (preprocessing)
lola: 96919862 markings, 509755587 edges, 126129 markings/sec, 725 secs || sara not yet started (preprocessing)
lola: 97460693 markings, 513373904 edges, 108166 markings/sec, 730 secs || sara not yet started (preprocessing)
lola: 98128787 markings, 516969338 edges, 133619 markings/sec, 735 secs || sara not yet started (preprocessing)
lola: 98836110 markings, 520635750 edges, 141465 markings/sec, 740 secs || sara not yet started (preprocessing)
lola: 99570742 markings, 524368760 edges, 146926 markings/sec, 745 secs || sara not yet started (preprocessing)
lola: 100288273 markings, 528068694 edges, 143506 markings/sec, 750 secs || sara not yet started (preprocessing)
lola: 100949978 markings, 531727405 edges, 132341 markings/sec, 755 secs || sara not yet started (preprocessing)
lola: 101550482 markings, 535369256 edges, 120101 markings/sec, 760 secs || sara not yet started (preprocessing)
lola: 102252005 markings, 538891722 edges, 140305 markings/sec, 765 secs || sara not yet started (preprocessing)
lola: 102951592 markings, 542416300 edges, 139917 markings/sec, 770 secs || sara not yet started (preprocessing)
lola: 103643038 markings, 545987680 edges, 138289 markings/sec, 775 secs || sara not yet started (preprocessing)
lola: 104260023 markings, 549475848 edges, 123397 markings/sec, 780 secs || sara not yet started (preprocessing)
lola: 104882541 markings, 552986525 edges, 124504 markings/sec, 785 secs || sara not yet started (preprocessing)
lola: 105504682 markings, 556336877 edges, 124428 markings/sec, 790 secs || sara not yet started (preprocessing)
lola: 106099574 markings, 559727142 edges, 118978 markings/sec, 795 secs || sara not yet started (preprocessing)
lola: 106733745 markings, 563085632 edges, 126834 markings/sec, 800 secs || sara not yet started (preprocessing)
lola: 107344441 markings, 566473141 edges, 122139 markings/sec, 805 secs || sara not yet started (preprocessing)
lola: 107956268 markings, 569864292 edges, 122365 markings/sec, 810 secs || sara not yet started (preprocessing)
lola: 108604419 markings, 573217831 edges, 129630 markings/sec, 815 secs || sara not yet started (preprocessing)
lola: 109245873 markings, 576543175 edges, 128291 markings/sec, 820 secs || sara not yet started (preprocessing)
lola: 109890225 markings, 579862105 edges, 128870 markings/sec, 825 secs || sara not yet started (preprocessing)
lola: 110517783 markings, 583200763 edges, 125512 markings/sec, 830 secs || sara not yet started (preprocessing)
lola: 111094692 markings, 586701658 edges, 115382 markings/sec, 835 secs || sara not yet started (preprocessing)
lola: 111703635 markings, 590122565 edges, 121789 markings/sec, 840 secs || sara not yet started (preprocessing)
lola: 112360005 markings, 593690689 edges, 131274 markings/sec, 845 secs || sara not yet started (preprocessing)
lola: 113024054 markings, 597315611 edges, 132810 markings/sec, 850 secs || sara not yet started (preprocessing)
lola: 113656811 markings, 600834850 edges, 126551 markings/sec, 855 secs || sara not yet started (preprocessing)
lola: 114379098 markings, 604462114 edges, 144457 markings/sec, 860 secs || sara not yet started (preprocessing)
lola: 115094777 markings, 608081878 edges, 143136 markings/sec, 865 secs || sara not yet started (preprocessing)
lola: 115790286 markings, 611659612 edges, 139102 markings/sec, 870 secs || sara not yet started (preprocessing)
lola: 116416019 markings, 615170360 edges, 125147 markings/sec, 875 secs || sara not yet started (preprocessing)
lola: 117031632 markings, 618715940 edges, 123123 markings/sec, 880 secs || sara not yet started (preprocessing)
lola: 117698488 markings, 622281946 edges, 133371 markings/sec, 885 secs || sara not yet started (preprocessing)
lola: 118360689 markings, 625857205 edges, 132440 markings/sec, 890 secs || sara not yet started (preprocessing)
lola: 119012870 markings, 629403497 edges, 130436 markings/sec, 895 secs || sara not yet started (preprocessing)
lola: 119674505 markings, 632730108 edges, 132327 markings/sec, 900 secs || sara not yet started (preprocessing)
lola: 120289692 markings, 635887764 edges, 123037 markings/sec, 905 secs || sara not yet started (preprocessing)
lola: 120832722 markings, 639032526 edges, 108606 markings/sec, 910 secs || sara not yet started (preprocessing)
lola: 121438397 markings, 642215936 edges, 121135 markings/sec, 915 secs || sara not yet started (preprocessing)
lola: 122019793 markings, 645354230 edges, 116279 markings/sec, 920 secs || sara not yet started (preprocessing)
lola: 122592560 markings, 648460636 edges, 114553 markings/sec, 925 secs || sara not yet started (preprocessing)
lola: 123164064 markings, 651611566 edges, 114301 markings/sec, 930 secs || sara not yet started (preprocessing)
lola: 123742989 markings, 654626803 edges, 115785 markings/sec, 935 secs || sara not yet started (preprocessing)
lola: 124296996 markings, 657751777 edges, 110801 markings/sec, 940 secs || sara not yet started (preprocessing)
lola: 124910097 markings, 660952174 edges, 122620 markings/sec, 945 secs || sara not yet started (preprocessing)
lola: 125473571 markings, 664074391 edges, 112695 markings/sec, 950 secs || sara not yet started (preprocessing)
lola: 126130966 markings, 667388877 edges, 131479 markings/sec, 955 secs || sara not yet started (preprocessing)
lola: 126783938 markings, 670659575 edges, 130594 markings/sec, 960 secs || sara not yet started (preprocessing)
lola: 127399338 markings, 673863155 edges, 123080 markings/sec, 965 secs || sara not yet started (preprocessing)
lola: 128044939 markings, 677092886 edges, 129120 markings/sec, 970 secs || sara not yet started (preprocessing)
lola: 128643807 markings, 680228039 edges, 119774 markings/sec, 975 secs || sara not yet started (preprocessing)
lola: 129358875 markings, 683685358 edges, 143014 markings/sec, 980 secs || sara not yet started (preprocessing)
lola: 130185376 markings, 687635273 edges, 165300 markings/sec, 985 secs || sara not yet started (preprocessing)
lola: 130909527 markings, 691497422 edges, 144830 markings/sec, 990 secs || sara not yet started (preprocessing)
lola: 131652939 markings, 695375360 edges, 148682 markings/sec, 995 secs || sara not yet started (preprocessing)
lola: 132451380 markings, 699281604 edges, 159688 markings/sec, 1000 secs || sara not yet started (preprocessing)
lola: 133171767 markings, 703143883 edges, 144077 markings/sec, 1005 secs || sara not yet started (preprocessing)
lola: 133893106 markings, 707012372 edges, 144268 markings/sec, 1010 secs || sara not yet started (preprocessing)
lola: 134596191 markings, 710873905 edges, 140617 markings/sec, 1015 secs || sara not yet started (preprocessing)
lola: 135252470 markings, 714679925 edges, 131256 markings/sec, 1020 secs || sara not yet started (preprocessing)
lola: 135823901 markings, 718490245 edges, 114286 markings/sec, 1025 secs || sara not yet started (preprocessing)
lola: 136520735 markings, 722143885 edges, 139367 markings/sec, 1030 secs || sara not yet started (preprocessing)
lola: 137287377 markings, 726037564 edges, 153328 markings/sec, 1035 secs || sara not yet started (preprocessing)
lola: 138056698 markings, 729970153 edges, 153864 markings/sec, 1040 secs || sara not yet started (preprocessing)
lola: 138795095 markings, 733810923 edges, 147679 markings/sec, 1045 secs || sara not yet started (preprocessing)
lola: 139474185 markings, 737675154 edges, 135818 markings/sec, 1050 secs || sara not yet started (preprocessing)
lola: 140143399 markings, 741511141 edges, 133843 markings/sec, 1055 secs || sara not yet started (preprocessing)
lola: 140877627 markings, 745240719 edges, 146846 markings/sec, 1060 secs || sara not yet started (preprocessing)
lola: 141619312 markings, 749015676 edges, 148337 markings/sec, 1065 secs || sara not yet started (preprocessing)
lola: 142324974 markings, 752789147 edges, 141132 markings/sec, 1070 secs || sara not yet started (preprocessing)
lola: 142945824 markings, 756568337 edges, 124170 markings/sec, 1075 secs || sara not yet started (preprocessing)
lola: 143617834 markings, 760101851 edges, 134402 markings/sec, 1080 secs || sara not yet started (preprocessing)
lola: 144238625 markings, 763609742 edges, 124158 markings/sec, 1085 secs || sara not yet started (preprocessing)
lola: 144870611 markings, 767126061 edges, 126397 markings/sec, 1090 secs || sara not yet started (preprocessing)
lola: 145507351 markings, 770476245 edges, 127348 markings/sec, 1095 secs || sara not yet started (preprocessing)
lola: 146065004 markings, 773615090 edges, 111531 markings/sec, 1100 secs || sara not yet started (preprocessing)
lola: 146622480 markings, 776735282 edges, 111495 markings/sec, 1105 secs || sara not yet started (preprocessing)
lola: 147242523 markings, 779883543 edges, 124009 markings/sec, 1110 secs || sara not yet started (preprocessing)
lola: 147892261 markings, 783231858 edges, 129948 markings/sec, 1115 secs || sara not yet started (preprocessing)
lola: 148535807 markings, 786608082 edges, 128709 markings/sec, 1120 secs || sara not yet started (preprocessing)
lola: 149139786 markings, 789991340 edges, 120796 markings/sec, 1125 secs || sara not yet started (preprocessing)
lola: 149699522 markings, 793474307 edges, 111947 markings/sec, 1130 secs || sara not yet started (preprocessing)
lola: 150378780 markings, 797005898 edges, 135852 markings/sec, 1135 secs || sara not yet started (preprocessing)
lola: 151037459 markings, 800670544 edges, 131736 markings/sec, 1140 secs || sara not yet started (preprocessing)
lola: 151699120 markings, 804253084 edges, 132332 markings/sec, 1145 secs || sara not yet started (preprocessing)
lola: 152375268 markings, 807854054 edges, 135230 markings/sec, 1150 secs || sara not yet started (preprocessing)
lola: 153099916 markings, 811532244 edges, 144930 markings/sec, 1155 secs || sara not yet started (preprocessing)
lola: 153801662 markings, 815121548 edges, 140349 markings/sec, 1160 secs || sara not yet started (preprocessing)
lola: 154468981 markings, 818682312 edges, 133464 markings/sec, 1165 secs || sara not yet started (preprocessing)
lola: 155049749 markings, 822182198 edges, 116154 markings/sec, 1170 secs || sara not yet started (preprocessing)
lola: 155708334 markings, 825689200 edges, 131717 markings/sec, 1175 secs || sara not yet started (preprocessing)
lola: 156369488 markings, 829276997 edges, 132231 markings/sec, 1180 secs || sara not yet started (preprocessing)
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown
lola:
preliminary result: unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown
lola: memory consumption: 5772388 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: memory consumption: 5772388 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.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="NeoElection-PT-4"
export BK_EXAMINATION="CTLFireability"
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 NeoElection-PT-4, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r174-csrt-158987853000292"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-PT-4.tgz
mv NeoElection-PT-4 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;