Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r174-csrt-158987853500645.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-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-4028
Executing tool itslola
Input is PermAdmissibility-PT-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r174-csrt-158987853500645
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 868K
-rw-r--r-- 1 mcc users 5.2K Apr 12 00:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 12 00:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 16K Apr 10 23:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Apr 10 23:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.9K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 15K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 62K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Apr 10 08:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 10 08:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K Apr 9 12:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Apr 9 12:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 481K Mar 24 05:37 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 PermAdmissibility-PT-20-UpperBounds-00
FORMULA_NAME PermAdmissibility-PT-20-UpperBounds-01
FORMULA_NAME PermAdmissibility-PT-20-UpperBounds-02
FORMULA_NAME PermAdmissibility-PT-20-UpperBounds-03
FORMULA_NAME PermAdmissibility-PT-20-UpperBounds-04
FORMULA_NAME PermAdmissibility-PT-20-UpperBounds-05
FORMULA_NAME PermAdmissibility-PT-20-UpperBounds-06
FORMULA_NAME PermAdmissibility-PT-20-UpperBounds-07
FORMULA_NAME PermAdmissibility-PT-20-UpperBounds-08
FORMULA_NAME PermAdmissibility-PT-20-UpperBounds-09
FORMULA_NAME PermAdmissibility-PT-20-UpperBounds-10
FORMULA_NAME PermAdmissibility-PT-20-UpperBounds-11
FORMULA_NAME PermAdmissibility-PT-20-UpperBounds-12
FORMULA_NAME PermAdmissibility-PT-20-UpperBounds-13
FORMULA_NAME PermAdmissibility-PT-20-UpperBounds-14
FORMULA_NAME PermAdmissibility-PT-20-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1591160579907

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 05:03:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 05:03:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 05:03:05] [INFO ] Load time of PNML (sax parser for PT used): 182 ms
[2020-06-03 05:03:05] [INFO ] Transformed 168 places.
[2020-06-03 05:03:05] [INFO ] Transformed 592 transitions.
[2020-06-03 05:03:05] [INFO ] Parsed PT model containing 168 places and 592 transitions in 305 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 47 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
[2020-06-03 05:03:05] [INFO ] Flatten gal took : 275 ms
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 592 rows 168 cols
[2020-06-03 05:03:05] [INFO ] Computed 32 place invariants in 104 ms
Support contains 33 out of 168 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 168/168 places, 592/592 transitions.
Discarding 47 places :
Also discarding 0 output transitions
Graph (complete) has 1615 edges and 168 vertex of which 121 are kept as prefixes of interest. Removing 47 places using SCC suffix rule.49 ms
Symmetric choice reduction at 0 with 13 rule applications. Total rules 14 place count 121 transition count 592
Deduced a syphon composed of 13 places in 2 ms
Reduce places removed 13 places and 124 transitions.
Iterating global reduction 0 with 26 rules applied. Total rules applied 40 place count 108 transition count 468
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 41 place count 108 transition count 530
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 42 place count 107 transition count 530
Applied a total of 42 rules in 237 ms. Remains 107 /168 variables (removed 61) and now considering 530/592 (removed 62) transitions.
Finished structural reductions, in 1 iterations. Remains : 107/168 places, 530/592 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 530 rows 107 cols
[2020-06-03 05:03:06] [INFO ] Computed 18 place invariants in 5 ms
Support contains 33 out of 107 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 107/107 places, 530/530 transitions.
Applied a total of 0 rules in 32 ms. Remains 107 /107 variables (removed 0) and now considering 530/530 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 107/107 places, 530/530 transitions.
Starting structural reductions, iteration 0 : 107/107 places, 530/530 transitions.
Applied a total of 0 rules in 90 ms. Remains 107 /107 variables (removed 0) and now considering 530/530 (removed 0) transitions.
// Phase 1: matrix 530 rows 107 cols
[2020-06-03 05:03:06] [INFO ] Computed 18 place invariants in 5 ms
[2020-06-03 05:03:07] [INFO ] Implicit Places using invariants in 1062 ms returned [32]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 1066 ms to find 1 implicit places.
[2020-06-03 05:03:07] [INFO ] Redundant transitions in 49 ms returned []
// Phase 1: matrix 530 rows 106 cols
[2020-06-03 05:03:07] [INFO ] Computed 17 place invariants in 4 ms
[2020-06-03 05:03:09] [INFO ] Dead Transitions using invariants and state equation in 2333 ms returned []
Starting structural reductions, iteration 1 : 106/107 places, 530/530 transitions.
Applied a total of 0 rules in 35 ms. Remains 106 /106 variables (removed 0) and now considering 530/530 (removed 0) transitions.
[2020-06-03 05:03:09] [INFO ] Redundant transitions in 23 ms returned []
// Phase 1: matrix 530 rows 106 cols
[2020-06-03 05:03:10] [INFO ] Computed 17 place invariants in 7 ms
[2020-06-03 05:03:13] [INFO ] Dead Transitions using invariants and state equation in 3767 ms returned []
Finished structural reductions, in 2 iterations. Remains : 106/107 places, 530/530 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 530 rows 106 cols
[2020-06-03 05:03:13] [INFO ] Computed 17 place invariants in 3 ms
Support contains 33 out of 106 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 106/106 places, 530/530 transitions.
Applied a total of 0 rules in 9 ms. Remains 106 /106 variables (removed 0) and now considering 530/530 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 106/106 places, 530/530 transitions.
Starting structural reductions, iteration 0 : 106/106 places, 530/530 transitions.
Applied a total of 0 rules in 8 ms. Remains 106 /106 variables (removed 0) and now considering 530/530 (removed 0) transitions.
// Phase 1: matrix 530 rows 106 cols
[2020-06-03 05:03:13] [INFO ] Computed 17 place invariants in 2 ms
[2020-06-03 05:03:14] [INFO ] Implicit Places using invariants in 238 ms returned []
// Phase 1: matrix 530 rows 106 cols
[2020-06-03 05:03:14] [INFO ] Computed 17 place invariants in 2 ms
[2020-06-03 05:03:15] [INFO ] Implicit Places using invariants and state equation in 1371 ms returned []
Implicit Place search using SMT with State Equation took 1637 ms to find 0 implicit places.
[2020-06-03 05:03:15] [INFO ] Redundant transitions in 4 ms returned []
// Phase 1: matrix 530 rows 106 cols
[2020-06-03 05:03:15] [INFO ] Computed 17 place invariants in 3 ms
[2020-06-03 05:03:17] [INFO ] Dead Transitions using invariants and state equation in 2446 ms returned []
Finished structural reductions, in 1 iterations. Remains : 106/106 places, 530/530 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Applied a total of 0 rules in 9 ms. Remains 106 /106 variables (removed 0) and now considering 530/530 (removed 0) transitions.
// Phase 1: matrix 530 rows 106 cols
[2020-06-03 05:03:18] [INFO ] Computed 17 place invariants in 3 ms
[2020-06-03 05:03:18] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 2 ms.
[2020-06-03 05:03:18] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 25 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ PermAdmissibility-PT-20 @ 3570 seconds

FORMULA PermAdmissibility-PT-20-UpperBounds-03 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-20-UpperBounds-04 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-20-UpperBounds-06 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-20-UpperBounds-07 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-20-UpperBounds-08 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-20-UpperBounds-11 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-20-UpperBounds-12 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-20-UpperBounds-14 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-20-UpperBounds-05 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-20-UpperBounds-02 40 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-20-UpperBounds-00 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PermAdmissibility-PT-20-UpperBounds-01 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ PermAdmissibility-PT-20

