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-155246565800160.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 GlobalResAllocation-COL-06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-155246565800160
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 4.6K Feb 11 01:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 11 01:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 7 01:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 7 01:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 113 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 351 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 4 23:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 23:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.9K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 3 08:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 08:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jan 31 03:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 31 03:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 28K 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 GlobalResAllocation-COL-06-UpperBounds-00
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-01
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-02
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-03
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-04
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-05
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-06
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-07
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-08
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-09
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-10
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-11
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-12
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-13
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-14
FORMULA_NAME GlobalResAllocation-COL-06-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552866985435

info: Time: 3600 - MCC
===========================================================================================
prep: translating GlobalResAllocation-COL-06 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating GlobalResAllocation-COL-06 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ GlobalResAllocation-COL-06 @ 2942 seconds
lola: LoLA will run for 2942 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 136764/65536 symbol table entries, 111398 collisions
lola: preprocessing...
lola: Size of bit vector: 3264
lola: finding significant places
lola: 102 places, 136662 transitions, 78 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5250 transition conflict sets
lola: TASK
lola: reading formula from GlobalResAllocation-COL-06-UpperBounds.task
lola: MAX(p12 + p13 + p14 + p15 + p16 + p17) : MAX(p12 + p13 + p14 + p15 + p16 + p17) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11) : MAX(p100 + p101 + p96 + p97 + p98 + p99) : MAX(p12 + p13 + p14 + p15 + p16 + p17) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11) : MAX(p12 + p13 + p14 + p15 + p16 + p17) : MAX(p93 + p92 + p91 + p90 + p94 + p95) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11) : MAX(p93 + p92 + p91 + p90 + p94 + p95) : MAX(p93 + p92 + p91 + p90 + p94 + p95) : MAX(p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p76 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p65 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p53 + p41 + p29) : MAX(p93 + p92 + p91 + p90 + p94 + p95)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 173 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p12 + p13 + p14 + p15 + p16 + p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p12 + p13 + p14 + p15 + p16 + p17)
lola: processed formula length: 38
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 1 markings, 0 edges, 0 markings/sec, 30 secs
lola: 34 markings, 37 edges, 7 markings/sec, 35 secs
lola: 233 markings, 296 edges, 40 markings/sec, 40 secs
lola: 428 markings, 552 edges, 39 markings/sec, 45 secs
lola: 622 markings, 815 edges, 39 markings/sec, 50 secs
lola: 784 markings, 1032 edges, 32 markings/sec, 55 secs
lola: 962 markings, 1266 edges, 36 markings/sec, 60 secs
lola: 1136 markings, 1501 edges, 35 markings/sec, 65 secs
lola: 1343 markings, 1771 edges, 41 markings/sec, 70 secs
lola: 1549 markings, 2046 edges, 41 markings/sec, 75 secs
lola: 1773 markings, 2359 edges, 45 markings/sec, 80 secs
lola: 1946 markings, 2589 edges, 35 markings/sec, 85 secs
lola: 2157 markings, 2885 edges, 42 markings/sec, 90 secs
lola: 2343 markings, 3135 edges, 37 markings/sec, 95 secs
lola: 2511 markings, 3360 edges, 34 markings/sec, 100 secs
lola: 2702 markings, 3626 edges, 38 markings/sec, 105 secs
lola: 2912 markings, 3897 edges, 42 markings/sec, 110 secs
lola: 3145 markings, 4209 edges, 47 markings/sec, 115 secs
lola: 3364 markings, 4502 edges, 44 markings/sec, 120 secs
lola: 3567 markings, 4785 edges, 41 markings/sec, 125 secs
lola: 3842 markings, 5167 edges, 55 markings/sec, 130 secs
lola: 4095 markings, 5513 edges, 51 markings/sec, 135 secs
lola: 4290 markings, 5780 edges, 39 markings/sec, 140 secs
lola: 4504 markings, 6068 edges, 43 markings/sec, 145 secs
lola: 4779 markings, 6435 edges, 55 markings/sec, 150 secs
lola: 5021 markings, 6783 edges, 48 markings/sec, 155 secs
lola: 5194 markings, 7012 edges, 35 markings/sec, 160 secs
lola: 5368 markings, 7244 edges, 35 markings/sec, 165 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: 3364704 KB
lola: time consumption: 345 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 173 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p12 + p13 + p14 + p15 + p16 + p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p12 + p13 + p14 + p15 + p16 + p17)
lola: processed formula length: 38
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
check_solution: Constraint R2 = 0 is above its equality of -1
check_solution: Constraint R3 = 0 is above its equality of -1
check_solution: Constraint R4 = 0 is above its equality of -1
check_solution: Constraint R5 = 0 is above its equality of -1
check_solution: Constraint R6 = 0 is above its equality of -1
check_solution: Constraint R7 = 0 is above its equality of -1
check_solution: Constraint R8 = 0 is above its equality of -1
check_solution: Constraint R9 = 0 is above its equality of -1
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R11 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)
check_solution: Constraint R2 = 0 is above its equality of -1
check_solution: Constraint R3 = 0 is above its equality of -1
check_solution: Constraint R4 = 0 is above its equality of -1
check_solution: Constraint R5 = 0 is above its equality of -1
check_solution: Constraint R6 = 0 is above its equality of -1
check_solution: Constraint R7 = 0 is above its equality of -1
check_solution: Constraint R8 = 0 is above its equality of -1
check_solution: Constraint R9 = 0 is above its equality of -1
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R11 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)
check_solution: Constraint R1 = 0 is below its lower bound 1
check_solution: Constraint R2 = 0 is above its equality of -1
check_solution: Constraint R3 = 0 is above its equality of -1
check_solution: Constraint R4 = 0 is above its equality of -1
check_solution: Constraint R5 = 0 is above its equality of -1
check_solution: Constraint R6 = 0 is above its equality of -1
check_solution: Constraint R7 = 0 is above its equality of -1
check_solution: Constraint R8 = 0 is above its equality of -1
check_solution: Constraint R9 = 0 is above its equality of -1
check_solution: Constraint R10 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)
check_solution: Constraint R2 = 0 is above its equality of -1
check_solution: Constraint R3 = 0 is above its equality of -1
check_solution: Constraint R4 = 0 is above its equality of -1
check_solution: Constraint R5 = 0 is above its equality of -1
check_solution: Constraint R6 = 0 is above its equality of -1
check_solution: Constraint R7 = 0 is above its equality of -1
check_solution: Constraint R8 = 0 is above its equality of -1
check_solution: Constraint R9 = 0 is above its equality of -1
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R11 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)
check_solution: Constraint R1 = 0 is above its equallola: Structural Bound: 4294967295
lola: 1 markings, 0 edges, 0 markings/sec, 30 secs
lola: 37 markings, 42 edges, 7 markings/sec, 35 secs
lola: 233 markings, 296 edges, 39 markings/sec, 40 secs
lola: 427 markings, 551 edges, 39 markings/sec, 45 secs
lola: 613 markings, 805 edges, 37 markings/sec, 50 secs
lola: 771 markings, 1015 edges, 32 markings/sec, 55 secs
lola: 946 markings, 1246 edges, 35 markings/sec, 60 secs
lola: 1129 markings, 1493 edges, 37 markings/sec, 65 secs
lola: 1334 markings, 1761 edges, 41 markings/sec, 70 secs
lola: 1545 markings, 2041 edges, 42 markings/sec, 75 secs
lola: 1772 markings, 2358 edges, 45 markings/sec, 80 secs
lola: 1945 markings, 2588 edges, 35 markings/sec, 85 secs
lola: 2153 markings, 2879 edges, 42 markings/sec, 90 secs
lola: 2339 markings, 3129 edges, 37 markings/sec, 95 secs
lola: 2509 markings, 3358 edges, 34 markings/sec, 100 secs
lola: 2701 markings, 3625 edges, 38 markings/sec, 105 secs
lola: 2915 markings, 3901 edges, 43 markings/sec, 110 secs
lola: 3136 markings, 4199 edges, 44 markings/sec, 115 secs
lola: 3344 markings, 4475 edges, 42 markings/sec, 120 secs
lola: 3539 markings, 4743 edges, 39 markings/sec, 125 secs
lola: 3806 markings, 5114 edges, 53 markings/sec, 130 secs
lola: 4063 markings, 5472 edges, 51 markings/sec, 135 secs
lola: 4260 markings, 5739 edges, 39 markings/sec, 140 secs
lola: 4465 markings, 6017 edges, 41 markings/sec, 145 secs
lola: 4726 markings, 6358 edges, 52 markings/sec, 150 secs
lola: 4981 markings, 6728 edges, 51 markings/sec, 155 secs
lola: 5151 markings, 6953 edges, 34 markings/sec, 160 secs
lola: 5323 markings, 7188 edges, 34 markings/sec, 165 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: 3364700 KB
lola: time consumption: 519 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 173 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101 + p96 + p97 + p98 + p99)
lola: processed formula length: 40
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-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: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 0 markings, 0 edges
lola: ========================================
check_solution: Constraint R2 = 0 is above its equality of -1
check_solution: Constraint R3 = 0 is above its equality of -1
check_solution: Constraint R4 = 0 is above its equality of -1
check_solution: Constraint R5 = 0 is above its equality of -1
check_solution: Constraint R6 = 0 is above its equality of -1
check_solution: Constraint R7 = 0 is above its equality of -1
check_solution: Constraint R8 = 0 is above its equality of -1
check_solution: Constraint R9 = 0 is above its equality of -1
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R11 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)
check_solution: Constraint R2 = 0 is above its equality of -1
check_solution: Constraint R3 = 0 is above its equality of -1
check_solution: Constraint R4 = 0 is above its equality of -1
check_solution: Constraint R5 = 0 is above its equality of -1
check_solution: Constraint R6 = 0 is above its equality of -1
check_solution: Constraint R7 = 0 is above its equality of -1
check_solution: Constraint R8 = 0 is above its equality of -1
check_solution: Constraint R9 = 0 is above its equality of -1
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R11 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)
check_solution: Constraint R1 = 0 is below its lower bound 1
check_solution: Constraint R2 = 0 is above its equality of -1
check_solution: Constraint R3 = 0 is above its equality of -1
check_solution: Constraint R4 = 0 is above its equality of -1
check_solution: Constraint R5 = 0 is above its equality of -1
check_solution: Constraint R6 = 0 is above its equality of -1
check_solution: Constraint R7 = 0 is above its equality of -1
check_solution: Constraint R8 = 0 is above its equality of -1
check_solution: Constraint R9 = 0 is above its equality of -1
check_solution: Constraint R10 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)
check_solution: Constraint R2 = 0 is above its equality of -1
check_solution: Constraint R3 = 0 is above its equality of -1
check_solution: Constraint R4 = 0 is above its equality of -1
check_solution: Constraint R5 = 0 is above its equality of -1
check_solution: Constraint R6 = 0 is above its equality of -1
check_solution: Constraint R7 = 0 is above its equality of -1
check_solution: Constraint R8 = 0 is above its equality of -1
check_solution: Constraint R9 = 0 is above its equality of -1
check_solution: Constraint R10 = 0 is above its equality of -1
check_solution: Constraint R11 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 1 (rel. error 1)

