fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r040-smll-152646357400254
Last Updated
June 26, 2018

About the Execution of LoLA for CloudDeployment-PT-6b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
9058.460 3570115.00 3617806.00 9810.80 1 ? ? 1 1 1 1 ? 1 ? 1 1 1 1 1 1 normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.................
/home/mcc/execution
total 5.0M
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 112 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 350 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 4.8M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
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 r040-smll-152646357400254
=====================================================================


--------------------
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 1526622840461

info: Time: 3600 - MCC
===========================================================================================
prep: translating CloudDeployment-PT-6b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
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(p1420) : MAX(p1843) : MAX(p1356) : MAX(p1342) : MAX(p618) : MAX(p1433) : MAX(p1275) : MAX(p241) : MAX(p518) : MAX(p1090) : MAX(p1341) : MAX(p1728) : MAX(p1379) : MAX(p315) : MAX(p1265) : MAX(p101)
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(p1420)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1420)
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: 151 markings, 150 edges
lola: ========================================

FORMULA CloudDeployment-PT-6b-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1843)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1843)
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: 61838 markings, 72495 edges, 12368 markings/sec, 0 secs
lola: 149571 markings, 179299 edges, 17547 markings/sec, 5 secs
lola: 236240 markings, 281707 edges, 17334 markings/sec, 10 secs
lola: 317224 markings, 388735 edges, 16197 markings/sec, 15 secs
lola: 398974 markings, 491538 edges, 16350 markings/sec, 20 secs
lola: 482574 markings, 594816 edges, 16720 markings/sec, 25 secs
lola: 567860 markings, 699234 edges, 17057 markings/sec, 30 secs
lola: 652653 markings, 803153 edges, 16959 markings/sec, 35 secs
lola: 737389 markings, 906955 edges, 16947 markings/sec, 40 secs
lola: 822085 markings, 1010868 edges, 16939 markings/sec, 45 secs
lola: 908031 markings, 1116075 edges, 17189 markings/sec, 50 secs
lola: 984986 markings, 1210359 edges, 15391 markings/sec, 55 secs
lola: 1044835 markings, 1301636 edges, 11970 markings/sec, 60 secs
lola: 1099468 markings, 1401095 edges, 10927 markings/sec, 65 secs
lola: 1148909 markings, 1499746 edges, 9888 markings/sec, 70 secs
lola: 1196600 markings, 1597518 edges, 9538 markings/sec, 75 secs
lola: 1260609 markings, 1702020 edges, 12802 markings/sec, 80 secs
lola: 1333142 markings, 1795821 edges, 14507 markings/sec, 85 secs
lola: 1417299 markings, 1895906 edges, 16831 markings/sec, 90 secs
lola: 1506762 markings, 1997568 edges, 17893 markings/sec, 95 secs
lola: 1589989 markings, 2092788 edges, 16645 markings/sec, 100 secs
lola: 1683296 markings, 2199139 edges, 18661 markings/sec, 105 secs
lola: 1764988 markings, 2293500 edges, 16338 markings/sec, 110 secs
lola: 1856776 markings, 2398014 edges, 18358 markings/sec, 115 secs
lola: 1947800 markings, 2501946 edges, 18205 markings/sec, 120 secs
lola: 2039986 markings, 2606936 edges, 18437 markings/sec, 125 secs
lola: 2132107 markings, 2711758 edges, 18424 markings/sec, 130 secs
lola: 2224263 markings, 2816567 edges, 18431 markings/sec, 135 secs
lola: 2316681 markings, 2921998 edges, 18484 markings/sec, 140 secs
lola: 2408713 markings, 3026934 edges, 18406 markings/sec, 145 secs
lola: 2500926 markings, 3132190 edges, 18443 markings/sec, 150 secs
lola: 2592272 markings, 3236840 edges, 18269 markings/sec, 155 secs
lola: 2683027 markings, 3341301 edges, 18151 markings/sec, 160 secs
lola: 2774758 markings, 3446441 edges, 18346 markings/sec, 165 secs
lola: 2866385 markings, 3551308 edges, 18325 markings/sec, 170 secs
lola: 2957160 markings, 3656331 edges, 18155 markings/sec, 175 secs
lola: 3048151 markings, 3761809 edges, 18198 markings/sec, 180 secs
lola: 3138462 markings, 3867658 edges, 18062 markings/sec, 185 secs
lola: 3228783 markings, 3973178 edges, 18064 markings/sec, 190 secs
lola: 3317787 markings, 4078604 edges, 17801 markings/sec, 195 secs
lola: 3381923 markings, 4189701 edges, 12827 markings/sec, 200 secs
lola: 3465047 markings, 4291589 edges, 16625 markings/sec, 205 secs
lola: 3547765 markings, 4393257 edges, 16544 markings/sec, 210 secs
lola: 3630350 markings, 4494657 edges, 16517 markings/sec, 215 secs
lola: 3712920 markings, 4595978 edges, 16514 markings/sec, 220 secs
lola: 3798214 markings, 4696307 edges, 17059 markings/sec, 225 secs
lola: 3882935 markings, 4796107 edges, 16944 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1008724 KB
lola: time consumption: 245 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1356)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1356)
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: 60137 markings, 76200 edges, 12027 markings/sec, 0 secs
lola: 118450 markings, 160296 edges, 11663 markings/sec, 5 secs
lola: 172920 markings, 254664 edges, 10894 markings/sec, 10 secs
lola: 225020 markings, 357375 edges, 10420 markings/sec, 15 secs
lola: 272928 markings, 462959 edges, 9582 markings/sec, 20 secs
lola: 329410 markings, 544045 edges, 11296 markings/sec, 25 secs
lola: 383103 markings, 636512 edges, 10739 markings/sec, 30 secs
lola: 435221 markings, 738263 edges, 10424 markings/sec, 35 secs
lola: 482787 markings, 843995 edges, 9513 markings/sec, 40 secs
lola: 538798 markings, 925802 edges, 11202 markings/sec, 45 secs
lola: 589077 markings, 1027801 edges, 10056 markings/sec, 50 secs
lola: 642851 markings, 1125780 edges, 10755 markings/sec, 55 secs
lola: 692809 markings, 1225965 edges, 9992 markings/sec, 60 secs
lola: 747106 markings, 1317546 edges, 10859 markings/sec, 65 secs
lola: 797079 markings, 1422951 edges, 9995 markings/sec, 70 secs
lola: 851603 markings, 1513399 edges, 10905 markings/sec, 75 secs
lola: 899721 markings, 1621865 edges, 9624 markings/sec, 80 secs
lola: 950740 markings, 1724276 edges, 10204 markings/sec, 85 secs
lola: 1004229 markings, 1818085 edges, 10698 markings/sec, 90 secs
lola: 1054168 markings, 1924801 edges, 9988 markings/sec, 95 secs
lola: 1109602 markings, 2011756 edges, 11087 markings/sec, 100 secs
lola: 1155092 markings, 2128669 edges, 9098 markings/sec, 105 secs
lola: 1210367 markings, 2218527 edges, 11055 markings/sec, 110 secs
lola: 1263518 markings, 2319526 edges, 10630 markings/sec, 115 secs
lola: 1318390 markings, 2409048 edges, 10974 markings/sec, 120 secs
lola: 1375993 markings, 2486666 edges, 11521 markings/sec, 125 secs
lola: 1430613 markings, 2583194 edges, 10924 markings/sec, 130 secs
lola: 1487712 markings, 2664971 edges, 11420 markings/sec, 135 secs
lola: 1544788 markings, 2744574 edges, 11415 markings/sec, 140 secs
lola: 1597499 markings, 2844066 edges, 10542 markings/sec, 145 secs
lola: 1650877 markings, 2942768 edges, 10676 markings/sec, 150 secs
lola: 1701063 markings, 3050917 edges, 10037 markings/sec, 155 secs
lola: 1755856 markings, 3139653 edges, 10959 markings/sec, 160 secs
lola: 1812641 markings, 3220333 edges, 11357 markings/sec, 165 secs
lola: 1869396 markings, 3302181 edges, 11351 markings/sec, 170 secs
lola: 1922447 markings, 3391985 edges, 10610 markings/sec, 175 secs
lola: 1977031 markings, 3480656 edges, 10917 markings/sec, 180 secs
lola: 2032111 markings, 3567734 edges, 11016 markings/sec, 185 secs
lola: 2086918 markings, 3655579 edges, 10961 markings/sec, 190 secs
lola: 2140798 markings, 3753229 edges, 10776 markings/sec, 195 secs
lola: 2195781 markings, 3841404 edges, 10997 markings/sec, 200 secs
lola: 2250748 markings, 3924983 edges, 10993 markings/sec, 205 secs
lola: 2305157 markings, 4015151 edges, 10882 markings/sec, 210 secs
lola: 2361881 markings, 4097903 edges, 11345 markings/sec, 215 secs
lola: 2414014 markings, 4199893 edges, 10427 markings/sec, 220 secs
lola: 2465045 markings, 4301455 edges, 10206 markings/sec, 225 secs
lola: 2515376 markings, 4402663 edges, 10066 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 487080 KB
lola: time consumption: 483 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1342)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1342)
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: 225 markings, 224 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 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p618)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p618)
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: 19 markings, 18 edges
lola: ========================================

