About the Execution of LoLA for ASLink-PT-08a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.120 | 3570630.00 | 5434137.00 | 15186.10 | FFTFFTFTFFTF??FT | 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 932K
-rw-r--r-- 1 mcc users 3.1K May 29 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 29 16:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 28 11:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 28 11:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.5K May 28 09:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 28 09:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 28 07:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 28 07:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.5K May 27 05:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 27 05:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 26 06:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 26 06:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 4 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 757K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ASLink-PT-08a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145300129
=====================================================================
--------------------
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 ASLink-PT-08a-CTLCardinality-00
FORMULA_NAME ASLink-PT-08a-CTLCardinality-01
FORMULA_NAME ASLink-PT-08a-CTLCardinality-02
FORMULA_NAME ASLink-PT-08a-CTLCardinality-03
FORMULA_NAME ASLink-PT-08a-CTLCardinality-04
FORMULA_NAME ASLink-PT-08a-CTLCardinality-05
FORMULA_NAME ASLink-PT-08a-CTLCardinality-06
FORMULA_NAME ASLink-PT-08a-CTLCardinality-07
FORMULA_NAME ASLink-PT-08a-CTLCardinality-08
FORMULA_NAME ASLink-PT-08a-CTLCardinality-09
FORMULA_NAME ASLink-PT-08a-CTLCardinality-10
FORMULA_NAME ASLink-PT-08a-CTLCardinality-11
FORMULA_NAME ASLink-PT-08a-CTLCardinality-12
FORMULA_NAME ASLink-PT-08a-CTLCardinality-13
FORMULA_NAME ASLink-PT-08a-CTLCardinality-14
FORMULA_NAME ASLink-PT-08a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1527890998186
info: Time: 3600 - MCC
===========================================================================================
prep: translating ASLink-PT-08a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating ASLink-PT-08a formula CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ ASLink-PT-08a @ 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: 4442/65536 symbol table entries, 221 collisions
lola: preprocessing...
lola: Size of bit vector: 1796
lola: finding significant places
lola: 1796 places, 2646 transitions, 1450 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2984 transition conflict sets
lola: TASK
lola: reading formula from ASLink-PT-08a-CTLCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p41)
lola: LP says that atomic proposition is always false: (2 <= p1216)
lola: LP says that atomic proposition is always false: (2 <= p474)
lola: LP says that atomic proposition is always false: (2 <= p1782)
lola: LP says that atomic proposition is always false: (2 <= p1204)
lola: LP says that atomic proposition is always false: (3 <= p1465)
lola: LP says that atomic proposition is always false: (2 <= p266)
lola: LP says that atomic proposition is always false: (3 <= p59)
lola: LP says that atomic proposition is always false: (2 <= p830)
lola: LP says that atomic proposition is always false: (3 <= p1780)
lola: LP says that atomic proposition is always false: (2 <= p1791)
lola: LP says that atomic proposition is always false: (2 <= p304)
lola: LP says that atomic proposition is always false: (2 <= p1160)
lola: LP says that atomic proposition is always false: (3 <= p1525)
lola: LP says that atomic proposition is always false: (2 <= p55)
lola: LP says that atomic proposition is always false: (3 <= p1388)
lola: LP says that atomic proposition is always false: (2 <= p263)
lola: E (X (E (F (FALSE)))) : (((E (G ((p1320 <= p735))) OR FALSE) OR ()) AND (A (F (())) AND NOT(E (X (FALSE))))) : E (F (E (G ((p502 <= p862))))) : A (F (A (G ((p1320 <= p1744))))) : NOT(A (F (E (G ((p721 <= p180)))))) : E (G (())) : NOT(((E (G ((p174 <= p1485))) AND ()) OR NOT(E (F (FALSE))))) : A (F (NOT(A (F (FALSE))))) : E ((((p759 <= p51) OR (1 <= p1579)) U E (F (FALSE)))) : E ((A (F ((p9 <= p1367))) U A (G (FALSE)))) : NOT(E (X (A (G ((p1470 <= p1226)))))) : A (F (NOT(E (F ((p298 <= p1244)))))) : A (G ((p1048 <= p1349))) : (A (G ((((p438 <= p1054) OR (1 <= p1456)) AND (p1751 + 1 <= p1731)))) OR ((A (X (FALSE)) AND (p880 <= p1025)) OR E (G (((p1614 <= p1295)))))) : A (X (A (F (())))) : NOT(A (F (A (F (FALSE)))))
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:133
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:133
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:116
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:117
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:282
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:154
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:180
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 218 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: 68 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.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 ASLink-PT-08a-CTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 233 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: 68 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.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 ASLink-PT-08a-CTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 249 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: 68 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.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 ASLink-PT-08a-CTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 269 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: 68 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.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 ASLink-PT-08a-CTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 291 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: 68 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.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 ASLink-PT-08a-CTLCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 317 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: 68 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.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 ASLink-PT-08a-CTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 6 will run for 349 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: 68 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.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 ASLink-PT-08a-CTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 388 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: DEADLOCK
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: DEADLOCK
lola: processed formula length: 8
lola: 68 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.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 ASLink-PT-08a-CTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 437 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: 68 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.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 ASLink-PT-08a-CTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 499 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (F ((p1226 + 1 <= p1470)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(E(TRUE U (p1226 + 1 <= p1470)))
lola: processed formula length: 34
lola: 70 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 689 markings, 688 edges
lola: ========================================
FORMULA ASLink-PT-08a-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 582 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p1048 <= p1349)))
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 ((p1048 <= p1349)))
lola: processed formula length: 24
lola: 70 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p1349 + 1 <= p1048)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ASLink-PT-08a-CTLCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ASLink-PT-08a-CTLCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 156303 markings, 182006 edges, 31261 markings/sec, 0 secs
lola: sara is running 5 secs || 312631 markings, 364078 edges, 31266 markings/sec, 5 secs
lola: sara is running 10 secs || 469041 markings, 546249 edges, 31282 markings/sec, 10 secs
lola: sara is running 15 secs || 625212 markings, 728140 edges, 31234 markings/sec, 15 secs
lola: sara is running 20 secs || 781226 markings, 909847 edges, 31203 markings/sec, 20 secs
lola: sara is running 25 secs || 937358 markings, 1091693 edges, 31226 markings/sec, 25 secs
lola: sara is running 30 secs || 1093520 markings, 1273567 edges, 31232 markings/sec, 30 secs
lola: sara is running 35 secs || 1249438 markings, 1455166 edges, 31184 markings/sec, 35 secs
lola: sara is running 40 secs || 1405265 markings, 1636656 edges, 31165 markings/sec, 40 secs
lola: sara is running 45 secs || 1560982 markings, 1818020 edges, 31143 markings/sec, 45 secs
lola: sara is running 50 secs || 1716379 markings, 1999002 edges, 31079 markings/sec, 50 secs
lola: sara is running 55 secs || 1871915 markings, 2180154 edges, 31107 markings/sec, 55 secs
lola: sara is running 60 secs || 2027282 markings, 2361111 edges, 31073 markings/sec, 60 secs
lola: sara is running 65 secs || 2182280 markings, 2541632 edges, 31000 markings/sec, 65 secs
lola: sara is running 70 secs || 2337761 markings, 2722720 edges, 31096 markings/sec, 70 secs
lola: sara is running 75 secs || 2492993 markings, 2903518 edges, 31046 markings/sec, 75 secs
lola: sara is running 80 secs || 2648423 markings, 3084542 edges, 31086 markings/sec, 80 secs
lola: sara is running 85 secs || 2803934 markings, 3265668 edges, 31102 markings/sec, 85 secs
lola: sara is running 90 secs || 2959296 markings, 3446616 edges, 31072 markings/sec, 90 secs
lola: sara is running 95 secs || 3114688 markings, 3627596 edges, 31078 markings/sec, 95 secs
lola: sara is running 100 secs || 3270113 markings, 3808617 edges, 31085 markings/sec, 100 secs
lola: sara is running 105 secs || 3425371 markings, 3989442 edges, 31052 markings/sec, 105 secs
lola: sara is running 110 secs || 3580916 markings, 4170604 edges, 31109 markings/sec, 110 secs
lola: sara is running 115 secs || 3736435 markings, 4351739 edges, 31104 markings/sec, 115 secs
lola: sara is running 120 secs || 3891721 markings, 4532594 edges, 31057 markings/sec, 120 secs
lola: sara is running 125 secs || 4047101 markings, 4713564 edges, 31076 markings/sec, 125 secs
lola: sara is running 130 secs || 4202186 markings, 4894191 edges, 31017 markings/sec, 130 secs
lola: sara is running 135 secs || 4357781 markings, 5075410 edges, 31119 markings/sec, 135 secs
lola: sara is running 140 secs || 4513519 markings, 5256799 edges, 31148 markings/sec, 140 secs
lola: sara is running 145 secs || 4668687 markings, 5437518 edges, 31034 markings/sec, 145 secs
lola: sara is running 150 secs || 4824485 markings, 5618974 edges, 31160 markings/sec, 150 secs
lola: sara is running 155 secs || 4980144 markings, 5800268 edges, 31132 markings/sec, 155 secs
lola: sara is running 160 secs || 5135669 markings, 5981409 edges, 31105 markings/sec, 160 secs
lola: sara is running 165 secs || 5291049 markings, 6162379 edges, 31076 markings/sec, 165 secs
lola: sara is running 170 secs || 5446593 markings, 6343540 edges, 31109 markings/sec, 170 secs
lola: sara is running 175 secs || 5602294 markings, 6524885 edges, 31140 markings/sec, 175 secs
lola: sara is running 180 secs || 5757922 markings, 6706144 edges, 31126 markings/sec, 180 secs
lola: sara is running 185 secs || 5913362 markings, 6887178 edges, 31088 markings/sec, 185 secs
lola: sara is running 190 secs || 6068789 markings, 7068205 edges, 31085 markings/sec, 190 secs
lola: sara is running 195 secs || 6224018 markings, 7248995 edges, 31046 markings/sec, 195 secs
lola: sara is running 200 secs || 6379671 markings, 7430286 edges, 31131 markings/sec, 200 secs
lola: sara is running 205 secs || 6534818 markings, 7610983 edges, 31029 markings/sec, 205 secs
lola: sara is running 210 secs || 6689786 markings, 7791471 edges, 30994 markings/sec, 210 secs
lola: sara is running 215 secs || 6844932 markings, 7972167 edges, 31029 markings/sec, 215 secs
lola: sara is running 220 secs || 6999923 markings, 8152682 edges, 30998 markings/sec, 220 secs
lola: sara is running 225 secs || 7154994 markings, 8333289 edges, 31014 markings/sec, 225 secs
lola: sara is running 230 secs || 7310232 markings, 8514095 edges, 31048 markings/sec, 230 secs
lola: sara is running 235 secs || 7465205 markings, 8694588 edges, 30995 markings/sec, 235 secs
lola: sara is running 240 secs || 7620474 markings, 8875431 edges, 31054 markings/sec, 240 secs
lola: sara is running 245 secs || 7775586 markings, 9056089 edges, 31022 markings/sec, 245 secs
lola: sara is running 250 secs || 7930361 markings, 9236352 edges, 30955 markings/sec, 250 secs
lola: sara is running 255 secs || 8085812 markings, 9417404 edges, 31090 markings/sec, 255 secs
lola: sara is running 260 secs || 8240516 markings, 9597582 edges, 30941 markings/sec, 260 secs
lola: sara is running 265 secs || 8395699 markings, 9778323 edges, 31037 markings/sec, 265 secs
lola: sara is running 270 secs || 8550885 markings, 9959068 edges, 31037 markings/sec, 270 secs
lola: sara is running 275 secs || 8705922 markings, 10139634 edges, 31007 markings/sec, 275 secs
lola: sara is running 280 secs || 8855381 markings, 10313709 edges, 29892 markings/sec, 280 secs
lola: sara is running 285 secs || 9017900 markings, 10502993 edges, 32504 markings/sec, 285 secs
lola: sara is running 290 secs || 9180295 markings, 10692133 edges, 32479 markings/sec, 290 secs
lola: sara is running 295 secs || 9343987 markings, 10882778 edges, 32738 markings/sec, 295 secs
lola: sara is running 300 secs || 9507465 markings, 11073184 edges, 32696 markings/sec, 300 secs
lola: sara is running 305 secs || 9671054 markings, 11263710 edges, 32718 markings/sec, 305 secs
lola: sara is running 310 secs || 9834202 markings, 11453731 edges, 32630 markings/sec, 310 secs
lola: sara is running 315 secs || 9995373 markings, 11641448 edges, 32234 markings/sec, 315 secs
lola: sara is running 320 secs || 10158282 markings, 11831183 edges, 32582 markings/sec, 320 secs
lola: sara is running 325 secs || 10319685 markings, 12019171 edges, 32281 markings/sec, 325 secs
lola: sara is running 330 secs || 10481548 markings, 12207691 edges, 32373 markings/sec, 330 secs
lola: sara is running 335 secs || 10643255 markings, 12396031 edges, 32341 markings/sec, 335 secs
lola: sara is running 340 secs || 10805903 markings, 12585463 edges, 32530 markings/sec, 340 secs
lola: sara is running 345 secs || 10968825 markings, 12775216 edges, 32584 markings/sec, 345 secs
lola: sara is running 350 secs || 11130548 markings, 12963571 edges, 32345 markings/sec, 350 secs
lola: sara is running 355 secs || 11293892 markings, 13153813 edges, 32669 markings/sec, 355 secs
lola: sara is running 360 secs || 11457737 markings, 13344642 edges, 32769 markings/sec, 360 secs
lola: sara is running 365 secs || 11621146 markings, 13534962 edges, 32682 markings/sec, 365 secs
lola: sara is running 370 secs || 11784317 markings, 13725004 edges, 32634 markings/sec, 370 secs
lola: sara is running 375 secs || 11946868 markings, 13914329 edges, 32510 markings/sec, 375 secs
lola: sara is running 380 secs || 12109884 markings, 14104187 edges, 32603 markings/sec, 380 secs
lola: sara is running 385 secs || 12272676 markings, 14293790 edges, 32558 markings/sec, 385 secs
lola: sara is running 390 secs || 12435010 markings, 14482858 edges, 32467 markings/sec, 390 secs
lola: sara is running 395 secs || 12597774 markings, 14672430 edges, 32553 markings/sec, 395 secs
lola: sara is running 400 secs || 12760785 markings, 14862288 edges, 32602 markings/sec, 400 secs
lola: sara is running 405 secs || 12923810 markings, 15052159 edges, 32605 markings/sec, 405 secs
lola: sara is running 410 secs || 13086773 markings, 15241957 edges, 32593 markings/sec, 410 secs
lola: sara is running 415 secs || 13249463 markings, 15431438 edges, 32538 markings/sec, 415 secs
lola: sara is running 420 secs || 13413028 markings, 15621943 edges, 32713 markings/sec, 420 secs
lola: sara is running 425 secs || 13575687 markings, 15811391 edges, 32532 markings/sec, 425 secs
lola: sara is running 430 secs || 13736602 markings, 15998805 edges, 32183 markings/sec, 430 secs
lola: sara is running 435 secs || 13896146 markings, 16184625 edges, 31909 markings/sec, 435 secs
lola: sara is running 440 secs || 14057509 markings, 16372563 edges, 32273 markings/sec, 440 secs
lola: sara is running 445 secs || 14218717 markings, 16560317 edges, 32242 markings/sec, 445 secs
lola: sara is running 450 secs || 14379538 markings, 16747625 edges, 32164 markings/sec, 450 secs
lola: sara is running 455 secs || 14541269 markings, 16935989 edges, 32346 markings/sec, 455 secs
lola: sara is running 460 secs || 14702469 markings, 17123740 edges, 32240 markings/sec, 460 secs
lola: sara is running 465 secs || 14863452 markings, 17311233 edges, 32197 markings/sec, 465 secs
lola: sara is running 470 secs || 15025628 markings, 17500120 edges, 32435 markings/sec, 470 secs
lola: sara is running 475 secs || 15186550 markings, 17687546 edges, 32184 markings/sec, 475 secs
lola: sara is running 480 secs || 15345246 markings, 17872378 edges, 31739 markings/sec, 480 secs
lola: sara is running 485 secs || 15511415 markings, 18065912 edges, 33234 markings/sec, 485 secs
lola: sara is running 490 secs || 15677517 markings, 18259375 edges, 33220 markings/sec, 490 secs
lola: sara is running 495 secs || 15843343 markings, 18452512 edges, 33165 markings/sec, 495 secs
lola: sara is running 500 secs || 16008612 markings, 18645000 edges, 33054 markings/sec, 500 secs
lola: sara is running 505 secs || 16173810 markings, 18837409 edges, 33040 markings/sec, 505 secs
lola: sara is running 510 secs || 16338833 markings, 19029610 edges, 33005 markings/sec, 510 secs
lola: sara is running 515 secs || 16504188 markings, 19222200 edges, 33071 markings/sec, 515 secs
lola: sara is running 520 secs || 16669699 markings, 19414970 edges, 33102 markings/sec, 520 secs
lola: sara is running 525 secs || 16835338 markings, 19607892 edges, 33128 markings/sec, 525 secs
lola: sara is running 530 secs || 17000773 markings, 19800575 edges, 33087 markings/sec, 530 secs
lola: sara is running 535 secs || 17166505 markings, 19993602 edges, 33146 markings/sec, 535 secs
lola: sara is running 540 secs || 17332305 markings, 20186718 edges, 33160 markings/sec, 540 secs
lola: sara is running 545 secs || 17498350 markings, 20380119 edges, 33209 markings/sec, 545 secs
lola: sara is running 550 secs || 17663850 markings, 20572878 edges, 33100 markings/sec, 550 secs
lola: sara is running 555 secs || 17828977 markings, 20765200 edges, 33025 markings/sec, 555 secs
lola: sara is running 560 secs || 17993915 markings, 20957301 edges, 32988 markings/sec, 560 secs
lola: sara is running 565 secs || 18158868 markings, 21149425 edges, 32991 markings/sec, 565 secs
lola: sara is running 570 secs || 18323663 markings, 21341361 edges, 32959 markings/sec, 570 secs
lola: sara is running 575 secs || 18488639 markings, 21533510 edges, 32995 markings/sec, 575 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown unknown unknown yes no yes no no yes unknown unknown unknown no yes
lola: memory consumption: 1123792 KB
lola: time consumption: 655 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 583 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((p502 <= p862)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: (p502 <= p862)
lola: processed formula length: 14
lola: 69 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 36 markings, 35 edges
lola: ========================================
FORMULA ASLink-PT-08a-CTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 728 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((p180 + 1 <= p721)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U (p180 + 1 <= p721)))))
lola: processed formula length: 48
lola: 70 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 721 markings, 722 edges
lola: ========================================
FORMULA ASLink-PT-08a-CTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 971 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((p1244 + 1 <= p298)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:665
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: (p298 <= p1244)
lola: processed formula length: 15
lola: 70 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 721 markings, 721 edges
lola: ========================================
FORMULA ASLink-PT-08a-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1457 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((p1320 <= p1744)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:665
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (p1744 + 1 <= p1320)
lola: processed formula length: 20
lola: 70 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 232847 markings, 336256 edges, 46569 markings/sec, 0 secs
lola: 462330 markings, 691501 edges, 45897 markings/sec, 5 secs
lola: 704980 markings, 1036212 edges, 48530 markings/sec, 10 secs
lola: 929939 markings, 1379375 edges, 44992 markings/sec, 15 secs
lola: 1145853 markings, 1725977 edges, 43183 markings/sec, 20 secs
lola: 1379934 markings, 2068156 edges, 46816 markings/sec, 25 secs
lola: 1585881 markings, 2419473 edges, 41189 markings/sec, 30 secs
lola: 1802312 markings, 2772009 edges, 43286 markings/sec, 35 secs
lola: 2020654 markings, 3132033 edges, 43668 markings/sec, 40 secs
lola: 2206186 markings, 3489665 edges, 37106 markings/sec, 45 secs
lola: 2425640 markings, 3840483 edges, 43891 markings/sec, 50 secs
lola: 2633427 markings, 4191389 edges, 41557 markings/sec, 55 secs
lola: 2845216 markings, 4541411 edges, 42358 markings/sec, 60 secs
lola: 3051653 markings, 4890854 edges, 41287 markings/sec, 65 secs
lola: 3263187 markings, 5241118 edges, 42307 markings/sec, 70 secs
lola: 3471356 markings, 5591743 edges, 41634 markings/sec, 75 secs
lola: 3678309 markings, 5948208 edges, 41391 markings/sec, 80 secs
lola: 3897801 markings, 6297169 edges, 43898 markings/sec, 85 secs
lola: 4108346 markings, 6644368 edges, 42109 markings/sec, 90 secs
lola: 4315796 markings, 6992535 edges, 41490 markings/sec, 95 secs
lola: 4514639 markings, 7342073 edges, 39769 markings/sec, 100 secs
lola: 4736928 markings, 7696650 edges, 44458 markings/sec, 105 secs
lola: 4967610 markings, 8054198 edges, 46136 markings/sec, 110 secs
lola: 5196410 markings, 8424785 edges, 45760 markings/sec, 115 secs
lola: 5459301 markings, 8798361 edges, 52578 markings/sec, 120 secs
lola: 5671618 markings, 9151718 edges, 42463 markings/sec, 125 secs
lola: 5887373 markings, 9507765 edges, 43151 markings/sec, 130 secs
lola: 6119666 markings, 9861934 edges, 46459 markings/sec, 135 secs
lola: 6332877 markings, 10225900 edges, 42642 markings/sec, 140 secs
lola: 6541457 markings, 10582596 edges, 41716 markings/sec, 145 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 6653994 markings, 10790955 edges
lola: ========================================
FORMULA ASLink-PT-08a-CTLCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2762 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((((p438 <= p1054) OR (1 <= p1456)) AND (p1751 + 1 <= p1731)))) OR ((DEADLOCK AND (p880 <= p1025)) OR E (G (((p1614 <= p1295))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2762 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (DEADLOCK AND (p880 <= p1025))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: processed formula: (DEADLOCK AND (p880 <= p1025))
lola: processed formula length: 30
lola: 69 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.task
lola: processed formula with 1 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: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p438 <= p1054) OR (1 <= p1456)) AND (p1751 + 1 <= p1731))))
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 ((((p438 <= p1054) OR (1 <= p1456)) AND (p1751 + 1 <= p1731))))
lola: processed formula length: 69
lola: 70 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((p1054 + 1 <= p438) AND (p1456 <= 0)) OR (p1731 <= p1751))
lola: state equation: Generated DNF with 3 literals and 2 conjunctive subformulas
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: state equation: write sara problem file to ASLink-PT-08a-CTLCardinality-17-0.sara
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G ((p1048 <= p1349)))
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 ((p1048 <= p1349)))
lola: processed formula length: 24
lola: 70 rewrites
lola: closed formula file ASLink-PT-08a-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p1349 + 1 <= p1048)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ASLink-PT-08a-CTLCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file ASLink-PT-08a-CTLCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 154020 markings, 179348 edges, 30804 markings/sec, 0 secs
lola: sara is running 5 secs || 318075 markings, 370419 edges, 32811 markings/sec, 5 secs
lola: sara is running 10 secs || 483087 markings, 562606 edges, 33002 markings/sec, 10 secs
lola: sara is running 15 secs || 647893 markings, 754557 edges, 32961 markings/sec, 15 secs
lola: sara is running 20 secs || 812778 markings, 946593 edges, 32977 markings/sec, 20 secs
lola: sara is running 25 secs || 977571 markings, 1138528 edges, 32959 markings/sec, 25 secs
lola: sara is running 30 secs || 1142530 markings, 1330650 edges, 32992 markings/sec, 30 secs
lola: sara is running 35 secs || 1307097 markings, 1522320 edges, 32913 markings/sec, 35 secs
lola: sara is running 40 secs || 1471563 markings, 1713873 edges, 32893 markings/sec, 40 secs
lola: sara is running 45 secs || 1632561 markings, 1901385 edges, 32200 markings/sec, 45 secs
lola: sara is running 50 secs || 1790950 markings, 2085861 edges, 31678 markings/sec, 50 secs
lola: sara is running 55 secs || 1949551 markings, 2270575 edges, 31720 markings/sec, 55 secs
lola: sara is running 60 secs || 2107728 markings, 2454806 edges, 31635 markings/sec, 60 secs
lola: sara is running 65 secs || 2265980 markings, 2639116 edges, 31650 markings/sec, 65 secs
lola: sara is running 70 secs || 2424413 markings, 2823645 edges, 31687 markings/sec, 70 secs
lola: sara is running 75 secs || 2582645 markings, 3007932 edges, 31646 markings/sec, 75 secs
lola: sara is running 80 secs || 2741087 markings, 3192471 edges, 31688 markings/sec, 80 secs
lola: sara is running 85 secs || 2899363 markings, 3376811 edges, 31655 markings/sec, 85 secs
lola: sara is running 90 secs || 3057662 markings, 3561182 edges, 31660 markings/sec, 90 secs
lola: sara is running 95 secs || 3216074 markings, 3745682 edges, 31682 markings/sec, 95 secs
lola: sara is running 100 secs || 3374239 markings, 3929894 edges, 31633 markings/sec, 100 secs
lola: sara is running 105 secs || 3532405 markings, 4114107 edges, 31633 markings/sec, 105 secs
lola: sara is running 110 secs || 3690845 markings, 4298636 edges, 31688 markings/sec, 110 secs
lola: sara is running 115 secs || 3849073 markings, 4482924 edges, 31646 markings/sec, 115 secs
lola: sara is running 120 secs || 4007263 markings, 4667167 edges, 31638 markings/sec, 120 secs
lola: sara is running 125 secs || 4165483 markings, 4851442 edges, 31644 markings/sec, 125 secs
lola: sara is running 130 secs || 4323763 markings, 5035789 edges, 31656 markings/sec, 130 secs
lola: sara is running 135 secs || 4482381 markings, 5220528 edges, 31724 markings/sec, 135 secs
lola: sara is running 140 secs || 4640617 markings, 5404824 edges, 31647 markings/sec, 140 secs
lola: sara is running 145 secs || 4799183 markings, 5589504 edges, 31713 markings/sec, 145 secs
lola: sara is running 150 secs || 4957555 markings, 5773961 edges, 31674 markings/sec, 150 secs
lola: sara is running 155 secs || 5115875 markings, 5958353 edges, 31664 markings/sec, 155 secs
lola: sara is running 160 secs || 5274378 markings, 6142963 edges, 31701 markings/sec, 160 secs
lola: sara is running 165 secs || 5432736 markings, 6327398 edges, 31672 markings/sec, 165 secs
lola: sara is running 170 secs || 5591208 markings, 6511975 edges, 31694 markings/sec, 170 secs
lola: sara is running 175 secs || 5749714 markings, 6696582 edges, 31701 markings/sec, 175 secs
lola: sara is running 180 secs || 5908101 markings, 6881053 edges, 31677 markings/sec, 180 secs
lola: sara is running 185 secs || 6066355 markings, 7065371 edges, 31651 markings/sec, 185 secs
lola: sara is running 190 secs || 6224455 markings, 7249503 edges, 31620 markings/sec, 190 secs
lola: sara is running 195 secs || 6382594 markings, 7433690 edges, 31628 markings/sec, 195 secs
lola: sara is running 200 secs || 6540246 markings, 7617301 edges, 31530 markings/sec, 200 secs
lola: sara is running 205 secs || 6698092 markings, 7801144 edges, 31569 markings/sec, 205 secs
lola: sara is running 210 secs || 6856011 markings, 7985072 edges, 31584 markings/sec, 210 secs
lola: sara is running 215 secs || 7013564 markings, 8168571 edges, 31511 markings/sec, 215 secs
lola: sara is running 220 secs || 7171296 markings, 8352279 edges, 31546 markings/sec, 220 secs
lola: sara is running 225 secs || 7329077 markings, 8536045 edges, 31556 markings/sec, 225 secs
lola: sara is running 230 secs || 7486536 markings, 8719431 edges, 31492 markings/sec, 230 secs
lola: sara is running 235 secs || 7644448 markings, 8903351 edges, 31582 markings/sec, 235 secs
lola: sara is running 240 secs || 7802272 markings, 9087168 edges, 31565 markings/sec, 240 secs
lola: sara is running 245 secs || 7959790 markings, 9270629 edges, 31504 markings/sec, 245 secs
lola: sara is running 250 secs || 8117529 markings, 9454344 edges, 31548 markings/sec, 250 secs
lola: sara is running 255 secs || 8275066 markings, 9637826 edges, 31507 markings/sec, 255 secs
lola: sara is running 260 secs || 8433054 markings, 9821830 edges, 31598 markings/sec, 260 secs
lola: sara is running 265 secs || 8590915 markings, 10005691 edges, 31572 markings/sec, 265 secs
lola: sara is running 270 secs || 8748132 markings, 10188795 edges, 31443 markings/sec, 270 secs
lola: sara is running 275 secs || 8903994 markings, 10370329 edges, 31172 markings/sec, 275 secs
lola: sara is running 280 secs || 9059591 markings, 10551550 edges, 31119 markings/sec, 280 secs
lola: sara is running 285 secs || 9215417 markings, 10733040 edges, 31165 markings/sec, 285 secs
lola: sara is running 290 secs || 9371738 markings, 10915104 edges, 31264 markings/sec, 290 secs
lola: sara is running 295 secs || 9527664 markings, 11096704 edges, 31185 markings/sec, 295 secs
lola: sara is running 300 secs || 9683833 markings, 11278594 edges, 31234 markings/sec, 300 secs
lola: sara is running 305 secs || 9839822 markings, 11460273 edges, 31198 markings/sec, 305 secs
lola: sara is running 310 secs || 9995785 markings, 11641924 edges, 31193 markings/sec, 310 secs
lola: sara is running 315 secs || 10151631 markings, 11823436 edges, 31169 markings/sec, 315 secs
lola: sara is running 320 secs || 10307338 markings, 12004790 edges, 31141 markings/sec, 320 secs
lola: sara is running 325 secs || 10464104 markings, 12187375 edges, 31353 markings/sec, 325 secs
lola: sara is running 330 secs || 10620537 markings, 12369568 edges, 31287 markings/sec, 330 secs
lola: sara is running 335 secs || 10776962 markings, 12551753 edges, 31285 markings/sec, 335 secs
lola: sara is running 340 secs || 10933217 markings, 12733744 edges, 31251 markings/sec, 340 secs
lola: sara is running 345 secs || 11089323 markings, 12915554 edges, 31221 markings/sec, 345 secs
lola: sara is running 350 secs || 11245456 markings, 13097403 edges, 31227 markings/sec, 350 secs
lola: sara is running 355 secs || 11401258 markings, 13278865 edges, 31160 markings/sec, 355 secs
lola: sara is running 360 secs || 11557242 markings, 13460538 edges, 31197 markings/sec, 360 secs
lola: sara is running 365 secs || 11713290 markings, 13642282 edges, 31210 markings/sec, 365 secs
lola: sara is running 370 secs || 11869204 markings, 13823876 edges, 31183 markings/sec, 370 secs
lola: sara is running 375 secs || 12032689 markings, 14014280 edges, 32697 markings/sec, 375 secs
lola: sara is running 380 secs || 12195997 markings, 14204484 edges, 32662 markings/sec, 380 secs
lola: sara is running 385 secs || 12359676 markings, 14395118 edges, 32736 markings/sec, 385 secs
lola: sara is running 390 secs || 12523559 markings, 14585990 edges, 32777 markings/sec, 390 secs
lola: sara is running 395 secs || 12687204 markings, 14776588 edges, 32729 markings/sec, 395 secs
lola: sara is running 400 secs || 12849472 markings, 14965575 edges, 32454 markings/sec, 400 secs
lola: sara is running 405 secs || 13009411 markings, 15151858 edges, 31988 markings/sec, 405 secs
lola: sara is running 410 secs || 13172890 markings, 15342257 edges, 32696 markings/sec, 410 secs
lola: sara is running 415 secs || 13336833 markings, 15533200 edges, 32789 markings/sec, 415 secs
lola: sara is running 420 secs || 13500521 markings, 15723848 edges, 32738 markings/sec, 420 secs
lola: sara is running 425 secs || 13658549 markings, 15907900 edges, 31606 markings/sec, 425 secs
lola: sara is running 430 secs || 13814509 markings, 16089541 edges, 31192 markings/sec, 430 secs
lola: sara is running 435 secs || 13970502 markings, 16271226 edges, 31199 markings/sec, 435 secs
lola: sara is running 440 secs || 14126641 markings, 16453078 edges, 31228 markings/sec, 440 secs
lola: sara is running 445 secs || 14282722 markings, 16634864 edges, 31216 markings/sec, 445 secs
lola: sara is running 450 secs || 14438775 markings, 16816614 edges, 31211 markings/sec, 450 secs
lola: sara is running 455 secs || 14594794 markings, 16998332 edges, 31204 markings/sec, 455 secs
lola: sara is running 460 secs || 14750849 markings, 17180086 edges, 31211 markings/sec, 460 secs
lola: sara is running 465 secs || 14913773 markings, 17369842 edges, 32585 markings/sec, 465 secs
lola: sara is running 470 secs || 15077902 markings, 17561003 edges, 32826 markings/sec, 470 secs
lola: sara is running 475 secs || 15241723 markings, 17751805 edges, 32764 markings/sec, 475 secs
lola: sara is running 480 secs || 15406018 markings, 17943159 edges, 32859 markings/sec, 480 secs
lola: sara is running 485 secs || 15570607 markings, 18134857 edges, 32918 markings/sec, 485 secs
lola: sara is running 490 secs || 15727270 markings, 18317323 edges, 31333 markings/sec, 490 secs
lola: sara is running 495 secs || 15883475 markings, 18499252 edges, 31241 markings/sec, 495 secs
lola: sara is running 500 secs || 16039416 markings, 18680880 edges, 31188 markings/sec, 500 secs
lola: sara is running 505 secs || 16195288 markings, 18862422 edges, 31174 markings/sec, 505 secs
lola: sara is running 510 secs || 16351075 markings, 19043869 edges, 31157 markings/sec, 510 secs
lola: sara is running 515 secs || 16506903 markings, 19225362 edges, 31166 markings/sec, 515 secs
lola: sara is running 520 secs || 16662602 markings, 19406706 edges, 31140 markings/sec, 520 secs
lola: sara is running 525 secs || 16818818 markings, 19588649 edges, 31243 markings/sec, 525 secs
lola: sara is running 530 secs || 16974601 markings, 19770091 edges, 31157 markings/sec, 530 secs
lola: sara is running 535 secs || 17130772 markings, 19951986 edges, 31234 markings/sec, 535 secs
lola: sara is running 540 secs || 17286828 markings, 20133746 edges, 31211 markings/sec, 540 secs
lola: sara is running 545 secs || 17443283 markings, 20315978 edges, 31291 markings/sec, 545 secs
lola: sara is running 550 secs || 17599457 markings, 20497875 edges, 31235 markings/sec, 550 secs
lola: sara is running 555 secs || 17755152 markings, 20679212 edges, 31139 markings/sec, 555 secs
lola: sara is running 560 secs || 17910702 markings, 20860381 edges, 31110 markings/sec, 560 secs
lola: sara is running 565 secs || 18066202 markings, 21041493 edges, 31100 markings/sec, 565 secs
lola: sara is running 570 secs || 18221683 markings, 21222585 edges, 31096 markings/sec, 570 secs
lola: sara is running 575 secs || 18377045 markings, 21403533 edges, 31072 markings/sec, 575 secs
lola: sara is running 580 secs || 18532323 markings, 21584391 edges, 31056 markings/sec, 580 secs
lola: sara is running 585 secs || 18687944 markings, 21765639 edges, 31124 markings/sec, 585 secs
lola: sara is running 590 secs || 18843081 markings, 21946328 edges, 31027 markings/sec, 590 secs
lola: sara is running 595 secs || 18998822 markings, 22127719 edges, 31148 markings/sec, 595 secs
lola: sara is running 600 secs || 19154733 markings, 22309318 edges, 31182 markings/sec, 600 secs
lola: sara is running 605 secs || 19310719 markings, 22491003 edges, 31197 markings/sec, 605 secs
lola: sara is running 610 secs || 19466617 markings, 22672575 edges, 31180 markings/sec, 610 secs
lola: sara is running 615 secs || 19622235 markings, 22853824 edges, 31124 markings/sec, 615 secs
lola: sara is running 620 secs || 19777561 markings, 23034733 edges, 31065 markings/sec, 620 secs
lola: sara is running 625 secs || 19932771 markings, 23215506 edges, 31042 markings/sec, 625 secs
lola: sara is running 630 secs || 20087894 markings, 23396178 edges, 31025 markings/sec, 630 secs
lola: sara is running 635 secs || 20243044 markings, 23576880 edges, 31030 markings/sec, 635 secs
lola: sara is running 640 secs || 20397950 markings, 23757301 edges, 30981 markings/sec, 640 secs
lola: sara is running 645 secs || 20553433 markings, 23938395 edges, 31097 markings/sec, 645 secs
lola: sara is running 650 secs || 20708917 markings, 24119486 edges, 31097 markings/sec, 650 secs
lola: sara is running 655 secs || 20864598 markings, 24300806 edges, 31136 markings/sec, 655 secs
lola: sara is running 660 secs || 21020328 markings, 24482191 edges, 31146 markings/sec, 660 secs
lola: sara is running 665 secs || 21176259 markings, 24663812 edges, 31186 markings/sec, 665 secs
lola: sara is running 670 secs || 21332157 markings, 24845385 edges, 31180 markings/sec, 670 secs
lola: sara is running 675 secs || 21488783 markings, 25027807 edges, 31325 markings/sec, 675 secs
lola: sara is running 680 secs || 21645069 markings, 25209829 edges, 31257 markings/sec, 680 secs
lola: sara is running 685 secs || 21801509 markings, 25392031 edges, 31288 markings/sec, 685 secs
lola: sara is running 690 secs || 21957386 markings, 25573579 edges, 31175 markings/sec, 690 secs
lola: sara is running 695 secs || 22113160 markings, 25755008 edges, 31155 markings/sec, 695 secs
lola: sara is running 700 secs || 22268931 markings, 25936436 edges, 31154 markings/sec, 700 secs
lola: sara is running 705 secs || 22424707 markings, 26117862 edges, 31155 markings/sec, 705 secs
lola: sara is running 710 secs || 22580031 markings, 26298768 edges, 31065 markings/sec, 710 secs
lola: sara is running 715 secs || 22735487 markings, 26479823 edges, 31091 markings/sec, 715 secs
lola: sara is running 720 secs || 22891041 markings, 26660994 edges, 31111 markings/sec, 720 secs
lola: sara is running 725 secs || 23046953 markings, 26842586 edges, 31182 markings/sec, 725 secs
lola: sara is running 730 secs || 23202502 markings, 27023751 edges, 31110 markings/sec, 730 secs
lola: sara is running 735 secs || 23358382 markings, 27205302 edges, 31176 markings/sec, 735 secs
lola: sara is running 740 secs || 23514595 markings, 27387241 edges, 31243 markings/sec, 740 secs
lola: sara is running 745 secs || 23670888 markings, 27569275 edges, 31259 markings/sec, 745 secs
lola: sara is running 750 secs || 23827419 markings, 27751582 edges, 31306 markings/sec, 750 secs
lola: sara is running 755 secs || 23989234 markings, 27940048 edges, 32363 markings/sec, 755 secs
lola: sara is running 760 secs || 24154435 markings, 28132458 edges, 33040 markings/sec, 760 secs
lola: sara is running 765 secs || 24319379 markings, 28324571 edges, 32989 markings/sec, 765 secs
lola: sara is running 770 secs || 24484626 markings, 28517030 edges, 33049 markings/sec, 770 secs
lola: sara is running 775 secs || 24649696 markings, 28709285 edges, 33014 markings/sec, 775 secs
lola: sara is running 780 secs || 24814769 markings, 28901546 edges, 33015 markings/sec, 780 secs
lola: sara is running 785 secs || 24979697 markings, 29093638 edges, 32986 markings/sec, 785 secs
lola: sara is running 790 secs || 25144701 markings, 29285814 edges, 33001 markings/sec, 790 secs
lola: sara is running 795 secs || 25309884 markings, 29478204 edges, 33037 markings/sec, 795 secs
lola: sara is running 800 secs || 25474696 markings, 29670162 edges, 32962 markings/sec, 800 secs
lola: sara is running 805 secs || 25639695 markings, 29862330 edges, 33000 markings/sec, 805 secs
lola: sara is running 810 secs || 25804497 markings, 30054278 edges, 32960 markings/sec, 810 secs
lola: sara is running 815 secs || 25969954 markings, 30246985 edges, 33091 markings/sec, 815 secs
lola: sara is running 820 secs || 26135377 markings, 30439649 edges, 33085 markings/sec, 820 secs
lola: sara is running 825 secs || 26301055 markings, 30632615 edges, 33136 markings/sec, 825 secs
lola: sara is running 830 secs || 26466407 markings, 30825200 edges, 33070 markings/sec, 830 secs
lola: sara is running 835 secs || 26632190 markings, 31018281 edges, 33157 markings/sec, 835 secs
lola: sara is running 840 secs || 26797245 markings, 31210517 edges, 33011 markings/sec, 840 secs
lola: sara is running 845 secs || 26962239 markings, 31402687 edges, 32999 markings/sec, 845 secs
lola: sara is running 850 secs || 27127087 markings, 31594679 edges, 32970 markings/sec, 850 secs
lola: sara is running 855 secs || 27291786 markings, 31786506 edges, 32940 markings/sec, 855 secs
lola: sara is running 860 secs || 27456633 markings, 31978498 edges, 32969 markings/sec, 860 secs
lola: sara is running 865 secs || 27621073 markings, 32170020 edges, 32888 markings/sec, 865 secs
lola: sara is running 870 secs || 27785728 markings, 32361792 edges, 32931 markings/sec, 870 secs
lola: sara is running 875 secs || 27950361 markings, 32553537 edges, 32927 markings/sec, 875 secs
lola: sara is running 880 secs || 28114759 markings, 32745008 edges, 32880 markings/sec, 880 secs
lola: sara is running 885 secs || 28279590 markings, 32936983 edges, 32966 markings/sec, 885 secs
lola: sara is running 890 secs || 28444749 markings, 33129344 edges, 33032 markings/sec, 890 secs
lola: sara is running 895 secs || 28609624 markings, 33321372 edges, 32975 markings/sec, 895 secs
lola: sara is running 900 secs || 28774674 markings, 33513607 edges, 33010 markings/sec, 900 secs
lola: sara is running 905 secs || 28939581 markings, 33705675 edges, 32981 markings/sec, 905 secs
lola: sara is running 910 secs || 29104771 markings, 33898068 edges, 33038 markings/sec, 910 secs
lola: sara is running 915 secs || 29269968 markings, 34090473 edges, 33039 markings/sec, 915 secs
lola: sara is running 920 secs || 29434654 markings, 34282281 edges, 32937 markings/sec, 920 secs
lola: sara is running 925 secs || 29598878 markings, 34473554 edges, 32845 markings/sec, 925 secs
lola: sara is running 930 secs || 29763197 markings, 34664936 edges, 32864 markings/sec, 930 secs
lola: sara is running 935 secs || 29928134 markings, 34857036 edges, 32987 markings/sec, 935 secs
lola: sara is running 940 secs || 30092916 markings, 35048956 edges, 32956 markings/sec, 940 secs
lola: sara is running 945 secs || 30257747 markings, 35240932 edges, 32966 markings/sec, 945 secs
lola: sara is running 950 secs || 30422315 markings, 35432604 edges, 32914 markings/sec, 950 secs
lola: sara is running 955 secs || 30586954 markings, 35624354 edges, 32928 markings/sec, 955 secs
lola: sara is running 960 secs || 30751975 markings, 35816551 edges, 33004 markings/sec, 960 secs
lola: sara is running 965 secs || 30916744 markings, 36008457 edges, 32954 markings/sec, 965 secs
lola: sara is running 970 secs || 31081431 markings, 36200264 edges, 32937 markings/sec, 970 secs
lola: sara is running 975 secs || 31245835 markings, 36391747 edges, 32881 markings/sec, 975 secs
lola: sara is running 980 secs || 31410617 markings, 36583666 edges, 32956 markings/sec, 980 secs
lola: sara is running 985 secs || 31575320 markings, 36775490 edges, 32941 markings/sec, 985 secs
lola: sara is running 990 secs || 31740042 markings, 36967341 edges, 32944 markings/sec, 990 secs
lola: sara is running 995 secs || 31904631 markings, 37159033 edges, 32918 markings/sec, 995 secs
lola: sara is running 1000 secs || 32069336 markings, 37350865 edges, 32941 markings/sec, 1000 secs
lola: sara is running 1005 secs || 32233981 markings, 37542621 edges, 32929 markings/sec, 1005 secs
lola: sara is running 1010 secs || 32398990 markings, 37734807 edges, 33002 markings/sec, 1010 secs
lola: sara is running 1015 secs || 32564107 markings, 37927115 edges, 33023 markings/sec, 1015 secs
lola: sara is running 1020 secs || 32729027 markings, 38119195 edges, 32984 markings/sec, 1020 secs
lola: sara is running 1025 secs || 32893843 markings, 38311155 edges, 32963 markings/sec, 1025 secs
lola: sara is running 1030 secs || 33058668 markings, 38503125 edges, 32965 markings/sec, 1030 secs
lola: sara is running 1035 secs || 33223845 markings, 38695505 edges, 33035 markings/sec, 1035 secs
lola: sara is running 1040 secs || 33388702 markings, 38887510 edges, 32971 markings/sec, 1040 secs
lola: sara is running 1045 secs || 33553497 markings, 39079447 edges, 32959 markings/sec, 1045 secs
lola: sara is running 1050 secs || 33718253 markings, 39271333 edges, 32951 markings/sec, 1050 secs
lola: sara is running 1055 secs || 33882865 markings, 39463061 edges, 32922 markings/sec, 1055 secs
lola: sara is running 1060 secs || 34047484 markings, 39654790 edges, 32924 markings/sec, 1060 secs
lola: sara is running 1065 secs || 34212268 markings, 39846711 edges, 32957 markings/sec, 1065 secs
lola: sara is running 1070 secs || 34376926 markings, 40038491 edges, 32932 markings/sec, 1070 secs
lola: sara is running 1075 secs || 34541351 markings, 40229990 edges, 32885 markings/sec, 1075 secs
lola: sara is running 1080 secs || 34705649 markings, 40421347 edges, 32860 markings/sec, 1080 secs
lola: sara is running 1085 secs || 34870374 markings, 40613205 edges, 32945 markings/sec, 1085 secs
lola: sara is running 1090 secs || 35035147 markings, 40805111 edges, 32955 markings/sec, 1090 secs
lola: sara is running 1095 secs || 35199675 markings, 40996736 edges, 32906 markings/sec, 1095 secs
lola: sara is running 1100 secs || 35363932 markings, 41188048 edges, 32851 markings/sec, 1100 secs
lola: sara is running 1105 secs || 35528404 markings, 41379602 edges, 32894 markings/sec, 1105 secs
lola: sara is running 1110 secs || 35693176 markings, 41571517 edges, 32954 markings/sec, 1110 secs
lola: sara is running 1115 secs || 35858160 markings, 41763672 edges, 32997 markings/sec, 1115 secs
lola: sara is running 1120 secs || 36023010 markings, 41955668 edges, 32970 markings/sec, 1120 secs
lola: sara is running 1125 secs || 36187347 markings, 42147071 edges, 32867 markings/sec, 1125 secs
lola: sara is running 1130 secs || 36351676 markings, 42338462 edges, 32866 markings/sec, 1130 secs
lola: sara is running 1135 secs || 36516570 markings, 42530520 edges, 32979 markings/sec, 1135 secs
lola: sara is running 1140 secs || 36681349 markings, 42722434 edges, 32956 markings/sec, 1140 secs
lola: sara is running 1145 secs || 36845717 markings, 42913866 edges, 32874 markings/sec, 1145 secs
lola: sara is running 1150 secs || 37010003 markings, 43105212 edges, 32857 markings/sec, 1150 secs
lola: sara is running 1155 secs || 37174431 markings, 43296720 edges, 32886 markings/sec, 1155 secs
lola: sara is running 1160 secs || 37338698 markings, 43488046 edges, 32853 markings/sec, 1160 secs
lola: sara is running 1165 secs || 37502961 markings, 43679356 edges, 32853 markings/sec, 1165 secs
lola: sara is running 1170 secs || 37667190 markings, 43870634 edges, 32846 markings/sec, 1170 secs
lola: sara is running 1175 secs || 37831370 markings, 44061856 edges, 32836 markings/sec, 1175 secs
lola: sara is running 1180 secs || 37995621 markings, 44253156 edges, 32850 markings/sec, 1180 secs
lola: sara is running 1185 secs || 38159870 markings, 44444456 edges, 32850 markings/sec, 1185 secs
lola: sara is running 1190 secs || 38324575 markings, 44636289 edges, 32941 markings/sec, 1190 secs
lola: sara is running 1195 secs || 38488893 markings, 44827663 edges, 32864 markings/sec, 1195 secs
lola: sara is running 1200 secs || 38653303 markings, 45019155 edges, 32882 markings/sec, 1200 secs
lola: sara is running 1205 secs || 38817776 markings, 45210716 edges, 32895 markings/sec, 1205 secs
lola: sara is running 1210 secs || 38981894 markings, 45401862 edges, 32824 markings/sec, 1210 secs
lola: sara is running 1215 secs || 39146559 markings, 45593646 edges, 32933 markings/sec, 1215 secs
lola: sara is running 1220 secs || 39310965 markings, 45785124 edges, 32881 markings/sec, 1220 secs
lola: sara is running 1225 secs || 39475587 markings, 45976862 edges, 32924 markings/sec, 1225 secs
lola: sara is running 1230 secs || 39639960 markings, 46168306 edges, 32875 markings/sec, 1230 secs
lola: sara is running 1235 secs || 39804151 markings, 46359537 edges, 32838 markings/sec, 1235 secs
lola: sara is running 1240 secs || 39968871 markings, 46551388 edges, 32944 markings/sec, 1240 secs
lola: sara is running 1245 secs || 40132986 markings, 46742527 edges, 32823 markings/sec, 1245 secs
lola: sara is running 1250 secs || 40296979 markings, 46933532 edges, 32799 markings/sec, 1250 secs
lola: sara is running 1255 secs || 40370344 markings, 47018977 edges, 14673 markings/sec, 1255 secs
lola: sara is running 1260 secs || 40373860 markings, 47023076 edges, 703 markings/sec, 1260 secs
lola: sara is running 1265 secs || 40376686 markings, 47026367 edges, 565 markings/sec, 1265 secs
lola: sara is running 1270 secs || 40378220 markings, 47028151 edges, 307 markings/sec, 1270 secs
lola: sara is running 1275 secs || 40385950 markings, 47037156 edges, 1546 markings/sec, 1275 secs
lola: sara is running 1280 secs || 40389953 markings, 47041818 edges, 801 markings/sec, 1280 secs
lola: sara is running 1285 secs || 40391539 markings, 47043668 edges, 317 markings/sec, 1285 secs
lola: sara is running 1290 secs || 40393118 markings, 47045503 edges, 316 markings/sec, 1290 secs
lola: sara is running 1295 secs || 40395682 markings, 47048491 edges, 513 markings/sec, 1295 secs
lola: sara is running 1300 secs || 40402245 markings, 47056133 edges, 1313 markings/sec, 1300 secs
lola: sara is running 1305 secs || 40483135 markings, 47150343 edges, 16178 markings/sec, 1305 secs
lola: sara is running 1310 secs || 40648711 markings, 47343192 edges, 33115 markings/sec, 1310 secs
lola: sara is running 1315 secs || 40814421 markings, 47536192 edges, 33142 markings/sec, 1315 secs
lola: sara is running 1320 secs || 40980144 markings, 47729208 edges, 33145 markings/sec, 1320 secs
lola: sara is running 1325 secs || 41145846 markings, 47922204 edges, 33140 markings/sec, 1325 secs
lola: sara is running 1330 secs || 41304172 markings, 48106603 edges, 31665 markings/sec, 1330 secs
lola: sara is running 1335 secs || 41469161 markings, 48298760 edges, 32998 markings/sec, 1335 secs
lola: sara is running 1340 secs || 41634745 markings, 48491619 edges, 33117 markings/sec, 1340 secs
lola: sara is running 1345 secs || 41793358 markings, 48676351 edges, 31723 markings/sec, 1345 secs
lola: sara is running 1350 secs || 41959114 markings, 48869406 edges, 33151 markings/sec, 1350 secs
lola: sara is running 1355 secs || 42124741 markings, 49062314 edges, 33125 markings/sec, 1355 secs
lola: sara is running 1360 secs || 42290138 markings, 49254950 edges, 33079 markings/sec, 1360 secs
lola: sara is running 1365 secs || 42455828 markings, 49447928 edges, 33138 markings/sec, 1365 secs
lola: sara is running 1370 secs || 42621892 markings, 49641339 edges, 33213 markings/sec, 1370 secs
lola: sara is running 1375 secs || 42787797 markings, 49834569 edges, 33181 markings/sec, 1375 secs
lola: sara is running 1380 secs || 42946554 markings, 50019474 edges, 31751 markings/sec, 1380 secs
lola: sara is running 1385 secs || 43111971 markings, 50212133 edges, 33083 markings/sec, 1385 secs
lola: sara is running 1390 secs || 43277460 markings, 50404876 edges, 33098 markings/sec, 1390 secs
lola: sara is running 1395 secs || 43442670 markings, 50597291 edges, 33042 markings/sec, 1395 secs
lola: sara is running 1400 secs || 43607827 markings, 50789647 edges, 33031 markings/sec, 1400 secs
lola: sara is running 1405 secs || 43773097 markings, 50982140 edges, 33054 markings/sec, 1405 secs
lola: sara is running 1410 secs || 43938429 markings, 51174701 edges, 33066 markings/sec, 1410 secs
lola: sara is running 1415 secs || 44103384 markings, 51366828 edges, 32991 markings/sec, 1415 secs
lola: sara is running 1420 secs || 44268422 markings, 51559041 edges, 33008 markings/sec, 1420 secs
lola: sara is running 1425 secs || 44433469 markings, 51751272 edges, 33009 markings/sec, 1425 secs
lola: sara is running 1430 secs || 44598463 markings, 51943438 edges, 32999 markings/sec, 1430 secs
lola: sara is running 1435 secs || 44756661 markings, 52127692 edges, 31640 markings/sec, 1435 secs
lola: sara is running 1440 secs || 44921552 markings, 52319738 edges, 32978 markings/sec, 1440 secs
lola: sara is running 1445 secs || 45087019 markings, 52512457 edges, 33093 markings/sec, 1445 secs
lola: sara is running 1450 secs || 45252169 markings, 52704802 edges, 33030 markings/sec, 1450 secs
lola: sara is running 1455 secs || 45417502 markings, 52897370 edges, 33067 markings/sec, 1455 secs
lola: sara is running 1460 secs || 45582675 markings, 53089744 edges, 33035 markings/sec, 1460 secs
lola: sara is running 1465 secs || 45747579 markings, 53281806 edges, 32981 markings/sec, 1465 secs
lola: sara is running 1470 secs || 45913183 markings, 53474686 edges, 33121 markings/sec, 1470 secs
lola: sara is running 1475 secs || 46078711 markings, 53667470 edges, 33106 markings/sec, 1475 secs
lola: sara is running 1480 secs || 46244158 markings, 53860168 edges, 33089 markings/sec, 1480 secs
lola: sara is running 1485 secs || 46409347 markings, 54052563 edges, 33038 markings/sec, 1485 secs
lola: sara is running 1490 secs || 46574648 markings, 54245086 edges, 33060 markings/sec, 1490 secs
lola: sara is running 1495 secs || 46740493 markings, 54438245 edges, 33169 markings/sec, 1495 secs
lola: sara is running 1500 secs || 46906442 markings, 54631525 edges, 33190 markings/sec, 1500 secs
lola: sara is running 1505 secs || 47072296 markings, 54824696 edges, 33171 markings/sec, 1505 secs
lola: sara is running 1510 secs || 47238198 markings, 55017919 edges, 33180 markings/sec, 1510 secs
lola: sara is running 1515 secs || 47403928 markings, 55210944 edges, 33146 markings/sec, 1515 secs
lola: sara is running 1520 secs || 47569295 markings, 55403547 edges, 33073 markings/sec, 1520 secs
lola: sara is running 1525 secs || 47734829 markings, 55596343 edges, 33107 markings/sec, 1525 secs
lola: sara is running 1530 secs || 47900218 markings, 55788968 edges, 33078 markings/sec, 1530 secs
lola: sara is running 1535 secs || 48065683 markings, 55981686 edges, 33093 markings/sec, 1535 secs
lola: sara is running 1540 secs || 48230838 markings, 56174036 edges, 33031 markings/sec, 1540 secs
lola: sara is running 1545 secs || 48396342 markings, 56366801 edges, 33101 markings/sec, 1545 secs
lola: sara is running 1550 secs || 48561843 markings, 56559556 edges, 33100 markings/sec, 1550 secs
lola: sara is running 1555 secs || 48727178 markings, 56752126 edges, 33067 markings/sec, 1555 secs
lola: sara is running 1560 secs || 48892596 markings, 56944784 edges, 33084 markings/sec, 1560 secs
lola: sara is running 1565 secs || 49057785 markings, 57137181 edges, 33038 markings/sec, 1565 secs
lola: sara is running 1570 secs || 49223289 markings, 57329942 edges, 33101 markings/sec, 1570 secs
lola: sara is running 1575 secs || 49389154 markings, 57523122 edges, 33173 markings/sec, 1575 secs
lola: sara is running 1580 secs || 49554911 markings, 57716175 edges, 33151 markings/sec, 1580 secs
lola: sara is running 1585 secs || 49720465 markings, 57908997 edges, 33111 markings/sec, 1585 secs
lola: sara is running 1590 secs || 49885885 markings, 58101663 edges, 33084 markings/sec, 1590 secs
lola: sara is running 1595 secs || 50051430 markings, 58294473 edges, 33109 markings/sec, 1595 secs
lola: sara is running 1600 secs || 50217127 markings, 58487459 edges, 33139 markings/sec, 1600 secs
lola: sara is running 1605 secs || 50382901 markings, 58680530 edges, 33155 markings/sec, 1605 secs
lola: sara is running 1610 secs || 50548220 markings, 58873077 edges, 33064 markings/sec, 1610 secs
lola: sara is running 1615 secs || 50713525 markings, 59065605 edges, 33061 markings/sec, 1615 secs
lola: sara is running 1620 secs || 50878522 markings, 59257781 edges, 32999 markings/sec, 1620 secs
lola: sara is running 1625 secs || 51043696 markings, 59450155 edges, 33035 markings/sec, 1625 secs
lola: sara is running 1630 secs || 51208802 markings, 59642453 edges, 33021 markings/sec, 1630 secs
lola: sara is running 1635 secs || 51373870 markings, 59834709 edges, 33014 markings/sec, 1635 secs
lola: sara is running 1640 secs || 51538872 markings, 60026885 edges, 33000 markings/sec, 1640 secs
lola: sara is running 1645 secs || 51703603 markings, 60218748 edges, 32946 markings/sec, 1645 secs
lola: sara is running 1650 secs || 51868836 markings, 60411190 edges, 33047 markings/sec, 1650 secs
lola: sara is running 1655 secs || 52033729 markings, 60603238 edges, 32979 markings/sec, 1655 secs
lola: sara is running 1660 secs || 52198719 markings, 60795403 edges, 32998 markings/sec, 1660 secs
lola: sara is running 1665 secs || 52363606 markings, 60987444 edges, 32977 markings/sec, 1665 secs
lola: sara is running 1670 secs || 52528315 markings, 61179279 edges, 32942 markings/sec, 1670 secs
lola: sara is running 1675 secs || 52693744 markings, 61371952 edges, 33086 markings/sec, 1675 secs
lola: sara is running 1680 secs || 52859198 markings, 61564656 edges, 33091 markings/sec, 1680 secs
lola: sara is running 1685 secs || 53024572 markings, 61757271 edges, 33075 markings/sec, 1685 secs
lola: sara is running 1690 secs || 53189656 markings, 61949539 edges, 33017 markings/sec, 1690 secs
lola: sara is running 1695 secs || 53354853 markings, 62141943 edges, 33039 markings/sec, 1695 secs
lola: sara is running 1700 secs || 53520225 markings, 62334551 edges, 33074 markings/sec, 1700 secs
lola: sara is running 1705 secs || 53685660 markings, 62527234 edges, 33087 markings/sec, 1705 secs
lola: sara is running 1710 secs || 53850918 markings, 62719710 edges, 33052 markings/sec, 1710 secs
lola: sara is running 1715 secs || 54016109 markings, 62912102 edges, 33038 markings/sec, 1715 secs
lola: sara is running 1720 secs || 54181090 markings, 63104254 edges, 32996 markings/sec, 1720 secs
lola: sara is running 1725 secs || 54346086 markings, 63296426 edges, 32999 markings/sec, 1725 secs
lola: sara is running 1730 secs || 54511238 markings, 63488778 edges, 33030 markings/sec, 1730 secs
lola: sara is running 1735 secs || 54676207 markings, 63680917 edges, 32994 markings/sec, 1735 secs
lola: sara is running 1740 secs || 54841176 markings, 63873055 edges, 32994 markings/sec, 1740 secs
lola: sara is running 1745 secs || 55005919 markings, 64064926 edges, 32949 markings/sec, 1745 secs
lola: sara is running 1750 secs || 55171000 markings, 64257201 edges, 33016 markings/sec, 1750 secs
lola: sara is running 1755 secs || 55335957 markings, 64449320 edges, 32991 markings/sec, 1755 secs
lola: sara is running 1760 secs || 55500958 markings, 64641496 edges, 33000 markings/sec, 1760 secs
lola: sara is running 1765 secs || 55665820 markings, 64833513 edges, 32972 markings/sec, 1765 secs
lola: sara is running 1770 secs || 55830673 markings, 65025512 edges, 32971 markings/sec, 1770 secs
lola: sara is running 1775 secs || 55995601 markings, 65217604 edges, 32986 markings/sec, 1775 secs
lola: sara is running 1780 secs || 56160990 markings, 65410229 edges, 33078 markings/sec, 1780 secs
lola: sara is running 1785 secs || 56326471 markings, 65602967 edges, 33096 markings/sec, 1785 secs
lola: sara is running 1790 secs || 56491633 markings, 65795332 edges, 33032 markings/sec, 1790 secs
lola: sara is running 1795 secs || 56656749 markings, 65987639 edges, 33023 markings/sec, 1795 secs
lola: sara is running 1800 secs || 56821998 markings, 66180106 edges, 33050 markings/sec, 1800 secs
lola: sara is running 1805 secs || 56987347 markings, 66372681 edges, 33070 markings/sec, 1805 secs
lola: sara is running 1810 secs || 57152588 markings, 66565136 edges, 33048 markings/sec, 1810 secs
lola: sara is running 1815 secs || 57318316 markings, 66758164 edges, 33146 markings/sec, 1815 secs
lola: sara is running 1820 secs || 57484567 markings, 66951791 edges, 33250 markings/sec, 1820 secs
lola: sara is running 1825 secs || 57650527 markings, 67145084 edges, 33192 markings/sec, 1825 secs
lola: sara is running 1830 secs || 57816548 markings, 67338448 edges, 33204 markings/sec, 1830 secs
lola: sara is running 1835 secs || 57982353 markings, 67531557 edges, 33161 markings/sec, 1835 secs
lola: sara is running 1840 secs || 58148236 markings, 67724762 edges, 33177 markings/sec, 1840 secs
lola: sara is running 1845 secs || 58313944 markings, 67917759 edges, 33142 markings/sec, 1845 secs
lola: sara is running 1850 secs || 58479566 markings, 68110660 edges, 33124 markings/sec, 1850 secs
lola: sara is running 1855 secs || 58645686 markings, 68304143 edges, 33224 markings/sec, 1855 secs
lola: sara is running 1860 secs || 58811572 markings, 68497342 edges, 33177 markings/sec, 1860 secs
lola: sara is running 1865 secs || 58977541 markings, 68690650 edges, 33194 markings/sec, 1865 secs
lola: sara is running 1870 secs || 59143362 markings, 68883782 edges, 33164 markings/sec, 1870 secs
lola: sara is running 1875 secs || 59309196 markings, 69076923 edges, 33167 markings/sec, 1875 secs
lola: sara is running 1880 secs || 59475350 markings, 69270445 edges, 33231 markings/sec, 1880 secs
lola: sara is running 1885 secs || 59641712 markings, 69464201 edges, 33272 markings/sec, 1885 secs
lola: sara is running 1890 secs || 59807889 markings, 69657750 edges, 33235 markings/sec, 1890 secs
lola: sara is running 1895 secs || 59973660 markings, 69850823 edges, 33154 markings/sec, 1895 secs
lola: sara is running 1900 secs || 60139624 markings, 70044114 edges, 33193 markings/sec, 1900 secs
lola: sara is running 1905 secs || 60305851 markings, 70237721 edges, 33245 markings/sec, 1905 secs
lola: sara is running 1910 secs || 60472205 markings, 70431475 edges, 33271 markings/sec, 1910 secs
lola: sara is running 1915 secs || 60638492 markings, 70625149 edges, 33257 markings/sec, 1915 secs
lola: sara is running 1920 secs || 60805290 markings, 70819417 edges, 33360 markings/sec, 1920 secs
lola: sara is running 1925 secs || 60971792 markings, 71013340 edges, 33300 markings/sec, 1925 secs
lola: sara is running 1930 secs || 61138315 markings, 71207287 edges, 33305 markings/sec, 1930 secs
lola: sara is running 1935 secs || 61304954 markings, 71401371 edges, 33328 markings/sec, 1935 secs
lola: sara is running 1940 secs || 61471607 markings, 71595470 edges, 33331 markings/sec, 1940 secs
lola: sara is running 1945 secs || 61638113 markings, 71789403 edges, 33301 markings/sec, 1945 secs
lola: sara is running 1950 secs || 61804524 markings, 71983219 edges, 33282 markings/sec, 1950 secs
lola: sara is running 1955 secs || 61970959 markings, 72177067 edges, 33287 markings/sec, 1955 secs
lola: sara is running 1960 secs || 62137313 markings, 72370815 edges, 33271 markings/sec, 1960 secs
lola: sara is running 1965 secs || 62303703 markings, 72564610 edges, 33278 markings/sec, 1965 secs
lola: sara is running 1970 secs || 62470406 markings, 72758766 edges, 33341 markings/sec, 1970 secs
lola: sara is running 1975 secs || 62636707 markings, 72952461 edges, 33260 markings/sec, 1975 secs
lola: sara is running 1980 secs || 62802986 markings, 73146128 edges, 33256 markings/sec, 1980 secs
lola: sara is running 1985 secs || 62969036 markings, 73339524 edges, 33210 markings/sec, 1985 secs
lola: sara is running 1990 secs || 63135264 markings, 73533133 edges, 33246 markings/sec, 1990 secs
lola: sara is running 1995 secs || 63301672 markings, 73726944 edges, 33282 markings/sec, 1995 secs
lola: sara is running 2000 secs || 63467901 markings, 73920552 edges, 33246 markings/sec, 2000 secs
lola: sara is running 2005 secs || 63633948 markings, 74113951 edges, 33209 markings/sec, 2005 secs
lola: sara is running 2010 secs || 63799934 markings, 74307276 edges, 33197 markings/sec, 2010 secs
lola: sara is running 2015 secs || 63965848 markings, 74500515 edges, 33183 markings/sec, 2015 secs
lola: sara is running 2020 secs || 64131919 markings, 74693941 edges, 33214 markings/sec, 2020 secs
lola: sara is running 2025 secs || 64298301 markings, 74887725 edges, 33276 markings/sec, 2025 secs
lola: sara is running 2030 secs || 64464268 markings, 75081023 edges, 33193 markings/sec, 2030 secs
lola: sara is running 2035 secs || 64630262 markings, 75274356 edges, 33199 markings/sec, 2035 secs
lola: sara is running 2040 secs || 64796064 markings, 75467466 edges, 33160 markings/sec, 2040 secs
lola: sara is running 2045 secs || 64962045 markings, 75660785 edges, 33196 markings/sec, 2045 secs
lola: sara is running 2050 secs || 65128255 markings, 75854372 edges, 33242 markings/sec, 2050 secs
lola: sara is running 2055 secs || 65294036 markings, 76047459 edges, 33156 markings/sec, 2055 secs
lola: sara is running 2060 secs || 65459593 markings, 76240285 edges, 33111 markings/sec, 2060 secs
lola: sara is running 2065 secs || 65625110 markings, 76433062 edges, 33103 markings/sec, 2065 secs
lola: sara is running 2070 secs || 65790666 markings, 76625884 edges, 33111 markings/sec, 2070 secs
lola: sara is running 2075 secs || 65956413 markings, 76818932 edges, 33149 markings/sec, 2075 secs
lola: sara is running 2080 secs || 66122420 markings, 77012280 edges, 33201 markings/sec, 2080 secs
lola: sara is running 2085 secs || 66288092 markings, 77205239 edges, 33134 markings/sec, 2085 secs
lola: sara is running 2090 secs || 66453832 markings, 77398278 edges, 33148 markings/sec, 2090 secs
lola: sara is running 2095 secs || 66619331 markings, 77591035 edges, 33100 markings/sec, 2095 secs
lola: sara is running 2100 secs || 66785069 markings, 77784072 edges, 33148 markings/sec, 2100 secs
lola: sara is running 2105 secs || 66950956 markings, 77977281 edges, 33177 markings/sec, 2105 secs
lola: sara is running 2110 secs || 67116552 markings, 78170147 edges, 33119 markings/sec, 2110 secs
lola: sara is running 2115 secs || 67281676 markings, 78362469 edges, 33025 markings/sec, 2115 secs
lola: sara is running 2120 secs || 67446942 markings, 78554958 edges, 33053 markings/sec, 2120 secs
lola: sara is running 2125 secs || 67612201 markings, 78747436 edges, 33052 markings/sec, 2125 secs
lola: sara is running 2130 secs || 67777637 markings, 78940115 edges, 33087 markings/sec, 2130 secs
lola: sara is running 2135 secs || 67943273 markings, 79133034 edges, 33127 markings/sec, 2135 secs
lola: sara is running 2140 secs || 68108421 markings, 79325385 edges, 33030 markings/sec, 2140 secs
lola: sara is running 2145 secs || 68273698 markings, 79517880 edges, 33055 markings/sec, 2145 secs
lola: sara is running 2150 secs || 68438744 markings, 79710112 edges, 33009 markings/sec, 2150 secs
lola: sara is running 2155 secs || 68604067 markings, 79902663 edges, 33065 markings/sec, 2155 secs
lola: sara is running 2160 secs || 68769588 markings, 80095442 edges, 33104 markings/sec, 2160 secs
lola: sara is running 2165 secs || 68935767 markings, 80288993 edges, 33236 markings/sec, 2165 secs
lola: sara is running 2170 secs || 69101812 markings, 80482390 edges, 33209 markings/sec, 2170 secs
lola: sara is running 2175 secs || 69267904 markings, 80675839 edges, 33218 markings/sec, 2175 secs
lola: sara is running 2180 secs || 69434002 markings, 80869293 edges, 33220 markings/sec, 2180 secs
lola: sara is running 2185 secs || 69600135 markings, 81062790 edges, 33227 markings/sec, 2185 secs
lola: sara is running 2190 secs || 69766584 markings, 81256648 edges, 33290 markings/sec, 2190 secs
lola: sara is running 2195 secs || 69932958 markings, 81450422 edges, 33275 markings/sec, 2195 secs
lola: sara is running 2200 secs || 70099371 markings, 81644244 edges, 33283 markings/sec, 2200 secs
lola: sara is running 2205 secs || 70265564 markings, 81837805 edges, 33239 markings/sec, 2205 secs
lola: sara is running 2210 secs || 70431583 markings, 82031168 edges, 33204 markings/sec, 2210 secs
lola: sara is running 2215 secs || 70597389 markings, 82224278 edges, 33161 markings/sec, 2215 secs
lola: sara is running 2220 secs || 70763055 markings, 82417223 edges, 33133 markings/sec, 2220 secs
lola: sara is running 2225 secs || 70928667 markings, 82610114 edges, 33122 markings/sec, 2225 secs
lola: sara is running 2230 secs || 71094275 markings, 82802996 edges, 33122 markings/sec, 2230 secs
lola: sara is running 2235 secs || 71259626 markings, 82995578 edges, 33070 markings/sec, 2235 secs
lola: sara is running 2240 secs || 71425318 markings, 83188554 edges, 33138 markings/sec, 2240 secs
lola: sara is running 2245 secs || 71590954 markings, 83381466 edges, 33127 markings/sec, 2245 secs
lola: sara is running 2250 secs || 71756640 markings, 83574441 edges, 33137 markings/sec, 2250 secs
lola: sara is running 2255 secs || 71922680 markings, 83767825 edges, 33208 markings/sec, 2255 secs
lola: sara is running 2260 secs || 72088808 markings, 83961315 edges, 33226 markings/sec, 2260 secs
lola: sara is running 2265 secs || 72254717 markings, 84154545 edges, 33182 markings/sec, 2265 secs
lola: sara is running 2270 secs || 72420504 markings, 84347637 edges, 33157 markings/sec, 2270 secs
lola: sara is running 2275 secs || 72586404 markings, 84540861 edges, 33180 markings/sec, 2275 secs
lola: sara is running 2280 secs || 72752459 markings, 84734267 edges, 33211 markings/sec, 2280 secs
lola: sara is running 2285 secs || 72918539 markings, 84927699 edges, 33216 markings/sec, 2285 secs
lola: sara is running 2290 secs || 73084424 markings, 85120900 edges, 33177 markings/sec, 2290 secs
lola: sara is running 2295 secs || 73250254 markings, 85314042 edges, 33166 markings/sec, 2295 secs
lola: sara is running 2300 secs || 73416181 markings, 85507299 edges, 33185 markings/sec, 2300 secs
lola: sara is running 2305 secs || 73581946 markings, 85700361 edges, 33153 markings/sec, 2305 secs
lola: sara is running 2310 secs || 73747737 markings, 85893457 edges, 33158 markings/sec, 2310 secs
lola: sara is running 2315 secs || 73913613 markings, 86086654 edges, 33175 markings/sec, 2315 secs
lola: sara is running 2320 secs || 74079277 markings, 86279597 edges, 33133 markings/sec, 2320 secs
lola: sara is running 2325 secs || 74244910 markings, 86472511 edges, 33127 markings/sec, 2325 secs
lola: sara is running 2330 secs || 74410533 markings, 86665407 edges, 33125 markings/sec, 2330 secs
lola: sara is running 2335 secs || 74576099 markings, 86858243 edges, 33113 markings/sec, 2335 secs
lola: sara is running 2340 secs || 74741877 markings, 87051317 edges, 33156 markings/sec, 2340 secs
lola: sara is running 2345 secs || 74907443 markings, 87244154 edges, 33113 markings/sec, 2345 secs
lola: sara is running 2350 secs || 75072837 markings, 87436782 edges, 33079 markings/sec, 2350 secs
lola: sara is running 2355 secs || 75238520 markings, 87629752 edges, 33137 markings/sec, 2355 secs
lola: sara is running 2360 secs || 75404070 markings, 87822567 edges, 33110 markings/sec, 2360 secs
lola: sara is running 2365 secs || 75569684 markings, 88015453 edges, 33123 markings/sec, 2365 secs
lola: sara is running 2370 secs || 75735063 markings, 88208071 edges, 33076 markings/sec, 2370 secs
lola: sara is running 2375 secs || 75900926 markings, 88401246 edges, 33173 markings/sec, 2375 secs
lola: sara is running 2380 secs || 76066869 markings, 88594517 edges, 33189 markings/sec, 2380 secs
lola: sara is running 2385 secs || 76232742 markings, 88787711 edges, 33175 markings/sec, 2385 secs
lola: sara is running 2390 secs || 76398469 markings, 88980729 edges, 33145 markings/sec, 2390 secs
lola: sara is running 2395 secs || 76563977 markings, 89173495 edges, 33102 markings/sec, 2395 secs
lola: sara is running 2400 secs || 76729826 markings, 89366658 edges, 33170 markings/sec, 2400 secs
lola: sara is running 2405 secs || 76895873 markings, 89560049 edges, 33209 markings/sec, 2405 secs
lola: sara is running 2410 secs || 77061795 markings, 89753296 edges, 33184 markings/sec, 2410 secs
lola: sara is running 2415 secs || 77227539 markings, 89946337 edges, 33149 markings/sec, 2415 secs
lola: sara is running 2420 secs || 77392960 markings, 90139000 edges, 33084 markings/sec, 2420 secs
lola: sara is running 2425 secs || 77558299 markings, 90331567 edges, 33068 markings/sec, 2425 secs
lola: sara is running 2430 secs || 77723899 markings, 90524441 edges, 33120 markings/sec, 2430 secs
lola: sara is running 2435 secs || 77889186 markings, 90716952 edges, 33057 markings/sec, 2435 secs
lola: sara is running 2440 secs || 78054651 markings, 90909665 edges, 33093 markings/sec, 2440 secs
lola: sara is running 2445 secs || 78220117 markings, 91102382 edges, 33093 markings/sec, 2445 secs
lola: sara is running 2450 secs || 78385392 markings, 91294882 edges, 33055 markings/sec, 2450 secs
lola: sara is running 2455 secs || 78550983 markings, 91487738 edges, 33118 markings/sec, 2455 secs
lola: sara is running 2460 secs || 78716460 markings, 91680470 edges, 33095 markings/sec, 2460 secs
lola: sara is running 2465 secs || 78881789 markings, 91873026 edges, 33066 markings/sec, 2465 secs
lola: sara is running 2470 secs || 79047016 markings, 92065469 edges, 33045 markings/sec, 2470 secs
lola: sara is running 2475 secs || 79212383 markings, 92258071 edges, 33073 markings/sec, 2475 secs
lola: sara is running 2480 secs || 79378115 markings, 92451098 edges, 33146 markings/sec, 2480 secs
lola: sara is running 2485 secs || 79543734 markings, 92643989 edges, 33124 markings/sec, 2485 secs
lola: sara is running 2490 secs || 79709230 markings, 92836745 edges, 33099 markings/sec, 2490 secs
lola: sara is running 2495 secs || 79874742 markings, 93029512 edges, 33102 markings/sec, 2495 secs
lola: sara is running 2500 secs || 80040098 markings, 93222104 edges, 33071 markings/sec, 2500 secs
lola: sara is running 2505 secs || 80205908 markings, 93415218 edges, 33162 markings/sec, 2505 secs
lola: sara is running 2510 secs || 80371703 markings, 93608318 edges, 33159 markings/sec, 2510 secs
lola: sara is running 2515 secs || 80537190 markings, 93801062 edges, 33097 markings/sec, 2515 secs
lola: sara is running 2520 secs || 80702569 markings, 93993674 edges, 33076 markings/sec, 2520 secs
lola: sara is running 2525 secs || 80867706 markings, 94186014 edges, 33027 markings/sec, 2525 secs
lola: sara is running 2530 secs || 81032959 markings, 94378482 edges, 33051 markings/sec, 2530 secs
lola: sara is running 2535 secs || 81198107 markings, 94570827 edges, 33030 markings/sec, 2535 secs
lola: sara is running 2540 secs || 81363176 markings, 94763081 edges, 33014 markings/sec, 2540 secs
lola: sara is running 2545 secs || 81528569 markings, 94955712 edges, 33079 markings/sec, 2545 secs
lola: sara is running 2550 secs || 81693621 markings, 95147951 edges, 33010 markings/sec, 2550 secs
lola: sara is running 2555 secs || 81858638 markings, 95340143 edges, 33003 markings/sec, 2555 secs
lola: sara is running 2560 secs || 82023846 markings, 95532559 edges, 33042 markings/sec, 2560 secs
lola: sara is running 2565 secs || 82188969 markings, 95724878 edges, 33025 markings/sec, 2565 secs
lola: sara is running 2570 secs || 82354085 markings, 95917186 edges, 33023 markings/sec, 2570 secs
lola: sara is running 2575 secs || 82518987 markings, 96109248 edges, 32980 markings/sec, 2575 secs
lola: sara is running 2580 secs || 82684150 markings, 96301613 edges, 33033 markings/sec, 2580 secs
lola: sara is running 2585 secs || 82849762 markings, 96494498 edges, 33122 markings/sec, 2585 secs
lola: sara is running 2590 secs || 83015159 markings, 96687137 edges, 33079 markings/sec, 2590 secs
lola: sara is running 2595 secs || 83180461 markings, 96879661 edges, 33060 markings/sec, 2595 secs
lola: sara is running 2600 secs || 83345499 markings, 97071877 edges, 33008 markings/sec, 2600 secs
lola: sara is running 2605 secs || 83510853 markings, 97264467 edges, 33071 markings/sec, 2605 secs
lola: sara is running 2610 secs || 83676498 markings, 97457391 edges, 33129 markings/sec, 2610 secs
lola: sara is running 2615 secs || 83842119 markings, 97650289 edges, 33124 markings/sec, 2615 secs
lola: sara is running 2620 secs || 84007610 markings, 97843034 edges, 33098 markings/sec, 2620 secs
lola: sara is running 2625 secs || 84172841 markings, 98035480 edges, 33046 markings/sec, 2625 secs
lola: sara is running 2630 secs || 84337948 markings, 98227779 edges, 33021 markings/sec, 2630 secs
lola: sara is running 2635 secs || 84503362 markings, 98420437 edges, 33083 markings/sec, 2635 secs
lola: sara is running 2640 secs || 84668428 markings, 98612687 edges, 33013 markings/sec, 2640 secs
lola: sara is running 2645 secs || 84833676 markings, 98805146 edges, 33050 markings/sec, 2645 secs
lola: sara is running 2650 secs || 84998793 markings, 98997456 edges, 33023 markings/sec, 2650 secs
lola: sara is running 2655 secs || 85163912 markings, 99189771 edges, 33024 markings/sec, 2655 secs
lola: sara is running 2660 secs || 85329243 markings, 99382332 edges, 33066 markings/sec, 2660 secs
lola: sara is running 2665 secs || 85494391 markings, 99574678 edges, 33030 markings/sec, 2665 secs
lola: sara is running 2670 secs || 85659402 markings, 99766866 edges, 33002 markings/sec, 2670 secs
lola: sara is running 2675 secs || 85824270 markings, 99958886 edges, 32974 markings/sec, 2675 secs
lola: sara is running 2680 secs || 85989318 markings, 100151117 edges, 33010 markings/sec, 2680 secs
lola: sara is running 2685 secs || 86154876 markings, 100343939 edges, 33112 markings/sec, 2685 secs
lola: sara is running 2690 secs || 86320388 markings, 100536707 edges, 33102 markings/sec, 2690 secs
lola: sara is running 2695 secs || 86485746 markings, 100729302 edges, 33072 markings/sec, 2695 secs
lola: sara is running 2700 secs || 86650963 markings, 100921728 edges, 33043 markings/sec, 2700 secs
lola: sara is running 2705 secs || 86816001 markings, 101113949 edges, 33008 markings/sec, 2705 secs
lola: sara is running 2710 secs || 86981477 markings, 101306674 edges, 33095 markings/sec, 2710 secs
lola: sara is running 2715 secs || 87146964 markings, 101499417 edges, 33097 markings/sec, 2715 secs
lola: sara is running 2720 secs || 87312152 markings, 101691812 edges, 33038 markings/sec, 2720 secs
lola: sara is running 2725 secs || 87477263 markings, 101884115 edges, 33022 markings/sec, 2725 secs
lola: sara is running 2730 secs || 87642042 markings, 102076034 edges, 32956 markings/sec, 2730 secs
lola: sara is running 2735 secs || 87806818 markings, 102267949 edges, 32955 markings/sec, 2735 secs
lola: sara is running 2740 secs || 87971377 markings, 102459604 edges, 32912 markings/sec, 2740 secs
lola: sara is running 2745 secs || 88136221 markings, 102651600 edges, 32969 markings/sec, 2745 secs
lola: time limit reached - aborting
lola:
preliminary result: no no yes no no yes no yes no no yes no unknown unknown no yes
lola:
preliminary result: no no yes no no yes no yes no no yes no unknown unknown no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes no no yes no yes no no yes no unknown unknown no yes
lola: memory consumption: 5245520 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes no no yes no yes no no yes no unknown unknown no yes
lola: memory consumption: 5245864 KB
lola: time consumption: 3570 seconds
BK_STOP 1527894568816
--------------------
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="ASLink-PT-08a"
export BK_EXAMINATION="CTLCardinality"
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/ASLink-PT-08a.tgz
mv ASLink-PT-08a 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 ASLink-PT-08a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r268-smll-152749145300129"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 ;