About the Execution of Irma.struct for PermAdmissibility-COL-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12375.770 | 3583180.00 | 3570336.00 | 318.90 | TFFTTTFFFTFFTFT? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.............................................................................................
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.4K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 115 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 353 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 54K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-structural
Input is PermAdmissibility-COL-20, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r259-csrt-152732584700131
=====================================================================
--------------------
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 PermAdmissibility-COL-20-LTLCardinality-00
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-01
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-02
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-03
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-04
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-05
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-06
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-07
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-08
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-09
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-10
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-11
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-12
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-13
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-14
FORMULA_NAME PermAdmissibility-COL-20-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1527462898146
BK_STOP 1527466481326
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using PermAdmissibility-COL-20 as instance name.
Using PermAdmissibility as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'LTLCardinality', 'Place/Transition': True, 'Colored': True, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': False, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': True, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': True, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': False, 'Safe': False, 'Deadlock': True, 'Reversible': False, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 1946516, 'Memory': 15952.88, 'Tool': 'lola'}, {'Time': 2617813, 'Memory': 15942.26, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
LTLCardinality lola PermAdmissibility-COL-20...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
PermAdmissibility-COL-20: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
PermAdmissibility-COL-20: translating COL formula LTLCardinality into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
----- Start make result stderr -----
LTLCardinality @ PermAdmissibility-COL-20 @ 3540 seconds
----- Start make result stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1232/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 208 places, 1024 transitions, 177 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1460 transition conflict sets
lola: TASK
lola: reading formula from PermAdmissibility-COL-20-LTLCardinality.task
lola: A ((X (X ((p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 <= p77))) U F (F ((p77 <= p199))))) : A (G (G (X (X ((1 <= p198)))))) : A (X (G (G ((2 <= p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121))))) : A (((p87 + p86 + p85 + p84 + p83 + p82 + p81 + p88 <= p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129) U (p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 <= p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180))) : A (X ((p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 <= p199))) : A (X (F (X ((1 <= p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207))))) : A ((X (X ((p75 + p74 + p73 + p72 + p71 + p70 + p69 + p76 <= p147))) U (2 <= p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112))) : A (G ((3 <= p148))) : A ((3 <= p90 + p89 + p91 + p92 + p93 + p94 + p95 + p96)) : A (X ((X ((p87 + p86 + p85 + p84 + p83 + p82 + p81 + p88 <= p199)) U X ((2 <= p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16))))) : A (X ((X ((3 <= p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42)) U G ((p34 <= p78))))) : A ((1 <= p148)) : A (F ((p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 <= p79))) : A ((X (G ((3 <= p17))) U G (X ((p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 <= p189))))) : A ((G ((2 <= p34)) U F (F ((p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 <= p68))))) : A (F (G ((p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 <= p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((X (X ((p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 <= p77))) U F (F ((p77 <= p199)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A ((X (X ((p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 <= p77))) U F ((p77 <= p199))))
lola: processed formula: A ((X (X ((p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 <= p77))) U F ((p77 <= p199))))
lola: processed formula length: 96
lola: 1 rewrites
lola: formula mentions 0 of 208 places; total mentions: 0
lola: closed formula file PermAdmissibility-COL-20-LTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 712 bytes per marking, with 31 unused bits
lola: using a prefix tree store (--store=prefix)
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: 1 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (G (X (X ((1 <= p198))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (G (G (X (X ((1 <= p198))))))
lola: processed formula: A (G (G (X (X ((1 <= p198))))))
lola: processed formula length: 31
lola: 0 rewrites
lola: formula mentions 0 of 208 places; total mentions: 0
lola: closed formula file PermAdmissibility-COL-20-LTLCardinality.task
lola: the resulting B\xfcchi automaton has 4 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 712 bytes per marking, with 29 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 321 markings, 321 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (G (G ((2 <= p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (X (G (G ((2 <= p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121)))))
lola: processed formula: A (X (G (G ((2 <= p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121)))))
lola: processed formula length: 76
lola: 0 rewrites
lola: formula mentions 0 of 208 places; total mentions: 0
lola: closed formula file PermAdmissibility-COL-20-LTLCardinality.task
lola: the resulting B\xfcchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 712 bytes per marking, with 30 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 321 markings, 321 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((p87 + p86 + p85 + p84 + p83 + p82 + p81 + p88 <= p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129) U (p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 <= p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (((p87 + p86 + p85 + p84 + p83 + p82 + p81 + p88 <= p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129) U (p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 <= p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180)))
lola: processed formula: A (((p87 + p86 + p85 + p84 + p83 + p82 + p81 + p88 <= p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129) U (p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 <= p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180)))
lola: processed formula length: 225
lola: 0 rewrites
lola: formula mentions 0 of 208 places; total mentions: 0
lola: closed formula file PermAdmissibility-COL-20-LTLCardinality.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 712 bytes per marking, with 30 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
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: 1 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X ((p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 <= p199)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (X ((p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 <= p199)))
lola: processed formula: A (X ((p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 <= p199)))
lola: processed formula length: 71
lola: 0 rewrites
lola: formula mentions 0 of 208 places; total mentions: 0
lola: closed formula file PermAdmissibility-COL-20-LTLCardinality.task
lola: the resulting B\xfcchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 712 bytes per marking, with 30 unused bits
lola: using a prefix tree store (--store=prefix)
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: 5 markings, 4 edges
lola: ========================================
lola: subprocess 5 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (F (X ((1 <= p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (X (F (X ((1 <= p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207)))))
lola: processed formula: A (X (F (X ((1 <= p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207)))))
lola: processed formula length: 76
lola: 0 rewrites
lola: formula mentions 0 of 208 places; total mentions: 0
lola: closed formula file PermAdmissibility-COL-20-LTLCardinality.task
lola: the resulting B\xfcchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 712 bytes per marking, with 30 unused bits
lola: using a prefix tree store (--store=prefix)
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: 30 markings, 36 edges
lola: ========================================
lola: subprocess 6 will run for 354 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((X (X ((p75 + p74 + p73 + p72 + p71 + p70 + p69 + p76 <= p147))) U (2 <= p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A ((X (X ((p75 + p74 + p73 + p72 + p71 + p70 + p69 + p76 <= p147))) U (2 <= p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112)))
lola: processed formula: A ((X (X ((p75 + p74 + p73 + p72 + p71 + p70 + p69 + p76 <= p147))) U (2 <= p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112)))
lola: processed formula length: 132
lola: 0 rewrites
lola: formula mentions 0 of 208 places; total mentions: 0
lola: closed formula file PermAdmissibility-COL-20-LTLCardinality.task
lola: the resulting B\xfcchi automaton has 4 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 712 bytes per marking, with 29 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 729 markings, 729 edges
lola: ========================================
lola: subprocess 7 will run for 393 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((3 <= p148)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 442 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((3 <= p90 + p89 + p91 + p92 + p93 + p94 + p95 + p96))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (3 <= p90 + p89 + p91 + p92 + p93 + p94 + p95 + p96)
lola: processed formula length: 52
lola: 1 rewrites
lola: formula mentions 0 of 208 places; total mentions: 0
lola: closed formula file PermAdmissibility-COL-20-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 505 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X ((X ((p87 + p86 + p85 + p84 + p83 + p82 + p81 + p88 <= p199)) U X ((2 <= p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (X (X (((p87 + p86 + p85 + p84 + p83 + p82 + p81 + p88 <= p199) U (2 <= p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16)))))
lola: processed formula: A (X (X (((p87 + p86 + p85 + p84 + p83 + p82 + p81 + p88 <= p199) U (2 <= p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16)))))
lola: processed formula length: 123
lola: 1 rewrites
lola: formula mentions 0 of 208 places; total mentions: 0
lola: closed formula file PermAdmissibility-COL-20-LTLCardinality.task
lola: the resulting B\xfcchi automaton has 4 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 712 bytes per marking, with 29 unused bits
lola: using a prefix tree store (--store=prefix)
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: 16387 markings, 24556 edges
lola: ========================================
lola: subprocess 10 will run for 590 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X ((X ((3 <= p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42)) U G ((p34 <= p78)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (X ((X ((3 <= p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42)) U G ((p34 <= p78)))))
lola: processed formula: A (X ((X ((3 <= p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42)) U G ((p34 <= p78)))))
lola: processed formula length: 85
lola: 0 rewrites
lola: formula mentions 0 of 208 places; total mentions: 0
lola: closed formula file PermAdmissibility-COL-20-LTLCardinality.task
lola: the resulting B\xfcchi automaton has 7 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 712 bytes per marking, with 29 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 321 markings, 321 edges
lola: ========================================
lola: subprocess 11 will run for 708 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((1 <= p148))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p148)
lola: processed formula length: 11
lola: 1 rewrites
lola: formula mentions 0 of 208 places; total mentions: 0
lola: closed formula file PermAdmissibility-COL-20-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 885 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 <= p79)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F ((p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 <= p79)))
lola: processed formula: A (F ((p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 <= p79)))
lola: processed formula length: 70
lola: 0 rewrites
lola: formula mentions 0 of 208 places; total mentions: 0
lola: closed formula file PermAdmissibility-COL-20-LTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 712 bytes per marking, with 31 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
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: 1 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 1180 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((X (G ((3 <= p17))) U G (X ((p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 <= p189)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A ((X (G ((3 <= p17))) U G (X ((p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 <= p189)))))
lola: processed formula: A ((X (G ((3 <= p17))) U G (X ((p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 <= p189)))))
lola: processed formula length: 98
lola: 0 rewrites
lola: formula mentions 0 of 208 places; total mentions: 0
lola: closed formula file PermAdmissibility-COL-20-LTLCardinality.task
lola: the resulting B\xfcchi automaton has 8 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 712 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 583 markings, 583 edges
lola: ========================================
lola: subprocess 14 will run for 1770 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((G ((2 <= p34)) U F (F ((p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 <= p68)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A ((G ((2 <= p34)) U F ((p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 <= p68))))
lola: processed formula: A ((G ((2 <= p34)) U F ((p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 <= p68))))
lola: processed formula length: 89
lola: 1 rewrites
lola: formula mentions 0 of 208 places; total mentions: 0
lola: closed formula file PermAdmissibility-COL-20-LTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 712 bytes per marking, with 31 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
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: 1 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 3540 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 <= p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (G ((p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 <= p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129))))
lola: processed formula: A (F (G ((p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 <= p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129))))
lola: processed formula length: 116
lola: 0 rewrites
lola: formula mentions 0 of 208 places; total mentions: 0
lola: closed formula file PermAdmissibility-COL-20-LTLCardinality.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 712 bytes per marking, with 30 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 50630 markings, 188984 edges, 10126 markings/sec, 0 secs
lola: 93173 markings, 377967 edges, 8509 markings/sec, 5 secs
lola: 131099 markings, 570054 edges, 7585 markings/sec, 10 secs
lola: 175093 markings, 765577 edges, 8799 markings/sec, 15 secs
lola: 219488 markings, 984474 edges, 8879 markings/sec, 20 secs
lola: 265775 markings, 1191169 edges, 9257 markings/sec, 25 secs
lola: 310828 markings, 1403555 edges, 9011 markings/sec, 30 secs
lola: 361054 markings, 1610033 edges, 10045 markings/sec, 35 secs
lola: 409313 markings, 1815726 edges, 9652 markings/sec, 40 secs
lola: 449136 markings, 2023817 edges, 7965 markings/sec, 45 secs
lola: 499080 markings, 2234573 edges, 9989 markings/sec, 50 secs
lola: 544949 markings, 2467258 edges, 9174 markings/sec, 55 secs
lola: 593985 markings, 2711380 edges, 9807 markings/sec, 60 secs
lola: 635618 markings, 2955721 edges, 8327 markings/sec, 65 secs
lola: 680856 markings, 3212626 edges, 9048 markings/sec, 70 secs
lola: 724708 markings, 3487774 edges, 8770 markings/sec, 75 secs
lola: 770907 markings, 3689679 edges, 9240 markings/sec, 80 secs
lola: 817668 markings, 3926831 edges, 9352 markings/sec, 85 secs
lola: 863473 markings, 4184489 edges, 9161 markings/sec, 90 secs
lola: 906856 markings, 4402352 edges, 8677 markings/sec, 95 secs
lola: 949261 markings, 4650958 edges, 8481 markings/sec, 100 secs
lola: 989318 markings, 4864062 edges, 8011 markings/sec, 105 secs
lola: 1030328 markings, 5086459 edges, 8202 markings/sec, 110 secs
lola: 1071790 markings, 5304673 edges, 8292 markings/sec, 115 secs
lola: 1110926 markings, 5548250 edges, 7827 markings/sec, 120 secs
lola: 1152248 markings, 5796765 edges, 8264 markings/sec, 125 secs
lola: 1190643 markings, 6039210 edges, 7679 markings/sec, 130 secs
lola: 1235042 markings, 6249651 edges, 8880 markings/sec, 135 secs
lola: 1279770 markings, 6465992 edges, 8946 markings/sec, 140 secs
lola: 1321874 markings, 6707001 edges, 8421 markings/sec, 145 secs
lola: 1359039 markings, 6907567 edges, 7433 markings/sec, 150 secs
lola: 1394906 markings, 7122831 edges, 7173 markings/sec, 155 secs
lola: 1433608 markings, 7323799 edges, 7740 markings/sec, 160 secs
lola: 1475114 markings, 7563407 edges, 8301 markings/sec, 165 secs
lola: 1511979 markings, 7784529 edges, 7373 markings/sec, 170 secs
lola: 1547687 markings, 8005655 edges, 7142 markings/sec, 175 secs
lola: 1578973 markings, 8208115 edges, 6257 markings/sec, 180 secs
lola: 1611668 markings, 8422815 edges, 6539 markings/sec, 185 secs
lola: 1646343 markings, 8666559 edges, 6935 markings/sec, 190 secs
lola: 1675699 markings, 8875069 edges, 5871 markings/sec, 195 secs
lola: 1705502 markings, 9093815 edges, 5961 markings/sec, 200 secs
lola: 1731253 markings, 9307024 edges, 5150 markings/sec, 205 secs
lola: 1770256 markings, 9515085 edges, 7801 markings/sec, 210 secs
lola: 1817230 markings, 9712424 edges, 9395 markings/sec, 215 secs
lola: 1863889 markings, 9952422 edges, 9332 markings/sec, 220 secs
lola: 1908865 markings, 10191358 edges, 8995 markings/sec, 225 secs
lola: 1953904 markings, 10411640 edges, 9008 markings/sec, 230 secs
lola: 1993226 markings, 10631014 edges, 7864 markings/sec, 235 secs
lola: 2030730 markings, 10851195 edges, 7501 markings/sec, 240 secs
lola: 2072148 markings, 11077640 edges, 8284 markings/sec, 245 secs
lola: 2117088 markings, 11286501 edges, 8988 markings/sec, 250 secs
lola: 2162274 markings, 11526651 edges, 9037 markings/sec, 255 secs
lola: 2204859 markings, 11745059 edges, 8517 markings/sec, 260 secs
lola: 2241878 markings, 11965482 edges, 7404 markings/sec, 265 secs
lola: 2283907 markings, 12216875 edges, 8406 markings/sec, 270 secs
lola: 2331252 markings, 12469109 edges, 9469 markings/sec, 275 secs
lola: 2378700 markings, 12745536 edges, 9490 markings/sec, 280 secs
lola: 2420497 markings, 13005611 edges, 8359 markings/sec, 285 secs
lola: 2462219 markings, 13228255 edges, 8344 markings/sec, 290 secs
lola: 2499121 markings, 13453988 edges, 7380 markings/sec, 295 secs
lola: 2530398 markings, 13686720 edges, 6255 markings/sec, 300 secs
lola: 2563184 markings, 13932218 edges, 6557 markings/sec, 305 secs
lola: 2599118 markings, 14172884 edges, 7187 markings/sec, 310 secs
lola: 2640483 markings, 14426107 edges, 8273 markings/sec, 315 secs
lola: 2688553 markings, 14612577 edges, 9614 markings/sec, 320 secs
lola: 2730386 markings, 14798056 edges, 8367 markings/sec, 325 secs
lola: 2768709 markings, 14990191 edges, 7665 markings/sec, 330 secs
lola: 2813953 markings, 15193284 edges, 9049 markings/sec, 335 secs
lola: 2856353 markings, 15401888 edges, 8480 markings/sec, 340 secs
lola: 2898863 markings, 15591165 edges, 8502 markings/sec, 345 secs
lola: 2939861 markings, 15786944 edges, 8200 markings/sec, 350 secs
lola: 2986773 markings, 16005720 edges, 9382 markings/sec, 355 secs
lola: 3031708 markings, 16244223 edges, 8987 markings/sec, 360 secs
lola: 3071235 markings, 16483796 edges, 7905 markings/sec, 365 secs
lola: 3118961 markings, 16751601 edges, 9545 markings/sec, 370 secs
lola: 3164973 markings, 17026250 edges, 9202 markings/sec, 375 secs
lola: 3209895 markings, 17297564 edges, 8984 markings/sec, 380 secs
lola: 3253496 markings, 17556352 edges, 8720 markings/sec, 385 secs
lola: 3290418 markings, 17751133 edges, 7384 markings/sec, 390 secs
lola: 3327564 markings, 17952303 edges, 7429 markings/sec, 395 secs
lola: 3362990 markings, 18168848 edges, 7085 markings/sec, 400 secs
lola: 3401552 markings, 18428121 edges, 7712 markings/sec, 405 secs
lola: 3441888 markings, 18641497 edges, 8067 markings/sec, 410 secs
lola: 3485542 markings, 18870558 edges, 8731 markings/sec, 415 secs
lola: 3526802 markings, 19114104 edges, 8252 markings/sec, 420 secs
lola: 3565191 markings, 19337737 edges, 7678 markings/sec, 425 secs
lola: 3602674 markings, 19561865 edges, 7497 markings/sec, 430 secs
lola: 3636979 markings, 19780243 edges, 6861 markings/sec, 435 secs
lola: 3671686 markings, 19997117 edges, 6941 markings/sec, 440 secs
lola: 3708238 markings, 20260118 edges, 7310 markings/sec, 445 secs
lola: 3742089 markings, 20505815 edges, 6770 markings/sec, 450 secs
lola: 3772438 markings, 20766347 edges, 6070 markings/sec, 455 secs
lola: 3824169 markings, 20989979 edges, 10346 markings/sec, 460 secs
lola: 3871662 markings, 21251488 edges, 9499 markings/sec, 465 secs
lola: 3914677 markings, 21477647 edges, 8603 markings/sec, 470 secs
lola: 3951757 markings, 21707356 edges, 7416 markings/sec, 475 secs
lola: 3993275 markings, 21941649 edges, 8304 markings/sec, 480 secs
lola: 4038271 markings, 22164407 edges, 8999 markings/sec, 485 secs
lola: 4081518 markings, 22404497 edges, 8649 markings/sec, 490 secs
lola: 4117553 markings, 22634554 edges, 7207 markings/sec, 495 secs
lola: 4159082 markings, 22868825 edges, 8306 markings/sec, 500 secs
lola: 4201915 markings, 23126155 edges, 8567 markings/sec, 505 secs
lola: 4245832 markings, 23386457 edges, 8783 markings/sec, 510 secs
lola: 4285723 markings, 23647008 edges, 7978 markings/sec, 515 secs
lola: 4320420 markings, 23915134 edges, 6939 markings/sec, 520 secs
lola: 4358505 markings, 24167961 edges, 7617 markings/sec, 525 secs
lola: 4403941 markings, 24372727 edges, 9087 markings/sec, 530 secs
lola: 4452160 markings, 24584475 edges, 9644 markings/sec, 535 secs
lola: 4497881 markings, 24806215 edges, 9144 markings/sec, 540 secs
lola: 4542775 markings, 25032481 edges, 8979 markings/sec, 545 secs
lola: 4578995 markings, 25240523 edges, 7244 markings/sec, 550 secs
lola: 4619307 markings, 25450517 edges, 8062 markings/sec, 555 secs
lola: 4662642 markings, 25666287 edges, 8667 markings/sec, 560 secs
lola: 4707986 markings, 25898239 edges, 9069 markings/sec, 565 secs
lola: 4749721 markings, 26146505 edges, 8347 markings/sec, 570 secs
lola: 4797525 markings, 26381497 edges, 9561 markings/sec, 575 secs
lola: 4839071 markings, 26601609 edges, 8309 markings/sec, 580 secs
lola: 4884060 markings, 26841404 edges, 8998 markings/sec, 585 secs
lola: 4929298 markings, 27068926 edges, 9048 markings/sec, 590 secs
lola: 4972315 markings, 27307825 edges, 8603 markings/sec, 595 secs
lola: 5020274 markings, 27547166 edges, 9592 markings/sec, 600 secs
lola: 5061705 markings, 27774813 edges, 8286 markings/sec, 605 secs
lola: 5102894 markings, 28019902 edges, 8238 markings/sec, 610 secs
lola: 5146261 markings, 28270061 edges, 8673 markings/sec, 615 secs
lola: 5190899 markings, 28534363 edges, 8928 markings/sec, 620 secs
lola: 5237975 markings, 28814982 edges, 9415 markings/sec, 625 secs
lola: 5283000 markings, 29092687 edges, 9005 markings/sec, 630 secs
lola: 5326537 markings, 29395125 edges, 8707 markings/sec, 635 secs
lola: 5364502 markings, 29682566 edges, 7593 markings/sec, 640 secs
lola: 5406295 markings, 29997662 edges, 8359 markings/sec, 645 secs
lola: 5448604 markings, 30317935 edges, 8462 markings/sec, 650 secs
lola: 5489528 markings, 30631272 edges, 8185 markings/sec, 655 secs
lola: 5530649 markings, 30870586 edges, 8224 markings/sec, 660 secs
lola: 5564566 markings, 31079644 edges, 6783 markings/sec, 665 secs
lola: 5602282 markings, 31310762 edges, 7543 markings/sec, 670 secs
lola: 5640263 markings, 31534306 edges, 7596 markings/sec, 675 secs
lola: 5679678 markings, 31775708 edges, 7883 markings/sec, 680 secs
lola: 5717215 markings, 32031135 edges, 7507 markings/sec, 685 secs
lola: 5752231 markings, 32281713 edges, 7003 markings/sec, 690 secs
lola: 5784728 markings, 32556647 edges, 6499 markings/sec, 695 secs
lola: 5825101 markings, 32811138 edges, 8075 markings/sec, 700 secs
lola: 5869859 markings, 33055009 edges, 8952 markings/sec, 705 secs
lola: 5914658 markings, 33306980 edges, 8960 markings/sec, 710 secs
lola: 5958432 markings, 33595428 edges, 8755 markings/sec, 715 secs
lola: 5999355 markings, 33878540 edges, 8185 markings/sec, 720 secs
lola: 6039430 markings, 34145320 edges, 8015 markings/sec, 725 secs
lola: 6081592 markings, 34401907 edges, 8432 markings/sec, 730 secs
lola: 6122379 markings, 34649710 edges, 8157 markings/sec, 735 secs
lola: 6159414 markings, 34925314 edges, 7407 markings/sec, 740 secs
lola: 6193244 markings, 35150986 edges, 6766 markings/sec, 745 secs
lola: 6225949 markings, 35392953 edges, 6541 markings/sec, 750 secs
lola: 6259792 markings, 35613619 edges, 6769 markings/sec, 755 secs
lola: 6292365 markings, 35846379 edges, 6515 markings/sec, 760 secs
lola: 6326323 markings, 36097593 edges, 6792 markings/sec, 765 secs
lola: 6358191 markings, 36372189 edges, 6374 markings/sec, 770 secs
lola: 6389396 markings, 36620335 edges, 6241 markings/sec, 775 secs
lola: 6418869 markings, 36852449 edges, 5895 markings/sec, 780 secs
lola: 6446913 markings, 37113023 edges, 5609 markings/sec, 785 secs
lola: 6470933 markings, 37340430 edges, 4804 markings/sec, 790 secs
lola: 6516877 markings, 37574512 edges, 9189 markings/sec, 795 secs
lola: 6563355 markings, 37812458 edges, 9296 markings/sec, 800 secs
lola: 6610903 markings, 38072586 edges, 9510 markings/sec, 805 secs
lola: 6655041 markings, 38377014 edges, 8828 markings/sec, 810 secs
lola: 6696949 markings, 38635356 edges, 8382 markings/sec, 815 secs
lola: 6743708 markings, 38901161 edges, 9352 markings/sec, 820 secs
lola: 6784165 markings, 39157569 edges, 8091 markings/sec, 825 secs
lola: 6819126 markings, 39427739 edges, 6992 markings/sec, 830 secs
lola: 6864267 markings, 39697084 edges, 9028 markings/sec, 835 secs
lola: 6905141 markings, 39958536 edges, 8175 markings/sec, 840 secs
lola: 6950537 markings, 40193593 edges, 9079 markings/sec, 845 secs
lola: 6995320 markings, 40463086 edges, 8957 markings/sec, 850 secs
lola: 7038173 markings, 40750244 edges, 8571 markings/sec, 855 secs
lola: 7080389 markings, 40998895 edges, 8443 markings/sec, 860 secs
lola: 7115755 markings, 41259640 edges, 7073 markings/sec, 865 secs
lola: 7154471 markings, 41524259 edges, 7743 markings/sec, 870 secs
lola: 7195380 markings, 41775518 edges, 8182 markings/sec, 875 secs
lola: 7239873 markings, 42046248 edges, 8899 markings/sec, 880 secs
lola: 7289197 markings, 42382998 edges, 9865 markings/sec, 885 secs
lola: 7330500 markings, 42707187 edges, 8261 markings/sec, 890 secs
lola: 7373769 markings, 42950354 edges, 8654 markings/sec, 895 secs
lola: 7412124 markings, 43220332 edges, 7671 markings/sec, 900 secs
lola: 7448410 markings, 43486748 edges, 7257 markings/sec, 905 secs
lola: 7480975 markings, 43765303 edges, 6513 markings/sec, 910 secs
lola: 7512565 markings, 44032847 edges, 6318 markings/sec, 915 secs
lola: 7553104 markings, 44326084 edges, 8108 markings/sec, 920 secs
lola: 7593908 markings, 44635888 edges, 8161 markings/sec, 925 secs
lola: 7633003 markings, 44878980 edges, 7819 markings/sec, 930 secs
lola: 7677107 markings, 45070120 edges, 8821 markings/sec, 935 secs
lola: 7720880 markings, 45300517 edges, 8755 markings/sec, 940 secs
lola: 7758425 markings, 45505798 edges, 7509 markings/sec, 945 secs
lola: 7796132 markings, 45713973 edges, 7541 markings/sec, 950 secs
lola: 7829774 markings, 45914837 edges, 6728 markings/sec, 955 secs
lola: 7864900 markings, 46122222 edges, 7025 markings/sec, 960 secs
lola: 7906496 markings, 46343692 edges, 8319 markings/sec, 965 secs
lola: 7947104 markings, 46562386 edges, 8122 markings/sec, 970 secs
lola: 7982811 markings, 46788041 edges, 7141 markings/sec, 975 secs
lola: 8025569 markings, 47007313 edges, 8552 markings/sec, 980 secs
lola: 8070682 markings, 47243370 edges, 9023 markings/sec, 985 secs
lola: 8108505 markings, 47459817 edges, 7565 markings/sec, 990 secs
lola: 8143985 markings, 47673701 edges, 7096 markings/sec, 995 secs
lola: 8181178 markings, 47894328 edges, 7439 markings/sec, 1000 secs
lola: 8221413 markings, 48123460 edges, 8047 markings/sec, 1005 secs
lola: 8259196 markings, 48366798 edges, 7557 markings/sec, 1010 secs
lola: 8305643 markings, 48593548 edges, 9289 markings/sec, 1015 secs
lola: 8353141 markings, 48844257 edges, 9500 markings/sec, 1020 secs
lola: 8392953 markings, 49104362 edges, 7962 markings/sec, 1025 secs
lola: 8434396 markings, 49375139 edges, 8289 markings/sec, 1030 secs
lola: 8473312 markings, 49629747 edges, 7783 markings/sec, 1035 secs
lola: 8509887 markings, 49876118 edges, 7315 markings/sec, 1040 secs
lola: 8541516 markings, 50110043 edges, 6326 markings/sec, 1045 secs
lola: 8575510 markings, 50340552 edges, 6799 markings/sec, 1050 secs
lola: 8615461 markings, 50604217 edges, 7990 markings/sec, 1055 secs
lola: 8657820 markings, 50864818 edges, 8472 markings/sec, 1060 secs
lola: 8697030 markings, 51122059 edges, 7842 markings/sec, 1065 secs
lola: 8736215 markings, 51410391 edges, 7837 markings/sec, 1070 secs
lola: 8776132 markings, 51681954 edges, 7983 markings/sec, 1075 secs
lola: 8815702 markings, 51890731 edges, 7914 markings/sec, 1080 secs
lola: 8848448 markings, 52084166 edges, 6549 markings/sec, 1085 secs
lola: 8875773 markings, 52268977 edges, 5465 markings/sec, 1090 secs
lola: 8912985 markings, 52475869 edges, 7442 markings/sec, 1095 secs
lola: 8946220 markings, 52683439 edges, 6647 markings/sec, 1100 secs
lola: 8983339 markings, 52889056 edges, 7424 markings/sec, 1105 secs
lola: 9019305 markings, 53111917 edges, 7193 markings/sec, 1110 secs
lola: 9051802 markings, 53316622 edges, 6499 markings/sec, 1115 secs
lola: 9088961 markings, 53543444 edges, 7432 markings/sec, 1120 secs
lola: 9126976 markings, 53759810 edges, 7603 markings/sec, 1125 secs
lola: 9162486 markings, 53999535 edges, 7102 markings/sec, 1130 secs
lola: 9196010 markings, 54228112 edges, 6705 markings/sec, 1135 secs
lola: 9224604 markings, 54443758 edges, 5719 markings/sec, 1140 secs
lola: 9258268 markings, 54673307 edges, 6733 markings/sec, 1145 secs
lola: 9296050 markings, 54922708 edges, 7556 markings/sec, 1150 secs
lola: 9330109 markings, 55177153 edges, 6812 markings/sec, 1155 secs
lola: 9375155 markings, 55378672 edges, 9009 markings/sec, 1160 secs
lola: 9420221 markings, 55568797 edges, 9013 markings/sec, 1165 secs
lola: 9460290 markings, 55760343 edges, 8014 markings/sec, 1170 secs
lola: 9501877 markings, 55953815 edges, 8317 markings/sec, 1175 secs
lola: 9545255 markings, 56155949 edges, 8676 markings/sec, 1180 secs
lola: 9590700 markings, 56383341 edges, 9089 markings/sec, 1185 secs
lola: 9632857 markings, 56609941 edges, 8431 markings/sec, 1190 secs
lola: 9672299 markings, 56847460 edges, 7888 markings/sec, 1195 secs
lola: 9719814 markings, 57118937 edges, 9503 markings/sec, 1200 secs
lola: 9767095 markings, 57370561 edges, 9456 markings/sec, 1205 secs
lola: 9812691 markings, 57585741 edges, 9119 markings/sec, 1210 secs
lola: 9855587 markings, 57828150 edges, 8579 markings/sec, 1215 secs
lola: 9897332 markings, 58048471 edges, 8349 markings/sec, 1220 secs
lola: 9937582 markings, 58261996 edges, 8050 markings/sec, 1225 secs
lola: 9977933 markings, 58485672 edges, 8070 markings/sec, 1230 secs
lola: 10014307 markings, 58689675 edges, 7275 markings/sec, 1235 secs
lola: 10054027 markings, 58939630 edges, 7944 markings/sec, 1240 secs
lola: 10090818 markings, 59162314 edges, 7358 markings/sec, 1245 secs
lola: 10127134 markings, 59381560 edges, 7263 markings/sec, 1250 secs
lola: 10170830 markings, 59607611 edges, 8739 markings/sec, 1255 secs
lola: 10211023 markings, 59829241 edges, 8039 markings/sec, 1260 secs
lola: 10249536 markings, 60059541 edges, 7703 markings/sec, 1265 secs
lola: 10291379 markings, 60294797 edges, 8369 markings/sec, 1270 secs
lola: 10327433 markings, 60511261 edges, 7211 markings/sec, 1275 secs
lola: 10362888 markings, 60733147 edges, 7091 markings/sec, 1280 secs
lola: 10397251 markings, 60982096 edges, 6873 markings/sec, 1285 secs
lola: 10428715 markings, 61199717 edges, 6293 markings/sec, 1290 secs
lola: 10459423 markings, 61427451 edges, 6142 markings/sec, 1295 secs
lola: 10487911 markings, 61650950 edges, 5698 markings/sec, 1300 secs
lola: 10535235 markings, 61875876 edges, 9465 markings/sec, 1305 secs
lola: 10581074 markings, 62107959 edges, 9168 markings/sec, 1310 secs
lola: 10623892 markings, 62333063 edges, 8564 markings/sec, 1315 secs
lola: 10661172 markings, 62562870 edges, 7456 markings/sec, 1320 secs
lola: 10705039 markings, 62816268 edges, 8773 markings/sec, 1325 secs
lola: 10757729 markings, 63082171 edges, 10538 markings/sec, 1330 secs
lola: 10804780 markings, 63340724 edges, 9410 markings/sec, 1335 secs
lola: 10846650 markings, 63610279 edges, 8374 markings/sec, 1340 secs
lola: 10894606 markings, 63885217 edges, 9591 markings/sec, 1345 secs
lola: 10940008 markings, 64158348 edges, 9080 markings/sec, 1350 secs
lola: 10983773 markings, 64423602 edges, 8753 markings/sec, 1355 secs
lola: 11016973 markings, 64691915 edges, 6640 markings/sec, 1360 secs
lola: 11059712 markings, 64973644 edges, 8548 markings/sec, 1365 secs
lola: 11106044 markings, 65236419 edges, 9266 markings/sec, 1370 secs
lola: 11146356 markings, 65474972 edges, 8062 markings/sec, 1375 secs
lola: 11189803 markings, 65731109 edges, 8689 markings/sec, 1380 secs
lola: 11233840 markings, 66000125 edges, 8807 markings/sec, 1385 secs
lola: 11276967 markings, 66260030 edges, 8625 markings/sec, 1390 secs
lola: 11316246 markings, 66504794 edges, 7856 markings/sec, 1395 secs
lola: 11351586 markings, 66748543 edges, 7068 markings/sec, 1400 secs
lola: 11388539 markings, 66987061 edges, 7391 markings/sec, 1405 secs
lola: 11425225 markings, 67225574 edges, 7337 markings/sec, 1410 secs
lola: 11458523 markings, 67456492 edges, 6660 markings/sec, 1415 secs
lola: 11488187 markings, 67685349 edges, 5933 markings/sec, 1420 secs
lola: 11516434 markings, 67914047 edges, 5649 markings/sec, 1425 secs
lola: 11560509 markings, 68170569 edges, 8815 markings/sec, 1430 secs
lola: 11599344 markings, 68421578 edges, 7767 markings/sec, 1435 secs
lola: 11643496 markings, 68689645 edges, 8830 markings/sec, 1440 secs
lola: 11685394 markings, 68973652 edges, 8380 markings/sec, 1445 secs
lola: 11728030 markings, 69262138 edges, 8527 markings/sec, 1450 secs
lola: 11765697 markings, 69558011 edges, 7533 markings/sec, 1455 secs
lola: 11812301 markings, 69774716 edges, 9321 markings/sec, 1460 secs
lola: 11855255 markings, 70017563 edges, 8591 markings/sec, 1465 secs
lola: 11892714 markings, 70234156 edges, 7492 markings/sec, 1470 secs
lola: 11924333 markings, 70446023 edges, 6324 markings/sec, 1475 secs
lola: 11966896 markings, 70676857 edges, 8513 markings/sec, 1480 secs
lola: 12007125 markings, 70913855 edges, 8046 markings/sec, 1485 secs
lola: 12043715 markings, 71146464 edges, 7318 markings/sec, 1490 secs
lola: 12081440 markings, 71385262 edges, 7545 markings/sec, 1495 secs
lola: 12118090 markings, 71631254 edges, 7330 markings/sec, 1500 secs
lola: 12154312 markings, 71860805 edges, 7244 markings/sec, 1505 secs
lola: 12191494 markings, 72082042 edges, 7436 markings/sec, 1510 secs
lola: 12225364 markings, 72299677 edges, 6774 markings/sec, 1515 secs
lola: 12261859 markings, 72522616 edges, 7299 markings/sec, 1520 secs
lola: 12297376 markings, 72748287 edges, 7103 markings/sec, 1525 secs
lola: 12331757 markings, 72988575 edges, 6876 markings/sec, 1530 secs
lola: 12381377 markings, 73193194 edges, 9924 markings/sec, 1535 secs
lola: 12428487 markings, 73399196 edges, 9422 markings/sec, 1540 secs
lola: 12471486 markings, 73612361 edges, 8600 markings/sec, 1545 secs
lola: 12513623 markings, 73820626 edges, 8427 markings/sec, 1550 secs
lola: 12549803 markings, 74030993 edges, 7236 markings/sec, 1555 secs
lola: 12592515 markings, 74250812 edges, 8542 markings/sec, 1560 secs
lola: 12640591 markings, 74488243 edges, 9615 markings/sec, 1565 secs
lola: 12686799 markings, 74735939 edges, 9242 markings/sec, 1570 secs
lola: 12731914 markings, 75005182 edges, 9023 markings/sec, 1575 secs
lola: 12784117 markings, 75261838 edges, 10441 markings/sec, 1580 secs
lola: 12829014 markings, 75522870 edges, 8979 markings/sec, 1585 secs
lola: 12877878 markings, 75800404 edges, 9773 markings/sec, 1590 secs
lola: 12924127 markings, 76091940 edges, 9250 markings/sec, 1595 secs
lola: 12969520 markings, 76398319 edges, 9079 markings/sec, 1600 secs
lola: 13010179 markings, 76704786 edges, 8132 markings/sec, 1605 secs
lola: 13054624 markings, 77035265 edges, 8889 markings/sec, 1610 secs
lola: 13105293 markings, 77299512 edges, 10134 markings/sec, 1615 secs
lola: 13151430 markings, 77542389 edges, 9227 markings/sec, 1620 secs
lola: 13202600 markings, 77819123 edges, 10234 markings/sec, 1625 secs
lola: 13252189 markings, 78120280 edges, 9918 markings/sec, 1630 secs
lola: 13295077 markings, 78449258 edges, 8578 markings/sec, 1635 secs
lola: 13341667 markings, 78689901 edges, 9318 markings/sec, 1640 secs
lola: 13386063 markings, 78939442 edges, 8879 markings/sec, 1645 secs
lola: 13430656 markings, 79213815 edges, 8919 markings/sec, 1650 secs
lola: 13474176 markings, 79514373 edges, 8704 markings/sec, 1655 secs
lola: 13517416 markings, 79753457 edges, 8648 markings/sec, 1660 secs
lola: 13558175 markings, 80005818 edges, 8152 markings/sec, 1665 secs
lola: 13599805 markings, 80276483 edges, 8326 markings/sec, 1670 secs
lola: 13639037 markings, 80573008 edges, 7846 markings/sec, 1675 secs
lola: 13681408 markings, 80855584 edges, 8474 markings/sec, 1680 secs
lola: 13722369 markings, 81148930 edges, 8192 markings/sec, 1685 secs
lola: 13760098 markings, 81408284 edges, 7546 markings/sec, 1690 secs
lola: 13805370 markings, 81656688 edges, 9054 markings/sec, 1695 secs
lola: 13851375 markings, 81916927 edges, 9201 markings/sec, 1700 secs
lola: 13894955 markings, 82202329 edges, 8716 markings/sec, 1705 secs
lola: 13937997 markings, 82476397 edges, 8608 markings/sec, 1710 secs
lola: 13979396 markings, 82741567 edges, 8280 markings/sec, 1715 secs
lola: 14019714 markings, 83014974 edges, 8064 markings/sec, 1720 secs
lola: 14063493 markings, 83273091 edges, 8756 markings/sec, 1725 secs
lola: 14105211 markings, 83561376 edges, 8344 markings/sec, 1730 secs
lola: 14144759 markings, 83826719 edges, 7910 markings/sec, 1735 secs
lola: 14182003 markings, 84098972 edges, 7449 markings/sec, 1740 secs
lola: 14220355 markings, 84349094 edges, 7670 markings/sec, 1745 secs
lola: 14256188 markings, 84626214 edges, 7167 markings/sec, 1750 secs
lola: 14291558 markings, 84906566 edges, 7074 markings/sec, 1755 secs
lola: 14326565 markings, 85182126 edges, 7001 markings/sec, 1760 secs
lola: 14360914 markings, 85448761 edges, 6870 markings/sec, 1765 secs
lola: 14394064 markings, 85736217 edges, 6630 markings/sec, 1770 secs
lola: 14422525 markings, 85991377 edges, 5692 markings/sec, 1775 secs
lola: 14463683 markings, 86248206 edges, 8232 markings/sec, 1780 secs
lola: 14516264 markings, 86523999 edges, 10516 markings/sec, 1785 secs
lola: 14567886 markings, 86830526 edges, 10324 markings/sec, 1790 secs
lola: 14618278 markings, 87130085 edges, 10078 markings/sec, 1795 secs
lola: 14664608 markings, 87413796 edges, 9266 markings/sec, 1800 secs
lola: 14712005 markings, 87693851 edges, 9479 markings/sec, 1805 secs
lola: 14754044 markings, 87976856 edges, 8408 markings/sec, 1810 secs
lola: 14796108 markings, 88268849 edges, 8413 markings/sec, 1815 secs
lola: 14842919 markings, 88560533 edges, 9362 markings/sec, 1820 secs
lola: 14890872 markings, 88831060 edges, 9591 markings/sec, 1825 secs
lola: 14942247 markings, 89142204 edges, 10275 markings/sec, 1830 secs
lola: 14988532 markings, 89441963 edges, 9257 markings/sec, 1835 secs
lola: 15036717 markings, 89725006 edges, 9637 markings/sec, 1840 secs
lola: 15074123 markings, 90015772 edges, 7481 markings/sec, 1845 secs
lola: 15119432 markings, 90313357 edges, 9062 markings/sec, 1850 secs
lola: 15168417 markings, 90606685 edges, 9797 markings/sec, 1855 secs
lola: 15217559 markings, 90941207 edges, 9828 markings/sec, 1860 secs
lola: 15263886 markings, 91262859 edges, 9265 markings/sec, 1865 secs
lola: 15310703 markings, 91567468 edges, 9363 markings/sec, 1870 secs
lola: 15355908 markings, 91875401 edges, 9041 markings/sec, 1875 secs
lola: 15398772 markings, 92186095 edges, 8573 markings/sec, 1880 secs
lola: 15434003 markings, 92496149 edges, 7046 markings/sec, 1885 secs
lola: 15476374 markings, 92831891 edges, 8474 markings/sec, 1890 secs
lola: 15519842 markings, 93158303 edges, 8694 markings/sec, 1895 secs
lola: 15565103 markings, 93487057 edges, 9052 markings/sec, 1900 secs
lola: 15612778 markings, 93742926 edges, 9535 markings/sec, 1905 secs
lola: 15653615 markings, 93994097 edges, 8167 markings/sec, 1910 secs
lola: 15698718 markings, 94269103 edges, 9021 markings/sec, 1915 secs
lola: 15742629 markings, 94528806 edges, 8782 markings/sec, 1920 secs
lola: 15784982 markings, 94791837 edges, 8471 markings/sec, 1925 secs
lola: 15825597 markings, 95061272 edges, 8123 markings/sec, 1930 secs
lola: 15868417 markings, 95337161 edges, 8564 markings/sec, 1935 secs
lola: 15911002 markings, 95615488 edges, 8517 markings/sec, 1940 secs
lola: 15949441 markings, 95887837 edges, 7688 markings/sec, 1945 secs
lola: 15983333 markings, 96161537 edges, 6778 markings/sec, 1950 secs
lola: 16028651 markings, 96450655 edges, 9064 markings/sec, 1955 secs
lola: 16073653 markings, 96740650 edges, 9000 markings/sec, 1960 secs
lola: 16123587 markings, 97043915 edges, 9987 markings/sec, 1965 secs
lola: 16170301 markings, 97357228 edges, 9343 markings/sec, 1970 secs
lola: 16214564 markings, 97666615 edges, 8853 markings/sec, 1975 secs
lola: 16256320 markings, 97991980 edges, 8351 markings/sec, 1980 secs
lola: 16297045 markings, 98332432 edges, 8145 markings/sec, 1985 secs
lola: 16338183 markings, 98682779 edges, 8228 markings/sec, 1990 secs
lola: 16377147 markings, 99016825 edges, 7793 markings/sec, 1995 secs
lola: 16416023 markings, 99360717 edges, 7775 markings/sec, 2000 secs
lola: 16453506 markings, 99697573 edges, 7497 markings/sec, 2005 secs
lola: 16483776 markings, 100006120 edges, 6054 markings/sec, 2010 secs
lola: 16527434 markings, 100370823 edges, 8732 markings/sec, 2015 secs
lola: 16569474 markings, 100727691 edges, 8408 markings/sec, 2020 secs
lola: 16611574 markings, 101092041 edges, 8420 markings/sec, 2025 secs
lola: 16649198 markings, 101447945 edges, 7525 markings/sec, 2030 secs
lola: 16696536 markings, 101735742 edges, 9468 markings/sec, 2035 secs
lola: 16743984 markings, 101988768 edges, 9490 markings/sec, 2040 secs
lola: 16790482 markings, 102280620 edges, 9300 markings/sec, 2045 secs
lola: 16835340 markings, 102573668 edges, 8972 markings/sec, 2050 secs
lola: 16879882 markings, 102872791 edges, 8908 markings/sec, 2055 secs
lola: 16920999 markings, 103148860 edges, 8223 markings/sec, 2060 secs
lola: 16956600 markings, 103439273 edges, 7120 markings/sec, 2065 secs
lola: 17006270 markings, 103733788 edges, 9934 markings/sec, 2070 secs
lola: 17053723 markings, 104038763 edges, 9491 markings/sec, 2075 secs
lola: 17099239 markings, 104349302 edges, 9103 markings/sec, 2080 secs
lola: 17140211 markings, 104656568 edges, 8194 markings/sec, 2085 secs
lola: 17185845 markings, 104949053 edges, 9127 markings/sec, 2090 secs
lola: 17226289 markings, 105222585 edges, 8089 markings/sec, 2095 secs
lola: 17271540 markings, 105531508 edges, 9050 markings/sec, 2100 secs
lola: 17310680 markings, 105865478 edges, 7828 markings/sec, 2105 secs
lola: 17348838 markings, 106201254 edges, 7632 markings/sec, 2110 secs
lola: 17391929 markings, 106460186 edges, 8618 markings/sec, 2115 secs
lola: 17434824 markings, 106738815 edges, 8579 markings/sec, 2120 secs
lola: 17472584 markings, 106999160 edges, 7552 markings/sec, 2125 secs
lola: 17504504 markings, 107255923 edges, 6384 markings/sec, 2130 secs
lola: 17550854 markings, 107547120 edges, 9270 markings/sec, 2135 secs
lola: 17590529 markings, 107830048 edges, 7935 markings/sec, 2140 secs
lola: 17631963 markings, 108107006 edges, 8287 markings/sec, 2145 secs
lola: 17672377 markings, 108392287 edges, 8083 markings/sec, 2150 secs
lola: 17711732 markings, 108715437 edges, 7871 markings/sec, 2155 secs
lola: 17756810 markings, 108982301 edges, 9016 markings/sec, 2160 secs
lola: 17801913 markings, 109222114 edges, 9021 markings/sec, 2165 secs
lola: 17845115 markings, 109489764 edges, 8640 markings/sec, 2170 secs
lola: 17887754 markings, 109752132 edges, 8528 markings/sec, 2175 secs
lola: 17931173 markings, 110005789 edges, 8684 markings/sec, 2180 secs
lola: 17972471 markings, 110262104 edges, 8260 markings/sec, 2185 secs
lola: 18009605 markings, 110523414 edges, 7427 markings/sec, 2190 secs
lola: 18041061 markings, 110776972 edges, 6291 markings/sec, 2195 secs
lola: 18083095 markings, 111038176 edges, 8407 markings/sec, 2200 secs
lola: 18128603 markings, 111311908 edges, 9102 markings/sec, 2205 secs
lola: 18172051 markings, 111598642 edges, 8690 markings/sec, 2210 secs
lola: 18212298 markings, 111882576 edges, 8049 markings/sec, 2215 secs
lola: 18256283 markings, 112125213 edges, 8797 markings/sec, 2220 secs
lola: 18300328 markings, 112409603 edges, 8809 markings/sec, 2225 secs
lola: 18342861 markings, 112678053 edges, 8507 markings/sec, 2230 secs
lola: 18381938 markings, 112934429 edges, 7815 markings/sec, 2235 secs
lola: 18414290 markings, 113206573 edges, 6470 markings/sec, 2240 secs
lola: 18458577 markings, 113475599 edges, 8857 markings/sec, 2245 secs
lola: 18500183 markings, 113758618 edges, 8321 markings/sec, 2250 secs
lola: 18544029 markings, 114034802 edges, 8769 markings/sec, 2255 secs
lola: 18585711 markings, 114297244 edges, 8336 markings/sec, 2260 secs
lola: 18627145 markings, 114552974 edges, 8287 markings/sec, 2265 secs
lola: 18670020 markings, 114833706 edges, 8575 markings/sec, 2270 secs
lola: 18708650 markings, 115130106 edges, 7726 markings/sec, 2275 secs
lola: 18747636 markings, 115418616 edges, 7797 markings/sec, 2280 secs
lola: 18790601 markings, 115713162 edges, 8593 markings/sec, 2285 secs
lola: 18830913 markings, 116001615 edges, 8062 markings/sec, 2290 secs
lola: 18867638 markings, 116281608 edges, 7345 markings/sec, 2295 secs
lola: 18900147 markings, 116578054 edges, 6502 markings/sec, 2300 secs
lola: 18933893 markings, 116852967 edges, 6749 markings/sec, 2305 secs
lola: 18979697 markings, 117169924 edges, 9161 markings/sec, 2310 secs
lola: 19024497 markings, 117482725 edges, 8960 markings/sec, 2315 secs
lola: 19068080 markings, 117802942 edges, 8717 markings/sec, 2320 secs
lola: 19106604 markings, 118128678 edges, 7705 markings/sec, 2325 secs
lola: 19148073 markings, 118401697 edges, 8294 markings/sec, 2330 secs
lola: 19186219 markings, 118651957 edges, 7629 markings/sec, 2335 secs
lola: 19227917 markings, 118916503 edges, 8340 markings/sec, 2340 secs
lola: 19266864 markings, 119177975 edges, 7789 markings/sec, 2345 secs
lola: 19308281 markings, 119467452 edges, 8283 markings/sec, 2350 secs
lola: 19346549 markings, 119762829 edges, 7654 markings/sec, 2355 secs
lola: 19384499 markings, 120038035 edges, 7590 markings/sec, 2360 secs
lola: 19418996 markings, 120277079 edges, 6899 markings/sec, 2365 secs
lola: 19454528 markings, 120532387 edges, 7106 markings/sec, 2370 secs
lola: 19488516 markings, 120806120 edges, 6798 markings/sec, 2375 secs
lola: 19531200 markings, 121043172 edges, 8537 markings/sec, 2380 secs
lola: 19574757 markings, 121316534 edges, 8711 markings/sec, 2385 secs
lola: 19618358 markings, 121583823 edges, 8720 markings/sec, 2390 secs
lola: 19660960 markings, 121853333 edges, 8520 markings/sec, 2395 secs
lola: 19696617 markings, 122124000 edges, 7131 markings/sec, 2400 secs
lola: 19735387 markings, 122394017 edges, 7754 markings/sec, 2405 secs
lola: 19780143 markings, 122681904 edges, 8951 markings/sec, 2410 secs
lola: 19820679 markings, 122974105 edges, 8107 markings/sec, 2415 secs
lola: 19861727 markings, 123261889 edges, 8210 markings/sec, 2420 secs
lola: 19896248 markings, 123541651 edges, 6904 markings/sec, 2425 secs
lola: 19937269 markings, 123841054 edges, 8204 markings/sec, 2430 secs
lola: 19975771 markings, 124098961 edges, 7700 markings/sec, 2435 secs
lola: 20014205 markings, 124368157 edges, 7687 markings/sec, 2440 secs
lola: 20050887 markings, 124629456 edges, 7336 markings/sec, 2445 secs
lola: 20092836 markings, 124886485 edges, 8390 markings/sec, 2450 secs
lola: 20135090 markings, 125152324 edges, 8451 markings/sec, 2455 secs
lola: 20178544 markings, 125447137 edges, 8691 markings/sec, 2460 secs
lola: 20220603 markings, 125746742 edges, 8412 markings/sec, 2465 secs
lola: 20262736 markings, 126043725 edges, 8427 markings/sec, 2470 secs
lola: 20304896 markings, 126327071 edges, 8432 markings/sec, 2475 secs
lola: 20346708 markings, 126616239 edges, 8362 markings/sec, 2480 secs
lola: 20386844 markings, 126910412 edges, 8027 markings/sec, 2485 secs
lola: 20423537 markings, 127213839 edges, 7339 markings/sec, 2490 secs
lola: 20454733 markings, 127499228 edges, 6239 markings/sec, 2495 secs
lola: 20495853 markings, 127795417 edges, 8224 markings/sec, 2500 secs
lola: 20539547 markings, 128110908 edges, 8739 markings/sec, 2505 secs
lola: 20584967 markings, 128435475 edges, 9084 markings/sec, 2510 secs
lola: 20626845 markings, 128770996 edges, 8376 markings/sec, 2515 secs
lola: 20668516 markings, 129099363 edges, 8334 markings/sec, 2520 secs
lola: 20710900 markings, 129396652 edges, 8477 markings/sec, 2525 secs
lola: 20746843 markings, 129685217 edges, 7189 markings/sec, 2530 secs
lola: 20790279 markings, 130010471 edges, 8687 markings/sec, 2535 secs
lola: 20827682 markings, 130349693 edges, 7481 markings/sec, 2540 secs
lola: 20860641 markings, 130672336 edges, 6592 markings/sec, 2545 secs
lola: 20899822 markings, 130985334 edges, 7836 markings/sec, 2550 secs
lola: 20940114 markings, 131289798 edges, 8058 markings/sec, 2555 secs
lola: 20981201 markings, 131610017 edges, 8217 markings/sec, 2560 secs
lola: 21021310 markings, 131926820 edges, 8022 markings/sec, 2565 secs
lola: 21058947 markings, 132229219 edges, 7527 markings/sec, 2570 secs
lola: 21093457 markings, 132509209 edges, 6902 markings/sec, 2575 secs
lola: 21138473 markings, 132787140 edges, 9003 markings/sec, 2580 secs
lola: 21190483 markings, 133052123 edges, 10402 markings/sec, 2585 secs
lola: 21238357 markings, 133312805 edges, 9575 markings/sec, 2590 secs
lola: 21282566 markings, 133580783 edges, 8842 markings/sec, 2595 secs
lola: 21326391 markings, 133847496 edges, 8765 markings/sec, 2600 secs
lola: 21378985 markings, 134113353 edges, 10519 markings/sec, 2605 secs
lola: 21423779 markings, 134389910 edges, 8959 markings/sec, 2610 secs
lola: 21472278 markings, 134661780 edges, 9700 markings/sec, 2615 secs
lola: 21520793 markings, 134922042 edges, 9703 markings/sec, 2620 secs
lola: 21564563 markings, 135194720 edges, 8754 markings/sec, 2625 secs
lola: 21610489 markings, 135473067 edges, 9185 markings/sec, 2630 secs
lola: 21657511 markings, 135751838 edges, 9404 markings/sec, 2635 secs
lola: 21707360 markings, 136023885 edges, 9970 markings/sec, 2640 secs
lola: 21758570 markings, 136329086 edges, 10242 markings/sec, 2645 secs
lola: 21805605 markings, 136614082 edges, 9407 markings/sec, 2650 secs
lola: 21850725 markings, 136928352 edges, 9024 markings/sec, 2655 secs
lola: 21892683 markings, 137222465 edges, 8392 markings/sec, 2660 secs
lola: 21935035 markings, 137514590 edges, 8470 markings/sec, 2665 secs
lola: 21987402 markings, 137831505 edges, 10473 markings/sec, 2670 secs
lola: 22036841 markings, 138140143 edges, 9888 markings/sec, 2675 secs
lola: 22078889 markings, 138462582 edges, 8410 markings/sec, 2680 secs
lola: 22124498 markings, 138750277 edges, 9122 markings/sec, 2685 secs
lola: 22170994 markings, 139017115 edges, 9299 markings/sec, 2690 secs
lola: 22218582 markings, 139308796 edges, 9518 markings/sec, 2695 secs
lola: 22264279 markings, 139627378 edges, 9139 markings/sec, 2700 secs
lola: 22304640 markings, 139873238 edges, 8072 markings/sec, 2705 secs
lola: 22345060 markings, 140149964 edges, 8084 markings/sec, 2710 secs
lola: 22397426 markings, 140418416 edges, 10473 markings/sec, 2715 secs
lola: 22444402 markings, 140693307 edges, 9395 markings/sec, 2720 secs
lola: 22487955 markings, 140968377 edges, 8711 markings/sec, 2725 secs
lola: 22539125 markings, 141244618 edges, 10234 markings/sec, 2730 secs
lola: 22583579 markings, 141535589 edges, 8891 markings/sec, 2735 secs
lola: 22625614 markings, 141822833 edges, 8407 markings/sec, 2740 secs
lola: 22672855 markings, 142126232 edges, 9448 markings/sec, 2745 secs
lola: 22718126 markings, 142412147 edges, 9054 markings/sec, 2750 secs
lola: 22762451 markings, 142671755 edges, 8865 markings/sec, 2755 secs
lola: 22815494 markings, 142977304 edges, 10609 markings/sec, 2760 secs
lola: 22863356 markings, 143259414 edges, 9572 markings/sec, 2765 secs
lola: 22908292 markings, 143566421 edges, 8987 markings/sec, 2770 secs
lola: 22951384 markings, 143870548 edges, 8618 markings/sec, 2775 secs
lola: 22990785 markings, 144164575 edges, 7880 markings/sec, 2780 secs
lola: 23041902 markings, 144476068 edges, 10223 markings/sec, 2785 secs
lola: 23093434 markings, 144777563 edges, 10306 markings/sec, 2790 secs
lola: 23134044 markings, 145093478 edges, 8122 markings/sec, 2795 secs
lola: 23181727 markings, 145412434 edges, 9537 markings/sec, 2800 secs
lola: 23224559 markings, 145705045 edges, 8566 markings/sec, 2805 secs
lola: 23269959 markings, 146037280 edges, 9080 markings/sec, 2810 secs
lola: 23309541 markings, 146392414 edges, 7916 markings/sec, 2815 secs
lola: 23354519 markings, 146704672 edges, 8996 markings/sec, 2820 secs
lola: 23401072 markings, 147021724 edges, 9311 markings/sec, 2825 secs
lola: 23441936 markings, 147327960 edges, 8173 markings/sec, 2830 secs
lola: 23486371 markings, 147621758 edges, 8887 markings/sec, 2835 secs
lola: 23528446 markings, 147887629 edges, 8415 markings/sec, 2840 secs
lola: 23572070 markings, 148169798 edges, 8725 markings/sec, 2845 secs
lola: 23615806 markings, 148447415 edges, 8747 markings/sec, 2850 secs
lola: 23662770 markings, 148744566 edges, 9393 markings/sec, 2855 secs
lola: 23703374 markings, 149038211 edges, 8121 markings/sec, 2860 secs
lola: 23745955 markings, 149350749 edges, 8516 markings/sec, 2865 secs
lola: 23786273 markings, 149633905 edges, 8064 markings/sec, 2870 secs
lola: 23826474 markings, 149920799 edges, 8040 markings/sec, 2875 secs
lola: 23868368 markings, 150192257 edges, 8379 markings/sec, 2880 secs
lola: 23909754 markings, 150473428 edges, 8277 markings/sec, 2885 secs
lola: 23950799 markings, 150763532 edges, 8209 markings/sec, 2890 secs
lola: 23993270 markings, 151040959 edges, 8494 markings/sec, 2895 secs
lola: 24034131 markings, 151335600 edges, 8172 markings/sec, 2900 secs
lola: 24076324 markings, 151648195 edges, 8439 markings/sec, 2905 secs
lola: 24118421 markings, 151968855 edges, 8419 markings/sec, 2910 secs
lola: 24158090 markings, 152298977 edges, 7934 markings/sec, 2915 secs
lola: 24196589 markings, 152593569 edges, 7700 markings/sec, 2920 secs
lola: 24242925 markings, 152850719 edges, 9267 markings/sec, 2925 secs
lola: 24286866 markings, 153117223 edges, 8788 markings/sec, 2930 secs
lola: 24330784 markings, 153378565 edges, 8784 markings/sec, 2935 secs
lola: 24377864 markings, 153648181 edges, 9416 markings/sec, 2940 secs
lola: 24420218 markings, 153929244 edges, 8471 markings/sec, 2945 secs
lola: 24465483 markings, 154204455 edges, 9053 markings/sec, 2950 secs
lola: 24509888 markings, 154478527 edges, 8881 markings/sec, 2955 secs
lola: 24554013 markings, 154773055 edges, 8825 markings/sec, 2960 secs
lola: 24600038 markings, 155045562 edges, 9205 markings/sec, 2965 secs
lola: 24643960 markings, 155361558 edges, 8784 markings/sec, 2970 secs
lola: 24683808 markings, 155650449 edges, 7970 markings/sec, 2975 secs
lola: 24728643 markings, 155942982 edges, 8967 markings/sec, 2980 secs
lola: 24775041 markings, 156243579 edges, 9280 markings/sec, 2985 secs
lola: 24815258 markings, 156569612 edges, 8043 markings/sec, 2990 secs
lola: 24858113 markings, 156845692 edges, 8571 markings/sec, 2995 secs
lola: 24900968 markings, 157120268 edges, 8571 markings/sec, 3000 secs
lola: 24942122 markings, 157412095 edges, 8231 markings/sec, 3005 secs
lola: 24978999 markings, 157667630 edges, 7375 markings/sec, 3010 secs
lola: 25023111 markings, 157935507 edges, 8822 markings/sec, 3015 secs
lola: 25064046 markings, 158207099 edges, 8187 markings/sec, 3020 secs
lola: 25112184 markings, 158483855 edges, 9628 markings/sec, 3025 secs
lola: 25153644 markings, 158779859 edges, 8292 markings/sec, 3030 secs
lola: 25195726 markings, 159074990 edges, 8416 markings/sec, 3035 secs
lola: 25235900 markings, 159345715 edges, 8035 markings/sec, 3040 secs
lola: 25280875 markings, 159617895 edges, 8995 markings/sec, 3045 secs
lola: 25324484 markings, 159922162 edges, 8722 markings/sec, 3050 secs
lola: 25366339 markings, 160220745 edges, 8371 markings/sec, 3055 secs
lola: 25408028 markings, 160511683 edges, 8338 markings/sec, 3060 secs
lola: 25456935 markings, 160819638 edges, 9781 markings/sec, 3065 secs
lola: 25496645 markings, 161133014 edges, 7942 markings/sec, 3070 secs
lola: 25537686 markings, 161435887 edges, 8208 markings/sec, 3075 secs
lola: 25579465 markings, 161755372 edges, 8356 markings/sec, 3080 secs
lola: 25619960 markings, 162099712 edges, 8099 markings/sec, 3085 secs
lola: 25662846 markings, 162411954 edges, 8577 markings/sec, 3090 secs
lola: 25700450 markings, 162707525 edges, 7521 markings/sec, 3095 secs
lola: 25742087 markings, 162985268 edges, 8327 markings/sec, 3100 secs
lola: 25782128 markings, 163260496 edges, 8008 markings/sec, 3105 secs
lola: 25823193 markings, 163538014 edges, 8213 markings/sec, 3110 secs
lola: 25864189 markings, 163832783 edges, 8199 markings/sec, 3115 secs
lola: 25904252 markings, 164131926 edges, 8013 markings/sec, 3120 secs
lola: 25942811 markings, 164423815 edges, 7712 markings/sec, 3125 secs
lola: 25978403 markings, 164702654 edges, 7118 markings/sec, 3130 secs
lola: 26019663 markings, 164976369 edges, 8252 markings/sec, 3135 secs
lola: 26058889 markings, 165275523 edges, 7845 markings/sec, 3140 secs
lola: 26100631 markings, 165573443 edges, 8348 markings/sec, 3145 secs
lola: 26140976 markings, 165879671 edges, 8069 markings/sec, 3150 secs
lola: 26179733 markings, 166203379 edges, 7751 markings/sec, 3155 secs
lola: 26217662 markings, 166529697 edges, 7586 markings/sec, 3160 secs
lola: 26255592 markings, 166792562 edges, 7586 markings/sec, 3165 secs
lola: 26295112 markings, 167065756 edges, 7904 markings/sec, 3170 secs
lola: 26332541 markings, 167330544 edges, 7486 markings/sec, 3175 secs
lola: 26366916 markings, 167606117 edges, 6875 markings/sec, 3180 secs
lola: 26409866 markings, 167876229 edges, 8590 markings/sec, 3185 secs
lola: 26453510 markings, 168154140 edges, 8729 markings/sec, 3190 secs
lola: 26494484 markings, 168435193 edges, 8195 markings/sec, 3195 secs
lola: 26529824 markings, 168721866 edges, 7068 markings/sec, 3200 secs
lola: 26566581 markings, 169006848 edges, 7351 markings/sec, 3205 secs
lola: 26605672 markings, 169291711 edges, 7818 markings/sec, 3210 secs
lola: 26640342 markings, 169571577 edges, 6934 markings/sec, 3215 secs
lola: 26683291 markings, 169845840 edges, 8590 markings/sec, 3220 secs
lola: 26723601 markings, 170126460 edges, 8062 markings/sec, 3225 secs
lola: 26757302 markings, 170421694 edges, 6740 markings/sec, 3230 secs
lola: 26796987 markings, 170695444 edges, 7937 markings/sec, 3235 secs
lola: 26834735 markings, 170985261 edges, 7550 markings/sec, 3240 secs
lola: 26871122 markings, 171289644 edges, 7277 markings/sec, 3245 secs
lola: 26907239 markings, 171595834 edges, 7223 markings/sec, 3250 secs
lola: 26938436 markings, 171890199 edges, 6239 markings/sec, 3255 secs
lola: 26984513 markings, 172186126 edges, 9215 markings/sec, 3260 secs
lola: 27025752 markings, 172501749 edges, 8248 markings/sec, 3265 secs
lola: 27069189 markings, 172815949 edges, 8687 markings/sec, 3270 secs
lola: 27107247 markings, 173132131 edges, 7612 markings/sec, 3275 secs
lola: 27139682 markings, 173448199 edges, 6487 markings/sec, 3280 secs
lola: 27175494 markings, 173747541 edges, 7162 markings/sec, 3285 secs
lola: 27213713 markings, 174016433 edges, 7644 markings/sec, 3290 secs
lola: 27252044 markings, 174295265 edges, 7666 markings/sec, 3295 secs
lola: 27288350 markings, 174585123 edges, 7261 markings/sec, 3300 secs
lola: 27324361 markings, 174884032 edges, 7202 markings/sec, 3305 secs
lola: 27356079 markings, 175129796 edges, 6344 markings/sec, 3310 secs
lola: 27388297 markings, 175395960 edges, 6444 markings/sec, 3315 secs
lola: 27425599 markings, 175671299 edges, 7460 markings/sec, 3320 secs
lola: 27463542 markings, 175946696 edges, 7589 markings/sec, 3325 secs
lola: 27497657 markings, 176226557 edges, 6823 markings/sec, 3330 secs
lola: 27542077 markings, 176507923 edges, 8884 markings/sec, 3335 secs
lola: 27584145 markings, 176800944 edges, 8414 markings/sec, 3340 secs
lola: 27618559 markings, 177101315 edges, 6883 markings/sec, 3345 secs
lola: 27652428 markings, 177390265 edges, 6774 markings/sec, 3350 secs
lola: 27692854 markings, 177699430 edges, 8085 markings/sec, 3355 secs
lola: 27730390 markings, 177986254 edges, 7507 markings/sec, 3360 secs
lola: 27764831 markings, 178264781 edges, 6888 markings/sec, 3365 secs
lola: 27802556 markings, 178537629 edges, 7545 markings/sec, 3370 secs
lola: 27840181 markings, 178847504 edges, 7525 markings/sec, 3375 secs
lola: 27878440 markings, 179151998 edges, 7652 markings/sec, 3380 secs
lola: 27915804 markings, 179451229 edges, 7473 markings/sec, 3385 secs
lola: 27949445 markings, 179746701 edges, 6728 markings/sec, 3390 secs
lola: 27988410 markings, 180040497 edges, 7793 markings/sec, 3395 secs
lola: 28033627 markings, 180359260 edges, 9043 markings/sec, 3400 secs
lola: 28075447 markings, 180667840 edges, 8364 markings/sec, 3405 secs
lola: 28115366 markings, 180990377 edges, 7984 markings/sec, 3410 secs
lola: 28149857 markings, 181304991 edges, 6898 markings/sec, 3415 secs
lola: 28183827 markings, 181629636 edges, 6794 markings/sec, 3420 secs
lola: 28218579 markings, 181918405 edges, 6950 markings/sec, 3425 secs
lola: 28257315 markings, 182228599 edges, 7747 markings/sec, 3430 secs
lola: 28289014 markings, 182559981 edges, 6340 markings/sec, 3435 secs
lola: 28324657 markings, 182909404 edges, 7129 markings/sec, 3440 secs
lola: 28362290 markings, 183209602 edges, 7527 markings/sec, 3445 secs
lola: 28399535 markings, 183524539 edges, 7449 markings/sec, 3450 secs
lola: 28432566 markings, 183829214 edges, 6606 markings/sec, 3455 secs
lola: 28464742 markings, 184109707 edges, 6435 markings/sec, 3460 secs
lola: 28502172 markings, 184393073 edges, 7486 markings/sec, 3465 secs
lola: 28535375 markings, 184666510 edges, 6641 markings/sec, 3470 secs
lola: 28574925 markings, 184950814 edges, 7910 markings/sec, 3475 secs
lola: 28610558 markings, 185240790 edges, 7127 markings/sec, 3480 secs
lola: 28646676 markings, 185525967 edges, 7224 markings/sec, 3485 secs
lola: 28683991 markings, 185826346 edges, 7463 markings/sec, 3490 secs
lola: 28720336 markings, 186137585 edges, 7269 markings/sec, 3495 secs
lola: 28753363 markings, 186432607 edges, 6605 markings/sec, 3500 secs
lola: 28791395 markings, 186750610 edges, 7606 markings/sec, 3505 secs
lola: 28824469 markings, 187051922 edges, 6615 markings/sec, 3510 secs
lola: 28857055 markings, 187324715 edges, 6517 markings/sec, 3515 secs
lola: 28888811 markings, 187604133 edges, 6351 markings/sec, 3520 secs
lola: 28921724 markings, 187878382 edges, 6583 markings/sec, 3525 secs
lola: 28957542 markings, 188161569 edges, 7164 markings/sec, 3530 secs
lola: time limit reached - aborting
lola: lola:
preliminary result: yes no no yes yes yes no no no yes no no yes no yescaught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes no no yes yes yes no no no yes no no yes no yes unknown
FORMULA PermAdmissibility-COL-20-LTLCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-LTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-LTLCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-LTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-LTLCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-LTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-LTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-LTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-LTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-LTLCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-LTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-LTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-LTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-LTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PermAdmissibility-COL-20-LTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- Finished stdout -----
----- Finished 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="PermAdmissibility-COL-20"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="irma4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-COL-20.tgz
mv PermAdmissibility-COL-20 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool irma4mcc-structural"
echo " Input is PermAdmissibility-COL-20, 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 r259-csrt-152732584700131"
echo "====================================================================="
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
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 ;