Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r132-oct2-155403939100034.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 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 PolyORBNT-PT-S05J30, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-oct2-155403939100034
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.4M
-rw-r--r-- 1 mcc users 15K Feb 12 09:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 53K Feb 12 09:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 56K Feb 8 10:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 170K Feb 8 10:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 106 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 344 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 3.8K Feb 5 00:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 5 00:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 18K Feb 4 22:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 4 22:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K Feb 4 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 4 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 43K Feb 1 08:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 131K Feb 1 08:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.0K Feb 4 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 7 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.7M 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 PolyORBNT-PT-S05J30-UpperBounds-00
FORMULA_NAME PolyORBNT-PT-S05J30-UpperBounds-01
FORMULA_NAME PolyORBNT-PT-S05J30-UpperBounds-02
FORMULA_NAME PolyORBNT-PT-S05J30-UpperBounds-03
FORMULA_NAME PolyORBNT-PT-S05J30-UpperBounds-04
FORMULA_NAME PolyORBNT-PT-S05J30-UpperBounds-05
FORMULA_NAME PolyORBNT-PT-S05J30-UpperBounds-06
FORMULA_NAME PolyORBNT-PT-S05J30-UpperBounds-07
FORMULA_NAME PolyORBNT-PT-S05J30-UpperBounds-08
FORMULA_NAME PolyORBNT-PT-S05J30-UpperBounds-09
FORMULA_NAME PolyORBNT-PT-S05J30-UpperBounds-10
FORMULA_NAME PolyORBNT-PT-S05J30-UpperBounds-11
FORMULA_NAME PolyORBNT-PT-S05J30-UpperBounds-12
FORMULA_NAME PolyORBNT-PT-S05J30-UpperBounds-13
FORMULA_NAME PolyORBNT-PT-S05J30-UpperBounds-14
FORMULA_NAME PolyORBNT-PT-S05J30-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1554070048398

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBNT-PT-S05J30 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBNT-PT-S05J30 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBNT-PT-S05J30 @ 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: 1889/65536 symbol table entries, 156 collisions
lola: preprocessing...
lola: Size of bit vector: 15648
lola: finding significant places
lola: 489 places, 1400 transitions, 407 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 918 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-PT-S05J30-UpperBounds.task
lola: MAX(place_787_1) : MAX(ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_5) : MAX(place_500_1) : MAX(mi2) : MAX(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5) : MAX(Check_Sources_E_1) : MAX(NotifyEventEndOfCheckSourcesE_1) : MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20 + f1_21 + f1_22 + f1_23 + f1_24 + f1_25 + f1_26 + f1_27 + f1_28 + f1_29 + f1_30) : MAX(CreatedJobs_19_1) : MAX(CreatedJobs_26_1) : MAX(CreatedJobs_2_1) : MAX(DataOnSrc_1) : MAX(CreatedJobs_4_5) : MAX(CreatedJobs_1_4) : MAX(NotifyEventJobQueuedB_1_16) : MAX(f2_23)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_787_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_787_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J30-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
lola: ========================================

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

FORMULA PolyORBNT-PT-S05J30-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(mi2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mi2)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J30-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 PolyORBNT-PT-S05J30-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Check_Sources_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Check_Sources_E_1)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J30-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: 8 markings, 7 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J30-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventEndOfCheckSourcesE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventEndOfCheckSourcesE_1)
lola: processed formula length: 36
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J30-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: 18 markings, 17 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J30-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_19_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_19_1)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J30-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: 12 markings, 11 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J30-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_26_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_26_1)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J30-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: 12 markings, 11 edges
lola: ========================================

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

