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

About the Execution of LoLA for PolyORBLF-PT-S02J04T08

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6202.770 3570603.00 6910631.00 7468.10 TFTFFFTTTF?FFFF? 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 1.5M
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 34K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 36K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 31K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 10 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.2M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBLF-PT-S02J04T08, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673526900145
=====================================================================


--------------------
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 PolyORBLF-PT-S02J04T08-ReachabilityCardinality-00
FORMULA_NAME PolyORBLF-PT-S02J04T08-ReachabilityCardinality-01
FORMULA_NAME PolyORBLF-PT-S02J04T08-ReachabilityCardinality-02
FORMULA_NAME PolyORBLF-PT-S02J04T08-ReachabilityCardinality-03
FORMULA_NAME PolyORBLF-PT-S02J04T08-ReachabilityCardinality-04
FORMULA_NAME PolyORBLF-PT-S02J04T08-ReachabilityCardinality-05
FORMULA_NAME PolyORBLF-PT-S02J04T08-ReachabilityCardinality-06
FORMULA_NAME PolyORBLF-PT-S02J04T08-ReachabilityCardinality-07
FORMULA_NAME PolyORBLF-PT-S02J04T08-ReachabilityCardinality-08
FORMULA_NAME PolyORBLF-PT-S02J04T08-ReachabilityCardinality-09
FORMULA_NAME PolyORBLF-PT-S02J04T08-ReachabilityCardinality-10
FORMULA_NAME PolyORBLF-PT-S02J04T08-ReachabilityCardinality-11
FORMULA_NAME PolyORBLF-PT-S02J04T08-ReachabilityCardinality-12
FORMULA_NAME PolyORBLF-PT-S02J04T08-ReachabilityCardinality-13
FORMULA_NAME PolyORBLF-PT-S02J04T08-ReachabilityCardinality-14
FORMULA_NAME PolyORBLF-PT-S02J04T08-ReachabilityCardinality-15

=== Now, execution of the tool begins

BK_START 1526977662342

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-PT-S02J04T08 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-PT-S02J04T08 formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ PolyORBLF-PT-S02J04T08 @ 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: 1856/65536 symbol table entries, 10 collisions
lola: preprocessing...
lola: Size of bit vector: 19648
lola: finding significant places
lola: 614 places, 1242 transitions, 564 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1685 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (3 <= Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8)
lola: LP says that atomic proposition is always false: (2 <= NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6 + NotifyEventJobCompletedE_7 + NotifyEventJobCompletedE_8)
lola: LP says that atomic proposition is always false: (2 <= ScheduleTaskB_1 + ScheduleTaskB_2 + ScheduleTaskB_3 + ScheduleTaskB_4 + ScheduleTaskB_5 + ScheduleTaskB_6 + ScheduleTaskB_7 + ScheduleTaskB_8)
lola: LP says that atomic proposition is always false: (2 <= P_1725_0 + P_1725_1 + P_1725_2 + P_1725_3 + P_1725_4)
lola: LP says that atomic proposition is always false: (3 <= Abort_Check_Sources_B_1 + Abort_Check_Sources_B_2 + Abort_Check_Sources_B_3 + Abort_Check_Sources_B_4 + Abort_Check_Sources_B_5 + Abort_Check_Sources_B_6 + Abort_Check_Sources_B_7 + Abort_Check_Sources_B_8)
lola: LP says that atomic proposition is always true: (Abort_Check_Sources_E_1 + Abort_Check_Sources_E_2 + Abort_Check_Sources_E_3 + Abort_Check_Sources_E_4 + Abort_Check_Sources_E_5 + Abort_Check_Sources_E_6 + Abort_Check_Sources_E_7 + Abort_Check_Sources_E_8 <= cIdleTasks)
lola: LP says that atomic proposition is always false: (2 <= Try_Check_Sources_B_1)
lola: LP says that atomic proposition is always false: (2 <= ScheduleTaskE_Work_5_3)
lola: LP says that atomic proposition is always false: (3 <= P_1119_7_2)
lola: LP says that atomic proposition is always false: (2 <= NotifyEventJobQueuedB_3_3)
lola: LP says that atomic proposition is always false: (3 <= ScheduleTaskE_Work_7_1)
lola: LP says that atomic proposition is always false: (2 <= FetchJobE_2_0)
lola: A (G (())) : A (G ((NotifyEventEndOfCheckSourcesE_1 + NotifyEventEndOfCheckSourcesE_2 + NotifyEventEndOfCheckSourcesE_3 + NotifyEventEndOfCheckSourcesE_4 + NotifyEventEndOfCheckSourcesE_5 + NotifyEventEndOfCheckSourcesE_6 + NotifyEventEndOfCheckSourcesE_7 + NotifyEventEndOfCheckSourcesE_8 <= SigAbort))) : E (F ((((RunB_1 + RunB_2 + RunB_3 + RunB_4 + RunB_5 + RunB_6 + RunB_7 + RunB_8 + 1 <= P_1160_7 + P_1160_6 + P_1160_5 + P_1160_4 + P_1160_3 + P_1160_2 + P_1160_1 + P_1160_8) OR (ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6 + ScheduleTaskE_Check_7 + ScheduleTaskE_Check_8 + 1 <= Abort_Check_Sources_B_1 + Abort_Check_Sources_B_2 + Abort_Check_Sources_B_3 + Abort_Check_Sources_B_4 + Abort_Check_Sources_B_5 + Abort_Check_Sources_B_6 + Abort_Check_Sources_B_7 + Abort_Check_Sources_B_8)) AND (((JobCnt <= P_1712_0 + P_1712_1 + P_1712_2 + P_1712_3 + P_1712_4) AND (P_1113_7 + P_1113_6 + P_1113_5 + P_1113_4 + P_1113_3 + P_1113_2 + P_1113_1 + P_1113_8 <= Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8)))))) : A (G ((SigAbort <= Check_Sources_B_1 + Check_Sources_B_2 + Check_Sources_B_3 + Check_Sources_B_4 + Check_Sources_B_5 + Check_Sources_B_6 + Check_Sources_B_7 + Check_Sources_B_8))) : A (G (((NotifyEventJobCompletedB_1 + NotifyEventJobCompletedB_2 + NotifyEventJobCompletedB_3 + NotifyEventJobCompletedB_4 + NotifyEventJobCompletedB_5 + NotifyEventJobCompletedB_6 + NotifyEventJobCompletedB_7 + NotifyEventJobCompletedB_8 + 1 <= cPollingAbort) OR (P_1726 + 1 <= Abort_Check_Sources_E_1 + Abort_Check_Sources_E_2 + Abort_Check_Sources_E_3 + Abort_Check_Sources_E_4 + Abort_Check_Sources_E_5 + Abort_Check_Sources_E_6 + Abort_Check_Sources_E_7 + Abort_Check_Sources_E_8) OR (1 <= ScheduleTaskE_Work_1_0 + ScheduleTaskE_Work_1_1 + ScheduleTaskE_Work_1_2 + ScheduleTaskE_Work_1_3 + ScheduleTaskE_Work_1_4 + ScheduleTaskE_Work_2_0 + ScheduleTaskE_Work_2_1 + ScheduleTaskE_Work_2_2 + ScheduleTaskE_Work_2_3 + ScheduleTaskE_Work_2_4 + ScheduleTaskE_Work_3_0 + ScheduleTaskE_Work_3_1 + ScheduleTaskE_Work_3_2 + ScheduleTaskE_Work_3_3 + ScheduleTaskE_Work_3_4 + ScheduleTaskE_Work_4_0 + ScheduleTaskE_Work_4_1 + ScheduleTaskE_Work_4_2 + ScheduleTaskE_Work_4_3 + ScheduleTaskE_Work_4_4 + ScheduleTaskE_Work_5_0 + ScheduleTaskE_Work_5_1 + ScheduleTaskE_Work_5_2 + ScheduleTaskE_Work_5_3 + ScheduleTaskE_Work_5_4 + ScheduleTaskE_Work_6_0 + ScheduleTaskE_Work_6_1 + ScheduleTaskE_Work_6_2 + ScheduleTaskE_Work_6_3 + ScheduleTaskE_Work_6_4 + ScheduleTaskE_Work_7_0 + ScheduleTaskE_Work_7_1 + ScheduleTaskE_Work_7_2 + ScheduleTaskE_Work_7_3 + ScheduleTaskE_Work_7_4 + ScheduleTaskE_Work_8_0 + ScheduleTaskE_Work_8_1 + ScheduleTaskE_Work_8_2 + ScheduleTaskE_Work_8_3 + ScheduleTaskE_Work_8_4)))) : E (F (FALSE)) : A (G (TRUE)) : E (F ((((1 <= NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6 + NotifyEventJobCompletedE_7 + NotifyEventJobCompletedE_8))))) : E (F ((ScheduleTaskE_Work_6_4 + 1 <= P_2579_5_1))) : E (F (FALSE)) : A (G (((AbourtToModifySrc_1 <= ProcessingEvt_3) OR (TryAllocateOneTaskE_8 <= P_2318_8) OR (2 <= TryAllocateOneTaskE_8)))) : E (F (())) : A (G ((((1 <= P_1155_8) OR (1 <= ScheduleTaskE_Work_8_4) OR (NotifyEventJobQueuedE_8 <= ScheduleTaskE_Work_2_3) OR (1 <= TryAllocateOneTaskE_6)) AND ((RunB_4 <= EnablePollingE_6) OR (Check_Sources_B_6 + 1 <= QueueJobB_2_1))))) : A (G ((((FetchJobB_6 <= TryAllocateOneTaskB_2) AND (FetchJobE_3_4 <= Perform_Work_E_4)) OR ((AwakeTasks_1 <= AbourtToModifySrc_2) AND (1 <= ScheduleTaskE_Work_7_1)) OR (DisablePollingE_2_1 + 1 <= QueueJobB_3_2)))) : E (F (FALSE)) : E (F ((3 <= P_1160_3)))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 204 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: 18 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
check_solution: Constraint R1 = 4.63912739466e-310 is below its lower bound 1
check_solution: Constraint R2 = 0 is above its equality of -1
check_solution: Constraint R3 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 0.333333)

FORMULA PolyORBLF-PT-S02J04T08-ReachabilityCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA PolyORBLF-PT-S02J04T08-ReachabilityCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

