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

About the Execution of LoLA for CloudDeployment-PT-6a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15273.970 3600000.00 7195845.00 7895.90 TTTFTTTTTTT?FTFT 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 488K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K 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.3K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K 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 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.5K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 317K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudDeployment-PT-6a, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357400252
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1526619261693

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudDeployment-PT-6a 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 CloudDeployment-PT-6a formula ReachabilityFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityFireability @ CloudDeployment-PT-6a @ 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: 1129/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 221
lola: finding significant places
lola: 221 places, 908 transitions, 185 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 797 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-6a-ReachabilityFireability.task
lola: E (F (FIREABLE(t86))) : E (F (FIREABLE(t51))) : E (F (FIREABLE(t171))) : A (G ((NOT FIREABLE(t112) OR (FIREABLE(t558) AND FIREABLE(t451))))) : E (F (((NOT FIREABLE(t293) AND FIREABLE(t461)) OR FIREABLE(t412)))) : E (F ((FIREABLE(t188) OR (NOT FIREABLE(t284) AND NOT FIREABLE(t80) AND ((FIREABLE(t378) AND FIREABLE(t142)) OR FIREABLE(t91)))))) : E (F (FIREABLE(t807))) : E (F (((FIREABLE(t51) OR FIREABLE(t248)) AND (FIREABLE(t547) OR FIREABLE(t331) OR FIREABLE(t898) OR (FIREABLE(t703) AND FIREABLE(t232)) OR (FIREABLE(t599) AND FIREABLE(t186)))))) : E (F ((FIREABLE(t348) AND ((FIREABLE(t334) AND FIREABLE(t776)) OR NOT FIREABLE(t279)) AND FIREABLE(t670)))) : E (F (FIREABLE(t549))) : E (F ((NOT FIREABLE(t832) AND NOT FIREABLE(t4) AND (FIREABLE(t812) OR FIREABLE(t432) OR NOT FIREABLE(t34)) AND FIREABLE(t826)))) : E (F ((FIREABLE(t162) AND (NOT FIREABLE(t179) OR (FIREABLE(t91) AND FIREABLE(t173))) AND NOT FIREABLE(t758)))) : A (G ((FIREABLE(t109) OR FIREABLE(t471) OR NOT FIREABLE(t829)))) : A (G ((NOT FIREABLE(t750) OR NOT FIREABLE(t891) OR NOT FIREABLE(t127) OR NOT FIREABLE(t164) OR FIREABLE(t704)))) : A (G (((NOT FIREABLE(t158) OR NOT FIREABLE(t105) OR FIREABLE(t12)) AND (FIREABLE(t27) OR NOT FIREABLE(t503))))) : E (F (((NOT FIREABLE(t25) OR NOT FIREABLE(t422)) AND FIREABLE(t38) AND (FIREABLE(t360) OR (FIREABLE(t4) AND FIREABLE(t170) AND (FIREABLE(t300) OR FIREABLE(t400)))))))
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(t86)))
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(t86)))
lola: processed formula length: 21
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6a-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(t86)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6a-ReachabilityFireability-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: ========================================

FORMULA CloudDeployment-PT-6a-ReachabilityFireability-0 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(t51)))
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(t51)))
lola: processed formula length: 21
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6a-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(t51)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6a-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: 16 markings, 15 edges
lola: ========================================

FORMULA CloudDeployment-PT-6a-ReachabilityFireability-1 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(t171)))
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(t171)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6a-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(t171)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 8 markings, 7 edges
lola: state equation: write sara problem file to CloudDeployment-PT-6a-ReachabilityFireability-2-0.sara
lola: ========================================
lola:
FORMULA CloudDeployment-PT-6a-ReachabilityFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
state equation: calling and running sara
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t807)))
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(t807)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6a-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(t807)
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6a-ReachabilityFireability-3-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: 19 markings, 18 edges
sara: try reading problem file CloudDeployment-PT-6a-ReachabilityFireability-2-0.sara.
lola: ========================================

FORMULA CloudDeployment-PT-6a-ReachabilityFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t549)))
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(t549)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6a-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(t549)
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6a-ReachabilityFireability-4-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: 14 markings, 13 edges
lola: ========================================

FORMULA CloudDeployment-PT-6a-ReachabilityFireability-9 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: A (G ((NOT FIREABLE(t112) OR (FIREABLE(t558) AND FIREABLE(t451)))))
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(t112) OR (FIREABLE(t558) AND FIREABLE(t451)))))
lola: processed formula length: 68
lola: 2 rewrites
lola: closed formula file CloudDeployment-PT-6a-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 8 markings, 7 edges
lola:
FORMULA CloudDeployment-PT-6a-ReachabilityFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
formula 0: (FIREABLE(t112) AND (NOT FIREABLE(t558) OR NOT FIREABLE(t451)))
lola: ========================================
lola: subprocess 6 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t293) AND FIREABLE(t461)) OR FIREABLE(t412))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((NOT FIREABLE(t293) AND FIREABLE(t461)) OR FIREABLE(t412))))
lola: processed formula length: 68
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6a-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((NOT FIREABLE(t293) AND FIREABLE(t461)) OR FIREABLE(t412))
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 12 markings, 11 edges
lola:
FORMULA CloudDeployment-PT-6a-ReachabilityFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
state equation: Generated DNF with 11 literals and 2 conjunctive subformulas
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(t109) OR FIREABLE(t471) OR NOT FIREABLE(t829))))
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(t109) OR FIREABLE(t471) OR NOT FIREABLE(t829))))
lola: processed formula length: 66
lola: 2 rewrites
lola: closed formula file CloudDeployment-PT-6a-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(t109) AND NOT FIREABLE(t471) AND FIREABLE(t829))
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: state equation: Generated DNF with 20 literals and 5 conjunctive subformulas
lola: The predicate is not invariant.
lola: 19 markings, 18 edges
lola: ========================================

FORMULA CloudDeployment-PT-6a-ReachabilityFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t162) AND (NOT FIREABLE(t179) OR (FIREABLE(t91) AND FIREABLE(t173))) AND NOT FIREABLE(t758))))
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(t162) AND (NOT FIREABLE(t179) OR (FIREABLE(t91) AND FIREABLE(t173))) AND NOT FIREABLE(t758))))
lola: processed formula length: 111
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6a-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(t162) AND (NOT FIREABLE(t179) OR (FIREABLE(t91) AND FIREABLE(t173))) AND NOT FIREABLE(t758))
lola: state equation: Generated DNF with 14 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6a-ReachabilityFireability-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6a-ReachabilityFireability-8-0.sara.
sara: place or transition ordering is non-deterministic

sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 16578 markings, 2155123 edges, 3316 markings/sec, 0 secs
lola: sara is running 5 secs || 30806 markings, 4357679 edges, 2846 markings/sec, 5 secs
lola: sara is running 10 secs || 47788 markings, 6525252 edges, 3396 markings/sec, 10 secs
lola: sara is running 15 secs || 64738 markings, 8677339 edges, 3390 markings/sec, 15 secs
lola: sara is running 20 secs || 78729 markings, 10979490 edges, 2798 markings/sec, 20 secs
lola: sara is running 25 secs || 92310 markings, 13228409 edges, 2716 markings/sec, 25 secs
lola: sara is running 30 secs || 109210 markings, 15373213 edges, 3380 markings/sec, 30 secs
lola: sara is running 35 secs || 125014 markings, 17564005 edges, 3161 markings/sec, 35 secs
lola: sara is running 40 secs || 138941 markings, 19774795 edges, 2785 markings/sec, 40 secs
lola: sara is running 45 secs || 154121 markings, 21962625 edges, 3036 markings/sec, 45 secs
lola: sara is running 50 secs || 172514 markings, 23989125 edges, 3679 markings/sec, 50 secs
lola: sara is running 55 secs || 187651 markings, 26125100 edges, 3027 markings/sec, 55 secs
lola: sara is running 60 secs || 205954 markings, 28161065 edges, 3661 markings/sec, 60 secs
lola: sara is running 65 secs || 223877 markings, 30208421 edges, 3585 markings/sec, 65 secs
lola: sara is running 70 secs || 241533 markings, 32249604 edges, 3531 markings/sec, 70 secs
lola: sara is running 75 secs || 258961 markings, 34280292 edges, 3486 markings/sec, 75 secs
lola: sara is running 80 secs || 275707 markings, 36284480 edges, 3349 markings/sec, 80 secs
lola: sara is running 85 secs || 292520 markings, 38332938 edges, 3363 markings/sec, 85 secs
lola: sara is running 90 secs || 307510 markings, 40425983 edges, 2998 markings/sec, 90 secs
lola: sara is running 95 secs || 314132 markings, 42888445 edges, 1324 markings/sec, 95 secs
lola: sara is running 100 secs || 319267 markings, 45420859 edges, 1027 markings/sec, 100 secs
lola: sara is running 105 secs || 332502 markings, 47675117 edges, 2647 markings/sec, 105 secs
lola: sara is running 110 secs || 348024 markings, 49855903 edges, 3104 markings/sec, 110 secs
lola: sara is running 115 secs || 362893 markings, 51965506 edges, 2974 markings/sec, 115 secs
lola: sara is running 120 secs || 381204 markings, 53983049 edges, 3662 markings/sec, 120 secs
lola: sara is running 125 secs || 398987 markings, 55994002 edges, 3557 markings/sec, 125 secs
lola: sara is running 130 secs || 416697 markings, 58006818 edges, 3542 markings/sec, 130 secs
lola: sara is running 135 secs || 434123 markings, 60030618 edges, 3485 markings/sec, 135 secs
lola: sara is running 140 secs || 451257 markings, 62052010 edges, 3427 markings/sec, 140 secs
lola: sara is running 145 secs || 468005 markings, 64090684 edges, 3350 markings/sec, 145 secs
lola: sara is running 150 secs || 484423 markings, 66137277 edges, 3284 markings/sec, 150 secs
lola: sara is running 155 secs || 496618 markings, 68355393 edges, 2439 markings/sec, 155 secs
lola: sara is running 160 secs || 502503 markings, 70847313 edges, 1177 markings/sec, 160 secs
lola: sara is running 165 secs || 507322 markings, 73393250 edges, 964 markings/sec, 165 secs
lola: sara is running 170 secs || 521947 markings, 75493913 edges, 2925 markings/sec, 170 secs
lola: sara is running 175 secs || 538253 markings, 77490747 edges, 3261 markings/sec, 175 secs
lola: sara is running 180 secs || 555497 markings, 79449599 edges, 3449 markings/sec, 180 secs
lola: sara is running 185 secs || 572077 markings, 81420130 edges, 3316 markings/sec, 185 secs
sara: warning, failure of lp_solve (at job 23012)
lola: sara is running 190 secs || 581662 markings, 83656496 edges, 1917 markings/sec, 190 secs
lola: sara is running 195 secs || 593801 markings, 85810354 edges, 2428 markings/sec, 195 secs
lola: sara is running 200 secs || 607662 markings, 87936517 edges, 2772 markings/sec, 200 secs
lola: sara is running 205 secs || 623071 markings, 90111063 edges, 3082 markings/sec, 205 secs
lola: sara is running 210 secs || 638614 markings, 92224376 edges, 3109 markings/sec, 210 secs
lola: sara is running 215 secs || 655367 markings, 94285671 edges, 3351 markings/sec, 215 secs
lola: sara is running 220 secs || 671383 markings, 96362170 edges, 3203 markings/sec, 220 secs
lola: sara is running 225 secs || 683562 markings, 98635670 edges, 2436 markings/sec, 225 secs
lola: sara is running 230 secs || 697223 markings, 100846082 edges, 2732 markings/sec, 230 secs
lola: sara is running 235 secs || 711865 markings, 102956006 edges, 2928 markings/sec, 235 secs
lola: sara is running 240 secs || 726009 markings, 105146262 edges, 2829 markings/sec, 240 secs
lola: sara is running 245 secs || 740811 markings, 107343196 edges, 2960 markings/sec, 245 secs
lola: sara is running 250 secs || 755964 markings, 109497355 edges, 3031 markings/sec, 250 secs
lola: sara is running 255 secs || 770865 markings, 111689959 edges, 2980 markings/sec, 255 secs
lola: sara is running 260 secs || 786300 markings, 113843861 edges, 3087 markings/sec, 260 secs
lola: sara is running 265 secs || 800940 markings, 116042702 edges, 2928 markings/sec, 265 secs
lola: sara is running 270 secs || 816316 markings, 118199632 edges, 3075 markings/sec, 270 secs
lola: sara is running 275 secs || 831142 markings, 120410011 edges, 2965 markings/sec, 275 secs
lola: sara is running 280 secs || 847328 markings, 122548432 edges, 3237 markings/sec, 280 secs
lola: sara is running 285 secs || 861235 markings, 124734461 edges, 2781 markings/sec, 285 secs
lola: sara is running 290 secs || 876050 markings, 126942300 edges, 2963 markings/sec, 290 secs
lola: sara is running 295 secs || 891923 markings, 129140475 edges, 3175 markings/sec, 295 secs
lola: sara is running 300 secs || 908349 markings, 131324560 edges, 3285 markings/sec, 300 secs
lola: sara is running 305 secs || 924728 markings, 133515094 edges, 3276 markings/sec, 305 secs
lola: sara is running 310 secs || 940710 markings, 135685037 edges, 3196 markings/sec, 310 secs
lola: sara is running 315 secs || 959085 markings, 137743241 edges, 3675 markings/sec, 315 secs
lola: sara is running 320 secs || 976767 markings, 139809226 edges, 3536 markings/sec, 320 secs
lola: sara is running 325 secs || 988362 markings, 142129229 edges, 2319 markings/sec, 325 secs
lola: sara is running 330 secs || 1001060 markings, 144390888 edges, 2540 markings/sec, 330 secs
lola: sara is running 335 secs || 1019097 markings, 146472768 edges, 3607 markings/sec, 335 secs
lola: sara is running 340 secs || 1035398 markings, 148694034 edges, 3260 markings/sec, 340 secs
lola: sara is running 345 secs || 1043692 markings, 151195162 edges, 1659 markings/sec, 345 secs
lola: sara is running 350 secs || 1060536 markings, 153333602 edges, 3369 markings/sec, 350 secs
lola: sara is running 355 secs || 1073531 markings, 155623616 edges, 2599 markings/sec, 355 secs
lola: sara is running 360 secs || 1090570 markings, 157770044 edges, 3408 markings/sec, 360 secs
lola: sara is running 365 secs || 1103843 markings, 160087943 edges, 2655 markings/sec, 365 secs
lola: sara is running 370 secs || 1119396 markings, 162300554 edges, 3111 markings/sec, 370 secs
lola: sara is running 375 secs || 1134085 markings, 164457660 edges, 2938 markings/sec, 375 secs
lola: sara is running 380 secs || 1148698 markings, 166544226 edges, 2923 markings/sec, 380 secs
lola: sara is running 385 secs || 1164437 markings, 168793025 edges, 3148 markings/sec, 385 secs
lola: sara is running 390 secs || 1181856 markings, 170946092 edges, 3484 markings/sec, 390 secs
lola: sara is running 395 secs || 1195515 markings, 173187928 edges, 2732 markings/sec, 395 secs
lola: sara is running 400 secs || 1210075 markings, 175437783 edges, 2912 markings/sec, 400 secs
lola: sara is running 405 secs || 1225171 markings, 177709474 edges, 3019 markings/sec, 405 secs
lola: sara is running 410 secs || 1241194 markings, 179767807 edges, 3205 markings/sec, 410 secs
lola: sara is running 415 secs || 1254414 markings, 181890821 edges, 2644 markings/sec, 415 secs
lola: sara is running 420 secs || 1269696 markings, 184010986 edges, 3056 markings/sec, 420 secs
lola: sara is running 425 secs || 1283656 markings, 186137454 edges, 2792 markings/sec, 425 secs
lola: sara is running 430 secs || 1298525 markings, 188128864 edges, 2974 markings/sec, 430 secs
lola: sara is running 435 secs || 1311527 markings, 190209200 edges, 2600 markings/sec, 435 secs
lola: sara is running 440 secs || 1325605 markings, 192261258 edges, 2816 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes yes no yes unknown yes unknown unknown yes unknown unknown no unknown unknown unknown
lola: memory consumption: 66656 KB
lola: time consumption: 446 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t348) AND ((FIREABLE(t334) AND FIREABLE(t776)) OR NOT FIREABLE(t279)) AND FIREABLE(t670))))
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(t348) AND ((FIREABLE(t334) AND FIREABLE(t776)) OR NOT FIREABLE(t279)) AND FIREABLE(t670))))
lola: processed formula length: 108
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6a-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(t348) AND ((FIREABLE(t334) AND FIREABLE(t776)) OR NOT FIREABLE(t279)) AND FIREABLE(t670))
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 25 markings, 24 edges
lola: state equation: Generated DNF with 38 literals and 4 conjunctive subformulas
lola: ========================================
FORMULA CloudDeployment-PT-6a-ReachabilityFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