FORMULA CloudDeployment-PT-6b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1433)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1433)
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: 48 markings, 47 edges

FORMULA CloudDeployment-PT-6b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1275)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1275)
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: 23 markings, 22 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 342 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p241)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p241)
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: 70578 markings, 76915 edges, 14116 markings/sec, 0 secs
lola: 193623 markings, 208692 edges, 24609 markings/sec, 5 secs
lola: 306196 markings, 335877 edges, 22515 markings/sec, 10 secs
lola: 406991 markings, 446833 edges, 20159 markings/sec, 15 secs
lola: 522323 markings, 575918 edges, 23066 markings/sec, 20 secs
lola: 638048 markings, 704916 edges, 23145 markings/sec, 25 secs
lola: 746742 markings, 828870 edges, 21739 markings/sec, 30 secs
lola: 857321 markings, 954365 edges, 22116 markings/sec, 35 secs
lola: 976546 markings, 1084708 edges, 23845 markings/sec, 40 secs
lola: 1092075 markings, 1212863 edges, 23106 markings/sec, 45 secs
lola: 1203108 markings, 1338815 edges, 22207 markings/sec, 50 secs
lola: 1313934 markings, 1464621 edges, 22165 markings/sec, 55 secs
lola: 1433799 markings, 1595262 edges, 23973 markings/sec, 60 secs
lola: 1548543 markings, 1722888 edges, 22949 markings/sec, 65 secs
lola: 1659305 markings, 1848662 edges, 22152 markings/sec, 70 secs
lola: 1770543 markings, 1974873 edges, 22248 markings/sec, 75 secs
lola: 1892617 markings, 2106471 edges, 24415 markings/sec, 80 secs
lola: 1995079 markings, 2220887 edges, 20492 markings/sec, 85 secs
lola: 2083788 markings, 2331509 edges, 17742 markings/sec, 90 secs
lola: 2161430 markings, 2448055 edges, 15528 markings/sec, 95 secs
lola: 2245170 markings, 2552126 edges, 16748 markings/sec, 100 secs
lola: 2318419 markings, 2663600 edges, 14650 markings/sec, 105 secs
lola: 2387928 markings, 2776723 edges, 13902 markings/sec, 110 secs
lola: 2457638 markings, 2887137 edges, 13942 markings/sec, 115 secs
lola: 2560857 markings, 3004605 edges, 20644 markings/sec, 120 secs
lola: 2661864 markings, 3118731 edges, 20201 markings/sec, 125 secs
lola: 2763744 markings, 3235432 edges, 20376 markings/sec, 130 secs
lola: 2880225 markings, 3361571 edges, 23296 markings/sec, 135 secs
lola: 3003394 markings, 3493079 edges, 24634 markings/sec, 140 secs
lola: 3126445 markings, 3625073 edges, 24610 markings/sec, 145 secs
lola: 3248708 markings, 3755800 edges, 24453 markings/sec, 150 secs
lola: 3372710 markings, 3888272 edges, 24800 markings/sec, 155 secs
lola: 3494665 markings, 4019378 edges, 24391 markings/sec, 160 secs
lola: 3614380 markings, 4148270 edges, 23943 markings/sec, 165 secs
lola: 3736703 markings, 4279153 edges, 24465 markings/sec, 170 secs
lola: 3857940 markings, 4409172 edges, 24247 markings/sec, 175 secs
lola: 3980859 markings, 4540479 edges, 24584 markings/sec, 180 secs
lola: 4103366 markings, 4671556 edges, 24501 markings/sec, 185 secs
lola: 4226217 markings, 4802899 edges, 24570 markings/sec, 190 secs
lola: 4349116 markings, 4934177 edges, 24580 markings/sec, 195 secs
lola: 4472307 markings, 5065878 edges, 24638 markings/sec, 200 secs
lola: 4594552 markings, 5196783 edges, 24449 markings/sec, 205 secs
lola: 4717771 markings, 5328470 edges, 24644 markings/sec, 210 secs
lola: 4840767 markings, 5460157 edges, 24599 markings/sec, 215 secs
lola: 4964258 markings, 5592207 edges, 24698 markings/sec, 220 secs
lola: 5086704 markings, 5723684 edges, 24489 markings/sec, 225 secs
lola: 5209446 markings, 5855253 edges, 24548 markings/sec, 230 secs
lola: 5331759 markings, 5986699 edges, 24463 markings/sec, 235 secs
lola: 5453224 markings, 6117387 edges, 24293 markings/sec, 240 secs
lola: 5575224 markings, 6248245 edges, 24400 markings/sec, 245 secs
lola: 5697950 markings, 6379690 edges, 24545 markings/sec, 250 secs
lola: 5820107 markings, 6511428 edges, 24431 markings/sec, 255 secs
lola: 5941334 markings, 6641935 edges, 24245 markings/sec, 260 secs
lola: 6063300 markings, 6773546 edges, 24393 markings/sec, 265 secs
lola: 6184246 markings, 6905239 edges, 24189 markings/sec, 270 secs
lola: 6306110 markings, 7036880 edges, 24373 markings/sec, 275 secs
lola: 6428204 markings, 7168324 edges, 24419 markings/sec, 280 secs
lola: 6549084 markings, 7299471 edges, 24176 markings/sec, 285 secs
lola: 6669216 markings, 7431029 edges, 24026 markings/sec, 290 secs
lola: 6751757 markings, 7556895 edges, 16508 markings/sec, 295 secs
lola: 6870694 markings, 7685710 edges, 23787 markings/sec, 300 secs
lola: 6979807 markings, 7809383 edges, 21823 markings/sec, 305 secs
lola: 7088630 markings, 7933147 edges, 21765 markings/sec, 310 secs
lola: 7204171 markings, 8060652 edges, 23108 markings/sec, 315 secs
lola: 7319344 markings, 8187350 edges, 23035 markings/sec, 320 secs
lola: 7428067 markings, 8310802 edges, 21745 markings/sec, 325 secs
lola: 7539430 markings, 8433294 edges, 22273 markings/sec, 330 secs
lola: 7659636 markings, 8562729 edges, 24041 markings/sec, 335 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1172384 KB
lola: time consumption: 829 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 342 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p518)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p518)
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: 61 markings, 60 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 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1090)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1090)
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: 58466 markings, 68301 edges, 11693 markings/sec, 0 secs
lola: 135232 markings, 162326 edges, 15353 markings/sec, 5 secs
lola: 212585 markings, 253636 edges, 15471 markings/sec, 10 secs
lola: 287979 markings, 350114 edges, 15079 markings/sec, 15 secs
lola: 363797 markings, 444531 edges, 15164 markings/sec, 20 secs
lola: 439758 markings, 538352 edges, 15192 markings/sec, 25 secs
lola: 515897 markings, 632343 edges, 15228 markings/sec, 30 secs
lola: 591648 markings, 725900 edges, 15150 markings/sec, 35 secs
lola: 668001 markings, 820198 edges, 15271 markings/sec, 40 secs
lola: 744254 markings, 914285 edges, 15251 markings/sec, 45 secs
lola: 820194 markings, 1008192 edges, 15188 markings/sec, 50 secs
lola: 896791 markings, 1102716 edges, 15319 markings/sec, 55 secs
lola: 972748 markings, 1193233 edges, 15191 markings/sec, 60 secs
lola: 1032300 markings, 1277825 edges, 11910 markings/sec, 65 secs
lola: 1081639 markings, 1369729 edges, 9868 markings/sec, 70 secs
lola: 1130329 markings, 1459676 edges, 9738 markings/sec, 75 secs
lola: 1175864 markings, 1544955 edges, 9107 markings/sec, 80 secs
lola: 1220194 markings, 1632608 edges, 8866 markings/sec, 85 secs
lola: 1281295 markings, 1725172 edges, 12220 markings/sec, 90 secs
lola: 1346993 markings, 1809974 edges, 13140 markings/sec, 95 secs
lola: 1418707 markings, 1897045 edges, 14343 markings/sec, 100 secs
lola: 1501497 markings, 1991142 edges, 16558 markings/sec, 105 secs
lola: 1583877 markings, 2085445 edges, 16476 markings/sec, 110 secs
lola: 1667100 markings, 2179984 edges, 16645 markings/sec, 115 secs
lola: 1750996 markings, 2276196 edges, 16779 markings/sec, 120 secs
lola: 1831860 markings, 2369242 edges, 16173 markings/sec, 125 secs
lola: 1914458 markings, 2463365 edges, 16520 markings/sec, 130 secs
lola: 1997649 markings, 2558244 edges, 16638 markings/sec, 135 secs
lola: 2081208 markings, 2653457 edges, 16712 markings/sec, 140 secs
lola: 2165039 markings, 2748803 edges, 16766 markings/sec, 145 secs
lola: 2248824 markings, 2844087 edges, 16757 markings/sec, 150 secs
lola: 2331956 markings, 2938959 edges, 16626 markings/sec, 155 secs
lola: 2416208 markings, 3034993 edges, 16850 markings/sec, 160 secs
lola: 2500929 markings, 3131762 edges, 16944 markings/sec, 165 secs
lola: 2584719 markings, 3227558 edges, 16758 markings/sec, 170 secs
lola: 2668420 markings, 3323810 edges, 16740 markings/sec, 175 secs
lola: 2751333 markings, 3419324 edges, 16583 markings/sec, 180 secs
lola: 2835728 markings, 3515494 edges, 16879 markings/sec, 185 secs
lola: 2919333 markings, 3612019 edges, 16721 markings/sec, 190 secs
lola: 3001961 markings, 3707299 edges, 16526 markings/sec, 195 secs
lola: 3084467 markings, 3803761 edges, 16501 markings/sec, 200 secs
lola: 3167352 markings, 3900196 edges, 16577 markings/sec, 205 secs
lola: 3249750 markings, 3996634 edges, 16480 markings/sec, 210 secs
lola: 3332339 markings, 4093151 edges, 16518 markings/sec, 215 secs
lola: 3389538 markings, 4197938 edges, 11440 markings/sec, 220 secs
lola: 3465494 markings, 4291613 edges, 15191 markings/sec, 225 secs
lola: 3541134 markings, 4385203 edges, 15128 markings/sec, 230 secs
lola: 3616761 markings, 4478651 edges, 15125 markings/sec, 235 secs
lola: 3692217 markings, 4571851 edges, 15091 markings/sec, 240 secs
lola: 3769148 markings, 4662923 edges, 15386 markings/sec, 245 secs
lola: 3847361 markings, 4754494 edges, 15643 markings/sec, 250 secs
lola: 3919006 markings, 4858195 edges, 14329 markings/sec, 255 secs
lola: 3992856 markings, 4952973 edges, 14770 markings/sec, 260 secs
lola: 4067697 markings, 5045399 edges, 14968 markings/sec, 265 secs
lola: 4142767 markings, 5137904 edges, 15014 markings/sec, 270 secs
lola: 4219350 markings, 5228855 edges, 15317 markings/sec, 275 secs
lola: 4296903 markings, 5323491 edges, 15511 markings/sec, 280 secs
lola: 4374824 markings, 5415966 edges, 15584 markings/sec, 285 secs
lola: 4451371 markings, 5513171 edges, 15309 markings/sec, 290 secs
lola: 4527837 markings, 5608614 edges, 15293 markings/sec, 295 secs
lola: 4604632 markings, 5703384 edges, 15359 markings/sec, 300 secs
lola: 4681426 markings, 5798192 edges, 15359 markings/sec, 305 secs
lola: 4758130 markings, 5892947 edges, 15341 markings/sec, 310 secs
lola: 4834700 markings, 5987603 edges, 15314 markings/sec, 315 secs
lola: 4911214 markings, 6082040 edges, 15303 markings/sec, 320 secs
lola: 4988132 markings, 6176909 edges, 15384 markings/sec, 325 secs
lola: 5065356 markings, 6272271 edges, 15445 markings/sec, 330 secs
lola: 5143934 markings, 6365284 edges, 15716 markings/sec, 335 secs
lola: 5205365 markings, 6449653 edges, 12286 markings/sec, 340 secs
lola: 5256181 markings, 6541448 edges, 10163 markings/sec, 345 secs
lola: 5309280 markings, 6626971 edges, 10620 markings/sec, 350 secs
lola: 5354269 markings, 6715038 edges, 8998 markings/sec, 355 secs
lola: 5398301 markings, 6802698 edges, 8806 markings/sec, 360 secs
lola: 5450362 markings, 6894964 edges, 10412 markings/sec, 365 secs
lola: 5515978 markings, 6976426 edges, 13123 markings/sec, 370 secs
lola: 5584332 markings, 7063178 edges, 13671 markings/sec, 375 secs
lola: 5667681 markings, 7158065 edges, 16670 markings/sec, 380 secs
lola: 5747328 markings, 7249238 edges, 15929 markings/sec, 385 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1474168 KB
lola: time consumption: 1222 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1341)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1341)
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: 226 markings, 225 edges

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

