fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r052-smll-152646379900070
Last Updated
June 26, 2018

About the Execution of LoLA for CloudReconfiguration-PT-310

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
14185.330 3570688.00 7218982.00 9292.60 FTTTFFTTTTTFTF?T 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 824K
-rw-r--r-- 1 mcc users 3.8K 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.7K 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.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K 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.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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 660K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-310, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646379900070
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526510986539

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-310 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-310 formula ReachabilityFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityFireability @ CloudReconfiguration-PT-310 @ 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: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: Size of bit vector: 2585
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2709 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-310-ReachabilityFireability.task
lola: A (G ((NOT FIREABLE(t1355) OR (NOT FIREABLE(t1282) AND NOT FIREABLE(t16) AND FIREABLE(t2758) AND FIREABLE(t1496) AND (FIREABLE(t2688) OR FIREABLE(t2575)))))) : E (F ((FIREABLE(t1116) OR FIREABLE(t1599)))) : E (F ((FIREABLE(t279) AND (NOT FIREABLE(t1841) OR FIREABLE(t268))))) : E (F (FIREABLE(t943))) : E (F ((FIREABLE(t2829) AND FIREABLE(t2612) AND FIREABLE(t1178) AND (NOT FIREABLE(t345) OR NOT FIREABLE(t2262)) AND FIREABLE(t356) AND NOT FIREABLE(t1608) AND FIREABLE(t2845)))) : A (G (((NOT FIREABLE(t2278) OR NOT FIREABLE(t3058)) AND NOT FIREABLE(t2526) AND (FIREABLE(t1005) OR FIREABLE(t2150) OR NOT FIREABLE(t1023) OR FIREABLE(t1905))))) : E (F (((FIREABLE(t510) AND FIREABLE(t913) AND (FIREABLE(t1807) OR FIREABLE(t2483))) OR (FIREABLE(t2138) AND FIREABLE(t2813) AND NOT FIREABLE(t2687)) OR FIREABLE(t2375)))) : E (F (FIREABLE(t1810))) : E (F (FIREABLE(t105))) : E (F (FIREABLE(t963))) : E (F ((FIREABLE(t2249) AND FIREABLE(t1659)))) : A (G ((((FIREABLE(t1291) AND FIREABLE(t1165)) OR NOT FIREABLE(t3056) OR FIREABLE(t2117) OR FIREABLE(t1261) OR (FIREABLE(t3) AND FIREABLE(t1131))) AND (FIREABLE(t2156) OR NOT FIREABLE(t928))))) : E (F (((FIREABLE(t1762) OR FIREABLE(t548) OR FIREABLE(t2866)) AND (FIREABLE(t2330) OR FIREABLE(t264) OR NOT FIREABLE(t1077)) AND FIREABLE(t2525) AND (FIREABLE(t418) OR FIREABLE(t1107) OR NOT FIREABLE(t2505))))) : A (G ((NOT FIREABLE(t2402) OR (NOT FIREABLE(t130) AND NOT FIREABLE(t1171)) OR (FIREABLE(t778) AND FIREABLE(t2146))))) : E (F ((FIREABLE(t2420) AND FIREABLE(t1256)))) : E (F (FIREABLE(t2942)))
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(t943)))
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(t943)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t943)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-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: 64 markings, 63 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-310-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(t1810)))
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(t1810)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t1810)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityFireability-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 74 markings, 73 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-310-ReachabilityFireability-7 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(t105)))
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(t105)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t105)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityFireability-2-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 58 markings, 57 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-310-ReachabilityFireability-8 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: E (F (FIREABLE(t963)))
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(t963)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t963)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityFireability-3-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 69 markings, 68 edges

FORMULA CloudReconfiguration-PT-310-ReachabilityFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2942)))
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(t2942)))
lola: processed formula length: 23
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t2942)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityFireability-4-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 74 markings, 73 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-310-ReachabilityFireability-15 TRUE 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(t2249) AND FIREABLE(t1659))))
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(t2249) AND FIREABLE(t1659))))
lola: processed formula length: 45
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t2249) AND FIREABLE(t1659))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityFireability-5-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 1432 markings, 1644 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-310-ReachabilityFireability-10 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: E (F ((FIREABLE(t2420) AND FIREABLE(t1256))))
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(t2420) AND FIREABLE(t1256))))
lola: processed formula length: 45
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t2420) AND FIREABLE(t1256))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityFireability-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 54988 markings, 89200 edges, 10998 markings/sec, 0 secs
lola: sara is running 5 secs || 102191 markings, 197514 edges, 9441 markings/sec, 5 secs
lola: sara is running 10 secs || 149995 markings, 304726 edges, 9561 markings/sec, 10 secs
lola: sara is running 15 secs || 197722 markings, 414459 edges, 9545 markings/sec, 15 secs
lola: sara is running 20 secs || 248239 markings, 517887 edges, 10103 markings/sec, 20 secs
lola: sara is running 25 secs || 298653 markings, 622956 edges, 10083 markings/sec, 25 secs
lola: sara is running 30 secs || 345030 markings, 725400 edges, 9275 markings/sec, 30 secs
lola: sara is running 35 secs || 390299 markings, 828675 edges, 9054 markings/sec, 35 secs
lola: sara is running 40 secs || 440536 markings, 921369 edges, 10047 markings/sec, 40 secs
sara: warning, failure of lp_solve (at job 288)
lola: sara is running 45 secs || 488028 markings, 1013451 edges, 9498 markings/sec, 45 secs
lola: sara is running 50 secs || 532212 markings, 1113227 edges, 8837 markings/sec, 50 secs
lola: sara is running 55 secs || 577458 markings, 1216255 edges, 9049 markings/sec, 55 secs
lola: sara is running 60 secs || 622007 markings, 1318817 edges, 8910 markings/sec, 60 secs
lola: sara is running 65 secs || 667953 markings, 1422283 edges, 9189 markings/sec, 65 secs
lola: sara is running 70 secs || 712328 markings, 1524817 edges, 8875 markings/sec, 70 secs
lola: sara is running 75 secs || 758219 markings, 1626429 edges, 9178 markings/sec, 75 secs
lola: sara is running 80 secs || 803986 markings, 1731406 edges, 9153 markings/sec, 80 secs
lola: sara is running 85 secs || 848851 markings, 1835189 edges, 8973 markings/sec, 85 secs
lola: sara is running 90 secs || 895599 markings, 1938926 edges, 9350 markings/sec, 90 secs
lola: sara is running 95 secs || 941248 markings, 2044711 edges, 9130 markings/sec, 95 secs
lola: sara is running 100 secs || 987253 markings, 2143911 edges, 9201 markings/sec, 100 secs
lola: sara is running 105 secs || 1032802 markings, 2245832 edges, 9110 markings/sec, 105 secs
lola: sara is running 110 secs || 1074954 markings, 2344457 edges, 8430 markings/sec, 110 secs
lola: sara is running 115 secs || 1123904 markings, 2446812 edges, 9790 markings/sec, 115 secs
lola: sara is running 120 secs || 1172223 markings, 2534710 edges, 9664 markings/sec, 120 secs
lola: sara is running 125 secs || 1216506 markings, 2635939 edges, 8857 markings/sec, 125 secs
lola: sara is running 130 secs || 1260017 markings, 2735414 edges, 8702 markings/sec, 130 secs
lola: sara is running 135 secs || 1304880 markings, 2832019 edges, 8973 markings/sec, 135 secs
lola: sara is running 140 secs || 1348963 markings, 2933805 edges, 8817 markings/sec, 140 secs
lola: sara is running 145 secs || 1392872 markings, 3035298 edges, 8782 markings/sec, 145 secs
lola: sara is running 150 secs || 1439006 markings, 3137525 edges, 9227 markings/sec, 150 secs
lola: sara is running 155 secs || 1483013 markings, 3239382 edges, 8801 markings/sec, 155 secs
lola: sara is running 160 secs || 1526253 markings, 3338090 edges, 8648 markings/sec, 160 secs
lola: sara is running 165 secs || 1569901 markings, 3436557 edges, 8730 markings/sec, 165 secs
lola: sara is running 170 secs || 1613432 markings, 3535448 edges, 8706 markings/sec, 170 secs
lola: sara is running 175 secs || 1658488 markings, 3639153 edges, 9011 markings/sec, 175 secs
lola: sara is running 180 secs || 1702506 markings, 3734395 edges, 8804 markings/sec, 180 secs
lola: sara is running 185 secs || 1744728 markings, 3831235 edges, 8444 markings/sec, 185 secs
lola: sara is running 190 secs || 1787799 markings, 3923101 edges, 8614 markings/sec, 190 secs
lola: sara is running 195 secs || 1830232 markings, 4019260 edges, 8487 markings/sec, 195 secs
lola: sara is running 200 secs || 1873183 markings, 4114123 edges, 8590 markings/sec, 200 secs
lola: sara is running 205 secs || 1914317 markings, 4207342 edges, 8227 markings/sec, 205 secs
lola: sara is running 210 secs || 1955940 markings, 4299982 edges, 8325 markings/sec, 210 secs
lola: sara is running 215 secs || 1997641 markings, 4397275 edges, 8340 markings/sec, 215 secs
lola: sara is running 220 secs || 2042419 markings, 4489147 edges, 8956 markings/sec, 220 secs
lola: sara is running 225 secs || 2085820 markings, 4587912 edges, 8680 markings/sec, 225 secs
lola: sara is running 230 secs || 2129763 markings, 4686460 edges, 8789 markings/sec, 230 secs
lola: sara is running 235 secs || 2173651 markings, 4786443 edges, 8778 markings/sec, 235 secs
lola: sara is running 240 secs || 2218165 markings, 4888087 edges, 8903 markings/sec, 240 secs
lola: sara is running 245 secs || 2262742 markings, 4988176 edges, 8915 markings/sec, 245 secs
lola: sara is running 250 secs || 2304985 markings, 5085040 edges, 8449 markings/sec, 250 secs
lola: sara is running 255 secs || 2348769 markings, 5181949 edges, 8757 markings/sec, 255 secs
lola: sara is running 260 secs || 2392142 markings, 5281630 edges, 8675 markings/sec, 260 secs
lola: sara is running 265 secs || 2434143 markings, 5378227 edges, 8400 markings/sec, 265 secs
lola: sara is running 270 secs || 2478503 markings, 5477275 edges, 8872 markings/sec, 270 secs
lola: sara is running 275 secs || 2522698 markings, 5578891 edges, 8839 markings/sec, 275 secs
lola: sara is running 280 secs || 2565648 markings, 5677783 edges, 8590 markings/sec, 280 secs
lola: sara is running 285 secs || 2609764 markings, 5778176 edges, 8823 markings/sec, 285 secs
lola: sara is running 290 secs || 2652378 markings, 5872671 edges, 8523 markings/sec, 290 secs
lola: sara is running 295 secs || 2693994 markings, 5967379 edges, 8323 markings/sec, 295 secs
lola: sara is running 300 secs || 2735332 markings, 6061548 edges, 8268 markings/sec, 300 secs
lola: sara is running 305 secs || 2777261 markings, 6156251 edges, 8386 markings/sec, 305 secs
lola: sara is running 310 secs || 2820691 markings, 6255903 edges, 8686 markings/sec, 310 secs
lola: sara is running 315 secs || 2863790 markings, 6351785 edges, 8620 markings/sec, 315 secs
lola: sara is running 320 secs || 2905583 markings, 6448412 edges, 8359 markings/sec, 320 secs
lola: sara is running 325 secs || 2952755 markings, 6548206 edges, 9434 markings/sec, 325 secs
lola: sara is running 330 secs || 3001455 markings, 6659675 edges, 9740 markings/sec, 330 secs
lola: sara is running 335 secs || 3050156 markings, 6770181 edges, 9740 markings/sec, 335 secs
lola: sara is running 340 secs || 3098343 markings, 6879238 edges, 9637 markings/sec, 340 secs
lola: sara is running 345 secs || 3149420 markings, 6981702 edges, 10215 markings/sec, 345 secs
lola: sara is running 350 secs || 3196156 markings, 7089142 edges, 9347 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes unknown unknown unknown yes yes yes yes unknown unknown unknown unknown yes
lola: memory consumption: 672268 KB
lola: time consumption: 357 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1116) OR FIREABLE(t1599))))
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(t1116) OR FIREABLE(t1599))))
lola: processed formula length: 45
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t1116) OR FIREABLE(t1599))
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityFireability-7-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-310-ReachabilityFireability-1 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(t279) AND (NOT FIREABLE(t1841) OR FIREABLE(t268)))))
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(t279) AND (NOT FIREABLE(t1841) OR FIREABLE(t268)))))
lola: processed formula length: 69
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t279) AND (NOT FIREABLE(t1841) OR FIREABLE(t268)))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityFireability-8-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 57 markings, 56 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-310-ReachabilityFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t2402) OR (NOT FIREABLE(t130) AND NOT FIREABLE(t1171)) OR (FIREABLE(t778) AND FIREABLE(t2146)))))
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(t2402) OR (NOT FIREABLE(t130) AND NOT FIREABLE(t1171)) OR (FIREABLE(t778) AND FIREABLE(t2146)))))
lola: processed formula length: 119
lola: 2 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t2402) AND (FIREABLE(t130) OR FIREABLE(t1171)) AND (NOT FIREABLE(t778) OR NOT FIREABLE(t2146)))
lola: state equation: Generated DNF with 12 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityFireability-9-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 95 markings, 94 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-310-ReachabilityFireability-13 FALSE 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(t2278) OR NOT FIREABLE(t3058)) AND NOT FIREABLE(t2526) AND (FIREABLE(t1005) OR FIREABLE(t2150) OR NOT FIREABLE(t1023) OR FIREABLE(t1905)))))
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(t2278) OR NOT FIREABLE(t3058)) AND NOT FIREABLE(t2526) AND (FIREABLE(t1005) OR FIREABLE(t2150) OR NOT FIREABLE(t1023) OR FIREABLE(t1905)))))
lola: processed formula length: 165
lola: 2 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t2278) AND FIREABLE(t3058)) OR FIREABLE(t2526) OR (NOT FIREABLE(t1005) AND NOT FIREABLE(t2150) AND FIREABLE(t1023) AND NOT FIREABLE(t1905)))
lola: state equation: Generated DNF with 8 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-10-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 50 markings, 49 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-310-ReachabilityFireability-5 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 ((NOT FIREABLE(t1355) OR (NOT FIREABLE(t1282) AND NOT FIREABLE(t16) AND FIREABLE(t2758) AND FIREABLE(t1496) AND (FIREABLE(t2688) OR FIREABLE(t2575))))))
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(t1355) OR (NOT FIREABLE(t1282) AND NOT FIREABLE(t16) AND FIREABLE(t2758) AND FIREABLE(t1496) AND (FIREABLE(t2688) OR FIREABLE(t2575))))))
lola: processed formula length: 159
lola: 2 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t1355) AND (FIREABLE(t1282) OR FIREABLE(t16) OR NOT FIREABLE(t2758) OR NOT FIREABLE(t1496) OR (NOT FIREABLE(t2688) AND NOT FIREABLE(t2575))))
lola: state equation: Generated DNF with 11 literals and 5 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-11-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: 65 markings, 64 edges
lola:
FORMULA CloudReconfiguration-PT-310-ReachabilityFireability-0 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(t510) AND FIREABLE(t913) AND (FIREABLE(t1807) OR FIREABLE(t2483))) OR (FIREABLE(t2138) AND FIREABLE(t2813) AND NOT FIREABLE(t2687)) OR FIREABLE(t2375))))
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(t510) AND FIREABLE(t913) AND (FIREABLE(t1807) OR FIREABLE(t2483))) OR (FIREABLE(t2138) AND FIREABLE(t2813) AND NOT FIREABLE(t2687)) OR FIREABLE(t2375))))
lola: processed formula length: 173
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t510) AND FIREABLE(t913) AND (FIREABLE(t1807) OR FIREABLE(t2483))) OR (FIREABLE(t2138) AND FIREABLE(t2813) AND NOT FIREABLE(t2687)) OR FIREABLE(t2375))
lola: state equation: Generated DNF with 10 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-12-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 88 markings, 87 edges
lola:
FORMULA CloudReconfiguration-PT-310-ReachabilityFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 13 will run for 1070 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t2829) AND FIREABLE(t2612) AND FIREABLE(t1178) AND (NOT FIREABLE(t345) OR NOT FIREABLE(t2262)) AND FIREABLE(t356) AND NOT FIREABLE(t1608) AND FIREABLE(t2845))))
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(t2829) AND FIREABLE(t2612) AND FIREABLE(t1178) AND (NOT FIREABLE(t345) OR NOT FIREABLE(t2262)) AND FIREABLE(t356) AND NOT FIREABLE(t1608) AND FIREABLE(t2845))))
lola: processed formula length: 177
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t2829) AND FIREABLE(t2612) AND FIREABLE(t1178) AND (NOT FIREABLE(t345) OR NOT FIREABLE(t2262)) AND FIREABLE(t356) AND NOT FIREABLE(t1608) AND FIREABLE(t2845))
lola: state equation: Generated DNF with 14 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityFireability-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 83700 markings, 115263 edges, 16740 markings/sec, 0 secs

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

