Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......................
/home/mcc/execution
total 256K
-rw-r--r-- 1 mcc users 3.4K May 29 16:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 29 16:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 28 11:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 28 11:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 28 09:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 28 09:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 28 07:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.9K May 28 07:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.3K May 27 05:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 27 05:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 26 06:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 26 06:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 3 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 100K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BusinessProcesses-PT-07, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145500243
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527991760884

info: Time: 3600 - MCC
===========================================================================================
prep: translating BusinessProcesses-PT-07 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 BusinessProcesses-PT-07 formula ReachabilityFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityFireability @ BusinessProcesses-PT-07 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 746/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 386
lola: finding significant places
lola: 386 places, 360 transitions, 324 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 434 transition conflict sets
lola: TASK
lola: reading formula from BusinessProcesses-PT-07-ReachabilityFireability.task
lola: A (G ((NOT FIREABLE(t44) OR NOT FIREABLE(t162) OR NOT FIREABLE(t285) OR (((FIREABLE(t205) AND FIREABLE(t270)) OR NOT FIREABLE(t343)) AND FIREABLE(t60))))) : E (F (((NOT FIREABLE(t67) OR NOT FIREABLE(t117) OR NOT FIREABLE(t313)) AND (FIREABLE(t204) OR (FIREABLE(t75) AND FIREABLE(t281)))))) : E (F (FIREABLE(t44))) : A (G (NOT FIREABLE(t343))) : E (F (FIREABLE(t336))) : E (F (((NOT FIREABLE(t28) OR FIREABLE(t7) OR (FIREABLE(t283) AND FIREABLE(t107))) AND FIREABLE(t207)))) : E (F (((FIREABLE(t259) OR FIREABLE(t152)) AND NOT FIREABLE(t178)))) : E (F (FIREABLE(t197))) : A (G ((NOT FIREABLE(t53) OR NOT FIREABLE(t168)))) : E (F (FIREABLE(t161))) : E (F ((FIREABLE(t139) AND FIREABLE(t39)))) : E (F (FIREABLE(t170))) : E (F ((FIREABLE(t244) AND FIREABLE(t283) AND NOT FIREABLE(t198)))) : A (G (((NOT FIREABLE(t135) AND NOT FIREABLE(t347)) OR FIREABLE(t167) OR (FIREABLE(t329) AND FIREABLE(t289))))) : E (F (((FIREABLE(t102) OR FIREABLE(t308)) AND NOT FIREABLE(t292) AND (FIREABLE(t249) OR FIREABLE(t181) OR (FIREABLE(t133) AND FIREABLE(t102))) AND FIREABLE(t81)))) : E (F ((FIREABLE(t116) AND FIREABLE(t3) AND FIREABLE(t309) AND (NOT FIREABLE(t225) OR NOT FIREABLE(t286)) AND FIREABLE(t106) AND FIREABLE(t324))))
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(t44)))
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(t44)))
lola: processed formula length: 21
lola: 1 rewrites
lola: closed formula file BusinessProcesses-PT-07-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(t44)
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: 34 markings, 33 edges
lola: ========================================

FORMULA BusinessProcesses-PT-07-ReachabilityFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t343)))
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(t343)))
lola: processed formula length: 26
lola: 2 rewrites
lola: closed formula file BusinessProcesses-PT-07-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(t343)
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 65 markings, 64 edges
lola: ========================================

FORMULA BusinessProcesses-PT-07-ReachabilityFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t336)))
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(t336)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file BusinessProcesses-PT-07-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(t336)
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BusinessProcesses-PT-07-ReachabilityFireability-2-0.sara.
sara: place or transition ordering is non-deterministic

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

FORMULA BusinessProcesses-PT-07-ReachabilityFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t197)))
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(t197)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file BusinessProcesses-PT-07-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(t197)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-3-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 31 markings, 30 edges
lola: ========================================

FORMULA BusinessProcesses-PT-07-ReachabilityFireability-7 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(t161)))
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(t161)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file BusinessProcesses-PT-07-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(t161)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-4-0.sara
lola: SUBRESULT
lola: state equation: calling and running sara
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 19 markings, 18 edges
lola: ========================================

FORMULA BusinessProcesses-PT-07-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: E (F (FIREABLE(t170)))
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(t170)))
lola: processed formula length: 22
lola: 1 rewrites
lola: closed formula file BusinessProcesses-PT-07-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)
sara: try reading problem file BusinessProcesses-PT-07-ReachabilityFireability-4-0.sara.
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(t170)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BusinessProcesses-PT-07-ReachabilityFireability-5-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 215 markings, 223 edges
lola: ========================================

FORMULA BusinessProcesses-PT-07-ReachabilityFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t139) AND FIREABLE(t39))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t139) AND FIREABLE(t39))))
lola: processed formula length: 42
lola: 1 rewrites
lola: closed formula file BusinessProcesses-PT-07-ReachabilityFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t139) AND FIREABLE(t39))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BusinessProcesses-PT-07-ReachabilityFireability-6-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 1897 markings, 2448 edges
lola: ========================================

FORMULA BusinessProcesses-PT-07-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t53) OR NOT FIREABLE(t168))))
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(t53) OR NOT FIREABLE(t168))))
lola: processed formula length: 50
lola: 2 rewrites
lola: closed formula file BusinessProcesses-PT-07-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(t53) AND FIREABLE(t168))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-7-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 40 markings, 39 edges
lola: ========================================

FORMULA BusinessProcesses-PT-07-ReachabilityFireability-8 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(t259) OR FIREABLE(t152)) AND NOT FIREABLE(t178))))
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(t259) OR FIREABLE(t152)) AND NOT FIREABLE(t178))))
lola: processed formula length: 68
lola: 1 rewrites
lola: closed formula file BusinessProcesses-PT-07-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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 16 markings, 15 edges
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((FIREABLE(t259) OR FIREABLE(t152)) AND NOT FIREABLE(t178))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-8-0.sara

FORMULA BusinessProcesses-PT-07-ReachabilityFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)lola: state equation: calling and running sara

lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t244) AND FIREABLE(t283) AND NOT FIREABLE(t198))))
lola: ========================================
lola: SUBTASK
lola: checking reachabilitylola: ========================================

lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: sara: try reading problem file BusinessProcesses-PT-07-ReachabilityFireability-8-0.sara.
rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t244) AND FIREABLE(t283) AND NOT FIREABLE(t198))))
lola: processed formula length: 66
lola: 1 rewrites
lola: closed formula file BusinessProcesses-PT-07-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
sara: place or transition ordering is non-deterministic
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t244) AND FIREABLE(t283) AND NOT FIREABLE(t198))
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BusinessProcesses-PT-07-ReachabilityFireability-9-0.sara.

sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic

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

FORMULA BusinessProcesses-PT-07-ReachabilityFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t28) OR FIREABLE(t7) OR (FIREABLE(t283) AND FIREABLE(t107))) AND FIREABLE(t207))))
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(t28) OR FIREABLE(t7) OR (FIREABLE(t283) AND FIREABLE(t107))) AND FIREABLE(t207))))
lola: processed formula length: 105
lola: 1 rewrites
lola: closed formula file BusinessProcesses-PT-07-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(t28) OR FIREABLE(t7) OR (FIREABLE(t283) AND FIREABLE(t107))) AND FIREABLE(t207))
lola: state equation: Generated DNF with 11 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BusinessProcesses-PT-07-ReachabilityFireability-10-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 281 markings, 440 edges
lola: ========================================

FORMULA BusinessProcesses-PT-07-ReachabilityFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t135) AND NOT FIREABLE(t347)) OR FIREABLE(t167) OR (FIREABLE(t329) AND FIREABLE(t289)))))
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(t135) AND NOT FIREABLE(t347)) OR FIREABLE(t167) OR (FIREABLE(t329) AND FIREABLE(t289)))))
lola: processed formula length: 112
lola: 2 rewrites
lola: closed formula file BusinessProcesses-PT-07-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(t135) OR FIREABLE(t347)) AND NOT FIREABLE(t167) AND (NOT FIREABLE(t329) OR NOT FIREABLE(t289)))
lola: state equation: Generated DNF with 40 literals and 10 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BusinessProcesses-PT-07-ReachabilityFireability-11-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5423 markings, 6332 edges
lola: ========================================

FORMULA BusinessProcesses-PT-07-ReachabilityFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t67) OR NOT FIREABLE(t117) OR NOT FIREABLE(t313)) AND (FIREABLE(t204) OR (FIREABLE(t75) AND FIREABLE(t281))))))
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(t67) OR NOT FIREABLE(t117) OR NOT FIREABLE(t313)) AND (FIREABLE(t204) OR (FIREABLE(t75) AND FIREABLE(t281))))))
lola: processed formula length: 135
lola: 1 rewrites
lola: closed formula file BusinessProcesses-PT-07-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(t67) OR NOT FIREABLE(t117) OR NOT FIREABLE(t313)) AND (FIREABLE(t204) OR (FIREABLE(t75) AND FIREABLE(t281))))
lola: state equation: Generated DNF with 35 literals and 10 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-12-0.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 34 markings, 33 edges

FORMULA BusinessProcesses-PT-07-ReachabilityFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t44) OR NOT FIREABLE(t162) OR NOT FIREABLE(t285) OR (((FIREABLE(t205) AND FIREABLE(t270)) OR NOT FIREABLE(t343)) AND FIREABLE(t60)))))
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(t44) OR NOT FIREABLE(t162) OR NOT FIREABLE(t285) OR (((FIREABLE(t205) AND FIREABLE(t270)) OR NOT FIREABLE(t343)) AND FIREABLE(t60)))))
lola: processed formula length: 158
lola: 2 rewrites
lola: closed formula file BusinessProcesses-PT-07-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 equation: calling and running sara
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(t44) AND FIREABLE(t162) AND FIREABLE(t285) AND (((NOT FIREABLE(t205) OR NOT FIREABLE(t270)) AND FIREABLE(t343)) OR NOT FIREABLE(t60)))
lola: state equation: Generated DNF with 24 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-13-0.sara
sara: try reading problem file BusinessProcesses-PT-07-ReachabilityFireability-12-0.sara.
lola: state equation: calling and running sara
sara: try reading problem file BusinessProcesses-PT-07-ReachabilityFireability-13-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic

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

FORMULA BusinessProcesses-PT-07-ReachabilityFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1784 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t102) OR FIREABLE(t308)) AND NOT FIREABLE(t292) AND (FIREABLE(t249) OR FIREABLE(t181) OR (FIREABLE(t133) AND FIREABLE(t102))) AND FIREABLE(t81))))
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(t102) OR FIREABLE(t308)) AND NOT FIREABLE(t292) AND (FIREABLE(t249) OR FIREABLE(t181) OR (FIREABLE(t133) AND FIREABLE(t102))) AND FIREABLE(t81))))
lola: processed formula length: 166
lola: 1 rewrites
lola: closed formula file BusinessProcesses-PT-07-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(t102) OR FIREABLE(t308)) AND NOT FIREABLE(t292) AND (FIREABLE(t249) OR FIREABLE(t181) OR (FIREABLE(t133) AND FIREABLE(t102))) AND FIREABLE(t81))
lola: state equation: Generated DNF with 64 literals and 12 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BusinessProcesses-PT-07-ReachabilityFireability-14-0.sara.
sara: place or transition ordering is non-deterministic

