Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r227-tall-162098230900137.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is ShieldIIPs-PT-030A, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r227-tall-162098230900137
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 121K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 70K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 11:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 11:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 17:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 17:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 253K May 5 16:52 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 ShieldIIPs-PT-030A-00
FORMULA_NAME ShieldIIPs-PT-030A-01
FORMULA_NAME ShieldIIPs-PT-030A-02
FORMULA_NAME ShieldIIPs-PT-030A-03
FORMULA_NAME ShieldIIPs-PT-030A-04
FORMULA_NAME ShieldIIPs-PT-030A-05
FORMULA_NAME ShieldIIPs-PT-030A-06
FORMULA_NAME ShieldIIPs-PT-030A-07
FORMULA_NAME ShieldIIPs-PT-030A-08
FORMULA_NAME ShieldIIPs-PT-030A-09
FORMULA_NAME ShieldIIPs-PT-030A-10
FORMULA_NAME ShieldIIPs-PT-030A-11
FORMULA_NAME ShieldIIPs-PT-030A-12
FORMULA_NAME ShieldIIPs-PT-030A-13
FORMULA_NAME ShieldIIPs-PT-030A-14
FORMULA_NAME ShieldIIPs-PT-030A-15

=== Now, execution of the tool begins

BK_START 1621132050143

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-16 02:27:31] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-16 02:27:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 02:27:31] [INFO ] Load time of PNML (sax parser for PT used): 112 ms
[2021-05-16 02:27:31] [INFO ] Transformed 753 places.
[2021-05-16 02:27:31] [INFO ] Transformed 723 transitions.
[2021-05-16 02:27:31] [INFO ] Found NUPN structural information;
[2021-05-16 02:27:31] [INFO ] Parsed PT model containing 753 places and 723 transitions in 159 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 46 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 64 resets, run finished after 819 ms. (steps per millisecond=122 ) properties seen :[1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0]
// Phase 1: matrix 723 rows 753 cols
[2021-05-16 02:27:32] [INFO ] Computed 271 place invariants in 18 ms
[2021-05-16 02:27:33] [INFO ] [Real]Absence check using 271 positive place invariants in 139 ms returned sat
[2021-05-16 02:27:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 02:27:34] [INFO ] [Real]Absence check using state equation in 1099 ms returned sat
[2021-05-16 02:27:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 02:27:34] [INFO ] [Nat]Absence check using 271 positive place invariants in 19 ms returned unsat
[2021-05-16 02:27:34] [INFO ] [Real]Absence check using 271 positive place invariants in 131 ms returned sat
[2021-05-16 02:27:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 02:27:35] [INFO ] [Real]Absence check using state equation in 1129 ms returned sat
[2021-05-16 02:27:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 02:27:36] [INFO ] [Nat]Absence check using 271 positive place invariants in 142 ms returned sat
[2021-05-16 02:27:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 02:27:37] [INFO ] [Nat]Absence check using state equation in 1109 ms returned sat
[2021-05-16 02:27:37] [INFO ] Computed and/alt/rep : 722/2883/722 causal constraints in 46 ms.
[2021-05-16 02:27:52] [INFO ] Added : 712 causal constraints over 144 iterations in 14937 ms. Result :sat
[2021-05-16 02:27:52] [INFO ] Deduced a trap composed of 9 places in 55 ms
[2021-05-16 02:27:52] [INFO ] Deduced a trap composed of 9 places in 36 ms
[2021-05-16 02:27:52] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 304 ms
[2021-05-16 02:27:52] [INFO ] [Real]Absence check using 271 positive place invariants in 129 ms returned sat
[2021-05-16 02:27:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 02:27:53] [INFO ] [Real]Absence check using state equation in 1087 ms returned sat
[2021-05-16 02:27:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 02:27:53] [INFO ] [Nat]Absence check using 271 positive place invariants in 17 ms returned unsat
[2021-05-16 02:27:54] [INFO ] [Real]Absence check using 271 positive place invariants in 129 ms returned sat
[2021-05-16 02:27:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 02:27:55] [INFO ] [Real]Absence check using state equation in 1073 ms returned sat
[2021-05-16 02:27:55] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 02:27:55] [INFO ] [Nat]Absence check using 271 positive place invariants in 16 ms returned unsat
[2021-05-16 02:27:55] [INFO ] [Real]Absence check using 271 positive place invariants in 122 ms returned sat
[2021-05-16 02:27:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 02:27:56] [INFO ] [Real]Absence check using state equation in 1106 ms returned sat
[2021-05-16 02:27:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 02:27:56] [INFO ] [Nat]Absence check using 271 positive place invariants in 16 ms returned unsat
[2021-05-16 02:27:57] [INFO ] [Real]Absence check using 271 positive place invariants in 121 ms returned sat
[2021-05-16 02:27:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 02:27:58] [INFO ] [Real]Absence check using state equation in 1100 ms returned sat
[2021-05-16 02:27:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 02:27:58] [INFO ] [Nat]Absence check using 271 positive place invariants in 17 ms returned unsat
Successfully simplified 5 atomic propositions for a total of 5 simplifications.
[2021-05-16 02:27:58] [INFO ] Initial state reduction rules for CTL removed 9 formulas.
[2021-05-16 02:27:58] [INFO ] Flatten gal took : 139 ms
FORMULA ShieldIIPs-PT-030A-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-030A-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-030A-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-030A-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-030A-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-030A-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-030A-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-030A-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-030A-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 02:27:58] [INFO ] Applying decomposition
[2021-05-16 02:27:58] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2021-05-16 02:27:58] [INFO ] Flatten gal took : 81 ms
[2021-05-16 02:27:58] [INFO ] Decomposing Gal with order
[2021-05-16 02:27:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 02:27:58] [INFO ] Removed a total of 510 redundant transitions.
[2021-05-16 02:27:58] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2021-05-16 02:27:58] [INFO ] Flatten gal took : 114 ms
[2021-05-16 02:27:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 360 labels/synchronizations in 50 ms.
[2021-05-16 02:27:59] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
FORMULA ShieldIIPs-PT-030A-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ShieldIIPs-PT-030A-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 02:27:59] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLCardinality.sr.xml took 2 ms.
[2021-05-16 02:27:59] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 13 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ ShieldIIPs-PT-030A @ 3570 seconds

FORMULA ShieldIIPs-PT-030A-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ShieldIIPs-PT-030A-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ShieldIIPs-PT-030A-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ ShieldIIPs-PT-030A

