fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r168-smll-158987806800469
Last Updated
Jun 28, 2020

About the Execution of ITS-LoLa for CloudOpsManagement-PT-20480by10240

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15790.540 3600000.00 3504188.00 117058.70 ? 10240 10240 10240 10240 ? 10240 10240 10240 20480 ? 20480 10240 10240 ? 10240 normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r168-smll-158987806800469.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is CloudOpsManagement-PT-20480by10240, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806800469
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 188K
-rw-r--r-- 1 mcc users 4.2K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 16:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Mar 26 08:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 26 08:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 13 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 17K 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 CloudOpsManagement-PT-20480by10240-UpperBounds-00
FORMULA_NAME CloudOpsManagement-PT-20480by10240-UpperBounds-01
FORMULA_NAME CloudOpsManagement-PT-20480by10240-UpperBounds-02
FORMULA_NAME CloudOpsManagement-PT-20480by10240-UpperBounds-03
FORMULA_NAME CloudOpsManagement-PT-20480by10240-UpperBounds-04
FORMULA_NAME CloudOpsManagement-PT-20480by10240-UpperBounds-05
FORMULA_NAME CloudOpsManagement-PT-20480by10240-UpperBounds-06
FORMULA_NAME CloudOpsManagement-PT-20480by10240-UpperBounds-07
FORMULA_NAME CloudOpsManagement-PT-20480by10240-UpperBounds-08
FORMULA_NAME CloudOpsManagement-PT-20480by10240-UpperBounds-09
FORMULA_NAME CloudOpsManagement-PT-20480by10240-UpperBounds-10
FORMULA_NAME CloudOpsManagement-PT-20480by10240-UpperBounds-11
FORMULA_NAME CloudOpsManagement-PT-20480by10240-UpperBounds-12
FORMULA_NAME CloudOpsManagement-PT-20480by10240-UpperBounds-13
FORMULA_NAME CloudOpsManagement-PT-20480by10240-UpperBounds-14
FORMULA_NAME CloudOpsManagement-PT-20480by10240-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1591383243084

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 18:54:06] [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-05 18:54:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 18:54:06] [INFO ] Load time of PNML (sax parser for PT used): 48 ms
[2020-06-05 18:54:06] [INFO ] Transformed 27 places.
[2020-06-05 18:54:06] [INFO ] Transformed 29 transitions.
[2020-06-05 18:54:06] [INFO ] Parsed PT model containing 27 places and 29 transitions in 114 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 20 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
[2020-06-05 18:54:06] [INFO ] Flatten gal took : 48 ms
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 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 29 rows 27 cols
[2020-06-05 18:54:06] [INFO ] Computed 11 place invariants in 7 ms
Support contains 13 out of 27 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 27/27 places, 29/29 transitions.
Graph (trivial) has 2 edges and 27 vertex of which 2 / 27 are part of one of the 1 SCC in 6 ms
Free SCC test removed 1 places
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 4 place count 26 transition count 26
Applied a total of 4 rules in 31 ms. Remains 26 /27 variables (removed 1) and now considering 26/29 (removed 3) transitions.
Finished structural reductions, in 1 iterations. Remains : 26/27 places, 26/29 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 26 rows 26 cols
[2020-06-05 18:54:06] [INFO ] Computed 11 place invariants in 2 ms
Support contains 13 out of 26 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 26/26 places, 26/26 transitions.
Applied a total of 0 rules in 6 ms. Remains 26 /26 variables (removed 0) and now considering 26/26 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 26/26 places, 26/26 transitions.
Starting structural reductions, iteration 0 : 26/26 places, 26/26 transitions.
Applied a total of 0 rules in 4 ms. Remains 26 /26 variables (removed 0) and now considering 26/26 (removed 0) transitions.
// Phase 1: matrix 26 rows 26 cols
[2020-06-05 18:54:06] [INFO ] Computed 11 place invariants in 1 ms
[2020-06-05 18:54:06] [INFO ] Implicit Places using invariants in 136 ms returned [15, 18, 22]
Discarding 3 places :
Implicit Place search using SMT only with invariants took 140 ms to find 3 implicit places.
[2020-06-05 18:54:06] [INFO ] Redundant transitions in 1 ms returned []
// Phase 1: matrix 26 rows 23 cols
[2020-06-05 18:54:06] [INFO ] Computed 8 place invariants in 1 ms
[2020-06-05 18:54:06] [INFO ] Dead Transitions using invariants and state equation in 73 ms returned []
Starting structural reductions, iteration 1 : 23/26 places, 26/26 transitions.
Graph (trivial) has 2 edges and 23 vertex of which 2 / 23 are part of one of the 1 SCC in 0 ms
Free SCC test removed 1 places
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 3 place count 22 transition count 24
Applied a total of 3 rules in 3 ms. Remains 22 /23 variables (removed 1) and now considering 24/26 (removed 2) transitions.
// Phase 1: matrix 24 rows 22 cols
[2020-06-05 18:54:06] [INFO ] Computed 8 place invariants in 0 ms
[2020-06-05 18:54:06] [INFO ] Implicit Places using invariants in 22 ms returned []
// Phase 1: matrix 24 rows 22 cols
[2020-06-05 18:54:06] [INFO ] Computed 8 place invariants in 1 ms
[2020-06-05 18:54:07] [INFO ] State equation strengthened by 2 read => feed constraints.
[2020-06-05 18:54:07] [INFO ] Implicit Places using invariants and state equation in 55 ms returned [2]
Discarding 1 places :
Implicit Place search using SMT with State Equation took 79 ms to find 1 implicit places.
Starting structural reductions, iteration 2 : 21/26 places, 24/26 transitions.
Applied a total of 0 rules in 3 ms. Remains 21 /21 variables (removed 0) and now considering 24/24 (removed 0) transitions.
[2020-06-05 18:54:07] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 24 rows 21 cols
[2020-06-05 18:54:07] [INFO ] Computed 7 place invariants in 2 ms
[2020-06-05 18:54:07] [INFO ] Dead Transitions using invariants and state equation in 47 ms returned []
Finished structural reductions, in 3 iterations. Remains : 21/26 places, 24/26 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 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 24 rows 21 cols
[2020-06-05 18:54:07] [INFO ] Computed 7 place invariants in 1 ms
Support contains 13 out of 21 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 21/21 places, 24/24 transitions.
Applied a total of 0 rules in 1 ms. Remains 21 /21 variables (removed 0) and now considering 24/24 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 21/21 places, 24/24 transitions.
Starting structural reductions, iteration 0 : 21/21 places, 24/24 transitions.
Applied a total of 0 rules in 2 ms. Remains 21 /21 variables (removed 0) and now considering 24/24 (removed 0) transitions.
// Phase 1: matrix 24 rows 21 cols
[2020-06-05 18:54:07] [INFO ] Computed 7 place invariants in 0 ms
[2020-06-05 18:54:07] [INFO ] Implicit Places using invariants in 27 ms returned []
// Phase 1: matrix 24 rows 21 cols
[2020-06-05 18:54:07] [INFO ] Computed 7 place invariants in 0 ms
[2020-06-05 18:54:07] [INFO ] State equation strengthened by 1 read => feed constraints.
[2020-06-05 18:54:07] [INFO ] Implicit Places using invariants and state equation in 48 ms returned []
Implicit Place search using SMT with State Equation took 76 ms to find 0 implicit places.
[2020-06-05 18:54:07] [INFO ] Redundant transitions in 0 ms returned []
// Phase 1: matrix 24 rows 21 cols
[2020-06-05 18:54:07] [INFO ] Computed 7 place invariants in 0 ms
[2020-06-05 18:54:07] [INFO ] Dead Transitions using invariants and state equation in 52 ms returned []
Finished structural reductions, in 1 iterations. Remains : 21/21 places, 24/24 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Applied a total of 0 rules in 2 ms. Remains 21 /21 variables (removed 0) and now considering 24/24 (removed 0) transitions.
// Phase 1: matrix 24 rows 21 cols
[2020-06-05 18:54:07] [INFO ] Computed 7 place invariants in 1 ms
[2020-06-05 18:54:07] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 4 ms.
[2020-06-05 18:54:07] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 2 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ CloudOpsManagement-PT-20480by10240 @ 3570 seconds

FORMULA CloudOpsManagement-PT-20480by10240-UpperBounds-01 10240 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-UpperBounds-02 10240 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-UpperBounds-03 10240 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-UpperBounds-04 10240 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-UpperBounds-06 10240 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-UpperBounds-07 10240 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-UpperBounds-08 10240 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-UpperBounds-09 20480 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-UpperBounds-11 20480 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-UpperBounds-12 10240 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-UpperBounds-13 10240 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-UpperBounds-15 10240 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-UpperBounds-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-UpperBounds-05 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for UpperBounds @ CloudOpsManagement-PT-20480by10240

