fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r016-qhx1-152646241200150
Last Updated
June 26, 2018

About the Execution of LoLA for AutoFlight-PT-24a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2980.290 3591522.00 3728568.00 10556.50 FFTFFFTFFTTTT?FF 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 340K
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 108 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 346 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 169K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is AutoFlight-PT-24a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-qhx1-152646241200150
=====================================================================


--------------------
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 AutoFlight-PT-24a-CTLCardinality-00
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-01
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-02
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-03
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-04
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-05
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-06
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-07
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-08
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-09
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-10
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-11
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-12
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-13
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-14
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1526665216834

info: Time: 3600 - MCC
===========================================================================================
prep: translating AutoFlight-PT-24a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating AutoFlight-PT-24a formula CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ AutoFlight-PT-24a @ 3562 seconds
lola: LoLA will run for 3562 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1212/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 607
lola: finding significant places
lola: 607 places, 605 transitions, 459 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 584 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-24a-CTLCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p228)
lola: LP says that atomic proposition is always false: (2 <= p428)
lola: LP says that atomic proposition is always false: (2 <= p143)
lola: LP says that atomic proposition is always false: (3 <= p189)
lola: LP says that atomic proposition is always false: (3 <= p234)
lola: LP says that atomic proposition is always false: (2 <= p360)
lola: LP says that atomic proposition is always false: (2 <= p146)
lola: LP says that atomic proposition is always false: (2 <= p273)
lola: LP says that atomic proposition is always true: (p361 <= p204)
lola: LP says that atomic proposition is always false: (3 <= p294)
lola: LP says that atomic proposition is always false: (3 <= p543)
lola: LP says that atomic proposition is always true: (p366 <= p133)
lola: LP says that atomic proposition is always false: (3 <= p218)
lola: LP says that atomic proposition is always false: (2 <= p227)
lola: LP says that atomic proposition is always false: (2 <= p89)
lola: LP says that atomic proposition is always false: (2 <= p436)
lola: LP says that atomic proposition is always false: (2 <= p367)
lola: LP says that atomic proposition is always false: (2 <= p61)
lola: LP says that atomic proposition is always true: (p239 <= p42)
lola: LP says that atomic proposition is always false: (3 <= p275)
lola: LP says that atomic proposition is always false: (2 <= p423)
lola: A (F (E (X (FALSE)))) : A (G ((((p409 <= p563) AND ((p271 <= p5))) OR (p195 <= p412)))) : NOT(NOT(NOT(A (F (FALSE))))) : ((A (((p270 <= p43) U (1 <= p499))) OR (((p427 + 1 <= p558)) AND ((p335 <= 0) OR (p471 <= 0)))) AND (A (F (((p589 <= p405)))) AND (p184 <= p18))) : A (F (FALSE)) : NOT(NOT(E (((p82 <= p332) U FALSE)))) : A ((((p86 <= p491) AND (p178 <= p148) AND (p546 + 1 <= p109)) U A (G (TRUE)))) : (E (G (E (F (FALSE)))) AND (E (X ((p75 <= p117))) OR (((p192 <= p145)) AND E (G ((p92 <= p64)))))) : A (((p360 <= p524) U ((1 <= p307) AND (p71 + 1 <= p250)))) : E (F (NOT(A (X ((p107 <= p580)))))) : A (G ((A (F ((1 <= p204))) OR ()))) : E (F ((1 <= p326))) : ((NOT(A (G ((1 <= p157)))) AND ()) OR E (G (()))) : A (X (A (F ((1 <= p601))))) : ((NOT(E (G ((p93 <= p109)))) AND A (F ((p411 + 1 <= p428)))) AND A (X (()))) : A (F (E (F (FALSE))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:133
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:395
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:136
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 58 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: processed formula with 0 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: ========================================

FORMULA AutoFlight-PT-24a-CTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 58 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA AutoFlight-PT-24a-CTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 58 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: processed formula with 0 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: ========================================

FORMULA AutoFlight-PT-24a-CTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 58 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: processed formula with 0 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: ========================================

FORMULA AutoFlight-PT-24a-CTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 58 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola:
FORMULA AutoFlight-PT-24a-CTLCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 58 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: processed formula with 0 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:
FORMULA AutoFlight-PT-24a-CTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 58 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA AutoFlight-PT-24a-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 58 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA AutoFlight-PT-24a-CTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 58 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: processed formula with 0 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: ========================================

FORMULA AutoFlight-PT-24a-CTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (F ((1 <= p601)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:664
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (p601 <= 0)
lola: processed formula length: 11
lola: 60 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 52603 markings, 382941 edges, 10521 markings/sec, 0 secs
lola: 99314 markings, 759402 edges, 9342 markings/sec, 5 secs
lola: 146546 markings, 1137262 edges, 9446 markings/sec, 10 secs
lola: 190321 markings, 1511395 edges, 8755 markings/sec, 15 secs
lola: 237335 markings, 1890045 edges, 9403 markings/sec, 20 secs
lola: 280997 markings, 2261112 edges, 8732 markings/sec, 25 secs
lola: 323804 markings, 2631151 edges, 8561 markings/sec, 30 secs
lola: 364958 markings, 3001816 edges, 8231 markings/sec, 35 secs
lola: 407354 markings, 3379443 edges, 8479 markings/sec, 40 secs
lola: 454897 markings, 3769593 edges, 9509 markings/sec, 45 secs
lola: 499440 markings, 4156283 edges, 8909 markings/sec, 50 secs
lola: 543508 markings, 4543922 edges, 8814 markings/sec, 55 secs
lola: 584585 markings, 4925233 edges, 8215 markings/sec, 60 secs
lola: 628960 markings, 5310704 edges, 8875 markings/sec, 65 secs
lola: 669871 markings, 5684203 edges, 8182 markings/sec, 70 secs
lola: 710002 markings, 6058784 edges, 8026 markings/sec, 75 secs
lola: 748610 markings, 6428178 edges, 7722 markings/sec, 80 secs
lola: 785243 markings, 6801043 edges, 7327 markings/sec, 85 secs
lola: 832526 markings, 7179903 edges, 9457 markings/sec, 90 secs
lola: 875968 markings, 7550212 edges, 8688 markings/sec, 95 secs
lola: 919215 markings, 7922980 edges, 8649 markings/sec, 100 secs
lola: 959237 markings, 8287864 edges, 8004 markings/sec, 105 secs
lola: 999976 markings, 8655262 edges, 8148 markings/sec, 110 secs
lola: 1042077 markings, 9028759 edges, 8420 markings/sec, 115 secs
lola: 1080937 markings, 9399107 edges, 7772 markings/sec, 120 secs
lola: 1121727 markings, 9772561 edges, 8158 markings/sec, 125 secs
lola: 1159238 markings, 10139201 edges, 7502 markings/sec, 130 secs
lola: 1200052 markings, 10520218 edges, 8163 markings/sec, 135 secs
lola: 1244375 markings, 10915123 edges, 8865 markings/sec, 140 secs
lola: 1285158 markings, 11298752 edges, 8157 markings/sec, 145 secs
lola: 1326493 markings, 11690609 edges, 8267 markings/sec, 150 secs
lola: 1366130 markings, 12079134 edges, 7927 markings/sec, 155 secs
lola: 1407569 markings, 12470780 edges, 8288 markings/sec, 160 secs
lola: 1447716 markings, 12860773 edges, 8029 markings/sec, 165 secs
lola: 1486287 markings, 13248049 edges, 7714 markings/sec, 170 secs
lola: 1524192 markings, 13635116 edges, 7581 markings/sec, 175 secs
lola: 1560282 markings, 14012288 edges, 7218 markings/sec, 180 secs
lola: 1603713 markings, 14391809 edges, 8686 markings/sec, 185 secs
lola: 1647988 markings, 14763918 edges, 8855 markings/sec, 190 secs
lola: 1690714 markings, 15133053 edges, 8545 markings/sec, 195 secs
lola: 1732170 markings, 15502445 edges, 8291 markings/sec, 200 secs
lola: 1771089 markings, 15870667 edges, 7784 markings/sec, 205 secs
lola: 1814466 markings, 16243766 edges, 8675 markings/sec, 210 secs
lola: 1854546 markings, 16611034 edges, 8016 markings/sec, 215 secs
lola: 1893066 markings, 16970870 edges, 7704 markings/sec, 220 secs
lola: 1931153 markings, 17334879 edges, 7617 markings/sec, 225 secs
lola: 1967035 markings, 17700734 edges, 7176 markings/sec, 230 secs
lola: 2013034 markings, 18097674 edges, 9200 markings/sec, 235 secs
lola: 2055306 markings, 18486033 edges, 8454 markings/sec, 240 secs
lola: 2097267 markings, 18875041 edges, 8392 markings/sec, 245 secs
lola: 2137100 markings, 19263810 edges, 7967 markings/sec, 250 secs
lola: 2176961 markings, 19652390 edges, 7972 markings/sec, 255 secs
lola: 2217800 markings, 20041310 edges, 8168 markings/sec, 260 secs
lola: 2256283 markings, 20426600 edges, 7697 markings/sec, 265 secs
lola: 2295255 markings, 20811783 edges, 7794 markings/sec, 270 secs
lola: 2332091 markings, 21194743 edges, 7367 markings/sec, 275 secs
lola: 2369189 markings, 21572391 edges, 7420 markings/sec, 280 secs
lola: 2410661 markings, 21938481 edges, 8294 markings/sec, 285 secs
lola: 2450223 markings, 22303587 edges, 7912 markings/sec, 290 secs
lola: 2489415 markings, 22666123 edges, 7838 markings/sec, 295 secs
lola: 2527101 markings, 23031411 edges, 7537 markings/sec, 300 secs
lola: 2563669 markings, 23395113 edges, 7314 markings/sec, 305 secs
lola: 2602568 markings, 23762016 edges, 7780 markings/sec, 310 secs
lola: 2639846 markings, 24126754 edges, 7456 markings/sec, 315 secs
lola: 2675874 markings, 24486982 edges, 7206 markings/sec, 320 secs
lola: 2710869 markings, 24844533 edges, 6999 markings/sec, 325 secs
lola: 2744151 markings, 25199031 edges, 6656 markings/sec, 330 secs
lola: 2783382 markings, 25574195 edges, 7846 markings/sec, 335 secs
lola: 2822460 markings, 25952378 edges, 7816 markings/sec, 340 secs
lola: 2859735 markings, 26327551 edges, 7455 markings/sec, 345 secs
lola: 2897664 markings, 26711511 edges, 7586 markings/sec, 350 secs
lola: 2934193 markings, 27092897 edges, 7306 markings/sec, 355 secs
lola: 2971441 markings, 27475490 edges, 7450 markings/sec, 360 secs
lola: 3008662 markings, 27855989 edges, 7444 markings/sec, 365 secs
lola: 3043302 markings, 28228850 edges, 6928 markings/sec, 370 secs
lola: 3078694 markings, 28601134 edges, 7078 markings/sec, 375 secs
lola: 3113035 markings, 28978185 edges, 6868 markings/sec, 380 secs
lola: 3145186 markings, 29352156 edges, 6430 markings/sec, 385 secs
lola: 3192399 markings, 29729209 edges, 9443 markings/sec, 390 secs
lola: 3235410 markings, 30095858 edges, 8602 markings/sec, 395 secs
lola: 3278800 markings, 30469970 edges, 8678 markings/sec, 400 secs
lola: 3319318 markings, 30839028 edges, 8104 markings/sec, 405 secs
lola: 3359198 markings, 31198924 edges, 7976 markings/sec, 410 secs
lola: 3400197 markings, 31562582 edges, 8200 markings/sec, 415 secs
lola: 3438481 markings, 31924666 edges, 7657 markings/sec, 420 secs
lola: 3478498 markings, 32292866 edges, 8003 markings/sec, 425 secs
lola: 3515913 markings, 32658543 edges, 7483 markings/sec, 430 secs
lola: 3554349 markings, 33021897 edges, 7687 markings/sec, 435 secs
lola: 3596968 markings, 33399086 edges, 8524 markings/sec, 440 secs
lola: 3636831 markings, 33778409 edges, 7973 markings/sec, 445 secs
lola: 3678781 markings, 34163325 edges, 8390 markings/sec, 450 secs
lola: 3717363 markings, 34541223 edges, 7716 markings/sec, 455 secs
lola: 3757093 markings, 34924403 edges, 7946 markings/sec, 460 secs
lola: 3797034 markings, 35307432 edges, 7988 markings/sec, 465 secs
lola: 3834073 markings, 35685599 edges, 7408 markings/sec, 470 secs
lola: 3873320 markings, 36069849 edges, 7849 markings/sec, 475 secs
lola: 3909241 markings, 36445375 edges, 7184 markings/sec, 480 secs
lola: 3947434 markings, 36821750 edges, 7639 markings/sec, 485 secs
lola: 3988474 markings, 37185110 edges, 8208 markings/sec, 490 secs
lola: 4026997 markings, 37547239 edges, 7705 markings/sec, 495 secs
lola: 4066289 markings, 37909280 edges, 7858 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes unknown no no yes no unknown unknown yes unknown yes unknown unknown no
lola: memory consumption: 549792 KB
lola: time consumption: 511 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no unknown yes unknown no no yes no unknown unknown yes unknown yes unknown unknown no
lola: memory consumption: 552480 KB
lola: time consumption: 513 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 505 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F ((p580 + 1 <= p107)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:626
lola: processed formula: (p580 + 1 <= p107)
lola: processed formula length: 18
lola: 59 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEF
lola: The predicate is reachable from some successor.
lola: 41002 markings, 208802 edges
lola: ========================================

FORMULA AutoFlight-PT-24a-CTLCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 605 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= p326)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((1 <= p326)))
lola: processed formula length: 19
lola: 59 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (1 <= p326)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 62 markings, 61 edges
lola: ========================================

FORMULA AutoFlight-PT-24a-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 757 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p409 <= p563) AND ((p271 <= p5))) OR (p195 <= p412))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((((p409 <= p563) AND ((p271 <= p5))) OR (p195 <= p412))))
lola: processed formula length: 64
lola: 60 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((p563 + 1 <= p409) OR ((p5 + 1 <= p271))) AND (p412 + 1 <= p195))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to AutoFlight-PT-24a-CTLCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file AutoFlight-PT-24a-CTLCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================

