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

About the Execution of ITS-LoLa for Angiogenesis-PT-25

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15793.110 3600000.00 3555747.00 52704.90 25 25 25 25 25 ? 25 25 25 25 25 25 ? ? 25 25 normal

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.7K Apr 28 14:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 28 14:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 28 14:22 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Apr 28 14:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 28 14:22 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:22 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Apr 28 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 28 14:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 28 14:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 28 14:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 28 14:22 equiv_col
-rw-r--r-- 1 mcc users 3 Apr 28 14:22 instance
-rw-r--r-- 1 mcc users 6 Apr 28 14:22 iscolored
-rw-r--r-- 1 mcc users 33K Apr 28 14:22 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 Angiogenesis-PT-25-UpperBounds-00
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-01
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-02
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-03
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-04
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-05
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-06
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-07
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-08
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-09
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-10
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-11
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-12
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-13
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-14
FORMULA_NAME Angiogenesis-PT-25-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1591437208506

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 09:53:31] [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-06 09:53:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 09:53:31] [INFO ] Load time of PNML (sax parser for PT used): 79 ms
[2020-06-06 09:53:31] [INFO ] Transformed 39 places.
[2020-06-06 09:53:31] [INFO ] Transformed 64 transitions.
[2020-06-06 09:53:31] [INFO ] Parsed PT model containing 39 places and 64 transitions in 159 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 22 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
[2020-06-06 09:53:32] [INFO ] Flatten gal took : 69 ms
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 64 rows 39 cols
[2020-06-06 09:53:32] [INFO ] Computed 8 place invariants in 7 ms
Support contains 14 out of 39 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 39/39 places, 64/64 transitions.
Discarding 1 places :
Also discarding 0 output transitions
Graph (complete) has 117 edges and 39 vertex of which 38 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.7 ms
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 4 place count 38 transition count 61
Reduce places removed 3 places and 0 transitions.
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 10 place count 35 transition count 58
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 1 with 1 rules applied. Total rules applied 11 place count 35 transition count 58
Partial Post-agglomeration rule applied 3 times.
Drop transitions removed 3 transitions
Iterating global reduction 1 with 3 rules applied. Total rules applied 14 place count 35 transition count 58
Applied a total of 14 rules in 54 ms. Remains 35 /39 variables (removed 4) and now considering 58/64 (removed 6) transitions.
Finished structural reductions, in 1 iterations. Remains : 35/39 places, 58/64 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 58 rows 35 cols
[2020-06-06 09:53:32] [INFO ] Computed 7 place invariants in 2 ms
Support contains 14 out of 35 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 35/35 places, 58/58 transitions.
Applied a total of 0 rules in 5 ms. Remains 35 /35 variables (removed 0) and now considering 58/58 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 35/35 places, 58/58 transitions.
Starting structural reductions, iteration 0 : 35/35 places, 58/58 transitions.
Applied a total of 0 rules in 8 ms. Remains 35 /35 variables (removed 0) and now considering 58/58 (removed 0) transitions.
// Phase 1: matrix 58 rows 35 cols
[2020-06-06 09:53:32] [INFO ] Computed 7 place invariants in 2 ms
[2020-06-06 09:53:32] [INFO ] Implicit Places using invariants in 164 ms returned [4, 31]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 169 ms to find 2 implicit places.
[2020-06-06 09:53:32] [INFO ] Redundant transitions in 14 ms returned []
// Phase 1: matrix 58 rows 33 cols
[2020-06-06 09:53:32] [INFO ] Computed 5 place invariants in 4 ms
[2020-06-06 09:53:32] [INFO ] Dead Transitions using invariants and state equation in 150 ms returned []
Starting structural reductions, iteration 1 : 33/35 places, 58/58 transitions.
Applied a total of 0 rules in 6 ms. Remains 33 /33 variables (removed 0) and now considering 58/58 (removed 0) transitions.
[2020-06-06 09:53:32] [INFO ] Redundant transitions in 8 ms returned []
// Phase 1: matrix 58 rows 33 cols
[2020-06-06 09:53:32] [INFO ] Computed 5 place invariants in 3 ms
[2020-06-06 09:53:32] [INFO ] Dead Transitions using invariants and state equation in 123 ms returned []
Finished structural reductions, in 2 iterations. Remains : 33/35 places, 58/58 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 58 rows 33 cols
[2020-06-06 09:53:32] [INFO ] Computed 5 place invariants in 2 ms
Support contains 14 out of 33 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 33/33 places, 58/58 transitions.
Applied a total of 0 rules in 4 ms. Remains 33 /33 variables (removed 0) and now considering 58/58 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 33/33 places, 58/58 transitions.
Starting structural reductions, iteration 0 : 33/33 places, 58/58 transitions.
Applied a total of 0 rules in 4 ms. Remains 33 /33 variables (removed 0) and now considering 58/58 (removed 0) transitions.
// Phase 1: matrix 58 rows 33 cols
[2020-06-06 09:53:32] [INFO ] Computed 5 place invariants in 1 ms
[2020-06-06 09:53:32] [INFO ] Implicit Places using invariants in 44 ms returned []
// Phase 1: matrix 58 rows 33 cols
[2020-06-06 09:53:32] [INFO ] Computed 5 place invariants in 1 ms
[2020-06-06 09:53:33] [INFO ] Implicit Places using invariants and state equation in 103 ms returned []
Implicit Place search using SMT with State Equation took 149 ms to find 0 implicit places.
[2020-06-06 09:53:33] [INFO ] Redundant transitions in 7 ms returned []
// Phase 1: matrix 58 rows 33 cols
[2020-06-06 09:53:33] [INFO ] Computed 5 place invariants in 2 ms
[2020-06-06 09:53:33] [INFO ] Dead Transitions using invariants and state equation in 99 ms returned []
Finished structural reductions, in 1 iterations. Remains : 33/33 places, 58/58 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Applied a total of 0 rules in 8 ms. Remains 33 /33 variables (removed 0) and now considering 58/58 (removed 0) transitions.
// Phase 1: matrix 58 rows 33 cols
[2020-06-06 09:53:33] [INFO ] Computed 5 place invariants in 1 ms
[2020-06-06 09:53:33] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 4 ms.
[2020-06-06 09:53:33] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 3 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ Angiogenesis-PT-25 @ 3570 seconds