lola: subprocess 2 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: 18 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-PT-S02J04T08-ReachabilityCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 252 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: 18 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola:
FORMULA PolyORBLF-PT-S02J04T08-ReachabilityCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 4 will run for 273 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: 18 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola:
FORMULA PolyORBLF-PT-S02J04T08-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 18 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-PT-S02J04T08-ReachabilityCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= P_1160_3)))
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 ((3 <= P_1160_3)))
lola: processed formula length: 23
lola: 19 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= P_1160_3)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-PT-S02J04T08-ReachabilityCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-PT-S02J04T08-ReachabilityCardinality-6-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 109122 markings, 129100 edges, 21824 markings/sec, 0 secs
lola: sara is running 5 secs || 216249 markings, 257400 edges, 21425 markings/sec, 5 secs
lola: sara is running 10 secs || 322905 markings, 385600 edges, 21331 markings/sec, 10 secs
lola: sara is running 15 secs || 429595 markings, 513156 edges, 21338 markings/sec, 15 secs
lola: sara is running 20 secs || 535860 markings, 640884 edges, 21253 markings/sec, 20 secs
lola: sara is running 25 secs || 641634 markings, 769128 edges, 21155 markings/sec, 25 secs
lola: sara is running 30 secs || 747248 markings, 896722 edges, 21123 markings/sec, 30 secs
lola: sara is running 35 secs || 852462 markings, 1023984 edges, 21043 markings/sec, 35 secs
lola: sara is running 40 secs || 958218 markings, 1152831 edges, 21151 markings/sec, 40 secs
lola: sara is running 45 secs || 1063954 markings, 1281194 edges, 21147 markings/sec, 45 secs
lola: sara is running 50 secs || 1169476 markings, 1408968 edges, 21104 markings/sec, 50 secs
lola: sara is running 55 secs || 1274826 markings, 1537047 edges, 21070 markings/sec, 55 secs
lola: sara is running 60 secs || 1380725 markings, 1665976 edges, 21180 markings/sec, 60 secs
lola: sara is running 65 secs || 1491064 markings, 1799448 edges, 22068 markings/sec, 65 secs
lola: sara is running 70 secs || 1600680 markings, 1933028 edges, 21923 markings/sec, 70 secs
lola: sara is running 75 secs || 1710129 markings, 2066544 edges, 21890 markings/sec, 75 secs
lola: sara is running 80 secs || 1820054 markings, 2200184 edges, 21985 markings/sec, 80 secs
lola: sara is running 85 secs || 1930126 markings, 2334223 edges, 22014 markings/sec, 85 secs
lola: sara is running 90 secs || 2039047 markings, 2466860 edges, 21784 markings/sec, 90 secs
lola: sara is running 95 secs || 2148655 markings, 2600096 edges, 21922 markings/sec, 95 secs
lola: sara is running 100 secs || 2258316 markings, 2734308 edges, 21932 markings/sec, 100 secs
lola: sara is running 105 secs || 2367737 markings, 2867797 edges, 21884 markings/sec, 105 secs
lola: sara is running 110 secs || 2477259 markings, 3002381 edges, 21904 markings/sec, 110 secs
lola: sara is running 115 secs || 2583560 markings, 3132218 edges, 21260 markings/sec, 115 secs
lola: sara is running 120 secs || 2692730 markings, 3265496 edges, 21834 markings/sec, 120 secs
lola: sara is running 125 secs || 2802043 markings, 3399063 edges, 21863 markings/sec, 125 secs
lola: sara is running 130 secs || 2906007 markings, 3527450 edges, 20793 markings/sec, 130 secs
lola: sara is running 135 secs || 3010041 markings, 3655134 edges, 20807 markings/sec, 135 secs
lola: sara is running 140 secs || 3113997 markings, 3781465 edges, 20791 markings/sec, 140 secs
lola: sara is running 145 secs || 3217738 markings, 3908479 edges, 20748 markings/sec, 145 secs
lola: sara is running 150 secs || 3321802 markings, 4034491 edges, 20813 markings/sec, 150 secs
lola: sara is running 155 secs || 3425313 markings, 4161501 edges, 20702 markings/sec, 155 secs
lola: sara is running 160 secs || 3528916 markings, 4287773 edges, 20721 markings/sec, 160 secs
lola: sara is running 165 secs || 3632316 markings, 4415614 edges, 20680 markings/sec, 165 secs
lola: sara is running 170 secs || 3735773 markings, 4541054 edges, 20691 markings/sec, 170 secs
lola: sara is running 175 secs || 3839921 markings, 4667716 edges, 20830 markings/sec, 175 secs
lola: sara is running 180 secs || 3943207 markings, 4793821 edges, 20657 markings/sec, 180 secs
lola: sara is running 185 secs || 4046221 markings, 4919424 edges, 20603 markings/sec, 185 secs
lola: sara is running 190 secs || 4149228 markings, 5045197 edges, 20601 markings/sec, 190 secs
lola: sara is running 195 secs || 4252273 markings, 5170706 edges, 20609 markings/sec, 195 secs
lola: sara is running 200 secs || 4355175 markings, 5297030 edges, 20580 markings/sec, 200 secs
lola: sara is running 205 secs || 4457966 markings, 5422259 edges, 20558 markings/sec, 205 secs
lola: sara is running 210 secs || 4560874 markings, 5548606 edges, 20582 markings/sec, 210 secs
lola: sara is running 215 secs || 4663637 markings, 5674730 edges, 20553 markings/sec, 215 secs
lola: sara is running 220 secs || 4766240 markings, 5800133 edges, 20521 markings/sec, 220 secs
lola: sara is running 225 secs || 4868840 markings, 5925811 edges, 20520 markings/sec, 225 secs
lola: sara is running 230 secs || 4974066 markings, 6054474 edges, 21045 markings/sec, 230 secs
lola: sara is running 235 secs || 5081138 markings, 6185538 edges, 21414 markings/sec, 235 secs
lola: sara is running 240 secs || 5188371 markings, 6316709 edges, 21447 markings/sec, 240 secs
lola: sara is running 245 secs || 5295833 markings, 6447734 edges, 21492 markings/sec, 245 secs
lola: sara is running 250 secs || 5401718 markings, 6577594 edges, 21177 markings/sec, 250 secs
lola: sara is running 255 secs || 5510716 markings, 6711164 edges, 21800 markings/sec, 255 secs
lola: sara is running 260 secs || 5619149 markings, 6843646 edges, 21687 markings/sec, 260 secs
lola: sara is running 265 secs || 5722371 markings, 6970182 edges, 20644 markings/sec, 265 secs
lola: sara is running 270 secs || 5829992 markings, 7102024 edges, 21524 markings/sec, 270 secs
lola: sara is running 275 secs || 5938176 markings, 7233991 edges, 21637 markings/sec, 275 secs
lola: sara is running 280 secs || 6045545 markings, 7365110 edges, 21474 markings/sec, 280 secs
lola: sara is running 285 secs || 6148808 markings, 7491009 edges, 20653 markings/sec, 285 secs
lola: sara is running 290 secs || 6251505 markings, 7617442 edges, 20539 markings/sec, 290 secs
lola: sara is running 295 secs || 6357852 markings, 7747272 edges, 21269 markings/sec, 295 secs
lola: sara is running 300 secs || 6461860 markings, 7874494 edges, 20802 markings/sec, 300 secs
lola: sara is running 305 secs || 6564104 markings, 8000482 edges, 20449 markings/sec, 305 secs
lola: sara is running 310 secs || 6666525 markings, 8124704 edges, 20484 markings/sec, 310 secs
lola: sara is running 315 secs || 6769144 markings, 8249947 edges, 20524 markings/sec, 315 secs
lola: sara is running 320 secs || 6871211 markings, 8375640 edges, 20413 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown unknown unknown unknown no yes unknown unknown no unknown no unknown unknown no unknown
lola: memory consumption: 853032 KB
lola: time consumption: 620 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((ScheduleTaskE_Work_6_4 + 1 <= P_2579_5_1)))
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 ((ScheduleTaskE_Work_6_4 + 1 <= P_2579_5_1)))
lola: processed formula length: 50
lola: 19 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (ScheduleTaskE_Work_6_4 + 1 <= P_2579_5_1)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-PT-S02J04T08-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-PT-S02J04T08-ReachabilityCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 113088 markings, 129780 edges, 22618 markings/sec, 0 secs
lola: sara is running 5 secs || 224878 markings, 259155 edges, 22358 markings/sec, 5 secs
lola: sara is running 10 secs || 335521 markings, 390282 edges, 22129 markings/sec, 10 secs
lola: sara is running 15 secs || 446217 markings, 522503 edges, 22139 markings/sec, 15 secs
lola: sara is running 20 secs || 556708 markings, 654414 edges, 22098 markings/sec, 20 secs
lola: sara is running 25 secs || 667370 markings, 786077 edges, 22132 markings/sec, 25 secs
lola: sara is running 30 secs || 777688 markings, 916087 edges, 22064 markings/sec, 30 secs
lola: sara is running 35 secs || 886985 markings, 1047170 edges, 21859 markings/sec, 35 secs
lola: sara is running 40 secs || 995861 markings, 1179147 edges, 21775 markings/sec, 40 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 1063289 markings, 1259491 edges
lola: ========================================

FORMULA PolyORBLF-PT-S02J04T08-ReachabilityCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((AbourtToModifySrc_1 <= ProcessingEvt_3) OR (TryAllocateOneTaskE_8 <= P_2318_8) OR (2 <= TryAllocateOneTaskE_8))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((AbourtToModifySrc_1 <= ProcessingEvt_3) OR (TryAllocateOneTaskE_8 <= P_2318_8) OR (2 <= TryAllocateOneTaskE_8))))
lola: processed formula length: 123
lola: 20 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((ProcessingEvt_3 + 1 <= AbourtToModifySrc_1) AND (P_2318_8 + 1 <= TryAllocateOneTaskE_8) AND (TryAllocateOneTaskE_8 <= 1))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-PT-S02J04T08-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-PT-S02J04T08-ReachabilityCardinality-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 119187 markings, 142550 edges, 23837 markings/sec, 0 secs
lola: sara is running 5 secs || 237279 markings, 286355 edges, 23618 markings/sec, 5 secs
lola: sara is running 10 secs || 354790 markings, 429386 edges, 23502 markings/sec, 10 secs
lola: sara is running 15 secs || 469569 markings, 568602 edges, 22956 markings/sec, 15 secs
lola: sara is running 20 secs || 586592 markings, 711846 edges, 23405 markings/sec, 20 secs
lola: sara is running 25 secs || 703577 markings, 856347 edges, 23397 markings/sec, 25 secs
lola: sara is running 30 secs || 820385 markings, 1001187 edges, 23362 markings/sec, 30 secs
lola: sara is running 35 secs || 936656 markings, 1145581 edges, 23254 markings/sec, 35 secs
lola: sara is running 40 secs || 1053172 markings, 1289630 edges, 23303 markings/sec, 40 secs
lola: sara is running 45 secs || 1169868 markings, 1434527 edges, 23339 markings/sec, 45 secs
lola: sara is running 50 secs || 1286549 markings, 1578618 edges, 23336 markings/sec, 50 secs
lola: sara is running 55 secs || 1402682 markings, 1723221 edges, 23227 markings/sec, 55 secs
lola: sara is running 60 secs || 1518920 markings, 1866928 edges, 23248 markings/sec, 60 secs
lola: sara is running 65 secs || 1634949 markings, 2010943 edges, 23206 markings/sec, 65 secs
lola: sara is running 70 secs || 1749848 markings, 2152470 edges, 22980 markings/sec, 70 secs
lola: sara is running 75 secs || 1867722 markings, 2296884 edges, 23575 markings/sec, 75 secs
lola: sara is running 80 secs || 1983252 markings, 2440467 edges, 23106 markings/sec, 80 secs
lola: sara is running 85 secs || 2099095 markings, 2582808 edges, 23169 markings/sec, 85 secs
lola: sara is running 90 secs || 2214554 markings, 2725620 edges, 23092 markings/sec, 90 secs
lola: sara is running 95 secs || 2329522 markings, 2868411 edges, 22994 markings/sec, 95 secs
lola: sara is running 100 secs || 2445437 markings, 3011539 edges, 23183 markings/sec, 100 secs
lola: sara is running 105 secs || 2556242 markings, 3148377 edges, 22161 markings/sec, 105 secs
lola: sara is running 110 secs || 2670912 markings, 3290661 edges, 22934 markings/sec, 110 secs
lola: sara is running 115 secs || 2786114 markings, 3433781 edges, 23040 markings/sec, 115 secs
lola: sara is running 120 secs || 2901628 markings, 3576569 edges, 23103 markings/sec, 120 secs
lola: sara is running 125 secs || 3017125 markings, 3719175 edges, 23099 markings/sec, 125 secs
lola: sara is running 130 secs || 3131753 markings, 3860729 edges, 22926 markings/sec, 130 secs
lola: sara is running 135 secs || 3245793 markings, 4002343 edges, 22808 markings/sec, 135 secs
lola: sara is running 140 secs || 3360420 markings, 4144846 edges, 22925 markings/sec, 140 secs
lola: sara is running 145 secs || 3475143 markings, 4286089 edges, 22945 markings/sec, 145 secs
lola: sara is running 150 secs || 3589929 markings, 4427559 edges, 22957 markings/sec, 150 secs
lola: sara is running 155 secs || 3704520 markings, 4569155 edges, 22918 markings/sec, 155 secs
lola: sara is running 160 secs || 3819351 markings, 4712295 edges, 22966 markings/sec, 160 secs
lola: sara is running 165 secs || 3933739 markings, 4855580 edges, 22878 markings/sec, 165 secs
lola: sara is running 170 secs || 4047906 markings, 4998265 edges, 22833 markings/sec, 170 secs
lola: sara is running 175 secs || 4161896 markings, 5140485 edges, 22798 markings/sec, 175 secs
lola: sara is running 180 secs || 4271288 markings, 5275779 edges, 21878 markings/sec, 180 secs
lola: sara is running 185 secs || 4385142 markings, 5416683 edges, 22771 markings/sec, 185 secs
lola: sara is running 190 secs || 4499062 markings, 5558849 edges, 22784 markings/sec, 190 secs
lola: sara is running 195 secs || 4613425 markings, 5701598 edges, 22873 markings/sec, 195 secs
lola: sara is running 200 secs || 4726446 markings, 5843151 edges, 22604 markings/sec, 200 secs
lola: sara is running 205 secs || 4841106 markings, 5985104 edges, 22932 markings/sec, 205 secs
lola: sara is running 210 secs || 4954072 markings, 6126710 edges, 22593 markings/sec, 210 secs
lola: sara is running 215 secs || 5067057 markings, 6264889 edges, 22597 markings/sec, 215 secs
lola: sara is running 220 secs || 5179102 markings, 6405462 edges, 22409 markings/sec, 220 secs
lola: sara is running 225 secs || 5292507 markings, 6545414 edges, 22681 markings/sec, 225 secs
lola: sara is running 230 secs || 5406585 markings, 6687344 edges, 22816 markings/sec, 230 secs
lola: sara is running 235 secs || 5520107 markings, 6829744 edges, 22704 markings/sec, 235 secs
lola: sara is running 240 secs || 5633089 markings, 6970554 edges, 22596 markings/sec, 240 secs
lola: sara is running 245 secs || 5743403 markings, 7108763 edges, 22063 markings/sec, 245 secs
lola: sara is running 250 secs || 5848918 markings, 7239142 edges, 21103 markings/sec, 250 secs
lola: sara is running 255 secs || 5954326 markings, 7370450 edges, 21082 markings/sec, 255 secs
lola: sara is running 260 secs || 6059768 markings, 7501102 edges, 21088 markings/sec, 260 secs
lola: sara is running 265 secs || 6170177 markings, 7639635 edges, 22082 markings/sec, 265 secs
lola: sara is running 270 secs || 6280333 markings, 7777505 edges, 22031 markings/sec, 270 secs
lola: sara is running 275 secs || 6391925 markings, 7915737 edges, 22318 markings/sec, 275 secs
lola: sara is running 280 secs || 6503386 markings, 8055383 edges, 22292 markings/sec, 280 secs
lola: sara is running 285 secs || 6614186 markings, 8192592 edges, 22160 markings/sec, 285 secs
lola: sara is running 290 secs || 6719205 markings, 8323485 edges, 21004 markings/sec, 290 secs
lola: sara is running 295 secs || 6823770 markings, 8452556 edges, 20913 markings/sec, 295 secs
lola: sara is running 300 secs || 6933619 markings, 8589694 edges, 21970 markings/sec, 300 secs
lola: sara is running 305 secs || 7044309 markings, 8727409 edges, 22138 markings/sec, 305 secs
lola: sara is running 310 secs || 7155343 markings, 8866083 edges, 22207 markings/sec, 310 secs
lola: sara is running 315 secs || 7265857 markings, 9001933 edges, 22103 markings/sec, 315 secs
lola: sara is running 320 secs || 7376184 markings, 9138392 edges, 22065 markings/sec, 320 secs
lola: sara is running 325 secs || 7484665 markings, 9274246 edges, 21696 markings/sec, 325 secs
lola: sara is running 330 secs || 7589844 markings, 9404649 edges, 21036 markings/sec, 330 secs
lola: sara is running 335 secs || 7694825 markings, 9535410 edges, 20996 markings/sec, 335 secs
lola: sara is running 340 secs || 7801700 markings, 9668443 edges, 21375 markings/sec, 340 secs
lola: sara is running 345 secs || 7910786 markings, 9805149 edges, 21817 markings/sec, 345 secs
lola: sara is running 350 secs || 8018778 markings, 9940021 edges, 21598 markings/sec, 350 secs
lola: sara is running 355 secs || 8128194 markings, 10076380 edges, 21883 markings/sec, 355 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown unknown unknown unknown no yes unknown yes no unknown no unknown unknown no unknown
lola: memory consumption: 993268 KB
lola: time consumption: 1030 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6 + NotifyEventJobCompletedE_7 + NotifyEventJobCompletedE_8)))))
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 <= NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6 + NotifyEventJobCompletedE_7 + NotifyEventJobCompletedE_8)))))
lola: processed formula length: 248
lola: 19 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (((1 <= NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6 + NotifyEventJobCompletedE_7 + NotifyEventJobCompletedE_8)))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-PT-S02J04T08-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-PT-S02J04T08-ReachabilityCardinality-9-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 50 markings, 49 edges
lola: ========================================

