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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users 4.2K Feb 9 09:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 9 09:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 08:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 5 08:18 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:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Feb 2 02:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Feb 2 02:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Jan 29 16:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Jan 29 16:03 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 20M 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-7b-UpperBounds-00
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-01
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-02
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-03
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-04
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-05
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-06
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-07
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-08
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-09
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-10
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-11
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-12
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-13
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-14
FORMULA_NAME CloudDeployment-PT-7b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552350680893

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudDeployment-PT-7b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating CloudDeployment-PT-7b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ CloudDeployment-PT-7b @ 3568 seconds
lola: LoLA will run for 3568 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 22023/65536 symbol table entries, 8095 collisions
lola: preprocessing...
lola: Size of bit vector: 2271
lola: finding significant places
lola: 2271 places, 19752 transitions, 2242 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3555 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-7b-UpperBounds.task
lola: MAX(p398) : MAX(p1001) : MAX(p157) : MAX(p1014) : MAX(p122) : MAX(p118) : MAX(p854) : MAX(p517) : MAX(p525) : MAX(p2221) : MAX(p414) : MAX(p1160) : MAX(p625) : MAX(p504) : MAX(p1601) : MAX(p1790)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p398)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p398)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: 20 markings, 19 edges
lola: ========================================

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

FORMULA CloudDeployment-PT-7b-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p157)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p157)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: 46981 markings, 80806 edges, 9396 markings/sec, 5 secs
lola: 106102 markings, 162781 edges, 11824 markings/sec, 10 secs
lola: 158379 markings, 260078 edges, 10455 markings/sec, 15 secs
lola: 197955 markings, 382973 edges, 7915 markings/sec, 20 secs
lola: 253365 markings, 474332 edges, 11082 markings/sec, 25 secs
lola: 301463 markings, 584604 edges, 9620 markings/sec, 30 secs
lola: 337211 markings, 716193 edges, 7150 markings/sec, 35 secs
lola: 392749 markings, 805512 edges, 11108 markings/sec, 40 secs
lola: 442999 markings, 910633 edges, 10050 markings/sec, 45 secs
lola: 473436 markings, 1048688 edges, 6087 markings/sec, 50 secs
lola: 528032 markings, 1133590 edges, 10919 markings/sec, 55 secs
lola: 579794 markings, 1229319 edges, 10352 markings/sec, 60 secs
lola: 614218 markings, 1356151 edges, 6885 markings/sec, 65 secs
lola: 662537 markings, 1459354 edges, 9664 markings/sec, 70 secs
lola: 714311 markings, 1548872 edges, 10355 markings/sec, 75 secs
lola: 755785 markings, 1664395 edges, 8295 markings/sec, 80 secs
lola: 795841 markings, 1785035 edges, 8011 markings/sec, 85 secs
lola: 848658 markings, 1871903 edges, 10563 markings/sec, 90 secs
lola: 895493 markings, 1977432 edges, 9367 markings/sec, 95 secs
lola: 928322 markings, 2113126 edges, 6566 markings/sec, 100 secs
lola: 983501 markings, 2196275 edges, 11036 markings/sec, 105 secs
lola: 1031976 markings, 2301462 edges, 9695 markings/sec, 110 secs
lola: 1061176 markings, 2442136 edges, 5840 markings/sec, 115 secs
lola: 1114685 markings, 2530721 edges, 10702 markings/sec, 120 secs
lola: 1167214 markings, 2629047 edges, 10506 markings/sec, 125 secs
lola: 1203997 markings, 2748658 edges, 7357 markings/sec, 130 secs
lola: 1250801 markings, 2860959 edges, 9361 markings/sec, 135 secs
lola: 1297300 markings, 2964375 edges, 9300 markings/sec, 140 secs
lola: 1339854 markings, 3082443 edges, 8511 markings/sec, 145 secs
lola: 1371354 markings, 3222558 edges, 6300 markings/sec, 150 secs
lola: 1423281 markings, 3317060 edges, 10385 markings/sec, 155 secs
lola: 1468304 markings, 3424724 edges, 9005 markings/sec, 160 secs
lola: 1503904 markings, 3553775 edges, 7120 markings/sec, 165 secs
lola: 1546165 markings, 3673753 edges, 8452 markings/sec, 170 secs
lola: 1593271 markings, 3774193 edges, 9421 markings/sec, 175 secs
lola: 1637309 markings, 3888790 edges, 8808 markings/sec, 180 secs
lola: 1664880 markings, 4035628 edges, 5514 markings/sec, 185 secs
lola: 1718310 markings, 4127714 edges, 10686 markings/sec, 190 secs
lola: 1765475 markings, 4231294 edges, 9433 markings/sec, 195 secs
lola: 1803165 markings, 4355591 edges, 7538 markings/sec, 200 secs
lola: 1840430 markings, 4485517 edges, 7453 markings/sec, 205 secs
lola: 1888521 markings, 4584132 edges, 9618 markings/sec, 210 secs
lola: 1935072 markings, 4692677 edges, 9310 markings/sec, 215 secs
lola: 1961554 markings, 4841828 edges, 5296 markings/sec, 220 secs
lola: 2013097 markings, 4939499 edges, 10309 markings/sec, 225 secs
lola: 2059149 markings, 5035677 edges, 9210 markings/sec, 230 secs
lola: 2098475 markings, 5147736 edges, 7865 markings/sec, 235 secs
lola: 2128547 markings, 5292973 edges, 6014 markings/sec, 240 secs
lola: 2182252 markings, 5381479 edges, 10741 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: 376624 KB
lola: time consumption: 286 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1014)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1014)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 18 markings, 17 edges
lola: ========================================

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

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

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

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

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