{
"exit":
{
"memory": 5489228,
"runtime": 3571.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(p17)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown 10240 10240 10240 10240 unknown 10240 10240 10240 20480 unknown 20480 10240 10240 unknown 10240 "
},
"task":
{
"compoundnumber": 18,
"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: 45/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 672
lola: finding significant places
lola: 21 places, 24 transitions, 14 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(p15) : MAX(p9) : MAX(p8) : MAX(p0) : MAX(p14) : MAX(p19) : MAX(p14) : MAX(p9) : MAX(p1) : MAX(p20) : MAX(p17) : MAX(p20) : MAX(p4) : MAX(p7) : MAX(p5) : MAX(p11)
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(p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p15)
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: 10240
lola: 4004727 markings, 6100542 edges, 800945 markings/sec, 0 secs
lola: 7836975 markings, 11851836 edges, 766450 markings/sec, 5 secs
lola: 11535788 markings, 17402188 edges, 739763 markings/sec, 10 secs
lola: 15103499 markings, 22755489 edges, 713542 markings/sec, 15 secs
lola: 18661325 markings, 28093760 edges, 711565 markings/sec, 20 secs
lola: 21952610 markings, 33031968 edges, 658257 markings/sec, 25 secs
lola: 25254798 markings, 37986445 edges, 660438 markings/sec, 30 secs
lola: 28452501 markings, 42784082 edges, 639541 markings/sec, 35 secs
lola: 31865200 markings, 47904220 edges, 682540 markings/sec, 40 secs
lola: 35357154 markings, 53143202 edges, 698391 markings/sec, 45 secs
lola: 38772360 markings, 58266993 edges, 683041 markings/sec, 50 secs
lola: 42085138 markings, 63237070 edges, 662556 markings/sec, 55 secs
lola: 45517790 markings, 68386951 edges, 686530 markings/sec, 60 secs
lola: 48886726 markings, 73441212 edges, 673787 markings/sec, 65 secs
lola: 52210821 markings, 78428171 edges, 664819 markings/sec, 70 secs
lola: 55492477 markings, 83351433 edges, 656331 markings/sec, 75 secs
lola: 58902153 markings, 88466733 edges, 681935 markings/sec, 80 secs
lola: 62227063 markings, 93454841 edges, 664982 markings/sec, 85 secs
lola: 65556093 markings, 98449109 edges, 665806 markings/sec, 90 secs
lola: 68812028 markings, 103333705 edges, 651187 markings/sec, 95 secs
lola: 72118088 markings, 108293479 edges, 661212 markings/sec, 100 secs
lola: 75370696 markings, 113173051 edges, 650522 markings/sec, 105 secs
lola: 78636659 markings, 118072641 edges, 653193 markings/sec, 110 secs
lola: 81828786 markings, 122861454 edges, 638425 markings/sec, 115 secs
lola: 84996304 markings, 127613332 edges, 633504 markings/sec, 120 secs
lola: 88117839 markings, 132296221 edges, 624307 markings/sec, 125 secs
lola: 91383984 markings, 137196035 edges, 653229 markings/sec, 130 secs
lola: 94556559 markings, 141955471 edges, 634515 markings/sec, 135 secs
lola: 97778214 markings, 146788526 edges, 644331 markings/sec, 140 secs
lola: 100944764 markings, 151538902 edges, 633310 markings/sec, 145 secs
lola: 104098104 markings, 156269453 edges, 630668 markings/sec, 150 secs
lola: 107318960 markings, 161101284 edges, 644171 markings/sec, 155 secs
lola: 110485324 markings, 165851357 edges, 633273 markings/sec, 160 secs
lola: 113597194 markings, 170519671 edges, 622374 markings/sec, 165 secs
lola: 116692994 markings, 175163872 edges, 619160 markings/sec, 170 secs
lola: 119808840 markings, 179838140 edges, 623169 markings/sec, 175 secs
lola: 122893503 markings, 184465620 edges, 616933 markings/sec, 180 secs
lola: 126224430 markings, 189462530 edges, 666185 markings/sec, 185 secs
lola: 129509217 markings, 194390216 edges, 656957 markings/sec, 190 secs
lola: 132742135 markings, 199240082 edges, 646584 markings/sec, 195 secs
lola: 135978819 markings, 204095596 edges, 647337 markings/sec, 200 secs
lola: 139155025 markings, 208860371 edges, 635241 markings/sec, 205 secs
lola: 142337060 markings, 213633890 edges, 636407 markings/sec, 210 secs
lola: 145506619 markings, 218388686 edges, 633912 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 12352052 KB
lola: time consumption: 226 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 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file 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: 10240
lola: SUBRESULT
lola: result: 10240
lola: produced by: state space
lola: The maximum value of the given expression is 10240
lola: 20481 markings, 30719 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8)
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: 10240
lola: SUBRESULT
lola: result: 10240
lola: produced by: state space
lola: The maximum value of the given expression is 10240
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
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: 10240
lola: SUBRESULT
lola: result: 10240
lola: produced by: state space
lola: The maximum value of the given expression is 10240
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p14)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file 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: 10240
lola: SUBRESULT
lola: result: 10240
lola: produced by: state space
lola: The maximum value of the given expression is 10240
lola: 532702 markings, 993682 edges
lola: ========================================
lola: subprocess 5 will run for 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p19)
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: 30720
lola: 2430959 markings, 5563572 edges, 486192 markings/sec, 0 secs
lola: 4624013 markings, 10603910 edges, 438611 markings/sec, 5 secs
lola: 6683248 markings, 15336461 edges, 411847 markings/sec, 10 secs
lola: 8657236 markings, 19873875 edges, 394798 markings/sec, 15 secs
lola: 10540948 markings, 24205256 edges, 376742 markings/sec, 20 secs
lola: 12351572 markings, 28367159 edges, 362125 markings/sec, 25 secs
lola: 14182755 markings, 32580203 edges, 366237 markings/sec, 30 secs
lola: 15977319 markings, 36703037 edges, 358913 markings/sec, 35 secs
lola: 17737011 markings, 40748351 edges, 351938 markings/sec, 40 secs
lola: 19469834 markings, 44732471 edges, 346565 markings/sec, 45 secs
lola: 21168401 markings, 48639255 edges, 339713 markings/sec, 50 secs
lola: 22842663 markings, 52487843 edges, 334852 markings/sec, 55 secs
lola: 24546224 markings, 56406973 edges, 340712 markings/sec, 60 secs
lola: 26162063 markings, 60120799 edges, 323168 markings/sec, 65 secs
lola: 27775774 markings, 63835219 edges, 322742 markings/sec, 70 secs
lola: 29388730 markings, 67540080 edges, 322591 markings/sec, 75 secs
lola: 30989884 markings, 71223255 edges, 320231 markings/sec, 80 secs
lola: 32575480 markings, 74868482 edges, 317119 markings/sec, 85 secs
lola: 34229165 markings, 78671030 edges, 330737 markings/sec, 90 secs
lola: 35841299 markings, 82377350 edges, 322427 markings/sec, 95 secs
lola: 37382687 markings, 85921498 edges, 308278 markings/sec, 100 secs
lola: 38992881 markings, 89626609 edges, 322039 markings/sec, 105 secs
lola: 40596387 markings, 93312511 edges, 320701 markings/sec, 110 secs
lola: 42195979 markings, 96987035 edges, 319918 markings/sec, 115 secs
lola: 43790630 markings, 100657666 edges, 318930 markings/sec, 120 secs
lola: 45378643 markings, 104311197 edges, 317603 markings/sec, 125 secs
lola: 46961844 markings, 107952943 edges, 316640 markings/sec, 130 secs
lola: 48534505 markings, 111568373 edges, 314532 markings/sec, 135 secs
lola: 50104459 markings, 115178547 edges, 313991 markings/sec, 140 secs
lola: 51656706 markings, 118744574 edges, 310449 markings/sec, 145 secs
lola: 53182659 markings, 122255011 edges, 305191 markings/sec, 150 secs
lola: 54702322 markings, 125752516 edges, 303933 markings/sec, 155 secs
lola: 56218438 markings, 129233838 edges, 303223 markings/sec, 160 secs
lola: 57722901 markings, 132698089 edges, 300893 markings/sec, 165 secs
lola: 59220239 markings, 136140779 edges, 299468 markings/sec, 170 secs
lola: 60741523 markings, 139638319 edges, 304257 markings/sec, 175 secs
lola: 62242123 markings, 143086755 edges, 300120 markings/sec, 180 secs
lola: 63731915 markings, 146512424 edges, 297958 markings/sec, 185 secs
lola: 65237733 markings, 149974434 edges, 301164 markings/sec, 190 secs
lola: 66759892 markings, 153473602 edges, 304432 markings/sec, 195 secs
lola: 68281400 markings, 156977357 edges, 304302 markings/sec, 200 secs
lola: 69804965 markings, 160481046 edges, 304713 markings/sec, 205 secs
lola: 71329046 markings, 163980623 edges, 304816 markings/sec, 210 secs
lola: 72844601 markings, 167464780 edges, 303111 markings/sec, 215 secs
lola: 74358615 markings, 170952242 edges, 302803 markings/sec, 220 secs
lola: 75870363 markings, 174428807 edges, 302350 markings/sec, 225 secs
lola: 77384198 markings, 177905912 edges, 302767 markings/sec, 230 secs
lola: 78889702 markings, 181369128 edges, 301101 markings/sec, 235 secs
lola: 80393721 markings, 184823751 edges, 300804 markings/sec, 240 secs
lola: 81893976 markings, 188276969 edges, 300051 markings/sec, 245 secs
lola: 83389481 markings, 191713274 edges, 299101 markings/sec, 250 secs
lola: 84881181 markings, 195148543 edges, 298340 markings/sec, 255 secs
lola: 86372146 markings, 198577671 edges, 298193 markings/sec, 260 secs
lola: 87863837 markings, 202004494 edges, 298338 markings/sec, 265 secs
lola: 89350868 markings, 205428625 edges, 297406 markings/sec, 270 secs
lola: 90835893 markings, 208843508 edges, 297005 markings/sec, 275 secs
lola: 92302096 markings, 212218985 edges, 293241 markings/sec, 280 secs
lola: 93691930 markings, 215404315 edges, 277967 markings/sec, 285 secs
lola: 95082165 markings, 218601351 edges, 278047 markings/sec, 290 secs
lola: 96483670 markings, 221824643 edges, 280301 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 10240 10240 10240 10240 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9600888 KB
lola: time consumption: 530 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 303 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p14)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file 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: 10240
lola: SUBRESULT
lola: result: 10240
lola: produced by: state space
lola: The maximum value of the given expression is 10240
lola: 532702 markings, 993682 edges
lola: ========================================
lola: subprocess 7 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p9)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file 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: 10240
lola: SUBRESULT
lola: result: 10240
lola: produced by: state space
lola: The maximum value of the given expression is 10240
lola: 20481 markings, 30719 edges
lola: ========================================
lola: subprocess 8 will run for 379 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1)
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: 10240
lola: SUBRESULT
lola: result: 10240
lola: produced by: state space
lola: The maximum value of the given expression is 10240
lola: 10241 markings, 10240 edges
lola: ========================================
lola: subprocess 9 will run for 434 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p20)
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: 20480
lola: SUBRESULT
lola: result: 20480
lola: produced by: state space
lola: The maximum value of the given expression is 20480
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 506 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p17)
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: 10240
lola: 3035752 markings, 6307154 edges, 607150 markings/sec, 0 secs
lola: 5860599 markings, 12231526 edges, 564969 markings/sec, 5 secs
lola: 8608388 markings, 17997053 edges, 549558 markings/sec, 10 secs
lola: 11117723 markings, 23262420 edges, 501867 markings/sec, 15 secs
lola: 13790383 markings, 28871841 edges, 534532 markings/sec, 20 secs
lola: 16392470 markings, 34333100 edges, 520417 markings/sec, 25 secs
lola: 19011306 markings, 39827830 edges, 523767 markings/sec, 30 secs
lola: 21507561 markings, 45069027 edges, 499251 markings/sec, 35 secs
lola: 24136874 markings, 50587502 edges, 525863 markings/sec, 40 secs
lola: 26679929 markings, 55925845 edges, 508611 markings/sec, 45 secs
lola: 29253764 markings, 61327679 edges, 514767 markings/sec, 50 secs
lola: 31772593 markings, 66613723 edges, 503766 markings/sec, 55 secs
lola: 34285167 markings, 71887354 edges, 502515 markings/sec, 60 secs
lola: 36803479 markings, 77174405 edges, 503662 markings/sec, 65 secs
lola: 39293918 markings, 82401580 edges, 498088 markings/sec, 70 secs
lola: 41775475 markings, 87613002 edges, 496311 markings/sec, 75 secs
lola: 44225022 markings, 92754593 edges, 489909 markings/sec, 80 secs
lola: 46600714 markings, 97742899 edges, 475138 markings/sec, 85 secs
lola: 49021226 markings, 102823069 edges, 484102 markings/sec, 90 secs
lola: 51502958 markings, 108031710 edges, 496346 markings/sec, 95 secs
lola: 53954421 markings, 113178647 edges, 490293 markings/sec, 100 secs
lola: 56359006 markings, 118226347 edges, 480917 markings/sec, 105 secs
lola: 58805278 markings, 123363314 edges, 489254 markings/sec, 110 secs
lola: 61198102 markings, 128387231 edges, 478565 markings/sec, 115 secs
lola: 63552123 markings, 133327085 edges, 470804 markings/sec, 120 secs
lola: 65921256 markings, 138299714 edges, 473827 markings/sec, 125 secs
lola: 68341769 markings, 143382394 edges, 484103 markings/sec, 130 secs
lola: 70631471 markings, 148189014 edges, 457940 markings/sec, 135 secs
lola: 72964485 markings, 153088117 edges, 466603 markings/sec, 140 secs
lola: 75279244 markings, 157949491 edges, 462952 markings/sec, 145 secs
lola: 77616996 markings, 162855572 edges, 467550 markings/sec, 150 secs
lola: 79887271 markings, 167622218 edges, 454055 markings/sec, 155 secs
lola: 82103996 markings, 172274110 edges, 443345 markings/sec, 160 secs
lola: 84324600 markings, 176935758 edges, 444121 markings/sec, 165 secs
lola: 86788332 markings, 182109309 edges, 492746 markings/sec, 170 secs
lola: 89233530 markings, 187244620 edges, 489040 markings/sec, 175 secs
lola: 91664239 markings, 192346075 edges, 486142 markings/sec, 180 secs
lola: 93999649 markings, 197251953 edges, 467082 markings/sec, 185 secs
lola: 96421195 markings, 202336223 edges, 484309 markings/sec, 190 secs
lola: 98768915 markings, 207261226 edges, 469544 markings/sec, 195 secs
lola: 101146851 markings, 212256271 edges, 475587 markings/sec, 200 secs
lola: 103543662 markings, 217288441 edges, 479362 markings/sec, 205 secs
lola: 105897304 markings, 222229350 edges, 470728 markings/sec, 210 secs
lola: 108296196 markings, 227264034 edges, 479778 markings/sec, 215 secs
lola: 110727930 markings, 232369285 edges, 486347 markings/sec, 220 secs
lola: 113052506 markings, 237251872 edges, 464915 markings/sec, 225 secs
lola: 115437294 markings, 242257645 edges, 476958 markings/sec, 230 secs
lola: 117642431 markings, 246890041 edges, 441027 markings/sec, 235 secs
lola: 119978863 markings, 251794824 edges, 467286 markings/sec, 240 secs
lola: 122281739 markings, 256627183 edges, 460575 markings/sec, 245 secs
lola: 124513509 markings, 261312095 edges, 446354 markings/sec, 250 secs
lola: 126722346 markings, 265950829 edges, 441767 markings/sec, 255 secs
lola: 128920624 markings, 270566137 edges, 439656 markings/sec, 260 secs
lola: 131096079 markings, 275136165 edges, 435091 markings/sec, 265 secs
lola: 133390609 markings, 279954044 edges, 458906 markings/sec, 270 secs
lola: 135745736 markings, 284899121 edges, 471025 markings/sec, 275 secs
lola: 138033897 markings, 289699629 edges, 457632 markings/sec, 280 secs
lola: 140362266 markings, 294590306 edges, 465674 markings/sec, 285 secs
lola: 142678019 markings, 299453037 edges, 463151 markings/sec, 290 secs
lola: 144937913 markings, 304198162 edges, 451979 markings/sec, 295 secs
lola: 147211365 markings, 308967152 edges, 454690 markings/sec, 300 secs
lola: 149478533 markings, 313729300 edges, 453434 markings/sec, 305 secs
lola: 151676985 markings, 318346267 edges, 439690 markings/sec, 310 secs
lola: 153906042 markings, 323023897 edges, 445811 markings/sec, 315 secs
lola: 156039170 markings, 327507631 edges, 426626 markings/sec, 320 secs
lola: 158192679 markings, 332028024 edges, 430702 markings/sec, 325 secs
lola: 160366601 markings, 336592880 edges, 434784 markings/sec, 330 secs
lola: 162621805 markings, 341323130 edges, 451041 markings/sec, 335 secs
lola: 164828952 markings, 345958553 edges, 441429 markings/sec, 340 secs
lola: 166966902 markings, 350449409 edges, 427590 markings/sec, 345 secs
lola: 169171280 markings, 355078274 edges, 440876 markings/sec, 350 secs
lola: 171278930 markings, 359504891 edges, 421530 markings/sec, 355 secs
lola: 173300659 markings, 363750498 edges, 404346 markings/sec, 360 secs
lola: 174671502 markings, 366623868 edges, 274169 markings/sec, 365 secs
lola: 176291833 markings, 370026393 edges, 324066 markings/sec, 370 secs
lola: 178406688 markings, 374465426 edges, 422971 markings/sec, 375 secs
lola: 180435181 markings, 378729566 edges, 405699 markings/sec, 380 secs
lola: 181710636 markings, 381402556 edges, 255091 markings/sec, 385 secs
lola: 183591558 markings, 385353951 edges, 376184 markings/sec, 390 secs
lola: 184939479 markings, 388187597 edges, 269584 markings/sec, 395 secs
lola: 186077000 markings, 390570586 edges, 227504 markings/sec, 400 secs
lola: 187313191 markings, 393170098 edges, 247238 markings/sec, 405 secs
lola: 189036862 markings, 396789352 edges, 344734 markings/sec, 410 secs
lola: 190967810 markings, 400842428 edges, 386190 markings/sec, 415 secs
lola: 192789130 markings, 404664966 edges, 364264 markings/sec, 420 secs
lola: 193365630 markings, 405876789 edges, 115300 markings/sec, 425 secs
lola: 195265696 markings, 409867079 edges, 380013 markings/sec, 430 secs
lola: 195265696 markings, 409867079 edges, 0 markings/sec, 435 secs
lola: 197109510 markings, 413739791 edges, 368763 markings/sec, 440 secs
lola: 197938144 markings, 415474241 edges, 165727 markings/sec, 445 secs
lola: 198953703 markings, 417608704 edges, 203112 markings/sec, 450 secs
lola: 200270337 markings, 420370420 edges, 263327 markings/sec, 455 secs
lola: 200270337 markings, 420370420 edges, 0 markings/sec, 460 secs
lola: 202159732 markings, 424342537 edges, 377879 markings/sec, 465 secs
lola: 202593407 markings, 425249937 edges, 86735 markings/sec, 470 secs
lola: 203768850 markings, 427716977 edges, 235089 markings/sec, 475 secs
lola: 204981103 markings, 430261661 edges, 242451 markings/sec, 480 secs
lola: 205372097 markings, 431084464 edges, 78199 markings/sec, 485 secs
lola: 206935633 markings, 434364778 edges, 312707 markings/sec, 490 secs
lola: 208635484 markings, 437940522 edges, 339970 markings/sec, 495 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 10240 10240 10240 10240 unknown 10240 10240 10240 20480 unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 506 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p20)
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: 20480
lola: SUBRESULT
lola: result: 20480
lola: produced by: state space
lola: The maximum value of the given expression is 20480
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 633 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4)
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: 10240
lola: SUBRESULT
lola: result: 10240
lola: produced by: state space
lola: The maximum value of the given expression is 10240
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 844 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7)
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: 10240
lola: SUBRESULT
lola: result: 10240
lola: produced by: state space
lola: The maximum value of the given expression is 10240
lola: 10241 markings, 10240 edges
lola: ========================================
lola: subprocess 14 will run for 1266 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5)
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: 20480
lola: 2302523 markings, 4297974 edges, 460505 markings/sec, 0 secs
lola: 4574327 markings, 8635202 edges, 454361 markings/sec, 5 secs
lola: 6826914 markings, 12935597 edges, 450517 markings/sec, 10 secs
lola: 9090433 markings, 17256950 edges, 452704 markings/sec, 15 secs
lola: 11285252 markings, 21446623 edges, 438964 markings/sec, 20 secs
lola: 13461715 markings, 25601848 edges, 435293 markings/sec, 25 secs
lola: 15737183 markings, 29945718 edges, 455094 markings/sec, 30 secs
lola: 18017014 markings, 34297980 edges, 455966 markings/sec, 35 secs
lola: 20310709 markings, 38677168 edges, 458739 markings/sec, 40 secs
lola: 22605419 markings, 43058300 edges, 458942 markings/sec, 45 secs
lola: 24909254 markings, 47456628 edges, 460767 markings/sec, 50 secs
lola: 27219073 markings, 51865765 edges, 461964 markings/sec, 55 secs
lola: 29533760 markings, 56284730 edges, 462937 markings/sec, 60 secs
lola: 31816151 markings, 60642250 edges, 456478 markings/sec, 65 secs
lola: 34087915 markings, 64979405 edges, 454353 markings/sec, 70 secs
lola: 36337863 markings, 69274743 edges, 449990 markings/sec, 75 secs
lola: 38611604 markings, 73615684 edges, 454748 markings/sec, 80 secs
lola: 40881657 markings, 77949558 edges, 454011 markings/sec, 85 secs
lola: 43065623 markings, 82118432 edges, 436793 markings/sec, 90 secs
lola: 45364846 markings, 86508213 edges, 459845 markings/sec, 95 secs
lola: 47664861 markings, 90899151 edges, 460003 markings/sec, 100 secs
lola: 49968028 markings, 95295649 edges, 460633 markings/sec, 105 secs
lola: 52277971 markings, 99705478 edges, 461989 markings/sec, 110 secs
lola: 54508503 markings, 103963605 edges, 446106 markings/sec, 115 secs
lola: 56831258 markings, 108398489 edges, 464551 markings/sec, 120 secs
lola: 59167374 markings, 112858382 edges, 467223 markings/sec, 125 secs
lola: 61438809 markings, 117194591 edges, 454287 markings/sec, 130 secs
lola: 63706748 markings, 121524157 edges, 453588 markings/sec, 135 secs
lola: 65987436 markings, 125877947 edges, 456138 markings/sec, 140 secs
lola: 68272776 markings, 130241050 edges, 457068 markings/sec, 145 secs
lola: 70567089 markings, 134621423 edges, 458863 markings/sec, 150 secs
lola: 72897753 markings, 139071043 edges, 466133 markings/sec, 155 secs
lola: 75199178 markings, 143464232 edges, 460285 markings/sec, 160 secs
lola: 77513371 markings, 147882239 edges, 462839 markings/sec, 165 secs
lola: 79824208 markings, 152294279 edges, 462167 markings/sec, 170 secs
lola: 82163453 markings, 156759848 edges, 467849 markings/sec, 175 secs
lola: 84486840 markings, 161195162 edges, 464677 markings/sec, 180 secs
lola: 86818073 markings, 165646297 edges, 466247 markings/sec, 185 secs
lola: 89155377 markings, 170108001 edges, 467461 markings/sec, 190 secs
lola: 91457833 markings, 174503343 edges, 460491 markings/sec, 195 secs
lola: 93766127 markings, 178910510 edges, 461659 markings/sec, 200 secs
lola: 96090557 markings, 183348335 edges, 464886 markings/sec, 205 secs
lola: 98400123 markings, 187756992 edges, 461913 markings/sec, 210 secs
lola: 100682291 markings, 192113600 edges, 456434 markings/sec, 215 secs
lola: 103022642 markings, 196582210 edges, 468070 markings/sec, 220 secs
lola: 105383801 markings, 201089477 edges, 472232 markings/sec, 225 secs
lola: 107727282 markings, 205563608 edges, 468696 markings/sec, 230 secs
lola: 110082042 markings, 210059145 edges, 470952 markings/sec, 235 secs
lola: 112430041 markings, 214541399 edges, 469600 markings/sec, 240 secs
lola: 114783865 markings, 219035619 edges, 470765 markings/sec, 245 secs
lola: 117142627 markings, 223538027 edges, 471752 markings/sec, 250 secs
lola: 119443199 markings, 227930395 edges, 460114 markings/sec, 255 secs
lola: 121753993 markings, 232342354 edges, 462159 markings/sec, 260 secs
lola: 124071987 markings, 236767028 edges, 463599 markings/sec, 265 secs
lola: 126383424 markings, 241179601 edges, 462287 markings/sec, 270 secs
lola: 128710542 markings, 245622851 edges, 465424 markings/sec, 275 secs
lola: 131066950 markings, 250120954 edges, 471282 markings/sec, 280 secs
lola: 133379870 markings, 254536566 edges, 462584 markings/sec, 285 secs
lola: 135708320 markings, 258982366 edges, 465690 markings/sec, 290 secs
lola: 138035422 markings, 263424545 edges, 465420 markings/sec, 295 secs
lola: 140364409 markings, 267870708 edges, 465797 markings/sec, 300 secs
lola: 142701112 markings, 272332327 edges, 467341 markings/sec, 305 secs
lola: 145051379 markings, 276818355 edges, 470053 markings/sec, 310 secs
lola: 147376926 markings, 281258473 edges, 465109 markings/sec, 315 secs
lola: 149702543 markings, 285698581 edges, 465123 markings/sec, 320 secs
lola: 152024227 markings, 290130262 edges, 464337 markings/sec, 325 secs
lola: 154340801 markings, 294553009 edges, 463315 markings/sec, 330 secs
lola: 156652211 markings, 298966152 edges, 462282 markings/sec, 335 secs
lola: 158998083 markings, 303444083 edges, 469174 markings/sec, 340 secs
lola: 161333571 markings, 307902929 edges, 467098 markings/sec, 345 secs
lola: 163666500 markings, 312357088 edges, 466586 markings/sec, 350 secs
lola: 165995637 markings, 316802928 edges, 465827 markings/sec, 355 secs
lola: 168351225 markings, 321300539 edges, 471118 markings/sec, 360 secs
lola: 170715559 markings, 325813793 edges, 472867 markings/sec, 365 secs
lola: 173068594 markings, 330306335 edges, 470607 markings/sec, 370 secs
lola: 175424758 markings, 334804283 edges, 471233 markings/sec, 375 secs
lola: 177757085 markings, 339256779 edges, 466465 markings/sec, 380 secs
lola: 180078383 markings, 343688872 edges, 464260 markings/sec, 385 secs
lola: 182413649 markings, 348146671 edges, 467053 markings/sec, 390 secs
lola: 184738339 markings, 352584624 edges, 464938 markings/sec, 395 secs
lola: 187080137 markings, 357056011 edges, 468360 markings/sec, 400 secs
lola: 189435018 markings, 361550767 edges, 470976 markings/sec, 405 secs
lola: 191773093 markings, 366015012 edges, 467615 markings/sec, 410 secs
lola: 194089231 markings, 370436783 edges, 463228 markings/sec, 415 secs
lola: 196452388 markings, 374947833 edges, 472631 markings/sec, 420 secs
lola: 198804080 markings, 379438008 edges, 470338 markings/sec, 425 secs
lola: 201178857 markings, 383971069 edges, 474955 markings/sec, 430 secs
lola: 203536537 markings, 388472688 edges, 471536 markings/sec, 435 secs
lola: 205883952 markings, 392953336 edges, 469483 markings/sec, 440 secs
lola: 208243007 markings, 397457797 edges, 471811 markings/sec, 445 secs
lola: 210614165 markings, 401983748 edges, 474232 markings/sec, 450 secs
lola: 212950590 markings, 406444835 edges, 467285 markings/sec, 455 secs
lola: 215307236 markings, 410943522 edges, 471329 markings/sec, 460 secs
lola: 217689850 markings, 415492588 edges, 476523 markings/sec, 465 secs
lola: 220080184 markings, 420055292 edges, 478067 markings/sec, 470 secs
lola: 222463012 markings, 424605041 edges, 476566 markings/sec, 475 secs
lola: 224843967 markings, 429150049 edges, 476191 markings/sec, 480 secs
lola: 227227874 markings, 433701291 edges, 476781 markings/sec, 485 secs
lola: 229622486 markings, 438273045 edges, 478922 markings/sec, 490 secs
lola: 232018531 markings, 442846698 edges, 479209 markings/sec, 495 secs
lola: 234318111 markings, 447237163 edges, 459916 markings/sec, 500 secs
lola: 236613643 markings, 451619871 edges, 459106 markings/sec, 505 secs
lola: 238820821 markings, 455833236 edges, 441436 markings/sec, 510 secs
lola: 240958239 markings, 459913924 edges, 427484 markings/sec, 515 secs
lola: 243243451 markings, 464276309 edges, 457042 markings/sec, 520 secs
lola: 245577261 markings, 468731893 edges, 466762 markings/sec, 525 secs
lola: 247908727 markings, 473183346 edges, 466293 markings/sec, 530 secs
lola: 250238768 markings, 477630905 edges, 466008 markings/sec, 535 secs
lola: 252566589 markings, 482075213 edges, 465564 markings/sec, 540 secs
lola: 254911939 markings, 486552944 edges, 469070 markings/sec, 545 secs
lola: 257270332 markings, 491054894 edges, 471679 markings/sec, 550 secs
lola: 259628907 markings, 495558194 edges, 471715 markings/sec, 555 secs
lola: 261980961 markings, 500047769 edges, 470411 markings/sec, 560 secs
lola: 264306842 markings, 504488647 edges, 465176 markings/sec, 565 secs
lola: 266621482 markings, 508907580 edges, 462928 markings/sec, 570 secs
lola: 268957150 markings, 513365907 edges, 467134 markings/sec, 575 secs
lola: 271285223 markings, 517810984 edges, 465615 markings/sec, 580 secs
lola: 273635873 markings, 522298416 edges, 470130 markings/sec, 585 secs
lola: 275985499 markings, 526784019 edges, 469925 markings/sec, 590 secs
lola: 278326125 markings, 531252907 edges, 468125 markings/sec, 595 secs
lola: 280672651 markings, 535731895 edges, 469305 markings/sec, 600 secs
lola: 283027755 markings, 540228781 edges, 471021 markings/sec, 605 secs
lola: 285404581 markings, 544765598 edges, 475365 markings/sec, 610 secs
lola: 287782981 markings, 549306961 edges, 475680 markings/sec, 615 secs
lola: 290160992 markings, 553846223 edges, 475602 markings/sec, 620 secs
lola: 292498479 markings, 558309344 edges, 467497 markings/sec, 625 secs
lola: 294837081 markings, 562773243 edges, 467720 markings/sec, 630 secs
lola: 297175135 markings, 567237107 edges, 467611 markings/sec, 635 secs
lola: 299513765 markings, 571701955 edges, 467726 markings/sec, 640 secs
lola: 301859145 markings, 576178962 edges, 469076 markings/sec, 645 secs
lola: 304224820 markings, 580695972 edges, 473135 markings/sec, 650 secs
lola: 306574899 markings, 585181661 edges, 470016 markings/sec, 655 secs
lola: 308939573 markings, 589696892 edges, 472935 markings/sec, 660 secs
lola: 311295689 markings, 594194118 edges, 471223 markings/sec, 665 secs
lola: 313650806 markings, 598690924 edges, 471023 markings/sec, 670 secs
lola: 316034218 markings, 603240366 edges, 476682 markings/sec, 675 secs
lola: 318430517 markings, 607815833 edges, 479260 markings/sec, 680 secs
lola: 320785270 markings, 612310718 edges, 470951 markings/sec, 685 secs
lola: 323138702 markings, 616804396 edges, 470686 markings/sec, 690 secs
lola: 325504819 markings, 621320691 edges, 473223 markings/sec, 695 secs
lola: 327854780 markings, 625807720 edges, 469992 markings/sec, 700 secs
lola: 330204925 markings, 630293715 edges, 470029 markings/sec, 705 secs
lola: 332573137 markings, 634815409 edges, 473642 markings/sec, 710 secs
lola: 334953615 markings, 639359238 edges, 476096 markings/sec, 715 secs
lola: 337341324 markings, 643918415 edges, 477542 markings/sec, 720 secs
lola: 339729951 markings, 648478040 edges, 477725 markings/sec, 725 secs
lola: 342113823 markings, 653029175 edges, 476774 markings/sec, 730 secs
lola: 344511357 markings, 657606569 edges, 479507 markings/sec, 735 secs
lola: 346938813 markings, 662240424 edges, 485491 markings/sec, 740 secs
lola: 349266829 markings, 666685394 edges, 465603 markings/sec, 745 secs
lola: 351552198 markings, 671048113 edges, 457074 markings/sec, 750 secs
lola: 353658923 markings, 675069450 edges, 421345 markings/sec, 755 secs
lola: 355770224 markings, 679100758 edges, 422260 markings/sec, 760 secs
lola: 357884551 markings, 683136931 edges, 422865 markings/sec, 765 secs
lola: 360163781 markings, 687487952 edges, 455846 markings/sec, 770 secs
lola: 362344630 markings, 691652045 edges, 436170 markings/sec, 775 secs
lola: 364666453 markings, 696083994 edges, 464365 markings/sec, 780 secs
lola: 367008002 markings, 700554525 edges, 468310 markings/sec, 785 secs
lola: 369361810 markings, 705048183 edges, 470762 markings/sec, 790 secs
lola: 371724004 markings, 709557697 edges, 472439 markings/sec, 795 secs
lola: 374093890 markings, 714082147 edges, 473977 markings/sec, 800 secs
lola: 376475823 markings, 718629522 edges, 476387 markings/sec, 805 secs
lola: 378822780 markings, 723110051 edges, 469391 markings/sec, 810 secs
lola: 381175543 markings, 727601487 edges, 470553 markings/sec, 815 secs
lola: 383541070 markings, 732117812 edges, 473105 markings/sec, 820 secs
lola: 385906258 markings, 736632862 edges, 473038 markings/sec, 825 secs
lola: 388275019 markings, 741155327 edges, 473752 markings/sec, 830 secs
lola: 390472990 markings, 745351644 edges, 439594 markings/sec, 835 secs
lola: 392820465 markings, 749832641 edges, 469495 markings/sec, 840 secs
lola: 395176693 markings, 754331243 edges, 471246 markings/sec, 845 secs
lola: 397529436 markings, 758822697 edges, 470549 markings/sec, 850 secs
lola: 399899250 markings, 763346980 edges, 473963 markings/sec, 855 secs
lola: 402278625 markings, 767889167 edges, 475875 markings/sec, 860 secs
lola: 404655827 markings, 772427923 edges, 475440 markings/sec, 865 secs
lola: 407008947 markings, 776919793 edges, 470624 markings/sec, 870 secs
lola: 409362653 markings, 781413512 edges, 470741 markings/sec, 875 secs
lola: 411716131 markings, 785906453 edges, 470696 markings/sec, 880 secs
lola: 414077569 markings, 790414605 edges, 472288 markings/sec, 885 secs
lola: 416443268 markings, 794931026 edges, 473140 markings/sec, 890 secs
lola: 418806117 markings, 799441828 edges, 472570 markings/sec, 895 secs
lola: 421179328 markings, 803972553 edges, 474642 markings/sec, 900 secs
lola: 423549213 markings, 808496929 edges, 473977 markings/sec, 905 secs
lola: 425926478 markings, 813035151 edges, 475453 markings/sec, 910 secs
lola: 428311523 markings, 817588863 edges, 477009 markings/sec, 915 secs
lola: 430696355 markings, 822141020 edges, 476966 markings/sec, 920 secs
lola: 433092510 markings, 826716153 edges, 479231 markings/sec, 925 secs
lola: 435472571 markings, 831259605 edges, 476012 markings/sec, 930 secs
lola: 437835676 markings, 835771181 edges, 472621 markings/sec, 935 secs
lola: 440185569 markings, 840257021 edges, 469979 markings/sec, 940 secs
lola: 442561752 markings, 844793737 edges, 475237 markings/sec, 945 secs
lola: 444931843 markings, 849318220 edges, 474018 markings/sec, 950 secs
lola: 447312145 markings, 853862495 edges, 476060 markings/sec, 955 secs
lola: 449693041 markings, 858408020 edges, 476179 markings/sec, 960 secs
lola: 452080988 markings, 862966309 edges, 477589 markings/sec, 965 secs
lola: 454458946 markings, 867506840 edges, 475592 markings/sec, 970 secs
lola: 456859398 markings, 872088938 edges, 480090 markings/sec, 975 secs
lola: 459269244 markings, 876689539 edges, 481969 markings/sec, 980 secs
lola: 461682106 markings, 881296508 edges, 482572 markings/sec, 985 secs
lola: 464758351 markings, 887169953 edges, 615249 markings/sec, 990 secs
lola: 466951841 markings, 891356114 edges, 438698 markings/sec, 995 secs
lola: 469192709 markings, 895634244 edges, 448174 markings/sec, 1000 secs
lola: 470706821 markings, 898525395 edges, 302822 markings/sec, 1005 secs
lola: 472929647 markings, 902769114 edges, 444565 markings/sec, 1010 secs
lola: 473954800 markings, 904725457 edges, 205031 markings/sec, 1015 secs
lola: 476099004 markings, 908819698 edges, 428841 markings/sec, 1020 secs
lola: 477783517 markings, 912034827 edges, 336903 markings/sec, 1025 secs
lola: 479992086 markings, 916251374 edges, 441714 markings/sec, 1030 secs
lola: 482226803 markings, 920517818 edges, 446943 markings/sec, 1035 secs
lola: 484473665 markings, 924807339 edges, 449372 markings/sec, 1040 secs
lola: 486258487 markings, 928214885 edges, 356964 markings/sec, 1045 secs
lola: 488500719 markings, 932495610 edges, 448446 markings/sec, 1050 secs
lola: 490742740 markings, 936775929 edges, 448404 markings/sec, 1055 secs
lola: 492974008 markings, 941035622 edges, 446254 markings/sec, 1060 secs
lola: 495203241 markings, 945291258 edges, 445847 markings/sec, 1065 secs
lola: 497432670 markings, 949547268 edges, 445886 markings/sec, 1070 secs
lola: 499668872 markings, 953816260 edges, 447240 markings/sec, 1075 secs
lola: 501905007 markings, 958085125 edges, 447227 markings/sec, 1080 secs
lola: 504132797 markings, 962337992 edges, 445558 markings/sec, 1085 secs
lola: 506391510 markings, 966650131 edges, 451743 markings/sec, 1090 secs
lola: 508269063 markings, 970235122 edges, 375511 markings/sec, 1095 secs
lola: 509800961 markings, 973159317 edges, 306380 markings/sec, 1100 secs
lola: 511740751 markings, 976862633 edges, 387958 markings/sec, 1105 secs
lola: 513456562 markings, 980138590 edges, 343162 markings/sec, 1110 secs
lola: 515072067 markings, 983222857 edges, 323101 markings/sec, 1115 secs
lola: 516940655 markings, 986789559 edges, 373718 markings/sec, 1120 secs
lola: 519130395 markings, 990970549 edges, 437948 markings/sec, 1125 secs
lola: 521370265 markings, 995246783 edges, 447974 markings/sec, 1130 secs
lola: 523572541 markings, 999450769 edges, 440455 markings/sec, 1135 secs
lola: 525833261 markings, 1003766755 edges, 452144 markings/sec, 1140 secs
lola: 527851183 markings, 1007619083 edges, 403584 markings/sec, 1145 secs
lola: 530105873 markings, 1011923512 edges, 450938 markings/sec, 1150 secs
lola: 532371957 markings, 1016249776 edges, 453217 markings/sec, 1155 secs
lola: 534666743 markings, 1020630935 edges, 458957 markings/sec, 1160 secs
lola: 536928712 markings, 1024949157 edges, 452394 markings/sec, 1165 secs
lola: 539195058 markings, 1029275696 edges, 453269 markings/sec, 1170 secs
lola: 541461223 markings, 1033601891 edges, 453233 markings/sec, 1175 secs
lola: 543732793 markings, 1037938356 edges, 454314 markings/sec, 1180 secs
lola: 546009243 markings, 1042284093 edges, 455290 markings/sec, 1185 secs
lola: 548302187 markings, 1046661581 edges, 458589 markings/sec, 1190 secs
lola: 550573959 markings, 1050998747 edges, 454354 markings/sec, 1195 secs
lola: 552841397 markings, 1055327608 edges, 453488 markings/sec, 1200 secs
lola: 555111980 markings, 1059662498 edges, 454117 markings/sec, 1205 secs
lola: 557399296 markings, 1064029461 edges, 457463 markings/sec, 1210 secs
lola: 559679884 markings, 1068383252 edges, 456118 markings/sec, 1215 secs
lola: 561965963 markings, 1072747285 edges, 457216 markings/sec, 1220 secs
lola: 564263168 markings, 1077132456 edges, 459441 markings/sec, 1225 secs
lola: 566543413 markings, 1081485731 edges, 456049 markings/sec, 1230 secs
lola: 567596617 markings, 1083496732 edges, 210641 markings/sec, 1235 secs
lola: 567672957 markings, 1083642161 edges, 15268 markings/sec, 1240 secs
lola: 567713084 markings, 1083719071 edges, 8025 markings/sec, 1245 secs
lola: 567715427 markings, 1083723559 edges, 469 markings/sec, 1250 secs
lola: 567715503 markings, 1083723704 edges, 15 markings/sec, 1255 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1267 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p11)
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: 10240
lola: SUBRESULT
lola: result: 10240
lola: produced by: state space
lola: The maximum value of the given expression is 10240
lola: 194586 markings, 317477 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p15)
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: 10240
lola: 4071687 markings, 6201046 edges, 814337 markings/sec, 0 secs
lola: 7864762 markings, 11893530 edges, 758615 markings/sec, 5 secs
lola: 11525967 markings, 17387452 edges, 732241 markings/sec, 10 secs
lola: 15111469 markings, 22767449 edges, 717100 markings/sec, 15 secs
lola: 18669348 markings, 28105796 edges, 711576 markings/sec, 20 secs
lola: 22137581 markings, 33309495 edges, 693647 markings/sec, 25 secs
lola: 25596098 markings, 38498514 edges, 691703 markings/sec, 30 secs
lola: 29031900 markings, 43653369 edges, 687160 markings/sec, 35 secs
lola: 32456978 markings, 48792069 edges, 685016 markings/sec, 40 secs
lola: 35920091 markings, 53987773 edges, 692623 markings/sec, 45 secs
lola: 39326386 markings, 59098187 edges, 681259 markings/sec, 50 secs
lola: 42666055 markings, 64108600 edges, 667934 markings/sec, 55 secs
lola: 46073997 markings, 69221405 edges, 681588 markings/sec, 60 secs
lola: 49424762 markings, 74248395 edges, 670153 markings/sec, 65 secs
lola: 52734290 markings, 79213499 edges, 661906 markings/sec, 70 secs
lola: 56047330 markings, 84183841 edges, 662608 markings/sec, 75 secs
lola: 59430886 markings, 89259950 edges, 676711 markings/sec, 80 secs
lola: 62741555 markings, 94226692 edges, 662134 markings/sec, 85 secs
lola: 66048910 markings, 99188440 edges, 661471 markings/sec, 90 secs
lola: 69293866 markings, 104056561 edges, 648991 markings/sec, 95 secs
lola: 72626257 markings, 109055839 edges, 666478 markings/sec, 100 secs
lola: 75858917 markings, 113905481 edges, 646532 markings/sec, 105 secs
lola: 78879554 markings, 118437033 edges, 604127 markings/sec, 110 secs
lola: 82077910 markings, 123235188 edges, 639671 markings/sec, 115 secs
lola: 85241825 markings, 127981662 edges, 632783 markings/sec, 120 secs
lola: 88537223 markings, 132925372 edges, 659080 markings/sec, 125 secs
lola: 91777724 markings, 137786717 edges, 648100 markings/sec, 130 secs
lola: 94964456 markings, 142567391 edges, 637346 markings/sec, 135 secs
lola: 98162598 markings, 147365170 edges, 639628 markings/sec, 140 secs
lola: 101301135 markings, 152073522 edges, 627707 markings/sec, 145 secs
lola: 104475910 markings, 156836226 edges, 634955 markings/sec, 150 secs
lola: 107703982 markings, 161678878 edges, 645614 markings/sec, 155 secs
lola: 110873735 markings, 166434036 edges, 633951 markings/sec, 160 secs
lola: 114014760 markings, 171146089 edges, 628205 markings/sec, 165 secs
lola: 117123286 markings, 175809381 edges, 621705 markings/sec, 170 secs
lola: 120234405 markings, 180476556 edges, 622224 markings/sec, 175 secs
lola: 123353140 markings, 185155150 edges, 623747 markings/sec, 180 secs
lola: 126690338 markings, 190161461 edges, 667440 markings/sec, 185 secs
lola: 129962692 markings, 195070498 edges, 654471 markings/sec, 190 secs
lola: 133197007 markings, 199922459 edges, 646863 markings/sec, 195 secs
lola: 136443151 markings, 204792161 edges, 649229 markings/sec, 200 secs
lola: 139648125 markings, 209600096 edges, 640995 markings/sec, 205 secs
lola: 142841999 markings, 214391371 edges, 638775 markings/sec, 210 secs
lola: 145789130 markings, 218812496 edges, 589426 markings/sec, 215 secs
lola: 148991732 markings, 223616856 edges, 640520 markings/sec, 220 secs
lola: 152052776 markings, 228208857 edges, 612209 markings/sec, 225 secs
lola: 155201880 markings, 232932953 edges, 629821 markings/sec, 230 secs
lola: 158373793 markings, 237691264 edges, 634383 markings/sec, 235 secs
lola: 161486480 markings, 242360721 edges, 622537 markings/sec, 240 secs
lola: 164599374 markings, 247030484 edges, 622579 markings/sec, 245 secs
lola: 167709937 markings, 251696750 edges, 622113 markings/sec, 250 secs
lola: 170979348 markings, 256601301 edges, 653882 markings/sec, 255 secs
lola: 174194098 markings, 261423850 edges, 642950 markings/sec, 260 secs
lola: 177359910 markings, 266172987 edges, 633162 markings/sec, 265 secs
lola: 180502611 markings, 270887445 edges, 628540 markings/sec, 270 secs
lola: 183659586 markings, 275623311 edges, 631395 markings/sec, 275 secs
lola: 186799370 markings, 280333389 edges, 627957 markings/sec, 280 secs
lola: 189933786 markings, 285035410 edges, 626883 markings/sec, 285 secs
lola: 192925412 markings, 289524465 edges, 598325 markings/sec, 290 secs
lola: 195544158 markings, 293453715 edges, 523749 markings/sec, 295 secs
lola: 197175889 markings, 295899465 edges, 326346 markings/sec, 300 secs
lola: 198955131 markings, 298568548 edges, 355848 markings/sec, 305 secs
lola: 201238173 markings, 301993391 edges, 456608 markings/sec, 310 secs
lola: 202790486 markings, 304322049 edges, 310463 markings/sec, 315 secs
lola: 204663116 markings, 307131222 edges, 374526 markings/sec, 320 secs
lola: 206729423 markings, 310230934 edges, 413261 markings/sec, 325 secs
lola: 208601923 markings, 313039909 edges, 374500 markings/sec, 330 secs
lola: 210556131 markings, 315971454 edges, 390842 markings/sec, 335 secs
lola: 212757533 markings, 319273821 edges, 440280 markings/sec, 340 secs
lola: 215154690 markings, 322869840 edges, 479431 markings/sec, 345 secs
lola: 217254472 markings, 326019760 edges, 419956 markings/sec, 350 secs
lola: 219440701 markings, 329299362 edges, 437246 markings/sec, 355 secs
lola: 222671339 markings, 334145697 edges, 646128 markings/sec, 360 secs
lola: 223860501 markings, 335929577 edges, 237832 markings/sec, 365 secs
lola: 226552044 markings, 339967203 edges, 538309 markings/sec, 370 secs
lola: 228316777 markings, 342614506 edges, 352947 markings/sec, 375 secs
lola: 230321019 markings, 345621099 edges, 400848 markings/sec, 380 secs
lola: 232200306 markings, 348440245 edges, 375857 markings/sec, 385 secs
lola: 234567740 markings, 351991662 edges, 473487 markings/sec, 390 secs
lola: 237323147 markings, 356125088 edges, 551081 markings/sec, 395 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p19)
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: 30720
lola: 2328982 markings, 5329611 edges, 465796 markings/sec, 0 secs
lola: 4461363 markings, 10229766 edges, 426476 markings/sec, 5 secs
lola: 6421524 markings, 14735234 edges, 392032 markings/sec, 10 secs
lola: 8306300 markings, 19067100 edges, 376955 markings/sec, 15 secs
lola: 10115183 markings, 23228055 edges, 361777 markings/sec, 20 secs
lola: 11904620 markings, 27341016 edges, 357887 markings/sec, 25 secs
lola: 13602878 markings, 31245844 edges, 339652 markings/sec, 30 secs
lola: 15363525 markings, 35293601 edges, 352129 markings/sec, 35 secs
lola: 17079503 markings, 39240764 edges, 343196 markings/sec, 40 secs
lola: 18761921 markings, 43109078 edges, 336484 markings/sec, 45 secs
lola: 20493883 markings, 47087953 edges, 346392 markings/sec, 50 secs
lola: 22216811 markings, 51052300 edges, 344586 markings/sec, 55 secs
lola: 23900346 markings, 54919350 edges, 336707 markings/sec, 60 secs
lola: 25591385 markings, 58807926 edges, 338208 markings/sec, 65 secs
lola: 27295011 markings, 62725989 edges, 340725 markings/sec, 70 secs
lola: 28995116 markings, 66633937 edges, 340021 markings/sec, 75 secs
lola: 30643202 markings, 70426341 edges, 329617 markings/sec, 80 secs
lola: 32281449 markings, 74195291 edges, 327649 markings/sec, 85 secs
lola: 33922654 markings, 77968396 edges, 328241 markings/sec, 90 secs
lola: 35551323 markings, 81711826 edges, 325734 markings/sec, 95 secs
lola: 37026785 markings, 85102672 edges, 295092 markings/sec, 100 secs
lola: 38511329 markings, 88516563 edges, 296909 markings/sec, 105 secs
lola: 40003449 markings, 91950071 edges, 298424 markings/sec, 110 secs
lola: 41574280 markings, 95562304 edges, 314166 markings/sec, 115 secs
lola: 43075422 markings, 99010446 edges, 300228 markings/sec, 120 secs
lola: 44616693 markings, 102555142 edges, 308254 markings/sec, 125 secs
lola: 46115110 markings, 105999774 edges, 299683 markings/sec, 130 secs
lola: 47657208 markings, 109548054 edges, 308420 markings/sec, 135 secs
lola: 49187865 markings, 113069830 edges, 306131 markings/sec, 140 secs
lola: 50703196 markings, 116553937 edges, 303066 markings/sec, 145 secs
lola: 52206946 markings, 120010672 edges, 300750 markings/sec, 150 secs
lola: 53700636 markings, 123444483 edges, 298738 markings/sec, 155 secs
lola: 55208543 markings, 126909153 edges, 301581 markings/sec, 160 secs
lola: 56734309 markings, 130423963 edges, 305153 markings/sec, 165 secs
lola: 58250661 markings, 133907887 edges, 303270 markings/sec, 170 secs
lola: 59730466 markings, 137311798 edges, 295961 markings/sec, 175 secs
lola: 61199142 markings, 140691867 edges, 293735 markings/sec, 180 secs
lola: 62673637 markings, 144081482 edges, 294899 markings/sec, 185 secs
lola: 64148596 markings, 147467170 edges, 294992 markings/sec, 190 secs
lola: 65607934 markings, 150828515 edges, 291868 markings/sec, 195 secs
lola: 67075543 markings, 154206544 edges, 293522 markings/sec, 200 secs
lola: 68536848 markings, 157563667 edges, 292261 markings/sec, 205 secs
lola: 70010827 markings, 160948436 edges, 294796 markings/sec, 210 secs
lola: 71489696 markings, 164353147 edges, 295774 markings/sec, 215 secs
lola: 72974064 markings, 167767346 edges, 296874 markings/sec, 220 secs
lola: 74457950 markings, 171175341 edges, 296777 markings/sec, 225 secs
lola: 75937920 markings, 174580792 edges, 295994 markings/sec, 230 secs
lola: 77391487 markings, 177925046 edges, 290713 markings/sec, 235 secs
lola: 78838431 markings, 181247462 edges, 289389 markings/sec, 240 secs
lola: 80286545 markings, 184581541 edges, 289623 markings/sec, 245 secs
lola: 81772991 markings, 187998871 edges, 297289 markings/sec, 250 secs
lola: 83250550 markings, 191401701 edges, 295512 markings/sec, 255 secs
lola: 84738706 markings, 194816910 edges, 297631 markings/sec, 260 secs
lola: 86109681 markings, 197969767 edges, 274195 markings/sec, 265 secs
lola: 87544992 markings, 201276526 edges, 287062 markings/sec, 270 secs
lola: 88969997 markings, 204552473 edges, 285001 markings/sec, 275 secs
lola: 90399201 markings, 207835686 edges, 285841 markings/sec, 280 secs
lola: 91822799 markings, 211114367 edges, 284720 markings/sec, 285 secs
lola: 93266187 markings, 214427411 edges, 288678 markings/sec, 290 secs
lola: 94700007 markings, 217725740 edges, 286764 markings/sec, 295 secs
lola: 96117595 markings, 220992184 edges, 283518 markings/sec, 300 secs
lola: 97533866 markings, 224245720 edges, 283254 markings/sec, 305 secs
lola: 98929231 markings, 227453296 edges, 279073 markings/sec, 310 secs
lola: 100316062 markings, 230643592 edges, 277366 markings/sec, 315 secs
lola: 101698623 markings, 233819557 edges, 276512 markings/sec, 320 secs
lola: 103076793 markings, 236995641 edges, 275634 markings/sec, 325 secs
lola: 104461345 markings, 240170684 edges, 276910 markings/sec, 330 secs
lola: 105842755 markings, 243349330 edges, 276282 markings/sec, 335 secs
lola: 107220984 markings, 246516695 edges, 275646 markings/sec, 340 secs
lola: 108598402 markings, 249694170 edges, 275484 markings/sec, 345 secs
lola: 109976542 markings, 252855550 edges, 275628 markings/sec, 350 secs
lola: 111349701 markings, 256016285 edges, 274632 markings/sec, 355 secs
lola: 112720065 markings, 259166948 edges, 274073 markings/sec, 360 secs
lola: 114105409 markings, 262354201 edges, 277069 markings/sec, 365 secs
lola: 115482529 markings, 265517133 edges, 275424 markings/sec, 370 secs
lola: 116848576 markings, 268663989 edges, 273209 markings/sec, 375 secs
lola: 118241317 markings, 271862553 edges, 278548 markings/sec, 380 secs
lola: 119633714 markings, 275073394 edges, 278479 markings/sec, 385 secs
lola: 121003198 markings, 278221537 edges, 273897 markings/sec, 390 secs
lola: 122368386 markings, 281355858 edges, 273038 markings/sec, 395 secs
lola: 123734510 markings, 284496919 edges, 273225 markings/sec, 400 secs
lola: 125088235 markings, 287605496 edges, 270745 markings/sec, 405 secs
lola: 126452555 markings, 290746341 edges, 272864 markings/sec, 410 secs
lola: 127810270 markings, 293867485 edges, 271543 markings/sec, 415 secs
lola: 129168320 markings, 296988691 edges, 271610 markings/sec, 420 secs
lola: 130506702 markings, 300069408 edges, 267676 markings/sec, 425 secs
lola: 131843255 markings, 303012067 edges, 267311 markings/sec, 430 secs
lola: 133171652 markings, 305670252 edges, 265679 markings/sec, 435 secs
lola: 134554571 markings, 308442754 edges, 276584 markings/sec, 440 secs
lola: 135869567 markings, 311065741 edges, 262999 markings/sec, 445 secs
lola: 137245000 markings, 313819104 edges, 275087 markings/sec, 450 secs
lola: 138583068 markings, 316494510 edges, 267614 markings/sec, 455 secs
lola: 139831445 markings, 318995419 edges, 249675 markings/sec, 460 secs
lola: 141154269 markings, 321635795 edges, 264565 markings/sec, 465 secs
lola: 142493660 markings, 324312883 edges, 267878 markings/sec, 470 secs
lola: 143828817 markings, 326986795 edges, 267031 markings/sec, 475 secs
lola: 145046843 markings, 329421347 edges, 243605 markings/sec, 480 secs
lola: 146284526 markings, 331896370 edges, 247537 markings/sec, 485 secs
lola: 147506699 markings, 334346491 edges, 244435 markings/sec, 490 secs
lola: 148811279 markings, 336947280 edges, 260916 markings/sec, 495 secs
lola: 150123549 markings, 339578623 edges, 262454 markings/sec, 500 secs
lola: 151432518 markings, 342192598 edges, 261794 markings/sec, 505 secs
lola: 152617555 markings, 344563939 edges, 237007 markings/sec, 510 secs
lola: 153826543 markings, 346978682 edges, 241798 markings/sec, 515 secs
lola: 154933147 markings, 349194517 edges, 221321 markings/sec, 520 secs
lola: 156210802 markings, 351751894 edges, 255531 markings/sec, 525 secs
lola: 157448579 markings, 354225127 edges, 247555 markings/sec, 530 secs
lola: 158657954 markings, 356642884 edges, 241875 markings/sec, 535 secs
lola: 159851600 markings, 359030355 edges, 238729 markings/sec, 540 secs
lola: 161136584 markings, 361597582 edges, 256997 markings/sec, 545 secs
lola: 162420217 markings, 364170627 edges, 256727 markings/sec, 550 secs
lola: 163636510 markings, 366604498 edges, 243259 markings/sec, 555 secs
lola: 164879035 markings, 369088652 edges, 248505 markings/sec, 560 secs
lola: 165864813 markings, 371056663 edges, 197156 markings/sec, 565 secs
lola: 167066066 markings, 373457374 edges, 240251 markings/sec, 570 secs
lola: 168066396 markings, 375463742 edges, 200066 markings/sec, 575 secs
lola: 169296182 markings, 377919952 edges, 245957 markings/sec, 580 secs
lola: 170359412 markings, 380050012 edges, 212646 markings/sec, 585 secs
lola: 171573434 markings, 382478182 edges, 242804 markings/sec, 590 secs
lola: 172720364 markings, 384767637 edges, 229386 markings/sec, 595 secs
lola: 173947914 markings, 387227127 edges, 245510 markings/sec, 600 secs
lola: 174986041 markings, 389302840 edges, 207625 markings/sec, 605 secs
lola: 176075847 markings, 391483596 edges, 217961 markings/sec, 610 secs
lola: 177089601 markings, 393505093 edges, 202751 markings/sec, 615 secs
lola: 178161489 markings, 395648707 edges, 214378 markings/sec, 620 secs
lola: 179334049 markings, 397998451 edges, 234512 markings/sec, 625 secs
lola: 180579056 markings, 400487808 edges, 249001 markings/sec, 630 secs
lola: 181523155 markings, 402371907 edges, 188820 markings/sec, 635 secs
lola: 182562625 markings, 404456522 edges, 207894 markings/sec, 640 secs
lola: 183605178 markings, 406534941 edges, 208511 markings/sec, 645 secs
lola: 184546662 markings, 408419392 edges, 188297 markings/sec, 650 secs
lola: 185664836 markings, 410658124 edges, 223635 markings/sec, 655 secs
lola: 186850993 markings, 413028583 edges, 237231 markings/sec, 660 secs
lola: 188051253 markings, 415427685 edges, 240052 markings/sec, 665 secs
lola: 189110675 markings, 417548408 edges, 211884 markings/sec, 670 secs
lola: 190265748 markings, 419861285 edges, 231015 markings/sec, 675 secs
lola: 191385151 markings, 422100487 edges, 223881 markings/sec, 680 secs
lola: 192467748 markings, 424262997 edges, 216519 markings/sec, 685 secs
lola: 193662420 markings, 426653773 edges, 238934 markings/sec, 690 secs
lola: 194907050 markings, 429142274 edges, 248926 markings/sec, 695 secs
lola: 196040479 markings, 431410478 edges, 226686 markings/sec, 700 secs
lola: 197341147 markings, 434008819 edges, 260134 markings/sec, 705 secs
lola: 198622804 markings, 436574506 edges, 256331 markings/sec, 710 secs
lola: 199768437 markings, 438866767 edges, 229127 markings/sec, 715 secs
lola: 200915464 markings, 441157095 edges, 229405 markings/sec, 720 secs
lola: 202070950 markings, 443467840 edges, 231097 markings/sec, 725 secs
lola: 203346366 markings, 446019738 edges, 255083 markings/sec, 730 secs
lola: 204044651 markings, 447418338 edges, 139657 markings/sec, 735 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p17)
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: 10240
lola: 3008168 markings, 6249092 edges, 601634 markings/sec, 0 secs
lola: 5819085 markings, 12144809 edges, 562183 markings/sec, 5 secs
lola: 8562140 markings, 17899800 edges, 548611 markings/sec, 10 secs
lola: 11285713 markings, 23615842 edges, 544715 markings/sec, 15 secs
lola: 13934594 markings, 29173671 edges, 529776 markings/sec, 20 secs
lola: 16427881 markings, 34407223 edges, 498657 markings/sec, 25 secs
lola: 19071298 markings, 39954205 edges, 528683 markings/sec, 30 secs
lola: 21613531 markings, 45289525 edges, 508447 markings/sec, 35 secs
lola: 24212887 markings, 50746824 edges, 519871 markings/sec, 40 secs
lola: 26753184 markings, 56077518 edges, 508059 markings/sec, 45 secs
lola: 29286696 markings, 61397069 edges, 506702 markings/sec, 50 secs
lola: 31783973 markings, 66637302 edges, 499455 markings/sec, 55 secs
lola: 34292099 markings, 71903822 edges, 501625 markings/sec, 60 secs
lola: 36701291 markings, 76961582 edges, 481838 markings/sec, 65 secs
lola: 39169486 markings, 82140783 edges, 493639 markings/sec, 70 secs
lola: 41582775 markings, 87207068 edges, 482658 markings/sec, 75 secs
lola: 43991083 markings, 92262049 edges, 481662 markings/sec, 80 secs
lola: 46331352 markings, 97174513 edges, 468054 markings/sec, 85 secs
lola: 48704478 markings, 102156899 edges, 474625 markings/sec, 90 secs
lola: 51169522 markings, 107332457 edges, 493009 markings/sec, 95 secs
lola: 53599717 markings, 112435564 edges, 486039 markings/sec, 100 secs
lola: 55938782 markings, 117343679 edges, 467813 markings/sec, 105 secs
lola: 58347026 markings, 122402190 edges, 481649 markings/sec, 110 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 10240 10240 10240 10240 unknown 10240 10240 10240 20480 unknown 20480 10240 10240 unknown 10240
lola:
preliminary result: unknown 10240 10240 10240 10240 unknown 10240 10240 10240 20480 unknown 20480 10240 10240 unknown 10240
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 10240 10240 10240 10240 unknown 10240 10240 10240 20480 unknown 20480 10240 10240 unknown 10240
lola: memory consumption: 5489228 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: unknown 10240 10240 10240 10240 unknown 10240 10240 10240 20480 unknown 20480 10240 10240 unknown 10240
lola: memory consumption: 5489228 KB
lola: time consumption: 3571 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="CloudOpsManagement-PT-20480by10240"
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 CloudOpsManagement-PT-20480by10240, 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 r168-smll-158987806800469"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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