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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
7546.660 3593080.00 7239844.00 6542.60 FTTFFTTF?FTTTTF? 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 256K
-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.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K 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 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.5K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K 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.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K 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 85K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is AutoFlight-PT-12a, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-qhx1-152646241200140
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526661659494

info: Time: 3600 - MCC
===========================================================================================
prep: translating AutoFlight-PT-12a 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-12a formula ReachabilityFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityFireability @ AutoFlight-PT-12a @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 612/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 307
lola: finding significant places
lola: 307 places, 305 transitions, 231 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 296 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-12a-ReachabilityFireability.task
lola: A (G (((FIREABLE(t110) AND FIREABLE(t130) AND FIREABLE(t49) AND FIREABLE(t251) AND FIREABLE(t25)) OR (NOT FIREABLE(t140) AND (NOT FIREABLE(t15) OR NOT FIREABLE(t206)))))) : E (F (FIREABLE(t109))) : E (F (((FIREABLE(t200) AND FIREABLE(t40)) OR FIREABLE(t127)))) : A (G ((NOT FIREABLE(t198) OR NOT FIREABLE(t40) OR (NOT FIREABLE(t280) AND NOT FIREABLE(t119)) OR (FIREABLE(t174) AND FIREABLE(t35))))) : A (G (((NOT FIREABLE(t205) AND NOT FIREABLE(t168)) OR FIREABLE(t147) OR (FIREABLE(t56) AND FIREABLE(t112) AND FIREABLE(t52) AND FIREABLE(t272) AND FIREABLE(t81))))) : E (F ((FIREABLE(t277) AND (FIREABLE(t169) OR FIREABLE(t202) OR FIREABLE(t235) OR NOT FIREABLE(t67) OR FIREABLE(t132))))) : A (G ((NOT FIREABLE(t232) OR NOT FIREABLE(t171)))) : E (F ((FIREABLE(t166) AND FIREABLE(t23) AND NOT FIREABLE(t175) AND FIREABLE(t161) AND FIREABLE(t63)))) : A (G ((FIREABLE(t53) OR NOT FIREABLE(t12) OR NOT FIREABLE(t244)))) : A (G (((NOT FIREABLE(t21) AND (FIREABLE(t285) OR FIREABLE(t83)) AND NOT FIREABLE(t190)) OR NOT FIREABLE(t242)))) : E (F ((NOT FIREABLE(t219) AND (FIREABLE(t200) OR FIREABLE(t17)) AND (FIREABLE(t253) OR FIREABLE(t62) OR NOT FIREABLE(t228)) AND (FIREABLE(t30) OR FIREABLE(t296))))) : A (G (((NOT FIREABLE(t130) AND NOT FIREABLE(t252)) OR (NOT FIREABLE(t202) AND NOT FIREABLE(t42)) OR NOT FIREABLE(t188)))) : E (F (((FIREABLE(t139) AND FIREABLE(t3) AND (FIREABLE(t292) OR FIREABLE(t237)) AND NOT FIREABLE(t196)) OR (FIREABLE(t142) AND (NOT FIREABLE(t92) OR NOT FIREABLE(t21)))))) : A (G ((NOT FIREABLE(t123) OR NOT FIREABLE(t156)))) : A (G (((NOT FIREABLE(t279) AND NOT FIREABLE(t257)) OR NOT FIREABLE(t40) OR ((NOT FIREABLE(t50) OR NOT FIREABLE(t14)) AND (NOT FIREABLE(t1) OR NOT FIREABLE(t198)))))) : E (F ((((FIREABLE(t148) AND FIREABLE(t279)) OR NOT FIREABLE(t296)) AND FIREABLE(t32) AND FIREABLE(t168) AND (FIREABLE(t88) OR NOT FIREABLE(t32)))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t109)))
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 (FIREABLE(t109)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: FIREABLE(t109)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 7 markings, 6 edges
lola: ========================================

FORMULA AutoFlight-PT-12a-ReachabilityFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: state equation: calling and running sara
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t232) OR NOT FIREABLE(t171))))
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 ((NOT FIREABLE(t232) OR NOT FIREABLE(t171))))
lola: processed formula length: 51
lola: 2 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: (FIREABLE(t232) AND FIREABLE(t171))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
sara: try reading problem file AutoFlight-PT-12a-ReachabilityFireability-0.sara.
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file AutoFlight-PT-12a-ReachabilityFireability-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic


lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.

FORMULA AutoFlight-PT-12a-ReachabilityFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t123) OR NOT FIREABLE(t156))))
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 ((NOT FIREABLE(t123) OR NOT FIREABLE(t156))))
lola: processed formula length: 51
lola: 2 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: (FIREABLE(t123) AND FIREABLE(t156))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file AutoFlight-PT-12a-ReachabilityFireability-2-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.

FORMULA AutoFlight-PT-12a-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t53) OR NOT FIREABLE(t12) OR NOT FIREABLE(t244))))
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 ((FIREABLE(t53) OR NOT FIREABLE(t12) OR NOT FIREABLE(t244))))
lola: processed formula length: 68
lola: 2 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: (NOT FIREABLE(t53) AND FIREABLE(t12) AND FIREABLE(t244))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file AutoFlight-PT-12a-ReachabilityFireability-3-0.sara.
sara: place or transition ordering is non-deterministic
sara: warning, failure of lp_solve (at job 83)
lola: sara is running 0 secs || 212686 markings, 1331005 edges, 42537 markings/sec, 0 secs
lola: sara is running 5 secs || 405721 markings, 2872963 edges, 38607 markings/sec, 5 secs
lola: sara is running 10 secs || 604004 markings, 4388787 edges, 39657 markings/sec, 10 secs
lola: sara is running 15 secs || 798478 markings, 5896666 edges, 38895 markings/sec, 15 secs
lola: sara is running 20 secs || 1010308 markings, 7401758 edges, 42366 markings/sec, 20 secs
lola: sara is running 25 secs || 1231999 markings, 8926654 edges, 44338 markings/sec, 25 secs
lola: sara is running 30 secs || 1440161 markings, 10409520 edges, 41632 markings/sec, 30 secs
lola: sara is running 35 secs || 1638454 markings, 11926666 edges, 39659 markings/sec, 35 secs
lola: sara is running 40 secs || 1804866 markings, 13426627 edges, 33282 markings/sec, 40 secs
lola: sara is running 45 secs || 1980525 markings, 14903029 edges, 35132 markings/sec, 45 secs
lola: sara is running 50 secs || 2137138 markings, 16376634 edges, 31323 markings/sec, 50 secs
lola: sara is running 55 secs || 2292825 markings, 17897566 edges, 31137 markings/sec, 55 secs
lola: sara is running 60 secs || 2456048 markings, 19439887 edges, 32645 markings/sec, 60 secs
lola: sara is running 65 secs || 2620582 markings, 20978426 edges, 32907 markings/sec, 65 secs
lola: sara is running 70 secs || 2796479 markings, 22475680 edges, 35179 markings/sec, 70 secs
lola: sara is running 75 secs || 2952599 markings, 24023885 edges, 31224 markings/sec, 75 secs
lola: sara is running 80 secs || 3142129 markings, 25525717 edges, 37906 markings/sec, 80 secs
lola: sara is running 85 secs || 3334402 markings, 27037877 edges, 38455 markings/sec, 85 secs
lola: sara is running 90 secs || 3491334 markings, 28558340 edges, 31386 markings/sec, 90 secs
lola: sara is running 95 secs || 3674733 markings, 30078370 edges, 36680 markings/sec, 95 secs
lola: sara is running 100 secs || 3851206 markings, 31601643 edges, 35295 markings/sec, 100 secs
lola: sara is running 105 secs || 4050348 markings, 33152806 edges, 39828 markings/sec, 105 secs
lola: sara is running 110 secs || 4239675 markings, 34686913 edges, 37865 markings/sec, 110 secs
lola: sara is running 115 secs || 4435942 markings, 36223651 edges, 39253 markings/sec, 115 secs
lola: sara is running 120 secs || 4629307 markings, 37764578 edges, 38673 markings/sec, 120 secs
lola: sara is running 125 secs || 4829507 markings, 39319760 edges, 40040 markings/sec, 125 secs
lola: sara is running 130 secs || 5012978 markings, 40755427 edges, 36694 markings/sec, 130 secs
lola: sara is running 135 secs || 5202762 markings, 42281182 edges, 37957 markings/sec, 135 secs
lola: sara is running 140 secs || 5390618 markings, 43817025 edges, 37571 markings/sec, 140 secs
lola: sara is running 145 secs || 5526406 markings, 45337889 edges, 27158 markings/sec, 145 secs
lola: sara is running 150 secs || 5674902 markings, 46885989 edges, 29699 markings/sec, 150 secs
lola: sara is running 155 secs || 5826037 markings, 48432250 edges, 30227 markings/sec, 155 secs
lola: sara is running 160 secs || 5992052 markings, 49955829 edges, 33203 markings/sec, 160 secs
lola: sara is running 165 secs || 6129887 markings, 51450732 edges, 27567 markings/sec, 165 secs
lola: sara is running 170 secs || 6276761 markings, 52972224 edges, 29375 markings/sec, 170 secs
lola: sara is running 175 secs || 6432416 markings, 54500523 edges, 31131 markings/sec, 175 secs
lola: sara is running 180 secs || 6584039 markings, 55955193 edges, 30325 markings/sec, 180 secs
lola: sara is running 185 secs || 6743058 markings, 57404052 edges, 31804 markings/sec, 185 secs
lola: sara is running 190 secs || 6927490 markings, 58831413 edges, 36886 markings/sec, 190 secs
lola: sara is running 195 secs || 7067101 markings, 60159715 edges, 27922 markings/sec, 195 secs
lola: sara is running 200 secs || 7189404 markings, 61522246 edges, 24461 markings/sec, 200 secs
lola: sara is running 205 secs || 7314520 markings, 62979876 edges, 25023 markings/sec, 205 secs
lola: sara is running 210 secs || 7440679 markings, 64350829 edges, 25232 markings/sec, 210 secs
lola: sara is running 215 secs || 7564012 markings, 65741441 edges, 24667 markings/sec, 215 secs
lola: sara is running 220 secs || 7697617 markings, 67238337 edges, 26721 markings/sec, 220 secs
lola: sara is running 225 secs || 7826869 markings, 68680229 edges, 25850 markings/sec, 225 secs
lola: sara is running 230 secs || 7963459 markings, 70174614 edges, 27318 markings/sec, 230 secs
lola: sara is running 235 secs || 8103666 markings, 71678750 edges, 28041 markings/sec, 235 secs
lola: sara is running 240 secs || 8233557 markings, 73166633 edges, 25978 markings/sec, 240 secs
lola: sara is running 245 secs || 8367678 markings, 74678718 edges, 26824 markings/sec, 245 secs
lola: sara is running 250 secs || 8500769 markings, 76128831 edges, 26618 markings/sec, 250 secs
lola: sara is running 255 secs || 8659752 markings, 77614565 edges, 31797 markings/sec, 255 secs
lola: sara is running 260 secs || 8835229 markings, 79153192 edges, 35095 markings/sec, 260 secs
lola: sara is running 265 secs || 8985530 markings, 80667169 edges, 30060 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown yes unknown unknown
lola: memory consumption: 375840 KB
lola: time consumption: 277 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes unknown unknown unknown unknown yes unknown unknown unknown unknown unknown unknown yes unknown unknown
lola: memory consumption: 378076 KB
lola: time consumption: 278 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t200) AND FIREABLE(t40)) OR FIREABLE(t127))))
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 (((FIREABLE(t200) AND FIREABLE(t40)) OR FIREABLE(t127))))
lola: processed formula length: 63
lola: 1 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: ((FIREABLE(t200) AND FIREABLE(t40)) OR FIREABLE(t127))
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-4-0.sara