FORMULA Angiogenesis-PT-25-UpperBounds-00 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-25-UpperBounds-01 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-25-UpperBounds-02 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-25-UpperBounds-03 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-25-UpperBounds-04 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-25-UpperBounds-06 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-25-UpperBounds-07 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-25-UpperBounds-08 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-25-UpperBounds-09 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-25-UpperBounds-10 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-25-UpperBounds-11 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-25-UpperBounds-14 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-25-UpperBounds-15 25 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Angiogenesis-PT-25-UpperBounds-05 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ Angiogenesis-PT-25

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=UpperBounds.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--timelimit=3570",
"--localtimelimit=0",
"--json=UpperBounds.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sat Jun 6 09:53:34 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"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(p7)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 21268236,
"markings": 11140552,
"produced_by": "search",
"value": 25
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 235
},
"exit":
{
"localtimelimitreached": false
},
"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(p9)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 25
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 251
},
"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(p30)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 25,
"markings": 26,
"produced_by": "search",
"value": 25
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 271
},
"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(p31)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 101,
"markings": 78,
"produced_by": "search",
"value": 25
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 293
},
"exit":
{
"localtimelimitreached": false
},
"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(p19)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 74,
"markings": 51,
"produced_by": "search",
"value": 25
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 320
},
"exit":
{
"localtimelimitreached": false
},
"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(p29)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 25
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"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(p2)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 123,
"markings": 100,
"produced_by": "search",
"value": 25
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 400
},
"exit":
{
"localtimelimitreached": false
},
"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(p2)",
"processed_size": 7,
"rewrites": 0
},
"result":
{
"edges": 123,
"markings": 100,
"produced_by": "search",
"value": 25
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 458
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p17)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 14895,
"markings": 9331,
"produced_by": "search",
"value": 25
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 534
},
"exit":
{
"localtimelimitreached": false
},
"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(p24)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 25,
"markings": 26,
"produced_by": "search",
"value": 25
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 641
},
"exit":
{
"localtimelimitreached": false
},
"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(p28)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 25
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 882
},
"exit":
{
"localtimelimitreached": false
},
"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(p22)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 218808347,
"markings": 109699400,
"produced_by": "search",
"value": 25
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1280
},
"exit":
{
"localtimelimitreached": false
},
"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(p28)",
"processed_size": 8,
"rewrites": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "search",
"value": 25
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 10475632,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "UpperBounds.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*)"
},
"net":
{
"arcs": 164,
"conflict_clusters": 15,
"places": 33,
"places_significant": 28,
"singleton_clusters": 0,
"transitions": 58
},
"result":
{
"interim_value": "25 25 25 25 25 unknown 25 25 25 25 25 25 unknown unknown 25 25 ",
"preliminary_value": "25 25 25 25 25 unknown 25 25 25 25 25 25 unknown unknown 25 25 "
},
"task":
{
"type": "compound"
}
}
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: 91/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1056
lola: finding significant places
lola: 33 places, 58 transitions, 28 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(p7) : MAX(p9) : MAX(p30) : MAX(p31) : MAX(p19) : MAX(p6) : MAX(p29) : MAX(p2) : MAX(p2) : MAX(p17) : MAX(p24) : MAX(p28) : MAX(p1) : MAX(p15) : MAX(p22) : MAX(p28)
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(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: 25
lola: 1422772 markings, 2690879 edges, 284554 markings/sec, 0 secs
lola: 2904939 markings, 5521118 edges, 296433 markings/sec, 5 secs
lola: 4379650 markings, 8326627 edges, 294942 markings/sec, 10 secs
lola: 5710948 markings, 10867619 edges, 266260 markings/sec, 15 secs
lola: 7181220 markings, 13670968 edges, 294054 markings/sec, 20 secs
lola: 8639567 markings, 16466255 edges, 291669 markings/sec, 25 secs
lola: 10080859 markings, 19231657 edges, 288258 markings/sec, 30 secs
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 11140552 markings, 21268236 edges
lola: ========================================
lola: subprocess 1 will run for 235 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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 251 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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 26 markings, 25 edges
lola: ========================================
lola: subprocess 3 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p31)
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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 78 markings, 101 edges
lola: ========================================
lola: subprocess 4 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p19)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 51 markings, 74 edges
lola: ========================================
lola: subprocess 5 will run for 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6)
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: 25
lola: 1383624 markings, 2754719 edges, 276725 markings/sec, 0 secs
lola: 2672633 markings, 5442221 edges, 257802 markings/sec, 5 secs
lola: 3963836 markings, 8118341 edges, 258241 markings/sec, 10 secs
lola: 5135992 markings, 10616222 edges, 234431 markings/sec, 15 secs
lola: 6422392 markings, 13351134 edges, 257280 markings/sec, 20 secs
lola: 7618872 markings, 15925055 edges, 239296 markings/sec, 25 secs
lola: 8827787 markings, 18538008 edges, 241783 markings/sec, 30 secs
lola: 10031540 markings, 21115674 edges, 240751 markings/sec, 35 secs
lola: 11230468 markings, 23663006 edges, 239786 markings/sec, 40 secs
lola: 12389176 markings, 26127656 edges, 231742 markings/sec, 45 secs
lola: 13545675 markings, 28602529 edges, 231300 markings/sec, 50 secs
lola: 14695194 markings, 31085768 edges, 229904 markings/sec, 55 secs
lola: 15853982 markings, 33581397 edges, 231758 markings/sec, 60 secs
lola: 17076244 markings, 36228096 edges, 244452 markings/sec, 65 secs
lola: 18300334 markings, 38842971 edges, 244818 markings/sec, 70 secs
lola: 19514600 markings, 41458495 edges, 242853 markings/sec, 75 secs
lola: 20736999 markings, 44114294 edges, 244480 markings/sec, 80 secs
lola: 21940911 markings, 46748888 edges, 240782 markings/sec, 85 secs
lola: 23102294 markings, 49283235 edges, 232277 markings/sec, 90 secs
lola: 24296076 markings, 51890965 edges, 238756 markings/sec, 95 secs
lola: 25452930 markings, 54402096 edges, 231371 markings/sec, 100 secs
lola: 26658370 markings, 57016938 edges, 241088 markings/sec, 105 secs
lola: 27722065 markings, 59316987 edges, 212739 markings/sec, 110 secs
lola: 28843137 markings, 61782890 edges, 224214 markings/sec, 115 secs
lola: 29953666 markings, 64219483 edges, 222106 markings/sec, 120 secs
lola: 31085725 markings, 66686710 edges, 226412 markings/sec, 125 secs
lola: 32196211 markings, 69095993 edges, 222097 markings/sec, 130 secs
lola: 33296655 markings, 71501893 edges, 220089 markings/sec, 135 secs
lola: 34420069 markings, 73964253 edges, 224683 markings/sec, 140 secs
lola: 35550677 markings, 76445359 edges, 226122 markings/sec, 145 secs
lola: 36668902 markings, 78898399 edges, 223645 markings/sec, 150 secs
lola: 37788629 markings, 81335390 edges, 223945 markings/sec, 155 secs
lola: 38914869 markings, 83814802 edges, 225248 markings/sec, 160 secs
lola: 40030429 markings, 86281920 edges, 223112 markings/sec, 165 secs
lola: 41144061 markings, 88712493 edges, 222726 markings/sec, 170 secs
lola: 42252176 markings, 91161910 edges, 221623 markings/sec, 175 secs
lola: 43371668 markings, 93598577 edges, 223898 markings/sec, 180 secs
lola: 44478608 markings, 96038400 edges, 221388 markings/sec, 185 secs
lola: 45592825 markings, 98469186 edges, 222843 markings/sec, 190 secs
lola: 46698218 markings, 100890994 edges, 221079 markings/sec, 195 secs
lola: 47815309 markings, 103330753 edges, 223418 markings/sec, 200 secs
lola: 48938535 markings, 105803944 edges, 224645 markings/sec, 205 secs
lola: 50046419 markings, 108256131 edges, 221577 markings/sec, 210 secs
lola: 51143450 markings, 110691892 edges, 219406 markings/sec, 215 secs
lola: 52233849 markings, 113106178 edges, 218080 markings/sec, 220 secs
lola: 53343160 markings, 115513689 edges, 221862 markings/sec, 225 secs
lola: 54441687 markings, 117925703 edges, 219705 markings/sec, 230 secs
lola: 55552292 markings, 120362570 edges, 222121 markings/sec, 235 secs
lola: 56647803 markings, 122765674 edges, 219102 markings/sec, 240 secs
lola: 57745236 markings, 125183215 edges, 219487 markings/sec, 245 secs
lola: 58847792 markings, 127603340 edges, 220511 markings/sec, 250 secs
lola: 59956606 markings, 130045522 edges, 221763 markings/sec, 255 secs
lola: 61052982 markings, 132477653 edges, 219275 markings/sec, 260 secs
lola: 62150001 markings, 134885522 edges, 219404 markings/sec, 265 secs
lola: 63233414 markings, 137277003 edges, 216683 markings/sec, 270 secs
lola: 64312119 markings, 139631349 edges, 215741 markings/sec, 275 secs
lola: 65443302 markings, 142140283 edges, 226237 markings/sec, 280 secs
lola: 66573600 markings, 144638929 edges, 226060 markings/sec, 285 secs
lola: 67711862 markings, 147154511 edges, 227652 markings/sec, 290 secs
lola: 68844855 markings, 149636482 edges, 226599 markings/sec, 295 secs
lola: 69970419 markings, 152101342 edges, 225113 markings/sec, 300 secs
lola: 71089327 markings, 154575143 edges, 223782 markings/sec, 305 secs
lola: 72216332 markings, 157052284 edges, 225401 markings/sec, 310 secs
lola: local time limit reached - aborting
lola:
preliminary result: 25 25 25 25 25 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 25 25 25 25 25 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8020740 KB
lola: time consumption: 363 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 320 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p29)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p29)
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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2)
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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 100 markings, 123 edges
lola: ========================================
lola: subprocess 8 will run for 400 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2)
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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 100 markings, 123 edges
lola: ========================================
lola: subprocess 9 will run for 458 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p17)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 9331 markings, 14895 edges
lola: ========================================
lola: subprocess 10 will run for 534 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p24)
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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 26 markings, 25 edges
lola: ========================================
lola: subprocess 11 will run for 641 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p28)
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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 801 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: 2104058 markings, 3646162 edges, 420812 markings/sec, 0 secs
lola: 4132831 markings, 7186169 edges, 405755 markings/sec, 5 secs
lola: 6226543 markings, 10851468 edges, 418742 markings/sec, 10 secs
lola: 8063654 markings, 14073889 edges, 367422 markings/sec, 15 secs
lola: 10132113 markings, 17699156 edges, 413692 markings/sec, 20 secs
lola: 12038023 markings, 21035156 edges, 381182 markings/sec, 25 secs
lola: 14086619 markings, 24638214 edges, 409719 markings/sec, 30 secs
lola: 16138712 markings, 28244886 edges, 410419 markings/sec, 35 secs
lola: 17996565 markings, 31526640 edges, 371571 markings/sec, 40 secs
lola: 20021427 markings, 35081235 edges, 404972 markings/sec, 45 secs
lola: 21696600 markings, 38026643 edges, 335035 markings/sec, 50 secs
lola: 23622538 markings, 41414735 edges, 385188 markings/sec, 55 secs
lola: 25619055 markings, 44934097 edges, 399303 markings/sec, 60 secs
lola: 27599179 markings, 48432599 edges, 396025 markings/sec, 65 secs
lola: 29590909 markings, 51948143 edges, 398346 markings/sec, 70 secs
lola: 31356718 markings, 55077221 edges, 353162 markings/sec, 75 secs
lola: 33216122 markings, 58360381 edges, 371881 markings/sec, 80 secs
lola: 34939095 markings, 61406944 edges, 344595 markings/sec, 85 secs
lola: 36711756 markings, 64550388 edges, 354532 markings/sec, 90 secs
lola: 38605619 markings, 67894657 edges, 378773 markings/sec, 95 secs
lola: 40525895 markings, 71299920 edges, 384055 markings/sec, 100 secs
lola: 42309425 markings, 74454444 edges, 356706 markings/sec, 105 secs
lola: 44214852 markings, 77826916 edges, 381085 markings/sec, 110 secs
lola: 46037300 markings, 81053848 edges, 364490 markings/sec, 115 secs
lola: 47894324 markings, 84346972 edges, 371405 markings/sec, 120 secs
lola: 49641377 markings, 87444066 edges, 349411 markings/sec, 125 secs
lola: 51474139 markings, 90679799 edges, 366552 markings/sec, 130 secs
lola: 53356590 markings, 94015629 edges, 376490 markings/sec, 135 secs
lola: 55222552 markings, 97325406 edges, 373192 markings/sec, 140 secs
lola: 57066717 markings, 100595567 edges, 368833 markings/sec, 145 secs
lola: 58964797 markings, 103947861 edges, 379616 markings/sec, 150 secs
lola: 60795874 markings, 107201774 edges, 366215 markings/sec, 155 secs
lola: 62522818 markings, 110269591 edges, 345389 markings/sec, 160 secs
lola: 64426706 markings, 113641228 edges, 380778 markings/sec, 165 secs
lola: 66326519 markings, 117007426 edges, 379963 markings/sec, 170 secs
lola: 68205587 markings, 120340903 edges, 375814 markings/sec, 175 secs
lola: 70080098 markings, 123666812 edges, 374902 markings/sec, 180 secs
lola: 71984630 markings, 127037530 edges, 380906 markings/sec, 185 secs
lola: 73889539 markings, 130402234 edges, 380982 markings/sec, 190 secs
lola: 75761019 markings, 133720787 edges, 374296 markings/sec, 195 secs
lola: 77616720 markings, 137019155 edges, 371140 markings/sec, 200 secs
lola: 79493710 markings, 140346157 edges, 375398 markings/sec, 205 secs
lola: 81387681 markings, 143699847 edges, 378794 markings/sec, 210 secs
lola: 83280231 markings, 147056924 edges, 378510 markings/sec, 215 secs
lola: 85192262 markings, 150433475 edges, 382406 markings/sec, 220 secs
lola: 87037902 markings, 153708155 edges, 369128 markings/sec, 225 secs
lola: 88748110 markings, 156750947 edges, 342042 markings/sec, 230 secs
lola: 90604941 markings, 160038111 edges, 371366 markings/sec, 235 secs
lola: 92368021 markings, 163189223 edges, 352616 markings/sec, 240 secs
lola: 94175520 markings, 166401939 edges, 361500 markings/sec, 245 secs
lola: 95867188 markings, 169402921 edges, 338334 markings/sec, 250 secs
lola: 97675125 markings, 172627763 edges, 361587 markings/sec, 255 secs
lola: 99382790 markings, 175658513 edges, 341533 markings/sec, 260 secs
lola: 101175491 markings, 178844162 edges, 358540 markings/sec, 265 secs
lola: 102832303 markings, 181790742 edges, 331362 markings/sec, 270 secs
lola: 104652296 markings, 185028525 edges, 363999 markings/sec, 275 secs
lola: 106471912 markings, 188259710 edges, 363923 markings/sec, 280 secs
lola: 108280055 markings, 191478171 edges, 361629 markings/sec, 285 secs
lola: 110122948 markings, 194744182 edges, 368579 markings/sec, 290 secs
lola: 111931477 markings, 197965850 edges, 361706 markings/sec, 295 secs
lola: 113613724 markings, 200962503 edges, 336449 markings/sec, 300 secs
lola: 115393944 markings, 204135033 edges, 356044 markings/sec, 305 secs
lola: 117161841 markings, 207283826 edges, 353579 markings/sec, 310 secs
lola: 118973252 markings, 210499745 edges, 362282 markings/sec, 315 secs
lola: 120776634 markings, 213700596 edges, 360676 markings/sec, 320 secs
lola: 122539532 markings, 216846797 edges, 352580 markings/sec, 325 secs
lola: 124299128 markings, 219985098 edges, 351919 markings/sec, 330 secs
lola: 126102205 markings, 223183726 edges, 360615 markings/sec, 335 secs
lola: 127721750 markings, 226081226 edges, 323909 markings/sec, 340 secs
lola: 129494642 markings, 229241346 edges, 354578 markings/sec, 345 secs
lola: 131295889 markings, 232446163 edges, 360249 markings/sec, 350 secs
lola: 133090737 markings, 235640588 edges, 358970 markings/sec, 355 secs
lola: 134867722 markings, 238808738 edges, 355397 markings/sec, 360 secs
lola: 136679708 markings, 242024111 edges, 362397 markings/sec, 365 secs
lola: 138483037 markings, 245230574 edges, 360666 markings/sec, 370 secs
lola: 140184496 markings, 248252632 edges, 340292 markings/sec, 375 secs
lola: 141936491 markings, 251373869 edges, 350399 markings/sec, 380 secs
lola: 143745246 markings, 254578886 edges, 361751 markings/sec, 385 secs
lola: 145544962 markings, 257769678 edges, 359943 markings/sec, 390 secs
lola: 147371426 markings, 260999164 edges, 365293 markings/sec, 395 secs
lola: 149083449 markings, 264062520 edges, 342405 markings/sec, 400 secs
lola: 150869308 markings, 267233333 edges, 357172 markings/sec, 405 secs
lola: 152636091 markings, 270380838 edges, 353357 markings/sec, 410 secs
lola: 154240160 markings, 273247155 edges, 320814 markings/sec, 415 secs
lola: 156023277 markings, 276417577 edges, 356623 markings/sec, 420 secs
lola: 157899397 markings, 279729053 edges, 375224 markings/sec, 425 secs
lola: 159663907 markings, 282870874 edges, 352902 markings/sec, 430 secs
lola: 161320864 markings, 285819634 edges, 331391 markings/sec, 435 secs
lola: 163048585 markings, 288895669 edges, 345544 markings/sec, 440 secs
lola: 164692269 markings, 291836886 edges, 328737 markings/sec, 445 secs
lola: 166502768 markings, 295041669 edges, 362100 markings/sec, 450 secs
lola: 168201142 markings, 298067975 edges, 339675 markings/sec, 455 secs
lola: 169848847 markings, 301008587 edges, 329541 markings/sec, 460 secs
lola: 171628223 markings, 304170419 edges, 355875 markings/sec, 465 secs
lola: 173429557 markings, 307363052 edges, 360267 markings/sec, 470 secs
lola: 175134480 markings, 310408973 edges, 340985 markings/sec, 475 secs
lola: 176849776 markings, 313470037 edges, 343059 markings/sec, 480 secs
lola: 178590777 markings, 316562413 edges, 348200 markings/sec, 485 secs
lola: 180323209 markings, 319647134 edges, 346486 markings/sec, 490 secs
lola: 182023252 markings, 322681059 edges, 340009 markings/sec, 495 secs
lola: 183765892 markings, 325782904 edges, 348528 markings/sec, 500 secs
lola: 185352814 markings, 328615410 edges, 317384 markings/sec, 505 secs
lola: 187062988 markings, 331672732 edges, 342035 markings/sec, 510 secs
lola: 188804488 markings, 334776134 edges, 348300 markings/sec, 515 secs
lola: 190207678 markings, 337265200 edges, 280638 markings/sec, 520 secs
lola: 191504521 markings, 339583386 edges, 259369 markings/sec, 525 secs
lola: 192799003 markings, 341878799 edges, 258896 markings/sec, 530 secs
lola: 193704432 markings, 343502604 edges, 181086 markings/sec, 535 secs
lola: 194825833 markings, 345494665 edges, 224280 markings/sec, 540 secs
lola: 195705304 markings, 347066760 edges, 175894 markings/sec, 545 secs
lola: 196628047 markings, 348723979 edges, 184549 markings/sec, 550 secs
lola: 197683258 markings, 350605100 edges, 211042 markings/sec, 555 secs
lola: 199154603 markings, 353223901 edges, 294269 markings/sec, 560 secs
lola: 200225273 markings, 355138268 edges, 214134 markings/sec, 565 secs
lola: 201781532 markings, 357898580 edges, 311252 markings/sec, 570 secs
lola: 202985925 markings, 360040971 edges, 240879 markings/sec, 575 secs
lola: 204193221 markings, 362201298 edges, 241459 markings/sec, 580 secs
lola: 205396504 markings, 364361389 edges, 240657 markings/sec, 585 secs
lola: 206695664 markings, 366674317 edges, 259832 markings/sec, 590 secs
lola: 207973586 markings, 368941703 edges, 255584 markings/sec, 595 secs
lola: 209072247 markings, 370899362 edges, 219732 markings/sec, 600 secs
lola: 210040580 markings, 372631252 edges, 193667 markings/sec, 605 secs
lola: 211233278 markings, 374758561 edges, 238540 markings/sec, 610 secs
lola: 212391907 markings, 376823288 edges, 231726 markings/sec, 615 secs
lola: 213543277 markings, 378879061 edges, 230274 markings/sec, 620 secs
lola: 215152297 markings, 381740511 edges, 321804 markings/sec, 625 secs
lola: 216411375 markings, 383988172 edges, 251816 markings/sec, 630 secs
lola: 217382866 markings, 385727589 edges, 194298 markings/sec, 635 secs
lola: 218562075 markings, 387834937 edges, 235842 markings/sec, 640 secs
lola: 219749096 markings, 389950453 edges, 237404 markings/sec, 645 secs
lola: 220947138 markings, 392089559 edges, 239608 markings/sec, 650 secs
lola: 222410793 markings, 394700034 edges, 292731 markings/sec, 655 secs
lola: 223532115 markings, 396700946 edges, 224264 markings/sec, 660 secs
lola: 224729728 markings, 398837169 edges, 239523 markings/sec, 665 secs
lola: 225691838 markings, 400557763 edges, 192422 markings/sec, 670 secs
lola: 226720774 markings, 402392825 edges, 205787 markings/sec, 675 secs
lola: 227517952 markings, 403817351 edges, 159436 markings/sec, 680 secs
lola: 228704716 markings, 405922106 edges, 237353 markings/sec, 685 secs
lola: 229984036 markings, 408206207 edges, 255864 markings/sec, 690 secs
lola: 231131288 markings, 410258722 edges, 229450 markings/sec, 695 secs
lola: 232379193 markings, 412490818 edges, 249581 markings/sec, 700 secs
lola: 233542813 markings, 414566494 edges, 232724 markings/sec, 705 secs
lola: 234432610 markings, 416159187 edges, 177959 markings/sec, 710 secs
lola: 235617571 markings, 418273712 edges, 236992 markings/sec, 715 secs
lola: 236815853 markings, 420416600 edges, 239656 markings/sec, 720 secs
lola: 237551685 markings, 421733464 edges, 147166 markings/sec, 725 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 824 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p15)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: 1582722 markings, 2898720 edges, 316544 markings/sec, 0 secs
lola: 3051857 markings, 5595183 edges, 293827 markings/sec, 5 secs
lola: 4598789 markings, 8441049 edges, 309386 markings/sec, 10 secs
lola: 6048315 markings, 11109160 edges, 289905 markings/sec, 15 secs
lola: 7590442 markings, 14005397 edges, 308425 markings/sec, 20 secs
lola: 9013871 markings, 16729741 edges, 284686 markings/sec, 25 secs
lola: 10409875 markings, 19393323 edges, 279201 markings/sec, 30 secs
lola: 11719426 markings, 21891392 edges, 261910 markings/sec, 35 secs
lola: 13090348 markings, 24493849 edges, 274184 markings/sec, 40 secs
lola: 14406546 markings, 27024369 edges, 263240 markings/sec, 45 secs
lola: 15708253 markings, 29528678 edges, 260341 markings/sec, 50 secs
lola: 17071900 markings, 32102608 edges, 272729 markings/sec, 55 secs
lola: 18326630 markings, 34501505 edges, 250946 markings/sec, 60 secs
lola: 19675052 markings, 37072163 edges, 269684 markings/sec, 65 secs
lola: 20884738 markings, 39377800 edges, 241937 markings/sec, 70 secs
lola: 22230318 markings, 41919308 edges, 269116 markings/sec, 75 secs
lola: 23490459 markings, 44317540 edges, 252028 markings/sec, 80 secs
lola: 24874788 markings, 46918560 edges, 276866 markings/sec, 85 secs
lola: 26131100 markings, 49281075 edges, 251262 markings/sec, 90 secs
lola: 27528931 markings, 51894856 edges, 279566 markings/sec, 95 secs
lola: 28706957 markings, 54121231 edges, 235605 markings/sec, 100 secs
lola: 30025547 markings, 56609195 edges, 263718 markings/sec, 105 secs
lola: 31249800 markings, 58936748 edges, 244851 markings/sec, 110 secs
lola: 32624437 markings, 61519524 edges, 274927 markings/sec, 115 secs
lola: 34006440 markings, 64115283 edges, 276401 markings/sec, 120 secs
lola: 35308754 markings, 66590901 edges, 260463 markings/sec, 125 secs
lola: 36631949 markings, 69093776 edges, 264639 markings/sec, 130 secs
lola: 37941831 markings, 71585240 edges, 261976 markings/sec, 135 secs
lola: 39286243 markings, 74116086 edges, 268882 markings/sec, 140 secs
lola: 40596097 markings, 76598918 edges, 261971 markings/sec, 145 secs
lola: 41921763 markings, 79104431 edges, 265133 markings/sec, 150 secs
lola: 43318273 markings, 81704852 edges, 279302 markings/sec, 155 secs
lola: 44654101 markings, 84212665 edges, 267166 markings/sec, 160 secs
lola: 45975667 markings, 86703433 edges, 264313 markings/sec, 165 secs
lola: 47266758 markings, 89161478 edges, 258218 markings/sec, 170 secs
lola: 48464620 markings, 91435236 edges, 239572 markings/sec, 175 secs
lola: 49788186 markings, 93922220 edges, 264713 markings/sec, 180 secs
lola: 51118902 markings, 96418142 edges, 266143 markings/sec, 185 secs
lola: 52389405 markings, 98832857 edges, 254101 markings/sec, 190 secs
lola: 53649111 markings, 101194911 edges, 251941 markings/sec, 195 secs
lola: 54966784 markings, 103678205 edges, 263535 markings/sec, 200 secs
lola: 56252801 markings, 106098200 edges, 257203 markings/sec, 205 secs
lola: 57427832 markings, 108337062 edges, 235006 markings/sec, 210 secs
lola: 58724342 markings, 110798088 edges, 259302 markings/sec, 215 secs
lola: 60040102 markings, 113275450 edges, 263152 markings/sec, 220 secs
lola: 61248900 markings, 115551170 edges, 241760 markings/sec, 225 secs
lola: 62554928 markings, 118010125 edges, 261206 markings/sec, 230 secs
lola: 63824020 markings, 120411920 edges, 253818 markings/sec, 235 secs
lola: 64979945 markings, 122626773 edges, 231185 markings/sec, 240 secs
lola: 66265823 markings, 125065409 edges, 257176 markings/sec, 245 secs
lola: 67553685 markings, 127488576 edges, 257572 markings/sec, 250 secs
lola: 68831444 markings, 129908687 edges, 255552 markings/sec, 255 secs
lola: 70103350 markings, 132339949 edges, 254381 markings/sec, 260 secs
lola: 71576068 markings, 135065204 edges, 294544 markings/sec, 265 secs
lola: 72892772 markings, 137561366 edges, 263341 markings/sec, 270 secs
lola: 74155047 markings, 139972571 edges, 252455 markings/sec, 275 secs
lola: 75428386 markings, 142398943 edges, 254668 markings/sec, 280 secs
lola: 76769958 markings, 144921342 edges, 268314 markings/sec, 285 secs
lola: 78107077 markings, 147423320 edges, 267424 markings/sec, 290 secs
lola: 79397839 markings, 149881210 edges, 258152 markings/sec, 295 secs
lola: 80699106 markings, 152330356 edges, 260253 markings/sec, 300 secs
lola: 82001901 markings, 154792363 edges, 260559 markings/sec, 305 secs
lola: 83268122 markings, 157199091 edges, 253244 markings/sec, 310 secs
lola: 84456206 markings, 159449440 edges, 237617 markings/sec, 315 secs
lola: 85809340 markings, 161979853 edges, 270627 markings/sec, 320 secs
lola: 87030321 markings, 164321948 edges, 244196 markings/sec, 325 secs
lola: 88303467 markings, 166715284 edges, 254629 markings/sec, 330 secs
lola: 89595296 markings, 169131944 edges, 258366 markings/sec, 335 secs
lola: 90819952 markings, 171460793 edges, 244931 markings/sec, 340 secs
lola: 91993955 markings, 173680449 edges, 234801 markings/sec, 345 secs
lola: 93267951 markings, 176104753 edges, 254799 markings/sec, 350 secs
lola: 94530185 markings, 178492906 edges, 252447 markings/sec, 355 secs
lola: 95806169 markings, 180921720 edges, 255197 markings/sec, 360 secs
lola: 97028553 markings, 183288673 edges, 244477 markings/sec, 365 secs
lola: 98351656 markings, 185770264 edges, 264621 markings/sec, 370 secs
lola: 99663994 markings, 188232313 edges, 262468 markings/sec, 375 secs
lola: 101027419 markings, 190777496 edges, 272685 markings/sec, 380 secs
lola: 102335314 markings, 193227262 edges, 261579 markings/sec, 385 secs
lola: 103577391 markings, 195591037 edges, 248415 markings/sec, 390 secs
lola: 104837431 markings, 198001258 edges, 252008 markings/sec, 395 secs
lola: 106045596 markings, 200279527 edges, 241633 markings/sec, 400 secs
lola: 107384907 markings, 202807343 edges, 267862 markings/sec, 405 secs
lola: 108574384 markings, 205083279 edges, 237895 markings/sec, 410 secs
lola: 109759535 markings, 207325970 edges, 237030 markings/sec, 415 secs
lola: 111078837 markings, 209806658 edges, 263860 markings/sec, 420 secs
lola: 112296994 markings, 212133026 edges, 243631 markings/sec, 425 secs
lola: 113589588 markings, 214562613 edges, 258519 markings/sec, 430 secs
lola: 114904927 markings, 217031443 edges, 263068 markings/sec, 435 secs
lola: 116168593 markings, 219415191 edges, 252733 markings/sec, 440 secs
lola: 117411912 markings, 221733970 edges, 248664 markings/sec, 445 secs
lola: 118686591 markings, 224147964 edges, 254936 markings/sec, 450 secs
lola: 119974843 markings, 226588921 edges, 257650 markings/sec, 455 secs
lola: 121219593 markings, 228924784 edges, 248950 markings/sec, 460 secs
lola: 122453276 markings, 231253353 edges, 246737 markings/sec, 465 secs
lola: 123702071 markings, 233612186 edges, 249759 markings/sec, 470 secs
lola: 124992206 markings, 236031283 edges, 258027 markings/sec, 475 secs
lola: 126296591 markings, 238473964 edges, 260877 markings/sec, 480 secs
lola: 127466538 markings, 240676679 edges, 233989 markings/sec, 485 secs
lola: 128707804 markings, 243025910 edges, 248253 markings/sec, 490 secs
lola: 129958550 markings, 245414730 edges, 250149 markings/sec, 495 secs
lola: 131238562 markings, 247806704 edges, 256002 markings/sec, 500 secs
lola: 132612707 markings, 250382733 edges, 274829 markings/sec, 505 secs
lola: 133799517 markings, 252616218 edges, 237362 markings/sec, 510 secs
lola: 134909198 markings, 254694844 edges, 221936 markings/sec, 515 secs
lola: 135921759 markings, 256607976 edges, 202512 markings/sec, 520 secs
lola: 137043426 markings, 258733122 edges, 224333 markings/sec, 525 secs
lola: 138104642 markings, 260789732 edges, 212243 markings/sec, 530 secs
lola: 139208258 markings, 262879491 edges, 220723 markings/sec, 535 secs
lola: 139944354 markings, 264261695 edges, 147219 markings/sec, 540 secs
lola: 140814626 markings, 265895232 edges, 174054 markings/sec, 545 secs
lola: 141883531 markings, 267913703 edges, 213781 markings/sec, 550 secs
lola: 142904405 markings, 269853443 edges, 204175 markings/sec, 555 secs
lola: 143919272 markings, 271758900 edges, 202973 markings/sec, 560 secs
lola: 144751386 markings, 273328126 edges, 166423 markings/sec, 565 secs
lola: 145725623 markings, 275196334 edges, 194847 markings/sec, 570 secs
lola: 146661041 markings, 276999242 edges, 187084 markings/sec, 575 secs
lola: 147639781 markings, 278849940 edges, 195748 markings/sec, 580 secs
lola: 148615623 markings, 280706658 edges, 195168 markings/sec, 585 secs
lola: 149557563 markings, 282489135 edges, 188388 markings/sec, 590 secs
lola: 150564259 markings, 284383640 edges, 201339 markings/sec, 595 secs
lola: 151290810 markings, 285778765 edges, 145310 markings/sec, 600 secs
lola: 152321771 markings, 287718453 edges, 206192 markings/sec, 605 secs
lola: 153033752 markings, 289086101 edges, 142396 markings/sec, 610 secs
lola: 154201262 markings, 291245030 edges, 233502 markings/sec, 615 secs
lola: 154911306 markings, 292584677 edges, 142009 markings/sec, 620 secs
lola: 155912359 markings, 294471253 edges, 200211 markings/sec, 625 secs
lola: 156668194 markings, 295907476 edges, 151167 markings/sec, 630 secs
lola: 157617059 markings, 297678507 edges, 189773 markings/sec, 635 secs
lola: 158379899 markings, 299125516 edges, 152568 markings/sec, 640 secs
lola: 159311301 markings, 300868414 edges, 186280 markings/sec, 645 secs
lola: 160177490 markings, 302526974 edges, 173238 markings/sec, 650 secs
lola: 161308054 markings, 304630111 edges, 226113 markings/sec, 655 secs
lola: 161969063 markings, 305899088 edges, 132202 markings/sec, 660 secs
lola: 163000211 markings, 307848538 edges, 206230 markings/sec, 665 secs
lola: 164011837 markings, 309771646 edges, 202325 markings/sec, 670 secs
lola: 164884682 markings, 311423180 edges, 174569 markings/sec, 675 secs
lola: 165901459 markings, 313302835 edges, 203355 markings/sec, 680 secs
lola: 166492109 markings, 314414824 edges, 118130 markings/sec, 685 secs
lola: 167259277 markings, 315884207 edges, 153434 markings/sec, 690 secs
lola: 168031671 markings, 317350029 edges, 154479 markings/sec, 695 secs
lola: 168413168 markings, 318071169 edges, 76299 markings/sec, 700 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 882 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p22)
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: 25
lola: 1458309 markings, 2609838 edges, 291662 markings/sec, 0 secs
lola: 2835946 markings, 5156120 edges, 275527 markings/sec, 5 secs
lola: 4240408 markings, 7775785 edges, 280892 markings/sec, 10 secs
lola: 5587617 markings, 10343565 edges, 269442 markings/sec, 15 secs
lola: 6934949 markings, 12881453 edges, 269466 markings/sec, 20 secs
lola: 8325148 markings, 15459580 edges, 278040 markings/sec, 25 secs
lola: 9614692 markings, 17935014 edges, 257909 markings/sec, 30 secs
lola: 10859928 markings, 20310207 edges, 249047 markings/sec, 35 secs
lola: 12177166 markings, 22832011 edges, 263448 markings/sec, 40 secs
lola: 13440849 markings, 25307063 edges, 252737 markings/sec, 45 secs
lola: 14703288 markings, 27778842 edges, 252488 markings/sec, 50 secs
lola: 15992287 markings, 30264734 edges, 257800 markings/sec, 55 secs
lola: 17227099 markings, 32706065 edges, 246962 markings/sec, 60 secs
lola: 18530458 markings, 35195734 edges, 260672 markings/sec, 65 secs
lola: 19786584 markings, 37642065 edges, 251225 markings/sec, 70 secs
lola: 21042586 markings, 40084213 edges, 251200 markings/sec, 75 secs
lola: 22250849 markings, 42486753 edges, 241653 markings/sec, 80 secs
lola: 23465045 markings, 44892255 edges, 242839 markings/sec, 85 secs
lola: 24653136 markings, 47271627 edges, 237618 markings/sec, 90 secs
lola: 25841603 markings, 49651753 edges, 237693 markings/sec, 95 secs
lola: 27057543 markings, 52041647 edges, 243188 markings/sec, 100 secs
lola: 28189680 markings, 54232413 edges, 226427 markings/sec, 105 secs
lola: 29352130 markings, 56530583 edges, 232490 markings/sec, 110 secs
lola: 30495383 markings, 58815692 edges, 228651 markings/sec, 115 secs
lola: 31616245 markings, 61037213 edges, 224172 markings/sec, 120 secs
lola: 32780604 markings, 63379293 edges, 232872 markings/sec, 125 secs
lola: 33972997 markings, 65727235 edges, 238479 markings/sec, 130 secs
lola: 35171956 markings, 68097403 edges, 239792 markings/sec, 135 secs
lola: 36304177 markings, 70292540 edges, 226444 markings/sec, 140 secs
lola: 37433064 markings, 72550352 edges, 225777 markings/sec, 145 secs
lola: 38575673 markings, 74820464 edges, 228522 markings/sec, 150 secs
lola: 39669050 markings, 77048936 edges, 218675 markings/sec, 155 secs
lola: 40803959 markings, 79307054 edges, 226982 markings/sec, 160 secs
lola: 41917157 markings, 81547243 edges, 222640 markings/sec, 165 secs
lola: 43116446 markings, 83857478 edges, 239858 markings/sec, 170 secs
lola: 44207772 markings, 86069942 edges, 218265 markings/sec, 175 secs
lola: 45379439 markings, 88347656 edges, 234333 markings/sec, 180 secs
lola: 46519151 markings, 90606416 edges, 227942 markings/sec, 185 secs
lola: 47570453 markings, 92790474 edges, 210260 markings/sec, 190 secs
lola: 48663487 markings, 94996257 edges, 218607 markings/sec, 195 secs
lola: 49719533 markings, 97166837 edges, 211209 markings/sec, 200 secs
lola: 50771919 markings, 99332783 edges, 210477 markings/sec, 205 secs
lola: 51927235 markings, 101597279 edges, 231063 markings/sec, 210 secs
lola: 53002679 markings, 103784562 edges, 215089 markings/sec, 215 secs
lola: 54108012 markings, 105991285 edges, 221067 markings/sec, 220 secs
lola: 55184081 markings, 108169158 edges, 215214 markings/sec, 225 secs
lola: 56240905 markings, 110333273 edges, 211365 markings/sec, 230 secs
lola: 57271293 markings, 112481472 edges, 206078 markings/sec, 235 secs
lola: 58278098 markings, 114549297 edges, 201361 markings/sec, 240 secs
lola: 59433885 markings, 116829417 edges, 231157 markings/sec, 245 secs
lola: 60513468 markings, 119045114 edges, 215917 markings/sec, 250 secs
lola: 61659550 markings, 121310748 edges, 229216 markings/sec, 255 secs
lola: 62810129 markings, 123581127 edges, 230116 markings/sec, 260 secs
lola: 63886694 markings, 125744413 edges, 215313 markings/sec, 265 secs
lola: 64976372 markings, 127937252 edges, 217936 markings/sec, 270 secs
lola: 66099169 markings, 130153362 edges, 224559 markings/sec, 275 secs
lola: 67099569 markings, 132203476 edges, 200080 markings/sec, 280 secs
lola: 68245566 markings, 134472917 edges, 229199 markings/sec, 285 secs
lola: 69361229 markings, 136709783 edges, 223133 markings/sec, 290 secs
lola: 70455866 markings, 138935306 edges, 218927 markings/sec, 295 secs
lola: 71548420 markings, 141148725 edges, 218511 markings/sec, 300 secs
lola: 72651681 markings, 143368763 edges, 220652 markings/sec, 305 secs
lola: 73761585 markings, 145586140 edges, 221981 markings/sec, 310 secs
lola: 74824676 markings, 147701579 edges, 212618 markings/sec, 315 secs
lola: 75838921 markings, 149829321 edges, 202849 markings/sec, 320 secs
lola: 76937569 markings, 152013779 edges, 219730 markings/sec, 325 secs
lola: 77988208 markings, 154164356 edges, 210128 markings/sec, 330 secs
lola: 79107219 markings, 156372788 edges, 223802 markings/sec, 335 secs
lola: 80147859 markings, 158506861 edges, 208128 markings/sec, 340 secs
lola: 81166406 markings, 160563939 edges, 203709 markings/sec, 345 secs
lola: 82259978 markings, 162776604 edges, 218714 markings/sec, 350 secs
lola: 83284898 markings, 164889767 edges, 204984 markings/sec, 355 secs
lola: 84382841 markings, 167120782 edges, 219589 markings/sec, 360 secs
lola: 85481832 markings, 169340931 edges, 219798 markings/sec, 365 secs
lola: 86621559 markings, 171595849 edges, 227945 markings/sec, 370 secs
lola: 87698898 markings, 173798276 edges, 215468 markings/sec, 375 secs
lola: 88843224 markings, 176049015 edges, 228865 markings/sec, 380 secs
lola: 89941744 markings, 178263098 edges, 219704 markings/sec, 385 secs
lola: 91052446 markings, 180481634 edges, 222140 markings/sec, 390 secs
lola: 92115964 markings, 182658720 edges, 212704 markings/sec, 395 secs
lola: 93145940 markings, 184812816 edges, 205995 markings/sec, 400 secs
lola: 94182675 markings, 186967803 edges, 207347 markings/sec, 405 secs
lola: 95200085 markings, 189116173 edges, 203482 markings/sec, 410 secs
lola: 96216639 markings, 191259561 edges, 203311 markings/sec, 415 secs
lola: 97248943 markings, 193364005 edges, 206461 markings/sec, 420 secs
lola: 98292057 markings, 195472839 edges, 208623 markings/sec, 425 secs
lola: 99322384 markings, 197584461 edges, 206065 markings/sec, 430 secs
lola: 100370258 markings, 199701469 edges, 209575 markings/sec, 435 secs
lola: 101448459 markings, 201855447 edges, 215640 markings/sec, 440 secs
lola: 102431164 markings, 203926841 edges, 196541 markings/sec, 445 secs
lola: 103438095 markings, 206003924 edges, 201386 markings/sec, 450 secs
lola: 104446612 markings, 208089724 edges, 201703 markings/sec, 455 secs
lola: 105439879 markings, 210133181 edges, 198653 markings/sec, 460 secs
lola: 106455284 markings, 212255817 edges, 203081 markings/sec, 465 secs
lola: 107555666 markings, 214468021 edges, 220076 markings/sec, 470 secs
lola: 108556105 markings, 216508249 edges, 200088 markings/sec, 475 secs
lola: 109596408 markings, 218620601 edges, 208061 markings/sec, 480 secs
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 109699400 markings, 218808347 edges
lola: ========================================
lola: subprocess 15 will run for 1280 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p28)
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: 25
lola: SUBRESULT
lola: result: 25
lola: produced by: state space
lola: The maximum value of the given expression is 25
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p6)
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: 25
lola: 1367027 markings, 2719471 edges, 273405 markings/sec, 0 secs
lola: 2721492 markings, 5545001 edges, 270893 markings/sec, 5 secs
lola: 3942996 markings, 8076204 edges, 244301 markings/sec, 10 secs
lola: 5214556 markings, 10780758 edges, 254312 markings/sec, 15 secs
lola: 6460638 markings, 13430600 edges, 249216 markings/sec, 20 secs
lola: 7689599 markings, 16071782 edges, 245792 markings/sec, 25 secs
lola: 8842543 markings, 18569810 edges, 230589 markings/sec, 30 secs
lola: 10077125 markings, 21211705 edges, 246916 markings/sec, 35 secs
lola: 11313491 markings, 23844876 edges, 247273 markings/sec, 40 secs
lola: 12537957 markings, 26433266 edges, 244893 markings/sec, 45 secs
lola: 13753777 markings, 29047709 edges, 243164 markings/sec, 50 secs
lola: 14961794 markings, 31665174 edges, 241603 markings/sec, 55 secs
lola: 16168340 markings, 34272753 edges, 241309 markings/sec, 60 secs
lola: 17369234 markings, 36863233 edges, 240179 markings/sec, 65 secs
lola: 18476802 markings, 39218570 edges, 221514 markings/sec, 70 secs
lola: 19639481 markings, 41731719 edges, 232536 markings/sec, 75 secs
lola: 20767113 markings, 44177006 edges, 225526 markings/sec, 80 secs
lola: 21938959 markings, 46744677 edges, 234369 markings/sec, 85 secs
lola: 23115590 markings, 49310954 edges, 235326 markings/sec, 90 secs
lola: 24277815 markings, 51851154 edges, 232445 markings/sec, 95 secs
lola: 25449194 markings, 54394016 edges, 234276 markings/sec, 100 secs
lola: 26621069 markings, 56939245 edges, 234375 markings/sec, 105 secs
lola: 27785251 markings, 59457774 edges, 232836 markings/sec, 110 secs
lola: 28858425 markings, 61815244 edges, 214635 markings/sec, 115 secs
lola: 29996465 markings, 64310836 edges, 227608 markings/sec, 120 secs
lola: 31156958 markings, 66839895 edges, 232099 markings/sec, 125 secs
lola: 32289119 markings, 69294877 edges, 226432 markings/sec, 130 secs
lola: 33411137 markings, 71747927 edges, 224404 markings/sec, 135 secs
lola: 34537490 markings, 74222086 edges, 225271 markings/sec, 140 secs
lola: 35618284 markings, 76596836 edges, 216159 markings/sec, 145 secs
lola: 36753111 markings, 79081753 edges, 226965 markings/sec, 150 secs
lola: 37892076 markings, 81563266 edges, 227793 markings/sec, 155 secs
lola: 39034951 markings, 84078858 edges, 228575 markings/sec, 160 secs
lola: 40172037 markings, 86586457 edges, 227417 markings/sec, 165 secs
lola: 41302558 markings, 89064703 edges, 226104 markings/sec, 170 secs
lola: 42427637 markings, 91546565 edges, 225016 markings/sec, 175 secs
lola: 43568650 markings, 94039931 edges, 228203 markings/sec, 180 secs
lola: 44691458 markings, 96504342 edges, 224562 markings/sec, 185 secs
lola: 45816645 markings, 98958011 edges, 225037 markings/sec, 190 secs
lola: 46940488 markings, 101422232 edges, 224769 markings/sec, 195 secs
lola: 48079983 markings, 103906826 edges, 227899 markings/sec, 200 secs
lola: 49210962 markings, 106408475 edges, 226196 markings/sec, 205 secs
lola: 50332644 markings, 108887833 edges, 224336 markings/sec, 210 secs
lola: 51435116 markings, 111340054 edges, 220494 markings/sec, 215 secs
lola: 52543549 markings, 113792249 edges, 221687 markings/sec, 220 secs
lola: 53587793 markings, 116058382 edges, 208849 markings/sec, 225 secs
lola: 54672654 markings, 118442500 edges, 216972 markings/sec, 230 secs
lola: 55710105 markings, 120704812 edges, 207490 markings/sec, 235 secs
lola: 56820944 markings, 123137783 edges, 222168 markings/sec, 240 secs
lola: 57871822 markings, 125466271 edges, 210176 markings/sec, 245 secs
lola: 58962277 markings, 127854644 edges, 218091 markings/sec, 250 secs
lola: 60064902 markings, 130280637 edges, 220525 markings/sec, 255 secs
lola: 61155935 markings, 132697936 edges, 218207 markings/sec, 260 secs
lola: 62247550 markings, 135101251 edges, 218323 markings/sec, 265 secs
lola: 63334901 markings, 137495599 edges, 217470 markings/sec, 270 secs
lola: 64431130 markings, 139895312 edges, 219246 markings/sec, 275 secs
lola: 65522590 markings, 142308547 edges, 218292 markings/sec, 280 secs
lola: 66603994 markings, 144707342 edges, 216281 markings/sec, 285 secs
lola: 67695222 markings, 147117363 edges, 218246 markings/sec, 290 secs
lola: 68778364 markings, 149492062 edges, 216628 markings/sec, 295 secs
lola: 69856967 markings, 151856564 edges, 215721 markings/sec, 300 secs
lola: 70932826 markings, 154228590 edges, 215172 markings/sec, 305 secs
lola: 72010693 markings, 156599496 edges, 215573 markings/sec, 310 secs
lola: 73079836 markings, 158956704 edges, 213829 markings/sec, 315 secs
lola: 74169846 markings, 161366262 edges, 218002 markings/sec, 320 secs
lola: 75262644 markings, 163775296 edges, 218560 markings/sec, 325 secs
lola: 76327758 markings, 166136102 edges, 213023 markings/sec, 330 secs
lola: 77418533 markings, 168534085 edges, 218155 markings/sec, 335 secs
lola: 78484321 markings, 170891578 edges, 213158 markings/sec, 340 secs
lola: 79551089 markings, 173248432 edges, 213354 markings/sec, 345 secs
lola: 80566060 markings, 175502269 edges, 202994 markings/sec, 350 secs
lola: 81664864 markings, 177929459 edges, 219761 markings/sec, 355 secs
lola: 82763795 markings, 180333969 edges, 219786 markings/sec, 360 secs
lola: 83843312 markings, 182760652 edges, 215903 markings/sec, 365 secs
lola: 84943219 markings, 185186318 edges, 219981 markings/sec, 370 secs
lola: 86037151 markings, 187603551 edges, 218786 markings/sec, 375 secs
lola: 87119193 markings, 190002872 edges, 216408 markings/sec, 380 secs
lola: 88216744 markings, 192422633 edges, 219510 markings/sec, 385 secs
lola: 89296307 markings, 194826214 edges, 215913 markings/sec, 390 secs
lola: 90372641 markings, 197214032 edges, 215267 markings/sec, 395 secs
lola: 91453623 markings, 199619735 edges, 216196 markings/sec, 400 secs
lola: 92523768 markings, 202003450 edges, 214029 markings/sec, 405 secs
lola: 93596411 markings, 204355259 edges, 214529 markings/sec, 410 secs
lola: 94688513 markings, 206741052 edges, 218420 markings/sec, 415 secs
lola: 95768002 markings, 209103743 edges, 215898 markings/sec, 420 secs
lola: 96846011 markings, 211483640 edges, 215602 markings/sec, 425 secs
lola: 97928991 markings, 213882945 edges, 216596 markings/sec, 430 secs
lola: 98917070 markings, 216078241 edges, 197616 markings/sec, 435 secs
lola: 99983645 markings, 218450663 edges, 213315 markings/sec, 440 secs
lola: 101030090 markings, 220779481 edges, 209289 markings/sec, 445 secs
lola: 102023644 markings, 222976582 edges, 198711 markings/sec, 450 secs
lola: 103080738 markings, 225329708 edges, 211419 markings/sec, 455 secs
lola: 104085686 markings, 227566348 edges, 200990 markings/sec, 460 secs
lola: 105131634 markings, 229890968 edges, 209190 markings/sec, 465 secs
lola: 106147926 markings, 232162277 edges, 203258 markings/sec, 470 secs
lola: 107179341 markings, 234421799 edges, 206283 markings/sec, 475 secs
lola: 108232046 markings, 236766913 edges, 210541 markings/sec, 480 secs
lola: 109298566 markings, 239118760 edges, 213304 markings/sec, 485 secs
lola: 110366066 markings, 241487786 edges, 213500 markings/sec, 490 secs
lola: 111362302 markings, 243640206 edges, 199247 markings/sec, 495 secs
lola: 112350488 markings, 245851554 edges, 197637 markings/sec, 500 secs
lola: 113398470 markings, 248187443 edges, 209596 markings/sec, 505 secs
lola: 114459740 markings, 250532247 edges, 212254 markings/sec, 510 secs
lola: 115523217 markings, 252886595 edges, 212695 markings/sec, 515 secs
lola: 116591545 markings, 255249083 edges, 213666 markings/sec, 520 secs
lola: 117564952 markings, 257431597 edges, 194681 markings/sec, 525 secs
lola: 118609519 markings, 259739350 edges, 208913 markings/sec, 530 secs
lola: 119644269 markings, 262024245 edges, 206950 markings/sec, 535 secs
lola: 120685972 markings, 264336815 edges, 208341 markings/sec, 540 secs
lola: 121733478 markings, 266647228 edges, 209501 markings/sec, 545 secs
lola: 122786281 markings, 269000535 edges, 210561 markings/sec, 550 secs
lola: 123847310 markings, 271360742 edges, 212206 markings/sec, 555 secs
lola: 124916700 markings, 273736397 edges, 213878 markings/sec, 560 secs
lola: 125960345 markings, 276060627 edges, 208729 markings/sec, 565 secs
lola: 126961011 markings, 278272384 edges, 200133 markings/sec, 570 secs
lola: 127990075 markings, 280566647 edges, 205813 markings/sec, 575 secs
lola: 129024643 markings, 282892753 edges, 206914 markings/sec, 580 secs
lola: 130055595 markings, 285180951 edges, 206190 markings/sec, 585 secs
lola: 131088146 markings, 287459371 edges, 206510 markings/sec, 590 secs
lola: 132123351 markings, 289743208 edges, 207041 markings/sec, 595 secs
lola: 133170226 markings, 292098423 edges, 209375 markings/sec, 600 secs
lola: 134172653 markings, 294339426 edges, 200485 markings/sec, 605 secs
lola: 135159658 markings, 296525739 edges, 197401 markings/sec, 610 secs
lola: 136224265 markings, 298896887 edges, 212921 markings/sec, 615 secs
lola: 137286313 markings, 301215121 edges, 212410 markings/sec, 620 secs
lola: 138359081 markings, 303587634 edges, 214554 markings/sec, 625 secs
lola: 139405183 markings, 305913663 edges, 209220 markings/sec, 630 secs
lola: 140433600 markings, 308212613 edges, 205683 markings/sec, 635 secs
lola: 141500854 markings, 310537620 edges, 213451 markings/sec, 640 secs
lola: 142453925 markings, 312654945 edges, 190614 markings/sec, 645 secs
lola: 143489182 markings, 314972790 edges, 207051 markings/sec, 650 secs
lola: 144519174 markings, 317246887 edges, 205998 markings/sec, 655 secs
lola: 145541222 markings, 319512660 edges, 204410 markings/sec, 660 secs
lola: 146382958 markings, 321382843 edges, 168347 markings/sec, 665 secs
lola: 147083006 markings, 322962274 edges, 140010 markings/sec, 670 secs
lola: 147684867 markings, 324295121 edges, 120372 markings/sec, 675 secs
lola: 148423880 markings, 325946445 edges, 147803 markings/sec, 680 secs
lola: 149184927 markings, 327615768 edges, 152209 markings/sec, 685 secs
lola: 149951538 markings, 329315427 edges, 153322 markings/sec, 690 secs
lola: 150665431 markings, 330888419 edges, 142779 markings/sec, 695 secs
lola: 151614113 markings, 332993940 edges, 189736 markings/sec, 700 secs
lola: 152332663 markings, 334605395 edges, 143710 markings/sec, 705 secs
lola: 152984172 markings, 336069947 edges, 130302 markings/sec, 710 secs
lola: 153764792 markings, 337794686 edges, 156124 markings/sec, 715 secs
lola: 154584894 markings, 339614604 edges, 164020 markings/sec, 720 secs
lola: 155347182 markings, 341313081 edges, 152458 markings/sec, 725 secs
lola: 156200963 markings, 343192914 edges, 170756 markings/sec, 730 secs
lola: 156974958 markings, 344922162 edges, 154799 markings/sec, 735 secs
lola: 157943002 markings, 347037567 edges, 193609 markings/sec, 740 secs
lola: 158927711 markings, 349235467 edges, 196942 markings/sec, 745 secs
lola: 159749718 markings, 351078572 edges, 164401 markings/sec, 750 secs
lola: 160599152 markings, 352950358 edges, 169887 markings/sec, 755 secs
lola: 161309908 markings, 354531986 edges, 142151 markings/sec, 760 secs
lola: 162194646 markings, 356507605 edges, 176948 markings/sec, 765 secs
lola: 162962184 markings, 358246551 edges, 153508 markings/sec, 770 secs
lola: 163765623 markings, 360036422 edges, 160688 markings/sec, 775 secs
lola: 164598875 markings, 361866446 edges, 166650 markings/sec, 780 secs
lola: 165342724 markings, 363522366 edges, 148770 markings/sec, 785 secs
lola: 166137272 markings, 365274401 edges, 158910 markings/sec, 790 secs
lola: 167020267 markings, 367255313 edges, 176599 markings/sec, 795 secs
lola: 167814604 markings, 369016277 edges, 158867 markings/sec, 800 secs
lola: 168772086 markings, 371156476 edges, 191496 markings/sec, 805 secs
lola: 169399920 markings, 372572867 edges, 125567 markings/sec, 810 secs
lola: 170245800 markings, 374466740 edges, 169176 markings/sec, 815 secs
lola: 171023677 markings, 376186006 edges, 155575 markings/sec, 820 secs
lola: 171735692 markings, 377783683 edges, 142403 markings/sec, 825 secs
lola: 172589468 markings, 379683161 edges, 170755 markings/sec, 830 secs
lola: 173328784 markings, 381344495 edges, 147863 markings/sec, 835 secs
lola: 174114269 markings, 383095622 edges, 157097 markings/sec, 840 secs
lola: 174847735 markings, 384701961 edges, 146693 markings/sec, 845 secs
lola: 175790685 markings, 386781464 edges, 188590 markings/sec, 850 secs
lola: 176620238 markings, 388618472 edges, 165911 markings/sec, 855 secs
lola: 177369050 markings, 390293407 edges, 149762 markings/sec, 860 secs
lola: 178193223 markings, 392144923 edges, 164835 markings/sec, 865 secs
lola: 178981204 markings, 393891751 edges, 157596 markings/sec, 870 secs
lola: 179772557 markings, 395659061 edges, 158271 markings/sec, 875 secs
lola: 180554083 markings, 397390065 edges, 156305 markings/sec, 880 secs
lola: 181382937 markings, 399220670 edges, 165771 markings/sec, 885 secs
lola: 182090801 markings, 400792929 edges, 141573 markings/sec, 890 secs
lola: 182886825 markings, 402548401 edges, 159205 markings/sec, 895 secs
lola: 182904321 markings, 402585897 edges, 3499 markings/sec, 900 secs
lola: 183055815 markings, 402917248 edges, 30299 markings/sec, 905 secs
lola: 183088635 markings, 402992123 edges, 6564 markings/sec, 910 secs
lola: 183088702 markings, 402992246 edges, 13 markings/sec, 915 secs
lola: 183105300 markings, 403027935 edges, 3320 markings/sec, 920 secs
lola: 183105329 markings, 403027994 edges, 6 markings/sec, 925 secs
lola: 183105357 markings, 403028052 edges, 6 markings/sec, 930 secs
lola: 183108959 markings, 403035830 edges, 720 markings/sec, 935 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 25
lola: 2008393 markings, 3480074 edges, 401679 markings/sec, 0 secs
lola: 4138220 markings, 7195429 edges, 425965 markings/sec, 5 secs
lola: 6215702 markings, 10832418 edges, 415496 markings/sec, 10 secs
lola: 8276068 markings, 14447710 edges, 412073 markings/sec, 15 secs
lola: 10334968 markings, 18052363 edges, 411780 markings/sec, 20 secs
lola: 12363099 markings, 21606846 edges, 405626 markings/sec, 25 secs
lola: 14355982 markings, 25111778 edges, 398577 markings/sec, 30 secs
lola: 16344866 markings, 28609916 edges, 397777 markings/sec, 35 secs
lola: 18310592 markings, 32077803 edges, 393145 markings/sec, 40 secs
lola: 20305107 markings, 35586264 edges, 398903 markings/sec, 45 secs
lola: 22281070 markings, 39046059 edges, 395193 markings/sec, 50 secs
lola: 24156706 markings, 42356053 edges, 375127 markings/sec, 55 secs
lola: 25970738 markings, 45560810 edges, 362806 markings/sec, 60 secs
lola: 27854192 markings, 48882959 edges, 376691 markings/sec, 65 secs
lola: 29714292 markings, 52165721 edges, 372020 markings/sec, 70 secs
lola: 31558068 markings, 55436250 edges, 368755 markings/sec, 75 secs
lola: 33376040 markings, 58644194 edges, 363594 markings/sec, 80 secs
lola: 35223940 markings, 61911899 edges, 369580 markings/sec, 85 secs
lola: 36967742 markings, 65000906 edges, 348760 markings/sec, 90 secs
lola: 38851623 markings, 68329433 edges, 376776 markings/sec, 95 secs
lola: 40651153 markings, 71517943 edges, 359906 markings/sec, 100 secs
lola: 42498989 markings, 74787740 edges, 369567 markings/sec, 105 secs
lola: 44373445 markings, 78108506 edges, 374891 markings/sec, 110 secs
lola: 46219141 markings, 81378169 edges, 369139 markings/sec, 115 secs
lola: 48069149 markings, 84655938 edges, 370002 markings/sec, 120 secs
lola: 49911361 markings, 87922280 edges, 368442 markings/sec, 125 secs
lola: 51806224 markings, 91265629 edges, 378973 markings/sec, 130 secs
lola: 53649850 markings, 94532219 edges, 368725 markings/sec, 135 secs
lola: 55483166 markings, 97784246 edges, 366663 markings/sec, 140 secs
lola: 57313059 markings, 101031081 edges, 365979 markings/sec, 145 secs
lola: 59196925 markings, 104361546 edges, 376773 markings/sec, 150 secs
lola: 61022670 markings, 107609982 edges, 365149 markings/sec, 155 secs
lola: 62869295 markings, 110885964 edges, 369325 markings/sec, 160 secs
lola: 64679104 markings, 114095690 edges, 361962 markings/sec, 165 secs
lola: 66389226 markings, 117118352 edges, 342024 markings/sec, 170 secs
lola: 68229217 markings, 120383446 edges, 367998 markings/sec, 175 secs
lola: 70060183 markings, 123631472 edges, 366193 markings/sec, 180 secs
lola: 71914722 markings, 126914364 edges, 370908 markings/sec, 185 secs
lola: 73774474 markings, 130201079 edges, 371950 markings/sec, 190 secs
lola: 75595772 markings, 133430934 edges, 364260 markings/sec, 195 secs
lola: 77411547 markings, 136658673 edges, 363155 markings/sec, 200 secs
lola: 79250771 markings, 139914002 edges, 367845 markings/sec, 205 secs
lola: 81098228 markings, 143189136 edges, 369491 markings/sec, 210 secs
lola: 82963728 markings, 146494321 edges, 373100 markings/sec, 215 secs
lola: 84821141 markings, 149775363 edges, 371483 markings/sec, 220 secs
lola: 86646131 markings, 153015621 edges, 364998 markings/sec, 225 secs
lola: 88467209 markings, 156248554 edges, 364216 markings/sec, 230 secs
lola: 90289997 markings, 159479023 edges, 364558 markings/sec, 235 secs
lola: 92061091 markings, 162638441 edges, 354219 markings/sec, 240 secs
lola: 93864094 markings, 165845647 edges, 360601 markings/sec, 245 secs
lola: 95647067 markings, 169014419 edges, 356595 markings/sec, 250 secs
lola: 97426341 markings, 172184744 edges, 355855 markings/sec, 255 secs
lola: 99221767 markings, 175369966 edges, 359085 markings/sec, 260 secs
lola: 100969402 markings, 178476469 edges, 349527 markings/sec, 265 secs
lola: 102698573 markings, 181551545 edges, 345834 markings/sec, 270 secs
lola: 104431853 markings, 184637585 edges, 346656 markings/sec, 275 secs
lola: 106178748 markings, 187739248 edges, 349379 markings/sec, 280 secs
lola: 107910464 markings, 190817296 edges, 346343 markings/sec, 285 secs
lola: 109665045 markings, 193934392 edges, 350916 markings/sec, 290 secs
lola: 111400155 markings, 197019478 edges, 347022 markings/sec, 295 secs
lola: 113107792 markings, 200064329 edges, 341527 markings/sec, 300 secs
lola: 114859674 markings, 203182146 edges, 350376 markings/sec, 305 secs
lola: 116570925 markings, 206233637 edges, 342250 markings/sec, 310 secs
lola: 118358423 markings, 209401468 edges, 357500 markings/sec, 315 secs
lola: 120137376 markings, 212561739 edges, 355791 markings/sec, 320 secs
lola: 121861623 markings, 215636082 edges, 344849 markings/sec, 325 secs
lola: time limit reached - aborting
lola:
preliminary result: 25 25 25 25 25 unknown 25 25 25 25 25 25 unknown unknown 25 25
lola:
preliminary result: 25 25 25 25 25 unknown 25 25 25 25 25 25 unknown unknown 25 25
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 25 25 25 25 25 unknown 25 25 25 25 25 25 unknown unknown 25 25
lola: memory consumption: 10475632 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: 25 25 25 25 25 unknown 25 25 25 25 25 25 unknown unknown 25 25
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="Angiogenesis-PT-25"
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 Angiogenesis-PT-25, 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 r166-smll-158987787600357"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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