{
"exit":
{
"memory": 8791120,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p93)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"preliminary_value": "20 20 40 20 20 40 20 20 20 unknown unknown 20 20 unknown 20 unknown "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 636/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3392
lola: finding significant places
lola: 106 places, 530 transitions, 89 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: MAX(p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24) : MAX(p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32) : MAX(p63 + p64 + p77 + p78) : MAX(p61) : MAX(p101) : MAX(p83 + p84) : MAX(p97) : MAX(p95) : MAX(p94) : MAX(p93) : MAX(p3) : MAX(p104) : MAX(p98) : MAX(p26) : MAX(p76) : MAX(p38)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p61)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p61)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 121 markings, 120 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p101)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 61 markings, 60 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p97)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p97)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 181 markings, 180 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p95)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p95)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 221 markings, 220 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p94)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p94)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 101 markings, 100 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p93)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p93)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 1142069 markings, 3444762 edges, 228414 markings/sec, 30 secs
lola: 2000758 markings, 6139714 edges, 171738 markings/sec, 35 secs
lola: 2858444 markings, 8781408 edges, 171537 markings/sec, 40 secs
lola: 3729032 markings, 11641190 edges, 174118 markings/sec, 45 secs
lola: 4383901 markings, 14264674 edges, 130974 markings/sec, 50 secs
lola: 4996082 markings, 16881513 edges, 122436 markings/sec, 55 secs
lola: 5820879 markings, 19757404 edges, 164959 markings/sec, 60 secs
lola: 6535146 markings, 22309570 edges, 142853 markings/sec, 65 secs
lola: 7222735 markings, 24802591 edges, 137518 markings/sec, 70 secs
lola: 7877491 markings, 27285372 edges, 130951 markings/sec, 75 secs
lola: 8620070 markings, 29963842 edges, 148516 markings/sec, 80 secs
lola: 9363208 markings, 32786487 edges, 148628 markings/sec, 85 secs
lola: 10139963 markings, 35558830 edges, 155351 markings/sec, 90 secs
lola: 10819406 markings, 38295165 edges, 135889 markings/sec, 95 secs
lola: 11463431 markings, 41053103 edges, 128805 markings/sec, 100 secs
lola: 12119486 markings, 43713831 edges, 131211 markings/sec, 105 secs
lola: 12719009 markings, 46413083 edges, 119905 markings/sec, 110 secs
lola: 13388786 markings, 49147505 edges, 133955 markings/sec, 115 secs
lola: 14002022 markings, 51829672 edges, 122647 markings/sec, 120 secs
lola: 14616757 markings, 54583374 edges, 122947 markings/sec, 125 secs
lola: 15280714 markings, 57360585 edges, 132791 markings/sec, 130 secs
lola: 15906014 markings, 60109245 edges, 125060 markings/sec, 135 secs
lola: 16521010 markings, 62880602 edges, 122999 markings/sec, 140 secs
lola: 17180454 markings, 65731475 edges, 131889 markings/sec, 145 secs
lola: 17767197 markings, 68489335 edges, 117349 markings/sec, 150 secs
lola: 18427272 markings, 71232845 edges, 132015 markings/sec, 155 secs
lola: 19087999 markings, 74029537 edges, 132145 markings/sec, 160 secs
lola: 19919266 markings, 76710564 edges, 166253 markings/sec, 165 secs
lola: 20632932 markings, 79437499 edges, 142733 markings/sec, 170 secs
lola: 21373803 markings, 82151804 edges, 148174 markings/sec, 175 secs
lola: 22099088 markings, 84865268 edges, 145057 markings/sec, 180 secs
lola: 22806894 markings, 87582144 edges, 141561 markings/sec, 185 secs
lola: 23438984 markings, 90219286 edges, 126418 markings/sec, 190 secs
lola: 24031394 markings, 92829616 edges, 118482 markings/sec, 195 secs
lola: 24663604 markings, 95530909 edges, 126442 markings/sec, 200 secs
lola: 25275210 markings, 98188596 edges, 122321 markings/sec, 205 secs
lola: 25821600 markings, 100779008 edges, 109278 markings/sec, 210 secs
lola: 26440024 markings, 103361944 edges, 123685 markings/sec, 215 secs
lola: 27159404 markings, 105904187 edges, 143876 markings/sec, 220 secs
lola: 27811108 markings, 108419066 edges, 130341 markings/sec, 225 secs
lola: 28447076 markings, 110944013 edges, 127194 markings/sec, 230 secs
lola: 29091154 markings, 113432150 edges, 128816 markings/sec, 235 secs
lola: 29763646 markings, 115914526 edges, 134498 markings/sec, 240 secs
lola: 30347948 markings, 118541886 edges, 116860 markings/sec, 245 secs
lola: 31004214 markings, 121129997 edges, 131253 markings/sec, 250 secs
lola: 31678916 markings, 123709714 edges, 134940 markings/sec, 255 secs
lola: 32361007 markings, 126309376 edges, 136418 markings/sec, 260 secs
lola: 32884450 markings, 128903497 edges, 104689 markings/sec, 265 secs
lola: 33527852 markings, 131466299 edges, 128680 markings/sec, 270 secs
lola: 34199407 markings, 134024691 edges, 134311 markings/sec, 275 secs
lola: 34889029 markings, 136618609 edges, 137924 markings/sec, 280 secs
lola: 35489579 markings, 139318358 edges, 120110 markings/sec, 285 secs
lola: 36023004 markings, 141976129 edges, 106685 markings/sec, 290 secs
lola: 36681584 markings, 144653621 edges, 131716 markings/sec, 295 secs
lola: 37281569 markings, 147302951 edges, 119997 markings/sec, 300 secs
lola: 37948172 markings, 150112246 edges, 133321 markings/sec, 305 secs
lola: 38604347 markings, 152875409 edges, 131235 markings/sec, 310 secs
lola: 39241044 markings, 155649306 edges, 127339 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 20 20 unknown 20 20 20 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1530084 KB
lola: time consumption: 328 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 20
lola: 1202534 markings, 1536261 edges, 240507 markings/sec, 0 secs
lola: 2385874 markings, 3043109 edges, 236668 markings/sec, 5 secs
lola: 3545979 markings, 4575702 edges, 232021 markings/sec, 10 secs
lola: 4697388 markings, 6159416 edges, 230282 markings/sec, 15 secs
lola: 5787281 markings, 7709265 edges, 217979 markings/sec, 20 secs
lola: 6936441 markings, 9211880 edges, 229832 markings/sec, 25 secs
lola: 8133450 markings, 10753496 edges, 239402 markings/sec, 30 secs
lola: 9496083 markings, 12520602 edges, 272527 markings/sec, 35 secs
lola: 10704659 markings, 14181387 edges, 241715 markings/sec, 40 secs
lola: 12005077 markings, 15911403 edges, 260084 markings/sec, 45 secs
lola: 13373397 markings, 17740302 edges, 273664 markings/sec, 50 secs
lola: 14702018 markings, 19562173 edges, 265724 markings/sec, 55 secs
lola: 16042831 markings, 21453668 edges, 268163 markings/sec, 60 secs
lola: 17272094 markings, 23351501 edges, 245853 markings/sec, 65 secs
lola: 18424394 markings, 25072504 edges, 230460 markings/sec, 70 secs
lola: 19578998 markings, 26722516 edges, 230921 markings/sec, 75 secs
lola: 20812409 markings, 28473819 edges, 246682 markings/sec, 80 secs
lola: 22116431 markings, 30314480 edges, 260804 markings/sec, 85 secs
lola: 23410850 markings, 32209693 edges, 258884 markings/sec, 90 secs
lola: 24834580 markings, 34137053 edges, 284746 markings/sec, 95 secs
lola: 26048054 markings, 35761063 edges, 242695 markings/sec, 100 secs
lola: 27162205 markings, 37308911 edges, 222830 markings/sec, 105 secs
lola: 28200405 markings, 38828452 edges, 207640 markings/sec, 110 secs
lola: 29203164 markings, 40312757 edges, 200552 markings/sec, 115 secs
lola: 30331744 markings, 41666975 edges, 225716 markings/sec, 120 secs
lola: 31372752 markings, 43153741 edges, 208202 markings/sec, 125 secs
lola: 32373905 markings, 44675535 edges, 200231 markings/sec, 130 secs
lola: 33395423 markings, 46191087 edges, 204304 markings/sec, 135 secs
lola: 34442983 markings, 47623292 edges, 209512 markings/sec, 140 secs
lola: 35446985 markings, 49077526 edges, 200800 markings/sec, 145 secs
lola: 36511467 markings, 50560380 edges, 212896 markings/sec, 150 secs
lola: 37565375 markings, 51991093 edges, 210782 markings/sec, 155 secs
lola: 38608256 markings, 53453375 edges, 208576 markings/sec, 160 secs
lola: 39610999 markings, 55053516 edges, 200549 markings/sec, 165 secs
lola: 40578451 markings, 56577144 edges, 193490 markings/sec, 170 secs
lola: 41626668 markings, 58058873 edges, 209643 markings/sec, 175 secs
lola: 42661407 markings, 59530873 edges, 206948 markings/sec, 180 secs
lola: 43649729 markings, 61032279 edges, 197664 markings/sec, 185 secs
lola: 44625387 markings, 62575588 edges, 195132 markings/sec, 190 secs
lola: 45599058 markings, 64110315 edges, 194734 markings/sec, 195 secs
lola: 46650095 markings, 65573408 edges, 210207 markings/sec, 200 secs
lola: 47694968 markings, 67022784 edges, 208975 markings/sec, 205 secs
lola: 48736582 markings, 68423372 edges, 208323 markings/sec, 210 secs
lola: 49729190 markings, 69858980 edges, 198522 markings/sec, 215 secs
lola: 50749626 markings, 71286766 edges, 204087 markings/sec, 220 secs
lola: 51758244 markings, 72735119 edges, 201724 markings/sec, 225 secs
lola: 52777171 markings, 74183959 edges, 203785 markings/sec, 230 secs
lola: 53770189 markings, 75640409 edges, 198604 markings/sec, 235 secs
lola: 54745019 markings, 77122511 edges, 194966 markings/sec, 240 secs
lola: 55724484 markings, 78703790 edges, 195893 markings/sec, 245 secs
lola: 56754309 markings, 80215753 edges, 205965 markings/sec, 250 secs
lola: 57863782 markings, 81649639 edges, 221895 markings/sec, 255 secs
lola: 58904003 markings, 83078298 edges, 208044 markings/sec, 260 secs
lola: 59947429 markings, 84486561 edges, 208685 markings/sec, 265 secs
lola: 60952425 markings, 85883521 edges, 200999 markings/sec, 270 secs
lola: 61983290 markings, 87301300 edges, 206173 markings/sec, 275 secs
lola: 63014690 markings, 88699708 edges, 206280 markings/sec, 280 secs
lola: 64022801 markings, 90142887 edges, 201622 markings/sec, 285 secs
lola: 64999895 markings, 91609285 edges, 195419 markings/sec, 290 secs
lola: 65964299 markings, 93066539 edges, 192881 markings/sec, 295 secs
lola: 66862010 markings, 94519681 edges, 179542 markings/sec, 300 secs
lola: 67777657 markings, 95958455 edges, 183129 markings/sec, 305 secs
lola: 68743868 markings, 97377868 edges, 193242 markings/sec, 310 secs
lola: 69762673 markings, 98743031 edges, 203761 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 20 20 unknown 20 20 20 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2703664 KB
lola: time consumption: 652 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 324 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 UpperBounds.xml
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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 364 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p98)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p98)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 416 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p26)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 20
lola: 258755 markings, 981878 edges, 51751 markings/sec, 0 secs
lola: 505616 markings, 2037104 edges, 49372 markings/sec, 5 secs
lola: 753666 markings, 3115057 edges, 49610 markings/sec, 10 secs
lola: 1002264 markings, 4217650 edges, 49720 markings/sec, 15 secs
lola: 1252205 markings, 5321734 edges, 49988 markings/sec, 20 secs
lola: 1505845 markings, 6452337 edges, 50728 markings/sec, 25 secs
lola: 1757132 markings, 7561790 edges, 50257 markings/sec, 30 secs
lola: 2002716 markings, 8662453 edges, 49117 markings/sec, 35 secs
lola: 2248530 markings, 9755230 edges, 49163 markings/sec, 40 secs
lola: 2494657 markings, 10863512 edges, 49225 markings/sec, 45 secs
lola: 2744152 markings, 11975112 edges, 49899 markings/sec, 50 secs
lola: 2995245 markings, 13061386 edges, 50219 markings/sec, 55 secs
lola: 3247464 markings, 14159556 edges, 50444 markings/sec, 60 secs
lola: 3498738 markings, 15222371 edges, 50255 markings/sec, 65 secs
lola: 3749461 markings, 16327625 edges, 50145 markings/sec, 70 secs
lola: 3998198 markings, 17435821 edges, 49747 markings/sec, 75 secs
lola: 4251936 markings, 18550676 edges, 50748 markings/sec, 80 secs
lola: 4494415 markings, 19475158 edges, 48496 markings/sec, 85 secs
lola: 4739142 markings, 20430059 edges, 48945 markings/sec, 90 secs
lola: 4971073 markings, 21367767 edges, 46386 markings/sec, 95 secs
lola: 5199494 markings, 22218072 edges, 45684 markings/sec, 100 secs
lola: 5426652 markings, 23248075 edges, 45432 markings/sec, 105 secs
lola: 5653571 markings, 24234326 edges, 45384 markings/sec, 110 secs
lola: 5890580 markings, 25247566 edges, 47402 markings/sec, 115 secs
lola: 6121104 markings, 26329968 edges, 46105 markings/sec, 120 secs
lola: 6348250 markings, 27491591 edges, 45429 markings/sec, 125 secs
lola: 6558306 markings, 29122440 edges, 42011 markings/sec, 130 secs
lola: 6846207 markings, 30583651 edges, 57580 markings/sec, 135 secs
lola: 7198229 markings, 32375172 edges, 70404 markings/sec, 140 secs
lola: 7558278 markings, 34178085 edges, 72010 markings/sec, 145 secs
lola: 7904756 markings, 35926945 edges, 69296 markings/sec, 150 secs
lola: 8244757 markings, 37384357 edges, 68000 markings/sec, 155 secs
lola: 8549748 markings, 38585364 edges, 60998 markings/sec, 160 secs
lola: 8815598 markings, 39615122 edges, 53170 markings/sec, 165 secs
lola: 9060479 markings, 40576562 edges, 48976 markings/sec, 170 secs
lola: 9299873 markings, 41534148 edges, 47879 markings/sec, 175 secs
lola: 9539505 markings, 42455583 edges, 47926 markings/sec, 180 secs
lola: 9777956 markings, 43550312 edges, 47690 markings/sec, 185 secs
lola: 10021411 markings, 44572786 edges, 48691 markings/sec, 190 secs
lola: 10255415 markings, 45603027 edges, 46801 markings/sec, 195 secs
lola: 10490604 markings, 46707826 edges, 47038 markings/sec, 200 secs
lola: 10711926 markings, 47831088 edges, 44264 markings/sec, 205 secs
lola: 10898176 markings, 49188275 edges, 37250 markings/sec, 210 secs
lola: 11071706 markings, 50644022 edges, 34706 markings/sec, 215 secs
lola: 11351071 markings, 51961961 edges, 55873 markings/sec, 220 secs
lola: 11632888 markings, 53393110 edges, 56363 markings/sec, 225 secs
lola: 11915133 markings, 54865671 edges, 56449 markings/sec, 230 secs
lola: 12200839 markings, 56297119 edges, 57141 markings/sec, 235 secs
lola: 12486086 markings, 57760255 edges, 57049 markings/sec, 240 secs
lola: 12751510 markings, 58868316 edges, 53085 markings/sec, 245 secs
lola: 12985042 markings, 59883309 edges, 46706 markings/sec, 250 secs
lola: 13218479 markings, 60969948 edges, 46687 markings/sec, 255 secs
lola: 13460491 markings, 61960630 edges, 48402 markings/sec, 260 secs
lola: 13701670 markings, 63083733 edges, 48236 markings/sec, 265 secs
lola: 13930834 markings, 64148830 edges, 45833 markings/sec, 270 secs
lola: 14157117 markings, 65208373 edges, 45257 markings/sec, 275 secs
lola: 14398169 markings, 66207720 edges, 48210 markings/sec, 280 secs
lola: 14637107 markings, 67328291 edges, 47788 markings/sec, 285 secs
lola: 14861315 markings, 68392620 edges, 44842 markings/sec, 290 secs
lola: 15086096 markings, 69410701 edges, 44956 markings/sec, 295 secs
lola: 15321207 markings, 70409553 edges, 47022 markings/sec, 300 secs
lola: 15539300 markings, 71424944 edges, 43619 markings/sec, 305 secs
lola: 15754127 markings, 72463965 edges, 42965 markings/sec, 310 secs
lola: 15983415 markings, 73397488 edges, 45858 markings/sec, 315 secs
lola: 16205947 markings, 74445732 edges, 44506 markings/sec, 320 secs
lola: 16421220 markings, 75475507 edges, 43055 markings/sec, 325 secs
lola: 16643130 markings, 76397185 edges, 44382 markings/sec, 330 secs
lola: 16868426 markings, 77449532 edges, 45059 markings/sec, 335 secs
lola: 17078242 markings, 78444311 edges, 41963 markings/sec, 340 secs
lola: 17296542 markings, 79396643 edges, 43660 markings/sec, 345 secs
lola: 17528448 markings, 80422596 edges, 46381 markings/sec, 350 secs
lola: 17750439 markings, 81217643 edges, 44398 markings/sec, 355 secs
lola: 17951524 markings, 82015865 edges, 40217 markings/sec, 360 secs
lola: 18152987 markings, 82727110 edges, 40293 markings/sec, 365 secs
lola: 18346512 markings, 83436659 edges, 38705 markings/sec, 370 secs
lola: 18550713 markings, 84262242 edges, 40840 markings/sec, 375 secs
lola: 18744201 markings, 85077463 edges, 38698 markings/sec, 380 secs
lola: 18971486 markings, 86087977 edges, 45457 markings/sec, 385 secs
lola: 19216153 markings, 87070385 edges, 48933 markings/sec, 390 secs
lola: 19435763 markings, 88104863 edges, 43922 markings/sec, 395 secs
lola: 19713475 markings, 89361856 edges, 55542 markings/sec, 400 secs
lola: 19970572 markings, 90644221 edges, 51419 markings/sec, 405 secs
lola: 20214754 markings, 92000837 edges, 48836 markings/sec, 410 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 20 20 unknown 20 20 20 unknown unknown 20 20 unknown unknown unknown
lola: memory consumption: 837792 KB
lola: time consumption: 1068 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 417 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p76)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p76)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 21 markings, 20 edges
lola: ========================================
lola: subprocess 11 will run for 500 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p38)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p38)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 20
lola: 402929 markings, 494110 edges, 80586 markings/sec, 0 secs
lola: 736461 markings, 954684 edges, 66706 markings/sec, 5 secs
lola: 1054177 markings, 1371897 edges, 63543 markings/sec, 10 secs
lola: 1373903 markings, 1819467 edges, 63945 markings/sec, 15 secs
lola: 1674981 markings, 2332519 edges, 60216 markings/sec, 20 secs
lola: 1944727 markings, 2968398 edges, 53949 markings/sec, 25 secs
lola: 2176779 markings, 3712107 edges, 46410 markings/sec, 30 secs
lola: 2407900 markings, 4497424 edges, 46224 markings/sec, 35 secs
lola: 2702813 markings, 5479123 edges, 58983 markings/sec, 40 secs
lola: 3027855 markings, 5968800 edges, 65008 markings/sec, 45 secs
lola: 3340329 markings, 6445692 edges, 62495 markings/sec, 50 secs
lola: 3645550 markings, 6943660 edges, 61044 markings/sec, 55 secs
lola: 3925404 markings, 7556687 edges, 55971 markings/sec, 60 secs
lola: 4162105 markings, 8265234 edges, 47340 markings/sec, 65 secs
lola: 4364301 markings, 9085201 edges, 40439 markings/sec, 70 secs
lola: 4628668 markings, 10101429 edges, 52873 markings/sec, 75 secs
lola: 4956607 markings, 10533215 edges, 65588 markings/sec, 80 secs
lola: 5290442 markings, 10982710 edges, 66767 markings/sec, 85 secs
lola: 5605847 markings, 11434601 edges, 63081 markings/sec, 90 secs
lola: 5916165 markings, 11921477 edges, 62064 markings/sec, 95 secs
lola: 6202282 markings, 12466413 edges, 57223 markings/sec, 100 secs
lola: 6464781 markings, 13089395 edges, 52500 markings/sec, 105 secs
lola: 6708965 markings, 13779762 edges, 48837 markings/sec, 110 secs
lola: 6917204 markings, 14559833 edges, 41648 markings/sec, 115 secs
lola: 7143290 markings, 15315983 edges, 45217 markings/sec, 120 secs
lola: 7336730 markings, 16182421 edges, 38688 markings/sec, 125 secs
lola: 7665384 markings, 17185428 edges, 65731 markings/sec, 130 secs
lola: 7988761 markings, 17679923 edges, 64675 markings/sec, 135 secs
lola: 8284335 markings, 18212706 edges, 59115 markings/sec, 140 secs
lola: 8534152 markings, 18873784 edges, 49963 markings/sec, 145 secs
lola: 8754500 markings, 19616473 edges, 44070 markings/sec, 150 secs
lola: 8973352 markings, 20362513 edges, 43770 markings/sec, 155 secs
lola: 9184204 markings, 21295950 edges, 42170 markings/sec, 160 secs
lola: 9487520 markings, 22028818 edges, 60663 markings/sec, 165 secs
lola: 9764798 markings, 22654755 edges, 55456 markings/sec, 170 secs
lola: 9974326 markings, 23437373 edges, 41906 markings/sec, 175 secs
lola: 10166016 markings, 24278105 edges, 38338 markings/sec, 180 secs
lola: 10379660 markings, 25293443 edges, 42729 markings/sec, 185 secs
lola: 10620084 markings, 25988753 edges, 48085 markings/sec, 190 secs
lola: 10824829 markings, 26787916 edges, 40949 markings/sec, 195 secs
lola: 11014874 markings, 27810855 edges, 38009 markings/sec, 200 secs
lola: 11224730 markings, 28604415 edges, 41971 markings/sec, 205 secs
lola: 11409380 markings, 29461923 edges, 36930 markings/sec, 210 secs
lola: 11578498 markings, 30464635 edges, 33824 markings/sec, 215 secs
lola: 11792105 markings, 31203466 edges, 42721 markings/sec, 220 secs
lola: 11979024 markings, 32196040 edges, 37384 markings/sec, 225 secs
lola: 12165627 markings, 33074992 edges, 37321 markings/sec, 230 secs
lola: 12334985 markings, 34133708 edges, 33872 markings/sec, 235 secs
lola: 12728973 markings, 34995683 edges, 78798 markings/sec, 240 secs
lola: 13042525 markings, 35460508 edges, 62710 markings/sec, 245 secs
lola: 13345150 markings, 35933109 edges, 60525 markings/sec, 250 secs
lola: 13644760 markings, 36425561 edges, 59922 markings/sec, 255 secs
lola: 13919538 markings, 37020473 edges, 54956 markings/sec, 260 secs
lola: 14165488 markings, 37721942 edges, 49190 markings/sec, 265 secs
lola: 14402622 markings, 38691080 edges, 47427 markings/sec, 270 secs
lola: 14675882 markings, 39776934 edges, 54652 markings/sec, 275 secs
lola: 15047564 markings, 40415072 edges, 74336 markings/sec, 280 secs
lola: 15406649 markings, 41007984 edges, 71817 markings/sec, 285 secs
lola: 15734371 markings, 41682889 edges, 65544 markings/sec, 290 secs
lola: 16010921 markings, 42419399 edges, 55310 markings/sec, 295 secs
lola: 16272294 markings, 43343406 edges, 52275 markings/sec, 300 secs
lola: 16500181 markings, 44300661 edges, 45577 markings/sec, 305 secs
lola: 16762701 markings, 45414428 edges, 52504 markings/sec, 310 secs
lola: 17047419 markings, 46064102 edges, 56944 markings/sec, 315 secs
lola: 17305697 markings, 46637590 edges, 51656 markings/sec, 320 secs
lola: 17540546 markings, 47506738 edges, 46970 markings/sec, 325 secs
lola: 17729602 markings, 48333837 edges, 37811 markings/sec, 330 secs
lola: 17924876 markings, 49303256 edges, 39055 markings/sec, 335 secs
lola: 18188183 markings, 50171601 edges, 52661 markings/sec, 340 secs
lola: 18401415 markings, 50896907 edges, 42646 markings/sec, 345 secs
lola: 18573684 markings, 51807431 edges, 34454 markings/sec, 350 secs
lola: 18767192 markings, 52724811 edges, 38702 markings/sec, 355 secs
lola: 18953141 markings, 53673386 edges, 37190 markings/sec, 360 secs
lola: 19115998 markings, 54629038 edges, 32571 markings/sec, 365 secs
lola: 19286017 markings, 55531777 edges, 34004 markings/sec, 370 secs
lola: 19459438 markings, 56574807 edges, 34684 markings/sec, 375 secs
lola: 19818790 markings, 57488937 edges, 71870 markings/sec, 380 secs
lola: 20131803 markings, 57905707 edges, 62603 markings/sec, 385 secs
lola: 20442037 markings, 58324815 edges, 62047 markings/sec, 390 secs
lola: 20744375 markings, 58744415 edges, 60468 markings/sec, 395 secs
lola: 21047142 markings, 59217475 edges, 60553 markings/sec, 400 secs
lola: 21362024 markings, 59710622 edges, 62976 markings/sec, 405 secs
lola: 21652651 markings, 60300910 edges, 58125 markings/sec, 410 secs
lola: 21928161 markings, 60936917 edges, 55102 markings/sec, 415 secs
lola: 22185940 markings, 61675555 edges, 51556 markings/sec, 420 secs
lola: 22418765 markings, 62422846 edges, 46565 markings/sec, 425 secs
lola: 22637686 markings, 63277243 edges, 43784 markings/sec, 430 secs
lola: 22876677 markings, 64054636 edges, 47798 markings/sec, 435 secs
lola: 23080100 markings, 64967360 edges, 40685 markings/sec, 440 secs
lola: 23375447 markings, 66014445 edges, 59069 markings/sec, 445 secs
lola: 23720052 markings, 66679905 edges, 68921 markings/sec, 450 secs
lola: 24038144 markings, 67182175 edges, 63618 markings/sec, 455 secs
lola: 24324299 markings, 67713962 edges, 57231 markings/sec, 460 secs
lola: 24596603 markings, 68296220 edges, 54461 markings/sec, 465 secs
lola: 24808043 markings, 69085983 edges, 42288 markings/sec, 470 secs
lola: 25027512 markings, 69797929 edges, 43894 markings/sec, 475 secs
lola: 25252423 markings, 70533669 edges, 44982 markings/sec, 480 secs
lola: 25445267 markings, 71389253 edges, 38569 markings/sec, 485 secs
lola: 25692959 markings, 72384077 edges, 49538 markings/sec, 490 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 20 20 unknown 20 20 20 unknown unknown 20 20 unknown 20 unknown
lola: memory consumption: 1243260 KB
lola: time consumption: 1568 seconds
lola: print data as JSON (--json)
lola: caught signal User defined signal 2 - aborting LoLA
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola:
preliminary result: unknown unknown unknown 20 20 unknown 20 20 20 unknown unknown 20 20 unknown 20 unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 500 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p83 + p84)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p83 + p84)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 667 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p63 + p64 + p77 + p78)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p63 + p64 + p77 + p78)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 40
lola: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: 61 markings, 60 edges
lola: ========================================
lola: subprocess 14 will run for 1001 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24)
lola: processed formula length: 50
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 301 markings, 300 edges
lola: ========================================
lola: subprocess 15 will run for 2002 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32)
lola: processed formula length: 50
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 281 markings, 280 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p93)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p93)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: Structural Bound: 4294967295
lola: 3099 markings, 3685 edges, 620 markings/sec, 25 secs
lola: 951894 markings, 2846039 edges, 189759 markings/sec, 30 secs
lola: 1825281 markings, 5656518 edges, 174677 markings/sec, 35 secs
lola: 2696321 markings, 8242535 edges, 174208 markings/sec, 40 secs
lola: 3508101 markings, 10881228 edges, 162356 markings/sec, 45 secs
lola: 4240239 markings, 13673627 edges, 146428 markings/sec, 50 secs
lola: 4902433 markings, 16476433 edges, 132439 markings/sec, 55 secs
lola: 5658792 markings, 19209402 edges, 151272 markings/sec, 60 secs
lola: 6417104 markings, 21876911 edges, 151662 markings/sec, 65 secs
lola: 7163342 markings, 24584214 edges, 149248 markings/sec, 70 secs
lola: 7867597 markings, 27234672 edges, 140851 markings/sec, 75 secs
lola: 8600749 markings, 29890358 edges, 146630 markings/sec, 80 secs
lola: 9304524 markings, 32582658 edges, 140755 markings/sec, 85 secs
lola: 10054993 markings, 35241356 edges, 150094 markings/sec, 90 secs
lola: 10726735 markings, 37901143 edges, 134348 markings/sec, 95 secs
lola: 11337139 markings, 40541044 edges, 122081 markings/sec, 100 secs
lola: 11976449 markings, 43189160 edges, 127862 markings/sec, 105 secs
lola: 12593175 markings, 45794879 edges, 123345 markings/sec, 110 secs
lola: 13229634 markings, 48469595 edges, 127292 markings/sec, 115 secs
lola: 13835736 markings, 51077163 edges, 121220 markings/sec, 120 secs
lola: 14433695 markings, 53743818 edges, 119592 markings/sec, 125 secs
lola: 15116364 markings, 56617221 edges, 136534 markings/sec, 130 secs
lola: 15708492 markings, 59281809 edges, 118426 markings/sec, 135 secs
lola: 16311233 markings, 61924877 edges, 120548 markings/sec, 140 secs
lola: 16923455 markings, 64583449 edges, 122444 markings/sec, 145 secs
lola: 17527621 markings, 67158810 edges, 120833 markings/sec, 150 secs
lola: 18110215 markings, 69933289 edges, 116519 markings/sec, 155 secs
lola: 18688624 markings, 72542021 edges, 115682 markings/sec, 160 secs
lola: 19448049 markings, 75212609 edges, 151885 markings/sec, 165 secs
lola: 20224671 markings, 77780488 edges, 155324 markings/sec, 170 secs
lola: 20908712 markings, 80476460 edges, 136808 markings/sec, 175 secs
lola: 21616632 markings, 83067823 edges, 141584 markings/sec, 180 secs
lola: 22304404 markings, 85686915 edges, 137554 markings/sec, 185 secs
lola: 22985126 markings, 88290990 edges, 136144 markings/sec, 190 secs
lola: 23588907 markings, 90857288 edges, 120756 markings/sec, 195 secs
lola: 24188197 markings, 93465823 edges, 119858 markings/sec, 200 secs
lola: 24778746 markings, 96057131 edges, 118110 markings/sec, 205 secs
lola: 25387209 markings, 98665953 edges, 121693 markings/sec, 210 secs
lola: 25945479 markings, 101261234 edges, 111654 markings/sec, 215 secs
lola: 26604823 markings, 103914200 edges, 131869 markings/sec, 220 secs
lola: 27294709 markings, 106509127 edges, 137977 markings/sec, 225 secs
lola: 27987197 markings, 109013494 edges, 138498 markings/sec, 230 secs
lola: 28580343 markings, 111571016 edges, 118629 markings/sec, 235 secs
lola: 29261668 markings, 114112914 edges, 136265 markings/sec, 240 secs
lola: 29956555 markings, 116655543 edges, 138977 markings/sec, 245 secs
lola: 30491085 markings, 119218623 edges, 106906 markings/sec, 250 secs
lola: 31149034 markings, 121709039 edges, 131590 markings/sec, 255 secs
lola: 31820864 markings, 124191046 edges, 134366 markings/sec, 260 secs
lola: 32457422 markings, 126786360 edges, 127312 markings/sec, 265 secs
lola: 32981897 markings, 129354667 edges, 104895 markings/sec, 270 secs
lola: 33634950 markings, 131861317 edges, 130611 markings/sec, 275 secs
lola: 34434585 markings, 134902109 edges, 159927 markings/sec, 280 secs
lola: 35215482 markings, 137995480 edges, 156179 markings/sec, 285 secs
lola: 35837477 markings, 141087849 edges, 124399 markings/sec, 290 secs
lola: 36546509 markings, 144123489 edges, 141806 markings/sec, 295 secs
lola: 37266410 markings, 147230532 edges, 143980 markings/sec, 300 secs
lola: 38044239 markings, 150508998 edges, 155566 markings/sec, 305 secs
lola: 38827420 markings, 153812580 edges, 156636 markings/sec, 310 secs
lola: 39576905 markings, 157234106 edges, 149897 markings/sec, 315 secs
lola: 40219238 markings, 160328235 edges, 128467 markings/sec, 320 secs
lola: 40894080 markings, 163571550 edges, 134968 markings/sec, 325 secs
lola: 41524771 markings, 166760357 edges, 126138 markings/sec, 330 secs
lola: 42192614 markings, 169869650 edges, 133569 markings/sec, 335 secs
lola: 42889779 markings, 173205991 edges, 139433 markings/sec, 340 secs
lola: 43457260 markings, 176029466 edges, 113496 markings/sec, 345 secs
lola: 44108532 markings, 178475264 edges, 130254 markings/sec, 350 secs
lola: 44676227 markings, 180806676 edges, 113539 markings/sec, 355 secs
lola: 45327499 markings, 183354825 edges, 130254 markings/sec, 360 secs
lola: 45938861 markings, 185912474 edges, 122272 markings/sec, 365 secs
lola: 46557415 markings, 188345134 edges, 123711 markings/sec, 370 secs
lola: 47083261 markings, 190860499 edges, 105169 markings/sec, 375 secs
lola: 47646373 markings, 193343740 edges, 112622 markings/sec, 380 secs
lola: 48217716 markings, 196128342 edges, 114269 markings/sec, 385 secs
lola: 48810978 markings, 198898355 edges, 118652 markings/sec, 390 secs
lola: 49412861 markings, 201710845 edges, 120377 markings/sec, 395 secs
lola: 50028898 markings, 204550333 edges, 123207 markings/sec, 400 secs
lola: 50740369 markings, 207147464 edges, 142294 markings/sec, 405 secs
lola: 51391571 markings, 209579604 edges, 130240 markings/sec, 410 secs
lola: 51972769 markings, 212172847 edges, 116240 markings/sec, 415 secs
lola: 52675860 markings, 214734608 edges, 140618 markings/sec, 420 secs
lola: 53410501 markings, 217564334 edges, 146928 markings/sec, 425 secs
lola: 53978950 markings, 220052713 edges, 113690 markings/sec, 430 secs
lola: 54521080 markings, 222443878 edges, 108426 markings/sec, 435 secs
lola: 55041693 markings, 224982894 edges, 104123 markings/sec, 440 secs
lola: 55725460 markings, 227556398 edges, 136753 markings/sec, 445 secs
lola: 56435098 markings, 230254735 edges, 141928 markings/sec, 450 secs
lola: 57053031 markings, 232706865 edges, 123587 markings/sec, 455 secs
lola: 57660022 markings, 235103300 edges, 121398 markings/sec, 460 secs
lola: 58188758 markings, 237571686 edges, 105747 markings/sec, 465 secs
lola: 58763851 markings, 240089098 edges, 115019 markings/sec, 470 secs
lola: 59403664 markings, 243014221 edges, 127963 markings/sec, 475 secs
lola: 60040307 markings, 245953580 edges, 127329 markings/sec, 480 secs
lola: 60627622 markings, 248830407 edges, 117463 markings/sec, 485 secs
lola: 61352060 markings, 251696397 edges, 144888 markings/sec, 490 secs
lola: 62130245 markings, 254621282 edges, 155637 markings/sec, 495 secs
lola: 62860836 markings, 257514015 edges, 146118 markings/sec, 500 secs
lola: 63541410 markings, 260247457 edges, 136115 markings/sec, 505 secs
lola: 64325324 markings, 263429049 edges, 156783 markings/sec, 510 secs
lola: 64974528 markings, 266314753 edges, 129841 markings/sec, 515 secs
lola: 65628888 markings, 269298901 edges, 130872 markings/sec, 520 secs
lola: 66231692 markings, 272019498 edges, 120561 markings/sec, 525 secs
lola: 66828109 markings, 274821664 edges, 119283 markings/sec, 530 secs
lola: 67421793 markings, 277588036 edges, 118737 markings/sec, 535 secs
lola: 68011558 markings, 280360390 edges, 117953 markings/sec, 540 secs
lola: 68637878 markings, 283338826 edges, 125264 markings/sec, 545 secs
lola: 69360660 markings, 286391589 edges, 144556 markings/sec, 550 secs
lola: 70074578 markings, 289409199 edges, 142784 markings/sec, 555 secs
lola: 70857068 markings, 292407583 edges, 156498 markings/sec, 560 secs
lola: 71563883 markings, 295253854 edges, 141363 markings/sec, 565 secs
lola: 72219139 markings, 297839128 edges, 131051 markings/sec, 570 secs
lola: 72863787 markings, 300481762 edges, 128930 markings/sec, 575 secs
lola: 73507042 markings, 303087965 edges, 128651 markings/sec, 580 secs
lola: 74117274 markings, 305691169 edges, 122046 markings/sec, 585 secs
lola: 74671014 markings, 308258403 edges, 110748 markings/sec, 590 secs
lola: 75265997 markings, 310973069 edges, 118997 markings/sec, 595 secs
lola: 75796301 markings, 313416377 edges, 106061 markings/sec, 600 secs
lola: 76372107 markings, 316233657 edges, 115161 markings/sec, 605 secs
lola: 77006667 markings, 319029787 edges, 126912 markings/sec, 610 secs
lola: 77560056 markings, 321686888 edges, 110678 markings/sec, 615 secs
lola: 78090023 markings, 324203655 edges, 105993 markings/sec, 620 secs
lola: 78674446 markings, 326925326 edges, 116885 markings/sec, 625 secs
lola: 79226713 markings, 329500158 edges, 110453 markings/sec, 630 secs
lola: 79706568 markings, 331976700 edges, 95971 markings/sec, 635 secs
lola: 80315337 markings, 334392214 edges, 121754 markings/sec, 640 secs
lola: 80938845 markings, 336991194 edges, 124702 markings/sec, 645 secs
lola: 81564265 markings, 339535590 edges, 125084 markings/sec, 650 secs
lola: 82143145 markings, 342010342 edges, 115776 markings/sec, 655 secs
lola: 82766080 markings, 344874972 edges, 124587 markings/sec, 660 secs
lola: 83417391 markings, 347791224 edges, 130262 markings/sec, 665 secs
lola: 84010045 markings, 350520973 edges, 118531 markings/sec, 670 secs
lola: 84666795 markings, 353434088 edges, 131350 markings/sec, 675 secs
lola: 85454935 markings, 356606254 edges, 157628 markings/sec, 680 secs
lola: 86179661 markings, 359697857 edges, 144945 markings/sec, 685 secs
lola: 86935173 markings, 363003778 edges, 151102 markings/sec, 690 secs
lola: 87691374 markings, 366373001 edges, 151240 markings/sec, 695 secs
lola: 88232337 markings, 368913438 edges, 108193 markings/sec, 700 secs
lola: 88771445 markings, 371386208 edges, 107822 markings/sec, 705 secs
lola: 89270480 markings, 373973095 edges, 99807 markings/sec, 710 secs
lola: 89912852 markings, 376577366 edges, 128474 markings/sec, 715 secs
lola: 90480741 markings, 379113019 edges, 113578 markings/sec, 720 secs
lola: 91026228 markings, 381679278 edges, 109097 markings/sec, 725 secs
lola: 91578911 markings, 384147298 edges, 110537 markings/sec, 730 secs
lola: 92089679 markings, 386667471 edges, 102154 markings/sec, 735 secs
lola: 92630644 markings, 389265451 edges, 108193 markings/sec, 740 secs
lola: 93127130 markings, 391733615 edges, 99297 markings/sec, 745 secs
lola: 93663959 markings, 394169909 edges, 107366 markings/sec, 750 secs
lola: 94125041 markings, 396777763 edges, 92216 markings/sec, 755 secs
lola: 94746967 markings, 399435046 edges, 124385 markings/sec, 760 secs
lola: 95355147 markings, 402017370 edges, 121636 markings/sec, 765 secs
lola: 95879944 markings, 404584657 edges, 104959 markings/sec, 770 secs
lola: 96427543 markings, 407073200 edges, 109520 markings/sec, 775 secs
lola: 96946751 markings, 409558489 edges, 103842 markings/sec, 780 secs
lola: 97477482 markings, 412108346 edges, 106146 markings/sec, 785 secs
lola: 98006437 markings, 414630071 edges, 105791 markings/sec, 790 secs
lola: 98523589 markings, 417119098 edges, 103430 markings/sec, 795 secs
lola: 98994588 markings, 419717169 edges, 94200 markings/sec, 800 secs
lola: 99531137 markings, 422181031 edges, 107310 markings/sec, 805 secs
lola: 100051335 markings, 424635631 edges, 104040 markings/sec, 810 secs
lola: 100575464 markings, 427166942 edges, 104826 markings/sec, 815 secs
lola: 101027017 markings, 429705899 edges, 90311 markings/sec, 820 secs
lola: 101606391 markings, 432337335 edges, 115875 markings/sec, 825 secs
lola: 102217274 markings, 434995082 edges, 122177 markings/sec, 830 secs
lola: 102740924 markings, 437588118 edges, 104730 markings/sec, 835 secs
lola: 103330750 markings, 440158562 edges, 117965 markings/sec, 840 secs
lola: 103822774 markings, 442753257 edges, 98405 markings/sec, 845 secs
lola: 104392696 markings, 445287712 edges, 113984 markings/sec, 850 secs
lola: 104909492 markings, 447830254 edges, 103359 markings/sec, 855 secs
lola: 105410256 markings, 450395815 edges, 100153 markings/sec, 860 secs
lola: 105965376 markings, 453043860 edges, 111024 markings/sec, 865 secs
lola: 106476065 markings, 455506742 edges, 102138 markings/sec, 870 secs
lola: 106973155 markings, 458071907 edges, 99418 markings/sec, 875 secs
lola: 107476043 markings, 460653889 edges, 100578 markings/sec, 880 secs
lola: 108021858 markings, 463225838 edges, 109163 markings/sec, 885 secs
lola: 108534730 markings, 465771884 edges, 102574 markings/sec, 890 secs
lola: 109036317 markings, 468311212 edges, 100317 markings/sec, 895 secs
lola: 109538464 markings, 470799051 edges, 100429 markings/sec, 900 secs
lola: 110074517 markings, 473465872 edges, 107211 markings/sec, 905 secs
lola: 110641934 markings, 475969626 edges, 113483 markings/sec, 910 secs
lola: 111191218 markings, 478511326 edges, 109857 markings/sec, 915 secs
lola: 111753074 markings, 481124537 edges, 112371 markings/sec, 920 secs
lola: 112263824 markings, 483872863 edges, 102150 markings/sec, 925 secs
lola: 112800485 markings, 486685452 edges, 107332 markings/sec, 930 secs
lola: 113390489 markings, 489722931 edges, 118001 markings/sec, 935 secs
lola: 113865650 markings, 492023500 edges, 95032 markings/sec, 940 secs
lola: 114331039 markings, 494446460 edges, 93078 markings/sec, 945 secs
lola: 114817765 markings, 496840832 edges, 97345 markings/sec, 950 secs
lola: 115376684 markings, 499931920 edges, 111784 markings/sec, 955 secs
lola: 115887709 markings, 502916018 edges, 102205 markings/sec, 960 secs
lola: 116546210 markings, 505954661 edges, 131700 markings/sec, 965 secs
lola: 117248849 markings, 509166444 edges, 140528 markings/sec, 970 secs
lola: 117931495 markings, 512084228 edges, 136529 markings/sec, 975 secs
lola: 118475288 markings, 514951875 edges, 108759 markings/sec, 980 secs
lola: 119018071 markings, 517842477 edges, 108557 markings/sec, 985 secs
lola: 119607979 markings, 521021959 edges, 117982 markings/sec, 990 secs
lola: 120227029 markings, 524306788 edges, 123810 markings/sec, 995 secs
lola: 120925123 markings, 526877999 edges, 139619 markings/sec, 1000 secs
lola: 121580746 markings, 529298530 edges, 131125 markings/sec, 1005 secs
lola: 122254186 markings, 532002313 edges, 134688 markings/sec, 1010 secs
lola: 122903424 markings, 534557269 edges, 129848 markings/sec, 1015 secs
lola: 123483647 markings, 536945406 edges, 116045 markings/sec, 1020 secs
lola: 124167552 markings, 539956701 edges, 136781 markings/sec, 1025 secs
lola: 124893646 markings, 543084459 edges, 145219 markings/sec, 1030 secs
lola: 125518120 markings, 545997019 edges, 124895 markings/sec, 1035 secs
lola: 126166229 markings, 549127019 edges, 129622 markings/sec, 1040 secs
lola: 126823312 markings, 552202800 edges, 131417 markings/sec, 1045 secs
lola: 127629623 markings, 555252288 edges, 161262 markings/sec, 1050 secs
lola: 128355103 markings, 558066273 edges, 145096 markings/sec, 1055 secs
lola: 129101866 markings, 561123830 edges, 149353 markings/sec, 1060 secs
lola: 129783716 markings, 564307099 edges, 136370 markings/sec, 1065 secs
lola: 130580694 markings, 567281691 edges, 159396 markings/sec, 1070 secs
lola: 131256859 markings, 570259682 edges, 135233 markings/sec, 1075 secs
lola: 131931102 markings, 573210543 edges, 134849 markings/sec, 1080 secs
lola: 132680833 markings, 576147961 edges, 149946 markings/sec, 1085 secs
lola: 133302988 markings, 579052701 edges, 124431 markings/sec, 1090 secs
lola: 133834570 markings, 581574386 edges, 106316 markings/sec, 1095 secs
lola: 134327387 markings, 584151277 edges, 98563 markings/sec, 1100 secs
lola: 134958086 markings, 586647191 edges, 126140 markings/sec, 1105 secs
lola: 135609816 markings, 589130639 edges, 130346 markings/sec, 1110 secs
lola: 136175021 markings, 591668910 edges, 113041 markings/sec, 1115 secs
lola: 136722808 markings, 594140140 edges, 109557 markings/sec, 1120 secs
lola: 137354431 markings, 596924182 edges, 126325 markings/sec, 1125 secs
lola: 137908619 markings, 599375743 edges, 110838 markings/sec, 1130 secs
lola: 138478494 markings, 601696754 edges, 113975 markings/sec, 1135 secs
lola: 139088440 markings, 604022669 edges, 121989 markings/sec, 1140 secs
lola: 139621705 markings, 606462061 edges, 106653 markings/sec, 1145 secs
lola: 140125427 markings, 608996941 edges, 100744 markings/sec, 1150 secs
lola: 140667967 markings, 611546351 edges, 108508 markings/sec, 1155 secs
lola: 141201202 markings, 614057840 edges, 106647 markings/sec, 1160 secs
lola: 141706077 markings, 616622027 edges, 100975 markings/sec, 1165 secs
lola: 142184548 markings, 619165200 edges, 95694 markings/sec, 1170 secs
lola: 142663866 markings, 621701588 edges, 95864 markings/sec, 1175 secs
lola: 143323965 markings, 624152121 edges, 132020 markings/sec, 1180 secs
lola: 143978089 markings, 626643700 edges, 130825 markings/sec, 1185 secs
lola: 144586245 markings, 629150209 edges, 121631 markings/sec, 1190 secs
lola: 145122189 markings, 631672753 edges, 107189 markings/sec, 1195 secs
lola: 145643256 markings, 634175542 edges, 104213 markings/sec, 1200 secs
lola: 146172949 markings, 636684568 edges, 105939 markings/sec, 1205 secs
lola: 146771169 markings, 639124043 edges, 119644 markings/sec, 1210 secs
lola: 147284885 markings, 641566748 edges, 102743 markings/sec, 1215 secs
lola: 147861474 markings, 644084892 edges, 115318 markings/sec, 1220 secs
lola: 148629413 markings, 647054417 edges, 153588 markings/sec, 1225 secs
lola: 149234258 markings, 649445988 edges, 120969 markings/sec, 1230 secs
lola: 149801150 markings, 651719623 edges, 113378 markings/sec, 1235 secs
lola: 150395792 markings, 654617976 edges, 118928 markings/sec, 1240 secs
lola: 150849001 markings, 656982570 edges, 90642 markings/sec, 1245 secs
lola: 151299265 markings, 659293567 edges, 90053 markings/sec, 1250 secs
lola: 151842330 markings, 661885959 edges, 108613 markings/sec, 1255 secs
lola: 152331948 markings, 664214032 edges, 97924 markings/sec, 1260 secs
lola: 152830530 markings, 666635282 edges, 99716 markings/sec, 1265 secs
lola: 153285177 markings, 669002670 edges, 90929 markings/sec, 1270 secs
lola: 153780154 markings, 671611739 edges, 98995 markings/sec, 1275 secs
lola: 154240428 markings, 674070730 edges, 92055 markings/sec, 1280 secs
lola: 154658763 markings, 676338168 edges, 83667 markings/sec, 1285 secs
lola: 155257009 markings, 678713857 edges, 119649 markings/sec, 1290 secs
lola: 155844572 markings, 681169498 edges, 117513 markings/sec, 1295 secs
lola: 156500771 markings, 683563996 edges, 131240 markings/sec, 1300 secs
lola: 157039787 markings, 685974280 edges, 107803 markings/sec, 1305 secs
lola: 157544344 markings, 688432369 edges, 100911 markings/sec, 1310 secs
lola: 158054998 markings, 690861542 edges, 102131 markings/sec, 1315 secs
lola: 158546768 markings, 693274872 edges, 98354 markings/sec, 1320 secs
lola: 159102942 markings, 695608144 edges, 111235 markings/sec, 1325 secs
lola: 159663737 markings, 697920403 edges, 112159 markings/sec, 1330 secs
lola: 160150708 markings, 700280584 edges, 97394 markings/sec, 1335 secs
lola: 160703607 markings, 702676590 edges, 110580 markings/sec, 1340 secs
lola: 161234581 markings, 705091975 edges, 106195 markings/sec, 1345 secs
lola: 161749148 markings, 707389329 edges, 102913 markings/sec, 1350 secs
lola: 162410131 markings, 709852748 edges, 132197 markings/sec, 1355 secs
lola: 163039086 markings, 712336809 edges, 125791 markings/sec, 1360 secs
lola: 163623733 markings, 714761015 edges, 116929 markings/sec, 1365 secs
lola: 164227606 markings, 717202736 edges, 120775 markings/sec, 1370 secs
lola: 164742686 markings, 719716860 edges, 103016 markings/sec, 1375 secs
lola: 165237507 markings, 722274587 edges, 98964 markings/sec, 1380 secs
lola: 165689633 markings, 724764829 edges, 90425 markings/sec, 1385 secs
lola: 166191347 markings, 727224855 edges, 100343 markings/sec, 1390 secs
lola: 166682956 markings, 729934029 edges, 98322 markings/sec, 1395 secs
lola: 167326160 markings, 732775068 edges, 128641 markings/sec, 1400 secs
lola: 167905244 markings, 735545839 edges, 115817 markings/sec, 1405 secs
lola: 168460416 markings, 738455432 edges, 111034 markings/sec, 1410 secs
lola: 169032248 markings, 741478762 edges, 114366 markings/sec, 1415 secs
lola: 169539737 markings, 744171275 edges, 101498 markings/sec, 1420 secs
lola: 170085909 markings, 747150306 edges, 109234 markings/sec, 1425 secs
lola: 170656333 markings, 750293238 edges, 114085 markings/sec, 1430 secs
lola: 171356104 markings, 753222893 edges, 139954 markings/sec, 1435 secs
lola: 171925145 markings, 755711750 edges, 113808 markings/sec, 1440 secs
lola: 172497141 markings, 758185145 edges, 114399 markings/sec, 1445 secs
lola: 173057489 markings, 760682880 edges, 112070 markings/sec, 1450 secs
lola: 173668817 markings, 763396030 edges, 122266 markings/sec, 1455 secs
lola: 174260972 markings, 766278759 edges, 118431 markings/sec, 1460 secs
lola: 174797359 markings, 768772040 edges, 107277 markings/sec, 1465 secs
lola: 175342704 markings, 771395742 edges, 109069 markings/sec, 1470 secs
lola: 175871163 markings, 774108747 edges, 105692 markings/sec, 1475 secs
lola: 176449155 markings, 777035942 edges, 115598 markings/sec, 1480 secs
lola: 177036994 markings, 780284049 edges, 117568 markings/sec, 1485 secs
lola: 177620182 markings, 783436197 edges, 116638 markings/sec, 1490 secs
lola: 178221976 markings, 786715907 edges, 120359 markings/sec, 1495 secs
lola: 178926578 markings, 790074753 edges, 140920 markings/sec, 1500 secs
lola: 179694173 markings, 793348951 edges, 153519 markings/sec, 1505 secs
lola: 180256530 markings, 795999661 edges, 112471 markings/sec, 1510 secs
lola: 180802587 markings, 798692539 edges, 109211 markings/sec, 1515 secs
lola: 181364918 markings, 801396926 edges, 112466 markings/sec, 1520 secs
lola: 181891861 markings, 803927463 edges, 105389 markings/sec, 1525 secs
lola: 182392715 markings, 806419170 edges, 100171 markings/sec, 1530 secs
lola: 182950464 markings, 809073322 edges, 111550 markings/sec, 1535 secs
lola: 183476233 markings, 811550937 edges, 105154 markings/sec, 1540 secs
lola: 184139507 markings, 814500751 edges, 132655 markings/sec, 1545 secs
lola: 184691158 markings, 817116238 edges, 110330 markings/sec, 1550 secs
lola: 185156139 markings, 819564475 edges, 92996 markings/sec, 1555 secs
lola: 185697179 markings, 822055920 edges, 108208 markings/sec, 1560 secs
lola: 186217392 markings, 824829351 edges, 104043 markings/sec, 1565 secs
lola: 186723499 markings, 827447375 edges, 101221 markings/sec, 1570 secs
lola: 187366110 markings, 830488046 edges, 128522 markings/sec, 1575 secs
lola: 187849214 markings, 833014606 edges, 96621 markings/sec, 1580 secs
lola: 188290209 markings, 835308380 edges, 88199 markings/sec, 1585 secs
lola: 188785926 markings, 837969071 edges, 99143 markings/sec, 1590 secs
lola: 189253254 markings, 840472092 edges, 93466 markings/sec, 1595 secs
lola: 189785964 markings, 843101680 edges, 106542 markings/sec, 1600 secs
lola: 190219042 markings, 845471024 edges, 86616 markings/sec, 1605 secs
lola: 190634939 markings, 847981377 edges, 83179 markings/sec, 1610 secs
lola: 191193687 markings, 850740226 edges, 111750 markings/sec, 1615 secs
lola: 191660890 markings, 853306814 edges, 93441 markings/sec, 1620 secs
lola: 192223559 markings, 855878357 edges, 112534 markings/sec, 1625 secs
lola: 192705496 markings, 858369975 edges, 96387 markings/sec, 1630 secs
lola: 193261864 markings, 861119320 edges, 111274 markings/sec, 1635 secs
lola: 193766131 markings, 863644984 edges, 100853 markings/sec, 1640 secs
lola: 194299263 markings, 866188912 edges, 106626 markings/sec, 1645 secs
lola: 194778889 markings, 868712817 edges, 95925 markings/sec, 1650 secs
lola: 195225084 markings, 871234886 edges, 89239 markings/sec, 1655 secs
lola: 195674761 markings, 873711137 edges, 89935 markings/sec, 1660 secs
lola: 196189624 markings, 876206922 edges, 102973 markings/sec, 1665 secs
lola: 196695819 markings, 879029757 edges, 101239 markings/sec, 1670 secs
lola: 197279319 markings, 882096355 edges, 116700 markings/sec, 1675 secs
lola: 197891020 markings, 885023493 edges, 122340 markings/sec, 1680 secs
lola: 198562464 markings, 887860962 edges, 134289 markings/sec, 1685 secs
lola: 199244274 markings, 890746647 edges, 136362 markings/sec, 1690 secs
lola: 199838827 markings, 893636560 edges, 118911 markings/sec, 1695 secs
lola: 200492220 markings, 896921466 edges, 130679 markings/sec, 1700 secs
lola: 201216130 markings, 900204723 edges, 144782 markings/sec, 1705 secs
lola: 202022816 markings, 903185833 edges, 161337 markings/sec, 1710 secs
lola: 202697923 markings, 905892029 edges, 135021 markings/sec, 1715 secs
lola: 203365600 markings, 908565107 edges, 133535 markings/sec, 1720 secs
lola: 204003824 markings, 911108669 edges, 127645 markings/sec, 1725 secs
lola: 204593080 markings, 913724228 edges, 117851 markings/sec, 1730 secs
lola: 205155875 markings, 916271134 edges, 112559 markings/sec, 1735 secs
lola: 205645044 markings, 918741502 edges, 97834 markings/sec, 1740 secs
lola: 206317744 markings, 921266968 edges, 134540 markings/sec, 1745 secs
lola: 206976414 markings, 923804191 edges, 131734 markings/sec, 1750 secs
lola: 207612661 markings, 926368828 edges, 127249 markings/sec, 1755 secs
lola: 208163717 markings, 928891067 edges, 110211 markings/sec, 1760 secs
lola: 208752598 markings, 931395317 edges, 117776 markings/sec, 1765 secs
lola: 209241490 markings, 933717325 edges, 97778 markings/sec, 1770 secs
lola: 209965127 markings, 936662176 edges, 144727 markings/sec, 1775 secs
lola: 210664243 markings, 939796761 edges, 139823 markings/sec, 1780 secs
lola: 211255598 markings, 942648761 edges, 118271 markings/sec, 1785 secs
lola: 211931093 markings, 945778627 edges, 135099 markings/sec, 1790 secs
lola: 212541380 markings, 948991227 edges, 122057 markings/sec, 1795 secs
lola: 213191699 markings, 952071609 edges, 130064 markings/sec, 1800 secs
lola: 213871421 markings, 955181349 edges, 135944 markings/sec, 1805 secs
lola: 214495228 markings, 958018736 edges, 124761 markings/sec, 1810 secs
lola: 215156737 markings, 960480617 edges, 132302 markings/sec, 1815 secs
lola: 215756406 markings, 962839358 edges, 119934 markings/sec, 1820 secs
lola: 216353252 markings, 965201943 edges, 119369 markings/sec, 1825 secs
lola: 216921553 markings, 967598097 edges, 113660 markings/sec, 1830 secs
lola: 217451395 markings, 970056575 edges, 105968 markings/sec, 1835 secs
lola: 218060680 markings, 972778192 edges, 121857 markings/sec, 1840 secs
lola: 218526693 markings, 975123901 edges, 93203 markings/sec, 1845 secs
lola: 219071578 markings, 977526529 edges, 108977 markings/sec, 1850 secs
lola: 219652558 markings, 980196386 edges, 116196 markings/sec, 1855 secs
lola: 220273236 markings, 982846639 edges, 124136 markings/sec, 1860 secs
lola: 220807307 markings, 985348904 edges, 106814 markings/sec, 1865 secs
lola: 221320415 markings, 987659155 edges, 102622 markings/sec, 1870 secs
lola: 221870694 markings, 990077457 edges, 110056 markings/sec, 1875 secs
lola: 222446254 markings, 992533212 edges, 115112 markings/sec, 1880 secs
lola: 222928544 markings, 994958365 edges, 96458 markings/sec, 1885 secs
lola: 223412434 markings, 997363147 edges, 96778 markings/sec, 1890 secs
lola: 223967030 markings, 999714062 edges, 110919 markings/sec, 1895 secs
lola: 224383873 markings, 1002019873 edges, 83369 markings/sec, 1900 secs
lola: 224899063 markings, 1004399337 edges, 103038 markings/sec, 1905 secs
lola: 225348297 markings, 1006748047 edges, 89847 markings/sec, 1910 secs
lola: 225869812 markings, 1009144776 edges, 104303 markings/sec, 1915 secs
lola: 226376775 markings, 1011553570 edges, 101393 markings/sec, 1920 secs
lola: 226856147 markings, 1014039464 edges, 95874 markings/sec, 1925 secs
lola: 227273715 markings, 1016358313 edges, 83514 markings/sec, 1930 secs
lola: 227765976 markings, 1018617701 edges, 98452 markings/sec, 1935 secs
lola: 228220220 markings, 1020992456 edges, 90849 markings/sec, 1940 secs
lola: 228690975 markings, 1023471555 edges, 94151 markings/sec, 1945 secs
lola: 229228182 markings, 1025842350 edges, 107441 markings/sec, 1950 secs
lola: 229797674 markings, 1028217093 edges, 113898 markings/sec, 1955 secs
lola: 230291179 markings, 1030582698 edges, 98701 markings/sec, 1960 secs
lola: 230756007 markings, 1032945674 edges, 92966 markings/sec, 1965 secs
lola: 231394040 markings, 1035364699 edges, 127607 markings/sec, 1970 secs
lola: 232018302 markings, 1037815913 edges, 124852 markings/sec, 1975 secs
lola: 232603643 markings, 1040205217 edges, 117068 markings/sec, 1980 secs
lola: 233206894 markings, 1042595354 edges, 120650 markings/sec, 1985 secs
lola: 233789534 markings, 1044967357 edges, 116528 markings/sec, 1990 secs
lola: 234376044 markings, 1047445910 edges, 117302 markings/sec, 1995 secs
lola: time limit reached - aborting
lola:
preliminary result: 20 20 40 20 20 40 20 20 20 unknown unknown 20 20 unknown 20 unknown
lola:
preliminary result: 20 20 40 20 20 40 20 20 20 unknown unknown 20 20 unknown 20 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 20 20 40 20 20 40 20 20 20 unknown unknown 20 20 unknown 20 unknown
lola: memory consumption: 8791032 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 20 20 40 20 20 40 20 20 20 unknown unknown 20 20 unknown 20 unknown
lola: memory consumption: 8791120 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PermAdmissibility-PT-20"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="itslola"
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-4028"
echo " Executing tool itslola"
echo " Input is PermAdmissibility-PT-20, 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 r174-csrt-158987853500645"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-20.tgz
mv PermAdmissibility-PT-20 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; 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
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;