FORMULA AutoFlight-PT-24a-CTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1009 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p360 <= p524) U ((1 <= p307) AND (p71 + 1 <= p250))))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (((p360 <= p524) U ((1 <= p307) AND (p71 + 1 <= p250))))
lola: processed formula length: 58
lola: 62 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 77 markings, 76 edges
lola: ========================================

FORMULA AutoFlight-PT-24a-CTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((p109 + 1 <= p93))) AND A (F ((p411 + 1 <= p428))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p411 + 1 <= p428)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (p428 <= p411)
lola: processed formula length: 14
lola: 60 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 78 markings, 77 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA AutoFlight-PT-24a-CTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3029 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (((p270 <= p43) U (1 <= p499))) OR (((p427 + 1 <= p558)) AND ((p335 <= 0) OR (p471 <= 0)))) AND (A (F (((p589 <= p405)))) AND (p184 <= p18)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 3029 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p427 + 1 <= p558)) AND ((p335 <= 0) OR (p471 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((p427 + 1 <= p558)) AND ((p335 <= 0) OR (p471 <= 0)))
lola: processed formula length: 56
lola: 58 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: processed formula with 3 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((p589 <= p405))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: ((p405 + 1 <= p589))
lola: processed formula length: 20
lola: 60 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p270 <= p43) U (1 <= p499)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (((p270 <= p43) U (1 <= p499)))
lola: processed formula length: 33
lola: 62 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 77 markings, 76 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================