FORMULA AutoFlight-PT-12a-ReachabilityFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: lola: ========================================
========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t21) AND (FIREABLE(t285) OR FIREABLE(t83)) AND NOT FIREABLE(t190)) OR NOT FIREABLE(t242))))
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 (((NOT FIREABLE(t21) AND (FIREABLE(t285) OR FIREABLE(t83)) AND NOT FIREABLE(t190)) OR NOT FIREABLE(t242))))
lola: processed formula length: 114
lola: 2 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: ((FIREABLE(t21) OR (NOT FIREABLE(t285) AND NOT FIREABLE(t83)) OR FIREABLE(t190)) AND FIREABLE(t242))
lola: state equation: Generated DNF with 11 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-5-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 62 markings, 61 edges
lola:
FORMULA AutoFlight-PT-12a-ReachabilityFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 6 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t130) AND NOT FIREABLE(t252)) OR (NOT FIREABLE(t202) AND NOT FIREABLE(t42)) OR NOT FIREABLE(t188))))
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 (((NOT FIREABLE(t130) AND NOT FIREABLE(t252)) OR (NOT FIREABLE(t202) AND NOT FIREABLE(t42)) OR NOT FIREABLE(t188))))
lola: processed formula length: 123
lola: 2 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: ((FIREABLE(t130) OR FIREABLE(t252)) AND (FIREABLE(t202) OR FIREABLE(t42)) AND FIREABLE(t188))
lola: state equation: Generated DNF with 20 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file AutoFlight-PT-12a-ReachabilityFireability-6-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================

FORMULA AutoFlight-PT-12a-ReachabilityFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t166) AND FIREABLE(t23) AND NOT FIREABLE(t175) AND FIREABLE(t161) AND FIREABLE(t63))))
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 ((FIREABLE(t166) AND FIREABLE(t23) AND NOT FIREABLE(t175) AND FIREABLE(t161) AND FIREABLE(t63))))
lola: processed formula length: 102
lola: 1 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: (FIREABLE(t166) AND FIREABLE(t23) AND NOT FIREABLE(t175) AND FIREABLE(t161) AND FIREABLE(t63))
lola: state equation: Generated DNF with 14 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file AutoFlight-PT-12a-ReachabilityFireability-7-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================

FORMULA AutoFlight-PT-12a-ReachabilityFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 409 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t198) OR NOT FIREABLE(t40) OR (NOT FIREABLE(t280) AND NOT FIREABLE(t119)) OR (FIREABLE(t174) AND FIREABLE(t35)))))
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 ((NOT FIREABLE(t198) OR NOT FIREABLE(t40) OR (NOT FIREABLE(t280) AND NOT FIREABLE(t119)) OR (FIREABLE(t174) AND FIREABLE(t35)))))
lola: processed formula length: 137
lola: 2 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 33 markings, 32 edges
lola: formula 0: (FIREABLE(t198) AND FIREABLE(t40) AND (FIREABLE(t280) OR FIREABLE(t119)) AND (NOT FIREABLE(t174) OR NOT FIREABLE(t35)))
lola: state equation: Generated DNF with 33 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-8-0.sara

FORMULA AutoFlight-PT-12a-ReachabilityFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 467 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t277) AND (FIREABLE(t169) OR FIREABLE(t202) OR FIREABLE(t235) OR NOT FIREABLE(t67) OR FIREABLE(t132)))))
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 ((FIREABLE(t277) AND (FIREABLE(t169) OR FIREABLE(t202) OR FIREABLE(t235) OR NOT FIREABLE(t67) OR FIREABLE(t132)))))
lola: processed formula length: 124
lola: 1 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: (FIREABLE(t277) AND (FIREABLE(t169) OR FIREABLE(t202) OR FIREABLE(t235) OR NOT FIREABLE(t67) OR FIREABLE(t132)))
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 8 markings, 7 edges
lola: state equation: Generated DNF with 19 literals and 5 conjunctive subformulas
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-9-0.sara

FORMULA AutoFlight-PT-12a-ReachabilityFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 545 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((FIREABLE(t148) AND FIREABLE(t279)) OR NOT FIREABLE(t296)) AND FIREABLE(t32) AND FIREABLE(t168) AND (FIREABLE(t88) OR NOT FIREABLE(t32)))))
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 ((((FIREABLE(t148) AND FIREABLE(t279)) OR NOT FIREABLE(t296)) AND FIREABLE(t32) AND FIREABLE(t168) AND (FIREABLE(t88) OR NOT FIREABLE(t32)))))
lola: processed formula length: 149
lola: 1 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: (((FIREABLE(t148) AND FIREABLE(t279)) OR NOT FIREABLE(t296)) AND FIREABLE(t32) AND FIREABLE(t168) AND (FIREABLE(t88) OR NOT FIREABLE(t32)))
lola: state equation: Generated DNF with 18 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file AutoFlight-PT-12a-ReachabilityFireability-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 215627 markings, 1529952 edges, 43125 markings/sec, 0 secs
lola: sara is running 5 secs || 408070 markings, 3057958 edges, 38489 markings/sec, 5 secs
lola: sara is running 10 secs || 584113 markings, 4650114 edges, 35209 markings/sec, 10 secs
lola: sara is running 15 secs || 761248 markings, 6186580 edges, 35427 markings/sec, 15 secs
lola: sara is running 20 secs || 924421 markings, 7742768 edges, 32635 markings/sec, 20 secs
lola: sara is running 25 secs || 1093466 markings, 9315409 edges, 33809 markings/sec, 25 secs
lola: sara is running 30 secs || 1258196 markings, 10833635 edges, 32946 markings/sec, 30 secs
lola: sara is running 35 secs || 1418161 markings, 12378408 edges, 31993 markings/sec, 35 secs
lola: sara is running 40 secs || 1590200 markings, 13932434 edges, 34408 markings/sec, 40 secs
lola: sara is running 45 secs || 1756918 markings, 15529028 edges, 33344 markings/sec, 45 secs
lola: sara is running 50 secs || 1930606 markings, 17031724 edges, 34738 markings/sec, 50 secs
lola: sara is running 55 secs || 2094649 markings, 18545834 edges, 32809 markings/sec, 55 secs
lola: sara is running 60 secs || 2254464 markings, 20073829 edges, 31963 markings/sec, 60 secs
lola: sara is running 65 secs || 2401692 markings, 21627910 edges, 29446 markings/sec, 65 secs
lola: sara is running 70 secs || 2544682 markings, 23195697 edges, 28598 markings/sec, 70 secs
lola: sara is running 75 secs || 2694654 markings, 24760620 edges, 29994 markings/sec, 75 secs
lola: sara is running 80 secs || 2851822 markings, 26358595 edges, 31434 markings/sec, 80 secs
lola: sara is running 85 secs || 2996242 markings, 27957837 edges, 28884 markings/sec, 85 secs
lola: sara is running 90 secs || 3137470 markings, 29520306 edges, 28246 markings/sec, 90 secs
lola: sara is running 95 secs || 3285689 markings, 31050139 edges, 29644 markings/sec, 95 secs
lola: sara is running 100 secs || 3424159 markings, 32581844 edges, 27694 markings/sec, 100 secs
lola: sara is running 105 secs || 3558779 markings, 34122751 edges, 26924 markings/sec, 105 secs
lola: sara is running 110 secs || 3699819 markings, 35631597 edges, 28208 markings/sec, 110 secs
lola: sara is running 115 secs || 3856542 markings, 37104812 edges, 31345 markings/sec, 115 secs
lola: sara is running 120 secs || 4005472 markings, 38596391 edges, 29786 markings/sec, 120 secs
lola: sara is running 125 secs || 4157246 markings, 40104171 edges, 30355 markings/sec, 125 secs
lola: sara is running 130 secs || 4308098 markings, 41600006 edges, 30170 markings/sec, 130 secs
lola: sara is running 135 secs || 4457838 markings, 43104278 edges, 29948 markings/sec, 135 secs
lola: sara is running 140 secs || 4592558 markings, 44612240 edges, 26944 markings/sec, 140 secs
lola: sara is running 145 secs || 4763680 markings, 46139943 edges, 34224 markings/sec, 145 secs
lola: sara is running 150 secs || 4899833 markings, 47596269 edges, 27231 markings/sec, 150 secs
lola: sara is running 155 secs || 5038679 markings, 49083784 edges, 27769 markings/sec, 155 secs
lola: sara is running 160 secs || 5193928 markings, 50516395 edges, 31050 markings/sec, 160 secs
lola: sara is running 165 secs || 5334582 markings, 52017752 edges, 28131 markings/sec, 165 secs
lola: sara is running 170 secs || 5464426 markings, 53523487 edges, 25969 markings/sec, 170 secs
lola: sara is running 175 secs || 5604484 markings, 55012271 edges, 28012 markings/sec, 175 secs
lola: sara is running 180 secs || 5745722 markings, 56506097 edges, 28248 markings/sec, 180 secs
lola: sara is running 185 secs || 5890527 markings, 57940240 edges, 28961 markings/sec, 185 secs
lola: sara is running 190 secs || 6017398 markings, 59436293 edges, 25374 markings/sec, 190 secs
lola: sara is running 195 secs || 6172840 markings, 60933138 edges, 31088 markings/sec, 195 secs
lola: sara is running 200 secs || 6315255 markings, 62450722 edges, 28483 markings/sec, 200 secs
lola: sara is running 205 secs || 6480690 markings, 63910041 edges, 33087 markings/sec, 205 secs
lola: sara is running 210 secs || 6619748 markings, 65389216 edges, 27812 markings/sec, 210 secs
lola: sara is running 215 secs || 6764113 markings, 66866684 edges, 28873 markings/sec, 215 secs
lola: sara is running 220 secs || 6904512 markings, 68368867 edges, 28080 markings/sec, 220 secs
lola: sara is running 225 secs || 7051193 markings, 69843871 edges, 29336 markings/sec, 225 secs
lola: sara is running 230 secs || 7195103 markings, 71308496 edges, 28782 markings/sec, 230 secs
lola: sara is running 235 secs || 7324128 markings, 72770084 edges, 25805 markings/sec, 235 secs
lola: sara is running 240 secs || 7462468 markings, 74265324 edges, 27668 markings/sec, 240 secs
lola: sara is running 245 secs || 7592632 markings, 75688184 edges, 26033 markings/sec, 245 secs
lola: sara is running 250 secs || 7703684 markings, 77043075 edges, 22210 markings/sec, 250 secs
lola: sara is running 255 secs || 7841411 markings, 78590967 edges, 27545 markings/sec, 255 secs
lola: sara is running 260 secs || 7985231 markings, 80163880 edges, 28764 markings/sec, 260 secs
lola: sara is running 265 secs || 8129896 markings, 81602232 edges, 28933 markings/sec, 265 secs
lola: sara is running 270 secs || 8263977 markings, 83084504 edges, 26816 markings/sec, 270 secs
lola: sara is running 275 secs || 8390823 markings, 84570121 edges, 25369 markings/sec, 275 secs
lola: sara is running 280 secs || 8513292 markings, 86031593 edges, 24494 markings/sec, 280 secs
lola: sara is running 285 secs || 8653547 markings, 87538401 edges, 28051 markings/sec, 285 secs
lola: sara is running 290 secs || 8793625 markings, 89014503 edges, 28016 markings/sec, 290 secs
lola: sara is running 295 secs || 8925411 markings, 90440598 edges, 26357 markings/sec, 295 secs
lola: sara is running 300 secs || 9082528 markings, 91906194 edges, 31423 markings/sec, 300 secs
lola: sara is running 305 secs || 9244927 markings, 93333952 edges, 32480 markings/sec, 305 secs
lola: sara is running 310 secs || 9387533 markings, 94788969 edges, 28521 markings/sec, 310 secs
lola: sara is running 315 secs || 9528238 markings, 96204129 edges, 28141 markings/sec, 315 secs
lola: sara is running 320 secs || 9659860 markings, 97642549 edges, 26324 markings/sec, 320 secs
lola: sara is running 325 secs || 9781926 markings, 99075612 edges, 24413 markings/sec, 325 secs
lola: sara is running 330 secs || 9908196 markings, 100536001 edges, 25254 markings/sec, 330 secs
lola: sara is running 335 secs || 10067785 markings, 101946890 edges, 31918 markings/sec, 335 secs
lola: sara is running 340 secs || 10211495 markings, 103372429 edges, 28742 markings/sec, 340 secs
lola: sara is running 345 secs || 10342414 markings, 104846098 edges, 26184 markings/sec, 345 secs
lola: sara is running 350 secs || 10455937 markings, 106299057 edges, 22705 markings/sec, 350 secs
lola: sara is running 355 secs || 10572598 markings, 107843565 edges, 23332 markings/sec, 355 secs
lola: sara is running 360 secs || 10705160 markings, 109273492 edges, 26512 markings/sec, 360 secs
lola: sara is running 365 secs || 10836307 markings, 110713404 edges, 26229 markings/sec, 365 secs
lola: sara is running 370 secs || 10967897 markings, 112178251 edges, 26318 markings/sec, 370 secs
lola: sara is running 375 secs || 11098753 markings, 113650356 edges, 26171 markings/sec, 375 secs
lola: sara is running 380 secs || 11216410 markings, 115107116 edges, 23531 markings/sec, 380 secs
lola: sara is running 385 secs || 11333122 markings, 116533732 edges, 23342 markings/sec, 385 secs
lola: sara is running 390 secs || 11460306 markings, 118018851 edges, 25437 markings/sec, 390 secs
lola: sara is running 395 secs || 11575593 markings, 119475133 edges, 23057 markings/sec, 395 secs
lola: sara is running 400 secs || 11682719 markings, 120948267 edges, 21425 markings/sec, 400 secs
lola: sara is running 405 secs || 11804183 markings, 122363970 edges, 24293 markings/sec, 405 secs
lola: sara is running 410 secs || 11913117 markings, 123798967 edges, 21787 markings/sec, 410 secs
lola: sara is running 415 secs || 12032980 markings, 125262991 edges, 23973 markings/sec, 415 secs
lola: sara is running 420 secs || 12159909 markings, 126733160 edges, 25386 markings/sec, 420 secs
lola: sara is running 425 secs || 12268467 markings, 128209498 edges, 21712 markings/sec, 425 secs
lola: sara is running 430 secs || 12390816 markings, 129704650 edges, 24470 markings/sec, 430 secs
lola: sara is running 435 secs || 12513943 markings, 131170770 edges, 24625 markings/sec, 435 secs
lola: sara is running 440 secs || 12639820 markings, 132605294 edges, 25175 markings/sec, 440 secs
lola: sara is running 445 secs || 12760988 markings, 134069488 edges, 24234 markings/sec, 445 secs
lola: sara is running 450 secs || 12878049 markings, 135552981 edges, 23412 markings/sec, 450 secs
lola: sara is running 455 secs || 12993039 markings, 137003430 edges, 22998 markings/sec, 455 secs
lola: sara is running 460 secs || 13113193 markings, 138489652 edges, 24031 markings/sec, 460 secs
lola: sara is running 465 secs || 13248727 markings, 139962312 edges, 27107 markings/sec, 465 secs
lola: sara is running 470 secs || 13377586 markings, 141330944 edges, 25772 markings/sec, 470 secs
lola: sara is running 475 secs || 13495869 markings, 142696022 edges, 23657 markings/sec, 475 secs
lola: sara is running 480 secs || 13619297 markings, 144112037 edges, 24686 markings/sec, 480 secs
lola: sara is running 485 secs || 13732923 markings, 145516734 edges, 22725 markings/sec, 485 secs
lola: sara is running 490 secs || 13850475 markings, 146947611 edges, 23510 markings/sec, 490 secs
lola: sara is running 495 secs || 13967930 markings, 148437157 edges, 23491 markings/sec, 495 secs
lola: sara is running 500 secs || 14091051 markings, 149939017 edges, 24624 markings/sec, 500 secs
lola: sara is running 505 secs || 14218740 markings, 151489007 edges, 25538 markings/sec, 505 secs
lola: sara is running 510 secs || 14343336 markings, 153041406 edges, 24919 markings/sec, 510 secs
lola: sara is running 515 secs || 14470095 markings, 154611035 edges, 25352 markings/sec, 515 secs
lola: sara is running 520 secs || 14602713 markings, 156125225 edges, 26524 markings/sec, 520 secs
lola: sara is running 525 secs || 14736100 markings, 157518476 edges, 26677 markings/sec, 525 secs
lola: sara is running 530 secs || 14861018 markings, 158994717 edges, 24984 markings/sec, 530 secs
lola: sara is running 535 secs || 14985508 markings, 160482223 edges, 24898 markings/sec, 535 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes no unknown yes yes no unknown no unknown yes unknown yes unknown unknown
lola: memory consumption: 620960 KB
lola: time consumption: 842 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes yes no unknown yes yes no unknown no unknown yes unknown yes unknown unknown
lola: memory consumption: 622172 KB
lola: time consumption: 843 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 541 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t279) AND NOT FIREABLE(t257)) OR NOT FIREABLE(t40) OR ((NOT FIREABLE(t50) OR NOT FIREABLE(t14)) AND (NOT FIREABLE(t1) OR NOT FIREABLE(t198))))))
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 (((NOT FIREABLE(t279) AND NOT FIREABLE(t257)) OR NOT FIREABLE(t40) OR ((NOT FIREABLE(t50) OR NOT FIREABLE(t14)) AND (NOT FIREABLE(t1) OR NOT FIREABLE(t198))))))
lola: processed formula length: 169
lola: 2 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: ((FIREABLE(t279) OR FIREABLE(t257)) AND FIREABLE(t40) AND ((FIREABLE(t50) AND FIREABLE(t14)) OR (FIREABLE(t1) AND FIREABLE(t198))))
lola: state equation: Generated DNF with 20 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file AutoFlight-PT-12a-ReachabilityFireability-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 24444 markings, 124401 edges
lola: ========================================

