About the Execution of 2020-gold for DLCflexbar-PT-2a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16250.920 | 3600000.00 | 3624596.00 | 15395.50 | F?FFTFFTTTTFTFTT | normal |
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.r075-tall-162039097200081.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 DLCflexbar-PT-2a, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-tall-162039097200081
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 888K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 117K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.2K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 67K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 15:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 15:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 23 03:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 23 03:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 22 13:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 22 13:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 545K May 5 16:51 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 DLCflexbar-PT-2a-00
FORMULA_NAME DLCflexbar-PT-2a-01
FORMULA_NAME DLCflexbar-PT-2a-02
FORMULA_NAME DLCflexbar-PT-2a-03
FORMULA_NAME DLCflexbar-PT-2a-04
FORMULA_NAME DLCflexbar-PT-2a-05
FORMULA_NAME DLCflexbar-PT-2a-06
FORMULA_NAME DLCflexbar-PT-2a-07
FORMULA_NAME DLCflexbar-PT-2a-08
FORMULA_NAME DLCflexbar-PT-2a-09
FORMULA_NAME DLCflexbar-PT-2a-10
FORMULA_NAME DLCflexbar-PT-2a-11
FORMULA_NAME DLCflexbar-PT-2a-12
FORMULA_NAME DLCflexbar-PT-2a-13
FORMULA_NAME DLCflexbar-PT-2a-14
FORMULA_NAME DLCflexbar-PT-2a-15
=== Now, execution of the tool begins
BK_START 1620517520104
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-08 23:45:21] [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-08 23:45:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-08 23:45:22] [INFO ] Load time of PNML (sax parser for PT used): 121 ms
[2021-05-08 23:45:22] [INFO ] Transformed 353 places.
[2021-05-08 23:45:22] [INFO ] Transformed 2169 transitions.
[2021-05-08 23:45:22] [INFO ] Found NUPN structural information;
[2021-05-08 23:45:22] [INFO ] Parsed PT model containing 353 places and 2169 transitions in 170 ms.
Ensure Unique test removed 264 transitions
Reduce redundant transitions removed 264 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 35 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 0 resets, run finished after 919 ms. (steps per millisecond=108 ) properties seen :[0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1]
[2021-05-08 23:45:23] [INFO ] Flow matrix only has 266 transitions (discarded 1639 similar events)
// Phase 1: matrix 266 rows 353 cols
[2021-05-08 23:45:23] [INFO ] Computed 196 place invariants in 10 ms
[2021-05-08 23:45:23] [INFO ] [Real]Absence check using 196 positive place invariants in 80 ms returned sat
[2021-05-08 23:45:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 23:45:23] [INFO ] [Real]Absence check using state equation in 305 ms returned sat
[2021-05-08 23:45:23] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 23:45:23] [INFO ] [Nat]Absence check using 196 positive place invariants in 43 ms returned unsat
[2021-05-08 23:45:23] [INFO ] [Real]Absence check using 196 positive place invariants in 66 ms returned sat
[2021-05-08 23:45:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 23:45:24] [INFO ] [Real]Absence check using state equation in 304 ms returned sat
[2021-05-08 23:45:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 23:45:24] [INFO ] [Nat]Absence check using 196 positive place invariants in 9 ms returned unsat
[2021-05-08 23:45:24] [INFO ] [Real]Absence check using 196 positive place invariants in 66 ms returned sat
[2021-05-08 23:45:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 23:45:24] [INFO ] [Real]Absence check using state equation in 305 ms returned sat
[2021-05-08 23:45:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 23:45:24] [INFO ] [Nat]Absence check using 196 positive place invariants in 58 ms returned unsat
[2021-05-08 23:45:24] [INFO ] [Real]Absence check using 196 positive place invariants in 68 ms returned sat
[2021-05-08 23:45:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 23:45:25] [INFO ] [Real]Absence check using state equation in 301 ms returned sat
[2021-05-08 23:45:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 23:45:25] [INFO ] [Nat]Absence check using 196 positive place invariants in 30 ms returned unsat
[2021-05-08 23:45:25] [INFO ] [Real]Absence check using 196 positive place invariants in 67 ms returned sat
[2021-05-08 23:45:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 23:45:25] [INFO ] [Real]Absence check using state equation in 304 ms returned sat
[2021-05-08 23:45:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 23:45:25] [INFO ] [Nat]Absence check using 196 positive place invariants in 28 ms returned unsat
[2021-05-08 23:45:25] [INFO ] [Real]Absence check using 196 positive place invariants in 64 ms returned sat
[2021-05-08 23:45:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 23:45:26] [INFO ] [Real]Absence check using state equation in 300 ms returned sat
[2021-05-08 23:45:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 23:45:26] [INFO ] [Nat]Absence check using 196 positive place invariants in 30 ms returned unsat
[2021-05-08 23:45:26] [INFO ] [Real]Absence check using 196 positive place invariants in 65 ms returned sat
[2021-05-08 23:45:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 23:45:26] [INFO ] [Real]Absence check using state equation in 291 ms returned sat
[2021-05-08 23:45:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 23:45:26] [INFO ] [Nat]Absence check using 196 positive place invariants in 55 ms returned unsat
[2021-05-08 23:45:27] [INFO ] [Real]Absence check using 196 positive place invariants in 66 ms returned sat
[2021-05-08 23:45:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 23:45:27] [INFO ] [Real]Absence check using state equation in 297 ms returned sat
[2021-05-08 23:45:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 23:45:27] [INFO ] [Nat]Absence check using 196 positive place invariants in 27 ms returned unsat
[2021-05-08 23:45:27] [INFO ] [Real]Absence check using 196 positive place invariants in 63 ms returned sat
[2021-05-08 23:45:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 23:45:27] [INFO ] [Real]Absence check using state equation in 282 ms returned sat
[2021-05-08 23:45:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 23:45:27] [INFO ] [Nat]Absence check using 196 positive place invariants in 10 ms returned unsat
[2021-05-08 23:45:27] [INFO ] [Real]Absence check using 196 positive place invariants in 65 ms returned sat
[2021-05-08 23:45:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 23:45:28] [INFO ] [Real]Absence check using state equation in 298 ms returned sat
[2021-05-08 23:45:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 23:45:28] [INFO ] [Nat]Absence check using 196 positive place invariants in 36 ms returned unsat
[2021-05-08 23:45:28] [INFO ] [Real]Absence check using 196 positive place invariants in 67 ms returned sat
[2021-05-08 23:45:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 23:45:28] [INFO ] [Real]Absence check using state equation in 299 ms returned sat
[2021-05-08 23:45:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 23:45:28] [INFO ] [Nat]Absence check using 196 positive place invariants in 19 ms returned unsat
[2021-05-08 23:45:29] [INFO ] [Real]Absence check using 196 positive place invariants in 80 ms returned sat
[2021-05-08 23:45:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 23:45:29] [INFO ] [Real]Absence check using state equation in 294 ms returned sat
[2021-05-08 23:45:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 23:45:29] [INFO ] [Nat]Absence check using 196 positive place invariants in 9 ms returned unsat
[2021-05-08 23:45:29] [INFO ] [Real]Absence check using 196 positive place invariants in 60 ms returned sat
[2021-05-08 23:45:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 23:45:29] [INFO ] [Real]Absence check using state equation in 278 ms returned sat
[2021-05-08 23:45:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 23:45:29] [INFO ] [Nat]Absence check using 196 positive place invariants in 9 ms returned unsat
[2021-05-08 23:45:29] [INFO ] [Real]Absence check using 196 positive place invariants in 65 ms returned sat
[2021-05-08 23:45:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 23:45:30] [INFO ] [Real]Absence check using state equation in 294 ms returned sat
[2021-05-08 23:45:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 23:45:30] [INFO ] [Nat]Absence check using 196 positive place invariants in 18 ms returned unsat
Successfully simplified 14 atomic propositions for a total of 19 simplifications.
[2021-05-08 23:45:30] [INFO ] Initial state reduction rules for CTL removed 14 formulas.
[2021-05-08 23:45:30] [INFO ] Flatten gal took : 130 ms
FORMULA DLCflexbar-PT-2a-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-2a-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-2a-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-2a-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-2a-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-2a-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-2a-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-2a-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-2a-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-2a-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-2a-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-2a-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-2a-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-2a-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-08 23:45:30] [INFO ] Applying decomposition
[2021-05-08 23:45:30] [INFO ] Flatten gal took : 66 ms
[2021-05-08 23:45:30] [INFO ] Decomposing Gal with order
[2021-05-08 23:45:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 23:45:31] [INFO ] Removed a total of 2988 redundant transitions.
[2021-05-08 23:45:31] [INFO ] Flatten gal took : 159 ms
[2021-05-08 23:45:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 148 labels/synchronizations in 55 ms.
[2021-05-08 23:45:31] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLCardinality.sr.xml took 2 ms.
[2021-05-08 23:45:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 16 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ DLCflexbar-PT-2a @ 3570 seconds
FORMULA DLCflexbar-PT-2a-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ DLCflexbar-PT-2a
{
"exit":
{
"memory": 4439300,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G (F ((((1 <= p298)) AND ((p164 <= 0)))))",
"processed_size": 41,
"rewrites": 8
},
"result":
{
"preliminary_value": "unknown yes "
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "fairness",
"workflow": "product automaton"
}
}
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: 2258/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 353
lola: finding significant places
lola: 353 places, 1905 transitions, 157 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: (p164 <= 1)
lola: LP says that atomic proposition is always true: (p164 <= 1)
lola: LP says that atomic proposition is always true: (p139 <= 1)
lola: LP says that atomic proposition is always true: (p219 <= 1)
lola: X (X (((((1 <= p298)) AND ((p164 <= 0))) U NOT(F (X (G ((((p298 <= 0)) OR ((1 <= p164)))))))))) : ((((p174 <= 0)) OR ((1 <= p139))) U X (((1 <= p219))))
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 1783 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((p174 <= 0)) OR ((1 <= p139))) U X (((1 <= p219))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((((p174 <= 0)) OR ((1 <= p139))) U X (((1 <= p219))))
lola: processed formula length: 55
lola: 8 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 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: 2 markings, 1 edges
lola: ========================================
lola: subprocess 1 will run for 3567 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((((1 <= p298)) AND ((p164 <= 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 ((((1 <= p298)) AND ((p164 <= 0)))))
lola: processed formula length: 41
lola: 8 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: 128110 markings, 3037848 edges, 25622 markings/sec, 0 secs
lola: 254910 markings, 6032361 edges, 25360 markings/sec, 5 secs
lola: 392789 markings, 9014260 edges, 27576 markings/sec, 10 secs
lola: 531910 markings, 11952785 edges, 27824 markings/sec, 15 secs
lola: 682043 markings, 14871177 edges, 30027 markings/sec, 20 secs
lola: 811722 markings, 17861006 edges, 25936 markings/sec, 25 secs
lola: 936583 markings, 20812187 edges, 24972 markings/sec, 30 secs
lola: 1070593 markings, 23741323 edges, 26802 markings/sec, 35 secs
lola: 1209767 markings, 26654270 edges, 27835 markings/sec, 40 secs
lola: 1349239 markings, 29613119 edges, 27894 markings/sec, 45 secs
lola: 1489571 markings, 32512501 edges, 28066 markings/sec, 50 secs
lola: 1627386 markings, 35428794 edges, 27563 markings/sec, 55 secs
lola: 1763466 markings, 38345245 edges, 27216 markings/sec, 60 secs
lola: 1898503 markings, 41303426 edges, 27007 markings/sec, 65 secs
lola: 2043933 markings, 44192667 edges, 29086 markings/sec, 70 secs
lola: 2190641 markings, 47090361 edges, 29342 markings/sec, 75 secs
lola: 2318236 markings, 50006041 edges, 25519 markings/sec, 80 secs
lola: 2468313 markings, 52882003 edges, 30015 markings/sec, 85 secs
lola: 2598248 markings, 55849278 edges, 25987 markings/sec, 90 secs
lola: 2735191 markings, 58809743 edges, 27389 markings/sec, 95 secs
lola: 2869876 markings, 61745635 edges, 26937 markings/sec, 100 secs
lola: 2996442 markings, 64708918 edges, 25313 markings/sec, 105 secs
lola: 3118474 markings, 67650590 edges, 24406 markings/sec, 110 secs
lola: 3262018 markings, 70525612 edges, 28709 markings/sec, 115 secs
lola: 3391356 markings, 73483819 edges, 25868 markings/sec, 120 secs
lola: 3519395 markings, 76483278 edges, 25608 markings/sec, 125 secs
lola: 3658253 markings, 79431819 edges, 27772 markings/sec, 130 secs
lola: 3789205 markings, 82420467 edges, 26190 markings/sec, 135 secs
lola: 3913818 markings, 85380729 edges, 24923 markings/sec, 140 secs
lola: 4052207 markings, 88324003 edges, 27678 markings/sec, 145 secs
lola: 4189822 markings, 91237022 edges, 27523 markings/sec, 150 secs
lola: 4329396 markings, 94161302 edges, 27915 markings/sec, 155 secs
lola: 4459092 markings, 97102573 edges, 25939 markings/sec, 160 secs
lola: 4594496 markings, 100033903 edges, 27081 markings/sec, 165 secs
lola: 4720646 markings, 102968975 edges, 25230 markings/sec, 170 secs
lola: 4855574 markings, 105919025 edges, 26986 markings/sec, 175 secs
lola: 4990137 markings, 108836786 edges, 26913 markings/sec, 180 secs
lola: 5124403 markings, 111773607 edges, 26853 markings/sec, 185 secs
lola: 5256047 markings, 114715719 edges, 26329 markings/sec, 190 secs
lola: 5388389 markings, 117644647 edges, 26468 markings/sec, 195 secs
lola: 5528793 markings, 120526952 edges, 28081 markings/sec, 200 secs
lola: 5666425 markings, 123413326 edges, 27526 markings/sec, 205 secs
lola: 5797474 markings, 126316335 edges, 26210 markings/sec, 210 secs
lola: 5927335 markings, 129269010 edges, 25972 markings/sec, 215 secs
lola: 6066831 markings, 132180902 edges, 27899 markings/sec, 220 secs
lola: 6217266 markings, 135052782 edges, 30087 markings/sec, 225 secs
lola: 6348105 markings, 138048271 edges, 26168 markings/sec, 230 secs
lola: 6473146 markings, 141010022 edges, 25008 markings/sec, 235 secs
lola: 6605480 markings, 143951263 edges, 26467 markings/sec, 240 secs
lola: 6732696 markings, 146903245 edges, 25443 markings/sec, 245 secs
lola: 6857749 markings, 149836225 edges, 25011 markings/sec, 250 secs
lola: 6988960 markings, 152732301 edges, 26242 markings/sec, 255 secs
lola: 7122676 markings, 155621858 edges, 26743 markings/sec, 260 secs
lola: 7266235 markings, 158464318 edges, 28712 markings/sec, 265 secs
lola: 7407583 markings, 161372361 edges, 28270 markings/sec, 270 secs
lola: 7552630 markings, 164255839 edges, 29009 markings/sec, 275 secs
lola: 7697558 markings, 167120523 edges, 28986 markings/sec, 280 secs
lola: 7839683 markings, 169996972 edges, 28425 markings/sec, 285 secs
lola: 7983532 markings, 172904279 edges, 28770 markings/sec, 290 secs
lola: 8113324 markings, 175820535 edges, 25958 markings/sec, 295 secs
lola: 8246995 markings, 178723218 edges, 26734 markings/sec, 300 secs
lola: 8375745 markings, 181604317 edges, 25750 markings/sec, 305 secs
lola: 8508965 markings, 184529470 edges, 26644 markings/sec, 310 secs
lola: 8660847 markings, 187388707 edges, 30376 markings/sec, 315 secs
lola: 8797689 markings, 190318628 edges, 27368 markings/sec, 320 secs
lola: 8920996 markings, 193244404 edges, 24661 markings/sec, 325 secs
lola: 9049992 markings, 196200638 edges, 25799 markings/sec, 330 secs
lola: 9189310 markings, 199087114 edges, 27864 markings/sec, 335 secs
lola: 9321679 markings, 202005798 edges, 26474 markings/sec, 340 secs
lola: 9452240 markings, 204889780 edges, 26112 markings/sec, 345 secs
lola: 9582187 markings, 207810841 edges, 25989 markings/sec, 350 secs
lola: 9709426 markings, 210758108 edges, 25448 markings/sec, 355 secs
lola: 9860094 markings, 213604879 edges, 30134 markings/sec, 360 secs
lola: 10001975 markings, 216477612 edges, 28376 markings/sec, 365 secs
lola: 10132918 markings, 219378855 edges, 26189 markings/sec, 370 secs
lola: 10269845 markings, 222314950 edges, 27385 markings/sec, 375 secs
lola: 10401205 markings, 225260465 edges, 26272 markings/sec, 380 secs
lola: 10525029 markings, 228194060 edges, 24765 markings/sec, 385 secs
lola: 10661902 markings, 231085722 edges, 27375 markings/sec, 390 secs
lola: 10799537 markings, 233991175 edges, 27527 markings/sec, 395 secs
lola: 10941041 markings, 236869097 edges, 28301 markings/sec, 400 secs
lola: 11072134 markings, 239733406 edges, 26219 markings/sec, 405 secs
lola: 11197755 markings, 242642761 edges, 25124 markings/sec, 410 secs
lola: 11326753 markings, 245574010 edges, 25800 markings/sec, 415 secs
lola: 11465984 markings, 248401119 edges, 27846 markings/sec, 420 secs
lola: 11599748 markings, 251291848 edges, 26753 markings/sec, 425 secs
lola: 11734780 markings, 254169658 edges, 27006 markings/sec, 430 secs
lola: 11873376 markings, 257033046 edges, 27719 markings/sec, 435 secs
lola: 12001155 markings, 259914387 edges, 25556 markings/sec, 440 secs
lola: 12127375 markings, 262845260 edges, 25244 markings/sec, 445 secs
lola: 12264278 markings, 265800202 edges, 27381 markings/sec, 450 secs
lola: 12407793 markings, 268667863 edges, 28703 markings/sec, 455 secs
lola: 12550686 markings, 271541278 edges, 28579 markings/sec, 460 secs
lola: 12681126 markings, 274465126 edges, 26088 markings/sec, 465 secs
lola: 12804986 markings, 277349547 edges, 24772 markings/sec, 470 secs
lola: 12933150 markings, 280224910 edges, 25633 markings/sec, 475 secs
lola: 13063738 markings, 283122247 edges, 26118 markings/sec, 480 secs
lola: 13201963 markings, 286034842 edges, 27645 markings/sec, 485 secs
lola: 13339867 markings, 288927235 edges, 27581 markings/sec, 490 secs
lola: 13477078 markings, 291787039 edges, 27442 markings/sec, 495 secs
lola: 13612693 markings, 294689756 edges, 27123 markings/sec, 500 secs
lola: 13747681 markings, 297554743 edges, 26998 markings/sec, 505 secs
lola: 13882662 markings, 300420494 edges, 26996 markings/sec, 510 secs
lola: 14019113 markings, 303311303 edges, 27290 markings/sec, 515 secs
lola: 14151838 markings, 306214993 edges, 26545 markings/sec, 520 secs
lola: 14285265 markings, 309125432 edges, 26685 markings/sec, 525 secs
lola: 14416688 markings, 312044942 edges, 26285 markings/sec, 530 secs
lola: 14546434 markings, 314961798 edges, 25949 markings/sec, 535 secs
lola: 14670309 markings, 317871735 edges, 24775 markings/sec, 540 secs
lola: 14803168 markings, 320775907 edges, 26572 markings/sec, 545 secs
lola: 14944200 markings, 323631056 edges, 28206 markings/sec, 550 secs
lola: 15076664 markings, 326536466 edges, 26493 markings/sec, 555 secs
lola: 15202479 markings, 329437284 edges, 25163 markings/sec, 560 secs
lola: 15333996 markings, 332321602 edges, 26303 markings/sec, 565 secs
lola: 15471215 markings, 335208743 edges, 27444 markings/sec, 570 secs
lola: 15602185 markings, 338076320 edges, 26194 markings/sec, 575 secs
lola: 15727225 markings, 340987112 edges, 25008 markings/sec, 580 secs
lola: 15864087 markings, 343877591 edges, 27372 markings/sec, 585 secs
lola: 16002599 markings, 346777138 edges, 27702 markings/sec, 590 secs
lola: 16141024 markings, 349644659 edges, 27685 markings/sec, 595 secs
lola: 16288751 markings, 352513008 edges, 29545 markings/sec, 600 secs
lola: 16435086 markings, 355356551 edges, 29267 markings/sec, 605 secs
lola: 16571981 markings, 358259872 edges, 27379 markings/sec, 610 secs
lola: 16715403 markings, 361137558 edges, 28684 markings/sec, 615 secs
lola: 16848755 markings, 364060491 edges, 26670 markings/sec, 620 secs
lola: 16977210 markings, 366945839 edges, 25691 markings/sec, 625 secs
lola: 17114467 markings, 369778048 edges, 27451 markings/sec, 630 secs
lola: 17241225 markings, 372750415 edges, 25352 markings/sec, 635 secs
lola: 17380610 markings, 375642002 edges, 27877 markings/sec, 640 secs
lola: 17523509 markings, 378526712 edges, 28580 markings/sec, 645 secs
lola: 17650739 markings, 381463073 edges, 25446 markings/sec, 650 secs
lola: 17777912 markings, 384408592 edges, 25435 markings/sec, 655 secs
lola: 17921729 markings, 387266376 edges, 28763 markings/sec, 660 secs
lola: 18047084 markings, 390181530 edges, 25071 markings/sec, 665 secs
lola: 18183125 markings, 393076472 edges, 27208 markings/sec, 670 secs
lola: 18323949 markings, 395944989 edges, 28165 markings/sec, 675 secs
lola: 18451922 markings, 398875486 edges, 25595 markings/sec, 680 secs
lola: 18597517 markings, 401761141 edges, 29119 markings/sec, 685 secs
lola: 18736921 markings, 404651361 edges, 27881 markings/sec, 690 secs
lola: 18868692 markings, 407573301 edges, 26354 markings/sec, 695 secs
lola: 19004352 markings, 410467818 edges, 27132 markings/sec, 700 secs
lola: 19138021 markings, 413384206 edges, 26734 markings/sec, 705 secs
lola: 19275367 markings, 416305439 edges, 27469 markings/sec, 710 secs
lola: 19404378 markings, 419188932 edges, 25802 markings/sec, 715 secs
lola: 19546702 markings, 422024082 edges, 28465 markings/sec, 720 secs
lola: 19679249 markings, 424936009 edges, 26509 markings/sec, 725 secs
lola: 19805618 markings, 427898340 edges, 25274 markings/sec, 730 secs
lola: 19930535 markings, 430802934 edges, 24983 markings/sec, 735 secs
lola: 20067517 markings, 433715778 edges, 27396 markings/sec, 740 secs
lola: 20205238 markings, 436606085 edges, 27544 markings/sec, 745 secs
lola: 20344397 markings, 439488786 edges, 27832 markings/sec, 750 secs
lola: 20483340 markings, 442370204 edges, 27789 markings/sec, 755 secs
lola: 20620644 markings, 445276739 edges, 27461 markings/sec, 760 secs
lola: 20758832 markings, 448162833 edges, 27638 markings/sec, 765 secs
lola: 20893269 markings, 451036410 edges, 26887 markings/sec, 770 secs
lola: 21029017 markings, 453975617 edges, 27150 markings/sec, 775 secs
lola: 21157337 markings, 456954880 edges, 25664 markings/sec, 780 secs
lola: 21283625 markings, 459908126 edges, 25258 markings/sec, 785 secs
lola: 21414985 markings, 462864823 edges, 26272 markings/sec, 790 secs
lola: 21538798 markings, 465795116 edges, 24763 markings/sec, 795 secs
lola: 21665840 markings, 468688045 edges, 25408 markings/sec, 800 secs
lola: 21799262 markings, 471578267 edges, 26684 markings/sec, 805 secs
lola: 21938735 markings, 474426283 edges, 27895 markings/sec, 810 secs
lola: 22084642 markings, 477284803 edges, 29181 markings/sec, 815 secs
lola: 22225497 markings, 480193013 edges, 28171 markings/sec, 820 secs
lola: 22365620 markings, 483112712 edges, 28025 markings/sec, 825 secs
lola: 22509704 markings, 486002551 edges, 28817 markings/sec, 830 secs
lola: 22651017 markings, 488858400 edges, 28263 markings/sec, 835 secs
lola: 22789300 markings, 491717299 edges, 27657 markings/sec, 840 secs
lola: 22933978 markings, 494581442 edges, 28936 markings/sec, 845 secs
lola: 23060432 markings, 497478376 edges, 25291 markings/sec, 850 secs
lola: 23193453 markings, 500342559 edges, 26604 markings/sec, 855 secs
lola: 23319710 markings, 503287828 edges, 25251 markings/sec, 860 secs
lola: 23459733 markings, 506192143 edges, 28005 markings/sec, 865 secs
lola: 23580383 markings, 509121405 edges, 24130 markings/sec, 870 secs
lola: 23726532 markings, 511991357 edges, 29230 markings/sec, 875 secs
lola: 23868797 markings, 514832286 edges, 28453 markings/sec, 880 secs
lola: 23992997 markings, 517717488 edges, 24840 markings/sec, 885 secs
lola: 24121523 markings, 520672174 edges, 25705 markings/sec, 890 secs
lola: 24255869 markings, 523565624 edges, 26869 markings/sec, 895 secs
lola: 24389451 markings, 526448781 edges, 26716 markings/sec, 900 secs
lola: 24519029 markings, 529329808 edges, 25916 markings/sec, 905 secs
lola: 24643488 markings, 532227775 edges, 24892 markings/sec, 910 secs
lola: 24774093 markings, 535127911 edges, 26121 markings/sec, 915 secs
lola: 24904678 markings, 538061169 edges, 26117 markings/sec, 920 secs
lola: 25034952 markings, 540971051 edges, 26055 markings/sec, 925 secs
lola: 25168991 markings, 543885280 edges, 26808 markings/sec, 930 secs
lola: 25298783 markings, 546808880 edges, 25958 markings/sec, 935 secs
lola: 25423802 markings, 549746018 edges, 25004 markings/sec, 940 secs
lola: 25548515 markings, 552633784 edges, 24943 markings/sec, 945 secs
lola: 25683012 markings, 555528855 edges, 26899 markings/sec, 950 secs
lola: 25820535 markings, 558379063 edges, 27505 markings/sec, 955 secs
lola: 25967314 markings, 561216769 edges, 29356 markings/sec, 960 secs
lola: 26089197 markings, 564118602 edges, 24377 markings/sec, 965 secs
lola: 26209631 markings, 566977634 edges, 24087 markings/sec, 970 secs
lola: 26340841 markings, 569825974 edges, 26242 markings/sec, 975 secs
lola: 26476411 markings, 572646570 edges, 27114 markings/sec, 980 secs
lola: 26611587 markings, 575520594 edges, 27035 markings/sec, 985 secs
lola: 26747820 markings, 578338165 edges, 27247 markings/sec, 990 secs
lola: 26882937 markings, 581170790 edges, 27023 markings/sec, 995 secs
lola: 27015591 markings, 584003693 edges, 26531 markings/sec, 1000 secs
lola: 27145940 markings, 586878296 edges, 26070 markings/sec, 1005 secs
lola: 27290009 markings, 589697404 edges, 28814 markings/sec, 1010 secs
lola: 27428850 markings, 592519306 edges, 27768 markings/sec, 1015 secs
lola: 27554331 markings, 595351025 edges, 25096 markings/sec, 1020 secs
lola: 27697196 markings, 598160322 edges, 28573 markings/sec, 1025 secs
lola: 27829549 markings, 601020567 edges, 26471 markings/sec, 1030 secs
lola: 27956678 markings, 603924238 edges, 25426 markings/sec, 1035 secs
lola: 28090533 markings, 606755720 edges, 26771 markings/sec, 1040 secs
lola: 28215710 markings, 609652937 edges, 25035 markings/sec, 1045 secs
lola: 28335329 markings, 612479523 edges, 23924 markings/sec, 1050 secs
lola: 28472244 markings, 615309297 edges, 27383 markings/sec, 1055 secs
lola: 28597905 markings, 618175721 edges, 25132 markings/sec, 1060 secs
lola: 28724927 markings, 621082819 edges, 25404 markings/sec, 1065 secs
lola: 28856218 markings, 623947067 edges, 26258 markings/sec, 1070 secs
lola: 28986996 markings, 626854754 edges, 26156 markings/sec, 1075 secs
lola: 29110941 markings, 629750147 edges, 24789 markings/sec, 1080 secs
lola: 29237134 markings, 632618273 edges, 25239 markings/sec, 1085 secs
lola: 29371598 markings, 635475109 edges, 26893 markings/sec, 1090 secs
lola: 29506525 markings, 638301051 edges, 26985 markings/sec, 1095 secs
lola: 29642802 markings, 641155120 edges, 27255 markings/sec, 1100 secs
lola: 29765376 markings, 644039093 edges, 24515 markings/sec, 1105 secs
lola: 29899663 markings, 646884461 edges, 26857 markings/sec, 1110 secs
lola: 30020449 markings, 649728278 edges, 24157 markings/sec, 1115 secs
lola: 30153331 markings, 652612620 edges, 26576 markings/sec, 1120 secs
lola: 30286216 markings, 655448592 edges, 26577 markings/sec, 1125 secs
lola: 30412381 markings, 658318378 edges, 25233 markings/sec, 1130 secs
lola: 30543185 markings, 661172298 edges, 26161 markings/sec, 1135 secs
lola: 30671881 markings, 664013602 edges, 25739 markings/sec, 1140 secs
lola: 30811351 markings, 666819900 edges, 27894 markings/sec, 1145 secs
lola: 30945380 markings, 669618270 edges, 26806 markings/sec, 1150 secs
lola: 31069690 markings, 672443674 edges, 24862 markings/sec, 1155 secs
lola: 31196102 markings, 675309618 edges, 25282 markings/sec, 1160 secs
lola: 31332014 markings, 678140262 edges, 27182 markings/sec, 1165 secs
lola: 31478494 markings, 680935159 edges, 29296 markings/sec, 1170 secs
lola: 31618929 markings, 683764184 edges, 28087 markings/sec, 1175 secs
lola: 31757862 markings, 686573715 edges, 27787 markings/sec, 1180 secs
lola: 31882436 markings, 689431579 edges, 24915 markings/sec, 1185 secs
lola: 32007745 markings, 692303605 edges, 25062 markings/sec, 1190 secs
lola: 32145571 markings, 695129615 edges, 27565 markings/sec, 1195 secs
lola: 32267693 markings, 697997092 edges, 24424 markings/sec, 1200 secs
lola: 32393181 markings, 700823549 edges, 25098 markings/sec, 1205 secs
lola: 32515486 markings, 703638390 edges, 24461 markings/sec, 1210 secs
lola: 32652828 markings, 706436113 edges, 27468 markings/sec, 1215 secs
lola: 32789501 markings, 709319209 edges, 27335 markings/sec, 1220 secs
lola: 32927622 markings, 712166959 edges, 27624 markings/sec, 1225 secs
lola: 33061700 markings, 715069867 edges, 26816 markings/sec, 1230 secs
lola: 33189648 markings, 717998430 edges, 25590 markings/sec, 1235 secs
lola: 33313319 markings, 720899691 edges, 24734 markings/sec, 1240 secs
lola: 33446509 markings, 723783685 edges, 26638 markings/sec, 1245 secs
lola: 33584385 markings, 726635540 edges, 27575 markings/sec, 1250 secs
lola: 33727123 markings, 729488149 edges, 28548 markings/sec, 1255 secs
lola: 33856096 markings, 732374546 edges, 25795 markings/sec, 1260 secs
lola: 33985067 markings, 735257809 edges, 25794 markings/sec, 1265 secs
lola: 34113532 markings, 738140462 edges, 25693 markings/sec, 1270 secs
lola: 34250640 markings, 741030442 edges, 27422 markings/sec, 1275 secs
lola: 34390473 markings, 743901153 edges, 27967 markings/sec, 1280 secs
lola: 34521532 markings, 746778546 edges, 26212 markings/sec, 1285 secs
lola: 34660433 markings, 749610835 edges, 27780 markings/sec, 1290 secs
lola: 34795611 markings, 752467426 edges, 27036 markings/sec, 1295 secs
lola: 34933823 markings, 755350000 edges, 27642 markings/sec, 1300 secs
lola: 35066375 markings, 758237083 edges, 26510 markings/sec, 1305 secs
lola: 35198360 markings, 761122414 edges, 26397 markings/sec, 1310 secs
lola: 35339800 markings, 763952825 edges, 28288 markings/sec, 1315 secs
lola: 35464507 markings, 766817821 edges, 24941 markings/sec, 1320 secs
lola: 35594080 markings, 769682652 edges, 25915 markings/sec, 1325 secs
lola: 35719229 markings, 772544983 edges, 25030 markings/sec, 1330 secs
lola: 35844886 markings, 775446488 edges, 25131 markings/sec, 1335 secs
lola: 35968191 markings, 778322076 edges, 24661 markings/sec, 1340 secs
lola: 36094023 markings, 781256660 edges, 25166 markings/sec, 1345 secs
lola: 36224987 markings, 784079931 edges, 26193 markings/sec, 1350 secs
lola: 36361712 markings, 786888916 edges, 27345 markings/sec, 1355 secs
lola: 36500476 markings, 789712170 edges, 27753 markings/sec, 1360 secs
lola: 36631321 markings, 792616308 edges, 26169 markings/sec, 1365 secs
lola: 36771453 markings, 795471969 edges, 28026 markings/sec, 1370 secs
lola: 36907494 markings, 798325236 edges, 27208 markings/sec, 1375 secs
lola: 37045201 markings, 801190133 edges, 27541 markings/sec, 1380 secs
lola: 37183357 markings, 804044833 edges, 27631 markings/sec, 1385 secs
lola: 37319864 markings, 806888936 edges, 27301 markings/sec, 1390 secs
lola: 37459709 markings, 809826153 edges, 27969 markings/sec, 1395 secs
lola: 37609558 markings, 812683148 edges, 29970 markings/sec, 1400 secs
lola: 37738407 markings, 815662352 edges, 25770 markings/sec, 1405 secs
lola: 37869585 markings, 818612401 edges, 26236 markings/sec, 1410 secs
lola: 37997045 markings, 821529659 edges, 25492 markings/sec, 1415 secs
lola: 38134843 markings, 824403473 edges, 27560 markings/sec, 1420 secs
lola: 38270717 markings, 827298681 edges, 27175 markings/sec, 1425 secs
lola: 38398833 markings, 830227176 edges, 25623 markings/sec, 1430 secs
lola: 38531793 markings, 833167397 edges, 26592 markings/sec, 1435 secs
lola: 38662894 markings, 836099499 edges, 26220 markings/sec, 1440 secs
lola: 38787390 markings, 839036632 edges, 24899 markings/sec, 1445 secs
lola: 38915182 markings, 841949313 edges, 25558 markings/sec, 1450 secs
lola: 39062739 markings, 844823589 edges, 29511 markings/sec, 1455 secs
lola: 39204772 markings, 847721969 edges, 28407 markings/sec, 1460 secs
lola: 39358488 markings, 850588421 edges, 30743 markings/sec, 1465 secs
lola: 39502774 markings, 853485965 edges, 28857 markings/sec, 1470 secs
lola: 39633532 markings, 856374726 edges, 26152 markings/sec, 1475 secs
lola: 39771884 markings, 859260934 edges, 27670 markings/sec, 1480 secs
lola: 39898232 markings, 862128360 edges, 25270 markings/sec, 1485 secs
lola: 40023486 markings, 865043522 edges, 25051 markings/sec, 1490 secs
lola: 40150152 markings, 867959393 edges, 25333 markings/sec, 1495 secs
lola: 40286729 markings, 870835513 edges, 27315 markings/sec, 1500 secs
lola: 40415951 markings, 873747346 edges, 25844 markings/sec, 1505 secs
lola: 40538048 markings, 876675207 edges, 24419 markings/sec, 1510 secs
lola: 40672281 markings, 879566958 edges, 26847 markings/sec, 1515 secs
lola: 40799528 markings, 882463169 edges, 25449 markings/sec, 1520 secs
lola: 40927941 markings, 885370125 edges, 25683 markings/sec, 1525 secs
lola: 41054434 markings, 888268382 edges, 25299 markings/sec, 1530 secs
lola: 41182330 markings, 891179074 edges, 25579 markings/sec, 1535 secs
lola: 41315702 markings, 894090470 edges, 26674 markings/sec, 1540 secs
lola: 41454238 markings, 896921251 edges, 27707 markings/sec, 1545 secs
lola: 41588260 markings, 899761195 edges, 26804 markings/sec, 1550 secs
lola: 41721797 markings, 902602814 edges, 26707 markings/sec, 1555 secs
lola: 41871638 markings, 905437914 edges, 29968 markings/sec, 1560 secs
lola: 42022279 markings, 908279133 edges, 30128 markings/sec, 1565 secs
lola: 42162825 markings, 911154282 edges, 28109 markings/sec, 1570 secs
lola: 42310966 markings, 913993305 edges, 29628 markings/sec, 1575 secs
lola: 42446729 markings, 916833008 edges, 27153 markings/sec, 1580 secs
lola: 42592068 markings, 919668242 edges, 29068 markings/sec, 1585 secs
lola: 42737388 markings, 922490982 edges, 29064 markings/sec, 1590 secs
lola: 42874619 markings, 925287488 edges, 27446 markings/sec, 1595 secs
lola: 43004170 markings, 928125495 edges, 25910 markings/sec, 1600 secs
lola: 43127627 markings, 930997165 edges, 24691 markings/sec, 1605 secs
lola: 43248334 markings, 933848836 edges, 24141 markings/sec, 1610 secs
lola: 43378218 markings, 936663938 edges, 25977 markings/sec, 1615 secs
lola: 43515960 markings, 939449537 edges, 27548 markings/sec, 1620 secs
lola: 43650832 markings, 942242116 edges, 26974 markings/sec, 1625 secs
lola: 43783511 markings, 945054219 edges, 26536 markings/sec, 1630 secs
lola: 43923114 markings, 947857700 edges, 27921 markings/sec, 1635 secs
lola: 44048372 markings, 950702106 edges, 25052 markings/sec, 1640 secs
lola: 44188551 markings, 953480156 edges, 28036 markings/sec, 1645 secs
lola: 44323724 markings, 956285765 edges, 27035 markings/sec, 1650 secs
lola: 44455187 markings, 959098920 edges, 26293 markings/sec, 1655 secs
lola: 44577205 markings, 961985995 edges, 24404 markings/sec, 1660 secs
lola: 44696957 markings, 964830526 edges, 23950 markings/sec, 1665 secs
lola: 44827160 markings, 967643887 edges, 26041 markings/sec, 1670 secs
lola: 44961301 markings, 970470812 edges, 26828 markings/sec, 1675 secs
lola: 45099774 markings, 973266252 edges, 27695 markings/sec, 1680 secs
lola: 45227199 markings, 976081083 edges, 25485 markings/sec, 1685 secs
lola: 45360064 markings, 978870176 edges, 26573 markings/sec, 1690 secs
lola: 45496370 markings, 981658634 edges, 27261 markings/sec, 1695 secs
lola: 45630359 markings, 984472954 edges, 26798 markings/sec, 1700 secs
lola: 45770243 markings, 987326968 edges, 27977 markings/sec, 1705 secs
lola: 45910131 markings, 990130047 edges, 27978 markings/sec, 1710 secs
lola: 46045195 markings, 992970289 edges, 27013 markings/sec, 1715 secs
lola: 46181630 markings, 995833879 edges, 27287 markings/sec, 1720 secs
lola: 46321653 markings, 998658538 edges, 28005 markings/sec, 1725 secs
lola: 46449934 markings, 1001504253 edges, 25656 markings/sec, 1730 secs
lola: 46576337 markings, 1004406179 edges, 25281 markings/sec, 1735 secs
lola: 46701419 markings, 1007330517 edges, 25016 markings/sec, 1740 secs
lola: 46823410 markings, 1010228745 edges, 24398 markings/sec, 1745 secs
lola: 46951600 markings, 1013104794 edges, 25638 markings/sec, 1750 secs
lola: 47088942 markings, 1015948476 edges, 27468 markings/sec, 1755 secs
lola: 47223172 markings, 1018815178 edges, 26846 markings/sec, 1760 secs
lola: 47354518 markings, 1021655769 edges, 26269 markings/sec, 1765 secs
lola: 47483038 markings, 1024540841 edges, 25704 markings/sec, 1770 secs
lola: 47619996 markings, 1027375131 edges, 27392 markings/sec, 1775 secs
lola: 47764768 markings, 1030220114 edges, 28954 markings/sec, 1780 secs
lola: 47906170 markings, 1033111074 edges, 28280 markings/sec, 1785 secs
lola: 48049820 markings, 1035977565 edges, 28730 markings/sec, 1790 secs
lola: 48189989 markings, 1038812945 edges, 28034 markings/sec, 1795 secs
lola: 48319898 markings, 1041659867 edges, 25982 markings/sec, 1800 secs
lola: 48455400 markings, 1044450572 edges, 27100 markings/sec, 1805 secs
lola: 48601118 markings, 1047269161 edges, 29144 markings/sec, 1810 secs
lola: 48736535 markings, 1050107718 edges, 27083 markings/sec, 1815 secs
lola: 48873536 markings, 1052944940 edges, 27400 markings/sec, 1820 secs
lola: 49005723 markings, 1055849839 edges, 26437 markings/sec, 1825 secs
lola: 49146354 markings, 1058653178 edges, 28126 markings/sec, 1830 secs
lola: 49285208 markings, 1061485675 edges, 27771 markings/sec, 1835 secs
lola: 49435240 markings, 1064280102 edges, 30006 markings/sec, 1840 secs
lola: 49572476 markings, 1067126057 edges, 27447 markings/sec, 1845 secs
lola: 49705128 markings, 1069974892 edges, 26530 markings/sec, 1850 secs
lola: 49829106 markings, 1072885066 edges, 24796 markings/sec, 1855 secs
lola: 49955280 markings, 1075764491 edges, 25235 markings/sec, 1860 secs
lola: 50082203 markings, 1078652134 edges, 25385 markings/sec, 1865 secs
lola: 50215597 markings, 1081475644 edges, 26679 markings/sec, 1870 secs
lola: 50366942 markings, 1084266206 edges, 30269 markings/sec, 1875 secs
lola: 50515602 markings, 1087046237 edges, 29732 markings/sec, 1880 secs
lola: 50646744 markings, 1089907661 edges, 26228 markings/sec, 1885 secs
lola: 50787509 markings, 1092777448 edges, 28153 markings/sec, 1890 secs
lola: 50926576 markings, 1095621004 edges, 27813 markings/sec, 1895 secs
lola: 51060075 markings, 1098445360 edges, 26700 markings/sec, 1900 secs
lola: 51206383 markings, 1101247651 edges, 29262 markings/sec, 1905 secs
lola: 51359459 markings, 1104009046 edges, 30615 markings/sec, 1910 secs
lola: 51501960 markings, 1106822221 edges, 28500 markings/sec, 1915 secs
lola: 51640656 markings, 1109663685 edges, 27739 markings/sec, 1920 secs
lola: 51780830 markings, 1112482450 edges, 28035 markings/sec, 1925 secs
lola: 51912388 markings, 1115334803 edges, 26312 markings/sec, 1930 secs
lola: 52052066 markings, 1118167530 edges, 27936 markings/sec, 1935 secs
lola: 52190418 markings, 1121060152 edges, 27670 markings/sec, 1940 secs
lola: 52338767 markings, 1123954905 edges, 29670 markings/sec, 1945 secs
lola: 52472874 markings, 1126841205 edges, 26821 markings/sec, 1950 secs
lola: 52600886 markings, 1129731235 edges, 25602 markings/sec, 1955 secs
lola: 52726206 markings, 1132653695 edges, 25064 markings/sec, 1960 secs
lola: 52860372 markings, 1135534922 edges, 26833 markings/sec, 1965 secs
lola: 52998774 markings, 1138389671 edges, 27680 markings/sec, 1970 secs
lola: 53136701 markings, 1141274801 edges, 27585 markings/sec, 1975 secs
lola: 53264393 markings, 1144151324 edges, 25538 markings/sec, 1980 secs
lola: 53391019 markings, 1147060112 edges, 25325 markings/sec, 1985 secs
lola: 53517733 markings, 1149970140 edges, 25343 markings/sec, 1990 secs
lola: 53650614 markings, 1152829352 edges, 26576 markings/sec, 1995 secs
lola: 53785365 markings, 1155690640 edges, 26950 markings/sec, 2000 secs
lola: 53926417 markings, 1158537378 edges, 28210 markings/sec, 2005 secs
lola: 54067721 markings, 1161369579 edges, 28261 markings/sec, 2010 secs
lola: 54199109 markings, 1164307899 edges, 26278 markings/sec, 2015 secs
lola: 54331309 markings, 1167295848 edges, 26440 markings/sec, 2020 secs
lola: 54458753 markings, 1170265851 edges, 25489 markings/sec, 2025 secs
lola: 54595111 markings, 1173229745 edges, 27272 markings/sec, 2030 secs
lola: 54738640 markings, 1176130202 edges, 28706 markings/sec, 2035 secs
lola: 54877582 markings, 1179091046 edges, 27788 markings/sec, 2040 secs
lola: 55003246 markings, 1182050582 edges, 25133 markings/sec, 2045 secs
lola: 55130106 markings, 1184965573 edges, 25372 markings/sec, 2050 secs
lola: 55264173 markings, 1187885268 edges, 26813 markings/sec, 2055 secs
lola: 55404433 markings, 1190748928 edges, 28052 markings/sec, 2060 secs
lola: 55549916 markings, 1193657677 edges, 29097 markings/sec, 2065 secs
lola: 55691224 markings, 1196571751 edges, 28262 markings/sec, 2070 secs
lola: 55839583 markings, 1199449434 edges, 29672 markings/sec, 2075 secs
lola: 55981801 markings, 1202344260 edges, 28444 markings/sec, 2080 secs
lola: 56113854 markings, 1205267315 edges, 26411 markings/sec, 2085 secs
lola: 56251048 markings, 1208160726 edges, 27439 markings/sec, 2090 secs
lola: 56384328 markings, 1211112358 edges, 26656 markings/sec, 2095 secs
lola: 56536863 markings, 1213986209 edges, 30507 markings/sec, 2100 secs
lola: 56676069 markings, 1216906329 edges, 27841 markings/sec, 2105 secs
lola: 56812988 markings, 1219847591 edges, 27384 markings/sec, 2110 secs
lola: 56950299 markings, 1222738114 edges, 27462 markings/sec, 2115 secs
lola: 57081308 markings, 1225671527 edges, 26202 markings/sec, 2120 secs
lola: 57209865 markings, 1228589108 edges, 25711 markings/sec, 2125 secs
lola: 57337631 markings, 1231546493 edges, 25553 markings/sec, 2130 secs
lola: 57473214 markings, 1234469375 edges, 27117 markings/sec, 2135 secs
lola: 57598912 markings, 1237395877 edges, 25140 markings/sec, 2140 secs
lola: 57725054 markings, 1240364165 edges, 25228 markings/sec, 2145 secs
lola: 57851235 markings, 1243308957 edges, 25236 markings/sec, 2150 secs
lola: 57983799 markings, 1246212191 edges, 26513 markings/sec, 2155 secs
lola: 58121309 markings, 1249097726 edges, 27502 markings/sec, 2160 secs
lola: 58255631 markings, 1252011476 edges, 26864 markings/sec, 2165 secs
lola: 58397489 markings, 1254881809 edges, 28372 markings/sec, 2170 secs
lola: 58527220 markings, 1257785763 edges, 25946 markings/sec, 2175 secs
lola: 58655152 markings, 1260687011 edges, 25586 markings/sec, 2180 secs
lola: 58793709 markings, 1263582838 edges, 27711 markings/sec, 2185 secs
lola: 58929276 markings, 1266455791 edges, 27113 markings/sec, 2190 secs
lola: 59058882 markings, 1269367376 edges, 25921 markings/sec, 2195 secs
lola: 59181331 markings, 1272307243 edges, 24490 markings/sec, 2200 secs
lola: 59308021 markings, 1275256784 edges, 25338 markings/sec, 2205 secs
lola: 59433853 markings, 1278171037 edges, 25166 markings/sec, 2210 secs
lola: 59572761 markings, 1281061198 edges, 27782 markings/sec, 2215 secs
lola: 59701376 markings, 1283995798 edges, 25723 markings/sec, 2220 secs
lola: 59831059 markings, 1286931902 edges, 25937 markings/sec, 2225 secs
lola: 59954869 markings, 1289862253 edges, 24762 markings/sec, 2230 secs
lola: 60090788 markings, 1292728795 edges, 27184 markings/sec, 2235 secs
lola: 60218720 markings, 1295593140 edges, 25586 markings/sec, 2240 secs
lola: 60344825 markings, 1298554234 edges, 25221 markings/sec, 2245 secs
lola: 60469263 markings, 1301494591 edges, 24888 markings/sec, 2250 secs
lola: 60598350 markings, 1304413110 edges, 25817 markings/sec, 2255 secs
lola: 60725411 markings, 1307341644 edges, 25412 markings/sec, 2260 secs
lola: 60849152 markings, 1310245850 edges, 24748 markings/sec, 2265 secs
lola: 60978148 markings, 1313112004 edges, 25799 markings/sec, 2270 secs
lola: 61110620 markings, 1315975775 edges, 26494 markings/sec, 2275 secs
lola: 61252014 markings, 1318805013 edges, 28279 markings/sec, 2280 secs
lola: 61395429 markings, 1321661380 edges, 28683 markings/sec, 2285 secs
lola: 61531513 markings, 1324536140 edges, 27217 markings/sec, 2290 secs
lola: 61672731 markings, 1327404906 edges, 28244 markings/sec, 2295 secs
lola: 61802914 markings, 1330289346 edges, 26037 markings/sec, 2300 secs
lola: 61943856 markings, 1333118777 edges, 28188 markings/sec, 2305 secs
lola: 62086458 markings, 1335985289 edges, 28520 markings/sec, 2310 secs
lola: 62223659 markings, 1338835605 edges, 27440 markings/sec, 2315 secs
lola: 62348465 markings, 1341732464 edges, 24961 markings/sec, 2320 secs
lola: 62478203 markings, 1344615018 edges, 25948 markings/sec, 2325 secs
lola: 62624725 markings, 1347440250 edges, 29304 markings/sec, 2330 secs
lola: 62756800 markings, 1350344901 edges, 26415 markings/sec, 2335 secs
lola: 62889722 markings, 1353201181 edges, 26584 markings/sec, 2340 secs
lola: 63026839 markings, 1356062989 edges, 27423 markings/sec, 2345 secs
lola: 63160954 markings, 1358976721 edges, 26823 markings/sec, 2350 secs
lola: 63291655 markings, 1361858018 edges, 26140 markings/sec, 2355 secs
lola: 63422056 markings, 1364836453 edges, 26080 markings/sec, 2360 secs
lola: 63556752 markings, 1367739678 edges, 26939 markings/sec, 2365 secs
lola: 63695508 markings, 1370584783 edges, 27751 markings/sec, 2370 secs
lola: 63824261 markings, 1373481929 edges, 25751 markings/sec, 2375 secs
lola: 63953890 markings, 1376347954 edges, 25926 markings/sec, 2380 secs
lola: 64081691 markings, 1379182330 edges, 25560 markings/sec, 2385 secs
lola: 64219171 markings, 1382021550 edges, 27496 markings/sec, 2390 secs
lola: 64354227 markings, 1384873091 edges, 27011 markings/sec, 2395 secs
lola: 64496963 markings, 1387691251 edges, 28547 markings/sec, 2400 secs
lola: 64622072 markings, 1390610015 edges, 25022 markings/sec, 2405 secs
lola: 64756624 markings, 1393482335 edges, 26910 markings/sec, 2410 secs
lola: 64892287 markings, 1396328525 edges, 27133 markings/sec, 2415 secs
lola: 65020795 markings, 1399202634 edges, 25702 markings/sec, 2420 secs
lola: 65143788 markings, 1402048930 edges, 24599 markings/sec, 2425 secs
lola: 65266167 markings, 1404923036 edges, 24476 markings/sec, 2430 secs
lola: 65400354 markings, 1407761366 edges, 26837 markings/sec, 2435 secs
lola: 65535506 markings, 1410582914 edges, 27030 markings/sec, 2440 secs
lola: 65670570 markings, 1413445203 edges, 27013 markings/sec, 2445 secs
lola: 65805393 markings, 1416308317 edges, 26965 markings/sec, 2450 secs
lola: 65934477 markings, 1419165983 edges, 25817 markings/sec, 2455 secs
lola: 66071335 markings, 1421953435 edges, 27372 markings/sec, 2460 secs
lola: 66204709 markings, 1424799870 edges, 26675 markings/sec, 2465 secs
lola: 66329599 markings, 1427629403 edges, 24978 markings/sec, 2470 secs
lola: 66456957 markings, 1430501658 edges, 25472 markings/sec, 2475 secs
lola: 66585766 markings, 1433364864 edges, 25762 markings/sec, 2480 secs
lola: 66716869 markings, 1436222553 edges, 26221 markings/sec, 2485 secs
lola: 66850193 markings, 1439051922 edges, 26665 markings/sec, 2490 secs
lola: 66989469 markings, 1441892523 edges, 27855 markings/sec, 2495 secs
lola: 67114666 markings, 1444718904 edges, 25039 markings/sec, 2500 secs
lola: 67239609 markings, 1447569843 edges, 24989 markings/sec, 2505 secs
lola: 67362475 markings, 1450468312 edges, 24573 markings/sec, 2510 secs
lola: 67489879 markings, 1453339311 edges, 25481 markings/sec, 2515 secs
lola: 67616569 markings, 1456226456 edges, 25338 markings/sec, 2520 secs
lola: 67745840 markings, 1459097985 edges, 25854 markings/sec, 2525 secs
lola: 67871701 markings, 1461923523 edges, 25172 markings/sec, 2530 secs
lola: 68006178 markings, 1464774146 edges, 26895 markings/sec, 2535 secs
lola: 68139221 markings, 1467577902 edges, 26609 markings/sec, 2540 secs
lola: 68270665 markings, 1470385584 edges, 26289 markings/sec, 2545 secs
lola: 68400479 markings, 1473216499 edges, 25963 markings/sec, 2550 secs
lola: 68535156 markings, 1476028738 edges, 26935 markings/sec, 2555 secs
lola: 68666628 markings, 1478870589 edges, 26294 markings/sec, 2560 secs
lola: 68806943 markings, 1481789751 edges, 28063 markings/sec, 2565 secs
lola: 68955231 markings, 1484623902 edges, 29658 markings/sec, 2570 secs
lola: 69088669 markings, 1487491288 edges, 26688 markings/sec, 2575 secs
lola: 69211223 markings, 1490385718 edges, 24511 markings/sec, 2580 secs
lola: 69351548 markings, 1493276279 edges, 28065 markings/sec, 2585 secs
lola: 69485894 markings, 1496149948 edges, 26869 markings/sec, 2590 secs
lola: 69621754 markings, 1499057998 edges, 27172 markings/sec, 2595 secs
lola: 69763717 markings, 1501900573 edges, 28393 markings/sec, 2600 secs
lola: 69902692 markings, 1504776662 edges, 27795 markings/sec, 2605 secs
lola: 70042411 markings, 1507612047 edges, 27944 markings/sec, 2610 secs
lola: 70169571 markings, 1510531423 edges, 25432 markings/sec, 2615 secs
lola: 70293350 markings, 1513443829 edges, 24756 markings/sec, 2620 secs
lola: 70420265 markings, 1516338064 edges, 25383 markings/sec, 2625 secs
lola: 70547641 markings, 1519241465 edges, 25475 markings/sec, 2630 secs
lola: 70669317 markings, 1522123417 edges, 24335 markings/sec, 2635 secs
lola: 70797104 markings, 1524960927 edges, 25557 markings/sec, 2640 secs
lola: 70927560 markings, 1527813879 edges, 26091 markings/sec, 2645 secs
lola: 71066975 markings, 1530617047 edges, 27883 markings/sec, 2650 secs
lola: 71209157 markings, 1533426992 edges, 28436 markings/sec, 2655 secs
lola: 71344928 markings, 1536291757 edges, 27154 markings/sec, 2660 secs
lola: 71483960 markings, 1539137365 edges, 27806 markings/sec, 2665 secs
lola: 71616266 markings, 1541982739 edges, 26461 markings/sec, 2670 secs
lola: 71758824 markings, 1544787283 edges, 28512 markings/sec, 2675 secs
lola: 71895897 markings, 1547648541 edges, 27415 markings/sec, 2680 secs
lola: 72031631 markings, 1550482675 edges, 27147 markings/sec, 2685 secs
lola: 72157793 markings, 1553349176 edges, 25232 markings/sec, 2690 secs
lola: 72287231 markings, 1556208065 edges, 25888 markings/sec, 2695 secs
lola: 72431432 markings, 1559029398 edges, 28840 markings/sec, 2700 secs
lola: 72573755 markings, 1561832190 edges, 28465 markings/sec, 2705 secs
lola: 72698101 markings, 1564728131 edges, 24869 markings/sec, 2710 secs
lola: 72829795 markings, 1567605500 edges, 26339 markings/sec, 2715 secs
lola: 72954348 markings, 1570462715 edges, 24911 markings/sec, 2720 secs
lola: 73088327 markings, 1573287039 edges, 26796 markings/sec, 2725 secs
lola: 73218785 markings, 1576116981 edges, 26092 markings/sec, 2730 secs
lola: 73365821 markings, 1578877839 edges, 29407 markings/sec, 2735 secs
lola: 73491326 markings, 1581711968 edges, 25101 markings/sec, 2740 secs
lola: 73617961 markings, 1584554052 edges, 25327 markings/sec, 2745 secs
lola: 73743538 markings, 1587414758 edges, 25115 markings/sec, 2750 secs
lola: 73882739 markings, 1590235569 edges, 27840 markings/sec, 2755 secs
lola: 74007395 markings, 1593106230 edges, 24931 markings/sec, 2760 secs
lola: 74135446 markings, 1595975841 edges, 25610 markings/sec, 2765 secs
lola: 74260544 markings, 1598788692 edges, 25020 markings/sec, 2770 secs
lola: 74396980 markings, 1601627756 edges, 27287 markings/sec, 2775 secs
lola: 74528267 markings, 1604460471 edges, 26257 markings/sec, 2780 secs
lola: 74661489 markings, 1607265083 edges, 26644 markings/sec, 2785 secs
lola: 74786513 markings, 1610070133 edges, 25005 markings/sec, 2790 secs
lola: 74917209 markings, 1612890860 edges, 26139 markings/sec, 2795 secs
lola: 75047454 markings, 1615733077 edges, 26049 markings/sec, 2800 secs
lola: 75176084 markings, 1618518079 edges, 25726 markings/sec, 2805 secs
lola: 75302612 markings, 1621397726 edges, 25306 markings/sec, 2810 secs
lola: 75426923 markings, 1624239198 edges, 24862 markings/sec, 2815 secs
lola: 75554301 markings, 1627073462 edges, 25476 markings/sec, 2820 secs
lola: 75680262 markings, 1629879005 edges, 25192 markings/sec, 2825 secs
lola: 75824753 markings, 1632645327 edges, 28898 markings/sec, 2830 secs
lola: 75945756 markings, 1635573334 edges, 24201 markings/sec, 2835 secs
lola: 76067180 markings, 1638440013 edges, 24285 markings/sec, 2840 secs
lola: 76195543 markings, 1641273288 edges, 25673 markings/sec, 2845 secs
lola: 76317768 markings, 1644132896 edges, 24445 markings/sec, 2850 secs
lola: 76437341 markings, 1646969927 edges, 23915 markings/sec, 2855 secs
lola: 76566083 markings, 1649765825 edges, 25748 markings/sec, 2860 secs
lola: 76695239 markings, 1652558573 edges, 25831 markings/sec, 2865 secs
lola: 76834266 markings, 1655325415 edges, 27805 markings/sec, 2870 secs
lola: 76973010 markings, 1658112343 edges, 27749 markings/sec, 2875 secs
lola: 77105616 markings, 1660900720 edges, 26521 markings/sec, 2880 secs
lola: 77240616 markings, 1663718068 edges, 27000 markings/sec, 2885 secs
lola: 77374536 markings, 1666526897 edges, 26784 markings/sec, 2890 secs
lola: 77514616 markings, 1669288384 edges, 28016 markings/sec, 2895 secs
lola: 77650666 markings, 1672110485 edges, 27210 markings/sec, 2900 secs
lola: 77782189 markings, 1674897988 edges, 26305 markings/sec, 2905 secs
lola: 77907489 markings, 1677731063 edges, 25060 markings/sec, 2910 secs
lola: 78030881 markings, 1680464912 edges, 24678 markings/sec, 2915 secs
lola: 78154123 markings, 1682901802 edges, 24648 markings/sec, 2920 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: G (F ((((1 <= p298)) AND ((p164 <= 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 ((((1 <= p298)) AND ((p164 <= 0)))))
lola: processed formula length: 41
lola: 8 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: 126106 markings, 2990494 edges, 25221 markings/sec, 0 secs
lola: 252876 markings, 5985532 edges, 25354 markings/sec, 5 secs
lola: 390675 markings, 8965016 edges, 27560 markings/sec, 10 secs
lola: 530025 markings, 11913052 edges, 27870 markings/sec, 15 secs
lola: 680197 markings, 14832881 edges, 30034 markings/sec, 20 secs
lola: 810234 markings, 17825551 edges, 26007 markings/sec, 25 secs
lola: 935208 markings, 20776824 edges, 24995 markings/sec, 30 secs
lola: 1068672 markings, 23703722 edges, 26693 markings/sec, 35 secs
lola: 1207845 markings, 26615565 edges, 27835 markings/sec, 40 secs
lola: 1347157 markings, 29570082 edges, 27862 markings/sec, 45 secs
lola: 1487402 markings, 32469744 edges, 28049 markings/sec, 50 secs
lola: 1625797 markings, 35385923 edges, 27679 markings/sec, 55 secs
lola: 1761911 markings, 38305637 edges, 27223 markings/sec, 60 secs
lola: 1896757 markings, 41265786 edges, 26969 markings/sec, 65 secs
lola: 2042482 markings, 44157194 edges, 29145 markings/sec, 70 secs
lola: 2189018 markings, 47060073 edges, 29307 markings/sec, 75 secs
lola: 2316827 markings, 49978950 edges, 25562 markings/sec, 80 secs
lola: 2467187 markings, 52860899 edges, 30072 markings/sec, 85 secs
lola: 2597438 markings, 55831803 edges, 26050 markings/sec, 90 secs
lola: 2734464 markings, 58796368 edges, 27405 markings/sec, 95 secs
lola: 2869401 markings, 61735293 edges, 26987 markings/sec, 100 secs
lola: 2995893 markings, 64697104 edges, 25298 markings/sec, 105 secs
lola: 3117995 markings, 67638762 edges, 24420 markings/sec, 110 secs
lola: 3261910 markings, 70523378 edges, 28783 markings/sec, 115 secs
lola: 3391568 markings, 73488973 edges, 25932 markings/sec, 120 secs
lola: 3519691 markings, 76490598 edges, 25625 markings/sec, 125 secs
lola: 3658813 markings, 79445425 edges, 27824 markings/sec, 130 secs
lola: 3789736 markings, 82432025 edges, 26185 markings/sec, 135 secs
lola: 3914273 markings, 85391623 edges, 24907 markings/sec, 140 secs
lola: 4052317 markings, 88326368 edges, 27609 markings/sec, 145 secs
lola: 4190035 markings, 91241182 edges, 27544 markings/sec, 150 secs
lola: 4329515 markings, 94163606 edges, 27896 markings/sec, 155 secs
lola: 4459305 markings, 97107193 edges, 25958 markings/sec, 160 secs
lola: 4594621 markings, 100037264 edges, 27063 markings/sec, 165 secs
lola: 4720677 markings, 102969598 edges, 25211 markings/sec, 170 secs
lola: 4855745 markings, 105923300 edges, 27014 markings/sec, 175 secs
lola: 4990494 markings, 108844522 edges, 26950 markings/sec, 180 secs
lola: 5124550 markings, 111777331 edges, 26811 markings/sec, 185 secs
lola: 5256312 markings, 114722082 edges, 26352 markings/sec, 190 secs
lola: 5388471 markings, 117646439 edges, 26432 markings/sec, 195 secs
lola: 5529036 markings, 120531806 edges, 28113 markings/sec, 200 secs
lola: 5666519 markings, 123415143 edges, 27497 markings/sec, 205 secs
lola: 5797773 markings, 126322102 edges, 26251 markings/sec, 210 secs
lola: 5927735 markings, 129277510 edges, 25992 markings/sec, 215 secs
lola: 6067532 markings, 132194063 edges, 27959 markings/sec, 220 secs
lola: 6217764 markings, 135061671 edges, 30046 markings/sec, 225 secs
lola: 6348628 markings, 138062160 edges, 26173 markings/sec, 230 secs
lola: 6473588 markings, 141019498 edges, 24992 markings/sec, 235 secs
lola: 6606048 markings, 143964981 edges, 26492 markings/sec, 240 secs
lola: 6733525 markings, 146920763 edges, 25495 markings/sec, 245 secs
lola: 6858506 markings, 149857197 edges, 24996 markings/sec, 250 secs
lola: 6990381 markings, 152762104 edges, 26375 markings/sec, 255 secs
lola: 7124306 markings, 155655346 edges, 26785 markings/sec, 260 secs
lola: 7268464 markings, 158510463 edges, 28832 markings/sec, 265 secs
lola: 7409949 markings, 161420822 edges, 28297 markings/sec, 270 secs
lola: 7555368 markings, 164316973 edges, 29084 markings/sec, 275 secs
lola: 7700878 markings, 167183860 edges, 29102 markings/sec, 280 secs
lola: 7842787 markings, 170059727 edges, 28382 markings/sec, 285 secs
lola: 7987142 markings, 172974164 edges, 28871 markings/sec, 290 secs
lola: 8117116 markings, 175896413 edges, 25995 markings/sec, 295 secs
lola: 8250165 markings, 178808318 edges, 26610 markings/sec, 300 secs
lola: 8379665 markings, 181692164 edges, 25900 markings/sec, 305 secs
lola: 8513495 markings, 184615799 edges, 26766 markings/sec, 310 secs
lola: 8665577 markings, 187481792 edges, 30416 markings/sec, 315 secs
lola: 8802013 markings, 190419977 edges, 27287 markings/sec, 320 secs
lola: 8925345 markings, 193346567 edges, 24666 markings/sec, 325 secs
lola: 9054426 markings, 196302937 edges, 25816 markings/sec, 330 secs
lola: 9194747 markings, 199188327 edges, 28064 markings/sec, 335 secs
lola: 9326156 markings, 202108485 edges, 26282 markings/sec, 340 secs
lola: 9456280 markings, 204994373 edges, 26025 markings/sec, 345 secs
lola: 9587186 markings, 207904040 edges, 26181 markings/sec, 350 secs
lola: 9714258 markings, 210847208 edges, 25414 markings/sec, 355 secs
lola: 9864896 markings, 213695307 edges, 30128 markings/sec, 360 secs
lola: 10007131 markings, 216569306 edges, 28447 markings/sec, 365 secs
lola: 10137400 markings, 219474972 edges, 26054 markings/sec, 370 secs
lola: 10273726 markings, 222415279 edges, 27265 markings/sec, 375 secs
lola: 10405485 markings, 225357360 edges, 26352 markings/sec, 380 secs
lola: 10529068 markings, 228287784 edges, 24717 markings/sec, 385 secs
lola: 10666179 markings, 231180963 edges, 27422 markings/sec, 390 secs
lola: 10803524 markings, 234085168 edges, 27469 markings/sec, 395 secs
lola: 10945946 markings, 236956480 edges, 28484 markings/sec, 400 secs
lola: 11075952 markings, 239823051 edges, 26001 markings/sec, 405 secs
lola: 11202937 markings, 242730901 edges, 25397 markings/sec, 410 secs
lola: 11330946 markings, 245665971 edges, 25602 markings/sec, 415 secs
lola: 11470151 markings, 248496528 edges, 27841 markings/sec, 420 secs
lola: 11604132 markings, 251387595 edges, 26796 markings/sec, 425 secs
lola: 11739845 markings, 254269933 edges, 27143 markings/sec, 430 secs
lola: 11879386 markings, 257134886 edges, 27908 markings/sec, 435 secs
lola: 12005239 markings, 260022715 edges, 25171 markings/sec, 440 secs
lola: 12131439 markings, 262953345 edges, 25240 markings/sec, 445 secs
lola: 12269271 markings, 265900240 edges, 27566 markings/sec, 450 secs
lola: 12412784 markings, 268771089 edges, 28703 markings/sec, 455 secs
lola: 12555501 markings, 271642135 edges, 28543 markings/sec, 460 secs
lola: 12685857 markings, 274564650 edges, 26071 markings/sec, 465 secs
lola: 12809805 markings, 277449168 edges, 24790 markings/sec, 470 secs
lola: 12938367 markings, 280324579 edges, 25712 markings/sec, 475 secs
lola: 13069514 markings, 283221584 edges, 26229 markings/sec, 480 secs
lola: 13206522 markings, 286129040 edges, 27402 markings/sec, 485 secs
lola: 13344166 markings, 289017950 edges, 27529 markings/sec, 490 secs
lola: 13481049 markings, 291875482 edges, 27377 markings/sec, 495 secs
lola: 13616967 markings, 294772538 edges, 27184 markings/sec, 500 secs
lola: 13751290 markings, 297634878 edges, 26865 markings/sec, 505 secs
lola: 13886470 markings, 300490761 edges, 27036 markings/sec, 510 secs
lola: 14022189 markings, 303378652 edges, 27144 markings/sec, 515 secs
lola: 14155331 markings, 306277021 edges, 26628 markings/sec, 520 secs
lola: 14287913 markings, 309185967 edges, 26516 markings/sec, 525 secs
lola: 14418954 markings, 312102928 edges, 26208 markings/sec, 530 secs
lola: 14549116 markings, 315014004 edges, 26032 markings/sec, 535 secs
lola: 14672475 markings, 317921770 edges, 24672 markings/sec, 540 secs
lola: 14805328 markings, 320822108 edges, 26571 markings/sec, 545 secs
lola: 14946503 markings, 323675512 edges, 28235 markings/sec, 550 secs
lola: 15079066 markings, 326580733 edges, 26513 markings/sec, 555 secs
lola: 15204411 markings, 329481042 edges, 25069 markings/sec, 560 secs
lola: 15335810 markings, 332359701 edges, 26280 markings/sec, 565 secs
lola: 15472971 markings, 335240073 edges, 27432 markings/sec, 570 secs
lola: 15603578 markings, 338112396 edges, 26121 markings/sec, 575 secs
lola: 15728650 markings, 341025721 edges, 25014 markings/sec, 580 secs
lola: 15866106 markings, 343919606 edges, 27491 markings/sec, 585 secs
lola: 16004572 markings, 346822574 edges, 27693 markings/sec, 590 secs
lola: 16143330 markings, 349688951 edges, 27752 markings/sec, 595 secs
lola: 16291078 markings, 352557319 edges, 29550 markings/sec, 600 secs
lola: 16436782 markings, 355401112 edges, 29141 markings/sec, 605 secs
lola: 16574237 markings, 358310119 edges, 27491 markings/sec, 610 secs
lola: 16718159 markings, 361189045 edges, 28784 markings/sec, 615 secs
lola: 16851173 markings, 364115585 edges, 26603 markings/sec, 620 secs
lola: 16980449 markings, 367003819 edges, 25855 markings/sec, 625 secs
lola: 17117998 markings, 369844004 edges, 27510 markings/sec, 630 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes
lola:
preliminary result: unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes
lola: memory consumption: 4439300 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes
lola: memory consumption: 4439300 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
--------------------
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="DLCflexbar-PT-2a"
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 DLCflexbar-PT-2a, 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 r075-tall-162039097200081"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-2a.tgz
mv DLCflexbar-PT-2a 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 '
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 ;