Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r110-oct2-155272242400190.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is Peterson-PT-7, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r110-oct2-155272242400190
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.7M
-rw-r--r-- 1 mcc users 71K Feb 12 04:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 198K Feb 12 04:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 93K Feb 8 03:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 317K Feb 8 03:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 60K Feb 5 00:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 5 00:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 49K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 162K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 157K Feb 4 08:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 419K Feb 4 08:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 160K Feb 1 02:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 526K Feb 1 02:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 45K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 92K Feb 4 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 2 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 2.3M Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Peterson-PT-7-UpperBounds-00
FORMULA_NAME Peterson-PT-7-UpperBounds-01
FORMULA_NAME Peterson-PT-7-UpperBounds-02
FORMULA_NAME Peterson-PT-7-UpperBounds-03
FORMULA_NAME Peterson-PT-7-UpperBounds-04
FORMULA_NAME Peterson-PT-7-UpperBounds-05
FORMULA_NAME Peterson-PT-7-UpperBounds-06
FORMULA_NAME Peterson-PT-7-UpperBounds-07
FORMULA_NAME Peterson-PT-7-UpperBounds-08
FORMULA_NAME Peterson-PT-7-UpperBounds-09
FORMULA_NAME Peterson-PT-7-UpperBounds-10
FORMULA_NAME Peterson-PT-7-UpperBounds-11
FORMULA_NAME Peterson-PT-7-UpperBounds-12
FORMULA_NAME Peterson-PT-7-UpperBounds-13
FORMULA_NAME Peterson-PT-7-UpperBounds-14
FORMULA_NAME Peterson-PT-7-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1553042765339

