Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2019-input.r066-ebro-155234666600157.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is DoubleExponent-PT-004, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-ebro-155234666600157
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 216K
-rw-r--r-- 1 mcc users 3.1K Feb 10 22:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 10 22:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 6 19:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 6 19:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 108 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 346 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 3 07:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 07:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Jan 31 00:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jan 31 00:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:20 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 67K 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 DoubleExponent-PT-004-UpperBounds-00
FORMULA_NAME DoubleExponent-PT-004-UpperBounds-01
FORMULA_NAME DoubleExponent-PT-004-UpperBounds-02
FORMULA_NAME DoubleExponent-PT-004-UpperBounds-03
FORMULA_NAME DoubleExponent-PT-004-UpperBounds-04
FORMULA_NAME DoubleExponent-PT-004-UpperBounds-05
FORMULA_NAME DoubleExponent-PT-004-UpperBounds-06
FORMULA_NAME DoubleExponent-PT-004-UpperBounds-07
FORMULA_NAME DoubleExponent-PT-004-UpperBounds-08
FORMULA_NAME DoubleExponent-PT-004-UpperBounds-09
FORMULA_NAME DoubleExponent-PT-004-UpperBounds-10
FORMULA_NAME DoubleExponent-PT-004-UpperBounds-11
FORMULA_NAME DoubleExponent-PT-004-UpperBounds-12
FORMULA_NAME DoubleExponent-PT-004-UpperBounds-13
FORMULA_NAME DoubleExponent-PT-004-UpperBounds-14
FORMULA_NAME DoubleExponent-PT-004-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552929691483

info: Time: 3600 - MCC
===========================================================================================
prep: translating DoubleExponent-PT-004 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DoubleExponent-PT-004 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ DoubleExponent-PT-004 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 414/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 6912
lola: finding significant places
lola: 216 places, 198 transitions, 192 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 268 transition conflict sets
lola: TASK
lola: reading formula from DoubleExponent-PT-004-UpperBounds.task
lola: MAX(p109) : MAX(p9) : MAX(p86) : MAX(p14) : MAX(p104) : MAX(p213) : MAX(p140) : MAX(p87) : MAX(p176) : MAX(p131) : MAX(p146) : MAX(p44) : MAX(p21) : MAX(p117) : MAX(p129) : MAX(p188)
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(p109)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p109)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file DoubleExponent-PT-004-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: 4294967295
lola: 575199 markings, 575198 edges, 115040 markings/sec, 0 secs
lola: 1142612 markings, 1142611 edges, 113483 markings/sec, 5 secs
lola: 1707848 markings, 1707847 edges, 113047 markings/sec, 10 secs
lola: 2273275 markings, 2273275 edges, 113085 markings/sec, 15 secs
lola: 2836180 markings, 2836180 edges, 112581 markings/sec, 20 secs
lola: 3400297 markings, 3400296 edges, 112823 markings/sec, 25 secs
lola: 3964872 markings, 3964871 edges, 112915 markings/sec, 30 secs
lola: 4525516 markings, 4525515 edges, 112129 markings/sec, 35 secs
lola: 5087545 markings, 5087545 edges, 112406 markings/sec, 40 secs
lola: 5648074 markings, 5648073 edges, 112106 markings/sec, 45 secs
lola: 6209487 markings, 6209486 edges, 112283 markings/sec, 50 secs
lola: 6767340 markings, 6767339 edges, 111571 markings/sec, 55 secs
lola: 7326103 markings, 7326102 edges, 111753 markings/sec, 60 secs
lola: 7888226 markings, 7888225 edges, 112425 markings/sec, 65 secs
lola: 8447284 markings, 8447284 edges, 111812 markings/sec, 70 secs
lola: 9008994 markings, 9008994 edges, 112342 markings/sec, 75 secs
lola: 9566816 markings, 9566816 edges, 111564 markings/sec, 80 secs
lola: 10123364 markings, 10123363 edges, 111310 markings/sec, 85 secs
lola: 10686919 markings, 10686919 edges, 112711 markings/sec, 90 secs
lola: 11239540 markings, 11239540 edges, 110524 markings/sec, 95 secs
lola: 11798824 markings, 11798824 edges, 111857 markings/sec, 100 secs
lola: 12358673 markings, 12358672 edges, 111970 markings/sec, 105 secs
lola: 12915008 markings, 12915007 edges, 111267 markings/sec, 110 secs
lola: 13471858 markings, 13471857 edges, 111370 markings/sec, 115 secs
lola: 14034811 markings, 14034811 edges, 112591 markings/sec, 120 secs
lola: 14593444 markings, 14593444 edges, 111727 markings/sec, 125 secs
lola: 15148861 markings, 15148860 edges, 111083 markings/sec, 130 secs
lola: 15705627 markings, 15705626 edges, 111353 markings/sec, 135 secs
lola: 16263566 markings, 16263565 edges, 111588 markings/sec, 140 secs
lola: 16803738 markings, 16803738 edges, 108034 markings/sec, 145 secs
lola: 17345837 markings, 17345836 edges, 108420 markings/sec, 150 secs
lola: 17896175 markings, 17896175 edges, 110068 markings/sec, 155 secs
lola: 18456591 markings, 18456590 edges, 112083 markings/sec, 160 secs
lola: 19014211 markings, 19014211 edges, 111524 markings/sec, 165 secs
lola: 19570251 markings, 19570250 edges, 111208 markings/sec, 170 secs
lola: 20127016 markings, 20127015 edges, 111353 markings/sec, 175 secs
lola: 20691525 markings, 20691525 edges, 112902 markings/sec, 180 secs
lola: 21247803 markings, 21247803 edges, 111256 markings/sec, 185 secs
lola: 21801748 markings, 21801748 edges, 110789 markings/sec, 190 secs
lola: 22356516 markings, 22356515 edges, 110954 markings/sec, 195 secs
lola: 22917722 markings, 22917722 edges, 112241 markings/sec, 200 secs
lola: 23481941 markings, 23481941 edges, 112844 markings/sec, 205 secs
lola: 24041102 markings, 24041101 edges, 111832 markings/sec, 210 secs
lola: 24598174 markings, 24598173 edges, 111414 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1130124 KB
lola: time consumption: 224 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file DoubleExponent-PT-004-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: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 65 markings, 64 edges

FORMULA DoubleExponent-PT-004-UpperBounds-1 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p86)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p86)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DoubleExponent-PT-004-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: 821 markings, 820 edges
lola:
FORMULA DoubleExponent-PT-004-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p14)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DoubleExponent-PT-004-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: 8 markings, 7 edges
lola: ========================================

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