lola: subprocess 10 will run for 520 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t750) OR NOT FIREABLE(t891) OR NOT FIREABLE(t127) OR NOT FIREABLE(t164) OR FIREABLE(t704))))
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(t750) OR NOT FIREABLE(t891) OR NOT FIREABLE(t127) OR NOT FIREABLE(t164) OR FIREABLE(t704))))
lola: processed formula length: 116
lola: 2 rewrites
lola: closed formula file CloudDeployment-PT-6a-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(t750) AND FIREABLE(t891) AND FIREABLE(t127) AND FIREABLE(t164) AND NOT FIREABLE(t704))
lola: state equation: Generated DNF with 18 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6a-ReachabilityFireability-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6a-ReachabilityFireability-10-0.sara.
sara: place or transition ordering is non-deterministic

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

FORMULA CloudDeployment-PT-6a-ReachabilityFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 624 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t158) OR NOT FIREABLE(t105) OR FIREABLE(t12)) AND (FIREABLE(t27) OR NOT FIREABLE(t503)))))
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(t158) OR NOT FIREABLE(t105) OR FIREABLE(t12)) AND (FIREABLE(t27) OR NOT FIREABLE(t503)))))
lola: processed formula length: 114
lola: 2 rewrites
lola: closed formula file CloudDeployment-PT-6a-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(t158) AND FIREABLE(t105) AND NOT FIREABLE(t12)) OR (NOT FIREABLE(t27) AND FIREABLE(t503)))
lola: state equation: Generated DNF with 9 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6a-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: 12 markings, 11 edges
lola: ========================================

FORMULA CloudDeployment-PT-6a-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 780 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t188) OR (NOT FIREABLE(t284) AND NOT FIREABLE(t80) AND ((FIREABLE(t378) AND FIREABLE(t142)) OR FIREABLE(t91))))))
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(t188) OR (NOT FIREABLE(t284) AND NOT FIREABLE(t80) AND ((FIREABLE(t378) AND FIREABLE(t142)) OR FIREABLE(t91))))))
lola: processed formula length: 131
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6a-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(t188) OR (NOT FIREABLE(t284) AND NOT FIREABLE(t80) AND ((FIREABLE(t378) AND FIREABLE(t142)) OR FIREABLE(t91))))
lola: state equation: Generated DNF with 40 literals and 9 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6a-ReachabilityFireability-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6a-ReachabilityFireability-12-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 552 markings, 51061 edges
lola: ========================================

FORMULA CloudDeployment-PT-6a-ReachabilityFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1041 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(t832) AND NOT FIREABLE(t4) AND (FIREABLE(t812) OR FIREABLE(t432) OR NOT FIREABLE(t34)) AND FIREABLE(t826))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((NOT FIREABLE(t832) AND NOT FIREABLE(t4) AND (FIREABLE(t812) OR FIREABLE(t432) OR NOT FIREABLE(t34)) AND FIREABLE(t826))))
lola: processed formula length: 130
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6a-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (NOT FIREABLE(t832) AND NOT FIREABLE(t4) AND (FIREABLE(t812) OR FIREABLE(t432) OR NOT FIREABLE(t34)) AND FIREABLE(t826))
lola: state equation: Generated DNF with 56 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6a-ReachabilityFireability-13-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: 16 markings, 15 edges
lola: ========================================

FORMULA CloudDeployment-PT-6a-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1561 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t25) OR NOT FIREABLE(t422)) AND FIREABLE(t38) AND (FIREABLE(t360) OR (FIREABLE(t4) AND FIREABLE(t170) AND (FIREABLE(t300) OR FIREABLE(t400)))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((NOT FIREABLE(t25) OR NOT FIREABLE(t422)) AND FIREABLE(t38) AND (FIREABLE(t360) OR (FIREABLE(t4) AND FIREABLE(t170) AND (FIREABLE(t300) OR FIREABLE(t400)))))))
lola: processed formula length: 169
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6a-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((NOT FIREABLE(t25) OR NOT FIREABLE(t422)) AND FIREABLE(t38) AND (FIREABLE(t360) OR (FIREABLE(t4) AND FIREABLE(t170) AND (FIREABLE(t300) OR FIREABLE(t400)))))
lola: state equation: Generated DNF with 100 literals and 12 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6a-ReachabilityFireability-14-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: 11 markings, 10 edges

FORMULA CloudDeployment-PT-6a-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 3123 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t51) OR FIREABLE(t248)) AND (FIREABLE(t547) OR FIREABLE(t331) OR FIREABLE(t898) OR (FIREABLE(t703) AND FIREABLE(t232)) OR (FIREABLE(t599) AND FIREABLE(t186))))))
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(t51) OR FIREABLE(t248)) AND (FIREABLE(t547) OR FIREABLE(t331) OR FIREABLE(t898) OR (FIREABLE(t703) AND FIREABLE(t232)) OR (FIREABLE(t599) AND FIREABLE(t186))))))
lola: processed formula length: 183
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6a-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(t51) OR FIREABLE(t248)) AND (FIREABLE(t547) OR FIREABLE(t331) OR FIREABLE(t898) OR (FIREABLE(t703) AND FIREABLE(t232)) OR (FIREABLE(t599) AND FIREABLE(t186))))
lola: state equation: Generated DNF with 70 literals and 10 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6a-ReachabilityFireability-15-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: 48 markings, 89 edges
lola: ========================================

