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-155229658700028.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-6b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r044-smll-155229658700028
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.0M
-rw-r--r-- 1 mcc users 3.2K Feb 9 09:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 9 09:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 5 07:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Feb 5 07:49 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.5K Feb 4 23:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 2 02:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 02:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 29 15:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 29 15:47 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 4.8M 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-6b-UpperBounds-00
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-01
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-02
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-03
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-04
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-05
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-06
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-07
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-08
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-09
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-10
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-11
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-12
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-13
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-14
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552344812605

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudDeployment-PT-6b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating CloudDeployment-PT-6b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ CloudDeployment-PT-6b @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 8692/65536 symbol table entries, 2115 collisions
lola: preprocessing...
lola: Size of bit vector: 1888
lola: finding significant places
lola: 1888 places, 6804 transitions, 1863 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2833 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-6b-UpperBounds.task
lola: MAX(p661) : MAX(p1626) : MAX(p174) : MAX(p558) : MAX(p134) : MAX(p1831) : MAX(p551) : MAX(p1602) : MAX(p1555) : MAX(p604) : MAX(p1309) : MAX(p387) : MAX(p466) : MAX(p898) : MAX(p303) : MAX(p1726)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p661)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p661)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-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: 166 markings, 165 edges

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

FORMULA CloudDeployment-PT-6b-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(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p174)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-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: 75424 markings, 82255 edges, 15085 markings/sec, 0 secs
lola: 194710 markings, 209853 edges, 23857 markings/sec, 5 secs
lola: 302672 markings, 332104 edges, 21592 markings/sec, 10 secs
lola: 411864 markings, 452034 edges, 21838 markings/sec, 15 secs
lola: 522138 markings, 575659 edges, 22055 markings/sec, 20 secs
lola: 629942 markings, 696183 edges, 21561 markings/sec, 25 secs
lola: 737219 markings, 818635 edges, 21455 markings/sec, 30 secs
lola: 844922 markings, 941043 edges, 21541 markings/sec, 35 secs
lola: 965001 markings, 1070013 edges, 24016 markings/sec, 40 secs
lola: 1072790 markings, 1192188 edges, 21558 markings/sec, 45 secs
lola: 1180314 markings, 1314376 edges, 21505 markings/sec, 50 secs
lola: 1290985 markings, 1438477 edges, 22134 markings/sec, 55 secs
lola: 1408016 markings, 1565444 edges, 23406 markings/sec, 60 secs
lola: 1515338 markings, 1687306 edges, 21464 markings/sec, 65 secs
lola: 1622629 markings, 1809397 edges, 21458 markings/sec, 70 secs
lola: 1740024 markings, 1936943 edges, 23479 markings/sec, 75 secs
lola: 1850819 markings, 2060852 edges, 22159 markings/sec, 80 secs
lola: 1955812 markings, 2177241 edges, 20999 markings/sec, 85 secs
lola: 2046794 markings, 2288634 edges, 18196 markings/sec, 90 secs
lola: 2130245 markings, 2390484 edges, 16690 markings/sec, 95 secs
lola: 2206690 markings, 2502661 edges, 15289 markings/sec, 100 secs
lola: 2278112 markings, 2616183 edges, 14284 markings/sec, 105 secs
lola: 2350360 markings, 2717816 edges, 14450 markings/sec, 110 secs
lola: 2422718 markings, 2819823 edges, 14472 markings/sec, 115 secs
lola: 2501242 markings, 2937814 edges, 15705 markings/sec, 120 secs
lola: 2601066 markings, 3049528 edges, 19965 markings/sec, 125 secs
lola: 2697652 markings, 3160953 edges, 19317 markings/sec, 130 secs
lola: 2800028 markings, 3275559 edges, 20475 markings/sec, 135 secs
lola: 2917431 markings, 3401285 edges, 23481 markings/sec, 140 secs
lola: 3037316 markings, 3529343 edges, 23977 markings/sec, 145 secs
lola: 3156082 markings, 3656872 edges, 23753 markings/sec, 150 secs
lola: 3275004 markings, 3783882 edges, 23784 markings/sec, 155 secs
lola: 3395266 markings, 3912381 edges, 24052 markings/sec, 160 secs
lola: 3513235 markings, 4039216 edges, 23594 markings/sec, 165 secs
lola: 3628943 markings, 4163821 edges, 23142 markings/sec, 170 secs
lola: 3747652 markings, 4290843 edges, 23742 markings/sec, 175 secs
lola: 3865174 markings, 4416892 edges, 23504 markings/sec, 180 secs
lola: 3984303 markings, 4544159 edges, 23826 markings/sec, 185 secs
lola: 4103084 markings, 4671255 edges, 23756 markings/sec, 190 secs
lola: 4222198 markings, 4798596 edges, 23823 markings/sec, 195 secs
lola: 4341334 markings, 4925872 edges, 23827 markings/sec, 200 secs
lola: 4460962 markings, 5053706 edges, 23926 markings/sec, 205 secs
lola: 4579410 markings, 5180552 edges, 23690 markings/sec, 210 secs
lola: 4698722 markings, 5308129 edges, 23862 markings/sec, 215 secs
lola: 4817978 markings, 5435747 edges, 23851 markings/sec, 220 secs
lola: 4937559 markings, 5563637 edges, 23916 markings/sec, 225 secs
lola: 5056686 markings, 5691443 edges, 23825 markings/sec, 230 secs
lola: 5175522 markings, 5818786 edges, 23767 markings/sec, 235 secs
lola: 5294595 markings, 5946660 edges, 23815 markings/sec, 240 secs
lola: 5412504 markings, 6073606 edges, 23582 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 848616 KB
lola: time consumption: 263 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p558)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p558)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-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