FORMULA CloudDeployment-PT-6b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 586 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1379)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1379)
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: 221 markings, 220 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 781 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p315)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p315)
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: 20 markings, 19 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 1171 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1265)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1265)
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: 32 markings, 31 edges
lola: ========================================

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

FORMULA CloudDeployment-PT-6b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p1843)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1843)
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: 64189 markings, 75164 edges, 12838 markings/sec, 0 secs
lola: 146171 markings, 175362 edges, 16396 markings/sec, 5 secs
lola: 233379 markings, 277759 edges, 17442 markings/sec, 10 secs
lola: 312265 markings, 380128 edges, 15777 markings/sec, 15 secs
lola: 394350 markings, 483950 edges, 16417 markings/sec, 20 secs
lola: 476468 markings, 587308 edges, 16424 markings/sec, 25 secs
lola: 555319 markings, 684720 edges, 15770 markings/sec, 30 secs
lola: 639744 markings, 788452 edges, 16885 markings/sec, 35 secs
lola: 725162 markings, 892977 edges, 17084 markings/sec, 40 secs
lola: 804005 markings, 990192 edges, 15769 markings/sec, 45 secs
lola: 884166 markings, 1088772 edges, 16032 markings/sec, 50 secs
lola: 967455 markings, 1188481 edges, 16658 markings/sec, 55 secs
lola: 1031825 markings, 1281289 edges, 12874 markings/sec, 60 secs
lola: 1087197 markings, 1381883 edges, 11074 markings/sec, 65 secs
lola: 1133706 markings, 1474772 edges, 9302 markings/sec, 70 secs
lola: 1182047 markings, 1570522 edges, 9668 markings/sec, 75 secs
lola: 1237795 markings, 1673460 edges, 11150 markings/sec, 80 secs
lola: 1307300 markings, 1760546 edges, 13901 markings/sec, 85 secs
lola: 1381757 markings, 1855298 edges, 14891 markings/sec, 90 secs
lola: 1469269 markings, 1954907 edges, 17502 markings/sec, 95 secs
lola: 1564183 markings, 2063449 edges, 18983 markings/sec, 100 secs
lola: 1653799 markings, 2165249 edges, 17923 markings/sec, 105 secs
lola: 1744908 markings, 2270404 edges, 18222 markings/sec, 110 secs
lola: 1831997 markings, 2369771 edges, 17418 markings/sec, 115 secs
lola: 1925747 markings, 2476881 edges, 18750 markings/sec, 120 secs
lola: 2018318 markings, 2582306 edges, 18514 markings/sec, 125 secs
lola: 2111086 markings, 2687865 edges, 18554 markings/sec, 130 secs
lola: 2204644 markings, 2794200 edges, 18712 markings/sec, 135 secs
lola: 2292378 markings, 2894307 edges, 17547 markings/sec, 140 secs
lola: 2387322 markings, 3002475 edges, 18989 markings/sec, 145 secs
lola: 2482384 markings, 3111068 edges, 19012 markings/sec, 150 secs
lola: 2575250 markings, 3217210 edges, 18573 markings/sec, 155 secs
lola: 2662473 markings, 3317579 edges, 17445 markings/sec, 160 secs
lola: 2754259 markings, 3423062 edges, 18357 markings/sec, 165 secs
lola: 2847067 markings, 3529079 edges, 18562 markings/sec, 170 secs
lola: 2932769 markings, 3628359 edges, 17140 markings/sec, 175 secs
lola: 3024355 markings, 3734136 edges, 18317 markings/sec, 180 secs
lola: 3115786 markings, 3841452 edges, 18286 markings/sec, 185 secs
lola: 3202149 markings, 3941011 edges, 17273 markings/sec, 190 secs
lola: 3293022 markings, 4046830 edges, 18175 markings/sec, 195 secs
lola: 3354410 markings, 4155465 edges, 12278 markings/sec, 200 secs
lola: 3435700 markings, 4257523 edges, 16258 markings/sec, 205 secs
lola: 3514780 markings, 4355505 edges, 15816 markings/sec, 210 secs
lola: 3598810 markings, 4458631 edges, 16806 markings/sec, 215 secs
lola: 3682403 markings, 4561102 edges, 16719 markings/sec, 220 secs
lola: 3762801 markings, 4656072 edges, 16080 markings/sec, 225 secs
lola: 3851732 markings, 4759806 edges, 17786 markings/sec, 230 secs
lola: 3932048 markings, 4874427 edges, 16063 markings/sec, 235 secs
lola: 4015989 markings, 4980099 edges, 16788 markings/sec, 240 secs
lola: 4100673 markings, 5083959 edges, 16937 markings/sec, 245 secs
lola: 4185303 markings, 5187758 edges, 16926 markings/sec, 250 secs
lola: 4270507 markings, 5291101 edges, 17041 markings/sec, 255 secs
lola: 4355376 markings, 5394289 edges, 16974 markings/sec, 260 secs
lola: 4441800 markings, 5503263 edges, 17285 markings/sec, 265 secs
lola: 4528675 markings, 5610339 edges, 17375 markings/sec, 270 secs
lola: 4615763 markings, 5716897 edges, 17418 markings/sec, 275 secs
lola: 4702885 markings, 5823454 edges, 17424 markings/sec, 280 secs
lola: 4790095 markings, 5930149 edges, 17442 markings/sec, 285 secs
lola: 4876193 markings, 6036152 edges, 17220 markings/sec, 290 secs
lola: 4959547 markings, 6141469 edges, 16671 markings/sec, 295 secs
lola: 5043100 markings, 6246964 edges, 16711 markings/sec, 300 secs
lola: 5130707 markings, 6350944 edges, 17521 markings/sec, 305 secs
lola: 5198623 markings, 6445600 edges, 13583 markings/sec, 310 secs
lola: 5253600 markings, 6547289 edges, 10995 markings/sec, 315 secs
lola: 5306409 markings, 6647940 edges, 10562 markings/sec, 320 secs
lola: 5355962 markings, 6745164 edges, 9911 markings/sec, 325 secs
lola: 5410238 markings, 6846901 edges, 10855 markings/sec, 330 secs
lola: 5486920 markings, 6941741 edges, 15336 markings/sec, 335 secs
lola: 5562237 markings, 7038286 edges, 15063 markings/sec, 340 secs
lola: 5656356 markings, 7145561 edges, 18824 markings/sec, 345 secs
lola: 5751050 markings, 7253852 edges, 18939 markings/sec, 350 secs
lola: 5846253 markings, 7362043 edges, 19041 markings/sec, 355 secs
lola: 5938224 markings, 7468434 edges, 18394 markings/sec, 360 secs
lola: 6032678 markings, 7575963 edges, 18891 markings/sec, 365 secs
lola: 6126273 markings, 7682808 edges, 18719 markings/sec, 370 secs
lola: 6220778 markings, 7790447 edges, 18901 markings/sec, 375 secs
lola: 6315465 markings, 7898184 edges, 18937 markings/sec, 380 secs
lola: 6410461 markings, 8006214 edges, 18999 markings/sec, 385 secs
lola: 6504930 markings, 8113995 edges, 18894 markings/sec, 390 secs
lola: 6599744 markings, 8222083 edges, 18963 markings/sec, 395 secs
lola: 6694425 markings, 8330266 edges, 18936 markings/sec, 400 secs
lola: 6788653 markings, 8438175 edges, 18846 markings/sec, 405 secs
lola: 6881942 markings, 8545654 edges, 18658 markings/sec, 410 secs
lola: 6975893 markings, 8653095 edges, 18790 markings/sec, 415 secs
lola: 7069959 markings, 8761493 edges, 18813 markings/sec, 420 secs
lola: 7163357 markings, 8869141 edges, 18680 markings/sec, 425 secs
lola: 7256465 markings, 8978836 edges, 18622 markings/sec, 430 secs
lola: 7346655 markings, 9082547 edges, 18038 markings/sec, 435 secs
lola: 7435139 markings, 9185852 edges, 17697 markings/sec, 440 secs
lola: 7515495 markings, 9291155 edges, 16071 markings/sec, 445 secs
lola: 7585003 markings, 9398707 edges, 13902 markings/sec, 450 secs
lola: 7663063 markings, 9494766 edges, 15612 markings/sec, 455 secs
lola: 7746612 markings, 9597398 edges, 16710 markings/sec, 460 secs
lola: 7829819 markings, 9699602 edges, 16641 markings/sec, 465 secs
lola: 7912215 markings, 9801576 edges, 16479 markings/sec, 470 secs
lola: 7995465 markings, 9900174 edges, 16650 markings/sec, 475 secs
lola: 8074907 markings, 10011294 edges, 15888 markings/sec, 480 secs
lola: 8156071 markings, 10117034 edges, 16233 markings/sec, 485 secs
lola: 8239920 markings, 10219961 edges, 16770 markings/sec, 490 secs
lola: 8323979 markings, 10322972 edges, 16812 markings/sec, 495 secs
lola: 8410869 markings, 10425009 edges, 17378 markings/sec, 500 secs
lola: 8495902 markings, 10526773 edges, 17007 markings/sec, 505 secs
lola: 8579770 markings, 10628724 edges, 16774 markings/sec, 510 secs
lola: 8661000 markings, 10728931 edges, 16246 markings/sec, 515 secs
lola: 8730490 markings, 10826496 edges, 13898 markings/sec, 520 secs
lola: 8804789 markings, 10927633 edges, 14860 markings/sec, 525 secs
lola: 8867752 markings, 11022030 edges, 12593 markings/sec, 530 secs
lola: 8921094 markings, 11120733 edges, 10668 markings/sec, 535 secs
lola: 8971294 markings, 11217621 edges, 10040 markings/sec, 540 secs
lola: 9042234 markings, 11314826 edges, 14188 markings/sec, 545 secs
lola: 9117800 markings, 11413155 edges, 15113 markings/sec, 550 secs
lola: 9209467 markings, 11517519 edges, 18333 markings/sec, 555 secs
lola: 9301857 markings, 11622811 edges, 18478 markings/sec, 560 secs
lola: 9393982 markings, 11728050 edges, 18425 markings/sec, 565 secs
lola: 9486254 markings, 11833913 edges, 18454 markings/sec, 570 secs
lola: 9579924 markings, 11941167 edges, 18734 markings/sec, 575 secs
lola: 9673977 markings, 12048651 edges, 18811 markings/sec, 580 secs
lola: 9767442 markings, 12155213 edges, 18693 markings/sec, 585 secs
lola: 9859877 markings, 12260427 edges, 18487 markings/sec, 590 secs
lola: 9952145 markings, 12365966 edges, 18454 markings/sec, 595 secs
lola: 10043495 markings, 12472097 edges, 18270 markings/sec, 600 secs
lola: 10134436 markings, 12576637 edges, 18188 markings/sec, 605 secs
lola: 10224639 markings, 12681099 edges, 18041 markings/sec, 610 secs
lola: 10293324 markings, 12788110 edges, 13737 markings/sec, 615 secs
lola: 10377001 markings, 12888308 edges, 16735 markings/sec, 620 secs
lola: 10462402 markings, 12990031 edges, 17080 markings/sec, 625 secs
lola: 10539749 markings, 13087197 edges, 15469 markings/sec, 630 secs
lola: 10613191 markings, 13186697 edges, 14688 markings/sec, 635 secs
lola: 10687762 markings, 13286219 edges, 14914 markings/sec, 640 secs
lola: 10749205 markings, 13378603 edges, 12289 markings/sec, 645 secs
lola: 10803188 markings, 13475450 edges, 10797 markings/sec, 650 secs
lola: 10853477 markings, 13570431 edges, 10058 markings/sec, 655 secs
lola: 10915594 markings, 13666575 edges, 12423 markings/sec, 660 secs
lola: 10989659 markings, 13762990 edges, 14813 markings/sec, 665 secs
lola: 11083424 markings, 13869894 edges, 18753 markings/sec, 670 secs
lola: 11178228 markings, 13977859 edges, 18961 markings/sec, 675 secs
lola: 11272743 markings, 14085927 edges, 18903 markings/sec, 680 secs
lola: 11366840 markings, 14193880 edges, 18819 markings/sec, 685 secs
lola: 11455473 markings, 14295380 edges, 17727 markings/sec, 690 secs
lola: 11549245 markings, 14402511 edges, 18754 markings/sec, 695 secs
lola: 11642453 markings, 14508841 edges, 18642 markings/sec, 700 secs
lola: 11735655 markings, 14614936 edges, 18640 markings/sec, 705 secs
lola: 11828692 markings, 14721368 edges, 18607 markings/sec, 710 secs
lola: 11921240 markings, 14828420 edges, 18510 markings/sec, 715 secs
lola: 12012775 markings, 14934020 edges, 18307 markings/sec, 720 secs
lola: 12103414 markings, 15039217 edges, 18128 markings/sec, 725 secs
lola: 12175250 markings, 15147300 edges, 14367 markings/sec, 730 secs
lola: 12263149 markings, 15250096 edges, 17580 markings/sec, 735 secs
lola: 12351181 markings, 15353008 edges, 17606 markings/sec, 740 secs
lola: 12436926 markings, 15454480 edges, 17149 markings/sec, 745 secs
lola: 12520182 markings, 15553753 edges, 16651 markings/sec, 750 secs
lola: 12608196 markings, 15657167 edges, 17603 markings/sec, 755 secs
lola: 12682946 markings, 15755866 edges, 14950 markings/sec, 760 secs
lola: 12761719 markings, 15852802 edges, 15755 markings/sec, 765 secs
lola: 12828945 markings, 15947417 edges, 13445 markings/sec, 770 secs
lola: 12897537 markings, 16051910 edges, 13718 markings/sec, 775 secs
lola: 12969883 markings, 16153879 edges, 14469 markings/sec, 780 secs
lola: 13036124 markings, 16250393 edges, 13248 markings/sec, 785 secs
lola: 13100739 markings, 16354085 edges, 12923 markings/sec, 790 secs
lola: 13185400 markings, 16457321 edges, 16932 markings/sec, 795 secs
lola: 13267950 markings, 16555259 edges, 16510 markings/sec, 800 secs
lola: 13324599 markings, 16651034 edges, 11330 markings/sec, 805 secs
lola: 13373992 markings, 16740430 edges, 9879 markings/sec, 810 secs
lola: 13442949 markings, 16825912 edges, 13791 markings/sec, 815 secs
lola: 13535055 markings, 16931111 edges, 18421 markings/sec, 820 secs
lola: 13628499 markings, 17037604 edges, 18689 markings/sec, 825 secs
lola: 13720938 markings, 17143244 edges, 18488 markings/sec, 830 secs
lola: 13814031 markings, 17249278 edges, 18619 markings/sec, 835 secs
lola: 13901263 markings, 17348523 edges, 17446 markings/sec, 840 secs
lola: 13994545 markings, 17455305 edges, 18656 markings/sec, 845 secs
lola: 14087457 markings, 17561651 edges, 18582 markings/sec, 850 secs
lola: 14179162 markings, 17667765 edges, 18341 markings/sec, 855 secs
lola: 14267332 markings, 17770441 edges, 17634 markings/sec, 860 secs
lola: 14343357 markings, 17878313 edges, 15205 markings/sec, 865 secs
lola: 14427158 markings, 17981062 edges, 16760 markings/sec, 870 secs
lola: 14511911 markings, 18084719 edges, 16951 markings/sec, 875 secs
lola: 14578037 markings, 18180911 edges, 13225 markings/sec, 880 secs
lola: 14631382 markings, 18280469 edges, 10669 markings/sec, 885 secs
lola: 14706588 markings, 18371451 edges, 15041 markings/sec, 890 secs
lola: 14798473 markings, 18476402 edges, 18377 markings/sec, 895 secs
lola: 14891207 markings, 18581919 edges, 18547 markings/sec, 900 secs
lola: 14984177 markings, 18687881 edges, 18594 markings/sec, 905 secs
lola: 15076631 markings, 18793819 edges, 18491 markings/sec, 910 secs
lola: 15169135 markings, 18900021 edges, 18501 markings/sec, 915 secs
lola: 15260297 markings, 19006508 edges, 18232 markings/sec, 920 secs
lola: 15337524 markings, 19112573 edges, 15445 markings/sec, 925 secs
lola: 15421499 markings, 19215652 edges, 16795 markings/sec, 930 secs
lola: 15506183 markings, 19317270 edges, 16937 markings/sec, 935 secs
lola: 15591569 markings, 19418657 edges, 17077 markings/sec, 940 secs
lola: 15677514 markings, 19520325 edges, 17189 markings/sec, 945 secs
lola: 15761903 markings, 19623598 edges, 16878 markings/sec, 950 secs
lola: 15826155 markings, 19717342 edges, 12850 markings/sec, 955 secs
lola: 15878214 markings, 19810056 edges, 10412 markings/sec, 960 secs
lola: 15946904 markings, 19907535 edges, 13738 markings/sec, 965 secs
lola: 16037096 markings, 20011856 edges, 18038 markings/sec, 970 secs
lola: 16130123 markings, 20118071 edges, 18605 markings/sec, 975 secs
lola: 16222643 markings, 20224119 edges, 18504 markings/sec, 980 secs
lola: 16316647 markings, 20331119 edges, 18801 markings/sec, 985 secs
lola: 16410627 markings, 20438068 edges, 18796 markings/sec, 990 secs
lola: 16504381 markings, 20545214 edges, 18751 markings/sec, 995 secs
lola: 16597191 markings, 20651436 edges, 18562 markings/sec, 1000 secs
lola: 16689895 markings, 20758650 edges, 18541 markings/sec, 1005 secs
lola: 16782145 markings, 20866190 edges, 18450 markings/sec, 1010 secs
lola: 16858042 markings, 20973846 edges, 15179 markings/sec, 1015 secs
lola: 16943031 markings, 21077965 edges, 16998 markings/sec, 1020 secs
lola: 17022713 markings, 21175838 edges, 15936 markings/sec, 1025 secs
lola: 17091035 markings, 21271531 edges, 13664 markings/sec, 1030 secs
lola: 17137165 markings, 21363130 edges, 9226 markings/sec, 1035 secs
lola: 17215504 markings, 21460449 edges, 15668 markings/sec, 1040 secs
lola: 17307588 markings, 21565706 edges, 18417 markings/sec, 1045 secs
lola: 17401004 markings, 21671980 edges, 18683 markings/sec, 1050 secs
lola: 17494164 markings, 21778118 edges, 18632 markings/sec, 1055 secs
lola: 17587156 markings, 21884470 edges, 18598 markings/sec, 1060 secs
lola: 17679576 markings, 21990691 edges, 18484 markings/sec, 1065 secs
lola: 17771128 markings, 22097436 edges, 18310 markings/sec, 1070 secs
lola: 17848987 markings, 22204437 edges, 15572 markings/sec, 1075 secs
lola: 17933613 markings, 22308284 edges, 16925 markings/sec, 1080 secs
lola: 18018065 markings, 22409679 edges, 16890 markings/sec, 1085 secs
lola: 18103517 markings, 22511139 edges, 17090 markings/sec, 1090 secs
lola: 18189383 markings, 22612681 edges, 17173 markings/sec, 1095 secs
lola: 18270694 markings, 22709681 edges, 16262 markings/sec, 1100 secs
lola: 18334236 markings, 22796515 edges, 12708 markings/sec, 1105 secs
lola: 18397090 markings, 22885281 edges, 12571 markings/sec, 1110 secs
lola: 18455057 markings, 22984962 edges, 11593 markings/sec, 1115 secs
lola: 18514280 markings, 23085344 edges, 11845 markings/sec, 1120 secs
lola: 18570822 markings, 23185236 edges, 11308 markings/sec, 1125 secs
lola: 18657877 markings, 23286392 edges, 17411 markings/sec, 1130 secs
lola: 18727923 markings, 23380753 edges, 14009 markings/sec, 1135 secs
lola: 18785208 markings, 23474794 edges, 11457 markings/sec, 1140 secs
lola: 18859607 markings, 23575268 edges, 14880 markings/sec, 1145 secs
lola: 18953386 markings, 23682146 edges, 18756 markings/sec, 1150 secs
lola: 19047042 markings, 23789020 edges, 18731 markings/sec, 1155 secs
lola: 19141187 markings, 23896499 edges, 18829 markings/sec, 1160 secs
lola: 19235458 markings, 24004719 edges, 18854 markings/sec, 1165 secs
lola: 19314666 markings, 24114599 edges, 15842 markings/sec, 1170 secs
lola: 19389429 markings, 24204608 edges, 14953 markings/sec, 1175 secs
lola: 19463388 markings, 24298260 edges, 14792 markings/sec, 1180 secs
lola: 19538803 markings, 24392185 edges, 15083 markings/sec, 1185 secs
lola: 19608093 markings, 24490116 edges, 13858 markings/sec, 1190 secs
lola: 19683976 markings, 24589201 edges, 15177 markings/sec, 1195 secs
lola: 19754703 markings, 24693567 edges, 14145 markings/sec, 1200 secs
lola: 19823904 markings, 24794956 edges, 13840 markings/sec, 1205 secs
lola: 19885263 markings, 24901895 edges, 12272 markings/sec, 1210 secs
lola: 19967681 markings, 25000848 edges, 16484 markings/sec, 1215 secs
lola: 20032130 markings, 25086865 edges, 12890 markings/sec, 1220 secs
lola: 20096745 markings, 25173050 edges, 12923 markings/sec, 1225 secs
lola: 20158044 markings, 25265528 edges, 12260 markings/sec, 1230 secs
lola: 20216538 markings, 25366499 edges, 11699 markings/sec, 1235 secs
lola: 20267855 markings, 25475267 edges, 10263 markings/sec, 1240 secs
lola: 20349430 markings, 25574906 edges, 16315 markings/sec, 1245 secs
lola: 20425595 markings, 25675817 edges, 15233 markings/sec, 1250 secs
lola: 20499965 markings, 25777883 edges, 14874 markings/sec, 1255 secs
lola: 20593750 markings, 25885053 edges, 18757 markings/sec, 1260 secs
lola: 20681640 markings, 25991643 edges, 17578 markings/sec, 1265 secs
lola: 20762748 markings, 26093267 edges, 16222 markings/sec, 1270 secs
lola: 20836851 markings, 26183079 edges, 14821 markings/sec, 1275 secs
lola: 20917996 markings, 26279584 edges, 16229 markings/sec, 1280 secs
lola: 21002037 markings, 26379161 edges, 16808 markings/sec, 1285 secs
lola: 21077343 markings, 26471604 edges, 15061 markings/sec, 1290 secs
lola: 21143416 markings, 26572297 edges, 13215 markings/sec, 1295 secs
lola: 21227156 markings, 26671399 edges, 16748 markings/sec, 1300 secs
lola: 21319065 markings, 26776656 edges, 18382 markings/sec, 1305 secs
lola: 21400059 markings, 26879243 edges, 16199 markings/sec, 1310 secs
lola: 21479231 markings, 26976138 edges, 15834 markings/sec, 1315 secs
lola: 21547735 markings, 27077259 edges, 13701 markings/sec, 1320 secs
lola: 21639795 markings, 27184709 edges, 18412 markings/sec, 1325 secs
lola: 21734606 markings, 27293400 edges, 18962 markings/sec, 1330 secs
lola: 21815338 markings, 27398836 edges, 16146 markings/sec, 1335 secs
lola: 21897337 markings, 27499442 edges, 16400 markings/sec, 1340 secs
lola: 21956098 markings, 27591779 edges, 11752 markings/sec, 1345 secs
lola: 22048733 markings, 27697644 edges, 18527 markings/sec, 1350 secs
lola: 22139564 markings, 27803637 edges, 18166 markings/sec, 1355 secs
lola: 22214392 markings, 27898647 edges, 14966 markings/sec, 1360 secs
lola: 22275452 markings, 27979795 edges, 12212 markings/sec, 1365 secs
lola: 22338822 markings, 28064653 edges, 12674 markings/sec, 1370 secs
lola: 22397847 markings, 28155038 edges, 11805 markings/sec, 1375 secs
lola: 22451586 markings, 28248649 edges, 10748 markings/sec, 1380 secs
lola: 22499991 markings, 28357127 edges, 9681 markings/sec, 1385 secs
lola: 22568015 markings, 28441069 edges, 13605 markings/sec, 1390 secs
lola: 22633934 markings, 28523686 edges, 13184 markings/sec, 1395 secs
lola: 22704799 markings, 28612188 edges, 14173 markings/sec, 1400 secs
lola: 22773074 markings, 28699268 edges, 13655 markings/sec, 1405 secs
lola: 22853849 markings, 28794501 edges, 16155 markings/sec, 1410 secs
lola: 22923797 markings, 28887875 edges, 13990 markings/sec, 1415 secs
lola: 22979612 markings, 28979366 edges, 11163 markings/sec, 1420 secs
lola: 23054982 markings, 29079257 edges, 15074 markings/sec, 1425 secs
lola: 23148032 markings, 29185414 edges, 18610 markings/sec, 1430 secs
lola: 23240974 markings, 29291560 edges, 18588 markings/sec, 1435 secs
lola: 23333735 markings, 29397513 edges, 18552 markings/sec, 1440 secs
lola: 23426443 markings, 29503977 edges, 18542 markings/sec, 1445 secs
lola: 23504299 markings, 29614021 edges, 15571 markings/sec, 1450 secs
lola: 23574881 markings, 29703642 edges, 14116 markings/sec, 1455 secs
lola: 23644607 markings, 29791408 edges, 13945 markings/sec, 1460 secs
lola: 23715604 markings, 29882412 edges, 14199 markings/sec, 1465 secs
lola: 23781954 markings, 29971984 edges, 13270 markings/sec, 1470 secs
lola: 23846629 markings, 30063175 edges, 12935 markings/sec, 1475 secs
lola: 23914406 markings, 30154673 edges, 13555 markings/sec, 1480 secs
lola: 23978977 markings, 30244205 edges, 12914 markings/sec, 1485 secs
lola: 24048799 markings, 30339901 edges, 13964 markings/sec, 1490 secs
lola: 24118365 markings, 30434888 edges, 13913 markings/sec, 1495 secs
lola: 24190365 markings, 30525591 edges, 14400 markings/sec, 1500 secs
lola: 24262372 markings, 30621054 edges, 14401 markings/sec, 1505 secs
lola: 24334378 markings, 30713800 edges, 14401 markings/sec, 1510 secs
lola: 24410315 markings, 30806839 edges, 15187 markings/sec, 1515 secs
lola: 24492882 markings, 30905597 edges, 16513 markings/sec, 1520 secs
lola: 24572889 markings, 31002917 edges, 16001 markings/sec, 1525 secs
lola: 24653136 markings, 31102271 edges, 16049 markings/sec, 1530 secs
lola: 24723034 markings, 31191428 edges, 13980 markings/sec, 1535 secs
lola: 24800517 markings, 31286695 edges, 15497 markings/sec, 1540 secs
lola: 24877399 markings, 31383524 edges, 15376 markings/sec, 1545 secs
lola: 24947290 markings, 31477746 edges, 13978 markings/sec, 1550 secs
lola: 25020256 markings, 31569194 edges, 14593 markings/sec, 1555 secs
lola: 25093166 markings, 31659308 edges, 14582 markings/sec, 1560 secs
lola: 25164824 markings, 31749034 edges, 14332 markings/sec, 1565 secs
lola: 25233900 markings, 31841277 edges, 13815 markings/sec, 1570 secs
lola: 25305607 markings, 31931197 edges, 14341 markings/sec, 1575 secs
lola: 25375945 markings, 32026838 edges, 14068 markings/sec, 1580 secs
lola: 25447791 markings, 32118523 edges, 14369 markings/sec, 1585 secs
lola: 25519743 markings, 32208782 edges, 14390 markings/sec, 1590 secs
lola: 25590824 markings, 32300810 edges, 14216 markings/sec, 1595 secs
lola: 25662924 markings, 32392136 edges, 14420 markings/sec, 1600 secs
lola: 25733785 markings, 32480840 edges, 14172 markings/sec, 1605 secs
lola: 25804877 markings, 32577087 edges, 14218 markings/sec, 1610 secs
lola: 25875886 markings, 32669031 edges, 14202 markings/sec, 1615 secs
lola: 25947299 markings, 32761441 edges, 14283 markings/sec, 1620 secs
lola: 26017981 markings, 32853733 edges, 14136 markings/sec, 1625 secs
lola: 26085480 markings, 32946142 edges, 13500 markings/sec, 1630 secs
lola: 26147982 markings, 33032051 edges, 12500 markings/sec, 1635 secs
lola: 26204039 markings, 33120252 edges, 11211 markings/sec, 1640 secs
lola: 26261780 markings, 33217356 edges, 11548 markings/sec, 1645 secs
lola: 26315759 markings, 33312270 edges, 10796 markings/sec, 1650 secs
lola: 26375717 markings, 33411209 edges, 11992 markings/sec, 1655 secs
lola: 26440442 markings, 33497953 edges, 12945 markings/sec, 1660 secs
lola: 26504511 markings, 33582719 edges, 12814 markings/sec, 1665 secs
lola: 26569364 markings, 33667013 edges, 12971 markings/sec, 1670 secs
lola: 26638718 markings, 33758302 edges, 13871 markings/sec, 1675 secs
lola: 26706063 markings, 33847221 edges, 13469 markings/sec, 1680 secs
lola: 26770745 markings, 33932802 edges, 12936 markings/sec, 1685 secs
lola: 26837355 markings, 34022458 edges, 13322 markings/sec, 1690 secs
lola: 26903870 markings, 34114880 edges, 13303 markings/sec, 1695 secs
lola: 26972153 markings, 34207569 edges, 13657 markings/sec, 1700 secs
lola: 27036235 markings, 34294927 edges, 12816 markings/sec, 1705 secs
lola: 27101591 markings, 34385383 edges, 13071 markings/sec, 1710 secs
lola: 27168568 markings, 34478351 edges, 13395 markings/sec, 1715 secs
lola: 27235415 markings, 34573829 edges, 13369 markings/sec, 1720 secs
lola: 27298941 markings, 34667685 edges, 12705 markings/sec, 1725 secs
lola: 27358802 markings, 34754829 edges, 11972 markings/sec, 1730 secs
lola: 27421285 markings, 34841749 edges, 12497 markings/sec, 1735 secs
lola: 27482804 markings, 34942736 edges, 12304 markings/sec, 1740 secs
lola: 27545568 markings, 35041568 edges, 12553 markings/sec, 1745 secs
lola: 27597461 markings, 35149158 edges, 10379 markings/sec, 1750 secs
lola: 27663748 markings, 35244626 edges, 13257 markings/sec, 1755 secs
lola: 27741781 markings, 35338325 edges, 15607 markings/sec, 1760 secs
lola: 27828417 markings, 35441826 edges, 17327 markings/sec, 1765 secs
lola: 27911705 markings, 35543275 edges, 16658 markings/sec, 1770 secs
lola: 27996522 markings, 35647122 edges, 16963 markings/sec, 1775 secs
lola: 28063742 markings, 35741561 edges, 13444 markings/sec, 1780 secs
lola: 28128297 markings, 35839477 edges, 12911 markings/sec, 1785 secs
lola: 28193112 markings, 35932862 edges, 12963 markings/sec, 1790 secs
lola: 28269856 markings, 36032451 edges, 15349 markings/sec, 1795 secs
lola: 28351596 markings, 36132639 edges, 16348 markings/sec, 1800 secs
lola: 28428773 markings, 36226997 edges, 15435 markings/sec, 1805 secs
lola: 28499808 markings, 36321848 edges, 14207 markings/sec, 1810 secs
lola: 28577365 markings, 36419209 edges, 15511 markings/sec, 1815 secs
lola: 28652757 markings, 36514218 edges, 15078 markings/sec, 1820 secs
lola: 28726183 markings, 36608264 edges, 14685 markings/sec, 1825 secs
lola: 28800983 markings, 36702876 edges, 14960 markings/sec, 1830 secs
lola: 28865766 markings, 36799607 edges, 12957 markings/sec, 1835 secs
lola: 28926287 markings, 36898529 edges, 12104 markings/sec, 1840 secs
lola: 29004361 markings, 37000969 edges, 15615 markings/sec, 1845 secs
lola: 29081914 markings, 37098402 edges, 15511 markings/sec, 1850 secs
lola: 29156840 markings, 37194986 edges, 14985 markings/sec, 1855 secs
lola: 29228655 markings, 37289618 edges, 14363 markings/sec, 1860 secs
lola: 29299891 markings, 37383639 edges, 14247 markings/sec, 1865 secs
lola: 29372822 markings, 37477124 edges, 14586 markings/sec, 1870 secs
lola: 29445142 markings, 37572131 edges, 14464 markings/sec, 1875 secs
lola: 29511651 markings, 37664840 edges, 13302 markings/sec, 1880 secs
lola: 29582173 markings, 37762733 edges, 14104 markings/sec, 1885 secs
lola: 29647772 markings, 37861571 edges, 13120 markings/sec, 1890 secs
lola: 29713251 markings, 37963883 edges, 13096 markings/sec, 1895 secs
lola: 29775862 markings, 38070466 edges, 12522 markings/sec, 1900 secs
lola: 29837803 markings, 38165893 edges, 12388 markings/sec, 1905 secs
lola: 29909185 markings, 38259933 edges, 14276 markings/sec, 1910 secs
lola: 29973830 markings, 38356258 edges, 12929 markings/sec, 1915 secs
lola: 30037414 markings, 38450726 edges, 12717 markings/sec, 1920 secs
lola: 30099096 markings, 38545968 edges, 12336 markings/sec, 1925 secs
lola: 30160862 markings, 38636821 edges, 12353 markings/sec, 1930 secs
lola: 30217847 markings, 38733152 edges, 11397 markings/sec, 1935 secs
lola: 30279471 markings, 38822081 edges, 12325 markings/sec, 1940 secs
lola: 30344114 markings, 38907895 edges, 12929 markings/sec, 1945 secs
lola: 30407444 markings, 38999672 edges, 12666 markings/sec, 1950 secs
lola: 30469358 markings, 39089690 edges, 12383 markings/sec, 1955 secs
lola: 30530562 markings, 39182392 edges, 12241 markings/sec, 1960 secs
lola: 30593271 markings, 39274167 edges, 12542 markings/sec, 1965 secs
lola: 30662536 markings, 39369625 edges, 13853 markings/sec, 1970 secs
lola: 30726932 markings, 39461845 edges, 12879 markings/sec, 1975 secs
lola: 30786760 markings, 39562700 edges, 11966 markings/sec, 1980 secs
lola: 30845406 markings, 39664047 edges, 11729 markings/sec, 1985 secs
lola: 30915095 markings, 39760119 edges, 13938 markings/sec, 1990 secs
lola: 30981344 markings, 39855543 edges, 13250 markings/sec, 1995 secs
lola: 31051778 markings, 39952854 edges, 14087 markings/sec, 2000 secs
lola: 31115142 markings, 40051640 edges, 12673 markings/sec, 2005 secs
lola: 31178483 markings, 40154263 edges, 12668 markings/sec, 2010 secs
lola: 31252815 markings, 40250686 edges, 14866 markings/sec, 2015 secs
lola: 31323524 markings, 40348171 edges, 14142 markings/sec, 2020 secs
lola: 31395684 markings, 40440894 edges, 14432 markings/sec, 2025 secs
lola: 31465106 markings, 40536818 edges, 13884 markings/sec, 2030 secs
lola: 31535520 markings, 40631617 edges, 14083 markings/sec, 2035 secs
lola: 31598003 markings, 40723770 edges, 12497 markings/sec, 2040 secs
lola: 31658151 markings, 40816958 edges, 12030 markings/sec, 2045 secs
lola: 31711342 markings, 40919839 edges, 10638 markings/sec, 2050 secs
lola: 31760259 markings, 41031812 edges, 9783 markings/sec, 2055 secs
lola: 31823189 markings, 41123540 edges, 12586 markings/sec, 2060 secs
lola: 31880129 markings, 41205342 edges, 11388 markings/sec, 2065 secs
lola: 31929582 markings, 41287855 edges, 9891 markings/sec, 2070 secs
lola: 31979383 markings, 41387340 edges, 9960 markings/sec, 2075 secs
lola: 32027411 markings, 41496814 edges, 9606 markings/sec, 2080 secs
lola: 32093808 markings, 41589712 edges, 13279 markings/sec, 2085 secs
lola: 32159935 markings, 41683301 edges, 13225 markings/sec, 2090 secs
lola: 32221364 markings, 41778241 edges, 12286 markings/sec, 2095 secs
lola: 32277941 markings, 41868134 edges, 11315 markings/sec, 2100 secs
lola: 32333121 markings, 41947746 edges, 11036 markings/sec, 2105 secs
lola: 32381118 markings, 42044370 edges, 9599 markings/sec, 2110 secs
lola: 32433116 markings, 42139366 edges, 10400 markings/sec, 2115 secs
lola: 32482912 markings, 42237445 edges, 9959 markings/sec, 2120 secs
lola: 32548695 markings, 42332618 edges, 13157 markings/sec, 2125 secs
lola: 32611774 markings, 42425139 edges, 12616 markings/sec, 2130 secs
lola: 32677599 markings, 42522206 edges, 13165 markings/sec, 2135 secs
lola: 32741418 markings, 42610978 edges, 12764 markings/sec, 2140 secs
lola: 32804057 markings, 42707032 edges, 12528 markings/sec, 2145 secs
lola: 32863396 markings, 42812362 edges, 11868 markings/sec, 2150 secs
lola: 32921700 markings, 42907972 edges, 11661 markings/sec, 2155 secs
lola: 32986738 markings, 43002132 edges, 13008 markings/sec, 2160 secs
lola: 33045315 markings, 43102290 edges, 11715 markings/sec, 2165 secs
lola: 33105701 markings, 43198298 edges, 12077 markings/sec, 2170 secs
lola: 33174500 markings, 43295866 edges, 13760 markings/sec, 2175 secs
lola: 33234065 markings, 43394228 edges, 11913 markings/sec, 2180 secs
lola: 33289219 markings, 43497235 edges, 11031 markings/sec, 2185 secs
lola: 33349576 markings, 43592713 edges, 12071 markings/sec, 2190 secs
lola: 33412348 markings, 43693423 edges, 12554 markings/sec, 2195 secs
lola: 33474761 markings, 43791273 edges, 12483 markings/sec, 2200 secs
lola: 33557504 markings, 43897250 edges, 16549 markings/sec, 2205 secs
lola: 33614450 markings, 44001037 edges, 11389 markings/sec, 2210 secs
lola: 33676985 markings, 44101203 edges, 12507 markings/sec, 2215 secs
lola: 33737870 markings, 44209157 edges, 12177 markings/sec, 2220 secs
lola: 33792332 markings, 44313164 edges, 10892 markings/sec, 2225 secs
lola: 33850109 markings, 44398684 edges, 11555 markings/sec, 2230 secs
lola: 33908971 markings, 44489473 edges, 11772 markings/sec, 2235 secs
lola: 33962084 markings, 44586129 edges, 10623 markings/sec, 2240 secs
lola: 34020061 markings, 44671643 edges, 11595 markings/sec, 2245 secs
lola: 34071995 markings, 44779170 edges, 10387 markings/sec, 2250 secs
lola: 34122822 markings, 44862875 edges, 10165 markings/sec, 2255 secs
lola: 34171788 markings, 44954027 edges, 9793 markings/sec, 2260 secs
lola: 34225247 markings, 45039453 edges, 10692 markings/sec, 2265 secs
lola: 34275013 markings, 45132520 edges, 9953 markings/sec, 2270 secs
lola: 34330429 markings, 45210549 edges, 11083 markings/sec, 2275 secs
lola: 34385790 markings, 45289896 edges, 11072 markings/sec, 2280 secs
lola: 34441232 markings, 45369723 edges, 11088 markings/sec, 2285 secs
lola: 34494445 markings, 45454373 edges, 10643 markings/sec, 2290 secs
lola: 34548081 markings, 45538454 edges, 10727 markings/sec, 2295 secs
lola: 34599944 markings, 45626003 edges, 10373 markings/sec, 2300 secs
lola: 34645511 markings, 45726892 edges, 9113 markings/sec, 2305 secs
lola: 34697123 markings, 45821106 edges, 10322 markings/sec, 2310 secs
lola: 34744329 markings, 45919272 edges, 9441 markings/sec, 2315 secs
lola: 34798357 markings, 46016769 edges, 10806 markings/sec, 2320 secs
lola: 34853912 markings, 46101992 edges, 11111 markings/sec, 2325 secs
lola: 34911347 markings, 46185046 edges, 11487 markings/sec, 2330 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 1 1 1 unknown 1 unknown 1 1 1 1 1 1
lola:
preliminary result: 1 unknown unknown 1 1 1 1 unknown 1 unknown 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown unknown 1 1 1 1 unknown 1 unknown 1 1 1 1 1 1
lola: memory consumption: 9038360 KB
lola: time consumption: 3569 seconds

BK_STOP 1526626410576

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

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="lola"
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

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-6b.tgz
mv CloudDeployment-PT-6b execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
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 r040-smll-152646357400254"
echo "====================================================================="
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 ;