About the Execution of LoLA for DoubleExponent-PT-010
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.190 | 3155492.00 | 4815311.00 | 18899.80 | ?TTTFTFTFFFTFTFF | 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 328K
-rw-r--r-- 1 mcc users 3.6K May 30 21:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 30 21:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 29 15:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 29 15:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 28 09:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 28 09:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 28 08:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.5K May 28 08:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.3K May 28 06:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 28 06:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 27 03:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 27 03:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 4 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 169K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DoubleExponent-PT-010, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749169600219
=====================================================================
--------------------
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 DoubleExponent-PT-010-CTLCardinality-00
FORMULA_NAME DoubleExponent-PT-010-CTLCardinality-01
FORMULA_NAME DoubleExponent-PT-010-CTLCardinality-02
FORMULA_NAME DoubleExponent-PT-010-CTLCardinality-03
FORMULA_NAME DoubleExponent-PT-010-CTLCardinality-04
FORMULA_NAME DoubleExponent-PT-010-CTLCardinality-05
FORMULA_NAME DoubleExponent-PT-010-CTLCardinality-06
FORMULA_NAME DoubleExponent-PT-010-CTLCardinality-07
FORMULA_NAME DoubleExponent-PT-010-CTLCardinality-08
FORMULA_NAME DoubleExponent-PT-010-CTLCardinality-09
FORMULA_NAME DoubleExponent-PT-010-CTLCardinality-10
FORMULA_NAME DoubleExponent-PT-010-CTLCardinality-11
FORMULA_NAME DoubleExponent-PT-010-CTLCardinality-12
FORMULA_NAME DoubleExponent-PT-010-CTLCardinality-13
FORMULA_NAME DoubleExponent-PT-010-CTLCardinality-14
FORMULA_NAME DoubleExponent-PT-010-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1527782751744
info: Time: 3600 - MCC
===========================================================================================
prep: translating DoubleExponent-PT-010 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DoubleExponent-PT-010 formula CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ DoubleExponent-PT-010 @ 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: 1032/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 17088
lola: finding significant places
lola: 534 places, 498 transitions, 480 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 676 transition conflict sets
lola: TASK
lola: reading formula from DoubleExponent-PT-010-CTLCardinality.task
lola: LP says that atomic proposition is always false: (3 <= p531)
lola: LP says that atomic proposition is always false: (2 <= p350)
lola: LP says that atomic proposition is always false: (2 <= p250)
lola: LP says that atomic proposition is always false: (2 <= p107)
lola: LP says that atomic proposition is always false: (3 <= p410)
lola: LP says that atomic proposition is always false: (3 <= p368)
lola: LP says that atomic proposition is always false: (3 <= p101)
lola: LP says that atomic proposition is always false: (2 <= p439)
lola: LP says that atomic proposition is always false: (3 <= p207)
lola: LP says that atomic proposition is always false: (3 <= p315)
lola: LP says that atomic proposition is always false: (2 <= p67)
lola: LP says that atomic proposition is always false: (2 <= p33)
lola: LP says that atomic proposition is always false: (3 <= p226)
lola: LP says that atomic proposition is always false: (2 <= p509)
lola: LP says that atomic proposition is always false: (3 <= p503)
lola: LP says that atomic proposition is always false: (2 <= p133)
lola: LP says that atomic proposition is always false: (3 <= p456)
lola: LP says that atomic proposition is always false: (3 <= p10)
lola: LP says that atomic proposition is always false: (2 <= p220)
lola: NOT(A (G ((p333 <= p320)))) : NOT((A (((p404 <= p209) U FALSE)) AND (((p73 <= p144) AND (p410 + 1 <= p162)) OR E (X ((p351 <= p446)))))) : NOT(NOT(E (F ((p195 + 1 <= p170))))) : E (G ((p137 <= p197))) : (((() OR A (X (FALSE))) OR A (((p423 <= p488) U (1 <= p93)))) AND A (((p255 <= p181) U FALSE))) : E (G (A (X ((p372 <= 0))))) : A (X ((E (F (FALSE)) AND (p249 <= p432)))) : A (G ((E (F ((2 <= p267))) OR ()))) : E (F ((E (G ((p299 <= p305))) AND ()))) : A (F (FALSE)) : ((p265 <= p524) AND A (G (E (F (FALSE))))) : NOT((A (F (())) AND A (X (((p478 <= p74) AND (p68 <= p229)))))) : NOT(E (G (((p154 <= p47) OR (p410 + 1 <= p100))))) : (A ((TRUE U ())) OR NOT((A (F ((2 <= p321))) OR A (F (FALSE))))) : A (F ((((1 <= p83) OR (p192 <= p321)) AND (1 <= p199)))) : (E ((((p69 <= p249) OR (1 <= p76)) U FALSE)) AND E (G ((p297 <= p235))))
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:282
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:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
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:118
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k: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:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
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:151
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:282
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:169
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:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 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: 69 rewrites
lola: closed formula file DoubleExponent-PT-010-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 DoubleExponent-PT-010-CTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 69 rewrites
lola: closed formula file DoubleExponent-PT-010-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 DoubleExponent-PT-010-CTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: DEADLOCK
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: DEADLOCK
lola: processed formula length: 8
lola: 69 rewrites
lola: closed formula file DoubleExponent-PT-010-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
FORMULA DoubleExponent-PT-010-CTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 69 rewrites
lola: closed formula file DoubleExponent-PT-010-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
FORMULA DoubleExponent-PT-010-CTLCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 69 rewrites
lola: closed formula file DoubleExponent-PT-010-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 DoubleExponent-PT-010-CTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 69 rewrites
lola: closed formula file DoubleExponent-PT-010-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 DoubleExponent-PT-010-CTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 69 rewrites
lola: closed formula file DoubleExponent-PT-010-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 DoubleExponent-PT-010-CTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 69 rewrites
lola: closed formula file DoubleExponent-PT-010-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 DoubleExponent-PT-010-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 445 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: 69 rewrites
lola: closed formula file DoubleExponent-PT-010-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 DoubleExponent-PT-010-CTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (X ((p372 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(AX((p372 <= 0)))))
lola: processed formula length: 35
lola: 71 rewrites
lola: closed formula file DoubleExponent-PT-010-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: 25 markings, 24 edges
lola: ========================================
FORMULA DoubleExponent-PT-010-CTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p195 + 1 <= p170)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((p195 + 1 <= p170)))
lola: processed formula length: 26
lola: 70 rewrites
lola: closed formula file DoubleExponent-PT-010-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:625
lola: formula 0: (p195 + 1 <= p170)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DoubleExponent-PT-010-CTLCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DoubleExponent-PT-010-CTLCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
sara: warning, failure of lp_solve (at job 4)
lola: sara is running 0 secs || 612707 markings, 612706 edges, 122541 markings/sec, 0 secs
lola: sara is running 5 secs || 1186818 markings, 1186818 edges, 114822 markings/sec, 5 secs
lola: sara is running 10 secs || 1752426 markings, 1752426 edges, 113122 markings/sec, 10 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 2176780 markings, 2176779 edges
lola: ========================================
FORMULA DoubleExponent-PT-010-CTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 709 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p320 + 1 <= p333)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((p320 + 1 <= p333)))
lola: processed formula length: 26
lola: 70 rewrites
lola: closed formula file DoubleExponent-PT-010-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:625
lola: formula 0: (p320 + 1 <= p333)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DoubleExponent-PT-010-CTLCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DoubleExponent-PT-010-CTLCardinality-11-0.sara.
sara: place or transition ordering is non-deterministic
sara: warning, failure of lp_solve (at job 6)
lola: sara is running 0 secs || 524231 markings, 524230 edges, 104846 markings/sec, 0 secs
lola: sara is running 5 secs || 1057372 markings, 1057371 edges, 106628 markings/sec, 5 secs
lola: sara is running 10 secs || 1633314 markings, 1633313 edges, 115188 markings/sec, 10 secs
lola: sara is running 15 secs || 2173873 markings, 2173872 edges, 108112 markings/sec, 15 secs
lola: sara is running 20 secs || 2720372 markings, 2720371 edges, 109300 markings/sec, 20 secs
lola: sara is running 25 secs || 3262956 markings, 3262955 edges, 108517 markings/sec, 25 secs
lola: sara is running 30 secs || 3806662 markings, 3806661 edges, 108741 markings/sec, 30 secs
lola: sara is running 35 secs || 4379071 markings, 4379070 edges, 114482 markings/sec, 35 secs
lola: sara is running 40 secs || 4928798 markings, 4928797 edges, 109945 markings/sec, 40 secs
lola: sara is running 45 secs || 5483869 markings, 5483869 edges, 111014 markings/sec, 45 secs
lola: sara is running 50 secs || 6037174 markings, 6037173 edges, 110661 markings/sec, 50 secs
lola: sara is running 55 secs || 6592120 markings, 6592120 edges, 110989 markings/sec, 55 secs
lola: sara is running 60 secs || 7190397 markings, 7190397 edges, 119655 markings/sec, 60 secs
lola: sara is running 65 secs || 7789522 markings, 7789521 edges, 119825 markings/sec, 65 secs
lola: sara is running 70 secs || 8381939 markings, 8381938 edges, 118483 markings/sec, 70 secs
lola: sara is running 75 secs || 8960360 markings, 8960359 edges, 115684 markings/sec, 75 secs
lola: sara is running 80 secs || 9536732 markings, 9536731 edges, 115274 markings/sec, 80 secs
lola: sara is running 85 secs || 10108492 markings, 10108491 edges, 114352 markings/sec, 85 secs
lola: sara is running 90 secs || 10662170 markings, 10662169 edges, 110736 markings/sec, 90 secs
lola: sara is running 95 secs || 11230808 markings, 11230808 edges, 113728 markings/sec, 95 secs
lola: sara is running 100 secs || 11824552 markings, 11824551 edges, 118749 markings/sec, 100 secs
lola: sara is running 105 secs || 12381922 markings, 12381922 edges, 111474 markings/sec, 105 secs
lola: sara is running 110 secs || 12942956 markings, 12942955 edges, 112207 markings/sec, 110 secs
lola: sara is running 115 secs || 13472883 markings, 13472883 edges, 105985 markings/sec, 115 secs
lola: sara is running 120 secs || 14019629 markings, 14019629 edges, 109349 markings/sec, 120 secs
lola: sara is running 125 secs || 14578780 markings, 14578779 edges, 111830 markings/sec, 125 secs
lola: sara is running 130 secs || 15129985 markings, 15129984 edges, 110241 markings/sec, 130 secs
lola: sara is running 135 secs || 15720932 markings, 15720932 edges, 118189 markings/sec, 135 secs
lola: sara is running 140 secs || 16314588 markings, 16314588 edges, 118731 markings/sec, 140 secs
lola: sara is running 145 secs || 16904623 markings, 16904622 edges, 118007 markings/sec, 145 secs
lola: sara is running 150 secs || 17496454 markings, 17496454 edges, 118366 markings/sec, 150 secs
lola: sara is running 155 secs || 18071502 markings, 18071502 edges, 115010 markings/sec, 155 secs
lola: sara is running 160 secs || 18662945 markings, 18662945 edges, 118289 markings/sec, 160 secs
lola: sara is running 165 secs || 19250466 markings, 19250465 edges, 117504 markings/sec, 165 secs
lola: sara is running 170 secs || 19847833 markings, 19847832 edges, 119473 markings/sec, 170 secs
lola: sara is running 175 secs || 20425318 markings, 20425317 edges, 115497 markings/sec, 175 secs
lola: sara is running 180 secs || 20994571 markings, 20994571 edges, 113851 markings/sec, 180 secs
lola: sara is running 185 secs || 21567719 markings, 21567719 edges, 114630 markings/sec, 185 secs
lola: sara is running 190 secs || 22146359 markings, 22146359 edges, 115728 markings/sec, 190 secs
lola: sara is running 195 secs || 22719243 markings, 22719243 edges, 114577 markings/sec, 195 secs
lola: sara is running 200 secs || 23288592 markings, 23288592 edges, 113870 markings/sec, 200 secs
lola: sara is running 205 secs || 23859212 markings, 23859212 edges, 114124 markings/sec, 205 secs
lola: sara is running 210 secs || 24439792 markings, 24439791 edges, 116116 markings/sec, 210 secs
lola: sara is running 215 secs || 25029389 markings, 25029389 edges, 117919 markings/sec, 215 secs
lola: sara is running 220 secs || 25617130 markings, 25617129 edges, 117548 markings/sec, 220 secs
lola: sara is running 225 secs || 26194248 markings, 26194247 edges, 115424 markings/sec, 225 secs
lola: sara is running 230 secs || 26788868 markings, 26788868 edges, 118924 markings/sec, 230 secs
lola: sara is running 235 secs || 27386520 markings, 27386520 edges, 119530 markings/sec, 235 secs
lola: sara is running 240 secs || 27977517 markings, 27977517 edges, 118199 markings/sec, 240 secs
lola: sara is running 245 secs || 28566427 markings, 28566427 edges, 117782 markings/sec, 245 secs
lola: sara is running 250 secs || 29139109 markings, 29139109 edges, 114536 markings/sec, 250 secs
lola: sara is running 255 secs || 29727708 markings, 29727707 edges, 117720 markings/sec, 255 secs
lola: sara is running 260 secs || 30325221 markings, 30325220 edges, 119503 markings/sec, 260 secs
lola: sara is running 265 secs || 30912986 markings, 30912986 edges, 117553 markings/sec, 265 secs
lola: sara is running 270 secs || 31500647 markings, 31500647 edges, 117532 markings/sec, 270 secs
lola: sara is running 275 secs || 32087348 markings, 32087348 edges, 117340 markings/sec, 275 secs
lola: sara is running 280 secs || 32677268 markings, 32677268 edges, 117984 markings/sec, 280 secs
lola: sara is running 285 secs || 33274492 markings, 33274492 edges, 119445 markings/sec, 285 secs
lola: sara is running 290 secs || 33861001 markings, 33861001 edges, 117302 markings/sec, 290 secs
lola: sara is running 295 secs || 34432133 markings, 34432132 edges, 114226 markings/sec, 295 secs
lola: sara is running 300 secs || 35015073 markings, 35015073 edges, 116588 markings/sec, 300 secs
lola: sara is running 305 secs || 35602976 markings, 35602975 edges, 117581 markings/sec, 305 secs
lola: sara is running 310 secs || 36195740 markings, 36195740 edges, 118553 markings/sec, 310 secs
lola: sara is running 315 secs || 36792737 markings, 36792736 edges, 119399 markings/sec, 315 secs
lola: sara is running 320 secs || 37384477 markings, 37384476 edges, 118348 markings/sec, 320 secs
lola: sara is running 325 secs || 37974040 markings, 37974039 edges, 117913 markings/sec, 325 secs
lola: sara is running 330 secs || 38566049 markings, 38566049 edges, 118402 markings/sec, 330 secs
lola: sara is running 335 secs || 39156173 markings, 39156173 edges, 118025 markings/sec, 335 secs
lola: sara is running 340 secs || 39749587 markings, 39749586 edges, 118683 markings/sec, 340 secs
lola: sara is running 345 secs || 40340442 markings, 40340441 edges, 118171 markings/sec, 345 secs
lola: sara is running 350 secs || 40931106 markings, 40931105 edges, 118133 markings/sec, 350 secs
lola: sara is running 355 secs || 41519715 markings, 41519715 edges, 117722 markings/sec, 355 secs
lola: sara is running 360 secs || 42107858 markings, 42107858 edges, 117629 markings/sec, 360 secs
lola: sara is running 365 secs || 42696204 markings, 42696204 edges, 117669 markings/sec, 365 secs
lola: sara is running 370 secs || 43284967 markings, 43284966 edges, 117753 markings/sec, 370 secs
lola: sara is running 375 secs || 43878576 markings, 43878575 edges, 118722 markings/sec, 375 secs
lola: sara is running 380 secs || 44475304 markings, 44475304 edges, 119346 markings/sec, 380 secs
lola: sara is running 385 secs || 45064718 markings, 45064717 edges, 117883 markings/sec, 385 secs
lola: sara is running 390 secs || 45653595 markings, 45653595 edges, 117775 markings/sec, 390 secs
lola: sara is running 395 secs || 46242455 markings, 46242455 edges, 117772 markings/sec, 395 secs
lola: sara is running 400 secs || 46832151 markings, 46832151 edges, 117939 markings/sec, 400 secs
lola: sara is running 405 secs || 47420920 markings, 47420919 edges, 117754 markings/sec, 405 secs
lola: sara is running 410 secs || 48014707 markings, 48014707 edges, 118757 markings/sec, 410 secs
lola: sara is running 415 secs || 48610521 markings, 48610521 edges, 119163 markings/sec, 415 secs
lola: sara is running 420 secs || 49202725 markings, 49202725 edges, 118441 markings/sec, 420 secs
lola: sara is running 425 secs || 49790138 markings, 49790137 edges, 117483 markings/sec, 425 secs
lola: sara is running 430 secs || 50378107 markings, 50378106 edges, 117594 markings/sec, 430 secs
lola: sara is running 435 secs || 50966854 markings, 50966853 edges, 117749 markings/sec, 435 secs
lola: sara is running 440 secs || 51554237 markings, 51554236 edges, 117477 markings/sec, 440 secs
lola: sara is running 445 secs || 52136730 markings, 52136730 edges, 116499 markings/sec, 445 secs
lola: sara is running 450 secs || 52730510 markings, 52730509 edges, 118756 markings/sec, 450 secs
lola: sara is running 455 secs || 53318039 markings, 53318039 edges, 117506 markings/sec, 455 secs
lola: sara is running 460 secs || 53905178 markings, 53905177 edges, 117428 markings/sec, 460 secs
lola: sara is running 465 secs || 54495339 markings, 54495338 edges, 118032 markings/sec, 465 secs
lola: sara is running 470 secs || 55086349 markings, 55086348 edges, 118202 markings/sec, 470 secs
lola: sara is running 475 secs || 55675860 markings, 55675860 edges, 117902 markings/sec, 475 secs
lola: sara is running 480 secs || 56269429 markings, 56269429 edges, 118714 markings/sec, 480 secs
lola: sara is running 485 secs || 56860062 markings, 56860061 edges, 118127 markings/sec, 485 secs
lola: sara is running 490 secs || 57454626 markings, 57454625 edges, 118913 markings/sec, 490 secs
lola: sara is running 495 secs || 58050319 markings, 58050319 edges, 119139 markings/sec, 495 secs
lola: sara is running 500 secs || 58642414 markings, 58642414 edges, 118419 markings/sec, 500 secs
lola: sara is running 505 secs || 59231470 markings, 59231469 edges, 117811 markings/sec, 505 secs
lola: sara is running 510 secs || 59819539 markings, 59819539 edges, 117614 markings/sec, 510 secs
lola: sara is running 515 secs || 60411200 markings, 60411200 edges, 118332 markings/sec, 515 secs
lola: sara is running 520 secs || 61000490 markings, 61000489 edges, 117858 markings/sec, 520 secs
lola: sara is running 525 secs || 61585524 markings, 61585523 edges, 117007 markings/sec, 525 secs
lola: sara is running 530 secs || 62156519 markings, 62156519 edges, 114199 markings/sec, 530 secs
lola: sara is running 535 secs || 62731725 markings, 62731725 edges, 115041 markings/sec, 535 secs
lola: sara is running 540 secs || 63308365 markings, 63308365 edges, 115328 markings/sec, 540 secs
lola: sara is running 545 secs || 63878436 markings, 63878436 edges, 114014 markings/sec, 545 secs
lola: sara is running 550 secs || 64450601 markings, 64450600 edges, 114433 markings/sec, 550 secs
lola: sara is running 555 secs || 65022538 markings, 65022538 edges, 114387 markings/sec, 555 secs
lola: sara is running 560 secs || 65608593 markings, 65608593 edges, 117211 markings/sec, 560 secs
lola: sara is running 565 secs || 66196410 markings, 66196409 edges, 117563 markings/sec, 565 secs
lola: sara is running 570 secs || 66784130 markings, 66784130 edges, 117544 markings/sec, 570 secs
lola: sara is running 575 secs || 67371804 markings, 67371804 edges, 117535 markings/sec, 575 secs
lola: sara is running 580 secs || 67963270 markings, 67963269 edges, 118293 markings/sec, 580 secs
lola: sara is running 585 secs || 68557359 markings, 68557358 edges, 118818 markings/sec, 585 secs
lola: sara is running 590 secs || 69145885 markings, 69145885 edges, 117705 markings/sec, 590 secs
lola: sara is running 595 secs || 69731392 markings, 69731391 edges, 117101 markings/sec, 595 secs
lola: sara is running 600 secs || 70311642 markings, 70311642 edges, 116050 markings/sec, 600 secs
lola: sara is running 605 secs || 70898055 markings, 70898055 edges, 117283 markings/sec, 605 secs
lola: sara is running 610 secs || 71485750 markings, 71485749 edges, 117539 markings/sec, 610 secs
lola: sara is running 615 secs || 72050770 markings, 72050769 edges, 113004 markings/sec, 615 secs
lola: sara is running 620 secs || 72633213 markings, 72633212 edges, 116489 markings/sec, 620 secs
lola: sara is running 625 secs || 73221132 markings, 73221131 edges, 117584 markings/sec, 625 secs
lola: sara is running 630 secs || 73813662 markings, 73813662 edges, 118506 markings/sec, 630 secs
lola: sara is running 635 secs || 74402795 markings, 74402795 edges, 117827 markings/sec, 635 secs
lola: sara is running 640 secs || 74990326 markings, 74990326 edges, 117506 markings/sec, 640 secs
lola: sara is running 645 secs || 75573716 markings, 75573716 edges, 116678 markings/sec, 645 secs
lola: sara is running 650 secs || 76160828 markings, 76160827 edges, 117422 markings/sec, 650 secs
lola: sara is running 655 secs || 76734866 markings, 76734866 edges, 114808 markings/sec, 655 secs
lola: sara is running 660 secs || 77304925 markings, 77304924 edges, 114012 markings/sec, 660 secs
lola: sara is running 665 secs || 77888474 markings, 77888473 edges, 116710 markings/sec, 665 secs
lola: sara is running 670 secs || 78471350 markings, 78471350 edges, 116575 markings/sec, 670 secs
lola: sara is running 675 secs || 79062510 markings, 79062510 edges, 118232 markings/sec, 675 secs
lola: sara is running 680 secs || 79654001 markings, 79654000 edges, 118298 markings/sec, 680 secs
lola: sara is running 685 secs || 80222077 markings, 80222077 edges, 113615 markings/sec, 685 secs
lola: sara is running 690 secs || 80804230 markings, 80804230 edges, 116431 markings/sec, 690 secs
lola: sara is running 695 secs || 81388908 markings, 81388908 edges, 116936 markings/sec, 695 secs
lola: sara is running 700 secs || 81966360 markings, 81966359 edges, 115490 markings/sec, 700 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown no yes no yes no no no yes unknown unknown unknown no
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 709 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((p321 <= 1)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((p321 <= 1)))
lola: processed formula length: 19
lola: 69 rewrites
lola: closed formula file DoubleExponent-PT-010-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 29 markings, 28 edges
FORMULA DoubleExponent-PT-010-CTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 946 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((p137 <= p197)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((p137 <= p197)))
lola: processed formula length: 22
lola: 69 rewrites
lola: closed formula file DoubleExponent-PT-010-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 29 markings, 28 edges
lola: ========================================
FORMULA DoubleExponent-PT-010-CTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1419 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((1 <= p83) OR (p192 <= p321)) AND (1 <= p199))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (((p83 <= 0) AND (p321 + 1 <= p192)) OR (p199 <= 0))
lola: processed formula length: 53
lola: 71 rewrites
lola: closed formula file DoubleExponent-PT-010-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 29 markings, 28 edges
lola:
FORMULA DoubleExponent-PT-010-CTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 15 will run for 2839 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((p47 + 1 <= p154) AND (p100 <= p410))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: ((p154 <= p47) OR (p410 + 1 <= p100))
lola: processed formula length: 38
lola: 71 rewrites
lola: closed formula file DoubleExponent-PT-010-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 29 markings, 28 edges
lola: ========================================
FORMULA DoubleExponent-PT-010-CTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E (F ((p320 + 1 <= p333)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((p320 + 1 <= p333)))
lola: processed formula length: 26
lola: 70 rewrites
lola: closed formula file DoubleExponent-PT-010-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:625
lola: formula 0: (p320 + 1 <= p333)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DoubleExponent-PT-010-CTLCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DoubleExponent-PT-010-CTLCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
sara: warning, failure of lp_solve (at job 6)
lola: sara is running 0 secs || 600042 markings, 600042 edges, 120008 markings/sec, 0 secs
lola: sara is running 5 secs || 1205961 markings, 1205961 edges, 121184 markings/sec, 5 secs
lola: sara is running 10 secs || 1813441 markings, 1813440 edges, 121496 markings/sec, 10 secs
lola: sara is running 15 secs || 2426906 markings, 2426905 edges, 122693 markings/sec, 15 secs
lola: sara is running 20 secs || 3044613 markings, 3044612 edges, 123541 markings/sec, 20 secs
lola: sara is running 25 secs || 3657748 markings, 3657748 edges, 122627 markings/sec, 25 secs
lola: sara is running 30 secs || 4266431 markings, 4266430 edges, 121737 markings/sec, 30 secs
lola: sara is running 35 secs || 4879494 markings, 4879493 edges, 122613 markings/sec, 35 secs
lola: sara is running 40 secs || 5490111 markings, 5490111 edges, 122123 markings/sec, 40 secs
lola: sara is running 45 secs || 6090744 markings, 6090743 edges, 120127 markings/sec, 45 secs
lola: sara is running 50 secs || 6693658 markings, 6693658 edges, 120583 markings/sec, 50 secs
lola: sara is running 55 secs || 7301202 markings, 7301201 edges, 121509 markings/sec, 55 secs
lola: sara is running 60 secs || 7909289 markings, 7909289 edges, 121617 markings/sec, 60 secs
lola: sara is running 65 secs || 8510025 markings, 8510025 edges, 120147 markings/sec, 65 secs
lola: sara is running 70 secs || 9095197 markings, 9095197 edges, 117034 markings/sec, 70 secs
lola: sara is running 75 secs || 9699588 markings, 9699588 edges, 120878 markings/sec, 75 secs
lola: sara is running 80 secs || 10307116 markings, 10307115 edges, 121506 markings/sec, 80 secs
lola: sara is running 85 secs || 10913114 markings, 10913113 edges, 121200 markings/sec, 85 secs
lola: sara is running 90 secs || 11517226 markings, 11517226 edges, 120822 markings/sec, 90 secs
lola: sara is running 95 secs || 12121862 markings, 12121861 edges, 120927 markings/sec, 95 secs
lola: sara is running 100 secs || 12726382 markings, 12726381 edges, 120904 markings/sec, 100 secs
lola: sara is running 105 secs || 13333064 markings, 13333063 edges, 121336 markings/sec, 105 secs
lola: sara is running 110 secs || 13942065 markings, 13942064 edges, 121800 markings/sec, 110 secs
lola: sara is running 115 secs || 14544231 markings, 14544231 edges, 120433 markings/sec, 115 secs
lola: sara is running 120 secs || 15146153 markings, 15146153 edges, 120384 markings/sec, 120 secs
lola: sara is running 125 secs || 15756876 markings, 15756876 edges, 122145 markings/sec, 125 secs
lola: sara is running 130 secs || 16363266 markings, 16363265 edges, 121278 markings/sec, 130 secs
lola: sara is running 135 secs || 16965528 markings, 16965527 edges, 120452 markings/sec, 135 secs
lola: sara is running 140 secs || 17564775 markings, 17564775 edges, 119849 markings/sec, 140 secs
lola: sara is running 145 secs || 18165537 markings, 18165537 edges, 120152 markings/sec, 145 secs
lola: sara is running 150 secs || 18766919 markings, 18766919 edges, 120276 markings/sec, 150 secs
lola: sara is running 155 secs || 19372964 markings, 19372963 edges, 121209 markings/sec, 155 secs
lola: sara is running 160 secs || 19983222 markings, 19983221 edges, 122052 markings/sec, 160 secs
lola: sara is running 165 secs || 20587100 markings, 20587099 edges, 120776 markings/sec, 165 secs
lola: sara is running 170 secs || 21189183 markings, 21189183 edges, 120417 markings/sec, 170 secs
lola: sara is running 175 secs || 21796762 markings, 21796762 edges, 121516 markings/sec, 175 secs
lola: sara is running 180 secs || 22404989 markings, 22404988 edges, 121645 markings/sec, 180 secs
lola: sara is running 185 secs || 23005206 markings, 23005206 edges, 120043 markings/sec, 185 secs
lola: sara is running 190 secs || 23607680 markings, 23607679 edges, 120495 markings/sec, 190 secs
lola: sara is running 195 secs || 24197082 markings, 24197082 edges, 117880 markings/sec, 195 secs
lola: sara is running 200 secs || 24801993 markings, 24801993 edges, 120982 markings/sec, 200 secs
lola: sara is running 205 secs || 25397829 markings, 25397828 edges, 119167 markings/sec, 205 secs
lola: sara is running 210 secs || 25999329 markings, 25999328 edges, 120300 markings/sec, 210 secs
lola: sara is running 215 secs || 26602461 markings, 26602460 edges, 120626 markings/sec, 215 secs
lola: sara is running 220 secs || 27210838 markings, 27210837 edges, 121675 markings/sec, 220 secs
lola: sara is running 225 secs || 27813378 markings, 27813378 edges, 120508 markings/sec, 225 secs
lola: sara is running 230 secs || 28413325 markings, 28413324 edges, 119989 markings/sec, 230 secs
lola: sara is running 235 secs || 29011886 markings, 29011885 edges, 119712 markings/sec, 235 secs
lola: sara is running 240 secs || 29614754 markings, 29614754 edges, 120574 markings/sec, 240 secs
lola: sara is running 245 secs || 30222762 markings, 30222762 edges, 121602 markings/sec, 245 secs
lola: sara is running 250 secs || 30824202 markings, 30824201 edges, 120288 markings/sec, 250 secs
lola: sara is running 255 secs || 31420521 markings, 31420521 edges, 119264 markings/sec, 255 secs
lola: sara is running 260 secs || 32018476 markings, 32018476 edges, 119591 markings/sec, 260 secs
lola: sara is running 265 secs || 32618707 markings, 32618707 edges, 120046 markings/sec, 265 secs
lola: sara is running 270 secs || 33225804 markings, 33225803 edges, 121419 markings/sec, 270 secs
lola: sara is running 275 secs || 33829587 markings, 33829587 edges, 120757 markings/sec, 275 secs
lola: sara is running 280 secs || 34430853 markings, 34430853 edges, 120253 markings/sec, 280 secs
lola: sara is running 285 secs || 35009636 markings, 35009635 edges, 115757 markings/sec, 285 secs
lola: sara is running 290 secs || 35573828 markings, 35573828 edges, 112838 markings/sec, 290 secs
lola: sara is running 295 secs || 36143673 markings, 36143672 edges, 113969 markings/sec, 295 secs
lola: sara is running 300 secs || 36712358 markings, 36712357 edges, 113737 markings/sec, 300 secs
lola: sara is running 305 secs || 37278280 markings, 37278279 edges, 113184 markings/sec, 305 secs
lola: sara is running 310 secs || 37829732 markings, 37829731 edges, 110290 markings/sec, 310 secs
lola: sara is running 315 secs || 38389861 markings, 38389860 edges, 112026 markings/sec, 315 secs
lola: sara is running 320 secs || 38930414 markings, 38930414 edges, 108111 markings/sec, 320 secs
lola: sara is running 325 secs || 39498560 markings, 39498560 edges, 113629 markings/sec, 325 secs
lola: sara is running 330 secs || 40045011 markings, 40045011 edges, 109290 markings/sec, 330 secs
lola: sara is running 335 secs || 40600703 markings, 40600702 edges, 111138 markings/sec, 335 secs
lola: sara is running 340 secs || 41188658 markings, 41188658 edges, 117591 markings/sec, 340 secs
lola: sara is running 345 secs || 41769982 markings, 41769981 edges, 116265 markings/sec, 345 secs
lola: sara is running 350 secs || 42362198 markings, 42362197 edges, 118443 markings/sec, 350 secs
lola: sara is running 355 secs || 42946916 markings, 42946915 edges, 116944 markings/sec, 355 secs
lola: sara is running 360 secs || 43551376 markings, 43551375 edges, 120892 markings/sec, 360 secs
lola: sara is running 365 secs || 44159024 markings, 44159024 edges, 121530 markings/sec, 365 secs
lola: sara is running 370 secs || 44766752 markings, 44766752 edges, 121546 markings/sec, 370 secs
lola: sara is running 375 secs || 45368083 markings, 45368082 edges, 120266 markings/sec, 375 secs
lola: sara is running 380 secs || 45969265 markings, 45969264 edges, 120236 markings/sec, 380 secs
lola: sara is running 385 secs || 46570744 markings, 46570743 edges, 120296 markings/sec, 385 secs
lola: sara is running 390 secs || 47173579 markings, 47173578 edges, 120567 markings/sec, 390 secs
lola: sara is running 395 secs || 47775902 markings, 47775902 edges, 120465 markings/sec, 395 secs
lola: sara is running 400 secs || 48383807 markings, 48383807 edges, 121581 markings/sec, 400 secs
lola: sara is running 405 secs || 48991743 markings, 48991742 edges, 121587 markings/sec, 405 secs
lola: sara is running 410 secs || 49590908 markings, 49590907 edges, 119833 markings/sec, 410 secs
lola: sara is running 415 secs || 50191360 markings, 50191360 edges, 120090 markings/sec, 415 secs
lola: sara is running 420 secs || 50791327 markings, 50791326 edges, 119993 markings/sec, 420 secs
lola: sara is running 425 secs || 51397661 markings, 51397661 edges, 121267 markings/sec, 425 secs
lola: sara is running 430 secs || 51999180 markings, 51999180 edges, 120304 markings/sec, 430 secs
lola: sara is running 435 secs || 52603514 markings, 52603513 edges, 120867 markings/sec, 435 secs
lola: sara is running 440 secs || 53204955 markings, 53204954 edges, 120288 markings/sec, 440 secs
lola: sara is running 445 secs || 53793515 markings, 53793515 edges, 117712 markings/sec, 445 secs
lola: sara is running 450 secs || 54394943 markings, 54394942 edges, 120286 markings/sec, 450 secs
lola: sara is running 455 secs || 54996820 markings, 54996819 edges, 120375 markings/sec, 455 secs
lola: sara is running 460 secs || 55598845 markings, 55598845 edges, 120405 markings/sec, 460 secs
lola: sara is running 465 secs || 56200452 markings, 56200451 edges, 120321 markings/sec, 465 secs
lola: sara is running 470 secs || 56800511 markings, 56800510 edges, 120012 markings/sec, 470 secs
lola: sara is running 475 secs || 57406952 markings, 57406952 edges, 121288 markings/sec, 475 secs
lola: sara is running 480 secs || 58012167 markings, 58012166 edges, 121043 markings/sec, 480 secs
lola: sara is running 485 secs || 58616163 markings, 58616162 edges, 120799 markings/sec, 485 secs
lola: sara is running 490 secs || 59214109 markings, 59214108 edges, 119589 markings/sec, 490 secs
lola: sara is running 495 secs || 59813235 markings, 59813235 edges, 119825 markings/sec, 495 secs
lola: sara is running 500 secs || 60413593 markings, 60413592 edges, 120072 markings/sec, 500 secs
lola: sara is running 505 secs || 61014136 markings, 61014136 edges, 120109 markings/sec, 505 secs
lola: sara is running 510 secs || 61614028 markings, 61614027 edges, 119978 markings/sec, 510 secs
lola: sara is running 515 secs || 62215897 markings, 62215896 edges, 120374 markings/sec, 515 secs
lola: sara is running 520 secs || 62825065 markings, 62825065 edges, 121834 markings/sec, 520 secs
lola: sara is running 525 secs || 63430675 markings, 63430675 edges, 121122 markings/sec, 525 secs
lola: sara is running 530 secs || 64029995 markings, 64029994 edges, 119864 markings/sec, 530 secs
lola: sara is running 535 secs || 64628980 markings, 64628979 edges, 119797 markings/sec, 535 secs
lola: sara is running 540 secs || 65230663 markings, 65230662 edges, 120337 markings/sec, 540 secs
lola: sara is running 545 secs || 65831194 markings, 65831193 edges, 120106 markings/sec, 545 secs
lola: sara is running 550 secs || 66432651 markings, 66432650 edges, 120291 markings/sec, 550 secs
lola: sara is running 555 secs || 67036178 markings, 67036177 edges, 120705 markings/sec, 555 secs
lola: sara is running 560 secs || 67641426 markings, 67641425 edges, 121050 markings/sec, 560 secs
lola: sara is running 565 secs || 68251241 markings, 68251240 edges, 121963 markings/sec, 565 secs
lola: sara is running 570 secs || 68854424 markings, 68854423 edges, 120637 markings/sec, 570 secs
lola: sara is running 575 secs || 69452610 markings, 69452610 edges, 119637 markings/sec, 575 secs
lola: sara is running 580 secs || 70054046 markings, 70054046 edges, 120287 markings/sec, 580 secs
lola: sara is running 585 secs || 70646869 markings, 70646868 edges, 118565 markings/sec, 585 secs
lola: sara is running 590 secs || 71243067 markings, 71243067 edges, 119240 markings/sec, 590 secs
lola: sara is running 595 secs || 71824052 markings, 71824051 edges, 116197 markings/sec, 595 secs
lola: sara is running 600 secs || 72416034 markings, 72416034 edges, 118396 markings/sec, 600 secs
lola: sara is running 605 secs || 72999553 markings, 72999553 edges, 116704 markings/sec, 605 secs
lola: sara is running 610 secs || 73588054 markings, 73588054 edges, 117700 markings/sec, 610 secs
lola: sara is running 615 secs || 74179865 markings, 74179865 edges, 118362 markings/sec, 615 secs
lola: sara is running 620 secs || 74767288 markings, 74767287 edges, 117485 markings/sec, 620 secs
lola: sara is running 625 secs || 75357315 markings, 75357314 edges, 118005 markings/sec, 625 secs
lola: sara is running 630 secs || 75954077 markings, 75954077 edges, 119352 markings/sec, 630 secs
lola: sara is running 635 secs || 76542064 markings, 76542063 edges, 117597 markings/sec, 635 secs
lola: sara is running 640 secs || 77136384 markings, 77136384 edges, 118864 markings/sec, 640 secs
lola: sara is running 645 secs || 77717619 markings, 77717619 edges, 116247 markings/sec, 645 secs
lola: sara is running 650 secs || 78304197 markings, 78304196 edges, 117316 markings/sec, 650 secs
lola: sara is running 655 secs || 78896045 markings, 78896045 edges, 118370 markings/sec, 655 secs
lola: sara is running 660 secs || 79506288 markings, 79506287 edges, 122049 markings/sec, 660 secs
lola: sara is running 665 secs || 80112739 markings, 80112739 edges, 121290 markings/sec, 665 secs
lola: sara is running 670 secs || 80697929 markings, 80697929 edges, 117038 markings/sec, 670 secs
lola: sara is running 675 secs || 81277591 markings, 81277591 edges, 115932 markings/sec, 675 secs
lola: sara is running 680 secs || 81860192 markings, 81860192 edges, 116520 markings/sec, 680 secs
lola: sara is running 685 secs || 82443852 markings, 82443852 edges, 116732 markings/sec, 685 secs
lola: sara is running 690 secs || 83027078 markings, 83027078 edges, 116645 markings/sec, 690 secs
lola: sara is running 695 secs || 83608973 markings, 83608972 edges, 116379 markings/sec, 695 secs
lola: sara is running 700 secs || 84190293 markings, 84190292 edges, 116264 markings/sec, 700 secs
lola: sara is running 705 secs || 84772186 markings, 84772185 edges, 116379 markings/sec, 705 secs
lola: sara is running 710 secs || 85355560 markings, 85355560 edges, 116675 markings/sec, 710 secs
lola: sara is running 715 secs || 85942761 markings, 85942760 edges, 117440 markings/sec, 715 secs
lola: sara is running 720 secs || 86539085 markings, 86539085 edges, 119265 markings/sec, 720 secs
lola: sara is running 725 secs || 87124479 markings, 87124479 edges, 117079 markings/sec, 725 secs
lola: sara is running 730 secs || 87705373 markings, 87705373 edges, 116179 markings/sec, 730 secs
lola: sara is running 735 secs || 88289183 markings, 88289183 edges, 116762 markings/sec, 735 secs
lola: sara is running 740 secs || 88879015 markings, 88879015 edges, 117966 markings/sec, 740 secs
lola: sara is running 745 secs || 89458155 markings, 89458155 edges, 115828 markings/sec, 745 secs
lola: sara is running 750 secs || 90039753 markings, 90039753 edges, 116320 markings/sec, 750 secs
lola: sara is running 755 secs || 90625579 markings, 90625579 edges, 117165 markings/sec, 755 secs
lola: sara is running 760 secs || 91228628 markings, 91228627 edges, 120610 markings/sec, 760 secs
lola: sara is running 765 secs || 91820208 markings, 91820207 edges, 118316 markings/sec, 765 secs
lola: sara is running 770 secs || 92418184 markings, 92418184 edges, 119595 markings/sec, 770 secs
lola: sara is running 775 secs || 93010073 markings, 93010073 edges, 118378 markings/sec, 775 secs
lola: sara is running 780 secs || 93588893 markings, 93588893 edges, 115764 markings/sec, 780 secs
lola: sara is running 785 secs || 94174442 markings, 94174442 edges, 117110 markings/sec, 785 secs
lola: sara is running 790 secs || 94755044 markings, 94755044 edges, 116120 markings/sec, 790 secs
lola: sara is running 795 secs || 95336102 markings, 95336101 edges, 116212 markings/sec, 795 secs
lola: sara is running 800 secs || 95913875 markings, 95913874 edges, 115555 markings/sec, 800 secs
lola: sara is running 805 secs || 96494354 markings, 96494354 edges, 116096 markings/sec, 805 secs
lola: sara is running 810 secs || 97084673 markings, 97084673 edges, 118064 markings/sec, 810 secs
lola: sara is running 815 secs || 97681459 markings, 97681458 edges, 119357 markings/sec, 815 secs
lola: sara is running 820 secs || 98272671 markings, 98272670 edges, 118242 markings/sec, 820 secs
lola: sara is running 825 secs || 98861321 markings, 98861320 edges, 117730 markings/sec, 825 secs
lola: sara is running 830 secs || 99450469 markings, 99450468 edges, 117830 markings/sec, 830 secs
lola: sara is running 835 secs || 100051382 markings, 100051382 edges, 120183 markings/sec, 835 secs
lola: sara is running 840 secs || 100642775 markings, 100642774 edges, 118279 markings/sec, 840 secs
lola: sara is running 845 secs || 101219222 markings, 101219221 edges, 115289 markings/sec, 845 secs
lola: sara is running 850 secs || 101772648 markings, 101772647 edges, 110685 markings/sec, 850 secs
lola: sara is running 855 secs || 102351309 markings, 102351309 edges, 115732 markings/sec, 855 secs
lola: sara is running 860 secs || 102921568 markings, 102921567 edges, 114052 markings/sec, 860 secs
lola: sara is running 865 secs || 103481279 markings, 103481279 edges, 111942 markings/sec, 865 secs
lola: sara is running 870 secs || 104024813 markings, 104024813 edges, 108707 markings/sec, 870 secs
lola: sara is running 875 secs || 104574132 markings, 104574132 edges, 109864 markings/sec, 875 secs
lola: sara is running 880 secs || 105131288 markings, 105131288 edges, 111431 markings/sec, 880 secs
lola: sara is running 885 secs || 105694166 markings, 105694165 edges, 112576 markings/sec, 885 secs
lola: sara is running 890 secs || 106280849 markings, 106280848 edges, 117337 markings/sec, 890 secs
lola: sara is running 895 secs || 106865314 markings, 106865313 edges, 116893 markings/sec, 895 secs
lola: sara is running 900 secs || 107446716 markings, 107446715 edges, 116280 markings/sec, 900 secs
lola: sara is running 905 secs || 108025185 markings, 108025184 edges, 115694 markings/sec, 905 secs
lola: sara is running 910 secs || 108603364 markings, 108603364 edges, 115636 markings/sec, 910 secs
lola: sara is running 915 secs || 109196659 markings, 109196659 edges, 118659 markings/sec, 915 secs
lola: sara is running 920 secs || 109359599 markings, 109359598 edges, 32588 markings/sec, 920 secs
lola: sara is running 925 secs || 109369471 markings, 109369471 edges, 1974 markings/sec, 925 secs
lola: sara is running 930 secs || 109379141 markings, 109379140 edges, 1934 markings/sec, 930 secs
lola: sara is running 935 secs || 109383719 markings, 109383719 edges, 916 markings/sec, 935 secs
lola: sara is running 940 secs || 109395796 markings, 109395796 edges, 2415 markings/sec, 940 secs
lola: sara is running 945 secs || 109405820 markings, 109405819 edges, 2005 markings/sec, 945 secs
lola: sara is running 950 secs || 109422550 markings, 109422550 edges, 3346 markings/sec, 950 secs
lola: sara is running 955 secs || 109435996 markings, 109435996 edges, 2689 markings/sec, 955 secs
lola: sara is running 960 secs || 109436883 markings, 109436883 edges, 177 markings/sec, 960 secs
lola: sara is running 965 secs || 109441039 markings, 109441039 edges, 831 markings/sec, 965 secs
lola: sara is running 970 secs || 109933884 markings, 109933883 edges, 98569 markings/sec, 970 secs
lola: sara is running 975 secs || 110535593 markings, 110535593 edges, 120342 markings/sec, 975 secs
lola: sara is running 980 secs || 111136056 markings, 111136055 edges, 120093 markings/sec, 980 secs
lola: sara is running 985 secs || 111735938 markings, 111735938 edges, 119976 markings/sec, 985 secs
lola: sara is running 990 secs || 112336979 markings, 112336978 edges, 120208 markings/sec, 990 secs
lola: sara is running 995 secs || 112945597 markings, 112945596 edges, 121724 markings/sec, 995 secs
lola: sara is running 1000 secs || 113556580 markings, 113556579 edges, 122197 markings/sec, 1000 secs
lola: sara is running 1005 secs || 114164626 markings, 114164625 edges, 121609 markings/sec, 1005 secs
lola: sara is running 1010 secs || 114774049 markings, 114774048 edges, 121885 markings/sec, 1010 secs
lola: sara is running 1015 secs || 115374513 markings, 115374512 edges, 120093 markings/sec, 1015 secs
lola: sara is running 1020 secs || 115976703 markings, 115976702 edges, 120438 markings/sec, 1020 secs
lola: sara is running 1025 secs || 116577029 markings, 116577029 edges, 120065 markings/sec, 1025 secs
lola: sara is running 1030 secs || 117179597 markings, 117179596 edges, 120514 markings/sec, 1030 secs
lola: sara is running 1035 secs || 117771289 markings, 117771289 edges, 118338 markings/sec, 1035 secs
lola: sara is running 1040 secs || 118358248 markings, 118358248 edges, 117392 markings/sec, 1040 secs
lola: sara is running 1045 secs || 118959771 markings, 118959771 edges, 120305 markings/sec, 1045 secs
lola: sara is running 1050 secs || 119559110 markings, 119559109 edges, 119868 markings/sec, 1050 secs
lola: sara is running 1055 secs || 120166834 markings, 120166834 edges, 121545 markings/sec, 1055 secs
lola: sara is running 1060 secs || 120757185 markings, 120757185 edges, 118070 markings/sec, 1060 secs
lola: sara is running 1065 secs || 121305236 markings, 121305236 edges, 109610 markings/sec, 1065 secs
lola: sara is running 1070 secs || 121848790 markings, 121848789 edges, 108711 markings/sec, 1070 secs
lola: sara is running 1075 secs || 122404483 markings, 122404483 edges, 111139 markings/sec, 1075 secs
lola: sara is running 1080 secs || 122977040 markings, 122977040 edges, 114511 markings/sec, 1080 secs
lola: sara is running 1085 secs || 123525987 markings, 123525986 edges, 109789 markings/sec, 1085 secs
lola: sara is running 1090 secs || 124125975 markings, 124125975 edges, 119998 markings/sec, 1090 secs
lola: sara is running 1095 secs || 124747142 markings, 124747141 edges, 124233 markings/sec, 1095 secs
lola: sara is running 1100 secs || 125362882 markings, 125362881 edges, 123148 markings/sec, 1100 secs
lola: sara is running 1105 secs || 125981934 markings, 125981934 edges, 123810 markings/sec, 1105 secs
lola: sara is running 1110 secs || 126602561 markings, 126602561 edges, 124125 markings/sec, 1110 secs
lola: sara is running 1115 secs || 127221987 markings, 127221986 edges, 123885 markings/sec, 1115 secs
lola: sara is running 1120 secs || 127836981 markings, 127836980 edges, 122999 markings/sec, 1120 secs
lola: sara is running 1125 secs || 128458675 markings, 128458674 edges, 124339 markings/sec, 1125 secs
lola: sara is running 1130 secs || 129085603 markings, 129085603 edges, 125386 markings/sec, 1130 secs
lola: sara is running 1135 secs || 129714198 markings, 129714198 edges, 125719 markings/sec, 1135 secs
lola: sara is running 1140 secs || 130340381 markings, 130340380 edges, 125237 markings/sec, 1140 secs
lola: sara is running 1145 secs || 130964984 markings, 130964984 edges, 124921 markings/sec, 1145 secs
lola: sara is running 1150 secs || 131586387 markings, 131586386 edges, 124281 markings/sec, 1150 secs
lola: sara is running 1155 secs || 132206529 markings, 132206528 edges, 124028 markings/sec, 1155 secs
lola: sara is running 1160 secs || 132830542 markings, 132830542 edges, 124803 markings/sec, 1160 secs
lola: sara is running 1165 secs || 133451975 markings, 133451974 edges, 124287 markings/sec, 1165 secs
lola: sara is running 1170 secs || 134069905 markings, 134069905 edges, 123586 markings/sec, 1170 secs
lola: sara is running 1175 secs || 134689492 markings, 134689492 edges, 123917 markings/sec, 1175 secs
lola: sara is running 1180 secs || 135311549 markings, 135311549 edges, 124411 markings/sec, 1180 secs
lola: sara is running 1185 secs || 135927738 markings, 135927737 edges, 123238 markings/sec, 1185 secs
lola: sara is running 1190 secs || 136540591 markings, 136540591 edges, 122571 markings/sec, 1190 secs
lola: sara is running 1195 secs || 137159822 markings, 137159822 edges, 123846 markings/sec, 1195 secs
lola: sara is running 1200 secs || 137770064 markings, 137770063 edges, 122048 markings/sec, 1200 secs
lola: sara is running 1205 secs || 138385455 markings, 138385454 edges, 123078 markings/sec, 1205 secs
lola: sara is running 1210 secs || 139008836 markings, 139008836 edges, 124676 markings/sec, 1210 secs
lola: sara is running 1215 secs || 139627029 markings, 139627029 edges, 123639 markings/sec, 1215 secs
lola: sara is running 1220 secs || 140244676 markings, 140244676 edges, 123529 markings/sec, 1220 secs
lola: sara is running 1225 secs || 140856598 markings, 140856597 edges, 122384 markings/sec, 1225 secs
lola: sara is running 1230 secs || 141478832 markings, 141478832 edges, 124447 markings/sec, 1230 secs
lola: sara is running 1235 secs || 142085312 markings, 142085312 edges, 121296 markings/sec, 1235 secs
lola: sara is running 1240 secs || 142679282 markings, 142679281 edges, 118794 markings/sec, 1240 secs
lola: sara is running 1245 secs || 143281023 markings, 143281022 edges, 120348 markings/sec, 1245 secs
lola: sara is running 1250 secs || 143887121 markings, 143887120 edges, 121220 markings/sec, 1250 secs
lola: sara is running 1255 secs || 144489757 markings, 144489756 edges, 120527 markings/sec, 1255 secs
lola: sara is running 1260 secs || 145096677 markings, 145096676 edges, 121384 markings/sec, 1260 secs
lola: sara is running 1265 secs || 145699714 markings, 145699713 edges, 120607 markings/sec, 1265 secs
lola: sara is running 1270 secs || 146321417 markings, 146321416 edges, 124341 markings/sec, 1270 secs
lola: sara is running 1275 secs || 146945091 markings, 146945090 edges, 124735 markings/sec, 1275 secs
lola: sara is running 1280 secs || 147574556 markings, 147574556 edges, 125893 markings/sec, 1280 secs
lola: sara is running 1285 secs || 148199233 markings, 148199232 edges, 124935 markings/sec, 1285 secs
lola: sara is running 1290 secs || 148817841 markings, 148817840 edges, 123722 markings/sec, 1290 secs
lola: sara is running 1295 secs || 149436164 markings, 149436163 edges, 123665 markings/sec, 1295 secs
lola: sara is running 1300 secs || 150077196 markings, 150077195 edges, 128206 markings/sec, 1300 secs
lola: sara is running 1305 secs || 150721555 markings, 150721554 edges, 128872 markings/sec, 1305 secs
lola: sara is running 1310 secs || 151353961 markings, 151353961 edges, 126481 markings/sec, 1310 secs
lola: sara is running 1315 secs || 151995289 markings, 151995289 edges, 128266 markings/sec, 1315 secs
lola: sara is running 1320 secs || 152634965 markings, 152634964 edges, 127935 markings/sec, 1320 secs
lola: sara is running 1325 secs || 153276452 markings, 153276452 edges, 128297 markings/sec, 1325 secs
lola: sara is running 1330 secs || 153915107 markings, 153915106 edges, 127731 markings/sec, 1330 secs
lola: sara is running 1335 secs || 154557307 markings, 154557306 edges, 128440 markings/sec, 1335 secs
lola: sara is running 1340 secs || 155183742 markings, 155183741 edges, 125287 markings/sec, 1340 secs
lola: sara is running 1345 secs || 155830021 markings, 155830021 edges, 129256 markings/sec, 1345 secs
lola: sara is running 1350 secs || 156477277 markings, 156477277 edges, 129451 markings/sec, 1350 secs
lola: sara is running 1355 secs || 157108952 markings, 157108952 edges, 126335 markings/sec, 1355 secs
lola: sara is running 1360 secs || 157735905 markings, 157735904 edges, 125391 markings/sec, 1360 secs
lola: sara is running 1365 secs || 158358676 markings, 158358675 edges, 124554 markings/sec, 1365 secs
lola: sara is running 1370 secs || 158979023 markings, 158979023 edges, 124069 markings/sec, 1370 secs
lola: sara is running 1375 secs || 159602715 markings, 159602715 edges, 124738 markings/sec, 1375 secs
lola: sara is running 1380 secs || 160222482 markings, 160222482 edges, 123953 markings/sec, 1380 secs
lola: sara is running 1385 secs || 160841068 markings, 160841067 edges, 123717 markings/sec, 1385 secs
lola: sara is running 1390 secs || 161462427 markings, 161462426 edges, 124272 markings/sec, 1390 secs
lola: sara is running 1395 secs || 162085407 markings, 162085406 edges, 124596 markings/sec, 1395 secs
lola: sara is running 1400 secs || 162708288 markings, 162708288 edges, 124576 markings/sec, 1400 secs
lola: sara is running 1405 secs || 163327335 markings, 163327335 edges, 123809 markings/sec, 1405 secs
lola: sara is running 1410 secs || 163967817 markings, 163967817 edges, 128096 markings/sec, 1410 secs
lola: sara is running 1415 secs || 164610090 markings, 164610089 edges, 128455 markings/sec, 1415 secs
lola: sara is running 1420 secs || 165249694 markings, 165249694 edges, 127921 markings/sec, 1420 secs
lola: sara is running 1425 secs || 165897445 markings, 165897444 edges, 129550 markings/sec, 1425 secs
lola: sara is running 1430 secs || 166540848 markings, 166540847 edges, 128681 markings/sec, 1430 secs
lola: sara is running 1435 secs || 167167787 markings, 167167787 edges, 125388 markings/sec, 1435 secs
lola: sara is running 1440 secs || 167793284 markings, 167793284 edges, 125099 markings/sec, 1440 secs
lola: sara is running 1445 secs || 168414580 markings, 168414579 edges, 124259 markings/sec, 1445 secs
lola: sara is running 1450 secs || 169020953 markings, 169020953 edges, 121275 markings/sec, 1450 secs
lola: sara is running 1455 secs || 169597737 markings, 169597736 edges, 115357 markings/sec, 1455 secs
lola: sara is running 1460 secs || 170140741 markings, 170140741 edges, 108601 markings/sec, 1460 secs
lola: sara is running 1465 secs || 170671696 markings, 170671695 edges, 106191 markings/sec, 1465 secs
lola: sara is running 1470 secs || 171198244 markings, 171198243 edges, 105310 markings/sec, 1470 secs
lola: sara is running 1475 secs || 171732190 markings, 171732189 edges, 106789 markings/sec, 1475 secs
lola: sara is running 1480 secs || 172272849 markings, 172272848 edges, 108132 markings/sec, 1480 secs
lola: sara is running 1485 secs || 172844893 markings, 172844893 edges, 114409 markings/sec, 1485 secs
lola: sara is running 1490 secs || 173417978 markings, 173417977 edges, 114617 markings/sec, 1490 secs
lola: sara is running 1495 secs || 173978016 markings, 173978016 edges, 112008 markings/sec, 1495 secs
lola: sara is running 1500 secs || 174579148 markings, 174579148 edges, 120226 markings/sec, 1500 secs
lola: sara is running 1505 secs || 175190798 markings, 175190798 edges, 122330 markings/sec, 1505 secs
lola: sara is running 1510 secs || 175816726 markings, 175816725 edges, 125186 markings/sec, 1510 secs
lola: sara is running 1515 secs || 176443888 markings, 176443887 edges, 125432 markings/sec, 1515 secs
lola: sara is running 1520 secs || 177072781 markings, 177072780 edges, 125779 markings/sec, 1520 secs
lola: sara is running 1525 secs || 177694454 markings, 177694454 edges, 124335 markings/sec, 1525 secs
lola: sara is running 1530 secs || 178301095 markings, 178301095 edges, 121328 markings/sec, 1530 secs
lola: sara is running 1535 secs || 178881071 markings, 178881070 edges, 115995 markings/sec, 1535 secs
lola: sara is running 1540 secs || 179417431 markings, 179417430 edges, 107272 markings/sec, 1540 secs
lola: sara is running 1545 secs || 179957192 markings, 179957191 edges, 107952 markings/sec, 1545 secs
lola: sara is running 1550 secs || 180494971 markings, 180494970 edges, 107556 markings/sec, 1550 secs
lola: sara is running 1555 secs || 181032235 markings, 181032235 edges, 107453 markings/sec, 1555 secs
lola: sara is running 1560 secs || 181566067 markings, 181566066 edges, 106766 markings/sec, 1560 secs
lola: sara is running 1565 secs || 182122124 markings, 182122123 edges, 111211 markings/sec, 1565 secs
lola: sara is running 1570 secs || 182669846 markings, 182669845 edges, 109544 markings/sec, 1570 secs
lola: sara is running 1575 secs || 183215135 markings, 183215134 edges, 109058 markings/sec, 1575 secs
lola: sara is running 1580 secs || 183781370 markings, 183781370 edges, 113247 markings/sec, 1580 secs
lola: sara is running 1585 secs || 184366754 markings, 184366753 edges, 117077 markings/sec, 1585 secs
lola: sara is running 1590 secs || 184968010 markings, 184968010 edges, 120251 markings/sec, 1590 secs
lola: sara is running 1595 secs || 185554751 markings, 185554751 edges, 117348 markings/sec, 1595 secs
lola: sara is running 1600 secs || 186139778 markings, 186139777 edges, 117005 markings/sec, 1600 secs
lola: sara is running 1605 secs || 186739228 markings, 186739228 edges, 119890 markings/sec, 1605 secs
lola: sara is running 1610 secs || 187338589 markings, 187338588 edges, 119872 markings/sec, 1610 secs
lola: sara is running 1615 secs || 187922489 markings, 187922488 edges, 116780 markings/sec, 1615 secs
lola: sara is running 1620 secs || 188506794 markings, 188506793 edges, 116861 markings/sec, 1620 secs
lola: sara is running 1625 secs || 189109041 markings, 189109041 edges, 120449 markings/sec, 1625 secs
lola: sara is running 1630 secs || 189711690 markings, 189711689 edges, 120530 markings/sec, 1630 secs
lola: sara is running 1635 secs || 190313669 markings, 190313668 edges, 120396 markings/sec, 1635 secs
lola: sara is running 1640 secs || 190899283 markings, 190899283 edges, 117123 markings/sec, 1640 secs
lola: sara is running 1645 secs || 191483677 markings, 191483677 edges, 116879 markings/sec, 1645 secs
lola: sara is running 1650 secs || 192081494 markings, 192081493 edges, 119563 markings/sec, 1650 secs
lola: sara is running 1655 secs || 192681460 markings, 192681459 edges, 119993 markings/sec, 1655 secs
lola: sara is running 1660 secs || 193282796 markings, 193282796 edges, 120267 markings/sec, 1660 secs
lola: sara is running 1665 secs || 193883008 markings, 193883007 edges, 120042 markings/sec, 1665 secs
lola: sara is running 1670 secs || 194475149 markings, 194475149 edges, 118428 markings/sec, 1670 secs
lola: sara is running 1675 secs || 195059130 markings, 195059130 edges, 116796 markings/sec, 1675 secs
lola: sara is running 1680 secs || 195641458 markings, 195641457 edges, 116466 markings/sec, 1680 secs
lola: sara is running 1685 secs || 196222784 markings, 196222783 edges, 116265 markings/sec, 1685 secs
lola: sara is running 1690 secs || 196822705 markings, 196822704 edges, 119984 markings/sec, 1690 secs
lola: sara is running 1695 secs || 197420719 markings, 197420719 edges, 119603 markings/sec, 1695 secs
lola: sara is running 1700 secs || 198028724 markings, 198028724 edges, 121601 markings/sec, 1700 secs
lola: sara is running 1705 secs || 198631883 markings, 198631882 edges, 120632 markings/sec, 1705 secs
lola: sara is running 1710 secs || 199234231 markings, 199234231 edges, 120470 markings/sec, 1710 secs
lola: sara is running 1715 secs || 199836912 markings, 199836911 edges, 120536 markings/sec, 1715 secs
lola: sara is running 1720 secs || 200442517 markings, 200442516 edges, 121121 markings/sec, 1720 secs
lola: sara is running 1725 secs || 201063000 markings, 201063000 edges, 124097 markings/sec, 1725 secs
lola: sara is running 1730 secs || 201683924 markings, 201683923 edges, 124185 markings/sec, 1730 secs
lola: sara is running 1735 secs || 202304863 markings, 202304862 edges, 124188 markings/sec, 1735 secs
lola: sara is running 1740 secs || 202904362 markings, 202904362 edges, 119900 markings/sec, 1740 secs
lola: sara is running 1745 secs || 203502449 markings, 203502449 edges, 119617 markings/sec, 1745 secs
lola: sara is running 1750 secs || 204101910 markings, 204101909 edges, 119892 markings/sec, 1750 secs
lola: sara is running 1755 secs || 204698970 markings, 204698970 edges, 119412 markings/sec, 1755 secs
lola: sara is running 1760 secs || 205297594 markings, 205297593 edges, 119725 markings/sec, 1760 secs
lola: sara is running 1765 secs || 205897591 markings, 205897591 edges, 119999 markings/sec, 1765 secs
lola: sara is running 1770 secs || 206483023 markings, 206483022 edges, 117086 markings/sec, 1770 secs
lola: sara is running 1775 secs || 207081061 markings, 207081061 edges, 119608 markings/sec, 1775 secs
lola: sara is running 1780 secs || 207659819 markings, 207659819 edges, 115752 markings/sec, 1780 secs
lola: sara is running 1785 secs || 208259201 markings, 208259200 edges, 119876 markings/sec, 1785 secs
lola: sara is running 1790 secs || 208875664 markings, 208875664 edges, 123293 markings/sec, 1790 secs
lola: sara is running 1795 secs || 209499972 markings, 209499971 edges, 124862 markings/sec, 1795 secs
lola: sara is running 1800 secs || 210125911 markings, 210125911 edges, 125188 markings/sec, 1800 secs
lola: sara is running 1805 secs || 210737956 markings, 210737956 edges, 122409 markings/sec, 1805 secs
lola: sara is running 1810 secs || 211340157 markings, 211340157 edges, 120440 markings/sec, 1810 secs
lola: sara is running 1815 secs || 211932485 markings, 211932484 edges, 118466 markings/sec, 1815 secs
lola: sara is running 1820 secs || 212516485 markings, 212516484 edges, 116800 markings/sec, 1820 secs
lola: sara is running 1825 secs || 213096675 markings, 213096675 edges, 116038 markings/sec, 1825 secs
lola: sara is running 1830 secs || 213699370 markings, 213699369 edges, 120539 markings/sec, 1830 secs
lola: sara is running 1835 secs || 214300705 markings, 214300704 edges, 120267 markings/sec, 1835 secs
lola: sara is running 1840 secs || 214900909 markings, 214900909 edges, 120041 markings/sec, 1840 secs
lola: sara is running 1845 secs || 215502365 markings, 215502365 edges, 120291 markings/sec, 1845 secs
lola: sara is running 1850 secs || 216104982 markings, 216104981 edges, 120523 markings/sec, 1850 secs
lola: sara is running 1855 secs || 216707045 markings, 216707044 edges, 120413 markings/sec, 1855 secs
lola: sara is running 1860 secs || 217324553 markings, 217324553 edges, 123502 markings/sec, 1860 secs
lola: sara is running 1865 secs || 217945468 markings, 217945468 edges, 124183 markings/sec, 1865 secs
lola: sara is running 1870 secs || 218559628 markings, 218559628 edges, 122832 markings/sec, 1870 secs
lola: sara is running 1875 secs || 219150024 markings, 219150024 edges, 118079 markings/sec, 1875 secs
lola: sara is running 1880 secs || 219742584 markings, 219742584 edges, 118512 markings/sec, 1880 secs
lola: sara is running 1885 secs || 220339987 markings, 220339987 edges, 119481 markings/sec, 1885 secs
lola: sara is running 1890 secs || 220947186 markings, 220947186 edges, 121440 markings/sec, 1890 secs
lola: sara is running 1895 secs || 221556960 markings, 221556960 edges, 121955 markings/sec, 1895 secs
lola: sara is running 1900 secs || 222161231 markings, 222161231 edges, 120854 markings/sec, 1900 secs
lola: sara is running 1905 secs || 222765101 markings, 222765101 edges, 120774 markings/sec, 1905 secs
lola: sara is running 1910 secs || 223365917 markings, 223365917 edges, 120163 markings/sec, 1910 secs
lola: sara is running 1915 secs || 223967498 markings, 223967498 edges, 120316 markings/sec, 1915 secs
lola: sara is running 1920 secs || 224569225 markings, 224569224 edges, 120345 markings/sec, 1920 secs
lola: sara is running 1925 secs || 225169593 markings, 225169592 edges, 120074 markings/sec, 1925 secs
lola: sara is running 1930 secs || 225767541 markings, 225767540 edges, 119590 markings/sec, 1930 secs
lola: sara is running 1935 secs || 226369234 markings, 226369234 edges, 120339 markings/sec, 1935 secs
lola: sara is running 1940 secs || 226952574 markings, 226952574 edges, 116668 markings/sec, 1940 secs
lola: sara is running 1945 secs || 227552138 markings, 227552137 edges, 119913 markings/sec, 1945 secs
lola: sara is running 1950 secs || 228152578 markings, 228152577 edges, 120088 markings/sec, 1950 secs
lola: sara is running 1955 secs || 228753668 markings, 228753668 edges, 120218 markings/sec, 1955 secs
lola: sara is running 1960 secs || 229354620 markings, 229354619 edges, 120190 markings/sec, 1960 secs
lola: sara is running 1965 secs || 229955233 markings, 229955232 edges, 120123 markings/sec, 1965 secs
lola: sara is running 1970 secs || 230555493 markings, 230555493 edges, 120052 markings/sec, 1970 secs
lola: sara is running 1975 secs || 231155112 markings, 231155112 edges, 119924 markings/sec, 1975 secs
lola: sara is running 1980 secs || 231753911 markings, 231753910 edges, 119760 markings/sec, 1980 secs
lola: sara is running 1985 secs || 232355101 markings, 232355100 edges, 120238 markings/sec, 1985 secs
lola: sara is running 1990 secs || 232962528 markings, 232962527 edges, 121485 markings/sec, 1990 secs
lola: sara is running 1995 secs || 233568146 markings, 233568146 edges, 121124 markings/sec, 1995 secs
lola: sara is running 2000 secs || 234168442 markings, 234168441 edges, 120059 markings/sec, 2000 secs
lola: sara is running 2005 secs || 234756514 markings, 234756514 edges, 117614 markings/sec, 2005 secs
lola: sara is running 2010 secs || 235340876 markings, 235340875 edges, 116872 markings/sec, 2010 secs
lola: sara is running 2015 secs || 235922438 markings, 235922438 edges, 116312 markings/sec, 2015 secs
lola: sara is running 2020 secs || 236504181 markings, 236504181 edges, 116349 markings/sec, 2020 secs
lola: sara is running 2025 secs || 237090246 markings, 237090245 edges, 117213 markings/sec, 2025 secs
lola: sara is running 2030 secs || 237672493 markings, 237672493 edges, 116449 markings/sec, 2030 secs
lola: sara is running 2035 secs || 238250665 markings, 238250664 edges, 115634 markings/sec, 2035 secs
lola: sara is running 2040 secs || 238827150 markings, 238827150 edges, 115297 markings/sec, 2040 secs
lola: sara is running 2045 secs || 239401221 markings, 239401221 edges, 114814 markings/sec, 2045 secs
lola: sara is running 2050 secs || 239974586 markings, 239974586 edges, 114673 markings/sec, 2050 secs
lola: sara is running 2055 secs || 240558144 markings, 240558143 edges, 116712 markings/sec, 2055 secs
lola: sara is running 2060 secs || 241140006 markings, 241140006 edges, 116372 markings/sec, 2060 secs
lola: sara is running 2065 secs || 241720446 markings, 241720445 edges, 116088 markings/sec, 2065 secs
lola: sara is running 2070 secs || 242300534 markings, 242300533 edges, 116018 markings/sec, 2070 secs
lola: sara is running 2075 secs || 242880656 markings, 242880656 edges, 116024 markings/sec, 2075 secs
lola: sara is running 2080 secs || 243460217 markings, 243460216 edges, 115912 markings/sec, 2080 secs
lola: sara is running 2085 secs || 244040084 markings, 244040083 edges, 115973 markings/sec, 2085 secs
lola: sara is running 2090 secs || 244617635 markings, 244617634 edges, 115510 markings/sec, 2090 secs
lola: sara is running 2095 secs || 245191356 markings, 245191355 edges, 114744 markings/sec, 2095 secs
lola: sara is running 2100 secs || 245777984 markings, 245777983 edges, 117326 markings/sec, 2100 secs
lola: sara is running 2105 secs || 246366978 markings, 246366977 edges, 117799 markings/sec, 2105 secs
lola: sara is running 2110 secs || 246952955 markings, 246952954 edges, 117195 markings/sec, 2110 secs
lola: sara is running 2115 secs || 247531933 markings, 247531933 edges, 115796 markings/sec, 2115 secs
lola: sara is running 2120 secs || 248110780 markings, 248110779 edges, 115769 markings/sec, 2120 secs
lola: sara is running 2125 secs || 248691854 markings, 248691854 edges, 116215 markings/sec, 2125 secs
lola: sara is running 2130 secs || 249272545 markings, 249272545 edges, 116138 markings/sec, 2130 secs
lola: sara is running 2135 secs || 249850041 markings, 249850040 edges, 115499 markings/sec, 2135 secs
lola: sara is running 2140 secs || 250432695 markings, 250432694 edges, 116531 markings/sec, 2140 secs
lola: sara is running 2145 secs || 251023514 markings, 251023514 edges, 118164 markings/sec, 2145 secs
lola: sara is running 2150 secs || 251601612 markings, 251601611 edges, 115620 markings/sec, 2150 secs
lola: sara is running 2155 secs || 252180449 markings, 252180448 edges, 115767 markings/sec, 2155 secs
lola: sara is running 2160 secs || 252757994 markings, 252757994 edges, 115509 markings/sec, 2160 secs
lola: sara is running 2165 secs || 253339750 markings, 253339750 edges, 116351 markings/sec, 2165 secs
lola: sara is running 2170 secs || 253916379 markings, 253916379 edges, 115326 markings/sec, 2170 secs
lola: sara is running 2175 secs || 254492219 markings, 254492219 edges, 115168 markings/sec, 2175 secs
lola: sara is running 2180 secs || 255055846 markings, 255055846 edges, 112725 markings/sec, 2180 secs
lola: sara is running 2185 secs || 255619990 markings, 255619989 edges, 112829 markings/sec, 2185 secs
lola: sara is running 2190 secs || 256183673 markings, 256183673 edges, 112737 markings/sec, 2190 secs
lola: sara is running 2195 secs || 256750440 markings, 256750440 edges, 113353 markings/sec, 2195 secs
lola: sara is running 2200 secs || 257327467 markings, 257327467 edges, 115405 markings/sec, 2200 secs
lola: sara is running 2205 secs || 257907055 markings, 257907055 edges, 115918 markings/sec, 2205 secs
lola: sara is running 2210 secs || 258503992 markings, 258503991 edges, 119387 markings/sec, 2210 secs
lola: sara is running 2215 secs || 259109230 markings, 259109229 edges, 121048 markings/sec, 2215 secs
lola: sara is running 2220 secs || 259715631 markings, 259715630 edges, 121280 markings/sec, 2220 secs
lola: sara is running 2225 secs || 260317384 markings, 260317383 edges, 120351 markings/sec, 2225 secs
lola: sara is running 2230 secs || 260918029 markings, 260918029 edges, 120129 markings/sec, 2230 secs
lola: sara is running 2235 secs || 261505047 markings, 261505047 edges, 117404 markings/sec, 2235 secs
lola: sara is running 2240 secs || 262075192 markings, 262075192 edges, 114029 markings/sec, 2240 secs
lola: sara is running 2245 secs || 262655506 markings, 262655505 edges, 116063 markings/sec, 2245 secs
lola: sara is running 2250 secs || 263234392 markings, 263234392 edges, 115777 markings/sec, 2250 secs
lola: sara is running 2255 secs || 263816053 markings, 263816052 edges, 116332 markings/sec, 2255 secs
lola: sara is running 2260 secs || 264398272 markings, 264398271 edges, 116444 markings/sec, 2260 secs
lola: sara is running 2265 secs || 264997584 markings, 264997583 edges, 119862 markings/sec, 2265 secs
lola: sara is running 2270 secs || 265594934 markings, 265594934 edges, 119470 markings/sec, 2270 secs
lola: sara is running 2275 secs || 266192833 markings, 266192833 edges, 119580 markings/sec, 2275 secs
lola: sara is running 2280 secs || 266787420 markings, 266787419 edges, 118917 markings/sec, 2280 secs
lola: sara is running 2285 secs || 267384317 markings, 267384317 edges, 119379 markings/sec, 2285 secs
lola: sara is running 2290 secs || 267971643 markings, 267971642 edges, 117465 markings/sec, 2290 secs
lola: sara is running 2295 secs || 268540166 markings, 268540166 edges, 113705 markings/sec, 2295 secs
lola: sara is running 2300 secs || 269001639 markings, 269001638 edges, 92295 markings/sec, 2300 secs
lola: sara is running 2305 secs || 269054175 markings, 269054174 edges, 10507 markings/sec, 2305 secs
lola: sara is running 2310 secs || 269062212 markings, 269062211 edges, 1607 markings/sec, 2310 secs
lola: sara is running 2315 secs || 269066580 markings, 269066580 edges, 874 markings/sec, 2315 secs
lola: sara is running 2320 secs || 269081560 markings, 269081560 edges, 2996 markings/sec, 2320 secs
lola: sara is running 2325 secs || 269085642 markings, 269085641 edges, 816 markings/sec, 2325 secs
lola: sara is running 2330 secs || 269090549 markings, 269090548 edges, 981 markings/sec, 2330 secs
lola: sara is running 2335 secs || 269094460 markings, 269094459 edges, 782 markings/sec, 2335 secs
lola: sara is running 2340 secs || 269099226 markings, 269099226 edges, 953 markings/sec, 2340 secs
lola: sara is running 2345 secs || 269102140 markings, 269102140 edges, 583 markings/sec, 2345 secs
lola: sara is running 2350 secs || 269105212 markings, 269105212 edges, 614 markings/sec, 2350 secs
lola: sara is running 2355 secs || 269108408 markings, 269108407 edges, 639 markings/sec, 2355 secs
lola: sara is running 2360 secs || 269110691 markings, 269110691 edges, 457 markings/sec, 2360 secs
lola: sara is running 2365 secs || 269113241 markings, 269113241 edges, 510 markings/sec, 2365 secs
lola: sara is running 2370 secs || 269115882 markings, 269115882 edges, 528 markings/sec, 2370 secs
lola: sara is running 2375 secs || 269117490 markings, 269117490 edges, 322 markings/sec, 2375 secs
lola: sara is running 2380 secs || 269127567 markings, 269127567 edges, 2015 markings/sec, 2380 secs
lola: sara is running 2385 secs || 269130584 markings, 269130583 edges, 603 markings/sec, 2385 secs
lola: sara is running 2390 secs || 269134246 markings, 269134246 edges, 732 markings/sec, 2390 secs
lola: sara is running 2395 secs || 269136777 markings, 269136777 edges, 506 markings/sec, 2395 secs
lola: sara is running 2400 secs || 269143474 markings, 269143474 edges, 1339 markings/sec, 2400 secs
lola: sara is running 2405 secs || 269150018 markings, 269150017 edges, 1309 markings/sec, 2405 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA DoubleExponent-PT-010-CTLCardinality-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: unknown yes yes yes no yes no yes no no no yes no yes no no
lola:
preliminary result: unknown yes yes yes no yes no yes no no no yes no yes no no
lola: memory consumption: 23080 KB
lola: time consumption: 3156 seconds
BK_STOP 1527785907236
--------------------
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="DoubleExponent-PT-010"
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/DoubleExponent-PT-010.tgz
mv DoubleExponent-PT-010 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 DoubleExponent-PT-010, 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 r280-csrt-152749169600219"
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 ;