Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r088-csrt-155246565700070.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is FlexibleBarrier-PT-12b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-155246565700070
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 692K
-rw-r--r-- 1 mcc users 3.4K Feb 11 00:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 11 00:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 6 22:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 6 22:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 23:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.1K Feb 4 23:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.2K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 3 08:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 08:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Jan 31 01:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 31 01:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:34 model-fix.log
-rw-r--r-- 1 mcc users 536K Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-00
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-01
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-02
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-03
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-04
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-05
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-06
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-07
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-08
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-09
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-10
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-11
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-12
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-13
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-14
FORMULA_NAME FlexibleBarrier-PT-12b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552863328845

info: Time: 3600 - MCC
===========================================================================================
prep: translating FlexibleBarrier-PT-12b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating FlexibleBarrier-PT-12b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ FlexibleBarrier-PT-12b @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 4277/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 1988
lola: finding significant places
lola: 1988 places, 2289 transitions, 1974 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2315 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-12b-UpperBounds.task
lola: MAX(p104) : MAX(p69) : MAX(p1439) : MAX(p849) : MAX(p1516) : MAX(p1512) : MAX(p172) : MAX(p150) : MAX(p676) : MAX(p1089) : MAX(p393) : MAX(p718) : MAX(p684) : MAX(p499) : MAX(p1457) : MAX(p494)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p104)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p104)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 45 markings, 44 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-12b-UpperBounds-0 1 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: MAX(p69)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p69)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 30 markings, 29 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-12b-UpperBounds-1 1 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: MAX(p1439)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1439)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 7 markings, 6 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-12b-UpperBounds-2 1 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: MAX(p849)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p849)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 25 markings, 24 edges

FORMULA FlexibleBarrier-PT-12b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1516)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1516)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 41 markings, 40 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-12b-UpperBounds-4 1 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: MAX(p1512)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1512)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 43 markings, 42 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-12b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p172)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 43 markings, 42 edges

FORMULA FlexibleBarrier-PT-12b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p150)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p150)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 34 markings, 33 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-12b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p676)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p676)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 21 markings, 20 edges

FORMULA FlexibleBarrier-PT-12b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1089)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1089)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 23 markings, 22 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-12b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p393)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p393)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 31 markings, 30 edges

