Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r088-csrt-155246565900187.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is HexagonalGrid-PT-226, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-155246565900187
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 336K
-rw-r--r-- 1 mcc users 3.3K Feb 11 01:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 11 01:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 7 01:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 7 01:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 107 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 345 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.8K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 3 08:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 08:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Jan 31 03:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 25K Jan 31 03:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:34 model-fix.log
-rwxr-xr-x 1 mcc users 174K 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 HexagonalGrid-PT-226-UpperBounds-00
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-01
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-02
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-03
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-04
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-05
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-06
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-07
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-08
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-09
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-10
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-11
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-12
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-13
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-14
FORMULA_NAME HexagonalGrid-PT-226-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552870365829

info: Time: 3600 - MCC
===========================================================================================
prep: translating HexagonalGrid-PT-226 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating HexagonalGrid-PT-226 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ HexagonalGrid-PT-226 @ 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: 439/65536 symbol table entries, 9 collisions
lola: preprocessing...
lola: Size of bit vector: 5408
lola: finding significant places
lola: 169 places, 270 transitions, 101 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 337 transition conflict sets
lola: TASK
lola: reading formula from HexagonalGrid-PT-226-UpperBounds.task
lola: MAX(pil1_2_3) : MAX(pi4_3_1) : MAX(pbl_2_3) : MAX(pb4_2_1) : MAX(pb3_2_3) : MAX(po1_2_1) : MAX(pi6_1_2) : MAX(pil3_3_2) : MAX(pbl_3_1) : MAX(po6_1_2) : MAX(pb4_3_2) : MAX(pb1_2_3) : MAX(pol4_3_1) : MAX(pol1_3_2) : MAX(pb1_2_2) : MAX(pi1_2_3)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pil1_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pil1_2_3)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file HexagonalGrid-PT-226-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola:
FORMULA HexagonalGrid-PT-226-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(pi4_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pi4_3_1)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file HexagonalGrid-PT-226-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================

FORMULA HexagonalGrid-PT-226-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pbl_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pbl_2_3)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file HexagonalGrid-PT-226-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: 18
lola: SUBRESULT
lola: result: 18
lola: produced by: state space
lola: The maximum value of the given expression is 18
lola: 45 markings, 44 edges
lola: ========================================

FORMULA HexagonalGrid-PT-226-UpperBounds-2 18 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pb4_2_1)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file HexagonalGrid-PT-226-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: 18
lola: 692576 markings, 1818826 edges, 138515 markings/sec, 0 secs
lola: 1216738 markings, 3753291 edges, 104832 markings/sec, 5 secs
lola: 1676163 markings, 5667914 edges, 91885 markings/sec, 10 secs
lola: 2171226 markings, 7519324 edges, 99013 markings/sec, 15 secs
lola: 2649376 markings, 9305591 edges, 95630 markings/sec, 20 secs
lola: 3157912 markings, 10991336 edges, 101707 markings/sec, 25 secs
lola: 3804340 markings, 12550383 edges, 129286 markings/sec, 30 secs
lola: 4505402 markings, 14009706 edges, 140212 markings/sec, 35 secs
lola: 5174102 markings, 15450826 edges, 133740 markings/sec, 40 secs
lola: 5832775 markings, 16921482 edges, 131735 markings/sec, 45 secs
lola: 6463718 markings, 18414101 edges, 126189 markings/sec, 50 secs
lola: 7036376 markings, 19873112 edges, 114532 markings/sec, 55 secs
lola: 7265608 markings, 21691167 edges, 45846 markings/sec, 60 secs
lola: 7270776 markings, 23669891 edges, 1034 markings/sec, 65 secs
lola: 7280134 markings, 25646188 edges, 1872 markings/sec, 70 secs
lola: 7286924 markings, 27614472 edges, 1358 markings/sec, 75 secs
lola: 7430802 markings, 29663060 edges, 28776 markings/sec, 80 secs
lola: 8029436 markings, 31385245 edges, 119727 markings/sec, 85 secs
lola: 8554600 markings, 33169049 edges, 105033 markings/sec, 90 secs
lola: 9018941 markings, 34979447 edges, 92868 markings/sec, 95 secs
lola: 9453538 markings, 36743683 edges, 86919 markings/sec, 100 secs
lola: 9888650 markings, 38440752 edges, 87022 markings/sec, 105 secs
lola: 10644002 markings, 39867437 edges, 151070 markings/sec, 110 secs
lola: 11338927 markings, 41312145 edges, 138985 markings/sec, 115 secs
lola: 11996944 markings, 42755682 edges, 131603 markings/sec, 120 secs
lola: 12632956 markings, 44206944 edges, 127202 markings/sec, 125 secs
lola: 13254007 markings, 45671844 edges, 124210 markings/sec, 130 secs
lola: 13820636 markings, 47146097 edges, 113326 markings/sec, 135 secs
lola: 13924852 markings, 49025015 edges, 20843 markings/sec, 140 secs
lola: 13929002 markings, 50981860 edges, 830 markings/sec, 145 secs
lola: 13936616 markings, 52858403 edges, 1523 markings/sec, 150 secs
lola: 13944350 markings, 54782173 edges, 1547 markings/sec, 155 secs
lola: 14080380 markings, 56669605 edges, 27206 markings/sec, 160 secs
lola: 14726651 markings, 58241679 edges, 129254 markings/sec, 165 secs
lola: 15186402 markings, 59989623 edges, 91950 markings/sec, 170 secs
lola: 15594856 markings, 61702913 edges, 81691 markings/sec, 175 secs
lola: 16004603 markings, 63369460 edges, 81949 markings/sec, 180 secs
lola: 16715891 markings, 64718139 edges, 142258 markings/sec, 185 secs
lola: 17362333 markings, 66048649 edges, 129288 markings/sec, 190 secs
lola: 17986702 markings, 67424148 edges, 124874 markings/sec, 195 secs
lola: 18605560 markings, 68808791 edges, 123772 markings/sec, 200 secs
lola: 19210689 markings, 70231874 edges, 121026 markings/sec, 205 secs
lola: 19760288 markings, 71634250 edges, 109920 markings/sec, 210 secs
lola: 20005492 markings, 73335724 edges, 49041 markings/sec, 215 secs
lola: 20012376 markings, 75165173 edges, 1377 markings/sec, 220 secs
lola: 20019930 markings, 76990934 edges, 1511 markings/sec, 225 secs
lola: 20027504 markings, 78840236 edges, 1515 markings/sec, 230 secs
lola: 20031922 markings, 80712019 edges, 884 markings/sec, 235 secs
lola: 20617900 markings, 82321203 edges, 117196 markings/sec, 240 secs
lola: 21189866 markings, 84072607 edges, 114393 markings/sec, 245 secs
lola: 21691928 markings, 85770208 edges, 100412 markings/sec, 250 secs
lola: 22239168 markings, 87316344 edges, 109448 markings/sec, 255 secs
lola: 22943730 markings, 88739008 edges, 140912 markings/sec, 260 secs
lola: 23594024 markings, 90139061 edges, 130059 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 18 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 991116 KB
lola: time consumption: 274 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pb3_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pb3_2_3)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file HexagonalGrid-PT-226-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: 18
lola: 460000 markings, 2154596 edges, 92000 markings/sec, 0 secs
lola: 925024 markings, 4232714 edges, 93005 markings/sec, 5 secs
lola: 1241414 markings, 6505245 edges, 63278 markings/sec, 10 secs
lola: 1704588 markings, 8437602 edges, 92635 markings/sec, 15 secs
lola: 2368890 markings, 9978769 edges, 132860 markings/sec, 20 secs
lola: 2944306 markings, 11565145 edges, 115083 markings/sec, 25 secs
lola: 3416239 markings, 13173564 edges, 94387 markings/sec, 30 secs
lola: 3532395 markings, 15335734 edges, 23231 markings/sec, 35 secs
lola: 3547349 markings, 17647576 edges, 2991 markings/sec, 40 secs
lola: 3572902 markings, 20004739 edges, 5111 markings/sec, 45 secs
lola: 3892659 markings, 22274546 edges, 63951 markings/sec, 50 secs
lola: 4268680 markings, 24363370 edges, 75204 markings/sec, 55 secs
lola: 4616049 markings, 26569639 edges, 69474 markings/sec, 60 secs
lola: 5000413 markings, 28688949 edges, 76873 markings/sec, 65 secs
lola: 5358985 markings, 30602561 edges, 71714 markings/sec, 70 secs
lola: 5653638 markings, 32715789 edges, 58931 markings/sec, 75 secs
lola: 6058588 markings, 34585254 edges, 80990 markings/sec, 80 secs
lola: 6321398 markings, 36493103 edges, 52562 markings/sec, 85 secs
lola: 6693617 markings, 38404601 edges, 74444 markings/sec, 90 secs
lola: 7047733 markings, 40256839 edges, 70823 markings/sec, 95 secs
lola: 7289010 markings, 42302843 edges, 48255 markings/sec, 100 secs
lola: 7886121 markings, 43845938 edges, 119422 markings/sec, 105 secs
lola: 8353240 markings, 45393253 edges, 93424 markings/sec, 110 secs
lola: 8781504 markings, 46957912 edges, 85653 markings/sec, 115 secs
lola: 9174616 markings, 48511148 edges, 78622 markings/sec, 120 secs
lola: 9394711 markings, 50327436 edges, 44019 markings/sec, 125 secs
lola: 9397953 markings, 52379735 edges, 648 markings/sec, 130 secs
lola: 9410673 markings, 54456381 edges, 2544 markings/sec, 135 secs
lola: 9431326 markings, 56498640 edges, 4131 markings/sec, 140 secs
lola: 9758514 markings, 58404673 edges, 65438 markings/sec, 145 secs
lola: 10357653 markings, 60020335 edges, 119828 markings/sec, 150 secs
lola: 10886962 markings, 61721447 edges, 105862 markings/sec, 155 secs
lola: 11365497 markings, 63295720 edges, 95707 markings/sec, 160 secs
lola: 11554376 markings, 65292923 edges, 37776 markings/sec, 165 secs
lola: 11569520 markings, 67348227 edges, 3029 markings/sec, 170 secs
lola: 11594834 markings, 69533230 edges, 5063 markings/sec, 175 secs
lola: 11919009 markings, 71622945 edges, 64835 markings/sec, 180 secs
lola: 12197238 markings, 73643807 edges, 55646 markings/sec, 185 secs
lola: 12512268 markings, 75735933 edges, 63006 markings/sec, 190 secs
lola: 12891401 markings, 77779149 edges, 75827 markings/sec, 195 secs
lola: 13175784 markings, 79655537 edges, 56877 markings/sec, 200 secs
lola: 13427258 markings, 81655338 edges, 50295 markings/sec, 205 secs
lola: 13740323 markings, 83706624 edges, 62613 markings/sec, 210 secs
lola: 14076169 markings, 85479783 edges, 67169 markings/sec, 215 secs
lola: 14338347 markings, 87264662 edges, 52436 markings/sec, 220 secs
lola: 14573728 markings, 89168864 edges, 47076 markings/sec, 225 secs
lola: 14891074 markings, 91106482 edges, 63469 markings/sec, 230 secs
lola: 15162030 markings, 92913340 edges, 54191 markings/sec, 235 secs
lola: 15547102 markings, 94679721 edges, 77014 markings/sec, 240 secs
lola: 16037514 markings, 96216607 edges, 98082 markings/sec, 245 secs
lola: 16433638 markings, 97767937 edges, 79225 markings/sec, 250 secs
lola: 16823889 markings, 99373353 edges, 78050 markings/sec, 255 secs
lola: 17172382 markings, 100985045 edges, 69699 markings/sec, 260 secs
lola: 17411271 markings, 102685763 edges, 47778 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 18 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 718808 KB
lola: time consumption: 548 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(po1_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(po1_2_1)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file HexagonalGrid-PT-226-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: 2 markings, 1 edges
lola: ========================================

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

FORMULA HexagonalGrid-PT-226-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 335 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pil3_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pil3_3_2)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file HexagonalGrid-PT-226-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: ========================================
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA HexagonalGrid-PT-226-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 377 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pbl_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pbl_3_1)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file HexagonalGrid-PT-226-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: 18
lola: SUBRESULT
lola: result: 18
lola: produced by: state space
lola: The maximum value of the given expression is 18
lola: 33 markings, 32 edges

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