FORMULA PolyORBLF-PT-S02J04T08-ReachabilityCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 423 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((1 <= P_1155_8) OR (1 <= ScheduleTaskE_Work_8_4) OR (NotifyEventJobQueuedE_8 <= ScheduleTaskE_Work_2_3) OR (1 <= TryAllocateOneTaskE_6)) AND ((RunB_4 <= EnablePollingE_6) OR (Check_Sources_B_6 + 1 <= QueueJobB_2_1)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((((1 <= P_1155_8) OR (1 <= ScheduleTaskE_Work_8_4) OR (NotifyEventJobQueuedE_8 <= ScheduleTaskE_Work_2_3) OR (1 <= TryAllocateOneTaskE_6)) AND ((RunB_4 <= EnablePollingE_6) OR (Check_Sources_B_6 + 1 <= QueueJobB_2_1)))))
lola: processed formula length: 230
lola: 20 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((P_1155_8 <= 0) AND (ScheduleTaskE_Work_8_4 <= 0) AND (ScheduleTaskE_Work_2_3 + 1 <= NotifyEventJobQueuedE_8) AND (TryAllocateOneTaskE_6 <= 0)) OR ((EnablePollingE_6 + 1 <= RunB_4) AND (QueueJobB_2_1 <= Check_Sources_B_6)))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-PT-S02J04T08-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-PT-S02J04T08-ReachabilityCardinality-10-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 134 markings, 133 edges
lola: ========================================

FORMULA PolyORBLF-PT-S02J04T08-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((FetchJobB_6 <= TryAllocateOneTaskB_2) AND (FetchJobE_3_4 <= Perform_Work_E_4)) OR ((AwakeTasks_1 <= AbourtToModifySrc_2) AND (1 <= ScheduleTaskE_Work_7_1)) OR (DisablePollingE_2_1 + 1 <= QueueJobB_3_2))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((((FetchJobB_6 <= TryAllocateOneTaskB_2) AND (FetchJobE_3_4 <= Perform_Work_E_4)) OR ((AwakeTasks_1 <= AbourtToModifySrc_2) AND (1 <= ScheduleTaskE_Work_7_1)) OR (DisablePollingE_2_1 + 1 <= QueueJobB_3_2))))
lola: processed formula length: 215
lola: 20 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (((TryAllocateOneTaskB_2 + 1 <= FetchJobB_6) OR (Perform_Work_E_4 + 1 <= FetchJobE_3_4)) AND ((AbourtToModifySrc_2 + 1 <= AwakeTasks_1) OR (ScheduleTaskE_Work_7_1 <= 0)) AND (QueueJobB_3_2 <= DisablePollingE_2_1))
lola: state equation: Generated DNF with 12 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-PT-S02J04T08-ReachabilityCardinality-11-0.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-PT-S02J04T08-ReachabilityCardinality-11-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 181 markings, 180 edges
lola: ========================================

FORMULA PolyORBLF-PT-S02J04T08-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 635 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((SigAbort <= Check_Sources_B_1 + Check_Sources_B_2 + Check_Sources_B_3 + Check_Sources_B_4 + Check_Sources_B_5 + Check_Sources_B_6 + Check_Sources_B_7 + Check_Sources_B_8)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((SigAbort <= Check_Sources_B_1 + Check_Sources_B_2 + Check_Sources_B_3 + Check_Sources_B_4 + Check_Sources_B_5 + Check_Sources_B_6 + Check_Sources_B_7 + Check_Sources_B_8)))
lola: processed formula length: 179
lola: 20 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (Check_Sources_B_1 + Check_Sources_B_2 + Check_Sources_B_3 + Check_Sources_B_4 + Check_Sources_B_5 + Check_Sources_B_6 + Check_Sources_B_7 + Check_Sources_B_8 + 1 <= SigAbort)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-PT-S02J04T08-ReachabilityCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-PT-S02J04T08-ReachabilityCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 113593 markings, 129347 edges
lola: ========================================

FORMULA PolyORBLF-PT-S02J04T08-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 845 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NotifyEventEndOfCheckSourcesE_1 + NotifyEventEndOfCheckSourcesE_2 + NotifyEventEndOfCheckSourcesE_3 + NotifyEventEndOfCheckSourcesE_4 + NotifyEventEndOfCheckSourcesE_5 + NotifyEventEndOfCheckSourcesE_6 + NotifyEventEndOfCheckSourcesE_7 + NotifyEventEndOfCheckSourcesE_8 <= SigAbort)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((NotifyEventEndOfCheckSourcesE_1 + NotifyEventEndOfCheckSourcesE_2 + NotifyEventEndOfCheckSourcesE_3 + NotifyEventEndOfCheckSourcesE_4 + NotifyEventEndOfCheckSourcesE_5 + NotifyEventEndOfCheckSourcesE_6 + NotifyEventEndOfCheckSourcesE_7 + NotifyEventEndOfCheckSourcesE_8 <= SigAbort)))
lola: processed formula length: 291
lola: 20 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (SigAbort + 1 <= NotifyEventEndOfCheckSourcesE_1 + NotifyEventEndOfCheckSourcesE_2 + NotifyEventEndOfCheckSourcesE_3 + NotifyEventEndOfCheckSourcesE_4 + NotifyEventEndOfCheckSourcesE_5 + NotifyEventEndOfCheckSourcesE_6 + NotifyEventEndOfCheckSourcesE_7 + NotifyEventEndOfCheckSourcesE_8)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-PT-S02J04T08-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 16 markings, 15 edges
lola: ========================================

