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.r022-csrt-155225094800280.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 BusinessProcesses-PT-19, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094800280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 348K
-rw-r--r-- 1 mcc users 3.3K Feb 9 08:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 9 08:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 06:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 5 06:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 10K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 2 01:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 01:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jan 29 14:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 29 14:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 189K 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 BusinessProcesses-PT-19-UpperBounds-00
FORMULA_NAME BusinessProcesses-PT-19-UpperBounds-01
FORMULA_NAME BusinessProcesses-PT-19-UpperBounds-02
FORMULA_NAME BusinessProcesses-PT-19-UpperBounds-03
FORMULA_NAME BusinessProcesses-PT-19-UpperBounds-04
FORMULA_NAME BusinessProcesses-PT-19-UpperBounds-05
FORMULA_NAME BusinessProcesses-PT-19-UpperBounds-06
FORMULA_NAME BusinessProcesses-PT-19-UpperBounds-07
FORMULA_NAME BusinessProcesses-PT-19-UpperBounds-08
FORMULA_NAME BusinessProcesses-PT-19-UpperBounds-09
FORMULA_NAME BusinessProcesses-PT-19-UpperBounds-10
FORMULA_NAME BusinessProcesses-PT-19-UpperBounds-11
FORMULA_NAME BusinessProcesses-PT-19-UpperBounds-12
FORMULA_NAME BusinessProcesses-PT-19-UpperBounds-13
FORMULA_NAME BusinessProcesses-PT-19-UpperBounds-14
FORMULA_NAME BusinessProcesses-PT-19-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552413418990

info: Time: 3600 - MCC
===========================================================================================
prep: translating BusinessProcesses-PT-19 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BusinessProcesses-PT-19 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ 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-UpperBounds.task
lola: MAX(p744) : MAX(p733) : MAX(p158) : MAX(p640) : MAX(p370) : MAX(p25) : MAX(p193) : MAX(p606) : MAX(p351) : MAX(p640) : MAX(p634) : MAX(p2) : MAX(p523) : MAX(p353) : MAX(p474) : MAX(p127)
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(p744)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p744)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 3708 markings, 4031 edges
lola: ========================================

FORMULA BusinessProcesses-PT-19-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p733)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p733)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 47 markings, 46 edges
lola: ========================================

FORMULA BusinessProcesses-PT-19-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p158)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p158)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 24 markings, 23 edges
lola: ========================================

FORMULA BusinessProcesses-PT-19-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(p640)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p640)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 3728 markings, 4051 edges
lola: ========================================

FORMULA BusinessProcesses-PT-19-UpperBounds-3 1 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: MAX(p370)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p370)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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 BusinessProcesses-PT-19-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(p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p25)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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 BusinessProcesses-PT-19-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(p193)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p193)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 409419 markings, 506761 edges, 81884 markings/sec, 0 secs
lola: 878536 markings, 1106670 edges, 93823 markings/sec, 5 secs
lola: 1342811 markings, 1706573 edges, 92855 markings/sec, 10 secs
lola: 1802904 markings, 2307279 edges, 92019 markings/sec, 15 secs
lola: 2233059 markings, 2866259 edges, 86031 markings/sec, 20 secs
lola: 2674363 markings, 3434744 edges, 88261 markings/sec, 25 secs
lola: 3130811 markings, 3991346 edges, 91290 markings/sec, 30 secs
lola: 3580504 markings, 4549639 edges, 89939 markings/sec, 35 secs
lola: 4030898 markings, 5108000 edges, 90079 markings/sec, 40 secs
lola: 4474492 markings, 5669854 edges, 88719 markings/sec, 45 secs
lola: 4918689 markings, 6229346 edges, 88839 markings/sec, 50 secs
lola: 5365263 markings, 6786894 edges, 89315 markings/sec, 55 secs
lola: 5806819 markings, 7347971 edges, 88311 markings/sec, 60 secs
lola: 6258244 markings, 7903146 edges, 90285 markings/sec, 65 secs
lola: 6708204 markings, 8459458 edges, 89992 markings/sec, 70 secs
lola: 7157389 markings, 9014109 edges, 89837 markings/sec, 75 secs
lola: 7604421 markings, 9571349 edges, 89406 markings/sec, 80 secs
lola: 8045302 markings, 10131319 edges, 88176 markings/sec, 85 secs
lola: 8484582 markings, 10681641 edges, 87856 markings/sec, 90 secs
lola: 8936251 markings, 11252042 edges, 90334 markings/sec, 95 secs
lola: 9384407 markings, 11819970 edges, 89631 markings/sec, 100 secs
lola: 9827714 markings, 12426329 edges, 88661 markings/sec, 105 secs
lola: 10259853 markings, 13036967 edges, 86428 markings/sec, 110 secs
lola: 10685520 markings, 13644958 edges, 85133 markings/sec, 115 secs
lola: 11071884 markings, 14201590 edges, 77273 markings/sec, 120 secs
lola: 11468163 markings, 14765242 edges, 79256 markings/sec, 125 secs
lola: 11842191 markings, 15306985 edges, 74806 markings/sec, 130 secs
lola: 12206716 markings, 15852575 edges, 72905 markings/sec, 135 secs
lola: 12574565 markings, 16394430 edges, 73570 markings/sec, 140 secs
lola: 12977058 markings, 16999869 edges, 80499 markings/sec, 145 secs
lola: 13404459 markings, 17608720 edges, 85480 markings/sec, 150 secs
lola: 13777219 markings, 18150418 edges, 74552 markings/sec, 155 secs
lola: 14164065 markings, 18736906 edges, 77369 markings/sec, 160 secs
lola: 14539969 markings, 19288097 edges, 75181 markings/sec, 165 secs
lola: 14912719 markings, 19837181 edges, 74550 markings/sec, 170 secs
lola: 15340127 markings, 20450578 edges, 85482 markings/sec, 175 secs
lola: 15707998 markings, 20993500 edges, 73574 markings/sec, 180 secs
lola: 16083923 markings, 21552256 edges, 75185 markings/sec, 185 secs
lola: 16495273 markings, 22166997 edges, 82270 markings/sec, 190 secs
lola: 16909866 markings, 22782946 edges, 82919 markings/sec, 195 secs
lola: 17316903 markings, 23399462 edges, 81407 markings/sec, 200 secs
lola: 17708293 markings, 24005501 edges, 78278 markings/sec, 205 secs
lola: 18099904 markings, 24605907 edges, 78322 markings/sec, 210 secs
lola: 18490784 markings, 25204639 edges, 78176 markings/sec, 215 secs
lola: 18903691 markings, 25822619 edges, 82581 markings/sec, 220 secs
lola: 19310430 markings, 26444590 edges, 81348 markings/sec, 225 secs
lola: 19719637 markings, 27080128 edges, 81841 markings/sec, 230 secs
lola: 20129486 markings, 27716592 edges, 81970 markings/sec, 235 secs
lola: 20565281 markings, 28342665 edges, 87159 markings/sec, 240 secs
lola: 20999945 markings, 28972417 edges, 86933 markings/sec, 245 secs
lola: 21418407 markings, 29602076 edges, 83692 markings/sec, 250 secs
lola: 21840384 markings, 30228042 edges, 84395 markings/sec, 255 secs
lola: 22255740 markings, 30842203 edges, 83071 markings/sec, 260 secs
lola: 22663002 markings, 31457252 edges, 81452 markings/sec, 265 secs
lola: 23063863 markings, 32077809 edges, 80172 markings/sec, 270 secs
lola: 23465215 markings, 32694732 edges, 80270 markings/sec, 275 secs
lola: 23863866 markings, 33309489 edges, 79730 markings/sec, 280 secs
lola: 24271643 markings, 33918278 edges, 81555 markings/sec, 285 secs
lola: 24685738 markings, 34550205 edges, 82819 markings/sec, 290 secs
lola: 25097366 markings, 35186365 edges, 82326 markings/sec, 295 secs
lola: 25505526 markings, 35819207 edges, 81632 markings/sec, 300 secs
lola: 25971143 markings, 36414857 edges, 93123 markings/sec, 305 secs
lola: 26444598 markings, 36999262 edges, 94691 markings/sec, 310 secs
lola: 26919560 markings, 37587783 edges, 94992 markings/sec, 315 secs
lola: 27386091 markings, 38175358 edges, 93306 markings/sec, 320 secs
lola: 27843638 markings, 38758024 edges, 91509 markings/sec, 325 secs
lola: 28314191 markings, 39341021 edges, 94111 markings/sec, 330 secs
lola: 28777573 markings, 39928679 edges, 92676 markings/sec, 335 secs
lola: 29239774 markings, 40534992 edges, 92440 markings/sec, 340 secs
lola: 29681658 markings, 41152522 edges, 88377 markings/sec, 345 secs
lola: 30109132 markings, 41765040 edges, 85495 markings/sec, 350 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2437156 KB
lola: time consumption: 357 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 357 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p606)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p606)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 258 markings, 309 edges
lola:
FORMULA BusinessProcesses-PT-19-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 401 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p351)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p351)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 39 markings, 38 edges
lola: ========================================