FORMULA AutoFlight-PT-12a-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 676 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t139) AND FIREABLE(t3) AND (FIREABLE(t292) OR FIREABLE(t237)) AND NOT FIREABLE(t196)) OR (FIREABLE(t142) AND (NOT FIREABLE(t92) OR NOT FIREABLE(t21))))))
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 (((FIREABLE(t139) AND FIREABLE(t3) AND (FIREABLE(t292) OR FIREABLE(t237)) AND NOT FIREABLE(t196)) OR (FIREABLE(t142) AND (NOT FIREABLE(t92) OR NOT FIREABLE(t21))))))
lola: processed formula length: 173
lola: 1 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: ((FIREABLE(t139) AND FIREABLE(t3) AND (FIREABLE(t292) OR FIREABLE(t237)) AND NOT FIREABLE(t196)) OR (FIREABLE(t142) AND (NOT FIREABLE(t92) OR NOT FIREABLE(t21))))
lola: state equation: Generated DNF with 30 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-12-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola:
FORMULA AutoFlight-PT-12a-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 13 will run for 902 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(t110) AND FIREABLE(t130) AND FIREABLE(t49) AND FIREABLE(t251) AND FIREABLE(t25)) OR (NOT FIREABLE(t140) AND (NOT FIREABLE(t15) OR NOT FIREABLE(t206))))))
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 (((FIREABLE(t110) AND FIREABLE(t130) AND FIREABLE(t49) AND FIREABLE(t251) AND FIREABLE(t25)) OR (NOT FIREABLE(t140) AND (NOT FIREABLE(t15) OR NOT FIREABLE(t206))))))
lola: processed formula length: 172
lola: 2 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: ((NOT FIREABLE(t110) OR NOT FIREABLE(t130) OR NOT FIREABLE(t49) OR NOT FIREABLE(t251) OR NOT FIREABLE(t25)) AND (FIREABLE(t140) OR (FIREABLE(t15) AND FIREABLE(t206))))
lola: state equation: Generated DNF with 42 literals and 12 conjunctive subformulas
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-13-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 7 markings, 6 edges
lola: ========================================

FORMULA AutoFlight-PT-12a-ReachabilityFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(t219) AND (FIREABLE(t200) OR FIREABLE(t17)) AND (FIREABLE(t253) OR FIREABLE(t62) OR NOT FIREABLE(t228)) AND (FIREABLE(t30) OR FIREABLE(t296)))))
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 ((NOT FIREABLE(t219) AND (FIREABLE(t200) OR FIREABLE(t17)) AND (FIREABLE(t253) OR FIREABLE(t62) OR NOT FIREABLE(t228)) AND (FIREABLE(t30) OR FIREABLE(t296)))))
lola: processed formula length: 168
lola: 1 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: (NOT FIREABLE(t219) AND (FIREABLE(t200) OR FIREABLE(t17)) AND (FIREABLE(t253) OR FIREABLE(t62) OR NOT FIREABLE(t228)) AND (FIREABLE(t30) OR FIREABLE(t296)))
lola: state equation: Generated DNF with 160 literals and 32 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 7 markings, 6 edges
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-14-0.sara

FORMULA AutoFlight-PT-12a-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 15 will run for 2706 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t205) AND NOT FIREABLE(t168)) OR FIREABLE(t147) OR (FIREABLE(t56) AND FIREABLE(t112) AND FIREABLE(t52) AND FIREABLE(t272) AND FIREABLE(t81)))))
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 (((NOT FIREABLE(t205) AND NOT FIREABLE(t168)) OR FIREABLE(t147) OR (FIREABLE(t56) AND FIREABLE(t112) AND FIREABLE(t52) AND FIREABLE(t272) AND FIREABLE(t81)))))
lola: processed formula length: 166
lola: 2 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: ((FIREABLE(t205) OR FIREABLE(t168)) AND NOT FIREABLE(t147) AND (NOT FIREABLE(t56) OR NOT FIREABLE(t112) OR NOT FIREABLE(t52) OR NOT FIREABLE(t272) OR NOT FIREABLE(t81)))
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 33 markings, 32 edges
lola: state equation: Generated DNF with 80 literals and 20 conjunctive subformulas
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-15-0.sara

FORMULA AutoFlight-PT-12a-ReachabilityFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: state equation: calling and running sara
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t53) OR NOT FIREABLE(t12) OR NOT FIREABLE(t244))))
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 ((FIREABLE(t53) OR NOT FIREABLE(t12) OR NOT FIREABLE(t244))))
lola: processed formula length: 68
lola: 2 rewrites
lola: closed formula file AutoFlight-PT-12a-ReachabilityFireability.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: (NOT FIREABLE(t53) AND FIREABLE(t12) AND FIREABLE(t244))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
sara: try reading problem file AutoFlight-PT-12a-ReachabilityFireability-14-0.sara.
lola: state equation: write sara problem file to AutoFlight-PT-12a-ReachabilityFireability-16-0.sara
sara: try reading problem file AutoFlight-PT-12a-ReachabilityFireability-15-0.sara.
lola: state equation: calling and running sara
sara: try reading problem file AutoFlight-PT-12a-ReachabilityFireability-16-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic


sara: warning, failure of lp_solve (at job 83)
lola: sara is running 0 secs || 233900 markings, 1459396 edges, 46780 markings/sec, 0 secs
lola: sara is running 5 secs || 424083 markings, 3006515 edges, 38037 markings/sec, 5 secs
lola: sara is running 10 secs || 622193 markings, 4537586 edges, 39622 markings/sec, 10 secs
lola: sara is running 15 secs || 816291 markings, 6036981 edges, 38820 markings/sec, 15 secs
lola: sara is running 20 secs || 1034259 markings, 7546739 edges, 43594 markings/sec, 20 secs
lola: sara is running 25 secs || 1253310 markings, 9076138 edges, 43810 markings/sec, 25 secs
lola: sara is running 30 secs || 1466807 markings, 10603501 edges, 42699 markings/sec, 30 secs
lola: sara is running 35 secs || 1658790 markings, 12124880 edges, 38397 markings/sec, 35 secs
lola: sara is running 40 secs || 1828282 markings, 13633805 edges, 33898 markings/sec, 40 secs
lola: sara is running 45 secs || 2000284 markings, 15112364 edges, 34400 markings/sec, 45 secs
lola: sara is running 50 secs || 2160259 markings, 16583622 edges, 31995 markings/sec, 50 secs
lola: sara is running 55 secs || 2312721 markings, 18099388 edges, 30492 markings/sec, 55 secs
lola: sara is running 60 secs || 2474695 markings, 19590608 edges, 32395 markings/sec, 60 secs
lola: sara is running 65 secs || 2627726 markings, 21048809 edges, 30606 markings/sec, 65 secs
lola: sara is running 70 secs || 2801667 markings, 22526138 edges, 34788 markings/sec, 70 secs
lola: sara is running 75 secs || 2958243 markings, 24073789 edges, 31315 markings/sec, 75 secs
lola: sara is running 80 secs || 3148431 markings, 25568428 edges, 38038 markings/sec, 80 secs
lola: sara is running 85 secs || 3337436 markings, 27065745 edges, 37801 markings/sec, 85 secs
lola: sara is running 90 secs || 3492683 markings, 28569881 edges, 31049 markings/sec, 90 secs
lola: sara is running 95 secs || 3675387 markings, 30083374 edges, 36541 markings/sec, 95 secs
lola: sara is running 100 secs || 3851012 markings, 31600106 edges, 35125 markings/sec, 100 secs
lola: sara is running 105 secs || 4049897 markings, 33148166 edges, 39777 markings/sec, 105 secs
lola: sara is running 110 secs || 4238222 markings, 34675483 edges, 37665 markings/sec, 110 secs
lola: sara is running 115 secs || 4433178 markings, 36202737 edges, 38991 markings/sec, 115 secs
lola: sara is running 120 secs || 4627364 markings, 37748207 edges, 38837 markings/sec, 120 secs
lola: sara is running 125 secs || 4821992 markings, 39262792 edges, 38926 markings/sec, 125 secs
lola: sara is running 130 secs || 5021863 markings, 40810528 edges, 39974 markings/sec, 130 secs
lola: sara is running 135 secs || 5213952 markings, 42368492 edges, 38418 markings/sec, 135 secs
lola: sara is running 140 secs || 5399199 markings, 43914480 edges, 37049 markings/sec, 140 secs
lola: sara is running 145 secs || 5536772 markings, 45439920 edges, 27515 markings/sec, 145 secs
lola: sara is running 150 secs || 5683824 markings, 46976818 edges, 29410 markings/sec, 150 secs
lola: sara is running 155 secs || 5837331 markings, 48515371 edges, 30701 markings/sec, 155 secs
lola: sara is running 160 secs || 5998608 markings, 50037255 edges, 32255 markings/sec, 160 secs
lola: sara is running 165 secs || 6139607 markings, 51541108 edges, 28200 markings/sec, 165 secs
lola: sara is running 170 secs || 6285786 markings, 53081405 edges, 29236 markings/sec, 170 secs
lola: sara is running 175 secs || 6445614 markings, 54631314 edges, 31966 markings/sec, 175 secs
lola: sara is running 180 secs || 6605907 markings, 56173724 edges, 32059 markings/sec, 180 secs
lola: sara is running 185 secs || 6788650 markings, 57731620 edges, 36549 markings/sec, 185 secs
lola: sara is running 190 secs || 6971551 markings, 59256527 edges, 36580 markings/sec, 190 secs
lola: sara is running 195 secs || 7122084 markings, 60747869 edges, 30107 markings/sec, 195 secs
lola: sara is running 200 secs || 7249465 markings, 62227534 edges, 25476 markings/sec, 200 secs
lola: sara is running 205 secs || 7384561 markings, 63752666 edges, 27019 markings/sec, 205 secs
lola: sara is running 210 secs || 7529997 markings, 65302289 edges, 29087 markings/sec, 210 secs
lola: sara is running 215 secs || 7662072 markings, 66824024 edges, 26415 markings/sec, 215 secs
lola: sara is running 220 secs || 7798896 markings, 68281741 edges, 27365 markings/sec, 220 secs
lola: sara is running 225 secs || 7922547 markings, 69784159 edges, 24730 markings/sec, 225 secs
lola: sara is running 230 secs || 8067833 markings, 71288252 edges, 29057 markings/sec, 230 secs
lola: sara is running 235 secs || 8200614 markings, 72802261 edges, 26556 markings/sec, 235 secs
lola: sara is running 240 secs || 8334707 markings, 74322496 edges, 26819 markings/sec, 240 secs
lola: sara is running 245 secs || 8468861 markings, 75801124 edges, 26831 markings/sec, 245 secs
lola: sara is running 250 secs || 8622863 markings, 77305232 edges, 30800 markings/sec, 250 secs
lola: sara is running 255 secs || 8807059 markings, 78864022 edges, 36839 markings/sec, 255 secs
lola: sara is running 260 secs || 8958806 markings, 80412663 edges, 30349 markings/sec, 260 secs
lola: sara is running 265 secs || 9113072 markings, 81944495 edges, 30853 markings/sec, 265 secs
lola: sara is running 270 secs || 9280685 markings, 83484580 edges, 33523 markings/sec, 270 secs
lola: sara is running 275 secs || 9459964 markings, 84992531 edges, 35856 markings/sec, 275 secs
lola: sara is running 280 secs || 9616824 markings, 86456741 edges, 31372 markings/sec, 280 secs
lola: sara is running 285 secs || 9833189 markings, 87936450 edges, 43273 markings/sec, 285 secs
lola: sara is running 290 secs || 10049838 markings, 89432734 edges, 43330 markings/sec, 290 secs
lola: sara is running 295 secs || 10262308 markings, 90908183 edges, 42494 markings/sec, 295 secs
lola: sara is running 300 secs || 10467437 markings, 92390146 edges, 41026 markings/sec, 300 secs
lola: sara is running 305 secs || 10686172 markings, 93861122 edges, 43747 markings/sec, 305 secs
lola: sara is running 310 secs || 10884955 markings, 95309983 edges, 39757 markings/sec, 310 secs
lola: sara is running 315 secs || 11095488 markings, 96791214 edges, 42107 markings/sec, 315 secs
lola: sara is running 320 secs || 11297140 markings, 98262645 edges, 40330 markings/sec, 320 secs
lola: sara is running 325 secs || 11516150 markings, 99737243 edges, 43802 markings/sec, 325 secs
lola: sara is running 330 secs || 11717238 markings, 101182891 edges, 40218 markings/sec, 330 secs
lola: sara is running 335 secs || 11933094 markings, 102705564 edges, 43171 markings/sec, 335 secs
lola: sara is running 340 secs || 12140186 markings, 104211991 edges, 41418 markings/sec, 340 secs
lola: sara is running 345 secs || 12342281 markings, 105703311 edges, 40419 markings/sec, 345 secs
lola: sara is running 350 secs || 12543335 markings, 107186986 edges, 40211 markings/sec, 350 secs
lola: sara is running 355 secs || 12732324 markings, 108676712 edges, 37798 markings/sec, 355 secs
lola: sara is running 360 secs || 12880719 markings, 110159940 edges, 29679 markings/sec, 360 secs
lola: sara is running 365 secs || 13041604 markings, 111590030 edges, 32177 markings/sec, 365 secs
lola: sara is running 370 secs || 13236098 markings, 113023813 edges, 38899 markings/sec, 370 secs
lola: sara is running 375 secs || 13424106 markings, 114520145 edges, 37602 markings/sec, 375 secs
lola: sara is running 380 secs || 13613368 markings, 115974878 edges, 37852 markings/sec, 380 secs
lola: sara is running 385 secs || 13796471 markings, 117437176 edges, 36621 markings/sec, 385 secs
lola: sara is running 390 secs || 13988530 markings, 118894299 edges, 38412 markings/sec, 390 secs
lola: sara is running 395 secs || 14168319 markings, 120355281 edges, 35958 markings/sec, 395 secs
lola: sara is running 400 secs || 14351635 markings, 121836720 edges, 36663 markings/sec, 400 secs
lola: sara is running 405 secs || 14532015 markings, 123317953 edges, 36076 markings/sec, 405 secs
lola: sara is running 410 secs || 14725492 markings, 124791507 edges, 38695 markings/sec, 410 secs
lola: sara is running 415 secs || 14902863 markings, 126254981 edges, 35474 markings/sec, 415 secs
lola: sara is running 420 secs || 15080693 markings, 127725624 edges, 35566 markings/sec, 420 secs
lola: sara is running 425 secs || 15279186 markings, 129183424 edges, 39699 markings/sec, 425 secs
lola: sara is running 430 secs || 15457425 markings, 130674984 edges, 35648 markings/sec, 430 secs
lola: sara is running 435 secs || 15633837 markings, 132133247 edges, 35282 markings/sec, 435 secs
lola: sara is running 440 secs || 15814100 markings, 133588327 edges, 36053 markings/sec, 440 secs
lola: sara is running 445 secs || 16048183 markings, 135035235 edges, 46817 markings/sec, 445 secs
lola: sara is running 450 secs || 16271149 markings, 136508687 edges, 44593 markings/sec, 450 secs
lola: sara is running 455 secs || 16428232 markings, 138020121 edges, 31417 markings/sec, 455 secs
lola: sara is running 460 secs || 16630928 markings, 139518612 edges, 40539 markings/sec, 460 secs
lola: sara is running 465 secs || 16838017 markings, 141035123 edges, 41418 markings/sec, 465 secs
lola: sara is running 470 secs || 17031413 markings, 142479240 edges, 38679 markings/sec, 470 secs
lola: sara is running 475 secs || 17231225 markings, 143974533 edges, 39962 markings/sec, 475 secs
lola: sara is running 480 secs || 17421132 markings, 145443579 edges, 37981 markings/sec, 480 secs
lola: sara is running 485 secs || 17606384 markings, 146888442 edges, 37050 markings/sec, 485 secs
lola: sara is running 490 secs || 17784131 markings, 148359479 edges, 35549 markings/sec, 490 secs
lola: sara is running 495 secs || 17991017 markings, 149837330 edges, 41377 markings/sec, 495 secs
lola: sara is running 500 secs || 18165116 markings, 151354428 edges, 34820 markings/sec, 500 secs
lola: sara is running 505 secs || 18353263 markings, 152861667 edges, 37629 markings/sec, 505 secs
lola: sara is running 510 secs || 18545437 markings, 154345082 edges, 38435 markings/sec, 510 secs
lola: sara is running 515 secs || 18727741 markings, 155835857 edges, 36461 markings/sec, 515 secs
lola: sara is running 520 secs || 18914517 markings, 157349158 edges, 37355 markings/sec, 520 secs
lola: sara is running 525 secs || 19107730 markings, 158824819 edges, 38643 markings/sec, 525 secs
lola: sara is running 530 secs || 19294105 markings, 160300949 edges, 37275 markings/sec, 530 secs
lola: sara is running 535 secs || 19479383 markings, 161784608 edges, 37056 markings/sec, 535 secs
lola: sara is running 540 secs || 19665513 markings, 163286234 edges, 37226 markings/sec, 540 secs
lola: sara is running 545 secs || 19852976 markings, 164800757 edges, 37493 markings/sec, 545 secs
lola: sara is running 550 secs || 20033073 markings, 166279281 edges, 36019 markings/sec, 550 secs
lola: sara is running 555 secs || 20220348 markings, 167830064 edges, 37455 markings/sec, 555 secs
lola: sara is running 560 secs || 20421010 markings, 169389907 edges, 40132 markings/sec, 560 secs
lola: sara is running 565 secs || 20595898 markings, 170914297 edges, 34978 markings/sec, 565 secs
lola: sara is running 570 secs || 20782264 markings, 172431984 edges, 37273 markings/sec, 570 secs
lola: sara is running 575 secs || 20962308 markings, 173924322 edges, 36009 markings/sec, 575 secs
lola: sara is running 580 secs || 21145244 markings, 175429321 edges, 36587 markings/sec, 580 secs
lola: sara is running 585 secs || 21322962 markings, 176936604 edges, 35544 markings/sec, 585 secs
lola: sara is running 590 secs || 21480800 markings, 178432622 edges, 31568 markings/sec, 590 secs
lola: sara is running 595 secs || 21668972 markings, 179844231 edges, 37634 markings/sec, 595 secs
lola: sara is running 600 secs || 21850865 markings, 181264056 edges, 36379 markings/sec, 600 secs
lola: sara is running 605 secs || 22050910 markings, 182680802 edges, 40009 markings/sec, 605 secs
lola: sara is running 610 secs || 22252828 markings, 184074535 edges, 40384 markings/sec, 610 secs
lola: sara is running 615 secs || 22436781 markings, 185472683 edges, 36791 markings/sec, 615 secs
lola: sara is running 620 secs || 22625195 markings, 186901594 edges, 37683 markings/sec, 620 secs
lola: sara is running 625 secs || 22803476 markings, 188325999 edges, 35656 markings/sec, 625 secs
lola: sara is running 630 secs || 23005190 markings, 189754410 edges, 40343 markings/sec, 630 secs
lola: sara is running 635 secs || 23184987 markings, 191215657 edges, 35959 markings/sec, 635 secs
lola: sara is running 640 secs || 23338088 markings, 192641311 edges, 30620 markings/sec, 640 secs
lola: sara is running 645 secs || 23511049 markings, 194097052 edges, 34592 markings/sec, 645 secs
lola: sara is running 650 secs || 23691488 markings, 195541255 edges, 36088 markings/sec, 650 secs
lola: sara is running 655 secs || 23881301 markings, 196995598 edges, 37963 markings/sec, 655 secs
lola: sara is running 660 secs || 24053558 markings, 198458923 edges, 34451 markings/sec, 660 secs
lola: sara is running 665 secs || 24237669 markings, 199932187 edges, 36822 markings/sec, 665 secs
lola: sara is running 670 secs || 24435558 markings, 201416619 edges, 39578 markings/sec, 670 secs
lola: sara is running 675 secs || 24626231 markings, 202901147 edges, 38135 markings/sec, 675 secs
lola: sara is running 680 secs || 24810461 markings, 204360133 edges, 36846 markings/sec, 680 secs
lola: sara is running 685 secs || 24991950 markings, 205784258 edges, 36298 markings/sec, 685 secs
lola: sara is running 690 secs || 25156776 markings, 207198558 edges, 32965 markings/sec, 690 secs
lola: sara is running 695 secs || 25314152 markings, 208647936 edges, 31475 markings/sec, 695 secs
lola: sara is running 700 secs || 25476595 markings, 210104131 edges, 32489 markings/sec, 700 secs
lola: sara is running 705 secs || 25642361 markings, 211571058 edges, 33153 markings/sec, 705 secs
lola: sara is running 710 secs || 25798208 markings, 213019940 edges, 31169 markings/sec, 710 secs
lola: sara is running 715 secs || 25945873 markings, 214469325 edges, 29533 markings/sec, 715 secs
lola: sara is running 720 secs || 26088074 markings, 215877863 edges, 28440 markings/sec, 720 secs
lola: sara is running 725 secs || 26238437 markings, 217316052 edges, 30073 markings/sec, 725 secs
lola: sara is running 730 secs || 26401876 markings, 218814205 edges, 32688 markings/sec, 730 secs
lola: sara is running 735 secs || 26562114 markings, 220333064 edges, 32048 markings/sec, 735 secs
lola: sara is running 740 secs || 26712219 markings, 221798910 edges, 30021 markings/sec, 740 secs
lola: sara is running 745 secs || 26900509 markings, 223224304 edges, 37658 markings/sec, 745 secs
lola: sara is running 750 secs || 27048888 markings, 224678407 edges, 29676 markings/sec, 750 secs
lola: sara is running 755 secs || 27192821 markings, 226136894 edges, 28787 markings/sec, 755 secs
lola: sara is running 760 secs || 27329976 markings, 227589225 edges, 27431 markings/sec, 760 secs
lola: sara is running 765 secs || 27470724 markings, 229023553 edges, 28150 markings/sec, 765 secs
lola: sara is running 770 secs || 27601602 markings, 230460515 edges, 26176 markings/sec, 770 secs
lola: sara is running 775 secs || 27735387 markings, 231867774 edges, 26757 markings/sec, 775 secs
lola: sara is running 780 secs || 27869990 markings, 233294941 edges, 26921 markings/sec, 780 secs
lola: sara is running 785 secs || 28001619 markings, 234748720 edges, 26326 markings/sec, 785 secs
lola: sara is running 790 secs || 28182730 markings, 236170869 edges, 36222 markings/sec, 790 secs
lola: sara is running 795 secs || 28328879 markings, 237616421 edges, 29230 markings/sec, 795 secs
lola: sara is running 800 secs || 28460696 markings, 239061738 edges, 26363 markings/sec, 800 secs
lola: sara is running 805 secs || 28601701 markings, 240523099 edges, 28201 markings/sec, 805 secs
lola: sara is running 810 secs || 28753283 markings, 241992834 edges, 30316 markings/sec, 810 secs
lola: sara is running 815 secs || 28888310 markings, 243420305 edges, 27005 markings/sec, 815 secs
lola: sara is running 820 secs || 29028829 markings, 244860410 edges, 28104 markings/sec, 820 secs
lola: sara is running 825 secs || 29183998 markings, 246295099 edges, 31034 markings/sec, 825 secs
lola: sara is running 830 secs || 29319243 markings, 247755731 edges, 27049 markings/sec, 830 secs
lola: sara is running 835 secs || 29463148 markings, 249223556 edges, 28781 markings/sec, 835 secs
lola: sara is running 840 secs || 29592765 markings, 250656892 edges, 25923 markings/sec, 840 secs
lola: sara is running 845 secs || 29737424 markings, 252103896 edges, 28932 markings/sec, 845 secs
lola: sara is running 850 secs || 29883510 markings, 253615457 edges, 29217 markings/sec, 850 secs
lola: sara is running 855 secs || 30018005 markings, 255125951 edges, 26899 markings/sec, 855 secs
lola: sara is running 860 secs || 30135933 markings, 256618229 edges, 23586 markings/sec, 860 secs
lola: sara is running 865 secs || 30255492 markings, 258060394 edges, 23912 markings/sec, 865 secs
lola: sara is running 870 secs || 30384835 markings, 259521772 edges, 25869 markings/sec, 870 secs
lola: sara is running 875 secs || 30502388 markings, 260988209 edges, 23511 markings/sec, 875 secs
lola: sara is running 880 secs || 30619013 markings, 262460412 edges, 23325 markings/sec, 880 secs
lola: sara is running 885 secs || 30795708 markings, 263924198 edges, 35339 markings/sec, 885 secs
lola: sara is running 890 secs || 30982461 markings, 265361254 edges, 37351 markings/sec, 890 secs
lola: sara is running 895 secs || 31136579 markings, 266805997 edges, 30824 markings/sec, 895 secs
lola: sara is running 900 secs || 31293666 markings, 268302110 edges, 31417 markings/sec, 900 secs
lola: sara is running 905 secs || 31444341 markings, 269775731 edges, 30135 markings/sec, 905 secs
lola: sara is running 910 secs || 31574406 markings, 271148110 edges, 26013 markings/sec, 910 secs
lola: sara is running 915 secs || 31705937 markings, 272501663 edges, 26306 markings/sec, 915 secs
lola: sara is running 920 secs || 31829974 markings, 273900596 edges, 24807 markings/sec, 920 secs
lola: sara is running 925 secs || 31966487 markings, 275322207 edges, 27303 markings/sec, 925 secs
lola: sara is running 930 secs || 32125778 markings, 276756049 edges, 31858 markings/sec, 930 secs
lola: sara is running 935 secs || 32319898 markings, 278160601 edges, 38824 markings/sec, 935 secs
lola: sara is running 940 secs || 32507909 markings, 279539960 edges, 37602 markings/sec, 940 secs
lola: sara is running 945 secs || 32700615 markings, 280916216 edges, 38541 markings/sec, 945 secs
lola: sara is running 950 secs || 32885661 markings, 282289898 edges, 37009 markings/sec, 950 secs
lola: sara is running 955 secs || 33124594 markings, 283679788 edges, 47787 markings/sec, 955 secs
lola: sara is running 960 secs || 33293094 markings, 285131413 edges, 33700 markings/sec, 960 secs
lola: sara is running 965 secs || 33462174 markings, 286534829 edges, 33816 markings/sec, 965 secs
lola: sara is running 970 secs || 33661345 markings, 287963656 edges, 39834 markings/sec, 970 secs
lola: sara is running 975 secs || 33817312 markings, 289369653 edges, 31193 markings/sec, 975 secs
lola: sara is running 980 secs || 33986759 markings, 290822091 edges, 33889 markings/sec, 980 secs
lola: sara is running 985 secs || 34176302 markings, 292282036 edges, 37909 markings/sec, 985 secs
lola: sara is running 990 secs || 34340488 markings, 293755096 edges, 32837 markings/sec, 990 secs
lola: sara is running 995 secs || 34502660 markings, 295193576 edges, 32434 markings/sec, 995 secs
lola: sara is running 1000 secs || 34645930 markings, 296619771 edges, 28654 markings/sec, 1000 secs
lola: sara is running 1005 secs || 34815363 markings, 298038717 edges, 33887 markings/sec, 1005 secs
lola: sara is running 1010 secs || 34980919 markings, 299471754 edges, 33111 markings/sec, 1010 secs
lola: sara is running 1015 secs || 35107796 markings, 300981232 edges, 25375 markings/sec, 1015 secs
lola: sara is running 1020 secs || 35266667 markings, 302477817 edges, 31774 markings/sec, 1020 secs
lola: sara is running 1025 secs || 35421163 markings, 303968272 edges, 30899 markings/sec, 1025 secs
lola: sara is running 1030 secs || 35604006 markings, 305419396 edges, 36569 markings/sec, 1030 secs
lola: sara is running 1035 secs || 35791411 markings, 306889133 edges, 37481 markings/sec, 1035 secs
lola: sara is running 1040 secs || 35955246 markings, 308335140 edges, 32767 markings/sec, 1040 secs
lola: sara is running 1045 secs || 36103146 markings, 309799528 edges, 29580 markings/sec, 1045 secs
lola: sara is running 1050 secs || 36254269 markings, 311275154 edges, 30225 markings/sec, 1050 secs
lola: sara is running 1055 secs || 36419964 markings, 312761860 edges, 33139 markings/sec, 1055 secs
lola: sara is running 1060 secs || 36589313 markings, 314191625 edges, 33870 markings/sec, 1060 secs
lola: sara is running 1065 secs || 36767636 markings, 315651079 edges, 35665 markings/sec, 1065 secs
lola: sara is running 1070 secs || 36959430 markings, 317101489 edges, 38359 markings/sec, 1070 secs
lola: sara is running 1075 secs || 37091928 markings, 318550105 edges, 26500 markings/sec, 1075 secs
lola: sara is running 1080 secs || 37255701 markings, 319945187 edges, 32755 markings/sec, 1080 secs
lola: sara is running 1085 secs || 37457128 markings, 321358923 edges, 40285 markings/sec, 1085 secs
lola: sara is running 1090 secs || 37618395 markings, 322803987 edges, 32253 markings/sec, 1090 secs
lola: sara is running 1095 secs || 37766082 markings, 324259930 edges, 29537 markings/sec, 1095 secs
lola: sara is running 1100 secs || 37916748 markings, 325706228 edges, 30133 markings/sec, 1100 secs
lola: sara is running 1105 secs || 38089201 markings, 327185079 edges, 34491 markings/sec, 1105 secs
lola: sara is running 1110 secs || 38216456 markings, 328657947 edges, 25451 markings/sec, 1110 secs
lola: sara is running 1115 secs || 38331259 markings, 330080624 edges, 22961 markings/sec, 1115 secs
lola: sara is running 1120 secs || 38529909 markings, 331515411 edges, 39730 markings/sec, 1120 secs
lola: sara is running 1125 secs || 38713381 markings, 332934576 edges, 36694 markings/sec, 1125 secs
lola: sara is running 1130 secs || 38906088 markings, 334361215 edges, 38541 markings/sec, 1130 secs
lola: sara is running 1135 secs || 39072846 markings, 335792162 edges, 33352 markings/sec, 1135 secs
lola: sara is running 1140 secs || 39238818 markings, 337225572 edges, 33194 markings/sec, 1140 secs
lola: sara is running 1145 secs || 39416364 markings, 338668867 edges, 35509 markings/sec, 1145 secs
lola: sara is running 1150 secs || 39594231 markings, 340109020 edges, 35573 markings/sec, 1150 secs
lola: sara is running 1155 secs || 39792516 markings, 341580505 edges, 39657 markings/sec, 1155 secs
lola: sara is running 1160 secs || 39942219 markings, 343022187 edges, 29941 markings/sec, 1160 secs
lola: sara is running 1165 secs || 40089511 markings, 344477771 edges, 29458 markings/sec, 1165 secs
lola: sara is running 1170 secs || 40243721 markings, 345897655 edges, 30842 markings/sec, 1170 secs
lola: sara is running 1175 secs || 40399331 markings, 347337079 edges, 31122 markings/sec, 1175 secs
lola: sara is running 1180 secs || 40598550 markings, 348744677 edges, 39844 markings/sec, 1180 secs
lola: sara is running 1185 secs || 40769715 markings, 350188360 edges, 34233 markings/sec, 1185 secs
lola: sara is running 1190 secs || 40931865 markings, 351662290 edges, 32430 markings/sec, 1190 secs
lola: sara is running 1195 secs || 41092699 markings, 353102193 edges, 32167 markings/sec, 1195 secs
lola: sara is running 1200 secs || 41268661 markings, 354550014 edges, 35192 markings/sec, 1200 secs
lola: sara is running 1205 secs || 41450496 markings, 356015957 edges, 36367 markings/sec, 1205 secs
lola: sara is running 1210 secs || 41626245 markings, 357477416 edges, 35150 markings/sec, 1210 secs
lola: sara is running 1215 secs || 41780620 markings, 358947195 edges, 30875 markings/sec, 1215 secs
lola: sara is running 1220 secs || 41942564 markings, 360413654 edges, 32389 markings/sec, 1220 secs
lola: sara is running 1225 secs || 42110718 markings, 361917374 edges, 33631 markings/sec, 1225 secs
lola: sara is running 1230 secs || 42275426 markings, 363424289 edges, 32942 markings/sec, 1230 secs
lola: sara is running 1235 secs || 42426305 markings, 364916033 edges, 30176 markings/sec, 1235 secs
lola: sara is running 1240 secs || 42590030 markings, 366417864 edges, 32745 markings/sec, 1240 secs
lola: sara is running 1245 secs || 42764298 markings, 367858738 edges, 34854 markings/sec, 1245 secs
lola: sara is running 1250 secs || 42923036 markings, 369344912 edges, 31748 markings/sec, 1250 secs
lola: sara is running 1255 secs || 43079032 markings, 370848647 edges, 31199 markings/sec, 1255 secs
lola: sara is running 1260 secs || 43257424 markings, 372331811 edges, 35678 markings/sec, 1260 secs
lola: sara is running 1265 secs || 43418142 markings, 373808803 edges, 32144 markings/sec, 1265 secs
lola: sara is running 1270 secs || 43589268 markings, 375278881 edges, 34225 markings/sec, 1270 secs
lola: sara is running 1275 secs || 43752530 markings, 376765760 edges, 32652 markings/sec, 1275 secs
lola: sara is running 1280 secs || 43937680 markings, 378233190 edges, 37030 markings/sec, 1280 secs
lola: sara is running 1285 secs || 44112985 markings, 379703544 edges, 35061 markings/sec, 1285 secs
lola: sara is running 1290 secs || 44268504 markings, 381219602 edges, 31104 markings/sec, 1290 secs
lola: sara is running 1295 secs || 44435657 markings, 382713523 edges, 33431 markings/sec, 1295 secs
lola: sara is running 1300 secs || 44614177 markings, 384219189 edges, 35704 markings/sec, 1300 secs
lola: sara is running 1305 secs || 44777885 markings, 385721014 edges, 32742 markings/sec, 1305 secs
lola: sara is running 1310 secs || 44933005 markings, 387217579 edges, 31024 markings/sec, 1310 secs
lola: sara is running 1315 secs || 45123619 markings, 388711317 edges, 38123 markings/sec, 1315 secs
lola: sara is running 1320 secs || 45288142 markings, 390236521 edges, 32905 markings/sec, 1320 secs
lola: sara is running 1325 secs || 45461876 markings, 391751551 edges, 34747 markings/sec, 1325 secs
lola: sara is running 1330 secs || 45629847 markings, 393259886 edges, 33594 markings/sec, 1330 secs
lola: sara is running 1335 secs || 45800800 markings, 394750699 edges, 34191 markings/sec, 1335 secs
lola: sara is running 1340 secs || 45971233 markings, 396251275 edges, 34087 markings/sec, 1340 secs
lola: sara is running 1345 secs || 46149574 markings, 397769993 edges, 35668 markings/sec, 1345 secs
lola: sara is running 1350 secs || 46318728 markings, 399282327 edges, 33831 markings/sec, 1350 secs
lola: sara is running 1355 secs || 46490578 markings, 400791013 edges, 34370 markings/sec, 1355 secs
lola: sara is running 1360 secs || 46650905 markings, 402274093 edges, 32065 markings/sec, 1360 secs
lola: sara is running 1365 secs || 46777753 markings, 403745168 edges, 25370 markings/sec, 1365 secs
lola: sara is running 1370 secs || 46930317 markings, 405218854 edges, 30513 markings/sec, 1370 secs
lola: sara is running 1375 secs || 47082762 markings, 406684106 edges, 30489 markings/sec, 1375 secs
lola: sara is running 1380 secs || 47216213 markings, 408140402 edges, 26690 markings/sec, 1380 secs
lola: sara is running 1385 secs || 47322868 markings, 409545161 edges, 21331 markings/sec, 1385 secs
lola: sara is running 1390 secs || 47475033 markings, 410969213 edges, 30433 markings/sec, 1390 secs
lola: sara is running 1395 secs || 47620334 markings, 412435058 edges, 29060 markings/sec, 1395 secs
lola: sara is running 1400 secs || 47783090 markings, 413864620 edges, 32551 markings/sec, 1400 secs
lola: sara is running 1405 secs || 47918279 markings, 415291181 edges, 27038 markings/sec, 1405 secs
lola: sara is running 1410 secs || 48076218 markings, 416702014 edges, 31588 markings/sec, 1410 secs
lola: sara is running 1415 secs || 48256354 markings, 418100458 edges, 36027 markings/sec, 1415 secs
lola: sara is running 1420 secs || 48428422 markings, 419448118 edges, 34414 markings/sec, 1420 secs
lola: sara is running 1425 secs || 48592994 markings, 420896811 edges, 32914 markings/sec, 1425 secs
lola: sara is running 1430 secs || 48760342 markings, 422347582 edges, 33470 markings/sec, 1430 secs
lola: sara is running 1435 secs || 48927948 markings, 423780202 edges, 33521 markings/sec, 1435 secs
lola: sara is running 1440 secs || 49069655 markings, 425171339 edges, 28341 markings/sec, 1440 secs
lola: sara is running 1445 secs || 49234800 markings, 426623130 edges, 33029 markings/sec, 1445 secs
lola: sara is running 1450 secs || 49405720 markings, 428063390 edges, 34184 markings/sec, 1450 secs
lola: sara is running 1455 secs || 49574890 markings, 429484286 edges, 33834 markings/sec, 1455 secs
lola: sara is running 1460 secs || 49710948 markings, 430940936 edges, 27212 markings/sec, 1460 secs
lola: sara is running 1465 secs || 49889351 markings, 432325005 edges, 35681 markings/sec, 1465 secs
lola: sara is running 1470 secs || 50044218 markings, 433768895 edges, 30973 markings/sec, 1470 secs
lola: sara is running 1475 secs || 50204667 markings, 435238672 edges, 32090 markings/sec, 1475 secs
lola: sara is running 1480 secs || 50341516 markings, 436674263 edges, 27370 markings/sec, 1480 secs
lola: sara is running 1485 secs || 50489218 markings, 438101038 edges, 29540 markings/sec, 1485 secs
lola: sara is running 1490 secs || 50637791 markings, 439575761 edges, 29715 markings/sec, 1490 secs
lola: sara is running 1495 secs || 50798485 markings, 441056968 edges, 32139 markings/sec, 1495 secs
lola: sara is running 1500 secs || 50951336 markings, 442521396 edges, 30570 markings/sec, 1500 secs
lola: sara is running 1505 secs || 51100496 markings, 444000525 edges, 29832 markings/sec, 1505 secs
lola: sara is running 1510 secs || 51258085 markings, 445443398 edges, 31518 markings/sec, 1510 secs
lola: sara is running 1515 secs || 51409598 markings, 446888207 edges, 30303 markings/sec, 1515 secs
lola: sara is running 1520 secs || 51572721 markings, 448278010 edges, 32625 markings/sec, 1520 secs
lola: sara is running 1525 secs || 51728186 markings, 449708658 edges, 31093 markings/sec, 1525 secs
lola: sara is running 1530 secs || 51873093 markings, 451137306 edges, 28981 markings/sec, 1530 secs
lola: sara is running 1535 secs || 52027577 markings, 452609127 edges, 30897 markings/sec, 1535 secs
lola: sara is running 1540 secs || 52185593 markings, 454104791 edges, 31603 markings/sec, 1540 secs
lola: sara is running 1545 secs || 52335850 markings, 455587960 edges, 30051 markings/sec, 1545 secs
lola: sara is running 1550 secs || 52502970 markings, 457024450 edges, 33424 markings/sec, 1550 secs
lola: sara is running 1555 secs || 52663602 markings, 458513918 edges, 32126 markings/sec, 1555 secs
lola: sara is running 1560 secs || 52839342 markings, 459984510 edges, 35148 markings/sec, 1560 secs
lola: sara is running 1565 secs || 53001760 markings, 461480061 edges, 32484 markings/sec, 1565 secs
lola: sara is running 1570 secs || 53166169 markings, 462965247 edges, 32882 markings/sec, 1570 secs
lola: sara is running 1575 secs || 53322048 markings, 464420860 edges, 31176 markings/sec, 1575 secs
lola: sara is running 1580 secs || 53476232 markings, 465828741 edges, 30837 markings/sec, 1580 secs
lola: sara is running 1585 secs || 53636295 markings, 467247359 edges, 32013 markings/sec, 1585 secs
lola: sara is running 1590 secs || 53795788 markings, 468629306 edges, 31899 markings/sec, 1590 secs
lola: sara is running 1595 secs || 53950894 markings, 470031636 edges, 31021 markings/sec, 1595 secs
lola: sara is running 1600 secs || 54106835 markings, 471417530 edges, 31188 markings/sec, 1600 secs
lola: sara is running 1605 secs || 54281470 markings, 472787936 edges, 34927 markings/sec, 1605 secs
lola: sara is running 1610 secs || 54426424 markings, 474250009 edges, 28991 markings/sec, 1610 secs
lola: sara is running 1615 secs || 54585292 markings, 475707532 edges, 31774 markings/sec, 1615 secs
lola: sara is running 1620 secs || 54748792 markings, 477114349 edges, 32700 markings/sec, 1620 secs
lola: sara is running 1625 secs || 54910288 markings, 478575513 edges, 32299 markings/sec, 1625 secs
lola: sara is running 1630 secs || 55065818 markings, 480052101 edges, 31106 markings/sec, 1630 secs
lola: sara is running 1635 secs || 55220568 markings, 481514324 edges, 30950 markings/sec, 1635 secs
lola: sara is running 1640 secs || 55379690 markings, 482972753 edges, 31824 markings/sec, 1640 secs
lola: sara is running 1645 secs || 55539093 markings, 484437711 edges, 31881 markings/sec, 1645 secs
lola: sara is running 1650 secs || 55694571 markings, 485899651 edges, 31096 markings/sec, 1650 secs
lola: sara is running 1655 secs || 55848487 markings, 487394435 edges, 30783 markings/sec, 1655 secs
lola: sara is running 1660 secs || 56003100 markings, 488888921 edges, 30923 markings/sec, 1660 secs
lola: sara is running 1665 secs || 56157467 markings, 490307223 edges, 30873 markings/sec, 1665 secs
lola: sara is running 1670 secs || 56311572 markings, 491762540 edges, 30821 markings/sec, 1670 secs
lola: sara is running 1675 secs || 56469829 markings, 493252642 edges, 31651 markings/sec, 1675 secs
lola: sara is running 1680 secs || 56618735 markings, 494695769 edges, 29781 markings/sec, 1680 secs
lola: sara is running 1685 secs || 56796702 markings, 496170882 edges, 35593 markings/sec, 1685 secs
lola: sara is running 1690 secs || 57004952 markings, 497655496 edges, 41650 markings/sec, 1690 secs
lola: sara is running 1695 secs || 57187400 markings, 499108405 edges, 36490 markings/sec, 1695 secs
lola: sara is running 1700 secs || 57362514 markings, 500575400 edges, 35023 markings/sec, 1700 secs
lola: sara is running 1705 secs || 57550845 markings, 502055624 edges, 37666 markings/sec, 1705 secs
lola: sara is running 1710 secs || 57715211 markings, 503511468 edges, 32873 markings/sec, 1710 secs
lola: sara is running 1715 secs || 57874769 markings, 504936566 edges, 31912 markings/sec, 1715 secs
lola: sara is running 1720 secs || 58013967 markings, 506332061 edges, 27840 markings/sec, 1720 secs
lola: sara is running 1725 secs || 58159363 markings, 507793755 edges, 29079 markings/sec, 1725 secs
lola: sara is running 1730 secs || 58300801 markings, 509223307 edges, 28288 markings/sec, 1730 secs
lola: sara is running 1735 secs || 58454518 markings, 510660290 edges, 30743 markings/sec, 1735 secs
lola: sara is running 1740 secs || 58613836 markings, 512089816 edges, 31864 markings/sec, 1740 secs
lola: sara is running 1745 secs || 58773066 markings, 513543986 edges, 31846 markings/sec, 1745 secs
lola: sara is running 1750 secs || 58915477 markings, 514962151 edges, 28482 markings/sec, 1750 secs
lola: sara is running 1755 secs || 59056737 markings, 516374587 edges, 28252 markings/sec, 1755 secs
lola: sara is running 1760 secs || 59208353 markings, 517847912 edges, 30323 markings/sec, 1760 secs
lola: sara is running 1765 secs || 59350467 markings, 519325680 edges, 28423 markings/sec, 1765 secs
lola: sara is running 1770 secs || 59486834 markings, 520774756 edges, 27273 markings/sec, 1770 secs
lola: sara is running 1775 secs || 59615909 markings, 522144063 edges, 25815 markings/sec, 1775 secs
lola: sara is running 1780 secs || 59745508 markings, 523542376 edges, 25920 markings/sec, 1780 secs
lola: sara is running 1785 secs || 59924842 markings, 524998146 edges, 35867 markings/sec, 1785 secs
lola: sara is running 1790 secs || 60105708 markings, 526453383 edges, 36173 markings/sec, 1790 secs
lola: sara is running 1795 secs || 60286801 markings, 527818935 edges, 36219 markings/sec, 1795 secs
lola: sara is running 1800 secs || 60411833 markings, 529224171 edges, 25006 markings/sec, 1800 secs
lola: sara is running 1805 secs || 60545025 markings, 530656753 edges, 26638 markings/sec, 1805 secs
lola: sara is running 1810 secs || 60683002 markings, 532054575 edges, 27595 markings/sec, 1810 secs
lola: sara is running 1815 secs || 60822582 markings, 533471475 edges, 27916 markings/sec, 1815 secs
lola: sara is running 1820 secs || 60958550 markings, 534890830 edges, 27194 markings/sec, 1820 secs
lola: sara is running 1825 secs || 61097651 markings, 536320091 edges, 27820 markings/sec, 1825 secs
lola: sara is running 1830 secs || 61245474 markings, 537756716 edges, 29565 markings/sec, 1830 secs
lola: sara is running 1835 secs || 61434626 markings, 539194232 edges, 37830 markings/sec, 1835 secs
lola: sara is running 1840 secs || 61612360 markings, 540654493 edges, 35547 markings/sec, 1840 secs
lola: sara is running 1845 secs || 61790123 markings, 542124174 edges, 35553 markings/sec, 1845 secs
lola: sara is running 1850 secs || 61927016 markings, 543537667 edges, 27379 markings/sec, 1850 secs
lola: sara is running 1855 secs || 62065511 markings, 544990295 edges, 27699 markings/sec, 1855 secs
lola: sara is running 1860 secs || 62211822 markings, 546439120 edges, 29262 markings/sec, 1860 secs
lola: sara is running 1865 secs || 62390153 markings, 547912642 edges, 35666 markings/sec, 1865 secs
lola: sara is running 1870 secs || 62533914 markings, 549287540 edges, 28752 markings/sec, 1870 secs
lola: sara is running 1875 secs || 62671099 markings, 550665382 edges, 27437 markings/sec, 1875 secs
lola: sara is running 1880 secs || 62811177 markings, 552037144 edges, 28016 markings/sec, 1880 secs
lola: sara is running 1885 secs || 62950873 markings, 553469494 edges, 27939 markings/sec, 1885 secs
lola: sara is running 1890 secs || 63094883 markings, 554821941 edges, 28802 markings/sec, 1890 secs
lola: sara is running 1895 secs || 63253253 markings, 556185766 edges, 31674 markings/sec, 1895 secs
lola: sara is running 1900 secs || 63406259 markings, 557526912 edges, 30601 markings/sec, 1900 secs
lola: sara is running 1905 secs || 63560271 markings, 558896531 edges, 30802 markings/sec, 1905 secs
lola: sara is running 1910 secs || 63688623 markings, 560311546 edges, 25670 markings/sec, 1910 secs
lola: sara is running 1915 secs || 63846193 markings, 561680378 edges, 31514 markings/sec, 1915 secs
lola: sara is running 1920 secs || 63989102 markings, 563072196 edges, 28582 markings/sec, 1920 secs
lola: sara is running 1925 secs || 64113120 markings, 564507188 edges, 24804 markings/sec, 1925 secs
lola: sara is running 1930 secs || 64258642 markings, 565881044 edges, 29104 markings/sec, 1930 secs
lola: sara is running 1935 secs || 64407135 markings, 567233434 edges, 29699 markings/sec, 1935 secs
lola: sara is running 1940 secs || 64556031 markings, 568621691 edges, 29779 markings/sec, 1940 secs
lola: sara is running 1945 secs || 64685464 markings, 570070130 edges, 25887 markings/sec, 1945 secs
lola: sara is running 1950 secs || 64824764 markings, 571475322 edges, 27860 markings/sec, 1950 secs
lola: sara is running 1955 secs || 64975537 markings, 572837230 edges, 30155 markings/sec, 1955 secs
lola: sara is running 1960 secs || 65112620 markings, 574279560 edges, 27417 markings/sec, 1960 secs
lola: sara is running 1965 secs || 65243610 markings, 575709850 edges, 26198 markings/sec, 1965 secs
lola: sara is running 1970 secs || 65405951 markings, 577033049 edges, 32468 markings/sec, 1970 secs
lola: sara is running 1975 secs || 65575746 markings, 578376577 edges, 33959 markings/sec, 1975 secs
lola: sara is running 1980 secs || 65743759 markings, 579801451 edges, 33603 markings/sec, 1980 secs
lola: sara is running 1985 secs || 65898429 markings, 581191671 edges, 30934 markings/sec, 1985 secs
lola: sara is running 1990 secs || 66047306 markings, 582631689 edges, 29775 markings/sec, 1990 secs
lola: sara is running 1995 secs || 66196424 markings, 584092794 edges, 29824 markings/sec, 1995 secs
lola: sara is running 2000 secs || 66334740 markings, 585566017 edges, 27663 markings/sec, 2000 secs
lola: sara is running 2005 secs || 66462498 markings, 587037244 edges, 25552 markings/sec, 2005 secs
lola: sara is running 2010 secs || 66593575 markings, 588495550 edges, 26215 markings/sec, 2010 secs
lola: sara is running 2015 secs || 66733485 markings, 589949682 edges, 27982 markings/sec, 2015 secs
lola: sara is running 2020 secs || 66953906 markings, 591434690 edges, 44084 markings/sec, 2020 secs
lola: sara is running 2025 secs || 67017234 markings, 592740459 edges, 12666 markings/sec, 2025 secs
lola: sara is running 2030 secs || 67170152 markings, 594166164 edges, 30584 markings/sec, 2030 secs
lola: sara is running 2035 secs || 67321695 markings, 595577716 edges, 30309 markings/sec, 2035 secs
lola: sara is running 2040 secs || 67471020 markings, 596952288 edges, 29865 markings/sec, 2040 secs
lola: sara is running 2045 secs || 67608018 markings, 598371356 edges, 27400 markings/sec, 2045 secs
lola: sara is running 2050 secs || 67747003 markings, 599798469 edges, 27797 markings/sec, 2050 secs
lola: sara is running 2055 secs || 67889190 markings, 601136154 edges, 28437 markings/sec, 2055 secs
lola: sara is running 2060 secs || 68018964 markings, 602495740 edges, 25955 markings/sec, 2060 secs
lola: sara is running 2065 secs || 68167575 markings, 603908185 edges, 29722 markings/sec, 2065 secs
lola: sara is running 2070 secs || 68289185 markings, 605296055 edges, 24322 markings/sec, 2070 secs
lola: sara is running 2075 secs || 68416855 markings, 606662838 edges, 25534 markings/sec, 2075 secs
lola: sara is running 2080 secs || 68543401 markings, 607997192 edges, 25309 markings/sec, 2080 secs
lola: sara is running 2085 secs || 68661514 markings, 609404702 edges, 23623 markings/sec, 2085 secs
lola: sara is running 2090 secs || 68806911 markings, 610845059 edges, 29079 markings/sec, 2090 secs
lola: sara is running 2095 secs || 68953449 markings, 612288316 edges, 29308 markings/sec, 2095 secs
lola: sara is running 2100 secs || 69096794 markings, 613667306 edges, 28669 markings/sec, 2100 secs
lola: sara is running 2105 secs || 69237642 markings, 615085157 edges, 28170 markings/sec, 2105 secs
lola: sara is running 2110 secs || 69382840 markings, 616505771 edges, 29040 markings/sec, 2110 secs
lola: sara is running 2115 secs || 69528751 markings, 617909994 edges, 29182 markings/sec, 2115 secs
lola: sara is running 2120 secs || 69672590 markings, 619372961 edges, 28768 markings/sec, 2120 secs
lola: sara is running 2125 secs || 69815868 markings, 620814234 edges, 28656 markings/sec, 2125 secs
lola: sara is running 2130 secs || 69954962 markings, 622249227 edges, 27819 markings/sec, 2130 secs
lola: sara is running 2135 secs || 70089328 markings, 623680196 edges, 26873 markings/sec, 2135 secs
lola: sara is running 2140 secs || 70227832 markings, 625110418 edges, 27701 markings/sec, 2140 secs
lola: sara is running 2145 secs || 70360094 markings, 626537951 edges, 26452 markings/sec, 2145 secs
lola: sara is running 2150 secs || 70495019 markings, 627984775 edges, 26985 markings/sec, 2150 secs
lola: sara is running 2155 secs || 70631378 markings, 629376435 edges, 27272 markings/sec, 2155 secs
lola: sara is running 2160 secs || 70770131 markings, 630780331 edges, 27751 markings/sec, 2160 secs
lola: sara is running 2165 secs || 70902812 markings, 632179029 edges, 26536 markings/sec, 2165 secs
lola: sara is running 2170 secs || 71040504 markings, 633595255 edges, 27538 markings/sec, 2170 secs
lola: sara is running 2175 secs || 71180194 markings, 634947052 edges, 27938 markings/sec, 2175 secs
lola: sara is running 2180 secs || 71310820 markings, 636338029 edges, 26125 markings/sec, 2180 secs
lola: sara is running 2185 secs || 71442883 markings, 637737263 edges, 26413 markings/sec, 2185 secs
lola: sara is running 2190 secs || 71580478 markings, 639121557 edges, 27519 markings/sec, 2190 secs
lola: sara is running 2195 secs || 71719268 markings, 640484728 edges, 27758 markings/sec, 2195 secs
lola: sara is running 2200 secs || 71858583 markings, 641937332 edges, 27863 markings/sec, 2200 secs
lola: sara is running 2205 secs || 71999173 markings, 643390894 edges, 28118 markings/sec, 2205 secs
lola: sara is running 2210 secs || 72142720 markings, 644829507 edges, 28709 markings/sec, 2210 secs
lola: sara is running 2215 secs || 72273990 markings, 646230817 edges, 26254 markings/sec, 2215 secs
lola: sara is running 2220 secs || 72406963 markings, 647643739 edges, 26595 markings/sec, 2220 secs
lola: sara is running 2225 secs || 72544142 markings, 649054189 edges, 27436 markings/sec, 2225 secs
lola: sara is running 2230 secs || 72675098 markings, 650474295 edges, 26191 markings/sec, 2230 secs
lola: sara is running 2235 secs || 72811932 markings, 651895416 edges, 27367 markings/sec, 2235 secs
lola: sara is running 2240 secs || 72996654 markings, 653250926 edges, 36944 markings/sec, 2240 secs
lola: sara is running 2245 secs || 73148832 markings, 654638041 edges, 30436 markings/sec, 2245 secs
lola: sara is running 2250 secs || 73283220 markings, 656027926 edges, 26878 markings/sec, 2250 secs
lola: sara is running 2255 secs || 73443543 markings, 657463072 edges, 32065 markings/sec, 2255 secs
lola: sara is running 2260 secs || 73582813 markings, 658955236 edges, 27854 markings/sec, 2260 secs
lola: sara is running 2265 secs || 73723693 markings, 660433449 edges, 28176 markings/sec, 2265 secs
lola: sara is running 2270 secs || 73868772 markings, 661802506 edges, 29016 markings/sec, 2270 secs
lola: sara is running 2275 secs || 74024594 markings, 663169617 edges, 31164 markings/sec, 2275 secs
lola: sara is running 2280 secs || 74172324 markings, 664582189 edges, 29546 markings/sec, 2280 secs
lola: sara is running 2285 secs || 74301184 markings, 666028291 edges, 25772 markings/sec, 2285 secs
lola: sara is running 2290 secs || 74436387 markings, 667459427 edges, 27041 markings/sec, 2290 secs
lola: sara is running 2295 secs || 74583454 markings, 668804382 edges, 29413 markings/sec, 2295 secs
lola: sara is running 2300 secs || 74722755 markings, 670258772 edges, 27860 markings/sec, 2300 secs
lola: sara is running 2305 secs || 74880962 markings, 671633966 edges, 31641 markings/sec, 2305 secs
lola: sara is running 2310 secs || 75037418 markings, 673068127 edges, 31291 markings/sec, 2310 secs
lola: sara is running 2315 secs || 75174031 markings, 674559031 edges, 27323 markings/sec, 2315 secs
lola: sara is running 2320 secs || 75316370 markings, 676012022 edges, 28468 markings/sec, 2320 secs
lola: sara is running 2325 secs || 75463514 markings, 677380464 edges, 29429 markings/sec, 2325 secs
lola: sara is running 2330 secs || 75603351 markings, 678832903 edges, 27967 markings/sec, 2330 secs
lola: sara is running 2335 secs || 75750456 markings, 680300422 edges, 29421 markings/sec, 2335 secs
lola: sara is running 2340 secs || 75894033 markings, 681761776 edges, 28715 markings/sec, 2340 secs
lola: sara is running 2345 secs || 76074863 markings, 683191015 edges, 36166 markings/sec, 2345 secs
lola: sara is running 2350 secs || 76225793 markings, 684617438 edges, 30186 markings/sec, 2350 secs
lola: sara is running 2355 secs || 76399506 markings, 686048512 edges, 34743 markings/sec, 2355 secs
lola: sara is running 2360 secs || 76604361 markings, 687491859 edges, 40971 markings/sec, 2360 secs
lola: sara is running 2365 secs || 76742345 markings, 688926248 edges, 27597 markings/sec, 2365 secs
lola: sara is running 2370 secs || 76890808 markings, 690349342 edges, 29693 markings/sec, 2370 secs
lola: sara is running 2375 secs || 77048442 markings, 691785535 edges, 31527 markings/sec, 2375 secs
lola: sara is running 2380 secs || 77207835 markings, 693213432 edges, 31879 markings/sec, 2380 secs
lola: sara is running 2385 secs || 77366560 markings, 694663579 edges, 31745 markings/sec, 2385 secs
lola: sara is running 2390 secs || 77535661 markings, 696115055 edges, 33820 markings/sec, 2390 secs
lola: sara is running 2395 secs || 77707006 markings, 697561533 edges, 34269 markings/sec, 2395 secs
lola: sara is running 2400 secs || 77857008 markings, 699026293 edges, 30000 markings/sec, 2400 secs
lola: sara is running 2405 secs || 77986271 markings, 700413914 edges, 25853 markings/sec, 2405 secs
lola: sara is running 2410 secs || 78097082 markings, 701780513 edges, 22162 markings/sec, 2410 secs
lola: sara is running 2415 secs || 78232528 markings, 703155974 edges, 27089 markings/sec, 2415 secs
lola: sara is running 2420 secs || 78387034 markings, 704555337 edges, 30901 markings/sec, 2420 secs
lola: sara is running 2425 secs || 78527983 markings, 706013641 edges, 28190 markings/sec, 2425 secs
lola: sara is running 2430 secs || 78651703 markings, 707473544 edges, 24744 markings/sec, 2430 secs
lola: sara is running 2435 secs || 78803245 markings, 708908071 edges, 30308 markings/sec, 2435 secs
lola: sara is running 2440 secs || 78947509 markings, 710363156 edges, 28853 markings/sec, 2440 secs
lola: sara is running 2445 secs || 79084470 markings, 711836302 edges, 27392 markings/sec, 2445 secs
lola: sara is running 2450 secs || 79228337 markings, 713268089 edges, 28773 markings/sec, 2450 secs
lola: sara is running 2455 secs || 79366338 markings, 714726957 edges, 27600 markings/sec, 2455 secs
lola: sara is running 2460 secs || 79517955 markings, 716117664 edges, 30323 markings/sec, 2460 secs
lola: sara is running 2465 secs || 79654616 markings, 717495449 edges, 27332 markings/sec, 2465 secs
lola: sara is running 2470 secs || 79811761 markings, 718921606 edges, 31429 markings/sec, 2470 secs
lola: sara is running 2475 secs || 79980544 markings, 720343439 edges, 33757 markings/sec, 2475 secs
lola: sara is running 2480 secs || 80130257 markings, 721797557 edges, 29943 markings/sec, 2480 secs
lola: sara is running 2485 secs || 80290620 markings, 723257050 edges, 32073 markings/sec, 2485 secs
lola: sara is running 2490 secs || 80426784 markings, 724698036 edges, 27233 markings/sec, 2490 secs
lola: sara is running 2495 secs || 80565573 markings, 726151374 edges, 27758 markings/sec, 2495 secs
lola: sara is running 2500 secs || 80702737 markings, 727579596 edges, 27433 markings/sec, 2500 secs
lola: sara is running 2505 secs || 80843798 markings, 728962364 edges, 28212 markings/sec, 2505 secs
lola: sara is running 2510 secs || 80971526 markings, 730359179 edges, 25546 markings/sec, 2510 secs
lola: sara is running 2515 secs || 81105327 markings, 731727780 edges, 26760 markings/sec, 2515 secs
lola: sara is running 2520 secs || 81244358 markings, 733115363 edges, 27806 markings/sec, 2520 secs
lola: sara is running 2525 secs || 81373416 markings, 734480100 edges, 25812 markings/sec, 2525 secs
lola: sara is running 2530 secs || 81506807 markings, 735877842 edges, 26678 markings/sec, 2530 secs
lola: sara is running 2535 secs || 81676496 markings, 737246639 edges, 33938 markings/sec, 2535 secs
lola: sara is running 2540 secs || 81814980 markings, 738693331 edges, 27697 markings/sec, 2540 secs
lola: sara is running 2545 secs || 81953365 markings, 740126445 edges, 27677 markings/sec, 2545 secs
lola: sara is running 2550 secs || 82098999 markings, 741477301 edges, 29127 markings/sec, 2550 secs
lola: sara is running 2555 secs || 82236421 markings, 742895012 edges, 27484 markings/sec, 2555 secs
lola: sara is running 2560 secs || 82388150 markings, 744336130 edges, 30346 markings/sec, 2560 secs
lola: sara is running 2565 secs || 82527056 markings, 745787057 edges, 27781 markings/sec, 2565 secs
lola: sara is running 2570 secs || 82673834 markings, 747226873 edges, 29356 markings/sec, 2570 secs
lola: sara is running 2575 secs || 82810349 markings, 748641225 edges, 27303 markings/sec, 2575 secs
lola: sara is running 2580 secs || 82957811 markings, 750077168 edges, 29492 markings/sec, 2580 secs
lola: sara is running 2585 secs || 83125366 markings, 751525860 edges, 33511 markings/sec, 2585 secs
lola: sara is running 2590 secs || 83287713 markings, 753036306 edges, 32469 markings/sec, 2590 secs
lola: sara is running 2595 secs || 83448085 markings, 754535898 edges, 32074 markings/sec, 2595 secs
lola: sara is running 2600 secs || 83572689 markings, 755978248 edges, 24921 markings/sec, 2600 secs
lola: sara is running 2605 secs || 83714506 markings, 757428739 edges, 28363 markings/sec, 2605 secs
lola: sara is running 2610 secs || 83862750 markings, 758906442 edges, 29649 markings/sec, 2610 secs
lola: sara is running 2615 secs || 84003010 markings, 760389784 edges, 28052 markings/sec, 2615 secs
lola: sara is running 2620 secs || 84143411 markings, 761880016 edges, 28080 markings/sec, 2620 secs
lola: sara is running 2625 secs || 84282136 markings, 763377770 edges, 27745 markings/sec, 2625 secs
lola: sara is running 2630 secs || 84444498 markings, 764894090 edges, 32472 markings/sec, 2630 secs
lola: sara is running 2635 secs || 84584665 markings, 766279991 edges, 28033 markings/sec, 2635 secs
lola: sara is running 2640 secs || 84709480 markings, 767676612 edges, 24963 markings/sec, 2640 secs
lola: sara is running 2645 secs || 84831126 markings, 769050224 edges, 24329 markings/sec, 2645 secs
lola: sara is running 2650 secs || 84962312 markings, 770421052 edges, 26237 markings/sec, 2650 secs
lola: sara is running 2655 secs || 85078495 markings, 771798312 edges, 23237 markings/sec, 2655 secs
lola: sara is running 2660 secs || 85200723 markings, 773195838 edges, 24446 markings/sec, 2660 secs
lola: sara is running 2665 secs || 85329482 markings, 774597353 edges, 25752 markings/sec, 2665 secs
lola: sara is running 2670 secs || 85453974 markings, 775990113 edges, 24898 markings/sec, 2670 secs
lola: sara is running 2675 secs || 85577658 markings, 777400735 edges, 24737 markings/sec, 2675 secs
lola: sara is running 2680 secs || 85715882 markings, 778806818 edges, 27645 markings/sec, 2680 secs
lola: sara is running 2685 secs || 85836827 markings, 780187157 edges, 24189 markings/sec, 2685 secs
lola: sara is running 2690 secs || 85962633 markings, 781578113 edges, 25161 markings/sec, 2690 secs
lola: sara is running 2695 secs || 86080892 markings, 782970272 edges, 23652 markings/sec, 2695 secs
lola: sara is running 2700 secs || 86216844 markings, 784376710 edges, 27190 markings/sec, 2700 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes yes no no yes yes no unknown no yes yes yes yes no unknown
lola:
preliminary result: no yes yes no no yes yes no unknown no yes yes yes yes no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes no no yes yes no unknown no yes yes yes yes no unknown
lola: memory consumption: 3152848 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 3153504 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no yes yes no no yes yes no unknown no yes yes yes yes no unknown
lola:
preliminary result: no yes yes no no yes yes no unknown no yes yes yes yes no unknown
lola: memory consumption: 15068 KB
lola: time consumption: 3570 seconds

BK_STOP 1526665252574

--------------------
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-12a"
export BK_EXAMINATION="ReachabilityFireability"
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-12a.tgz
mv AutoFlight-PT-12a 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-12a, examination is ReachabilityFireability"
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-152646241200140"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '' ReachabilityFireability.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 ;