FORMULA CloudDeployment-PT-7b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 464 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2221)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2221)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: 3945 markings, 4265 edges, 789 markings/sec, 0 secs
lola: 54487 markings, 62128 edges, 10108 markings/sec, 5 secs
lola: 104329 markings, 120657 edges, 9968 markings/sec, 10 secs
lola: 151174 markings, 177462 edges, 9369 markings/sec, 15 secs
lola: 196721 markings, 229386 edges, 9109 markings/sec, 20 secs
lola: 244451 markings, 285996 edges, 9546 markings/sec, 25 secs
lola: 290685 markings, 348517 edges, 9247 markings/sec, 30 secs
lola: 338748 markings, 404138 edges, 9613 markings/sec, 35 secs
lola: 385912 markings, 468563 edges, 9433 markings/sec, 40 secs
lola: 436274 markings, 526052 edges, 10072 markings/sec, 45 secs
lola: 485699 markings, 585005 edges, 9885 markings/sec, 50 secs
lola: 534896 markings, 644790 edges, 9839 markings/sec, 55 secs
lola: 583822 markings, 704727 edges, 9785 markings/sec, 60 secs
lola: 633984 markings, 762345 edges, 10032 markings/sec, 65 secs
lola: 680593 markings, 816783 edges, 9322 markings/sec, 70 secs
lola: 730815 markings, 874735 edges, 10044 markings/sec, 75 secs
lola: 781118 markings, 932425 edges, 10061 markings/sec, 80 secs
lola: 831077 markings, 990731 edges, 9992 markings/sec, 85 secs
lola: 880144 markings, 1050753 edges, 9813 markings/sec, 90 secs
lola: 928506 markings, 1113198 edges, 9672 markings/sec, 95 secs
lola: 977711 markings, 1173476 edges, 9841 markings/sec, 100 secs
lola: 1027320 markings, 1234005 edges, 9922 markings/sec, 105 secs
lola: 1075047 markings, 1297878 edges, 9545 markings/sec, 110 secs
lola: 1121952 markings, 1364821 edges, 9381 markings/sec, 115 secs
lola: 1169202 markings, 1430393 edges, 9450 markings/sec, 120 secs
lola: 1218146 markings, 1491287 edges, 9789 markings/sec, 125 secs
lola: 1267198 markings, 1551510 edges, 9810 markings/sec, 130 secs
lola: 1316489 markings, 1611634 edges, 9858 markings/sec, 135 secs
lola: 1365975 markings, 1670624 edges, 9897 markings/sec, 140 secs
lola: 1415587 markings, 1729504 edges, 9922 markings/sec, 145 secs
lola: 1465970 markings, 1787145 edges, 10077 markings/sec, 150 secs
lola: 1516111 markings, 1844999 edges, 10028 markings/sec, 155 secs
lola: 1565947 markings, 1904543 edges, 9967 markings/sec, 160 secs
lola: 1616028 markings, 1962143 edges, 10016 markings/sec, 165 secs
lola: 1664042 markings, 2020171 edges, 9603 markings/sec, 170 secs
lola: 1713367 markings, 2083295 edges, 9865 markings/sec, 175 secs
lola: 1763535 markings, 2146165 edges, 10034 markings/sec, 180 secs
lola: 1813003 markings, 2210178 edges, 9894 markings/sec, 185 secs
lola: 1859935 markings, 2267416 edges, 9386 markings/sec, 190 secs
lola: 1907286 markings, 2333445 edges, 9470 markings/sec, 195 secs
lola: 1953491 markings, 2401439 edges, 9241 markings/sec, 200 secs
lola: 2002716 markings, 2461724 edges, 9845 markings/sec, 205 secs
lola: 2052264 markings, 2520756 edges, 9910 markings/sec, 210 secs
lola: 2101970 markings, 2579304 edges, 9941 markings/sec, 215 secs
lola: 2150854 markings, 2636500 edges, 9777 markings/sec, 220 secs
lola: 2198804 markings, 2691341 edges, 9590 markings/sec, 225 secs
lola: 2244885 markings, 2754268 edges, 9216 markings/sec, 230 secs
lola: 2292455 markings, 2809986 edges, 9514 markings/sec, 235 secs
lola: 2339476 markings, 2868180 edges, 9404 markings/sec, 240 secs
lola: 2387877 markings, 2931971 edges, 9680 markings/sec, 245 secs
lola: 2438398 markings, 2988315 edges, 10104 markings/sec, 250 secs
lola: 2487191 markings, 3048798 edges, 9759 markings/sec, 255 secs
lola: 2536198 markings, 3108595 edges, 9801 markings/sec, 260 secs
lola: 2585667 markings, 3167425 edges, 9894 markings/sec, 265 secs
lola: 2636123 markings, 3224410 edges, 10091 markings/sec, 270 secs
lola: 2686009 markings, 3282972 edges, 9977 markings/sec, 275 secs
lola: 2736117 markings, 3340921 edges, 10022 markings/sec, 280 secs
lola: 2786331 markings, 3398506 edges, 10043 markings/sec, 285 secs
lola: 2835949 markings, 3457383 edges, 9924 markings/sec, 290 secs
lola: 2884680 markings, 3518024 edges, 9746 markings/sec, 295 secs
lola: 2932979 markings, 3580278 edges, 9660 markings/sec, 300 secs
lola: 2982149 markings, 3641138 edges, 9834 markings/sec, 305 secs
lola: 3030928 markings, 3702879 edges, 9756 markings/sec, 310 secs
lola: 3078128 markings, 3767986 edges, 9440 markings/sec, 315 secs
lola: 3124669 markings, 3835093 edges, 9308 markings/sec, 320 secs
lola: 3172855 markings, 3897513 edges, 9637 markings/sec, 325 secs
lola: 3222033 markings, 3957442 edges, 9836 markings/sec, 330 secs
lola: 3271320 markings, 4016743 edges, 9857 markings/sec, 335 secs
lola: 3320286 markings, 4077058 edges, 9793 markings/sec, 340 secs
lola: 3369254 markings, 4137051 edges, 9794 markings/sec, 345 secs
lola: 3419737 markings, 4193739 edges, 10097 markings/sec, 350 secs
lola: 3469877 markings, 4251629 edges, 10028 markings/sec, 355 secs
lola: 3520032 markings, 4309636 edges, 10031 markings/sec, 360 secs
lola: 3569689 markings, 4368415 edges, 9931 markings/sec, 365 secs
lola: 3619434 markings, 4426751 edges, 9949 markings/sec, 370 secs
lola: 3668200 markings, 4486911 edges, 9753 markings/sec, 375 secs
lola: 3716426 markings, 4549380 edges, 9645 markings/sec, 380 secs
lola: 3765351 markings, 4610305 edges, 9785 markings/sec, 385 secs
lola: 3813745 markings, 4672775 edges, 9679 markings/sec, 390 secs
lola: 3862723 markings, 4734239 edges, 9796 markings/sec, 395 secs
lola: 3909076 markings, 4802229 edges, 9271 markings/sec, 400 secs
lola: 3956499 markings, 4866081 edges, 9485 markings/sec, 405 secs
lola: 4006469 markings, 4924657 edges, 9994 markings/sec, 410 secs
lola: 4055882 markings, 4979227 edges, 9883 markings/sec, 415 secs
lola: 4103986 markings, 5035456 edges, 9621 markings/sec, 420 secs
lola: 4151001 markings, 5095264 edges, 9403 markings/sec, 425 secs
lola: 4197649 markings, 5156542 edges, 9330 markings/sec, 430 secs
lola: 4245452 markings, 5212312 edges, 9561 markings/sec, 435 secs
lola: 4293625 markings, 5272953 edges, 9635 markings/sec, 440 secs
lola: 4343783 markings, 5331808 edges, 10032 markings/sec, 445 secs
lola: 4393493 markings, 5391424 edges, 9942 markings/sec, 450 secs
lola: 4442732 markings, 5451516 edges, 9848 markings/sec, 455 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 494840 KB
lola: time consumption: 780 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 464 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p414)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p414)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-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: 49 markings, 48 edges

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

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

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

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