FORMULA BusinessProcesses-PT-19-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 459 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p640)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p640)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 3728 markings, 4051 edges
lola: ========================================

FORMULA BusinessProcesses-PT-19-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p634)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p634)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 437822 markings, 592843 edges, 87564 markings/sec, 0 secs
lola: 874066 markings, 1203539 edges, 87249 markings/sec, 5 secs
lola: 1297505 markings, 1813670 edges, 84688 markings/sec, 10 secs
lola: 1735757 markings, 2441921 edges, 87650 markings/sec, 15 secs
lola: 2176912 markings, 3071575 edges, 88231 markings/sec, 20 secs
lola: 2603146 markings, 3691995 edges, 85247 markings/sec, 25 secs
lola: 3023227 markings, 4322958 edges, 84016 markings/sec, 30 secs
lola: 3447474 markings, 4950482 edges, 84849 markings/sec, 35 secs
lola: 3875917 markings, 5569693 edges, 85689 markings/sec, 40 secs
lola: 4304853 markings, 6192999 edges, 85787 markings/sec, 45 secs
lola: 4727166 markings, 6822914 edges, 84463 markings/sec, 50 secs
lola: 5145498 markings, 7441666 edges, 83666 markings/sec, 55 secs
lola: 5568092 markings, 8064793 edges, 84519 markings/sec, 60 secs
lola: 6002682 markings, 8690870 edges, 86918 markings/sec, 65 secs
lola: 6430847 markings, 9323961 edges, 85633 markings/sec, 70 secs
lola: 6854712 markings, 9950722 edges, 84773 markings/sec, 75 secs
lola: 7270801 markings, 10576656 edges, 83218 markings/sec, 80 secs
lola: 7697109 markings, 11208196 edges, 85262 markings/sec, 85 secs
lola: 8112227 markings, 11841712 edges, 83024 markings/sec, 90 secs
lola: 8519464 markings, 12475993 edges, 81447 markings/sec, 95 secs
lola: 8928578 markings, 13107782 edges, 81823 markings/sec, 100 secs
lola: 9350858 markings, 13737373 edges, 84456 markings/sec, 105 secs
lola: 9767438 markings, 14368821 edges, 83316 markings/sec, 110 secs
lola: 10173300 markings, 15002189 edges, 81172 markings/sec, 115 secs
lola: 10581355 markings, 15626889 edges, 81611 markings/sec, 120 secs
lola: 10994485 markings, 16244010 edges, 82626 markings/sec, 125 secs
lola: 11420666 markings, 16863434 edges, 85236 markings/sec, 130 secs
lola: 11846914 markings, 17490702 edges, 85250 markings/sec, 135 secs
lola: 12269963 markings, 18118164 edges, 84610 markings/sec, 140 secs
lola: 12691477 markings, 18748944 edges, 84303 markings/sec, 145 secs
lola: 13115974 markings, 19381225 edges, 84899 markings/sec, 150 secs
lola: 13526973 markings, 20010270 edges, 82200 markings/sec, 155 secs
lola: 13938436 markings, 20645265 edges, 82293 markings/sec, 160 secs
lola: 14348676 markings, 21281036 edges, 82048 markings/sec, 165 secs
lola: 14764064 markings, 21901263 edges, 83078 markings/sec, 170 secs
lola: 15178626 markings, 22530284 edges, 82912 markings/sec, 175 secs
lola: 15586213 markings, 23164110 edges, 81517 markings/sec, 180 secs
lola: 15997478 markings, 23794514 edges, 82253 markings/sec, 185 secs
lola: 16422501 markings, 24393722 edges, 85005 markings/sec, 190 secs
lola: 16884999 markings, 24961730 edges, 92500 markings/sec, 195 secs
lola: 17343412 markings, 25530784 edges, 91683 markings/sec, 200 secs
lola: 17804696 markings, 26102570 edges, 92257 markings/sec, 205 secs
lola: 18259113 markings, 26678112 edges, 90883 markings/sec, 210 secs
lola: 18713251 markings, 27248660 edges, 90828 markings/sec, 215 secs
lola: 19166587 markings, 27819818 edges, 90667 markings/sec, 220 secs
lola: 19617264 markings, 28393187 edges, 90135 markings/sec, 225 secs
lola: 20049632 markings, 28979269 edges, 86474 markings/sec, 230 secs
lola: 20478532 markings, 29581305 edges, 85780 markings/sec, 235 secs
lola: 20906395 markings, 30194635 edges, 85573 markings/sec, 240 secs
lola: 21345554 markings, 30825356 edges, 87832 markings/sec, 245 secs
lola: 21788424 markings, 31457776 edges, 88574 markings/sec, 250 secs
lola: 22203372 markings, 32058499 edges, 82990 markings/sec, 255 secs
lola: 22624233 markings, 32693067 edges, 84172 markings/sec, 260 secs
lola: 23053661 markings, 33327167 edges, 85886 markings/sec, 265 secs
lola: 23488745 markings, 33958019 edges, 87017 markings/sec, 270 secs
lola: 23922827 markings, 34587001 edges, 86816 markings/sec, 275 secs
lola: 24346446 markings, 35219607 edges, 84724 markings/sec, 280 secs
lola: 24773310 markings, 35851708 edges, 85373 markings/sec, 285 secs
lola: 25203609 markings, 36482229 edges, 86060 markings/sec, 290 secs
lola: 25639456 markings, 37115247 edges, 87169 markings/sec, 295 secs
lola: 26069826 markings, 37748832 edges, 86074 markings/sec, 300 secs
lola: 26496147 markings, 38380552 edges, 85264 markings/sec, 305 secs
lola: 26915527 markings, 39007679 edges, 83876 markings/sec, 310 secs
lola: 27333986 markings, 39633880 edges, 83692 markings/sec, 315 secs
lola: 27751340 markings, 40268383 edges, 83471 markings/sec, 320 secs
lola: 28162444 markings, 40904316 edges, 82221 markings/sec, 325 secs
lola: 28573167 markings, 41542452 edges, 82145 markings/sec, 330 secs
lola: 28995347 markings, 42175484 edges, 84436 markings/sec, 335 secs
lola: 29416471 markings, 42807529 edges, 84225 markings/sec, 340 secs
lola: 29822658 markings, 43441353 edges, 81237 markings/sec, 345 secs
lola: 30232899 markings, 44073300 edges, 82048 markings/sec, 350 secs
lola: 30653047 markings, 44697402 edges, 84030 markings/sec, 355 secs
lola: 31085358 markings, 45322535 edges, 86462 markings/sec, 360 secs
lola: 31510889 markings, 45953975 edges, 85106 markings/sec, 365 secs
lola: 31934711 markings, 46581814 edges, 84764 markings/sec, 370 secs
lola: 32354683 markings, 47210878 edges, 83994 markings/sec, 375 secs
lola: 32779004 markings, 47843114 edges, 84864 markings/sec, 380 secs
lola: 33192233 markings, 48476217 edges, 82646 markings/sec, 385 secs
lola: 33599321 markings, 49107982 edges, 81418 markings/sec, 390 secs
lola: 34006702 markings, 49740806 edges, 81476 markings/sec, 395 secs
lola: 34426803 markings, 50363304 edges, 84020 markings/sec, 400 secs
lola: 34842278 markings, 50991110 edges, 83095 markings/sec, 405 secs
lola: 35247432 markings, 51626021 edges, 81031 markings/sec, 410 secs
lola: 35653345 markings, 52252645 edges, 81183 markings/sec, 415 secs
lola: 36081072 markings, 52838698 edges, 85545 markings/sec, 420 secs
lola: 36550703 markings, 53416378 edges, 93926 markings/sec, 425 secs
lola: 37022041 markings, 54000061 edges, 94268 markings/sec, 430 secs
lola: 37491530 markings, 54584496 edges, 93898 markings/sec, 435 secs
lola: 37942969 markings, 55157551 edges, 90288 markings/sec, 440 secs
lola: 38360404 markings, 55680849 edges, 83487 markings/sec, 445 secs
lola: 38753168 markings, 56175144 edges, 78553 markings/sec, 450 secs
lola: 39140638 markings, 56666731 edges, 77494 markings/sec, 455 secs
lola: 39547798 markings, 57165227 edges, 81432 markings/sec, 460 secs
lola: 39947542 markings, 57658618 edges, 79949 markings/sec, 465 secs
lola: 40349369 markings, 58156688 edges, 80365 markings/sec, 470 secs
lola: 40801388 markings, 58716888 edges, 90404 markings/sec, 475 secs
lola: 41262094 markings, 59300721 edges, 92141 markings/sec, 480 secs
lola: 41721375 markings, 59877792 edges, 91856 markings/sec, 485 secs
lola: 42183370 markings, 60459387 edges, 92399 markings/sec, 490 secs
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 42639547 markings, 61040480 edges
lola: ========================================

