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 '
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 ;