FORMULA PolyORBNT-PT-S05J30-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 443 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DataOnSrc_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DataOnSrc_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J30-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: 0 markings, 0 edges
lola:
FORMULA PolyORBNT-PT-S05J30-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 9 will run for 507 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_4_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_4_5)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J30-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 PolyORBNT-PT-S05J30-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 591 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_1_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_1_4)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J30-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: 12 markings, 11 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J30-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 710 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobQueuedB_1_16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventJobQueuedB_1_16)
lola: processed formula length: 31
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J30-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 149412 markings, 349176 edges, 29882 markings/sec, 30 secs
lola: 312262 markings, 703318 edges, 32570 markings/sec, 35 secs
lola: 499053 markings, 1026380 edges, 37358 markings/sec, 40 secs
lola: 698310 markings, 1373567 edges, 39851 markings/sec, 45 secs
lola: 849114 markings, 1679151 edges, 30161 markings/sec, 50 secs
lola: 1042720 markings, 1998177 edges, 38721 markings/sec, 55 secs
lola: 1208555 markings, 2301819 edges, 33167 markings/sec, 60 secs
lola: 1371268 markings, 2618666 edges, 32543 markings/sec, 65 secs
lola: 1533984 markings, 2935019 edges, 32543 markings/sec, 70 secs
lola: 1701324 markings, 3241210 edges, 33468 markings/sec, 75 secs
lola: 1864065 markings, 3557621 edges, 32548 markings/sec, 80 secs
lola: 2028466 markings, 3859229 edges, 32880 markings/sec, 85 secs
lola: 2193263 markings, 4179272 edges, 32959 markings/sec, 90 secs
lola: 2358995 markings, 4500956 edges, 33146 markings/sec, 95 secs
lola: 2528216 markings, 4811065 edges, 33844 markings/sec, 100 secs
lola: 2692178 markings, 5129635 edges, 32792 markings/sec, 105 secs
lola: 2855751 markings, 5447503 edges, 32715 markings/sec, 110 secs
lola: 3022898 markings, 5753952 edges, 33429 markings/sec, 115 secs
lola: 3184688 markings, 6068672 edges, 32358 markings/sec, 120 secs
lola: 3347472 markings, 6385161 edges, 32557 markings/sec, 125 secs
lola: 3513486 markings, 6689007 edges, 33203 markings/sec, 130 secs
lola: 3677384 markings, 7008054 edges, 32780 markings/sec, 135 secs
lola: 3839044 markings, 7304219 edges, 32332 markings/sec, 140 secs
lola: 3997255 markings, 7612042 edges, 31642 markings/sec, 145 secs
lola: 4157425 markings, 7923906 edges, 32034 markings/sec, 150 secs
lola: 4324121 markings, 8229558 edges, 33339 markings/sec, 155 secs
lola: 4488310 markings, 8548524 edges, 32838 markings/sec, 160 secs
lola: 4651557 markings, 8865837 edges, 32649 markings/sec, 165 secs
lola: 4812482 markings, 9160693 edges, 32185 markings/sec, 170 secs
lola: 4972342 markings, 9471424 edges, 31972 markings/sec, 175 secs
lola: 5136620 markings, 9772797 edges, 32856 markings/sec, 180 secs
lola: 5295196 markings, 10081247 edges, 31715 markings/sec, 185 secs
lola: 5458990 markings, 10399617 edges, 32759 markings/sec, 190 secs
lola: 5622584 markings, 10699708 edges, 32719 markings/sec, 195 secs
lola: 5783505 markings, 11012890 edges, 32184 markings/sec, 200 secs
lola: 5947169 markings, 11312602 edges, 32733 markings/sec, 205 secs
lola: 6109100 markings, 11627569 edges, 32386 markings/sec, 210 secs
lola: 6264092 markings, 11929920 edges, 30998 markings/sec, 215 secs
lola: 6425562 markings, 12225770 edges, 32294 markings/sec, 220 secs
lola: 6589017 markings, 12543460 edges, 32691 markings/sec, 225 secs
lola: 6753188 markings, 12862415 edges, 32834 markings/sec, 230 secs
lola: 6915725 markings, 13160131 edges, 32507 markings/sec, 235 secs
lola: 7074952 markings, 13470364 edges, 31845 markings/sec, 240 secs
lola: 7236949 markings, 13767137 edges, 32399 markings/sec, 245 secs
lola: 7399751 markings, 14083673 edges, 32560 markings/sec, 250 secs
lola: 7561704 markings, 14398729 edges, 32391 markings/sec, 255 secs
lola: 7727588 markings, 14702349 edges, 33177 markings/sec, 260 secs
lola: 7887870 markings, 15014438 edges, 32056 markings/sec, 265 secs
lola: 8046354 markings, 15323338 edges, 31697 markings/sec, 270 secs
lola: 8209504 markings, 15622126 edges, 32630 markings/sec, 275 secs
lola: 8370405 markings, 15935305 edges, 32180 markings/sec, 280 secs
lola: 8534349 markings, 16235497 edges, 32789 markings/sec, 285 secs
lola: 8694557 markings, 16547449 edges, 32042 markings/sec, 290 secs
lola: 8833049 markings, 16952802 edges, 27698 markings/sec, 295 secs
lola: 8944117 markings, 17535733 edges, 22214 markings/sec, 300 secs
lola: 9125974 markings, 17792347 edges, 36371 markings/sec, 305 secs
lola: 9311969 markings, 18053148 edges, 37199 markings/sec, 310 secs
lola: 9499763 markings, 18318336 edges, 37559 markings/sec, 315 secs
lola: 9680600 markings, 18577458 edges, 36167 markings/sec, 320 secs
lola: 9867141 markings, 18845383 edges, 37308 markings/sec, 325 secs
lola: 10047275 markings, 19110167 edges, 36027 markings/sec, 330 secs
lola: 10231988 markings, 19381387 edges, 36943 markings/sec, 335 secs
lola: 10415884 markings, 19658538 edges, 36779 markings/sec, 340 secs
lola: 10595532 markings, 19937791 edges, 35930 markings/sec, 345 secs
lola: 10771047 markings, 20230138 edges, 35103 markings/sec, 350 secs
lola: 10968106 markings, 20547022 edges, 39412 markings/sec, 355 secs
lola: 11185807 markings, 20833880 edges, 43540 markings/sec, 360 secs
lola: 11396395 markings, 21116010 edges, 42118 markings/sec, 365 secs
lola: 11608788 markings, 21397371 edges, 42479 markings/sec, 370 secs
lola: 11827230 markings, 21681255 edges, 43688 markings/sec, 375 secs
lola: 12044041 markings, 21965786 edges, 43362 markings/sec, 380 secs
lola: 12246756 markings, 22241311 edges, 40543 markings/sec, 385 secs
lola: 12464467 markings, 22525077 edges, 43542 markings/sec, 390 secs
lola: 12675743 markings, 22807033 edges, 42255 markings/sec, 395 secs
lola: 12883333 markings, 23084733 edges, 41518 markings/sec, 400 secs
lola: 13096481 markings, 23367936 edges, 42630 markings/sec, 405 secs
lola: 13306366 markings, 23647046 edges, 41977 markings/sec, 410 secs
lola: 13509702 markings, 23924089 edges, 40667 markings/sec, 415 secs
lola: 13721228 markings, 24205065 edges, 42305 markings/sec, 420 secs
lola: 13929187 markings, 24481919 edges, 41592 markings/sec, 425 secs
lola: 14131714 markings, 24757643 edges, 40505 markings/sec, 430 secs
lola: 14335522 markings, 25034721 edges, 40762 markings/sec, 435 secs
lola: 14542254 markings, 25316349 edges, 41346 markings/sec, 440 secs
lola: 14739666 markings, 25592489 edges, 39482 markings/sec, 445 secs
lola: 14945621 markings, 25872379 edges, 41191 markings/sec, 450 secs
lola: 15151779 markings, 26161369 edges, 41232 markings/sec, 455 secs
lola: 15361826 markings, 26453412 edges, 42009 markings/sec, 460 secs
lola: 15562238 markings, 26737916 edges, 40082 markings/sec, 465 secs
lola: 15770005 markings, 27037060 edges, 41553 markings/sec, 470 secs
lola: 15968312 markings, 27327223 edges, 39661 markings/sec, 475 secs
lola: 16170398 markings, 27632809 edges, 40417 markings/sec, 480 secs
lola: 16367033 markings, 27958064 edges, 39327 markings/sec, 485 secs
lola: 16522607 markings, 28247647 edges, 31115 markings/sec, 490 secs
lola: 16666374 markings, 28504365 edges, 28753 markings/sec, 495 secs
lola: 16809818 markings, 28756389 edges, 28689 markings/sec, 500 secs
lola: 16952295 markings, 29008273 edges, 28495 markings/sec, 505 secs
lola: 17095038 markings, 29260773 edges, 28549 markings/sec, 510 secs
lola: 17237699 markings, 29512869 edges, 28532 markings/sec, 515 secs
lola: 17380959 markings, 29763927 edges, 28652 markings/sec, 520 secs
lola: 17517243 markings, 30015059 edges, 27257 markings/sec, 525 secs
lola: 17657898 markings, 30262662 edges, 28131 markings/sec, 530 secs
lola: 17790417 markings, 30507413 edges, 26504 markings/sec, 535 secs
lola: 17925024 markings, 30753741 edges, 26921 markings/sec, 540 secs
lola: 18063789 markings, 31004606 edges, 27753 markings/sec, 545 secs
lola: 18196563 markings, 31254625 edges, 26555 markings/sec, 550 secs
lola: 18339487 markings, 31519417 edges, 28585 markings/sec, 555 secs
lola: 18474021 markings, 31776754 edges, 26907 markings/sec, 560 secs
lola: 18609967 markings, 32046180 edges, 27189 markings/sec, 565 secs
lola: 18745091 markings, 32322526 edges, 27025 markings/sec, 570 secs
lola: 18892183 markings, 32637758 edges, 29418 markings/sec, 575 secs
lola: 19074284 markings, 32894611 edges, 36420 markings/sec, 580 secs
lola: 19260003 markings, 33155367 edges, 37144 markings/sec, 585 secs
lola: 19448841 markings, 33422309 edges, 37768 markings/sec, 590 secs
lola: 19629996 markings, 33682003 edges, 36231 markings/sec, 595 secs
lola: 19815141 markings, 33948228 edges, 37029 markings/sec, 600 secs
lola: 20001592 markings, 34216722 edges, 37290 markings/sec, 605 secs
lola: 20184117 markings, 34485426 edges, 36505 markings/sec, 610 secs
lola: 20367215 markings, 34760512 edges, 36620 markings/sec, 615 secs
lola: 20550520 markings, 35042657 edges, 36661 markings/sec, 620 secs
lola: 20729514 markings, 35332964 edges, 35799 markings/sec, 625 secs
lola: 20907251 markings, 35651425 edges, 35547 markings/sec, 630 secs
lola: 21129178 markings, 35937800 edges, 44385 markings/sec, 635 secs
lola: 21351234 markings, 36225467 edges, 44411 markings/sec, 640 secs
lola: 21562418 markings, 36509756 edges, 42237 markings/sec, 645 secs
lola: 21771638 markings, 36789170 edges, 41844 markings/sec, 650 secs
lola: 21989198 markings, 37072586 edges, 43512 markings/sec, 655 secs
lola: 22207155 markings, 37358428 edges, 43591 markings/sec, 660 secs
lola: 22410853 markings, 37635120 edges, 40740 markings/sec, 665 secs
lola: 22631346 markings, 37920917 edges, 44099 markings/sec, 670 secs
lola: 22836359 markings, 38200054 edges, 41003 markings/sec, 675 secs
lola: 23052751 markings, 38482799 edges, 43278 markings/sec, 680 secs
lola: 23256420 markings, 38761349 edges, 40734 markings/sec, 685 secs
lola: 23472560 markings, 39045335 edges, 43228 markings/sec, 690 secs
lola: 23676888 markings, 39321112 edges, 40866 markings/sec, 695 secs
lola: 23879429 markings, 39597313 edges, 40508 markings/sec, 700 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown 1 1 unknown 1 1 unknown 1 1 1 1 1 1 unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 unknown 1 1 unknown 1 1 unknown 1 1 1 1 1 1 unknown unknown
lola: memory consumption: 1608776 KB
lola: time consumption: 730 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 710 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f2_23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f2_23)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J30-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: 17 markings, 16 edges

FORMULA PolyORBNT-PT-S05J30-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 946 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ModifiedSrc_4 + ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_5)
lola: processed formula length: 82
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J30-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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 6 markings, 5 edges

FORMULA PolyORBNT-PT-S05J30-UpperBounds-1 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1420 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5)
lola: processed formula length: 62
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J30-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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges

FORMULA PolyORBNT-PT-S05J30-UpperBounds-4 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 2840 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20 + f1_21 + f1_22 + f1_23 + f1_24 + f1_25 + f1_26 + f1_27 + f1_28 + f1_29 + f1_30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20 + f1_21 + f1_22 + f1_23 + f1_24 + f1_25 + f1_26 + f1_27 + f1_28 + f1_29 + f1_30)
lola: processed formula length: 240
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J30-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 PolyORBNT-PT-S05J30-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobQueuedB_1_16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventJobQueuedB_1_16)
lola: processed formula length: 31
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J30-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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: Structural Bound: 4294967295
lola: 308 markings, 714 edges, 62 markings/sec, 25 secs
lola: 149080 markings, 348407 edges, 29754 markings/sec, 30 secs
lola: 313713 markings, 705664 edges, 32927 markings/sec, 35 secs
lola: 501618 markings, 1031631 edges, 37581 markings/sec, 40 secs
lola: 700825 markings, 1378232 edges, 39841 markings/sec, 45 secs
lola: 851554 markings, 1684434 edges, 30146 markings/sec, 50 secs
lola: 1045528 markings, 2003137 edges, 38795 markings/sec, 55 secs
lola: 1211774 markings, 2307993 edges, 33249 markings/sec, 60 secs
lola: 1374785 markings, 2624876 edges, 32602 markings/sec, 65 secs
lola: 1537568 markings, 2941365 edges, 32557 markings/sec, 70 secs
lola: 1704823 markings, 3247997 edges, 33451 markings/sec, 75 secs
lola: 1867733 markings, 3564698 edges, 32582 markings/sec, 80 secs
lola: 2032652 markings, 3866624 edges, 32984 markings/sec, 85 secs
lola: 2195931 markings, 4183983 edges, 32656 markings/sec, 90 secs
lola: 2359386 markings, 4501641 edges, 32691 markings/sec, 95 secs
lola: 2525998 markings, 4807146 edges, 33322 markings/sec, 100 secs
lola: 2687873 markings, 5122030 edges, 32375 markings/sec, 105 secs
lola: 2849395 markings, 5436288 edges, 32304 markings/sec, 110 secs
lola: 3014692 markings, 5738873 edges, 33059 markings/sec, 115 secs
lola: 3176862 markings, 6054264 edges, 32434 markings/sec, 120 secs
lola: 3342027 markings, 6356615 edges, 33033 markings/sec, 125 secs
lola: 3504289 markings, 6672177 edges, 32452 markings/sec, 130 secs
lola: 3666019 markings, 6986801 edges, 32346 markings/sec, 135 secs
lola: 3830330 markings, 7288249 edges, 32862 markings/sec, 140 secs
lola: 3991078 markings, 7600978 edges, 32150 markings/sec, 145 secs
lola: 4152298 markings, 7914271 edges, 32244 markings/sec, 150 secs
lola: 4319020 markings, 8219964 edges, 33344 markings/sec, 155 secs
lola: 4483452 markings, 8539363 edges, 32886 markings/sec, 160 secs
lola: 4648470 markings, 8853792 edges, 33004 markings/sec, 165 secs
lola: 4810495 markings, 9157176 edges, 32405 markings/sec, 170 secs
lola: 4971741 markings, 9470345 edges, 32249 markings/sec, 175 secs
lola: 5136783 markings, 9773081 edges, 33008 markings/sec, 180 secs
lola: 5300996 markings, 10092096 edges, 32843 markings/sec, 185 secs
lola: 5464740 markings, 10410286 edges, 32749 markings/sec, 190 secs
lola: 5628962 markings, 10710959 edges, 32844 markings/sec, 195 secs
lola: 5790079 markings, 11024492 edges, 32223 markings/sec, 200 secs
lola: 5953672 markings, 11325004 edges, 32719 markings/sec, 205 secs
lola: 6116300 markings, 11640886 edges, 32526 markings/sec, 210 secs
lola: 6278047 markings, 11955166 edges, 32349 markings/sec, 215 secs
lola: 6441508 markings, 12255123 edges, 32692 markings/sec, 220 secs
lola: 6605499 markings, 12573753 edges, 32798 markings/sec, 225 secs
lola: 6768889 markings, 12891340 edges, 32678 markings/sec, 230 secs
lola: 6931369 markings, 13188968 edges, 32496 markings/sec, 235 secs
lola: 7090902 markings, 13499716 edges, 31907 markings/sec, 240 secs
lola: 7253159 markings, 13796951 edges, 32451 markings/sec, 245 secs
lola: 7416942 markings, 14115214 edges, 32757 markings/sec, 250 secs
lola: 7580948 markings, 14433899 edges, 32801 markings/sec, 255 secs
lola: 7747486 markings, 14739265 edges, 33308 markings/sec, 260 secs
lola: 7907408 markings, 15050115 edges, 31984 markings/sec, 265 secs
lola: 8066160 markings, 15359498 edges, 31750 markings/sec, 270 secs
lola: 8229553 markings, 15658723 edges, 32679 markings/sec, 275 secs
lola: 8390421 markings, 15971845 edges, 32174 markings/sec, 280 secs
lola: 8554593 markings, 16272444 edges, 32834 markings/sec, 285 secs
lola: 8714466 markings, 16583790 edges, 31975 markings/sec, 290 secs
lola: 8836750 markings, 17065078 edges, 24457 markings/sec, 295 secs
lola: 8970073 markings, 17572182 edges, 26665 markings/sec, 300 secs
lola: 9156382 markings, 17832489 edges, 37262 markings/sec, 305 secs
lola: 9341522 markings, 18095378 edges, 37028 markings/sec, 310 secs
lola: 9526211 markings, 18357791 edges, 36938 markings/sec, 315 secs
lola: 9703994 markings, 18610553 edges, 35557 markings/sec, 320 secs
lola: 9883333 markings, 18869589 edges, 35868 markings/sec, 325 secs
lola: 10056778 markings, 19123417 edges, 34689 markings/sec, 330 secs
lola: 10236776 markings, 19387530 edges, 36000 markings/sec, 335 secs
lola: 10414136 markings, 19655448 edges, 35472 markings/sec, 340 secs
lola: 10584339 markings, 19919663 edges, 34041 markings/sec, 345 secs
lola: 10759762 markings, 20210609 edges, 35085 markings/sec, 350 secs
lola: 10949494 markings, 20524744 edges, 37946 markings/sec, 355 secs
lola: 11170756 markings, 20811769 edges, 44252 markings/sec, 360 secs
lola: 11383414 markings, 21096058 edges, 42532 markings/sec, 365 secs
lola: 11592112 markings, 21376756 edges, 41740 markings/sec, 370 secs
lola: 11809672 markings, 21660502 edges, 43512 markings/sec, 375 secs
lola: 12028826 markings, 21944011 edges, 43831 markings/sec, 380 secs
lola: 12232366 markings, 22221299 edges, 40708 markings/sec, 385 secs
lola: 12444499 markings, 22501397 edges, 42427 markings/sec, 390 secs
lola: 12661621 markings, 22785580 edges, 43424 markings/sec, 395 secs
lola: 12863332 markings, 23059016 edges, 40342 markings/sec, 400 secs
lola: 13081996 markings, 23345844 edges, 43733 markings/sec, 405 secs
lola: 13285133 markings, 23621719 edges, 40627 markings/sec, 410 secs
lola: 13493101 markings, 23901786 edges, 41594 markings/sec, 415 secs
lola: 13706325 markings, 24182474 edges, 42645 markings/sec, 420 secs
lola: 13908024 markings, 24455746 edges, 40340 markings/sec, 425 secs
lola: 14110941 markings, 24732431 edges, 40583 markings/sec, 430 secs
lola: 14315208 markings, 25010098 edges, 40853 markings/sec, 435 secs
lola: 14523704 markings, 25291602 edges, 41699 markings/sec, 440 secs
lola: 14722050 markings, 25563971 edges, 39669 markings/sec, 445 secs
lola: 14917926 markings, 25837261 edges, 39175 markings/sec, 450 secs
lola: 15125121 markings, 26123436 edges, 41439 markings/sec, 455 secs
lola: 15331132 markings, 26413114 edges, 41202 markings/sec, 460 secs
lola: 15528715 markings, 26691136 edges, 39517 markings/sec, 465 secs
lola: 15737852 markings, 26989162 edges, 41827 markings/sec, 470 secs
lola: 15937693 markings, 27282072 edges, 39968 markings/sec, 475 secs
lola: 16141703 markings, 27588210 edges, 40802 markings/sec, 480 secs
lola: 16339631 markings, 27907584 edges, 39586 markings/sec, 485 secs
lola: 16500063 markings, 28211721 edges, 32086 markings/sec, 490 secs
lola: 16647257 markings, 28470219 edges, 29439 markings/sec, 495 secs
lola: 16792555 markings, 28723042 edges, 29060 markings/sec, 500 secs
lola: 16933685 markings, 28970381 edges, 28226 markings/sec, 505 secs
lola: 17074580 markings, 29220050 edges, 28179 markings/sec, 510 secs
lola: 17213130 markings, 29471019 edges, 27710 markings/sec, 515 secs
lola: 17350970 markings, 29716813 edges, 27568 markings/sec, 520 secs
lola: 17494697 markings, 29968558 edges, 28745 markings/sec, 525 secs
lola: 17630372 markings, 30218180 edges, 27135 markings/sec, 530 secs
lola: 17768520 markings, 30464591 edges, 27630 markings/sec, 535 secs
lola: 17904018 markings, 30710146 edges, 27100 markings/sec, 540 secs
lola: 18037731 markings, 30958407 edges, 26743 markings/sec, 545 secs
lola: 18172381 markings, 31207061 edges, 26930 markings/sec, 550 secs
lola: 18314782 markings, 31473651 edges, 28480 markings/sec, 555 secs
lola: 18453092 markings, 31737437 edges, 27662 markings/sec, 560 secs
lola: 18591099 markings, 32008570 edges, 27601 markings/sec, 565 secs
lola: 18725765 markings, 32282519 edges, 26933 markings/sec, 570 secs
lola: 18858449 markings, 32595164 edges, 26537 markings/sec, 575 secs
lola: 19044416 markings, 32853917 edges, 37193 markings/sec, 580 secs
lola: 19229592 markings, 33113896 edges, 37035 markings/sec, 585 secs
lola: 19415357 markings, 33377019 edges, 37153 markings/sec, 590 secs
lola: 19603036 markings, 33641503 edges, 37536 markings/sec, 595 secs
lola: 19786802 markings, 33904523 edges, 36753 markings/sec, 600 secs
lola: 19968816 markings, 34169883 edges, 36403 markings/sec, 605 secs
lola: 20151967 markings, 34438549 edges, 36630 markings/sec, 610 secs
lola: 20336814 markings, 34714164 edges, 36969 markings/sec, 615 secs
lola: 20518289 markings, 34992820 edges, 36295 markings/sec, 620 secs
lola: 20701193 markings, 35285644 edges, 36581 markings/sec, 625 secs
lola: 20874064 markings, 35608872 edges, 34574 markings/sec, 630 secs
lola: 21096100 markings, 35898771 edges, 44407 markings/sec, 635 secs
lola: 21321504 markings, 36189370 edges, 45081 markings/sec, 640 secs
lola: 21543927 markings, 36481857 edges, 44485 markings/sec, 645 secs
lola: 21750063 markings, 36762371 edges, 41227 markings/sec, 650 secs
lola: 21962483 markings, 37041025 edges, 42484 markings/sec, 655 secs
lola: 22184018 markings, 37326137 edges, 44307 markings/sec, 660 secs
lola: 22390347 markings, 37605924 edges, 41266 markings/sec, 665 secs
lola: 22604569 markings, 37888775 edges, 42844 markings/sec, 670 secs
lola: 22817952 markings, 38171011 edges, 42677 markings/sec, 675 secs
lola: 23025810 markings, 38450492 edges, 41572 markings/sec, 680 secs
lola: 23237502 markings, 38733229 edges, 42338 markings/sec, 685 secs
lola: 23449368 markings, 39013097 edges, 42373 markings/sec, 690 secs
lola: 23650274 markings, 39288643 edges, 40181 markings/sec, 695 secs
lola: 23856457 markings, 39567115 edges, 41237 markings/sec, 700 secs
lola: 24063909 markings, 39845312 edges, 41490 markings/sec, 705 secs
lola: 24268930 markings, 40121989 edges, 41004 markings/sec, 710 secs
lola: 24471879 markings, 40402417 edges, 40590 markings/sec, 715 secs
lola: 24675596 markings, 40680150 edges, 40743 markings/sec, 720 secs
lola: 24884470 markings, 40962827 edges, 41775 markings/sec, 725 secs
lola: 25085924 markings, 41245433 edges, 40291 markings/sec, 730 secs
lola: 25300060 markings, 41543067 edges, 42827 markings/sec, 735 secs
lola: 25502481 markings, 41828044 edges, 40484 markings/sec, 740 secs
lola: 25708765 markings, 42122484 edges, 41257 markings/sec, 745 secs
lola: 25909606 markings, 42415246 edges, 40168 markings/sec, 750 secs
lola: 26114162 markings, 42721015 edges, 40911 markings/sec, 755 secs
lola: 26310515 markings, 43033898 edges, 39271 markings/sec, 760 secs
lola: 26483355 markings, 43355915 edges, 34568 markings/sec, 765 secs
lola: 26634638 markings, 43616681 edges, 30257 markings/sec, 770 secs
lola: 26779988 markings, 43871533 edges, 29070 markings/sec, 775 secs
lola: 26921605 markings, 44122729 edges, 28323 markings/sec, 780 secs
lola: 27064640 markings, 44375282 edges, 28607 markings/sec, 785 secs
lola: 27205829 markings, 44628942 edges, 28238 markings/sec, 790 secs
lola: 27343313 markings, 44879244 edges, 27497 markings/sec, 795 secs
lola: 27484635 markings, 45128903 edges, 28264 markings/sec, 800 secs
lola: 27622826 markings, 45378575 edges, 27638 markings/sec, 805 secs
lola: 27759131 markings, 45621652 edges, 27261 markings/sec, 810 secs
lola: 27892502 markings, 45866529 edges, 26674 markings/sec, 815 secs
lola: 28030926 markings, 46118160 edges, 27685 markings/sec, 820 secs
lola: 28162863 markings, 46367008 edges, 26387 markings/sec, 825 secs
lola: 28302244 markings, 46627079 edges, 27876 markings/sec, 830 secs
lola: 28438354 markings, 46886276 edges, 27222 markings/sec, 835 secs
lola: 28577396 markings, 47156260 edges, 27808 markings/sec, 840 secs
lola: 28713231 markings, 47430274 edges, 27167 markings/sec, 845 secs
lola: 28845150 markings, 47733868 edges, 26384 markings/sec, 850 secs
lola: 29032677 markings, 48010272 edges, 37505 markings/sec, 855 secs
lola: 29217092 markings, 48269145 edges, 36883 markings/sec, 860 secs
lola: 29401826 markings, 48532775 edges, 36947 markings/sec, 865 secs
lola: 29584857 markings, 48793217 edges, 36606 markings/sec, 870 secs
lola: 29766913 markings, 49055190 edges, 36411 markings/sec, 875 secs
lola: 29953598 markings, 49323059 edges, 37337 markings/sec, 880 secs
lola: 30135269 markings, 49590412 edges, 36334 markings/sec, 885 secs
lola: 30318674 markings, 49864117 edges, 36681 markings/sec, 890 secs
lola: 30502753 markings, 50143488 edges, 36816 markings/sec, 895 secs
lola: 30683296 markings, 50431448 edges, 36109 markings/sec, 900 secs
lola: 30853465 markings, 50744899 edges, 34034 markings/sec, 905 secs
lola: 31065417 markings, 51036049 edges, 42390 markings/sec, 910 secs
lola: 31284275 markings, 51321956 edges, 43772 markings/sec, 915 secs
lola: 31507602 markings, 51610331 edges, 44665 markings/sec, 920 secs
lola: 31722662 markings, 51894955 edges, 43012 markings/sec, 925 secs
lola: 31927680 markings, 52172115 edges, 41004 markings/sec, 930 secs
lola: 32143643 markings, 52454150 edges, 43193 markings/sec, 935 secs
lola: 32362334 markings, 52739232 edges, 43738 markings/sec, 940 secs
lola: 32563233 markings, 53013626 edges, 40180 markings/sec, 945 secs
lola: 32781333 markings, 53296397 edges, 43620 markings/sec, 950 secs
lola: 32984505 markings, 53574404 edges, 40634 markings/sec, 955 secs
lola: 33199041 markings, 53853388 edges, 42907 markings/sec, 960 secs
lola: 33399990 markings, 54128870 edges, 40190 markings/sec, 965 secs
lola: 33608667 markings, 54405863 edges, 41735 markings/sec, 970 secs
lola: 33814055 markings, 54679753 edges, 41078 markings/sec, 975 secs
lola: 34015362 markings, 54954688 edges, 40261 markings/sec, 980 secs
lola: 34219637 markings, 55232296 edges, 40855 markings/sec, 985 secs
lola: 34425552 markings, 55511314 edges, 41183 markings/sec, 990 secs
lola: 34629289 markings, 55787868 edges, 40747 markings/sec, 995 secs
lola: 34828252 markings, 56066545 edges, 39793 markings/sec, 1000 secs
lola: 35036964 markings, 56349959 edges, 41742 markings/sec, 1005 secs
lola: 35250262 markings, 56647252 edges, 42660 markings/sec, 1010 secs
lola: 35450241 markings, 56930212 edges, 39996 markings/sec, 1015 secs
lola: 35653972 markings, 57219462 edges, 40746 markings/sec, 1020 secs
lola: 35858166 markings, 57517546 edges, 40839 markings/sec, 1025 secs
lola: 36062527 markings, 57819371 edges, 40872 markings/sec, 1030 secs
lola: 36257445 markings, 58122206 edges, 38984 markings/sec, 1035 secs
lola: 36440559 markings, 58456170 edges, 36623 markings/sec, 1040 secs
lola: 36581139 markings, 58705362 edges, 28116 markings/sec, 1045 secs
lola: 36726029 markings, 58960107 edges, 28978 markings/sec, 1050 secs
lola: 36872436 markings, 59215457 edges, 29281 markings/sec, 1055 secs
lola: 37016363 markings, 59472426 edges, 28785 markings/sec, 1060 secs
lola: 37158897 markings, 59725876 edges, 28507 markings/sec, 1065 secs
lola: 37299505 markings, 59975674 edges, 28122 markings/sec, 1070 secs
lola: 37444169 markings, 60228035 edges, 28933 markings/sec, 1075 secs
lola: 37579648 markings, 60477906 edges, 27096 markings/sec, 1080 secs
lola: 37719500 markings, 60726192 edges, 27970 markings/sec, 1085 secs
lola: 37854496 markings, 60971161 edges, 26999 markings/sec, 1090 secs
lola: 37991599 markings, 61221451 edges, 27421 markings/sec, 1095 secs
lola: 38124854 markings, 61472133 edges, 26651 markings/sec, 1100 secs
lola: 38261659 markings, 61727527 edges, 27361 markings/sec, 1105 secs
lola: 38403971 markings, 61993624 edges, 28462 markings/sec, 1110 secs
lola: 38539743 markings, 62256831 edges, 27154 markings/sec, 1115 secs
lola: 38674858 markings, 62526347 edges, 27023 markings/sec, 1120 secs
lola: 38809748 markings, 62816145 edges, 26978 markings/sec, 1125 secs
lola: 38979676 markings, 63115372 edges, 33986 markings/sec, 1130 secs
lola: 39167045 markings, 63377390 edges, 37474 markings/sec, 1135 secs
lola: 39353670 markings, 63644081 edges, 37325 markings/sec, 1140 secs
lola: 39544569 markings, 63910222 edges, 38180 markings/sec, 1145 secs
lola: 39727255 markings, 64174309 edges, 36537 markings/sec, 1150 secs
lola: 39915947 markings, 64444266 edges, 37738 markings/sec, 1155 secs
lola: 40097647 markings, 64711822 edges, 36340 markings/sec, 1160 secs
lola: 40285313 markings, 64989134 edges, 37533 markings/sec, 1165 secs
lola: 40469622 markings, 65269112 edges, 36862 markings/sec, 1170 secs
lola: 40652581 markings, 65556474 edges, 36592 markings/sec, 1175 secs
lola: 40828446 markings, 65863036 edges, 35173 markings/sec, 1180 secs
lola: 41036239 markings, 66172407 edges, 41559 markings/sec, 1185 secs
lola: 41250597 markings, 66455717 edges, 42872 markings/sec, 1190 secs
lola: 41472011 markings, 66744622 edges, 44283 markings/sec, 1195 secs
lola: 41695747 markings, 67033197 edges, 44747 markings/sec, 1200 secs
lola: 41907003 markings, 67316654 edges, 42251 markings/sec, 1205 secs
lola: 42116894 markings, 67597315 edges, 41978 markings/sec, 1210 secs
lola: 42338892 markings, 67884522 edges, 44400 markings/sec, 1215 secs
lola: 42546451 markings, 68168070 edges, 41512 markings/sec, 1220 secs
lola: 42762518 markings, 68450349 edges, 43213 markings/sec, 1225 secs
lola: 42972718 markings, 68733601 edges, 42040 markings/sec, 1230 secs
lola: 43188723 markings, 69017355 edges, 43201 markings/sec, 1235 secs
lola: 43393153 markings, 69296581 edges, 40886 markings/sec, 1240 secs
lola: 43607786 markings, 69580517 edges, 42927 markings/sec, 1245 secs
lola: 43817116 markings, 69860113 edges, 41866 markings/sec, 1250 secs
lola: 44019981 markings, 70136851 edges, 40573 markings/sec, 1255 secs
lola: 44225561 markings, 70416036 edges, 41116 markings/sec, 1260 secs
lola: 44434107 markings, 70698351 edges, 41709 markings/sec, 1265 secs
lola: 44641143 markings, 70981953 edges, 41407 markings/sec, 1270 secs
lola: 44841128 markings, 71260261 edges, 39997 markings/sec, 1275 secs
lola: 45051581 markings, 71548013 edges, 42091 markings/sec, 1280 secs
lola: 45265681 markings, 71847060 edges, 42820 markings/sec, 1285 secs
lola: 45466435 markings, 72132038 edges, 40151 markings/sec, 1290 secs
lola: 45673740 markings, 72427272 edges, 41461 markings/sec, 1295 secs
lola: 45882074 markings, 72725495 edges, 41667 markings/sec, 1300 secs
lola: 46087331 markings, 73031056 edges, 41051 markings/sec, 1305 secs
lola: 46286112 markings, 73343868 edges, 39756 markings/sec, 1310 secs
lola: 46466339 markings, 73671519 edges, 36045 markings/sec, 1315 secs
lola: 46610553 markings, 73928248 edges, 28843 markings/sec, 1320 secs
lola: 46754739 markings, 74184732 edges, 28837 markings/sec, 1325 secs
lola: 46897647 markings, 74438376 edges, 28582 markings/sec, 1330 secs
lola: 47042058 markings, 74692773 edges, 28882 markings/sec, 1335 secs
lola: 47186984 markings, 74947063 edges, 28985 markings/sec, 1340 secs
lola: 47330463 markings, 75200869 edges, 28696 markings/sec, 1345 secs
lola: 47468406 markings, 75453777 edges, 27589 markings/sec, 1350 secs
lola: 47611120 markings, 75704359 edges, 28543 markings/sec, 1355 secs
lola: 47745213 markings, 75952295 edges, 26819 markings/sec, 1360 secs
lola: 47881566 markings, 76200348 edges, 27271 markings/sec, 1365 secs
lola: 48020594 markings, 76453573 edges, 27806 markings/sec, 1370 secs
lola: 48157234 markings, 76705637 edges, 27328 markings/sec, 1375 secs
lola: 48295642 markings, 76966652 edges, 27682 markings/sec, 1380 secs
lola: 48435387 markings, 77229707 edges, 27949 markings/sec, 1385 secs
lola: 48574306 markings, 77500932 edges, 27784 markings/sec, 1390 secs
lola: 48710335 markings, 77774499 edges, 27206 markings/sec, 1395 secs
lola: 48843383 markings, 78075742 edges, 26610 markings/sec, 1400 secs
lola: 48981717 markings, 78313473 edges, 27667 markings/sec, 1405 secs
lola: 49121426 markings, 78527906 edges, 27942 markings/sec, 1410 secs
lola: 49251099 markings, 78804282 edges, 25935 markings/sec, 1415 secs
lola: 49390026 markings, 79015416 edges, 27785 markings/sec, 1420 secs
lola: 49519614 markings, 79292070 edges, 25918 markings/sec, 1425 secs
lola: 49659566 markings, 79506831 edges, 27990 markings/sec, 1430 secs
lola: 49790077 markings, 79781949 edges, 26102 markings/sec, 1435 secs
lola: 49927825 markings, 79993898 edges, 27550 markings/sec, 1440 secs
lola: 50065993 markings, 80206350 edges, 27634 markings/sec, 1445 secs
lola: 50195959 markings, 80480764 edges, 25993 markings/sec, 1450 secs
lola: 50334676 markings, 80693946 edges, 27743 markings/sec, 1455 secs
lola: 50464716 markings, 80971182 edges, 26008 markings/sec, 1460 secs
lola: 50604357 markings, 81185534 edges, 27928 markings/sec, 1465 secs
lola: 50734422 markings, 81460087 edges, 26013 markings/sec, 1470 secs
lola: 50871455 markings, 81671104 edges, 27407 markings/sec, 1475 secs
lola: 51008736 markings, 81885565 edges, 27456 markings/sec, 1480 secs
lola: 51137367 markings, 82155151 edges, 25726 markings/sec, 1485 secs
lola: 51275485 markings, 82367540 edges, 27624 markings/sec, 1490 secs
lola: 51404201 markings, 82640360 edges, 25743 markings/sec, 1495 secs
lola: 51542133 markings, 82852536 edges, 27586 markings/sec, 1500 secs
lola: 51670774 markings, 83127222 edges, 25728 markings/sec, 1505 secs
lola: 51808854 markings, 83337619 edges, 27616 markings/sec, 1510 secs
lola: 51936780 markings, 83612148 edges, 25585 markings/sec, 1515 secs
lola: 52071803 markings, 83817847 edges, 27005 markings/sec, 1520 secs
lola: 52207560 markings, 84026966 edges, 27151 markings/sec, 1525 secs
lola: 52333794 markings, 84296876 edges, 25247 markings/sec, 1530 secs
lola: 52468475 markings, 84502135 edges, 26936 markings/sec, 1535 secs
lola: 52595384 markings, 84775383 edges, 25382 markings/sec, 1540 secs
lola: 52733880 markings, 84985541 edges, 27699 markings/sec, 1545 secs
lola: 52862635 markings, 85261131 edges, 25751 markings/sec, 1550 secs
lola: 53003249 markings, 85476727 edges, 28123 markings/sec, 1555 secs
lola: 53143001 markings, 85691245 edges, 27950 markings/sec, 1560 secs
lola: 53271042 markings, 85963187 edges, 25608 markings/sec, 1565 secs
lola: 53406018 markings, 86168860 edges, 26995 markings/sec, 1570 secs
lola: 53532596 markings, 86441634 edges, 25316 markings/sec, 1575 secs
lola: 53670820 markings, 86653832 edges, 27645 markings/sec, 1580 secs
lola: 53799769 markings, 86927297 edges, 25790 markings/sec, 1585 secs
lola: 53940366 markings, 87142902 edges, 28119 markings/sec, 1590 secs
lola: 54076648 markings, 87350207 edges, 27256 markings/sec, 1595 secs
lola: 54203614 markings, 87623517 edges, 25393 markings/sec, 1600 secs
lola: 54339540 markings, 87830399 edges, 27185 markings/sec, 1605 secs
lola: 54465215 markings, 88102019 edges, 25135 markings/sec, 1610 secs
lola: 54602046 markings, 88310053 edges, 27366 markings/sec, 1615 secs
lola: 54729500 markings, 88583983 edges, 25491 markings/sec, 1620 secs
lola: 54868426 markings, 88794707 edges, 27785 markings/sec, 1625 secs
lola: 55006527 markings, 89007085 edges, 27620 markings/sec, 1630 secs
lola: 55134119 markings, 89281201 edges, 25518 markings/sec, 1635 secs
lola: 55270986 markings, 89489274 edges, 27373 markings/sec, 1640 secs
lola: 55400186 markings, 89765430 edges, 25840 markings/sec, 1645 secs
lola: 55540132 markings, 89980182 edges, 27989 markings/sec, 1650 secs
lola: 55669506 markings, 90253847 edges, 25875 markings/sec, 1655 secs
lola: 55804337 markings, 90460062 edges, 26966 markings/sec, 1660 secs
lola: 55936142 markings, 90690403 edges, 26361 markings/sec, 1665 secs
lola: 56064237 markings, 90935668 edges, 25619 markings/sec, 1670 secs
lola: 56199304 markings, 91141410 edges, 27013 markings/sec, 1675 secs
lola: 56326458 markings, 91414954 edges, 25431 markings/sec, 1680 secs
lola: 56466017 markings, 91629200 edges, 27912 markings/sec, 1685 secs
lola: 56596595 markings, 91904431 edges, 26116 markings/sec, 1690 secs
lola: 56736650 markings, 92119314 edges, 28011 markings/sec, 1695 secs
lola: 56866729 markings, 92396583 edges, 26016 markings/sec, 1700 secs
lola: 57001133 markings, 92601508 edges, 26881 markings/sec, 1705 secs
lola: 57135435 markings, 92809030 edges, 26860 markings/sec, 1710 secs
lola: 57259398 markings, 93075746 edges, 24793 markings/sec, 1715 secs
lola: 57395294 markings, 93282594 edges, 27179 markings/sec, 1720 secs
lola: 57521297 markings, 93554650 edges, 25201 markings/sec, 1725 secs
lola: 57658868 markings, 93763632 edges, 27514 markings/sec, 1730 secs
lola: 57785531 markings, 94039997 edges, 25333 markings/sec, 1735 secs
lola: 57815297 markings, 94916468 edges, 5953 markings/sec, 1740 secs
lola: 57845109 markings, 95794964 edges, 5962 markings/sec, 1745 secs
lola: 57905036 markings, 96495656 edges, 11985 markings/sec, 1750 secs
lola: 58040557 markings, 96702547 edges, 27104 markings/sec, 1755 secs
lola: 58172464 markings, 96935886 edges, 26381 markings/sec, 1760 secs
lola: 58300313 markings, 97178136 edges, 25570 markings/sec, 1765 secs
lola: 58434378 markings, 97382634 edges, 26813 markings/sec, 1770 secs
lola: 58560034 markings, 97654263 edges, 25131 markings/sec, 1775 secs
lola: 58698955 markings, 97864964 edges, 27784 markings/sec, 1780 secs
lola: 58827084 markings, 98139770 edges, 25626 markings/sec, 1785 secs
lola: 58961825 markings, 98345113 edges, 26948 markings/sec, 1790 secs
lola: 59095481 markings, 98561319 edges, 26731 markings/sec, 1795 secs
lola: 59223856 markings, 98824188 edges, 25675 markings/sec, 1800 secs
lola: 59360597 markings, 99034808 edges, 27348 markings/sec, 1805 secs
lola: 59489847 markings, 99308330 edges, 25850 markings/sec, 1810 secs
lola: 59628119 markings, 99520919 edges, 27654 markings/sec, 1815 secs
lola: 59757585 markings, 99797414 edges, 25893 markings/sec, 1820 secs
lola: 59893372 markings, 100004131 edges, 27157 markings/sec, 1825 secs
lola: 60021112 markings, 100263151 edges, 25548 markings/sec, 1830 secs
lola: 60156113 markings, 100484110 edges, 27000 markings/sec, 1835 secs
lola: 60293976 markings, 100693463 edges, 27573 markings/sec, 1840 secs
lola: 60421298 markings, 100967213 edges, 25464 markings/sec, 1845 secs
lola: 60558073 markings, 101175175 edges, 27355 markings/sec, 1850 secs
lola: 60686031 markings, 101449742 edges, 25592 markings/sec, 1855 secs
lola: 60822415 markings, 101657200 edges, 27277 markings/sec, 1860 secs
lola: 60950320 markings, 101931714 edges, 25581 markings/sec, 1865 secs
lola: 61086399 markings, 102138766 edges, 27216 markings/sec, 1870 secs
lola: 61222889 markings, 102349072 edges, 27298 markings/sec, 1875 secs
lola: 61347763 markings, 102617001 edges, 24975 markings/sec, 1880 secs
lola: 61482896 markings, 102825559 edges, 27027 markings/sec, 1885 secs
lola: 61609490 markings, 103095661 edges, 25319 markings/sec, 1890 secs
lola: 61749258 markings, 103310201 edges, 27954 markings/sec, 1895 secs
lola: 61879981 markings, 103587934 edges, 26145 markings/sec, 1900 secs
lola: 62020960 markings, 103801649 edges, 28196 markings/sec, 1905 secs
lola: 62160855 markings, 104016346 edges, 27979 markings/sec, 1910 secs
lola: 62287762 markings, 104289550 edges, 25381 markings/sec, 1915 secs
lola: 62423108 markings, 104495678 edges, 27069 markings/sec, 1920 secs
lola: 62549123 markings, 104765055 edges, 25203 markings/sec, 1925 secs
lola: 62687376 markings, 104977607 edges, 27651 markings/sec, 1930 secs
lola: 62816436 markings, 105253595 edges, 25812 markings/sec, 1935 secs
lola: 62955600 markings, 105464623 edges, 27833 markings/sec, 1940 secs
lola: 63094024 markings, 105677421 edges, 27685 markings/sec, 1945 secs
lola: 63220069 markings, 105946824 edges, 25209 markings/sec, 1950 secs
lola: 63355290 markings, 106155493 edges, 27044 markings/sec, 1955 secs
lola: 63479878 markings, 106423027 edges, 24918 markings/sec, 1960 secs
lola: 63614732 markings, 106628532 edges, 26971 markings/sec, 1965 secs
lola: 63741671 markings, 106901810 edges, 25388 markings/sec, 1970 secs
lola: 63880890 markings, 107115620 edges, 27844 markings/sec, 1975 secs
lola: 64020087 markings, 107326690 edges, 27839 markings/sec, 1980 secs
lola: 64145778 markings, 107598331 edges, 25138 markings/sec, 1985 secs
lola: 64280991 markings, 107804288 edges, 27043 markings/sec, 1990 secs
lola: 64408660 markings, 108078438 edges, 25534 markings/sec, 1995 secs
lola: 64547672 markings, 108289321 edges, 27802 markings/sec, 2000 secs
lola: 64675788 markings, 108564127 edges, 25623 markings/sec, 2005 secs
lola: 64809350 markings, 108767960 edges, 26712 markings/sec, 2010 secs
lola: 64943533 markings, 108972581 edges, 26837 markings/sec, 2015 secs
lola: 65065923 markings, 109237302 edges, 24478 markings/sec, 2020 secs
lola: 65198733 markings, 109440187 edges, 26562 markings/sec, 2025 secs
lola: 65323100 markings, 109710167 edges, 24873 markings/sec, 2030 secs
lola: 65461832 markings, 109920619 edges, 27746 markings/sec, 2035 secs
lola: 65590698 markings, 110196369 edges, 25773 markings/sec, 2040 secs
lola: 65729249 markings, 110409310 edges, 27710 markings/sec, 2045 secs
lola: 65868167 markings, 110620011 edges, 27784 markings/sec, 2050 secs
lola: 65991778 markings, 110888289 edges, 24722 markings/sec, 2055 secs
lola: 66124363 markings, 111091598 edges, 26517 markings/sec, 2060 secs
lola: 66246205 markings, 111355615 edges, 24368 markings/sec, 2065 secs
lola: 66380406 markings, 111560297 edges, 26840 markings/sec, 2070 secs
lola: 66505068 markings, 111827925 edges, 24932 markings/sec, 2075 secs
lola: 66640653 markings, 112037057 edges, 27117 markings/sec, 2080 secs
lola: 66776846 markings, 112244277 edges, 27239 markings/sec, 2085 secs
lola: 66818331 markings, 113019688 edges, 8297 markings/sec, 2090 secs
lola: 66847516 markings, 113879204 edges, 5837 markings/sec, 2095 secs
lola: 66877801 markings, 114754798 edges, 6057 markings/sec, 2100 secs
lola: 67018336 markings, 114970285 edges, 28107 markings/sec, 2105 secs
lola: 67158439 markings, 115182500 edges, 28021 markings/sec, 2110 secs
lola: 67288031 markings, 115459172 edges, 25918 markings/sec, 2115 secs
lola: 67426433 markings, 115671926 edges, 27680 markings/sec, 2120 secs
lola: 67555553 markings, 115945287 edges, 25824 markings/sec, 2125 secs
lola: 67693503 markings, 116157464 edges, 27590 markings/sec, 2130 secs
lola: 67822222 markings, 116433013 edges, 25744 markings/sec, 2135 secs
lola: 67959491 markings, 116641601 edges, 27454 markings/sec, 2140 secs
lola: 68097075 markings, 116853319 edges, 27517 markings/sec, 2145 secs
lola: 68226919 markings, 117127597 edges, 25969 markings/sec, 2150 secs
lola: 68365923 markings, 117341125 edges, 27801 markings/sec, 2155 secs
lola: 68496671 markings, 117619278 edges, 26150 markings/sec, 2160 secs
lola: 68636797 markings, 117834258 edges, 28025 markings/sec, 2165 secs
lola: 68767025 markings, 118109027 edges, 26046 markings/sec, 2170 secs
lola: 68903268 markings, 118319023 edges, 27249 markings/sec, 2175 secs
lola: 69031607 markings, 118585761 edges, 25668 markings/sec, 2180 secs
lola: 69168222 markings, 118801834 edges, 27323 markings/sec, 2185 secs
lola: 69306310 markings, 119014193 edges, 27618 markings/sec, 2190 secs
lola: 69434872 markings, 119286815 edges, 25712 markings/sec, 2195 secs
lola: 69572622 markings, 119498753 edges, 27550 markings/sec, 2200 secs
lola: 69701549 markings, 119771841 edges, 25785 markings/sec, 2205 secs
lola: 69839227 markings, 119983672 edges, 27536 markings/sec, 2210 secs
lola: 69968006 markings, 120259297 edges, 25756 markings/sec, 2215 secs
lola: 70104289 markings, 120466635 edges, 27257 markings/sec, 2220 secs
lola: 70241195 markings, 120677469 edges, 27381 markings/sec, 2225 secs
lola: 70367488 markings, 120947195 edges, 25259 markings/sec, 2230 secs
lola: 70503261 markings, 121156105 edges, 27155 markings/sec, 2235 secs
lola: 70631732 markings, 121429106 edges, 25694 markings/sec, 2240 secs
lola: 70771662 markings, 121643842 edges, 27986 markings/sec, 2245 secs
lola: 70901154 markings, 121920388 edges, 25898 markings/sec, 2250 secs
lola: 71041718 markings, 122133188 edges, 28113 markings/sec, 2255 secs
lola: 71180565 markings, 122346522 edges, 27769 markings/sec, 2260 secs
lola: 71307133 markings, 122619333 edges, 25314 markings/sec, 2265 secs
lola: 71442659 markings, 122825673 edges, 27105 markings/sec, 2270 secs
lola: 71569656 markings, 123096293 edges, 25399 markings/sec, 2275 secs
lola: 71707593 markings, 123308464 edges, 27587 markings/sec, 2280 secs
lola: 71837028 markings, 123584938 edges, 25887 markings/sec, 2285 secs
lola: 71976502 markings, 123796353 edges, 27895 markings/sec, 2290 secs
lola: 72109952 markings, 124051242 edges, 26690 markings/sec, 2295 secs
lola: 72242829 markings, 124283628 edges, 26575 markings/sec, 2300 secs
lola: 72379518 markings, 124491491 edges, 27338 markings/sec, 2305 secs
lola: 72505328 markings, 124760602 edges, 25162 markings/sec, 2310 secs
lola: 72637588 markings, 124965480 edges, 26452 markings/sec, 2315 secs
lola: 72765474 markings, 125237249 edges, 25577 markings/sec, 2320 secs
lola: 72901530 markings, 125447002 edges, 27211 markings/sec, 2325 secs
lola: 73033546 markings, 125693543 edges, 26403 markings/sec, 2330 secs
lola: 73163107 markings, 125922782 edges, 25912 markings/sec, 2335 secs
lola: 73297096 markings, 126129889 edges, 26798 markings/sec, 2340 secs
lola: 73426729 markings, 126403873 edges, 25927 markings/sec, 2345 secs
lola: 73564174 markings, 126615427 edges, 27489 markings/sec, 2350 secs
lola: 73693385 markings, 126888885 edges, 25842 markings/sec, 2355 secs
lola: 73827027 markings, 127095543 edges, 26728 markings/sec, 2360 secs
lola: 73957041 markings, 127332942 edges, 26003 markings/sec, 2365 secs
lola: 74086216 markings, 127568237 edges, 25835 markings/sec, 2370 secs
lola: 74219645 markings, 127771923 edges, 26686 markings/sec, 2375 secs
lola: 74346448 markings, 128045003 edges, 25361 markings/sec, 2380 secs
lola: 74486319 markings, 128259673 edges, 27974 markings/sec, 2385 secs
lola: 74614116 markings, 128531307 edges, 25559 markings/sec, 2390 secs
lola: 74752953 markings, 128744617 edges, 27767 markings/sec, 2395 secs
lola: 74883008 markings, 129021899 edges, 26011 markings/sec, 2400 secs
lola: 75016581 markings, 129225755 edges, 26715 markings/sec, 2405 secs
lola: 75150959 markings, 129430642 edges, 26876 markings/sec, 2410 secs
lola: 75274639 markings, 129696987 edges, 24736 markings/sec, 2415 secs
lola: 75410177 markings, 129906095 edges, 27108 markings/sec, 2420 secs
lola: 75536667 markings, 130176070 edges, 25298 markings/sec, 2425 secs
lola: 75673549 markings, 130386881 edges, 27376 markings/sec, 2430 secs
lola: 75804708 markings, 130631540 edges, 26232 markings/sec, 2435 secs
lola: 75834969 markings, 131523136 edges, 6052 markings/sec, 2440 secs
lola: 75865337 markings, 132417858 edges, 6074 markings/sec, 2445 secs
lola: 75926337 markings, 133127385 edges, 12200 markings/sec, 2450 secs
lola: 76061589 markings, 133336104 edges, 27050 markings/sec, 2455 secs
lola: 76193043 markings, 133569056 edges, 26291 markings/sec, 2460 secs
lola: 76320642 markings, 133808644 edges, 25520 markings/sec, 2465 secs
lola: 76454386 markings, 134012692 edges, 26749 markings/sec, 2470 secs
lola: 76575500 markings, 134275786 edges, 24223 markings/sec, 2475 secs
lola: 76707397 markings, 134477479 edges, 26379 markings/sec, 2480 secs
lola: 76828927 markings, 134741108 edges, 24306 markings/sec, 2485 secs
lola: 76966496 markings, 134952788 edges, 27514 markings/sec, 2490 secs
lola: 77104721 markings, 135164900 edges, 27645 markings/sec, 2495 secs
lola: 77232968 markings, 135437576 edges, 25649 markings/sec, 2500 secs
lola: 77369019 markings, 135646338 edges, 27210 markings/sec, 2505 secs
lola: 77496792 markings, 135918919 edges, 25555 markings/sec, 2510 secs
lola: 77634755 markings, 136131126 edges, 27593 markings/sec, 2515 secs
lola: 77762932 markings, 136403277 edges, 25635 markings/sec, 2520 secs
lola: 77897176 markings, 136607990 edges, 26849 markings/sec, 2525 secs
lola: 78031920 markings, 136816042 edges, 26949 markings/sec, 2530 secs
lola: 78156493 markings, 137083569 edges, 24915 markings/sec, 2535 secs
lola: 78292207 markings, 137290167 edges, 27143 markings/sec, 2540 secs
lola: 78417276 markings, 137561026 edges, 25014 markings/sec, 2545 secs
lola: 78553466 markings, 137768260 edges, 27238 markings/sec, 2550 secs
lola: 78679697 markings, 138039224 edges, 25246 markings/sec, 2555 secs
lola: 78815184 markings, 138246904 edges, 27097 markings/sec, 2560 secs
lola: 78951166 markings, 138453849 edges, 27196 markings/sec, 2565 secs
lola: 79075730 markings, 138724095 edges, 24913 markings/sec, 2570 secs
lola: 79210447 markings, 138929418 edges, 26943 markings/sec, 2575 secs
lola: 79334323 markings, 139196037 edges, 24775 markings/sec, 2580 secs
lola: 79468158 markings, 139400212 edges, 26767 markings/sec, 2585 secs
lola: 79591784 markings, 139666532 edges, 24725 markings/sec, 2590 secs
lola: 79729467 markings, 139878369 edges, 27537 markings/sec, 2595 secs
lola: 79867417 markings, 140090553 edges, 27590 markings/sec, 2600 secs
lola: 79996474 markings, 140363831 edges, 25811 markings/sec, 2605 secs
lola: 80134775 markings, 140576430 edges, 27660 markings/sec, 2610 secs
lola: 80262009 markings, 140847388 edges, 25447 markings/sec, 2615 secs
lola: 80395491 markings, 141053812 edges, 26696 markings/sec, 2620 secs
lola: 80519117 markings, 141320145 edges, 24725 markings/sec, 2625 secs
lola: 80655197 markings, 141527205 edges, 27216 markings/sec, 2630 secs
lola: 80791330 markings, 141737048 edges, 27227 markings/sec, 2635 secs
lola: 80919661 markings, 142009372 edges, 25666 markings/sec, 2640 secs
lola: 81057873 markings, 142221916 edges, 27642 markings/sec, 2645 secs
lola: 81185376 markings, 142493187 edges, 25501 markings/sec, 2650 secs
lola: 81319880 markings, 142700953 edges, 26901 markings/sec, 2655 secs
lola: 81444692 markings, 142968751 edges, 24962 markings/sec, 2660 secs
lola: 81579754 markings, 143174532 edges, 27012 markings/sec, 2665 secs
lola: 81714413 markings, 143382481 edges, 26932 markings/sec, 2670 secs
lola: 81840683 markings, 143652182 edges, 25254 markings/sec, 2675 secs
lola: 81977619 markings, 143863081 edges, 27387 markings/sec, 2680 secs
lola: 82103886 markings, 144132767 edges, 25253 markings/sec, 2685 secs
lola: 82238595 markings, 144338065 edges, 26942 markings/sec, 2690 secs
lola: 82363706 markings, 144607241 edges, 25022 markings/sec, 2695 secs
lola: 82501274 markings, 144817964 edges, 27514 markings/sec, 2700 secs
lola: 82638877 markings, 145029688 edges, 27521 markings/sec, 2705 secs
lola: 82763730 markings, 145297587 edges, 24971 markings/sec, 2710 secs
lola: 82897865 markings, 145502143 edges, 26827 markings/sec, 2715 secs
lola: 83020873 markings, 145767659 edges, 24602 markings/sec, 2720 secs
lola: 83153839 markings, 145970747 edges, 26593 markings/sec, 2725 secs
lola: 83276505 markings, 146235258 edges, 24533 markings/sec, 2730 secs
lola: 83414201 markings, 146447683 edges, 27539 markings/sec, 2735 secs
lola: 83552272 markings, 146660020 edges, 27614 markings/sec, 2740 secs
lola: 83680829 markings, 146932631 edges, 25711 markings/sec, 2745 secs
lola: 83818935 markings, 147145013 edges, 27621 markings/sec, 2750 secs
lola: 83945948 markings, 147415659 edges, 25403 markings/sec, 2755 secs
lola: 84078880 markings, 147621417 edges, 26586 markings/sec, 2760 secs
lola: 84200946 markings, 147885701 edges, 24413 markings/sec, 2765 secs
lola: 84335123 markings, 148090355 edges, 26835 markings/sec, 2770 secs
lola: 84470191 markings, 148296104 edges, 27014 markings/sec, 2775 secs
lola: 84594917 markings, 148563836 edges, 24945 markings/sec, 2780 secs
lola: 84730834 markings, 148773386 edges, 27183 markings/sec, 2785 secs
lola: 84824748 markings, 149235701 edges, 18783 markings/sec, 2790 secs
lola: 84853166 markings, 150072803 edges, 5684 markings/sec, 2795 secs
lola: 84882312 markings, 150931171 edges, 5829 markings/sec, 2800 secs
lola: 84964121 markings, 151486180 edges, 16362 markings/sec, 2805 secs
lola: 85102916 markings, 151696730 edges, 27759 markings/sec, 2810 secs
lola: 85231527 markings, 151972154 edges, 25722 markings/sec, 2815 secs
lola: 85368548 markings, 152183128 edges, 27404 markings/sec, 2820 secs
lola: 85506490 markings, 152392589 edges, 27588 markings/sec, 2825 secs
lola: 85633648 markings, 152666132 edges, 25432 markings/sec, 2830 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 5 1 1 5 1 1 1 1 1 1 1 1 1 unknown 1
lola:
preliminary result: 1 5 1 1 5 1 1 1 1 1 1 1 1 1 unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 5 1 1 5 1 1 1 1 1 1 1 1 1 unknown 1
lola: memory consumption: 5851964 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 5 1 1 5 1 1 1 1 1 1 1 1 1 unknown 1
lola: memory consumption: 5852256 KB
lola: time consumption: 3570 seconds

BK_STOP 1554073619104

--------------------
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="PolyORBNT-PT-S05J30"
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 PolyORBNT-PT-S05J30, 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 r132-oct2-155403939100034"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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