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

About the Execution of LoLA for BusinessProcesses-PT-19

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
9541.230 3570855.00 3608692.00 9025.40 FTTTTFFFF?FTTFFF 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 356K
-rw-r--r-- 1 mcc users 3.3K May 29 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 29 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 28 11:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 28 11:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 28 09:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.6K May 28 09:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 28 07:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K May 28 07:43 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.3K May 27 05:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 27 05:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.4K May 26 06:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 26 06:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 3 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 189K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BusinessProcesses-PT-19, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r268-smll-152749145600347

=====================================================================

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

=== Now, execution of the tool begins

BK_START 1528056054282

info: Time: 3600 - MCC
===========================================================================================
prep: translating BusinessProcesses-PT-19 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 BusinessProcesses-PT-19 formula LTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking LTLCardinality @ BusinessProcesses-PT-19 @ 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: 1457/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 772
lola: finding significant places
lola: 772 places, 685 transitions, 647 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 848 transition conflict sets
lola: TASK
lola: reading formula from BusinessProcesses-PT-19-LTLCardinality.task
lola: LP says that atomic proposition is always true: (p431 <= p284)
lola: LP says that atomic proposition is always false: (3 <= p616)
lola: LP says that atomic proposition is always false: (2 <= p480)
lola: LP says that atomic proposition is always false: (3 <= p92)
lola: LP says that atomic proposition is always false: (3 <= p3)
lola: LP says that atomic proposition is always false: (3 <= p355)
lola: LP says that atomic proposition is always false: (2 <= p590)
lola: LP says that atomic proposition is always false: (2 <= p79)
lola: A (G (F (F (F ((1 <= p546)))))) : A ((p555 <= p606)) : A ((p487 <= p180)) : A (X (X (X ((p434 <= p391))))) : A (F ((F (TRUE) U F ((p263 <= p578))))) : A ((FALSE U ((p425 <= p251) U FALSE))) : A (FALSE) : A ((1 <= p701)) : A (G (FALSE)) : A (G (X ((p209 <= p428)))) : A (F (X (G ((p426 <= p380))))) : A ((p207 <= p698)) : A (F ((p672 <= p131))) : A (G ((G ((p651 <= p410)) U G (FALSE)))) : A (F (X ((FALSE U FALSE)))) : A (G (X (G (G ((1 <= p9))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
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:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
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:431
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
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: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p555 <= p606)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p555 <= p606)
lola: processed formula length: 14
lola: 41 rewrites
lola: closed formula file BusinessProcesses-PT-19-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 BusinessProcesses-PT-19-LTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p487 <= p180)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p487 <= p180)
lola: processed formula length: 14
lola: 41 rewrites
lola: closed formula file BusinessProcesses-PT-19-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 BusinessProcesses-PT-19-LTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 41 rewrites
lola: closed formula file BusinessProcesses-PT-19-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 BusinessProcesses-PT-19-LTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 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: 41 rewrites
lola: closed formula file BusinessProcesses-PT-19-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 BusinessProcesses-PT-19-LTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p701)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p701)
lola: processed formula length: 11
lola: 41 rewrites
lola: closed formula file BusinessProcesses-PT-19-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BusinessProcesses-PT-19-LTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 41 rewrites
lola: closed formula file BusinessProcesses-PT-19-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 BusinessProcesses-PT-19-LTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p207 <= p698)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p207 <= p698)
lola: processed formula length: 14
lola: 41 rewrites
lola: closed formula file BusinessProcesses-PT-19-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 BusinessProcesses-PT-19-LTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 41 rewrites
lola: closed formula file BusinessProcesses-PT-19-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 BusinessProcesses-PT-19-LTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 8 will run for 446 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: 41 rewrites
lola: closed formula file BusinessProcesses-PT-19-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 BusinessProcesses-PT-19-LTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((p209 <= p428))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((p209 <= p428))))
lola: processed formula length: 26
lola: 41 rewrites
lola: closed formula file BusinessProcesses-PT-19-LTLCardinality.task
lola: the resulting Büchi automaton has 3 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: 136417 markings, 791654 edges, 27283 markings/sec, 0 secs
lola: 259650 markings, 1626399 edges, 24647 markings/sec, 5 secs
lola: 383133 markings, 2462957 edges, 24697 markings/sec, 10 secs
lola: 491254 markings, 3296226 edges, 21624 markings/sec, 15 secs
lola: 612300 markings, 4126613 edges, 24209 markings/sec, 20 secs
lola: 722690 markings, 4955309 edges, 22078 markings/sec, 25 secs
lola: 839851 markings, 5780237 edges, 23432 markings/sec, 30 secs
lola: 954068 markings, 6603770 edges, 22843 markings/sec, 35 secs
lola: 1061859 markings, 7424383 edges, 21558 markings/sec, 40 secs
lola: 1181112 markings, 8250364 edges, 23851 markings/sec, 45 secs
lola: 1284912 markings, 9073310 edges, 20760 markings/sec, 50 secs
lola: 1394728 markings, 9894068 edges, 21963 markings/sec, 55 secs
lola: 1493650 markings, 10714491 edges, 19784 markings/sec, 60 secs
lola: 1592304 markings, 11530873 edges, 19731 markings/sec, 65 secs
lola: 1710449 markings, 12354774 edges, 23629 markings/sec, 70 secs
lola: 1813579 markings, 13175654 edges, 20626 markings/sec, 75 secs
lola: 1923779 markings, 13997521 edges, 22040 markings/sec, 80 secs
lola: 2021605 markings, 14817885 edges, 19565 markings/sec, 85 secs
lola: 2118618 markings, 15635025 edges, 19403 markings/sec, 90 secs
lola: 2220928 markings, 16455508 edges, 20462 markings/sec, 95 secs
lola: 2315582 markings, 17274228 edges, 18931 markings/sec, 100 secs
lola: 2408617 markings, 18056402 edges, 18607 markings/sec, 105 secs
lola: 2497605 markings, 18872807 edges, 17798 markings/sec, 110 secs
lola: 2580398 markings, 19686664 edges, 16559 markings/sec, 115 secs
lola: 2696191 markings, 20506824 edges, 23159 markings/sec, 120 secs
lola: 2825924 markings, 21329781 edges, 25947 markings/sec, 125 secs
lola: 2960775 markings, 22160582 edges, 26970 markings/sec, 130 secs
lola: 3071076 markings, 22991911 edges, 22060 markings/sec, 135 secs
lola: 3181885 markings, 23819992 edges, 22162 markings/sec, 140 secs
lola: 3282531 markings, 24647871 edges, 20129 markings/sec, 145 secs
lola: 3374108 markings, 25471573 edges, 18315 markings/sec, 150 secs
lola: 3481387 markings, 26291752 edges, 21456 markings/sec, 155 secs
lola: 3577249 markings, 27089937 edges, 19172 markings/sec, 160 secs
lola: 3670023 markings, 27883716 edges, 18555 markings/sec, 165 secs
lola: 3770221 markings, 28682279 edges, 20040 markings/sec, 170 secs
lola: 3862980 markings, 29477916 edges, 18552 markings/sec, 175 secs
lola: 3962887 markings, 30273053 edges, 19981 markings/sec, 180 secs
lola: 4060669 markings, 31069943 edges, 19556 markings/sec, 185 secs
lola: 4149484 markings, 31864532 edges, 17763 markings/sec, 190 secs
lola: 4244028 markings, 32658839 edges, 18909 markings/sec, 195 secs
lola: 4330172 markings, 33451589 edges, 17229 markings/sec, 200 secs
lola: 4409851 markings, 34241567 edges, 15936 markings/sec, 205 secs
lola: 4507504 markings, 35035168 edges, 19531 markings/sec, 210 secs
lola: 4605030 markings, 35831434 edges, 19505 markings/sec, 215 secs
lola: 4691739 markings, 36623916 edges, 17342 markings/sec, 220 secs
lola: 4786312 markings, 37420504 edges, 18915 markings/sec, 225 secs
lola: 4873201 markings, 38215063 edges, 17378 markings/sec, 230 secs
lola: 4943392 markings, 38934933 edges, 14038 markings/sec, 235 secs
lola: 5036817 markings, 39745530 edges, 18685 markings/sec, 240 secs
lola: 5125628 markings, 40554887 edges, 17762 markings/sec, 245 secs
lola: 5205464 markings, 41361638 edges, 15967 markings/sec, 250 secs
lola: 5292424 markings, 42169679 edges, 17392 markings/sec, 255 secs
lola: 5371936 markings, 42975868 edges, 15902 markings/sec, 260 secs
lola: 5445913 markings, 43779579 edges, 14795 markings/sec, 265 secs
lola: 5542658 markings, 44592374 edges, 19349 markings/sec, 270 secs
lola: 5654415 markings, 45412210 edges, 22351 markings/sec, 275 secs
lola: 5780443 markings, 46236845 edges, 25206 markings/sec, 280 secs
lola: 5896787 markings, 47070393 edges, 23269 markings/sec, 285 secs
lola: 6003627 markings, 47897818 edges, 21368 markings/sec, 290 secs
lola: 6109944 markings, 48729950 edges, 21263 markings/sec, 295 secs
lola: 6206663 markings, 49558341 edges, 19344 markings/sec, 300 secs
lola: 6309911 markings, 50382536 edges, 20650 markings/sec, 305 secs
lola: 6410369 markings, 51204338 edges, 20092 markings/sec, 310 secs
lola: 6500880 markings, 52023080 edges, 18102 markings/sec, 315 secs
lola: 6607254 markings, 52840388 edges, 21275 markings/sec, 320 secs
lola: 6706176 markings, 53657746 edges, 19784 markings/sec, 325 secs
lola: 6801130 markings, 54470655 edges, 18991 markings/sec, 330 secs
lola: 6903948 markings, 55288849 edges, 20564 markings/sec, 335 secs
lola: 6998856 markings, 56103487 edges, 18982 markings/sec, 340 secs
lola: 7095364 markings, 56917213 edges, 19302 markings/sec, 345 secs
lola: 7184077 markings, 57729885 edges, 17743 markings/sec, 350 secs
lola: 7266953 markings, 58540678 edges, 16575 markings/sec, 355 secs
lola: 7364358 markings, 59352855 edges, 19481 markings/sec, 360 secs
lola: 7463500 markings, 60169786 edges, 19828 markings/sec, 365 secs
lola: 7553879 markings, 60982491 edges, 18076 markings/sec, 370 secs
lola: 7650432 markings, 61796441 edges, 19311 markings/sec, 375 secs
lola: 7739020 markings, 62609176 edges, 17718 markings/sec, 380 secs
lola: 7818914 markings, 63418868 edges, 15979 markings/sec, 385 secs
lola: 7913569 markings, 64232189 edges, 18931 markings/sec, 390 secs
lola: 8001998 markings, 65043480 edges, 17686 markings/sec, 395 secs
lola: 8081606 markings, 65851892 edges, 15922 markings/sec, 400 secs
lola: 8167925 markings, 66663847 edges, 17264 markings/sec, 405 secs
lola: 8247835 markings, 67471958 edges, 15982 markings/sec, 410 secs
lola: 8321918 markings, 68277361 edges, 14817 markings/sec, 415 secs
lola: 8421540 markings, 69092222 edges, 19924 markings/sec, 420 secs
lola: 8532815 markings, 69911169 edges, 22255 markings/sec, 425 secs
lola: 8654492 markings, 70735453 edges, 24335 markings/sec, 430 secs
lola: 8755811 markings, 71563649 edges, 20264 markings/sec, 435 secs
lola: 8847153 markings, 72388626 edges, 18268 markings/sec, 440 secs
lola: 8945197 markings, 73214210 edges, 19609 markings/sec, 445 secs
lola: 9035221 markings, 74037861 edges, 18005 markings/sec, 450 secs
lola: 9116193 markings, 74858206 edges, 16194 markings/sec, 455 secs
lola: 9211339 markings, 75676455 edges, 19029 markings/sec, 460 secs
lola: 9300280 markings, 76491253 edges, 17788 markings/sec, 465 secs
lola: 9379877 markings, 77302453 edges, 15919 markings/sec, 470 secs
lola: 9474781 markings, 78115555 edges, 18981 markings/sec, 475 secs
lola: 9563313 markings, 78926794 edges, 17706 markings/sec, 480 secs
lola: 9642476 markings, 79734402 edges, 15833 markings/sec, 485 secs
lola: 9737245 markings, 80546580 edges, 18954 markings/sec, 490 secs
lola: 9825732 markings, 81356740 edges, 17697 markings/sec, 495 secs
lola: 9904714 markings, 82163015 edges, 15796 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes yes unknown unknown no no no no unknown unknown yes unknown no no unknown
lola: memory consumption: 1802492 KB
lola: time consumption: 511 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X ((p434 <= p391)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X ((p434 <= p391)))))
lola: processed formula length: 30
lola: 41 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 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: 9 markings, 9 edges
lola: ========================================