FORMULA FlexibleBarrier-PT-12b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 712 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p718)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p718)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 84822 markings, 102911 edges, 16964 markings/sec, 0 secs
lola: 179897 markings, 223984 edges, 19015 markings/sec, 5 secs
lola: 278738 markings, 345682 edges, 19768 markings/sec, 10 secs
lola: 375537 markings, 466392 edges, 19360 markings/sec, 15 secs
lola: 462487 markings, 581249 edges, 17390 markings/sec, 20 secs
lola: 558956 markings, 698510 edges, 19294 markings/sec, 25 secs
lola: 646001 markings, 810246 edges, 17409 markings/sec, 30 secs
lola: 733796 markings, 916153 edges, 17559 markings/sec, 35 secs
lola: 831409 markings, 1036760 edges, 19523 markings/sec, 40 secs
lola: 920873 markings, 1144871 edges, 17893 markings/sec, 45 secs
lola: 1007386 markings, 1254594 edges, 17303 markings/sec, 50 secs
lola: 1096089 markings, 1361298 edges, 17741 markings/sec, 55 secs
lola: 1184259 markings, 1468325 edges, 17634 markings/sec, 60 secs
lola: 1273087 markings, 1580302 edges, 17766 markings/sec, 65 secs
lola: 1365815 markings, 1691629 edges, 18546 markings/sec, 70 secs
lola: 1454335 markings, 1800064 edges, 17704 markings/sec, 75 secs
lola: 1542758 markings, 1910496 edges, 17685 markings/sec, 80 secs
lola: 1642047 markings, 2030298 edges, 19858 markings/sec, 85 secs
lola: 1742626 markings, 2155481 edges, 20116 markings/sec, 90 secs
lola: 1843019 markings, 2277273 edges, 20079 markings/sec, 95 secs
lola: 1945235 markings, 2403539 edges, 20443 markings/sec, 100 secs
lola: 2046517 markings, 2530673 edges, 20256 markings/sec, 105 secs
lola: 2143616 markings, 2658174 edges, 19420 markings/sec, 110 secs
lola: 2241238 markings, 2787044 edges, 19524 markings/sec, 115 secs
lola: 2338719 markings, 2916787 edges, 19496 markings/sec, 120 secs
lola: 2434405 markings, 3047786 edges, 19137 markings/sec, 125 secs
lola: 2530430 markings, 3174776 edges, 19205 markings/sec, 130 secs
lola: 2620697 markings, 3295542 edges, 18053 markings/sec, 135 secs
lola: 2713177 markings, 3424338 edges, 18496 markings/sec, 140 secs
lola: 2807329 markings, 3559905 edges, 18830 markings/sec, 145 secs
lola: 2902453 markings, 3697385 edges, 19025 markings/sec, 150 secs
lola: 2998427 markings, 3824312 edges, 19195 markings/sec, 155 secs
lola: 3086032 markings, 3966623 edges, 17521 markings/sec, 160 secs
lola: 3164207 markings, 4128012 edges, 15635 markings/sec, 165 secs
lola: 3259918 markings, 4252039 edges, 19142 markings/sec, 170 secs
lola: 3356073 markings, 4381842 edges, 19231 markings/sec, 175 secs
lola: 3456682 markings, 4510704 edges, 20122 markings/sec, 180 secs
lola: 3555671 markings, 4636526 edges, 19798 markings/sec, 185 secs
lola: 3649819 markings, 4762532 edges, 18830 markings/sec, 190 secs
lola: 3736006 markings, 4874447 edges, 17237 markings/sec, 195 secs
lola: 3820296 markings, 4985840 edges, 16858 markings/sec, 200 secs
lola: 3907520 markings, 5107459 edges, 17445 markings/sec, 205 secs
lola: 3997890 markings, 5221512 edges, 18074 markings/sec, 210 secs
lola: 4085000 markings, 5338159 edges, 17422 markings/sec, 215 secs
lola: 4171630 markings, 5448153 edges, 17326 markings/sec, 220 secs
lola: 4262620 markings, 5568299 edges, 18198 markings/sec, 225 secs
lola: 4350401 markings, 5682442 edges, 17556 markings/sec, 230 secs
lola: 4442254 markings, 5799183 edges, 18371 markings/sec, 235 secs
lola: 4531013 markings, 5914668 edges, 17752 markings/sec, 240 secs
lola: 4622998 markings, 6036464 edges, 18397 markings/sec, 245 secs
lola: 4712256 markings, 6150097 edges, 17852 markings/sec, 250 secs
lola: 4799023 markings, 6262595 edges, 17353 markings/sec, 255 secs
lola: 4884971 markings, 6377873 edges, 17190 markings/sec, 260 secs
lola: 4973131 markings, 6490239 edges, 17632 markings/sec, 265 secs
lola: 5063191 markings, 6605561 edges, 18012 markings/sec, 270 secs
lola: 5147968 markings, 6719399 edges, 16955 markings/sec, 275 secs
lola: 5241175 markings, 6838884 edges, 18641 markings/sec, 280 secs
lola: 5332013 markings, 6954701 edges, 18168 markings/sec, 285 secs
lola: 5418721 markings, 7070130 edges, 17342 markings/sec, 290 secs
lola: 5508222 markings, 7186267 edges, 17900 markings/sec, 295 secs
lola: 5592864 markings, 7301491 edges, 16928 markings/sec, 300 secs
lola: 5677026 markings, 7416765 edges, 16832 markings/sec, 305 secs
lola: 5761769 markings, 7538673 edges, 16949 markings/sec, 310 secs
lola: 5849426 markings, 7664321 edges, 17531 markings/sec, 315 secs
lola: 5932056 markings, 7783461 edges, 16526 markings/sec, 320 secs
lola: 6017025 markings, 7902518 edges, 16994 markings/sec, 325 secs
lola: 6099688 markings, 8021655 edges, 16533 markings/sec, 330 secs
lola: 6186078 markings, 8145554 edges, 17278 markings/sec, 335 secs
lola: 6269066 markings, 8271433 edges, 16598 markings/sec, 340 secs
lola: 6352289 markings, 8400524 edges, 16645 markings/sec, 345 secs
lola: 6434848 markings, 8528909 edges, 16512 markings/sec, 350 secs
lola: 6517427 markings, 8651610 edges, 16516 markings/sec, 355 secs
lola: 6599406 markings, 8764534 edges, 16396 markings/sec, 360 secs
lola: 6666922 markings, 8913064 edges, 13503 markings/sec, 365 secs
lola: 6736481 markings, 9058086 edges, 13912 markings/sec, 370 secs
lola: 6823350 markings, 9178745 edges, 17374 markings/sec, 375 secs
lola: 6906564 markings, 9294459 edges, 16643 markings/sec, 380 secs
lola: 6991640 markings, 9413317 edges, 17015 markings/sec, 385 secs
lola: 7078014 markings, 9525847 edges, 17275 markings/sec, 390 secs
lola: 7166524 markings, 9645248 edges, 17702 markings/sec, 395 secs
lola: 7261894 markings, 9769844 edges, 19074 markings/sec, 400 secs
lola: 7358424 markings, 9891507 edges, 19306 markings/sec, 405 secs
lola: 7453149 markings, 10016569 edges, 18945 markings/sec, 410 secs
lola: 7548989 markings, 10142004 edges, 19168 markings/sec, 415 secs
lola: 7644438 markings, 10267068 edges, 19090 markings/sec, 420 secs
lola: 7740776 markings, 10387699 edges, 19268 markings/sec, 425 secs
lola: 7837064 markings, 10510949 edges, 19258 markings/sec, 430 secs
lola: 7934170 markings, 10632830 edges, 19421 markings/sec, 435 secs
lola: 8030131 markings, 10756697 edges, 19192 markings/sec, 440 secs
lola: 8127363 markings, 10878480 edges, 19446 markings/sec, 445 secs
lola: 8223756 markings, 11003143 edges, 19279 markings/sec, 450 secs
lola: 8319987 markings, 11123348 edges, 19246 markings/sec, 455 secs
lola: 8417022 markings, 11249182 edges, 19407 markings/sec, 460 secs
lola: 8515292 markings, 11371786 edges, 19654 markings/sec, 465 secs
lola: 8612361 markings, 11497654 edges, 19414 markings/sec, 470 secs
lola: 8710830 markings, 11620504 edges, 19694 markings/sec, 475 secs
lola: 8808329 markings, 11746839 edges, 19500 markings/sec, 480 secs
lola: 8906911 markings, 11869918 edges, 19716 markings/sec, 485 secs
lola: 9004144 markings, 11995923 edges, 19447 markings/sec, 490 secs
lola: 9100131 markings, 12120215 edges, 19197 markings/sec, 495 secs
lola: 9184250 markings, 12236998 edges, 16824 markings/sec, 500 secs
lola: 9268548 markings, 12354528 edges, 16860 markings/sec, 505 secs
lola: 9352288 markings, 12470023 edges, 16748 markings/sec, 510 secs
lola: 9436165 markings, 12584510 edges, 16775 markings/sec, 515 secs
lola: 9520058 markings, 12700445 edges, 16779 markings/sec, 520 secs
lola: 9604451 markings, 12817539 edges, 16879 markings/sec, 525 secs
lola: 9697452 markings, 12948161 edges, 18600 markings/sec, 530 secs
lola: 9788199 markings, 13083603 edges, 18149 markings/sec, 535 secs
lola: 9879472 markings, 13220037 edges, 18255 markings/sec, 540 secs
lola: 9971157 markings, 13352350 edges, 18337 markings/sec, 545 secs
lola: 10062150 markings, 13475756 edges, 18199 markings/sec, 550 secs
lola: 10136064 markings, 13643428 edges, 14783 markings/sec, 555 secs
lola: 10219932 markings, 13775827 edges, 16774 markings/sec, 560 secs
lola: 10314097 markings, 13901609 edges, 18833 markings/sec, 565 secs
lola: 10408751 markings, 14028479 edges, 18931 markings/sec, 570 secs
lola: 10505614 markings, 14151133 edges, 19373 markings/sec, 575 secs
lola: 10599412 markings, 14273797 edges, 18760 markings/sec, 580 secs
lola: 10695466 markings, 14391697 edges, 19211 markings/sec, 585 secs
lola: 10789403 markings, 14515617 edges, 18787 markings/sec, 590 secs
lola: 10886567 markings, 14633616 edges, 19433 markings/sec, 595 secs
lola: 10982644 markings, 14748699 edges, 19215 markings/sec, 600 secs
lola: 11075934 markings, 14866355 edges, 18658 markings/sec, 605 secs
lola: 11173698 markings, 14983369 edges, 19553 markings/sec, 610 secs
lola: 11269854 markings, 15104539 edges, 19231 markings/sec, 615 secs
lola: 11368581 markings, 15222639 edges, 19745 markings/sec, 620 secs
lola: 11464868 markings, 15343992 edges, 19257 markings/sec, 625 secs
lola: 11563169 markings, 15461651 edges, 19660 markings/sec, 630 secs
lola: 11660048 markings, 15583628 edges, 19376 markings/sec, 635 secs
lola: 11758683 markings, 15701648 edges, 19727 markings/sec, 640 secs
lola: 11855310 markings, 15823347 edges, 19325 markings/sec, 645 secs
lola: 11954568 markings, 15942040 edges, 19852 markings/sec, 650 secs
lola: 12051407 markings, 16063992 edges, 19368 markings/sec, 655 secs
lola: 12150878 markings, 16182939 edges, 19894 markings/sec, 660 secs
lola: 12248452 markings, 16305354 edges, 19515 markings/sec, 665 secs
lola: 12340679 markings, 16425732 edges, 18445 markings/sec, 670 secs
lola: 12435092 markings, 16552782 edges, 18883 markings/sec, 675 secs
lola: 12529630 markings, 16678799 edges, 18908 markings/sec, 680 secs
lola: 12624371 markings, 16804918 edges, 18948 markings/sec, 685 secs
lola: 12719278 markings, 16932082 edges, 18981 markings/sec, 690 secs
lola: 12812830 markings, 17058988 edges, 18710 markings/sec, 695 secs
lola: 12905210 markings, 17183610 edges, 18476 markings/sec, 700 secs
lola: 12995037 markings, 17314468 edges, 17965 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown
lola: memory consumption: 2824744 KB
lola: time consumption: 718 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 712 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p684)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p684)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 35 markings, 34 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-12b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 950 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p499)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p499)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 26 markings, 25 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-12b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1425 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1457)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1457)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 38 markings, 37 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-12b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2850 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p494)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p494)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 27 markings, 26 edges
lola: ========================================

