About the Execution of LoLA for CloudReconfiguration-PT-314
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6034.580 | 3570868.00 | 3639530.00 | 9628.40 | TTTTFT?FFTTFFFFT | 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 828K
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 660K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-314, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646379900094
=====================================================================
--------------------
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 CloudReconfiguration-PT-314-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-314-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526522074693
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-314 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating CloudReconfiguration-PT-314 formula CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ CloudReconfiguration-PT-314 @ 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: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: Size of bit vector: 2585
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2709 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-314-CTLCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p2096)
lola: LP says that atomic proposition is always false: (3 <= p2240)
lola: LP says that atomic proposition is always false: (3 <= p599)
lola: LP says that atomic proposition is always false: (2 <= p719)
lola: LP says that atomic proposition is always false: (3 <= p2105)
lola: LP says that atomic proposition is always false: (2 <= p2154)
lola: LP says that atomic proposition is always false: (3 <= p901)
lola: LP says that atomic proposition is always false: (2 <= p1982)
lola: LP says that atomic proposition is always false: (3 <= p816)
lola: LP says that atomic proposition is always false: (2 <= p1408)
lola: LP says that atomic proposition is always false: (3 <= p2512)
lola: LP says that atomic proposition is always false: (3 <= p272)
lola: LP says that atomic proposition is always false: (2 <= p2033)
lola: LP says that atomic proposition is always false: (2 <= p544)
lola: LP says that atomic proposition is always false: (2 <= p1874)
lola: LP says that atomic proposition is always false: (3 <= p1579)
lola: LP says that atomic proposition is always false: (2 <= p2203)
lola: LP says that atomic proposition is always false: (2 <= p406)
lola: E (F (E (((p343 <= p1225) U (1 <= p1779))))) : (E (G (TRUE)) OR (((p2355 <= p289) AND (1 <= p2344)))) : (A (X (E (X (FALSE)))) OR (E (G ((1 <= p270))) OR NOT(E (F (FALSE))))) : E (G ((p2188 <= p1797))) : NOT(NOT(E (F (())))) : E ((E (F ((p985 <= p1122))) U (1 <= p355))) : ((E (((1 <= p357) U (p1274 <= p1206))) OR A (F ((p436 + 1 <= p598)))) AND E ((((p2046 <= p2231)) U ((1 <= p1618) AND (p2215 <= p105))))) : A ((() U FALSE)) : E (G (E (F (())))) : E (G ((A (X (FALSE)) OR E (X ((p1991 <= p1379)))))) : E ((((p1340 <= p2519) AND (p1501 <= p126) AND ((1 <= p1721) OR (p2032 <= p1354))) U ((p2074 + 1 <= p2342) OR (p1323 + 1 <= p39)))) : A (F ((E (F ((p1095 <= p1024))) AND ()))) : ((((p2094 + 1 <= p215)) OR A (((1 <= p72) U (1 <= p837)))) OR A (F (((p1312 + 1 <= p763) AND (p2395 + 1 <= p1237))))) : A (F ((1 <= p2027))) : (FALSE OR A (((p176 <= p2514) U (p1819 + 1 <= p104)))) : E (G (((p383 <= p1362) OR (p700 <= p1490))))
lola: rewrite Frontend/Parser/formula_rewrite.k:446
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:133
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:279
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:148
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 219 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: 38 rewrites
lola: closed formula file CloudReconfiguration-PT-314-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 CloudReconfiguration-PT-314-CTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 234 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: 38 rewrites
lola: closed formula file CloudReconfiguration-PT-314-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 CloudReconfiguration-PT-314-CTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 251 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: 38 rewrites
lola: closed formula file CloudReconfiguration-PT-314-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 CloudReconfiguration-PT-314-CTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 270 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: 38 rewrites
lola: closed formula file CloudReconfiguration-PT-314-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 CloudReconfiguration-PT-314-CTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 4 will run for 293 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: 38 rewrites
lola: closed formula file CloudReconfiguration-PT-314-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 CloudReconfiguration-PT-314-CTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 319 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: 38 rewrites
lola: closed formula file CloudReconfiguration-PT-314-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 CloudReconfiguration-PT-314-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((DEADLOCK OR E (X ((p1991 <= p1379))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:285
lola: processed formula: NOT(A(TRUE U (NOT DEADLOCK AND NOT(EX((p1991 <= p1379))))))
lola: processed formula length: 59
lola: 42 rewrites
lola: closed formula file CloudReconfiguration-PT-314-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: 59 markings, 59 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-314-CTLCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((1 <= p1779)))
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 ((1 <= p1779)))
lola: processed formula length: 20
lola: 39 rewrites
lola: closed formula file CloudReconfiguration-PT-314-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: (1 <= p1779)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-314-CTLCardinality-7-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 68 markings, 67 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-314-CTLCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 439 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((1 <= p2027)))
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: (p2027 <= 0)
lola: processed formula length: 12
lola: 40 rewrites
lola: closed formula file CloudReconfiguration-PT-314-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: 83 markings, 83 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-314-CTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 502 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((p2188 <= p1797)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((p2188 <= p1797)))
lola: processed formula length: 24
lola: 38 rewrites
lola: closed formula file CloudReconfiguration-PT-314-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: 83 markings, 83 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-314-CTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 586 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((p383 <= p1362) OR (p700 <= p1490))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (((p383 <= p1362) OR (p700 <= p1490))))
lola: processed formula length: 45
lola: 38 rewrites
lola: closed formula file CloudReconfiguration-PT-314-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: 83 markings, 83 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-314-CTLCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 703 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (F ((p985 <= p1122))) U (1 <= p355)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(E(TRUE U (p985 <= p1122)) U (1 <= p355))
lola: processed formula length: 42
lola: 40 rewrites
lola: closed formula file CloudReconfiguration-PT-314-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 71322 markings, 218959 edges, 14264 markings/sec, 0 secs
lola: 147764 markings, 437595 edges, 15288 markings/sec, 5 secs
lola: 210573 markings, 651123 edges, 12562 markings/sec, 10 secs
lola: 272435 markings, 865367 edges, 12372 markings/sec, 15 secs
lola: 329624 markings, 1084440 edges, 11438 markings/sec, 20 secs
lola: 396109 markings, 1304442 edges, 13297 markings/sec, 25 secs
lola: 462044 markings, 1522273 edges, 13187 markings/sec, 30 secs
lola: 523084 markings, 1733809 edges, 12208 markings/sec, 35 secs
lola: 582278 markings, 1948799 edges, 11839 markings/sec, 40 secs
lola: 643940 markings, 2165384 edges, 12332 markings/sec, 45 secs
lola: 710644 markings, 2383937 edges, 13341 markings/sec, 50 secs
lola: 773337 markings, 2599138 edges, 12539 markings/sec, 55 secs
lola: 823895 markings, 2818481 edges, 10112 markings/sec, 60 secs
lola: 886868 markings, 3035507 edges, 12595 markings/sec, 65 secs
lola: 954954 markings, 3254063 edges, 13617 markings/sec, 70 secs
lola: 1015564 markings, 3474510 edges, 12122 markings/sec, 75 secs
lola: 1077123 markings, 3683879 edges, 12312 markings/sec, 80 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1082054 markings, 3699254 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-314-CTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 858 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p176 <= p2514) U (p1819 + 1 <= p104)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (((p176 <= p2514) U (p1819 + 1 <= p104)))
lola: processed formula length: 43
lola: 42 rewrites
lola: closed formula file CloudReconfiguration-PT-314-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 83 markings, 83 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-314-CTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1143 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((p1340 <= p2519) AND (p1501 <= p126) AND ((1 <= p1721) OR (p2032 <= p1354))) U ((p2074 + 1 <= p2342) OR (p1323 + 1 <= p39))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E ((((p1340 <= p2519) AND (p1501 <= p126) AND ((1 <= p1721) OR (p2032 <= p1354))) U ((p2074 + 1 <= p2342) OR (p1323 + 1 <= p39))))
lola: processed formula length: 132
lola: 41 rewrites
lola: closed formula file CloudReconfiguration-PT-314-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: ((p2074 + 1 <= p2342) OR (p1323 + 1 <= p39))
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-314-CTLCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-314-CTLCardinality-13-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 49739 markings, 164190 edges, 9948 markings/sec, 0 secs
lola: state equation 0: solution produced
lola: sara is running 5 secs || 104611 markings, 321733 edges, 10974 markings/sec, 5 secs
lola: sara is running 10 secs || 153861 markings, 484769 edges, 9850 markings/sec, 10 secs
lola: sara is running 15 secs || 200473 markings, 651346 edges, 9322 markings/sec, 15 secs
lola: sara is running 20 secs || 249644 markings, 813398 edges, 9834 markings/sec, 20 secs
lola: sara is running 25 secs || 296927 markings, 967399 edges, 9457 markings/sec, 25 secs
lola: sara is running 30 secs || 340332 markings, 1132011 edges, 8681 markings/sec, 30 secs
lola: sara is running 35 secs || 378662 markings, 1306861 edges, 7666 markings/sec, 35 secs
lola: sara is running 40 secs || 423548 markings, 1461139 edges, 8977 markings/sec, 40 secs
lola: sara is running 45 secs || 461566 markings, 1634103 edges, 7604 markings/sec, 45 secs
lola: sara is running 50 secs || 496845 markings, 1812510 edges, 7056 markings/sec, 50 secs
lola: sara is running 55 secs || 534180 markings, 1974064 edges, 7467 markings/sec, 55 secs
lola: sara is running 60 secs || 575151 markings, 2139005 edges, 8194 markings/sec, 60 secs
lola: sara is running 65 secs || 612842 markings, 2302870 edges, 7538 markings/sec, 65 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: There is a path where Predicate Phi holds until Predicate Psi.
lola: 663296 markings, 2438138 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-314-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1678 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p2094 + 1 <= p215)) OR (A (((1 <= p72) U (1 <= p837))) OR A (F (((p1312 + 1 <= p763) AND (p2395 + 1 <= p1237))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1678 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((1 <= p72) U (1 <= p837)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (((1 <= p72) U (1 <= p837)))
lola: processed formula length: 30
lola: 42 rewrites
lola: closed formula file CloudReconfiguration-PT-314-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 3357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p2094 + 1 <= p215))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p2094 + 1 <= p215))
lola: processed formula length: 21
lola: 38 rewrites
lola: closed formula file CloudReconfiguration-PT-314-CTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 15 will run for 3357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((E (((1 <= p357) U (p1274 <= p1206))) OR A (F ((p436 + 1 <= p598)))) AND E ((((p2046 <= p2231)) U ((1 <= p1618) AND (p2215 <= p105)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 3357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p436 + 1 <= p598)))
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: (p598 <= p436)
lola: processed formula length: 14
lola: 40 rewrites
lola: closed formula file CloudReconfiguration-PT-314-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: 83 markings, 83 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((p2046 <= p2231)) U ((1 <= p1618) AND (p2215 <= p105))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E ((((p2046 <= p2231)) U ((1 <= p1618) AND (p2215 <= p105))))
lola: processed formula length: 61
lola: 41 rewrites
lola: closed formula file CloudReconfiguration-PT-314-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: ((1 <= p1618) AND (p2215 <= p105))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-314-CTLCardinality-17-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-314-CTLCardinality-17-0.sara.
lola: local time limit reached - aborting
lola:
preliminary result: yes yes yes yes no yes unknown no no yes yes no unknown no no yes
lola: memory consumption: 34632 KB
lola: time consumption: 214 seconds
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (((p2094 + 1 <= p215)) OR (A (((1 <= p72) U (1 <= p837))) OR A (F (((p1312 + 1 <= p763) AND (p2395 + 1 <= p1237))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (((1 <= p72) U (1 <= p837)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (((1 <= p72) U (1 <= p837)))
lola: processed formula length: 30
lola: 42 rewrites
lola: closed formula file CloudReconfiguration-PT-314-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: ((p2094 + 1 <= p215))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p2094 + 1 <= p215))
lola: processed formula length: 21
lola: 38 rewrites
lola: closed formula file CloudReconfiguration-PT-314-CTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (((p1312 + 1 <= p763) AND (p2395 + 1 <= p1237))))
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: ((p763 <= p1312) OR (p1237 <= p2395))
lola: processed formula length: 38
lola: 40 rewrites
lola: closed formula file CloudReconfiguration-PT-314-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: 82 markings, 82 edges
lola: lola: SUBRESULT
========================================
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA CloudReconfiguration-PT-314-CTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: ((E (((1 <= p357) U (p1274 <= p1206))) OR A (F ((p436 + 1 <= p598)))) AND E ((((p2046 <= p2231)) U ((1 <= p1618) AND (p2215 <= p105)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (F ((p436 + 1 <= p598)))
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: (p598 <= p436)
lola: processed formula length: 14
lola: 40 rewrites
lola: closed formula file CloudReconfiguration-PT-314-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: 83 markings, 83 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (((1 <= p357) U (p1274 <= p1206)))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E (((1 <= p357) U (p1274 <= p1206)))
lola: processed formula length: 36
lola: 41 rewrites
lola: closed formula file CloudReconfiguration-PT-314-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: (p1274 <= p1206)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-314-CTLCardinality-18-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: There is a path where Predicate Phi holds until Predicate Psi.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E ((((p2046 <= p2231)) U ((1 <= p1618) AND (p2215 <= p105))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E ((((p2046 <= p2231)) U ((1 <= p1618) AND (p2215 <= p105))))
lola: processed formula length: 61
lola: 41 rewrites
lola: closed formula file CloudReconfiguration-PT-314-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: ((1 <= p1618) AND (p2215 <= p105))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-314-CTLCardinality-19-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-314-CTLCardinality-19-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: sara is running 0 secs || 48682 markings, 160449 edges, 9736 markings/sec, 0 secs
lola: sara is running 5 secs || 103786 markings, 318932 edges, 11021 markings/sec, 5 secs
lola: sara is running 10 secs || 153008 markings, 482197 edges, 9844 markings/sec, 10 secs
lola: sara is running 15 secs || 199558 markings, 648934 edges, 9310 markings/sec, 15 secs
lola: sara is running 20 secs || 248858 markings, 811740 edges, 9860 markings/sec, 20 secs
lola: sara is running 25 secs || 296772 markings, 966749 edges, 9583 markings/sec, 25 secs
lola: sara is running 30 secs || 340332 markings, 1131899 edges, 8712 markings/sec, 30 secs
lola: sara is running 35 secs || 378738 markings, 1307180 edges, 7681 markings/sec, 35 secs
lola: sara is running 40 secs || 424849 markings, 1467181 edges, 9222 markings/sec, 40 secs
lola: sara is running 45 secs || 462042 markings, 1636635 edges, 7439 markings/sec, 45 secs
lola: sara is running 50 secs || 497590 markings, 1815031 edges, 7110 markings/sec, 50 secs
lola: sara is running 55 secs || 535373 markings, 1978694 edges, 7557 markings/sec, 55 secs
lola: sara is running 60 secs || 576988 markings, 2146470 edges, 8323 markings/sec, 60 secs
lola: sara is running 65 secs || 616165 markings, 2310693 edges, 7835 markings/sec, 65 secs
lola: sara is running 70 secs || 669115 markings, 2449422 edges, 10590 markings/sec, 70 secs
lola: sara is running 75 secs || 725188 markings, 2583364 edges, 11215 markings/sec, 75 secs
lola: sara is running 80 secs || 765481 markings, 2720293 edges, 8059 markings/sec, 80 secs
lola: sara is running 85 secs || 818439 markings, 2854601 edges, 10592 markings/sec, 85 secs
lola: sara is running 90 secs || 866738 markings, 2996377 edges, 9660 markings/sec, 90 secs
lola: sara is running 95 secs || 911974 markings, 3132547 edges, 9047 markings/sec, 95 secs
lola: sara is running 100 secs || 969010 markings, 3270923 edges, 11407 markings/sec, 100 secs
lola: sara is running 105 secs || 1013815 markings, 3416383 edges, 8961 markings/sec, 105 secs
lola: sara is running 110 secs || 1059464 markings, 3526189 edges, 9130 markings/sec, 110 secs
lola: sara is running 115 secs || 1095898 markings, 3649520 edges, 7287 markings/sec, 115 secs
lola: sara is running 120 secs || 1132320 markings, 3760242 edges, 7284 markings/sec, 120 secs
lola: sara is running 125 secs || 1176391 markings, 3892104 edges, 8814 markings/sec, 125 secs
lola: sara is running 130 secs || 1219270 markings, 4014544 edges, 8576 markings/sec, 130 secs
lola: sara is running 135 secs || 1258692 markings, 4121945 edges, 7884 markings/sec, 135 secs
lola: sara is running 140 secs || 1298138 markings, 4237369 edges, 7889 markings/sec, 140 secs
lola: sara is running 145 secs || 1338829 markings, 4349355 edges, 8138 markings/sec, 145 secs
lola: sara is running 150 secs || 1385724 markings, 4480114 edges, 9379 markings/sec, 150 secs
lola: sara is running 155 secs || 1430058 markings, 4601539 edges, 8867 markings/sec, 155 secs
lola: sara is running 160 secs || 1470189 markings, 4715413 edges, 8026 markings/sec, 160 secs
lola: sara is running 165 secs || 1522348 markings, 4842417 edges, 10432 markings/sec, 165 secs
lola: sara is running 170 secs || 1566666 markings, 4957696 edges, 8864 markings/sec, 170 secs
lola: sara is running 175 secs || 1608890 markings, 5071541 edges, 8445 markings/sec, 175 secs
lola: sara is running 180 secs || 1642049 markings, 5173927 edges, 6632 markings/sec, 180 secs
lola: sara is running 185 secs || 1682382 markings, 5277285 edges, 8067 markings/sec, 185 secs
lola: sara is running 190 secs || 1719021 markings, 5393285 edges, 7328 markings/sec, 190 secs
lola: sara is running 195 secs || 1757072 markings, 5507463 edges, 7610 markings/sec, 195 secs
lola: sara is running 200 secs || 1794273 markings, 5635689 edges, 7440 markings/sec, 200 secs
lola: sara is running 205 secs || 1832793 markings, 5751852 edges, 7704 markings/sec, 205 secs
lola: sara is running 210 secs || 1870776 markings, 5867179 edges, 7597 markings/sec, 210 secs
lola: sara is running 215 secs || 1907901 markings, 5969862 edges, 7425 markings/sec, 215 secs
lola: sara is running 220 secs || 1939735 markings, 6065548 edges, 6367 markings/sec, 220 secs
lola: sara is running 225 secs || 1974139 markings, 6166925 edges, 6881 markings/sec, 225 secs
lola: sara is running 230 secs || 2009007 markings, 6272112 edges, 6974 markings/sec, 230 secs
lola: sara is running 235 secs || 2052749 markings, 6387941 edges, 8748 markings/sec, 235 secs
lola: sara is running 240 secs || 2090896 markings, 6497527 edges, 7629 markings/sec, 240 secs
lola: sara is running 245 secs || 2129740 markings, 6613408 edges, 7769 markings/sec, 245 secs
lola: sara is running 250 secs || 2163256 markings, 6711007 edges, 6703 markings/sec, 250 secs
lola: sara is running 255 secs || 2202663 markings, 6821244 edges, 7881 markings/sec, 255 secs
lola: sara is running 260 secs || 2235280 markings, 6919474 edges, 6523 markings/sec, 260 secs
lola: sara is running 265 secs || 2270336 markings, 7028718 edges, 7011 markings/sec, 265 secs
lola: sara is running 270 secs || 2312210 markings, 7128779 edges, 8375 markings/sec, 270 secs
lola: sara is running 275 secs || 2355079 markings, 7245251 edges, 8574 markings/sec, 275 secs
lola: sara is running 280 secs || 2391319 markings, 7368221 edges, 7248 markings/sec, 280 secs
lola: sara is running 285 secs || 2430110 markings, 7491726 edges, 7758 markings/sec, 285 secs
lola: sara is running 290 secs || 2469046 markings, 7606001 edges, 7787 markings/sec, 290 secs
lola: sara is running 295 secs || 2508435 markings, 7721140 edges, 7878 markings/sec, 295 secs
lola: sara is running 300 secs || 2550944 markings, 7837230 edges, 8502 markings/sec, 300 secs
lola: sara is running 305 secs || 2591503 markings, 7962829 edges, 8112 markings/sec, 305 secs
lola: sara is running 310 secs || 2632265 markings, 8103339 edges, 8152 markings/sec, 310 secs
lola: sara is running 315 secs || 2668819 markings, 8232553 edges, 7311 markings/sec, 315 secs
lola: sara is running 320 secs || 2701187 markings, 8346851 edges, 6474 markings/sec, 320 secs
lola: sara is running 325 secs || 2741174 markings, 8468032 edges, 7997 markings/sec, 325 secs
lola: sara is running 330 secs || 2783597 markings, 8600568 edges, 8485 markings/sec, 330 secs
lola: sara is running 335 secs || 2820968 markings, 8737281 edges, 7474 markings/sec, 335 secs
lola: sara is running 340 secs || 2858096 markings, 8861731 edges, 7426 markings/sec, 340 secs
lola: sara is running 345 secs || 2896652 markings, 8971627 edges, 7711 markings/sec, 345 secs
lola: sara is running 350 secs || 2934315 markings, 9082554 edges, 7533 markings/sec, 350 secs
lola: sara is running 355 secs || 2972911 markings, 9198073 edges, 7719 markings/sec, 355 secs
lola: sara is running 360 secs || 3010727 markings, 9317579 edges, 7563 markings/sec, 360 secs
lola: sara is running 365 secs || 3045788 markings, 9441747 edges, 7012 markings/sec, 365 secs
lola: sara is running 370 secs || 3079223 markings, 9553860 edges, 6687 markings/sec, 370 secs
lola: sara is running 375 secs || 3115697 markings, 9693826 edges, 7295 markings/sec, 375 secs
lola: sara is running 380 secs || 3153240 markings, 9814950 edges, 7509 markings/sec, 380 secs
lola: sara is running 385 secs || 3189053 markings, 9937718 edges, 7163 markings/sec, 385 secs
lola: sara is running 390 secs || 3223983 markings, 10060803 edges, 6986 markings/sec, 390 secs
lola: sara is running 395 secs || 3262505 markings, 10179206 edges, 7704 markings/sec, 395 secs
lola: sara is running 400 secs || 3297198 markings, 10293077 edges, 6939 markings/sec, 400 secs
lola: sara is running 405 secs || 3335034 markings, 10412070 edges, 7567 markings/sec, 405 secs
lola: sara is running 410 secs || 3366980 markings, 10518649 edges, 6389 markings/sec, 410 secs
lola: sara is running 415 secs || 3401361 markings, 10641789 edges, 6876 markings/sec, 415 secs
lola: sara is running 420 secs || 3440529 markings, 10770348 edges, 7834 markings/sec, 420 secs
lola: sara is running 425 secs || 3474803 markings, 10888564 edges, 6855 markings/sec, 425 secs
lola: sara is running 430 secs || 3513017 markings, 11007486 edges, 7643 markings/sec, 430 secs
lola: sara is running 435 secs || 3549472 markings, 11133103 edges, 7291 markings/sec, 435 secs
lola: sara is running 440 secs || 3585175 markings, 11255469 edges, 7141 markings/sec, 440 secs
lola: sara is running 445 secs || 3616409 markings, 11368949 edges, 6247 markings/sec, 445 secs
lola: sara is running 450 secs || 3649599 markings, 11484182 edges, 6638 markings/sec, 450 secs
lola: sara is running 455 secs || 3681346 markings, 11597952 edges, 6349 markings/sec, 455 secs
lola: sara is running 460 secs || 3714756 markings, 11713547 edges, 6682 markings/sec, 460 secs
lola: sara is running 465 secs || 3751612 markings, 11840005 edges, 7371 markings/sec, 465 secs
lola: sara is running 470 secs || 3782873 markings, 11949450 edges, 6252 markings/sec, 470 secs
lola: sara is running 475 secs || 3818423 markings, 12061729 edges, 7110 markings/sec, 475 secs
lola: sara is running 480 secs || 3853930 markings, 12178364 edges, 7101 markings/sec, 480 secs
lola: sara is running 485 secs || 3888287 markings, 12289164 edges, 6871 markings/sec, 485 secs
lola: sara is running 490 secs || 3927537 markings, 12392863 edges, 7850 markings/sec, 490 secs
lola: sara is running 495 secs || 3968093 markings, 12513969 edges, 8111 markings/sec, 495 secs
lola: sara is running 500 secs || 4009808 markings, 12625210 edges, 8343 markings/sec, 500 secs
lola: sara is running 505 secs || 4053119 markings, 12772580 edges, 8662 markings/sec, 505 secs
lola: sara is running 510 secs || 4091340 markings, 12915986 edges, 7644 markings/sec, 510 secs
lola: sara is running 515 secs || 4130052 markings, 13042096 edges, 7742 markings/sec, 515 secs
lola: sara is running 520 secs || 4159177 markings, 13141720 edges, 5825 markings/sec, 520 secs
lola: sara is running 525 secs || 4193323 markings, 13271863 edges, 6829 markings/sec, 525 secs
lola: sara is running 530 secs || 4229502 markings, 13382433 edges, 7236 markings/sec, 530 secs
lola: sara is running 535 secs || 4266104 markings, 13493614 edges, 7320 markings/sec, 535 secs
lola: sara is running 540 secs || 4304223 markings, 13615581 edges, 7624 markings/sec, 540 secs
lola: sara is running 545 secs || 4343791 markings, 13744121 edges, 7914 markings/sec, 545 secs
lola: sara is running 550 secs || 4380442 markings, 13875314 edges, 7330 markings/sec, 550 secs
lola: sara is running 555 secs || 4416736 markings, 13998730 edges, 7259 markings/sec, 555 secs
lola: sara is running 560 secs || 4452840 markings, 14118430 edges, 7221 markings/sec, 560 secs
lola: sara is running 565 secs || 4488303 markings, 14241636 edges, 7093 markings/sec, 565 secs
lola: sara is running 570 secs || 4522005 markings, 14359046 edges, 6740 markings/sec, 570 secs
lola: sara is running 575 secs || 4553691 markings, 14476964 edges, 6337 markings/sec, 575 secs
lola: sara is running 580 secs || 4586140 markings, 14585145 edges, 6490 markings/sec, 580 secs
lola: sara is running 585 secs || 4617119 markings, 14693272 edges, 6196 markings/sec, 585 secs
lola: sara is running 590 secs || 4653607 markings, 14822852 edges, 7298 markings/sec, 590 secs
lola: sara is running 595 secs || 4687787 markings, 14931300 edges, 6836 markings/sec, 595 secs
lola: sara is running 600 secs || 4721053 markings, 15040107 edges, 6653 markings/sec, 600 secs
lola: sara is running 605 secs || 4749709 markings, 15150334 edges, 5731 markings/sec, 605 secs
lola: sara is running 610 secs || 4781439 markings, 15262515 edges, 6346 markings/sec, 610 secs
lola: sara is running 615 secs || 4816354 markings, 15378801 edges, 6983 markings/sec, 615 secs
lola: sara is running 620 secs || 4850756 markings, 15491473 edges, 6880 markings/sec, 620 secs
lola: sara is running 625 secs || 4883020 markings, 15604635 edges, 6453 markings/sec, 625 secs
lola: sara is running 630 secs || 4918327 markings, 15715034 edges, 7061 markings/sec, 630 secs
lola: sara is running 635 secs || 4950084 markings, 15829008 edges, 6351 markings/sec, 635 secs
lola: sara is running 640 secs || 4985493 markings, 15945310 edges, 7082 markings/sec, 640 secs
lola: sara is running 645 secs || 5017869 markings, 16053769 edges, 6475 markings/sec, 645 secs
lola: sara is running 650 secs || 5050494 markings, 16162626 edges, 6525 markings/sec, 650 secs
lola: sara is running 655 secs || 5088354 markings, 16279530 edges, 7572 markings/sec, 655 secs
lola: sara is running 660 secs || 5124092 markings, 16398249 edges, 7148 markings/sec, 660 secs
lola: sara is running 665 secs || 5154828 markings, 16506045 edges, 6147 markings/sec, 665 secs
lola: sara is running 670 secs || 5186548 markings, 16611697 edges, 6344 markings/sec, 670 secs
lola: sara is running 675 secs || 5216129 markings, 16715759 edges, 5916 markings/sec, 675 secs
lola: sara is running 680 secs || 5244828 markings, 16812398 edges, 5740 markings/sec, 680 secs
lola: sara is running 685 secs || 5276528 markings, 16920252 edges, 6340 markings/sec, 685 secs
lola: sara is running 690 secs || 5303827 markings, 17018183 edges, 5460 markings/sec, 690 secs
lola: sara is running 695 secs || 5331289 markings, 17111537 edges, 5492 markings/sec, 695 secs
lola: sara is running 700 secs || 5358476 markings, 17207830 edges, 5437 markings/sec, 700 secs
lola: sara is running 705 secs || 5385850 markings, 17307195 edges, 5475 markings/sec, 705 secs
lola: sara is running 710 secs || 5413218 markings, 17409193 edges, 5474 markings/sec, 710 secs
lola: sara is running 715 secs || 5441705 markings, 17500842 edges, 5697 markings/sec, 715 secs
lola: sara is running 720 secs || 5465309 markings, 17589150 edges, 4721 markings/sec, 720 secs
lola: sara is running 725 secs || 5493182 markings, 17683956 edges, 5575 markings/sec, 725 secs
lola: sara is running 730 secs || 5528198 markings, 17803669 edges, 7003 markings/sec, 730 secs
lola: sara is running 735 secs || 5560741 markings, 17915544 edges, 6509 markings/sec, 735 secs
lola: sara is running 740 secs || 5596885 markings, 18037465 edges, 7229 markings/sec, 740 secs
lola: sara is running 745 secs || 5631249 markings, 18153291 edges, 6873 markings/sec, 745 secs
lola: sara is running 750 secs || 5663087 markings, 18261359 edges, 6368 markings/sec, 750 secs
lola: sara is running 755 secs || 5697697 markings, 18377322 edges, 6922 markings/sec, 755 secs
lola: sara is running 760 secs || 5730969 markings, 18489705 edges, 6654 markings/sec, 760 secs
lola: sara is running 765 secs || 5756694 markings, 18576925 edges, 5145 markings/sec, 765 secs
lola: sara is running 770 secs || 5792069 markings, 18699032 edges, 7075 markings/sec, 770 secs
lola: sara is running 775 secs || 5832805 markings, 18836798 edges, 8147 markings/sec, 775 secs
lola: sara is running 780 secs || 5872924 markings, 18973204 edges, 8024 markings/sec, 780 secs
lola: sara is running 785 secs || 5913115 markings, 19107050 edges, 8038 markings/sec, 785 secs
lola: sara is running 790 secs || 5947639 markings, 19225169 edges, 6905 markings/sec, 790 secs
lola: sara is running 795 secs || 5980250 markings, 19336953 edges, 6522 markings/sec, 795 secs
lola: sara is running 800 secs || 6012728 markings, 19448892 edges, 6496 markings/sec, 800 secs
lola: sara is running 805 secs || 6048788 markings, 19560394 edges, 7212 markings/sec, 805 secs
lola: sara is running 810 secs || 6087815 markings, 19687460 edges, 7805 markings/sec, 810 secs
lola: sara is running 815 secs || 6120657 markings, 19794534 edges, 6568 markings/sec, 815 secs
lola: sara is running 820 secs || 6154492 markings, 19909440 edges, 6767 markings/sec, 820 secs
lola: sara is running 825 secs || 6186959 markings, 20018989 edges, 6493 markings/sec, 825 secs
lola: sara is running 830 secs || 6220577 markings, 20131446 edges, 6724 markings/sec, 830 secs
lola: sara is running 835 secs || 6254836 markings, 20243661 edges, 6852 markings/sec, 835 secs
lola: sara is running 840 secs || 6288972 markings, 20355453 edges, 6827 markings/sec, 840 secs
lola: sara is running 845 secs || 6322093 markings, 20465986 edges, 6624 markings/sec, 845 secs
lola: sara is running 850 secs || 6353368 markings, 20573021 edges, 6255 markings/sec, 850 secs
lola: sara is running 855 secs || 6393561 markings, 20689899 edges, 8039 markings/sec, 855 secs
lola: sara is running 860 secs || 6426519 markings, 20801090 edges, 6592 markings/sec, 860 secs
lola: sara is running 865 secs || 6453954 markings, 20921416 edges, 5487 markings/sec, 865 secs
lola: sara is running 870 secs || 6492351 markings, 21050903 edges, 7679 markings/sec, 870 secs
lola: sara is running 875 secs || 6530771 markings, 21172915 edges, 7684 markings/sec, 875 secs
lola: sara is running 880 secs || 6568701 markings, 21292681 edges, 7586 markings/sec, 880 secs
lola: sara is running 885 secs || 6604892 markings, 21413856 edges, 7238 markings/sec, 885 secs
lola: sara is running 890 secs || 6639490 markings, 21536618 edges, 6920 markings/sec, 890 secs
lola: sara is running 895 secs || 6673572 markings, 21654125 edges, 6816 markings/sec, 895 secs
lola: sara is running 900 secs || 6707738 markings, 21768877 edges, 6833 markings/sec, 900 secs
lola: sara is running 905 secs || 6740984 markings, 21883347 edges, 6649 markings/sec, 905 secs
lola: sara is running 910 secs || 6772401 markings, 21993997 edges, 6283 markings/sec, 910 secs
lola: sara is running 915 secs || 6804366 markings, 22098047 edges, 6393 markings/sec, 915 secs
lola: sara is running 920 secs || 6835926 markings, 22207560 edges, 6312 markings/sec, 920 secs
lola: sara is running 925 secs || 6866122 markings, 22310002 edges, 6039 markings/sec, 925 secs
lola: sara is running 930 secs || 6896092 markings, 22410315 edges, 5994 markings/sec, 930 secs
lola: sara is running 935 secs || 6925595 markings, 22510601 edges, 5901 markings/sec, 935 secs
lola: sara is running 940 secs || 6955682 markings, 22615984 edges, 6017 markings/sec, 940 secs
lola: sara is running 945 secs || 6982945 markings, 22709850 edges, 5453 markings/sec, 945 secs
lola: sara is running 950 secs || 7008958 markings, 22799161 edges, 5203 markings/sec, 950 secs
lola: sara is running 955 secs || 7046124 markings, 22921187 edges, 7433 markings/sec, 955 secs
lola: sara is running 960 secs || 7086181 markings, 23053759 edges, 8011 markings/sec, 960 secs
lola: sara is running 965 secs || 7126234 markings, 23185178 edges, 8011 markings/sec, 965 secs
lola: sara is running 970 secs || 7166240 markings, 23315907 edges, 8001 markings/sec, 970 secs
lola: sara is running 975 secs || 7212489 markings, 23456174 edges, 9250 markings/sec, 975 secs
lola: sara is running 980 secs || 7249096 markings, 23587871 edges, 7321 markings/sec, 980 secs
lola: sara is running 985 secs || 7291227 markings, 23741647 edges, 8426 markings/sec, 985 secs
lola: sara is running 990 secs || 7332797 markings, 23882949 edges, 8314 markings/sec, 990 secs
lola: sara is running 995 secs || 7373301 markings, 24024005 edges, 8101 markings/sec, 995 secs
lola: sara is running 1000 secs || 7410764 markings, 24156650 edges, 7493 markings/sec, 1000 secs
lola: sara is running 1005 secs || 7452447 markings, 24293906 edges, 8337 markings/sec, 1005 secs
lola: sara is running 1010 secs || 7494252 markings, 24424325 edges, 8361 markings/sec, 1010 secs
lola: sara is running 1015 secs || 7535624 markings, 24555468 edges, 8274 markings/sec, 1015 secs
lola: sara is running 1020 secs || 7575435 markings, 24689948 edges, 7962 markings/sec, 1020 secs
lola: sara is running 1025 secs || 7616199 markings, 24820102 edges, 8153 markings/sec, 1025 secs
lola: sara is running 1030 secs || 7658358 markings, 24954248 edges, 8432 markings/sec, 1030 secs
lola: sara is running 1035 secs || 7697525 markings, 25085649 edges, 7833 markings/sec, 1035 secs
lola: sara is running 1040 secs || 7730498 markings, 25196915 edges, 6595 markings/sec, 1040 secs
lola: sara is running 1045 secs || 7769308 markings, 25340881 edges, 7762 markings/sec, 1045 secs
lola: sara is running 1050 secs || 7812209 markings, 25501914 edges, 8580 markings/sec, 1050 secs
lola: sara is running 1055 secs || 7852255 markings, 25640266 edges, 8009 markings/sec, 1055 secs
lola: sara is running 1060 secs || 7891242 markings, 25778030 edges, 7797 markings/sec, 1060 secs
lola: sara is running 1065 secs || 7929967 markings, 25911466 edges, 7745 markings/sec, 1065 secs
lola: sara is running 1070 secs || 7969515 markings, 26054068 edges, 7910 markings/sec, 1070 secs
lola: sara is running 1075 secs || 8008166 markings, 26175685 edges, 7730 markings/sec, 1075 secs
lola: sara is running 1080 secs || 8045927 markings, 26323371 edges, 7552 markings/sec, 1080 secs
lola: sara is running 1085 secs || 8085779 markings, 26458756 edges, 7970 markings/sec, 1085 secs
lola: sara is running 1090 secs || 8126315 markings, 26595136 edges, 8107 markings/sec, 1090 secs
lola: sara is running 1095 secs || 8161017 markings, 26712968 edges, 6940 markings/sec, 1095 secs
lola: sara is running 1100 secs || 8199620 markings, 26854829 edges, 7721 markings/sec, 1100 secs
lola: sara is running 1105 secs || 8237247 markings, 26993806 edges, 7525 markings/sec, 1105 secs
lola: sara is running 1110 secs || 8275070 markings, 27133159 edges, 7565 markings/sec, 1110 secs
lola: sara is running 1115 secs || 8311928 markings, 27265939 edges, 7372 markings/sec, 1115 secs
lola: sara is running 1120 secs || 8346786 markings, 27392266 edges, 6972 markings/sec, 1120 secs
lola: sara is running 1125 secs || 8386771 markings, 27524386 edges, 7997 markings/sec, 1125 secs
lola: sara is running 1130 secs || 8423406 markings, 27659557 edges, 7327 markings/sec, 1130 secs
lola: sara is running 1135 secs || 8463117 markings, 27792377 edges, 7942 markings/sec, 1135 secs
lola: sara is running 1140 secs || 8503949 markings, 27931035 edges, 8166 markings/sec, 1140 secs
lola: sara is running 1145 secs || 8543803 markings, 28067910 edges, 7971 markings/sec, 1145 secs
lola: sara is running 1150 secs || 8582637 markings, 28192549 edges, 7767 markings/sec, 1150 secs
lola: sara is running 1155 secs || 8621641 markings, 28325380 edges, 7801 markings/sec, 1155 secs
lola: sara is running 1160 secs || 8661016 markings, 28456372 edges, 7875 markings/sec, 1160 secs
lola: sara is running 1165 secs || 8697949 markings, 28582898 edges, 7387 markings/sec, 1165 secs
lola: sara is running 1170 secs || 8730485 markings, 28694156 edges, 6507 markings/sec, 1170 secs
lola: sara is running 1175 secs || 8768791 markings, 28826223 edges, 7661 markings/sec, 1175 secs
lola: sara is running 1180 secs || 8802536 markings, 28938671 edges, 6749 markings/sec, 1180 secs
lola: sara is running 1185 secs || 8833979 markings, 29044932 edges, 6289 markings/sec, 1185 secs
lola: sara is running 1190 secs || 8865432 markings, 29147767 edges, 6291 markings/sec, 1190 secs
lola: sara is running 1195 secs || 8897107 markings, 29258064 edges, 6335 markings/sec, 1195 secs
lola: sara is running 1200 secs || 8925547 markings, 29355684 edges, 5688 markings/sec, 1200 secs
lola: sara is running 1205 secs || 8955719 markings, 29461165 edges, 6034 markings/sec, 1205 secs
lola: sara is running 1210 secs || 8988458 markings, 29572646 edges, 6548 markings/sec, 1210 secs
lola: sara is running 1215 secs || 9020099 markings, 29679363 edges, 6328 markings/sec, 1215 secs
lola: sara is running 1220 secs || 9059063 markings, 29808743 edges, 7793 markings/sec, 1220 secs
lola: sara is running 1225 secs || 9095275 markings, 29932385 edges, 7242 markings/sec, 1225 secs
lola: sara is running 1230 secs || 9133047 markings, 30062638 edges, 7554 markings/sec, 1230 secs
lola: sara is running 1235 secs || 9169244 markings, 30195280 edges, 7239 markings/sec, 1235 secs
lola: sara is running 1240 secs || 9205560 markings, 30325810 edges, 7263 markings/sec, 1240 secs
lola: sara is running 1245 secs || 9239697 markings, 30443536 edges, 6827 markings/sec, 1245 secs
lola: sara is running 1250 secs || 9274810 markings, 30562044 edges, 7023 markings/sec, 1250 secs
lola: sara is running 1255 secs || 9310502 markings, 30679639 edges, 7138 markings/sec, 1255 secs
lola: sara is running 1260 secs || 9347937 markings, 30796342 edges, 7487 markings/sec, 1260 secs
lola: sara is running 1265 secs || 9382541 markings, 30904740 edges, 6921 markings/sec, 1265 secs
lola: sara is running 1270 secs || 9414759 markings, 31007225 edges, 6444 markings/sec, 1270 secs
lola: sara is running 1275 secs || 9450885 markings, 31130420 edges, 7225 markings/sec, 1275 secs
lola: sara is running 1280 secs || 9483573 markings, 31257419 edges, 6538 markings/sec, 1280 secs
lola: sara is running 1285 secs || 9514195 markings, 31364749 edges, 6124 markings/sec, 1285 secs
lola: sara is running 1290 secs || 9550340 markings, 31483291 edges, 7229 markings/sec, 1290 secs
lola: sara is running 1295 secs || 9583750 markings, 31598009 edges, 6682 markings/sec, 1295 secs
lola: sara is running 1300 secs || 9614450 markings, 31703362 edges, 6140 markings/sec, 1300 secs
lola: sara is running 1305 secs || 9646858 markings, 31812701 edges, 6482 markings/sec, 1305 secs
lola: sara is running 1310 secs || 9683779 markings, 31927555 edges, 7384 markings/sec, 1310 secs
lola: sara is running 1315 secs || 9717851 markings, 32040188 edges, 6814 markings/sec, 1315 secs
lola: sara is running 1320 secs || 9750469 markings, 32142733 edges, 6524 markings/sec, 1320 secs
lola: sara is running 1325 secs || 9782996 markings, 32246893 edges, 6505 markings/sec, 1325 secs
lola: sara is running 1330 secs || 9816014 markings, 32362610 edges, 6604 markings/sec, 1330 secs
lola: sara is running 1335 secs || 9850679 markings, 32477697 edges, 6933 markings/sec, 1335 secs
lola: sara is running 1340 secs || 9888721 markings, 32610364 edges, 7608 markings/sec, 1340 secs
lola: sara is running 1345 secs || 9926027 markings, 32744806 edges, 7461 markings/sec, 1345 secs
lola: sara is running 1350 secs || 9965874 markings, 32887000 edges, 7969 markings/sec, 1350 secs
lola: sara is running 1355 secs || 10007320 markings, 33023731 edges, 8289 markings/sec, 1355 secs
lola: sara is running 1360 secs || 10047308 markings, 33161419 edges, 7998 markings/sec, 1360 secs
lola: sara is running 1365 secs || 10087673 markings, 33293870 edges, 8073 markings/sec, 1365 secs
lola: sara is running 1370 secs || 10117155 markings, 33413384 edges, 5896 markings/sec, 1370 secs
lola: sara is running 1375 secs || 10138723 markings, 33528219 edges, 4314 markings/sec, 1375 secs
lola: sara is running 1380 secs || 10175390 markings, 33655835 edges, 7333 markings/sec, 1380 secs
lola: sara is running 1385 secs || 10209693 markings, 33775495 edges, 6861 markings/sec, 1385 secs
lola: sara is running 1390 secs || 10241966 markings, 33886650 edges, 6455 markings/sec, 1390 secs
lola: sara is running 1395 secs || 10279368 markings, 34017200 edges, 7480 markings/sec, 1395 secs
lola: sara is running 1400 secs || 10316274 markings, 34147023 edges, 7381 markings/sec, 1400 secs
lola: sara is running 1405 secs || 10352025 markings, 34277132 edges, 7150 markings/sec, 1405 secs
lola: sara is running 1410 secs || 10379492 markings, 34388468 edges, 5493 markings/sec, 1410 secs
lola: sara is running 1415 secs || 10419053 markings, 34518150 edges, 7912 markings/sec, 1415 secs
lola: sara is running 1420 secs || 10460390 markings, 34653375 edges, 8267 markings/sec, 1420 secs
lola: sara is running 1425 secs || 10499888 markings, 34786681 edges, 7900 markings/sec, 1425 secs
lola: sara is running 1430 secs || 10538452 markings, 34920018 edges, 7713 markings/sec, 1430 secs
lola: sara is running 1435 secs || 10577797 markings, 35049944 edges, 7869 markings/sec, 1435 secs
lola: sara is running 1440 secs || 10612430 markings, 35167059 edges, 6927 markings/sec, 1440 secs
lola: sara is running 1445 secs || 10643690 markings, 35274620 edges, 6252 markings/sec, 1445 secs
lola: sara is running 1450 secs || 10676995 markings, 35386839 edges, 6661 markings/sec, 1450 secs
lola: sara is running 1455 secs || 10715946 markings, 35516483 edges, 7790 markings/sec, 1455 secs
lola: sara is running 1460 secs || 10754464 markings, 35644438 edges, 7704 markings/sec, 1460 secs
lola: sara is running 1465 secs || 10791371 markings, 35771878 edges, 7381 markings/sec, 1465 secs
lola: sara is running 1470 secs || 10827512 markings, 35894094 edges, 7228 markings/sec, 1470 secs
lola: sara is running 1475 secs || 10863477 markings, 36015021 edges, 7193 markings/sec, 1475 secs
lola: sara is running 1480 secs || 10898039 markings, 36134843 edges, 6912 markings/sec, 1480 secs
lola: sara is running 1485 secs || 10930311 markings, 36250387 edges, 6454 markings/sec, 1485 secs
lola: sara is running 1490 secs || 10962712 markings, 36354511 edges, 6480 markings/sec, 1490 secs
lola: sara is running 1495 secs || 10994988 markings, 36467504 edges, 6455 markings/sec, 1495 secs
lola: sara is running 1500 secs || 11027427 markings, 36576767 edges, 6488 markings/sec, 1500 secs
lola: sara is running 1505 secs || 11057826 markings, 36682725 edges, 6080 markings/sec, 1505 secs
lola: sara is running 1510 secs || 11088847 markings, 36784550 edges, 6204 markings/sec, 1510 secs
lola: sara is running 1515 secs || 11120273 markings, 36893348 edges, 6285 markings/sec, 1515 secs
lola: sara is running 1520 secs || 11148561 markings, 36990801 edges, 5658 markings/sec, 1520 secs
lola: sara is running 1525 secs || 11174702 markings, 37082413 edges, 5228 markings/sec, 1525 secs
lola: sara is running 1530 secs || 11207214 markings, 37189227 edges, 6502 markings/sec, 1530 secs
lola: sara is running 1535 secs || 11247060 markings, 37320024 edges, 7969 markings/sec, 1535 secs
lola: sara is running 1540 secs || 11288192 markings, 37455300 edges, 8226 markings/sec, 1540 secs
lola: sara is running 1545 secs || 11324126 markings, 37581627 edges, 7187 markings/sec, 1545 secs
lola: sara is running 1550 secs || 11360755 markings, 37701105 edges, 7326 markings/sec, 1550 secs
lola: sara is running 1555 secs || 11397361 markings, 37825751 edges, 7321 markings/sec, 1555 secs
lola: sara is running 1560 secs || 11432170 markings, 37941430 edges, 6962 markings/sec, 1560 secs
lola: sara is running 1565 secs || 11469779 markings, 38066211 edges, 7522 markings/sec, 1565 secs
lola: sara is running 1570 secs || 11505255 markings, 38186174 edges, 7095 markings/sec, 1570 secs
lola: sara is running 1575 secs || 11542365 markings, 38307972 edges, 7422 markings/sec, 1575 secs
lola: sara is running 1580 secs || 11576972 markings, 38417843 edges, 6921 markings/sec, 1580 secs
lola: sara is running 1585 secs || 11609241 markings, 38526990 edges, 6454 markings/sec, 1585 secs
lola: sara is running 1590 secs || 11643576 markings, 38641886 edges, 6867 markings/sec, 1590 secs
lola: sara is running 1595 secs || 11679939 markings, 38762350 edges, 7273 markings/sec, 1595 secs
lola: sara is running 1600 secs || 11713492 markings, 38872695 edges, 6711 markings/sec, 1600 secs
lola: sara is running 1605 secs || 11749790 markings, 38993901 edges, 7260 markings/sec, 1605 secs
lola: sara is running 1610 secs || 11787053 markings, 39117674 edges, 7453 markings/sec, 1610 secs
lola: sara is running 1615 secs || 11821321 markings, 39235124 edges, 6854 markings/sec, 1615 secs
lola: sara is running 1620 secs || 11858681 markings, 39363808 edges, 7472 markings/sec, 1620 secs
lola: sara is running 1625 secs || 11893369 markings, 39481006 edges, 6938 markings/sec, 1625 secs
lola: sara is running 1630 secs || 11927288 markings, 39595659 edges, 6784 markings/sec, 1630 secs
lola: sara is running 1635 secs || 11964752 markings, 39724352 edges, 7493 markings/sec, 1635 secs
lola: sara is running 1640 secs || 11999898 markings, 39841183 edges, 7029 markings/sec, 1640 secs
lola: sara is running 1645 secs || 12033198 markings, 39952790 edges, 6660 markings/sec, 1645 secs
lola: sara is running 1650 secs || 12066272 markings, 40065718 edges, 6615 markings/sec, 1650 secs
lola: sara is running 1655 secs || 12104958 markings, 40186918 edges, 7737 markings/sec, 1655 secs
lola: sara is running 1660 secs || 12143343 markings, 40315098 edges, 7677 markings/sec, 1660 secs
lola: sara is running 1665 secs || 12183923 markings, 40447437 edges, 8116 markings/sec, 1665 secs
lola: sara is running 1670 secs || 12223104 markings, 40575731 edges, 7836 markings/sec, 1670 secs
lola: sara is running 1675 secs || 12260531 markings, 40694488 edges, 7485 markings/sec, 1675 secs
lola: sara is running 1680 secs || 12293794 markings, 40804932 edges, 6653 markings/sec, 1680 secs
lola: sara is running 1685 secs || 12325256 markings, 40912479 edges, 6292 markings/sec, 1685 secs
lola: sara is running 1690 secs || 12362339 markings, 41026078 edges, 7417 markings/sec, 1690 secs
lola: sara is running 1695 secs || 12396315 markings, 41137932 edges, 6795 markings/sec, 1695 secs
lola: sara is running 1700 secs || 12428501 markings, 41239339 edges, 6437 markings/sec, 1700 secs
lola: sara is running 1705 secs || 12461044 markings, 41341980 edges, 6509 markings/sec, 1705 secs
lola: sara is running 1710 secs || 12494117 markings, 41453190 edges, 6615 markings/sec, 1710 secs
lola: sara is running 1715 secs || 12528614 markings, 41569249 edges, 6899 markings/sec, 1715 secs
lola: sara is running 1720 secs || 12561149 markings, 41680631 edges, 6507 markings/sec, 1720 secs
lola: sara is running 1725 secs || 12594591 markings, 41788268 edges, 6688 markings/sec, 1725 secs
lola: sara is running 1730 secs || 12628277 markings, 41896015 edges, 6737 markings/sec, 1730 secs
lola: sara is running 1735 secs || 12662611 markings, 42008705 edges, 6867 markings/sec, 1735 secs
lola: sara is running 1740 secs || 12696707 markings, 42123496 edges, 6819 markings/sec, 1740 secs
lola: sara is running 1745 secs || 12737076 markings, 42251520 edges, 8074 markings/sec, 1745 secs
lola: sara is running 1750 secs || 12776700 markings, 42383149 edges, 7925 markings/sec, 1750 secs
lola: sara is running 1755 secs || 12817232 markings, 42514169 edges, 8106 markings/sec, 1755 secs
lola: sara is running 1760 secs || 12855626 markings, 42639373 edges, 7679 markings/sec, 1760 secs
lola: sara is running 1765 secs || 12888588 markings, 42751364 edges, 6592 markings/sec, 1765 secs
lola: sara is running 1770 secs || 12924704 markings, 42875564 edges, 7223 markings/sec, 1770 secs
lola: sara is running 1775 secs || 12961319 markings, 42999672 edges, 7323 markings/sec, 1775 secs
lola: sara is running 1780 secs || 12995157 markings, 43113224 edges, 6768 markings/sec, 1780 secs
lola: sara is running 1785 secs || 13031300 markings, 43236440 edges, 7229 markings/sec, 1785 secs
lola: sara is running 1790 secs || 13065442 markings, 43351822 edges, 6828 markings/sec, 1790 secs
lola: sara is running 1795 secs || 13102260 markings, 43467323 edges, 7364 markings/sec, 1795 secs
lola: sara is running 1800 secs || 13138404 markings, 43585313 edges, 7229 markings/sec, 1800 secs
lola: sara is running 1805 secs || 13171361 markings, 43700703 edges, 6591 markings/sec, 1805 secs
lola: sara is running 1810 secs || 13204677 markings, 43816584 edges, 6663 markings/sec, 1810 secs
lola: sara is running 1815 secs || 13239276 markings, 43929985 edges, 6920 markings/sec, 1815 secs
lola: sara is running 1820 secs || 13271408 markings, 44040649 edges, 6426 markings/sec, 1820 secs
lola: sara is running 1825 secs || 13302942 markings, 44151161 edges, 6307 markings/sec, 1825 secs
lola: sara is running 1830 secs || 13334091 markings, 44255613 edges, 6230 markings/sec, 1830 secs
lola: sara is running 1835 secs || 13364798 markings, 44358884 edges, 6141 markings/sec, 1835 secs
lola: sara is running 1840 secs || 13394968 markings, 44462104 edges, 6034 markings/sec, 1840 secs
lola: sara is running 1845 secs || 13423725 markings, 44560152 edges, 5751 markings/sec, 1845 secs
lola: sara is running 1850 secs || 13453612 markings, 44657996 edges, 5977 markings/sec, 1850 secs
lola: sara is running 1855 secs || 13482059 markings, 44757008 edges, 5689 markings/sec, 1855 secs
lola: sara is running 1860 secs || 13510450 markings, 44856059 edges, 5678 markings/sec, 1860 secs
lola: sara is running 1865 secs || 13536596 markings, 44948521 edges, 5229 markings/sec, 1865 secs
lola: sara is running 1870 secs || 13562194 markings, 45033857 edges, 5120 markings/sec, 1870 secs
lola: sara is running 1875 secs || 13599390 markings, 45155945 edges, 7439 markings/sec, 1875 secs
lola: sara is running 1880 secs || 13637813 markings, 45283199 edges, 7685 markings/sec, 1880 secs
lola: sara is running 1885 secs || 13675643 markings, 45406744 edges, 7566 markings/sec, 1885 secs
lola: sara is running 1890 secs || 13712672 markings, 45535121 edges, 7406 markings/sec, 1890 secs
lola: sara is running 1895 secs || 13750110 markings, 45659204 edges, 7488 markings/sec, 1895 secs
lola: sara is running 1900 secs || 13788668 markings, 45779149 edges, 7712 markings/sec, 1900 secs
lola: sara is running 1905 secs || 13825447 markings, 45902469 edges, 7356 markings/sec, 1905 secs
lola: sara is running 1910 secs || 13858528 markings, 46015708 edges, 6616 markings/sec, 1910 secs
lola: sara is running 1915 secs || 13897530 markings, 46137168 edges, 7800 markings/sec, 1915 secs
lola: sara is running 1920 secs || 13936221 markings, 46264057 edges, 7738 markings/sec, 1920 secs
lola: sara is running 1925 secs || 13975872 markings, 46395128 edges, 7930 markings/sec, 1925 secs
lola: sara is running 1930 secs || 14015784 markings, 46523679 edges, 7982 markings/sec, 1930 secs
lola: sara is running 1935 secs || 14053607 markings, 46647547 edges, 7565 markings/sec, 1935 secs
lola: sara is running 1940 secs || 14086581 markings, 46759593 edges, 6595 markings/sec, 1940 secs
lola: sara is running 1945 secs || 14123318 markings, 46882342 edges, 7347 markings/sec, 1945 secs
lola: sara is running 1950 secs || 14156135 markings, 46994893 edges, 6563 markings/sec, 1950 secs
lola: sara is running 1955 secs || 14193497 markings, 47116964 edges, 7472 markings/sec, 1955 secs
lola: sara is running 1960 secs || 14228221 markings, 47232394 edges, 6945 markings/sec, 1960 secs
lola: sara is running 1965 secs || 14260322 markings, 47338718 edges, 6420 markings/sec, 1965 secs
lola: sara is running 1970 secs || 14292701 markings, 47449723 edges, 6476 markings/sec, 1970 secs
lola: sara is running 1975 secs || 14322416 markings, 47552951 edges, 5943 markings/sec, 1975 secs
lola: sara is running 1980 secs || 14358518 markings, 47671283 edges, 7220 markings/sec, 1980 secs
lola: sara is running 1985 secs || 14395417 markings, 47791697 edges, 7380 markings/sec, 1985 secs
lola: sara is running 1990 secs || 14432250 markings, 47917122 edges, 7367 markings/sec, 1990 secs
lola: sara is running 1995 secs || 14470497 markings, 48040560 edges, 7649 markings/sec, 1995 secs
lola: sara is running 2000 secs || 14504803 markings, 48168882 edges, 6861 markings/sec, 2000 secs
lola: sara is running 2005 secs || 14541380 markings, 48282185 edges, 7315 markings/sec, 2005 secs
lola: sara is running 2010 secs || 14574886 markings, 48389478 edges, 6701 markings/sec, 2010 secs
lola: sara is running 2015 secs || 14607211 markings, 48489522 edges, 6465 markings/sec, 2015 secs
lola: sara is running 2020 secs || 14641258 markings, 48604674 edges, 6809 markings/sec, 2020 secs
lola: sara is running 2025 secs || 14676108 markings, 48726242 edges, 6970 markings/sec, 2025 secs
lola: sara is running 2030 secs || 14709949 markings, 48840584 edges, 6768 markings/sec, 2030 secs
lola: sara is running 2035 secs || 14741622 markings, 48949244 edges, 6335 markings/sec, 2035 secs
lola: sara is running 2040 secs || 14772957 markings, 49056079 edges, 6267 markings/sec, 2040 secs
lola: sara is running 2045 secs || 14809443 markings, 49178663 edges, 7297 markings/sec, 2045 secs
lola: sara is running 2050 secs || 14844182 markings, 49292944 edges, 6948 markings/sec, 2050 secs
lola: sara is running 2055 secs || 14879116 markings, 49412279 edges, 6987 markings/sec, 2055 secs
lola: sara is running 2060 secs || 14915762 markings, 49526607 edges, 7329 markings/sec, 2060 secs
lola: sara is running 2065 secs || 14948926 markings, 49638287 edges, 6633 markings/sec, 2065 secs
lola: sara is running 2070 secs || 14981967 markings, 49741245 edges, 6608 markings/sec, 2070 secs
lola: sara is running 2075 secs || 15012138 markings, 49841995 edges, 6034 markings/sec, 2075 secs
lola: sara is running 2080 secs || 15043447 markings, 49942305 edges, 6262 markings/sec, 2080 secs
lola: sara is running 2085 secs || 15080617 markings, 50060233 edges, 7434 markings/sec, 2085 secs
lola: sara is running 2090 secs || 15114330 markings, 50171333 edges, 6743 markings/sec, 2090 secs
lola: sara is running 2095 secs || 15144926 markings, 50275649 edges, 6119 markings/sec, 2095 secs
lola: sara is running 2100 secs || 15178235 markings, 50386040 edges, 6662 markings/sec, 2100 secs
lola: sara is running 2105 secs || 15213642 markings, 50505905 edges, 7081 markings/sec, 2105 secs
lola: sara is running 2110 secs || 15246351 markings, 50616782 edges, 6542 markings/sec, 2110 secs
lola: sara is running 2115 secs || 15279226 markings, 50727946 edges, 6575 markings/sec, 2115 secs
lola: sara is running 2120 secs || 15315543 markings, 50842911 edges, 7263 markings/sec, 2120 secs
lola: sara is running 2125 secs || 15347422 markings, 50950374 edges, 6376 markings/sec, 2125 secs
lola: sara is running 2130 secs || 15383054 markings, 51071325 edges, 7126 markings/sec, 2130 secs
lola: sara is running 2135 secs || 15415745 markings, 51182093 edges, 6538 markings/sec, 2135 secs
lola: sara is running 2140 secs || 15451108 markings, 51300073 edges, 7073 markings/sec, 2140 secs
lola: sara is running 2145 secs || 15484226 markings, 51411038 edges, 6624 markings/sec, 2145 secs
lola: sara is running 2150 secs || 15520319 markings, 51521654 edges, 7219 markings/sec, 2150 secs
lola: sara is running 2155 secs || 15553905 markings, 51632016 edges, 6717 markings/sec, 2155 secs
lola: sara is running 2160 secs || 15586182 markings, 51737393 edges, 6455 markings/sec, 2160 secs
lola: sara is running 2165 secs || 15617544 markings, 51836174 edges, 6272 markings/sec, 2165 secs
lola: sara is running 2170 secs || 15646701 markings, 51931094 edges, 5831 markings/sec, 2170 secs
lola: sara is running 2175 secs || 15683544 markings, 52049082 edges, 7369 markings/sec, 2175 secs
lola: sara is running 2180 secs || 15717030 markings, 52169706 edges, 6697 markings/sec, 2180 secs
lola: sara is running 2185 secs || 15752944 markings, 52289711 edges, 7183 markings/sec, 2185 secs
lola: sara is running 2190 secs || 15785706 markings, 52402090 edges, 6552 markings/sec, 2190 secs
lola: sara is running 2195 secs || 15821998 markings, 52520698 edges, 7258 markings/sec, 2195 secs
lola: sara is running 2200 secs || 15856276 markings, 52635655 edges, 6856 markings/sec, 2200 secs
lola: sara is running 2205 secs || 15889730 markings, 52750075 edges, 6691 markings/sec, 2205 secs
lola: sara is running 2210 secs || 15922430 markings, 52866858 edges, 6540 markings/sec, 2210 secs
lola: sara is running 2215 secs || 15952828 markings, 52974337 edges, 6080 markings/sec, 2215 secs
lola: sara is running 2220 secs || 15983132 markings, 53095191 edges, 6061 markings/sec, 2220 secs
lola: sara is running 2225 secs || 16014465 markings, 53218871 edges, 6267 markings/sec, 2225 secs
lola: sara is running 2230 secs || 16049484 markings, 53339823 edges, 7004 markings/sec, 2230 secs
lola: sara is running 2235 secs || 16086166 markings, 53474158 edges, 7336 markings/sec, 2235 secs
lola: sara is running 2240 secs || 16129221 markings, 53593084 edges, 8611 markings/sec, 2240 secs
lola: sara is running 2245 secs || 16163782 markings, 53716100 edges, 6912 markings/sec, 2245 secs
lola: sara is running 2250 secs || 16197938 markings, 53842330 edges, 6831 markings/sec, 2250 secs
lola: sara is running 2255 secs || 16234903 markings, 53967094 edges, 7393 markings/sec, 2255 secs
lola: sara is running 2260 secs || 16270668 markings, 54084309 edges, 7153 markings/sec, 2260 secs
lola: sara is running 2265 secs || 16310362 markings, 54217587 edges, 7939 markings/sec, 2265 secs
lola: sara is running 2270 secs || 16348770 markings, 54340875 edges, 7682 markings/sec, 2270 secs
lola: sara is running 2275 secs || 16383085 markings, 54455047 edges, 6863 markings/sec, 2275 secs
lola: sara is running 2280 secs || 16420432 markings, 54581717 edges, 7469 markings/sec, 2280 secs
lola: sara is running 2285 secs || 16460302 markings, 54713341 edges, 7974 markings/sec, 2285 secs
lola: sara is running 2290 secs || 16497619 markings, 54841411 edges, 7463 markings/sec, 2290 secs
lola: sara is running 2295 secs || 16536016 markings, 54972827 edges, 7679 markings/sec, 2295 secs
lola: sara is running 2300 secs || 16576896 markings, 55111917 edges, 8176 markings/sec, 2300 secs
lola: sara is running 2305 secs || 16614076 markings, 55240654 edges, 7436 markings/sec, 2305 secs
lola: sara is running 2310 secs || 16655062 markings, 55383899 edges, 8197 markings/sec, 2310 secs
lola: sara is running 2315 secs || 16695496 markings, 55518195 edges, 8087 markings/sec, 2315 secs
lola: sara is running 2320 secs || 16733359 markings, 55648631 edges, 7573 markings/sec, 2320 secs
lola: sara is running 2325 secs || 16774150 markings, 55781708 edges, 8158 markings/sec, 2325 secs
lola: sara is running 2330 secs || 16809466 markings, 55906002 edges, 7063 markings/sec, 2330 secs
lola: sara is running 2335 secs || 16848050 markings, 56041962 edges, 7717 markings/sec, 2335 secs
lola: sara is running 2340 secs || 16886381 markings, 56168511 edges, 7666 markings/sec, 2340 secs
lola: sara is running 2345 secs || 16924147 markings, 56292173 edges, 7553 markings/sec, 2345 secs
lola: sara is running 2350 secs || 16961952 markings, 56415517 edges, 7561 markings/sec, 2350 secs
lola: sara is running 2355 secs || 16997124 markings, 56539049 edges, 7034 markings/sec, 2355 secs
lola: sara is running 2360 secs || 17033414 markings, 56657861 edges, 7258 markings/sec, 2360 secs
lola: sara is running 2365 secs || 17069828 markings, 56775547 edges, 7283 markings/sec, 2365 secs
lola: sara is running 2370 secs || 17104472 markings, 56890551 edges, 6929 markings/sec, 2370 secs
lola: sara is running 2375 secs || 17136297 markings, 57002362 edges, 6365 markings/sec, 2375 secs
lola: sara is running 2380 secs || 17169680 markings, 57122060 edges, 6677 markings/sec, 2380 secs
lola: sara is running 2385 secs || 17205197 markings, 57242673 edges, 7103 markings/sec, 2385 secs
lola: sara is running 2390 secs || 17240966 markings, 57361370 edges, 7154 markings/sec, 2390 secs
lola: sara is running 2395 secs || 17275758 markings, 57478619 edges, 6958 markings/sec, 2395 secs
lola: sara is running 2400 secs || 17311583 markings, 57599695 edges, 7165 markings/sec, 2400 secs
lola: sara is running 2405 secs || 17347344 markings, 57720241 edges, 7152 markings/sec, 2405 secs
lola: sara is running 2410 secs || 17383086 markings, 57840436 edges, 7148 markings/sec, 2410 secs
lola: sara is running 2415 secs || 17418038 markings, 57960096 edges, 6990 markings/sec, 2415 secs
lola: sara is running 2420 secs || 17453664 markings, 58080479 edges, 7125 markings/sec, 2420 secs
lola: sara is running 2425 secs || 17489530 markings, 58200884 edges, 7173 markings/sec, 2425 secs
lola: sara is running 2430 secs || 17525047 markings, 58320469 edges, 7103 markings/sec, 2430 secs
lola: sara is running 2435 secs || 17559627 markings, 58441745 edges, 6916 markings/sec, 2435 secs
lola: sara is running 2440 secs || 17588816 markings, 58571657 edges, 5838 markings/sec, 2440 secs
lola: sara is running 2445 secs || 17622583 markings, 58691174 edges, 6753 markings/sec, 2445 secs
lola: sara is running 2450 secs || 17658721 markings, 58813602 edges, 7228 markings/sec, 2450 secs
lola: sara is running 2455 secs || 17698632 markings, 58939245 edges, 7982 markings/sec, 2455 secs
lola: sara is running 2460 secs || 17739067 markings, 59050721 edges, 8087 markings/sec, 2460 secs
lola: sara is running 2465 secs || 17773620 markings, 59168131 edges, 6911 markings/sec, 2465 secs
lola: sara is running 2470 secs || 17807851 markings, 59285188 edges, 6846 markings/sec, 2470 secs
lola: sara is running 2475 secs || 17845589 markings, 59406131 edges, 7548 markings/sec, 2475 secs
lola: sara is running 2480 secs || 17880576 markings, 59523725 edges, 6997 markings/sec, 2480 secs
lola: sara is running 2485 secs || 17915517 markings, 59642661 edges, 6988 markings/sec, 2485 secs
lola: sara is running 2490 secs || 17949622 markings, 59758314 edges, 6821 markings/sec, 2490 secs
lola: sara is running 2495 secs || 17984680 markings, 59876521 edges, 7012 markings/sec, 2495 secs
lola: sara is running 2500 secs || 18019576 markings, 59991995 edges, 6979 markings/sec, 2500 secs
lola: sara is running 2505 secs || 18054252 markings, 60109192 edges, 6935 markings/sec, 2505 secs
lola: sara is running 2510 secs || 18087779 markings, 60220020 edges, 6705 markings/sec, 2510 secs
lola: sara is running 2515 secs || 18125798 markings, 60352094 edges, 7604 markings/sec, 2515 secs
lola: sara is running 2520 secs || 18167440 markings, 60467084 edges, 8328 markings/sec, 2520 secs
lola: sara is running 2525 secs || 18201059 markings, 60582619 edges, 6724 markings/sec, 2525 secs
lola: sara is running 2530 secs || 18231823 markings, 60711150 edges, 6153 markings/sec, 2530 secs
lola: sara is running 2535 secs || 18265724 markings, 60824719 edges, 6780 markings/sec, 2535 secs
lola: sara is running 2540 secs || 18299807 markings, 60936659 edges, 6817 markings/sec, 2540 secs
lola: sara is running 2545 secs || 18335930 markings, 61059786 edges, 7225 markings/sec, 2545 secs
lola: sara is running 2550 secs || 18375635 markings, 61182777 edges, 7941 markings/sec, 2550 secs
lola: sara is running 2555 secs || 18414983 markings, 61291807 edges, 7870 markings/sec, 2555 secs
lola: sara is running 2560 secs || 18448539 markings, 61405957 edges, 6711 markings/sec, 2560 secs
lola: sara is running 2565 secs || 18481999 markings, 61520042 edges, 6692 markings/sec, 2565 secs
lola: sara is running 2570 secs || 18516178 markings, 61629312 edges, 6836 markings/sec, 2570 secs
lola: sara is running 2575 secs || 18550115 markings, 61743533 edges, 6787 markings/sec, 2575 secs
lola: sara is running 2580 secs || 18583198 markings, 61856487 edges, 6617 markings/sec, 2580 secs
lola: sara is running 2585 secs || 18617188 markings, 61971156 edges, 6798 markings/sec, 2585 secs
lola: sara is running 2590 secs || 18650953 markings, 62084072 edges, 6753 markings/sec, 2590 secs
lola: sara is running 2595 secs || 18684541 markings, 62197160 edges, 6718 markings/sec, 2595 secs
lola: sara is running 2600 secs || 18717199 markings, 62309384 edges, 6532 markings/sec, 2600 secs
lola: sara is running 2605 secs || 18750974 markings, 62423053 edges, 6755 markings/sec, 2605 secs
lola: sara is running 2610 secs || 18784309 markings, 62535430 edges, 6667 markings/sec, 2610 secs
lola: sara is running 2615 secs || 18816941 markings, 62650112 edges, 6526 markings/sec, 2615 secs
lola: sara is running 2620 secs || 18844582 markings, 62772673 edges, 5528 markings/sec, 2620 secs
lola: sara is running 2625 secs || 18872951 markings, 62896165 edges, 5674 markings/sec, 2625 secs
lola: sara is running 2630 secs || 18901471 markings, 63017904 edges, 5704 markings/sec, 2630 secs
lola: sara is running 2635 secs || 18933939 markings, 63128977 edges, 6494 markings/sec, 2635 secs
lola: sara is running 2640 secs || 18969191 markings, 63247720 edges, 7050 markings/sec, 2640 secs
lola: sara is running 2645 secs || 18999054 markings, 63368714 edges, 5973 markings/sec, 2645 secs
lola: sara is running 2650 secs || 19028955 markings, 63491936 edges, 5980 markings/sec, 2650 secs
lola: sara is running 2655 secs || 19061153 markings, 63602206 edges, 6440 markings/sec, 2655 secs
lola: sara is running 2660 secs || 19096223 markings, 63719569 edges, 7014 markings/sec, 2660 secs
lola: sara is running 2665 secs || 19132980 markings, 63845977 edges, 7351 markings/sec, 2665 secs
lola: sara is running 2670 secs || 19169537 markings, 63971728 edges, 7311 markings/sec, 2670 secs
lola: sara is running 2675 secs || 19206095 markings, 64097404 edges, 7312 markings/sec, 2675 secs
lola: sara is running 2680 secs || 19242275 markings, 64221827 edges, 7236 markings/sec, 2680 secs
lola: sara is running 2685 secs || 19271421 markings, 64370106 edges, 5829 markings/sec, 2685 secs
lola: sara is running 2690 secs || 19308439 markings, 64501147 edges, 7404 markings/sec, 2690 secs
lola: sara is running 2695 secs || 19343631 markings, 64622778 edges, 7038 markings/sec, 2695 secs
lola: sara is running 2700 secs || 19376485 markings, 64763771 edges, 6571 markings/sec, 2700 secs
lola: sara is running 2705 secs || 19413434 markings, 64896486 edges, 7390 markings/sec, 2705 secs
lola: sara is running 2710 secs || 19449383 markings, 65019854 edges, 7190 markings/sec, 2710 secs
lola: sara is running 2715 secs || 19485337 markings, 65143057 edges, 7191 markings/sec, 2715 secs
lola: sara is running 2720 secs || 19520908 markings, 65262947 edges, 7114 markings/sec, 2720 secs
lola: sara is running 2725 secs || 19558309 markings, 65391039 edges, 7480 markings/sec, 2725 secs
lola: sara is running 2730 secs || 19598934 markings, 65527950 edges, 8125 markings/sec, 2730 secs
lola: sara is running 2735 secs || 19638153 markings, 65662212 edges, 7844 markings/sec, 2735 secs
lola: sara is running 2740 secs || 19681142 markings, 65807381 edges, 8598 markings/sec, 2740 secs
lola: sara is running 2745 secs || 19720718 markings, 65942561 edges, 7915 markings/sec, 2745 secs
lola: sara is running 2750 secs || 19762563 markings, 66090126 edges, 8369 markings/sec, 2750 secs
lola: sara is running 2755 secs || 19804216 markings, 66229348 edges, 8331 markings/sec, 2755 secs
lola: sara is running 2760 secs || 19844118 markings, 66363714 edges, 7980 markings/sec, 2760 secs
lola: sara is running 2765 secs || 19885823 markings, 66502125 edges, 8341 markings/sec, 2765 secs
lola: sara is running 2770 secs || 19923092 markings, 66632660 edges, 7454 markings/sec, 2770 secs
lola: sara is running 2775 secs || 19962730 markings, 66772546 edges, 7928 markings/sec, 2775 secs
lola: sara is running 2780 secs || 20002307 markings, 66902272 edges, 7915 markings/sec, 2780 secs
lola: sara is running 2785 secs || 20040962 markings, 67030385 edges, 7731 markings/sec, 2785 secs
lola: sara is running 2790 secs || 20078761 markings, 67157463 edges, 7560 markings/sec, 2790 secs
lola: sara is running 2795 secs || 20115490 markings, 67282660 edges, 7346 markings/sec, 2795 secs
lola: sara is running 2800 secs || 20151343 markings, 67401612 edges, 7171 markings/sec, 2800 secs
lola: sara is running 2805 secs || 20181356 markings, 67515713 edges, 6003 markings/sec, 2805 secs
lola: sara is running 2810 secs || 20218680 markings, 67644228 edges, 7465 markings/sec, 2810 secs
lola: sara is running 2815 secs || 20256253 markings, 67772433 edges, 7515 markings/sec, 2815 secs
lola: sara is running 2820 secs || 20293746 markings, 67900119 edges, 7499 markings/sec, 2820 secs
lola: sara is running 2825 secs || 20330978 markings, 68027978 edges, 7446 markings/sec, 2825 secs
lola: sara is running 2830 secs || 20368225 markings, 68154982 edges, 7449 markings/sec, 2830 secs
lola: sara is running 2835 secs || 20405097 markings, 68281797 edges, 7374 markings/sec, 2835 secs
lola: sara is running 2840 secs || 20442125 markings, 68408336 edges, 7406 markings/sec, 2840 secs
lola: sara is running 2845 secs || 20479309 markings, 68535291 edges, 7437 markings/sec, 2845 secs
lola: sara is running 2850 secs || 20515030 markings, 68655523 edges, 7144 markings/sec, 2850 secs
lola: sara is running 2855 secs || 20554883 markings, 68788298 edges, 7971 markings/sec, 2855 secs
lola: sara is running 2860 secs || 20597914 markings, 68911519 edges, 8606 markings/sec, 2860 secs
lola: sara is running 2865 secs || 20630955 markings, 69048051 edges, 6608 markings/sec, 2865 secs
lola: sara is running 2870 secs || 20667994 markings, 69174641 edges, 7408 markings/sec, 2870 secs
lola: sara is running 2875 secs || 20702129 markings, 69298529 edges, 6827 markings/sec, 2875 secs
lola: sara is running 2880 secs || 20733941 markings, 69433544 edges, 6362 markings/sec, 2880 secs
lola: sara is running 2885 secs || 20768170 markings, 69567942 edges, 6846 markings/sec, 2885 secs
lola: sara is running 2890 secs || 20801730 markings, 69702611 edges, 6712 markings/sec, 2890 secs
lola: sara is running 2895 secs || 20837725 markings, 69834470 edges, 7199 markings/sec, 2895 secs
lola: sara is running 2900 secs || 20870698 markings, 69965761 edges, 6595 markings/sec, 2900 secs
lola: sara is running 2905 secs || 20902832 markings, 70090424 edges, 6427 markings/sec, 2905 secs
lola: sara is running 2910 secs || 20939838 markings, 70210261 edges, 7401 markings/sec, 2910 secs
lola: sara is running 2915 secs || 20977247 markings, 70333826 edges, 7482 markings/sec, 2915 secs
lola: sara is running 2920 secs || 21012282 markings, 70452988 edges, 7007 markings/sec, 2920 secs
lola: sara is running 2925 secs || 21044912 markings, 70576639 edges, 6526 markings/sec, 2925 secs
lola: sara is running 2930 secs || 21078103 markings, 70700753 edges, 6638 markings/sec, 2930 secs
lola: sara is running 2935 secs || 21108806 markings, 70830939 edges, 6141 markings/sec, 2935 secs
lola: sara is running 2940 secs || 21142421 markings, 70953928 edges, 6723 markings/sec, 2940 secs
lola: sara is running 2945 secs || 21164517 markings, 71088645 edges, 4419 markings/sec, 2945 secs
lola: sara is running 2950 secs || 21182997 markings, 71226038 edges, 3696 markings/sec, 2950 secs
lola: sara is running 2955 secs || 21221785 markings, 71368858 edges, 7758 markings/sec, 2955 secs
lola: sara is running 2960 secs || 21262928 markings, 71521890 edges, 8229 markings/sec, 2960 secs
lola: sara is running 2965 secs || 21314939 markings, 71691419 edges, 10402 markings/sec, 2965 secs
lola: sara is running 2970 secs || 21365584 markings, 71859900 edges, 10129 markings/sec, 2970 secs
lola: sara is running 2975 secs || 21405661 markings, 71989825 edges, 8015 markings/sec, 2975 secs
lola: sara is running 2980 secs || 21440653 markings, 72105844 edges, 6998 markings/sec, 2980 secs
lola: sara is running 2985 secs || 21473373 markings, 72219558 edges, 6544 markings/sec, 2985 secs
lola: sara is running 2990 secs || 21501988 markings, 72329190 edges, 5723 markings/sec, 2990 secs
lola: sara is running 2995 secs || 21530419 markings, 72437274 edges, 5686 markings/sec, 2995 secs
lola: sara is running 3000 secs || 21565271 markings, 72535745 edges, 6970 markings/sec, 3000 secs
lola: sara is running 3005 secs || 21596964 markings, 72647644 edges, 6339 markings/sec, 3005 secs
lola: sara is running 3010 secs || 21628689 markings, 72760182 edges, 6345 markings/sec, 3010 secs
lola: sara is running 3015 secs || 21664218 markings, 72879922 edges, 7106 markings/sec, 3015 secs
lola: sara is running 3020 secs || 21691317 markings, 72998334 edges, 5420 markings/sec, 3020 secs
lola: sara is running 3025 secs || 21728934 markings, 73130664 edges, 7523 markings/sec, 3025 secs
lola: sara is running 3030 secs || 21766248 markings, 73247564 edges, 7463 markings/sec, 3030 secs
lola: sara is running 3035 secs || 21799429 markings, 73355923 edges, 6636 markings/sec, 3035 secs
lola: sara is running 3040 secs || 21830872 markings, 73460395 edges, 6289 markings/sec, 3040 secs
lola: sara is running 3045 secs || 21861235 markings, 73564558 edges, 6073 markings/sec, 3045 secs
lola: sara is running 3050 secs || 21892863 markings, 73669751 edges, 6326 markings/sec, 3050 secs
lola: sara is running 3055 secs || 21923242 markings, 73773696 edges, 6076 markings/sec, 3055 secs
lola: sara is running 3060 secs || 21955689 markings, 73880969 edges, 6489 markings/sec, 3060 secs
lola: sara is running 3065 secs || 21984840 markings, 73981849 edges, 5830 markings/sec, 3065 secs
lola: sara is running 3070 secs || 22016522 markings, 74087970 edges, 6336 markings/sec, 3070 secs
lola: sara is running 3075 secs || 22047182 markings, 74191431 edges, 6132 markings/sec, 3075 secs
lola: sara is running 3080 secs || 22081404 markings, 74302466 edges, 6844 markings/sec, 3080 secs
lola: sara is running 3085 secs || 22112108 markings, 74407996 edges, 6141 markings/sec, 3085 secs
lola: sara is running 3090 secs || 22146260 markings, 74512992 edges, 6830 markings/sec, 3090 secs
lola: sara is running 3095 secs || 22176820 markings, 74620705 edges, 6112 markings/sec, 3095 secs
lola: sara is running 3100 secs || 22206444 markings, 74720676 edges, 5925 markings/sec, 3100 secs
lola: sara is running 3105 secs || 22233482 markings, 74818497 edges, 5408 markings/sec, 3105 secs
lola: sara is running 3110 secs || 22262374 markings, 74916639 edges, 5778 markings/sec, 3110 secs
lola: sara is running 3115 secs || 22297151 markings, 75035213 edges, 6955 markings/sec, 3115 secs
lola: sara is running 3120 secs || 22325600 markings, 75142983 edges, 5690 markings/sec, 3120 secs
lola: sara is running 3125 secs || 22356556 markings, 75249257 edges, 6191 markings/sec, 3125 secs
lola: sara is running 3130 secs || 22389020 markings, 75357195 edges, 6493 markings/sec, 3130 secs
lola: sara is running 3135 secs || 22418897 markings, 75459477 edges, 5975 markings/sec, 3135 secs
lola: sara is running 3140 secs || 22450778 markings, 75564502 edges, 6376 markings/sec, 3140 secs
lola: sara is running 3145 secs || 22483129 markings, 75672404 edges, 6470 markings/sec, 3145 secs
lola: sara is running 3150 secs || 22514266 markings, 75779596 edges, 6227 markings/sec, 3150 secs
lola: sara is running 3155 secs || 22546825 markings, 75888318 edges, 6512 markings/sec, 3155 secs
lola: sara is running 3160 secs || 22572288 markings, 75998997 edges, 5093 markings/sec, 3160 secs
lola: sara is running 3165 secs || 22606774 markings, 76123190 edges, 6897 markings/sec, 3165 secs
lola: sara is running 3170 secs || 22637720 markings, 76232824 edges, 6189 markings/sec, 3170 secs
lola: sara is running 3175 secs || 22669840 markings, 76341463 edges, 6424 markings/sec, 3175 secs
lola: sara is running 3180 secs || 22701706 markings, 76451104 edges, 6373 markings/sec, 3180 secs
lola: sara is running 3185 secs || 22736295 markings, 76554936 edges, 6918 markings/sec, 3185 secs
lola: sara is running 3190 secs || 22771854 markings, 76658350 edges, 7112 markings/sec, 3190 secs
lola: sara is running 3195 secs || 22805768 markings, 76767484 edges, 6783 markings/sec, 3195 secs
lola: sara is running 3200 secs || 22835765 markings, 76870948 edges, 5999 markings/sec, 3200 secs
lola: sara is running 3205 secs || 22866944 markings, 76976838 edges, 6236 markings/sec, 3205 secs
lola: sara is running 3210 secs || 22899111 markings, 77084192 edges, 6433 markings/sec, 3210 secs
lola: sara is running 3215 secs || 22926459 markings, 77174582 edges, 5470 markings/sec, 3215 secs
lola: sara is running 3220 secs || 22957328 markings, 77279429 edges, 6174 markings/sec, 3220 secs
lola: sara is running 3225 secs || 22990350 markings, 77390917 edges, 6604 markings/sec, 3225 secs
lola: sara is running 3230 secs || 23022169 markings, 77500413 edges, 6364 markings/sec, 3230 secs
lola: sara is running 3235 secs || 23056018 markings, 77604438 edges, 6770 markings/sec, 3235 secs
lola: sara is running 3240 secs || 23092016 markings, 77702718 edges, 7200 markings/sec, 3240 secs
lola: sara is running 3245 secs || 23118434 markings, 77814207 edges, 5284 markings/sec, 3245 secs
lola: sara is running 3250 secs || 23145396 markings, 77929633 edges, 5392 markings/sec, 3250 secs
lola: sara is running 3255 secs || 23170380 markings, 78040663 edges, 4997 markings/sec, 3255 secs
lola: sara is running 3260 secs || 23194726 markings, 78148653 edges, 4869 markings/sec, 3260 secs
lola: sara is running 3265 secs || 23225104 markings, 78259151 edges, 6076 markings/sec, 3265 secs
lola: sara is running 3270 secs || 23257537 markings, 78369849 edges, 6487 markings/sec, 3270 secs
lola: sara is running 3275 secs || 23295166 markings, 78490715 edges, 7526 markings/sec, 3275 secs
lola: sara is running 3280 secs || 23328197 markings, 78601779 edges, 6606 markings/sec, 3280 secs
lola: sara is running 3285 secs || 23359344 markings, 78709530 edges, 6229 markings/sec, 3285 secs
lola: sara is running 3290 secs || 23395008 markings, 78806012 edges, 7133 markings/sec, 3290 secs
lola: sara is running 3295 secs || 23425180 markings, 78921902 edges, 6034 markings/sec, 3295 secs
lola: sara is running 3300 secs || 23460470 markings, 79046360 edges, 7058 markings/sec, 3300 secs
lola: sara is running 3305 secs || 23487687 markings, 79160196 edges, 5443 markings/sec, 3305 secs
lola: sara is running 3310 secs || 23512840 markings, 79280343 edges, 5031 markings/sec, 3310 secs
lola: sara is running 3315 secs || 23534637 markings, 79396912 edges, 4359 markings/sec, 3315 secs
lola: sara is running 3320 secs || 23566259 markings, 79511324 edges, 6324 markings/sec, 3320 secs
lola: sara is running 3325 secs || 23595840 markings, 79625869 edges, 5916 markings/sec, 3325 secs
lola: sara is running 3330 secs || 23623978 markings, 79740689 edges, 5628 markings/sec, 3330 secs
lola: sara is running 3335 secs || 23655923 markings, 79849609 edges, 6389 markings/sec, 3335 secs
lola: sara is running 3340 secs || 23682606 markings, 79961942 edges, 5337 markings/sec, 3340 secs
lola: sara is running 3345 secs || 23711019 markings, 80071693 edges, 5683 markings/sec, 3345 secs
lola: sara is running 3350 secs || 23741417 markings, 80176581 edges, 6080 markings/sec, 3350 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes yes yes no yes unknown no no yes yes no no no no yes
lola:
preliminary result: yes yes yes yes no yes unknown no no yes yes no no no no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes yes no yes unknown no no yes yes no no no no yes
lola: memory consumption: 5946228 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes yes no yes unknown no no yes yes no no no no yes
lola: memory consumption: 5946228 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes yes yes no yes unknown no no yes yes no no no no yes
lola: memory consumption: 5946564 KB
lola: time consumption: 3571 seconds
BK_STOP 1526525645561
--------------------
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="CloudReconfiguration-PT-314"
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/CloudReconfiguration-PT-314.tgz
mv CloudReconfiguration-PT-314 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 CloudReconfiguration-PT-314, 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 r052-smll-152646379900094"
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 ;