FORMULA BusinessProcesses-PT-19-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 542 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 3 markings, 2 edges

FORMULA BusinessProcesses-PT-19-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 678 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p523)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p523)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 14 markings, 13 edges
lola: ========================================

FORMULA BusinessProcesses-PT-19-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 904 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p353)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p353)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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 BusinessProcesses-PT-19-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p474)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p474)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 22 markings, 21 edges

FORMULA BusinessProcesses-PT-19-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 2713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p127)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p127)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 450528 markings, 611581 edges, 90106 markings/sec, 0 secs
lola: 897280 markings, 1238307 edges, 89350 markings/sec, 5 secs
lola: 1332483 markings, 1861711 edges, 87041 markings/sec, 10 secs
lola: 1767863 markings, 2490194 edges, 87076 markings/sec, 15 secs
lola: 2210749 markings, 3123881 edges, 88577 markings/sec, 20 secs
lola: 2647278 markings, 3755534 edges, 87306 markings/sec, 25 secs
lola: 3071916 markings, 4392164 edges, 84928 markings/sec, 30 secs
lola: 3498027 markings, 5026439 edges, 85222 markings/sec, 35 secs
lola: 3935385 markings, 5655845 edges, 87472 markings/sec, 40 secs
lola: 4368545 markings, 6286659 edges, 86632 markings/sec, 45 secs
lola: 4790491 markings, 6918153 edges, 84389 markings/sec, 50 secs
lola: 5214316 markings, 7550376 edges, 84765 markings/sec, 55 secs
lola: 5646099 markings, 8172446 edges, 86357 markings/sec, 60 secs
lola: 6082328 markings, 8804657 edges, 87246 markings/sec, 65 secs
lola: 6510193 markings, 9443955 edges, 85573 markings/sec, 70 secs
lola: 6939118 markings, 10077287 edges, 85785 markings/sec, 75 secs
lola: 7363549 markings, 10712676 edges, 84886 markings/sec, 80 secs
lola: 7788162 markings, 11347118 edges, 84923 markings/sec, 85 secs
lola: 8205210 markings, 11987213 edges, 83410 markings/sec, 90 secs
lola: 8616286 markings, 12622704 edges, 82215 markings/sec, 95 secs
lola: 9024923 markings, 13261112 edges, 81727 markings/sec, 100 secs
lola: 9453829 markings, 13892967 edges, 85781 markings/sec, 105 secs
lola: 9872410 markings, 14529847 edges, 83716 markings/sec, 110 secs
lola: 10281625 markings, 15164564 edges, 81843 markings/sec, 115 secs
lola: 10694103 markings, 15800694 edges, 82496 markings/sec, 120 secs
lola: 11123392 markings, 16431834 edges, 85858 markings/sec, 125 secs
lola: 11559559 markings, 17061484 edges, 87233 markings/sec, 130 secs
lola: 11982864 markings, 17697316 edges, 84661 markings/sec, 135 secs
lola: 12401292 markings, 18315062 edges, 83686 markings/sec, 140 secs
lola: 12825262 markings, 18947699 edges, 84794 markings/sec, 145 secs
lola: 13246287 markings, 19578492 edges, 84205 markings/sec, 150 secs
lola: 13656827 markings, 20209354 edges, 82108 markings/sec, 155 secs
lola: 14067780 markings, 20841827 edges, 82191 markings/sec, 160 secs
lola: 14461725 markings, 21455196 edges, 78789 markings/sec, 165 secs
lola: 14866545 markings, 22055778 edges, 80964 markings/sec, 170 secs
lola: 15240823 markings, 22622399 edges, 74856 markings/sec, 175 secs
lola: 15633609 markings, 23239958 edges, 78557 markings/sec, 180 secs
lola: 16032534 markings, 23853751 edges, 79785 markings/sec, 185 secs
lola: 16464177 markings, 24444932 edges, 86329 markings/sec, 190 secs
lola: 16935903 markings, 25025448 edges, 94345 markings/sec, 195 secs
lola: 17408734 markings, 25610347 edges, 94566 markings/sec, 200 secs
lola: 17881890 markings, 26199408 edges, 94631 markings/sec, 205 secs
lola: 18349328 markings, 26794021 edges, 93488 markings/sec, 210 secs
lola: 18819549 markings, 27381644 edges, 94044 markings/sec, 215 secs
lola: 19284503 markings, 27969423 edges, 92991 markings/sec, 220 secs
lola: 19744997 markings, 28559631 edges, 92099 markings/sec, 225 secs
lola: 20196980 markings, 29184815 edges, 90397 markings/sec, 230 secs
lola: 20637604 markings, 29811748 edges, 88125 markings/sec, 235 secs
lola: 21077363 markings, 30438689 edges, 87952 markings/sec, 240 secs
lola: 21511445 markings, 31061024 edges, 86816 markings/sec, 245 secs
lola: 21950108 markings, 31690554 edges, 87733 markings/sec, 250 secs
lola: 22375914 markings, 32318818 edges, 85161 markings/sec, 255 secs
lola: 22801278 markings, 32948966 edges, 85073 markings/sec, 260 secs
lola: 23221662 markings, 33581649 edges, 84077 markings/sec, 265 secs
lola: 23659769 markings, 34205085 edges, 87621 markings/sec, 270 secs
lola: 24090375 markings, 34833604 edges, 86121 markings/sec, 275 secs
lola: 24502899 markings, 35450498 edges, 82505 markings/sec, 280 secs
lola: 24926500 markings, 36082422 edges, 84720 markings/sec, 285 secs
lola: 25360952 markings, 36707180 edges, 86890 markings/sec, 290 secs
lola: 25792944 markings, 37336350 edges, 86398 markings/sec, 295 secs
lola: 26209365 markings, 37959618 edges, 83284 markings/sec, 300 secs
lola: 26635039 markings, 38593905 edges, 85135 markings/sec, 305 secs
lola: 27061332 markings, 39221397 edges, 85259 markings/sec, 310 secs
lola: 27482786 markings, 39857584 edges, 84291 markings/sec, 315 secs
lola: 27898754 markings, 40498852 edges, 83194 markings/sec, 320 secs
lola: 28311861 markings, 41132800 edges, 82621 markings/sec, 325 secs
lola: 28723126 markings, 41768103 edges, 82253 markings/sec, 330 secs
lola: 29144831 markings, 42400423 edges, 84341 markings/sec, 335 secs
lola: 29561669 markings, 43032696 edges, 83368 markings/sec, 340 secs
lola: 29967417 markings, 43660627 edges, 81150 markings/sec, 345 secs
lola: 30374839 markings, 44293564 edges, 81484 markings/sec, 350 secs
lola: 30806279 markings, 44918491 edges, 86288 markings/sec, 355 secs
lola: 31236456 markings, 45542836 edges, 86035 markings/sec, 360 secs
lola: 31653658 markings, 46172160 edges, 83440 markings/sec, 365 secs
lola: 32072490 markings, 46789538 edges, 83766 markings/sec, 370 secs
lola: 32488786 markings, 47406417 edges, 83259 markings/sec, 375 secs
lola: 32900809 markings, 48029672 edges, 82405 markings/sec, 380 secs
lola: 33302953 markings, 48650123 edges, 80429 markings/sec, 385 secs
lola: 33705572 markings, 49268291 edges, 80524 markings/sec, 390 secs
lola: 34105501 markings, 49888701 edges, 79986 markings/sec, 395 secs
lola: 34528871 markings, 50515803 edges, 84674 markings/sec, 400 secs
lola: 34943878 markings, 51148234 edges, 83001 markings/sec, 405 secs
lola: 35348528 markings, 51777778 edges, 80930 markings/sec, 410 secs
lola: 35753412 markings, 52407794 edges, 80977 markings/sec, 415 secs
lola: 36213172 markings, 52999856 edges, 91952 markings/sec, 420 secs
lola: 36685048 markings, 53582128 edges, 94375 markings/sec, 425 secs
lola: 37156160 markings, 54164828 edges, 94222 markings/sec, 430 secs
lola: 37622700 markings, 54752046 edges, 93308 markings/sec, 435 secs
lola: 38083898 markings, 55338180 edges, 92240 markings/sec, 440 secs
lola: 38553242 markings, 55920930 edges, 93869 markings/sec, 445 secs
lola: 39016023 markings, 56507704 edges, 92556 markings/sec, 450 secs
lola: 39487195 markings, 57092303 edges, 94234 markings/sec, 455 secs
lola: 39962630 markings, 57677578 edges, 95087 markings/sec, 460 secs
lola: 40434974 markings, 58261405 edges, 94469 markings/sec, 465 secs
lola: 40905565 markings, 58847996 edges, 94118 markings/sec, 470 secs
lola: 41368560 markings, 59436625 edges, 92599 markings/sec, 475 secs
lola: 41837035 markings, 60022018 edges, 93695 markings/sec, 480 secs
lola: 42300491 markings, 60608121 edges, 92691 markings/sec, 485 secs
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 42639542 markings, 61040475 edges
lola: ========================================