FORMULA CloudReconfiguration-PT-310-ReachabilityFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1603 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((FIREABLE(t1291) AND FIREABLE(t1165)) OR NOT FIREABLE(t3056) OR FIREABLE(t2117) OR FIREABLE(t1261) OR (FIREABLE(t3) AND FIREABLE(t1131))) AND (FIREABLE(t2156) OR NOT FIREABLE(t928)))))
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(t1291) AND FIREABLE(t1165)) OR NOT FIREABLE(t3056) OR FIREABLE(t2117) OR FIREABLE(t1261) OR (FIREABLE(t3) AND FIREABLE(t1131))) AND (FIREABLE(t2156) OR NOT FIREABLE(t928)))))
lola: processed formula length: 197
lola: 2 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t1291) OR NOT FIREABLE(t1165)) AND FIREABLE(t3056) AND NOT FIREABLE(t2117) AND NOT FIREABLE(t1261) AND (NOT FIREABLE(t3) OR NOT FIREABLE(t1131))) OR (NOT FIREABLE(t2156) AND FIREABLE(t928)))
lola: state equation: Generated DNF with 26 literals and 5 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityFireability-14-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 76 markings, 75 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-310-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3206 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t1762) OR FIREABLE(t548) OR FIREABLE(t2866)) AND (FIREABLE(t2330) OR FIREABLE(t264) OR NOT FIREABLE(t1077)) AND FIREABLE(t2525) AND (FIREABLE(t418) OR FIREABLE(t1107) OR NOT FIREABLE(t2505)))))
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(t1762) OR FIREABLE(t548) OR FIREABLE(t2866)) AND (FIREABLE(t2330) OR FIREABLE(t264) OR NOT FIREABLE(t1077)) AND FIREABLE(t2525) AND (FIREABLE(t418) OR FIREABLE(t1107) OR NOT FIREABLE(t2505)))))
lola: processed formula length: 216
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t1762) OR FIREABLE(t548) OR FIREABLE(t2866)) AND (FIREABLE(t2330) OR FIREABLE(t264) OR NOT FIREABLE(t1077)) AND FIREABLE(t2525) AND (FIREABLE(t418) OR FIREABLE(t1107) OR NOT FIREABLE(t2505)))
lola: state equation: Generated DNF with 108 literals and 27 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityFireability-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 54981 markings, 97902 edges, 10996 markings/sec, 0 secs
lola: sara is running 5 secs || 105224 markings, 206295 edges, 10049 markings/sec, 5 secs
lola: sara is running 10 secs || 154947 markings, 318216 edges, 9945 markings/sec, 10 secs
lola: sara is running 15 secs || 204249 markings, 428682 edges, 9860 markings/sec, 15 secs
lola: sara is running 20 secs || 257131 markings, 532068 edges, 10576 markings/sec, 20 secs
lola: sara is running 25 secs || 304645 markings, 638606 edges, 9503 markings/sec, 25 secs
lola: sara is running 30 secs || 356621 markings, 741685 edges, 10395 markings/sec, 30 secs
lola: sara is running 35 secs || 402406 markings, 847774 edges, 9157 markings/sec, 35 secs
lola: sara is running 40 secs || 451065 markings, 949504 edges, 9732 markings/sec, 40 secs
lola: sara is running 45 secs || 507602 markings, 1058178 edges, 11307 markings/sec, 45 secs
lola: sara is running 50 secs || 556426 markings, 1172338 edges, 9765 markings/sec, 50 secs
lola: sara is running 55 secs || 606093 markings, 1283592 edges, 9933 markings/sec, 55 secs
lola: sara is running 60 secs || 655475 markings, 1397073 edges, 9876 markings/sec, 60 secs
lola: sara is running 65 secs || 706270 markings, 1504377 edges, 10159 markings/sec, 65 secs
lola: sara is running 70 secs || 755774 markings, 1611196 edges, 9901 markings/sec, 70 secs
lola: sara is running 75 secs || 805387 markings, 1717326 edges, 9923 markings/sec, 75 secs
lola: sara is running 80 secs || 851289 markings, 1826347 edges, 9180 markings/sec, 80 secs
lola: sara is running 85 secs || 899895 markings, 1932578 edges, 9721 markings/sec, 85 secs
lola: sara is running 90 secs || 947302 markings, 2037820 edges, 9481 markings/sec, 90 secs
lola: sara is running 95 secs || 994859 markings, 2142211 edges, 9511 markings/sec, 95 secs
lola: sara is running 100 secs || 1040724 markings, 2243928 edges, 9173 markings/sec, 100 secs
lola: sara is running 105 secs || 1087319 markings, 2346869 edges, 9319 markings/sec, 105 secs
lola: sara is running 110 secs || 1132839 markings, 2449010 edges, 9104 markings/sec, 110 secs
lola: sara is running 115 secs || 1177569 markings, 2553468 edges, 8946 markings/sec, 115 secs
lola: sara is running 120 secs || 1225760 markings, 2650705 edges, 9638 markings/sec, 120 secs
lola: sara is running 125 secs || 1274652 markings, 2757652 edges, 9778 markings/sec, 125 secs
lola: sara is running 130 secs || 1323486 markings, 2867320 edges, 9767 markings/sec, 130 secs
lola: sara is running 135 secs || 1371208 markings, 2967317 edges, 9544 markings/sec, 135 secs
lola: sara is running 140 secs || 1416739 markings, 3065925 edges, 9106 markings/sec, 140 secs
lola: sara is running 145 secs || 1464518 markings, 3167065 edges, 9556 markings/sec, 145 secs
lola: sara is running 150 secs || 1512114 markings, 3273985 edges, 9519 markings/sec, 150 secs
lola: sara is running 155 secs || 1559808 markings, 3380458 edges, 9539 markings/sec, 155 secs
lola: sara is running 160 secs || 1607875 markings, 3483328 edges, 9613 markings/sec, 160 secs
lola: sara is running 165 secs || 1652053 markings, 3585889 edges, 8836 markings/sec, 165 secs
lola: sara is running 170 secs || 1700250 markings, 3686727 edges, 9639 markings/sec, 170 secs
lola: sara is running 175 secs || 1744179 markings, 3787052 edges, 8786 markings/sec, 175 secs
lola: sara is running 180 secs || 1789800 markings, 3885300 edges, 9124 markings/sec, 180 secs
lola: sara is running 185 secs || 1835820 markings, 3986394 edges, 9204 markings/sec, 185 secs
lola: sara is running 190 secs || 1880886 markings, 4092712 edges, 9013 markings/sec, 190 secs
lola: sara is running 195 secs || 1926098 markings, 4194841 edges, 9042 markings/sec, 195 secs
lola: sara is running 200 secs || 1972352 markings, 4295976 edges, 9251 markings/sec, 200 secs
lola: sara is running 205 secs || 2016593 markings, 4394371 edges, 8848 markings/sec, 205 secs
lola: sara is running 210 secs || 2062025 markings, 4492802 edges, 9086 markings/sec, 210 secs
lola: sara is running 215 secs || 2106758 markings, 4592923 edges, 8947 markings/sec, 215 secs
lola: sara is running 220 secs || 2152640 markings, 4685433 edges, 9176 markings/sec, 220 secs
lola: sara is running 225 secs || 2196384 markings, 4785356 edges, 8749 markings/sec, 225 secs
lola: sara is running 230 secs || 2243752 markings, 4884862 edges, 9474 markings/sec, 230 secs
lola: sara is running 235 secs || 2288204 markings, 4988123 edges, 8890 markings/sec, 235 secs
lola: sara is running 240 secs || 2331300 markings, 5084238 edges, 8619 markings/sec, 240 secs
lola: sara is running 245 secs || 2376718 markings, 5180234 edges, 9084 markings/sec, 245 secs
lola: sara is running 250 secs || 2422202 markings, 5280848 edges, 9097 markings/sec, 250 secs
lola: sara is running 255 secs || 2467367 markings, 5379420 edges, 9033 markings/sec, 255 secs
lola: sara is running 260 secs || 2510671 markings, 5478832 edges, 8661 markings/sec, 260 secs
lola: sara is running 265 secs || 2555814 markings, 5575342 edges, 9029 markings/sec, 265 secs
lola: sara is running 270 secs || 2601790 markings, 5676708 edges, 9195 markings/sec, 270 secs
lola: sara is running 275 secs || 2642618 markings, 5776158 edges, 8166 markings/sec, 275 secs
lola: sara is running 280 secs || 2686774 markings, 5874124 edges, 8831 markings/sec, 280 secs
lola: sara is running 285 secs || 2730064 markings, 5975690 edges, 8658 markings/sec, 285 secs
lola: sara is running 290 secs || 2775055 markings, 6076800 edges, 8998 markings/sec, 290 secs
lola: sara is running 295 secs || 2820501 markings, 6168004 edges, 9089 markings/sec, 295 secs
lola: sara is running 300 secs || 2865518 markings, 6262264 edges, 9003 markings/sec, 300 secs
lola: sara is running 305 secs || 2907236 markings, 6355183 edges, 8344 markings/sec, 305 secs
lola: sara is running 310 secs || 2949277 markings, 6446594 edges, 8408 markings/sec, 310 secs
lola: sara is running 315 secs || 2990844 markings, 6539990 edges, 8313 markings/sec, 315 secs
lola: sara is running 320 secs || 3035053 markings, 6635782 edges, 8842 markings/sec, 320 secs
lola: sara is running 325 secs || 3077713 markings, 6731807 edges, 8532 markings/sec, 325 secs
lola: sara is running 330 secs || 3118263 markings, 6826598 edges, 8110 markings/sec, 330 secs
lola: sara is running 335 secs || 3158955 markings, 6917749 edges, 8138 markings/sec, 335 secs
lola: sara is running 340 secs || 3200047 markings, 7007770 edges, 8218 markings/sec, 340 secs
sara: warning, failure of lp_solve (at job 309)
lola: sara is running 345 secs || 3241983 markings, 7100006 edges, 8387 markings/sec, 345 secs
lola: sara is running 350 secs || 3284846 markings, 7193204 edges, 8573 markings/sec, 350 secs
lola: sara is running 355 secs || 3329310 markings, 7292833 edges, 8893 markings/sec, 355 secs
lola: sara is running 360 secs || 3374137 markings, 7389846 edges, 8965 markings/sec, 360 secs
lola: sara is running 365 secs || 3418352 markings, 7489537 edges, 8843 markings/sec, 365 secs
lola: sara is running 370 secs || 3465238 markings, 7589780 edges, 9377 markings/sec, 370 secs
lola: sara is running 375 secs || 3508644 markings, 7690601 edges, 8681 markings/sec, 375 secs
lola: sara is running 380 secs || 3550836 markings, 7787804 edges, 8438 markings/sec, 380 secs
lola: sara is running 385 secs || 3593510 markings, 7882946 edges, 8535 markings/sec, 385 secs
lola: sara is running 390 secs || 3636873 markings, 7978052 edges, 8673 markings/sec, 390 secs
lola: sara is running 395 secs || 3680586 markings, 8074080 edges, 8743 markings/sec, 395 secs
lola: sara is running 400 secs || 3721727 markings, 8174224 edges, 8228 markings/sec, 400 secs
lola: sara is running 405 secs || 3764653 markings, 8271552 edges, 8585 markings/sec, 405 secs
lola: sara is running 410 secs || 3809114 markings, 8372904 edges, 8892 markings/sec, 410 secs
lola: sara is running 415 secs || 3853332 markings, 8468880 edges, 8844 markings/sec, 415 secs
lola: sara is running 420 secs || 3897483 markings, 8569323 edges, 8830 markings/sec, 420 secs
lola: sara is running 425 secs || 3949779 markings, 8652223 edges, 10459 markings/sec, 425 secs
lola: sara is running 430 secs || 4001988 markings, 8752405 edges, 10442 markings/sec, 430 secs
lola: sara is running 435 secs || 4050546 markings, 8864881 edges, 9712 markings/sec, 435 secs
lola: sara is running 440 secs || 4104248 markings, 8967738 edges, 10740 markings/sec, 440 secs
lola: sara is running 445 secs || 4151330 markings, 9080603 edges, 9416 markings/sec, 445 secs
lola: sara is running 450 secs || 4199531 markings, 9190498 edges, 9640 markings/sec, 450 secs
lola: sara is running 455 secs || 4248055 markings, 9299649 edges, 9705 markings/sec, 455 secs
lola: sara is running 460 secs || 4293525 markings, 9404304 edges, 9094 markings/sec, 460 secs
lola: sara is running 465 secs || 4345124 markings, 9513329 edges, 10320 markings/sec, 465 secs
lola: sara is running 470 secs || 4390676 markings, 9618537 edges, 9110 markings/sec, 470 secs
lola: sara is running 475 secs || 4436365 markings, 9717089 edges, 9138 markings/sec, 475 secs
lola: sara is running 480 secs || 4481570 markings, 9817155 edges, 9041 markings/sec, 480 secs
lola: sara is running 485 secs || 4526474 markings, 9917532 edges, 8981 markings/sec, 485 secs
lola: sara is running 490 secs || 4571388 markings, 10018972 edges, 8983 markings/sec, 490 secs
lola: sara is running 495 secs || 4616889 markings, 10116121 edges, 9100 markings/sec, 495 secs
lola: sara is running 500 secs || 4659735 markings, 10214371 edges, 8569 markings/sec, 500 secs
lola: sara is running 505 secs || 4705870 markings, 10310061 edges, 9227 markings/sec, 505 secs
lola: sara is running 510 secs || 4749329 markings, 10409822 edges, 8692 markings/sec, 510 secs
lola: sara is running 515 secs || 4795131 markings, 10507586 edges, 9160 markings/sec, 515 secs
lola: sara is running 520 secs || 4839939 markings, 10607796 edges, 8962 markings/sec, 520 secs
lola: sara is running 525 secs || 4883100 markings, 10709701 edges, 8632 markings/sec, 525 secs
lola: sara is running 530 secs || 4927856 markings, 10811075 edges, 8951 markings/sec, 530 secs
lola: sara is running 535 secs || 4972521 markings, 10908610 edges, 8933 markings/sec, 535 secs
lola: sara is running 540 secs || 5012069 markings, 10996077 edges, 7910 markings/sec, 540 secs
lola: sara is running 545 secs || 5052086 markings, 11082408 edges, 8003 markings/sec, 545 secs
lola: sara is running 550 secs || 5090438 markings, 11170565 edges, 7670 markings/sec, 550 secs
lola: sara is running 555 secs || 5130922 markings, 11260081 edges, 8097 markings/sec, 555 secs
lola: sara is running 560 secs || 5172214 markings, 11347871 edges, 8258 markings/sec, 560 secs
lola: sara is running 565 secs || 5211047 markings, 11437834 edges, 7767 markings/sec, 565 secs
lola: sara is running 570 secs || 5249687 markings, 11527044 edges, 7728 markings/sec, 570 secs
lola: sara is running 575 secs || 5291934 markings, 11618460 edges, 8449 markings/sec, 575 secs
lola: sara is running 580 secs || 5334541 markings, 11709985 edges, 8521 markings/sec, 580 secs
lola: sara is running 585 secs || 5374449 markings, 11803042 edges, 7982 markings/sec, 585 secs
lola: sara is running 590 secs || 5416512 markings, 11896027 edges, 8413 markings/sec, 590 secs
lola: sara is running 595 secs || 5460997 markings, 11988877 edges, 8897 markings/sec, 595 secs
lola: sara is running 600 secs || 5501849 markings, 12083866 edges, 8170 markings/sec, 600 secs
lola: sara is running 605 secs || 5542939 markings, 12179012 edges, 8218 markings/sec, 605 secs
lola: sara is running 610 secs || 5586556 markings, 12272935 edges, 8723 markings/sec, 610 secs
lola: sara is running 615 secs || 5628779 markings, 12370561 edges, 8445 markings/sec, 615 secs
lola: sara is running 620 secs || 5673848 markings, 12466261 edges, 9014 markings/sec, 620 secs
lola: sara is running 625 secs || 5729724 markings, 12570455 edges, 11175 markings/sec, 625 secs
lola: sara is running 630 secs || 5775813 markings, 12678888 edges, 9218 markings/sec, 630 secs
lola: sara is running 635 secs || 5823442 markings, 12787396 edges, 9526 markings/sec, 635 secs
lola: sara is running 640 secs || 5871054 markings, 12894969 edges, 9522 markings/sec, 640 secs
lola: sara is running 645 secs || 5917721 markings, 13000829 edges, 9333 markings/sec, 645 secs
lola: sara is running 650 secs || 5966657 markings, 13108221 edges, 9787 markings/sec, 650 secs
lola: sara is running 655 secs || 6014776 markings, 13218350 edges, 9624 markings/sec, 655 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6024510 markings, 13238559 edges
lola: ========================================