FORMULA GlobalResAllocation-COL-06-UpperBounds-3 6 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 186 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p12 + p13 + p14 + p15 + p16 + p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p12 + p13 + p14 + p15 + p16 + p17)
lola: processed formula length: 38
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 1 markings, 0 edges, 0 markings/sec, 30 secs
lola: 33 markings, 36 edges, 6 markings/sec, 35 secs
lola: 233 markings, 296 edges, 40 markings/sec, 40 secs
lola: 418 markings, 537 edges, 37 markings/sec, 45 secs
lola: 622 markings, 815 edges, 41 markings/sec, 50 secs
lola: 784 markings, 1032 edges, 32 markings/sec, 55 secs
lola: 965 markings, 1270 edges, 36 markings/sec, 60 secs
lola: 1143 markings, 1512 edges, 36 markings/sec, 65 secs
lola: 1347 markings, 1777 edges, 41 markings/sec, 70 secs
lola: 1558 markings, 2058 edges, 42 markings/sec, 75 secs
lola: 1777 markings, 2364 edges, 44 markings/sec, 80 secs
lola: 1945 markings, 2588 edges, 34 markings/sec, 85 secs
lola: 2157 markings, 2885 edges, 42 markings/sec, 90 secs
lola: 2343 markings, 3135 edges, 37 markings/sec, 95 secs
lola: 2509 markings, 3358 edges, 33 markings/sec, 100 secs
lola: 2695 markings, 3616 edges, 37 markings/sec, 105 secs
lola: 2898 markings, 3881 edges, 41 markings/sec, 110 secs
lola: 3130 markings, 4191 edges, 46 markings/sec, 115 secs
lola: 3349 markings, 4482 edges, 44 markings/sec, 120 secs
lola: 3546 markings, 4755 edges, 39 markings/sec, 125 secs
lola: 3821 markings, 5137 edges, 55 markings/sec, 130 secs
lola: 4068 markings, 5479 edges, 49 markings/sec, 135 secs
lola: 4265 markings, 5748 edges, 39 markings/sec, 140 secs
lola: 4469 markings, 6024 edges, 41 markings/sec, 145 secs
lola: 4738 markings, 6376 edges, 54 markings/sec, 150 secs
lola: 4991 markings, 6739 edges, 51 markings/sec, 155 secs
lola: 5160 markings, 6968 edges, 34 markings/sec, 160 secs
lola: 5331 markings, 7198 edges, 34 markings/sec, 165 secs
lola: 5546 markings, 7484 edges, 43 markings/sec, 170 secs
lola: 5758 markings, 7771 edges, 42 markings/sec, 175 secs
lola: 5991 markings, 8078 edges, 47 markings/sec, 180 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 6 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3364876 KB
lola: time consumption: 707 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 186 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p12 + p13 + p14 + p15 + p16 + p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p12 + p13 + p14 + p15 + p16 + p17)
lola: processed formula length: 38
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 1 markings, 0 edges, 0 markings/sec, 30 secs
lola: 32 markings, 35 edges, 6 markings/sec, 35 secs
lola: 229 markings, 290 edges, 39 markings/sec, 40 secs
lola: 417 markings, 536 edges, 38 markings/sec, 45 secs
lola: 623 markings, 816 edges, 41 markings/sec, 50 secs
lola: 789 markings, 1040 edges, 33 markings/sec, 55 secs
lola: 967 markings, 1272 edges, 36 markings/sec, 60 secs
lola: 1138 markings, 1504 edges, 34 markings/sec, 65 secs
lola: 1338 markings, 1765 edges, 40 markings/sec, 70 secs
lola: 1546 markings, 2042 edges, 42 markings/sec, 75 secs
lola: 1765 markings, 2346 edges, 44 markings/sec, 80 secs
lola: 1932 markings, 2570 edges, 33 markings/sec, 85 secs
lola: 2135 markings, 2851 edges, 41 markings/sec, 90 secs
lola: 2321 markings, 3104 edges, 37 markings/sec, 95 secs
lola: 2488 markings, 3330 edges, 33 markings/sec, 100 secs
lola: 2674 markings, 3589 edges, 37 markings/sec, 105 secs
lola: 2868 markings, 3843 edges, 39 markings/sec, 110 secs
lola: 3084 markings, 4128 edges, 43 markings/sec, 115 secs
lola: 3307 markings, 4428 edges, 45 markings/sec, 120 secs
lola: 3483 markings, 4660 edges, 35 markings/sec, 125 secs
lola: 3748 markings, 5030 edges, 53 markings/sec, 130 secs
lola: 4011 markings, 5403 edges, 53 markings/sec, 135 secs
lola: 4221 markings, 5690 edges, 42 markings/sec, 140 secs
lola: 4411 markings, 5945 edges, 38 markings/sec, 145 secs
lola: 4650 markings, 6261 edges, 48 markings/sec, 150 secs
lola: 4914 markings, 6632 edges, 53 markings/sec, 155 secs
lola: 5100 markings, 6885 edges, 37 markings/sec, 160 secs
lola: 5267 markings, 7106 edges, 33 markings/sec, 165 secs
lola: 5441 markings, 7344 edges, 35 markings/sec, 170 secs
lola: 5688 markings, 7678 edges, 49 markings/sec, 175 secs
lola: 5884 markings, 7936 edges, 39 markings/sec, 180 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 6 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3364860 KB
lola: time consumption: 893 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 186 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p93 + p92 + p91 + p90 + p94 + p95)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p93 + p92 + p91 + p90 + p94 + p95)
lola: processed formula length: 38
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-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: 24
lola: 1 markings, 0 edges, 0 markings/sec, 0 secs
lola: 1 markings, 0 edges, 0 markings/sec, 5 secs
lola: 7 markings, 6 edges, 1 markings/sec, 10 secs
lola: SUBRESULT
lola: result: 24
lola: produced by: state space
lola: The maximum value of the given expression is 24
lola: 20 markings, 19 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-06-UpperBounds-7 24 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 203 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p93 + p92 + p91 + p90 + p94 + p95)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p93 + p92 + p91 + p90 + p94 + p95)
lola: processed formula length: 38
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-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: 24
lola: 1 markings, 0 edges, 0 markings/sec, 0 secs
lola: 1 markings, 0 edges, 0 markings/sec, 5 secs
lola: 2 markings, 1 edges, 0 markings/sec, 10 secs
lola: SUBRESULT
lola: result: 24
lola: produced by: state space
lola: The maximum value of the given expression is 24
lola: 20 markings, 19 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-06-UpperBounds-12 24 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 224 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p93 + p92 + p91 + p90 + p94 + p95)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p93 + p92 + p91 + p90 + p94 + p95)
lola: processed formula length: 38
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-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: 24
lola: 1 markings, 0 edges, 0 markings/sec, 0 secs
lola: 1 markings, 0 edges, 0 markings/sec, 5 secs
lola: SUBRESULT
lola: result: 24
lola: produced by: state space
lola: The maximum value of the given expression is 24
lola: 20 markings, 19 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-06-UpperBounds-13 24 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p93 + p92 + p91 + p90 + p94 + p95)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p93 + p92 + p91 + p90 + p94 + p95)
lola: processed formula length: 38
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-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: 24
lola: 1 markings, 0 edges, 0 markings/sec, 0 secs
lola: 1 markings, 0 edges, 0 markings/sec, 5 secs
lola: 18 markings, 17 edges, 3 markings/sec, 10 secs
lola: SUBRESULT
lola: result: 24
lola: produced by: state space
lola: The maximum value of the given expression is 24
lola: 20 markings, 19 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-06-UpperBounds-15 24 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: processed formula length: 64
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 0 markings, 0 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-06-UpperBounds-9 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 330 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: processed formula length: 64
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 0 markings, 0 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-06-UpperBounds-10 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: processed formula length: 64
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 0 markings, 0 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-06-UpperBounds-11 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 495 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: processed formula length: 64
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 0 markings, 0 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-06-UpperBounds-2 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 660 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: processed formula length: 64
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 0 markings, 0 edges
lola:
FORMULA GlobalResAllocation-COL-06-UpperBounds-5 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 14 will run for 989 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11)
lola: processed formula length: 64
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-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: 12
lola: SUBRESULT
lola: result: 12
lola: produced by: state space
lola: The maximum value of the given expression is 12
lola: 0 markings, 0 edges
lola: ========================================