FORMULA HexagonalGrid-PT-226-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 503 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pb4_3_2)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file HexagonalGrid-PT-226-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: 18
lola: SUBRESULT
lola: result: 18
lola: produced by: state space
lola: The maximum value of the given expression is 18
lola: 69 markings, 68 edges
lola: ========================================

FORMULA HexagonalGrid-PT-226-UpperBounds-10 18 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 604 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pb1_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pb1_2_3)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file HexagonalGrid-PT-226-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: 18
lola: SUBRESULT
lola: result: 18
lola: produced by: state space
lola: The maximum value of the given expression is 18
lola: 70 markings, 69 edges

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

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

FORMULA HexagonalGrid-PT-226-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1510 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(pb1_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pb1_2_2)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file HexagonalGrid-PT-226-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: 18
lola: SUBRESULT
lola: result: 18
lola: produced by: state space
lola: The maximum value of the given expression is 18
lola: 115 markings, 114 edges
lola: ========================================

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

FORMULA HexagonalGrid-PT-226-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(pb4_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(pb4_2_1)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file HexagonalGrid-PT-226-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: 18
lola: 693218 markings, 1942592 edges, 138644 markings/sec, 0 secs
lola: 1267367 markings, 3881058 edges, 114830 markings/sec, 5 secs
lola: 1768994 markings, 5874025 edges, 100325 markings/sec, 10 secs
lola: 2276780 markings, 7781740 edges, 101557 markings/sec, 15 secs
lola: 2765858 markings, 9683564 edges, 97816 markings/sec, 20 secs
lola: 3235796 markings, 11487163 edges, 93988 markings/sec, 25 secs
lola: 4014600 markings, 12990199 edges, 155761 markings/sec, 30 secs
lola: 4739182 markings, 14500643 edges, 144916 markings/sec, 35 secs
lola: 5422140 markings, 15994842 edges, 136592 markings/sec, 40 secs
lola: 6086431 markings, 17544030 edges, 132858 markings/sec, 45 secs
lola: 6727101 markings, 19067138 edges, 128134 markings/sec, 50 secs
lola: 7262056 markings, 20681360 edges, 106991 markings/sec, 55 secs
lola: 7268526 markings, 22757405 edges, 1294 markings/sec, 60 secs
lola: 7277595 markings, 24833411 edges, 1814 markings/sec, 65 secs
lola: 7284844 markings, 26888857 edges, 1450 markings/sec, 70 secs
lola: 7386540 markings, 28971525 edges, 20339 markings/sec, 75 secs
lola: 7905335 markings, 30839380 edges, 103759 markings/sec, 80 secs
lola: 8385820 markings, 32777603 edges, 96097 markings/sec, 85 secs
lola: 8863560 markings, 34662766 edges, 95548 markings/sec, 90 secs
lola: 9339912 markings, 36519652 edges, 95270 markings/sec, 95 secs
lola: 9785159 markings, 38264694 edges, 89049 markings/sec, 100 secs
lola: 10593514 markings, 39764345 edges, 161671 markings/sec, 105 secs
lola: 11317051 markings, 41261934 edges, 144707 markings/sec, 110 secs
lola: 12004911 markings, 42772379 edges, 137572 markings/sec, 115 secs
lola: 12654032 markings, 44260940 edges, 129824 markings/sec, 120 secs
lola: 13308638 markings, 45804332 edges, 130921 markings/sec, 125 secs
lola: 13890202 markings, 47358570 edges, 116313 markings/sec, 130 secs
lola: 13925314 markings, 49471963 edges, 7022 markings/sec, 135 secs
lola: 13930480 markings, 51479589 edges, 1033 markings/sec, 140 secs
lola: 13939574 markings, 53451215 edges, 1819 markings/sec, 145 secs
lola: 13945964 markings, 55490580 edges, 1278 markings/sec, 150 secs
lola: 14382438 markings, 57456466 edges, 87295 markings/sec, 155 secs
lola: 14884215 markings, 59279600 edges, 100355 markings/sec, 160 secs
lola: 15398310 markings, 61113017 edges, 102819 markings/sec, 165 secs
lola: 15900332 markings, 62869632 edges, 100404 markings/sec, 170 secs
lola: 16574225 markings, 64435329 edges, 134779 markings/sec, 175 secs
lola: 17282099 markings, 65879160 edges, 141575 markings/sec, 180 secs
lola: 17942186 markings, 67321405 edges, 132017 markings/sec, 185 secs
lola: 18584673 markings, 68762290 edges, 128497 markings/sec, 190 secs
lola: 19215000 markings, 70241308 edges, 126065 markings/sec, 195 secs
lola: 19800962 markings, 71740037 edges, 117192 markings/sec, 200 secs
lola: 20008850 markings, 73646396 edges, 41578 markings/sec, 205 secs
lola: 20015100 markings, 75624653 edges, 1250 markings/sec, 210 secs
lola: 20022542 markings, 77633110 edges, 1488 markings/sec, 215 secs
lola: 20029558 markings, 79560958 edges, 1403 markings/sec, 220 secs
lola: 20194092 markings, 81636269 edges, 32907 markings/sec, 225 secs
lola: 21016052 markings, 83215286 edges, 164392 markings/sec, 230 secs
lola: 21505407 markings, 85093146 edges, 97871 markings/sec, 235 secs
lola: 21998880 markings, 86862042 edges, 98695 markings/sec, 240 secs
lola: 22753295 markings, 88344874 edges, 150883 markings/sec, 245 secs
lola: 23427032 markings, 89770678 edges, 134747 markings/sec, 250 secs
lola: 24085290 markings, 91229612 edges, 131652 markings/sec, 255 secs
lola: 24734568 markings, 92749580 edges, 129856 markings/sec, 260 secs
lola: 25349014 markings, 94245998 edges, 122889 markings/sec, 265 secs
lola: 25793122 markings, 95941141 edges, 88822 markings/sec, 270 secs
lola: 25800814 markings, 97875876 edges, 1538 markings/sec, 275 secs
lola: 25806496 markings, 99821474 edges, 1136 markings/sec, 280 secs
lola: 25815052 markings, 101753081 edges, 1711 markings/sec, 285 secs
lola: 25820280 markings, 103757306 edges, 1046 markings/sec, 290 secs
lola: 26351010 markings, 105478947 edges, 106146 markings/sec, 295 secs
lola: 26771491 markings, 107137362 edges, 84096 markings/sec, 300 secs
lola: 27462798 markings, 108466913 edges, 138261 markings/sec, 305 secs
lola: 28122862 markings, 109839348 edges, 132013 markings/sec, 310 secs
lola: 28754696 markings, 111221624 edges, 126367 markings/sec, 315 secs
lola: 29353526 markings, 112585230 edges, 119766 markings/sec, 320 secs
lola: 29946417 markings, 113991265 edges, 118578 markings/sec, 325 secs
lola: 30481654 markings, 115365718 edges, 107047 markings/sec, 330 secs
lola: 30689290 markings, 117083032 edges, 41527 markings/sec, 335 secs
lola: 30693806 markings, 118905955 edges, 903 markings/sec, 340 secs
lola: 30699830 markings, 120772600 edges, 1205 markings/sec, 345 secs
lola: 30708158 markings, 122651409 edges, 1666 markings/sec, 350 secs
lola: 30724852 markings, 124513642 edges, 3339 markings/sec, 355 secs
lola: 31358998 markings, 126034738 edges, 126829 markings/sec, 360 secs
lola: 32147893 markings, 127459582 edges, 157779 markings/sec, 365 secs
lola: 32898378 markings, 128849965 edges, 150097 markings/sec, 370 secs
lola: 33649468 markings, 130252082 edges, 150218 markings/sec, 375 secs
lola: 34371804 markings, 131647499 edges, 144467 markings/sec, 380 secs
lola: 35084451 markings, 133043269 edges, 142529 markings/sec, 385 secs
lola: 35803451 markings, 134433337 edges, 143800 markings/sec, 390 secs
lola: 36489684 markings, 135820473 edges, 137247 markings/sec, 395 secs
lola: 37191702 markings, 137265158 edges, 140404 markings/sec, 400 secs
lola: 37887752 markings, 138653123 edges, 139210 markings/sec, 405 secs
lola: 38570250 markings, 140036584 edges, 136500 markings/sec, 410 secs
lola: 39236930 markings, 141411337 edges, 133336 markings/sec, 415 secs
lola: 39899895 markings, 142778149 edges, 132593 markings/sec, 420 secs
lola: 40565337 markings, 144166806 edges, 133088 markings/sec, 425 secs
lola: 41224567 markings, 145553989 edges, 131846 markings/sec, 430 secs
lola: 41857707 markings, 146923841 edges, 126628 markings/sec, 435 secs
lola: 42500522 markings, 148303902 edges, 128563 markings/sec, 440 secs
lola: 43128260 markings, 149683431 edges, 125548 markings/sec, 445 secs
lola: 43764122 markings, 151082548 edges, 127172 markings/sec, 450 secs
lola: 44390733 markings, 152492647 edges, 125322 markings/sec, 455 secs
lola: 45022614 markings, 153882722 edges, 126376 markings/sec, 460 secs
lola: 45636556 markings, 155255346 edges, 122788 markings/sec, 465 secs
lola: 46265220 markings, 156636880 edges, 125733 markings/sec, 470 secs
lola: 46900076 markings, 158017909 edges, 126971 markings/sec, 475 secs
lola: 47498310 markings, 159371131 edges, 119647 markings/sec, 480 secs
lola: 48098073 markings, 160726974 edges, 119953 markings/sec, 485 secs
lola: 48705010 markings, 162094356 edges, 121387 markings/sec, 490 secs
lola: 49301893 markings, 163451501 edges, 119377 markings/sec, 495 secs
lola: 49906108 markings, 164816144 edges, 120843 markings/sec, 500 secs
lola: 50485218 markings, 166175517 edges, 115822 markings/sec, 505 secs
lola: 51077328 markings, 167559028 edges, 118422 markings/sec, 510 secs
lola: 51661574 markings, 168953203 edges, 116849 markings/sec, 515 secs
lola: 52242933 markings, 170334387 edges, 116272 markings/sec, 520 secs
lola: 52823411 markings, 171688039 edges, 116096 markings/sec, 525 secs
lola: 53416040 markings, 173053497 edges, 118526 markings/sec, 530 secs
lola: 54005136 markings, 174404868 edges, 117819 markings/sec, 535 secs
lola: 54582276 markings, 175755414 edges, 115428 markings/sec, 540 secs
lola: 55172128 markings, 177138759 edges, 117970 markings/sec, 545 secs
lola: 55744430 markings, 178513630 edges, 114460 markings/sec, 550 secs
lola: 56292486 markings, 179899450 edges, 109611 markings/sec, 555 secs
lola: 56840954 markings, 181319553 edges, 109694 markings/sec, 560 secs
lola: 57408430 markings, 182718259 edges, 113495 markings/sec, 565 secs
lola: 57970242 markings, 184122183 edges, 112362 markings/sec, 570 secs
lola: 58547898 markings, 185550982 edges, 115531 markings/sec, 575 secs
lola: 59111266 markings, 186961757 edges, 112674 markings/sec, 580 secs
lola: 59656794 markings, 188347275 edges, 109106 markings/sec, 585 secs
lola: 60187284 markings, 189707464 edges, 106098 markings/sec, 590 secs
lola: 60711774 markings, 191088206 edges, 104898 markings/sec, 595 secs
lola: 61216174 markings, 192472971 edges, 100880 markings/sec, 600 secs
lola: 61720548 markings, 193852594 edges, 100875 markings/sec, 605 secs
lola: 62237847 markings, 195276656 edges, 103460 markings/sec, 610 secs
lola: 62669982 markings, 196883182 edges, 86427 markings/sec, 615 secs
lola: 62680830 markings, 198706476 edges, 2170 markings/sec, 620 secs
lola: 62687046 markings, 200465524 edges, 1243 markings/sec, 625 secs
lola: 62691452 markings, 202234060 edges, 881 markings/sec, 630 secs
lola: 62710670 markings, 203999307 edges, 3844 markings/sec, 635 secs
lola: 62714020 markings, 205854032 edges, 670 markings/sec, 640 secs
lola: 62717156 markings, 207721796 edges, 627 markings/sec, 645 secs
lola: 62720558 markings, 209545066 edges, 680 markings/sec, 650 secs
lola: 62723916 markings, 211313962 edges, 672 markings/sec, 655 secs
lola: 62727110 markings, 213084431 edges, 639 markings/sec, 660 secs
lola: 62731192 markings, 214909759 edges, 816 markings/sec, 665 secs
lola: 62735364 markings, 216731696 edges, 834 markings/sec, 670 secs
lola: 62739912 markings, 218560266 edges, 910 markings/sec, 675 secs
lola: 62744550 markings, 220381123 edges, 928 markings/sec, 680 secs
lola: 62750030 markings, 222211889 edges, 1096 markings/sec, 685 secs
lola: 62755198 markings, 223968377 edges, 1034 markings/sec, 690 secs
lola: 62760142 markings, 225712486 edges, 989 markings/sec, 695 secs
lola: 62765518 markings, 227533886 edges, 1075 markings/sec, 700 secs
lola: 62770616 markings, 229327526 edges, 1020 markings/sec, 705 secs
lola: 62775864 markings, 231074487 edges, 1050 markings/sec, 710 secs
lola: 62781714 markings, 232818701 edges, 1170 markings/sec, 715 secs
lola: 62787928 markings, 234618000 edges, 1243 markings/sec, 720 secs
lola: 62793922 markings, 236415995 edges, 1199 markings/sec, 725 secs
lola: 62801118 markings, 238294616 edges, 1439 markings/sec, 730 secs
lola: 62808794 markings, 240108626 edges, 1535 markings/sec, 735 secs
lola: 62815754 markings, 241955325 edges, 1392 markings/sec, 740 secs
lola: 62822216 markings, 243742319 edges, 1292 markings/sec, 745 secs
lola: 62827702 markings, 245589154 edges, 1097 markings/sec, 750 secs
lola: 62833110 markings, 247366753 edges, 1082 markings/sec, 755 secs
lola: 62838164 markings, 249156104 edges, 1011 markings/sec, 760 secs
lola: 62843812 markings, 250974756 edges, 1130 markings/sec, 765 secs
lola: 62848860 markings, 252786614 edges, 1010 markings/sec, 770 secs
lola: 62853166 markings, 254682074 edges, 861 markings/sec, 775 secs
lola: 62857226 markings, 256510356 edges, 812 markings/sec, 780 secs
lola: 62860788 markings, 258312763 edges, 712 markings/sec, 785 secs
lola: 62864756 markings, 260135651 edges, 794 markings/sec, 790 secs
lola: 62868406 markings, 261978131 edges, 730 markings/sec, 795 secs
lola: 62871648 markings, 263920737 edges, 648 markings/sec, 800 secs
lola: 62873914 markings, 265941066 edges, 453 markings/sec, 805 secs
lola: 63193683 markings, 267390608 edges, 63954 markings/sec, 810 secs
lola: 63404356 markings, 269039156 edges, 42135 markings/sec, 815 secs
lola: 63652322 markings, 271092532 edges, 49593 markings/sec, 820 secs
lola: 64023578 markings, 272863103 edges, 74251 markings/sec, 825 secs
lola: 64040392 markings, 275186480 edges, 3363 markings/sec, 830 secs
lola: 64643853 markings, 277140181 edges, 120692 markings/sec, 835 secs
lola: 65185942 markings, 279207053 edges, 108418 markings/sec, 840 secs
lola: 65751165 markings, 281204349 edges, 113045 markings/sec, 845 secs
lola: 66286512 markings, 283185407 edges, 107069 markings/sec, 850 secs
lola: 66837206 markings, 285074471 edges, 110139 markings/sec, 855 secs
lola: 67606246 markings, 286602431 edges, 153808 markings/sec, 860 secs
lola: 68350140 markings, 288175025 edges, 148779 markings/sec, 865 secs
lola: 69104710 markings, 289866483 edges, 150914 markings/sec, 870 secs
lola: 69806473 markings, 291531523 edges, 140353 markings/sec, 875 secs
lola: 70446946 markings, 293170823 edges, 128095 markings/sec, 880 secs
lola: 70577984 markings, 295314504 edges, 26208 markings/sec, 885 secs
lola: 70585704 markings, 297655831 edges, 1544 markings/sec, 890 secs
lola: 70594520 markings, 299939895 edges, 1763 markings/sec, 895 secs
lola: 70683286 markings, 302272382 edges, 17753 markings/sec, 900 secs
lola: 71247848 markings, 304337595 edges, 112912 markings/sec, 905 secs
lola: 71895050 markings, 306253144 edges, 129440 markings/sec, 910 secs
lola: 72398128 markings, 308200340 edges, 100616 markings/sec, 915 secs
lola: 73171528 markings, 309973707 edges, 154680 markings/sec, 920 secs
lola: 73974708 markings, 311638516 edges, 160636 markings/sec, 925 secs
lola: 74733412 markings, 313298002 edges, 151741 markings/sec, 930 secs
lola: 75462456 markings, 314992664 edges, 145809 markings/sec, 935 secs
lola: 76147966 markings, 316680248 edges, 137102 markings/sec, 940 secs
lola: 76526476 markings, 318758673 edges, 75702 markings/sec, 945 secs
lola: 76533268 markings, 321210837 edges, 1358 markings/sec, 950 secs
lola: 76544134 markings, 323608413 edges, 2173 markings/sec, 955 secs
lola: 76551460 markings, 326085539 edges, 1465 markings/sec, 960 secs
lola: 77382740 markings, 328010469 edges, 166256 markings/sec, 965 secs
lola: 77925326 markings, 330134819 edges, 108517 markings/sec, 970 secs
lola: 78583616 markings, 331990822 edges, 131658 markings/sec, 975 secs
lola: 79303554 markings, 333482259 edges, 143988 markings/sec, 980 secs
lola: 80032070 markings, 335067491 edges, 145703 markings/sec, 985 secs
lola: 80725394 markings, 336630113 edges, 138665 markings/sec, 990 secs
lola: 81380016 markings, 338190126 edges, 130924 markings/sec, 995 secs
lola: 81992872 markings, 339804073 edges, 122571 markings/sec, 1000 secs
lola: 82049818 markings, 342230921 edges, 11389 markings/sec, 1005 secs
lola: 82058880 markings, 344499680 edges, 1812 markings/sec, 1010 secs
lola: 82067684 markings, 346809966 edges, 1761 markings/sec, 1015 secs
lola: 82314278 markings, 349017309 edges, 49319 markings/sec, 1020 secs
lola: 82869270 markings, 350951880 edges, 110998 markings/sec, 1025 secs
lola: 83670818 markings, 352496935 edges, 160310 markings/sec, 1030 secs
lola: 84425092 markings, 354073720 edges, 150855 markings/sec, 1035 secs
lola: 85135908 markings, 355662064 edges, 142163 markings/sec, 1040 secs
lola: 85815271 markings, 357257257 edges, 135873 markings/sec, 1045 secs
lola: 86451946 markings, 358822156 edges, 127335 markings/sec, 1050 secs
lola: 86819872 markings, 360768035 edges, 73585 markings/sec, 1055 secs
lola: 86826136 markings, 363001591 edges, 1253 markings/sec, 1060 secs
lola: 86835172 markings, 365199307 edges, 1807 markings/sec, 1065 secs
lola: 86843202 markings, 367431808 edges, 1606 markings/sec, 1070 secs
lola: 87408626 markings, 369387308 edges, 113085 markings/sec, 1075 secs
lola: 88302107 markings, 370975555 edges, 178696 markings/sec, 1080 secs
lola: 89156136 markings, 372524843 edges, 170806 markings/sec, 1085 secs
lola: 89967728 markings, 374059856 edges, 162318 markings/sec, 1090 secs
lola: 90769476 markings, 375594307 edges, 160350 markings/sec, 1095 secs
lola: 91503827 markings, 377018494 edges, 146870 markings/sec, 1100 secs
lola: 92203894 markings, 378394008 edges, 140013 markings/sec, 1105 secs
lola: 92915098 markings, 379825233 edges, 142241 markings/sec, 1110 secs
lola: 93610078 markings, 381252492 edges, 138996 markings/sec, 1115 secs
lola: 94292229 markings, 382627593 edges, 136430 markings/sec, 1120 secs
lola: 94962663 markings, 383992236 edges, 134087 markings/sec, 1125 secs
lola: 95661941 markings, 385439467 edges, 139856 markings/sec, 1130 secs
lola: 96339532 markings, 386857121 edges, 135518 markings/sec, 1135 secs
lola: 97017400 markings, 388281029 edges, 135574 markings/sec, 1140 secs
lola: 97688452 markings, 389716736 edges, 134210 markings/sec, 1145 secs
lola: 98407664 markings, 391243337 edges, 143842 markings/sec, 1150 secs
lola: 99083606 markings, 392689430 edges, 135188 markings/sec, 1155 secs
lola: 99742898 markings, 394119789 edges, 131858 markings/sec, 1160 secs
lola: 100392838 markings, 395546016 edges, 129988 markings/sec, 1165 secs
lola: 101054726 markings, 397036224 edges, 132378 markings/sec, 1170 secs
lola: 101747500 markings, 398569496 edges, 138555 markings/sec, 1175 secs
lola: 102433499 markings, 400112775 edges, 137200 markings/sec, 1180 secs
lola: 103130563 markings, 401656172 edges, 139413 markings/sec, 1185 secs
lola: 103779127 markings, 403137809 edges, 129713 markings/sec, 1190 secs
lola: 104457147 markings, 404662886 edges, 135604 markings/sec, 1195 secs
lola: 105125366 markings, 406177405 edges, 133644 markings/sec, 1200 secs
lola: 105808077 markings, 407723065 edges, 136542 markings/sec, 1205 secs
lola: 106479482 markings, 409276371 edges, 134281 markings/sec, 1210 secs
lola: 107139519 markings, 410860489 edges, 132007 markings/sec, 1215 secs
lola: 107799031 markings, 412422585 edges, 131902 markings/sec, 1220 secs
lola: 108466332 markings, 413996103 edges, 133460 markings/sec, 1225 secs
lola: 109130021 markings, 415517653 edges, 132738 markings/sec, 1230 secs
lola: 109807401 markings, 417074243 edges, 135476 markings/sec, 1235 secs
lola: 110491195 markings, 418635917 edges, 136759 markings/sec, 1240 secs
lola: 111140077 markings, 420172573 edges, 129776 markings/sec, 1245 secs
lola: 111786982 markings, 421713958 edges, 129381 markings/sec, 1250 secs
lola: 112421075 markings, 423281656 edges, 126819 markings/sec, 1255 secs
lola: 113060508 markings, 424892195 edges, 127887 markings/sec, 1260 secs
lola: 113698661 markings, 426477809 edges, 127631 markings/sec, 1265 secs
lola: 114342753 markings, 428099879 edges, 128818 markings/sec, 1270 secs
lola: 114992162 markings, 429682298 edges, 129882 markings/sec, 1275 secs
lola: 115619394 markings, 431253384 edges, 125446 markings/sec, 1280 secs
lola: 116222282 markings, 432804651 edges, 120578 markings/sec, 1285 secs
lola: 116821069 markings, 434389120 edges, 119757 markings/sec, 1290 secs
lola: 117402204 markings, 435985639 edges, 116227 markings/sec, 1295 secs
lola: 118008684 markings, 437619903 edges, 121296 markings/sec, 1300 secs
lola: 118590456 markings, 439281299 edges, 116354 markings/sec, 1305 secs
lola: 118837418 markings, 441409963 edges, 49392 markings/sec, 1310 secs
lola: 118844824 markings, 443582806 edges, 1481 markings/sec, 1315 secs
lola: 118850018 markings, 445675238 edges, 1039 markings/sec, 1320 secs
lola: 118859720 markings, 447759304 edges, 1940 markings/sec, 1325 secs
lola: 118863492 markings, 449917219 edges, 754 markings/sec, 1330 secs
lola: 118880908 markings, 452017724 edges, 3483 markings/sec, 1335 secs
lola: 118884664 markings, 454109079 edges, 751 markings/sec, 1340 secs
lola: 118888142 markings, 456145251 edges, 696 markings/sec, 1345 secs
lola: 118891862 markings, 458213492 edges, 744 markings/sec, 1350 secs
lola: 118896552 markings, 460234284 edges, 938 markings/sec, 1355 secs
lola: 118901278 markings, 462291747 edges, 945 markings/sec, 1360 secs
lola: 118906668 markings, 464372925 edges, 1078 markings/sec, 1365 secs
lola: 118912376 markings, 466425225 edges, 1142 markings/sec, 1370 secs
lola: 118918512 markings, 468469383 edges, 1227 markings/sec, 1375 secs
lola: 118924382 markings, 470481750 edges, 1174 markings/sec, 1380 secs
lola: 118930658 markings, 472533553 edges, 1255 markings/sec, 1385 secs
lola: 118937358 markings, 474592691 edges, 1340 markings/sec, 1390 secs
lola: 118944352 markings, 476596319 edges, 1399 markings/sec, 1395 secs
lola: 118952002 markings, 478596363 edges, 1530 markings/sec, 1400 secs
lola: 118959864 markings, 480516956 edges, 1572 markings/sec, 1405 secs
lola: 118967916 markings, 482494838 edges, 1610 markings/sec, 1410 secs
lola: 118975242 markings, 484457351 edges, 1465 markings/sec, 1415 secs
lola: 118981642 markings, 486358600 edges, 1280 markings/sec, 1420 secs
lola: 118988278 markings, 488374278 edges, 1327 markings/sec, 1425 secs
lola: 118994402 markings, 490398364 edges, 1225 markings/sec, 1430 secs
lola: 118999952 markings, 492416606 edges, 1110 markings/sec, 1435 secs
lola: 119006356 markings, 494403763 edges, 1281 markings/sec, 1440 secs
lola: 119011618 markings, 496444467 edges, 1052 markings/sec, 1445 secs
lola: 119017086 markings, 498406760 edges, 1094 markings/sec, 1450 secs
lola: 119021976 markings, 500413200 edges, 978 markings/sec, 1455 secs
lola: 119026602 markings, 502462950 edges, 925 markings/sec, 1460 secs
lola: 119030716 markings, 504536030 edges, 823 markings/sec, 1465 secs
lola: 119034620 markings, 506688730 edges, 781 markings/sec, 1470 secs
lola: 119037022 markings, 508866687 edges, 480 markings/sec, 1475 secs
lola: 119038876 markings, 511160206 edges, 371 markings/sec, 1480 secs
lola: 119258987 markings, 513339611 edges, 44022 markings/sec, 1485 secs
lola: 119639382 markings, 515404238 edges, 76079 markings/sec, 1490 secs
lola: 120030776 markings, 517421918 edges, 78279 markings/sec, 1495 secs
lola: 120315475 markings, 519366694 edges, 56940 markings/sec, 1500 secs
lola: 120646358 markings, 520822787 edges, 66177 markings/sec, 1505 secs
lola: 120978970 markings, 522506243 edges, 66522 markings/sec, 1510 secs
lola: 121552682 markings, 524520248 edges, 114742 markings/sec, 1515 secs
lola: 122099188 markings, 526570703 edges, 109301 markings/sec, 1520 secs
lola: 122595582 markings, 528472416 edges, 99279 markings/sec, 1525 secs
lola: 123408272 markings, 529988717 edges, 162538 markings/sec, 1530 secs
lola: 124104589 markings, 531441338 edges, 139263 markings/sec, 1535 secs
lola: 124801538 markings, 532964477 edges, 139390 markings/sec, 1540 secs
lola: 125473550 markings, 534484635 edges, 134402 markings/sec, 1545 secs
lola: 126160711 markings, 536146175 edges, 137432 markings/sec, 1550 secs
lola: 126688880 markings, 538091320 edges, 105634 markings/sec, 1555 secs
lola: 126695420 markings, 540468573 edges, 1308 markings/sec, 1560 secs
lola: 126705574 markings, 542813060 edges, 2031 markings/sec, 1565 secs
lola: 126713910 markings, 545079115 edges, 1667 markings/sec, 1570 secs
lola: 127213452 markings, 547141329 edges, 99908 markings/sec, 1575 secs
lola: 127816541 markings, 549253417 edges, 120618 markings/sec, 1580 secs
lola: 128424241 markings, 551250283 edges, 121540 markings/sec, 1585 secs
lola: 129199731 markings, 552798013 edges, 155098 markings/sec, 1590 secs
lola: 129972299 markings, 554434490 edges, 154514 markings/sec, 1595 secs
lola: 130696858 markings, 556057392 edges, 144912 markings/sec, 1600 secs
lola: 131386610 markings, 557677263 edges, 137950 markings/sec, 1605 secs
lola: 132004322 markings, 559255501 edges, 123542 markings/sec, 1610 secs
lola: 132208802 markings, 561415053 edges, 40896 markings/sec, 1615 secs
lola: 132215476 markings, 563676762 edges, 1335 markings/sec, 1620 secs
lola: 132224736 markings, 565934045 edges, 1852 markings/sec, 1625 secs
lola: 132231352 markings, 568291929 edges, 1323 markings/sec, 1630 secs
lola: 132860122 markings, 570031231 edges, 125754 markings/sec, 1635 secs
lola: 133487617 markings, 571664792 edges, 125499 markings/sec, 1640 secs
lola: 134192548 markings, 573118356 edges, 140986 markings/sec, 1645 secs
lola: 134883241 markings, 574609434 edges, 138139 markings/sec, 1650 secs
lola: 135520587 markings, 576038025 edges, 127469 markings/sec, 1655 secs
lola: 136151040 markings, 577517340 edges, 126091 markings/sec, 1660 secs
lola: 136739084 markings, 579013428 edges, 117609 markings/sec, 1665 secs
lola: 136981618 markings, 581092387 edges, 48507 markings/sec, 1670 secs
lola: 136987858 markings, 583308213 edges, 1248 markings/sec, 1675 secs
lola: 136996762 markings, 585430370 edges, 1781 markings/sec, 1680 secs
lola: 137004010 markings, 587573715 edges, 1450 markings/sec, 1685 secs
lola: 137653308 markings, 589395954 edges, 129860 markings/sec, 1690 secs
lola: 138474072 markings, 590865115 edges, 164153 markings/sec, 1695 secs
lola: 139284963 markings, 592339593 edges, 162178 markings/sec, 1700 secs
lola: 140076858 markings, 593812022 edges, 158379 markings/sec, 1705 secs
lola: 140862745 markings, 595320449 edges, 157177 markings/sec, 1710 secs
lola: 141619043 markings, 596780941 edges, 151260 markings/sec, 1715 secs
lola: 142359747 markings, 598217197 edges, 148141 markings/sec, 1720 secs
lola: 143098392 markings, 599690516 edges, 147729 markings/sec, 1725 secs
lola: 143798607 markings, 601153614 edges, 140043 markings/sec, 1730 secs
lola: 144506774 markings, 602585789 edges, 141633 markings/sec, 1735 secs
lola: 145196371 markings, 604002416 edges, 137919 markings/sec, 1740 secs
lola: 145867396 markings, 605418988 edges, 134205 markings/sec, 1745 secs
lola: 146518650 markings, 606805206 edges, 130251 markings/sec, 1750 secs
lola: 147172456 markings, 608187526 edges, 130761 markings/sec, 1755 secs
lola: 147812447 markings, 609538706 edges, 127998 markings/sec, 1760 secs
lola: 148453904 markings, 610921352 edges, 128291 markings/sec, 1765 secs
lola: 149135355 markings, 612372894 edges, 136290 markings/sec, 1770 secs
lola: 149770036 markings, 613773103 edges, 126936 markings/sec, 1775 secs
lola: 150444523 markings, 615247210 edges, 134897 markings/sec, 1780 secs
lola: 151115910 markings, 616723096 edges, 134277 markings/sec, 1785 secs
lola: 151754828 markings, 618127244 edges, 127784 markings/sec, 1790 secs
lola: 152381667 markings, 619518268 edges, 125368 markings/sec, 1795 secs
lola: 153012155 markings, 620909861 edges, 126098 markings/sec, 1800 secs
lola: 153642813 markings, 622324228 edges, 126132 markings/sec, 1805 secs
lola: 154263614 markings, 623735087 edges, 124160 markings/sec, 1810 secs
lola: 154916262 markings, 625201316 edges, 130530 markings/sec, 1815 secs
lola: 155549797 markings, 626630747 edges, 126707 markings/sec, 1820 secs
lola: 156163607 markings, 628052613 edges, 122762 markings/sec, 1825 secs
lola: 156772806 markings, 629471643 edges, 121840 markings/sec, 1830 secs
lola: 157371770 markings, 630897114 edges, 119793 markings/sec, 1835 secs
lola: 157999568 markings, 632407596 edges, 125560 markings/sec, 1840 secs
lola: 158634251 markings, 633877176 edges, 126937 markings/sec, 1845 secs
lola: 159260712 markings, 635288651 edges, 125292 markings/sec, 1850 secs
lola: 159887854 markings, 636722646 edges, 125428 markings/sec, 1855 secs
lola: 160504437 markings, 638147600 edges, 123317 markings/sec, 1860 secs
lola: 161105205 markings, 639554313 edges, 120154 markings/sec, 1865 secs
lola: 161717106 markings, 641032043 edges, 122380 markings/sec, 1870 secs
lola: 162305778 markings, 642453568 edges, 117734 markings/sec, 1875 secs
lola: 162873925 markings, 643904816 edges, 113629 markings/sec, 1880 secs
lola: 163457097 markings, 645344824 edges, 116634 markings/sec, 1885 secs
lola: 164052660 markings, 646827651 edges, 119113 markings/sec, 1890 secs
lola: 164643992 markings, 648309429 edges, 118266 markings/sec, 1895 secs
lola: 165232604 markings, 649757651 edges, 117722 markings/sec, 1900 secs
lola: 165813043 markings, 651207244 edges, 116088 markings/sec, 1905 secs
lola: 166383258 markings, 652702226 edges, 114043 markings/sec, 1910 secs
lola: 166928978 markings, 654148642 edges, 109144 markings/sec, 1915 secs
lola: 167468255 markings, 655625792 edges, 107855 markings/sec, 1920 secs
lola: 168016531 markings, 657110477 edges, 109655 markings/sec, 1925 secs
lola: 168559639 markings, 658615422 edges, 108622 markings/sec, 1930 secs
lola: 168991688 markings, 660362375 edges, 86410 markings/sec, 1935 secs
lola: 168999994 markings, 662595312 edges, 1661 markings/sec, 1940 secs
lola: 169006782 markings, 664708376 edges, 1358 markings/sec, 1945 secs
lola: 169011060 markings, 666787215 edges, 856 markings/sec, 1950 secs
lola: 169014666 markings, 668892452 edges, 721 markings/sec, 1955 secs
lola: 169031462 markings, 670973240 edges, 3359 markings/sec, 1960 secs
lola: 169039242 markings, 673029014 edges, 1556 markings/sec, 1965 secs
lola: 169043304 markings, 675027079 edges, 812 markings/sec, 1970 secs
lola: 169047272 markings, 677024437 edges, 794 markings/sec, 1975 secs
lola: 169051668 markings, 679026498 edges, 879 markings/sec, 1980 secs
lola: 169056660 markings, 681000962 edges, 998 markings/sec, 1985 secs
lola: 169061166 markings, 682947036 edges, 901 markings/sec, 1990 secs
lola: 169065598 markings, 684876136 edges, 886 markings/sec, 1995 secs
lola: 169071414 markings, 686783974 edges, 1163 markings/sec, 2000 secs
lola: 169076866 markings, 688663265 edges, 1090 markings/sec, 2005 secs
lola: 169082630 markings, 690544523 edges, 1153 markings/sec, 2010 secs
lola: 169088400 markings, 692419058 edges, 1154 markings/sec, 2015 secs
lola: 169094130 markings, 694304194 edges, 1146 markings/sec, 2020 secs
lola: 169100898 markings, 696254596 edges, 1354 markings/sec, 2025 secs
lola: 169107286 markings, 698207651 edges, 1278 markings/sec, 2030 secs
lola: 169113806 markings, 700095399 edges, 1304 markings/sec, 2035 secs
lola: 169121786 markings, 702014374 edges, 1596 markings/sec, 2040 secs
lola: 169129388 markings, 703926253 edges, 1520 markings/sec, 2045 secs
lola: 169136068 markings, 705817545 edges, 1336 markings/sec, 2050 secs
lola: 169142266 markings, 707731127 edges, 1240 markings/sec, 2055 secs
lola: 169148684 markings, 709732026 edges, 1284 markings/sec, 2060 secs
lola: 169154672 markings, 711726548 edges, 1198 markings/sec, 2065 secs
lola: 169161150 markings, 713683069 edges, 1296 markings/sec, 2070 secs
lola: 169167274 markings, 715667942 edges, 1225 markings/sec, 2075 secs
lola: 169172248 markings, 717664701 edges, 995 markings/sec, 2080 secs
lola: 169177244 markings, 719680561 edges, 999 markings/sec, 2085 secs
lola: 169180744 markings, 721687376 edges, 700 markings/sec, 2090 secs
lola: 169185008 markings, 723692381 edges, 853 markings/sec, 2095 secs
lola: 169188858 markings, 725726794 edges, 770 markings/sec, 2100 secs
lola: 169191580 markings, 727860229 edges, 544 markings/sec, 2105 secs
lola: 169193590 markings, 730017249 edges, 402 markings/sec, 2110 secs
lola: 169236702 markings, 732205493 edges, 8622 markings/sec, 2115 secs
lola: 169589772 markings, 733777176 edges, 70614 markings/sec, 2120 secs
lola: 169800409 markings, 735495918 edges, 42127 markings/sec, 2125 secs
lola: 170215816 markings, 737463048 edges, 83081 markings/sec, 2130 secs
lola: 170561068 markings, 739485101 edges, 69050 markings/sec, 2135 secs
lola: 170962195 markings, 741442361 edges, 80225 markings/sec, 2140 secs
lola: 171849609 markings, 743031269 edges, 177483 markings/sec, 2145 secs
lola: 172477524 markings, 745193027 edges, 125583 markings/sec, 2150 secs
lola: 173107304 markings, 747241711 edges, 125956 markings/sec, 2155 secs
lola: 173932409 markings, 748874184 edges, 165021 markings/sec, 2160 secs
lola: 174671347 markings, 750454248 edges, 147788 markings/sec, 2165 secs
lola: 175388952 markings, 752067346 edges, 143521 markings/sec, 2170 secs
lola: 176073682 markings, 753676138 edges, 136946 markings/sec, 2175 secs
lola: 176690829 markings, 755250124 edges, 123429 markings/sec, 2180 secs
lola: 176862536 markings, 757459428 edges, 34341 markings/sec, 2185 secs
lola: 176870796 markings, 759717518 edges, 1652 markings/sec, 2190 secs
lola: 176878718 markings, 761858326 edges, 1584 markings/sec, 2195 secs
lola: 176885020 markings, 764262353 edges, 1260 markings/sec, 2200 secs
lola: 177502866 markings, 766082634 edges, 123569 markings/sec, 2205 secs
lola: 178180268 markings, 767667893 edges, 135480 markings/sec, 2210 secs
lola: 178881316 markings, 769100411 edges, 140210 markings/sec, 2215 secs
lola: 179539518 markings, 770539316 edges, 131640 markings/sec, 2220 secs
lola: 180191559 markings, 771994892 edges, 130408 markings/sec, 2225 secs
lola: 180821755 markings, 773475576 edges, 126039 markings/sec, 2230 secs
lola: 181407158 markings, 774965699 edges, 117081 markings/sec, 2235 secs
lola: 181635346 markings, 777064650 edges, 45638 markings/sec, 2240 secs
lola: 181643300 markings, 779174225 edges, 1591 markings/sec, 2245 secs
lola: 181650502 markings, 781269340 edges, 1440 markings/sec, 2250 secs
lola: 181657582 markings, 783475801 edges, 1416 markings/sec, 2255 secs
lola: 182248612 markings, 785213976 edges, 118206 markings/sec, 2260 secs
lola: 183052754 markings, 786656694 edges, 160828 markings/sec, 2265 secs
lola: 183836703 markings, 788088909 edges, 156790 markings/sec, 2270 secs
lola: 184603854 markings, 789510607 edges, 153430 markings/sec, 2275 secs
lola: 185345453 markings, 790931606 edges, 148320 markings/sec, 2280 secs
lola: 186075033 markings, 792337926 edges, 145916 markings/sec, 2285 secs
lola: 186833434 markings, 793800062 edges, 151680 markings/sec, 2290 secs
lola: 187545178 markings, 795196927 edges, 142349 markings/sec, 2295 secs
lola: 188229636 markings, 796611471 edges, 136892 markings/sec, 2300 secs
lola: 188925037 markings, 798040891 edges, 139080 markings/sec, 2305 secs
lola: 189645635 markings, 799500644 edges, 144120 markings/sec, 2310 secs
lola: 190326126 markings, 800911205 edges, 136098 markings/sec, 2315 secs
lola: 190989888 markings, 802328407 edges, 132752 markings/sec, 2320 secs
lola: 191653727 markings, 803722246 edges, 132768 markings/sec, 2325 secs
lola: 192335440 markings, 805165612 edges, 136343 markings/sec, 2330 secs
lola: 193031765 markings, 806664372 edges, 139265 markings/sec, 2335 secs
lola: 193682454 markings, 808055904 edges, 130138 markings/sec, 2340 secs
lola: 194337308 markings, 809473632 edges, 130971 markings/sec, 2345 secs
lola: 194993090 markings, 810904418 edges, 131156 markings/sec, 2350 secs
lola: 195631384 markings, 812315991 edges, 127659 markings/sec, 2355 secs
lola: 196274788 markings, 813750045 edges, 128681 markings/sec, 2360 secs
lola: 196964188 markings, 815263432 edges, 137880 markings/sec, 2365 secs
lola: 197659694 markings, 816824021 edges, 139101 markings/sec, 2370 secs
lola: 198349349 markings, 818392288 edges, 137931 markings/sec, 2375 secs
lola: 199016651 markings, 819904494 edges, 133460 markings/sec, 2380 secs
lola: 199701719 markings, 821449551 edges, 137014 markings/sec, 2385 secs
lola: 200370384 markings, 822957417 edges, 133733 markings/sec, 2390 secs
lola: 201040844 markings, 824491050 edges, 134092 markings/sec, 2395 secs
lola: 201709825 markings, 826040375 edges, 133796 markings/sec, 2400 secs
lola: 202367102 markings, 827593974 edges, 131455 markings/sec, 2405 secs
lola: 203022504 markings, 829147488 edges, 131080 markings/sec, 2410 secs
lola: 203680134 markings, 830667995 edges, 131526 markings/sec, 2415 secs
lola: 204329305 markings, 832183090 edges, 129834 markings/sec, 2420 secs
lola: 204995375 markings, 833733774 edges, 133214 markings/sec, 2425 secs
lola: 205657414 markings, 835274423 edges, 132408 markings/sec, 2430 secs
lola: 206299454 markings, 836809544 edges, 128408 markings/sec, 2435 secs
lola: 206934530 markings, 838363763 edges, 127015 markings/sec, 2440 secs
lola: 207563443 markings, 839926963 edges, 125783 markings/sec, 2445 secs
lola: 208185523 markings, 841454190 edges, 124416 markings/sec, 2450 secs
lola: 208800564 markings, 843005004 edges, 123008 markings/sec, 2455 secs
lola: 209423260 markings, 844555907 edges, 124539 markings/sec, 2460 secs
lola: 210031300 markings, 846080308 edges, 121608 markings/sec, 2465 secs
lola: 210634636 markings, 847612266 edges, 120667 markings/sec, 2470 secs
lola: 211235032 markings, 849180629 edges, 120079 markings/sec, 2475 secs
lola: 211801566 markings, 850700101 edges, 113307 markings/sec, 2480 secs
lola: 212369288 markings, 852253706 edges, 113544 markings/sec, 2485 secs
lola: 212958725 markings, 853860755 edges, 117887 markings/sec, 2490 secs
lola: 213530978 markings, 855534815 edges, 114451 markings/sec, 2495 secs
lola: 213635456 markings, 857729117 edges, 20896 markings/sec, 2500 secs
lola: 213642910 markings, 859817315 edges, 1491 markings/sec, 2505 secs
lola: 213649776 markings, 861827428 edges, 1373 markings/sec, 2510 secs
lola: 213653196 markings, 863812683 edges, 684 markings/sec, 2515 secs
lola: 213657084 markings, 865788760 edges, 778 markings/sec, 2520 secs
lola: 213674164 markings, 867714055 edges, 3416 markings/sec, 2525 secs
lola: 213677474 markings, 869640323 edges, 662 markings/sec, 2530 secs
lola: 213681180 markings, 871556908 edges, 741 markings/sec, 2535 secs
lola: 213685106 markings, 873463005 edges, 785 markings/sec, 2540 secs
lola: 213689662 markings, 875370426 edges, 911 markings/sec, 2545 secs
lola: 213694048 markings, 877298026 edges, 877 markings/sec, 2550 secs
lola: 213699464 markings, 879186430 edges, 1083 markings/sec, 2555 secs
lola: 213705548 markings, 881087044 edges, 1217 markings/sec, 2560 secs
lola: 213711060 markings, 882983870 edges, 1102 markings/sec, 2565 secs
lola: 213716272 markings, 884902828 edges, 1042 markings/sec, 2570 secs
lola: 213721856 markings, 886800677 edges, 1117 markings/sec, 2575 secs
lola: 213727406 markings, 888711687 edges, 1110 markings/sec, 2580 secs
lola: 213733830 markings, 890625652 edges, 1285 markings/sec, 2585 secs
lola: 213740220 markings, 892513733 edges, 1278 markings/sec, 2590 secs
lola: 213746874 markings, 894403289 edges, 1331 markings/sec, 2595 secs
lola: 213753910 markings, 896320152 edges, 1407 markings/sec, 2600 secs
lola: 213762302 markings, 898237761 edges, 1678 markings/sec, 2605 secs
lola: 213770540 markings, 900152960 edges, 1648 markings/sec, 2610 secs
lola: 213776992 markings, 902068792 edges, 1290 markings/sec, 2615 secs
lola: 213783626 markings, 903970080 edges, 1327 markings/sec, 2620 secs
lola: 213788488 markings, 905878072 edges, 972 markings/sec, 2625 secs
lola: 213793862 markings, 907796798 edges, 1075 markings/sec, 2630 secs
lola: 213800006 markings, 909792312 edges, 1229 markings/sec, 2635 secs
lola: 213805796 markings, 911830737 edges, 1158 markings/sec, 2640 secs
lola: 213811736 markings, 913868648 edges, 1188 markings/sec, 2645 secs
lola: 213816566 markings, 915870091 edges, 966 markings/sec, 2650 secs
lola: 213820446 markings, 917891160 edges, 776 markings/sec, 2655 secs
lola: 213824980 markings, 919915792 edges, 907 markings/sec, 2660 secs
lola: 213828530 markings, 921991931 edges, 710 markings/sec, 2665 secs
lola: 213831066 markings, 924109651 edges, 507 markings/sec, 2670 secs
lola: 213833196 markings, 926288036 edges, 426 markings/sec, 2675 secs
lola: 213918800 markings, 928383026 edges, 17121 markings/sec, 2680 secs
lola: 214263478 markings, 929904523 edges, 68936 markings/sec, 2685 secs
lola: 214525359 markings, 931765369 edges, 52376 markings/sec, 2690 secs
lola: 214874795 markings, 933949777 edges, 69887 markings/sec, 2695 secs
lola: 215240972 markings, 936173324 edges, 73235 markings/sec, 2700 secs
lola: 216036189 markings, 937845225 edges, 159043 markings/sec, 2705 secs
lola: 216579494 markings, 939655311 edges, 108661 markings/sec, 2710 secs
lola: 217278364 markings, 941039388 edges, 139774 markings/sec, 2715 secs
lola: 217926842 markings, 942413909 edges, 129696 markings/sec, 2720 secs
lola: 218551966 markings, 943809636 edges, 125025 markings/sec, 2725 secs
lola: 219156988 markings, 945227846 edges, 121004 markings/sec, 2730 secs
lola: 219738630 markings, 946627443 edges, 116328 markings/sec, 2735 secs
lola: 220238620 markings, 948292311 edges, 99998 markings/sec, 2740 secs
lola: 220248030 markings, 950312859 edges, 1882 markings/sec, 2745 secs
lola: 220255190 markings, 952274217 edges, 1432 markings/sec, 2750 secs
lola: 220262544 markings, 954230204 edges, 1471 markings/sec, 2755 secs
lola: 220268176 markings, 956254044 edges, 1126 markings/sec, 2760 secs
lola: 220944048 markings, 957751907 edges, 135174 markings/sec, 2765 secs
lola: 221700258 markings, 959108394 edges, 151242 markings/sec, 2770 secs
lola: 222436405 markings, 960451937 edges, 147229 markings/sec, 2775 secs
lola: 223157082 markings, 961783021 edges, 144135 markings/sec, 2780 secs
lola: 223848332 markings, 963111581 edges, 138250 markings/sec, 2785 secs
lola: 224536652 markings, 964427728 edges, 137664 markings/sec, 2790 secs
lola: 225213986 markings, 965746585 edges, 135467 markings/sec, 2795 secs
lola: 225891470 markings, 967061003 edges, 135497 markings/sec, 2800 secs
lola: 226552865 markings, 968383121 edges, 132279 markings/sec, 2805 secs
lola: 227195604 markings, 969730112 edges, 128548 markings/sec, 2810 secs
lola: 227842175 markings, 971051958 edges, 129314 markings/sec, 2815 secs
lola: 228492546 markings, 972373055 edges, 130074 markings/sec, 2820 secs
lola: 229139145 markings, 973718077 edges, 129320 markings/sec, 2825 secs
lola: 229801804 markings, 975130394 edges, 132532 markings/sec, 2830 secs
lola: 230436619 markings, 976454774 edges, 126963 markings/sec, 2835 secs
lola: 231056517 markings, 977788632 edges, 123980 markings/sec, 2840 secs
lola: 231680695 markings, 979122034 edges, 124836 markings/sec, 2845 secs
lola: 232299773 markings, 980452370 edges, 123816 markings/sec, 2850 secs
lola: 232912850 markings, 981777648 edges, 122615 markings/sec, 2855 secs
lola: 233528216 markings, 983116864 edges, 123073 markings/sec, 2860 secs
lola: 234134980 markings, 984457269 edges, 121353 markings/sec, 2865 secs
lola: 234735516 markings, 985810024 edges, 120107 markings/sec, 2870 secs
lola: 235369990 markings, 987190469 edges, 126895 markings/sec, 2875 secs
lola: 235993623 markings, 988589945 edges, 124727 markings/sec, 2880 secs
lola: 236611884 markings, 989979910 edges, 123652 markings/sec, 2885 secs
lola: 237229678 markings, 991386679 edges, 123559 markings/sec, 2890 secs
lola: 237852429 markings, 992791156 edges, 124550 markings/sec, 2895 secs
lola: 238443120 markings, 994124087 edges, 118138 markings/sec, 2900 secs
lola: 239032384 markings, 995464244 edges, 117853 markings/sec, 2905 secs
lola: 239623644 markings, 996811368 edges, 118252 markings/sec, 2910 secs
lola: 240237152 markings, 998221883 edges, 122702 markings/sec, 2915 secs
lola: 240840380 markings, 999656334 edges, 120646 markings/sec, 2920 secs
lola: 241449487 markings, 1001089648 edges, 121821 markings/sec, 2925 secs
lola: 242064531 markings, 1002525331 edges, 123009 markings/sec, 2930 secs
lola: 242670209 markings, 1003932929 edges, 121136 markings/sec, 2935 secs
lola: 243274285 markings, 1005346921 edges, 120815 markings/sec, 2940 secs
lola: 243891396 markings, 1006781524 edges, 123422 markings/sec, 2945 secs
lola: 244496470 markings, 1008201221 edges, 121015 markings/sec, 2950 secs
lola: 245087558 markings, 1009637152 edges, 118218 markings/sec, 2955 secs
lola: 245673453 markings, 1011063380 edges, 117179 markings/sec, 2960 secs
lola: 246257970 markings, 1012520914 edges, 116903 markings/sec, 2965 secs
lola: 246847980 markings, 1013970059 edges, 118002 markings/sec, 2970 secs
lola: 247406690 markings, 1015378063 edges, 111742 markings/sec, 2975 secs
lola: 247976482 markings, 1016805363 edges, 113958 markings/sec, 2980 secs
lola: 248530796 markings, 1018192841 edges, 110863 markings/sec, 2985 secs
lola: 249082424 markings, 1019574832 edges, 110326 markings/sec, 2990 secs
lola: 249618070 markings, 1020960392 edges, 107129 markings/sec, 2995 secs
lola: 250151366 markings, 1022369175 edges, 106659 markings/sec, 3000 secs
lola: 250692865 markings, 1023849075 edges, 108300 markings/sec, 3005 secs
lola: 251220618 markings, 1025288350 edges, 105551 markings/sec, 3010 secs
lola: 251742015 markings, 1026733897 edges, 104279 markings/sec, 3015 secs
lola: time limit reached - aborting
lola: lola: caught signal User defined signal 1 - aborting LoLA

preliminary result: 1 1 18 unknown unknown 1 1 1 18 1 18 18 1 1 18 1
lola:
preliminary result: 1 1 18 unknown unknown 1 1 1 18 1 18 18 1 1 18 1
lola:
preliminary result: 1 1 18 unknown unknown 1 1 1 18 1 18 18 1 1 18 1
lola: memory consumption: 18400 KB
lola: time consumption: 3569 seconds

BK_STOP 1552873935437

--------------------
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="HexagonalGrid-PT-226"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is HexagonalGrid-PT-226, 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 r088-csrt-155246565900187"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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