lola: sara is running 0 secs || 468354 markings, 747062 edges, 93671 markings/sec, 0 secs
lola: sara is running 5 secs || 1000013 markings, 1588229 edges, 106332 markings/sec, 5 secs
lola: sara is running 10 secs || 1457372 markings, 2538374 edges, 91472 markings/sec, 10 secs
lola: sara is running 15 secs || 1971919 markings, 3442654 edges, 102909 markings/sec, 15 secs
lola: sara is running 20 secs || 2549173 markings, 4266822 edges, 115451 markings/sec, 20 secs
lola: sara is running 25 secs || 3118770 markings, 5070483 edges, 113919 markings/sec, 25 secs
lola: sara is running 30 secs || 3588024 markings, 5949160 edges, 93851 markings/sec, 30 secs
lola: sara is running 35 secs || 4024243 markings, 6915931 edges, 87244 markings/sec, 35 secs
lola: sara is running 40 secs || 4446146 markings, 7873454 edges, 84381 markings/sec, 40 secs
lola: sara is running 45 secs || 4921042 markings, 8762834 edges, 94979 markings/sec, 45 secs
lola: sara is running 50 secs || 5477650 markings, 9594909 edges, 111322 markings/sec, 50 secs
lola: sara is running 55 secs || 6001139 markings, 10447379 edges, 104698 markings/sec, 55 secs
lola: sara is running 60 secs || 6510310 markings, 11307281 edges, 101834 markings/sec, 60 secs
lola: sara is running 65 secs || 7046492 markings, 12126227 edges, 107236 markings/sec, 65 secs
lola: sara is running 70 secs || 7550966 markings, 12962207 edges, 100895 markings/sec, 70 secs
lola: sara is running 75 secs || 8102432 markings, 13766912 edges, 110293 markings/sec, 75 secs
lola: sara is running 80 secs || 8679896 markings, 14585441 edges, 115493 markings/sec, 80 secs
lola: sara is running 85 secs || 9243671 markings, 15362493 edges, 112755 markings/sec, 85 secs
lola: sara is running 90 secs || 9806309 markings, 16120141 edges, 112528 markings/sec, 90 secs
lola: sara is running 95 secs || 10367105 markings, 16906482 edges, 112159 markings/sec, 95 secs
lola: sara is running 100 secs || 10812652 markings, 17830981 edges, 89109 markings/sec, 100 secs
lola: sara is running 105 secs || 11234368 markings, 18820215 edges, 84343 markings/sec, 105 secs
lola: sara is running 110 secs || 11610291 markings, 19779236 edges, 75185 markings/sec, 110 secs
lola: sara is running 115 secs || 12033696 markings, 20730745 edges, 84681 markings/sec, 115 secs
lola: sara is running 120 secs || 12403614 markings, 21706683 edges, 73984 markings/sec, 120 secs
lola: sara is running 125 secs || 12807049 markings, 22651426 edges, 80687 markings/sec, 125 secs
lola: sara is running 130 secs || 13180405 markings, 23616454 edges, 74671 markings/sec, 130 secs
lola: sara is running 135 secs || 13560955 markings, 24572632 edges, 76110 markings/sec, 135 secs
lola: sara is running 140 secs || 13967257 markings, 25497695 edges, 81260 markings/sec, 140 secs
lola: sara is running 145 secs || 14368578 markings, 26365293 edges, 80264 markings/sec, 145 secs
lola: sara is running 150 secs || 14763272 markings, 27249135 edges, 78939 markings/sec, 150 secs
lola: sara is running 155 secs || 15166943 markings, 28171404 edges, 80734 markings/sec, 155 secs
lola: sara is running 160 secs || 15610264 markings, 29103522 edges, 88664 markings/sec, 160 secs
lola: sara is running 165 secs || 16032427 markings, 30046797 edges, 84433 markings/sec, 165 secs
lola: sara is running 170 secs || 16455150 markings, 30975573 edges, 84545 markings/sec, 170 secs
lola: sara is running 175 secs || 16919449 markings, 31752168 edges, 92860 markings/sec, 175 secs
lola: sara is running 180 secs || 17447631 markings, 32609575 edges, 105636 markings/sec, 180 secs
lola: sara is running 185 secs || 17983721 markings, 33464042 edges, 107218 markings/sec, 185 secs
lola: sara is running 190 secs || 18410396 markings, 34430136 edges, 85335 markings/sec, 190 secs
lola: sara is running 195 secs || 18790686 markings, 35423308 edges, 76058 markings/sec, 195 secs
lola: sara is running 200 secs || 19164395 markings, 36435540 edges, 74742 markings/sec, 200 secs
lola: sara is running 205 secs || 19629928 markings, 37374747 edges, 93107 markings/sec, 205 secs
lola: sara is running 210 secs || 20176283 markings, 38189075 edges, 109271 markings/sec, 210 secs
lola: sara is running 215 secs || 20679415 markings, 39047346 edges, 100626 markings/sec, 215 secs
lola: sara is running 220 secs || 21089087 markings, 40009994 edges, 81934 markings/sec, 220 secs
lola: sara is running 225 secs || 21519172 markings, 40944593 edges, 86017 markings/sec, 225 secs
lola: sara is running 230 secs || 21982687 markings, 41813212 edges, 92703 markings/sec, 230 secs
lola: sara is running 235 secs || 22446729 markings, 42668062 edges, 92808 markings/sec, 235 secs
lola: sara is running 240 secs || 22946885 markings, 43497634 edges, 100031 markings/sec, 240 secs
lola: sara is running 245 secs || 23444358 markings, 44329869 edges, 99495 markings/sec, 245 secs
lola: sara is running 250 secs || 23945264 markings, 45161523 edges, 100181 markings/sec, 250 secs
lola: sara is running 255 secs || 24440945 markings, 45984013 edges, 99136 markings/sec, 255 secs
lola: sara is running 260 secs || 24925456 markings, 46788788 edges, 96902 markings/sec, 260 secs
lola: sara is running 265 secs || 25424009 markings, 47597556 edges, 99711 markings/sec, 265 secs
lola: sara is running 270 secs || 25916147 markings, 48414658 edges, 98428 markings/sec, 270 secs
lola: sara is running 275 secs || 26411505 markings, 49244281 edges, 99072 markings/sec, 275 secs
lola: sara is running 280 secs || 26895731 markings, 50068218 edges, 96845 markings/sec, 280 secs
lola: sara is running 285 secs || 27386844 markings, 50837626 edges, 98223 markings/sec, 285 secs
lola: sara is running 290 secs || 27956094 markings, 51580414 edges, 113850 markings/sec, 290 secs
lola: sara is running 295 secs || 28516991 markings, 52349935 edges, 112179 markings/sec, 295 secs
lola: sara is running 300 secs || 28963599 markings, 53262124 edges, 89322 markings/sec, 300 secs
lola: sara is running 305 secs || 29336226 markings, 54261760 edges, 74525 markings/sec, 305 secs
lola: sara is running 310 secs || 29697598 markings, 55234651 edges, 72274 markings/sec, 310 secs
lola: sara is running 315 secs || 30057426 markings, 56134615 edges, 71966 markings/sec, 315 secs