FORMULA GlobalResAllocation-COL-06-UpperBounds-8 12 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1976 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p76 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p65 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49 + p50 + p51 + p52 + p54 + p55 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p76 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p65 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + ... (shortened)
lola: processed formula length: 434
lola: 0 rewrites
lola: closed formula file GlobalResAllocation-COL-06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 1 markings, 0 edges, 0 markings/sec, 30 secs
lola: 14 markings, 13 edges, 3 markings/sec, 35 secs
lola: 217 markings, 276 edges, 41 markings/sec, 40 secs
lola: 400 markings, 512 edges, 37 markings/sec, 45 secs
lola: 605 markings, 795 edges, 41 markings/sec, 50 secs
lola: 767 markings, 1011 edges, 32 markings/sec, 55 secs
lola: 937 markings, 1235 edges, 34 markings/sec, 60 secs
lola: 1109 markings, 1464 edges, 34 markings/sec, 65 secs
lola: 1302 markings, 1718 edges, 39 markings/sec, 70 secs
lola: 1505 markings, 1990 edges, 41 markings/sec, 75 secs
lola: 1711 markings, 2273 edges, 41 markings/sec, 80 secs
lola: 1872 markings, 2487 edges, 32 markings/sec, 85 secs
lola: 2058 markings, 2750 edges, 37 markings/sec, 90 secs
lola: 2267 markings, 3037 edges, 42 markings/sec, 95 secs
lola: 2431 markings, 3253 edges, 33 markings/sec, 100 secs
lola: 2581 markings, 3453 edges, 30 markings/sec, 105 secs
lola: 2786 markings, 3739 edges, 41 markings/sec, 110 secs
lola: 3004 markings, 4023 edges, 44 markings/sec, 115 secs
lola: 3236 markings, 4330 edges, 46 markings/sec, 120 secs
lola: 3413 markings, 4567 edges, 35 markings/sec, 125 secs
lola: 3639 markings, 4887 edges, 45 markings/sec, 130 secs
lola: 3912 markings, 5270 edges, 55 markings/sec, 135 secs
lola: 4137 markings, 5572 edges, 45 markings/sec, 140 secs
lola: 4305 markings, 5800 edges, 34 markings/sec, 145 secs
lola: 4512 markings, 6080 edges, 41 markings/sec, 150 secs
lola: 4776 markings, 6432 edges, 53 markings/sec, 155 secs
lola: 4995 markings, 6745 edges, 44 markings/sec, 160 secs
lola: 5139 markings, 6937 edges, 29 markings/sec, 165 secs
lola: 5299 markings, 7154 edges, 32 markings/sec, 170 secs
lola: 5498 markings, 7417 edges, 40 markings/sec, 175 secs
lola: 5716 markings, 7716 edges, 44 markings/sec, 180 secs
lola: 5933 markings, 7999 edges, 43 markings/sec, 185 secs
lola: 6196 markings, 8359 edges, 53 markings/sec, 190 secs
lola: 6464 markings, 8717 edges, 54 markings/sec, 195 secs
lola: 6742 markings, 9098 edges, 56 markings/sec, 200 secs
lola: 7010 markings, 9485 edges, 54 markings/sec, 205 secs
lola: 7279 markings, 9871 edges, 54 markings/sec, 210 secs
lola: 7542 markings, 10260 edges, 53 markings/sec, 215 secs
lola: 7806 markings, 10668 edges, 53 markings/sec, 220 secs
lola: 8080 markings, 11066 edges, 55 markings/sec, 225 secs
lola: 8347 markings, 11464 edges, 53 markings/sec, 230 secs
lola: 8609 markings, 11835 edges, 52 markings/sec, 235 secs
lola: 8880 markings, 12210 edges, 54 markings/sec, 240 secs
lola: 9159 markings, 12597 edges, 56 markings/sec, 245 secs
lola: 9420 markings, 12952 edges, 52 markings/sec, 250 secs
lola: 9689 markings, 13338 edges, 54 markings/sec, 255 secs
lola: 9958 markings, 13706 edges, 54 markings/sec, 260 secs
lola: 10234 markings, 14100 edges, 55 markings/sec, 265 secs
lola: 10510 markings, 14489 edges, 55 markings/sec, 270 secs
lola: 10779 markings, 14915 edges, 54 markings/sec, 275 secs
lola: 10961 markings, 15183 edges, 36 markings/sec, 280 secs
lola: 11129 markings, 15410 edges, 34 markings/sec, 285 secs
lola: 11328 markings, 15685 edges, 40 markings/sec, 290 secs
lola: 11541 markings, 15977 edges, 43 markings/sec, 295 secs
lola: 11720 markings, 16218 edges, 36 markings/sec, 300 secs
lola: 11893 markings, 16458 edges, 35 markings/sec, 305 secs
lola: 12094 markings, 16738 edges, 40 markings/sec, 310 secs
lola: 12295 markings, 17017 edges, 40 markings/sec, 315 secs
lola: 12525 markings, 17336 edges, 46 markings/sec, 320 secs
lola: 12738 markings, 17645 edges, 43 markings/sec, 325 secs
lola: 12912 markings, 17886 edges, 35 markings/sec, 330 secs
lola: 13094 markings, 18131 edges, 36 markings/sec, 335 secs
lola: 13318 markings, 18434 edges, 45 markings/sec, 340 secs
lola: 13542 markings, 18740 edges, 45 markings/sec, 345 secs
lola: 13750 markings, 19023 edges, 42 markings/sec, 350 secs
lola: 13957 markings, 19330 edges, 41 markings/sec, 355 secs
lola: 14124 markings, 19556 edges, 33 markings/sec, 360 secs
lola: 14323 markings, 19839 edges, 40 markings/sec, 365 secs
lola: 14502 markings, 20089 edges, 36 markings/sec, 370 secs
lola: 14668 markings, 20321 edges, 33 markings/sec, 375 secs
lola: 14856 markings, 20586 edges, 38 markings/sec, 380 secs
lola: 15050 markings, 20864 edges, 39 markings/sec, 385 secs
lola: 15227 markings, 21122 edges, 35 markings/sec, 390 secs
lola: 15431 markings, 21400 edges, 41 markings/sec, 395 secs
lola: 15642 markings, 21683 edges, 42 markings/sec, 400 secs
lola: 15895 markings, 22030 edges, 51 markings/sec, 405 secs
lola: 16148 markings, 22372 edges, 51 markings/sec, 410 secs
lola: 16413 markings, 22771 edges, 53 markings/sec, 415 secs
lola: 16649 markings, 23114 edges, 47 markings/sec, 420 secs
lola: 16915 markings, 23485 edges, 53 markings/sec, 425 secs
lola: 17164 markings, 23839 edges, 50 markings/sec, 430 secs
lola: 17393 markings, 24164 edges, 46 markings/sec, 435 secs
lola: 17631 markings, 24484 edges, 48 markings/sec, 440 secs
lola: 17892 markings, 24872 edges, 52 markings/sec, 445 secs
lola: 18106 markings, 25169 edges, 43 markings/sec, 450 secs
lola: 18331 markings, 25468 edges, 45 markings/sec, 455 secs
lola: 18579 markings, 25832 edges, 50 markings/sec, 460 secs
lola: 18837 markings, 26197 edges, 52 markings/sec, 465 secs
lola: 19068 markings, 26523 edges, 46 markings/sec, 470 secs
lola: 19271 markings, 26794 edges, 41 markings/sec, 475 secs
lola: 19530 markings, 27159 edges, 52 markings/sec, 480 secs
lola: 19795 markings, 27552 edges, 53 markings/sec, 485 secs
lola: 20030 markings, 27937 edges, 47 markings/sec, 490 secs
lola: 20193 markings, 28160 edges, 33 markings/sec, 495 secs
lola: 20367 markings, 28396 edges, 35 markings/sec, 500 secs
lola: 20531 markings, 28622 edges, 33 markings/sec, 505 secs
lola: 20708 markings, 28858 edges, 35 markings/sec, 510 secs
lola: 20902 markings, 29113 edges, 39 markings/sec, 515 secs
lola: 21100 markings, 29372 edges, 40 markings/sec, 520 secs
lola: 21327 markings, 29681 edges, 45 markings/sec, 525 secs
lola: 21521 markings, 29940 edges, 39 markings/sec, 530 secs
lola: 21706 markings, 30192 edges, 37 markings/sec, 535 secs
lola: 21923 markings, 30476 edges, 43 markings/sec, 540 secs
lola: 22102 markings, 30728 edges, 36 markings/sec, 545 secs
lola: 22276 markings, 30963 edges, 35 markings/sec, 550 secs
lola: 22440 markings, 31188 edges, 33 markings/sec, 555 secs
lola: 22607 markings, 31418 edges, 33 markings/sec, 560 secs
lola: 22781 markings, 31660 edges, 35 markings/sec, 565 secs
lola: 22949 markings, 31900 edges, 34 markings/sec, 570 secs
lola: 23177 markings, 32229 edges, 46 markings/sec, 575 secs
lola: 23386 markings, 32509 edges, 42 markings/sec, 580 secs
lola: 23596 markings, 32811 edges, 42 markings/sec, 585 secs
lola: 23796 markings, 33093 edges, 40 markings/sec, 590 secs
lola: 24004 markings, 33370 edges, 42 markings/sec, 595 secs
lola: 24209 markings, 33645 edges, 41 markings/sec, 600 secs
lola: 24407 markings, 33922 edges, 40 markings/sec, 605 secs
lola: 24599 markings, 34187 edges, 38 markings/sec, 610 secs
lola: 24784 markings, 34441 edges, 37 markings/sec, 615 secs
lola: 24959 markings, 34678 edges, 35 markings/sec, 620 secs
lola: 25113 markings, 34888 edges, 31 markings/sec, 625 secs
lola: 25298 markings, 35142 edges, 37 markings/sec, 630 secs
lola: 25526 markings, 35446 edges, 46 markings/sec, 635 secs
lola: 25744 markings, 35732 edges, 44 markings/sec, 640 secs
lola: 25916 markings, 35966 edges, 34 markings/sec, 645 secs
lola: 26135 markings, 36256 edges, 44 markings/sec, 650 secs
lola: 26393 markings, 36634 edges, 52 markings/sec, 655 secs
lola: 26612 markings, 36930 edges, 44 markings/sec, 660 secs
lola: 26794 markings, 37179 edges, 36 markings/sec, 665 secs
lola: 27004 markings, 37478 edges, 42 markings/sec, 670 secs
lola: 27221 markings, 37781 edges, 43 markings/sec, 675 secs
lola: 27440 markings, 38072 edges, 44 markings/sec, 680 secs
lola: 27650 markings, 38358 edges, 42 markings/sec, 685 secs
lola: 27871 markings, 38664 edges, 44 markings/sec, 690 secs
lola: 28073 markings, 38932 edges, 40 markings/sec, 695 secs
lola: 28235 markings, 39148 edges, 32 markings/sec, 700 secs
lola: 28464 markings, 39459 edges, 46 markings/sec, 705 secs
lola: 28676 markings, 39747 edges, 42 markings/sec, 710 secs
lola: 28958 markings, 40137 edges, 56 markings/sec, 715 secs
lola: 29199 markings, 40530 edges, 48 markings/sec, 720 secs
lola: 29420 markings, 40839 edges, 44 markings/sec, 725 secs
lola: 29624 markings, 41127 edges, 41 markings/sec, 730 secs
lola: 29804 markings, 41382 edges, 36 markings/sec, 735 secs
lola: 30056 markings, 41739 edges, 50 markings/sec, 740 secs
lola: 30268 markings, 42067 edges, 42 markings/sec, 745 secs
lola: 30453 markings, 42320 edges, 37 markings/sec, 750 secs
lola: 30680 markings, 42632 edges, 45 markings/sec, 755 secs
lola: 30925 markings, 42970 edges, 49 markings/sec, 760 secs
lola: 31169 markings, 43341 edges, 49 markings/sec, 765 secs
lola: 31397 markings, 43666 edges, 46 markings/sec, 770 secs
lola: 31627 markings, 44006 edges, 46 markings/sec, 775 secs
lola: 31870 markings, 44359 edges, 49 markings/sec, 780 secs
lola: 32122 markings, 44711 edges, 50 markings/sec, 785 secs
lola: 32376 markings, 45079 edges, 51 markings/sec, 790 secs
lola: 32612 markings, 45413 edges, 47 markings/sec, 795 secs
lola: 32843 markings, 45724 edges, 46 markings/sec, 800 secs
lola: 33067 markings, 46030 edges, 45 markings/sec, 805 secs
lola: 33311 markings, 46379 edges, 49 markings/sec, 810 secs
lola: 33541 markings, 46694 edges, 46 markings/sec, 815 secs
lola: 33755 markings, 46997 edges, 43 markings/sec, 820 secs
lola: 33986 markings, 47310 edges, 46 markings/sec, 825 secs
lola: 34235 markings, 47669 edges, 50 markings/sec, 830 secs
lola: 34454 markings, 47974 edges, 44 markings/sec, 835 secs
lola: 34670 markings, 48274 edges, 43 markings/sec, 840 secs
lola: 34917 markings, 48627 edges, 49 markings/sec, 845 secs
lola: 35165 markings, 48966 edges, 50 markings/sec, 850 secs
lola: 35420 markings, 49319 edges, 51 markings/sec, 855 secs
lola: 35670 markings, 49659 edges, 50 markings/sec, 860 secs
lola: 35922 markings, 50026 edges, 50 markings/sec, 865 secs
lola: 36172 markings, 50397 edges, 50 markings/sec, 870 secs
lola: 36397 markings, 50694 edges, 45 markings/sec, 875 secs
lola: 36624 markings, 51003 edges, 45 markings/sec, 880 secs
lola: 36856 markings, 51326 edges, 46 markings/sec, 885 secs
lola: 37095 markings, 51674 edges, 48 markings/sec, 890 secs
lola: 37295 markings, 51962 edges, 40 markings/sec, 895 secs
lola: 37513 markings, 52258 edges, 44 markings/sec, 900 secs
lola: 37724 markings, 52557 edges, 42 markings/sec, 905 secs
lola: 37930 markings, 52866 edges, 41 markings/sec, 910 secs
lola: 38153 markings, 53199 edges, 45 markings/sec, 915 secs
lola: 38421 markings, 53567 edges, 54 markings/sec, 920 secs
lola: 38699 markings, 53958 edges, 56 markings/sec, 925 secs
lola: 38961 markings, 54331 edges, 52 markings/sec, 930 secs
lola: 39191 markings, 54652 edges, 46 markings/sec, 935 secs
lola: 39411 markings, 54958 edges, 44 markings/sec, 940 secs
lola: 39661 markings, 55302 edges, 50 markings/sec, 945 secs
lola: 39926 markings, 55679 edges, 53 markings/sec, 950 secs
lola: 40187 markings, 56036 edges, 52 markings/sec, 955 secs
lola: 40414 markings, 56334 edges, 45 markings/sec, 960 secs
lola: 40655 markings, 56663 edges, 48 markings/sec, 965 secs
lola: 40912 markings, 57019 edges, 51 markings/sec, 970 secs
lola: 41168 markings, 57384 edges, 51 markings/sec, 975 secs
lola: 41417 markings, 57756 edges, 50 markings/sec, 980 secs
lola: 41638 markings, 58056 edges, 44 markings/sec, 985 secs
lola: 41863 markings, 58367 edges, 45 markings/sec, 990 secs
lola: 42124 markings, 58728 edges, 52 markings/sec, 995 secs
lola: 42363 markings, 59068 edges, 48 markings/sec, 1000 secs
lola: 42587 markings, 59405 edges, 45 markings/sec, 1005 secs
lola: 42816 markings, 59712 edges, 46 markings/sec, 1010 secs
lola: 43038 markings, 60019 edges, 44 markings/sec, 1015 secs
lola: 43268 markings, 60343 edges, 46 markings/sec, 1020 secs
lola: 43510 markings, 60699 edges, 48 markings/sec, 1025 secs
lola: 43761 markings, 61053 edges, 50 markings/sec, 1030 secs
lola: 43998 markings, 61396 edges, 47 markings/sec, 1035 secs
lola: 44215 markings, 61723 edges, 43 markings/sec, 1040 secs
lola: 44448 markings, 62041 edges, 47 markings/sec, 1045 secs
lola: 44663 markings, 62344 edges, 43 markings/sec, 1050 secs
lola: 44926 markings, 62727 edges, 53 markings/sec, 1055 secs
lola: 45182 markings, 63129 edges, 51 markings/sec, 1060 secs
lola: 45401 markings, 63482 edges, 44 markings/sec, 1065 secs
lola: 45580 markings, 63726 edges, 36 markings/sec, 1070 secs
lola: 45797 markings, 64024 edges, 43 markings/sec, 1075 secs
lola: 46025 markings, 64338 edges, 46 markings/sec, 1080 secs
lola: 46271 markings, 64693 edges, 49 markings/sec, 1085 secs
lola: 46508 markings, 65013 edges, 47 markings/sec, 1090 secs
lola: 46734 markings, 65318 edges, 45 markings/sec, 1095 secs
lola: 46950 markings, 65606 edges, 43 markings/sec, 1100 secs
lola: 47199 markings, 65953 edges, 50 markings/sec, 1105 secs
lola: 47423 markings, 66270 edges, 45 markings/sec, 1110 secs
lola: 47608 markings, 66543 edges, 37 markings/sec, 1115 secs
lola: 47787 markings, 66799 edges, 36 markings/sec, 1120 secs
lola: 47997 markings, 67080 edges, 42 markings/sec, 1125 secs
lola: 48221 markings, 67392 edges, 45 markings/sec, 1130 secs
lola: 48411 markings, 67644 edges, 38 markings/sec, 1135 secs
lola: 48585 markings, 67882 edges, 35 markings/sec, 1140 secs
lola: 48762 markings, 68141 edges, 35 markings/sec, 1145 secs
lola: 48996 markings, 68470 edges, 47 markings/sec, 1150 secs
lola: 49210 markings, 68762 edges, 43 markings/sec, 1155 secs
lola: 49435 markings, 69064 edges, 45 markings/sec, 1160 secs
lola: 49653 markings, 69371 edges, 44 markings/sec, 1165 secs
lola: 49843 markings, 69659 edges, 38 markings/sec, 1170 secs
lola: 50058 markings, 69979 edges, 43 markings/sec, 1175 secs
lola: 50254 markings, 70255 edges, 39 markings/sec, 1180 secs
lola: 50426 markings, 70497 edges, 34 markings/sec, 1185 secs
lola: 50612 markings, 70774 edges, 37 markings/sec, 1190 secs
lola: 50808 markings, 71048 edges, 39 markings/sec, 1195 secs
lola: 50970 markings, 71274 edges, 32 markings/sec, 1200 secs
lola: 51129 markings, 71504 edges, 32 markings/sec, 1205 secs
lola: 51311 markings, 71764 edges, 36 markings/sec, 1210 secs
lola: 51508 markings, 72059 edges, 39 markings/sec, 1215 secs
lola: 51707 markings, 72352 edges, 40 markings/sec, 1220 secs
lola: 51885 markings, 72633 edges, 36 markings/sec, 1225 secs
lola: 52072 markings, 72896 edges, 37 markings/sec, 1230 secs
lola: 52252 markings, 73131 edges, 36 markings/sec, 1235 secs
lola: 52411 markings, 73350 edges, 32 markings/sec, 1240 secs
lola: 52663 markings, 73708 edges, 50 markings/sec, 1245 secs
lola: 52853 markings, 73989 edges, 38 markings/sec, 1250 secs
lola: 53109 markings, 74365 edges, 51 markings/sec, 1255 secs
lola: 53381 markings, 74752 edges, 54 markings/sec, 1260 secs
lola: 53649 markings, 75133 edges, 54 markings/sec, 1265 secs
lola: 53924 markings, 75508 edges, 55 markings/sec, 1270 secs
lola: 54200 markings, 75902 edges, 55 markings/sec, 1275 secs
lola: 54473 markings, 76324 edges, 55 markings/sec, 1280 secs
lola: 54744 markings, 76746 edges, 54 markings/sec, 1285 secs
lola: 55017 markings, 77159 edges, 55 markings/sec, 1290 secs
lola: 55276 markings, 77525 edges, 52 markings/sec, 1295 secs
lola: 55543 markings, 77913 edges, 53 markings/sec, 1300 secs
lola: 55797 markings, 78270 edges, 51 markings/sec, 1305 secs
lola: 56055 markings, 78648 edges, 52 markings/sec, 1310 secs
lola: 56307 markings, 78989 edges, 50 markings/sec, 1315 secs
lola: 56576 markings, 79359 edges, 54 markings/sec, 1320 secs
lola: 56845 markings, 79747 edges, 54 markings/sec, 1325 secs
lola: 57111 markings, 80139 edges, 53 markings/sec, 1330 secs
lola: 57367 markings, 80484 edges, 51 markings/sec, 1335 secs
lola: 57634 markings, 80862 edges, 53 markings/sec, 1340 secs
lola: 57895 markings, 81224 edges, 52 markings/sec, 1345 secs
lola: 58168 markings, 81606 edges, 55 markings/sec, 1350 secs
lola: 58441 markings, 82017 edges, 55 markings/sec, 1355 secs
lola: 58707 markings, 82416 edges, 53 markings/sec, 1360 secs
lola: 58970 markings, 82801 edges, 53 markings/sec, 1365 secs
lola: 59233 markings, 83165 edges, 53 markings/sec, 1370 secs
lola: 59496 markings, 83535 edges, 53 markings/sec, 1375 secs
lola: 59754 markings, 83894 edges, 52 markings/sec, 1380 secs
lola: 60027 markings, 84290 edges, 55 markings/sec, 1385 secs
lola: 60288 markings, 84659 edges, 52 markings/sec, 1390 secs
lola: 60547 markings, 85054 edges, 52 markings/sec, 1395 secs
lola: 60819 markings, 85457 edges, 54 markings/sec, 1400 secs
lola: 61087 markings, 85870 edges, 54 markings/sec, 1405 secs
lola: 61311 markings, 86183 edges, 45 markings/sec, 1410 secs
lola: 61527 markings, 86471 edges, 43 markings/sec, 1415 secs
lola: 61785 markings, 86826 edges, 52 markings/sec, 1420 secs
lola: 62010 markings, 87140 edges, 45 markings/sec, 1425 secs
lola: 62228 markings, 87427 edges, 44 markings/sec, 1430 secs
lola: 62461 markings, 87742 edges, 47 markings/sec, 1435 secs
lola: 62730 markings, 88130 edges, 54 markings/sec, 1440 secs
lola: 62982 markings, 88492 edges, 50 markings/sec, 1445 secs
lola: 63232 markings, 88845 edges, 50 markings/sec, 1450 secs
lola: 63455 markings, 89130 edges, 45 markings/sec, 1455 secs
lola: 63682 markings, 89433 edges, 45 markings/sec, 1460 secs
lola: 63891 markings, 89706 edges, 42 markings/sec, 1465 secs
lola: 64146 markings, 90053 edges, 51 markings/sec, 1470 secs
lola: 64398 markings, 90422 edges, 50 markings/sec, 1475 secs
lola: 64637 markings, 90746 edges, 48 markings/sec, 1480 secs
lola: 64824 markings, 91037 edges, 37 markings/sec, 1485 secs
lola: 65001 markings, 91269 edges, 35 markings/sec, 1490 secs
lola: 65213 markings, 91590 edges, 42 markings/sec, 1495 secs
lola: 65437 markings, 91898 edges, 45 markings/sec, 1500 secs
lola: 65651 markings, 92207 edges, 43 markings/sec, 1505 secs
lola: 65874 markings, 92540 edges, 45 markings/sec, 1510 secs
lola: 66104 markings, 92873 edges, 46 markings/sec, 1515 secs
lola: 66313 markings, 93153 edges, 42 markings/sec, 1520 secs
lola: 66527 markings, 93451 edges, 43 markings/sec, 1525 secs
lola: 66743 markings, 93743 edges, 43 markings/sec, 1530 secs
lola: 66956 markings, 94035 edges, 43 markings/sec, 1535 secs
lola: 67143 markings, 94311 edges, 37 markings/sec, 1540 secs
lola: 67335 markings, 94571 edges, 38 markings/sec, 1545 secs
lola: 67531 markings, 94826 edges, 39 markings/sec, 1550 secs
lola: 67692 markings, 95036 edges, 32 markings/sec, 1555 secs
lola: 67880 markings, 95281 edges, 38 markings/sec, 1560 secs
lola: 68075 markings, 95541 edges, 39 markings/sec, 1565 secs
lola: 68268 markings, 95796 edges, 39 markings/sec, 1570 secs
lola: 68490 markings, 96094 edges, 44 markings/sec, 1575 secs
lola: 68751 markings, 96459 edges, 52 markings/sec, 1580 secs
lola: 68979 markings, 96781 edges, 46 markings/sec, 1585 secs
lola: 69215 markings, 97129 edges, 47 markings/sec, 1590 secs
lola: 69441 markings, 97432 edges, 45 markings/sec, 1595 secs
lola: 69653 markings, 97727 edges, 42 markings/sec, 1600 secs
lola: 69872 markings, 98024 edges, 44 markings/sec, 1605 secs
lola: 70085 markings, 98320 edges, 43 markings/sec, 1610 secs
lola: 70306 markings, 98622 edges, 44 markings/sec, 1615 secs
lola: 70530 markings, 98926 edges, 45 markings/sec, 1620 secs
lola: 70753 markings, 99236 edges, 45 markings/sec, 1625 secs
lola: 71015 markings, 99590 edges, 52 markings/sec, 1630 secs
lola: 71273 markings, 99940 edges, 52 markings/sec, 1635 secs
lola: 71543 markings, 100348 edges, 54 markings/sec, 1640 secs
lola: 71787 markings, 100684 edges, 49 markings/sec, 1645 secs
lola: 72028 markings, 101020 edges, 48 markings/sec, 1650 secs
lola: 72244 markings, 101307 edges, 43 markings/sec, 1655 secs
lola: 72502 markings, 101660 edges, 52 markings/sec, 1660 secs
lola: 72755 markings, 102043 edges, 51 markings/sec, 1665 secs
lola: 73013 markings, 102411 edges, 52 markings/sec, 1670 secs
lola: 73276 markings, 102791 edges, 53 markings/sec, 1675 secs
lola: 73508 markings, 103125 edges, 46 markings/sec, 1680 secs
lola: 73738 markings, 103446 edges, 46 markings/sec, 1685 secs
lola: 73987 markings, 103817 edges, 50 markings/sec, 1690 secs
lola: 74238 markings, 104190 edges, 50 markings/sec, 1695 secs
lola: 74487 markings, 104549 edges, 50 markings/sec, 1700 secs
lola: 74705 markings, 104851 edges, 44 markings/sec, 1705 secs
lola: 74911 markings, 105139 edges, 41 markings/sec, 1710 secs
lola: 75151 markings, 105464 edges, 48 markings/sec, 1715 secs
lola: 75399 markings, 105834 edges, 50 markings/sec, 1720 secs
lola: 75622 markings, 106140 edges, 45 markings/sec, 1725 secs
lola: 75862 markings, 106486 edges, 48 markings/sec, 1730 secs
lola: 76125 markings, 106853 edges, 53 markings/sec, 1735 secs
lola: 76383 markings, 107204 edges, 52 markings/sec, 1740 secs
lola: 76588 markings, 107478 edges, 41 markings/sec, 1745 secs
lola: 76840 markings, 107833 edges, 50 markings/sec, 1750 secs
lola: 77097 markings, 108200 edges, 51 markings/sec, 1755 secs
lola: 77351 markings, 108559 edges, 51 markings/sec, 1760 secs
lola: 77608 markings, 108956 edges, 51 markings/sec, 1765 secs
lola: 77879 markings, 109361 edges, 54 markings/sec, 1770 secs
lola: 78109 markings, 109695 edges, 46 markings/sec, 1775 secs
lola: 78357 markings, 110033 edges, 50 markings/sec, 1780 secs
lola: 78623 markings, 110404 edges, 53 markings/sec, 1785 secs
lola: 78853 markings, 110721 edges, 46 markings/sec, 1790 secs
lola: 79088 markings, 111032 edges, 47 markings/sec, 1795 secs
lola: 79352 markings, 111401 edges, 53 markings/sec, 1800 secs
lola: 79603 markings, 111768 edges, 50 markings/sec, 1805 secs
lola: 79857 markings, 112114 edges, 51 markings/sec, 1810 secs
lola: 80092 markings, 112464 edges, 47 markings/sec, 1815 secs
lola: 80360 markings, 112854 edges, 54 markings/sec, 1820 secs
lola: 80587 markings, 113177 edges, 45 markings/sec, 1825 secs
lola: 80835 markings, 113516 edges, 50 markings/sec, 1830 secs
lola: 81069 markings, 113867 edges, 47 markings/sec, 1835 secs
lola: 81246 markings, 114134 edges, 35 markings/sec, 1840 secs
lola: 81464 markings, 114449 edges, 44 markings/sec, 1845 secs
lola: 81678 markings, 114743 edges, 43 markings/sec, 1850 secs
lola: 81867 markings, 115015 edges, 38 markings/sec, 1855 secs
lola: 82097 markings, 115362 edges, 46 markings/sec, 1860 secs
lola: 82371 markings, 115774 edges, 55 markings/sec, 1865 secs
lola: 82639 markings, 116166 edges, 54 markings/sec, 1870 secs
lola: 82858 markings, 116500 edges, 44 markings/sec, 1875 secs
lola: 83114 markings, 116905 edges, 51 markings/sec, 1880 secs
lola: 83373 markings, 117270 edges, 52 markings/sec, 1885 secs
lola: 83618 markings, 117610 edges, 49 markings/sec, 1890 secs
lola: 83873 markings, 117977 edges, 51 markings/sec, 1895 secs
lola: 84135 markings, 118360 edges, 52 markings/sec, 1900 secs
lola: 84385 markings, 118725 edges, 50 markings/sec, 1905 secs
lola: 84617 markings, 119088 edges, 46 markings/sec, 1910 secs
lola: 84878 markings, 119490 edges, 52 markings/sec, 1915 secs
lola: 85141 markings, 119855 edges, 53 markings/sec, 1920 secs
lola: 85391 markings, 120204 edges, 50 markings/sec, 1925 secs
lola: 85651 markings, 120566 edges, 52 markings/sec, 1930 secs
lola: 85909 markings, 120954 edges, 52 markings/sec, 1935 secs
lola: 86150 markings, 121318 edges, 48 markings/sec, 1940 secs
lola: 86414 markings, 121685 edges, 53 markings/sec, 1945 secs
lola: 86659 markings, 122024 edges, 49 markings/sec, 1950 secs
lola: 86907 markings, 122396 edges, 50 markings/sec, 1955 secs
lola: 87143 markings, 122737 edges, 47 markings/sec, 1960 secs
lola: 87407 markings, 123137 edges, 53 markings/sec, 1965 secs
lola: 87669 markings, 123531 edges, 52 markings/sec, 1970 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 12 6 unknown 12 unknown 24 12 12 12 12 24 24 unknown 24
lola:
preliminary result: unknown unknown 12 6 unknown 12 unknown 24 12 12 12 12 24 24 unknown 24
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown 12 6 unknown 12 unknown 24 12 12 12 12 24 24 unknown 24
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 12 6 unknown 12 unknown 24 12 12 12 12 24 24 unknown 24
lola: memory consumption: 3387256 KB
lola: time consumption: 2942 seconds
lola: memory consumption: 3276900 KB
lola: time consumption: 2942 seconds

BK_STOP 1552870555595

--------------------
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="GlobalResAllocation-COL-06"
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 GlobalResAllocation-COL-06, 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-155246565800160"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/GlobalResAllocation-COL-06.tgz
mv GlobalResAllocation-COL-06 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 ;