fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r259-csrt-152732584700131
Last Updated
June 26, 2018

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 '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;