FORMULA PolyORBLF-PT-S02J04T08-ReachabilityCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1267 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((RunB_1 + RunB_2 + RunB_3 + RunB_4 + RunB_5 + RunB_6 + RunB_7 + RunB_8 + 1 <= P_1160_7 + P_1160_6 + P_1160_5 + P_1160_4 + P_1160_3 + P_1160_2 + P_1160_1 + P_1160_8) OR (ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6 + ScheduleTaskE_Check_7 + ScheduleTaskE_Check_8 + 1 <= Abort_Check_Sources_B_1 +... (shortened)
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 ((((RunB_1 + RunB_2 + RunB_3 + RunB_4 + RunB_5 + RunB_6 + RunB_7 + RunB_8 + 1 <= P_1160_7 + P_1160_6 + P_1160_5 + P_1160_4 + P_1160_3 + P_1160_2 + P_1160_1 + P_1160_8) OR (ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6 + ScheduleTaskE_Check_7 + ScheduleTaskE_Check_8 + 1 <= Abort_Check_Sources_B_1 +... (shortened)
lola: processed formula length: 911
lola: 19 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (((RunB_1 + RunB_2 + RunB_3 + RunB_4 + RunB_5 + RunB_6 + RunB_7 + RunB_8 + 1 <= P_1160_7 + P_1160_6 + P_1160_5 + P_1160_4 + P_1160_3 + P_1160_2 + P_1160_1 + P_1160_8) OR (ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6 + ScheduleTaskE_Check_7 + ScheduleTaskE_Check_8 + 1 <= Abort_Check_Sources_B_1 + Abort_Check_Sources_B_2 + Abort_Check_Sources_B_3 + Abort_Check_Sources_B_4 + Abort_Check_Sources_B_5 + Abort_Check_Sources_B_6 + Abort_Check_Sources_B_7 + Abort_Check_Sources_B_8)) AND (((JobCnt <= P_1712_0 + P_1712_1 + P_1712_2 + P_1712_3 + P_1712_4) AND (P_1113_7 + P_1113_6 + P_1113_5 + P_1113_4 + P_1113_3 + P_1113_2 + P_1113_1 + P_1113_8 <= Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8))))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-PT-S02J04T08-ReachabilityCardinality-14-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: 31 markings, 30 edges
lola: ========================================

FORMULA PolyORBLF-PT-S02J04T08-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NotifyEventJobCompletedB_1 + NotifyEventJobCompletedB_2 + NotifyEventJobCompletedB_3 + NotifyEventJobCompletedB_4 + NotifyEventJobCompletedB_5 + NotifyEventJobCompletedB_6 + NotifyEventJobCompletedB_7 + NotifyEventJobCompletedB_8 + 1 <= cPollingAbort) OR (P_1726 + 1 <= Abort_Check_Sources_E_1 + Abort_Check_Sources_E_2 + Abort_Check_Sources_E_3 + Abort_Check_Sources_E_4 + Abort_Check_Sourc... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((NotifyEventJobCompletedB_1 + NotifyEventJobCompletedB_2 + NotifyEventJobCompletedB_3 + NotifyEventJobCompletedB_4 + NotifyEventJobCompletedB_5 + NotifyEventJobCompletedB_6 + NotifyEventJobCompletedB_7 + NotifyEventJobCompletedB_8 + 1 <= cPollingAbort) OR (P_1726 + 1 <= Abort_Check_Sources_E_1 + Abort_Check_Sources_E_2 + Abort_Check_Sources_E_3 + Abort_Check_Sources_E_4 + Abort_Check_Sourc... (shortened)
lola: processed formula length: 1497
lola: 20 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((cPollingAbort <= NotifyEventJobCompletedB_1 + NotifyEventJobCompletedB_2 + NotifyEventJobCompletedB_3 + NotifyEventJobCompletedB_4 + NotifyEventJobCompletedB_5 + NotifyEventJobCompletedB_6 + NotifyEventJobCompletedB_7 + NotifyEventJobCompletedB_8) AND (Abort_Check_Sources_E_1 + Abort_Check_Sources_E_2 + Abort_Check_Sources_E_3 + Abort_Check_Sources_E_4 + Abort_Check_Sources_E_5 + Abort_Check_Sources_E_6 + Abort_Check_Sources_E_7 + Abort_Check_Sources_E_8 <= P_1726) AND (ScheduleTaskE_Work_1_0 + ScheduleTaskE_Work_1_1 + ScheduleTaskE_Work_1_2 + ScheduleTaskE_Work_1_3 + ScheduleTaskE_Work_1_4 + ScheduleTaskE_Work_2_0 + ScheduleTaskE_Work_2_1 + ScheduleTaskE_Work_2_2 + ScheduleTaskE_Work_2_3 + ScheduleTaskE_Work_2_4 + ScheduleTaskE_Work_3_0 + ScheduleTaskE_Work_3_1 + ScheduleTaskE_Work_3_2 + ScheduleTaskE_Work_3_3 + ScheduleTaskE_Work_3_4 + ScheduleTaskE_Work_4_0 + ScheduleTaskE_Work_4_1 + ScheduleTaskE_Work_4_2 + ScheduleTaskE_Work_4_3 + ScheduleTaskE_Work_4_4 + ScheduleTaskE_Work_5_0 + ScheduleTaskE_Work_5_1 + ScheduleTaskE_Work_5_2 + ScheduleTaskE_Work_5_3 + ScheduleTaskE_Work_5_4 + ScheduleTaskE_Work_6_0 + ScheduleTaskE_Work_6_1 + ScheduleTaskE_Work_6_2 + ScheduleTaskE_Work_6_3 + ScheduleTaskE_Work_6_4 + ScheduleTaskE_Work_7_0 + ScheduleTaskE_Work_7_1 + ScheduleTaskE_Work_7_2 + ScheduleTaskE_Work_7_3 + ScheduleTaskE_Work_7_4 + ScheduleTaskE_Work_8_0 + ScheduleTaskE_Work_8_1 + ScheduleTaskE_Work_8_2 + ScheduleTaskE_Work_8_3 + ScheduleTaskE_Work_8_4 <= 0))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-PT-S02J04T08-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-PT-S02J04T08-ReachabilityCardinality-15-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 38 markings, 37 edges

FORMULA PolyORBLF-PT-S02J04T08-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= P_1160_3)))
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 ((3 <= P_1160_3)))
lola: processed formula length: 23
lola: 19 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T08-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (3 <= P_1160_3)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-PT-S02J04T08-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-PT-S02J04T08-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 112931 markings, 133614 edges, 22586 markings/sec, 0 secs
lola: sara is running 5 secs || 223563 markings, 266186 edges, 22126 markings/sec, 5 secs
lola: sara is running 10 secs || 334030 markings, 398891 edges, 22093 markings/sec, 10 secs
lola: sara is running 15 secs || 445524 markings, 532515 edges, 22299 markings/sec, 15 secs
lola: sara is running 20 secs || 556780 markings, 666227 edges, 22251 markings/sec, 20 secs
lola: sara is running 25 secs || 667668 markings, 800570 edges, 22178 markings/sec, 25 secs
lola: sara is running 30 secs || 778166 markings, 934124 edges, 22100 markings/sec, 30 secs
lola: sara is running 35 secs || 888659 markings, 1068300 edges, 22099 markings/sec, 35 secs
lola: sara is running 40 secs || 998477 markings, 1202097 edges, 21964 markings/sec, 40 secs
lola: sara is running 45 secs || 1108478 markings, 1335110 edges, 22000 markings/sec, 45 secs
lola: sara is running 50 secs || 1218293 markings, 1468086 edges, 21963 markings/sec, 50 secs
lola: sara is running 55 secs || 1327815 markings, 1601183 edges, 21904 markings/sec, 55 secs
lola: sara is running 60 secs || 1437215 markings, 1734417 edges, 21880 markings/sec, 60 secs
lola: sara is running 65 secs || 1547286 markings, 1868074 edges, 22014 markings/sec, 65 secs
lola: sara is running 70 secs || 1656513 markings, 2001017 edges, 21845 markings/sec, 70 secs
lola: sara is running 75 secs || 1765528 markings, 2133653 edges, 21803 markings/sec, 75 secs
lola: sara is running 80 secs || 1874783 markings, 2266878 edges, 21851 markings/sec, 80 secs
lola: sara is running 85 secs || 1978354 markings, 2392795 edges, 20714 markings/sec, 85 secs
lola: sara is running 90 secs || 2081830 markings, 2518810 edges, 20695 markings/sec, 90 secs
lola: sara is running 95 secs || 2185419 markings, 2644827 edges, 20718 markings/sec, 95 secs
lola: sara is running 100 secs || 2288717 markings, 2770935 edges, 20660 markings/sec, 100 secs
lola: sara is running 105 secs || 2391693 markings, 2897223 edges, 20595 markings/sec, 105 secs
lola: sara is running 110 secs || 2495036 markings, 3023974 edges, 20669 markings/sec, 110 secs
lola: sara is running 115 secs || 2601035 markings, 3153492 edges, 21200 markings/sec, 115 secs
lola: sara is running 120 secs || 2709002 markings, 3285428 edges, 21593 markings/sec, 120 secs
lola: sara is running 125 secs || 2817185 markings, 3418275 edges, 21637 markings/sec, 125 secs
lola: sara is running 130 secs || 2924601 markings, 3550412 edges, 21483 markings/sec, 130 secs
lola: sara is running 135 secs || 3032474 markings, 3682228 edges, 21575 markings/sec, 135 secs
lola: sara is running 140 secs || 3140121 markings, 3813678 edges, 21529 markings/sec, 140 secs
lola: sara is running 145 secs || 3247891 markings, 3945058 edges, 21554 markings/sec, 145 secs
lola: sara is running 150 secs || 3355683 markings, 4076183 edges, 21558 markings/sec, 150 secs
lola: sara is running 155 secs || 3463120 markings, 4207785 edges, 21487 markings/sec, 155 secs
lola: sara is running 160 secs || 3570694 markings, 4340159 edges, 21515 markings/sec, 160 secs
lola: sara is running 165 secs || 3678156 markings, 4471109 edges, 21492 markings/sec, 165 secs
lola: sara is running 170 secs || 3786830 markings, 4602575 edges, 21735 markings/sec, 170 secs
lola: sara is running 175 secs || 3894109 markings, 4733668 edges, 21456 markings/sec, 175 secs
lola: sara is running 180 secs || 4001789 markings, 4865363 edges, 21536 markings/sec, 180 secs
lola: sara is running 185 secs || 4107179 markings, 4993635 edges, 21078 markings/sec, 185 secs
lola: sara is running 190 secs || 4210517 markings, 5119591 edges, 20668 markings/sec, 190 secs
lola: sara is running 195 secs || 4313289 markings, 5245723 edges, 20554 markings/sec, 195 secs
lola: sara is running 200 secs || 4416171 markings, 5371185 edges, 20576 markings/sec, 200 secs
lola: sara is running 205 secs || 4518678 markings, 5497096 edges, 20501 markings/sec, 205 secs
lola: sara is running 210 secs || 4622172 markings, 5623557 edges, 20699 markings/sec, 210 secs
lola: sara is running 215 secs || 4725397 markings, 5749953 edges, 20645 markings/sec, 215 secs
lola: sara is running 220 secs || 4828547 markings, 5876649 edges, 20630 markings/sec, 220 secs
lola: sara is running 225 secs || 4931688 markings, 6002575 edges, 20628 markings/sec, 225 secs
lola: sara is running 230 secs || 5034865 markings, 6128954 edges, 20635 markings/sec, 230 secs
lola: sara is running 235 secs || 5137952 markings, 6254963 edges, 20617 markings/sec, 235 secs
lola: sara is running 240 secs || 5241310 markings, 6380736 edges, 20672 markings/sec, 240 secs
lola: sara is running 245 secs || 5344649 markings, 6507778 edges, 20668 markings/sec, 245 secs
lola: sara is running 250 secs || 5452914 markings, 6640339 edges, 21653 markings/sec, 250 secs
lola: sara is running 255 secs || 5562390 markings, 6774239 edges, 21895 markings/sec, 255 secs
lola: sara is running 260 secs || 5671802 markings, 6908323 edges, 21882 markings/sec, 260 secs
lola: sara is running 265 secs || 5780858 markings, 7041906 edges, 21811 markings/sec, 265 secs
lola: sara is running 270 secs || 5890120 markings, 7175489 edges, 21852 markings/sec, 270 secs
lola: sara is running 275 secs || 5999390 markings, 7308664 edges, 21854 markings/sec, 275 secs
lola: sara is running 280 secs || 6108508 markings, 7441707 edges, 21824 markings/sec, 280 secs
lola: sara is running 285 secs || 6217571 markings, 7575510 edges, 21813 markings/sec, 285 secs
lola: sara is running 290 secs || 6326861 markings, 7709052 edges, 21858 markings/sec, 290 secs
lola: sara is running 295 secs || 6435871 markings, 7842659 edges, 21802 markings/sec, 295 secs
lola: sara is running 300 secs || 6544972 markings, 7976920 edges, 21820 markings/sec, 300 secs
lola: sara is running 305 secs || 6654018 markings, 8109394 edges, 21809 markings/sec, 305 secs
lola: sara is running 310 secs || 6763091 markings, 8242461 edges, 21815 markings/sec, 310 secs
lola: sara is running 315 secs || 6870544 markings, 8374769 edges, 21491 markings/sec, 315 secs
lola: sara is running 320 secs || 6978153 markings, 8506406 edges, 21522 markings/sec, 320 secs
lola: sara is running 325 secs || 7086993 markings, 8639636 edges, 21768 markings/sec, 325 secs
lola: sara is running 330 secs || 7195870 markings, 8773191 edges, 21775 markings/sec, 330 secs
lola: sara is running 335 secs || 7304780 markings, 8906136 edges, 21782 markings/sec, 335 secs
lola: sara is running 340 secs || 7413749 markings, 9038848 edges, 21794 markings/sec, 340 secs
lola: sara is running 345 secs || 7522442 markings, 9172140 edges, 21739 markings/sec, 345 secs
lola: sara is running 350 secs || 7630098 markings, 9303887 edges, 21531 markings/sec, 350 secs
lola: sara is running 355 secs || 7731383 markings, 9428639 edges, 20257 markings/sec, 355 secs
lola: sara is running 360 secs || 7832883 markings, 9551906 edges, 20300 markings/sec, 360 secs
lola: sara is running 365 secs || 7934490 markings, 9675980 edges, 20321 markings/sec, 365 secs
lola: sara is running 370 secs || 8035870 markings, 9800259 edges, 20276 markings/sec, 370 secs
lola: sara is running 375 secs || 8141089 markings, 9929594 edges, 21044 markings/sec, 375 secs
lola: sara is running 380 secs || 8248035 markings, 10059512 edges, 21389 markings/sec, 380 secs
lola: sara is running 385 secs || 8354838 markings, 10190850 edges, 21361 markings/sec, 385 secs
lola: sara is running 390 secs || 8461740 markings, 10321863 edges, 21380 markings/sec, 390 secs
lola: sara is running 395 secs || 8568686 markings, 10452106 edges, 21389 markings/sec, 395 secs
lola: sara is running 400 secs || 8672836 markings, 10579664 edges, 20830 markings/sec, 400 secs
lola: sara is running 405 secs || 8775100 markings, 10705357 edges, 20453 markings/sec, 405 secs
lola: sara is running 410 secs || 8877579 markings, 10830543 edges, 20496 markings/sec, 410 secs
lola: sara is running 415 secs || 8980026 markings, 10956003 edges, 20489 markings/sec, 415 secs
lola: sara is running 420 secs || 9082613 markings, 11081677 edges, 20517 markings/sec, 420 secs
lola: sara is running 425 secs || 9189287 markings, 11211956 edges, 21335 markings/sec, 425 secs
lola: sara is running 430 secs || 9297795 markings, 11344620 edges, 21702 markings/sec, 430 secs
lola: sara is running 435 secs || 9406461 markings, 11477150 edges, 21733 markings/sec, 435 secs
lola: sara is running 440 secs || 9515426 markings, 11610633 edges, 21793 markings/sec, 440 secs
lola: sara is running 445 secs || 9623909 markings, 11743922 edges, 21697 markings/sec, 445 secs
lola: sara is running 450 secs || 9732525 markings, 11876897 edges, 21723 markings/sec, 450 secs
lola: sara is running 455 secs || 9840981 markings, 12009962 edges, 21691 markings/sec, 455 secs
lola: sara is running 460 secs || 9949648 markings, 12142985 edges, 21733 markings/sec, 460 secs
lola: sara is running 465 secs || 10057765 markings, 12275888 edges, 21623 markings/sec, 465 secs
lola: sara is running 470 secs || 10166022 markings, 12408049 edges, 21651 markings/sec, 470 secs
lola: sara is running 475 secs || 10273019 markings, 12539380 edges, 21399 markings/sec, 475 secs
lola: sara is running 480 secs || 10381265 markings, 12671804 edges, 21649 markings/sec, 480 secs
lola: sara is running 485 secs || 10489664 markings, 12803626 edges, 21680 markings/sec, 485 secs
lola: sara is running 490 secs || 10597910 markings, 12936132 edges, 21649 markings/sec, 490 secs
lola: sara is running 495 secs || 10705990 markings, 13068476 edges, 21616 markings/sec, 495 secs
lola: sara is running 500 secs || 10814258 markings, 13200812 edges, 21654 markings/sec, 500 secs
lola: sara is running 505 secs || 10922178 markings, 13333814 edges, 21584 markings/sec, 505 secs
lola: sara is running 510 secs || 11030327 markings, 13466089 edges, 21630 markings/sec, 510 secs
lola: sara is running 515 secs || 11138760 markings, 13599340 edges, 21687 markings/sec, 515 secs
lola: sara is running 520 secs || 11246867 markings, 13732448 edges, 21621 markings/sec, 520 secs
lola: sara is running 525 secs || 11355008 markings, 13865567 edges, 21628 markings/sec, 525 secs
lola: sara is running 530 secs || 11463020 markings, 13997521 edges, 21602 markings/sec, 530 secs
lola: sara is running 535 secs || 11570976 markings, 14130184 edges, 21591 markings/sec, 535 secs
lola: sara is running 540 secs || 11678973 markings, 14262720 edges, 21599 markings/sec, 540 secs
lola: sara is running 545 secs || 11787059 markings, 14395665 edges, 21617 markings/sec, 545 secs
lola: sara is running 550 secs || 11895294 markings, 14528389 edges, 21647 markings/sec, 550 secs
lola: sara is running 555 secs || 12003227 markings, 14661523 edges, 21587 markings/sec, 555 secs
lola: sara is running 560 secs || 12111106 markings, 14794203 edges, 21576 markings/sec, 560 secs
lola: sara is running 565 secs || 12219037 markings, 14926800 edges, 21586 markings/sec, 565 secs
lola: sara is running 570 secs || 12326993 markings, 15058740 edges, 21591 markings/sec, 570 secs
lola: sara is running 575 secs || 12435116 markings, 15191790 edges, 21625 markings/sec, 575 secs
lola: sara is running 580 secs || 12542744 markings, 15323959 edges, 21526 markings/sec, 580 secs
lola: sara is running 585 secs || 12650661 markings, 15455781 edges, 21583 markings/sec, 585 secs
lola: sara is running 590 secs || 12758687 markings, 15589059 edges, 21605 markings/sec, 590 secs
lola: sara is running 595 secs || 12866633 markings, 15721523 edges, 21589 markings/sec, 595 secs
lola: sara is running 600 secs || 12974361 markings, 15853249 edges, 21546 markings/sec, 600 secs
lola: sara is running 605 secs || 13082357 markings, 15986001 edges, 21599 markings/sec, 605 secs
lola: sara is running 610 secs || 13189840 markings, 16118565 edges, 21497 markings/sec, 610 secs
lola: sara is running 615 secs || 13297474 markings, 16250829 edges, 21527 markings/sec, 615 secs
lola: sara is running 620 secs || 13405587 markings, 16382960 edges, 21623 markings/sec, 620 secs
lola: sara is running 625 secs || 13513317 markings, 16515114 edges, 21546 markings/sec, 625 secs
lola: sara is running 630 secs || 13621035 markings, 16647654 edges, 21544 markings/sec, 630 secs
lola: sara is running 635 secs || 13728913 markings, 16780891 edges, 21576 markings/sec, 635 secs
lola: sara is running 640 secs || 13836728 markings, 16912805 edges, 21563 markings/sec, 640 secs
lola: sara is running 645 secs || 13943423 markings, 17044187 edges, 21339 markings/sec, 645 secs
lola: sara is running 650 secs || 14046749 markings, 17171438 edges, 20665 markings/sec, 650 secs
lola: sara is running 655 secs || 14149728 markings, 17298372 edges, 20596 markings/sec, 655 secs
lola: sara is running 660 secs || 14252729 markings, 17425071 edges, 20600 markings/sec, 660 secs
lola: sara is running 665 secs || 14355386 markings, 17550711 edges, 20531 markings/sec, 665 secs
lola: sara is running 670 secs || 14458037 markings, 17676900 edges, 20530 markings/sec, 670 secs
lola: sara is running 675 secs || 14560669 markings, 17802772 edges, 20526 markings/sec, 675 secs
lola: sara is running 680 secs || 14663692 markings, 17928901 edges, 20605 markings/sec, 680 secs
lola: sara is running 685 secs || 14766589 markings, 18056046 edges, 20579 markings/sec, 685 secs
lola: sara is running 690 secs || 14869238 markings, 18181998 edges, 20530 markings/sec, 690 secs
lola: sara is running 695 secs || 14972123 markings, 18308574 edges, 20577 markings/sec, 695 secs
lola: sara is running 700 secs || 15074914 markings, 18435476 edges, 20558 markings/sec, 700 secs
lola: sara is running 705 secs || 15177839 markings, 18561812 edges, 20585 markings/sec, 705 secs
lola: sara is running 710 secs || 15280894 markings, 18688810 edges, 20611 markings/sec, 710 secs
lola: sara is running 715 secs || 15383609 markings, 18815421 edges, 20543 markings/sec, 715 secs
lola: sara is running 720 secs || 15486475 markings, 18941635 edges, 20573 markings/sec, 720 secs
lola: sara is running 725 secs || 15589219 markings, 19068972 edges, 20549 markings/sec, 725 secs
lola: sara is running 730 secs || 15692347 markings, 19195752 edges, 20626 markings/sec, 730 secs
lola: sara is running 735 secs || 15795120 markings, 19321954 edges, 20555 markings/sec, 735 secs
lola: sara is running 740 secs || 15897914 markings, 19447884 edges, 20559 markings/sec, 740 secs
lola: sara is running 745 secs || 16000965 markings, 19574441 edges, 20610 markings/sec, 745 secs
lola: sara is running 750 secs || 16103914 markings, 19701728 edges, 20590 markings/sec, 750 secs
lola: sara is running 755 secs || 16206880 markings, 19828305 edges, 20593 markings/sec, 755 secs
lola: sara is running 760 secs || 16309809 markings, 19954671 edges, 20586 markings/sec, 760 secs
lola: sara is running 765 secs || 16412620 markings, 20081055 edges, 20562 markings/sec, 765 secs
lola: sara is running 770 secs || 16515502 markings, 20207926 edges, 20576 markings/sec, 770 secs
lola: sara is running 775 secs || 16618412 markings, 20334721 edges, 20582 markings/sec, 775 secs
lola: sara is running 780 secs || 16721476 markings, 20461054 edges, 20613 markings/sec, 780 secs
lola: sara is running 785 secs || 16824433 markings, 20588082 edges, 20591 markings/sec, 785 secs
lola: sara is running 790 secs || 16927327 markings, 20714763 edges, 20579 markings/sec, 790 secs
lola: sara is running 795 secs || 17030194 markings, 20841093 edges, 20573 markings/sec, 795 secs
lola: sara is running 800 secs || 17132923 markings, 20967817 edges, 20546 markings/sec, 800 secs
lola: sara is running 805 secs || 17235712 markings, 21095279 edges, 20558 markings/sec, 805 secs
lola: sara is running 810 secs || 17338656 markings, 21222830 edges, 20589 markings/sec, 810 secs
lola: sara is running 815 secs || 17441428 markings, 21349297 edges, 20554 markings/sec, 815 secs
lola: sara is running 820 secs || 17544064 markings, 21475379 edges, 20527 markings/sec, 820 secs
lola: sara is running 825 secs || 17646651 markings, 21602044 edges, 20517 markings/sec, 825 secs
lola: sara is running 830 secs || 17749325 markings, 21728541 edges, 20535 markings/sec, 830 secs
lola: sara is running 835 secs || 17852357 markings, 21855364 edges, 20606 markings/sec, 835 secs
lola: sara is running 840 secs || 17954753 markings, 21982285 edges, 20479 markings/sec, 840 secs
lola: sara is running 845 secs || 18057547 markings, 22108807 edges, 20559 markings/sec, 845 secs
lola: sara is running 850 secs || 18160194 markings, 22235330 edges, 20529 markings/sec, 850 secs
lola: sara is running 855 secs || 18262757 markings, 22361527 edges, 20513 markings/sec, 855 secs
lola: sara is running 860 secs || 18365642 markings, 22488282 edges, 20577 markings/sec, 860 secs
lola: sara is running 865 secs || 18468612 markings, 22614230 edges, 20594 markings/sec, 865 secs
lola: sara is running 870 secs || 18571330 markings, 22740764 edges, 20544 markings/sec, 870 secs
lola: sara is running 875 secs || 18674019 markings, 22867059 edges, 20538 markings/sec, 875 secs
lola: sara is running 880 secs || 18776749 markings, 22993333 edges, 20546 markings/sec, 880 secs
lola: sara is running 885 secs || 18879652 markings, 23120096 edges, 20581 markings/sec, 885 secs
lola: sara is running 890 secs || 18982582 markings, 23246525 edges, 20586 markings/sec, 890 secs
lola: sara is running 895 secs || 19085111 markings, 23372801 edges, 20506 markings/sec, 895 secs
lola: sara is running 900 secs || 19187665 markings, 23499025 edges, 20511 markings/sec, 900 secs
lola: sara is running 905 secs || 19290293 markings, 23625988 edges, 20526 markings/sec, 905 secs
lola: sara is running 910 secs || 19392942 markings, 23752460 edges, 20530 markings/sec, 910 secs
lola: sara is running 915 secs || 19495384 markings, 23878531 edges, 20488 markings/sec, 915 secs
lola: sara is running 920 secs || 19598108 markings, 24005414 edges, 20545 markings/sec, 920 secs
lola: sara is running 925 secs || 19700604 markings, 24131860 edges, 20499 markings/sec, 925 secs
lola: sara is running 930 secs || 19803321 markings, 24258991 edges, 20543 markings/sec, 930 secs
lola: sara is running 935 secs || 19906075 markings, 24384777 edges, 20551 markings/sec, 935 secs
lola: sara is running 940 secs || 20008806 markings, 24511744 edges, 20546 markings/sec, 940 secs
lola: sara is running 945 secs || 20111489 markings, 24638212 edges, 20537 markings/sec, 945 secs
lola: sara is running 950 secs || 20214115 markings, 24765651 edges, 20525 markings/sec, 950 secs
lola: sara is running 955 secs || 20316698 markings, 24891474 edges, 20517 markings/sec, 955 secs
lola: sara is running 960 secs || 20419375 markings, 25016976 edges, 20535 markings/sec, 960 secs
lola: sara is running 965 secs || 20521947 markings, 25142613 edges, 20514 markings/sec, 965 secs
lola: sara is running 970 secs || 20624554 markings, 25268333 edges, 20521 markings/sec, 970 secs
lola: sara is running 975 secs || 20727275 markings, 25394598 edges, 20544 markings/sec, 975 secs
lola: sara is running 980 secs || 20829893 markings, 25521413 edges, 20524 markings/sec, 980 secs
lola: sara is running 985 secs || 20933877 markings, 25649658 edges, 20797 markings/sec, 985 secs
lola: sara is running 990 secs || 21040859 markings, 25782220 edges, 21396 markings/sec, 990 secs
lola: sara is running 995 secs || 21148034 markings, 25913778 edges, 21435 markings/sec, 995 secs
lola: sara is running 1000 secs || 21254982 markings, 26045337 edges, 21390 markings/sec, 1000 secs
lola: sara is running 1005 secs || 21361960 markings, 26177287 edges, 21396 markings/sec, 1005 secs
lola: sara is running 1010 secs || 21466360 markings, 26305623 edges, 20880 markings/sec, 1010 secs
lola: sara is running 1015 secs || 21569174 markings, 26431630 edges, 20563 markings/sec, 1015 secs
lola: sara is running 1020 secs || 21671604 markings, 26557849 edges, 20486 markings/sec, 1020 secs
lola: sara is running 1025 secs || 21774139 markings, 26684424 edges, 20507 markings/sec, 1025 secs
lola: sara is running 1030 secs || 21876485 markings, 26811419 edges, 20469 markings/sec, 1030 secs
lola: sara is running 1035 secs || 21978906 markings, 26936824 edges, 20484 markings/sec, 1035 secs
lola: sara is running 1040 secs || 22081518 markings, 27062948 edges, 20522 markings/sec, 1040 secs
lola: sara is running 1045 secs || 22183732 markings, 27188756 edges, 20443 markings/sec, 1045 secs
lola: sara is running 1050 secs || 22285929 markings, 27314688 edges, 20439 markings/sec, 1050 secs
lola: sara is running 1055 secs || 22388242 markings, 27441177 edges, 20463 markings/sec, 1055 secs
lola: sara is running 1060 secs || 22491877 markings, 27568204 edges, 20727 markings/sec, 1060 secs
lola: sara is running 1065 secs || 22598955 markings, 27700017 edges, 21416 markings/sec, 1065 secs
lola: sara is running 1070 secs || 22706051 markings, 27832199 edges, 21419 markings/sec, 1070 secs
lola: sara is running 1075 secs || 22813161 markings, 27964583 edges, 21422 markings/sec, 1075 secs
lola: sara is running 1080 secs || 22919949 markings, 28096289 edges, 21358 markings/sec, 1080 secs
lola: sara is running 1085 secs || 23027054 markings, 28228073 edges, 21421 markings/sec, 1085 secs
lola: sara is running 1090 secs || 23134089 markings, 28359348 edges, 21407 markings/sec, 1090 secs
lola: sara is running 1095 secs || 23240999 markings, 28490779 edges, 21382 markings/sec, 1095 secs
lola: sara is running 1100 secs || 23347770 markings, 28622610 edges, 21354 markings/sec, 1100 secs
lola: sara is running 1105 secs || 23454843 markings, 28754859 edges, 21415 markings/sec, 1105 secs
lola: sara is running 1110 secs || 23561828 markings, 28886663 edges, 21397 markings/sec, 1110 secs
lola: sara is running 1115 secs || 23668639 markings, 29018663 edges, 21362 markings/sec, 1115 secs
lola: sara is running 1120 secs || 23775669 markings, 29151021 edges, 21406 markings/sec, 1120 secs
lola: sara is running 1125 secs || 23882641 markings, 29283355 edges, 21394 markings/sec, 1125 secs
lola: sara is running 1130 secs || 23989978 markings, 29414875 edges, 21467 markings/sec, 1130 secs
lola: sara is running 1135 secs || 24097064 markings, 29546962 edges, 21417 markings/sec, 1135 secs
lola: sara is running 1140 secs || 24204114 markings, 29678497 edges, 21410 markings/sec, 1140 secs
lola: sara is running 1145 secs || 24311275 markings, 29809836 edges, 21432 markings/sec, 1145 secs
lola: sara is running 1150 secs || 24417862 markings, 29941573 edges, 21317 markings/sec, 1150 secs
lola: sara is running 1155 secs || 24524631 markings, 30072966 edges, 21354 markings/sec, 1155 secs
lola: sara is running 1160 secs || 24631426 markings, 30204652 edges, 21359 markings/sec, 1160 secs
lola: sara is running 1165 secs || 24738083 markings, 30336227 edges, 21331 markings/sec, 1165 secs
lola: sara is running 1170 secs || 24844882 markings, 30467892 edges, 21360 markings/sec, 1170 secs
lola: sara is running 1175 secs || 24951671 markings, 30599028 edges, 21358 markings/sec, 1175 secs
lola: sara is running 1180 secs || 25058696 markings, 30730205 edges, 21405 markings/sec, 1180 secs
lola: sara is running 1185 secs || 25165379 markings, 30861287 edges, 21337 markings/sec, 1185 secs
lola: sara is running 1190 secs || 25272062 markings, 30992967 edges, 21337 markings/sec, 1190 secs
lola: sara is running 1195 secs || 25378712 markings, 31124712 edges, 21330 markings/sec, 1195 secs
lola: sara is running 1200 secs || 25485214 markings, 31256456 edges, 21300 markings/sec, 1200 secs
lola: sara is running 1205 secs || 25592174 markings, 31389207 edges, 21392 markings/sec, 1205 secs
lola: sara is running 1210 secs || 25698888 markings, 31520937 edges, 21343 markings/sec, 1210 secs
lola: sara is running 1215 secs || 25805706 markings, 31651940 edges, 21364 markings/sec, 1215 secs
lola: sara is running 1220 secs || 25912176 markings, 31782983 edges, 21294 markings/sec, 1220 secs
lola: sara is running 1225 secs || 26018560 markings, 31914282 edges, 21277 markings/sec, 1225 secs
lola: sara is running 1230 secs || 26125163 markings, 32045589 edges, 21321 markings/sec, 1230 secs
lola: sara is running 1235 secs || 26231812 markings, 32176415 edges, 21330 markings/sec, 1235 secs
lola: sara is running 1240 secs || 26338350 markings, 32308076 edges, 21308 markings/sec, 1240 secs
lola: sara is running 1245 secs || 26444835 markings, 32438816 edges, 21297 markings/sec, 1245 secs
lola: sara is running 1250 secs || 26551261 markings, 32570975 edges, 21285 markings/sec, 1250 secs
lola: sara is running 1255 secs || 26657974 markings, 32702925 edges, 21343 markings/sec, 1255 secs
lola: sara is running 1260 secs || 26764742 markings, 32834625 edges, 21354 markings/sec, 1260 secs
lola: sara is running 1265 secs || 26871467 markings, 32965852 edges, 21345 markings/sec, 1265 secs
lola: sara is running 1270 secs || 26978310 markings, 33097558 edges, 21369 markings/sec, 1270 secs
lola: sara is running 1275 secs || 27085024 markings, 33229284 edges, 21343 markings/sec, 1275 secs
lola: sara is running 1280 secs || 27191611 markings, 33361215 edges, 21317 markings/sec, 1280 secs
lola: sara is running 1285 secs || 27298177 markings, 33492760 edges, 21313 markings/sec, 1285 secs
lola: sara is running 1290 secs || 27404723 markings, 33623815 edges, 21309 markings/sec, 1290 secs
lola: sara is running 1295 secs || 27511090 markings, 33754587 edges, 21273 markings/sec, 1295 secs
lola: sara is running 1300 secs || 27617576 markings, 33885853 edges, 21297 markings/sec, 1300 secs
lola: sara is running 1305 secs || 27723901 markings, 34016547 edges, 21265 markings/sec, 1305 secs
lola: sara is running 1310 secs || 27830613 markings, 34148325 edges, 21342 markings/sec, 1310 secs
lola: sara is running 1315 secs || 27937113 markings, 34279671 edges, 21300 markings/sec, 1315 secs
lola: sara is running 1320 secs || 28043490 markings, 34410447 edges, 21275 markings/sec, 1320 secs
lola: sara is running 1325 secs || 28150025 markings, 34541866 edges, 21307 markings/sec, 1325 secs
lola: sara is running 1330 secs || 28256479 markings, 34672853 edges, 21291 markings/sec, 1330 secs
lola: sara is running 1335 secs || 28363055 markings, 34804890 edges, 21315 markings/sec, 1335 secs
lola: sara is running 1340 secs || 28469873 markings, 34936053 edges, 21364 markings/sec, 1340 secs
lola: sara is running 1345 secs || 28576089 markings, 35068155 edges, 21243 markings/sec, 1345 secs
lola: sara is running 1350 secs || 28682738 markings, 35199524 edges, 21330 markings/sec, 1350 secs
lola: sara is running 1355 secs || 28789385 markings, 35330908 edges, 21329 markings/sec, 1355 secs
lola: sara is running 1360 secs || 28895806 markings, 35462328 edges, 21284 markings/sec, 1360 secs
lola: sara is running 1365 secs || 29002214 markings, 35594331 edges, 21282 markings/sec, 1365 secs
lola: sara is running 1370 secs || 29108547 markings, 35725491 edges, 21267 markings/sec, 1370 secs
lola: sara is running 1375 secs || 29214856 markings, 35857661 edges, 21262 markings/sec, 1375 secs
lola: sara is running 1380 secs || 29321085 markings, 35988929 edges, 21246 markings/sec, 1380 secs
lola: sara is running 1385 secs || 29427518 markings, 36120232 edges, 21287 markings/sec, 1385 secs
lola: sara is running 1390 secs || 29534002 markings, 36251236 edges, 21297 markings/sec, 1390 secs
lola: sara is running 1395 secs || 29640735 markings, 36381411 edges, 21347 markings/sec, 1395 secs
lola: sara is running 1400 secs || 29747232 markings, 36513474 edges, 21299 markings/sec, 1400 secs
lola: sara is running 1405 secs || 29853651 markings, 36644534 edges, 21284 markings/sec, 1405 secs
lola: sara is running 1410 secs || 29960037 markings, 36776109 edges, 21277 markings/sec, 1410 secs
lola: sara is running 1415 secs || 30066196 markings, 36907370 edges, 21232 markings/sec, 1415 secs
lola: sara is running 1420 secs || 30172313 markings, 37038637 edges, 21223 markings/sec, 1420 secs
lola: sara is running 1425 secs || 30278752 markings, 37169437 edges, 21288 markings/sec, 1425 secs
lola: sara is running 1430 secs || 30385079 markings, 37300205 edges, 21265 markings/sec, 1430 secs
lola: sara is running 1435 secs || 30491535 markings, 37431467 edges, 21291 markings/sec, 1435 secs
lola: sara is running 1440 secs || 30598252 markings, 37562089 edges, 21343 markings/sec, 1440 secs
lola: sara is running 1445 secs || 30704558 markings, 37693442 edges, 21261 markings/sec, 1445 secs
lola: sara is running 1450 secs || 30810776 markings, 37825128 edges, 21244 markings/sec, 1450 secs
lola: sara is running 1455 secs || 30916739 markings, 37956621 edges, 21193 markings/sec, 1455 secs
lola: sara is running 1460 secs || 31023081 markings, 38087745 edges, 21268 markings/sec, 1460 secs
lola: sara is running 1465 secs || 31129325 markings, 38219129 edges, 21249 markings/sec, 1465 secs
lola: sara is running 1470 secs || 31235421 markings, 38350963 edges, 21219 markings/sec, 1470 secs
lola: sara is running 1475 secs || 31341641 markings, 38481808 edges, 21244 markings/sec, 1475 secs
lola: sara is running 1480 secs || 31447595 markings, 38612850 edges, 21191 markings/sec, 1480 secs
lola: sara is running 1485 secs || 31554223 markings, 38743722 edges, 21326 markings/sec, 1485 secs
lola: sara is running 1490 secs || 31660818 markings, 38874858 edges, 21319 markings/sec, 1490 secs
lola: sara is running 1495 secs || 31766821 markings, 39005960 edges, 21201 markings/sec, 1495 secs
lola: sara is running 1500 secs || 31872922 markings, 39137495 edges, 21220 markings/sec, 1500 secs
lola: sara is running 1505 secs || 31979269 markings, 39269401 edges, 21269 markings/sec, 1505 secs
lola: sara is running 1510 secs || 32085338 markings, 39400382 edges, 21214 markings/sec, 1510 secs
lola: sara is running 1515 secs || 32192055 markings, 39530930 edges, 21343 markings/sec, 1515 secs
lola: sara is running 1520 secs || 32298473 markings, 39662321 edges, 21284 markings/sec, 1520 secs
lola: sara is running 1525 secs || 32404472 markings, 39792974 edges, 21200 markings/sec, 1525 secs
lola: sara is running 1530 secs || 32510598 markings, 39923724 edges, 21225 markings/sec, 1530 secs
lola: sara is running 1535 secs || 32617094 markings, 40053984 edges, 21299 markings/sec, 1535 secs
lola: sara is running 1540 secs || 32723341 markings, 40185966 edges, 21249 markings/sec, 1540 secs
lola: sara is running 1545 secs || 32829513 markings, 40317376 edges, 21234 markings/sec, 1545 secs
lola: sara is running 1550 secs || 32935750 markings, 40448186 edges, 21247 markings/sec, 1550 secs
lola: sara is running 1555 secs || 33041829 markings, 40579508 edges, 21216 markings/sec, 1555 secs
lola: sara is running 1560 secs || 33147960 markings, 40710011 edges, 21226 markings/sec, 1560 secs
lola: sara is running 1565 secs || 33254321 markings, 40841620 edges, 21272 markings/sec, 1565 secs
lola: sara is running 1570 secs || 33360379 markings, 40971958 edges, 21212 markings/sec, 1570 secs
lola: sara is running 1575 secs || 33466325 markings, 41102794 edges, 21189 markings/sec, 1575 secs
lola: sara is running 1580 secs || 33572392 markings, 41233956 edges, 21213 markings/sec, 1580 secs
lola: sara is running 1585 secs || 33678330 markings, 41365296 edges, 21188 markings/sec, 1585 secs
lola: sara is running 1590 secs || 33784643 markings, 41496737 edges, 21263 markings/sec, 1590 secs
lola: sara is running 1595 secs || 33890792 markings, 41627575 edges, 21230 markings/sec, 1595 secs
lola: sara is running 1600 secs || 33993935 markings, 41754604 edges, 20629 markings/sec, 1600 secs
lola: sara is running 1605 secs || 34098402 markings, 41883310 edges, 20893 markings/sec, 1605 secs
lola: sara is running 1610 secs || 34204477 markings, 42014976 edges, 21215 markings/sec, 1610 secs
lola: sara is running 1615 secs || 34310375 markings, 42146985 edges, 21180 markings/sec, 1615 secs
lola: sara is running 1620 secs || 34416325 markings, 42278498 edges, 21190 markings/sec, 1620 secs
lola: sara is running 1625 secs || 34522154 markings, 42409148 edges, 21166 markings/sec, 1625 secs
lola: sara is running 1630 secs || 34628265 markings, 42540384 edges, 21222 markings/sec, 1630 secs
lola: sara is running 1635 secs || 34734502 markings, 42671041 edges, 21247 markings/sec, 1635 secs
lola: sara is running 1640 secs || 34840959 markings, 42802537 edges, 21291 markings/sec, 1640 secs
lola: sara is running 1645 secs || 34946997 markings, 42932956 edges, 21208 markings/sec, 1645 secs
lola: sara is running 1650 secs || 35053033 markings, 43063541 edges, 21207 markings/sec, 1650 secs
lola: sara is running 1655 secs || 35159137 markings, 43194645 edges, 21221 markings/sec, 1655 secs
lola: sara is running 1660 secs || 35265475 markings, 43324620 edges, 21268 markings/sec, 1660 secs
lola: sara is running 1665 secs || 35371813 markings, 43455844 edges, 21268 markings/sec, 1665 secs
lola: sara is running 1670 secs || 35478087 markings, 43585889 edges, 21255 markings/sec, 1670 secs
lola: sara is running 1675 secs || 35584232 markings, 43717333 edges, 21229 markings/sec, 1675 secs
lola: sara is running 1680 secs || 35690324 markings, 43848859 edges, 21218 markings/sec, 1680 secs
lola: sara is running 1685 secs || 35796460 markings, 43979976 edges, 21227 markings/sec, 1685 secs
lola: sara is running 1690 secs || 35902551 markings, 44111311 edges, 21218 markings/sec, 1690 secs
lola: sara is running 1695 secs || 36008262 markings, 44242191 edges, 21142 markings/sec, 1695 secs
lola: sara is running 1700 secs || 36114272 markings, 44374658 edges, 21202 markings/sec, 1700 secs
lola: sara is running 1705 secs || 36220510 markings, 44505622 edges, 21248 markings/sec, 1705 secs
lola: sara is running 1710 secs || 36326798 markings, 44636705 edges, 21258 markings/sec, 1710 secs
lola: sara is running 1715 secs || 36433327 markings, 44767964 edges, 21306 markings/sec, 1715 secs
lola: sara is running 1720 secs || 36539929 markings, 44899605 edges, 21320 markings/sec, 1720 secs
lola: sara is running 1725 secs || 36646372 markings, 45031345 edges, 21289 markings/sec, 1725 secs
lola: sara is running 1730 secs || 36752845 markings, 45163311 edges, 21295 markings/sec, 1730 secs
lola: sara is running 1735 secs || 36858805 markings, 45294289 edges, 21192 markings/sec, 1735 secs
lola: sara is running 1740 secs || 36963185 markings, 45422407 edges, 20876 markings/sec, 1740 secs
lola: sara is running 1745 secs || 37066887 markings, 45551015 edges, 20740 markings/sec, 1745 secs
lola: sara is running 1750 secs || 37170871 markings, 45678887 edges, 20797 markings/sec, 1750 secs
lola: sara is running 1755 secs || 37274612 markings, 45806598 edges, 20748 markings/sec, 1755 secs
lola: sara is running 1760 secs || 37378247 markings, 45934994 edges, 20727 markings/sec, 1760 secs
lola: sara is running 1765 secs || 37481857 markings, 46062949 edges, 20722 markings/sec, 1765 secs
lola: sara is running 1770 secs || 37585481 markings, 46190916 edges, 20725 markings/sec, 1770 secs
lola: sara is running 1775 secs || 37690937 markings, 46321013 edges, 21091 markings/sec, 1775 secs
lola: sara is running 1780 secs || 37794826 markings, 46447749 edges, 20778 markings/sec, 1780 secs
lola: sara is running 1785 secs || 37899995 markings, 46577892 edges, 21034 markings/sec, 1785 secs
lola: sara is running 1790 secs || 38005817 markings, 46708277 edges, 21164 markings/sec, 1790 secs
lola: sara is running 1795 secs || 38111938 markings, 46839742 edges, 21224 markings/sec, 1795 secs
lola: sara is running 1800 secs || 38218213 markings, 46970762 edges, 21255 markings/sec, 1800 secs
lola: sara is running 1805 secs || 38324636 markings, 47102260 edges, 21285 markings/sec, 1805 secs
lola: sara is running 1810 secs || 38430920 markings, 47233158 edges, 21257 markings/sec, 1810 secs
lola: sara is running 1815 secs || 38537308 markings, 47364215 edges, 21278 markings/sec, 1815 secs
lola: sara is running 1820 secs || 38644222 markings, 47495272 edges, 21383 markings/sec, 1820 secs
lola: sara is running 1825 secs || 38750611 markings, 47626247 edges, 21278 markings/sec, 1825 secs
lola: sara is running 1830 secs || 38857058 markings, 47758228 edges, 21289 markings/sec, 1830 secs
lola: sara is running 1835 secs || 38963483 markings, 47889575 edges, 21285 markings/sec, 1835 secs
lola: sara is running 1840 secs || 39069586 markings, 48021245 edges, 21221 markings/sec, 1840 secs
lola: sara is running 1845 secs || 39176312 markings, 48152977 edges, 21345 markings/sec, 1845 secs
lola: sara is running 1850 secs || 39279608 markings, 48279623 edges, 20659 markings/sec, 1850 secs
lola: sara is running 1855 secs || 39380492 markings, 48403671 edges, 20177 markings/sec, 1855 secs
lola: sara is running 1860 secs || 39487077 markings, 48534849 edges, 21317 markings/sec, 1860 secs
lola: sara is running 1865 secs || 39593497 markings, 48666671 edges, 21284 markings/sec, 1865 secs
lola: sara is running 1870 secs || 39700009 markings, 48797736 edges, 21302 markings/sec, 1870 secs
lola: sara is running 1875 secs || 39798184 markings, 48917979 edges, 19635 markings/sec, 1875 secs
lola: sara is running 1880 secs || 39897449 markings, 49040333 edges, 19853 markings/sec, 1880 secs
lola: sara is running 1885 secs || 39996829 markings, 49162735 edges, 19876 markings/sec, 1885 secs
lola: sara is running 1890 secs || 40096179 markings, 49285050 edges, 19870 markings/sec, 1890 secs
lola: sara is running 1895 secs || 40198606 markings, 49412177 edges, 20485 markings/sec, 1895 secs
lola: sara is running 1900 secs || 40302274 markings, 49538428 edges, 20734 markings/sec, 1900 secs
lola: sara is running 1905 secs || 40406883 markings, 49667658 edges, 20922 markings/sec, 1905 secs
lola: sara is running 1910 secs || 40511712 markings, 49796640 edges, 20966 markings/sec, 1910 secs
lola: sara is running 1915 secs || 40612660 markings, 49920344 edges, 20190 markings/sec, 1915 secs
lola: sara is running 1920 secs || 40712668 markings, 50043577 edges, 20002 markings/sec, 1920 secs
lola: sara is running 1925 secs || 40812267 markings, 50167616 edges, 19920 markings/sec, 1925 secs
lola: sara is running 1930 secs || 40912331 markings, 50290173 edges, 20013 markings/sec, 1930 secs
lola: sara is running 1935 secs || 41012187 markings, 50413988 edges, 19971 markings/sec, 1935 secs
lola: sara is running 1940 secs || 41111768 markings, 50537200 edges, 19916 markings/sec, 1940 secs
lola: sara is running 1945 secs || 41211220 markings, 50660291 edges, 19890 markings/sec, 1945 secs
lola: sara is running 1950 secs || 41311363 markings, 50782352 edges, 20029 markings/sec, 1950 secs
lola: sara is running 1955 secs || 41411344 markings, 50905111 edges, 19996 markings/sec, 1955 secs
lola: sara is running 1960 secs || 41511495 markings, 51029499 edges, 20030 markings/sec, 1960 secs
lola: sara is running 1965 secs || 41611544 markings, 51152356 edges, 20010 markings/sec, 1965 secs
lola: sara is running 1970 secs || 41712081 markings, 51276049 edges, 20107 markings/sec, 1970 secs
lola: sara is running 1975 secs || 41815524 markings, 51403419 edges, 20689 markings/sec, 1975 secs
lola: sara is running 1980 secs || 41919489 markings, 51531611 edges, 20793 markings/sec, 1980 secs
lola: sara is running 1985 secs || 42023119 markings, 51660373 edges, 20726 markings/sec, 1985 secs
lola: sara is running 1990 secs || 42126865 markings, 51788270 edges, 20749 markings/sec, 1990 secs
lola: sara is running 1995 secs || 42230626 markings, 51915782 edges, 20752 markings/sec, 1995 secs
lola: sara is running 2000 secs || 42334485 markings, 52042554 edges, 20772 markings/sec, 2000 secs
lola: sara is running 2005 secs || 42438193 markings, 52171178 edges, 20742 markings/sec, 2005 secs
lola: sara is running 2010 secs || 42541955 markings, 52299849 edges, 20752 markings/sec, 2010 secs
lola: sara is running 2015 secs || 42646083 markings, 52427547 edges, 20826 markings/sec, 2015 secs
lola: sara is running 2020 secs || 42750033 markings, 52555905 edges, 20790 markings/sec, 2020 secs
lola: sara is running 2025 secs || 42854007 markings, 52683841 edges, 20795 markings/sec, 2025 secs
lola: sara is running 2030 secs || 42957788 markings, 52812560 edges, 20756 markings/sec, 2030 secs
lola: sara is running 2035 secs || 43061828 markings, 52940478 edges, 20808 markings/sec, 2035 secs
lola: sara is running 2040 secs || 43165314 markings, 53068553 edges, 20697 markings/sec, 2040 secs
lola: sara is running 2045 secs || 43269116 markings, 53196304 edges, 20760 markings/sec, 2045 secs
lola: sara is running 2050 secs || 43372852 markings, 53323702 edges, 20747 markings/sec, 2050 secs
lola: sara is running 2055 secs || 43476700 markings, 53451683 edges, 20770 markings/sec, 2055 secs
lola: sara is running 2060 secs || 43580369 markings, 53579635 edges, 20734 markings/sec, 2060 secs
lola: sara is running 2065 secs || 43684289 markings, 53707337 edges, 20784 markings/sec, 2065 secs
lola: sara is running 2070 secs || 43787796 markings, 53835479 edges, 20701 markings/sec, 2070 secs
lola: sara is running 2075 secs || 43891482 markings, 53963200 edges, 20737 markings/sec, 2075 secs
lola: sara is running 2080 secs || 43995282 markings, 54091117 edges, 20760 markings/sec, 2080 secs
lola: sara is running 2085 secs || 44099137 markings, 54219467 edges, 20771 markings/sec, 2085 secs
lola: sara is running 2090 secs || 44203027 markings, 54348301 edges, 20778 markings/sec, 2090 secs
lola: sara is running 2095 secs || 44306864 markings, 54476038 edges, 20767 markings/sec, 2095 secs
lola: sara is running 2100 secs || 44410555 markings, 54603918 edges, 20738 markings/sec, 2100 secs
lola: sara is running 2105 secs || 44514510 markings, 54731542 edges, 20791 markings/sec, 2105 secs
lola: sara is running 2110 secs || 44618655 markings, 54859548 edges, 20829 markings/sec, 2110 secs
lola: sara is running 2115 secs || 44722124 markings, 54987030 edges, 20694 markings/sec, 2115 secs
lola: sara is running 2120 secs || 44826285 markings, 55115010 edges, 20832 markings/sec, 2120 secs
lola: sara is running 2125 secs || 44930215 markings, 55242404 edges, 20786 markings/sec, 2125 secs
lola: sara is running 2130 secs || 45034290 markings, 55370609 edges, 20815 markings/sec, 2130 secs
lola: sara is running 2135 secs || 45138427 markings, 55498818 edges, 20827 markings/sec, 2135 secs
lola: sara is running 2140 secs || 45242284 markings, 55626264 edges, 20771 markings/sec, 2140 secs
lola: sara is running 2145 secs || 45345977 markings, 55753522 edges, 20739 markings/sec, 2145 secs
lola: sara is running 2150 secs || 45449585 markings, 55881627 edges, 20722 markings/sec, 2150 secs
lola: sara is running 2155 secs || 45553576 markings, 56008976 edges, 20798 markings/sec, 2155 secs
lola: sara is running 2160 secs || 45657118 markings, 56136952 edges, 20708 markings/sec, 2160 secs
lola: sara is running 2165 secs || 45757879 markings, 56260528 edges, 20152 markings/sec, 2165 secs
lola: sara is running 2170 secs || 45857233 markings, 56382923 edges, 19871 markings/sec, 2170 secs
lola: sara is running 2175 secs || 45956079 markings, 56504938 edges, 19769 markings/sec, 2175 secs
lola: sara is running 2180 secs || 46055495 markings, 56627632 edges, 19883 markings/sec, 2180 secs
lola: sara is running 2185 secs || 46155540 markings, 56749717 edges, 20009 markings/sec, 2185 secs
lola: sara is running 2190 secs || 46254405 markings, 56872262 edges, 19773 markings/sec, 2190 secs
lola: sara is running 2195 secs || 46353391 markings, 56994964 edges, 19797 markings/sec, 2195 secs
lola: sara is running 2200 secs || 46452863 markings, 57117534 edges, 19894 markings/sec, 2200 secs
lola: sara is running 2205 secs || 46551897 markings, 57240253 edges, 19807 markings/sec, 2205 secs
lola: sara is running 2210 secs || 46651039 markings, 57362403 edges, 19828 markings/sec, 2210 secs
lola: sara is running 2215 secs || 46750021 markings, 57484638 edges, 19796 markings/sec, 2215 secs
lola: sara is running 2220 secs || 46849093 markings, 57606712 edges, 19814 markings/sec, 2220 secs
lola: sara is running 2225 secs || 46947847 markings, 57727982 edges, 19751 markings/sec, 2225 secs
lola: sara is running 2230 secs || 47046662 markings, 57849585 edges, 19763 markings/sec, 2230 secs
lola: sara is running 2235 secs || 47145673 markings, 57970506 edges, 19802 markings/sec, 2235 secs
lola: sara is running 2240 secs || 47244786 markings, 58091784 edges, 19823 markings/sec, 2240 secs
lola: sara is running 2245 secs || 47343459 markings, 58214634 edges, 19735 markings/sec, 2245 secs
lola: sara is running 2250 secs || 47443070 markings, 58336856 edges, 19922 markings/sec, 2250 secs
lola: sara is running 2255 secs || 47547005 markings, 58465294 edges, 20787 markings/sec, 2255 secs
lola: sara is running 2260 secs || 47650800 markings, 58593687 edges, 20759 markings/sec, 2260 secs
lola: sara is running 2265 secs || 47754804 markings, 58721896 edges, 20801 markings/sec, 2265 secs
lola: sara is running 2270 secs || 47858779 markings, 58850892 edges, 20795 markings/sec, 2270 secs
lola: sara is running 2275 secs || 47962315 markings, 58979797 edges, 20707 markings/sec, 2275 secs
lola: sara is running 2280 secs || 48066132 markings, 59107424 edges, 20763 markings/sec, 2280 secs
lola: sara is running 2285 secs || 48170094 markings, 59235420 edges, 20792 markings/sec, 2285 secs
lola: sara is running 2290 secs || 48273772 markings, 59364024 edges, 20736 markings/sec, 2290 secs
lola: sara is running 2295 secs || 48378208 markings, 59491658 edges, 20887 markings/sec, 2295 secs
lola: sara is running 2300 secs || 48481727 markings, 59619598 edges, 20704 markings/sec, 2300 secs
lola: sara is running 2305 secs || 48581994 markings, 59742929 edges, 20053 markings/sec, 2305 secs
lola: sara is running 2310 secs || 48681169 markings, 59864601 edges, 19835 markings/sec, 2310 secs
lola: sara is running 2315 secs || 48784556 markings, 59990361 edges, 20677 markings/sec, 2315 secs
lola: sara is running 2320 secs || 48888391 markings, 60117978 edges, 20767 markings/sec, 2320 secs
lola: sara is running 2325 secs || 48991893 markings, 60246222 edges, 20700 markings/sec, 2325 secs
lola: sara is running 2330 secs || 49095750 markings, 60373499 edges, 20771 markings/sec, 2330 secs
lola: sara is running 2335 secs || 49197475 markings, 60498776 edges, 20345 markings/sec, 2335 secs
lola: sara is running 2340 secs || 49300878 markings, 60626793 edges, 20681 markings/sec, 2340 secs
lola: sara is running 2345 secs || 49404582 markings, 60754421 edges, 20741 markings/sec, 2345 secs
lola: sara is running 2350 secs || 49507804 markings, 60882219 edges, 20644 markings/sec, 2350 secs
lola: sara is running 2355 secs || 49611324 markings, 61010804 edges, 20704 markings/sec, 2355 secs
lola: sara is running 2360 secs || 49714846 markings, 61138489 edges, 20704 markings/sec, 2360 secs
lola: sara is running 2365 secs || 49817994 markings, 61265929 edges, 20630 markings/sec, 2365 secs
lola: sara is running 2370 secs || 49921722 markings, 61392791 edges, 20746 markings/sec, 2370 secs
lola: sara is running 2375 secs || 50025074 markings, 61519673 edges, 20670 markings/sec, 2375 secs
lola: sara is running 2380 secs || 50128273 markings, 61646805 edges, 20640 markings/sec, 2380 secs
lola: sara is running 2385 secs || 50231578 markings, 61775346 edges, 20661 markings/sec, 2385 secs
lola: sara is running 2390 secs || 50335112 markings, 61902418 edges, 20707 markings/sec, 2390 secs
lola: sara is running 2395 secs || 50438825 markings, 62030791 edges, 20743 markings/sec, 2395 secs
lola: sara is running 2400 secs || 50542212 markings, 62158126 edges, 20677 markings/sec, 2400 secs
lola: sara is running 2405 secs || 50645828 markings, 62286030 edges, 20723 markings/sec, 2405 secs
lola: sara is running 2410 secs || 50749490 markings, 62414163 edges, 20732 markings/sec, 2410 secs
lola: sara is running 2415 secs || 50853019 markings, 62541223 edges, 20706 markings/sec, 2415 secs
lola: sara is running 2420 secs || 50956510 markings, 62668816 edges, 20698 markings/sec, 2420 secs
lola: sara is running 2425 secs || 51059704 markings, 62796344 edges, 20639 markings/sec, 2425 secs
lola: sara is running 2430 secs || 51163273 markings, 62923924 edges, 20714 markings/sec, 2430 secs
lola: sara is running 2435 secs || 51266478 markings, 63051429 edges, 20641 markings/sec, 2435 secs
lola: sara is running 2440 secs || 51370250 markings, 63178831 edges, 20754 markings/sec, 2440 secs
lola: sara is running 2445 secs || 51473592 markings, 63306987 edges, 20668 markings/sec, 2445 secs
lola: sara is running 2450 secs || 51577204 markings, 63435289 edges, 20722 markings/sec, 2450 secs
lola: sara is running 2455 secs || 51681028 markings, 63562116 edges, 20765 markings/sec, 2455 secs
lola: sara is running 2460 secs || 51784369 markings, 63690323 edges, 20668 markings/sec, 2460 secs
lola: sara is running 2465 secs || 51887947 markings, 63818171 edges, 20716 markings/sec, 2465 secs
lola: sara is running 2470 secs || 51991662 markings, 63945696 edges, 20743 markings/sec, 2470 secs
lola: sara is running 2475 secs || 52095098 markings, 64073458 edges, 20687 markings/sec, 2475 secs
lola: sara is running 2480 secs || 52198435 markings, 64200815 edges, 20667 markings/sec, 2480 secs
lola: sara is running 2485 secs || 52301961 markings, 64328611 edges, 20705 markings/sec, 2485 secs
lola: sara is running 2490 secs || 52405296 markings, 64456351 edges, 20667 markings/sec, 2490 secs
lola: sara is running 2495 secs || 52509400 markings, 64584620 edges, 20821 markings/sec, 2495 secs
lola: sara is running 2500 secs || 52612917 markings, 64712641 edges, 20703 markings/sec, 2500 secs
lola: sara is running 2505 secs || 52716664 markings, 64841419 edges, 20749 markings/sec, 2505 secs
lola: sara is running 2510 secs || 52820165 markings, 64969275 edges, 20700 markings/sec, 2510 secs
lola: sara is running 2515 secs || 52924034 markings, 65097847 edges, 20774 markings/sec, 2515 secs
lola: sara is running 2520 secs || 53028217 markings, 65226041 edges, 20837 markings/sec, 2520 secs
lola: sara is running 2525 secs || 53130889 markings, 65350947 edges, 20534 markings/sec, 2525 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no yes no no no yes yes yes no unknown no no no no unknown
lola:
preliminary result: yes no yes no no no yes yes yes no unknown no no no no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes no no no yes yes yes no unknown no no no no unknown
lola: memory consumption: 6117228 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes no no no yes yes yes no unknown no no no no unknown
lola: memory consumption: 6117624 KB
lola: time consumption: 3570 seconds

BK_STOP 1526981232945

--------------------
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="PolyORBLF-PT-S02J04T08"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S02J04T08.tgz
mv PolyORBLF-PT-S02J04T08 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 PolyORBLF-PT-S02J04T08, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r124-smll-152673526900145"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityCardinality.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 ;