FORMULA DoubleExponent-PT-004-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p213)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p213)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file DoubleExponent-PT-004-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: 670291 markings, 670291 edges, 134058 markings/sec, 0 secs
lola: 1341090 markings, 1341090 edges, 134160 markings/sec, 5 secs
lola: 2014922 markings, 2014921 edges, 134766 markings/sec, 10 secs
lola: 2724939 markings, 2724938 edges, 142003 markings/sec, 15 secs
lola: 3444859 markings, 3444859 edges, 143984 markings/sec, 20 secs
lola: 4167524 markings, 4167524 edges, 144533 markings/sec, 25 secs
lola: 4888187 markings, 4888187 edges, 144133 markings/sec, 30 secs
lola: 5607365 markings, 5607365 edges, 143836 markings/sec, 35 secs
lola: 6327169 markings, 6327169 edges, 143961 markings/sec, 40 secs
lola: 7040490 markings, 7040490 edges, 142664 markings/sec, 45 secs
lola: 7753693 markings, 7753693 edges, 142641 markings/sec, 50 secs
lola: 8465158 markings, 8465158 edges, 142293 markings/sec, 55 secs
lola: 9174511 markings, 9174511 edges, 141871 markings/sec, 60 secs
lola: 9887075 markings, 9887075 edges, 142513 markings/sec, 65 secs
lola: 10596523 markings, 10596522 edges, 141890 markings/sec, 70 secs
lola: 11312260 markings, 11312261 edges, 143147 markings/sec, 75 secs
lola: 12019679 markings, 12019679 edges, 141484 markings/sec, 80 secs
lola: 12732812 markings, 12732812 edges, 142627 markings/sec, 85 secs
lola: 13430673 markings, 13430673 edges, 139572 markings/sec, 90 secs
lola: 14140499 markings, 14140498 edges, 141965 markings/sec, 95 secs
lola: 14851820 markings, 14851819 edges, 142264 markings/sec, 100 secs
lola: 15554727 markings, 15554726 edges, 140581 markings/sec, 105 secs
lola: 16269394 markings, 16269394 edges, 142933 markings/sec, 110 secs
lola: 16976530 markings, 16976530 edges, 141427 markings/sec, 115 secs
lola: 17677311 markings, 17677310 edges, 140156 markings/sec, 120 secs
lola: 18382034 markings, 18382033 edges, 140945 markings/sec, 125 secs
lola: 19079179 markings, 19079179 edges, 139429 markings/sec, 130 secs
lola: 19775000 markings, 19775000 edges, 139164 markings/sec, 135 secs
lola: 20487368 markings, 20487368 edges, 142474 markings/sec, 140 secs
lola: 21192070 markings, 21192070 edges, 140940 markings/sec, 145 secs
lola: 21892082 markings, 21892082 edges, 140002 markings/sec, 150 secs
lola: 22599776 markings, 22599776 edges, 141539 markings/sec, 155 secs
lola: 23307851 markings, 23307850 edges, 141615 markings/sec, 160 secs
lola: 24006463 markings, 24006463 edges, 139722 markings/sec, 165 secs
lola: 24705091 markings, 24705091 edges, 139726 markings/sec, 170 secs
lola: 25419296 markings, 25419295 edges, 142841 markings/sec, 175 secs
lola: 26128610 markings, 26128610 edges, 141863 markings/sec, 180 secs
lola: 26833661 markings, 26833661 edges, 141010 markings/sec, 185 secs
lola: 27540860 markings, 27540860 edges, 141440 markings/sec, 190 secs
lola: 28260701 markings, 28260700 edges, 143968 markings/sec, 195 secs
lola: 28965363 markings, 28965362 edges, 140932 markings/sec, 200 secs
lola: 29666065 markings, 29666065 edges, 140140 markings/sec, 205 secs
lola: 30371419 markings, 30371418 edges, 141071 markings/sec, 210 secs
lola: 31087881 markings, 31087880 edges, 143292 markings/sec, 215 secs
lola: 31802374 markings, 31802373 edges, 142899 markings/sec, 220 secs
lola: 32505600 markings, 32505599 edges, 140645 markings/sec, 225 secs
lola: 33210943 markings, 33210942 edges, 141069 markings/sec, 230 secs
lola: 33921699 markings, 33921699 edges, 142151 markings/sec, 235 secs
lola: 34643696 markings, 34643696 edges, 144399 markings/sec, 240 secs
lola: 35348348 markings, 35348348 edges, 140930 markings/sec, 245 secs
lola: 36048075 markings, 36048075 edges, 139945 markings/sec, 250 secs
lola: 36751350 markings, 36751350 edges, 140655 markings/sec, 255 secs
lola: 37456958 markings, 37456958 edges, 141122 markings/sec, 260 secs
lola: 38175136 markings, 38175136 edges, 143636 markings/sec, 265 secs
lola: 38882052 markings, 38882052 edges, 141383 markings/sec, 270 secs
lola: 39582900 markings, 39582900 edges, 140170 markings/sec, 275 secs
lola: 40286910 markings, 40286909 edges, 140802 markings/sec, 280 secs
lola: 40983792 markings, 40983791 edges, 139376 markings/sec, 285 secs
lola: 41700288 markings, 41700287 edges, 143299 markings/sec, 290 secs
lola: 42399449 markings, 42399448 edges, 139832 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 2 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1937812 KB
lola: time consumption: 528 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p140)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p140)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file DoubleExponent-PT-004-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: 136499 markings, 136498 edges
lola: ========================================

FORMULA DoubleExponent-PT-004-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p87)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p87)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file DoubleExponent-PT-004-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: 822 markings, 821 edges
lola: ========================================

FORMULA DoubleExponent-PT-004-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 380 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p176)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p176)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file DoubleExponent-PT-004-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: 670701 markings, 670701 edges, 134140 markings/sec, 0 secs
lola: 1343965 markings, 1343965 edges, 134653 markings/sec, 5 secs
lola: 2023036 markings, 2023036 edges, 135814 markings/sec, 10 secs
lola: 2736394 markings, 2736394 edges, 142672 markings/sec, 15 secs
lola: 3458575 markings, 3458575 edges, 144436 markings/sec, 20 secs
lola: 4175671 markings, 4175671 edges, 143419 markings/sec, 25 secs
lola: 4890067 markings, 4890067 edges, 142879 markings/sec, 30 secs
lola: 5601993 markings, 5601993 edges, 142385 markings/sec, 35 secs
lola: 6310294 markings, 6310293 edges, 141660 markings/sec, 40 secs
lola: 7003276 markings, 7003276 edges, 138596 markings/sec, 45 secs
lola: 7703040 markings, 7703039 edges, 139953 markings/sec, 50 secs
lola: 8403507 markings, 8403507 edges, 140093 markings/sec, 55 secs
lola: 9099498 markings, 9099497 edges, 139198 markings/sec, 60 secs
lola: 9799953 markings, 9799952 edges, 140091 markings/sec, 65 secs
lola: 10499075 markings, 10499075 edges, 139824 markings/sec, 70 secs
lola: 11202240 markings, 11202240 edges, 140633 markings/sec, 75 secs
lola: 11895584 markings, 11895584 edges, 138669 markings/sec, 80 secs
lola: 12586139 markings, 12586139 edges, 138111 markings/sec, 85 secs
lola: 13278748 markings, 13278747 edges, 138522 markings/sec, 90 secs
lola: 13972423 markings, 13972423 edges, 138735 markings/sec, 95 secs
lola: 14671402 markings, 14671402 edges, 139796 markings/sec, 100 secs
lola: 15361793 markings, 15361792 edges, 138078 markings/sec, 105 secs
lola: 16056552 markings, 16056551 edges, 138952 markings/sec, 110 secs
lola: 16755042 markings, 16755041 edges, 139698 markings/sec, 115 secs
lola: 17447286 markings, 17447286 edges, 138449 markings/sec, 120 secs
lola: 18147969 markings, 18147968 edges, 140137 markings/sec, 125 secs
lola: 18840922 markings, 18840922 edges, 138591 markings/sec, 130 secs
lola: 19525437 markings, 19525437 edges, 136903 markings/sec, 135 secs
lola: 20215128 markings, 20215128 edges, 137938 markings/sec, 140 secs
lola: 20909878 markings, 20909878 edges, 138950 markings/sec, 145 secs
lola: 21596161 markings, 21596161 edges, 137257 markings/sec, 150 secs
lola: 22282742 markings, 22282741 edges, 137316 markings/sec, 155 secs
lola: 22985891 markings, 22985891 edges, 140630 markings/sec, 160 secs
lola: 23681884 markings, 23681884 edges, 139199 markings/sec, 165 secs
lola: 24373599 markings, 24373599 edges, 138343 markings/sec, 170 secs
lola: 25073481 markings, 25073481 edges, 139976 markings/sec, 175 secs
lola: 25780693 markings, 25780692 edges, 141442 markings/sec, 180 secs
lola: 26480183 markings, 26480183 edges, 139898 markings/sec, 185 secs
lola: 27179356 markings, 27179355 edges, 139835 markings/sec, 190 secs
lola: 27886044 markings, 27886043 edges, 141338 markings/sec, 195 secs
lola: 28590486 markings, 28590486 edges, 140888 markings/sec, 200 secs
lola: 29284509 markings, 29284508 edges, 138805 markings/sec, 205 secs
lola: 29975646 markings, 29975646 edges, 138227 markings/sec, 210 secs
lola: 30672322 markings, 30672322 edges, 139335 markings/sec, 215 secs
lola: 31372592 markings, 31372591 edges, 140054 markings/sec, 220 secs
lola: 32069812 markings, 32069812 edges, 139444 markings/sec, 225 secs
lola: 32764469 markings, 32764469 edges, 138931 markings/sec, 230 secs
lola: 33461118 markings, 33461117 edges, 139330 markings/sec, 235 secs
lola: 34166351 markings, 34166350 edges, 141047 markings/sec, 240 secs
lola: 34877124 markings, 34877124 edges, 142155 markings/sec, 245 secs
lola: 35571996 markings, 35571995 edges, 138974 markings/sec, 250 secs
lola: 36265956 markings, 36265956 edges, 138792 markings/sec, 255 secs
lola: 36963033 markings, 36963032 edges, 139415 markings/sec, 260 secs
lola: 37666548 markings, 37666547 edges, 140703 markings/sec, 265 secs
lola: 38378080 markings, 38378079 edges, 142306 markings/sec, 270 secs
lola: 39076352 markings, 39076352 edges, 139654 markings/sec, 275 secs
lola: 39762049 markings, 39762049 edges, 137139 markings/sec, 280 secs
lola: 40460470 markings, 40460470 edges, 139684 markings/sec, 285 secs
lola: 41163564 markings, 41163563 edges, 140619 markings/sec, 290 secs
lola: 41873322 markings, 41873321 edges, 141952 markings/sec, 295 secs
lola: 42575575 markings, 42575575 edges, 140451 markings/sec, 300 secs
lola: 43268077 markings, 43268076 edges, 138500 markings/sec, 305 secs
lola: 43961815 markings, 43961814 edges, 138748 markings/sec, 310 secs
lola: 44657120 markings, 44657119 edges, 139061 markings/sec, 315 secs
lola: 45358266 markings, 45358265 edges, 140229 markings/sec, 320 secs
lola: 46067332 markings, 46067331 edges, 141813 markings/sec, 325 secs
lola: 46769818 markings, 46769817 edges, 140497 markings/sec, 330 secs
lola: 47464435 markings, 47464435 edges, 138923 markings/sec, 335 secs
lola: 48159095 markings, 48159095 edges, 138932 markings/sec, 340 secs
lola: 48857332 markings, 48857331 edges, 139647 markings/sec, 345 secs
lola: 49557946 markings, 49557945 edges, 140123 markings/sec, 350 secs
lola: 50265507 markings, 50265506 edges, 141512 markings/sec, 355 secs
lola: 50969269 markings, 50969269 edges, 140752 markings/sec, 360 secs
lola: 51655846 markings, 51655845 edges, 137315 markings/sec, 365 secs
lola: 52345992 markings, 52345991 edges, 138029 markings/sec, 370 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 2 1 1 1 unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 2 1 1 1 unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2386424 KB
lola: time consumption: 909 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 380 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p131)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file DoubleExponent-PT-004-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: 3508 markings, 3507 edges
lola: ========================================

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

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

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

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

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

