Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 328K
-rw-r--r-- 1 mcc users 3.7K Apr 8 15:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 8 15:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 7 18:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 7 18:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 6 20:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 6 04:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 6 04:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 158K 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 PaceMaker-PT-none-UpperBounds-00
FORMULA_NAME PaceMaker-PT-none-UpperBounds-01
FORMULA_NAME PaceMaker-PT-none-UpperBounds-02
FORMULA_NAME PaceMaker-PT-none-UpperBounds-03
FORMULA_NAME PaceMaker-PT-none-UpperBounds-04
FORMULA_NAME PaceMaker-PT-none-UpperBounds-05
FORMULA_NAME PaceMaker-PT-none-UpperBounds-06
FORMULA_NAME PaceMaker-PT-none-UpperBounds-07
FORMULA_NAME PaceMaker-PT-none-UpperBounds-08
FORMULA_NAME PaceMaker-PT-none-UpperBounds-09
FORMULA_NAME PaceMaker-PT-none-UpperBounds-10
FORMULA_NAME PaceMaker-PT-none-UpperBounds-11
FORMULA_NAME PaceMaker-PT-none-UpperBounds-12
FORMULA_NAME PaceMaker-PT-none-UpperBounds-13
FORMULA_NAME PaceMaker-PT-none-UpperBounds-14
FORMULA_NAME PaceMaker-PT-none-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1591149729657

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 02:02:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 02:02:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 02:02:11] [INFO ] Load time of PNML (sax parser for PT used): 76 ms
[2020-06-03 02:02:11] [INFO ] Transformed 70 places.
[2020-06-03 02:02:11] [INFO ] Transformed 164 transitions.
[2020-06-03 02:02:11] [INFO ] Parsed PT model containing 70 places and 164 transitions in 122 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 13 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
[2020-06-03 02:02:12] [INFO ] Flatten gal took : 58 ms
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
[2020-06-03 02:02:12] [INFO ] Flow matrix only has 158 transitions (discarded 6 similar events)
Normalized transition count is 93 out of 158 initially.
// Phase 1: matrix 93 rows 70 cols
[2020-06-03 02:02:12] [INFO ] Computed 35 place invariants in 5 ms
Support contains 15 out of 70 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 70/70 places, 164/164 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 0 with 9 rules applied. Total rules applied 9 place count 64 transition count 161
Applied a total of 9 rules in 26 ms. Remains 64 /70 variables (removed 6) and now considering 161/164 (removed 3) transitions.
[2020-06-03 02:02:12] [INFO ] Flow matrix only has 155 transitions (discarded 6 similar events)
Normalized transition count is 90 out of 155 initially.
// Phase 1: matrix 90 rows 64 cols
[2020-06-03 02:02:12] [INFO ] Computed 32 place invariants in 2 ms
[2020-06-03 02:02:12] [INFO ] Dead Transitions using invariants and state equation in 273 ms returned []
Finished structural reductions, in 1 iterations. Remains : 64/70 places, 161/164 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 )
[2020-06-03 02:02:12] [INFO ] Flow matrix only has 155 transitions (discarded 6 similar events)
Normalized transition count is 90 out of 155 initially.
// Phase 1: matrix 90 rows 64 cols
[2020-06-03 02:02:12] [INFO ] Computed 32 place invariants in 2 ms
Support contains 15 out of 64 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 64/64 places, 161/161 transitions.
Applied a total of 0 rules in 15 ms. Remains 64 /64 variables (removed 0) and now considering 161/161 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 64/64 places, 161/161 transitions.
Starting structural reductions, iteration 0 : 64/64 places, 161/161 transitions.
Applied a total of 0 rules in 9 ms. Remains 64 /64 variables (removed 0) and now considering 161/161 (removed 0) transitions.
[2020-06-03 02:02:12] [INFO ] Flow matrix only has 155 transitions (discarded 6 similar events)
Normalized transition count is 90 out of 155 initially.
// Phase 1: matrix 90 rows 64 cols
[2020-06-03 02:02:12] [INFO ] Computed 32 place invariants in 2 ms
[2020-06-03 02:02:12] [INFO ] Implicit Places using invariants in 89 ms returned []
[2020-06-03 02:02:12] [INFO ] Flow matrix only has 155 transitions (discarded 6 similar events)
Normalized transition count is 90 out of 155 initially.
// Phase 1: matrix 90 rows 64 cols
[2020-06-03 02:02:12] [INFO ] Computed 32 place invariants in 1 ms
[2020-06-03 02:02:12] [INFO ] State equation strengthened by 58 read => feed constraints.
[2020-06-03 02:02:12] [INFO ] Implicit Places using invariants and state equation in 286 ms returned []
Implicit Place search using SMT with State Equation took 377 ms to find 0 implicit places.
[2020-06-03 02:02:12] [INFO ] Redundant transitions in 7 ms returned []
[2020-06-03 02:02:12] [INFO ] Flow matrix only has 155 transitions (discarded 6 similar events)
Normalized transition count is 90 out of 155 initially.
// Phase 1: matrix 90 rows 64 cols
[2020-06-03 02:02:12] [INFO ] Computed 32 place invariants in 1 ms
[2020-06-03 02:02:13] [INFO ] Dead Transitions using invariants and state equation in 193 ms returned []
Finished structural reductions, in 1 iterations. Remains : 64/64 places, 161/161 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Discarding 8 places :
Also discarding 17 output transitions
Drop transitions removed 17 transitions
Graph (complete) has 142 edges and 64 vertex of which 56 are kept as prefixes of interest. Removing 8 places using SCC suffix rule.13 ms
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Reduce isomorphic (modulo) transitions removed 6 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 9 place count 56 transition count 136
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 1 with 9 rules applied. Total rules applied 18 place count 50 transition count 133
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Reduce isomorphic (modulo) transitions removed 1 transitions.
Discarding 2 places :
Also discarding 2 output transitions
Drop transitions removed 2 transitions
Graph (complete) has 116 edges and 50 vertex of which 48 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.1 ms
Iterating post reduction 1 with 4 rules applied. Total rules applied 22 place count 48 transition count 128
Applied a total of 22 rules in 27 ms. Remains 48 /64 variables (removed 16) and now considering 128/161 (removed 33) transitions.
Normalized transition count is 73 out of 128 initially.
// Phase 1: matrix 73 rows 48 cols
[2020-06-03 02:02:13] [INFO ] Computed 24 place invariants in 1 ms
[2020-06-03 02:02:13] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 3 ms.
[2020-06-03 02:02:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 9 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ PaceMaker-PT-none @ 3570 seconds

FORMULA PaceMaker-PT-none-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PaceMaker-PT-none-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PaceMaker-PT-none-UpperBounds-02 715 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PaceMaker-PT-none-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PaceMaker-PT-none-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PaceMaker-PT-none-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PaceMaker-PT-none-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PaceMaker-PT-none-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PaceMaker-PT-none-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PaceMaker-PT-none-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ PaceMaker-PT-none

{
"exit":
{
"memory": 12151948,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p20)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"preliminary_value": "1 1 715 1 unknown unknown unknown 1 1 unknown unknown 1 1 1 unknown 1 "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 225/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2048
lola: finding significant places
lola: 64 places, 161 transitions, 32 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(p34) : MAX(p7) : MAX(p30) : MAX(p9) : MAX(p20) : MAX(p59) : MAX(p55) : MAX(p8) : MAX(p39) : MAX(p47) : MAX(p47) : MAX(p4) : MAX(p3) : MAX(p5) : MAX(p16) : MAX(p43)
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(p34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p34)
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 7 markings, 6 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p30)
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: 715
lola: SUBRESULT
lola: result: 715
lola: produced by: state space
lola: The maximum value of the given expression is 715
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 3 will run for 274 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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 202 markings, 219 edges
lola: ========================================
lola: subprocess 4 will run for 297 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: 951
lola: 2361945 markings, 3695773 edges, 472389 markings/sec, 0 secs
lola: 4576453 markings, 7355867 edges, 442902 markings/sec, 5 secs
lola: 6591008 markings, 11048346 edges, 402911 markings/sec, 10 secs
lola: 8399420 markings, 14449717 edges, 361682 markings/sec, 15 secs
lola: 10117521 markings, 17977140 edges, 343620 markings/sec, 20 secs
lola: 11690617 markings, 21456827 edges, 314619 markings/sec, 25 secs
lola: 13762586 markings, 24925294 edges, 414394 markings/sec, 30 secs
lola: 15694132 markings, 28576852 edges, 386309 markings/sec, 35 secs
lola: 17015509 markings, 32265873 edges, 264275 markings/sec, 40 secs
lola: 18773068 markings, 35991244 edges, 351512 markings/sec, 45 secs
lola: 20724407 markings, 39669728 edges, 390268 markings/sec, 50 secs
lola: 22355689 markings, 43306959 edges, 326256 markings/sec, 55 secs
lola: 24065705 markings, 47035459 edges, 342003 markings/sec, 60 secs
lola: 25439686 markings, 50666944 edges, 274796 markings/sec, 65 secs
lola: 26879241 markings, 54192436 edges, 287911 markings/sec, 70 secs
lola: 28417133 markings, 57758747 edges, 307578 markings/sec, 75 secs
lola: 30132270 markings, 61305872 edges, 343027 markings/sec, 80 secs
lola: 31892380 markings, 64960822 edges, 352022 markings/sec, 85 secs
lola: 33735844 markings, 68522770 edges, 368693 markings/sec, 90 secs
lola: 35589193 markings, 72072444 edges, 370670 markings/sec, 95 secs
lola: 37372379 markings, 75590412 edges, 356637 markings/sec, 100 secs
lola: 39133463 markings, 79117323 edges, 352217 markings/sec, 105 secs
lola: 40844662 markings, 82663606 edges, 342240 markings/sec, 110 secs
lola: 42591474 markings, 86134914 edges, 349362 markings/sec, 115 secs
lola: 44331419 markings, 89600269 edges, 347989 markings/sec, 120 secs
lola: 46083791 markings, 93067987 edges, 350474 markings/sec, 125 secs
lola: 47800275 markings, 96504653 edges, 343297 markings/sec, 130 secs
lola: 49488165 markings, 99924354 edges, 337578 markings/sec, 135 secs
lola: 51215525 markings, 103387419 edges, 345472 markings/sec, 140 secs
lola: 52863999 markings, 106873729 edges, 329695 markings/sec, 145 secs
lola: 54550335 markings, 110323415 edges, 337267 markings/sec, 150 secs
lola: 56171538 markings, 113792023 edges, 324241 markings/sec, 155 secs
lola: 57813997 markings, 117245921 edges, 328492 markings/sec, 160 secs
lola: 59437201 markings, 120657358 edges, 324641 markings/sec, 165 secs
lola: 61041659 markings, 124009802 edges, 320892 markings/sec, 170 secs
lola: 62596580 markings, 127310193 edges, 310984 markings/sec, 175 secs
lola: 64178579 markings, 130671144 edges, 316400 markings/sec, 180 secs
lola: 65690626 markings, 134067113 edges, 302409 markings/sec, 185 secs
lola: 67234376 markings, 137393219 edges, 308750 markings/sec, 190 secs
lola: 68789535 markings, 140743650 edges, 311032 markings/sec, 195 secs
lola: 70288800 markings, 144101578 edges, 299853 markings/sec, 200 secs
lola: 71713343 markings, 147315307 edges, 284909 markings/sec, 205 secs
lola: 73157651 markings, 150642188 edges, 288862 markings/sec, 210 secs
lola: 74523471 markings, 153991194 edges, 273164 markings/sec, 215 secs
lola: 75827750 markings, 157382168 edges, 260856 markings/sec, 220 secs
lola: 77119622 markings, 160655433 edges, 258374 markings/sec, 225 secs
lola: 78478942 markings, 163920226 edges, 271864 markings/sec, 230 secs
lola: 79801827 markings, 167156995 edges, 264577 markings/sec, 235 secs
lola: 81147503 markings, 170420308 edges, 269135 markings/sec, 240 secs
lola: 82496745 markings, 173704898 edges, 269848 markings/sec, 245 secs
lola: 83804826 markings, 177031117 edges, 261616 markings/sec, 250 secs
lola: 85102566 markings, 180358705 edges, 259548 markings/sec, 255 secs
lola: 86428797 markings, 183748487 edges, 265246 markings/sec, 260 secs
lola: 87698510 markings, 187057494 edges, 253943 markings/sec, 265 secs
lola: 88894048 markings, 190434030 edges, 239108 markings/sec, 270 secs
lola: 90072827 markings, 193917586 edges, 235756 markings/sec, 275 secs
lola: 91274708 markings, 197301102 edges, 240376 markings/sec, 280 secs
lola: 92441817 markings, 200640252 edges, 233422 markings/sec, 285 secs
lola: 93605510 markings, 203875525 edges, 232739 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 715 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4362224 KB
lola: time consumption: 300 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 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p59)
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: 951
lola: 1738261 markings, 4200272 edges, 347652 markings/sec, 0 secs
lola: 3386404 markings, 8489158 edges, 329629 markings/sec, 5 secs
lola: 5042366 markings, 12871245 edges, 331192 markings/sec, 10 secs
lola: 6505587 markings, 17187129 edges, 292644 markings/sec, 15 secs
lola: 7987861 markings, 21544291 edges, 296455 markings/sec, 20 secs
lola: 9675515 markings, 25762849 edges, 337531 markings/sec, 25 secs
lola: 11158034 markings, 29941082 edges, 296504 markings/sec, 30 secs
lola: 12705522 markings, 34233692 edges, 309498 markings/sec, 35 secs
lola: 14269461 markings, 38262121 edges, 312788 markings/sec, 40 secs
lola: 15701809 markings, 42258318 edges, 286470 markings/sec, 45 secs
lola: 17113075 markings, 46381402 edges, 282253 markings/sec, 50 secs
lola: 18638916 markings, 50262545 edges, 305168 markings/sec, 55 secs
lola: 20156089 markings, 54115961 edges, 303435 markings/sec, 60 secs
lola: 21498248 markings, 58029577 edges, 268432 markings/sec, 65 secs
lola: 22828086 markings, 61944201 edges, 265968 markings/sec, 70 secs
lola: 24454963 markings, 65757444 edges, 325375 markings/sec, 75 secs
lola: 25854502 markings, 69636757 edges, 279908 markings/sec, 80 secs
lola: 27234394 markings, 73438009 edges, 275978 markings/sec, 85 secs
lola: 28542804 markings, 77129472 edges, 261682 markings/sec, 90 secs
lola: 29873346 markings, 80764688 edges, 266108 markings/sec, 95 secs
lola: 31209090 markings, 84405677 edges, 267149 markings/sec, 100 secs
lola: 32580328 markings, 88148333 edges, 274248 markings/sec, 105 secs
lola: 33910017 markings, 91820375 edges, 265938 markings/sec, 110 secs
lola: 35204221 markings, 95574900 edges, 258841 markings/sec, 115 secs
lola: 36505406 markings, 99078155 edges, 260237 markings/sec, 120 secs
lola: 37942159 markings, 102539228 edges, 287351 markings/sec, 125 secs
lola: 39129677 markings, 105871448 edges, 237504 markings/sec, 130 secs
lola: 40572457 markings, 109762258 edges, 288556 markings/sec, 135 secs
lola: 42129756 markings, 114193684 edges, 311460 markings/sec, 140 secs
lola: 43812502 markings, 118568083 edges, 336549 markings/sec, 145 secs
lola: 45452048 markings, 123007895 edges, 327909 markings/sec, 150 secs
lola: 46915892 markings, 127499990 edges, 292769 markings/sec, 155 secs
lola: 48603315 markings, 131839394 edges, 337485 markings/sec, 160 secs
lola: 50190161 markings, 135962764 edges, 317369 markings/sec, 165 secs
lola: 51823143 markings, 140273665 edges, 326596 markings/sec, 170 secs
lola: 53529069 markings, 144499664 edges, 341185 markings/sec, 175 secs
lola: 55172366 markings, 148617899 edges, 328659 markings/sec, 180 secs
lola: 56173406 markings, 153033305 edges, 200208 markings/sec, 185 secs
lola: 57747768 markings, 157134017 edges, 314872 markings/sec, 190 secs
lola: 59137420 markings, 161147151 edges, 277930 markings/sec, 195 secs
lola: 60658998 markings, 165314222 edges, 304316 markings/sec, 200 secs
lola: 62273379 markings, 169457312 edges, 322876 markings/sec, 205 secs
lola: 63690638 markings, 173548342 edges, 283452 markings/sec, 210 secs
lola: 65168095 markings, 177638598 edges, 295491 markings/sec, 215 secs
lola: 66617168 markings, 181376591 edges, 289815 markings/sec, 220 secs
lola: 68073207 markings, 185058602 edges, 291208 markings/sec, 225 secs
lola: 69425183 markings, 188844444 edges, 270395 markings/sec, 230 secs
lola: 70805837 markings, 192886141 edges, 276131 markings/sec, 235 secs
lola: 72255851 markings, 196954258 edges, 290003 markings/sec, 240 secs
lola: 73747114 markings, 200990731 edges, 298253 markings/sec, 245 secs
lola: 75332033 markings, 205035478 edges, 316984 markings/sec, 250 secs
lola: 76859228 markings, 209070764 edges, 305439 markings/sec, 255 secs
lola: 78273329 markings, 213065533 edges, 282820 markings/sec, 260 secs
lola: 79673337 markings, 217065073 edges, 280002 markings/sec, 265 secs
lola: 81143094 markings, 220893685 edges, 293951 markings/sec, 270 secs
lola: 82602198 markings, 224558277 edges, 291821 markings/sec, 275 secs
lola: 84076865 markings, 228322923 edges, 294933 markings/sec, 280 secs
lola: 84764373 markings, 232310397 edges, 137502 markings/sec, 285 secs
lola: 86245912 markings, 236224560 edges, 296308 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 715 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3299272 KB
lola: time consumption: 597 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 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p55)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p55)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 1991480 markings, 4553654 edges, 398296 markings/sec, 30 secs
lola: 3647486 markings, 8983765 edges, 331201 markings/sec, 35 secs
lola: 5327325 markings, 13485626 edges, 335968 markings/sec, 40 secs
lola: 6786515 markings, 17791175 edges, 291838 markings/sec, 45 secs
lola: 8063627 markings, 22221591 edges, 255422 markings/sec, 50 secs
lola: 9432976 markings, 26466395 edges, 273870 markings/sec, 55 secs
lola: 10775713 markings, 30529741 edges, 268547 markings/sec, 60 secs
lola: 12096098 markings, 34614724 edges, 264077 markings/sec, 65 secs
lola: 13357667 markings, 38565135 edges, 252314 markings/sec, 70 secs
lola: 14586378 markings, 42680609 edges, 245742 markings/sec, 75 secs
lola: 15898462 markings, 46744604 edges, 262417 markings/sec, 80 secs
lola: 17241516 markings, 50753859 edges, 268611 markings/sec, 85 secs
lola: 18456758 markings, 54573022 edges, 243048 markings/sec, 90 secs
lola: 19668461 markings, 58566977 edges, 242341 markings/sec, 95 secs
lola: 20954631 markings, 62471718 edges, 257234 markings/sec, 100 secs
lola: 22349367 markings, 66588455 edges, 278947 markings/sec, 105 secs
lola: 23611554 markings, 70806857 edges, 252437 markings/sec, 110 secs
lola: 25055985 markings, 75065905 edges, 288886 markings/sec, 115 secs
lola: 26514076 markings, 79478956 edges, 291618 markings/sec, 120 secs
lola: 27863217 markings, 83817171 edges, 269828 markings/sec, 125 secs
lola: 29297341 markings, 88175025 edges, 286825 markings/sec, 130 secs
lola: 30786203 markings, 92663629 edges, 297772 markings/sec, 135 secs
lola: 32038566 markings, 97085624 edges, 250473 markings/sec, 140 secs
lola: 33530554 markings, 101599120 edges, 298398 markings/sec, 145 secs
lola: 34985634 markings, 106012650 edges, 291016 markings/sec, 150 secs
lola: 36224482 markings, 110369958 edges, 247770 markings/sec, 155 secs
lola: 37593043 markings, 114708698 edges, 273712 markings/sec, 160 secs
lola: 39033427 markings, 119018935 edges, 288077 markings/sec, 165 secs
lola: 40203129 markings, 123234020 edges, 233940 markings/sec, 170 secs
lola: 41470518 markings, 127199187 edges, 253478 markings/sec, 175 secs
lola: 42713990 markings, 131145630 edges, 248694 markings/sec, 180 secs
lola: 44005386 markings, 135114078 edges, 258279 markings/sec, 185 secs
lola: 45297513 markings, 139085366 edges, 258425 markings/sec, 190 secs
lola: 46503056 markings, 142954651 edges, 241109 markings/sec, 195 secs
lola: 47725152 markings, 146911986 edges, 244419 markings/sec, 200 secs
lola: 49156403 markings, 151083018 edges, 286250 markings/sec, 205 secs
lola: 50497898 markings, 155274059 edges, 268299 markings/sec, 210 secs
lola: 51882095 markings, 159576445 edges, 276839 markings/sec, 215 secs
lola: 53217158 markings, 163752430 edges, 267013 markings/sec, 220 secs
lola: 54623476 markings, 167917172 edges, 281264 markings/sec, 225 secs
lola: 55916375 markings, 172165124 edges, 258580 markings/sec, 230 secs
lola: 57224527 markings, 176253653 edges, 261630 markings/sec, 235 secs
lola: 58605339 markings, 180272775 edges, 276162 markings/sec, 240 secs
lola: 59834692 markings, 184367750 edges, 245871 markings/sec, 245 secs
lola: 61188194 markings, 188522018 edges, 270700 markings/sec, 250 secs
lola: 62507398 markings, 192671302 edges, 263841 markings/sec, 255 secs
lola: 63737005 markings, 196611675 edges, 245921 markings/sec, 260 secs
lola: 65010157 markings, 200579356 edges, 254630 markings/sec, 265 secs
lola: 66262924 markings, 204624450 edges, 250553 markings/sec, 270 secs
lola: 67624292 markings, 208577096 edges, 272274 markings/sec, 275 secs
lola: 68757103 markings, 212962613 edges, 226562 markings/sec, 280 secs
lola: 70087290 markings, 217279430 edges, 266037 markings/sec, 285 secs
lola: 71427831 markings, 221369383 edges, 268108 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 715 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2802740 KB
lola: time consumption: 894 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 297 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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 16 markings, 15 edges
lola: ========================================
lola: subprocess 8 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p39)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p39)
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: subprocess 9 will run for 382 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p47)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p47)
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: 951
lola: ========================================
lola: 1703805 markings, 3680106 edges, 340761 markings/sec, 0 secs
lola: 3427176 markings, 7318028 edges, 344674 markings/sec, 5 secs
lola: 4948664 markings, 11042269 edges, 304298 markings/sec, 10 secs
lola: 6436862 markings, 14711859 edges, 297640 markings/sec, 15 secs
lola: 8484234 markings, 17896357 edges, 409474 markings/sec, 20 secs
lola: 10387854 markings, 21089363 edges, 380724 markings/sec, 25 secs
lola: 12121657 markings, 24321741 edges, 346761 markings/sec, 30 secs
lola: 13787981 markings, 27642487 edges, 333265 markings/sec, 35 secs
lola: 15302378 markings, 31337734 edges, 302879 markings/sec, 40 secs
lola: 16089718 markings, 35698254 edges, 157468 markings/sec, 45 secs
lola: 16647007 markings, 40306286 edges, 111458 markings/sec, 50 secs
lola: 17910110 markings, 43880323 edges, 252621 markings/sec, 55 secs
lola: 19376481 markings, 47276593 edges, 293274 markings/sec, 60 secs
lola: 20872752 markings, 50526743 edges, 299254 markings/sec, 65 secs
lola: 22240520 markings, 54011417 edges, 273554 markings/sec, 70 secs
lola: 22768744 markings, 58329867 edges, 105645 markings/sec, 75 secs
lola: 23757394 markings, 62667555 edges, 197730 markings/sec, 80 secs
lola: 25419995 markings, 66289765 edges, 332520 markings/sec, 85 secs
lola: 27188400 markings, 69725568 edges, 353681 markings/sec, 90 secs
lola: 28646248 markings, 73383646 edges, 291570 markings/sec, 95 secs
lola: 30330255 markings, 76975501 edges, 336801 markings/sec, 100 secs
lola: 32283834 markings, 80253816 edges, 390716 markings/sec, 105 secs
lola: 34076278 markings, 83548353 edges, 358489 markings/sec, 110 secs
lola: 35745240 markings, 86893199 edges, 333792 markings/sec, 115 secs
lola: 37335288 markings, 90402820 edges, 318010 markings/sec, 120 secs
lola: 38420815 markings, 94452102 edges, 217105 markings/sec, 125 secs
lola: 38913168 markings, 98988709 edges, 98471 markings/sec, 130 secs
lola: 39881758 markings, 102867506 edges, 193718 markings/sec, 135 secs
lola: 41111658 markings, 106417612 edges, 245980 markings/sec, 140 secs
lola: 42525865 markings, 109799483 edges, 282841 markings/sec, 145 secs
lola: 43903582 markings, 112926850 edges, 275543 markings/sec, 150 secs
lola: 45182340 markings, 116134330 edges, 255752 markings/sec, 155 secs
lola: 45802491 markings, 120073546 edges, 124030 markings/sec, 160 secs
lola: 46676605 markings, 123981686 edges, 174823 markings/sec, 165 secs
lola: 48474187 markings, 127171670 edges, 359516 markings/sec, 170 secs
lola: 50176390 markings, 130184768 edges, 340441 markings/sec, 175 secs
lola: 51771251 markings, 133115324 edges, 318972 markings/sec, 180 secs
lola: 53313677 markings, 136024299 edges, 308485 markings/sec, 185 secs
lola: 54764833 markings, 138866640 edges, 290231 markings/sec, 190 secs
lola: 56192137 markings, 141785129 edges, 285461 markings/sec, 195 secs
lola: 57625910 markings, 144679575 edges, 286755 markings/sec, 200 secs
lola: 59023661 markings, 147578349 edges, 279550 markings/sec, 205 secs
lola: 60420058 markings, 150510977 edges, 279279 markings/sec, 210 secs
lola: 61816137 markings, 153439659 edges, 279216 markings/sec, 215 secs
lola: 63187203 markings, 156372356 edges, 274213 markings/sec, 220 secs
lola: 64522871 markings, 159307882 edges, 267134 markings/sec, 225 secs
lola: 65826060 markings, 162222541 edges, 260638 markings/sec, 230 secs
lola: 67158759 markings, 165171679 edges, 266540 markings/sec, 235 secs
lola: 68468427 markings, 168117957 edges, 261934 markings/sec, 240 secs
lola: 69706684 markings, 171181089 edges, 247651 markings/sec, 245 secs
lola: 70943353 markings, 174288797 edges, 247334 markings/sec, 250 secs
lola: 72197568 markings, 177410301 edges, 250843 markings/sec, 255 secs
lola: 73397913 markings, 180689942 edges, 240069 markings/sec, 260 secs
lola: 74478761 markings, 184127188 edges, 216170 markings/sec, 265 secs
lola: 75241227 markings, 187600104 edges, 152493 markings/sec, 270 secs
lola: 75986828 markings, 191142811 edges, 149120 markings/sec, 275 secs
lola: 76697371 markings, 194606749 edges, 142109 markings/sec, 280 secs
lola: 77111672 markings, 198055138 edges, 82860 markings/sec, 285 secs
lola: 77374018 markings, 201504236 edges, 52469 markings/sec, 290 secs
lola: 77651371 markings, 204984829 edges, 55471 markings/sec, 295 secs
lola: 77900539 markings, 208462024 edges, 49834 markings/sec, 300 secs
lola: 78067247 markings, 211989579 edges, 33342 markings/sec, 305 secs
lola: 78231407 markings, 215647505 edges, 32832 markings/sec, 310 secs
lola: 79102232 markings, 219250557 edges, 174165 markings/sec, 315 secs
lola: 80893532 markings, 222418652 edges, 358260 markings/sec, 320 secs
lola: 82548029 markings, 225400902 edges, 330899 markings/sec, 325 secs
lola: 84112157 markings, 228354898 edges, 312826 markings/sec, 330 secs
lola: 85606531 markings, 231280501 edges, 298875 markings/sec, 335 secs
lola: 87025271 markings, 234183019 edges, 283748 markings/sec, 340 secs
lola: 88412679 markings, 237111186 edges, 277482 markings/sec, 345 secs
lola: 89829964 markings, 240024804 edges, 283457 markings/sec, 350 secs
lola: 91194857 markings, 242909981 edges, 272979 markings/sec, 355 secs
lola: 92520898 markings, 245914215 edges, 265208 markings/sec, 360 secs
lola: 93875700 markings, 248897363 edges, 270960 markings/sec, 365 secs
lola: 95162166 markings, 251910200 edges, 257293 markings/sec, 370 secs
lola: 96447126 markings, 254837048 edges, 256992 markings/sec, 375 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 715 1 unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4156456 KB
lola: time consumption: 1277 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 382 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p47)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p47)
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: 951
lola: 1548150 markings, 3391166 edges, 309630 markings/sec, 0 secs
lola: 3194996 markings, 6836142 edges, 329369 markings/sec, 5 secs
lola: 4701332 markings, 10217900 edges, 301267 markings/sec, 10 secs
lola: 6142511 markings, 13635538 edges, 288236 markings/sec, 15 secs
lola: 7874267 markings, 16905720 edges, 346351 markings/sec, 20 secs
lola: 9729035 markings, 19950311 edges, 370954 markings/sec, 25 secs
lola: 11487010 markings, 23094613 edges, 351595 markings/sec, 30 secs
lola: 13187129 markings, 26351060 edges, 340024 markings/sec, 35 secs
lola: 14761387 markings, 29805667 edges, 314852 markings/sec, 40 secs
lola: 15784017 markings, 33749881 edges, 204526 markings/sec, 45 secs
lola: 16303007 markings, 38118741 edges, 103798 markings/sec, 50 secs
lola: 17272145 markings, 41861647 edges, 193828 markings/sec, 55 secs
lola: 18398605 markings, 45440287 edges, 225292 markings/sec, 60 secs
lola: 19985647 markings, 48529152 edges, 317408 markings/sec, 65 secs
lola: 21378472 markings, 51703140 edges, 278565 markings/sec, 70 secs
lola: 22490076 markings, 55282742 edges, 222321 markings/sec, 75 secs
lola: 22799138 markings, 59491346 edges, 61812 markings/sec, 80 secs
lola: 24197339 markings, 63392346 edges, 279640 markings/sec, 85 secs
lola: 25818015 markings, 66933335 edges, 324135 markings/sec, 90 secs
lola: 27425370 markings, 70251753 edges, 321471 markings/sec, 95 secs
lola: 28808403 markings, 73720545 edges, 276607 markings/sec, 100 secs
lola: 30444423 markings, 77163132 edges, 327204 markings/sec, 105 secs
lola: 32328947 markings, 80335544 edges, 376905 markings/sec, 110 secs
lola: 34056574 markings, 83505715 edges, 345525 markings/sec, 115 secs
lola: 35684807 markings, 86743185 edges, 325647 markings/sec, 120 secs
lola: 37208497 markings, 90098101 edges, 304738 markings/sec, 125 secs
lola: 38333252 markings, 93904534 edges, 224951 markings/sec, 130 secs
lola: 38875973 markings, 98182304 edges, 108544 markings/sec, 135 secs
lola: 39611306 markings, 102141994 edges, 147067 markings/sec, 140 secs
lola: 40725510 markings, 105484068 edges, 222841 markings/sec, 145 secs
lola: 41995290 markings, 108773462 edges, 253956 markings/sec, 150 secs
lola: 43416089 markings, 111771067 edges, 284160 markings/sec, 155 secs
lola: 44715418 markings, 114898672 edges, 259866 markings/sec, 160 secs
lola: 45649635 markings, 118486038 edges, 186843 markings/sec, 165 secs
lola: 45904257 markings, 122580510 edges, 50924 markings/sec, 170 secs
lola: 47684839 markings, 125761007 edges, 356116 markings/sec, 175 secs
lola: 49354923 markings, 128719207 edges, 334017 markings/sec, 180 secs
lola: 50998821 markings, 131669973 edges, 328780 markings/sec, 185 secs
lola: 52526064 markings, 134534715 edges, 305449 markings/sec, 190 secs
lola: 54032502 markings, 137430468 edges, 301288 markings/sec, 195 secs
lola: 55484003 markings, 140330687 edges, 290300 markings/sec, 200 secs
lola: 56923857 markings, 143264077 edges, 287971 markings/sec, 205 secs
lola: 58352782 markings, 146158733 edges, 285785 markings/sec, 210 secs
lola: 59753792 markings, 149102116 edges, 280202 markings/sec, 215 secs
lola: 61129692 markings, 152070884 edges, 275180 markings/sec, 220 secs
lola: 62529450 markings, 154943356 edges, 279952 markings/sec, 225 secs
lola: 63874297 markings, 157873876 edges, 268969 markings/sec, 230 secs
lola: 65183160 markings, 160799422 edges, 261773 markings/sec, 235 secs
lola: 66478796 markings, 163665946 edges, 259127 markings/sec, 240 secs
lola: 67793071 markings, 166578360 edges, 262855 markings/sec, 245 secs
lola: 69123549 markings, 169640024 edges, 266096 markings/sec, 250 secs
lola: 70280873 markings, 172763732 edges, 231465 markings/sec, 255 secs
lola: 71554635 markings, 175835420 edges, 254752 markings/sec, 260 secs
lola: 72814415 markings, 178928901 edges, 251956 markings/sec, 265 secs
lola: 73911409 markings, 182218154 edges, 219399 markings/sec, 270 secs
lola: 74888121 markings, 185689722 edges, 195342 markings/sec, 275 secs
lola: 75587703 markings, 189173816 edges, 139916 markings/sec, 280 secs
lola: 76372227 markings, 192652790 edges, 156905 markings/sec, 285 secs
lola: 76957360 markings, 196118839 edges, 117027 markings/sec, 290 secs
lola: 77190918 markings, 199528928 edges, 46712 markings/sec, 295 secs
lola: 77470627 markings, 202964138 edges, 55942 markings/sec, 300 secs
lola: 77762059 markings, 206423540 edges, 58286 markings/sec, 305 secs
lola: 77968213 markings, 209935172 edges, 41231 markings/sec, 310 secs
lola: 78138551 markings, 213571072 edges, 34068 markings/sec, 315 secs
lola: 78306147 markings, 217380546 edges, 33519 markings/sec, 320 secs
lola: 79932782 markings, 220728541 edges, 325327 markings/sec, 325 secs
lola: 81710662 markings, 223891418 edges, 355576 markings/sec, 330 secs
lola: 83378417 markings, 226964147 edges, 333551 markings/sec, 335 secs
lola: 84899945 markings, 229880400 edges, 304306 markings/sec, 340 secs
lola: 86353348 markings, 232794950 edges, 290681 markings/sec, 345 secs
lola: 87749956 markings, 235715011 edges, 279322 markings/sec, 350 secs
lola: 89155039 markings, 238611686 edges, 281017 markings/sec, 355 secs
lola: 90574520 markings, 241633457 edges, 283896 markings/sec, 360 secs
lola: 91983136 markings, 244696031 edges, 281723 markings/sec, 365 secs
lola: 93375258 markings, 247808870 edges, 278424 markings/sec, 370 secs
lola: 94713298 markings, 250869695 edges, 267608 markings/sec, 375 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 715 1 unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4092948 KB
lola: time consumption: 1659 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 11 will run for 382 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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 14 markings, 13 edges
lola: ========================================
lola: subprocess 12 will run for 477 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 110 markings, 134 edges
lola: subprocess 13 will run for 637 seconds at most (--localtimelimit=0)
lola: ========================================
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 14 will run for 955 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p16)
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: 951
lola: 1792464 markings, 2720633 edges, 358493 markings/sec, 0 secs
lola: 3459085 markings, 5580722 edges, 333324 markings/sec, 5 secs
lola: 5228646 markings, 8267469 edges, 353912 markings/sec, 10 secs
lola: 6663547 markings, 11251843 edges, 286980 markings/sec, 15 secs
lola: 8279322 markings, 13992784 edges, 323155 markings/sec, 20 secs
lola: 9739982 markings, 16968352 edges, 292132 markings/sec, 25 secs
lola: 11519218 markings, 19551234 edges, 355847 markings/sec, 30 secs
lola: 13231715 markings, 22128926 edges, 342499 markings/sec, 35 secs
lola: 14880097 markings, 24708845 edges, 329676 markings/sec, 40 secs
lola: 16530926 markings, 27374336 edges, 330166 markings/sec, 45 secs
lola: 18142956 markings, 30108983 edges, 322406 markings/sec, 50 secs
lola: 19720280 markings, 32830686 edges, 315465 markings/sec, 55 secs
lola: 21250080 markings, 35644397 edges, 305960 markings/sec, 60 secs
lola: 22585239 markings, 38852218 edges, 267032 markings/sec, 65 secs
lola: 23392269 markings, 42482454 edges, 161406 markings/sec, 70 secs
lola: 23817076 markings, 46620889 edges, 84961 markings/sec, 75 secs
lola: 25065073 markings, 50074881 edges, 249599 markings/sec, 80 secs
lola: 26174166 markings, 52979420 edges, 221819 markings/sec, 85 secs
lola: 27255643 markings, 55964520 edges, 216295 markings/sec, 90 secs
lola: 28415929 markings, 58915608 edges, 232057 markings/sec, 95 secs
lola: 29774783 markings, 61545343 edges, 271771 markings/sec, 100 secs
lola: 31040083 markings, 64273190 edges, 253060 markings/sec, 105 secs
lola: 32230269 markings, 67204155 edges, 238037 markings/sec, 110 secs
lola: 32742189 markings, 70978832 edges, 102384 markings/sec, 115 secs
lola: 33266455 markings, 74840841 edges, 104853 markings/sec, 120 secs
lola: 34152347 markings, 78036762 edges, 177178 markings/sec, 125 secs
lola: 34991814 markings, 81063235 edges, 167893 markings/sec, 130 secs
lola: 36307584 markings, 83921240 edges, 263154 markings/sec, 135 secs
lola: 37747235 markings, 86901643 edges, 287930 markings/sec, 140 secs
lola: 39157049 markings, 89773211 edges, 281963 markings/sec, 145 secs
lola: 40850503 markings, 92352630 edges, 338691 markings/sec, 150 secs
lola: 42261808 markings, 95228368 edges, 282261 markings/sec, 155 secs
lola: 43720936 markings, 98015454 edges, 291826 markings/sec, 160 secs
lola: 45173245 markings, 101020904 edges, 290462 markings/sec, 165 secs
lola: 46884877 markings, 103590179 edges, 342326 markings/sec, 170 secs
lola: 48529366 markings, 106153097 edges, 328898 markings/sec, 175 secs
lola: 50131386 markings, 108740029 edges, 320404 markings/sec, 180 secs
lola: 51670420 markings, 111387151 edges, 307807 markings/sec, 185 secs
lola: 53191665 markings, 114084521 edges, 304249 markings/sec, 190 secs
lola: 54661830 markings, 116817376 edges, 294033 markings/sec, 195 secs
lola: 56117240 markings, 119665370 edges, 291082 markings/sec, 200 secs
lola: 57277888 markings, 122917807 edges, 232130 markings/sec, 205 secs
lola: 58020733 markings, 126531205 edges, 148569 markings/sec, 210 secs
lola: 58459884 markings, 130556728 edges, 87830 markings/sec, 215 secs
lola: 59469628 markings, 133464234 edges, 201949 markings/sec, 220 secs
lola: 60542588 markings, 136448356 edges, 214592 markings/sec, 225 secs
lola: 61836788 markings, 139119868 edges, 258840 markings/sec, 230 secs
lola: 63033999 markings, 141897584 edges, 239442 markings/sec, 235 secs
lola: 64152351 markings, 144892164 edges, 223670 markings/sec, 240 secs
lola: 64575343 markings, 148628678 edges, 84598 markings/sec, 245 secs
lola: 65083128 markings, 152282127 edges, 101557 markings/sec, 250 secs
lola: 65947163 markings, 155367196 edges, 172807 markings/sec, 255 secs
lola: 66768192 markings, 158341308 edges, 164206 markings/sec, 260 secs
lola: 67591339 markings, 161267271 edges, 164629 markings/sec, 265 secs
lola: 68393989 markings, 164140733 edges, 160530 markings/sec, 270 secs
lola: 69195625 markings, 167028245 edges, 160327 markings/sec, 275 secs
lola: 70023304 markings, 170147593 edges, 165536 markings/sec, 280 secs
lola: 71100431 markings, 173056062 edges, 215425 markings/sec, 285 secs
lola: 72467833 markings, 175648912 edges, 273480 markings/sec, 290 secs
lola: 73829910 markings, 178269549 edges, 272415 markings/sec, 295 secs
lola: 75149300 markings, 180965182 edges, 263878 markings/sec, 300 secs
lola: 76524336 markings, 183569701 edges, 275007 markings/sec, 305 secs
lola: 77835519 markings, 186147390 edges, 262237 markings/sec, 310 secs
lola: 79170160 markings, 188731107 edges, 266928 markings/sec, 315 secs
lola: 80554219 markings, 191293444 edges, 276812 markings/sec, 320 secs
lola: 81857186 markings, 193863602 edges, 260593 markings/sec, 325 secs
lola: 83185697 markings, 196434674 edges, 265702 markings/sec, 330 secs
lola: 84417102 markings, 199284985 edges, 246281 markings/sec, 335 secs
lola: 85386802 markings, 202211511 edges, 193940 markings/sec, 340 secs
lola: 86604978 markings, 204810937 edges, 243635 markings/sec, 345 secs
lola: 87825955 markings, 207388291 edges, 244195 markings/sec, 350 secs
lola: 89104369 markings, 209924060 edges, 255683 markings/sec, 355 secs
lola: 90230813 markings, 212627301 edges, 225289 markings/sec, 360 secs
lola: 91498486 markings, 215135632 edges, 253535 markings/sec, 365 secs
lola: 92761279 markings, 217687969 edges, 252559 markings/sec, 370 secs
lola: 94010662 markings, 220195255 edges, 249877 markings/sec, 375 secs
lola: 95226642 markings, 222701778 edges, 243196 markings/sec, 380 secs
lola: 96472736 markings, 225202664 edges, 249219 markings/sec, 385 secs
lola: 97692619 markings, 227713859 edges, 243977 markings/sec, 390 secs
lola: 98909098 markings, 230227262 edges, 243296 markings/sec, 395 secs
lola: 100113525 markings, 232702961 edges, 240885 markings/sec, 400 secs
lola: 101318887 markings, 235210070 edges, 241072 markings/sec, 405 secs
lola: 102511641 markings, 237714292 edges, 238551 markings/sec, 410 secs
lola: 103692593 markings, 240204198 edges, 236190 markings/sec, 415 secs
lola: 104886759 markings, 242705827 edges, 238833 markings/sec, 420 secs
lola: 106089858 markings, 245200812 edges, 240620 markings/sec, 425 secs
lola: 107249467 markings, 247732827 edges, 231922 markings/sec, 430 secs
lola: 108411523 markings, 250222026 edges, 232411 markings/sec, 435 secs
lola: 109576412 markings, 252698511 edges, 232978 markings/sec, 440 secs
lola: 110705157 markings, 255196050 edges, 225749 markings/sec, 445 secs
lola: 111843218 markings, 257692382 edges, 227612 markings/sec, 450 secs
lola: 112979650 markings, 260199337 edges, 227286 markings/sec, 455 secs
lola: 114117457 markings, 262696979 edges, 227561 markings/sec, 460 secs
lola: 115273763 markings, 265190425 edges, 231261 markings/sec, 465 secs
lola: 116394685 markings, 267679184 edges, 224184 markings/sec, 470 secs
lola: 117537884 markings, 270190871 edges, 228640 markings/sec, 475 secs
lola: 118672969 markings, 272693952 edges, 227017 markings/sec, 480 secs
lola: 119815650 markings, 275174118 edges, 228536 markings/sec, 485 secs
lola: 120966355 markings, 277668772 edges, 230141 markings/sec, 490 secs
lola: 122088602 markings, 280150660 edges, 224449 markings/sec, 495 secs
lola: 123226571 markings, 282641611 edges, 227594 markings/sec, 500 secs
lola: 124349852 markings, 285115900 edges, 224656 markings/sec, 505 secs
lola: 125464800 markings, 287625945 edges, 222990 markings/sec, 510 secs
lola: 126570952 markings, 290130769 edges, 221230 markings/sec, 515 secs
lola: 127659148 markings, 292654657 edges, 217639 markings/sec, 520 secs
lola: 128760754 markings, 295167375 edges, 220321 markings/sec, 525 secs
lola: 129866335 markings, 297653165 edges, 221116 markings/sec, 530 secs
lola: 130961686 markings, 300115988 edges, 219070 markings/sec, 535 secs
lola: 132045118 markings, 302596627 edges, 216686 markings/sec, 540 secs
lola: 133134327 markings, 305101846 edges, 217842 markings/sec, 545 secs
lola: 134225950 markings, 307586788 edges, 218325 markings/sec, 550 secs
lola: 135292983 markings, 310109904 edges, 213407 markings/sec, 555 secs
lola: 136330250 markings, 312651172 edges, 207453 markings/sec, 560 secs
lola: 137379327 markings, 315187379 edges, 209815 markings/sec, 565 secs
lola: 138436835 markings, 317693810 edges, 211502 markings/sec, 570 secs
lola: 139490219 markings, 320218459 edges, 210677 markings/sec, 575 secs
lola: 140535680 markings, 322741400 edges, 209092 markings/sec, 580 secs
lola: 141614369 markings, 325257771 edges, 215738 markings/sec, 585 secs
lola: 142672424 markings, 327764110 edges, 211611 markings/sec, 590 secs
lola: 143733367 markings, 330261019 edges, 212189 markings/sec, 595 secs
lola: 144790182 markings, 332771694 edges, 211363 markings/sec, 600 secs
lola: 145837697 markings, 335300581 edges, 209503 markings/sec, 605 secs
lola: 146875154 markings, 337865314 edges, 207491 markings/sec, 610 secs
lola: 147917897 markings, 340403901 edges, 208549 markings/sec, 615 secs
lola: 148966208 markings, 342919064 edges, 209662 markings/sec, 620 secs
lola: 149993061 markings, 345460593 edges, 205371 markings/sec, 625 secs
lola: 151008280 markings, 347925839 edges, 203044 markings/sec, 630 secs
lola: 152033776 markings, 350437223 edges, 205099 markings/sec, 635 secs
lola: 153024768 markings, 352986550 edges, 198198 markings/sec, 640 secs
lola: 154037608 markings, 355524783 edges, 202568 markings/sec, 645 secs
lola: 155037141 markings, 358120544 edges, 199907 markings/sec, 650 secs
lola: 156058734 markings, 360674978 edges, 204319 markings/sec, 655 secs
lola: 157077950 markings, 363229436 edges, 203843 markings/sec, 660 secs
lola: 158092897 markings, 365904317 edges, 202989 markings/sec, 665 secs
lola: 159118894 markings, 368508637 edges, 205199 markings/sec, 670 secs
lola: 160140309 markings, 371141938 edges, 204283 markings/sec, 675 secs
lola: 161188529 markings, 373788632 edges, 209644 markings/sec, 680 secs
lola: 162212565 markings, 376398914 edges, 204807 markings/sec, 685 secs
lola: 163238148 markings, 379083576 edges, 205117 markings/sec, 690 secs
lola: 164241047 markings, 381711208 edges, 200580 markings/sec, 695 secs
lola: 165258255 markings, 384386135 edges, 203442 markings/sec, 700 secs
lola: 166292760 markings, 387045768 edges, 206901 markings/sec, 705 secs
lola: 167296818 markings, 389729392 edges, 200812 markings/sec, 710 secs
lola: 168247715 markings, 392397568 edges, 190179 markings/sec, 715 secs
lola: 169181983 markings, 395019385 edges, 186854 markings/sec, 720 secs
lola: 170007523 markings, 397720633 edges, 165108 markings/sec, 725 secs
lola: 170872554 markings, 400536921 edges, 173006 markings/sec, 730 secs
lola: 171780087 markings, 403365236 edges, 181507 markings/sec, 735 secs
lola: 172723490 markings, 406133043 edges, 188681 markings/sec, 740 secs
lola: 173697328 markings, 408898975 edges, 194768 markings/sec, 745 secs
lola: 174647472 markings, 411628452 edges, 190029 markings/sec, 750 secs
lola: 175612339 markings, 414388824 edges, 192973 markings/sec, 755 secs
lola: 176642000 markings, 417110269 edges, 205932 markings/sec, 760 secs
lola: 177674132 markings, 419913644 edges, 206426 markings/sec, 765 secs
lola: 178693030 markings, 422694993 edges, 203780 markings/sec, 770 secs
lola: 179640134 markings, 425541082 edges, 189421 markings/sec, 775 secs
lola: 180387455 markings, 428686959 edges, 149464 markings/sec, 780 secs
lola: 181088036 markings, 431887385 edges, 140116 markings/sec, 785 secs
lola: 182008753 markings, 434889453 edges, 184143 markings/sec, 790 secs
lola: 182767690 markings, 438008912 edges, 151787 markings/sec, 795 secs
lola: 183640203 markings, 440994316 edges, 174503 markings/sec, 800 secs
lola: 184423356 markings, 443989032 edges, 156631 markings/sec, 805 secs
lola: 184988894 markings, 447290983 edges, 113108 markings/sec, 810 secs
lola: 185636601 markings, 450406153 edges, 129541 markings/sec, 815 secs
lola: 186154040 markings, 453668180 edges, 103488 markings/sec, 820 secs
lola: 186530969 markings, 456834315 edges, 75386 markings/sec, 825 secs
lola: 187027063 markings, 459993332 edges, 99219 markings/sec, 830 secs
lola: 187691502 markings, 463044775 edges, 132888 markings/sec, 835 secs
lola: 188092974 markings, 466233193 edges, 80294 markings/sec, 840 secs
lola: 188896499 markings, 469230677 edges, 160705 markings/sec, 845 secs
lola: 189480853 markings, 472329362 edges, 116871 markings/sec, 850 secs
lola: 190103343 markings, 475424238 edges, 124498 markings/sec, 855 secs
lola: 190517655 markings, 478652059 edges, 82862 markings/sec, 860 secs
lola: 190968692 markings, 481894484 edges, 90207 markings/sec, 865 secs
lola: 191165027 markings, 485141798 edges, 39267 markings/sec, 870 secs
lola: 191321481 markings, 488365098 edges, 31291 markings/sec, 875 secs
lola: 191492929 markings, 491441861 edges, 34290 markings/sec, 880 secs
lola: 192022010 markings, 494529727 edges, 105816 markings/sec, 885 secs
lola: 192221168 markings, 497670894 edges, 39832 markings/sec, 890 secs
lola: 192367897 markings, 500815781 edges, 29346 markings/sec, 895 secs
lola: 192531179 markings, 504004681 edges, 32656 markings/sec, 900 secs
lola: 192709548 markings, 507163844 edges, 35674 markings/sec, 905 secs
lola: 192952380 markings, 510331453 edges, 48566 markings/sec, 910 secs
lola: 193110970 markings, 513493576 edges, 31718 markings/sec, 915 secs
lola: 193333804 markings, 516649372 edges, 44567 markings/sec, 920 secs
lola: 193507399 markings, 519798731 edges, 34719 markings/sec, 925 secs
lola: 193645703 markings, 522927561 edges, 27661 markings/sec, 930 secs
lola: 193801621 markings, 526093863 edges, 31184 markings/sec, 935 secs
lola: 193962641 markings, 529297313 edges, 32204 markings/sec, 940 secs
lola: 194094824 markings, 532455660 edges, 26437 markings/sec, 945 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 715 1 unknown unknown unknown 1 1 unknown unknown 1 1 1 unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 715 1 unknown unknown unknown 1 1 unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 10136252 KB
lola: time consumption: 2614 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 15 will run for 956 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p43)
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: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================
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: 951
lola: 2142625 markings, 3346146 edges, 428525 markings/sec, 0 secs
lola: 4154963 markings, 6625317 edges, 402468 markings/sec, 5 secs
lola: 6021882 markings, 10023774 edges, 373384 markings/sec, 10 secs
lola: 7886885 markings, 13444737 edges, 373001 markings/sec, 15 secs
lola: 9529798 markings, 16803135 edges, 328583 markings/sec, 20 secs
lola: 11090997 markings, 20217925 edges, 312240 markings/sec, 25 secs
lola: 12998485 markings, 23630061 edges, 381498 markings/sec, 30 secs
lola: 14844959 markings, 26888586 edges, 369295 markings/sec, 35 secs
lola: 16377724 markings, 30240368 edges, 306553 markings/sec, 40 secs
lola: 17421233 markings, 33481279 edges, 208702 markings/sec, 45 secs
lola: 19275721 markings, 36918146 edges, 370898 markings/sec, 50 secs
lola: 20962491 markings, 40203052 edges, 337354 markings/sec, 55 secs
lola: 22396411 markings, 43417629 edges, 286784 markings/sec, 60 secs
lola: 23973879 markings, 46859937 edges, 315494 markings/sec, 65 secs
lola: 25233671 markings, 50117841 edges, 251958 markings/sec, 70 secs
lola: 26622615 markings, 53385156 edges, 277789 markings/sec, 75 secs
lola: 27957123 markings, 56570792 edges, 266902 markings/sec, 80 secs
lola: 29452560 markings, 59736652 edges, 299087 markings/sec, 85 secs
lola: 30835941 markings, 62911604 edges, 276676 markings/sec, 90 secs
lola: 32510618 markings, 66168947 edges, 334935 markings/sec, 95 secs
lola: 34227885 markings, 69462724 edges, 343453 markings/sec, 100 secs
lola: 35940976 markings, 72746270 edges, 342618 markings/sec, 105 secs
lola: 37577858 markings, 75977204 edges, 327376 markings/sec, 110 secs
lola: 39172130 markings, 79192053 edges, 318854 markings/sec, 115 secs
lola: 40781357 markings, 82534224 edges, 321845 markings/sec, 120 secs
lola: 42417036 markings, 85773643 edges, 327136 markings/sec, 125 secs
lola: 44022159 markings, 88986614 edges, 321025 markings/sec, 130 secs
lola: 45663856 markings, 92211126 edges, 328339 markings/sec, 135 secs
lola: 47265365 markings, 95434714 edges, 320302 markings/sec, 140 secs
lola: 48808182 markings, 98568028 edges, 308563 markings/sec, 145 secs
lola: 50375300 markings, 101722674 edges, 313424 markings/sec, 150 secs
lola: 51910460 markings, 104843430 edges, 307032 markings/sec, 155 secs
lola: 53409252 markings, 107978439 edges, 299758 markings/sec, 160 secs
lola: 54913135 markings, 111111925 edges, 300777 markings/sec, 165 secs
lola: 56396455 markings, 114276997 edges, 296664 markings/sec, 170 secs
lola: 57907341 markings, 117447438 edges, 302177 markings/sec, 175 secs
lola: 59401270 markings, 120589375 edges, 298786 markings/sec, 180 secs
lola: 60939300 markings, 123782332 edges, 307606 markings/sec, 185 secs
lola: 62413061 markings, 126892882 edges, 294752 markings/sec, 190 secs
lola: 63851455 markings, 129968852 edges, 287679 markings/sec, 195 secs
lola: 65258375 markings, 133086438 edges, 281384 markings/sec, 200 secs
lola: 66674243 markings, 136172865 edges, 283174 markings/sec, 205 secs
lola: 68097385 markings, 139258588 edges, 284628 markings/sec, 210 secs
lola: 69522895 markings, 142345012 edges, 285102 markings/sec, 215 secs
lola: 70901108 markings, 145469491 edges, 275643 markings/sec, 220 secs
lola: 72276699 markings, 148604966 edges, 275118 markings/sec, 225 secs
lola: 73606968 markings, 151677007 edges, 266054 markings/sec, 230 secs
lola: 74713771 markings, 154756978 edges, 221361 markings/sec, 235 secs
lola: 76000101 markings, 157805171 edges, 257266 markings/sec, 240 secs
lola: 77184014 markings, 160814841 edges, 236783 markings/sec, 245 secs
lola: 78444079 markings, 163823925 edges, 252013 markings/sec, 250 secs
lola: 79684220 markings, 166859122 edges, 248028 markings/sec, 255 secs
lola: 80935055 markings, 169881622 edges, 250167 markings/sec, 260 secs
lola: 82195168 markings, 172932803 edges, 252023 markings/sec, 265 secs
lola: 83420500 markings, 176032374 edges, 245066 markings/sec, 270 secs
lola: 84568440 markings, 179007393 edges, 229588 markings/sec, 275 secs
lola: 85747930 markings, 182013061 edges, 235898 markings/sec, 280 secs
lola: 86894108 markings, 184965448 edges, 229236 markings/sec, 285 secs
lola: 88028045 markings, 187963974 edges, 226787 markings/sec, 290 secs
lola: 89084207 markings, 191011268 edges, 211232 markings/sec, 295 secs
lola: 90116726 markings, 194061823 edges, 206504 markings/sec, 300 secs
lola: 91169524 markings, 197047927 edges, 210560 markings/sec, 305 secs
lola: 92238350 markings, 200022768 edges, 213765 markings/sec, 310 secs
lola: 93285088 markings, 202946755 edges, 209348 markings/sec, 315 secs
lola: 94340026 markings, 205855349 edges, 210988 markings/sec, 320 secs
lola: 95481319 markings, 208783689 edges, 228259 markings/sec, 325 secs
lola: 96597446 markings, 211688822 edges, 223225 markings/sec, 330 secs
lola: 97696979 markings, 214528486 edges, 219907 markings/sec, 335 secs
lola: 98769188 markings, 217349423 edges, 214442 markings/sec, 340 secs
lola: 99823289 markings, 220180777 edges, 210820 markings/sec, 345 secs
lola: 100885421 markings, 223015110 edges, 212426 markings/sec, 350 secs
lola: 101885559 markings, 225824875 edges, 200028 markings/sec, 355 secs
lola: 102851587 markings, 228670829 edges, 193206 markings/sec, 360 secs
lola: 103813850 markings, 231609801 edges, 192453 markings/sec, 365 secs
lola: 104813606 markings, 234416723 edges, 199951 markings/sec, 370 secs
lola: 105842364 markings, 237311534 edges, 205752 markings/sec, 375 secs
lola: 106839327 markings, 240165185 edges, 199393 markings/sec, 380 secs
lola: 107839837 markings, 243027865 edges, 200102 markings/sec, 385 secs
lola: 108887969 markings, 245927343 edges, 209626 markings/sec, 390 secs
lola: 109825231 markings, 248849532 edges, 187452 markings/sec, 395 secs
lola: 110407427 markings, 251828266 edges, 116439 markings/sec, 400 secs
lola: 110935042 markings, 254737186 edges, 105523 markings/sec, 405 secs
lola: 111399445 markings, 257727602 edges, 92881 markings/sec, 410 secs
lola: 111707037 markings, 260766426 edges, 61518 markings/sec, 415 secs
lola: 112008033 markings, 263812292 edges, 60199 markings/sec, 420 secs
lola: 112356446 markings, 266908506 edges, 69683 markings/sec, 425 secs
lola: 112727098 markings, 269976925 edges, 74130 markings/sec, 430 secs
lola: 113118983 markings, 273100618 edges, 78377 markings/sec, 435 secs
lola: 113532577 markings, 276248617 edges, 82719 markings/sec, 440 secs
lola: 113962317 markings, 279442344 edges, 85948 markings/sec, 445 secs
lola: 114412137 markings, 282706640 edges, 89964 markings/sec, 450 secs
lola: 114887968 markings, 286090541 edges, 95166 markings/sec, 455 secs
lola: 115872143 markings, 289499241 edges, 196835 markings/sec, 460 secs
lola: 117244219 markings, 292708292 edges, 274415 markings/sec, 465 secs
lola: 118704971 markings, 296024393 edges, 292150 markings/sec, 470 secs
lola: 120199772 markings, 299341097 edges, 298960 markings/sec, 475 secs
lola: 121798884 markings, 302656555 edges, 319822 markings/sec, 480 secs
lola: 123558169 markings, 305884519 edges, 351857 markings/sec, 485 secs
lola: 125276288 markings, 309047141 edges, 343624 markings/sec, 490 secs
lola: 126969738 markings, 312174385 edges, 338690 markings/sec, 495 secs
lola: 128681764 markings, 315343436 edges, 342405 markings/sec, 500 secs
lola: 130360549 markings, 318485242 edges, 335757 markings/sec, 505 secs
lola: 132065940 markings, 321620145 edges, 341078 markings/sec, 510 secs
lola: 133672026 markings, 324838717 edges, 321217 markings/sec, 515 secs
lola: 135349781 markings, 327942156 edges, 335551 markings/sec, 520 secs
lola: 137015784 markings, 331054908 edges, 333201 markings/sec, 525 secs
lola: 138655049 markings, 334121198 edges, 327853 markings/sec, 530 secs
lola: 140322320 markings, 337248786 edges, 333454 markings/sec, 535 secs
lola: 141937133 markings, 340295816 edges, 322963 markings/sec, 540 secs
lola: 143526181 markings, 343412457 edges, 317810 markings/sec, 545 secs
lola: 144955691 markings, 346676944 edges, 285902 markings/sec, 550 secs
lola: 146589439 markings, 349736588 edges, 326750 markings/sec, 555 secs
lola: 148195956 markings, 352762789 edges, 321303 markings/sec, 560 secs
lola: 149809338 markings, 355789845 edges, 322676 markings/sec, 565 secs
lola: 151386896 markings, 358791539 edges, 315512 markings/sec, 570 secs
lola: 153021764 markings, 361829948 edges, 326974 markings/sec, 575 secs
lola: 154588152 markings, 364814007 edges, 313278 markings/sec, 580 secs
lola: 156162223 markings, 367796520 edges, 314814 markings/sec, 585 secs
lola: 157725204 markings, 370791621 edges, 312596 markings/sec, 590 secs
lola: 159314169 markings, 373793911 edges, 317793 markings/sec, 595 secs
lola: 160896497 markings, 376781147 edges, 316466 markings/sec, 600 secs
lola: 162473319 markings, 379789037 edges, 315364 markings/sec, 605 secs
lola: 164018793 markings, 382753440 edges, 309095 markings/sec, 610 secs
lola: 165593083 markings, 385709015 edges, 314858 markings/sec, 615 secs
lola: 167122824 markings, 388661258 edges, 305948 markings/sec, 620 secs
lola: 168644721 markings, 391594018 edges, 304379 markings/sec, 625 secs
lola: 170187926 markings, 394560944 edges, 308641 markings/sec, 630 secs
lola: 171722735 markings, 397500911 edges, 306962 markings/sec, 635 secs
lola: 173252715 markings, 400451208 edges, 305996 markings/sec, 640 secs
lola: 174782682 markings, 403392795 edges, 305993 markings/sec, 645 secs
lola: 176325473 markings, 406339976 edges, 308558 markings/sec, 650 secs
lola: 177861687 markings, 409298292 edges, 307243 markings/sec, 655 secs
lola: 179407609 markings, 412243604 edges, 309184 markings/sec, 660 secs
lola: 180952068 markings, 415187740 edges, 308892 markings/sec, 665 secs
lola: 182446996 markings, 418077138 edges, 298986 markings/sec, 670 secs
lola: 183929462 markings, 420967192 edges, 296493 markings/sec, 675 secs
lola: 185424083 markings, 423863900 edges, 298924 markings/sec, 680 secs
lola: 186910432 markings, 426735983 edges, 297270 markings/sec, 685 secs
lola: 188371776 markings, 429623181 edges, 292269 markings/sec, 690 secs
lola: 189839628 markings, 432507725 edges, 293570 markings/sec, 695 secs
lola: 191318287 markings, 435407082 edges, 295732 markings/sec, 700 secs
lola: 192792200 markings, 438311367 edges, 294783 markings/sec, 705 secs
lola: 194274119 markings, 441216178 edges, 296384 markings/sec, 710 secs
lola: 195767905 markings, 444110222 edges, 298757 markings/sec, 715 secs
lola: 197266262 markings, 447016503 edges, 299671 markings/sec, 720 secs
lola: 198755296 markings, 449913532 edges, 297807 markings/sec, 725 secs
lola: 200190607 markings, 452777868 edges, 287062 markings/sec, 730 secs
lola: 201639560 markings, 455666877 edges, 289791 markings/sec, 735 secs
lola: 203105325 markings, 458588710 edges, 293153 markings/sec, 740 secs
lola: 204526786 markings, 461428722 edges, 284292 markings/sec, 745 secs
lola: 205946241 markings, 464279982 edges, 283891 markings/sec, 750 secs
lola: 207319129 markings, 467116957 edges, 274578 markings/sec, 755 secs
lola: 208773862 markings, 469984547 edges, 290947 markings/sec, 760 secs
lola: 210173771 markings, 472811525 edges, 279982 markings/sec, 765 secs
lola: 211577268 markings, 475645357 edges, 280699 markings/sec, 770 secs
lola: 213018334 markings, 478484687 edges, 288213 markings/sec, 775 secs
lola: 214491616 markings, 481350398 edges, 294656 markings/sec, 780 secs
lola: 215906559 markings, 484196521 edges, 282989 markings/sec, 785 secs
lola: 217310508 markings, 487015666 edges, 280790 markings/sec, 790 secs
lola: 218715132 markings, 489859228 edges, 280925 markings/sec, 795 secs
lola: 220103925 markings, 492711000 edges, 277759 markings/sec, 800 secs
lola: 221458755 markings, 495531533 edges, 270966 markings/sec, 805 secs
lola: 222857767 markings, 498341825 edges, 279802 markings/sec, 810 secs
lola: 224245368 markings, 501168642 edges, 277520 markings/sec, 815 secs
lola: 225618512 markings, 503983367 edges, 274629 markings/sec, 820 secs
lola: 226987728 markings, 506804836 edges, 273843 markings/sec, 825 secs
lola: 228327099 markings, 509611237 edges, 267874 markings/sec, 830 secs
lola: 229685683 markings, 512412901 edges, 271717 markings/sec, 835 secs
lola: 231100278 markings, 515226511 edges, 282919 markings/sec, 840 secs
lola: 232537385 markings, 518056833 edges, 287421 markings/sec, 845 secs
lola: 233875573 markings, 520862500 edges, 267638 markings/sec, 850 secs
lola: 235201760 markings, 523654098 edges, 265237 markings/sec, 855 secs
lola: 236496710 markings, 526461389 edges, 258990 markings/sec, 860 secs
lola: 237888061 markings, 529323415 edges, 278270 markings/sec, 865 secs
lola: 239264686 markings, 532139742 edges, 275325 markings/sec, 870 secs
lola: 240589103 markings, 534954449 edges, 264883 markings/sec, 875 secs
lola: 241918848 markings, 537753334 edges, 265949 markings/sec, 880 secs
lola: 243237713 markings, 540565229 edges, 263773 markings/sec, 885 secs
lola: 244590588 markings, 543377111 edges, 270575 markings/sec, 890 secs
lola: 245888815 markings, 546164952 edges, 259645 markings/sec, 895 secs
lola: 247218732 markings, 548953318 edges, 265983 markings/sec, 900 secs
lola: 248517596 markings, 551734791 edges, 259773 markings/sec, 905 secs
lola: 249811813 markings, 554534028 edges, 258843 markings/sec, 910 secs
lola: 251120471 markings, 557322776 edges, 261732 markings/sec, 915 secs
lola: 252381600 markings, 560094442 edges, 252226 markings/sec, 920 secs
lola: 253718976 markings, 562873031 edges, 267475 markings/sec, 925 secs
lola: 255017516 markings, 565657721 edges, 259708 markings/sec, 930 secs
lola: 256283739 markings, 568433738 edges, 253245 markings/sec, 935 secs
lola: 257559665 markings, 571224961 edges, 255185 markings/sec, 940 secs
lola: 258804362 markings, 573987812 edges, 248939 markings/sec, 945 secs
lola: 260071998 markings, 576752495 edges, 253527 markings/sec, 950 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 715 1 unknown unknown unknown 1 1 unknown unknown 1 1 1 unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: 1 1 715 1 unknown unknown unknown 1 1 unknown unknown 1 1 1 unknown 1

preliminary result: 1 1 715 1 unknown unknown unknown 1 1 unknown unknown 1 1 1 unknown 1
lola: memory consumption: 12151948 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: memory consumption: 12151948 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: 1 1 715 1 unknown unknown unknown 1 1 unknown unknown 1 1 1 unknown 1
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="PaceMaker-PT-none"
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 PaceMaker-PT-none, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r174-csrt-158987853200461"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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