FORMULA CloudDeployment-PT-7b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p157)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p157)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file CloudDeployment-PT-7b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 1
lola: 47963 markings, 82082 edges, 9593 markings/sec, 5 secs
lola: 105757 markings, 162270 edges, 11559 markings/sec, 10 secs
lola: 157291 markings, 257556 edges, 10307 markings/sec, 15 secs
lola: 195484 markings, 379286 edges, 7639 markings/sec, 20 secs
lola: 250148 markings, 468670 edges, 10933 markings/sec, 25 secs
lola: 298498 markings, 574302 edges, 9670 markings/sec, 30 secs
lola: 331263 markings, 707883 edges, 6553 markings/sec, 35 secs
lola: 387046 markings, 794563 edges, 11157 markings/sec, 40 secs
lola: 437957 markings, 894937 edges, 10182 markings/sec, 45 secs
lola: 468907 markings, 1030130 edges, 6190 markings/sec, 50 secs
lola: 521220 markings, 1123359 edges, 10463 markings/sec, 55 secs
lola: 574412 markings, 1217809 edges, 10638 markings/sec, 60 secs
lola: 612157 markings, 1339717 edges, 7549 markings/sec, 65 secs
lola: 657153 markings, 1451729 edges, 8999 markings/sec, 70 secs
lola: 709835 markings, 1540353 edges, 10536 markings/sec, 75 secs
lola: 753523 markings, 1654834 edges, 8738 markings/sec, 80 secs
lola: 792368 markings, 1780302 edges, 7769 markings/sec, 85 secs
lola: 845851 markings, 1867343 edges, 10697 markings/sec, 90 secs
lola: 894164 markings, 1973021 edges, 9663 markings/sec, 95 secs
lola: 926702 markings, 2110936 edges, 6508 markings/sec, 100 secs
lola: 982743 markings, 2194436 edges, 11208 markings/sec, 105 secs
lola: 1031670 markings, 2300325 edges, 9785 markings/sec, 110 secs
lola: 1061065 markings, 2441868 edges, 5879 markings/sec, 115 secs
lola: 1114961 markings, 2531208 edges, 10779 markings/sec, 120 secs
lola: 1167686 markings, 2630159 edges, 10545 markings/sec, 125 secs
lola: 1204334 markings, 2751048 edges, 7330 markings/sec, 130 secs
lola: 1251916 markings, 2862950 edges, 9516 markings/sec, 135 secs
lola: 1298820 markings, 2967456 edges, 9381 markings/sec, 140 secs
lola: 1341081 markings, 3086270 edges, 8452 markings/sec, 145 secs
lola: 1373503 markings, 3226004 edges, 6484 markings/sec, 150 secs
lola: 1424931 markings, 3322209 edges, 10286 markings/sec, 155 secs
lola: 1470310 markings, 3430731 edges, 9076 markings/sec, 160 secs
lola: 1505038 markings, 3563699 edges, 6946 markings/sec, 165 secs
lola: 1550237 markings, 3680428 edges, 9040 markings/sec, 170 secs
lola: 1597403 markings, 3783251 edges, 9433 markings/sec, 175 secs
lola: 1640397 markings, 3900964 edges, 8599 markings/sec, 180 secs
lola: 1671203 markings, 4044961 edges, 6161 markings/sec, 185 secs
lola: 1724247 markings, 4137810 edges, 10609 markings/sec, 190 secs
lola: 1769801 markings, 4245395 edges, 9111 markings/sec, 195 secs
lola: 1805466 markings, 4375805 edges, 7133 markings/sec, 200 secs
lola: 1847859 markings, 4497426 edges, 8479 markings/sec, 205 secs
lola: 1895825 markings, 4597314 edges, 9593 markings/sec, 210 secs
lola: 1940543 markings, 4710712 edges, 8944 markings/sec, 215 secs
lola: 1967552 markings, 4862760 edges, 5402 markings/sec, 220 secs
lola: 2020789 markings, 4955556 edges, 10647 markings/sec, 225 secs
lola: 2069127 markings, 5060138 edges, 9668 markings/sec, 230 secs
lola: 2106112 markings, 5188014 edges, 7397 markings/sec, 235 secs
lola: 2144298 markings, 5316324 edges, 7637 markings/sec, 240 secs
lola: 2197405 markings, 5406871 edges, 10621 markings/sec, 245 secs
lola: 2243109 markings, 5516999 edges, 9141 markings/sec, 250 secs
lola: 2278189 markings, 5646165 edges, 7016 markings/sec, 255 secs
lola: 2329496 markings, 5742229 edges, 10261 markings/sec, 260 secs
lola: 2374892 markings, 5849997 edges, 9079 markings/sec, 265 secs
lola: 2409789 markings, 5981787 edges, 6979 markings/sec, 270 secs
lola: 2454069 markings, 6099184 edges, 8856 markings/sec, 275 secs
lola: 2501232 markings, 6201285 edges, 9433 markings/sec, 280 secs
lola: 2544283 markings, 6317516 edges, 8610 markings/sec, 285 secs
lola: 2574030 markings, 6462401 edges, 5949 markings/sec, 290 secs
lola: 2627064 markings, 6554802 edges, 10607 markings/sec, 295 secs
lola: 2673076 markings, 6661079 edges, 9202 markings/sec, 300 secs
lola: 2709612 markings, 6788689 edges, 7307 markings/sec, 305 secs
lola: 2749677 markings, 6913120 edges, 8013 markings/sec, 310 secs
lola: 2797798 markings, 7012608 edges, 9624 markings/sec, 315 secs
lola: 2842091 markings, 7126044 edges, 8859 markings/sec, 320 secs
lola: 2868245 markings, 7277401 edges, 5231 markings/sec, 325 secs
lola: 2922326 markings, 7367303 edges, 10816 markings/sec, 330 secs
lola: 2970583 markings, 7469171 edges, 9651 markings/sec, 335 secs
lola: 3008500 markings, 7594237 edges, 7583 markings/sec, 340 secs
lola: 3044407 markings, 7726523 edges, 7181 markings/sec, 345 secs
lola: 3093372 markings, 7825539 edges, 9793 markings/sec, 350 secs
lola: 3141434 markings, 7933092 edges, 9612 markings/sec, 355 secs
lola: 3167721 markings, 8082833 edges, 5257 markings/sec, 360 secs
lola: 3218893 markings, 8178415 edges, 10234 markings/sec, 365 secs
lola: 3270514 markings, 8272400 edges, 10324 markings/sec, 370 secs
lola: 3311813 markings, 8386682 edges, 8260 markings/sec, 375 secs
lola: 3352617 markings, 8509341 edges, 8161 markings/sec, 380 secs
lola: 3400566 markings, 8609835 edges, 9590 markings/sec, 385 secs
lola: 3444898 markings, 8723593 edges, 8866 markings/sec, 390 secs
lola: 3471916 markings, 8872666 edges, 5404 markings/sec, 395 secs
lola: 3526328 markings, 8963584 edges, 10882 markings/sec, 400 secs
lola: 3572727 markings, 9067474 edges, 9280 markings/sec, 405 secs
lola: 3611950 markings, 9189854 edges, 7845 markings/sec, 410 secs
lola: 3647537 markings, 9322714 edges, 7117 markings/sec, 415 secs
lola: 3697751 markings, 9419182 edges, 10043 markings/sec, 420 secs
lola: 3742530 markings, 9531336 edges, 8956 markings/sec, 425 secs
lola: 3771060 markings, 9673640 edges, 5706 markings/sec, 430 secs
lola: 3822743 markings, 9773166 edges, 10337 markings/sec, 435 secs
lola: 3868531 markings, 9875044 edges, 9158 markings/sec, 440 secs
lola: 3908962 markings, 9993602 edges, 8086 markings/sec, 445 secs
lola: 3940081 markings, 10133682 edges, 6224 markings/sec, 450 secs
lola: 3988189 markings, 10222441 edges, 9622 markings/sec, 455 secs
lola: 4035869 markings, 10324066 edges, 9536 markings/sec, 460 secs
lola: 4069266 markings, 10456970 edges, 6679 markings/sec, 465 secs
lola: 4113013 markings, 10578369 edges, 8749 markings/sec, 470 secs
lola: 4161425 markings, 10680309 edges, 9682 markings/sec, 475 secs
lola: 4206406 markings, 10795385 edges, 8996 markings/sec, 480 secs
lola: 4233137 markings, 10949634 edges, 5346 markings/sec, 485 secs
lola: 4289218 markings, 11036311 edges, 11216 markings/sec, 490 secs
lola: 4341614 markings, 11137348 edges, 10479 markings/sec, 495 secs
lola: 4374230 markings, 11268629 edges, 6523 markings/sec, 500 secs
lola: 4426323 markings, 11371586 edges, 10419 markings/sec, 505 secs
lola: 4473132 markings, 11477203 edges, 9362 markings/sec, 510 secs
lola: 4514191 markings, 11599812 edges, 8212 markings/sec, 515 secs
lola: 4548463 markings, 11737203 edges, 6854 markings/sec, 520 secs
lola: 4599941 markings, 11834631 edges, 10296 markings/sec, 525 secs
lola: 4645979 markings, 11946939 edges, 9208 markings/sec, 530 secs
lola: 4675786 markings, 12088647 edges, 5961 markings/sec, 535 secs
lola: 4727297 markings, 12192920 edges, 10302 markings/sec, 540 secs
lola: 4774016 markings, 12297390 edges, 9344 markings/sec, 545 secs
lola: 4815432 markings, 12418896 edges, 8283 markings/sec, 550 secs
lola: 4848512 markings, 12559345 edges, 6616 markings/sec, 555 secs
lola: 4900568 markings, 12654741 edges, 10411 markings/sec, 560 secs
lola: 4946799 markings, 12765467 edges, 9246 markings/sec, 565 secs
lola: 4977024 markings, 12906193 edges, 6045 markings/sec, 570 secs
lola: 5026799 markings, 13012876 edges, 9955 markings/sec, 575 secs
lola: 5074396 markings, 13115341 edges, 9519 markings/sec, 580 secs
lola: 5116827 markings, 13235500 edges, 8486 markings/sec, 585 secs
lola: 5147779 markings, 13380655 edges, 6190 markings/sec, 590 secs
lola: 5200318 markings, 13475559 edges, 10508 markings/sec, 595 secs
lola: 5248030 markings, 13582023 edges, 9542 markings/sec, 600 secs
lola: 5277927 markings, 13725782 edges, 5979 markings/sec, 605 secs
lola: 5322119 markings, 13831007 edges, 8838 markings/sec, 610 secs
lola: 5368914 markings, 13907901 edges, 9359 markings/sec, 615 secs
lola: 5412103 markings, 14013154 edges, 8638 markings/sec, 620 secs
lola: 5442062 markings, 14140556 edges, 5992 markings/sec, 625 secs
lola: 5494897 markings, 14231463 edges, 10567 markings/sec, 630 secs
lola: 5540158 markings, 14336849 edges, 9052 markings/sec, 635 secs
lola: 5575948 markings, 14464312 edges, 7158 markings/sec, 640 secs
lola: 5615717 markings, 14587469 edges, 7954 markings/sec, 645 secs
lola: 5663582 markings, 14685603 edges, 9573 markings/sec, 650 secs
lola: 5707583 markings, 14797259 edges, 8800 markings/sec, 655 secs
lola: 5733439 markings, 14947612 edges, 5171 markings/sec, 660 secs
lola: 5787972 markings, 15036960 edges, 10907 markings/sec, 665 secs
lola: 5834539 markings, 15139517 edges, 9313 markings/sec, 670 secs
lola: 5873851 markings, 15260433 edges, 7862 markings/sec, 675 secs
lola: 5907415 markings, 15396837 edges, 6713 markings/sec, 680 secs
lola: 5958315 markings, 15490243 edges, 10180 markings/sec, 685 secs
lola: 6003476 markings, 15599720 edges, 9032 markings/sec, 690 secs
lola: 6032894 markings, 15738558 edges, 5884 markings/sec, 695 secs
lola: 6081684 markings, 15843613 edges, 9758 markings/sec, 700 secs
lola: 6128504 markings, 15943307 edges, 9364 markings/sec, 705 secs
lola: 6170755 markings, 16060373 edges, 8450 markings/sec, 710 secs
lola: 6199058 markings, 16207805 edges, 5661 markings/sec, 715 secs
lola: 6250933 markings, 16299129 edges, 10375 markings/sec, 720 secs
lola: 6298736 markings, 16401211 edges, 9561 markings/sec, 725 secs
lola: 6331867 markings, 16535700 edges, 6626 markings/sec, 730 secs
lola: 6373538 markings, 16655200 edges, 8334 markings/sec, 735 secs
lola: 6425883 markings, 16744207 edges, 10469 markings/sec, 740 secs
lola: 6472704 markings, 16851725 edges, 9364 markings/sec, 745 secs
lola: 6506762 markings, 16986794 edges, 6812 markings/sec, 750 secs
lola: 6555271 markings, 17084488 edges, 9702 markings/sec, 755 secs
lola: 6604119 markings, 17187714 edges, 9770 markings/sec, 760 secs
lola: 6635693 markings, 17326956 edges, 6315 markings/sec, 765 secs
lola: 6682481 markings, 17437522 edges, 9358 markings/sec, 770 secs
lola: 6729308 markings, 17538744 edges, 9365 markings/sec, 775 secs
lola: 6773189 markings, 17655319 edges, 8776 markings/sec, 780 secs
lola: 6802542 markings, 17803322 edges, 5871 markings/sec, 785 secs
lola: 6852417 markings, 17897091 edges, 9975 markings/sec, 790 secs
lola: 6901844 markings, 17998717 edges, 9885 markings/sec, 795 secs
lola: 6935587 markings, 18132751 edges, 6749 markings/sec, 800 secs
lola: 6978765 markings, 18252147 edges, 8636 markings/sec, 805 secs
lola: 7026168 markings, 18351255 edges, 9481 markings/sec, 810 secs
lola: 7071197 markings, 18464108 edges, 9006 markings/sec, 815 secs
lola: 7097099 markings, 18619257 edges, 5180 markings/sec, 820 secs
lola: 7149367 markings, 18709261 edges, 10454 markings/sec, 825 secs
lola: 7199762 markings, 18807809 edges, 10079 markings/sec, 830 secs
lola: 7235508 markings, 18937398 edges, 7149 markings/sec, 835 secs
lola: 7273988 markings, 19066618 edges, 7696 markings/sec, 840 secs
lola: 7322992 markings, 19163794 edges, 9801 markings/sec, 845 secs
lola: 7368932 markings, 19273833 edges, 9188 markings/sec, 850 secs
lola: 7392579 markings, 19435989 edges, 4729 markings/sec, 855 secs
lola: 7449025 markings, 19515299 edges, 11289 markings/sec, 860 secs
lola: 7502837 markings, 19601563 edges, 10762 markings/sec, 865 secs
lola: 7539580 markings, 19718959 edges, 7349 markings/sec, 870 secs
lola: 7590823 markings, 19811121 edges, 10249 markings/sec, 875 secs
lola: 7642100 markings, 19905068 edges, 10255 markings/sec, 880 secs
lola: 7681355 markings, 20020669 edges, 7851 markings/sec, 885 secs
lola: 7723984 markings, 20133052 edges, 8526 markings/sec, 890 secs
lola: 7776202 markings, 20222545 edges, 10444 markings/sec, 895 secs
lola: 7821227 markings, 20333469 edges, 9005 markings/sec, 900 secs
lola: 7857643 markings, 20460335 edges, 7283 markings/sec, 905 secs
lola: 7911367 markings, 20545788 edges, 10745 markings/sec, 910 secs
lola: 7958546 markings, 20646642 edges, 9436 markings/sec, 915 secs
lola: 7987576 markings, 20782226 edges, 5806 markings/sec, 920 secs
lola: 8044601 markings, 20867555 edges, 11405 markings/sec, 925 secs
lola: 8096375 markings, 20969243 edges, 10355 markings/sec, 930 secs
lola: 8127398 markings, 21106437 edges, 6205 markings/sec, 935 secs
lola: 8180485 markings, 21200516 edges, 10617 markings/sec, 940 secs
lola: 8229645 markings, 21283579 edges, 9832 markings/sec, 945 secs
lola: 8268587 markings, 21396936 edges, 7788 markings/sec, 950 secs
lola: 8307277 markings, 21514406 edges, 7738 markings/sec, 955 secs
lola: 8360972 markings, 21602853 edges, 10739 markings/sec, 960 secs
lola: 8407028 markings, 21709742 edges, 9211 markings/sec, 965 secs
lola: 8441043 markings, 21842472 edges, 6803 markings/sec, 970 secs
lola: 8497495 markings, 21922521 edges, 11290 markings/sec, 975 secs
lola: 8549282 markings, 22019989 edges, 10357 markings/sec, 980 secs
lola: 8589793 markings, 22134559 edges, 8102 markings/sec, 985 secs
lola: 8646026 markings, 22210422 edges, 11247 markings/sec, 990 secs
lola: 8699697 markings, 22302199 edges, 10734 markings/sec, 995 secs
lola: 8735668 markings, 22424249 edges, 7194 markings/sec, 1000 secs
lola: 8793671 markings, 22502239 edges, 11601 markings/sec, 1005 secs
lola: 8846892 markings, 22596591 edges, 10644 markings/sec, 1010 secs
lola: 8884001 markings, 22715807 edges, 7422 markings/sec, 1015 secs
lola: 8942516 markings, 22795144 edges, 11703 markings/sec, 1020 secs
lola: 8998381 markings, 22881322 edges, 11173 markings/sec, 1025 secs
lola: 9037709 markings, 22988780 edges, 7866 markings/sec, 1030 secs
lola: 9082966 markings, 23085895 edges, 9051 markings/sec, 1035 secs
lola: 9137472 markings, 23168603 edges, 10901 markings/sec, 1040 secs
lola: 9191338 markings, 23253505 edges, 10773 markings/sec, 1045 secs
lola: 9246402 markings, 23337431 edges, 11013 markings/sec, 1050 secs
lola: 9304000 markings, 23419687 edges, 11520 markings/sec, 1055 secs
lola: 9361806 markings, 23499827 edges, 11561 markings/sec, 1060 secs
lola: 9419633 markings, 23581176 edges, 11565 markings/sec, 1065 secs
lola: 9477135 markings, 23664029 edges, 11500 markings/sec, 1070 secs
lola: 9536223 markings, 23745325 edges, 11818 markings/sec, 1075 secs
lola: 9593428 markings, 23827508 edges, 11441 markings/sec, 1080 secs
lola: 9653730 markings, 23907704 edges, 12060 markings/sec, 1085 secs
lola: 9707835 markings, 23998954 edges, 10821 markings/sec, 1090 secs
lola: 9744924 markings, 24122908 edges, 7418 markings/sec, 1095 secs
lola: 9804500 markings, 24203187 edges, 11915 markings/sec, 1100 secs
lola: 9865103 markings, 24286672 edges, 12121 markings/sec, 1105 secs
lola: 9923766 markings, 24369081 edges, 11733 markings/sec, 1110 secs
lola: 9982221 markings, 24451823 edges, 11691 markings/sec, 1115 secs
lola: 10042301 markings, 24534400 edges, 12016 markings/sec, 1120 secs
lola: 10103566 markings, 24617866 edges, 12253 markings/sec, 1125 secs
lola: 10162083 markings, 24703892 edges, 11703 markings/sec, 1130 secs
lola: 10218461 markings, 24788230 edges, 11276 markings/sec, 1135 secs
lola: 10276703 markings, 24870393 edges, 11648 markings/sec, 1140 secs
lola: 10334955 markings, 24954023 edges, 11650 markings/sec, 1145 secs
lola: 10394829 markings, 25036695 edges, 11975 markings/sec, 1150 secs
lola: 10453844 markings, 25119058 edges, 11803 markings/sec, 1155 secs
lola: 10512947 markings, 25202366 edges, 11821 markings/sec, 1160 secs
lola: 10571424 markings, 25287473 edges, 11695 markings/sec, 1165 secs
lola: 10631196 markings, 25371345 edges, 11954 markings/sec, 1170 secs
lola: 10687593 markings, 25456178 edges, 11279 markings/sec, 1175 secs
lola: 10745856 markings, 25538272 edges, 11653 markings/sec, 1180 secs
lola: 10804543 markings, 25621482 edges, 11737 markings/sec, 1185 secs
lola: 10863028 markings, 25707404 edges, 11697 markings/sec, 1190 secs
lola: 10922336 markings, 25792080 edges, 11862 markings/sec, 1195 secs
lola: 10981160 markings, 25875383 edges, 11765 markings/sec, 1200 secs
lola: 11040261 markings, 25961002 edges, 11820 markings/sec, 1205 secs
lola: 11098747 markings, 26044666 edges, 11697 markings/sec, 1210 secs
lola: 11157198 markings, 26129702 edges, 11690 markings/sec, 1215 secs
lola: 11215502 markings, 26214307 edges, 11661 markings/sec, 1220 secs
lola: 11273574 markings, 26300603 edges, 11614 markings/sec, 1225 secs
lola: 11331890 markings, 26385092 edges, 11663 markings/sec, 1230 secs
lola: 11389980 markings, 26463378 edges, 11618 markings/sec, 1235 secs
lola: 11444407 markings, 26553763 edges, 10885 markings/sec, 1240 secs
lola: 11479428 markings, 26677272 edges, 7004 markings/sec, 1245 secs
lola: 11537082 markings, 26763341 edges, 11531 markings/sec, 1250 secs
lola: 11594406 markings, 26848021 edges, 11465 markings/sec, 1255 secs
lola: 11652323 markings, 26935617 edges, 11583 markings/sec, 1260 secs
lola: 11709441 markings, 27022930 edges, 11424 markings/sec, 1265 secs
lola: 11766353 markings, 27111426 edges, 11382 markings/sec, 1270 secs
lola: 11824206 markings, 27200944 edges, 11571 markings/sec, 1275 secs
lola: 11879312 markings, 27288241 edges, 11021 markings/sec, 1280 secs
lola: 11935449 markings, 27379837 edges, 11227 markings/sec, 1285 secs
lola: 11988728 markings, 27469479 edges, 10656 markings/sec, 1290 secs
lola: 12044215 markings, 27561535 edges, 11097 markings/sec, 1295 secs
lola: 12100867 markings, 27652769 edges, 11330 markings/sec, 1300 secs
lola: 12154073 markings, 27746075 edges, 10641 markings/sec, 1305 secs
lola: 12208607 markings, 27837978 edges, 10907 markings/sec, 1310 secs
lola: 12263948 markings, 27935459 edges, 11068 markings/sec, 1315 secs
lola: 12319931 markings, 28032043 edges, 11197 markings/sec, 1320 secs
lola: 12376331 markings, 28129869 edges, 11280 markings/sec, 1325 secs
lola: 12432226 markings, 28228782 edges, 11179 markings/sec, 1330 secs
lola: 12486078 markings, 28326113 edges, 10770 markings/sec, 1335 secs
lola: 12539387 markings, 28422586 edges, 10662 markings/sec, 1340 secs
lola: 12593183 markings, 28521701 edges, 10759 markings/sec, 1345 secs
lola: 12645571 markings, 28616885 edges, 10478 markings/sec, 1350 secs
lola: 12701441 markings, 28718698 edges, 11174 markings/sec, 1355 secs
lola: 12755732 markings, 28823317 edges, 10858 markings/sec, 1360 secs
lola: 12809489 markings, 28923863 edges, 10751 markings/sec, 1365 secs
lola: 12864862 markings, 29027067 edges, 11075 markings/sec, 1370 secs
lola: 12919363 markings, 29129875 edges, 10900 markings/sec, 1375 secs
lola: 12973824 markings, 29233709 edges, 10892 markings/sec, 1380 secs
lola: 13028666 markings, 29337567 edges, 10968 markings/sec, 1385 secs
lola: 13081115 markings, 29441340 edges, 10490 markings/sec, 1390 secs
lola: 13132722 markings, 29544509 edges, 10321 markings/sec, 1395 secs
lola: 13184645 markings, 29648281 edges, 10385 markings/sec, 1400 secs
lola: 13236062 markings, 29751715 edges, 10283 markings/sec, 1405 secs
lola: 13290497 markings, 29858110 edges, 10887 markings/sec, 1410 secs
lola: 13342039 markings, 29964810 edges, 10308 markings/sec, 1415 secs
lola: 13392292 markings, 30070783 edges, 10051 markings/sec, 1420 secs
lola: 13443754 markings, 30179924 edges, 10292 markings/sec, 1425 secs
lola: 13495020 markings, 30289163 edges, 10253 markings/sec, 1430 secs
lola: 13546925 markings, 30397385 edges, 10381 markings/sec, 1435 secs
lola: 13598007 markings, 30506674 edges, 10216 markings/sec, 1440 secs
lola: 13647346 markings, 30615453 edges, 9868 markings/sec, 1445 secs
lola: 13698354 markings, 30724197 edges, 10202 markings/sec, 1450 secs
lola: 13744760 markings, 30829709 edges, 9281 markings/sec, 1455 secs
lola: 13791727 markings, 30940053 edges, 9393 markings/sec, 1460 secs
lola: 13835668 markings, 31050302 edges, 8788 markings/sec, 1465 secs
lola: 13881450 markings, 31158745 edges, 9156 markings/sec, 1470 secs
lola: 13924737 markings, 31270220 edges, 8657 markings/sec, 1475 secs
lola: 13970666 markings, 31378349 edges, 9186 markings/sec, 1480 secs
lola: 14016222 markings, 31487119 edges, 9111 markings/sec, 1485 secs
lola: 14059018 markings, 31599475 edges, 8559 markings/sec, 1490 secs
lola: 14103450 markings, 31706799 edges, 8886 markings/sec, 1495 secs
lola: 14142971 markings, 31815680 edges, 7904 markings/sec, 1500 secs
lola: 14183312 markings, 31926887 edges, 8068 markings/sec, 1505 secs
lola: 14223653 markings, 32038706 edges, 8068 markings/sec, 1510 secs
lola: 14263591 markings, 32155866 edges, 7988 markings/sec, 1515 secs
lola: 14302923 markings, 32273979 edges, 7866 markings/sec, 1520 secs
lola: 14340319 markings, 32396252 edges, 7479 markings/sec, 1525 secs
lola: 14374598 markings, 32526020 edges, 6856 markings/sec, 1530 secs
lola: 14405290 markings, 32659336 edges, 6138 markings/sec, 1535 secs
lola: 14435686 markings, 32795439 edges, 6079 markings/sec, 1540 secs
lola: 14462435 markings, 32938073 edges, 5350 markings/sec, 1545 secs
lola: 14489746 markings, 33076400 edges, 5462 markings/sec, 1550 secs
lola: 14515035 markings, 33222225 edges, 5058 markings/sec, 1555 secs
lola: 14538442 markings, 33372452 edges, 4681 markings/sec, 1560 secs
lola: 14560972 markings, 33523923 edges, 4506 markings/sec, 1565 secs
lola: 14582817 markings, 33675158 edges, 4369 markings/sec, 1570 secs
lola: 14604369 markings, 33831929 edges, 4310 markings/sec, 1575 secs
lola: 14624286 markings, 33992151 edges, 3983 markings/sec, 1580 secs
lola: 14643725 markings, 34155971 edges, 3888 markings/sec, 1585 secs
lola: 14660821 markings, 34328062 edges, 3419 markings/sec, 1590 secs
lola: 14677427 markings, 34502888 edges, 3321 markings/sec, 1595 secs
lola: 14693627 markings, 34683830 edges, 3240 markings/sec, 1600 secs
lola: 14709233 markings, 34868897 edges, 3121 markings/sec, 1605 secs
lola: 14725341 markings, 35053294 edges, 3222 markings/sec, 1610 secs
lola: 14740525 markings, 35243325 edges, 3037 markings/sec, 1615 secs
lola: 14755627 markings, 35433455 edges, 3020 markings/sec, 1620 secs
lola: 14770774 markings, 35624358 edges, 3029 markings/sec, 1625 secs
lola: 14785191 markings, 35818735 edges, 2883 markings/sec, 1630 secs
lola: 14799052 markings, 36015057 edges, 2772 markings/sec, 1635 secs
lola: 14812274 markings, 36216493 edges, 2644 markings/sec, 1640 secs
lola: 14825750 markings, 36416889 edges, 2695 markings/sec, 1645 secs
lola: 14863966 markings, 36546749 edges, 7643 markings/sec, 1650 secs
lola: 14917067 markings, 36636641 edges, 10620 markings/sec, 1655 secs
lola: 14965027 markings, 36742603 edges, 9592 markings/sec, 1660 secs
lola: 15000422 markings, 36873570 edges, 7079 markings/sec, 1665 secs
lola: 15053073 markings, 36962557 edges, 10530 markings/sec, 1670 secs
lola: 15103802 markings, 37064289 edges, 10146 markings/sec, 1675 secs
lola: 15134633 markings, 37200376 edges, 6166 markings/sec, 1680 secs
lola: 15188324 markings, 37290066 edges, 10738 markings/sec, 1685 secs
lola: 15239986 markings, 37382144 edges, 10332 markings/sec, 1690 secs
lola: 15296056 markings, 37468957 edges, 11214 markings/sec, 1695 secs
lola: 15346702 markings, 37564866 edges, 10129 markings/sec, 1700 secs
lola: 15382086 markings, 37693637 edges, 7077 markings/sec, 1705 secs
lola: 15431764 markings, 37797804 edges, 9936 markings/sec, 1710 secs
lola: 15486645 markings, 37891662 edges, 10976 markings/sec, 1715 secs
lola: 15527354 markings, 38012188 edges, 8142 markings/sec, 1720 secs
lola: 15569075 markings, 38133972 edges, 8344 markings/sec, 1725 secs
lola: 15620698 markings, 38225766 edges, 10325 markings/sec, 1730 secs
lola: 15677441 markings, 38313709 edges, 11349 markings/sec, 1735 secs
lola: 15733029 markings, 38401021 edges, 11118 markings/sec, 1740 secs
lola: 15781810 markings, 38507114 edges, 9756 markings/sec, 1745 secs
lola: 15814747 markings, 38637970 edges, 6587 markings/sec, 1750 secs
lola: 15870667 markings, 38724961 edges, 11184 markings/sec, 1755 secs
lola: 15923527 markings, 38815894 edges, 10572 markings/sec, 1760 secs
lola: 15979892 markings, 38904127 edges, 11273 markings/sec, 1765 secs
lola: 16037096 markings, 38994214 edges, 11441 markings/sec, 1770 secs
lola: 16094542 markings, 39084712 edges, 11489 markings/sec, 1775 secs
lola: 16152841 markings, 39173113 edges, 11660 markings/sec, 1780 secs
lola: 16210684 markings, 39260940 edges, 11569 markings/sec, 1785 secs
lola: 16266739 markings, 39347248 edges, 11211 markings/sec, 1790 secs
lola: 16315966 markings, 39446948 edges, 9845 markings/sec, 1795 secs
lola: 16344873 markings, 39580888 edges, 5781 markings/sec, 1800 secs
lola: 16397222 markings, 39663771 edges, 10470 markings/sec, 1805 secs
lola: 16455329 markings, 39752415 edges, 11621 markings/sec, 1810 secs
lola: 16512063 markings, 39839988 edges, 11347 markings/sec, 1815 secs
lola: 16568773 markings, 39928088 edges, 11342 markings/sec, 1820 secs
lola: 16623803 markings, 40020046 edges, 11006 markings/sec, 1825 secs
lola: 16678672 markings, 40108030 edges, 10974 markings/sec, 1830 secs
lola: 16735254 markings, 40195266 edges, 11316 markings/sec, 1835 secs
lola: 16791548 markings, 40282935 edges, 11259 markings/sec, 1840 secs
lola: 16848952 markings, 40372510 edges, 11481 markings/sec, 1845 secs
lola: 16904782 markings, 40460187 edges, 11166 markings/sec, 1850 secs
lola: 16957887 markings, 40550514 edges, 10621 markings/sec, 1855 secs
lola: 17011944 markings, 40639150 edges, 10811 markings/sec, 1860 secs
lola: 17067114 markings, 40726469 edges, 11034 markings/sec, 1865 secs
lola: 17119357 markings, 40816374 edges, 10449 markings/sec, 1870 secs
lola: 17174682 markings, 40904205 edges, 11065 markings/sec, 1875 secs
lola: 17227228 markings, 40995341 edges, 10509 markings/sec, 1880 secs
lola: 17280241 markings, 41084140 edges, 10603 markings/sec, 1885 secs
lola: 17333172 markings, 41172120 edges, 10586 markings/sec, 1890 secs
lola: 17386938 markings, 41259325 edges, 10753 markings/sec, 1895 secs
lola: 17440736 markings, 41347798 edges, 10760 markings/sec, 1900 secs
lola: 17495007 markings, 41436030 edges, 10854 markings/sec, 1905 secs
lola: 17547445 markings, 41525714 edges, 10488 markings/sec, 1910 secs
lola: 17602699 markings, 41616114 edges, 11051 markings/sec, 1915 secs
lola: 17652224 markings, 41701707 edges, 9905 markings/sec, 1920 secs
lola: 17708414 markings, 41794878 edges, 11238 markings/sec, 1925 secs
lola: 17762760 markings, 41884650 edges, 10869 markings/sec, 1930 secs
lola: 17817515 markings, 41977042 edges, 10951 markings/sec, 1935 secs
lola: 17870614 markings, 42069721 edges, 10620 markings/sec, 1940 secs
lola: 17924519 markings, 42160841 edges, 10781 markings/sec, 1945 secs
lola: 17977554 markings, 42253808 edges, 10607 markings/sec, 1950 secs
lola: 18031977 markings, 42346232 edges, 10885 markings/sec, 1955 secs
lola: 18086622 markings, 42439881 edges, 10929 markings/sec, 1960 secs
lola: 18142492 markings, 42534700 edges, 11174 markings/sec, 1965 secs
lola: 18192614 markings, 42623212 edges, 10024 markings/sec, 1970 secs
lola: 18243673 markings, 42720892 edges, 10212 markings/sec, 1975 secs
lola: 18296839 markings, 42815110 edges, 10633 markings/sec, 1980 secs
lola: 18348513 markings, 42912738 edges, 10335 markings/sec, 1985 secs
lola: 18402778 markings, 43010123 edges, 10853 markings/sec, 1990 secs
lola: 18455512 markings, 43105650 edges, 10547 markings/sec, 1995 secs
lola: 18507265 markings, 43203361 edges, 10351 markings/sec, 2000 secs
lola: 18558260 markings, 43303017 edges, 10199 markings/sec, 2005 secs
lola: 18610721 markings, 43401226 edges, 10492 markings/sec, 2010 secs
lola: 18663220 markings, 43501232 edges, 10500 markings/sec, 2015 secs
lola: 18715706 markings, 43601884 edges, 10497 markings/sec, 2020 secs
lola: 18771686 markings, 43706807 edges, 11196 markings/sec, 2025 secs
lola: 18823078 markings, 43806855 edges, 10278 markings/sec, 2030 secs
lola: 18874763 markings, 43910452 edges, 10337 markings/sec, 2035 secs
lola: 18926392 markings, 44016313 edges, 10326 markings/sec, 2040 secs
lola: 18978968 markings, 44119667 edges, 10515 markings/sec, 2045 secs
lola: 19030899 markings, 44223261 edges, 10386 markings/sec, 2050 secs
lola: 19079341 markings, 44328678 edges, 9688 markings/sec, 2055 secs
lola: 19131698 markings, 44436182 edges, 10471 markings/sec, 2060 secs
lola: 19184295 markings, 44542414 edges, 10519 markings/sec, 2065 secs
lola: 19233260 markings, 44648281 edges, 9793 markings/sec, 2070 secs
lola: 19283614 markings, 44755599 edges, 10071 markings/sec, 2075 secs
lola: 19334500 markings, 44862641 edges, 10177 markings/sec, 2080 secs
lola: 19384970 markings, 44969372 edges, 10094 markings/sec, 2085 secs
lola: 19436543 markings, 45077944 edges, 10315 markings/sec, 2090 secs
lola: 19484610 markings, 45186473 edges, 9613 markings/sec, 2095 secs
lola: 19533186 markings, 45295323 edges, 9715 markings/sec, 2100 secs
lola: 19582643 markings, 45405195 edges, 9891 markings/sec, 2105 secs
lola: 19632929 markings, 45515033 edges, 10057 markings/sec, 2110 secs
lola: 19681543 markings, 45622916 edges, 9723 markings/sec, 2115 secs
lola: 19729317 markings, 45736526 edges, 9555 markings/sec, 2120 secs
lola: 19777256 markings, 45846749 edges, 9588 markings/sec, 2125 secs
lola: 19825695 markings, 45961153 edges, 9688 markings/sec, 2130 secs
lola: 19873126 markings, 46073248 edges, 9486 markings/sec, 2135 secs
lola: 19919618 markings, 46185971 edges, 9298 markings/sec, 2140 secs
lola: 19967123 markings, 46301331 edges, 9501 markings/sec, 2145 secs
lola: 20012571 markings, 46415478 edges, 9090 markings/sec, 2150 secs
lola: 20057772 markings, 46527785 edges, 9040 markings/sec, 2155 secs
lola: 20099968 markings, 46643691 edges, 8439 markings/sec, 2160 secs
lola: 20144804 markings, 46759765 edges, 8967 markings/sec, 2165 secs
lola: 20189209 markings, 46875145 edges, 8881 markings/sec, 2170 secs
lola: 20231761 markings, 46989927 edges, 8510 markings/sec, 2175 secs
lola: 20272617 markings, 47105567 edges, 8171 markings/sec, 2180 secs
lola: 20314874 markings, 47224049 edges, 8451 markings/sec, 2185 secs
lola: 20353623 markings, 47342651 edges, 7750 markings/sec, 2190 secs
lola: 20395478 markings, 47457402 edges, 8371 markings/sec, 2195 secs
lola: 20437834 markings, 47575357 edges, 8471 markings/sec, 2200 secs
lola: 20481064 markings, 47688155 edges, 8646 markings/sec, 2205 secs
lola: 20519209 markings, 47809486 edges, 7629 markings/sec, 2210 secs
lola: 20558417 markings, 47926363 edges, 7842 markings/sec, 2215 secs
lola: 20593598 markings, 48046591 edges, 7036 markings/sec, 2220 secs
lola: 20629044 markings, 48166422 edges, 7089 markings/sec, 2225 secs
lola: 20665273 markings, 48285012 edges, 7246 markings/sec, 2230 secs
lola: 20696504 markings, 48415427 edges, 6246 markings/sec, 2235 secs
lola: 20725355 markings, 48555620 edges, 5770 markings/sec, 2240 secs
lola: 20756378 markings, 48691141 edges, 6205 markings/sec, 2245 secs
lola: 20786231 markings, 48828366 edges, 5971 markings/sec, 2250 secs
lola: 20812260 markings, 48974177 edges, 5206 markings/sec, 2255 secs
lola: 20836265 markings, 49125211 edges, 4801 markings/sec, 2260 secs
lola: 20861385 markings, 49273409 edges, 5024 markings/sec, 2265 secs
lola: 20885554 markings, 49424020 edges, 4834 markings/sec, 2270 secs
lola: 20906511 markings, 49581521 edges, 4191 markings/sec, 2275 secs
lola: 20927236 markings, 49738706 edges, 4145 markings/sec, 2280 secs
lola: 20947305 markings, 49898917 edges, 4014 markings/sec, 2285 secs
lola: 20968292 markings, 50057222 edges, 4197 markings/sec, 2290 secs
lola: 20988383 markings, 50219161 edges, 4018 markings/sec, 2295 secs
lola: 21009546 markings, 50377053 edges, 4233 markings/sec, 2300 secs
lola: 21029518 markings, 50541859 edges, 3994 markings/sec, 2305 secs
lola: 21046294 markings, 50716843 edges, 3355 markings/sec, 2310 secs
lola: 21062661 markings, 50896014 edges, 3273 markings/sec, 2315 secs
lola: 21079597 markings, 51073268 edges, 3387 markings/sec, 2320 secs
lola: 21094923 markings, 51258015 edges, 3065 markings/sec, 2325 secs
lola: 21108467 markings, 51449260 edges, 2709 markings/sec, 2330 secs
lola: 21122670 markings, 51638466 edges, 2841 markings/sec, 2335 secs
lola: 21136552 markings, 51830487 edges, 2776 markings/sec, 2340 secs
lola: 21150761 markings, 52021978 edges, 2842 markings/sec, 2345 secs
lola: 21163737 markings, 52219095 edges, 2595 markings/sec, 2350 secs
lola: 21177112 markings, 52414320 edges, 2675 markings/sec, 2355 secs
lola: 21190189 markings, 52613012 edges, 2615 markings/sec, 2360 secs
lola: 21202656 markings, 52812345 edges, 2493 markings/sec, 2365 secs
lola: 21215088 markings, 53012715 edges, 2486 markings/sec, 2370 secs
lola: 21227159 markings, 53217914 edges, 2414 markings/sec, 2375 secs
lola: 21252005 markings, 53384228 edges, 4969 markings/sec, 2380 secs
lola: 21307066 markings, 53469896 edges, 11012 markings/sec, 2385 secs
lola: 21357941 markings, 53569147 edges, 10175 markings/sec, 2390 secs
lola: 21388871 markings, 53706367 edges, 6186 markings/sec, 2395 secs
lola: 21442171 markings, 53796720 edges, 10660 markings/sec, 2400 secs
lola: 21495017 markings, 53891517 edges, 10569 markings/sec, 2405 secs
lola: 21532359 markings, 54011332 edges, 7468 markings/sec, 2410 secs
lola: 21577001 markings, 54124773 edges, 8928 markings/sec, 2415 secs
lola: 21629287 markings, 54214119 edges, 10457 markings/sec, 2420 secs
lola: 21685165 markings, 54299540 edges, 11176 markings/sec, 2425 secs
lola: 21738408 markings, 54389931 edges, 10649 markings/sec, 2430 secs
lola: 21780627 markings, 54504416 edges, 8444 markings/sec, 2435 secs
lola: 21820364 markings, 54626078 edges, 7947 markings/sec, 2440 secs
lola: 21874047 markings, 54709856 edges, 10737 markings/sec, 2445 secs
lola: 21922203 markings, 54818093 edges, 9631 markings/sec, 2450 secs
lola: 21952083 markings, 54953456 edges, 5976 markings/sec, 2455 secs
lola: 22004341 markings, 55042570 edges, 10452 markings/sec, 2460 secs
lola: 22059688 markings, 55128378 edges, 11069 markings/sec, 2465 secs
lola: 22118457 markings, 55212031 edges, 11754 markings/sec, 2470 secs
lola: 22171661 markings, 55308810 edges, 10641 markings/sec, 2475 secs
lola: 22206206 markings, 55433798 edges, 6909 markings/sec, 2480 secs
lola: 22254666 markings, 55536890 edges, 9692 markings/sec, 2485 secs
lola: 22309981 markings, 55623392 edges, 11063 markings/sec, 2490 secs
lola: 22365804 markings, 55708702 edges, 11165 markings/sec, 2495 secs
lola: 22423289 markings, 55797518 edges, 11497 markings/sec, 2500 secs
lola: 22481873 markings, 55885955 edges, 11717 markings/sec, 2505 secs
lola: 22540815 markings, 55970661 edges, 11788 markings/sec, 2510 secs
lola: 22599380 markings, 56055154 edges, 11713 markings/sec, 2515 secs
lola: 22658055 markings, 56139396 edges, 11735 markings/sec, 2520 secs
lola: 22711568 markings, 56234512 edges, 10703 markings/sec, 2525 secs
lola: 22742543 markings, 56373533 edges, 6195 markings/sec, 2530 secs
lola: 22797897 markings, 56471084 edges, 11071 markings/sec, 2535 secs
lola: 22858336 markings, 56559092 edges, 12088 markings/sec, 2540 secs
lola: 22915167 markings, 56642165 edges, 11366 markings/sec, 2545 secs
lola: 22971187 markings, 56724837 edges, 11204 markings/sec, 2550 secs
lola: 23025252 markings, 56811942 edges, 10813 markings/sec, 2555 secs
lola: 23078641 markings, 56893682 edges, 10678 markings/sec, 2560 secs
lola: 23135754 markings, 56977110 edges, 11423 markings/sec, 2565 secs
lola: 23194148 markings, 57063580 edges, 11679 markings/sec, 2570 secs
lola: 23253634 markings, 57152224 edges, 11897 markings/sec, 2575 secs
lola: 23312731 markings, 57240947 edges, 11819 markings/sec, 2580 secs
lola: 23369215 markings, 57333134 edges, 11297 markings/sec, 2585 secs
lola: 23426700 markings, 57423227 edges, 11497 markings/sec, 2590 secs
lola: 23485595 markings, 57512461 edges, 11779 markings/sec, 2595 secs
lola: 23541692 markings, 57604870 edges, 11219 markings/sec, 2600 secs
lola: 23594384 markings, 57689179 edges, 10538 markings/sec, 2605 secs
lola: 23649953 markings, 57778855 edges, 11114 markings/sec, 2610 secs
lola: 23704075 markings, 57868677 edges, 10824 markings/sec, 2615 secs
lola: 23760637 markings, 57955744 edges, 11312 markings/sec, 2620 secs
lola: 23816433 markings, 58042682 edges, 11159 markings/sec, 2625 secs
lola: 23872727 markings, 58131733 edges, 11259 markings/sec, 2630 secs
lola: 23927251 markings, 58216841 edges, 10905 markings/sec, 2635 secs
lola: 23984126 markings, 58310246 edges, 11375 markings/sec, 2640 secs
lola: 24041606 markings, 58401697 edges, 11496 markings/sec, 2645 secs
lola: 24097529 markings, 58494452 edges, 11185 markings/sec, 2650 secs
lola: 24154290 markings, 58584305 edges, 11352 markings/sec, 2655 secs
lola: 24211141 markings, 58676077 edges, 11370 markings/sec, 2660 secs
lola: 24267086 markings, 58770399 edges, 11189 markings/sec, 2665 secs
lola: 24323900 markings, 58862973 edges, 11363 markings/sec, 2670 secs
lola: 24375715 markings, 58950799 edges, 10363 markings/sec, 2675 secs
lola: 24431056 markings, 59041024 edges, 11068 markings/sec, 2680 secs
lola: 24485842 markings, 59131419 edges, 10957 markings/sec, 2685 secs
lola: 24541740 markings, 59222717 edges, 11180 markings/sec, 2690 secs
lola: 24591395 markings, 59308309 edges, 9931 markings/sec, 2695 secs
lola: 24643201 markings, 59404449 edges, 10361 markings/sec, 2700 secs
lola: 24696504 markings, 59495968 edges, 10661 markings/sec, 2705 secs
lola: 24748217 markings, 59591033 edges, 10343 markings/sec, 2710 secs
lola: 24802620 markings, 59685652 edges, 10881 markings/sec, 2715 secs
lola: 24855907 markings, 59779197 edges, 10657 markings/sec, 2720 secs
lola: 24908263 markings, 59874336 edges, 10471 markings/sec, 2725 secs
lola: 24959019 markings, 59971763 edges, 10151 markings/sec, 2730 secs
lola: 25008047 markings, 60060516 edges, 9806 markings/sec, 2735 secs
lola: 25060817 markings, 60157629 edges, 10554 markings/sec, 2740 secs
lola: 25113696 markings, 60256128 edges, 10576 markings/sec, 2745 secs
lola: 25169020 markings, 60358984 edges, 11065 markings/sec, 2750 secs
lola: 25222490 markings, 60459626 edges, 10694 markings/sec, 2755 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 unknown 1 1 1 1 1 1
lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 unknown 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 unknown 1 1 1 1 1 1
lola: memory consumption: 3980320 KB
lola: time consumption: 3568 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 1 1 1 1 1 unknown 1 1 1 1 1 1
lola: memory consumption: 3980320 KB
lola: time consumption: 3568 seconds

BK_STOP 1552354250611

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

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