About the Execution of LoLA for Echo-PT-d03r03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.450 | 3235429.00 | 5595768.00 | 32943.00 | ?FFFTTTFFFFTTTFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.................
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 105 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 343 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 7 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 99K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Echo-PT-d03r03, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649937300453
=====================================================================
--------------------
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 Echo-PT-d03r03-ReachabilityCardinality-00
FORMULA_NAME Echo-PT-d03r03-ReachabilityCardinality-01
FORMULA_NAME Echo-PT-d03r03-ReachabilityCardinality-02
FORMULA_NAME Echo-PT-d03r03-ReachabilityCardinality-03
FORMULA_NAME Echo-PT-d03r03-ReachabilityCardinality-04
FORMULA_NAME Echo-PT-d03r03-ReachabilityCardinality-05
FORMULA_NAME Echo-PT-d03r03-ReachabilityCardinality-06
FORMULA_NAME Echo-PT-d03r03-ReachabilityCardinality-07
FORMULA_NAME Echo-PT-d03r03-ReachabilityCardinality-08
FORMULA_NAME Echo-PT-d03r03-ReachabilityCardinality-09
FORMULA_NAME Echo-PT-d03r03-ReachabilityCardinality-10
FORMULA_NAME Echo-PT-d03r03-ReachabilityCardinality-11
FORMULA_NAME Echo-PT-d03r03-ReachabilityCardinality-12
FORMULA_NAME Echo-PT-d03r03-ReachabilityCardinality-13
FORMULA_NAME Echo-PT-d03r03-ReachabilityCardinality-14
FORMULA_NAME Echo-PT-d03r03-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526753913992
info: Time: 3600 - MCC
===========================================================================================
prep: translating Echo-PT-d03r03 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: added safe information to the net based on GenericPropertiesVerdict
prep: check for too many tokens
===========================================================================================
prep: translating Echo-PT-d03r03 formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ Echo-PT-d03r03 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 471/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 265
lola: finding significant places
lola: 265 places, 206 transitions, 130 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 406 transition conflict sets
lola: TASK
lola: reading formula from Echo-PT-d03r03-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p124)
lola: LP says that atomic proposition is always false: (2 <= p159)
lola: LP says that atomic proposition is always false: (3 <= p156)
lola: LP says that atomic proposition is always false: (2 <= p14)
lola: LP says that atomic proposition is always false: (3 <= p117)
lola: LP says that atomic proposition is always false: (2 <= p38)
lola: LP says that atomic proposition is always false: (2 <= p150)
lola: LP says that atomic proposition is always false: (2 <= p148)
lola: LP says that atomic proposition is always false: (2 <= p184)
lola: LP says that atomic proposition is always false: (2 <= p222)
lola: LP says that atomic proposition is always false: (3 <= p168)
lola: LP says that atomic proposition is always false: (3 <= p180)
lola: LP says that atomic proposition is always false: (3 <= p234)
lola: LP says that atomic proposition is always false: (2 <= p3)
lola: LP says that atomic proposition is always false: (3 <= p82)
lola: LP says that atomic proposition is always false: (2 <= p158)
lola: LP says that atomic proposition is always false: (3 <= p39)
lola: LP says that atomic proposition is always false: (2 <= p234)
lola: LP says that atomic proposition is always false: (3 <= p237)
lola: LP says that atomic proposition is always false: (2 <= p190)
lola: E (F (((p265 <= 0) AND (p2 + 1 <= p213) AND (p216 <= p256)))) : E (F (())) : E (F (FALSE)) : E (F (FALSE)) : A (G (())) : A (G (TRUE)) : A (G (())) : E (F (())) : E (F (())) : E (F (())) : A (G ((((p208 <= p49) AND (p85 <= p141)) OR (p23 <= p154)))) : A (G (())) : A (G (())) : A (G (())) : E (F (FALSE)) : A (G (()))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 42 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Echo-PT-d03r03-ReachabilityCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 42 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Echo-PT-d03r03-ReachabilityCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 42 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Echo-PT-d03r03-ReachabilityCardinality-3 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: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 42 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Echo-PT-d03r03-ReachabilityCardinality-4 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: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 42 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Echo-PT-d03r03-ReachabilityCardinality-5 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: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 42 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
FORMULA Echo-PT-d03r03-ReachabilityCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 42 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Echo-PT-d03r03-ReachabilityCardinality-7 FALSE 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: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 42 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Echo-PT-d03r03-ReachabilityCardinality-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: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 42 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
FORMULA Echo-PT-d03r03-ReachabilityCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 510 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 42 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Echo-PT-d03r03-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 595 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 42 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Echo-PT-d03r03-ReachabilityCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 714 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 42 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Echo-PT-d03r03-ReachabilityCardinality-13 TRUE 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: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 42 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Echo-PT-d03r03-ReachabilityCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1190 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 42 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Echo-PT-d03r03-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1785 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p265 <= 0) AND (p2 + 1 <= p213) AND (p216 <= p256))))
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 (((p265 <= 0) AND (p2 + 1 <= p213) AND (p216 <= p256))))
lola: processed formula length: 61
lola: 43 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.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: ((p265 <= 0) AND (p2 + 1 <= p213) AND (p216 <= p256))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to Echo-PT-d03r03-ReachabilityCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file Echo-PT-d03r03-ReachabilityCardinality-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 1907458 markings, 2961560 edges, 381492 markings/sec, 0 secs
lola: sara is running 5 secs || 3498941 markings, 6057552 edges, 318297 markings/sec, 5 secs
lola: sara is running 10 secs || 5218167 markings, 9215416 edges, 343845 markings/sec, 10 secs
lola: sara is running 15 secs || 6852655 markings, 12361885 edges, 326898 markings/sec, 15 secs
lola: sara is running 20 secs || 8432206 markings, 15475917 edges, 315910 markings/sec, 20 secs
lola: sara is running 25 secs || 9977839 markings, 18557380 edges, 309127 markings/sec, 25 secs
lola: sara is running 30 secs || 11637669 markings, 21654803 edges, 331966 markings/sec, 30 secs
lola: sara is running 35 secs || 13335379 markings, 24788109 edges, 339542 markings/sec, 35 secs
lola: sara is running 40 secs || 14621528 markings, 28025312 edges, 257230 markings/sec, 40 secs
lola: sara is running 45 secs || 15802500 markings, 31172000 edges, 236194 markings/sec, 45 secs
lola: sara is running 50 secs || 17034441 markings, 34407775 edges, 246388 markings/sec, 50 secs
lola: sara is running 55 secs || 18265637 markings, 37544687 edges, 246239 markings/sec, 55 secs
lola: sara is running 60 secs || 19414974 markings, 40685572 edges, 229867 markings/sec, 60 secs
lola: sara is running 65 secs || 20909484 markings, 43863699 edges, 298902 markings/sec, 65 secs
lola: sara is running 70 secs || 22443882 markings, 46892513 edges, 306880 markings/sec, 70 secs
lola: sara is running 75 secs || 23922607 markings, 49859843 edges, 295745 markings/sec, 75 secs
lola: sara is running 80 secs || 25278468 markings, 52797823 edges, 271172 markings/sec, 80 secs
sara: warning, failure of lp_solve (at job 3577)
lola: sara is running 85 secs || 26717808 markings, 55737770 edges, 287868 markings/sec, 85 secs
lola: sara is running 90 secs || 28125624 markings, 58744498 edges, 281563 markings/sec, 90 secs
lola: sara is running 95 secs || 29522781 markings, 61745454 edges, 279431 markings/sec, 95 secs
lola: sara is running 100 secs || 30860705 markings, 64716172 edges, 267585 markings/sec, 100 secs
lola: sara is running 105 secs || 32168626 markings, 67621911 edges, 261584 markings/sec, 105 secs
lola: sara is running 110 secs || 33480801 markings, 70549371 edges, 262435 markings/sec, 110 secs
lola: sara is running 115 secs || 34860578 markings, 73532603 edges, 275955 markings/sec, 115 secs
lola: sara is running 120 secs || 36114835 markings, 76426070 edges, 250851 markings/sec, 120 secs
lola: sara is running 125 secs || 37492664 markings, 79399629 edges, 275566 markings/sec, 125 secs
lola: sara is running 130 secs || 38687799 markings, 82316626 edges, 239027 markings/sec, 130 secs
lola: sara is running 135 secs || 39765728 markings, 85146438 edges, 215586 markings/sec, 135 secs
lola: sara is running 140 secs || 40863255 markings, 88177249 edges, 219505 markings/sec, 140 secs
lola: sara is running 145 secs || 42280427 markings, 91088910 edges, 283434 markings/sec, 145 secs
lola: sara is running 150 secs || 43532058 markings, 94039784 edges, 250326 markings/sec, 150 secs
lola: sara is running 155 secs || 44756038 markings, 97011704 edges, 244796 markings/sec, 155 secs
lola: sara is running 160 secs || 45847239 markings, 99938000 edges, 218240 markings/sec, 160 secs
lola: sara is running 165 secs || 46896679 markings, 102776145 edges, 209888 markings/sec, 165 secs
lola: sara is running 170 secs || 48067977 markings, 105742373 edges, 234260 markings/sec, 170 secs
lola: sara is running 175 secs || 49156250 markings, 108666681 edges, 217655 markings/sec, 175 secs
lola: sara is running 180 secs || 50378236 markings, 111603658 edges, 244397 markings/sec, 180 secs
lola: sara is running 185 secs || 51624145 markings, 114515409 edges, 249182 markings/sec, 185 secs
lola: sara is running 190 secs || 53041475 markings, 117489520 edges, 283466 markings/sec, 190 secs
lola: sara is running 195 secs || 54450456 markings, 120508457 edges, 281796 markings/sec, 195 secs
lola: sara is running 200 secs || 55743956 markings, 123500325 edges, 258700 markings/sec, 200 secs
lola: sara is running 205 secs || 57290837 markings, 126515390 edges, 309376 markings/sec, 205 secs
lola: sara is running 210 secs || 58772106 markings, 129570228 edges, 296254 markings/sec, 210 secs
lola: sara is running 215 secs || 60206947 markings, 132616987 edges, 286968 markings/sec, 215 secs
lola: sara is running 220 secs || 61645306 markings, 135672180 edges, 287672 markings/sec, 220 secs
lola: sara is running 225 secs || 63089075 markings, 138720186 edges, 288754 markings/sec, 225 secs
lola: sara is running 230 secs || 64497445 markings, 141759168 edges, 281674 markings/sec, 230 secs
lola: sara is running 235 secs || 65902450 markings, 144806501 edges, 281001 markings/sec, 235 secs
lola: sara is running 240 secs || 67515821 markings, 147737195 edges, 322674 markings/sec, 240 secs
lola: sara is running 245 secs || 68821507 markings, 150731870 edges, 261137 markings/sec, 245 secs
lola: sara is running 250 secs || 70348553 markings, 153725142 edges, 305409 markings/sec, 250 secs
lola: sara is running 255 secs || 71767435 markings, 156703388 edges, 283776 markings/sec, 255 secs
lola: sara is running 260 secs || 72944536 markings, 159481999 edges, 235420 markings/sec, 260 secs
lola: sara is running 265 secs || 73956192 markings, 162420973 edges, 202331 markings/sec, 265 secs
lola: sara is running 270 secs || 75313444 markings, 165204777 edges, 271450 markings/sec, 270 secs
lola: sara is running 275 secs || 76791657 markings, 168055101 edges, 295643 markings/sec, 275 secs
lola: sara is running 280 secs || 78167430 markings, 170886597 edges, 275155 markings/sec, 280 secs
lola: sara is running 285 secs || 79467074 markings, 173813075 edges, 259929 markings/sec, 285 secs
lola: sara is running 290 secs || 80822416 markings, 176755551 edges, 271068 markings/sec, 290 secs
lola: sara is running 295 secs || 82059233 markings, 179725797 edges, 247363 markings/sec, 295 secs
lola: sara is running 300 secs || 83393277 markings, 182674487 edges, 266809 markings/sec, 300 secs
lola: sara is running 305 secs || 84664919 markings, 185633824 edges, 254328 markings/sec, 305 secs
lola: sara is running 310 secs || 85925963 markings, 188576749 edges, 252209 markings/sec, 310 secs
lola: sara is running 315 secs || 87141536 markings, 191465987 edges, 243115 markings/sec, 315 secs
lola: sara is running 320 secs || 88373148 markings, 194337745 edges, 246322 markings/sec, 320 secs
lola: sara is running 325 secs || 89637657 markings, 197280372 edges, 252902 markings/sec, 325 secs
lola: sara is running 330 secs || 90985398 markings, 200260559 edges, 269548 markings/sec, 330 secs
lola: sara is running 335 secs || 92276957 markings, 203192755 edges, 258312 markings/sec, 335 secs
lola: sara is running 340 secs || 93544920 markings, 206077600 edges, 253593 markings/sec, 340 secs
lola: sara is running 345 secs || 94787509 markings, 209041322 edges, 248518 markings/sec, 345 secs
lola: sara is running 350 secs || 96082071 markings, 211979955 edges, 258912 markings/sec, 350 secs
lola: sara is running 355 secs || 97405189 markings, 214895557 edges, 264624 markings/sec, 355 secs
lola: sara is running 360 secs || 98646847 markings, 217772817 edges, 248332 markings/sec, 360 secs
lola: sara is running 365 secs || 99686000 markings, 220621931 edges, 207831 markings/sec, 365 secs
lola: sara is running 370 secs || 101075668 markings, 223479006 edges, 277934 markings/sec, 370 secs
lola: sara is running 375 secs || 102153809 markings, 226443136 edges, 215628 markings/sec, 375 secs
lola: sara is running 380 secs || 103258612 markings, 229404348 edges, 220961 markings/sec, 380 secs
lola: sara is running 385 secs || 104043158 markings, 232482097 edges, 156909 markings/sec, 385 secs
lola: sara is running 390 secs || 104939049 markings, 235491209 edges, 179178 markings/sec, 390 secs
lola: sara is running 395 secs || 106299770 markings, 238240605 edges, 272144 markings/sec, 395 secs
lola: sara is running 400 secs || 107671588 markings, 241042189 edges, 274364 markings/sec, 400 secs
lola: sara is running 405 secs || 109047495 markings, 243910296 edges, 275181 markings/sec, 405 secs
lola: sara is running 410 secs || 110391894 markings, 246822155 edges, 268880 markings/sec, 410 secs
lola: sara is running 415 secs || 111455185 markings, 249840405 edges, 212658 markings/sec, 415 secs
lola: sara is running 420 secs || 112731654 markings, 252740369 edges, 255294 markings/sec, 420 secs
lola: sara is running 425 secs || 113717973 markings, 255723467 edges, 197264 markings/sec, 425 secs
lola: sara is running 430 secs || 114888518 markings, 258647595 edges, 234109 markings/sec, 430 secs
lola: sara is running 435 secs || 115952910 markings, 261544588 edges, 212878 markings/sec, 435 secs
lola: sara is running 440 secs || 117009865 markings, 264438697 edges, 211391 markings/sec, 440 secs
lola: sara is running 445 secs || 118038624 markings, 267299936 edges, 205752 markings/sec, 445 secs
lola: sara is running 450 secs || 119044574 markings, 270115357 edges, 201190 markings/sec, 450 secs
lola: sara is running 455 secs || 120056679 markings, 272943475 edges, 202421 markings/sec, 455 secs
lola: sara is running 460 secs || 121100825 markings, 275870395 edges, 208829 markings/sec, 460 secs
lola: sara is running 465 secs || 122187320 markings, 278818216 edges, 217299 markings/sec, 465 secs
lola: sara is running 470 secs || 123295562 markings, 281726674 edges, 221648 markings/sec, 470 secs
lola: sara is running 475 secs || 124438316 markings, 284549904 edges, 228551 markings/sec, 475 secs
lola: sara is running 480 secs || 125423112 markings, 287518451 edges, 196959 markings/sec, 480 secs
lola: sara is running 485 secs || 126535414 markings, 290423514 edges, 222460 markings/sec, 485 secs
lola: sara is running 490 secs || 127656220 markings, 293325442 edges, 224161 markings/sec, 490 secs
lola: sara is running 495 secs || 128789316 markings, 296144683 edges, 226619 markings/sec, 495 secs
lola: sara is running 500 secs || 129964612 markings, 298973203 edges, 235059 markings/sec, 500 secs
lola: sara is running 505 secs || 131354137 markings, 301836446 edges, 277905 markings/sec, 505 secs
lola: sara is running 510 secs || 132857241 markings, 304798811 edges, 300621 markings/sec, 510 secs
lola: sara is running 515 secs || 133990737 markings, 307763628 edges, 226699 markings/sec, 515 secs
lola: sara is running 520 secs || 135052236 markings, 310720905 edges, 212300 markings/sec, 520 secs
lola: sara is running 525 secs || 136070220 markings, 313756795 edges, 203597 markings/sec, 525 secs
lola: sara is running 530 secs || 137197525 markings, 316765682 edges, 225461 markings/sec, 530 secs
lola: sara is running 535 secs || 138327771 markings, 319698421 edges, 226049 markings/sec, 535 secs
lola: sara is running 540 secs || 139417095 markings, 322629015 edges, 217865 markings/sec, 540 secs
lola: sara is running 545 secs || 140487538 markings, 325563146 edges, 214089 markings/sec, 545 secs
lola: sara is running 550 secs || 141642906 markings, 328541734 edges, 231074 markings/sec, 550 secs
lola: sara is running 555 secs || 142774415 markings, 331467462 edges, 226302 markings/sec, 555 secs
lola: sara is running 560 secs || 143936257 markings, 334456913 edges, 232368 markings/sec, 560 secs
lola: sara is running 565 secs || 145082404 markings, 337413808 edges, 229229 markings/sec, 565 secs
lola: sara is running 570 secs || 146197422 markings, 340338264 edges, 223004 markings/sec, 570 secs
lola: sara is running 575 secs || 147603606 markings, 343282128 edges, 281237 markings/sec, 575 secs
lola: sara is running 580 secs || 148604281 markings, 346152647 edges, 200135 markings/sec, 580 secs
lola: sara is running 585 secs || 149843676 markings, 349135618 edges, 247879 markings/sec, 585 secs
lola: sara is running 590 secs || 150941178 markings, 352099253 edges, 219500 markings/sec, 590 secs
lola: sara is running 595 secs || 151997864 markings, 355009360 edges, 211337 markings/sec, 595 secs
lola: sara is running 600 secs || 153191883 markings, 357965700 edges, 238804 markings/sec, 600 secs
lola: sara is running 605 secs || 154367007 markings, 360932987 edges, 235025 markings/sec, 605 secs
lola: sara is running 610 secs || 155644905 markings, 363820496 edges, 255580 markings/sec, 610 secs
lola: sara is running 615 secs || 156900249 markings, 366666057 edges, 251069 markings/sec, 615 secs
lola: sara is running 620 secs || 157913063 markings, 369669051 edges, 202563 markings/sec, 620 secs
lola: sara is running 625 secs || 159077803 markings, 372653207 edges, 232948 markings/sec, 625 secs
lola: sara is running 630 secs || 160150674 markings, 375583246 edges, 214574 markings/sec, 630 secs
lola: sara is running 635 secs || 161349082 markings, 378552028 edges, 239682 markings/sec, 635 secs
lola: sara is running 640 secs || 162506100 markings, 381445256 edges, 231404 markings/sec, 640 secs
lola: sara is running 645 secs || 163382766 markings, 384279275 edges, 175333 markings/sec, 645 secs
lola: sara is running 650 secs || 164360409 markings, 387234830 edges, 195529 markings/sec, 650 secs
lola: sara is running 655 secs || 165275910 markings, 390194107 edges, 183100 markings/sec, 655 secs
lola: sara is running 660 secs || 166143821 markings, 393056125 edges, 173582 markings/sec, 660 secs
lola: sara is running 665 secs || 167016234 markings, 396015016 edges, 174483 markings/sec, 665 secs
lola: sara is running 670 secs || 168194463 markings, 398950184 edges, 235646 markings/sec, 670 secs
lola: sara is running 675 secs || 169613561 markings, 401956231 edges, 283820 markings/sec, 675 secs
lola: sara is running 680 secs || 171034935 markings, 405051240 edges, 284275 markings/sec, 680 secs
lola: sara is running 685 secs || 172571193 markings, 408131753 edges, 307252 markings/sec, 685 secs
lola: sara is running 690 secs || 173632711 markings, 411264109 edges, 212304 markings/sec, 690 secs
lola: sara is running 695 secs || 174703139 markings, 414340538 edges, 214086 markings/sec, 695 secs
lola: sara is running 700 secs || 176066564 markings, 417406798 edges, 272685 markings/sec, 700 secs
lola: sara is running 705 secs || 177489027 markings, 420256808 edges, 284493 markings/sec, 705 secs
lola: sara is running 710 secs || 178921299 markings, 423129395 edges, 286454 markings/sec, 710 secs
lola: sara is running 715 secs || 180354758 markings, 426039973 edges, 286692 markings/sec, 715 secs
lola: sara is running 720 secs || 181809926 markings, 428970319 edges, 291034 markings/sec, 720 secs
lola: sara is running 725 secs || 183175550 markings, 431756216 edges, 273125 markings/sec, 725 secs
lola: sara is running 730 secs || 184635462 markings, 434648342 edges, 291982 markings/sec, 730 secs
lola: sara is running 735 secs || 185949481 markings, 437428498 edges, 262804 markings/sec, 735 secs
lola: sara is running 740 secs || 187163564 markings, 440207324 edges, 242817 markings/sec, 740 secs
lola: sara is running 745 secs || 188150999 markings, 442982160 edges, 197487 markings/sec, 745 secs
lola: sara is running 750 secs || 189483406 markings, 445729741 edges, 266481 markings/sec, 750 secs
lola: sara is running 755 secs || 190947751 markings, 448581211 edges, 292869 markings/sec, 755 secs
lola: sara is running 760 secs || 192239230 markings, 451473295 edges, 258296 markings/sec, 760 secs
lola: sara is running 765 secs || 193422519 markings, 454179653 edges, 236658 markings/sec, 765 secs
lola: sara is running 770 secs || 194758655 markings, 456846544 edges, 267227 markings/sec, 770 secs
lola: sara is running 775 secs || 196012018 markings, 459644491 edges, 250673 markings/sec, 775 secs
lola: sara is running 780 secs || 197544530 markings, 462402701 edges, 306502 markings/sec, 780 secs
lola: sara is running 785 secs || 198742006 markings, 465279742 edges, 239495 markings/sec, 785 secs
lola: sara is running 790 secs || 200090626 markings, 468038494 edges, 269724 markings/sec, 790 secs
lola: sara is running 795 secs || 201422007 markings, 470895011 edges, 266276 markings/sec, 795 secs
lola: sara is running 800 secs || 202969088 markings, 473919820 edges, 309416 markings/sec, 800 secs
lola: sara is running 805 secs || 204572427 markings, 476962053 edges, 320668 markings/sec, 805 secs
lola: sara is running 810 secs || 205999787 markings, 480010450 edges, 285472 markings/sec, 810 secs
lola: sara is running 815 secs || 207393757 markings, 483039936 edges, 278794 markings/sec, 815 secs
lola: sara is running 820 secs || 208806045 markings, 486055039 edges, 282458 markings/sec, 820 secs
lola: sara is running 825 secs || 210205780 markings, 489114047 edges, 279947 markings/sec, 825 secs
lola: sara is running 830 secs || 211579073 markings, 492137603 edges, 274659 markings/sec, 830 secs
lola: sara is running 835 secs || 212987437 markings, 495132979 edges, 281673 markings/sec, 835 secs
lola: sara is running 840 secs || 214348766 markings, 498063209 edges, 272266 markings/sec, 840 secs
lola: sara is running 845 secs || 215701127 markings, 500948106 edges, 270472 markings/sec, 845 secs
lola: sara is running 850 secs || 217056704 markings, 503843079 edges, 271115 markings/sec, 850 secs
lola: sara is running 855 secs || 218386142 markings, 506697670 edges, 265888 markings/sec, 855 secs
lola: sara is running 860 secs || 219717253 markings, 509582697 edges, 266222 markings/sec, 860 secs
lola: sara is running 865 secs || 221042517 markings, 512446688 edges, 265053 markings/sec, 865 secs
lola: sara is running 870 secs || 222367476 markings, 515291967 edges, 264992 markings/sec, 870 secs
lola: sara is running 875 secs || 223708486 markings, 518161373 edges, 268202 markings/sec, 875 secs
lola: sara is running 880 secs || 225074272 markings, 521224672 edges, 273157 markings/sec, 880 secs
lola: sara is running 885 secs || 226349848 markings, 524292336 edges, 255115 markings/sec, 885 secs
lola: sara is running 890 secs || 227785811 markings, 527338621 edges, 287193 markings/sec, 890 secs
lola: sara is running 895 secs || 229474926 markings, 530368746 edges, 337823 markings/sec, 895 secs
lola: sara is running 900 secs || 230853755 markings, 533417926 edges, 275766 markings/sec, 900 secs
lola: sara is running 905 secs || 232416064 markings, 536421208 edges, 312462 markings/sec, 905 secs
lola: sara is running 910 secs || 233845999 markings, 539472091 edges, 285987 markings/sec, 910 secs
lola: sara is running 915 secs || 235280368 markings, 542452076 edges, 286874 markings/sec, 915 secs
lola: sara is running 920 secs || 236877580 markings, 545409063 edges, 319442 markings/sec, 920 secs
lola: sara is running 925 secs || 238100847 markings, 548405956 edges, 244653 markings/sec, 925 secs
lola: sara is running 930 secs || 239480351 markings, 551459171 edges, 275901 markings/sec, 930 secs
lola: sara is running 935 secs || 240769037 markings, 554505569 edges, 257737 markings/sec, 935 secs
lola: sara is running 940 secs || 242169797 markings, 557495653 edges, 280152 markings/sec, 940 secs
lola: sara is running 945 secs || 243801002 markings, 560487518 edges, 326241 markings/sec, 945 secs
lola: sara is running 950 secs || 245148455 markings, 563481120 edges, 269491 markings/sec, 950 secs
lola: sara is running 955 secs || 246764573 markings, 566430948 edges, 323224 markings/sec, 955 secs
lola: sara is running 960 secs || 248155966 markings, 569465325 edges, 278279 markings/sec, 960 secs
lola: sara is running 965 secs || 249624914 markings, 572452155 edges, 293790 markings/sec, 965 secs
lola: sara is running 970 secs || 251169744 markings, 575396615 edges, 308966 markings/sec, 970 secs
lola: sara is running 975 secs || 252371372 markings, 578368286 edges, 240326 markings/sec, 975 secs
lola: sara is running 980 secs || 253519689 markings, 581370867 edges, 229663 markings/sec, 980 secs
lola: sara is running 985 secs || 254496071 markings, 584432307 edges, 195276 markings/sec, 985 secs
lola: sara is running 990 secs || 255541831 markings, 587524526 edges, 209152 markings/sec, 990 secs
lola: sara is running 995 secs || 256431230 markings, 590186412 edges, 177880 markings/sec, 995 secs
lola: sara is running 1000 secs || 257184338 markings, 592900133 edges, 150622 markings/sec, 1000 secs
lola: sara is running 1005 secs || 257832633 markings, 595700863 edges, 129659 markings/sec, 1005 secs
lola: sara is running 1010 secs || 258952045 markings, 598511983 edges, 223882 markings/sec, 1010 secs
lola: sara is running 1015 secs || 260273439 markings, 601301556 edges, 264279 markings/sec, 1015 secs
lola: sara is running 1020 secs || 261621426 markings, 604086963 edges, 269597 markings/sec, 1020 secs
lola: sara is running 1025 secs || 263122425 markings, 607015645 edges, 300200 markings/sec, 1025 secs
lola: sara is running 1030 secs || 264453648 markings, 609826038 edges, 266245 markings/sec, 1030 secs
lola: sara is running 1035 secs || 265826662 markings, 612680837 edges, 274603 markings/sec, 1035 secs
lola: sara is running 1040 secs || 266956442 markings, 615432456 edges, 225956 markings/sec, 1040 secs
lola: sara is running 1045 secs || 267858552 markings, 618146904 edges, 180422 markings/sec, 1045 secs
lola: sara is running 1050 secs || 269245992 markings, 621048026 edges, 277488 markings/sec, 1050 secs
lola: sara is running 1055 secs || 270653093 markings, 624007644 edges, 281420 markings/sec, 1055 secs
lola: sara is running 1060 secs || 271636601 markings, 627066665 edges, 196702 markings/sec, 1060 secs
lola: sara is running 1065 secs || 272543379 markings, 630079775 edges, 181356 markings/sec, 1065 secs
lola: sara is running 1070 secs || 273595370 markings, 632947194 edges, 210398 markings/sec, 1070 secs
lola: sara is running 1075 secs || 275266165 markings, 635993778 edges, 334159 markings/sec, 1075 secs
lola: sara is running 1080 secs || 276627992 markings, 639118698 edges, 272365 markings/sec, 1080 secs
lola: sara is running 1085 secs || 277670766 markings, 642181274 edges, 208555 markings/sec, 1085 secs
lola: sara is running 1090 secs || 278614350 markings, 645082460 edges, 188717 markings/sec, 1090 secs
lola: sara is running 1095 secs || 279898375 markings, 648011758 edges, 256805 markings/sec, 1095 secs
lola: sara is running 1100 secs || 281701559 markings, 651081125 edges, 360637 markings/sec, 1100 secs
lola: sara is running 1105 secs || 282706118 markings, 654038133 edges, 200912 markings/sec, 1105 secs
lola: sara is running 1110 secs || 283721619 markings, 657006823 edges, 203100 markings/sec, 1110 secs
lola: sara is running 1115 secs || 284717343 markings, 659961150 edges, 199145 markings/sec, 1115 secs
lola: sara is running 1120 secs || 285695651 markings, 662873738 edges, 195662 markings/sec, 1120 secs
lola: sara is running 1125 secs || 286706821 markings, 665780387 edges, 202234 markings/sec, 1125 secs
lola: sara is running 1130 secs || 287697945 markings, 668681848 edges, 198225 markings/sec, 1130 secs
lola: sara is running 1135 secs || 288674746 markings, 671601793 edges, 195360 markings/sec, 1135 secs
lola: sara is running 1140 secs || 289646300 markings, 674427061 edges, 194311 markings/sec, 1140 secs
lola: sara is running 1145 secs || 290611210 markings, 677277198 edges, 192982 markings/sec, 1145 secs
lola: sara is running 1150 secs || 291576096 markings, 680128309 edges, 192977 markings/sec, 1150 secs
lola: sara is running 1155 secs || 292506501 markings, 682927013 edges, 186081 markings/sec, 1155 secs
lola: sara is running 1160 secs || 293486509 markings, 685751183 edges, 196002 markings/sec, 1160 secs
lola: sara is running 1165 secs || 294448199 markings, 688547739 edges, 192338 markings/sec, 1165 secs
lola: sara is running 1170 secs || 295420460 markings, 691377312 edges, 194452 markings/sec, 1170 secs
lola: sara is running 1175 secs || 296322925 markings, 694404462 edges, 180493 markings/sec, 1175 secs
lola: sara is running 1180 secs || 297351324 markings, 697373725 edges, 205680 markings/sec, 1180 secs
lola: sara is running 1185 secs || 298339113 markings, 700339253 edges, 197558 markings/sec, 1185 secs
lola: sara is running 1190 secs || 300127272 markings, 703405831 edges, 357632 markings/sec, 1190 secs
lola: sara is running 1195 secs || 301338190 markings, 706429955 edges, 242184 markings/sec, 1195 secs
lola: sara is running 1200 secs || 302396217 markings, 709348438 edges, 211605 markings/sec, 1200 secs
lola: sara is running 1205 secs || 304253149 markings, 712389470 edges, 371386 markings/sec, 1205 secs
lola: sara is running 1210 secs || 305301393 markings, 715420837 edges, 209649 markings/sec, 1210 secs
lola: sara is running 1215 secs || 306098511 markings, 717645683 edges, 159424 markings/sec, 1215 secs
lola: sara is running 1220 secs || 306205222 markings, 717808822 edges, 21342 markings/sec, 1220 secs
lola: sara is running 1225 secs || 306300667 markings, 717968278 edges, 19089 markings/sec, 1225 secs
lola: sara is running 1230 secs || 306318085 markings, 717992089 edges, 3484 markings/sec, 1230 secs
lola: sara is running 1235 secs || 306382320 markings, 718095130 edges, 12847 markings/sec, 1235 secs
lola: sara is running 1240 secs || 308062053 markings, 720851449 edges, 335947 markings/sec, 1240 secs
lola: sara is running 1245 secs || 309185574 markings, 723987706 edges, 224704 markings/sec, 1245 secs
lola: sara is running 1250 secs || 310168027 markings, 727185091 edges, 196491 markings/sec, 1250 secs
lola: sara is running 1255 secs || 311138986 markings, 730321569 edges, 194192 markings/sec, 1255 secs
lola: sara is running 1260 secs || 312192748 markings, 733438776 edges, 210752 markings/sec, 1260 secs
lola: sara is running 1265 secs || 313259868 markings, 736487468 edges, 213424 markings/sec, 1265 secs
lola: sara is running 1270 secs || 315204919 markings, 739657879 edges, 389010 markings/sec, 1270 secs
lola: sara is running 1275 secs || 316255564 markings, 742784286 edges, 210129 markings/sec, 1275 secs
lola: sara is running 1280 secs || 317616188 markings, 745829054 edges, 272125 markings/sec, 1280 secs
lola: sara is running 1285 secs || 319339467 markings, 748953688 edges, 344656 markings/sec, 1285 secs
lola: sara is running 1290 secs || 320304497 markings, 751955631 edges, 193006 markings/sec, 1290 secs
lola: sara is running 1295 secs || 321918509 markings, 755079863 edges, 322802 markings/sec, 1295 secs
lola: sara is running 1300 secs || 323450573 markings, 758216817 edges, 306413 markings/sec, 1300 secs
lola: sara is running 1305 secs || 324454739 markings, 761398311 edges, 200833 markings/sec, 1305 secs
lola: sara is running 1310 secs || 325422327 markings, 764553384 edges, 193518 markings/sec, 1310 secs
lola: sara is running 1315 secs || 326332768 markings, 767760649 edges, 182088 markings/sec, 1315 secs
lola: sara is running 1320 secs || 327270075 markings, 771020561 edges, 187461 markings/sec, 1320 secs
lola: sara is running 1325 secs || 328542672 markings, 774215441 edges, 254519 markings/sec, 1325 secs
lola: sara is running 1330 secs || 329733604 markings, 777430445 edges, 238186 markings/sec, 1330 secs
lola: sara is running 1335 secs || 330723961 markings, 780578357 edges, 198071 markings/sec, 1335 secs
lola: sara is running 1340 secs || 331900853 markings, 783684643 edges, 235378 markings/sec, 1340 secs
lola: sara is running 1345 secs || 333102388 markings, 786909581 edges, 240307 markings/sec, 1345 secs
lola: sara is running 1350 secs || 334363472 markings, 790095456 edges, 252217 markings/sec, 1350 secs
lola: sara is running 1355 secs || 335354935 markings, 793268747 edges, 198293 markings/sec, 1355 secs
lola: sara is running 1360 secs || 336487890 markings, 796282006 edges, 226591 markings/sec, 1360 secs
lola: sara is running 1365 secs || 338167096 markings, 799442299 edges, 335841 markings/sec, 1365 secs
lola: sara is running 1370 secs || 339749833 markings, 802650565 edges, 316547 markings/sec, 1370 secs
lola: sara is running 1375 secs || 341033500 markings, 805842880 edges, 256733 markings/sec, 1375 secs
lola: sara is running 1380 secs || 342230521 markings, 809018531 edges, 239404 markings/sec, 1380 secs
lola: sara is running 1385 secs || 343214357 markings, 812150485 edges, 196767 markings/sec, 1385 secs
lola: sara is running 1390 secs || 344408144 markings, 815184514 edges, 238757 markings/sec, 1390 secs
lola: sara is running 1395 secs || 346159943 markings, 818340914 edges, 350360 markings/sec, 1395 secs
lola: sara is running 1400 secs || 347747782 markings, 821540229 edges, 317568 markings/sec, 1400 secs
lola: sara is running 1405 secs || 348904711 markings, 824676998 edges, 231386 markings/sec, 1405 secs
lola: sara is running 1410 secs || 350024342 markings, 827772251 edges, 223926 markings/sec, 1410 secs
lola: sara is running 1415 secs || 351195126 markings, 830858631 edges, 234157 markings/sec, 1415 secs
lola: sara is running 1420 secs || 352356967 markings, 834013859 edges, 232368 markings/sec, 1420 secs
lola: sara is running 1425 secs || 353523610 markings, 837183687 edges, 233329 markings/sec, 1425 secs
lola: sara is running 1430 secs || 354724818 markings, 840324673 edges, 240242 markings/sec, 1430 secs
lola: sara is running 1435 secs || 355879596 markings, 843426568 edges, 230956 markings/sec, 1435 secs
lola: sara is running 1440 secs || 357026503 markings, 846530971 edges, 229381 markings/sec, 1440 secs
lola: sara is running 1445 secs || 358141625 markings, 849614138 edges, 223024 markings/sec, 1445 secs
lola: sara is running 1450 secs || 359271045 markings, 852607561 edges, 225884 markings/sec, 1450 secs
lola: sara is running 1455 secs || 360384952 markings, 855641190 edges, 222781 markings/sec, 1455 secs
lola: sara is running 1460 secs || 361528209 markings, 858663415 edges, 228651 markings/sec, 1460 secs
lola: sara is running 1465 secs || 362642423 markings, 861623760 edges, 222843 markings/sec, 1465 secs
lola: sara is running 1470 secs || 363731248 markings, 864600302 edges, 217765 markings/sec, 1470 secs
lola: sara is running 1475 secs || 364820599 markings, 867616088 edges, 217870 markings/sec, 1475 secs
lola: sara is running 1480 secs || 365941687 markings, 870591717 edges, 224218 markings/sec, 1480 secs
lola: sara is running 1485 secs || 367040158 markings, 873585476 edges, 219694 markings/sec, 1485 secs
lola: sara is running 1490 secs || 368191457 markings, 876584490 edges, 230260 markings/sec, 1490 secs
lola: sara is running 1495 secs || 369268726 markings, 879643986 edges, 215454 markings/sec, 1495 secs
lola: sara is running 1500 secs || 370344285 markings, 882789355 edges, 215112 markings/sec, 1500 secs
lola: sara is running 1505 secs || 371493102 markings, 885909750 edges, 229763 markings/sec, 1505 secs
lola: sara is running 1510 secs || 372578948 markings, 889007481 edges, 217169 markings/sec, 1510 secs
lola: sara is running 1515 secs || 373963270 markings, 892100424 edges, 276864 markings/sec, 1515 secs
lola: sara is running 1520 secs || 375849530 markings, 895288952 edges, 377252 markings/sec, 1520 secs
lola: sara is running 1525 secs || 376713743 markings, 897553032 edges, 172843 markings/sec, 1525 secs
lola: sara is running 1530 secs || 376915548 markings, 898132417 edges, 40361 markings/sec, 1530 secs
lola: sara is running 1535 secs || 376927943 markings, 898164130 edges, 2479 markings/sec, 1535 secs
lola: sara is running 1540 secs || 376938848 markings, 898190891 edges, 2181 markings/sec, 1540 secs
lola: sara is running 1545 secs || 376945984 markings, 898210285 edges, 1427 markings/sec, 1545 secs
lola: sara is running 1550 secs || 376955283 markings, 898236264 edges, 1860 markings/sec, 1550 secs
lola: sara is running 1555 secs || 376977011 markings, 898283134 edges, 4346 markings/sec, 1555 secs
lola: sara is running 1560 secs || 376986825 markings, 898310038 edges, 1963 markings/sec, 1560 secs
lola: sara is running 1565 secs || 376993651 markings, 898325885 edges, 1365 markings/sec, 1565 secs
lola: sara is running 1570 secs || 377003991 markings, 898351432 edges, 2068 markings/sec, 1570 secs
lola: sara is running 1575 secs || 377010815 markings, 898373030 edges, 1365 markings/sec, 1575 secs
lola: sara is running 1580 secs || 377015767 markings, 898385482 edges, 990 markings/sec, 1580 secs
lola: sara is running 1585 secs || 377021118 markings, 898397170 edges, 1070 markings/sec, 1585 secs
lola: sara is running 1590 secs || 377029549 markings, 898416311 edges, 1686 markings/sec, 1590 secs
lola: sara is running 1595 secs || 377040364 markings, 898438438 edges, 2163 markings/sec, 1595 secs
lola: sara is running 1600 secs || 377057994 markings, 898477223 edges, 3526 markings/sec, 1600 secs
lola: sara is running 1605 secs || 377059810 markings, 898481163 edges, 363 markings/sec, 1605 secs
lola: sara is running 1610 secs || 377070750 markings, 898503541 edges, 2188 markings/sec, 1610 secs
lola: sara is running 1615 secs || 377079669 markings, 898523625 edges, 1784 markings/sec, 1615 secs
lola: sara is running 1620 secs || 377092041 markings, 898554275 edges, 2474 markings/sec, 1620 secs
lola: sara is running 1625 secs || 377112270 markings, 898618644 edges, 4046 markings/sec, 1625 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1933 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p208 <= p49) AND (p85 <= p141)) OR (p23 <= p154))))
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 ((((p208 <= p49) AND (p85 <= p141)) OR (p23 <= p154))))
lola: processed formula length: 61
lola: 44 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 12 markings, 11 edges
lola: formula 0: (((p49 + 1 <= p208) OR (p141 + 1 <= p85)) AND (p154 + 1 <= p23))
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to Echo-PT-d03r03-ReachabilityCardinality-15-0.sara
lola: ========================================
lola: state equation: calling and running sara
FORMULA Echo-PT-d03r03-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F (((p265 <= 0) AND (p2 + 1 <= p213) AND (p216 <= p256))))
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 (((p265 <= 0) AND (p2 + 1 <= p213) AND (p216 <= p256))))
lola: processed formula length: 61
lola: 43 rewrites
lola: closed formula file Echo-PT-d03r03-ReachabilityCardinality.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: ((p265 <= 0) AND (p2 + 1 <= p213) AND (p216 <= p256))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to Echo-PT-d03r03-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file Echo-PT-d03r03-ReachabilityCardinality-16-0.sara.
sara: try reading problem file Echo-PT-d03r03-ReachabilityCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 2129664 markings, 3327528 edges, 425933 markings/sec, 0 secs
lola: sara is running 5 secs || 3857245 markings, 6662093 edges, 345516 markings/sec, 5 secs
lola: sara is running 10 secs || 5596796 markings, 9920302 edges, 347910 markings/sec, 10 secs
lola: sara is running 15 secs || 7248644 markings, 13141294 edges, 330370 markings/sec, 15 secs
lola: sara is running 20 secs || 8858711 markings, 16362693 edges, 322013 markings/sec, 20 secs
lola: sara is running 25 secs || 10518770 markings, 19543261 edges, 332012 markings/sec, 25 secs
lola: sara is running 30 secs || 12239736 markings, 22750197 edges, 344193 markings/sec, 30 secs
lola: sara is running 35 secs || 13828359 markings, 26037298 edges, 317725 markings/sec, 35 secs
lola: sara is running 40 secs || 15130443 markings, 29359007 edges, 260417 markings/sec, 40 secs
lola: sara is running 45 secs || 16345496 markings, 32645011 edges, 243011 markings/sec, 45 secs
lola: sara is running 50 secs || 17616477 markings, 35935735 edges, 254196 markings/sec, 50 secs
lola: sara is running 55 secs || 18820192 markings, 39159534 edges, 240743 markings/sec, 55 secs
lola: sara is running 60 secs || 20183043 markings, 42389258 edges, 272570 markings/sec, 60 secs
lola: sara is running 65 secs || 21820816 markings, 45620228 edges, 327555 markings/sec, 65 secs
lola: sara is running 70 secs || 23325025 markings, 48728507 edges, 300842 markings/sec, 70 secs
lola: sara is running 75 secs || 24806261 markings, 51805991 edges, 296247 markings/sec, 75 secs
sara: warning, failure of lp_solve (at job 3577)
lola: sara is running 80 secs || 26237958 markings, 54800093 edges, 286339 markings/sec, 80 secs
lola: sara is running 85 secs || 27752441 markings, 57900755 edges, 302897 markings/sec, 85 secs
lola: sara is running 90 secs || 29153453 markings, 60988808 edges, 280202 markings/sec, 90 secs
lola: sara is running 95 secs || 30567713 markings, 64069895 edges, 282852 markings/sec, 95 secs
lola: sara is running 100 secs || 31934428 markings, 67101766 edges, 273343 markings/sec, 100 secs
lola: sara is running 105 secs || 33290799 markings, 70124517 edges, 271274 markings/sec, 105 secs
lola: sara is running 110 secs || 34722361 markings, 73222216 edges, 286312 markings/sec, 110 secs
lola: sara is running 115 secs || 36047769 markings, 76280383 edges, 265082 markings/sec, 115 secs
lola: sara is running 120 secs || 37478398 markings, 79367042 edges, 286126 markings/sec, 120 secs
lola: sara is running 125 secs || 38713475 markings, 82389559 edges, 247015 markings/sec, 125 secs
lola: sara is running 130 secs || 39813208 markings, 85333533 edges, 219947 markings/sec, 130 secs
lola: sara is running 135 secs || 41017916 markings, 88466496 edges, 240942 markings/sec, 135 secs
lola: sara is running 140 secs || 42472313 markings, 91485998 edges, 290879 markings/sec, 140 secs
lola: sara is running 145 secs || 43754545 markings, 94546158 edges, 256446 markings/sec, 145 secs
lola: sara is running 150 secs || 44946395 markings, 97527736 edges, 238370 markings/sec, 150 secs
lola: sara is running 155 secs || 45951644 markings, 100232069 edges, 201050 markings/sec, 155 secs
lola: sara is running 160 secs || 46997622 markings, 103005742 edges, 209196 markings/sec, 160 secs
lola: sara is running 165 secs || 48068787 markings, 105744545 edges, 214233 markings/sec, 165 secs
lola: sara is running 170 secs || 49092638 markings, 108446119 edges, 204770 markings/sec, 170 secs
lola: sara is running 175 secs || 50199634 markings, 111224283 edges, 221399 markings/sec, 175 secs
lola: sara is running 180 secs || 51434325 markings, 114089863 edges, 246938 markings/sec, 180 secs
lola: sara is running 185 secs || 52735801 markings, 116837164 edges, 260295 markings/sec, 185 secs
lola: sara is running 190 secs || 54027840 markings, 119626246 edges, 258408 markings/sec, 190 secs
lola: sara is running 195 secs || 55407146 markings, 122654259 edges, 275861 markings/sec, 195 secs
lola: sara is running 200 secs || 56934418 markings, 125764144 edges, 305454 markings/sec, 200 secs
lola: sara is running 205 secs || 58446907 markings, 128909691 edges, 302498 markings/sec, 205 secs
lola: sara is running 210 secs || 59909309 markings, 132054995 edges, 292480 markings/sec, 210 secs
lola: sara is running 215 secs || 61430438 markings, 135211676 edges, 304226 markings/sec, 215 secs
lola: sara is running 220 secs || 62926545 markings, 138361554 edges, 299221 markings/sec, 220 secs
lola: sara is running 225 secs || 64379910 markings, 141500880 edges, 290673 markings/sec, 225 secs
lola: sara is running 230 secs || 65834162 markings, 144646113 edges, 290850 markings/sec, 230 secs
lola: sara is running 235 secs || 67486747 markings, 147693576 edges, 330517 markings/sec, 235 secs
lola: sara is running 240 secs || 68857601 markings, 150791700 edges, 274171 markings/sec, 240 secs
lola: sara is running 245 secs || 70451340 markings, 153905096 edges, 318748 markings/sec, 245 secs
lola: sara is running 250 secs || 71888689 markings, 156982612 edges, 287470 markings/sec, 250 secs
lola: sara is running 255 secs || 73073604 markings, 159884804 edges, 236983 markings/sec, 255 secs
lola: sara is running 260 secs || 74225919 markings, 162914939 edges, 230463 markings/sec, 260 secs
lola: sara is running 265 secs || 75634883 markings, 165807673 edges, 281793 markings/sec, 265 secs
lola: sara is running 270 secs || 77137790 markings, 168739684 edges, 300581 markings/sec, 270 secs
lola: sara is running 275 secs || 78538093 markings, 171676992 edges, 280061 markings/sec, 275 secs
lola: sara is running 280 secs || 79847549 markings, 174755548 edges, 261891 markings/sec, 280 secs
lola: sara is running 285 secs || 81281119 markings, 177825692 edges, 286714 markings/sec, 285 secs
lola: sara is running 290 secs || 82612934 markings, 180868750 edges, 266363 markings/sec, 290 secs
lola: sara is running 295 secs || 83942647 markings, 183940827 edges, 265943 markings/sec, 295 secs
lola: sara is running 300 secs || 85238194 markings, 187006582 edges, 259109 markings/sec, 300 secs
lola: sara is running 305 secs || 86544324 markings, 190039788 edges, 261226 markings/sec, 305 secs
lola: sara is running 310 secs || 87829057 markings, 193034969 edges, 256947 markings/sec, 310 secs
lola: sara is running 315 secs || 89114813 markings, 196035637 edges, 257151 markings/sec, 315 secs
lola: sara is running 320 secs || 90445818 markings, 199137595 edges, 266201 markings/sec, 320 secs
lola: sara is running 325 secs || 91855106 markings, 202187031 edges, 281858 markings/sec, 325 secs
lola: sara is running 330 secs || 93218398 markings, 205213325 edges, 272658 markings/sec, 330 secs
lola: sara is running 335 secs || 94430912 markings, 208231506 edges, 242503 markings/sec, 335 secs
lola: sara is running 340 secs || 95816986 markings, 211291210 edges, 277215 markings/sec, 340 secs
lola: sara is running 345 secs || 97185949 markings, 214321026 edges, 273793 markings/sec, 345 secs
lola: sara is running 350 secs || 98474514 markings, 217322933 edges, 257713 markings/sec, 350 secs
lola: sara is running 355 secs || 99542808 markings, 220277360 edges, 213659 markings/sec, 355 secs
lola: sara is running 360 secs || 101009524 markings, 223249598 edges, 293343 markings/sec, 360 secs
lola: sara is running 365 secs || 102118452 markings, 226311128 edges, 221786 markings/sec, 365 secs
lola: sara is running 370 secs || 103254109 markings, 229384304 edges, 227131 markings/sec, 370 secs
lola: sara is running 375 secs || 104076947 markings, 232569782 edges, 164568 markings/sec, 375 secs
lola: sara is running 380 secs || 105027276 markings, 235666910 edges, 190066 markings/sec, 380 secs
lola: sara is running 385 secs || 106429138 markings, 238516076 edges, 280372 markings/sec, 385 secs
lola: sara is running 390 secs || 107869442 markings, 241426738 edges, 288061 markings/sec, 390 secs
lola: sara is running 395 secs || 109301579 markings, 244405189 edges, 286427 markings/sec, 395 secs
lola: sara is running 400 secs || 110682454 markings, 247414701 edges, 276175 markings/sec, 400 secs
lola: sara is running 405 secs || 111740100 markings, 250515071 edges, 211529 markings/sec, 405 secs
lola: sara is running 410 secs || 112995285 markings, 253583909 edges, 251037 markings/sec, 410 secs
lola: sara is running 415 secs || 114112014 markings, 256637713 edges, 223346 markings/sec, 415 secs
lola: sara is running 420 secs || 115256847 markings, 259665202 edges, 228967 markings/sec, 420 secs
lola: sara is running 425 secs || 116354452 markings, 262683071 edges, 219521 markings/sec, 425 secs
lola: sara is running 430 secs || 117448101 markings, 265680887 edges, 218730 markings/sec, 430 secs
lola: sara is running 435 secs || 118515569 markings, 268607419 edges, 213494 markings/sec, 435 secs
lola: sara is running 440 secs || 119590578 markings, 271553629 edges, 215002 markings/sec, 440 secs
lola: sara is running 445 secs || 120601527 markings, 274542267 edges, 202190 markings/sec, 445 secs
lola: sara is running 450 secs || 121767520 markings, 277599796 edges, 233199 markings/sec, 450 secs
lola: sara is running 455 secs || 122966175 markings, 280624179 edges, 239731 markings/sec, 455 secs
lola: sara is running 460 secs || 124106845 markings, 283636883 edges, 228134 markings/sec, 460 secs
lola: sara is running 465 secs || 125176356 markings, 286636425 edges, 213902 markings/sec, 465 secs
lola: sara is running 470 secs || 126333644 markings, 289694256 edges, 231458 markings/sec, 470 secs
lola: sara is running 475 secs || 127460120 markings, 292718263 edges, 225295 markings/sec, 475 secs
lola: sara is running 480 secs || 128618121 markings, 295684005 edges, 231600 markings/sec, 480 secs
lola: sara is running 485 secs || 129754021 markings, 298606439 edges, 227180 markings/sec, 485 secs
lola: sara is running 490 secs || 131230176 markings, 301568741 edges, 295231 markings/sec, 490 secs
lola: sara is running 495 secs || 132782347 markings, 304634738 edges, 310434 markings/sec, 495 secs
lola: sara is running 500 secs || 133975217 markings, 307729173 edges, 238574 markings/sec, 500 secs
lola: sara is running 505 secs || 135067872 markings, 310790609 edges, 218531 markings/sec, 505 secs
lola: sara is running 510 secs || 136111095 markings, 313945924 edges, 208645 markings/sec, 510 secs
lola: sara is running 515 secs || 137323288 markings, 317051167 edges, 242439 markings/sec, 515 secs
lola: sara is running 520 secs || 138491479 markings, 320145844 edges, 233638 markings/sec, 520 secs
lola: sara is running 525 secs || 139621814 markings, 323169982 edges, 226067 markings/sec, 525 secs
lola: sara is running 530 secs || 140746467 markings, 326225308 edges, 224931 markings/sec, 530 secs
lola: sara is running 535 secs || 141971102 markings, 329312356 edges, 244927 markings/sec, 535 secs
lola: sara is running 540 secs || 143107237 markings, 332365782 edges, 227227 markings/sec, 540 secs
lola: sara is running 545 secs || 144330845 markings, 335445228 edges, 244722 markings/sec, 545 secs
lola: sara is running 550 secs || 145466607 markings, 338496077 edges, 227152 markings/sec, 550 secs
lola: sara is running 555 secs || 146817191 markings, 341551804 edges, 270117 markings/sec, 555 secs
lola: sara is running 560 secs || 148112466 markings, 344593637 edges, 259055 markings/sec, 560 secs
lola: sara is running 565 secs || 149254148 markings, 347595936 edges, 228336 markings/sec, 565 secs
lola: sara is running 570 secs || 150433213 markings, 350693413 edges, 235813 markings/sec, 570 secs
lola: sara is running 575 secs || 151535115 markings, 353730477 edges, 220380 markings/sec, 575 secs
lola: sara is running 580 secs || 152718237 markings, 356809837 edges, 236624 markings/sec, 580 secs
lola: sara is running 585 secs || 153916202 markings, 359880000 edges, 239593 markings/sec, 585 secs
lola: sara is running 590 secs || 155185614 markings, 362927819 edges, 253882 markings/sec, 590 secs
lola: sara is running 595 secs || 156651084 markings, 365903190 edges, 293094 markings/sec, 595 secs
lola: sara is running 600 secs || 157674354 markings, 368958322 edges, 204654 markings/sec, 600 secs
lola: sara is running 605 secs || 158850662 markings, 372031015 edges, 235262 markings/sec, 605 secs
lola: sara is running 610 secs || 159962859 markings, 375037711 edges, 222439 markings/sec, 610 secs
lola: sara is running 615 secs || 161181383 markings, 378102454 edges, 243705 markings/sec, 615 secs
lola: sara is running 620 secs || 162400447 markings, 381123130 edges, 243813 markings/sec, 620 secs
lola: sara is running 625 secs || 163315284 markings, 384065833 edges, 182967 markings/sec, 625 secs
lola: sara is running 630 secs || 164321824 markings, 387111944 edges, 201308 markings/sec, 630 secs
lola: sara is running 635 secs || 165270434 markings, 390181390 edges, 189722 markings/sec, 635 secs
lola: sara is running 640 secs || 166175792 markings, 393178975 edges, 181072 markings/sec, 640 secs
lola: sara is running 645 secs || 167087776 markings, 396201122 edges, 182397 markings/sec, 645 secs
lola: sara is running 650 secs || 168344601 markings, 399259980 edges, 251365 markings/sec, 650 secs
lola: sara is running 655 secs || 169769170 markings, 402360121 edges, 284914 markings/sec, 655 secs
lola: sara is running 660 secs || 171316356 markings, 405608467 edges, 309437 markings/sec, 660 secs
lola: sara is running 665 secs || 172778777 markings, 408805840 edges, 292484 markings/sec, 665 secs
lola: sara is running 670 secs || 173944178 markings, 412013394 edges, 233080 markings/sec, 670 secs
lola: sara is running 675 secs || 175073509 markings, 415221096 edges, 225866 markings/sec, 675 secs
lola: sara is running 680 secs || 176559407 markings, 418378969 edges, 297180 markings/sec, 680 secs
lola: sara is running 685 secs || 178072629 markings, 421346984 edges, 302644 markings/sec, 685 secs
lola: sara is running 690 secs || 179552858 markings, 424448948 edges, 296046 markings/sec, 690 secs
lola: sara is running 695 secs || 181145021 markings, 427593686 edges, 318433 markings/sec, 695 secs
lola: sara is running 700 secs || 182621368 markings, 430579873 edges, 295269 markings/sec, 700 secs
lola: sara is running 705 secs || 184151692 markings, 433656478 edges, 306065 markings/sec, 705 secs
lola: sara is running 710 secs || 185635479 markings, 436686913 edges, 296757 markings/sec, 710 secs
lola: sara is running 715 secs || 186963542 markings, 439632279 edges, 265613 markings/sec, 715 secs
lola: sara is running 720 secs || 188012967 markings, 442652208 edges, 209885 markings/sec, 720 secs
lola: sara is running 725 secs || 189464102 markings, 445690606 edges, 290227 markings/sec, 725 secs
lola: sara is running 730 secs || 191068754 markings, 448801769 edges, 320930 markings/sec, 730 secs
lola: sara is running 735 secs || 192440092 markings, 451950263 edges, 274268 markings/sec, 735 secs
lola: sara is running 740 secs || 193823848 markings, 455045368 edges, 276751 markings/sec, 740 secs
lola: sara is running 745 secs || 195274009 markings, 458071448 edges, 290032 markings/sec, 745 secs
lola: sara is running 750 secs || 196760470 markings, 461097167 edges, 297292 markings/sec, 750 secs
lola: sara is running 755 secs || 198333810 markings, 464187764 edges, 314668 markings/sec, 755 secs
lola: sara is running 760 secs || 199711322 markings, 467275142 edges, 275502 markings/sec, 760 secs
lola: sara is running 765 secs || 201217328 markings, 470297297 edges, 301201 markings/sec, 765 secs
lola: sara is running 770 secs || 202602838 markings, 473320613 edges, 277102 markings/sec, 770 secs
lola: sara is running 775 secs || 204275140 markings, 476368611 edges, 334460 markings/sec, 775 secs
lola: sara is running 780 secs || 205703101 markings, 479426314 edges, 285592 markings/sec, 780 secs
lola: sara is running 785 secs || 207147080 markings, 482483725 edges, 288796 markings/sec, 785 secs
lola: sara is running 790 secs || 208545253 markings, 485514010 edges, 279635 markings/sec, 790 secs
lola: sara is running 795 secs || 209964776 markings, 488565408 edges, 283905 markings/sec, 795 secs
lola: sara is running 800 secs || 211388620 markings, 491613624 edges, 284769 markings/sec, 800 secs
lola: sara is running 805 secs || 212765471 markings, 494643434 edges, 275370 markings/sec, 805 secs
lola: sara is running 810 secs || 214132977 markings, 497619980 edges, 273501 markings/sec, 810 secs
lola: sara is running 815 secs || 215485649 markings, 500510838 edges, 270534 markings/sec, 815 secs
lola: sara is running 820 secs || 216834350 markings, 503417871 edges, 269740 markings/sec, 820 secs
lola: sara is running 825 secs || 218185493 markings, 506301932 edges, 270229 markings/sec, 825 secs
lola: sara is running 830 secs || 219538223 markings, 509190065 edges, 270546 markings/sec, 830 secs
lola: sara is running 835 secs || 220884759 markings, 512081015 edges, 269307 markings/sec, 835 secs
lola: sara is running 840 secs || 222203045 markings, 514941305 edges, 263657 markings/sec, 840 secs
lola: sara is running 845 secs || 223530753 markings, 517808317 edges, 265542 markings/sec, 845 secs
lola: sara is running 850 secs || 224887304 markings, 520865372 edges, 271310 markings/sec, 850 secs
lola: sara is running 855 secs || 226187806 markings, 523924367 edges, 260100 markings/sec, 855 secs
lola: sara is running 860 secs || 227620904 markings, 526991745 edges, 286620 markings/sec, 860 secs
lola: sara is running 865 secs || 229348477 markings, 530039791 edges, 345515 markings/sec, 865 secs
lola: sara is running 870 secs || 230719601 markings, 533124819 edges, 274225 markings/sec, 870 secs
lola: sara is running 875 secs || 232253823 markings, 536141330 edges, 306844 markings/sec, 875 secs
lola: sara is running 880 secs || 233713462 markings, 539199477 edges, 291928 markings/sec, 880 secs
lola: sara is running 885 secs || 235123691 markings, 542194424 edges, 282046 markings/sec, 885 secs
lola: sara is running 890 secs || 236779343 markings, 545176971 edges, 331130 markings/sec, 890 secs
lola: sara is running 895 secs || 238014667 markings, 548162839 edges, 247065 markings/sec, 895 secs
lola: sara is running 900 secs || 239383621 markings, 551247431 edges, 273791 markings/sec, 900 secs
lola: sara is running 905 secs || 240676154 markings, 554311745 edges, 258507 markings/sec, 905 secs
lola: sara is running 910 secs || 242088697 markings, 557332991 edges, 282509 markings/sec, 910 secs
lola: sara is running 915 secs || 243736071 markings, 560338911 edges, 329475 markings/sec, 915 secs
lola: sara is running 920 secs || 245102289 markings, 563367471 edges, 273244 markings/sec, 920 secs
lola: sara is running 925 secs || 246694735 markings, 566322901 edges, 318489 markings/sec, 925 secs
lola: sara is running 930 secs || 248120931 markings, 569385799 edges, 285239 markings/sec, 930 secs
lola: sara is running 935 secs || 249583203 markings, 572385180 edges, 292454 markings/sec, 935 secs
lola: sara is running 940 secs || 251155742 markings, 575366815 edges, 314508 markings/sec, 940 secs
lola: sara is running 945 secs || 252368600 markings, 578361174 edges, 242572 markings/sec, 945 secs
lola: sara is running 950 secs || 253524500 markings, 581384676 edges, 231180 markings/sec, 950 secs
lola: sara is running 955 secs || 254504162 markings, 584458578 edges, 195932 markings/sec, 955 secs
lola: sara is running 960 secs || 255554397 markings, 587566634 edges, 210047 markings/sec, 960 secs
lola: sara is running 965 secs || 256450429 markings, 590248130 edges, 179206 markings/sec, 965 secs
lola: sara is running 970 secs || 257237601 markings, 593095913 edges, 157434 markings/sec, 970 secs
lola: sara is running 975 secs || 257890892 markings, 595995218 edges, 130658 markings/sec, 975 secs
lola: sara is running 980 secs || 259138753 markings, 598855483 edges, 249572 markings/sec, 980 secs
lola: sara is running 985 secs || 260472063 markings, 601618026 edges, 266662 markings/sec, 985 secs
lola: sara is running 990 secs || 261798552 markings, 604427276 edges, 265298 markings/sec, 990 secs
lola: sara is running 995 secs || 263320097 markings, 607380557 edges, 304309 markings/sec, 995 secs
lola: sara is running 1000 secs || 264668585 markings, 610214297 edges, 269698 markings/sec, 1000 secs
lola: sara is running 1005 secs || 266017490 markings, 613081826 edges, 269781 markings/sec, 1005 secs
lola: sara is running 1010 secs || 267068764 markings, 615804822 edges, 210255 markings/sec, 1010 secs
lola: sara is running 1015 secs || 268073918 markings, 618568917 edges, 201031 markings/sec, 1015 secs
lola: sara is running 1020 secs || 269429816 markings, 621461006 edges, 271180 markings/sec, 1020 secs
lola: sara is running 1025 secs || 270744666 markings, 624460534 edges, 262970 markings/sec, 1025 secs
lola: sara is running 1030 secs || 271768546 markings, 627499718 edges, 204776 markings/sec, 1030 secs
lola: sara is running 1035 secs || 272703759 markings, 630547619 edges, 187043 markings/sec, 1035 secs
lola: sara is running 1040 secs || 273751545 markings, 633319226 edges, 209557 markings/sec, 1040 secs
lola: sara is running 1045 secs || 275510383 markings, 636370314 edges, 351768 markings/sec, 1045 secs
lola: sara is running 1050 secs || 276738152 markings, 639429757 edges, 245554 markings/sec, 1050 secs
lola: sara is running 1055 secs || 277766151 markings, 642487045 edges, 205600 markings/sec, 1055 secs
lola: sara is running 1060 secs || 278673157 markings, 645230499 edges, 181401 markings/sec, 1060 secs
lola: sara is running 1065 secs || 279771927 markings, 647828963 edges, 219754 markings/sec, 1065 secs
lola: sara is running 1070 secs || 281448286 markings, 650579022 edges, 335272 markings/sec, 1070 secs
lola: sara is running 1075 secs || 282455694 markings, 653283204 edges, 201482 markings/sec, 1075 secs
lola: sara is running 1080 secs || 283453233 markings, 656239118 edges, 199508 markings/sec, 1080 secs
lola: sara is running 1085 secs || 284459588 markings, 659180135 edges, 201271 markings/sec, 1085 secs
lola: sara is running 1090 secs || 285461537 markings, 662134776 edges, 200390 markings/sec, 1090 secs
lola: sara is running 1095 secs || 286461199 markings, 665102508 edges, 199932 markings/sec, 1095 secs
lola: sara is running 1100 secs || 287450798 markings, 668010271 edges, 197920 markings/sec, 1100 secs
lola: sara is running 1105 secs || 288457614 markings, 670940449 edges, 201363 markings/sec, 1105 secs
lola: sara is running 1110 secs || 289427182 markings, 673786368 edges, 193914 markings/sec, 1110 secs
lola: sara is running 1115 secs || 290386468 markings, 676638109 edges, 191857 markings/sec, 1115 secs
lola: sara is running 1120 secs || 291359441 markings, 679465422 edges, 194595 markings/sec, 1120 secs
lola: sara is running 1125 secs || 292326728 markings, 682322141 edges, 193457 markings/sec, 1125 secs
lola: sara is running 1130 secs || 293299216 markings, 685198130 edges, 194498 markings/sec, 1130 secs
lola: sara is running 1135 secs || 294223776 markings, 687978902 edges, 184912 markings/sec, 1135 secs
lola: sara is running 1140 secs || 295196288 markings, 690780044 edges, 194502 markings/sec, 1140 secs
lola: sara is running 1145 secs || 296163007 markings, 693762350 edges, 193344 markings/sec, 1145 secs
lola: sara is running 1150 secs || 297109245 markings, 696689033 edges, 189248 markings/sec, 1150 secs
lola: sara is running 1155 secs || 298093762 markings, 699654694 edges, 196903 markings/sec, 1155 secs
lola: sara is running 1160 secs || 299636221 markings, 702595656 edges, 308492 markings/sec, 1160 secs
lola: sara is running 1165 secs || 301064593 markings, 705571124 edges, 285674 markings/sec, 1165 secs
lola: sara is running 1170 secs || 301992890 markings, 708424950 edges, 185659 markings/sec, 1170 secs
lola: sara is running 1175 secs || 303642479 markings, 711380852 edges, 329918 markings/sec, 1175 secs
lola: sara is running 1180 secs || 304696221 markings, 713551515 edges, 210748 markings/sec, 1180 secs
lola: sara is running 1185 secs || 304730743 markings, 713646461 edges, 6904 markings/sec, 1185 secs
lola: sara is running 1190 secs || 304735225 markings, 713659590 edges, 896 markings/sec, 1190 secs
lola: sara is running 1195 secs || 304736497 markings, 713663749 edges, 254 markings/sec, 1195 secs
lola: sara is running 1200 secs || 304736570 markings, 713664010 edges, 15 markings/sec, 1200 secs
lola: sara is running 1205 secs || 304744396 markings, 713687007 edges, 1565 markings/sec, 1205 secs
lola: sara is running 1210 secs || 304756296 markings, 713727720 edges, 2380 markings/sec, 1210 secs
lola: sara is running 1215 secs || 304763149 markings, 713752555 edges, 1371 markings/sec, 1215 secs
lola: sara is running 1220 secs || 304783903 markings, 713806233 edges, 4151 markings/sec, 1220 secs
lola: sara is running 1225 secs || 304796705 markings, 713841648 edges, 2560 markings/sec, 1225 secs
lola: sara is running 1230 secs || 304802924 markings, 713858829 edges, 1244 markings/sec, 1230 secs
lola: sara is running 1235 secs || 304848219 markings, 713975877 edges, 9059 markings/sec, 1235 secs
lola: sara is running 1240 secs || 305675076 markings, 716510377 edges, 165371 markings/sec, 1240 secs
lola: sara is running 1245 secs || 307286378 markings, 719597934 edges, 322260 markings/sec, 1245 secs
lola: sara is running 1250 secs || 308781523 markings, 722709404 edges, 299029 markings/sec, 1250 secs
lola: sara is running 1255 secs || 309780241 markings, 725872971 edges, 199744 markings/sec, 1255 secs
lola: sara is running 1260 secs || 310757860 markings, 729040867 edges, 195524 markings/sec, 1260 secs
lola: sara is running 1265 secs || 311763025 markings, 732122982 edges, 201033 markings/sec, 1265 secs
lola: sara is running 1270 secs || 312752544 markings, 735193712 edges, 197904 markings/sec, 1270 secs
lola: sara is running 1275 secs || 314372190 markings, 738300996 edges, 323929 markings/sec, 1275 secs
lola: sara is running 1280 secs || 315855848 markings, 741444873 edges, 296732 markings/sec, 1280 secs
lola: sara is running 1285 secs || 316855750 markings, 744449092 edges, 199980 markings/sec, 1285 secs
lola: sara is running 1290 secs || 318632180 markings, 747496751 edges, 355286 markings/sec, 1290 secs
lola: sara is running 1295 secs || 319889706 markings, 750642766 edges, 251505 markings/sec, 1295 secs
lola: sara is running 1300 secs || 321057355 markings, 753682567 edges, 233530 markings/sec, 1300 secs
lola: sara is running 1305 secs || 322990289 markings, 756853565 edges, 386587 markings/sec, 1305 secs
lola: sara is running 1310 secs || 324010574 markings, 760004890 edges, 204057 markings/sec, 1310 secs
lola: sara is running 1315 secs || 325005725 markings, 763147235 edges, 199030 markings/sec, 1315 secs
lola: sara is running 1320 secs || 325921326 markings, 766323677 edges, 183120 markings/sec, 1320 secs
lola: sara is running 1325 secs || 326815565 markings, 769515085 edges, 178848 markings/sec, 1325 secs
lola: sara is running 1330 secs || 327894945 markings, 772732258 edges, 215876 markings/sec, 1330 secs
lola: sara is running 1335 secs || 329173865 markings, 775914173 edges, 255784 markings/sec, 1335 secs
lola: sara is running 1340 secs || 330276371 markings, 779126279 edges, 220501 markings/sec, 1340 secs
lola: sara is running 1345 secs || 331368700 markings, 782176581 edges, 218466 markings/sec, 1345 secs
lola: sara is running 1350 secs || 332470168 markings, 785379063 edges, 220294 markings/sec, 1350 secs
lola: sara is running 1355 secs || 333786920 markings, 788515690 edges, 263350 markings/sec, 1355 secs
lola: sara is running 1360 secs || 334916352 markings, 791697535 edges, 225886 markings/sec, 1360 secs
lola: sara is running 1365 secs || 335911145 markings, 794761979 edges, 198959 markings/sec, 1365 secs
lola: sara is running 1370 secs || 337183426 markings, 797809528 edges, 254456 markings/sec, 1370 secs
lola: sara is running 1375 secs || 339072454 markings, 800967096 edges, 377806 markings/sec, 1375 secs
lola: sara is running 1380 secs || 340343223 markings, 804176768 edges, 254154 markings/sec, 1380 secs
lola: sara is running 1385 secs || 341590185 markings, 807334210 edges, 249392 markings/sec, 1385 secs
lola: sara is running 1390 secs || 342732815 markings, 810488306 edges, 228526 markings/sec, 1390 secs
lola: sara is running 1395 secs || 343741449 markings, 813461166 edges, 201727 markings/sec, 1395 secs
lola: sara is running 1400 secs || 345060831 markings, 816467653 edges, 263876 markings/sec, 1400 secs
lola: sara is running 1405 secs || 346933942 markings, 819627634 edges, 374622 markings/sec, 1405 secs
lola: sara is running 1410 secs || 348183991 markings, 822796403 edges, 250010 markings/sec, 1410 secs
lola: sara is running 1415 secs || 349382128 markings, 825932361 edges, 239627 markings/sec, 1415 secs
lola: sara is running 1420 secs || 350540372 markings, 829026035 edges, 231649 markings/sec, 1420 secs
lola: sara is running 1425 secs || 351678658 markings, 832124789 edges, 227657 markings/sec, 1425 secs
lola: sara is running 1430 secs || 352797963 markings, 835207169 edges, 223861 markings/sec, 1430 secs
lola: sara is running 1435 secs || 353941269 markings, 838315021 edges, 228661 markings/sec, 1435 secs
lola: sara is running 1440 secs || 355114396 markings, 841424477 edges, 234625 markings/sec, 1440 secs
lola: sara is running 1445 secs || 356255450 markings, 844535383 edges, 228211 markings/sec, 1445 secs
lola: sara is running 1450 secs || 357449050 markings, 847658106 edges, 238720 markings/sec, 1450 secs
lola: sara is running 1455 secs || 358566311 markings, 850662487 edges, 223452 markings/sec, 1455 secs
lola: sara is running 1460 secs || 359657500 markings, 853641154 edges, 218238 markings/sec, 1460 secs
lola: sara is running 1465 secs || 360749615 markings, 856629584 edges, 218423 markings/sec, 1465 secs
lola: sara is running 1470 secs || 361859606 markings, 859600078 edges, 221998 markings/sec, 1470 secs
lola: sara is running 1475 secs || 362957114 markings, 862592357 edges, 219502 markings/sec, 1475 secs
lola: sara is running 1480 secs || 364102615 markings, 865565239 edges, 229100 markings/sec, 1480 secs
lola: sara is running 1485 secs || 365208468 markings, 868533466 edges, 221171 markings/sec, 1485 secs
lola: sara is running 1490 secs || 366267148 markings, 871489735 edges, 211736 markings/sec, 1490 secs
lola: sara is running 1495 secs || 367370567 markings, 874422190 edges, 220684 markings/sec, 1495 secs
lola: sara is running 1500 secs || 368463721 markings, 877399284 edges, 218631 markings/sec, 1500 secs
lola: sara is running 1505 secs || 369621905 markings, 880493027 edges, 231637 markings/sec, 1505 secs
lola: sara is running 1510 secs || 370653289 markings, 883545886 edges, 206277 markings/sec, 1510 secs
lola: sara is running 1515 secs || 371811088 markings, 886660406 edges, 231560 markings/sec, 1515 secs
lola: sara is running 1520 secs || 372854399 markings, 889770042 edges, 208662 markings/sec, 1520 secs
lola: sara is running 1525 secs || 374397438 markings, 892884855 edges, 308608 markings/sec, 1525 secs
lola: sara is running 1530 secs || 375548842 markings, 894779994 edges, 230281 markings/sec, 1530 secs
lola: sara is running 1535 secs || 375984549 markings, 895607998 edges, 87141 markings/sec, 1535 secs
lola: sara is running 1540 secs || 375986438 markings, 895618010 edges, 378 markings/sec, 1540 secs
lola: sara is running 1545 secs || 375991505 markings, 895644077 edges, 1013 markings/sec, 1545 secs
lola: sara is running 1550 secs || 375995095 markings, 895661655 edges, 718 markings/sec, 1550 secs
lola: sara is running 1555 secs || 375998168 markings, 895678354 edges, 615 markings/sec, 1555 secs
lola: sara is running 1560 secs || 376015849 markings, 895754413 edges, 3536 markings/sec, 1560 secs
lola: sara is running 1565 secs || 376027807 markings, 895788221 edges, 2392 markings/sec, 1565 secs
lola: sara is running 1570 secs || 376034211 markings, 895806243 edges, 1281 markings/sec, 1570 secs
lola: sara is running 1575 secs || 376047029 markings, 895846308 edges, 2564 markings/sec, 1575 secs
lola: sara is running 1580 secs || 376055003 markings, 895877592 edges, 1595 markings/sec, 1580 secs
lola: sara is running 1585 secs || 376079232 markings, 895943122 edges, 4846 markings/sec, 1585 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA Echo-PT-d03r03-ReachabilityCardinality-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: unknown no no no yes yes yes no no no no yes yes yes no yes
lola:
preliminary result: unknown no no no yes yes yes no no no no yes yes yes no yes
lola: memory consumption: 22864 KB
lola: time consumption: 3235 seconds
BK_STOP 1526757149421
--------------------
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="Echo-PT-d03r03"
export BK_EXAMINATION="ReachabilityCardinality"
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/Echo-PT-d03r03.tgz
mv Echo-PT-d03r03 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 Echo-PT-d03r03, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r076-blw3-152649937300453"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;