lola: sara is running 320 secs || 30448444 markings, 57115776 edges, 78204 markings/sec, 320 secs
lola: sara is running 325 secs || 30847024 markings, 58111983 edges, 79716 markings/sec, 325 secs
lola: sara is running 330 secs || 31213797 markings, 59032120 edges, 73355 markings/sec, 330 secs
lola: sara is running 335 secs || 31611988 markings, 60021360 edges, 79638 markings/sec, 335 secs
lola: sara is running 340 secs || 31999968 markings, 61009208 edges, 77596 markings/sec, 340 secs
lola: sara is running 345 secs || 32394371 markings, 61992732 edges, 78881 markings/sec, 345 secs
lola: sara is running 350 secs || 32791674 markings, 62970056 edges, 79461 markings/sec, 350 secs
lola: sara is running 355 secs || 33132750 markings, 63841278 edges, 68215 markings/sec, 355 secs
lola: sara is running 360 secs || 33464421 markings, 64678273 edges, 66334 markings/sec, 360 secs
lola: sara is running 365 secs || 33823751 markings, 65584079 edges, 71866 markings/sec, 365 secs
lola: sara is running 370 secs || 34187045 markings, 66499467 edges, 72659 markings/sec, 370 secs
lola: sara is running 375 secs || 34591520 markings, 67474906 edges, 80895 markings/sec, 375 secs
lola: sara is running 380 secs || 35027808 markings, 68420705 edges, 87258 markings/sec, 380 secs
lola: sara is running 385 secs || 35392648 markings, 69216576 edges, 72968 markings/sec, 385 secs
lola: sara is running 390 secs || 35827222 markings, 70171441 edges, 86915 markings/sec, 390 secs
lola: sara is running 395 secs || 36273861 markings, 71112589 edges, 89328 markings/sec, 395 secs
lola: sara is running 400 secs || 36675461 markings, 71898620 edges, 80320 markings/sec, 400 secs
lola: sara is running 405 secs || 37156189 markings, 72786720 edges, 96146 markings/sec, 405 secs
lola: sara is running 410 secs || 37635698 markings, 73679774 edges, 95902 markings/sec, 410 secs
lola: sara is running 415 secs || 38149955 markings, 74544517 edges, 102851 markings/sec, 415 secs
lola: sara is running 420 secs || 38664043 markings, 75392449 edges, 102818 markings/sec, 420 secs
lola: sara is running 425 secs || 39184669 markings, 76255807 edges, 104125 markings/sec, 425 secs
lola: sara is running 430 secs || 39696337 markings, 77112038 edges, 102334 markings/sec, 430 secs
lola: sara is running 435 secs || 40205132 markings, 77973831 edges, 101759 markings/sec, 435 secs
lola: sara is running 440 secs || 40556644 markings, 78989639 edges, 70302 markings/sec, 440 secs
lola: sara is running 445 secs || 40918920 markings, 79972494 edges, 72455 markings/sec, 445 secs
lola: sara is running 450 secs || 41285291 markings, 80966498 edges, 73274 markings/sec, 450 secs
lola: sara is running 455 secs || 41655959 markings, 81967170 edges, 74134 markings/sec, 455 secs
lola: sara is running 460 secs || 42028782 markings, 82960864 edges, 74565 markings/sec, 460 secs
lola: sara is running 465 secs || 42425231 markings, 83953455 edges, 79290 markings/sec, 465 secs
lola: sara is running 470 secs || 42814381 markings, 84931487 edges, 77830 markings/sec, 470 secs
lola: sara is running 475 secs || 43210175 markings, 85925432 edges, 79159 markings/sec, 475 secs
lola: sara is running 480 secs || 43607084 markings, 86911970 edges, 79382 markings/sec, 480 secs
lola: sara is running 485 secs || 43997973 markings, 87897214 edges, 78178 markings/sec, 485 secs
lola: sara is running 490 secs || 44394579 markings, 88875521 edges, 79321 markings/sec, 490 secs
lola: sara is running 495 secs || 44827386 markings, 89801818 edges, 86561 markings/sec, 495 secs
lola: sara is running 500 secs || 45235594 markings, 90746203 edges, 81642 markings/sec, 500 secs
lola: sara is running 505 secs || 45671506 markings, 91636670 edges, 87182 markings/sec, 505 secs
lola: sara is running 510 secs || 46103491 markings, 92531347 edges, 86397 markings/sec, 510 secs
lola: sara is running 515 secs || 46545671 markings, 93428649 edges, 88436 markings/sec, 515 secs
lola: sara is running 520 secs || 47052222 markings, 94221025 edges, 101310 markings/sec, 520 secs
lola: sara is running 525 secs || 47463762 markings, 95081335 edges, 82308 markings/sec, 525 secs
lola: sara is running 530 secs || 47892217 markings, 95976468 edges, 85691 markings/sec, 530 secs
lola: sara is running 535 secs || 48402977 markings, 96774413 edges, 102152 markings/sec, 535 secs
lola: sara is running 540 secs || 48825261 markings, 97683217 edges, 84457 markings/sec, 540 secs
lola: sara is running 545 secs || 49285249 markings, 98535078 edges, 91998 markings/sec, 545 secs
lola: sara is running 550 secs || 49740970 markings, 99395100 edges, 91144 markings/sec, 550 secs
lola: sara is running 555 secs || 50181209 markings, 100279834 edges, 88048 markings/sec, 555 secs
lola: sara is running 560 secs || 50612644 markings, 101130840 edges, 86287 markings/sec, 560 secs
lola: sara is running 565 secs || 51073013 markings, 101960131 edges, 92074 markings/sec, 565 secs
lola: sara is running 570 secs || 51493305 markings, 102845284 edges, 84058 markings/sec, 570 secs
lola: sara is running 575 secs || 51954556 markings, 103684740 edges, 92250 markings/sec, 575 secs
lola: sara is running 580 secs || 52372410 markings, 104578933 edges, 83571 markings/sec, 580 secs
lola: sara is running 585 secs || 52831479 markings, 105457570 edges, 91814 markings/sec, 585 secs
lola: sara is running 590 secs || 53286283 markings, 106290121 edges, 90961 markings/sec, 590 secs
lola: sara is running 595 secs || 53709061 markings, 107160033 edges, 84556 markings/sec, 595 secs
lola: sara is running 600 secs || 54161805 markings, 108010047 edges, 90549 markings/sec, 600 secs
lola: sara is running 605 secs || 54597856 markings, 108875741 edges, 87210 markings/sec, 605 secs
lola: sara is running 610 secs || 54956004 markings, 109580553 edges, 71630 markings/sec, 610 secs
lola: sara is running 615 secs || 55414780 markings, 110436247 edges, 91755 markings/sec, 615 secs
lola: sara is running 620 secs || 55859415 markings, 111299509 edges, 88927 markings/sec, 620 secs
lola: sara is running 625 secs || 56309307 markings, 112162054 edges, 89978 markings/sec, 625 secs
lola: sara is running 630 secs || 56750645 markings, 113003424 edges, 88268 markings/sec, 630 secs
lola: sara is running 635 secs || 57215499 markings, 113875248 edges, 92971 markings/sec, 635 secs
lola: sara is running 640 secs || 57658138 markings, 114744366 edges, 88528 markings/sec, 640 secs
lola: sara is running 645 secs || 58097665 markings, 115607340 edges, 87905 markings/sec, 645 secs
lola: sara is running 650 secs || 58541057 markings, 116466209 edges, 88678 markings/sec, 650 secs
lola: sara is running 655 secs || 59003687 markings, 117298044 edges, 92526 markings/sec, 655 secs
lola: sara is running 660 secs || 59455327 markings, 118149834 edges, 90328 markings/sec, 660 secs
lola: sara is running 665 secs || 59892896 markings, 119008030 edges, 87514 markings/sec, 665 secs
lola: sara is running 670 secs || 60356356 markings, 119883859 edges, 92692 markings/sec, 670 secs
lola: sara is running 675 secs || 60820129 markings, 120723644 edges, 92755 markings/sec, 675 secs
lola: sara is running 680 secs || 61278324 markings, 121564651 edges, 91639 markings/sec, 680 secs
lola: sara is running 685 secs || 61748602 markings, 122396804 edges, 94056 markings/sec, 685 secs
lola: sara is running 690 secs || 62198326 markings, 123249355 edges, 89945 markings/sec, 690 secs
lola: sara is running 695 secs || 62659455 markings, 124082786 edges, 92226 markings/sec, 695 secs
lola: sara is running 700 secs || 63109843 markings, 124941168 edges, 90078 markings/sec, 700 secs
lola: sara is running 705 secs || 63535657 markings, 125819991 edges, 85163 markings/sec, 705 secs
lola: sara is running 710 secs || 64027052 markings, 126637962 edges, 98279 markings/sec, 710 secs
lola: sara is running 715 secs || 64504886 markings, 127444582 edges, 95567 markings/sec, 715 secs
lola: sara is running 720 secs || 64973528 markings, 128286887 edges, 93728 markings/sec, 720 secs
lola: sara is running 725 secs || 65401399 markings, 129168544 edges, 85574 markings/sec, 725 secs
lola: sara is running 730 secs || 65828271 markings, 130028754 edges, 85374 markings/sec, 730 secs
lola: sara is running 735 secs || 66238321 markings, 130913879 edges, 82010 markings/sec, 735 secs
lola: sara is running 740 secs || 66647681 markings, 131818853 edges, 81872 markings/sec, 740 secs
lola: sara is running 745 secs || 67038189 markings, 132740443 edges, 78102 markings/sec, 745 secs
lola: sara is running 750 secs || 67436813 markings, 133654983 edges, 79725 markings/sec, 750 secs
lola: sara is running 755 secs || 67776878 markings, 134659889 edges, 68013 markings/sec, 755 secs
lola: sara is running 760 secs || 68198732 markings, 135543565 edges, 84371 markings/sec, 760 secs
lola: sara is running 765 secs || 68597859 markings, 136462419 edges, 79825 markings/sec, 765 secs
lola: sara is running 770 secs || 68990668 markings, 137394132 edges, 78562 markings/sec, 770 secs
lola: sara is running 775 secs || 69382499 markings, 138316218 edges, 78366 markings/sec, 775 secs
lola: sara is running 780 secs || 69779275 markings, 139217735 edges, 79355 markings/sec, 780 secs
lola: sara is running 785 secs || 70177562 markings, 140134115 edges, 79657 markings/sec, 785 secs
lola: sara is running 790 secs || 70573461 markings, 141061903 edges, 79180 markings/sec, 790 secs
lola: sara is running 795 secs || 70999688 markings, 141936140 edges, 85245 markings/sec, 795 secs
lola: sara is running 800 secs || 71394899 markings, 142845424 edges, 79042 markings/sec, 800 secs
lola: sara is running 805 secs || 71786339 markings, 143768863 edges, 78288 markings/sec, 805 secs
lola: sara is running 810 secs || 72192172 markings, 144679744 edges, 81167 markings/sec, 810 secs
lola: sara is running 815 secs || 72551423 markings, 145654486 edges, 71850 markings/sec, 815 secs
lola: sara is running 820 secs || 72968133 markings, 146536144 edges, 83342 markings/sec, 820 secs
lola: sara is running 825 secs || 73357779 markings, 147455901 edges, 77929 markings/sec, 825 secs
lola: sara is running 830 secs || 73735880 markings, 148399585 edges, 75620 markings/sec, 830 secs
lola: sara is running 835 secs || 74160344 markings, 149280122 edges, 84893 markings/sec, 835 secs
lola: sara is running 840 secs || 74552070 markings, 150194727 edges, 78345 markings/sec, 840 secs
lola: sara is running 845 secs || 74922279 markings, 151151584 edges, 74042 markings/sec, 845 secs
lola: sara is running 850 secs || 75392406 markings, 151953504 edges, 94025 markings/sec, 850 secs
lola: sara is running 855 secs || 75843070 markings, 152783457 edges, 90133 markings/sec, 855 secs
lola: sara is running 860 secs || 76298505 markings, 153584725 edges, 91087 markings/sec, 860 secs
lola: sara is running 865 secs || 76672842 markings, 154496550 edges, 74867 markings/sec, 865 secs
lola: sara is running 870 secs || 77060946 markings, 155367968 edges, 77621 markings/sec, 870 secs
lola: sara is running 875 secs || 77458116 markings, 156273567 edges, 79434 markings/sec, 875 secs
lola: sara is running 880 secs || 77846721 markings, 157176197 edges, 77721 markings/sec, 880 secs
lola: sara is running 885 secs || 78247737 markings, 158073679 edges, 80203 markings/sec, 885 secs
lola: sara is running 890 secs || 78635751 markings, 158992339 edges, 77603 markings/sec, 890 secs
lola: sara is running 895 secs || 79038347 markings, 159878938 edges, 80519 markings/sec, 895 secs
lola: sara is running 900 secs || 79422856 markings, 160804877 edges, 76902 markings/sec, 900 secs
lola: sara is running 905 secs || 79813576 markings, 161729883 edges, 78144 markings/sec, 905 secs
lola: sara is running 910 secs || 80212103 markings, 162641311 edges, 79705 markings/sec, 910 secs
lola: sara is running 915 secs || 80610670 markings, 163574770 edges, 79713 markings/sec, 915 secs
lola: sara is running 920 secs || 81006844 markings, 164495624 edges, 79235 markings/sec, 920 secs
lola: sara is running 925 secs || 81380390 markings, 165457241 edges, 74709 markings/sec, 925 secs
lola: sara is running 930 secs || 81735297 markings, 166432575 edges, 70981 markings/sec, 930 secs
lola: sara is running 935 secs || 82136398 markings, 167343128 edges, 80220 markings/sec, 935 secs
lola: sara is running 940 secs || 82530631 markings, 168267636 edges, 78847 markings/sec, 940 secs
lola: sara is running 945 secs || 82926333 markings, 169183201 edges, 79140 markings/sec, 945 secs
lola: sara is running 950 secs || 83317093 markings, 170096407 edges, 78152 markings/sec, 950 secs
lola: sara is running 955 secs || 83692891 markings, 171043179 edges, 75160 markings/sec, 955 secs
lola: sara is running 960 secs || 84084095 markings, 171965037 edges, 78241 markings/sec, 960 secs
lola: sara is running 965 secs || 84497332 markings, 172826976 edges, 82647 markings/sec, 965 secs
lola: sara is running 970 secs || 84888319 markings, 173755711 edges, 78197 markings/sec, 970 secs
lola: sara is running 975 secs || 85290029 markings, 174657734 edges, 80342 markings/sec, 975 secs
lola: sara is running 980 secs || 85686182 markings, 175557540 edges, 79231 markings/sec, 980 secs
lola: sara is running 985 secs || 86084006 markings, 176474880 edges, 79565 markings/sec, 985 secs
lola: sara is running 990 secs || 86488216 markings, 177392337 edges, 80842 markings/sec, 990 secs
lola: sara is running 995 secs || 86918817 markings, 178261623 edges, 86120 markings/sec, 995 secs
lola: sara is running 1000 secs || 87278450 markings, 179255118 edges, 71927 markings/sec, 1000 secs
lola: sara is running 1005 secs || 87661549 markings, 180158973 edges, 76620 markings/sec, 1005 secs
lola: sara is running 1010 secs || 88060052 markings, 181064285 edges, 79701 markings/sec, 1010 secs
lola: sara is running 1015 secs || 88461221 markings, 181991678 edges, 80234 markings/sec, 1015 secs
lola: sara is running 1020 secs || 88889157 markings, 182878585 edges, 85587 markings/sec, 1020 secs
lola: sara is running 1025 secs || 89284950 markings, 183790375 edges, 79159 markings/sec, 1025 secs
lola: sara is running 1030 secs || 89673819 markings, 184723433 edges, 77774 markings/sec, 1030 secs
lola: sara is running 1035 secs || 90072937 markings, 185618700 edges, 79824 markings/sec, 1035 secs
lola: sara is running 1040 secs || 90471942 markings, 186522908 edges, 79801 markings/sec, 1040 secs
lola: sara is running 1045 secs || 90869373 markings, 187448523 edges, 79486 markings/sec, 1045 secs
lola: sara is running 1050 secs || 91264129 markings, 188357565 edges, 78951 markings/sec, 1050 secs
lola: sara is running 1055 secs || 91660518 markings, 189260132 edges, 79278 markings/sec, 1055 secs
lola: sara is running 1060 secs || 92058854 markings, 190161739 edges, 79667 markings/sec, 1060 secs
lola: sara is running 1065 secs || 92446575 markings, 191071250 edges, 77544 markings/sec, 1065 secs
lola: sara is running 1070 secs || 92846348 markings, 191978680 edges, 79955 markings/sec, 1070 secs
lola: sara is running 1075 secs || 93229173 markings, 192891646 edges, 76565 markings/sec, 1075 secs
lola: sara is running 1080 secs || 93613932 markings, 193809498 edges, 76952 markings/sec, 1080 secs
lola: sara is running 1085 secs || 94006927 markings, 194710625 edges, 78599 markings/sec, 1085 secs
lola: sara is running 1090 secs || 94431741 markings, 195579961 edges, 84963 markings/sec, 1090 secs
lola: sara is running 1095 secs || 94830931 markings, 196459590 edges, 79838 markings/sec, 1095 secs
lola: sara is running 1100 secs || 95234805 markings, 197370378 edges, 80775 markings/sec, 1100 secs
lola: sara is running 1105 secs || 95652720 markings, 198252459 edges, 83583 markings/sec, 1105 secs
lola: sara is running 1110 secs || 96157692 markings, 199032729 edges, 100994 markings/sec, 1110 secs
lola: sara is running 1115 secs || 96581421 markings, 199928465 edges, 84746 markings/sec, 1115 secs
lola: sara is running 1120 secs || 96956411 markings, 200849412 edges, 74998 markings/sec, 1120 secs
lola: sara is running 1125 secs || 97296411 markings, 201605940 edges, 68000 markings/sec, 1125 secs
lola: sara is running 1130 secs || 97687460 markings, 202506875 edges, 78210 markings/sec, 1130 secs
lola: sara is running 1135 secs || 98084279 markings, 203405896 edges, 79364 markings/sec, 1135 secs
lola: sara is running 1140 secs || 98440687 markings, 204359799 edges, 71282 markings/sec, 1140 secs
lola: sara is running 1145 secs || 98831189 markings, 205278321 edges, 78100 markings/sec, 1145 secs
lola: sara is running 1150 secs || 99211522 markings, 206235611 edges, 76067 markings/sec, 1150 secs
lola: sara is running 1155 secs || 99621739 markings, 207118628 edges, 82043 markings/sec, 1155 secs
lola: sara is running 1160 secs || 100026441 markings, 208012090 edges, 80940 markings/sec, 1160 secs
lola: sara is running 1165 secs || 100450037 markings, 208875279 edges, 84719 markings/sec, 1165 secs
lola: sara is running 1170 secs || 100854439 markings, 209771331 edges, 80880 markings/sec, 1170 secs
lola: sara is running 1175 secs || 101257859 markings, 210654751 edges, 80684 markings/sec, 1175 secs
lola: sara is running 1180 secs || 101660295 markings, 211545630 edges, 80487 markings/sec, 1180 secs
lola: sara is running 1185 secs || 102099874 markings, 212406577 edges, 87916 markings/sec, 1185 secs
lola: sara is running 1190 secs || 102509311 markings, 213292872 edges, 81887 markings/sec, 1190 secs
lola: sara is running 1195 secs || 102905876 markings, 214195446 edges, 79313 markings/sec, 1195 secs
lola: sara is running 1200 secs || 103375385 markings, 215024310 edges, 93902 markings/sec, 1200 secs
lola: sara is running 1205 secs || 103788989 markings, 215918021 edges, 82721 markings/sec, 1205 secs
lola: sara is running 1210 secs || 104253672 markings, 216734560 edges, 92937 markings/sec, 1210 secs
lola: sara is running 1215 secs || 104658049 markings, 217626525 edges, 80875 markings/sec, 1215 secs
lola: sara is running 1220 secs || 105110956 markings, 218459778 edges, 90581 markings/sec, 1220 secs
lola: sara is running 1225 secs || 105519373 markings, 219336803 edges, 81683 markings/sec, 1225 secs
lola: sara is running 1230 secs || 105930658 markings, 220184145 edges, 82257 markings/sec, 1230 secs
lola: sara is running 1235 secs || 106381871 markings, 221029538 edges, 90243 markings/sec, 1235 secs
lola: sara is running 1240 secs || 106813487 markings, 221897255 edges, 86323 markings/sec, 1240 secs
lola: sara is running 1245 secs || 107242475 markings, 222774763 edges, 85798 markings/sec, 1245 secs
lola: sara is running 1250 secs || 107685651 markings, 223617298 edges, 88635 markings/sec, 1250 secs
lola: sara is running 1255 secs || 108150889 markings, 224443536 edges, 93048 markings/sec, 1255 secs
lola: sara is running 1260 secs || 108571020 markings, 225316302 edges, 84026 markings/sec, 1260 secs
lola: sara is running 1265 secs || 109035109 markings, 226148750 edges, 92818 markings/sec, 1265 secs
lola: sara is running 1270 secs || 109430851 markings, 227066815 edges, 79148 markings/sec, 1270 secs
lola: sara is running 1275 secs || 109928631 markings, 227860069 edges, 99556 markings/sec, 1275 secs
lola: sara is running 1280 secs || 110338301 markings, 228747965 edges, 81934 markings/sec, 1280 secs
lola: sara is running 1285 secs || 110749532 markings, 229639583 edges, 82246 markings/sec, 1285 secs
lola: sara is running 1290 secs || 111125887 markings, 230561791 edges, 75271 markings/sec, 1290 secs
lola: sara is running 1295 secs || 111521005 markings, 231477499 edges, 79024 markings/sec, 1295 secs
lola: sara is running 1300 secs || 111949481 markings, 232363438 edges, 85695 markings/sec, 1300 secs
lola: sara is running 1305 secs || 112349175 markings, 233287106 edges, 79939 markings/sec, 1305 secs
lola: sara is running 1310 secs || 112714049 markings, 234245043 edges, 72975 markings/sec, 1310 secs
lola: sara is running 1315 secs || 113071027 markings, 235220405 edges, 71396 markings/sec, 1315 secs
lola: sara is running 1320 secs || 113436223 markings, 236193625 edges, 73039 markings/sec, 1320 secs
lola: sara is running 1325 secs || 113789096 markings, 237168409 edges, 70575 markings/sec, 1325 secs
lola: sara is running 1330 secs || 114176481 markings, 238112673 edges, 77477 markings/sec, 1330 secs
lola: sara is running 1335 secs || 114630007 markings, 238960849 edges, 90705 markings/sec, 1335 secs
lola: sara is running 1340 secs || 115001517 markings, 239902768 edges, 74302 markings/sec, 1340 secs
lola: sara is running 1345 secs || 115342263 markings, 240895233 edges, 68149 markings/sec, 1345 secs
lola: sara is running 1350 secs || 115764884 markings, 241746022 edges, 84524 markings/sec, 1350 secs
lola: sara is running 1355 secs || 116153725 markings, 242675146 edges, 77768 markings/sec, 1355 secs
lola: sara is running 1360 secs || 116579893 markings, 243550892 edges, 85234 markings/sec, 1360 secs
lola: sara is running 1365 secs || 116973261 markings, 244471233 edges, 78674 markings/sec, 1365 secs
lola: sara is running 1370 secs || 117381371 markings, 245393821 edges, 81622 markings/sec, 1370 secs
lola: sara is running 1375 secs || 117733876 markings, 246362325 edges, 70501 markings/sec, 1375 secs
lola: sara is running 1380 secs || 118099429 markings, 247309635 edges, 73111 markings/sec, 1380 secs
lola: sara is running 1385 secs || 118481354 markings, 248265535 edges, 76385 markings/sec, 1385 secs
lola: sara is running 1390 secs || 118842564 markings, 249209388 edges, 72242 markings/sec, 1390 secs
lola: sara is running 1395 secs || 119201177 markings, 250178790 edges, 71723 markings/sec, 1395 secs
lola: sara is running 1400 secs || 119589752 markings, 251095600 edges, 77715 markings/sec, 1400 secs
lola: sara is running 1405 secs || 119961577 markings, 252050909 edges, 74365 markings/sec, 1405 secs
lola: sara is running 1410 secs || 120370448 markings, 252950333 edges, 81774 markings/sec, 1410 secs
lola: sara is running 1415 secs || 120804575 markings, 253831270 edges, 86825 markings/sec, 1415 secs
lola: sara is running 1420 secs || 121201701 markings, 254769851 edges, 79425 markings/sec, 1420 secs
lola: sara is running 1425 secs || 121666926 markings, 255613357 edges, 93045 markings/sec, 1425 secs
lola: sara is running 1430 secs || 122075150 markings, 256498326 edges, 81645 markings/sec, 1430 secs
lola: sara is running 1435 secs || 122475102 markings, 257420275 edges, 79990 markings/sec, 1435 secs
lola: sara is running 1440 secs || 122868220 markings, 258326128 edges, 78624 markings/sec, 1440 secs
lola: sara is running 1445 secs || 123286028 markings, 259228607 edges, 83562 markings/sec, 1445 secs
lola: sara is running 1450 secs || 123681444 markings, 260113924 edges, 79083 markings/sec, 1450 secs
lola: sara is running 1455 secs || 124063259 markings, 261065024 edges, 76363 markings/sec, 1455 secs
lola: sara is running 1460 secs || 124465313 markings, 262000446 edges, 80411 markings/sec, 1460 secs
lola: sara is running 1465 secs || 124860867 markings, 262930032 edges, 79111 markings/sec, 1465 secs
lola: sara is running 1470 secs || 125255017 markings, 263846353 edges, 78830 markings/sec, 1470 secs
lola: sara is running 1475 secs || 125641508 markings, 264784183 edges, 77298 markings/sec, 1475 secs
lola: sara is running 1480 secs || 126028721 markings, 265704716 edges, 77443 markings/sec, 1480 secs
lola: sara is running 1485 secs || 126421833 markings, 266623864 edges, 78622 markings/sec, 1485 secs
lola: sara is running 1490 secs || 126841511 markings, 267517719 edges, 83936 markings/sec, 1490 secs
lola: sara is running 1495 secs || 127214168 markings, 268452274 edges, 74531 markings/sec, 1495 secs
lola: sara is running 1500 secs || 127600593 markings, 269366530 edges, 77285 markings/sec, 1500 secs
lola: sara is running 1505 secs || 127985702 markings, 270302320 edges, 77022 markings/sec, 1505 secs
lola: sara is running 1510 secs || 128385429 markings, 271197377 edges, 79945 markings/sec, 1510 secs
lola: sara is running 1515 secs || 128815443 markings, 272034266 edges, 86003 markings/sec, 1515 secs
lola: sara is running 1520 secs || 129217037 markings, 272925099 edges, 80319 markings/sec, 1520 secs
lola: sara is running 1525 secs || 129629622 markings, 273821856 edges, 82517 markings/sec, 1525 secs
lola: sara is running 1530 secs || 130025967 markings, 274700256 edges, 79269 markings/sec, 1530 secs
lola: sara is running 1535 secs || 130472979 markings, 275554943 edges, 89402 markings/sec, 1535 secs
lola: sara is running 1540 secs || 130806108 markings, 276572544 edges, 66626 markings/sec, 1540 secs
lola: sara is running 1545 secs || 131167478 markings, 277530179 edges, 72274 markings/sec, 1545 secs
lola: sara is running 1550 secs || 131557073 markings, 278471644 edges, 77919 markings/sec, 1550 secs
lola: sara is running 1555 secs || 131909699 markings, 279461298 edges, 70525 markings/sec, 1555 secs
lola: sara is running 1560 secs || 132293241 markings, 280401616 edges, 76708 markings/sec, 1560 secs
lola: sara is running 1565 secs || 132684816 markings, 281332176 edges, 78315 markings/sec, 1565 secs
lola: sara is running 1570 secs || 133084433 markings, 282250600 edges, 79923 markings/sec, 1570 secs
lola: sara is running 1575 secs || 133421484 markings, 283252082 edges, 67410 markings/sec, 1575 secs
lola: sara is running 1580 secs || 133734202 markings, 284296882 edges, 62544 markings/sec, 1580 secs
lola: sara is running 1585 secs || 134027927 markings, 285343233 edges, 58745 markings/sec, 1585 secs
lola: sara is running 1590 secs || 134425282 markings, 286281114 edges, 79471 markings/sec, 1590 secs
lola: sara is running 1595 secs || 134823694 markings, 287210310 edges, 79682 markings/sec, 1595 secs
lola: sara is running 1600 secs || 135216044 markings, 288160212 edges, 78470 markings/sec, 1600 secs
lola: sara is running 1605 secs || 135626915 markings, 289057599 edges, 82174 markings/sec, 1605 secs
lola: sara is running 1610 secs || 135994540 markings, 289998446 edges, 73525 markings/sec, 1610 secs
lola: sara is running 1615 secs || 136424123 markings, 290797297 edges, 85917 markings/sec, 1615 secs
lola: sara is running 1620 secs || 136846110 markings, 291614420 edges, 84397 markings/sec, 1620 secs
lola: sara is running 1625 secs || 137238956 markings, 292490865 edges, 78569 markings/sec, 1625 secs
lola: sara is running 1630 secs || 137645506 markings, 293384070 edges, 81310 markings/sec, 1630 secs
lola: sara is running 1635 secs || 138002865 markings, 294330023 edges, 71472 markings/sec, 1635 secs
lola: sara is running 1640 secs || 138398476 markings, 295262471 edges, 79122 markings/sec, 1640 secs
lola: sara is running 1645 secs || 138789130 markings, 296198162 edges, 78131 markings/sec, 1645 secs
lola: sara is running 1650 secs || 139173430 markings, 297141613 edges, 76860 markings/sec, 1650 secs
lola: sara is running 1655 secs || 139538386 markings, 298093879 edges, 72991 markings/sec, 1655 secs
lola: sara is running 1660 secs || 139958939 markings, 298969466 edges, 84111 markings/sec, 1660 secs
lola: sara is running 1665 secs || 140336540 markings, 299891556 edges, 75520 markings/sec, 1665 secs
lola: sara is running 1670 secs || 140730467 markings, 300829052 edges, 78785 markings/sec, 1670 secs
lola: sara is running 1675 secs || 141126878 markings, 301764428 edges, 79282 markings/sec, 1675 secs
lola: sara is running 1680 secs || 141520618 markings, 302699293 edges, 78748 markings/sec, 1680 secs
lola: sara is running 1685 secs || 141910492 markings, 303627593 edges, 77975 markings/sec, 1685 secs
lola: sara is running 1690 secs || 142296227 markings, 304561190 edges, 77147 markings/sec, 1690 secs
lola: sara is running 1695 secs || 142682214 markings, 305499164 edges, 77197 markings/sec, 1695 secs
lola: sara is running 1700 secs || 143046829 markings, 306446364 edges, 72923 markings/sec, 1700 secs
lola: sara is running 1705 secs || 143431260 markings, 307390319 edges, 76886 markings/sec, 1705 secs
lola: sara is running 1710 secs || 143829108 markings, 308331842 edges, 79570 markings/sec, 1710 secs
lola: sara is running 1715 secs || 144214778 markings, 309264194 edges, 77134 markings/sec, 1715 secs
lola: sara is running 1720 secs || 144620133 markings, 310156040 edges, 81071 markings/sec, 1720 secs
lola: sara is running 1725 secs || 144984241 markings, 311094798 edges, 72822 markings/sec, 1725 secs
lola: sara is running 1730 secs || 145362057 markings, 312054286 edges, 75563 markings/sec, 1730 secs
lola: sara is running 1735 secs || 145758114 markings, 312990165 edges, 79211 markings/sec, 1735 secs
lola: sara is running 1740 secs || 146164271 markings, 313900583 edges, 81231 markings/sec, 1740 secs
lola: sara is running 1745 secs || 146564079 markings, 314851920 edges, 79962 markings/sec, 1745 secs
lola: sara is running 1750 secs || 146941242 markings, 315800850 edges, 75433 markings/sec, 1750 secs
lola: sara is running 1755 secs || 147332958 markings, 316724116 edges, 78343 markings/sec, 1755 secs
lola: sara is running 1760 secs || 147716642 markings, 317661880 edges, 76737 markings/sec, 1760 secs
lola: sara is running 1765 secs || 148110812 markings, 318584160 edges, 78834 markings/sec, 1765 secs
lola: sara is running 1770 secs || 148495018 markings, 319504331 edges, 76841 markings/sec, 1770 secs
lola: sara is running 1775 secs || 148875971 markings, 320435359 edges, 76191 markings/sec, 1775 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes yes no no yes yes yes no yes yes yes no no unknown unknown
lola: memory consumption: 5389916 KB
lola: time consumption: 1785 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1784 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t116) AND FIREABLE(t3) AND FIREABLE(t309) AND (NOT FIREABLE(t225) OR NOT FIREABLE(t286)) AND FIREABLE(t106) AND FIREABLE(t324))))
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(t116) AND FIREABLE(t3) AND FIREABLE(t309) AND (NOT FIREABLE(t225) OR NOT FIREABLE(t286)) AND FIREABLE(t106) AND FIREABLE(t324))))
lola: processed formula length: 146
lola: 1 rewrites
lola: closed formula file BusinessProcesses-PT-07-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(t116) AND FIREABLE(t3) AND FIREABLE(t309) AND (NOT FIREABLE(t225) OR NOT FIREABLE(t286)) AND FIREABLE(t106) AND FIREABLE(t324))
lola: state equation: Generated DNF with 44 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BusinessProcesses-PT-07-ReachabilityFireability-15-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 1797 markings, 3425 edges
lola: ========================================