info: Time: 3600 - MCC
===========================================================================================
prep: translating Peterson-PT-7 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Peterson-PT-7 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Peterson-PT-7 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5088/65536 symbol table entries, 17 collisions
lola: preprocessing...
lola: Size of bit vector: 63744
lola: finding significant places
lola: 1992 places, 3096 transitions, 1961 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4784 transition conflict sets
lola: TASK
lola: reading formula from Peterson-PT-7-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (WantSection_7_T + WantSection_7_F + WantSection_6_T + WantSection_6_F + WantSection_5_T + WantSection_5_F + WantSection_4_T + WantSection_4_F + WantSection_3_T + WantSection_3_F + WantSection_2_T + WantSection_2_F + WantSection_1_T + WantSection_1_F + WantSection_0_T + WantSection_0_F <= 0)
lola: after: (8 <= 0)
lola: always false
lola: MAX(BeginLoop_7_1_0 + BeginLoop_7_1_1 + BeginLoop_7_1_2 + BeginLoop_7_1_3 + BeginLoop_7_1_4 + BeginLoop_7_1_5 + BeginLoop_7_1_6 + BeginLoop_7_1_7 + BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_3_6 + BeginLoop_4_3_7 + BeginLoop_1_5_0 + BeginLoop_1_5_1 + BeginLoop_1_5_2 + BeginLoop_1_5_3 + BeginLoop_1_5_4 + BeginLoop_1_5_5 + BeginLoop_1_5_6 + BeginLoop_1_5_7 + BeginLoop_7_2_0 + BeginLoop_7_2_1 + BeginLoop_7_2_2 + BeginLoop_7_2_3 + BeginLoop_7_2_4 + BeginLoop_7_2_5 + BeginLoop_7_2_6 + BeginLoop_7_2_7 + BeginLoop_4_4_0 + BeginLoop_4_4_1 + BeginLoop_4_4_2 + BeginLoop_4_4_3 + BeginLoop_4_4_4 + BeginLoop_4_4_5 + BeginLoop_4_4_6 + BeginLoop_4_4_7 + BeginLoop_1_6_0 + BeginLoop_1_6_1 + BeginLoop_1_6_2 + BeginLoop_1_6_3 + BeginLoop_1_6_4 + BeginLoop_1_6_5 + BeginLoop_1_6_6 + BeginLoop_1_6_7 + BeginLoop_2_0_0 + BeginLoop_2_0_1 + BeginLoop_2_0_2 + BeginLoop_2_0_3 + BeginLoop_2_0_4 + BeginLoop_2_0_5 + BeginLoop_2_0_6 + BeginLoop_2_0_7 + BeginLoop_7_3_0 + BeginLoop_7_3_1 + BeginLoop_7_3_2 + BeginLoop_7_3_3 + BeginLoop_7_3_4 + BeginLoop_7_3_5 + BeginLoop_7_3_6 + BeginLoop_7_3_7 + BeginLoop_4_5_0 + BeginLoop_4_5_1 + BeginLoop_4_5_2 + BeginLoop_4_5_3 + BeginLoop_4_5_4 + BeginLoop_4_5_5 + BeginLoop_4_5_6 + BeginLoop_4_5_7 + BeginLoop_2_1_0 + BeginLoop_2_1_1 + BeginLoop_2_1_2 + BeginLoop_2_1_3 + BeginLoop_2_1_4 + BeginLoop_2_1_5 + BeginLoop_2_1_6 + BeginLoop_2_1_7 + BeginLoop_7_4_0 + BeginLoop_7_4_1 + BeginLoop_7_4_2 + BeginLoop_7_4_3 + BeginLoop_7_4_4 + BeginLoop_7_4_5 + BeginLoop_7_4_6 + BeginLoop_7_4_7 + BeginLoop_4_6_0 + BeginLoop_4_6_1 + BeginLoop_4_6_2 + BeginLoop_4_6_3 + BeginLoop_4_6_4 + BeginLoop_4_6_5 + BeginLoop_4_6_6 + BeginLoop_4_6_7 + BeginLoop_5_0_0 + BeginLoop_5_0_1 + BeginLoop_5_0_2 + BeginLoop_5_0_3 + BeginLoop_5_0_4 + BeginLoop_5_0_5 + BeginLoop_5_0_6 + BeginLoop_5_0_7 + BeginLoop_2_2_0 + BeginLoop_2_2_1 + BeginLoop_2_2_2 + BeginLoop_2_2_3 + BeginLoop_2_2_4 + BeginLoop_2_2_5 + BeginLoop_2_2_6 + BeginLoop_2_2_7 + BeginLoop_7_5_0 + BeginLoop_7_5_1 + BeginLoop_7_5_2 + BeginLoop_7_5_3 + BeginLoop_7_5_4 + BeginLoop_7_5_5 + BeginLoop_7_5_6 + BeginLoop_7_5_7 + BeginLoop_5_1_0 + BeginLoop_5_1_1 + BeginLoop_5_1_2 + BeginLoop_5_1_3 + BeginLoop_5_1_4 + BeginLoop_5_1_5 + BeginLoop_5_1_6 + BeginLoop_5_1_7 + BeginLoop_2_3_0 + BeginLoop_2_3_1 + BeginLoop_2_3_2 + BeginLoop_2_3_3 + BeginLoop_2_3_4 + BeginLoop_2_3_5 + BeginLoop_2_3_6 + BeginLoop_2_3_7 + BeginLoop_7_6_0 + BeginLoop_7_6_1 + BeginLoop_7_6_2 + BeginLoop_7_6_3 + BeginLoop_7_6_4 + BeginLoop_7_6_5 + BeginLoop_7_6_6 + BeginLoop_7_6_7 + BeginLoop_5_2_0 + BeginLoop_5_2_1 + BeginLoop_5_2_2 + BeginLoop_5_2_3 + BeginLoop_5_2_4 + BeginLoop_5_2_5 + BeginLoop_5_2_6 + BeginLoop_5_2_7 + BeginLoop_2_4_0 + BeginLoop_2_4_1 + BeginLoop_2_4_2 + BeginLoop_2_4_3 + BeginLoop_2_4_4 + BeginLoop_2_4_5 + BeginLoop_2_4_6 + BeginLoop_2_4_7 + BeginLoop_0_0_0 + BeginLoop_0_0_1 + BeginLoop_0_0_2 + BeginLoop_0_0_3 + BeginLoop_0_0_4 + BeginLoop_0_0_5 + BeginLoop_0_0_6 + BeginLoop_0_0_7 + BeginLoop_5_3_0 + BeginLoop_5_3_1 + BeginLoop_5_3_2 + BeginLoop_5_3_3 + BeginLoop_5_3_4 + BeginLoop_5_3_5 + BeginLoop_5_3_6 + BeginLoop_5_3_7 + BeginLoop_2_5_0 + BeginLoop_2_5_1 + BeginLoop_2_5_2 + BeginLoop_2_5_3 + BeginLoop_2_5_4 + BeginLoop_2_5_5 + BeginLoop_2_5_6 + BeginLoop_2_5_7 + BeginLoop_0_1_0 + BeginLoop_0_1_1 + BeginLoop_0_1_2 + BeginLoop_0_1_3 + BeginLoop_0_1_4 + BeginLoop_0_1_5 + BeginLoop_0_1_6 + BeginLoop_0_1_7 + BeginLoop_5_4_0 + BeginLoop_5_4_1 + BeginLoop_5_4_2 + BeginLoop_5_4_3 + BeginLoop_5_4_4 + BeginLoop_5_4_5 + BeginLoop_5_4_6 + BeginLoop_5_4_7 + BeginLoop_2_6_0 + BeginLoop_2_6_1 + BeginLoop_2_6_2 + BeginLoop_2_6_3 + BeginLoop_2_6_4 + BeginLoop_2_6_5 + BeginLoop_2_6_6 + BeginLoop_2_6_7 + BeginLoop_3_0_0 + BeginLoop_3_0_1 + BeginLoop_3_0_2 + BeginLoop_3_0_3 + BeginLoop_3_0_4 + BeginLoop_3_0_5 + BeginLoop_3_0_6 + BeginLoop_3_0_7 + BeginLoop_0_2_0 + BeginLoop_0_2_1 + BeginLoop_0_2_2 + BeginLoop_0_2_3 + BeginLoop_0_2_4 + BeginLoop_0_2_5 + BeginLoop_0_2_6 + BeginLoop_0_2_7 + BeginLoop_5_5_0 + BeginLoop_5_5_1 + BeginLoop_5_5_2 + BeginLoop_5_5_3 + BeginLoop_5_5_4 + BeginLoop_5_5_5 + BeginLoop_5_5_6 + BeginLoop_5_5_7 + BeginLoop_3_1_0 + BeginLoop_3_1_1 + BeginLoop_3_1_2 + BeginLoop_3_1_3 + BeginLoop_3_1_4 + BeginLoop_3_1_5 + BeginLoop_3_1_6 + BeginLoop_3_1_7 + BeginLoop_0_3_0 + BeginLoop_0_3_1 + BeginLoop_0_3_2 + BeginLoop_0_3_3 + BeginLoop_0_3_4 + BeginLoop_0_3_5 + BeginLoop_0_3_6 + BeginLoop_0_3_7 + BeginLoop_5_6_0 + BeginLoop_5_6_1 + BeginLoop_5_6_2 + BeginLoop_5_6_3 + BeginLoop_5_6_4 + BeginLoop_5_6_5 + BeginLoop_5_6_6 + BeginLoop_5_6_7 + BeginLoop_6_0_0 + BeginLoop_6_0_1 + BeginLoop_6_0_2 + BeginLoop_6_0_3 + BeginLoop_6_0_4 + BeginLoop_6_0_5 + BeginLoop_6_0_6 + BeginLoop_6_0_7 + BeginLoop_3_2_0 + BeginLoop_3_2_1 + BeginLoop_3_2_2 + BeginLoop_3_2_3 + BeginLoop_3_2_4 + BeginLoop_3_2_5 + BeginLoop_3_2_6 + BeginLoop_3_2_7 + BeginLoop_0_4_0 + BeginLoop_0_4_1 + BeginLoop_0_4_2 + BeginLoop_0_4_3 + BeginLoop_0_4_4 + BeginLoop_0_4_5 + BeginLoop_0_4_6 + BeginLoop_0_4_7 + BeginLoop_6_1_0 + BeginLoop_6_1_1 + BeginLoop_6_1_2 + BeginLoop_6_1_3 + BeginLoop_6_1_4 + BeginLoop_6_1_5 + BeginLoop_6_1_6 + BeginLoop_6_1_7 + BeginLoop_3_3_0 + BeginLoop_3_3_1 + BeginLoop_3_3_2 + BeginLoop_3_3_3 + BeginLoop_3_3_4 + BeginLoop_3_3_5 + BeginLoop_3_3_6 + BeginLoop_3_3_7 + BeginLoop_0_5_0 + BeginLoop_0_5_1 + BeginLoop_0_5_2 + BeginLoop_0_5_3 + BeginLoop_0_5_4 + BeginLoop_0_5_5 + BeginLoop_0_5_6 + BeginLoop_0_5_7 + BeginLoop_6_2_0 + BeginLoop_6_2_1 + BeginLoop_6_2_2 + BeginLoop_6_2_3 + BeginLoop_6_2_4 + BeginLoop_6_2_5 + BeginLoop_6_2_6 + BeginLoop_6_2_7 + BeginLoop_3_4_0 + BeginLoop_3_4_1 + BeginLoop_3_4_2 + BeginLoop_3_4_3 + BeginLoop_3_4_4 + BeginLoop_3_4_5 + BeginLoop_3_4_6 + BeginLoop_3_4_7 + BeginLoop_0_6_0 + BeginLoop_0_6_1 + BeginLoop_0_6_2 + BeginLoop_0_6_3 + BeginLoop_0_6_4 + BeginLoop_0_6_5 + BeginLoop_0_6_6 + BeginLoop_0_6_7 + BeginLoop_1_0_0 + BeginLoop_1_0_1 + BeginLoop_1_0_2 + BeginLoop_1_0_3 + BeginLoop_1_0_4 + BeginLoop_1_0_5 + BeginLoop_1_0_6 + BeginLoop_1_0_7 + BeginLoop_6_3_0 + BeginLoop_6_3_1 + BeginLoop_6_3_2 + BeginLoop_6_3_3 + BeginLoop_6_3_4 + BeginLoop_6_3_5 + BeginLoop_6_3_6 + BeginLoop_6_3_7 + BeginLoop_3_5_0 + BeginLoop_3_5_1 + BeginLoop_3_5_2 + BeginLoop_3_5_3 + BeginLoop_3_5_4 + BeginLoop_3_5_5 + BeginLoop_3_5_6 + BeginLoop_3_5_7 + BeginLoop_1_1_0 + BeginLoop_1_1_1 + BeginLoop_1_1_2 + BeginLoop_1_1_3 + BeginLoop_1_1_4 + BeginLoop_1_1_5 + BeginLoop_1_1_6 + BeginLoop_1_1_7 + BeginLoop_6_4_0 + BeginLoop_6_4_1 + BeginLoop_6_4_2 + BeginLoop_6_4_3 + BeginLoop_6_4_4 + BeginLoop_6_4_5 + BeginLoop_6_4_6 + BeginLoop_6_4_7 + BeginLoop_3_6_0 + BeginLoop_3_6_1 + BeginLoop_3_6_2 + BeginLoop_3_6_3 + BeginLoop_3_6_4 + BeginLoop_3_6_5 + BeginLoop_3_6_6 + BeginLoop_3_6_7 + BeginLoop_4_0_0 + BeginLoop_4_0_1 + BeginLoop_4_0_2 + BeginLoop_4_0_3 + BeginLoop_4_0_4 + BeginLoop_4_0_5 + BeginLoop_4_0_6 + BeginLoop_4_0_7 + BeginLoop_1_2_0 + BeginLoop_1_2_1 + BeginLoop_1_2_2 + BeginLoop_1_2_3 + BeginLoop_1_2_4 + BeginLoop_1_2_5 + BeginLoop_1_2_6 + BeginLoop_1_2_7 + BeginLoop_6_5_0 + BeginLoop_6_5_1 + BeginLoop_6_5_2 + BeginLoop_6_5_3 + BeginLoop_6_5_4 + BeginLoop_6_5_5 + BeginLoop_6_5_6 + BeginLoop_6_5_7 + BeginLoop_4_1_0 + BeginLoop_4_1_1 + BeginLoop_4_1_2 + BeginLoop_4_1_3 + BeginLoop_4_1_4 + BeginLoop_4_1_5 + BeginLoop_4_1_6 + BeginLoop_4_1_7 + BeginLoop_1_3_0 + BeginLoop_1_3_1 + BeginLoop_1_3_2 + BeginLoop_1_3_3 + BeginLoop_1_3_4 + BeginLoop_1_3_5 + BeginLoop_1_3_6 + BeginLoop_1_3_7 + BeginLoop_6_6_0 + BeginLoop_6_6_1 + BeginLoop_6_6_2 + BeginLoop_6_6_3 + BeginLoop_6_6_4 + BeginLoop_6_6_5 + BeginLoop_6_6_6 + BeginLoop_6_6_7 + BeginLoop_7_0_0 + BeginLoop_7_0_1 + BeginLoop_7_0_2 + BeginLoop_7_0_3 + BeginLoop_7_0_4 + BeginLoop_7_0_5 + BeginLoop_7_0_6 + BeginLoop_7_0_7 + BeginLoop_4_2_0 + BeginLoop_4_2_1 + BeginLoop_4_2_2 + BeginLoop_4_2_3 + BeginLoop_4_2_4 + BeginLoop_4_2_5 + BeginLoop_4_2_6 + BeginLoop_4_2_7 + BeginLoop_1_4_0 + BeginLoop_1_4_1 + BeginLoop_1_4_2 + BeginLoop_1_4_3 + BeginLoop_1_4_4 + BeginLoop_1_4_5 + BeginLoop_1_4_6 + BeginLoop_1_4_7) : MAX(EndTurn_1_0 + EndTurn_1_1 + EndTurn_1_2 + EndTurn_1_3 + EndTurn_1_4 + EndTurn_1_5 + EndTurn_1_6 + EndTurn_2_0 + EndTurn_2_1 + EndTurn_2_2 + EndTurn_2_3 + EndTurn_2_4 + EndTurn_2_5 + EndTurn_2_6 + EndTurn_3_0 + EndTurn_3_1 + EndTurn_3_2 + EndTurn_3_3 + EndTurn_3_4 + EndTurn_3_5 + EndTurn_3_6 + EndTurn_4_0 + EndTurn_4_1 + EndTurn_4_2 + EndTurn_4_3 + EndTurn_4_4 + EndTurn_4_5 + EndTurn_4_6 + EndTurn_5_0 + EndTurn_5_1 + EndTurn_5_2 + EndTurn_5_3 + EndTurn_5_4 + EndTurn_5_5 + EndTurn_5_6 + EndTurn_6_0 + EndTurn_6_1 + EndTurn_6_2 + EndTurn_6_3 + EndTurn_6_4 + EndTurn_6_5 + EndTurn_6_6 + EndTurn_7_0 + EndTurn_7_1 + EndTurn_7_2 + EndTurn_7_3 + EndTurn_7_4 + EndTurn_7_5 + EndTurn_7_6 + EndTurn_0_5 + EndTurn_0_4 + EndTurn_0_3 + EndTurn_0_2 + EndTurn_0_1 + EndTurn_0_0 + EndTurn_0_6) : MAX(BeginLoop_7_1_0 + BeginLoop_7_1_1 + BeginLoop_7_1_2 + BeginLoop_7_1_3 + BeginLoop_7_1_4 + BeginLoop_7_1_5 + BeginLoop_7_1_6 + BeginLoop_7_1_7 + BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_3_6 + BeginLoop_4_3_7 + BeginLoop_1_5_0 + BeginLoop_1_5_1 + BeginLoop_1_5_2 + BeginLoop_1_5_3 + BeginLoop_1_5_4 + BeginLoop_1_5_5 + BeginLoop_1_5_6 + BeginLoop_1_5_7 + BeginLoop_7_2_0 + BeginLoop_7_2_1 + BeginLoop_7_2_2 + BeginLoop_7_2_3 + BeginLoop_7_2_4 + BeginLoop_7_2_5 + BeginLoop_7_2_6 + BeginLoop_7_2_7 + BeginLoop_4_4_0 + BeginLoop_4_4_1 + BeginLoop_4_4_2 + BeginLoop_4_4_3 + BeginLoop_4_4_4 + BeginLoop_4_4_5 + BeginLoop_4_4_6 + BeginLoop_4_4_7 + BeginLoop_1_6_0 + BeginLoop_1_6_1 + BeginLoop_1_6_2 + BeginLoop_1_6_3 + BeginLoop_1_6_4 + BeginLoop_1_6_5 + BeginLoop_1_6_6 + BeginLoop_1_6_7 + BeginLoop_2_0_0 + BeginLoop_2_0_1 + BeginLoop_2_0_2 + BeginLoop_2_0_3 + BeginLoop_2_0_4 + BeginLoop_2_0_5 + BeginLoop_2_0_6 + BeginLoop_2_0_7 + BeginLoop_7_3_0 + BeginLoop_7_3_1 + BeginLoop_7_3_2 + BeginLoop_7_3_3 + BeginLoop_7_3_4 + BeginLoop_7_3_5 + BeginLoop_7_3_6 + BeginLoop_7_3_7 + BeginLoop_4_5_0 + BeginLoop_4_5_1 + BeginLoop_4_5_2 + BeginLoop_4_5_3 + BeginLoop_4_5_4 + BeginLoop_4_5_5 + BeginLoop_4_5_6 + BeginLoop_4_5_7 + BeginLoop_2_1_0 + BeginLoop_2_1_1 + BeginLoop_2_1_2 + BeginLoop_2_1_3 + BeginLoop_2_1_4 + BeginLoop_2_1_5 + BeginLoop_2_1_6 + BeginLoop_2_1_7 + BeginLoop_7_4_0 + BeginLoop_7_4_1 + BeginLoop_7_4_2 + BeginLoop_7_4_3 + BeginLoop_7_4_4 + BeginLoop_7_4_5 + BeginLoop_7_4_6 + BeginLoop_7_4_7 + BeginLoop_4_6_0 + BeginLoop_4_6_1 + BeginLoop_4_6_2 + BeginLoop_4_6_3 + BeginLoop_4_6_4 + BeginLoop_4_6_5 + BeginLoop_4_6_6 + BeginLoop_4_6_7 + BeginLoop_5_0_0 + BeginLoop_5_0_1 + BeginLoop_5_0_2 + BeginLoop_5_0_3 + BeginLoop_5_0_4 + BeginLoop_5_0_5 + BeginLoop_5_0_6 + BeginLoop_5_0_7 + BeginLoop_2_2_0 + BeginLoop_2_2_1 + BeginLoop_2_2_2 + BeginLoop_2_2_3 + BeginLoop_2_2_4 + BeginLoop_2_2_5 + BeginLoop_2_2_6 + BeginLoop_2_2_7 + BeginLoop_7_5_0 + BeginLoop_7_5_1 + BeginLoop_7_5_2 + BeginLoop_7_5_3 + BeginLoop_7_5_4 + BeginLoop_7_5_5 + BeginLoop_7_5_6 + BeginLoop_7_5_7 + BeginLoop_5_1_0 + BeginLoop_5_1_1 + BeginLoop_5_1_2 + BeginLoop_5_1_3 + BeginLoop_5_1_4 + BeginLoop_5_1_5 + BeginLoop_5_1_6 + BeginLoop_5_1_7 + BeginLoop_2_3_0 + BeginLoop_2_3_1 + BeginLoop_2_3_2 + BeginLoop_2_3_3 + BeginLoop_2_3_4 + BeginLoop_2_3_5 + BeginLoop_2_3_6 + BeginLoop_2_3_7 + BeginLoop_7_6_0 + BeginLoop_7_6_1 + BeginLoop_7_6_2 + BeginLoop_7_6_3 + BeginLoop_7_6_4 + BeginLoop_7_6_5 + BeginLoop_7_6_6 + BeginLoop_7_6_7 + BeginLoop_5_2_0 + BeginLoop_5_2_1 + BeginLoop_5_2_2 + BeginLoop_5_2_3 + BeginLoop_5_2_4 + BeginLoop_5_2_5 + BeginLoop_5_2_6 + BeginLoop_5_2_7 + BeginLoop_2_4_0 + BeginLoop_2_4_1 + BeginLoop_2_4_2 + BeginLoop_2_4_3 + BeginLoop_2_4_4 + BeginLoop_2_4_5 + BeginLoop_2_4_6 + BeginLoop_2_4_7 + BeginLoop_0_0_0 + BeginLoop_0_0_1 + BeginLoop_0_0_2 + BeginLoop_0_0_3 + BeginLoop_0_0_4 + BeginLoop_0_0_5 + BeginLoop_0_0_6 + BeginLoop_0_0_7 + BeginLoop_5_3_0 + BeginLoop_5_3_1 + BeginLoop_5_3_2 + BeginLoop_5_3_3 + BeginLoop_5_3_4 + BeginLoop_5_3_5 + BeginLoop_5_3_6 + BeginLoop_5_3_7 + BeginLoop_2_5_0 + BeginLoop_2_5_1 + BeginLoop_2_5_2 + BeginLoop_2_5_3 + BeginLoop_2_5_4 + BeginLoop_2_5_5 + BeginLoop_2_5_6 + BeginLoop_2_5_7 + BeginLoop_0_1_0 + BeginLoop_0_1_1 + BeginLoop_0_1_2 + BeginLoop_0_1_3 + BeginLoop_0_1_4 + BeginLoop_0_1_5 + BeginLoop_0_1_6 + BeginLoop_0_1_7 + BeginLoop_5_4_0 + BeginLoop_5_4_1 + BeginLoop_5_4_2 + BeginLoop_5_4_3 + BeginLoop_5_4_4 + BeginLoop_5_4_5 + BeginLoop_5_4_6 + BeginLoop_5_4_7 + BeginLoop_2_6_0 + BeginLoop_2_6_1 + BeginLoop_2_6_2 + BeginLoop_2_6_3 + BeginLoop_2_6_4 + BeginLoop_2_6_5 + BeginLoop_2_6_6 + BeginLoop_2_6_7 + BeginLoop_3_0_0 + BeginLoop_3_0_1 + BeginLoop_3_0_2 + BeginLoop_3_0_3 + BeginLoop_3_0_4 + BeginLoop_3_0_5 + BeginLoop_3_0_6 + BeginLoop_3_0_7 + BeginLoop_0_2_0 + BeginLoop_0_2_1 + BeginLoop_0_2_2 + BeginLoop_0_2_3 + BeginLoop_0_2_4 + BeginLoop_0_2_5 + BeginLoop_0_2_6 + BeginLoop_0_2_7 + BeginLoop_5_5_0 + BeginLoop_5_5_1 + BeginLoop_5_5_2 + BeginLoop_5_5_3 + BeginLoop_5_5_4 + BeginLoop_5_5_5 + BeginLoop_5_5_6 + BeginLoop_5_5_7 + BeginLoop_3_1_0 + BeginLoop_3_1_1 + BeginLoop_3_1_2 + BeginLoop_3_1_3 + BeginLoop_3_1_4 + BeginLoop_3_1_5 + BeginLoop_3_1_6 + BeginLoop_3_1_7 + BeginLoop_0_3_0 + BeginLoop_0_3_1 + BeginLoop_0_3_2 + BeginLoop_0_3_3 + BeginLoop_0_3_4 + BeginLoop_0_3_5 + BeginLoop_0_3_6 + BeginLoop_0_3_7 + BeginLoop_5_6_0 + BeginLoop_5_6_1 + BeginLoop_5_6_2 + BeginLoop_5_6_3 + BeginLoop_5_6_4 + BeginLoop_5_6_5 + BeginLoop_5_6_6 + BeginLoop_5_6_7 + BeginLoop_6_0_0 + BeginLoop_6_0_1 + BeginLoop_6_0_2 + BeginLoop_6_0_3 + BeginLoop_6_0_4 + BeginLoop_6_0_5 + BeginLoop_6_0_6 + BeginLoop_6_0_7 + BeginLoop_3_2_0 + BeginLoop_3_2_1 + BeginLoop_3_2_2 + BeginLoop_3_2_3 + BeginLoop_3_2_4 + BeginLoop_3_2_5 + BeginLoop_3_2_6 + BeginLoop_3_2_7 + BeginLoop_0_4_0 + BeginLoop_0_4_1 + BeginLoop_0_4_2 + BeginLoop_0_4_3 + BeginLoop_0_4_4 + BeginLoop_0_4_5 + BeginLoop_0_4_6 + BeginLoop_0_4_7 + BeginLoop_6_1_0 + BeginLoop_6_1_1 + BeginLoop_6_1_2 + BeginLoop_6_1_3 + BeginLoop_6_1_4 + BeginLoop_6_1_5 + BeginLoop_6_1_6 + BeginLoop_6_1_7 + BeginLoop_3_3_0 + BeginLoop_3_3_1 + BeginLoop_3_3_2 + BeginLoop_3_3_3 + BeginLoop_3_3_4 + BeginLoop_3_3_5 + BeginLoop_3_3_6 + BeginLoop_3_3_7 + BeginLoop_0_5_0 + BeginLoop_0_5_1 + BeginLoop_0_5_2 + BeginLoop_0_5_3 + BeginLoop_0_5_4 + BeginLoop_0_5_5 + BeginLoop_0_5_6 + BeginLoop_0_5_7 + BeginLoop_6_2_0 + BeginLoop_6_2_1 + BeginLoop_6_2_2 + BeginLoop_6_2_3 + BeginLoop_6_2_4 + BeginLoop_6_2_5 + BeginLoop_6_2_6 + BeginLoop_6_2_7 + BeginLoop_3_4_0 + BeginLoop_3_4_1 + BeginLoop_3_4_2 + BeginLoop_3_4_3 + BeginLoop_3_4_4 + BeginLoop_3_4_5 + BeginLoop_3_4_6 + BeginLoop_3_4_7 + BeginLoop_0_6_0 + BeginLoop_0_6_1 + BeginLoop_0_6_2 + BeginLoop_0_6_3 + BeginLoop_0_6_4 + BeginLoop_0_6_5 + BeginLoop_0_6_6 + BeginLoop_0_6_7 + BeginLoop_1_0_0 + BeginLoop_1_0_1 + BeginLoop_1_0_2 + BeginLoop_1_0_3 + BeginLoop_1_0_4 + BeginLoop_1_0_5 + BeginLoop_1_0_6 + BeginLoop_1_0_7 + BeginLoop_6_3_0 + BeginLoop_6_3_1 + BeginLoop_6_3_2 + BeginLoop_6_3_3 + BeginLoop_6_3_4 + BeginLoop_6_3_5 + BeginLoop_6_3_6 + BeginLoop_6_3_7 + BeginLoop_3_5_0 + BeginLoop_3_5_1 + BeginLoop_3_5_2 + BeginLoop_3_5_3 + BeginLoop_3_5_4 + BeginLoop_3_5_5 + BeginLoop_3_5_6 + BeginLoop_3_5_7 + BeginLoop_1_1_0 + BeginLoop_1_1_1 + BeginLoop_1_1_2 + BeginLoop_1_1_3 + BeginLoop_1_1_4 + BeginLoop_1_1_5 + BeginLoop_1_1_6 + BeginLoop_1_1_7 + BeginLoop_6_4_0 + BeginLoop_6_4_1 + BeginLoop_6_4_2 + BeginLoop_6_4_3 + BeginLoop_6_4_4 + BeginLoop_6_4_5 + BeginLoop_6_4_6 + BeginLoop_6_4_7 + BeginLoop_3_6_0 + BeginLoop_3_6_1 + BeginLoop_3_6_2 + BeginLoop_3_6_3 + BeginLoop_3_6_4 + BeginLoop_3_6_5 + BeginLoop_3_6_6 + BeginLoop_3_6_7 + BeginLoop_4_0_0 + BeginLoop_4_0_1 + BeginLoop_4_0_2 + BeginLoop_4_0_3 + BeginLoop_4_0_4 + BeginLoop_4_0_5 + BeginLoop_4_0_6 + BeginLoop_4_0_7 + BeginLoop_1_2_0 + BeginLoop_1_2_1 + BeginLoop_1_2_2 + BeginLoop_1_2_3 + BeginLoop_1_2_4 + BeginLoop_1_2_5 + BeginLoop_1_2_6 + BeginLoop_1_2_7 + BeginLoop_6_5_0 + BeginLoop_6_5_1 + BeginLoop_6_5_2 + BeginLoop_6_5_3 + BeginLoop_6_5_4 + BeginLoop_6_5_5 + BeginLoop_6_5_6 + BeginLoop_6_5_7 + BeginLoop_4_1_0 + BeginLoop_4_1_1 + BeginLoop_4_1_2 + BeginLoop_4_1_3 + BeginLoop_4_1_4 + BeginLoop_4_1_5 + BeginLoop_4_1_6 + BeginLoop_4_1_7 + BeginLoop_1_3_0 + BeginLoop_1_3_1 + BeginLoop_1_3_2 + BeginLoop_1_3_3 + BeginLoop_1_3_4 + BeginLoop_1_3_5 + BeginLoop_1_3_6 + BeginLoop_1_3_7 + BeginLoop_6_6_0 + BeginLoop_6_6_1 + BeginLoop_6_6_2 + BeginLoop_6_6_3 + BeginLoop_6_6_4 + BeginLoop_6_6_5 + BeginLoop_6_6_6 + BeginLoop_6_6_7 + BeginLoop_7_0_0 + BeginLoop_7_0_1 + BeginLoop_7_0_2 + BeginLoop_7_0_3 + BeginLoop_7_0_4 + BeginLoop_7_0_5 + BeginLoop_7_0_6 + BeginLoop_7_0_7 + BeginLoop_4_2_0 + BeginLoop_4_2_1 + BeginLoop_4_2_2 + BeginLoop_4_2_3 + BeginLoop_4_2_4 + BeginLoop_4_2_5 + BeginLoop_4_2_6 + BeginLoop_4_2_7 + BeginLoop_1_4_0 + BeginLoop_1_4_1 + BeginLoop_1_4_2 + BeginLoop_1_4_3 + BeginLoop_1_4_4 + BeginLoop_1_4_5 + BeginLoop_1_4_6 + BeginLoop_1_4_7) : MAX(TestAlone_7_1_0 + TestAlone_7_1_1 + TestAlone_7_1_2 + TestAlone_7_1_3 + TestAlone_7_1_4 + TestAlone_7_1_5 + TestAlone_7_1_6 + TestAlone_4_3_0 + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_4_3_5 + TestAlone_4_3_6 + TestAlone_4_3_7 + TestAlone_1_5_0 + TestAlone_1_5_2 + TestAlone_1_5_3 + TestAlone_1_5_4 + TestAlone_1_5_5 + TestAlone_1_5_6 + TestAlone_1_5_7 + TestAlone_7_2_0 + TestAlone_7_2_1 + TestAlone_7_2_2 + TestAlone_7_2_3 + TestAlone_7_2_4 + TestAlone_7_2_5 + TestAlone_7_2_6 + TestAlone_4_4_0 + TestAlone_4_4_1 + TestAlone_4_4_2 + TestAlone_4_4_3 + TestAlone_4_4_5 + TestAlone_4_4_6 + TestAlone_4_4_7 + TestAlone_1_6_0 + TestAlone_1_6_2 + TestAlone_1_6_3 + TestAlone_1_6_4 + TestAlone_1_6_5 + TestAlone_1_6_6 + TestAlone_1_6_7 + TestAlone_2_0_0 + TestAlone_2_0_1 + TestAlone_2_0_3 + TestAlone_2_0_4 + TestAlone_2_0_5 + TestAlone_2_0_6 + TestAlone_2_0_7 + TestAlone_7_3_0 + TestAlone_7_3_1 + TestAlone_7_3_2 + TestAlone_7_3_3 + TestAlone_7_3_4 + TestAlone_7_3_5 + TestAlone_7_3_6 + TestAlone_4_5_0 + TestAlone_4_5_1 + TestAlone_4_5_2 + TestAlone_4_5_3 + TestAlone_4_5_5 + TestAlone_4_5_6 + TestAlone_4_5_7 + TestAlone_2_1_0 + TestAlone_2_1_1 + TestAlone_2_1_3 + TestAlone_2_1_4 + TestAlone_2_1_5 + TestAlone_2_1_6 + TestAlone_2_1_7 + TestAlone_7_4_0 + TestAlone_7_4_1 + TestAlone_7_4_2 + TestAlone_7_4_3 + TestAlone_7_4_4 + TestAlone_7_4_5 + TestAlone_7_4_6 + TestAlone_4_6_0 + TestAlone_4_6_1 + TestAlone_4_6_2 + TestAlone_4_6_3 + TestAlone_4_6_5 + TestAlone_4_6_6 + TestAlone_4_6_7 + TestAlone_5_0_0 + TestAlone_5_0_1 + TestAlone_5_0_2 + TestAlone_5_0_3 + TestAlone_5_0_4 + TestAlone_5_0_6 + TestAlone_5_0_7 + TestAlone_2_2_0 + TestAlone_2_2_1 + TestAlone_2_2_3 + TestAlone_2_2_4 + TestAlone_2_2_5 + TestAlone_2_2_6 + TestAlone_2_2_7 + TestAlone_7_5_0 + TestAlone_7_5_1 + TestAlone_7_5_2 + TestAlone_7_5_3 + TestAlone_7_5_4 + TestAlone_7_5_5 + TestAlone_7_5_6 + TestAlone_5_1_0 + TestAlone_5_1_1 + TestAlone_5_1_2 + TestAlone_5_1_3 + TestAlone_5_1_4 + TestAlone_5_1_6 + TestAlone_5_1_7 + TestAlone_2_3_0 + TestAlone_2_3_1 + TestAlone_2_3_3 + TestAlone_2_3_4 + TestAlone_2_3_5 + TestAlone_2_3_6 + TestAlone_2_3_7 + TestAlone_7_6_0 + TestAlone_7_6_1 + TestAlone_7_6_2 + TestAlone_7_6_3 + TestAlone_7_6_4 + TestAlone_7_6_5 + TestAlone_7_6_6 + TestAlone_5_2_0 + TestAlone_5_2_1 + TestAlone_5_2_2 + TestAlone_5_2_3 + TestAlone_5_2_4 + TestAlone_5_2_6 + TestAlone_5_2_7 + TestAlone_2_4_0 + TestAlone_2_4_1 + TestAlone_2_4_3 + TestAlone_2_4_4 + TestAlone_2_4_5 + TestAlone_2_4_6 + TestAlone_2_4_7 + TestAlone_0_0_1 + TestAlone_0_0_2 + TestAlone_0_0_3 + TestAlone_0_0_4 + TestAlone_0_0_5 + TestAlone_0_0_6 + TestAlone_0_0_7 + TestAlone_5_3_0 + TestAlone_5_3_1 + TestAlone_5_3_2 + TestAlone_5_3_3 + TestAlone_5_3_4 + TestAlone_5_3_6 + TestAlone_5_3_7 + TestAlone_2_5_0 + TestAlone_2_5_1 + TestAlone_2_5_3 + TestAlone_2_5_4 + TestAlone_2_5_5 + TestAlone_2_5_6 + TestAlone_2_5_7 + TestAlone_0_1_1 + TestAlone_0_1_2 + TestAlone_0_1_3 + TestAlone_0_1_4 + TestAlone_0_1_5 + TestAlone_0_1_6 + TestAlone_0_1_7 + TestAlone_5_4_0 + TestAlone_5_4_1 + TestAlone_5_4_2 + TestAlone_5_4_3 + TestAlone_5_4_4 + TestAlone_5_4_6 + TestAlone_5_4_7 + TestAlone_2_6_0 + TestAlone_2_6_1 + TestAlone_2_6_3 + TestAlone_2_6_4 + TestAlone_2_6_5 + TestAlone_2_6_6 + TestAlone_2_6_7 + TestAlone_3_0_0 + TestAlone_3_0_1 + TestAlone_3_0_2 + TestAlone_3_0_4 + TestAlone_3_0_5 + TestAlone_3_0_6 + TestAlone_3_0_7 + TestAlone_0_2_1 + TestAlone_0_2_2 + TestAlone_0_2_3 + TestAlone_0_2_4 + TestAlone_0_2_5 + TestAlone_0_2_6 + TestAlone_0_2_7 + TestAlone_5_5_0 + TestAlone_5_5_1 + TestAlone_5_5_2 + TestAlone_5_5_3 + TestAlone_5_5_4 + TestAlone_5_5_6 + TestAlone_5_5_7 + TestAlone_3_1_0 + TestAlone_3_1_1 + TestAlone_3_1_2 + TestAlone_3_1_4 + TestAlone_3_1_5 + TestAlone_3_1_6 + TestAlone_3_1_7 + TestAlone_1_4_6 + TestAlone_1_4_5 + TestAlone_0_3_1 + TestAlone_0_3_2 + TestAlone_0_3_3 + TestAlone_0_3_4 + TestAlone_0_3_5 + TestAlone_0_3_6 + TestAlone_0_3_7 + TestAlone_5_6_0 + TestAlone_5_6_1 + TestAlone_5_6_2 + TestAlone_5_6_3 + TestAlone_5_6_4 + TestAlone_5_6_6 + TestAlone_5_6_7 + TestAlone_6_0_0 + TestAlone_6_0_1 + TestAlone_6_0_2 + TestAlone_6_0_3 + TestAlone_6_0_4 + TestAlone_6_0_5 + TestAlone_6_0_7 + TestAlone_3_2_0 + TestAlone_3_2_1 + TestAlone_3_2_2 + TestAlone_3_2_4 + TestAlone_3_2_5 + TestAlone_3_2_6 + TestAlone_3_2_7 + TestAlone_1_4_4 + TestAlone_1_4_3 + TestAlone_0_4_1 + TestAlone_0_4_2 + TestAlone_0_4_3 + TestAlone_0_4_4 + TestAlone_0_4_5 + TestAlone_0_4_6 + TestAlone_0_4_7 + TestAlone_6_1_0 + TestAlone_6_1_1 + TestAlone_6_1_2 + TestAlone_6_1_3 + TestAlone_6_1_4 + TestAlone_6_1_5 + TestAlone_6_1_7 + TestAlone_3_3_0 + TestAlone_3_3_1 + TestAlone_3_3_2 + TestAlone_3_3_4 + TestAlone_3_3_5 + TestAlone_3_3_6 + TestAlone_3_3_7 + TestAlone_1_4_2 + TestAlone_1_4_0 + TestAlone_0_5_1 + TestAlone_0_5_2 + TestAlone_0_5_3 + TestAlone_0_5_4 + TestAlone_0_5_5 + TestAlone_0_5_6 + TestAlone_0_5_7 + TestAlone_6_2_0 + TestAlone_6_2_1 + TestAlone_6_2_2 + TestAlone_6_2_3 + TestAlone_6_2_4 + TestAlone_6_2_5 + TestAlone_6_2_7 + TestAlone_3_4_0 + TestAlone_3_4_1 + TestAlone_3_4_2 + TestAlone_3_4_4 + TestAlone_3_4_5 + TestAlone_3_4_6 + TestAlone_3_4_7 + TestAlone_0_6_1 + TestAlone_0_6_2 + TestAlone_0_6_3 + TestAlone_0_6_4 + TestAlone_0_6_5 + TestAlone_0_6_6 + TestAlone_0_6_7 + TestAlone_1_0_0 + TestAlone_1_0_2 + TestAlone_1_0_3 + TestAlone_1_0_4 + TestAlone_1_0_5 + TestAlone_1_0_6 + TestAlone_1_0_7 + TestAlone_6_3_0 + TestAlone_6_3_1 + TestAlone_6_3_2 + TestAlone_6_3_3 + TestAlone_6_3_4 + TestAlone_6_3_5 + TestAlone_6_3_7 + TestAlone_3_5_0 + TestAlone_3_5_1 + TestAlone_3_5_2 + TestAlone_3_5_4 + TestAlone_3_5_5 + TestAlone_3_5_6 + TestAlone_3_5_7 + TestAlone_1_1_0 + TestAlone_1_1_2 + TestAlone_1_1_3 + TestAlone_1_1_4 + TestAlone_1_1_5 + TestAlone_1_1_6 + TestAlone_1_1_7 + TestAlone_6_4_0 + TestAlone_6_4_1 + TestAlone_6_4_2 + TestAlone_6_4_3 + TestAlone_6_4_4 + TestAlone_6_4_5 + TestAlone_6_4_7 + TestAlone_3_6_0 + TestAlone_3_6_1 + TestAlone_3_6_2 + TestAlone_3_6_4 + TestAlone_3_6_5 + TestAlone_3_6_6 + TestAlone_3_6_7 + TestAlone_4_0_0 + TestAlone_4_0_1 + TestAlone_4_0_2 + TestAlone_4_0_3 + TestAlone_4_0_5 + TestAlone_4_0_6 + TestAlone_4_0_7 + TestAlone_1_2_0 + TestAlone_1_2_2 + TestAlone_1_2_3 + TestAlone_1_2_4 + TestAlone_1_2_5 + TestAlone_1_2_6 + TestAlone_1_2_7 + TestAlone_6_5_0 + TestAlone_6_5_1 + TestAlone_6_5_2 + TestAlone_6_5_3 + TestAlone_6_5_4 + TestAlone_6_5_5 + TestAlone_6_5_7 + TestAlone_4_1_0 + TestAlone_4_1_1 + TestAlone_4_1_2 + TestAlone_4_1_3 + TestAlone_4_1_5 + TestAlone_4_1_6 + TestAlone_4_1_7 + TestAlone_1_3_0 + TestAlone_1_3_2 + TestAlone_1_3_3 + TestAlone_1_3_4 + TestAlone_1_3_5 + TestAlone_1_3_6 + TestAlone_1_3_7 + TestAlone_6_6_0 + TestAlone_6_6_1 + TestAlone_6_6_2 + TestAlone_6_6_3 + TestAlone_6_6_4 + TestAlone_6_6_5 + TestAlone_6_6_7 + TestAlone_7_0_0 + TestAlone_7_0_1 + TestAlone_7_0_2 + TestAlone_7_0_3 + TestAlone_7_0_4 + TestAlone_7_0_5 + TestAlone_4_2_0 + TestAlone_4_2_1 + TestAlone_4_2_2 + TestAlone_4_2_3 + TestAlone_4_2_5 + TestAlone_4_2_6 + TestAlone_4_2_7 + TestAlone_7_0_6 + TestAlone_1_4_7) : MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_0_0_6 + IsEndLoop_0_0_7 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_5_3_6 + IsEndLoop_5_3_7 + IsEndLoop_2_5_0 + IsEndLoop_2_5_1 + IsEndLoop_2_5_2 + IsEndLoop_2_5_3 + IsEndLoop_2_5_4 + IsEndLoop_2_5_5 + IsEndLoop_2_5_6 + IsEndLoop_2_5_7 + IsEndLoop_0_1_0 + IsEndLoop_0_1_1 + IsEndLoop_0_1_2 + IsEndLoop_0_1_3 + IsEndLoop_0_1_4 + IsEndLoop_0_1_5 + IsEndLoop_0_1_6 + IsEndLoop_0_1_7 + IsEndLoop_5_4_0 + IsEndLoop_5_4_1 + IsEndLoop_5_4_2 + IsEndLoop_5_4_3 + IsEndLoop_5_4_4 + IsEndLoop_5_4_5 + IsEndLoop_5_4_6 + IsEndLoop_5_4_7 + IsEndLoop_2_6_0 + IsEndLoop_2_6_1 + IsEndLoop_2_6_2 + IsEndLoop_2_6_3 + IsEndLoop_2_6_4 + IsEndLoop_2_6_5 + IsEndLoop_2_6_6 + IsEndLoop_2_6_7 + IsEndLoop_3_0_0 + IsEndLoop_3_0_1 + IsEndLoop_3_0_2 + IsEndLoop_3_0_3 + IsEndLoop_3_0_4 + IsEndLoop_3_0_5 + IsEndLoop_3_0_6 + IsEndLoop_3_0_7 + IsEndLoop_0_2_0 + IsEndLoop_0_2_1 + IsEndLoop_0_2_2 + IsEndLoop_0_2_3 + IsEndLoop_0_2_4 + IsEndLoop_0_2_5 + IsEndLoop_0_2_6 + IsEndLoop_0_2_7 + IsEndLoop_5_5_0 + IsEndLoop_5_5_1 + IsEndLoop_5_5_2 + IsEndLoop_5_5_3 + IsEndLoop_5_5_4 + IsEndLoop_5_5_5 + IsEndLoop_5_5_6 + IsEndLoop_5_5_7 + IsEndLoop_3_1_0 + IsEndLoop_3_1_1 + IsEndLoop_3_1_2 + IsEndLoop_3_1_3 + IsEndLoop_3_1_4 + IsEndLoop_3_1_5 + IsEndLoop_3_1_6 + IsEndLoop_3_1_7 + IsEndLoop_0_3_0 + IsEndLoop_0_3_1 + IsEndLoop_0_3_2 + IsEndLoop_0_3_3 + IsEndLoop_0_3_4 + IsEndLoop_0_3_5 + IsEndLoop_0_3_6 + IsEndLoop_0_3_7 + IsEndLoop_5_6_0 + IsEndLoop_5_6_1 + IsEndLoop_5_6_2 + IsEndLoop_5_6_3 + IsEndLoop_5_6_4 + IsEndLoop_5_6_5 + IsEndLoop_5_6_6 + IsEndLoop_5_6_7 + IsEndLoop_6_0_0 + IsEndLoop_6_0_1 + IsEndLoop_6_0_2 + IsEndLoop_6_0_3 + IsEndLoop_6_0_4 + IsEndLoop_6_0_5 + IsEndLoop_6_0_6 + IsEndLoop_6_0_7 + IsEndLoop_3_2_0 + IsEndLoop_3_2_1 + IsEndLoop_3_2_2 + IsEndLoop_3_2_3 + IsEndLoop_3_2_4 + IsEndLoop_3_2_5 + IsEndLoop_3_2_6 + IsEndLoop_3_2_7 + IsEndLoop_0_4_0 + IsEndLoop_0_4_1 + IsEndLoop_0_4_2 + IsEndLoop_0_4_3 + IsEndLoop_0_4_4 + IsEndLoop_0_4_5 + IsEndLoop_0_4_6 + IsEndLoop_0_4_7 + IsEndLoop_6_1_0 + IsEndLoop_6_1_1 + IsEndLoop_6_1_2 + IsEndLoop_6_1_3 + IsEndLoop_6_1_4 + IsEndLoop_6_1_5 + IsEndLoop_6_1_6 + IsEndLoop_6_1_7 + IsEndLoop_3_3_0 + IsEndLoop_3_3_1 + IsEndLoop_3_3_2 + IsEndLoop_3_3_3 + IsEndLoop_3_3_4 + IsEndLoop_3_3_5 + IsEndLoop_3_3_6 + IsEndLoop_3_3_7 + IsEndLoop_0_5_0 + IsEndLoop_0_5_1 + IsEndLoop_0_5_2 + IsEndLoop_0_5_3 + IsEndLoop_0_5_4 + IsEndLoop_0_5_5 + IsEndLoop_0_5_6 + IsEndLoop_0_5_7 + IsEndLoop_6_2_0 + IsEndLoop_6_2_1 + IsEndLoop_6_2_2 + IsEndLoop_6_2_3 + IsEndLoop_6_2_4 + IsEndLoop_6_2_5 + IsEndLoop_6_2_6 + IsEndLoop_6_2_7 + IsEndLoop_3_4_0 + IsEndLoop_3_4_1 + IsEndLoop_3_4_2 + IsEndLoop_3_4_3 + IsEndLoop_3_4_4 + IsEndLoop_3_4_5 + IsEndLoop_3_4_6 + IsEndLoop_3_4_7 + IsEndLoop_0_6_0 + IsEndLoop_0_6_1 + IsEndLoop_0_6_2 + IsEndLoop_0_6_3 + IsEndLoop_0_6_4 + IsEndLoop_0_6_5 + IsEndLoop_0_6_6 + IsEndLoop_0_6_7 + IsEndLoop_1_0_0 + IsEndLoop_1_0_1 + IsEndLoop_1_0_2 + IsEndLoop_1_0_3 + IsEndLoop_1_0_4 + IsEndLoop_1_0_5 + IsEndLoop_1_0_6 + IsEndLoop_1_0_7 + IsEndLoop_6_3_0 + IsEndLoop_6_3_1 + IsEndLoop_6_3_2 + IsEndLoop_6_3_3 + IsEndLoop_6_3_4 + IsEndLoop_6_3_5 + IsEndLoop_6_3_6 + IsEndLoop_6_3_7 + IsEndLoop_3_5_0 + IsEndLoop_3_5_1 + IsEndLoop_3_5_2 + IsEndLoop_3_5_3 + IsEndLoop_3_5_4 + IsEndLoop_3_5_5 + IsEndLoop_3_5_6 + IsEndLoop_3_5_7 + IsEndLoop_1_1_0 + IsEndLoop_1_1_1 + IsEndLoop_1_1_2 + IsEndLoop_1_1_3 + IsEndLoop_1_1_4 + IsEndLoop_1_1_5 + IsEndLoop_1_1_6 + IsEndLoop_1_1_7 + IsEndLoop_6_4_0 + IsEndLoop_6_4_1 + IsEndLoop_6_4_2 + IsEndLoop_6_4_3 + IsEndLoop_6_4_4 + IsEndLoop_6_4_5 + IsEndLoop_6_4_6 + IsEndLoop_6_4_7 + IsEndLoop_3_6_0 + IsEndLoop_3_6_1 + IsEndLoop_3_6_2 + IsEndLoop_3_6_3 + IsEndLoop_3_6_4 + IsEndLoop_3_6_5 + IsEndLoop_3_6_6 + IsEndLoop_3_6_7 + IsEndLoop_4_0_0 + IsEndLoop_4_0_1 + IsEndLoop_4_0_2 + IsEndLoop_4_0_3 + IsEndLoop_4_0_4 + IsEndLoop_4_0_5 + IsEndLoop_4_0_6 + IsEndLoop_4_0_7 + IsEndLoop_1_2_0 + IsEndLoop_1_2_1 + IsEndLoop_1_2_2 + IsEndLoop_1_2_3 + IsEndLoop_1_2_4 + IsEndLoop_1_2_5 + IsEndLoop_1_2_6 + IsEndLoop_1_2_7 + IsEndLoop_6_5_0 + IsEndLoop_6_5_1 + IsEndLoop_6_5_2 + IsEndLoop_6_5_3 + IsEndLoop_6_5_4 + IsEndLoop_6_5_5 + IsEndLoop_6_5_6 + IsEndLoop_6_5_7 + IsEndLoop_4_1_0 + IsEndLoop_4_1_1 + IsEndLoop_4_1_2 + IsEndLoop_4_1_3 + IsEndLoop_4_1_4 + IsEndLoop_4_1_5 + IsEndLoop_4_1_6 + IsEndLoop_4_1_7 + IsEndLoop_1_3_0 + IsEndLoop_1_3_1 + IsEndLoop_1_3_2 + IsEndLoop_1_3_3 + IsEndLoop_1_3_4 + IsEndLoop_1_3_5 + IsEndLoop_1_3_6 + IsEndLoop_1_3_7 + IsEndLoop_6_6_0 + IsEndLoop_6_6_1 + IsEndLoop_6_6_2 + IsEndLoop_6_6_3 + IsEndLoop_6_6_4 + IsEndLoop_6_6_5 + IsEndLoop_6_6_6 + IsEndLoop_6_6_7 + IsEndLoop_7_0_0 + IsEndLoop_7_0_1 + IsEndLoop_7_0_2 + IsEndLoop_7_0_3 + IsEndLoop_7_0_4 + IsEndLoop_7_0_5 + IsEndLoop_7_0_6 + IsEndLoop_7_0_7 + IsEndLoop_4_2_0 + IsEndLoop_4_2_1 + IsEndLoop_4_2_2 + IsEndLoop_4_2_3 + IsEndLoop_4_2_4 + IsEndLoop_4_2_5 + IsEndLoop_4_2_6 + IsEndLoop_4_2_7 + IsEndLoop_1_4_0 + IsEndLoop_1_4_1 + IsEndLoop_1_4_2 + IsEndLoop_1_4_3 + IsEndLoop_1_4_4 + IsEndLoop_1_4_5 + IsEndLoop_1_4_6 + IsEndLoop_1_4_7 + IsEndLoop_7_1_0 + IsEndLoop_7_1_1 + IsEndLoop_7_1_2 + IsEndLoop_7_1_3 + IsEndLoop_7_1_4 + IsEndLoop_7_1_5 + IsEndLoop_7_1_6 + IsEndLoop_7_1_7 + IsEndLoop_4_3_0 + IsEndLoop_4_3_1 + IsEndLoop_4_3_2 + IsEndLoop_4_3_3 + IsEndLoop_4_3_4 + IsEndLoop_4_3_5 + IsEndLoop_4_3_6 + IsEndLoop_4_3_7 + IsEndLoop_1_5_0 + IsEndLoop_1_5_1 + IsEndLoop_1_5_2 + IsEndLoop_1_5_3 + IsEndLoop_1_5_4 + IsEndLoop_1_5_5 + IsEndLoop_1_5_6 + IsEndLoop_1_5_7 + IsEndLoop_7_2_0 + IsEndLoop_7_2_1 + IsEndLoop_7_2_2 + IsEndLoop_7_2_3 + IsEndLoop_7_2_4 + IsEndLoop_7_2_5 + IsEndLoop_7_2_6 + IsEndLoop_7_2_7 + IsEndLoop_4_4_0 + IsEndLoop_4_4_1 + IsEndLoop_4_4_2 + IsEndLoop_4_4_3 + IsEndLoop_4_4_4 + IsEndLoop_4_4_5 + IsEndLoop_4_4_6 + IsEndLoop_4_4_7 + IsEndLoop_1_6_0 + IsEndLoop_1_6_1 + IsEndLoop_1_6_2 + IsEndLoop_1_6_3 + IsEndLoop_1_6_4 + IsEndLoop_1_6_5 + IsEndLoop_1_6_6 + IsEndLoop_1_6_7 + IsEndLoop_2_0_0 + IsEndLoop_2_0_1 + IsEndLoop_2_0_2 + IsEndLoop_2_0_3 + IsEndLoop_2_0_4 + IsEndLoop_2_0_5 + IsEndLoop_2_0_6 + IsEndLoop_2_0_7 + IsEndLoop_7_3_0 + IsEndLoop_7_3_1 + IsEndLoop_7_3_2 + IsEndLoop_7_3_3 + IsEndLoop_7_3_4 + IsEndLoop_7_3_5 + IsEndLoop_7_3_6 + IsEndLoop_7_3_7 + IsEndLoop_4_5_0 + IsEndLoop_4_5_1 + IsEndLoop_4_5_2 + IsEndLoop_4_5_3 + IsEndLoop_4_5_4 + IsEndLoop_4_5_5 + IsEndLoop_4_5_6 + IsEndLoop_4_5_7 + IsEndLoop_2_1_0 + IsEndLoop_2_1_1 + IsEndLoop_2_1_2 + IsEndLoop_2_1_3 + IsEndLoop_2_1_4 + IsEndLoop_2_1_5 + IsEndLoop_2_1_6 + IsEndLoop_2_1_7 + IsEndLoop_7_4_0 + IsEndLoop_7_4_1 + IsEndLoop_7_4_2 + IsEndLoop_7_4_3 + IsEndLoop_7_4_4 + IsEndLoop_7_4_5 + IsEndLoop_7_4_6 + IsEndLoop_7_4_7 + IsEndLoop_4_6_0 + IsEndLoop_4_6_1 + IsEndLoop_4_6_2 + IsEndLoop_4_6_3 + IsEndLoop_4_6_4 + IsEndLoop_4_6_5 + IsEndLoop_4_6_6 + IsEndLoop_4_6_7 + IsEndLoop_5_0_0 + IsEndLoop_5_0_1 + IsEndLoop_5_0_2 + IsEndLoop_5_0_3 + IsEndLoop_5_0_4 + IsEndLoop_5_0_5 + IsEndLoop_5_0_6 + IsEndLoop_5_0_7 + IsEndLoop_2_2_0 + IsEndLoop_2_2_1 + IsEndLoop_2_2_2 + IsEndLoop_2_2_3 + IsEndLoop_2_2_4 + IsEndLoop_2_2_5 + IsEndLoop_2_2_6 + IsEndLoop_2_2_7 + IsEndLoop_7_5_0 + IsEndLoop_7_5_1 + IsEndLoop_7_5_2 + IsEndLoop_7_5_3 + IsEndLoop_7_5_4 + IsEndLoop_7_5_5 + IsEndLoop_7_5_6 + IsEndLoop_7_5_7 + IsEndLoop_5_1_0 + IsEndLoop_5_1_1 + IsEndLoop_5_1_2 + IsEndLoop_5_1_3 + IsEndLoop_5_1_4 + IsEndLoop_5_1_5 + IsEndLoop_5_1_6 + IsEndLoop_5_1_7 + IsEndLoop_2_3_0 + IsEndLoop_2_3_1 + IsEndLoop_2_3_2 + IsEndLoop_2_3_3 + IsEndLoop_2_3_4 + IsEndLoop_2_3_5 + IsEndLoop_2_3_6 + IsEndLoop_2_3_7 + IsEndLoop_7_6_0 + IsEndLoop_7_6_1 + IsEndLoop_7_6_2 + IsEndLoop_7_6_3 + IsEndLoop_7_6_4 + IsEndLoop_7_6_5 + IsEndLoop_7_6_6 + IsEndLoop_7_6_7 + IsEndLoop_5_2_0 + IsEndLoop_5_2_1 + IsEndLoop_5_2_2 + IsEndLoop_5_2_3 + IsEndLoop_5_2_4 + IsEndLoop_5_2_5 + IsEndLoop_5_2_6 + IsEndLoop_2_4_0 + IsEndLoop_2_4_1 + IsEndLoop_2_4_2 + IsEndLoop_2_4_3 + IsEndLoop_2_4_4 + IsEndLoop_2_4_5 + IsEndLoop_2_4_6 + IsEndLoop_2_4_7 + IsEndLoop_5_2_7) : MAX(0) : MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_0_0_6 + IsEndLoop_0_0_7 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_5_3_6 + IsEndLoop_5_3_7 + IsEndLoop_2_5_0 + IsEndLoop_2_5_1 + IsEndLoop_2_5_2 + IsEndLoop_2_5_3 + IsEndLoop_2_5_4 + IsEndLoop_2_5_5 + IsEndLoop_2_5_6 + IsEndLoop_2_5_7 + IsEndLoop_0_1_0 + IsEndLoop_0_1_1 + IsEndLoop_0_1_2 + IsEndLoop_0_1_3 + IsEndLoop_0_1_4 + IsEndLoop_0_1_5 + IsEndLoop_0_1_6 + IsEndLoop_0_1_7 + IsEndLoop_5_4_0 + IsEndLoop_5_4_1 + IsEndLoop_5_4_2 + IsEndLoop_5_4_3 + IsEndLoop_5_4_4 + IsEndLoop_5_4_5 + IsEndLoop_5_4_6 + IsEndLoop_5_4_7 + IsEndLoop_2_6_0 + IsEndLoop_2_6_1 + IsEndLoop_2_6_2 + IsEndLoop_2_6_3 + IsEndLoop_2_6_4 + IsEndLoop_2_6_5 + IsEndLoop_2_6_6 + IsEndLoop_2_6_7 + IsEndLoop_3_0_0 + IsEndLoop_3_0_1 + IsEndLoop_3_0_2 + IsEndLoop_3_0_3 + IsEndLoop_3_0_4 + IsEndLoop_3_0_5 + IsEndLoop_3_0_6 + IsEndLoop_3_0_7 + IsEndLoop_0_2_0 + IsEndLoop_0_2_1 + IsEndLoop_0_2_2 + IsEndLoop_0_2_3 + IsEndLoop_0_2_4 + IsEndLoop_0_2_5 + IsEndLoop_0_2_6 + IsEndLoop_0_2_7 + IsEndLoop_5_5_0 + IsEndLoop_5_5_1 + IsEndLoop_5_5_2 + IsEndLoop_5_5_3 + IsEndLoop_5_5_4 + IsEndLoop_5_5_5 + IsEndLoop_5_5_6 + IsEndLoop_5_5_7 + IsEndLoop_3_1_0 + IsEndLoop_3_1_1 + IsEndLoop_3_1_2 + IsEndLoop_3_1_3 + IsEndLoop_3_1_4 + IsEndLoop_3_1_5 + IsEndLoop_3_1_6 + IsEndLoop_3_1_7 + IsEndLoop_0_3_0 + IsEndLoop_0_3_1 + IsEndLoop_0_3_2 + IsEndLoop_0_3_3 + IsEndLoop_0_3_4 + IsEndLoop_0_3_5 + IsEndLoop_0_3_6 + IsEndLoop_0_3_7 + IsEndLoop_5_6_0 + IsEndLoop_5_6_1 + IsEndLoop_5_6_2 + IsEndLoop_5_6_3 + IsEndLoop_5_6_4 + IsEndLoop_5_6_5 + IsEndLoop_5_6_6 + IsEndLoop_5_6_7 + IsEndLoop_6_0_0 + IsEndLoop_6_0_1 + IsEndLoop_6_0_2 + IsEndLoop_6_0_3 + IsEndLoop_6_0_4 + IsEndLoop_6_0_5 + IsEndLoop_6_0_6 + IsEndLoop_6_0_7 + IsEndLoop_3_2_0 + IsEndLoop_3_2_1 + IsEndLoop_3_2_2 + IsEndLoop_3_2_3 + IsEndLoop_3_2_4 + IsEndLoop_3_2_5 + IsEndLoop_3_2_6 + IsEndLoop_3_2_7 + IsEndLoop_0_4_0 + IsEndLoop_0_4_1 + IsEndLoop_0_4_2 + IsEndLoop_0_4_3 + IsEndLoop_0_4_4 + IsEndLoop_0_4_5 + IsEndLoop_0_4_6 + IsEndLoop_0_4_7 + IsEndLoop_6_1_0 + IsEndLoop_6_1_1 + IsEndLoop_6_1_2 + IsEndLoop_6_1_3 + IsEndLoop_6_1_4 + IsEndLoop_6_1_5 + IsEndLoop_6_1_6 + IsEndLoop_6_1_7 + IsEndLoop_3_3_0 + IsEndLoop_3_3_1 + IsEndLoop_3_3_2 + IsEndLoop_3_3_3 + IsEndLoop_3_3_4 + IsEndLoop_3_3_5 + IsEndLoop_3_3_6 + IsEndLoop_3_3_7 + IsEndLoop_0_5_0 + IsEndLoop_0_5_1 + IsEndLoop_0_5_2 + IsEndLoop_0_5_3 + IsEndLoop_0_5_4 + IsEndLoop_0_5_5 + IsEndLoop_0_5_6 + IsEndLoop_0_5_7 + IsEndLoop_6_2_0 + IsEndLoop_6_2_1 + IsEndLoop_6_2_2 + IsEndLoop_6_2_3 + IsEndLoop_6_2_4 + IsEndLoop_6_2_5 + IsEndLoop_6_2_6 + IsEndLoop_6_2_7 + IsEndLoop_3_4_0 + IsEndLoop_3_4_1 + IsEndLoop_3_4_2 + IsEndLoop_3_4_3 + IsEndLoop_3_4_4 + IsEndLoop_3_4_5 + IsEndLoop_3_4_6 + IsEndLoop_3_4_7 + IsEndLoop_0_6_0 + IsEndLoop_0_6_1 + IsEndLoop_0_6_2 + IsEndLoop_0_6_3 + IsEndLoop_0_6_4 + IsEndLoop_0_6_5 + IsEndLoop_0_6_6 + IsEndLoop_0_6_7 + IsEndLoop_1_0_0 + IsEndLoop_1_0_1 + IsEndLoop_1_0_2 + IsEndLoop_1_0_3 + IsEndLoop_1_0_4 + IsEndLoop_1_0_5 + IsEndLoop_1_0_6 + IsEndLoop_1_0_7 + IsEndLoop_6_3_0 + IsEndLoop_6_3_1 + IsEndLoop_6_3_2 + IsEndLoop_6_3_3 + IsEndLoop_6_3_4 + IsEndLoop_6_3_5 + IsEndLoop_6_3_6 + IsEndLoop_6_3_7 + IsEndLoop_3_5_0 + IsEndLoop_3_5_1 + IsEndLoop_3_5_2 + IsEndLoop_3_5_3 + IsEndLoop_3_5_4 + IsEndLoop_3_5_5 + IsEndLoop_3_5_6 + IsEndLoop_3_5_7 + IsEndLoop_1_1_0 + IsEndLoop_1_1_1 + IsEndLoop_1_1_2 + IsEndLoop_1_1_3 + IsEndLoop_1_1_4 + IsEndLoop_1_1_5 + IsEndLoop_1_1_6 + IsEndLoop_1_1_7 + IsEndLoop_6_4_0 + IsEndLoop_6_4_1 + IsEndLoop_6_4_2 + IsEndLoop_6_4_3 + IsEndLoop_6_4_4 + IsEndLoop_6_4_5 + IsEndLoop_6_4_6 + IsEndLoop_6_4_7 + IsEndLoop_3_6_0 + IsEndLoop_3_6_1 + IsEndLoop_3_6_2 + IsEndLoop_3_6_3 + IsEndLoop_3_6_4 + IsEndLoop_3_6_5 + IsEndLoop_3_6_6 + IsEndLoop_3_6_7 + IsEndLoop_4_0_0 + IsEndLoop_4_0_1 + IsEndLoop_4_0_2 + IsEndLoop_4_0_3 + IsEndLoop_4_0_4 + IsEndLoop_4_0_5 + IsEndLoop_4_0_6 + IsEndLoop_4_0_7 + IsEndLoop_1_2_0 + IsEndLoop_1_2_1 + IsEndLoop_1_2_2 + IsEndLoop_1_2_3 + IsEndLoop_1_2_4 + IsEndLoop_1_2_5 + IsEndLoop_1_2_6 + IsEndLoop_1_2_7 + IsEndLoop_6_5_0 + IsEndLoop_6_5_1 + IsEndLoop_6_5_2 + IsEndLoop_6_5_3 + IsEndLoop_6_5_4 + IsEndLoop_6_5_5 + IsEndLoop_6_5_6 + IsEndLoop_6_5_7 + IsEndLoop_4_1_0 + IsEndLoop_4_1_1 + IsEndLoop_4_1_2 + IsEndLoop_4_1_3 + IsEndLoop_4_1_4 + IsEndLoop_4_1_5 + IsEndLoop_4_1_6 + IsEndLoop_4_1_7 + IsEndLoop_1_3_0 + IsEndLoop_1_3_1 + IsEndLoop_1_3_2 + IsEndLoop_1_3_3 + IsEndLoop_1_3_4 + IsEndLoop_1_3_5 + IsEndLoop_1_3_6 + IsEndLoop_1_3_7 + IsEndLoop_6_6_0 + IsEndLoop_6_6_1 + IsEndLoop_6_6_2 + IsEndLoop_6_6_3 + IsEndLoop_6_6_4 + IsEndLoop_6_6_5 + IsEndLoop_6_6_6 + IsEndLoop_6_6_7 + IsEndLoop_7_0_0 + IsEndLoop_7_0_1 + IsEndLoop_7_0_2 + IsEndLoop_7_0_3 + IsEndLoop_7_0_4 + IsEndLoop_7_0_5 + IsEndLoop_7_0_6 + IsEndLoop_7_0_7 + IsEndLoop_4_2_0 + IsEndLoop_4_2_1 + IsEndLoop_4_2_2 + IsEndLoop_4_2_3 + IsEndLoop_4_2_4 + IsEndLoop_4_2_5 + IsEndLoop_4_2_6 + IsEndLoop_4_2_7 + IsEndLoop_1_4_0 + IsEndLoop_1_4_1 + IsEndLoop_1_4_2 + IsEndLoop_1_4_3 + IsEndLoop_1_4_4 + IsEndLoop_1_4_5 + IsEndLoop_1_4_6 + IsEndLoop_1_4_7 + IsEndLoop_7_1_0 + IsEndLoop_7_1_1 + IsEndLoop_7_1_2 + IsEndLoop_7_1_3 + IsEndLoop_7_1_4 + IsEndLoop_7_1_5 + IsEndLoop_7_1_6 + IsEndLoop_7_1_7 + IsEndLoop_4_3_0 + IsEndLoop_4_3_1 + IsEndLoop_4_3_2 + IsEndLoop_4_3_3 + IsEndLoop_4_3_4 + IsEndLoop_4_3_5 + IsEndLoop_4_3_6 + IsEndLoop_4_3_7 + IsEndLoop_1_5_0 + IsEndLoop_1_5_1 + IsEndLoop_1_5_2 + IsEndLoop_1_5_3 + IsEndLoop_1_5_4 + IsEndLoop_1_5_5 + IsEndLoop_1_5_6 + IsEndLoop_1_5_7 + IsEndLoop_7_2_0 + IsEndLoop_7_2_1 + IsEndLoop_7_2_2 + IsEndLoop_7_2_3 + IsEndLoop_7_2_4 + IsEndLoop_7_2_5 + IsEndLoop_7_2_6 + IsEndLoop_7_2_7 + IsEndLoop_4_4_0 + IsEndLoop_4_4_1 + IsEndLoop_4_4_2 + IsEndLoop_4_4_3 + IsEndLoop_4_4_4 + IsEndLoop_4_4_5 + IsEndLoop_4_4_6 + IsEndLoop_4_4_7 + IsEndLoop_1_6_0 + IsEndLoop_1_6_1 + IsEndLoop_1_6_2 + IsEndLoop_1_6_3 + IsEndLoop_1_6_4 + IsEndLoop_1_6_5 + IsEndLoop_1_6_6 + IsEndLoop_1_6_7 + IsEndLoop_2_0_0 + IsEndLoop_2_0_1 + IsEndLoop_2_0_2 + IsEndLoop_2_0_3 + IsEndLoop_2_0_4 + IsEndLoop_2_0_5 + IsEndLoop_2_0_6 + IsEndLoop_2_0_7 + IsEndLoop_7_3_0 + IsEndLoop_7_3_1 + IsEndLoop_7_3_2 + IsEndLoop_7_3_3 + IsEndLoop_7_3_4 + IsEndLoop_7_3_5 + IsEndLoop_7_3_6 + IsEndLoop_7_3_7 + IsEndLoop_4_5_0 + IsEndLoop_4_5_1 + IsEndLoop_4_5_2 + IsEndLoop_4_5_3 + IsEndLoop_4_5_4 + IsEndLoop_4_5_5 + IsEndLoop_4_5_6 + IsEndLoop_4_5_7 + IsEndLoop_2_1_0 + IsEndLoop_2_1_1 + IsEndLoop_2_1_2 + IsEndLoop_2_1_3 + IsEndLoop_2_1_4 + IsEndLoop_2_1_5 + IsEndLoop_2_1_6 + IsEndLoop_2_1_7 + IsEndLoop_7_4_0 + IsEndLoop_7_4_1 + IsEndLoop_7_4_2 + IsEndLoop_7_4_3 + IsEndLoop_7_4_4 + IsEndLoop_7_4_5 + IsEndLoop_7_4_6 + IsEndLoop_7_4_7 + IsEndLoop_4_6_0 + IsEndLoop_4_6_1 + IsEndLoop_4_6_2 + IsEndLoop_4_6_3 + IsEndLoop_4_6_4 + IsEndLoop_4_6_5 + IsEndLoop_4_6_6 + IsEndLoop_4_6_7 + IsEndLoop_5_0_0 + IsEndLoop_5_0_1 + IsEndLoop_5_0_2 + IsEndLoop_5_0_3 + IsEndLoop_5_0_4 + IsEndLoop_5_0_5 + IsEndLoop_5_0_6 + IsEndLoop_5_0_7 + IsEndLoop_2_2_0 + IsEndLoop_2_2_1 + IsEndLoop_2_2_2 + IsEndLoop_2_2_3 + IsEndLoop_2_2_4 + IsEndLoop_2_2_5 + IsEndLoop_2_2_6 + IsEndLoop_2_2_7 + IsEndLoop_7_5_0 + IsEndLoop_7_5_1 + IsEndLoop_7_5_2 + IsEndLoop_7_5_3 + IsEndLoop_7_5_4 + IsEndLoop_7_5_5 + IsEndLoop_7_5_6 + IsEndLoop_7_5_7 + IsEndLoop_5_1_0 + IsEndLoop_5_1_1 + IsEndLoop_5_1_2 + IsEndLoop_5_1_3 + IsEndLoop_5_1_4 + IsEndLoop_5_1_5 + IsEndLoop_5_1_6 + IsEndLoop_5_1_7 + IsEndLoop_2_3_0 + IsEndLoop_2_3_1 + IsEndLoop_2_3_2 + IsEndLoop_2_3_3 + IsEndLoop_2_3_4 + IsEndLoop_2_3_5 + IsEndLoop_2_3_6 + IsEndLoop_2_3_7 + IsEndLoop_7_6_0 + IsEndLoop_7_6_1 + IsEndLoop_7_6_2 + IsEndLoop_7_6_3 + IsEndLoop_7_6_4 + IsEndLoop_7_6_5 + IsEndLoop_7_6_6 + IsEndLoop_7_6_7 + IsEndLoop_5_2_0 + IsEndLoop_5_2_1 + IsEndLoop_5_2_2 + IsEndLoop_5_2_3 + IsEndLoop_5_2_4 + IsEndLoop_5_2_5 + IsEndLoop_5_2_6 + IsEndLoop_2_4_0 + IsEndLoop_2_4_1 + IsEndLoop_2_4_2 + IsEndLoop_2_4_3 + IsEndLoop_2_4_4 + IsEndLoop_2_4_5 + IsEndLoop_2_4_6 + IsEndLoop_2_4_7 + IsEndLoop_5_2_7) : MAX(AskForSection_5_0 + AskForSection_5_1 + AskForSection_5_2 + AskForSection_5_3 + AskForSection_5_4 + AskForSection_5_5 + AskForSection_5_6 + AskForSection_6_0 + AskForSection_6_1 + AskForSection_6_2 + AskForSection_6_3 + AskForSection_6_4 + AskForSection_6_5 + AskForSection_6_6 + AskForSection_7_0 + AskForSection_7_1 + AskForSection_7_2 + AskForSection_7_3 + AskForSection_7_4 + AskForSection_7_5 + AskForSection_7_6 + AskForSection_0_0 + AskForSection_0_1 + AskForSection_0_2 + AskForSection_0_3 + AskForSection_0_4 + AskForSection_0_5 + AskForSection_0_6 + AskForSection_1_0 + AskForSection_1_1 + AskForSection_1_2 + AskForSection_1_3 + AskForSection_1_4 + AskForSection_1_5 + AskForSection_1_6 + AskForSection_2_0 + AskForSection_2_1 + AskForSection_2_2 + AskForSection_2_3 + AskForSection_2_4 + AskForSection_2_5 + AskForSection_2_6 + AskForSection_3_0 + AskForSection_3_1 + AskForSection_3_2 + AskForSection_3_3 + AskForSection_3_4 + AskForSection_3_5 + AskForSection_3_6 + AskForSection_4_0 + AskForSection_4_1 + AskForSection_4_2 + AskForSection_4_3 + AskForSection_4_4 + AskForSection_4_5 + AskForSection_4_6) : MAX(Turn_0_6) : MAX(BeginLoop_2_3_2) : MAX(IsEndLoop_4_3_2) : MAX(AskForSection_7_5) : MAX(BeginLoop_7_0_3) : MAX(BeginLoop_7_1_5) : MAX(IsEndLoop_2_3_5) : MAX(IsEndLoop_6_0_4)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Peterson-PT-7-UpperBounds-5 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Turn_0_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Turn_0_6)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================