FORMULA BusinessProcesses-PT-19-LTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 611 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((1 <= p9))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((1 <= p9))))
lola: processed formula length: 21
lola: 41 rewrites
lola: closed formula file BusinessProcesses-PT-19-LTLCardinality.task
lola: the resulting Büchi automaton has 3 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 195 markings, 195 edges
lola: ========================================

FORMULA BusinessProcesses-PT-19-LTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 764 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p672 <= p131)))
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: (p131 + 1 <= p672)
lola: processed formula length: 18
lola: 43 rewrites
lola: closed formula file BusinessProcesses-PT-19-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 BusinessProcesses-PT-19-LTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1019 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p263 <= p578)))
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: (p578 + 1 <= p263)
lola: processed formula length: 18
lola: 43 rewrites
lola: closed formula file BusinessProcesses-PT-19-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 BusinessProcesses-PT-19-LTLCardinality-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1529 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((1 <= p546))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((1 <= p546))))
lola: processed formula length: 23
lola: 41 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 172 markings, 172 edges
lola: ========================================

FORMULA BusinessProcesses-PT-19-LTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3059 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p426 <= p380))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p426 <= p380))))
lola: processed formula length: 26
lola: 41 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 671 markings, 759 edges
lola: ========================================

FORMULA BusinessProcesses-PT-19-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (X (G ((p209 <= p428))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((p209 <= p428))))
lola: processed formula length: 26
lola: 41 rewrites
lola: closed formula file BusinessProcesses-PT-19-LTLCardinality.task
lola: the resulting Büchi automaton has 3 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: 140542 markings, 817452 edges, 28108 markings/sec, 0 secs
lola: 264852 markings, 1652124 edges, 24862 markings/sec, 5 secs
lola: 386454 markings, 2488659 edges, 24320 markings/sec, 10 secs
lola: 494014 markings, 3321992 edges, 21512 markings/sec, 15 secs
lola: 616078 markings, 4152181 edges, 24413 markings/sec, 20 secs
lola: 725990 markings, 4981145 edges, 21982 markings/sec, 25 secs
lola: 820429 markings, 5655078 edges, 18888 markings/sec, 30 secs
lola: 936716 markings, 6480332 edges, 23257 markings/sec, 35 secs
lola: 1040631 markings, 7299566 edges, 20783 markings/sec, 40 secs
lola: 1162613 markings, 8126671 edges, 24396 markings/sec, 45 secs
lola: 1270835 markings, 8950262 edges, 21644 markings/sec, 50 secs
lola: 1379494 markings, 9773394 edges, 21732 markings/sec, 55 secs
lola: 1480309 markings, 10593878 edges, 20163 markings/sec, 60 secs
lola: 1571745 markings, 11409496 edges, 18287 markings/sec, 65 secs
lola: 1693081 markings, 12235385 edges, 24267 markings/sec, 70 secs
lola: 1799870 markings, 13057646 edges, 21358 markings/sec, 75 secs
lola: 1908570 markings, 13880399 edges, 21740 markings/sec, 80 secs
lola: 2008805 markings, 14699555 edges, 20047 markings/sec, 85 secs
lola: 2102169 markings, 15515045 edges, 18673 markings/sec, 90 secs
lola: 2206581 markings, 16338728 edges, 20882 markings/sec, 95 secs
lola: 2302253 markings, 17157823 edges, 19134 markings/sec, 100 secs
lola: 2399018 markings, 17975551 edges, 19353 markings/sec, 105 secs
lola: 2486503 markings, 18771822 edges, 17497 markings/sec, 110 secs
lola: 2568269 markings, 19566249 edges, 16353 markings/sec, 115 secs
lola: 2667310 markings, 20325027 edges, 19808 markings/sec, 120 secs
lola: 2796053 markings, 21150757 edges, 25749 markings/sec, 125 secs
lola: 2935050 markings, 21980921 edges, 27799 markings/sec, 130 secs
lola: 3049872 markings, 22813039 edges, 22964 markings/sec, 135 secs
lola: 3157383 markings, 23641751 edges, 21502 markings/sec, 140 secs
lola: 3261218 markings, 24469394 edges, 20767 markings/sec, 145 secs
lola: 3355604 markings, 25295906 edges, 18877 markings/sec, 150 secs
lola: 3459609 markings, 26118027 edges, 20801 markings/sec, 155 secs
lola: 3559669 markings, 26936495 edges, 20012 markings/sec, 160 secs
lola: 3650912 markings, 27751139 edges, 18249 markings/sec, 165 secs
lola: 3757506 markings, 28570038 edges, 21319 markings/sec, 170 secs
lola: 3852630 markings, 29386194 edges, 19025 markings/sec, 175 secs
lola: 3952381 markings, 30198911 edges, 19950 markings/sec, 180 secs
lola: 4053838 markings, 31014225 edges, 20291 markings/sec, 185 secs
lola: 4145912 markings, 31828449 edges, 18415 markings/sec, 190 secs
lola: 4242391 markings, 32642278 edges, 19296 markings/sec, 195 secs
lola: 4330452 markings, 33454241 edges, 17612 markings/sec, 200 secs
lola: 4411720 markings, 34262997 edges, 16254 markings/sec, 205 secs
lola: 4512122 markings, 35077242 edges, 20080 markings/sec, 210 secs
lola: 4612475 markings, 35892787 edges, 20071 markings/sec, 215 secs
lola: 4703429 markings, 36703604 edges, 18191 markings/sec, 220 secs
lola: 4797830 markings, 37519606 edges, 18880 markings/sec, 225 secs
lola: 4884831 markings, 38332406 edges, 17400 markings/sec, 230 secs
lola: 4966689 markings, 39137001 edges, 16372 markings/sec, 235 secs
lola: 5060523 markings, 39951986 edges, 18767 markings/sec, 240 secs
lola: 5147346 markings, 40763389 edges, 17365 markings/sec, 245 secs
lola: 5229099 markings, 41567046 edges, 16351 markings/sec, 250 secs
lola: 5312893 markings, 42377912 edges, 16759 markings/sec, 255 secs
lola: 5392116 markings, 43186011 edges, 15845 markings/sec, 260 secs
lola: 5464146 markings, 43990496 edges, 14406 markings/sec, 265 secs
lola: 5572553 markings, 44808234 edges, 21681 markings/sec, 270 secs
lola: 5677648 markings, 45605449 edges, 21019 markings/sec, 275 secs
lola: 5800886 markings, 46376944 edges, 24648 markings/sec, 280 secs
lola: 5915545 markings, 47208644 edges, 22932 markings/sec, 285 secs
lola: 6023064 markings, 48036622 edges, 21504 markings/sec, 290 secs
lola: 6126633 markings, 48865334 edges, 20714 markings/sec, 295 secs
lola: 6221877 markings, 49692032 edges, 19049 markings/sec, 300 secs
lola: 6325992 markings, 50514414 edges, 20823 markings/sec, 305 secs
lola: 6425937 markings, 51333823 edges, 19989 markings/sec, 310 secs
lola: 6516323 markings, 52149624 edges, 18077 markings/sec, 315 secs
lola: 6623706 markings, 52969246 edges, 21477 markings/sec, 320 secs
lola: 6719581 markings, 53787306 edges, 19175 markings/sec, 325 secs
lola: 6818302 markings, 54601862 edges, 19744 markings/sec, 330 secs
lola: 6920660 markings, 55418473 edges, 20472 markings/sec, 335 secs
lola: 7013338 markings, 56234500 edges, 18536 markings/sec, 340 secs
lola: 7109890 markings, 57049524 edges, 19310 markings/sec, 345 secs
lola: 7198191 markings, 57863204 edges, 17660 markings/sec, 350 secs
lola: 7277856 markings, 58651320 edges, 15933 markings/sec, 355 secs
lola: 7375320 markings, 59444727 edges, 19493 markings/sec, 360 secs
lola: 7467584 markings, 60203993 edges, 18453 markings/sec, 365 secs
lola: 7557688 markings, 61016279 edges, 18021 markings/sec, 370 secs
lola: 7654213 markings, 61831045 edges, 19305 markings/sec, 375 secs
lola: 7743119 markings, 62644941 edges, 17781 markings/sec, 380 secs
lola: 7822247 markings, 63454305 edges, 15826 markings/sec, 385 secs
lola: 7917436 markings, 64268663 edges, 19038 markings/sec, 390 secs
lola: 8006169 markings, 65081591 edges, 17747 markings/sec, 395 secs
lola: 8085210 markings, 65889811 edges, 15808 markings/sec, 400 secs
lola: 8172033 markings, 66702816 edges, 17365 markings/sec, 405 secs
lola: 8251363 markings, 67512612 edges, 15866 markings/sec, 410 secs
lola: 8325505 markings, 68318133 edges, 14828 markings/sec, 415 secs
lola: 8428203 markings, 69134420 edges, 20540 markings/sec, 420 secs
lola: 8537684 markings, 69953947 edges, 21896 markings/sec, 425 secs
lola: 8659917 markings, 70779535 edges, 24447 markings/sec, 430 secs
lola: 8760552 markings, 71607300 edges, 20127 markings/sec, 435 secs
lola: 8852139 markings, 72430928 edges, 18317 markings/sec, 440 secs
lola: 8950061 markings, 73256252 edges, 19584 markings/sec, 445 secs
lola: 9039879 markings, 74079601 edges, 17964 markings/sec, 450 secs
lola: 9119954 markings, 74898300 edges, 16015 markings/sec, 455 secs
lola: 9215543 markings, 75716429 edges, 19118 markings/sec, 460 secs
lola: 9304730 markings, 76532959 edges, 17837 markings/sec, 465 secs
lola: 9384694 markings, 77344039 edges, 15993 markings/sec, 470 secs
lola: 9479728 markings, 78158960 edges, 19007 markings/sec, 475 secs
lola: 9568082 markings, 78972381 edges, 17671 markings/sec, 480 secs
lola: 9647954 markings, 79780076 edges, 15974 markings/sec, 485 secs
lola: 9742867 markings, 80594389 edges, 18983 markings/sec, 490 secs
lola: 9830948 markings, 81407163 edges, 17616 markings/sec, 495 secs
lola: 9909992 markings, 82206509 edges, 15809 markings/sec, 500 secs
lola: 9993382 markings, 82995103 edges, 16678 markings/sec, 505 secs
lola: 10070079 markings, 83774186 edges, 15339 markings/sec, 510 secs
lola: 10138923 markings, 84521136 edges, 13769 markings/sec, 515 secs
lola: 10225297 markings, 85327509 edges, 17275 markings/sec, 520 secs
lola: 10314040 markings, 86139001 edges, 17749 markings/sec, 525 secs
lola: 10393448 markings, 86914539 edges, 15882 markings/sec, 530 secs
lola: 10479141 markings, 87723609 edges, 17139 markings/sec, 535 secs
lola: 10558920 markings, 88531546 edges, 15956 markings/sec, 540 secs
lola: 10635802 markings, 89338988 edges, 15376 markings/sec, 545 secs
lola: 10711996 markings, 90139517 edges, 15239 markings/sec, 550 secs
lola: 10794931 markings, 90948127 edges, 16587 markings/sec, 555 secs
lola: 10873784 markings, 91754661 edges, 15771 markings/sec, 560 secs
lola: 10945309 markings, 92558191 edges, 14305 markings/sec, 565 secs
lola: 11024308 markings, 93362118 edges, 15800 markings/sec, 570 secs
lola: 11095863 markings, 94162656 edges, 14311 markings/sec, 575 secs
lola: 11164443 markings, 94966734 edges, 13716 markings/sec, 580 secs
lola: 11235810 markings, 95762305 edges, 14273 markings/sec, 585 secs
lola: 11328720 markings, 96505504 edges, 18582 markings/sec, 590 secs
lola: 11424809 markings, 97321132 edges, 19218 markings/sec, 595 secs
lola: 11545922 markings, 98147208 edges, 24223 markings/sec, 600 secs
lola: 11659976 markings, 98973766 edges, 22811 markings/sec, 605 secs
lola: 11766931 markings, 99797883 edges, 21391 markings/sec, 610 secs
lola: 11865466 markings, 100585606 edges, 19707 markings/sec, 615 secs
lola: 11960174 markings, 101407298 edges, 18942 markings/sec, 620 secs
lola: 12063746 markings, 102225162 edges, 20714 markings/sec, 625 secs
lola: 12163109 markings, 103041031 edges, 19873 markings/sec, 630 secs
lola: 12252169 markings, 103851889 edges, 17812 markings/sec, 635 secs
lola: 12359674 markings, 104665607 edges, 21501 markings/sec, 640 secs
lola: 12455395 markings, 105477794 edges, 19144 markings/sec, 645 secs
lola: 12552468 markings, 106286473 edges, 19415 markings/sec, 650 secs
lola: 12654244 markings, 107097376 edges, 20355 markings/sec, 655 secs
lola: 12747009 markings, 107907253 edges, 18553 markings/sec, 660 secs
lola: 12843007 markings, 108716494 edges, 19200 markings/sec, 665 secs
lola: 12931118 markings, 109524003 edges, 17622 markings/sec, 670 secs
lola: 13012564 markings, 110328571 edges, 16289 markings/sec, 675 secs
lola: 13110875 markings, 111136447 edges, 19662 markings/sec, 680 secs
lola: 13209487 markings, 111947081 edges, 19722 markings/sec, 685 secs
lola: 13298265 markings, 112753154 edges, 17756 markings/sec, 690 secs
lola: 13394348 markings, 113563397 edges, 19217 markings/sec, 695 secs
lola: 13482659 markings, 114372195 edges, 17662 markings/sec, 700 secs
lola: 13561228 markings, 115175972 edges, 15714 markings/sec, 705 secs
lola: 13655899 markings, 115985137 edges, 18934 markings/sec, 710 secs
lola: 13744120 markings, 116792754 edges, 17644 markings/sec, 715 secs
lola: 13822684 markings, 117595824 edges, 15713 markings/sec, 720 secs
lola: 13908809 markings, 118403390 edges, 17225 markings/sec, 725 secs
lola: 13988022 markings, 119207120 edges, 15843 markings/sec, 730 secs
lola: 14061692 markings, 120007617 edges, 14734 markings/sec, 735 secs
lola: 14161409 markings, 120818140 edges, 19943 markings/sec, 740 secs
lola: 14271780 markings, 121632514 edges, 22074 markings/sec, 745 secs
lola: 14392919 markings, 122452519 edges, 24228 markings/sec, 750 secs
lola: 14493776 markings, 123276031 edges, 20171 markings/sec, 755 secs
lola: 14584523 markings, 124095539 edges, 18149 markings/sec, 760 secs
lola: 14681812 markings, 124915777 edges, 19458 markings/sec, 765 secs
lola: 14771431 markings, 125733407 edges, 17924 markings/sec, 770 secs
lola: 14851919 markings, 126547939 edges, 16098 markings/sec, 775 secs
lola: 14946046 markings, 127360495 edges, 18825 markings/sec, 780 secs
lola: 15034688 markings, 128170821 edges, 17728 markings/sec, 785 secs
lola: 15114313 markings, 128977957 edges, 15925 markings/sec, 790 secs
lola: 15207966 markings, 129785883 edges, 18731 markings/sec, 795 secs
lola: 15296021 markings, 130590663 edges, 17611 markings/sec, 800 secs
lola: 15375041 markings, 131392227 edges, 15804 markings/sec, 805 secs
lola: 15468198 markings, 132197473 edges, 18631 markings/sec, 810 secs
lola: 15556185 markings, 133000720 edges, 17597 markings/sec, 815 secs
lola: 15635354 markings, 133802026 edges, 15834 markings/sec, 820 secs
lola: 15721646 markings, 134602915 edges, 17258 markings/sec, 825 secs
lola: 15800457 markings, 135401580 edges, 15762 markings/sec, 830 secs
lola: 15873980 markings, 136198735 edges, 14705 markings/sec, 835 secs
lola: 15957078 markings, 136990062 edges, 16620 markings/sec, 840 secs
lola: 16044100 markings, 137785449 edges, 17404 markings/sec, 845 secs
lola: 16127368 markings, 138589782 edges, 16654 markings/sec, 850 secs
lola: 16211502 markings, 139389474 edges, 16827 markings/sec, 855 secs
lola: 16291762 markings, 140190585 edges, 16052 markings/sec, 860 secs
lola: 16369163 markings, 140992398 edges, 15480 markings/sec, 865 secs
lola: 16442359 markings, 141788133 edges, 14639 markings/sec, 870 secs
lola: 16525677 markings, 142592082 edges, 16664 markings/sec, 875 secs
lola: 16604661 markings, 143394192 edges, 15797 markings/sec, 880 secs
lola: 16676548 markings, 144192016 edges, 14377 markings/sec, 885 secs
lola: 16754556 markings, 144986280 edges, 15602 markings/sec, 890 secs
lola: 16824884 markings, 145776936 edges, 14066 markings/sec, 895 secs
lola: 16894105 markings, 146568546 edges, 13844 markings/sec, 900 secs
lola: 16958613 markings, 147347327 edges, 12902 markings/sec, 905 secs
lola: 17057708 markings, 148151321 edges, 19819 markings/sec, 910 secs
lola: 17151144 markings, 148951115 edges, 18687 markings/sec, 915 secs
lola: 17271344 markings, 149764752 edges, 24040 markings/sec, 920 secs
lola: 17384439 markings, 150580433 edges, 22619 markings/sec, 925 secs
lola: 17490245 markings, 151399935 edges, 21161 markings/sec, 930 secs
lola: 17592064 markings, 152211143 edges, 20364 markings/sec, 935 secs
lola: 17686389 markings, 153018376 edges, 18865 markings/sec, 940 secs
lola: 17787538 markings, 153822927 edges, 20230 markings/sec, 945 secs
lola: 17884695 markings, 154615711 edges, 19431 markings/sec, 950 secs
lola: 17973720 markings, 155414114 edges, 17805 markings/sec, 955 secs
lola: 18076789 markings, 156215626 edges, 20614 markings/sec, 960 secs
lola: 18175632 markings, 157021430 edges, 19769 markings/sec, 965 secs
lola: 18266365 markings, 157825136 edges, 18147 markings/sec, 970 secs
lola: 18370667 markings, 158635207 edges, 20860 markings/sec, 975 secs
lola: 18464794 markings, 159441812 edges, 18825 markings/sec, 980 secs
lola: 18559085 markings, 160244955 edges, 18858 markings/sec, 985 secs
lola: 18647849 markings, 161046403 edges, 17753 markings/sec, 990 secs
lola: 18731251 markings, 161848376 edges, 16680 markings/sec, 995 secs
lola: 18822574 markings, 162649399 edges, 18265 markings/sec, 1000 secs
lola: 18923322 markings, 163457864 edges, 20150 markings/sec, 1005 secs
lola: 19013924 markings, 164254973 edges, 18120 markings/sec, 1010 secs
lola: 19107838 markings, 165045642 edges, 18783 markings/sec, 1015 secs
lola: 19193815 markings, 165833059 edges, 17195 markings/sec, 1020 secs
lola: 19273248 markings, 166617368 edges, 15887 markings/sec, 1025 secs
lola: 19362255 markings, 167401545 edges, 17801 markings/sec, 1030 secs
lola: 19447775 markings, 168186803 edges, 17104 markings/sec, 1035 secs
lola: 19528451 markings, 168973829 edges, 16135 markings/sec, 1040 secs
lola: 19611361 markings, 169756505 edges, 16582 markings/sec, 1045 secs
lola: 19688214 markings, 170537317 edges, 15371 markings/sec, 1050 secs
lola: 19763504 markings, 171316391 edges, 15058 markings/sec, 1055 secs
lola: 19834227 markings, 172086287 edges, 14145 markings/sec, 1060 secs
lola: 19948617 markings, 172885119 edges, 22878 markings/sec, 1065 secs
lola: 20059071 markings, 173679345 edges, 22091 markings/sec, 1070 secs
lola: 20169132 markings, 174483017 edges, 22012 markings/sec, 1075 secs
lola: 20266540 markings, 175285445 edges, 19482 markings/sec, 1080 secs
lola: 20357560 markings, 176081867 edges, 18204 markings/sec, 1085 secs
lola: 20448061 markings, 176878204 edges, 18100 markings/sec, 1090 secs
lola: 20533057 markings, 177675029 edges, 16999 markings/sec, 1095 secs
lola: 20614084 markings, 178464189 edges, 16205 markings/sec, 1100 secs
lola: 20704315 markings, 179251890 edges, 18046 markings/sec, 1105 secs
lola: 20788627 markings, 180035874 edges, 16862 markings/sec, 1110 secs
lola: 20866657 markings, 180817171 edges, 15606 markings/sec, 1115 secs
lola: 20957838 markings, 181602956 edges, 18236 markings/sec, 1120 secs
lola: 21043013 markings, 182386361 edges, 17035 markings/sec, 1125 secs
lola: 21119092 markings, 183163159 edges, 15216 markings/sec, 1130 secs
lola: 21210269 markings, 183944706 edges, 18235 markings/sec, 1135 secs
lola: 21295589 markings, 184725707 edges, 17064 markings/sec, 1140 secs
lola: 21371918 markings, 185501668 edges, 15266 markings/sec, 1145 secs
lola: 21455989 markings, 186274675 edges, 16814 markings/sec, 1150 secs
lola: 21529910 markings, 187026446 edges, 14784 markings/sec, 1155 secs
lola: 21602003 markings, 187803940 edges, 14419 markings/sec, 1160 secs
lola: 21681257 markings, 188588611 edges, 15851 markings/sec, 1165 secs
lola: 21768620 markings, 189374665 edges, 17473 markings/sec, 1170 secs
lola: 21851938 markings, 190165135 edges, 16664 markings/sec, 1175 secs
lola: 21933899 markings, 190948830 edges, 16392 markings/sec, 1180 secs
lola: 22014358 markings, 191738680 edges, 16092 markings/sec, 1185 secs
lola: 22091394 markings, 192527225 edges, 15407 markings/sec, 1190 secs
lola: 22161192 markings, 193312212 edges, 13960 markings/sec, 1195 secs
lola: 22245142 markings, 194110398 edges, 16790 markings/sec, 1200 secs
lola: 22323622 markings, 194907167 edges, 15696 markings/sec, 1205 secs
lola: 22396962 markings, 195700408 edges, 14668 markings/sec, 1210 secs
lola: 22472768 markings, 196498235 edges, 15161 markings/sec, 1215 secs
lola: 22546209 markings, 197296284 edges, 14688 markings/sec, 1220 secs
lola: 22616754 markings, 198089606 edges, 14109 markings/sec, 1225 secs
lola: 22678944 markings, 198852531 edges, 12438 markings/sec, 1230 secs
lola: 22766905 markings, 199627565 edges, 17592 markings/sec, 1235 secs
lola: 22862228 markings, 200412744 edges, 19065 markings/sec, 1240 secs
lola: 22964679 markings, 201201193 edges, 20490 markings/sec, 1245 secs
lola: 23065863 markings, 202000960 edges, 20237 markings/sec, 1250 secs
lola: 23158981 markings, 202795922 edges, 18624 markings/sec, 1255 secs
lola: 23252244 markings, 203588462 edges, 18653 markings/sec, 1260 secs
lola: 23339358 markings, 204378350 edges, 17423 markings/sec, 1265 secs
lola: 23421588 markings, 205169437 edges, 16446 markings/sec, 1270 secs
lola: 23506775 markings, 205954584 edges, 17037 markings/sec, 1275 secs
lola: 23593522 markings, 206737167 edges, 17349 markings/sec, 1280 secs
lola: 23675430 markings, 207517453 edges, 16382 markings/sec, 1285 secs
lola: 23758451 markings, 208289205 edges, 16604 markings/sec, 1290 secs
lola: 23846000 markings, 209067636 edges, 17510 markings/sec, 1295 secs
lola: 23928467 markings, 209843236 edges, 16493 markings/sec, 1300 secs
lola: 24007577 markings, 210611938 edges, 15822 markings/sec, 1305 secs
lola: 24096649 markings, 211389899 edges, 17814 markings/sec, 1310 secs
lola: 24180233 markings, 212165767 edges, 16717 markings/sec, 1315 secs
lola: 24256215 markings, 212934731 edges, 15196 markings/sec, 1320 secs
lola: 24338359 markings, 213710012 edges, 16429 markings/sec, 1325 secs
lola: 24414552 markings, 214480285 edges, 15239 markings/sec, 1330 secs
lola: 24485178 markings, 215246375 edges, 14125 markings/sec, 1335 secs
lola: 24566671 markings, 216016543 edges, 16299 markings/sec, 1340 secs
lola: 24651528 markings, 216791874 edges, 16971 markings/sec, 1345 secs
lola: 24732303 markings, 217568663 edges, 16155 markings/sec, 1350 secs
lola: 24813587 markings, 218342047 edges, 16257 markings/sec, 1355 secs
lola: 24892008 markings, 219117404 edges, 15684 markings/sec, 1360 secs
lola: 24967016 markings, 219890202 edges, 15002 markings/sec, 1365 secs
lola: 25035474 markings, 220659121 edges, 13692 markings/sec, 1370 secs
lola: 25117037 markings, 221433186 edges, 16313 markings/sec, 1375 secs
lola: 25193140 markings, 222202762 edges, 15221 markings/sec, 1380 secs
lola: 25264023 markings, 222970408 edges, 14177 markings/sec, 1385 secs
lola: 25337370 markings, 223739201 edges, 14669 markings/sec, 1390 secs
lola: 25407674 markings, 224502386 edges, 14061 markings/sec, 1395 secs
lola: 25475397 markings, 225263180 edges, 13545 markings/sec, 1400 secs
lola: 25541071 markings, 226052494 edges, 13135 markings/sec, 1405 secs
lola: 25626406 markings, 226831856 edges, 17067 markings/sec, 1410 secs
lola: 25721048 markings, 227613580 edges, 18928 markings/sec, 1415 secs
lola: 25819072 markings, 228395400 edges, 19605 markings/sec, 1420 secs
lola: 25913093 markings, 229196981 edges, 18804 markings/sec, 1425 secs
lola: 25999055 markings, 229990440 edges, 17192 markings/sec, 1430 secs
lola: 26075570 markings, 230772976 edges, 15303 markings/sec, 1435 secs
lola: 26160369 markings, 231567699 edges, 16960 markings/sec, 1440 secs
lola: 26239731 markings, 232373911 edges, 15872 markings/sec, 1445 secs
lola: 26312300 markings, 233162274 edges, 14514 markings/sec, 1450 secs
lola: 26391425 markings, 233938102 edges, 15825 markings/sec, 1455 secs
lola: 26467304 markings, 234710548 edges, 15176 markings/sec, 1460 secs
lola: 26540854 markings, 235482809 edges, 14710 markings/sec, 1465 secs
lola: 26611671 markings, 236243413 edges, 14163 markings/sec, 1470 secs
lola: 26691716 markings, 237015953 edges, 16009 markings/sec, 1475 secs
lola: 26767074 markings, 237785399 edges, 15072 markings/sec, 1480 secs
lola: 26837195 markings, 238548524 edges, 14024 markings/sec, 1485 secs
lola: 26918164 markings, 239338963 edges, 16194 markings/sec, 1490 secs
lola: 26995812 markings, 240132435 edges, 15530 markings/sec, 1495 secs
lola: 27068364 markings, 240901689 edges, 14510 markings/sec, 1500 secs
lola: 27139649 markings, 241656530 edges, 14257 markings/sec, 1505 secs
lola: 27213462 markings, 242446912 edges, 14763 markings/sec, 1510 secs
lola: 27282978 markings, 243220934 edges, 13903 markings/sec, 1515 secs
lola: 27346530 markings, 243974242 edges, 12710 markings/sec, 1520 secs
lola: 27415879 markings, 244731781 edges, 13870 markings/sec, 1525 secs
lola: 27493668 markings, 245498893 edges, 15558 markings/sec, 1530 secs
lola: 27570679 markings, 246288438 edges, 15402 markings/sec, 1535 secs
lola: 27638922 markings, 247057631 edges, 13649 markings/sec, 1540 secs
lola: 27716427 markings, 247845592 edges, 15501 markings/sec, 1545 secs
lola: 27781590 markings, 248578412 edges, 13033 markings/sec, 1550 secs
lola: 27844940 markings, 249299686 edges, 12670 markings/sec, 1555 secs
lola: 27906427 markings, 250052623 edges, 12297 markings/sec, 1560 secs
lola: 27980061 markings, 250813499 edges, 14727 markings/sec, 1565 secs
lola: 28050871 markings, 251605875 edges, 14162 markings/sec, 1570 secs
lola: 28118235 markings, 252396077 edges, 13473 markings/sec, 1575 secs
lola: 28185251 markings, 253174066 edges, 13403 markings/sec, 1580 secs
lola: 28250985 markings, 253937053 edges, 13147 markings/sec, 1585 secs
lola: 28312823 markings, 254684673 edges, 12368 markings/sec, 1590 secs
lola: 28373508 markings, 255449125 edges, 12137 markings/sec, 1595 secs
lola: 28431436 markings, 256213222 edges, 11586 markings/sec, 1600 secs
lola: 28516762 markings, 256992043 edges, 17065 markings/sec, 1605 secs
lola: 28599681 markings, 257767139 edges, 16584 markings/sec, 1610 secs
lola: 28688300 markings, 258551658 edges, 17724 markings/sec, 1615 secs
lola: 28788699 markings, 259322689 edges, 20080 markings/sec, 1620 secs
lola: 28885549 markings, 260143023 edges, 19370 markings/sec, 1625 secs
lola: 28980434 markings, 260958965 edges, 18977 markings/sec, 1630 secs
lola: 29071059 markings, 261775805 edges, 18125 markings/sec, 1635 secs
lola: 29156494 markings, 262590593 edges, 17087 markings/sec, 1640 secs
lola: 29244111 markings, 263400146 edges, 17523 markings/sec, 1645 secs
lola: 29333992 markings, 264209077 edges, 17976 markings/sec, 1650 secs
lola: 29418461 markings, 265016312 edges, 16894 markings/sec, 1655 secs
lola: 29505258 markings, 265819531 edges, 17359 markings/sec, 1660 secs
lola: 29594604 markings, 266624321 edges, 17869 markings/sec, 1665 secs
lola: 29677171 markings, 267412021 edges, 16513 markings/sec, 1670 secs
lola: 29760643 markings, 268185484 edges, 16694 markings/sec, 1675 secs
lola: 29848171 markings, 268966324 edges, 17506 markings/sec, 1680 secs
lola: 29930661 markings, 269742894 edges, 16498 markings/sec, 1685 secs
lola: 30009559 markings, 270511128 edges, 15780 markings/sec, 1690 secs
lola: 30088838 markings, 271283074 edges, 15856 markings/sec, 1695 secs
lola: 30164537 markings, 272054261 edges, 15140 markings/sec, 1700 secs
lola: 30234229 markings, 272820854 edges, 13938 markings/sec, 1705 secs
lola: 30318629 markings, 273588036 edges, 16880 markings/sec, 1710 secs
lola: 30403352 markings, 274363960 edges, 16945 markings/sec, 1715 secs
lola: 30482081 markings, 275134213 edges, 15746 markings/sec, 1720 secs
lola: 30563699 markings, 275906240 edges, 16324 markings/sec, 1725 secs
lola: 30640288 markings, 276680222 edges, 15318 markings/sec, 1730 secs
lola: 30714846 markings, 277450272 edges, 14912 markings/sec, 1735 secs
lola: 30783953 markings, 278211688 edges, 13821 markings/sec, 1740 secs
lola: 30864769 markings, 278985595 edges, 16163 markings/sec, 1745 secs
lola: 30940610 markings, 279755228 edges, 15168 markings/sec, 1750 secs
lola: 31011363 markings, 280522634 edges, 14151 markings/sec, 1755 secs
lola: 31084784 markings, 281288754 edges, 14684 markings/sec, 1760 secs
lola: 31154618 markings, 282051736 edges, 13967 markings/sec, 1765 secs
lola: 31222283 markings, 282811690 edges, 13533 markings/sec, 1770 secs
lola: 31284556 markings, 283571472 edges, 12455 markings/sec, 1775 secs
lola: 31371024 markings, 284343181 edges, 17294 markings/sec, 1780 secs
lola: 31465558 markings, 285124774 edges, 18907 markings/sec, 1785 secs
lola: 31563153 markings, 285892128 edges, 19519 markings/sec, 1790 secs
lola: 31655553 markings, 286687552 edges, 18480 markings/sec, 1795 secs
lola: 31740686 markings, 287478858 edges, 17027 markings/sec, 1800 secs
lola: 31818247 markings, 288259860 edges, 15512 markings/sec, 1805 secs
lola: 31901875 markings, 289051915 edges, 16726 markings/sec, 1810 secs
lola: 31979034 markings, 289838005 edges, 15432 markings/sec, 1815 secs
lola: 32050612 markings, 290615598 edges, 14316 markings/sec, 1820 secs
lola: 32129848 markings, 291394143 edges, 15847 markings/sec, 1825 secs
lola: 32206115 markings, 292169267 edges, 15253 markings/sec, 1830 secs
lola: 32279910 markings, 292944203 edges, 14759 markings/sec, 1835 secs
lola: 32351239 markings, 293707852 edges, 14266 markings/sec, 1840 secs
lola: 32431120 markings, 294481024 edges, 15976 markings/sec, 1845 secs
lola: 32506749 markings, 295252021 edges, 15126 markings/sec, 1850 secs
lola: 32576963 markings, 296018422 edges, 14043 markings/sec, 1855 secs
lola: 32655426 markings, 296783718 edges, 15693 markings/sec, 1860 secs
lola: 32731834 markings, 297562139 edges, 15282 markings/sec, 1865 secs
lola: 32806511 markings, 298351615 edges, 14935 markings/sec, 1870 secs
lola: 32879717 markings, 299127075 edges, 14641 markings/sec, 1875 secs
lola: 32952495 markings, 299908005 edges, 14556 markings/sec, 1880 secs
lola: 33022682 markings, 300690853 edges, 14037 markings/sec, 1885 secs
lola: 33088442 markings, 301468539 edges, 13152 markings/sec, 1890 secs
lola: 33160560 markings, 302249662 edges, 14424 markings/sec, 1895 secs
lola: 33240333 markings, 303038530 edges, 15955 markings/sec, 1900 secs
lola: 33316557 markings, 303826563 edges, 15245 markings/sec, 1905 secs
lola: 33386129 markings, 304609137 edges, 13914 markings/sec, 1910 secs
lola: 33463580 markings, 305401431 edges, 15490 markings/sec, 1915 secs
lola: 33534378 markings, 306187512 edges, 14160 markings/sec, 1920 secs
lola: 33601098 markings, 306973833 edges, 13344 markings/sec, 1925 secs
lola: 33669420 markings, 307753232 edges, 13664 markings/sec, 1930 secs
lola: 33742518 markings, 308542432 edges, 14620 markings/sec, 1935 secs
lola: 33813050 markings, 309331768 edges, 14106 markings/sec, 1940 secs
lola: 33879178 markings, 310114615 edges, 13226 markings/sec, 1945 secs
lola: 33947535 markings, 310897640 edges, 13671 markings/sec, 1950 secs
lola: 34013585 markings, 311678678 edges, 13210 markings/sec, 1955 secs
lola: 34077232 markings, 312462974 edges, 12729 markings/sec, 1960 secs
lola: 34137828 markings, 313239247 edges, 12119 markings/sec, 1965 secs
lola: 34208086 markings, 314021358 edges, 14052 markings/sec, 1970 secs
lola: 34296058 markings, 314825061 edges, 17594 markings/sec, 1975 secs
lola: 34379525 markings, 315620284 edges, 16693 markings/sec, 1980 secs
lola: 34492149 markings, 316433972 edges, 22525 markings/sec, 1985 secs
lola: 34606043 markings, 317256100 edges, 22779 markings/sec, 1990 secs
lola: 34709961 markings, 318062122 edges, 20784 markings/sec, 1995 secs
lola: 34809868 markings, 318858419 edges, 19981 markings/sec, 2000 secs
lola: 34902338 markings, 319650464 edges, 18494 markings/sec, 2005 secs
lola: 35001165 markings, 320439434 edges, 19765 markings/sec, 2010 secs
lola: 35100535 markings, 321247690 edges, 19874 markings/sec, 2015 secs
lola: 35190283 markings, 322052403 edges, 17950 markings/sec, 2020 secs
lola: 35293849 markings, 322858088 edges, 20713 markings/sec, 2025 secs
lola: 35392533 markings, 323663140 edges, 19737 markings/sec, 2030 secs
lola: 35482810 markings, 324463271 edges, 18055 markings/sec, 2035 secs
lola: 35586973 markings, 325271554 edges, 20833 markings/sec, 2040 secs
lola: 35680955 markings, 326076456 edges, 18796 markings/sec, 2045 secs
lola: 35774785 markings, 326877996 edges, 18766 markings/sec, 2050 secs
lola: 35863548 markings, 327677347 edges, 17753 markings/sec, 2055 secs
lola: 35945926 markings, 328468473 edges, 16476 markings/sec, 2060 secs
lola: 36032271 markings, 329238752 edges, 17269 markings/sec, 2065 secs
lola: 36132864 markings, 330041164 edges, 20119 markings/sec, 2070 secs
lola: 36224958 markings, 330842917 edges, 18419 markings/sec, 2075 secs
lola: 36320020 markings, 331643617 edges, 19012 markings/sec, 2080 secs
lola: 36407163 markings, 332443384 edges, 17429 markings/sec, 2085 secs
lola: 36487419 markings, 333230865 edges, 16051 markings/sec, 2090 secs
lola: 36575031 markings, 334007035 edges, 17522 markings/sec, 2095 secs
lola: 36659904 markings, 334784136 edges, 16975 markings/sec, 2100 secs
lola: 36739498 markings, 335559700 edges, 15919 markings/sec, 2105 secs
lola: 36823474 markings, 336356595 edges, 16795 markings/sec, 2110 secs
lola: 36902793 markings, 337153228 edges, 15864 markings/sec, 2115 secs
lola: 36978084 markings, 337931494 edges, 15058 markings/sec, 2120 secs
lola: 37047973 markings, 338698784 edges, 13978 markings/sec, 2125 secs
lola: 37163478 markings, 339510422 edges, 23101 markings/sec, 2130 secs
lola: 37271559 markings, 340296561 edges, 21616 markings/sec, 2135 secs
lola: 37384677 markings, 341112316 edges, 22624 markings/sec, 2140 secs
lola: 37483476 markings, 341927590 edges, 19760 markings/sec, 2145 secs
lola: 37562725 markings, 342635139 edges, 15850 markings/sec, 2150 secs
lola: 37656750 markings, 343444493 edges, 18805 markings/sec, 2155 secs
lola: 37742729 markings, 344243476 edges, 17196 markings/sec, 2160 secs
lola: 37822059 markings, 345036296 edges, 15866 markings/sec, 2165 secs
lola: 37914965 markings, 345837620 edges, 18581 markings/sec, 2170 secs
lola: 38001449 markings, 346636157 edges, 17297 markings/sec, 2175 secs
lola: 38078396 markings, 347419928 edges, 15389 markings/sec, 2180 secs
lola: 38171495 markings, 348218454 edges, 18620 markings/sec, 2185 secs
lola: 38258672 markings, 349015867 edges, 17435 markings/sec, 2190 secs
lola: 38337179 markings, 349817677 edges, 15701 markings/sec, 2195 secs
lola: 38430618 markings, 350616365 edges, 18688 markings/sec, 2200 secs
lola: 38515256 markings, 351393327 edges, 16928 markings/sec, 2205 secs
lola: 38590919 markings, 352162136 edges, 15133 markings/sec, 2210 secs
lola: 38673959 markings, 352928365 edges, 16608 markings/sec, 2215 secs
lola: 38749041 markings, 353690799 edges, 15016 markings/sec, 2220 secs
lola: 38821931 markings, 354478863 edges, 14578 markings/sec, 2225 secs
lola: 38903433 markings, 355278897 edges, 16300 markings/sec, 2230 secs
lola: 38993193 markings, 356085548 edges, 17952 markings/sec, 2235 secs
lola: 39077189 markings, 356890701 edges, 16799 markings/sec, 2240 secs
lola: 39161398 markings, 357693070 edges, 16842 markings/sec, 2245 secs
lola: 39241035 markings, 358480565 edges, 15927 markings/sec, 2250 secs
lola: 39315564 markings, 359248863 edges, 14906 markings/sec, 2255 secs
lola: 39383373 markings, 360010912 edges, 13562 markings/sec, 2260 secs
lola: 39464690 markings, 360782610 edges, 16263 markings/sec, 2265 secs
lola: 39540638 markings, 361549942 edges, 15190 markings/sec, 2270 secs
lola: 39612989 markings, 362333138 edges, 14470 markings/sec, 2275 secs
lola: 39688943 markings, 363131801 edges, 15191 markings/sec, 2280 secs
lola: 39762316 markings, 363929155 edges, 14675 markings/sec, 2285 secs
lola: 39833055 markings, 364724860 edges, 14148 markings/sec, 2290 secs
lola: 39897612 markings, 365518283 edges, 12911 markings/sec, 2295 secs
lola: 39991477 markings, 366324555 edges, 18773 markings/sec, 2300 secs
lola: 40088503 markings, 367135597 edges, 19405 markings/sec, 2305 secs
lola: 40196334 markings, 367952196 edges, 21566 markings/sec, 2310 secs
lola: 40295951 markings, 368749002 edges, 19923 markings/sec, 2315 secs
lola: 40389949 markings, 369562173 edges, 18800 markings/sec, 2320 secs
lola: 40483664 markings, 370349490 edges, 18743 markings/sec, 2325 secs
lola: 40569258 markings, 371135485 edges, 17119 markings/sec, 2330 secs
lola: 40650316 markings, 371926091 edges, 16212 markings/sec, 2335 secs
lola: 40740800 markings, 372733446 edges, 18097 markings/sec, 2340 secs
lola: 40826615 markings, 373518577 edges, 17163 markings/sec, 2345 secs
lola: 40906326 markings, 374295088 edges, 15942 markings/sec, 2350 secs
lola: 40991787 markings, 375072208 edges, 17092 markings/sec, 2355 secs
lola: 41077725 markings, 375849468 edges, 17188 markings/sec, 2360 secs
lola: 41158574 markings, 376625487 edges, 16170 markings/sec, 2365 secs
lola: 41242070 markings, 377396985 edges, 16699 markings/sec, 2370 secs
lola: 41328769 markings, 378175616 edges, 17340 markings/sec, 2375 secs
lola: 41411582 markings, 378959058 edges, 16563 markings/sec, 2380 secs
lola: 41494682 markings, 379756871 edges, 16620 markings/sec, 2385 secs
lola: 41576471 markings, 380559003 edges, 16358 markings/sec, 2390 secs
lola: 41654654 markings, 381359302 edges, 15637 markings/sec, 2395 secs
lola: 41725526 markings, 382156320 edges, 14174 markings/sec, 2400 secs
lola: 41816592 markings, 382961874 edges, 18213 markings/sec, 2405 secs
lola: 41904765 markings, 383766801 edges, 17635 markings/sec, 2410 secs
lola: 41984197 markings, 384569995 edges, 15886 markings/sec, 2415 secs
lola: 42070647 markings, 385371994 edges, 17290 markings/sec, 2420 secs
lola: 42149681 markings, 386172928 edges, 15807 markings/sec, 2425 secs
lola: 42223248 markings, 386970902 edges, 14713 markings/sec, 2430 secs
lola: 42303217 markings, 387771770 edges, 15994 markings/sec, 2435 secs
lola: 42382646 markings, 388575002 edges, 15886 markings/sec, 2440 secs
lola: 42459469 markings, 389376866 edges, 15365 markings/sec, 2445 secs
lola: 42534009 markings, 390172597 edges, 14908 markings/sec, 2450 secs
lola: 42609226 markings, 390977755 edges, 15043 markings/sec, 2455 secs
lola: 42680967 markings, 391779481 edges, 14348 markings/sec, 2460 secs
lola: 42748205 markings, 392576180 edges, 13448 markings/sec, 2465 secs
lola: 42831809 markings, 393379714 edges, 16721 markings/sec, 2470 secs
lola: 42930711 markings, 394195832 edges, 19780 markings/sec, 2475 secs
lola: 43032225 markings, 395007880 edges, 20303 markings/sec, 2480 secs
lola: 43128856 markings, 395828108 edges, 19326 markings/sec, 2485 secs
lola: 43217253 markings, 396645807 edges, 17679 markings/sec, 2490 secs
lola: 43298262 markings, 397456821 edges, 16202 markings/sec, 2495 secs
lola: 43383838 markings, 398272992 edges, 17115 markings/sec, 2500 secs
lola: 43463746 markings, 399086573 edges, 15982 markings/sec, 2505 secs
lola: 43536842 markings, 399895673 edges, 14619 markings/sec, 2510 secs
lola: 43620883 markings, 400702452 edges, 16808 markings/sec, 2515 secs
lola: 43699985 markings, 401507336 edges, 15820 markings/sec, 2520 secs
lola: 43774332 markings, 402310298 edges, 14869 markings/sec, 2525 secs
lola: 43853427 markings, 403113415 edges, 15819 markings/sec, 2530 secs
lola: 43934312 markings, 403916657 edges, 16177 markings/sec, 2535 secs
lola: 44011757 markings, 404717899 edges, 15489 markings/sec, 2540 secs
lola: 44083848 markings, 405512330 edges, 14418 markings/sec, 2545 secs
lola: 44167812 markings, 406317106 edges, 16793 markings/sec, 2550 secs
lola: 44246426 markings, 407119263 edges, 15723 markings/sec, 2555 secs
lola: 44319374 markings, 407916934 edges, 14590 markings/sec, 2560 secs
lola: 44397143 markings, 408714488 edges, 15554 markings/sec, 2565 secs
lola: 44468075 markings, 409512077 edges, 14186 markings/sec, 2570 secs
lola: 44538154 markings, 410308313 edges, 14016 markings/sec, 2575 secs
lola: 44602992 markings, 411098001 edges, 12968 markings/sec, 2580 secs
lola: 44686354 markings, 411903631 edges, 16672 markings/sec, 2585 secs
lola: 44765486 markings, 412705712 edges, 15826 markings/sec, 2590 secs
lola: 44839043 markings, 413505093 edges, 14711 markings/sec, 2595 secs
lola: 44916345 markings, 414304874 edges, 15460 markings/sec, 2600 secs
lola: 44987888 markings, 415105689 edges, 14309 markings/sec, 2605 secs
lola: 45058830 markings, 415904700 edges, 14188 markings/sec, 2610 secs
lola: 45123504 markings, 416697290 edges, 12935 markings/sec, 2615 secs
lola: 45200684 markings, 417498214 edges, 15436 markings/sec, 2620 secs
lola: 45271994 markings, 418293933 edges, 14262 markings/sec, 2625 secs
lola: 45339807 markings, 419091921 edges, 13563 markings/sec, 2630 secs
lola: 45408424 markings, 419882987 edges, 13723 markings/sec, 2635 secs
lola: 45473473 markings, 420648533 edges, 13010 markings/sec, 2640 secs
lola: 45539177 markings, 421441104 edges, 13141 markings/sec, 2645 secs
lola: 45601155 markings, 422234875 edges, 12396 markings/sec, 2650 secs
lola: 45663828 markings, 423020267 edges, 12535 markings/sec, 2655 secs
lola: 45754992 markings, 423837433 edges, 18233 markings/sec, 2660 secs
lola: 45840220 markings, 424644184 edges, 17046 markings/sec, 2665 secs
lola: 45941253 markings, 425460723 edges, 20207 markings/sec, 2670 secs
lola: 46044486 markings, 426281310 edges, 20647 markings/sec, 2675 secs
lola: 46137593 markings, 427101129 edges, 18621 markings/sec, 2680 secs
lola: 46234504 markings, 427919893 edges, 19382 markings/sec, 2685 secs
lola: 46323214 markings, 428737639 edges, 17742 markings/sec, 2690 secs
lola: 46405149 markings, 429552080 edges, 16387 markings/sec, 2695 secs
lola: 46498407 markings, 430363823 edges, 18652 markings/sec, 2700 secs
lola: 46586198 markings, 431172926 edges, 17558 markings/sec, 2705 secs
lola: 46667250 markings, 431979244 edges, 16210 markings/sec, 2710 secs
lola: 46760005 markings, 432785774 edges, 18551 markings/sec, 2715 secs
lola: 46847385 markings, 433591453 edges, 17476 markings/sec, 2720 secs
lola: 46928284 markings, 434394084 edges, 16180 markings/sec, 2725 secs
lola: 47020480 markings, 435198046 edges, 18439 markings/sec, 2730 secs
lola: 47107914 markings, 436002483 edges, 17487 markings/sec, 2735 secs
lola: 47188842 markings, 436804305 edges, 16186 markings/sec, 2740 secs
lola: 47274910 markings, 437606897 edges, 17214 markings/sec, 2745 secs
lola: 47353633 markings, 438407246 edges, 15745 markings/sec, 2750 secs
lola: 47427875 markings, 439207412 edges, 14848 markings/sec, 2755 secs
lola: 47508846 markings, 440006703 edges, 16194 markings/sec, 2760 secs
lola: 47598367 markings, 440813002 edges, 17904 markings/sec, 2765 secs
lola: 47682728 markings, 441617862 edges, 16872 markings/sec, 2770 secs
lola: 47767093 markings, 442419506 edges, 16873 markings/sec, 2775 secs
lola: 47848307 markings, 443224526 edges, 16243 markings/sec, 2780 secs
lola: 47926004 markings, 444027543 edges, 15539 markings/sec, 2785 secs
lola: 47997555 markings, 444824624 edges, 14310 markings/sec, 2790 secs
lola: 48081963 markings, 445630353 edges, 16882 markings/sec, 2795 secs
lola: 48160686 markings, 446432124 edges, 15745 markings/sec, 2800 secs
lola: 48234115 markings, 447230107 edges, 14686 markings/sec, 2805 secs
lola: 48311463 markings, 448028226 edges, 15470 markings/sec, 2810 secs
lola: 48382732 markings, 448828768 edges, 14254 markings/sec, 2815 secs
lola: 48453559 markings, 449626633 edges, 14165 markings/sec, 2820 secs
lola: 48518146 markings, 450418578 edges, 12917 markings/sec, 2825 secs
lola: 48617990 markings, 451232394 edges, 19969 markings/sec, 2830 secs
lola: 48712744 markings, 452041160 edges, 18951 markings/sec, 2835 secs
lola: 48820174 markings, 452858327 edges, 21486 markings/sec, 2840 secs
lola: 48909906 markings, 453674066 edges, 17946 markings/sec, 2845 secs
lola: 48993818 markings, 454489509 edges, 16782 markings/sec, 2850 secs
lola: 49080006 markings, 455303236 edges, 17238 markings/sec, 2855 secs
lola: 49160266 markings, 456115632 edges, 16052 markings/sec, 2860 secs
lola: 49237311 markings, 456928276 edges, 15409 markings/sec, 2865 secs
lola: 49314271 markings, 457732797 edges, 15392 markings/sec, 2870 secs
lola: 49396897 markings, 458540017 edges, 16525 markings/sec, 2875 secs
lola: 49475456 markings, 459343644 edges, 15712 markings/sec, 2880 secs
lola: 49546691 markings, 460144349 edges, 14247 markings/sec, 2885 secs
lola: 49631073 markings, 460947290 edges, 16876 markings/sec, 2890 secs
lola: 49710009 markings, 461747150 edges, 15787 markings/sec, 2895 secs
lola: 49783539 markings, 462544726 edges, 14706 markings/sec, 2900 secs
lola: 49863267 markings, 463343547 edges, 15946 markings/sec, 2905 secs
lola: 49942407 markings, 464144149 edges, 15828 markings/sec, 2910 secs
lola: 50019262 markings, 464943952 edges, 15371 markings/sec, 2915 secs
lola: 50093183 markings, 465736272 edges, 14784 markings/sec, 2920 secs
lola: 50168147 markings, 466536780 edges, 14993 markings/sec, 2925 secs
lola: 50239503 markings, 467332250 edges, 14271 markings/sec, 2930 secs
lola: 50306432 markings, 468123975 edges, 13386 markings/sec, 2935 secs
lola: 50380320 markings, 468919208 edges, 14778 markings/sec, 2940 secs
lola: 50460698 markings, 469720621 edges, 16076 markings/sec, 2945 secs
lola: 50538198 markings, 470521528 edges, 15500 markings/sec, 2950 secs
lola: 50608058 markings, 471292076 edges, 13972 markings/sec, 2955 secs
lola: 50680068 markings, 472038522 edges, 14402 markings/sec, 2960 secs
lola: 50751751 markings, 472834657 edges, 14337 markings/sec, 2965 secs
lola: 50819306 markings, 473631465 edges, 13511 markings/sec, 2970 secs
lola: 50889163 markings, 474423247 edges, 13971 markings/sec, 2975 secs
lola: 50963138 markings, 475221737 edges, 14795 markings/sec, 2980 secs
lola: 51034123 markings, 476019573 edges, 14197 markings/sec, 2985 secs
lola: 51100470 markings, 476810464 edges, 13269 markings/sec, 2990 secs
lola: 51169925 markings, 477603890 edges, 13891 markings/sec, 2995 secs
lola: 51236635 markings, 478396935 edges, 13342 markings/sec, 3000 secs
lola: 51301484 markings, 479189477 edges, 12970 markings/sec, 3005 secs
lola: 51361978 markings, 479978245 edges, 12099 markings/sec, 3010 secs
lola: 51438203 markings, 480774962 edges, 15245 markings/sec, 3015 secs
lola: 51525074 markings, 481585515 edges, 17374 markings/sec, 3020 secs
lola: 51612096 markings, 482390721 edges, 17404 markings/sec, 3025 secs
lola: 51718064 markings, 483213954 edges, 21194 markings/sec, 3030 secs
lola: 51819095 markings, 484037552 edges, 20206 markings/sec, 3035 secs
lola: 51910884 markings, 484855986 edges, 18358 markings/sec, 3040 secs
lola: 52005989 markings, 485677405 edges, 19021 markings/sec, 3045 secs
lola: 52093579 markings, 486495749 edges, 17518 markings/sec, 3050 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes yes yes yes no no no no unknown no yes yes no no no
lola:
preliminary result: no yes yes yes yes no no no no unknown no yes yes no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes yes yes no no no no unknown no yes yes no no no
lola: memory consumption: 9543880 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes yes yes yes no no no no unknown no yes yes no no no
lola: memory consumption: 9543880 KB
lola: time consumption: 3570 seconds

BK_STOP 1528059625137

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