About the Execution of LoLA for CloudReconfiguration-PT-311
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4487.690 | 3570462.00 | 7076118.00 | 9337.70 | FTT?FFFTFTFFFTTF | 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 824K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 12K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 118 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 356 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 660K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is CloudReconfiguration-PT-311, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r208-smll-152732257300099
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-311-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1527819958764
info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudReconfiguration-PT-311 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating CloudReconfiguration-PT-311 formula LTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking LTLCardinality @ CloudReconfiguration-PT-311 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: Size of bit vector: 2585
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2709 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-311-LTLCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p1530)
lola: LP says that atomic proposition is always false: (2 <= p1909)
lola: LP says that atomic proposition is always false: (3 <= p593)
lola: LP says that atomic proposition is always false: (2 <= p1283)
lola: LP says that atomic proposition is always false: (2 <= p1452)
lola: LP says that atomic proposition is always false: (2 <= p673)
lola: LP says that atomic proposition is always false: (2 <= p1247)
lola: LP says that atomic proposition is always false: (3 <= p1437)
lola: LP says that atomic proposition is always false: (3 <= p556)
lola: A (G (X (F ((p1458 <= p1002))))) : A ((p1179 <= p2374)) : A (F (F ((p1739 <= p286)))) : A (G (G (G ((p693 <= p237))))) : A ((G (X (FALSE)) U X (F (FALSE)))) : A ((F (G (FALSE)) U FALSE)) : A (FALSE) : A ((G (X ((1 <= p1951))) U X ((p1054 <= p500)))) : A ((F (G (FALSE)) U X (G (FALSE)))) : A ((p1051 <= p1664)) : A (G (X (((p2243 <= p9) U FALSE)))) : A (((p1967 <= p2081) U X (G ((p1158 <= p1716))))) : A (G ((G ((1 <= p1051)) U G ((1 <= p1461))))) : A ((F ((1 <= p469)) U X ((p1411 <= p70)))) : A ((p2308 <= p189)) : A (F (X (G (FALSE))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p1179 <= p2374)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p1179 <= p2374)
lola: processed formula length: 16
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-LTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 236 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: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-LTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 253 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: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-LTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 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: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-LTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 295 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: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
FORMULA CloudReconfiguration-PT-311-LTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p1051 <= p1664)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p1051 <= p1664)
lola: processed formula length: 16
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
FORMULA CloudReconfiguration-PT-311-LTLCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 355 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: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 394 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p2308 <= p189)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p2308 <= p189)
lola: processed formula length: 15
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-LTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 443 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: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-LTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 507 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F ((1 <= p469)) U X ((p1411 <= p70))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F ((1 <= p469)) U X ((p1411 <= p70))))
lola: processed formula length: 42
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-LTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 591 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((p1054 <= p500) OR (G ((1 <= p1951)) AND F ((p1054 <= p500))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((p1054 <= p500) OR (G ((1 <= p1951)) AND F ((p1054 <= p500))))))
lola: processed formula length: 71
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.task
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-LTLCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 710 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p1967 <= p2081) U X (G ((p1158 <= p1716)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p1967 <= p2081) U X (G ((p1158 <= p1716)))))
lola: processed formula length: 49
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.task
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 66558 markings, 220541 edges, 13312 markings/sec, 0 secs
lola: 136684 markings, 427445 edges, 14025 markings/sec, 5 secs
lola: 201551 markings, 651333 edges, 12973 markings/sec, 10 secs
lola: 269527 markings, 874607 edges, 13595 markings/sec, 15 secs
lola: 337872 markings, 1095796 edges, 13669 markings/sec, 20 secs
lola: 407273 markings, 1316236 edges, 13880 markings/sec, 25 secs
lola: 477257 markings, 1537335 edges, 13997 markings/sec, 30 secs
lola: 531431 markings, 1758974 edges, 10835 markings/sec, 35 secs
lola: 601341 markings, 1980439 edges, 13982 markings/sec, 40 secs
lola: 657895 markings, 2201879 edges, 11311 markings/sec, 45 secs
lola: 713365 markings, 2424540 edges, 11094 markings/sec, 50 secs
lola: 766541 markings, 2647266 edges, 10635 markings/sec, 55 secs
lola: 815503 markings, 2870579 edges, 9792 markings/sec, 60 secs
lola: 865718 markings, 3093754 edges, 10043 markings/sec, 65 secs
lola: 917858 markings, 3316540 edges, 10428 markings/sec, 70 secs
lola: 968468 markings, 3537556 edges, 10122 markings/sec, 75 secs
lola: 1025742 markings, 3759822 edges, 11455 markings/sec, 80 secs
lola: 1076510 markings, 3982523 edges, 10154 markings/sec, 85 secs
lola: 1125822 markings, 4204406 edges, 9862 markings/sec, 90 secs
lola: 1172016 markings, 4427968 edges, 9239 markings/sec, 95 secs
lola: 1224459 markings, 4650284 edges, 10489 markings/sec, 100 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1266589 markings, 4766795 edges
FORMULA CloudReconfiguration-PT-311-LTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 860 seconds at most (--localtimelimit=0)lola:
lola: ========================================
========================================lola:
...considering subproblem: A (G ((p693 <= p237)))
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 ((p693 <= p237)))
lola: processed formula length: 22
lola: 48 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.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: (p237 + 1 <= p693)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-LTLCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-LTLCardinality-12-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 48281 markings, 92696 edges, 9656 markings/sec, 0 secs
lola: sara is running 5 secs || 94525 markings, 196659 edges, 9249 markings/sec, 5 secs
lola: sara is running 10 secs || 140900 markings, 302633 edges, 9275 markings/sec, 10 secs
lola: sara is running 15 secs || 187635 markings, 408244 edges, 9347 markings/sec, 15 secs
lola: sara is running 20 secs || 236433 markings, 507088 edges, 9760 markings/sec, 20 secs
lola: sara is running 25 secs || 280514 markings, 608349 edges, 8816 markings/sec, 25 secs
lola: sara is running 30 secs || 327942 markings, 706828 edges, 9486 markings/sec, 30 secs
lola: sara is running 35 secs || 374564 markings, 814087 edges, 9324 markings/sec, 35 secs
lola: sara is running 40 secs || 420586 markings, 920587 edges, 9204 markings/sec, 40 secs
lola: sara is running 45 secs || 468971 markings, 1024004 edges, 9677 markings/sec, 45 secs
lola: sara is running 50 secs || 515893 markings, 1130462 edges, 9384 markings/sec, 50 secs
lola: sara is running 55 secs || 564745 markings, 1235841 edges, 9770 markings/sec, 55 secs
lola: sara is running 60 secs || 612240 markings, 1340928 edges, 9499 markings/sec, 60 secs
lola: sara is running 65 secs || 657960 markings, 1445327 edges, 9144 markings/sec, 65 secs
lola: sara is running 70 secs || 704669 markings, 1550181 edges, 9342 markings/sec, 70 secs
lola: sara is running 75 secs || 749214 markings, 1651252 edges, 8909 markings/sec, 75 secs
lola: sara is running 80 secs || 794073 markings, 1753053 edges, 8972 markings/sec, 80 secs
lola: sara is running 85 secs || 840023 markings, 1856469 edges, 9190 markings/sec, 85 secs
lola: sara is running 90 secs || 884920 markings, 1960283 edges, 8979 markings/sec, 90 secs
lola: sara is running 95 secs || 928841 markings, 2063112 edges, 8784 markings/sec, 95 secs
lola: sara is running 100 secs || 974462 markings, 2164273 edges, 9124 markings/sec, 100 secs
lola: sara is running 105 secs || 1020513 markings, 2254199 edges, 9210 markings/sec, 105 secs
lola: sara is running 110 secs || 1067277 markings, 2359124 edges, 9353 markings/sec, 110 secs
lola: sara is running 115 secs || 1113070 markings, 2464842 edges, 9159 markings/sec, 115 secs
lola: sara is running 120 secs || 1159396 markings, 2569526 edges, 9265 markings/sec, 120 secs
lola: sara is running 125 secs || 1206167 markings, 2676000 edges, 9354 markings/sec, 125 secs
lola: sara is running 130 secs || 1250188 markings, 2776560 edges, 8804 markings/sec, 130 secs
lola: sara is running 135 secs || 1295563 markings, 2877116 edges, 9075 markings/sec, 135 secs
lola: sara is running 140 secs || 1340366 markings, 2980086 edges, 8961 markings/sec, 140 secs
lola: sara is running 145 secs || 1384688 markings, 3082356 edges, 8864 markings/sec, 145 secs
lola: sara is running 150 secs || 1430620 markings, 3184916 edges, 9186 markings/sec, 150 secs
lola: sara is running 155 secs || 1475914 markings, 3289384 edges, 9059 markings/sec, 155 secs
lola: sara is running 160 secs || 1521046 markings, 3393209 edges, 9026 markings/sec, 160 secs
lola: sara is running 165 secs || 1567603 markings, 3499418 edges, 9311 markings/sec, 165 secs
lola: sara is running 170 secs || 1612369 markings, 3600175 edges, 8953 markings/sec, 170 secs
lola: sara is running 175 secs || 1656814 markings, 3700441 edges, 8889 markings/sec, 175 secs
lola: sara is running 180 secs || 1700618 markings, 3801282 edges, 8761 markings/sec, 180 secs
lola: sara is running 185 secs || 1745211 markings, 3899629 edges, 8919 markings/sec, 185 secs
lola: sara is running 190 secs || 1790241 markings, 3998566 edges, 9006 markings/sec, 190 secs
lola: sara is running 195 secs || 1832915 markings, 4087378 edges, 8535 markings/sec, 195 secs
lola: sara is running 200 secs || 1876927 markings, 4188093 edges, 8802 markings/sec, 200 secs
lola: sara is running 205 secs || 1921256 markings, 4290339 edges, 8866 markings/sec, 205 secs
lola: sara is running 210 secs || 1966193 markings, 4390880 edges, 8987 markings/sec, 210 secs
lola: sara is running 215 secs || 2010991 markings, 4490623 edges, 8960 markings/sec, 215 secs
lola: sara is running 220 secs || 2056617 markings, 4589489 edges, 9125 markings/sec, 220 secs
lola: sara is running 225 secs || 2101221 markings, 4692808 edges, 8921 markings/sec, 225 secs
lola: sara is running 230 secs || 2146281 markings, 4792383 edges, 9012 markings/sec, 230 secs
lola: sara is running 235 secs || 2189436 markings, 4891296 edges, 8631 markings/sec, 235 secs
lola: sara is running 240 secs || 2235781 markings, 4990062 edges, 9269 markings/sec, 240 secs
lola: sara is running 245 secs || 2280126 markings, 5092991 edges, 8869 markings/sec, 245 secs
lola: sara is running 250 secs || 2324094 markings, 5194499 edges, 8794 markings/sec, 250 secs
lola: sara is running 255 secs || 2365268 markings, 5295647 edges, 8235 markings/sec, 255 secs
lola: sara is running 260 secs || 2408801 markings, 5395546 edges, 8707 markings/sec, 260 secs
lola: sara is running 265 secs || 2453961 markings, 5486460 edges, 9032 markings/sec, 265 secs
lola: sara is running 270 secs || 2497612 markings, 5588545 edges, 8730 markings/sec, 270 secs
lola: sara is running 275 secs || 2541530 markings, 5685281 edges, 8784 markings/sec, 275 secs
lola: sara is running 280 secs || 2582609 markings, 5778614 edges, 8216 markings/sec, 280 secs
lola: sara is running 285 secs || 2623733 markings, 5870583 edges, 8225 markings/sec, 285 secs
lola: sara is running 290 secs || 2664839 markings, 5962921 edges, 8221 markings/sec, 290 secs
lola: sara is running 295 secs || 2706740 markings, 6059709 edges, 8380 markings/sec, 295 secs
lola: sara is running 300 secs || 2749314 markings, 6154852 edges, 8515 markings/sec, 300 secs
lola: sara is running 305 secs || 2790922 markings, 6251266 edges, 8322 markings/sec, 305 secs
lola: sara is running 310 secs || 2831430 markings, 6343355 edges, 8102 markings/sec, 310 secs
lola: sara is running 315 secs || 2871188 markings, 6432803 edges, 7952 markings/sec, 315 secs
lola: sara is running 320 secs || 2912118 markings, 6525108 edges, 8186 markings/sec, 320 secs
lola: sara is running 325 secs || 2953754 markings, 6620263 edges, 8327 markings/sec, 325 secs
lola: sara is running 330 secs || 2997456 markings, 6718904 edges, 8740 markings/sec, 330 secs
lola: sara is running 335 secs || 3040987 markings, 6816312 edges, 8706 markings/sec, 335 secs
lola: sara is running 340 secs || 3083838 markings, 6915025 edges, 8570 markings/sec, 340 secs
lola: sara is running 345 secs || 3128358 markings, 7015664 edges, 8904 markings/sec, 345 secs
lola: sara is running 350 secs || 3172804 markings, 7114774 edges, 8889 markings/sec, 350 secs
lola: sara is running 355 secs || 3216125 markings, 7215168 edges, 8664 markings/sec, 355 secs
lola: sara is running 360 secs || 3258179 markings, 7311273 edges, 8411 markings/sec, 360 secs
lola: sara is running 365 secs || 3300842 markings, 7407167 edges, 8533 markings/sec, 365 secs
lola: sara is running 370 secs || 3343656 markings, 7503871 edges, 8563 markings/sec, 370 secs
lola: sara is running 375 secs || 3387048 markings, 7601693 edges, 8678 markings/sec, 375 secs
lola: sara is running 380 secs || 3431244 markings, 7703166 edges, 8839 markings/sec, 380 secs
lola: sara is running 385 secs || 3471067 markings, 7805704 edges, 7965 markings/sec, 385 secs
lola: sara is running 390 secs || 3517636 markings, 7897879 edges, 9314 markings/sec, 390 secs
lola: sara is running 395 secs || 3566085 markings, 7988613 edges, 9690 markings/sec, 395 secs
lola: sara is running 400 secs || 3610580 markings, 8089444 edges, 8899 markings/sec, 400 secs
lola: sara is running 405 secs || 3655114 markings, 8190660 edges, 8907 markings/sec, 405 secs
lola: sara is running 410 secs || 3699303 markings, 8290253 edges, 8838 markings/sec, 410 secs
lola: sara is running 415 secs || 3743343 markings, 8391957 edges, 8808 markings/sec, 415 secs
lola: sara is running 420 secs || 3786327 markings, 8488741 edges, 8597 markings/sec, 420 secs
lola: sara is running 425 secs || 3828633 markings, 8585182 edges, 8461 markings/sec, 425 secs
lola: sara is running 430 secs || 3872115 markings, 8681926 edges, 8696 markings/sec, 430 secs
lola: sara is running 435 secs || 3914292 markings, 8778908 edges, 8435 markings/sec, 435 secs
lola: sara is running 440 secs || 3957583 markings, 8874817 edges, 8658 markings/sec, 440 secs
lola: sara is running 445 secs || 3998612 markings, 8969929 edges, 8206 markings/sec, 445 secs
lola: sara is running 450 secs || 4039802 markings, 9065681 edges, 8238 markings/sec, 450 secs
lola: sara is running 455 secs || 4081318 markings, 9160121 edges, 8303 markings/sec, 455 secs
lola: sara is running 460 secs || 4124244 markings, 9258655 edges, 8585 markings/sec, 460 secs
lola: sara is running 465 secs || 4161776 markings, 9342861 edges, 7506 markings/sec, 465 secs
lola: sara is running 470 secs || 4198724 markings, 9425520 edges, 7390 markings/sec, 470 secs
lola: sara is running 475 secs || 4234969 markings, 9509578 edges, 7249 markings/sec, 475 secs
lola: sara is running 480 secs || 4271908 markings, 9592792 edges, 7388 markings/sec, 480 secs
lola: sara is running 485 secs || 4308623 markings, 9677717 edges, 7343 markings/sec, 485 secs
lola: sara is running 490 secs || 4348069 markings, 9766329 edges, 7889 markings/sec, 490 secs
lola: sara is running 495 secs || 4386628 markings, 9855271 edges, 7712 markings/sec, 495 secs
lola: sara is running 500 secs || 4425539 markings, 9943709 edges, 7782 markings/sec, 500 secs
lola: sara is running 505 secs || 4464762 markings, 10033088 edges, 7845 markings/sec, 505 secs
lola: sara is running 510 secs || 4506151 markings, 10126371 edges, 8278 markings/sec, 510 secs
lola: sara is running 515 secs || 4546471 markings, 10219632 edges, 8064 markings/sec, 515 secs
lola: sara is running 520 secs || 4587327 markings, 10312114 edges, 8171 markings/sec, 520 secs
lola: sara is running 525 secs || 4629083 markings, 10406025 edges, 8351 markings/sec, 525 secs
lola: sara is running 530 secs || 4669633 markings, 10499298 edges, 8110 markings/sec, 530 secs
lola: sara is running 535 secs || 4709596 markings, 10591590 edges, 7993 markings/sec, 535 secs
lola: sara is running 540 secs || 4750486 markings, 10683553 edges, 8178 markings/sec, 540 secs
lola: sara is running 545 secs || 4791768 markings, 10778382 edges, 8256 markings/sec, 545 secs
lola: sara is running 550 secs || 4832064 markings, 10870746 edges, 8059 markings/sec, 550 secs
lola: sara is running 555 secs || 4878042 markings, 10966379 edges, 9196 markings/sec, 555 secs
lola: sara is running 560 secs || 4926212 markings, 11076965 edges, 9634 markings/sec, 560 secs
lola: sara is running 565 secs || 4973728 markings, 11187273 edges, 9503 markings/sec, 565 secs
lola: sara is running 570 secs || 5021362 markings, 11296764 edges, 9527 markings/sec, 570 secs
lola: sara is running 575 secs || 5068793 markings, 11405381 edges, 9486 markings/sec, 575 secs
lola: sara is running 580 secs || 5119343 markings, 11499424 edges, 10110 markings/sec, 580 secs
lola: sara is running 585 secs || 5167214 markings, 11608967 edges, 9574 markings/sec, 585 secs
lola: sara is running 590 secs || 5213016 markings, 11714933 edges, 9160 markings/sec, 590 secs
lola: sara is running 595 secs || 5260662 markings, 11825163 edges, 9529 markings/sec, 595 secs
lola: sara is running 600 secs || 5307213 markings, 11932676 edges, 9310 markings/sec, 600 secs
lola: sara is running 605 secs || 5352712 markings, 12036964 edges, 9100 markings/sec, 605 secs
lola: sara is running 610 secs || 5399474 markings, 12142747 edges, 9352 markings/sec, 610 secs
lola: sara is running 615 secs || 5446356 markings, 12245121 edges, 9376 markings/sec, 615 secs
lola: sara is running 620 secs || 5495028 markings, 12350940 edges, 9734 markings/sec, 620 secs
lola: sara is running 625 secs || 5542232 markings, 12459743 edges, 9441 markings/sec, 625 secs
lola: sara is running 630 secs || 5589221 markings, 12568421 edges, 9398 markings/sec, 630 secs
lola: sara is running 635 secs || 5635443 markings, 12675216 edges, 9244 markings/sec, 635 secs
lola: sara is running 640 secs || 5680607 markings, 12780460 edges, 9033 markings/sec, 640 secs
lola: sara is running 645 secs || 5719649 markings, 12873500 edges, 7808 markings/sec, 645 secs
lola: sara is running 650 secs || 5760419 markings, 12968174 edges, 8154 markings/sec, 650 secs
lola: sara is running 655 secs || 5809481 markings, 13077532 edges, 9812 markings/sec, 655 secs
lola: sara is running 660 secs || 5857233 markings, 13187600 edges, 9550 markings/sec, 660 secs
lola: sara is running 665 secs || 5905549 markings, 13294700 edges, 9663 markings/sec, 665 secs
lola: sara is running 670 secs || 5951779 markings, 13394331 edges, 9246 markings/sec, 670 secs
lola: sara is running 675 secs || 5999018 markings, 13490309 edges, 9448 markings/sec, 675 secs
lola: sara is running 680 secs || 6043896 markings, 13591269 edges, 8976 markings/sec, 680 secs
lola: sara is running 685 secs || 6090179 markings, 13696325 edges, 9257 markings/sec, 685 secs
lola: sara is running 690 secs || 6144142 markings, 13801652 edges, 10793 markings/sec, 690 secs
lola: sara is running 695 secs || 6194067 markings, 13907874 edges, 9985 markings/sec, 695 secs
lola: sara is running 700 secs || 6240091 markings, 14010815 edges, 9205 markings/sec, 700 secs
lola: sara is running 705 secs || 6281868 markings, 14105149 edges, 8355 markings/sec, 705 secs
lola: sara is running 710 secs || 6324919 markings, 14202284 edges, 8610 markings/sec, 710 secs
lola: sara is running 715 secs || 6365703 markings, 14294581 edges, 8157 markings/sec, 715 secs
lola: sara is running 720 secs || 6406845 markings, 14387808 edges, 8228 markings/sec, 720 secs
lola: sara is running 725 secs || 6448695 markings, 14482570 edges, 8370 markings/sec, 725 secs
lola: sara is running 730 secs || 6490031 markings, 14575972 edges, 8267 markings/sec, 730 secs
lola: sara is running 735 secs || 6526138 markings, 14657264 edges, 7221 markings/sec, 735 secs
lola: sara is running 740 secs || 6562809 markings, 14740108 edges, 7334 markings/sec, 740 secs
lola: sara is running 745 secs || 6599541 markings, 14823048 edges, 7346 markings/sec, 745 secs
lola: sara is running 750 secs || 6637277 markings, 14908439 edges, 7547 markings/sec, 750 secs
lola: sara is running 755 secs || 6673900 markings, 14990990 edges, 7325 markings/sec, 755 secs
lola: sara is running 760 secs || 6710990 markings, 15075054 edges, 7418 markings/sec, 760 secs
lola: sara is running 765 secs || 6748816 markings, 15160480 edges, 7565 markings/sec, 765 secs
lola: sara is running 770 secs || 6792579 markings, 15248558 edges, 8753 markings/sec, 770 secs
lola: sara is running 775 secs || 6840230 markings, 15346894 edges, 9530 markings/sec, 775 secs
lola: sara is running 780 secs || 6885810 markings, 15452295 edges, 9116 markings/sec, 780 secs
lola: sara is running 785 secs || 6932404 markings, 15560375 edges, 9319 markings/sec, 785 secs
lola: sara is running 790 secs || 6978811 markings, 15667845 edges, 9281 markings/sec, 790 secs
lola: sara is running 795 secs || 7024595 markings, 15772909 edges, 9157 markings/sec, 795 secs
lola: sara is running 800 secs || 7070774 markings, 15877400 edges, 9236 markings/sec, 800 secs
lola: sara is running 805 secs || 7117806 markings, 15980746 edges, 9406 markings/sec, 805 secs
lola: sara is running 810 secs || 7165603 markings, 16084776 edges, 9559 markings/sec, 810 secs
lola: sara is running 815 secs || 7211617 markings, 16191018 edges, 9203 markings/sec, 815 secs
lola: sara is running 820 secs || 7257505 markings, 16296834 edges, 9178 markings/sec, 820 secs
lola: sara is running 825 secs || 7302868 markings, 16402202 edges, 9073 markings/sec, 825 secs
lola: sara is running 830 secs || 7347261 markings, 16504391 edges, 8879 markings/sec, 830 secs
lola: sara is running 835 secs || 7391495 markings, 16605454 edges, 8847 markings/sec, 835 secs
lola: sara is running 840 secs || 7436292 markings, 16707316 edges, 8959 markings/sec, 840 secs
lola: sara is running 845 secs || 7481341 markings, 16809792 edges, 9010 markings/sec, 845 secs
lola: sara is running 850 secs || 7526560 markings, 16912518 edges, 9044 markings/sec, 850 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown no no no yes no yes no no unknown yes yes no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown yes unknown unknown no no no yes no yes no no unknown yes yes no
lola: memory consumption: 1524232 KB
lola: time consumption: 988 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 860 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p1739 <= p286)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (p286 + 1 <= p1739)
lola: processed formula length: 19
lola: 48 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-LTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1291 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((G ((1 <= p1461)) OR (G ((1 <= p1051)) AND F (G ((1 <= p1461)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((G ((1 <= p1461)) OR (G ((1 <= p1051)) AND F (G ((1 <= p1461)))))))
lola: processed formula length: 73
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.task
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 87 markings, 87 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-LTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2582 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p1458 <= p1002))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p1458 <= p1002))))
lola: processed formula length: 28
lola: 46 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4209 markings, 4956 edges
lola: ========================================
FORMULA CloudReconfiguration-PT-311-LTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G ((p693 <= p237)))
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 ((p693 <= p237)))
lola: processed formula length: 22
lola: 48 rewrites
lola: closed formula file CloudReconfiguration-PT-311-LTLCardinality.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: (p237 + 1 <= p693)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CloudReconfiguration-PT-311-LTLCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CloudReconfiguration-PT-311-LTLCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 46881 markings, 89519 edges, 9376 markings/sec, 0 secs
lola: sara is running 5 secs || 94562 markings, 196765 edges, 9536 markings/sec, 5 secs
lola: sara is running 10 secs || 142200 markings, 305323 edges, 9528 markings/sec, 10 secs
lola: sara is running 15 secs || 189691 markings, 413484 edges, 9498 markings/sec, 15 secs
lola: sara is running 20 secs || 239764 markings, 514644 edges, 10015 markings/sec, 20 secs
lola: sara is running 25 secs || 284743 markings, 618378 edges, 8996 markings/sec, 25 secs
lola: sara is running 30 secs || 331845 markings, 715729 edges, 9420 markings/sec, 30 secs
lola: sara is running 35 secs || 377798 markings, 821269 edges, 9191 markings/sec, 35 secs
lola: sara is running 40 secs || 423145 markings, 926123 edges, 9069 markings/sec, 40 secs
lola: sara is running 45 secs || 470782 markings, 1028512 edges, 9527 markings/sec, 45 secs
lola: sara is running 50 secs || 517343 markings, 1132214 edges, 9312 markings/sec, 50 secs
lola: sara is running 55 secs || 565242 markings, 1236834 edges, 9580 markings/sec, 55 secs
lola: sara is running 60 secs || 611914 markings, 1340254 edges, 9334 markings/sec, 60 secs
lola: sara is running 65 secs || 657087 markings, 1443370 edges, 9035 markings/sec, 65 secs
lola: sara is running 70 secs || 703035 markings, 1546514 edges, 9190 markings/sec, 70 secs
lola: sara is running 75 secs || 746829 markings, 1646161 edges, 8759 markings/sec, 75 secs
lola: sara is running 80 secs || 791064 markings, 1746343 edges, 8847 markings/sec, 80 secs
lola: sara is running 85 secs || 836085 markings, 1848137 edges, 9004 markings/sec, 85 secs
lola: sara is running 90 secs || 881289 markings, 1950160 edges, 9041 markings/sec, 90 secs
lola: sara is running 95 secs || 924027 markings, 2052714 edges, 8548 markings/sec, 95 secs
lola: sara is running 100 secs || 969403 markings, 2152382 edges, 9075 markings/sec, 100 secs
lola: sara is running 105 secs || 1015095 markings, 2242123 edges, 9138 markings/sec, 105 secs
lola: sara is running 110 secs || 1060413 markings, 2344777 edges, 9064 markings/sec, 110 secs
lola: sara is running 115 secs || 1105839 markings, 2448149 edges, 9085 markings/sec, 115 secs
lola: sara is running 120 secs || 1151388 markings, 2551169 edges, 9110 markings/sec, 120 secs
lola: sara is running 125 secs || 1197320 markings, 2656661 edges, 9186 markings/sec, 125 secs
lola: sara is running 130 secs || 1241398 markings, 2756151 edges, 8816 markings/sec, 130 secs
lola: sara is running 135 secs || 1286267 markings, 2854761 edges, 8974 markings/sec, 135 secs
lola: sara is running 140 secs || 1330029 markings, 2956485 edges, 8752 markings/sec, 140 secs
lola: sara is running 145 secs || 1373859 markings, 3057201 edges, 8766 markings/sec, 145 secs
lola: sara is running 150 secs || 1418772 markings, 3157877 edges, 8983 markings/sec, 150 secs
lola: sara is running 155 secs || 1463584 markings, 3260781 edges, 8962 markings/sec, 155 secs
lola: sara is running 160 secs || 1508042 markings, 3363289 edges, 8892 markings/sec, 160 secs
lola: sara is running 165 secs || 1553241 markings, 3466591 edges, 9040 markings/sec, 165 secs
lola: sara is running 170 secs || 1598337 markings, 3567504 edges, 9019 markings/sec, 170 secs
lola: sara is running 175 secs || 1642139 markings, 3667112 edges, 8760 markings/sec, 175 secs
lola: sara is running 180 secs || 1685308 markings, 3766002 edges, 8634 markings/sec, 180 secs
lola: sara is running 185 secs || 1728726 markings, 3863612 edges, 8684 markings/sec, 185 secs
lola: sara is running 190 secs || 1772648 markings, 3962649 edges, 8784 markings/sec, 190 secs
lola: sara is running 195 secs || 1818671 markings, 4052866 edges, 9205 markings/sec, 195 secs
lola: sara is running 200 secs || 1860507 markings, 4149460 edges, 8367 markings/sec, 200 secs
lola: sara is running 205 secs || 1903432 markings, 4248974 edges, 8585 markings/sec, 205 secs
lola: sara is running 210 secs || 1946232 markings, 4346518 edges, 8560 markings/sec, 210 secs
lola: sara is running 215 secs || 1989999 markings, 4441898 edges, 8753 markings/sec, 215 secs
lola: sara is running 220 secs || 2034001 markings, 4542008 edges, 8800 markings/sec, 220 secs
lola: sara is running 225 secs || 2077436 markings, 4637850 edges, 8687 markings/sec, 225 secs
lola: sara is running 230 secs || 2120775 markings, 4736467 edges, 8668 markings/sec, 230 secs
lola: sara is running 235 secs || 2163030 markings, 4832955 edges, 8451 markings/sec, 235 secs
lola: sara is running 240 secs || 2206651 markings, 4930834 edges, 8724 markings/sec, 240 secs
lola: sara is running 245 secs || 2251052 markings, 5025587 edges, 8880 markings/sec, 245 secs
lola: sara is running 250 secs || 2294115 markings, 5125202 edges, 8613 markings/sec, 250 secs
lola: sara is running 255 secs || 2335895 markings, 5223380 edges, 8356 markings/sec, 255 secs
lola: sara is running 260 secs || 2375482 markings, 5321470 edges, 7917 markings/sec, 260 secs
lola: sara is running 265 secs || 2420366 markings, 5415888 edges, 8977 markings/sec, 265 secs
lola: sara is running 270 secs || 2463350 markings, 5508904 edges, 8597 markings/sec, 270 secs
lola: sara is running 275 secs || 2507434 markings, 5610837 edges, 8817 markings/sec, 275 secs
lola: sara is running 280 secs || 2551191 markings, 5705939 edges, 8751 markings/sec, 280 secs
lola: sara is running 285 secs || 2592515 markings, 5798219 edges, 8265 markings/sec, 285 secs
lola: sara is running 290 secs || 2632918 markings, 5891758 edges, 8081 markings/sec, 290 secs
lola: sara is running 295 secs || 2674203 markings, 5984533 edges, 8257 markings/sec, 295 secs
lola: sara is running 300 secs || 2716258 markings, 6078036 edges, 8411 markings/sec, 300 secs
lola: sara is running 305 secs || 2756755 markings, 6172240 edges, 8099 markings/sec, 305 secs
lola: sara is running 310 secs || 2797653 markings, 6266655 edges, 8180 markings/sec, 310 secs
lola: sara is running 315 secs || 2837387 markings, 6356783 edges, 7947 markings/sec, 315 secs
lola: sara is running 320 secs || 2877447 markings, 6446847 edges, 8012 markings/sec, 320 secs
lola: sara is running 325 secs || 2916953 markings, 6535850 edges, 7901 markings/sec, 325 secs
lola: sara is running 330 secs || 2957643 markings, 6629304 edges, 8138 markings/sec, 330 secs
lola: sara is running 335 secs || 2999867 markings, 6724881 edges, 8445 markings/sec, 335 secs
lola: sara is running 340 secs || 3042122 markings, 6818932 edges, 8451 markings/sec, 340 secs
lola: sara is running 345 secs || 3083666 markings, 6914687 edges, 8309 markings/sec, 345 secs
lola: sara is running 350 secs || 3126706 markings, 7012116 edges, 8608 markings/sec, 350 secs
lola: sara is running 355 secs || 3169848 markings, 7108084 edges, 8628 markings/sec, 355 secs
lola: sara is running 360 secs || 3212047 markings, 7205703 edges, 8440 markings/sec, 360 secs
lola: sara is running 365 secs || 3253186 markings, 7300006 edges, 8228 markings/sec, 365 secs
lola: sara is running 370 secs || 3294357 markings, 7392730 edges, 8234 markings/sec, 370 secs
lola: sara is running 375 secs || 3336518 markings, 7487699 edges, 8432 markings/sec, 375 secs
lola: sara is running 380 secs || 3378583 markings, 7582438 edges, 8413 markings/sec, 380 secs
lola: sara is running 385 secs || 3422241 markings, 7683051 edges, 8732 markings/sec, 385 secs
lola: sara is running 390 secs || 3461701 markings, 7784525 edges, 7892 markings/sec, 390 secs
lola: sara is running 395 secs || 3504304 markings, 7879538 edges, 8521 markings/sec, 395 secs
lola: sara is running 400 secs || 3553719 markings, 7960643 edges, 9883 markings/sec, 400 secs
lola: sara is running 405 secs || 3597786 markings, 8061356 edges, 8813 markings/sec, 405 secs
lola: sara is running 410 secs || 3641601 markings, 8159371 edges, 8763 markings/sec, 410 secs
lola: sara is running 415 secs || 3685661 markings, 8259897 edges, 8812 markings/sec, 415 secs
lola: sara is running 420 secs || 3729758 markings, 8360561 edges, 8819 markings/sec, 420 secs
lola: sara is running 425 secs || 3773445 markings, 8458895 edges, 8737 markings/sec, 425 secs
lola: sara is running 430 secs || 3815358 markings, 8555209 edges, 8383 markings/sec, 430 secs
lola: sara is running 435 secs || 3858567 markings, 8650772 edges, 8642 markings/sec, 435 secs
lola: sara is running 440 secs || 3901206 markings, 8748928 edges, 8528 markings/sec, 440 secs
lola: sara is running 445 secs || 3943156 markings, 8845883 edges, 8390 markings/sec, 445 secs
lola: sara is running 450 secs || 3987043 markings, 8943662 edges, 8777 markings/sec, 450 secs
lola: sara is running 455 secs || 4030312 markings, 9043487 edges, 8654 markings/sec, 455 secs
lola: sara is running 460 secs || 4073460 markings, 9143105 edges, 8630 markings/sec, 460 secs
lola: sara is running 465 secs || 4117958 markings, 9244402 edges, 8900 markings/sec, 465 secs
lola: sara is running 470 secs || 4157859 markings, 9333966 edges, 7980 markings/sec, 470 secs
lola: sara is running 475 secs || 4196269 markings, 9419656 edges, 7682 markings/sec, 475 secs
lola: sara is running 480 secs || 4233965 markings, 9507186 edges, 7539 markings/sec, 480 secs
lola: sara is running 485 secs || 4272608 markings, 9594448 edges, 7729 markings/sec, 485 secs
lola: sara is running 490 secs || 4311546 markings, 9684701 edges, 7788 markings/sec, 490 secs
lola: sara is running 495 secs || 4350903 markings, 9772662 edges, 7871 markings/sec, 495 secs
lola: sara is running 500 secs || 4389150 markings, 9861280 edges, 7649 markings/sec, 500 secs
lola: sara is running 505 secs || 4428016 markings, 9949206 edges, 7773 markings/sec, 505 secs
lola: sara is running 510 secs || 4467792 markings, 10040032 edges, 7955 markings/sec, 510 secs
lola: sara is running 515 secs || 4506109 markings, 10126257 edges, 7663 markings/sec, 515 secs
lola: sara is running 520 secs || 4545131 markings, 10216231 edges, 7804 markings/sec, 520 secs
lola: sara is running 525 secs || 4585546 markings, 10308286 edges, 8083 markings/sec, 525 secs
lola: sara is running 530 secs || 4626912 markings, 10400618 edges, 8273 markings/sec, 530 secs
lola: sara is running 535 secs || 4666976 markings, 10493076 edges, 8013 markings/sec, 535 secs
lola: sara is running 540 secs || 4706968 markings, 10585249 edges, 7998 markings/sec, 540 secs
lola: sara is running 545 secs || 4747876 markings, 10677353 edges, 8182 markings/sec, 545 secs
lola: sara is running 550 secs || 4789315 markings, 10772397 edges, 8288 markings/sec, 550 secs
lola: sara is running 555 secs || 4831083 markings, 10868707 edges, 8354 markings/sec, 555 secs
lola: sara is running 560 secs || 4878947 markings, 10968432 edges, 9573 markings/sec, 560 secs
lola: sara is running 565 secs || 4927300 markings, 11079467 edges, 9671 markings/sec, 565 secs
lola: sara is running 570 secs || 4975049 markings, 11190091 edges, 9550 markings/sec, 570 secs
lola: sara is running 575 secs || 5022677 markings, 11300028 edges, 9526 markings/sec, 575 secs
lola: sara is running 580 secs || 5070528 markings, 11408794 edges, 9570 markings/sec, 580 secs
lola: sara is running 585 secs || 5121215 markings, 11503807 edges, 10137 markings/sec, 585 secs
lola: sara is running 590 secs || 5169300 markings, 11613991 edges, 9617 markings/sec, 590 secs
lola: sara is running 595 secs || 5217094 markings, 11724570 edges, 9559 markings/sec, 595 secs
lola: sara is running 600 secs || 5264844 markings, 11834956 edges, 9550 markings/sec, 600 secs
lola: sara is running 605 secs || 5311579 markings, 11942596 edges, 9347 markings/sec, 605 secs
lola: sara is running 610 secs || 5358780 markings, 12050509 edges, 9440 markings/sec, 610 secs
lola: sara is running 615 secs || 5406157 markings, 12157869 edges, 9475 markings/sec, 615 secs
lola: sara is running 620 secs || 5454730 markings, 12259162 edges, 9715 markings/sec, 620 secs
lola: sara is running 625 secs || 5502153 markings, 12367068 edges, 9485 markings/sec, 625 secs
lola: sara is running 630 secs || 5549292 markings, 12476028 edges, 9428 markings/sec, 630 secs
lola: sara is running 635 secs || 5596402 markings, 12584941 edges, 9422 markings/sec, 635 secs
lola: sara is running 640 secs || 5642187 markings, 12690473 edges, 9157 markings/sec, 640 secs
lola: sara is running 645 secs || 5687259 markings, 12796562 edges, 9014 markings/sec, 645 secs
lola: sara is running 650 secs || 5725033 markings, 12887116 edges, 7555 markings/sec, 650 secs
lola: sara is running 655 secs || 5767479 markings, 12984943 edges, 8489 markings/sec, 655 secs
lola: sara is running 660 secs || 5817003 markings, 13094803 edges, 9905 markings/sec, 660 secs
lola: sara is running 665 secs || 5864813 markings, 13203904 edges, 9562 markings/sec, 665 secs
lola: sara is running 670 secs || 5913002 markings, 13311827 edges, 9638 markings/sec, 670 secs
lola: sara is running 675 secs || 5959326 markings, 13411419 edges, 9265 markings/sec, 675 secs
lola: sara is running 680 secs || 6006630 markings, 13507343 edges, 9461 markings/sec, 680 secs
lola: sara is running 685 secs || 6049388 markings, 13603952 edges, 8552 markings/sec, 685 secs
lola: sara is running 690 secs || 6097765 markings, 13707308 edges, 9675 markings/sec, 690 secs
lola: sara is running 695 secs || 6150202 markings, 13815256 edges, 10487 markings/sec, 695 secs
lola: sara is running 700 secs || 6200608 markings, 13921214 edges, 10081 markings/sec, 700 secs
lola: sara is running 705 secs || 6245512 markings, 14022810 edges, 8981 markings/sec, 705 secs
lola: sara is running 710 secs || 6286744 markings, 14116374 edges, 8246 markings/sec, 710 secs
lola: sara is running 715 secs || 6329486 markings, 14212592 edges, 8548 markings/sec, 715 secs
lola: sara is running 720 secs || 6369719 markings, 14303721 edges, 8047 markings/sec, 720 secs
lola: sara is running 725 secs || 6410417 markings, 14395838 edges, 8140 markings/sec, 725 secs
lola: sara is running 730 secs || 6451899 markings, 14489555 edges, 8296 markings/sec, 730 secs
lola: sara is running 735 secs || 6492452 markings, 14581439 edges, 8111 markings/sec, 735 secs
lola: sara is running 740 secs || 6528297 markings, 14662174 edges, 7169 markings/sec, 740 secs
lola: sara is running 745 secs || 6564603 markings, 14744232 edges, 7261 markings/sec, 745 secs
lola: sara is running 750 secs || 6600954 markings, 14826349 edges, 7270 markings/sec, 750 secs
lola: sara is running 755 secs || 6638639 markings, 14911439 edges, 7537 markings/sec, 755 secs
lola: sara is running 760 secs || 6676640 markings, 14997309 edges, 7600 markings/sec, 760 secs
lola: sara is running 765 secs || 6715067 markings, 15084301 edges, 7685 markings/sec, 765 secs
lola: sara is running 770 secs || 6754422 markings, 15173179 edges, 7871 markings/sec, 770 secs
lola: sara is running 775 secs || 6803338 markings, 15265895 edges, 9783 markings/sec, 775 secs
lola: sara is running 780 secs || 6851290 markings, 15372732 edges, 9590 markings/sec, 780 secs
lola: sara is running 785 secs || 6898105 markings, 15480665 edges, 9363 markings/sec, 785 secs
lola: sara is running 790 secs || 6944709 markings, 15588698 edges, 9321 markings/sec, 790 secs
lola: sara is running 795 secs || 6990854 markings, 15696004 edges, 9229 markings/sec, 795 secs
lola: sara is running 800 secs || 7036475 markings, 15799713 edges, 9124 markings/sec, 800 secs
lola: sara is running 805 secs || 7082490 markings, 15903896 edges, 9203 markings/sec, 805 secs
lola: sara is running 810 secs || 7130979 markings, 16004789 edges, 9698 markings/sec, 810 secs
lola: sara is running 815 secs || 7177162 markings, 16111310 edges, 9237 markings/sec, 815 secs
lola: sara is running 820 secs || 7222989 markings, 16217556 edges, 9165 markings/sec, 820 secs
lola: sara is running 825 secs || 7268755 markings, 16323291 edges, 9153 markings/sec, 825 secs
lola: sara is running 830 secs || 7314072 markings, 16428314 edges, 9063 markings/sec, 830 secs
lola: sara is running 835 secs || 7357859 markings, 16528999 edges, 8757 markings/sec, 835 secs
lola: sara is running 840 secs || 7402441 markings, 16629982 edges, 8916 markings/sec, 840 secs
lola: sara is running 845 secs || 7447188 markings, 16731678 edges, 8949 markings/sec, 845 secs
lola: sara is running 850 secs || 7492053 markings, 16833685 edges, 8973 markings/sec, 850 secs
lola: sara is running 855 secs || 7536926 markings, 16936151 edges, 8975 markings/sec, 855 secs
lola: sara is running 860 secs || 7581011 markings, 17036030 edges, 8817 markings/sec, 860 secs
lola: sara is running 865 secs || 7620524 markings, 17126478 edges, 7903 markings/sec, 865 secs
lola: sara is running 870 secs || 7668149 markings, 17234800 edges, 9525 markings/sec, 870 secs
lola: sara is running 875 secs || 7714602 markings, 17339430 edges, 9291 markings/sec, 875 secs
lola: sara is running 880 secs || 7761228 markings, 17445566 edges, 9325 markings/sec, 880 secs
lola: sara is running 885 secs || 7806294 markings, 17548018 edges, 9013 markings/sec, 885 secs
lola: sara is running 890 secs || 7849547 markings, 17646652 edges, 8651 markings/sec, 890 secs
lola: sara is running 895 secs || 7894630 markings, 17747010 edges, 9017 markings/sec, 895 secs
lola: sara is running 900 secs || 7940949 markings, 17852491 edges, 9264 markings/sec, 900 secs
lola: sara is running 905 secs || 7986454 markings, 17955609 edges, 9101 markings/sec, 905 secs
lola: sara is running 910 secs || 8032493 markings, 18059470 edges, 9208 markings/sec, 910 secs
lola: sara is running 915 secs || 8078684 markings, 18164950 edges, 9238 markings/sec, 915 secs
lola: sara is running 920 secs || 8123584 markings, 18265133 edges, 8980 markings/sec, 920 secs
lola: sara is running 925 secs || 8174839 markings, 18373835 edges, 10251 markings/sec, 925 secs
lola: sara is running 930 secs || 8224589 markings, 18489333 edges, 9950 markings/sec, 930 secs
lola: sara is running 935 secs || 8273662 markings, 18602517 edges, 9815 markings/sec, 935 secs
lola: sara is running 940 secs || 8320692 markings, 18708470 edges, 9406 markings/sec, 940 secs
lola: sara is running 945 secs || 8368971 markings, 18810799 edges, 9656 markings/sec, 945 secs
lola: sara is running 950 secs || 8417781 markings, 18923488 edges, 9762 markings/sec, 950 secs
lola: sara is running 955 secs || 8464514 markings, 19035762 edges, 9347 markings/sec, 955 secs
lola: sara is running 960 secs || 8512401 markings, 19145066 edges, 9577 markings/sec, 960 secs
lola: sara is running 965 secs || 8559948 markings, 19253109 edges, 9509 markings/sec, 965 secs
lola: sara is running 970 secs || 8607714 markings, 19362264 edges, 9553 markings/sec, 970 secs
lola: sara is running 975 secs || 8653864 markings, 19462560 edges, 9230 markings/sec, 975 secs
lola: sara is running 980 secs || 8703278 markings, 19576488 edges, 9883 markings/sec, 980 secs
lola: sara is running 985 secs || 8752324 markings, 19687555 edges, 9809 markings/sec, 985 secs
lola: sara is running 990 secs || 8800272 markings, 19796433 edges, 9590 markings/sec, 990 secs
lola: sara is running 995 secs || 8839566 markings, 19892033 edges, 7859 markings/sec, 995 secs
lola: sara is running 1000 secs || 8877288 markings, 19985437 edges, 7544 markings/sec, 1000 secs
lola: sara is running 1005 secs || 8922441 markings, 20090560 edges, 9031 markings/sec, 1005 secs
lola: sara is running 1010 secs || 8971439 markings, 20199008 edges, 9800 markings/sec, 1010 secs
lola: sara is running 1015 secs || 9020917 markings, 20309360 edges, 9896 markings/sec, 1015 secs
lola: sara is running 1020 secs || 9068425 markings, 20420271 edges, 9502 markings/sec, 1020 secs
lola: sara is running 1025 secs || 9115692 markings, 20526621 edges, 9453 markings/sec, 1025 secs
lola: sara is running 1030 secs || 9163167 markings, 20630834 edges, 9495 markings/sec, 1030 secs
lola: sara is running 1035 secs || 9212791 markings, 20745554 edges, 9925 markings/sec, 1035 secs
lola: sara is running 1040 secs || 9262721 markings, 20856856 edges, 9986 markings/sec, 1040 secs
lola: sara is running 1045 secs || 9310859 markings, 20967930 edges, 9628 markings/sec, 1045 secs
lola: sara is running 1050 secs || 9355928 markings, 21069302 edges, 9014 markings/sec, 1050 secs
lola: sara is running 1055 secs || 9403337 markings, 21169739 edges, 9482 markings/sec, 1055 secs
lola: sara is running 1060 secs || 9451606 markings, 21267265 edges, 9654 markings/sec, 1060 secs
lola: sara is running 1065 secs || 9501043 markings, 21380442 edges, 9887 markings/sec, 1065 secs
lola: sara is running 1070 secs || 9550151 markings, 21479160 edges, 9822 markings/sec, 1070 secs
lola: sara is running 1075 secs || 9601325 markings, 21570567 edges, 10235 markings/sec, 1075 secs
lola: sara is running 1080 secs || 9650320 markings, 21683703 edges, 9799 markings/sec, 1080 secs
lola: sara is running 1085 secs || 9699303 markings, 21797387 edges, 9797 markings/sec, 1085 secs
lola: sara is running 1090 secs || 9748224 markings, 21910783 edges, 9784 markings/sec, 1090 secs
lola: sara is running 1095 secs || 9796275 markings, 22020708 edges, 9610 markings/sec, 1095 secs
lola: sara is running 1100 secs || 9844499 markings, 22129914 edges, 9645 markings/sec, 1100 secs
lola: sara is running 1105 secs || 9894902 markings, 22235410 edges, 10081 markings/sec, 1105 secs
lola: sara is running 1110 secs || 9943095 markings, 22346645 edges, 9639 markings/sec, 1110 secs
lola: sara is running 1115 secs || 9991045 markings, 22457364 edges, 9590 markings/sec, 1115 secs
lola: sara is running 1120 secs || 10038841 markings, 22568232 edges, 9559 markings/sec, 1120 secs
lola: sara is running 1125 secs || 10085686 markings, 22675640 edges, 9369 markings/sec, 1125 secs
lola: sara is running 1130 secs || 10131353 markings, 22780610 edges, 9133 markings/sec, 1130 secs
lola: sara is running 1135 secs || 10178233 markings, 22887117 edges, 9376 markings/sec, 1135 secs
lola: sara is running 1140 secs || 10225075 markings, 22994022 edges, 9368 markings/sec, 1140 secs
lola: sara is running 1145 secs || 10272167 markings, 23100910 edges, 9418 markings/sec, 1145 secs
lola: sara is running 1150 secs || 10318555 markings, 23204591 edges, 9278 markings/sec, 1150 secs
lola: sara is running 1155 secs || 10366950 markings, 23302852 edges, 9679 markings/sec, 1155 secs
lola: sara is running 1160 secs || 10415574 markings, 23414219 edges, 9725 markings/sec, 1160 secs
lola: sara is running 1165 secs || 10464623 markings, 23524573 edges, 9810 markings/sec, 1165 secs
lola: sara is running 1170 secs || 10512494 markings, 23633080 edges, 9574 markings/sec, 1170 secs
lola: sara is running 1175 secs || 10557873 markings, 23736617 edges, 9076 markings/sec, 1175 secs
lola: sara is running 1180 secs || 10599905 markings, 23830965 edges, 8406 markings/sec, 1180 secs
lola: sara is running 1185 secs || 10641387 markings, 23925840 edges, 8296 markings/sec, 1185 secs
lola: sara is running 1190 secs || 10683047 markings, 24021183 edges, 8332 markings/sec, 1190 secs
lola: sara is running 1195 secs || 10725286 markings, 24117126 edges, 8448 markings/sec, 1195 secs
lola: sara is running 1200 secs || 10766653 markings, 24210002 edges, 8273 markings/sec, 1200 secs
lola: sara is running 1205 secs || 10806187 markings, 24301123 edges, 7907 markings/sec, 1205 secs
lola: sara is running 1210 secs || 10847205 markings, 24391785 edges, 8204 markings/sec, 1210 secs
lola: sara is running 1215 secs || 10887602 markings, 24484413 edges, 8079 markings/sec, 1215 secs
lola: sara is running 1220 secs || 10927363 markings, 24576275 edges, 7952 markings/sec, 1220 secs
lola: sara is running 1225 secs || 10968654 markings, 24668208 edges, 8258 markings/sec, 1225 secs
lola: sara is running 1230 secs || 11008228 markings, 24759140 edges, 7915 markings/sec, 1230 secs
lola: sara is running 1235 secs || 11048826 markings, 24853021 edges, 8120 markings/sec, 1235 secs
lola: sara is running 1240 secs || 11090077 markings, 24947609 edges, 8250 markings/sec, 1240 secs
lola: sara is running 1245 secs || 11130858 markings, 25039557 edges, 8156 markings/sec, 1245 secs
lola: sara is running 1250 secs || 11166879 markings, 25121067 edges, 7204 markings/sec, 1250 secs
lola: sara is running 1255 secs || 11202800 markings, 25202374 edges, 7184 markings/sec, 1255 secs
lola: sara is running 1260 secs || 11237792 markings, 25282756 edges, 6998 markings/sec, 1260 secs
lola: sara is running 1265 secs || 11274211 markings, 25365722 edges, 7284 markings/sec, 1265 secs
lola: sara is running 1270 secs || 11311469 markings, 25448450 edges, 7452 markings/sec, 1270 secs
lola: sara is running 1275 secs || 11347443 markings, 25531627 edges, 7195 markings/sec, 1275 secs
lola: sara is running 1280 secs || 11383092 markings, 25614110 edges, 7130 markings/sec, 1280 secs
lola: sara is running 1285 secs || 11419429 markings, 25696315 edges, 7267 markings/sec, 1285 secs
lola: sara is running 1290 secs || 11457112 markings, 25782508 edges, 7537 markings/sec, 1290 secs
lola: sara is running 1295 secs || 11495069 markings, 25867511 edges, 7591 markings/sec, 1295 secs
lola: sara is running 1300 secs || 11531997 markings, 25952760 edges, 7386 markings/sec, 1300 secs
lola: sara is running 1305 secs || 11570304 markings, 26039692 edges, 7661 markings/sec, 1305 secs
lola: sara is running 1310 secs || 11609487 markings, 26127480 edges, 7837 markings/sec, 1310 secs
lola: sara is running 1315 secs || 11647344 markings, 26214727 edges, 7571 markings/sec, 1315 secs
lola: sara is running 1320 secs || 11684762 markings, 26301314 edges, 7484 markings/sec, 1320 secs
lola: sara is running 1325 secs || 11723249 markings, 26387446 edges, 7697 markings/sec, 1325 secs
lola: sara is running 1330 secs || 11761988 markings, 26476760 edges, 7748 markings/sec, 1330 secs
lola: sara is running 1335 secs || 11801628 markings, 26567836 edges, 7928 markings/sec, 1335 secs
lola: sara is running 1340 secs || 11841651 markings, 26655650 edges, 8005 markings/sec, 1340 secs
lola: sara is running 1345 secs || 11888085 markings, 26757012 edges, 9287 markings/sec, 1345 secs
lola: sara is running 1350 secs || 11933681 markings, 26862105 edges, 9119 markings/sec, 1350 secs
lola: sara is running 1355 secs || 11978936 markings, 26967053 edges, 9051 markings/sec, 1355 secs
lola: sara is running 1360 secs || 12024467 markings, 27071705 edges, 9106 markings/sec, 1360 secs
lola: sara is running 1365 secs || 12070045 markings, 27174467 edges, 9116 markings/sec, 1365 secs
lola: sara is running 1370 secs || 12115828 markings, 27280353 edges, 9157 markings/sec, 1370 secs
lola: sara is running 1375 secs || 12163889 markings, 27381541 edges, 9612 markings/sec, 1375 secs
lola: sara is running 1380 secs || 12208213 markings, 27482790 edges, 8865 markings/sec, 1380 secs
lola: sara is running 1385 secs || 12252059 markings, 27584387 edges, 8769 markings/sec, 1385 secs
lola: sara is running 1390 secs || 12295917 markings, 27685787 edges, 8772 markings/sec, 1390 secs
lola: sara is running 1395 secs || 12339389 markings, 27786605 edges, 8694 markings/sec, 1395 secs
lola: sara is running 1400 secs || 12383722 markings, 27886974 edges, 8867 markings/sec, 1400 secs
lola: sara is running 1405 secs || 12428247 markings, 27989584 edges, 8905 markings/sec, 1405 secs
lola: sara is running 1410 secs || 12473621 markings, 28094582 edges, 9075 markings/sec, 1410 secs
lola: sara is running 1415 secs || 12522734 markings, 28198605 edges, 9823 markings/sec, 1415 secs
lola: sara is running 1420 secs || 12569850 markings, 28306810 edges, 9423 markings/sec, 1420 secs
lola: sara is running 1425 secs || 12615949 markings, 28413470 edges, 9220 markings/sec, 1425 secs
lola: sara is running 1430 secs || 12662283 markings, 28520560 edges, 9267 markings/sec, 1430 secs
lola: sara is running 1435 secs || 12708263 markings, 28626108 edges, 9196 markings/sec, 1435 secs
lola: sara is running 1440 secs || 12755544 markings, 28733437 edges, 9456 markings/sec, 1440 secs
lola: sara is running 1445 secs || 12804070 markings, 28836020 edges, 9705 markings/sec, 1445 secs
lola: sara is running 1450 secs || 12850600 markings, 28943335 edges, 9306 markings/sec, 1450 secs
lola: sara is running 1455 secs || 12896683 markings, 29050282 edges, 9217 markings/sec, 1455 secs
lola: sara is running 1460 secs || 12941711 markings, 29154056 edges, 9006 markings/sec, 1460 secs
lola: sara is running 1465 secs || 12987234 markings, 29259626 edges, 9105 markings/sec, 1465 secs
lola: sara is running 1470 secs || 13034200 markings, 29365808 edges, 9393 markings/sec, 1470 secs
lola: sara is running 1475 secs || 13082051 markings, 29474964 edges, 9570 markings/sec, 1475 secs
lola: sara is running 1480 secs || 13126893 markings, 29563965 edges, 8968 markings/sec, 1480 secs
lola: sara is running 1485 secs || 13162806 markings, 29651387 edges, 7183 markings/sec, 1485 secs
lola: sara is running 1490 secs || 13200894 markings, 29745082 edges, 7618 markings/sec, 1490 secs
lola: sara is running 1495 secs || 13236271 markings, 29821800 edges, 7075 markings/sec, 1495 secs
lola: sara is running 1500 secs || 13273905 markings, 29893628 edges, 7527 markings/sec, 1500 secs
lola: sara is running 1505 secs || 13308032 markings, 29977647 edges, 6825 markings/sec, 1505 secs
lola: sara is running 1510 secs || 13344307 markings, 30060680 edges, 7255 markings/sec, 1510 secs
lola: sara is running 1515 secs || 13379432 markings, 30147396 edges, 7025 markings/sec, 1515 secs
lola: sara is running 1520 secs || 13416741 markings, 30238755 edges, 7462 markings/sec, 1520 secs
lola: sara is running 1525 secs || 13455297 markings, 30329337 edges, 7711 markings/sec, 1525 secs
lola: sara is running 1530 secs || 13491185 markings, 30412612 edges, 7178 markings/sec, 1530 secs
lola: sara is running 1535 secs || 13524093 markings, 30499247 edges, 6582 markings/sec, 1535 secs
lola: sara is running 1540 secs || 13563697 markings, 30563885 edges, 7921 markings/sec, 1540 secs
lola: sara is running 1545 secs || 13609169 markings, 30619671 edges, 9094 markings/sec, 1545 secs
lola: sara is running 1550 secs || 13662275 markings, 30684647 edges, 10621 markings/sec, 1550 secs
lola: sara is running 1555 secs || 13696462 markings, 30757473 edges, 6837 markings/sec, 1555 secs
lola: sara is running 1560 secs || 13729892 markings, 30832286 edges, 6686 markings/sec, 1560 secs
lola: sara is running 1565 secs || 13773548 markings, 30891319 edges, 8731 markings/sec, 1565 secs
lola: sara is running 1570 secs || 13821704 markings, 30950439 edges, 9631 markings/sec, 1570 secs
lola: sara is running 1575 secs || 13871475 markings, 31011409 edges, 9954 markings/sec, 1575 secs
lola: sara is running 1580 secs || 13917025 markings, 31067297 edges, 9110 markings/sec, 1580 secs
lola: sara is running 1585 secs || 13967700 markings, 31134636 edges, 10135 markings/sec, 1585 secs
lola: sara is running 1590 secs || 14000520 markings, 31205743 edges, 6564 markings/sec, 1590 secs
lola: sara is running 1595 secs || 14031993 markings, 31280537 edges, 6295 markings/sec, 1595 secs
lola: sara is running 1600 secs || 14064218 markings, 31354706 edges, 6445 markings/sec, 1600 secs
lola: sara is running 1605 secs || 14108016 markings, 31411276 edges, 8760 markings/sec, 1605 secs
lola: sara is running 1610 secs || 14156018 markings, 31470202 edges, 9600 markings/sec, 1610 secs
lola: sara is running 1615 secs || 14205392 markings, 31530686 edges, 9875 markings/sec, 1615 secs
lola: sara is running 1620 secs || 14250475 markings, 31586003 edges, 9017 markings/sec, 1620 secs
lola: sara is running 1625 secs || 14301413 markings, 31652812 edges, 10188 markings/sec, 1625 secs
lola: sara is running 1630 secs || 14333549 markings, 31722433 edges, 6427 markings/sec, 1630 secs
lola: sara is running 1635 secs || 14364829 markings, 31795031 edges, 6256 markings/sec, 1635 secs
lola: sara is running 1640 secs || 14396007 markings, 31868726 edges, 6236 markings/sec, 1640 secs
lola: sara is running 1645 secs || 14438435 markings, 31926266 edges, 8486 markings/sec, 1645 secs
lola: sara is running 1650 secs || 14484733 markings, 31983085 edges, 9260 markings/sec, 1650 secs
lola: sara is running 1655 secs || 14529681 markings, 32050410 edges, 8990 markings/sec, 1655 secs
lola: sara is running 1660 secs || 14561400 markings, 32119131 edges, 6344 markings/sec, 1660 secs
lola: sara is running 1665 secs || 14594087 markings, 32186332 edges, 6537 markings/sec, 1665 secs
lola: sara is running 1670 secs || 14626488 markings, 32255261 edges, 6480 markings/sec, 1670 secs
lola: sara is running 1675 secs || 14660518 markings, 32323770 edges, 6806 markings/sec, 1675 secs
lola: sara is running 1680 secs || 14701527 markings, 32407602 edges, 8202 markings/sec, 1680 secs
lola: sara is running 1685 secs || 14741239 markings, 32488060 edges, 7942 markings/sec, 1685 secs
lola: sara is running 1690 secs || 14781472 markings, 32570492 edges, 8047 markings/sec, 1690 secs
lola: sara is running 1695 secs || 14817605 markings, 32644324 edges, 7227 markings/sec, 1695 secs
lola: sara is running 1700 secs || 14853056 markings, 32716782 edges, 7090 markings/sec, 1700 secs
lola: sara is running 1705 secs || 14889590 markings, 32791453 edges, 7307 markings/sec, 1705 secs
lola: sara is running 1710 secs || 14927156 markings, 32868017 edges, 7513 markings/sec, 1710 secs
lola: sara is running 1715 secs || 14968830 markings, 32951633 edges, 8335 markings/sec, 1715 secs
lola: sara is running 1720 secs || 15014046 markings, 33044452 edges, 9043 markings/sec, 1720 secs
lola: sara is running 1725 secs || 15058866 markings, 33135081 edges, 8964 markings/sec, 1725 secs
lola: sara is running 1730 secs || 15103603 markings, 33226702 edges, 8947 markings/sec, 1730 secs
lola: sara is running 1735 secs || 15150748 markings, 33322510 edges, 9429 markings/sec, 1735 secs
lola: sara is running 1740 secs || 15198195 markings, 33418209 edges, 9489 markings/sec, 1740 secs
lola: sara is running 1745 secs || 15243619 markings, 33511789 edges, 9085 markings/sec, 1745 secs
lola: sara is running 1750 secs || 15275311 markings, 33580450 edges, 6338 markings/sec, 1750 secs
lola: sara is running 1755 secs || 15308578 markings, 33644524 edges, 6653 markings/sec, 1755 secs
lola: sara is running 1760 secs || 15337813 markings, 33716330 edges, 5847 markings/sec, 1760 secs
lola: sara is running 1765 secs || 15372989 markings, 33792550 edges, 7035 markings/sec, 1765 secs
lola: sara is running 1770 secs || 15412534 markings, 33878570 edges, 7909 markings/sec, 1770 secs
lola: sara is running 1775 secs || 15451264 markings, 33962863 edges, 7746 markings/sec, 1775 secs
lola: sara is running 1780 secs || 15490617 markings, 34048559 edges, 7871 markings/sec, 1780 secs
lola: sara is running 1785 secs || 15531105 markings, 34136766 edges, 8098 markings/sec, 1785 secs
lola: sara is running 1790 secs || 15571108 markings, 34223764 edges, 8001 markings/sec, 1790 secs
lola: sara is running 1795 secs || 15606290 markings, 34300259 edges, 7036 markings/sec, 1795 secs
lola: sara is running 1800 secs || 15642176 markings, 34378100 edges, 7177 markings/sec, 1800 secs
lola: sara is running 1805 secs || 15678385 markings, 34456860 edges, 7242 markings/sec, 1805 secs
lola: sara is running 1810 secs || 15715043 markings, 34536606 edges, 7332 markings/sec, 1810 secs
lola: sara is running 1815 secs || 15752365 markings, 34617781 edges, 7464 markings/sec, 1815 secs
lola: sara is running 1820 secs || 15790797 markings, 34701373 edges, 7686 markings/sec, 1820 secs
lola: sara is running 1825 secs || 15834137 markings, 34796023 edges, 8668 markings/sec, 1825 secs
lola: sara is running 1830 secs || 15878529 markings, 34892825 edges, 8878 markings/sec, 1830 secs
lola: sara is running 1835 secs || 15924147 markings, 34992309 edges, 9124 markings/sec, 1835 secs
lola: sara is running 1840 secs || 15967722 markings, 35087528 edges, 8715 markings/sec, 1840 secs
lola: sara is running 1845 secs || 16011674 markings, 35183410 edges, 8790 markings/sec, 1845 secs
lola: sara is running 1850 secs || 16058246 markings, 35285151 edges, 9314 markings/sec, 1850 secs
lola: sara is running 1855 secs || 16104930 markings, 35387082 edges, 9337 markings/sec, 1855 secs
lola: sara is running 1860 secs || 16151276 markings, 35487953 edges, 9269 markings/sec, 1860 secs
lola: sara is running 1865 secs || 16197547 markings, 35589023 edges, 9254 markings/sec, 1865 secs
lola: sara is running 1870 secs || 16243910 markings, 35690198 edges, 9273 markings/sec, 1870 secs
lola: sara is running 1875 secs || 16277899 markings, 35763962 edges, 6798 markings/sec, 1875 secs
lola: sara is running 1880 secs || 16309784 markings, 35833030 edges, 6377 markings/sec, 1880 secs
lola: sara is running 1885 secs || 16349257 markings, 35905183 edges, 7895 markings/sec, 1885 secs
lola: sara is running 1890 secs || 16390442 markings, 35989557 edges, 8237 markings/sec, 1890 secs
lola: sara is running 1895 secs || 16431499 markings, 36072812 edges, 8211 markings/sec, 1895 secs
lola: sara is running 1900 secs || 16471598 markings, 36154752 edges, 8020 markings/sec, 1900 secs
lola: sara is running 1905 secs || 16507974 markings, 36228893 edges, 7275 markings/sec, 1905 secs
lola: sara is running 1910 secs || 16545164 markings, 36304959 edges, 7438 markings/sec, 1910 secs
lola: sara is running 1915 secs || 16583605 markings, 36383551 edges, 7688 markings/sec, 1915 secs
lola: sara is running 1920 secs || 16622977 markings, 36464132 edges, 7874 markings/sec, 1920 secs
lola: sara is running 1925 secs || 16670212 markings, 36559531 edges, 9447 markings/sec, 1925 secs
lola: sara is running 1930 secs || 16716487 markings, 36653004 edges, 9255 markings/sec, 1930 secs
lola: sara is running 1935 secs || 16761311 markings, 36744911 edges, 8965 markings/sec, 1935 secs
lola: sara is running 1940 secs || 16809486 markings, 36842353 edges, 9635 markings/sec, 1940 secs
lola: sara is running 1945 secs || 16858098 markings, 36940447 edges, 9722 markings/sec, 1945 secs
lola: sara is running 1950 secs || 16905103 markings, 37037376 edges, 9401 markings/sec, 1950 secs
lola: sara is running 1955 secs || 16939750 markings, 37111540 edges, 6929 markings/sec, 1955 secs
lola: sara is running 1960 secs || 16973082 markings, 37178510 edges, 6666 markings/sec, 1960 secs
lola: sara is running 1965 secs || 17004256 markings, 37251776 edges, 6235 markings/sec, 1965 secs
lola: sara is running 1970 secs || 17036236 markings, 37321048 edges, 6396 markings/sec, 1970 secs
lola: sara is running 1975 secs || 17068030 markings, 37391550 edges, 6359 markings/sec, 1975 secs
lola: sara is running 1980 secs || 17098032 markings, 37466412 edges, 6000 markings/sec, 1980 secs
lola: sara is running 1985 secs || 17124474 markings, 37552561 edges, 5288 markings/sec, 1985 secs
lola: sara is running 1990 secs || 17166172 markings, 37607296 edges, 8340 markings/sec, 1990 secs
lola: sara is running 1995 secs || 17210885 markings, 37662167 edges, 8943 markings/sec, 1995 secs
lola: sara is running 2000 secs || 17259608 markings, 37721872 edges, 9745 markings/sec, 2000 secs
lola: sara is running 2005 secs || 17303300 markings, 37775485 edges, 8738 markings/sec, 2005 secs
lola: sara is running 2010 secs || 17353329 markings, 37836930 edges, 10006 markings/sec, 2010 secs
lola: sara is running 2015 secs || 17388161 markings, 37901168 edges, 6966 markings/sec, 2015 secs
lola: sara is running 2020 secs || 17418178 markings, 37966187 edges, 6003 markings/sec, 2020 secs
lola: sara is running 2025 secs || 17447181 markings, 38031862 edges, 5801 markings/sec, 2025 secs
lola: sara is running 2030 secs || 17487037 markings, 38110743 edges, 7971 markings/sec, 2030 secs
lola: sara is running 2035 secs || 17526698 markings, 38191299 edges, 7932 markings/sec, 2035 secs
lola: sara is running 2040 secs || 17565784 markings, 38271626 edges, 7817 markings/sec, 2040 secs
lola: sara is running 2045 secs || 17599877 markings, 38341156 edges, 6819 markings/sec, 2045 secs
lola: sara is running 2050 secs || 17634081 markings, 38410484 edges, 6841 markings/sec, 2050 secs
lola: sara is running 2055 secs || 17669110 markings, 38482436 edges, 7006 markings/sec, 2055 secs
lola: sara is running 2060 secs || 17705858 markings, 38557458 edges, 7350 markings/sec, 2060 secs
lola: sara is running 2065 secs || 17744260 markings, 38636113 edges, 7680 markings/sec, 2065 secs
lola: sara is running 2070 secs || 17789574 markings, 38727439 edges, 9063 markings/sec, 2070 secs
lola: sara is running 2075 secs || 17835026 markings, 38819022 edges, 9090 markings/sec, 2075 secs
lola: sara is running 2080 secs || 17878451 markings, 38908315 edges, 8685 markings/sec, 2080 secs
lola: sara is running 2085 secs || 17925118 markings, 39002390 edges, 9333 markings/sec, 2085 secs
lola: sara is running 2090 secs || 17972032 markings, 39098203 edges, 9383 markings/sec, 2090 secs
lola: sara is running 2095 secs || 18017987 markings, 39192040 edges, 9191 markings/sec, 2095 secs
lola: sara is running 2100 secs || 18054629 markings, 39269288 edges, 7328 markings/sec, 2100 secs
lola: sara is running 2105 secs || 18083974 markings, 39332835 edges, 5869 markings/sec, 2105 secs
lola: sara is running 2110 secs || 18113514 markings, 39396819 edges, 5908 markings/sec, 2110 secs
lola: sara is running 2115 secs || 18141341 markings, 39464467 edges, 5565 markings/sec, 2115 secs
lola: sara is running 2120 secs || 18181940 markings, 39520233 edges, 8120 markings/sec, 2120 secs
lola: sara is running 2125 secs || 18227328 markings, 39575939 edges, 9078 markings/sec, 2125 secs
lola: sara is running 2130 secs || 18274046 markings, 39633177 edges, 9344 markings/sec, 2130 secs
lola: sara is running 2135 secs || 18317287 markings, 39686227 edges, 8648 markings/sec, 2135 secs
lola: sara is running 2140 secs || 18367892 markings, 39748395 edges, 10121 markings/sec, 2140 secs
lola: sara is running 2145 secs || 18397986 markings, 39807858 edges, 6019 markings/sec, 2145 secs
lola: sara is running 2150 secs || 18426639 markings, 39869895 edges, 5731 markings/sec, 2150 secs
lola: sara is running 2155 secs || 18454044 markings, 39933564 edges, 5481 markings/sec, 2155 secs
lola: sara is running 2160 secs || 18495055 markings, 39983875 edges, 8202 markings/sec, 2160 secs
lola: sara is running 2165 secs || 18542060 markings, 40041590 edges, 9401 markings/sec, 2165 secs
lola: sara is running 2170 secs || 18578767 markings, 40102126 edges, 7341 markings/sec, 2170 secs
lola: sara is running 2175 secs || 18607216 markings, 40163727 edges, 5690 markings/sec, 2175 secs
lola: sara is running 2180 secs || 18635531 markings, 40225037 edges, 5663 markings/sec, 2180 secs
lola: sara is running 2185 secs || 18663455 markings, 40285581 edges, 5585 markings/sec, 2185 secs
lola: sara is running 2190 secs || 18691279 markings, 40352007 edges, 5565 markings/sec, 2190 secs
lola: sara is running 2195 secs || 18718856 markings, 40418074 edges, 5515 markings/sec, 2195 secs
lola: sara is running 2200 secs || 18746129 markings, 40481690 edges, 5455 markings/sec, 2200 secs
lola: sara is running 2205 secs || 18787545 markings, 40532465 edges, 8283 markings/sec, 2205 secs
lola: sara is running 2210 secs || 18834059 markings, 40589580 edges, 9303 markings/sec, 2210 secs
lola: sara is running 2215 secs || 18878476 markings, 40643971 edges, 8883 markings/sec, 2215 secs
lola: sara is running 2220 secs || 18919854 markings, 40694742 edges, 8276 markings/sec, 2220 secs
lola: sara is running 2225 secs || 18970544 markings, 40757046 edges, 10138 markings/sec, 2225 secs
lola: sara is running 2230 secs || 18997519 markings, 40815528 edges, 5395 markings/sec, 2230 secs
lola: sara is running 2235 secs || 19025310 markings, 40875681 edges, 5558 markings/sec, 2235 secs
lola: sara is running 2240 secs || 19052079 markings, 40936829 edges, 5354 markings/sec, 2240 secs
lola: sara is running 2245 secs || 19090148 markings, 41012187 edges, 7614 markings/sec, 2245 secs
lola: sara is running 2250 secs || 19128605 markings, 41089654 edges, 7691 markings/sec, 2250 secs
lola: sara is running 2255 secs || 19166476 markings, 41167500 edges, 7574 markings/sec, 2255 secs
lola: sara is running 2260 secs || 19203349 markings, 41243003 edges, 7375 markings/sec, 2260 secs
lola: sara is running 2265 secs || 19237462 markings, 41312341 edges, 6823 markings/sec, 2265 secs
lola: sara is running 2270 secs || 19271955 markings, 41383193 edges, 6899 markings/sec, 2270 secs
lola: sara is running 2275 secs || 19307941 markings, 41456192 edges, 7197 markings/sec, 2275 secs
lola: sara is running 2280 secs || 19344372 markings, 41531111 edges, 7286 markings/sec, 2280 secs
lola: sara is running 2285 secs || 19387380 markings, 41617575 edges, 8602 markings/sec, 2285 secs
lola: sara is running 2290 secs || 19431149 markings, 41706810 edges, 8754 markings/sec, 2290 secs
lola: sara is running 2295 secs || 19473358 markings, 41792795 edges, 8442 markings/sec, 2295 secs
lola: sara is running 2300 secs || 19518159 markings, 41882706 edges, 8960 markings/sec, 2300 secs
lola: sara is running 2305 secs || 19562710 markings, 41974461 edges, 8910 markings/sec, 2305 secs
lola: sara is running 2310 secs || 19607892 markings, 42066069 edges, 9036 markings/sec, 2310 secs
lola: sara is running 2315 secs || 19648974 markings, 42151097 edges, 8216 markings/sec, 2315 secs
lola: sara is running 2320 secs || 19676470 markings, 42210628 edges, 5499 markings/sec, 2320 secs
lola: sara is running 2325 secs || 19703666 markings, 42269574 edges, 5439 markings/sec, 2325 secs
lola: sara is running 2330 secs || 19731096 markings, 42328962 edges, 5486 markings/sec, 2330 secs
lola: sara is running 2335 secs || 19757945 markings, 42389729 edges, 5370 markings/sec, 2335 secs
lola: sara is running 2340 secs || 19799343 markings, 42440528 edges, 8280 markings/sec, 2340 secs
lola: sara is running 2345 secs || 19846086 markings, 42497918 edges, 9349 markings/sec, 2345 secs
lola: sara is running 2350 secs || 19889121 markings, 42550615 edges, 8607 markings/sec, 2350 secs
lola: sara is running 2355 secs || 19930747 markings, 42601693 edges, 8325 markings/sec, 2355 secs
lola: sara is running 2360 secs || 19979785 markings, 42662473 edges, 9808 markings/sec, 2360 secs
lola: sara is running 2365 secs || 20006639 markings, 42720676 edges, 5371 markings/sec, 2365 secs
lola: sara is running 2370 secs || 20033801 markings, 42779491 edges, 5432 markings/sec, 2370 secs
lola: sara is running 2375 secs || 20059587 markings, 42839303 edges, 5157 markings/sec, 2375 secs
lola: sara is running 2380 secs || 20100572 markings, 42889590 edges, 8197 markings/sec, 2380 secs
lola: sara is running 2385 secs || 20146667 markings, 42946187 edges, 9219 markings/sec, 2385 secs
lola: sara is running 2390 secs || 20182899 markings, 43005126 edges, 7246 markings/sec, 2390 secs
lola: sara is running 2395 secs || 20209646 markings, 43063028 edges, 5349 markings/sec, 2395 secs
lola: sara is running 2400 secs || 20236179 markings, 43120542 edges, 5307 markings/sec, 2400 secs
lola: sara is running 2405 secs || 20262613 markings, 43178264 edges, 5287 markings/sec, 2405 secs
lola: sara is running 2410 secs || 20285037 markings, 43247373 edges, 4485 markings/sec, 2410 secs
lola: sara is running 2415 secs || 20312431 markings, 43304989 edges, 5479 markings/sec, 2415 secs
lola: sara is running 2420 secs || 20345848 markings, 43360009 edges, 6683 markings/sec, 2420 secs
lola: sara is running 2425 secs || 20388510 markings, 43412355 edges, 8532 markings/sec, 2425 secs
lola: sara is running 2430 secs || 20439744 markings, 43475301 edges, 10247 markings/sec, 2430 secs
lola: sara is running 2435 secs || 20468465 markings, 43537351 edges, 5744 markings/sec, 2435 secs
lola: sara is running 2440 secs || 20497894 markings, 43601124 edges, 5886 markings/sec, 2440 secs
lola: sara is running 2445 secs || 20530934 markings, 43655997 edges, 6608 markings/sec, 2445 secs
lola: sara is running 2450 secs || 20558759 markings, 43727191 edges, 5565 markings/sec, 2450 secs
lola: sara is running 2455 secs || 20589274 markings, 43788369 edges, 6103 markings/sec, 2455 secs
lola: sara is running 2460 secs || 20609759 markings, 43872042 edges, 4097 markings/sec, 2460 secs
lola: sara is running 2465 secs || 20634682 markings, 43948049 edges, 4985 markings/sec, 2465 secs
lola: sara is running 2470 secs || 20659894 markings, 44007544 edges, 5042 markings/sec, 2470 secs
lola: sara is running 2475 secs || 20708879 markings, 44115136 edges, 9797 markings/sec, 2475 secs
lola: sara is running 2480 secs || 20751168 markings, 44207559 edges, 8458 markings/sec, 2480 secs
lola: sara is running 2485 secs || 20798927 markings, 44315059 edges, 9552 markings/sec, 2485 secs
lola: sara is running 2490 secs || 20851763 markings, 44421655 edges, 10567 markings/sec, 2490 secs
lola: sara is running 2495 secs || 20904354 markings, 44528030 edges, 10518 markings/sec, 2495 secs
lola: sara is running 2500 secs || 20955195 markings, 44636884 edges, 10168 markings/sec, 2500 secs
lola: sara is running 2505 secs || 21005429 markings, 44746523 edges, 10047 markings/sec, 2505 secs
lola: sara is running 2510 secs || 21056603 markings, 44856755 edges, 10235 markings/sec, 2510 secs
lola: sara is running 2515 secs || 21106087 markings, 44964064 edges, 9897 markings/sec, 2515 secs
lola: sara is running 2520 secs || 21155733 markings, 45068011 edges, 9929 markings/sec, 2520 secs
lola: sara is running 2525 secs || 21200511 markings, 45169757 edges, 8956 markings/sec, 2525 secs
lola: sara is running 2530 secs || 21255134 markings, 45280035 edges, 10925 markings/sec, 2530 secs
lola: sara is running 2535 secs || 21309304 markings, 45389627 edges, 10834 markings/sec, 2535 secs
lola: sara is running 2540 secs || 21359714 markings, 45500990 edges, 10082 markings/sec, 2540 secs
lola: sara is running 2545 secs || 21409353 markings, 45610833 edges, 9928 markings/sec, 2545 secs
lola: sara is running 2550 secs || 21453302 markings, 45713647 edges, 8790 markings/sec, 2550 secs
lola: sara is running 2555 secs || 21503968 markings, 45815959 edges, 10133 markings/sec, 2555 secs
lola: sara is running 2560 secs || 21554994 markings, 45919147 edges, 10205 markings/sec, 2560 secs
lola: sara is running 2565 secs || 21605772 markings, 46021659 edges, 10156 markings/sec, 2565 secs
lola: sara is running 2570 secs || 21652748 markings, 46125936 edges, 9395 markings/sec, 2570 secs
lola: sara is running 2575 secs || 21697796 markings, 46225750 edges, 9010 markings/sec, 2575 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes yes unknown no no no yes no yes no no no yes yes no
lola:
preliminary result: no yes yes unknown no no no yes no yes no no no yes yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes unknown no no no yes no yes no no no yes yes no
lola: memory consumption: 3062176 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes unknown no no no yes no yes no no no yes yes no
lola: memory consumption: 3062420 KB
lola: time consumption: 3570 seconds
BK_STOP 1527823529226
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-311"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-311.tgz
mv CloudReconfiguration-PT-311 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-311, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r208-smll-152732257300099"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;