fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r052-smll-152646379900094
Last Updated
June 26, 2018

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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;