{
"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=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sun May 16 02:28:00 2021
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 712
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 2,
"X": 2,
"aconj": 10,
"adisj": 5,
"aneg": 2,
"comp": 10,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "X (((((((1 <= p704)) AND ((p665 <= 0))) R X (G ((((1 <= p254)) AND ((p610 <= 0)))))) U ((((p254 <= 0)) OR ((1 <= p610))) U (((p261 <= 0)) OR ((1 <= p276))))) AND (((p254 <= 0)) OR ((1 <= p610)))))",
"processed_size": 199,
"rewrites": 34
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 9
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1187
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 1,
"aconj": 4,
"adisj": 4,
"aneg": 1,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "F (((F ((((1 <= p685)) AND ((p382 <= 0)))) AND (((1 <= p192)) AND ((p170 <= 0)))) OR X ((((p252 <= 0)) OR ((1 <= p108))))))",
"processed_size": 124,
"rewrites": 34
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1187
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 5,
"adisj": 1,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X ((X ((F (((1 <= p470))) OR ((1 <= p470)))) AND (G (((1 <= p470))) AND (((p62 <= 0)) OR ((1 <= p6))))))",
"processed_size": 105,
"rewrites": 34
},
"result":
{
"edges": 9457,
"markings": 9457,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 124,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "X((((* R X(G(*))) U (** U **)) AND **)) : (F(((F(*) AND (** AND **)) OR X(**))) AND **) : X((X((F(**) OR **)) AND (G(**) AND **))) : (** U (X(X(F(**))) AND F(G(*)))) : G(F(*))"
},
"net":
{
"arcs": 3246,
"conflict_clusters": 213,
"places": 753,
"places_significant": 482,
"singleton_clusters": 0,
"transitions": 723
},
"result":
{
"interim_value": "yes yes no unknown unknown ",
"preliminary_value": "yes yes no 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: 1476/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 753
lola: finding significant places
lola: 753 places, 723 transitions, 482 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 LTLCardinality.xml
lola: LP says that atomic proposition is always true: (p665 <= 1)
lola: LP says that atomic proposition is always true: (p610 <= 1)
lola: LP says that atomic proposition is always true: (p610 <= 1)
lola: LP says that atomic proposition is always true: (p276 <= 1)
lola: LP says that atomic proposition is always true: (p610 <= 1)
lola: LP says that atomic proposition is always true: (p382 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p111 <= 1)
lola: LP says that atomic proposition is always true: (p470 <= 1)
lola: LP says that atomic proposition is always true: (p470 <= 1)
lola: LP says that atomic proposition is always true: (p470 <= 1)
lola: LP says that atomic proposition is always true: (p6 <= 1)
lola: LP says that atomic proposition is always true: (p670 <= 1)
lola: LP says that atomic proposition is always true: (p214 <= 1)
lola: LP says that atomic proposition is always true: (p214 <= 1)
lola: LP says that atomic proposition is always true: (p446 <= 1)
lola: (X ((NOT(((((p704 <= 0)) OR ((1 <= p665))) U F (X (F ((((p254 <= 0)) OR ((1 <= p610)))))))) U ((((p254 <= 0)) OR ((1 <= p610))) U (((p261 <= 0)) OR ((1 <= p276)))))) AND X ((((p254 <= 0)) OR ((1 <= p610))))) : (F ((((NOT(G ((((p685 <= 0)) OR ((1 <= p382))))) AND ((1 <= p192))) AND ((p170 <= 0))) OR X ((((p252 <= 0)) OR ((1 <= p108)))))) AND (((p284 <= 0)) OR ((1 <= p111)))) : X (((X ((F (((1 <= p470))) OR ((1 <= p470)))) AND G (((1 <= p470)))) AND (((p62 <= 0)) OR ((1 <= p6))))) : ((((p273 <= 0)) OR ((1 <= p670))) U (F (X (X (((1 <= p214))))) AND G (NOT(G (F (((1 <= p214)))))))) : F (X (G (X (X (NOT(G (X (X (((1 <= p446)))))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 712 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((((((1 <= p704)) AND ((p665 <= 0))) R X (G ((((1 <= p254)) AND ((p610 <= 0)))))) U ((((p254 <= 0)) OR ((1 <= p610))) U (((p261 <= 0)) OR ((1 <= p276))))) AND (((p254 <= 0)) OR ((1 <= p610)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((((((1 <= p704)) AND ((p665 <= 0))) R X (G ((((1 <= p254)) AND ((p610 <= 0)))))) U ((((p254 <= 0)) OR ((1 <= p610))) U (((p261 <= 0)) OR ((1 <= p276))))) AND (((p254 <= 0)) OR ((1 <= p610)))))
lola: processed formula length: 199
lola: 34 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 1 will run for 890 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (((F ((((1 <= p685)) AND ((p382 <= 0)))) AND (((1 <= p192)) AND ((p170 <= 0)))) OR X ((((p252 <= 0)) OR ((1 <= p108)))))) AND (((p284 <= 0)) OR ((1 <= p111))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 890 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p284 <= 0)) OR ((1 <= p111)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((p284 <= 0)) OR ((1 <= p111)))
lola: processed formula length: 33
lola: 34 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 1187 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((F ((((1 <= p685)) AND ((p382 <= 0)))) AND (((1 <= p192)) AND ((p170 <= 0)))) OR X ((((p252 <= 0)) OR ((1 <= p108))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (((F ((((1 <= p685)) AND ((p382 <= 0)))) AND (((1 <= p192)) AND ((p170 <= 0)))) OR X ((((p252 <= 0)) OR ((1 <= p108))))))
lola: processed formula length: 124
lola: 34 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 2 will run for 1187 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X ((F (((1 <= p470))) OR ((1 <= p470)))) AND (G (((1 <= p470))) AND (((p62 <= 0)) OR ((1 <= p6))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X ((F (((1 <= p470))) OR ((1 <= p470)))) AND (G (((1 <= p470))) AND (((p62 <= 0)) OR ((1 <= p6))))))
lola: processed formula length: 105
lola: 34 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 9457 markings, 9457 edges
lola: ========================================
lola: subprocess 3 will run for 1781 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((p273 <= 0)) OR ((1 <= p670))) U (X (X (F (((1 <= p214))))) AND F (G (((p214 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((((p273 <= 0)) OR ((1 <= p670))) U (X (X (F (((1 <= p214))))) AND F (G (((p214 <= 0))))))
lola: processed formula length: 91
lola: 34 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 13 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 381245 markings, 1162536 edges, 76249 markings/sec, 0 secs
lola: 711362 markings, 2307412 edges, 66023 markings/sec, 5 secs
lola: 1036898 markings, 3441885 edges, 65107 markings/sec, 10 secs
lola: 1346741 markings, 4585837 edges, 61969 markings/sec, 15 secs
lola: 1682402 markings, 5696555 edges, 67132 markings/sec, 20 secs
lola: 2007604 markings, 6828384 edges, 65040 markings/sec, 25 secs
lola: 2309075 markings, 7953480 edges, 60294 markings/sec, 30 secs
lola: 2619364 markings, 9105365 edges, 62058 markings/sec, 35 secs
lola: 2910498 markings, 10235887 edges, 58227 markings/sec, 40 secs
lola: 3207638 markings, 11355865 edges, 59428 markings/sec, 45 secs
lola: 3484387 markings, 12502505 edges, 55350 markings/sec, 50 secs
lola: 3748153 markings, 13626867 edges, 52753 markings/sec, 55 secs
lola: 4046815 markings, 14759280 edges, 59732 markings/sec, 60 secs
lola: 4360293 markings, 15900720 edges, 62696 markings/sec, 65 secs
lola: 4658195 markings, 17039227 edges, 59580 markings/sec, 70 secs
lola: 4948154 markings, 18163675 edges, 57992 markings/sec, 75 secs
lola: 5228864 markings, 19284194 edges, 56142 markings/sec, 80 secs
lola: 5510770 markings, 20378014 edges, 56381 markings/sec, 85 secs
lola: 5789944 markings, 21507037 edges, 55835 markings/sec, 90 secs
lola: 6064208 markings, 22643982 edges, 54853 markings/sec, 95 secs
lola: 6326935 markings, 23763706 edges, 52545 markings/sec, 100 secs
lola: 6589475 markings, 24888888 edges, 52508 markings/sec, 105 secs
lola: 6828747 markings, 26009197 edges, 47854 markings/sec, 110 secs
lola: 7086076 markings, 27133190 edges, 51466 markings/sec, 115 secs
lola: 7382067 markings, 28254112 edges, 59198 markings/sec, 120 secs
lola: 7687668 markings, 29375038 edges, 61120 markings/sec, 125 secs
lola: 7968822 markings, 30501501 edges, 56231 markings/sec, 130 secs
lola: 8277214 markings, 31632163 edges, 61678 markings/sec, 135 secs
lola: 8582022 markings, 32751142 edges, 60962 markings/sec, 140 secs
lola: 8861686 markings, 33876898 edges, 55933 markings/sec, 145 secs
lola: 9172193 markings, 35012298 edges, 62101 markings/sec, 150 secs
lola: 9481175 markings, 36143635 edges, 61796 markings/sec, 155 secs
lola: 9761188 markings, 37279068 edges, 56003 markings/sec, 160 secs
lola: 10052710 markings, 38418067 edges, 58304 markings/sec, 165 secs
lola: 10323141 markings, 39541157 edges, 54086 markings/sec, 170 secs
lola: 10578906 markings, 40671981 edges, 51153 markings/sec, 175 secs
lola: 10838178 markings, 41805946 edges, 51854 markings/sec, 180 secs
lola: 11113204 markings, 42926479 edges, 55005 markings/sec, 185 secs
lola: 11375763 markings, 44057611 edges, 52512 markings/sec, 190 secs
lola: 11621800 markings, 45188623 edges, 49207 markings/sec, 195 secs
lola: 11900902 markings, 46322087 edges, 55820 markings/sec, 200 secs
lola: 12171186 markings, 47443464 edges, 54057 markings/sec, 205 secs
lola: 12417111 markings, 48567456 edges, 49185 markings/sec, 210 secs
lola: 12724395 markings, 49706447 edges, 61457 markings/sec, 215 secs
lola: 13054130 markings, 50852077 edges, 65947 markings/sec, 220 secs
lola: 13367714 markings, 51983362 edges, 62717 markings/sec, 225 secs
lola: 13663802 markings, 53106663 edges, 59218 markings/sec, 230 secs
lola: 13964212 markings, 54215665 edges, 60082 markings/sec, 235 secs
lola: 14265045 markings, 55351821 edges, 60167 markings/sec, 240 secs
lola: 14542848 markings, 56468451 edges, 55561 markings/sec, 245 secs
lola: 14861576 markings, 57558649 edges, 63746 markings/sec, 250 secs
lola: 15153229 markings, 58642235 edges, 58331 markings/sec, 255 secs
lola: 15475949 markings, 59773886 edges, 64544 markings/sec, 260 secs
lola: 15763401 markings, 60888140 edges, 57490 markings/sec, 265 secs
lola: 16050964 markings, 61995368 edges, 57513 markings/sec, 270 secs
lola: 16347124 markings, 63143705 edges, 59232 markings/sec, 275 secs
lola: 16617471 markings, 64264444 edges, 54069 markings/sec, 280 secs
lola: 16896424 markings, 65359056 edges, 55791 markings/sec, 285 secs
lola: 17173117 markings, 66452090 edges, 55339 markings/sec, 290 secs
lola: 17448143 markings, 67592951 edges, 55005 markings/sec, 295 secs
lola: 17699606 markings, 68711618 edges, 50293 markings/sec, 300 secs
lola: 17947793 markings, 69810925 edges, 49637 markings/sec, 305 secs
lola: 18212799 markings, 70931146 edges, 53001 markings/sec, 310 secs
lola: 18490492 markings, 72039428 edges, 55539 markings/sec, 315 secs
lola: 18772397 markings, 73150643 edges, 56381 markings/sec, 320 secs
lola: 19038955 markings, 74279621 edges, 53312 markings/sec, 325 secs
lola: 19340075 markings, 75413795 edges, 60224 markings/sec, 330 secs
lola: 19624968 markings, 76538768 edges, 56979 markings/sec, 335 secs
lola: 19886922 markings, 77644758 edges, 52391 markings/sec, 340 secs
lola: 20148316 markings, 78736437 edges, 52279 markings/sec, 345 secs
lola: 20411250 markings, 79859809 edges, 52587 markings/sec, 350 secs
lola: 20679160 markings, 80949008 edges, 53582 markings/sec, 355 secs
lola: 20943123 markings, 82014284 edges, 52793 markings/sec, 360 secs
lola: 21215377 markings, 83114723 edges, 54451 markings/sec, 365 secs
lola: 21475604 markings, 84224101 edges, 52045 markings/sec, 370 secs
lola: 21731782 markings, 85320211 edges, 51236 markings/sec, 375 secs
lola: 21991202 markings, 86453546 edges, 51884 markings/sec, 380 secs
lola: 22232526 markings, 87560290 edges, 48265 markings/sec, 385 secs
lola: 22481538 markings, 88639104 edges, 49802 markings/sec, 390 secs
lola: 22731883 markings, 89758209 edges, 50069 markings/sec, 395 secs
lola: 22965871 markings, 90871198 edges, 46798 markings/sec, 400 secs
lola: 23189169 markings, 91961131 edges, 44660 markings/sec, 405 secs
lola: 23426959 markings, 93070830 edges, 47558 markings/sec, 410 secs
lola: 23674571 markings, 94162601 edges, 49522 markings/sec, 415 secs
lola: 23928530 markings, 95278106 edges, 50792 markings/sec, 420 secs
lola: 24175606 markings, 96402845 edges, 49415 markings/sec, 425 secs
lola: 24476723 markings, 97517629 edges, 60223 markings/sec, 430 secs
lola: 24767706 markings, 98619266 edges, 58197 markings/sec, 435 secs
lola: 25053521 markings, 99721314 edges, 57163 markings/sec, 440 secs
lola: 25327296 markings, 100837892 edges, 54755 markings/sec, 445 secs
lola: 25595624 markings, 101945165 edges, 53666 markings/sec, 450 secs
lola: 25845373 markings, 103050993 edges, 49950 markings/sec, 455 secs
lola: 26111318 markings, 104160874 edges, 53189 markings/sec, 460 secs
lola: 26347568 markings, 105281271 edges, 47250 markings/sec, 465 secs
lola: 26644570 markings, 106398593 edges, 59400 markings/sec, 470 secs
lola: 26934846 markings, 107505276 edges, 58055 markings/sec, 475 secs
lola: 27226242 markings, 108598465 edges, 58279 markings/sec, 480 secs
lola: 27502183 markings, 109711303 edges, 55188 markings/sec, 485 secs
lola: 27771655 markings, 110811227 edges, 53894 markings/sec, 490 secs
lola: 28018228 markings, 111919823 edges, 49315 markings/sec, 495 secs
lola: 28288342 markings, 113029316 edges, 54023 markings/sec, 500 secs
lola: 28532303 markings, 114142780 edges, 48792 markings/sec, 505 secs
lola: 28812039 markings, 115269994 edges, 55947 markings/sec, 510 secs
lola: 29101930 markings, 116390278 edges, 57978 markings/sec, 515 secs
lola: 29396645 markings, 117485939 edges, 58943 markings/sec, 520 secs
lola: 29682868 markings, 118610221 edges, 57245 markings/sec, 525 secs
lola: 29952279 markings, 119719179 edges, 53882 markings/sec, 530 secs
lola: 30209507 markings, 120842130 edges, 51446 markings/sec, 535 secs
lola: 30475794 markings, 121957412 edges, 53257 markings/sec, 540 secs
lola: 30730827 markings, 123085171 edges, 51007 markings/sec, 545 secs
lola: 30981524 markings, 124215645 edges, 50139 markings/sec, 550 secs
lola: 31243690 markings, 125326946 edges, 52433 markings/sec, 555 secs
lola: 31500836 markings, 126430121 edges, 51429 markings/sec, 560 secs
lola: 31757054 markings, 127530479 edges, 51244 markings/sec, 565 secs
lola: 32002964 markings, 128647270 edges, 49182 markings/sec, 570 secs
lola: 32243593 markings, 129744146 edges, 48126 markings/sec, 575 secs
lola: 32469186 markings, 130860109 edges, 45119 markings/sec, 580 secs
lola: 32706201 markings, 131970317 edges, 47403 markings/sec, 585 secs
lola: 32937383 markings, 133089180 edges, 46236 markings/sec, 590 secs
lola: 33150306 markings, 134214873 edges, 42585 markings/sec, 595 secs
lola: 33422230 markings, 135335965 edges, 54385 markings/sec, 600 secs
lola: 33677614 markings, 136445107 edges, 51077 markings/sec, 605 secs
lola: 33936264 markings, 137534991 edges, 51730 markings/sec, 610 secs
lola: 34187114 markings, 138649684 edges, 50170 markings/sec, 615 secs
lola: 34427347 markings, 139757071 edges, 48047 markings/sec, 620 secs
lola: 34659027 markings, 140873058 edges, 46336 markings/sec, 625 secs
lola: 34890455 markings, 141979041 edges, 46286 markings/sec, 630 secs
lola: 35125777 markings, 143090491 edges, 47064 markings/sec, 635 secs
lola: 35340707 markings, 144217272 edges, 42986 markings/sec, 640 secs
lola: 35601988 markings, 145344926 edges, 52256 markings/sec, 645 secs
lola: 35855982 markings, 146453899 edges, 50799 markings/sec, 650 secs
lola: 36110494 markings, 147534684 edges, 50902 markings/sec, 655 secs
lola: 36363295 markings, 148642598 edges, 50560 markings/sec, 660 secs
lola: 36609071 markings, 149763475 edges, 49155 markings/sec, 665 secs
lola: 36847665 markings, 150872626 edges, 47719 markings/sec, 670 secs
lola: 37071629 markings, 151979727 edges, 44793 markings/sec, 675 secs
lola: 37312029 markings, 153093157 edges, 48080 markings/sec, 680 secs
lola: 37533182 markings, 154211893 edges, 44231 markings/sec, 685 secs
lola: 37797918 markings, 155345485 edges, 52947 markings/sec, 690 secs
lola: 38107545 markings, 156487648 edges, 61925 markings/sec, 695 secs
lola: 38394448 markings, 157601342 edges, 57381 markings/sec, 700 secs
lola: 38676385 markings, 158702866 edges, 56387 markings/sec, 705 secs
lola: 38954964 markings, 159827966 edges, 55716 markings/sec, 710 secs
lola: 39239299 markings, 160922816 edges, 56867 markings/sec, 715 secs
lola: 39517270 markings, 161997716 edges, 55594 markings/sec, 720 secs
lola: 39802011 markings, 163105955 edges, 56948 markings/sec, 725 secs
lola: 40068046 markings, 164215889 edges, 53207 markings/sec, 730 secs
lola: 40339700 markings, 165335738 edges, 54331 markings/sec, 735 secs
lola: 40602172 markings, 166458958 edges, 52494 markings/sec, 740 secs
lola: 40862106 markings, 167565993 edges, 51987 markings/sec, 745 secs
lola: 41121927 markings, 168645426 edges, 51964 markings/sec, 750 secs
lola: 41379203 markings, 169785524 edges, 51455 markings/sec, 755 secs
lola: 41615995 markings, 170895418 edges, 47358 markings/sec, 760 secs
lola: 41856605 markings, 172003755 edges, 48122 markings/sec, 765 secs
lola: 42121638 markings, 173114503 edges, 53007 markings/sec, 770 secs
lola: 42378512 markings, 174176745 edges, 51375 markings/sec, 775 secs
lola: 42649784 markings, 175299370 edges, 54254 markings/sec, 780 secs
lola: 42932397 markings, 176420569 edges, 56523 markings/sec, 785 secs
lola: 43211649 markings, 177549769 edges, 55850 markings/sec, 790 secs
lola: 43495865 markings, 178631890 edges, 56843 markings/sec, 795 secs
lola: 43761965 markings, 179703743 edges, 53220 markings/sec, 800 secs
lola: 44039926 markings, 180796417 edges, 55592 markings/sec, 805 secs
lola: 44318263 markings, 181870957 edges, 55667 markings/sec, 810 secs
lola: 44582477 markings, 182944633 edges, 52843 markings/sec, 815 secs
lola: 44830173 markings, 184015939 edges, 49539 markings/sec, 820 secs
lola: 45153401 markings, 185107011 edges, 64646 markings/sec, 825 secs
lola: 45467561 markings, 186212721 edges, 62832 markings/sec, 830 secs
lola: 45783910 markings, 187319144 edges, 63270 markings/sec, 835 secs
lola: 46087131 markings, 188412837 edges, 60644 markings/sec, 840 secs
lola: 46389702 markings, 189488043 edges, 60514 markings/sec, 845 secs
lola: 46682305 markings, 190582357 edges, 58521 markings/sec, 850 secs
lola: 46982372 markings, 191651508 edges, 60013 markings/sec, 855 secs
lola: 47269314 markings, 192721224 edges, 57388 markings/sec, 860 secs
lola: 47571761 markings, 193819386 edges, 60489 markings/sec, 865 secs
lola: 47861078 markings, 194920127 edges, 57863 markings/sec, 870 secs
lola: 48150412 markings, 196002158 edges, 57867 markings/sec, 875 secs
lola: 48429855 markings, 197106327 edges, 55889 markings/sec, 880 secs
lola: 48706204 markings, 198185677 edges, 55270 markings/sec, 885 secs
lola: 48976375 markings, 199257209 edges, 54034 markings/sec, 890 secs
lola: 49238973 markings, 200364669 edges, 52520 markings/sec, 895 secs
lola: 49495172 markings, 201461121 edges, 51240 markings/sec, 900 secs
lola: 49747451 markings, 202539963 edges, 50456 markings/sec, 905 secs
lola: 50028518 markings, 203627878 edges, 56213 markings/sec, 910 secs
lola: 50328786 markings, 204722214 edges, 60054 markings/sec, 915 secs
lola: 50600227 markings, 205816105 edges, 54288 markings/sec, 920 secs
lola: 50876996 markings, 206902601 edges, 55354 markings/sec, 925 secs
lola: 51145016 markings, 207970290 edges, 53604 markings/sec, 930 secs
lola: 51401722 markings, 209046816 edges, 51341 markings/sec, 935 secs
lola: 51666324 markings, 210102390 edges, 52920 markings/sec, 940 secs
lola: 51932103 markings, 211181203 edges, 53156 markings/sec, 945 secs
lola: 52186885 markings, 212271525 edges, 50956 markings/sec, 950 secs
lola: 52444191 markings, 213344324 edges, 51461 markings/sec, 955 secs
lola: 52690751 markings, 214428239 edges, 49312 markings/sec, 960 secs
lola: 52932612 markings, 215493302 edges, 48372 markings/sec, 965 secs
lola: 53174159 markings, 216579882 edges, 48309 markings/sec, 970 secs
lola: 53402773 markings, 217667009 edges, 45723 markings/sec, 975 secs
lola: 53636327 markings, 218733800 edges, 46711 markings/sec, 980 secs
lola: 53906767 markings, 219807595 edges, 54088 markings/sec, 985 secs
lola: 54199510 markings, 220883448 edges, 58549 markings/sec, 990 secs
lola: 54478626 markings, 221965636 edges, 55823 markings/sec, 995 secs
lola: 54739148 markings, 223047627 edges, 52104 markings/sec, 1000 secs
lola: 55045427 markings, 224130657 edges, 61256 markings/sec, 1005 secs
lola: 55328370 markings, 225211274 edges, 56589 markings/sec, 1010 secs
lola: 55586805 markings, 226290963 edges, 51687 markings/sec, 1015 secs
lola: 55887478 markings, 227371253 edges, 60135 markings/sec, 1020 secs
lola: 56170425 markings, 228440980 edges, 56589 markings/sec, 1025 secs
lola: 56437939 markings, 229531796 edges, 53503 markings/sec, 1030 secs
lola: 56710274 markings, 230619709 edges, 54467 markings/sec, 1035 secs
lola: 56964185 markings, 231687260 edges, 50782 markings/sec, 1040 secs
lola: 57212109 markings, 232768561 edges, 49585 markings/sec, 1045 secs
lola: 57442884 markings, 233850567 edges, 46155 markings/sec, 1050 secs
lola: 57711787 markings, 234941448 edges, 53781 markings/sec, 1055 secs
lola: 57965183 markings, 236021856 edges, 50679 markings/sec, 1060 secs
lola: 58206956 markings, 237102234 edges, 48355 markings/sec, 1065 secs
lola: 58447549 markings, 238189157 edges, 48119 markings/sec, 1070 secs
lola: 58711883 markings, 239270037 edges, 52867 markings/sec, 1075 secs
lola: 58963791 markings, 240353161 edges, 50382 markings/sec, 1080 secs
lola: 59196581 markings, 241434567 edges, 46558 markings/sec, 1085 secs
lola: 59486203 markings, 242527485 edges, 57924 markings/sec, 1090 secs
lola: 59795930 markings, 243630081 edges, 61945 markings/sec, 1095 secs
lola: 60075347 markings, 244727042 edges, 55883 markings/sec, 1100 secs
lola: 60354019 markings, 245822168 edges, 55734 markings/sec, 1105 secs
lola: 60652508 markings, 246914642 edges, 59698 markings/sec, 1110 secs
lola: 60926430 markings, 248001609 edges, 54784 markings/sec, 1115 secs
lola: 61205580 markings, 249088024 edges, 55830 markings/sec, 1120 secs
lola: 61485624 markings, 250146092 edges, 56009 markings/sec, 1125 secs
lola: 61768156 markings, 251242172 edges, 56506 markings/sec, 1130 secs
lola: 62031118 markings, 252315229 edges, 52592 markings/sec, 1135 secs
lola: 62329486 markings, 253385553 edges, 59674 markings/sec, 1140 secs
lola: 62597202 markings, 254445762 edges, 53543 markings/sec, 1145 secs
lola: 62868792 markings, 255505672 edges, 54318 markings/sec, 1150 secs
lola: 63164296 markings, 256593190 edges, 59101 markings/sec, 1155 secs
lola: 63434638 markings, 257682271 edges, 54068 markings/sec, 1160 secs
lola: 63714070 markings, 258770111 edges, 55886 markings/sec, 1165 secs
lola: 63975572 markings, 259846725 edges, 52300 markings/sec, 1170 secs
lola: 64242305 markings, 260905874 edges, 53347 markings/sec, 1175 secs
lola: 64513708 markings, 262002770 edges, 54281 markings/sec, 1180 secs
lola: 64778085 markings, 263091016 edges, 52875 markings/sec, 1185 secs
lola: 65035492 markings, 264158357 edges, 51481 markings/sec, 1190 secs
lola: 65301683 markings, 265231477 edges, 53238 markings/sec, 1195 secs
lola: 65552297 markings, 266288139 edges, 50123 markings/sec, 1200 secs
lola: 65809810 markings, 267383205 edges, 51503 markings/sec, 1205 secs
lola: 66051021 markings, 268483086 edges, 48242 markings/sec, 1210 secs
lola: 66301232 markings, 269577665 edges, 50042 markings/sec, 1215 secs
lola: 66534111 markings, 270660164 edges, 46576 markings/sec, 1220 secs
lola: 66772090 markings, 271722053 edges, 47596 markings/sec, 1225 secs
lola: 67030841 markings, 272802461 edges, 51750 markings/sec, 1230 secs
lola: 67295725 markings, 273873002 edges, 52977 markings/sec, 1235 secs
lola: 67565696 markings, 274966214 edges, 53994 markings/sec, 1240 secs
lola: 67843311 markings, 276056190 edges, 55523 markings/sec, 1245 secs
lola: 68111353 markings, 277142668 edges, 53608 markings/sec, 1250 secs
lola: 68353569 markings, 278226395 edges, 48443 markings/sec, 1255 secs
lola: 68615155 markings, 279314787 edges, 52317 markings/sec, 1260 secs
lola: 68862863 markings, 280382731 edges, 49542 markings/sec, 1265 secs
lola: 69107894 markings, 281444425 edges, 49006 markings/sec, 1270 secs
lola: 69360208 markings, 282504032 edges, 50463 markings/sec, 1275 secs
lola: 69598730 markings, 283580802 edges, 47704 markings/sec, 1280 secs
lola: 69857204 markings, 284634922 edges, 51695 markings/sec, 1285 secs
lola: 70096869 markings, 285683294 edges, 47933 markings/sec, 1290 secs
lola: 70335441 markings, 286729867 edges, 47714 markings/sec, 1295 secs
lola: 70598470 markings, 287812046 edges, 52606 markings/sec, 1300 secs
lola: 70843434 markings, 288898144 edges, 48993 markings/sec, 1305 secs
lola: 71085882 markings, 289981316 edges, 48490 markings/sec, 1310 secs
lola: 71324512 markings, 291038650 edges, 47726 markings/sec, 1315 secs
lola: 71569947 markings, 292131409 edges, 49087 markings/sec, 1320 secs
lola: 71804684 markings, 293211130 edges, 46947 markings/sec, 1325 secs
lola: 72040229 markings, 294268471 edges, 47109 markings/sec, 1330 secs
lola: 72259946 markings, 295298534 edges, 43943 markings/sec, 1335 secs
lola: 72449937 markings, 296152788 edges, 37998 markings/sec, 1340 secs
lola: 72646519 markings, 297134573 edges, 39316 markings/sec, 1345 secs
lola: 72867588 markings, 298199494 edges, 44214 markings/sec, 1350 secs
lola: 73071655 markings, 299230600 edges, 40813 markings/sec, 1355 secs
lola: 73284971 markings, 300263145 edges, 42663 markings/sec, 1360 secs
lola: 73504101 markings, 301245748 edges, 43826 markings/sec, 1365 secs
lola: 73728287 markings, 302247100 edges, 44837 markings/sec, 1370 secs
lola: 73942861 markings, 303263830 edges, 42915 markings/sec, 1375 secs
lola: 74116518 markings, 303975682 edges, 34731 markings/sec, 1380 secs
lola: 74389640 markings, 305022069 edges, 54624 markings/sec, 1385 secs
lola: 74654672 markings, 306055989 edges, 53006 markings/sec, 1390 secs
lola: 74910652 markings, 307067185 edges, 51196 markings/sec, 1395 secs
lola: 75172097 markings, 308129532 edges, 52289 markings/sec, 1400 secs
lola: 75371099 markings, 308959959 edges, 39800 markings/sec, 1405 secs
lola: 75587638 markings, 309881758 edges, 43308 markings/sec, 1410 secs
lola: 75798417 markings, 310849652 edges, 42156 markings/sec, 1415 secs
lola: 76045488 markings, 311891853 edges, 49414 markings/sec, 1420 secs
lola: 76246776 markings, 312809799 edges, 40258 markings/sec, 1425 secs
lola: 76417617 markings, 313590609 edges, 34168 markings/sec, 1430 secs
lola: 76684383 markings, 314605682 edges, 53353 markings/sec, 1435 secs
lola: 76924243 markings, 315556874 edges, 47972 markings/sec, 1440 secs
lola: 77190149 markings, 316596641 edges, 53181 markings/sec, 1445 secs
lola: 77444424 markings, 317615808 edges, 50855 markings/sec, 1450 secs
lola: 77696919 markings, 318650532 edges, 50499 markings/sec, 1455 secs
lola: 77930532 markings, 319635901 edges, 46723 markings/sec, 1460 secs
lola: 78162788 markings, 320699016 edges, 46451 markings/sec, 1465 secs
lola: 78408510 markings, 321736740 edges, 49144 markings/sec, 1470 secs
lola: 78629426 markings, 322746941 edges, 44183 markings/sec, 1475 secs
lola: 78787019 markings, 323463878 edges, 31519 markings/sec, 1480 secs
lola: 79033976 markings, 324401774 edges, 49391 markings/sec, 1485 secs
lola: 79273008 markings, 325342513 edges, 47806 markings/sec, 1490 secs
lola: 79496424 markings, 326202487 edges, 44683 markings/sec, 1495 secs
lola: 79720415 markings, 327101976 edges, 44798 markings/sec, 1500 secs
lola: 79967050 markings, 328110819 edges, 49327 markings/sec, 1505 secs
lola: 80204429 markings, 329109589 edges, 47476 markings/sec, 1510 secs
lola: 80420792 markings, 330056764 edges, 43273 markings/sec, 1515 secs
lola: 80649273 markings, 331078594 edges, 45696 markings/sec, 1520 secs
lola: 80888551 markings, 332103900 edges, 47856 markings/sec, 1525 secs
lola: 81085275 markings, 333045239 edges, 39345 markings/sec, 1530 secs
lola: 81229430 markings, 333670015 edges, 28831 markings/sec, 1535 secs
lola: 81470142 markings, 334709988 edges, 48142 markings/sec, 1540 secs
lola: 81675640 markings, 335630721 edges, 41100 markings/sec, 1545 secs
lola: 81909949 markings, 336661852 edges, 46862 markings/sec, 1550 secs
lola: 82113303 markings, 337567496 edges, 40671 markings/sec, 1555 secs
lola: 82335831 markings, 338591504 edges, 44506 markings/sec, 1560 secs
lola: 82548577 markings, 339588018 edges, 42549 markings/sec, 1565 secs
lola: 82748772 markings, 340561063 edges, 40039 markings/sec, 1570 secs
lola: 82949577 markings, 341581906 edges, 40161 markings/sec, 1575 secs
lola: 83170946 markings, 342612331 edges, 44274 markings/sec, 1580 secs
lola: 83359556 markings, 343572324 edges, 37722 markings/sec, 1585 secs
lola: 83503305 markings, 344317498 edges, 28750 markings/sec, 1590 secs
lola: 83691085 markings, 345121991 edges, 37556 markings/sec, 1595 secs
lola: 83912228 markings, 346085373 edges, 44229 markings/sec, 1600 secs
lola: 84123773 markings, 347018488 edges, 42309 markings/sec, 1605 secs
lola: 84339906 markings, 347984074 edges, 43227 markings/sec, 1610 secs
lola: 84569804 markings, 349033596 edges, 45980 markings/sec, 1615 secs
lola: 84780152 markings, 349998838 edges, 42070 markings/sec, 1620 secs
lola: 84986000 markings, 350971575 edges, 41170 markings/sec, 1625 secs
lola: 85196612 markings, 352019194 edges, 42122 markings/sec, 1630 secs
lola: 85410940 markings, 353064757 edges, 42866 markings/sec, 1635 secs
lola: 85597935 markings, 353954874 edges, 37399 markings/sec, 1640 secs
lola: 85782768 markings, 354923075 edges, 36967 markings/sec, 1645 secs
lola: 85910027 markings, 355533366 edges, 25452 markings/sec, 1650 secs
lola: 86112172 markings, 356396822 edges, 40429 markings/sec, 1655 secs
lola: 86306463 markings, 357252182 edges, 38858 markings/sec, 1660 secs
lola: 86500683 markings, 358110076 edges, 38844 markings/sec, 1665 secs
lola: 86613333 markings, 358605373 edges, 22530 markings/sec, 1670 secs
lola: 86700991 markings, 359006047 edges, 17532 markings/sec, 1675 secs
lola: 86856725 markings, 359703692 edges, 31147 markings/sec, 1680 secs
lola: 86966341 markings, 360215775 edges, 21923 markings/sec, 1685 secs
lola: 87099185 markings, 360817933 edges, 26569 markings/sec, 1690 secs
lola: 87264432 markings, 361587490 edges, 33049 markings/sec, 1695 secs
lola: 87413074 markings, 362299836 edges, 29728 markings/sec, 1700 secs
lola: 87578595 markings, 363137574 edges, 33104 markings/sec, 1705 secs
lola: 87732721 markings, 363902395 edges, 30825 markings/sec, 1710 secs
lola: 87917636 markings, 364765189 edges, 36983 markings/sec, 1715 secs
lola: 88049532 markings, 365430338 edges, 26379 markings/sec, 1720 secs
lola: 88210357 markings, 366291477 edges, 32165 markings/sec, 1725 secs
lola: 88440357 markings, 367140706 edges, 46000 markings/sec, 1730 secs
lola: 88626702 markings, 367848469 edges, 37269 markings/sec, 1735 secs
lola: 88864441 markings, 368861426 edges, 47548 markings/sec, 1740 secs
lola: 88883025 markings, 368920275 edges, 3717 markings/sec, 1745 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 1809 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((p446 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((p446 <= 0))))
lola: processed formula length: 21
lola: 34 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 386748 markings, 1062959 edges, 77350 markings/sec, 0 secs
lola: 760238 markings, 2143703 edges, 74698 markings/sec, 5 secs
lola: 1113505 markings, 3228002 edges, 70653 markings/sec, 10 secs
lola: 1457010 markings, 4310043 edges, 68701 markings/sec, 15 secs
lola: 1806598 markings, 5394037 edges, 69918 markings/sec, 20 secs
lola: 2179448 markings, 6474570 edges, 74570 markings/sec, 25 secs
lola: 2547848 markings, 7558293 edges, 73680 markings/sec, 30 secs
lola: 2903717 markings, 8639411 edges, 71174 markings/sec, 35 secs
lola: 3234162 markings, 9723537 edges, 66089 markings/sec, 40 secs
lola: 3578397 markings, 10815229 edges, 68847 markings/sec, 45 secs
lola: 3921722 markings, 11915248 edges, 68665 markings/sec, 50 secs
lola: 4256368 markings, 13017730 edges, 66929 markings/sec, 55 secs
lola: 4581059 markings, 14122955 edges, 64938 markings/sec, 60 secs
lola: 4892274 markings, 15219852 edges, 62243 markings/sec, 65 secs
lola: 5217073 markings, 16321077 edges, 64960 markings/sec, 70 secs
lola: 5558075 markings, 17420144 edges, 68200 markings/sec, 75 secs
lola: 5901627 markings, 18521319 edges, 68710 markings/sec, 80 secs
lola: 6224677 markings, 19625644 edges, 64610 markings/sec, 85 secs
lola: 6543819 markings, 20724538 edges, 63828 markings/sec, 90 secs
lola: 6849664 markings, 21821980 edges, 61169 markings/sec, 95 secs
lola: 7228024 markings, 22882377 edges, 75672 markings/sec, 100 secs
lola: 7597078 markings, 23944559 edges, 73811 markings/sec, 105 secs
lola: 7943601 markings, 25011896 edges, 69305 markings/sec, 110 secs
lola: 8281789 markings, 26076455 edges, 67638 markings/sec, 115 secs
lola: 8612583 markings, 27150687 edges, 66159 markings/sec, 120 secs
lola: 8950051 markings, 28239770 edges, 67494 markings/sec, 125 secs
lola: 9288027 markings, 29328352 edges, 67595 markings/sec, 130 secs
lola: 9607750 markings, 30422077 edges, 63945 markings/sec, 135 secs
lola: 9922931 markings, 31508630 edges, 63036 markings/sec, 140 secs
lola: 10219366 markings, 32594508 edges, 59287 markings/sec, 145 secs
lola: 10563665 markings, 33675153 edges, 68860 markings/sec, 150 secs
lola: 10898263 markings, 34752770 edges, 66920 markings/sec, 155 secs
lola: 11218095 markings, 35835267 edges, 63966 markings/sec, 160 secs
lola: 11538232 markings, 36913689 edges, 64027 markings/sec, 165 secs
lola: 11837092 markings, 37986936 edges, 59772 markings/sec, 170 secs
lola: 12162383 markings, 39068180 edges, 65058 markings/sec, 175 secs
lola: 12500469 markings, 40148328 edges, 67617 markings/sec, 180 secs
lola: 12833019 markings, 41232165 edges, 66510 markings/sec, 185 secs
lola: 13152868 markings, 42321339 edges, 63970 markings/sec, 190 secs
lola: 13460133 markings, 43396462 edges, 61453 markings/sec, 195 secs
lola: 13784447 markings, 44475049 edges, 64863 markings/sec, 200 secs
lola: 14149711 markings, 45548033 edges, 73053 markings/sec, 205 secs
lola: 14496132 markings, 46619063 edges, 69284 markings/sec, 210 secs
lola: 14835412 markings, 47690950 edges, 67856 markings/sec, 215 secs
lola: 15155001 markings, 48768338 edges, 63918 markings/sec, 220 secs
lola: 15463337 markings, 49847794 edges, 61667 markings/sec, 225 secs
lola: 15807017 markings, 50937421 edges, 68736 markings/sec, 230 secs
lola: 16139417 markings, 52029703 edges, 66480 markings/sec, 235 secs
lola: 16476016 markings, 53103568 edges, 67320 markings/sec, 240 secs
lola: 16778021 markings, 54192992 edges, 60401 markings/sec, 245 secs
lola: 17071390 markings, 55277124 edges, 58674 markings/sec, 250 secs
lola: 17395682 markings, 56359650 edges, 64858 markings/sec, 255 secs
lola: 17705837 markings, 57447830 edges, 62031 markings/sec, 260 secs
lola: 18013568 markings, 58537133 edges, 61546 markings/sec, 265 secs
lola: 18318408 markings, 59616306 edges, 60968 markings/sec, 270 secs
lola: 18589939 markings, 60715955 edges, 54306 markings/sec, 275 secs
lola: 18878760 markings, 61801755 edges, 57764 markings/sec, 280 secs
lola: 19195811 markings, 62872901 edges, 63410 markings/sec, 285 secs
lola: 19532593 markings, 63938812 edges, 67356 markings/sec, 290 secs
lola: 19856499 markings, 65016756 edges, 64781 markings/sec, 295 secs
lola: 20174415 markings, 66086902 edges, 63583 markings/sec, 300 secs
lola: 20464258 markings, 67171877 edges, 57969 markings/sec, 305 secs
lola: 20797196 markings, 68236714 edges, 66588 markings/sec, 310 secs
lola: 21123082 markings, 69306523 edges, 65177 markings/sec, 315 secs
lola: 21428785 markings, 70376938 edges, 61141 markings/sec, 320 secs
lola: 21736724 markings, 71465143 edges, 61588 markings/sec, 325 secs
lola: 22042111 markings, 72547075 edges, 61077 markings/sec, 330 secs
lola: 22331103 markings, 73638796 edges, 57798 markings/sec, 335 secs
lola: 22611984 markings, 74726651 edges, 56176 markings/sec, 340 secs
lola: 22919949 markings, 75798052 edges, 61593 markings/sec, 345 secs
lola: 23210663 markings, 76879540 edges, 58143 markings/sec, 350 secs
lola: 23489474 markings, 77945189 edges, 55762 markings/sec, 355 secs
lola: 23773989 markings, 79026260 edges, 56903 markings/sec, 360 secs
lola: 24091283 markings, 80101010 edges, 63459 markings/sec, 365 secs
lola: 24417421 markings, 81182793 edges, 65228 markings/sec, 370 secs
lola: 24710075 markings, 82256911 edges, 58531 markings/sec, 375 secs
lola: 25009751 markings, 83322164 edges, 59935 markings/sec, 380 secs
lola: 25310992 markings, 84387504 edges, 60248 markings/sec, 385 secs
lola: 25620591 markings, 85460740 edges, 61920 markings/sec, 390 secs
lola: 25926542 markings, 86540845 edges, 61190 markings/sec, 395 secs
lola: 26223014 markings, 87622520 edges, 59294 markings/sec, 400 secs
lola: 26506471 markings, 88685602 edges, 56691 markings/sec, 405 secs
lola: 26787845 markings, 89760654 edges, 56275 markings/sec, 410 secs
lola: 27072433 markings, 90835891 edges, 56918 markings/sec, 415 secs
lola: 27343846 markings, 91906688 edges, 54283 markings/sec, 420 secs
lola: 27640114 markings, 92979755 edges, 59254 markings/sec, 425 secs
lola: 27940508 markings, 94047757 edges, 60079 markings/sec, 430 secs
lola: 28236460 markings, 95108378 edges, 59190 markings/sec, 435 secs
lola: 28539634 markings, 96174769 edges, 60635 markings/sec, 440 secs
lola: 28835157 markings, 97250276 edges, 59105 markings/sec, 445 secs
lola: 29114522 markings, 98307192 edges, 55873 markings/sec, 450 secs
lola: 29413639 markings, 99374051 edges, 59823 markings/sec, 455 secs
lola: 29696022 markings, 100443433 edges, 56477 markings/sec, 460 secs
lola: 29971806 markings, 101519891 edges, 55157 markings/sec, 465 secs
lola: 30257412 markings, 102595779 edges, 57121 markings/sec, 470 secs
lola: 30517510 markings, 103660742 edges, 52020 markings/sec, 475 secs
lola: 30780996 markings, 104723246 edges, 52697 markings/sec, 480 secs
lola: 31035670 markings, 105787477 edges, 50935 markings/sec, 485 secs
lola: 31298986 markings, 106844742 edges, 52663 markings/sec, 490 secs
lola: 31551935 markings, 107892546 edges, 50590 markings/sec, 495 secs
lola: 31790308 markings, 108945906 edges, 47675 markings/sec, 500 secs
lola: 32063211 markings, 110016308 edges, 54581 markings/sec, 505 secs
lola: 32327530 markings, 111077481 edges, 52864 markings/sec, 510 secs
lola: 32579143 markings, 112133244 edges, 50323 markings/sec, 515 secs
lola: 32858218 markings, 113210948 edges, 55815 markings/sec, 520 secs
lola: 33156734 markings, 114281204 edges, 59703 markings/sec, 525 secs
lola: 33432347 markings, 115367422 edges, 55123 markings/sec, 530 secs
lola: 33707574 markings, 116438943 edges, 55045 markings/sec, 535 secs
lola: 33976643 markings, 117512821 edges, 53814 markings/sec, 540 secs
lola: 34303805 markings, 118592633 edges, 65432 markings/sec, 545 secs
lola: 34610990 markings, 119667941 edges, 61437 markings/sec, 550 secs
lola: 34912300 markings, 120745124 edges, 60262 markings/sec, 555 secs
lola: 35211032 markings, 121823782 edges, 59746 markings/sec, 560 secs
lola: 35482500 markings, 122888745 edges, 54294 markings/sec, 565 secs
lola: 35749909 markings, 123944233 edges, 53482 markings/sec, 570 secs
lola: 36011148 markings, 125005214 edges, 52248 markings/sec, 575 secs
lola: 36314225 markings, 126084476 edges, 60615 markings/sec, 580 secs
lola: 36603071 markings, 127160235 edges, 57769 markings/sec, 585 secs
lola: 36879283 markings, 128230349 edges, 55242 markings/sec, 590 secs
lola: 37127611 markings, 129268538 edges, 49666 markings/sec, 595 secs
lola: 37381796 markings, 130312271 edges, 50837 markings/sec, 600 secs
lola: 37652686 markings, 131358091 edges, 54178 markings/sec, 605 secs
lola: 37921942 markings, 132403149 edges, 53851 markings/sec, 610 secs
lola: 38226614 markings, 133466446 edges, 60934 markings/sec, 615 secs
lola: 38511403 markings, 134521585 edges, 56958 markings/sec, 620 secs
lola: 38768470 markings, 135562905 edges, 51413 markings/sec, 625 secs
lola: 39043744 markings, 136617789 edges, 55055 markings/sec, 630 secs
lola: 39300583 markings, 137661123 edges, 51368 markings/sec, 635 secs
lola: 39568792 markings, 138687520 edges, 53642 markings/sec, 640 secs
lola: 39886660 markings, 139779152 edges, 63574 markings/sec, 645 secs
lola: 40184818 markings, 140884188 edges, 59632 markings/sec, 650 secs
lola: 40490366 markings, 141968163 edges, 61110 markings/sec, 655 secs
lola: 40772543 markings, 143061849 edges, 56435 markings/sec, 660 secs
lola: 41043192 markings, 144166288 edges, 54130 markings/sec, 665 secs
lola: 41334222 markings, 145263282 edges, 58206 markings/sec, 670 secs
lola: 41632990 markings, 146362335 edges, 59754 markings/sec, 675 secs
lola: 41914135 markings, 147462723 edges, 56229 markings/sec, 680 secs
lola: 42203410 markings, 148565933 edges, 57855 markings/sec, 685 secs
lola: 42502402 markings, 149667650 edges, 59798 markings/sec, 690 secs
lola: 42806485 markings, 150748083 edges, 60817 markings/sec, 695 secs
lola: 43102331 markings, 151835665 edges, 59169 markings/sec, 700 secs
lola: 43391046 markings, 152911617 edges, 57743 markings/sec, 705 secs
lola: 43665399 markings, 153976255 edges, 54871 markings/sec, 710 secs
lola: 43950144 markings, 155045326 edges, 56949 markings/sec, 715 secs
lola: 44226819 markings, 156095373 edges, 55335 markings/sec, 720 secs
lola: 44519953 markings, 157167984 edges, 58627 markings/sec, 725 secs
lola: 44805822 markings, 158224810 edges, 57174 markings/sec, 730 secs
lola: 45073927 markings, 159283048 edges, 53621 markings/sec, 735 secs
lola: 45346266 markings, 160351152 edges, 54468 markings/sec, 740 secs
lola: 45621247 markings, 161453868 edges, 54996 markings/sec, 745 secs
lola: 45903728 markings, 162537401 edges, 56496 markings/sec, 750 secs
lola: 46179637 markings, 163586298 edges, 55182 markings/sec, 755 secs
lola: 46436261 markings, 164622010 edges, 51325 markings/sec, 760 secs
lola: 46693200 markings, 165670247 edges, 51388 markings/sec, 765 secs
lola: 46952632 markings, 166711078 edges, 51886 markings/sec, 770 secs
lola: 47213517 markings, 167770490 edges, 52177 markings/sec, 775 secs
lola: 47463441 markings, 168828651 edges, 49985 markings/sec, 780 secs
lola: 47728751 markings, 169913091 edges, 53062 markings/sec, 785 secs
lola: 48005615 markings, 170977911 edges, 55373 markings/sec, 790 secs
lola: 48265749 markings, 172043088 edges, 52027 markings/sec, 795 secs
lola: 48555851 markings, 173118923 edges, 58020 markings/sec, 800 secs
lola: 48846727 markings, 174197216 edges, 58175 markings/sec, 805 secs
lola: 49141785 markings, 175275877 edges, 59012 markings/sec, 810 secs
lola: 49423231 markings, 176339363 edges, 56289 markings/sec, 815 secs
lola: 49695799 markings, 177404345 edges, 54514 markings/sec, 820 secs
lola: 49968301 markings, 178459473 edges, 54500 markings/sec, 825 secs
lola: 50238725 markings, 179541318 edges, 54085 markings/sec, 830 secs
lola: 50531123 markings, 180614157 edges, 58480 markings/sec, 835 secs
lola: 50818461 markings, 181676910 edges, 57468 markings/sec, 840 secs
lola: 51088809 markings, 182744961 edges, 54070 markings/sec, 845 secs
lola: 51374946 markings, 183826265 edges, 57227 markings/sec, 850 secs
lola: 51669126 markings, 184878754 edges, 58836 markings/sec, 855 secs
lola: 51945179 markings, 185934360 edges, 55211 markings/sec, 860 secs
lola: 52206619 markings, 186978241 edges, 52288 markings/sec, 865 secs
lola: 52457595 markings, 188030490 edges, 50195 markings/sec, 870 secs
lola: 52747441 markings, 189083769 edges, 57969 markings/sec, 875 secs
lola: 53022121 markings, 190137237 edges, 54936 markings/sec, 880 secs
lola: 53278611 markings, 191175852 edges, 51298 markings/sec, 885 secs
lola: 53527830 markings, 192204344 edges, 49844 markings/sec, 890 secs
lola: 53782877 markings, 193263470 edges, 51009 markings/sec, 895 secs
lola: 54052462 markings, 194332661 edges, 53917 markings/sec, 900 secs
lola: 54303416 markings, 195392545 edges, 50191 markings/sec, 905 secs
lola: 54567328 markings, 196453857 edges, 52782 markings/sec, 910 secs
lola: 54815343 markings, 197514541 edges, 49603 markings/sec, 915 secs
lola: 55064202 markings, 198567670 edges, 49772 markings/sec, 920 secs
lola: 55311434 markings, 199649676 edges, 49446 markings/sec, 925 secs
lola: 55574365 markings, 200735023 edges, 52586 markings/sec, 930 secs
lola: 55842297 markings, 201820079 edges, 53586 markings/sec, 935 secs
lola: 56115485 markings, 202888148 edges, 54638 markings/sec, 940 secs
lola: 56380149 markings, 203951690 edges, 52933 markings/sec, 945 secs
lola: 56632085 markings, 205020049 edges, 50387 markings/sec, 950 secs
lola: 56906499 markings, 206094213 edges, 54883 markings/sec, 955 secs
lola: 57190454 markings, 207162525 edges, 56791 markings/sec, 960 secs
lola: 57463825 markings, 208244135 edges, 54674 markings/sec, 965 secs
lola: 57748236 markings, 209324766 edges, 56882 markings/sec, 970 secs
lola: 58026505 markings, 210390136 edges, 55654 markings/sec, 975 secs
lola: 58286782 markings, 211439829 edges, 52055 markings/sec, 980 secs
lola: 58539588 markings, 212494615 edges, 50561 markings/sec, 985 secs
lola: 58804970 markings, 213547233 edges, 53076 markings/sec, 990 secs
lola: 59060535 markings, 214590220 edges, 51113 markings/sec, 995 secs
lola: 59307559 markings, 215657005 edges, 49405 markings/sec, 1000 secs
lola: 59585901 markings, 216717124 edges, 55668 markings/sec, 1005 secs
lola: 59856735 markings, 217762294 edges, 54167 markings/sec, 1010 secs
lola: 60113807 markings, 218799924 edges, 51414 markings/sec, 1015 secs
lola: 60372872 markings, 219862076 edges, 51813 markings/sec, 1020 secs
lola: 60632660 markings, 220933357 edges, 51958 markings/sec, 1025 secs
lola: 60902283 markings, 222010712 edges, 53925 markings/sec, 1030 secs
lola: 61179021 markings, 223055736 edges, 55348 markings/sec, 1035 secs
lola: 61438379 markings, 224095380 edges, 51872 markings/sec, 1040 secs
lola: 61693114 markings, 225139428 edges, 50947 markings/sec, 1045 secs
lola: 61943042 markings, 226179454 edges, 49986 markings/sec, 1050 secs
lola: 62183974 markings, 227224443 edges, 48186 markings/sec, 1055 secs
lola: 62416702 markings, 228252411 edges, 46546 markings/sec, 1060 secs
lola: 62687660 markings, 229304063 edges, 54192 markings/sec, 1065 secs
lola: 62955190 markings, 230348693 edges, 53506 markings/sec, 1070 secs
lola: 63218040 markings, 231398960 edges, 52570 markings/sec, 1075 secs
lola: 63474143 markings, 232428347 edges, 51221 markings/sec, 1080 secs
lola: 63714400 markings, 233462283 edges, 48051 markings/sec, 1085 secs
lola: 63959669 markings, 234492317 edges, 49054 markings/sec, 1090 secs
lola: 64195573 markings, 235521245 edges, 47181 markings/sec, 1095 secs
lola: 64449878 markings, 236585432 edges, 50861 markings/sec, 1100 secs
lola: 64700339 markings, 237640760 edges, 50092 markings/sec, 1105 secs
lola: 64936925 markings, 238683390 edges, 47317 markings/sec, 1110 secs
lola: 65165002 markings, 239720205 edges, 45615 markings/sec, 1115 secs
lola: 65408752 markings, 240770247 edges, 48750 markings/sec, 1120 secs
lola: 65665240 markings, 241819192 edges, 51298 markings/sec, 1125 secs
lola: 65904077 markings, 242856446 edges, 47767 markings/sec, 1130 secs
lola: 66149870 markings, 243898186 edges, 49159 markings/sec, 1135 secs
lola: 66387584 markings, 244930806 edges, 47543 markings/sec, 1140 secs
lola: 66619758 markings, 245972943 edges, 46435 markings/sec, 1145 secs
lola: 66852467 markings, 247038122 edges, 46542 markings/sec, 1150 secs
lola: 67113509 markings, 248080157 edges, 52208 markings/sec, 1155 secs
lola: 67356264 markings, 249095687 edges, 48551 markings/sec, 1160 secs
lola: 67602861 markings, 250127795 edges, 49319 markings/sec, 1165 secs
lola: 67840441 markings, 251169542 edges, 47516 markings/sec, 1170 secs
lola: 68075454 markings, 252205384 edges, 47003 markings/sec, 1175 secs
lola: 68377074 markings, 253262962 edges, 60324 markings/sec, 1180 secs
lola: 68703536 markings, 254333222 edges, 65292 markings/sec, 1185 secs
lola: 69017620 markings, 255428107 edges, 62817 markings/sec, 1190 secs
lola: 69314156 markings, 256505579 edges, 59307 markings/sec, 1195 secs
lola: 69625795 markings, 257578958 edges, 62328 markings/sec, 1200 secs
lola: 69907087 markings, 258649942 edges, 56258 markings/sec, 1205 secs
lola: 70210030 markings, 259718035 edges, 60589 markings/sec, 1210 secs
lola: 70494905 markings, 260773711 edges, 56975 markings/sec, 1215 secs
lola: 70757581 markings, 261823705 edges, 52535 markings/sec, 1220 secs
lola: 71041558 markings, 262890681 edges, 56795 markings/sec, 1225 secs
lola: 71339094 markings, 263953781 edges, 59507 markings/sec, 1230 secs
lola: 71629551 markings, 265040261 edges, 58091 markings/sec, 1235 secs
lola: 71907591 markings, 266112707 edges, 55608 markings/sec, 1240 secs
lola: 72244599 markings, 267189575 edges, 67402 markings/sec, 1245 secs
lola: 72598315 markings, 268264872 edges, 70743 markings/sec, 1250 secs
lola: 72929396 markings, 269355261 edges, 66216 markings/sec, 1255 secs
lola: 73253493 markings, 270447045 edges, 64819 markings/sec, 1260 secs
lola: 73590462 markings, 271519490 edges, 67394 markings/sec, 1265 secs
lola: 73921727 markings, 272592108 edges, 66253 markings/sec, 1270 secs
lola: 74238781 markings, 273667951 edges, 63411 markings/sec, 1275 secs
lola: 74555729 markings, 274741703 edges, 63390 markings/sec, 1280 secs
lola: 74889996 markings, 275813509 edges, 66853 markings/sec, 1285 secs
lola: 75213278 markings, 276880678 edges, 64656 markings/sec, 1290 secs
lola: 75526263 markings, 277943882 edges, 62597 markings/sec, 1295 secs
lola: 75827560 markings, 279023384 edges, 60259 markings/sec, 1300 secs
lola: 76121881 markings, 280095749 edges, 58864 markings/sec, 1305 secs
lola: 76414418 markings, 281165135 edges, 58507 markings/sec, 1310 secs
lola: 76700750 markings, 282238659 edges, 57266 markings/sec, 1315 secs
lola: 76980783 markings, 283299781 edges, 56007 markings/sec, 1320 secs
lola: 77251521 markings, 284357005 edges, 54148 markings/sec, 1325 secs
lola: 77521486 markings, 285403861 edges, 53993 markings/sec, 1330 secs
lola: 77794260 markings, 286465397 edges, 54555 markings/sec, 1335 secs
lola: 78084794 markings, 287543528 edges, 58107 markings/sec, 1340 secs
lola: 78367466 markings, 288614741 edges, 56534 markings/sec, 1345 secs
lola: 78640457 markings, 289683231 edges, 54598 markings/sec, 1350 secs
lola: 78909392 markings, 290739946 edges, 53787 markings/sec, 1355 secs
lola: 79167412 markings, 291802678 edges, 51604 markings/sec, 1360 secs
lola: 79459051 markings, 292867102 edges, 58328 markings/sec, 1365 secs
lola: 79761438 markings, 293924940 edges, 60477 markings/sec, 1370 secs
lola: 80040820 markings, 294974218 edges, 55876 markings/sec, 1375 secs
lola: 80337629 markings, 296046503 edges, 59362 markings/sec, 1380 secs
lola: 80622600 markings, 297130172 edges, 56994 markings/sec, 1385 secs
lola: 80909597 markings, 298205924 edges, 57399 markings/sec, 1390 secs
lola: 81180352 markings, 299275367 edges, 54151 markings/sec, 1395 secs
lola: 81455334 markings, 300351476 edges, 54996 markings/sec, 1400 secs
lola: 81733741 markings, 301420109 edges, 55681 markings/sec, 1405 secs
lola: 82012286 markings, 302496197 edges, 55709 markings/sec, 1410 secs
lola: 82287607 markings, 303568748 edges, 55064 markings/sec, 1415 secs
lola: 82549648 markings, 304629304 edges, 52408 markings/sec, 1420 secs
lola: 82809633 markings, 305697880 edges, 51997 markings/sec, 1425 secs
lola: 83078225 markings, 306760675 edges, 53718 markings/sec, 1430 secs
lola: 83352169 markings, 307835777 edges, 54789 markings/sec, 1435 secs
lola: 83618244 markings, 308908750 edges, 53215 markings/sec, 1440 secs
lola: 83886659 markings, 309964573 edges, 53683 markings/sec, 1445 secs
lola: 84147165 markings, 311018367 edges, 52101 markings/sec, 1450 secs
lola: 84395131 markings, 312061551 edges, 49593 markings/sec, 1455 secs
lola: 84628353 markings, 313100427 edges, 46644 markings/sec, 1460 secs
lola: 84879300 markings, 314152482 edges, 50189 markings/sec, 1465 secs
lola: 85138125 markings, 315199320 edges, 51765 markings/sec, 1470 secs
lola: 85394087 markings, 316253575 edges, 51192 markings/sec, 1475 secs
lola: 85649206 markings, 317304552 edges, 51024 markings/sec, 1480 secs
lola: 85889225 markings, 318337831 edges, 48004 markings/sec, 1485 secs
lola: 86162030 markings, 319395476 edges, 54561 markings/sec, 1490 secs
lola: 86472983 markings, 320499809 edges, 62191 markings/sec, 1495 secs
lola: 86791751 markings, 321583853 edges, 63754 markings/sec, 1500 secs
lola: 87099349 markings, 322659266 edges, 61520 markings/sec, 1505 secs
lola: 87383296 markings, 323742845 edges, 56789 markings/sec, 1510 secs
lola: 87665358 markings, 324830446 edges, 56412 markings/sec, 1515 secs
lola: 87958032 markings, 325908581 edges, 58535 markings/sec, 1520 secs
lola: 88236098 markings, 326991761 edges, 55613 markings/sec, 1525 secs
lola: 88450699 markings, 327862788 edges, 42920 markings/sec, 1530 secs
lola: 88685286 markings, 328682304 edges, 46917 markings/sec, 1535 secs
lola: 88926907 markings, 329595812 edges, 48324 markings/sec, 1540 secs
lola: 89224204 markings, 330664029 edges, 59459 markings/sec, 1545 secs
lola: 89507296 markings, 331715580 edges, 56618 markings/sec, 1550 secs
lola: 89786049 markings, 332763964 edges, 55751 markings/sec, 1555 secs
lola: 90073775 markings, 333815300 edges, 57545 markings/sec, 1560 secs
lola: 90347845 markings, 334850355 edges, 54814 markings/sec, 1565 secs
lola: 90603541 markings, 335891241 edges, 51139 markings/sec, 1570 secs
lola: 90847598 markings, 336858850 edges, 48811 markings/sec, 1575 secs
lola: 91091921 markings, 337907624 edges, 48865 markings/sec, 1580 secs
lola: 91365930 markings, 338962007 edges, 54802 markings/sec, 1585 secs
lola: 91626111 markings, 340003025 edges, 52036 markings/sec, 1590 secs
lola: 91884976 markings, 341039549 edges, 51773 markings/sec, 1595 secs
lola: 92130627 markings, 342086754 edges, 49130 markings/sec, 1600 secs
lola: 92431905 markings, 343123058 edges, 60256 markings/sec, 1605 secs
lola: 92720280 markings, 344184607 edges, 57675 markings/sec, 1610 secs
lola: 92997731 markings, 345247645 edges, 55490 markings/sec, 1615 secs
lola: 93283079 markings, 346292393 edges, 57070 markings/sec, 1620 secs
lola: 93576054 markings, 347344596 edges, 58595 markings/sec, 1625 secs
lola: 93848212 markings, 348382812 edges, 54432 markings/sec, 1630 secs
lola: 94125606 markings, 349426608 edges, 55479 markings/sec, 1635 secs
lola: 94368701 markings, 350397372 edges, 48619 markings/sec, 1640 secs
lola: 94645429 markings, 351377468 edges, 55346 markings/sec, 1645 secs
lola: 94911239 markings, 352360796 edges, 53162 markings/sec, 1650 secs
lola: 95158688 markings, 353335432 edges, 49490 markings/sec, 1655 secs
lola: 95403410 markings, 354343971 edges, 48944 markings/sec, 1660 secs
lola: 95658854 markings, 355360059 edges, 51089 markings/sec, 1665 secs
lola: 95920703 markings, 356390611 edges, 52370 markings/sec, 1670 secs
lola: 96151708 markings, 357361908 edges, 46201 markings/sec, 1675 secs
lola: 96376530 markings, 358354355 edges, 44964 markings/sec, 1680 secs
lola: 96632770 markings, 359410169 edges, 51248 markings/sec, 1685 secs
lola: 96894378 markings, 360419971 edges, 52322 markings/sec, 1690 secs
lola: 97137963 markings, 361374977 edges, 48717 markings/sec, 1695 secs
lola: 97390585 markings, 362413172 edges, 50524 markings/sec, 1700 secs
lola: 97644675 markings, 363452824 edges, 50818 markings/sec, 1705 secs
lola: 97889873 markings, 364478447 edges, 49040 markings/sec, 1710 secs
lola: 98130727 markings, 365518294 edges, 48171 markings/sec, 1715 secs
lola: 98409206 markings, 366513661 edges, 55696 markings/sec, 1720 secs
lola: 98668929 markings, 367513608 edges, 51945 markings/sec, 1725 secs
lola: 98918615 markings, 368511594 edges, 49937 markings/sec, 1730 secs
lola: 99149819 markings, 369472685 edges, 46241 markings/sec, 1735 secs
lola: 99408521 markings, 370479102 edges, 51740 markings/sec, 1740 secs
lola: 99653970 markings, 371509002 edges, 49090 markings/sec, 1745 secs
lola: 99909913 markings, 372530245 edges, 51189 markings/sec, 1750 secs
lola: 100174346 markings, 373513402 edges, 52887 markings/sec, 1755 secs
lola: 100428097 markings, 374486920 edges, 50750 markings/sec, 1760 secs
lola: 100668471 markings, 375455585 edges, 48075 markings/sec, 1765 secs
lola: 100930183 markings, 376491723 edges, 52342 markings/sec, 1770 secs
lola: 101175944 markings, 377497063 edges, 49152 markings/sec, 1775 secs
lola: 101428874 markings, 378499871 edges, 50586 markings/sec, 1780 secs
lola: 101691111 markings, 379478912 edges, 52447 markings/sec, 1785 secs
lola: 101931112 markings, 380431166 edges, 48000 markings/sec, 1790 secs
lola: 102181260 markings, 381386053 edges, 50030 markings/sec, 1795 secs
lola: 102402876 markings, 382309411 edges, 44323 markings/sec, 1800 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes no unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes no unknown unknown
lola:
preliminary result: yes yes no unknown unknown
lola: memory consumption: 124 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 4347224 kB
After kill :
MemTotal: 16427332 kB
MemFree: 16323256 kB

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPs-PT-030A"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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 gold2020"
echo " Input is ShieldIIPs-PT-030A, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r227-tall-162098230900137"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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