FORMULA Peterson-PT-7-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(BeginLoop_2_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(BeginLoop_2_3_2)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 55945 markings, 117397 edges, 11189 markings/sec, 0 secs
lola: 113712 markings, 260561 edges, 11553 markings/sec, 5 secs
lola: 169438 markings, 409403 edges, 11145 markings/sec, 10 secs
lola: 223394 markings, 556376 edges, 10791 markings/sec, 15 secs
lola: 276914 markings, 705809 edges, 10704 markings/sec, 20 secs
lola: 330663 markings, 860661 edges, 10750 markings/sec, 25 secs
lola: 380192 markings, 1045471 edges, 9906 markings/sec, 30 secs
lola: 419462 markings, 1297909 edges, 7854 markings/sec, 35 secs
lola: 465341 markings, 1509399 edges, 9176 markings/sec, 40 secs
lola: 520051 markings, 1668670 edges, 10942 markings/sec, 45 secs
lola: 574207 markings, 1830989 edges, 10831 markings/sec, 50 secs
lola: 628148 markings, 1994720 edges, 10788 markings/sec, 55 secs
lola: 672741 markings, 2223861 edges, 8919 markings/sec, 60 secs
lola: 716709 markings, 2457727 edges, 8794 markings/sec, 65 secs
lola: 769438 markings, 2628212 edges, 10546 markings/sec, 70 secs
lola: 815067 markings, 2847794 edges, 9126 markings/sec, 75 secs
lola: 854171 markings, 3109965 edges, 7821 markings/sec, 80 secs
lola: 905897 markings, 3287166 edges, 10345 markings/sec, 85 secs
lola: 959832 markings, 3449354 edges, 10787 markings/sec, 90 secs
lola: 1013501 markings, 3612897 edges, 10734 markings/sec, 95 secs
lola: 1066060 markings, 3775888 edges, 10512 markings/sec, 100 secs
lola: 1118352 markings, 3939271 edges, 10458 markings/sec, 105 secs
lola: 1170455 markings, 4103638 edges, 10421 markings/sec, 110 secs
lola: 1221890 markings, 4272972 edges, 10287 markings/sec, 115 secs
lola: 1263077 markings, 4515747 edges, 8237 markings/sec, 120 secs
lola: 1302852 markings, 4768973 edges, 7955 markings/sec, 125 secs
lola: 1354366 markings, 4930987 edges, 10303 markings/sec, 130 secs
lola: 1405613 markings, 5092705 edges, 10249 markings/sec, 135 secs
lola: 1457095 markings, 5256698 edges, 10296 markings/sec, 140 secs
lola: 1507634 markings, 5421617 edges, 10108 markings/sec, 145 secs
lola: 1558574 markings, 5588600 edges, 10188 markings/sec, 150 secs
lola: 1609258 markings, 5758151 edges, 10137 markings/sec, 155 secs
lola: 1660042 markings, 5927548 edges, 10157 markings/sec, 160 secs
lola: 1703090 markings, 6153657 edges, 8610 markings/sec, 165 secs
lola: 1742143 markings, 6408482 edges, 7811 markings/sec, 170 secs
lola: 1790939 markings, 6591362 edges, 9759 markings/sec, 175 secs
lola: 1841896 markings, 6758945 edges, 10191 markings/sec, 180 secs
lola: 1892489 markings, 6928790 edges, 10119 markings/sec, 185 secs
lola: 1943040 markings, 7098897 edges, 10110 markings/sec, 190 secs
lola: 1992912 markings, 7271222 edges, 9974 markings/sec, 195 secs
lola: 2042866 markings, 7444553 edges, 9991 markings/sec, 200 secs
lola: 2093228 markings, 7618832 edges, 10072 markings/sec, 205 secs
lola: 2141993 markings, 7796237 edges, 9753 markings/sec, 210 secs
lola: 2181730 markings, 8043553 edges, 7947 markings/sec, 215 secs
lola: 2222266 markings, 8286626 edges, 8107 markings/sec, 220 secs
lola: 2271833 markings, 8460420 edges, 9913 markings/sec, 225 secs
lola: 2321364 markings, 8634226 edges, 9906 markings/sec, 230 secs
lola: 2370546 markings, 8810052 edges, 9836 markings/sec, 235 secs
lola: 2419391 markings, 8986900 edges, 9769 markings/sec, 240 secs
lola: 2467469 markings, 9168289 edges, 9616 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 8 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 514012 KB
lola: time consumption: 256 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(IsEndLoop_4_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(IsEndLoop_4_3_2)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 55824 markings, 123449 edges, 11165 markings/sec, 0 secs
lola: 111123 markings, 268436 edges, 11060 markings/sec, 5 secs
lola: 165557 markings, 420550 edges, 10887 markings/sec, 10 secs
lola: 220238 markings, 573206 edges, 10936 markings/sec, 15 secs
lola: 274316 markings, 728750 edges, 10816 markings/sec, 20 secs
lola: 328425 markings, 884918 edges, 10822 markings/sec, 25 secs
lola: 378122 markings, 1087857 edges, 9939 markings/sec, 30 secs
lola: 424720 markings, 1294967 edges, 9320 markings/sec, 35 secs
lola: 469158 markings, 1501609 edges, 8888 markings/sec, 40 secs
lola: 514609 markings, 1706803 edges, 9090 markings/sec, 45 secs
lola: 567944 markings, 1860241 edges, 10667 markings/sec, 50 secs
lola: 621265 markings, 2014256 edges, 10664 markings/sec, 55 secs
lola: 676454 markings, 2177230 edges, 11038 markings/sec, 60 secs
lola: 716744 markings, 2421298 edges, 8058 markings/sec, 65 secs
lola: 770305 markings, 2581281 edges, 10712 markings/sec, 70 secs
lola: 823969 markings, 2740511 edges, 10733 markings/sec, 75 secs
lola: 877267 markings, 2901477 edges, 10660 markings/sec, 80 secs
lola: 930326 markings, 3063660 edges, 10612 markings/sec, 85 secs
lola: 983293 markings, 3226708 edges, 10593 markings/sec, 90 secs
lola: 1036252 markings, 3389615 edges, 10592 markings/sec, 95 secs
lola: 1089622 markings, 3555175 edges, 10674 markings/sec, 100 secs
lola: 1134178 markings, 3787302 edges, 8911 markings/sec, 105 secs
lola: 1183287 markings, 3971550 edges, 9822 markings/sec, 110 secs
lola: 1235829 markings, 4136150 edges, 10508 markings/sec, 115 secs
lola: 1283749 markings, 4337457 edges, 9584 markings/sec, 120 secs
lola: 1323613 markings, 4581949 edges, 7973 markings/sec, 125 secs
lola: 1368009 markings, 4793479 edges, 8879 markings/sec, 130 secs
lola: 1419805 markings, 4957303 edges, 10359 markings/sec, 135 secs
lola: 1471792 markings, 5122146 edges, 10397 markings/sec, 140 secs
lola: 1523649 markings, 5286170 edges, 10371 markings/sec, 145 secs
lola: 1575444 markings, 5452165 edges, 10359 markings/sec, 150 secs
lola: 1626613 markings, 5638036 edges, 10234 markings/sec, 155 secs
lola: 1672566 markings, 5845690 edges, 9191 markings/sec, 160 secs
lola: 1725819 markings, 6017425 edges, 10651 markings/sec, 165 secs
lola: 1765797 markings, 6264822 edges, 7996 markings/sec, 170 secs
lola: 1817113 markings, 6431299 edges, 10263 markings/sec, 175 secs
lola: 1868048 markings, 6599876 edges, 10187 markings/sec, 180 secs
lola: 1918996 markings, 6768237 edges, 10190 markings/sec, 185 secs
lola: 1970100 markings, 6936315 edges, 10221 markings/sec, 190 secs
lola: 2015146 markings, 7159188 edges, 9009 markings/sec, 195 secs
lola: 2054276 markings, 7406378 edges, 7826 markings/sec, 200 secs
lola: 2100993 markings, 7599265 edges, 9343 markings/sec, 205 secs
lola: 2151557 markings, 7768873 edges, 10113 markings/sec, 210 secs
lola: 2203151 markings, 7939655 edges, 10319 markings/sec, 215 secs
lola: 2255214 markings, 8117038 edges, 10413 markings/sec, 220 secs
lola: 2299157 markings, 8328181 edges, 8789 markings/sec, 225 secs
lola: 2349333 markings, 8499628 edges, 10035 markings/sec, 230 secs
lola: 2400257 markings, 8675102 edges, 10185 markings/sec, 235 secs
lola: 2443758 markings, 8888783 edges, 8700 markings/sec, 240 secs
lola: 2486437 markings, 9114735 edges, 8536 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 8 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 489380 KB
lola: time consumption: 510 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AskForSection_7_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AskForSection_7_5)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 67 markings, 66 edges

FORMULA Peterson-PT-7-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: subprocess 5 will run for 278 seconds at most (--localtimelimit=0)
========================================
lola: ========================================
lola: ...considering subproblem: MAX(BeginLoop_7_0_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(BeginLoop_7_0_3)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 16 markings, 15 edges
lola: ========================================

FORMULA Peterson-PT-7-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 306 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(BeginLoop_7_1_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(BeginLoop_7_1_5)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 30 markings, 29 edges
lola: ========================================

FORMULA Peterson-PT-7-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 339 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(IsEndLoop_2_3_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(IsEndLoop_2_3_5)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 57638 markings, 117530 edges, 11528 markings/sec, 0 secs
lola: 114772 markings, 252731 edges, 11427 markings/sec, 5 secs
lola: 170300 markings, 394744 edges, 11106 markings/sec, 10 secs
lola: 225253 markings, 539227 edges, 10991 markings/sec, 15 secs
lola: 279754 markings, 685776 edges, 10900 markings/sec, 20 secs
lola: 333738 markings, 833654 edges, 10797 markings/sec, 25 secs
lola: 387180 markings, 984309 edges, 10688 markings/sec, 30 secs
lola: 440332 markings, 1136296 edges, 10630 markings/sec, 35 secs
lola: 492984 markings, 1289579 edges, 10530 markings/sec, 40 secs
lola: 545408 markings, 1444318 edges, 10485 markings/sec, 45 secs
lola: 597558 markings, 1600378 edges, 10430 markings/sec, 50 secs
lola: 649593 markings, 1757013 edges, 10407 markings/sec, 55 secs
lola: 701503 markings, 1914346 edges, 10382 markings/sec, 60 secs
lola: 752995 markings, 2073684 edges, 10298 markings/sec, 65 secs
lola: 804137 markings, 2236944 edges, 10228 markings/sec, 70 secs
lola: 855571 markings, 2403678 edges, 10287 markings/sec, 75 secs
lola: 906404 markings, 2570425 edges, 10167 markings/sec, 80 secs
lola: 956271 markings, 2739438 edges, 9973 markings/sec, 85 secs
lola: 1006707 markings, 2904014 edges, 10087 markings/sec, 90 secs
lola: 1057579 markings, 3072736 edges, 10174 markings/sec, 95 secs
lola: 1100545 markings, 3300029 edges, 8593 markings/sec, 100 secs
lola: 1140439 markings, 3551670 edges, 7979 markings/sec, 105 secs
lola: 1186582 markings, 3762239 edges, 9229 markings/sec, 110 secs
lola: 1238493 markings, 3934685 edges, 10382 markings/sec, 115 secs
lola: 1280123 markings, 4183206 edges, 8326 markings/sec, 120 secs
lola: 1323717 markings, 4416997 edges, 8719 markings/sec, 125 secs
lola: 1376103 markings, 4584408 edges, 10477 markings/sec, 130 secs
lola: 1427946 markings, 4753420 edges, 10369 markings/sec, 135 secs
lola: 1479749 markings, 4921279 edges, 10361 markings/sec, 140 secs
lola: 1530319 markings, 5093587 edges, 10114 markings/sec, 145 secs
lola: 1580607 markings, 5259715 edges, 10058 markings/sec, 150 secs
lola: 1631316 markings, 5434290 edges, 10142 markings/sec, 155 secs
lola: 1682338 markings, 5608605 edges, 10204 markings/sec, 160 secs
lola: 1732706 markings, 5785868 edges, 10074 markings/sec, 165 secs
lola: 1783639 markings, 5961346 edges, 10187 markings/sec, 170 secs
lola: 1833552 markings, 6136077 edges, 9983 markings/sec, 175 secs
lola: 1882280 markings, 6307641 edges, 9746 markings/sec, 180 secs
lola: 1925471 markings, 6519875 edges, 8638 markings/sec, 185 secs
lola: 1970228 markings, 6738278 edges, 8951 markings/sec, 190 secs
lola: 2020504 markings, 6917127 edges, 10055 markings/sec, 195 secs
lola: 2070645 markings, 7092115 edges, 10028 markings/sec, 200 secs
lola: 2118457 markings, 7289127 edges, 9562 markings/sec, 205 secs
lola: 2159011 markings, 7545851 edges, 8111 markings/sec, 210 secs
lola: 2202741 markings, 7772177 edges, 8746 markings/sec, 215 secs
lola: 2250508 markings, 7956582 edges, 9553 markings/sec, 220 secs
lola: 2294803 markings, 8173622 edges, 8859 markings/sec, 225 secs
lola: 2332058 markings, 8438349 edges, 7451 markings/sec, 230 secs
lola: 2369787 markings, 8695574 edges, 7546 markings/sec, 235 secs
lola: 2414979 markings, 8899620 edges, 9038 markings/sec, 240 secs
lola: 2464463 markings, 9075345 edges, 9897 markings/sec, 245 secs
lola: 2510007 markings, 9277917 edges, 9109 markings/sec, 250 secs
lola: 2559430 markings, 9455431 edges, 9885 markings/sec, 255 secs
lola: 2604598 markings, 9664509 edges, 9034 markings/sec, 260 secs
lola: 2641279 markings, 9936539 edges, 7336 markings/sec, 265 secs
lola: 2678305 markings, 10204131 edges, 7405 markings/sec, 270 secs
lola: 2721773 markings, 10423324 edges, 8694 markings/sec, 275 secs
lola: 2769505 markings, 10609052 edges, 9546 markings/sec, 280 secs
lola: 2818457 markings, 10788299 edges, 9790 markings/sec, 285 secs
lola: 2862441 markings, 11002370 edges, 8797 markings/sec, 290 secs
lola: 2898446 markings, 11272653 edges, 7201 markings/sec, 295 secs
lola: 2935427 markings, 11525903 edges, 7396 markings/sec, 300 secs
lola: 2973641 markings, 11765115 edges, 7643 markings/sec, 305 secs
lola: 3022156 markings, 11942339 edges, 9703 markings/sec, 310 secs
lola: 3070311 markings, 12125905 edges, 9631 markings/sec, 315 secs
lola: 3113784 markings, 12345271 edges, 8695 markings/sec, 320 secs
lola: 3150508 markings, 12617166 edges, 7345 markings/sec, 325 secs
lola: 3187073 markings, 12877783 edges, 7313 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 8 unknown unknown 1 unknown unknown 1 1 1 unknown unknown
lola: memory consumption: 639760 KB
lola: time consumption: 850 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(IsEndLoop_6_0_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(IsEndLoop_6_0_4)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 23 markings, 22 edges
lola: ========================================

FORMULA Peterson-PT-7-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 388 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(EndTurn_1_0 + EndTurn_1_1 + EndTurn_1_2 + EndTurn_1_3 + EndTurn_1_4 + EndTurn_1_5 + EndTurn_1_6 + EndTurn_2_0 + EndTurn_2_1 + EndTurn_2_2 + EndTurn_2_3 + EndTurn_2_4 + EndTurn_2_5 + EndTurn_2_6 + EndTurn_3_0 + EndTurn_3_1 + EndTurn_3_2 + EndTurn_3_3 + EndTurn_3_4 + EndTurn_3_5 + EndTurn_3_6 + EndTurn_4_0 + EndTurn_4_1 + EndTurn_4_2 + EndTurn_4_3 + EndTurn_4_4 + EndTurn_4_5 + EndTurn_4_6 + EndT... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(EndTurn_1_0 + EndTurn_1_1 + EndTurn_1_2 + EndTurn_1_3 + EndTurn_1_4 + EndTurn_1_5 + EndTurn_1_6 + EndTurn_2_0 + EndTurn_2_1 + EndTurn_2_2 + EndTurn_2_3 + EndTurn_2_4 + EndTurn_2_5 + EndTurn_2_6 + EndTurn_3_0 + EndTurn_3_1 + EndTurn_3_2 + EndTurn_3_3 + EndTurn_3_4 + EndTurn_3_5 + EndTurn_3_6 + EndTurn_4_0 + EndTurn_4_1 + EndTurn_4_2 + EndTurn_4_3 + EndTurn_4_4 + EndTurn_4_5 + EndTurn_4_6 + EndT... (shortened)
lola: processed formula length: 786
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 8
lola: 63985 markings, 129582 edges, 12797 markings/sec, 0 secs
lola: 132212 markings, 291999 edges, 13645 markings/sec, 5 secs
lola: 198272 markings, 459361 edges, 13212 markings/sec, 10 secs
lola: 263273 markings, 631919 edges, 13000 markings/sec, 15 secs
lola: 327773 markings, 806466 edges, 12900 markings/sec, 20 secs
lola: 391702 markings, 983677 edges, 12786 markings/sec, 25 secs
lola: 455251 markings, 1162766 edges, 12710 markings/sec, 30 secs
lola: 518251 markings, 1344400 edges, 12600 markings/sec, 35 secs
lola: 580602 markings, 1528716 edges, 12470 markings/sec, 40 secs
lola: 642599 markings, 1714851 edges, 12399 markings/sec, 45 secs
lola: 704123 markings, 1903153 edges, 12305 markings/sec, 50 secs
lola: 765261 markings, 2093247 edges, 12228 markings/sec, 55 secs
lola: 826022 markings, 2285099 edges, 12152 markings/sec, 60 secs
lola: 885915 markings, 2481090 edges, 11979 markings/sec, 65 secs
lola: 945254 markings, 2680075 edges, 11868 markings/sec, 70 secs
lola: 1002731 markings, 2889750 edges, 11495 markings/sec, 75 secs
lola: 1054021 markings, 3134040 edges, 10258 markings/sec, 80 secs
lola: 1109145 markings, 3358448 edges, 11025 markings/sec, 85 secs
lola: 1164499 markings, 3581954 edges, 11071 markings/sec, 90 secs
lola: 1220743 markings, 3800648 edges, 11249 markings/sec, 95 secs
lola: 1282058 markings, 3992125 edges, 12263 markings/sec, 100 secs
lola: 1343409 markings, 4180929 edges, 12270 markings/sec, 105 secs
lola: 1404372 markings, 4371375 edges, 12193 markings/sec, 110 secs
lola: 1463936 markings, 4559774 edges, 11913 markings/sec, 115 secs
lola: 1522427 markings, 4747227 edges, 11698 markings/sec, 120 secs
lola: 1580689 markings, 4935681 edges, 11652 markings/sec, 125 secs
lola: 1639523 markings, 5127029 edges, 11767 markings/sec, 130 secs
lola: 1699191 markings, 5322202 edges, 11934 markings/sec, 135 secs
lola: 1758485 markings, 5520016 edges, 11859 markings/sec, 140 secs
lola: 1817257 markings, 5719724 edges, 11754 markings/sec, 145 secs
lola: 1875467 markings, 5923428 edges, 11642 markings/sec, 150 secs
lola: 1933281 markings, 6129633 edges, 11563 markings/sec, 155 secs
lola: 1980901 markings, 6398880 edges, 9524 markings/sec, 160 secs
lola: 2039538 markings, 6599696 edges, 11727 markings/sec, 165 secs
lola: 2097484 markings, 6804865 edges, 11589 markings/sec, 170 secs
lola: 2150310 markings, 7040316 edges, 10565 markings/sec, 175 secs
lola: 2196529 markings, 7308918 edges, 9244 markings/sec, 180 secs
lola: 2240495 markings, 7597335 edges, 8793 markings/sec, 185 secs
lola: 2297164 markings, 7810235 edges, 11334 markings/sec, 190 secs
lola: 2355547 markings, 8012225 edges, 11677 markings/sec, 195 secs
lola: 2413270 markings, 8217657 edges, 11545 markings/sec, 200 secs
lola: 2469636 markings, 8430341 edges, 11273 markings/sec, 205 secs
lola: 2518720 markings, 8683538 edges, 9817 markings/sec, 210 secs
lola: 2558988 markings, 8983946 edges, 8054 markings/sec, 215 secs
lola: 2600736 markings, 9276308 edges, 8350 markings/sec, 220 secs
lola: 2645005 markings, 9565173 edges, 8854 markings/sec, 225 secs
lola: 2688465 markings, 9849431 edges, 8692 markings/sec, 230 secs
lola: 2731978 markings, 10130234 edges, 8703 markings/sec, 235 secs
lola: 2775648 markings, 10412350 edges, 8734 markings/sec, 240 secs
lola: 2816826 markings, 10711107 edges, 8236 markings/sec, 245 secs
lola: 2860866 markings, 10998773 edges, 8808 markings/sec, 250 secs
lola: 2904441 markings, 11287978 edges, 8715 markings/sec, 255 secs
lola: 2947714 markings, 11574065 edges, 8655 markings/sec, 260 secs
lola: 2989135 markings, 11871319 edges, 8284 markings/sec, 265 secs
lola: 3032400 markings, 12160196 edges, 8653 markings/sec, 270 secs
lola: 3075593 markings, 12450309 edges, 8639 markings/sec, 275 secs
lola: 3118998 markings, 12737854 edges, 8681 markings/sec, 280 secs
lola: 3160857 markings, 13036263 edges, 8372 markings/sec, 285 secs
lola: 3205238 markings, 13324736 edges, 8876 markings/sec, 290 secs
lola: 3248226 markings, 13616683 edges, 8598 markings/sec, 295 secs
lola: 3292173 markings, 13906113 edges, 8789 markings/sec, 300 secs
lola: 3334425 markings, 14201194 edges, 8450 markings/sec, 305 secs
lola: 3378069 markings, 14491602 edges, 8729 markings/sec, 310 secs
lola: 3421501 markings, 14776788 edges, 8686 markings/sec, 315 secs
lola: 3464283 markings, 15070055 edges, 8556 markings/sec, 320 secs
lola: 3506131 markings, 15365421 edges, 8370 markings/sec, 325 secs
lola: 3548596 markings, 15656770 edges, 8493 markings/sec, 330 secs
lola: 3592703 markings, 15944400 edges, 8821 markings/sec, 335 secs
lola: 3636408 markings, 16231725 edges, 8741 markings/sec, 340 secs
lola: 3676209 markings, 16532940 edges, 7960 markings/sec, 345 secs
lola: 3718326 markings, 16828141 edges, 8423 markings/sec, 350 secs
lola: 3762804 markings, 17111972 edges, 8896 markings/sec, 355 secs
lola: 3805859 markings, 17405812 edges, 8611 markings/sec, 360 secs
lola: 3851107 markings, 17693992 edges, 9050 markings/sec, 365 secs
lola: 3895939 markings, 17983841 edges, 8966 markings/sec, 370 secs
lola: 3940994 markings, 18274077 edges, 9011 markings/sec, 375 secs
lola: 3984578 markings, 18562314 edges, 8717 markings/sec, 380 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 8 unknown unknown 1 unknown unknown 1 1 1 unknown 1
lola: memory consumption: 698704 KB
lola: time consumption: 1238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 388 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AskForSection_5_0 + AskForSection_5_1 + AskForSection_5_2 + AskForSection_5_3 + AskForSection_5_4 + AskForSection_5_5 + AskForSection_5_6 + AskForSection_6_0 + AskForSection_6_1 + AskForSection_6_2 + AskForSection_6_3 + AskForSection_6_4 + AskForSection_6_5 + AskForSection_6_6 + AskForSection_7_0 + AskForSection_7_1 + AskForSection_7_2 + AskForSection_7_3 + AskForSection_7_4 + AskForSection_7_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AskForSection_5_0 + AskForSection_5_1 + AskForSection_5_2 + AskForSection_5_3 + AskForSection_5_4 + AskForSection_5_5 + AskForSection_5_6 + AskForSection_6_0 + AskForSection_6_1 + AskForSection_6_2 + AskForSection_6_3 + AskForSection_6_4 + AskForSection_6_5 + AskForSection_6_6 + AskForSection_7_0 + AskForSection_7_1 + AskForSection_7_2 + AskForSection_7_3 + AskForSection_7_4 + AskForSection_7_... (shortened)
lola: processed formula length: 1122
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 9 markings, 8 edges
lola: ========================================

FORMULA Peterson-PT-7-UpperBounds-7 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 466 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(TestAlone_7_1_0 + TestAlone_7_1_1 + TestAlone_7_1_2 + TestAlone_7_1_3 + TestAlone_7_1_4 + TestAlone_7_1_5 + TestAlone_7_1_6 + TestAlone_4_3_0 + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_4_3_5 + TestAlone_4_3_6 + TestAlone_4_3_7 + TestAlone_1_5_0 + TestAlone_1_5_2 + TestAlone_1_5_3 + TestAlone_1_5_4 + TestAlone_1_5_5 + TestAlone_1_5_6 + TestAlone_1_5_7 + TestAlone_7_2_0 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(TestAlone_7_1_0 + TestAlone_7_1_1 + TestAlone_7_1_2 + TestAlone_7_1_3 + TestAlone_7_1_4 + TestAlone_7_1_5 + TestAlone_7_1_6 + TestAlone_4_3_0 + TestAlone_4_3_1 + TestAlone_4_3_2 + TestAlone_4_3_3 + TestAlone_4_3_5 + TestAlone_4_3_6 + TestAlone_4_3_7 + TestAlone_1_5_0 + TestAlone_1_5_2 + TestAlone_1_5_3 + TestAlone_1_5_4 + TestAlone_1_5_5 + TestAlone_1_5_6 + TestAlone_1_5_7 + TestAlone_7_2_0 + ... (shortened)
lola: processed formula length: 7058
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 129 markings, 154 edges
lola: ========================================

FORMULA Peterson-PT-7-UpperBounds-3 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 582 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_0_0_6 + IsEndLoop_0_0_7 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_5_3_6 + IsEndLoop_5_3_7 + IsEndLoop_2_5_0 + IsEndLoop_2_5_1 + IsEndLoop_2_5_2 + IsEndLoop_2_5_3 + IsEndLoop_2_5_4 + IsEndLoop_2_5_5 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_0_0_6 + IsEndLoop_0_0_7 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_5_3_6 + IsEndLoop_5_3_7 + IsEndLoop_2_5_0 + IsEndLoop_2_5_1 + IsEndLoop_2_5_2 + IsEndLoop_2_5_3 + IsEndLoop_2_5_4 + IsEndLoop_2_5_5 + ... (shortened)
lola: processed formula length: 8066
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 474 markings, 517 edges
lola: ========================================

FORMULA Peterson-PT-7-UpperBounds-4 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 776 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(BeginLoop_7_1_0 + BeginLoop_7_1_1 + BeginLoop_7_1_2 + BeginLoop_7_1_3 + BeginLoop_7_1_4 + BeginLoop_7_1_5 + BeginLoop_7_1_6 + BeginLoop_7_1_7 + BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_3_6 + BeginLoop_4_3_7 + BeginLoop_1_5_0 + BeginLoop_1_5_1 + BeginLoop_1_5_2 + BeginLoop_1_5_3 + BeginLoop_1_5_4 + BeginLoop_1_5_5 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(BeginLoop_7_1_0 + BeginLoop_7_1_1 + BeginLoop_7_1_2 + BeginLoop_7_1_3 + BeginLoop_7_1_4 + BeginLoop_7_1_5 + BeginLoop_7_1_6 + BeginLoop_7_1_7 + BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_3_6 + BeginLoop_4_3_7 + BeginLoop_1_5_0 + BeginLoop_1_5_1 + BeginLoop_1_5_2 + BeginLoop_1_5_3 + BeginLoop_1_5_4 + BeginLoop_1_5_5 + ... (shortened)
lola: processed formula length: 8066
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 25 markings, 24 edges
lola: ========================================

FORMULA Peterson-PT-7-UpperBounds-2 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1165 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_0_0_6 + IsEndLoop_0_0_7 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_5_3_6 + IsEndLoop_5_3_7 + IsEndLoop_2_5_0 + IsEndLoop_2_5_1 + IsEndLoop_2_5_2 + IsEndLoop_2_5_3 + IsEndLoop_2_5_4 + IsEndLoop_2_5_5 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(IsEndLoop_0_0_0 + IsEndLoop_0_0_1 + IsEndLoop_0_0_2 + IsEndLoop_0_0_3 + IsEndLoop_0_0_4 + IsEndLoop_0_0_5 + IsEndLoop_0_0_6 + IsEndLoop_0_0_7 + IsEndLoop_5_3_0 + IsEndLoop_5_3_1 + IsEndLoop_5_3_2 + IsEndLoop_5_3_3 + IsEndLoop_5_3_4 + IsEndLoop_5_3_5 + IsEndLoop_5_3_6 + IsEndLoop_5_3_7 + IsEndLoop_2_5_0 + IsEndLoop_2_5_1 + IsEndLoop_2_5_2 + IsEndLoop_2_5_3 + IsEndLoop_2_5_4 + IsEndLoop_2_5_5 + ... (shortened)
lola: processed formula length: 8066
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 474 markings, 517 edges
lola: ========================================

FORMULA Peterson-PT-7-UpperBounds-6 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(BeginLoop_7_1_0 + BeginLoop_7_1_1 + BeginLoop_7_1_2 + BeginLoop_7_1_3 + BeginLoop_7_1_4 + BeginLoop_7_1_5 + BeginLoop_7_1_6 + BeginLoop_7_1_7 + BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_3_6 + BeginLoop_4_3_7 + BeginLoop_1_5_0 + BeginLoop_1_5_1 + BeginLoop_1_5_2 + BeginLoop_1_5_3 + BeginLoop_1_5_4 + BeginLoop_1_5_5 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(BeginLoop_7_1_0 + BeginLoop_7_1_1 + BeginLoop_7_1_2 + BeginLoop_7_1_3 + BeginLoop_7_1_4 + BeginLoop_7_1_5 + BeginLoop_7_1_6 + BeginLoop_7_1_7 + BeginLoop_4_3_0 + BeginLoop_4_3_1 + BeginLoop_4_3_2 + BeginLoop_4_3_3 + BeginLoop_4_3_4 + BeginLoop_4_3_5 + BeginLoop_4_3_6 + BeginLoop_4_3_7 + BeginLoop_1_5_0 + BeginLoop_1_5_1 + BeginLoop_1_5_2 + BeginLoop_1_5_3 + BeginLoop_1_5_4 + BeginLoop_1_5_5 + ... (shortened)
lola: processed formula length: 8066
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 25 markings, 24 edges
lola: ========================================

FORMULA Peterson-PT-7-UpperBounds-0 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(BeginLoop_2_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(BeginLoop_2_3_2)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-7-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 57259 markings, 120530 edges, 11452 markings/sec, 0 secs
lola: 114212 markings, 261815 edges, 11391 markings/sec, 5 secs
lola: 169739 markings, 410295 edges, 11105 markings/sec, 10 secs
lola: 224873 markings, 560290 edges, 11027 markings/sec, 15 secs
lola: 279331 markings, 712697 edges, 10892 markings/sec, 20 secs
lola: 333488 markings, 869075 edges, 10831 markings/sec, 25 secs
lola: 382839 markings, 1058668 edges, 9870 markings/sec, 30 secs
lola: 421347 markings, 1315591 edges, 7702 markings/sec, 35 secs
lola: 468420 markings, 1518484 edges, 9415 markings/sec, 40 secs
lola: 522682 markings, 1676543 edges, 10852 markings/sec, 45 secs
lola: 576578 markings, 1838074 edges, 10779 markings/sec, 50 secs
lola: 630125 markings, 2000750 edges, 10709 markings/sec, 55 secs
lola: 673950 markings, 2228290 edges, 8765 markings/sec, 60 secs
lola: 717065 markings, 2459067 edges, 8623 markings/sec, 65 secs
lola: 769208 markings, 2627146 edges, 10429 markings/sec, 70 secs
lola: 814141 markings, 2842978 edges, 8987 markings/sec, 75 secs
lola: 853424 markings, 3097996 edges, 7857 markings/sec, 80 secs
lola: 904119 markings, 3281791 edges, 10139 markings/sec, 85 secs
lola: 957727 markings, 3442826 edges, 10722 markings/sec, 90 secs
lola: 1011390 markings, 3606521 edges, 10733 markings/sec, 95 secs
lola: 1064698 markings, 3771746 edges, 10662 markings/sec, 100 secs
lola: 1117992 markings, 3938236 edges, 10659 markings/sec, 105 secs
lola: 1171085 markings, 4105293 edges, 10619 markings/sec, 110 secs
lola: 1223265 markings, 4278061 edges, 10436 markings/sec, 115 secs
lola: 1264469 markings, 4524512 edges, 8241 markings/sec, 120 secs
lola: 1304580 markings, 4774623 edges, 8022 markings/sec, 125 secs
lola: 1357347 markings, 4940088 edges, 10553 markings/sec, 130 secs
lola: 1410294 markings, 5107171 edges, 10589 markings/sec, 135 secs
lola: 1463055 markings, 5275827 edges, 10552 markings/sec, 140 secs
lola: 1515398 markings, 5446421 edges, 10469 markings/sec, 145 secs
lola: 1566817 markings, 5615057 edges, 10284 markings/sec, 150 secs
lola: 1617913 markings, 5786866 edges, 10219 markings/sec, 155 secs
lola: 1669288 markings, 5960601 edges, 10275 markings/sec, 160 secs
lola: 1711081 markings, 6207588 edges, 8359 markings/sec, 165 secs
lola: 1750983 markings, 6459520 edges, 7980 markings/sec, 170 secs
lola: 1802424 markings, 6628512 edges, 10288 markings/sec, 175 secs
lola: 1853787 markings, 6797777 edges, 10273 markings/sec, 180 secs
lola: 1905067 markings, 6971363 edges, 10256 markings/sec, 185 secs
lola: 1956750 markings, 7145604 edges, 10337 markings/sec, 190 secs
lola: 2007982 markings, 7324043 edges, 10246 markings/sec, 195 secs
lola: 2059344 markings, 7501054 edges, 10272 markings/sec, 200 secs
lola: 2110425 markings, 7679435 edges, 10216 markings/sec, 205 secs
lola: 2157835 markings, 7884774 edges, 9482 markings/sec, 210 secs
lola: 2197470 markings, 8143986 edges, 7927 markings/sec, 215 secs
lola: 2243077 markings, 8361015 edges, 9121 markings/sec, 220 secs
lola: 2293601 markings, 8537861 edges, 10105 markings/sec, 225 secs
lola: 2343635 markings, 8714224 edges, 10007 markings/sec, 230 secs
lola: 2393336 markings, 8891591 edges, 9940 markings/sec, 235 secs
lola: 2442188 markings, 9073877 edges, 9770 markings/sec, 240 secs
lola: 2491159 markings, 9256101 edges, 9794 markings/sec, 245 secs
lola: 2537920 markings, 9455961 edges, 9352 markings/sec, 250 secs
lola: 2576794 markings, 9707579 edges, 7775 markings/sec, 255 secs
lola: 2620136 markings, 9929902 edges, 8668 markings/sec, 260 secs
lola: 2670299 markings, 10105103 edges, 10033 markings/sec, 265 secs
lola: 2720687 markings, 10279440 edges, 10078 markings/sec, 270 secs
lola: 2766171 markings, 10488702 edges, 9097 markings/sec, 275 secs
lola: 2806626 markings, 10730089 edges, 8091 markings/sec, 280 secs
lola: 2846470 markings, 10976588 edges, 7969 markings/sec, 285 secs
lola: 2896085 markings, 11155367 edges, 9923 markings/sec, 290 secs
lola: 2944160 markings, 11347435 edges, 9615 markings/sec, 295 secs
lola: 2982930 markings, 11602845 edges, 7754 markings/sec, 300 secs
lola: 3020937 markings, 11864879 edges, 7601 markings/sec, 305 secs
lola: 3058238 markings, 12124859 edges, 7460 markings/sec, 310 secs
lola: 3099238 markings, 12354100 edges, 8200 markings/sec, 315 secs
lola: 3132379 markings, 12641428 edges, 6628 markings/sec, 320 secs
lola: 3172158 markings, 12900501 edges, 7956 markings/sec, 325 secs
lola: 3211247 markings, 13158240 edges, 7818 markings/sec, 330 secs
lola: 3254123 markings, 13411384 edges, 8575 markings/sec, 335 secs
lola: 3292877 markings, 13668217 edges, 7751 markings/sec, 340 secs
lola: 3335756 markings, 13924759 edges, 8576 markings/sec, 345 secs
lola: 3375118 markings, 14185221 edges, 7872 markings/sec, 350 secs
lola: 3415089 markings, 14443212 edges, 7994 markings/sec, 355 secs
lola: 3457415 markings, 14698554 edges, 8465 markings/sec, 360 secs
lola: 3496042 markings, 14956198 edges, 7725 markings/sec, 365 secs
lola: 3538847 markings, 15207853 edges, 8561 markings/sec, 370 secs
lola: 3577653 markings, 15462042 edges, 7761 markings/sec, 375 secs
lola: 3620218 markings, 15718111 edges, 8513 markings/sec, 380 secs
lola: 3659071 markings, 15974564 edges, 7771 markings/sec, 385 secs
lola: 3698395 markings, 16230161 edges, 7865 markings/sec, 390 secs
lola: 3740356 markings, 16489383 edges, 8392 markings/sec, 395 secs
lola: 3779849 markings, 16742199 edges, 7899 markings/sec, 400 secs
lola: 3822353 markings, 16977217 edges, 8501 markings/sec, 405 secs
lola: 3856602 markings, 17265052 edges, 6850 markings/sec, 410 secs
lola: 3895775 markings, 17520296 edges, 7835 markings/sec, 415 secs
lola: 3934322 markings, 17777329 edges, 7709 markings/sec, 420 secs
lola: 3972740 markings, 18030730 edges, 7684 markings/sec, 425 secs
lola: 4008845 markings, 18294284 edges, 7221 markings/sec, 430 secs
lola: 4047674 markings, 18542334 edges, 7766 markings/sec, 435 secs
lola: 4085884 markings, 18799203 edges, 7642 markings/sec, 440 secs
lola: 4124784 markings, 19055055 edges, 7780 markings/sec, 445 secs
lola: 4163604 markings, 19312124 edges, 7764 markings/sec, 450 secs
lola: 4200219 markings, 19573324 edges, 7323 markings/sec, 455 secs
lola: 4238646 markings, 19826973 edges, 7685 markings/sec, 460 secs
lola: 4277621 markings, 20078861 edges, 7795 markings/sec, 465 secs
lola: 4315566 markings, 20332999 edges, 7589 markings/sec, 470 secs
lola: 4353320 markings, 20590601 edges, 7551 markings/sec, 475 secs
lola: 4392034 markings, 20843271 edges, 7743 markings/sec, 480 secs
lola: 4428467 markings, 21105384 edges, 7287 markings/sec, 485 secs
lola: 4466851 markings, 21361132 edges, 7677 markings/sec, 490 secs
lola: 4506621 markings, 21610985 edges, 7954 markings/sec, 495 secs
lola: 4547037 markings, 21851250 edges, 8083 markings/sec, 500 secs
lola: 4581127 markings, 22133512 edges, 6818 markings/sec, 505 secs
lola: 4616729 markings, 22406815 edges, 7120 markings/sec, 510 secs
lola: 4652810 markings, 22683064 edges, 7216 markings/sec, 515 secs
lola: 4689737 markings, 22951875 edges, 7385 markings/sec, 520 secs
lola: 4725443 markings, 23222087 edges, 7141 markings/sec, 525 secs
lola: 4761797 markings, 23489810 edges, 7271 markings/sec, 530 secs
lola: 4797086 markings, 23762840 edges, 7058 markings/sec, 535 secs
lola: 4834254 markings, 24026564 edges, 7434 markings/sec, 540 secs
lola: 4870959 markings, 24288145 edges, 7341 markings/sec, 545 secs
lola: 4908032 markings, 24551231 edges, 7415 markings/sec, 550 secs
lola: 4946820 markings, 24807842 edges, 7758 markings/sec, 555 secs
lola: 4986214 markings, 25060058 edges, 7879 markings/sec, 560 secs
lola: 5025653 markings, 25312418 edges, 7888 markings/sec, 565 secs
lola: 5065057 markings, 25565213 edges, 7881 markings/sec, 570 secs
lola: 5105047 markings, 25810968 edges, 7998 markings/sec, 575 secs
lola: 5141538 markings, 26074775 edges, 7298 markings/sec, 580 secs
lola: 5178815 markings, 26333204 edges, 7455 markings/sec, 585 secs
lola: 5217174 markings, 26586190 edges, 7672 markings/sec, 590 secs
lola: 5255702 markings, 26836409 edges, 7706 markings/sec, 595 secs
lola: 5295777 markings, 27092348 edges, 8015 markings/sec, 600 secs
lola: 5336168 markings, 27352473 edges, 8078 markings/sec, 605 secs
lola: 5376354 markings, 27610848 edges, 8037 markings/sec, 610 secs
lola: 5416336 markings, 27867425 edges, 7996 markings/sec, 615 secs
lola: 5455795 markings, 28128813 edges, 7892 markings/sec, 620 secs
lola: 5494317 markings, 28391529 edges, 7704 markings/sec, 625 secs
lola: 5532879 markings, 28651912 edges, 7712 markings/sec, 630 secs
lola: 5571992 markings, 28911660 edges, 7823 markings/sec, 635 secs
lola: 5611760 markings, 29167168 edges, 7954 markings/sec, 640 secs
lola: 5652039 markings, 29426465 edges, 8056 markings/sec, 645 secs
lola: 5692241 markings, 29686563 edges, 8040 markings/sec, 650 secs
lola: 5732885 markings, 29947778 edges, 8129 markings/sec, 655 secs
lola: 5772948 markings, 30205649 edges, 8013 markings/sec, 660 secs
lola: 5813329 markings, 30464887 edges, 8076 markings/sec, 665 secs
lola: 5852075 markings, 30730516 edges, 7749 markings/sec, 670 secs
lola: 5889677 markings, 30996245 edges, 7520 markings/sec, 675 secs
lola: 5929198 markings, 31248550 edges, 7904 markings/sec, 680 secs
lola: 5970434 markings, 31488172 edges, 8247 markings/sec, 685 secs
lola: 6004628 markings, 31763488 edges, 6839 markings/sec, 690 secs
lola: 6039777 markings, 32038349 edges, 7030 markings/sec, 695 secs
lola: 6076241 markings, 32302128 edges, 7293 markings/sec, 700 secs
lola: 6111648 markings, 32564426 edges, 7081 markings/sec, 705 secs
lola: 6146810 markings, 32830539 edges, 7032 markings/sec, 710 secs
lola: 6182498 markings, 33102982 edges, 7138 markings/sec, 715 secs
lola: 6218660 markings, 33370153 edges, 7232 markings/sec, 720 secs
lola: 6254748 markings, 33638542 edges, 7218 markings/sec, 725 secs
lola: 6294308 markings, 33896939 edges, 7912 markings/sec, 730 secs
lola: 6334668 markings, 34156576 edges, 8072 markings/sec, 735 secs
lola: 6374973 markings, 34412329 edges, 8061 markings/sec, 740 secs
lola: 6413280 markings, 34676394 edges, 7661 markings/sec, 745 secs
lola: 6452925 markings, 34932992 edges, 7929 markings/sec, 750 secs
lola: 6490517 markings, 35200508 edges, 7518 markings/sec, 755 secs
lola: 6530074 markings, 35455975 edges, 7911 markings/sec, 760 secs
lola: 6569568 markings, 35712066 edges, 7899 markings/sec, 765 secs
lola: 6609882 markings, 35968654 edges, 8063 markings/sec, 770 secs
lola: 6649801 markings, 36225399 edges, 7984 markings/sec, 775 secs
lola: 6689613 markings, 36480479 edges, 7962 markings/sec, 780 secs
lola: 6727383 markings, 36740911 edges, 7554 markings/sec, 785 secs
lola: 6765350 markings, 37001785 edges, 7593 markings/sec, 790 secs
lola: 6803727 markings, 37256095 edges, 7675 markings/sec, 795 secs
lola: 6841990 markings, 37504707 edges, 7653 markings/sec, 800 secs
lola: 6881816 markings, 37759073 edges, 7965 markings/sec, 805 secs
lola: 6922079 markings, 38018579 edges, 8053 markings/sec, 810 secs
lola: 6962003 markings, 38275175 edges, 7985 markings/sec, 815 secs
lola: 7002019 markings, 38521384 edges, 8003 markings/sec, 820 secs
lola: 7038680 markings, 38785317 edges, 7332 markings/sec, 825 secs
lola: 7076302 markings, 39043511 edges, 7524 markings/sec, 830 secs
lola: 7114652 markings, 39298143 edges, 7670 markings/sec, 835 secs
lola: 7153518 markings, 39548439 edges, 7773 markings/sec, 840 secs
lola: 7191250 markings, 39807571 edges, 7546 markings/sec, 845 secs
lola: 7227694 markings, 40074842 edges, 7289 markings/sec, 850 secs
lola: 7262990 markings, 40346164 edges, 7059 markings/sec, 855 secs
lola: 7302461 markings, 40600436 edges, 7894 markings/sec, 860 secs
lola: 7341184 markings, 40856388 edges, 7745 markings/sec, 865 secs
lola: 7378052 markings, 41117161 edges, 7374 markings/sec, 870 secs
lola: 7414477 markings, 41381103 edges, 7285 markings/sec, 875 secs
lola: 7452902 markings, 41636865 edges, 7685 markings/sec, 880 secs
lola: 7489991 markings, 41893687 edges, 7418 markings/sec, 885 secs
lola: 7529105 markings, 42148378 edges, 7823 markings/sec, 890 secs
lola: 7568431 markings, 42401853 edges, 7865 markings/sec, 895 secs
lola: 7608013 markings, 42656380 edges, 7916 markings/sec, 900 secs
lola: 7647272 markings, 42905659 edges, 7852 markings/sec, 905 secs
lola: 7682932 markings, 43176415 edges, 7132 markings/sec, 910 secs
lola: 7719556 markings, 43442664 edges, 7325 markings/sec, 915 secs
lola: 7758619 markings, 43693797 edges, 7813 markings/sec, 920 secs
lola: 7798833 markings, 43950319 edges, 8043 markings/sec, 925 secs
lola: 7838567 markings, 44209419 edges, 7947 markings/sec, 930 secs
lola: 7876253 markings, 44470531 edges, 7537 markings/sec, 935 secs
lola: 7914785 markings, 44730141 edges, 7706 markings/sec, 940 secs
lola: 7952854 markings, 44993862 edges, 7614 markings/sec, 945 secs
lola: 7991129 markings, 45256209 edges, 7655 markings/sec, 950 secs
lola: 8030064 markings, 45512283 edges, 7787 markings/sec, 955 secs
lola: 8068320 markings, 45772305 edges, 7651 markings/sec, 960 secs
lola: 8104832 markings, 46042567 edges, 7302 markings/sec, 965 secs
lola: 8141026 markings, 46312777 edges, 7239 markings/sec, 970 secs
lola: 8177880 markings, 46580034 edges, 7371 markings/sec, 975 secs
lola: 8214252 markings, 46848482 edges, 7274 markings/sec, 980 secs
lola: 8250675 markings, 47117512 edges, 7285 markings/sec, 985 secs
lola: 8288391 markings, 47380688 edges, 7543 markings/sec, 990 secs
lola: 8325521 markings, 47645866 edges, 7426 markings/sec, 995 secs
lola: 8362638 markings, 47912740 edges, 7423 markings/sec, 1000 secs
lola: 8401069 markings, 48175026 edges, 7686 markings/sec, 1005 secs
lola: 8440104 markings, 48435483 edges, 7807 markings/sec, 1010 secs
lola: 8479475 markings, 48690192 edges, 7874 markings/sec, 1015 secs
lola: 8515946 markings, 48966157 edges, 7294 markings/sec, 1020 secs
lola: 8553305 markings, 49232802 edges, 7472 markings/sec, 1025 secs
lola: 8593217 markings, 49487672 edges, 7982 markings/sec, 1030 secs
lola: 8632183 markings, 49746275 edges, 7793 markings/sec, 1035 secs
lola: 8671421 markings, 50005015 edges, 7848 markings/sec, 1040 secs
lola: 8711178 markings, 50259054 edges, 7951 markings/sec, 1045 secs
lola: 8749278 markings, 50512997 edges, 7620 markings/sec, 1050 secs
lola: 8786109 markings, 50773558 edges, 7366 markings/sec, 1055 secs
lola: 8822278 markings, 51037693 edges, 7234 markings/sec, 1060 secs
lola: 8860813 markings, 51291618 edges, 7707 markings/sec, 1065 secs
lola: 8898687 markings, 51542360 edges, 7575 markings/sec, 1070 secs
lola: 8937747 markings, 51791842 edges, 7812 markings/sec, 1075 secs
lola: 8975834 markings, 52043710 edges, 7617 markings/sec, 1080 secs
lola: 9014048 markings, 52296650 edges, 7643 markings/sec, 1085 secs
lola: 9052177 markings, 52558026 edges, 7626 markings/sec, 1090 secs
lola: 9089099 markings, 52830434 edges, 7384 markings/sec, 1095 secs
lola: 9128230 markings, 53090561 edges, 7826 markings/sec, 1100 secs
lola: 9167352 markings, 53349814 edges, 7824 markings/sec, 1105 secs
lola: 9207690 markings, 53606231 edges, 8068 markings/sec, 1110 secs
lola: 9246995 markings, 53867061 edges, 7861 markings/sec, 1115 secs
lola: 9286106 markings, 54125549 edges, 7822 markings/sec, 1120 secs
lola: 9326944 markings, 54366921 edges, 8168 markings/sec, 1125 secs
lola: 9360952 markings, 54650823 edges, 6802 markings/sec, 1130 secs
lola: 9396501 markings, 54923152 edges, 7110 markings/sec, 1135 secs
lola: 9433712 markings, 55182179 edges, 7442 markings/sec, 1140 secs
lola: 9470564 markings, 55445515 edges, 7370 markings/sec, 1145 secs
lola: 9507627 markings, 55710584 edges, 7413 markings/sec, 1150 secs
lola: 9544363 markings, 55973966 edges, 7347 markings/sec, 1155 secs
lola: 9581600 markings, 56232094 edges, 7447 markings/sec, 1160 secs
lola: 9620506 markings, 56485092 edges, 7781 markings/sec, 1165 secs
lola: 9658336 markings, 56749446 edges, 7566 markings/sec, 1170 secs
lola: 9695296 markings, 57014381 edges, 7392 markings/sec, 1175 secs
lola: 9732974 markings, 57275133 edges, 7536 markings/sec, 1180 secs
lola: 9770366 markings, 57534769 edges, 7478 markings/sec, 1185 secs
lola: 9807556 markings, 57788910 edges, 7438 markings/sec, 1190 secs
lola: 9844961 markings, 58045161 edges, 7481 markings/sec, 1195 secs
lola: 9883572 markings, 58300899 edges, 7722 markings/sec, 1200 secs
lola: 9920222 markings, 58564807 edges, 7330 markings/sec, 1205 secs
lola: 9956802 markings, 58823875 edges, 7316 markings/sec, 1210 secs
lola: 9994313 markings, 59078719 edges, 7502 markings/sec, 1215 secs
lola: 10032637 markings, 59326959 edges, 7665 markings/sec, 1220 secs
lola: 10068153 markings, 59586342 edges, 7103 markings/sec, 1225 secs
lola: 10104976 markings, 59838319 edges, 7365 markings/sec, 1230 secs
lola: 10141633 markings, 60088289 edges, 7331 markings/sec, 1235 secs
lola: 10175855 markings, 60350745 edges, 6844 markings/sec, 1240 secs
lola: 10211118 markings, 60602692 edges, 7053 markings/sec, 1245 secs
lola: 10244672 markings, 60865652 edges, 6711 markings/sec, 1250 secs
lola: 10279218 markings, 61117667 edges, 6909 markings/sec, 1255 secs
lola: 10314118 markings, 61377314 edges, 6980 markings/sec, 1260 secs
lola: 10348985 markings, 61634738 edges, 6973 markings/sec, 1265 secs
lola: 10386662 markings, 61884396 edges, 7535 markings/sec, 1270 secs
lola: 10424289 markings, 62139918 edges, 7525 markings/sec, 1275 secs
lola: 10460289 markings, 62403351 edges, 7200 markings/sec, 1280 secs
lola: 10497871 markings, 62659136 edges, 7516 markings/sec, 1285 secs
lola: 10534718 markings, 62916919 edges, 7369 markings/sec, 1290 secs
lola: 10572846 markings, 63170548 edges, 7626 markings/sec, 1295 secs
lola: 10611799 markings, 63415836 edges, 7791 markings/sec, 1300 secs
lola: 10645661 markings, 63688825 edges, 6772 markings/sec, 1305 secs
lola: 10681465 markings, 63946644 edges, 7161 markings/sec, 1310 secs
lola: 10718939 markings, 64201687 edges, 7495 markings/sec, 1315 secs
lola: 10756903 markings, 64453566 edges, 7593 markings/sec, 1320 secs
lola: 10792597 markings, 64710813 edges, 7139 markings/sec, 1325 secs
lola: 10830506 markings, 64963090 edges, 7582 markings/sec, 1330 secs
lola: 10866835 markings, 65215703 edges, 7266 markings/sec, 1335 secs
lola: 10902556 markings, 65474170 edges, 7144 markings/sec, 1340 secs
lola: 10939914 markings, 65726089 edges, 7472 markings/sec, 1345 secs
lola: 10977483 markings, 65978412 edges, 7514 markings/sec, 1350 secs
lola: 11014670 markings, 66228693 edges, 7437 markings/sec, 1355 secs
lola: 11052317 markings, 66476422 edges, 7529 markings/sec, 1360 secs
lola: 11087778 markings, 66731688 edges, 7092 markings/sec, 1365 secs
lola: 11124740 markings, 66982046 edges, 7392 markings/sec, 1370 secs
lola: 11160679 markings, 67233171 edges, 7188 markings/sec, 1375 secs
lola: 11196250 markings, 67487653 edges, 7114 markings/sec, 1380 secs
lola: 11233530 markings, 67734143 edges, 7456 markings/sec, 1385 secs
lola: 11270325 markings, 67985441 edges, 7359 markings/sec, 1390 secs
lola: 11308474 markings, 68225790 edges, 7630 markings/sec, 1395 secs
lola: 11344578 markings, 68487678 edges, 7221 markings/sec, 1400 secs
lola: 11381451 markings, 68741920 edges, 7375 markings/sec, 1405 secs
lola: 11418642 markings, 68995394 edges, 7438 markings/sec, 1410 secs
lola: 11455039 markings, 69254328 edges, 7279 markings/sec, 1415 secs
lola: 11492165 markings, 69513343 edges, 7425 markings/sec, 1420 secs
lola: 11529294 markings, 69763373 edges, 7426 markings/sec, 1425 secs
lola: 11566574 markings, 70014141 edges, 7456 markings/sec, 1430 secs
lola: 11604158 markings, 70263246 edges, 7517 markings/sec, 1435 secs
lola: 11643987 markings, 70520320 edges, 7966 markings/sec, 1440 secs
lola: 11684684 markings, 70777765 edges, 8139 markings/sec, 1445 secs
lola: 11724241 markings, 71037107 edges, 7911 markings/sec, 1450 secs
lola: 11764179 markings, 71294468 edges, 7988 markings/sec, 1455 secs
lola: 11804189 markings, 71550514 edges, 8002 markings/sec, 1460 secs
lola: 11842784 markings, 71807962 edges, 7719 markings/sec, 1465 secs
lola: 11880419 markings, 72063717 edges, 7527 markings/sec, 1470 secs
lola: 11917353 markings, 72321304 edges, 7387 markings/sec, 1475 secs
lola: 11953447 markings, 72580967 edges, 7219 markings/sec, 1480 secs
lola: 11991090 markings, 72835570 edges, 7529 markings/sec, 1485 secs
lola: 12029533 markings, 73087746 edges, 7689 markings/sec, 1490 secs
lola: 12067700 markings, 73336319 edges, 7633 markings/sec, 1495 secs
lola: 12106131 markings, 73585771 edges, 7686 markings/sec, 1500 secs
lola: 12142960 markings, 73844941 edges, 7366 markings/sec, 1505 secs
lola: 12178211 markings, 74107270 edges, 7050 markings/sec, 1510 secs
lola: 12213298 markings, 74367368 edges, 7017 markings/sec, 1515 secs
lola: 12249656 markings, 74622213 edges, 7272 markings/sec, 1520 secs
lola: 12288672 markings, 74873627 edges, 7803 markings/sec, 1525 secs
lola: 12326001 markings, 75129155 edges, 7466 markings/sec, 1530 secs
lola: 12364432 markings, 75377259 edges, 7686 markings/sec, 1535 secs
lola: 12403150 markings, 75624844 edges, 7744 markings/sec, 1540 secs
lola: 12439726 markings, 75876737 edges, 7315 markings/sec, 1545 secs
lola: 12478011 markings, 76123472 edges, 7657 markings/sec, 1550 secs
lola: 12516882 markings, 76374355 edges, 7774 markings/sec, 1555 secs
lola: 12554115 markings, 76628545 edges, 7447 markings/sec, 1560 secs
lola: 12591572 markings, 76886984 edges, 7491 markings/sec, 1565 secs
lola: 12627777 markings, 77153842 edges, 7241 markings/sec, 1570 secs
lola: 12663373 markings, 77418845 edges, 7119 markings/sec, 1575 secs
lola: 12699205 markings, 77684242 edges, 7166 markings/sec, 1580 secs
lola: 12735552 markings, 77949528 edges, 7269 markings/sec, 1585 secs
lola: 12771699 markings, 78213849 edges, 7229 markings/sec, 1590 secs
lola: 12810041 markings, 78466751 edges, 7668 markings/sec, 1595 secs
lola: 12848182 markings, 78719476 edges, 7628 markings/sec, 1600 secs
lola: 12885480 markings, 78974745 edges, 7460 markings/sec, 1605 secs
lola: 12922602 markings, 79231927 edges, 7424 markings/sec, 1610 secs
lola: 12960814 markings, 79482421 edges, 7642 markings/sec, 1615 secs
lola: 12999764 markings, 79732541 edges, 7790 markings/sec, 1620 secs
lola: 13038267 markings, 79986674 edges, 7701 markings/sec, 1625 secs
lola: 13075803 markings, 80241474 edges, 7507 markings/sec, 1630 secs
lola: 13113398 markings, 80507226 edges, 7519 markings/sec, 1635 secs
lola: 13151579 markings, 80758652 edges, 7636 markings/sec, 1640 secs
lola: 13190098 markings, 81007965 edges, 7704 markings/sec, 1645 secs
lola: 13228286 markings, 81255750 edges, 7638 markings/sec, 1650 secs
lola: 13264655 markings, 81505027 edges, 7274 markings/sec, 1655 secs
lola: 13300831 markings, 81761598 edges, 7235 markings/sec, 1660 secs
lola: 13338738 markings, 82010752 edges, 7581 markings/sec, 1665 secs
lola: 13377139 markings, 82261223 edges, 7680 markings/sec, 1670 secs
lola: 13416391 markings, 82511847 edges, 7850 markings/sec, 1675 secs
lola: 13455587 markings, 82762965 edges, 7839 markings/sec, 1680 secs
lola: 13493978 markings, 83015765 edges, 7678 markings/sec, 1685 secs
lola: 13533088 markings, 83274029 edges, 7822 markings/sec, 1690 secs
lola: 13572921 markings, 83531772 edges, 7967 markings/sec, 1695 secs
lola: 13611739 markings, 83793378 edges, 7764 markings/sec, 1700 secs
lola: 13650967 markings, 84047846 edges, 7846 markings/sec, 1705 secs
lola: 13690528 markings, 84298370 edges, 7912 markings/sec, 1710 secs
lola: 13729962 markings, 84555903 edges, 7887 markings/sec, 1715 secs
lola: 13768944 markings, 84813504 edges, 7796 markings/sec, 1720 secs
lola: 13807642 markings, 85068767 edges, 7740 markings/sec, 1725 secs
lola: 13846321 markings, 85327265 edges, 7736 markings/sec, 1730 secs
lola: 13883839 markings, 85585132 edges, 7504 markings/sec, 1735 secs
lola: 13920149 markings, 85845469 edges, 7262 markings/sec, 1740 secs
lola: 13958743 markings, 86090992 edges, 7719 markings/sec, 1745 secs
lola: 13993985 markings, 86351878 edges, 7048 markings/sec, 1750 secs
lola: 14028639 markings, 86610651 edges, 6931 markings/sec, 1755 secs
lola: 14064207 markings, 86868235 edges, 7114 markings/sec, 1760 secs
lola: 14101789 markings, 87121848 edges, 7516 markings/sec, 1765 secs
lola: 14139952 markings, 87371482 edges, 7633 markings/sec, 1770 secs
lola: 14177276 markings, 87622972 edges, 7465 markings/sec, 1775 secs
lola: 14215743 markings, 87875764 edges, 7693 markings/sec, 1780 secs
lola: 14253711 markings, 88130611 edges, 7594 markings/sec, 1785 secs
lola: 14292739 markings, 88385482 edges, 7806 markings/sec, 1790 secs
lola: 14331330 markings, 88643301 edges, 7718 markings/sec, 1795 secs
lola: 14368996 markings, 88905257 edges, 7533 markings/sec, 1800 secs
lola: 14404870 markings, 89170749 edges, 7175 markings/sec, 1805 secs
lola: 14440829 markings, 89436980 edges, 7192 markings/sec, 1810 secs
lola: 14476114 markings, 89699313 edges, 7057 markings/sec, 1815 secs
lola: 14511907 markings, 89961255 edges, 7159 markings/sec, 1820 secs
lola: 14548005 markings, 90224907 edges, 7220 markings/sec, 1825 secs
lola: 14586467 markings, 90483073 edges, 7692 markings/sec, 1830 secs
lola: 14625567 markings, 90736747 edges, 7820 markings/sec, 1835 secs
lola: 14663914 markings, 90987917 edges, 7669 markings/sec, 1840 secs
lola: 14701219 markings, 91244271 edges, 7461 markings/sec, 1845 secs
lola: 14738859 markings, 91502927 edges, 7528 markings/sec, 1850 secs
lola: 14777344 markings, 91757775 edges, 7697 markings/sec, 1855 secs
lola: 14816368 markings, 92013244 edges, 7805 markings/sec, 1860 secs
lola: 14855423 markings, 92268833 edges, 7811 markings/sec, 1865 secs
lola: 14893799 markings, 92528520 edges, 7675 markings/sec, 1870 secs
lola: 14931506 markings, 92791013 edges, 7541 markings/sec, 1875 secs
lola: 14970273 markings, 93048041 edges, 7753 markings/sec, 1880 secs
lola: 15009220 markings, 93303256 edges, 7789 markings/sec, 1885 secs
lola: 15048245 markings, 93557576 edges, 7805 markings/sec, 1890 secs
lola: 15086322 markings, 93813267 edges, 7615 markings/sec, 1895 secs
lola: 15123444 markings, 94074125 edges, 7424 markings/sec, 1900 secs
lola: 15162400 markings, 94329488 edges, 7791 markings/sec, 1905 secs
lola: 15202924 markings, 94586552 edges, 8105 markings/sec, 1910 secs
lola: 15242582 markings, 94846365 edges, 7932 markings/sec, 1915 secs
lola: 15281932 markings, 95105578 edges, 7870 markings/sec, 1920 secs
lola: 15321731 markings, 95368639 edges, 7960 markings/sec, 1925 secs
lola: 15361356 markings, 95627906 edges, 7925 markings/sec, 1930 secs
lola: 15400717 markings, 95889056 edges, 7872 markings/sec, 1935 secs
lola: 15440669 markings, 96146301 edges, 7990 markings/sec, 1940 secs
lola: 15480990 markings, 96403275 edges, 8064 markings/sec, 1945 secs
lola: 15520624 markings, 96661506 edges, 7927 markings/sec, 1950 secs
lola: 15559747 markings, 96922939 edges, 7825 markings/sec, 1955 secs
lola: 15598619 markings, 97184259 edges, 7774 markings/sec, 1960 secs
lola: 15638119 markings, 97438974 edges, 7900 markings/sec, 1965 secs
lola: 15675340 markings, 97699454 edges, 7444 markings/sec, 1970 secs
lola: 15712826 markings, 97965848 edges, 7497 markings/sec, 1975 secs
lola: 15751277 markings, 98225392 edges, 7690 markings/sec, 1980 secs
lola: 15788396 markings, 98494735 edges, 7424 markings/sec, 1985 secs
lola: 15824739 markings, 98766463 edges, 7269 markings/sec, 1990 secs
lola: 15862241 markings, 99032463 edges, 7500 markings/sec, 1995 secs
lola: 15901729 markings, 99290565 edges, 7898 markings/sec, 2000 secs
lola: 15940304 markings, 99550498 edges, 7715 markings/sec, 2005 secs
lola: 15979251 markings, 99804345 edges, 7789 markings/sec, 2010 secs
lola: 16017821 markings, 100058703 edges, 7714 markings/sec, 2015 secs
lola: 16056090 markings, 100315940 edges, 7654 markings/sec, 2020 secs
lola: 16095385 markings, 100571927 edges, 7859 markings/sec, 2025 secs
lola: 16133608 markings, 100831840 edges, 7645 markings/sec, 2030 secs
lola: 16170748 markings, 101104093 edges, 7428 markings/sec, 2035 secs
lola: 16207367 markings, 101374249 edges, 7324 markings/sec, 2040 secs
lola: 16242851 markings, 101638016 edges, 7097 markings/sec, 2045 secs
lola: 16278593 markings, 101901471 edges, 7148 markings/sec, 2050 secs
lola: 16315048 markings, 102167735 edges, 7291 markings/sec, 2055 secs
lola: 16352728 markings, 102432134 edges, 7536 markings/sec, 2060 secs
lola: 16392147 markings, 102690382 edges, 7884 markings/sec, 2065 secs
lola: 16431357 markings, 102947922 edges, 7842 markings/sec, 2070 secs
lola: 16470428 markings, 103205167 edges, 7814 markings/sec, 2075 secs
lola: 16507594 markings, 103467271 edges, 7433 markings/sec, 2080 secs
lola: 16545910 markings, 103723742 edges, 7663 markings/sec, 2085 secs
lola: 16585344 markings, 103982014 edges, 7887 markings/sec, 2090 secs
lola: 16624933 markings, 104241140 edges, 7918 markings/sec, 2095 secs
lola: 16664279 markings, 104501034 edges, 7869 markings/sec, 2100 secs
lola: 16702264 markings, 104769313 edges, 7597 markings/sec, 2105 secs
lola: 16741227 markings, 105029186 edges, 7793 markings/sec, 2110 secs
lola: 16780634 markings, 105287049 edges, 7881 markings/sec, 2115 secs
lola: 16819549 markings, 105541333 edges, 7783 markings/sec, 2120 secs
lola: 16858196 markings, 105797084 edges, 7729 markings/sec, 2125 secs
lola: 16895489 markings, 106060317 edges, 7459 markings/sec, 2130 secs
lola: 16933690 markings, 106316300 edges, 7640 markings/sec, 2135 secs
lola: 16973692 markings, 106570815 edges, 8000 markings/sec, 2140 secs
lola: 17013469 markings, 106826333 edges, 7955 markings/sec, 2145 secs
lola: 17052059 markings, 107079315 edges, 7718 markings/sec, 2150 secs
lola: 17090762 markings, 107337581 edges, 7741 markings/sec, 2155 secs
lola: 17129867 markings, 107589444 edges, 7821 markings/sec, 2160 secs
lola: 17168300 markings, 107844953 edges, 7687 markings/sec, 2165 secs
lola: 17206709 markings, 108097267 edges, 7682 markings/sec, 2170 secs
lola: 17245994 markings, 108346212 edges, 7857 markings/sec, 2175 secs
lola: 17285091 markings, 108596920 edges, 7819 markings/sec, 2180 secs
lola: 17323233 markings, 108852242 edges, 7628 markings/sec, 2185 secs
lola: 17361080 markings, 109103805 edges, 7569 markings/sec, 2190 secs
lola: 17399110 markings, 109357154 edges, 7606 markings/sec, 2195 secs
lola: 17437695 markings, 109612150 edges, 7717 markings/sec, 2200 secs
lola: 17474479 markings, 109878617 edges, 7357 markings/sec, 2205 secs
lola: 17513021 markings, 110136288 edges, 7708 markings/sec, 2210 secs
lola: 17550405 markings, 110398508 edges, 7477 markings/sec, 2215 secs
lola: 17586332 markings, 110667550 edges, 7185 markings/sec, 2220 secs
lola: 17622622 markings, 110932287 edges, 7258 markings/sec, 2225 secs
lola: 17660658 markings, 111190860 edges, 7607 markings/sec, 2230 secs
lola: 17699538 markings, 111444345 edges, 7776 markings/sec, 2235 secs
lola: 17737402 markings, 111702356 edges, 7573 markings/sec, 2240 secs
lola: 17776298 markings, 111952293 edges, 7779 markings/sec, 2245 secs
lola: 17813780 markings, 112207019 edges, 7496 markings/sec, 2250 secs
lola: 17852243 markings, 112457688 edges, 7693 markings/sec, 2255 secs
lola: 17890001 markings, 112709043 edges, 7552 markings/sec, 2260 secs
lola: 17927083 markings, 112964001 edges, 7416 markings/sec, 2265 secs
lola: 17962844 markings, 113227271 edges, 7152 markings/sec, 2270 secs
lola: 17998017 markings, 113490702 edges, 7035 markings/sec, 2275 secs
lola: 18033311 markings, 113751585 edges, 7059 markings/sec, 2280 secs
lola: 18068897 markings, 114014111 edges, 7117 markings/sec, 2285 secs
lola: 18104717 markings, 114274239 edges, 7164 markings/sec, 2290 secs
lola: 18142260 markings, 114530703 edges, 7509 markings/sec, 2295 secs
lola: 18180674 markings, 114782539 edges, 7683 markings/sec, 2300 secs
lola: 18219396 markings, 115035225 edges, 7744 markings/sec, 2305 secs
lola: 18257385 markings, 115289524 edges, 7598 markings/sec, 2310 secs
lola: 18293995 markings, 115546724 edges, 7322 markings/sec, 2315 secs
lola: 18331677 markings, 115798765 edges, 7536 markings/sec, 2320 secs
lola: time limit reached - aborting
lola:
preliminary result: 8 unknown 8 8 8 8 8 8 1 unknown unknown 1 1 1 unknown 1
lola:
preliminary result: 8 unknown 8 8 8 8 8 8 1 unknown unknown 1 1 1 unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 8 unknown 8 8 8 8 8 8 1 unknown unknown 1 1 1 unknown 1
lola: memory consumption: 2492880 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 8 unknown 8 8 8 8 8 8 1 unknown unknown 1 1 1 unknown 1
lola: memory consumption: 2492880 KB
lola: time consumption: 3570 seconds

BK_STOP 1553046335758

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Peterson-PT-7"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is Peterson-PT-7, 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 r110-oct2-155272242400190"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Peterson-PT-7.tgz
mv Peterson-PT-7 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;