About the Execution of LoLA for CloudReconfiguration-PT-320
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6982.230 | 3570623.00 | 7190430.00 | 9205.00 | ?FTTFTTTFTTFFTTT | 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 832K
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 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 661K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-320, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646380000140
=====================================================================
--------------------
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 CloudReconfiguration-PT-320-ReachabilityFireability-00
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-01
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-02
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-03
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-04
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-05
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-06
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-07
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-08
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-09
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-10
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-11
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-12
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-13
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-14
FORMULA_NAME CloudReconfiguration-PT-320-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1526548161232
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-320 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 CloudReconfiguration-PT-320 formula ReachabilityFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityFireability @ CloudReconfiguration-PT-320 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5686/65536 symbol table entries, 641 collisions
lola: preprocessing...
lola: Size of bit vector: 2587
lola: finding significant places
lola: 2587 places, 3099 transitions, 2583 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2716 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-320-ReachabilityFireability.task
lola: A (G ((NOT FIREABLE(t1406) OR NOT FIREABLE(t650)))) : A (G ((FIREABLE(t1669) OR FIREABLE(t1030) OR FIREABLE(t368) OR (NOT FIREABLE(t2536) AND NOT FIREABLE(t756)) OR FIREABLE(t2756)))) : E (F ((FIREABLE(t1505) AND FIREABLE(t189)))) : E (F (FIREABLE(t94))) : A (G (((NOT FIREABLE(t2004) AND (NOT FIREABLE(t510) OR NOT FIREABLE(t2736))) OR FIREABLE(t2837)))) : E (F ((((FIREABLE(t1506) OR FIREABLE(t788) OR (FIREABLE(t2823) AND FIREABLE(t1238))) AND ((FIREABLE(t567) AND FIREABLE(t2221)) OR (FIREABLE(t1648) AND FIREABLE(t3084)))) OR (FIREABLE(t1413) AND FIREABLE(t1794))))) : E (F (FIREABLE(t2450))) : E (F (FIREABLE(t1012))) : A (G (NOT FIREABLE(t2090))) : E (F ((((NOT FIREABLE(t700) AND FIREABLE(t1835)) OR FIREABLE(t677)) AND FIREABLE(t821)))) : E (F ((NOT FIREABLE(t2746) AND (FIREABLE(t862) OR FIREABLE(t717)) AND NOT FIREABLE(t2022) AND NOT FIREABLE(t797) AND (FIREABLE(t2457) OR FIREABLE(t2657)) AND NOT FIREABLE(t1283)))) : A (G (NOT FIREABLE(t1744))) : A (G ((NOT FIREABLE(t1979) OR (FIREABLE(t2854) AND FIREABLE(t7)) OR FIREABLE(t100) OR (FIREABLE(t2064) AND FIREABLE(t2476) AND FIREABLE(t58) AND (NOT FIREABLE(t1752) OR NOT FIREABLE(t1797)))))) : E (F ((FIREABLE(t578) OR FIREABLE(t1279) OR FIREABLE(t2931) OR (FIREABLE(t1034) AND FIREABLE(t397)) OR (FIREABLE(t2918) AND NOT FIREABLE(t1376))))) : E (F (FIREABLE(t195))) : E (F ((FIREABLE(t1861) AND NOT FIREABLE(t2842) AND FIREABLE(t967))))
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(t94)))
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(t94)))
lola: processed formula length: 21
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t94)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-320-ReachabilityFireability-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 79 markings, 78 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2450)))
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(t2450)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t2450)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-320-ReachabilityFireability-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 70 markings, 69 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1012)))
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(t1012)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t1012)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-320-ReachabilityFireability-2-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 48 markings, 47 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t2090)))
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(t2090)))
lola: processed formula length: 27
lola: 2 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t2090)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-320-ReachabilityFireability-3-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 77 markings, 76 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t1744)))
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(t1744)))
lola: processed formula length: 27
lola: 2 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t1744)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-320-ReachabilityFireability-4-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 54 markings, 53 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t195)))
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(t195)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t195)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-320-ReachabilityFireability-5-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 72 markings, 71 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t1406) OR NOT FIREABLE(t650))))
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(t1406) OR NOT FIREABLE(t650))))
lola: processed formula length: 52
lola: 2 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t1406) AND FIREABLE(t650))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-320-ReachabilityFireability-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 62067 markings, 76050 edges, 12413 markings/sec, 0 secs
sara: warning, failure of lp_solve (at job 11)
lola: sara is running 5 secs || 132921 markings, 162722 edges, 14171 markings/sec, 5 secs
lola: sara is running 10 secs || 198769 markings, 243217 edges, 13170 markings/sec, 10 secs
lola: sara is running 15 secs || 259778 markings, 317408 edges, 12202 markings/sec, 15 secs
lola: sara is running 20 secs || 321751 markings, 392813 edges, 12395 markings/sec, 20 secs
lola: sara is running 25 secs || 388538 markings, 474763 edges, 13357 markings/sec, 25 secs
lola: sara is running 30 secs || 455543 markings, 556656 edges, 13401 markings/sec, 30 secs
lola: sara is running 35 secs || 519936 markings, 635404 edges, 12879 markings/sec, 35 secs
lola: sara is running 40 secs || 580784 markings, 709352 edges, 12170 markings/sec, 40 secs
lola: sara is running 45 secs || 642223 markings, 784233 edges, 12288 markings/sec, 45 secs
lola: sara is running 50 secs || 703312 markings, 860464 edges, 12218 markings/sec, 50 secs
lola: sara is running 55 secs || 764755 markings, 938695 edges, 12289 markings/sec, 55 secs
lola: sara is running 60 secs || 826413 markings, 1016698 edges, 12332 markings/sec, 60 secs
lola: sara is running 65 secs || 887975 markings, 1093810 edges, 12312 markings/sec, 65 secs
lola: sara is running 70 secs || 949510 markings, 1172545 edges, 12307 markings/sec, 70 secs
lola: sara is running 75 secs || 1017190 markings, 1257908 edges, 13536 markings/sec, 75 secs
lola: sara is running 80 secs || 1083203 markings, 1341416 edges, 13203 markings/sec, 80 secs
lola: sara is running 85 secs || 1150974 markings, 1428408 edges, 13554 markings/sec, 85 secs
lola: sara is running 90 secs || 1221302 markings, 1517071 edges, 14066 markings/sec, 90 secs
lola: sara is running 95 secs || 1286241 markings, 1600429 edges, 12988 markings/sec, 95 secs
lola: sara is running 100 secs || 1352360 markings, 1684542 edges, 13224 markings/sec, 100 secs
lola: sara is running 105 secs || 1422836 markings, 1774046 edges, 14095 markings/sec, 105 secs
lola: sara is running 110 secs || 1490935 markings, 1860638 edges, 13620 markings/sec, 110 secs
lola: sara is running 115 secs || 1560327 markings, 1949327 edges, 13878 markings/sec, 115 secs
lola: sara is running 120 secs || 1631274 markings, 2038102 edges, 14189 markings/sec, 120 secs
lola: sara is running 125 secs || 1699381 markings, 2126251 edges, 13621 markings/sec, 125 secs
lola: sara is running 130 secs || 1768252 markings, 2214177 edges, 13774 markings/sec, 130 secs
lola: sara is running 135 secs || 1822643 markings, 2283721 edges, 10878 markings/sec, 135 secs
lola: sara is running 140 secs || 1874752 markings, 2351337 edges, 10422 markings/sec, 140 secs
lola: sara is running 145 secs || 1934881 markings, 2430536 edges, 12026 markings/sec, 145 secs
lola: sara is running 150 secs || 1994069 markings, 2508109 edges, 11838 markings/sec, 150 secs
lola: sara is running 155 secs || 2054406 markings, 2589491 edges, 12067 markings/sec, 155 secs
lola: sara is running 160 secs || 2114221 markings, 2663264 edges, 11963 markings/sec, 160 secs
lola: sara is running 165 secs || 2174450 markings, 2737666 edges, 12046 markings/sec, 165 secs
lola: sara is running 170 secs || 2231079 markings, 2807937 edges, 11326 markings/sec, 170 secs
lola: sara is running 175 secs || 2286660 markings, 2876863 edges, 11116 markings/sec, 175 secs
lola: sara is running 180 secs || 2341050 markings, 2945694 edges, 10878 markings/sec, 180 secs
lola: sara is running 185 secs || 2393920 markings, 3013852 edges, 10574 markings/sec, 185 secs
lola: sara is running 190 secs || 2446376 markings, 3080840 edges, 10491 markings/sec, 190 secs
lola: sara is running 195 secs || 2499156 markings, 3148548 edges, 10556 markings/sec, 195 secs
lola: sara is running 200 secs || 2553034 markings, 3217780 edges, 10776 markings/sec, 200 secs
lola: sara is running 205 secs || 2606676 markings, 3287066 edges, 10728 markings/sec, 205 secs
lola: sara is running 210 secs || 2670306 markings, 3367916 edges, 12726 markings/sec, 210 secs
lola: sara is running 215 secs || 2734237 markings, 3450513 edges, 12786 markings/sec, 215 secs
lola: sara is running 220 secs || 2798631 markings, 3534382 edges, 12879 markings/sec, 220 secs
lola: sara is running 225 secs || 2866249 markings, 3620861 edges, 13524 markings/sec, 225 secs
lola: sara is running 230 secs || 2926888 markings, 3699151 edges, 12128 markings/sec, 230 secs
lola: sara is running 235 secs || 2989997 markings, 3781636 edges, 12622 markings/sec, 235 secs
lola: sara is running 240 secs || 3052757 markings, 3863373 edges, 12552 markings/sec, 240 secs
lola: sara is running 245 secs || 3120489 markings, 3948335 edges, 13546 markings/sec, 245 secs
lola: sara is running 250 secs || 3188973 markings, 4038773 edges, 13697 markings/sec, 250 secs
lola: sara is running 255 secs || 3260137 markings, 4129741 edges, 14233 markings/sec, 255 secs
lola: sara is running 260 secs || 3325631 markings, 4215036 edges, 13099 markings/sec, 260 secs
lola: sara is running 265 secs || 3392315 markings, 4301291 edges, 13337 markings/sec, 265 secs
lola: sara is running 270 secs || 3451116 markings, 4378360 edges, 11760 markings/sec, 270 secs
lola: sara is running 275 secs || 3498486 markings, 4439641 edges, 9474 markings/sec, 275 secs
lola: sara is running 280 secs || 3552316 markings, 4511546 edges, 10766 markings/sec, 280 secs
lola: sara is running 285 secs || 3608822 markings, 4586336 edges, 11301 markings/sec, 285 secs
lola: sara is running 290 secs || 3665885 markings, 4662483 edges, 11413 markings/sec, 290 secs
lola: sara is running 295 secs || 3721253 markings, 4735793 edges, 11074 markings/sec, 295 secs
lola: sara is running 300 secs || 3781199 markings, 4809461 edges, 11989 markings/sec, 300 secs
lola: sara is running 305 secs || 3833508 markings, 4873600 edges, 10462 markings/sec, 305 secs
lola: sara is running 310 secs || 3892939 markings, 4946609 edges, 11886 markings/sec, 310 secs
lola: sara is running 315 secs || 3943720 markings, 5008854 edges, 10156 markings/sec, 315 secs
lola: sara is running 320 secs || 3997831 markings, 5075351 edges, 10822 markings/sec, 320 secs
lola: sara is running 325 secs || 4052118 markings, 5141884 edges, 10857 markings/sec, 325 secs
lola: sara is running 330 secs || 4103357 markings, 5204745 edges, 10248 markings/sec, 330 secs
lola: sara is running 335 secs || 4159058 markings, 5273182 edges, 11140 markings/sec, 335 secs
lola: sara is running 340 secs || 4214884 markings, 5341830 edges, 11165 markings/sec, 340 secs
lola: sara is running 345 secs || 4273619 markings, 5414004 edges, 11747 markings/sec, 345 secs
lola: sara is running 350 secs || 4323517 markings, 5475211 edges, 9980 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown yes yes no unknown unknown no unknown unknown yes unknown
lola: memory consumption: 754960 KB
lola: time consumption: 357 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1505) AND FIREABLE(t189))))
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(t1505) AND FIREABLE(t189))))
lola: processed formula length: 44
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t1505) AND FIREABLE(t189))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-320-ReachabilityFireability-7-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 106 markings, 105 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 401 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1861) AND NOT FIREABLE(t2842) AND FIREABLE(t967))))
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(t1861) AND NOT FIREABLE(t2842) AND FIREABLE(t967))))
lola: processed formula length: 68
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t1861) AND NOT FIREABLE(t2842) AND FIREABLE(t967))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-320-ReachabilityFireability-8-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 136 markings, 135 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 459 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((NOT FIREABLE(t700) AND FIREABLE(t1835)) OR FIREABLE(t677)) AND FIREABLE(t821))))
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(t700) AND FIREABLE(t1835)) OR FIREABLE(t677)) AND FIREABLE(t821))))
lola: processed formula length: 90
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t700) AND FIREABLE(t1835)) OR FIREABLE(t677)) AND FIREABLE(t821))
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-9-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: 131 markings, 130 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t2004) AND (NOT FIREABLE(t510) OR NOT FIREABLE(t2736))) OR FIREABLE(t2837))))
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(t2004) AND (NOT FIREABLE(t510) OR NOT FIREABLE(t2736))) OR FIREABLE(t2837))))
lola: processed formula length: 100
lola: 2 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t2004) OR (FIREABLE(t510) AND FIREABLE(t2736))) AND NOT FIREABLE(t2837))
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-320-ReachabilityFireability-10-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 87 markings, 86 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 642 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t1669) OR FIREABLE(t1030) OR FIREABLE(t368) OR (NOT FIREABLE(t2536) AND NOT FIREABLE(t756)) OR FIREABLE(t2756))))
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(t1669) OR FIREABLE(t1030) OR FIREABLE(t368) OR (NOT FIREABLE(t2536) AND NOT FIREABLE(t756)) OR FIREABLE(t2756))))
lola: processed formula length: 133
lola: 2 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t1669) AND NOT FIREABLE(t1030) AND NOT FIREABLE(t368) AND (FIREABLE(t2536) OR FIREABLE(t756)) AND NOT FIREABLE(t2756))
lola: state equation: Generated DNF with 10 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-320-ReachabilityFireability-11-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 44 markings, 43 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 803 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t578) OR FIREABLE(t1279) OR FIREABLE(t2931) OR (FIREABLE(t1034) AND FIREABLE(t397)) OR (FIREABLE(t2918) AND NOT FIREABLE(t1376)))))
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(t578) OR FIREABLE(t1279) OR FIREABLE(t2931) OR (FIREABLE(t1034) AND FIREABLE(t397)) OR (FIREABLE(t2918) AND NOT FIREABLE(t1376)))))
lola: processed formula length: 151
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t578) OR FIREABLE(t1279) OR FIREABLE(t2931) OR (FIREABLE(t1034) AND FIREABLE(t397)) OR (FIREABLE(t2918) AND NOT FIREABLE(t1376)))
lola: state equation: Generated DNF with 7 literals and 5 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-320-ReachabilityFireability-12-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 71 markings, 70 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1071 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(t2746) AND (FIREABLE(t862) OR FIREABLE(t717)) AND NOT FIREABLE(t2022) AND NOT FIREABLE(t797) AND (FIREABLE(t2457) OR FIREABLE(t2657)) AND NOT FIREABLE(t1283))))
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(t2746) AND (FIREABLE(t862) OR FIREABLE(t717)) AND NOT FIREABLE(t2022) AND NOT FIREABLE(t797) AND (FIREABLE(t2457) OR FIREABLE(t2657)) AND NOT FIREABLE(t1283))))
lola: processed formula length: 182
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t2746) AND (FIREABLE(t862) OR FIREABLE(t717)) AND NOT FIREABLE(t2022) AND NOT FIREABLE(t797) AND (FIREABLE(t2457) OR FIREABLE(t2657)) AND NOT FIREABLE(t1283))
lola: state equation: Generated DNF with 24 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-320-ReachabilityFireability-13-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 1032 markings, 1530 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1606 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t1979) OR (FIREABLE(t2854) AND FIREABLE(t7)) OR FIREABLE(t100) OR (FIREABLE(t2064) AND FIREABLE(t2476) AND FIREABLE(t58) AND (NOT FIREABLE(t1752) OR NOT FIREABLE(t1797))))))
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(t1979) OR (FIREABLE(t2854) AND FIREABLE(t7)) OR FIREABLE(t100) OR (FIREABLE(t2064) AND FIREABLE(t2476) AND FIREABLE(t58) AND (NOT FIREABLE(t1752) OR NOT FIREABLE(t1797))))))
lola: processed formula length: 197
lola: 2 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t1979) AND (NOT FIREABLE(t2854) OR NOT FIREABLE(t7)) AND NOT FIREABLE(t100) AND (NOT FIREABLE(t2064) OR NOT FIREABLE(t2476) OR NOT FIREABLE(t58) OR (FIREABLE(t1752) AND FIREABLE(t1797))))
lola: state equation: Generated DNF with 34 literals and 8 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-14-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: 73 markings, 72 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((FIREABLE(t1506) OR FIREABLE(t788) OR (FIREABLE(t2823) AND FIREABLE(t1238))) AND ((FIREABLE(t567) AND FIREABLE(t2221)) OR (FIREABLE(t1648) AND FIREABLE(t3084)))) OR (FIREABLE(t1413) AND FIREABLE(t1794)))))
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(t1506) OR FIREABLE(t788) OR (FIREABLE(t2823) AND FIREABLE(t1238))) AND ((FIREABLE(t567) AND FIREABLE(t2221)) OR (FIREABLE(t1648) AND FIREABLE(t3084)))) OR (FIREABLE(t1413) AND FIREABLE(t1794)))))
lola: processed formula length: 217
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t1506) OR FIREABLE(t788) OR (FIREABLE(t2823) AND FIREABLE(t1238))) AND ((FIREABLE(t567) AND FIREABLE(t2221)) OR (FIREABLE(t1648) AND FIREABLE(t3084)))) OR (FIREABLE(t1413) AND FIREABLE(t1794)))
lola: state equation: Generated DNF with 25 literals and 7 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-320-ReachabilityFireability-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 40323 markings, 81510 edges, 8065 markings/sec, 0 secs
lola: sara is running 5 secs || 84102 markings, 173717 edges, 8756 markings/sec, 5 secs
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
FORMULA CloudReconfiguration-PT-320-ReachabilityFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t1406) OR NOT FIREABLE(t650))))
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(t1406) OR NOT FIREABLE(t650))))
lola: processed formula length: 52
lola: 2 rewrites
lola: closed formula file CloudReconfiguration-PT-320-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(t1406) AND FIREABLE(t650))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-320-ReachabilityFireability-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-320-ReachabilityFireability-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 62499 markings, 76574 edges, 12500 markings/sec, 0 secs
sara: warning, failure of lp_solve (at job 11)
lola: sara is running 5 secs || 132786 markings, 162559 edges, 14057 markings/sec, 5 secs
lola: sara is running 10 secs || 197956 markings, 242255 edges, 13034 markings/sec, 10 secs
lola: sara is running 15 secs || 258422 markings, 315744 edges, 12093 markings/sec, 15 secs
lola: sara is running 20 secs || 319752 markings, 390384 edges, 12266 markings/sec, 20 secs
lola: sara is running 25 secs || 384486 markings, 469784 edges, 12947 markings/sec, 25 secs
lola: sara is running 30 secs || 451204 markings, 551366 edges, 13344 markings/sec, 30 secs
lola: sara is running 35 secs || 514785 markings, 629074 edges, 12716 markings/sec, 35 secs
lola: sara is running 40 secs || 574696 markings, 702059 edges, 11982 markings/sec, 40 secs
lola: sara is running 45 secs || 635526 markings, 776156 edges, 12166 markings/sec, 45 secs
lola: sara is running 50 secs || 695672 markings, 850782 edges, 12029 markings/sec, 50 secs
lola: sara is running 55 secs || 755606 markings, 927088 edges, 11987 markings/sec, 55 secs
lola: sara is running 60 secs || 816577 markings, 1004188 edges, 12194 markings/sec, 60 secs
lola: sara is running 65 secs || 879230 markings, 1083127 edges, 12531 markings/sec, 65 secs
lola: sara is running 70 secs || 940825 markings, 1161802 edges, 12319 markings/sec, 70 secs
lola: sara is running 75 secs || 1003543 markings, 1241172 edges, 12544 markings/sec, 75 secs
lola: sara is running 80 secs || 1071913 markings, 1326007 edges, 13674 markings/sec, 80 secs
lola: sara is running 85 secs || 1140536 markings, 1415125 edges, 13725 markings/sec, 85 secs
lola: sara is running 90 secs || 1212519 markings, 1506309 edges, 14397 markings/sec, 90 secs
lola: sara is running 95 secs || 1277972 markings, 1589196 edges, 13091 markings/sec, 95 secs
lola: sara is running 100 secs || 1345402 markings, 1675850 edges, 13486 markings/sec, 100 secs
lola: sara is running 105 secs || 1415224 markings, 1764610 edges, 13964 markings/sec, 105 secs
lola: sara is running 110 secs || 1484636 markings, 1852063 edges, 13882 markings/sec, 110 secs
lola: sara is running 115 secs || 1554948 markings, 1942420 edges, 14062 markings/sec, 115 secs
lola: sara is running 120 secs || 1627297 markings, 2033225 edges, 14470 markings/sec, 120 secs
lola: sara is running 125 secs || 1695583 markings, 2121052 edges, 13657 markings/sec, 125 secs
lola: sara is running 130 secs || 1765556 markings, 2210741 edges, 13995 markings/sec, 130 secs
lola: sara is running 135 secs || 1820833 markings, 2281569 edges, 11055 markings/sec, 135 secs
lola: sara is running 140 secs || 1872541 markings, 2348434 edges, 10342 markings/sec, 140 secs
lola: sara is running 145 secs || 1932265 markings, 2426872 edges, 11945 markings/sec, 145 secs
lola: sara is running 150 secs || 1991490 markings, 2504687 edges, 11845 markings/sec, 150 secs
lola: sara is running 155 secs || 2052108 markings, 2586276 edges, 12124 markings/sec, 155 secs
lola: sara is running 160 secs || 2112095 markings, 2660638 edges, 11997 markings/sec, 160 secs
lola: sara is running 165 secs || 2172670 markings, 2735503 edges, 12115 markings/sec, 165 secs
lola: sara is running 170 secs || 2228706 markings, 2805048 edges, 11207 markings/sec, 170 secs
lola: sara is running 175 secs || 2285057 markings, 2874915 edges, 11270 markings/sec, 175 secs
lola: sara is running 180 secs || 2339585 markings, 2943893 edges, 10906 markings/sec, 180 secs
lola: sara is running 185 secs || 2392135 markings, 3011659 edges, 10510 markings/sec, 185 secs
lola: sara is running 190 secs || 2447524 markings, 3082422 edges, 11078 markings/sec, 190 secs
lola: sara is running 195 secs || 2502623 markings, 3152940 edges, 11020 markings/sec, 195 secs
lola: sara is running 200 secs || 2556523 markings, 3222449 edges, 10780 markings/sec, 200 secs
lola: sara is running 205 secs || 2610304 markings, 3291652 edges, 10756 markings/sec, 205 secs
lola: sara is running 210 secs || 2673415 markings, 3371732 edges, 12622 markings/sec, 210 secs
lola: sara is running 215 secs || 2737048 markings, 3454394 edges, 12727 markings/sec, 215 secs
lola: sara is running 220 secs || 2801842 markings, 3538337 edges, 12959 markings/sec, 220 secs
lola: sara is running 225 secs || 2869367 markings, 3624694 edges, 13505 markings/sec, 225 secs
lola: sara is running 230 secs || 2931724 markings, 3705810 edges, 12471 markings/sec, 230 secs
lola: sara is running 235 secs || 2995759 markings, 3789093 edges, 12807 markings/sec, 235 secs
lola: sara is running 240 secs || 3061730 markings, 3874426 edges, 13194 markings/sec, 240 secs
lola: sara is running 245 secs || 3129784 markings, 3961142 edges, 13611 markings/sec, 245 secs
lola: sara is running 250 secs || 3199100 markings, 4051926 edges, 13863 markings/sec, 250 secs
lola: sara is running 255 secs || 3270723 markings, 4142954 edges, 14325 markings/sec, 255 secs
lola: sara is running 260 secs || 3337731 markings, 4230677 edges, 13402 markings/sec, 260 secs
lola: sara is running 265 secs || 3406133 markings, 4319777 edges, 13680 markings/sec, 265 secs
lola: sara is running 270 secs || 3463141 markings, 4393753 edges, 11402 markings/sec, 270 secs
lola: sara is running 275 secs || 3513836 markings, 4459572 edges, 10139 markings/sec, 275 secs
lola: sara is running 280 secs || 3571631 markings, 4536925 edges, 11559 markings/sec, 280 secs
lola: sara is running 285 secs || 3628266 markings, 4612375 edges, 11327 markings/sec, 285 secs
lola: sara is running 290 secs || 3688631 markings, 4693425 edges, 12073 markings/sec, 290 secs
lola: sara is running 295 secs || 3745723 markings, 4765861 edges, 11418 markings/sec, 295 secs
lola: sara is running 300 secs || 3801252 markings, 4834033 edges, 11106 markings/sec, 300 secs
lola: sara is running 305 secs || 3854463 markings, 4899321 edges, 10642 markings/sec, 305 secs
lola: sara is running 310 secs || 3909612 markings, 4967015 edges, 11030 markings/sec, 310 secs
lola: sara is running 315 secs || 3958779 markings, 5027310 edges, 9833 markings/sec, 315 secs
lola: sara is running 320 secs || 4010856 markings, 5091155 edges, 10415 markings/sec, 320 secs
lola: sara is running 325 secs || 4066323 markings, 5159344 edges, 11093 markings/sec, 325 secs
lola: sara is running 330 secs || 4116726 markings, 5221197 edges, 10081 markings/sec, 330 secs
lola: sara is running 335 secs || 4174773 markings, 5292500 edges, 11609 markings/sec, 335 secs
lola: sara is running 340 secs || 4231866 markings, 5362711 edges, 11419 markings/sec, 340 secs
lola: sara is running 345 secs || 4288743 markings, 5432586 edges, 11375 markings/sec, 345 secs
lola: sara is running 350 secs || 4335839 markings, 5490231 edges, 9419 markings/sec, 350 secs
lola: sara is running 355 secs || 4389950 markings, 5556787 edges, 10822 markings/sec, 355 secs
lola: sara is running 360 secs || 4448685 markings, 5629123 edges, 11747 markings/sec, 360 secs
lola: sara is running 365 secs || 4504415 markings, 5697633 edges, 11146 markings/sec, 365 secs
lola: sara is running 370 secs || 4557964 markings, 5763511 edges, 10710 markings/sec, 370 secs
lola: sara is running 375 secs || 4617377 markings, 5836747 edges, 11883 markings/sec, 375 secs
lola: sara is running 380 secs || 4666861 markings, 5897621 edges, 9897 markings/sec, 380 secs
lola: sara is running 385 secs || 4723475 markings, 5967355 edges, 11323 markings/sec, 385 secs
lola: sara is running 390 secs || 4780275 markings, 6037314 edges, 11360 markings/sec, 390 secs
lola: sara is running 395 secs || 4834345 markings, 6103863 edges, 10814 markings/sec, 395 secs
lola: sara is running 400 secs || 4892666 markings, 6175654 edges, 11664 markings/sec, 400 secs
lola: sara is running 405 secs || 4945923 markings, 6241371 edges, 10651 markings/sec, 405 secs
lola: sara is running 410 secs || 5000880 markings, 6309103 edges, 10991 markings/sec, 410 secs
lola: sara is running 415 secs || 5050800 markings, 6370559 edges, 9984 markings/sec, 415 secs
lola: sara is running 420 secs || 5100835 markings, 6432295 edges, 10007 markings/sec, 420 secs
lola: sara is running 425 secs || 5157174 markings, 6501637 edges, 11268 markings/sec, 425 secs
lola: sara is running 430 secs || 5210817 markings, 6567743 edges, 10729 markings/sec, 430 secs
lola: sara is running 435 secs || 5264500 markings, 6633937 edges, 10737 markings/sec, 435 secs
lola: sara is running 440 secs || 5321339 markings, 6703882 edges, 11368 markings/sec, 440 secs
lola: sara is running 445 secs || 5382387 markings, 6779049 edges, 12210 markings/sec, 445 secs
lola: sara is running 450 secs || 5440830 markings, 6851167 edges, 11689 markings/sec, 450 secs
lola: sara is running 455 secs || 5493770 markings, 6916230 edges, 10588 markings/sec, 455 secs
lola: sara is running 460 secs || 5543083 markings, 6976920 edges, 9863 markings/sec, 460 secs
lola: sara is running 465 secs || 5594101 markings, 7039857 edges, 10204 markings/sec, 465 secs
lola: sara is running 470 secs || 5647390 markings, 7105547 edges, 10658 markings/sec, 470 secs
lola: sara is running 475 secs || 5701032 markings, 7171884 edges, 10728 markings/sec, 475 secs
lola: sara is running 480 secs || 5752143 markings, 7234878 edges, 10222 markings/sec, 480 secs
lola: sara is running 485 secs || 5807070 markings, 7302575 edges, 10985 markings/sec, 485 secs
lola: sara is running 490 secs || 5866920 markings, 7376220 edges, 11970 markings/sec, 490 secs
lola: sara is running 495 secs || 5927907 markings, 7451279 edges, 12197 markings/sec, 495 secs
lola: sara is running 500 secs || 5984233 markings, 7520750 edges, 11265 markings/sec, 500 secs
lola: sara is running 505 secs || 6038938 markings, 7588334 edges, 10941 markings/sec, 505 secs
lola: sara is running 510 secs || 6100821 markings, 7664542 edges, 12377 markings/sec, 510 secs
lola: sara is running 515 secs || 6157798 markings, 7735007 edges, 11395 markings/sec, 515 secs
lola: sara is running 520 secs || 6207794 markings, 7796647 edges, 9999 markings/sec, 520 secs
lola: sara is running 525 secs || 6263897 markings, 7865862 edges, 11221 markings/sec, 525 secs
lola: sara is running 530 secs || 6323539 markings, 7939514 edges, 11928 markings/sec, 530 secs
lola: sara is running 535 secs || 6383402 markings, 8013198 edges, 11973 markings/sec, 535 secs
lola: sara is running 540 secs || 6440284 markings, 8083659 edges, 11376 markings/sec, 540 secs
lola: sara is running 545 secs || 6496164 markings, 8152794 edges, 11176 markings/sec, 545 secs
lola: sara is running 550 secs || 6551606 markings, 8221209 edges, 11088 markings/sec, 550 secs
lola: sara is running 555 secs || 6608576 markings, 8291447 edges, 11394 markings/sec, 555 secs
lola: sara is running 560 secs || 6662481 markings, 8357866 edges, 10781 markings/sec, 560 secs
lola: sara is running 565 secs || 6716143 markings, 8423770 edges, 10732 markings/sec, 565 secs
lola: sara is running 570 secs || 6769987 markings, 8490059 edges, 10769 markings/sec, 570 secs
lola: sara is running 575 secs || 6823051 markings, 8555553 edges, 10613 markings/sec, 575 secs
lola: sara is running 580 secs || 6881206 markings, 8627219 edges, 11631 markings/sec, 580 secs
lola: sara is running 585 secs || 6937731 markings, 8697063 edges, 11305 markings/sec, 585 secs
lola: sara is running 590 secs || 6994045 markings, 8766193 edges, 11263 markings/sec, 590 secs
lola: sara is running 595 secs || 7044408 markings, 8828115 edges, 10073 markings/sec, 595 secs
lola: sara is running 600 secs || 7092921 markings, 8887485 edges, 9703 markings/sec, 600 secs
lola: sara is running 605 secs || 7138076 markings, 8943762 edges, 9031 markings/sec, 605 secs
lola: sara is running 610 secs || 7190120 markings, 9008013 edges, 10409 markings/sec, 610 secs
lola: sara is running 615 secs || 7235828 markings, 9064133 edges, 9142 markings/sec, 615 secs
lola: sara is running 620 secs || 7283904 markings, 9123314 edges, 9615 markings/sec, 620 secs
lola: sara is running 625 secs || 7332786 markings, 9183622 edges, 9776 markings/sec, 625 secs
lola: sara is running 630 secs || 7380503 markings, 9242440 edges, 9543 markings/sec, 630 secs
lola: sara is running 635 secs || 7433258 markings, 9307634 edges, 10551 markings/sec, 635 secs
lola: sara is running 640 secs || 7483507 markings, 9369580 edges, 10050 markings/sec, 640 secs
lola: sara is running 645 secs || 7536749 markings, 9435184 edges, 10648 markings/sec, 645 secs
lola: sara is running 650 secs || 7583620 markings, 9492757 edges, 9374 markings/sec, 650 secs
lola: sara is running 655 secs || 7629326 markings, 9549685 edges, 9141 markings/sec, 655 secs
lola: sara is running 660 secs || 7683699 markings, 9616622 edges, 10875 markings/sec, 660 secs
lola: sara is running 665 secs || 7731345 markings, 9675023 edges, 9529 markings/sec, 665 secs
lola: sara is running 670 secs || 7774975 markings, 9729336 edges, 8726 markings/sec, 670 secs
lola: sara is running 675 secs || 7828605 markings, 9795698 edges, 10726 markings/sec, 675 secs
lola: sara is running 680 secs || 7882511 markings, 9862164 edges, 10781 markings/sec, 680 secs
lola: sara is running 685 secs || 7934406 markings, 9926303 edges, 10379 markings/sec, 685 secs
lola: sara is running 690 secs || 7978633 markings, 9980624 edges, 8845 markings/sec, 690 secs
lola: sara is running 695 secs || 8022009 markings, 10034632 edges, 8675 markings/sec, 695 secs
lola: sara is running 700 secs || 8073397 markings, 10098497 edges, 10278 markings/sec, 700 secs
lola: sara is running 705 secs || 8116488 markings, 10151550 edges, 8618 markings/sec, 705 secs
lola: sara is running 710 secs || 8164429 markings, 10211234 edges, 9588 markings/sec, 710 secs
lola: sara is running 715 secs || 8217478 markings, 10276724 edges, 10610 markings/sec, 715 secs
lola: sara is running 720 secs || 8273891 markings, 10346409 edges, 11283 markings/sec, 720 secs
lola: sara is running 725 secs || 8322941 markings, 10406895 edges, 9810 markings/sec, 725 secs
lola: sara is running 730 secs || 8367670 markings, 10461878 edges, 8946 markings/sec, 730 secs
lola: sara is running 735 secs || 8414714 markings, 10519828 edges, 9409 markings/sec, 735 secs
lola: sara is running 740 secs || 8463672 markings, 10580254 edges, 9792 markings/sec, 740 secs
lola: sara is running 745 secs || 8511441 markings, 10639116 edges, 9554 markings/sec, 745 secs
lola: sara is running 750 secs || 8561136 markings, 10700533 edges, 9939 markings/sec, 750 secs
lola: sara is running 755 secs || 8609080 markings, 10759774 edges, 9589 markings/sec, 755 secs
lola: sara is running 760 secs || 8657602 markings, 10819649 edges, 9704 markings/sec, 760 secs
lola: sara is running 765 secs || 8708553 markings, 10882586 edges, 10190 markings/sec, 765 secs
lola: sara is running 770 secs || 8758894 markings, 10944826 edges, 10068 markings/sec, 770 secs
lola: sara is running 775 secs || 8804142 markings, 10999977 edges, 9050 markings/sec, 775 secs
lola: sara is running 780 secs || 8855562 markings, 11063092 edges, 10284 markings/sec, 780 secs
lola: sara is running 785 secs || 8908273 markings, 11127766 edges, 10542 markings/sec, 785 secs
lola: sara is running 790 secs || 8962085 markings, 11193844 edges, 10762 markings/sec, 790 secs
lola: sara is running 795 secs || 9013258 markings, 11256639 edges, 10235 markings/sec, 795 secs
lola: sara is running 800 secs || 9066240 markings, 11322211 edges, 10596 markings/sec, 800 secs
lola: sara is running 805 secs || 9118932 markings, 11387047 edges, 10538 markings/sec, 805 secs
lola: sara is running 810 secs || 9174444 markings, 11455199 edges, 11102 markings/sec, 810 secs
lola: sara is running 815 secs || 9232718 markings, 11526813 edges, 11655 markings/sec, 815 secs
lola: sara is running 820 secs || 9291484 markings, 11599026 edges, 11753 markings/sec, 820 secs
lola: sara is running 825 secs || 9346909 markings, 11667587 edges, 11085 markings/sec, 825 secs
lola: sara is running 830 secs || 9400168 markings, 11733920 edges, 10652 markings/sec, 830 secs
lola: sara is running 835 secs || 9445919 markings, 11790138 edges, 9150 markings/sec, 835 secs
lola: sara is running 840 secs || 9493976 markings, 11849304 edges, 9611 markings/sec, 840 secs
lola: sara is running 845 secs || 9544576 markings, 11911748 edges, 10120 markings/sec, 845 secs
lola: sara is running 850 secs || 9593534 markings, 11972081 edges, 9792 markings/sec, 850 secs
lola: sara is running 855 secs || 9645022 markings, 12035726 edges, 10298 markings/sec, 855 secs
lola: sara is running 860 secs || 9693727 markings, 12095899 edges, 9741 markings/sec, 860 secs
lola: sara is running 865 secs || 9743750 markings, 12157563 edges, 10005 markings/sec, 865 secs
lola: sara is running 870 secs || 9796129 markings, 12222306 edges, 10476 markings/sec, 870 secs
lola: sara is running 875 secs || 9844465 markings, 12281648 edges, 9667 markings/sec, 875 secs
lola: sara is running 880 secs || 9890261 markings, 12338908 edges, 9159 markings/sec, 880 secs
lola: sara is running 885 secs || 9939743 markings, 12400252 edges, 9896 markings/sec, 885 secs
lola: sara is running 890 secs || 9998369 markings, 12472399 edges, 11725 markings/sec, 890 secs
lola: sara is running 895 secs || 10049155 markings, 12534796 edges, 10157 markings/sec, 895 secs
lola: sara is running 900 secs || 10099428 markings, 12597152 edges, 10055 markings/sec, 900 secs
lola: sara is running 905 secs || 10144441 markings, 12652705 edges, 9003 markings/sec, 905 secs
lola: sara is running 910 secs || 10192083 markings, 12711791 edges, 9528 markings/sec, 910 secs
lola: sara is running 915 secs || 10248838 markings, 12781671 edges, 11351 markings/sec, 915 secs
lola: sara is running 920 secs || 10306397 markings, 12852563 edges, 11512 markings/sec, 920 secs
lola: sara is running 925 secs || 10364322 markings, 12923995 edges, 11585 markings/sec, 925 secs
lola: sara is running 930 secs || 10421424 markings, 12994780 edges, 11420 markings/sec, 930 secs
lola: sara is running 935 secs || 10475342 markings, 13061799 edges, 10784 markings/sec, 935 secs
lola: sara is running 940 secs || 10525858 markings, 13124513 edges, 10103 markings/sec, 940 secs
lola: sara is running 945 secs || 10577202 markings, 13188514 edges, 10269 markings/sec, 945 secs
lola: sara is running 950 secs || 10629842 markings, 13253446 edges, 10528 markings/sec, 950 secs
lola: sara is running 955 secs || 10681700 markings, 13317691 edges, 10372 markings/sec, 955 secs
lola: sara is running 960 secs || 10733583 markings, 13381766 edges, 10377 markings/sec, 960 secs
lola: sara is running 965 secs || 10783429 markings, 13443280 edges, 9969 markings/sec, 965 secs
lola: sara is running 970 secs || 10834406 markings, 13506469 edges, 10195 markings/sec, 970 secs
lola: sara is running 975 secs || 10887715 markings, 13572647 edges, 10662 markings/sec, 975 secs
lola: sara is running 980 secs || 10939150 markings, 13636739 edges, 10287 markings/sec, 980 secs
lola: sara is running 985 secs || 10992248 markings, 13702422 edges, 10620 markings/sec, 985 secs
lola: sara is running 990 secs || 11040941 markings, 13762409 edges, 9739 markings/sec, 990 secs
lola: sara is running 995 secs || 11091475 markings, 13824883 edges, 10107 markings/sec, 995 secs
lola: sara is running 1000 secs || 11145063 markings, 13891013 edges, 10718 markings/sec, 1000 secs
lola: sara is running 1005 secs || 11199593 markings, 13958300 edges, 10906 markings/sec, 1005 secs
lola: sara is running 1010 secs || 11249715 markings, 14019983 edges, 10024 markings/sec, 1010 secs
lola: sara is running 1015 secs || 11298494 markings, 14080374 edges, 9756 markings/sec, 1015 secs
lola: sara is running 1020 secs || 11351325 markings, 14145528 edges, 10566 markings/sec, 1020 secs
lola: sara is running 1025 secs || 11404452 markings, 14211009 edges, 10625 markings/sec, 1025 secs
lola: sara is running 1030 secs || 11457267 markings, 14276633 edges, 10563 markings/sec, 1030 secs
lola: sara is running 1035 secs || 11507474 markings, 14338429 edges, 10041 markings/sec, 1035 secs
lola: sara is running 1040 secs || 11552876 markings, 14394890 edges, 9080 markings/sec, 1040 secs
lola: sara is running 1045 secs || 11604999 markings, 14458849 edges, 10425 markings/sec, 1045 secs
lola: sara is running 1050 secs || 11649758 markings, 14514206 edges, 8952 markings/sec, 1050 secs
lola: sara is running 1055 secs || 11696500 markings, 14572722 edges, 9348 markings/sec, 1055 secs
lola: sara is running 1060 secs || 11754567 markings, 14644186 edges, 11613 markings/sec, 1060 secs
lola: sara is running 1065 secs || 11798515 markings, 14698277 edges, 8790 markings/sec, 1065 secs
lola: sara is running 1070 secs || 11844292 markings, 14755312 edges, 9155 markings/sec, 1070 secs
lola: sara is running 1075 secs || 11903782 markings, 14828534 edges, 11898 markings/sec, 1075 secs
lola: sara is running 1080 secs || 11960698 markings, 14899012 edges, 11383 markings/sec, 1080 secs
lola: sara is running 1085 secs || 12016627 markings, 14968427 edges, 11186 markings/sec, 1085 secs
lola: sara is running 1090 secs || 12072930 markings, 15038138 edges, 11261 markings/sec, 1090 secs
lola: sara is running 1095 secs || 12128151 markings, 15106665 edges, 11044 markings/sec, 1095 secs
lola: sara is running 1100 secs || 12183648 markings, 15175072 edges, 11099 markings/sec, 1100 secs
lola: sara is running 1105 secs || 12240600 markings, 15245661 edges, 11390 markings/sec, 1105 secs
lola: sara is running 1110 secs || 12296069 markings, 15314077 edges, 11094 markings/sec, 1110 secs
lola: sara is running 1115 secs || 12351698 markings, 15383646 edges, 11126 markings/sec, 1115 secs
lola: sara is running 1120 secs || 12408060 markings, 15454053 edges, 11272 markings/sec, 1120 secs
lola: sara is running 1125 secs || 12464611 markings, 15524307 edges, 11310 markings/sec, 1125 secs
lola: sara is running 1130 secs || 12523204 markings, 15597604 edges, 11719 markings/sec, 1130 secs
lola: sara is running 1135 secs || 12582049 markings, 15672288 edges, 11769 markings/sec, 1135 secs
lola: sara is running 1140 secs || 12638290 markings, 15742138 edges, 11248 markings/sec, 1140 secs
lola: sara is running 1145 secs || 12696060 markings, 15815128 edges, 11554 markings/sec, 1145 secs
lola: sara is running 1150 secs || 12753901 markings, 15887582 edges, 11568 markings/sec, 1150 secs
lola: sara is running 1155 secs || 12811421 markings, 15959356 edges, 11504 markings/sec, 1155 secs
lola: sara is running 1160 secs || 12868559 markings, 16030547 edges, 11428 markings/sec, 1160 secs
lola: sara is running 1165 secs || 12922780 markings, 16098939 edges, 10844 markings/sec, 1165 secs
lola: sara is running 1170 secs || 12975451 markings, 16164082 edges, 10534 markings/sec, 1170 secs
lola: sara is running 1175 secs || 13029568 markings, 16230787 edges, 10823 markings/sec, 1175 secs
lola: sara is running 1180 secs || 13081949 markings, 16295693 edges, 10476 markings/sec, 1180 secs
lola: sara is running 1185 secs || 13135128 markings, 16362007 edges, 10636 markings/sec, 1185 secs
lola: sara is running 1190 secs || 13184702 markings, 16423001 edges, 9915 markings/sec, 1190 secs
lola: sara is running 1195 secs || 13238228 markings, 16489386 edges, 10705 markings/sec, 1195 secs
lola: sara is running 1200 secs || 13294082 markings, 16558353 edges, 11171 markings/sec, 1200 secs
lola: sara is running 1205 secs || 13352798 markings, 16630609 edges, 11743 markings/sec, 1205 secs
lola: sara is running 1210 secs || 13410502 markings, 16701705 edges, 11541 markings/sec, 1210 secs
lola: sara is running 1215 secs || 13466772 markings, 16771065 edges, 11254 markings/sec, 1215 secs
lola: sara is running 1220 secs || 13521279 markings, 16838666 edges, 10901 markings/sec, 1220 secs
lola: sara is running 1225 secs || 13573772 markings, 16904088 edges, 10499 markings/sec, 1225 secs
lola: sara is running 1230 secs || 13633714 markings, 16977717 edges, 11988 markings/sec, 1230 secs
lola: sara is running 1235 secs || 13689954 markings, 17047014 edges, 11248 markings/sec, 1235 secs
lola: sara is running 1240 secs || 13747398 markings, 17117796 edges, 11489 markings/sec, 1240 secs
lola: sara is running 1245 secs || 13807606 markings, 17191765 edges, 12042 markings/sec, 1245 secs
lola: sara is running 1250 secs || 13864977 markings, 17262744 edges, 11474 markings/sec, 1250 secs
lola: sara is running 1255 secs || 13920757 markings, 17331301 edges, 11156 markings/sec, 1255 secs
lola: sara is running 1260 secs || 13976488 markings, 17399726 edges, 11146 markings/sec, 1260 secs
lola: sara is running 1265 secs || 14021111 markings, 17454422 edges, 8925 markings/sec, 1265 secs
lola: sara is running 1270 secs || 14066189 markings, 17509417 edges, 9016 markings/sec, 1270 secs
lola: sara is running 1275 secs || 14119182 markings, 17574563 edges, 10599 markings/sec, 1275 secs
lola: sara is running 1280 secs || 14171274 markings, 17638609 edges, 10418 markings/sec, 1280 secs
lola: sara is running 1285 secs || 14223286 markings, 17703270 edges, 10402 markings/sec, 1285 secs
lola: sara is running 1290 secs || 14275222 markings, 17767607 edges, 10387 markings/sec, 1290 secs
lola: sara is running 1295 secs || 14334547 markings, 17840775 edges, 11865 markings/sec, 1295 secs
lola: sara is running 1300 secs || 14391368 markings, 17911257 edges, 11364 markings/sec, 1300 secs
lola: sara is running 1305 secs || 14443556 markings, 17976695 edges, 10438 markings/sec, 1305 secs
lola: sara is running 1310 secs || 14496441 markings, 18041992 edges, 10577 markings/sec, 1310 secs
lola: sara is running 1315 secs || 14547745 markings, 18105906 edges, 10261 markings/sec, 1315 secs
lola: sara is running 1320 secs || 14602280 markings, 18173224 edges, 10907 markings/sec, 1320 secs
lola: sara is running 1325 secs || 14654376 markings, 18238166 edges, 10419 markings/sec, 1325 secs
lola: sara is running 1330 secs || 14706590 markings, 18302614 edges, 10443 markings/sec, 1330 secs
lola: sara is running 1335 secs || 14759435 markings, 18367915 edges, 10569 markings/sec, 1335 secs
lola: sara is running 1340 secs || 14812436 markings, 18433249 edges, 10600 markings/sec, 1340 secs
lola: sara is running 1345 secs || 14862953 markings, 18495598 edges, 10103 markings/sec, 1345 secs
lola: sara is running 1350 secs || 14917959 markings, 18563675 edges, 11001 markings/sec, 1350 secs
lola: sara is running 1355 secs || 14968655 markings, 18626293 edges, 10139 markings/sec, 1355 secs
lola: sara is running 1360 secs || 15022524 markings, 18692801 edges, 10774 markings/sec, 1360 secs
lola: sara is running 1365 secs || 15076598 markings, 18759693 edges, 10815 markings/sec, 1365 secs
lola: sara is running 1370 secs || 15127851 markings, 18823137 edges, 10251 markings/sec, 1370 secs
lola: sara is running 1375 secs || 15181613 markings, 18889909 edges, 10752 markings/sec, 1375 secs
lola: sara is running 1380 secs || 15227874 markings, 18947688 edges, 9252 markings/sec, 1380 secs
lola: sara is running 1385 secs || 15281763 markings, 19014177 edges, 10778 markings/sec, 1385 secs
lola: sara is running 1390 secs || 15336364 markings, 19081389 edges, 10920 markings/sec, 1390 secs
lola: sara is running 1395 secs || 15388856 markings, 19146583 edges, 10498 markings/sec, 1395 secs
lola: sara is running 1400 secs || 15445164 markings, 19216480 edges, 11262 markings/sec, 1400 secs
lola: sara is running 1405 secs || 15499160 markings, 19283338 edges, 10799 markings/sec, 1405 secs
lola: sara is running 1410 secs || 15551178 markings, 19347769 edges, 10404 markings/sec, 1410 secs
lola: sara is running 1415 secs || 15603153 markings, 19412988 edges, 10395 markings/sec, 1415 secs
lola: sara is running 1420 secs || 15654348 markings, 19476621 edges, 10239 markings/sec, 1420 secs
lola: sara is running 1425 secs || 15705916 markings, 19540597 edges, 10314 markings/sec, 1425 secs
lola: sara is running 1430 secs || 15760794 markings, 19608748 edges, 10976 markings/sec, 1430 secs
lola: sara is running 1435 secs || 15815356 markings, 19676601 edges, 10912 markings/sec, 1435 secs
lola: sara is running 1440 secs || 15867770 markings, 19742102 edges, 10483 markings/sec, 1440 secs
lola: sara is running 1445 secs || 15921947 markings, 19809234 edges, 10835 markings/sec, 1445 secs
lola: sara is running 1450 secs || 15973216 markings, 19872556 edges, 10254 markings/sec, 1450 secs
lola: sara is running 1455 secs || 16023984 markings, 19935332 edges, 10154 markings/sec, 1455 secs
lola: sara is running 1460 secs || 16077995 markings, 20001867 edges, 10802 markings/sec, 1460 secs
lola: sara is running 1465 secs || 16129744 markings, 20065846 edges, 10350 markings/sec, 1465 secs
lola: sara is running 1470 secs || 16179691 markings, 20127482 edges, 9989 markings/sec, 1470 secs
lola: sara is running 1475 secs || 16231867 markings, 20192128 edges, 10435 markings/sec, 1475 secs
lola: sara is running 1480 secs || 16283268 markings, 20255954 edges, 10280 markings/sec, 1480 secs
lola: sara is running 1485 secs || 16333419 markings, 20318230 edges, 10030 markings/sec, 1485 secs
lola: sara is running 1490 secs || 16384679 markings, 20382528 edges, 10252 markings/sec, 1490 secs
lola: sara is running 1495 secs || 16434093 markings, 20444612 edges, 9883 markings/sec, 1495 secs
lola: sara is running 1500 secs || 16491265 markings, 20517303 edges, 11434 markings/sec, 1500 secs
lola: sara is running 1505 secs || 16547570 markings, 20589535 edges, 11261 markings/sec, 1505 secs
lola: sara is running 1510 secs || 16603408 markings, 20660771 edges, 11168 markings/sec, 1510 secs
lola: sara is running 1515 secs || 16656953 markings, 20727181 edges, 10709 markings/sec, 1515 secs
lola: sara is running 1520 secs || 16710922 markings, 20794782 edges, 10794 markings/sec, 1520 secs
lola: sara is running 1525 secs || 16764822 markings, 20862375 edges, 10780 markings/sec, 1525 secs
lola: sara is running 1530 secs || 16818846 markings, 20930319 edges, 10805 markings/sec, 1530 secs
lola: sara is running 1535 secs || 16872691 markings, 20999075 edges, 10769 markings/sec, 1535 secs
lola: sara is running 1540 secs || 16930719 markings, 21072044 edges, 11606 markings/sec, 1540 secs
lola: sara is running 1545 secs || 16988466 markings, 21145916 edges, 11549 markings/sec, 1545 secs
lola: sara is running 1550 secs || 17044441 markings, 21215841 edges, 11195 markings/sec, 1550 secs
lola: sara is running 1555 secs || 17100850 markings, 21285999 edges, 11282 markings/sec, 1555 secs
lola: sara is running 1560 secs || 17156882 markings, 21356144 edges, 11206 markings/sec, 1560 secs
lola: sara is running 1565 secs || 17211174 markings, 21424618 edges, 10858 markings/sec, 1565 secs
lola: sara is running 1570 secs || 17265147 markings, 21491927 edges, 10795 markings/sec, 1570 secs
lola: sara is running 1575 secs || 17318805 markings, 21559144 edges, 10732 markings/sec, 1575 secs
lola: sara is running 1580 secs || 17372378 markings, 21626490 edges, 10715 markings/sec, 1580 secs
lola: sara is running 1585 secs || 17425110 markings, 21693172 edges, 10546 markings/sec, 1585 secs
lola: sara is running 1590 secs || 17477820 markings, 21759986 edges, 10542 markings/sec, 1590 secs
lola: sara is running 1595 secs || 17536443 markings, 21832250 edges, 11725 markings/sec, 1595 secs
lola: sara is running 1600 secs || 17592224 markings, 21900976 edges, 11156 markings/sec, 1600 secs
lola: sara is running 1605 secs || 17646383 markings, 21967981 edges, 10832 markings/sec, 1605 secs
lola: sara is running 1610 secs || 17700228 markings, 22034453 edges, 10769 markings/sec, 1610 secs
lola: sara is running 1615 secs || 17754062 markings, 22101431 edges, 10767 markings/sec, 1615 secs
lola: sara is running 1620 secs || 17807741 markings, 22169186 edges, 10736 markings/sec, 1620 secs
lola: sara is running 1625 secs || 17865920 markings, 22241397 edges, 11636 markings/sec, 1625 secs
lola: sara is running 1630 secs || 17922747 markings, 22311903 edges, 11365 markings/sec, 1630 secs
lola: sara is running 1635 secs || 17978091 markings, 22381759 edges, 11069 markings/sec, 1635 secs
lola: sara is running 1640 secs || 18032772 markings, 22451177 edges, 10936 markings/sec, 1640 secs
lola: sara is running 1645 secs || 18091293 markings, 22523166 edges, 11704 markings/sec, 1645 secs
lola: sara is running 1650 secs || 18147784 markings, 22593982 edges, 11298 markings/sec, 1650 secs
lola: sara is running 1655 secs || 18199806 markings, 22658427 edges, 10404 markings/sec, 1655 secs
lola: sara is running 1660 secs || 18257456 markings, 22729534 edges, 11530 markings/sec, 1660 secs
lola: sara is running 1665 secs || 18312928 markings, 22800771 edges, 11094 markings/sec, 1665 secs
lola: sara is running 1670 secs || 18368611 markings, 22871475 edges, 11137 markings/sec, 1670 secs
lola: sara is running 1675 secs || 18425868 markings, 22944888 edges, 11451 markings/sec, 1675 secs
lola: sara is running 1680 secs || 18481251 markings, 23014919 edges, 11077 markings/sec, 1680 secs
lola: sara is running 1685 secs || 18538795 markings, 23085835 edges, 11509 markings/sec, 1685 secs
lola: sara is running 1690 secs || 18591480 markings, 23151874 edges, 10537 markings/sec, 1690 secs
lola: sara is running 1695 secs || 18647078 markings, 23222016 edges, 11120 markings/sec, 1695 secs
lola: sara is running 1700 secs || 18705827 markings, 23294601 edges, 11750 markings/sec, 1700 secs
lola: sara is running 1705 secs || 18760298 markings, 23362617 edges, 10894 markings/sec, 1705 secs
lola: sara is running 1710 secs || 18816160 markings, 23431300 edges, 11172 markings/sec, 1710 secs
lola: sara is running 1715 secs || 18873859 markings, 23502553 edges, 11540 markings/sec, 1715 secs
lola: sara is running 1720 secs || 18932097 markings, 23574520 edges, 11648 markings/sec, 1720 secs
lola: sara is running 1725 secs || 18988513 markings, 23644637 edges, 11283 markings/sec, 1725 secs
lola: sara is running 1730 secs || 19044349 markings, 23713500 edges, 11167 markings/sec, 1730 secs
lola: sara is running 1735 secs || 19103652 markings, 23786957 edges, 11861 markings/sec, 1735 secs
lola: sara is running 1740 secs || 19157925 markings, 23854128 edges, 10855 markings/sec, 1740 secs
lola: sara is running 1745 secs || 19213883 markings, 23924613 edges, 11192 markings/sec, 1745 secs
lola: sara is running 1750 secs || 19270145 markings, 23996720 edges, 11252 markings/sec, 1750 secs
lola: sara is running 1755 secs || 19327020 markings, 24068155 edges, 11375 markings/sec, 1755 secs
lola: sara is running 1760 secs || 19382559 markings, 24138121 edges, 11108 markings/sec, 1760 secs
lola: sara is running 1765 secs || 19436925 markings, 24206539 edges, 10873 markings/sec, 1765 secs
lola: sara is running 1770 secs || 19489570 markings, 24272004 edges, 10529 markings/sec, 1770 secs
lola: sara is running 1775 secs || 19542132 markings, 24337056 edges, 10512 markings/sec, 1775 secs
lola: sara is running 1780 secs || 19599865 markings, 24408988 edges, 11547 markings/sec, 1780 secs
lola: sara is running 1785 secs || 19651001 markings, 24472128 edges, 10227 markings/sec, 1785 secs
lola: sara is running 1790 secs || 19707799 markings, 24542508 edges, 11360 markings/sec, 1790 secs
lola: sara is running 1795 secs || 19762610 markings, 24610450 edges, 10962 markings/sec, 1795 secs
lola: sara is running 1800 secs || 19814566 markings, 24674466 edges, 10391 markings/sec, 1800 secs
lola: sara is running 1805 secs || 19867462 markings, 24740060 edges, 10579 markings/sec, 1805 secs
lola: sara is running 1810 secs || 19917239 markings, 24801462 edges, 9955 markings/sec, 1810 secs
lola: sara is running 1815 secs || 19968974 markings, 24865730 edges, 10347 markings/sec, 1815 secs
lola: sara is running 1820 secs || 20020490 markings, 24930237 edges, 10303 markings/sec, 1820 secs
lola: sara is running 1825 secs || 20074173 markings, 24997188 edges, 10737 markings/sec, 1825 secs
lola: sara is running 1830 secs || 20128309 markings, 25065581 edges, 10827 markings/sec, 1830 secs
lola: sara is running 1835 secs || 20181599 markings, 25132163 edges, 10658 markings/sec, 1835 secs
lola: sara is running 1840 secs || 20239031 markings, 25202993 edges, 11486 markings/sec, 1840 secs
lola: sara is running 1845 secs || 20297079 markings, 25274453 edges, 11610 markings/sec, 1845 secs
lola: sara is running 1850 secs || 20353952 markings, 25344514 edges, 11375 markings/sec, 1850 secs
lola: sara is running 1855 secs || 20411595 markings, 25415506 edges, 11529 markings/sec, 1855 secs
lola: sara is running 1860 secs || 20466423 markings, 25483077 edges, 10966 markings/sec, 1860 secs
lola: sara is running 1865 secs || 20522812 markings, 25552692 edges, 11278 markings/sec, 1865 secs
lola: sara is running 1870 secs || 20579771 markings, 25622933 edges, 11392 markings/sec, 1870 secs
lola: sara is running 1875 secs || 20635403 markings, 25691709 edges, 11126 markings/sec, 1875 secs
lola: sara is running 1880 secs || 20693252 markings, 25762772 edges, 11570 markings/sec, 1880 secs
lola: sara is running 1885 secs || 20749530 markings, 25831935 edges, 11256 markings/sec, 1885 secs
lola: sara is running 1890 secs || 20805383 markings, 25901217 edges, 11171 markings/sec, 1890 secs
lola: sara is running 1895 secs || 20861061 markings, 25970207 edges, 11136 markings/sec, 1895 secs
lola: sara is running 1900 secs || 20918237 markings, 26041147 edges, 11435 markings/sec, 1900 secs
lola: sara is running 1905 secs || 20974905 markings, 26110704 edges, 11334 markings/sec, 1905 secs
lola: sara is running 1910 secs || 21030614 markings, 26179196 edges, 11142 markings/sec, 1910 secs
lola: sara is running 1915 secs || 21087198 markings, 26248859 edges, 11317 markings/sec, 1915 secs
lola: sara is running 1920 secs || 21143726 markings, 26318769 edges, 11306 markings/sec, 1920 secs
lola: sara is running 1925 secs || 21200913 markings, 26389302 edges, 11437 markings/sec, 1925 secs
lola: sara is running 1930 secs || 21257549 markings, 26459359 edges, 11327 markings/sec, 1930 secs
lola: sara is running 1935 secs || 21312122 markings, 26527205 edges, 10915 markings/sec, 1935 secs
lola: sara is running 1940 secs || 21368063 markings, 26596942 edges, 11188 markings/sec, 1940 secs
lola: sara is running 1945 secs || 21421148 markings, 26662683 edges, 10617 markings/sec, 1945 secs
lola: sara is running 1950 secs || 21476460 markings, 26731644 edges, 11062 markings/sec, 1950 secs
lola: sara is running 1955 secs || 21531943 markings, 26800465 edges, 11097 markings/sec, 1955 secs
lola: sara is running 1960 secs || 21585498 markings, 26867024 edges, 10711 markings/sec, 1960 secs
lola: sara is running 1965 secs || 21641225 markings, 26936687 edges, 11145 markings/sec, 1965 secs
lola: sara is running 1970 secs || 21694463 markings, 27002806 edges, 10648 markings/sec, 1970 secs
lola: sara is running 1975 secs || 21747424 markings, 27067877 edges, 10592 markings/sec, 1975 secs
lola: sara is running 1980 secs || 21802368 markings, 27136088 edges, 10989 markings/sec, 1980 secs
lola: sara is running 1985 secs || 21856890 markings, 27203687 edges, 10904 markings/sec, 1985 secs
lola: sara is running 1990 secs || 21907813 markings, 27266583 edges, 10185 markings/sec, 1990 secs
lola: sara is running 1995 secs || 21959452 markings, 27330338 edges, 10328 markings/sec, 1995 secs
lola: sara is running 2000 secs || 22010598 markings, 27393609 edges, 10229 markings/sec, 2000 secs
lola: sara is running 2005 secs || 22065095 markings, 27461487 edges, 10899 markings/sec, 2005 secs
lola: sara is running 2010 secs || 22117246 markings, 27525775 edges, 10430 markings/sec, 2010 secs
lola: sara is running 2015 secs || 22171999 markings, 27593477 edges, 10951 markings/sec, 2015 secs
lola: sara is running 2020 secs || 22226870 markings, 27661830 edges, 10974 markings/sec, 2020 secs
lola: sara is running 2025 secs || 22278784 markings, 27726581 edges, 10383 markings/sec, 2025 secs
lola: sara is running 2030 secs || 22327505 markings, 27786664 edges, 9744 markings/sec, 2030 secs
lola: sara is running 2035 secs || 22380035 markings, 27851827 edges, 10506 markings/sec, 2035 secs
lola: sara is running 2040 secs || 22433135 markings, 27917902 edges, 10620 markings/sec, 2040 secs
lola: sara is running 2045 secs || 22486272 markings, 27983687 edges, 10627 markings/sec, 2045 secs
lola: sara is running 2050 secs || 22539704 markings, 28050597 edges, 10686 markings/sec, 2050 secs
lola: sara is running 2055 secs || 22593336 markings, 28117563 edges, 10726 markings/sec, 2055 secs
lola: sara is running 2060 secs || 22646501 markings, 28183913 edges, 10633 markings/sec, 2060 secs
lola: sara is running 2065 secs || 22703729 markings, 28254693 edges, 11446 markings/sec, 2065 secs
lola: sara is running 2070 secs || 22760002 markings, 28324134 edges, 11255 markings/sec, 2070 secs
lola: sara is running 2075 secs || 22816169 markings, 28393596 edges, 11233 markings/sec, 2075 secs
lola: sara is running 2080 secs || 22869819 markings, 28460383 edges, 10730 markings/sec, 2080 secs
lola: sara is running 2085 secs || 22921104 markings, 28524676 edges, 10257 markings/sec, 2085 secs
lola: sara is running 2090 secs || 22970943 markings, 28587567 edges, 9968 markings/sec, 2090 secs
lola: sara is running 2095 secs || 23020582 markings, 28650208 edges, 9928 markings/sec, 2095 secs
lola: sara is running 2100 secs || 23078804 markings, 28722125 edges, 11644 markings/sec, 2100 secs
lola: sara is running 2105 secs || 23136101 markings, 28792985 edges, 11459 markings/sec, 2105 secs
lola: sara is running 2110 secs || 23194037 markings, 28863993 edges, 11587 markings/sec, 2110 secs
lola: sara is running 2115 secs || 23249010 markings, 28931815 edges, 10995 markings/sec, 2115 secs
lola: sara is running 2120 secs || 23303898 markings, 28999652 edges, 10978 markings/sec, 2120 secs
lola: sara is running 2125 secs || 23354010 markings, 29061871 edges, 10022 markings/sec, 2125 secs
lola: sara is running 2130 secs || 23404082 markings, 29123795 edges, 10014 markings/sec, 2130 secs
lola: sara is running 2135 secs || 23454336 markings, 29185416 edges, 10051 markings/sec, 2135 secs
lola: sara is running 2140 secs || 23517378 markings, 29262766 edges, 12608 markings/sec, 2140 secs
lola: sara is running 2145 secs || 23587115 markings, 29348452 edges, 13947 markings/sec, 2145 secs
lola: sara is running 2150 secs || 23658123 markings, 29435727 edges, 14202 markings/sec, 2150 secs
lola: sara is running 2155 secs || 23730984 markings, 29525365 edges, 14572 markings/sec, 2155 secs
lola: sara is running 2160 secs || 23797934 markings, 29607724 edges, 13390 markings/sec, 2160 secs
lola: sara is running 2165 secs || 23859686 markings, 29683800 edges, 12350 markings/sec, 2165 secs
lola: sara is running 2170 secs || 23919112 markings, 29756889 edges, 11885 markings/sec, 2170 secs
lola: sara is running 2175 secs || 23977761 markings, 29829110 edges, 11730 markings/sec, 2175 secs
lola: sara is running 2180 secs || 24033674 markings, 29898161 edges, 11183 markings/sec, 2180 secs
lola: sara is running 2185 secs || 24085022 markings, 29961890 edges, 10270 markings/sec, 2185 secs
lola: sara is running 2190 secs || 24141289 markings, 30031201 edges, 11253 markings/sec, 2190 secs
lola: sara is running 2195 secs || 24196432 markings, 30099274 edges, 11029 markings/sec, 2195 secs
lola: sara is running 2200 secs || 24254641 markings, 30171044 edges, 11642 markings/sec, 2200 secs
lola: sara is running 2205 secs || 24309333 markings, 30238266 edges, 10938 markings/sec, 2205 secs
lola: sara is running 2210 secs || 24364443 markings, 30306396 edges, 11022 markings/sec, 2210 secs
lola: sara is running 2215 secs || 24419112 markings, 30374073 edges, 10934 markings/sec, 2215 secs
lola: sara is running 2220 secs || 24475171 markings, 30443466 edges, 11212 markings/sec, 2220 secs
lola: sara is running 2225 secs || 24530252 markings, 30511656 edges, 11016 markings/sec, 2225 secs
lola: sara is running 2230 secs || 24584888 markings, 30579244 edges, 10927 markings/sec, 2230 secs
lola: sara is running 2235 secs || 24641322 markings, 30649052 edges, 11287 markings/sec, 2235 secs
lola: sara is running 2240 secs || 24697417 markings, 30718090 edges, 11219 markings/sec, 2240 secs
lola: sara is running 2245 secs || 24755530 markings, 30789642 edges, 11623 markings/sec, 2245 secs
lola: sara is running 2250 secs || 24808769 markings, 30855323 edges, 10648 markings/sec, 2250 secs
lola: sara is running 2255 secs || 24862380 markings, 30921431 edges, 10722 markings/sec, 2255 secs
lola: sara is running 2260 secs || 24910075 markings, 30981915 edges, 9539 markings/sec, 2260 secs
lola: sara is running 2265 secs || 24960053 markings, 31043708 edges, 9996 markings/sec, 2265 secs
lola: sara is running 2270 secs || 25008366 markings, 31103486 edges, 9663 markings/sec, 2270 secs
lola: sara is running 2275 secs || 25056544 markings, 31162724 edges, 9636 markings/sec, 2275 secs
lola: sara is running 2280 secs || 25106944 markings, 31224903 edges, 10080 markings/sec, 2280 secs
lola: sara is running 2285 secs || 25158195 markings, 31288322 edges, 10250 markings/sec, 2285 secs
lola: sara is running 2290 secs || 25215628 markings, 31359059 edges, 11487 markings/sec, 2290 secs
lola: sara is running 2295 secs || 25272979 markings, 31429634 edges, 11470 markings/sec, 2295 secs
lola: sara is running 2300 secs || 25327932 markings, 31497589 edges, 10991 markings/sec, 2300 secs
lola: sara is running 2305 secs || 25380829 markings, 31563367 edges, 10579 markings/sec, 2305 secs
lola: sara is running 2310 secs || 25437580 markings, 31633341 edges, 11350 markings/sec, 2310 secs
lola: sara is running 2315 secs || 25494299 markings, 31703485 edges, 11344 markings/sec, 2315 secs
lola: sara is running 2320 secs || 25551098 markings, 31773618 edges, 11360 markings/sec, 2320 secs
lola: sara is running 2325 secs || 25606657 markings, 31842065 edges, 11112 markings/sec, 2325 secs
lola: sara is running 2330 secs || 25656676 markings, 31905184 edges, 10004 markings/sec, 2330 secs
lola: sara is running 2335 secs || 25707021 markings, 31967241 edges, 10069 markings/sec, 2335 secs
lola: sara is running 2340 secs || 25756640 markings, 32028708 edges, 9924 markings/sec, 2340 secs
lola: sara is running 2345 secs || 25804392 markings, 32088160 edges, 9550 markings/sec, 2345 secs
lola: sara is running 2350 secs || 25855600 markings, 32151500 edges, 10242 markings/sec, 2350 secs
lola: sara is running 2355 secs || 25907210 markings, 32215325 edges, 10322 markings/sec, 2355 secs
lola: sara is running 2360 secs || 25961328 markings, 32282195 edges, 10824 markings/sec, 2360 secs
lola: sara is running 2365 secs || 26017883 markings, 32352011 edges, 11311 markings/sec, 2365 secs
lola: sara is running 2370 secs || 26069494 markings, 32416077 edges, 10322 markings/sec, 2370 secs
lola: sara is running 2375 secs || 26124085 markings, 32483214 edges, 10918 markings/sec, 2375 secs
lola: sara is running 2380 secs || 26177795 markings, 32549895 edges, 10742 markings/sec, 2380 secs
lola: sara is running 2385 secs || 26233292 markings, 32618039 edges, 11099 markings/sec, 2385 secs
lola: sara is running 2390 secs || 26285318 markings, 32683130 edges, 10405 markings/sec, 2390 secs
lola: sara is running 2395 secs || 26333752 markings, 32743156 edges, 9687 markings/sec, 2395 secs
lola: sara is running 2400 secs || 26388353 markings, 32810873 edges, 10920 markings/sec, 2400 secs
lola: sara is running 2405 secs || 26444794 markings, 32880075 edges, 11288 markings/sec, 2405 secs
lola: sara is running 2410 secs || 26497086 markings, 32945584 edges, 10458 markings/sec, 2410 secs
lola: sara is running 2415 secs || 26549330 markings, 33010277 edges, 10449 markings/sec, 2415 secs
lola: sara is running 2420 secs || 26610198 markings, 33085555 edges, 12174 markings/sec, 2420 secs
lola: sara is running 2425 secs || 26669706 markings, 33159039 edges, 11902 markings/sec, 2425 secs
lola: sara is running 2430 secs || 26727744 markings, 33230377 edges, 11608 markings/sec, 2430 secs
lola: sara is running 2435 secs || 26782322 markings, 33299064 edges, 10916 markings/sec, 2435 secs
lola: sara is running 2440 secs || 26846357 markings, 33378923 edges, 12807 markings/sec, 2440 secs
lola: sara is running 2445 secs || 26910138 markings, 33457645 edges, 12756 markings/sec, 2445 secs
lola: sara is running 2450 secs || 26972835 markings, 33534936 edges, 12539 markings/sec, 2450 secs
lola: sara is running 2455 secs || 27030977 markings, 33606391 edges, 11628 markings/sec, 2455 secs
lola: sara is running 2460 secs || 27086954 markings, 33675353 edges, 11195 markings/sec, 2460 secs
lola: sara is running 2465 secs || 27143064 markings, 33744561 edges, 11222 markings/sec, 2465 secs
lola: sara is running 2470 secs || 27195405 markings, 33809119 edges, 10468 markings/sec, 2470 secs
lola: sara is running 2475 secs || 27249515 markings, 33875919 edges, 10822 markings/sec, 2475 secs
lola: sara is running 2480 secs || 27304821 markings, 33944495 edges, 11061 markings/sec, 2480 secs
lola: sara is running 2485 secs || 27361024 markings, 34013939 edges, 11241 markings/sec, 2485 secs
lola: sara is running 2490 secs || 27418423 markings, 34084859 edges, 11480 markings/sec, 2490 secs
lola: sara is running 2495 secs || 27474954 markings, 34154666 edges, 11306 markings/sec, 2495 secs
lola: sara is running 2500 secs || 27527828 markings, 34219898 edges, 10575 markings/sec, 2500 secs
lola: sara is running 2505 secs || 27581526 markings, 34286297 edges, 10740 markings/sec, 2505 secs
lola: sara is running 2510 secs || 27637022 markings, 34354769 edges, 11099 markings/sec, 2510 secs
lola: sara is running 2515 secs || 27688435 markings, 34418491 edges, 10283 markings/sec, 2515 secs
lola: sara is running 2520 secs || 27739837 markings, 34482202 edges, 10280 markings/sec, 2520 secs
lola: sara is running 2525 secs || 27794626 markings, 34550098 edges, 10958 markings/sec, 2525 secs
lola: sara is running 2530 secs || 27850476 markings, 34620765 edges, 11170 markings/sec, 2530 secs
lola: sara is running 2535 secs || 27907202 markings, 34692054 edges, 11345 markings/sec, 2535 secs
lola: sara is running 2540 secs || 27959725 markings, 34758783 edges, 10505 markings/sec, 2540 secs
lola: sara is running 2545 secs || 28012163 markings, 34826247 edges, 10488 markings/sec, 2545 secs
lola: sara is running 2550 secs || 28063858 markings, 34892662 edges, 10339 markings/sec, 2550 secs
lola: sara is running 2555 secs || 28115964 markings, 34959353 edges, 10421 markings/sec, 2555 secs
lola: sara is running 2560 secs || 28167966 markings, 35026855 edges, 10400 markings/sec, 2560 secs
lola: sara is running 2565 secs || 28228100 markings, 35101892 edges, 12027 markings/sec, 2565 secs
lola: sara is running 2570 secs || 28281552 markings, 35168911 edges, 10690 markings/sec, 2570 secs
lola: sara is running 2575 secs || 28333373 markings, 35233293 edges, 10364 markings/sec, 2575 secs
lola: sara is running 2580 secs || 28386883 markings, 35305290 edges, 10702 markings/sec, 2580 secs
lola: sara is running 2585 secs || 28439427 markings, 35373344 edges, 10509 markings/sec, 2585 secs
lola: sara is running 2590 secs || 28492604 markings, 35442030 edges, 10635 markings/sec, 2590 secs
lola: sara is running 2595 secs || 28544997 markings, 35509860 edges, 10479 markings/sec, 2595 secs
lola: sara is running 2600 secs || 28597325 markings, 35575911 edges, 10466 markings/sec, 2600 secs
lola: sara is running 2605 secs || 28649782 markings, 35643401 edges, 10491 markings/sec, 2605 secs
lola: sara is running 2610 secs || 28701777 markings, 35710273 edges, 10399 markings/sec, 2610 secs
lola: sara is running 2615 secs || 28758072 markings, 35781673 edges, 11259 markings/sec, 2615 secs
lola: sara is running 2620 secs || 28815342 markings, 35853223 edges, 11454 markings/sec, 2620 secs
lola: sara is running 2625 secs || 28868273 markings, 35919117 edges, 10586 markings/sec, 2625 secs
lola: sara is running 2630 secs || 28923656 markings, 35993340 edges, 11077 markings/sec, 2630 secs
lola: sara is running 2635 secs || 28978581 markings, 36064482 edges, 10985 markings/sec, 2635 secs
lola: sara is running 2640 secs || 29032131 markings, 36132994 edges, 10710 markings/sec, 2640 secs
lola: sara is running 2645 secs || 29080540 markings, 36195960 edges, 9682 markings/sec, 2645 secs
lola: sara is running 2650 secs || 29133061 markings, 36264100 edges, 10504 markings/sec, 2650 secs
lola: sara is running 2655 secs || 29186335 markings, 36332569 edges, 10655 markings/sec, 2655 secs
lola: sara is running 2660 secs || 29238892 markings, 36400501 edges, 10511 markings/sec, 2660 secs
lola: sara is running 2665 secs || 29293592 markings, 36471172 edges, 10940 markings/sec, 2665 secs
lola: sara is running 2670 secs || 29349393 markings, 36541272 edges, 11160 markings/sec, 2670 secs
lola: sara is running 2675 secs || 29406343 markings, 36612466 edges, 11390 markings/sec, 2675 secs
lola: sara is running 2680 secs || 29460578 markings, 36679389 edges, 10847 markings/sec, 2680 secs
lola: sara is running 2685 secs || 29517027 markings, 36750167 edges, 11290 markings/sec, 2685 secs
lola: sara is running 2690 secs || 29571747 markings, 36818556 edges, 10944 markings/sec, 2690 secs
lola: sara is running 2695 secs || 29623703 markings, 36883503 edges, 10391 markings/sec, 2695 secs
lola: sara is running 2700 secs || 29681358 markings, 36956415 edges, 11531 markings/sec, 2700 secs
lola: sara is running 2705 secs || 29733235 markings, 37022370 edges, 10375 markings/sec, 2705 secs
lola: sara is running 2710 secs || 29786544 markings, 37090903 edges, 10662 markings/sec, 2710 secs
lola: sara is running 2715 secs || 29839003 markings, 37157957 edges, 10492 markings/sec, 2715 secs
lola: sara is running 2720 secs || 29892027 markings, 37226114 edges, 10605 markings/sec, 2720 secs
lola: sara is running 2725 secs || 29945081 markings, 37294944 edges, 10611 markings/sec, 2725 secs
lola: sara is running 2730 secs || 30006193 markings, 37371186 edges, 12222 markings/sec, 2730 secs
lola: sara is running 2735 secs || 30059946 markings, 37438621 edges, 10751 markings/sec, 2735 secs
lola: sara is running 2740 secs || 30112726 markings, 37504228 edges, 10556 markings/sec, 2740 secs
lola: sara is running 2745 secs || 30168643 markings, 37580104 edges, 11183 markings/sec, 2745 secs
lola: sara is running 2750 secs || 30223898 markings, 37651285 edges, 11051 markings/sec, 2750 secs
lola: sara is running 2755 secs || 30279335 markings, 37722744 edges, 11087 markings/sec, 2755 secs
lola: sara is running 2760 secs || 30334269 markings, 37793427 edges, 10987 markings/sec, 2760 secs
lola: sara is running 2765 secs || 30388514 markings, 37862612 edges, 10849 markings/sec, 2765 secs
lola: sara is running 2770 secs || 30443467 markings, 37932878 edges, 10991 markings/sec, 2770 secs
lola: sara is running 2775 secs || 30497455 markings, 38002372 edges, 10798 markings/sec, 2775 secs
lola: sara is running 2780 secs || 30560226 markings, 38080701 edges, 12554 markings/sec, 2780 secs
lola: sara is running 2785 secs || 30615808 markings, 38150591 edges, 11116 markings/sec, 2785 secs
lola: sara is running 2790 secs || 30670312 markings, 38219649 edges, 10901 markings/sec, 2790 secs
lola: sara is running 2795 secs || 30725149 markings, 38292967 edges, 10967 markings/sec, 2795 secs
lola: sara is running 2800 secs || 30780272 markings, 38364347 edges, 11025 markings/sec, 2800 secs
lola: sara is running 2805 secs || 30836622 markings, 38437237 edges, 11270 markings/sec, 2805 secs
lola: sara is running 2810 secs || 30892086 markings, 38509034 edges, 11093 markings/sec, 2810 secs
lola: sara is running 2815 secs || 30945571 markings, 38578296 edges, 10697 markings/sec, 2815 secs
lola: sara is running 2820 secs || 30999090 markings, 38647373 edges, 10704 markings/sec, 2820 secs
lola: sara is running 2825 secs || 31051600 markings, 38714910 edges, 10502 markings/sec, 2825 secs
lola: sara is running 2830 secs || 31106783 markings, 38783844 edges, 11037 markings/sec, 2830 secs
lola: sara is running 2835 secs || 31164986 markings, 38855966 edges, 11641 markings/sec, 2835 secs
lola: sara is running 2840 secs || 31220018 markings, 38924431 edges, 11006 markings/sec, 2840 secs
lola: sara is running 2845 secs || 31275974 markings, 38993809 edges, 11191 markings/sec, 2845 secs
lola: sara is running 2850 secs || 31332484 markings, 39063733 edges, 11302 markings/sec, 2850 secs
lola: sara is running 2855 secs || 31386457 markings, 39130773 edges, 10795 markings/sec, 2855 secs
lola: sara is running 2860 secs || 31440782 markings, 39198325 edges, 10865 markings/sec, 2860 secs
lola: sara is running 2865 secs || 31494170 markings, 39264974 edges, 10678 markings/sec, 2865 secs
lola: sara is running 2870 secs || 31549802 markings, 39333553 edges, 11126 markings/sec, 2870 secs
lola: sara is running 2875 secs || 31605919 markings, 39402974 edges, 11223 markings/sec, 2875 secs
lola: sara is running 2880 secs || 31655959 markings, 39465218 edges, 10008 markings/sec, 2880 secs
lola: sara is running 2885 secs || 31706706 markings, 39527925 edges, 10149 markings/sec, 2885 secs
lola: sara is running 2890 secs || 31760185 markings, 39594114 edges, 10696 markings/sec, 2890 secs
lola: sara is running 2895 secs || 31812014 markings, 39658335 edges, 10366 markings/sec, 2895 secs
lola: sara is running 2900 secs || 31865525 markings, 39725073 edges, 10702 markings/sec, 2900 secs
lola: sara is running 2905 secs || 31918913 markings, 39791623 edges, 10678 markings/sec, 2905 secs
lola: sara is running 2910 secs || 31974218 markings, 39860374 edges, 11061 markings/sec, 2910 secs
lola: sara is running 2915 secs || 32029762 markings, 39929099 edges, 11109 markings/sec, 2915 secs
lola: sara is running 2920 secs || 32086847 markings, 39999611 edges, 11417 markings/sec, 2920 secs
lola: sara is running 2925 secs || 32143006 markings, 40068768 edges, 11232 markings/sec, 2925 secs
lola: sara is running 2930 secs || 32200051 markings, 40139163 edges, 11409 markings/sec, 2930 secs
lola: sara is running 2935 secs || 32255702 markings, 40207984 edges, 11130 markings/sec, 2935 secs
lola: sara is running 2940 secs || 32307610 markings, 40272572 edges, 10382 markings/sec, 2940 secs
lola: sara is running 2945 secs || 32359779 markings, 40337220 edges, 10434 markings/sec, 2945 secs
lola: sara is running 2950 secs || 32415627 markings, 40406286 edges, 11170 markings/sec, 2950 secs
lola: sara is running 2955 secs || 32471036 markings, 40474916 edges, 11082 markings/sec, 2955 secs
lola: sara is running 2960 secs || 32523034 markings, 40539399 edges, 10400 markings/sec, 2960 secs
lola: sara is running 2965 secs || 32577699 markings, 40607354 edges, 10933 markings/sec, 2965 secs
lola: sara is running 2970 secs || 32634370 markings, 40677946 edges, 11334 markings/sec, 2970 secs
lola: sara is running 2975 secs || 32689072 markings, 40745954 edges, 10940 markings/sec, 2975 secs
lola: sara is running 2980 secs || 32734925 markings, 40802498 edges, 9171 markings/sec, 2980 secs
lola: sara is running 2985 secs || 32785171 markings, 40864494 edges, 10049 markings/sec, 2985 secs
lola: sara is running 2990 secs || 32835136 markings, 40926055 edges, 9993 markings/sec, 2990 secs
lola: sara is running 2995 secs || 32885507 markings, 40988093 edges, 10074 markings/sec, 2995 secs
lola: sara is running 3000 secs || 32936393 markings, 41051927 edges, 10177 markings/sec, 3000 secs
lola: sara is running 3005 secs || 32985163 markings, 41112079 edges, 9754 markings/sec, 3005 secs
lola: sara is running 3010 secs || 33040203 markings, 41179790 edges, 11008 markings/sec, 3010 secs
lola: sara is running 3015 secs || 33097220 markings, 41250349 edges, 11403 markings/sec, 3015 secs
lola: sara is running 3020 secs || 33150687 markings, 41318765 edges, 10693 markings/sec, 3020 secs
lola: sara is running 3025 secs || 33205458 markings, 41388693 edges, 10954 markings/sec, 3025 secs
lola: sara is running 3030 secs || 33258319 markings, 41455031 edges, 10572 markings/sec, 3030 secs
lola: sara is running 3035 secs || 33306799 markings, 41514837 edges, 9696 markings/sec, 3035 secs
lola: sara is running 3040 secs || 33355496 markings, 41574924 edges, 9739 markings/sec, 3040 secs
lola: sara is running 3045 secs || 33405661 markings, 41636761 edges, 10033 markings/sec, 3045 secs
lola: sara is running 3050 secs || 33454870 markings, 41697488 edges, 9842 markings/sec, 3050 secs
lola: sara is running 3055 secs || 33504318 markings, 41758428 edges, 9890 markings/sec, 3055 secs
lola: sara is running 3060 secs || 33555453 markings, 41821446 edges, 10227 markings/sec, 3060 secs
lola: sara is running 3065 secs || 33603476 markings, 41880711 edges, 9605 markings/sec, 3065 secs
lola: sara is running 3070 secs || 33653675 markings, 41942542 edges, 10040 markings/sec, 3070 secs
lola: sara is running 3075 secs || 33702972 markings, 42003574 edges, 9859 markings/sec, 3075 secs
lola: sara is running 3080 secs || 33749656 markings, 42061001 edges, 9337 markings/sec, 3080 secs
lola: sara is running 3085 secs || 33797384 markings, 42119913 edges, 9546 markings/sec, 3085 secs
lola: sara is running 3090 secs || 33845133 markings, 42178782 edges, 9550 markings/sec, 3090 secs
lola: sara is running 3095 secs || 33890019 markings, 42233993 edges, 8977 markings/sec, 3095 secs
lola: sara is running 3100 secs || 33936014 markings, 42291246 edges, 9199 markings/sec, 3100 secs
lola: sara is running 3105 secs || 33980544 markings, 42346367 edges, 8906 markings/sec, 3105 secs
lola: sara is running 3110 secs || 34026105 markings, 42402519 edges, 9112 markings/sec, 3110 secs
lola: sara is running 3115 secs || 34080383 markings, 42469539 edges, 10856 markings/sec, 3115 secs
lola: sara is running 3120 secs || 34134449 markings, 42536536 edges, 10813 markings/sec, 3120 secs
lola: sara is running 3125 secs || 34185220 markings, 42599970 edges, 10154 markings/sec, 3125 secs
lola: sara is running 3130 secs || 34232344 markings, 42659563 edges, 9425 markings/sec, 3130 secs
lola: sara is running 3135 secs || 34287471 markings, 42727573 edges, 11025 markings/sec, 3135 secs
lola: sara is running 3140 secs || 34343080 markings, 42796369 edges, 11122 markings/sec, 3140 secs
lola: sara is running 3145 secs || 34396269 markings, 42862501 edges, 10638 markings/sec, 3145 secs
lola: sara is running 3150 secs || 34448334 markings, 42927138 edges, 10413 markings/sec, 3150 secs
lola: sara is running 3155 secs || 34499538 markings, 42990206 edges, 10241 markings/sec, 3155 secs
lola: sara is running 3160 secs || 34550214 markings, 43052738 edges, 10135 markings/sec, 3160 secs
lola: sara is running 3165 secs || 34596917 markings, 43110736 edges, 9341 markings/sec, 3165 secs
lola: sara is running 3170 secs || 34644213 markings, 43169098 edges, 9459 markings/sec, 3170 secs
lola: sara is running 3175 secs || 34692931 markings, 43229769 edges, 9744 markings/sec, 3175 secs
lola: sara is running 3180 secs || 34739635 markings, 43287377 edges, 9341 markings/sec, 3180 secs
lola: sara is running 3185 secs || 34785235 markings, 43343657 edges, 9120 markings/sec, 3185 secs
lola: sara is running 3190 secs || 34835306 markings, 43405357 edges, 10014 markings/sec, 3190 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no yes yes no yes yes yes no yes yes no no yes yes yes
lola:
preliminary result: unknown no yes yes no yes yes yes no yes yes no no yes yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no yes yes no yes yes yes no yes yes no no yes yes yes
lola: memory consumption: 5323432 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no yes yes no yes yes yes no yes yes no no yes yes yes
lola: memory consumption: 5323872 KB
lola: time consumption: 3570 seconds
BK_STOP 1526551731855
--------------------
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="CloudReconfiguration-PT-320"
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/CloudReconfiguration-PT-320.tgz
mv CloudReconfiguration-PT-320 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 CloudReconfiguration-PT-320, 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 r052-smll-152646380000140"
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 ;