FORMULA DoubleExponent-PT-004-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2659 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p188)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p188)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file DoubleExponent-PT-004-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: 719488 markings, 719488 edges, 143898 markings/sec, 0 secs
lola: 1433438 markings, 1433438 edges, 142790 markings/sec, 5 secs
lola: 2162557 markings, 2162557 edges, 145824 markings/sec, 10 secs
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2264397 markings, 2264396 edges
lola: ========================================

FORMULA DoubleExponent-PT-004-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p109)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p109)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file DoubleExponent-PT-004-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: 4294967295
lola: 572257 markings, 572256 edges, 114451 markings/sec, 0 secs
lola: 1142948 markings, 1142948 edges, 114138 markings/sec, 5 secs
lola: 1710508 markings, 1710507 edges, 113512 markings/sec, 10 secs
lola: 2280718 markings, 2280717 edges, 114042 markings/sec, 15 secs
lola: 2847176 markings, 2847175 edges, 113292 markings/sec, 20 secs
lola: 3414710 markings, 3414710 edges, 113507 markings/sec, 25 secs
lola: 3981230 markings, 3981230 edges, 113304 markings/sec, 30 secs
lola: 4544405 markings, 4544404 edges, 112635 markings/sec, 35 secs
lola: 5101766 markings, 5101766 edges, 111472 markings/sec, 40 secs
lola: 5660692 markings, 5660692 edges, 111785 markings/sec, 45 secs
lola: 6225856 markings, 6225856 edges, 113033 markings/sec, 50 secs
lola: 6787008 markings, 6787007 edges, 112230 markings/sec, 55 secs
lola: 7349927 markings, 7349927 edges, 112584 markings/sec, 60 secs
lola: 7915607 markings, 7915607 edges, 113136 markings/sec, 65 secs
lola: 8478643 markings, 8478642 edges, 112607 markings/sec, 70 secs
lola: 9042983 markings, 9042982 edges, 112868 markings/sec, 75 secs
lola: 9602887 markings, 9602886 edges, 111981 markings/sec, 80 secs
lola: 10162015 markings, 10162015 edges, 111826 markings/sec, 85 secs
lola: 10726532 markings, 10726531 edges, 112903 markings/sec, 90 secs
lola: 11287181 markings, 11287180 edges, 112130 markings/sec, 95 secs
lola: 11847798 markings, 11847798 edges, 112123 markings/sec, 100 secs
lola: 12411660 markings, 12411660 edges, 112772 markings/sec, 105 secs
lola: 12970114 markings, 12970113 edges, 111691 markings/sec, 110 secs
lola: 13527086 markings, 13527086 edges, 111394 markings/sec, 115 secs
lola: 14090710 markings, 14090710 edges, 112725 markings/sec, 120 secs
lola: 14652973 markings, 14652973 edges, 112453 markings/sec, 125 secs
lola: 15212807 markings, 15212807 edges, 111967 markings/sec, 130 secs
lola: 15775808 markings, 15775808 edges, 112600 markings/sec, 135 secs
lola: 16338487 markings, 16338487 edges, 112536 markings/sec, 140 secs
lola: 16896527 markings, 16896526 edges, 111608 markings/sec, 145 secs
lola: 17452598 markings, 17452598 edges, 111214 markings/sec, 150 secs
lola: 18014782 markings, 18014782 edges, 112437 markings/sec, 155 secs
lola: 18576889 markings, 18576889 edges, 112421 markings/sec, 160 secs
lola: 19135303 markings, 19135302 edges, 111683 markings/sec, 165 secs
lola: 19692833 markings, 19692832 edges, 111506 markings/sec, 170 secs
lola: 20253534 markings, 20253534 edges, 112140 markings/sec, 175 secs
lola: 20816899 markings, 20816898 edges, 112673 markings/sec, 180 secs
lola: 21374496 markings, 21374495 edges, 111519 markings/sec, 185 secs
lola: 21929062 markings, 21929062 edges, 110913 markings/sec, 190 secs
lola: 22483350 markings, 22483349 edges, 110858 markings/sec, 195 secs
lola: 23045882 markings, 23045881 edges, 112506 markings/sec, 200 secs
lola: 23609900 markings, 23609900 edges, 112804 markings/sec, 205 secs
lola: 24170698 markings, 24170697 edges, 112160 markings/sec, 210 secs
lola: 24729600 markings, 24729599 edges, 111780 markings/sec, 215 secs
lola: 25290588 markings, 25290588 edges, 112198 markings/sec, 220 secs
lola: 25859001 markings, 25859000 edges, 113683 markings/sec, 225 secs
lola: 26420859 markings, 26420858 edges, 112372 markings/sec, 230 secs
lola: 26976918 markings, 26976918 edges, 111212 markings/sec, 235 secs
lola: 27532380 markings, 27532380 edges, 111092 markings/sec, 240 secs
lola: 28089819 markings, 28089819 edges, 111488 markings/sec, 245 secs
lola: 28652389 markings, 28652389 edges, 112514 markings/sec, 250 secs
lola: 29218767 markings, 29218767 edges, 113276 markings/sec, 255 secs
lola: 29777130 markings, 29777130 edges, 111673 markings/sec, 260 secs
lola: 30332794 markings, 30332793 edges, 111133 markings/sec, 265 secs
lola: 30888511 markings, 30888510 edges, 111143 markings/sec, 270 secs
lola: 31447001 markings, 31447001 edges, 111698 markings/sec, 275 secs
lola: 32008603 markings, 32008603 edges, 112320 markings/sec, 280 secs
lola: 32573100 markings, 32573099 edges, 112899 markings/sec, 285 secs
lola: 33125002 markings, 33125001 edges, 110380 markings/sec, 290 secs
lola: 33665831 markings, 33665831 edges, 108166 markings/sec, 295 secs
lola: 34218372 markings, 34218371 edges, 110508 markings/sec, 300 secs
lola: 34752539 markings, 34752538 edges, 106833 markings/sec, 305 secs
lola: 35309314 markings, 35309314 edges, 111355 markings/sec, 310 secs
lola: 35872837 markings, 35872836 edges, 112705 markings/sec, 315 secs
lola: 36434260 markings, 36434260 edges, 112285 markings/sec, 320 secs
lola: 36986832 markings, 36986832 edges, 110514 markings/sec, 325 secs
lola: 37539471 markings, 37539471 edges, 110528 markings/sec, 330 secs
lola: 38094766 markings, 38094765 edges, 111059 markings/sec, 335 secs
lola: 38651828 markings, 38651828 edges, 111412 markings/sec, 340 secs
lola: 39210100 markings, 39210100 edges, 111654 markings/sec, 345 secs
lola: 39775365 markings, 39775365 edges, 113053 markings/sec, 350 secs
lola: 40335034 markings, 40335033 edges, 111934 markings/sec, 355 secs
lola: 40887862 markings, 40887861 edges, 110566 markings/sec, 360 secs
lola: 41439234 markings, 41439234 edges, 110274 markings/sec, 365 secs
lola: 41973360 markings, 41973360 edges, 106825 markings/sec, 370 secs
lola: 42529375 markings, 42529375 edges, 111203 markings/sec, 375 secs
lola: 43080647 markings, 43080646 edges, 110254 markings/sec, 380 secs
lola: 43641125 markings, 43641124 edges, 112096 markings/sec, 385 secs
lola: 44200906 markings, 44200906 edges, 111956 markings/sec, 390 secs
lola: 44756763 markings, 44756762 edges, 111171 markings/sec, 395 secs
lola: 45309222 markings, 45309221 edges, 110492 markings/sec, 400 secs
lola: 45861968 markings, 45861967 edges, 110549 markings/sec, 405 secs
lola: 46410140 markings, 46410140 edges, 109634 markings/sec, 410 secs
lola: 46967296 markings, 46967296 edges, 111431 markings/sec, 415 secs
lola: 47524849 markings, 47524849 edges, 111511 markings/sec, 420 secs
lola: 48086870 markings, 48086869 edges, 112404 markings/sec, 425 secs
lola: 48639710 markings, 48639709 edges, 110568 markings/sec, 430 secs
lola: 49194692 markings, 49194691 edges, 110996 markings/sec, 435 secs
lola: 49744724 markings, 49744723 edges, 110006 markings/sec, 440 secs
lola: 50297521 markings, 50297520 edges, 110559 markings/sec, 445 secs
lola: 50849018 markings, 50849018 edges, 110299 markings/sec, 450 secs
lola: 51388651 markings, 51388651 edges, 107927 markings/sec, 455 secs
lola: 51941408 markings, 51941407 edges, 110551 markings/sec, 460 secs
lola: 52499476 markings, 52499475 edges, 111614 markings/sec, 465 secs
lola: 53062178 markings, 53062177 edges, 112540 markings/sec, 470 secs
lola: 53621431 markings, 53621431 edges, 111851 markings/sec, 475 secs
lola: 54177303 markings, 54177303 edges, 111174 markings/sec, 480 secs
lola: 54732113 markings, 54732112 edges, 110962 markings/sec, 485 secs
lola: 55268863 markings, 55268862 edges, 107350 markings/sec, 490 secs
lola: 55810644 markings, 55810644 edges, 108356 markings/sec, 495 secs
lola: 56370056 markings, 56370056 edges, 111882 markings/sec, 500 secs
lola: 56929218 markings, 56929218 edges, 111832 markings/sec, 505 secs
lola: 57491393 markings, 57491392 edges, 112435 markings/sec, 510 secs
lola: 58056105 markings, 58056104 edges, 112942 markings/sec, 515 secs
lola: 58615181 markings, 58615180 edges, 111815 markings/sec, 520 secs
lola: 59153309 markings, 59153308 edges, 107626 markings/sec, 525 secs
lola: 59702316 markings, 59702316 edges, 109801 markings/sec, 530 secs
lola: 60256573 markings, 60256573 edges, 110851 markings/sec, 535 secs
lola: 60812717 markings, 60812717 edges, 111229 markings/sec, 540 secs
lola: 61365777 markings, 61365777 edges, 110612 markings/sec, 545 secs
lola: 61921324 markings, 61921323 edges, 111109 markings/sec, 550 secs
lola: 62476847 markings, 62476847 edges, 111105 markings/sec, 555 secs
lola: 63032548 markings, 63032548 edges, 111140 markings/sec, 560 secs
lola: 63592690 markings, 63592689 edges, 112028 markings/sec, 565 secs
lola: 64147413 markings, 64147412 edges, 110945 markings/sec, 570 secs
lola: 64699236 markings, 64699236 edges, 110365 markings/sec, 575 secs
lola: 65251521 markings, 65251520 edges, 110457 markings/sec, 580 secs
lola: 65807579 markings, 65807578 edges, 111212 markings/sec, 585 secs
lola: 66362911 markings, 66362910 edges, 111066 markings/sec, 590 secs
lola: 66919390 markings, 66919390 edges, 111296 markings/sec, 595 secs
lola: 67471274 markings, 67471274 edges, 110377 markings/sec, 600 secs
lola: 68027426 markings, 68027426 edges, 111230 markings/sec, 605 secs
lola: 68589942 markings, 68589941 edges, 112503 markings/sec, 610 secs
lola: 69144845 markings, 69144844 edges, 110981 markings/sec, 615 secs
lola: 69692639 markings, 69692639 edges, 109559 markings/sec, 620 secs
lola: 70241501 markings, 70241501 edges, 109772 markings/sec, 625 secs
lola: 70789807 markings, 70789807 edges, 109661 markings/sec, 630 secs
lola: 71343095 markings, 71343094 edges, 110658 markings/sec, 635 secs
lola: 71896401 markings, 71896400 edges, 110661 markings/sec, 640 secs
lola: 72447148 markings, 72447148 edges, 110149 markings/sec, 645 secs
lola: 72999438 markings, 72999437 edges, 110458 markings/sec, 650 secs
lola: 73547765 markings, 73547764 edges, 109665 markings/sec, 655 secs
lola: 74105785 markings, 74105785 edges, 111604 markings/sec, 660 secs
lola: 74666927 markings, 74666927 edges, 112228 markings/sec, 665 secs
lola: 75217556 markings, 75217556 edges, 110126 markings/sec, 670 secs
lola: 75770987 markings, 75770987 edges, 110686 markings/sec, 675 secs
lola: 76323031 markings, 76323030 edges, 110409 markings/sec, 680 secs
lola: 76875283 markings, 76875282 edges, 110450 markings/sec, 685 secs
lola: 77425425 markings, 77425425 edges, 110028 markings/sec, 690 secs
lola: 77981399 markings, 77981398 edges, 111195 markings/sec, 695 secs
lola: 78537938 markings, 78537937 edges, 111308 markings/sec, 700 secs
lola: 79092743 markings, 79092742 edges, 110961 markings/sec, 705 secs
lola: 79646905 markings, 79646905 edges, 110832 markings/sec, 710 secs
lola: 80200043 markings, 80200043 edges, 110628 markings/sec, 715 secs
lola: 80754413 markings, 80754413 edges, 110874 markings/sec, 720 secs
lola: 81307526 markings, 81307525 edges, 110623 markings/sec, 725 secs
lola: 81851446 markings, 81851446 edges, 108784 markings/sec, 730 secs
lola: 82403005 markings, 82403004 edges, 110312 markings/sec, 735 secs
lola: 82950060 markings, 82950060 edges, 109411 markings/sec, 740 secs
lola: 83501682 markings, 83501682 edges, 110324 markings/sec, 745 secs
lola: 84050388 markings, 84050387 edges, 109741 markings/sec, 750 secs
lola: 84604228 markings, 84604227 edges, 110768 markings/sec, 755 secs
lola: 85158088 markings, 85158088 edges, 110772 markings/sec, 760 secs
lola: 85711295 markings, 85711295 edges, 110641 markings/sec, 765 secs
lola: 86267626 markings, 86267625 edges, 111266 markings/sec, 770 secs
lola: 86831011 markings, 86831010 edges, 112677 markings/sec, 775 secs
lola: 87384823 markings, 87384822 edges, 110762 markings/sec, 780 secs
lola: 87936316 markings, 87936315 edges, 110299 markings/sec, 785 secs
lola: 88487213 markings, 88487213 edges, 110179 markings/sec, 790 secs
lola: 89038777 markings, 89038777 edges, 110313 markings/sec, 795 secs
lola: 89588895 markings, 89588894 edges, 110024 markings/sec, 800 secs
lola: 90142913 markings, 90142913 edges, 110804 markings/sec, 805 secs
lola: 90697213 markings, 90697213 edges, 110860 markings/sec, 810 secs
lola: 91247868 markings, 91247867 edges, 110131 markings/sec, 815 secs
lola: 91797608 markings, 91797607 edges, 109948 markings/sec, 820 secs
lola: 92350181 markings, 92350181 edges, 110515 markings/sec, 825 secs
lola: 92905993 markings, 92905993 edges, 111162 markings/sec, 830 secs
lola: 93453726 markings, 93453725 edges, 109547 markings/sec, 835 secs
lola: 93995564 markings, 93995564 edges, 108368 markings/sec, 840 secs
lola: 94534079 markings, 94534079 edges, 107703 markings/sec, 845 secs
lola: 95057105 markings, 95057105 edges, 104605 markings/sec, 850 secs
lola: 95598742 markings, 95598742 edges, 108327 markings/sec, 855 secs
lola: 96135898 markings, 96135898 edges, 107431 markings/sec, 860 secs
lola: 96682097 markings, 96682096 edges, 109240 markings/sec, 865 secs
lola: 97222093 markings, 97222093 edges, 107999 markings/sec, 870 secs
lola: 97770296 markings, 97770296 edges, 109641 markings/sec, 875 secs
lola: 98311850 markings, 98311850 edges, 108311 markings/sec, 880 secs
lola: 98857783 markings, 98857783 edges, 109187 markings/sec, 885 secs
lola: 99401837 markings, 99401837 edges, 108811 markings/sec, 890 secs
lola: 99948032 markings, 99948032 edges, 109239 markings/sec, 895 secs
lola: 100501429 markings, 100501428 edges, 110679 markings/sec, 900 secs
lola: 101054732 markings, 101054731 edges, 110661 markings/sec, 905 secs
lola: 101600411 markings, 101600410 edges, 109136 markings/sec, 910 secs
lola: 102142516 markings, 102142515 edges, 108421 markings/sec, 915 secs
lola: 102683775 markings, 102683775 edges, 108252 markings/sec, 920 secs
lola: 103225764 markings, 103225763 edges, 108398 markings/sec, 925 secs
lola: 103768997 markings, 103768996 edges, 108647 markings/sec, 930 secs
lola: 104308677 markings, 104308676 edges, 107936 markings/sec, 935 secs
lola: 104849300 markings, 104849300 edges, 108125 markings/sec, 940 secs
lola: 105385054 markings, 105385053 edges, 107151 markings/sec, 945 secs
lola: 105929480 markings, 105929479 edges, 108885 markings/sec, 950 secs
lola: 106473430 markings, 106473429 edges, 108790 markings/sec, 955 secs
lola: 107006243 markings, 107006243 edges, 106563 markings/sec, 960 secs
lola: 107558473 markings, 107558473 edges, 110446 markings/sec, 965 secs
lola: 108115692 markings, 108115692 edges, 111444 markings/sec, 970 secs
lola: 108649331 markings, 108649331 edges, 106728 markings/sec, 975 secs
lola: 109193857 markings, 109193856 edges, 108905 markings/sec, 980 secs
lola: 109728154 markings, 109728153 edges, 106859 markings/sec, 985 secs
lola: 110275534 markings, 110275533 edges, 109476 markings/sec, 990 secs
lola: 110823863 markings, 110823862 edges, 109666 markings/sec, 995 secs
lola: 111372337 markings, 111372336 edges, 109695 markings/sec, 1000 secs
lola: 111923818 markings, 111923818 edges, 110296 markings/sec, 1005 secs
lola: 112475291 markings, 112475290 edges, 110295 markings/sec, 1010 secs
lola: 113025655 markings, 113025655 edges, 110073 markings/sec, 1015 secs
lola: 113577599 markings, 113577599 edges, 110389 markings/sec, 1020 secs
lola: 114128944 markings, 114128943 edges, 110269 markings/sec, 1025 secs
lola: 114682054 markings, 114682054 edges, 110622 markings/sec, 1030 secs
lola: 115240143 markings, 115240143 edges, 111618 markings/sec, 1035 secs
lola: 115801487 markings, 115801486 edges, 112269 markings/sec, 1040 secs
lola: 116360060 markings, 116360060 edges, 111715 markings/sec, 1045 secs
lola: 116911457 markings, 116911456 edges, 110279 markings/sec, 1050 secs
lola: 117462359 markings, 117462359 edges, 110180 markings/sec, 1055 secs
lola: 118014733 markings, 118014733 edges, 110475 markings/sec, 1060 secs
lola: 118554905 markings, 118554904 edges, 108034 markings/sec, 1065 secs
lola: 119108717 markings, 119108716 edges, 110762 markings/sec, 1070 secs
lola: 119661586 markings, 119661586 edges, 110574 markings/sec, 1075 secs
lola: 120207498 markings, 120207497 edges, 109182 markings/sec, 1080 secs
lola: 120758367 markings, 120758367 edges, 110174 markings/sec, 1085 secs
lola: 121307888 markings, 121307887 edges, 109904 markings/sec, 1090 secs
lola: 121858716 markings, 121858715 edges, 110166 markings/sec, 1095 secs
lola: 122410344 markings, 122410344 edges, 110326 markings/sec, 1100 secs
lola: 122962830 markings, 122962829 edges, 110497 markings/sec, 1105 secs
lola: 123520541 markings, 123520541 edges, 111542 markings/sec, 1110 secs
lola: 124083549 markings, 124083548 edges, 112602 markings/sec, 1115 secs
lola: 124637261 markings, 124637261 edges, 110742 markings/sec, 1120 secs
lola: 125184446 markings, 125184446 edges, 109437 markings/sec, 1125 secs
lola: 125731063 markings, 125731063 edges, 109323 markings/sec, 1130 secs
lola: 126278242 markings, 126278241 edges, 109436 markings/sec, 1135 secs
lola: 126826077 markings, 126826076 edges, 109567 markings/sec, 1140 secs
lola: 127373985 markings, 127373984 edges, 109582 markings/sec, 1145 secs
lola: 127920725 markings, 127920725 edges, 109348 markings/sec, 1150 secs
lola: 128466477 markings, 128466476 edges, 109150 markings/sec, 1155 secs
lola: 129013726 markings, 129013726 edges, 109450 markings/sec, 1160 secs
lola: 129559368 markings, 129559367 edges, 109128 markings/sec, 1165 secs
lola: 130105871 markings, 130105870 edges, 109301 markings/sec, 1170 secs
lola: 130654070 markings, 130654070 edges, 109640 markings/sec, 1175 secs
lola: 131202930 markings, 131202930 edges, 109772 markings/sec, 1180 secs
lola: 131754354 markings, 131754353 edges, 110285 markings/sec, 1185 secs
lola: 132310137 markings, 132310136 edges, 111157 markings/sec, 1190 secs
lola: 132869403 markings, 132869403 edges, 111853 markings/sec, 1195 secs
lola: 133423600 markings, 133423600 edges, 110839 markings/sec, 1200 secs
lola: 133971609 markings, 133971609 edges, 109602 markings/sec, 1205 secs
lola: 134517988 markings, 134517988 edges, 109276 markings/sec, 1210 secs
lola: 135065700 markings, 135065699 edges, 109542 markings/sec, 1215 secs
lola: 135617856 markings, 135617856 edges, 110431 markings/sec, 1220 secs
lola: 136167661 markings, 136167660 edges, 109961 markings/sec, 1225 secs
lola: 136717405 markings, 136717404 edges, 109949 markings/sec, 1230 secs
lola: 137265544 markings, 137265544 edges, 109628 markings/sec, 1235 secs
lola: 137816453 markings, 137816453 edges, 110182 markings/sec, 1240 secs
lola: 138356206 markings, 138356206 edges, 107951 markings/sec, 1245 secs
lola: 138908071 markings, 138908071 edges, 110373 markings/sec, 1250 secs
lola: 139458974 markings, 139458974 edges, 110181 markings/sec, 1255 secs
lola: 139998213 markings, 139998213 edges, 107848 markings/sec, 1260 secs
lola: 140557172 markings, 140557171 edges, 111792 markings/sec, 1265 secs
lola: 141117963 markings, 141117962 edges, 112158 markings/sec, 1270 secs
lola: 141675653 markings, 141675653 edges, 111538 markings/sec, 1275 secs
lola: 142229054 markings, 142229053 edges, 110680 markings/sec, 1280 secs
lola: 142779744 markings, 142779744 edges, 110138 markings/sec, 1285 secs
lola: 143330108 markings, 143330107 edges, 110073 markings/sec, 1290 secs
lola: 143881177 markings, 143881177 edges, 110214 markings/sec, 1295 secs
lola: 144434714 markings, 144434714 edges, 110707 markings/sec, 1300 secs
lola: 144989055 markings, 144989054 edges, 110868 markings/sec, 1305 secs
lola: 145540628 markings, 145540627 edges, 110315 markings/sec, 1310 secs
lola: 146090195 markings, 146090195 edges, 109913 markings/sec, 1315 secs
lola: 146639278 markings, 146639277 edges, 109817 markings/sec, 1320 secs
lola: 147189850 markings, 147189849 edges, 110114 markings/sec, 1325 secs
lola: 147740739 markings, 147740739 edges, 110178 markings/sec, 1330 secs
lola: 148292862 markings, 148292861 edges, 110425 markings/sec, 1335 secs
lola: 148847371 markings, 148847370 edges, 110902 markings/sec, 1340 secs
lola: 149401884 markings, 149401884 edges, 110903 markings/sec, 1345 secs
lola: 149958894 markings, 149958894 edges, 111402 markings/sec, 1350 secs
lola: 150517986 markings, 150517986 edges, 111818 markings/sec, 1355 secs
lola: 151082548 markings, 151082547 edges, 112912 markings/sec, 1360 secs
lola: 151642872 markings, 151642871 edges, 112065 markings/sec, 1365 secs
lola: 152195284 markings, 152195284 edges, 110482 markings/sec, 1370 secs
lola: 152747133 markings, 152747133 edges, 110370 markings/sec, 1375 secs
lola: 153298227 markings, 153298226 edges, 110219 markings/sec, 1380 secs
lola: 153851993 markings, 153851993 edges, 110753 markings/sec, 1385 secs
lola: 154406823 markings, 154406823 edges, 110966 markings/sec, 1390 secs
lola: 154959637 markings, 154959637 edges, 110563 markings/sec, 1395 secs
lola: 155510694 markings, 155510694 edges, 110211 markings/sec, 1400 secs
lola: 156061666 markings, 156061666 edges, 110194 markings/sec, 1405 secs
lola: 156611271 markings, 156611271 edges, 109921 markings/sec, 1410 secs
lola: 157161397 markings, 157161397 edges, 110025 markings/sec, 1415 secs
lola: 157711639 markings, 157711638 edges, 110048 markings/sec, 1420 secs
lola: 158263172 markings, 158263172 edges, 110307 markings/sec, 1425 secs
lola: 158816315 markings, 158816315 edges, 110629 markings/sec, 1430 secs
lola: 159369236 markings, 159369235 edges, 110584 markings/sec, 1435 secs
lola: 159925238 markings, 159925237 edges, 111200 markings/sec, 1440 secs
lola: 160486379 markings, 160486379 edges, 112228 markings/sec, 1445 secs
lola: 161046525 markings, 161046525 edges, 112029 markings/sec, 1450 secs
lola: 161602171 markings, 161602171 edges, 111129 markings/sec, 1455 secs
lola: 162150163 markings, 162150162 edges, 109598 markings/sec, 1460 secs
lola: 162691602 markings, 162691602 edges, 108288 markings/sec, 1465 secs
lola: 163232887 markings, 163232886 edges, 108257 markings/sec, 1470 secs
lola: 163776594 markings, 163776593 edges, 108741 markings/sec, 1475 secs
lola: 164319514 markings, 164319513 edges, 108584 markings/sec, 1480 secs
lola: 164861662 markings, 164861662 edges, 108430 markings/sec, 1485 secs
lola: 165402967 markings, 165402967 edges, 108261 markings/sec, 1490 secs
lola: 165942377 markings, 165942377 edges, 107882 markings/sec, 1495 secs
lola: 166480204 markings, 166480204 edges, 107565 markings/sec, 1500 secs
lola: 167021103 markings, 167021102 edges, 108180 markings/sec, 1505 secs
lola: 167564832 markings, 167564831 edges, 108746 markings/sec, 1510 secs
lola: 168107218 markings, 168107218 edges, 108477 markings/sec, 1515 secs
lola: 168657867 markings, 168657867 edges, 110130 markings/sec, 1520 secs
lola: 169208268 markings, 169208268 edges, 110080 markings/sec, 1525 secs
lola: 169759676 markings, 169759675 edges, 110282 markings/sec, 1530 secs
lola: 170317208 markings, 170317208 edges, 111506 markings/sec, 1535 secs
lola: 170875828 markings, 170875827 edges, 111724 markings/sec, 1540 secs
lola: 171437064 markings, 171437063 edges, 112247 markings/sec, 1545 secs
lola: 171989166 markings, 171989166 edges, 110420 markings/sec, 1550 secs
lola: 172539362 markings, 172539362 edges, 110039 markings/sec, 1555 secs
lola: 173090606 markings, 173090606 edges, 110249 markings/sec, 1560 secs
lola: 173637002 markings, 173637002 edges, 109279 markings/sec, 1565 secs
lola: 174182942 markings, 174182941 edges, 109188 markings/sec, 1570 secs
lola: 174734768 markings, 174734767 edges, 110365 markings/sec, 1575 secs
lola: 175277908 markings, 175277908 edges, 108628 markings/sec, 1580 secs
lola: 175828067 markings, 175828067 edges, 110032 markings/sec, 1585 secs
lola: 176374346 markings, 176374345 edges, 109256 markings/sec, 1590 secs
lola: 176913662 markings, 176913662 edges, 107863 markings/sec, 1595 secs
lola: 177456682 markings, 177456682 edges, 108604 markings/sec, 1600 secs
lola: 177984952 markings, 177984952 edges, 105654 markings/sec, 1605 secs
lola: 178532976 markings, 178532976 edges, 109605 markings/sec, 1610 secs
lola: 179080979 markings, 179080978 edges, 109601 markings/sec, 1615 secs
lola: 179628435 markings, 179628435 edges, 109491 markings/sec, 1620 secs
lola: 180175476 markings, 180175475 edges, 109408 markings/sec, 1625 secs
lola: 180720229 markings, 180720228 edges, 108951 markings/sec, 1630 secs
lola: 181273850 markings, 181273849 edges, 110724 markings/sec, 1635 secs
lola: 181824483 markings, 181824483 edges, 110127 markings/sec, 1640 secs
lola: 182372495 markings, 182372494 edges, 109602 markings/sec, 1645 secs
lola: 182918111 markings, 182918110 edges, 109123 markings/sec, 1650 secs
lola: 183460881 markings, 183460880 edges, 108554 markings/sec, 1655 secs
lola: 184005553 markings, 184005553 edges, 108934 markings/sec, 1660 secs
lola: 184548301 markings, 184548301 edges, 108550 markings/sec, 1665 secs
lola: 185070172 markings, 185070171 edges, 104374 markings/sec, 1670 secs
lola: 185613461 markings, 185613461 edges, 108658 markings/sec, 1675 secs
lola: 186151502 markings, 186151502 edges, 107608 markings/sec, 1680 secs
lola: 186682341 markings, 186682341 edges, 106168 markings/sec, 1685 secs
lola: 187197588 markings, 187197588 edges, 103049 markings/sec, 1690 secs
lola: 187719242 markings, 187719242 edges, 104331 markings/sec, 1695 secs
lola: 188257782 markings, 188257781 edges, 107708 markings/sec, 1700 secs
lola: 188799904 markings, 188799903 edges, 108424 markings/sec, 1705 secs
lola: 189342906 markings, 189342905 edges, 108600 markings/sec, 1710 secs
lola: 189892212 markings, 189892211 edges, 109861 markings/sec, 1715 secs
lola: 190441620 markings, 190441620 edges, 109882 markings/sec, 1720 secs
lola: 190992687 markings, 190992686 edges, 110213 markings/sec, 1725 secs
lola: 191542767 markings, 191542767 edges, 110016 markings/sec, 1730 secs
lola: 192096881 markings, 192096881 edges, 110823 markings/sec, 1735 secs
lola: 192653263 markings, 192653263 edges, 111276 markings/sec, 1740 secs
lola: 193211451 markings, 193211450 edges, 111638 markings/sec, 1745 secs
lola: 193765588 markings, 193765587 edges, 110827 markings/sec, 1750 secs
lola: 194314889 markings, 194314888 edges, 109860 markings/sec, 1755 secs
lola: 194860127 markings, 194860126 edges, 109048 markings/sec, 1760 secs
lola: 195398261 markings, 195398260 edges, 107627 markings/sec, 1765 secs
lola: 195947266 markings, 195947265 edges, 109801 markings/sec, 1770 secs
lola: 196493303 markings, 196493303 edges, 109207 markings/sec, 1775 secs
lola: 197038705 markings, 197038705 edges, 109080 markings/sec, 1780 secs
lola: 197582665 markings, 197582665 edges, 108792 markings/sec, 1785 secs
lola: 198123354 markings, 198123354 edges, 108138 markings/sec, 1790 secs
lola: 198665353 markings, 198665353 edges, 108400 markings/sec, 1795 secs
lola: 199216427 markings, 199216427 edges, 110215 markings/sec, 1800 secs
lola: 199769669 markings, 199769669 edges, 110648 markings/sec, 1805 secs
lola: 200318264 markings, 200318264 edges, 109719 markings/sec, 1810 secs
lola: 200863803 markings, 200863802 edges, 109108 markings/sec, 1815 secs
lola: 201412661 markings, 201412660 edges, 109772 markings/sec, 1820 secs
lola: 201964698 markings, 201964697 edges, 110407 markings/sec, 1825 secs
lola: 202517710 markings, 202517709 edges, 110602 markings/sec, 1830 secs
lola: 203072903 markings, 203072903 edges, 111039 markings/sec, 1835 secs
lola: 203633650 markings, 203633649 edges, 112149 markings/sec, 1840 secs
lola: 204195035 markings, 204195034 edges, 112277 markings/sec, 1845 secs
lola: 204745255 markings, 204745255 edges, 110044 markings/sec, 1850 secs
lola: 205298143 markings, 205298143 edges, 110578 markings/sec, 1855 secs
lola: 205847520 markings, 205847519 edges, 109875 markings/sec, 1860 secs
lola: 206393692 markings, 206393691 edges, 109234 markings/sec, 1865 secs
lola: 206939789 markings, 206939789 edges, 109219 markings/sec, 1870 secs
lola: 207481550 markings, 207481550 edges, 108352 markings/sec, 1875 secs
lola: 208019593 markings, 208019592 edges, 107609 markings/sec, 1880 secs
lola: 208561964 markings, 208561963 edges, 108474 markings/sec, 1885 secs
lola: 209105200 markings, 209105200 edges, 108647 markings/sec, 1890 secs
lola: 209646918 markings, 209646918 edges, 108344 markings/sec, 1895 secs
lola: 210184930 markings, 210184929 edges, 107602 markings/sec, 1900 secs
lola: 210728471 markings, 210728470 edges, 108708 markings/sec, 1905 secs
lola: 211270261 markings, 211270260 edges, 108358 markings/sec, 1910 secs
lola: 211810039 markings, 211810039 edges, 107956 markings/sec, 1915 secs
lola: 212340199 markings, 212340198 edges, 106032 markings/sec, 1920 secs
lola: 212879467 markings, 212879466 edges, 107854 markings/sec, 1925 secs
lola: 213422213 markings, 213422212 edges, 108549 markings/sec, 1930 secs
lola: 213966631 markings, 213966630 edges, 108884 markings/sec, 1935 secs
lola: 214508950 markings, 214508949 edges, 108464 markings/sec, 1940 secs
lola: 215056430 markings, 215056430 edges, 109496 markings/sec, 1945 secs
lola: 215608674 markings, 215608673 edges, 110449 markings/sec, 1950 secs
lola: 216163242 markings, 216163242 edges, 110914 markings/sec, 1955 secs
lola: 216705320 markings, 216705319 edges, 108416 markings/sec, 1960 secs
lola: 217244796 markings, 217244795 edges, 107895 markings/sec, 1965 secs
lola: 217782064 markings, 217782063 edges, 107454 markings/sec, 1970 secs
lola: 218322748 markings, 218322748 edges, 108137 markings/sec, 1975 secs
lola: 218868802 markings, 218868801 edges, 109211 markings/sec, 1980 secs
lola: 219411256 markings, 219411255 edges, 108491 markings/sec, 1985 secs
lola: 219955161 markings, 219955161 edges, 108781 markings/sec, 1990 secs
lola: 220505592 markings, 220505591 edges, 110086 markings/sec, 1995 secs
lola: 221056124 markings, 221056123 edges, 110106 markings/sec, 2000 secs
lola: 221605076 markings, 221605075 edges, 109790 markings/sec, 2005 secs
lola: 222153379 markings, 222153379 edges, 109661 markings/sec, 2010 secs
lola: 222696608 markings, 222696607 edges, 108646 markings/sec, 2015 secs
lola: 223228024 markings, 223228023 edges, 106283 markings/sec, 2020 secs
lola: 223764132 markings, 223764131 edges, 107222 markings/sec, 2025 secs
lola: 224294875 markings, 224294875 edges, 106149 markings/sec, 2030 secs
lola: 224843258 markings, 224843258 edges, 109677 markings/sec, 2035 secs
lola: 225397364 markings, 225397363 edges, 110821 markings/sec, 2040 secs
lola: 225949016 markings, 225949015 edges, 110330 markings/sec, 2045 secs
lola: 226495750 markings, 226495749 edges, 109347 markings/sec, 2050 secs
lola: 227044437 markings, 227044436 edges, 109737 markings/sec, 2055 secs
lola: 227601807 markings, 227601806 edges, 111474 markings/sec, 2060 secs
lola: 228161354 markings, 228161353 edges, 111909 markings/sec, 2065 secs
lola: 228715121 markings, 228715120 edges, 110753 markings/sec, 2070 secs
lola: 229264180 markings, 229264180 edges, 109812 markings/sec, 2075 secs
lola: 229811828 markings, 229811828 edges, 109530 markings/sec, 2080 secs
lola: 230354756 markings, 230354756 edges, 108586 markings/sec, 2085 secs
lola: 230901253 markings, 230901253 edges, 109299 markings/sec, 2090 secs
lola: 231446263 markings, 231446262 edges, 109002 markings/sec, 2095 secs
lola: 231988908 markings, 231988907 edges, 108529 markings/sec, 2100 secs
lola: 232529670 markings, 232529669 edges, 108152 markings/sec, 2105 secs
lola: 233069113 markings, 233069112 edges, 107889 markings/sec, 2110 secs
lola: 233599701 markings, 233599701 edges, 106118 markings/sec, 2115 secs
lola: 234140512 markings, 234140511 edges, 108162 markings/sec, 2120 secs
lola: 234682752 markings, 234682752 edges, 108448 markings/sec, 2125 secs
lola: 235232400 markings, 235232399 edges, 109930 markings/sec, 2130 secs
lola: 235778067 markings, 235778067 edges, 109133 markings/sec, 2135 secs
lola: 236308506 markings, 236308505 edges, 106088 markings/sec, 2140 secs
lola: 236857848 markings, 236857847 edges, 109868 markings/sec, 2145 secs
lola: 237403051 markings, 237403051 edges, 109041 markings/sec, 2150 secs
lola: 237947029 markings, 237947029 edges, 108796 markings/sec, 2155 secs
lola: 238493408 markings, 238493408 edges, 109276 markings/sec, 2160 secs
lola: 239039170 markings, 239039169 edges, 109152 markings/sec, 2165 secs
lola: 239592993 markings, 239592992 edges, 110765 markings/sec, 2170 secs
lola: 240150780 markings, 240150779 edges, 111557 markings/sec, 2175 secs
lola: 240713196 markings, 240713195 edges, 112483 markings/sec, 2180 secs
lola: 241270219 markings, 241270218 edges, 111405 markings/sec, 2185 secs
lola: 241823960 markings, 241823960 edges, 110748 markings/sec, 2190 secs
lola: 242376145 markings, 242376144 edges, 110437 markings/sec, 2195 secs
lola: 242929275 markings, 242929274 edges, 110626 markings/sec, 2200 secs
lola: 243480887 markings, 243480886 edges, 110322 markings/sec, 2205 secs
lola: 244031291 markings, 244031291 edges, 110081 markings/sec, 2210 secs
lola: 244576572 markings, 244576571 edges, 109056 markings/sec, 2215 secs
lola: 245119386 markings, 245119386 edges, 108563 markings/sec, 2220 secs
lola: 245658970 markings, 245658969 edges, 107917 markings/sec, 2225 secs
lola: 246199545 markings, 246199544 edges, 108115 markings/sec, 2230 secs
lola: 246740675 markings, 246740674 edges, 108226 markings/sec, 2235 secs
lola: 247282242 markings, 247282242 edges, 108313 markings/sec, 2240 secs
lola: 247822299 markings, 247822299 edges, 108011 markings/sec, 2245 secs
lola: 248360991 markings, 248360990 edges, 107738 markings/sec, 2250 secs
lola: 248903286 markings, 248903286 edges, 108459 markings/sec, 2255 secs
lola: 249446630 markings, 249446629 edges, 108669 markings/sec, 2260 secs
lola: 249988720 markings, 249988719 edges, 108418 markings/sec, 2265 secs
lola: 250529388 markings, 250529387 edges, 108134 markings/sec, 2270 secs
lola: 251072180 markings, 251072179 edges, 108558 markings/sec, 2275 secs
lola: 251605381 markings, 251605381 edges, 106640 markings/sec, 2280 secs
lola: 252147729 markings, 252147729 edges, 108470 markings/sec, 2285 secs
lola: 252686496 markings, 252686495 edges, 107753 markings/sec, 2290 secs
lola: 253215154 markings, 253215154 edges, 105732 markings/sec, 2295 secs
lola: 253765560 markings, 253765560 edges, 110081 markings/sec, 2300 secs
lola: 254318031 markings, 254318030 edges, 110494 markings/sec, 2305 secs
lola: 254861504 markings, 254861503 edges, 108695 markings/sec, 2310 secs
lola: 255397535 markings, 255397535 edges, 107206 markings/sec, 2315 secs
lola: 255943048 markings, 255943048 edges, 109103 markings/sec, 2320 secs
lola: 256487527 markings, 256487527 edges, 108896 markings/sec, 2325 secs
lola: 257030871 markings, 257030870 edges, 108669 markings/sec, 2330 secs
lola: 257572914 markings, 257572914 edges, 108409 markings/sec, 2335 secs
lola: 258117394 markings, 258117393 edges, 108896 markings/sec, 2340 secs
lola: 258660298 markings, 258660298 edges, 108581 markings/sec, 2345 secs
lola: 259197383 markings, 259197383 edges, 107417 markings/sec, 2350 secs
lola: 259734762 markings, 259734762 edges, 107476 markings/sec, 2355 secs
lola: 260271922 markings, 260271921 edges, 107432 markings/sec, 2360 secs
lola: 260807526 markings, 260807525 edges, 107121 markings/sec, 2365 secs
lola: 261339727 markings, 261339726 edges, 106440 markings/sec, 2370 secs
lola: 261884580 markings, 261884579 edges, 108971 markings/sec, 2375 secs
lola: 262427985 markings, 262427984 edges, 108681 markings/sec, 2380 secs
lola: 262945455 markings, 262945454 edges, 103494 markings/sec, 2385 secs
lola: 263491151 markings, 263491151 edges, 109139 markings/sec, 2390 secs
lola: 264034628 markings, 264034628 edges, 108695 markings/sec, 2395 secs
lola: 264577528 markings, 264577528 edges, 108580 markings/sec, 2400 secs
lola: 265122429 markings, 265122429 edges, 108980 markings/sec, 2405 secs
lola: 265655161 markings, 265655161 edges, 106546 markings/sec, 2410 secs
lola: 266203602 markings, 266203601 edges, 109688 markings/sec, 2415 secs
lola: 266758150 markings, 266758150 edges, 110910 markings/sec, 2420 secs
lola: 267313377 markings, 267313377 edges, 111045 markings/sec, 2425 secs
lola: 267869010 markings, 267869009 edges, 111127 markings/sec, 2430 secs
lola: 268418162 markings, 268418161 edges, 109830 markings/sec, 2435 secs
lola: 268961599 markings, 268961599 edges, 108687 markings/sec, 2440 secs
lola: 269505858 markings, 269505857 edges, 108852 markings/sec, 2445 secs
lola: 270051695 markings, 270051695 edges, 109167 markings/sec, 2450 secs
lola: 270598111 markings, 270598111 edges, 109283 markings/sec, 2455 secs
lola: 271141158 markings, 271141158 edges, 108609 markings/sec, 2460 secs
lola: 271684058 markings, 271684058 edges, 108580 markings/sec, 2465 secs
lola: 272231223 markings, 272231222 edges, 109433 markings/sec, 2470 secs
lola: 272778696 markings, 272778696 edges, 109495 markings/sec, 2475 secs
lola: 273326358 markings, 273326357 edges, 109532 markings/sec, 2480 secs
lola: 273876358 markings, 273876357 edges, 110000 markings/sec, 2485 secs
lola: 274425646 markings, 274425646 edges, 109858 markings/sec, 2490 secs
lola: 274974027 markings, 274974027 edges, 109676 markings/sec, 2495 secs
lola: 275526132 markings, 275526131 edges, 110421 markings/sec, 2500 secs
lola: 276077387 markings, 276077387 edges, 110251 markings/sec, 2505 secs
lola: 276627924 markings, 276627923 edges, 110107 markings/sec, 2510 secs
lola: 277181783 markings, 277181783 edges, 110772 markings/sec, 2515 secs
lola: 277733389 markings, 277733389 edges, 110321 markings/sec, 2520 secs
lola: 278273307 markings, 278273307 edges, 107984 markings/sec, 2525 secs
lola: 278826882 markings, 278826881 edges, 110715 markings/sec, 2530 secs
lola: 279379415 markings, 279379414 edges, 110507 markings/sec, 2535 secs
lola: 279932728 markings, 279932728 edges, 110663 markings/sec, 2540 secs
lola: 280485271 markings, 280485270 edges, 110509 markings/sec, 2545 secs
lola: 281044453 markings, 281044452 edges, 111836 markings/sec, 2550 secs
lola: 281607123 markings, 281607123 edges, 112534 markings/sec, 2555 secs
lola: 282165110 markings, 282165110 edges, 111597 markings/sec, 2560 secs
lola: 282715364 markings, 282715363 edges, 110051 markings/sec, 2565 secs
lola: 283263771 markings, 283263770 edges, 109681 markings/sec, 2570 secs
lola: 283813176 markings, 283813175 edges, 109881 markings/sec, 2575 secs
lola: 284363921 markings, 284363921 edges, 110149 markings/sec, 2580 secs
lola: 284914542 markings, 284914542 edges, 110124 markings/sec, 2585 secs
lola: 285462561 markings, 285462560 edges, 109604 markings/sec, 2590 secs
lola: 286009756 markings, 286009756 edges, 109439 markings/sec, 2595 secs
lola: 286556111 markings, 286556110 edges, 109271 markings/sec, 2600 secs
lola: 287102158 markings, 287102158 edges, 109209 markings/sec, 2605 secs
lola: 287649152 markings, 287649151 edges, 109399 markings/sec, 2610 secs
lola: 288196768 markings, 288196767 edges, 109523 markings/sec, 2615 secs
lola: 288744900 markings, 288744900 edges, 109626 markings/sec, 2620 secs
lola: 289292928 markings, 289292927 edges, 109606 markings/sec, 2625 secs
lola: 289841036 markings, 289841035 edges, 109622 markings/sec, 2630 secs
lola: 290382042 markings, 290382041 edges, 108201 markings/sec, 2635 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 2 1 1 1 unknown 1 1 unknown 1 1 1 1 1 1 1
lola:
preliminary result: unknown 2 1 1 1 unknown 1 1 unknown 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 2 1 1 1 unknown 1 1 unknown 1 1 1 1 1 1 1
lola: memory consumption: 18496 KB
lola: time consumption: 3570 seconds

BK_STOP 1552933262887

--------------------
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="DoubleExponent-PT-004"
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 DoubleExponent-PT-004, 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 r066-ebro-155234666600157"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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