FORMULA BusinessProcesses-PT-19-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p193)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p193)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file BusinessProcesses-PT-19-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: 464986 markings, 578744 edges, 92997 markings/sec, 0 secs
lola: 923730 markings, 1163467 edges, 91749 markings/sec, 5 secs
lola: 1384599 markings, 1761561 edges, 92174 markings/sec, 10 secs
lola: 1847061 markings, 2363291 edges, 92492 markings/sec, 15 secs
lola: 2308954 markings, 2966345 edges, 92379 markings/sec, 20 secs
lola: 2779909 markings, 3562590 edges, 94191 markings/sec, 25 secs
lola: 3252802 markings, 4143621 edges, 94579 markings/sec, 30 secs
lola: 3724623 markings, 4728508 edges, 94364 markings/sec, 35 secs
lola: 4195301 markings, 5313688 edges, 94136 markings/sec, 40 secs
lola: 4659661 markings, 5903285 edges, 92872 markings/sec, 45 secs
lola: 5136225 markings, 6499560 edges, 95313 markings/sec, 50 secs
lola: 5616247 markings, 7107035 edges, 96004 markings/sec, 55 secs
lola: 6100205 markings, 7711108 edges, 96792 markings/sec, 60 secs
lola: 6591662 markings, 8314149 edges, 98291 markings/sec, 65 secs
lola: 7078210 markings, 8917477 edges, 97310 markings/sec, 70 secs
lola: 7565226 markings, 9521838 edges, 97403 markings/sec, 75 secs
lola: 8026039 markings, 10106204 edges, 92163 markings/sec, 80 secs
lola: 8469116 markings, 10662251 edges, 88615 markings/sec, 85 secs
lola: 8886369 markings, 11187642 edges, 83451 markings/sec, 90 secs
lola: 9333009 markings, 11755984 edges, 89328 markings/sec, 95 secs
lola: 9746870 markings, 12316737 edges, 82772 markings/sec, 100 secs
lola: 10144155 markings, 12869651 edges, 79457 markings/sec, 105 secs
lola: 10548101 markings, 13455097 edges, 80789 markings/sec, 110 secs
lola: 10949202 markings, 14025452 edges, 80220 markings/sec, 115 secs
lola: 11343411 markings, 14586077 edges, 78842 markings/sec, 120 secs
lola: 11741667 markings, 15162244 edges, 79651 markings/sec, 125 secs
lola: 12138749 markings, 15747842 edges, 79416 markings/sec, 130 secs
lola: 12564476 markings, 16381273 edges, 85145 markings/sec, 135 secs
lola: 12996444 markings, 17026116 edges, 86394 markings/sec, 140 secs
lola: 13449247 markings, 17672848 edges, 90561 markings/sec, 145 secs
lola: 13891861 markings, 18321711 edges, 88523 markings/sec, 150 secs
lola: 14312208 markings, 18951751 edges, 84069 markings/sec, 155 secs
lola: 14733419 markings, 19580050 edges, 84242 markings/sec, 160 secs
lola: 15185222 markings, 20226038 edges, 90361 markings/sec, 165 secs
lola: 15631816 markings, 20876617 edges, 89319 markings/sec, 170 secs
lola: 16068965 markings, 21532823 edges, 87430 markings/sec, 175 secs
lola: 16504207 markings, 22181568 edges, 87048 markings/sec, 180 secs
lola: 16943877 markings, 22832942 edges, 87934 markings/sec, 185 secs
lola: 17378043 markings, 23489633 edges, 86833 markings/sec, 190 secs
lola: 17800224 markings, 24147033 edges, 84436 markings/sec, 195 secs
lola: 18227304 markings, 24806069 edges, 85416 markings/sec, 200 secs
lola: 18663468 markings, 25461424 edges, 87233 markings/sec, 205 secs
lola: 19097586 markings, 26114629 edges, 86824 markings/sec, 210 secs
lola: 19519092 markings, 26774594 edges, 84301 markings/sec, 215 secs
lola: 19940957 markings, 27419872 edges, 84373 markings/sec, 220 secs
lola: 20377863 markings, 28072214 edges, 87381 markings/sec, 225 secs
lola: 20826142 markings, 28721077 edges, 89656 markings/sec, 230 secs
lola: 21264114 markings, 29370929 edges, 87594 markings/sec, 235 secs
lola: 21703449 markings, 30021281 edges, 87867 markings/sec, 240 secs
lola: 22139053 markings, 30670997 edges, 87121 markings/sec, 245 secs
lola: 22571629 markings, 31322523 edges, 86515 markings/sec, 250 secs
lola: 23001210 markings, 31979968 edges, 85916 markings/sec, 255 secs
lola: 23425173 markings, 32634718 edges, 84793 markings/sec, 260 secs
lola: 23848199 markings, 33286376 edges, 84605 markings/sec, 265 secs
lola: 24284779 markings, 33939647 edges, 87316 markings/sec, 270 secs
lola: 24714856 markings, 34593812 edges, 86015 markings/sec, 275 secs
lola: 25138253 markings, 35249808 edges, 84679 markings/sec, 280 secs
lola: 25557821 markings, 35901672 edges, 83914 markings/sec, 285 secs
lola: 26046372 markings, 36506378 edges, 97710 markings/sec, 290 secs
lola: 26534682 markings, 37111256 edges, 97662 markings/sec, 295 secs
lola: 27022303 markings, 37715647 edges, 97524 markings/sec, 300 secs
lola: 27504607 markings, 38325731 edges, 96461 markings/sec, 305 secs
lola: 27987380 markings, 38932767 edges, 96555 markings/sec, 310 secs
lola: 28469230 markings, 39538567 edges, 96370 markings/sec, 315 secs
lola: 28942940 markings, 40140719 edges, 94742 markings/sec, 320 secs
lola: 29415363 markings, 40780246 edges, 94485 markings/sec, 325 secs
lola: 29874838 markings, 41428205 edges, 91895 markings/sec, 330 secs
lola: 30330129 markings, 42080201 edges, 91058 markings/sec, 335 secs
lola: 30777917 markings, 42728538 edges, 89558 markings/sec, 340 secs
lola: 31236140 markings, 43377517 edges, 91645 markings/sec, 345 secs
lola: 31682042 markings, 44032151 edges, 89180 markings/sec, 350 secs
lola: 32123200 markings, 44688006 edges, 88232 markings/sec, 355 secs
lola: 32559674 markings, 45341344 edges, 87295 markings/sec, 360 secs
lola: 33012716 markings, 45988259 edges, 90608 markings/sec, 365 secs
lola: 33457547 markings, 46636652 edges, 88966 markings/sec, 370 secs
lola: 33893147 markings, 47289312 edges, 87120 markings/sec, 375 secs
lola: 34328198 markings, 47940957 edges, 87010 markings/sec, 380 secs
lola: 34778895 markings, 48587365 edges, 90139 markings/sec, 385 secs
lola: 35227976 markings, 49239304 edges, 89816 markings/sec, 390 secs
lola: 35667086 markings, 49895509 edges, 87822 markings/sec, 395 secs
lola: 36105237 markings, 50549976 edges, 87630 markings/sec, 400 secs
lola: 36544935 markings, 51203868 edges, 87940 markings/sec, 405 secs
lola: 36980891 markings, 51860995 edges, 87191 markings/sec, 410 secs
lola: 37404132 markings, 52521685 edges, 84648 markings/sec, 415 secs
lola: 37833317 markings, 53181930 edges, 85837 markings/sec, 420 secs
lola: 38268723 markings, 53834636 edges, 87081 markings/sec, 425 secs
lola: 38702653 markings, 54490664 edges, 86786 markings/sec, 430 secs
lola: 39128582 markings, 55151661 edges, 85186 markings/sec, 435 secs
lola: 39556022 markings, 55810517 edges, 85488 markings/sec, 440 secs
lola: 39992061 markings, 56462414 edges, 87208 markings/sec, 445 secs
lola: 40442053 markings, 57112779 edges, 89998 markings/sec, 450 secs
lola: 40883928 markings, 57767997 edges, 88375 markings/sec, 455 secs
lola: 41321660 markings, 58416136 edges, 87546 markings/sec, 460 secs
lola: 41759020 markings, 59068533 edges, 87472 markings/sec, 465 secs
lola: 42192800 markings, 59721775 edges, 86756 markings/sec, 470 secs
lola: 42621876 markings, 60378558 edges, 85815 markings/sec, 475 secs
lola: 43046102 markings, 61033473 edges, 84845 markings/sec, 480 secs
lola: 43471190 markings, 61688205 edges, 85018 markings/sec, 485 secs
lola: 43906065 markings, 62339151 edges, 86975 markings/sec, 490 secs
lola: 44335210 markings, 62991570 edges, 85829 markings/sec, 495 secs
lola: 44756138 markings, 63645298 edges, 84186 markings/sec, 500 secs
lola: 45176459 markings, 64297119 edges, 84064 markings/sec, 505 secs
lola: 45666902 markings, 64905022 edges, 98089 markings/sec, 510 secs
lola: 46154996 markings, 65509097 edges, 97619 markings/sec, 515 secs
lola: 46641997 markings, 66113243 edges, 97400 markings/sec, 520 secs
lola: 47122373 markings, 66721079 edges, 96075 markings/sec, 525 secs
lola: 47604693 markings, 67327469 edges, 96464 markings/sec, 530 secs
lola: 48088444 markings, 67935306 edges, 96750 markings/sec, 535 secs
lola: 48565502 markings, 68541858 edges, 95412 markings/sec, 540 secs
lola: 49059833 markings, 69142082 edges, 98866 markings/sec, 545 secs
lola: 49548383 markings, 69746952 edges, 97710 markings/sec, 550 secs
lola: 50029297 markings, 70343175 edges, 96183 markings/sec, 555 secs
lola: 50490853 markings, 70927974 edges, 92311 markings/sec, 560 secs
lola: 51000157 markings, 71567512 edges, 101861 markings/sec, 565 secs
lola: 51505646 markings, 72203074 edges, 101098 markings/sec, 570 secs
lola: 52009063 markings, 72841616 edges, 100683 markings/sec, 575 secs
lola: 52509832 markings, 73521745 edges, 100154 markings/sec, 580 secs
lola: 52995756 markings, 74207609 edges, 97185 markings/sec, 585 secs
lola: 53477064 markings, 74890520 edges, 96262 markings/sec, 590 secs
lola: 53959038 markings, 75571718 edges, 96395 markings/sec, 595 secs
lola: 54437729 markings, 76260143 edges, 95738 markings/sec, 600 secs
lola: 54905674 markings, 76952317 edges, 93589 markings/sec, 605 secs
lola: 55373825 markings, 77643972 edges, 93630 markings/sec, 610 secs
lola: 55847608 markings, 78330013 edges, 94757 markings/sec, 615 secs
lola: 56325479 markings, 79017613 edges, 95574 markings/sec, 620 secs
lola: 56787412 markings, 79709488 edges, 92387 markings/sec, 625 secs
lola: 57253667 markings, 80393733 edges, 93251 markings/sec, 630 secs
lola: 57732415 markings, 81081094 edges, 95750 markings/sec, 635 secs
lola: 58209406 markings, 81769298 edges, 95398 markings/sec, 640 secs
lola: 58674954 markings, 82462065 edges, 93110 markings/sec, 645 secs
lola: 59136676 markings, 83150222 edges, 92344 markings/sec, 650 secs
lola: 59607190 markings, 83844292 edges, 94103 markings/sec, 655 secs
lola: 60067298 markings, 84541404 edges, 92022 markings/sec, 660 secs
lola: 60518265 markings, 85235054 edges, 90193 markings/sec, 665 secs
lola: 60966492 markings, 85931151 edges, 89645 markings/sec, 670 secs
lola: 61428988 markings, 86618438 edges, 92499 markings/sec, 675 secs
lola: 61886089 markings, 87309509 edges, 91420 markings/sec, 680 secs
lola: 62338682 markings, 88003623 edges, 90519 markings/sec, 685 secs
lola: 62781195 markings, 88694538 edges, 88503 markings/sec, 690 secs
lola: 63265004 markings, 89375386 edges, 96762 markings/sec, 695 secs
lola: 63736913 markings, 90067247 edges, 94382 markings/sec, 700 secs
lola: 64204716 markings, 90756087 edges, 93561 markings/sec, 705 secs
lola: 64666504 markings, 91443259 edges, 92358 markings/sec, 710 secs
lola: 65131628 markings, 92136852 edges, 93025 markings/sec, 715 secs
lola: 65587671 markings, 92833616 edges, 91209 markings/sec, 720 secs
lola: 66040061 markings, 93528449 edges, 90478 markings/sec, 725 secs
lola: 66491888 markings, 94218042 edges, 90365 markings/sec, 730 secs
lola: 66952639 markings, 94905026 edges, 92150 markings/sec, 735 secs
lola: 67402629 markings, 95594592 edges, 89998 markings/sec, 740 secs
lola: 67851413 markings, 96283769 edges, 89757 markings/sec, 745 secs
lola: 68307083 markings, 96970788 edges, 91134 markings/sec, 750 secs
lola: 68784525 markings, 97655100 edges, 95488 markings/sec, 755 secs
lola: 69253034 markings, 98344459 edges, 93702 markings/sec, 760 secs
lola: 69718091 markings, 99031921 edges, 93011 markings/sec, 765 secs
lola: 70181935 markings, 99718154 edges, 92769 markings/sec, 770 secs
lola: 70638912 markings, 100400771 edges, 91395 markings/sec, 775 secs
lola: 71072705 markings, 101071999 edges, 86759 markings/sec, 780 secs
lola: 71495125 markings, 101717953 edges, 84484 markings/sec, 785 secs
lola: 71919293 markings, 102366306 edges, 84834 markings/sec, 790 secs
lola: 72352719 markings, 103011331 edges, 86685 markings/sec, 795 secs
lola: 72774064 markings, 103657040 edges, 84269 markings/sec, 800 secs
lola: 73198174 markings, 104304514 edges, 84822 markings/sec, 805 secs
lola: 73603128 markings, 104931809 edges, 80991 markings/sec, 810 secs
lola: 74026537 markings, 105561067 edges, 84682 markings/sec, 815 secs
lola: 74447084 markings, 106196739 edges, 84109 markings/sec, 820 secs
lola: 74858573 markings, 106830483 edges, 82298 markings/sec, 825 secs
lola: 75265951 markings, 107460435 edges, 81476 markings/sec, 830 secs
lola: 75679975 markings, 108096404 edges, 82805 markings/sec, 835 secs
lola: 76090718 markings, 108735587 edges, 82149 markings/sec, 840 secs
lola: 76493279 markings, 109381533 edges, 80512 markings/sec, 845 secs
lola: 76895661 markings, 110022359 edges, 80476 markings/sec, 850 secs
lola: 77297428 markings, 110659839 edges, 80353 markings/sec, 855 secs
lola: 77714209 markings, 111307270 edges, 83356 markings/sec, 860 secs
lola: 78125352 markings, 111957126 edges, 82229 markings/sec, 865 secs
lola: 78535165 markings, 112609601 edges, 81963 markings/sec, 870 secs
lola: 78927417 markings, 113244994 edges, 78450 markings/sec, 875 secs
lola: 79346464 markings, 113866218 edges, 83809 markings/sec, 880 secs
lola: 79784337 markings, 114525035 edges, 87575 markings/sec, 885 secs
lola: 80223764 markings, 115206528 edges, 87885 markings/sec, 890 secs
lola: 80674697 markings, 115902021 edges, 90187 markings/sec, 895 secs
lola: 81130255 markings, 116601219 edges, 91112 markings/sec, 900 secs
lola: 81580306 markings, 117305135 edges, 90010 markings/sec, 905 secs
lola: 82019221 markings, 118013007 edges, 87783 markings/sec, 910 secs
lola: 82457106 markings, 118712824 edges, 87577 markings/sec, 915 secs
lola: 82907207 markings, 119410992 edges, 90020 markings/sec, 920 secs
lola: 83355943 markings, 120111467 edges, 89747 markings/sec, 925 secs
lola: 83794214 markings, 120816659 edges, 87654 markings/sec, 930 secs
lola: 84230451 markings, 121514925 edges, 87247 markings/sec, 935 secs
lola: 84700572 markings, 122205811 edges, 94024 markings/sec, 940 secs
lola: 85179600 markings, 122897483 edges, 95806 markings/sec, 945 secs
lola: 85648068 markings, 123594161 edges, 93694 markings/sec, 950 secs
lola: 86112411 markings, 124286489 edges, 92869 markings/sec, 955 secs
lola: 86582933 markings, 124980837 edges, 94104 markings/sec, 960 secs
lola: 87044819 markings, 125681115 edges, 92377 markings/sec, 965 secs
lola: 87499974 markings, 126382187 edges, 91031 markings/sec, 970 secs
lola: 87948945 markings, 127079798 edges, 89794 markings/sec, 975 secs
lola: 88417698 markings, 127770253 edges, 93751 markings/sec, 980 secs
lola: 88877804 markings, 128466847 edges, 92021 markings/sec, 985 secs
lola: 89331665 markings, 129163580 edges, 90772 markings/sec, 990 secs
lola: 89778867 markings, 129857986 edges, 89440 markings/sec, 995 secs
lola: 90248127 markings, 130552195 edges, 93852 markings/sec, 1000 secs
lola: 90706159 markings, 131251820 edges, 91606 markings/sec, 1005 secs
lola: 91160707 markings, 131948873 edges, 90910 markings/sec, 1010 secs
lola: 91610286 markings, 132645332 edges, 89916 markings/sec, 1015 secs
lola: 92065243 markings, 133346126 edges, 90991 markings/sec, 1020 secs
lola: 92510911 markings, 134052195 edges, 89134 markings/sec, 1025 secs
lola: 92952134 markings, 134757324 edges, 88245 markings/sec, 1030 secs
lola: 93389706 markings, 135457778 edges, 87514 markings/sec, 1035 secs
lola: 93842919 markings, 136155836 edges, 90643 markings/sec, 1040 secs
lola: 94287845 markings, 136858423 edges, 88985 markings/sec, 1045 secs
lola: 94727631 markings, 137559772 edges, 87957 markings/sec, 1050 secs
lola: 95159458 markings, 138259821 edges, 86365 markings/sec, 1055 secs
lola: 95628841 markings, 138950499 edges, 93877 markings/sec, 1060 secs
lola: 96087118 markings, 139647182 edges, 91655 markings/sec, 1065 secs
lola: 96539369 markings, 140342109 edges, 90450 markings/sec, 1070 secs
lola: 96987420 markings, 141037337 edges, 89610 markings/sec, 1075 secs
lola: 97440586 markings, 141735483 edges, 90633 markings/sec, 1080 secs
lola: 97885969 markings, 142438889 edges, 89077 markings/sec, 1085 secs
lola: 98326531 markings, 143141268 edges, 88112 markings/sec, 1090 secs
lola: 98759366 markings, 143841782 edges, 86567 markings/sec, 1095 secs
lola: 99211537 markings, 144536132 edges, 90434 markings/sec, 1100 secs
lola: 99655368 markings, 145237288 edges, 88766 markings/sec, 1105 secs
lola: 100092330 markings, 145939192 edges, 87392 markings/sec, 1110 secs
lola: 100525049 markings, 146633711 edges, 86544 markings/sec, 1115 secs
lola: 101035230 markings, 147296297 edges, 102036 markings/sec, 1120 secs
lola: 101539842 markings, 147955572 edges, 100922 markings/sec, 1125 secs
lola: 102037925 markings, 148620613 edges, 99617 markings/sec, 1130 secs
lola: 102534945 markings, 149282499 edges, 99404 markings/sec, 1135 secs
lola: 103026587 markings, 149944203 edges, 98328 markings/sec, 1140 secs
lola: 103527765 markings, 150606047 edges, 100236 markings/sec, 1145 secs
lola: 104021350 markings, 151271251 edges, 98717 markings/sec, 1150 secs
lola: 104512922 markings, 151940321 edges, 98314 markings/sec, 1155 secs
lola: 104996150 markings, 152609056 edges, 96646 markings/sec, 1160 secs
lola: 105483239 markings, 153274782 edges, 97418 markings/sec, 1165 secs
lola: 105970087 markings, 153938357 edges, 97370 markings/sec, 1170 secs
lola: 106465647 markings, 154602679 edges, 99112 markings/sec, 1175 secs
lola: 106957982 markings, 155265171 edges, 98467 markings/sec, 1180 secs
lola: 107439883 markings, 155931734 edges, 96380 markings/sec, 1185 secs
lola: 107924001 markings, 156593592 edges, 96824 markings/sec, 1190 secs
lola: 108402830 markings, 157256032 edges, 95766 markings/sec, 1195 secs
lola: 108902078 markings, 157919609 edges, 99850 markings/sec, 1200 secs
lola: 109394292 markings, 158584486 edges, 98443 markings/sec, 1205 secs
lola: 109882799 markings, 159252883 edges, 97701 markings/sec, 1210 secs
lola: 110367567 markings, 159917778 edges, 96954 markings/sec, 1215 secs
lola: 110851032 markings, 160585789 edges, 96693 markings/sec, 1220 secs
lola: 111337382 markings, 161248769 edges, 97270 markings/sec, 1225 secs
lola: 111820898 markings, 161918295 edges, 96703 markings/sec, 1230 secs
lola: 112302461 markings, 162588086 edges, 96313 markings/sec, 1235 secs
lola: 112773041 markings, 163260430 edges, 94116 markings/sec, 1240 secs
lola: 113250719 markings, 163929155 edges, 95536 markings/sec, 1245 secs
lola: 113718902 markings, 164598555 edges, 93637 markings/sec, 1250 secs
lola: 114207631 markings, 165264668 edges, 97746 markings/sec, 1255 secs
lola: 114688566 markings, 165929683 edges, 96187 markings/sec, 1260 secs
lola: 115162114 markings, 166601896 edges, 94710 markings/sec, 1265 secs
lola: 115632926 markings, 167263725 edges, 94162 markings/sec, 1270 secs
lola: 116104604 markings, 167931777 edges, 94336 markings/sec, 1275 secs
lola: 116587472 markings, 168592658 edges, 96574 markings/sec, 1280 secs
lola: 117080291 markings, 169255356 edges, 98564 markings/sec, 1285 secs
lola: 117570451 markings, 169917920 edges, 98032 markings/sec, 1290 secs
lola: 118050493 markings, 170583718 edges, 96008 markings/sec, 1295 secs
lola: 118535215 markings, 171246919 edges, 96944 markings/sec, 1300 secs
lola: 119014670 markings, 171907996 edges, 95891 markings/sec, 1305 secs
lola: 119500897 markings, 172573853 edges, 97245 markings/sec, 1310 secs
lola: 119980686 markings, 173238352 edges, 95958 markings/sec, 1315 secs
lola: 120454071 markings, 173908416 edges, 94677 markings/sec, 1320 secs
lola: 120926286 markings, 174573503 edges, 94443 markings/sec, 1325 secs
lola: 121397063 markings, 175240870 edges, 94155 markings/sec, 1330 secs
lola: 121874720 markings, 175902495 edges, 95531 markings/sec, 1335 secs
lola: 122354624 markings, 176566634 edges, 95981 markings/sec, 1340 secs
lola: 122831941 markings, 177230635 edges, 95463 markings/sec, 1345 secs
lola: 123297835 markings, 177896583 edges, 93179 markings/sec, 1350 secs
lola: 123771820 markings, 178559119 edges, 94797 markings/sec, 1355 secs
lola: 124234155 markings, 179224402 edges, 92467 markings/sec, 1360 secs
lola: 124748796 markings, 179886016 edges, 102928 markings/sec, 1365 secs
lola: 125253912 markings, 180545241 edges, 101023 markings/sec, 1370 secs
lola: 125754112 markings, 181211887 edges, 100040 markings/sec, 1375 secs
lola: 126251672 markings, 181872763 edges, 99512 markings/sec, 1380 secs
lola: 126745713 markings, 182536961 edges, 98808 markings/sec, 1385 secs
lola: 127245444 markings, 183199314 edges, 99946 markings/sec, 1390 secs
lola: 127737849 markings, 183865222 edges, 98481 markings/sec, 1395 secs
lola: 128230694 markings, 184534303 edges, 98569 markings/sec, 1400 secs
lola: 128714727 markings, 185202488 edges, 96807 markings/sec, 1405 secs
lola: 129200277 markings, 185870571 edges, 97110 markings/sec, 1410 secs
lola: 129689613 markings, 186532310 edges, 97867 markings/sec, 1415 secs
lola: 130185785 markings, 187196280 edges, 99234 markings/sec, 1420 secs
lola: 130675420 markings, 187860799 edges, 97927 markings/sec, 1425 secs
lola: 131158255 markings, 188526729 edges, 96567 markings/sec, 1430 secs
lola: 131644464 markings, 189189476 edges, 97242 markings/sec, 1435 secs
lola: 132120920 markings, 189852160 edges, 95291 markings/sec, 1440 secs
lola: 132621418 markings, 190515097 edges, 100100 markings/sec, 1445 secs
lola: 133114163 markings, 191178338 edges, 98549 markings/sec, 1450 secs
lola: 133599846 markings, 191849088 edges, 97137 markings/sec, 1455 secs
lola: 134085598 markings, 192511803 edges, 97150 markings/sec, 1460 secs
lola: 134568953 markings, 193177707 edges, 96671 markings/sec, 1465 secs
lola: 135053639 markings, 193843041 edges, 96937 markings/sec, 1470 secs
lola: 135537615 markings, 194510049 edges, 96795 markings/sec, 1475 secs
lola: 136017496 markings, 195180379 edges, 95976 markings/sec, 1480 secs
lola: 136488230 markings, 195850969 edges, 94147 markings/sec, 1485 secs
lola: 136963688 markings, 196520423 edges, 95092 markings/sec, 1490 secs
lola: 137433510 markings, 197186016 edges, 93964 markings/sec, 1495 secs
lola: 137919760 markings, 197852152 edges, 97250 markings/sec, 1500 secs
lola: 138399777 markings, 198515549 edges, 96003 markings/sec, 1505 secs
lola: 138873188 markings, 199186577 edges, 94682 markings/sec, 1510 secs
lola: 139344731 markings, 199849583 edges, 94309 markings/sec, 1515 secs
lola: 139813941 markings, 200517620 edges, 93842 markings/sec, 1520 secs
lola: 140297857 markings, 201175670 edges, 96783 markings/sec, 1525 secs
lola: 140789728 markings, 201836526 edges, 98374 markings/sec, 1530 secs
lola: 141277939 markings, 202499463 edges, 97642 markings/sec, 1535 secs
lola: 141757696 markings, 203163357 edges, 95951 markings/sec, 1540 secs
lola: 142242502 markings, 203824881 edges, 96961 markings/sec, 1545 secs
lola: 142721320 markings, 204486817 edges, 95764 markings/sec, 1550 secs
lola: 143207711 markings, 205152184 edges, 97278 markings/sec, 1555 secs
lola: 143684108 markings, 205815270 edges, 95279 markings/sec, 1560 secs
lola: 144158901 markings, 206484072 edges, 94959 markings/sec, 1565 secs
lola: 144629531 markings, 207148959 edges, 94126 markings/sec, 1570 secs
lola: 145099482 markings, 207813968 edges, 93990 markings/sec, 1575 secs
lola: 145576603 markings, 208475102 edges, 95424 markings/sec, 1580 secs
lola: 146048180 markings, 209127472 edges, 94315 markings/sec, 1585 secs
lola: 146521190 markings, 209785327 edges, 94602 markings/sec, 1590 secs
lola: 146980539 markings, 210444514 edges, 91870 markings/sec, 1595 secs
lola: 147446975 markings, 211093539 edges, 93287 markings/sec, 1600 secs
lola: 147901225 markings, 211742701 edges, 90850 markings/sec, 1605 secs
lola: 148402431 markings, 212391096 edges, 100241 markings/sec, 1610 secs
lola: 148902290 markings, 213045059 edges, 99972 markings/sec, 1615 secs
lola: 149398017 markings, 213708852 edges, 99145 markings/sec, 1620 secs
lola: 149891042 markings, 214363133 edges, 98605 markings/sec, 1625 secs
lola: 150380289 markings, 215017008 edges, 97849 markings/sec, 1630 secs
lola: 150875178 markings, 215675151 edges, 98978 markings/sec, 1635 secs
lola: 151361667 markings, 216332300 edges, 97298 markings/sec, 1640 secs
lola: 151852848 markings, 216995591 edges, 98236 markings/sec, 1645 secs
lola: 152329411 markings, 217659148 edges, 95313 markings/sec, 1650 secs
lola: 152817060 markings, 218323281 edges, 97530 markings/sec, 1655 secs
lola: 153301513 markings, 218985649 edges, 96891 markings/sec, 1660 secs
lola: 153796177 markings, 219647474 edges, 98933 markings/sec, 1665 secs
lola: 154285992 markings, 220308379 edges, 97963 markings/sec, 1670 secs
lola: 154770540 markings, 220973732 edges, 96910 markings/sec, 1675 secs
lola: 155253343 markings, 221635429 edges, 96561 markings/sec, 1680 secs
lola: 155732619 markings, 222298137 edges, 95855 markings/sec, 1685 secs
lola: 156229143 markings, 222959056 edges, 99305 markings/sec, 1690 secs
lola: 156719974 markings, 223623362 edges, 98166 markings/sec, 1695 secs
lola: 157209412 markings, 224291494 edges, 97888 markings/sec, 1700 secs
lola: 157694213 markings, 224956905 edges, 96960 markings/sec, 1705 secs
lola: 158177893 markings, 225623902 edges, 96736 markings/sec, 1710 secs
lola: 158662320 markings, 226286601 edges, 96885 markings/sec, 1715 secs
lola: 159147306 markings, 226954133 edges, 96997 markings/sec, 1720 secs
lola: 159626212 markings, 227623348 edges, 95781 markings/sec, 1725 secs
lola: 160099520 markings, 228293931 edges, 94662 markings/sec, 1730 secs
lola: 160574404 markings, 228961533 edges, 94977 markings/sec, 1735 secs
lola: 161042035 markings, 229628454 edges, 93526 markings/sec, 1740 secs
lola: 161526522 markings, 230292696 edges, 96897 markings/sec, 1745 secs
lola: 162006279 markings, 230955986 edges, 95951 markings/sec, 1750 secs
lola: 162480425 markings, 231626167 edges, 94829 markings/sec, 1755 secs
lola: 162952438 markings, 232290672 edges, 94403 markings/sec, 1760 secs
lola: 163423438 markings, 232958408 edges, 94200 markings/sec, 1765 secs
lola: 163901956 markings, 233618538 edges, 95704 markings/sec, 1770 secs
lola: 164396322 markings, 234280258 edges, 98873 markings/sec, 1775 secs
lola: 164884064 markings, 234939574 edges, 97548 markings/sec, 1780 secs
lola: 165365851 markings, 235604998 edges, 96357 markings/sec, 1785 secs
lola: 165849631 markings, 236266891 edges, 96756 markings/sec, 1790 secs
lola: 166326907 markings, 236927228 edges, 95455 markings/sec, 1795 secs
lola: 166813555 markings, 237591642 edges, 97330 markings/sec, 1800 secs
lola: 167292299 markings, 238255373 edges, 95749 markings/sec, 1805 secs
lola: 167767336 markings, 238924519 edges, 95007 markings/sec, 1810 secs
lola: 168237838 markings, 239589522 edges, 94100 markings/sec, 1815 secs
lola: 168708084 markings, 240256426 edges, 94049 markings/sec, 1820 secs
lola: 169182900 markings, 240916666 edges, 94963 markings/sec, 1825 secs
lola: 169663536 markings, 241579142 edges, 96127 markings/sec, 1830 secs
lola: 170139330 markings, 242240417 edges, 95159 markings/sec, 1835 secs
lola: 170607363 markings, 242907794 edges, 93607 markings/sec, 1840 secs
lola: 171080114 markings, 243568679 edges, 94550 markings/sec, 1845 secs
lola: 171543565 markings, 244232682 edges, 92690 markings/sec, 1850 secs
lola: 172061414 markings, 244870216 edges, 103570 markings/sec, 1855 secs
lola: 172584661 markings, 245505745 edges, 104649 markings/sec, 1860 secs
lola: 173106660 markings, 246139467 edges, 104400 markings/sec, 1865 secs
lola: 173627398 markings, 246775456 edges, 104148 markings/sec, 1870 secs
lola: 174141977 markings, 247413755 edges, 102916 markings/sec, 1875 secs
lola: 174658502 markings, 248049219 edges, 103305 markings/sec, 1880 secs
lola: 175175098 markings, 248684707 edges, 103319 markings/sec, 1885 secs
lola: 175686664 markings, 249320164 edges, 102313 markings/sec, 1890 secs
lola: 176211230 markings, 249953271 edges, 104913 markings/sec, 1895 secs
lola: 176735628 markings, 250589199 edges, 104880 markings/sec, 1900 secs
lola: 177256987 markings, 251224088 edges, 104272 markings/sec, 1905 secs
lola: 177780084 markings, 251859927 edges, 104619 markings/sec, 1910 secs
lola: 178295491 markings, 252499491 edges, 103081 markings/sec, 1915 secs
lola: 178810998 markings, 253134607 edges, 103101 markings/sec, 1920 secs
lola: 179327421 markings, 253767447 edges, 103285 markings/sec, 1925 secs
lola: 179840552 markings, 254404209 edges, 102626 markings/sec, 1930 secs
lola: 180352099 markings, 255069050 edges, 102309 markings/sec, 1935 secs
lola: 180850693 markings, 255764630 edges, 99719 markings/sec, 1940 secs
lola: 181336434 markings, 256463240 edges, 97148 markings/sec, 1945 secs
lola: 181818368 markings, 257157933 edges, 96387 markings/sec, 1950 secs
lola: 182309802 markings, 257856410 edges, 98287 markings/sec, 1955 secs
lola: 182785926 markings, 258553478 edges, 95225 markings/sec, 1960 secs
lola: 183259653 markings, 259258000 edges, 94745 markings/sec, 1965 secs
lola: 183728800 markings, 259958842 edges, 93829 markings/sec, 1970 secs
lola: 184208411 markings, 260644566 edges, 95922 markings/sec, 1975 secs
lola: 184677934 markings, 261341398 edges, 93905 markings/sec, 1980 secs
lola: 185148383 markings, 262033962 edges, 94090 markings/sec, 1985 secs
lola: 185611833 markings, 262719458 edges, 92690 markings/sec, 1990 secs
lola: 186091155 markings, 263411994 edges, 95864 markings/sec, 1995 secs
lola: 186563767 markings, 264111509 edges, 94522 markings/sec, 2000 secs
lola: 187032270 markings, 264810503 edges, 93701 markings/sec, 2005 secs
lola: 187499857 markings, 265501301 edges, 93517 markings/sec, 2010 secs
lola: 187962430 markings, 266197287 edges, 92515 markings/sec, 2015 secs
lola: 188414294 markings, 266898064 edges, 90373 markings/sec, 2020 secs
lola: 188868452 markings, 267598748 edges, 90832 markings/sec, 2025 secs
lola: 189329383 markings, 268295539 edges, 92186 markings/sec, 2030 secs
lola: 189789995 markings, 268990798 edges, 92122 markings/sec, 2035 secs
lola: 190242215 markings, 269693268 edges, 90444 markings/sec, 2040 secs
lola: 190695023 markings, 270390455 edges, 90562 markings/sec, 2045 secs
lola: 191162941 markings, 271077208 edges, 93584 markings/sec, 2050 secs
lola: 191634541 markings, 271765305 edges, 94320 markings/sec, 2055 secs
lola: 192103541 markings, 272466987 edges, 93800 markings/sec, 2060 secs
lola: 192573988 markings, 273163469 edges, 94089 markings/sec, 2065 secs
lola: 193041888 markings, 273862211 edges, 93580 markings/sec, 2070 secs
lola: 193508784 markings, 274564073 edges, 93379 markings/sec, 2075 secs
lola: 193964547 markings, 275271677 edges, 91153 markings/sec, 2080 secs
lola: 194419450 markings, 275976399 edges, 90981 markings/sec, 2085 secs
lola: 194867502 markings, 276646083 edges, 89610 markings/sec, 2090 secs
lola: 195328119 markings, 277342098 edges, 92123 markings/sec, 2095 secs
lola: 195778159 markings, 278041428 edges, 90008 markings/sec, 2100 secs
lola: 196227893 markings, 278738688 edges, 89947 markings/sec, 2105 secs
lola: 196731899 markings, 279408421 edges, 100801 markings/sec, 2110 secs
lola: 197238648 markings, 280070309 edges, 101350 markings/sec, 2115 secs
lola: 197723302 markings, 280713786 edges, 96931 markings/sec, 2120 secs
lola: 198207919 markings, 281361779 edges, 96923 markings/sec, 2125 secs
lola: 198703607 markings, 282024527 edges, 99138 markings/sec, 2130 secs
lola: 199187847 markings, 282666673 edges, 96848 markings/sec, 2135 secs
lola: 199686016 markings, 283336073 edges, 99634 markings/sec, 2140 secs
lola: 200180704 markings, 284006770 edges, 98938 markings/sec, 2145 secs
lola: 200664087 markings, 284677546 edges, 96677 markings/sec, 2150 secs
lola: 201155021 markings, 285345720 edges, 98187 markings/sec, 2155 secs
lola: 201638671 markings, 286012922 edges, 96730 markings/sec, 2160 secs
lola: 202136700 markings, 286676081 edges, 99606 markings/sec, 2165 secs
lola: 202614392 markings, 287317877 edges, 95538 markings/sec, 2170 secs
lola: 203100456 markings, 287989370 edges, 97213 markings/sec, 2175 secs
lola: 203586108 markings, 288651744 edges, 97130 markings/sec, 2180 secs
lola: 204061213 markings, 289309400 edges, 95021 markings/sec, 2185 secs
lola: 204494800 markings, 289890319 edges, 86717 markings/sec, 2190 secs
lola: 204840435 markings, 290353754 edges, 69127 markings/sec, 2195 secs
lola: 204871028 markings, 290394310 edges, 6119 markings/sec, 2200 secs
lola: 204882752 markings, 290409518 edges, 2345 markings/sec, 2205 secs
lola: 204886598 markings, 290414589 edges, 769 markings/sec, 2210 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 1 1 1 unknown 1 1 1 1 1 1 1 1 1

BK_STOP 1552416990246

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

grep: GenericPropertiesVerdict.xml: No such file or directory
Segmentation fault

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="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 BusinessProcesses-PT-19, 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 r022-csrt-155225094800280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-19.tgz
mv BusinessProcesses-PT-19 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 ;