Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r044-smll-155229658700010.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3817
Executing tool win2018
Input is CloudDeployment-PT-3b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r044-smll-155229658700010
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 460K
-rw-r--r-- 1 mcc users 3.4K Feb 9 08:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 9 08:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 07:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 07:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 108 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 346 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K Feb 4 23:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 2 01:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 2 01:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jan 29 15:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Jan 29 15:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 308K 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 CloudDeployment-PT-3b-UpperBounds-00
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-01
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-02
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-03
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-04
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-05
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-06
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-07
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-08
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-09
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-10
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-11
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-12
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-13
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-14
FORMULA_NAME CloudDeployment-PT-3b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552329549672

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudDeployment-PT-3b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating CloudDeployment-PT-3b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ CloudDeployment-PT-3b @ 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: 2011/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 859
lola: finding significant places
lola: 859 places, 1152 transitions, 846 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1099 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-3b-UpperBounds.task
lola: MAX(p270) : MAX(p370) : MAX(p781) : MAX(p712) : MAX(p387) : MAX(p467) : MAX(p815) : MAX(p815) : MAX(p91) : MAX(p832) : MAX(p600) : MAX(p722) : MAX(p150) : MAX(p853) : MAX(p655) : MAX(p770)
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(p270)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p270)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 13 markings, 12 edges
lola: ========================================

FORMULA CloudDeployment-PT-3b-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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 CloudDeployment-PT-3b-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: 87 markings, 86 edges
lola: ========================================

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

FORMULA CloudDeployment-PT-3b-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(p712)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p712)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 67 markings, 66 edges
lola: ========================================

FORMULA CloudDeployment-PT-3b-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(p387)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p387)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 80 markings, 79 edges
lola: ========================================
FORMULA CloudDeployment-PT-3b-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(p467)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p467)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 63 markings, 62 edges
lola: ========================================

FORMULA CloudDeployment-PT-3b-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(p815)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p815)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 11 markings, 10 edges
lola: ========================================

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

FORMULA CloudDeployment-PT-3b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p91)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 128832 markings, 281034 edges, 25766 markings/sec, 0 secs
lola: 252417 markings, 622983 edges, 24717 markings/sec, 5 secs
lola: 380271 markings, 945320 edges, 25571 markings/sec, 10 secs
lola: 507783 markings, 1268654 edges, 25502 markings/sec, 15 secs
lola: 640879 markings, 1581291 edges, 26619 markings/sec, 20 secs
lola: 770304 markings, 1873607 edges, 25885 markings/sec, 25 secs
lola: 947260 markings, 2111160 edges, 35391 markings/sec, 30 secs
lola: 1091369 markings, 2381311 edges, 28822 markings/sec, 35 secs
lola: 1185089 markings, 2644493 edges, 18744 markings/sec, 40 secs
lola: 1296664 markings, 2921752 edges, 22315 markings/sec, 45 secs
lola: 1431463 markings, 3226618 edges, 26960 markings/sec, 50 secs
lola: 1553991 markings, 3503998 edges, 24506 markings/sec, 55 secs
lola: 1657282 markings, 3779279 edges, 20658 markings/sec, 60 secs
lola: 1774340 markings, 4079606 edges, 23412 markings/sec, 65 secs
lola: 1896053 markings, 4385610 edges, 24343 markings/sec, 70 secs
lola: 2033962 markings, 4667144 edges, 27582 markings/sec, 75 secs
lola: 2134363 markings, 4939921 edges, 20080 markings/sec, 80 secs
lola: 2263322 markings, 5245686 edges, 25792 markings/sec, 85 secs
lola: 2402662 markings, 5564901 edges, 27868 markings/sec, 90 secs
lola: 2530206 markings, 5907405 edges, 25509 markings/sec, 95 secs
lola: 2667433 markings, 6224729 edges, 27445 markings/sec, 100 secs
lola: 2797255 markings, 6564322 edges, 25964 markings/sec, 105 secs
lola: 2936604 markings, 6897033 edges, 27870 markings/sec, 110 secs
lola: 3078547 markings, 7233290 edges, 28389 markings/sec, 115 secs
lola: 3218518 markings, 7550087 edges, 27994 markings/sec, 120 secs
lola: 3360597 markings, 7855072 edges, 28416 markings/sec, 125 secs
lola: 3488697 markings, 8192628 edges, 25620 markings/sec, 130 secs
lola: 3623288 markings, 8517813 edges, 26918 markings/sec, 135 secs
lola: 3758273 markings, 8841440 edges, 26997 markings/sec, 140 secs
lola: 3893976 markings, 9149744 edges, 27141 markings/sec, 145 secs
lola: 4027583 markings, 9465962 edges, 26721 markings/sec, 150 secs
lola: 4160106 markings, 9778785 edges, 26505 markings/sec, 155 secs
lola: 4292342 markings, 10106014 edges, 26447 markings/sec, 160 secs
lola: 4420332 markings, 10434167 edges, 25598 markings/sec, 165 secs
lola: 4551158 markings, 10764956 edges, 26165 markings/sec, 170 secs
lola: 4681450 markings, 11090982 edges, 26058 markings/sec, 175 secs
lola: 4812229 markings, 11423951 edges, 26156 markings/sec, 180 secs
lola: 4941992 markings, 11758331 edges, 25953 markings/sec, 185 secs
lola: 5064035 markings, 12055650 edges, 24409 markings/sec, 190 secs
lola: 5188177 markings, 12347715 edges, 24828 markings/sec, 195 secs
lola: 5323071 markings, 12653904 edges, 26979 markings/sec, 200 secs
lola: 5454922 markings, 12968181 edges, 26370 markings/sec, 205 secs
lola: 5588208 markings, 13294664 edges, 26657 markings/sec, 210 secs
lola: 5719809 markings, 13635519 edges, 26320 markings/sec, 215 secs
lola: 5849865 markings, 13950794 edges, 26011 markings/sec, 220 secs
lola: 5982917 markings, 14264109 edges, 26610 markings/sec, 225 secs
lola: 6101663 markings, 14580188 edges, 23749 markings/sec, 230 secs
lola: 6226932 markings, 14901292 edges, 25054 markings/sec, 235 secs
lola: 6356408 markings, 15234038 edges, 25895 markings/sec, 240 secs
lola: 6483309 markings, 15544648 edges, 25380 markings/sec, 245 secs
lola: 6602498 markings, 15849451 edges, 23838 markings/sec, 250 secs
lola: 6732737 markings, 16175309 edges, 26048 markings/sec, 255 secs
lola: 6853425 markings, 16466195 edges, 24138 markings/sec, 260 secs
lola: 6991175 markings, 16797086 edges, 27550 markings/sec, 265 secs
lola: 7129724 markings, 17130054 edges, 27710 markings/sec, 270 secs
lola: 7269002 markings, 17463087 edges, 27856 markings/sec, 275 secs
lola: 7408672 markings, 17793244 edges, 27934 markings/sec, 280 secs
lola: 7548798 markings, 18129496 edges, 28025 markings/sec, 285 secs
lola: 7682877 markings, 18457146 edges, 26816 markings/sec, 290 secs
lola: 7821667 markings, 18791351 edges, 27758 markings/sec, 295 secs
lola: 7949340 markings, 19097034 edges, 25535 markings/sec, 300 secs
lola: 8067998 markings, 19421784 edges, 23732 markings/sec, 305 secs
lola: 8167117 markings, 19726125 edges, 19824 markings/sec, 310 secs
lola: 8284300 markings, 20008445 edges, 23437 markings/sec, 315 secs
lola: 8417978 markings, 20335410 edges, 26736 markings/sec, 320 secs
lola: 8546013 markings, 20653810 edges, 25607 markings/sec, 325 secs
lola: 8679247 markings, 20979865 edges, 26647 markings/sec, 330 secs
lola: 8810337 markings, 21308248 edges, 26218 markings/sec, 335 secs
lola: 8929240 markings, 21619032 edges, 23781 markings/sec, 340 secs
lola: 9048962 markings, 21950547 edges, 23944 markings/sec, 345 secs
lola: 9170064 markings, 22294442 edges, 24220 markings/sec, 350 secs
lola: 9292121 markings, 22593893 edges, 24411 markings/sec, 355 secs
lola: 9406888 markings, 22904078 edges, 22953 markings/sec, 360 secs
lola: 9527902 markings, 23228684 edges, 24203 markings/sec, 365 secs
lola: 9611678 markings, 23604403 edges, 16755 markings/sec, 370 secs
lola: 9675460 markings, 23993198 edges, 12756 markings/sec, 375 secs
lola: 9783387 markings, 24294747 edges, 21585 markings/sec, 380 secs
lola: 9919880 markings, 24606532 edges, 27299 markings/sec, 385 secs
lola: 10028138 markings, 24913670 edges, 21652 markings/sec, 390 secs
lola: 10154488 markings, 25220509 edges, 25270 markings/sec, 395 secs
lola: 10294299 markings, 25530658 edges, 27962 markings/sec, 400 secs
lola: 10427876 markings, 25857023 edges, 26715 markings/sec, 405 secs
lola: 10560077 markings, 26184741 edges, 26440 markings/sec, 410 secs
lola: 10699033 markings, 26520583 edges, 27791 markings/sec, 415 secs
lola: 10834953 markings, 26845934 edges, 27184 markings/sec, 420 secs
lola: 10967228 markings, 27175092 edges, 26455 markings/sec, 425 secs
lola: 11104674 markings, 27505560 edges, 27489 markings/sec, 430 secs
lola: 11239969 markings, 27826962 edges, 27059 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1143320 KB
lola: time consumption: 448 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p832)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p832)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 91 markings, 90 edges
lola: ========================================

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

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