FORMULA AutoFlight-PT-24a-CTLCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (X (A (F ((1 <= p601)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:664
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (p601 <= 0)
lola: processed formula length: 11
lola: 60 rewrites
lola: closed formula file AutoFlight-PT-24a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 52430 markings, 381824 edges, 10486 markings/sec, 0 secs
lola: 99141 markings, 758371 edges, 9342 markings/sec, 5 secs
lola: 146202 markings, 1134062 edges, 9412 markings/sec, 10 secs
lola: 189865 markings, 1506897 edges, 8733 markings/sec, 15 secs
lola: 236482 markings, 1883070 edges, 9323 markings/sec, 20 secs
lola: 280612 markings, 2257466 edges, 8826 markings/sec, 25 secs
lola: 323886 markings, 2631840 edges, 8655 markings/sec, 30 secs
lola: 365153 markings, 3003735 edges, 8253 markings/sec, 35 secs
lola: 406997 markings, 3376869 edges, 8369 markings/sec, 40 secs
lola: 454067 markings, 3762257 edges, 9414 markings/sec, 45 secs
lola: 497685 markings, 4142814 edges, 8724 markings/sec, 50 secs
lola: 541088 markings, 4524542 edges, 8681 markings/sec, 55 secs
lola: 582446 markings, 4903750 edges, 8272 markings/sec, 60 secs
lola: 626174 markings, 5286264 edges, 8746 markings/sec, 65 secs
lola: 668007 markings, 5666335 edges, 8367 markings/sec, 70 secs
lola: 708522 markings, 6044493 edges, 8103 markings/sec, 75 secs
lola: 748070 markings, 6422926 edges, 7910 markings/sec, 80 secs
lola: 784861 markings, 6796811 edges, 7358 markings/sec, 85 secs
lola: 831412 markings, 7169682 edges, 9310 markings/sec, 90 secs
lola: 874863 markings, 7540229 edges, 8690 markings/sec, 95 secs
lola: 917561 markings, 7908097 edges, 8540 markings/sec, 100 secs
lola: 957796 markings, 8274424 edges, 8047 markings/sec, 105 secs
lola: 998514 markings, 8643014 edges, 8144 markings/sec, 110 secs
lola: 1040668 markings, 9016108 edges, 8431 markings/sec, 115 secs
lola: 1079312 markings, 9381586 edges, 7729 markings/sec, 120 secs
lola: 1118579 markings, 9742937 edges, 7853 markings/sec, 125 secs
lola: 1155334 markings, 10102492 edges, 7351 markings/sec, 130 secs
lola: 1194083 markings, 10469132 edges, 7750 markings/sec, 135 secs
lola: 1238416 markings, 10861392 edges, 8867 markings/sec, 140 secs
lola: 1278828 markings, 11245476 edges, 8082 markings/sec, 145 secs
lola: 1320398 markings, 11628056 edges, 8314 markings/sec, 150 secs
lola: 1358799 markings, 12003779 edges, 7680 markings/sec, 155 secs
lola: 1398703 markings, 12388513 edges, 7981 markings/sec, 160 secs
lola: 1438974 markings, 12773974 edges, 8054 markings/sec, 165 secs
lola: 1476401 markings, 13154851 edges, 7485 markings/sec, 170 secs
lola: 1514753 markings, 13533133 edges, 7670 markings/sec, 175 secs
lola: 1550954 markings, 13911174 edges, 7240 markings/sec, 180 secs
lola: 1590980 markings, 14289702 edges, 8005 markings/sec, 185 secs
lola: 1636161 markings, 14661097 edges, 9036 markings/sec, 190 secs
lola: 1677292 markings, 15021390 edges, 8226 markings/sec, 195 secs
lola: 1719286 markings, 15389481 edges, 8399 markings/sec, 200 secs
lola: 1759160 markings, 15754183 edges, 7975 markings/sec, 205 secs
lola: 1801241 markings, 16123721 edges, 8416 markings/sec, 210 secs
lola: 1840935 markings, 16483229 edges, 7939 markings/sec, 215 secs
lola: 1879160 markings, 16841426 edges, 7645 markings/sec, 220 secs
lola: 1916671 markings, 17199610 edges, 7502 markings/sec, 225 secs
lola: 1953134 markings, 17555592 edges, 7293 markings/sec, 230 secs
lola: 1994758 markings, 17931977 edges, 8325 markings/sec, 235 secs
lola: 2037575 markings, 18318571 edges, 8563 markings/sec, 240 secs
lola: 2077881 markings, 18695369 edges, 8061 markings/sec, 245 secs
lola: 2118204 markings, 19078763 edges, 8065 markings/sec, 250 secs
lola: 2155970 markings, 19454998 edges, 7553 markings/sec, 255 secs
lola: 2197372 markings, 19842740 edges, 8280 markings/sec, 260 secs
lola: 2236633 markings, 20227418 edges, 7852 markings/sec, 265 secs
lola: 2275016 markings, 20609832 edges, 7677 markings/sec, 270 secs
lola: 2312390 markings, 20991440 edges, 7475 markings/sec, 275 secs
lola: 2348359 markings, 21369793 edges, 7194 markings/sec, 280 secs
lola: 2388916 markings, 21741214 edges, 8111 markings/sec, 285 secs
lola: 2429438 markings, 22106502 edges, 8104 markings/sec, 290 secs
lola: 2468127 markings, 22469487 edges, 7738 markings/sec, 295 secs
lola: 2506183 markings, 22832181 edges, 7611 markings/sec, 300 secs
lola: 2542982 markings, 23191944 edges, 7360 markings/sec, 305 secs
lola: 2580987 markings, 23555537 edges, 7601 markings/sec, 310 secs
lola: 2619088 markings, 23919476 edges, 7620 markings/sec, 315 secs
lola: 2653723 markings, 24274561 edges, 6927 markings/sec, 320 secs
lola: 2690845 markings, 24638279 edges, 7424 markings/sec, 325 secs
lola: 2725466 markings, 24997538 edges, 6924 markings/sec, 330 secs
lola: 2760162 markings, 25360158 edges, 6939 markings/sec, 335 secs
lola: 2800519 markings, 25742263 edges, 8071 markings/sec, 340 secs
lola: 2839314 markings, 26122979 edges, 7759 markings/sec, 345 secs
lola: 2876513 markings, 26494113 edges, 7440 markings/sec, 350 secs
lola: 2912765 markings, 26865751 edges, 7250 markings/sec, 355 secs
lola: 2946728 markings, 27233191 edges, 6793 markings/sec, 360 secs
lola: 2985235 markings, 27614409 edges, 7701 markings/sec, 365 secs
lola: 3021637 markings, 27993533 edges, 7280 markings/sec, 370 secs
lola: 3056706 markings, 28369116 edges, 7014 markings/sec, 375 secs
lola: 3091788 markings, 28745576 edges, 7016 markings/sec, 380 secs
lola: 3125546 markings, 29119992 edges, 6752 markings/sec, 385 secs
lola: 3163051 markings, 29487438 edges, 7501 markings/sec, 390 secs
lola: 3207244 markings, 29851836 edges, 8839 markings/sec, 395 secs
lola: 3248690 markings, 30213618 edges, 8289 markings/sec, 400 secs
lola: 3289923 markings, 30572078 edges, 8247 markings/sec, 405 secs
lola: 3328840 markings, 30927966 edges, 7783 markings/sec, 410 secs
lola: 3370385 markings, 31296120 edges, 8309 markings/sec, 415 secs
lola: 3411610 markings, 31666562 edges, 8245 markings/sec, 420 secs
lola: 3450867 markings, 32034971 edges, 7851 markings/sec, 425 secs
lola: 3489088 markings, 32399048 edges, 7644 markings/sec, 430 secs
lola: 3525902 markings, 32758908 edges, 7363 markings/sec, 435 secs
lola: 3568120 markings, 33140694 edges, 8444 markings/sec, 440 secs
lola: 3611161 markings, 33530087 edges, 8608 markings/sec, 445 secs
lola: 3652692 markings, 33917222 edges, 8306 markings/sec, 450 secs
lola: 3693071 markings, 34301875 edges, 8076 markings/sec, 455 secs
lola: 3730389 markings, 34675833 edges, 7464 markings/sec, 460 secs
lola: 3771407 markings, 35058733 edges, 8204 markings/sec, 465 secs
lola: 3810509 markings, 35440793 edges, 7820 markings/sec, 470 secs
lola: 3849004 markings, 35824978 edges, 7699 markings/sec, 475 secs
lola: 3886486 markings, 36207762 edges, 7496 markings/sec, 480 secs
lola: 3921722 markings, 36579472 edges, 7047 markings/sec, 485 secs
lola: 3961913 markings, 36946697 edges, 8038 markings/sec, 490 secs
lola: 4002069 markings, 37308651 edges, 8031 markings/sec, 495 secs
lola: 4041190 markings, 37675780 edges, 7824 markings/sec, 500 secs
lola: 4079373 markings, 38040210 edges, 7637 markings/sec, 505 secs
lola: 4116183 markings, 38400071 edges, 7362 markings/sec, 510 secs
lola: 4154548 markings, 38765738 edges, 7673 markings/sec, 515 secs
lola: 4192909 markings, 39132933 edges, 7672 markings/sec, 520 secs
lola: 4228478 markings, 39496576 edges, 7114 markings/sec, 525 secs
lola: 4265306 markings, 39858464 edges, 7366 markings/sec, 530 secs
lola: 4298933 markings, 40208571 edges, 6725 markings/sec, 535 secs
lola: 4333970 markings, 40572739 edges, 7007 markings/sec, 540 secs
lola: 4374348 markings, 40957266 edges, 8076 markings/sec, 545 secs
lola: 4413501 markings, 41340415 edges, 7831 markings/sec, 550 secs
lola: 4451779 markings, 41721439 edges, 7656 markings/sec, 555 secs
lola: 4488681 markings, 42100940 edges, 7380 markings/sec, 560 secs
lola: 4522183 markings, 42468441 edges, 6700 markings/sec, 565 secs
lola: 4561136 markings, 42849622 edges, 7791 markings/sec, 570 secs
lola: 4596268 markings, 43217420 edges, 7026 markings/sec, 575 secs
lola: 4631450 markings, 43592866 edges, 7036 markings/sec, 580 secs
lola: 4666307 markings, 43969165 edges, 6971 markings/sec, 585 secs
lola: 4699263 markings, 44334065 edges, 6591 markings/sec, 590 secs
lola: 4735481 markings, 44699619 edges, 7244 markings/sec, 595 secs
lola: 4776903 markings, 45067208 edges, 8284 markings/sec, 600 secs
lola: 4815260 markings, 45430630 edges, 7671 markings/sec, 605 secs
lola: 4854760 markings, 45793346 edges, 7900 markings/sec, 610 secs
lola: 4891540 markings, 46153058 edges, 7356 markings/sec, 615 secs
lola: 4928514 markings, 46513836 edges, 7395 markings/sec, 620 secs
lola: 4966740 markings, 46878016 edges, 7645 markings/sec, 625 secs
lola: 5003511 markings, 47240607 edges, 7354 markings/sec, 630 secs
lola: 5039056 markings, 47595374 edges, 7109 markings/sec, 635 secs
lola: 5073277 markings, 47945249 edges, 6844 markings/sec, 640 secs
lola: 5105597 markings, 48292409 edges, 6464 markings/sec, 645 secs
lola: 5144674 markings, 48661000 edges, 7815 markings/sec, 650 secs
lola: 5182785 markings, 49031732 edges, 7622 markings/sec, 655 secs
lola: 5219632 markings, 49402066 edges, 7369 markings/sec, 660 secs
lola: 5256474 markings, 49774950 edges, 7368 markings/sec, 665 secs
lola: 5292422 markings, 50149807 edges, 7190 markings/sec, 670 secs
lola: 5328301 markings, 50519157 edges, 7176 markings/sec, 675 secs
lola: 5364831 markings, 50892633 edges, 7306 markings/sec, 680 secs
lola: 5399982 markings, 51268004 edges, 7030 markings/sec, 685 secs
lola: 5435655 markings, 51644727 edges, 7135 markings/sec, 690 secs
lola: 5469767 markings, 52018975 edges, 6822 markings/sec, 695 secs
lola: 5501748 markings, 52386590 edges, 6396 markings/sec, 700 secs
lola: 5539356 markings, 52738412 edges, 7522 markings/sec, 705 secs
lola: 5575406 markings, 53088782 edges, 7210 markings/sec, 710 secs
lola: 5609772 markings, 53436436 edges, 6873 markings/sec, 715 secs
lola: 5644765 markings, 53785163 edges, 6999 markings/sec, 720 secs
lola: 5677826 markings, 54131244 edges, 6612 markings/sec, 725 secs
lola: 5711337 markings, 54482846 edges, 6702 markings/sec, 730 secs
lola: 5745788 markings, 54829910 edges, 6890 markings/sec, 735 secs
lola: 5779093 markings, 55177113 edges, 6661 markings/sec, 740 secs
lola: 5811520 markings, 55525088 edges, 6485 markings/sec, 745 secs
lola: 5843635 markings, 55870093 edges, 6423 markings/sec, 750 secs
lola: 5874552 markings, 56213752 edges, 6183 markings/sec, 755 secs
lola: 5905918 markings, 56560658 edges, 6273 markings/sec, 760 secs
lola: 5943051 markings, 56934077 edges, 7427 markings/sec, 765 secs
lola: 5978992 markings, 57309340 edges, 7188 markings/sec, 770 secs
lola: 6013969 markings, 57682311 edges, 6995 markings/sec, 775 secs
lola: 6047970 markings, 58053862 edges, 6800 markings/sec, 780 secs
lola: 6081017 markings, 58422104 edges, 6609 markings/sec, 785 secs
lola: 6115259 markings, 58795536 edges, 6848 markings/sec, 790 secs
lola: 6149486 markings, 59168954 edges, 6845 markings/sec, 795 secs
lola: 6182460 markings, 59540140 edges, 6595 markings/sec, 800 secs
lola: 6215515 markings, 59913237 edges, 6611 markings/sec, 805 secs
lola: 6247645 markings, 60284983 edges, 6426 markings/sec, 810 secs
lola: 6278535 markings, 60652662 edges, 6178 markings/sec, 815 secs
lola: 6318882 markings, 61026024 edges, 8069 markings/sec, 820 secs
lola: 6362896 markings, 61393080 edges, 8803 markings/sec, 825 secs
lola: 6405212 markings, 61759799 edges, 8463 markings/sec, 830 secs
lola: 6445548 markings, 62117194 edges, 8067 markings/sec, 835 secs
lola: 6484244 markings, 62480066 edges, 7739 markings/sec, 840 secs
lola: 6526661 markings, 62846609 edges, 8483 markings/sec, 845 secs
lola: 6566944 markings, 63213444 edges, 8057 markings/sec, 850 secs
lola: 6606017 markings, 63578157 edges, 7815 markings/sec, 855 secs
lola: 6643948 markings, 63940424 edges, 7586 markings/sec, 860 secs
lola: 6678462 markings, 64287366 edges, 6903 markings/sec, 865 secs
lola: 6722314 markings, 64673432 edges, 8770 markings/sec, 870 secs
lola: 6765012 markings, 65062330 edges, 8540 markings/sec, 875 secs
lola: 6806414 markings, 65449769 edges, 8280 markings/sec, 880 secs
lola: 6846700 markings, 65834833 edges, 8057 markings/sec, 885 secs
lola: 6883833 markings, 66210901 edges, 7427 markings/sec, 890 secs
lola: 6925414 markings, 66596758 edges, 8316 markings/sec, 895 secs
lola: 6964248 markings, 66977494 edges, 7767 markings/sec, 900 secs
lola: 7001407 markings, 67349015 edges, 7432 markings/sec, 905 secs
lola: 7038424 markings, 67727392 edges, 7403 markings/sec, 910 secs
lola: 7073344 markings, 68102895 edges, 6984 markings/sec, 915 secs
lola: 7115202 markings, 68471836 edges, 8372 markings/sec, 920 secs
lola: 7155682 markings, 68839426 edges, 8096 markings/sec, 925 secs
lola: 7194025 markings, 69197417 edges, 7669 markings/sec, 930 secs
lola: 7231375 markings, 69554512 edges, 7470 markings/sec, 935 secs
lola: 7267451 markings, 69914101 edges, 7215 markings/sec, 940 secs
lola: 7305202 markings, 70268248 edges, 7550 markings/sec, 945 secs
lola: 7342611 markings, 70629647 edges, 7482 markings/sec, 950 secs
lola: 7378265 markings, 70990727 edges, 7131 markings/sec, 955 secs
lola: 7414514 markings, 71351729 edges, 7250 markings/sec, 960 secs
lola: 7448822 markings, 71710094 edges, 6862 markings/sec, 965 secs
lola: 7483915 markings, 72068691 edges, 7019 markings/sec, 970 secs
lola: 7524344 markings, 72452317 edges, 8086 markings/sec, 975 secs
lola: 7561646 markings, 72822859 edges, 7460 markings/sec, 980 secs
lola: 7599879 markings, 73202465 edges, 7647 markings/sec, 985 secs
lola: 7636614 markings, 73581728 edges, 7347 markings/sec, 990 secs
lola: 7671186 markings, 73954186 edges, 6914 markings/sec, 995 secs
lola: 7708987 markings, 74328911 edges, 7560 markings/sec, 1000 secs
lola: 7744148 markings, 74696286 edges, 7032 markings/sec, 1005 secs
lola: 7778287 markings, 75062515 edges, 6828 markings/sec, 1010 secs
lola: 7812180 markings, 75428265 edges, 6779 markings/sec, 1015 secs
lola: 7845103 markings, 75792646 edges, 6585 markings/sec, 1020 secs
lola: 7880968 markings, 76154710 edges, 7173 markings/sec, 1025 secs
lola: 7921876 markings, 76517516 edges, 8182 markings/sec, 1030 secs
lola: 7960369 markings, 76881421 edges, 7699 markings/sec, 1035 secs
lola: 7999793 markings, 77244461 edges, 7885 markings/sec, 1040 secs
lola: 8036531 markings, 77603869 edges, 7348 markings/sec, 1045 secs
lola: 8073223 markings, 77962797 edges, 7338 markings/sec, 1050 secs
lola: 8111105 markings, 78323365 edges, 7576 markings/sec, 1055 secs
lola: 8147774 markings, 78683290 edges, 7334 markings/sec, 1060 secs
lola: 8183582 markings, 79041384 edges, 7162 markings/sec, 1065 secs
lola: 8218658 markings, 79398802 edges, 7015 markings/sec, 1070 secs
lola: 8251677 markings, 79753594 edges, 6604 markings/sec, 1075 secs
lola: 8291907 markings, 80132818 edges, 8046 markings/sec, 1080 secs
lola: 8330775 markings, 80512971 edges, 7774 markings/sec, 1085 secs
lola: 8368494 markings, 80890442 edges, 7544 markings/sec, 1090 secs
lola: 8405550 markings, 81268944 edges, 7411 markings/sec, 1095 secs
lola: 8441434 markings, 81643868 edges, 7177 markings/sec, 1100 secs
lola: 8477873 markings, 82016375 edges, 7288 markings/sec, 1105 secs
lola: 8513660 markings, 82381652 edges, 7157 markings/sec, 1110 secs
lola: 8547481 markings, 82745245 edges, 6764 markings/sec, 1115 secs
lola: 8582376 markings, 83112663 edges, 6979 markings/sec, 1120 secs
lola: 8615781 markings, 83479176 edges, 6681 markings/sec, 1125 secs
lola: 8647702 markings, 83846851 edges, 6384 markings/sec, 1130 secs
lola: 8686438 markings, 84209052 edges, 7747 markings/sec, 1135 secs
lola: 8723282 markings, 84568466 edges, 7369 markings/sec, 1140 secs
lola: 8758893 markings, 84925557 edges, 7122 markings/sec, 1145 secs
lola: 8794308 markings, 85283106 edges, 7083 markings/sec, 1150 secs
lola: 8828032 markings, 85634668 edges, 6745 markings/sec, 1155 secs
lola: 8861239 markings, 85980768 edges, 6641 markings/sec, 1160 secs
lola: 8895790 markings, 86334432 edges, 6910 markings/sec, 1165 secs
lola: 8929955 markings, 86689255 edges, 6833 markings/sec, 1170 secs
lola: 8963127 markings, 87042870 edges, 6634 markings/sec, 1175 secs
lola: 8995036 markings, 87393776 edges, 6382 markings/sec, 1180 secs
lola: 9026915 markings, 87744629 edges, 6376 markings/sec, 1185 secs
lola: 9060512 markings, 88103419 edges, 6719 markings/sec, 1190 secs
lola: 9095804 markings, 88465026 edges, 7058 markings/sec, 1195 secs
lola: 9130302 markings, 88828457 edges, 6900 markings/sec, 1200 secs
lola: 9164642 markings, 89193000 edges, 6868 markings/sec, 1205 secs
lola: 9198541 markings, 89562157 edges, 6780 markings/sec, 1210 secs
lola: 9231064 markings, 89929626 edges, 6505 markings/sec, 1215 secs
lola: 9265185 markings, 90300220 edges, 6824 markings/sec, 1220 secs
lola: 9299127 markings, 90668387 edges, 6788 markings/sec, 1225 secs
lola: 9331402 markings, 91034855 edges, 6455 markings/sec, 1230 secs
lola: 9364081 markings, 91403823 edges, 6536 markings/sec, 1235 secs
lola: 9394684 markings, 91757278 edges, 6121 markings/sec, 1240 secs
lola: 9423924 markings, 92105520 edges, 5848 markings/sec, 1245 secs
lola: 9459617 markings, 92458447 edges, 7139 markings/sec, 1250 secs
lola: 9499348 markings, 92812486 edges, 7946 markings/sec, 1255 secs
lola: 9536565 markings, 93167014 edges, 7443 markings/sec, 1260 secs
lola: 9575134 markings, 93520460 edges, 7714 markings/sec, 1265 secs
lola: 9611074 markings, 93871988 edges, 7188 markings/sec, 1270 secs
lola: 9647202 markings, 94224860 edges, 7226 markings/sec, 1275 secs
lola: 9685457 markings, 94589305 edges, 7651 markings/sec, 1280 secs
lola: 9722273 markings, 94952586 edges, 7363 markings/sec, 1285 secs
lola: 9758619 markings, 95314621 edges, 7269 markings/sec, 1290 secs
lola: 9793598 markings, 95674522 edges, 6996 markings/sec, 1295 secs
lola: 9826761 markings, 96031439 edges, 6633 markings/sec, 1300 secs
lola: 9867289 markings, 96411377 edges, 8106 markings/sec, 1305 secs
lola: 9906326 markings, 96791553 edges, 7807 markings/sec, 1310 secs
lola: 9943711 markings, 97165274 edges, 7477 markings/sec, 1315 secs
lola: 9979827 markings, 97534903 edges, 7223 markings/sec, 1320 secs
lola: 10014499 markings, 97899255 edges, 6934 markings/sec, 1325 secs
lola: 10051602 markings, 98279056 edges, 7421 markings/sec, 1330 secs
lola: 10088425 markings, 98655403 edges, 7365 markings/sec, 1335 secs
lola: 10123054 markings, 99029482 edges, 6926 markings/sec, 1340 secs
lola: 10159101 markings, 99407260 edges, 7209 markings/sec, 1345 secs
lola: 10193030 markings, 99781484 edges, 6786 markings/sec, 1350 secs
lola: 10225238 markings, 100151072 edges, 6442 markings/sec, 1355 secs
lola: 10264920 markings, 100516120 edges, 7936 markings/sec, 1360 secs
lola: 10301745 markings, 100876178 edges, 7365 markings/sec, 1365 secs
lola: 10337812 markings, 101237036 edges, 7213 markings/sec, 1370 secs
lola: 10372613 markings, 101594204 edges, 6960 markings/sec, 1375 secs
lola: 10406557 markings, 101949087 edges, 6789 markings/sec, 1380 secs
lola: 10441595 markings, 102307835 edges, 7008 markings/sec, 1385 secs
lola: 10476830 markings, 102667992 edges, 7047 markings/sec, 1390 secs
lola: 10510416 markings, 103025722 edges, 6717 markings/sec, 1395 secs
lola: 10544132 markings, 103384074 edges, 6743 markings/sec, 1400 secs
lola: 10576198 markings, 103733028 edges, 6413 markings/sec, 1405 secs
lola: 10606614 markings, 104077072 edges, 6083 markings/sec, 1410 secs
lola: 10641636 markings, 104441286 edges, 7004 markings/sec, 1415 secs
lola: 10678403 markings, 104817379 edges, 7353 markings/sec, 1420 secs
lola: 10712901 markings, 105190187 edges, 6900 markings/sec, 1425 secs
lola: 10748427 markings, 105561951 edges, 7105 markings/sec, 1430 secs
lola: 10781083 markings, 105921305 edges, 6531 markings/sec, 1435 secs
lola: 10812716 markings, 106289098 edges, 6327 markings/sec, 1440 secs
lola: 10848679 markings, 106664877 edges, 7193 markings/sec, 1445 secs
lola: 10882488 markings, 107037796 edges, 6762 markings/sec, 1450 secs
lola: 10914279 markings, 107405160 edges, 6358 markings/sec, 1455 secs
lola: 10947644 markings, 107777584 edges, 6673 markings/sec, 1460 secs
lola: 10979249 markings, 108147061 edges, 6321 markings/sec, 1465 secs
lola: 11008973 markings, 108512053 edges, 5945 markings/sec, 1470 secs
lola: 11047961 markings, 108872203 edges, 7798 markings/sec, 1475 secs
lola: 11084764 markings, 109232096 edges, 7361 markings/sec, 1480 secs
lola: 11120432 markings, 109589725 edges, 7134 markings/sec, 1485 secs
lola: 11155603 markings, 109946691 edges, 7034 markings/sec, 1490 secs
lola: 11189605 markings, 110300447 edges, 6800 markings/sec, 1495 secs
lola: 11223985 markings, 110655648 edges, 6876 markings/sec, 1500 secs
lola: 11259083 markings, 111015265 edges, 7020 markings/sec, 1505 secs
lola: 11292954 markings, 111372508 edges, 6774 markings/sec, 1510 secs
lola: 11326653 markings, 111730075 edges, 6740 markings/sec, 1515 secs
lola: 11359167 markings, 112084567 edges, 6503 markings/sec, 1520 secs
lola: 11390458 markings, 112436120 edges, 6258 markings/sec, 1525 secs
lola: 11425567 markings, 112803151 edges, 7022 markings/sec, 1530 secs
lola: 11462246 markings, 113178038 edges, 7336 markings/sec, 1535 secs
lola: 11496781 markings, 113549197 edges, 6907 markings/sec, 1540 secs
lola: 11532181 markings, 113922255 edges, 7080 markings/sec, 1545 secs
lola: 11565877 markings, 114291827 edges, 6739 markings/sec, 1550 secs
lola: 11597347 markings, 114654987 edges, 6294 markings/sec, 1555 secs
lola: 11632801 markings, 115027895 edges, 7091 markings/sec, 1560 secs
lola: 11666328 markings, 115396994 edges, 6705 markings/sec, 1565 secs
lola: 11697813 markings, 115763756 edges, 6297 markings/sec, 1570 secs
lola: 11731450 markings, 116135186 edges, 6727 markings/sec, 1575 secs
lola: 11762454 markings, 116497000 edges, 6201 markings/sec, 1580 secs
lola: 11792040 markings, 116856776 edges, 5917 markings/sec, 1585 secs
lola: 11827623 markings, 117216583 edges, 7117 markings/sec, 1590 secs
lola: 11861978 markings, 117570746 edges, 6871 markings/sec, 1595 secs
lola: 11894154 markings, 117923400 edges, 6435 markings/sec, 1600 secs
lola: 11928239 markings, 118277763 edges, 6817 markings/sec, 1605 secs
lola: 11960089 markings, 118628121 edges, 6370 markings/sec, 1610 secs
lola: 11990080 markings, 118974742 edges, 5998 markings/sec, 1615 secs
lola: 12023807 markings, 119330217 edges, 6745 markings/sec, 1620 secs
lola: 12056042 markings, 119683840 edges, 6447 markings/sec, 1625 secs
lola: 12086760 markings, 120035980 edges, 6144 markings/sec, 1630 secs
lola: 12118278 markings, 120388660 edges, 6304 markings/sec, 1635 secs
lola: 12148480 markings, 120738593 edges, 6040 markings/sec, 1640 secs
lola: 12177506 markings, 121086538 edges, 5805 markings/sec, 1645 secs
lola: 12210079 markings, 121447669 edges, 6515 markings/sec, 1650 secs
lola: 12243836 markings, 121815940 edges, 6751 markings/sec, 1655 secs
lola: 12276398 markings, 122182246 edges, 6512 markings/sec, 1660 secs
lola: 12308989 markings, 122549593 edges, 6518 markings/sec, 1665 secs
lola: 12340562 markings, 122915788 edges, 6315 markings/sec, 1670 secs
lola: 12371354 markings, 123279539 edges, 6158 markings/sec, 1675 secs
lola: 12402655 markings, 123643763 edges, 6260 markings/sec, 1680 secs
lola: 12433987 markings, 124007234 edges, 6266 markings/sec, 1685 secs
lola: 12464510 markings, 124364193 edges, 6105 markings/sec, 1690 secs
lola: 12494707 markings, 124728630 edges, 6039 markings/sec, 1695 secs
lola: 12524933 markings, 125091741 edges, 6045 markings/sec, 1700 secs
lola: 12554178 markings, 125453766 edges, 5849 markings/sec, 1705 secs
lola: 12581786 markings, 125812082 edges, 5522 markings/sec, 1710 secs
lola: 12626982 markings, 126175162 edges, 9039 markings/sec, 1715 secs
lola: 12670356 markings, 126544966 edges, 8675 markings/sec, 1720 secs
lola: 12713283 markings, 126914910 edges, 8585 markings/sec, 1725 secs
lola: 12753485 markings, 127279893 edges, 8040 markings/sec, 1730 secs
lola: 12793841 markings, 127646569 edges, 8071 markings/sec, 1735 secs
lola: 12835855 markings, 128018189 edges, 8403 markings/sec, 1740 secs
lola: 12874799 markings, 128384983 edges, 7789 markings/sec, 1745 secs
lola: 12914660 markings, 128752780 edges, 7972 markings/sec, 1750 secs
lola: 12951617 markings, 129114275 edges, 7391 markings/sec, 1755 secs
lola: 12991048 markings, 129486544 edges, 7886 markings/sec, 1760 secs
lola: 13034841 markings, 129874299 edges, 8759 markings/sec, 1765 secs
lola: 13075387 markings, 130259435 edges, 8109 markings/sec, 1770 secs
lola: 13117375 markings, 130646749 edges, 8398 markings/sec, 1775 secs
lola: 13156323 markings, 131027581 edges, 7790 markings/sec, 1780 secs
lola: 13196187 markings, 131411883 edges, 7973 markings/sec, 1785 secs
lola: 13236375 markings, 131795965 edges, 8038 markings/sec, 1790 secs
lola: 13273720 markings, 132175718 edges, 7469 markings/sec, 1795 secs
lola: 13312433 markings, 132558961 edges, 7743 markings/sec, 1800 secs
lola: 13348670 markings, 132937386 edges, 7247 markings/sec, 1805 secs
lola: 13386244 markings, 133304390 edges, 7515 markings/sec, 1810 secs
lola: 13426945 markings, 133665328 edges, 8140 markings/sec, 1815 secs
lola: 13465280 markings, 134027582 edges, 7667 markings/sec, 1820 secs
lola: 13503757 markings, 134381169 edges, 7695 markings/sec, 1825 secs
lola: 13540333 markings, 134737913 edges, 7315 markings/sec, 1830 secs
lola: 13576084 markings, 135089488 edges, 7150 markings/sec, 1835 secs
lola: 13614192 markings, 135452028 edges, 7622 markings/sec, 1840 secs
lola: 13650287 markings, 135804283 edges, 7219 markings/sec, 1845 secs
lola: 13685534 markings, 136156176 edges, 7049 markings/sec, 1850 secs
lola: 13720189 markings, 136510733 edges, 6931 markings/sec, 1855 secs
lola: 13753879 markings, 136868811 edges, 6738 markings/sec, 1860 secs
lola: 13792623 markings, 137239623 edges, 7749 markings/sec, 1865 secs
lola: 13831321 markings, 137613723 edges, 7740 markings/sec, 1870 secs
lola: 13868074 markings, 137984664 edges, 7351 markings/sec, 1875 secs
lola: 13904822 markings, 138353466 edges, 7350 markings/sec, 1880 secs
lola: 13939939 markings, 138719911 edges, 7023 markings/sec, 1885 secs
lola: 13975816 markings, 139091446 edges, 7175 markings/sec, 1890 secs
lola: 14012858 markings, 139470088 edges, 7408 markings/sec, 1895 secs
lola: 14048503 markings, 139847659 edges, 7129 markings/sec, 1900 secs
lola: 14084157 markings, 140226061 edges, 7131 markings/sec, 1905 secs
lola: 14118575 markings, 140602779 edges, 6884 markings/sec, 1910 secs
lola: 14151323 markings, 140976835 edges, 6550 markings/sec, 1915 secs
lola: 14192877 markings, 141346179 edges, 8311 markings/sec, 1920 secs
lola: 14233210 markings, 141712241 edges, 8067 markings/sec, 1925 secs
lola: 14272155 markings, 142075815 edges, 7789 markings/sec, 1930 secs
lola: 14309951 markings, 142436691 edges, 7559 markings/sec, 1935 secs
lola: 14345727 markings, 142794447 edges, 7155 markings/sec, 1940 secs
lola: 14384653 markings, 143158416 edges, 7785 markings/sec, 1945 secs
lola: 14422255 markings, 143523141 edges, 7520 markings/sec, 1950 secs
lola: 14458111 markings, 143884906 edges, 7171 markings/sec, 1955 secs
lola: 14494141 markings, 144246562 edges, 7206 markings/sec, 1960 secs
lola: 14528557 markings, 144605187 edges, 6883 markings/sec, 1965 secs
lola: 14564890 markings, 144971788 edges, 7267 markings/sec, 1970 secs
lola: 14604791 markings, 145352433 edges, 7980 markings/sec, 1975 secs
lola: 14642432 markings, 145729746 edges, 7528 markings/sec, 1980 secs
lola: 14680788 markings, 146108691 edges, 7671 markings/sec, 1985 secs
lola: 14717041 markings, 146484647 edges, 7251 markings/sec, 1990 secs
lola: 14752095 markings, 146858427 edges, 7011 markings/sec, 1995 secs
lola: 14789822 markings, 147236408 edges, 7545 markings/sec, 2000 secs
lola: 14825818 markings, 147612468 edges, 7199 markings/sec, 2005 secs
lola: 14860971 markings, 147987165 edges, 7031 markings/sec, 2010 secs
lola: 14895153 markings, 148360599 edges, 6836 markings/sec, 2015 secs
lola: 14928382 markings, 148730744 edges, 6646 markings/sec, 2020 secs
lola: 14964675 markings, 149096787 edges, 7259 markings/sec, 2025 secs
lola: 15002349 markings, 149457145 edges, 7535 markings/sec, 2030 secs
lola: 15037669 markings, 149815071 edges, 7064 markings/sec, 2035 secs
lola: 15074257 markings, 150174668 edges, 7318 markings/sec, 2040 secs
lola: 15108732 markings, 150531728 edges, 6895 markings/sec, 2045 secs
lola: 15141583 markings, 150887110 edges, 6570 markings/sec, 2050 secs
lola: 15178108 markings, 151247626 edges, 7305 markings/sec, 2055 secs
lola: 15212398 markings, 151606888 edges, 6858 markings/sec, 2060 secs
lola: 15245728 markings, 151962746 edges, 6666 markings/sec, 2065 secs
lola: 15279140 markings, 152319932 edges, 6682 markings/sec, 2070 secs
lola: 15310959 markings, 152674919 edges, 6364 markings/sec, 2075 secs
lola: 15343492 markings, 153033196 edges, 6507 markings/sec, 2080 secs
lola: 15380731 markings, 153408426 edges, 7448 markings/sec, 2085 secs
lola: 15416558 markings, 153782308 edges, 7165 markings/sec, 2090 secs
lola: 15451503 markings, 154155195 edges, 6989 markings/sec, 2095 secs
lola: 15485646 markings, 154527989 edges, 6829 markings/sec, 2100 secs
lola: 15518688 markings, 154896852 edges, 6608 markings/sec, 2105 secs
lola: 15552769 markings, 155268085 edges, 6816 markings/sec, 2110 secs
lola: 15586839 markings, 155639779 edges, 6814 markings/sec, 2115 secs
lola: 15619837 markings, 156011209 edges, 6600 markings/sec, 2120 secs
lola: 15652824 markings, 156383626 edges, 6597 markings/sec, 2125 secs
lola: 15684887 markings, 156754655 edges, 6413 markings/sec, 2130 secs
lola: 15715755 markings, 157122115 edges, 6174 markings/sec, 2135 secs
lola: 15753241 markings, 157490919 edges, 7497 markings/sec, 2140 secs
lola: 15794766 markings, 157859602 edges, 8305 markings/sec, 2145 secs
lola: 15833522 markings, 158225307 edges, 7751 markings/sec, 2150 secs
lola: 15872440 markings, 158590296 edges, 7784 markings/sec, 2155 secs
lola: 15909437 markings, 158952125 edges, 7399 markings/sec, 2160 secs
lola: 15947413 markings, 159317494 edges, 7595 markings/sec, 2165 secs
lola: 15985765 markings, 159684491 edges, 7670 markings/sec, 2170 secs
lola: 16021623 markings, 160048658 edges, 7172 markings/sec, 2175 secs
lola: 16058762 markings, 160413364 edges, 7428 markings/sec, 2180 secs
lola: 16093633 markings, 160775177 edges, 6974 markings/sec, 2185 secs
lola: 16127992 markings, 161138114 edges, 6872 markings/sec, 2190 secs
lola: 16168928 markings, 161522920 edges, 8187 markings/sec, 2195 secs
lola: 16207717 markings, 161904278 edges, 7758 markings/sec, 2200 secs
lola: 16245868 markings, 162284804 edges, 7630 markings/sec, 2205 secs
lola: 16282907 markings, 162664116 edges, 7408 markings/sec, 2210 secs
lola: 16317369 markings, 163039217 edges, 6892 markings/sec, 2215 secs
lola: 16356256 markings, 163422248 edges, 7777 markings/sec, 2220 secs
lola: 16392639 markings, 163802683 edges, 7277 markings/sec, 2225 secs
lola: 16428008 markings, 164179936 edges, 7074 markings/sec, 2230 secs
lola: 16463040 markings, 164558360 edges, 7006 markings/sec, 2235 secs
lola: 16496894 markings, 164933710 edges, 6771 markings/sec, 2240 secs
lola: 16532784 markings, 165304834 edges, 7178 markings/sec, 2245 secs
lola: 16570807 markings, 165668060 edges, 7605 markings/sec, 2250 secs
lola: 16606885 markings, 166028823 edges, 7216 markings/sec, 2255 secs
lola: 16643301 markings, 166388988 edges, 7283 markings/sec, 2260 secs
lola: 16677855 markings, 166745215 edges, 6911 markings/sec, 2265 secs
lola: 16710266 markings, 167098725 edges, 6482 markings/sec, 2270 secs
lola: 16747202 markings, 167461841 edges, 7387 markings/sec, 2275 secs
lola: 16782157 markings, 167824771 edges, 6991 markings/sec, 2280 secs
lola: 16815475 markings, 168184517 edges, 6664 markings/sec, 2285 secs
lola: 16849393 markings, 168543797 edges, 6784 markings/sec, 2290 secs
lola: 16881697 markings, 168901865 edges, 6461 markings/sec, 2295 secs
lola: 16913680 markings, 169261264 edges, 6397 markings/sec, 2300 secs
lola: 16951393 markings, 169638386 edges, 7543 markings/sec, 2305 secs
lola: 16987520 markings, 170015092 edges, 7225 markings/sec, 2310 secs
lola: 17022693 markings, 170390259 edges, 7035 markings/sec, 2315 secs
lola: 17056932 markings, 170764828 edges, 6848 markings/sec, 2320 secs
lola: 17090437 markings, 171136477 edges, 6701 markings/sec, 2325 secs
lola: 17124679 markings, 171510757 edges, 6848 markings/sec, 2330 secs
lola: 17159088 markings, 171885976 edges, 6882 markings/sec, 2335 secs
lola: 17192314 markings, 172259726 edges, 6645 markings/sec, 2340 secs
lola: 17225435 markings, 172633611 edges, 6624 markings/sec, 2345 secs
lola: 17257153 markings, 173000741 edges, 6344 markings/sec, 2350 secs
lola: 17288290 markings, 173370736 edges, 6227 markings/sec, 2355 secs
lola: 17323798 markings, 173736714 edges, 7102 markings/sec, 2360 secs
lola: 17361472 markings, 174097084 edges, 7535 markings/sec, 2365 secs
lola: 17396860 markings, 174455570 edges, 7078 markings/sec, 2370 secs
lola: 17433442 markings, 174814968 edges, 7316 markings/sec, 2375 secs
lola: 17467803 markings, 175171019 edges, 6872 markings/sec, 2380 secs
lola: 17500466 markings, 175524890 edges, 6533 markings/sec, 2385 secs
lola: 17537080 markings, 175885800 edges, 7323 markings/sec, 2390 secs
lola: 17571535 markings, 176246543 edges, 6891 markings/sec, 2395 secs
lola: 17605061 markings, 176604657 edges, 6705 markings/sec, 2400 secs
lola: 17638399 markings, 176961037 edges, 6668 markings/sec, 2405 secs
lola: 17670060 markings, 177314110 edges, 6332 markings/sec, 2410 secs
lola: 17702455 markings, 177671763 edges, 6479 markings/sec, 2415 secs
lola: 17739972 markings, 178049324 edges, 7503 markings/sec, 2420 secs
lola: 17775777 markings, 178423036 edges, 7161 markings/sec, 2425 secs
lola: 17810735 markings, 178796029 edges, 6992 markings/sec, 2430 secs
lola: 17844716 markings, 179167104 edges, 6796 markings/sec, 2435 secs
lola: 17877793 markings, 179536123 edges, 6615 markings/sec, 2440 secs
lola: 17911983 markings, 179908735 edges, 6838 markings/sec, 2445 secs
lola: 17946057 markings, 180280444 edges, 6815 markings/sec, 2450 secs
lola: 17978932 markings, 180650577 edges, 6575 markings/sec, 2455 secs
lola: 18011771 markings, 181021097 edges, 6568 markings/sec, 2460 secs
lola: 18043669 markings, 181390279 edges, 6380 markings/sec, 2465 secs
lola: 18074413 markings, 181755455 edges, 6149 markings/sec, 2470 secs
lola: 18108135 markings, 182118605 edges, 6744 markings/sec, 2475 secs
lola: 18142970 markings, 182475421 edges, 6967 markings/sec, 2480 secs
lola: 18176533 markings, 182831033 edges, 6713 markings/sec, 2485 secs
lola: 18209804 markings, 183185078 edges, 6654 markings/sec, 2490 secs
lola: 18242167 markings, 183537267 edges, 6473 markings/sec, 2495 secs
lola: 18273236 markings, 183887620 edges, 6214 markings/sec, 2500 secs
lola: 18305929 markings, 184242251 edges, 6539 markings/sec, 2505 secs
lola: 18338438 markings, 184596848 edges, 6502 markings/sec, 2510 secs
lola: 18369905 markings, 184950084 edges, 6293 markings/sec, 2515 secs
lola: 18401325 markings, 185305055 edges, 6284 markings/sec, 2520 secs
lola: 18431542 markings, 185656655 edges, 6043 markings/sec, 2525 secs
lola: 18461628 markings, 186007632 edges, 6017 markings/sec, 2530 secs
lola: 18492443 markings, 186364415 edges, 6163 markings/sec, 2535 secs
lola: 18526872 markings, 186735744 edges, 6886 markings/sec, 2540 secs
lola: 18560207 markings, 187105163 edges, 6667 markings/sec, 2545 secs
lola: 18592405 markings, 187471797 edges, 6440 markings/sec, 2550 secs
lola: 18624612 markings, 187840554 edges, 6441 markings/sec, 2555 secs
lola: 18655663 markings, 188205511 edges, 6210 markings/sec, 2560 secs
lola: 18686487 markings, 188571633 edges, 6165 markings/sec, 2565 secs
lola: 18719015 markings, 188940602 edges, 6506 markings/sec, 2570 secs
lola: 18750297 markings, 189308985 edges, 6256 markings/sec, 2575 secs
lola: 18780398 markings, 189674352 edges, 6020 markings/sec, 2580 secs
lola: 18811318 markings, 190041033 edges, 6184 markings/sec, 2585 secs
lola: 18840995 markings, 190406937 edges, 5935 markings/sec, 2590 secs
lola: 18869303 markings, 190770025 edges, 5662 markings/sec, 2595 secs
lola: 18909909 markings, 191138720 edges, 8121 markings/sec, 2600 secs
lola: 18950165 markings, 191504869 edges, 8051 markings/sec, 2605 secs
lola: 18989314 markings, 191869550 edges, 7830 markings/sec, 2610 secs
lola: 19027232 markings, 192231766 edges, 7584 markings/sec, 2615 secs
lola: 19063308 markings, 192590936 edges, 7215 markings/sec, 2620 secs
lola: 19101935 markings, 192953873 edges, 7725 markings/sec, 2625 secs
lola: 19139293 markings, 193314991 edges, 7472 markings/sec, 2630 secs
lola: 19174715 markings, 193673847 edges, 7084 markings/sec, 2635 secs
lola: 19210909 markings, 194034241 edges, 7239 markings/sec, 2640 secs
lola: 19245005 markings, 194390477 edges, 6819 markings/sec, 2645 secs
lola: 19280477 markings, 194752747 edges, 7094 markings/sec, 2650 secs
lola: 19320666 markings, 195134338 edges, 8038 markings/sec, 2655 secs
lola: 19358799 markings, 195513410 edges, 7627 markings/sec, 2660 secs
lola: 19397173 markings, 195893864 edges, 7675 markings/sec, 2665 secs
lola: 19433752 markings, 196272302 edges, 7316 markings/sec, 2670 secs
lola: 19468724 markings, 196647218 edges, 6994 markings/sec, 2675 secs
lola: 19506672 markings, 197025296 edges, 7590 markings/sec, 2680 secs
lola: 19542563 markings, 197399934 edges, 7178 markings/sec, 2685 secs
lola: 19577536 markings, 197773411 edges, 6995 markings/sec, 2690 secs
lola: 19611598 markings, 198146784 edges, 6812 markings/sec, 2695 secs
lola: 19645190 markings, 198517172 edges, 6718 markings/sec, 2700 secs
lola: 19681118 markings, 198883444 edges, 7186 markings/sec, 2705 secs
lola: 19718941 markings, 199244990 edges, 7565 markings/sec, 2710 secs
lola: 19754654 markings, 199604824 edges, 7143 markings/sec, 2715 secs
lola: 19791208 markings, 199965151 edges, 7311 markings/sec, 2720 secs
lola: 19825764 markings, 200322335 edges, 6911 markings/sec, 2725 secs
lola: 19858157 markings, 200676796 edges, 6479 markings/sec, 2730 secs
lola: 19894872 markings, 201036739 edges, 7343 markings/sec, 2735 secs
lola: 19929206 markings, 201393668 edges, 6867 markings/sec, 2740 secs
lola: 19962154 markings, 201748656 edges, 6590 markings/sec, 2745 secs
lola: 19995591 markings, 202103597 edges, 6687 markings/sec, 2750 secs
lola: 20027530 markings, 202457522 edges, 6388 markings/sec, 2755 secs
lola: 20058862 markings, 202810510 edges, 6266 markings/sec, 2760 secs
lola: 20096670 markings, 203187644 edges, 7562 markings/sec, 2765 secs
lola: 20132632 markings, 203562859 edges, 7192 markings/sec, 2770 secs
lola: 20167598 markings, 203936353 edges, 6993 markings/sec, 2775 secs
lola: 20201608 markings, 204309266 edges, 6802 markings/sec, 2780 secs
lola: 20235228 markings, 204680176 edges, 6724 markings/sec, 2785 secs
lola: 20269034 markings, 205051096 edges, 6761 markings/sec, 2790 secs
lola: 20302912 markings, 205420758 edges, 6776 markings/sec, 2795 secs
lola: 20335935 markings, 205789965 edges, 6605 markings/sec, 2800 secs
lola: 20368710 markings, 206159670 edges, 6555 markings/sec, 2805 secs
lola: 20400432 markings, 206528042 edges, 6344 markings/sec, 2810 secs
lola: 20431573 markings, 206894755 edges, 6228 markings/sec, 2815 secs
lola: 20466110 markings, 207258894 edges, 6907 markings/sec, 2820 secs
lola: 20503608 markings, 207616816 edges, 7500 markings/sec, 2825 secs
lola: 20539230 markings, 207973970 edges, 7124 markings/sec, 2830 secs
lola: 20575390 markings, 208331268 edges, 7232 markings/sec, 2835 secs
lola: 20609786 markings, 208685722 edges, 6879 markings/sec, 2840 secs
lola: 20642016 markings, 209036750 edges, 6446 markings/sec, 2845 secs
lola: 20678311 markings, 209393751 edges, 7259 markings/sec, 2850 secs
lola: 20712662 markings, 209749804 edges, 6870 markings/sec, 2855 secs
lola: 20745146 markings, 210103058 edges, 6497 markings/sec, 2860 secs
lola: 20778756 markings, 210456952 edges, 6722 markings/sec, 2865 secs
lola: 20810713 markings, 210808617 edges, 6391 markings/sec, 2870 secs
lola: 20840486 markings, 211156858 edges, 5955 markings/sec, 2875 secs
lola: 20879091 markings, 211534157 edges, 7721 markings/sec, 2880 secs
lola: 20914685 markings, 211906669 edges, 7119 markings/sec, 2885 secs
lola: 20949366 markings, 212276701 edges, 6936 markings/sec, 2890 secs
lola: 20983885 markings, 212648341 edges, 6904 markings/sec, 2895 secs
lola: 21017034 markings, 213015895 edges, 6630 markings/sec, 2900 secs
lola: 21050139 markings, 213384013 edges, 6621 markings/sec, 2905 secs
lola: 21084154 markings, 213752606 edges, 6803 markings/sec, 2910 secs
lola: 21117374 markings, 214120534 edges, 6644 markings/sec, 2915 secs
lola: 21149644 markings, 214486764 edges, 6454 markings/sec, 2920 secs
lola: 21181497 markings, 214853769 edges, 6371 markings/sec, 2925 secs
lola: 21212588 markings, 215218321 edges, 6218 markings/sec, 2930 secs
lola: 21244305 markings, 215579507 edges, 6343 markings/sec, 2935 secs
lola: 21279395 markings, 215934447 edges, 7018 markings/sec, 2940 secs
lola: 21313307 markings, 216288055 edges, 6782 markings/sec, 2945 secs
lola: 21346264 markings, 216640056 edges, 6591 markings/sec, 2950 secs
lola: 21378686 markings, 216992236 edges, 6484 markings/sec, 2955 secs
lola: 21410250 markings, 217341252 edges, 6313 markings/sec, 2960 secs
lola: 21441473 markings, 217689729 edges, 6245 markings/sec, 2965 secs
lola: 21474054 markings, 218039858 edges, 6516 markings/sec, 2970 secs
lola: 21505583 markings, 218390027 edges, 6306 markings/sec, 2975 secs
lola: 21536223 markings, 218739367 edges, 6128 markings/sec, 2980 secs
lola: 21567158 markings, 219088834 edges, 6187 markings/sec, 2985 secs
lola: 21596928 markings, 219437026 edges, 5954 markings/sec, 2990 secs
lola: 21624940 markings, 219780657 edges, 5602 markings/sec, 2995 secs
lola: 21659940 markings, 220149138 edges, 7000 markings/sec, 3000 secs
lola: 21693276 markings, 220516081 edges, 6667 markings/sec, 3005 secs
lola: 21724437 markings, 220878499 edges, 6232 markings/sec, 3010 secs
lola: 21757742 markings, 221246708 edges, 6661 markings/sec, 3015 secs
lola: 21789008 markings, 221611434 edges, 6253 markings/sec, 3020 secs
lola: time limit reached - aborting
lola:
preliminary result: no no yes no no no yes no no yes yes yes yes unknown no no
lola:
preliminary result: no no yes no no no yes no no yes yes yes yes unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes no no no yes no no yes yes yes yes unknown no no
lola: memory consumption: 2830368 KB
lola: time consumption: 3562 seconds
lola: memory consumption: 2830556 KB
lola: time consumption: 3562 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no yes no no no yes no no yes yes yes yes unknown no no
lola:
preliminary result: no no yes no no no yes no no yes yes yes yes unknown no no
lola: memory consumption: 26204 KB
lola: time consumption: 3563 seconds

BK_STOP 1526668808356

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AutoFlight-PT-24a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="lola"
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/AutoFlight-PT-24a.tgz
mv AutoFlight-PT-24a 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 lola"
echo " Input is AutoFlight-PT-24a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r016-qhx1-152646241200150"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.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 ;