FORMULA CloudDeployment-PT-6b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p134)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p134)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-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: 72570 markings, 79058 edges, 14514 markings/sec, 0 secs
lola: 192868 markings, 207885 edges, 24060 markings/sec, 5 secs
lola: 302460 markings, 331878 edges, 21918 markings/sec, 10 secs
lola: 412875 markings, 453112 edges, 22083 markings/sec, 15 secs
lola: 524983 markings, 580609 edges, 22422 markings/sec, 20 secs
lola: 642243 markings, 709482 edges, 23452 markings/sec, 25 secs
lola: 750567 markings, 832962 edges, 21665 markings/sec, 30 secs
lola: 859067 markings, 956237 edges, 21700 markings/sec, 35 secs
lola: 976292 markings, 1084306 edges, 23445 markings/sec, 40 secs
lola: 1089073 markings, 1209637 edges, 22556 markings/sec, 45 secs
lola: 1197477 markings, 1332742 edges, 21681 markings/sec, 50 secs
lola: 1305783 markings, 1455892 edges, 21661 markings/sec, 55 secs
lola: 1425994 markings, 1585253 edges, 24042 markings/sec, 60 secs
lola: 1535245 markings, 1708660 edges, 21850 markings/sec, 65 secs
lola: 1643493 markings, 1831723 edges, 21650 markings/sec, 70 secs
lola: 1754285 markings, 1956688 edges, 22158 markings/sec, 75 secs
lola: 1873548 markings, 2085304 edges, 23853 markings/sec, 80 secs
lola: 1975584 markings, 2199057 edges, 20407 markings/sec, 85 secs
lola: 2064166 markings, 2309668 edges, 17716 markings/sec, 90 secs
lola: 2142892 markings, 2418555 edges, 15745 markings/sec, 95 secs
lola: 2225284 markings, 2525388 edges, 16478 markings/sec, 100 secs
lola: 2295968 markings, 2638009 edges, 14137 markings/sec, 105 secs
lola: 2364996 markings, 2747008 edges, 13806 markings/sec, 110 secs
lola: 2437631 markings, 2846681 edges, 14527 markings/sec, 115 secs
lola: 2525012 markings, 2964392 edges, 17476 markings/sec, 120 secs
lola: 2624612 markings, 3076347 edges, 19920 markings/sec, 125 secs
lola: 2722082 markings, 3189044 edges, 19494 markings/sec, 130 secs
lola: 2829137 markings, 3306926 edges, 21411 markings/sec, 135 secs
lola: 2948400 markings, 3434372 edges, 23853 markings/sec, 140 secs
lola: 3069433 markings, 3563717 edges, 24207 markings/sec, 145 secs
lola: 3188846 markings, 3691859 edges, 23883 markings/sec, 150 secs
lola: 3309062 markings, 3820246 edges, 24043 markings/sec, 155 secs
lola: 3429071 markings, 3949293 edges, 24002 markings/sec, 160 secs
lola: 3545585 markings, 4074810 edges, 23303 markings/sec, 165 secs
lola: 3665466 markings, 4202982 edges, 23976 markings/sec, 170 secs
lola: 3785420 markings, 4331185 edges, 23991 markings/sec, 175 secs
lola: 3903850 markings, 4458189 edges, 23686 markings/sec, 180 secs
lola: 4023560 markings, 4586261 edges, 23942 markings/sec, 185 secs
lola: 4143627 markings, 4714576 edges, 24013 markings/sec, 190 secs
lola: 4263762 markings, 4843018 edges, 24027 markings/sec, 195 secs
lola: 4384097 markings, 4971577 edges, 24067 markings/sec, 200 secs
lola: 4504411 markings, 5100157 edges, 24063 markings/sec, 205 secs
lola: 4623929 markings, 5228157 edges, 23904 markings/sec, 210 secs
lola: 4744214 markings, 5356749 edges, 24057 markings/sec, 215 secs
lola: 4864668 markings, 5485735 edges, 24091 markings/sec, 220 secs
lola: 4985324 markings, 5614853 edges, 24131 markings/sec, 225 secs
lola: 5104895 markings, 5743205 edges, 23914 markings/sec, 230 secs
lola: 5224966 markings, 5871923 edges, 24014 markings/sec, 235 secs
lola: 5344445 markings, 6000393 edges, 23896 markings/sec, 240 secs
lola: 5463444 markings, 6128338 edges, 23800 markings/sec, 245 secs
lola: 5582706 markings, 6256275 edges, 23852 markings/sec, 250 secs
lola: 5702907 markings, 6385042 edges, 24040 markings/sec, 255 secs
lola: 5822544 markings, 6514039 edges, 23927 markings/sec, 260 secs
lola: 5941336 markings, 6641937 edges, 23758 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 930136 KB
lola: time consumption: 540 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1831)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1831)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-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: 122 markings, 121 edges
lola: ========================================

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

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

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

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

FORMULA CloudDeployment-PT-6b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 503 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1309)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1309)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-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: 57839 markings, 72914 edges, 11568 markings/sec, 0 secs
lola: 116402 markings, 156914 edges, 11713 markings/sec, 5 secs
lola: 171003 markings, 251045 edges, 10920 markings/sec, 10 secs
lola: 223244 markings, 354303 edges, 10448 markings/sec, 15 secs
lola: 271493 markings, 461015 edges, 9650 markings/sec, 20 secs
lola: 328635 markings, 542797 edges, 11428 markings/sec, 25 secs
lola: 382796 markings, 635517 edges, 10832 markings/sec, 30 secs
lola: 435300 markings, 738443 edges, 10501 markings/sec, 35 secs
lola: 483240 markings, 845511 edges, 9588 markings/sec, 40 secs
lola: 540184 markings, 927806 edges, 11389 markings/sec, 45 secs
lola: 591175 markings, 1030839 edges, 10198 markings/sec, 50 secs
lola: 645269 markings, 1130425 edges, 10819 markings/sec, 55 secs
lola: 696113 markings, 1230836 edges, 10169 markings/sec, 60 secs
lola: 750280 markings, 1325507 edges, 10833 markings/sec, 65 secs
lola: 801113 markings, 1430073 edges, 10167 markings/sec, 70 secs
lola: 856128 markings, 1520130 edges, 11003 markings/sec, 75 secs
lola: 903197 markings, 1634649 edges, 9414 markings/sec, 80 secs
lola: 956055 markings, 1732255 edges, 10572 markings/sec, 85 secs
lola: 1008553 markings, 1832225 edges, 10500 markings/sec, 90 secs
lola: 1059902 markings, 1935883 edges, 10270 markings/sec, 95 secs
lola: 1115898 markings, 2022778 edges, 11199 markings/sec, 100 secs
lola: 1161912 markings, 2141854 edges, 9203 markings/sec, 105 secs
lola: 1218529 markings, 2230194 edges, 11323 markings/sec, 110 secs
lola: 1271037 markings, 2334068 edges, 10502 markings/sec, 115 secs
lola: 1327390 markings, 2420923 edges, 11271 markings/sec, 120 secs
lola: 1386046 markings, 2500602 edges, 11731 markings/sec, 125 secs
lola: 1440337 markings, 2599816 edges, 10858 markings/sec, 130 secs
lola: 1498240 markings, 2680224 edges, 11581 markings/sec, 135 secs
lola: 1556222 markings, 2761581 edges, 11596 markings/sec, 140 secs
lola: 1608703 markings, 2863415 edges, 10496 markings/sec, 145 secs
lola: 1661477 markings, 2964199 edges, 10555 markings/sec, 150 secs
lola: 1712180 markings, 3073405 edges, 10141 markings/sec, 155 secs
lola: 1769061 markings, 3158129 edges, 11376 markings/sec, 160 secs
lola: 1826538 markings, 3240629 edges, 11495 markings/sec, 165 secs
lola: 1884476 markings, 3323030 edges, 11588 markings/sec, 170 secs
lola: 1936310 markings, 3420141 edges, 10367 markings/sec, 175 secs
lola: 1993310 markings, 3505177 edges, 11400 markings/sec, 180 secs
lola: 2048131 markings, 3595155 edges, 10964 markings/sec, 185 secs
lola: 2104543 markings, 3681903 edges, 11282 markings/sec, 190 secs
lola: 2157778 markings, 3781976 edges, 10647 markings/sec, 195 secs
lola: 2213941 markings, 3868909 edges, 11233 markings/sec, 200 secs
lola: 2269398 markings, 3956872 edges, 11091 markings/sec, 205 secs
lola: 2325432 markings, 4045116 edges, 11207 markings/sec, 210 secs
lola: 2380653 markings, 4135392 edges, 11044 markings/sec, 215 secs
lola: 2433541 markings, 4237824 edges, 10578 markings/sec, 220 secs
lola: 2484594 markings, 4340138 edges, 10211 markings/sec, 225 secs
lola: 2535157 markings, 4443440 edges, 10113 markings/sec, 230 secs
lola: 2584516 markings, 4549929 edges, 9872 markings/sec, 235 secs
lola: 2637765 markings, 4649322 edges, 10650 markings/sec, 240 secs
lola: 2691615 markings, 4742474 edges, 10770 markings/sec, 245 secs
lola: 2747952 markings, 4829305 edges, 11267 markings/sec, 250 secs
lola: 2802363 markings, 4920261 edges, 10882 markings/sec, 255 secs
lola: 2857773 markings, 5012449 edges, 11082 markings/sec, 260 secs
lola: 2914268 markings, 5101323 edges, 11299 markings/sec, 265 secs
lola: 2969710 markings, 5190270 edges, 11088 markings/sec, 270 secs
lola: 3022452 markings, 5285278 edges, 10548 markings/sec, 275 secs
lola: 3074708 markings, 5382197 edges, 10451 markings/sec, 280 secs
lola: 3128014 markings, 5477076 edges, 10661 markings/sec, 285 secs
lola: 3180752 markings, 5572294 edges, 10548 markings/sec, 290 secs
lola: 3232650 markings, 5672371 edges, 10380 markings/sec, 295 secs
lola: 3278948 markings, 5783610 edges, 9260 markings/sec, 300 secs
lola: 3330073 markings, 5884793 edges, 10225 markings/sec, 305 secs
lola: 3378697 markings, 5992498 edges, 9725 markings/sec, 310 secs
lola: 3429180 markings, 6098488 edges, 10097 markings/sec, 315 secs
lola: 3471683 markings, 6224737 edges, 8501 markings/sec, 320 secs
lola: 3510650 markings, 6353038 edges, 7793 markings/sec, 325 secs
lola: 3551566 markings, 6491382 edges, 8183 markings/sec, 330 secs
lola: 3590280 markings, 6638124 edges, 7743 markings/sec, 335 secs
lola: 3636114 markings, 6756115 edges, 9167 markings/sec, 340 secs
lola: 3685770 markings, 6860320 edges, 9931 markings/sec, 345 secs
lola: 3735230 markings, 6964832 edges, 9892 markings/sec, 350 secs
lola: 3783585 markings, 7072268 edges, 9671 markings/sec, 355 secs
lola: 3834407 markings, 7178732 edges, 10164 markings/sec, 360 secs
lola: 3887020 markings, 7277382 edges, 10523 markings/sec, 365 secs
lola: 3940885 markings, 7377135 edges, 10773 markings/sec, 370 secs
lola: 3999959 markings, 7461143 edges, 11815 markings/sec, 375 secs
lola: 4059117 markings, 7545379 edges, 11832 markings/sec, 380 secs
lola: 4116550 markings, 7634008 edges, 11487 markings/sec, 385 secs
lola: 4173812 markings, 7723520 edges, 11452 markings/sec, 390 secs
lola: 4229469 markings, 7816579 edges, 11131 markings/sec, 395 secs
lola: 4284607 markings, 7914665 edges, 11028 markings/sec, 400 secs
lola: 4338796 markings, 8015496 edges, 10838 markings/sec, 405 secs
lola: 4390871 markings, 8123508 edges, 10415 markings/sec, 410 secs
lola: 4436510 markings, 8245657 edges, 9128 markings/sec, 415 secs
lola: 4478886 markings, 8386848 edges, 8475 markings/sec, 420 secs
lola: 4520638 markings, 8533832 edges, 8350 markings/sec, 425 secs
lola: 4560953 markings, 8686281 edges, 8063 markings/sec, 430 secs
lola: 4609293 markings, 8810945 edges, 9668 markings/sec, 435 secs
lola: 4660974 markings, 8922095 edges, 10336 markings/sec, 440 secs
lola: 4711990 markings, 9034533 edges, 10203 markings/sec, 445 secs
lola: 4766052 markings, 9137365 edges, 10812 markings/sec, 450 secs
lola: 4824298 markings, 9225971 edges, 11649 markings/sec, 455 secs
lola: 4881522 markings, 9315591 edges, 11445 markings/sec, 460 secs
lola: 4938636 markings, 9406866 edges, 11423 markings/sec, 465 secs
lola: 4991788 markings, 9507927 edges, 10630 markings/sec, 470 secs
lola: 5043504 markings, 9612778 edges, 10343 markings/sec, 475 secs
lola: 5091113 markings, 9731504 edges, 9522 markings/sec, 480 secs
lola: 5131577 markings, 9874483 edges, 8093 markings/sec, 485 secs
lola: 5170961 markings, 10027329 edges, 7877 markings/sec, 490 secs
lola: 5218036 markings, 10154026 edges, 9415 markings/sec, 495 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown 1 1 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 956088 KB
lola: time consumption: 1050 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 503 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-6b-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: 29 markings, 28 edges
lola: ========================================

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

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

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

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