FORMULA CloudDeployment-PT-3b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 780 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p150)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p150)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 117152 markings, 252536 edges, 23430 markings/sec, 0 secs
lola: 228627 markings, 559949 edges, 22295 markings/sec, 5 secs
lola: 344781 markings, 858212 edges, 23231 markings/sec, 10 secs
lola: 456010 markings, 1138630 edges, 22246 markings/sec, 15 secs
lola: 570964 markings, 1413207 edges, 22991 markings/sec, 20 secs
lola: 681408 markings, 1668505 edges, 22089 markings/sec, 25 secs
lola: 791592 markings, 1903290 edges, 22037 markings/sec, 30 secs
lola: 927720 markings, 2085758 edges, 27226 markings/sec, 35 secs
lola: 1052378 markings, 2276715 edges, 24932 markings/sec, 40 secs
lola: 1144743 markings, 2536031 edges, 18473 markings/sec, 45 secs
lola: 1239118 markings, 2788910 edges, 18875 markings/sec, 50 secs
lola: 1345867 markings, 3032986 edges, 21350 markings/sec, 55 secs
lola: 1453472 markings, 3275893 edges, 21521 markings/sec, 60 secs
lola: 1560693 markings, 3520034 edges, 21444 markings/sec, 65 secs
lola: 1661137 markings, 3790157 edges, 20089 markings/sec, 70 secs
lola: 1764394 markings, 4053046 edges, 20651 markings/sec, 75 secs
lola: 1864641 markings, 4316532 edges, 20049 markings/sec, 80 secs
lola: 1991728 markings, 4551998 edges, 25417 markings/sec, 85 secs
lola: 2090805 markings, 4824216 edges, 19815 markings/sec, 90 secs
lola: 2194048 markings, 5088388 edges, 20649 markings/sec, 95 secs
lola: 2307779 markings, 5346442 edges, 22746 markings/sec, 100 secs
lola: 2422870 markings, 5617247 edges, 23018 markings/sec, 105 secs
lola: 2529964 markings, 5906857 edges, 21419 markings/sec, 110 secs
lola: 2642975 markings, 6172144 edges, 22602 markings/sec, 115 secs
lola: 2754596 markings, 6446037 edges, 22324 markings/sec, 120 secs
lola: 2862453 markings, 6717575 edges, 21571 markings/sec, 125 secs
lola: 2976532 markings, 6990183 edges, 22816 markings/sec, 130 secs
lola: 3089989 markings, 7260780 edges, 22691 markings/sec, 135 secs
lola: 3199203 markings, 7523147 edges, 21843 markings/sec, 140 secs
lola: 3318796 markings, 7758977 edges, 23919 markings/sec, 145 secs
lola: 3427521 markings, 8034268 edges, 21745 markings/sec, 150 secs
lola: 3535744 markings, 8307971 edges, 21645 markings/sec, 155 secs
lola: 3647558 markings, 8568713 edges, 22363 markings/sec, 160 secs
lola: 3757868 markings, 8840512 edges, 22062 markings/sec, 165 secs
lola: 3870935 markings, 9098247 edges, 22613 markings/sec, 170 secs
lola: 3982707 markings, 9357120 edges, 22354 markings/sec, 175 secs
lola: 4093390 markings, 9618632 edges, 22137 markings/sec, 180 secs
lola: 4202667 markings, 9884308 edges, 21855 markings/sec, 185 secs
lola: 4311716 markings, 10156009 edges, 21810 markings/sec, 190 secs
lola: 4418010 markings, 10428505 edges, 21259 markings/sec, 195 secs
lola: 4525552 markings, 10704699 edges, 21508 markings/sec, 200 secs
lola: 4634372 markings, 10969963 edges, 21764 markings/sec, 205 secs
lola: 4741410 markings, 11245597 edges, 21408 markings/sec, 210 secs
lola: 4849288 markings, 11521979 edges, 21576 markings/sec, 215 secs
lola: 4956052 markings, 11794896 edges, 21353 markings/sec, 220 secs
lola: 5057512 markings, 12040018 edges, 20292 markings/sec, 225 secs
lola: 5159189 markings, 12279797 edges, 20335 markings/sec, 230 secs
lola: 5272363 markings, 12534025 edges, 22635 markings/sec, 235 secs
lola: 5382018 markings, 12793157 edges, 21931 markings/sec, 240 secs
lola: 5491719 markings, 13054893 edges, 21940 markings/sec, 245 secs
lola: 5600561 markings, 13326710 edges, 21768 markings/sec, 250 secs
lola: 5707402 markings, 13604623 edges, 21368 markings/sec, 255 secs
lola: 5815063 markings, 13866677 edges, 21532 markings/sec, 260 secs
lola: 5924916 markings, 14130146 edges, 21971 markings/sec, 265 secs
lola: 6030941 markings, 14392476 edges, 21205 markings/sec, 270 secs
lola: 6130999 markings, 14653035 edges, 20012 markings/sec, 275 secs
lola: 6237326 markings, 14927585 edges, 21265 markings/sec, 280 secs
lola: 6343378 markings, 15201027 edges, 21210 markings/sec, 285 secs
lola: 6448684 markings, 15456552 edges, 21061 markings/sec, 290 secs
lola: 6551089 markings, 15711909 edges, 20481 markings/sec, 295 secs
lola: 6656851 markings, 15982890 edges, 21152 markings/sec, 300 secs
lola: 6762476 markings, 16251789 edges, 21125 markings/sec, 305 secs
lola: 6866481 markings, 16497583 edges, 20801 markings/sec, 310 secs
lola: 6977295 markings, 16764011 edges, 22163 markings/sec, 315 secs
lola: 7089133 markings, 17031392 edges, 22368 markings/sec, 320 secs
lola: 7201624 markings, 17300433 edges, 22498 markings/sec, 325 secs
lola: 7313502 markings, 17567176 edges, 22376 markings/sec, 330 secs
lola: 7425751 markings, 17834751 edges, 22450 markings/sec, 335 secs
lola: 7537838 markings, 18103404 edges, 22417 markings/sec, 340 secs
lola: 7645926 markings, 18369549 edges, 21618 markings/sec, 345 secs
lola: 7756227 markings, 18633713 edges, 22060 markings/sec, 350 secs
lola: 7863751 markings, 18895814 edges, 21505 markings/sec, 355 secs
lola: 7972132 markings, 19147972 edges, 21676 markings/sec, 360 secs
lola: 8067388 markings, 19419670 edges, 19051 markings/sec, 365 secs
lola: 8151814 markings, 19689385 edges, 16885 markings/sec, 370 secs
lola: 8244476 markings, 19910480 edges, 18532 markings/sec, 375 secs
lola: 8352415 markings, 20175684 edges, 21588 markings/sec, 380 secs
lola: 8458926 markings, 20436315 edges, 21302 markings/sec, 385 secs
lola: 8565939 markings, 20698646 edges, 21403 markings/sec, 390 secs
lola: 8673450 markings, 20965374 edges, 21502 markings/sec, 395 secs
lola: 8780647 markings, 21230676 edges, 21439 markings/sec, 400 secs
lola: 8882828 markings, 21495796 edges, 20436 markings/sec, 405 secs
lola: 8985480 markings, 21770370 edges, 20530 markings/sec, 410 secs
lola: 9084813 markings, 22071220 edges, 19867 markings/sec, 415 secs
lola: 9191470 markings, 22343051 edges, 21331 markings/sec, 420 secs
lola: 9290730 markings, 22590581 edges, 19852 markings/sec, 425 secs
lola: 9385826 markings, 22843130 edges, 19019 markings/sec, 430 secs
lola: 9486234 markings, 23111813 edges, 20082 markings/sec, 435 secs
lola: 9570534 markings, 23415907 edges, 16860 markings/sec, 440 secs
lola: 9634706 markings, 23762732 edges, 12834 markings/sec, 445 secs
lola: 9700133 markings, 24078778 edges, 13085 markings/sec, 450 secs
lola: 9801355 markings, 24335715 edges, 20244 markings/sec, 455 secs
lola: 9913839 markings, 24593495 edges, 22497 markings/sec, 460 secs
lola: 10020886 markings, 24893514 edges, 21409 markings/sec, 465 secs
lola: 10132800 markings, 25171798 edges, 22383 markings/sec, 470 secs
lola: 10244074 markings, 25422755 edges, 22255 markings/sec, 475 secs
lola: 10357531 markings, 25685070 edges, 22691 markings/sec, 480 secs
lola: 10466271 markings, 25954294 edges, 21748 markings/sec, 485 secs
lola: 10574584 markings, 26217987 edges, 21663 markings/sec, 490 secs
lola: 10686157 markings, 26487788 edges, 22315 markings/sec, 495 secs
lola: 10796479 markings, 26750107 edges, 22064 markings/sec, 500 secs
lola: 10901401 markings, 27014457 edges, 20984 markings/sec, 505 secs
lola: 11011572 markings, 27282834 edges, 22034 markings/sec, 510 secs
lola: 11122650 markings, 27549107 edges, 22216 markings/sec, 515 secs
lola: 11232872 markings, 27810739 edges, 22044 markings/sec, 520 secs
lola: 11340352 markings, 28073556 edges, 21496 markings/sec, 525 secs
lola: 11446683 markings, 28336433 edges, 21266 markings/sec, 530 secs
lola: 11554543 markings, 28599907 edges, 21572 markings/sec, 535 secs
lola: 11664637 markings, 28863263 edges, 22019 markings/sec, 540 secs
lola: 11774479 markings, 29124722 edges, 21968 markings/sec, 545 secs
lola: 11879140 markings, 29388919 edges, 20932 markings/sec, 550 secs
lola: 11988935 markings, 29656094 edges, 21959 markings/sec, 555 secs
lola: 12097482 markings, 29917622 edges, 21709 markings/sec, 560 secs
lola: 12202231 markings, 30183465 edges, 20950 markings/sec, 565 secs
lola: 12309813 markings, 30448051 edges, 21516 markings/sec, 570 secs
lola: 12415994 markings, 30711262 edges, 21236 markings/sec, 575 secs
lola: 12523482 markings, 30976110 edges, 21498 markings/sec, 580 secs
lola: 12631596 markings, 31233248 edges, 21623 markings/sec, 585 secs
lola: 12739579 markings, 31497890 edges, 21597 markings/sec, 590 secs
lola: 12848603 markings, 31766429 edges, 21805 markings/sec, 595 secs
lola: 12958377 markings, 32016231 edges, 21955 markings/sec, 600 secs
lola: 13064270 markings, 32268106 edges, 21179 markings/sec, 605 secs
lola: 13168937 markings, 32533523 edges, 20933 markings/sec, 610 secs
lola: 13274466 markings, 32779725 edges, 21106 markings/sec, 615 secs
lola: 13374513 markings, 33029540 edges, 20009 markings/sec, 620 secs
lola: 13482636 markings, 33290769 edges, 21625 markings/sec, 625 secs
lola: 13591144 markings, 33554037 edges, 21702 markings/sec, 630 secs
lola: 13699506 markings, 33815859 edges, 21672 markings/sec, 635 secs
lola: 13809216 markings, 34080521 edges, 21942 markings/sec, 640 secs
lola: 13899829 markings, 34327262 edges, 18123 markings/sec, 645 secs
lola: 13999039 markings, 34594131 edges, 19842 markings/sec, 650 secs
lola: 14097652 markings, 34853650 edges, 19723 markings/sec, 655 secs
lola: 14196313 markings, 35113492 edges, 19732 markings/sec, 660 secs
lola: 14294951 markings, 35369026 edges, 19728 markings/sec, 665 secs
lola: 14394033 markings, 35629284 edges, 19816 markings/sec, 670 secs
lola: 14491117 markings, 35893145 edges, 19417 markings/sec, 675 secs
lola: 14587070 markings, 36163482 edges, 19191 markings/sec, 680 secs
lola: 14702390 markings, 36444882 edges, 23064 markings/sec, 685 secs
lola: 14819167 markings, 36720310 edges, 23355 markings/sec, 690 secs
lola: 14929107 markings, 36999490 edges, 21988 markings/sec, 695 secs
lola: 15044310 markings, 37277672 edges, 23041 markings/sec, 700 secs
lola: 15156525 markings, 37553502 edges, 22443 markings/sec, 705 secs
lola: 15266136 markings, 37809654 edges, 21922 markings/sec, 710 secs
lola: 15378193 markings, 38064269 edges, 22411 markings/sec, 715 secs
lola: 15493949 markings, 38294075 edges, 23151 markings/sec, 720 secs
lola: 15594335 markings, 38572563 edges, 20077 markings/sec, 725 secs
lola: 15696060 markings, 38830143 edges, 20345 markings/sec, 730 secs
lola: 15801287 markings, 39067985 edges, 21045 markings/sec, 735 secs
lola: 15902585 markings, 39345652 edges, 20260 markings/sec, 740 secs
lola: 16008878 markings, 39600010 edges, 21259 markings/sec, 745 secs
lola: 16112246 markings, 39858281 edges, 20674 markings/sec, 750 secs
lola: 16215241 markings, 40121049 edges, 20599 markings/sec, 755 secs
lola: 16318433 markings, 40380724 edges, 20638 markings/sec, 760 secs
lola: 16422538 markings, 40632698 edges, 20821 markings/sec, 765 secs
lola: 16525951 markings, 40879028 edges, 20683 markings/sec, 770 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown unknown unknown unknown
lola: memory consumption: 1655348 KB
lola: time consumption: 1228 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 780 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p853)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p853)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-3b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 7 markings, 6 edges
lola: ========================================

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