FORMULA CloudDeployment-PT-6a-ReachabilityFireability-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t162) AND (NOT FIREABLE(t179) OR (FIREABLE(t91) AND FIREABLE(t173))) AND NOT FIREABLE(t758))))
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(t162) AND (NOT FIREABLE(t179) OR (FIREABLE(t91) AND FIREABLE(t173))) AND NOT FIREABLE(t758))))
lola: processed formula length: 111
lola: 1 rewrites
lola: closed formula file CloudDeployment-PT-6a-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(t162) AND (NOT FIREABLE(t179) OR (FIREABLE(t91) AND FIREABLE(t173))) AND NOT FIREABLE(t758))
lola: state equation: Generated DNF with 14 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CloudDeployment-PT-6a-ReachabilityFireability-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudDeployment-PT-6a-ReachabilityFireability-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 16670 markings, 2167410 edges, 3334 markings/sec, 0 secs
lola: sara is running 5 secs || 30994 markings, 4378858 edges, 2865 markings/sec, 5 secs
lola: sara is running 10 secs || 47944 markings, 6543602 edges, 3390 markings/sec, 10 secs
lola: sara is running 15 secs || 64686 markings, 8671246 edges, 3348 markings/sec, 15 secs
lola: sara is running 20 secs || 78559 markings, 10961946 edges, 2775 markings/sec, 20 secs
lola: sara is running 25 secs || 91967 markings, 13192948 edges, 2682 markings/sec, 25 secs
lola: sara is running 30 secs || 108642 markings, 15299226 edges, 3335 markings/sec, 30 secs
lola: sara is running 35 secs || 124061 markings, 17452174 edges, 3084 markings/sec, 35 secs
lola: sara is running 40 secs || 137639 markings, 19634547 edges, 2716 markings/sec, 40 secs
lola: sara is running 45 secs || 153608 markings, 21783090 edges, 3194 markings/sec, 45 secs
lola: sara is running 50 secs || 171333 markings, 23851547 edges, 3545 markings/sec, 50 secs
lola: sara is running 55 secs || 186147 markings, 25954640 edges, 2963 markings/sec, 55 secs
lola: sara is running 60 secs || 204437 markings, 27992458 edges, 3658 markings/sec, 60 secs
lola: sara is running 65 secs || 222133 markings, 30004156 edges, 3539 markings/sec, 65 secs
lola: sara is running 70 secs || 239593 markings, 32021507 edges, 3492 markings/sec, 70 secs
lola: sara is running 75 secs || 256756 markings, 34027038 edges, 3433 markings/sec, 75 secs
lola: sara is running 80 secs || 273646 markings, 36039856 edges, 3378 markings/sec, 80 secs
lola: sara is running 85 secs || 290313 markings, 38052641 edges, 3333 markings/sec, 85 secs
lola: sara is running 90 secs || 305786 markings, 40090308 edges, 3095 markings/sec, 90 secs
lola: sara is running 95 secs || 313251 markings, 42488142 edges, 1493 markings/sec, 95 secs
lola: sara is running 100 secs || 318515 markings, 44985491 edges, 1053 markings/sec, 100 secs
lola: sara is running 105 secs || 329383 markings, 47293920 edges, 2174 markings/sec, 105 secs
lola: sara is running 110 secs || 344673 markings, 49450139 edges, 3058 markings/sec, 110 secs
lola: sara is running 115 secs || 359961 markings, 51542327 edges, 3058 markings/sec, 115 secs
lola: sara is running 120 secs || 377635 markings, 53586282 edges, 3535 markings/sec, 120 secs
lola: sara is running 125 secs || 395541 markings, 55595252 edges, 3581 markings/sec, 125 secs
lola: sara is running 130 secs || 413169 markings, 57610381 edges, 3526 markings/sec, 130 secs
lola: sara is running 135 secs || 430568 markings, 59630328 edges, 3480 markings/sec, 135 secs
lola: sara is running 140 secs || 447860 markings, 61651542 edges, 3458 markings/sec, 140 secs
lola: sara is running 145 secs || 464705 markings, 63686364 edges, 3369 markings/sec, 145 secs
lola: sara is running 150 secs || 481237 markings, 65720948 edges, 3306 markings/sec, 150 secs
lola: sara is running 155 secs || 495072 markings, 67854672 edges, 2767 markings/sec, 155 secs
lola: sara is running 160 secs || 501434 markings, 70319066 edges, 1272 markings/sec, 160 secs
lola: sara is running 165 secs || 506279 markings, 72844632 edges, 969 markings/sec, 165 secs
lola: sara is running 170 secs || 518869 markings, 75034989 edges, 2518 markings/sec, 170 secs
lola: sara is running 175 secs || 535514 markings, 77030288 edges, 3329 markings/sec, 175 secs
lola: sara is running 180 secs || 551819 markings, 79023649 edges, 3261 markings/sec, 180 secs
lola: sara is running 185 secs || 568606 markings, 80979454 edges, 3357 markings/sec, 185 secs
lola: sara is running 190 secs || 580507 markings, 83116330 edges, 2380 markings/sec, 190 secs
sara: warning, failure of lp_solve (at job 23012)
lola: sara is running 195 secs || 590089 markings, 85364768 edges, 1916 markings/sec, 195 secs
lola: sara is running 200 secs || 604047 markings, 87444946 edges, 2792 markings/sec, 200 secs
lola: sara is running 205 secs || 619107 markings, 89635907 edges, 3012 markings/sec, 205 secs
lola: sara is running 210 secs || 635347 markings, 91715936 edges, 3248 markings/sec, 210 secs
lola: sara is running 215 secs || 651594 markings, 93816431 edges, 3249 markings/sec, 215 secs
lola: sara is running 220 secs || 667693 markings, 95883398 edges, 3220 markings/sec, 220 secs
lola: sara is running 225 secs || 681963 markings, 98030678 edges, 2854 markings/sec, 225 secs
lola: sara is running 230 secs || 692864 markings, 100321166 edges, 2180 markings/sec, 230 secs
lola: sara is running 235 secs || 708589 markings, 102330222 edges, 3145 markings/sec, 235 secs
lola: sara is running 240 secs || 721186 markings, 104487679 edges, 2519 markings/sec, 240 secs
lola: sara is running 245 secs || 737118 markings, 106594080 edges, 3186 markings/sec, 245 secs
lola: sara is running 250 secs || 750662 markings, 108761400 edges, 2709 markings/sec, 250 secs
lola: sara is running 255 secs || 766632 markings, 110873668 edges, 3194 markings/sec, 255 secs
lola: sara is running 260 secs || 780180 markings, 113051821 edges, 2710 markings/sec, 260 secs
lola: sara is running 265 secs || 796339 markings, 115162585 edges, 3232 markings/sec, 265 secs
lola: sara is running 270 secs || 809746 markings, 117345336 edges, 2681 markings/sec, 270 secs
lola: sara is running 275 secs || 826003 markings, 119446943 edges, 3251 markings/sec, 275 secs
lola: sara is running 280 secs || 840398 markings, 121649882 edges, 2879 markings/sec, 280 secs
lola: sara is running 285 secs || 854796 markings, 123792342 edges, 2880 markings/sec, 285 secs
lola: sara is running 290 secs || 869188 markings, 125921664 edges, 2878 markings/sec, 290 secs
lola: sara is running 295 secs || 884028 markings, 128120110 edges, 2968 markings/sec, 295 secs
lola: sara is running 300 secs || 900341 markings, 130263115 edges, 3263 markings/sec, 300 secs
lola: sara is running 305 secs || 916263 markings, 132419043 edges, 3184 markings/sec, 305 secs
lola: sara is running 310 secs || 932650 markings, 134557646 edges, 3277 markings/sec, 310 secs
lola: sara is running 315 secs || 949322 markings, 136639240 edges, 3334 markings/sec, 315 secs
lola: sara is running 320 secs || 967109 markings, 138667180 edges, 3557 markings/sec, 320 secs
lola: sara is running 325 secs || 983973 markings, 140720213 edges, 3373 markings/sec, 325 secs
lola: sara is running 330 secs || 990124 markings, 143192078 edges, 1230 markings/sec, 330 secs
lola: sara is running 335 secs || 1008429 markings, 145217934 edges, 3661 markings/sec, 335 secs
lola: sara is running 340 secs || 1025852 markings, 147267665 edges, 3485 markings/sec, 340 secs
lola: sara is running 345 secs || 1037084 markings, 149573233 edges, 2246 markings/sec, 345 secs
lola: sara is running 350 secs || 1049127 markings, 151798573 edges, 2409 markings/sec, 350 secs
lola: sara is running 355 secs || 1061938 markings, 153972439 edges, 2562 markings/sec, 355 secs
lola: sara is running 360 secs || 1077572 markings, 156114128 edges, 3127 markings/sec, 360 secs
lola: sara is running 365 secs || 1093433 markings, 158244373 edges, 3172 markings/sec, 365 secs
lola: sara is running 370 secs || 1106395 markings, 160451087 edges, 2592 markings/sec, 370 secs
lola: sara is running 375 secs || 1121675 markings, 162592921 edges, 3056 markings/sec, 375 secs
lola: sara is running 380 secs || 1136278 markings, 164799442 edges, 2921 markings/sec, 380 secs
lola: sara is running 385 secs || 1151325 markings, 166989923 edges, 3009 markings/sec, 385 secs
lola: sara is running 390 secs || 1167110 markings, 169136361 edges, 3157 markings/sec, 390 secs
lola: sara is running 395 secs || 1184037 markings, 171226056 edges, 3385 markings/sec, 395 secs
lola: sara is running 400 secs || 1196382 markings, 173524631 edges, 2469 markings/sec, 400 secs
lola: sara is running 405 secs || 1211598 markings, 175705119 edges, 3043 markings/sec, 405 secs
lola: sara is running 410 secs || 1226744 markings, 177941623 edges, 3029 markings/sec, 410 secs
lola: sara is running 415 secs || 1242699 markings, 179950565 edges, 3191 markings/sec, 415 secs
lola: sara is running 420 secs || 1255389 markings, 182066456 edges, 2538 markings/sec, 420 secs
lola: sara is running 425 secs || 1269971 markings, 184183675 edges, 2916 markings/sec, 425 secs
lola: sara is running 430 secs || 1284789 markings, 186292933 edges, 2964 markings/sec, 430 secs
lola: sara is running 435 secs || 1298827 markings, 188316519 edges, 2808 markings/sec, 435 secs
lola: sara is running 440 secs || 1312748 markings, 190395703 edges, 2784 markings/sec, 440 secs
lola: sara is running 445 secs || 1327383 markings, 192506367 edges, 2927 markings/sec, 445 secs
lola: sara is running 450 secs || 1342411 markings, 194527056 edges, 3006 markings/sec, 450 secs
lola: sara is running 455 secs || 1355570 markings, 196560097 edges, 2632 markings/sec, 455 secs
lola: sara is running 460 secs || 1370510 markings, 198514844 edges, 2988 markings/sec, 460 secs
lola: sara is running 465 secs || 1383404 markings, 200572043 edges, 2579 markings/sec, 465 secs
lola: sara is running 470 secs || 1397050 markings, 202633095 edges, 2729 markings/sec, 470 secs
lola: sara is running 475 secs || 1411582 markings, 204693282 edges, 2906 markings/sec, 475 secs
lola: sara is running 480 secs || 1425631 markings, 206795166 edges, 2810 markings/sec, 480 secs
lola: sara is running 485 secs || 1439985 markings, 208910175 edges, 2871 markings/sec, 485 secs
lola: sara is running 490 secs || 1455524 markings, 210952342 edges, 3108 markings/sec, 490 secs
lola: sara is running 495 secs || 1469777 markings, 212998196 edges, 2851 markings/sec, 495 secs
lola: sara is running 500 secs || 1487030 markings, 214963691 edges, 3451 markings/sec, 500 secs
lola: sara is running 505 secs || 1503462 markings, 216944506 edges, 3286 markings/sec, 505 secs
lola: sara is running 510 secs || 1515170 markings, 219034338 edges, 2342 markings/sec, 510 secs
lola: sara is running 515 secs || 1518608 markings, 221361806 edges, 688 markings/sec, 515 secs
lola: sara is running 520 secs || 1534338 markings, 223314477 edges, 3146 markings/sec, 520 secs
lola: sara is running 525 secs || 1543909 markings, 225408419 edges, 1914 markings/sec, 525 secs
lola: sara is running 530 secs || 1557800 markings, 227457832 edges, 2778 markings/sec, 530 secs
lola: sara is running 535 secs || 1573216 markings, 229511996 edges, 3083 markings/sec, 535 secs
lola: sara is running 540 secs || 1584207 markings, 231630655 edges, 2198 markings/sec, 540 secs
lola: sara is running 545 secs || 1596393 markings, 233725887 edges, 2437 markings/sec, 545 secs
lola: sara is running 550 secs || 1609742 markings, 235830702 edges, 2670 markings/sec, 550 secs
lola: sara is running 555 secs || 1623656 markings, 237938252 edges, 2783 markings/sec, 555 secs
lola: sara is running 560 secs || 1636651 markings, 240066446 edges, 2599 markings/sec, 560 secs
lola: sara is running 565 secs || 1652131 markings, 242148652 edges, 3096 markings/sec, 565 secs
lola: sara is running 570 secs || 1665749 markings, 244238958 edges, 2724 markings/sec, 570 secs
lola: sara is running 575 secs || 1676625 markings, 246392351 edges, 2175 markings/sec, 575 secs
lola: sara is running 580 secs || 1689765 markings, 248531030 edges, 2628 markings/sec, 580 secs
lola: sara is running 585 secs || 1703489 markings, 250693836 edges, 2745 markings/sec, 585 secs
lola: sara is running 590 secs || 1716791 markings, 252816010 edges, 2660 markings/sec, 590 secs
lola: sara is running 595 secs || 1730615 markings, 254868627 edges, 2765 markings/sec, 595 secs
lola: sara is running 600 secs || 1743050 markings, 256918961 edges, 2487 markings/sec, 600 secs
lola: sara is running 605 secs || 1755387 markings, 258921368 edges, 2467 markings/sec, 605 secs
lola: sara is running 610 secs || 1768502 markings, 260883195 edges, 2623 markings/sec, 610 secs
lola: sara is running 615 secs || 1779917 markings, 262815063 edges, 2283 markings/sec, 615 secs
lola: sara is running 620 secs || 1792809 markings, 264835846 edges, 2578 markings/sec, 620 secs
lola: sara is running 625 secs || 1808411 markings, 266835185 edges, 3120 markings/sec, 625 secs
lola: sara is running 630 secs || 1819727 markings, 268891853 edges, 2263 markings/sec, 630 secs
lola: sara is running 635 secs || 1831433 markings, 270957289 edges, 2341 markings/sec, 635 secs
lola: sara is running 640 secs || 1844817 markings, 273033884 edges, 2677 markings/sec, 640 secs
lola: sara is running 645 secs || 1857853 markings, 275124670 edges, 2607 markings/sec, 645 secs
lola: sara is running 650 secs || 1870917 markings, 277171738 edges, 2613 markings/sec, 650 secs
lola: sara is running 655 secs || 1883552 markings, 279138479 edges, 2527 markings/sec, 655 secs
lola: sara is running 660 secs || 1898954 markings, 281122896 edges, 3080 markings/sec, 660 secs
lola: sara is running 665 secs || 1909767 markings, 283164579 edges, 2163 markings/sec, 665 secs
lola: sara is running 670 secs || 1921500 markings, 285175773 edges, 2347 markings/sec, 670 secs
lola: sara is running 675 secs || 1934573 markings, 287203937 edges, 2615 markings/sec, 675 secs
lola: sara is running 680 secs || 1947282 markings, 289251616 edges, 2542 markings/sec, 680 secs
lola: sara is running 685 secs || 1959911 markings, 291227452 edges, 2526 markings/sec, 685 secs
lola: sara is running 690 secs || 1971739 markings, 293119584 edges, 2366 markings/sec, 690 secs
lola: sara is running 695 secs || 1986641 markings, 295048347 edges, 2980 markings/sec, 695 secs
lola: sara is running 700 secs || 1997577 markings, 297037389 edges, 2187 markings/sec, 700 secs
lola: sara is running 705 secs || 2009295 markings, 299014723 edges, 2344 markings/sec, 705 secs
lola: sara is running 710 secs || 2021957 markings, 301020533 edges, 2532 markings/sec, 710 secs
lola: sara is running 715 secs || 2035060 markings, 303058382 edges, 2621 markings/sec, 715 secs
lola: sara is running 720 secs || 2047619 markings, 305099025 edges, 2512 markings/sec, 720 secs
lola: sara is running 725 secs || 2059884 markings, 307016635 edges, 2453 markings/sec, 725 secs
lola: sara is running 730 secs || 2074041 markings, 308956143 edges, 2831 markings/sec, 730 secs
lola: sara is running 735 secs || 2085323 markings, 310948496 edges, 2256 markings/sec, 735 secs
lola: sara is running 740 secs || 2098599 markings, 312876222 edges, 2655 markings/sec, 740 secs
lola: sara is running 745 secs || 2110305 markings, 314868632 edges, 2341 markings/sec, 745 secs
lola: sara is running 750 secs || 2123467 markings, 316860241 edges, 2632 markings/sec, 750 secs
lola: sara is running 755 secs || 2135755 markings, 318886549 edges, 2458 markings/sec, 755 secs
lola: sara is running 760 secs || 2148052 markings, 320768952 edges, 2459 markings/sec, 760 secs
lola: sara is running 765 secs || 2169927 markings, 322259533 edges, 4375 markings/sec, 765 secs
lola: sara is running 770 secs || 2202340 markings, 324204269 edges, 6483 markings/sec, 770 secs
lola: sara is running 775 secs || 2218789 markings, 326504211 edges, 3290 markings/sec, 775 secs
lola: sara is running 780 secs || 2245411 markings, 328566151 edges, 5324 markings/sec, 780 secs
lola: sara is running 785 secs || 2266550 markings, 330720626 edges, 4228 markings/sec, 785 secs
lola: sara is running 790 secs || 2284920 markings, 332951746 edges, 3674 markings/sec, 790 secs
lola: sara is running 795 secs || 2305383 markings, 335202520 edges, 4093 markings/sec, 795 secs
lola: sara is running 800 secs || 2330001 markings, 337283083 edges, 4924 markings/sec, 800 secs
lola: sara is running 805 secs || 2351554 markings, 339416487 edges, 4311 markings/sec, 805 secs
lola: sara is running 810 secs || 2374407 markings, 341460372 edges, 4571 markings/sec, 810 secs
lola: sara is running 815 secs || 2413491 markings, 343514429 edges, 7817 markings/sec, 815 secs
lola: sara is running 820 secs || 2448760 markings, 345533534 edges, 7054 markings/sec, 820 secs
lola: sara is running 825 secs || 2477806 markings, 347499711 edges, 5809 markings/sec, 825 secs
lola: sara is running 830 secs || 2514393 markings, 349447976 edges, 7317 markings/sec, 830 secs
lola: sara is running 835 secs || 2528524 markings, 351805657 edges, 2826 markings/sec, 835 secs
lola: sara is running 840 secs || 2550280 markings, 354016416 edges, 4351 markings/sec, 840 secs
lola: sara is running 845 secs || 2578091 markings, 356086478 edges, 5562 markings/sec, 845 secs
lola: sara is running 850 secs || 2609930 markings, 358116113 edges, 6368 markings/sec, 850 secs
lola: sara is running 855 secs || 2649721 markings, 359997602 edges, 7958 markings/sec, 855 secs
lola: sara is running 860 secs || 2666220 markings, 362337755 edges, 3300 markings/sec, 860 secs
lola: sara is running 865 secs || 2701444 markings, 364318809 edges, 7045 markings/sec, 865 secs
lola: sara is running 870 secs || 2714072 markings, 366674460 edges, 2526 markings/sec, 870 secs
lola: sara is running 875 secs || 2737241 markings, 368901140 edges, 4634 markings/sec, 875 secs
lola: sara is running 880 secs || 2764971 markings, 371004504 edges, 5546 markings/sec, 880 secs
lola: sara is running 885 secs || 2786685 markings, 373149938 edges, 4343 markings/sec, 885 secs
lola: sara is running 890 secs || 2809569 markings, 375203518 edges, 4577 markings/sec, 890 secs
lola: sara is running 895 secs || 2853905 markings, 377240676 edges, 8867 markings/sec, 895 secs
lola: sara is running 900 secs || 2881416 markings, 379260126 edges, 5502 markings/sec, 900 secs
lola: sara is running 905 secs || 2915355 markings, 381138139 edges, 6788 markings/sec, 905 secs
lola: sara is running 910 secs || 2944197 markings, 383089472 edges, 5768 markings/sec, 910 secs
lola: sara is running 915 secs || 2995039 markings, 384678070 edges, 10168 markings/sec, 915 secs
lola: sara is running 920 secs || 3023601 markings, 386622150 edges, 5712 markings/sec, 920 secs
lola: sara is running 925 secs || 3076741 markings, 388100773 edges, 10628 markings/sec, 925 secs
lola: sara is running 930 secs || 3080867 markings, 390512980 edges, 825 markings/sec, 930 secs
lola: sara is running 935 secs || 3082977 markings, 393011774 edges, 422 markings/sec, 935 secs
lola: sara is running 940 secs || 3085341 markings, 395508257 edges, 473 markings/sec, 940 secs
lola: sara is running 945 secs || 3113822 markings, 397513030 edges, 5696 markings/sec, 945 secs
lola: sara is running 950 secs || 3126798 markings, 399832392 edges, 2595 markings/sec, 950 secs
lola: sara is running 955 secs || 3150311 markings, 401960354 edges, 4703 markings/sec, 955 secs
lola: sara is running 960 secs || 3181759 markings, 403830378 edges, 6290 markings/sec, 960 secs
lola: sara is running 965 secs || 3196233 markings, 405999446 edges, 2895 markings/sec, 965 secs
lola: sara is running 970 secs || 3219439 markings, 408016073 edges, 4641 markings/sec, 970 secs
lola: sara is running 975 secs || 3240581 markings, 410009513 edges, 4228 markings/sec, 975 secs
lola: sara is running 980 secs || 3262982 markings, 411938634 edges, 4480 markings/sec, 980 secs
lola: sara is running 985 secs || 3305070 markings, 413717944 edges, 8418 markings/sec, 985 secs
lola: sara is running 990 secs || 3325951 markings, 415905989 edges, 4176 markings/sec, 990 secs
lola: sara is running 995 secs || 3339455 markings, 418238483 edges, 2701 markings/sec, 995 secs
lola: sara is running 1000 secs || 3361306 markings, 420409478 edges, 4370 markings/sec, 1000 secs
lola: sara is running 1005 secs || 3385999 markings, 422474320 edges, 4939 markings/sec, 1005 secs
lola: sara is running 1010 secs || 3409440 markings, 424612886 edges, 4688 markings/sec, 1010 secs
lola: sara is running 1015 secs || 3448035 markings, 426585037 edges, 7719 markings/sec, 1015 secs
lola: sara is running 1020 secs || 3492603 markings, 428573616 edges, 8914 markings/sec, 1020 secs
lola: sara is running 1025 secs || 3538831 markings, 430498379 edges, 9246 markings/sec, 1025 secs
lola: sara is running 1030 secs || 3563972 markings, 432455895 edges, 5028 markings/sec, 1030 secs
lola: sara is running 1035 secs || 3587684 markings, 434359208 edges, 4742 markings/sec, 1035 secs
lola: sara is running 1040 secs || 3609576 markings, 436300036 edges, 4378 markings/sec, 1040 secs
lola: sara is running 1045 secs || 3635675 markings, 438251909 edges, 5220 markings/sec, 1045 secs
lola: sara is running 1050 secs || 3660680 markings, 440165043 edges, 5001 markings/sec, 1050 secs
lola: sara is running 1055 secs || 3684884 markings, 442286032 edges, 4841 markings/sec, 1055 secs
lola: sara is running 1060 secs || 3718805 markings, 444211358 edges, 6784 markings/sec, 1060 secs
lola: sara is running 1065 secs || 3738401 markings, 446392037 edges, 3919 markings/sec, 1065 secs
lola: sara is running 1070 secs || 3766155 markings, 448431062 edges, 5551 markings/sec, 1070 secs
lola: sara is running 1075 secs || 3789611 markings, 450563139 edges, 4691 markings/sec, 1075 secs
lola: sara is running 1080 secs || 3815825 markings, 452598170 edges, 5243 markings/sec, 1080 secs
lola: sara is running 1085 secs || 3849089 markings, 454500650 edges, 6653 markings/sec, 1085 secs
lola: sara is running 1090 secs || 3882683 markings, 456365279 edges, 6719 markings/sec, 1090 secs
lola: sara is running 1095 secs || 3893278 markings, 458645871 edges, 2119 markings/sec, 1095 secs
lola: sara is running 1100 secs || 3915947 markings, 460707107 edges, 4534 markings/sec, 1100 secs
lola: sara is running 1105 secs || 3944123 markings, 462656952 edges, 5635 markings/sec, 1105 secs
lola: sara is running 1110 secs || 3963802 markings, 464811494 edges, 3936 markings/sec, 1110 secs
lola: sara is running 1115 secs || 4001455 markings, 466746975 edges, 7531 markings/sec, 1115 secs
lola: sara is running 1120 secs || 4025365 markings, 468671363 edges, 4782 markings/sec, 1120 secs
lola: sara is running 1125 secs || 4052156 markings, 470670732 edges, 5358 markings/sec, 1125 secs
lola: sara is running 1130 secs || 4081278 markings, 472634780 edges, 5824 markings/sec, 1130 secs
lola: sara is running 1135 secs || 4116278 markings, 474432470 edges, 7000 markings/sec, 1135 secs
lola: sara is running 1140 secs || 4125842 markings, 476774889 edges, 1913 markings/sec, 1140 secs
lola: sara is running 1145 secs || 4149157 markings, 478848582 edges, 4663 markings/sec, 1145 secs
lola: sara is running 1150 secs || 4177809 markings, 480756144 edges, 5730 markings/sec, 1150 secs
lola: sara is running 1155 secs || 4197289 markings, 482925016 edges, 3896 markings/sec, 1155 secs
lola: sara is running 1160 secs || 4234888 markings, 484923886 edges, 7520 markings/sec, 1160 secs
lola: sara is running 1165 secs || 4258788 markings, 486856196 edges, 4780 markings/sec, 1165 secs
lola: sara is running 1170 secs || 4285941 markings, 488888207 edges, 5431 markings/sec, 1170 secs
lola: sara is running 1175 secs || 4315175 markings, 490907751 edges, 5847 markings/sec, 1175 secs
lola: sara is running 1180 secs || 4350255 markings, 492778880 edges, 7016 markings/sec, 1180 secs
lola: sara is running 1185 secs || 4360863 markings, 495078787 edges, 2122 markings/sec, 1185 secs
lola: sara is running 1190 secs || 4383323 markings, 497116960 edges, 4492 markings/sec, 1190 secs
lola: sara is running 1195 secs || 4411616 markings, 499015766 edges, 5659 markings/sec, 1195 secs
lola: sara is running 1200 secs || 4431084 markings, 501139481 edges, 3894 markings/sec, 1200 secs
lola: sara is running 1205 secs || 4467717 markings, 503055485 edges, 7327 markings/sec, 1205 secs
lola: sara is running 1210 secs || 4490726 markings, 504925877 edges, 4602 markings/sec, 1210 secs
lola: sara is running 1215 secs || 4516311 markings, 506921711 edges, 5117 markings/sec, 1215 secs
lola: sara is running 1220 secs || 4547992 markings, 508855251 edges, 6336 markings/sec, 1220 secs
lola: sara is running 1225 secs || 4584066 markings, 510688663 edges, 7215 markings/sec, 1225 secs
lola: sara is running 1230 secs || 4594622 markings, 512999139 edges, 2111 markings/sec, 1230 secs
lola: sara is running 1235 secs || 4628953 markings, 514843049 edges, 6866 markings/sec, 1235 secs
lola: sara is running 1240 secs || 4639624 markings, 517141041 edges, 2134 markings/sec, 1240 secs
lola: sara is running 1245 secs || 4662450 markings, 519244813 edges, 4565 markings/sec, 1245 secs
lola: sara is running 1250 secs || 4685676 markings, 521223524 edges, 4645 markings/sec, 1250 secs
lola: sara is running 1255 secs || 4707875 markings, 523203858 edges, 4440 markings/sec, 1255 secs
lola: sara is running 1260 secs || 4737369 markings, 525072947 edges, 5899 markings/sec, 1260 secs
lola: sara is running 1265 secs || 4756547 markings, 527281598 edges, 3836 markings/sec, 1265 secs
lola: sara is running 1270 secs || 4779451 markings, 529360245 edges, 4581 markings/sec, 1270 secs
lola: sara is running 1275 secs || 4807188 markings, 531380281 edges, 5547 markings/sec, 1275 secs
lola: sara is running 1280 secs || 4852656 markings, 533289001 edges, 9094 markings/sec, 1280 secs
lola: sara is running 1285 secs || 4879047 markings, 535196741 edges, 5278 markings/sec, 1285 secs
lola: sara is running 1290 secs || 4903000 markings, 537118371 edges, 4791 markings/sec, 1290 secs
lola: sara is running 1295 secs || 4927279 markings, 539093714 edges, 4856 markings/sec, 1295 secs
lola: sara is running 1300 secs || 4953026 markings, 541141804 edges, 5149 markings/sec, 1300 secs
lola: sara is running 1305 secs || 4979403 markings, 543180659 edges, 5275 markings/sec, 1305 secs
lola: sara is running 1310 secs || 5006195 markings, 545209491 edges, 5358 markings/sec, 1310 secs
lola: sara is running 1315 secs || 5052294 markings, 546978018 edges, 9220 markings/sec, 1315 secs
lola: sara is running 1320 secs || 5091282 markings, 548883193 edges, 7798 markings/sec, 1320 secs
lola: sara is running 1325 secs || 5102507 markings, 551276022 edges, 2245 markings/sec, 1325 secs
lola: sara is running 1330 secs || 5142531 markings, 553138267 edges, 8005 markings/sec, 1330 secs
lola: sara is running 1335 secs || 5163536 markings, 555385710 edges, 4201 markings/sec, 1335 secs
lola: sara is running 1340 secs || 5186604 markings, 557506622 edges, 4614 markings/sec, 1340 secs
lola: sara is running 1345 secs || 5220486 markings, 559489536 edges, 6776 markings/sec, 1345 secs
lola: sara is running 1350 secs || 5282374 markings, 560949842 edges, 12378 markings/sec, 1350 secs
lola: sara is running 1355 secs || 5342238 markings, 562396965 edges, 11973 markings/sec, 1355 secs
lola: sara is running 1360 secs || 5361192 markings, 564470836 edges, 3791 markings/sec, 1360 secs
lola: sara is running 1365 secs || 5400662 markings, 566323809 edges, 7894 markings/sec, 1365 secs
lola: sara is running 1370 secs || 5442148 markings, 568125486 edges, 8297 markings/sec, 1370 secs
lola: sara is running 1375 secs || 5515503 markings, 569316472 edges, 14671 markings/sec, 1375 secs
lola: sara is running 1380 secs || 5565306 markings, 570870203 edges, 9961 markings/sec, 1380 secs
lola: sara is running 1385 secs || 5578346 markings, 573026819 edges, 2608 markings/sec, 1385 secs
lola: sara is running 1390 secs || 5580865 markings, 575544062 edges, 504 markings/sec, 1390 secs
lola: sara is running 1395 secs || 5583049 markings, 578080582 edges, 437 markings/sec, 1395 secs
lola: sara is running 1400 secs || 5585113 markings, 580631057 edges, 413 markings/sec, 1400 secs
lola: sara is running 1405 secs || 5587157 markings, 583196073 edges, 409 markings/sec, 1405 secs
lola: sara is running 1410 secs || 5589937 markings, 585756649 edges, 556 markings/sec, 1410 secs
lola: sara is running 1415 secs || 5592347 markings, 588325740 edges, 482 markings/sec, 1415 secs
lola: sara is running 1420 secs || 5594535 markings, 590895409 edges, 438 markings/sec, 1420 secs
lola: sara is running 1425 secs || 5596475 markings, 593475521 edges, 388 markings/sec, 1425 secs
lola: sara is running 1430 secs || 5612326 markings, 595784162 edges, 3170 markings/sec, 1430 secs
lola: sara is running 1435 secs || 5649428 markings, 597733680 edges, 7420 markings/sec, 1435 secs
lola: sara is running 1440 secs || 5689837 markings, 599521410 edges, 8082 markings/sec, 1440 secs
lola: sara is running 1445 secs || 5693094 markings, 602095960 edges, 651 markings/sec, 1445 secs
lola: sara is running 1450 secs || 5708042 markings, 604448371 edges, 2990 markings/sec, 1450 secs
lola: sara is running 1455 secs || 5731661 markings, 606629933 edges, 4724 markings/sec, 1455 secs
lola: sara is running 1460 secs || 5757994 markings, 608761526 edges, 5267 markings/sec, 1460 secs
lola: sara is running 1465 secs || 5784597 markings, 610890656 edges, 5321 markings/sec, 1465 secs
lola: sara is running 1470 secs || 5809313 markings, 613050999 edges, 4943 markings/sec, 1470 secs
lola: sara is running 1475 secs || 5834884 markings, 615130076 edges, 5114 markings/sec, 1475 secs
lola: sara is running 1480 secs || 5868826 markings, 617010017 edges, 6788 markings/sec, 1480 secs
lola: sara is running 1485 secs || 5908685 markings, 618713914 edges, 7972 markings/sec, 1485 secs
lola: sara is running 1490 secs || 5910889 markings, 621211815 edges, 441 markings/sec, 1490 secs
lola: sara is running 1495 secs || 5929131 markings, 623409113 edges, 3648 markings/sec, 1495 secs
lola: sara is running 1500 secs || 5945735 markings, 625542678 edges, 3321 markings/sec, 1500 secs
lola: sara is running 1505 secs || 5969035 markings, 627584929 edges, 4660 markings/sec, 1505 secs
lola: sara is running 1510 secs || 5997255 markings, 629534160 edges, 5644 markings/sec, 1510 secs
lola: sara is running 1515 secs || 6015146 markings, 631595345 edges, 3578 markings/sec, 1515 secs
lola: sara is running 1520 secs || 6046597 markings, 633459841 edges, 6290 markings/sec, 1520 secs
lola: sara is running 1525 secs || 6060757 markings, 635619950 edges, 2832 markings/sec, 1525 secs
lola: sara is running 1530 secs || 6091102 markings, 637483741 edges, 6069 markings/sec, 1530 secs
lola: sara is running 1535 secs || 6106536 markings, 639586178 edges, 3087 markings/sec, 1535 secs
lola: sara is running 1540 secs || 6134981 markings, 641423902 edges, 5689 markings/sec, 1540 secs
lola: sara is running 1545 secs || 6157760 markings, 643330672 edges, 4556 markings/sec, 1545 secs
lola: sara is running 1550 secs || 6174442 markings, 645360758 edges, 3336 markings/sec, 1550 secs
lola: sara is running 1555 secs || 6200383 markings, 647273516 edges, 5188 markings/sec, 1555 secs
lola: sara is running 1560 secs || 6235851 markings, 649170932 edges, 7094 markings/sec, 1560 secs
lola: sara is running 1565 secs || 6264851 markings, 651220575 edges, 5800 markings/sec, 1565 secs
lola: sara is running 1570 secs || 6312832 markings, 652803307 edges, 9596 markings/sec, 1570 secs
lola: sara is running 1575 secs || 6362097 markings, 654449225 edges, 9853 markings/sec, 1575 secs
lola: sara is running 1580 secs || 6386366 markings, 656467662 edges, 4854 markings/sec, 1580 secs
lola: sara is running 1585 secs || 6388411 markings, 658982159 edges, 409 markings/sec, 1585 secs
lola: sara is running 1590 secs || 6391115 markings, 661487820 edges, 541 markings/sec, 1590 secs
lola: sara is running 1595 secs || 6392629 markings, 664021420 edges, 303 markings/sec, 1595 secs
lola: sara is running 1600 secs || 6424458 markings, 665990371 edges, 6366 markings/sec, 1600 secs
lola: sara is running 1605 secs || 6442007 markings, 668243927 edges, 3510 markings/sec, 1605 secs
lola: sara is running 1610 secs || 6468085 markings, 670348651 edges, 5216 markings/sec, 1610 secs
lola: sara is running 1615 secs || 6495872 markings, 672287277 edges, 5557 markings/sec, 1615 secs
lola: sara is running 1620 secs || 6511638 markings, 674477180 edges, 3153 markings/sec, 1620 secs
lola: sara is running 1625 secs || 6536072 markings, 676506694 edges, 4887 markings/sec, 1625 secs
lola: sara is running 1630 secs || 6558252 markings, 678518788 edges, 4436 markings/sec, 1630 secs
lola: sara is running 1635 secs || 6581184 markings, 680481198 edges, 4586 markings/sec, 1635 secs
lola: sara is running 1640 secs || 6612879 markings, 682412970 edges, 6339 markings/sec, 1640 secs
lola: sara is running 1645 secs || 6638138 markings, 684507073 edges, 5052 markings/sec, 1645 secs
lola: sara is running 1650 secs || 6653986 markings, 686762507 edges, 3170 markings/sec, 1650 secs
lola: sara is running 1655 secs || 6676826 markings, 688825702 edges, 4568 markings/sec, 1655 secs
lola: sara is running 1660 secs || 6716089 markings, 690768369 edges, 7853 markings/sec, 1660 secs
lola: sara is running 1665 secs || 6760967 markings, 692324125 edges, 8976 markings/sec, 1665 secs
lola: sara is running 1670 secs || 6802635 markings, 694339979 edges, 8334 markings/sec, 1670 secs
lola: sara is running 1675 secs || 6847819 markings, 696376849 edges, 9037 markings/sec, 1675 secs
lola: sara is running 1680 secs || 6894412 markings, 698329010 edges, 9319 markings/sec, 1680 secs
lola: sara is running 1685 secs || 6940795 markings, 700241538 edges, 9277 markings/sec, 1685 secs
lola: sara is running 1690 secs || 6991119 markings, 702162019 edges, 10065 markings/sec, 1690 secs
lola: sara is running 1695 secs || 7035851 markings, 704208515 edges, 8946 markings/sec, 1695 secs
lola: sara is running 1700 secs || 7081568 markings, 706156929 edges, 9143 markings/sec, 1700 secs
lola: sara is running 1705 secs || 7110133 markings, 708115516 edges, 5713 markings/sec, 1705 secs
lola: sara is running 1710 secs || 7132314 markings, 710164779 edges, 4436 markings/sec, 1710 secs
lola: sara is running 1715 secs || 7156522 markings, 712235074 edges, 4842 markings/sec, 1715 secs
lola: sara is running 1720 secs || 7181268 markings, 714198683 edges, 4949 markings/sec, 1720 secs
lola: sara is running 1725 secs || 7205744 markings, 716122202 edges, 4895 markings/sec, 1725 secs
lola: sara is running 1730 secs || 7230788 markings, 718090401 edges, 5009 markings/sec, 1730 secs
lola: sara is running 1735 secs || 7255220 markings, 720127887 edges, 4886 markings/sec, 1735 secs
lola: sara is running 1740 secs || 7285970 markings, 722016865 edges, 6150 markings/sec, 1740 secs
lola: sara is running 1745 secs || 7305180 markings, 724107503 edges, 3842 markings/sec, 1745 secs
lola: sara is running 1750 secs || 7338421 markings, 725982991 edges, 6648 markings/sec, 1750 secs
lola: sara is running 1755 secs || 7359629 markings, 728040591 edges, 4242 markings/sec, 1755 secs
lola: sara is running 1760 secs || 7385292 markings, 730039622 edges, 5133 markings/sec, 1760 secs
lola: sara is running 1765 secs || 7408348 markings, 731984043 edges, 4611 markings/sec, 1765 secs
lola: sara is running 1770 secs || 7434597 markings, 733985149 edges, 5250 markings/sec, 1770 secs
lola: sara is running 1775 secs || 7458104 markings, 735921570 edges, 4701 markings/sec, 1775 secs
lola: sara is running 1780 secs || 7483382 markings, 737917693 edges, 5056 markings/sec, 1780 secs
lola: sara is running 1785 secs || 7511830 markings, 739894749 edges, 5690 markings/sec, 1785 secs
lola: sara is running 1790 secs || 7535649 markings, 741968843 edges, 4764 markings/sec, 1790 secs
lola: sara is running 1795 secs || 7560554 markings, 743943910 edges, 4981 markings/sec, 1795 secs
lola: sara is running 1800 secs || 7587125 markings, 745966592 edges, 5314 markings/sec, 1800 secs
lola: sara is running 1805 secs || 7611535 markings, 747934253 edges, 4882 markings/sec, 1805 secs
lola: sara is running 1810 secs || 7636101 markings, 749843722 edges, 4913 markings/sec, 1810 secs
lola: sara is running 1815 secs || 7660294 markings, 751720948 edges, 4839 markings/sec, 1815 secs
lola: sara is running 1820 secs || 7690178 markings, 753605308 edges, 5977 markings/sec, 1820 secs
lola: sara is running 1825 secs || 7725551 markings, 755545284 edges, 7075 markings/sec, 1825 secs
lola: sara is running 1830 secs || 7736274 markings, 757961243 edges, 2145 markings/sec, 1830 secs
lola: sara is running 1835 secs || 7760744 markings, 760100876 edges, 4894 markings/sec, 1835 secs
lola: sara is running 1840 secs || 7791558 markings, 762159194 edges, 6163 markings/sec, 1840 secs
lola: sara is running 1845 secs || 7820715 markings, 764175389 edges, 5831 markings/sec, 1845 secs
lola: sara is running 1850 secs || 7851399 markings, 766154224 edges, 6137 markings/sec, 1850 secs
lola: sara is running 1855 secs || 7880001 markings, 768190747 edges, 5720 markings/sec, 1855 secs
lola: sara is running 1860 secs || 7896131 markings, 770459852 edges, 3226 markings/sec, 1860 secs
lola: sara is running 1865 secs || 7920428 markings, 772546543 edges, 4859 markings/sec, 1865 secs
lola: sara is running 1870 secs || 7953069 markings, 774560119 edges, 6528 markings/sec, 1870 secs
lola: sara is running 1875 secs || 7979657 markings, 776539436 edges, 5318 markings/sec, 1875 secs
lola: sara is running 1880 secs || 8011549 markings, 778488755 edges, 6378 markings/sec, 1880 secs
lola: sara is running 1885 secs || 8041451 markings, 780521661 edges, 5980 markings/sec, 1885 secs
lola: sara is running 1890 secs || 8059758 markings, 782674254 edges, 3661 markings/sec, 1890 secs
lola: sara is running 1895 secs || 8088380 markings, 784393081 edges, 5724 markings/sec, 1895 secs
lola: sara is running 1900 secs || 8102775 markings, 786728496 edges, 2879 markings/sec, 1900 secs
lola: sara is running 1905 secs || 8125643 markings, 788934044 edges, 4574 markings/sec, 1905 secs
lola: sara is running 1910 secs || 8149937 markings, 791001967 edges, 4859 markings/sec, 1910 secs
lola: sara is running 1915 secs || 8173505 markings, 793064616 edges, 4714 markings/sec, 1915 secs
lola: sara is running 1920 secs || 8204760 markings, 795071334 edges, 6251 markings/sec, 1920 secs
lola: sara is running 1925 secs || 8244145 markings, 797077370 edges, 7877 markings/sec, 1925 secs
lola: sara is running 1930 secs || 8269682 markings, 799079933 edges, 5107 markings/sec, 1930 secs
lola: sara is running 1935 secs || 8294805 markings, 801087730 edges, 5025 markings/sec, 1935 secs
lola: sara is running 1940 secs || 8334609 markings, 802857075 edges, 7961 markings/sec, 1940 secs
lola: sara is running 1945 secs || 8366994 markings, 804816713 edges, 6477 markings/sec, 1945 secs
lola: sara is running 1950 secs || 8425320 markings, 806293232 edges, 11665 markings/sec, 1950 secs
lola: sara is running 1955 secs || 8467610 markings, 807999376 edges, 8458 markings/sec, 1955 secs
lola: sara is running 1960 secs || 8471921 markings, 810417005 edges, 862 markings/sec, 1960 secs
lola: sara is running 1965 secs || 8473614 markings, 812416531 edges, 339 markings/sec, 1965 secs
lola: sara is running 1970 secs || 8486554 markings, 814645948 edges, 2588 markings/sec, 1970 secs
lola: sara is running 1975 secs || 8488587 markings, 817138683 edges, 407 markings/sec, 1975 secs
lola: sara is running 1980 secs || 8517754 markings, 819136829 edges, 5833 markings/sec, 1980 secs
lola: sara is running 1985 secs || 8535119 markings, 821372735 edges, 3473 markings/sec, 1985 secs
lola: sara is running 1990 secs || 8561585 markings, 823433943 edges, 5293 markings/sec, 1990 secs
lola: sara is running 1995 secs || 8585144 markings, 825403469 edges, 4712 markings/sec, 1995 secs
lola: sara is running 2000 secs || 8604202 markings, 827502888 edges, 3812 markings/sec, 2000 secs
lola: sara is running 2005 secs || 8626903 markings, 829484792 edges, 4540 markings/sec, 2005 secs
lola: sara is running 2010 secs || 8652445 markings, 831367192 edges, 5108 markings/sec, 2010 secs
lola: sara is running 2015 secs || 8670732 markings, 833376729 edges, 3657 markings/sec, 2015 secs
lola: sara is running 2020 secs || 8713236 markings, 835153555 edges, 8501 markings/sec, 2020 secs
lola: sara is running 2025 secs || 8731586 markings, 837356480 edges, 3670 markings/sec, 2025 secs
lola: sara is running 2030 secs || 8744008 markings, 839647106 edges, 2484 markings/sec, 2030 secs
lola: sara is running 2035 secs || 8767806 markings, 841689742 edges, 4760 markings/sec, 2035 secs
lola: sara is running 2040 secs || 8790607 markings, 843693566 edges, 4560 markings/sec, 2040 secs
lola: sara is running 2045 secs || 8814889 markings, 845724422 edges, 4856 markings/sec, 2045 secs
lola: sara is running 2050 secs || 8851433 markings, 847663785 edges, 7309 markings/sec, 2050 secs
lola: sara is running 2055 secs || 8896549 markings, 849576074 edges, 9023 markings/sec, 2055 secs
lola: sara is running 2060 secs || 8941817 markings, 851465606 edges, 9054 markings/sec, 2060 secs
lola: sara is running 2065 secs || 8966700 markings, 853408950 edges, 4977 markings/sec, 2065 secs
lola: sara is running 2070 secs || 8990212 markings, 855299692 edges, 4702 markings/sec, 2070 secs
lola: sara is running 2075 secs || 9013660 markings, 857225539 edges, 4690 markings/sec, 2075 secs
lola: sara is running 2080 secs || 9039446 markings, 859120285 edges, 5157 markings/sec, 2080 secs
lola: sara is running 2085 secs || 9063261 markings, 861020242 edges, 4763 markings/sec, 2085 secs
lola: sara is running 2090 secs || 9087907 markings, 862956966 edges, 4929 markings/sec, 2090 secs
lola: sara is running 2095 secs || 9112146 markings, 864833326 edges, 4848 markings/sec, 2095 secs
lola: sara is running 2100 secs || 9138070 markings, 866742512 edges, 5185 markings/sec, 2100 secs
lola: sara is running 2105 secs || 9162915 markings, 868804117 edges, 4969 markings/sec, 2105 secs
lola: sara is running 2110 secs || 9188553 markings, 870784732 edges, 5128 markings/sec, 2110 secs
lola: sara is running 2115 secs || 9214448 markings, 872811648 edges, 5179 markings/sec, 2115 secs
lola: sara is running 2120 secs || 9242854 markings, 874765818 edges, 5681 markings/sec, 2120 secs
lola: sara is running 2125 secs || 9263484 markings, 876895111 edges, 4126 markings/sec, 2125 secs
lola: sara is running 2130 secs || 9291253 markings, 878892037 edges, 5554 markings/sec, 2130 secs
lola: sara is running 2135 secs || 9321200 markings, 880755854 edges, 5989 markings/sec, 2135 secs
lola: sara is running 2140 secs || 9358920 markings, 882516352 edges, 7544 markings/sec, 2140 secs
lola: sara is running 2145 secs || 9368132 markings, 884794234 edges, 1842 markings/sec, 2145 secs
lola: sara is running 2150 secs || 9387972 markings, 886882295 edges, 3968 markings/sec, 2150 secs
lola: sara is running 2155 secs || 9414248 markings, 888761764 edges, 5255 markings/sec, 2155 secs
lola: sara is running 2160 secs || 9433894 markings, 890859061 edges, 3929 markings/sec, 2160 secs
lola: sara is running 2165 secs || 9468901 markings, 892798698 edges, 7001 markings/sec, 2165 secs
lola: sara is running 2170 secs || 9495482 markings, 894681068 edges, 5316 markings/sec, 2170 secs
lola: sara is running 2175 secs || 9519266 markings, 896551625 edges, 4757 markings/sec, 2175 secs
lola: sara is running 2180 secs || 9545579 markings, 898499418 edges, 5263 markings/sec, 2180 secs
lola: sara is running 2185 secs || 9574547 markings, 900427341 edges, 5794 markings/sec, 2185 secs
lola: sara is running 2190 secs || 9611364 markings, 902243429 edges, 7363 markings/sec, 2190 secs
lola: sara is running 2195 secs || 9620983 markings, 904565492 edges, 1924 markings/sec, 2195 secs
lola: sara is running 2200 secs || 9642018 markings, 906663655 edges, 4207 markings/sec, 2200 secs
lola: sara is running 2205 secs || 9670701 markings, 908560739 edges, 5737 markings/sec, 2205 secs
lola: sara is running 2210 secs || 9688487 markings, 910692736 edges, 3557 markings/sec, 2210 secs
lola: sara is running 2215 secs || 9725826 markings, 912612270 edges, 7468 markings/sec, 2215 secs
lola: sara is running 2220 secs || 9750239 markings, 914502374 edges, 4883 markings/sec, 2220 secs
lola: sara is running 2225 secs || 9775290 markings, 916368378 edges, 5010 markings/sec, 2225 secs
lola: sara is running 2230 secs || 9799921 markings, 918346835 edges, 4926 markings/sec, 2230 secs
lola: sara is running 2235 secs || 9829006 markings, 920265771 edges, 5817 markings/sec, 2235 secs
lola: sara is running 2240 secs || 9863995 markings, 922064042 edges, 6998 markings/sec, 2240 secs
lola: sara is running 2245 secs || 9873478 markings, 924323871 edges, 1897 markings/sec, 2245 secs
lola: sara is running 2250 secs || 9895934 markings, 926374175 edges, 4491 markings/sec, 2250 secs
lola: sara is running 2255 secs || 9925017 markings, 928245950 edges, 5817 markings/sec, 2255 secs
lola: sara is running 2260 secs || 9941230 markings, 930363059 edges, 3243 markings/sec, 2260 secs
lola: sara is running 2265 secs || 9979241 markings, 932287432 edges, 7602 markings/sec, 2265 secs
lola: sara is running 2270 secs || 10003246 markings, 934187186 edges, 4801 markings/sec, 2270 secs
lola: sara is running 2275 secs || 10027859 markings, 936058740 edges, 4923 markings/sec, 2275 secs
lola: sara is running 2280 secs || 10052844 markings, 938004368 edges, 4997 markings/sec, 2280 secs
lola: sara is running 2285 secs || 10083346 markings, 939937663 edges, 6100 markings/sec, 2285 secs
lola: sara is running 2290 secs || 10116945 markings, 941778992 edges, 6720 markings/sec, 2290 secs
lola: sara is running 2295 secs || 10132344 markings, 944010288 edges, 3080 markings/sec, 2295 secs
lola: sara is running 2300 secs || 10161719 markings, 945902634 edges, 5875 markings/sec, 2300 secs
lola: sara is running 2305 secs || 10176873 markings, 948119826 edges, 3031 markings/sec, 2305 secs
lola: sara is running 2310 secs || 10199521 markings, 950231944 edges, 4530 markings/sec, 2310 secs
lola: sara is running 2315 secs || 10219875 markings, 952222606 edges, 4071 markings/sec, 2315 secs
lola: sara is running 2320 secs || 10242936 markings, 954147828 edges, 4612 markings/sec, 2320 secs
lola: sara is running 2325 secs || 10269928 markings, 956027912 edges, 5398 markings/sec, 2325 secs
lola: sara is running 2330 secs || 10289887 markings, 958138466 edges, 3992 markings/sec, 2330 secs
lola: sara is running 2335 secs || 10311863 markings, 960157090 edges, 4395 markings/sec, 2335 secs
lola: sara is running 2340 secs || 10338464 markings, 962119834 edges, 5320 markings/sec, 2340 secs
lola: sara is running 2345 secs || 10382788 markings, 963996192 edges, 8865 markings/sec, 2345 secs
lola: sara is running 2350 secs || 10409971 markings, 965875149 edges, 5437 markings/sec, 2350 secs
lola: sara is running 2355 secs || 10433662 markings, 967712995 edges, 4738 markings/sec, 2355 secs
lola: sara is running 2360 secs || 10457287 markings, 969589070 edges, 4725 markings/sec, 2360 secs
lola: sara is running 2365 secs || 10481549 markings, 971415960 edges, 4852 markings/sec, 2365 secs
lola: sara is running 2370 secs || 10507347 markings, 973390628 edges, 5160 markings/sec, 2370 secs
lola: sara is running 2375 secs || 10533004 markings, 975366519 edges, 5131 markings/sec, 2375 secs
lola: sara is running 2380 secs || 10555087 markings, 977424874 edges, 4417 markings/sec, 2380 secs
lola: sara is running 2385 secs || 10599424 markings, 979129215 edges, 8867 markings/sec, 2385 secs
lola: sara is running 2390 secs || 10649474 markings, 980776720 edges, 10010 markings/sec, 2390 secs
lola: sara is running 2395 secs || 10671258 markings, 982970610 edges, 4357 markings/sec, 2395 secs
lola: sara is running 2400 secs || 10711562 markings, 984823722 edges, 8061 markings/sec, 2400 secs
lola: sara is running 2405 secs || 10751261 markings, 986628135 edges, 7940 markings/sec, 2405 secs
lola: sara is running 2410 secs || 10822192 markings, 987877518 edges, 14186 markings/sec, 2410 secs
lola: sara is running 2415 secs || 10864882 markings, 989583722 edges, 8538 markings/sec, 2415 secs
lola: sara is running 2420 secs || 10873981 markings, 991931439 edges, 1820 markings/sec, 2420 secs
lola: sara is running 2425 secs || 10876323 markings, 994555464 edges, 468 markings/sec, 2425 secs
lola: sara is running 2430 secs || 10878477 markings, 997120875 edges, 431 markings/sec, 2430 secs
lola: sara is running 2435 secs || 10880592 markings, 999680460 edges, 423 markings/sec, 2435 secs
lola: sara is running 2440 secs || 10882674 markings, 1002236536 edges, 416 markings/sec, 2440 secs
lola: sara is running 2445 secs || 10941980 markings, 1003756962 edges, 11861 markings/sec, 2445 secs
lola: sara is running 2450 secs || 10957083 markings, 1006082147 edges, 3021 markings/sec, 2450 secs
lola: sara is running 2455 secs || 11000317 markings, 1007924085 edges, 8647 markings/sec, 2455 secs
lola: sara is running 2460 secs || 11070713 markings, 1009183075 edges, 14079 markings/sec, 2460 secs
lola: sara is running 2465 secs || 11122954 markings, 1010693444 edges, 10448 markings/sec, 2465 secs
lola: sara is running 2470 secs || 11147734 markings, 1012603648 edges, 4956 markings/sec, 2470 secs
lola: sara is running 2475 secs || 11184418 markings, 1014453652 edges, 7337 markings/sec, 2475 secs
lola: sara is running 2480 secs || 11223802 markings, 1016252137 edges, 7877 markings/sec, 2480 secs
lola: sara is running 2485 secs || 11292448 markings, 1017550739 edges, 13729 markings/sec, 2485 secs
lola: sara is running 2490 secs || 11342364 markings, 1019114942 edges, 9983 markings/sec, 2490 secs
lola: sara is running 2495 secs || 11354147 markings, 1021271971 edges, 2357 markings/sec, 2495 secs
lola: sara is running 2500 secs || 11356549 markings, 1023827900 edges, 480 markings/sec, 2500 secs
lola: sara is running 2505 secs || 11358950 markings, 1026355071 edges, 480 markings/sec, 2505 secs
lola: sara is running 2510 secs || 11361124 markings, 1028873892 edges, 435 markings/sec, 2510 secs
lola: sara is running 2515 secs || 11363060 markings, 1031405291 edges, 387 markings/sec, 2515 secs
lola: sara is running 2520 secs || 11365965 markings, 1033949343 edges, 581 markings/sec, 2520 secs
lola: sara is running 2525 secs || 11368424 markings, 1036500654 edges, 492 markings/sec, 2525 secs
lola: sara is running 2530 secs || 11370605 markings, 1039064003 edges, 436 markings/sec, 2530 secs
lola: sara is running 2535 secs || 11372676 markings, 1041560714 edges, 414 markings/sec, 2535 secs
lola: sara is running 2540 secs || 11395596 markings, 1043695861 edges, 4584 markings/sec, 2540 secs
lola: sara is running 2545 secs || 11428152 markings, 1045658520 edges, 6511 markings/sec, 2545 secs
lola: sara is running 2550 secs || 11447781 markings, 1047821977 edges, 3926 markings/sec, 2550 secs
lola: sara is running 2555 secs || 11509284 markings, 1049311584 edges, 12301 markings/sec, 2555 secs
lola: sara is running 2560 secs || 11572973 markings, 1050670612 edges, 12738 markings/sec, 2560 secs
lola: sara is running 2565 secs || 11605784 markings, 1052500714 edges, 6562 markings/sec, 2565 secs
lola: sara is running 2570 secs || 11641383 markings, 1054324744 edges, 7120 markings/sec, 2570 secs
lola: sara is running 2575 secs || 11667858 markings, 1056450268 edges, 5295 markings/sec, 2575 secs
lola: sara is running 2580 secs || 11737697 markings, 1057766878 edges, 13968 markings/sec, 2580 secs
lola: sara is running 2585 secs || 11799700 markings, 1059170891 edges, 12401 markings/sec, 2585 secs
lola: sara is running 2590 secs || 11823937 markings, 1061093600 edges, 4847 markings/sec, 2590 secs
lola: sara is running 2595 secs || 11828881 markings, 1063529291 edges, 989 markings/sec, 2595 secs
lola: sara is running 2600 secs || 11831247 markings, 1066020638 edges, 473 markings/sec, 2600 secs
lola: sara is running 2605 secs || 11833567 markings, 1068576717 edges, 464 markings/sec, 2605 secs
lola: sara is running 2610 secs || 11835693 markings, 1071139671 edges, 425 markings/sec, 2610 secs
lola: sara is running 2615 secs || 11838232 markings, 1073676983 edges, 508 markings/sec, 2615 secs
lola: sara is running 2620 secs || 11840860 markings, 1076199179 edges, 526 markings/sec, 2620 secs
lola: sara is running 2625 secs || 11843056 markings, 1078732852 edges, 439 markings/sec, 2625 secs
lola: sara is running 2630 secs || 11845233 markings, 1081275548 edges, 435 markings/sec, 2630 secs
lola: sara is running 2635 secs || 11847299 markings, 1083834541 edges, 413 markings/sec, 2635 secs
lola: sara is running 2640 secs || 11920523 markings, 1085075157 edges, 14645 markings/sec, 2640 secs
lola: sara is running 2645 secs || 12009800 markings, 1086013130 edges, 17855 markings/sec, 2645 secs
lola: sara is running 2650 secs || 12052288 markings, 1087780077 edges, 8498 markings/sec, 2650 secs
lola: sara is running 2655 secs || 12126567 markings, 1088942562 edges, 14856 markings/sec, 2655 secs
lola: sara is running 2660 secs || 12184726 markings, 1090337094 edges, 11632 markings/sec, 2660 secs
lola: sara is running 2665 secs || 12205750 markings, 1092279952 edges, 4205 markings/sec, 2665 secs
lola: sara is running 2670 secs || 12244810 markings, 1094058680 edges, 7812 markings/sec, 2670 secs
lola: sara is running 2675 secs || 12292089 markings, 1095679591 edges, 9456 markings/sec, 2675 secs
lola: sara is running 2680 secs || 12351422 markings, 1097069869 edges, 11867 markings/sec, 2680 secs
lola: sara is running 2685 secs || 12405557 markings, 1098521602 edges, 10827 markings/sec, 2685 secs
lola: sara is running 2690 secs || 12421945 markings, 1100528824 edges, 3278 markings/sec, 2690 secs
lola: sara is running 2695 secs || 12424885 markings, 1102940527 edges, 588 markings/sec, 2695 secs
lola: sara is running 2700 secs || 12427389 markings, 1105369097 edges, 501 markings/sec, 2700 secs
lola: sara is running 2705 secs || 12429442 markings, 1107816485 edges, 411 markings/sec, 2705 secs
lola: sara is running 2710 secs || 12431488 markings, 1110264427 edges, 409 markings/sec, 2710 secs
lola: sara is running 2715 secs || 12434099 markings, 1112722405 edges, 522 markings/sec, 2715 secs
lola: sara is running 2720 secs || 12436582 markings, 1115179607 edges, 497 markings/sec, 2720 secs
lola: sara is running 2725 secs || 12438883 markings, 1117638245 edges, 460 markings/sec, 2725 secs
lola: sara is running 2730 secs || 12440875 markings, 1120117306 edges, 398 markings/sec, 2730 secs
lola: sara is running 2735 secs || 12442815 markings, 1122602973 edges, 388 markings/sec, 2735 secs
lola: sara is running 2740 secs || 12501325 markings, 1124118769 edges, 11702 markings/sec, 2740 secs
lola: sara is running 2745 secs || 12573780 markings, 1125355420 edges, 14491 markings/sec, 2745 secs
lola: sara is running 2750 secs || 12620366 markings, 1127007571 edges, 9317 markings/sec, 2750 secs
lola: sara is running 2755 secs || 12630393 markings, 1129259851 edges, 2005 markings/sec, 2755 secs
lola: sara is running 2760 secs || 12633001 markings, 1131810082 edges, 522 markings/sec, 2760 secs
lola: sara is running 2765 secs || 12635250 markings, 1134396346 edges, 450 markings/sec, 2765 secs
lola: sara is running 2770 secs || 12637395 markings, 1137008499 edges, 429 markings/sec, 2770 secs
lola: sara is running 2775 secs || 12639416 markings, 1139556893 edges, 404 markings/sec, 2775 secs
lola: sara is running 2780 secs || 12711170 markings, 1140796225 edges, 14351 markings/sec, 2780 secs
lola: sara is running 2785 secs || 12796407 markings, 1141835969 edges, 17047 markings/sec, 2785 secs
lola: sara is running 2790 secs || 12881430 markings, 1142875499 edges, 17005 markings/sec, 2790 secs
lola: sara is running 2795 secs || 12962559 markings, 1143966089 edges, 16226 markings/sec, 2795 secs
lola: sara is running 2800 secs || 13042090 markings, 1145093945 edges, 15906 markings/sec, 2800 secs
lola: sara is running 2805 secs || 13120991 markings, 1146227766 edges, 15780 markings/sec, 2805 secs
lola: sara is running 2810 secs || 13199009 markings, 1147366388 edges, 15604 markings/sec, 2810 secs
lola: sara is running 2815 secs || 13273390 markings, 1148555748 edges, 14876 markings/sec, 2815 secs
lola: sara is running 2820 secs || 13350797 markings, 1149656379 edges, 15481 markings/sec, 2820 secs
lola: sara is running 2825 secs || 13425325 markings, 1150852167 edges, 14906 markings/sec, 2825 secs
lola: sara is running 2830 secs || 13502487 markings, 1152012170 edges, 15432 markings/sec, 2830 secs
lola: sara is running 2835 secs || 13585556 markings, 1153069581 edges, 16614 markings/sec, 2835 secs
lola: sara is running 2840 secs || 13628340 markings, 1154869051 edges, 8557 markings/sec, 2840 secs
lola: sara is running 2845 secs || 13701452 markings, 1156064044 edges, 14622 markings/sec, 2845 secs
lola: sara is running 2850 secs || 13755878 markings, 1157531302 edges, 10885 markings/sec, 2850 secs
lola: sara is running 2855 secs || 13769805 markings, 1159638988 edges, 2785 markings/sec, 2855 secs
lola: sara is running 2860 secs || 13772491 markings, 1162167414 edges, 537 markings/sec, 2860 secs
lola: sara is running 2865 secs || 13774714 markings, 1164728308 edges, 445 markings/sec, 2865 secs
lola: sara is running 2870 secs || 13776871 markings, 1167263406 edges, 431 markings/sec, 2870 secs
lola: sara is running 2875 secs || 13778747 markings, 1169824845 edges, 375 markings/sec, 2875 secs
lola: sara is running 2880 secs || 13833846 markings, 1171398050 edges, 11020 markings/sec, 2880 secs
lola: sara is running 2885 secs || 13915448 markings, 1172421174 edges, 16320 markings/sec, 2885 secs
lola: sara is running 2890 secs || 13987170 markings, 1173610882 edges, 14344 markings/sec, 2890 secs
lola: sara is running 2895 secs || 14030856 markings, 1175261408 edges, 8737 markings/sec, 2895 secs
lola: sara is running 2900 secs || 14040718 markings, 1177475995 edges, 1972 markings/sec, 2900 secs
lola: sara is running 2905 secs || 14043197 markings, 1179980524 edges, 496 markings/sec, 2905 secs
lola: sara is running 2910 secs || 14045563 markings, 1182567629 edges, 473 markings/sec, 2910 secs
lola: sara is running 2915 secs || 14047633 markings, 1185122402 edges, 414 markings/sec, 2915 secs
lola: sara is running 2920 secs || 14049648 markings, 1187633786 edges, 403 markings/sec, 2920 secs
lola: sara is running 2925 secs || 14118374 markings, 1188922379 edges, 13745 markings/sec, 2925 secs
lola: sara is running 2930 secs || 14203641 markings, 1189920393 edges, 17053 markings/sec, 2930 secs
lola: sara is running 2935 secs || 14287635 markings, 1190945871 edges, 16799 markings/sec, 2935 secs
lola: sara is running 2940 secs || 14370001 markings, 1191980748 edges, 16473 markings/sec, 2940 secs
lola: sara is running 2945 secs || 14451827 markings, 1193079025 edges, 16365 markings/sec, 2945 secs
lola: sara is running 2950 secs || 14532211 markings, 1194198792 edges, 16077 markings/sec, 2950 secs
lola: sara is running 2955 secs || 14612720 markings, 1195307928 edges, 16102 markings/sec, 2955 secs
lola: sara is running 2960 secs || 14690686 markings, 1196410397 edges, 15593 markings/sec, 2960 secs
lola: sara is running 2965 secs || 14765339 markings, 1197572326 edges, 14931 markings/sec, 2965 secs
lola: sara is running 2970 secs || 14842437 markings, 1198739986 edges, 15420 markings/sec, 2970 secs
lola: sara is running 2975 secs || 14914757 markings, 1199976090 edges, 14464 markings/sec, 2975 secs
lola: sara is running 2980 secs || 14992198 markings, 1201136871 edges, 15488 markings/sec, 2980 secs
lola: sara is running 2985 secs || 15063100 markings, 1202389452 edges, 14180 markings/sec, 2985 secs
lola: sara is running 2990 secs || 15131967 markings, 1203671799 edges, 13773 markings/sec, 2990 secs
lola: sara is running 2995 secs || 15200286 markings, 1204963158 edges, 13664 markings/sec, 2995 secs
lola: sara is running 3000 secs || 15268184 markings, 1206259988 edges, 13580 markings/sec, 3000 secs
lola: sara is running 3005 secs || 15333772 markings, 1207592724 edges, 13118 markings/sec, 3005 secs
lola: sara is running 3010 secs || 15387300 markings, 1209106797 edges, 10706 markings/sec, 3010 secs
lola: sara is running 3015 secs || 15404814 markings, 1211164211 edges, 3503 markings/sec, 3015 secs
lola: sara is running 3020 secs || 15420299 markings, 1213275803 edges, 3097 markings/sec, 3020 secs
lola: sara is running 3025 secs || 15430431 markings, 1215530355 edges, 2026 markings/sec, 3025 secs
lola: sara is running 3030 secs || 15447235 markings, 1217552437 edges, 3361 markings/sec, 3030 secs
lola: sara is running 3035 secs || 15464276 markings, 1219573058 edges, 3408 markings/sec, 3035 secs
lola: sara is running 3040 secs || 15481180 markings, 1221602137 edges, 3381 markings/sec, 3040 secs
lola: sara is running 3045 secs || 15497786 markings, 1223643748 edges, 3321 markings/sec, 3045 secs
lola: sara is running 3050 secs || 15514098 markings, 1225655686 edges, 3262 markings/sec, 3050 secs
lola: sara is running 3055 secs || 15530193 markings, 1227662223 edges, 3219 markings/sec, 3055 secs
lola: sara is running 3060 secs || 15546782 markings, 1229705028 edges, 3318 markings/sec, 3060 secs
lola: sara is running 3065 secs || 15563458 markings, 1231738608 edges, 3335 markings/sec, 3065 secs
lola: sara is running 3070 secs || 15580251 markings, 1233767701 edges, 3359 markings/sec, 3070 secs
lola: sara is running 3075 secs || 15596875 markings, 1235809120 edges, 3325 markings/sec, 3075 secs
lola: sara is running 3080 secs || 15614010 markings, 1237830371 edges, 3427 markings/sec, 3080 secs
lola: sara is running 3085 secs || 15631148 markings, 1239863728 edges, 3428 markings/sec, 3085 secs
lola: sara is running 3090 secs || 15647908 markings, 1241903119 edges, 3352 markings/sec, 3090 secs
lola: sara is running 3095 secs || 15665103 markings, 1243930099 edges, 3439 markings/sec, 3095 secs
lola: sara is running 3100 secs || 15682029 markings, 1245980183 edges, 3385 markings/sec, 3100 secs
lola: sara is running 3105 secs || 15698406 markings, 1247989759 edges, 3275 markings/sec, 3105 secs
lola: sara is running 3110 secs || 15714892 markings, 1249999720 edges, 3297 markings/sec, 3110 secs
lola: sara is running 3115 secs || 15730423 markings, 1251941177 edges, 3106 markings/sec, 3115 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes yes no yes yes yes yes yes yes yes unknown no yes no yes
lola:
preliminary result: yes yes yes no yes yes yes yes yes yes yes unknown no yes no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes no yes yes yes yes yes yes yes unknown no yes no yes
lola: memory consumption: 1659056 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes no yes yes yes yes yes yes yes unknown no yes no yes
lola: memory consumption: 1659240 KB
lola: time consumption: 3570 seconds

BK_TIME_CONFINEMENT_REACHED

--------------------
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="CloudDeployment-PT-6a"
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/CloudDeployment-PT-6a.tgz
mv CloudDeployment-PT-6a 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 CloudDeployment-PT-6a, 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 r040-smll-152646357400252"
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 ;