FORMULA CloudDeployment-PT-6b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p174)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-6b-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: 70742 markings, 77088 edges, 14148 markings/sec, 0 secs
lola: 193670 markings, 208741 edges, 24586 markings/sec, 5 secs
lola: 306141 markings, 335816 edges, 22494 markings/sec, 10 secs
lola: 419608 markings, 460301 edges, 22693 markings/sec, 15 secs
lola: 532252 markings, 590179 edges, 22529 markings/sec, 20 secs
lola: 654902 markings, 723186 edges, 24530 markings/sec, 25 secs
lola: 766612 markings, 850155 edges, 22342 markings/sec, 30 secs
lola: 877988 markings, 976479 edges, 22275 markings/sec, 35 secs
lola: 991219 markings, 1104100 edges, 22646 markings/sec, 40 secs
lola: 1113991 markings, 1236436 edges, 24554 markings/sec, 45 secs
lola: 1225888 markings, 1363205 edges, 22379 markings/sec, 50 secs
lola: 1337656 markings, 1489994 edges, 22354 markings/sec, 55 secs
lola: 1450729 markings, 1617632 edges, 22615 markings/sec, 60 secs
lola: 1574134 markings, 1750451 edges, 24681 markings/sec, 65 secs
lola: 1686115 markings, 1877399 edges, 22396 markings/sec, 70 secs
lola: 1798340 markings, 2004619 edges, 22445 markings/sec, 75 secs
lola: 1915399 markings, 2133165 edges, 23412 markings/sec, 80 secs
lola: 2017806 markings, 2247700 edges, 20481 markings/sec, 85 secs
lola: 2104827 markings, 2356807 edges, 17404 markings/sec, 90 secs
lola: 2182143 markings, 2475268 edges, 15463 markings/sec, 95 secs
lola: 2260196 markings, 2588529 edges, 15611 markings/sec, 100 secs
lola: 2338652 markings, 2692465 edges, 15691 markings/sec, 105 secs
lola: 2410936 markings, 2803154 edges, 14457 markings/sec, 110 secs
lola: 2487518 markings, 2922965 edges, 15316 markings/sec, 115 secs
lola: 2593459 markings, 3040535 edges, 21188 markings/sec, 120 secs
lola: 2692086 markings, 3154922 edges, 19725 markings/sec, 125 secs
lola: 2798622 markings, 3274027 edges, 21307 markings/sec, 130 secs
lola: 2920250 markings, 3404293 edges, 24326 markings/sec, 135 secs
lola: 3044633 markings, 3537161 edges, 24877 markings/sec, 140 secs
lola: 3167606 markings, 3669181 edges, 24595 markings/sec, 145 secs
lola: 3291076 markings, 3801047 edges, 24694 markings/sec, 150 secs
lola: 3415304 markings, 3934230 edges, 24846 markings/sec, 155 secs
lola: 3534807 markings, 4063268 edges, 23901 markings/sec, 160 secs
lola: 3658060 markings, 4195078 edges, 24651 markings/sec, 165 secs
lola: 3781384 markings, 4326868 edges, 24665 markings/sec, 170 secs
lola: 3903228 markings, 4457524 edges, 24369 markings/sec, 175 secs
lola: 4026209 markings, 4589090 edges, 24596 markings/sec, 180 secs
lola: 4149704 markings, 4721078 edges, 24699 markings/sec, 185 secs
lola: 4273246 markings, 4853136 edges, 24708 markings/sec, 190 secs
lola: 4396905 markings, 4985250 edges, 24732 markings/sec, 195 secs
lola: 4520526 markings, 5117361 edges, 24724 markings/sec, 200 secs
lola: 4643474 markings, 5249083 edges, 24590 markings/sec, 205 secs
lola: 4767170 markings, 5381302 edges, 24739 markings/sec, 210 secs
lola: 4890968 markings, 5513852 edges, 24760 markings/sec, 215 secs
lola: 5014992 markings, 5646773 edges, 24805 markings/sec, 220 secs
lola: 5137806 markings, 5778460 edges, 24563 markings/sec, 225 secs
lola: 5261280 markings, 5910853 edges, 24695 markings/sec, 230 secs
lola: 5383918 markings, 6042837 edges, 24528 markings/sec, 235 secs
lola: 5505975 markings, 6174220 edges, 24411 markings/sec, 240 secs
lola: 5629658 markings, 6306463 edges, 24737 markings/sec, 245 secs
lola: 5753010 markings, 6438827 edges, 24670 markings/sec, 250 secs
lola: 5875526 markings, 6571172 edges, 24503 markings/sec, 255 secs
lola: 5998161 markings, 6703102 edges, 24527 markings/sec, 260 secs
lola: 6120528 markings, 6835363 edges, 24473 markings/sec, 265 secs
lola: 6242158 markings, 6968091 edges, 24326 markings/sec, 270 secs
lola: 6365210 markings, 7100292 edges, 24610 markings/sec, 275 secs
lola: 6486604 markings, 7232481 edges, 24279 markings/sec, 280 secs
lola: 6609170 markings, 7363837 edges, 24513 markings/sec, 285 secs
lola: 6714742 markings, 7493001 edges, 21114 markings/sec, 290 secs
lola: 6810529 markings, 7621136 edges, 19157 markings/sec, 295 secs
lola: 6920637 markings, 7746056 edges, 22022 markings/sec, 300 secs
lola: 7041443 markings, 7876551 edges, 24161 markings/sec, 305 secs
lola: 7152856 markings, 8001954 edges, 22283 markings/sec, 310 secs
lola: 7262567 markings, 8126476 edges, 21942 markings/sec, 315 secs
lola: 7372980 markings, 8251518 edges, 22083 markings/sec, 320 secs
lola: 7494581 markings, 8382424 edges, 24320 markings/sec, 325 secs
lola: 7608763 markings, 8507315 edges, 22836 markings/sec, 330 secs
lola: 7722932 markings, 8631977 edges, 22834 markings/sec, 335 secs
lola: 7829258 markings, 8766347 edges, 21265 markings/sec, 340 secs
lola: 7948888 markings, 8897897 edges, 23926 markings/sec, 345 secs
lola: 8057067 markings, 9022479 edges, 21636 markings/sec, 350 secs
lola: 8165960 markings, 9146176 edges, 21779 markings/sec, 355 secs
lola: 8278454 markings, 9271962 edges, 22499 markings/sec, 360 secs
lola: 8396716 markings, 9400461 edges, 23652 markings/sec, 365 secs
lola: 8510600 markings, 9525341 edges, 22777 markings/sec, 370 secs
lola: 8623579 markings, 9652797 edges, 22596 markings/sec, 375 secs
lola: 8739466 markings, 9779636 edges, 23177 markings/sec, 380 secs
lola: 8862522 markings, 9911465 edges, 24611 markings/sec, 385 secs
lola: 8973442 markings, 10041027 edges, 22184 markings/sec, 390 secs
lola: 9085146 markings, 10168309 edges, 22341 markings/sec, 395 secs
lola: 9199384 markings, 10296950 edges, 22848 markings/sec, 400 secs
lola: 9321882 markings, 10429064 edges, 24500 markings/sec, 405 secs
lola: 9433796 markings, 10555866 edges, 22383 markings/sec, 410 secs
lola: 9545687 markings, 10682724 edges, 22378 markings/sec, 415 secs
lola: 9659474 markings, 10811007 edges, 22757 markings/sec, 420 secs
lola: 9781831 markings, 10942879 edges, 24471 markings/sec, 425 secs
lola: 9893634 markings, 11069508 edges, 22361 markings/sec, 430 secs
lola: 10005347 markings, 11196305 edges, 22343 markings/sec, 435 secs
lola: 10119504 markings, 11324874 edges, 22831 markings/sec, 440 secs
lola: 10242009 markings, 11456953 edges, 24501 markings/sec, 445 secs
lola: 10346417 markings, 11573448 edges, 20882 markings/sec, 450 secs
lola: 10436945 markings, 11686282 edges, 18106 markings/sec, 455 secs
lola: 10513691 markings, 11799178 edges, 15349 markings/sec, 460 secs
lola: 10597235 markings, 11902726 edges, 16709 markings/sec, 465 secs
lola: 10668566 markings, 12014533 edges, 14266 markings/sec, 470 secs
lola: 10737050 markings, 12125055 edges, 13697 markings/sec, 475 secs
lola: 10808633 markings, 12228372 edges, 14317 markings/sec, 480 secs
lola: 10895513 markings, 12338516 edges, 17376 markings/sec, 485 secs
lola: 10999616 markings, 12455218 edges, 20821 markings/sec, 490 secs
lola: 11100369 markings, 12571661 edges, 20151 markings/sec, 495 secs
lola: 11210342 markings, 12692287 edges, 21995 markings/sec, 500 secs
lola: 11332066 markings, 12822241 edges, 24345 markings/sec, 505 secs
lola: 11454371 markings, 12953169 edges, 24461 markings/sec, 510 secs
lola: 11574461 markings, 13081847 edges, 24018 markings/sec, 515 secs
lola: 11696077 markings, 13211716 edges, 24323 markings/sec, 520 secs
lola: 11816817 markings, 13341550 edges, 24148 markings/sec, 525 secs
lola: 11934603 markings, 13468400 edges, 23557 markings/sec, 530 secs
lola: 12055404 markings, 13597570 edges, 24160 markings/sec, 535 secs
lola: 12176172 markings, 13726661 edges, 24154 markings/sec, 540 secs
lola: 12295580 markings, 13854700 edges, 23882 markings/sec, 545 secs
lola: 12416425 markings, 13983998 edges, 24169 markings/sec, 550 secs
lola: 12537682 markings, 14113595 edges, 24251 markings/sec, 555 secs
lola: 12658912 markings, 14243175 edges, 24246 markings/sec, 560 secs
lola: 12780594 markings, 14373173 edges, 24336 markings/sec, 565 secs
lola: 12901562 markings, 14502536 edges, 24194 markings/sec, 570 secs
lola: 13022658 markings, 14632202 edges, 24219 markings/sec, 575 secs
lola: 13144113 markings, 14762038 edges, 24291 markings/sec, 580 secs
lola: 13262329 markings, 14888606 edges, 23643 markings/sec, 585 secs
lola: 13380705 markings, 15015488 edges, 23675 markings/sec, 590 secs
lola: 13493375 markings, 15136347 edges, 22534 markings/sec, 595 secs
lola: 13615220 markings, 15266955 edges, 24369 markings/sec, 600 secs
lola: 13736472 markings, 15397350 edges, 24250 markings/sec, 605 secs
lola: 13856136 markings, 15526166 edges, 23933 markings/sec, 610 secs
lola: 13977092 markings, 15655638 edges, 24191 markings/sec, 615 secs
lola: 14098106 markings, 15785355 edges, 24203 markings/sec, 620 secs
lola: 14218502 markings, 15915388 edges, 24079 markings/sec, 625 secs
lola: 14335028 markings, 16040787 edges, 23305 markings/sec, 630 secs
lola: 14455055 markings, 16170239 edges, 24005 markings/sec, 635 secs
lola: 14574510 markings, 16301157 edges, 23891 markings/sec, 640 secs
lola: 14695588 markings, 16431092 edges, 24216 markings/sec, 645 secs
lola: 14816971 markings, 16561675 edges, 24277 markings/sec, 650 secs
lola: 14936243 markings, 16691206 edges, 23854 markings/sec, 655 secs
lola: 15050569 markings, 16820066 edges, 22865 markings/sec, 660 secs
lola: 15133895 markings, 16944564 edges, 16665 markings/sec, 665 secs
lola: 15253642 markings, 17073695 edges, 23949 markings/sec, 670 secs
lola: 15363315 markings, 17197180 edges, 21935 markings/sec, 675 secs
lola: 15471202 markings, 17319898 edges, 21577 markings/sec, 680 secs
lola: 15580969 markings, 17443911 edges, 21953 markings/sec, 685 secs
lola: 15699818 markings, 17571974 edges, 23770 markings/sec, 690 secs
lola: 15807593 markings, 17694315 edges, 21555 markings/sec, 695 secs
lola: 15918419 markings, 17816180 edges, 22165 markings/sec, 700 secs
lola: 16033560 markings, 17941313 edges, 23028 markings/sec, 705 secs
lola: 16154498 markings, 18071029 edges, 24188 markings/sec, 710 secs
lola: 16255382 markings, 18201845 edges, 20177 markings/sec, 715 secs
lola: 16360778 markings, 18324793 edges, 21079 markings/sec, 720 secs
lola: 16478519 markings, 18452033 edges, 23548 markings/sec, 725 secs
lola: 16587399 markings, 18574613 edges, 21776 markings/sec, 730 secs
lola: 16694359 markings, 18696158 edges, 21392 markings/sec, 735 secs
lola: 16806588 markings, 18819266 edges, 22446 markings/sec, 740 secs
lola: 16922299 markings, 18945296 edges, 23142 markings/sec, 745 secs
lola: 17037298 markings, 19070905 edges, 23000 markings/sec, 750 secs
lola: 17149898 markings, 19195249 edges, 22520 markings/sec, 755 secs
lola: 17256482 markings, 19314970 edges, 21317 markings/sec, 760 secs
lola: 17364809 markings, 19435861 edges, 21665 markings/sec, 765 secs
lola: 17460627 markings, 19548983 edges, 19164 markings/sec, 770 secs
lola: 17552757 markings, 19664552 edges, 18426 markings/sec, 775 secs
lola: 17658000 markings, 19786038 edges, 21049 markings/sec, 780 secs
lola: 17746018 markings, 19894169 edges, 17604 markings/sec, 785 secs
lola: 17825396 markings, 20007454 edges, 15876 markings/sec, 790 secs
lola: 17899745 markings, 20115887 edges, 14870 markings/sec, 795 secs
lola: 17975411 markings, 20219552 edges, 15133 markings/sec, 800 secs
lola: 18065100 markings, 20334227 edges, 17938 markings/sec, 805 secs
lola: 18165753 markings, 20449229 edges, 20131 markings/sec, 810 secs
lola: 18275478 markings, 20573186 edges, 21945 markings/sec, 815 secs
lola: 18395670 markings, 20701621 edges, 24038 markings/sec, 820 secs
lola: 18516458 markings, 20830833 edges, 24158 markings/sec, 825 secs
lola: 18638262 markings, 20961116 edges, 24361 markings/sec, 830 secs
lola: 18759416 markings, 21090835 edges, 24231 markings/sec, 835 secs
lola: 18880230 markings, 21220748 edges, 24163 markings/sec, 840 secs
lola: 19001435 markings, 21350677 edges, 24241 markings/sec, 845 secs
lola: 19122998 markings, 21480977 edges, 24313 markings/sec, 850 secs
lola: 19244664 markings, 21611434 edges, 24333 markings/sec, 855 secs
lola: 19366279 markings, 21741818 edges, 24323 markings/sec, 860 secs
lola: 19487924 markings, 21872038 edges, 24329 markings/sec, 865 secs
lola: 19608214 markings, 22000660 edges, 24058 markings/sec, 870 secs
lola: 19728965 markings, 22129747 edges, 24150 markings/sec, 875 secs
lola: 19849293 markings, 22258363 edges, 24066 markings/sec, 880 secs
lola: 19969611 markings, 22387543 edges, 24064 markings/sec, 885 secs
lola: 20089376 markings, 22517068 edges, 23953 markings/sec, 890 secs
lola: 20208460 markings, 22645636 edges, 23817 markings/sec, 895 secs
lola: 20327422 markings, 22773491 edges, 23792 markings/sec, 900 secs
lola: 20445450 markings, 22901173 edges, 23606 markings/sec, 905 secs
lola: 20548922 markings, 23027711 edges, 20694 markings/sec, 910 secs
lola: 20651128 markings, 23149921 edges, 20441 markings/sec, 915 secs
lola: 20766700 markings, 23275694 edges, 23114 markings/sec, 920 secs
lola: 20874814 markings, 23396195 edges, 21623 markings/sec, 925 secs
lola: 20990510 markings, 23522249 edges, 23139 markings/sec, 930 secs
lola: 21091464 markings, 23638074 edges, 20191 markings/sec, 935 secs
lola: 21199480 markings, 23758780 edges, 21603 markings/sec, 940 secs
lola: 21293870 markings, 23875384 edges, 18878 markings/sec, 945 secs
lola: 21394010 markings, 23988319 edges, 20028 markings/sec, 950 secs
lola: 21480678 markings, 24099495 edges, 17334 markings/sec, 955 secs
lola: 21564485 markings, 24209295 edges, 16761 markings/sec, 960 secs
lola: 21642906 markings, 24316385 edges, 15684 markings/sec, 965 secs
lola: 21716368 markings, 24425326 edges, 14692 markings/sec, 970 secs
lola: 21792510 markings, 24535834 edges, 15228 markings/sec, 975 secs
lola: 21896004 markings, 24651518 edges, 20699 markings/sec, 980 secs
lola: 21994703 markings, 24768699 edges, 19740 markings/sec, 985 secs
lola: 22115030 markings, 24897512 edges, 24065 markings/sec, 990 secs
lola: 22236252 markings, 25027150 edges, 24244 markings/sec, 995 secs
lola: 22357668 markings, 25156940 edges, 24283 markings/sec, 1000 secs
lola: 22479306 markings, 25287121 edges, 24328 markings/sec, 1005 secs
lola: 22601133 markings, 25417773 edges, 24365 markings/sec, 1010 secs
lola: 22722621 markings, 25548420 edges, 24298 markings/sec, 1015 secs
lola: 22844376 markings, 25678924 edges, 24351 markings/sec, 1020 secs
lola: 22966116 markings, 25809464 edges, 24348 markings/sec, 1025 secs
lola: 23088263 markings, 25940316 edges, 24429 markings/sec, 1030 secs
lola: 23210455 markings, 26071083 edges, 24438 markings/sec, 1035 secs
lola: 23331905 markings, 26201133 edges, 24290 markings/sec, 1040 secs
lola: 23453231 markings, 26330873 edges, 24265 markings/sec, 1045 secs
lola: 23574737 markings, 26460767 edges, 24301 markings/sec, 1050 secs
lola: 23696108 markings, 26591052 edges, 24274 markings/sec, 1055 secs
lola: 23817606 markings, 26721678 edges, 24300 markings/sec, 1060 secs
lola: 23937655 markings, 26851751 edges, 24010 markings/sec, 1065 secs
lola: 24057683 markings, 26980729 edges, 24006 markings/sec, 1070 secs
lola: 24176951 markings, 27109641 edges, 23854 markings/sec, 1075 secs
lola: 24296569 markings, 27238525 edges, 23924 markings/sec, 1080 secs
lola: 24385466 markings, 27359540 edges, 17779 markings/sec, 1085 secs
lola: 24501109 markings, 27485174 edges, 23129 markings/sec, 1090 secs
lola: 24620950 markings, 27614032 edges, 23968 markings/sec, 1095 secs
lola: 24733412 markings, 27736985 edges, 22492 markings/sec, 1100 secs
lola: 24846022 markings, 27860168 edges, 22522 markings/sec, 1105 secs
lola: 24958657 markings, 27983383 edges, 22527 markings/sec, 1110 secs
lola: 25071407 markings, 28106592 edges, 22550 markings/sec, 1115 secs
lola: 25191457 markings, 28235427 edges, 24010 markings/sec, 1120 secs
lola: 25295638 markings, 28353448 edges, 20836 markings/sec, 1125 secs
lola: 25395156 markings, 28468298 edges, 19904 markings/sec, 1130 secs
lola: 25498985 markings, 28584911 edges, 20766 markings/sec, 1135 secs
lola: 25602951 markings, 28701257 edges, 20793 markings/sec, 1140 secs
lola: 25699106 markings, 28821383 edges, 19231 markings/sec, 1145 secs
lola: 25790198 markings, 28941516 edges, 18218 markings/sec, 1150 secs
lola: 25893571 markings, 29057866 edges, 20675 markings/sec, 1155 secs
lola: 25989994 markings, 29177534 edges, 19285 markings/sec, 1160 secs
lola: 26087008 markings, 29296591 edges, 19403 markings/sec, 1165 secs
lola: 26177498 markings, 29416624 edges, 18098 markings/sec, 1170 secs
lola: 26276557 markings, 29534818 edges, 19812 markings/sec, 1175 secs
lola: 26387728 markings, 29658559 edges, 22234 markings/sec, 1180 secs
lola: 26506860 markings, 29788049 edges, 23826 markings/sec, 1185 secs
lola: 26605244 markings, 29901441 edges, 19677 markings/sec, 1190 secs
lola: 26684686 markings, 30011836 edges, 15888 markings/sec, 1195 secs
lola: 26759124 markings, 30115171 edges, 14888 markings/sec, 1200 secs
lola: 26854592 markings, 30231353 edges, 19094 markings/sec, 1205 secs
lola: 26964461 markings, 30352388 edges, 21974 markings/sec, 1210 secs
lola: 27083994 markings, 30480635 edges, 23907 markings/sec, 1215 secs
lola: 27205702 markings, 30610659 edges, 24342 markings/sec, 1220 secs
lola: 27327722 markings, 30741456 edges, 24404 markings/sec, 1225 secs
lola: 27448138 markings, 30870517 edges, 24083 markings/sec, 1230 secs
lola: 27569986 markings, 31000747 edges, 24370 markings/sec, 1235 secs
lola: 27692061 markings, 31131308 edges, 24415 markings/sec, 1240 secs
lola: 27814052 markings, 31261721 edges, 24398 markings/sec, 1245 secs
lola: 27936276 markings, 31392688 edges, 24445 markings/sec, 1250 secs
lola: 28057238 markings, 31522483 edges, 24192 markings/sec, 1255 secs
lola: 28179025 markings, 31652947 edges, 24357 markings/sec, 1260 secs
lola: 28300949 markings, 31784240 edges, 24385 markings/sec, 1265 secs
lola: 28422142 markings, 31914758 edges, 24239 markings/sec, 1270 secs
lola: 28542589 markings, 32045655 edges, 24089 markings/sec, 1275 secs
lola: 28646051 markings, 32172687 edges, 20692 markings/sec, 1280 secs
lola: 28758023 markings, 32297586 edges, 22394 markings/sec, 1285 secs
lola: 28866411 markings, 32420650 edges, 21678 markings/sec, 1290 secs
lola: 28975396 markings, 32544296 edges, 21797 markings/sec, 1295 secs
lola: 29095826 markings, 32674302 edges, 24086 markings/sec, 1300 secs
lola: 29183075 markings, 32786179 edges, 17450 markings/sec, 1305 secs
lola: 29257153 markings, 32893456 edges, 14816 markings/sec, 1310 secs
lola: 29350812 markings, 33008672 edges, 18732 markings/sec, 1315 secs
lola: 29465134 markings, 33133168 edges, 22864 markings/sec, 1320 secs
lola: 29584518 markings, 33261278 edges, 23877 markings/sec, 1325 secs
lola: 29705532 markings, 33390689 edges, 24203 markings/sec, 1330 secs
lola: 29826396 markings, 33519741 edges, 24173 markings/sec, 1335 secs
lola: 29947684 markings, 33649476 edges, 24258 markings/sec, 1340 secs
lola: 30067746 markings, 33778032 edges, 24012 markings/sec, 1345 secs
lola: 30188255 markings, 33907351 edges, 24102 markings/sec, 1350 secs
lola: 30308366 markings, 34036477 edges, 24022 markings/sec, 1355 secs
lola: 30428186 markings, 34165621 edges, 23964 markings/sec, 1360 secs
lola: 30547506 markings, 34295047 edges, 23864 markings/sec, 1365 secs
lola: 30646619 markings, 34418497 edges, 19823 markings/sec, 1370 secs
lola: 30764880 markings, 34545959 edges, 23652 markings/sec, 1375 secs
lola: 30872010 markings, 34667737 edges, 21426 markings/sec, 1380 secs
lola: 30979721 markings, 34788201 edges, 21542 markings/sec, 1385 secs
lola: 31100670 markings, 34917490 edges, 24190 markings/sec, 1390 secs
lola: 31209641 markings, 35038162 edges, 21794 markings/sec, 1395 secs
lola: 31319394 markings, 35159361 edges, 21951 markings/sec, 1400 secs
lola: 31431280 markings, 35283396 edges, 22377 markings/sec, 1405 secs
lola: 31548938 markings, 35411864 edges, 23532 markings/sec, 1410 secs
lola: 31648670 markings, 35525731 edges, 19946 markings/sec, 1415 secs
lola: 31728417 markings, 35634778 edges, 15949 markings/sec, 1420 secs
lola: 31802357 markings, 35738663 edges, 14788 markings/sec, 1425 secs
lola: 31896624 markings, 35854780 edges, 18853 markings/sec, 1430 secs
lola: 32005607 markings, 35975254 edges, 21797 markings/sec, 1435 secs
lola: 32125221 markings, 36103590 edges, 23923 markings/sec, 1440 secs
lola: 32247159 markings, 36233852 edges, 24388 markings/sec, 1445 secs
lola: 32369108 markings, 36364579 edges, 24390 markings/sec, 1450 secs
lola: 32489797 markings, 36493936 edges, 24138 markings/sec, 1455 secs
lola: 32611936 markings, 36624462 edges, 24428 markings/sec, 1460 secs
lola: 32734116 markings, 36755141 edges, 24436 markings/sec, 1465 secs
lola: 32856628 markings, 36886116 edges, 24502 markings/sec, 1470 secs
lola: 32979643 markings, 37017928 edges, 24603 markings/sec, 1475 secs
lola: 33101361 markings, 37148496 edges, 24344 markings/sec, 1480 secs
lola: 33223395 markings, 37279249 edges, 24407 markings/sec, 1485 secs
lola: 33345379 markings, 37410595 edges, 24397 markings/sec, 1490 secs
lola: 33466616 markings, 37541175 edges, 24247 markings/sec, 1495 secs
lola: 33587249 markings, 37672266 edges, 24127 markings/sec, 1500 secs
lola: 33691521 markings, 37800213 edges, 20854 markings/sec, 1505 secs
lola: 33804349 markings, 37925985 edges, 22566 markings/sec, 1510 secs
lola: 33913444 markings, 38049817 edges, 21819 markings/sec, 1515 secs
lola: 34022680 markings, 38173741 edges, 21847 markings/sec, 1520 secs
lola: 34143093 markings, 38303711 edges, 24083 markings/sec, 1525 secs
lola: 34229812 markings, 38415688 edges, 17344 markings/sec, 1530 secs
lola: 34304166 markings, 38523360 edges, 14871 markings/sec, 1535 secs
lola: 34398892 markings, 38639197 edges, 18945 markings/sec, 1540 secs
lola: 34514592 markings, 38764909 edges, 23140 markings/sec, 1545 secs
lola: 34634400 markings, 38893472 edges, 23962 markings/sec, 1550 secs
lola: 34756206 markings, 39023732 edges, 24361 markings/sec, 1555 secs
lola: 34877338 markings, 39153064 edges, 24226 markings/sec, 1560 secs
lola: 34993420 markings, 39277248 edges, 23216 markings/sec, 1565 secs
lola: 35112475 markings, 39404721 edges, 23811 markings/sec, 1570 secs
lola: 35234504 markings, 39535758 edges, 24406 markings/sec, 1575 secs
lola: 35356833 markings, 39667176 edges, 24466 markings/sec, 1580 secs
lola: 35477920 markings, 39797730 edges, 24217 markings/sec, 1585 secs
lola: 35598712 markings, 39928723 edges, 24158 markings/sec, 1590 secs
lola: 35698372 markings, 40053050 edges, 19932 markings/sec, 1595 secs
lola: 35818881 markings, 40182613 edges, 24102 markings/sec, 1600 secs
lola: 35927467 markings, 40305927 edges, 21717 markings/sec, 1605 secs
lola: 36036572 markings, 40427835 edges, 21821 markings/sec, 1610 secs
lola: 36156224 markings, 40556744 edges, 23930 markings/sec, 1615 secs
lola: 36268586 markings, 40680047 edges, 22472 markings/sec, 1620 secs
lola: 36380490 markings, 40803535 edges, 22381 markings/sec, 1625 secs
lola: 36494756 markings, 40927280 edges, 22853 markings/sec, 1630 secs
lola: 36599146 markings, 41043340 edges, 20878 markings/sec, 1635 secs
lola: 36686729 markings, 41148618 edges, 17517 markings/sec, 1640 secs
lola: 36777628 markings, 41252975 edges, 18180 markings/sec, 1645 secs
lola: 36854964 markings, 41368036 edges, 15467 markings/sec, 1650 secs
lola: 36943930 markings, 41474932 edges, 17793 markings/sec, 1655 secs
lola: 37029744 markings, 41587384 edges, 17163 markings/sec, 1660 secs
lola: 37111608 markings, 41700735 edges, 16373 markings/sec, 1665 secs
lola: 37199487 markings, 41817469 edges, 17576 markings/sec, 1670 secs
lola: 37317064 markings, 41943789 edges, 23515 markings/sec, 1675 secs
lola: 37418826 markings, 42058808 edges, 20352 markings/sec, 1680 secs
lola: 37512344 markings, 42170813 edges, 18704 markings/sec, 1685 secs
lola: 37592458 markings, 42280399 edges, 16023 markings/sec, 1690 secs
lola: 37684327 markings, 42393502 edges, 18374 markings/sec, 1695 secs
lola: 37799560 markings, 42520345 edges, 23047 markings/sec, 1700 secs
lola: 37922310 markings, 42651703 edges, 24550 markings/sec, 1705 secs
lola: 38045124 markings, 42783053 edges, 24563 markings/sec, 1710 secs
lola: 38168269 markings, 42914986 edges, 24629 markings/sec, 1715 secs
lola: 38291522 markings, 43046998 edges, 24651 markings/sec, 1720 secs
lola: 38415429 markings, 43179734 edges, 24781 markings/sec, 1725 secs
lola: 38538824 markings, 43312843 edges, 24679 markings/sec, 1730 secs
lola: 38645066 markings, 43444880 edges, 21248 markings/sec, 1735 secs
lola: 38744701 markings, 43554603 edges, 19927 markings/sec, 1740 secs
lola: 38846726 markings, 43667598 edges, 20405 markings/sec, 1745 secs
lola: 38946396 markings, 43781455 edges, 19934 markings/sec, 1750 secs
lola: 39049624 markings, 43896411 edges, 20646 markings/sec, 1755 secs
lola: 39149165 markings, 44011851 edges, 19908 markings/sec, 1760 secs
lola: 39245470 markings, 44127247 edges, 19261 markings/sec, 1765 secs
lola: 39349207 markings, 44245136 edges, 20747 markings/sec, 1770 secs
lola: 39446768 markings, 44367122 edges, 19512 markings/sec, 1775 secs
lola: 39546648 markings, 44487362 edges, 19976 markings/sec, 1780 secs
lola: 39642411 markings, 44605979 edges, 19153 markings/sec, 1785 secs
lola: 39725603 markings, 44730348 edges, 16638 markings/sec, 1790 secs
lola: 39822424 markings, 44843201 edges, 19364 markings/sec, 1795 secs
lola: 39934352 markings, 44966181 edges, 22386 markings/sec, 1800 secs
lola: 40034030 markings, 45077186 edges, 19936 markings/sec, 1805 secs
lola: 40122780 markings, 45182331 edges, 17750 markings/sec, 1810 secs
lola: 40212670 markings, 45286390 edges, 17978 markings/sec, 1815 secs
lola: 40296454 markings, 45396392 edges, 16757 markings/sec, 1820 secs
lola: 40384230 markings, 45508815 edges, 17555 markings/sec, 1825 secs
lola: 40470220 markings, 45620738 edges, 17198 markings/sec, 1830 secs
lola: 40543634 markings, 45739766 edges, 14683 markings/sec, 1835 secs
lola: 40639477 markings, 45856784 edges, 19169 markings/sec, 1840 secs
lola: 40754178 markings, 45983305 edges, 22940 markings/sec, 1845 secs
lola: 40862094 markings, 46105901 edges, 21583 markings/sec, 1850 secs
lola: 40948296 markings, 46219742 edges, 17240 markings/sec, 1855 secs
lola: 41067055 markings, 46349234 edges, 23752 markings/sec, 1860 secs
lola: 41189788 markings, 46480823 edges, 24547 markings/sec, 1865 secs
lola: 41312820 markings, 46612969 edges, 24606 markings/sec, 1870 secs
lola: 41419494 markings, 46736896 edges, 21335 markings/sec, 1875 secs
lola: 41535173 markings, 46864694 edges, 23136 markings/sec, 1880 secs
lola: 41637973 markings, 46978381 edges, 20560 markings/sec, 1885 secs
lola: 41737808 markings, 47089078 edges, 19967 markings/sec, 1890 secs
lola: 41846240 markings, 47208146 edges, 21686 markings/sec, 1895 secs
lola: 41957944 markings, 47330329 edges, 22341 markings/sec, 1900 secs
lola: 42068863 markings, 47451398 edges, 22184 markings/sec, 1905 secs
lola: 42170108 markings, 47564391 edges, 20249 markings/sec, 1910 secs
lola: 42275814 markings, 47686387 edges, 21141 markings/sec, 1915 secs
lola: 42361804 markings, 47799089 edges, 17198 markings/sec, 1920 secs
lola: 42483418 markings, 47929269 edges, 24323 markings/sec, 1925 secs
lola: 42605235 markings, 48059885 edges, 24363 markings/sec, 1930 secs
lola: 42727867 markings, 48191652 edges, 24526 markings/sec, 1935 secs
lola: 42832892 markings, 48313922 edges, 21005 markings/sec, 1940 secs
lola: 42949284 markings, 48442291 edges, 23278 markings/sec, 1945 secs
lola: 43058069 markings, 48565372 edges, 21757 markings/sec, 1950 secs
lola: 43144556 markings, 48679286 edges, 17297 markings/sec, 1955 secs
lola: 43268094 markings, 48811602 edges, 24708 markings/sec, 1960 secs
lola: 43391509 markings, 48943925 edges, 24683 markings/sec, 1965 secs
lola: 43514861 markings, 49076659 edges, 24670 markings/sec, 1970 secs
lola: 43618272 markings, 49199774 edges, 20682 markings/sec, 1975 secs
lola: 43733461 markings, 49327269 edges, 23038 markings/sec, 1980 secs
lola: 43843599 markings, 49450447 edges, 22028 markings/sec, 1985 secs
lola: 43929295 markings, 49563574 edges, 17139 markings/sec, 1990 secs
lola: 44047941 markings, 49692799 edges, 23729 markings/sec, 1995 secs
lola: 44169994 markings, 49823664 edges, 24411 markings/sec, 2000 secs
lola: 44292314 markings, 49955055 edges, 24464 markings/sec, 2005 secs
lola: 44400355 markings, 50079388 edges, 21608 markings/sec, 2010 secs
lola: 44499118 markings, 50189145 edges, 19753 markings/sec, 2015 secs
lola: 44586490 markings, 50291814 edges, 17474 markings/sec, 2020 secs
lola: 44674410 markings, 50394486 edges, 17584 markings/sec, 2025 secs
lola: 44757726 markings, 50500449 edges, 16663 markings/sec, 2030 secs
lola: 44845434 markings, 50607237 edges, 17542 markings/sec, 2035 secs
lola: 44927437 markings, 50720771 edges, 16401 markings/sec, 2040 secs
lola: 45003717 markings, 50835530 edges, 15256 markings/sec, 2045 secs
lola: 45086674 markings, 50952257 edges, 16591 markings/sec, 2050 secs
lola: 45186730 markings, 51063465 edges, 20011 markings/sec, 2055 secs
lola: 45283214 markings, 51172132 edges, 19297 markings/sec, 2060 secs
lola: 45378304 markings, 51279547 edges, 19018 markings/sec, 2065 secs
lola: 45477585 markings, 51391332 edges, 19856 markings/sec, 2070 secs
lola: 45575588 markings, 51502417 edges, 19601 markings/sec, 2075 secs
lola: 45688506 markings, 51626240 edges, 22584 markings/sec, 2080 secs
lola: 45796549 markings, 51745879 edges, 21609 markings/sec, 2085 secs
lola: 45890964 markings, 51858041 edges, 18883 markings/sec, 2090 secs
lola: 45971673 markings, 51967270 edges, 16142 markings/sec, 2095 secs
lola: 46061622 markings, 52078969 edges, 17990 markings/sec, 2100 secs
lola: 46176893 markings, 52205394 edges, 23054 markings/sec, 2105 secs
lola: 46300253 markings, 52337435 edges, 24672 markings/sec, 2110 secs
lola: 46423372 markings, 52469273 edges, 24624 markings/sec, 2115 secs
lola: 46546516 markings, 52601178 edges, 24629 markings/sec, 2120 secs
lola: 46670060 markings, 52733511 edges, 24709 markings/sec, 2125 secs
lola: 46792846 markings, 52865048 edges, 24557 markings/sec, 2130 secs
lola: 46915629 markings, 52997390 edges, 24557 markings/sec, 2135 secs
lola: 47024560 markings, 53128216 edges, 21786 markings/sec, 2140 secs
lola: 47120806 markings, 53242076 edges, 19249 markings/sec, 2145 secs
lola: 47216563 markings, 53351947 edges, 19151 markings/sec, 2150 secs
lola: 47312496 markings, 53459586 edges, 19187 markings/sec, 2155 secs
lola: 47410650 markings, 53573157 edges, 19631 markings/sec, 2160 secs
lola: 47507693 markings, 53684846 edges, 19409 markings/sec, 2165 secs
lola: 47602126 markings, 53794295 edges, 18887 markings/sec, 2170 secs
lola: 47693546 markings, 53905257 edges, 18284 markings/sec, 2175 secs
lola: 47786624 markings, 54017079 edges, 18616 markings/sec, 2180 secs
lola: 47884274 markings, 54128086 edges, 19530 markings/sec, 2185 secs
lola: 47971032 markings, 54234413 edges, 17352 markings/sec, 2190 secs
lola: 48063053 markings, 54345927 edges, 18404 markings/sec, 2195 secs
lola: 48170057 markings, 54466727 edges, 21401 markings/sec, 2200 secs
lola: 48265966 markings, 54580222 edges, 19182 markings/sec, 2205 secs
lola: 48363850 markings, 54695021 edges, 19577 markings/sec, 2210 secs
lola: 48461257 markings, 54806175 edges, 19481 markings/sec, 2215 secs
lola: 48565925 markings, 54927122 edges, 20934 markings/sec, 2220 secs
lola: 48670837 markings, 55041741 edges, 20982 markings/sec, 2225 secs
lola: 48765976 markings, 55154874 edges, 19028 markings/sec, 2230 secs
lola: 48873432 markings, 55273318 edges, 21491 markings/sec, 2235 secs
lola: 48981616 markings, 55393160 edges, 21637 markings/sec, 2240 secs
lola: 49095293 markings, 55517328 edges, 22735 markings/sec, 2245 secs
lola: 49203083 markings, 55636757 edges, 21558 markings/sec, 2250 secs
lola: 49315956 markings, 55760186 edges, 22575 markings/sec, 2255 secs
lola: 49409097 markings, 55871532 edges, 18628 markings/sec, 2260 secs
lola: 49503650 markings, 55976288 edges, 18911 markings/sec, 2265 secs
lola: 49603204 markings, 56089039 edges, 19911 markings/sec, 2270 secs
lola: 49714825 markings, 56212757 edges, 22324 markings/sec, 2275 secs
lola: 49811951 markings, 56324992 edges, 19425 markings/sec, 2280 secs
lola: 49904185 markings, 56434799 edges, 18447 markings/sec, 2285 secs
lola: 50011694 markings, 56552961 edges, 21502 markings/sec, 2290 secs
lola: 50107308 markings, 56661993 edges, 19123 markings/sec, 2295 secs
lola: 50206772 markings, 56772930 edges, 19893 markings/sec, 2300 secs
lola: 50300398 markings, 56877860 edges, 18725 markings/sec, 2305 secs
lola: 50399134 markings, 56989510 edges, 19747 markings/sec, 2310 secs
lola: 50494344 markings, 57102107 edges, 19042 markings/sec, 2315 secs
lola: 50593628 markings, 57214155 edges, 19857 markings/sec, 2320 secs
lola: 50689508 markings, 57327689 edges, 19176 markings/sec, 2325 secs
lola: 50787329 markings, 57440204 edges, 19564 markings/sec, 2330 secs
lola: 50884598 markings, 57551126 edges, 19454 markings/sec, 2335 secs
lola: 50981645 markings, 57660771 edges, 19409 markings/sec, 2340 secs
lola: 51079062 markings, 57770432 edges, 19483 markings/sec, 2345 secs
lola: 51175751 markings, 57881968 edges, 19338 markings/sec, 2350 secs
lola: 51273754 markings, 57992634 edges, 19601 markings/sec, 2355 secs
lola: 51370409 markings, 58102649 edges, 19331 markings/sec, 2360 secs
lola: 51470061 markings, 58215655 edges, 19930 markings/sec, 2365 secs
lola: 51568787 markings, 58331404 edges, 19745 markings/sec, 2370 secs
lola: 51667365 markings, 58444641 edges, 19716 markings/sec, 2375 secs
lola: 51764208 markings, 58555661 edges, 19369 markings/sec, 2380 secs
lola: 51862484 markings, 58668211 edges, 19655 markings/sec, 2385 secs
lola: 51958484 markings, 58779581 edges, 19200 markings/sec, 2390 secs
lola: 52054743 markings, 58889668 edges, 19252 markings/sec, 2395 secs
lola: 52146331 markings, 58999654 edges, 18318 markings/sec, 2400 secs
lola: 52238344 markings, 59105426 edges, 18403 markings/sec, 2405 secs
lola: 52323797 markings, 59208424 edges, 17091 markings/sec, 2410 secs
lola: 52411863 markings, 59311757 edges, 17613 markings/sec, 2415 secs
lola: 52485682 markings, 59426190 edges, 14764 markings/sec, 2420 secs
lola: 52572109 markings, 59537188 edges, 17285 markings/sec, 2425 secs
lola: 52656364 markings, 59648331 edges, 16851 markings/sec, 2430 secs
lola: 52732825 markings, 59762691 edges, 15292 markings/sec, 2435 secs
lola: 52830508 markings, 59874920 edges, 19537 markings/sec, 2440 secs
lola: 52926123 markings, 59986729 edges, 19123 markings/sec, 2445 secs
lola: 53020990 markings, 60096745 edges, 18973 markings/sec, 2450 secs
lola: 53114227 markings, 60204260 edges, 18647 markings/sec, 2455 secs
lola: 53208169 markings, 60312518 edges, 18788 markings/sec, 2460 secs
lola: 53305147 markings, 60425315 edges, 19396 markings/sec, 2465 secs
lola: 53398838 markings, 60533509 edges, 18738 markings/sec, 2470 secs
lola: 53494800 markings, 60644589 edges, 19192 markings/sec, 2475 secs
lola: 53587273 markings, 60752962 edges, 18495 markings/sec, 2480 secs
lola: 53678342 markings, 60858447 edges, 18214 markings/sec, 2485 secs
lola: 53767608 markings, 60966113 edges, 17853 markings/sec, 2490 secs
lola: 53861323 markings, 61077248 edges, 18743 markings/sec, 2495 secs
lola: 53958316 markings, 61188373 edges, 19399 markings/sec, 2500 secs
lola: 54048458 markings, 61299381 edges, 18028 markings/sec, 2505 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown 1 1 1 1 1 unknown 1 1 1 1 1
lola:
preliminary result: 1 1 unknown 1 unknown 1 1 1 1 1 unknown 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 unknown 1 1 1 1 1 unknown 1 1 1 1 1
lola: memory consumption: 28060 KB
lola: time consumption: 3569 seconds

BK_STOP 1552348382391

--------------------
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-6b"
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-6b, 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-155229658700028"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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