FORMULA BusinessProcesses-PT-07-ReachabilityFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t102) OR FIREABLE(t308)) AND NOT FIREABLE(t292) AND (FIREABLE(t249) OR FIREABLE(t181) OR (FIREABLE(t133) AND FIREABLE(t102))) AND FIREABLE(t81))))
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(t102) OR FIREABLE(t308)) AND NOT FIREABLE(t292) AND (FIREABLE(t249) OR FIREABLE(t181) OR (FIREABLE(t133) AND FIREABLE(t102))) AND FIREABLE(t81))))
lola: processed formula length: 166
lola: 1 rewrites
lola: closed formula file BusinessProcesses-PT-07-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(t102) OR FIREABLE(t308)) AND NOT FIREABLE(t292) AND (FIREABLE(t249) OR FIREABLE(t181) OR (FIREABLE(t133) AND FIREABLE(t102))) AND FIREABLE(t81))
lola: state equation: Generated DNF with 64 literals and 12 conjunctive subformulas
lola: state equation: write sara problem file to BusinessProcesses-PT-07-ReachabilityFireability-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file BusinessProcesses-PT-07-ReachabilityFireability-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 483541 markings, 779089 edges, 96708 markings/sec, 0 secs
lola: sara is running 5 secs || 1032794 markings, 1643638 edges, 109851 markings/sec, 5 secs
lola: sara is running 10 secs || 1504195 markings, 2619157 edges, 94280 markings/sec, 10 secs
lola: sara is running 15 secs || 2017683 markings, 3534579 edges, 102698 markings/sec, 15 secs
lola: sara is running 20 secs || 2597228 markings, 4338563 edges, 115909 markings/sec, 20 secs
lola: sara is running 25 secs || 3136607 markings, 5098018 edges, 107876 markings/sec, 25 secs
lola: sara is running 30 secs || 3599096 markings, 5975500 edges, 92498 markings/sec, 30 secs
lola: sara is running 35 secs || 4030969 markings, 6930497 edges, 86375 markings/sec, 35 secs
lola: sara is running 40 secs || 4447271 markings, 7876034 edges, 83260 markings/sec, 40 secs
lola: sara is running 45 secs || 4884305 markings, 8699353 edges, 87407 markings/sec, 45 secs
lola: sara is running 50 secs || 5434282 markings, 9517092 edges, 109995 markings/sec, 50 secs
lola: sara is running 55 secs || 5939507 markings, 10366825 edges, 101045 markings/sec, 55 secs
lola: sara is running 60 secs || 6422102 markings, 11150609 edges, 96519 markings/sec, 60 secs
lola: sara is running 65 secs || 6943164 markings, 11972186 edges, 104212 markings/sec, 65 secs
lola: sara is running 70 secs || 7432471 markings, 12724744 edges, 97861 markings/sec, 70 secs
lola: sara is running 75 secs || 7947820 markings, 13534056 edges, 103070 markings/sec, 75 secs
lola: sara is running 80 secs || 8532081 markings, 14377062 edges, 116852 markings/sec, 80 secs
lola: sara is running 85 secs || 9101248 markings, 15162215 edges, 113833 markings/sec, 85 secs
lola: sara is running 90 secs || 9688560 markings, 15955341 edges, 117462 markings/sec, 90 secs
lola: sara is running 95 secs || 10259727 markings, 16758105 edges, 114233 markings/sec, 95 secs
lola: sara is running 100 secs || 10749084 markings, 17659356 edges, 97871 markings/sec, 100 secs
lola: sara is running 105 secs || 11158081 markings, 18648870 edges, 81799 markings/sec, 105 secs
lola: sara is running 110 secs || 11556820 markings, 19622702 edges, 79748 markings/sec, 110 secs
lola: sara is running 115 secs || 11970229 markings, 20594359 edges, 82682 markings/sec, 115 secs
lola: sara is running 120 secs || 12351886 markings, 21575163 edges, 76331 markings/sec, 120 secs
lola: sara is running 125 secs || 12759319 markings, 22536277 edges, 81487 markings/sec, 125 secs
lola: sara is running 130 secs || 13146191 markings, 23509862 edges, 77374 markings/sec, 130 secs
lola: sara is running 135 secs || 13522616 markings, 24488524 edges, 75285 markings/sec, 135 secs
lola: sara is running 140 secs || 13939737 markings, 25431052 edges, 83424 markings/sec, 140 secs
lola: sara is running 145 secs || 14387192 markings, 26406728 edges, 89491 markings/sec, 145 secs
lola: sara is running 150 secs || 14813398 markings, 27361195 edges, 85241 markings/sec, 150 secs
lola: sara is running 155 secs || 15221258 markings, 28299688 edges, 81572 markings/sec, 155 secs
lola: sara is running 160 secs || 15674479 markings, 29252806 edges, 90644 markings/sec, 160 secs
lola: sara is running 165 secs || 16107156 markings, 30212892 edges, 86535 markings/sec, 165 secs
lola: sara is running 170 secs || 16557665 markings, 31146048 edges, 90102 markings/sec, 170 secs
lola: sara is running 175 secs || 17075821 markings, 32007615 edges, 103631 markings/sec, 175 secs
lola: sara is running 180 secs || 17601060 markings, 32859102 edges, 105048 markings/sec, 180 secs
lola: sara is running 185 secs || 18089423 markings, 33746993 edges, 97673 markings/sec, 185 secs
lola: sara is running 190 secs || 18529845 markings, 34686598 edges, 88084 markings/sec, 190 secs
lola: sara is running 195 secs || 18899259 markings, 35687829 edges, 73883 markings/sec, 195 secs
lola: sara is running 200 secs || 19276488 markings, 36689341 edges, 75446 markings/sec, 200 secs
lola: sara is running 205 secs || 19761070 markings, 37586487 edges, 96916 markings/sec, 205 secs
lola: sara is running 210 secs || 20315455 markings, 38371064 edges, 110877 markings/sec, 210 secs
lola: sara is running 215 secs || 20771537 markings, 39274594 edges, 91216 markings/sec, 215 secs
lola: sara is running 220 secs || 21185540 markings, 40219992 edges, 82801 markings/sec, 220 secs
lola: sara is running 225 secs || 21619818 markings, 41141459 edges, 86856 markings/sec, 225 secs
lola: sara is running 230 secs || 22101385 markings, 42025520 edges, 96313 markings/sec, 230 secs
lola: sara is running 235 secs || 22586787 markings, 42900262 edges, 97080 markings/sec, 235 secs
lola: sara is running 240 secs || 23096892 markings, 43747139 edges, 102021 markings/sec, 240 secs
lola: sara is running 245 secs || 23611234 markings, 44604972 edges, 102868 markings/sec, 245 secs
lola: sara is running 250 secs || 24120017 markings, 45454464 edges, 101757 markings/sec, 250 secs
lola: sara is running 255 secs || 24627372 markings, 46301745 edges, 101471 markings/sec, 255 secs
lola: sara is running 260 secs || 25141869 markings, 47139810 edges, 102899 markings/sec, 260 secs
lola: sara is running 265 secs || 25657137 markings, 47974700 edges, 103054 markings/sec, 265 secs
lola: sara is running 270 secs || 26164063 markings, 48833864 edges, 101385 markings/sec, 270 secs
lola: sara is running 275 secs || 26670234 markings, 49687466 edges, 101234 markings/sec, 275 secs
lola: sara is running 280 secs || 27175603 markings, 50540418 edges, 101074 markings/sec, 280 secs
lola: sara is running 285 secs || 27747690 markings, 51315701 edges, 114417 markings/sec, 285 secs
lola: sara is running 290 secs || 28329328 markings, 52086996 edges, 116328 markings/sec, 290 secs
lola: sara is running 295 secs || 28836968 markings, 52931862 edges, 101528 markings/sec, 295 secs
lola: sara is running 300 secs || 29206901 markings, 53921051 edges, 73987 markings/sec, 300 secs
lola: sara is running 305 secs || 29572653 markings, 54909822 edges, 73150 markings/sec, 305 secs
lola: sara is running 310 secs || 29961638 markings, 55895561 edges, 77797 markings/sec, 310 secs
lola: sara is running 315 secs || 30350094 markings, 56867483 edges, 77691 markings/sec, 315 secs
lola: sara is running 320 secs || 30743414 markings, 57856220 edges, 78664 markings/sec, 320 secs
lola: sara is running 325 secs || 31136469 markings, 58834600 edges, 78611 markings/sec, 325 secs
lola: sara is running 330 secs || 31528821 markings, 59815975 edges, 78470 markings/sec, 330 secs
lola: sara is running 335 secs || 31912095 markings, 60788878 edges, 76655 markings/sec, 335 secs
lola: sara is running 340 secs || 32301419 markings, 61764437 edges, 77865 markings/sec, 340 secs
lola: sara is running 345 secs || 32692941 markings, 62736313 edges, 78304 markings/sec, 345 secs
lola: sara is running 350 secs || 33083345 markings, 63716386 edges, 78081 markings/sec, 350 secs
lola: sara is running 355 secs || 33473996 markings, 64701932 edges, 78130 markings/sec, 355 secs
lola: sara is running 360 secs || 33862709 markings, 65682457 edges, 77743 markings/sec, 360 secs
lola: sara is running 365 secs || 34251772 markings, 66662949 edges, 77813 markings/sec, 365 secs
lola: sara is running 370 secs || 34660498 markings, 67621252 edges, 81745 markings/sec, 370 secs
lola: sara is running 375 secs || 35091570 markings, 68556569 edges, 86214 markings/sec, 375 secs
lola: sara is running 380 secs || 35523246 markings, 69500694 edges, 86335 markings/sec, 380 secs
lola: sara is running 385 secs || 35952017 markings, 70446072 edges, 85754 markings/sec, 385 secs
lola: sara is running 390 secs || 36397812 markings, 71364373 edges, 89159 markings/sec, 390 secs
lola: sara is running 395 secs || 36862046 markings, 72244047 edges, 92847 markings/sec, 395 secs
lola: sara is running 400 secs || 37342034 markings, 73120995 edges, 95998 markings/sec, 400 secs
lola: sara is running 405 secs || 37819676 markings, 73995805 edges, 95528 markings/sec, 405 secs
lola: sara is running 410 secs || 38332568 markings, 74841041 edges, 102578 markings/sec, 410 secs
lola: sara is running 415 secs || 38837711 markings, 75687987 edges, 101029 markings/sec, 415 secs
lola: sara is running 420 secs || 39352964 markings, 76535425 edges, 103051 markings/sec, 420 secs
lola: sara is running 425 secs || 39861525 markings, 77380986 edges, 101712 markings/sec, 425 secs
lola: sara is running 430 secs || 40311655 markings, 78282307 edges, 90026 markings/sec, 430 secs
lola: sara is running 435 secs || 40656506 markings, 79278704 edges, 68970 markings/sec, 435 secs
lola: sara is running 440 secs || 41014961 markings, 80246270 edges, 71691 markings/sec, 440 secs
lola: sara is running 445 secs || 41380560 markings, 81228566 edges, 73120 markings/sec, 445 secs
lola: sara is running 450 secs || 41743891 markings, 82219126 edges, 72666 markings/sec, 450 secs
lola: sara is running 455 secs || 42125154 markings, 83199171 edges, 76253 markings/sec, 455 secs
lola: sara is running 460 secs || 42515267 markings, 84177040 edges, 78023 markings/sec, 460 secs
lola: sara is running 465 secs || 42901509 markings, 85150891 edges, 77248 markings/sec, 465 secs
lola: sara is running 470 secs || 43294981 markings, 86137303 edges, 78694 markings/sec, 470 secs
lola: sara is running 475 secs || 43685481 markings, 87108748 edges, 78100 markings/sec, 475 secs
lola: sara is running 480 secs || 44074916 markings, 88087334 edges, 77887 markings/sec, 480 secs
lola: sara is running 485 secs || 44477065 markings, 89043017 edges, 80430 markings/sec, 485 secs
lola: sara is running 490 secs || 44903659 markings, 89956304 edges, 85319 markings/sec, 490 secs
lola: sara is running 495 secs || 45304570 markings, 90888726 edges, 80182 markings/sec, 495 secs
lola: sara is running 500 secs || 45728701 markings, 91767748 edges, 84826 markings/sec, 500 secs
lola: sara is running 505 secs || 46164824 markings, 92639888 edges, 87225 markings/sec, 505 secs
lola: sara is running 510 secs || 46602962 markings, 93526798 edges, 87628 markings/sec, 510 secs
lola: sara is running 515 secs || 47106824 markings, 94302679 edges, 100772 markings/sec, 515 secs
lola: sara is running 520 secs || 47514660 markings, 95201192 edges, 81567 markings/sec, 520 secs
lola: sara is running 525 secs || 47945374 markings, 96073861 edges, 86143 markings/sec, 525 secs
lola: sara is running 530 secs || 48455459 markings, 96853167 edges, 102017 markings/sec, 530 secs
lola: sara is running 535 secs || 48861542 markings, 97769815 edges, 81217 markings/sec, 535 secs
lola: sara is running 540 secs || 49317016 markings, 98607785 edges, 91095 markings/sec, 540 secs
lola: sara is running 545 secs || 49774409 markings, 99442224 edges, 91479 markings/sec, 545 secs
lola: sara is running 550 secs || 50202568 markings, 100328334 edges, 85632 markings/sec, 550 secs
lola: sara is running 555 secs || 50630582 markings, 101158878 edges, 85603 markings/sec, 555 secs
lola: sara is running 560 secs || 51081143 markings, 101979942 edges, 90112 markings/sec, 560 secs
lola: sara is running 565 secs || 51496241 markings, 102852304 edges, 83020 markings/sec, 565 secs
lola: sara is running 570 secs || 51950318 markings, 103678691 edges, 90815 markings/sec, 570 secs
lola: sara is running 575 secs || 52360855 markings, 104562183 edges, 82107 markings/sec, 575 secs
lola: sara is running 580 secs || 52817877 markings, 105428070 edges, 91404 markings/sec, 580 secs
lola: sara is running 585 secs || 53262410 markings, 106253290 edges, 88907 markings/sec, 585 secs
lola: sara is running 590 secs || 53686131 markings, 107105033 edges, 84744 markings/sec, 590 secs
lola: sara is running 595 secs || 54132037 markings, 107941907 edges, 89181 markings/sec, 595 secs
lola: sara is running 600 secs || 54557106 markings, 108802588 edges, 85014 markings/sec, 600 secs
lola: sara is running 605 secs || 54980595 markings, 109624481 edges, 84698 markings/sec, 605 secs
lola: sara is running 610 secs || 55436113 markings, 110468738 edges, 91104 markings/sec, 610 secs
lola: sara is running 615 secs || 55870582 markings, 111323562 edges, 86894 markings/sec, 615 secs
lola: sara is running 620 secs || 56314992 markings, 112170734 edges, 88882 markings/sec, 620 secs
lola: sara is running 625 secs || 56750925 markings, 113003879 edges, 87187 markings/sec, 625 secs
lola: sara is running 630 secs || 57209034 markings, 113866414 edges, 91622 markings/sec, 630 secs
lola: sara is running 635 secs || 57644862 markings, 114722285 edges, 87166 markings/sec, 635 secs
lola: sara is running 640 secs || 58078229 markings, 115570958 edges, 86673 markings/sec, 640 secs
lola: sara is running 645 secs || 58516994 markings, 116414208 edges, 87753 markings/sec, 645 secs
lola: sara is running 650 secs || 58969642 markings, 117237044 edges, 90530 markings/sec, 650 secs
lola: sara is running 655 secs || 59421799 markings, 118068494 edges, 90431 markings/sec, 655 secs
lola: sara is running 660 secs || 59847442 markings, 118918565 edges, 85129 markings/sec, 660 secs
lola: sara is running 665 secs || 60308164 markings, 119778131 edges, 92144 markings/sec, 665 secs
lola: sara is running 670 secs || 60759369 markings, 120613544 edges, 90241 markings/sec, 670 secs
lola: sara is running 675 secs || 61216122 markings, 121436745 edges, 91351 markings/sec, 675 secs
lola: sara is running 680 secs || 61668672 markings, 122271816 edges, 90510 markings/sec, 680 secs
lola: sara is running 685 secs || 62118622 markings, 123103078 edges, 89990 markings/sec, 685 secs
lola: sara is running 690 secs || 62578786 markings, 123914238 edges, 92033 markings/sec, 690 secs
lola: sara is running 695 secs || 63018252 markings, 124766362 edges, 87893 markings/sec, 695 secs
lola: sara is running 700 secs || 63440345 markings, 125630454 edges, 84419 markings/sec, 700 secs
lola: sara is running 705 secs || 63920868 markings, 126435948 edges, 96105 markings/sec, 705 secs
lola: sara is running 710 secs || 64374549 markings, 127246839 edges, 90736 markings/sec, 710 secs
lola: sara is running 715 secs || 64864368 markings, 128046663 edges, 97964 markings/sec, 715 secs
lola: sara is running 720 secs || 65280584 markings, 128923235 edges, 83243 markings/sec, 720 secs
lola: sara is running 725 secs || 65717712 markings, 129754523 edges, 87426 markings/sec, 725 secs
lola: sara is running 730 secs || 66100696 markings, 130649847 edges, 76597 markings/sec, 730 secs
lola: sara is running 735 secs || 66521269 markings, 131521689 edges, 84115 markings/sec, 735 secs
lola: sara is running 740 secs || 66930295 markings, 132398739 edges, 81805 markings/sec, 740 secs
lola: sara is running 745 secs || 67307768 markings, 133324228 edges, 75495 markings/sec, 745 secs
lola: sara is running 750 secs || 67660273 markings, 134294238 edges, 70501 markings/sec, 750 secs
lola: sara is running 755 secs || 68048525 markings, 135202661 edges, 77650 markings/sec, 755 secs
lola: sara is running 760 secs || 68453889 markings, 136092598 edges, 81073 markings/sec, 760 secs
lola: sara is running 765 secs || 68816928 markings, 137042220 edges, 72608 markings/sec, 765 secs
lola: sara is running 770 secs || 69218513 markings, 137937548 edges, 80317 markings/sec, 770 secs
lola: sara is running 775 secs || 69621316 markings, 138806178 edges, 80561 markings/sec, 775 secs
lola: sara is running 780 secs || 69993033 markings, 139733235 edges, 74343 markings/sec, 780 secs
lola: sara is running 785 secs || 70377750 markings, 140656415 edges, 76943 markings/sec, 785 secs
lola: sara is running 790 secs || 70789005 markings, 141533707 edges, 82251 markings/sec, 790 secs
lola: sara is running 795 secs || 71206524 markings, 142391438 edges, 83504 markings/sec, 795 secs
lola: sara is running 800 secs || 71586791 markings, 143314405 edges, 76053 markings/sec, 800 secs
lola: sara is running 805 secs || 72006482 markings, 144179480 edges, 83938 markings/sec, 805 secs
lola: sara is running 810 secs || 72348833 markings, 145172283 edges, 68470 markings/sec, 810 secs
lola: sara is running 815 secs || 72738877 markings, 146063236 edges, 78009 markings/sec, 815 secs
lola: sara is running 820 secs || 73130539 markings, 146963316 edges, 78332 markings/sec, 820 secs
lola: sara is running 825 secs || 73527805 markings, 147858411 edges, 79453 markings/sec, 825 secs
lola: sara is running 830 secs || 73904750 markings, 148782626 edges, 75389 markings/sec, 830 secs
lola: sara is running 835 secs || 74314046 markings, 149658336 edges, 81859 markings/sec, 835 secs
lola: sara is running 840 secs || 74703666 markings, 150558921 edges, 77924 markings/sec, 840 secs
lola: sara is running 845 secs || 75074425 markings, 151427883 edges, 74152 markings/sec, 845 secs
lola: sara is running 850 secs || 75525412 markings, 152245139 edges, 90197 markings/sec, 850 secs
lola: sara is running 855 secs || 75996800 markings, 153014579 edges, 94278 markings/sec, 855 secs
lola: sara is running 860 secs || 76408352 markings, 153857213 edges, 82310 markings/sec, 860 secs
lola: sara is running 865 secs || 76783729 markings, 154748898 edges, 75075 markings/sec, 865 secs
lola: sara is running 870 secs || 77183604 markings, 155651693 edges, 79975 markings/sec, 870 secs
lola: sara is running 875 secs || 77570151 markings, 156552440 edges, 77309 markings/sec, 875 secs
lola: sara is running 880 secs || 77983099 markings, 157395691 edges, 82590 markings/sec, 880 secs
lola: sara is running 885 secs || 78356971 markings, 158323515 edges, 74774 markings/sec, 885 secs
lola: sara is running 890 secs || 78738998 markings, 159238874 edges, 76405 markings/sec, 890 secs
lola: sara is running 895 secs || 79132709 markings, 160121685 edges, 78742 markings/sec, 895 secs
lola: sara is running 900 secs || 79517806 markings, 161025125 edges, 77019 markings/sec, 900 secs
lola: sara is running 905 secs || 79911215 markings, 161944568 edges, 78682 markings/sec, 905 secs
lola: sara is running 910 secs || 80263622 markings, 162761376 edges, 70481 markings/sec, 910 secs
lola: sara is running 915 secs || 80659123 markings, 163685631 edges, 79100 markings/sec, 915 secs
lola: sara is running 920 secs || 81046738 markings, 164606232 edges, 77523 markings/sec, 920 secs
lola: sara is running 925 secs || 81410644 markings, 165564369 edges, 72781 markings/sec, 925 secs
lola: sara is running 930 secs || 81774765 markings, 166524627 edges, 72824 markings/sec, 930 secs
lola: sara is running 935 secs || 82174810 markings, 167423776 edges, 80009 markings/sec, 935 secs
lola: sara is running 940 secs || 82562979 markings, 168341924 edges, 77634 markings/sec, 940 secs
lola: sara is running 945 secs || 82957449 markings, 169247896 edges, 78894 markings/sec, 945 secs
lola: sara is running 950 secs || 83336049 markings, 170164300 edges, 75720 markings/sec, 950 secs
lola: sara is running 955 secs || 83715404 markings, 171092530 edges, 75871 markings/sec, 955 secs
lola: sara is running 960 secs || 84102415 markings, 172007735 edges, 77402 markings/sec, 960 secs
lola: sara is running 965 secs || 84514621 markings, 172851589 edges, 82441 markings/sec, 965 secs
lola: sara is running 970 secs || 84896288 markings, 173782184 edges, 76333 markings/sec, 970 secs
lola: sara is running 975 secs || 85297628 markings, 174671940 edges, 80268 markings/sec, 975 secs
lola: sara is running 980 secs || 85689089 markings, 175562984 edges, 78292 markings/sec, 980 secs
lola: sara is running 985 secs || 86082986 markings, 176472121 edges, 78779 markings/sec, 985 secs
lola: sara is running 990 secs || 86483245 markings, 177381801 edges, 80052 markings/sec, 990 secs
lola: sara is running 995 secs || 86912933 markings, 178238160 edges, 85938 markings/sec, 995 secs
lola: sara is running 1000 secs || 87265444 markings, 179227984 edges, 70502 markings/sec, 1000 secs
lola: sara is running 1005 secs || 87646240 markings, 180122233 edges, 76159 markings/sec, 1005 secs
lola: sara is running 1010 secs || 88041623 markings, 181018422 edges, 79077 markings/sec, 1010 secs
lola: sara is running 1015 secs || 88438919 markings, 181936601 edges, 79459 markings/sec, 1015 secs
lola: sara is running 1020 secs || 88861638 markings, 182817671 edges, 84544 markings/sec, 1020 secs
lola: sara is running 1025 secs || 89256684 markings, 183720499 edges, 79009 markings/sec, 1025 secs
lola: sara is running 1030 secs || 89641429 markings, 184648784 edges, 76949 markings/sec, 1030 secs
lola: sara is running 1035 secs || 90035310 markings, 185538555 edges, 78776 markings/sec, 1035 secs
lola: sara is running 1040 secs || 90431939 markings, 186429826 edges, 79326 markings/sec, 1040 secs
lola: sara is running 1045 secs || 90825240 markings, 187351749 edges, 78660 markings/sec, 1045 secs
lola: sara is running 1050 secs || 91217021 markings, 188248997 edges, 78356 markings/sec, 1050 secs
lola: sara is running 1055 secs || 91606183 markings, 189148602 edges, 77832 markings/sec, 1055 secs
lola: sara is running 1060 secs || 92003736 markings, 190037876 edges, 79511 markings/sec, 1060 secs
lola: sara is running 1065 secs || 92385672 markings, 190937523 edges, 76387 markings/sec, 1065 secs
lola: sara is running 1070 secs || 92781986 markings, 191836139 edges, 79263 markings/sec, 1070 secs
lola: sara is running 1075 secs || 93160256 markings, 192741171 edges, 75654 markings/sec, 1075 secs
lola: sara is running 1080 secs || 93547546 markings, 193644057 edges, 77458 markings/sec, 1080 secs
lola: sara is running 1085 secs || 93938699 markings, 194527366 edges, 78231 markings/sec, 1085 secs
lola: sara is running 1090 secs || 94335247 markings, 195433319 edges, 79310 markings/sec, 1090 secs
lola: sara is running 1095 secs || 94749026 markings, 196272145 edges, 82756 markings/sec, 1095 secs
lola: sara is running 1100 secs || 95143136 markings, 197156912 edges, 78822 markings/sec, 1100 secs
lola: sara is running 1105 secs || 95542597 markings, 198061940 edges, 79892 markings/sec, 1105 secs
lola: sara is running 1110 secs || 96038092 markings, 198849378 edges, 99099 markings/sec, 1110 secs
lola: sara is running 1115 secs || 96479572 markings, 199686554 edges, 88296 markings/sec, 1115 secs
lola: sara is running 1120 secs || 96853703 markings, 200610292 edges, 74826 markings/sec, 1120 secs
lola: sara is running 1125 secs || 97249975 markings, 201489390 edges, 79254 markings/sec, 1125 secs
lola: sara is running 1130 secs || 97637795 markings, 202386042 edges, 77564 markings/sec, 1130 secs
lola: sara is running 1135 secs || 98029222 markings, 203277844 edges, 78285 markings/sec, 1135 secs
lola: sara is running 1140 secs || 98385890 markings, 204216848 edges, 71334 markings/sec, 1140 secs
lola: sara is running 1145 secs || 98764386 markings, 205139368 edges, 75699 markings/sec, 1145 secs
lola: sara is running 1150 secs || 99144472 markings, 206082684 edges, 76017 markings/sec, 1150 secs
lola: sara is running 1155 secs || 99551761 markings, 206957009 edges, 81458 markings/sec, 1155 secs
lola: sara is running 1160 secs || 99953110 markings, 207844391 edges, 80270 markings/sec, 1160 secs
lola: sara is running 1165 secs || 100374470 markings, 208700596 edges, 84272 markings/sec, 1165 secs
lola: sara is running 1170 secs || 100763696 markings, 209594958 edges, 77845 markings/sec, 1170 secs
lola: sara is running 1175 secs || 101178350 markings, 210451049 edges, 82931 markings/sec, 1175 secs
lola: sara is running 1180 secs || 101573428 markings, 211341952 edges, 79016 markings/sec, 1180 secs
lola: sara is running 1185 secs || 101980515 markings, 212217168 edges, 81417 markings/sec, 1185 secs
lola: sara is running 1190 secs || 102405817 markings, 213074219 edges, 85060 markings/sec, 1190 secs
lola: sara is running 1195 secs || 102803321 markings, 213966315 edges, 79501 markings/sec, 1195 secs
lola: sara is running 1200 secs || 103254883 markings, 214794982 edges, 90312 markings/sec, 1200 secs
lola: sara is running 1205 secs || 103685792 markings, 215651102 edges, 86182 markings/sec, 1205 secs
lola: sara is running 1210 secs || 104110576 markings, 216505523 edges, 84957 markings/sec, 1210 secs
lola: sara is running 1215 secs || 104539463 markings, 217350636 edges, 85777 markings/sec, 1215 secs
lola: sara is running 1220 secs || 104982758 markings, 218184102 edges, 88659 markings/sec, 1220 secs
lola: sara is running 1225 secs || 105382150 markings, 219058099 edges, 79878 markings/sec, 1225 secs
lola: sara is running 1230 secs || 105781141 markings, 219910131 edges, 79798 markings/sec, 1230 secs
lola: sara is running 1235 secs || 106241276 markings, 220730127 edges, 92027 markings/sec, 1235 secs
lola: sara is running 1240 secs || 106665060 markings, 221589381 edges, 84757 markings/sec, 1240 secs
lola: sara is running 1245 secs || 107102627 markings, 222444126 edges, 87513 markings/sec, 1245 secs
lola: sara is running 1250 secs || 107518706 markings, 223304959 edges, 83216 markings/sec, 1250 secs
lola: sara is running 1255 secs || 107980253 markings, 224119250 edges, 92309 markings/sec, 1255 secs
lola: sara is running 1260 secs || 108402189 markings, 224976797 edges, 84387 markings/sec, 1260 secs
lola: sara is running 1265 secs || 108845566 markings, 225814571 edges, 88675 markings/sec, 1265 secs
lola: sara is running 1270 secs || 109258556 markings, 226693825 edges, 82598 markings/sec, 1270 secs
lola: sara is running 1275 secs || 109715651 markings, 227528866 edges, 91419 markings/sec, 1275 secs
lola: sara is running 1280 secs || 110159079 markings, 228361840 edges, 88686 markings/sec, 1280 secs
lola: sara is running 1285 secs || 110568239 markings, 229240268 edges, 81832 markings/sec, 1285 secs
lola: sara is running 1290 secs || 110956094 markings, 230140529 edges, 77571 markings/sec, 1290 secs
lola: sara is running 1295 secs || 111335647 markings, 231062746 edges, 75911 markings/sec, 1295 secs
lola: sara is running 1300 secs || 111763149 markings, 231921317 edges, 85500 markings/sec, 1300 secs
lola: sara is running 1305 secs || 112169988 markings, 232830973 edges, 81368 markings/sec, 1305 secs
lola: sara is running 1310 secs || 112534696 markings, 233777177 edges, 72942 markings/sec, 1310 secs
lola: sara is running 1315 secs || 112903997 markings, 234711569 edges, 73860 markings/sec, 1315 secs
lola: sara is running 1320 secs || 113250990 markings, 235698217 edges, 69399 markings/sec, 1320 secs
lola: sara is running 1325 secs || 113609853 markings, 236663132 edges, 71773 markings/sec, 1325 secs
lola: sara is running 1330 secs || 113966093 markings, 237643120 edges, 71248 markings/sec, 1330 secs
lola: sara is running 1335 secs || 114390013 markings, 238508678 edges, 84784 markings/sec, 1335 secs
lola: sara is running 1340 secs || 114796716 markings, 239388787 edges, 81341 markings/sec, 1340 secs
lola: sara is running 1345 secs || 115166506 markings, 240324949 edges, 73958 markings/sec, 1345 secs
lola: sara is running 1350 secs || 115529853 markings, 241264109 edges, 72669 markings/sec, 1350 secs
lola: sara is running 1355 secs || 115903115 markings, 242184254 edges, 74652 markings/sec, 1355 secs
lola: sara is running 1360 secs || 116324381 markings, 243053780 edges, 84253 markings/sec, 1360 secs
lola: sara is running 1365 secs || 116751096 markings, 243908698 edges, 85343 markings/sec, 1365 secs
lola: sara is running 1370 secs || 117141692 markings, 244822858 edges, 78119 markings/sec, 1370 secs
lola: sara is running 1375 secs || 117533837 markings, 245754231 edges, 78429 markings/sec, 1375 secs
lola: sara is running 1380 secs || 117873226 markings, 246726469 edges, 67878 markings/sec, 1380 secs
lola: sara is running 1385 secs || 118219045 markings, 247683790 edges, 69164 markings/sec, 1385 secs
lola: sara is running 1390 secs || 118597745 markings, 248623297 edges, 75740 markings/sec, 1390 secs
lola: sara is running 1395 secs || 118973805 markings, 249529307 edges, 75212 markings/sec, 1395 secs
lola: sara is running 1400 secs || 119341297 markings, 250480394 edges, 73498 markings/sec, 1400 secs
lola: sara is running 1405 secs || 119730539 markings, 251380569 edges, 77848 markings/sec, 1405 secs
lola: sara is running 1410 secs || 120079398 markings, 252362781 edges, 69772 markings/sec, 1410 secs
lola: sara is running 1415 secs || 120517518 markings, 253207012 edges, 87624 markings/sec, 1415 secs
lola: sara is running 1420 secs || 120933649 markings, 254104642 edges, 83226 markings/sec, 1420 secs
lola: sara is running 1425 secs || 121326632 markings, 255028321 edges, 78597 markings/sec, 1425 secs
lola: sara is running 1430 secs || 121798603 markings, 255844524 edges, 94394 markings/sec, 1430 secs
lola: sara is running 1435 secs || 122181416 markings, 256761085 edges, 76563 markings/sec, 1435 secs
lola: sara is running 1440 secs || 122571116 markings, 257671806 edges, 77940 markings/sec, 1440 secs
lola: sara is running 1445 secs || 122976432 markings, 258545535 edges, 81063 markings/sec, 1445 secs
lola: sara is running 1450 secs || 123374796 markings, 259458943 edges, 79673 markings/sec, 1450 secs
lola: sara is running 1455 secs || 123786865 markings, 260319088 edges, 82414 markings/sec, 1455 secs
lola: sara is running 1460 secs || 124149734 markings, 261277236 edges, 72574 markings/sec, 1460 secs
lola: sara is running 1465 secs || 124556003 markings, 262203515 edges, 81254 markings/sec, 1465 secs
lola: sara is running 1470 secs || 124949822 markings, 263107030 edges, 78764 markings/sec, 1470 secs
lola: sara is running 1475 secs || 125333110 markings, 264030721 edges, 76658 markings/sec, 1475 secs
lola: sara is running 1480 secs || 125727607 markings, 264939842 edges, 78899 markings/sec, 1480 secs
lola: sara is running 1485 secs || 126111012 markings, 265841603 edges, 76681 markings/sec, 1485 secs
lola: sara is running 1490 secs || 126489025 markings, 266782836 edges, 75603 markings/sec, 1490 secs
lola: sara is running 1495 secs || 126903132 markings, 267662379 edges, 82821 markings/sec, 1495 secs
lola: sara is running 1500 secs || 127270939 markings, 268591018 edges, 73561 markings/sec, 1500 secs
lola: sara is running 1505 secs || 127659260 markings, 269490723 edges, 77664 markings/sec, 1505 secs
lola: sara is running 1510 secs || 128034331 markings, 270423688 edges, 75014 markings/sec, 1510 secs
lola: sara is running 1515 secs || 128440534 markings, 271293147 edges, 81241 markings/sec, 1515 secs
lola: sara is running 1520 secs || 128864755 markings, 272125979 edges, 84844 markings/sec, 1520 secs
lola: sara is running 1525 secs || 129261737 markings, 273010788 edges, 79396 markings/sec, 1525 secs
lola: sara is running 1530 secs || 129661685 markings, 273902829 edges, 79990 markings/sec, 1530 secs
lola: sara is running 1535 secs || 130066424 markings, 274765469 edges, 80948 markings/sec, 1535 secs
lola: sara is running 1540 secs || 130498710 markings, 275628706 edges, 86457 markings/sec, 1540 secs
lola: sara is running 1545 secs || 130831860 markings, 276631492 edges, 66630 markings/sec, 1545 secs
lola: sara is running 1550 secs || 131184304 markings, 277589244 edges, 70489 markings/sec, 1550 secs
lola: sara is running 1555 secs || 131571573 markings, 278519740 edges, 77454 markings/sec, 1555 secs
lola: sara is running 1560 secs || 131920489 markings, 279499419 edges, 69783 markings/sec, 1560 secs
lola: sara is running 1565 secs || 132303560 markings, 280423676 edges, 76614 markings/sec, 1565 secs
lola: sara is running 1570 secs || 132689349 markings, 281343179 edges, 77158 markings/sec, 1570 secs
lola: sara is running 1575 secs || 133084451 markings, 282250665 edges, 79020 markings/sec, 1575 secs
lola: sara is running 1580 secs || 133417233 markings, 283238787 edges, 66556 markings/sec, 1580 secs
lola: sara is running 1585 secs || 133727082 markings, 284273659 edges, 61970 markings/sec, 1585 secs
lola: sara is running 1590 secs || 134018329 markings, 285307305 edges, 58249 markings/sec, 1590 secs
lola: sara is running 1595 secs || 134406176 markings, 286238032 edges, 77569 markings/sec, 1595 secs
lola: sara is running 1600 secs || 134801358 markings, 287156433 edges, 79036 markings/sec, 1600 secs
lola: sara is running 1605 secs || 135187160 markings, 288094740 edges, 77160 markings/sec, 1605 secs
lola: sara is running 1610 secs || 135592287 markings, 288987750 edges, 81025 markings/sec, 1610 secs
lola: sara is running 1615 secs || 135955854 markings, 289927943 edges, 72713 markings/sec, 1615 secs
lola: sara is running 1620 secs || 136351884 markings, 290652285 edges, 79206 markings/sec, 1620 secs
lola: sara is running 1625 secs || 136760889 markings, 291444473 edges, 81801 markings/sec, 1625 secs
lola: sara is running 1630 secs || 137153921 markings, 292275763 edges, 78606 markings/sec, 1630 secs
lola: sara is running 1635 secs || 137559529 markings, 293153038 edges, 81122 markings/sec, 1635 secs
lola: sara is running 1640 secs || 137908308 markings, 294097114 edges, 69756 markings/sec, 1640 secs
lola: sara is running 1645 secs || 138294846 markings, 295029320 edges, 77308 markings/sec, 1645 secs
lola: sara is running 1650 secs || 138679867 markings, 295949898 edges, 77004 markings/sec, 1650 secs
lola: sara is running 1655 secs || 139072714 markings, 296868497 edges, 78569 markings/sec, 1655 secs
lola: sara is running 1660 secs || 139430633 markings, 297824816 edges, 71584 markings/sec, 1660 secs
lola: sara is running 1665 secs || 139830363 markings, 298732051 edges, 79946 markings/sec, 1665 secs
lola: sara is running 1670 secs || 140233476 markings, 299590272 edges, 80623 markings/sec, 1670 secs
lola: sara is running 1675 secs || 140608804 markings, 300532280 edges, 75066 markings/sec, 1675 secs
lola: sara is running 1680 secs || 140999798 markings, 301460246 edges, 78199 markings/sec, 1680 secs
lola: sara is running 1685 secs || 141386780 markings, 302395486 edges, 77396 markings/sec, 1685 secs
lola: sara is running 1690 secs || 141780919 markings, 303308978 edges, 78828 markings/sec, 1690 secs
lola: sara is running 1695 secs || 142159042 markings, 304241886 edges, 75625 markings/sec, 1695 secs
lola: sara is running 1700 secs || 142544247 markings, 305165842 edges, 77041 markings/sec, 1700 secs
lola: sara is running 1705 secs || 142916337 markings, 306087500 edges, 74418 markings/sec, 1705 secs
lola: sara is running 1710 secs || 143285125 markings, 307042150 edges, 73758 markings/sec, 1710 secs
lola: sara is running 1715 secs || 143674389 markings, 307967340 edges, 77853 markings/sec, 1715 secs
lola: sara is running 1720 secs || 144071020 markings, 308883602 edges, 79326 markings/sec, 1720 secs
lola: sara is running 1725 secs || 144453790 markings, 309780901 edges, 76554 markings/sec, 1725 secs
lola: sara is running 1730 secs || 144815390 markings, 310671911 edges, 72320 markings/sec, 1730 secs
lola: sara is running 1735 secs || 145191298 markings, 311622428 edges, 75182 markings/sec, 1735 secs
lola: sara is running 1740 secs || 145577240 markings, 312542510 edges, 77188 markings/sec, 1740 secs
lola: sara is running 1745 secs || 145983173 markings, 313440111 edges, 81187 markings/sec, 1745 secs
lola: sara is running 1750 secs || 146364377 markings, 314379997 edges, 76241 markings/sec, 1750 secs
lola: sara is running 1755 secs || 146749570 markings, 315312361 edges, 77039 markings/sec, 1755 secs
lola: sara is running 1760 secs || 147108805 markings, 316196406 edges, 71847 markings/sec, 1760 secs
lola: sara is running 1765 secs || 147475080 markings, 317069870 edges, 73255 markings/sec, 1765 secs
lola: sara is running 1770 secs || 147837914 markings, 317948200 edges, 72567 markings/sec, 1770 secs
lola: sara is running 1775 secs || 148207020 markings, 318815406 edges, 73821 markings/sec, 1775 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes yes no no yes yes yes no yes yes yes no no unknown no
lola:
preliminary result: yes yes yes no no yes yes yes no yes yes yes no no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes no no yes yes yes no yes yes yes no no unknown no
lola: memory consumption: 5364696 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes no no yes yes yes no yes yes yes no no unknown no
lola: memory consumption: 5364932 KB
lola: time consumption: 3569 seconds

BK_STOP 1527995330494

--------------------
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="BusinessProcesses-PT-07"
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/BusinessProcesses-PT-07.tgz
mv BusinessProcesses-PT-07 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 BusinessProcesses-PT-07, 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 r268-smll-152749145500243"
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 ;