FORMULA CloudReconfiguration-PT-310-ReachabilityFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t2420) AND FIREABLE(t1256))))
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(t2420) AND FIREABLE(t1256))))
lola: processed formula length: 45
lola: 1 rewrites
lola: closed formula file CloudReconfiguration-PT-310-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(t2420) AND FIREABLE(t1256))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-310-ReachabilityFireability-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-310-ReachabilityFireability-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 55434 markings, 90386 edges, 11087 markings/sec, 0 secs
lola: sara is running 5 secs || 102760 markings, 198977 edges, 9465 markings/sec, 5 secs
lola: sara is running 10 secs || 150348 markings, 305770 edges, 9518 markings/sec, 10 secs
lola: sara is running 15 secs || 198685 markings, 416469 edges, 9667 markings/sec, 15 secs
lola: sara is running 20 secs || 249662 markings, 521343 edges, 10195 markings/sec, 20 secs
lola: sara is running 25 secs || 300554 markings, 626987 edges, 10178 markings/sec, 25 secs
lola: sara is running 30 secs || 347072 markings, 730552 edges, 9304 markings/sec, 30 secs
lola: sara is running 35 secs || 393635 markings, 836278 edges, 9313 markings/sec, 35 secs
lola: sara is running 40 secs || 445291 markings, 929048 edges, 10331 markings/sec, 40 secs
sara: warning, failure of lp_solve (at job 288)
lola: sara is running 45 secs || 494069 markings, 1025868 edges, 9756 markings/sec, 45 secs
lola: sara is running 50 secs || 539487 markings, 1130260 edges, 9084 markings/sec, 50 secs
lola: sara is running 55 secs || 585431 markings, 1235585 edges, 9189 markings/sec, 55 secs
lola: sara is running 60 secs || 631433 markings, 1340476 edges, 9200 markings/sec, 60 secs
lola: sara is running 65 secs || 676138 markings, 1441417 edges, 8941 markings/sec, 65 secs
lola: sara is running 70 secs || 720088 markings, 1542126 edges, 8790 markings/sec, 70 secs
lola: sara is running 75 secs || 765316 markings, 1642814 edges, 9046 markings/sec, 75 secs
lola: sara is running 80 secs || 810467 markings, 1746117 edges, 9030 markings/sec, 80 secs
lola: sara is running 85 secs || 854579 markings, 1848366 edges, 8822 markings/sec, 85 secs
lola: sara is running 90 secs || 900765 markings, 1950800 edges, 9237 markings/sec, 90 secs
lola: sara is running 95 secs || 945675 markings, 2054918 edges, 8982 markings/sec, 95 secs
lola: sara is running 100 secs || 990769 markings, 2151610 edges, 9019 markings/sec, 100 secs
lola: sara is running 105 secs || 1036221 markings, 2252883 edges, 9090 markings/sec, 105 secs
lola: sara is running 110 secs || 1077495 markings, 2350245 edges, 8255 markings/sec, 110 secs
lola: sara is running 115 secs || 1125739 markings, 2451308 edges, 9649 markings/sec, 115 secs
lola: sara is running 120 secs || 1173113 markings, 2537105 edges, 9475 markings/sec, 120 secs
lola: sara is running 125 secs || 1216766 markings, 2636468 edges, 8731 markings/sec, 125 secs
lola: sara is running 130 secs || 1259051 markings, 2733184 edges, 8457 markings/sec, 130 secs
lola: sara is running 135 secs || 1303911 markings, 2829657 edges, 8972 markings/sec, 135 secs
lola: sara is running 140 secs || 1346811 markings, 2928867 edges, 8580 markings/sec, 140 secs
lola: sara is running 145 secs || 1388876 markings, 3026055 edges, 8413 markings/sec, 145 secs
lola: sara is running 150 secs || 1434859 markings, 3127907 edges, 9197 markings/sec, 150 secs
lola: sara is running 155 secs || 1478428 markings, 3228771 edges, 8714 markings/sec, 155 secs
lola: sara is running 160 secs || 1521197 markings, 3326683 edges, 8554 markings/sec, 160 secs
lola: sara is running 165 secs || 1565102 markings, 3425711 edges, 8781 markings/sec, 165 secs
lola: sara is running 170 secs || 1608522 markings, 3523021 edges, 8684 markings/sec, 170 secs
lola: sara is running 175 secs || 1651455 markings, 3623047 edges, 8587 markings/sec, 175 secs
lola: sara is running 180 secs || 1694495 markings, 3718002 edges, 8608 markings/sec, 180 secs
lola: sara is running 185 secs || 1735973 markings, 3811085 edges, 8296 markings/sec, 185 secs
lola: sara is running 190 secs || 1778061 markings, 3900681 edges, 8418 markings/sec, 190 secs
lola: sara is running 195 secs || 1819447 markings, 3995943 edges, 8277 markings/sec, 195 secs
lola: sara is running 200 secs || 1863408 markings, 4094349 edges, 8792 markings/sec, 200 secs
lola: sara is running 205 secs || 1905224 markings, 4186128 edges, 8363 markings/sec, 205 secs
lola: sara is running 210 secs || 1947864 markings, 4281056 edges, 8528 markings/sec, 210 secs
lola: sara is running 215 secs || 1988600 markings, 4376319 edges, 8147 markings/sec, 215 secs
lola: sara is running 220 secs || 2031495 markings, 4472084 edges, 8579 markings/sec, 220 secs
lola: sara is running 225 secs || 2073839 markings, 4560439 edges, 8469 markings/sec, 225 secs
lola: sara is running 230 secs || 2118466 markings, 4660403 edges, 8925 markings/sec, 230 secs
lola: sara is running 235 secs || 2162896 markings, 4762232 edges, 8886 markings/sec, 235 secs
lola: sara is running 240 secs || 2207211 markings, 4862502 edges, 8863 markings/sec, 240 secs
lola: sara is running 245 secs || 2253025 markings, 4965482 edges, 9163 markings/sec, 245 secs
lola: sara is running 250 secs || 2295721 markings, 5064014 edges, 8539 markings/sec, 250 secs
lola: sara is running 255 secs || 2339505 markings, 5161001 edges, 8757 markings/sec, 255 secs
lola: sara is running 260 secs || 2383547 markings, 5262302 edges, 8808 markings/sec, 260 secs
lola: sara is running 265 secs || 2427197 markings, 5362475 edges, 8730 markings/sec, 265 secs
lola: sara is running 270 secs || 2470061 markings, 5458011 edges, 8573 markings/sec, 270 secs
lola: sara is running 275 secs || 2514073 markings, 5558674 edges, 8802 markings/sec, 275 secs
lola: sara is running 280 secs || 2556374 markings, 5656181 edges, 8460 markings/sec, 280 secs
lola: sara is running 285 secs || 2599454 markings, 5754764 edges, 8616 markings/sec, 285 secs
lola: sara is running 290 secs || 2642076 markings, 5850962 edges, 8524 markings/sec, 290 secs
lola: sara is running 295 secs || 2680753 markings, 5938074 edges, 7735 markings/sec, 295 secs
lola: sara is running 300 secs || 2720061 markings, 6026291 edges, 7862 markings/sec, 300 secs
lola: sara is running 305 secs || 2761257 markings, 6120803 edges, 8239 markings/sec, 305 secs
lola: sara is running 310 secs || 2804668 markings, 6219145 edges, 8682 markings/sec, 310 secs
lola: sara is running 315 secs || 2848165 markings, 6316480 edges, 8699 markings/sec, 315 secs
lola: sara is running 320 secs || 2890621 markings, 6414148 edges, 8491 markings/sec, 320 secs
lola: sara is running 325 secs || 2934052 markings, 6508016 edges, 8686 markings/sec, 325 secs
lola: sara is running 330 secs || 2982822 markings, 6616829 edges, 9754 markings/sec, 330 secs
lola: sara is running 335 secs || 3030190 markings, 6724657 edges, 9474 markings/sec, 335 secs
lola: sara is running 340 secs || 3077779 markings, 6832660 edges, 9518 markings/sec, 340 secs
lola: sara is running 345 secs || 3127057 markings, 6936734 edges, 9856 markings/sec, 345 secs
lola: sara is running 350 secs || 3175597 markings, 7041599 edges, 9708 markings/sec, 350 secs
lola: sara is running 355 secs || 3221662 markings, 7147987 edges, 9213 markings/sec, 355 secs
lola: sara is running 360 secs || 3266970 markings, 7252142 edges, 9062 markings/sec, 360 secs
lola: sara is running 365 secs || 3307602 markings, 7339231 edges, 8126 markings/sec, 365 secs
lola: sara is running 370 secs || 3346279 markings, 7429594 edges, 7735 markings/sec, 370 secs
lola: sara is running 375 secs || 3389288 markings, 7524085 edges, 8602 markings/sec, 375 secs
lola: sara is running 380 secs || 3431142 markings, 7616735 edges, 8371 markings/sec, 380 secs
lola: sara is running 385 secs || 3472104 markings, 7706767 edges, 8192 markings/sec, 385 secs
lola: sara is running 390 secs || 3513675 markings, 7802309 edges, 8314 markings/sec, 390 secs
lola: sara is running 395 secs || 3555426 markings, 7893576 edges, 8350 markings/sec, 395 secs
lola: sara is running 400 secs || 3597402 markings, 7987021 edges, 8395 markings/sec, 400 secs
lola: sara is running 405 secs || 3639554 markings, 8080434 edges, 8430 markings/sec, 405 secs
lola: sara is running 410 secs || 3681832 markings, 8173660 edges, 8456 markings/sec, 410 secs
lola: sara is running 415 secs || 3722850 markings, 8268938 edges, 8204 markings/sec, 415 secs
lola: sara is running 420 secs || 3764683 markings, 8361419 edges, 8367 markings/sec, 420 secs
lola: sara is running 425 secs || 3811271 markings, 8458567 edges, 9318 markings/sec, 425 secs
lola: sara is running 430 secs || 3856833 markings, 8563133 edges, 9112 markings/sec, 430 secs
lola: sara is running 435 secs || 3901990 markings, 8667415 edges, 9031 markings/sec, 435 secs
lola: sara is running 440 secs || 3948691 markings, 8769987 edges, 9340 markings/sec, 440 secs
lola: sara is running 445 secs || 3992418 markings, 8862499 edges, 8745 markings/sec, 445 secs
lola: sara is running 450 secs || 4035726 markings, 8958588 edges, 8662 markings/sec, 450 secs
lola: sara is running 455 secs || 4077633 markings, 9052441 edges, 8381 markings/sec, 455 secs
lola: sara is running 460 secs || 4121503 markings, 9148963 edges, 8774 markings/sec, 460 secs
lola: sara is running 465 secs || 4162793 markings, 9241877 edges, 8258 markings/sec, 465 secs
lola: sara is running 470 secs || 4205186 markings, 9337321 edges, 8479 markings/sec, 470 secs
lola: sara is running 475 secs || 4245054 markings, 9427483 edges, 7974 markings/sec, 475 secs
lola: sara is running 480 secs || 4285891 markings, 9520104 edges, 8167 markings/sec, 480 secs
lola: sara is running 485 secs || 4329179 markings, 9617527 edges, 8658 markings/sec, 485 secs
lola: sara is running 490 secs || 4371010 markings, 9713107 edges, 8366 markings/sec, 490 secs
lola: sara is running 495 secs || 4412840 markings, 9807030 edges, 8366 markings/sec, 495 secs
lola: sara is running 500 secs || 4450590 markings, 9892628 edges, 7550 markings/sec, 500 secs
lola: sara is running 505 secs || 4488478 markings, 9978100 edges, 7578 markings/sec, 505 secs
lola: sara is running 510 secs || 4527817 markings, 10067080 edges, 7868 markings/sec, 510 secs
lola: sara is running 515 secs || 4568067 markings, 10158847 edges, 8050 markings/sec, 515 secs
lola: sara is running 520 secs || 4609194 markings, 10251428 edges, 8225 markings/sec, 520 secs
lola: sara is running 525 secs || 4651337 markings, 10346667 edges, 8429 markings/sec, 525 secs
lola: sara is running 530 secs || 4693047 markings, 10441971 edges, 8342 markings/sec, 530 secs
lola: sara is running 535 secs || 4735813 markings, 10538908 edges, 8553 markings/sec, 535 secs
lola: sara is running 540 secs || 4775072 markings, 10635233 edges, 7852 markings/sec, 540 secs
lola: sara is running 545 secs || 4818961 markings, 10737558 edges, 8778 markings/sec, 545 secs
lola: sara is running 550 secs || 4867891 markings, 10842295 edges, 9786 markings/sec, 550 secs
lola: sara is running 555 secs || 4917057 markings, 10954793 edges, 9833 markings/sec, 555 secs
lola: sara is running 560 secs || 4965941 markings, 11065371 edges, 9777 markings/sec, 560 secs
lola: sara is running 565 secs || 5011496 markings, 11167442 edges, 9111 markings/sec, 565 secs
lola: sara is running 570 secs || 5058679 markings, 11274405 edges, 9437 markings/sec, 570 secs
lola: sara is running 575 secs || 5103350 markings, 11376652 edges, 8934 markings/sec, 575 secs
lola: sara is running 580 secs || 5146362 markings, 11475326 edges, 8602 markings/sec, 580 secs
lola: sara is running 585 secs || 5191073 markings, 11576875 edges, 8942 markings/sec, 585 secs
lola: sara is running 590 secs || 5236543 markings, 11679826 edges, 9094 markings/sec, 590 secs
lola: sara is running 595 secs || 5280011 markings, 11775969 edges, 8694 markings/sec, 595 secs
lola: sara is running 600 secs || 5330450 markings, 11888656 edges, 10088 markings/sec, 600 secs
lola: sara is running 605 secs || 5378746 markings, 11998726 edges, 9659 markings/sec, 605 secs
lola: sara is running 610 secs || 5427565 markings, 12107216 edges, 9764 markings/sec, 610 secs
lola: sara is running 615 secs || 5474041 markings, 12214680 edges, 9295 markings/sec, 615 secs
lola: sara is running 620 secs || 5520379 markings, 12319710 edges, 9268 markings/sec, 620 secs
lola: sara is running 625 secs || 5565875 markings, 12413470 edges, 9099 markings/sec, 625 secs
lola: sara is running 630 secs || 5616081 markings, 12516542 edges, 10041 markings/sec, 630 secs
lola: sara is running 635 secs || 5663299 markings, 12612128 edges, 9444 markings/sec, 635 secs
lola: sara is running 640 secs || 5710768 markings, 12694193 edges, 9494 markings/sec, 640 secs
lola: sara is running 645 secs || 5760007 markings, 12799190 edges, 9848 markings/sec, 645 secs
lola: sara is running 650 secs || 5806630 markings, 12906893 edges, 9325 markings/sec, 650 secs
lola: sara is running 655 secs || 5853478 markings, 13014886 edges, 9370 markings/sec, 655 secs
lola: sara is running 660 secs || 5899319 markings, 13120835 edges, 9168 markings/sec, 660 secs
lola: sara is running 665 secs || 5944862 markings, 13223949 edges, 9109 markings/sec, 665 secs
lola: sara is running 670 secs || 5990368 markings, 13326767 edges, 9101 markings/sec, 670 secs
lola: sara is running 675 secs || 6037374 markings, 13428695 edges, 9401 markings/sec, 675 secs
lola: sara is running 680 secs || 6086410 markings, 13532065 edges, 9807 markings/sec, 680 secs
lola: sara is running 685 secs || 6132194 markings, 13637899 edges, 9157 markings/sec, 685 secs
lola: sara is running 690 secs || 6177731 markings, 13742018 edges, 9107 markings/sec, 690 secs
lola: sara is running 695 secs || 6224402 markings, 13848130 edges, 9334 markings/sec, 695 secs
lola: sara is running 700 secs || 6269967 markings, 13951970 edges, 9113 markings/sec, 700 secs
lola: sara is running 705 secs || 6315967 markings, 14057438 edges, 9200 markings/sec, 705 secs
lola: sara is running 710 secs || 6360690 markings, 14159319 edges, 8945 markings/sec, 710 secs
lola: sara is running 715 secs || 6406245 markings, 14262342 edges, 9111 markings/sec, 715 secs
lola: sara is running 720 secs || 6451817 markings, 14365949 edges, 9114 markings/sec, 720 secs
lola: sara is running 725 secs || 6497700 markings, 14470571 edges, 9177 markings/sec, 725 secs
lola: sara is running 730 secs || 6543532 markings, 14574072 edges, 9166 markings/sec, 730 secs
lola: sara is running 735 secs || 6585192 markings, 14669112 edges, 8332 markings/sec, 735 secs
lola: sara is running 740 secs || 6628483 markings, 14766346 edges, 8658 markings/sec, 740 secs
lola: sara is running 745 secs || 6670992 markings, 14863806 edges, 8502 markings/sec, 745 secs
lola: sara is running 750 secs || 6713764 markings, 14960345 edges, 8554 markings/sec, 750 secs
lola: sara is running 755 secs || 6756743 markings, 15059071 edges, 8596 markings/sec, 755 secs
lola: sara is running 760 secs || 6797498 markings, 15150728 edges, 8151 markings/sec, 760 secs
lola: sara is running 765 secs || 6838975 markings, 15241865 edges, 8295 markings/sec, 765 secs
lola: sara is running 770 secs || 6880184 markings, 15336965 edges, 8242 markings/sec, 770 secs
lola: sara is running 775 secs || 6921835 markings, 15432038 edges, 8330 markings/sec, 775 secs
lola: sara is running 780 secs || 6961968 markings, 15521530 edges, 8027 markings/sec, 780 secs
lola: sara is running 785 secs || 7000559 markings, 15610380 edges, 7718 markings/sec, 785 secs
lola: sara is running 790 secs || 7041835 markings, 15705803 edges, 8255 markings/sec, 790 secs
lola: sara is running 795 secs || 7083191 markings, 15800805 edges, 8271 markings/sec, 795 secs
lola: sara is running 800 secs || 7124262 markings, 15894195 edges, 8214 markings/sec, 800 secs
lola: sara is running 805 secs || 7162642 markings, 15979379 edges, 7676 markings/sec, 805 secs
lola: sara is running 810 secs || 7196665 markings, 16058213 edges, 6805 markings/sec, 810 secs
lola: sara is running 815 secs || 7233257 markings, 16140395 edges, 7318 markings/sec, 815 secs
lola: sara is running 820 secs || 7269595 markings, 16223321 edges, 7268 markings/sec, 820 secs
lola: sara is running 825 secs || 7308798 markings, 16312580 edges, 7841 markings/sec, 825 secs
lola: sara is running 830 secs || 7347249 markings, 16399499 edges, 7690 markings/sec, 830 secs
lola: sara is running 835 secs || 7384407 markings, 16484394 edges, 7432 markings/sec, 835 secs
lola: sara is running 840 secs || 7420722 markings, 16567939 edges, 7263 markings/sec, 840 secs
lola: sara is running 845 secs || 7458523 markings, 16652790 edges, 7560 markings/sec, 845 secs
lola: sara is running 850 secs || 7497510 markings, 16742700 edges, 7797 markings/sec, 850 secs
lola: sara is running 855 secs || 7536649 markings, 16830263 edges, 7828 markings/sec, 855 secs
lola: sara is running 860 secs || 7575470 markings, 16919552 edges, 7764 markings/sec, 860 secs
lola: sara is running 865 secs || 7616253 markings, 17012235 edges, 8157 markings/sec, 865 secs
lola: sara is running 870 secs || 7656912 markings, 17103828 edges, 8132 markings/sec, 870 secs
lola: sara is running 875 secs || 7696878 markings, 17195439 edges, 7993 markings/sec, 875 secs
lola: sara is running 880 secs || 7736166 markings, 17285801 edges, 7858 markings/sec, 880 secs
lola: sara is running 885 secs || 7777026 markings, 17377737 edges, 8172 markings/sec, 885 secs
lola: sara is running 890 secs || 7817606 markings, 17470667 edges, 8116 markings/sec, 890 secs
lola: sara is running 895 secs || 7857946 markings, 17563236 edges, 8068 markings/sec, 895 secs
lola: sara is running 900 secs || 7903590 markings, 17658918 edges, 9129 markings/sec, 900 secs
lola: sara is running 905 secs || 7949864 markings, 17765187 edges, 9255 markings/sec, 905 secs
lola: sara is running 910 secs || 7995310 markings, 17870167 edges, 9089 markings/sec, 910 secs
lola: sara is running 915 secs || 8041099 markings, 17975466 edges, 9158 markings/sec, 915 secs
lola: sara is running 920 secs || 8086220 markings, 18078989 edges, 9024 markings/sec, 920 secs
lola: sara is running 925 secs || 8132995 markings, 18184137 edges, 9355 markings/sec, 925 secs
lola: sara is running 930 secs || 8177955 markings, 18288296 edges, 8992 markings/sec, 930 secs
lola: sara is running 935 secs || 8223393 markings, 18383744 edges, 9088 markings/sec, 935 secs
lola: sara is running 940 secs || 8266546 markings, 18482893 edges, 8631 markings/sec, 940 secs
lola: sara is running 945 secs || 8309595 markings, 18581754 edges, 8610 markings/sec, 945 secs
lola: sara is running 950 secs || 8352156 markings, 18679584 edges, 8512 markings/sec, 950 secs
lola: sara is running 955 secs || 8394340 markings, 18777064 edges, 8437 markings/sec, 955 secs
lola: sara is running 960 secs || 8439623 markings, 18877492 edges, 9057 markings/sec, 960 secs
lola: sara is running 965 secs || 8486434 markings, 18983612 edges, 9362 markings/sec, 965 secs
lola: sara is running 970 secs || 8531941 markings, 19085146 edges, 9101 markings/sec, 970 secs
lola: sara is running 975 secs || 8579015 markings, 19192675 edges, 9415 markings/sec, 975 secs
lola: sara is running 980 secs || 8625631 markings, 19297385 edges, 9323 markings/sec, 980 secs
lola: sara is running 985 secs || 8668320 markings, 19394951 edges, 8538 markings/sec, 985 secs
lola: sara is running 990 secs || 8714326 markings, 19487622 edges, 9201 markings/sec, 990 secs
lola: sara is running 995 secs || 8753181 markings, 19578123 edges, 7771 markings/sec, 995 secs
lola: sara is running 1000 secs || 8789137 markings, 19664349 edges, 7191 markings/sec, 1000 secs
lola: sara is running 1005 secs || 8834293 markings, 19762320 edges, 9031 markings/sec, 1005 secs
lola: sara is running 1010 secs || 8878582 markings, 19851930 edges, 8858 markings/sec, 1010 secs
lola: sara is running 1015 secs || 8924221 markings, 19950018 edges, 9128 markings/sec, 1015 secs
lola: sara is running 1020 secs || 8976415 markings, 20053814 edges, 10439 markings/sec, 1020 secs
lola: sara is running 1025 secs || 9028394 markings, 20173099 edges, 10396 markings/sec, 1025 secs
lola: sara is running 1030 secs || 9079533 markings, 20291025 edges, 10228 markings/sec, 1030 secs
lola: sara is running 1035 secs || 9130433 markings, 20405765 edges, 10180 markings/sec, 1035 secs
lola: sara is running 1040 secs || 9185025 markings, 20517157 edges, 10918 markings/sec, 1040 secs
lola: sara is running 1045 secs || 9235284 markings, 20633094 edges, 10052 markings/sec, 1045 secs
lola: sara is running 1050 secs || 9283958 markings, 20745790 edges, 9735 markings/sec, 1050 secs
lola: sara is running 1055 secs || 9334359 markings, 20855716 edges, 10080 markings/sec, 1055 secs
lola: sara is running 1060 secs || 9383497 markings, 20969403 edges, 9828 markings/sec, 1060 secs
lola: sara is running 1065 secs || 9431843 markings, 21080407 edges, 9669 markings/sec, 1065 secs
lola: sara is running 1070 secs || 9479313 markings, 21186426 edges, 9494 markings/sec, 1070 secs
lola: sara is running 1075 secs || 9531025 markings, 21293472 edges, 10342 markings/sec, 1075 secs
lola: sara is running 1080 secs || 9581744 markings, 21407196 edges, 10144 markings/sec, 1080 secs
lola: sara is running 1085 secs || 9630666 markings, 21518200 edges, 9784 markings/sec, 1085 secs
lola: sara is running 1090 secs || 9673198 markings, 21616239 edges, 8506 markings/sec, 1090 secs
lola: sara is running 1095 secs || 9714268 markings, 21711511 edges, 8214 markings/sec, 1095 secs
lola: sara is running 1100 secs || 9763532 markings, 21824250 edges, 9853 markings/sec, 1100 secs
lola: sara is running 1105 secs || 9811100 markings, 21930862 edges, 9514 markings/sec, 1105 secs
lola: sara is running 1110 secs || 9862176 markings, 22042686 edges, 10215 markings/sec, 1110 secs
lola: sara is running 1115 secs || 9913724 markings, 22158888 edges, 10310 markings/sec, 1115 secs
lola: sara is running 1120 secs || 9963467 markings, 22271567 edges, 9949 markings/sec, 1120 secs
lola: sara is running 1125 secs || 10011965 markings, 22382672 edges, 9700 markings/sec, 1125 secs
lola: sara is running 1130 secs || 10050208 markings, 22474652 edges, 7649 markings/sec, 1130 secs
lola: sara is running 1135 secs || 10088277 markings, 22566564 edges, 7614 markings/sec, 1135 secs
lola: sara is running 1140 secs || 10129467 markings, 22665659 edges, 8238 markings/sec, 1140 secs
lola: sara is running 1145 secs || 10180989 markings, 22779468 edges, 10304 markings/sec, 1145 secs
lola: sara is running 1150 secs || 10230087 markings, 22892725 edges, 9820 markings/sec, 1150 secs
lola: sara is running 1155 secs || 10279620 markings, 23002521 edges, 9907 markings/sec, 1155 secs
lola: sara is running 1160 secs || 10326619 markings, 23108944 edges, 9400 markings/sec, 1160 secs
lola: sara is running 1165 secs || 10375825 markings, 23222284 edges, 9841 markings/sec, 1165 secs
lola: sara is running 1170 secs || 10423697 markings, 23330424 edges, 9574 markings/sec, 1170 secs
lola: sara is running 1175 secs || 10463518 markings, 23419914 edges, 7964 markings/sec, 1175 secs
lola: sara is running 1180 secs || 10510203 markings, 23517064 edges, 9337 markings/sec, 1180 secs
lola: sara is running 1185 secs || 10555278 markings, 23616586 edges, 9015 markings/sec, 1185 secs
lola: sara is running 1190 secs || 10600354 markings, 23724105 edges, 9015 markings/sec, 1190 secs
lola: sara is running 1195 secs || 10654156 markings, 23838061 edges, 10760 markings/sec, 1195 secs
lola: sara is running 1200 secs || 10705133 markings, 23955379 edges, 10195 markings/sec, 1200 secs
lola: sara is running 1205 secs || 10756033 markings, 24072151 edges, 10180 markings/sec, 1205 secs
lola: sara is running 1210 secs || 10800534 markings, 24178102 edges, 8900 markings/sec, 1210 secs
lola: sara is running 1215 secs || 10844002 markings, 24273403 edges, 8694 markings/sec, 1215 secs
lola: sara is running 1220 secs || 10895910 markings, 24368474 edges, 10382 markings/sec, 1220 secs
lola: sara is running 1225 secs || 10946518 markings, 24485052 edges, 10122 markings/sec, 1225 secs
lola: sara is running 1230 secs || 10996851 markings, 24601530 edges, 10067 markings/sec, 1230 secs
lola: sara is running 1235 secs || 11047229 markings, 24717682 edges, 10076 markings/sec, 1235 secs
lola: sara is running 1240 secs || 11096948 markings, 24830568 edges, 9944 markings/sec, 1240 secs
lola: sara is running 1245 secs || 11146960 markings, 24943606 edges, 10002 markings/sec, 1245 secs
lola: sara is running 1250 secs || 11200958 markings, 25052718 edges, 10800 markings/sec, 1250 secs
lola: sara is running 1255 secs || 11250896 markings, 25167293 edges, 9988 markings/sec, 1255 secs
lola: sara is running 1260 secs || 11299513 markings, 25279741 edges, 9723 markings/sec, 1260 secs
lola: sara is running 1265 secs || 11345964 markings, 25384942 edges, 9290 markings/sec, 1265 secs
lola: sara is running 1270 secs || 11392306 markings, 25490925 edges, 9268 markings/sec, 1270 secs
lola: sara is running 1275 secs || 11437310 markings, 25593481 edges, 9001 markings/sec, 1275 secs
lola: sara is running 1280 secs || 11483912 markings, 25699275 edges, 9320 markings/sec, 1280 secs
lola: sara is running 1285 secs || 11529943 markings, 25803680 edges, 9206 markings/sec, 1285 secs
lola: sara is running 1290 secs || 11576193 markings, 25900170 edges, 9250 markings/sec, 1290 secs
lola: sara is running 1295 secs || 11621488 markings, 26003421 edges, 9059 markings/sec, 1295 secs
lola: sara is running 1300 secs || 11666673 markings, 26107737 edges, 9037 markings/sec, 1300 secs
lola: sara is running 1305 secs || 11712145 markings, 26212376 edges, 9094 markings/sec, 1305 secs
lola: sara is running 1310 secs || 11756564 markings, 26315144 edges, 8884 markings/sec, 1310 secs
lola: sara is running 1315 secs || 11797051 markings, 26398305 edges, 8097 markings/sec, 1315 secs
lola: sara is running 1320 secs || 11840957 markings, 26452172 edges, 8781 markings/sec, 1320 secs
lola: sara is running 1325 secs || 11895019 markings, 26523451 edges, 10812 markings/sec, 1325 secs
lola: sara is running 1330 secs || 11946934 markings, 26640946 edges, 10383 markings/sec, 1330 secs
lola: sara is running 1335 secs || 11997810 markings, 26754068 edges, 10175 markings/sec, 1335 secs
lola: sara is running 1340 secs || 12047650 markings, 26866851 edges, 9968 markings/sec, 1340 secs
lola: sara is running 1345 secs || 12096556 markings, 26979348 edges, 9781 markings/sec, 1345 secs
lola: sara is running 1350 secs || 12145049 markings, 27087810 edges, 9699 markings/sec, 1350 secs
lola: sara is running 1355 secs || 12193816 markings, 27184455 edges, 9753 markings/sec, 1355 secs
lola: sara is running 1360 secs || 12238774 markings, 27292039 edges, 8992 markings/sec, 1360 secs
lola: sara is running 1365 secs || 12283668 markings, 27382422 edges, 8979 markings/sec, 1365 secs
lola: sara is running 1370 secs || 12318788 markings, 27462561 edges, 7024 markings/sec, 1370 secs
lola: sara is running 1375 secs || 12364428 markings, 27518709 edges, 9128 markings/sec, 1375 secs
lola: sara is running 1380 secs || 12416054 markings, 27582095 edges, 10325 markings/sec, 1380 secs
lola: sara is running 1385 secs || 12465250 markings, 27642355 edges, 9839 markings/sec, 1385 secs
lola: sara is running 1390 secs || 12512275 markings, 27700071 edges, 9405 markings/sec, 1390 secs
lola: sara is running 1395 secs || 12560598 markings, 27770834 edges, 9665 markings/sec, 1395 secs
lola: sara is running 1400 secs || 12595802 markings, 27847105 edges, 7041 markings/sec, 1400 secs
lola: sara is running 1405 secs || 12630894 markings, 27925128 edges, 7018 markings/sec, 1405 secs
lola: sara is running 1410 secs || 12667128 markings, 27999683 edges, 7247 markings/sec, 1410 secs
lola: sara is running 1415 secs || 12713160 markings, 28056160 edges, 9206 markings/sec, 1415 secs
lola: sara is running 1420 secs || 12767813 markings, 28123300 edges, 10931 markings/sec, 1420 secs
lola: sara is running 1425 secs || 12813652 markings, 28179403 edges, 9168 markings/sec, 1425 secs
lola: sara is running 1430 secs || 12865223 markings, 28242726 edges, 10314 markings/sec, 1430 secs
lola: sara is running 1435 secs || 12906533 markings, 28315485 edges, 8262 markings/sec, 1435 secs
lola: sara is running 1440 secs || 12940982 markings, 28390133 edges, 6890 markings/sec, 1440 secs
lola: sara is running 1445 secs || 12974172 markings, 28469561 edges, 6638 markings/sec, 1445 secs
lola: sara is running 1450 secs || 13014318 markings, 28535233 edges, 8029 markings/sec, 1450 secs
lola: sara is running 1455 secs || 13061943 markings, 28593685 edges, 9525 markings/sec, 1455 secs
lola: sara is running 1460 secs || 13110726 markings, 28660970 edges, 9757 markings/sec, 1460 secs
lola: sara is running 1465 secs || 13143398 markings, 28731721 edges, 6534 markings/sec, 1465 secs
lola: sara is running 1470 secs || 13175978 markings, 28802288 edges, 6516 markings/sec, 1470 secs
lola: sara is running 1475 secs || 13210202 markings, 28869112 edges, 6845 markings/sec, 1475 secs
lola: sara is running 1480 secs || 13243301 markings, 28938406 edges, 6620 markings/sec, 1480 secs
lola: sara is running 1485 secs || 13283636 markings, 29020901 edges, 8067 markings/sec, 1485 secs
lola: sara is running 1490 secs || 13322504 markings, 29099820 edges, 7774 markings/sec, 1490 secs
lola: sara is running 1495 secs || 13361725 markings, 29180171 edges, 7844 markings/sec, 1495 secs
lola: sara is running 1500 secs || 13398123 markings, 29254280 edges, 7280 markings/sec, 1500 secs
lola: sara is running 1505 secs || 13433481 markings, 29326471 edges, 7072 markings/sec, 1505 secs
lola: sara is running 1510 secs || 13469984 markings, 29401095 edges, 7301 markings/sec, 1510 secs
lola: sara is running 1515 secs || 13507833 markings, 29478513 edges, 7570 markings/sec, 1515 secs
lola: sara is running 1520 secs || 13546950 markings, 29557839 edges, 7823 markings/sec, 1520 secs
lola: sara is running 1525 secs || 13591688 markings, 29648644 edges, 8948 markings/sec, 1525 secs
lola: sara is running 1530 secs || 13636009 markings, 29738193 edges, 8864 markings/sec, 1530 secs
lola: sara is running 1535 secs || 13679112 markings, 29826409 edges, 8621 markings/sec, 1535 secs
lola: sara is running 1540 secs || 13726167 markings, 29921501 edges, 9411 markings/sec, 1540 secs
lola: sara is running 1545 secs || 13773456 markings, 30017428 edges, 9458 markings/sec, 1545 secs
lola: sara is running 1550 secs || 13819088 markings, 30110795 edges, 9126 markings/sec, 1550 secs
lola: sara is running 1555 secs || 13856943 markings, 30190626 edges, 7571 markings/sec, 1555 secs
lola: sara is running 1560 secs || 13889456 markings, 30261050 edges, 6503 markings/sec, 1560 secs
lola: sara is running 1565 secs || 13921706 markings, 30331401 edges, 6450 markings/sec, 1565 secs
lola: sara is running 1570 secs || 13954964 markings, 30403304 edges, 6652 markings/sec, 1570 secs
lola: sara is running 1575 secs || 13993217 markings, 30486486 edges, 7651 markings/sec, 1575 secs
lola: sara is running 1580 secs || 14032012 markings, 30570652 edges, 7759 markings/sec, 1580 secs
lola: sara is running 1585 secs || 14068709 markings, 30650569 edges, 7339 markings/sec, 1585 secs
lola: sara is running 1590 secs || 14106289 markings, 30732193 edges, 7516 markings/sec, 1590 secs
lola: sara is running 1595 secs || 14144539 markings, 30815612 edges, 7650 markings/sec, 1595 secs
lola: sara is running 1600 secs || 14180167 markings, 30893092 edges, 7126 markings/sec, 1600 secs
lola: sara is running 1605 secs || 14212594 markings, 30963454 edges, 6485 markings/sec, 1605 secs
lola: sara is running 1610 secs || 14247081 markings, 31038474 edges, 6897 markings/sec, 1610 secs
lola: sara is running 1615 secs || 14281920 markings, 31114179 edges, 6968 markings/sec, 1615 secs
lola: sara is running 1620 secs || 14317421 markings, 31191314 edges, 7100 markings/sec, 1620 secs
lola: sara is running 1625 secs || 14353832 markings, 31270442 edges, 7282 markings/sec, 1625 secs
lola: sara is running 1630 secs || 14390583 markings, 31350491 edges, 7350 markings/sec, 1630 secs
lola: sara is running 1635 secs || 14432232 markings, 31441195 edges, 8330 markings/sec, 1635 secs
lola: sara is running 1640 secs || 14475001 markings, 31534490 edges, 8554 markings/sec, 1640 secs
lola: sara is running 1645 secs || 14518538 markings, 31629225 edges, 8707 markings/sec, 1645 secs
lola: sara is running 1650 secs || 14560535 markings, 31720959 edges, 8399 markings/sec, 1650 secs
lola: sara is running 1655 secs || 14601982 markings, 31811171 edges, 8289 markings/sec, 1655 secs
lola: sara is running 1660 secs || 14644360 markings, 31903809 edges, 8476 markings/sec, 1660 secs
lola: sara is running 1665 secs || 14690422 markings, 32004346 edges, 9212 markings/sec, 1665 secs
lola: sara is running 1670 secs || 14735955 markings, 32103466 edges, 9107 markings/sec, 1670 secs
lola: sara is running 1675 secs || 14781163 markings, 32202056 edges, 9042 markings/sec, 1675 secs
lola: sara is running 1680 secs || 14825333 markings, 32298302 edges, 8834 markings/sec, 1680 secs
lola: sara is running 1685 secs || 14868621 markings, 32392797 edges, 8658 markings/sec, 1685 secs
lola: sara is running 1690 secs || 14900615 markings, 32462101 edges, 6399 markings/sec, 1690 secs
lola: sara is running 1695 secs || 14933225 markings, 32528696 edges, 6522 markings/sec, 1695 secs
lola: sara is running 1700 secs || 14973104 markings, 32604674 edges, 7976 markings/sec, 1700 secs
lola: sara is running 1705 secs || 15011935 markings, 32683268 edges, 7766 markings/sec, 1705 secs
lola: sara is running 1710 secs || 15050260 markings, 32761890 edges, 7665 markings/sec, 1710 secs
lola: sara is running 1715 secs || 15087884 markings, 32838921 edges, 7525 markings/sec, 1715 secs
lola: sara is running 1720 secs || 15122208 markings, 32908861 edges, 6865 markings/sec, 1720 secs
lola: sara is running 1725 secs || 15157899 markings, 32981915 edges, 7138 markings/sec, 1725 secs
lola: sara is running 1730 secs || 15195082 markings, 33057480 edges, 7437 markings/sec, 1730 secs
lola: sara is running 1735 secs || 15232387 markings, 33134008 edges, 7461 markings/sec, 1735 secs
lola: sara is running 1740 secs || 15275537 markings, 33221017 edges, 8630 markings/sec, 1740 secs
lola: sara is running 1745 secs || 15319965 markings, 33311492 edges, 8886 markings/sec, 1745 secs
lola: sara is running 1750 secs || 15362602 markings, 33398252 edges, 8527 markings/sec, 1750 secs
lola: sara is running 1755 secs || 15408321 markings, 33490088 edges, 9144 markings/sec, 1755 secs
lola: sara is running 1760 secs || 15454277 markings, 33584555 edges, 9191 markings/sec, 1760 secs
lola: sara is running 1765 secs || 15500501 markings, 33678351 edges, 9245 markings/sec, 1765 secs
lola: sara is running 1770 secs || 15543445 markings, 33766821 edges, 8589 markings/sec, 1770 secs
lola: sara is running 1775 secs || 15575628 markings, 33836542 edges, 6437 markings/sec, 1775 secs
lola: sara is running 1780 secs || 15608798 markings, 33904893 edges, 6634 markings/sec, 1780 secs
lola: sara is running 1785 secs || 15640185 markings, 33976895 edges, 6277 markings/sec, 1785 secs
lola: sara is running 1790 secs || 15672147 markings, 34046113 edges, 6392 markings/sec, 1790 secs
lola: sara is running 1795 secs || 15703562 markings, 34118724 edges, 6283 markings/sec, 1795 secs
lola: sara is running 1800 secs || 15735202 markings, 34187640 edges, 6328 markings/sec, 1800 secs
lola: sara is running 1805 secs || 15762578 markings, 34272930 edges, 5475 markings/sec, 1805 secs
lola: sara is running 1810 secs || 15803756 markings, 34323362 edges, 8236 markings/sec, 1810 secs
lola: sara is running 1815 secs || 15849224 markings, 34379192 edges, 9094 markings/sec, 1815 secs
lola: sara is running 1820 secs || 15895181 markings, 34435478 edges, 9191 markings/sec, 1820 secs
lola: sara is running 1825 secs || 15936752 markings, 34486480 edges, 8314 markings/sec, 1825 secs
lola: sara is running 1830 secs || 15986927 markings, 34548127 edges, 10035 markings/sec, 1830 secs
lola: sara is running 1835 secs || 16017813 markings, 34612693 edges, 6177 markings/sec, 1835 secs
lola: sara is running 1840 secs || 16047631 markings, 34677286 edges, 5964 markings/sec, 1840 secs
lola: sara is running 1845 secs || 16078324 markings, 34743422 edges, 6139 markings/sec, 1845 secs
lola: sara is running 1850 secs || 16116826 markings, 34822304 edges, 7700 markings/sec, 1850 secs
lola: sara is running 1855 secs || 16154324 markings, 34898223 edges, 7500 markings/sec, 1855 secs
lola: sara is running 1860 secs || 16192162 markings, 34975638 edges, 7568 markings/sec, 1860 secs
lola: sara is running 1865 secs || 16227712 markings, 35048220 edges, 7110 markings/sec, 1865 secs
lola: sara is running 1870 secs || 16261699 markings, 35117612 edges, 6797 markings/sec, 1870 secs
lola: sara is running 1875 secs || 16296956 markings, 35189335 edges, 7051 markings/sec, 1875 secs
lola: sara is running 1880 secs || 16332984 markings, 35263138 edges, 7206 markings/sec, 1880 secs
lola: sara is running 1885 secs || 16369824 markings, 35338553 edges, 7368 markings/sec, 1885 secs
lola: sara is running 1890 secs || 16412728 markings, 35424950 edges, 8581 markings/sec, 1890 secs
lola: sara is running 1895 secs || 16456254 markings, 35513501 edges, 8705 markings/sec, 1895 secs
lola: sara is running 1900 secs || 16497800 markings, 35598235 edges, 8309 markings/sec, 1900 secs
lola: sara is running 1905 secs || 16542782 markings, 35688506 edges, 8996 markings/sec, 1905 secs
lola: sara is running 1910 secs || 16587767 markings, 35781152 edges, 8997 markings/sec, 1910 secs
lola: sara is running 1915 secs || 16633008 markings, 35872791 edges, 9048 markings/sec, 1915 secs
lola: sara is running 1920 secs || 16675870 markings, 35960886 edges, 8572 markings/sec, 1920 secs
lola: sara is running 1925 secs || 16705362 markings, 36024775 edges, 5898 markings/sec, 1925 secs
lola: sara is running 1930 secs || 16734855 markings, 36088677 edges, 5899 markings/sec, 1930 secs
lola: sara is running 1935 secs || 16763971 markings, 36151771 edges, 5823 markings/sec, 1935 secs
lola: sara is running 1940 secs || 16795402 markings, 36214425 edges, 6286 markings/sec, 1940 secs
lola: sara is running 1945 secs || 16838965 markings, 36267875 edges, 8713 markings/sec, 1945 secs
lola: sara is running 1950 secs || 16890650 markings, 36331367 edges, 10337 markings/sec, 1950 secs
lola: sara is running 1955 secs || 16933533 markings, 36383855 edges, 8577 markings/sec, 1955 secs
lola: sara is running 1960 secs || 16979877 markings, 36440740 edges, 9269 markings/sec, 1960 secs
lola: sara is running 1965 secs || 17022287 markings, 36506124 edges, 8482 markings/sec, 1965 secs
lola: sara is running 1970 secs || 17051233 markings, 36568802 edges, 5789 markings/sec, 1970 secs
lola: sara is running 1975 secs || 17078508 markings, 36635199 edges, 5455 markings/sec, 1975 secs
lola: sara is running 1980 secs || 17116740 markings, 36688173 edges, 7646 markings/sec, 1980 secs
lola: sara is running 1985 secs || 17160267 markings, 36741589 edges, 8705 markings/sec, 1985 secs
lola: sara is running 1990 secs || 17204772 markings, 36804058 edges, 8901 markings/sec, 1990 secs
lola: sara is running 1995 secs || 17234118 markings, 36867642 edges, 5869 markings/sec, 1995 secs
lola: sara is running 2000 secs || 17263974 markings, 36932307 edges, 5971 markings/sec, 2000 secs
lola: sara is running 2005 secs || 17293622 markings, 36996520 edges, 5930 markings/sec, 2005 secs
lola: sara is running 2010 secs || 17323493 markings, 37063551 edges, 5974 markings/sec, 2010 secs
lola: sara is running 2015 secs || 17351465 markings, 37135779 edges, 5594 markings/sec, 2015 secs
lola: sara is running 2020 secs || 17380725 markings, 37201811 edges, 5852 markings/sec, 2020 secs
lola: sara is running 2025 secs || 17423091 markings, 37253768 edges, 8473 markings/sec, 2025 secs
lola: sara is running 2030 secs || 17471893 markings, 37313688 edges, 9760 markings/sec, 2030 secs
lola: sara is running 2035 secs || 17517016 markings, 37368939 edges, 9025 markings/sec, 2035 secs
lola: sara is running 2040 secs || 17561139 markings, 37423088 edges, 8825 markings/sec, 2040 secs
lola: sara is running 2045 secs || 17609236 markings, 37486518 edges, 9619 markings/sec, 2045 secs
lola: sara is running 2050 secs || 17637964 markings, 37548727 edges, 5746 markings/sec, 2050 secs
lola: sara is running 2055 secs || 17666067 markings, 37609605 edges, 5621 markings/sec, 2055 secs
lola: sara is running 2060 secs || 17696990 markings, 37676117 edges, 6185 markings/sec, 2060 secs
lola: sara is running 2065 secs || 17736191 markings, 37756085 edges, 7840 markings/sec, 2065 secs
lola: sara is running 2070 secs || 17774522 markings, 37833894 edges, 7666 markings/sec, 2070 secs
lola: sara is running 2075 secs || 17813408 markings, 37913532 edges, 7777 markings/sec, 2075 secs
lola: sara is running 2080 secs || 17848722 markings, 37985434 edges, 7063 markings/sec, 2080 secs
lola: sara is running 2085 secs || 17883806 markings, 38057044 edges, 7017 markings/sec, 2085 secs
lola: sara is running 2090 secs || 17919830 markings, 38130499 edges, 7205 markings/sec, 2090 secs
lola: sara is running 2095 secs || 17956869 markings, 38206414 edges, 7408 markings/sec, 2095 secs
lola: sara is running 2100 secs || 17995472 markings, 38284622 edges, 7721 markings/sec, 2100 secs
lola: sara is running 2105 secs || 18040228 markings, 38375583 edges, 8951 markings/sec, 2105 secs
lola: sara is running 2110 secs || 18082707 markings, 38461457 edges, 8496 markings/sec, 2110 secs
lola: sara is running 2115 secs || 18123843 markings, 38545538 edges, 8227 markings/sec, 2115 secs
lola: sara is running 2120 secs || 18168605 markings, 38635787 edges, 8952 markings/sec, 2120 secs
lola: sara is running 2125 secs || 18213709 markings, 38728387 edges, 9021 markings/sec, 2125 secs
lola: sara is running 2130 secs || 18257820 markings, 38817822 edges, 8822 markings/sec, 2130 secs
lola: sara is running 2135 secs || 18296701 markings, 38898439 edges, 7776 markings/sec, 2135 secs
lola: sara is running 2140 secs || 18324600 markings, 38958870 edges, 5580 markings/sec, 2140 secs
lola: sara is running 2145 secs || 18352606 markings, 39019513 edges, 5601 markings/sec, 2145 secs
lola: sara is running 2150 secs || 18380153 markings, 39079198 edges, 5509 markings/sec, 2150 secs
lola: sara is running 2155 secs || 18410050 markings, 39139080 edges, 5979 markings/sec, 2155 secs
lola: sara is running 2160 secs || 18450305 markings, 39188457 edges, 8051 markings/sec, 2160 secs
lola: sara is running 2165 secs || 18498133 markings, 39247217 edges, 9566 markings/sec, 2165 secs
lola: sara is running 2170 secs || 18539259 markings, 39297553 edges, 8225 markings/sec, 2170 secs
lola: sara is running 2175 secs || 18579121 markings, 39346461 edges, 7972 markings/sec, 2175 secs
lola: sara is running 2180 secs || 18626143 markings, 39406856 edges, 9404 markings/sec, 2180 secs
lola: sara is running 2185 secs || 18653840 markings, 39466838 edges, 5539 markings/sec, 2185 secs
lola: sara is running 2190 secs || 18681150 markings, 39526039 edges, 5462 markings/sec, 2190 secs
lola: sara is running 2195 secs || 18709561 markings, 39586032 edges, 5682 markings/sec, 2195 secs
lola: sara is running 2200 secs || 18750610 markings, 39636391 edges, 8210 markings/sec, 2200 secs
lola: sara is running 2205 secs || 18799488 markings, 39696432 edges, 9776 markings/sec, 2205 secs
lola: sara is running 2210 secs || 18833289 markings, 39758219 edges, 6760 markings/sec, 2210 secs
lola: sara is running 2215 secs || 18861471 markings, 39819277 edges, 5636 markings/sec, 2215 secs
lola: sara is running 2220 secs || 18889424 markings, 39879830 edges, 5591 markings/sec, 2220 secs
lola: sara is running 2225 secs || 18915549 markings, 39945673 edges, 5225 markings/sec, 2225 secs
lola: sara is running 2230 secs || 18942161 markings, 40010867 edges, 5322 markings/sec, 2230 secs
lola: sara is running 2235 secs || 18969760 markings, 40074893 edges, 5520 markings/sec, 2235 secs
lola: sara is running 2240 secs || 19012693 markings, 40127444 edges, 8587 markings/sec, 2240 secs
lola: sara is running 2245 secs || 19061056 markings, 40186827 edges, 9673 markings/sec, 2245 secs
lola: sara is running 2250 secs || 19101800 markings, 40253533 edges, 8149 markings/sec, 2250 secs
lola: sara is running 2255 secs || 19132787 markings, 40320674 edges, 6197 markings/sec, 2255 secs
lola: sara is running 2260 secs || 19165752 markings, 40384270 edges, 6593 markings/sec, 2260 secs
lola: sara is running 2265 secs || 19197162 markings, 40453414 edges, 6282 markings/sec, 2265 secs
lola: sara is running 2270 secs || 19227984 markings, 40521332 edges, 6164 markings/sec, 2270 secs
lola: sara is running 2275 secs || 19252133 markings, 40602389 edges, 4830 markings/sec, 2275 secs
lola: sara is running 2280 secs || 19277313 markings, 40682842 edges, 5036 markings/sec, 2280 secs
lola: sara is running 2285 secs || 19303462 markings, 40745854 edges, 5230 markings/sec, 2285 secs
lola: sara is running 2290 secs || 19353770 markings, 40856591 edges, 10062 markings/sec, 2290 secs
lola: sara is running 2295 secs || 19402632 markings, 40965650 edges, 9772 markings/sec, 2295 secs
lola: sara is running 2300 secs || 19456306 markings, 41077123 edges, 10735 markings/sec, 2300 secs
lola: sara is running 2305 secs || 19505734 markings, 41188238 edges, 9886 markings/sec, 2305 secs
lola: sara is running 2310 secs || 19553865 markings, 41299249 edges, 9626 markings/sec, 2310 secs
lola: sara is running 2315 secs || 19602689 markings, 41412013 edges, 9765 markings/sec, 2315 secs
lola: sara is running 2320 secs || 19657280 markings, 41524662 edges, 10918 markings/sec, 2320 secs
lola: sara is running 2325 secs || 19709747 markings, 41638086 edges, 10493 markings/sec, 2325 secs
lola: sara is running 2330 secs || 19760471 markings, 41748363 edges, 10145 markings/sec, 2330 secs
lola: sara is running 2335 secs || 19805747 markings, 41853333 edges, 9055 markings/sec, 2335 secs
lola: sara is running 2340 secs || 19851438 markings, 41956607 edges, 9138 markings/sec, 2340 secs
lola: sara is running 2345 secs || 19896264 markings, 42053638 edges, 8965 markings/sec, 2345 secs
lola: sara is running 2350 secs || 19945581 markings, 42159573 edges, 9863 markings/sec, 2350 secs
lola: sara is running 2355 secs || 19993962 markings, 42266681 edges, 9676 markings/sec, 2355 secs
lola: sara is running 2360 secs || 20039085 markings, 42365203 edges, 9025 markings/sec, 2360 secs
lola: sara is running 2365 secs || 20080807 markings, 42453797 edges, 8344 markings/sec, 2365 secs
lola: sara is running 2370 secs || 20128062 markings, 42548257 edges, 9451 markings/sec, 2370 secs
lola: sara is running 2375 secs || 20172418 markings, 42643189 edges, 8871 markings/sec, 2375 secs
lola: sara is running 2380 secs || 20216444 markings, 42738193 edges, 8805 markings/sec, 2380 secs
lola: sara is running 2385 secs || 20259750 markings, 42832626 edges, 8661 markings/sec, 2385 secs
lola: sara is running 2390 secs || 20301382 markings, 42925752 edges, 8326 markings/sec, 2390 secs
lola: sara is running 2395 secs || 20344131 markings, 43017579 edges, 8550 markings/sec, 2395 secs
lola: sara is running 2400 secs || 20386269 markings, 43109464 edges, 8428 markings/sec, 2400 secs
lola: sara is running 2405 secs || 20428507 markings, 43201266 edges, 8448 markings/sec, 2405 secs
lola: sara is running 2410 secs || 20471024 markings, 43293170 edges, 8503 markings/sec, 2410 secs
lola: sara is running 2415 secs || 20512739 markings, 43384553 edges, 8343 markings/sec, 2415 secs
lola: sara is running 2420 secs || 20554103 markings, 43474532 edges, 8273 markings/sec, 2420 secs
lola: sara is running 2425 secs || 20602506 markings, 43566870 edges, 9681 markings/sec, 2425 secs
lola: sara is running 2430 secs || 20646120 markings, 43659947 edges, 8723 markings/sec, 2430 secs
lola: sara is running 2435 secs || 20688868 markings, 43752923 edges, 8550 markings/sec, 2435 secs
lola: sara is running 2440 secs || 20737482 markings, 43844801 edges, 9723 markings/sec, 2440 secs
lola: sara is running 2445 secs || 20782059 markings, 43935595 edges, 8915 markings/sec, 2445 secs
lola: sara is running 2450 secs || 20826837 markings, 44026499 edges, 8956 markings/sec, 2450 secs
lola: sara is running 2455 secs || 20868737 markings, 44116546 edges, 8380 markings/sec, 2455 secs
lola: sara is running 2460 secs || 20910951 markings, 44207145 edges, 8443 markings/sec, 2460 secs
lola: sara is running 2465 secs || 20952304 markings, 44297075 edges, 8271 markings/sec, 2465 secs
lola: sara is running 2470 secs || 20997934 markings, 44387408 edges, 9126 markings/sec, 2470 secs
lola: sara is running 2475 secs || 21041973 markings, 44478278 edges, 8808 markings/sec, 2475 secs
lola: sara is running 2480 secs || 21084336 markings, 44569502 edges, 8473 markings/sec, 2480 secs
lola: sara is running 2485 secs || 21128917 markings, 44659635 edges, 8916 markings/sec, 2485 secs
lola: sara is running 2490 secs || 21174034 markings, 44750656 edges, 9023 markings/sec, 2490 secs
lola: sara is running 2495 secs || 21214806 markings, 44839847 edges, 8154 markings/sec, 2495 secs
lola: sara is running 2500 secs || 21257014 markings, 44931423 edges, 8442 markings/sec, 2500 secs
lola: sara is running 2505 secs || 21298053 markings, 45019655 edges, 8208 markings/sec, 2505 secs
lola: sara is running 2510 secs || 21338606 markings, 45108247 edges, 8111 markings/sec, 2510 secs
lola: sara is running 2515 secs || 21378257 markings, 45195912 edges, 7930 markings/sec, 2515 secs
lola: sara is running 2520 secs || 21418442 markings, 45282682 edges, 8037 markings/sec, 2520 secs
lola: sara is running 2525 secs || 21458011 markings, 45368647 edges, 7914 markings/sec, 2525 secs
lola: sara is running 2530 secs || 21498508 markings, 45456102 edges, 8099 markings/sec, 2530 secs
lola: sara is running 2535 secs || 21545055 markings, 45544645 edges, 9309 markings/sec, 2535 secs
lola: sara is running 2540 secs || 21586406 markings, 45634454 edges, 8270 markings/sec, 2540 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes yes yes no no yes yes yes yes yes no yes no unknown yes
lola:
preliminary result: no yes yes yes no no yes yes yes yes yes no yes no unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes yes no no yes yes yes yes yes no yes no unknown yes
lola: memory consumption: 18344 KB
lola: time consumption: 3570 seconds

BK_STOP 1526514557227

--------------------
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-310"
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-310.tgz
mv CloudReconfiguration-PT-310 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-310, 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-152646379900070"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;