FORMULA FlexibleBarrier-PT-12b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p718)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p718)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file FlexibleBarrier-PT-12b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 79507 markings, 96479 edges, 15901 markings/sec, 0 secs
lola: 163040 markings, 203969 edges, 16707 markings/sec, 5 secs
lola: 252977 markings, 316511 edges, 17987 markings/sec, 10 secs
lola: 348452 markings, 432578 edges, 19095 markings/sec, 15 secs
lola: 440948 markings, 550104 edges, 18499 markings/sec, 20 secs
lola: 532413 markings, 666728 edges, 18293 markings/sec, 25 secs
lola: 622814 markings, 781622 edges, 18080 markings/sec, 30 secs
lola: 714381 markings, 891940 edges, 18313 markings/sec, 35 secs
lola: 805363 markings, 1004685 edges, 18196 markings/sec, 40 secs
lola: 898217 markings, 1118627 edges, 18571 markings/sec, 45 secs
lola: 990286 markings, 1230260 edges, 18414 markings/sec, 50 secs
lola: 1080952 markings, 1344071 edges, 18133 markings/sec, 55 secs
lola: 1173065 markings, 1454730 edges, 18423 markings/sec, 60 secs
lola: 1263104 markings, 1567932 edges, 18008 markings/sec, 65 secs
lola: 1355041 markings, 1679330 edges, 18387 markings/sec, 70 secs
lola: 1448097 markings, 1792257 edges, 18611 markings/sec, 75 secs
lola: 1541679 markings, 1909249 edges, 18716 markings/sec, 80 secs
lola: 1635741 markings, 2022422 edges, 18812 markings/sec, 85 secs
lola: 1728580 markings, 2139458 edges, 18568 markings/sec, 90 secs
lola: 1823242 markings, 2252926 edges, 18932 markings/sec, 95 secs
lola: 1915824 markings, 2370244 edges, 18516 markings/sec, 100 secs
lola: 2006208 markings, 2478735 edges, 18077 markings/sec, 105 secs
lola: 2088929 markings, 2583943 edges, 16544 markings/sec, 110 secs
lola: 2170609 markings, 2693340 edges, 16336 markings/sec, 115 secs
lola: 2256042 markings, 2806959 edges, 17087 markings/sec, 120 secs
lola: 2341502 markings, 2920571 edges, 17092 markings/sec, 125 secs
lola: 2429454 markings, 3038430 edges, 17590 markings/sec, 130 secs
lola: 2517487 markings, 3156414 edges, 17607 markings/sec, 135 secs
lola: 2605738 markings, 3274720 edges, 17650 markings/sec, 140 secs
lola: 2693248 markings, 3394096 edges, 17502 markings/sec, 145 secs
lola: 2778310 markings, 3518858 edges, 17012 markings/sec, 150 secs
lola: 2864110 markings, 3642445 edges, 17160 markings/sec, 155 secs
lola: 2951640 markings, 3764226 edges, 17506 markings/sec, 160 secs
lola: 3040960 markings, 3879415 edges, 17864 markings/sec, 165 secs
lola: 3117036 markings, 4027450 edges, 15215 markings/sec, 170 secs
lola: 3194951 markings, 4166712 edges, 15583 markings/sec, 175 secs
lola: 3283533 markings, 4286594 edges, 17716 markings/sec, 180 secs
lola: 3374075 markings, 4403906 edges, 18108 markings/sec, 185 secs
lola: 3465863 markings, 4521574 edges, 18358 markings/sec, 190 secs
lola: 3557102 markings, 4638378 edges, 18248 markings/sec, 195 secs
lola: 3646992 markings, 4759027 edges, 17978 markings/sec, 200 secs
lola: 3738375 markings, 4877611 edges, 18277 markings/sec, 205 secs
lola: 3827876 markings, 4998054 edges, 17900 markings/sec, 210 secs
lola: 3917279 markings, 5118710 edges, 17881 markings/sec, 215 secs
lola: 4009933 markings, 5236622 edges, 18531 markings/sec, 220 secs
lola: 4093725 markings, 5350199 edges, 16758 markings/sec, 225 secs
lola: 4177040 markings, 5455244 edges, 16663 markings/sec, 230 secs
lola: 4258934 markings, 5561238 edges, 16379 markings/sec, 235 secs
lola: 4340003 markings, 5670010 edges, 16214 markings/sec, 240 secs
lola: 4422639 markings, 5775794 edges, 16527 markings/sec, 245 secs
lola: 4504927 markings, 5881185 edges, 16458 markings/sec, 250 secs
lola: 4591418 markings, 5992795 edges, 17298 markings/sec, 255 secs
lola: 4675490 markings, 6106337 edges, 16814 markings/sec, 260 secs
lola: 4765736 markings, 6221201 edges, 18049 markings/sec, 265 secs
lola: 4862094 markings, 6344311 edges, 19272 markings/sec, 270 secs
lola: 4957077 markings, 6471087 edges, 18997 markings/sec, 275 secs
lola: 5051351 markings, 6590808 edges, 18855 markings/sec, 280 secs
lola: 5145088 markings, 6712529 edges, 18747 markings/sec, 285 secs
lola: 5240614 markings, 6838171 edges, 19105 markings/sec, 290 secs
lola: 5336848 markings, 6961027 edges, 19247 markings/sec, 295 secs
lola: 5429221 markings, 7084836 edges, 18475 markings/sec, 300 secs
lola: 5523823 markings, 7204949 edges, 18920 markings/sec, 305 secs
lola: 5613862 markings, 7326817 edges, 18008 markings/sec, 310 secs
lola: 5702070 markings, 7453283 edges, 17642 markings/sec, 315 secs
lola: 5786254 markings, 7574496 edges, 16837 markings/sec, 320 secs
lola: 5873111 markings, 7700181 edges, 17371 markings/sec, 325 secs
lola: 5961032 markings, 7824611 edges, 17584 markings/sec, 330 secs
lola: 6048865 markings, 7948341 edges, 17567 markings/sec, 335 secs
lola: 6136778 markings, 8073982 edges, 17583 markings/sec, 340 secs
lola: 6223397 markings, 8202439 edges, 17324 markings/sec, 345 secs
lola: 6307989 markings, 8332892 edges, 16918 markings/sec, 350 secs
lola: 6393421 markings, 8464553 edges, 17086 markings/sec, 355 secs
lola: 6478867 markings, 8597192 edges, 17089 markings/sec, 360 secs
lola: 6566436 markings, 8715945 edges, 17514 markings/sec, 365 secs
lola: 6643417 markings, 8861392 edges, 15396 markings/sec, 370 secs
lola: 6711940 markings, 9026256 edges, 13705 markings/sec, 375 secs
lola: 6796471 markings, 9143217 edges, 16906 markings/sec, 380 secs
lola: 6885025 markings, 9265593 edges, 17711 markings/sec, 385 secs
lola: 6974124 markings, 9389074 edges, 17820 markings/sec, 390 secs
lola: 7064896 markings, 9508634 edges, 18154 markings/sec, 395 secs
lola: 7155650 markings, 9627302 edges, 18151 markings/sec, 400 secs
lola: 7245280 markings, 9747791 edges, 17926 markings/sec, 405 secs
lola: 7335961 markings, 9863646 edges, 18136 markings/sec, 410 secs
lola: 7425778 markings, 9982134 edges, 17963 markings/sec, 415 secs
lola: 7517070 markings, 10098785 edges, 18258 markings/sec, 420 secs
lola: 7606457 markings, 10220359 edges, 17877 markings/sec, 425 secs
lola: 7695815 markings, 10332208 edges, 17872 markings/sec, 430 secs
lola: 7778089 markings, 10435347 edges, 16455 markings/sec, 435 secs
lola: 7860741 markings, 10539177 edges, 16530 markings/sec, 440 secs
lola: 7947074 markings, 10652702 edges, 17267 markings/sec, 445 secs
lola: 8029695 markings, 10756203 edges, 16524 markings/sec, 450 secs
lola: 8112596 markings, 10859917 edges, 16580 markings/sec, 455 secs
lola: 8196748 markings, 10966841 edges, 16830 markings/sec, 460 secs
lola: 8288181 markings, 11085184 edges, 18287 markings/sec, 465 secs
lola: 8380822 markings, 11200718 edges, 18528 markings/sec, 470 secs
lola: 8472162 markings, 11320205 edges, 18268 markings/sec, 475 secs
lola: 8563551 markings, 11434132 edges, 18278 markings/sec, 480 secs
lola: 8653243 markings, 11547455 edges, 17938 markings/sec, 485 secs
lola: 8742707 markings, 11663439 edges, 17893 markings/sec, 490 secs
lola: 8833612 markings, 11776482 edges, 18181 markings/sec, 495 secs
lola: 8924869 markings, 11896311 edges, 18251 markings/sec, 500 secs
lola: 9018257 markings, 12012580 edges, 18678 markings/sec, 505 secs
lola: 9108281 markings, 12130854 edges, 18005 markings/sec, 510 secs
lola: 9196435 markings, 12252682 edges, 17631 markings/sec, 515 secs
lola: 9284740 markings, 12374865 edges, 17661 markings/sec, 520 secs
lola: 9373010 markings, 12496949 edges, 17654 markings/sec, 525 secs
lola: 9461371 markings, 12619291 edges, 17672 markings/sec, 530 secs
lola: 9550511 markings, 12742478 edges, 17828 markings/sec, 535 secs
lola: 9639016 markings, 12865131 edges, 17701 markings/sec, 540 secs
lola: 9724971 markings, 12989064 edges, 17191 markings/sec, 545 secs
lola: 9813007 markings, 13121126 edges, 17607 markings/sec, 550 secs
lola: 9902938 markings, 13256093 edges, 17986 markings/sec, 555 secs
lola: 9994916 markings, 13380573 edges, 18396 markings/sec, 560 secs
lola: 10082538 markings, 13512855 edges, 17524 markings/sec, 565 secs
lola: 10153496 markings, 13685467 edges, 14192 markings/sec, 570 secs
lola: 10242068 markings, 13803931 edges, 17714 markings/sec, 575 secs
lola: 10332599 markings, 13925121 edges, 18106 markings/sec, 580 secs
lola: 10423995 markings, 14048617 edges, 18279 markings/sec, 585 secs
lola: 10516421 markings, 14168063 edges, 18485 markings/sec, 590 secs
lola: 10608878 markings, 14285029 edges, 18491 markings/sec, 595 secs
lola: 10703334 markings, 14401283 edges, 18891 markings/sec, 600 secs
lola: 10795876 markings, 14522855 edges, 18508 markings/sec, 605 secs
lola: 10891111 markings, 14638737 edges, 19047 markings/sec, 610 secs
lola: 10984753 markings, 14751384 edges, 18728 markings/sec, 615 secs
lola: 11077169 markings, 14867776 edges, 18483 markings/sec, 620 secs
lola: 11171677 markings, 14981140 edges, 18902 markings/sec, 625 secs
lola: 11264040 markings, 15098065 edges, 18473 markings/sec, 630 secs
lola: 11359045 markings, 15211853 edges, 19001 markings/sec, 635 secs
lola: 11452886 markings, 15326411 edges, 18768 markings/sec, 640 secs
lola: 11546355 markings, 15442578 edges, 18694 markings/sec, 645 secs
lola: 11640875 markings, 15556940 edges, 18904 markings/sec, 650 secs
lola: 11734210 markings, 15673833 edges, 18667 markings/sec, 655 secs
lola: 11829005 markings, 15787767 edges, 18959 markings/sec, 660 secs
lola: 11924587 markings, 15907993 edges, 19116 markings/sec, 665 secs
lola: 12022287 markings, 16024874 edges, 19540 markings/sec, 670 secs
lola: 12117792 markings, 16145394 edges, 19101 markings/sec, 675 secs
lola: 12214732 markings, 16261479 edges, 19388 markings/sec, 680 secs
lola: 12309158 markings, 16381839 edges, 18885 markings/sec, 685 secs
lola: 12400482 markings, 16506777 edges, 18265 markings/sec, 690 secs
lola: 12491242 markings, 16628182 edges, 18152 markings/sec, 695 secs
lola: 12582043 markings, 16749503 edges, 18160 markings/sec, 700 secs
lola: 12674281 markings, 16872670 edges, 18448 markings/sec, 705 secs
lola: 12767575 markings, 16997192 edges, 18659 markings/sec, 710 secs
lola: 12860810 markings, 17120965 edges, 18647 markings/sec, 715 secs
lola: 12948124 markings, 17246298 edges, 17463 markings/sec, 720 secs
lola: 13035655 markings, 17372845 edges, 17506 markings/sec, 725 secs
lola: 13124125 markings, 17502230 edges, 17694 markings/sec, 730 secs
lola: 13214268 markings, 17619099 edges, 18029 markings/sec, 735 secs
lola: 13296374 markings, 17763101 edges, 16421 markings/sec, 740 secs
lola: 13376855 markings, 17914834 edges, 16096 markings/sec, 745 secs
lola: 13469334 markings, 18036951 edges, 18496 markings/sec, 750 secs
lola: 13560441 markings, 18162186 edges, 18221 markings/sec, 755 secs
lola: 13656050 markings, 18283490 edges, 19122 markings/sec, 760 secs
lola: 13747586 markings, 18407670 edges, 18307 markings/sec, 765 secs
lola: 13841270 markings, 18524978 edges, 18737 markings/sec, 770 secs
lola: 13932988 markings, 18645805 edges, 18344 markings/sec, 775 secs
lola: 14026796 markings, 18765251 edges, 18762 markings/sec, 780 secs
lola: 14118318 markings, 18888114 edges, 18304 markings/sec, 785 secs
lola: 14212631 markings, 19008064 edges, 18863 markings/sec, 790 secs
lola: 14304614 markings, 19132583 edges, 18397 markings/sec, 795 secs
lola: 14398053 markings, 19250819 edges, 18688 markings/sec, 800 secs
lola: 14491840 markings, 19372401 edges, 18757 markings/sec, 805 secs
lola: 14585499 markings, 19496049 edges, 18732 markings/sec, 810 secs
lola: 14679877 markings, 19617750 edges, 18876 markings/sec, 815 secs
lola: 14773248 markings, 19741583 edges, 18674 markings/sec, 820 secs
lola: 14868079 markings, 19863083 edges, 18966 markings/sec, 825 secs
lola: 14961246 markings, 19987472 edges, 18633 markings/sec, 830 secs
lola: 15056533 markings, 20108775 edges, 19057 markings/sec, 835 secs
lola: 15149835 markings, 20234074 edges, 18660 markings/sec, 840 secs
lola: 15245449 markings, 20355497 edges, 19123 markings/sec, 845 secs
lola: 15334237 markings, 20480415 edges, 17758 markings/sec, 850 secs
lola: 15423268 markings, 20607948 edges, 17806 markings/sec, 855 secs
lola: 15513423 markings, 20737787 edges, 18031 markings/sec, 860 secs
lola: 15603624 markings, 20868139 edges, 18040 markings/sec, 865 secs
lola: 15693995 markings, 20997104 edges, 18074 markings/sec, 870 secs
lola: 15784680 markings, 21126544 edges, 18137 markings/sec, 875 secs
lola: 15875472 markings, 21256138 edges, 18158 markings/sec, 880 secs
lola: 15962958 markings, 21385734 edges, 17497 markings/sec, 885 secs
lola: 16048619 markings, 21520956 edges, 17132 markings/sec, 890 secs
lola: 16135656 markings, 21654970 edges, 17407 markings/sec, 895 secs
lola: 16224480 markings, 21777564 edges, 17765 markings/sec, 900 secs
lola: 16300956 markings, 21927496 edges, 15295 markings/sec, 905 secs
lola: 16371921 markings, 22089243 edges, 14193 markings/sec, 910 secs
lola: 16458906 markings, 22204393 edges, 17397 markings/sec, 915 secs
lola: 16548415 markings, 22325464 edges, 17902 markings/sec, 920 secs
lola: 16638242 markings, 22452338 edges, 17965 markings/sec, 925 secs
lola: 16732539 markings, 22570972 edges, 18859 markings/sec, 930 secs
lola: 16825166 markings, 22692653 edges, 18525 markings/sec, 935 secs
lola: 16918486 markings, 22815712 edges, 18664 markings/sec, 940 secs
lola: 17011445 markings, 22937783 edges, 18592 markings/sec, 945 secs
lola: 17105676 markings, 23054774 edges, 18846 markings/sec, 950 secs
lola: 17198662 markings, 23175888 edges, 18597 markings/sec, 955 secs
lola: 17293740 markings, 23294153 edges, 19016 markings/sec, 960 secs
lola: 17386189 markings, 23413182 edges, 18490 markings/sec, 965 secs
lola: 17478962 markings, 23530670 edges, 18555 markings/sec, 970 secs
lola: 17571649 markings, 23647061 edges, 18537 markings/sec, 975 secs
lola: 17664886 markings, 23768024 edges, 18647 markings/sec, 980 secs
lola: 17760332 markings, 23886834 edges, 19089 markings/sec, 985 secs
lola: 17853651 markings, 24008747 edges, 18664 markings/sec, 990 secs
lola: 17948296 markings, 24126412 edges, 18929 markings/sec, 995 secs
lola: 18041558 markings, 24248506 edges, 18652 markings/sec, 1000 secs
lola: 18137698 markings, 24367858 edges, 19228 markings/sec, 1005 secs
lola: 18232516 markings, 24488862 edges, 18964 markings/sec, 1010 secs
lola: 18326429 markings, 24608509 edges, 18783 markings/sec, 1015 secs
lola: 18420423 markings, 24726775 edges, 18799 markings/sec, 1020 secs
lola: 18502143 markings, 24838723 edges, 16344 markings/sec, 1025 secs
lola: 18583760 markings, 24951042 edges, 16323 markings/sec, 1030 secs
lola: 18665681 markings, 25062992 edges, 16384 markings/sec, 1035 secs
lola: 18756816 markings, 25189124 edges, 18227 markings/sec, 1040 secs
lola: 18847588 markings, 25316496 edges, 18154 markings/sec, 1045 secs
lola: 18938651 markings, 25443217 edges, 18213 markings/sec, 1050 secs
lola: 19030617 markings, 25569289 edges, 18393 markings/sec, 1055 secs
lola: 19119730 markings, 25699603 edges, 17823 markings/sec, 1060 secs
lola: 19208753 markings, 25831095 edges, 17805 markings/sec, 1065 secs
lola: 19297928 markings, 25964454 edges, 17835 markings/sec, 1070 secs
lola: 19388961 markings, 26085464 edges, 18207 markings/sec, 1075 secs
lola: 19471992 markings, 26224501 edges, 16606 markings/sec, 1080 secs
lola: 19544024 markings, 26385658 edges, 14406 markings/sec, 1085 secs
lola: 19630103 markings, 26500903 edges, 17216 markings/sec, 1090 secs
lola: 19725002 markings, 26623302 edges, 18980 markings/sec, 1095 secs
lola: 19819491 markings, 26744213 edges, 18898 markings/sec, 1100 secs
lola: 19914988 markings, 26859736 edges, 19099 markings/sec, 1105 secs
lola: 20010361 markings, 26976606 edges, 19075 markings/sec, 1110 secs
lola: 20106530 markings, 27094433 edges, 19234 markings/sec, 1115 secs
lola: 20202709 markings, 27211489 edges, 19236 markings/sec, 1120 secs
lola: 20297921 markings, 27329762 edges, 19042 markings/sec, 1125 secs
lola: 20391739 markings, 27443386 edges, 18764 markings/sec, 1130 secs
lola: 20483936 markings, 27558940 edges, 18439 markings/sec, 1135 secs
lola: 20580000 markings, 27674335 edges, 19213 markings/sec, 1140 secs
lola: 20675109 markings, 27794026 edges, 19022 markings/sec, 1145 secs
lola: 20772377 markings, 27910552 edges, 19454 markings/sec, 1150 secs
lola: 20867447 markings, 28030421 edges, 19014 markings/sec, 1155 secs
lola: 20965022 markings, 28147341 edges, 19515 markings/sec, 1160 secs
lola: 21060332 markings, 28267470 edges, 19062 markings/sec, 1165 secs
lola: 21158156 markings, 28384665 edges, 19565 markings/sec, 1170 secs
lola: 21253983 markings, 28505376 edges, 19165 markings/sec, 1175 secs
lola: 21347738 markings, 28624849 edges, 18751 markings/sec, 1180 secs
lola: 21439122 markings, 28750073 edges, 18277 markings/sec, 1185 secs
lola: 21531682 markings, 28872837 edges, 18512 markings/sec, 1190 secs
lola: 21624059 markings, 28996297 edges, 18475 markings/sec, 1195 secs
lola: 21716330 markings, 29119621 edges, 18454 markings/sec, 1200 secs
lola: 21807841 markings, 29245131 edges, 18302 markings/sec, 1205 secs
lola: 21900348 markings, 29367581 edges, 18501 markings/sec, 1210 secs
lola: 21989914 markings, 29498201 edges, 17913 markings/sec, 1215 secs
lola: 22080233 markings, 29627468 edges, 18064 markings/sec, 1220 secs
lola: 22168947 markings, 29755430 edges, 17743 markings/sec, 1225 secs
lola: 22256913 markings, 29871913 edges, 17593 markings/sec, 1230 secs
lola: 22328579 markings, 30026441 edges, 14333 markings/sec, 1235 secs
lola: 22416824 markings, 30161801 edges, 17649 markings/sec, 1240 secs
lola: 22508758 markings, 30284426 edges, 18387 markings/sec, 1245 secs
lola: 22602006 markings, 30403995 edges, 18650 markings/sec, 1250 secs
lola: 22694749 markings, 30526365 edges, 18549 markings/sec, 1255 secs
lola: 22788829 markings, 30646412 edges, 18816 markings/sec, 1260 secs
lola: 22882949 markings, 30767715 edges, 18824 markings/sec, 1265 secs
lola: 22975979 markings, 30891220 edges, 18606 markings/sec, 1270 secs
lola: 23070835 markings, 31012229 edges, 18971 markings/sec, 1275 secs
lola: 23163158 markings, 31136394 edges, 18465 markings/sec, 1280 secs
lola: 23258350 markings, 31257093 edges, 19038 markings/sec, 1285 secs
lola: 23352492 markings, 31379265 edges, 18828 markings/sec, 1290 secs
lola: 23446109 markings, 31502625 edges, 18723 markings/sec, 1295 secs
lola: 23541168 markings, 31624548 edges, 19012 markings/sec, 1300 secs
lola: 23634600 markings, 31749066 edges, 18686 markings/sec, 1305 secs
lola: 23728255 markings, 31868169 edges, 18731 markings/sec, 1310 secs
lola: 23818961 markings, 31988647 edges, 18141 markings/sec, 1315 secs
lola: 23913016 markings, 32110159 edges, 18811 markings/sec, 1320 secs
lola: 24004665 markings, 32234107 edges, 18330 markings/sec, 1325 secs
lola: 24093923 markings, 32361660 edges, 17852 markings/sec, 1330 secs
lola: 24184442 markings, 32486035 edges, 18104 markings/sec, 1335 secs
lola: 24273205 markings, 32613372 edges, 17753 markings/sec, 1340 secs
lola: 24362922 markings, 32741260 edges, 17943 markings/sec, 1345 secs
lola: 24452494 markings, 32868784 edges, 17914 markings/sec, 1350 secs
lola: 24542912 markings, 32995904 edges, 18084 markings/sec, 1355 secs
lola: 24633401 markings, 33121431 edges, 18098 markings/sec, 1360 secs
lola: 24720276 markings, 33255543 edges, 17375 markings/sec, 1365 secs
lola: 24807964 markings, 33389445 edges, 17538 markings/sec, 1370 secs
lola: 24894819 markings, 33525492 edges, 17371 markings/sec, 1375 secs
lola: 24983365 markings, 33651985 edges, 17709 markings/sec, 1380 secs
lola: 25064417 markings, 33786744 edges, 16210 markings/sec, 1385 secs
lola: 25128867 markings, 33963540 edges, 12890 markings/sec, 1390 secs
lola: 25223946 markings, 34082758 edges, 19016 markings/sec, 1395 secs
lola: 25316460 markings, 34205203 edges, 18503 markings/sec, 1400 secs
lola: 25409908 markings, 34325359 edges, 18690 markings/sec, 1405 secs
lola: 25504630 markings, 34443163 edges, 18944 markings/sec, 1410 secs
lola: 25598306 markings, 34564272 edges, 18735 markings/sec, 1415 secs
lola: 25693156 markings, 34683583 edges, 18970 markings/sec, 1420 secs
lola: 25787671 markings, 34802748 edges, 18903 markings/sec, 1425 secs
lola: 25880734 markings, 34922859 edges, 18613 markings/sec, 1430 secs
lola: 25975377 markings, 35041302 edges, 18929 markings/sec, 1435 secs
lola: 26069080 markings, 35163076 edges, 18741 markings/sec, 1440 secs
lola: 26164587 markings, 35281813 edges, 19101 markings/sec, 1445 secs
lola: 26258059 markings, 35404011 edges, 18694 markings/sec, 1450 secs
lola: 26353737 markings, 35523119 edges, 19136 markings/sec, 1455 secs
lola: 26447380 markings, 35645590 edges, 18729 markings/sec, 1460 secs
lola: 26543056 markings, 35764360 edges, 19135 markings/sec, 1465 secs
lola: 26637621 markings, 35884442 edges, 18913 markings/sec, 1470 secs
lola: 26729172 markings, 36005652 edges, 18310 markings/sec, 1475 secs
lola: 26822851 markings, 36121840 edges, 18736 markings/sec, 1480 secs
lola: 26903598 markings, 36234198 edges, 16149 markings/sec, 1485 secs
lola: 26984213 markings, 36346397 edges, 16123 markings/sec, 1490 secs
lola: 27065362 markings, 36459170 edges, 16230 markings/sec, 1495 secs
lola: 27146223 markings, 36572648 edges, 16172 markings/sec, 1500 secs
lola: 27227966 markings, 36683721 edges, 16349 markings/sec, 1505 secs
lola: 27314747 markings, 36804726 edges, 17356 markings/sec, 1510 secs
lola: 27404338 markings, 36928753 edges, 17918 markings/sec, 1515 secs
lola: 27486917 markings, 37053367 edges, 16516 markings/sec, 1520 secs
lola: 27564374 markings, 37168475 edges, 15491 markings/sec, 1525 secs
lola: 27644839 markings, 37290436 edges, 16093 markings/sec, 1530 secs
lola: 27723369 markings, 37401977 edges, 15706 markings/sec, 1535 secs
lola: 27789629 markings, 37542635 edges, 13252 markings/sec, 1540 secs
lola: 27868537 markings, 37668410 edges, 15782 markings/sec, 1545 secs
lola: 27954925 markings, 37777895 edges, 17278 markings/sec, 1550 secs
lola: 28043094 markings, 37884088 edges, 17634 markings/sec, 1555 secs
lola: 28130928 markings, 37990516 edges, 17567 markings/sec, 1560 secs
lola: 28217400 markings, 38099932 edges, 17294 markings/sec, 1565 secs
lola: 28305644 markings, 38206194 edges, 17649 markings/sec, 1570 secs
lola: 28399424 markings, 38320294 edges, 18756 markings/sec, 1575 secs
lola: 28496490 markings, 38440888 edges, 19413 markings/sec, 1580 secs
lola: 28594728 markings, 38560064 edges, 19648 markings/sec, 1585 secs
lola: 28692305 markings, 38681218 edges, 19515 markings/sec, 1590 secs
lola: 28790651 markings, 38800644 edges, 19669 markings/sec, 1595 secs
lola: 28888281 markings, 38921790 edges, 19526 markings/sec, 1600 secs
lola: 28984599 markings, 39038685 edges, 19264 markings/sec, 1605 secs
lola: 29081573 markings, 39159302 edges, 19395 markings/sec, 1610 secs
lola: 29177107 markings, 39273440 edges, 19107 markings/sec, 1615 secs
lola: 29268466 markings, 39394431 edges, 18272 markings/sec, 1620 secs
lola: 29362052 markings, 39519565 edges, 18717 markings/sec, 1625 secs
lola: 29455819 markings, 39644625 edges, 18753 markings/sec, 1630 secs
lola: 29548415 markings, 39768226 edges, 18519 markings/sec, 1635 secs
lola: 29641359 markings, 39895261 edges, 18589 markings/sec, 1640 secs
lola: 29735108 markings, 40019573 edges, 18750 markings/sec, 1645 secs
lola: 29829093 markings, 40144887 edges, 18797 markings/sec, 1650 secs
lola: 29918000 markings, 40273905 edges, 17781 markings/sec, 1655 secs
lola: 30006802 markings, 40403562 edges, 17760 markings/sec, 1660 secs
lola: 30095952 markings, 40529748 edges, 17830 markings/sec, 1665 secs
lola: 30185935 markings, 40644639 edges, 17997 markings/sec, 1670 secs
lola: 30263210 markings, 40790191 edges, 15455 markings/sec, 1675 secs
lola: 30343105 markings, 40931969 edges, 15979 markings/sec, 1680 secs
lola: 30431477 markings, 41051169 edges, 17674 markings/sec, 1685 secs
lola: 30522513 markings, 41166961 edges, 18207 markings/sec, 1690 secs
lola: 30613353 markings, 41283025 edges, 18168 markings/sec, 1695 secs
lola: 30702202 markings, 41403088 edges, 17770 markings/sec, 1700 secs
lola: 30795956 markings, 41522074 edges, 18751 markings/sec, 1705 secs
lola: 30887149 markings, 41638708 edges, 18239 markings/sec, 1710 secs
lola: 30976861 markings, 41759500 edges, 17942 markings/sec, 1715 secs
lola: 31069056 markings, 41876681 edges, 18439 markings/sec, 1720 secs
lola: 31161030 markings, 41994661 edges, 18395 markings/sec, 1725 secs
lola: 31251556 markings, 42116031 edges, 18105 markings/sec, 1730 secs
lola: 31344345 markings, 42233967 edges, 18558 markings/sec, 1735 secs
lola: 31436658 markings, 42352755 edges, 18463 markings/sec, 1740 secs
lola: 31527822 markings, 42474475 edges, 18233 markings/sec, 1745 secs
lola: 31621524 markings, 42593455 edges, 18740 markings/sec, 1750 secs
lola: 31710902 markings, 42714876 edges, 17876 markings/sec, 1755 secs
lola: 31797743 markings, 42838846 edges, 17368 markings/sec, 1760 secs
lola: 31885750 markings, 42964949 edges, 17601 markings/sec, 1765 secs
lola: 31975382 markings, 43093424 edges, 17926 markings/sec, 1770 secs
lola: 32066606 markings, 43221656 edges, 18245 markings/sec, 1775 secs
lola: 32158167 markings, 43349339 edges, 18312 markings/sec, 1780 secs
lola: 32242812 markings, 43470167 edges, 16929 markings/sec, 1785 secs
lola: 32322483 markings, 43585593 edges, 15934 markings/sec, 1790 secs
lola: 32403622 markings, 43695412 edges, 16228 markings/sec, 1795 secs
lola: 32482738 markings, 43819119 edges, 15823 markings/sec, 1800 secs
lola: 32560839 markings, 43942485 edges, 15620 markings/sec, 1805 secs
lola: 32639698 markings, 44065083 edges, 15772 markings/sec, 1810 secs
lola: 32727974 markings, 44184946 edges, 17655 markings/sec, 1815 secs
lola: 32810662 markings, 44322390 edges, 16538 markings/sec, 1820 secs
lola: 32876952 markings, 44498963 edges, 13258 markings/sec, 1825 secs
lola: 32968224 markings, 44611470 edges, 18254 markings/sec, 1830 secs
lola: 33060875 markings, 44727646 edges, 18530 markings/sec, 1835 secs
lola: 33152151 markings, 44846417 edges, 18255 markings/sec, 1840 secs
lola: 33245639 markings, 44962837 edges, 18698 markings/sec, 1845 secs
lola: 33337206 markings, 45082850 edges, 18313 markings/sec, 1850 secs
lola: 33431080 markings, 45199582 edges, 18775 markings/sec, 1855 secs
lola: 33523348 markings, 45316147 edges, 18454 markings/sec, 1860 secs
lola: 33611549 markings, 45430488 edges, 17640 markings/sec, 1865 secs
lola: 33700466 markings, 45541431 edges, 17783 markings/sec, 1870 secs
lola: 33792758 markings, 45661858 edges, 18458 markings/sec, 1875 secs
lola: 33886768 markings, 45779231 edges, 18802 markings/sec, 1880 secs
lola: 33977836 markings, 45894177 edges, 18214 markings/sec, 1885 secs
lola: 34070009 markings, 46013395 edges, 18435 markings/sec, 1890 secs
lola: 34165200 markings, 46132187 edges, 19038 markings/sec, 1895 secs
lola: 34259608 markings, 46254625 edges, 18882 markings/sec, 1900 secs
lola: 34352036 markings, 46373818 edges, 18486 markings/sec, 1905 secs
lola: 34443341 markings, 46499883 edges, 18261 markings/sec, 1910 secs
lola: 34535315 markings, 46626675 edges, 18395 markings/sec, 1915 secs
lola: 34625069 markings, 46750804 edges, 17951 markings/sec, 1920 secs
lola: 34716932 markings, 46879676 edges, 18373 markings/sec, 1925 secs
lola: 34808744 markings, 47007534 edges, 18362 markings/sec, 1930 secs
lola: 34900509 markings, 47133557 edges, 18353 markings/sec, 1935 secs
lola: 34987985 markings, 47265888 edges, 17495 markings/sec, 1940 secs
lola: 35076796 markings, 47397575 edges, 17762 markings/sec, 1945 secs
lola: 35165584 markings, 47528902 edges, 17758 markings/sec, 1950 secs
lola: 35254657 markings, 47648415 edges, 17815 markings/sec, 1955 secs
lola: 35332678 markings, 47795680 edges, 15604 markings/sec, 1960 secs
lola: 35412691 markings, 47934331 edges, 16003 markings/sec, 1965 secs
lola: 35506179 markings, 48046582 edges, 18698 markings/sec, 1970 secs
lola: 35597936 markings, 48159089 edges, 18351 markings/sec, 1975 secs
lola: 35690962 markings, 48274387 edges, 18605 markings/sec, 1980 secs
lola: 35785386 markings, 48389040 edges, 18885 markings/sec, 1985 secs
lola: 35878761 markings, 48505573 edges, 18675 markings/sec, 1990 secs
lola: 35973625 markings, 48619857 edges, 18973 markings/sec, 1995 secs
lola: 36067416 markings, 48737769 edges, 18758 markings/sec, 2000 secs
lola: 36162646 markings, 48852028 edges, 19046 markings/sec, 2005 secs
lola: 36254515 markings, 48968526 edges, 18374 markings/sec, 2010 secs
lola: 36350160 markings, 49082898 edges, 19129 markings/sec, 2015 secs
lola: 36442602 markings, 49195925 edges, 18488 markings/sec, 2020 secs
lola: 36533191 markings, 49308712 edges, 18118 markings/sec, 2025 secs
lola: 36627255 markings, 49422354 edges, 18813 markings/sec, 2030 secs
lola: 36717622 markings, 49535965 edges, 18073 markings/sec, 2035 secs
lola: 36806870 markings, 49645135 edges, 17850 markings/sec, 2040 secs
lola: 36896770 markings, 49764698 edges, 17980 markings/sec, 2045 secs
lola: 36987313 markings, 49885760 edges, 18109 markings/sec, 2050 secs
lola: 37074268 markings, 50002265 edges, 17391 markings/sec, 2055 secs
lola: 37164957 markings, 50125093 edges, 18138 markings/sec, 2060 secs
lola: 37257962 markings, 50250460 edges, 18601 markings/sec, 2065 secs
lola: 37350358 markings, 50373455 edges, 18479 markings/sec, 2070 secs
lola: 37440147 markings, 50494711 edges, 17958 markings/sec, 2075 secs
lola: 37528121 markings, 50621385 edges, 17595 markings/sec, 2080 secs
lola: 37610676 markings, 50743063 edges, 16511 markings/sec, 2085 secs
lola: 37688718 markings, 50855947 edges, 15608 markings/sec, 2090 secs
lola: 37765740 markings, 50954618 edges, 15404 markings/sec, 2095 secs
lola: 37832349 markings, 51080735 edges, 13322 markings/sec, 2100 secs
lola: 37902473 markings, 51211826 edges, 14025 markings/sec, 2105 secs
lola: 37989465 markings, 51316691 edges, 17398 markings/sec, 2110 secs
lola: 38073896 markings, 51420687 edges, 16886 markings/sec, 2115 secs
lola: 38157936 markings, 51525936 edges, 16808 markings/sec, 2120 secs
lola: 38243654 markings, 51629351 edges, 17144 markings/sec, 2125 secs
lola: 38329001 markings, 51733741 edges, 17069 markings/sec, 2130 secs
lola: 38413204 markings, 51839741 edges, 16841 markings/sec, 2135 secs
lola: 38500916 markings, 51945472 edges, 17542 markings/sec, 2140 secs
lola: 38596224 markings, 52061843 edges, 19062 markings/sec, 2145 secs
lola: 38688960 markings, 52176918 edges, 18547 markings/sec, 2150 secs
lola: 38783926 markings, 52292127 edges, 18993 markings/sec, 2155 secs
lola: 38879830 markings, 52411690 edges, 19181 markings/sec, 2160 secs
lola: 38978868 markings, 52531488 edges, 19808 markings/sec, 2165 secs
lola: 39076061 markings, 52652479 edges, 19439 markings/sec, 2170 secs
lola: 39173181 markings, 52769969 edges, 19424 markings/sec, 2175 secs
lola: 39266804 markings, 52886714 edges, 18725 markings/sec, 2180 secs
lola: 39359601 markings, 53009762 edges, 18559 markings/sec, 2185 secs
lola: 39454436 markings, 53136210 edges, 18967 markings/sec, 2190 secs
lola: 39549873 markings, 53263511 edges, 19087 markings/sec, 2195 secs
lola: 39642015 markings, 53387554 edges, 18428 markings/sec, 2200 secs
lola: 39733675 markings, 53512074 edges, 18332 markings/sec, 2205 secs
lola: 39827536 markings, 53636523 edges, 18772 markings/sec, 2210 secs
lola: 39920559 markings, 53762671 edges, 18605 markings/sec, 2215 secs
lola: 40010004 markings, 53893168 edges, 17889 markings/sec, 2220 secs
lola: 40100938 markings, 54024302 edges, 18187 markings/sec, 2225 secs
lola: 40192215 markings, 54149656 edges, 18255 markings/sec, 2230 secs
lola: 40278541 markings, 54278895 edges, 17265 markings/sec, 2235 secs
lola: 40350726 markings, 54443261 edges, 14437 markings/sec, 2240 secs
lola: 40443291 markings, 54553272 edges, 18513 markings/sec, 2245 secs
lola: 40536436 markings, 54665443 edges, 18629 markings/sec, 2250 secs
lola: 40627834 markings, 54780855 edges, 18280 markings/sec, 2255 secs
lola: 40723074 markings, 54895094 edges, 19048 markings/sec, 2260 secs
lola: 40817106 markings, 55012026 edges, 18806 markings/sec, 2265 secs
lola: 40911860 markings, 55127425 edges, 18951 markings/sec, 2270 secs
lola: 41007118 markings, 55243585 edges, 19052 markings/sec, 2275 secs
lola: 41101880 markings, 55361198 edges, 18952 markings/sec, 2280 secs
lola: 41197913 markings, 55477701 edges, 19207 markings/sec, 2285 secs
lola: 41293139 markings, 55596311 edges, 19045 markings/sec, 2290 secs
lola: 41389809 markings, 55713279 edges, 19334 markings/sec, 2295 secs
lola: 41488017 markings, 55835609 edges, 19642 markings/sec, 2300 secs
lola: 41586310 markings, 55954470 edges, 19659 markings/sec, 2305 secs
lola: 41681619 markings, 56073632 edges, 19062 markings/sec, 2310 secs
lola: 41772511 markings, 56188228 edges, 18178 markings/sec, 2315 secs
lola: 41865907 markings, 56311982 edges, 18679 markings/sec, 2320 secs
lola: 41961428 markings, 56439198 edges, 19104 markings/sec, 2325 secs
lola: 42055595 markings, 56564841 edges, 18833 markings/sec, 2330 secs
lola: 42150407 markings, 56693035 edges, 18962 markings/sec, 2335 secs
lola: 42246003 markings, 56821017 edges, 19119 markings/sec, 2340 secs
lola: 42341907 markings, 56948895 edges, 19181 markings/sec, 2345 secs
lola: 42434141 markings, 57077953 edges, 18447 markings/sec, 2350 secs
lola: 42525592 markings, 57210565 edges, 18290 markings/sec, 2355 secs
lola: 42616294 markings, 57342027 edges, 18140 markings/sec, 2360 secs
lola: 42706964 markings, 57461789 edges, 18134 markings/sec, 2365 secs
lola: 42786064 markings, 57605434 edges, 15820 markings/sec, 2370 secs
lola: 42867337 markings, 57750173 edges, 16255 markings/sec, 2375 secs
lola: 42961621 markings, 57865029 edges, 18857 markings/sec, 2380 secs
lola: 43055181 markings, 57981486 edges, 18712 markings/sec, 2385 secs
lola: 43149846 markings, 58095927 edges, 18933 markings/sec, 2390 secs
lola: 43243166 markings, 58212868 edges, 18664 markings/sec, 2395 secs
lola: 43338356 markings, 58327116 edges, 19038 markings/sec, 2400 secs
lola: 43431903 markings, 58445171 edges, 18709 markings/sec, 2405 secs
lola: 43527597 markings, 58559917 edges, 19139 markings/sec, 2410 secs
lola: 43621692 markings, 58678528 edges, 18819 markings/sec, 2415 secs
lola: 43718671 markings, 58794908 edges, 19396 markings/sec, 2420 secs
lola: 43815809 markings, 58915402 edges, 19428 markings/sec, 2425 secs
lola: 43912046 markings, 59032506 edges, 19247 markings/sec, 2430 secs
lola: 44008057 markings, 59149988 edges, 19202 markings/sec, 2435 secs
lola: 44104398 markings, 59268885 edges, 19268 markings/sec, 2440 secs
lola: 44197374 markings, 59385842 edges, 18595 markings/sec, 2445 secs
lola: 44288178 markings, 59501357 edges, 18161 markings/sec, 2450 secs
lola: 44380967 markings, 59625133 edges, 18558 markings/sec, 2455 secs
lola: 44473649 markings, 59748866 edges, 18536 markings/sec, 2460 secs
lola: 44566540 markings, 59872887 edges, 18578 markings/sec, 2465 secs
lola: 44659010 markings, 59999579 edges, 18494 markings/sec, 2470 secs
lola: 44752697 markings, 60123676 edges, 18737 markings/sec, 2475 secs
lola: 44845484 markings, 60249377 edges, 18557 markings/sec, 2480 secs
lola: 44935612 markings, 60375868 edges, 18026 markings/sec, 2485 secs
lola: 45025686 markings, 60505776 edges, 18015 markings/sec, 2490 secs
lola: 45115264 markings, 60635925 edges, 17916 markings/sec, 2495 secs
lola: 45204973 markings, 60756703 edges, 17942 markings/sec, 2500 secs
lola: 45280345 markings, 60914846 edges, 15074 markings/sec, 2505 secs
lola: 45368769 markings, 61042065 edges, 17685 markings/sec, 2510 secs
lola: 45461681 markings, 61158346 edges, 18582 markings/sec, 2515 secs
lola: 45556242 markings, 61272014 edges, 18912 markings/sec, 2520 secs
lola: 45648943 markings, 61388962 edges, 18540 markings/sec, 2525 secs
lola: 45744169 markings, 61503181 edges, 19045 markings/sec, 2530 secs
lola: 45839541 markings, 61623679 edges, 19074 markings/sec, 2535 secs
lola: 45937328 markings, 61740549 edges, 19557 markings/sec, 2540 secs
lola: 46033448 markings, 61860173 edges, 19224 markings/sec, 2545 secs
lola: 46131084 markings, 61978552 edges, 19527 markings/sec, 2550 secs
lola: 46228513 markings, 62099355 edges, 19486 markings/sec, 2555 secs
lola: 46325772 markings, 62217576 edges, 19452 markings/sec, 2560 secs
lola: 46422114 markings, 62336825 edges, 19268 markings/sec, 2565 secs
lola: 46520752 markings, 62456996 edges, 19728 markings/sec, 2570 secs
lola: 46618465 markings, 62578110 edges, 19543 markings/sec, 2575 secs
lola: 46712928 markings, 62694270 edges, 18893 markings/sec, 2580 secs
lola: 46806091 markings, 62817896 edges, 18633 markings/sec, 2585 secs
lola: 46900385 markings, 62944921 edges, 18859 markings/sec, 2590 secs
lola: 46994880 markings, 63072394 edges, 18899 markings/sec, 2595 secs
lola: 47089864 markings, 63198809 edges, 18997 markings/sec, 2600 secs
lola: 47184000 markings, 63324404 edges, 18827 markings/sec, 2605 secs
lola: 47278774 markings, 63451044 edges, 18955 markings/sec, 2610 secs
lola: 47372014 markings, 63579161 edges, 18648 markings/sec, 2615 secs
lola: 47463367 markings, 63711680 edges, 18271 markings/sec, 2620 secs
lola: 47554012 markings, 63843248 edges, 18129 markings/sec, 2625 secs
lola: 47646307 markings, 63967569 edges, 18459 markings/sec, 2630 secs
lola: 47729431 markings, 64111818 edges, 16625 markings/sec, 2635 secs
lola: 47808730 markings, 64261765 edges, 15860 markings/sec, 2640 secs
lola: 47904490 markings, 64376873 edges, 19152 markings/sec, 2645 secs
lola: 47996935 markings, 64493480 edges, 18489 markings/sec, 2650 secs
lola: 48091945 markings, 64607420 edges, 19002 markings/sec, 2655 secs
lola: 48185563 markings, 64724287 edges, 18724 markings/sec, 2660 secs
lola: 48280461 markings, 64839461 edges, 18980 markings/sec, 2665 secs
lola: 48375299 markings, 64955301 edges, 18968 markings/sec, 2670 secs
lola: 48472242 markings, 65075230 edges, 19389 markings/sec, 2675 secs
lola: 48569381 markings, 65193486 edges, 19428 markings/sec, 2680 secs
lola: 48664424 markings, 65311436 edges, 19009 markings/sec, 2685 secs
lola: 48760601 markings, 65428189 edges, 19235 markings/sec, 2690 secs
lola: 48856823 markings, 65547876 edges, 19244 markings/sec, 2695 secs
lola: 48955528 markings, 65667431 edges, 19741 markings/sec, 2700 secs
lola: 49051601 markings, 65787079 edges, 19215 markings/sec, 2705 secs
lola: 49145881 markings, 65905527 edges, 18856 markings/sec, 2710 secs
lola: 49237088 markings, 66021053 edges, 18241 markings/sec, 2715 secs
lola: 49331590 markings, 66146684 edges, 18900 markings/sec, 2720 secs
lola: 49426331 markings, 66272961 edges, 18948 markings/sec, 2725 secs
lola: 49518912 markings, 66396633 edges, 18516 markings/sec, 2730 secs
lola: 49612540 markings, 66523216 edges, 18726 markings/sec, 2735 secs
lola: 49706669 markings, 66649619 edges, 18826 markings/sec, 2740 secs
lola: 49799995 markings, 66775234 edges, 18665 markings/sec, 2745 secs
lola: 49888578 markings, 66899417 edges, 17717 markings/sec, 2750 secs
lola: 49973274 markings, 67024241 edges, 16939 markings/sec, 2755 secs
lola: 50057417 markings, 67144283 edges, 16829 markings/sec, 2760 secs
lola: 50140140 markings, 67253251 edges, 16545 markings/sec, 2765 secs
lola: 50212106 markings, 67384314 edges, 14393 markings/sec, 2770 secs
lola: 50283099 markings, 67521730 edges, 14199 markings/sec, 2775 secs
lola: 50378268 markings, 67635887 edges, 19034 markings/sec, 2780 secs
lola: 50471035 markings, 67753283 edges, 18553 markings/sec, 2785 secs
lola: 50565182 markings, 67866136 edges, 18829 markings/sec, 2790 secs
lola: 50659591 markings, 67981809 edges, 18882 markings/sec, 2795 secs
lola: 50754125 markings, 68098655 edges, 18907 markings/sec, 2800 secs
lola: 50849459 markings, 68214578 edges, 19067 markings/sec, 2805 secs
lola: 50944354 markings, 68332650 edges, 18979 markings/sec, 2810 secs
lola: 51040660 markings, 68449271 edges, 19261 markings/sec, 2815 secs
lola: 51135199 markings, 68567320 edges, 18908 markings/sec, 2820 secs
lola: 51231724 markings, 68683674 edges, 19305 markings/sec, 2825 secs
lola: 51326851 markings, 68802934 edges, 19025 markings/sec, 2830 secs
lola: 51422924 markings, 68918190 edges, 19215 markings/sec, 2835 secs
lola: 51516148 markings, 69035865 edges, 18645 markings/sec, 2840 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1
lola:
preliminary result: 1 1 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1
lola: memory consumption: 20728 KB
lola: time consumption: 3569 seconds

BK_STOP 1552866898446

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory

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="FlexibleBarrier-PT-12b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is FlexibleBarrier-PT-12b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r088-csrt-155246565700070"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-12b.tgz
mv FlexibleBarrier-PT-12b execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.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 ;