FORMULA CloudDeployment-PT-3b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2342 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p770)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p770)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-3b-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 CloudDeployment-PT-3b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p91)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-3b-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: 132452 markings, 290241 edges, 26490 markings/sec, 0 secs
lola: 255833 markings, 630408 edges, 24676 markings/sec, 5 secs
lola: 382940 markings, 951347 edges, 25421 markings/sec, 10 secs
lola: 509276 markings, 1272585 edges, 25267 markings/sec, 15 secs
lola: 641288 markings, 1582167 edges, 26402 markings/sec, 20 secs
lola: 768649 markings, 1871349 edges, 25472 markings/sec, 25 secs
lola: 944036 markings, 2106953 edges, 35077 markings/sec, 30 secs
lola: 1089156 markings, 2374654 edges, 29024 markings/sec, 35 secs
lola: 1182326 markings, 2636459 edges, 18634 markings/sec, 40 secs
lola: 1292040 markings, 2911415 edges, 21943 markings/sec, 45 secs
lola: 1426222 markings, 3214547 edges, 26836 markings/sec, 50 secs
lola: 1549275 markings, 3489774 edges, 24611 markings/sec, 55 secs
lola: 1650967 markings, 3762756 edges, 20338 markings/sec, 60 secs
lola: 1761344 markings, 4045902 edges, 22075 markings/sec, 65 secs
lola: 1873702 markings, 4337449 edges, 22472 markings/sec, 70 secs
lola: 2020456 markings, 4623557 edges, 29351 markings/sec, 75 secs
lola: 2120580 markings, 4904208 edges, 20025 markings/sec, 80 secs
lola: 2244371 markings, 5202565 edges, 24758 markings/sec, 85 secs
lola: 2384483 markings, 5523995 edges, 28022 markings/sec, 90 secs
lola: 2512810 markings, 5864779 edges, 25665 markings/sec, 95 secs
lola: 2648851 markings, 6184111 edges, 27208 markings/sec, 100 secs
lola: 2780470 markings, 6524346 edges, 26324 markings/sec, 105 secs
lola: 2918043 markings, 6851265 edges, 27515 markings/sec, 110 secs
lola: 3058930 markings, 7186131 edges, 28177 markings/sec, 115 secs
lola: 3193953 markings, 7515919 edges, 27005 markings/sec, 120 secs
lola: 3340887 markings, 7809752 edges, 29387 markings/sec, 125 secs
lola: 3470972 markings, 8151374 edges, 26017 markings/sec, 130 secs
lola: 3603403 markings, 8473213 edges, 26486 markings/sec, 135 secs
lola: 3740780 markings, 8796531 edges, 27475 markings/sec, 140 secs
lola: 3875911 markings, 9108534 edges, 27026 markings/sec, 145 secs
lola: 4010367 markings, 9423853 edges, 26891 markings/sec, 150 secs
lola: 4143578 markings, 9738697 edges, 26642 markings/sec, 155 secs
lola: 4275176 markings, 10064271 edges, 26320 markings/sec, 160 secs
lola: 4403926 markings, 10395358 edges, 25750 markings/sec, 165 secs
lola: 4534479 markings, 10725444 edges, 26111 markings/sec, 170 secs
lola: 4665908 markings, 11047966 edges, 26286 markings/sec, 175 secs
lola: 4797014 markings, 11380350 edges, 26221 markings/sec, 180 secs
lola: 4926473 markings, 11719422 edges, 25892 markings/sec, 185 secs
lola: 5049938 markings, 12021927 edges, 24693 markings/sec, 190 secs
lola: 5172305 markings, 12310227 edges, 24473 markings/sec, 195 secs
lola: 5308013 markings, 12618824 edges, 27142 markings/sec, 200 secs
lola: 5439868 markings, 12932550 edges, 26371 markings/sec, 205 secs
lola: 5573803 markings, 13257269 edges, 26787 markings/sec, 210 secs
lola: 5705351 markings, 13599387 edges, 26310 markings/sec, 215 secs
lola: 5836596 markings, 13917915 edges, 26249 markings/sec, 220 secs
lola: 5969177 markings, 14230810 edges, 26516 markings/sec, 225 secs
lola: 6091183 markings, 14545171 edges, 24401 markings/sec, 230 secs
lola: 6215003 markings, 14867921 edges, 24764 markings/sec, 235 secs
lola: 6343227 markings, 15200606 edges, 25645 markings/sec, 240 secs
lola: 6470618 markings, 15509813 edges, 25478 markings/sec, 245 secs
lola: 6590810 markings, 15817259 edges, 24038 markings/sec, 250 secs
lola: 6720650 markings, 16142302 edges, 25968 markings/sec, 255 secs
lola: 6841594 markings, 16437920 edges, 24189 markings/sec, 260 secs
lola: 6978010 markings, 16765606 edges, 27283 markings/sec, 265 secs
lola: 7117275 markings, 17099740 edges, 27853 markings/sec, 270 secs
lola: 7256732 markings, 17433239 edges, 27891 markings/sec, 275 secs
lola: 7396535 markings, 17764118 edges, 27961 markings/sec, 280 secs
lola: 7536683 markings, 18100715 edges, 28030 markings/sec, 285 secs
lola: 7672067 markings, 18429604 edges, 27077 markings/sec, 290 secs
lola: 7809687 markings, 18762752 edges, 27524 markings/sec, 295 secs
lola: 7937045 markings, 19069826 edges, 25472 markings/sec, 300 secs
lola: 8061052 markings, 19389850 edges, 24801 markings/sec, 305 secs
lola: 8158749 markings, 19706071 edges, 19539 markings/sec, 310 secs
lola: 8275031 markings, 19984118 edges, 23256 markings/sec, 315 secs
lola: 8408823 markings, 20313018 edges, 26758 markings/sec, 320 secs
lola: 8536068 markings, 20630561 edges, 25449 markings/sec, 325 secs
lola: 8670757 markings, 20959396 edges, 26938 markings/sec, 330 secs
lola: 8802734 markings, 21289381 edges, 26395 markings/sec, 335 secs
lola: 8923168 markings, 21601768 edges, 24087 markings/sec, 340 secs
lola: 9043817 markings, 21929995 edges, 24130 markings/sec, 345 secs
lola: 9163789 markings, 22280258 edges, 23994 markings/sec, 350 secs
lola: 9287148 markings, 22582590 edges, 24672 markings/sec, 355 secs
lola: 9401458 markings, 22890244 edges, 22862 markings/sec, 360 secs
lola: 9524139 markings, 23215712 edges, 24536 markings/sec, 365 secs
lola: 9607569 markings, 23593818 edges, 16686 markings/sec, 370 secs
lola: 9673083 markings, 23983029 edges, 13103 markings/sec, 375 secs
lola: 9780224 markings, 24287588 edges, 21428 markings/sec, 380 secs
lola: 9916800 markings, 24599336 edges, 27315 markings/sec, 385 secs
lola: 10026314 markings, 24908500 edges, 21903 markings/sec, 390 secs
lola: 10151688 markings, 25214274 edges, 25075 markings/sec, 395 secs
lola: 10287818 markings, 25521945 edges, 27226 markings/sec, 400 secs
lola: 10421324 markings, 25840333 edges, 26701 markings/sec, 405 secs
lola: 10553917 markings, 26168772 edges, 26519 markings/sec, 410 secs
lola: 10688219 markings, 26493081 edges, 26860 markings/sec, 415 secs
lola: 10822818 markings, 26813873 edges, 26920 markings/sec, 420 secs
lola: 10952171 markings, 27138570 edges, 25871 markings/sec, 425 secs
lola: 11089691 markings, 27468728 edges, 27504 markings/sec, 430 secs
lola: 11225109 markings, 27791723 edges, 27084 markings/sec, 435 secs
lola: 11356413 markings, 28111354 edges, 26261 markings/sec, 440 secs
lola: 11487453 markings, 28435238 edges, 26208 markings/sec, 445 secs
lola: 11620349 markings, 28756839 edges, 26579 markings/sec, 450 secs
lola: 11757118 markings, 29083047 edges, 27354 markings/sec, 455 secs
lola: 11887136 markings, 29408049 edges, 26004 markings/sec, 460 secs
lola: 12023770 markings, 29734019 edges, 27327 markings/sec, 465 secs
lola: 12153069 markings, 30059444 edges, 25860 markings/sec, 470 secs
lola: 12283882 markings, 30382579 edges, 26163 markings/sec, 475 secs
lola: 12414754 markings, 30708074 edges, 26174 markings/sec, 480 secs
lola: 12548311 markings, 31034441 edges, 26711 markings/sec, 485 secs
lola: 12679936 markings, 31350739 edges, 26325 markings/sec, 490 secs
lola: 12814762 markings, 31681415 edges, 26965 markings/sec, 495 secs
lola: 12950991 markings, 31999511 edges, 27246 markings/sec, 500 secs
lola: 13079901 markings, 32307811 edges, 25782 markings/sec, 505 secs
lola: 13207464 markings, 32625173 edges, 25513 markings/sec, 510 secs
lola: 13335848 markings, 32930298 edges, 25677 markings/sec, 515 secs
lola: 13458971 markings, 33233813 edges, 24625 markings/sec, 520 secs
lola: 13593576 markings, 33559843 edges, 26921 markings/sec, 525 secs
lola: 13727349 markings, 33883102 edges, 26755 markings/sec, 530 secs
lola: 13851982 markings, 34193059 edges, 24927 markings/sec, 535 secs
lola: 13968940 markings, 34504419 edges, 23392 markings/sec, 540 secs
lola: 14087165 markings, 34823243 edges, 23645 markings/sec, 545 secs
lola: 14206879 markings, 35140291 edges, 23943 markings/sec, 550 secs
lola: 14328780 markings, 35457258 edges, 24380 markings/sec, 555 secs
lola: 14451014 markings, 35773993 edges, 24447 markings/sec, 560 secs
lola: 14557461 markings, 36093858 edges, 21289 markings/sec, 565 secs
lola: 14700191 markings, 36439925 edges, 28546 markings/sec, 570 secs
lola: 14839957 markings, 36776389 edges, 27953 markings/sec, 575 secs
lola: 14980878 markings, 37119853 edges, 28184 markings/sec, 580 secs
lola: 15120187 markings, 37462146 edges, 27862 markings/sec, 585 secs
lola: 15252618 markings, 37779368 edges, 26486 markings/sec, 590 secs
lola: 15389759 markings, 38089660 edges, 27428 markings/sec, 595 secs
lola: 15529616 markings, 38406460 edges, 27971 markings/sec, 600 secs
lola: 15653551 markings, 38733981 edges, 24787 markings/sec, 605 secs
lola: 15789336 markings, 39041143 edges, 27157 markings/sec, 610 secs
lola: 15915565 markings, 39375465 edges, 25246 markings/sec, 615 secs
lola: 16045141 markings, 39689146 edges, 25915 markings/sec, 620 secs
lola: 16171572 markings, 40010527 edges, 25286 markings/sec, 625 secs
lola: 16297245 markings, 40328904 edges, 25135 markings/sec, 630 secs
lola: 16424689 markings, 40637417 edges, 25489 markings/sec, 635 secs
lola: 16551757 markings, 40938975 edges, 25414 markings/sec, 640 secs
lola: 16686193 markings, 41249533 edges, 26887 markings/sec, 645 secs
lola: 16819590 markings, 41568386 edges, 26679 markings/sec, 650 secs
lola: 16950354 markings, 41879222 edges, 26153 markings/sec, 655 secs
lola: 17077093 markings, 42180278 edges, 25348 markings/sec, 660 secs
lola: 17210236 markings, 42495371 edges, 26629 markings/sec, 665 secs
lola: 17345433 markings, 42808963 edges, 27039 markings/sec, 670 secs
lola: 17478160 markings, 43120040 edges, 26545 markings/sec, 675 secs
lola: 17611726 markings, 43436008 edges, 26713 markings/sec, 680 secs
lola: 17742915 markings, 43750243 edges, 26238 markings/sec, 685 secs
lola: 17876431 markings, 44067273 edges, 26703 markings/sec, 690 secs
lola: 18008177 markings, 44383578 edges, 26349 markings/sec, 695 secs
lola: 18130523 markings, 44684971 edges, 24469 markings/sec, 700 secs
lola: 18256760 markings, 44997024 edges, 25247 markings/sec, 705 secs
lola: 18384222 markings, 45305791 edges, 25492 markings/sec, 710 secs
lola: 18510818 markings, 45612797 edges, 25319 markings/sec, 715 secs
lola: 18639275 markings, 45924354 edges, 25691 markings/sec, 720 secs
lola: 18763424 markings, 46235993 edges, 24830 markings/sec, 725 secs
lola: 18903934 markings, 46570990 edges, 28102 markings/sec, 730 secs
lola: 19041517 markings, 46903561 edges, 27517 markings/sec, 735 secs
lola: 19177757 markings, 47225888 edges, 27248 markings/sec, 740 secs
lola: 19311757 markings, 47528475 edges, 26800 markings/sec, 745 secs
lola: 19436101 markings, 47858596 edges, 24869 markings/sec, 750 secs
lola: 19558506 markings, 48168941 edges, 24481 markings/sec, 755 secs
lola: 19676293 markings, 48486499 edges, 23557 markings/sec, 760 secs
lola: 19796435 markings, 48789266 edges, 24028 markings/sec, 765 secs
lola: 19921597 markings, 49101739 edges, 25032 markings/sec, 770 secs
lola: 20042517 markings, 49407464 edges, 24184 markings/sec, 775 secs
lola: 20167638 markings, 49719402 edges, 25024 markings/sec, 780 secs
lola: 20294151 markings, 50034540 edges, 25303 markings/sec, 785 secs
lola: 20419077 markings, 50348980 edges, 24985 markings/sec, 790 secs
lola: 20544278 markings, 50663528 edges, 25040 markings/sec, 795 secs
lola: 20660160 markings, 50965770 edges, 23176 markings/sec, 800 secs
lola: 20778207 markings, 51269949 edges, 23609 markings/sec, 805 secs
lola: 20897976 markings, 51587427 edges, 23954 markings/sec, 810 secs
lola: 21029914 markings, 51919958 edges, 26388 markings/sec, 815 secs
lola: 21161249 markings, 52224861 edges, 26267 markings/sec, 820 secs
lola: 21295045 markings, 52526178 edges, 26759 markings/sec, 825 secs
lola: 21411149 markings, 52831886 edges, 23221 markings/sec, 830 secs
lola: 21523145 markings, 53126379 edges, 22399 markings/sec, 835 secs
lola: 21648956 markings, 53454123 edges, 25162 markings/sec, 840 secs
lola: 21773077 markings, 53782632 edges, 24824 markings/sec, 845 secs
lola: 21886622 markings, 54099896 edges, 22709 markings/sec, 850 secs
lola: 22000672 markings, 54407489 edges, 22810 markings/sec, 855 secs
lola: 22110830 markings, 54670027 edges, 22032 markings/sec, 860 secs
lola: 22218785 markings, 54937985 edges, 21591 markings/sec, 865 secs
lola: 22343342 markings, 55252962 edges, 24911 markings/sec, 870 secs
lola: 22460198 markings, 55567442 edges, 23371 markings/sec, 875 secs
lola: 22575437 markings, 55875370 edges, 23048 markings/sec, 880 secs
lola: 22688431 markings, 56194913 edges, 22599 markings/sec, 885 secs
lola: 22820618 markings, 56451732 edges, 26437 markings/sec, 890 secs
lola: 22928295 markings, 56735291 edges, 21535 markings/sec, 895 secs
lola: 23037335 markings, 57024617 edges, 21808 markings/sec, 900 secs
lola: 23118152 markings, 57353823 edges, 16163 markings/sec, 905 secs
lola: 23220214 markings, 57599270 edges, 20412 markings/sec, 910 secs
lola: 23327284 markings, 57883997 edges, 21414 markings/sec, 915 secs
lola: 23437625 markings, 58145936 edges, 22068 markings/sec, 920 secs
lola: 23535399 markings, 58435652 edges, 19555 markings/sec, 925 secs
lola: 23623366 markings, 58752791 edges, 17593 markings/sec, 930 secs
lola: 23728165 markings, 58997256 edges, 20960 markings/sec, 935 secs
lola: 23829538 markings, 59236403 edges, 20275 markings/sec, 940 secs
lola: 23931133 markings, 59473771 edges, 20319 markings/sec, 945 secs
lola: 24032347 markings, 59711199 edges, 20243 markings/sec, 950 secs
lola: 24133097 markings, 59953947 edges, 20150 markings/sec, 955 secs
lola: 24253991 markings, 60219068 edges, 24179 markings/sec, 960 secs
lola: 24364483 markings, 60511306 edges, 22098 markings/sec, 965 secs
lola: 24480232 markings, 60790790 edges, 23150 markings/sec, 970 secs
lola: 24592124 markings, 61058986 edges, 22378 markings/sec, 975 secs
lola: 24721101 markings, 61347294 edges, 25795 markings/sec, 980 secs
lola: 24833927 markings, 61623377 edges, 22565 markings/sec, 985 secs
lola: 24959582 markings, 61917917 edges, 25131 markings/sec, 990 secs
lola: 25073631 markings, 62216838 edges, 22810 markings/sec, 995 secs
lola: 25195058 markings, 62501558 edges, 24285 markings/sec, 1000 secs
lola: 25305661 markings, 62757953 edges, 22121 markings/sec, 1005 secs
lola: 25415530 markings, 63024460 edges, 21974 markings/sec, 1010 secs
lola: 25527693 markings, 63303304 edges, 22433 markings/sec, 1015 secs
lola: 25638898 markings, 63589623 edges, 22241 markings/sec, 1020 secs
lola: 25750199 markings, 63869242 edges, 22260 markings/sec, 1025 secs
lola: 25859507 markings, 64146930 edges, 21862 markings/sec, 1030 secs
lola: 25969722 markings, 64435667 edges, 22043 markings/sec, 1035 secs
lola: 26078859 markings, 64716387 edges, 21827 markings/sec, 1040 secs
lola: 26196164 markings, 65034755 edges, 23461 markings/sec, 1045 secs
lola: 26322060 markings, 65339003 edges, 25179 markings/sec, 1050 secs
lola: 26444601 markings, 65653719 edges, 24508 markings/sec, 1055 secs
lola: 26557965 markings, 65972916 edges, 22673 markings/sec, 1060 secs
lola: 26637271 markings, 66289383 edges, 15861 markings/sec, 1065 secs
lola: 26754459 markings, 66572707 edges, 23438 markings/sec, 1070 secs
lola: 26871934 markings, 66863555 edges, 23495 markings/sec, 1075 secs
lola: 26994412 markings, 67164667 edges, 24496 markings/sec, 1080 secs
lola: 27104798 markings, 67450465 edges, 22077 markings/sec, 1085 secs
lola: 27230050 markings, 67736149 edges, 25050 markings/sec, 1090 secs
lola: 27344272 markings, 68022696 edges, 22844 markings/sec, 1095 secs
lola: 27456710 markings, 68306878 edges, 22488 markings/sec, 1100 secs
lola: 27568709 markings, 68593899 edges, 22400 markings/sec, 1105 secs
lola: 27679112 markings, 68874246 edges, 22081 markings/sec, 1110 secs
lola: 27786634 markings, 69166556 edges, 21504 markings/sec, 1115 secs
lola: 27907183 markings, 69464137 edges, 24110 markings/sec, 1120 secs
lola: 28027133 markings, 69758038 edges, 23990 markings/sec, 1125 secs
lola: 28156063 markings, 70048537 edges, 25786 markings/sec, 1130 secs
lola: 28275411 markings, 70341152 edges, 23870 markings/sec, 1135 secs
lola: 28391512 markings, 70635091 edges, 23220 markings/sec, 1140 secs
lola: 28506136 markings, 70915395 edges, 22925 markings/sec, 1145 secs
lola: 28616796 markings, 71196374 edges, 22132 markings/sec, 1150 secs
lola: 28725270 markings, 71470496 edges, 21695 markings/sec, 1155 secs
lola: 28843428 markings, 71761922 edges, 23632 markings/sec, 1160 secs
lola: 28963668 markings, 72057986 edges, 24048 markings/sec, 1165 secs
lola: 29082956 markings, 72350366 edges, 23858 markings/sec, 1170 secs
lola: 29195219 markings, 72628297 edges, 22453 markings/sec, 1175 secs
lola: 29298044 markings, 72903177 edges, 20565 markings/sec, 1180 secs
lola: 29407326 markings, 73188708 edges, 21856 markings/sec, 1185 secs
lola: 29530771 markings, 73482276 edges, 24689 markings/sec, 1190 secs
lola: 29651779 markings, 73772458 edges, 24202 markings/sec, 1195 secs
lola: 29761146 markings, 74065546 edges, 21873 markings/sec, 1200 secs
lola: 29874354 markings, 74360734 edges, 22642 markings/sec, 1205 secs
lola: 29982866 markings, 74644163 edges, 21702 markings/sec, 1210 secs
lola: 30074706 markings, 74904780 edges, 18368 markings/sec, 1215 secs
lola: 30175080 markings, 75189871 edges, 20075 markings/sec, 1220 secs
lola: 30257894 markings, 75455269 edges, 16563 markings/sec, 1225 secs
lola: 30351500 markings, 75674238 edges, 18721 markings/sec, 1230 secs
lola: 30444993 markings, 75892642 edges, 18699 markings/sec, 1235 secs
lola: 30537200 markings, 76109866 edges, 18441 markings/sec, 1240 secs
lola: 30629681 markings, 76325714 edges, 18496 markings/sec, 1245 secs
lola: 30722062 markings, 76542465 edges, 18476 markings/sec, 1250 secs
lola: 30814104 markings, 76757856 edges, 18408 markings/sec, 1255 secs
lola: 30926653 markings, 76977260 edges, 22510 markings/sec, 1260 secs
lola: 31053357 markings, 77223373 edges, 25341 markings/sec, 1265 secs
lola: 31132818 markings, 77489019 edges, 15892 markings/sec, 1270 secs
lola: 31221233 markings, 77711756 edges, 17683 markings/sec, 1275 secs
lola: 31313282 markings, 77923654 edges, 18410 markings/sec, 1280 secs
lola: 31406792 markings, 78149907 edges, 18702 markings/sec, 1285 secs
lola: 31502336 markings, 78373566 edges, 19109 markings/sec, 1290 secs
lola: 31609504 markings, 78625837 edges, 21434 markings/sec, 1295 secs
lola: 31707123 markings, 78855143 edges, 19524 markings/sec, 1300 secs
lola: 31799288 markings, 79073414 edges, 18433 markings/sec, 1305 secs
lola: 31882706 markings, 79304836 edges, 16684 markings/sec, 1310 secs
lola: 31988058 markings, 79572735 edges, 21070 markings/sec, 1315 secs
lola: 32096692 markings, 79825893 edges, 21727 markings/sec, 1320 secs
lola: 32189208 markings, 80050052 edges, 18503 markings/sec, 1325 secs
lola: 32291059 markings, 80295973 edges, 20370 markings/sec, 1330 secs
lola: 32385231 markings, 80522605 edges, 18834 markings/sec, 1335 secs
lola: 32488069 markings, 80763243 edges, 20568 markings/sec, 1340 secs
lola: 32589758 markings, 81005723 edges, 20338 markings/sec, 1345 secs
lola: 32698251 markings, 81265128 edges, 21699 markings/sec, 1350 secs
lola: 32801486 markings, 81517775 edges, 20647 markings/sec, 1355 secs
lola: 32883872 markings, 81749123 edges, 16477 markings/sec, 1360 secs
lola: 32973432 markings, 81958617 edges, 17912 markings/sec, 1365 secs
lola: 33061821 markings, 82166225 edges, 17678 markings/sec, 1370 secs
lola: 33150535 markings, 82372949 edges, 17743 markings/sec, 1375 secs
lola: 33239187 markings, 82580595 edges, 17730 markings/sec, 1380 secs
lola: 33336292 markings, 82807586 edges, 19421 markings/sec, 1385 secs
lola: 33428625 markings, 83051783 edges, 18467 markings/sec, 1390 secs
lola: 33505862 markings, 83310132 edges, 15447 markings/sec, 1395 secs
lola: 33589465 markings, 83531630 edges, 16721 markings/sec, 1400 secs
lola: 33679945 markings, 83741302 edges, 18096 markings/sec, 1405 secs
lola: 33778302 markings, 83991458 edges, 19671 markings/sec, 1410 secs
lola: 33886008 markings, 84250716 edges, 21541 markings/sec, 1415 secs
lola: 33990756 markings, 84495278 edges, 20950 markings/sec, 1420 secs
lola: 34085614 markings, 84745464 edges, 18972 markings/sec, 1425 secs
lola: 34192421 markings, 85022396 edges, 21361 markings/sec, 1430 secs
lola: 34290152 markings, 85278793 edges, 19546 markings/sec, 1435 secs
lola: 34386890 markings, 85526701 edges, 19348 markings/sec, 1440 secs
lola: 34484382 markings, 85772036 edges, 19498 markings/sec, 1445 secs
lola: 34588794 markings, 86027700 edges, 20882 markings/sec, 1450 secs
lola: 34693247 markings, 86283873 edges, 20891 markings/sec, 1455 secs
lola: 34785612 markings, 86533165 edges, 18473 markings/sec, 1460 secs
lola: 34872130 markings, 86751565 edges, 17304 markings/sec, 1465 secs
lola: 34958155 markings, 86953724 edges, 17205 markings/sec, 1470 secs
lola: 35044799 markings, 87156124 edges, 17329 markings/sec, 1475 secs
lola: 35130423 markings, 87356628 edges, 17125 markings/sec, 1480 secs
lola: 35218627 markings, 87562876 edges, 17641 markings/sec, 1485 secs
lola: 35318327 markings, 87796333 edges, 19940 markings/sec, 1490 secs
lola: 35395824 markings, 88043814 edges, 15499 markings/sec, 1495 secs
lola: 35471244 markings, 88284597 edges, 15084 markings/sec, 1500 secs
lola: 35556094 markings, 88483418 edges, 16970 markings/sec, 1505 secs
lola: 35646303 markings, 88703562 edges, 18042 markings/sec, 1510 secs
lola: 35744081 markings, 88947998 edges, 19556 markings/sec, 1515 secs
lola: 35846285 markings, 89196252 edges, 20441 markings/sec, 1520 secs
lola: 35940437 markings, 89429605 edges, 18830 markings/sec, 1525 secs
lola: 36040203 markings, 89686208 edges, 19953 markings/sec, 1530 secs
lola: 36130568 markings, 89935664 edges, 18073 markings/sec, 1535 secs
lola: 36228368 markings, 90179324 edges, 19560 markings/sec, 1540 secs
lola: 36321799 markings, 90422520 edges, 18686 markings/sec, 1545 secs
lola: 36418017 markings, 90662355 edges, 19244 markings/sec, 1550 secs
lola: 36515495 markings, 90907178 edges, 19496 markings/sec, 1555 secs
lola: 36610065 markings, 91150530 edges, 18914 markings/sec, 1560 secs
lola: 36692922 markings, 91371692 edges, 16571 markings/sec, 1565 secs
lola: 36778056 markings, 91569545 edges, 17027 markings/sec, 1570 secs
lola: 36862167 markings, 91766194 edges, 16822 markings/sec, 1575 secs
lola: 36944928 markings, 91961226 edges, 16552 markings/sec, 1580 secs
lola: 37028667 markings, 92156564 edges, 16748 markings/sec, 1585 secs
lola: 37111534 markings, 92350177 edges, 16573 markings/sec, 1590 secs
lola: 37193770 markings, 92542518 edges, 16447 markings/sec, 1595 secs
lola: 37276254 markings, 92735686 edges, 16497 markings/sec, 1600 secs
lola: 37365539 markings, 92951196 edges, 17857 markings/sec, 1605 secs
lola: 37452279 markings, 93202118 edges, 17348 markings/sec, 1610 secs
lola: 37532888 markings, 93444006 edges, 16122 markings/sec, 1615 secs
lola: 37600973 markings, 93705140 edges, 13617 markings/sec, 1620 secs
lola: 37674924 markings, 93948039 edges, 14790 markings/sec, 1625 secs
lola: 37745430 markings, 94171467 edges, 14101 markings/sec, 1630 secs
lola: 37821201 markings, 94393462 edges, 15154 markings/sec, 1635 secs
lola: 37912829 markings, 94640353 edges, 18326 markings/sec, 1640 secs
lola: 37994791 markings, 94886576 edges, 16392 markings/sec, 1645 secs
lola: 38067588 markings, 95142743 edges, 14559 markings/sec, 1650 secs
lola: 38138321 markings, 95394928 edges, 14147 markings/sec, 1655 secs
lola: 38211309 markings, 95625255 edges, 14598 markings/sec, 1660 secs
lola: 38280644 markings, 95842043 edges, 13867 markings/sec, 1665 secs
lola: 38412948 markings, 96135395 edges, 26461 markings/sec, 1670 secs
lola: 38542131 markings, 96471297 edges, 25837 markings/sec, 1675 secs
lola: 38661374 markings, 96763292 edges, 23849 markings/sec, 1680 secs
lola: 38791071 markings, 97077545 edges, 25939 markings/sec, 1685 secs
lola: 38924362 markings, 97390225 edges, 26658 markings/sec, 1690 secs
lola: 39045874 markings, 97686027 edges, 24302 markings/sec, 1695 secs
lola: 39170541 markings, 97990050 edges, 24933 markings/sec, 1700 secs
lola: 39296125 markings, 98281178 edges, 25117 markings/sec, 1705 secs
lola: 39429853 markings, 98591364 edges, 26746 markings/sec, 1710 secs
lola: 39576271 markings, 98870997 edges, 29284 markings/sec, 1715 secs
lola: 39713523 markings, 99180397 edges, 27450 markings/sec, 1720 secs
lola: 39838938 markings, 99498215 edges, 25083 markings/sec, 1725 secs
lola: 39963936 markings, 99831227 edges, 25000 markings/sec, 1730 secs
lola: 40107272 markings, 100134717 edges, 28667 markings/sec, 1735 secs
lola: 40261363 markings, 100392460 edges, 30818 markings/sec, 1740 secs
lola: 40367355 markings, 100758903 edges, 21198 markings/sec, 1745 secs
lola: 40480399 markings, 101090536 edges, 22609 markings/sec, 1750 secs
lola: 40612594 markings, 101402725 edges, 26439 markings/sec, 1755 secs
lola: 40737107 markings, 101710262 edges, 24903 markings/sec, 1760 secs
lola: 40858134 markings, 102007795 edges, 24205 markings/sec, 1765 secs
lola: 40984203 markings, 102305915 edges, 25214 markings/sec, 1770 secs
lola: 41109242 markings, 102617371 edges, 25008 markings/sec, 1775 secs
lola: 41229301 markings, 102922087 edges, 24012 markings/sec, 1780 secs
lola: 41351514 markings, 103234301 edges, 24443 markings/sec, 1785 secs
lola: 41472016 markings, 103543330 edges, 24100 markings/sec, 1790 secs
lola: 41588342 markings, 103842437 edges, 23265 markings/sec, 1795 secs
lola: 41720082 markings, 104143363 edges, 26348 markings/sec, 1800 secs
lola: 41852520 markings, 104413903 edges, 26488 markings/sec, 1805 secs
lola: 41981256 markings, 104675417 edges, 25747 markings/sec, 1810 secs
lola: 42096417 markings, 104940769 edges, 23032 markings/sec, 1815 secs
lola: 42195668 markings, 105195164 edges, 19850 markings/sec, 1820 secs
lola: 42316005 markings, 105449694 edges, 24067 markings/sec, 1825 secs
lola: 42452239 markings, 105741043 edges, 27247 markings/sec, 1830 secs
lola: 42572048 markings, 106006854 edges, 23962 markings/sec, 1835 secs
lola: 42700428 markings, 106292880 edges, 25676 markings/sec, 1840 secs
lola: 42826113 markings, 106582705 edges, 25137 markings/sec, 1845 secs
lola: 42952556 markings, 106877908 edges, 25289 markings/sec, 1850 secs
lola: 43080569 markings, 107173230 edges, 25603 markings/sec, 1855 secs
lola: 43213420 markings, 107478609 edges, 26570 markings/sec, 1860 secs
lola: 43341524 markings, 107784427 edges, 25621 markings/sec, 1865 secs
lola: 43442331 markings, 108090890 edges, 20161 markings/sec, 1870 secs
lola: 43559920 markings, 108409517 edges, 23518 markings/sec, 1875 secs
lola: 43672440 markings, 108714441 edges, 22504 markings/sec, 1880 secs
lola: 43783965 markings, 109012259 edges, 22305 markings/sec, 1885 secs
lola: 43885162 markings, 109344624 edges, 20239 markings/sec, 1890 secs
lola: 44018230 markings, 109676013 edges, 26614 markings/sec, 1895 secs
lola: 44145351 markings, 109996423 edges, 25424 markings/sec, 1900 secs
lola: 44276063 markings, 110330633 edges, 26142 markings/sec, 1905 secs
lola: 44406400 markings, 110669756 edges, 26067 markings/sec, 1910 secs
lola: 44538232 markings, 110999966 edges, 26366 markings/sec, 1915 secs
lola: 44673312 markings, 111320714 edges, 27016 markings/sec, 1920 secs
lola: 44801384 markings, 111655879 edges, 25614 markings/sec, 1925 secs
lola: 44932718 markings, 111980015 edges, 26267 markings/sec, 1930 secs
lola: 45067963 markings, 112305335 edges, 27049 markings/sec, 1935 secs
lola: 45198121 markings, 112636892 edges, 26032 markings/sec, 1940 secs
lola: 45331924 markings, 112961136 edges, 26761 markings/sec, 1945 secs
lola: 45459059 markings, 113290135 edges, 25427 markings/sec, 1950 secs
lola: 45571247 markings, 113605596 edges, 22438 markings/sec, 1955 secs
lola: 45703531 markings, 113939319 edges, 26457 markings/sec, 1960 secs
lola: 45836346 markings, 114271278 edges, 26563 markings/sec, 1965 secs
lola: 45965373 markings, 114604751 edges, 25805 markings/sec, 1970 secs
lola: 46085172 markings, 114947915 edges, 23960 markings/sec, 1975 secs
lola: 46211506 markings, 115271473 edges, 25267 markings/sec, 1980 secs
lola: 46339715 markings, 115603029 edges, 25642 markings/sec, 1985 secs
lola: 46470439 markings, 115941736 edges, 26145 markings/sec, 1990 secs
lola: 46592724 markings, 116294645 edges, 24457 markings/sec, 1995 secs
lola: 46721883 markings, 116645894 edges, 25832 markings/sec, 2000 secs
lola: 46840849 markings, 116985609 edges, 23793 markings/sec, 2005 secs
lola: 46949907 markings, 117349656 edges, 21812 markings/sec, 2010 secs
lola: 47086857 markings, 117689727 edges, 27390 markings/sec, 2015 secs
lola: 47229943 markings, 118037750 edges, 28617 markings/sec, 2020 secs
lola: 47369892 markings, 118387161 edges, 27990 markings/sec, 2025 secs
lola: 47512115 markings, 118736429 edges, 28445 markings/sec, 2030 secs
lola: 47647768 markings, 119087888 edges, 27131 markings/sec, 2035 secs
lola: 47770782 markings, 119445737 edges, 24603 markings/sec, 2040 secs
lola: 47896052 markings, 119813385 edges, 25054 markings/sec, 2045 secs
lola: 48020950 markings, 120176202 edges, 24980 markings/sec, 2050 secs
lola: 48138702 markings, 120542569 edges, 23550 markings/sec, 2055 secs
lola: 48217742 markings, 120945848 edges, 15808 markings/sec, 2060 secs
lola: 48294120 markings, 121352656 edges, 15276 markings/sec, 2065 secs
lola: 48405000 markings, 121643868 edges, 22176 markings/sec, 2070 secs
lola: 48520400 markings, 121926515 edges, 23080 markings/sec, 2075 secs
lola: 48639720 markings, 122218290 edges, 23864 markings/sec, 2080 secs
lola: 48754772 markings, 122495666 edges, 23010 markings/sec, 2085 secs
lola: 48870415 markings, 122776246 edges, 23129 markings/sec, 2090 secs
lola: 48987598 markings, 123065120 edges, 23437 markings/sec, 2095 secs
lola: 49101274 markings, 123339919 edges, 22735 markings/sec, 2100 secs
lola: 49229461 markings, 123607959 edges, 25637 markings/sec, 2105 secs
lola: 49383360 markings, 123868153 edges, 30780 markings/sec, 2110 secs
lola: 49478620 markings, 124201612 edges, 19052 markings/sec, 2115 secs
lola: 49579194 markings, 124505292 edges, 20115 markings/sec, 2120 secs
lola: 49695351 markings, 124789180 edges, 23231 markings/sec, 2125 secs
lola: 49816929 markings, 125085901 edges, 24316 markings/sec, 2130 secs
lola: 49935066 markings, 125360500 edges, 23627 markings/sec, 2135 secs
lola: 50055199 markings, 125624783 edges, 24027 markings/sec, 2140 secs
lola: 50173190 markings, 125900233 edges, 23598 markings/sec, 2145 secs
lola: 50291939 markings, 126180930 edges, 23750 markings/sec, 2150 secs
lola: 50400894 markings, 126447991 edges, 21791 markings/sec, 2155 secs
lola: 50506363 markings, 126728279 edges, 21094 markings/sec, 2160 secs
lola: 50613831 markings, 127027709 edges, 21494 markings/sec, 2165 secs
lola: 50723457 markings, 127306981 edges, 21925 markings/sec, 2170 secs
lola: 50843863 markings, 127600143 edges, 24081 markings/sec, 2175 secs
lola: 50963758 markings, 127898912 edges, 23979 markings/sec, 2180 secs
lola: 51079905 markings, 128212814 edges, 23229 markings/sec, 2185 secs
lola: 51188164 markings, 128524788 edges, 21652 markings/sec, 2190 secs
lola: 51272131 markings, 128855486 edges, 16793 markings/sec, 2195 secs
lola: 51380797 markings, 129120079 edges, 21733 markings/sec, 2200 secs
lola: 51492397 markings, 129387382 edges, 22320 markings/sec, 2205 secs
lola: 51601839 markings, 129660167 edges, 21888 markings/sec, 2210 secs
lola: 51709395 markings, 129921838 edges, 21511 markings/sec, 2215 secs
lola: 51826476 markings, 130197420 edges, 23416 markings/sec, 2220 secs
lola: 51942630 markings, 130490710 edges, 23231 markings/sec, 2225 secs
lola: 52036433 markings, 130796938 edges, 18761 markings/sec, 2230 secs
lola: 52133347 markings, 131123586 edges, 19383 markings/sec, 2235 secs
lola: 52239747 markings, 131382103 edges, 21280 markings/sec, 2240 secs
lola: 52354144 markings, 131667990 edges, 22879 markings/sec, 2245 secs
lola: 52480430 markings, 131970161 edges, 25257 markings/sec, 2250 secs
lola: 52600150 markings, 132237119 edges, 23944 markings/sec, 2255 secs
lola: 52718063 markings, 132512622 edges, 23583 markings/sec, 2260 secs
lola: 52846717 markings, 132821201 edges, 25731 markings/sec, 2265 secs
lola: 52973770 markings, 133138310 edges, 25411 markings/sec, 2270 secs
lola: 53082189 markings, 133431463 edges, 21684 markings/sec, 2275 secs
lola: 53197129 markings, 133733886 edges, 22988 markings/sec, 2280 secs
lola: 53318366 markings, 134058676 edges, 24247 markings/sec, 2285 secs
lola: 53427760 markings, 134373088 edges, 21879 markings/sec, 2290 secs
lola: 53535058 markings, 134689867 edges, 21460 markings/sec, 2295 secs
lola: 53638539 markings, 134996674 edges, 20696 markings/sec, 2300 secs
lola: 53743562 markings, 135253038 edges, 21005 markings/sec, 2305 secs
lola: 53846250 markings, 135508574 edges, 20538 markings/sec, 2310 secs
lola: 53955904 markings, 135772972 edges, 21931 markings/sec, 2315 secs
lola: 54059239 markings, 136024738 edges, 20667 markings/sec, 2320 secs
lola: 54171574 markings, 136289544 edges, 22467 markings/sec, 2325 secs
lola: 54284828 markings, 136573517 edges, 22651 markings/sec, 2330 secs
lola: 54377283 markings, 136867156 edges, 18491 markings/sec, 2335 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown 1 1 1
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown 1 1 1
lola: memory consumption: 4771020 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 1 1 1 1 1 unknown 1 1 1 unknown 1 1 1
lola: memory consumption: 4771436 KB
lola: time consumption: 3570 seconds

BK_STOP 1552333120198

--------------------
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="CloudDeployment-PT-3b"
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-3817"
echo " Executing tool win2018"
echo " Input is CloudDeployment-PT-3b, 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 r044-smll-155229658700010"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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